SATmap -r -n 2 cnf_files/7input.cnf -r -g 5 -u 600 -i -o ./test_16MUX_opt_IMAP.out 
total number of nodes: 17
cones fit: 0
cones not fit: 0
valid cones: 9
default cones: 0
over valid cones: 0
total: 311
Nodes with valid cones: 3
Discarded cones: 0
entries: 0 SAT count: 0 UNSAT count: 0

SAT: 0:0 1:CA000000 2:0 3:CA000000 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: 0.240000

SAT: 0:0 1:CA0000 2:0 3:CA0000 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: 0.350000

SAT: 0:AAAAAAAA 1:AAAAAAAA 2:AAAAAAAA 3:FAEEAAAA 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.200000
_43 - 2
_42 - 1
_39 - 1
possible: 4
total: 3
Invisible Nodes: 0
_42 - 1
_39 - 1
_43 - 2
possible: 4
total: 2
Invisible Nodes: 0
_39 - 1
_43 - 2
_42 - 1
possible: 4
total: 2
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: 4   Number: 10
fanin size: 6   Number: 1
fanin size: 7   Number: 1
Not Counted Nodes
LUT count: 14
resynth count: 2
luts: 2 o:1  total: 2