Benchmark

LabelMeaning
SSolution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A}
OBest solution found
TCPU time (TO for Time Out)
(out)(err)Standard output and standard error for each solver

ColorMeaning for Complete SolversMeaning for Incomplete Solvers
TextBest solver columnBest solver column
TextOptimal solution with the best CPU timeBest solution with the best CPU time
TextOptimal solution and finished within the Time OutBest solution without the best CPU time
TextOptimal solution and did not finish within the Time OutSolution found but not the best
TextTime OutTime Out
TextBuggy solutionBuggy solution

Instance file name Best solver SAT4Jms-ext-i SAT4Jms-int-i optimax-it
clq1-cv160c800l2g1.wcnf O = 96
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 96
T = 0.15
(out)(err)
clq1-cv160c800l2g10.wcnf O = 82
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 82
T = 0.14
(out)(err)
clq1-cv160c800l2g11.wcnf O = 112
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 112
T = 0.15
(out)(err)
clq1-cv160c800l2g12.wcnf O = 97
T = 0.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 97
T = 0.16
(out)(err)
clq1-cv160c800l2g13.wcnf O = 56
T = 4.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 56
T = 4.18
(out)(err)
clq1-cv160c800l2g14.wcnf O = 50
T = 1.47
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 50
T = 1.47
(out)(err)
clq1-cv160c800l2g15.wcnf O = 89
T = 0.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 89
T = 0.19
(out)(err)
clq1-cv160c800l2g16.wcnf O = 61
T = 12.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 61
T = 12.11
(out)(err)
clq1-cv160c800l2g17.wcnf O = 94
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 94
T = 0.22
(out)(err)
clq1-cv160c800l2g18.wcnf O = 70
T = 0.26
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 70
T = 0.26
(out)(err)
clq1-cv160c800l2g19.wcnf O = 112
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 112
T = 0.18
(out)(err)
clq1-cv160c800l2g2.wcnf O = 64
T = 0.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 64
T = 0.17
(out)(err)
clq1-cv160c800l2g20.wcnf O = 52
T = 29.84
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 52
T = 29.84
(out)(err)
clq1-cv160c800l2g21.wcnf O = 64
T = 163.89
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 64
T = 163.89
(out)(err)
clq1-cv160c800l2g22.wcnf O = 97
T = 0.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 97
T = 0.19
(out)(err)
clq1-cv160c800l2g23.wcnf O = 61
T = 2.91
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 61
T = 2.91
(out)(err)
clq1-cv160c800l2g24.wcnf O = 80
T = 0.21
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 80
T = 0.21
(out)(err)
clq1-cv160c800l2g25.wcnf O = 78
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 78
T = 0.22
(out)(err)
clq1-cv160c800l2g26.wcnf O = 105
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 105
T = 0.18
(out)(err)
clq1-cv160c800l2g27.wcnf O = 84
T = 0.40
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 84
T = 0.40
(out)(err)
clq1-cv160c800l2g28.wcnf O = 75
T = 0.28
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 75
T = 0.28
(out)(err)
clq1-cv160c800l2g29.wcnf O = 54
T = 10.79
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 54
T = 10.79
(out)(err)
clq1-cv160c800l2g3.wcnf O = 69
T = 4.87
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 69
T = 4.87
(out)(err)
clq1-cv160c800l2g30.wcnf O = 76
T = 2.70
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 76
T = 2.70
(out)(err)
clq1-cv160c800l2g4.wcnf O = 56
T = 3.41
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 56
T = 3.41
(out)(err)
clq1-cv160c800l2g5.wcnf O = 60
T = 0.39
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 60
T = 0.39
(out)(err)
clq1-cv160c800l2g6.wcnf O = 96
T = 0.20
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 96
T = 0.20
(out)(err)
clq1-cv160c800l2g7.wcnf O = 98
T = 0.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 98
T = 0.19
(out)(err)
clq1-cv160c800l2g8.wcnf O = 55
T = 19.45
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 55
T = 19.45
(out)(err)
clq1-cv160c800l2g9.wcnf O = 64
T = 5.97
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 64
T = 5.97
(out)(err)
clq1-cv260c1040l2g1.wcnf O = 79
T = 23.79
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 79
T = 23.79
(out)(err)
clq1-cv260c1040l2g10.wcnf O = 96
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 96
T = 0.14
(out)(err)
clq1-cv260c1040l2g11.wcnf O = 48
T = 2.69
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 48
T = 2.69
(out)(err)
clq1-cv260c1040l2g12.wcnf O = 96
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 96
T = 0.15
(out)(err)
clq1-cv260c1040l2g13.wcnf O = 61
T = 0.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 61
T = 0.17
(out)(err)
clq1-cv260c1040l2g14.wcnf O = 108
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 108
T = 0.15
(out)(err)
clq1-cv260c1040l2g15.wcnf O = 55
T = 7.36
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 55
T = 7.36
(out)(err)
clq1-cv260c1040l2g16.wcnf O = 103
T = 0.23
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 103
T = 0.23
(out)(err)
clq1-cv260c1040l2g17.wcnf O = 63
T = 8.63
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 63
T = 8.63
(out)(err)
clq1-cv260c1040l2g18.wcnf O = 76
T = 0.21
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 76
T = 0.21
(out)(err)
clq1-cv260c1040l2g19.wcnf O = 94
T = 0.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 94
T = 0.19
(out)(err)
clq1-cv260c1040l2g2.wcnf O = 66
T = 258.44
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 66
T = 258.44
(out)(err)
clq1-cv260c1040l2g20.wcnf O = 87
T = 3.60
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 87
T = 3.60
(out)(err)
clq1-cv260c1040l2g21.wcnf O = 92
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 92
T = 0.22
(out)(err)
clq1-cv260c1040l2g22.wcnf O = 96
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 96
T = 0.14
(out)(err)
clq1-cv260c1040l2g23.wcnf O = 57
T = 10.84
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 57
T = 10.84
(out)(err)
clq1-cv260c1040l2g24.wcnf O = 49
T = 14.44
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 49
T = 14.44
(out)(err)
clq1-cv260c1040l2g25.wcnf O = 50
T = 86.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 50
T = 86.22
(out)(err)
clq1-cv260c1040l2g26.wcnf O = 57
T = 224.94
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 57
T = 224.94
(out)(err)
clq1-cv260c1040l2g27.wcnf O = 113
T = 0.20
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 113
T = 0.20
(out)(err)
clq1-cv260c1040l2g28.wcnf O = 89
T = 0.87
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 89
T = 0.87
(out)(err)
clq1-cv260c1040l2g29.wcnf O = 83
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 83
T = 0.14
(out)(err)
clq1-cv260c1040l2g3.wcnf O = 88
T = 0.21
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 88
T = 0.21
(out)(err)
clq1-cv260c1040l2g30.wcnf O = 104
T = 0.21
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 104
T = 0.21
(out)(err)
clq1-cv260c1040l2g4.wcnf O = 56
T = 4.68
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 56
T = 4.68
(out)(err)
clq1-cv260c1040l2g5.wcnf O = 66
T = 106.80
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 66
T = 106.80
(out)(err)
clq1-cv260c1040l2g6.wcnf O = 59
T = 21.75
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 59
T = 21.75
(out)(err)
clq1-cv260c1040l2g7.wcnf O = 89
T = 0.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 89
T = 0.19
(out)(err)
clq1-cv260c1040l2g8.wcnf O = N/A
T = TO
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 58
T = 17.63
(out)(err)
clq1-cv260c1040l2g9.wcnf O = 75
T = 0.90
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 75
T = 0.90
(out)(err)
clq1-c2mv70c350l3g1.wcnf O = 65
T = 1.20
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 65
T = 1.20
(out)(err)
clq1-c2mv70c350l3g10.wcnf O = 57
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 57
T = 0.22
(out)(err)
clq1-c2mv70c350l3g11.wcnf O = 61
T = 0.39
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 61
T = 0.39
(out)(err)
clq1-c2mv70c350l3g12.wcnf O = 64
T = 1.37
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 64
T = 1.37
(out)(err)
clq1-c2mv70c350l3g13.wcnf O = 63
T = 0.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 63
T = 0.16
(out)(err)
clq1-c2mv70c350l3g14.wcnf O = 66
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 66
T = 0.15
(out)(err)
clq1-c2mv70c350l3g15.wcnf O = 58
T = 5.02
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 58
T = 5.02
(out)(err)
clq1-c2mv70c350l3g16.wcnf O = 64
T = 2.97
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 64
T = 2.97
(out)(err)
clq1-c2mv70c350l3g17.wcnf O = 61
T = 0.26
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 61
T = 0.26
(out)(err)
clq1-c2mv70c350l3g18.wcnf O = 58
T = 172.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 58
T = 172.13
(out)(err)
clq1-c2mv70c350l3g19.wcnf O = 107
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 107
T = 0.14
(out)(err)
clq1-c2mv70c350l3g2.wcnf O = 64
T = 2.43
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 64
T = 2.43
(out)(err)
clq1-c2mv70c350l3g20.wcnf O = 64
T = 0.72
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 64
T = 0.72
(out)(err)
clq1-c2mv70c350l3g21.wcnf O = 57
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 57
T = 0.13
(out)(err)
clq1-c2mv70c350l3g22.wcnf O = 60
T = 0.64
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 60
T = 0.64
(out)(err)
clq1-c2mv70c350l3g23.wcnf O = 66
T = 2.08
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 66
T = 2.08
(out)(err)
clq1-c2mv70c350l3g24.wcnf O = 63
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 63
T = 0.15
(out)(err)
clq1-c2mv70c350l3g25.wcnf O = 55
T = 0.36
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 55
T = 0.36
(out)(err)
clq1-c2mv70c350l3g26.wcnf O = 62
T = 12.80
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 62
T = 12.80
(out)(err)
clq1-c2mv70c350l3g27.wcnf O = 66
T = 0.25
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 66
T = 0.25
(out)(err)
clq1-c2mv70c350l3g28.wcnf O = 60
T = 1.65
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 60
T = 1.65
(out)(err)
clq1-c2mv70c350l3g29.wcnf O = 65
T = 0.54
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 65
T = 0.54
(out)(err)
clq1-c2mv70c350l3g3.wcnf O = 58
T = 2.42
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 58
T = 2.42
(out)(err)
clq1-c2mv70c350l3g30.wcnf O = 62
T = 0.40
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 62
T = 0.40
(out)(err)
clq1-c2mv70c350l3g4.wcnf O = 59
T = 0.31
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 59
T = 0.31
(out)(err)
clq1-c2mv70c350l3g5.wcnf O = 61
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 61
T = 0.22
(out)(err)
clq1-c2mv70c350l3g6.wcnf O = 62
T = 1.64
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 62
T = 1.64
(out)(err)
clq1-c2mv70c350l3g7.wcnf O = 63
T = 32.97
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 63
T = 32.97
(out)(err)
clq1-c2mv70c350l3g8.wcnf O = 57
T = 1.26
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 57
T = 1.26
(out)(err)
clq1-c2mv70c350l3g9.wcnf O = 56
T = 16.59
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 56
T = 16.59
(out)(err)
clq1-c2mv80c400l3g1.wcnf O = 74
T = 0.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 74
T = 0.19
(out)(err)
clq1-c2mv80c400l3g10.wcnf O = 72
T = 1.44
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 72
T = 1.44
(out)(err)
clq1-c2mv80c400l3g11.wcnf O = 69
T = 170.41
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 69
T = 170.41
(out)(err)
clq1-c2mv80c400l3g12.wcnf O = 73
T = 56.40
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 73
T = 56.40
(out)(err)
clq1-c2mv80c400l3g13.wcnf O = 74
T = 0.26
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 74
T = 0.26
(out)(err)
clq1-c2mv80c400l3g14.wcnf O = 71
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 71
T = 0.18
(out)(err)
clq1-c2mv80c400l3g15.wcnf O = 77
T = 3.40
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 77
T = 3.40
(out)(err)
clq1-c2mv80c400l3g16.wcnf O = 117
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 117
T = 0.12
(out)(err)
clq1-c2mv80c400l3g17.wcnf O = 134
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 134
T = 0.12
(out)(err)
clq1-c2mv80c400l3g18.wcnf O = 72
T = 0.20
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 72
T = 0.20
(out)(err)
clq1-c2mv80c400l3g19.wcnf O = 67
T = 54.78
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 67
T = 54.78
(out)(err)
clq1-c2mv80c400l3g2.wcnf O = 75
T = 3.91
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 75
T = 3.91
(out)(err)
clq1-c2mv80c400l3g20.wcnf O = 71
T = 8.85
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 71
T = 8.85
(out)(err)
clq1-c2mv80c400l3g21.wcnf O = 78
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 78
T = 0.18
(out)(err)
clq1-c2mv80c400l3g22.wcnf O = 79
T = 0.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 79
T = 0.17
(out)(err)
clq1-c2mv80c400l3g23.wcnf O = 72
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 72
T = 0.22
(out)(err)
clq1-c2mv80c400l3g24.wcnf O = 72
T = 0.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 72
T = 0.17
(out)(err)
clq1-c2mv80c400l3g25.wcnf O = 68
T = 0.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 68
T = 0.19
(out)(err)
clq1-c2mv80c400l3g26.wcnf O = 124
T = 0.08
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 124
T = 0.08
(out)(err)
clq1-c2mv80c400l3g27.wcnf O = 73
T = 1.25
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 73
T = 1.25
(out)(err)
clq1-c2mv80c400l3g28.wcnf O = 74
T = 1.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 74
T = 1.12
(out)(err)
clq1-c2mv80c400l3g29.wcnf O = 77
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 77
T = 0.15
(out)(err)
clq1-c2mv80c400l3g3.wcnf O = 75
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 75
T = 0.22
(out)(err)
clq1-c2mv80c400l3g30.wcnf O = 69
T = 0.91
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 69
T = 0.91
(out)(err)
clq1-c2mv80c400l3g4.wcnf O = 75
T = 2.70
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 75
T = 2.70
(out)(err)
clq1-c2mv80c400l3g5.wcnf O = 75
T = 9.70
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 75
T = 9.70
(out)(err)
clq1-c2mv80c400l3g6.wcnf O = 71
T = 1.58
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 71
T = 1.58
(out)(err)
clq1-c2mv80c400l3g7.wcnf O = 124
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 124
T = 0.13
(out)(err)
clq1-c2mv80c400l3g8.wcnf O = 73
T = 83.08
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 73
T = 83.08
(out)(err)
clq1-c2mv80c400l3g9.wcnf O = 76
T = 1.68
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 76
T = 1.68
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf O = 876
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 876
T = 0.11
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf O = N/A
T = TO
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf O = 890
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 890
T = 0.14
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf O = 865
T = 0.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 865
T = 0.16
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf O = 868
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 868
T = 0.11
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf O = 856
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 856
T = 0.15
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf O = 868
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 868
T = 0.12
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf O = 890
T = 0.10
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 890
T = 0.10
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf O = 854
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 854
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf O = 883
T = 0.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 883
T = 0.17
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf O = 963
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 963
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf O = 996
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 996
T = 0.15
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf O = 1061
T = 0.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1061
T = 0.16
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf O = 992
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 992
T = 0.11
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf O = 1026
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1026
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf O = 1041
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1041
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf O = 982
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 982
T = 0.12
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf O = 964
T = 0.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 964
T = 0.16
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf O = 1014
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1014
T = 0.18
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf O = 960
T = 0.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 960
T = 0.19
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf O = 1138
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1138
T = 0.18
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf O = 1139
T = 0.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1139
T = 0.16
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf O = 1083
T = 0.23
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1083
T = 0.23
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf O = 1116
T = 0.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1116
T = 0.16
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf O = 1155
T = 0.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1155
T = 0.16
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf O = 1119
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1119
T = 0.18
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf O = 1133
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1133
T = 0.18
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf O = 1068
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1068
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf O = 1148
T = 0.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1148
T = 0.16
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf O = 1124
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1124
T = 0.14
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf O = 552
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 552
T = 0.11
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf O = 525
T = 0.07
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 525
T = 0.07
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf O = 498
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 498
T = 0.12
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf O = 501
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 501
T = 0.12
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf O = 546
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 546
T = 0.15
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf O = 511
T = 0.09
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 511
T = 0.09
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf O = 511
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 511
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf O = 480
T = 0.08
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 480
T = 0.08
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf O = 518
T = 0.09
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 518
T = 0.09
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf O = 503
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 503
T = 0.11
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf O = 607
T = 0.09
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 607
T = 0.09
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf O = 652
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 652
T = 0.14
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf O = 611
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 611
T = 0.11
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf O = 652
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 652
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf O = 634
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 634
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf O = 622
T = 0.10
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 622
T = 0.10
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf O = 611
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 611
T = 0.12
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf O = 579
T = 0.09
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 579
T = 0.09
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf O = 635
T = 0.10
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 635
T = 0.10
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf O = 641
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 641
T = 0.11
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf O = 765
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 765
T = 0.12
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf O = 740
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 740
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf O = 780
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 780
T = 0.14
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf O = 758
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 758
T = 0.12
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf O = 733
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 733
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf O = 741
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 741
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf O = 741
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 741
T = 0.11
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf O = 744
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 744
T = 0.13
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf O = 763
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 763
T = 0.12
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf O = 768
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 768
T = 0.12
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_0.wcnf O = 15
T = 6.95
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15
T = 6.95
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_1.wcnf O = 17
T = 0.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 17
T = 0.17
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_2.wcnf O = 9
T = 78.76
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 9
T = 78.76
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_3.wcnf O = 16
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 16
T = 0.18
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_4.wcnf O = 14
T = 9.98
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 14
T = 9.98
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_5.wcnf O = 15
T = 1.08
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15
T = 1.08
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_6.wcnf O = 7
T = 0.85
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.85
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_7.wcnf O = 8
T = 28.93
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8
T = 28.93
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_8.wcnf O = 12
T = 0.34
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 12
T = 0.34
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_9.wcnf O = 14
T = 0.29
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 14
T = 0.29
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_0.wcnf O = 23
T = 37.56
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 23
T = 37.56
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_1.wcnf O = 35
T = 0.09
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 35
T = 0.09
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_2.wcnf O = 33
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 33
T = 0.14
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_3.wcnf O = 18
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 18
T = 0.18
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_4.wcnf O = 19
T = 0.51
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 19
T = 0.51
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_5.wcnf O = 32
T = 0.09
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 32
T = 0.09
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_6.wcnf O = 19
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 19
T = 0.22
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_7.wcnf O = 36
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 36
T = 0.14
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_8.wcnf O = 22
T = 2.03
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 22
T = 2.03
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_9.wcnf O = 18
T = 0.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 18
T = 0.19
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_0.wcnf O = 28
T = 2.06
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 28
T = 2.06
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_1.wcnf O = 27
T = 53.47
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27
T = 53.47
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_2.wcnf O = 46
T = 0.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 46
T = 0.14
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_3.wcnf O = 27
T = 108.78
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27
T = 108.78
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_4.wcnf O = 28
T = 0.56
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 28
T = 0.56
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_5.wcnf O = 46
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 46
T = 0.13
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_6.wcnf O = 42
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 42
T = 0.13
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_7.wcnf O = 56
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 56
T = 0.13
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_8.wcnf O = 49
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 49
T = 0.13
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_9.wcnf O = 41
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 41
T = 0.13
(out)(err)