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