SATmap -r -n 2 cnf_files/7input.cnf -r -g 5 -u 600 -i -o ./clma_sm.out total number of nodes: 3255 cones fit: 0 cones not fit: 0 valid cones: 32 default cones: 0 over valid cones: 0 total: 11430 Nodes with valid cones: 27 Discarded cones: 0 entries: 0 SAT count: 0 UNSAT count: 0 UNSAT: 0:F050 1:F0D0F0D0 2:F0D0F0D0 3:F0D0F0D0 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 19.260000 UNSAT: 0:3F330F00 1:3F330F00 2:7F775F00 3:FFFFFF00 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 38.910000 UNSAT: 0:F50000 1:F40000 2:DD0000 3:CC0000 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 28.719999 UNSAT: 0:DD0000 1:CC0000 2:F50000 3:F40000 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 33.970001 SAT: 0:FFFFCCCC 1:FFFFCCCC 2:FFFF0FAF 3:FFFF0000 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 4.710000 UNSAT: 0:13131111 1:FFFFFFFF 2:33BB3333 3:FFFFFFFF 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 44.720001 UNSAT: 0:FFF5FFFC 1:FFFCFFFC 2:FFFCFFFC 3:FFFCFFFC 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 41.200001 UNSAT: 0:F888FF00 1:FC00FF00 2:F888F000 3:F000F000 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 37.130001 SAT: 0:FCF0FCF0 1:FFF0FFF0 2:F8F0FCF0 3:FFF0FFF0 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 24.139999 SAT: 0:FFFF7F77 1:FFFFFFF7 2:FFFFFFFF 3:FFFFFFFF 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 3.400000 SAT: 0:AAAAEEEA 1:AAAAEEAA 2:AAAAEAEA 3:AAAAEAEA 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 5.850000 SAT: 0:AFAFAFAF 1:AEAFAEAF 2:AAAAAFAF 3:AAAAAEAF 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 3.400000 SAT: 0:88A80000 1:88880000 2:A8880000 3:A8880000 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 4.490000 UNSAT: 0:0 1:FF553300 2:3050F 3:FF5F3F0F 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 57.950001 UNSAT: 0:3F0F0F0F 1:3F000F00 2:2F0F0F0F 3:2A000A00 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 55.470001 SAT: 0:FF3F 1:0 2:FF5F 3:0 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 2.230000 UNSAT: 0:5050000 1:5050000 2:15BF11BB 3:FFFFFFFF 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 115.709999 UNSAT: 0:FFFF0000 1:CCCC0400 2:FFFF0500 3:CCCC0400 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 79.050003 UNSAT: 0:AA0FAF 1:3AB0FAF 2:A0F0F 3:30B0F0F 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 92.040001 UNSAT: 0:0 1:CCFC00F0 2:0 3:CCFE00F0 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 74.029999 SAT: 0:F0 1:111101F1 2:F0 3:333303F3 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 7.270000 UNSAT: 0:3F0F0000 1:F0F1000 2:3F0F0000 3:F0F3000 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 77.910004 SAT: 0:CC44CC00 1:CCCCCCCC 2:F3F3F3F3 3:F3F3F3F3 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 12.590000 UNSAT: 0:FFF8F3F0 1:FFF8F3F0 2:FFF8F3F0 3:F3F8F3F0 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 109.070000 UNSAT: 0:0 1:FFFF3F3F 2:AA00AA00 3:FFFF0000 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 59.580002 UNSAT: 0:AA88A888 1:DDFFDDFF 2:A888A888 3:DDFFDDFF 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 88.959999 UNSAT: 0:A000A000 1:55FF55FF 2:A000A200 3:55FF77FF 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 37.799999 UNSAT: 0:FF54FF54 1:54545454 2:FFFFFFFC 3:FFFFFCFC 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 50.750000 UNSAT: 0:8888CCC8 1:8888CCC8 2:FFFFCCC8 3:FFFF8888 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 61.419998 UNSAT: 0:C8C8 1:CCCCC8C8 2:FFCCFFC0 3:FFCCFFC0 4:0 5:0 6:0 7:0 8:0 9:0 10:0 11:0 12:0 13:0 14:0 15:0 16:0 17:0 18:0 19:0 20:0 21:0 22:0 23:0 24:0 25:0 26:0 27:0 28:0 29:0 30:0 31:0 Time: 62.950001 {e16} - 1 {w16} - 1 _78148 - 1 _68489 - 1 _68432 - 1 _68420 - 1 _66471 - 1 [202219] - 1 [195715] - 1 possible: 9 total: 9 Invisible Nodes: 0 {w16} - 1 _78148 - 1 _68489 - 1 _68432 - 1 _68420 - 1 _66471 - 1 [202219] - 1 [195715] - 1 {e16} - 1 possible: 9 total: 9 Invisible Nodes: 0 _78148 - 1 _68489 - 1 _68432 - 1 _68420 - 1 _66471 - 1 [202219] - 1 [195715] - 1 {e16} - 1 {w16} - 1 possible: 9 total: 9 Invisible Nodes: 0 _68489 - 1 _68432 - 1 _68420 - 1 _66471 - 1 [202219] - 1 [195715] - 1 {e16} - 1 {w16} - 1 _78148 - 1 possible: 9 total: 9 Invisible Nodes: 0 _68432 - 1 _68420 - 1 _66471 - 1 [202219] - 1 [195715] - 1 {e16} - 1 {w16} - 1 _78148 - 1 _68489 - 1 possible: 9 total: 9 Invisible Nodes: 0 _68420 - 1 _66471 - 1 [202219] - 1 [195715] - 1 {e16} - 1 {w16} - 1 _78148 - 1 _68489 - 1 _68432 - 1 possible: 9 total: 9 Invisible Nodes: 0 _66471 - 1 [202219] - 1 [195715] - 1 {e16} - 1 {w16} - 1 _78148 - 1 _68489 - 1 _68432 - 1 _68420 - 1 possible: 9 total: 9 Invisible Nodes: 0 [202219] - 1 [195715] - 1 {e16} - 1 {w16} - 1 _78148 - 1 _68489 - 1 _68432 - 1 _68420 - 1 _66471 - 1 possible: 9 total: 9 Invisible Nodes: 0 [195715] - 1 {e16} - 1 {w16} - 1 _78148 - 1 _68489 - 1 _68432 - 1 _68420 - 1 _66471 - 1 [202219] - 1 possible: 9 total: 9 Invisible Nodes: 0 large struct cache entries: 0 SAT count: 0 UNSAT count: 0 Nodes covered by another MO cone: 0 deleted invisible nodes: 0 skipped nodes: 0 fanin size: 2 Number: 72 fanin size: 3 Number: 76 fanin size: 4 Number: 3079 fanin size: 7 Number: 9 Not Counted Nodes LUT count: 3245 resynth count: 9 luts: 2 o:1 total: 9