Label | Meaning |
---|---|
S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
O | Best solution found |
T | CPU time (TO for Time Out) |
(out)(err) | Standard output and standard error for each solver |
Color | Meaning for Complete Solvers | Meaning for Incomplete Solvers |
---|---|---|
Text | Best solver column | Best solver column |
Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
Text | Time Out | Time Out |
Text | Buggy solution | Buggy 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) |