[launch.sh] args:  /home/biere/hwmcc15/solvers/tip/single.tip2014 /home/biere/hwmcc15/benchmarks/all/selection/random/6s10.aig
[launch.sh] host:  atom32 (atom32)
[launch.sh] start: Sun Sep 20 09:48:07 CEST 2015
[launch.sh] jobid: 7197120
[launch.sh] name:  h6s10tip2014
[launch.sh] round 1: killall abcpdr avy avybmc navy
[launch.sh] round 2: killall abcpdr avy avybmc navy
[launch.sh] round 3: killall abcpdr avy avybmc navy
c [single.tip2014] /home/biere/hwmcc15/solvers/tip/tip -k=1000 /home/biere/hwmcc15/benchmarks/all/selection/random/6s10.aig /tmp/7197120.1.queue/6s10.tip.out
max_var   = 16215
n_inputs  = 244
n_outputs = 1
n_flops   = 598
n_gates   = 15373
n_bads    = 0
n_cnstrs  = 0
n_justs   = 0
n_fairs   = 0
sum       = 16215
circ-stats: #flops=598, #gates=15373, #inps=244, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=598, #gates=15373, #inps=244, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[detectEquivalentFlops] found loop from cycle 13 to 12!
[detectEquivalentFlops] equivs 12: { 1, i842 }
[detectEquivalentFlops] equivs holds at an earlier time point: 1
[temporalDecomposition] unrolling 2 cycles.
[bmc] k=  0, vrs=       0, cls=       0, con=       0, time=0.0 s
[bmc] k=  1, vrs=       0, cls=       0, con=       0, time=0.0 s
[bmc] k=  1, vrs=1.13e+03, cls=3.34e+03, con=       2, time=0.0 s
restarts              : 2
conflicts             : 2              (162 /sec)
decisions             : 1              (0.00 % random) (81 /sec)
propagations          : 30             (2431 /sec)
conflict literals     : 3              (0.00 % deleted)
Memory used           : 8.09 MB
CPU time              : 0.012343 s
circ-stats: #flops=598, #gates=14560, #inps=244, #reset-gates=15797, #reset-inps=488
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=597, #gates=12091, #inps=111, #reset-gates=12422, #reset-inps=334
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
Embedding fairness constraints...
circ-stats: #flops=597, #gates=12091, #inps=111, #reset-gates=12422, #reset-inps=334
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[bmc] k=  0, vrs=2.89e+03, cls= 8.8e+03, con=       8, time=0.0 s
[bmc] k=  1, vrs=6.75e+03, cls=2.12e+04, con=      41, time=0.0 s
[bmc] k=  2, vrs=1.15e+04, cls=3.67e+04, con=      76, time=0.0 s
[bmc] k=  3, vrs=1.72e+04, cls=5.52e+04, con=     185, time=0.0 s
[rip] 2: 111 | 32 11 11 1 (12) = 178, time = 3.3 s, #safes=1, #lives=0
[rip] 3: 117 120 | 17 5 10 2 1 1 (31) = 304, time = 5.8 s, #safes=1, #lives=0
[rip] 4: 115 164 1212 | 56 13 11 2 1 1 1 (53) = 1629, time = 42.7 s, #safes=1, #lives=0
[rip] 5: 110 136 487 347 | 49 14 4 1 1 1 1 (87) = 1241, time = 56.8 s, #safes=1, #lives=0
[rip] 6: 111 179 1776 4532 5818 | 238 71 1 1 1 1 (307) = 13044, time = 420.3 s, #safes=1, #lives=0
[rip] 7: 141 530 3687 12101 23500 20000 | 653 59 13 11 1 0 0 (1229) = 61959, time = 2779.4 s, #safes=1, #lives=0

*** INTERRUPTED***
[launch.sh] stop:  Sun Sep 20 10:48:10 CEST 2015
[launch.sh] round 1: killall abcpdr avy avybmc navy
[launch.sh] round 2: killall abcpdr avy avybmc navy
[launch.sh] round 3: killall abcpdr avy avybmc navy
[launch.sh] sync: Sun Sep 20 10:48:13 CEST 2015
[launch.sh] out: cat /tmp/7197120.1.queue/6s10.tip.out
u4
[launch.sh] done: Sun Sep 20 10:48:13 CEST 2015
