[launch.sh] args:  /home/biere/hwmcc15/solvers/nuxmv/single.nuxmv /home/biere/hwmcc15/benchmarks/all/selection/random/beemszmsk1f1.aig
[launch.sh] host:  atom16 (atom16)
[launch.sh] start: Sat Sep 19 08:23:03 CEST 2015
[launch.sh] jobid: 7195450
[launch.sh] name:  beemszmsk1f1nuxmv
[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
u10
u11
u12
u13
u4
u4
u14
u15
u16
u5
u5
u17
u6
u6
u7
u18
u7
u8
u9
u8
u19
u10
u20
u9
u21
u11
u10
u22
u23
u12
u11
u24
u13
u25
u12
u26
u14
u15
u16
u27
u13
u28
u17
u29
u14
u18
u30
u19
u15
u16
u17
u18
u20
u31
u19
u20
u21
u21
u32
u22
u22
u23
u33
u23
u24
u24
u25
u34
u25
u26
u27
u35
u26
u27
u28
u36
u29
u37
u30
u28
u29
u30
u38
u31
u31
u32
u33
u34
u35
u32
u39
u33
u40
u34
u41
u36
u37
u35
u38
u39
u40
u41
0
b0
.
[launch.sh] stop:  Sat Sep 19 08:23:44 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: Sat Sep 19 08:23:47 CEST 2015
[launch.sh] done: Sat Sep 19 08:23:47 CEST 2015
