| 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 | ISAC+-2016-in |
|---|---|---|
| clq1-cv160c800l2g1.wcnf | O = 61 T = 9.62 |
O = 61 T = 9.62 |
| clq1-cv160c800l2g10.wcnf | O = 53 T = 9.68 |
O = 53 T = 9.68 |
| clq1-cv160c800l2g11.wcnf | O = 67 T = 8.95 |
O = 67 T = 8.95 |
| clq1-cv160c800l2g12.wcnf | O = 59 T = 9.69 |
O = 59 T = 9.69 |
| clq1-cv160c800l2g13.wcnf | O = 51 T = 9.41 |
O = 51 T = 9.41 |
| clq1-cv160c800l2g14.wcnf | O = 45 T = 8.86 |
O = 45 T = 8.86 |
| clq1-cv160c800l2g15.wcnf | O = 62 T = 10.03 |
O = 62 T = 10.03 |
| clq1-cv160c800l2g16.wcnf | O = 56 T = 10.18 |
O = 56 T = 10.18 |
| clq1-cv160c800l2g17.wcnf | O = 59 T = 9.46 |
O = 59 T = 9.46 |
| clq1-cv160c800l2g18.wcnf | O = 55 T = 9.38 |
O = 55 T = 9.38 |
| clq1-cv160c800l2g19.wcnf | O = 68 T = 9.77 |
O = 68 T = 9.77 |
| clq1-cv160c800l2g2.wcnf | O = 48 T = 8.89 |
O = 48 T = 8.89 |
| clq1-cv160c800l2g20.wcnf | O = 46 T = 10.76 |
O = 46 T = 10.76 |
| clq1-cv160c800l2g21.wcnf | O = 56 T = 8.23 |
O = 56 T = 8.23 |
| clq1-cv160c800l2g22.wcnf | O = 56 T = 9.92 |
O = 56 T = 9.92 |
| clq1-cv160c800l2g23.wcnf | O = 51 T = 10.11 |
O = 51 T = 10.11 |
| clq1-cv160c800l2g24.wcnf | O = 49 T = 9.10 |
O = 49 T = 9.10 |
| clq1-cv160c800l2g25.wcnf | O = 55 T = 9.18 |
O = 55 T = 9.18 |
| clq1-cv160c800l2g26.wcnf | O = 53 T = 9.02 |
O = 53 T = 9.02 |
| clq1-cv160c800l2g27.wcnf | O = 56 T = 8.33 |
O = 56 T = 8.33 |
| clq1-cv160c800l2g28.wcnf | O = 50 T = 9.06 |
O = 50 T = 9.06 |
| clq1-cv160c800l2g29.wcnf | O = 42 T = 8.58 |
O = 42 T = 8.58 |
| clq1-cv160c800l2g3.wcnf | O = 60 T = 9.09 |
O = 60 T = 9.09 |
| clq1-cv160c800l2g30.wcnf | O = 60 T = 9.94 |
O = 60 T = 9.94 |
| clq1-cv160c800l2g4.wcnf | O = 49 T = 9.56 |
O = 49 T = 9.56 |
| clq1-cv160c800l2g5.wcnf | O = 49 T = 9.21 |
O = 49 T = 9.21 |
| clq1-cv160c800l2g6.wcnf | O = 62 T = 9.00 |
O = 62 T = 9.00 |
| clq1-cv160c800l2g7.wcnf | O = 61 T = 9.63 |
O = 61 T = 9.63 |
| clq1-cv160c800l2g8.wcnf | O = 49 T = 9.04 |
O = 49 T = 9.04 |
| clq1-cv160c800l2g9.wcnf | O = 57 T = 8.61 |
O = 57 T = 8.61 |
| clq1-cv260c1040l2g1.wcnf | O = 67 T = 10.21 |
O = 67 T = 10.21 |
| clq1-cv260c1040l2g10.wcnf | O = 61 T = 10.05 |
O = 61 T = 10.05 |
| clq1-cv260c1040l2g11.wcnf | O = 40 T = 9.50 |
O = 40 T = 9.50 |
| clq1-cv260c1040l2g12.wcnf | O = 58 T = 10.82 |
O = 58 T = 10.82 |
| clq1-cv260c1040l2g13.wcnf | O = 38 T = 9.03 |
O = 38 T = 9.03 |
| clq1-cv260c1040l2g14.wcnf | O = 57 T = 8.64 |
O = 57 T = 8.64 |
| clq1-cv260c1040l2g15.wcnf | O = 46 T = 10.41 |
O = 46 T = 10.41 |
| clq1-cv260c1040l2g16.wcnf | O = 59 T = 33.65 |
O = 59 T = 33.65 |
| clq1-cv260c1040l2g17.wcnf | O = 51 T = 8.83 |
O = 51 T = 8.83 |
| clq1-cv260c1040l2g18.wcnf | O = 52 T = 9.44 |
O = 52 T = 9.44 |
| clq1-cv260c1040l2g19.wcnf | O = 57 T = 10.54 |
O = 57 T = 10.54 |
| clq1-cv260c1040l2g2.wcnf | O = 54 T = 8.88 |
O = 54 T = 8.88 |
| clq1-cv260c1040l2g20.wcnf | O = 63 T = 8.22 |
O = 63 T = 8.22 |
| clq1-cv260c1040l2g21.wcnf | O = 55 T = 10.96 |
O = 55 T = 10.96 |
| clq1-cv260c1040l2g22.wcnf | O = 58 T = 10.08 |
O = 58 T = 10.08 |
| clq1-cv260c1040l2g23.wcnf | O = 52 T = 9.90 |
O = 52 T = 9.90 |
| clq1-cv260c1040l2g24.wcnf | O = 42 T = 8.97 |
O = 42 T = 8.97 |
| clq1-cv260c1040l2g25.wcnf | O = 46 T = 9.96 |
O = 46 T = 9.96 |
| clq1-cv260c1040l2g26.wcnf | O = 50 T = 9.04 |
O = 50 T = 9.04 |
| clq1-cv260c1040l2g27.wcnf | O = 69 T = 10.45 |
O = 69 T = 10.45 |
| clq1-cv260c1040l2g28.wcnf | O = 58 T = 9.89 |
O = 58 T = 9.89 |
| clq1-cv260c1040l2g29.wcnf | O = 54 T = 10.42 |
O = 54 T = 10.42 |
| clq1-cv260c1040l2g3.wcnf | O = 52 T = 11.81 |
O = 52 T = 11.81 |
| clq1-cv260c1040l2g30.wcnf | O = 62 T = 10.98 |
O = 62 T = 10.98 |
| clq1-cv260c1040l2g4.wcnf | O = 45 T = 9.31 |
O = 45 T = 9.31 |
| clq1-cv260c1040l2g5.wcnf | O = 58 T = 8.79 |
O = 58 T = 8.79 |
| clq1-cv260c1040l2g6.wcnf | O = 49 T = 9.52 |
O = 49 T = 9.52 |
| clq1-cv260c1040l2g7.wcnf | O = 46 T = 8.37 |
O = 46 T = 8.37 |
| clq1-cv260c1040l2g8.wcnf | O = 48 T = 9.16 |
O = 48 T = 9.16 |
| clq1-cv260c1040l2g9.wcnf | O = 50 T = 9.65 |
O = 50 T = 9.65 |
| clq1-c2mv70c350l3g1.wcnf | O = 54 T = 9.29 |
O = 54 T = 9.29 |
| clq1-c2mv70c350l3g10.wcnf | O = 43 T = 8.47 |
O = 43 T = 8.47 |
| clq1-c2mv70c350l3g11.wcnf | O = 48 T = 8.69 |
O = 48 T = 8.69 |
| clq1-c2mv70c350l3g12.wcnf | O = 51 T = 8.72 |
O = 51 T = 8.72 |
| clq1-c2mv70c350l3g13.wcnf | O = 46 T = 8.58 |
O = 46 T = 8.58 |
| clq1-c2mv70c350l3g14.wcnf | O = 50 T = 8.42 |
O = 50 T = 8.42 |
| clq1-c2mv70c350l3g15.wcnf | O = 51 T = 8.28 |
O = 51 T = 8.28 |
| clq1-c2mv70c350l3g16.wcnf | O = 51 T = 8.49 |
O = 51 T = 8.49 |
| clq1-c2mv70c350l3g17.wcnf | O = 45 T = 9.42 |
O = 45 T = 9.42 |
| clq1-c2mv70c350l3g18.wcnf | O = 51 T = 8.31 |
O = 51 T = 8.31 |
| clq1-c2mv70c350l3g19.wcnf | O = 55 T = 9.06 |
O = 55 T = 9.06 |
| clq1-c2mv70c350l3g2.wcnf | O = 48 T = 9.48 |
O = 48 T = 9.48 |
| clq1-c2mv70c350l3g20.wcnf | O = 50 T = 8.69 |
O = 50 T = 8.69 |
| clq1-c2mv70c350l3g21.wcnf | O = 40 T = 8.46 |
O = 40 T = 8.46 |
| clq1-c2mv70c350l3g22.wcnf | O = 50 T = 8.20 |
O = 50 T = 8.20 |
| clq1-c2mv70c350l3g23.wcnf | O = 52 T = 8.63 |
O = 52 T = 8.63 |
| clq1-c2mv70c350l3g24.wcnf | O = 50 T = 8.55 |
O = 50 T = 8.55 |
| clq1-c2mv70c350l3g25.wcnf | O = 45 T = 8.59 |
O = 45 T = 8.59 |
| clq1-c2mv70c350l3g26.wcnf | O = 50 T = 8.45 |
O = 50 T = 8.45 |
| clq1-c2mv70c350l3g27.wcnf | O = 56 T = 8.67 |
O = 56 T = 8.67 |
| clq1-c2mv70c350l3g28.wcnf | O = 51 T = 8.25 |
O = 51 T = 8.25 |
| clq1-c2mv70c350l3g29.wcnf | O = 55 T = 8.22 |
O = 55 T = 8.22 |
| clq1-c2mv70c350l3g3.wcnf | O = 49 T = 8.28 |
O = 49 T = 8.28 |
| clq1-c2mv70c350l3g30.wcnf | O = 53 T = 8.51 |
O = 53 T = 8.51 |
| clq1-c2mv70c350l3g4.wcnf | O = 47 T = 8.16 |
O = 47 T = 8.16 |
| clq1-c2mv70c350l3g5.wcnf | O = 46 T = 8.23 |
O = 46 T = 8.23 |
| clq1-c2mv70c350l3g6.wcnf | O = 49 T = 8.91 |
O = 49 T = 8.91 |
| clq1-c2mv70c350l3g7.wcnf | O = 54 T = 8.01 |
O = 54 T = 8.01 |
| clq1-c2mv70c350l3g8.wcnf | O = 48 T = 8.59 |
O = 48 T = 8.59 |
| clq1-c2mv70c350l3g9.wcnf | O = 50 T = 8.00 |
O = 50 T = 8.00 |
| clq1-c2mv80c400l3g1.wcnf | O = 56 T = 9.55 |
O = 56 T = 9.55 |
| clq1-c2mv80c400l3g10.wcnf | O = 55 T = 9.58 |
O = 55 T = 9.58 |
| clq1-c2mv80c400l3g11.wcnf | O = 57 T = 9.19 |
O = 57 T = 9.19 |
| clq1-c2mv80c400l3g12.wcnf | O = 65 T = 8.85 |
O = 65 T = 8.85 |
| clq1-c2mv80c400l3g13.wcnf | O = 60 T = 8.36 |
O = 60 T = 8.36 |
| clq1-c2mv80c400l3g14.wcnf | O = 59 T = 9.22 |
O = 59 T = 9.22 |
| clq1-c2mv80c400l3g15.wcnf | O = 59 T = 8.44 |
O = 59 T = 8.44 |
| clq1-c2mv80c400l3g16.wcnf | O = 61 T = 8.87 |
O = 61 T = 8.87 |
| clq1-c2mv80c400l3g17.wcnf | O = 66 T = 8.56 |
O = 66 T = 8.56 |
| clq1-c2mv80c400l3g18.wcnf | O = 58 T = 8.71 |
O = 58 T = 8.71 |
| clq1-c2mv80c400l3g19.wcnf | O = 55 T = 8.45 |
O = 55 T = 8.45 |
| clq1-c2mv80c400l3g2.wcnf | O = 65 T = 8.94 |
O = 65 T = 8.94 |
| clq1-c2mv80c400l3g20.wcnf | O = 56 T = 7.58 |
O = 56 T = 7.58 |
| clq1-c2mv80c400l3g21.wcnf | O = 65 T = 8.00 |
O = 65 T = 8.00 |
| clq1-c2mv80c400l3g22.wcnf | O = 64 T = 9.04 |
O = 64 T = 9.04 |
| clq1-c2mv80c400l3g23.wcnf | O = 56 T = 8.39 |
O = 56 T = 8.39 |
| clq1-c2mv80c400l3g24.wcnf | O = 51 T = 8.15 |
O = 51 T = 8.15 |
| clq1-c2mv80c400l3g25.wcnf | O = 55 T = 8.35 |
O = 55 T = 8.35 |
| clq1-c2mv80c400l3g26.wcnf | O = 59 T = 8.69 |
O = 59 T = 8.69 |
| clq1-c2mv80c400l3g27.wcnf | O = 59 T = 8.60 |
O = 59 T = 8.60 |
| clq1-c2mv80c400l3g28.wcnf | O = 57 T = 7.88 |
O = 57 T = 7.88 |
| clq1-c2mv80c400l3g29.wcnf | O = 63 T = 8.49 |
O = 63 T = 8.49 |
| clq1-c2mv80c400l3g3.wcnf | O = 63 T = 8.14 |
O = 63 T = 8.14 |
| clq1-c2mv80c400l3g30.wcnf | O = 59 T = 8.42 |
O = 59 T = 8.42 |
| clq1-c2mv80c400l3g4.wcnf | O = 61 T = 9.35 |
O = 61 T = 9.35 |
| clq1-c2mv80c400l3g5.wcnf | O = 62 T = 8.31 |
O = 62 T = 8.31 |
| clq1-c2mv80c400l3g6.wcnf | O = 59 T = 9.18 |
O = 59 T = 9.18 |
| clq1-c2mv80c400l3g7.wcnf | O = 64 T = 9.08 |
O = 64 T = 9.08 |
| clq1-c2mv80c400l3g8.wcnf | O = 65 T = 8.95 |
O = 65 T = 8.95 |
| clq1-c2mv80c400l3g9.wcnf | O = 59 T = 8.15 |
O = 59 T = 8.15 |
| file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf | O = N/A T = TO |
O = 4802 T = 8.82 |
| file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C600_H100_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C600_H100_1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C600_H100_2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C600_H100_3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C600_H100_4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C600_H100_5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C600_H100_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C600_H100_7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C600_H100_8.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C600_H100_9.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C700_H100_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C700_H100_1.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C700_H100_2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C700_H100_3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C700_H100_4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C700_H100_5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C700_H100_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C700_H100_7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C700_H100_8.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C700_H100_9.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C800_H100_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C800_H100_1.wcnf | O = 21 T = 8.21 |
O = 21 T = 8.21 |
| file_rpms_wcnf_L3_V100_C800_H100_2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C800_H100_3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C800_H100_4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C800_H100_5.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C800_H100_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C800_H100_7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rpms_wcnf_L3_V100_C800_H100_8.wcnf | O = 25 T = 7.33 |
O = 25 T = 7.33 |
| file_rpms_wcnf_L3_V100_C800_H100_9.wcnf | O = N/A T = TO |
O = N/A T = TO |