[launch.sh] args:  /home/biere/hwmcc15/solvers/nuxmv/single.nuxmv /home/biere/hwmcc15/benchmarks/all/selection/random/6s102.aig
[launch.sh] host:  atom10 (atom10)
[launch.sh] start: Sun Sep 20 01:34:39 CEST 2015
[launch.sh] jobid: 7196538
[launch.sh] name:  h6s102nuxmv
[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
u4
u10
u11
u12
u13
u14
u5
u15
u16
u17
u18
u6
u19
u20
u21
u7
u22
u8
u23
u24
u25
u9
u5
u10
u26
u6
u27
u28
u29
u7
u30
u11
u31
u12
u8
u32
u9
u33
u10
u34
u11
u35
u12
u36
u37
u38
u13
u14
u15
u16
u17
u39
u18
u19
u20
u13
u14
u15
u16
u17
u40
u18
u19
u20
u41
u42
u43
u44
u45
u46
u47
u48
u49
u50
u51
u52
u21
u53
u54
u22
u55
u56
u57
u58
u59
u23
u24
0
b0
.
[launch.sh] stop:  Sun Sep 20 01:36:48 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: Sun Sep 20 01:36:51 CEST 2015
[launch.sh] done: Sun Sep 20 01:36:51 CEST 2015
