[launch.sh] args:  /home/biere/hwmcc15/solvers/nuxmv/single.nuxmv /home/biere/hwmcc15/benchmarks/all/selection/random/eijks832.aig
[launch.sh] host:  atom10 (atom10)
[launch.sh] start: Fri Sep 18 21:32:03 CEST 2015
[launch.sh] jobid: 7194362
[launch.sh] name:  eijks832nuxmv
[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.nuxmv] starting actual solver (redirecting <stderr> to <stdout>)
u0
u1
u2
u3
u4
u5
u6
u4
u4
u7
u8
u9
u5
u10
u11
u12
u6
u13
u14
u7
u15
u8
u16
u17
u9
u18
u19
u10
u20
u11
u21
u22
u23
u12
u24
u25
u26
u13
u27
u28
u14
u29
u30
u15
u31
u32
u33
u16
0
b0
.
[launch.sh] stop:  Fri Sep 18 21:32:08 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: Fri Sep 18 21:32:11 CEST 2015
[launch.sh] done: Fri Sep 18 21:32:11 CEST 2015
