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 | CCLS2014 | CCMPA | Dist | SAT4J-ms-inc | WPM-2014-in | optimax2-g-i | optimax2w-r-i |
---|---|---|---|---|---|---|---|---|
CSG140-140-46.wcnf | O = 16960 T = 1.53 |
O = N/A T = TO (out)(err) |
O = 30364 T = 225.22 (out)(err) |
O = 59974 T = 6.76 (out)(err) |
O = 16960 T = 5.36 (out)(err) |
O = 16960 T = 1.53 (out)(err) |
O = 16960 T = 12.73 (out)(err) |
O = 16960 T = 26.72 (out)(err) |
CSG140-140-6.wcnf | O = 52385 T = 4.20 |
O = N/A T = TO (out)(err) |
O = 98025 T = 210.12 (out)(err) |
O = 119548 T = 121.06 (out)(err) |
O = 52385 T = 4.20 (out)(err) |
O = 78416 T = 284.71 (out)(err) |
O = 52385 T = 186.96 (out)(err) |
O = 52962 T = 222.48 (out)(err) |
CSG150-150-55.wcnf | O = 27533 T = 66.92 |
O = N/A T = TO (out)(err) |
O = 58561 T = 216.09 (out)(err) |
O = 87204 T = 21.57 (out)(err) |
O = 27533 T = 66.92 (out)(err) |
O = 52606 T = 284.72 (out)(err) |
O = 27533 T = 91.69 (out)(err) |
O = 27533 T = 187.83 (out)(err) |
CSG40-40-95.wcnf | O = 8847 T = 0.02 |
O = 12870 T = 51.33 (out)(err) |
O = 12602 T = 197.96 (out)(err) |
O = 24279 T = 0.48 (out)(err) |
O = 8847 T = 1.05 (out)(err) |
O = 8847 T = 0.02 (out)(err) |
O = 8847 T = 0.13 (out)(err) |
O = 8847 T = 0.09 (out)(err) |
CSG60-60-88.wcnf | O = 7714 T = 0.08 |
O = 30382 T = 42.12 (out)(err) |
O = 18265 T = 209.18 (out)(err) |
O = 32133 T = 0.34 (out)(err) |
O = 7714 T = 1.20 (out)(err) |
O = 7714 T = 0.08 (out)(err) |
O = 7714 T = 0.20 (out)(err) |
O = 7714 T = 0.33 (out)(err) |
CSGNaive140-140-0.wcnf | O = 18185 T = 1.35 |
O = N/A T = TO (out)(err) |
O = 31683 T = 187.82 (out)(err) |
O = 59453 T = 5.34 (out)(err) |
O = 18185 T = 6.52 (out)(err) |
O = 18185 T = 1.35 (out)(err) |
O = 18185 T = 5.66 (out)(err) |
O = 18185 T = 7.88 (out)(err) |
CSGNaive140-140-6.wcnf | O = 56309 T = 4.20 |
O = N/A T = TO (out)(err) |
O = 120742 T = 192.19 (out)(err) |
O = 121089 T = 5.45 (out)(err) |
O = 56309 T = 4.20 (out)(err) |
O = 76881 T = 284.62 (out)(err) |
O = 56970 T = 270.77 (out)(err) |
O = 56886 T = 232.65 (out)(err) |
CSGNaive150-150-55.wcnf | O = 30495 T = 92.83 |
O = N/A T = TO (out)(err) |
O = 68629 T = 184.85 (out)(err) |
O = 76506 T = 6.20 (out)(err) |
O = 30495 T = 92.83 (out)(err) |
O = 55234 T = 284.63 (out)(err) |
O = 30495 T = 102.47 (out)(err) |
O = 30495 T = 209.03 (out)(err) |
CSGNaive60-60-53.wcnf | O = 9829 T = 0.08 |
O = 33674 T = 185.15 (out)(err) |
O = 24733 T = 194.88 (out)(err) |
O = 44603 T = 1.61 (out)(err) |
O = 9829 T = 1.27 (out)(err) |
O = 9829 T = 0.08 (out)(err) |
O = 9829 T = 0.42 (out)(err) |
O = 9829 T = 0.32 (out)(err) |
CSGNaive70-70-91.wcnf | O = 11177 T = 0.12 |
O = 34034 T = 125.98 (out)(err) |
O = 13317 T = 59.58 (out)(err) |
O = 29550 T = 1.75 (out)(err) |
O = 11177 T = 1.35 (out)(err) |
O = 11177 T = 0.12 (out)(err) |
O = 11177 T = 0.51 (out)(err) |
O = 11177 T = 0.60 (out)(err) |
cat_paths_60_130_0000.txt.wcnf | O = 78708 T = 0.44 |
O = 78708 T = 0.44 (out)(err) |
O = 78708 T = 0.44 (out)(err) |
O = 78708 T = 0.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 78708 T = 5.59 (out)(err) |
O = 78708 T = 76.24 (out)(err) |
O = 78708 T = 68.91 (out)(err) |
cat_paths_60_130_0001.txt.wcnf | O = 80743 T = 0.53 |
O = 80743 T = 0.64 (out)(err) |
O = 80743 T = 3.10 (out)(err) |
O = 80743 T = 0.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 80743 T = 284.73 (out)(err) |
O = 80743 T = 196.65 (out)(err) |
O = 80743 T = 209.23 (out)(err) |
cat_paths_60_130_0002.txt.wcnf | O = 71385 T = 0.15 |
O = 71385 T = 0.50 (out)(err) |
O = 71385 T = 0.15 (out)(err) |
O = 71385 T = 0.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 71385 T = 11.84 (out)(err) |
O = 71385 T = 152.02 (out)(err) |
O = 71385 T = 175.91 (out)(err) |
cat_paths_60_130_0003.txt.wcnf | O = 86981 T = 0.05 |
O = 86981 T = 0.46 (out)(err) |
O = 86981 T = 0.05 (out)(err) |
O = 86981 T = 0.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 86981 T = 28.21 (out)(err) |
O = 86981 T = 102.88 (out)(err) |
O = 86981 T = 81.84 (out)(err) |
cat_paths_60_140_0000.txt.wcnf | O = 98394 T = 0.59 |
O = 98394 T = 0.68 (out)(err) |
O = 98394 T = 1.13 (out)(err) |
O = 98394 T = 0.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 98394 T = 10.73 (out)(err) |
O = 98394 T = 28.23 (out)(err) |
O = 98394 T = 205.68 (out)(err) |
cat_paths_60_140_0001.txt.wcnf | O = 97718 T = 0.66 |
O = 97718 T = 0.66 (out)(err) |
O = 97718 T = 3.00 (out)(err) |
O = 97718 T = 0.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 98444 T = 284.71 (out)(err) |
O = 98188 T = 261.03 (out)(err) |
O = 98034 T = 220.87 (out)(err) |
cat_paths_60_140_0002.txt.wcnf | O = 92818 T = 0.74 |
O = 92818 T = 0.74 (out)(err) |
O = 92818 T = 65.06 (out)(err) |
O = 92818 T = 0.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 93351 T = 284.72 (out)(err) |
O = 92854 T = 265.96 (out)(err) |
O = 92997 T = 245.65 (out)(err) |
cat_paths_60_140_0003.txt.wcnf | O = 92696 T = 0.40 |
O = 92696 T = 0.40 (out)(err) |
O = 92696 T = 55.13 (out)(err) |
O = 92696 T = 0.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 92696 T = 285.59 (out)(err) |
O = 92696 T = 200.70 (out)(err) |
O = 92696 T = 197.37 (out)(err) |
cat_paths_60_150_0000.txt.wcnf | O = 82179 T = 0.08 |
O = 82179 T = 1.39 (out)(err) |
O = 82179 T = 0.08 (out)(err) |
O = 82179 T = 0.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 82179 T = 149.83 (out)(err) |
O = 82237 T = 256.37 (out)(err) |
O = 82374 T = 244.89 (out)(err) |
cat_paths_60_150_0001.txt.wcnf | O = 92299 T = 0.40 |
O = 92299 T = 1.69 (out)(err) |
O = 92299 T = 0.52 (out)(err) |
O = 92299 T = 0.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 92450 T = 284.71 (out)(err) |
O = 92353 T = 261.82 (out)(err) |
O = 92317 T = 296.03 (out)(err) |
cat_paths_60_150_0002.txt.wcnf | O = 101547 T = 0.35 |
O = 101547 T = 1.44 (out)(err) |
O = 101547 T = 0.35 (out)(err) |
O = 101547 T = 3.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 101547 T = 284.73 (out)(err) |
O = 101612 T = 228.29 (out)(err) |
O = 101570 T = 248.18 (out)(err) |
cat_paths_60_150_0003.txt.wcnf | O = 106294 T = 0.03 |
O = 106294 T = 1.67 (out)(err) |
O = 106294 T = 0.03 (out)(err) |
O = 106294 T = 0.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 106782 T = 284.50 (out)(err) |
O = 106667 T = 118.13 (out)(err) |
O = 106570 T = 222.73 (out)(err) |
cat_paths_60_160_0000.txt.wcnf | O = 104199 T = 1.51 |
O = 104199 T = 1.51 (out)(err) |
O = 104199 T = 22.68 (out)(err) |
O = 104199 T = 1.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 104199 T = 285.64 (out)(err) |
O = 104395 T = 277.14 (out)(err) |
O = 104550 T = 154.59 (out)(err) |
cat_paths_60_160_0001.txt.wcnf | O = 99297 T = 1.46 |
O = 99297 T = 1.46 (out)(err) |
O = 99297 T = 232.70 (out)(err) |
O = 99297 T = 15.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 99331 T = 287.48 (out)(err) |
O = 99390 T = 153.91 (out)(err) |
O = 99297 T = 96.57 (out)(err) |
cat_paths_60_160_0002.txt.wcnf | O = 102352 T = 0.70 |
O = 102352 T = 0.70 (out)(err) |
O = 102352 T = 236.86 (out)(err) |
O = 102352 T = 1.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 103718 T = 284.72 (out)(err) |
O = 103374 T = 205.50 (out)(err) |
O = 103301 T = 231.69 (out)(err) |
cat_paths_60_160_0003.txt.wcnf | O = 107262 T = 0.47 |
O = 107262 T = 0.74 (out)(err) |
O = 107262 T = 0.71 (out)(err) |
O = 107262 T = 0.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 108304 T = 285.59 (out)(err) |
O = 107403 T = 68.14 (out)(err) |
O = 107770 T = 266.01 (out)(err) |
cat_paths_60_170_0000.txt.wcnf | O = 122170 T = 0.61 |
O = 122170 T = 2.14 (out)(err) |
O = 122170 T = 15.87 (out)(err) |
O = 122170 T = 0.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 122375 T = 284.58 (out)(err) |
O = 122170 T = 201.89 (out)(err) |
O = 122381 T = 193.26 (out)(err) |
cat_paths_60_170_0003.txt.wcnf | O = 122748 T = 1.01 |
O = 122748 T = 1.01 (out)(err) |
O = 122748 T = 9.02 (out)(err) |
O = 122748 T = 1.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 122748 T = 284.75 (out)(err) |
O = 122904 T = 249.41 (out)(err) |
O = 123017 T = 218.73 (out)(err) |
cat_paths_60_170_0004.txt.wcnf | O = 99105 T = 1.18 |
O = 99105 T = 1.18 (out)(err) |
O = 99143 T = 235.90 (out)(err) |
O = 99105 T = 1.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 100364 T = 285.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 99676 T = 215.98 (out)(err) |
cat_paths_60_170_0005.txt.wcnf | O = 114493 T = 1.57 |
O = 114493 T = 1.57 (out)(err) |
O = 114493 T = 8.78 (out)(err) |
O = 114493 T = 2.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 116351 T = 284.71 (out)(err) |
O = 115013 T = 193.86 (out)(err) |
O = 115299 T = 253.32 (out)(err) |
cat_sched_60_160_0000.txt.wcnf | O = 42672 T = 0.05 |
O = 42672 T = 0.65 (out)(err) |
O = 42672 T = 0.05 (out)(err) |
O = 42672 T = 0.26 (out)(err) |
O = 42672 T = 2.08 (out)(err) |
O = 42672 T = 0.15 (out)(err) |
O = 42672 T = 3.61 (out)(err) |
O = 42672 T = 6.79 (out)(err) |
cat_sched_60_160_0001.txt.wcnf | O = 72012 T = 0.06 |
O = 72012 T = 0.49 (out)(err) |
O = 72012 T = 0.06 (out)(err) |
O = 72012 T = 0.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 72012 T = 0.16 (out)(err) |
O = 72012 T = 1.12 (out)(err) |
O = 72012 T = 3.77 (out)(err) |
cat_sched_60_160_0002.txt.wcnf | O = 173386 T = 0.13 |
O = 173386 T = 0.98 (out)(err) |
O = 173386 T = 0.13 (out)(err) |
O = 173386 T = 0.22 (out)(err) |
O = 173386 T = 36.45 (out)(err) |
O = 173386 T = 0.26 (out)(err) |
O = 173386 T = 13.81 (out)(err) |
O = 173386 T = 20.42 (out)(err) |
cat_sched_60_160_0003.txt.wcnf | O = 118883 T = 0.03 |
O = 118883 T = 0.61 (out)(err) |
O = 118883 T = 0.04 (out)(err) |
O = 118883 T = 0.03 (out)(err) |
O = 118883 T = 1.99 (out)(err) |
O = 118883 T = 0.14 (out)(err) |
O = 118883 T = 1.27 (out)(err) |
O = 118883 T = 3.20 (out)(err) |
cat_sched_60_170_0000.txt.wcnf | O = 128737 T = 0.05 |
O = 128737 T = 0.53 (out)(err) |
O = 128737 T = 0.05 (out)(err) |
O = 128737 T = 0.14 (out)(err) |
O = 128737 T = 1.69 (out)(err) |
O = 128737 T = 0.25 (out)(err) |
O = 128737 T = 1.61 (out)(err) |
O = 128737 T = 1.83 (out)(err) |
cat_sched_60_170_0001.txt.wcnf | O = 62218 T = 0.11 |
O = 62218 T = 0.79 (out)(err) |
O = 62218 T = 0.11 (out)(err) |
O = 62218 T = 0.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 62218 T = 0.19 (out)(err) |
O = 62218 T = 35.14 (out)(err) |
O = 62218 T = 34.46 (out)(err) |
cat_sched_60_170_0002.txt.wcnf | O = 64664 T = 0.02 |
O = 64664 T = 0.56 (out)(err) |
O = 64664 T = 0.02 (out)(err) |
O = 64664 T = 0.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 64664 T = 0.22 (out)(err) |
O = 64664 T = 1.26 (out)(err) |
O = 64664 T = 1.07 (out)(err) |
cat_sched_60_170_0003.txt.wcnf | O = 169415 T = 0.05 |
O = 169415 T = 0.57 (out)(err) |
O = 169415 T = 0.05 (out)(err) |
O = 169415 T = 0.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = 169415 T = 0.26 (out)(err) |
O = 169415 T = 0.79 (out)(err) |
O = 169415 T = 1.10 (out)(err) |
cat_sched_60_180_0000.txt.wcnf | O = 112247 T = 0.05 |
O = 112247 T = 0.61 (out)(err) |
O = 112247 T = 0.05 (out)(err) |
O = 112247 T = 0.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 112247 T = 0.24 (out)(err) |
O = 112247 T = 2.70 (out)(err) |
O = 112247 T = 1.56 (out)(err) |
cat_sched_60_180_0001.txt.wcnf | O = 154599 T = 0.02 |
O = 154599 T = 0.64 (out)(err) |
O = 154599 T = 0.02 (out)(err) |
O = 154599 T = 0.66 (out)(err) |
O = 154599 T = 6.21 (out)(err) |
O = 154599 T = 0.47 (out)(err) |
O = 154599 T = 16.20 (out)(err) |
O = 154599 T = 25.91 (out)(err) |
cat_sched_60_180_0002.txt.wcnf | O = 95338 T = 0.04 |
O = 95338 T = 0.24 (out)(err) |
O = 95338 T = 0.04 (out)(err) |
O = 95338 T = 0.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 95338 T = 0.41 (out)(err) |
O = 95338 T = 1.48 (out)(err) |
O = 95338 T = 3.64 (out)(err) |
cat_sched_60_180_0003.txt.wcnf | O = 104416 T = 0.03 |
O = 104416 T = 0.15 (out)(err) |
O = 104416 T = 0.03 (out)(err) |
O = 104416 T = 0.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 104416 T = 0.34 (out)(err) |
O = 104416 T = 0.99 (out)(err) |
O = 104416 T = 1.75 (out)(err) |
cat_sched_60_190_0000.txt.wcnf | O = 152878 T = 0.10 |
O = 152878 T = 0.85 (out)(err) |
O = 152878 T = 0.10 (out)(err) |
O = 152878 T = 0.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 152878 T = 0.34 (out)(err) |
O = 152878 T = 17.69 (out)(err) |
O = 152878 T = 4.63 (out)(err) |
cat_sched_60_190_0001.txt.wcnf | O = 71645 T = 0.05 |
O = 71645 T = 0.66 (out)(err) |
O = 71645 T = 0.05 (out)(err) |
O = 71645 T = 0.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 71645 T = 0.30 (out)(err) |
O = 71645 T = 28.49 (out)(err) |
O = 71645 T = 8.07 (out)(err) |
cat_sched_60_190_0002.txt.wcnf | O = 90463 T = 0.05 |
O = 90463 T = 0.75 (out)(err) |
O = 90463 T = 0.05 (out)(err) |
O = 90463 T = 0.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 90463 T = 0.33 (out)(err) |
O = 90463 T = 72.21 (out)(err) |
O = 90463 T = 85.60 (out)(err) |
cat_sched_60_190_0003.txt.wcnf | O = 87812 T = 0.04 |
O = 87812 T = 0.73 (out)(err) |
O = 87812 T = 0.04 (out)(err) |
O = 87812 T = 0.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 87812 T = 0.24 (out)(err) |
O = 87812 T = 1.88 (out)(err) |
O = 87812 T = 0.60 (out)(err) |
cat_sched_60_200_0000.txt.wcnf | O = 242832 T = 0.04 |
O = 242832 T = 0.76 (out)(err) |
O = 242832 T = 0.04 (out)(err) |
O = 242832 T = 0.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 242832 T = 0.42 (out)(err) |
O = 242832 T = 14.37 (out)(err) |
O = 242832 T = 19.04 (out)(err) |
cat_sched_60_200_0001.txt.wcnf | O = 46823 T = 0.02 |
O = 46823 T = 0.48 (out)(err) |
O = 46823 T = 0.05 (out)(err) |
O = 46823 T = 0.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 46823 T = 0.21 (out)(err) |
O = 46823 T = 2.92 (out)(err) |
O = 46823 T = 7.83 (out)(err) |
cat_sched_60_200_0002.txt.wcnf | O = 145851 T = 0.06 |
O = 145851 T = 0.23 (out)(err) |
O = 145851 T = 0.06 (out)(err) |
O = 145851 T = 0.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 145851 T = 0.34 (out)(err) |
O = 145851 T = 8.08 (out)(err) |
O = 145851 T = 1.68 (out)(err) |
cat_sched_60_200_0003.txt.wcnf | O = 187411 T = 0.05 |
O = 187411 T = 0.38 (out)(err) |
O = 187411 T = 0.05 (out)(err) |
O = 187411 T = 0.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 187411 T = 0.38 (out)(err) |
O = 187411 T = 10.26 (out)(err) |
O = 187411 T = 5.66 (out)(err) |
frb10-6-1.wcnf | O = 50 T = 0.03 |
O = 50 T = 0.94 (out)(err) |
O = 50 T = 0.04 (out)(err) |
O = 50 T = 1.08 (out)(err) |
O = 50 T = 1.47 (out)(err) |
O = 50 T = 0.17 (out)(err) |
O = 50 T = 0.03 (out)(err) |
O = 50 T = 0.04 (out)(err) |
frb10-6-2.wcnf | O = 50 T = 0.04 |
O = 50 T = 0.80 (out)(err) |
O = 50 T = 0.05 (out)(err) |
O = 50 T = 0.50 (out)(err) |
O = 50 T = 1.20 (out)(err) |
O = 50 T = 0.23 (out)(err) |
O = 50 T = 0.04 (out)(err) |
O = 50 T = 0.06 (out)(err) |
frb10-6-3.wcnf | O = 50 T = 0.04 |
O = 50 T = 1.54 (out)(err) |
O = 50 T = 0.05 (out)(err) |
O = 50 T = 1.05 (out)(err) |
O = 50 T = 1.83 (out)(err) |
O = 50 T = 0.16 (out)(err) |
O = 50 T = 0.04 (out)(err) |
O = 50 T = 0.05 (out)(err) |
frb10-6-4.wcnf | O = 50 T = 0.03 |
O = 50 T = 1.65 (out)(err) |
O = 50 T = 0.06 (out)(err) |
O = 50 T = 1.65 (out)(err) |
O = 50 T = 1.69 (out)(err) |
O = 50 T = 0.19 (out)(err) |
O = 50 T = 0.03 (out)(err) |
O = 50 T = 0.05 (out)(err) |
frb15-9-1.wcnf | O = 120 T = 0.06 |
O = 120 T = 3.55 (out)(err) |
O = 120 T = 0.06 (out)(err) |
O = 120 T = 3.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 6.59 (out)(err) |
O = 120 T = 0.88 (out)(err) |
O = 120 T = 0.73 (out)(err) |
frb15-9-2.wcnf | O = 120 T = 0.06 |
O = 120 T = 3.66 (out)(err) |
O = 120 T = 0.06 (out)(err) |
O = 120 T = 3.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 2.98 (out)(err) |
O = 120 T = 0.89 (out)(err) |
O = 120 T = 1.13 (out)(err) |
frb15-9-3.wcnf | O = 120 T = 0.79 |
O = 120 T = 2.83 (out)(err) |
O = 120 T = 0.79 (out)(err) |
O = 120 T = 2.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 3.94 (out)(err) |
O = 120 T = 0.96 (out)(err) |
O = 120 T = 1.25 (out)(err) |
frb15-9-4.wcnf | O = 120 T = 0.10 |
O = 120 T = 3.84 (out)(err) |
O = 120 T = 0.10 (out)(err) |
O = 120 T = 2.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 6.86 (out)(err) |
O = 120 T = 1.14 (out)(err) |
O = 120 T = 1.18 (out)(err) |
frb15-9-5.wcnf | O = 120 T = 0.05 |
O = 120 T = 3.10 (out)(err) |
O = 120 T = 0.05 (out)(err) |
O = 120 T = 1.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 5.49 (out)(err) |
O = 120 T = 1.13 (out)(err) |
O = 120 T = 1.40 (out)(err) |
frb20-11-1.wcnf | O = 200 T = 0.10 |
O = 200 T = 4.67 (out)(err) |
O = 200 T = 0.10 (out)(err) |
O = 200 T = 4.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 18.08 (out)(err) |
O = 200 T = 3.63 (out)(err) |
O = 200 T = 5.45 (out)(err) |
frb20-11-2.wcnf | O = 200 T = 0.11 |
O = 200 T = 4.47 (out)(err) |
O = 200 T = 0.11 (out)(err) |
O = 200 T = 5.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 35.36 (out)(err) |
O = 200 T = 1.62 (out)(err) |
O = 200 T = 3.08 (out)(err) |
frb20-11-3.wcnf | O = 200 T = 0.38 |
O = 200 T = 5.54 (out)(err) |
O = 200 T = 0.38 (out)(err) |
O = 200 T = 4.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 32.92 (out)(err) |
O = 200 T = 5.76 (out)(err) |
O = 200 T = 6.11 (out)(err) |
frb20-11-4.wcnf | O = 200 T = 0.22 |
O = 200 T = 5.63 (out)(err) |
O = 200 T = 0.22 (out)(err) |
O = 200 T = 4.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 21.15 (out)(err) |
O = 200 T = 3.81 (out)(err) |
O = 200 T = 4.16 (out)(err) |
frb20-11-5.wcnf | O = 200 T = 0.21 |
O = 200 T = 4.39 (out)(err) |
O = 200 T = 0.21 (out)(err) |
O = 200 T = 3.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 23.11 (out)(err) |
O = 200 T = 4.25 (out)(err) |
O = 200 T = 4.22 (out)(err) |
frb25-13-1.wcnf | O = 300 T = 0.58 |
O = 300 T = 7.78 (out)(err) |
O = 300 T = 0.58 (out)(err) |
O = 300 T = 3.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 102.28 (out)(err) |
O = 300 T = 69.45 (out)(err) |
O = 300 T = 110.83 (out)(err) |
frb25-13-2.wcnf | O = 300 T = 7.06 |
O = 300 T = 7.91 (out)(err) |
O = 300 T = 13.39 (out)(err) |
O = 300 T = 7.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 76.52 (out)(err) |
O = 300 T = 66.33 (out)(err) |
O = 300 T = 56.10 (out)(err) |
frb25-13-3.wcnf | O = 300 T = 1.02 |
O = 300 T = 7.44 (out)(err) |
O = 300 T = 1.02 (out)(err) |
O = 300 T = 6.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 86.46 (out)(err) |
O = 300 T = 27.95 (out)(err) |
O = 300 T = 34.33 (out)(err) |
frb25-13-4.wcnf | O = 300 T = 1.72 |
O = 300 T = 6.72 (out)(err) |
O = 300 T = 1.72 (out)(err) |
O = 300 T = 7.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 136.72 (out)(err) |
O = 300 T = 49.43 (out)(err) |
O = 300 T = 45.02 (out)(err) |
frb25-13-5.wcnf | O = 300 T = 1.96 |
O = 300 T = 7.38 (out)(err) |
O = 300 T = 1.96 (out)(err) |
O = 300 T = 2.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 119.60 (out)(err) |
O = 300 T = 34.19 (out)(err) |
O = 300 T = 39.65 (out)(err) |
frb30-15-1.wcnf | O = 420 T = 0.50 |
O = 420 T = 9.42 (out)(err) |
O = 420 T = 0.50 (out)(err) |
O = 420 T = 3.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 431 T = 284.68 (out)(err) |
O = 420 T = 139.71 (out)(err) |
O = 420 T = 228.85 (out)(err) |
frb30-15-2.wcnf | O = 420 T = 2.50 |
O = 420 T = 10.02 (out)(err) |
O = 420 T = 2.50 (out)(err) |
O = 420 T = 10.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 431 T = 284.75 (out)(err) |
O = 422 T = 73.47 (out)(err) |
O = 420 T = 232.68 (out)(err) |
frb30-15-3.wcnf | O = 420 T = 8.75 |
O = 420 T = 8.75 (out)(err) |
O = 420 T = 41.82 (out)(err) |
O = 420 T = 39.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 431 T = 284.67 (out)(err) |
O = 420 T = 239.32 (out)(err) |
O = 420 T = 220.07 (out)(err) |
frb30-15-4.wcnf | O = 420 T = 0.57 |
O = 420 T = 9.67 (out)(err) |
O = 420 T = 0.57 (out)(err) |
O = 420 T = 7.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 428 T = 284.76 (out)(err) |
O = 420 T = 277.28 (out)(err) |
O = 421 T = 198.89 (out)(err) |
frb30-15-5.wcnf | O = 420 T = 8.99 |
O = 420 T = 8.99 (out)(err) |
O = 420 T = 14.60 (out)(err) |
O = 420 T = 9.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 420 T = 234.37 (out)(err) |
O = 421 T = 214.86 (out)(err) |
O = 420 T = 136.22 (out)(err) |
frb35-17-1.wcnf | O = 560 T = 15.94 |
O = 560 T = 15.94 (out)(err) |
O = 560 T = 274.18 (out)(err) |
O = 561 T = 31.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 570 T = 284.67 (out)(err) |
O = 563 T = 94.09 (out)(err) |
O = 562 T = 260.85 (out)(err) |
frb35-17-2.wcnf | O = 560 T = 11.66 |
O = 560 T = 11.66 (out)(err) |
O = 560 T = 73.74 (out)(err) |
O = 560 T = 30.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 573 T = 284.68 (out)(err) |
O = 562 T = 297.45 (out)(err) |
O = 563 T = 168.53 (out)(err) |
frb35-17-3.wcnf | O = 560 T = 1.67 |
O = 560 T = 11.65 (out)(err) |
O = 560 T = 1.67 (out)(err) |
O = 560 T = 8.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 572 T = 284.72 (out)(err) |
O = 562 T = 120.44 (out)(err) |
O = 561 T = 295.11 (out)(err) |
frb35-17-4.wcnf | O = 560 T = 17.69 |
O = 560 T = 42.61 (out)(err) |
O = 560 T = 79.78 (out)(err) |
O = 560 T = 17.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 566 T = 284.75 (out)(err) |
O = 562 T = 279.57 (out)(err) |
O = 562 T = 93.48 (out)(err) |
frb35-17-5.wcnf | O = 560 T = 9.21 |
O = 560 T = 15.11 (out)(err) |
O = 560 T = 9.21 (out)(err) |
O = 560 T = 23.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 570 T = 284.62 (out)(err) |
O = 562 T = 243.25 (out)(err) |
O = 562 T = 273.04 (out)(err) |
frb40-19-1.wcnf | O = 720 T = 9.14 |
O = 720 T = 9.14 (out)(err) |
O = 720 T = 22.42 (out)(err) |
O = 720 T = 87.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 733 T = 284.52 (out)(err) |
O = 722 T = 264.30 (out)(err) |
O = 723 T = 257.93 (out)(err) |
frb40-19-2.wcnf | O = 720 T = 274.99 |
O = 720 T = 274.99 (out)(err) |
O = 721 T = 13.83 (out)(err) |
O = 721 T = 26.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 730 T = 284.72 (out)(err) |
O = 722 T = 235.43 (out)(err) |
O = 722 T = 283.35 (out)(err) |
frb40-19-3.wcnf | O = 720 T = 8.90 |
O = 720 T = 8.90 (out)(err) |
O = 720 T = 144.07 (out)(err) |
O = 720 T = 83.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = 735 T = 284.72 (out)(err) |
O = 723 T = 265.27 (out)(err) |
O = 723 T = 254.02 (out)(err) |
frb40-19-4.wcnf | O = 720 T = 94.98 |
O = 720 T = 94.98 (out)(err) |
O = 720 T = 181.11 (out)(err) |
O = 721 T = 11.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 733 T = 284.70 (out)(err) |
O = 723 T = 270.36 (out)(err) |
O = 723 T = 228.39 (out)(err) |
frb40-19-5.wcnf | O = 720 T = 58.85 |
O = 720 T = 199.03 (out)(err) |
O = 720 T = 58.85 (out)(err) |
O = 721 T = 21.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 731 T = 284.75 (out)(err) |
O = 722 T = 276.70 (out)(err) |
O = 723 T = 210.87 (out)(err) |
driverlog02bc.wcsp.wcnf | O = 2085 T = 0.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2085 T = 14.71 (out)(err) |
O = 2085 T = 2.34 (out)(err) |
O = 2617 T = 284.70 (out)(err) |
O = 2085 T = 0.07 (out)(err) |
O = 2085 T = 0.06 (out)(err) |
driverlog02c.wcsp.wcnf | O = 2010 T = 0.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2010 T = 2.38 (out)(err) |
O = 2010 T = 2.30 (out)(err) |
O = 2010 T = 0.19 (out)(err) |
O = 2010 T = 1.86 (out)(err) |
O = 2010 T = 0.12 (out)(err) |
driverlog02cc.wcsp.wcnf | O = 2428 T = 2.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2656 T = 22.17 (out)(err) |
O = 2428 T = 2.05 (out)(err) |
O = 2823 T = 284.67 (out)(err) |
O = 2428 T = 2.36 (out)(err) |
O = 2428 T = 3.09 (out)(err) |
driverlog04ac.wcsp.wcnf | O = 1790 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1790 T = 1.04 (out)(err) |
O = 1790 T = 2.45 (out)(err) |
O = 1790 T = 0.10 (out)(err) |
O = 1790 T = 0.31 (out)(err) |
O = 1790 T = 0.34 (out)(err) |
driverlog04bc.wcsp.wcnf | O = 1921 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1921 T = 0.05 (out)(err) |
O = 1921 T = 2.49 (out)(err) |
O = 1921 T = 0.23 (out)(err) |
O = 1921 T = 0.03 (out)(err) |
O = 1921 T = 0.09 (out)(err) |
driverlog04cc.wcsp.wcnf | O = 2932 T = 0.86 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2932 T = 0.86 (out)(err) |
O = 2932 T = 2.13 (out)(err) |
O = 3254 T = 284.50 (out)(err) |
O = 2932 T = 2.11 (out)(err) |
O = 2932 T = 1.71 (out)(err) |
driverlog05ac.wcsp.wcnf | O = 1350 T = 0.21 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1350 T = 36.74 (out)(err) |
O = 1350 T = 2.90 (out)(err) |
O = 1350 T = 0.21 (out)(err) |
O = 1350 T = 5.30 (out)(err) |
O = 1350 T = 4.55 (out)(err) |
driverlog05bc.wcsp.wcnf | O = 1344 T = 0.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1344 T = 24.91 (out)(err) |
O = 1344 T = 2.78 (out)(err) |
O = 1344 T = 0.43 (out)(err) |
O = 1344 T = 6.71 (out)(err) |
O = 1344 T = 3.67 (out)(err) |
driverlog05c.wcsp.wcnf | O = 1350 T = 0.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1350 T = 156.81 (out)(err) |
O = 1350 T = 2.84 (out)(err) |
O = 1350 T = 0.25 (out)(err) |
O = 1350 T = 4.61 (out)(err) |
O = 1350 T = 3.39 (out)(err) |
driverlog08ac.wcsp.wcnf | O = 2220 T = 0.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2220 T = 8.73 (out)(err) |
O = 2220 T = 2.67 (out)(err) |
O = 2220 T = 0.33 (out)(err) |
O = 2220 T = 2.00 (out)(err) |
O = 2220 T = 3.09 (out)(err) |
driverlog08c.wcsp.wcnf | O = 2220 T = 0.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2220 T = 8.85 (out)(err) |
O = 2220 T = 2.69 (out)(err) |
O = 2220 T = 0.33 (out)(err) |
O = 2220 T = 2.10 (out)(err) |
O = 2220 T = 3.07 (out)(err) |
driverlog08cc.wcsp.wcnf | O = 4052 T = 0.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4052 T = 15.30 (out)(err) |
O = 4052 T = 2.89 (out)(err) |
O = 4487 T = 284.57 (out)(err) |
O = 4052 T = 0.82 (out)(err) |
O = 4052 T = 1.18 (out)(err) |
driverlog09.wcsp.wcnf | O = 960 T = 0.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 960 T = 2.66 (out)(err) |
O = 960 T = 0.20 (out)(err) |
O = 960 T = 1.03 (out)(err) |
O = 960 T = 2.72 (out)(err) |
driverlogs03.wcsp.wcnf | O = 1225 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1225 T = 0.34 (out)(err) |
O = 1225 T = 2.23 (out)(err) |
O = 1225 T = 0.04 (out)(err) |
O = 1225 T = 0.27 (out)(err) |
O = 1225 T = 0.80 (out)(err) |
driverlogs06.wcsp.wcnf | O = 1055 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1055 T = 0.11 (out)(err) |
O = 1055 T = 1.76 (out)(err) |
O = 1055 T = 0.03 (out)(err) |
O = 1055 T = 0.07 (out)(err) |
O = 1055 T = 0.04 (out)(err) |
logistics01bc.wcsp.wcnf | O = 8035 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8035 T = 0.03 (out)(err) |
O = 8035 T = 0.92 (out)(err) |
O = 8035 T = 0.01 (out)(err) |
O = 8035 T = 0.15 (out)(err) |
O = 8035 T = 0.20 (out)(err) |
logistics01c.wcsp.wcnf | O = 8865 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8865 T = 0.04 (out)(err) |
O = 8865 T = 0.89 (out)(err) |
O = 8865 T = 0.00 (out)(err) |
O = 8865 T = 0.05 (out)(err) |
O = 8865 T = 0.18 (out)(err) |
logistics01cc.wcsp.wcnf | O = 4282 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4282 T = 0.05 (out)(err) |
O = 4282 T = 0.87 (out)(err) |
O = 4282 T = 0.03 (out)(err) |
O = 4282 T = 0.24 (out)(err) |
O = 4282 T = 0.14 (out)(err) |
bwt3cc.wcsp.wcnf | O = 177 T = 0.00 |
O = 177 T = 0.38 (out)(err) |
O = 177 T = 184.79 (out)(err) |
O = 177 T = 0.03 (out)(err) |
O = 177 T = 0.29 (out)(err) |
O = 177 T = 0.00 (out)(err) |
O = 177 T = 0.00 (out)(err) |
O = 177 T = 0.00 (out)(err) |
bwt4bc.wcsp.wcnf | O = 355 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 355 T = 0.06 (out)(err) |
O = 355 T = 0.66 (out)(err) |
O = 355 T = 0.00 (out)(err) |
O = 355 T = 0.02 (out)(err) |
O = 355 T = 0.02 (out)(err) |
bwt4c.wcsp.wcnf | O = 600 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 600 T = 0.10 (out)(err) |
O = 600 T = 0.59 (out)(err) |
O = 600 T = 0.01 (out)(err) |
O = 600 T = 0.05 (out)(err) |
O = 600 T = 0.07 (out)(err) |
bwt5ac.wcsp.wcnf | O = 800 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 800 T = 0.12 (out)(err) |
O = 800 T = 1.43 (out)(err) |
O = 800 T = 0.02 (out)(err) |
O = 800 T = 0.01 (out)(err) |
O = 800 T = 0.04 (out)(err) |
bwt5c.wcsp.wcnf | O = 800 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 800 T = 0.13 (out)(err) |
O = 800 T = 1.46 (out)(err) |
O = 800 T = 0.02 (out)(err) |
O = 800 T = 0.01 (out)(err) |
O = 800 T = 0.03 (out)(err) |
bwt5cc.wcsp.wcnf | O = 866 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 866 T = 0.08 (out)(err) |
O = 866 T = 1.44 (out)(err) |
O = 866 T = 0.02 (out)(err) |
O = 866 T = 0.01 (out)(err) |
O = 866 T = 0.03 (out)(err) |
bwt6.wcsp.wcnf | O = 650 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 650 T = 0.51 (out)(err) |
O = 650 T = 1.79 (out)(err) |
O = 650 T = 0.05 (out)(err) |
O = 650 T = 0.03 (out)(err) |
O = 650 T = 0.08 (out)(err) |
bwt7.wcsp.wcnf | O = 780 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 780 T = 0.70 (out)(err) |
O = 780 T = 2.07 (out)(err) |
O = 780 T = 0.13 (out)(err) |
O = 780 T = 0.07 (out)(err) |
O = 780 T = 0.18 (out)(err) |
depot01ac.wcsp.wcnf | O = 1720 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1720 T = 0.15 (out)(err) |
O = 1720 T = 0.30 (out)(err) |
O = 1720 T = 0.00 (out)(err) |
O = 1720 T = 0.00 (out)(err) |
O = 1720 T = 0.00 (out)(err) |
depot01bc.wcsp.wcnf | O = 1965 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1965 T = 0.09 (out)(err) |
O = 1965 T = 0.31 (out)(err) |
O = 1965 T = 0.00 (out)(err) |
O = 1965 T = 0.01 (out)(err) |
O = 1965 T = 0.00 (out)(err) |
depot01c.wcsp.wcnf | O = 1720 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1720 T = 0.17 (out)(err) |
O = 1720 T = 0.29 (out)(err) |
O = 1720 T = 0.00 (out)(err) |
O = 1720 T = 0.00 (out)(err) |
O = 1720 T = 0.00 (out)(err) |
depot01cc.wcsp.wcnf | O = 2142 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2142 T = 0.17 (out)(err) |
O = 2142 T = 0.30 (out)(err) |
O = 2142 T = 0.00 (out)(err) |
O = 2142 T = 0.01 (out)(err) |
O = 2142 T = 0.02 (out)(err) |
driverlog01c.wcsp.wcnf | O = 1145 T = 0.00 |
O = 1145 T = 7.27 (out)(err) |
O = 1145 T = 14.87 (out)(err) |
O = 1145 T = 0.06 (out)(err) |
O = 1145 T = 0.31 (out)(err) |
O = 1145 T = 0.00 (out)(err) |
O = 1145 T = 0.01 (out)(err) |
O = 1145 T = 0.01 (out)(err) |
driverlog01cc.wcsp.wcnf | O = 1117 T = 0.00 |
O = 1117 T = 3.62 (out)(err) |
O = 1117 T = 27.68 (out)(err) |
O = 1117 T = 0.18 (out)(err) |
O = 1117 T = 0.29 (out)(err) |
O = 1117 T = 0.00 (out)(err) |
O = 1117 T = 0.01 (out)(err) |
O = 1117 T = 0.01 (out)(err) |
mprime01ac.wcsp.wcnf | O = 250 T = 0.02 |
O = N/A T = TO (out)(err) |
O = 250 T = 254.34 (out)(err) |
O = 250 T = 0.28 (out)(err) |
O = 250 T = 1.36 (out)(err) |
O = 250 T = 0.02 (out)(err) |
O = 250 T = 0.34 (out)(err) |
O = 250 T = 0.28 (out)(err) |
mprime01bc.wcsp.wcnf | O = 284 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 284 T = 0.53 (out)(err) |
O = 284 T = 1.50 (out)(err) |
O = 284 T = 0.05 (out)(err) |
O = 284 T = 0.48 (out)(err) |
O = 284 T = 0.74 (out)(err) |
mprime01cc.wcsp.wcnf | O = 603 T = 0.22 |
O = 617 T = 35.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 603 T = 0.22 (out)(err) |
O = 603 T = 1.54 (out)(err) |
O = 603 T = 0.29 (out)(err) |
O = 603 T = 0.30 (out)(err) |
O = 603 T = 0.61 (out)(err) |
mprime03ac.wcsp.wcnf | O = 320 T = 0.00 |
O = 320 T = 0.22 (out)(err) |
O = 320 T = 0.04 (out)(err) |
O = 320 T = 0.21 (out)(err) |
O = 320 T = 0.28 (out)(err) |
O = 320 T = 0.00 (out)(err) |
O = 320 T = 0.00 (out)(err) |
O = 320 T = 0.00 (out)(err) |
mprime03bc.wcsp.wcnf | O = 380 T = 0.00 |
O = 380 T = 0.27 (out)(err) |
O = 380 T = 0.20 (out)(err) |
O = 380 T = 0.08 (out)(err) |
O = 380 T = 0.28 (out)(err) |
O = 380 T = 0.00 (out)(err) |
O = 380 T = 0.00 (out)(err) |
O = 380 T = 0.00 (out)(err) |
mprime03c.wcsp.wcnf | O = 320 T = 0.00 |
O = 320 T = 0.19 (out)(err) |
O = 320 T = 0.04 (out)(err) |
O = 320 T = 0.07 (out)(err) |
O = 320 T = 0.29 (out)(err) |
O = 320 T = 0.00 (out)(err) |
O = 320 T = 0.00 (out)(err) |
O = 320 T = 0.00 (out)(err) |
mprime04bc.wcsp.wcnf | O = 600 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 600 T = 32.51 (out)(err) |
O = 600 T = 1.62 (out)(err) |
O = 600 T = 0.03 (out)(err) |
O = 600 T = 0.09 (out)(err) |
O = 600 T = 0.11 (out)(err) |
mprime04c.wcsp.wcnf | O = 590 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 590 T = 3.87 (out)(err) |
O = 590 T = 1.46 (out)(err) |
O = 590 T = 0.02 (out)(err) |
O = 590 T = 0.03 (out)(err) |
O = 590 T = 0.59 (out)(err) |
mprime04cc.wcsp.wcnf | O = 931 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 931 T = 3.14 (out)(err) |
O = 931 T = 1.35 (out)(err) |
O = 931 T = 0.03 (out)(err) |
O = 931 T = 0.03 (out)(err) |
O = 931 T = 0.30 (out)(err) |
rovers02ac.wcsp.wcnf | O = 1660 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1660 T = 0.59 (out)(err) |
O = 1660 T = 0.81 (out)(err) |
O = 1660 T = 0.01 (out)(err) |
O = 1660 T = 0.05 (out)(err) |
O = 1660 T = 0.06 (out)(err) |
rovers02c.wcsp.wcnf | O = 1660 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1660 T = 0.58 (out)(err) |
O = 1660 T = 0.84 (out)(err) |
O = 1660 T = 0.01 (out)(err) |
O = 1660 T = 0.05 (out)(err) |
O = 1660 T = 0.05 (out)(err) |
rovers02cc.wcsp.wcnf | O = 1668 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1668 T = 0.07 (out)(err) |
O = 1668 T = 0.88 (out)(err) |
O = 1668 T = 0.03 (out)(err) |
O = 1668 T = 0.04 (out)(err) |
O = 1668 T = 0.04 (out)(err) |
satellite01ac.wcsp.wcnf | O = 1530 T = 0.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1530 T = 0.16 (out)(err) |
O = 1530 T = 0.99 (out)(err) |
O = 1530 T = 0.06 (out)(err) |
O = 1530 T = 0.13 (out)(err) |
O = 1530 T = 0.13 (out)(err) |
satellite01bc.wcsp.wcnf | O = 1827 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1827 T = 0.12 (out)(err) |
O = 1827 T = 1.04 (out)(err) |
O = 1827 T = 284.50 (out)(err) |
O = 1827 T = 0.07 (out)(err) |
O = 1827 T = 0.09 (out)(err) |
satellite01cc.wcsp.wcnf | O = 1530 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1530 T = 0.17 (out)(err) |
O = 1530 T = 0.93 (out)(err) |
O = 1530 T = 0.07 (out)(err) |
O = 1530 T = 0.10 (out)(err) |
O = 1530 T = 0.12 (out)(err) |
satellite02ac.wcsp.wcnf | O = 1611 T = 1.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1611 T = 4.30 (out)(err) |
O = 1611 T = 2.19 (out)(err) |
O = 1611 T = 1.63 (out)(err) |
O = 1611 T = 4.41 (out)(err) |
O = 1611 T = 6.99 (out)(err) |
satellite02bc.wcsp.wcnf | O = 2289 T = 4.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2289 T = 19.40 (out)(err) |
O = 2289 T = 4.03 (out)(err) |
O = 2289 T = 284.52 (out)(err) |
O = 2289 T = 6.40 (out)(err) |
O = 2289 T = 4.29 (out)(err) |
zenotravel02ac.wcsp.wcnf | O = 2485 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2485 T = 0.09 (out)(err) |
O = 2485 T = 0.81 (out)(err) |
O = 2485 T = 0.00 (out)(err) |
O = 2485 T = 0.05 (out)(err) |
O = 2485 T = 0.03 (out)(err) |
zenotravel02bc.wcsp.wcnf | O = 2335 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2335 T = 0.17 (out)(err) |
O = 2335 T = 0.79 (out)(err) |
O = 2335 T = 0.00 (out)(err) |
O = 2335 T = 0.04 (out)(err) |
O = 2335 T = 0.07 (out)(err) |
zenotravel02c.wcsp.wcnf | O = 2485 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2485 T = 0.09 (out)(err) |
O = 2485 T = 0.91 (out)(err) |
O = 2485 T = 0.00 (out)(err) |
O = 2485 T = 0.06 (out)(err) |
O = 2485 T = 0.04 (out)(err) |
zenotravel02cc.wcsp.wcnf | O = 742 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 742 T = 0.10 (out)(err) |
O = 742 T = 0.68 (out)(err) |
O = 742 T = 0.00 (out)(err) |
O = 742 T = 0.03 (out)(err) |
O = 742 T = 0.07 (out)(err) |
zenotravel04bc.wcsp.wcnf | O = 4110 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4110 T = 0.32 (out)(err) |
O = 4110 T = 1.63 (out)(err) |
O = 4110 T = 0.04 (out)(err) |
O = 4110 T = 0.22 (out)(err) |
O = 4110 T = 0.58 (out)(err) |
zenotravel04c.wcsp.wcnf | O = 4270 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4270 T = 0.25 (out)(err) |
O = 4270 T = 1.61 (out)(err) |
O = 4270 T = 0.03 (out)(err) |
O = 4270 T = 0.46 (out)(err) |
O = 4270 T = 0.39 (out)(err) |
zenotravel04cc.wcsp.wcnf | O = 1599 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1599 T = 0.15 (out)(err) |
O = 1599 T = 1.52 (out)(err) |
O = 1599 T = 0.07 (out)(err) |
O = 1599 T = 0.18 (out)(err) |
O = 1599 T = 0.14 (out)(err) |
cap101.wcsp.wcnf | O = 9036944 T = 56.37 |
O = 9036944 T = 56.37 (out)(err) |
O = 11444957 T = 231.24 (out)(err) |
O = 12392166 T = 267.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 9315691 T = 284.64 (out)(err) |
O = 13174764 T = 41.58 (out)(err) |
O = 13209847 T = 198.92 (out)(err) |
cap102.wcsp.wcnf | O = 9410182 T = 286.20 |
O = 9410182 T = 286.20 (out)(err) |
O = 11684043 T = 231.10 (out)(err) |
O = 11161470 T = 25.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18550067 T = 284.58 (out)(err) |
O = 13976827 T = 3.74 (out)(err) |
O = 14251848 T = 265.61 (out)(err) |
cap111.wcsp.wcnf | O = 9449508 T = 127.15 |
O = 9449508 T = 127.15 (out)(err) |
O = 12653271 T = 56.16 (out)(err) |
O = 12574360 T = 51.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14958870 T = 284.62 (out)(err) |
O = 14603832 T = 137.94 (out)(err) |
O = 13859275 T = 242.82 (out)(err) |
cap112.wcsp.wcnf | O = 9777934 T = 175.11 |
O = 9777934 T = 175.11 (out)(err) |
O = 11189856 T = 249.87 (out)(err) |
O = 12597371 T = 179.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = 31971175 T = 284.66 (out)(err) |
O = 13102125 T = 193.43 (out)(err) |
O = 15050540 T = 147.37 (out)(err) |
cap121.wcsp.wcnf | O = 9449508 T = 133.72 |
O = 9449508 T = 133.72 (out)(err) |
O = 12653271 T = 57.73 (out)(err) |
O = 12574360 T = 51.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14958870 T = 284.70 (out)(err) |
O = 14603832 T = 147.07 (out)(err) |
O = 13859275 T = 246.64 (out)(err) |
cap122.wcsp.wcnf | O = 9777934 T = 175.08 |
O = 9777934 T = 175.08 (out)(err) |
O = 11189856 T = 251.09 (out)(err) |
O = 12597371 T = 179.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 31971175 T = 284.70 (out)(err) |
O = 13102125 T = 186.45 (out)(err) |
O = 15050540 T = 138.87 (out)(err) |
cap131.wcsp.wcnf | O = 9449508 T = 126.68 |
O = 9449508 T = 126.68 (out)(err) |
O = 12653271 T = 57.09 (out)(err) |
O = 12328850 T = 103.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14958870 T = 284.66 (out)(err) |
O = 14603832 T = 144.79 (out)(err) |
O = 13859275 T = 240.85 (out)(err) |
cap132.wcsp.wcnf | O = 9777934 T = 175.03 |
O = 9777934 T = 175.03 (out)(err) |
O = 11189856 T = 250.39 (out)(err) |
O = 12746614 T = 113.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 31971175 T = 284.60 (out)(err) |
O = 13102125 T = 230.39 (out)(err) |
O = 15050540 T = 150.05 (out)(err) |
cap61.wcsp.wcnf | O = 9803288 T = 12.58 |
O = 9803288 T = 12.58 (out)(err) |
O = 11059952 T = 211.06 (out)(err) |
O = 10221387 T = 79.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14381720 T = 284.62 (out)(err) |
O = 13272920 T = 272.35 (out)(err) |
O = 12814063 T = 2.17 (out)(err) |
cap62.wcsp.wcnf | O = 10079049 T = 21.30 |
O = 10079049 T = 21.30 (out)(err) |
O = 12105344 T = 217.61 (out)(err) |
O = 10677118 T = 268.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 19355285 T = 284.52 (out)(err) |
O = 12818058 T = 0.92 (out)(err) |
O = 13441497 T = 0.91 (out)(err) |
cap71.wcsp.wcnf | O = 9803288 T = 12.54 |
O = 9803288 T = 12.54 (out)(err) |
O = 11059952 T = 210.51 (out)(err) |
O = 10221387 T = 80.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14381720 T = 284.72 (out)(err) |
O = 13272920 T = 237.34 (out)(err) |
O = 12814063 T = 2.32 (out)(err) |
cap72.wcsp.wcnf | O = 10079049 T = 21.31 |
O = 10079049 T = 21.31 (out)(err) |
O = 12105344 T = 219.40 (out)(err) |
O = 10677118 T = 268.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 19355285 T = 284.56 (out)(err) |
O = 12818058 T = 0.91 (out)(err) |
O = 13441497 T = 0.86 (out)(err) |
cap81.wcsp.wcnf | O = 9107917 T = 127.35 |
O = 9107917 T = 127.35 (out)(err) |
O = 11444957 T = 231.09 (out)(err) |
O = 11329365 T = 218.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 9315691 T = 284.66 (out)(err) |
O = 13174764 T = 43.49 (out)(err) |
O = 13209847 T = 267.43 (out)(err) |
cap82.wcsp.wcnf | O = 9365719 T = 45.71 |
O = 9365719 T = 45.71 (out)(err) |
O = 11684043 T = 231.60 (out)(err) |
O = 12431293 T = 99.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18550067 T = 284.59 (out)(err) |
O = 13976827 T = 4.03 (out)(err) |
O = 14251848 T = 266.49 (out)(err) |
cap91.wcsp.wcnf | O = 9062907 T = 5.03 |
O = 9062907 T = 5.03 (out)(err) |
O = 11444957 T = 231.41 (out)(err) |
O = 11329365 T = 218.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 9315691 T = 284.63 (out)(err) |
O = 13174764 T = 44.08 (out)(err) |
O = 13209847 T = 230.87 (out)(err) |
cap92.wcsp.wcnf | O = 9413260 T = 89.57 |
O = 9413260 T = 89.57 (out)(err) |
O = 11684043 T = 230.91 (out)(err) |
O = 12431293 T = 101.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18550067 T = 284.62 (out)(err) |
O = 13976827 T = 3.88 (out)(err) |
O = 14251848 T = 268.47 (out)(err) |
warehouse0.wcsp.wcnf | O = 328 T = 0.02 |
O = 328 T = 1.08 (out)(err) |
O = 328 T = 30.35 (out)(err) |
O = 328 T = 0.83 (out)(err) |
O = 328 T = 0.69 (out)(err) |
O = 328 T = 0.02 (out)(err) |
O = 328 T = 0.20 (out)(err) |
O = 328 T = 0.29 (out)(err) |
warehouse1.wcsp.wcnf | O = 730567 T = 119.78 |
O = 730567 T = 119.78 (out)(err) |
O = 743906 T = 218.51 (out)(err) |
O = 760713 T = 186.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 759751 T = 284.72 (out)(err) |
O = 786951 T = 286.15 (out)(err) |
O = 761098 T = 288.77 (out)(err) |
normalized-mps-v2-20-10-bm23.opb.msat.wcnf | O = 34 T = 3.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 51 T = 62.46 (out)(err) |
O = 34 T = 3.16 (out)(err) |
O = 34 T = 6.57 (out)(err) |
O = 34 T = 4.75 (out)(err) |
O = 34 T = 4.66 (out)(err) |
normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf | O = 22199 T = 91.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 22199 T = 284.53 (out)(err) |
O = 22199 T = 91.45 (out)(err) |
O = 22199 T = 163.90 (out)(err) |
normalized-mps-v2-20-10-l152lav.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-mps-v2-20-10-lp4l.opb.msat.wcnf | O = 3912 T = 1.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3998 T = 284.46 (out)(err) |
O = 3987 T = 230.38 (out)(err) |
O = 3912 T = 1.55 (out)(err) |
normalized-mps-v2-20-10-lseu.opb.msat.wcnf | O = 1120 T = 107.66 |
O = N/A T = TO (out)(err) |
O = 1687 T = 229.03 (out)(err) |
O = 1797 T = 154.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1120 T = 284.69 (out)(err) |
O = 1120 T = 107.66 (out)(err) |
O = 1120 T = 125.01 (out)(err) |
normalized-mps-v2-20-10-mod008.opb.msat.wcnf | O = 332 T = 229.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 662 T = 284.65 (out)(err) |
O = 332 T = 229.05 (out)(err) |
O = 356 T = 268.55 (out)(err) |
normalized-mps-v2-20-10-mod010.opb.msat.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-mps-v2-20-10-p0033.opb.msat.wcnf | O = 3089 T = 0.07 |
O = 3338 T = 290.19 (out)(err) |
O = 3089 T = 81.56 (out)(err) |
O = 3089 T = 0.11 (out)(err) |
O = 3089 T = 0.83 (out)(err) |
O = 3089 T = 0.10 (out)(err) |
O = 3089 T = 0.07 (out)(err) |
O = 3089 T = 0.09 (out)(err) |
normalized-mps-v2-20-10-p0040.opb.msat.wcnf | O = 62027 T = 0.00 |
O = 62027 T = 0.80 (out)(err) |
O = 62027 T = 84.48 (out)(err) |
O = 62027 T = 0.42 (out)(err) |
O = 62027 T = 2.60 (out)(err) |
O = 62027 T = 0.00 (out)(err) |
O = 62027 T = 1.92 (out)(err) |
O = 62027 T = 2.45 (out)(err) |
normalized-mps-v2-20-10-p0201.opb.msat.wcnf | O = 1543 T = 284.63 |
O = 2007 T = 223.16 (out)(err) |
O = 1623 T = 241.83 (out)(err) |
O = 1946 T = 52.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1543 T = 284.63 (out)(err) |
O = 1559 T = 291.60 (out)(err) |
O = 1547 T = 262.67 (out)(err) |
normalized-mps-v2-20-10-p0548.opb.msat.wcnf | O = 28745 T = 170.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 50419 T = 284.69 (out)(err) |
O = 28745 T = 170.55 (out)(err) |
O = 30933 T = 13.59 (out)(err) |
normalized-mps-v2-20-10-sentoy.opb.msat.wcnf | O = 2796 T = 262.40 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6810 T = 284.70 (out)(err) |
O = 2796 T = 262.40 (out)(err) |
O = 3934 T = 253.32 (out)(err) |
ram_k3_n10.ra1.wcnf | O = 232 T = 1.27 |
O = 232 T = 1.27 (out)(err) |
O = 232 T = 15.37 (out)(err) |
O = 232 T = 4.06 (out)(err) |
O = 232 T = 7.54 (out)(err) |
O = 5210 T = 284.71 (out)(err) |
O = 232 T = 2.75 (out)(err) |
O = 232 T = 5.60 (out)(err) |
ram_k3_n11.ra1.wcnf | O = 318 T = 1.75 |
O = 318 T = 1.75 (out)(err) |
O = 318 T = 15.78 (out)(err) |
O = 318 T = 1.96 (out)(err) |
O = 318 T = 23.30 (out)(err) |
O = 5866 T = 284.75 (out)(err) |
O = 318 T = 101.46 (out)(err) |
O = 318 T = 93.62 (out)(err) |
ram_k3_n12.ra1.wcnf | O = 524 T = 0.59 |
O = 524 T = 1.85 (out)(err) |
O = 524 T = 0.59 (out)(err) |
O = 524 T = 1.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6115 T = 284.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1567 T = 282.48 (out)(err) |
ram_k3_n13.ra1.wcnf | O = 1417 T = 2.55 |
O = 1417 T = 2.62 (out)(err) |
O = 1417 T = 2.55 (out)(err) |
O = 1417 T = 3.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 11621 T = 284.68 (out)(err) |
O = 4167 T = 267.70 (out)(err) |
O = 4990 T = 78.63 (out)(err) |
ram_k3_n14.ra1.wcnf | O = 3025 T = 2.26 |
O = 3025 T = 2.26 (out)(err) |
O = 3025 T = 15.00 (out)(err) |
O = 3025 T = 3.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 17156 T = 284.53 (out)(err) |
O = 8096 T = 273.76 (out)(err) |
O = 9961 T = 257.33 (out)(err) |
ram_k3_n15.ra1.wcnf | O = 4884 T = 3.22 |
O = 4884 T = 3.44 (out)(err) |
O = 4884 T = 3.22 (out)(err) |
O = 4884 T = 3.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 35299 T = 284.64 (out)(err) |
O = 13845 T = 39.55 (out)(err) |
O = 13496 T = 52.70 (out)(err) |
ram_k3_n16.ra1.wcnf | O = 7271 T = 3.30 |
O = 7271 T = 4.14 (out)(err) |
O = 7271 T = 11.82 (out)(err) |
O = 7271 T = 3.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = 41077 T = 284.69 (out)(err) |
O = 20018 T = 245.66 (out)(err) |
O = 18487 T = 29.31 (out)(err) |
ram_k3_n17.ra1.wcnf | O = 10372 T = 4.20 |
O = 10372 T = 4.65 (out)(err) |
O = 10372 T = 54.83 (out)(err) |
O = 10372 T = 4.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 54739 T = 284.70 (out)(err) |
O = 29221 T = 1.27 (out)(err) |
O = 27899 T = 288.19 (out)(err) |
ram_k3_n18.ra1.wcnf | O = 15621 T = 5.28 |
O = 15621 T = 29.82 (out)(err) |
O = 15621 T = 272.76 (out)(err) |
O = 15621 T = 5.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 55648 T = 284.72 (out)(err) |
O = 39072 T = 281.55 (out)(err) |
O = 35947 T = 101.96 (out)(err) |
ram_k3_n19.ra1.wcnf | O = 20665 T = 22.16 |
O = 20665 T = 22.16 (out)(err) |
O = 20665 T = 275.64 (out)(err) |
O = 20665 T = 46.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 78276 T = 284.68 (out)(err) |
O = 47512 T = 96.42 (out)(err) |
O = 52821 T = 147.70 (out)(err) |
ram_k3_n20.ra1.wcnf | O = 23898 T = 82.61 |
O = 23898 T = 82.61 (out)(err) |
O = 23898 T = 277.98 (out)(err) |
O = 24312 T = 5.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 112463 T = 284.71 (out)(err) |
O = 61171 T = 2.39 (out)(err) |
O = 66440 T = 68.12 (out)(err) |
ram_k3_n9.ra1.wcnf | O = 7 T = 0.04 |
O = 7 T = 1.48 (out)(err) |
O = 7 T = 0.04 (out)(err) |
O = 7 T = 0.83 (out)(err) |
O = 7 T = 1.78 (out)(err) |
O = 7 T = 1.46 (out)(err) |
O = 7 T = 0.41 (out)(err) |
O = 7 T = 0.45 (out)(err) |
ram_k4_n18.ra1.wcnf | O = 329 T = 53.08 |
O = 418 T = 98.48 (out)(err) |
O = 385 T = 84.90 (out)(err) |
O = 329 T = 53.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 19826 T = 284.68 (out)(err) |
O = 26821 T = 4.15 (out)(err) |
O = N/A T = TO (out)(err) |
ram_k4_n19.ra1.wcnf | O = 1224 T = 87.62 |
O = 1295 T = 256.12 (out)(err) |
O = 1607 T = 45.75 (out)(err) |
O = 1224 T = 87.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 51237 T = 284.62 (out)(err) |
O = 37433 T = 5.73 (out)(err) |
O = 18086 T = 247.10 (out)(err) |
ram_k4_n20.ra1.wcnf | O = 3162 T = 20.46 |
O = 3162 T = 20.46 (out)(err) |
O = 3740 T = 276.43 (out)(err) |
O = 3187 T = 278.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = 71509 T = 284.74 (out)(err) |
O = 56324 T = 8.20 (out)(err) |
O = 24997 T = 256.28 (out)(err) |
random-net-200-1_network-1.net.wcnf | O = 172132 T = 6.82 |
O = 190482 T = 180.34 (out)(err) |
O = 174576 T = 195.84 (out)(err) |
O = 210659 T = 259.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 172132 T = 6.82 (out)(err) |
O = 266387 T = 160.50 (out)(err) |
O = 222158 T = 3.24 (out)(err) |
random-net-200-1_network-3.net.wcnf | O = 189725 T = 198.04 |
O = 215294 T = 93.16 (out)(err) |
O = 189725 T = 198.04 (out)(err) |
O = 224587 T = 92.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 206829 T = 284.73 (out)(err) |
O = 290528 T = 73.06 (out)(err) |
O = 310199 T = 119.45 (out)(err) |
random-net-200-1_network-4.net.wcnf | O = 202191 T = 5.59 |
O = 228252 T = 31.81 (out)(err) |
O = 206588 T = 191.23 (out)(err) |
O = 235150 T = 249.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 202191 T = 5.59 (out)(err) |
O = 308892 T = 202.35 (out)(err) |
O = 296069 T = 46.98 (out)(err) |
random-net-240-1_network-1.net.wcnf | O = 224300 T = 6.54 |
O = 260239 T = 35.13 (out)(err) |
O = 227197 T = 197.25 (out)(err) |
O = 273130 T = 250.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 224300 T = 6.54 (out)(err) |
O = 371799 T = 13.67 (out)(err) |
O = 325151 T = 122.77 (out)(err) |
random-net-240-1_network-2.net.wcnf | O = 223134 T = 94.11 |
O = 255469 T = 83.72 (out)(err) |
O = 223134 T = 94.11 (out)(err) |
O = 271966 T = 236.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 277942 T = 284.55 (out)(err) |
O = 381145 T = 34.52 (out)(err) |
O = 341585 T = 3.52 (out)(err) |
random-net-240-1_network-3.net.wcnf | O = 213755 T = 5.14 |
O = 244887 T = 28.59 (out)(err) |
O = 217185 T = 197.53 (out)(err) |
O = 267037 T = 17.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 213755 T = 5.14 (out)(err) |
O = 321940 T = 26.53 (out)(err) |
O = 345696 T = 64.64 (out)(err) |
random-net-240-1_network-4.net.wcnf | O = 231994 T = 6.68 |
O = 274484 T = 15.45 (out)(err) |
O = 236776 T = 198.79 (out)(err) |
O = 283937 T = 120.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 231994 T = 6.68 (out)(err) |
O = 365749 T = 19.45 (out)(err) |
O = 366816 T = 106.30 (out)(err) |
random-net-240-1_network-5.net.wcnf | O = 227363 T = 9.47 |
O = 263720 T = 45.34 (out)(err) |
O = 230346 T = 199.20 (out)(err) |
O = 275047 T = 20.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 227363 T = 9.47 (out)(err) |
O = 372075 T = 137.11 (out)(err) |
O = 378313 T = 46.28 (out)(err) |
random-net-280-1_network-2.net.wcnf | O = 263706 T = 6.68 |
O = 303991 T = 153.43 (out)(err) |
O = 267390 T = 199.19 (out)(err) |
O = 326817 T = 185.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 263706 T = 6.68 (out)(err) |
O = 398308 T = 127.98 (out)(err) |
O = 438376 T = 3.32 (out)(err) |
random-net-280-1_network-3.net.wcnf | O = 257943 T = 10.10 |
O = 302147 T = 75.63 (out)(err) |
O = 263117 T = 28.70 (out)(err) |
O = 318378 T = 72.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 257943 T = 10.10 (out)(err) |
O = 392742 T = 41.29 (out)(err) |
O = 407786 T = 17.32 (out)(err) |
random-net-280-1_network-4.net.wcnf | O = 251789 T = 8.23 |
O = 290511 T = 44.51 (out)(err) |
O = 258064 T = 197.90 (out)(err) |
O = 311928 T = 21.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = 251789 T = 8.23 (out)(err) |
O = 392104 T = 97.91 (out)(err) |
O = 424384 T = 131.82 (out)(err) |
random-net-280-1_network-5.net.wcnf | O = 254206 T = 5.85 |
O = 300211 T = 131.89 (out)(err) |
O = 261895 T = 195.85 (out)(err) |
O = 314957 T = 284.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 254206 T = 5.85 (out)(err) |
O = 416867 T = 3.18 (out)(err) |
O = 301198 T = 11.06 (out)(err) |
random-net-300-1_network-1.net.wcnf | O = 285555 T = 10.84 |
O = 344917 T = 294.66 (out)(err) |
O = 291068 T = 152.80 (out)(err) |
O = 356148 T = 42.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 285555 T = 10.84 (out)(err) |
O = 484110 T = 123.55 (out)(err) |
O = 460036 T = 18.15 (out)(err) |
random-net-300-1_network-2.net.wcnf | O = 293088 T = 10.04 |
O = 335034 T = 103.47 (out)(err) |
O = 295293 T = 200.07 (out)(err) |
O = 359100 T = 35.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 293088 T = 10.04 (out)(err) |
O = 452186 T = 22.98 (out)(err) |
O = 463718 T = 86.38 (out)(err) |
random-net-300-1_network-3.net.wcnf | O = 271896 T = 11.61 |
O = 326763 T = 213.61 (out)(err) |
O = 275871 T = 199.11 (out)(err) |
O = 340169 T = 129.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 271896 T = 11.61 (out)(err) |
O = 439948 T = 74.79 (out)(err) |
O = 409925 T = 229.27 (out)(err) |
random-net-300-1_network-4.net.wcnf | O = 284120 T = 8.16 |
O = 327751 T = 168.40 (out)(err) |
O = 289011 T = 198.93 (out)(err) |
O = 351130 T = 91.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 284120 T = 8.16 (out)(err) |
O = 496139 T = 8.32 (out)(err) |
O = 434587 T = 256.71 (out)(err) |
random-net-300-1_network-5.net.wcnf | O = 267307 T = 8.75 |
O = 320188 T = 12.29 (out)(err) |
O = 272109 T = 170.52 (out)(err) |
O = 337061 T = 238.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 267307 T = 8.75 (out)(err) |
O = 384551 T = 200.26 (out)(err) |
O = 461208 T = 25.37 (out)(err) |
random-net-50-2_network-1.net.wcnf | O = 48636 T = 6.40 |
O = 48994 T = 136.36 (out)(err) |
O = 48636 T = 190.50 (out)(err) |
O = 51004 T = 147.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 48636 T = 6.40 (out)(err) |
O = 62173 T = 146.78 (out)(err) |
O = 64858 T = 16.41 (out)(err) |
random-net-50-2_network-2.net.wcnf | O = 43675 T = 4.53 |
O = 44512 T = 63.44 (out)(err) |
O = 43675 T = 106.82 (out)(err) |
O = 47683 T = 4.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 43675 T = 4.53 (out)(err) |
O = 60524 T = 131.51 (out)(err) |
O = 62718 T = 99.18 (out)(err) |
random-net-50-2_network-3.net.wcnf | O = 46924 T = 1.76 |
O = 47671 T = 45.18 (out)(err) |
O = 46924 T = 83.94 (out)(err) |
O = 48504 T = 293.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 46924 T = 1.76 (out)(err) |
O = 57770 T = 244.80 (out)(err) |
O = 57211 T = 0.93 (out)(err) |
random-net-50-2_network-4.net.wcnf | O = 45279 T = 3.71 |
O = 46978 T = 158.78 (out)(err) |
O = 45279 T = 10.50 (out)(err) |
O = 47117 T = 249.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 45279 T = 3.71 (out)(err) |
O = 59143 T = 62.00 (out)(err) |
O = 56328 T = 15.82 (out)(err) |
random-net-50-2_network-5.net.wcnf | O = 50309 T = 23.31 |
O = 52225 T = 189.58 (out)(err) |
O = 50451 T = 216.51 (out)(err) |
O = 53526 T = 105.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 50309 T = 23.31 (out)(err) |
O = 61195 T = 1.44 (out)(err) |
O = 65860 T = 10.50 (out)(err) |
random-net-60-2_network-1.net.wcnf | O = 53630 T = 8.44 |
O = 55541 T = 149.63 (out)(err) |
O = 53630 T = 8.44 (out)(err) |
O = 59732 T = 54.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 53630 T = 284.61 (out)(err) |
O = 72388 T = 84.99 (out)(err) |
O = 83140 T = 122.38 (out)(err) |
random-net-60-2_network-2.net.wcnf | O = 55787 T = 8.28 |
O = 59352 T = 174.07 (out)(err) |
O = 55787 T = 182.57 (out)(err) |
O = 62652 T = 109.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 55787 T = 8.28 (out)(err) |
O = 76032 T = 76.42 (out)(err) |
O = 91019 T = 10.00 (out)(err) |
random-net-60-2_network-3.net.wcnf | O = 57045 T = 3.98 |
O = 59590 T = 43.01 (out)(err) |
O = 57045 T = 213.69 (out)(err) |
O = 63054 T = 192.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 57045 T = 3.98 (out)(err) |
O = 90939 T = 238.26 (out)(err) |
O = 73554 T = 50.68 (out)(err) |
random-net-60-2_network-4.net.wcnf | O = 54951 T = 3.92 |
O = 57112 T = 196.70 (out)(err) |
O = 55203 T = 212.39 (out)(err) |
O = 59419 T = 66.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 54951 T = 3.92 (out)(err) |
O = 71820 T = 118.12 (out)(err) |
O = 79871 T = 184.06 (out)(err) |
random-net-60-2_network-5.net.wcnf | O = 56931 T = 13.46 |
O = 59536 T = 255.08 (out)(err) |
O = 57834 T = 125.99 (out)(err) |
O = 61295 T = 85.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 56931 T = 13.46 (out)(err) |
O = 80479 T = 215.05 (out)(err) |
O = 79949 T = 167.32 (out)(err) |
random-net-80-2_network-1.net.wcnf | O = 67982 T = 124.25 |
O = 71326 T = 156.21 (out)(err) |
O = 67982 T = 124.25 (out)(err) |
O = 76068 T = 124.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 76880 T = 284.49 (out)(err) |
O = 106716 T = 145.92 (out)(err) |
O = 105645 T = 1.03 (out)(err) |
random-net-80-2_network-2.net.wcnf | O = 73602 T = 11.39 |
O = 79328 T = 65.65 (out)(err) |
O = 73969 T = 218.71 (out)(err) |
O = 83767 T = 296.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 73602 T = 11.39 (out)(err) |
O = 108316 T = 29.40 (out)(err) |
O = 109271 T = 138.40 (out)(err) |
random-net-80-2_network-3.net.wcnf | O = 70391 T = 9.60 |
O = 74914 T = 189.05 (out)(err) |
O = 70391 T = 51.21 (out)(err) |
O = 80719 T = 216.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 70391 T = 9.60 (out)(err) |
O = 115650 T = 210.24 (out)(err) |
O = 103191 T = 2.45 (out)(err) |
random-net-80-2_network-4.net.wcnf | O = 77792 T = 10.84 |
O = 81360 T = 121.19 (out)(err) |
O = 78286 T = 217.53 (out)(err) |
O = 84705 T = 12.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 77792 T = 10.84 (out)(err) |
O = 113957 T = 177.19 (out)(err) |
O = 120777 T = 266.07 (out)(err) |
random-net-80-2_network-5.net.wcnf | O = 71287 T = 6.39 |
O = 76680 T = 78.69 (out)(err) |
O = 71922 T = 213.14 (out)(err) |
O = 82802 T = 191.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 71287 T = 6.39 (out)(err) |
O = 107603 T = 5.04 (out)(err) |
O = 105212 T = 45.13 (out)(err) |
scp410_weighted.wcnf | O = 536 T = 284.61 |
O = 559 T = 284.97 (out)(err) |
O = 717 T = 179.18 (out)(err) |
O = 933 T = 251.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 536 T = 284.61 (out)(err) |
O = 572 T = 0.12 (out)(err) |
O = 572 T = 0.20 (out)(err) |
scp41_weighted.wcnf | O = 441 T = 284.70 |
O = 476 T = 83.15 (out)(err) |
O = 640 T = 266.03 (out)(err) |
O = 844 T = 123.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 441 T = 284.70 (out)(err) |
O = 479 T = 0.10 (out)(err) |
O = 479 T = 0.17 (out)(err) |
scp42_weighted.wcnf | O = 545 T = 284.67 |
O = 546 T = 252.87 (out)(err) |
O = 653 T = 0.25 (out)(err) |
O = 823 T = 45.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 545 T = 284.67 (out)(err) |
O = 570 T = 0.04 (out)(err) |
O = 570 T = 0.21 (out)(err) |
scp43_weighted.wcnf | O = 527 T = 284.73 |
O = 561 T = 229.16 (out)(err) |
O = 613 T = 266.09 (out)(err) |
O = 780 T = 47.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 527 T = 284.73 (out)(err) |
O = 569 T = 0.08 (out)(err) |
O = 569 T = 0.23 (out)(err) |
scp44_weighted.wcnf | O = 516 T = 216.84 |
O = 516 T = 216.84 (out)(err) |
O = 638 T = 265.52 (out)(err) |
O = 829 T = 32.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 531 T = 284.73 (out)(err) |
O = 532 T = 0.06 (out)(err) |
O = 532 T = 0.22 (out)(err) |
scp45_weighted.wcnf | O = 523 T = 284.77 |
O = 543 T = 20.26 (out)(err) |
O = 609 T = 265.34 (out)(err) |
O = 816 T = 137.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 523 T = 284.77 (out)(err) |
O = 528 T = 0.11 (out)(err) |
O = 528 T = 0.25 (out)(err) |
scp46_weighted.wcnf | O = 585 T = 284.98 |
O = 587 T = 51.25 (out)(err) |
O = 747 T = 9.55 (out)(err) |
O = 951 T = 79.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 585 T = 284.98 (out)(err) |
O = 631 T = 0.09 (out)(err) |
O = 631 T = 0.22 (out)(err) |
scp47_weighted.wcnf | O = 430 T = 3.82 |
O = 437 T = 38.49 (out)(err) |
O = 509 T = 264.94 (out)(err) |
O = 681 T = 132.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 430 T = 3.82 (out)(err) |
O = 447 T = 0.14 (out)(err) |
O = 447 T = 0.25 (out)(err) |
scp48_weighted.wcnf | O = 510 T = 216.77 |
O = 510 T = 216.77 (out)(err) |
O = 674 T = 64.62 (out)(err) |
O = 813 T = 248.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 513 T = 284.69 (out)(err) |
O = 513 T = 0.16 (out)(err) |
O = 513 T = 0.18 (out)(err) |
scp49_weighted.wcnf | O = 686 T = 284.68 |
O = 700 T = 95.22 (out)(err) |
O = 836 T = 265.45 (out)(err) |
O = 1000 T = 75.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 686 T = 284.68 (out)(err) |
O = 720 T = 0.10 (out)(err) |
O = 720 T = 0.17 (out)(err) |
scp510_weighted.wcnf | O = 280 T = 0.05 |
O = 325 T = 288.80 (out)(err) |
O = 501 T = 277.83 (out)(err) |
O = 622 T = 44.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = 280 T = 284.73 (out)(err) |
O = 280 T = 0.14 (out)(err) |
O = 280 T = 0.05 (out)(err) |
scp51_weighted.wcnf | O = 269 T = 284.67 |
O = 292 T = 195.95 (out)(err) |
O = 382 T = 186.91 (out)(err) |
O = 497 T = 33.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 269 T = 284.67 (out)(err) |
O = 287 T = 0.07 (out)(err) |
O = 287 T = 0.05 (out)(err) |
scp52_weighted.wcnf | O = 324 T = 0.05 |
O = 343 T = 183.78 (out)(err) |
O = 474 T = 277.48 (out)(err) |
O = 481 T = 33.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = 324 T = 284.70 (out)(err) |
O = 324 T = 0.09 (out)(err) |
O = 324 T = 0.05 (out)(err) |
scp53_weighted.wcnf | O = 226 T = 0.54 |
O = 251 T = 266.61 (out)(err) |
O = 330 T = 237.33 (out)(err) |
O = 552 T = 24.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 226 T = 0.54 (out)(err) |
O = 254 T = 0.08 (out)(err) |
O = 254 T = 0.07 (out)(err) |
scp54_weighted.wcnf | O = 254 T = 284.58 |
O = 285 T = 83.02 (out)(err) |
O = 396 T = 277.26 (out)(err) |
O = 467 T = 35.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 254 T = 284.58 (out)(err) |
O = 265 T = 0.13 (out)(err) |
O = 265 T = 0.07 (out)(err) |
scp55_weighted.wcnf | O = 218 T = 284.72 |
O = 237 T = 149.11 (out)(err) |
O = 374 T = 277.73 (out)(err) |
O = 487 T = 24.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 218 T = 284.72 (out)(err) |
O = 236 T = 0.14 (out)(err) |
O = 236 T = 0.19 (out)(err) |
scp56_weighted.wcnf | O = 213 T = 1.56 |
O = 235 T = 103.17 (out)(err) |
O = 373 T = 277.54 (out)(err) |
O = 525 T = 34.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 213 T = 1.56 (out)(err) |
O = 249 T = 0.10 (out)(err) |
O = 249 T = 0.03 (out)(err) |
scp57_weighted.wcnf | O = 315 T = 284.59 |
O = 328 T = 31.44 (out)(err) |
O = 514 T = 94.67 (out)(err) |
O = 626 T = 33.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 315 T = 284.59 (out)(err) |
O = 320 T = 0.12 (out)(err) |
O = 320 T = 0.17 (out)(err) |
scp58_weighted.wcnf | O = 324 T = 0.09 |
O = 341 T = 188.36 (out)(err) |
O = 481 T = 259.50 (out)(err) |
O = 515 T = 33.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 324 T = 284.75 (out)(err) |
O = 324 T = 0.09 (out)(err) |
O = 324 T = 0.17 (out)(err) |
scp59_weighted.wcnf | O = 303 T = 97.44 |
O = 303 T = 97.44 (out)(err) |
O = 411 T = 277.41 (out)(err) |
O = 556 T = 15.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 303 T = 284.74 (out)(err) |
O = 315 T = 0.07 (out)(err) |
O = 315 T = 0.14 (out)(err) |
scp61_weighted.wcnf | O = 143 T = 8.81 |
O = 143 T = 8.81 (out)(err) |
O = 200 T = 255.02 (out)(err) |
O = 302 T = 26.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 154 T = 284.51 (out)(err) |
O = 154 T = 0.09 (out)(err) |
O = 154 T = 0.23 (out)(err) |
scp62_weighted.wcnf | O = 149 T = 19.93 |
O = 149 T = 19.93 (out)(err) |
O = 205 T = 264.07 (out)(err) |
O = 265 T = 18.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 156 T = 284.67 (out)(err) |
O = 165 T = 0.10 (out)(err) |
O = 165 T = 0.23 (out)(err) |
scp63_weighted.wcnf | O = 153 T = 68.54 |
O = 153 T = 68.54 (out)(err) |
O = 174 T = 281.33 (out)(err) |
O = 273 T = 185.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 154 T = 284.70 (out)(err) |
O = 163 T = 0.07 (out)(err) |
O = 163 T = 0.24 (out)(err) |
scp64_weighted.wcnf | O = 141 T = 130.52 |
O = 141 T = 130.52 (out)(err) |
O = 175 T = 125.44 (out)(err) |
O = 239 T = 21.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 145 T = 284.56 (out)(err) |
O = 146 T = 0.07 (out)(err) |
O = 146 T = 0.09 (out)(err) |
scp65_weighted.wcnf | O = 165 T = 250.44 |
O = 165 T = 250.44 (out)(err) |
O = 230 T = 281.48 (out)(err) |
O = 265 T = 20.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 171 T = 284.72 (out)(err) |
O = 186 T = 0.07 (out)(err) |
O = 186 T = 0.20 (out)(err) |
scpnre1_weighted.wcnf | O = 31 T = 0.01 |
O = N/A T = TO (out)(err) |
O = 72 T = 289.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 0.01 (out)(err) |
O = 31 T = 0.11 (out)(err) |
scpnre2_weighted.wcnf | O = 36 T = 0.01 |
O = N/A T = TO (out)(err) |
O = 86 T = 288.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 284.58 (out)(err) |
O = 36 T = 0.01 (out)(err) |
O = 36 T = 0.11 (out)(err) |
scpnre3_weighted.wcnf | O = 34 T = 0.02 |
O = N/A T = TO (out)(err) |
O = 71 T = 288.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 284.70 (out)(err) |
O = 34 T = 0.02 (out)(err) |
O = 34 T = 0.11 (out)(err) |
scpnre4_weighted.wcnf | O = 33 T = 0.02 |
O = N/A T = TO (out)(err) |
O = 91 T = 262.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 284.69 (out)(err) |
O = 33 T = 0.02 (out)(err) |
O = 33 T = 0.10 (out)(err) |
scpnre5_weighted.wcnf | O = 31 T = 0.02 |
O = N/A T = TO (out)(err) |
O = 91 T = 289.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 284.63 (out)(err) |
O = 31 T = 0.02 (out)(err) |
O = 31 T = 0.10 (out)(err) |
scpnrf1_weighted.wcnf | O = 17 T = 0.03 |
O = N/A T = TO (out)(err) |
O = 23 T = 289.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 284.59 (out)(err) |
O = 17 T = 0.03 (out)(err) |
O = 17 T = 0.37 (out)(err) |
scpnrf2_weighted.wcnf | O = 18 T = 149.08 |
O = N/A T = TO (out)(err) |
O = 25 T = 124.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 284.60 (out)(err) |
O = 19 T = 0.03 (out)(err) |
O = 18 T = 149.08 (out)(err) |
scpnrf3_weighted.wcnf | O = 19 T = 0.03 |
O = N/A T = TO (out)(err) |
O = 22 T = 210.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 0.03 (out)(err) |
O = 19 T = 0.37 (out)(err) |
scpnrf4_weighted.wcnf | O = 17 T = 0.11 |
O = N/A T = TO (out)(err) |
O = 17 T = 289.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 284.68 (out)(err) |
O = 17 T = 0.11 (out)(err) |
O = 18 T = 0.36 (out)(err) |
scpnrf5_weighted.wcnf | O = 16 T = 0.03 |
O = N/A T = TO (out)(err) |
O = 21 T = 112.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 284.65 (out)(err) |
O = 16 T = 0.03 (out)(err) |
O = 16 T = 0.37 (out)(err) |
scpnrg1_weighted.wcnf | O = 198 T = 0.01 |
O = N/A T = TO (out)(err) |
O = 654 T = 43.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 198 T = 284.66 (out)(err) |
O = 198 T = 0.01 (out)(err) |
O = 198 T = 0.05 (out)(err) |
scpnrg2_weighted.wcnf | O = 169 T = 0.02 |
O = N/A T = TO (out)(err) |
O = 623 T = 43.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 284.70 (out)(err) |
O = 169 T = 0.02 (out)(err) |
O = 169 T = 0.05 (out)(err) |
scpnrg3_weighted.wcnf | O = 181 T = 0.02 |
O = N/A T = TO (out)(err) |
O = 613 T = 288.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 181 T = 284.72 (out)(err) |
O = 181 T = 0.02 (out)(err) |
O = 181 T = 0.06 (out)(err) |
scpnrg4_weighted.wcnf | O = 185 T = 0.02 |
O = N/A T = TO (out)(err) |
O = 572 T = 222.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 185 T = 284.64 (out)(err) |
O = 185 T = 0.02 (out)(err) |
O = 185 T = 0.06 (out)(err) |
scpnrg5_weighted.wcnf | O = 192 T = 0.02 |
O = N/A T = TO (out)(err) |
O = 647 T = 105.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 192 T = 284.70 (out)(err) |
O = 192 T = 0.02 (out)(err) |
O = 192 T = 0.06 (out)(err) |
scpnrh1_weighted.wcnf | O = 73 T = 0.04 |
O = 116 T = 248.64 (out)(err) |
O = 264 T = 123.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 73 T = 284.63 (out)(err) |
O = 73 T = 0.04 (out)(err) |
O = 73 T = 0.22 (out)(err) |
scpnrh2_weighted.wcnf | O = 67 T = 0.03 |
O = N/A T = TO (out)(err) |
O = 314 T = 56.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 67 T = 0.03 (out)(err) |
O = 67 T = 0.21 (out)(err) |
scpnrh3_weighted.wcnf | O = 69 T = 0.03 |
O = N/A T = TO (out)(err) |
O = 268 T = 117.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 69 T = 284.65 (out)(err) |
O = 69 T = 0.03 (out)(err) |
O = 69 T = 0.22 (out)(err) |
scpnrh4_weighted.wcnf | O = 68 T = 0.03 |
O = N/A T = TO (out)(err) |
O = 240 T = 289.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 68 T = 284.69 (out)(err) |
O = 68 T = 0.03 (out)(err) |
O = 68 T = 0.21 (out)(err) |
scpnrh5_weighted.wcnf | O = 64 T = 0.03 |
O = N/A T = TO (out)(err) |
O = 225 T = 289.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 64 T = 284.62 (out)(err) |
O = 64 T = 0.03 (out)(err) |
O = 64 T = 0.21 (out)(err) |
MANN_a27.clq.wcnf | O = 2049 T = 0.05 |
O = 2049 T = 1.08 (out)(err) |
O = 2049 T = 0.05 (out)(err) |
O = 2049 T = 0.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2189 T = 284.52 (out)(err) |
O = 4720 T = 0.05 (out)(err) |
O = 4481 T = 0.06 (out)(err) |
MANN_a45.clq.wcnf | O = 2057 T = 0.06 |
O = 2057 T = 1.17 (out)(err) |
O = 2057 T = 0.06 (out)(err) |
O = 2057 T = 0.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2171 T = 284.72 (out)(err) |
O = 2194 T = 157.79 (out)(err) |
O = 2210 T = 140.11 (out)(err) |
MANN_a81.clq.wcnf | O = 1995 T = 0.09 |
O = 1995 T = 0.62 (out)(err) |
O = 1995 T = 0.09 (out)(err) |
O = 1995 T = 0.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2060 T = 284.60 (out)(err) |
O = 2093 T = 142.19 (out)(err) |
O = 2088 T = 175.44 (out)(err) |
MANN_a9.clq.wcnf | O = 2179 T = 0.06 |
O = 2179 T = 1.24 (out)(err) |
O = 2179 T = 0.06 (out)(err) |
O = 2179 T = 0.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2340 T = 284.66 (out)(err) |
O = 2357 T = 0.96 (out)(err) |
O = 2357 T = 0.62 (out)(err) |
hamming10-2.clq.wcnf | O = 1929 T = 0.05 |
O = 1929 T = 0.70 (out)(err) |
O = 1929 T = 0.05 (out)(err) |
O = 1929 T = 0.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2109 T = 284.67 (out)(err) |
O = 2096 T = 251.15 (out)(err) |
O = 2114 T = 278.06 (out)(err) |
hamming10-4.clq.wcnf | O = 1683 T = 0.06 |
O = 1683 T = 1.50 (out)(err) |
O = 1683 T = 0.06 (out)(err) |
O = 1683 T = 0.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1798 T = 284.73 (out)(err) |
O = 1820 T = 261.29 (out)(err) |
O = 1817 T = 1.04 (out)(err) |
hamming6-2.clq.wcnf | O = 4391 T = 0.16 |
O = 4391 T = 0.75 (out)(err) |
O = 4391 T = 0.16 (out)(err) |
O = 4391 T = 1.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4630 T = 284.42 (out)(err) |
O = 10088 T = 0.09 (out)(err) |
O = 8596 T = 0.20 (out)(err) |
hamming6-4.clq.wcnf | O = 1035 T = 0.10 |
O = 1035 T = 1.07 (out)(err) |
O = 1035 T = 0.10 (out)(err) |
O = 1126 T = 1.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1488 T = 284.72 (out)(err) |
O = 1526 T = 174.50 (out)(err) |
O = 1592 T = 259.69 (out)(err) |
hamming8-2.clq.wcnf | O = 2213 T = 0.05 |
O = 2213 T = 1.21 (out)(err) |
O = 2213 T = 0.05 (out)(err) |
O = 2213 T = 0.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2327 T = 284.62 (out)(err) |
O = 2315 T = 197.62 (out)(err) |
O = 2304 T = 147.55 (out)(err) |
hamming8-4.clq.wcnf | O = 917 T = 0.08 |
O = 917 T = 0.67 (out)(err) |
O = 917 T = 0.08 (out)(err) |
O = 917 T = 0.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1147 T = 284.72 (out)(err) |
O = 1064 T = 48.92 (out)(err) |
O = 1042 T = 138.80 (out)(err) |
johnson16-2-4.clq.wcnf | O = 1170 T = 0.05 |
O = 1170 T = 0.83 (out)(err) |
O = 1170 T = 0.05 (out)(err) |
O = 1170 T = 1.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1431 T = 284.59 (out)(err) |
O = 1361 T = 17.55 (out)(err) |
O = 1395 T = 26.44 (out)(err) |
johnson32-2-4.clq.wcnf | O = 1788 T = 0.05 |
O = 1788 T = 0.52 (out)(err) |
O = 1788 T = 0.05 (out)(err) |
O = 1788 T = 0.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1936 T = 284.68 (out)(err) |
O = 1936 T = 1.01 (out)(err) |
O = 1933 T = 0.93 (out)(err) |
johnson8-2-4.clq.wcnf | O = 392 T = 0.04 |
O = 392 T = 0.86 (out)(err) |
O = 392 T = 0.04 (out)(err) |
O = 392 T = 0.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 426 T = 284.68 (out)(err) |
O = 435 T = 289.49 (out)(err) |
O = 434 T = 268.72 (out)(err) |
johnson8-4-4.clq.wcnf | O = 4154 T = 0.12 |
O = 4154 T = 0.97 (out)(err) |
O = 4154 T = 0.12 (out)(err) |
O = 4154 T = 1.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4667 T = 284.66 (out)(err) |
O = 10254 T = 0.09 (out)(err) |
O = 6824 T = 0.19 (out)(err) |
keller4.clq.wcnf | O = 1133 T = 0.04 |
O = 1133 T = 0.81 (out)(err) |
O = 1133 T = 0.04 (out)(err) |
O = 1133 T = 1.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1325 T = 284.71 (out)(err) |
O = 1440 T = 141.59 (out)(err) |
O = 1478 T = 34.10 (out)(err) |
keller5.clq.wcnf | O = 1383 T = 0.05 |
O = 1383 T = 0.81 (out)(err) |
O = 1383 T = 0.05 (out)(err) |
O = 1383 T = 1.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1506 T = 284.69 (out)(err) |
O = 1534 T = 0.67 (out)(err) |
O = 1534 T = 0.60 (out)(err) |
p_hat1000-1.clq.wcnf | O = 248 T = 0.05 |
O = 248 T = 0.99 (out)(err) |
O = 248 T = 0.05 (out)(err) |
O = 248 T = 0.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 248 T = 284.61 (out)(err) |
O = 301 T = 205.73 (out)(err) |
O = 313 T = 213.62 (out)(err) |
p_hat1000-2.clq.wcnf | O = 752 T = 0.05 |
O = 752 T = 1.13 (out)(err) |
O = 752 T = 0.05 (out)(err) |
O = 752 T = 1.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 808 T = 284.73 (out)(err) |
O = 847 T = 6.44 (out)(err) |
O = 850 T = 223.21 (out)(err) |
p_hat1000-3.clq.wcnf | O = 1251 T = 0.03 |
O = 1251 T = 0.81 (out)(err) |
O = 1251 T = 0.03 (out)(err) |
O = 1251 T = 1.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1405 T = 284.70 (out)(err) |
O = 1339 T = 2.40 (out)(err) |
O = 1339 T = 2.51 (out)(err) |
p_hat300-1.clq.wcnf | O = 243 T = 0.04 |
O = 243 T = 0.97 (out)(err) |
O = 243 T = 0.04 (out)(err) |
O = 243 T = 0.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 252 T = 284.67 (out)(err) |
O = 280 T = 258.27 (out)(err) |
O = 264 T = 282.74 (out)(err) |
p_hat300-2.clq.wcnf | O = 711 T = 0.06 |
O = 711 T = 0.93 (out)(err) |
O = 711 T = 0.06 (out)(err) |
O = 711 T = 0.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 740 T = 284.73 (out)(err) |
O = 814 T = 0.25 (out)(err) |
O = 785 T = 0.70 (out)(err) |
p_hat300-3.clq.wcnf | O = 1439 T = 0.04 |
O = 1439 T = 0.34 (out)(err) |
O = 1439 T = 0.04 (out)(err) |
O = 1439 T = 1.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1568 T = 284.73 (out)(err) |
O = 1554 T = 0.69 (out)(err) |
O = 1554 T = 0.77 (out)(err) |
p_hat500-1.clq.wcnf | O = 395 T = 0.04 |
O = 395 T = 0.70 (out)(err) |
O = 395 T = 0.04 (out)(err) |
O = 395 T = 1.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 424 T = 284.68 (out)(err) |
O = 455 T = 0.64 (out)(err) |
O = 455 T = 57.81 (out)(err) |
p_hat500-2.clq.wcnf | O = 931 T = 0.04 |
O = 931 T = 0.88 (out)(err) |
O = 931 T = 0.04 (out)(err) |
O = 931 T = 0.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1015 T = 284.72 (out)(err) |
O = 1071 T = 9.08 (out)(err) |
O = 1043 T = 124.38 (out)(err) |
p_hat500-3.clq.wcnf | O = 1501 T = 0.04 |
O = 1501 T = 1.04 (out)(err) |
O = 1501 T = 0.04 (out)(err) |
O = 1501 T = 1.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1750 T = 284.73 (out)(err) |
O = 1612 T = 62.78 (out)(err) |
O = 1630 T = 114.63 (out)(err) |
p_hat700-1.clq.wcnf | O = 329 T = 0.06 |
O = 329 T = 0.91 (out)(err) |
O = 329 T = 0.06 (out)(err) |
O = 329 T = 0.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = 355 T = 284.64 (out)(err) |
O = 418 T = 266.02 (out)(err) |
O = 381 T = 166.12 (out)(err) |
p_hat700-2.clq.wcnf | O = 834 T = 0.06 |
O = 834 T = 1.04 (out)(err) |
O = 834 T = 0.06 (out)(err) |
O = 834 T = 0.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 901 T = 284.70 (out)(err) |
O = 989 T = 13.54 (out)(err) |
O = 944 T = 253.00 (out)(err) |
p_hat700-3.clq.wcnf | O = 1432 T = 0.03 |
O = 1432 T = 0.76 (out)(err) |
O = 1432 T = 0.03 (out)(err) |
O = 1432 T = 0.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1583 T = 284.53 (out)(err) |
O = 1583 T = 0.19 (out)(err) |
O = 1583 T = 0.66 (out)(err) |
san1000.clq.wcnf | O = 744 T = 0.05 |
O = 744 T = 1.04 (out)(err) |
O = 744 T = 0.05 (out)(err) |
O = 744 T = 1.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = 822 T = 284.73 (out)(err) |
O = 807 T = 13.93 (out)(err) |
O = 835 T = 81.65 (out)(err) |
san200_0.7_1.clq.wcnf | O = 1256 T = 0.04 |
O = 1256 T = 0.81 (out)(err) |
O = 1256 T = 0.04 (out)(err) |
O = 1256 T = 0.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1368 T = 285.68 (out)(err) |
O = 1384 T = 206.15 (out)(err) |
O = 1369 T = 170.88 (out)(err) |
san200_0.7_2.clq.wcnf | O = 1243 T = 0.06 |
O = 1243 T = 0.88 (out)(err) |
O = 1243 T = 0.06 (out)(err) |
O = 1243 T = 0.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1304 T = 284.65 (out)(err) |
O = 1352 T = 188.50 (out)(err) |
O = 1379 T = 106.54 (out)(err) |
san200_0.9_1.clq.wcnf | O = 1672 T = 0.09 |
O = 1672 T = 0.92 (out)(err) |
O = 1672 T = 0.09 (out)(err) |
O = 1672 T = 0.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1769 T = 284.61 (out)(err) |
O = 1712 T = 7.87 (out)(err) |
O = 1731 T = 2.65 (out)(err) |
san200_0.9_2.clq.wcnf | O = 1647 T = 0.05 |
O = 1647 T = 0.93 (out)(err) |
O = 1647 T = 0.05 (out)(err) |
O = 1647 T = 0.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1685 T = 285.64 (out)(err) |
O = 1803 T = 155.47 (out)(err) |
O = 1809 T = 1.86 (out)(err) |
san200_0.9_3.clq.wcnf | O = 1670 T = 0.05 |
O = 1670 T = 1.00 (out)(err) |
O = 1670 T = 0.05 (out)(err) |
O = 1670 T = 0.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1810 T = 284.51 (out)(err) |
O = 1790 T = 191.33 (out)(err) |
O = 1811 T = 231.55 (out)(err) |
san400_0.5_1.clq.wcnf | O = 718 T = 0.05 |
O = 718 T = 0.90 (out)(err) |
O = 718 T = 0.05 (out)(err) |
O = 718 T = 0.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 778 T = 284.67 (out)(err) |
O = 842 T = 1.18 (out)(err) |
O = 842 T = 16.41 (out)(err) |
san400_0.7_1.clq.wcnf | O = 1258 T = 0.02 |
O = 1258 T = 0.52 (out)(err) |
O = 1258 T = 0.02 (out)(err) |
O = 1258 T = 0.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1376 T = 284.71 (out)(err) |
O = 1335 T = 263.26 (out)(err) |
O = 1384 T = 252.49 (out)(err) |
san400_0.7_2.clq.wcnf | O = 1237 T = 0.05 |
O = 1237 T = 0.52 (out)(err) |
O = 1237 T = 0.05 (out)(err) |
O = 1237 T = 0.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1334 T = 284.71 (out)(err) |
O = 1350 T = 76.64 (out)(err) |
O = 1392 T = 7.49 (out)(err) |
san400_0.7_3.clq.wcnf | O = 1201 T = 0.04 |
O = 1201 T = 1.60 (out)(err) |
O = 1201 T = 0.04 (out)(err) |
O = 1201 T = 0.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1260 T = 284.63 (out)(err) |
O = 1370 T = 270.64 (out)(err) |
O = 1377 T = 237.34 (out)(err) |
san400_0.9_1.clq.wcnf | O = 1604 T = 0.10 |
O = 1604 T = 0.53 (out)(err) |
O = 1604 T = 0.10 (out)(err) |
O = 1604 T = 0.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1774 T = 284.67 (out)(err) |
O = 1747 T = 0.40 (out)(err) |
O = 1707 T = 77.56 (out)(err) |
sanr200_0.7.clq.wcnf | O = 1171 T = 0.05 |
O = 1171 T = 0.81 (out)(err) |
O = 1171 T = 0.05 (out)(err) |
O = 1171 T = 1.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1316 T = 284.60 (out)(err) |
O = 1334 T = 2.78 (out)(err) |
O = 1348 T = 284.49 (out)(err) |
sanr200_0.9.clq.wcnf | O = 1610 T = 0.05 |
O = 1610 T = 1.09 (out)(err) |
O = 1610 T = 0.05 (out)(err) |
O = 1610 T = 0.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1692 T = 284.72 (out)(err) |
O = 1717 T = 0.49 (out)(err) |
O = 1717 T = 0.41 (out)(err) |
sanr400_0.5.clq.wcnf | O = 763 T = 0.05 |
O = 763 T = 1.31 (out)(err) |
O = 763 T = 0.05 (out)(err) |
O = 763 T = 0.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 946 T = 284.60 (out)(err) |
O = 905 T = 1.60 (out)(err) |
O = 885 T = 18.43 (out)(err) |
sanr400_0.7.clq.wcnf | O = 1198 T = 0.05 |
O = 1198 T = 1.25 (out)(err) |
O = 1198 T = 0.05 (out)(err) |
O = 1198 T = 0.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1325 T = 284.68 (out)(err) |
O = 1353 T = 0.74 (out)(err) |
O = 1356 T = 10.21 (out)(err) |
t3g3-5555.spn.wcnf | O = 1100610 T = 0.04 |
O = 1100610 T = 1.18 (out)(err) |
O = 1100610 T = 0.04 (out)(err) |
O = 1100610 T = 0.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1100610 T = 0.98 (out)(err) |
O = 1100610 T = 38.44 (out)(err) |
O = 1100610 T = 13.59 (out)(err) |
t4g3-6666.spn.wcnf | O = 2275606 T = 0.04 |
O = 2275606 T = 1.49 (out)(err) |
O = 2275606 T = 0.04 (out)(err) |
O = 2275606 T = 0.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2506946 T = 284.58 (out)(err) |
O = 3204264 T = 72.06 (out)(err) |
O = 3012551 T = 12.07 (out)(err) |
t5g3-7777.spn.wcnf | O = 4241951 T = 0.48 |
O = 4241951 T = 1.88 (out)(err) |
O = 4241951 T = 0.48 (out)(err) |
O = 4241951 T = 1.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4743603 T = 284.56 (out)(err) |
O = 6456842 T = 0.68 (out)(err) |
O = 6676250 T = 282.14 (out)(err) |
t6g3-8888.spn.wcnf | O = 7844119 T = 0.09 |
O = 7844119 T = 4.72 (out)(err) |
O = 7844119 T = 0.09 (out)(err) |
O = 7844119 T = 247.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 9733193 T = 284.73 (out)(err) |
O = 11926153 T = 1.32 (out)(err) |
O = 12272044 T = 4.33 (out)(err) |
t7g3-9999.spn.wcnf | O = 11954769 T = 42.33 |
O = 12210215 T = 63.59 (out)(err) |
O = 11954769 T = 42.33 (out)(err) |
O = 12202465 T = 67.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14707161 T = 284.71 (out)(err) |
O = 19787068 T = 189.62 (out)(err) |
O = 21376065 T = 4.22 (out)(err) |