| 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 | CCLS | Dist-r | Dist | HS-Greedy | Naps-1.02-ms | Optiriss6-in | Ramp | SC2016 | SsMonteCarlo | WPM3-2015-in | dsat-wpm3-in-wpms | dsat-wpm3-s-in-wpms |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CSG140-140-46.wcnf | O = 16960 T = 1.44 |
O = 25136 T = 127.77 |
O = 96222 T = 232.12 |
O = 55927 T = 4.01 |
O = 29074 T = 6.73 |
O = 101735 T = 1.61 |
O = N/A T = TO |
O = 16960 T = 7.50 |
O = 28202 T = 96.06 |
O = 62046 T = 124.43 |
O = N/A T = TO |
O = 16960 T = 1.44 |
O = 16960 T = 11.04 |
O = 16960 T = 1.67 |
| CSG140-140-6.wcnf | O = 54029 T = 17.62 |
O = 76257 T = 111.99 |
O = N/A T = TO |
O = 125645 T = 3.52 |
O = 86229 T = 4.54 |
O = 167782 T = 1.52 |
O = N/A T = TO |
O = 166847 T = 0.52 |
O = 98230 T = 293.33 |
O = 152277 T = 57.99 |
O = N/A T = TO |
O = 54029 T = 17.62 |
O = 54029 T = 30.90 |
O = 60678 T = 11.75 |
| CSG150-150-55.wcnf | O = 27533 T = 60.42 |
O = 45212 T = 43.20 |
O = N/A T = TO |
O = 86567 T = 5.45 |
O = 57893 T = 1.89 |
O = 130695 T = 1.78 |
O = N/A T = TO |
O = 139794 T = 0.65 |
O = 53822 T = 183.94 |
O = 95725 T = 140.07 |
O = N/A T = TO |
O = 27877 T = 13.51 |
O = 27533 T = 60.42 |
O = 27533 T = 84.99 |
| CSG40-40-95.wcnf | O = 8847 T = 0.02 |
O = 9070 T = 59.15 |
O = 12916 T = 118.86 |
O = 20262 T = 3.28 |
O = 19005 T = 278.55 |
O = 32599 T = 0.11 |
O = 8847 T = 0.72 |
O = 8847 T = 0.06 |
O = 12602 T = 164.66 |
O = 11147 T = 28.67 |
O = N/A T = TO |
O = 8847 T = 0.02 |
O = 8847 T = 8.17 |
O = 8847 T = 2.10 |
| CSG60-60-88.wcnf | O = 7714 T = 0.08 |
O = 8499 T = 187.59 |
O = 18589 T = 172.96 |
O = 34527 T = 0.56 |
O = 29218 T = 244.27 |
O = 49472 T = 0.13 |
O = 7714 T = 2.24 |
O = 7714 T = 0.13 |
O = 18008 T = 162.56 |
O = 18265 T = 59.51 |
O = 45180 T = 25.55 |
O = 7714 T = 0.08 |
O = 7714 T = 7.97 |
O = 7714 T = 0.38 |
| CSGNaive140-140-0.wcnf | O = 18185 T = 3.16 |
O = 26572 T = 210.64 |
O = 92439 T = 254.50 |
O = 65371 T = 5.10 |
O = 22692 T = 252.16 |
O = 99936 T = 3.30 |
O = N/A T = TO |
O = 150737 T = 0.54 |
O = 32976 T = 87.46 |
O = 71983 T = 49.33 |
O = N/A T = TO |
O = 18185 T = 4.24 |
O = 18185 T = 12.59 |
O = 18185 T = 3.16 |
| CSGNaive140-140-6.wcnf | O = 57892 T = 267.65 |
O = 75910 T = 145.83 |
O = N/A T = TO |
O = 126959 T = 209.36 |
O = 86096 T = 1.22 |
O = 166027 T = 3.41 |
O = N/A T = TO |
O = 206537 T = 0.52 |
O = 108390 T = 267.55 |
O = N/A T = TO |
O = N/A T = TO |
O = 59451 T = 53.33 |
O = 57892 T = 267.65 |
O = 67644 T = 19.00 |
| CSGNaive150-150-55.wcnf | O = 30495 T = 16.99 |
O = 43202 T = 229.21 |
O = N/A T = TO |
O = 90472 T = 11.00 |
O = 53842 T = 1.61 |
O = 134873 T = 3.72 |
O = N/A T = TO |
O = 178400 T = 0.66 |
O = 61809 T = 191.04 |
O = 122596 T = 41.63 |
O = N/A T = TO |
O = 30495 T = 37.65 |
O = N/A T = TO |
O = 30495 T = 16.99 |
| CSGNaive60-60-53.wcnf | O = 9829 T = 0.09 |
O = 9829 T = 99.92 |
O = 40795 T = 19.13 |
O = 38923 T = 0.81 |
O = 44017 T = 1.10 |
O = 56133 T = 1.05 |
O = 9829 T = 2.73 |
O = 9829 T = 0.23 |
O = 23849 T = 254.02 |
O = 29464 T = 66.99 |
O = 53685 T = 38.42 |
O = 9829 T = 0.09 |
O = 9829 T = 8.30 |
O = 9829 T = 0.44 |
| CSGNaive70-70-91.wcnf | O = 11177 T = 0.12 |
O = 11177 T = 27.07 |
O = 31702 T = 91.97 |
O = 31037 T = 1.07 |
O = 15517 T = 56.32 |
O = 51200 T = 1.09 |
O = N/A T = TO |
O = 11177 T = 0.41 |
O = 11177 T = 168.84 |
O = 13317 T = 129.71 |
O = 48793 T = 159.38 |
O = 11177 T = 0.12 |
O = 11177 T = 8.38 |
O = 11177 T = 0.30 |
| cat_paths_60_130_0000.txt.wcnf | O = 78708 T = 0.34 |
O = 78708 T = 1.02 |
O = 78708 T = 0.75 |
O = 78708 T = 0.68 |
O = 78708 T = 0.34 |
O = 78905 T = 0.86 |
O = 78708 T = 25.35 |
O = 78708 T = 39.29 |
O = 78708 T = 0.63 |
O = 78708 T = 0.81 |
O = 93442 T = 0.48 |
O = 78708 T = 12.40 |
O = 78708 T = 12.16 |
O = 78708 T = 14.21 |
| cat_paths_60_130_0001.txt.wcnf | O = 80743 T = 0.59 |
O = 80743 T = 1.16 |
O = 80743 T = 0.84 |
O = 80743 T = 0.59 |
O = 80743 T = 0.68 |
O = 81072 T = 0.83 |
O = 80743 T = 64.54 |
O = 80743 T = 112.35 |
O = 80743 T = 0.81 |
O = 80743 T = 0.79 |
O = 90676 T = 0.43 |
O = 80743 T = 17.41 |
O = 80743 T = 9.64 |
O = 80743 T = 39.07 |
| cat_paths_60_130_0002.txt.wcnf | O = 71385 T = 0.66 |
O = 71385 T = 1.43 |
O = 71385 T = 1.06 |
O = 71385 T = 0.78 |
O = 71385 T = 0.99 |
O = 71385 T = 0.69 |
O = 71385 T = 64.69 |
O = 72748 T = 4.89 |
O = 71385 T = 0.69 |
O = 71385 T = 0.66 |
O = 86431 T = 0.34 |
O = 71385 T = 1.86 |
O = 71385 T = 10.76 |
O = 71385 T = 6.66 |
| cat_paths_60_130_0003.txt.wcnf | O = 86981 T = 0.20 |
O = 86981 T = 1.50 |
O = 86981 T = 1.20 |
O = 86981 T = 0.90 |
O = 86981 T = 0.25 |
O = 86981 T = 0.68 |
O = 86981 T = 58.69 |
O = 89056 T = 4.44 |
O = 86981 T = 0.20 |
O = 86981 T = 0.68 |
O = 100040 T = 0.54 |
O = 86981 T = 10.14 |
O = 86981 T = 12.86 |
O = 86981 T = 19.12 |
| cat_paths_60_140_0000.txt.wcnf | O = 98394 T = 0.45 |
O = 98394 T = 1.27 |
O = 98394 T = 1.67 |
O = 98394 T = 0.45 |
O = 98394 T = 0.91 |
O = 98394 T = 0.80 |
O = 98394 T = 23.34 |
O = 98485 T = 197.55 |
O = 98394 T = 0.71 |
O = 98394 T = 0.81 |
O = 116861 T = 0.60 |
O = 98495 T = 20.74 |
O = 98394 T = 12.34 |
O = 98512 T = 20.05 |
| cat_paths_60_140_0001.txt.wcnf | O = 97718 T = 0.54 |
O = 97718 T = 1.42 |
O = 97718 T = 1.40 |
O = 97718 T = 0.86 |
O = 97718 T = 0.54 |
O = 97718 T = 0.77 |
O = N/A T = TO |
O = 98034 T = 20.47 |
O = 97718 T = 0.55 |
O = 97718 T = 0.97 |
O = 114050 T = 0.61 |
O = 97718 T = 9.58 |
O = 97718 T = 11.59 |
O = 97851 T = 29.61 |
| cat_paths_60_140_0002.txt.wcnf | O = 92818 T = 0.52 |
O = 92818 T = 0.84 |
O = 92818 T = 0.75 |
O = 92818 T = 1.47 |
O = 92818 T = 0.79 |
O = 92818 T = 0.52 |
O = 92818 T = 227.40 |
O = 93729 T = 192.28 |
O = 92818 T = 72.50 |
O = 92818 T = 1.11 |
O = 106668 T = 0.53 |
O = 92818 T = 11.91 |
O = 92818 T = 64.93 |
O = 92818 T = 16.60 |
| cat_paths_60_140_0003.txt.wcnf | O = 92696 T = 0.86 |
O = 92696 T = 1.94 |
O = 92696 T = 0.86 |
O = 92696 T = 1.14 |
O = 92696 T = 1.35 |
O = 92960 T = 0.75 |
O = N/A T = TO |
O = 93604 T = 69.64 |
O = 92696 T = 2.12 |
O = 92696 T = 1.61 |
O = 106481 T = 22.96 |
O = 92696 T = 150.35 |
O = 92696 T = 63.13 |
O = 92696 T = 42.32 |
| cat_paths_60_150_0000.txt.wcnf | O = 82179 T = 0.50 |
O = 82179 T = 1.46 |
O = 82179 T = 0.50 |
O = 82179 T = 0.80 |
O = 82179 T = 0.81 |
O = 82179 T = 1.20 |
O = N/A T = TO |
O = 83286 T = 194.45 |
O = 82179 T = 0.60 |
O = 82179 T = 0.80 |
O = 95741 T = 0.37 |
O = N/A T = TO |
O = 82179 T = 10.32 |
O = 82179 T = 20.85 |
| cat_paths_60_150_0001.txt.wcnf | O = 92299 T = 0.74 |
O = 92299 T = 0.93 |
O = 92299 T = 1.49 |
O = 92299 T = 1.57 |
O = 92299 T = 1.08 |
O = 92377 T = 0.59 |
O = N/A T = TO |
O = 94370 T = 3.60 |
O = 92299 T = 0.74 |
O = 92299 T = 0.82 |
O = 106065 T = 28.41 |
O = 92299 T = 18.62 |
O = 92299 T = 30.03 |
O = 92299 T = 54.99 |
| cat_paths_60_150_0002.txt.wcnf | O = 101547 T = 0.65 |
O = 101547 T = 2.25 |
O = 101547 T = 1.48 |
O = 101547 T = 1.24 |
O = 101547 T = 0.89 |
O = 101547 T = 1.49 |
O = 101547 T = 120.65 |
O = 101547 T = 160.76 |
O = 101547 T = 0.65 |
O = 101547 T = 1.50 |
O = 118705 T = 0.46 |
O = N/A T = TO |
O = 101547 T = 31.04 |
O = 101547 T = 26.55 |
| cat_paths_60_150_0003.txt.wcnf | O = 106294 T = 0.46 |
O = 106294 T = 1.20 |
O = 106294 T = 2.00 |
O = 106294 T = 1.16 |
O = 106294 T = 0.46 |
O = 106296 T = 0.82 |
O = N/A T = TO |
O = 109402 T = 12.77 |
O = 106294 T = 0.81 |
O = 106294 T = 0.85 |
O = 121936 T = 0.59 |
O = 106294 T = 80.62 |
O = 106294 T = 13.83 |
O = 106294 T = 44.60 |
| cat_paths_60_160_0000.txt.wcnf | O = 104199 T = 0.53 |
O = 104199 T = 1.35 |
O = 104199 T = 1.30 |
O = 104199 T = 1.07 |
O = 104199 T = 0.53 |
O = 104199 T = 2.31 |
O = N/A T = TO |
O = 105560 T = 193.81 |
O = 104199 T = 11.53 |
O = 104199 T = 1.02 |
O = 122367 T = 35.74 |
O = 104199 T = 16.49 |
O = 104199 T = 25.34 |
O = 104199 T = 14.41 |
| cat_paths_60_160_0001.txt.wcnf | O = 99297 T = 0.81 |
O = 99297 T = 1.72 |
O = 99297 T = 1.81 |
O = 99297 T = 3.23 |
O = 99297 T = 0.81 |
O = 99342 T = 1.22 |
O = N/A T = TO |
O = 100554 T = 27.72 |
O = 99331 T = 123.36 |
O = 99297 T = 1.94 |
O = 115070 T = 35.21 |
O = 99371 T = 17.81 |
O = 99342 T = 11.31 |
O = 99706 T = 19.60 |
| cat_paths_60_160_0002.txt.wcnf | O = 102352 T = 0.54 |
O = 102352 T = 1.33 |
O = 102352 T = 1.68 |
O = 102352 T = 0.54 |
O = 102352 T = 0.91 |
O = 102352 T = 4.74 |
O = N/A T = TO |
O = 106519 T = 3.53 |
O = 102352 T = 23.39 |
O = 102352 T = 1.02 |
O = 120391 T = 0.64 |
O = 102352 T = 117.87 |
O = 102800 T = 24.84 |
O = 103376 T = 21.07 |
| cat_paths_60_160_0003.txt.wcnf | O = 107262 T = 0.73 |
O = 107262 T = 1.61 |
O = 107262 T = 1.10 |
O = 107262 T = 1.06 |
O = 107262 T = 0.75 |
O = 107262 T = 0.91 |
O = N/A T = TO |
O = 108692 T = 5.24 |
O = 107262 T = 0.73 |
O = 107262 T = 1.08 |
O = 125145 T = 0.62 |
O = N/A T = TO |
O = 107403 T = 32.94 |
O = 107629 T = 22.50 |
| cat_paths_60_170_0000.txt.wcnf | O = 122170 T = 0.94 |
O = 122170 T = 1.70 |
O = 122170 T = 0.94 |
O = 122170 T = 1.17 |
O = 122170 T = 1.17 |
O = 122734 T = 0.72 |
O = N/A T = TO |
O = 124875 T = 111.45 |
O = 122170 T = 3.42 |
O = 122170 T = 1.05 |
O = 138352 T = 0.46 |
O = 122170 T = 120.75 |
O = 122170 T = 19.33 |
O = 122170 T = 54.61 |
| cat_paths_60_170_0003.txt.wcnf | O = 122748 T = 0.82 |
O = 122748 T = 1.93 |
O = 122748 T = 1.47 |
O = 122748 T = 1.22 |
O = 122748 T = 0.82 |
O = 122748 T = 0.86 |
O = N/A T = TO |
O = 125822 T = 7.00 |
O = 122748 T = 1.34 |
O = 122748 T = 0.99 |
O = 139292 T = 0.51 |
O = 122748 T = 15.08 |
O = 122748 T = 187.72 |
O = 122748 T = 15.26 |
| cat_paths_60_170_0004.txt.wcnf | O = 99105 T = 0.62 |
O = 99105 T = 1.76 |
O = 99105 T = 1.38 |
O = 99105 T = 12.86 |
O = 99105 T = 2.26 |
O = 99250 T = 4.94 |
O = N/A T = TO |
O = 101189 T = 4.67 |
O = 99143 T = 145.39 |
O = 99105 T = 0.62 |
O = 112866 T = 0.46 |
O = N/A T = TO |
O = 99105 T = 147.49 |
O = 99677 T = 23.69 |
| cat_paths_60_170_0005.txt.wcnf | O = 114493 T = 1.19 |
O = 114493 T = 2.25 |
O = 114493 T = 1.46 |
O = 114493 T = 2.40 |
O = 114493 T = 1.38 |
O = 114493 T = 1.54 |
O = N/A T = TO |
O = 118132 T = 172.84 |
O = 114493 T = 2.18 |
O = 114493 T = 1.19 |
O = 131878 T = 0.42 |
O = N/A T = TO |
O = 114493 T = 38.49 |
O = 114493 T = 162.50 |
| cat_sched_60_160_0000.txt.wcnf | O = 42672 T = 0.02 |
O = 42672 T = 0.76 |
O = 42672 T = 0.50 |
O = 42672 T = 0.02 |
O = 42672 T = 0.10 |
O = 42672 T = 0.07 |
O = 42672 T = 5.26 |
O = 42672 T = 1.99 |
O = 42672 T = 0.11 |
O = 42672 T = 0.42 |
O = 43725 T = 0.54 |
O = 42672 T = 0.08 |
O = 42672 T = 8.24 |
O = 42672 T = 5.11 |
| cat_sched_60_160_0001.txt.wcnf | O = 72012 T = 0.07 |
O = 72012 T = 0.50 |
O = 72012 T = 0.42 |
O = 72012 T = 0.07 |
O = 72012 T = 0.07 |
O = 72012 T = 0.13 |
O = 72012 T = 4.48 |
O = 72012 T = 4.52 |
O = 72012 T = 0.08 |
O = 72012 T = 0.35 |
O = N/A T = TO |
O = 72012 T = 0.10 |
O = 72012 T = 8.25 |
O = 72012 T = 5.13 |
| cat_sched_60_160_0002.txt.wcnf | O = 173386 T = 0.18 |
O = 173386 T = 0.34 |
O = 173386 T = 0.81 |
O = 173386 T = 0.22 |
O = 173386 T = 0.23 |
O = 173386 T = 0.53 |
O = 173386 T = 12.50 |
O = 173386 T = 4.28 |
O = 173386 T = 0.18 |
O = 173386 T = 0.50 |
O = 176596 T = 0.47 |
O = 173386 T = 0.24 |
O = 173386 T = 7.90 |
O = 173386 T = 5.18 |
| cat_sched_60_160_0003.txt.wcnf | O = 118883 T = 0.05 |
O = 118883 T = 0.33 |
O = 118883 T = 0.42 |
O = 118883 T = 0.21 |
O = 118883 T = 0.05 |
O = 118883 T = 0.13 |
O = 118883 T = 6.02 |
O = 118883 T = 5.06 |
O = 118883 T = 0.08 |
O = 118883 T = 0.37 |
O = 120267 T = 0.41 |
O = 118883 T = 0.09 |
O = 118883 T = 7.87 |
O = 118883 T = 5.11 |
| cat_sched_60_170_0000.txt.wcnf | O = 128737 T = 0.11 |
O = 128737 T = 0.43 |
O = 128737 T = 0.59 |
O = 128737 T = 0.14 |
O = 128737 T = 0.13 |
O = 128737 T = 0.19 |
O = 128737 T = 6.07 |
O = 128737 T = 5.33 |
O = 128737 T = 0.11 |
O = 128737 T = 0.36 |
O = 131129 T = 0.47 |
O = 128737 T = 0.18 |
O = 128737 T = 8.31 |
O = 128737 T = 5.59 |
| cat_sched_60_170_0001.txt.wcnf | O = 62218 T = 0.27 |
O = 62218 T = 0.64 |
O = 62218 T = 0.75 |
O = 62218 T = 0.27 |
O = 62218 T = 0.35 |
O = 62218 T = 0.27 |
O = 62218 T = 12.14 |
O = 62218 T = 6.87 |
O = 62218 T = 0.28 |
O = 62218 T = 0.42 |
O = 64951 T = 0.65 |
O = N/A T = TO |
O = N/A T = TO |
O = 62218 T = 6.33 |
| cat_sched_60_170_0002.txt.wcnf | O = 64664 T = 0.04 |
O = 64664 T = 0.38 |
O = 64664 T = 0.49 |
O = 64664 T = 0.10 |
O = 64664 T = 0.07 |
O = 64664 T = 0.12 |
O = 64664 T = 7.89 |
O = 64664 T = 10.62 |
O = 64664 T = 0.04 |
O = 64664 T = 0.35 |
O = 65245 T = 0.48 |
O = 64664 T = 0.11 |
O = 64664 T = 8.23 |
O = 64664 T = 5.15 |
| cat_sched_60_170_0003.txt.wcnf | O = 169415 T = 0.04 |
O = 169415 T = 0.56 |
O = 169415 T = 0.60 |
O = 169415 T = 0.04 |
O = 169415 T = 0.10 |
O = 169415 T = 0.10 |
O = 169415 T = 19.01 |
O = 169415 T = 8.70 |
O = 169415 T = 0.09 |
O = 169415 T = 0.42 |
O = 171189 T = 0.66 |
O = 169415 T = 0.13 |
O = 169415 T = 8.28 |
O = 169415 T = 5.19 |
| cat_sched_60_180_0000.txt.wcnf | O = 112247 T = 0.08 |
O = 112247 T = 0.46 |
O = 112247 T = 0.52 |
O = 112247 T = 0.11 |
O = 112247 T = 0.16 |
O = 112247 T = 0.16 |
O = 112247 T = 5.88 |
O = 112247 T = 6.90 |
O = 112247 T = 0.08 |
O = 112247 T = 0.42 |
O = 113955 T = 0.38 |
O = 112247 T = 0.76 |
O = 112247 T = 8.34 |
O = 112247 T = 5.33 |
| cat_sched_60_180_0001.txt.wcnf | O = 154599 T = 0.14 |
O = 154599 T = 0.69 |
O = 154599 T = 0.61 |
O = 154599 T = 0.32 |
O = 154599 T = 0.33 |
O = 154599 T = 0.40 |
O = 154599 T = 8.04 |
O = 154599 T = 2.60 |
O = 154599 T = 0.20 |
O = 154599 T = 0.42 |
O = 156660 T = 0.53 |
O = 154599 T = 0.14 |
O = 154599 T = 7.92 |
O = 154599 T = 5.23 |
| cat_sched_60_180_0002.txt.wcnf | O = 95338 T = 0.04 |
O = 95338 T = 0.49 |
O = 95338 T = 0.56 |
O = 95338 T = 0.07 |
O = 95338 T = 0.07 |
O = 95338 T = 0.04 |
O = 95338 T = 24.96 |
O = 95338 T = 14.49 |
O = 95338 T = 0.04 |
O = 95338 T = 0.35 |
O = 96155 T = 0.52 |
O = 95338 T = 0.18 |
O = 95338 T = 8.28 |
O = 95338 T = 5.27 |
| cat_sched_60_180_0003.txt.wcnf | O = 104416 T = 0.13 |
O = 104416 T = 0.57 |
O = 104416 T = 0.58 |
O = 104416 T = 0.22 |
O = 104416 T = 0.33 |
O = 104416 T = 0.18 |
O = 104416 T = 6.35 |
O = 104416 T = 6.62 |
O = 104416 T = 0.13 |
O = 104416 T = 0.40 |
O = 105500 T = 0.54 |
O = 104416 T = 0.15 |
O = 104416 T = 8.04 |
O = 104416 T = 5.05 |
| cat_sched_60_190_0000.txt.wcnf | O = 152878 T = 0.17 |
O = 152878 T = 0.60 |
O = 152878 T = 0.79 |
O = 152878 T = 0.27 |
O = 152878 T = 0.22 |
O = 152878 T = 0.23 |
O = 152878 T = 10.90 |
O = 152878 T = 6.55 |
O = 152878 T = 0.19 |
O = 152878 T = 0.69 |
O = 157903 T = 0.55 |
O = 152878 T = 0.17 |
O = 152878 T = 8.11 |
O = 152878 T = 5.25 |
| cat_sched_60_190_0001.txt.wcnf | O = 71645 T = 0.09 |
O = 71645 T = 0.56 |
O = 71645 T = 0.72 |
O = 71645 T = 0.14 |
O = 71645 T = 0.18 |
O = 71645 T = 0.18 |
O = 71645 T = 24.59 |
O = 71645 T = 6.10 |
O = 71645 T = 0.09 |
O = 71645 T = 0.40 |
O = 73804 T = 0.51 |
O = 71645 T = 0.21 |
O = 71645 T = 8.35 |
O = 71645 T = 5.05 |
| cat_sched_60_190_0002.txt.wcnf | O = 90463 T = 0.12 |
O = 90463 T = 1.02 |
O = 90463 T = 1.00 |
O = 90463 T = 0.35 |
O = 90463 T = 0.23 |
O = 90463 T = 0.31 |
O = 90463 T = 25.86 |
O = 90463 T = 4.90 |
O = 90463 T = 0.12 |
O = 90463 T = 0.39 |
O = N/A T = TO |
O = 90463 T = 0.33 |
O = 90463 T = 8.34 |
O = 90463 T = 4.78 |
| cat_sched_60_190_0003.txt.wcnf | O = 87812 T = 0.02 |
O = 87812 T = 0.57 |
O = 87812 T = 0.62 |
O = 87812 T = 0.07 |
O = 87812 T = 0.02 |
O = 87812 T = 0.03 |
O = 87812 T = 15.39 |
O = 87812 T = 5.01 |
O = 87812 T = 0.03 |
O = 87812 T = 0.41 |
O = 89182 T = 0.55 |
O = 87812 T = 0.12 |
O = 87812 T = 8.23 |
O = 87812 T = 5.13 |
| cat_sched_60_200_0000.txt.wcnf | O = 242832 T = 0.14 |
O = 242832 T = 0.51 |
O = 242832 T = 0.69 |
O = 242832 T = 0.20 |
O = 242832 T = 0.27 |
O = 242832 T = 0.14 |
O = 242832 T = 31.62 |
O = 242832 T = 8.28 |
O = 242832 T = 0.22 |
O = 242832 T = 0.58 |
O = N/A T = TO |
O = 242832 T = 0.20 |
O = 242832 T = 8.09 |
O = 242832 T = 5.28 |
| cat_sched_60_200_0001.txt.wcnf | O = 46823 T = 0.04 |
O = 46823 T = 0.68 |
O = 46823 T = 0.53 |
O = 46823 T = 0.18 |
O = 46823 T = 0.16 |
O = 46823 T = 0.10 |
O = 46823 T = 10.78 |
O = 46823 T = 4.74 |
O = 46823 T = 0.04 |
O = 46823 T = 0.34 |
O = 46948 T = 0.39 |
O = 46823 T = 0.13 |
O = 46823 T = 7.98 |
O = 46823 T = 5.07 |
| cat_sched_60_200_0002.txt.wcnf | O = 145851 T = 0.12 |
O = 145851 T = 0.52 |
O = 145851 T = 0.47 |
O = 145851 T = 0.15 |
O = 145851 T = 0.12 |
O = 145851 T = 0.15 |
O = 145851 T = 20.50 |
O = 145851 T = 4.31 |
O = 145851 T = 0.16 |
O = 145851 T = 0.36 |
O = 149012 T = 0.54 |
O = 145851 T = 0.18 |
O = 145851 T = 8.14 |
O = 145851 T = 3.79 |
| cat_sched_60_200_0003.txt.wcnf | O = 187411 T = 0.10 |
O = 187411 T = 0.77 |
O = 187411 T = 0.46 |
O = 187411 T = 0.10 |
O = 187411 T = 0.24 |
O = 187411 T = 0.12 |
O = 187411 T = 18.48 |
O = 187411 T = 3.28 |
O = 187411 T = 0.19 |
O = 187411 T = 0.41 |
O = 189747 T = 0.49 |
O = 187411 T = 0.16 |
O = 187411 T = 8.28 |
O = 187411 T = 5.18 |
| causal_n5_i10_N1000_uai13_log_int.wcnf | O = 75755143 T = 5.53 |
O = 273409871 T = 164.91 |
O = N/A T = TO |
O = 303345448 T = 1.85 |
O = 273409871 T = 219.06 |
O = 303345448 T = 1.35 |
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 = 75755143 T = 5.53 |
O = 75755143 T = 15.67 |
O = 75755143 T = 8.55 |
| causal_n5_i10_N500_uai13_log_int.wcnf | O = 75755143 T = 8.71 |
O = 274314268 T = 173.00 |
O = N/A T = TO |
O = 303345448 T = 1.82 |
O = 266094227 T = 49.87 |
O = 303345448 T = 1.36 |
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 = 122126140 T = 0.29 |
O = 75755143 T = 8.71 |
O = 75755143 T = 14.07 |
| causal_n5_i5_N10000_uai13_log_int.wcnf | O = 46030289 T = 20.41 |
O = 76941049 T = 103.56 |
O = N/A T = TO |
O = 88343799 T = 1.85 |
O = 88343799 T = 0.61 |
O = 88343799 T = 1.39 |
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 = 1041902634 T = 0.43 |
O = 46030289 T = 20.41 |
O = 47887161 T = 1.45 |
| causal_n5_i5_N1000_uai13_log_int.wcnf | O = 46619974 T = 8.50 |
O = 71012836 T = 215.65 |
O = N/A T = TO |
O = 88343799 T = 1.82 |
O = 88343799 T = 0.61 |
O = 88343799 T = 1.37 |
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 = 46619974 T = 8.50 |
O = 46619974 T = 14.50 |
O = 5480942874 T = 17.99 |
| causal_n5_i5_N500_uai13_log_int.wcnf | O = 46619974 T = 14.11 |
O = 85260430 T = 104.45 |
O = N/A T = TO |
O = 88343799 T = 1.81 |
O = 88343799 T = 0.62 |
O = 88343799 T = 1.34 |
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 = 47887161 T = 1.22 |
O = 47887161 T = 9.11 |
O = 46619974 T = 14.11 |
| causal_n5_i9_N10000_uai13_log_int.wcnf | O = 127884075 T = 1.56 |
O = 435823919 T = 3.21 |
O = N/A T = TO |
O = 435823919 T = 1.86 |
O = 271507774 T = 164.65 |
O = 435823919 T = 1.35 |
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 = 127884075 T = 1.56 |
O = 127884075 T = 9.68 |
O = 127884075 T = 23.94 |
| causal_n5_i9_N1000_uai13_log_int.wcnf | O = 127884075 T = 2.48 |
O = 435823919 T = 3.05 |
O = N/A T = TO |
O = 435823919 T = 1.82 |
O = 364613998 T = 246.58 |
O = 435823919 T = 1.36 |
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 = 127884075 T = 3.66 |
O = 127884075 T = 13.59 |
O = 127884075 T = 2.48 |
| causal_n6_i10_N500_uai13_log_int.wcnf | O = 259001056 T = 2.13 |
O = 1231246272 T = 108.99 |
O = N/A T = TO |
O = 1231246272 T = 55.71 |
O = 1231246272 T = 4.82 |
O = 1231246272 T = 33.94 |
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 = 259001056 T = 2.13 |
O = 2035732059 T = 20.59 |
O = 259001056 T = 24.43 |
| causal_n6_i10_N500_uai14_log_int.wcnf | O = 183312821 T = 8.39 |
O = 191416596 T = 139.00 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1231246272 T = 0.13 |
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 = 183312821 T = 8.39 |
O = N/A T = TO |
O = 234167086 T = 10.24 |
| causal_n6_i1_N10000_uai14_log_int.wcnf | O = 1818379680 T = 19.47 |
O = 2424396412 T = 262.35 |
O = N/A T = TO |
O = N/A T = TO |
O = 6673350962 T = 128.44 |
O = 6673350962 T = 0.14 |
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 = 26990114392 T = 14.35 |
O = 1818379680 T = 19.47 |
O = 32104326682 T = 21.11 |
| causal_n6_i2_N1000_uai13_log_int.wcnf | O = 1469359521 T = 40.51 |
O = 6695431407 T = 101.55 |
O = N/A T = TO |
O = 6695431407 T = 54.38 |
O = 1469359521 T = 40.51 |
O = 6695431407 T = 35.08 |
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 = 5705034991 T = 192.11 |
O = N/A T = TO |
O = 5978440877 T = 1.47 |
| causal_n6_i2_N500_uai13_log_int.wcnf | O = 1469359521 T = 39.68 |
O = 6695431407 T = 102.38 |
O = N/A T = TO |
O = 6695431407 T = 55.28 |
O = 1469359521 T = 39.68 |
O = 6695431407 T = 34.82 |
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 = 14509110391 T = 3.55 |
O = N/A T = TO |
O = N/A T = TO |
| causal_n6_i3_N10000_uai13_log_int.wcnf | O = 20629755582 T = 266.56 |
O = 135774653430 T = 112.15 |
O = N/A T = TO |
O = 135774653430 T = 55.55 |
O = 63088259272 T = 2.00 |
O = 135774653430 T = 35.14 |
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 = 20629755582 T = 266.56 |
O = 259239651182 T = 56.20 |
O = 259239651182 T = 97.80 |
| causal_n6_i5_N10000_uai13_log_int.wcnf | O = 4590069811 T = 7.09 |
O = 4590069811 T = 107.64 |
O = N/A T = TO |
O = 4590069811 T = 56.62 |
O = 4590069811 T = 7.09 |
O = 4590069811 T = 34.33 |
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 |
| causal_n6_i5_N1000_uai13_log_int.wcnf | O = 4590069811 T = 7.17 |
O = 4590069811 T = 103.32 |
O = N/A T = TO |
O = 4590069811 T = 56.46 |
O = 4590069811 T = 7.17 |
O = 4590069811 T = 33.73 |
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 |
| causal_n6_i5_N500_uai13_log_int.wcnf | O = 355929820 T = 6.04 |
O = 4590069811 T = 99.64 |
O = N/A T = TO |
O = 4590069811 T = 55.80 |
O = 4590069811 T = 7.01 |
O = 4590069811 T = 33.02 |
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 = 355929820 T = 6.04 |
O = 355929820 T = 15.07 |
O = 13400579290 T = 1.50 |
| causal_n6_i6_N1000_uai14_log_int.wcnf | O = 141474783700 T = 48.36 |
O = 141474783700 T = 48.36 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 270064669700 T = 0.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 = 274772742700 T = 10.37 |
O = N/A T = TO |
O = 274772742700 T = 24.81 |
| causal_n6_i7_N1000_uai14_log_int.wcnf | O = 2145196059 T = 0.15 |
O = 2758768089 T = 8.22 |
O = N/A T = TO |
O = N/A T = TO |
O = 11673910889 T = 167.18 |
O = 11673910889 T = 0.12 |
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 = 2145196059 T = 0.15 |
O = 2145196059 T = 8.27 |
O = N/A T = TO |
| causal_n6_i8_N1000_uai14_log_int.wcnf | O = 19596713347 T = 6.16 |
O = 19596713347 T = 6.16 |
O = N/A T = TO |
O = N/A T = TO |
O = 131261115987 T = 165.16 |
O = 131261115987 T = 0.19 |
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 = 19596713347 T = 10.58 |
| causal_n6_i9_N10000_uai14_log_int.wcnf | O = 2269682914 T = 18.00 |
O = 2459221184 T = 193.53 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 5176868363 T = 0.15 |
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 = 20676910173 T = 18.10 |
O = 127626351013 T = 10.71 |
O = 2269682914 T = 18.00 |
| causal_n7_i10_N10000_uai14_log_int.wcnf | O = 8353056804 T = 13.22 |
O = 36506252968 T = 1.58 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 36506252968 T = 0.78 |
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 = 8353056804 T = 13.22 |
O = 8353056804 T = 28.30 |
O = N/A T = TO |
| causal_n7_i10_N1000_uai14_log_int.wcnf | O = 3680168204 T = 19.88 |
O = 36506252968 T = 1.56 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 36506252968 T = 0.78 |
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 = 3680168204 T = 19.88 |
O = 3680168204 T = 28.51 |
O = 68325981404 T = 10.89 |
| causal_n7_i10_N500_uai14_log_int.wcnf | O = 3339853404 T = 13.99 |
O = 36506252968 T = 1.79 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 36506252968 T = 0.88 |
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 = 20754645784 T = 10.83 |
O = 20754645784 T = 13.96 |
O = 3339853404 T = 13.99 |
| causal_n7_i4_N10000_uai14_log_int.wcnf | O = 52983280824 T = 245.86 |
O = 52983280824 T = 245.86 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 138415729550 T = 0.83 |
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 = 2986586891024 T = 0.38 |
O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i4_N1000_uai14_log_int.wcnf | O = 60957882124 T = 126.64 |
O = 60957882124 T = 126.64 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 138415729550 T = 0.77 |
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 = 2860632279944 T = 16.79 |
O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i4_N500_uai14_log_int.wcnf | O = 94315090824 T = 168.41 |
O = 94315090824 T = 168.41 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 138415729550 T = 0.80 |
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 = 3200091357744 T = 0.29 |
O = 1060694355160 T = 10.28 |
O = 1060694355160 T = 35.92 |
| causal_n7_i5_N10000_uai14_log_int.wcnf | O = 318021057485 T = 0.73 |
O = 318021057485 T = 1.65 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 318021057485 T = 0.73 |
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 |
| causal_n7_i5_N1000_uai14_log_int.wcnf | O = 318021057485 T = 0.74 |
O = 318021057485 T = 2.26 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 318021057485 T = 0.74 |
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 = 326404567720 T = 19.87 |
O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i5_N500_uai14_log_int.wcnf | O = 20711646820 T = 12.76 |
O = 318021057485 T = 1.89 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 318021057485 T = 0.88 |
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 = 20711646820 T = 12.76 |
O = N/A T = TO |
O = N/A T = TO |
| causal_n7_i8_N10000_uai14_log_int.wcnf | O = 11486104693 T = 7.01 |
O = 338718561611 T = 1.66 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 338718561611 T = 0.76 |
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 = 11486104693 T = 7.01 |
O = 11486104693 T = 14.10 |
O = 11486104693 T = 9.23 |
| causal_n7_i8_N1000_uai14_log_int.wcnf | O = 11486104693 T = 5.36 |
O = 338718561611 T = 1.97 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 338718561611 T = 0.78 |
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 = 11486104693 T = 5.36 |
O = 11486104693 T = 12.81 |
O = 11486104693 T = 9.61 |
| causal_n7_i8_N500_uai14_log_int.wcnf | O = 11486104693 T = 24.84 |
O = 338718561611 T = 1.65 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 338718561611 T = 0.79 |
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 = 11486104693 T = 24.84 |
O = 11486104693 T = 33.31 |
O = 623229203393 T = 10.10 |
| causal_n7_i9_N10000_uai14_log_int.wcnf | O = 77725684079 T = 12.93 |
O = 136899940680 T = 168.17 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 203110818080 T = 0.80 |
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 = 77725684079 T = 12.93 |
O = 77725684079 T = 19.87 |
O = N/A T = TO |
| causal_n7_i9_N1000_uai14_log_int.wcnf | O = 43638470640 T = 30.88 |
O = 136899940680 T = 84.06 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 203110818080 T = 0.79 |
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 = 43638470640 T = 39.22 |
O = 43638470640 T = 30.88 |
O = 1138904789740 T = 13.12 |
| causal_n7_i9_N500_uai14_log_int.wcnf | O = 77725684079 T = 9.76 |
O = 198275422080 T = 36.38 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 203110818080 T = 0.90 |
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 = 621984333909 T = 0.93 |
O = 77725684079 T = 19.55 |
O = 77725684079 T = 9.76 |
| frb10-6-1.wcnf | O = 50 T = 0.02 |
O = 50 T = 1.66 |
O = 50 T = 1.59 |
O = N/A T = TO |
O = N/A T = TO |
O = 50 T = 1.23 |
O = 50 T = 0.06 |
O = 50 T = 0.02 |
O = 50 T = 0.50 |
O = 50 T = 1.13 |
O = 50 T = 0.41 |
O = 50 T = 0.15 |
O = 50 T = 9.06 |
O = 50 T = 5.09 |
| frb10-6-2.wcnf | O = 50 T = 0.01 |
O = 50 T = 1.17 |
O = 50 T = 1.77 |
O = N/A T = TO |
O = N/A T = TO |
O = 50 T = 0.85 |
O = 50 T = 0.07 |
O = 50 T = 0.01 |
O = 50 T = 1.50 |
O = 50 T = 1.08 |
O = 50 T = 0.62 |
O = 50 T = 0.33 |
O = 50 T = 9.11 |
O = 50 T = 5.81 |
| frb10-6-3.wcnf | O = 50 T = 0.02 |
O = 50 T = 1.32 |
O = 50 T = 1.65 |
O = N/A T = TO |
O = N/A T = TO |
O = 51 T = 0.97 |
O = 50 T = 0.07 |
O = 50 T = 0.02 |
O = 50 T = 1.27 |
O = 50 T = 1.39 |
O = 50 T = 0.58 |
O = 50 T = 0.22 |
O = 50 T = 8.14 |
O = 50 T = 5.77 |
| frb10-6-4.wcnf | O = 50 T = 0.02 |
O = 50 T = 2.02 |
O = 50 T = 1.63 |
O = N/A T = TO |
O = N/A T = TO |
O = 50 T = 1.27 |
O = 50 T = 0.07 |
O = 50 T = 0.02 |
O = 50 T = 0.73 |
O = 50 T = 1.47 |
O = 50 T = 0.67 |
O = 50 T = 0.15 |
O = 50 T = 9.04 |
O = 50 T = 5.28 |
| frb15-9-1.wcnf | O = 120 T = 0.19 |
O = 120 T = 3.71 |
O = 120 T = 3.10 |
O = N/A T = TO |
O = N/A T = TO |
O = 120 T = 2.69 |
O = 120 T = 0.43 |
O = 120 T = 0.19 |
O = 120 T = 2.99 |
O = 120 T = 3.18 |
O = 120 T = 9.10 |
O = 120 T = 20.50 |
O = 120 T = 9.21 |
O = 120 T = 42.73 |
| frb15-9-2.wcnf | O = 120 T = 0.27 |
O = 120 T = 3.72 |
O = 120 T = 3.02 |
O = N/A T = TO |
O = N/A T = TO |
O = 121 T = 2.57 |
O = 120 T = 0.36 |
O = 120 T = 0.27 |
O = 120 T = 2.63 |
O = 120 T = 3.36 |
O = 120 T = 44.08 |
O = 120 T = 14.82 |
O = 120 T = 9.19 |
O = 120 T = 40.86 |
| frb15-9-3.wcnf | O = 120 T = 0.25 |
O = 120 T = 3.17 |
O = 120 T = 2.89 |
O = N/A T = TO |
O = N/A T = TO |
O = 121 T = 2.16 |
O = 120 T = 0.41 |
O = 120 T = 0.25 |
O = 120 T = 3.32 |
O = 120 T = 2.81 |
O = 120 T = 23.91 |
O = 120 T = 7.15 |
O = 120 T = 17.47 |
O = 120 T = 13.04 |
| frb15-9-4.wcnf | O = 120 T = 0.30 |
O = 120 T = 2.75 |
O = 120 T = 3.54 |
O = N/A T = TO |
O = N/A T = TO |
O = 120 T = 2.32 |
O = 120 T = 0.44 |
O = 120 T = 0.30 |
O = 120 T = 3.10 |
O = 120 T = 3.24 |
O = 120 T = 23.31 |
O = 120 T = 9.79 |
O = 120 T = 14.27 |
O = 120 T = 15.04 |
| frb15-9-5.wcnf | O = 120 T = 0.21 |
O = 120 T = 2.86 |
O = 120 T = 3.51 |
O = N/A T = TO |
O = N/A T = TO |
O = 122 T = 2.71 |
O = 120 T = 0.37 |
O = 120 T = 0.21 |
O = 120 T = 3.02 |
O = 120 T = 2.33 |
O = 120 T = 24.11 |
O = 120 T = 22.73 |
O = 120 T = 9.33 |
O = 120 T = 39.58 |
| frb20-11-1.wcnf | O = 200 T = 1.06 |
O = 200 T = 4.51 |
O = 200 T = 2.66 |
O = N/A T = TO |
O = N/A T = TO |
O = 201 T = 4.82 |
O = 200 T = 1.06 |
O = 200 T = 1.17 |
O = 200 T = 4.51 |
O = 200 T = 4.33 |
O = 202 T = 184.61 |
O = 205 T = 0.22 |
O = 200 T = 56.11 |
O = 200 T = 88.82 |
| frb20-11-2.wcnf | O = 200 T = 1.07 |
O = 200 T = 4.49 |
O = 200 T = 5.20 |
O = N/A T = TO |
O = N/A T = TO |
O = 202 T = 4.33 |
O = 200 T = 1.07 |
O = 200 T = 1.09 |
O = 200 T = 4.22 |
O = 200 T = 3.24 |
O = 202 T = 179.29 |
O = N/A T = TO |
O = 200 T = 54.21 |
O = 200 T = 76.13 |
| frb20-11-3.wcnf | O = 200 T = 1.09 |
O = 200 T = 4.74 |
O = 200 T = 4.77 |
O = N/A T = TO |
O = N/A T = TO |
O = 202 T = 4.55 |
O = 200 T = 1.15 |
O = 200 T = 1.09 |
O = 200 T = 4.40 |
O = 200 T = 2.41 |
O = 202 T = 80.38 |
O = N/A T = TO |
O = 200 T = 57.78 |
O = 200 T = 81.24 |
| frb20-11-4.wcnf | O = 200 T = 1.05 |
O = 200 T = 5.53 |
O = 200 T = 5.11 |
O = N/A T = TO |
O = N/A T = TO |
O = 200 T = 4.67 |
O = 200 T = 1.06 |
O = 200 T = 1.05 |
O = 200 T = 5.80 |
O = 200 T = 4.29 |
O = 203 T = 55.16 |
O = N/A T = TO |
O = 200 T = 64.26 |
O = 200 T = 84.12 |
| frb20-11-5.wcnf | O = 200 T = 1.20 |
O = 200 T = 4.58 |
O = 200 T = 4.95 |
O = N/A T = TO |
O = N/A T = TO |
O = 201 T = 4.89 |
O = 200 T = 1.20 |
O = 200 T = 1.25 |
O = 200 T = 3.57 |
O = 200 T = 3.45 |
O = 202 T = 63.99 |
O = 206 T = 0.10 |
O = 200 T = 190.15 |
O = 200 T = 163.89 |
| frb25-13-1.wcnf | O = 300 T = 4.81 |
O = 300 T = 7.44 |
O = 300 T = 8.01 |
O = N/A T = TO |
O = N/A T = TO |
O = 302 T = 6.13 |
O = 300 T = 5.37 |
O = 300 T = 12.73 |
O = 300 T = 5.50 |
O = 300 T = 4.81 |
O = 319 T = 0.58 |
O = N/A T = TO |
O = 301 T = 85.68 |
O = 300 T = 124.76 |
| frb25-13-2.wcnf | O = 300 T = 3.08 |
O = 300 T = 5.42 |
O = 300 T = 7.20 |
O = N/A T = TO |
O = N/A T = TO |
O = 302 T = 7.01 |
O = 300 T = 3.17 |
O = 300 T = 3.08 |
O = 300 T = 6.47 |
O = 300 T = 6.18 |
O = 321 T = 0.45 |
O = 308 T = 0.19 |
O = 301 T = 72.23 |
O = 301 T = 280.43 |
| frb25-13-3.wcnf | O = 300 T = 2.76 |
O = 300 T = 5.31 |
O = 300 T = 6.38 |
O = N/A T = TO |
O = N/A T = TO |
O = 302 T = 7.04 |
O = 300 T = 5.70 |
O = 300 T = 2.76 |
O = 300 T = 5.98 |
O = 300 T = 8.14 |
O = 320 T = 0.74 |
O = 308 T = 0.18 |
O = 301 T = 191.99 |
O = 300 T = 73.86 |
| frb25-13-4.wcnf | O = 300 T = 4.89 |
O = 300 T = 5.07 |
O = 300 T = 6.99 |
O = N/A T = TO |
O = N/A T = TO |
O = 301 T = 7.07 |
O = 300 T = 7.15 |
O = 300 T = 4.89 |
O = 300 T = 7.28 |
O = 300 T = 6.11 |
O = 319 T = 0.43 |
O = N/A T = TO |
O = 301 T = 57.59 |
O = 301 T = 82.14 |
| frb25-13-5.wcnf | O = 300 T = 3.53 |
O = 300 T = 8.97 |
O = 300 T = 7.78 |
O = N/A T = TO |
O = N/A T = TO |
O = 303 T = 8.04 |
O = 300 T = 3.53 |
O = 300 T = 4.67 |
O = 300 T = 7.82 |
O = 300 T = 5.10 |
O = 321 T = 0.56 |
O = N/A T = TO |
O = 300 T = 104.29 |
O = 301 T = 159.77 |
| frb30-15-1.wcnf | O = 420 T = 8.23 |
O = 420 T = 8.27 |
O = 420 T = 10.37 |
O = N/A T = TO |
O = N/A T = TO |
O = 423 T = 9.13 |
O = 420 T = 14.03 |
O = 420 T = 15.51 |
O = 420 T = 9.58 |
O = 420 T = 8.23 |
O = 1345 T = 0.54 |
O = N/A T = TO |
O = 422 T = 85.37 |
O = 421 T = 180.37 |
| frb30-15-2.wcnf | O = 420 T = 8.01 |
O = 420 T = 8.74 |
O = 420 T = 8.01 |
O = N/A T = TO |
O = N/A T = TO |
O = 423 T = 9.12 |
O = 420 T = 32.02 |
O = 420 T = 14.45 |
O = 420 T = 8.27 |
O = 420 T = 9.09 |
O = 894 T = 0.45 |
O = N/A T = TO |
O = 421 T = 67.39 |
O = 427 T = 22.91 |
| frb30-15-3.wcnf | O = 420 T = 6.91 |
O = 420 T = 9.87 |
O = 420 T = 6.91 |
O = N/A T = TO |
O = N/A T = TO |
O = 422 T = 10.61 |
O = 420 T = 19.47 |
O = 420 T = 14.68 |
O = 420 T = 34.50 |
O = 420 T = 8.81 |
O = 1343 T = 0.45 |
O = N/A T = TO |
O = 422 T = 70.54 |
O = 426 T = 22.50 |
| frb30-15-4.wcnf | O = 420 T = 7.97 |
O = 420 T = 7.97 |
O = 420 T = 9.85 |
O = N/A T = TO |
O = N/A T = TO |
O = 422 T = 9.69 |
O = 420 T = 11.25 |
O = 420 T = 11.54 |
O = 420 T = 10.03 |
O = 420 T = 10.14 |
O = 1344 T = 0.62 |
O = 428 T = 0.20 |
O = 422 T = 71.75 |
O = 420 T = 146.70 |
| frb30-15-5.wcnf | O = 420 T = 5.16 |
O = 420 T = 8.90 |
O = 420 T = 7.90 |
O = N/A T = TO |
O = N/A T = TO |
O = 423 T = 9.23 |
O = 420 T = 14.32 |
O = 420 T = 14.55 |
O = 420 T = 5.16 |
O = 420 T = 7.34 |
O = 1794 T = 0.52 |
O = N/A T = TO |
O = 423 T = 9.95 |
O = 423 T = 40.72 |
| frb35-17-1.wcnf | O = 560 T = 8.88 |
O = 560 T = 13.70 |
O = 560 T = 12.58 |
O = N/A T = TO |
O = N/A T = TO |
O = 563 T = 12.32 |
O = 560 T = 49.29 |
O = 571 T = 0.13 |
O = 560 T = 11.52 |
O = 560 T = 8.88 |
O = 566 T = 3.20 |
O = N/A T = TO |
O = 562 T = 148.76 |
O = 568 T = 24.35 |
| frb35-17-2.wcnf | O = 560 T = 12.40 |
O = 560 T = 13.00 |
O = 560 T = 12.40 |
O = N/A T = TO |
O = N/A T = TO |
O = 563 T = 7.45 |
O = N/A T = TO |
O = 560 T = 131.02 |
O = 560 T = 40.82 |
O = 560 T = 13.19 |
O = 565 T = 54.86 |
O = N/A T = TO |
O = 561 T = 200.61 |
O = 568 T = 21.31 |
| frb35-17-3.wcnf | O = 560 T = 10.09 |
O = 560 T = 10.78 |
O = 560 T = 13.01 |
O = N/A T = TO |
O = N/A T = TO |
O = 563 T = 11.49 |
O = 560 T = 59.62 |
O = 560 T = 37.76 |
O = 560 T = 10.09 |
O = 560 T = 10.72 |
O = 564 T = 13.96 |
O = N/A T = TO |
O = 563 T = 14.95 |
O = 569 T = 23.38 |
| frb35-17-4.wcnf | O = 560 T = 9.93 |
O = 560 T = 32.31 |
O = 560 T = 11.83 |
O = N/A T = TO |
O = N/A T = TO |
O = 563 T = 9.47 |
O = 560 T = 43.26 |
O = 560 T = 99.34 |
O = 560 T = 45.82 |
O = 560 T = 9.93 |
O = 565 T = 63.42 |
O = N/A T = TO |
O = 563 T = 44.01 |
O = 566 T = 1.96 |
| frb35-17-5.wcnf | O = 560 T = 10.29 |
O = 560 T = 12.69 |
O = 560 T = 13.36 |
O = N/A T = TO |
O = N/A T = TO |
O = 563 T = 11.69 |
O = N/A T = TO |
O = 560 T = 56.59 |
O = 560 T = 10.29 |
O = 560 T = 10.88 |
O = 565 T = 36.37 |
O = N/A T = TO |
O = 564 T = 23.78 |
O = 570 T = 1.98 |
| frb40-19-1.wcnf | O = 720 T = 12.25 |
O = 720 T = 15.30 |
O = 720 T = 16.28 |
O = N/A T = TO |
O = N/A T = TO |
O = 722 T = 16.82 |
O = N/A T = TO |
O = 720 T = 177.46 |
O = 720 T = 32.29 |
O = 720 T = 12.25 |
O = 728 T = 7.55 |
O = N/A T = TO |
O = 725 T = 13.83 |
O = 729 T = 22.87 |
| frb40-19-2.wcnf | O = 720 T = 13.56 |
O = 720 T = 24.25 |
O = 721 T = 19.05 |
O = N/A T = TO |
O = N/A T = TO |
O = 724 T = 18.31 |
O = N/A T = TO |
O = 732 T = 0.14 |
O = 721 T = 18.74 |
O = 720 T = 13.56 |
O = 727 T = 6.43 |
O = N/A T = TO |
O = 723 T = 25.23 |
O = 726 T = 41.49 |
| frb40-19-3.wcnf | O = 720 T = 7.98 |
O = 720 T = 7.98 |
O = 720 T = 55.01 |
O = N/A T = TO |
O = N/A T = TO |
O = 723 T = 9.75 |
O = N/A T = TO |
O = 735 T = 0.14 |
O = 720 T = 70.43 |
O = 720 T = 13.87 |
O = 728 T = 4.00 |
O = N/A T = TO |
O = 724 T = 101.70 |
O = 729 T = 23.16 |
| frb40-19-4.wcnf | O = 720 T = 14.17 |
O = 720 T = 44.22 |
O = 720 T = 19.98 |
O = N/A T = TO |
O = N/A T = TO |
O = 723 T = 17.13 |
O = N/A T = TO |
O = 734 T = 0.13 |
O = 720 T = 38.97 |
O = 720 T = 14.17 |
O = 727 T = 74.93 |
O = N/A T = TO |
O = 723 T = 270.98 |
O = 729 T = 48.27 |
| frb40-19-5.wcnf | O = 720 T = 12.64 |
O = 721 T = 15.68 |
O = 721 T = 14.07 |
O = N/A T = TO |
O = N/A T = TO |
O = 724 T = 13.65 |
O = N/A T = TO |
O = 720 T = 51.84 |
O = 721 T = 13.08 |
O = 720 T = 12.64 |
O = 727 T = 64.78 |
O = N/A T = TO |
O = 724 T = 23.35 |
O = 729 T = 23.41 |
| driverlog02bc.wcsp.wcnf | O = 2085 T = 0.49 |
O = 2085 T = 2.07 |
O = N/A T = TO |
O = 2085 T = 0.68 |
O = 2085 T = 66.76 |
O = 2615 T = 0.17 |
O = N/A T = TO |
O = 2085 T = 3.70 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2085 T = 0.49 |
O = 2085 T = 8.72 |
O = 2085 T = 1.87 |
| driverlog02c.wcsp.wcnf | O = 2010 T = 0.20 |
O = 2010 T = 14.02 |
O = N/A T = TO |
O = 2010 T = 4.37 |
O = 2010 T = 0.65 |
O = 2090 T = 0.22 |
O = N/A T = TO |
O = 2010 T = 1.51 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2010 T = 0.20 |
O = 2010 T = 8.33 |
O = 2010 T = 1.56 |
| driverlog02cc.wcsp.wcnf | O = 2428 T = 0.46 |
O = 2656 T = 41.21 |
O = N/A T = TO |
O = 2656 T = 211.85 |
O = 2656 T = 232.07 |
O = 3146 T = 0.54 |
O = N/A T = TO |
O = 2428 T = 0.46 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2428 T = 5.67 |
O = 2428 T = 10.86 |
O = 2428 T = 6.87 |
| driverlog04ac.wcsp.wcnf | O = 1790 T = 0.03 |
O = 1790 T = 0.52 |
O = N/A T = TO |
O = 1790 T = 0.19 |
O = 1790 T = 0.18 |
O = 2420 T = 0.28 |
O = N/A T = TO |
O = 1790 T = 0.03 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1790 T = 0.08 |
O = 1790 T = 8.23 |
O = 1790 T = 1.57 |
| driverlog04bc.wcsp.wcnf | O = 1921 T = 0.12 |
O = 1921 T = 0.52 |
O = N/A T = TO |
O = 1921 T = 0.53 |
O = 1921 T = 0.52 |
O = 3151 T = 0.07 |
O = N/A T = TO |
O = 1921 T = 0.43 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1921 T = 0.12 |
O = 1921 T = 8.25 |
O = 1921 T = 1.53 |
| driverlog04cc.wcsp.wcnf | O = 2932 T = 0.27 |
O = 2932 T = 1.06 |
O = N/A T = TO |
O = 2932 T = 25.71 |
O = 2932 T = 0.27 |
O = 3724 T = 1.37 |
O = N/A T = TO |
O = 2932 T = 0.44 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2932 T = 2.08 |
O = 2932 T = 10.43 |
O = 2932 T = 4.50 |
| driverlog05ac.wcsp.wcnf | O = 1350 T = 0.19 |
O = 1350 T = 8.00 |
O = N/A T = TO |
O = 1350 T = 8.89 |
O = 1350 T = 3.46 |
O = 3095 T = 0.17 |
O = N/A T = TO |
O = 1350 T = 1.07 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1350 T = 0.19 |
O = 1350 T = 8.34 |
O = 1350 T = 0.40 |
| driverlog05bc.wcsp.wcnf | O = 1344 T = 0.45 |
O = 1438 T = 10.11 |
O = N/A T = TO |
O = 1344 T = 129.34 |
O = 1344 T = 0.70 |
O = 2816 T = 0.12 |
O = N/A T = TO |
O = 1344 T = 1.69 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1344 T = 0.48 |
O = 1344 T = 8.63 |
O = 1344 T = 0.45 |
| driverlog05c.wcsp.wcnf | O = 1350 T = 0.20 |
O = 1350 T = 15.31 |
O = N/A T = TO |
O = 1350 T = 9.17 |
O = 1350 T = 3.42 |
O = 2895 T = 0.13 |
O = N/A T = TO |
O = 1350 T = 1.09 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1350 T = 0.20 |
O = 1350 T = 8.33 |
O = 1350 T = 0.41 |
| driverlog08ac.wcsp.wcnf | O = 2220 T = 0.45 |
O = 2220 T = 2.68 |
O = N/A T = TO |
O = 2220 T = 1.22 |
O = 2220 T = 2.10 |
O = 2270 T = 0.66 |
O = N/A T = TO |
O = 2220 T = 2.68 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2220 T = 0.45 |
O = 2220 T = 8.66 |
O = 2220 T = 0.70 |
| driverlog08c.wcsp.wcnf | O = 2220 T = 0.46 |
O = 2220 T = 5.09 |
O = N/A T = TO |
O = 2220 T = 1.35 |
O = 2220 T = 2.07 |
O = 2455 T = 0.44 |
O = N/A T = TO |
O = 2220 T = 2.66 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2220 T = 0.46 |
O = 2220 T = 8.68 |
O = N/A T = TO |
| driverlog08cc.wcsp.wcnf | O = 4052 T = 2.32 |
O = 4052 T = 165.59 |
O = N/A T = TO |
O = 4052 T = 15.68 |
O = 4052 T = 19.08 |
O = 4578 T = 0.32 |
O = N/A T = TO |
O = 4052 T = 2.32 |
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 |
| driverlog09.wcsp.wcnf | O = 960 T = 0.22 |
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 = 960 T = 5.05 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 960 T = 0.22 |
O = 960 T = 8.39 |
O = N/A T = TO |
| driverlogs03.wcsp.wcnf | O = 1225 T = 0.03 |
O = 1225 T = 0.43 |
O = N/A T = TO |
O = 1225 T = 0.03 |
O = 1225 T = 0.22 |
O = 1585 T = 0.05 |
O = 1225 T = 1.20 |
O = 1225 T = 0.05 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1225 T = 0.03 |
O = 1225 T = 8.18 |
O = 1225 T = 2.44 |
| driverlogs06.wcsp.wcnf | O = 1055 T = 0.03 |
O = 1055 T = 0.49 |
O = N/A T = TO |
O = 1055 T = 0.11 |
O = 1055 T = 0.08 |
O = 1335 T = 0.05 |
O = 1055 T = 1.25 |
O = 1055 T = 0.08 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1055 T = 0.03 |
O = 1055 T = 8.18 |
O = 1055 T = 2.52 |
| logistics01bc.wcsp.wcnf | O = 8035 T = 0.01 |
O = 8035 T = 0.50 |
O = N/A T = TO |
O = 8035 T = 0.06 |
O = 8035 T = 0.09 |
O = 14385 T = 0.05 |
O = 8035 T = 0.12 |
O = 8035 T = 0.05 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 8035 T = 0.01 |
O = 8035 T = 8.18 |
O = 8035 T = 2.07 |
| logistics01c.wcsp.wcnf | O = 8865 T = 0.00 |
O = 8865 T = 0.61 |
O = N/A T = TO |
O = 8865 T = 0.21 |
O = 8865 T = 0.13 |
O = 15865 T = 0.05 |
O = 8865 T = 0.09 |
O = 8865 T = 0.04 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 8865 T = 0.00 |
O = 8865 T = 8.13 |
O = 8865 T = 2.06 |
| logistics01cc.wcsp.wcnf | O = 4282 T = 0.01 |
O = 4282 T = 0.47 |
O = N/A T = TO |
O = 4282 T = 0.16 |
O = 4282 T = 0.16 |
O = 4821 T = 0.05 |
O = 4282 T = 2.47 |
O = 4282 T = 0.09 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 4282 T = 0.01 |
O = 4282 T = 8.13 |
O = 4282 T = 2.03 |
| satellite01ac.wcsp.wcnf | O = 1530 T = 0.03 |
O = 1530 T = 0.52 |
O = N/A T = TO |
O = 1530 T = 0.03 |
O = 1530 T = 0.10 |
O = 1655 T = 0.05 |
O = 1530 T = 1.33 |
O = 1530 T = 0.08 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1530 T = 0.03 |
O = 1530 T = 8.19 |
O = 1530 T = 2.12 |
| satellite01bc.wcsp.wcnf | O = 1827 T = 0.04 |
O = 1827 T = 0.58 |
O = N/A T = TO |
O = 1827 T = 0.04 |
O = 1827 T = 0.11 |
O = 1852 T = 0.05 |
O = 1827 T = 3.06 |
O = 1827 T = 0.10 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1827 T = 0.06 |
O = 1827 T = 8.26 |
O = 1827 T = 2.04 |
| satellite01cc.wcsp.wcnf | O = 1530 T = 0.03 |
O = 1530 T = 0.48 |
O = N/A T = TO |
O = 1530 T = 0.08 |
O = 1530 T = 0.11 |
O = 1655 T = 0.06 |
O = 1530 T = 1.30 |
O = 1530 T = 0.09 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1530 T = 0.03 |
O = 1530 T = 8.14 |
O = 1530 T = 2.19 |
| satellite02ac.wcsp.wcnf | O = 1611 T = 0.19 |
O = 1811 T = 144.86 |
O = N/A T = TO |
O = 1861 T = 137.68 |
O = 1611 T = 22.05 |
O = 2061 T = 0.40 |
O = N/A T = TO |
O = 1611 T = 0.19 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1611 T = 0.33 |
O = 1611 T = 8.90 |
O = N/A T = TO |
| satellite02bc.wcsp.wcnf | O = 2289 T = 0.28 |
O = 2414 T = 80.87 |
O = N/A T = TO |
O = 2489 T = 113.68 |
O = 2289 T = 28.34 |
O = 2789 T = 0.53 |
O = N/A T = TO |
O = 2289 T = 9.56 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2289 T = 0.28 |
O = 2289 T = 8.82 |
O = N/A T = TO |
| zenotravel02ac.wcsp.wcnf | O = 2485 T = 0.00 |
O = 2485 T = 0.44 |
O = N/A T = TO |
O = 2485 T = 0.15 |
O = 2485 T = 0.06 |
O = 2485 T = 0.06 |
O = 2485 T = 1.03 |
O = 2485 T = 0.03 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2485 T = 0.00 |
O = 2485 T = 8.12 |
O = 2485 T = 2.15 |
| zenotravel02bc.wcsp.wcnf | O = 2335 T = 0.00 |
O = 2335 T = 0.63 |
O = N/A T = TO |
O = 2335 T = 0.13 |
O = 2335 T = 0.07 |
O = 3335 T = 0.05 |
O = 2335 T = 1.03 |
O = 2335 T = 0.04 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2335 T = 0.00 |
O = 2335 T = 8.14 |
O = 2335 T = 2.55 |
| zenotravel02c.wcsp.wcnf | O = 2485 T = 0.00 |
O = 2485 T = 0.58 |
O = N/A T = TO |
O = 2485 T = 0.07 |
O = 2485 T = 0.10 |
O = 2485 T = 0.04 |
O = 2485 T = 1.06 |
O = 2485 T = 0.03 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 2485 T = 0.00 |
O = 2485 T = 8.15 |
O = 2485 T = 2.16 |
| zenotravel02cc.wcsp.wcnf | O = 742 T = 0.00 |
O = 742 T = 0.65 |
O = N/A T = TO |
O = 742 T = 0.18 |
O = 742 T = 0.09 |
O = 982 T = 0.04 |
O = 742 T = 0.72 |
O = 742 T = 0.11 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 742 T = 0.00 |
O = 742 T = 8.15 |
O = 742 T = 2.45 |
| zenotravel04bc.wcsp.wcnf | O = 4110 T = 0.03 |
O = 4110 T = 1.36 |
O = N/A T = TO |
O = 4110 T = 0.16 |
O = 4110 T = 0.54 |
O = 4210 T = 0.07 |
O = 4110 T = 4.43 |
O = 4110 T = 0.21 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 4110 T = 0.03 |
O = 4110 T = 8.18 |
O = 4110 T = 1.64 |
| zenotravel04c.wcsp.wcnf | O = 4270 T = 0.03 |
O = 4270 T = 1.41 |
O = N/A T = TO |
O = 4270 T = 0.27 |
O = 4270 T = 0.29 |
O = 6155 T = 0.09 |
O = 4270 T = 2.45 |
O = 4270 T = 0.19 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 4270 T = 0.03 |
O = 4270 T = 8.16 |
O = 4270 T = 2.76 |
| zenotravel04cc.wcsp.wcnf | O = 1599 T = 0.07 |
O = 1599 T = 1.51 |
O = N/A T = TO |
O = 1599 T = 0.23 |
O = 1599 T = 0.25 |
O = 2910 T = 0.07 |
O = 1599 T = 3.23 |
O = 1599 T = 0.65 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 1599 T = 0.07 |
O = 1599 T = 8.20 |
O = 1599 T = 1.61 |
| cap101.wcsp.wcnf | O = 8732110 T = 62.22 |
O = 9054930 T = 252.46 |
O = N/A T = TO |
O = 8732110 T = 62.22 |
O = 10787401 T = 125.78 |
O = 22525696 T = 0.04 |
O = N/A T = TO |
O = 19426160 T = 0.00 |
O = 10569834 T = 13.84 |
O = N/A T = TO |
O = N/A T = TO |
O = 12054669 T = 2.33 |
O = 12865793 T = 12.13 |
O = 11963314 T = 4.85 |
| cap102.wcsp.wcnf | O = 9377028 T = 103.12 |
O = 9377028 T = 103.12 |
O = N/A T = TO |
O = 9425641 T = 284.50 |
O = 11011399 T = 268.63 |
O = 23327990 T = 0.04 |
O = N/A T = TO |
O = 19476160 T = 0.00 |
O = 11346355 T = 171.54 |
O = N/A T = TO |
O = N/A T = TO |
O = 11583003 T = 8.47 |
O = N/A T = TO |
O = 12437737 T = 4.63 |
| cap111.wcsp.wcnf | O = 8925116 T = 244.58 |
O = 9211951 T = 42.11 |
O = N/A T = TO |
O = 8925116 T = 244.58 |
O = 11870081 T = 91.64 |
O = 23376145 T = 0.06 |
O = N/A T = TO |
O = 34569756 T = 0.00 |
O = 11105121 T = 151.82 |
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 |
| cap112.wcsp.wcnf | O = 9744114 T = 40.84 |
O = 9744114 T = 40.84 |
O = N/A T = TO |
O = 10128805 T = 11.01 |
O = 12343653 T = 174.74 |
O = 28320410 T = 0.06 |
O = N/A T = TO |
O = 34619756 T = 0.00 |
O = 11159000 T = 33.27 |
O = N/A T = TO |
O = N/A T = TO |
O = 12662200 T = 2.63 |
O = N/A T = TO |
O = N/A T = TO |
| cap121.wcsp.wcnf | O = 8925116 T = 242.57 |
O = 9241473 T = 263.45 |
O = N/A T = TO |
O = 8925116 T = 242.57 |
O = 11870081 T = 91.10 |
O = 24880969 T = 0.03 |
O = N/A T = TO |
O = 34569756 T = 0.00 |
O = 10743798 T = 224.63 |
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 |
| cap122.wcsp.wcnf | O = 9744114 T = 39.95 |
O = 9744114 T = 39.95 |
O = N/A T = TO |
O = 10128805 T = 11.36 |
O = 12343653 T = 175.68 |
O = 28320410 T = 0.05 |
O = N/A T = TO |
O = 34619756 T = 0.00 |
O = 11159000 T = 33.46 |
O = N/A T = TO |
O = N/A T = TO |
O = 12662200 T = 3.26 |
O = N/A T = TO |
O = N/A T = TO |
| cap131.wcsp.wcnf | O = 8925116 T = 244.48 |
O = 9456989 T = 213.74 |
O = N/A T = TO |
O = 8925116 T = 244.48 |
O = 11870081 T = 91.20 |
O = 24873551 T = 0.05 |
O = N/A T = TO |
O = 34569756 T = 0.00 |
O = 10743798 T = 225.22 |
O = N/A T = TO |
O = N/A T = TO |
O = 11889535 T = 3.18 |
O = N/A T = TO |
O = N/A T = TO |
| cap132.wcsp.wcnf | O = 9895701 T = 192.05 |
O = 9895701 T = 192.05 |
O = N/A T = TO |
O = 10128805 T = 11.58 |
O = 12343653 T = 175.34 |
O = 22779672 T = 0.05 |
O = N/A T = TO |
O = 34619756 T = 0.00 |
O = 11159000 T = 33.43 |
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 |
| cap61.wcsp.wcnf | O = 9370745 T = 6.68 |
O = 9861001 T = 28.98 |
O = 10721279 T = 69.33 |
O = 9612242 T = 105.61 |
O = 9557970 T = 282.18 |
O = 17383664 T = 0.05 |
O = N/A T = TO |
O = 19426160 T = 0.05 |
O = 11105421 T = 120.04 |
O = 10126501 T = 73.76 |
O = N/A T = TO |
O = 9370745 T = 6.68 |
O = N/A T = TO |
O = N/A T = TO |
| cap62.wcsp.wcnf | O = 10045151 T = 281.12 |
O = 10290671 T = 75.01 |
O = 11459798 T = 62.57 |
O = 10110590 T = 249.71 |
O = 10045151 T = 281.12 |
O = 18053606 T = 0.05 |
O = N/A T = TO |
O = 19476160 T = 0.05 |
O = 11299687 T = 175.01 |
O = 10716096 T = 25.02 |
O = N/A T = TO |
O = 12289094 T = 3.54 |
O = 10934965 T = 13.91 |
O = 11710346 T = 4.75 |
| cap71.wcsp.wcnf | O = 9370745 T = 12.06 |
O = 9672590 T = 289.10 |
O = 10721279 T = 70.07 |
O = 9612242 T = 105.89 |
O = 9557970 T = 283.62 |
O = 17403606 T = 0.06 |
O = N/A T = TO |
O = 19426160 T = 0.05 |
O = 11421488 T = 132.00 |
O = 10430431 T = 65.10 |
O = N/A T = TO |
O = 9370745 T = 12.06 |
O = N/A T = TO |
O = N/A T = TO |
| cap72.wcsp.wcnf | O = 9809081 T = 136.28 |
O = 10270080 T = 129.39 |
O = 11459798 T = 63.27 |
O = 10110590 T = 246.88 |
O = 10045151 T = 281.76 |
O = 18133664 T = 0.06 |
O = N/A T = TO |
O = 19476160 T = 0.17 |
O = 11254586 T = 218.34 |
O = 10655370 T = 55.80 |
O = N/A T = TO |
O = 9817973 T = 57.00 |
O = 9809081 T = 136.28 |
O = 11710346 T = 5.51 |
| cap81.wcsp.wcnf | O = 8732110 T = 62.23 |
O = 9057217 T = 249.15 |
O = N/A T = TO |
O = 8732110 T = 62.23 |
O = 10787401 T = 124.29 |
O = 21706348 T = 0.04 |
O = N/A T = TO |
O = N/A T = TO |
O = 10403117 T = 107.26 |
O = N/A T = TO |
O = N/A T = TO |
O = 12054669 T = 4.42 |
O = 12865793 T = 11.83 |
O = 11963314 T = 6.06 |
| cap82.wcsp.wcnf | O = 9425641 T = 279.02 |
O = 9483113 T = 118.53 |
O = N/A T = TO |
O = 9425641 T = 279.02 |
O = 11011399 T = 271.13 |
O = 18830233 T = 0.05 |
O = N/A T = TO |
O = 19476160 T = 0.00 |
O = 11518673 T = 228.06 |
O = N/A T = TO |
O = N/A T = TO |
O = 11583003 T = 7.11 |
O = N/A T = TO |
O = 12437737 T = 5.19 |
| cap91.wcsp.wcnf | O = 8732110 T = 61.68 |
O = 9046798 T = 260.03 |
O = N/A T = TO |
O = 8732110 T = 61.68 |
O = 10787401 T = 124.98 |
O = 21706348 T = 0.05 |
O = N/A T = TO |
O = 19426160 T = 0.00 |
O = 10403117 T = 105.41 |
O = N/A T = TO |
O = N/A T = TO |
O = 12054669 T = 3.10 |
O = 12865793 T = 10.62 |
O = 11963314 T = 5.72 |
| cap92.wcsp.wcnf | O = 9425641 T = 280.04 |
O = 9483113 T = 116.36 |
O = N/A T = TO |
O = 9425641 T = 280.04 |
O = 11011399 T = 267.09 |
O = 33405139 T = 0.05 |
O = N/A T = TO |
O = 19476160 T = 0.00 |
O = 10925686 T = 107.36 |
O = N/A T = TO |
O = N/A T = TO |
O = 11583003 T = 10.14 |
O = N/A T = TO |
O = 12437737 T = 5.44 |
| warehouse0.wcsp.wcnf | O = 328 T = 0.00 |
O = 328 T = 0.98 |
O = 328 T = 1.10 |
O = 328 T = 0.59 |
O = 328 T = 0.68 |
O = 522 T = 0.05 |
O = 328 T = 0.50 |
O = 328 T = 0.02 |
O = 328 T = 4.77 |
O = 328 T = 0.97 |
O = N/A T = TO |
O = 328 T = 0.00 |
O = 328 T = 8.13 |
O = 328 T = 3.71 |
| warehouse1.wcsp.wcnf | O = 730567 T = 2.89 |
O = 730567 T = 47.13 |
O = 737676 T = 11.92 |
O = 730567 T = 208.53 |
O = 730567 T = 3.79 |
O = 1574740 T = 0.06 |
O = N/A T = TO |
O = 730997 T = 4.07 |
O = 730997 T = 206.39 |
O = 730567 T = 2.89 |
O = N/A T = TO |
O = 730567 T = 7.95 |
O = 730567 T = 15.77 |
O = 730567 T = 15.82 |
| 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 = 41 T = 37.96 |
O = 62 T = 127.10 |
O = N/A T = TO |
O = N/A T = TO |
O = 34 T = 10.36 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 34 T = 2.09 |
O = 34 T = 8.75 |
O = 34 T = 0.91 |
| normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf | O = 22199 T = 12.45 |
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 = 22199 T = 65.61 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 22199 T = 12.45 |
O = N/A T = TO |
O = 68856 T = 17.07 |
| 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 |
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 = 4102 T = 5.09 |
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 = 4102 T = 5.09 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 4442 T = 2.52 |
O = 4192 T = 8.49 |
O = 4192 T = 0.44 |
| normalized-mps-v2-20-10-lseu.opb.msat.wcnf | O = 1120 T = 23.42 |
O = 2379 T = 153.29 |
O = N/A T = TO |
O = 2454 T = 66.42 |
O = 1519 T = 135.98 |
O = 3233 T = 0.43 |
O = N/A T = TO |
O = 1233 T = 14.43 |
O = 1661 T = 213.76 |
O = N/A T = TO |
O = N/A T = TO |
O = 1120 T = 23.42 |
O = 1120 T = 29.59 |
O = 1120 T = 57.25 |
| normalized-mps-v2-20-10-mod008.opb.msat.wcnf | O = 411 T = 179.49 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 12321 T = 248.95 |
O = N/A T = TO |
O = 411 T = 179.49 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 524 T = 63.55 |
O = N/A T = TO |
O = 423 T = 2.30 |
| 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 |
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.05 |
O = 3089 T = 1.11 |
O = 3095 T = 97.88 |
O = 3089 T = 0.24 |
O = 3089 T = 0.18 |
O = 3597 T = 0.15 |
O = 3089 T = 0.33 |
O = 3089 T = 0.55 |
O = 3089 T = 2.08 |
O = 3089 T = 9.70 |
O = N/A T = TO |
O = 3089 T = 0.05 |
O = 3089 T = 8.23 |
O = 3089 T = 3.13 |
| normalized-mps-v2-20-10-p0040.opb.msat.wcnf | O = 62027 T = 0.01 |
O = 62027 T = 1.27 |
O = 62027 T = 0.98 |
O = 62027 T = 0.99 |
O = 62027 T = 1.04 |
O = 65717 T = 0.05 |
O = 62027 T = 1.58 |
O = 62027 T = 0.01 |
O = 62165 T = 12.80 |
O = 62027 T = 0.73 |
O = N/A T = TO |
O = 62027 T = 0.02 |
O = 62027 T = 8.12 |
O = 62027 T = 3.14 |
| normalized-mps-v2-20-10-p0201.opb.msat.wcnf | O = 1523 T = 21.04 |
O = 1834 T = 0.89 |
O = 1874 T = 145.78 |
O = 1716 T = 215.75 |
O = 1948 T = 204.34 |
O = 2634 T = 0.06 |
O = N/A T = TO |
O = 1815 T = 0.21 |
O = 1658 T = 46.70 |
O = 1683 T = 37.82 |
O = N/A T = TO |
O = 1523 T = 21.04 |
O = 1523 T = 22.02 |
O = 1523 T = 50.78 |
| normalized-mps-v2-20-10-p0548.opb.msat.wcnf | O = 41713 T = 226.61 |
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 = 55098 T = 4.95 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 41713 T = 226.61 |
O = 44703 T = 26.97 |
O = N/A T = TO |
| normalized-mps-v2-20-10-sentoy.opb.msat.wcnf | O = 5213 T = 20.96 |
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 = 7445 T = 0.52 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 5213 T = 20.96 |
O = 5820 T = 10.94 |
O = 5464 T = 1.20 |
| ram_k3_n10.ra1.wcnf | O = 232 T = 0.76 |
O = 232 T = 3.31 |
O = 232 T = 1.69 |
O = N/A T = TO |
O = N/A T = TO |
O = 478 T = 0.43 |
O = 232 T = 11.10 |
O = 23443 T = 1.61 |
O = 232 T = 0.76 |
O = 232 T = 1.15 |
O = 236 T = 5.69 |
O = 795 T = 1.77 |
O = 232 T = 9.15 |
O = 232 T = 23.50 |
| ram_k3_n11.ra1.wcnf | O = 318 T = 1.70 |
O = 318 T = 1.71 |
O = 318 T = 1.74 |
O = N/A T = TO |
O = N/A T = TO |
O = 824 T = 0.41 |
O = 318 T = 39.85 |
O = 1423 T = 3.27 |
O = 318 T = 2.54 |
O = 318 T = 1.70 |
O = 334 T = 2.13 |
O = 3716 T = 1.82 |
O = 318 T = 9.73 |
O = 318 T = 39.15 |
| ram_k3_n12.ra1.wcnf | O = 524 T = 1.50 |
O = 524 T = 2.19 |
O = 524 T = 1.88 |
O = N/A T = TO |
O = N/A T = TO |
O = 1915 T = 1.01 |
O = N/A T = TO |
O = 524 T = 25.07 |
O = 524 T = 2.11 |
O = 524 T = 1.50 |
O = 524 T = 79.28 |
O = 6140 T = 2.55 |
O = 524 T = 16.67 |
O = 524 T = 40.06 |
| ram_k3_n13.ra1.wcnf | O = 1417 T = 1.42 |
O = 1417 T = 3.13 |
O = 1417 T = 2.22 |
O = N/A T = TO |
O = N/A T = TO |
O = 2734 T = 0.87 |
O = N/A T = TO |
O = 1833 T = 169.03 |
O = 1417 T = 1.83 |
O = 1417 T = 1.42 |
O = 13701 T = 111.47 |
O = 10658 T = 230.17 |
O = 1417 T = 112.36 |
O = 1417 T = 140.89 |
| ram_k3_n14.ra1.wcnf | O = 3025 T = 1.61 |
O = 3025 T = 3.19 |
O = 3025 T = 2.56 |
O = N/A T = TO |
O = N/A T = TO |
O = 6346 T = 1.24 |
O = N/A T = TO |
O = 3351 T = 40.82 |
O = 3025 T = 1.61 |
O = 3025 T = 2.01 |
O = 25744 T = 101.10 |
O = 13381 T = 2.39 |
O = 3025 T = 16.15 |
O = 3025 T = 42.55 |
| ram_k3_n15.ra1.wcnf | O = 4884 T = 2.39 |
O = 4884 T = 4.45 |
O = 4884 T = 3.52 |
O = N/A T = TO |
O = N/A T = TO |
O = 8367 T = 1.47 |
O = N/A T = TO |
O = 5695 T = 121.46 |
O = 4884 T = 6.90 |
O = 4884 T = 2.39 |
O = 61225 T = 111.96 |
O = 21963 T = 0.12 |
O = 4922 T = 117.67 |
O = 5163 T = 40.05 |
| ram_k3_n16.ra1.wcnf | O = 7271 T = 1.98 |
O = 7271 T = 4.11 |
O = 7271 T = 3.53 |
O = N/A T = TO |
O = N/A T = TO |
O = 12615 T = 1.55 |
O = N/A T = TO |
O = 9331 T = 8.69 |
O = 7271 T = 4.57 |
O = 7271 T = 1.98 |
O = 80719 T = 128.57 |
O = 26440 T = 42.85 |
O = 7271 T = 207.61 |
O = 7271 T = 239.58 |
| ram_k3_n17.ra1.wcnf | O = 10372 T = 3.27 |
O = 10372 T = 4.75 |
O = 10372 T = 3.27 |
O = N/A T = TO |
O = N/A T = TO |
O = 15602 T = 1.93 |
O = N/A T = TO |
O = 14653 T = 4.87 |
O = 10372 T = 28.35 |
O = 10372 T = 3.44 |
O = 140603 T = 112.68 |
O = 35798 T = 232.17 |
O = 10372 T = 41.18 |
O = 11055 T = 50.11 |
| ram_k3_n18.ra1.wcnf | O = 15621 T = 2.57 |
O = 15621 T = 62.53 |
O = 15621 T = 6.91 |
O = N/A T = TO |
O = N/A T = TO |
O = 24999 T = 1.46 |
O = N/A T = TO |
O = 21498 T = 28.25 |
O = 15621 T = 130.01 |
O = 15621 T = 2.57 |
O = 177225 T = 220.14 |
O = 47684 T = 9.87 |
O = 17190 T = 70.93 |
O = 16970 T = 193.43 |
| ram_k3_n19.ra1.wcnf | O = 20665 T = 3.11 |
O = 20665 T = 55.81 |
O = 20665 T = 99.38 |
O = N/A T = TO |
O = N/A T = TO |
O = 30398 T = 2.50 |
O = N/A T = TO |
O = 28349 T = 33.55 |
O = 20665 T = 182.97 |
O = 20665 T = 3.11 |
O = 258339 T = 3.02 |
O = 52265 T = 87.27 |
O = 21896 T = 106.03 |
O = 21811 T = 245.38 |
| ram_k3_n20.ra1.wcnf | O = 23898 T = 7.07 |
O = 23898 T = 17.22 |
O = 23898 T = 129.63 |
O = N/A T = TO |
O = N/A T = TO |
O = 34113 T = 2.54 |
O = N/A T = TO |
O = 66979 T = 1.15 |
O = 24548 T = 210.27 |
O = 23898 T = 7.07 |
O = 309943 T = 2.40 |
O = 69334 T = 114.78 |
O = 25237 T = 53.79 |
O = 25816 T = 65.84 |
| ram_k3_n9.ra1.wcnf | O = 7 T = 0.31 |
O = 7 T = 1.03 |
O = 7 T = 0.58 |
O = N/A T = TO |
O = N/A T = TO |
O = 443 T = 0.48 |
O = 7 T = 1.47 |
O = 7 T = 0.31 |
O = 7 T = 0.42 |
O = 7 T = 0.71 |
O = 7 T = 0.95 |
O = 7 T = 1.04 |
O = 7 T = 8.57 |
O = 7 T = 5.19 |
| ram_k4_n18.ra1.wcnf | O = 273 T = 32.72 |
O = 399 T = 72.40 |
O = 408 T = 206.16 |
O = N/A T = TO |
O = N/A T = TO |
O = 2638 T = 1.53 |
O = N/A T = TO |
O = 891 T = 198.87 |
O = 511 T = 105.53 |
O = 273 T = 32.72 |
O = 523 T = 276.48 |
O = 27067 T = 0.10 |
O = 858 T = 231.00 |
O = 749 T = 265.59 |
| ram_k4_n19.ra1.wcnf | O = 942 T = 59.10 |
O = 1125 T = 21.19 |
O = 1286 T = 183.91 |
O = N/A T = TO |
O = N/A T = TO |
O = 4063 T = 2.41 |
O = N/A T = TO |
O = 2862 T = 32.10 |
O = 1497 T = 178.68 |
O = 942 T = 59.10 |
O = 5481 T = 272.76 |
O = 37526 T = 0.11 |
O = 2198 T = 71.48 |
O = 2493 T = 76.23 |
| ram_k4_n20.ra1.wcnf | O = 2729 T = 2.67 |
O = 3171 T = 113.09 |
O = 2975 T = 156.39 |
O = N/A T = TO |
O = N/A T = TO |
O = 9318 T = 2.21 |
O = N/A T = TO |
O = 6691 T = 206.47 |
O = 3565 T = 47.86 |
O = 2729 T = 2.67 |
O = 49214 T = 6.14 |
O = 47072 T = 0.11 |
O = 5036 T = 28.62 |
O = 4893 T = 105.37 |
| random-net-200-1_network-1.net.wcnf | O = 172132 T = 3.38 |
O = 183437 T = 104.44 |
O = 191027 T = 32.56 |
O = 213558 T = 90.96 |
O = 210234 T = 63.41 |
O = 178077 T = 7.25 |
O = N/A T = TO |
O = 172132 T = 3.38 |
O = 173681 T = 199.74 |
O = 187471 T = 6.84 |
O = 2570583 T = 0.57 |
O = N/A T = TO |
O = 172132 T = 22.10 |
O = 172132 T = 51.10 |
| random-net-200-1_network-3.net.wcnf | O = 189579 T = 239.72 |
O = 205260 T = 252.57 |
O = 214650 T = 175.50 |
O = 227870 T = 135.45 |
O = 224158 T = 129.85 |
O = 196893 T = 8.30 |
O = N/A T = TO |
O = 199364 T = 2.59 |
O = 189579 T = 239.72 |
O = 212967 T = 10.87 |
O = 3067689 T = 0.55 |
O = 216096 T = 30.58 |
O = N/A T = TO |
O = 221844 T = 22.96 |
| random-net-200-1_network-4.net.wcnf | O = 202191 T = 22.65 |
O = 221316 T = 62.29 |
O = 227844 T = 139.45 |
O = 236739 T = 54.94 |
O = 235830 T = 155.41 |
O = 211145 T = 9.03 |
O = N/A T = TO |
O = 213293 T = 186.39 |
O = 205256 T = 260.20 |
O = 225544 T = 23.54 |
O = 3062913 T = 0.53 |
O = 202191 T = 29.39 |
O = 202191 T = 29.50 |
O = 202191 T = 22.65 |
| random-net-240-1_network-1.net.wcnf | O = 224300 T = 42.89 |
O = 249943 T = 161.69 |
O = 258413 T = 267.63 |
O = 275738 T = 117.35 |
O = 272328 T = 169.25 |
O = 234901 T = 9.89 |
O = N/A T = TO |
O = 239365 T = 5.57 |
O = 227460 T = 287.82 |
O = 257418 T = 5.53 |
O = 3547736 T = 0.56 |
O = N/A T = TO |
O = 224300 T = 42.89 |
O = 224300 T = 65.03 |
| random-net-240-1_network-2.net.wcnf | O = 223250 T = 143.74 |
O = 246775 T = 40.83 |
O = 255205 T = 227.48 |
O = 275506 T = 78.72 |
O = 269840 T = 186.32 |
O = 229213 T = 10.30 |
O = N/A T = TO |
O = 230949 T = 178.52 |
O = 223250 T = 143.74 |
O = 252364 T = 14.32 |
O = 3377456 T = 0.66 |
O = N/A T = TO |
O = N/A T = TO |
O = 273812 T = 22.71 |
| random-net-240-1_network-3.net.wcnf | O = 213755 T = 9.06 |
O = 233747 T = 79.99 |
O = 243211 T = 262.65 |
O = 273156 T = 187.93 |
O = 262986 T = 119.76 |
O = 224304 T = 9.31 |
O = N/A T = TO |
O = 224157 T = 45.66 |
O = 216385 T = 207.74 |
O = 242094 T = 17.05 |
O = 3372757 T = 0.45 |
O = 213755 T = 9.06 |
O = 213755 T = 15.27 |
O = 213755 T = 15.90 |
| random-net-240-1_network-4.net.wcnf | O = 236120 T = 17.69 |
O = 258361 T = 260.41 |
O = 274635 T = 210.68 |
O = 285188 T = 69.63 |
O = 277647 T = 287.88 |
O = 243654 T = 6.61 |
O = N/A T = TO |
O = 247523 T = 11.47 |
O = 236120 T = 17.69 |
O = 267624 T = 21.30 |
O = 3841544 T = 0.63 |
O = 286188 T = 26.03 |
O = N/A T = TO |
O = 292191 T = 20.01 |
| random-net-240-1_network-5.net.wcnf | O = 227363 T = 46.13 |
O = 253201 T = 184.81 |
O = 260107 T = 84.51 |
O = 282891 T = 196.22 |
O = 276005 T = 22.23 |
O = 238278 T = 8.47 |
O = N/A T = TO |
O = 244471 T = 4.95 |
O = 231072 T = 139.07 |
O = 260331 T = 12.66 |
O = 3526256 T = 0.30 |
O = 282418 T = 20.01 |
O = 227363 T = 46.13 |
O = 227363 T = 68.23 |
| random-net-280-1_network-2.net.wcnf | O = 263706 T = 45.39 |
O = 290239 T = 290.04 |
O = 304062 T = 39.21 |
O = 334639 T = 278.21 |
O = 318483 T = 281.41 |
O = 271891 T = 10.94 |
O = N/A T = TO |
O = 283499 T = 2.49 |
O = 267114 T = 136.07 |
O = 298822 T = 25.33 |
O = 4200395 T = 0.53 |
O = 263706 T = 45.39 |
O = 263706 T = 48.38 |
O = 263706 T = 81.99 |
| random-net-280-1_network-3.net.wcnf | O = 257943 T = 82.70 |
O = 291204 T = 43.87 |
O = 301833 T = 31.35 |
O = 325270 T = 105.34 |
O = 315039 T = 205.39 |
O = 268589 T = 10.66 |
O = N/A T = TO |
O = 276833 T = 8.86 |
O = 263304 T = 12.22 |
O = 296239 T = 4.88 |
O = 4106748 T = 0.51 |
O = N/A T = TO |
O = 257943 T = 82.70 |
O = 257943 T = 127.15 |
| random-net-280-1_network-4.net.wcnf | O = 251789 T = 12.81 |
O = 279302 T = 113.25 |
O = 291157 T = 7.35 |
O = 322342 T = 30.65 |
O = 312667 T = 80.68 |
O = 263599 T = 11.07 |
O = N/A T = TO |
O = 268920 T = 6.11 |
O = 258284 T = 205.73 |
O = 287131 T = 7.12 |
O = 3939203 T = 0.45 |
O = 251789 T = 12.81 |
O = 251789 T = 18.04 |
O = 251789 T = 46.72 |
| random-net-280-1_network-5.net.wcnf | O = 254206 T = 21.05 |
O = 286650 T = 123.50 |
O = 294631 T = 8.30 |
O = 322765 T = 7.90 |
O = 314124 T = 185.16 |
O = 269588 T = 10.65 |
O = N/A T = TO |
O = 270985 T = 8.22 |
O = 259863 T = 76.94 |
O = 293914 T = 10.37 |
O = 3906874 T = 0.50 |
O = N/A T = TO |
O = 254206 T = 21.51 |
O = 254206 T = 21.05 |
| random-net-300-1_network-1.net.wcnf | O = 285555 T = 62.81 |
O = 331680 T = 76.52 |
O = 342833 T = 202.17 |
O = 356691 T = 181.46 |
O = 353324 T = 165.57 |
O = 296503 T = 13.14 |
O = N/A T = TO |
O = 306402 T = 39.82 |
O = 291075 T = 78.98 |
O = 340263 T = 25.29 |
O = 4656500 T = 0.50 |
O = 368177 T = 29.44 |
O = 285555 T = 62.81 |
O = 285555 T = 89.46 |
| random-net-300-1_network-2.net.wcnf | O = 293088 T = 47.26 |
O = 331234 T = 150.32 |
O = 335094 T = 224.72 |
O = 361918 T = 43.87 |
O = 356110 T = 28.44 |
O = 303532 T = 8.52 |
O = N/A T = TO |
O = 320525 T = 1.63 |
O = 295221 T = 11.01 |
O = 332243 T = 25.79 |
O = 4342433 T = 0.27 |
O = 318107 T = 25.34 |
O = 293088 T = 47.26 |
O = 293088 T = 66.59 |
| random-net-300-1_network-3.net.wcnf | O = 275934 T = 280.86 |
O = 310255 T = 236.62 |
O = 327836 T = 228.64 |
O = 350163 T = 259.95 |
O = 335652 T = 177.26 |
O = 281513 T = 10.06 |
O = N/A T = TO |
O = 288581 T = 11.83 |
O = 275934 T = 280.86 |
O = 323177 T = 24.38 |
O = 4264370 T = 0.40 |
O = 361972 T = 19.85 |
O = N/A T = TO |
O = 331330 T = 21.73 |
| random-net-300-1_network-4.net.wcnf | O = 284120 T = 20.56 |
O = 317172 T = 27.28 |
O = 326708 T = 277.02 |
O = 356036 T = 6.62 |
O = 351420 T = 38.78 |
O = 291757 T = 8.85 |
O = N/A T = TO |
O = 316988 T = 0.59 |
O = 288456 T = 234.02 |
O = 324353 T = 10.80 |
O = 4371437 T = 0.44 |
O = 284120 T = 20.56 |
O = 284120 T = 23.36 |
O = 284120 T = 51.54 |
| random-net-300-1_network-5.net.wcnf | O = 267307 T = 60.27 |
O = 309269 T = 91.60 |
O = 318603 T = 121.82 |
O = 340743 T = 113.98 |
O = 332239 T = 178.24 |
O = 279997 T = 9.47 |
O = N/A T = TO |
O = 284369 T = 14.69 |
O = 271750 T = 252.45 |
O = 319054 T = 23.32 |
O = 4042863 T = 0.45 |
O = 332771 T = 26.17 |
O = 267307 T = 60.27 |
O = 267307 T = 84.80 |
| random-net-50-2_network-1.net.wcnf | O = 48636 T = 7.52 |
O = 48737 T = 272.33 |
O = 48987 T = 242.03 |
O = 50577 T = 189.26 |
O = 50462 T = 225.70 |
O = 51295 T = 2.92 |
O = N/A T = TO |
O = 48636 T = 7.52 |
O = 48636 T = 39.67 |
O = 48636 T = 27.37 |
O = 963304 T = 181.56 |
O = 68057 T = 9.03 |
O = 49324 T = 125.33 |
O = 49344 T = 174.49 |
| random-net-50-2_network-2.net.wcnf | O = 43675 T = 3.50 |
O = 43782 T = 214.24 |
O = 44608 T = 249.52 |
O = 47392 T = 47.67 |
O = 46520 T = 243.12 |
O = 49470 T = 2.64 |
O = N/A T = TO |
O = 43675 T = 3.50 |
O = 43675 T = 9.86 |
O = 44039 T = 16.48 |
O = 1421320 T = 0.37 |
O = 55781 T = 18.69 |
O = 43675 T = 290.69 |
O = 44120 T = 45.66 |
| random-net-50-2_network-3.net.wcnf | O = 46924 T = 4.49 |
O = 47669 T = 237.60 |
O = 48038 T = 162.63 |
O = 48837 T = 77.38 |
O = 48422 T = 234.43 |
O = 50532 T = 1.72 |
O = N/A T = TO |
O = 46924 T = 4.49 |
O = 46924 T = 68.26 |
O = 47380 T = 26.66 |
O = 992017 T = 135.33 |
O = N/A T = TO |
O = 46924 T = 46.08 |
O = 46924 T = 73.90 |
| random-net-50-2_network-4.net.wcnf | O = 45279 T = 3.59 |
O = 46701 T = 108.03 |
O = 46961 T = 272.50 |
O = 47716 T = 177.29 |
O = 47760 T = 3.65 |
O = 46759 T = 1.80 |
O = N/A T = TO |
O = 45279 T = 3.59 |
O = 45279 T = 29.43 |
O = 45956 T = 22.97 |
O = 946026 T = 167.69 |
O = N/A T = TO |
O = 45279 T = 84.62 |
O = 45279 T = 132.09 |
| random-net-50-2_network-5.net.wcnf | O = 50309 T = 16.13 |
O = 51419 T = 152.58 |
O = 52212 T = 69.08 |
O = 54375 T = 198.44 |
O = 53407 T = 183.81 |
O = 52230 T = 1.84 |
O = N/A T = TO |
O = 50309 T = 16.13 |
O = 50440 T = 58.03 |
O = 50891 T = 67.33 |
O = 1741938 T = 0.47 |
O = N/A T = TO |
O = 52703 T = 197.72 |
O = 51804 T = 247.59 |
| random-net-60-2_network-1.net.wcnf | O = 53630 T = 3.10 |
O = 54523 T = 125.21 |
O = 55372 T = 182.45 |
O = 61256 T = 180.28 |
O = 60262 T = 8.75 |
O = 59854 T = 2.28 |
O = N/A T = TO |
O = 53630 T = 10.51 |
O = 53630 T = 3.10 |
O = 54483 T = 29.23 |
O = 1710807 T = 0.57 |
O = N/A T = TO |
O = 54980 T = 134.49 |
O = 55684 T = 113.21 |
| random-net-60-2_network-2.net.wcnf | O = 55787 T = 5.26 |
O = 57575 T = 52.14 |
O = 59499 T = 192.96 |
O = 64080 T = 231.10 |
O = 63108 T = 188.01 |
O = 64458 T = 2.73 |
O = N/A T = TO |
O = N/A T = TO |
O = 55787 T = 5.26 |
O = 57826 T = 31.54 |
O = 2003598 T = 0.49 |
O = N/A T = TO |
O = 57710 T = 19.87 |
O = 57672 T = 146.66 |
| random-net-60-2_network-3.net.wcnf | O = 57045 T = 5.58 |
O = 58032 T = 270.63 |
O = 59414 T = 197.61 |
O = 64428 T = 109.86 |
O = 64387 T = 131.69 |
O = 61034 T = 2.87 |
O = N/A T = TO |
O = 57045 T = 5.58 |
O = 57045 T = 275.88 |
O = 59391 T = 31.49 |
O = 1866025 T = 0.49 |
O = 94783 T = 3.26 |
O = 57045 T = 96.57 |
O = 57932 T = 127.34 |
| random-net-60-2_network-4.net.wcnf | O = 54951 T = 3.83 |
O = 55953 T = 195.67 |
O = 57556 T = 171.88 |
O = 59513 T = 119.34 |
O = 59198 T = 205.22 |
O = 56949 T = 2.96 |
O = N/A T = TO |
O = 54951 T = 3.83 |
O = 55175 T = 215.76 |
O = 56402 T = 23.49 |
O = 1512480 T = 0.54 |
O = 64295 T = 21.39 |
O = 54951 T = 32.07 |
O = 54951 T = 59.38 |
| random-net-60-2_network-5.net.wcnf | O = 56931 T = 10.22 |
O = 58436 T = 239.36 |
O = 60056 T = 85.96 |
O = 62889 T = 255.84 |
O = 61214 T = 53.58 |
O = 59090 T = 3.54 |
O = N/A T = TO |
O = 56931 T = 10.22 |
O = 57710 T = 264.81 |
O = 58853 T = 14.54 |
O = 1869992 T = 0.45 |
O = N/A T = TO |
O = 59920 T = 258.68 |
O = 62009 T = 73.79 |
| random-net-80-2_network-1.net.wcnf | O = 67550 T = 13.53 |
O = 70485 T = 25.09 |
O = 71718 T = 244.28 |
O = 77414 T = 102.63 |
O = 74593 T = 81.84 |
O = 71171 T = 3.27 |
O = N/A T = TO |
O = 67550 T = 13.53 |
O = 68378 T = 23.56 |
O = 69208 T = 76.65 |
O = 2234707 T = 0.54 |
O = N/A T = TO |
O = 72252 T = 35.22 |
O = 72530 T = 260.32 |
| random-net-80-2_network-2.net.wcnf | O = 73815 T = 142.89 |
O = 75247 T = 72.68 |
O = 79587 T = 195.85 |
O = 84947 T = 135.66 |
O = 83210 T = 230.73 |
O = 76779 T = 3.03 |
O = N/A T = TO |
O = 75187 T = 54.91 |
O = 73815 T = 142.89 |
O = 77854 T = 37.30 |
O = 2405413 T = 0.49 |
O = N/A T = TO |
O = 76458 T = 128.98 |
O = 76911 T = 141.86 |
| random-net-80-2_network-3.net.wcnf | O = 70391 T = 124.93 |
O = 72824 T = 190.66 |
O = 75244 T = 145.32 |
O = 81536 T = 152.02 |
O = 80536 T = 217.59 |
O = 74093 T = 4.24 |
O = N/A T = TO |
O = 73702 T = 1.76 |
O = 70391 T = 124.93 |
O = 73669 T = 61.37 |
O = 2387605 T = 0.55 |
O = N/A T = TO |
O = 75993 T = 234.60 |
O = 75767 T = 46.85 |
| random-net-80-2_network-4.net.wcnf | O = 78490 T = 49.92 |
O = 78607 T = 35.18 |
O = 81670 T = 176.88 |
O = 87976 T = 10.63 |
O = 86607 T = 232.50 |
O = 83428 T = 3.96 |
O = N/A T = TO |
O = 81597 T = 110.30 |
O = 78490 T = 49.92 |
O = 80041 T = 7.06 |
O = 2737264 T = 0.52 |
O = N/A T = TO |
O = 78920 T = 139.22 |
O = 78538 T = 230.49 |
| random-net-80-2_network-5.net.wcnf | O = 71287 T = 10.68 |
O = 75348 T = 21.60 |
O = 77659 T = 45.51 |
O = 83056 T = 268.47 |
O = 83010 T = 189.72 |
O = 77551 T = 3.66 |
O = N/A T = TO |
O = 71287 T = 10.68 |
O = 71808 T = 69.85 |
O = 74660 T = 3.76 |
O = 2095038 T = 0.49 |
O = N/A T = TO |
O = 73242 T = 290.21 |
O = 73557 T = 105.90 |
| scp410_weighted.wcnf | O = 519 T = 166.44 |
O = 519 T = 166.44 |
O = 560 T = 83.16 |
O = 584 T = 122.05 |
O = 596 T = 56.39 |
O = 980 T = 18.28 |
O = N/A T = TO |
O = 536 T = 0.59 |
O = 689 T = 260.86 |
O = 524 T = 15.24 |
O = 48300 T = 0.55 |
O = 533 T = 59.63 |
O = 529 T = 34.02 |
O = 535 T = 14.87 |
| scp41_weighted.wcnf | O = 429 T = 13.36 |
O = 433 T = 43.67 |
O = 477 T = 68.02 |
O = 567 T = 22.00 |
O = 513 T = 46.23 |
O = 683 T = 18.54 |
O = N/A T = TO |
O = 438 T = 1.73 |
O = 671 T = 267.35 |
O = 444 T = 37.70 |
O = 48210 T = 0.48 |
O = 429 T = 13.36 |
O = 429 T = 23.65 |
O = 429 T = 18.06 |
| scp42_weighted.wcnf | O = 526 T = 133.31 |
O = 526 T = 133.31 |
O = 550 T = 276.01 |
O = 644 T = 155.22 |
O = 589 T = 230.97 |
O = 778 T = 11.14 |
O = N/A T = TO |
O = 549 T = 41.00 |
O = 674 T = 261.31 |
O = 533 T = 21.09 |
O = 48050 T = 0.33 |
O = N/A T = TO |
O = N/A T = TO |
O = 545 T = 18.00 |
| scp43_weighted.wcnf | O = 529 T = 4.21 |
O = 530 T = 46.72 |
O = 561 T = 33.26 |
O = 611 T = 61.26 |
O = 583 T = 75.41 |
O = 716 T = 19.04 |
O = N/A T = TO |
O = 529 T = 4.21 |
O = 660 T = 20.03 |
O = 542 T = 14.73 |
O = 48339 T = 0.51 |
O = 536 T = 15.36 |
O = N/A T = TO |
O = 537 T = 12.54 |
| scp44_weighted.wcnf | O = 498 T = 46.26 |
O = 498 T = 46.26 |
O = 518 T = 160.04 |
O = 604 T = 59.69 |
O = 559 T = 150.63 |
O = 686 T = 19.42 |
O = N/A T = TO |
O = 530 T = 0.72 |
O = 658 T = 273.66 |
O = 503 T = 14.79 |
O = 47993 T = 0.57 |
O = 519 T = 39.02 |
O = N/A T = TO |
O = 518 T = 11.74 |
| scp45_weighted.wcnf | O = 512 T = 12.80 |
O = 536 T = 138.14 |
O = 541 T = 116.79 |
O = 626 T = 206.87 |
O = 559 T = 153.18 |
O = 806 T = 19.55 |
O = N/A T = TO |
O = 522 T = 0.72 |
O = 634 T = 62.68 |
O = 536 T = 30.13 |
O = 47999 T = 0.63 |
O = 512 T = 12.80 |
O = 512 T = 13.89 |
O = 512 T = 19.30 |
| scp46_weighted.wcnf | O = 571 T = 12.20 |
O = 571 T = 91.79 |
O = 592 T = 50.33 |
O = 691 T = 273.89 |
O = 618 T = 229.75 |
O = 820 T = 15.93 |
O = N/A T = TO |
O = 603 T = 0.34 |
O = 732 T = 151.14 |
O = 576 T = 39.13 |
O = 49416 T = 0.66 |
O = 571 T = 12.20 |
O = N/A T = TO |
O = 574 T = 15.32 |
| scp47_weighted.wcnf | O = 430 T = 3.79 |
O = 436 T = 151.33 |
O = 438 T = 143.63 |
O = 495 T = 171.99 |
O = 456 T = 89.66 |
O = 692 T = 19.44 |
O = N/A T = TO |
O = 438 T = 0.51 |
O = 530 T = 17.73 |
O = 433 T = 15.27 |
O = 47140 T = 0.71 |
O = 430 T = 3.79 |
O = 430 T = 11.08 |
O = 430 T = 7.94 |
| scp48_weighted.wcnf | O = 497 T = 64.45 |
O = 497 T = 64.45 |
O = 513 T = 48.59 |
O = 570 T = 46.63 |
O = 545 T = 86.49 |
O = 835 T = 22.15 |
O = N/A T = TO |
O = 544 T = 0.51 |
O = 640 T = 60.70 |
O = 498 T = 19.27 |
O = 50292 T = 0.42 |
O = 513 T = 0.11 |
O = N/A T = TO |
O = 513 T = 2.21 |
| scp49_weighted.wcnf | O = 650 T = 73.88 |
O = 650 T = 73.88 |
O = 700 T = 271.70 |
O = 807 T = 212.48 |
O = 746 T = 136.50 |
O = 927 T = 18.87 |
O = N/A T = TO |
O = 11071 T = 0.05 |
O = 857 T = 164.64 |
O = 656 T = 51.10 |
O = 50053 T = 0.61 |
O = 690 T = 40.41 |
O = N/A T = TO |
O = 720 T = 2.16 |
| scp510_weighted.wcnf | O = 265 T = 68.50 |
O = 271 T = 70.87 |
O = 324 T = 44.04 |
O = 402 T = 268.64 |
O = 420 T = 218.04 |
O = 373 T = 44.75 |
O = N/A T = TO |
O = 281 T = 0.32 |
O = 484 T = 225.15 |
O = N/A T = TO |
O = 99922 T = 0.62 |
O = 265 T = 68.50 |
O = 265 T = 75.17 |
O = 265 T = 106.94 |
| scp51_weighted.wcnf | O = 253 T = 289.10 |
O = 266 T = 37.98 |
O = 292 T = 105.17 |
O = 416 T = 47.82 |
O = 359 T = 43.71 |
O = 418 T = 27.10 |
O = N/A T = TO |
O = 277 T = 0.25 |
O = 374 T = 39.49 |
O = N/A T = TO |
O = 97881 T = 0.65 |
O = N/A T = TO |
O = 253 T = 289.10 |
O = 258 T = 16.07 |
| scp52_weighted.wcnf | O = 309 T = 143.53 |
O = 317 T = 102.43 |
O = 342 T = 46.96 |
O = 483 T = 225.11 |
O = 414 T = 272.89 |
O = 309 T = 143.53 |
O = N/A T = TO |
O = 329 T = 0.19 |
O = 506 T = 41.17 |
O = N/A T = TO |
O = 99697 T = 0.79 |
O = 324 T = 0.10 |
O = N/A T = TO |
O = 324 T = 2.19 |
| scp53_weighted.wcnf | O = 226 T = 0.45 |
O = 226 T = 37.90 |
O = 233 T = 217.63 |
O = 323 T = 273.13 |
O = 313 T = 106.70 |
O = 405 T = 32.20 |
O = N/A T = TO |
O = 226 T = 0.45 |
O = 359 T = 30.45 |
O = N/A T = TO |
O = 94910 T = 0.84 |
O = 226 T = 0.69 |
O = 226 T = 8.88 |
O = 226 T = 3.39 |
| scp54_weighted.wcnf | O = 242 T = 19.03 |
O = 253 T = 218.54 |
O = 281 T = 153.78 |
O = 340 T = 191.06 |
O = 360 T = 221.39 |
O = 277 T = 25.63 |
O = N/A T = TO |
O = 261 T = 0.26 |
O = 391 T = 35.54 |
O = 268 T = 39.71 |
O = 95684 T = 1.05 |
O = 242 T = 19.03 |
O = 242 T = 22.39 |
O = 242 T = 20.37 |
| scp55_weighted.wcnf | O = 211 T = 15.11 |
O = 216 T = 269.46 |
O = 225 T = 144.43 |
O = 355 T = 136.21 |
O = 314 T = 191.28 |
O = 287 T = 28.84 |
O = N/A T = TO |
O = 220 T = 0.41 |
O = 379 T = 293.02 |
O = N/A T = TO |
O = 98154 T = 0.79 |
O = 211 T = 15.11 |
O = 211 T = 21.83 |
O = 211 T = 16.87 |
| scp56_weighted.wcnf | O = 213 T = 55.84 |
O = 216 T = 41.95 |
O = 229 T = 49.95 |
O = 346 T = 52.20 |
O = 332 T = 102.92 |
O = 385 T = 35.19 |
O = N/A T = TO |
O = 223 T = 1.82 |
O = 377 T = 92.42 |
O = N/A T = TO |
O = 99617 T = 0.85 |
O = 213 T = 55.84 |
O = 213 T = 64.78 |
O = 213 T = 101.02 |
| scp57_weighted.wcnf | O = 307 T = 117.48 |
O = 307 T = 117.48 |
O = 324 T = 170.40 |
O = 468 T = 107.65 |
O = 423 T = 208.56 |
O = 491 T = 33.56 |
O = N/A T = TO |
O = 320 T = 0.46 |
O = 498 T = 78.16 |
O = 313 T = 29.63 |
O = 97532 T = 0.59 |
O = 312 T = 13.00 |
O = N/A T = TO |
O = 312 T = 16.41 |
| scp58_weighted.wcnf | O = 306 T = 103.28 |
O = 306 T = 103.28 |
O = 345 T = 272.44 |
O = 500 T = 195.53 |
O = 404 T = 48.83 |
O = 329 T = 43.16 |
O = N/A T = TO |
O = 326 T = 0.29 |
O = 488 T = 115.64 |
O = N/A T = TO |
O = 97857 T = 0.87 |
O = 319 T = 12.02 |
O = 324 T = 8.52 |
O = 317 T = 15.62 |
| scp59_weighted.wcnf | O = 279 T = 69.44 |
O = 288 T = 48.41 |
O = 308 T = 24.52 |
O = 401 T = 68.95 |
O = 408 T = 78.54 |
O = 405 T = 37.06 |
O = N/A T = TO |
O = 296 T = 0.66 |
O = 436 T = 130.08 |
O = N/A T = TO |
O = 97793 T = 0.65 |
O = 279 T = 89.41 |
O = 279 T = 69.44 |
O = 279 T = 101.89 |
| scp61_weighted.wcnf | O = 138 T = 125.64 |
O = 138 T = 125.64 |
O = 143 T = 24.30 |
O = 185 T = 128.21 |
O = 199 T = 285.95 |
O = 283 T = 11.70 |
O = N/A T = TO |
O = 156 T = 0.66 |
O = 202 T = 277.31 |
O = 143 T = 18.57 |
O = 48170 T = 0.46 |
O = 141 T = 269.81 |
O = N/A T = TO |
O = 154 T = 2.16 |
| scp62_weighted.wcnf | O = 148 T = 20.27 |
O = 148 T = 24.04 |
O = 149 T = 22.60 |
O = 201 T = 165.59 |
O = 196 T = 19.98 |
O = 182 T = 18.36 |
O = N/A T = TO |
O = 194 T = 0.13 |
O = 178 T = 155.60 |
O = 148 T = 20.27 |
O = 48017 T = 0.65 |
O = N/A T = TO |
O = N/A T = TO |
O = 154 T = 29.61 |
| scp63_weighted.wcnf | O = 145 T = 30.26 |
O = 145 T = 30.26 |
O = 152 T = 22.60 |
O = 183 T = 239.18 |
O = 203 T = 171.92 |
O = 165 T = 14.77 |
O = N/A T = TO |
O = 866 T = 0.10 |
O = 179 T = 27.00 |
O = 148 T = 21.32 |
O = 48345 T = 0.66 |
O = 160 T = 11.65 |
O = 145 T = 146.91 |
O = 148 T = 100.50 |
| scp64_weighted.wcnf | O = 132 T = 24.04 |
O = 132 T = 24.04 |
O = 143 T = 222.41 |
O = 181 T = 233.76 |
O = 197 T = 123.83 |
O = 226 T = 15.25 |
O = N/A T = TO |
O = 138 T = 0.21 |
O = 200 T = 14.02 |
O = 137 T = 21.12 |
O = 48364 T = 0.61 |
O = N/A T = TO |
O = N/A T = TO |
O = 141 T = 13.12 |
| scp65_weighted.wcnf | O = 161 T = 42.01 |
O = 161 T = 48.98 |
O = 168 T = 210.24 |
O = 212 T = 176.40 |
O = 231 T = 20.51 |
O = 187 T = 17.44 |
O = N/A T = TO |
O = 182 T = 0.48 |
O = 228 T = 274.26 |
O = 161 T = 42.01 |
O = 47823 T = 0.37 |
O = 174 T = 12.90 |
O = 179 T = 23.20 |
O = 172 T = 80.01 |
| scpnre1_weighted.wcnf | O = 29 T = 12.92 |
O = 29 T = 29.18 |
O = 33 T = 47.88 |
O = 62 T = 172.79 |
O = 172 T = 273.27 |
O = 29 T = 40.17 |
O = N/A T = TO |
O = 50 T = 1.08 |
O = N/A T = TO |
O = N/A T = TO |
O = 103 T = 39.44 |
O = 31 T = 0.16 |
O = 29 T = 12.92 |
O = 29 T = 42.78 |
| scpnre2_weighted.wcnf | O = 30 T = 137.72 |
O = 30 T = 137.72 |
O = 32 T = 273.48 |
O = 69 T = 29.50 |
O = 173 T = 87.17 |
O = 31 T = 36.21 |
O = N/A T = TO |
O = 166 T = 1.06 |
O = 73 T = 237.03 |
O = N/A T = TO |
O = 111 T = 28.35 |
O = N/A T = TO |
O = 31 T = 39.64 |
O = 32 T = 46.40 |
| scpnre3_weighted.wcnf | O = 27 T = 38.85 |
O = 27 T = 47.76 |
O = 29 T = 271.09 |
O = 62 T = 33.58 |
O = 153 T = 133.54 |
O = 27 T = 38.85 |
O = N/A T = TO |
O = 36 T = 1.09 |
O = N/A T = TO |
O = N/A T = TO |
O = 96 T = 35.90 |
O = 34 T = 0.16 |
O = 28 T = 118.29 |
O = 28 T = 155.96 |
| scpnre4_weighted.wcnf | O = 28 T = 31.82 |
O = 28 T = 31.82 |
O = 36 T = 109.36 |
O = 68 T = 43.22 |
O = 186 T = 133.52 |
O = 29 T = 36.05 |
O = N/A T = TO |
O = 54 T = 1.04 |
O = 100 T = 45.86 |
O = N/A T = TO |
O = 113 T = 39.81 |
O = 33 T = 0.15 |
O = 29 T = 76.70 |
O = 29 T = 101.56 |
| scpnre5_weighted.wcnf | O = 28 T = 38.73 |
O = 28 T = 53.80 |
O = 29 T = 109.80 |
O = 70 T = 44.33 |
O = 178 T = 176.72 |
O = 28 T = 38.73 |
O = N/A T = TO |
O = 31 T = 1.06 |
O = 56 T = 127.08 |
O = N/A T = TO |
O = 103 T = 28.42 |
O = 31 T = 0.11 |
O = 28 T = 122.92 |
O = 29 T = 109.97 |
| scpnrf1_weighted.wcnf | O = 14 T = 39.69 |
O = 14 T = 39.69 |
O = 14 T = 221.29 |
O = 17 T = 40.85 |
O = 63 T = 32.42 |
O = 14 T = 47.11 |
O = N/A T = TO |
O = 156 T = 1.75 |
O = N/A T = TO |
O = N/A T = TO |
O = 68 T = 40.36 |
O = 17 T = 0.10 |
O = 14 T = 47.96 |
O = 15 T = 43.25 |
| scpnrf2_weighted.wcnf | O = 15 T = 21.01 |
O = 15 T = 34.67 |
O = 15 T = 57.88 |
O = 17 T = 268.56 |
O = 67 T = 25.02 |
O = 15 T = 37.69 |
O = N/A T = TO |
O = 41 T = 1.76 |
O = N/A T = TO |
O = N/A T = TO |
O = 89 T = 37.30 |
O = 19 T = 0.14 |
O = 15 T = 21.01 |
O = 15 T = 93.89 |
| scpnrf3_weighted.wcnf | O = 14 T = 38.63 |
O = 14 T = 45.44 |
O = 15 T = 26.24 |
O = 16 T = 65.16 |
O = 70 T = 178.23 |
O = 14 T = 38.63 |
O = N/A T = TO |
O = 140 T = 1.71 |
O = N/A T = TO |
O = N/A T = TO |
O = 69 T = 39.58 |
O = 19 T = 0.18 |
O = 15 T = 120.63 |
O = 14 T = 270.52 |
| scpnrf4_weighted.wcnf | O = 14 T = 30.85 |
O = 14 T = 51.06 |
O = 14 T = 40.34 |
O = 16 T = 237.62 |
O = 74 T = 149.92 |
O = 14 T = 30.85 |
O = N/A T = TO |
O = 51 T = 1.75 |
O = N/A T = TO |
O = N/A T = TO |
O = 64 T = 37.15 |
O = 18 T = 0.14 |
O = 14 T = 192.87 |
O = 15 T = 42.02 |
| scpnrf5_weighted.wcnf | O = 13 T = 35.56 |
O = 13 T = 58.00 |
O = 14 T = 41.05 |
O = 16 T = 247.40 |
O = 62 T = 105.24 |
O = 13 T = 35.56 |
O = N/A T = TO |
O = 160 T = 1.70 |
O = N/A T = TO |
O = N/A T = TO |
O = 71 T = 37.93 |
O = 16 T = 0.12 |
O = 14 T = 11.83 |
O = 14 T = 40.84 |
| scpnrg1_weighted.wcnf | O = 185 T = 80.41 |
O = N/A T = TO |
O = 363 T = 250.16 |
O = 483 T = 56.66 |
O = 737 T = 177.01 |
O = 185 T = 80.41 |
O = N/A T = TO |
O = 241 T = 1.33 |
O = N/A T = TO |
O = N/A T = TO |
O = 726 T = 145.37 |
O = 198 T = 0.12 |
O = N/A T = TO |
O = 198 T = 0.45 |
| scpnrg2_weighted.wcnf | O = 161 T = 178.77 |
O = N/A T = TO |
O = 315 T = 136.37 |
O = 450 T = 76.12 |
O = 753 T = 122.05 |
O = 161 T = 178.77 |
O = N/A T = TO |
O = 209 T = 1.47 |
O = N/A T = TO |
O = N/A T = TO |
O = 638 T = 139.97 |
O = 169 T = 0.13 |
O = N/A T = TO |
O = N/A T = TO |
| scpnrg3_weighted.wcnf | O = 173 T = 43.00 |
O = N/A T = TO |
O = N/A T = TO |
O = 450 T = 58.59 |
O = 742 T = 113.61 |
O = 173 T = 43.00 |
O = N/A T = TO |
O = 242 T = 1.34 |
O = N/A T = TO |
O = N/A T = TO |
O = 686 T = 141.45 |
O = 181 T = 0.10 |
O = N/A T = TO |
O = N/A T = TO |
| scpnrg4_weighted.wcnf | O = 176 T = 228.52 |
O = N/A T = TO |
O = N/A T = TO |
O = 520 T = 79.69 |
O = 770 T = 26.77 |
O = 176 T = 228.52 |
O = N/A T = TO |
O = 218 T = 1.51 |
O = N/A T = TO |
O = N/A T = TO |
O = 707 T = 137.37 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
| scpnrg5_weighted.wcnf | O = 177 T = 117.43 |
O = N/A T = TO |
O = N/A T = TO |
O = 451 T = 73.15 |
O = 768 T = 256.90 |
O = 177 T = 117.43 |
O = N/A T = TO |
O = 211 T = 1.51 |
O = N/A T = TO |
O = N/A T = TO |
O = 670 T = 143.90 |
O = 192 T = 0.10 |
O = N/A T = TO |
O = N/A T = TO |
| scpnrh1_weighted.wcnf | O = 65 T = 53.10 |
O = N/A T = TO |
O = N/A T = TO |
O = 151 T = 44.41 |
O = 453 T = 20.43 |
O = 65 T = 53.10 |
O = N/A T = TO |
O = 75 T = 2.33 |
O = N/A T = TO |
O = N/A T = TO |
O = 346 T = 136.00 |
O = 73 T = 0.11 |
O = N/A T = TO |
O = 73 T = 0.48 |
| scpnrh2_weighted.wcnf | O = 65 T = 131.60 |
O = N/A T = TO |
O = N/A T = TO |
O = 137 T = 48.47 |
O = 478 T = 75.45 |
O = 65 T = 131.60 |
O = N/A T = TO |
O = 74 T = 2.32 |
O = N/A T = TO |
O = N/A T = TO |
O = 314 T = 153.02 |
O = 67 T = 0.14 |
O = N/A T = TO |
O = 67 T = 0.49 |
| scpnrh3_weighted.wcnf | O = 61 T = 141.37 |
O = N/A T = TO |
O = N/A T = TO |
O = 145 T = 83.99 |
O = 434 T = 281.77 |
O = 61 T = 141.37 |
O = N/A T = TO |
O = 70 T = 2.26 |
O = N/A T = TO |
O = N/A T = TO |
O = 252 T = 144.66 |
O = 69 T = 0.13 |
O = N/A T = TO |
O = 69 T = 0.46 |
| scpnrh4_weighted.wcnf | O = 59 T = 283.53 |
O = N/A T = TO |
O = N/A T = TO |
O = 132 T = 50.18 |
O = 443 T = 187.35 |
O = 59 T = 283.53 |
O = N/A T = TO |
O = 68 T = 2.22 |
O = N/A T = TO |
O = N/A T = TO |
O = 361 T = 139.68 |
O = 68 T = 0.13 |
O = N/A T = TO |
O = N/A T = TO |
| scpnrh5_weighted.wcnf | O = 56 T = 110.45 |
O = N/A T = TO |
O = 103 T = 289.45 |
O = 126 T = 49.12 |
O = 415 T = 145.06 |
O = 56 T = 110.45 |
O = N/A T = TO |
O = 66 T = 2.22 |
O = N/A T = TO |
O = N/A T = TO |
O = 362 T = 138.96 |
O = 64 T = 0.08 |
O = N/A T = TO |
O = 64 T = 0.33 |
| instance1.wcnf | O = 607 T = 0.12 |
O = 607 T = 19.13 |
O = N/A T = TO |
O = 707 T = 49.10 |
O = 706 T = 67.09 |
O = 1929 T = 0.02 |
O = 607 T = 0.33 |
O = 607 T = 0.33 |
O = 707 T = 188.09 |
O = 1006 T = 184.14 |
O = N/A T = TO |
O = 607 T = 0.12 |
O = 607 T = 8.32 |
O = 607 T = 5.01 |
| instance10.wcnf | O = 12469 T = 273.68 |
O = 13324 T = 234.29 |
O = N/A T = TO |
O = 18176 T = 253.28 |
O = 12469 T = 273.68 |
O = 21207 T = 71.59 |
O = N/A T = TO |
O = 19359 T = 5.65 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 17531 T = 4.99 |
O = N/A T = TO |
O = N/A T = TO |
| instance11.wcnf | O = 9150 T = 43.24 |
O = 13744 T = 290.89 |
O = N/A T = TO |
O = N/A T = TO |
O = 9150 T = 43.24 |
O = 28917 T = 20.54 |
O = N/A T = TO |
O = 39955 T = 1.74 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 12049 T = 3.33 |
O = N/A T = TO |
O = 12183 T = 3.42 |
| instance12.wcnf | O = 20323 T = 11.58 |
O = 36043 T = 293.93 |
O = N/A T = TO |
O = N/A T = TO |
O = 24103 T = 128.35 |
O = 43655 T = 108.62 |
O = N/A T = TO |
O = 54750 T = 5.73 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 20323 T = 11.58 |
O = N/A T = TO |
O = N/A T = TO |
| instance2.wcnf | O = 831 T = 3.00 |
O = 1130 T = 238.16 |
O = N/A T = TO |
O = 1718 T = 67.44 |
O = 831 T = 3.00 |
O = 3576 T = 0.05 |
O = N/A T = TO |
O = 840 T = 202.07 |
O = 2217 T = 293.51 |
O = N/A T = TO |
O = N/A T = TO |
O = 1971 T = 5.59 |
O = N/A T = TO |
O = 1955 T = 0.67 |
| instance3.wcnf | O = 1017 T = 111.15 |
O = 1413 T = 245.40 |
O = N/A T = TO |
O = 2716 T = 249.78 |
O = 1017 T = 111.15 |
O = 5697 T = 0.10 |
O = N/A T = TO |
O = 5805 T = 0.03 |
O = 2402 T = 31.24 |
O = N/A T = TO |
O = N/A T = TO |
O = 2672 T = 1.21 |
O = 2877 T = 8.51 |
O = 2564 T = 1.61 |
| instance4.wcnf | O = 1829 T = 109.79 |
O = 2117 T = 187.67 |
O = N/A T = TO |
O = 3237 T = 286.03 |
O = 1829 T = 109.79 |
O = 5107 T = 0.08 |
O = N/A T = TO |
O = 5827 T = 0.01 |
O = 2308 T = 228.49 |
O = N/A T = TO |
O = N/A T = TO |
O = 3490 T = 0.10 |
O = N/A T = TO |
O = 3922 T = 6.43 |
| instance5.wcnf | O = 1360 T = 146.47 |
O = 2476 T = 191.70 |
O = N/A T = TO |
O = 5088 T = 195.75 |
O = 1360 T = 146.47 |
O = 6650 T = 0.17 |
O = N/A T = TO |
O = 8075 T = 0.04 |
O = 3126 T = 179.52 |
O = N/A T = TO |
O = N/A T = TO |
O = 4569 T = 18.06 |
O = 4326 T = 9.21 |
O = N/A T = TO |
| instance6.wcnf | O = 2588 T = 176.86 |
O = 3870 T = 161.43 |
O = N/A T = TO |
O = 7011 T = 36.85 |
O = 2588 T = 176.86 |
O = 9689 T = 0.23 |
O = N/A T = TO |
O = 10089 T = 0.05 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 6050 T = 0.16 |
O = N/A T = TO |
O = N/A T = TO |
| instance7.wcnf | O = 1530 T = 196.93 |
O = 3217 T = 64.46 |
O = N/A T = TO |
O = 6898 T = 200.73 |
O = 1530 T = 196.93 |
O = 8950 T = 0.41 |
O = N/A T = TO |
O = 15242 T = 0.07 |
O = 4140 T = 230.79 |
O = N/A T = TO |
O = N/A T = TO |
O = 6629 T = 0.19 |
O = N/A T = TO |
O = N/A T = TO |
| instance8.wcnf | O = 7327 T = 231.88 |
O = 11476 T = 22.36 |
O = N/A T = TO |
O = N/A T = TO |
O = 7327 T = 231.88 |
O = 14892 T = 2.71 |
O = N/A T = TO |
O = 19222 T = 0.35 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 11352 T = 0.71 |
O = N/A T = TO |
O = N/A T = TO |
| instance9.wcnf | O = 6725 T = 27.74 |
O = 8899 T = 249.64 |
O = N/A T = TO |
O = 7743 T = 47.40 |
O = 6725 T = 27.74 |
O = 12945 T = 29.48 |
O = N/A T = TO |
O = 11931 T = 3.28 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 9695 T = 3.03 |
O = N/A T = TO |
O = N/A T = TO |
| MANN_a27.clq.wcnf | O = 2049 T = 0.41 |
O = 2049 T = 1.13 |
O = 2049 T = 1.07 |
O = N/A T = TO |
O = N/A T = TO |
O = 2049 T = 0.41 |
O = N/A T = TO |
O = 4720 T = 1.09 |
O = 2049 T = 0.88 |
O = 2049 T = 0.79 |
O = 2098 T = 58.43 |
O = 2094 T = 266.39 |
O = 2049 T = 8.95 |
O = 2049 T = 21.38 |
| MANN_a45.clq.wcnf | O = 2057 T = 0.62 |
O = 2057 T = 0.88 |
O = 2057 T = 0.74 |
O = N/A T = TO |
O = N/A T = TO |
O = 2057 T = 0.62 |
O = N/A T = TO |
O = 2233 T = 3.19 |
O = 2057 T = 0.82 |
O = 2057 T = 1.11 |
O = 2112 T = 10.84 |
O = 2102 T = 12.59 |
O = 2057 T = 8.58 |
O = 2057 T = 21.72 |
| MANN_a81.clq.wcnf | O = 1995 T = 0.43 |
O = 1995 T = 1.25 |
O = 1995 T = 0.95 |
O = N/A T = TO |
O = N/A T = TO |
O = 2018 T = 0.51 |
O = N/A T = TO |
O = 2083 T = 14.77 |
O = 1995 T = 0.43 |
O = 1995 T = 0.86 |
O = 2025 T = 97.67 |
O = 2037 T = 24.16 |
O = 1995 T = 8.28 |
O = 1995 T = 21.33 |
| MANN_a9.clq.wcnf | O = 2179 T = 0.66 |
O = 2179 T = 0.66 |
O = 2179 T = 1.82 |
O = N/A T = TO |
O = N/A T = TO |
O = 2185 T = 0.51 |
O = N/A T = TO |
O = 2358 T = 1.91 |
O = 2179 T = 0.69 |
O = 2179 T = 1.40 |
O = 2281 T = 46.81 |
O = 2256 T = 8.46 |
O = 2179 T = 8.04 |
O = 2179 T = 21.01 |
| hamming10-2.clq.wcnf | O = 1929 T = 0.84 |
O = 1929 T = 1.50 |
O = 1929 T = 0.84 |
O = N/A T = TO |
O = N/A T = TO |
O = 1993 T = 0.49 |
O = N/A T = TO |
O = 2147 T = 1.67 |
O = 1929 T = 0.95 |
O = 1929 T = 1.16 |
O = 1959 T = 25.09 |
O = N/A T = TO |
O = 1929 T = 8.62 |
O = 1929 T = 21.17 |
| hamming10-4.clq.wcnf | O = 1683 T = 0.82 |
O = 1683 T = 0.82 |
O = 1683 T = 1.46 |
O = N/A T = TO |
O = N/A T = TO |
O = 1696 T = 0.83 |
O = N/A T = TO |
O = 1819 T = 1.23 |
O = 1683 T = 1.00 |
O = 1683 T = 1.21 |
O = 1728 T = 102.35 |
O = 1722 T = 263.57 |
O = 1683 T = 8.70 |
O = 1683 T = 21.53 |
| hamming6-2.clq.wcnf | O = 4391 T = 0.83 |
O = 4391 T = 8.52 |
O = 4391 T = 1.50 |
O = N/A T = TO |
O = N/A T = TO |
O = 4434 T = 0.83 |
O = N/A T = TO |
O = 10088 T = 0.83 |
O = 4391 T = 0.83 |
O = 4391 T = 1.14 |
O = 4649 T = 35.93 |
O = 4563 T = 8.22 |
O = 4391 T = 8.45 |
O = 4391 T = 21.29 |
| hamming6-4.clq.wcnf | O = 1035 T = 1.46 |
O = 1134 T = 1.12 |
O = 1035 T = 1.54 |
O = N/A T = TO |
O = N/A T = TO |
O = 1126 T = 0.76 |
O = N/A T = TO |
O = 1801 T = 1.09 |
O = 1035 T = 1.59 |
O = 1035 T = 1.46 |
O = 1035 T = 1.47 |
O = 1205 T = 164.32 |
O = 1035 T = 8.50 |
O = 1035 T = 21.09 |
| hamming8-2.clq.wcnf | O = 2213 T = 0.64 |
O = 2213 T = 0.95 |
O = 2213 T = 0.97 |
O = N/A T = TO |
O = N/A T = TO |
O = 2225 T = 0.95 |
O = N/A T = TO |
O = 2327 T = 2.40 |
O = 2213 T = 0.64 |
O = 2213 T = 0.92 |
O = 2267 T = 6.41 |
O = 2242 T = 218.66 |
O = 2213 T = 8.71 |
O = 2213 T = 21.41 |
| hamming8-4.clq.wcnf | O = 917 T = 0.37 |
O = 917 T = 1.00 |
O = 917 T = 0.95 |
O = N/A T = TO |
O = N/A T = TO |
O = 958 T = 0.56 |
O = N/A T = TO |
O = 1216 T = 1.73 |
O = 917 T = 1.34 |
O = 917 T = 1.10 |
O = 917 T = 0.37 |
O = 1034 T = 28.87 |
O = 917 T = 8.44 |
O = 917 T = 20.97 |
| johnson16-2-4.clq.wcnf | O = 1170 T = 0.86 |
O = 1170 T = 1.46 |
O = 1170 T = 0.93 |
O = N/A T = TO |
O = N/A T = TO |
O = 1233 T = 0.71 |
O = N/A T = TO |
O = 1419 T = 1.45 |
O = 1170 T = 0.86 |
O = 1170 T = 1.07 |
O = 1248 T = 3.01 |
O = 1239 T = 169.23 |
O = 1170 T = 8.47 |
O = 1170 T = 21.23 |
| johnson32-2-4.clq.wcnf | O = 1788 T = 0.56 |
O = 1788 T = 1.13 |
O = 1788 T = 0.83 |
O = N/A T = TO |
O = N/A T = TO |
O = 1788 T = 0.56 |
O = N/A T = TO |
O = 1972 T = 1.72 |
O = 1788 T = 0.61 |
O = 1788 T = 1.37 |
O = 1825 T = 54.52 |
O = 1852 T = 13.68 |
O = 1788 T = 8.44 |
O = 1788 T = 21.39 |
| johnson8-2-4.clq.wcnf | O = 392 T = 0.32 |
O = 392 T = 0.95 |
O = 392 T = 0.73 |
O = N/A T = TO |
O = N/A T = TO |
O = 427 T = 0.16 |
O = N/A T = TO |
O = 392 T = 1.42 |
O = 392 T = 0.32 |
O = 392 T = 0.70 |
O = 392 T = 0.52 |
O = 392 T = 1.65 |
O = 392 T = 7.95 |
O = 392 T = 5.26 |
| johnson8-4-4.clq.wcnf | O = 4154 T = 1.31 |
O = 4191 T = 2.38 |
O = 4154 T = 1.82 |
O = N/A T = TO |
O = N/A T = TO |
O = 4154 T = 2.00 |
O = N/A T = TO |
O = 10254 T = 0.91 |
O = 4154 T = 1.31 |
O = 4154 T = 2.54 |
O = 4613 T = 16.75 |
O = 4427 T = 274.43 |
O = 4154 T = 8.64 |
O = 4154 T = 21.19 |
| keller4.clq.wcnf | O = 1133 T = 0.61 |
O = 1133 T = 0.98 |
O = 1133 T = 0.86 |
O = N/A T = TO |
O = N/A T = TO |
O = 1327 T = 0.72 |
O = N/A T = TO |
O = 1534 T = 1.61 |
O = 1133 T = 0.67 |
O = 1133 T = 1.58 |
O = 1133 T = 0.61 |
O = 1180 T = 241.22 |
O = 1133 T = 8.35 |
O = 1133 T = 21.14 |
| keller5.clq.wcnf | O = 1383 T = 0.71 |
O = 1383 T = 1.46 |
O = 1383 T = 0.71 |
O = N/A T = TO |
O = N/A T = TO |
O = 1416 T = 0.45 |
O = N/A T = TO |
O = 1506 T = 1.55 |
O = 1383 T = 0.72 |
O = 1383 T = 1.17 |
O = 1416 T = 83.26 |
O = 1460 T = 69.01 |
O = 1383 T = 9.03 |
O = 1383 T = 21.30 |
| p_hat1000-1.clq.wcnf | O = 248 T = 0.33 |
O = 248 T = 0.82 |
O = 248 T = 0.64 |
O = N/A T = TO |
O = N/A T = TO |
O = 251 T = 0.53 |
O = N/A T = TO |
O = 261 T = 2.33 |
O = 248 T = 0.33 |
O = 248 T = 1.43 |
O = 248 T = 1.01 |
O = 248 T = 4.05 |
O = 248 T = 8.43 |
O = 248 T = 8.23 |
| p_hat1000-2.clq.wcnf | O = 752 T = 0.38 |
O = 752 T = 1.33 |
O = 752 T = 1.14 |
O = N/A T = TO |
O = N/A T = TO |
O = 765 T = 0.48 |
O = N/A T = TO |
O = 873 T = 1.69 |
O = 752 T = 0.38 |
O = 752 T = 1.20 |
O = 760 T = 8.03 |
O = 763 T = 237.14 |
O = 752 T = 8.48 |
O = 752 T = 21.05 |
| p_hat1000-3.clq.wcnf | O = 1251 T = 0.30 |
O = 1251 T = 1.16 |
O = 1251 T = 0.92 |
O = N/A T = TO |
O = N/A T = TO |
O = 1251 T = 0.30 |
O = N/A T = TO |
O = 1390 T = 1.08 |
O = 1251 T = 0.61 |
O = 1251 T = 1.38 |
O = 1276 T = 70.81 |
O = 1314 T = 6.58 |
O = 1251 T = 8.68 |
O = 1251 T = 21.35 |
| p_hat300-1.clq.wcnf | O = 243 T = 0.82 |
O = 243 T = 0.82 |
O = 243 T = 1.22 |
O = N/A T = TO |
O = N/A T = TO |
O = 245 T = 0.62 |
O = N/A T = TO |
O = 263 T = 1.74 |
O = 243 T = 1.06 |
O = 243 T = 1.34 |
O = 243 T = 1.34 |
O = 243 T = 27.89 |
O = 243 T = 9.34 |
O = 243 T = 21.37 |
| p_hat300-2.clq.wcnf | O = 711 T = 0.68 |
O = 711 T = 1.55 |
O = 711 T = 1.23 |
O = N/A T = TO |
O = N/A T = TO |
O = 721 T = 0.40 |
O = N/A T = TO |
O = 812 T = 0.89 |
O = 711 T = 0.68 |
O = 711 T = 0.85 |
O = 711 T = 0.94 |
O = 725 T = 8.78 |
O = 711 T = 7.99 |
O = 711 T = 21.60 |
| p_hat300-3.clq.wcnf | O = 1439 T = 0.61 |
O = 1439 T = 0.72 |
O = 1439 T = 1.04 |
O = N/A T = TO |
O = N/A T = TO |
O = 1447 T = 0.59 |
O = N/A T = TO |
O = 1577 T = 1.47 |
O = 1439 T = 0.61 |
O = 1439 T = 1.00 |
O = 1507 T = 37.93 |
O = 1483 T = 68.43 |
O = 1439 T = 8.10 |
O = 1439 T = 21.76 |
| p_hat500-1.clq.wcnf | O = 395 T = 0.73 |
O = 395 T = 0.95 |
O = 395 T = 1.22 |
O = N/A T = TO |
O = N/A T = TO |
O = 428 T = 0.45 |
O = N/A T = TO |
O = 424 T = 3.28 |
O = 395 T = 0.73 |
O = 395 T = 0.82 |
O = 395 T = 1.14 |
O = 395 T = 154.62 |
O = 395 T = 8.33 |
O = 395 T = 21.23 |
| p_hat500-2.clq.wcnf | O = 931 T = 0.51 |
O = 931 T = 1.59 |
O = 931 T = 0.84 |
O = N/A T = TO |
O = N/A T = TO |
O = 931 T = 0.51 |
O = N/A T = TO |
O = 1015 T = 2.24 |
O = 931 T = 0.55 |
O = 931 T = 1.33 |
O = 941 T = 57.49 |
O = 937 T = 71.30 |
O = 931 T = 8.46 |
O = 931 T = 21.50 |
| p_hat500-3.clq.wcnf | O = 1501 T = 0.54 |
O = 1501 T = 1.42 |
O = 1501 T = 1.19 |
O = N/A T = TO |
O = N/A T = TO |
O = 1535 T = 0.52 |
O = N/A T = TO |
O = 1757 T = 1.76 |
O = 1501 T = 0.54 |
O = 1501 T = 1.12 |
O = 1517 T = 63.31 |
O = 1562 T = 12.41 |
O = 1501 T = 8.90 |
O = 1501 T = 21.25 |
| p_hat700-1.clq.wcnf | O = 329 T = 0.43 |
O = 329 T = 1.21 |
O = 329 T = 0.71 |
O = N/A T = TO |
O = N/A T = TO |
O = 329 T = 0.47 |
O = N/A T = TO |
O = 373 T = 87.27 |
O = 329 T = 0.43 |
O = 329 T = 1.16 |
O = 329 T = 1.36 |
O = 329 T = 135.19 |
O = 329 T = 8.84 |
O = 329 T = 21.25 |
| p_hat700-2.clq.wcnf | O = 834 T = 0.63 |
O = 834 T = 0.63 |
O = 834 T = 1.47 |
O = N/A T = TO |
O = N/A T = TO |
O = 847 T = 0.65 |
O = N/A T = TO |
O = 932 T = 1.03 |
O = 834 T = 0.77 |
O = 834 T = 0.85 |
O = 867 T = 15.28 |
O = 881 T = 6.09 |
O = 834 T = 8.58 |
O = 834 T = 21.60 |
| p_hat700-3.clq.wcnf | O = 1432 T = 0.96 |
O = 1432 T = 1.76 |
O = 1432 T = 1.28 |
O = N/A T = TO |
O = N/A T = TO |
O = 1476 T = 0.35 |
O = N/A T = TO |
O = 1655 T = 1.51 |
O = 1432 T = 0.96 |
O = 1432 T = 1.30 |
O = 1489 T = 16.98 |
O = 1472 T = 265.34 |
O = 1432 T = 8.62 |
O = 1432 T = 21.38 |
| san1000.clq.wcnf | O = 744 T = 0.42 |
O = 744 T = 0.68 |
O = 744 T = 0.88 |
O = N/A T = TO |
O = N/A T = TO |
O = 744 T = 0.61 |
O = N/A T = TO |
O = 818 T = 1.64 |
O = 744 T = 0.42 |
O = 744 T = 0.81 |
O = 757 T = 9.72 |
O = 781 T = 14.73 |
O = 744 T = 8.49 |
O = 744 T = 21.41 |
| san200_0.7_1.clq.wcnf | O = 1256 T = 0.61 |
O = 1256 T = 0.61 |
O = 1256 T = 0.66 |
O = N/A T = TO |
O = N/A T = TO |
O = 1256 T = 0.68 |
O = N/A T = TO |
O = 1479 T = 1.32 |
O = 1256 T = 0.72 |
O = 1256 T = 0.83 |
O = 1277 T = 93.37 |
O = 1279 T = 71.65 |
O = 1256 T = 8.33 |
O = 1256 T = 21.55 |
| san200_0.7_2.clq.wcnf | O = 1243 T = 0.54 |
O = 1243 T = 1.69 |
O = 1243 T = 1.14 |
O = N/A T = TO |
O = N/A T = TO |
O = 1275 T = 0.46 |
O = N/A T = TO |
O = 1304 T = 11.40 |
O = 1243 T = 0.54 |
O = 1243 T = 1.17 |
O = 1278 T = 50.05 |
O = 1259 T = 4.65 |
O = 1243 T = 8.63 |
O = 1243 T = 20.99 |
| san200_0.9_1.clq.wcnf | O = 1672 T = 0.47 |
O = 1672 T = 0.83 |
O = 1672 T = 0.81 |
O = N/A T = TO |
O = N/A T = TO |
O = 1683 T = 0.32 |
O = N/A T = TO |
O = 1792 T = 2.01 |
O = 1672 T = 0.47 |
O = 1672 T = 0.79 |
O = 1697 T = 51.86 |
O = 1687 T = 11.81 |
O = 1672 T = 8.59 |
O = 1672 T = 21.37 |
| san200_0.9_2.clq.wcnf | O = 1647 T = 0.81 |
O = 1647 T = 1.69 |
O = 1647 T = 1.05 |
O = N/A T = TO |
O = N/A T = TO |
O = 1654 T = 0.63 |
O = N/A T = TO |
O = 1828 T = 1.70 |
O = 1647 T = 1.08 |
O = 1647 T = 0.81 |
O = 1718 T = 103.59 |
O = 1669 T = 6.10 |
O = 1647 T = 8.80 |
O = 1647 T = 21.15 |
| san200_0.9_3.clq.wcnf | O = 1670 T = 0.69 |
O = 1670 T = 1.49 |
O = 1670 T = 1.66 |
O = N/A T = TO |
O = N/A T = TO |
O = 1686 T = 0.59 |
O = N/A T = TO |
O = 1834 T = 2.32 |
O = 1670 T = 0.69 |
O = 1670 T = 1.35 |
O = 1727 T = 57.32 |
O = 1703 T = 268.92 |
O = 1670 T = 8.06 |
O = 1670 T = 21.28 |
| san400_0.5_1.clq.wcnf | O = 718 T = 0.84 |
O = 718 T = 1.32 |
O = 718 T = 1.95 |
O = N/A T = TO |
O = N/A T = TO |
O = 718 T = 0.84 |
O = N/A T = TO |
O = 778 T = 5.47 |
O = 718 T = 1.06 |
O = 718 T = 1.09 |
O = 718 T = 0.91 |
O = 718 T = 7.40 |
O = 718 T = 7.73 |
O = 718 T = 8.39 |
| san400_0.7_1.clq.wcnf | O = 1258 T = 0.55 |
O = 1258 T = 0.91 |
O = 1258 T = 0.91 |
O = N/A T = TO |
O = N/A T = TO |
O = 1261 T = 0.79 |
O = N/A T = TO |
O = 1374 T = 1.45 |
O = 1258 T = 0.55 |
O = 1258 T = 1.34 |
O = 1293 T = 99.99 |
O = 1299 T = 29.07 |
O = 1258 T = 8.26 |
O = 1258 T = 21.35 |
| san400_0.7_2.clq.wcnf | O = 1237 T = 0.51 |
O = 1237 T = 0.85 |
O = 1237 T = 1.92 |
O = N/A T = TO |
O = N/A T = TO |
O = 1335 T = 0.38 |
O = N/A T = TO |
O = 1398 T = 1.50 |
O = 1237 T = 0.51 |
O = 1237 T = 1.01 |
O = 1247 T = 77.37 |
O = 1289 T = 24.37 |
O = 1237 T = 7.63 |
O = 1237 T = 21.66 |
| san400_0.7_3.clq.wcnf | O = 1201 T = 0.59 |
O = 1201 T = 0.83 |
O = 1201 T = 1.23 |
O = N/A T = TO |
O = N/A T = TO |
O = 1201 T = 0.59 |
O = N/A T = TO |
O = 1390 T = 1.68 |
O = 1201 T = 0.86 |
O = 1201 T = 0.93 |
O = 1240 T = 49.59 |
O = 1226 T = 53.33 |
O = 1201 T = 7.97 |
O = 1201 T = 21.35 |
| san400_0.9_1.clq.wcnf | O = 1604 T = 0.42 |
O = 1604 T = 1.87 |
O = 1604 T = 0.80 |
O = N/A T = TO |
O = N/A T = TO |
O = 1610 T = 0.81 |
O = N/A T = TO |
O = 1774 T = 1.81 |
O = 1604 T = 0.42 |
O = 1604 T = 1.13 |
O = 1624 T = 101.94 |
O = 1627 T = 4.28 |
O = 1604 T = 8.15 |
O = 1604 T = 21.43 |
| sanr200_0.7.clq.wcnf | O = 1171 T = 0.46 |
O = 1171 T = 1.10 |
O = 1171 T = 0.92 |
O = N/A T = TO |
O = N/A T = TO |
O = 1218 T = 0.50 |
O = N/A T = TO |
O = 1424 T = 1.68 |
O = 1171 T = 0.46 |
O = 1171 T = 1.04 |
O = 1248 T = 60.95 |
O = 1183 T = 169.29 |
O = 1171 T = 8.82 |
O = 1171 T = 21.50 |
| sanr200_0.9.clq.wcnf | O = 1610 T = 0.54 |
O = 1610 T = 1.06 |
O = 1610 T = 1.21 |
O = N/A T = TO |
O = N/A T = TO |
O = 1619 T = 0.59 |
O = N/A T = TO |
O = 1730 T = 2.07 |
O = 1610 T = 0.54 |
O = 1610 T = 1.32 |
O = 1643 T = 20.63 |
O = 1670 T = 3.70 |
O = 1610 T = 8.64 |
O = 1610 T = 21.45 |
| sanr400_0.5.clq.wcnf | O = 763 T = 0.65 |
O = 763 T = 1.38 |
O = 763 T = 1.18 |
O = N/A T = TO |
O = N/A T = TO |
O = 841 T = 0.25 |
O = N/A T = TO |
O = 902 T = 2.04 |
O = 763 T = 0.65 |
O = 763 T = 1.01 |
O = 763 T = 0.70 |
O = 788 T = 220.16 |
O = 763 T = 8.56 |
O = 763 T = 21.21 |
| sanr400_0.7.clq.wcnf | O = 1198 T = 0.73 |
O = 1198 T = 0.98 |
O = 1198 T = 1.14 |
O = N/A T = TO |
O = N/A T = TO |
O = 1250 T = 0.38 |
O = N/A T = TO |
O = 1384 T = 2.03 |
O = 1198 T = 0.78 |
O = 1198 T = 0.73 |
O = 1230 T = 43.44 |
O = 1267 T = 219.92 |
O = 1198 T = 8.54 |
O = 1198 T = 21.70 |
| t3g3-5555.spn.wcnf | O = 1100610 T = 0.18 |
O = 1100610 T = 1.27 |
O = 1100610 T = 0.80 |
O = N/A T = TO |
O = N/A T = TO |
O = 1100610 T = 0.18 |
O = 1100610 T = 46.01 |
O = 1100610 T = 3.52 |
O = 1100610 T = 0.52 |
O = 1100610 T = 1.07 |
O = 2282213 T = 191.23 |
O = 1100610 T = 2.12 |
O = 1100610 T = 8.46 |
O = N/A T = TO |
| t4g3-6666.spn.wcnf | O = 2275606 T = 1.48 |
O = 2275606 T = 2.15 |
O = 2275606 T = 1.48 |
O = N/A T = TO |
O = N/A T = TO |
O = 2982887 T = 0.97 |
O = N/A T = TO |
O = 2547106 T = 25.32 |
O = 2275606 T = 1.60 |
O = 2275606 T = 1.99 |
O = 6028792 T = 0.49 |
O = N/A T = TO |
O = 2275606 T = 9.08 |
O = 2275606 T = 27.02 |
| t5g3-7777.spn.wcnf | O = 4241951 T = 2.04 |
O = 4241951 T = 2.04 |
O = 4241951 T = 2.16 |
O = N/A T = TO |
O = N/A T = TO |
O = 5362926 T = 1.81 |
O = N/A T = TO |
O = 4810653 T = 4.73 |
O = 4241951 T = 2.46 |
O = 4241951 T = 3.73 |
O = 12864296 T = 0.51 |
O = 4665320 T = 16.49 |
O = 4241951 T = 8.93 |
O = 4329357 T = 26.58 |
| t6g3-8888.spn.wcnf | O = 7844119 T = 3.27 |
O = 7844119 T = 132.83 |
O = 7844119 T = 29.22 |
O = N/A T = TO |
O = N/A T = TO |
O = 10065024 T = 3.44 |
O = N/A T = TO |
O = 9731629 T = 1.98 |
O = 7844119 T = 3.27 |
O = 7844119 T = 5.34 |
O = 23953139 T = 0.57 |
O = N/A T = TO |
O = 7888666 T = 26.91 |
O = 9513971 T = 23.24 |
| t7g3-9999.spn.wcnf | O = 11954769 T = 7.59 |
O = 12168196 T = 44.72 |
O = 12213760 T = 90.44 |
O = N/A T = TO |
O = N/A T = TO |
O = 14501598 T = 5.66 |
O = N/A T = TO |
O = 14265314 T = 111.91 |
O = 11954769 T = 7.59 |
O = 12056132 T = 21.51 |
O = 37566250 T = 0.51 |
O = N/A T = TO |
O = 11954769 T = 18.16 |
O = 14011383 T = 26.74 |