[launch.sh] args:  /home/biere/hwmcc15/solvers/abc/single.abcsuprove /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s195.aig
[launch.sh] host:  atom10 (atom10)
[launch.sh] start: Tue Sep 15 19:42:39 CEST 2015
[launch.sh] jobid: 7190003
[launch.sh] name:  h6s195abcsuprove
[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
u58
u58
u64
u72
u80
u88
u96
u104
u112
u120
u132
u140
u148
u156
u164
u172
u180
u188
u200
u208
u216
u224
u232
u240
u25
u25
u28
u24
u24
u42
u20
u20
u42
[launch.sh] stop:  Tue Sep 15 20:34:05 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: Tue Sep 15 20:34:08 CEST 2015
[launch.sh] done: Tue Sep 15 20:34:08 CEST 2015
