[launch.sh] args:  /home/biere/hwmcc15/solvers/nuxmv/single.nuxmv /home/biere/hwmcc15/benchmarks/all/selection/random/eijks298.aig
[launch.sh] host:  atom28 (atom28)
[launch.sh] start: Fri Sep 18 16:55:31 CEST 2015
[launch.sh] jobid: 7193962
[launch.sh] name:  eijks298nuxmv
[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
u7
u8
u9
u4
u10
u4
u11
u5
u5
u12
u6
u6
u13
u7
u14
u8
u7
u15
u8
u9
u16
u10
u9
u17
u11
u10
u18
u12
u11
u19
u13
u12
u13
u20
u14
u14
0
b0
.
[launch.sh] stop:  Fri Sep 18 16:55:34 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 16:55:38 CEST 2015
[launch.sh] done: Fri Sep 18 16:55:38 CEST 2015
