[launch.sh] args:  /home/biere/hwmcc15/solvers/nuxmv/single.nuxmv /home/biere/hwmcc15/benchmarks/all/selection/random/intel045.aig
[launch.sh] host:  atom27 (atom27)
[launch.sh] start: Sat Sep 19 23:44:59 CEST 2015
[launch.sh] jobid: 7196394
[launch.sh] name:  intel045nuxmv
[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
u4
u4
u12
u13
u14
u15
u16
u17
u18
u19
u5
u5
u6
u7
u8
u9
u6
u10
u11
u7
u20
u21
u12
u13
u14
u15
u8
u9
u10
u11
u12
u13
u16
u17
u14
u18
u19
u15
u20
u21
u16
u22
u17
u23
u18
u24
u25
u19
u26
u20
u21
u22
u27
u23
u28
u29
u24
u30
u31
u25
u26
u32
u27
u28
u33
u29
u34
u30
u35
u31
u36
u32
u33
u34
u37
u35
u38
u39
u40
u36
u41
u37
u42
u43
u38
u44
u39
u45
u40
u41
u46
u47
u42
u48
u49
u43
u50
u51
u52
u44
u45
u46
u53
u47
u54
u48
u55
u49
u50
u56
u51
u57
u52
u58
u53
u54
u55
u56
u57
u59
u58
u60
1
b0
[encoded data, 57785 characters]
.
[launch.sh] stop:  Sat Sep 19 23:46:58 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 23:47:01 CEST 2015
[launch.sh] done: Sat Sep 19 23:47:01 CEST 2015
