[launch.sh] args:  /home/biere/hwmcc15/solvers/nuxmv/single.nuxmv /home/biere/hwmcc15/benchmarks/all/selection/random/eijks420.aig
[launch.sh] host:  atom23 (atom23)
[launch.sh] start: Fri Sep 18 17:19:07 CEST 2015
[launch.sh] jobid: 7194026
[launch.sh] name:  eijks420nuxmv
[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
u4
u11
u4
u12
u5
u13
u5
u6
u6
u14
u7
u7
u8
u15
u8
u9
u9
u10
u16
u10
u11
u11
u12
u17
u12
u13
u13
u14
u15
u14
u18
u16
u15
u17
u16
u18
u17
u19
u18
u20
u19
u21
u19
u20
u22
u21
u23
u22
u24
u23
u25
u20
u24
u26
u27
u25
u28
u26
u29
u27
u30
u28
u31
u21
u29
u32
u30
u33
u31
u34
u32
u35
u33
u36
u37
u34
u22
u35
u38
u36
u39
u37
u40
u38
u41
u39
u42
u43
u40
u44
u41
u45
u23
u42
u46
u43
u47
u44
u48
u45
u49
u46
u50
u47
u51
u48
u52
u53
u49
u54
u50
u55
u51
u24
u56
u52
u53
u57
u54
u58
u59
u55
u60
u56
u61
u57
u62
u58
u63
u59
u64
u60
u25
u61
u65
u62
u66
u63
u67
u68
u64
u65
u69
u66
u70
u67
u71
u68
u72
u69
u73
u70
u74
u75
u76
u26
u77
u78
u79
u80
u81
u82
u83
u84
u85
u86
u87
u71
u27
u88
u72
u73
u89
u74
u90
u75
u91
u92
u76
u77
0
b0
.
[launch.sh] stop:  Fri Sep 18 17:19:11 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 17:19:15 CEST 2015
[launch.sh] done: Fri Sep 18 17:19:15 CEST 2015
