| 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 |
|---|---|---|
| AES1-30-1.wcnf | O = 1 T = 8.12 |
O = 1 T = 8.12 |
| AES1-30-2.wcnf | O = 1 T = 8.07 |
O = 1 T = 8.07 |
| AES1-30-3.wcnf | O = 1 T = 8.16 |
O = 1 T = 8.16 |
| AES1-30-4.wcnf | O = 1 T = 8.15 |
O = 1 T = 8.15 |
| AES1-30-5.wcnf | O = 1 T = 8.16 |
O = 1 T = 8.16 |
| AES1-40-10.wcnf | O = 1 T = 8.28 |
O = 1 T = 8.28 |
| AES1-40-6.wcnf | O = 1 T = 8.13 |
O = 1 T = 8.13 |
| AES1-40-7.wcnf | O = 1 T = 8.11 |
O = 1 T = 8.11 |
| AES1-40-8.wcnf | O = 1 T = 8.18 |
O = 1 T = 8.18 |
| AES1-40-9.wcnf | O = 1 T = 8.10 |
O = 1 T = 8.10 |
| AES1-50-11.wcnf | O = 1 T = 8.34 |
O = 1 T = 8.34 |
| AES1-50-12.wcnf | O = 1 T = 8.31 |
O = 1 T = 8.31 |
| AES1-50-13.wcnf | O = 1 T = 8.21 |
O = 1 T = 8.21 |
| AES1-50-14.wcnf | O = 1 T = 8.19 |
O = 1 T = 8.19 |
| AES1-50-15.wcnf | O = 1 T = 8.22 |
O = 1 T = 8.22 |
| AES1-60-16.wcnf | O = 1 T = 7.89 |
O = 1 T = 7.89 |
| AES1-60-17.wcnf | O = 1 T = 8.19 |
O = 1 T = 8.19 |
| AES1-60-18.wcnf | O = 1 T = 8.44 |
O = 1 T = 8.44 |
| AES1-60-19.wcnf | O = 1 T = 8.33 |
O = 1 T = 8.33 |
| AES1-60-20.wcnf | O = 1 T = 8.26 |
O = 1 T = 8.26 |
| AES1-70-21.wcnf | O = 1 T = 8.80 |
O = 1 T = 8.80 |
| AES1-70-22.wcnf | O = 1 T = 9.08 |
O = 1 T = 9.08 |
| AES1-70-23.wcnf | O = 1 T = 32.08 |
O = 1 T = 32.08 |
| AES1-70-24.wcnf | O = 1 T = 9.67 |
O = 1 T = 9.67 |
| AES1-70-25.wcnf | O = 1 T = 10.39 |
O = 1 T = 10.39 |
| AES1-72-26.wcnf | O = 1 T = 9.69 |
O = 1 T = 9.69 |
| AES1-72-27.wcnf | O = 1 T = 17.09 |
O = 1 T = 17.09 |
| AES1-72-28.wcnf | O = 1 T = 10.92 |
O = 1 T = 10.92 |
| AES1-72-29.wcnf | O = 1 T = 9.40 |
O = 1 T = 9.40 |
| AES1-72-30.wcnf | O = 1 T = 20.62 |
O = 1 T = 20.62 |
| AES1-74-31.wcnf | O = 1 T = 15.89 |
O = 1 T = 15.89 |
| AES1-74-32.wcnf | O = 1 T = 74.50 |
O = 1 T = 74.50 |
| AES1-74-33.wcnf | O = 1 T = 22.78 |
O = 1 T = 22.78 |
| AES1-74-34.wcnf | O = 1 T = 8.97 |
O = 1 T = 8.97 |
| AES1-74-35.wcnf | O = 1 T = 12.97 |
O = 1 T = 12.97 |
| AES1-76-36.wcnf | O = N/A T = TO |
O = N/A T = TO |
| AES1-76-37.wcnf | O = 1 T = 32.49 |
O = 1 T = 32.49 |
| AES1-76-38.wcnf | O = 1 T = 141.72 |
O = 1 T = 141.72 |
| AES1-76-39.wcnf | O = 1 T = 18.19 |
O = 1 T = 18.19 |
| AES1-76-40.wcnf | O = 1 T = 42.39 |
O = 1 T = 42.39 |
| AES2-30-41.wcnf | O = 2 T = 8.13 |
O = 2 T = 8.13 |
| AES2-30-42.wcnf | O = 2 T = 8.15 |
O = 2 T = 8.15 |
| AES2-30-43.wcnf | O = 2 T = 8.17 |
O = 2 T = 8.17 |
| AES2-30-44.wcnf | O = 2 T = 8.14 |
O = 2 T = 8.14 |
| AES2-30-45.wcnf | O = 2 T = 8.17 |
O = 2 T = 8.17 |
| AES2-40-46.wcnf | O = 2 T = 8.15 |
O = 2 T = 8.15 |
| AES2-40-47.wcnf | O = 2 T = 8.15 |
O = 2 T = 8.15 |
| AES2-40-48.wcnf | O = 2 T = 8.12 |
O = 2 T = 8.12 |
| AES2-40-49.wcnf | O = 2 T = 8.14 |
O = 2 T = 8.14 |
| AES2-40-50.wcnf | O = 2 T = 8.12 |
O = 2 T = 8.12 |
| AES2-50-51.wcnf | O = 2 T = 8.25 |
O = 2 T = 8.25 |
| AES2-50-52.wcnf | O = 2 T = 8.24 |
O = 2 T = 8.24 |
| AES2-50-53.wcnf | O = 2 T = 8.27 |
O = 2 T = 8.27 |
| AES2-50-54.wcnf | O = 2 T = 8.15 |
O = 2 T = 8.15 |
| AES2-50-55.wcnf | O = 2 T = 8.17 |
O = 2 T = 8.17 |
| AES2-60-56.wcnf | O = 2 T = 10.44 |
O = 2 T = 10.44 |
| AES2-60-57.wcnf | O = 2 T = 8.59 |
O = 2 T = 8.59 |
| AES2-60-58.wcnf | O = 2 T = 8.96 |
O = 2 T = 8.96 |
| AES2-60-59.wcnf | O = 2 T = 8.23 |
O = 2 T = 8.23 |
| AES2-60-60.wcnf | O = 2 T = 9.70 |
O = 2 T = 9.70 |
| AES2-70-61.wcnf | O = 2 T = 15.16 |
O = 2 T = 15.16 |
| AES2-70-62.wcnf | O = 2 T = 47.56 |
O = 2 T = 47.56 |
| AES2-70-63.wcnf | O = 2 T = 12.02 |
O = 2 T = 12.02 |
| AES2-70-64.wcnf | O = 2 T = 19.78 |
O = 2 T = 19.78 |
| AES2-70-65.wcnf | O = 2 T = 49.62 |
O = 2 T = 49.62 |
| AES2-72-66.wcnf | O = 2 T = 70.87 |
O = 2 T = 70.87 |
| AES2-72-67.wcnf | O = N/A T = TO |
O = N/A T = TO |
| AES2-72-68.wcnf | O = 2 T = 21.02 |
O = 2 T = 21.02 |
| AES2-72-69.wcnf | O = 2 T = 18.93 |
O = 2 T = 18.93 |
| AES2-72-70.wcnf | O = 2 T = 9.50 |
O = 2 T = 9.50 |
| AES2-74-11.wcnf | O = 2 T = 32.28 |
O = 2 T = 32.28 |
| AES2-74-71.wcnf | O = 2 T = 101.43 |
O = 2 T = 101.43 |
| AES2-74-72.wcnf | O = 2 T = 12.54 |
O = 2 T = 12.54 |
| AES2-74-73.wcnf | O = 2 T = 10.54 |
O = 2 T = 10.54 |
| AES2-74-74.wcnf | O = 2 T = 58.13 |
O = 2 T = 58.13 |
| AES2-74-75.wcnf | O = 2 T = 15.48 |
O = 2 T = 15.48 |
| causal_n5_i10_N10000_uai13_constant_int.wcnf | O = 8 T = 7.77 |
O = 8 T = 7.77 |
| causal_n5_i10_N500_uai13_constant_int.wcnf | O = 8 T = 7.74 |
O = 8 T = 7.74 |
| causal_n5_i2_N500_uai13_harddeps_int.wcnf | O = 5 T = 8.56 |
O = 5 T = 8.56 |
| causal_n5_i4_N500_uai13_harddeps_int.wcnf | O = 4 T = 8.15 |
O = 4 T = 8.15 |
| causal_n5_i5_N10000_uai13_constant_int.wcnf | O = 5 T = 8.63 |
O = 5 T = 8.63 |
| causal_n5_i5_N1000_uai13_constant_int.wcnf | O = 5 T = 12.73 |
O = 5 T = 12.73 |
| causal_n5_i5_N500_uai13_constant_int.wcnf | O = 5 T = 8.99 |
O = 5 T = 8.99 |
| causal_n5_i7_N10000_uai13_constant_int.wcnf | O = 11 T = 14.44 |
O = 11 T = 14.44 |
| causal_n5_i7_N10000_uai13_harddeps_int.wcnf | O = 17 T = 8.72 |
O = 17 T = 8.72 |
| causal_n5_i7_N1000_uai13_constant_int.wcnf | O = 11 T = 19.87 |
O = 11 T = 19.87 |
| causal_n5_i7_N1000_uai13_harddeps_int.wcnf | O = 17 T = 9.79 |
O = 17 T = 9.79 |
| causal_n5_i7_N500_uai13_constant_int.wcnf | O = 11 T = 11.73 |
O = 11 T = 11.73 |
| causal_n5_i7_N500_uai13_harddeps_int.wcnf | O = 17 T = 7.83 |
O = 17 T = 7.83 |
| causal_n5_i8_N10000_uai13_harddeps_int.wcnf | O = 18 T = 8.35 |
O = 18 T = 8.35 |
| causal_n5_i8_N1000_uai13_harddeps_int.wcnf | O = 18 T = 8.40 |
O = 18 T = 8.40 |
| causal_n5_i8_N500_uai13_harddeps_int.wcnf | O = 18 T = 8.53 |
O = 18 T = 8.53 |
| causal_n5_i9_N10000_uai13_constant_int.wcnf | O = 12 T = 9.91 |
O = 12 T = 9.91 |
| causal_n5_i9_N10000_uai13_harddeps_int.wcnf | O = 17 T = 7.72 |
O = 17 T = 7.72 |
| causal_n5_i9_N1000_uai13_constant_int.wcnf | O = 12 T = 8.58 |
O = 12 T = 8.58 |
| causal_n5_i9_N1000_uai13_harddeps_int.wcnf | O = 17 T = 7.85 |
O = 17 T = 7.85 |
| causal_n5_i9_N500_uai13_constant_int.wcnf | O = 12 T = 8.51 |
O = 12 T = 8.51 |
| causal_n5_i9_N500_uai13_harddeps_int.wcnf | O = 17 T = 7.75 |
O = 17 T = 7.75 |
| causal_n6_i10_N1000_uai14_constant_int.wcnf | O = 28 T = 7.68 |
O = 28 T = 7.68 |
| causal_n6_i10_N500_uai14_constant_int.wcnf | O = 28 T = 8.09 |
O = 28 T = 8.09 |
| causal_n6_i10_N500_uai14_harddeps_int.wcnf | O = 33 T = 7.51 |
O = 33 T = 7.51 |
| causal_n6_i1_N10000_uai14_constant_int.wcnf | O = 19 T = 8.61 |
O = 19 T = 8.61 |
| causal_n6_i1_N500_uai13_harddeps_int.wcnf | O = 19 T = 54.54 |
O = 19 T = 54.54 |
| causal_n6_i2_N10000_uai14_harddeps_int.wcnf | O = 48 T = 12.22 |
O = 48 T = 12.22 |
| causal_n6_i2_N1000_uai13_constant_int.wcnf | O = 15 T = 187.09 |
O = 15 T = 187.09 |
| causal_n6_i2_N1000_uai14_harddeps_int.wcnf | O = 48 T = 15.31 |
O = 48 T = 15.31 |
| causal_n6_i2_N500_uai14_harddeps_int.wcnf | O = 48 T = 11.66 |
O = 48 T = 11.66 |
| causal_n6_i3_N10000_uai14_constant_int.wcnf | O = 22 T = 10.24 |
O = 22 T = 10.24 |
| causal_n6_i3_N10000_uai14_harddeps_int.wcnf | O = 56 T = 9.50 |
O = 56 T = 9.50 |
| causal_n6_i3_N1000_uai14_harddeps_int.wcnf | O = 56 T = 9.74 |
O = 56 T = 9.74 |
| causal_n6_i3_N500_uai14_harddeps_int.wcnf | O = 56 T = 8.83 |
O = 56 T = 8.83 |
| causal_n6_i4_N1000_uai14_constant_int.wcnf | O = 17 T = 16.33 |
O = 17 T = 16.33 |
| causal_n6_i4_N500_uai14_constant_int.wcnf | O = 17 T = 8.84 |
O = 17 T = 8.84 |
| causal_n6_i5_N10000_uai13_constant_int.wcnf | O = 4 T = 10.25 |
O = 4 T = 10.25 |
| causal_n6_i5_N10000_uai13_harddeps_int.wcnf | O = 4 T = 13.81 |
O = 4 T = 13.81 |
| causal_n6_i5_N1000_uai13_constant_int.wcnf | O = 4 T = 10.43 |
O = 4 T = 10.43 |
| causal_n6_i5_N1000_uai13_harddeps_int.wcnf | O = 4 T = 9.86 |
O = 4 T = 9.86 |
| causal_n6_i5_N500_uai13_constant_int.wcnf | O = 4 T = 17.57 |
O = 4 T = 17.57 |
| causal_n6_i5_N500_uai13_harddeps_int.wcnf | O = 4 T = 9.94 |
O = 4 T = 9.94 |
| causal_n6_i6_N1000_uai14_constant_int.wcnf | O = 19 T = 16.68 |
O = 19 T = 16.68 |
| causal_n6_i7_N1000_uai14_harddeps_int.wcnf | O = 49 T = 8.54 |
O = 49 T = 8.54 |
| causal_n6_i8_N10000_uai14_constant_int.wcnf | O = 26 T = 8.64 |
O = 26 T = 8.64 |
| causal_n6_i8_N1000_uai14_constant_int.wcnf | O = 26 T = 9.55 |
O = 26 T = 9.55 |
| causal_n6_i9_N10000_uai14_constant_int.wcnf | O = 28 T = 31.95 |
O = 28 T = 31.95 |
| causal_n6_i9_N10000_uai14_harddeps_int.wcnf | O = 34 T = 10.06 |
O = 34 T = 10.06 |
| causal_n6_i9_N1000_uai14_constant_int.wcnf | O = 28 T = 14.85 |
O = 28 T = 14.85 |
| causal_n6_i9_N500_uai14_constant_int.wcnf | O = 28 T = 17.58 |
O = 28 T = 17.58 |
| causal_n7_i10_N10000_uai14_constant_int.wcnf | O = 42 T = 10.55 |
O = 42 T = 10.55 |
| causal_n7_i10_N1000_uai14_constant_int.wcnf | O = 42 T = 9.04 |
O = 42 T = 9.04 |
| causal_n7_i10_N500_uai14_constant_int.wcnf | O = 42 T = 16.62 |
O = 42 T = 16.62 |
| causal_n7_i2_N10000_uai14_harddeps_int.wcnf | O = 63 T = 17.22 |
O = 63 T = 17.22 |
| causal_n7_i2_N500_uai14_harddeps_int.wcnf | O = 63 T = 16.47 |
O = 63 T = 16.47 |
| causal_n7_i4_N10000_uai14_harddeps_int.wcnf | O = 105 T = 15.17 |
O = 105 T = 15.17 |
| causal_n7_i4_N1000_uai14_constant_int.wcnf | O = 181 T = 11.61 |
O = 181 T = 11.61 |
| causal_n7_i4_N1000_uai14_harddeps_int.wcnf | O = 113 T = 8.40 |
O = 113 T = 8.40 |
| causal_n7_i4_N500_uai14_constant_int.wcnf | O = 159 T = 13.82 |
O = 159 T = 13.82 |
| causal_n7_i4_N500_uai14_harddeps_int.wcnf | O = 113 T = 19.77 |
O = 113 T = 19.77 |
| causal_n7_i5_N10000_uai14_constant_int.wcnf | O = 48 T = 30.44 |
O = 48 T = 30.44 |
| causal_n7_i5_N1000_uai14_constant_int.wcnf | O = 48 T = 27.52 |
O = 48 T = 27.52 |
| causal_n7_i5_N500_uai14_constant_int.wcnf | O = 48 T = 39.98 |
O = 48 T = 39.98 |
| causal_n7_i6_N10000_uai14_harddeps_int.wcnf | O = 119 T = 131.18 |
O = 119 T = 131.18 |
| causal_n7_i6_N1000_uai14_harddeps_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i6_N500_uai14_harddeps_int.wcnf | O = 120 T = 7.71 |
O = 120 T = 7.71 |
| causal_n7_i7_N10000_uai14_harddeps_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i7_N1000_uai14_harddeps_int.wcnf | O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i8_N10000_uai14_constant_int.wcnf | O = 24 T = 7.92 |
O = 24 T = 7.92 |
| causal_n7_i8_N10000_uai14_harddeps_int.wcnf | O = 94 T = 14.50 |
O = 94 T = 14.50 |
| causal_n7_i8_N1000_uai14_constant_int.wcnf | O = 24 T = 7.73 |
O = 24 T = 7.73 |
| causal_n7_i8_N1000_uai14_harddeps_int.wcnf | O = 94 T = 12.07 |
O = 94 T = 12.07 |
| causal_n7_i8_N500_uai14_constant_int.wcnf | O = 24 T = 8.20 |
O = 24 T = 8.20 |
| causal_n7_i8_N500_uai14_harddeps_int.wcnf | O = 94 T = 10.57 |
O = 94 T = 10.57 |
| causal_n7_i9_N10000_uai14_constant_int.wcnf | O = 46 T = 78.44 |
O = 46 T = 78.44 |
| causal_n7_i9_N10000_uai14_harddeps_int.wcnf | O = 82 T = 9.24 |
O = 82 T = 9.24 |
| causal_n7_i9_N1000_uai14_constant_int.wcnf | O = 46 T = 41.47 |
O = 46 T = 41.47 |
| causal_n7_i9_N1000_uai14_harddeps_int.wcnf | O = 82 T = 9.04 |
O = 82 T = 9.04 |
| causal_n7_i9_N500_uai14_constant_int.wcnf | O = 46 T = 22.57 |
O = 46 T = 22.57 |
| causal_n7_i9_N500_uai14_harddeps_int.wcnf | O = 82 T = 8.36 |
O = 82 T = 8.36 |
| s00641_nan_explicit_0_0.wcnf | O = 52 T = 7.41 |
O = 52 T = 7.41 |
| s00641_nan_explicit_1_0.wcnf | O = 60 T = 7.38 |
O = 60 T = 7.38 |
| s00641_nan_explicit_2_0.wcnf | O = 60 T = 7.43 |
O = 60 T = 7.43 |
| s00641_nan_explicit_3_0.wcnf | O = 58 T = 7.42 |
O = 58 T = 7.42 |
| s00641_nan_explicit_4_0.wcnf | O = 65 T = 7.39 |
O = 65 T = 7.39 |
| s00641_nan_explicit_5_0.wcnf | O = 67 T = 7.40 |
O = 67 T = 7.40 |
| s00641_nan_explicit_6_0.wcnf | O = 67 T = 7.39 |
O = 67 T = 7.39 |
| s00641_nan_explicit_7_0.wcnf | O = 67 T = 7.37 |
O = 67 T = 7.37 |
| s00641_nan_explicit_8_0.wcnf | O = 69 T = 7.42 |
O = 69 T = 7.42 |
| s00641_nan_explicit_9_0.wcnf | O = 68 T = 7.43 |
O = 68 T = 7.43 |
| s01423_nan_explicit_0_0.wcnf | O = 63 T = 7.54 |
O = 63 T = 7.54 |
| s01423_nan_explicit_1_0.wcnf | O = 63 T = 7.40 |
O = 63 T = 7.40 |
| s01423_nan_explicit_2_0.wcnf | O = 60 T = 7.60 |
O = 60 T = 7.60 |
| s01423_nan_explicit_3_0.wcnf | O = 69 T = 7.56 |
O = 69 T = 7.56 |
| s01423_nan_explicit_4_0.wcnf | O = 56 T = 7.54 |
O = 56 T = 7.54 |
| s01423_nan_explicit_5_0.wcnf | O = 59 T = 7.55 |
O = 59 T = 7.55 |
| s01423_nan_explicit_6_0.wcnf | O = 64 T = 7.44 |
O = 64 T = 7.44 |
| s01423_nan_explicit_7_0.wcnf | O = 65 T = 7.68 |
O = 65 T = 7.68 |
| s01423_nan_explicit_8_0.wcnf | O = 63 T = 7.51 |
O = 63 T = 7.51 |
| s01423_nan_explicit_9_0.wcnf | O = 70 T = 7.50 |
O = 70 T = 7.50 |
| s38417_nan_explicit_0_0.wcnf | O = 60 T = 9.22 |
O = 60 T = 9.22 |
| s38417_nan_explicit_10_0.wcnf | O = 65 T = 7.90 |
O = 65 T = 7.90 |
| s38417_nan_explicit_11_0.wcnf | O = 68 T = 7.82 |
O = 68 T = 7.82 |
| s38417_nan_explicit_12_0.wcnf | O = 70 T = 7.85 |
O = 70 T = 7.85 |
| s38417_nan_explicit_13_0.wcnf | O = 67 T = 7.94 |
O = 67 T = 7.94 |
| s38417_nan_explicit_14_0.wcnf | O = 55 T = 7.75 |
O = 55 T = 7.75 |
| s38417_nan_explicit_15_0.wcnf | O = 65 T = 7.71 |
O = 65 T = 7.71 |
| s38417_nan_explicit_16_0.wcnf | O = 69 T = 7.75 |
O = 69 T = 7.75 |
| s38417_nan_explicit_17_0.wcnf | O = 61 T = 7.73 |
O = 61 T = 7.73 |
| s38417_nan_explicit_18_0.wcnf | O = 63 T = 7.81 |
O = 63 T = 7.81 |
| s38417_nan_explicit_19_0.wcnf | O = 70 T = 7.73 |
O = 70 T = 7.73 |
| s38417_nan_explicit_1_0.wcnf | O = 58 T = 8.69 |
O = 58 T = 8.69 |
| s38417_nan_explicit_20_0.wcnf | O = 64 T = 7.72 |
O = 64 T = 7.72 |
| s38417_nan_explicit_21_0.wcnf | O = 65 T = 7.45 |
O = 65 T = 7.45 |
| s38417_nan_explicit_22_0.wcnf | O = 55 T = 7.60 |
O = 55 T = 7.60 |
| s38417_nan_explicit_23_0.wcnf | O = 68 T = 7.70 |
O = 68 T = 7.70 |
| s38417_nan_explicit_24_0.wcnf | O = 63 T = 7.68 |
O = 63 T = 7.68 |
| s38417_nan_explicit_25_0.wcnf | O = 69 T = 7.67 |
O = 69 T = 7.67 |
| s38417_nan_explicit_26_0.wcnf | O = 64 T = 7.57 |
O = 64 T = 7.57 |
| s38417_nan_explicit_27_0.wcnf | O = 67 T = 7.67 |
O = 67 T = 7.67 |
| s38417_nan_explicit_28_0.wcnf | O = 63 T = 7.70 |
O = 63 T = 7.70 |
| s38417_nan_explicit_29_0.wcnf | O = 69 T = 7.72 |
O = 69 T = 7.72 |
| s38417_nan_explicit_2_0.wcnf | O = 64 T = 8.59 |
O = 64 T = 8.59 |
| s38417_nan_explicit_3_0.wcnf | O = 65 T = 8.14 |
O = 65 T = 8.14 |
| s38417_nan_explicit_4_0.wcnf | O = 58 T = 8.29 |
O = 58 T = 8.29 |
| s38417_nan_explicit_5_0.wcnf | O = 69 T = 8.16 |
O = 69 T = 8.16 |
| s38417_nan_explicit_6_0.wcnf | O = 61 T = 8.09 |
O = 61 T = 8.09 |
| s38417_nan_explicit_7_0.wcnf | O = 72 T = 7.93 |
O = 72 T = 7.93 |
| s38417_nan_explicit_8_0.wcnf | O = 70 T = 8.02 |
O = 70 T = 8.02 |
| s38417_nan_explicit_9_0.wcnf | O = 67 T = 7.76 |
O = 67 T = 7.76 |
| s38584_nan_explicit_0_0.wcnf | O = 135 T = 109.45 |
O = 135 T = 109.45 |
| s38584_nan_explicit_10_0.wcnf | O = 246 T = 29.65 |
O = 246 T = 29.65 |
| s38584_nan_explicit_11_0.wcnf | O = 193 T = 149.68 |
O = 193 T = 149.68 |
| s38584_nan_explicit_12_0.wcnf | O = 191 T = 89.84 |
O = 191 T = 89.84 |
| s38584_nan_explicit_13_0.wcnf | O = 192 T = 28.78 |
O = 192 T = 28.78 |
| s38584_nan_explicit_14_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| s38584_nan_explicit_15_0.wcnf | O = 209 T = 75.85 |
O = 209 T = 75.85 |
| s38584_nan_explicit_16_0.wcnf | O = 188 T = 111.07 |
O = 188 T = 111.07 |
| s38584_nan_explicit_17_0.wcnf | O = 185 T = 38.95 |
O = 185 T = 38.95 |
| s38584_nan_explicit_18_0.wcnf | O = 186 T = 49.75 |
O = 186 T = 49.75 |
| s38584_nan_explicit_19_0.wcnf | O = 198 T = 66.46 |
O = 198 T = 66.46 |
| s38584_nan_explicit_1_0.wcnf | O = 150 T = 142.40 |
O = 150 T = 142.40 |
| s38584_nan_explicit_20_0.wcnf | O = 194 T = 92.62 |
O = 194 T = 92.62 |
| s38584_nan_explicit_21_0.wcnf | O = 184 T = 12.90 |
O = 184 T = 12.90 |
| s38584_nan_explicit_22_0.wcnf | O = 179 T = 28.84 |
O = 179 T = 28.84 |
| s38584_nan_explicit_23_0.wcnf | O = 179 T = 84.49 |
O = 179 T = 84.49 |
| s38584_nan_explicit_24_0.wcnf | O = 177 T = 31.45 |
O = 177 T = 31.45 |
| s38584_nan_explicit_25_0.wcnf | O = 188 T = 23.22 |
O = 188 T = 23.22 |
| s38584_nan_explicit_26_0.wcnf | O = 169 T = 22.88 |
O = 169 T = 22.88 |
| s38584_nan_explicit_27_0.wcnf | O = 203 T = 59.95 |
O = 203 T = 59.95 |
| s38584_nan_explicit_28_0.wcnf | O = 193 T = 40.88 |
O = 193 T = 40.88 |
| s38584_nan_explicit_29_0.wcnf | O = 200 T = 40.79 |
O = 200 T = 40.79 |
| s38584_nan_explicit_2_0.wcnf | O = 158 T = 138.04 |
O = 158 T = 138.04 |
| s38584_nan_explicit_30_0.wcnf | O = 200 T = 47.16 |
O = 200 T = 47.16 |
| s38584_nan_explicit_31_0.wcnf | O = 190 T = 59.93 |
O = 190 T = 59.93 |
| s38584_nan_explicit_32_0.wcnf | O = 200 T = 40.47 |
O = 200 T = 40.47 |
| s38584_nan_explicit_33_0.wcnf | O = 189 T = 25.04 |
O = 189 T = 25.04 |
| s38584_nan_explicit_34_0.wcnf | O = 189 T = 25.23 |
O = 189 T = 25.23 |
| s38584_nan_explicit_35_0.wcnf | O = 183 T = 40.23 |
O = 183 T = 40.23 |
| s38584_nan_explicit_36_0.wcnf | O = 183 T = 28.87 |
O = 183 T = 28.87 |
| s38584_nan_explicit_37_0.wcnf | O = 181 T = 18.26 |
O = 181 T = 18.26 |
| s38584_nan_explicit_38_0.wcnf | O = 189 T = 15.75 |
O = 189 T = 15.75 |
| s38584_nan_explicit_39_0.wcnf | O = 198 T = 42.54 |
O = 198 T = 42.54 |
| s38584_nan_explicit_3_0.wcnf | O = 162 T = 138.90 |
O = 162 T = 138.90 |
| s38584_nan_explicit_40_0.wcnf | O = 191 T = 24.50 |
O = 191 T = 24.50 |
| s38584_nan_explicit_41_0.wcnf | O = 163 T = 21.52 |
O = 163 T = 21.52 |
| s38584_nan_explicit_42_0.wcnf | O = 193 T = 21.03 |
O = 193 T = 21.03 |
| s38584_nan_explicit_43_0.wcnf | O = 178 T = 22.07 |
O = 178 T = 22.07 |
| s38584_nan_explicit_44_0.wcnf | O = 168 T = 22.40 |
O = 168 T = 22.40 |
| s38584_nan_explicit_45_0.wcnf | O = 168 T = 18.07 |
O = 168 T = 18.07 |
| s38584_nan_explicit_46_0.wcnf | O = 172 T = 20.72 |
O = 172 T = 20.72 |
| s38584_nan_explicit_47_0.wcnf | O = 154 T = 16.96 |
O = 154 T = 16.96 |
| s38584_nan_explicit_48_0.wcnf | O = 164 T = 33.91 |
O = 164 T = 33.91 |
| s38584_nan_explicit_49_0.wcnf | O = 166 T = 19.10 |
O = 166 T = 19.10 |
| s38584_nan_explicit_4_0.wcnf | O = 218 T = 9.54 |
O = 218 T = 9.54 |
| s38584_nan_explicit_5_0.wcnf | O = 204 T = 9.26 |
O = 204 T = 9.26 |
| s38584_nan_explicit_6_0.wcnf | O = 205 T = 264.67 |
O = 205 T = 264.67 |
| s38584_nan_explicit_7_0.wcnf | O = 191 T = 40.85 |
O = 191 T = 40.85 |
| s38584_nan_explicit_8_0.wcnf | O = 209 T = 121.78 |
O = 209 T = 121.78 |
| s38584_nan_explicit_9_0.wcnf | O = 219 T = 161.18 |
O = 219 T = 161.18 |
| frb20-11-1.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb20-11-2.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb20-11-3.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb20-11-4.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb20-11-5.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb25-13-1.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb25-13-2.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb25-13-3.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb25-13-4.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb25-13-5.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb30-15-1.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb30-15-2.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb30-15-3.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb30-15-4.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb30-15-5.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb35-17-1.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb35-17-2.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb35-17-3.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb35-17-4.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb35-17-5.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb40-19-1.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb40-19-2.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb40-19-3.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb40-19-4.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| frb40-19-5.partial.wcnf | O = N/A T = TO |
O = N/A T = TO |
| ft10-808-1090.wcnf | O = 122 T = 119.72 |
O = 122 T = 119.72 |
| la04-567-0696.wcnf | O = 23 T = 10.58 |
O = 23 T = 10.58 |
| orb08-894-1058.wcnf | O = 5 T = 28.51 |
O = 5 T = 28.51 |
| max_clq_150-0-447-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-0-447-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-0-447-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-0-447-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-1-894-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-1-894-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-1-894-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-1-894-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-10-4917-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-10-4917-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-10-4917-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-10-4917-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-11-5364-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-11-5364-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-11-5364-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-11-5364-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-12-5811-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-12-5811-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-12-5811-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-12-5811-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-13-6258-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-13-6258-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-13-6258-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-13-6258-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-14-6705-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-14-6705-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-14-6705-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-14-6705-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-15-7152-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-15-7152-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-15-7152-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-15-7152-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-16-7599-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-16-7599-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-16-7599-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-16-7599-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-17-8046-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-17-8046-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-17-8046-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-17-8046-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-18-8493-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-18-8493-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-18-8493-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-18-8493-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-19-8940-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-19-8940-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-19-8940-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-19-8940-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-2-1341-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-2-1341-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-2-1341-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-2-1341-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-20-9387-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-20-9387-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-20-9387-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-20-9387-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-21-9834-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-21-9834-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-21-9834-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-21-9834-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-22-10281-1.clq.wcnf | O = 107 T = 7.88 |
O = 107 T = 7.88 |
| max_clq_150-22-10281-2.clq.wcnf | O = 107 T = 8.08 |
O = 107 T = 8.08 |
| max_clq_150-22-10281-3.clq.wcnf | O = 108 T = 7.59 |
O = 108 T = 7.59 |
| max_clq_150-22-10281-4.clq.wcnf | O = 108 T = 7.75 |
O = 108 T = 7.75 |
| max_clq_150-23-10728-1.clq.wcnf | O = 91 T = 7.86 |
O = 91 T = 7.86 |
| max_clq_150-23-10728-2.clq.wcnf | O = 89 T = 7.68 |
O = 89 T = 7.68 |
| max_clq_150-23-10728-3.clq.wcnf | O = 91 T = 8.06 |
O = 91 T = 8.06 |
| max_clq_150-23-10728-4.clq.wcnf | O = 90 T = 7.69 |
O = 90 T = 7.69 |
| max_clq_150-3-1788-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-3-1788-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-3-1788-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-3-1788-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-4-2235-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-4-2235-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-4-2235-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-4-2235-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-5-2682-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-5-2682-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-5-2682-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-5-2682-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-6-3129-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-6-3129-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-6-3129-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-6-3129-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-7-3576-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-7-3576-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-7-3576-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-7-3576-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-8-4023-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-8-4023-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-8-4023-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-8-4023-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-9-4470-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-9-4470-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-9-4470-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| max_clq_150-9-4470-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| MANN_a27.clq.wcnf | O = 252 T = 10.03 |
O = 252 T = 10.03 |
| MANN_a45.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| MANN_a81.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| MANN_a9.clq.wcnf | O = 29 T = 7.26 |
O = 29 T = 7.26 |
| brock200_1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock200_2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock200_3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock200_4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock400_1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock400_2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock400_3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock400_4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock800_1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock800_2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock800_3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| brock800_4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| c-fat200-1.clq.wcnf | O = 188 T = 7.04 |
O = 188 T = 7.04 |
| c-fat200-2.clq.wcnf | O = 176 T = 7.41 |
O = 176 T = 7.41 |
| c-fat200-5.clq.wcnf | O = 142 T = 7.34 |
O = 142 T = 7.34 |
| c-fat500-1.clq.wcnf | O = 486 T = 7.68 |
O = 486 T = 7.68 |
| c-fat500-10.clq.wcnf | O = 374 T = 7.51 |
O = 374 T = 7.51 |
| c-fat500-2.clq.wcnf | O = 474 T = 7.50 |
O = 474 T = 7.50 |
| c-fat500-5.clq.wcnf | O = 436 T = 7.57 |
O = 436 T = 7.57 |
| hamming10-2.clq.wcnf | O = 512 T = 7.42 |
O = 512 T = 7.42 |
| hamming10-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| hamming6-2.clq.wcnf | O = 32 T = 6.96 |
O = 32 T = 6.96 |
| hamming6-4.clq.wcnf | O = 60 T = 7.24 |
O = 60 T = 7.24 |
| hamming8-2.clq.wcnf | O = 128 T = 7.22 |
O = 128 T = 7.22 |
| hamming8-4.clq.wcnf | O = 240 T = 7.11 |
O = 240 T = 7.11 |
| johnson16-2-4.clq.wcnf | O = 112 T = 7.53 |
O = 112 T = 7.53 |
| johnson32-2-4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| johnson8-2-4.clq.wcnf | O = 24 T = 7.22 |
O = 24 T = 7.22 |
| johnson8-4-4.clq.wcnf | O = 56 T = 7.25 |
O = 56 T = 7.25 |
| keller4.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| keller5.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat1000-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat1000-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat1000-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat300-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat300-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat300-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat500-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat500-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat500-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat700-1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat700-2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| p_hat700-3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san1000.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san200_0.7_1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san200_0.7_2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san200_0.9_1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san200_0.9_2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san200_0.9_3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san400_0.5_1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san400_0.7_1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san400_0.7_2.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san400_0.7_3.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| san400_0.9_1.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| sanr200_0.7.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| sanr200_0.9.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| sanr400_0.5.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| sanr400_0.7.clq.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.250.832706.cnf.wcnf | O = 15 T = 7.01 |
O = 15 T = 7.01 |
| cnf3.150.250.832707.cnf.wcnf | O = 18 T = 7.23 |
O = 18 T = 7.23 |
| cnf3.150.250.832708.cnf.wcnf | O = 20 T = 6.92 |
O = 20 T = 6.92 |
| cnf3.150.250.832709.cnf.wcnf | O = 24 T = 7.29 |
O = 24 T = 7.29 |
| cnf3.150.250.832710.cnf.wcnf | O = 24 T = 7.23 |
O = 24 T = 7.23 |
| cnf3.150.250.832711.cnf.wcnf | O = 20 T = 7.24 |
O = 20 T = 7.24 |
| cnf3.150.250.832712.cnf.wcnf | O = 23 T = 7.28 |
O = 23 T = 7.28 |
| cnf3.150.250.832713.cnf.wcnf | O = 16 T = 7.28 |
O = 16 T = 7.28 |
| cnf3.150.250.832714.cnf.wcnf | O = 23 T = 7.22 |
O = 23 T = 7.22 |
| cnf3.150.250.832715.cnf.wcnf | O = 24 T = 7.01 |
O = 24 T = 7.01 |
| cnf3.150.300.195561.cnf.wcnf | O = 22 T = 7.00 |
O = 22 T = 7.00 |
| cnf3.150.300.195562.cnf.wcnf | O = 22 T = 6.92 |
O = 22 T = 6.92 |
| cnf3.150.300.195563.cnf.wcnf | O = 20 T = 7.24 |
O = 20 T = 7.24 |
| cnf3.150.300.195564.cnf.wcnf | O = 26 T = 7.31 |
O = 26 T = 7.31 |
| cnf3.150.300.195565.cnf.wcnf | O = 27 T = 7.22 |
O = 27 T = 7.22 |
| cnf3.150.300.195566.cnf.wcnf | O = 21 T = 7.25 |
O = 21 T = 7.25 |
| cnf3.150.300.195567.cnf.wcnf | O = 26 T = 7.27 |
O = 26 T = 7.27 |
| cnf3.150.300.195568.cnf.wcnf | O = 25 T = 7.29 |
O = 25 T = 7.29 |
| cnf3.150.300.195569.cnf.wcnf | O = 27 T = 7.26 |
O = 27 T = 7.26 |
| cnf3.150.300.195570.cnf.wcnf | O = 20 T = 7.23 |
O = 20 T = 7.23 |
| cnf3.150.350.558416.cnf.wcnf | O = 32 T = 7.46 |
O = 32 T = 7.46 |
| cnf3.150.350.558417.cnf.wcnf | O = 30 T = 7.80 |
O = 30 T = 7.80 |
| cnf3.150.350.558418.cnf.wcnf | O = 29 T = 7.40 |
O = 29 T = 7.40 |
| cnf3.150.350.558419.cnf.wcnf | O = 29 T = 7.07 |
O = 29 T = 7.07 |
| cnf3.150.350.558420.cnf.wcnf | O = 32 T = 7.29 |
O = 32 T = 7.29 |
| cnf3.150.350.558421.cnf.wcnf | O = 30 T = 7.10 |
O = 30 T = 7.10 |
| cnf3.150.350.558422.cnf.wcnf | O = 30 T = 7.50 |
O = 30 T = 7.50 |
| cnf3.150.350.558423.cnf.wcnf | O = 26 T = 7.47 |
O = 26 T = 7.47 |
| cnf3.150.350.558424.cnf.wcnf | O = 24 T = 6.97 |
O = 24 T = 6.97 |
| cnf3.150.350.558425.cnf.wcnf | O = 27 T = 7.38 |
O = 27 T = 7.38 |
| cnf3.150.400.921271.cnf.wcnf | O = 38 T = 7.58 |
O = 38 T = 7.58 |
| cnf3.150.400.921272.cnf.wcnf | O = 33 T = 7.57 |
O = 33 T = 7.57 |
| cnf3.150.400.921273.cnf.wcnf | O = 31 T = 7.94 |
O = 31 T = 7.94 |
| cnf3.150.400.921274.cnf.wcnf | O = 34 T = 7.49 |
O = 34 T = 7.49 |
| cnf3.150.400.921275.cnf.wcnf | O = 37 T = 7.51 |
O = 37 T = 7.51 |
| cnf3.150.400.921276.cnf.wcnf | O = 34 T = 7.32 |
O = 34 T = 7.32 |
| cnf3.150.400.921277.cnf.wcnf | O = 33 T = 7.39 |
O = 33 T = 7.39 |
| cnf3.150.400.921278.cnf.wcnf | O = 31 T = 7.38 |
O = 31 T = 7.38 |
| cnf3.150.400.921279.cnf.wcnf | O = 28 T = 7.62 |
O = 28 T = 7.62 |
| cnf3.150.400.921280.cnf.wcnf | O = 30 T = 7.33 |
O = 30 T = 7.33 |
| cnf3.150.450.284126.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.450.284127.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.450.284128.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.450.284129.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.450.284130.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.450.284131.cnf.wcnf | O = 31 T = 7.52 |
O = 31 T = 7.52 |
| cnf3.150.450.284132.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.450.284133.cnf.wcnf | O = 39 T = 7.53 |
O = 39 T = 7.53 |
| cnf3.150.450.284134.cnf.wcnf | O = 39 T = 7.45 |
O = 39 T = 7.45 |
| cnf3.150.450.284135.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.500.646981.cnf.wcnf | O = 47 T = 7.21 |
O = 47 T = 7.21 |
| cnf3.150.500.646982.cnf.wcnf | O = 46 T = 7.02 |
O = 46 T = 7.02 |
| cnf3.150.500.646983.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.500.646984.cnf.wcnf | O = 42 T = 7.44 |
O = 42 T = 7.44 |
| cnf3.150.500.646985.cnf.wcnf | O = 53 T = 7.57 |
O = 53 T = 7.57 |
| cnf3.150.500.646986.cnf.wcnf | O = 47 T = 7.41 |
O = 47 T = 7.41 |
| cnf3.150.500.646987.cnf.wcnf | O = 43 T = 7.35 |
O = 43 T = 7.35 |
| cnf3.150.500.646988.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.500.646989.cnf.wcnf | O = 49 T = 7.39 |
O = 49 T = 7.39 |
| cnf3.150.500.646990.cnf.wcnf | O = 44 T = 7.46 |
O = 44 T = 7.46 |
| cnf3.150.550.009836.cnf.wcnf | O = 54 T = 7.42 |
O = 54 T = 7.42 |
| cnf3.150.550.009837.cnf.wcnf | O = 52 T = 7.59 |
O = 52 T = 7.59 |
| cnf3.150.550.009838.cnf.wcnf | O = 45 T = 7.40 |
O = 45 T = 7.40 |
| cnf3.150.550.009839.cnf.wcnf | O = 39 T = 7.48 |
O = 39 T = 7.48 |
| cnf3.150.550.009840.cnf.wcnf | O = 52 T = 7.70 |
O = 52 T = 7.70 |
| cnf3.150.550.009841.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| cnf3.150.550.009842.cnf.wcnf | O = 45 T = 7.17 |
O = 45 T = 7.17 |
| cnf3.150.550.009843.cnf.wcnf | O = 40 T = 7.36 |
O = 40 T = 7.36 |
| cnf3.150.550.009844.cnf.wcnf | O = 47 T = 7.38 |
O = 47 T = 7.38 |
| cnf3.150.550.009845.cnf.wcnf | O = 50 T = 7.43 |
O = 50 T = 7.43 |
| cnf3.150.600.372691.cnf.wcnf | O = 63 T = 7.35 |
O = 63 T = 7.35 |
| cnf3.150.600.372692.cnf.wcnf | O = 49 T = 7.40 |
O = 49 T = 7.40 |
| cnf3.150.600.372693.cnf.wcnf | O = 69 T = 7.41 |
O = 69 T = 7.41 |
| cnf3.150.600.372694.cnf.wcnf | O = 62 T = 7.44 |
O = 62 T = 7.44 |
| cnf3.150.600.372695.cnf.wcnf | O = 53 T = 7.36 |
O = 53 T = 7.36 |
| cnf3.150.600.372696.cnf.wcnf | O = 53 T = 7.42 |
O = 53 T = 7.42 |
| cnf3.150.600.372697.cnf.wcnf | O = 46 T = 7.33 |
O = 46 T = 7.33 |
| cnf3.150.600.372698.cnf.wcnf | O = 57 T = 7.55 |
O = 57 T = 7.55 |
| cnf3.150.600.372699.cnf.wcnf | O = 65 T = 7.38 |
O = 65 T = 7.38 |
| cnf3.150.600.372700.cnf.wcnf | O = 60 T = 7.97 |
O = 60 T = 7.97 |
| 3col100_5_1.shuffled.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| 3col100_5_10.shuffled.cnf.wcnf | O = 94 T = 7.41 |
O = 94 T = 7.41 |
| 3col100_5_2.shuffled.cnf.wcnf | O = 104 T = 7.15 |
O = 104 T = 7.15 |
| 3col100_5_3.shuffled.cnf.wcnf | O = 92 T = 7.39 |
O = 92 T = 7.39 |
| 3col100_5_4.shuffled.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO |
| 3col100_5_5.shuffled.cnf.wcnf | O = 86 T = 7.46 |
O = 86 T = 7.46 |
| 3col100_5_6.shuffled.cnf.wcnf | O = 90 T = 7.18 |
O = 90 T = 7.18 |
| 3col100_5_7.shuffled.cnf.wcnf | O = 85 T = 7.44 |
O = 85 T = 7.44 |
| 3col100_5_8.shuffled.cnf.wcnf | O = 94 T = 7.48 |
O = 94 T = 7.48 |
| 3col100_5_9.shuffled.cnf.wcnf | O = 94 T = 7.43 |
O = 94 T = 7.43 |
| 3col120_5_1.shuffled.cnf.wcnf | O = 123 T = 8.17 |
O = 123 T = 8.17 |
| 3col120_5_10.shuffled.cnf.wcnf | O = 125 T = 9.26 |
O = 125 T = 9.26 |
| 3col120_5_2.shuffled.cnf.wcnf | O = 124 T = 8.97 |
O = 124 T = 8.97 |
| 3col120_5_3.shuffled.cnf.wcnf | O = 119 T = 8.62 |
O = 119 T = 8.62 |
| 3col120_5_4.shuffled.cnf.wcnf | O = 122 T = 8.91 |
O = 122 T = 8.91 |
| 3col120_5_5.shuffled.cnf.wcnf | O = 112 T = 8.62 |
O = 112 T = 8.62 |
| 3col120_5_6.shuffled.cnf.wcnf | O = 121 T = 9.49 |
O = 121 T = 9.49 |
| 3col120_5_7.shuffled.cnf.wcnf | O = 120 T = 8.71 |
O = 120 T = 8.71 |
| 3col120_5_8.shuffled.cnf.wcnf | O = 110 T = 9.24 |
O = 110 T = 9.24 |
| 3col120_5_9.shuffled.cnf.wcnf | O = 117 T = 8.65 |
O = 117 T = 8.65 |
| 3col140_5_1.shuffled.cnf.wcnf | O = 121 T = 7.88 |
O = 121 T = 7.88 |
| 3col140_5_10.shuffled.cnf.wcnf | O = 122 T = 7.00 |
O = 122 T = 7.00 |
| 3col140_5_2.shuffled.cnf.wcnf | O = 131 T = 7.87 |
O = 131 T = 7.87 |
| 3col140_5_3.shuffled.cnf.wcnf | O = 128 T = 7.34 |
O = 128 T = 7.34 |
| 3col140_5_4.shuffled.cnf.wcnf | O = 128 T = 7.12 |
O = 128 T = 7.12 |
| 3col140_5_5.shuffled.cnf.wcnf | O = 124 T = 7.36 |
O = 124 T = 7.36 |
| 3col140_5_6.shuffled.cnf.wcnf | O = 120 T = 8.00 |
O = 120 T = 8.00 |
| 3col140_5_7.shuffled.cnf.wcnf | O = 119 T = 7.46 |
O = 119 T = 7.46 |
| 3col140_5_8.shuffled.cnf.wcnf | O = 123 T = 8.85 |
O = 123 T = 8.85 |
| 3col140_5_9.shuffled.cnf.wcnf | O = 134 T = 10.05 |
O = 134 T = 10.05 |
| 3col80_5_1.shuffled.cnf.wcnf | O = 79 T = 7.29 |
O = 79 T = 7.29 |
| 3col80_5_10.shuffled.cnf.wcnf | O = 75 T = 7.09 |
O = 75 T = 7.09 |
| 3col80_5_2.shuffled.cnf.wcnf | O = 71 T = 7.28 |
O = 71 T = 7.28 |
| 3col80_5_3.shuffled.cnf.wcnf | O = 88 T = 7.27 |
O = 88 T = 7.27 |
| 3col80_5_4.shuffled.cnf.wcnf | O = 73 T = 7.25 |
O = 73 T = 7.25 |
| 3col80_5_5.shuffled.cnf.wcnf | O = 78 T = 7.24 |
O = 78 T = 7.24 |
| 3col80_5_6.shuffled.cnf.wcnf | O = 76 T = 7.24 |
O = 76 T = 7.24 |
| 3col80_5_7.shuffled.cnf.wcnf | O = 80 T = 7.25 |
O = 80 T = 7.25 |
| 3col80_5_8.shuffled.cnf.wcnf | O = 82 T = 7.30 |
O = 82 T = 7.30 |
| 3col80_5_9.shuffled.cnf.wcnf | O = 79 T = 7.27 |
O = 79 T = 7.27 |
| cnt05.shuffled.cnf.wcnf | O = 174 T = 7.27 |
O = 174 T = 7.27 |
| cnt06.shuffled.cnf.wcnf | O = 365 T = 7.38 |
O = 365 T = 7.38 |
| cnt07.shuffled.cnf.wcnf | O = 877 T = 7.45 |
O = 877 T = 7.45 |
| dp02s02.shuffled.cnf.wcnf | O = 100 T = 7.27 |
O = 100 T = 7.27 |
| dp03s03.shuffled.cnf.wcnf | O = 254 T = 7.42 |
O = 254 T = 7.42 |
| dp04s04.shuffled.cnf.wcnf | O = 533 T = 7.98 |
O = 533 T = 7.98 |
| dp05s05.shuffled.cnf.wcnf | O = 765 T = 9.38 |
O = 765 T = 9.38 |
| dp06s06.shuffled.cnf.wcnf | O = 1164 T = 13.86 |
O = 1164 T = 13.86 |
| dp07s07.shuffled.cnf.wcnf | O = 1563 T = 50.86 |
O = 1563 T = 50.86 |
| ezfact32_1.shuffled.cnf.wcnf | O = 400 T = 7.62 |
O = 400 T = 7.62 |
| ezfact32_10.shuffled.cnf.wcnf | O = 389 T = 7.41 |
O = 389 T = 7.41 |
| ezfact32_2.shuffled.cnf.wcnf | O = 364 T = 7.37 |
O = 364 T = 7.37 |
| ezfact32_3.shuffled.cnf.wcnf | O = 397 T = 7.40 |
O = 397 T = 7.40 |
| ezfact32_4.shuffled.cnf.wcnf | O = 379 T = 7.40 |
O = 379 T = 7.40 |
| ezfact32_5.shuffled.cnf.wcnf | O = 394 T = 7.11 |
O = 394 T = 7.11 |
| ezfact32_6.shuffled.cnf.wcnf | O = 382 T = 7.17 |
O = 382 T = 7.17 |
| ezfact32_7.shuffled.cnf.wcnf | O = 394 T = 7.33 |
O = 394 T = 7.33 |
| ezfact32_8.shuffled.cnf.wcnf | O = 392 T = 7.50 |
O = 392 T = 7.50 |
| ezfact32_9.shuffled.cnf.wcnf | O = 382 T = 7.46 |
O = 382 T = 7.46 |
| med11.shuffled.cnf.wcnf | O = 164 T = 7.29 |
O = 164 T = 7.29 |
| kbtree9_7_3_5_30_1.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_30_2.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_30_3.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_30_4.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_30_5.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_30_6.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_40_1.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_40_2.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_40_3.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_40_4.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_40_5.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_40_6.wcsp.wcnf | O = 26 T = 7.66 |
O = 26 T = 7.66 |
| kbtree9_7_3_5_50_1.wcsp.wcnf | O = 36 T = 8.03 |
O = 36 T = 8.03 |
| kbtree9_7_3_5_50_2.wcsp.wcnf | O = 37 T = 7.97 |
O = 37 T = 7.97 |
| kbtree9_7_3_5_50_3.wcsp.wcnf | O = 37 T = 7.98 |
O = 37 T = 7.98 |
| kbtree9_7_3_5_50_4.wcsp.wcnf | O = 38 T = 7.73 |
O = 38 T = 7.73 |
| kbtree9_7_3_5_50_5.wcsp.wcnf | O = 37 T = 7.82 |
O = 37 T = 7.82 |
| kbtree9_7_3_5_50_6.wcsp.wcnf | O = 38 T = 7.99 |
O = 38 T = 7.99 |
| kbtree9_7_3_5_60_1.wcsp.wcnf | O = 54 T = 8.18 |
O = 54 T = 8.18 |
| kbtree9_7_3_5_60_2.wcsp.wcnf | O = 59 T = 8.26 |
O = 59 T = 8.26 |
| kbtree9_7_3_5_60_3.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_60_4.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_60_5.wcsp.wcnf | O = 56 T = 8.16 |
O = 56 T = 8.16 |
| kbtree9_7_3_5_60_6.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_70_1.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_70_2.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_70_3.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_70_4.wcsp.wcnf | O = 73 T = 7.81 |
O = 73 T = 7.81 |
| kbtree9_7_3_5_70_5.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_70_6.wcsp.wcnf | O = 74 T = 7.78 |
O = 74 T = 7.78 |
| kbtree9_7_3_5_80_1.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_80_2.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_80_3.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_80_4.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_80_5.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_80_6.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_90_1.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_90_2.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_90_3.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_90_4.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_90_5.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| kbtree9_7_3_5_90_6.wcsp.wcnf | O = N/A T = TO |
O = N/A T = TO |
| normalized-mps-v2-20-10-stein15.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO |
| normalized-mps-v2-20-10-stein27.opb.msat.wcnf | O = 18 T = 7.30 |
O = 18 T = 7.30 |
| normalized-mps-v2-20-10-stein45.opb.msat.wcnf | O = 30 T = 9.28 |
O = 30 T = 9.28 |
| normalized-mps-v2-20-10-stein9.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev44-10.wcnf | O = 5 T = 7.85 |
O = 5 T = 7.85 |
| rev44-12.wcnf | O = 2 T = 7.86 |
O = 2 T = 7.86 |
| rev44-14.wcnf | O = 0 T = 7.29 |
O = 0 T = 7.29 |
| rev44-16.wcnf | O = 0 T = 7.24 |
O = 0 T = 7.24 |
| rev44-18.wcnf | O = 0 T = 7.23 |
O = 0 T = 7.23 |
| rev44-2.wcnf | O = 16 T = 7.20 |
O = 16 T = 7.20 |
| rev44-20.wcnf | O = 0 T = 7.28 |
O = 0 T = 7.28 |
| rev44-22.wcnf | O = 0 T = 7.27 |
O = 0 T = 7.27 |
| rev44-24.wcnf | O = 0 T = 7.30 |
O = 0 T = 7.30 |
| rev44-4.wcnf | O = 14 T = 7.29 |
O = 14 T = 7.29 |
| rev44-6.wcnf | O = 11 T = 7.29 |
O = 11 T = 7.29 |
| rev44-8.wcnf | O = 8 T = 7.47 |
O = 8 T = 7.47 |
| rev66-10.wcnf | O = 23 T = 28.96 |
O = 23 T = 28.96 |
| rev66-12.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev66-14.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev66-16.wcnf | O = 36 T = 7.51 |
O = 36 T = 7.51 |
| rev66-18.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev66-2.wcnf | O = 36 T = 7.25 |
O = 36 T = 7.25 |
| rev66-20.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev66-22.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev66-24.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev66-26.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev66-28.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev66-30.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev66-32.wcnf | O = N/A T = TO |
O = N/A T = TO |
| rev66-34.wcnf | O = 0 T = 19.70 |
O = 0 T = 19.70 |
| rev66-36.wcnf | O = 0 T = 14.37 |
O = 0 T = 14.37 |
| rev66-38.wcnf | O = 0 T = 12.84 |
O = 0 T = 12.84 |
| rev66-4.wcnf | O = 34 T = 7.29 |
O = 34 T = 7.29 |
| rev66-40.wcnf | O = 0 T = 11.66 |
O = 0 T = 11.66 |
| rev66-42.wcnf | O = 0 T = 8.93 |
O = 0 T = 8.93 |
| rev66-44.wcnf | O = 0 T = 11.49 |
O = 0 T = 11.49 |
| rev66-46.wcnf | O = 0 T = 10.55 |
O = 0 T = 10.55 |
| rev66-48.wcnf | O = 0 T = 10.37 |
O = 0 T = 10.37 |
| rev66-50.wcnf | O = 0 T = 8.14 |
O = 0 T = 8.14 |
| rev66-52.wcnf | O = 0 T = 25.51 |
O = 0 T = 25.51 |
| rev66-54.wcnf | O = 0 T = 14.64 |
O = 0 T = 14.64 |
| rev66-56.wcnf | O = 0 T = 15.53 |
O = 0 T = 15.53 |
| rev66-58.wcnf | O = 0 T = 8.74 |
O = 0 T = 8.74 |
| rev66-6.wcnf | O = 32 T = 7.88 |
O = 32 T = 7.88 |
| rev66-60.wcnf | O = 0 T = 22.52 |
O = 0 T = 22.52 |
| rev66-62.wcnf | O = 0 T = 18.56 |
O = 0 T = 18.56 |
| rev66-64.wcnf | O = 0 T = 24.59 |
O = 0 T = 24.59 |
| rev66-8.wcnf | O = 30 T = 8.28 |
O = 30 T = 8.28 |
| cnf_10.wcnf | O = 157 T = 26.81 |
O = 157 T = 26.81 |
| cnf_10_center.wcnf | O = 284 T = 12.47 |
O = 284 T = 12.47 |
| cnf_12.wcnf | O = 161 T = 17.14 |
O = 161 T = 17.14 |
| cnf_12_center.wcnf | O = 237 T = 146.59 |
O = 237 T = 146.59 |
| cnf_small.wcnf | O = N/A T = TO |
O = N/A T = TO |