SATmap -r -n 2 cnf_files/7input.cnf -n 3 cnf_files/10input.cnf -r -g 5 -u 600 -i -o ./ANDREW_FILE.out total number of nodes: 121 cones fit: 0 cones not fit: 0 valid cones: 49 default cones: 0 over valid cones: 0 total: 249 Nodes with valid cones: 5 Discarded cones: 0 entries: 0 SAT count: 0 UNSAT count: 0 SAT: 0:A800 1:A8A8 2:A8A8 3:A8A8 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: 1.490000 SAT: 0:0 1:88888888 2:A0A0A0A0 3:A8A8A8A8 4:AA00AA00 5:AA88AA88 6:AAA0AAA0 7:AAA8AAA8 8:AAAA0000 9:AAAA8888 10:AAAAA0A0 11:AAAAA8A8 12:AAAAAA00 13:AAAAAA88 14:AAAAAAA0 15:AAAAAAA8 16:0 17:88888888 18:A0A0A0A0 19:A8A8A8A8 20:AA00AA00 21:AA88AA88 22:AAA0AAA0 23:AAA8AAA8 24:AAAA0000 25:AAAA8888 26:AAAAA0A0 27:AAAAA8A8 28:AAAAAA00 29:AAAAAA88 30:AAAAAAA0 31:AAAAAAA8 Time: 434.390015 Recall: 0:0 1:88888888 2:A0A0A0A0 3:A8A8A8A8 4:AA00AA00 5:AA88AA88 6:AAA0AAA0 7:AAA8AAA8 8:AAAA0000 9:AAAA8888 10:AAAAA0A0 11:AAAAA8A8 12:AAAAAA00 13:AAAAAA88 14:AAAAAAA0 15:AAAAAAA8 16:0 17:88888888 18:A0A0A0A0 19:A8A8A8A8 20:AA00AA00 21:AA88AA88 22:AAA0AAA0 23:AAA8AAA8 24:AAAA0000 25:AAAA8888 26:AAAAA0A0 27:AAAAA8A8 28:AAAAAA00 29:AAAAAA88 30:AAAAAAA0 31:AAAAAAA8 SAT TIMEOUT: 0:FFFF0000 1:FFFF0000 2:FFFF5540 3:FFFF5544 4:FFFF0000 5:FFFF0000 6:FFFF0000 7:FFFF0000 8:FFFF0000 9:FFFF0000 10:FFFF4040 11:FFFF4040 12:FFFF0000 13:FFFF0000 14:FFFF0000 15:FFFF0000 16:FFFF0000 17:FFFF0000 18:FFFF0000 19:FFFF0000 20:FFFF0000 21:FFFF0000 22:FFFF0000 23:FFFF0000 24:FFFF0000 25:FFFF0000 26:FFFF0000 27:FFFF0000 28:FFFF0000 29:FFFF0000 30:FFFF0000 31:FFFF0000 Time: 600.010010 TIMEOUT: 0:FF00FF00 1:FF54FF50 2:FF00FF00 3:FF00FF00 4:FF00FF00 5:FFFFFFFF 6:FF00FF00 7:FF00FF00 8:FF00FF00 9:FF00FF00 10:FF00FF00 11:FF00FF00 12:FF00FF00 13:FFFFFFFF 14:FF00FF00 15:FF00FF00 16:FF00FF00 17:FF00FF00 18:FF00FF00 19:FF00FF00 20:FF00FF00 21:FF00FF00 22:FF00FF00 23:FF00FF00 24:FF00FF00 25:FF00FF00 26:FF00FF00 27:FF00FF00 28:FF00FF00 29:FF00FF00 30:FF00FF00 31:FF00FF00 Time: 600.010010 TIMEOUT: 0:FFFF0000 1:FFFFFFFF 2:FFFF5540 3:FFFFFFFF 4:FFFF0000 5:FFFF0000 6:FFFF0000 7:FFFF0000 8:FFFF0000 9:FFFF0000 10:FFFF4040 11:FFFF4040 12:FFFF0000 13:FFFF0000 14:FFFF0000 15:FFFF0000 16:FFFF0000 17:FFFF0000 18:FFFF0000 19:FFFF0000 20:FFFF0000 21:FFFF0000 22:FFFF0000 23:FFFF0000 24:FFFF0000 25:FFFF0000 26:FFFF0000 27:FFFF0000 28:FFFF0000 29:FFFF0000 30:FFFF0000 31:FFFF0000 Time: 600.000000 TIMEOUT: 0:FFF4FFF0 1:F0F0F0F0 2:FFFFFFF0 3:F0F0F0F0 4:F0F0F0F0 5:F0F0F0F0 6:FFFFF0F0 7:F0F0F0F0 8:F0F0F0F0 9:F0F0F0F0 10:F0F0F0F0 11:F0F0F0F0 12:F0F0F0F0 13:F0F0F0F0 14:F0F0F0F0 15:F0F0F0F0 16:FFF4FFF0 17:F0F0F0F0 18:FFFFFFF0 19:F0F0F0F0 20:F0F0F0F0 21:F0F0F0F0 22:FFFFF0F0 23:F0F0F0F0 24:F0F0F0F0 25:F0F0F0F0 26:F0F0F0F0 27:F0F0F0F0 28:F0F0F0F0 29:F0F0F0F0 30:F0F0F0F0 31:F0F0F0F0 Time: 600.010010 SAT: 0:FFFFFF00 1:FFFFFF00 2:FFFFFF50 3:FFFFFF54 4:FFFFFF00 5:FFFFFF00 6:FFFFFF00 7:FFFFFF00 8:FFFFFF00 9:FFFFFF00 10:FFFFFF00 11:FFFFFF00 12:FFFFFF00 13:FFFFFF00 14:FFFFFF00 15:FFFFFF00 16:FFFFFF00 17:FFFFFF00 18:FFFFFF00 19:FFFFFF00 20:FFFFFF00 21:FFFFFF00 22:FFFFFF00 23:FFFFFF00 24:FFFFFF00 25:FFFFFF00 26:FFFFFF00 27:FFFFFF00 28:FFFFFF00 29:FFFFFF00 30:FFFFFF00 31:FFFFFF00 Time: 344.390015 TIMEOUT: 0:FF88F888 1:0 2:FF88FF88 3:0 4:FF88FF88 5:0 6:FF88FF88 7:0 8:FF88FF88 9:0 10:FF88FF88 11:0 12:FF88FF88 13:0 14:FF88FF88 15:0 16:FF88FF88 17:0 18:FF88FF88 19:0 20:FF88FF88 21:0 22:FF88FF88 23:0 24:FF88FF88 25:0 26:FF88FF88 27:0 28:FF88FF88 29:0 30:FF88FF88 31:0 Time: 600.030029 TIMEOUT: 0:FF88F888 1:0 2:FF88FF88 3:0 4:FF88FF88 5:0 6:FF88FF88 7:0 8:FFFFFFFF 9:FFFFFFFF 10:FFFFFFFF 11:FFFFFFFF 12:FFFFFFFF 13:FFFFFFFF 14:FFFFFFFF 15:FFFFFFFF 16:FF88F888 17:0 18:FF88FF88 19:0 20:FF88FF88 21:0 22:FF88FF88 23:0 24:FFFFFFFF 25:FFFFFFFF 26:FFFFFFFF 27:FFFFFFFF 28:FFFFFFFF 29:FFFFFFFF 30:FFFFFFFF 31:FFFFFFFF Time: 600.099976 TIMEOUT: 0:F888 1:F8F8 2:FFFFFFFF 3:FFFFFFFF 4:F8F8 5:F8F8 6:FFFFFFFF 7:FFFFFFFF 8:F8F8 9:F8F8 10:FFFFFFFF 11:FFFFFFFF 12:F8F8 13:F8F8 14:FFFFFFFF 15:FFFFFFFF 16:F888 17:F8F8 18:FFFFFFFF 19:FFFFFFFF 20:F8F8 21:F8F8 22:FFFFFFFF 23:FFFFFFFF 24:F8F8 25:F8F8 26:FFFFFFFF 27:FFFFFFFF 28:F8F8 29:F8F8 30:FFFFFFFF 31:FFFFFFFF Time: 600.020020 TIMEOUT: 0:CC00C8 1:CC00CC 2:FFFFFFFF 3:FFFFFFFF 4:CC00CC 5:CC00CC 6:FFFFFFFF 7:FFFFFFFF 8:CC00CC 9:CC00CC 10:FFFFFFFF 11:FFFFFFFF 12:CC00CC 13:CC00CC 14:FFFFFFFF 15:FFFFFFFF 16:CC00C8 17:CC00CC 18:FFFFFFFF 19:FFFFFFFF 20:CC00CC 21:CC00CC 22:FFFFFFFF 23:FFFFFFFF 24:CC00CC 25:CC00CC 26:FFFFFFFF 27:FFFFFFFF 28:CC00CC 29:CC00CC 30:FFFFFFFF 31:FFFFFFFF Time: 600.010010 TIMEOUT: 0:F888 1:FF88 2:FFFFFFFF 3:FFFFFFFF 4:FF88 5:FF88 6:FFFFFFFF 7:FFFFFFFF 8:FF88 9:FF88 10:FFFFFFFF 11:FFFFFFFF 12:FF88 13:FF88 14:FFFFFFFF 15:FFFFFFFF 16:F888 17:FF88 18:FFFFFFFF 19:FFFFFFFF 20:FF88 21:FF88 22:FFFFFFFF 23:FFFFFFFF 24:FF88 25:FF88 26:FFFFFFFF 27:FFFFFFFF 28:FF88 29:FF88 30:FFFFFFFF 31:FFFFFFFF Time: 600.010010 TIMEOUT: 0:AAA88888 1:0 2:AAAAAAAA 3:0 4:FFFFFFFF 5:FFFFFFFF 6:FFFFFFFF 7:FFFFFFFF 8:FFFFFFFF 9:FFFFFFFF 10:FFFFFFFF 11:FFFFFFFF 12:FFFFFFFF 13:FFFFFFFF 14:FFFFFFFF 15:FFFFFFFF 16:AAAAAAAA 17:0 18:AAAAAAAA 19:0 20:FFFFFFFF 21:FFFFFFFF 22:FFFFFFFF 23:FFFFFFFF 24:FFFFFFFF 25:FFFFFFFF 26:FFFFFFFF 27:FFFFFFFF 28:FFFFFFFF 29:FFFFFFFF 30:FFFFFFFF 31:FFFFFFFF Time: 600.010010 TIMEOUT: 0:88888888 1:F8F8F888 2:0 3:0 4:FFFFFFFF 5:FFFFFFFF 6:FFFFFFFF 7:FFFFFFFF 8:FFFFFFFF 9:FFFFFFFF 10:FFFFFFFF 11:FFFFFFFF 12:FFFFFFFF 13:FFFFFFFF 14:FFFFFFFF 15:FFFFFFFF 16:F8F8F8F8 17:F8F8F8F8 18:0 19:0 20:FFFFFFFF 21:FFFFFFFF 22:FFFFFFFF 23:FFFFFFFF 24:FFFFFFFF 25:FFFFFFFF 26:FFFFFFFF 27:FFFFFFFF 28:FFFFFFFF 29:FFFFFFFF 30:FFFFFFFF 31:FFFFFFFF Time: 600.020020 TIMEOUT: 0:CCC88888 1:0 2:CCCCCCCC 3:0 4:FFFFFFFF 5:FFFFFFFF 6:FFFFFFFF 7:FFFFFFFF 8:FFFFFFFF 9:FFFFFFFF 10:FFFFFFFF 11:FFFFFFFF 12:FFFFFFFF 13:FFFFFFFF 14:FFFFFFFF 15:FFFFFFFF 16:CCCCCCCC 17:0 18:CCCCCCCC 19:0 20:FFFFFFFF 21:FFFFFFFF 22:FFFFFFFF 23:FFFFFFFF 24:FFFFFFFF 25:FFFFFFFF 26:FFFFFFFF 27:FFFFFFFF 28:FFFFFFFF 29:FFFFFFFF 30:FFFFFFFF 31:FFFFFFFF Time: 600.020020 TIMEOUT: 0:A800 1:A8A8 2:A8A8 3:A8A8 4:FFFFFFFF 5:FFFFFFFF 6:FFFFFFFF 7:FFFFFFFF 8:FFFFFFFF 9:FFFFFFFF 10:FFFFFFFF 11:FFFFFFFF 12:FFFFFFFF 13:FFFFFFFF 14:FFFFFFFF 15:FFFFFFFF 16:FFFFFFFF 17:FFFFFFFF 18:FFFFFFFF 19:FFFFFFFF 20:FFFFFFFF 21:FFFFFFFF 22:FFFFFFFF 23:FFFFFFFF 24:FFFFFFFF 25:FFFFFFFF 26:FFFFFFFF 27:FFFFFFFF 28:FFFFFFFF 29:FFFFFFFF 30:FFFFFFFF 31:FFFFFFFF Time: 600.000000 {j4} - 2 _523 - 2 _516 - 2 _226 - 1 possible: 7 total: 7 Invisible Nodes: 0 _523 - 2 _516 - 2 _226 - 1 {j4} - 2 possible: 7 total: 7 Invisible Nodes: 0 _516 - 2 _226 - 1 {j4} - 2 _523 - 2 possible: 7 total: 7 Invisible Nodes: 0 _226 - 1 {j4} - 2 _523 - 2 _516 - 2 possible: 7 total: 7 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: 1 Number: 1 fanin size: 2 Number: 11 fanin size: 3 Number: 22 fanin size: 4 Number: 34 fanin size: 7 Number: 1 fanin size: 9 Number: 2 fanin size: 10 Number: 1 Not Counted Nodes LUT count: 79 resynth count: 4 luts: 2 o:1 total: 1 luts: 3 o:1 total: 3