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

UNSAT: 0:0 1:CC0000 2:F0FE0000 3:F0FE0000 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: 58.619999

SAT: 0:FFFF7F5F 1:FFFFFFFF 2:FFFF7755 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: 2.100000

SAT: 0:FCFCFCFC 1:F0F0F0F0 2:FCFCFCFE 3:F0F0F0F0 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: 21.580000

UNSAT: 0:C4C400C4 1:F5F500F5 2:C0C000C0 3:C0C000C0 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.580002

UNSAT: 0:FFFFFFEE 1:FFFFFFEE 2:FFF0FFEE 3:FFF0FFE0 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: 39.509998

SAT: 0:CCCCCCCC 1:CCCCCCCC 2:DDDFCCCC 3:CCCCCCCC 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.570000

SAT: 0:33333333 1:33333333 2:33333333 3:11303033 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.820000

SAT: 0:0 1:0 2:0 3:300A 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.520000
{s1} - 1
_407643 - 1
_407483 - 1
_405584 - 1
_404489 - 1
possible: 5
total: 5
Invisible Nodes: 0
_407643 - 1
_407483 - 1
_405584 - 1
_404489 - 1
{s1} - 1
possible: 5
total: 5
Invisible Nodes: 0
_407483 - 1
_405584 - 1
_404489 - 1
{s1} - 1
_407643 - 1
possible: 5
total: 5
Invisible Nodes: 0
_405584 - 1
_404489 - 1
{s1} - 1
_407643 - 1
_407483 - 1
possible: 5
total: 5
Invisible Nodes: 0
_404489 - 1
{s1} - 1
_407643 - 1
_407483 - 1
_405584 - 1
possible: 5
total: 5
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: 47
fanin size: 3   Number: 71
fanin size: 4   Number: 914
fanin size: 7   Number: 5
Not Counted Nodes
LUT count: 1042
resynth count: 5
luts: 2 o:1  total: 5
Time: 600.010010