| 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 | CCEHC | CCLS2015 | Dist1 | Dist2 | ILP-2015-in | WPM3-2015-in | optiriss-sel-i |
|---|---|---|---|---|---|---|---|---|
| CSG140-140-46.wcnf | O = 16960 T = 1.39 |
O = 27438 T = 109.16 |
O = 50830 T = 248.29 |
O = 55279 T = 265.70 |
O = 88151 T = 2.18 |
O = N/A T = TO |
O = 16960 T = 1.39 |
O = 105587 T = 0.49 |
| CSG140-140-6.wcnf | O = 52385 T = 283.35 |
O = 79251 T = 87.87 |
O = N/A T = TO |
O = 128009 T = 6.10 |
O = 140040 T = 1.92 |
O = N/A T = TO |
O = 52385 T = 283.35 |
O = 166847 T = 0.47 |
| CSG150-150-55.wcnf | O = 49242 T = 58.45 |
O = 49242 T = 58.45 |
O = N/A T = TO |
O = 91039 T = 4.87 |
O = 119212 T = 3.93 |
O = N/A T = TO |
O = N/A T = TO |
O = 139794 T = 0.52 |
| CSG40-40-95.wcnf | O = 8847 T = 0.01 |
O = 9903 T = 28.68 |
O = 12870 T = 62.05 |
O = 23674 T = 0.36 |
O = 27199 T = 0.09 |
O = 8847 T = 13.37 |
O = 8847 T = 0.02 |
O = 8847 T = 0.01 |
| CSG60-60-88.wcnf | O = 7714 T = 0.05 |
O = 7714 T = 62.41 |
O = 29455 T = 242.09 |
O = 30721 T = 0.60 |
O = 37678 T = 0.38 |
O = 7714 T = 25.79 |
O = 7714 T = 0.07 |
O = 7714 T = 0.05 |
| CSGNaive140-140-0.wcnf | O = 18185 T = 3.05 |
O = 24889 T = 6.77 |
O = N/A T = TO |
O = 57448 T = 4.89 |
O = 65566 T = 4.40 |
O = N/A T = TO |
O = 18185 T = 3.05 |
O = 150737 T = 0.45 |
| CSGNaive140-140-6.wcnf | O = 57892 T = 254.27 |
O = 81766 T = 289.58 |
O = N/A T = TO |
O = 125623 T = 3.60 |
O = 133648 T = 3.52 |
O = N/A T = TO |
O = 57892 T = 254.27 |
O = 206537 T = 0.47 |
| CSGNaive150-150-55.wcnf | O = 48477 T = 74.78 |
O = 48477 T = 74.78 |
O = N/A T = TO |
O = 87475 T = 4.17 |
O = 90278 T = 4.52 |
O = N/A T = TO |
O = N/A T = TO |
O = 178400 T = 0.54 |
| CSGNaive60-60-53.wcnf | O = 9829 T = 0.06 |
O = 11517 T = 39.30 |
O = 49083 T = 265.04 |
O = 46407 T = 1.26 |
O = 46274 T = 1.17 |
O = N/A T = TO |
O = 9829 T = 0.08 |
O = 9829 T = 0.06 |
| CSGNaive70-70-91.wcnf | O = 11177 T = 0.07 |
O = 11177 T = 29.65 |
O = 28982 T = 295.40 |
O = 31037 T = 1.06 |
O = 26628 T = 246.60 |
O = N/A T = TO |
O = 11177 T = 0.11 |
O = 11177 T = 0.07 |
| cat_paths_60_130_0000.txt.wcnf | O = 78708 T = 0.01 |
O = 78708 T = 1.40 |
O = 78708 T = 0.94 |
O = 78708 T = 0.76 |
O = 78708 T = 0.80 |
O = 78708 T = 0.01 |
O = 78708 T = 15.06 |
O = 83345 T = 2.08 |
| cat_paths_60_130_0001.txt.wcnf | O = 80743 T = 0.01 |
O = 80743 T = 1.53 |
O = 80743 T = 0.73 |
O = 80743 T = 1.31 |
O = 80743 T = 0.69 |
O = 80743 T = 0.01 |
O = N/A T = TO |
O = 84085 T = 3.03 |
| cat_paths_60_130_0002.txt.wcnf | O = 71385 T = 0.01 |
O = 71385 T = 1.15 |
O = 71385 T = 1.21 |
O = 71385 T = 0.91 |
O = 71385 T = 0.70 |
O = 71385 T = 0.01 |
O = 71385 T = 1.29 |
O = N/A T = TO |
| cat_paths_60_130_0003.txt.wcnf | O = 86981 T = 0.01 |
O = 86981 T = 1.33 |
O = 86981 T = 0.86 |
O = 86981 T = 0.78 |
O = 86981 T = 0.85 |
O = 86981 T = 0.01 |
O = N/A T = TO |
O = 94972 T = 1.02 |
| cat_paths_60_140_0000.txt.wcnf | O = 98394 T = 0.01 |
O = 98394 T = 1.29 |
O = 98394 T = 0.53 |
O = 98394 T = 0.66 |
O = 98394 T = 0.53 |
O = 98394 T = 0.01 |
O = N/A T = TO |
O = 103280 T = 3.22 |
| cat_paths_60_140_0001.txt.wcnf | O = 97718 T = 0.01 |
O = 97718 T = 1.63 |
O = 97718 T = 1.23 |
O = 97718 T = 1.19 |
O = 97718 T = 0.70 |
O = 97718 T = 0.01 |
O = N/A T = TO |
O = 102675 T = 1.35 |
| cat_paths_60_140_0002.txt.wcnf | O = 92818 T = 0.01 |
O = 92818 T = 1.47 |
O = 92818 T = 1.41 |
O = 92818 T = 1.10 |
O = 92818 T = 7.12 |
O = 92818 T = 0.01 |
O = 92818 T = 16.84 |
O = 102120 T = 1.30 |
| cat_paths_60_140_0003.txt.wcnf | O = 92696 T = 0.01 |
O = 92696 T = 2.19 |
O = 92696 T = 0.76 |
O = 92696 T = 1.22 |
O = 92696 T = 0.73 |
O = 92696 T = 0.01 |
O = 92696 T = 33.97 |
O = 103100 T = 1.94 |
| cat_paths_60_150_0000.txt.wcnf | O = 82179 T = 0.01 |
O = 82179 T = 1.64 |
O = 82179 T = 0.68 |
O = 82179 T = 0.95 |
O = 82179 T = 0.80 |
O = 82179 T = 0.01 |
O = 82179 T = 6.16 |
O = 87073 T = 2.73 |
| cat_paths_60_150_0001.txt.wcnf | O = 92299 T = 0.02 |
O = 92299 T = 1.48 |
O = 92299 T = 1.44 |
O = 92299 T = 0.70 |
O = 92299 T = 0.65 |
O = 92299 T = 0.02 |
O = N/A T = TO |
O = 98930 T = 2.68 |
| cat_paths_60_150_0002.txt.wcnf | O = 101547 T = 0.01 |
O = 101547 T = 1.36 |
O = 101547 T = 1.37 |
O = 101547 T = 5.61 |
O = 101547 T = 0.92 |
O = 101547 T = 0.01 |
O = N/A T = TO |
O = 114633 T = 1.36 |
| cat_paths_60_150_0003.txt.wcnf | O = 106294 T = 0.01 |
O = 106294 T = 1.58 |
O = 106294 T = 1.05 |
O = 106294 T = 1.19 |
O = 106294 T = 0.82 |
O = 106294 T = 0.01 |
O = 106294 T = 67.00 |
O = 116237 T = 2.25 |
| cat_paths_60_160_0000.txt.wcnf | O = 104199 T = 0.02 |
O = 104199 T = 1.95 |
O = 104199 T = 0.94 |
O = 104199 T = 1.08 |
O = 104199 T = 1.33 |
O = 104199 T = 0.02 |
O = 104199 T = 7.37 |
O = 109543 T = 1.18 |
| cat_paths_60_160_0001.txt.wcnf | O = 99297 T = 0.01 |
O = 99297 T = 1.75 |
O = 99297 T = 1.58 |
O = 99297 T = 25.22 |
O = 99297 T = 2.29 |
O = 99297 T = 0.01 |
O = N/A T = TO |
O = 114041 T = 0.66 |
| cat_paths_60_160_0002.txt.wcnf | O = 102352 T = 0.01 |
O = 102352 T = 1.99 |
O = 102352 T = 1.60 |
O = 102352 T = 1.29 |
O = 102352 T = 0.88 |
O = 102352 T = 0.01 |
O = 102352 T = 283.90 |
O = 112810 T = 1.19 |
| cat_paths_60_160_0003.txt.wcnf | O = 107262 T = 0.02 |
O = 107262 T = 1.33 |
O = 107262 T = 1.05 |
O = 107262 T = 0.76 |
O = 107262 T = 0.79 |
O = 107262 T = 0.02 |
O = N/A T = TO |
O = 119527 T = 0.75 |
| cat_paths_60_170_0000.txt.wcnf | O = 122170 T = 0.02 |
O = 122170 T = 22.21 |
O = 122170 T = 1.62 |
O = 122170 T = 5.57 |
O = 122170 T = 0.99 |
O = 122170 T = 0.02 |
O = N/A T = TO |
O = 131477 T = 0.76 |
| cat_paths_60_170_0003.txt.wcnf | O = 122748 T = 0.02 |
O = 122748 T = 1.73 |
O = 122748 T = 1.26 |
O = 122748 T = 1.32 |
O = 122748 T = 0.92 |
O = 122748 T = 0.02 |
O = 122748 T = 13.96 |
O = 134225 T = 0.84 |
| cat_paths_60_170_0004.txt.wcnf | O = 99105 T = 0.01 |
O = 99105 T = 1.44 |
O = 99105 T = 1.46 |
O = 99105 T = 17.34 |
O = 99105 T = 1.60 |
O = 99105 T = 0.01 |
O = N/A T = TO |
O = 107273 T = 1.47 |
| cat_paths_60_170_0005.txt.wcnf | O = 114493 T = 0.01 |
O = 114493 T = 1.74 |
O = 114493 T = 1.52 |
O = 114493 T = 4.15 |
O = 114493 T = 1.22 |
O = 114493 T = 0.01 |
O = N/A T = TO |
O = 127839 T = 1.74 |
| cat_sched_60_160_0000.txt.wcnf | O = 42672 T = 0.03 |
O = 42672 T = 0.71 |
O = 42672 T = 0.60 |
O = 42672 T = 0.24 |
O = 42672 T = 0.19 |
O = 42672 T = 0.03 |
O = 42672 T = 0.09 |
O = 42672 T = 1.29 |
| cat_sched_60_160_0001.txt.wcnf | O = 72012 T = 0.04 |
O = 72012 T = 0.62 |
O = 72012 T = 0.60 |
O = 72012 T = 0.10 |
O = 72012 T = 0.15 |
O = 72012 T = 0.04 |
O = 72012 T = 0.12 |
O = 72012 T = 0.14 |
| cat_sched_60_160_0002.txt.wcnf | O = 173386 T = 0.14 |
O = 173386 T = 0.65 |
O = 173386 T = 0.55 |
O = 173386 T = 0.16 |
O = 173386 T = 0.23 |
O = 173386 T = 0.18 |
O = 173386 T = 0.14 |
O = 173386 T = 0.72 |
| cat_sched_60_160_0003.txt.wcnf | O = 118883 T = 0.05 |
O = 118883 T = 0.64 |
O = 118883 T = 0.49 |
O = 118883 T = 0.13 |
O = 118883 T = 0.14 |
O = 118883 T = 0.05 |
O = 118883 T = 0.10 |
O = 118883 T = 1.20 |
| cat_sched_60_170_0000.txt.wcnf | O = 128737 T = 0.05 |
O = 128737 T = 0.67 |
O = 128737 T = 0.64 |
O = 128737 T = 0.11 |
O = 128737 T = 0.10 |
O = 128737 T = 0.05 |
O = 128737 T = 0.20 |
O = 131318 T = 1.37 |
| cat_sched_60_170_0001.txt.wcnf | O = 62218 T = 0.04 |
O = 62218 T = 0.41 |
O = 62218 T = 0.60 |
O = 62218 T = 0.28 |
O = 62218 T = 0.24 |
O = 62218 T = 0.04 |
O = N/A T = TO |
O = 62364 T = 1.65 |
| cat_sched_60_170_0002.txt.wcnf | O = 64664 T = 0.03 |
O = 64664 T = 0.57 |
O = 64664 T = 0.60 |
O = 64664 T = 0.05 |
O = 64664 T = 0.06 |
O = 64664 T = 0.03 |
O = 64664 T = 0.14 |
O = 64664 T = 0.22 |
| cat_sched_60_170_0003.txt.wcnf | O = 169415 T = 0.06 |
O = 169415 T = 0.52 |
O = 169415 T = 0.42 |
O = 169415 T = 0.13 |
O = 169415 T = 0.15 |
O = 169415 T = 0.06 |
O = 169415 T = 0.16 |
O = 169415 T = 0.38 |
| cat_sched_60_180_0000.txt.wcnf | O = 112247 T = 0.06 |
O = 112247 T = 0.71 |
O = 112247 T = 0.65 |
O = 112247 T = 0.12 |
O = 112247 T = 0.08 |
O = 112247 T = 0.06 |
O = 112247 T = 0.50 |
O = 112853 T = 1.92 |
| cat_sched_60_180_0001.txt.wcnf | O = 154599 T = 0.14 |
O = 154599 T = 0.73 |
O = 154599 T = 0.59 |
O = 154599 T = 0.23 |
O = 154599 T = 0.23 |
O = 154599 T = 0.14 |
O = 154599 T = 0.14 |
O = 154824 T = 0.91 |
| cat_sched_60_180_0002.txt.wcnf | O = 95338 T = 0.04 |
O = 95338 T = 0.50 |
O = 95338 T = 0.59 |
O = 95338 T = 0.06 |
O = 95338 T = 0.08 |
O = 95338 T = 0.04 |
O = 95338 T = 0.21 |
O = 95670 T = 2.09 |
| cat_sched_60_180_0003.txt.wcnf | O = 104416 T = 0.04 |
O = 104416 T = 0.55 |
O = 104416 T = 0.47 |
O = 104416 T = 0.09 |
O = 104416 T = 0.08 |
O = 104416 T = 0.04 |
O = 104416 T = 0.17 |
O = 104669 T = 1.26 |
| cat_sched_60_190_0000.txt.wcnf | O = 152878 T = 0.07 |
O = 152878 T = 0.65 |
O = 152878 T = 0.26 |
O = 152878 T = 0.18 |
O = 152878 T = 0.28 |
O = 152878 T = 0.07 |
O = 152878 T = 0.18 |
O = 152942 T = 3.42 |
| cat_sched_60_190_0001.txt.wcnf | O = 71645 T = 0.03 |
O = 71645 T = 0.78 |
O = 71645 T = 0.45 |
O = 71645 T = 0.12 |
O = 71645 T = 0.13 |
O = 71645 T = 0.03 |
O = 71645 T = 0.23 |
O = 71645 T = 1.08 |
| cat_sched_60_190_0002.txt.wcnf | O = 90463 T = 0.07 |
O = 90463 T = 0.79 |
O = 90463 T = 0.76 |
O = 90463 T = 0.49 |
O = 90463 T = 0.23 |
O = 90463 T = 0.07 |
O = 90463 T = 0.38 |
O = 90577 T = 2.28 |
| cat_sched_60_190_0003.txt.wcnf | O = 87812 T = 0.03 |
O = 87812 T = 0.52 |
O = 87812 T = 0.59 |
O = 87812 T = 0.12 |
O = 87812 T = 0.14 |
O = 87812 T = 0.03 |
O = 87812 T = 0.14 |
O = N/A T = TO |
| cat_sched_60_200_0000.txt.wcnf | O = 242832 T = 0.15 |
O = 242832 T = 0.72 |
O = 242832 T = 0.53 |
O = 242832 T = 0.15 |
O = 242832 T = 0.29 |
O = 242832 T = 0.16 |
O = 242832 T = 0.23 |
O = 243593 T = 1.46 |
| cat_sched_60_200_0001.txt.wcnf | O = 46823 T = 0.03 |
O = 46823 T = 0.56 |
O = 46823 T = 0.58 |
O = 46823 T = 0.06 |
O = 46823 T = 0.06 |
O = 46823 T = 0.03 |
O = 46823 T = 0.14 |
O = 46823 T = 0.13 |
| cat_sched_60_200_0002.txt.wcnf | O = 145851 T = 0.05 |
O = 145851 T = 0.47 |
O = 145851 T = 0.42 |
O = 145851 T = 0.09 |
O = 145851 T = 0.07 |
O = 145851 T = 0.05 |
O = 145851 T = 0.21 |
O = 146558 T = 1.21 |
| cat_sched_60_200_0003.txt.wcnf | O = 187411 T = 0.07 |
O = 187411 T = 0.56 |
O = 187411 T = 0.61 |
O = 187411 T = 0.24 |
O = 187411 T = 0.15 |
O = 187411 T = 0.07 |
O = 187411 T = 0.16 |
O = 187650 T = 2.02 |
| causal_n5_i10_N1000_uai13_log_int.wcnf | O = 274433095 T = 227.24 |
O = 274433095 T = 227.24 |
O = N/A T = TO |
O = 303345448 T = 1.77 |
O = 303345448 T = 1.31 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n5_i10_N500_uai13_log_int.wcnf | O = 293637810 T = 287.49 |
O = 293637810 T = 287.49 |
O = N/A T = TO |
O = 303345448 T = 1.79 |
O = 303345448 T = 1.36 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n5_i5_N10000_uai13_log_int.wcnf | O = 75860829 T = 132.62 |
O = 75860829 T = 132.62 |
O = N/A T = TO |
O = 88343799 T = 1.83 |
O = 88343799 T = 1.38 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n5_i5_N1000_uai13_log_int.wcnf | O = 46030289 T = 59.21 |
O = 71012836 T = 54.42 |
O = N/A T = TO |
O = 88343799 T = 1.75 |
O = 88343799 T = 1.31 |
O = N/A T = TO |
O = 46030289 T = 59.21 |
O = N/A T = TO |
| causal_n5_i5_N500_uai13_log_int.wcnf | O = 75860829 T = 185.72 |
O = 75860829 T = 185.72 |
O = N/A T = TO |
O = 88343799 T = 1.79 |
O = 88343799 T = 1.36 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n5_i9_N10000_uai13_log_int.wcnf | O = 435823919 T = 1.33 |
O = 435823919 T = 3.26 |
O = N/A T = TO |
O = 435823919 T = 1.87 |
O = 435823919 T = 1.33 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n5_i9_N1000_uai13_log_int.wcnf | O = 435823919 T = 1.34 |
O = 435823919 T = 3.31 |
O = N/A T = TO |
O = 435823919 T = 1.82 |
O = 435823919 T = 1.34 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i10_N500_uai13_log_int.wcnf | O = 183312821 T = 283.33 |
O = 1231246272 T = 106.82 |
O = N/A T = TO |
O = 1231246272 T = 56.61 |
O = 1231246272 T = 40.45 |
O = N/A T = TO |
O = 183312821 T = 283.33 |
O = N/A T = TO |
| causal_n6_i10_N500_uai14_log_int.wcnf | O = 183312821 T = 7.72 |
O = 183312821 T = 7.72 |
O = N/A T = TO |
O = N/A T = TO |
O = 1231246272 T = 8.07 |
O = N/A T = TO |
O = 183312821 T = 254.53 |
O = N/A T = TO |
| causal_n6_i1_N10000_uai14_log_int.wcnf | O = 2424396412 T = 18.23 |
O = 2424396412 T = 18.23 |
O = N/A T = TO |
O = N/A T = TO |
O = 6673350962 T = 98.65 |
O = N/A T = TO |
O = 75881793330 T = 283.58 |
O = N/A T = TO |
| causal_n6_i2_N1000_uai13_log_int.wcnf | O = 5978440877 T = 283.78 |
O = 6695431407 T = 101.03 |
O = N/A T = TO |
O = 6695431407 T = 57.47 |
O = 6695431407 T = 41.41 |
O = N/A T = TO |
O = 5978440877 T = 283.78 |
O = N/A T = TO |
| causal_n6_i2_N500_uai13_log_int.wcnf | O = 6286284687 T = 283.32 |
O = 6695431407 T = 100.01 |
O = N/A T = TO |
O = 6695431407 T = 56.14 |
O = 6695431407 T = 40.58 |
O = N/A T = TO |
O = 6286284687 T = 283.32 |
O = N/A T = TO |
| causal_n6_i3_N10000_uai13_log_int.wcnf | O = 135774653430 T = 42.05 |
O = 135774653430 T = 105.86 |
O = N/A T = TO |
O = 135774653430 T = 57.80 |
O = 135774653430 T = 42.05 |
O = N/A T = TO |
O = 259239651182 T = 284.16 |
O = N/A T = TO |
| causal_n6_i5_N10000_uai13_log_int.wcnf | O = 4590069811 T = 40.82 |
O = 4590069811 T = 104.52 |
O = N/A T = TO |
O = 4590069811 T = 57.21 |
O = 4590069811 T = 40.82 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i5_N1000_uai13_log_int.wcnf | O = 4590069811 T = 41.15 |
O = 4590069811 T = 101.22 |
O = N/A T = TO |
O = 4590069811 T = 57.81 |
O = 4590069811 T = 41.15 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i5_N500_uai13_log_int.wcnf | O = 355929820 T = 22.17 |
O = 4590069811 T = 105.29 |
O = N/A T = TO |
O = 4590069811 T = 58.21 |
O = 4590069811 T = 41.72 |
O = N/A T = TO |
O = 355929820 T = 22.17 |
O = N/A T = TO |
| causal_n6_i6_N1000_uai14_log_int.wcnf | O = 178804863700 T = 50.58 |
O = 178804863700 T = 50.58 |
O = N/A T = TO |
O = N/A T = TO |
O = 270064669700 T = 26.21 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i7_N1000_uai14_log_int.wcnf | O = 1633212419 T = 56.10 |
O = 1633212419 T = 56.10 |
O = N/A T = TO |
O = N/A T = TO |
O = 11673910889 T = 19.20 |
O = N/A T = TO |
O = 1633212419 T = 253.79 |
O = N/A T = TO |
| causal_n6_i8_N1000_uai14_log_int.wcnf | O = 19596713347 T = 3.83 |
O = 19596713347 T = 3.83 |
O = N/A T = TO |
O = N/A T = TO |
O = 131261115987 T = 17.80 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i9_N10000_uai14_log_int.wcnf | O = 2710032384 T = 66.14 |
O = 2710032384 T = 66.14 |
O = N/A T = TO |
O = N/A T = TO |
O = 5176868363 T = 1.11 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i10_N10000_uai14_log_int.wcnf | O = 36381399668 T = 20.76 |
O = 36381399668 T = 20.76 |
O = N/A T = TO |
O = N/A T = TO |
O = 36506252968 T = 100.36 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i10_N1000_uai14_log_int.wcnf | O = 19064624004 T = 253.65 |
O = 36506252968 T = 1.78 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 19064624004 T = 253.65 |
O = N/A T = TO |
| causal_n7_i10_N500_uai14_log_int.wcnf | O = 3339853404 T = 254.20 |
O = 36295960768 T = 148.55 |
O = N/A T = TO |
O = N/A T = TO |
O = 36506252968 T = 37.35 |
O = N/A T = TO |
O = 3339853404 T = 254.20 |
O = N/A T = TO |
| causal_n7_i4_N10000_uai14_log_int.wcnf | O = 60957882124 T = 155.00 |
O = 60957882124 T = 155.00 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i4_N1000_uai14_log_int.wcnf | O = 53735590124 T = 217.20 |
O = 53735590124 T = 217.20 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2896848980824 T = 254.00 |
O = N/A T = TO |
| causal_n7_i4_N500_uai14_log_int.wcnf | O = 133428122650 T = 20.18 |
O = 133428122650 T = 20.18 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2706216375944 T = 253.48 |
O = N/A T = TO |
| causal_n7_i5_N10000_uai14_log_int.wcnf | O = 318021057485 T = 1.67 |
O = 318021057485 T = 1.67 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i5_N1000_uai14_log_int.wcnf | O = 211339016820 T = 253.97 |
O = 313636378485 T = 144.27 |
O = N/A T = TO |
O = N/A T = TO |
O = 318021057485 T = 42.49 |
O = N/A T = TO |
O = 211339016820 T = 253.97 |
O = N/A T = TO |
| causal_n7_i5_N500_uai14_log_int.wcnf | O = 316855317485 T = 29.31 |
O = 316855317485 T = 29.31 |
O = N/A T = TO |
O = N/A T = TO |
O = 318021057485 T = 149.22 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i8_N10000_uai14_log_int.wcnf | O = 11486104693 T = 10.11 |
O = 338718561611 T = 1.66 |
O = N/A T = TO |
O = N/A T = TO |
O = 338718561611 T = 45.72 |
O = N/A T = TO |
O = 11486104693 T = 10.11 |
O = N/A T = TO |
| causal_n7_i8_N1000_uai14_log_int.wcnf | O = 11486104693 T = 9.98 |
O = 338718561611 T = 1.60 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 11486104693 T = 9.98 |
O = N/A T = TO |
| causal_n7_i8_N500_uai14_log_int.wcnf | O = 11486104693 T = 17.43 |
O = 338718561611 T = 1.59 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 11486104693 T = 17.43 |
O = N/A T = TO |
| causal_n7_i9_N10000_uai14_log_int.wcnf | O = 77725684079 T = 254.23 |
O = 136899940680 T = 135.02 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 77725684079 T = 254.23 |
O = N/A T = TO |
| causal_n7_i9_N1000_uai14_log_int.wcnf | O = 77725684079 T = 253.63 |
O = 136899940680 T = 285.69 |
O = N/A T = TO |
O = N/A T = TO |
O = 203110818080 T = 74.18 |
O = N/A T = TO |
O = 77725684079 T = 253.63 |
O = N/A T = TO |
| causal_n7_i9_N500_uai14_log_int.wcnf | O = 77725684079 T = 254.42 |
O = 136899940680 T = 17.61 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 77725684079 T = 254.42 |
O = N/A T = TO |
| frb10-6-1.wcnf | O = 50 T = 0.00 |
O = 50 T = 1.56 |
O = 50 T = 1.68 |
O = 50 T = 1.05 |
O = 50 T = 0.93 |
O = 50 T = 0.00 |
O = 50 T = 0.18 |
O = 50 T = 0.65 |
| frb10-6-2.wcnf | O = 50 T = 0.01 |
O = 50 T = 1.29 |
O = 50 T = 1.63 |
O = 50 T = 1.48 |
O = 50 T = 1.37 |
O = 50 T = 0.01 |
O = 50 T = 0.42 |
O = 50 T = 0.37 |
| frb10-6-3.wcnf | O = 50 T = 0.01 |
O = 50 T = 1.50 |
O = 50 T = 1.54 |
O = 50 T = 1.37 |
O = 50 T = 1.32 |
O = 50 T = 0.01 |
O = 50 T = 0.25 |
O = 50 T = 0.76 |
| frb10-6-4.wcnf | O = 50 T = 0.01 |
O = 50 T = 1.04 |
O = 50 T = 1.27 |
O = 50 T = 1.26 |
O = 50 T = 1.09 |
O = 50 T = 0.01 |
O = 50 T = 0.18 |
O = 50 T = 0.33 |
| frb15-9-1.wcnf | O = 120 T = 0.34 |
O = 120 T = 2.64 |
O = 120 T = 3.23 |
O = 120 T = 2.52 |
O = 120 T = 3.28 |
O = 120 T = 0.34 |
O = 120 T = 21.32 |
O = 135 T = 0.37 |
| frb15-9-2.wcnf | O = 120 T = 0.24 |
O = 120 T = 3.53 |
O = 120 T = 3.56 |
O = 120 T = 2.61 |
O = 120 T = 3.21 |
O = 120 T = 0.24 |
O = 120 T = 21.89 |
O = 135 T = 0.69 |
| frb15-9-3.wcnf | O = 120 T = 0.29 |
O = 120 T = 3.75 |
O = 120 T = 2.64 |
O = 120 T = 3.18 |
O = 120 T = 2.35 |
O = 120 T = 0.29 |
O = 120 T = 9.35 |
O = 135 T = 0.42 |
| frb15-9-4.wcnf | O = 120 T = 0.35 |
O = 120 T = 3.34 |
O = 120 T = 3.70 |
O = 120 T = 2.82 |
O = 120 T = 1.78 |
O = 120 T = 0.35 |
O = 120 T = 10.47 |
O = 135 T = 0.58 |
| frb15-9-5.wcnf | O = 120 T = 0.52 |
O = 120 T = 3.48 |
O = 120 T = 3.65 |
O = 120 T = 2.47 |
O = 120 T = 3.04 |
O = 120 T = 0.52 |
O = 120 T = 27.89 |
O = 135 T = 0.48 |
| frb20-11-1.wcnf | O = 200 T = 0.75 |
O = 200 T = 3.58 |
O = 200 T = 5.05 |
O = 200 T = 5.11 |
O = 200 T = 4.76 |
O = 200 T = 0.75 |
O = 205 T = 283.89 |
O = 220 T = 0.60 |
| frb20-11-2.wcnf | O = 200 T = 2.04 |
O = 200 T = 4.53 |
O = 200 T = 4.81 |
O = 200 T = 4.84 |
O = 200 T = 5.20 |
O = 200 T = 2.04 |
O = 206 T = 283.68 |
O = 220 T = 0.38 |
| frb20-11-3.wcnf | O = 200 T = 3.62 |
O = 200 T = 4.31 |
O = 200 T = 5.76 |
O = 200 T = 5.30 |
O = 200 T = 3.62 |
O = 200 T = 7.74 |
O = 207 T = 283.83 |
O = 220 T = 0.41 |
| frb20-11-4.wcnf | O = 200 T = 2.16 |
O = 200 T = 5.10 |
O = 200 T = 5.25 |
O = 200 T = 4.97 |
O = 200 T = 5.30 |
O = 200 T = 2.16 |
O = 205 T = 284.11 |
O = 220 T = 0.44 |
| frb20-11-5.wcnf | O = 200 T = 3.81 |
O = 200 T = 4.05 |
O = 200 T = 5.40 |
O = 200 T = 3.81 |
O = 200 T = 5.02 |
O = 200 T = 4.55 |
O = 206 T = 283.46 |
O = 220 T = 0.44 |
| frb25-13-1.wcnf | O = 300 T = 6.87 |
O = 300 T = 7.68 |
O = 300 T = 7.91 |
O = 300 T = 6.87 |
O = 300 T = 7.30 |
O = 300 T = 213.06 |
O = 309 T = 283.26 |
O = 325 T = 1.03 |
| frb25-13-2.wcnf | O = 300 T = 6.60 |
O = 300 T = 6.60 |
O = 300 T = 8.29 |
O = 300 T = 8.03 |
O = 300 T = 7.23 |
O = 300 T = 107.59 |
O = 308 T = 253.79 |
O = 325 T = 0.79 |
| frb25-13-3.wcnf | O = 300 T = 6.27 |
O = 300 T = 6.72 |
O = 300 T = 7.62 |
O = 300 T = 6.49 |
O = 300 T = 6.27 |
O = 300 T = 41.90 |
O = N/A T = TO |
O = 325 T = 0.72 |
| frb25-13-4.wcnf | O = 300 T = 6.57 |
O = 300 T = 6.57 |
O = 300 T = 7.92 |
O = 300 T = 7.42 |
O = 300 T = 7.36 |
O = 300 T = 121.55 |
O = N/A T = TO |
O = N/A T = TO |
| frb25-13-5.wcnf | O = 300 T = 6.15 |
O = 300 T = 6.16 |
O = 300 T = 7.85 |
O = 300 T = 6.15 |
O = 300 T = 7.60 |
O = 300 T = 159.73 |
O = 306 T = 282.97 |
O = 325 T = 0.75 |
| frb30-15-1.wcnf | O = 420 T = 7.76 |
O = 420 T = 7.76 |
O = 420 T = 8.34 |
O = 420 T = 8.30 |
O = 420 T = 10.49 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| frb30-15-2.wcnf | O = 420 T = 8.45 |
O = 420 T = 10.77 |
O = 420 T = 11.17 |
O = 420 T = 8.45 |
O = 420 T = 9.43 |
O = N/A T = TO |
O = 431 T = 254.29 |
O = 450 T = 0.75 |
| frb30-15-3.wcnf | O = 420 T = 10.53 |
O = 420 T = 11.46 |
O = 420 T = 10.53 |
O = 420 T = 11.76 |
O = 420 T = 14.83 |
O = N/A T = TO |
O = 431 T = 253.68 |
O = 450 T = 0.95 |
| frb30-15-4.wcnf | O = 420 T = 7.42 |
O = 420 T = 7.42 |
O = 420 T = 11.35 |
O = 420 T = 10.78 |
O = 420 T = 11.11 |
O = N/A T = TO |
O = 428 T = 254.16 |
O = 450 T = 1.09 |
| frb30-15-5.wcnf | O = 420 T = 6.60 |
O = 420 T = 6.60 |
O = 420 T = 8.95 |
O = 420 T = 9.56 |
O = 420 T = 11.31 |
O = N/A T = TO |
O = 428 T = 254.05 |
O = N/A T = TO |
| frb35-17-1.wcnf | O = 560 T = 10.58 |
O = 560 T = 10.58 |
O = 560 T = 13.70 |
O = 560 T = 40.35 |
O = 560 T = 15.43 |
O = N/A T = TO |
O = N/A T = TO |
O = 595 T = 0.83 |
| frb35-17-2.wcnf | O = 560 T = 13.47 |
O = 560 T = 14.36 |
O = 560 T = 13.47 |
O = 560 T = 42.32 |
O = 560 T = 68.88 |
O = N/A T = TO |
O = N/A T = TO |
O = 595 T = 0.79 |
| frb35-17-3.wcnf | O = 560 T = 10.07 |
O = 560 T = 12.70 |
O = 560 T = 12.68 |
O = 560 T = 14.54 |
O = 560 T = 10.07 |
O = N/A T = TO |
O = N/A T = TO |
O = 595 T = 0.82 |
| frb35-17-4.wcnf | O = 560 T = 20.09 |
O = 560 T = 20.09 |
O = 560 T = 21.86 |
O = 561 T = 12.07 |
O = 560 T = 265.55 |
O = N/A T = TO |
O = N/A T = TO |
O = 595 T = 0.79 |
| frb35-17-5.wcnf | O = 560 T = 12.10 |
O = 560 T = 12.10 |
O = 560 T = 12.26 |
O = 560 T = 21.02 |
O = 560 T = 40.20 |
O = N/A T = TO |
O = N/A T = TO |
O = 595 T = 0.68 |
| frb40-19-1.wcnf | O = 720 T = 15.59 |
O = 720 T = 15.59 |
O = 720 T = 17.34 |
O = 720 T = 103.47 |
O = 720 T = 16.44 |
O = N/A T = TO |
O = N/A T = TO |
O = 760 T = 0.82 |
| frb40-19-2.wcnf | O = 720 T = 86.25 |
O = 720 T = 279.12 |
O = 720 T = 86.25 |
O = 721 T = 193.92 |
O = 721 T = 97.19 |
O = N/A T = TO |
O = N/A T = TO |
O = 760 T = 1.28 |
| frb40-19-3.wcnf | O = 720 T = 14.32 |
O = 720 T = 99.37 |
O = 720 T = 14.32 |
O = 720 T = 18.13 |
O = 720 T = 31.94 |
O = N/A T = TO |
O = N/A T = TO |
O = 760 T = 0.80 |
| frb40-19-4.wcnf | O = 720 T = 28.84 |
O = 720 T = 28.84 |
O = 720 T = 90.78 |
O = 721 T = 55.60 |
O = 721 T = 17.39 |
O = N/A T = TO |
O = N/A T = TO |
O = 760 T = 0.90 |
| frb40-19-5.wcnf | O = 720 T = 16.59 |
O = 720 T = 16.59 |
O = 721 T = 14.23 |
O = 720 T = 176.55 |
O = 721 T = 31.51 |
O = N/A T = TO |
O = N/A T = TO |
O = 760 T = 1.06 |
| driverlog02bc.wcsp.wcnf | O = 2085 T = 0.21 |
O = 2085 T = 26.40 |
O = N/A T = TO |
O = 2085 T = 14.82 |
O = 2085 T = 0.21 |
O = 2085 T = 41.62 |
O = 2085 T = 0.50 |
O = 2225 T = 0.18 |
| driverlog02c.wcsp.wcnf | O = 2010 T = 0.17 |
O = 2010 T = 64.01 |
O = N/A T = TO |
O = 2010 T = 1.01 |
O = 2010 T = 1.06 |
O = 2010 T = 97.25 |
O = 2010 T = 0.17 |
O = 2010 T = 7.47 |
| driverlog02cc.wcsp.wcnf | O = 2428 T = 2.58 |
O = 2656 T = 64.78 |
O = N/A T = TO |
O = 2809 T = 90.79 |
O = 2656 T = 100.07 |
O = 2428 T = 48.92 |
O = 2428 T = 7.24 |
O = 2428 T = 2.58 |
| driverlog04ac.wcsp.wcnf | O = 1790 T = 0.08 |
O = 1790 T = 0.83 |
O = N/A T = TO |
O = 1790 T = 0.17 |
O = 1790 T = 0.38 |
O = 1790 T = 39.14 |
O = 1790 T = 0.08 |
O = 1790 T = 0.09 |
| driverlog04bc.wcsp.wcnf | O = 1921 T = 0.11 |
O = 1921 T = 0.63 |
O = N/A T = TO |
O = 1921 T = 0.23 |
O = 1921 T = 2.50 |
O = 1921 T = 36.11 |
O = 1921 T = 0.11 |
O = 1981 T = 0.12 |
| driverlog04cc.wcsp.wcnf | O = 2932 T = 2.64 |
O = 2932 T = 7.98 |
O = N/A T = TO |
O = 2932 T = 2.64 |
O = 2932 T = 20.84 |
O = 2932 T = 28.39 |
O = 2932 T = 4.23 |
O = 3044 T = 0.32 |
| driverlog05ac.wcsp.wcnf | O = 1350 T = 0.14 |
O = 1350 T = 6.29 |
O = N/A T = TO |
O = 1350 T = 52.45 |
O = 1350 T = 1.29 |
O = 1350 T = 66.08 |
O = 1350 T = 0.24 |
O = 1350 T = 0.14 |
| driverlog05bc.wcsp.wcnf | O = 1344 T = 0.19 |
O = 1438 T = 12.97 |
O = N/A T = TO |
O = 1344 T = 159.68 |
O = 1344 T = 1.64 |
O = 1344 T = 50.73 |
O = 1344 T = 0.31 |
O = 1344 T = 0.19 |
| driverlog05c.wcsp.wcnf | O = 1350 T = 0.16 |
O = 1350 T = 6.29 |
O = N/A T = TO |
O = 1350 T = 52.30 |
O = 1350 T = 1.25 |
O = 1350 T = 64.62 |
O = 1350 T = 0.25 |
O = 1350 T = 0.16 |
| driverlog08ac.wcsp.wcnf | O = 2220 T = 0.53 |
O = 2220 T = 11.88 |
O = N/A T = TO |
O = 2220 T = 18.66 |
O = 2220 T = 0.76 |
O = N/A T = TO |
O = 2220 T = 0.53 |
O = 2220 T = 3.04 |
| driverlog08c.wcsp.wcnf | O = 2220 T = 0.50 |
O = 2220 T = 8.01 |
O = N/A T = TO |
O = 2220 T = 18.62 |
O = 2220 T = 0.75 |
O = N/A T = TO |
O = 2220 T = 0.50 |
O = 2220 T = 3.09 |
| driverlog08cc.wcsp.wcnf | O = 4052 T = 0.37 |
O = 4052 T = 45.99 |
O = N/A T = TO |
O = 4052 T = 9.63 |
O = 4052 T = 0.37 |
O = 4052 T = 294.75 |
O = N/A T = TO |
O = 4052 T = 4.52 |
| driverlog09.wcsp.wcnf | O = 960 T = 0.34 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 960 T = 296.57 |
O = 960 T = 0.34 |
O = 960 T = 0.83 |
| driverlogs03.wcsp.wcnf | O = 1225 T = 0.02 |
O = 1225 T = 0.67 |
O = N/A T = TO |
O = 1225 T = 0.13 |
O = 1225 T = 0.11 |
O = 1225 T = 7.75 |
O = 1225 T = 0.03 |
O = 1225 T = 0.02 |
| driverlogs06.wcsp.wcnf | O = 1055 T = 0.02 |
O = 1055 T = 0.51 |
O = N/A T = TO |
O = 1055 T = 0.18 |
O = 1055 T = 0.10 |
O = 1055 T = 0.80 |
O = 1055 T = 0.02 |
O = 1055 T = 0.02 |
| logistics01bc.wcsp.wcnf | O = 8035 T = 0.00 |
O = 8035 T = 0.49 |
O = N/A T = TO |
O = 8035 T = 0.13 |
O = 8035 T = 0.22 |
O = 8035 T = 0.06 |
O = 8035 T = 0.00 |
O = 8035 T = 0.01 |
| logistics01c.wcsp.wcnf | O = 8865 T = 0.00 |
O = 8865 T = 0.68 |
O = N/A T = TO |
O = 8865 T = 0.14 |
O = 8865 T = 0.08 |
O = 8865 T = 0.06 |
O = 8865 T = 0.00 |
O = 8865 T = 0.00 |
| logistics01cc.wcsp.wcnf | O = 4282 T = 0.01 |
O = 4282 T = 0.49 |
O = N/A T = TO |
O = 4282 T = 0.07 |
O = 4282 T = 0.08 |
O = 4282 T = 0.06 |
O = 4282 T = 0.01 |
O = 4282 T = 0.01 |
| satellite01ac.wcsp.wcnf | O = 1530 T = 0.07 |
O = 1530 T = 0.68 |
O = N/A T = TO |
O = 1530 T = 0.07 |
O = 1530 T = 0.13 |
O = 1530 T = 2.54 |
O = 1530 T = 0.07 |
O = 1530 T = 0.07 |
| satellite01bc.wcsp.wcnf | O = 1827 T = 0.08 |
O = 1827 T = 0.50 |
O = N/A T = TO |
O = 1827 T = 0.12 |
O = 1827 T = 0.16 |
O = 1827 T = 1.66 |
O = 1827 T = 0.08 |
O = 1827 T = 0.10 |
| satellite01cc.wcsp.wcnf | O = 1530 T = 0.07 |
O = 1530 T = 0.71 |
O = N/A T = TO |
O = 1530 T = 0.07 |
O = 1530 T = 0.10 |
O = 1530 T = 2.62 |
O = 1530 T = 0.07 |
O = 1530 T = 0.07 |
| satellite02ac.wcsp.wcnf | O = 1611 T = 0.21 |
O = 1611 T = 253.98 |
O = N/A T = TO |
O = 1611 T = 2.53 |
O = 1611 T = 113.21 |
O = N/A T = TO |
O = 1611 T = 0.30 |
O = 1611 T = 0.21 |
| satellite02bc.wcsp.wcnf | O = 2289 T = 0.84 |
O = 2414 T = 139.16 |
O = N/A T = TO |
O = 2289 T = 2.37 |
O = 2289 T = 11.95 |
O = 2289 T = 265.80 |
O = 2289 T = 1.98 |
O = 2289 T = 0.84 |
| zenotravel02ac.wcsp.wcnf | O = 2485 T = 0.00 |
O = 2485 T = 0.51 |
O = N/A T = TO |
O = 2485 T = 0.08 |
O = 2485 T = 0.04 |
O = 2485 T = 0.26 |
O = 2485 T = 0.00 |
O = 2485 T = 0.00 |
| zenotravel02bc.wcsp.wcnf | O = 2335 T = 0.00 |
O = 2335 T = 0.53 |
O = N/A T = TO |
O = 2335 T = 0.15 |
O = 2335 T = 0.14 |
O = 2335 T = 0.26 |
O = 2335 T = 0.00 |
O = 2335 T = 0.00 |
| zenotravel02c.wcsp.wcnf | O = 2485 T = 0.00 |
O = 2485 T = 0.53 |
O = N/A T = TO |
O = 2485 T = 0.07 |
O = 2485 T = 0.02 |
O = 2485 T = 0.26 |
O = 2485 T = 0.00 |
O = 2485 T = 0.00 |
| zenotravel02cc.wcsp.wcnf | O = 742 T = 0.00 |
O = 742 T = 0.56 |
O = N/A T = TO |
O = 742 T = 0.17 |
O = 742 T = 0.07 |
O = 742 T = 0.25 |
O = 742 T = 0.00 |
O = 742 T = 0.01 |
| zenotravel04bc.wcsp.wcnf | O = 4110 T = 0.04 |
O = 4110 T = 0.57 |
O = N/A T = TO |
O = 4110 T = 0.29 |
O = 4110 T = 0.22 |
O = 4110 T = 1.32 |
O = 4110 T = 0.04 |
O = 4110 T = 0.04 |
| zenotravel04c.wcsp.wcnf | O = 4270 T = 0.04 |
O = 4270 T = 1.83 |
O = N/A T = TO |
O = 4270 T = 0.32 |
O = 4270 T = 0.38 |
O = 4270 T = 1.40 |
O = 4270 T = 0.04 |
O = 4270 T = 0.04 |
| zenotravel04cc.wcsp.wcnf | O = 1599 T = 0.05 |
O = 1599 T = 1.85 |
O = N/A T = TO |
O = 1599 T = 0.54 |
O = 1599 T = 0.36 |
O = 1599 T = 1.30 |
O = 1599 T = 0.08 |
O = 1599 T = 0.05 |
| cap101.wcsp.wcnf | O = 7966472 T = 0.07 |
O = 11479994 T = 148.64 |
O = N/A T = TO |
O = 11703481 T = 255.49 |
O = 10852752 T = 42.15 |
O = 7966472 T = 0.07 |
O = 10891627 T = 284.43 |
O = 19426160 T = 0.05 |
| cap102.wcsp.wcnf | O = 8547029 T = 0.08 |
O = 11659013 T = 46.48 |
O = N/A T = TO |
O = 11371711 T = 22.28 |
O = 10917557 T = 75.18 |
O = 8547029 T = 0.08 |
O = 11388104 T = 254.22 |
O = 19476160 T = 0.05 |
| cap111.wcsp.wcnf | O = 7934385 T = 0.14 |
O = 13391815 T = 97.75 |
O = N/A T = TO |
O = 12542379 T = 160.88 |
O = 12259158 T = 159.32 |
O = 7934385 T = 0.14 |
O = 11588157 T = 283.64 |
O = 34569756 T = 0.06 |
| cap112.wcsp.wcnf | O = 8514942 T = 0.14 |
O = 13475188 T = 4.52 |
O = N/A T = TO |
O = 12506983 T = 161.86 |
O = 12290420 T = 94.09 |
O = 8514942 T = 0.14 |
O = 12226689 T = 283.89 |
O = 34619756 T = 0.06 |
| cap121.wcsp.wcnf | O = 7934385 T = 0.13 |
O = 13391815 T = 98.60 |
O = N/A T = TO |
O = 12542379 T = 162.03 |
O = 12259158 T = 159.99 |
O = 7934385 T = 0.13 |
O = 11588157 T = 283.85 |
O = 34569756 T = 0.11 |
| cap122.wcsp.wcnf | O = 8514942 T = 0.13 |
O = 13475188 T = 4.30 |
O = N/A T = TO |
O = 12506983 T = 161.84 |
O = 12290420 T = 94.30 |
O = 8514942 T = 0.13 |
O = 12226689 T = 283.85 |
O = 34619756 T = 0.03 |
| cap131.wcsp.wcnf | O = 7934385 T = 0.14 |
O = 13215128 T = 3.75 |
O = N/A T = TO |
O = 12542379 T = 161.09 |
O = 12259158 T = 160.50 |
O = 7934385 T = 0.14 |
O = 11588157 T = 283.85 |
O = 34569756 T = 0.11 |
| cap132.wcsp.wcnf | O = 8514942 T = 0.14 |
O = 12266441 T = 218.29 |
O = N/A T = TO |
O = 12506983 T = 162.23 |
O = 12290420 T = 94.43 |
O = 8514942 T = 0.14 |
O = 12226689 T = 284.25 |
O = 34619756 T = 0.05 |
| cap61.wcsp.wcnf | O = 9326144 T = 0.05 |
O = 10791081 T = 80.63 |
O = 10703198 T = 199.56 |
O = 10239963 T = 106.62 |
O = 9527195 T = 219.06 |
O = 9326144 T = 0.05 |
O = N/A T = TO |
O = 19426160 T = 0.11 |
| cap62.wcsp.wcnf | O = 9777981 T = 0.05 |
O = 10787461 T = 140.96 |
O = 11840874 T = 49.00 |
O = 10635241 T = 221.67 |
O = 10047495 T = 224.25 |
O = 9777981 T = 0.05 |
O = N/A T = TO |
O = 19476160 T = 0.12 |
| cap71.wcsp.wcnf | O = 9326144 T = 0.05 |
O = 10791081 T = 82.03 |
O = 10703198 T = 199.70 |
O = 10239963 T = 106.98 |
O = 9527195 T = 217.33 |
O = 9326144 T = 0.05 |
O = N/A T = TO |
O = 19426160 T = 0.09 |
| cap72.wcsp.wcnf | O = 9777981 T = 0.05 |
O = 10787461 T = 140.38 |
O = 11805066 T = 295.42 |
O = 10635241 T = 221.45 |
O = 10047495 T = 223.69 |
O = 9777981 T = 0.05 |
O = N/A T = TO |
O = 19476160 T = 0.12 |
| cap81.wcsp.wcnf | O = 7966472 T = 0.08 |
O = 11706990 T = 89.24 |
O = N/A T = TO |
O = 11703481 T = 258.90 |
O = 10852752 T = 42.28 |
O = 7966472 T = 0.08 |
O = 10891627 T = 283.78 |
O = 19426160 T = 0.07 |
| cap82.wcsp.wcnf | O = 8547029 T = 0.07 |
O = 11645952 T = 50.15 |
O = N/A T = TO |
O = 11371711 T = 22.49 |
O = 10917557 T = 75.39 |
O = 8547029 T = 0.07 |
O = 11388104 T = 283.90 |
O = 19476160 T = 0.06 |
| cap91.wcsp.wcnf | O = 7966472 T = 0.08 |
O = 11706990 T = 88.34 |
O = N/A T = TO |
O = 11703481 T = 256.41 |
O = 10852752 T = 42.26 |
O = 7966472 T = 0.08 |
O = 10891627 T = 283.63 |
O = 19426160 T = 0.05 |
| cap92.wcsp.wcnf | O = 8547029 T = 0.07 |
O = 11462163 T = 6.71 |
O = N/A T = TO |
O = 11371711 T = 22.48 |
O = 10917557 T = 75.18 |
O = 8547029 T = 0.07 |
O = 11388104 T = 284.19 |
O = 19476160 T = 0.09 |
| warehouse0.wcsp.wcnf | O = 328 T = 0.00 |
O = 328 T = 1.14 |
O = 328 T = 0.61 |
O = 328 T = 0.38 |
O = 328 T = 0.83 |
O = 328 T = 0.00 |
O = 328 T = 0.00 |
O = 328 T = 1.63 |
| warehouse1.wcsp.wcnf | O = 730567 T = 0.03 |
O = 788687 T = 290.02 |
O = 736631 T = 228.47 |
O = 760848 T = 235.22 |
O = 757395 T = 258.11 |
O = 730567 T = 0.03 |
O = 730567 T = 7.20 |
O = 901453 T = 0.22 |
| normalized-mps-v2-20-10-bm23.opb.msat.wcnf | O = 34 T = 0.91 |
O = N/A T = TO |
O = N/A T = TO |
O = 62 T = 6.66 |
O = 58 T = 198.44 |
O = N/A T = TO |
O = 34 T = 0.91 |
O = 34 T = 33.81 |
| normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf | O = 22199 T = 31.25 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 22199 T = 283.80 |
O = 22199 T = 31.25 |
| normalized-mps-v2-20-10-l152lav.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| normalized-mps-v2-20-10-lp4l.opb.msat.wcnf | O = 4124 T = 1.98 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 4192 T = 284.18 |
O = 4124 T = 1.98 |
| normalized-mps-v2-20-10-lseu.opb.msat.wcnf | O = 1120 T = 28.87 |
O = 2222 T = 10.45 |
O = N/A T = TO |
O = 1650 T = 159.71 |
O = 1768 T = 272.42 |
O = N/A T = TO |
O = 1120 T = 28.87 |
O = 1255 T = 0.42 |
| normalized-mps-v2-20-10-mod008.opb.msat.wcnf | O = 423 T = 284.29 |
O = N/A T = TO |
O = N/A T = TO |
O = 486 T = 205.22 |
O = N/A T = TO |
O = N/A T = TO |
O = 423 T = 284.29 |
O = 535 T = 14.52 |
| normalized-mps-v2-20-10-mod010.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| normalized-mps-v2-20-10-p0033.opb.msat.wcnf | O = 3089 T = 0.07 |
O = 3089 T = 10.48 |
O = 3089 T = 19.81 |
O = 3089 T = 0.29 |
O = 3089 T = 0.23 |
O = 3089 T = 1.65 |
O = 3089 T = 0.07 |
O = 3095 T = 1.25 |
| normalized-mps-v2-20-10-p0040.opb.msat.wcnf | O = 62027 T = 0.02 |
O = 62027 T = 0.85 |
O = 62027 T = 0.43 |
O = 62027 T = 0.55 |
O = 62027 T = 0.55 |
O = 62027 T = 0.03 |
O = 62027 T = 0.04 |
O = 62027 T = 0.02 |
| normalized-mps-v2-20-10-p0201.opb.msat.wcnf | O = 1523 T = 24.99 |
O = 1876 T = 210.98 |
O = 1848 T = 262.08 |
O = 1884 T = 49.19 |
O = 1889 T = 155.45 |
O = 1523 T = 184.08 |
O = 1523 T = 24.99 |
O = 2040 T = 0.08 |
| normalized-mps-v2-20-10-p0548.opb.msat.wcnf | O = 44319 T = 283.92 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 44319 T = 283.92 |
O = 54631 T = 11.49 |
| normalized-mps-v2-20-10-sentoy.opb.msat.wcnf | O = 5109 T = 283.17 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 5109 T = 283.17 |
O = N/A T = TO |
| ram_k3_n10.ra1.wcnf | O = 232 T = 0.84 |
O = 232 T = 2.87 |
O = 232 T = 1.55 |
O = 232 T = 1.77 |
O = 232 T = 0.84 |
O = 232 T = 46.41 |
O = 1423 T = 283.97 |
O = 49691 T = 1.29 |
| ram_k3_n11.ra1.wcnf | O = 318 T = 1.32 |
O = 318 T = 1.74 |
O = 318 T = 2.07 |
O = 318 T = 1.51 |
O = 318 T = 1.32 |
O = 318 T = 191.81 |
O = 3847 T = 283.56 |
O = N/A T = TO |
| ram_k3_n12.ra1.wcnf | O = 524 T = 1.76 |
O = 524 T = 1.99 |
O = 524 T = 2.31 |
O = 524 T = 1.76 |
O = 524 T = 2.05 |
O = N/A T = TO |
O = 5751 T = 284.27 |
O = 592 T = 9.52 |
| ram_k3_n13.ra1.wcnf | O = 1417 T = 2.37 |
O = 1417 T = 2.62 |
O = 1417 T = 2.75 |
O = 1417 T = 2.37 |
O = 1417 T = 2.54 |
O = N/A T = TO |
O = 11024 T = 284.01 |
O = 1833 T = 57.38 |
| ram_k3_n14.ra1.wcnf | O = 3025 T = 2.01 |
O = 3025 T = 2.57 |
O = 3025 T = 3.10 |
O = 3025 T = 2.26 |
O = 3025 T = 2.01 |
O = N/A T = TO |
O = 14493 T = 284.50 |
O = 3430 T = 55.24 |
| ram_k3_n15.ra1.wcnf | O = 4884 T = 3.33 |
O = 4884 T = 3.89 |
O = 4884 T = 3.53 |
O = 4884 T = 3.33 |
O = 4884 T = 3.46 |
O = N/A T = TO |
O = 21127 T = 283.37 |
O = 6222 T = 145.20 |
| ram_k3_n16.ra1.wcnf | O = 7271 T = 3.30 |
O = 7271 T = 4.72 |
O = 7271 T = 3.76 |
O = 7271 T = 3.40 |
O = 7271 T = 3.30 |
O = N/A T = TO |
O = 24062 T = 283.84 |
O = 9676 T = 218.58 |
| ram_k3_n17.ra1.wcnf | O = 10372 T = 3.23 |
O = 10372 T = 3.90 |
O = 10372 T = 4.12 |
O = 10372 T = 5.03 |
O = 10372 T = 3.23 |
O = N/A T = TO |
O = 39426 T = 283.67 |
O = 15349 T = 50.58 |
| ram_k3_n18.ra1.wcnf | O = 15621 T = 4.22 |
O = 15621 T = 4.22 |
O = 15621 T = 37.54 |
O = 15621 T = 18.93 |
O = 15621 T = 15.48 |
O = N/A T = TO |
O = 43648 T = 284.53 |
O = 23074 T = 10.00 |
| ram_k3_n19.ra1.wcnf | O = 20665 T = 17.01 |
O = 20665 T = 138.88 |
O = 20665 T = 114.19 |
O = 20665 T = 17.01 |
O = 20665 T = 44.69 |
O = N/A T = TO |
O = 59260 T = 283.70 |
O = 29874 T = 113.24 |
| ram_k3_n20.ra1.wcnf | O = 23898 T = 6.02 |
O = 23898 T = 74.86 |
O = 23898 T = 6.02 |
O = 24804 T = 6.34 |
O = 24548 T = 6.07 |
O = N/A T = TO |
O = 72730 T = 283.78 |
O = 35286 T = 77.45 |
| ram_k3_n9.ra1.wcnf | O = 7 T = 0.31 |
O = 7 T = 0.92 |
O = 7 T = 0.83 |
O = 7 T = 0.41 |
O = 7 T = 0.47 |
O = 7 T = 0.49 |
O = 7 T = 2.92 |
O = 7 T = 0.31 |
| ram_k4_n18.ra1.wcnf | O = 285 T = 181.41 |
O = 388 T = 293.99 |
O = 285 T = 181.41 |
O = 383 T = 125.61 |
O = 417 T = 191.53 |
O = N/A T = TO |
O = 22749 T = 283.93 |
O = 1529 T = 124.74 |
| ram_k4_n19.ra1.wcnf | O = 1009 T = 157.12 |
O = 1378 T = 238.62 |
O = 1360 T = 95.53 |
O = 1009 T = 157.12 |
O = 1037 T = 278.76 |
O = N/A T = TO |
O = 39038 T = 283.81 |
O = 3739 T = 20.62 |
| ram_k4_n20.ra1.wcnf | O = 3039 T = 30.48 |
O = 3113 T = 90.26 |
O = 3054 T = 204.31 |
O = 3039 T = 30.48 |
O = 3139 T = 47.41 |
O = N/A T = TO |
O = 49693 T = 283.75 |
O = 7726 T = 166.05 |
| random-net-200-1_network-1.net.wcnf | O = 172132 T = 0.53 |
O = 184243 T = 269.76 |
O = 191090 T = 190.61 |
O = 210497 T = 70.28 |
O = 208960 T = 71.66 |
O = 172132 T = 0.53 |
O = N/A T = TO |
O = 348414 T = 0.27 |
| random-net-200-1_network-3.net.wcnf | O = 187891 T = 1.52 |
O = 207117 T = 100.76 |
O = 217388 T = 109.52 |
O = 224940 T = 243.80 |
O = 222846 T = 126.48 |
O = 187891 T = 1.52 |
O = N/A T = TO |
O = 195410 T = 1.28 |
| random-net-200-1_network-4.net.wcnf | O = 202191 T = 1.09 |
O = 223652 T = 98.10 |
O = 228343 T = 109.16 |
O = 238637 T = 140.48 |
O = 235046 T = 173.46 |
O = 202191 T = 1.09 |
O = 202191 T = 21.04 |
O = 210715 T = 1.96 |
| random-net-240-1_network-1.net.wcnf | O = 224300 T = 1.17 |
O = 251235 T = 16.53 |
O = 261200 T = 19.06 |
O = 274792 T = 168.80 |
O = 271416 T = 52.10 |
O = 224300 T = 1.17 |
O = N/A T = TO |
O = 243026 T = 1.46 |
| random-net-240-1_network-2.net.wcnf | O = 220878 T = 0.96 |
O = 247326 T = 292.41 |
O = 257177 T = 265.61 |
O = 271094 T = 144.81 |
O = 269100 T = 185.93 |
O = 220878 T = 0.96 |
O = N/A T = TO |
O = 234452 T = 1.06 |
| random-net-240-1_network-3.net.wcnf | O = 213755 T = 0.85 |
O = 232883 T = 88.04 |
O = 245420 T = 85.43 |
O = 262356 T = 61.40 |
O = 262702 T = 239.47 |
O = 213755 T = 0.85 |
O = 213755 T = 9.38 |
O = 223387 T = 0.54 |
| random-net-240-1_network-4.net.wcnf | O = 231994 T = 1.72 |
O = 263225 T = 194.36 |
O = 274133 T = 61.37 |
O = 281600 T = 80.78 |
O = 281927 T = 145.25 |
O = 231994 T = 1.72 |
O = N/A T = TO |
O = 252177 T = 1.08 |
| random-net-240-1_network-5.net.wcnf | O = 227363 T = 0.96 |
O = 254047 T = 219.87 |
O = 260890 T = 291.48 |
O = 275271 T = 89.87 |
O = 275634 T = 20.30 |
O = 227363 T = 0.96 |
O = N/A T = TO |
O = 245874 T = 0.72 |
| random-net-280-1_network-2.net.wcnf | O = 263706 T = 1.30 |
O = 290710 T = 164.08 |
O = 300553 T = 22.88 |
O = 328207 T = 98.60 |
O = 323647 T = 118.05 |
O = 263706 T = 1.30 |
O = N/A T = TO |
O = 281524 T = 1.67 |
| random-net-280-1_network-3.net.wcnf | O = 257943 T = 1.70 |
O = 295048 T = 220.02 |
O = 301239 T = 73.68 |
O = 322967 T = 161.14 |
O = 317789 T = 63.85 |
O = 257943 T = 1.70 |
O = N/A T = TO |
O = 273049 T = 0.94 |
| random-net-280-1_network-4.net.wcnf | O = 251789 T = 1.13 |
O = 282409 T = 88.49 |
O = 291228 T = 258.68 |
O = 316093 T = 207.16 |
O = 311862 T = 133.05 |
O = 251789 T = 1.13 |
O = 251789 T = 25.12 |
O = 268134 T = 0.69 |
| random-net-280-1_network-5.net.wcnf | O = 254206 T = 1.49 |
O = 289644 T = 141.12 |
O = 297378 T = 288.31 |
O = 313555 T = 213.83 |
O = 312201 T = 59.07 |
O = 254206 T = 1.49 |
O = 254206 T = 15.38 |
O = 272442 T = 3.35 |
| random-net-300-1_network-1.net.wcnf | O = 285555 T = 1.68 |
O = 332599 T = 198.85 |
O = 344519 T = 63.09 |
O = 352445 T = 144.86 |
O = 348158 T = 22.07 |
O = 285555 T = 1.68 |
O = N/A T = TO |
O = 312975 T = 0.83 |
| random-net-300-1_network-2.net.wcnf | O = 293088 T = 1.28 |
O = 330670 T = 8.94 |
O = 337220 T = 191.49 |
O = 360403 T = 12.51 |
O = 357429 T = 114.67 |
O = 293088 T = 1.28 |
O = N/A T = TO |
O = 309831 T = 1.64 |
| random-net-300-1_network-3.net.wcnf | O = 271896 T = 1.45 |
O = 314954 T = 22.17 |
O = 323929 T = 199.44 |
O = 343011 T = 51.67 |
O = 339981 T = 173.85 |
O = 271896 T = 1.45 |
O = N/A T = TO |
O = 298179 T = 0.48 |
| random-net-300-1_network-4.net.wcnf | O = 284120 T = 1.11 |
O = 317627 T = 18.38 |
O = 328795 T = 136.67 |
O = 354941 T = 85.51 |
O = 346856 T = 177.76 |
O = 284120 T = 1.11 |
O = 284120 T = 32.25 |
O = 311387 T = 0.63 |
| random-net-300-1_network-5.net.wcnf | O = 267307 T = 1.35 |
O = 312379 T = 293.93 |
O = 324108 T = 261.10 |
O = 334984 T = 194.95 |
O = 331003 T = 140.70 |
O = 267307 T = 1.35 |
O = 267307 T = 62.81 |
O = 281542 T = 1.10 |
| random-net-50-2_network-1.net.wcnf | O = 48636 T = 0.81 |
O = 48659 T = 269.38 |
O = 48909 T = 214.60 |
O = 50451 T = 222.26 |
O = 50281 T = 11.65 |
O = 48636 T = 6.71 |
O = N/A T = TO |
O = 48636 T = 0.81 |
| random-net-50-2_network-2.net.wcnf | O = 43675 T = 13.23 |
O = 43922 T = 61.60 |
O = 44553 T = 143.16 |
O = 47076 T = 113.10 |
O = 46681 T = 183.80 |
O = 43675 T = 13.23 |
O = N/A T = TO |
O = 43675 T = 30.02 |
| random-net-50-2_network-3.net.wcnf | O = 46924 T = 17.03 |
O = 47387 T = 97.36 |
O = 48087 T = 78.74 |
O = 49378 T = 201.29 |
O = 48449 T = 59.02 |
O = 46924 T = 17.03 |
O = N/A T = TO |
O = 85797 T = 0.81 |
| random-net-50-2_network-4.net.wcnf | O = 45279 T = 0.65 |
O = 46382 T = 282.80 |
O = 46506 T = 229.73 |
O = 46986 T = 70.51 |
O = 47678 T = 2.28 |
O = 45279 T = 10.32 |
O = N/A T = TO |
O = 45279 T = 0.65 |
| random-net-50-2_network-5.net.wcnf | O = 50309 T = 120.83 |
O = 51603 T = 260.68 |
O = 51782 T = 26.92 |
O = 53402 T = 198.98 |
O = 53361 T = 95.41 |
O = N/A T = TO |
O = N/A T = TO |
O = 50309 T = 120.83 |
| random-net-60-2_network-1.net.wcnf | O = 53630 T = 95.77 |
O = 54196 T = 162.65 |
O = 55417 T = 249.27 |
O = 60510 T = 85.50 |
O = 60157 T = 118.67 |
O = 53630 T = 95.77 |
O = N/A T = TO |
O = 112664 T = 0.53 |
| random-net-60-2_network-2.net.wcnf | O = 55787 T = 16.52 |
O = 57657 T = 224.97 |
O = 59628 T = 126.93 |
O = 62424 T = 10.33 |
O = 62321 T = 12.06 |
O = N/A T = TO |
O = N/A T = TO |
O = 55787 T = 16.52 |
| random-net-60-2_network-3.net.wcnf | O = 58949 T = 218.71 |
O = 58949 T = 218.71 |
O = 60341 T = 26.65 |
O = 64145 T = 40.71 |
O = 63425 T = 281.65 |
O = N/A T = TO |
O = N/A T = TO |
O = 115318 T = 1.15 |
| random-net-60-2_network-4.net.wcnf | O = 54951 T = 72.25 |
O = 56363 T = 135.71 |
O = 57176 T = 184.78 |
O = 59425 T = 193.53 |
O = 59097 T = 62.29 |
O = 54951 T = 72.25 |
O = N/A T = TO |
O = N/A T = TO |
| random-net-60-2_network-5.net.wcnf | O = 58707 T = 37.20 |
O = 58707 T = 37.20 |
O = 60070 T = 194.69 |
O = 61064 T = 60.62 |
O = 62145 T = 17.38 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| random-net-80-2_network-1.net.wcnf | O = 69705 T = 239.90 |
O = 69705 T = 239.90 |
O = 72245 T = 129.14 |
O = 75831 T = 125.98 |
O = 75944 T = 274.51 |
O = N/A T = TO |
O = N/A T = TO |
O = 173221 T = 0.72 |
| random-net-80-2_network-2.net.wcnf | O = 75273 T = 92.17 |
O = 75273 T = 92.17 |
O = 78263 T = 50.00 |
O = 82275 T = 126.47 |
O = 81076 T = 94.43 |
O = N/A T = TO |
O = N/A T = TO |
O = 80694 T = 2.92 |
| random-net-80-2_network-3.net.wcnf | O = 72891 T = 18.81 |
O = 72891 T = 18.81 |
O = 75261 T = 102.88 |
O = 80384 T = 124.97 |
O = 80843 T = 273.83 |
O = N/A T = TO |
O = N/A T = TO |
O = 159659 T = 0.95 |
| random-net-80-2_network-4.net.wcnf | O = 78706 T = 87.92 |
O = 78706 T = 87.92 |
O = 82262 T = 82.39 |
O = 86529 T = 206.84 |
O = 86099 T = 90.11 |
O = N/A T = TO |
O = N/A T = TO |
O = 82004 T = 1.76 |
| random-net-80-2_network-5.net.wcnf | O = 76097 T = 215.21 |
O = 76097 T = 215.21 |
O = 76443 T = 50.28 |
O = 83110 T = 32.64 |
O = 82342 T = 117.99 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| scp410_weighted.wcnf | O = 514 T = 0.02 |
O = 521 T = 151.88 |
O = 557 T = 257.04 |
O = 915 T = 24.69 |
O = 578 T = 139.37 |
O = 514 T = 0.02 |
O = 532 T = 283.46 |
O = 545 T = 5.32 |
| scp41_weighted.wcnf | O = 429 T = 0.02 |
O = 435 T = 272.04 |
O = 462 T = 171.86 |
O = 854 T = 87.47 |
O = 503 T = 213.96 |
O = 429 T = 0.02 |
O = 429 T = 16.55 |
O = 458 T = 0.16 |
| scp42_weighted.wcnf | O = 512 T = 0.02 |
O = 526 T = 22.54 |
O = 554 T = 32.16 |
O = 774 T = 251.74 |
O = 573 T = 103.86 |
O = 512 T = 0.02 |
O = 529 T = 283.79 |
O = 559 T = 0.38 |
| scp43_weighted.wcnf | O = 516 T = 0.02 |
O = 535 T = 145.17 |
O = 559 T = 106.46 |
O = 799 T = 53.74 |
O = 577 T = 252.13 |
O = 516 T = 0.02 |
O = 537 T = 283.69 |
O = 562 T = 4.53 |
| scp44_weighted.wcnf | O = 494 T = 0.03 |
O = 505 T = 284.36 |
O = 519 T = 127.07 |
O = 837 T = 19.78 |
O = 552 T = 82.72 |
O = 494 T = 0.03 |
O = 510 T = 283.96 |
O = 532 T = 1.02 |
| scp45_weighted.wcnf | O = 512 T = 0.02 |
O = 537 T = 154.39 |
O = 542 T = 227.33 |
O = 772 T = 146.65 |
O = 547 T = 153.31 |
O = 512 T = 0.02 |
O = 512 T = 16.11 |
O = 528 T = 1.40 |
| scp46_weighted.wcnf | O = 560 T = 0.03 |
O = 575 T = 111.97 |
O = 593 T = 152.50 |
O = 899 T = 150.79 |
O = 609 T = 72.07 |
O = 560 T = 0.03 |
O = 574 T = 283.32 |
O = 599 T = 2.40 |
| scp47_weighted.wcnf | O = 430 T = 0.02 |
O = 437 T = 271.51 |
O = 437 T = 192.27 |
O = 714 T = 225.80 |
O = 467 T = 263.57 |
O = 430 T = 0.02 |
O = 430 T = 3.10 |
O = 444 T = 1.01 |
| scp48_weighted.wcnf | O = 492 T = 0.04 |
O = 500 T = 154.34 |
O = 498 T = 185.57 |
O = 810 T = 220.63 |
O = 554 T = 30.11 |
O = 492 T = 0.04 |
O = 513 T = 283.51 |
O = 513 T = 1.09 |
| scp49_weighted.wcnf | O = 641 T = 0.04 |
O = 656 T = 85.14 |
O = 696 T = 92.30 |
O = 1049 T = 223.60 |
O = 738 T = 19.00 |
O = 641 T = 0.04 |
O = 675 T = 284.67 |
O = 699 T = 0.43 |
| scp510_weighted.wcnf | O = 265 T = 0.04 |
O = 284 T = 44.99 |
O = 320 T = 190.31 |
O = 546 T = 39.98 |
O = 404 T = 125.30 |
O = 265 T = 0.04 |
O = 265 T = 68.16 |
O = 280 T = 0.01 |
| scp51_weighted.wcnf | O = 253 T = 0.07 |
O = 271 T = 171.82 |
O = 278 T = 277.27 |
O = 470 T = 37.37 |
O = 362 T = 217.06 |
O = 253 T = 0.07 |
O = 258 T = 283.48 |
O = 277 T = 28.01 |
| scp52_weighted.wcnf | O = 302 T = 0.11 |
O = 324 T = 137.77 |
O = 341 T = 223.62 |
O = 508 T = 30.69 |
O = 423 T = 74.48 |
O = 302 T = 0.11 |
O = 316 T = 282.94 |
O = 324 T = 0.03 |
| scp53_weighted.wcnf | O = 226 T = 0.04 |
O = 230 T = 142.07 |
O = 242 T = 147.72 |
O = 458 T = 35.95 |
O = 326 T = 177.91 |
O = 226 T = 0.04 |
O = 226 T = 0.72 |
O = 243 T = 0.19 |
| scp54_weighted.wcnf | O = 242 T = 0.05 |
O = 263 T = 43.30 |
O = 278 T = 151.91 |
O = 535 T = 39.67 |
O = 342 T = 153.02 |
O = 242 T = 0.05 |
O = 242 T = 18.72 |
O = 256 T = 0.16 |
| scp55_weighted.wcnf | O = 211 T = 0.04 |
O = 223 T = 154.36 |
O = 239 T = 36.73 |
O = 487 T = 34.05 |
O = 338 T = 40.72 |
O = 211 T = 0.04 |
O = 211 T = 16.13 |
O = 225 T = 0.13 |
| scp56_weighted.wcnf | O = 213 T = 0.04 |
O = 216 T = 184.53 |
O = 229 T = 83.82 |
O = 487 T = 37.52 |
O = 341 T = 209.56 |
O = 213 T = 0.04 |
O = 213 T = 46.60 |
O = 241 T = 0.23 |
| scp57_weighted.wcnf | O = 293 T = 0.08 |
O = 307 T = 253.67 |
O = 325 T = 94.10 |
O = 578 T = 35.79 |
O = 413 T = 149.39 |
O = 293 T = 0.08 |
O = 312 T = 283.78 |
O = 320 T = 0.02 |
| scp58_weighted.wcnf | O = 288 T = 0.07 |
O = 318 T = 49.61 |
O = 354 T = 238.93 |
O = 443 T = 43.65 |
O = 368 T = 257.09 |
O = 288 T = 0.07 |
O = 311 T = 283.99 |
O = 324 T = 0.02 |
| scp59_weighted.wcnf | O = 279 T = 0.04 |
O = 295 T = 255.01 |
O = 291 T = 46.29 |
O = 544 T = 48.76 |
O = 387 T = 167.28 |
O = 279 T = 0.04 |
O = 279 T = 71.40 |
O = 311 T = 4.57 |
| scp61_weighted.wcnf | O = 138 T = 0.46 |
O = 139 T = 236.76 |
O = 143 T = 18.27 |
O = 262 T = 17.46 |
O = 205 T = 147.72 |
O = 138 T = 0.46 |
O = 154 T = 283.41 |
O = 154 T = 1.13 |
| scp62_weighted.wcnf | O = 146 T = 0.87 |
O = 148 T = 32.86 |
O = 149 T = 64.38 |
O = 290 T = 284.32 |
O = 199 T = 222.67 |
O = 146 T = 0.87 |
O = 150 T = 283.52 |
O = 158 T = 0.38 |
| scp63_weighted.wcnf | O = 145 T = 0.56 |
O = 149 T = 184.99 |
O = 153 T = 208.05 |
O = 268 T = 10.52 |
O = 206 T = 193.38 |
O = 145 T = 0.56 |
O = 160 T = 283.17 |
O = 158 T = 0.30 |
| scp64_weighted.wcnf | O = 131 T = 0.06 |
O = 136 T = 19.13 |
O = 144 T = 244.42 |
O = 277 T = 21.16 |
O = 185 T = 95.34 |
O = 131 T = 0.06 |
O = 136 T = 284.14 |
O = 146 T = 1.16 |
| scp65_weighted.wcnf | O = 161 T = 0.56 |
O = 161 T = 32.66 |
O = 169 T = 84.78 |
O = 280 T = 14.45 |
O = 233 T = 70.62 |
O = 161 T = 0.56 |
O = 175 T = 283.75 |
O = 186 T = 1.00 |
| scpnre1_weighted.wcnf | O = 29 T = 42.99 |
O = 29 T = 42.99 |
O = N/A T = TO |
O = 39 T = 38.74 |
O = 39 T = 42.17 |
O = 29 T = 56.42 |
O = 31 T = 284.07 |
O = 31 T = 0.05 |
| scpnre2_weighted.wcnf | O = 30 T = 210.75 |
O = 30 T = 210.75 |
O = N/A T = TO |
O = 51 T = 31.17 |
O = 51 T = 32.71 |
O = 30 T = 260.81 |
O = 36 T = 282.96 |
O = 36 T = 0.03 |
| scpnre3_weighted.wcnf | O = 27 T = 41.87 |
O = N/A T = TO |
O = N/A T = TO |
O = 39 T = 35.20 |
O = 40 T = 34.81 |
O = 27 T = 41.87 |
O = 34 T = 283.43 |
O = 34 T = 0.05 |
| scpnre4_weighted.wcnf | O = 28 T = 101.46 |
O = N/A T = TO |
O = 38 T = 54.92 |
O = 44 T = 31.96 |
O = 44 T = 50.61 |
O = 28 T = 101.46 |
O = 33 T = 283.25 |
O = 33 T = 0.05 |
| scpnre5_weighted.wcnf | O = 28 T = 47.82 |
O = N/A T = TO |
O = 31 T = 169.71 |
O = 45 T = 50.57 |
O = 45 T = 36.62 |
O = 28 T = 47.82 |
O = 31 T = 284.08 |
O = 31 T = 0.04 |
| scpnrf1_weighted.wcnf | O = 14 T = 38.83 |
O = 14 T = 38.83 |
O = N/A T = TO |
O = 18 T = 67.71 |
O = 18 T = 34.01 |
O = 14 T = 90.08 |
O = 17 T = 283.94 |
O = 17 T = 0.06 |
| scpnrf2_weighted.wcnf | O = 15 T = 31.34 |
O = 15 T = 31.34 |
O = N/A T = TO |
O = 19 T = 40.74 |
O = 19 T = 35.42 |
O = 15 T = 45.75 |
O = 19 T = 283.69 |
O = 19 T = 0.06 |
| scpnrf3_weighted.wcnf | O = 14 T = 35.74 |
O = 14 T = 35.74 |
O = N/A T = TO |
O = 18 T = 42.70 |
O = 19 T = 31.95 |
O = 14 T = 49.90 |
O = 18 T = 283.86 |
O = 19 T = 0.06 |
| scpnrf4_weighted.wcnf | O = 14 T = 149.83 |
O = N/A T = TO |
O = N/A T = TO |
O = 16 T = 46.21 |
O = 16 T = 34.48 |
O = 14 T = 149.83 |
O = 18 T = 283.58 |
O = 18 T = 0.04 |
| scpnrf5_weighted.wcnf | O = 13 T = 44.65 |
O = 13 T = 44.65 |
O = N/A T = TO |
O = 18 T = 49.84 |
O = 18 T = 51.65 |
O = N/A T = TO |
O = 16 T = 283.79 |
O = 16 T = 0.08 |
| scpnrg1_weighted.wcnf | O = 198 T = 0.06 |
O = N/A T = TO |
O = N/A T = TO |
O = 310 T = 31.35 |
O = 310 T = 61.77 |
O = N/A T = TO |
O = 198 T = 283.87 |
O = 198 T = 0.06 |
| scpnrg2_weighted.wcnf | O = 169 T = 0.04 |
O = N/A T = TO |
O = N/A T = TO |
O = 278 T = 80.09 |
O = 278 T = 30.73 |
O = N/A T = TO |
O = 169 T = 283.55 |
O = 169 T = 0.04 |
| scpnrg3_weighted.wcnf | O = 181 T = 0.04 |
O = 211 T = 287.05 |
O = 261 T = 264.48 |
O = 288 T = 78.73 |
O = 288 T = 27.16 |
O = N/A T = TO |
O = 181 T = 284.20 |
O = 181 T = 0.04 |
| scpnrg4_weighted.wcnf | O = 185 T = 0.06 |
O = N/A T = TO |
O = N/A T = TO |
O = 291 T = 37.57 |
O = 291 T = 44.23 |
O = N/A T = TO |
O = 185 T = 283.41 |
O = 185 T = 0.06 |
| scpnrg5_weighted.wcnf | O = 192 T = 0.04 |
O = N/A T = TO |
O = N/A T = TO |
O = 295 T = 35.56 |
O = 295 T = 39.64 |
O = N/A T = TO |
O = 192 T = 282.76 |
O = 192 T = 0.04 |
| scpnrh1_weighted.wcnf | O = 73 T = 0.08 |
O = N/A T = TO |
O = N/A T = TO |
O = 98 T = 41.42 |
O = 98 T = 46.11 |
O = N/A T = TO |
O = 73 T = 283.72 |
O = 73 T = 0.08 |
| scpnrh2_weighted.wcnf | O = 67 T = 0.06 |
O = N/A T = TO |
O = N/A T = TO |
O = 100 T = 44.30 |
O = 103 T = 36.50 |
O = N/A T = TO |
O = 67 T = 283.75 |
O = 67 T = 0.06 |
| scpnrh3_weighted.wcnf | O = 67 T = 44.11 |
O = 67 T = 44.11 |
O = N/A T = TO |
O = 90 T = 41.60 |
O = 90 T = 43.15 |
O = N/A T = TO |
O = 69 T = 254.41 |
O = 69 T = 0.06 |
| scpnrh4_weighted.wcnf | O = 68 T = 0.06 |
O = N/A T = TO |
O = 115 T = 265.34 |
O = 96 T = 51.79 |
O = 95 T = 48.39 |
O = N/A T = TO |
O = 68 T = 283.68 |
O = 68 T = 0.06 |
| scpnrh5_weighted.wcnf | O = 64 T = 0.05 |
O = N/A T = TO |
O = N/A T = TO |
O = 84 T = 31.18 |
O = 89 T = 55.03 |
O = N/A T = TO |
O = 64 T = 283.48 |
O = 64 T = 0.05 |
| MANN_a27.clq.wcnf | O = 2049 T = 0.65 |
O = 2049 T = 1.26 |
O = 2049 T = 0.95 |
O = 2049 T = 0.65 |
O = 2049 T = 0.83 |
O = N/A T = TO |
O = 2100 T = 283.97 |
O = 2225 T = 1.91 |
| MANN_a45.clq.wcnf | O = 2057 T = 0.62 |
O = 2057 T = 0.88 |
O = 2057 T = 0.93 |
O = 2057 T = 0.90 |
O = 2057 T = 0.62 |
O = N/A T = TO |
O = 2085 T = 282.90 |
O = 2229 T = 1.35 |
| MANN_a81.clq.wcnf | O = 1995 T = 0.84 |
O = 1995 T = 0.91 |
O = 1995 T = 0.84 |
O = 1995 T = 1.31 |
O = 1995 T = 0.93 |
O = N/A T = TO |
O = 2007 T = 284.26 |
O = 2105 T = 5.42 |
| MANN_a9.clq.wcnf | O = 2179 T = 0.77 |
O = 2179 T = 0.92 |
O = 2179 T = 1.45 |
O = 2179 T = 1.20 |
O = 2179 T = 0.77 |
O = N/A T = TO |
O = 2244 T = 282.85 |
O = 2381 T = 2.25 |
| hamming10-2.clq.wcnf | O = 1929 T = 0.73 |
O = 1929 T = 0.73 |
O = 1929 T = 1.07 |
O = 1929 T = 1.20 |
O = 1929 T = 0.81 |
O = N/A T = TO |
O = 1964 T = 284.02 |
O = 2150 T = 1.95 |
| hamming10-4.clq.wcnf | O = 1683 T = 0.57 |
O = 1683 T = 0.72 |
O = 1683 T = 1.16 |
O = 1683 T = 0.99 |
O = 1683 T = 0.57 |
O = N/A T = TO |
O = 1762 T = 283.90 |
O = 1873 T = 1.90 |
| hamming6-2.clq.wcnf | O = 4391 T = 0.75 |
O = 4391 T = 1.25 |
O = 4391 T = 1.92 |
O = 4391 T = 0.75 |
O = 4391 T = 1.83 |
O = N/A T = TO |
O = 4545 T = 283.66 |
O = 10088 T = 1.24 |
| hamming6-4.clq.wcnf | O = 1035 T = 1.12 |
O = 1035 T = 1.58 |
O = 1035 T = 1.94 |
O = 1126 T = 1.43 |
O = 1035 T = 1.12 |
O = 1035 T = 67.73 |
O = 1184 T = 283.67 |
O = 1732 T = 1.35 |
| hamming8-2.clq.wcnf | O = 2213 T = 0.69 |
O = 2213 T = 1.13 |
O = 2213 T = 0.78 |
O = 2213 T = 1.01 |
O = 2213 T = 0.69 |
O = N/A T = TO |
O = 2277 T = 283.49 |
O = 2326 T = 1.40 |
| hamming8-4.clq.wcnf | O = 917 T = 0.61 |
O = 917 T = 0.91 |
O = 917 T = 1.36 |
O = 917 T = 0.61 |
O = 917 T = 0.61 |
O = 917 T = 42.71 |
O = 1014 T = 283.95 |
O = 1221 T = 1.54 |
| johnson16-2-4.clq.wcnf | O = 1170 T = 0.51 |
O = 1170 T = 1.08 |
O = 1170 T = 0.92 |
O = 1170 T = 0.51 |
O = 1170 T = 0.58 |
O = 1170 T = 96.53 |
O = 1245 T = 284.22 |
O = 1419 T = 1.34 |
| johnson32-2-4.clq.wcnf | O = 1788 T = 0.81 |
O = 1788 T = 1.01 |
O = 1788 T = 1.35 |
O = 1788 T = 0.87 |
O = 1788 T = 0.81 |
O = N/A T = TO |
O = 1858 T = 283.46 |
O = 1974 T = 1.51 |
| johnson8-2-4.clq.wcnf | O = 392 T = 0.39 |
O = 392 T = 0.58 |
O = 392 T = 0.59 |
O = 392 T = 0.39 |
O = 392 T = 0.59 |
O = 392 T = 4.74 |
O = 392 T = 283.92 |
O = 433 T = 2.36 |
| johnson8-4-4.clq.wcnf | O = 4154 T = 1.58 |
O = 4191 T = 1.61 |
O = 4154 T = 1.58 |
O = 4191 T = 1.61 |
O = 4191 T = 1.63 |
O = N/A T = TO |
O = 4530 T = 283.14 |
O = 10254 T = 1.17 |
| keller4.clq.wcnf | O = 1133 T = 0.38 |
O = 1133 T = 1.21 |
O = 1133 T = 1.27 |
O = 1133 T = 0.38 |
O = 1133 T = 0.73 |
O = 1133 T = 39.82 |
O = 1305 T = 283.01 |
O = 1558 T = 1.43 |
| keller5.clq.wcnf | O = 1383 T = 0.78 |
O = 1383 T = 1.04 |
O = 1383 T = 1.90 |
O = 1383 T = 0.78 |
O = 1383 T = 1.55 |
O = N/A T = TO |
O = 1443 T = 283.50 |
O = 1507 T = 1.86 |
| p_hat1000-1.clq.wcnf | O = 248 T = 0.29 |
O = 248 T = 0.79 |
O = 248 T = 1.63 |
O = 248 T = 0.72 |
O = 248 T = 0.29 |
O = 248 T = 1.84 |
O = 248 T = 5.74 |
O = 287 T = 2.26 |
| p_hat1000-2.clq.wcnf | O = 752 T = 0.54 |
O = 752 T = 0.82 |
O = 752 T = 0.83 |
O = 752 T = 0.55 |
O = 752 T = 0.54 |
O = 752 T = 35.65 |
O = 769 T = 283.71 |
O = 914 T = 5.60 |
| p_hat1000-3.clq.wcnf | O = 1251 T = 0.63 |
O = 1251 T = 1.06 |
O = 1251 T = 1.16 |
O = 1251 T = 0.81 |
O = 1251 T = 0.63 |
O = N/A T = TO |
O = 1310 T = 283.22 |
O = 1385 T = 1.42 |
| p_hat300-1.clq.wcnf | O = 243 T = 0.75 |
O = 243 T = 0.75 |
O = 243 T = 1.19 |
O = 243 T = 1.43 |
O = 243 T = 0.82 |
O = 243 T = 2.25 |
O = 243 T = 68.85 |
O = 278 T = 2.37 |
| p_hat300-2.clq.wcnf | O = 711 T = 0.55 |
O = 711 T = 1.12 |
O = 711 T = 1.52 |
O = 711 T = 0.55 |
O = 711 T = 0.61 |
O = 711 T = 20.22 |
O = 723 T = 282.90 |
O = 812 T = 1.45 |
| p_hat300-3.clq.wcnf | O = 1439 T = 0.67 |
O = 1439 T = 0.88 |
O = 1439 T = 0.78 |
O = 1439 T = 0.67 |
O = 1439 T = 0.73 |
O = N/A T = TO |
O = 1479 T = 283.49 |
O = 1559 T = 2.09 |
| p_hat500-1.clq.wcnf | O = 395 T = 0.36 |
O = 395 T = 1.16 |
O = 395 T = 1.95 |
O = 395 T = 0.36 |
O = 395 T = 1.48 |
O = 395 T = 5.55 |
O = 398 T = 282.98 |
O = 516 T = 1.86 |
| p_hat500-2.clq.wcnf | O = 931 T = 0.25 |
O = 931 T = 1.31 |
O = 931 T = 0.93 |
O = 931 T = 0.66 |
O = 931 T = 0.25 |
O = 931 T = 92.96 |
O = 937 T = 283.97 |
O = 1015 T = 24.41 |
| p_hat500-3.clq.wcnf | O = 1501 T = 1.00 |
O = 1501 T = 1.54 |
O = 1501 T = 1.19 |
O = 1501 T = 1.00 |
O = 1501 T = 1.46 |
O = N/A T = TO |
O = 1576 T = 283.18 |
O = 1718 T = 1.72 |
| p_hat700-1.clq.wcnf | O = 329 T = 0.64 |
O = 329 T = 0.94 |
O = 329 T = 0.64 |
O = 329 T = 0.86 |
O = 329 T = 1.11 |
O = 329 T = 3.51 |
O = 329 T = 284.23 |
O = 433 T = 2.02 |
| p_hat700-2.clq.wcnf | O = 834 T = 0.73 |
O = 834 T = 0.81 |
O = 834 T = 1.50 |
O = 834 T = 0.73 |
O = 834 T = 1.02 |
O = 834 T = 49.80 |
O = 867 T = 284.14 |
O = 929 T = 2.51 |
| p_hat700-3.clq.wcnf | O = 1432 T = 0.53 |
O = 1432 T = 1.16 |
O = 1432 T = 1.84 |
O = 1432 T = 0.53 |
O = 1432 T = 0.95 |
O = N/A T = TO |
O = 1504 T = 284.24 |
O = 1587 T = 1.61 |
| san1000.clq.wcnf | O = 744 T = 0.38 |
O = 744 T = 0.78 |
O = 744 T = 1.64 |
O = 744 T = 0.38 |
O = 744 T = 0.44 |
O = 744 T = 32.15 |
O = 789 T = 284.13 |
O = 822 T = 2.27 |
| san200_0.7_1.clq.wcnf | O = 1256 T = 0.60 |
O = 1256 T = 1.00 |
O = 1256 T = 1.84 |
O = 1256 T = 0.60 |
O = 1256 T = 1.15 |
O = N/A T = TO |
O = 1279 T = 283.82 |
O = 1380 T = 1.53 |
| san200_0.7_2.clq.wcnf | O = 1243 T = 0.63 |
O = 1243 T = 1.19 |
O = 1243 T = 1.30 |
O = 1243 T = 1.22 |
O = 1243 T = 0.63 |
O = N/A T = TO |
O = 1263 T = 283.95 |
O = 1384 T = 1.94 |
| san200_0.9_1.clq.wcnf | O = 1672 T = 0.69 |
O = 1672 T = 1.21 |
O = 1672 T = 0.91 |
O = 1672 T = 0.71 |
O = 1672 T = 0.69 |
O = N/A T = TO |
O = 1691 T = 284.02 |
O = 1744 T = 1.45 |
| san200_0.9_2.clq.wcnf | O = 1647 T = 0.51 |
O = 1647 T = 1.00 |
O = 1647 T = 0.97 |
O = 1647 T = 0.51 |
O = 1647 T = 0.57 |
O = N/A T = TO |
O = 1685 T = 284.07 |
O = 1828 T = 1.75 |
| san200_0.9_3.clq.wcnf | O = 1670 T = 0.51 |
O = 1670 T = 0.90 |
O = 1670 T = 1.44 |
O = 1670 T = 0.86 |
O = 1670 T = 0.51 |
O = N/A T = TO |
O = 1707 T = 283.74 |
O = 1828 T = 1.87 |
| san400_0.5_1.clq.wcnf | O = 718 T = 0.64 |
O = 718 T = 1.41 |
O = 718 T = 0.98 |
O = 718 T = 0.83 |
O = 718 T = 0.64 |
O = 718 T = 13.31 |
O = 718 T = 283.54 |
O = 831 T = 2.53 |
| san400_0.7_1.clq.wcnf | O = 1258 T = 0.57 |
O = 1258 T = 0.80 |
O = 1258 T = 1.39 |
O = 1258 T = 0.90 |
O = 1258 T = 0.57 |
O = N/A T = TO |
O = 1293 T = 283.86 |
O = 1426 T = 1.38 |
| san400_0.7_2.clq.wcnf | O = 1237 T = 0.50 |
O = 1237 T = 0.50 |
O = 1237 T = 1.15 |
O = 1237 T = 1.16 |
O = 1237 T = 0.90 |
O = N/A T = TO |
O = 1313 T = 284.31 |
O = 1398 T = 1.41 |
| san400_0.7_3.clq.wcnf | O = 1201 T = 0.56 |
O = 1201 T = 0.63 |
O = 1201 T = 1.52 |
O = 1201 T = 0.56 |
O = 1201 T = 0.65 |
O = N/A T = TO |
O = 1218 T = 284.08 |
O = 1390 T = 1.54 |
| san400_0.9_1.clq.wcnf | O = 1604 T = 0.49 |
O = 1604 T = 1.02 |
O = 1604 T = 2.11 |
O = 1604 T = 1.34 |
O = 1604 T = 0.49 |
O = N/A T = TO |
O = 1624 T = 283.78 |
O = 1756 T = 1.86 |
| sanr200_0.7.clq.wcnf | O = 1171 T = 0.62 |
O = 1171 T = 1.05 |
O = 1171 T = 1.24 |
O = 1171 T = 0.79 |
O = 1171 T = 0.62 |
O = N/A T = TO |
O = 1218 T = 283.45 |
O = 1422 T = 1.37 |
| sanr200_0.9.clq.wcnf | O = 1610 T = 0.42 |
O = 1610 T = 1.01 |
O = 1610 T = 1.76 |
O = 1610 T = 0.64 |
O = 1610 T = 0.42 |
O = N/A T = TO |
O = 1650 T = 283.61 |
O = 1725 T = 1.81 |
| sanr400_0.5.clq.wcnf | O = 763 T = 0.60 |
O = 763 T = 0.60 |
O = 763 T = 1.46 |
O = 763 T = 0.93 |
O = 763 T = 0.85 |
O = 763 T = 26.66 |
O = 814 T = 283.58 |
O = 940 T = 37.97 |
| sanr400_0.7.clq.wcnf | O = 1198 T = 0.57 |
O = 1198 T = 0.95 |
O = 1198 T = 1.58 |
O = 1198 T = 0.80 |
O = 1198 T = 0.57 |
O = N/A T = TO |
O = 1279 T = 284.15 |
O = 1384 T = 1.42 |
| t3g3-5555.spn.wcnf | O = 1100610 T = 0.16 |
O = 1100610 T = 0.78 |
O = 1100610 T = 0.65 |
O = 1100610 T = 0.16 |
O = 1100610 T = 0.52 |
O = 1100610 T = 0.57 |
O = N/A T = TO |
O = 1483455 T = 0.88 |
| t4g3-6666.spn.wcnf | O = 2275606 T = 0.87 |
O = 2275606 T = 1.18 |
O = 2275606 T = 1.51 |
O = 2275606 T = 1.22 |
O = 2275606 T = 0.87 |
O = 2275606 T = 2.20 |
O = N/A T = TO |
O = 3174296 T = 0.33 |
| t5g3-7777.spn.wcnf | O = 4241951 T = 2.91 |
O = 4241951 T = 3.25 |
O = 4241951 T = 2.91 |
O = 4241951 T = 3.41 |
O = 4241951 T = 3.53 |
O = 4241951 T = 12.51 |
O = N/A T = TO |
O = 4838600 T = 1.82 |
| t6g3-8888.spn.wcnf | O = 7844119 T = 6.08 |
O = 7844119 T = 204.29 |
O = 7844119 T = 6.08 |
O = 7915008 T = 144.90 |
O = 7845423 T = 238.06 |
O = 7844119 T = 80.23 |
O = N/A T = TO |
O = 10541151 T = 0.65 |
| t7g3-9999.spn.wcnf | O = 12114344 T = 13.37 |
O = 12114344 T = 13.37 |
O = 12261743 T = 271.94 |
O = 12387970 T = 204.34 |
O = 12351858 T = 145.46 |
O = N/A T = TO |
O = N/A T = TO |
O = 16723767 T = 4.52 |