[launch.sh] args:  /home/biere/hwmcc15/solvers/tip/single.tip2014 /home/biere/hwmcc15/benchmarks/all/selection/random/beemfwt5b1.aig
[launch.sh] host:  atom18 (atom18)
[launch.sh] start: Sun Sep 20 23:55:51 CEST 2015
[launch.sh] jobid: 7198144
[launch.sh] name:  beemfwt5b1tip2014
[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/beemfwt5b1.aig /tmp/7198144.1.queue/beemfwt5b1.tip.out
max_var   = 112141
n_inputs  = 4324
n_outputs = 1
n_flops   = 3046
n_gates   = 104771
n_bads    = 0
n_cnstrs  = 0
n_justs   = 0
n_fairs   = 0
sum       = 112141
circ-stats: #flops=3046, #gates=104771, #inps=4324, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=3046, #gates=104771, #inps=4324, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[detectEquivalentFlops] found loop from cycle 2 to 1!
[detectEquivalentFlops] equivs 1: { 1, i7369 }
[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=       0, cls=       0, con=       0, time=0.0 s
restarts              : 2
conflicts             : 0              (0 /sec)
decisions             : 0              (-nan % random) (0 /sec)
propagations          : 2              (50 /sec)
conflict literals     : 0              (-nan % deleted)
Memory used           : 15.15 MB
CPU time              : 0.040364 s
circ-stats: #flops=3046, #gates=104768, #inps=4324, #reset-gates=195165, #reset-inps=8648
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=3045, #gates=104761, #inps=4324, #reset-gates=101724, #reset-inps=7368
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
Embedding fairness constraints...
circ-stats: #flops=3045, #gates=104761, #inps=4324, #reset-gates=101724, #reset-inps=7368
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[bmc] k=  0, vrs=5.58e+04, cls=1.82e+05, con=      14, time=0.1 s
[bmc] k=  1, vrs=1.09e+05, cls=3.68e+05, con=      54, time=0.2 s
[bmc] k=  2, vrs=1.61e+05, cls=5.41e+05, con=     415, time=0.5 s
[bmc] k=  3, vrs=2.14e+05, cls=7.21e+05, con=     672, time=1.0 s
[rip] 2: 41 (0) = 41, time = 17.0 s, #safes=1, #lives=0

*** INTERRUPTED***
[launch.sh] stop:  Mon Sep 21 00:55:54 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: Mon Sep 21 00:55:57 CEST 2015
[launch.sh] out: cat /tmp/7198144.1.queue/beemfwt5b1.tip.out
u4
[launch.sh] done: Mon Sep 21 00:55:57 CEST 2015
