[launch.sh] args:  /home/biere/hwmcc15/solvers/nuxmv/single.nuxmv /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s309b034.aig
[launch.sh] host:  atom11 (atom11)
[launch.sh] start: Wed Sep 16 01:48:19 CEST 2015
[launch.sh] jobid: 7190202
[launch.sh] name:  h6s309b034nuxmv
[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
u14
u15
u16
u17
u18
u19
u4
u4
u20
u5
u21
u22
u6
u23
u24
u7
u25
u5
u26
u27
u28
u8
u29
u9
u10
u30
u11
u31
u6
u32
u33
u34
u35
u36
u37
u7
u38
u39
u8
u40
u41
u9
u10
u42
u11
u43
u12
u44
u13
u14
u12
u15
u45
u16
u17
u46
u18
u19
u20
u47
u13
u48
u14
u15
u21
u49
u16
u17
u50
u18
u19
u22
u20
u51
u23
u21
u52
u24
u53
u25
u22
u54
u26
u55
u27
u56
u28
u57
u29
u58
u30
u31
u32
u33
u34
u59
u60
u61
u62
u63
u64
u65
u66
u67
1
b0
[encoded data, 33917 characters]
.
[launch.sh] stop:  Wed Sep 16 02:48:16 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: Wed Sep 16 02:48:19 CEST 2015
[launch.sh] done: Wed Sep 16 02:48:19 CEST 2015
