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 |
---|---|
Text | Best solver column |
Text | Optimal solution with the best CPU time |
Text | Optimal solution and finished within the Time Out |
Text | Optimal solution and did not finish within the Time Out |
Text | Time Out |
Text | Buggy solution |
Instance file name | Best solver | IncWMaxSatz | WMaxSatz+ | WMaxSatz-2009 | WPM1 | WPM2 | akmaxsat | akmaxsat_ls | claspMaxSat | sat4j-maxsat | wbo1.6 |
---|---|---|---|---|---|---|---|---|---|---|---|
cat_paths_60_100_0000.txt.wcnf | S = OPT O = 68579 T = 0.24 |
S = OPT O = 68579 T = 0.24 (out)(err) |
S = OPT O = 68579 T = 10.02 (out)(err) |
S = OPT O = 68579 T = 10.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 68579 T = 0.38 (out)(err) |
S = OPT O = 68579 T = 0.51 (out)(err) |
S = OPT O = 68579 T = 114.20 (out)(err) |
S = OPT O = 68579 T = 269.53 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_100_0001.txt.wcnf | S = OPT O = 70359 T = 0.49 |
S = OPT O = 70359 T = 0.49 (out)(err) |
S = OPT O = 70359 T = 27.47 (out)(err) |
S = OPT O = 70359 T = 27.47 (out)(err) |
S = OPT O = 70359 T = 2.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 70359 T = 0.74 (out)(err) |
S = OPT O = 70359 T = 0.63 (out)(err) |
S = OPT O = 70359 T = 596.87 (out)(err) |
S = OPT O = 70359 T = 1064.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_100_0002.txt.wcnf | S = OPT O = 63604 T = 0.19 |
S = OPT O = 63604 T = 0.19 (out)(err) |
S = OPT O = 63604 T = 8.09 (out)(err) |
S = OPT O = 63604 T = 8.09 (out)(err) |
S = OPT O = 63604 T = 2.41 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 63604 T = 0.24 (out)(err) |
S = OPT O = 63604 T = 0.37 (out)(err) |
S = OPT O = 63604 T = 154.25 (out)(err) |
S = OPT O = 63604 T = 312.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_100_0003.txt.wcnf | S = OPT O = 67524 T = 0.12 |
S = OPT O = 67524 T = 0.12 (out)(err) |
S = OPT O = 67524 T = 11.62 (out)(err) |
S = OPT O = 67524 T = 11.55 (out)(err) |
S = OPT O = 67524 T = 1.60 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 67524 T = 0.14 (out)(err) |
S = OPT O = 67524 T = 0.29 (out)(err) |
S = OPT O = 67524 T = 174.82 (out)(err) |
S = OPT O = 67524 T = 363.22 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_100_0004.txt.wcnf | S = OPT O = 66261 T = 0.43 |
S = OPT O = 66261 T = 0.43 (out)(err) |
S = OPT O = 66261 T = 8.46 (out)(err) |
S = OPT O = 66261 T = 8.46 (out)(err) |
S = OPT O = 66261 T = 44.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 66261 T = 0.56 (out)(err) |
S = OPT O = 66261 T = 0.76 (out)(err) |
S = OPT O = 66261 T = 72.32 (out)(err) |
S = OPT O = 66261 T = 218.68 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_100_0005.txt.wcnf | S = OPT O = 58665 T = 0.34 |
S = OPT O = 58665 T = 0.47 (out)(err) |
S = OPT O = 58665 T = 20.46 (out)(err) |
S = OPT O = 58665 T = 20.18 (out)(err) |
S = OPT O = 58665 T = 59.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 58665 T = 0.34 (out)(err) |
S = OPT O = 58665 T = 0.43 (out)(err) |
S = OPT O = 58665 T = 353.05 (out)(err) |
S = OPT O = 58665 T = 636.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_100_0006.txt.wcnf | S = OPT O = 62561 T = 0.19 |
S = OPT O = 62561 T = 0.19 (out)(err) |
S = OPT O = 62561 T = 2.77 (out)(err) |
S = OPT O = 62561 T = 2.71 (out)(err) |
S = OPT O = 62561 T = 3.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 62561 T = 0.30 (out)(err) |
S = OPT O = 62561 T = 0.34 (out)(err) |
S = OPT O = 62561 T = 14.59 (out)(err) |
S = OPT O = 62561 T = 78.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_100_0007.txt.wcnf | S = OPT O = 63697 T = 0.33 |
S = OPT O = 63697 T = 0.33 (out)(err) |
S = OPT O = 63697 T = 9.88 (out)(err) |
S = OPT O = 63697 T = 9.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 63697 T = 0.44 (out)(err) |
S = OPT O = 63697 T = 0.49 (out)(err) |
S = OPT O = 63697 T = 123.66 (out)(err) |
S = OPT O = 63697 T = 251.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_110_0000.txt.wcnf | S = OPT O = 67487 T = 0.51 |
S = OPT O = 67487 T = 1.14 (out)(err) |
S = OPT O = 67487 T = 44.78 (out)(err) |
S = OPT O = 67487 T = 44.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 67487 T = 0.51 (out)(err) |
S = OPT O = 67487 T = 0.55 (out)(err) |
S = OPT O = 67487 T = 605.66 (out)(err) |
S = OPT O = 67487 T = 1034.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_110_0001.txt.wcnf | S = OPT O = 57187 T = 0.11 |
S = OPT O = 57187 T = 0.11 (out)(err) |
S = OPT O = 57187 T = 9.94 (out)(err) |
S = OPT O = 57187 T = 9.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 57187 T = 0.18 (out)(err) |
S = OPT O = 57187 T = 0.41 (out)(err) |
S = OPT O = 57187 T = 127.11 (out)(err) |
S = OPT O = 57187 T = 455.88 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_110_0002.txt.wcnf | S = OPT O = 68460 T = 0.22 |
S = OPT O = 68460 T = 0.22 (out)(err) |
S = OPT O = 68460 T = 35.42 (out)(err) |
S = OPT O = 68460 T = 35.21 (out)(err) |
S = OPT O = 68460 T = 7.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 68460 T = 0.29 (out)(err) |
S = OPT O = 68460 T = 0.42 (out)(err) |
S = OPT O = 68460 T = 767.63 (out)(err) |
S = OPT O = 68460 T = 1100.25 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_110_0003.txt.wcnf | S = OPT O = 72855 T = 0.24 |
S = OPT O = 72855 T = 0.24 (out)(err) |
S = OPT O = 72855 T = 29.23 (out)(err) |
S = OPT O = 72855 T = 29.35 (out)(err) |
S = OPT O = 72855 T = 55.25 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 72855 T = 0.27 (out)(err) |
S = OPT O = 72855 T = 0.47 (out)(err) |
S = OPT O = 72855 T = 817.36 (out)(err) |
S = OPT O = 72855 T = 1153.06 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_110_0004.txt.wcnf | S = OPT O = 56823 T = 0.90 |
S = OPT O = 56823 T = 0.90 (out)(err) |
S = OPT O = 56823 T = 115.33 (out)(err) |
S = OPT O = 56823 T = 113.25 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 56823 T = 1.25 (out)(err) |
S = OPT O = 56823 T = 1.03 (out)(err) |
S = N/A O = 56823 T = TO (out)(err) |
S = N/A O = 56823 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_110_0005.txt.wcnf | S = OPT O = 78796 T = 0.49 |
S = OPT O = 78796 T = 0.88 (out)(err) |
S = OPT O = 78796 T = 23.50 (out)(err) |
S = OPT O = 78796 T = 23.61 (out)(err) |
S = OPT O = 78796 T = 11.46 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 78796 T = 0.49 (out)(err) |
S = OPT O = 78796 T = 0.67 (out)(err) |
S = OPT O = 78796 T = 444.60 (out)(err) |
S = OPT O = 78796 T = 941.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_110_0006.txt.wcnf | S = OPT O = 67797 T = 0.32 |
S = OPT O = 67797 T = 0.40 (out)(err) |
S = OPT O = 67797 T = 39.42 (out)(err) |
S = OPT O = 67797 T = 39.09 (out)(err) |
S = OPT O = 67797 T = 62.34 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 67797 T = 0.32 (out)(err) |
S = OPT O = 67797 T = 0.45 (out)(err) |
S = OPT O = 67797 T = 976.43 (out)(err) |
S = OPT O = 67797 T = 1197.61 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_110_0007.txt.wcnf | S = OPT O = 60477 T = 0.47 |
S = OPT O = 60477 T = 0.72 (out)(err) |
S = OPT O = 60477 T = 43.49 (out)(err) |
S = OPT O = 60477 T = 43.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 60477 T = 0.47 (out)(err) |
S = OPT O = 60477 T = 0.71 (out)(err) |
S = OPT O = 60477 T = 939.64 (out)(err) |
S = OPT O = 60477 T = 1137.77 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_120_0000.txt.wcnf | S = OPT O = 77836 T = 0.98 |
S = OPT O = 77836 T = 1.29 (out)(err) |
S = OPT O = 77836 T = 194.57 (out)(err) |
S = OPT O = 77836 T = 194.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 77836 T = 0.98 (out)(err) |
S = OPT O = 77836 T = 1.29 (out)(err) |
S = N/A O = 78157 T = TO (out)(err) |
S = N/A O = 78166 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_120_0001.txt.wcnf | S = OPT O = 66708 T = 2.20 |
S = OPT O = 66708 T = 4.46 (out)(err) |
S = OPT O = 66708 T = 197.65 (out)(err) |
S = OPT O = 66708 T = 196.97 (out)(err) |
S = OPT O = 66708 T = 38.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 66708 T = 2.20 (out)(err) |
S = OPT O = 66708 T = 2.54 (out)(err) |
S = N/A O = 66708 T = TO (out)(err) |
S = N/A O = 66708 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_120_0002.txt.wcnf | S = OPT O = 73372 T = 1.70 |
S = OPT O = 73372 T = 2.01 (out)(err) |
S = OPT O = 73372 T = 87.46 (out)(err) |
S = OPT O = 73372 T = 88.23 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 73372 T = 1.70 (out)(err) |
S = OPT O = 73372 T = 2.07 (out)(err) |
S = N/A O = 73372 T = TO (out)(err) |
S = N/A O = 73383 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_120_0003.txt.wcnf | S = OPT O = 74335 T = 0.30 |
S = OPT O = 74335 T = 0.30 (out)(err) |
S = OPT O = 74335 T = 112.67 (out)(err) |
S = OPT O = 74335 T = 112.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 74335 T = 0.35 (out)(err) |
S = OPT O = 74335 T = 0.44 (out)(err) |
S = N/A O = 74625 T = TO (out)(err) |
S = N/A O = 74643 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_120_0004.txt.wcnf | S = OPT O = 73582 T = 0.50 |
S = OPT O = 73582 T = 0.50 (out)(err) |
S = OPT O = 73582 T = 91.79 (out)(err) |
S = OPT O = 73582 T = 92.02 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 73582 T = 0.68 (out)(err) |
S = OPT O = 73582 T = 1.01 (out)(err) |
S = N/A O = 73582 T = TO (out)(err) |
S = N/A O = 73953 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_120_0005.txt.wcnf | S = OPT O = 79014 T = 1.00 |
S = OPT O = 79014 T = 1.57 (out)(err) |
S = OPT O = 79014 T = 207.46 (out)(err) |
S = OPT O = 79014 T = 208.68 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 79014 T = 1.00 (out)(err) |
S = OPT O = 79014 T = 1.37 (out)(err) |
S = N/A O = 79014 T = TO (out)(err) |
S = N/A O = 79014 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_120_0006.txt.wcnf | S = OPT O = 69173 T = 0.63 |
S = OPT O = 69173 T = 0.87 (out)(err) |
S = OPT O = 69173 T = 260.88 (out)(err) |
S = OPT O = 69173 T = 260.49 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.15 (out)(err) |
S = OPT O = 69173 T = 0.82 (out)(err) |
S = OPT O = 69173 T = 0.63 (out)(err) |
S = N/A O = 69306 T = TO (out)(err) |
S = N/A O = 69773 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_120_0007.txt.wcnf | S = OPT O = 73799 T = 1.17 |
S = OPT O = 73799 T = 1.46 (out)(err) |
S = OPT O = 73799 T = 290.68 (out)(err) |
S = OPT O = 73799 T = 288.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 73799 T = 1.17 (out)(err) |
S = OPT O = 73799 T = 1.54 (out)(err) |
S = N/A O = 74040 T = TO (out)(err) |
S = N/A O = 73956 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_130_0000.txt.wcnf | S = OPT O = 78708 T = 0.71 |
S = OPT O = 78708 T = 0.71 (out)(err) |
S = OPT O = 78708 T = 66.00 (out)(err) |
S = OPT O = 78708 T = 66.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 78708 T = 1.32 (out)(err) |
S = OPT O = 78708 T = 1.34 (out)(err) |
S = OPT O = 78708 T = 1086.48 (out)(err) |
S = N/A O = 78708 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_130_0001.txt.wcnf | S = OPT O = 80743 T = 4.56 |
S = OPT O = 80743 T = 4.94 (out)(err) |
S = OPT O = 80743 T = 304.14 (out)(err) |
S = OPT O = 80743 T = 302.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 80743 T = 4.56 (out)(err) |
S = OPT O = 80743 T = 5.36 (out)(err) |
S = N/A O = 80743 T = TO (out)(err) |
S = N/A O = 80743 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_130_0002.txt.wcnf | S = OPT O = 71385 T = 1.06 |
S = OPT O = 71385 T = 1.06 (out)(err) |
S = OPT O = 71385 T = 537.82 (out)(err) |
S = OPT O = 71385 T = 539.19 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 71385 T = 1.17 (out)(err) |
S = OPT O = 71385 T = 1.42 (out)(err) |
S = N/A O = 71737 T = TO (out)(err) |
S = N/A O = 71385 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_130_0003.txt.wcnf | S = OPT O = 86981 T = 1.98 |
S = OPT O = 86981 T = 3.50 (out)(err) |
S = OPT O = 86981 T = 297.20 (out)(err) |
S = OPT O = 86981 T = 298.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 86981 T = 1.98 (out)(err) |
S = OPT O = 86981 T = 2.37 (out)(err) |
S = N/A O = 87069 T = TO (out)(err) |
S = N/A O = 87820 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_130_0004.txt.wcnf | S = OPT O = 92310 T = 2.47 |
S = OPT O = 92310 T = 2.73 (out)(err) |
S = OPT O = 92310 T = 300.38 (out)(err) |
S = OPT O = 92310 T = 299.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 92310 T = 2.47 (out)(err) |
S = OPT O = 92310 T = 2.63 (out)(err) |
S = N/A O = 92770 T = TO (out)(err) |
S = N/A O = 92776 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_130_0005.txt.wcnf | S = OPT O = 74325 T = 0.73 |
S = OPT O = 74325 T = 0.73 (out)(err) |
S = OPT O = 74325 T = 503.69 (out)(err) |
S = OPT O = 74325 T = 503.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 74325 T = 1.33 (out)(err) |
S = OPT O = 74325 T = 1.40 (out)(err) |
S = N/A O = 74521 T = TO (out)(err) |
S = N/A O = 74910 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_130_0006.txt.wcnf | S = OPT O = 77394 T = 1.79 |
S = OPT O = 77394 T = 2.13 (out)(err) |
S = OPT O = 77394 T = 468.96 (out)(err) |
S = OPT O = 77394 T = 467.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 77394 T = 1.79 (out)(err) |
S = OPT O = 77394 T = 1.99 (out)(err) |
S = N/A O = 77394 T = TO (out)(err) |
S = N/A O = 77528 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_130_0007.txt.wcnf | S = OPT O = 73518 T = 1.16 |
S = OPT O = 73518 T = 1.49 (out)(err) |
S = OPT O = 73518 T = 96.91 (out)(err) |
S = OPT O = 73518 T = 95.17 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 73518 T = 1.16 (out)(err) |
S = OPT O = 73518 T = 1.30 (out)(err) |
S = N/A O = 73518 T = TO (out)(err) |
S = N/A O = 73518 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_140_0000.txt.wcnf | S = OPT O = 98394 T = 1.27 |
S = OPT O = 98394 T = 2.77 (out)(err) |
S = OPT O = 98394 T = 110.52 (out)(err) |
S = OPT O = 98394 T = 110.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 98394 T = 1.27 (out)(err) |
S = OPT O = 98394 T = 1.58 (out)(err) |
S = N/A O = 98394 T = TO (out)(err) |
S = N/A O = 98394 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_140_0001.txt.wcnf | S = OPT O = 97718 T = 1.97 |
S = OPT O = 97718 T = 1.97 (out)(err) |
S = OPT O = 97718 T = 359.47 (out)(err) |
S = OPT O = 97718 T = 360.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 97718 T = 2.09 (out)(err) |
S = OPT O = 97718 T = 2.33 (out)(err) |
S = N/A O = 98280 T = TO (out)(err) |
S = N/A O = 98791 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_140_0002.txt.wcnf | S = OPT O = 92818 T = 5.84 |
S = OPT O = 92818 T = 9.15 (out)(err) |
S = OPT O = 92818 T = 963.87 (out)(err) |
S = OPT O = 92818 T = 958.31 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 92818 T = 5.84 (out)(err) |
S = OPT O = 92818 T = 7.35 (out)(err) |
S = N/A O = 92835 T = TO (out)(err) |
S = N/A O = 93220 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_140_0003.txt.wcnf | S = OPT O = 92696 T = 2.67 |
S = OPT O = 92696 T = 3.88 (out)(err) |
S = OPT O = 92696 T = 734.11 (out)(err) |
S = OPT O = 92696 T = 741.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 92696 T = 2.67 (out)(err) |
S = OPT O = 92696 T = 3.20 (out)(err) |
S = N/A O = 92776 T = TO (out)(err) |
S = N/A O = 92904 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_140_0004.txt.wcnf | S = OPT O = 96711 T = 2.21 |
S = OPT O = 96711 T = 2.21 (out)(err) |
S = OPT O = 96711 T = 255.27 (out)(err) |
S = OPT O = 96711 T = 255.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 96711 T = 2.26 (out)(err) |
S = OPT O = 96711 T = 2.76 (out)(err) |
S = N/A O = 96861 T = TO (out)(err) |
S = N/A O = 97503 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_140_0005.txt.wcnf | S = OPT O = 102646 T = 5.17 |
S = OPT O = 102646 T = 7.38 (out)(err) |
S = OPT O = 102646 T = 228.02 (out)(err) |
S = OPT O = 102646 T = 222.80 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 102646 T = 5.60 (out)(err) |
S = OPT O = 102646 T = 5.17 (out)(err) |
S = N/A O = 102646 T = TO (out)(err) |
S = N/A O = 102653 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_140_0006.txt.wcnf | S = OPT O = 97369 T = 4.31 |
S = OPT O = 97369 T = 4.66 (out)(err) |
S = OPT O = 97369 T = 215.99 (out)(err) |
S = OPT O = 97369 T = 217.14 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 97369 T = 4.64 (out)(err) |
S = OPT O = 97369 T = 4.31 (out)(err) |
S = N/A O = 97787 T = TO (out)(err) |
S = N/A O = 97813 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_140_0007.txt.wcnf | S = OPT O = 85215 T = 1.79 |
S = OPT O = 85215 T = 1.92 (out)(err) |
S = OPT O = 85215 T = 735.01 (out)(err) |
S = OPT O = 85215 T = 732.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 85215 T = 1.79 (out)(err) |
S = OPT O = 85215 T = 2.36 (out)(err) |
S = N/A O = 85722 T = TO (out)(err) |
S = N/A O = 85673 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_150_0000.txt.wcnf | S = OPT O = 82179 T = 3.30 |
S = OPT O = 82179 T = 7.18 (out)(err) |
S = OPT O = 82179 T = 1367.61 (out)(err) |
S = OPT O = 82179 T = 1363.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 82179 T = 3.30 (out)(err) |
S = OPT O = 82179 T = 4.29 (out)(err) |
S = N/A O = 82630 T = TO (out)(err) |
S = N/A O = 82812 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_150_0001.txt.wcnf | S = OPT O = 92299 T = 6.49 |
S = OPT O = 92299 T = 7.15 (out)(err) |
S = OPT O = 92299 T = 197.75 (out)(err) |
S = OPT O = 92299 T = 198.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 92299 T = 6.51 (out)(err) |
S = OPT O = 92299 T = 6.49 (out)(err) |
S = N/A O = 92299 T = TO (out)(err) |
S = N/A O = 92299 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_150_0002.txt.wcnf | S = OPT O = 101547 T = 3.85 |
S = OPT O = 101547 T = 5.44 (out)(err) |
S = OPT O = 101547 T = 517.81 (out)(err) |
S = OPT O = 101547 T = 515.23 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 101547 T = 3.85 (out)(err) |
S = OPT O = 101547 T = 4.62 (out)(err) |
S = N/A O = 101624 T = TO (out)(err) |
S = N/A O = 101900 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_150_0003.txt.wcnf | S = OPT O = 106294 T = 12.89 |
S = OPT O = 106294 T = 16.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 106294 T = 17.66 (out)(err) |
S = OPT O = 106294 T = 12.89 (out)(err) |
S = N/A O = 106473 T = TO (out)(err) |
S = N/A O = 106811 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_150_0004.txt.wcnf | S = OPT O = 93389 T = 5.38 |
S = OPT O = 93389 T = 8.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 93389 T = 5.38 (out)(err) |
S = OPT O = 93389 T = 5.82 (out)(err) |
S = N/A O = 93679 T = TO (out)(err) |
S = N/A O = 93799 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_150_0005.txt.wcnf | S = OPT O = 112036 T = 7.46 |
S = OPT O = 112036 T = 13.24 (out)(err) |
S = OPT O = 112036 T = 501.51 (out)(err) |
S = OPT O = 112036 T = 500.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 112036 T = 7.90 (out)(err) |
S = OPT O = 112036 T = 7.46 (out)(err) |
S = N/A O = 112044 T = TO (out)(err) |
S = N/A O = 112336 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_150_0006.txt.wcnf | S = OPT O = 86848 T = 5.08 |
S = OPT O = 86848 T = 8.62 (out)(err) |
S = OPT O = 86848 T = 957.95 (out)(err) |
S = OPT O = 86848 T = 950.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 86848 T = 5.08 (out)(err) |
S = OPT O = 86848 T = 6.40 (out)(err) |
S = N/A O = 87075 T = TO (out)(err) |
S = N/A O = 87344 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_150_0007.txt.wcnf | S = OPT O = 110670 T = 6.66 |
S = OPT O = 110670 T = 9.72 (out)(err) |
S = OPT O = 110670 T = 1151.08 (out)(err) |
S = OPT O = 110670 T = 1148.16 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 110670 T = 6.66 (out)(err) |
S = OPT O = 110670 T = 9.07 (out)(err) |
S = N/A O = 110988 T = TO (out)(err) |
S = N/A O = 111191 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_160_0000.txt.wcnf | S = OPT O = 104199 T = 4.29 |
S = OPT O = 104199 T = 7.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 104199 T = 4.29 (out)(err) |
S = OPT O = 104199 T = 4.63 (out)(err) |
S = N/A O = 105216 T = TO (out)(err) |
S = N/A O = 105325 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_160_0001.txt.wcnf | S = OPT O = 99297 T = 2.93 |
S = OPT O = 99297 T = 2.93 (out)(err) |
S = OPT O = 99297 T = 1406.83 (out)(err) |
S = OPT O = 99297 T = 1418.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 99297 T = 5.03 (out)(err) |
S = OPT O = 99297 T = 4.00 (out)(err) |
S = N/A O = 99929 T = TO (out)(err) |
S = N/A O = 100080 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_160_0002.txt.wcnf | S = OPT O = 102352 T = 11.61 |
S = OPT O = 102352 T = 11.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 102352 T = 12.21 (out)(err) |
S = OPT O = 102352 T = 14.12 (out)(err) |
S = N/A O = 103170 T = TO (out)(err) |
S = N/A O = 103199 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_160_0003.txt.wcnf | S = OPT O = 107262 T = 20.07 |
S = OPT O = 107262 T = 27.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 107262 T = 20.07 (out)(err) |
S = OPT O = 107262 T = 20.42 (out)(err) |
S = N/A O = 107969 T = TO (out)(err) |
S = N/A O = 107709 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_160_0004.txt.wcnf | S = OPT O = 102901 T = 10.46 |
S = OPT O = 102901 T = 13.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 102901 T = 10.46 (out)(err) |
S = OPT O = 102901 T = 11.07 (out)(err) |
S = N/A O = 102999 T = TO (out)(err) |
S = N/A O = 103174 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_160_0005.txt.wcnf | S = OPT O = 121967 T = 24.00 |
S = OPT O = 121967 T = 33.16 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 121967 T = 28.81 (out)(err) |
S = OPT O = 121967 T = 24.00 (out)(err) |
S = N/A O = 122993 T = TO (out)(err) |
S = N/A O = 123590 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_160_0006.txt.wcnf | S = OPT O = 95039 T = 27.07 |
S = OPT O = 95039 T = 29.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 95039 T = 27.07 (out)(err) |
S = OPT O = 95039 T = 28.10 (out)(err) |
S = N/A O = 95427 T = TO (out)(err) |
S = N/A O = 95644 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_160_0007.txt.wcnf | S = OPT O = 103455 T = 18.11 |
S = OPT O = 103455 T = 23.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 103455 T = 18.28 (out)(err) |
S = OPT O = 103455 T = 18.11 (out)(err) |
S = N/A O = 104211 T = TO (out)(err) |
S = N/A O = 103744 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_170_0000.txt.wcnf | S = OPT O = 122170 T = 31.90 |
S = OPT O = 122170 T = 52.31 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 122170 T = 31.90 (out)(err) |
S = OPT O = 122170 T = 33.71 (out)(err) |
S = N/A O = 122412 T = TO (out)(err) |
S = N/A O = 122782 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_170_0003.txt.wcnf | S = OPT O = 122748 T = 11.63 |
S = OPT O = 122748 T = 12.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 122748 T = 11.63 (out)(err) |
S = OPT O = 122748 T = 12.49 (out)(err) |
S = N/A O = 123452 T = TO (out)(err) |
S = N/A O = 123328 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_170_0004.txt.wcnf | S = OPT O = 99105 T = 18.78 |
S = OPT O = 99105 T = 50.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 99105 T = 18.78 (out)(err) |
S = OPT O = 99105 T = 20.99 (out)(err) |
S = N/A O = 99541 T = TO (out)(err) |
S = N/A O = 99613 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_170_0005.txt.wcnf | S = OPT O = 114493 T = 49.01 |
S = OPT O = 114493 T = 186.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 114493 T = 55.37 (out)(err) |
S = OPT O = 114493 T = 49.01 (out)(err) |
S = N/A O = 115169 T = TO (out)(err) |
S = N/A O = 114990 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_170_0006.txt.wcnf | S = OPT O = 101774 T = 18.39 |
S = OPT O = 101774 T = 25.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 101774 T = 18.39 (out)(err) |
S = OPT O = 101774 T = 20.84 (out)(err) |
S = N/A O = 102036 T = TO (out)(err) |
S = N/A O = 102648 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_170_0007.txt.wcnf | S = OPT O = 94165 T = 12.68 |
S = OPT O = 94165 T = 26.63 (out)(err) |
S = N/A O = 94165 T = TO (out)(err) |
S = N/A O = 94165 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 94165 T = 14.50 (out)(err) |
S = OPT O = 94165 T = 12.68 (out)(err) |
S = N/A O = 94323 T = TO (out)(err) |
S = N/A O = 94417 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_70_0000.txt.wcnf | S = OPT O = 48609 T = 0.01 |
S = OPT O = 48609 T = 0.01 (out)(err) |
S = OPT O = 48609 T = 0.23 (out)(err) |
S = OPT O = 48609 T = 0.23 (out)(err) |
S = OPT O = 48609 T = 0.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 48609 T = 0.02 (out)(err) |
S = OPT O = 48609 T = 0.11 (out)(err) |
S = OPT O = 48609 T = 1.05 (out)(err) |
S = OPT O = 48609 T = 8.62 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_70_0001.txt.wcnf | S = OPT O = 40870 T = 0.02 |
S = OPT O = 40870 T = 0.02 (out)(err) |
S = OPT O = 40870 T = 1.31 (out)(err) |
S = OPT O = 40870 T = 1.34 (out)(err) |
S = OPT O = 40870 T = 0.31 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 40870 T = 0.03 (out)(err) |
S = OPT O = 40870 T = 0.11 (out)(err) |
S = OPT O = 40870 T = 15.81 (out)(err) |
S = OPT O = 40870 T = 58.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_70_0002.txt.wcnf | S = OPT O = 38495 T = 0.03 |
S = OPT O = 38495 T = 0.03 (out)(err) |
S = OPT O = 38495 T = 0.27 (out)(err) |
S = OPT O = 38495 T = 0.27 (out)(err) |
S = OPT O = 38495 T = 0.68 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 38495 T = 0.05 (out)(err) |
S = OPT O = 38495 T = 0.12 (out)(err) |
S = OPT O = 38495 T = 1.25 (out)(err) |
S = OPT O = 38495 T = 10.87 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_70_0003.txt.wcnf | S = OPT O = 44555 T = 0.09 |
S = OPT O = 44555 T = 0.09 (out)(err) |
S = OPT O = 44555 T = 0.67 (out)(err) |
S = OPT O = 44555 T = 0.67 (out)(err) |
S = OPT O = 44555 T = 0.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 44555 T = 0.09 (out)(err) |
S = OPT O = 44555 T = 0.18 (out)(err) |
S = OPT O = 44555 T = 3.97 (out)(err) |
S = OPT O = 44555 T = 26.11 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_70_0004.txt.wcnf | S = OPT O = 33405 T = 0.01 |
S = OPT O = 33405 T = 0.01 (out)(err) |
S = OPT O = 33405 T = 0.33 (out)(err) |
S = OPT O = 33405 T = 0.33 (out)(err) |
S = OPT O = 33405 T = 0.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 33405 T = 0.02 (out)(err) |
S = OPT O = 33405 T = 0.09 (out)(err) |
S = OPT O = 33405 T = 1.96 (out)(err) |
S = OPT O = 33405 T = 10.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_70_0005.txt.wcnf | S = OPT O = 42222 T = 0.03 |
S = OPT O = 42222 T = 0.03 (out)(err) |
S = OPT O = 42222 T = 0.29 (out)(err) |
S = OPT O = 42222 T = 0.29 (out)(err) |
S = OPT O = 42222 T = 0.45 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 42222 T = 0.07 (out)(err) |
S = OPT O = 42222 T = 0.16 (out)(err) |
S = OPT O = 42222 T = 1.47 (out)(err) |
S = OPT O = 42222 T = 9.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_70_0006.txt.wcnf | S = OPT O = 44103 T = 0.04 |
S = OPT O = 44103 T = 0.04 (out)(err) |
S = OPT O = 44103 T = 0.70 (out)(err) |
S = OPT O = 44103 T = 0.70 (out)(err) |
S = OPT O = 44103 T = 0.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 44103 T = 0.06 (out)(err) |
S = OPT O = 44103 T = 0.13 (out)(err) |
S = OPT O = 44103 T = 5.62 (out)(err) |
S = OPT O = 44103 T = 32.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_70_0007.txt.wcnf | S = OPT O = 43384 T = 0.02 |
S = OPT O = 43384 T = 0.02 (out)(err) |
S = OPT O = 43384 T = 0.45 (out)(err) |
S = OPT O = 43384 T = 0.45 (out)(err) |
S = OPT O = 43384 T = 0.35 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 43384 T = 0.03 (out)(err) |
S = OPT O = 43384 T = 0.13 (out)(err) |
S = OPT O = 43384 T = 2.54 (out)(err) |
S = OPT O = 43384 T = 17.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_80_0000.txt.wcnf | S = OPT O = 46604 T = 0.05 |
S = OPT O = 46604 T = 0.05 (out)(err) |
S = OPT O = 46604 T = 0.84 (out)(err) |
S = OPT O = 46604 T = 0.85 (out)(err) |
S = OPT O = 46604 T = 8.10 (out)(err) |
S = N/A O = N/A T = 0.20 (out)(err) |
S = OPT O = 46604 T = 0.09 (out)(err) |
S = OPT O = 46604 T = 0.18 (out)(err) |
S = OPT O = 46604 T = 6.19 (out)(err) |
S = OPT O = 46604 T = 34.75 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_80_0001.txt.wcnf | S = OPT O = 43891 T = 0.03 |
S = OPT O = 43891 T = 0.03 (out)(err) |
S = OPT O = 43891 T = 1.14 (out)(err) |
S = OPT O = 43891 T = 1.15 (out)(err) |
S = OPT O = 43891 T = 5.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 43891 T = 0.04 (out)(err) |
S = OPT O = 43891 T = 0.13 (out)(err) |
S = OPT O = 43891 T = 4.37 (out)(err) |
S = OPT O = 43891 T = 31.69 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_80_0002.txt.wcnf | S = OPT O = 45128 T = 0.02 |
S = OPT O = 45128 T = 0.02 (out)(err) |
S = OPT O = 45128 T = 0.57 (out)(err) |
S = OPT O = 45128 T = 0.58 (out)(err) |
S = OPT O = 45128 T = 0.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 45128 T = 0.03 (out)(err) |
S = OPT O = 45128 T = 0.12 (out)(err) |
S = OPT O = 45128 T = 3.25 (out)(err) |
S = OPT O = 45128 T = 20.47 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_80_0003.txt.wcnf | S = OPT O = 51870 T = 0.07 |
S = OPT O = 51870 T = 0.07 (out)(err) |
S = OPT O = 51870 T = 2.79 (out)(err) |
S = OPT O = 51870 T = 2.79 (out)(err) |
S = OPT O = 51870 T = 7.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 51870 T = 0.13 (out)(err) |
S = OPT O = 51870 T = 0.20 (out)(err) |
S = OPT O = 51870 T = 21.15 (out)(err) |
S = OPT O = 51870 T = 92.55 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_80_0004.txt.wcnf | S = OPT O = 46183 T = 0.03 |
S = OPT O = 46183 T = 0.03 (out)(err) |
S = OPT O = 46183 T = 0.30 (out)(err) |
S = OPT O = 46183 T = 0.30 (out)(err) |
S = OPT O = 46183 T = 62.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 46183 T = 0.05 (out)(err) |
S = OPT O = 46183 T = 0.15 (out)(err) |
S = OPT O = 46183 T = 1.20 (out)(err) |
S = OPT O = 46183 T = 8.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_80_0005.txt.wcnf | S = OPT O = 57352 T = 0.03 |
S = OPT O = 57352 T = 0.03 (out)(err) |
S = OPT O = 57352 T = 0.59 (out)(err) |
S = OPT O = 57352 T = 0.58 (out)(err) |
S = OPT O = 57352 T = 4.80 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 57352 T = 0.07 (out)(err) |
S = OPT O = 57352 T = 0.16 (out)(err) |
S = OPT O = 57352 T = 4.17 (out)(err) |
S = OPT O = 57352 T = 34.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_80_0006.txt.wcnf | S = OPT O = 54851 T = 0.05 |
S = OPT O = 54851 T = 0.05 (out)(err) |
S = OPT O = 54851 T = 2.33 (out)(err) |
S = OPT O = 54851 T = 2.32 (out)(err) |
S = OPT O = 54851 T = 0.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 54851 T = 0.08 (out)(err) |
S = OPT O = 54851 T = 0.18 (out)(err) |
S = OPT O = 54851 T = 27.45 (out)(err) |
S = OPT O = 54851 T = 99.32 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_80_0007.txt.wcnf | S = OPT O = 53183 T = 0.11 |
S = OPT O = 53183 T = 0.11 (out)(err) |
S = OPT O = 53183 T = 1.95 (out)(err) |
S = OPT O = 53183 T = 1.95 (out)(err) |
S = OPT O = 53183 T = 2.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 53183 T = 0.17 (out)(err) |
S = OPT O = 53183 T = 0.28 (out)(err) |
S = OPT O = 53183 T = 14.68 (out)(err) |
S = OPT O = 53183 T = 75.34 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_90_0000.txt.wcnf | S = OPT O = 51257 T = 0.14 |
S = OPT O = 51257 T = 0.14 (out)(err) |
S = OPT O = 51257 T = 4.31 (out)(err) |
S = OPT O = 51257 T = 4.32 (out)(err) |
S = OPT O = 51257 T = 128.72 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 51257 T = 0.19 (out)(err) |
S = OPT O = 51257 T = 0.23 (out)(err) |
S = OPT O = 51257 T = 58.85 (out)(err) |
S = OPT O = 51257 T = 124.89 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_90_0001.txt.wcnf | S = OPT O = 67562 T = 0.18 |
S = OPT O = 67562 T = 0.19 (out)(err) |
S = OPT O = 67562 T = 10.28 (out)(err) |
S = OPT O = 67562 T = 10.28 (out)(err) |
S = OPT O = 67562 T = 3.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 67562 T = 0.18 (out)(err) |
S = OPT O = 67562 T = 0.29 (out)(err) |
S = OPT O = 67562 T = 171.39 (out)(err) |
S = OPT O = 67562 T = 298.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_90_0002.txt.wcnf | S = OPT O = 66497 T = 0.14 |
S = OPT O = 66497 T = 0.14 (out)(err) |
S = OPT O = 66497 T = 1.26 (out)(err) |
S = OPT O = 66497 T = 1.26 (out)(err) |
S = OPT O = 66497 T = 172.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 66497 T = 0.27 (out)(err) |
S = OPT O = 66497 T = 0.39 (out)(err) |
S = OPT O = 66497 T = 8.41 (out)(err) |
S = OPT O = 66497 T = 34.89 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_90_0003.txt.wcnf | S = OPT O = 46882 T = 0.10 |
S = OPT O = 46882 T = 0.10 (out)(err) |
S = OPT O = 46882 T = 5.96 (out)(err) |
S = OPT O = 46882 T = 5.99 (out)(err) |
S = OPT O = 46882 T = 29.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 46882 T = 0.13 (out)(err) |
S = OPT O = 46882 T = 0.27 (out)(err) |
S = OPT O = 46882 T = 79.35 (out)(err) |
S = OPT O = 46882 T = 198.08 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_90_0004.txt.wcnf | S = OPT O = 56174 T = 0.07 |
S = OPT O = 56174 T = 0.07 (out)(err) |
S = OPT O = 56174 T = 4.60 (out)(err) |
S = OPT O = 56174 T = 4.64 (out)(err) |
S = OPT O = 56174 T = 3.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 56174 T = 0.08 (out)(err) |
S = OPT O = 56174 T = 0.19 (out)(err) |
S = OPT O = 56174 T = 55.18 (out)(err) |
S = OPT O = 56174 T = 129.60 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_90_0005.txt.wcnf | S = OPT O = 63761 T = 0.14 |
S = OPT O = 63761 T = 0.23 (out)(err) |
S = OPT O = 63761 T = 11.41 (out)(err) |
S = OPT O = 63761 T = 11.42 (out)(err) |
S = OPT O = 63761 T = 0.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 63761 T = 0.14 (out)(err) |
S = OPT O = 63761 T = 0.26 (out)(err) |
S = OPT O = 63761 T = 134.80 (out)(err) |
S = OPT O = 63761 T = 413.21 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_paths_60_90_0006.txt.wcnf | S = OPT O = 47852 T = 0.14 |
S = OPT O = 47852 T = 0.14 (out)(err) |
S = OPT O = 47852 T = 4.77 (out)(err) |
S = OPT O = 47852 T = 4.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 47852 T = 0.14 (out)(err) |
S = OPT O = 47852 T = 0.25 (out)(err) |
S = OPT O = 47852 T = 50.81 (out)(err) |
S = OPT O = 47852 T = 174.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_paths_60_90_0007.txt.wcnf | S = OPT O = 58739 T = 0.21 |
S = OPT O = 58739 T = 0.21 (out)(err) |
S = OPT O = 58739 T = 6.37 (out)(err) |
S = OPT O = 58739 T = 6.34 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 58739 T = 0.25 (out)(err) |
S = OPT O = 58739 T = 0.39 (out)(err) |
S = OPT O = 58739 T = 62.51 (out)(err) |
S = OPT O = 58739 T = 154.41 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_100_0000.txt.wcnf | S = OPT O = 114652 T = 1.38 |
S = OPT O = 114652 T = 7.54 (out)(err) |
S = OPT O = 114652 T = 1.63 (out)(err) |
S = OPT O = 114652 T = 1.62 (out)(err) |
S = OPT O = 114652 T = 1.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 114652 T = 5.30 (out)(err) |
S = OPT O = 114652 T = 8.65 (out)(err) |
S = OPT O = 114652 T = 4.53 (out)(err) |
S = OPT O = 114652 T = 34.57 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_100_0001.txt.wcnf | S = OPT O = 93703 T = 0.16 |
S = OPT O = 93703 T = 0.50 (out)(err) |
S = OPT O = 93703 T = 0.21 (out)(err) |
S = OPT O = 93703 T = 0.22 (out)(err) |
S = OPT O = 93703 T = 1.10 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 93703 T = 0.46 (out)(err) |
S = OPT O = 93703 T = 0.97 (out)(err) |
S = OPT O = 93703 T = 0.16 (out)(err) |
S = OPT O = 93703 T = 2.17 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_100_0002.txt.wcnf | S = OPT O = 132213 T = 0.21 |
S = OPT O = 132213 T = 0.85 (out)(err) |
S = OPT O = 132213 T = 0.21 (out)(err) |
S = OPT O = 132213 T = 0.21 (out)(err) |
S = OPT O = 132213 T = 1.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 132213 T = 0.61 (out)(err) |
S = OPT O = 132213 T = 1.22 (out)(err) |
S = OPT O = 132213 T = 0.28 (out)(err) |
S = OPT O = 132213 T = 3.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_100_0003.txt.wcnf | S = OPT O = 77536 T = 1.05 |
S = OPT O = 77536 T = 4.13 (out)(err) |
S = OPT O = 77536 T = 1.05 (out)(err) |
S = OPT O = 77536 T = 1.05 (out)(err) |
S = OPT O = 77536 T = 1.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 77536 T = 1.81 (out)(err) |
S = OPT O = 77536 T = 2.87 (out)(err) |
S = OPT O = 77536 T = 3.27 (out)(err) |
S = OPT O = 77536 T = 30.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_100_0004.txt.wcnf | S = OPT O = 60696 T = 0.13 |
S = OPT O = 60696 T = 0.46 (out)(err) |
S = OPT O = 60696 T = 0.13 (out)(err) |
S = OPT O = 60696 T = 0.13 (out)(err) |
S = OPT O = 60696 T = 1.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 60696 T = 0.55 (out)(err) |
S = OPT O = 60696 T = 1.07 (out)(err) |
S = OPT O = 60696 T = 0.14 (out)(err) |
S = OPT O = 60696 T = 2.17 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_100_0005.txt.wcnf | S = OPT O = 56308 T = 0.67 |
S = OPT O = 56308 T = 1.09 (out)(err) |
S = OPT O = 56308 T = 0.67 (out)(err) |
S = OPT O = 56308 T = 0.67 (out)(err) |
S = OPT O = 56308 T = 0.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 56308 T = 0.98 (out)(err) |
S = OPT O = 56308 T = 1.39 (out)(err) |
S = OPT O = 56308 T = 1.49 (out)(err) |
S = OPT O = 56308 T = 15.95 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_110_0000.txt.wcnf | S = OPT O = 82948 T = 2.09 |
S = OPT O = 82948 T = 6.89 (out)(err) |
S = OPT O = 82948 T = 3.21 (out)(err) |
S = OPT O = 82948 T = 3.23 (out)(err) |
S = OPT O = 82948 T = 2.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 82948 T = 7.14 (out)(err) |
S = OPT O = 82948 T = 8.42 (out)(err) |
S = OPT O = 82948 T = 4.98 (out)(err) |
S = OPT O = 82948 T = 55.59 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_110_0001.txt.wcnf | S = OPT O = 73693 T = 1.24 |
S = OPT O = 73693 T = 3.87 (out)(err) |
S = OPT O = 73693 T = 1.90 (out)(err) |
S = OPT O = 73693 T = 1.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 73693 T = 1.88 (out)(err) |
S = OPT O = 73693 T = 2.22 (out)(err) |
S = OPT O = 73693 T = 1.24 (out)(err) |
S = OPT O = 73693 T = 14.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_110_0002.txt.wcnf | S = OPT O = 80642 T = 0.92 |
S = OPT O = 80642 T = 3.49 (out)(err) |
S = OPT O = 80642 T = 0.94 (out)(err) |
S = OPT O = 80642 T = 0.92 (out)(err) |
S = OPT O = 80642 T = 1.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 80642 T = 2.64 (out)(err) |
S = OPT O = 80642 T = 3.32 (out)(err) |
S = OPT O = 80642 T = 1.90 (out)(err) |
S = OPT O = 80642 T = 21.66 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_110_0003.txt.wcnf | S = OPT O = 96555 T = 0.96 |
S = OPT O = 96555 T = 6.10 (out)(err) |
S = OPT O = 96555 T = 3.35 (out)(err) |
S = OPT O = 96555 T = 3.35 (out)(err) |
S = OPT O = 96555 T = 0.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 96555 T = 6.16 (out)(err) |
S = OPT O = 96555 T = 6.57 (out)(err) |
S = OPT O = 96555 T = 3.60 (out)(err) |
S = OPT O = 96555 T = 36.89 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_110_0004.txt.wcnf | S = OPT O = 79464 T = 0.93 |
S = OPT O = 79464 T = 3.55 (out)(err) |
S = OPT O = 79464 T = 1.35 (out)(err) |
S = OPT O = 79464 T = 1.36 (out)(err) |
S = OPT O = 79464 T = 0.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 79464 T = 2.85 (out)(err) |
S = OPT O = 79464 T = 4.28 (out)(err) |
S = OPT O = 79464 T = 3.21 (out)(err) |
S = OPT O = 79464 T = 24.04 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_110_0005.txt.wcnf | S = OPT O = 75228 T = 0.54 |
S = OPT O = 75228 T = 1.67 (out)(err) |
S = OPT O = 75228 T = 0.54 (out)(err) |
S = OPT O = 75228 T = 0.54 (out)(err) |
S = OPT O = 75228 T = 1.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 75228 T = 2.02 (out)(err) |
S = OPT O = 75228 T = 2.91 (out)(err) |
S = OPT O = 75228 T = 1.29 (out)(err) |
S = OPT O = 75228 T = 13.85 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_120_0000.txt.wcnf | S = OPT O = 94786 T = 3.00 |
S = OPT O = 94786 T = 23.59 (out)(err) |
S = OPT O = 94786 T = 3.84 (out)(err) |
S = OPT O = 94786 T = 3.81 (out)(err) |
S = OPT O = 94786 T = 3.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 94786 T = 11.42 (out)(err) |
S = OPT O = 94786 T = 16.60 (out)(err) |
S = OPT O = 94786 T = 13.98 (out)(err) |
S = OPT O = 94786 T = 135.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_120_0001.txt.wcnf | S = OPT O = 113216 T = 3.34 |
S = OPT O = 113216 T = 65.55 (out)(err) |
S = OPT O = 113216 T = 42.26 (out)(err) |
S = OPT O = 113216 T = 41.95 (out)(err) |
S = OPT O = 113216 T = 3.34 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 113216 T = 92.48 (out)(err) |
S = OPT O = 113216 T = 102.28 (out)(err) |
S = OPT O = 113216 T = 90.84 (out)(err) |
S = OPT O = 113216 T = 559.84 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_120_0002.txt.wcnf | S = OPT O = 78795 T = 2.55 |
S = OPT O = 78795 T = 5.33 (out)(err) |
S = OPT O = 78795 T = 3.25 (out)(err) |
S = OPT O = 78795 T = 3.24 (out)(err) |
S = OPT O = 78795 T = 2.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 78795 T = 8.04 (out)(err) |
S = OPT O = 78795 T = 5.88 (out)(err) |
S = OPT O = 78795 T = 4.37 (out)(err) |
S = OPT O = 78795 T = 38.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_120_0003.txt.wcnf | S = OPT O = 101400 T = 1.60 |
S = OPT O = 101400 T = 10.62 (out)(err) |
S = OPT O = 101400 T = 6.61 (out)(err) |
S = OPT O = 101400 T = 6.61 (out)(err) |
S = OPT O = 101400 T = 1.60 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 101400 T = 10.24 (out)(err) |
S = OPT O = 101400 T = 12.64 (out)(err) |
S = OPT O = 101400 T = 7.77 (out)(err) |
S = OPT O = 101400 T = 62.42 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_120_0004.txt.wcnf | S = OPT O = 82385 T = 3.60 |
S = OPT O = 82385 T = 10.85 (out)(err) |
S = OPT O = 82385 T = 3.64 (out)(err) |
S = OPT O = 82385 T = 3.60 (out)(err) |
S = OPT O = 82385 T = 17.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 82385 T = 9.65 (out)(err) |
S = OPT O = 82385 T = 8.78 (out)(err) |
S = OPT O = 82385 T = 5.26 (out)(err) |
S = OPT O = 82385 T = 68.20 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_120_0005.txt.wcnf | S = OPT O = 170793 T = 1.31 |
S = OPT O = 170793 T = 17.56 (out)(err) |
S = OPT O = 170793 T = 7.71 (out)(err) |
S = OPT O = 170793 T = 7.68 (out)(err) |
S = OPT O = 170793 T = 1.31 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 170793 T = 9.57 (out)(err) |
S = OPT O = 170793 T = 15.23 (out)(err) |
S = OPT O = 170793 T = 34.73 (out)(err) |
S = OPT O = 170793 T = 164.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_130_0000.txt.wcnf | S = OPT O = 108599 T = 2.94 |
S = OPT O = 108599 T = 27.88 (out)(err) |
S = OPT O = 108599 T = 6.11 (out)(err) |
S = OPT O = 108599 T = 6.08 (out)(err) |
S = OPT O = 108599 T = 2.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 108599 T = 18.16 (out)(err) |
S = OPT O = 108599 T = 20.78 (out)(err) |
S = OPT O = 108599 T = 42.47 (out)(err) |
S = OPT O = 108599 T = 205.78 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_130_0001.txt.wcnf | S = OPT O = 71588 T = 5.52 |
S = OPT O = 71588 T = 18.46 (out)(err) |
S = OPT O = 71588 T = 5.56 (out)(err) |
S = OPT O = 71588 T = 5.52 (out)(err) |
S = OPT O = 71588 T = 12.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 71588 T = 9.62 (out)(err) |
S = OPT O = 71588 T = 9.02 (out)(err) |
S = OPT O = 71588 T = 28.61 (out)(err) |
S = OPT O = 71588 T = 170.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_130_0002.txt.wcnf | S = OPT O = 81955 T = 2.19 |
S = OPT O = 81955 T = 16.55 (out)(err) |
S = OPT O = 81955 T = 24.69 (out)(err) |
S = OPT O = 81955 T = 24.61 (out)(err) |
S = OPT O = 81955 T = 2.19 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 81955 T = 31.24 (out)(err) |
S = OPT O = 81955 T = 12.56 (out)(err) |
S = OPT O = 81955 T = 25.57 (out)(err) |
S = OPT O = 81955 T = 264.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_130_0003.txt.wcnf | S = OPT O = 161231 T = 1.37 |
S = OPT O = 161231 T = 5.13 (out)(err) |
S = OPT O = 161231 T = 1.51 (out)(err) |
S = OPT O = 161231 T = 1.51 (out)(err) |
S = OPT O = 161231 T = 1.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 161231 T = 4.36 (out)(err) |
S = OPT O = 161231 T = 7.25 (out)(err) |
S = OPT O = 161231 T = 3.75 (out)(err) |
S = OPT O = 161231 T = 34.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_130_0004.txt.wcnf | S = OPT O = 81678 T = 3.11 |
S = OPT O = 81678 T = 17.74 (out)(err) |
S = OPT O = 81678 T = 3.65 (out)(err) |
S = OPT O = 81678 T = 3.63 (out)(err) |
S = OPT O = 81678 T = 3.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 81678 T = 15.23 (out)(err) |
S = OPT O = 81678 T = 19.21 (out)(err) |
S = OPT O = 81678 T = 10.30 (out)(err) |
S = OPT O = 81678 T = 98.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_130_0005.txt.wcnf | S = OPT O = 137429 T = 1.44 |
S = OPT O = 137429 T = 11.32 (out)(err) |
S = OPT O = 137429 T = 3.38 (out)(err) |
S = OPT O = 137429 T = 3.38 (out)(err) |
S = OPT O = 137429 T = 1.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 137429 T = 5.54 (out)(err) |
S = OPT O = 137429 T = 7.14 (out)(err) |
S = OPT O = 137429 T = 17.58 (out)(err) |
S = OPT O = 137429 T = 79.03 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_140_0000.txt.wcnf | S = OPT O = 114104 T = 3.99 |
S = OPT O = 114104 T = 21.95 (out)(err) |
S = OPT O = 114104 T = 7.33 (out)(err) |
S = OPT O = 114104 T = 7.30 (out)(err) |
S = OPT O = 114104 T = 3.99 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 114104 T = 23.36 (out)(err) |
S = OPT O = 114104 T = 23.95 (out)(err) |
S = OPT O = 114104 T = 44.88 (out)(err) |
S = OPT O = 114104 T = 225.48 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_140_0001.txt.wcnf | S = OPT O = 122958 T = 5.77 |
S = OPT O = 122958 T = 12.54 (out)(err) |
S = OPT O = 122958 T = 5.80 (out)(err) |
S = OPT O = 122958 T = 5.77 (out)(err) |
S = OPT O = 122958 T = 20.42 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 122958 T = 11.30 (out)(err) |
S = OPT O = 122958 T = 9.98 (out)(err) |
S = OPT O = 122958 T = 13.30 (out)(err) |
S = OPT O = 122958 T = 104.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_140_0002.txt.wcnf | S = OPT O = 61273 T = 3.03 |
S = OPT O = 61273 T = 288.86 (out)(err) |
S = OPT O = 61273 T = 52.38 (out)(err) |
S = OPT O = 61273 T = 52.37 (out)(err) |
S = OPT O = 61273 T = 3.03 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 61273 T = 140.17 (out)(err) |
S = OPT O = 61273 T = 144.76 (out)(err) |
S = OPT O = 61273 T = 739.90 (out)(err) |
S = N/A O = 61273 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_140_0003.txt.wcnf | S = OPT O = 150048 T = 1.62 |
S = OPT O = 150048 T = 49.82 (out)(err) |
S = OPT O = 150048 T = 10.20 (out)(err) |
S = OPT O = 150048 T = 10.14 (out)(err) |
S = OPT O = 150048 T = 1.62 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 150048 T = 18.54 (out)(err) |
S = OPT O = 150048 T = 23.05 (out)(err) |
S = OPT O = 150048 T = 125.42 (out)(err) |
S = OPT O = 150048 T = 351.26 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_140_0004.txt.wcnf | S = OPT O = 86193 T = 2.87 |
S = OPT O = 86193 T = 462.06 (out)(err) |
S = OPT O = 86193 T = 139.26 (out)(err) |
S = OPT O = 86193 T = 138.77 (out)(err) |
S = OPT O = 86193 T = 2.87 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 86193 T = 573.22 (out)(err) |
S = OPT O = 86193 T = 675.83 (out)(err) |
S = OPT O = 86193 T = 1005.63 (out)(err) |
S = N/A O = 86193 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_140_0005.txt.wcnf | S = OPT O = 127199 T = 3.30 |
S = OPT O = 127199 T = 19.29 (out)(err) |
S = OPT O = 127199 T = 8.51 (out)(err) |
S = OPT O = 127199 T = 8.55 (out)(err) |
S = OPT O = 127199 T = 3.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 127199 T = 32.84 (out)(err) |
S = OPT O = 127199 T = 32.91 (out)(err) |
S = OPT O = 127199 T = 14.17 (out)(err) |
S = OPT O = 127199 T = 190.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_150_0000.txt.wcnf | S = OPT O = 137542 T = 2.48 |
S = OPT O = 137542 T = 11.23 (out)(err) |
S = OPT O = 137542 T = 2.49 (out)(err) |
S = OPT O = 137542 T = 2.48 (out)(err) |
S = OPT O = 137542 T = 2.67 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 137542 T = 7.94 (out)(err) |
S = OPT O = 137542 T = 12.75 (out)(err) |
S = OPT O = 137542 T = 5.57 (out)(err) |
S = OPT O = 137542 T = 67.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_150_0001.txt.wcnf | S = OPT O = 87430 T = 3.80 |
S = OPT O = 87430 T = 34.14 (out)(err) |
S = OPT O = 87430 T = 15.62 (out)(err) |
S = OPT O = 87430 T = 15.48 (out)(err) |
S = OPT O = 87430 T = 47.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 87430 T = 13.56 (out)(err) |
S = OPT O = 87430 T = 5.79 (out)(err) |
S = OPT O = 87430 T = 3.80 (out)(err) |
S = OPT O = 87430 T = 142.57 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_150_0002.txt.wcnf | S = OPT O = 50886 T = 2.26 |
S = OPT O = 50886 T = 17.77 (out)(err) |
S = OPT O = 50886 T = 5.09 (out)(err) |
S = OPT O = 50886 T = 5.08 (out)(err) |
S = OPT O = 50886 T = 2.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50886 T = 12.76 (out)(err) |
S = OPT O = 50886 T = 18.63 (out)(err) |
S = OPT O = 50886 T = 11.39 (out)(err) |
S = OPT O = 50886 T = 101.43 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_150_0003.txt.wcnf | S = OPT O = 85895 T = 3.50 |
S = OPT O = 85895 T = 80.84 (out)(err) |
S = OPT O = 85895 T = 30.35 (out)(err) |
S = OPT O = 85895 T = 30.49 (out)(err) |
S = OPT O = 85895 T = 3.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 85895 T = 80.27 (out)(err) |
S = OPT O = 85895 T = 102.01 (out)(err) |
S = OPT O = 85895 T = 132.01 (out)(err) |
S = OPT O = 85895 T = 548.10 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_150_0004.txt.wcnf | S = OPT O = 107684 T = 2.12 |
S = OPT O = 107684 T = 9.41 (out)(err) |
S = OPT O = 107684 T = 2.14 (out)(err) |
S = OPT O = 107684 T = 2.12 (out)(err) |
S = OPT O = 107684 T = 3.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 107684 T = 7.94 (out)(err) |
S = OPT O = 107684 T = 9.61 (out)(err) |
S = OPT O = 107684 T = 5.14 (out)(err) |
S = OPT O = 107684 T = 58.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_150_0005.txt.wcnf | S = OPT O = 153808 T = 48.82 |
S = OPT O = 153808 T = 108.67 (out)(err) |
S = OPT O = 153808 T = 62.65 (out)(err) |
S = OPT O = 153808 T = 62.49 (out)(err) |
S = OPT O = 153808 T = 48.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 153808 T = 87.53 (out)(err) |
S = OPT O = 153808 T = 72.97 (out)(err) |
S = OPT O = 153808 T = 240.47 (out)(err) |
S = OPT O = 153808 T = 1095.13 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_160_0000.txt.wcnf | S = OPT O = 42672 T = 5.33 |
S = OPT O = 42672 T = 14.66 (out)(err) |
S = OPT O = 42672 T = 5.37 (out)(err) |
S = OPT O = 42672 T = 5.33 (out)(err) |
S = OPT O = 42672 T = 8.10 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 42672 T = 14.67 (out)(err) |
S = OPT O = 42672 T = 8.23 (out)(err) |
S = OPT O = 42672 T = 5.53 (out)(err) |
S = OPT O = 42672 T = 77.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_160_0001.txt.wcnf | S = OPT O = 72012 T = 2.30 |
S = OPT O = 72012 T = 147.25 (out)(err) |
S = OPT O = 72012 T = 33.23 (out)(err) |
S = OPT O = 72012 T = 32.67 (out)(err) |
S = OPT O = 72012 T = 2.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 72012 T = 127.41 (out)(err) |
S = OPT O = 72012 T = 154.71 (out)(err) |
S = OPT O = 72012 T = 368.39 (out)(err) |
S = OPT O = 72012 T = 1344.14 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_160_0002.txt.wcnf | S = OPT O = 173386 T = 12.79 |
S = OPT O = 173386 T = 23.78 (out)(err) |
S = OPT O = 173386 T = 12.86 (out)(err) |
S = OPT O = 173386 T = 12.79 (out)(err) |
S = OPT O = 173386 T = 31.49 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 173386 T = 19.14 (out)(err) |
S = OPT O = 173386 T = 20.68 (out)(err) |
S = OPT O = 173386 T = 64.73 (out)(err) |
S = OPT O = 173386 T = 231.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_160_0003.txt.wcnf | S = OPT O = 118883 T = 4.37 |
S = OPT O = 118883 T = 18.86 (out)(err) |
S = OPT O = 118883 T = 7.66 (out)(err) |
S = OPT O = 118883 T = 7.63 (out)(err) |
S = OPT O = 118883 T = 4.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 118883 T = 15.27 (out)(err) |
S = OPT O = 118883 T = 20.50 (out)(err) |
S = OPT O = 118883 T = 43.91 (out)(err) |
S = OPT O = 118883 T = 179.10 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_160_0004.txt.wcnf | S = OPT O = 116193 T = 3.58 |
S = OPT O = 116193 T = 23.01 (out)(err) |
S = OPT O = 116193 T = 11.33 (out)(err) |
S = OPT O = 116193 T = 11.24 (out)(err) |
S = OPT O = 116193 T = 3.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 116193 T = 24.18 (out)(err) |
S = OPT O = 116193 T = 28.37 (out)(err) |
S = OPT O = 116193 T = 18.23 (out)(err) |
S = OPT O = 116193 T = 202.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_160_0005.txt.wcnf | S = OPT O = 117991 T = 1.59 |
S = OPT O = 117991 T = 87.04 (out)(err) |
S = OPT O = 117991 T = 19.25 (out)(err) |
S = OPT O = 117991 T = 19.02 (out)(err) |
S = OPT O = 117991 T = 1.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 117991 T = 30.05 (out)(err) |
S = OPT O = 117991 T = 41.60 (out)(err) |
S = OPT O = 117991 T = 237.54 (out)(err) |
S = OPT O = 117991 T = 760.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_170_0000.txt.wcnf | S = OPT O = 128737 T = 7.54 |
S = OPT O = 128737 T = 59.82 (out)(err) |
S = OPT O = 128737 T = 41.63 (out)(err) |
S = OPT O = 128737 T = 41.35 (out)(err) |
S = OPT O = 128737 T = 7.54 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 128737 T = 42.82 (out)(err) |
S = OPT O = 128737 T = 32.78 (out)(err) |
S = OPT O = 128737 T = 65.90 (out)(err) |
S = OPT O = 128737 T = 378.17 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_170_0001.txt.wcnf | S = OPT O = 62218 T = 193.52 |
S = OPT O = 62218 T = 916.14 (out)(err) |
S = OPT O = 62218 T = 282.73 (out)(err) |
S = OPT O = 62218 T = 282.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 62218 T = 625.39 (out)(err) |
S = OPT O = 62218 T = 193.52 (out)(err) |
S = OPT O = 62218 T = 1365.27 (out)(err) |
S = N/A O = 62218 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_170_0002.txt.wcnf | S = OPT O = 64664 T = 3.62 |
S = OPT O = 64664 T = 90.22 (out)(err) |
S = OPT O = 64664 T = 42.78 (out)(err) |
S = OPT O = 64664 T = 43.08 (out)(err) |
S = OPT O = 64664 T = 3.62 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 64664 T = 65.09 (out)(err) |
S = OPT O = 64664 T = 82.75 (out)(err) |
S = OPT O = 64664 T = 180.98 (out)(err) |
S = OPT O = 64664 T = 938.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_170_0003.txt.wcnf | S = OPT O = 169415 T = 3.24 |
S = OPT O = 169415 T = 237.93 (out)(err) |
S = OPT O = 169415 T = 57.67 (out)(err) |
S = OPT O = 169415 T = 57.31 (out)(err) |
S = OPT O = 169415 T = 3.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 169415 T = 123.82 (out)(err) |
S = OPT O = 169415 T = 104.74 (out)(err) |
S = OPT O = 169415 T = 690.63 (out)(err) |
S = OPT O = 169415 T = 1306.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_170_0004.txt.wcnf | S = OPT O = 132643 T = 3.57 |
S = OPT O = 132643 T = 52.17 (out)(err) |
S = OPT O = 132643 T = 19.86 (out)(err) |
S = OPT O = 132643 T = 19.71 (out)(err) |
S = OPT O = 132643 T = 3.57 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 132643 T = 40.06 (out)(err) |
S = OPT O = 132643 T = 53.56 (out)(err) |
S = OPT O = 132643 T = 171.52 (out)(err) |
S = OPT O = 132643 T = 581.13 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_170_0005.txt.wcnf | S = OPT O = 206173 T = 9.38 |
S = OPT O = 206173 T = 177.88 (out)(err) |
S = OPT O = 206173 T = 61.22 (out)(err) |
S = OPT O = 206173 T = 60.58 (out)(err) |
S = OPT O = 206173 T = 9.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 206173 T = 157.34 (out)(err) |
S = OPT O = 206173 T = 178.72 (out)(err) |
S = OPT O = 206173 T = 654.52 (out)(err) |
S = OPT O = 206173 T = 1244.76 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_180_0000.txt.wcnf | S = OPT O = 112247 T = 3.55 |
S = OPT O = 112247 T = 131.79 (out)(err) |
S = OPT O = 112247 T = 80.31 (out)(err) |
S = OPT O = 112247 T = 80.18 (out)(err) |
S = OPT O = 112247 T = 3.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 112247 T = 128.33 (out)(err) |
S = OPT O = 112247 T = 139.67 (out)(err) |
S = OPT O = 112247 T = 707.52 (out)(err) |
S = OPT O = 112247 T = 1211.92 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_180_0001.txt.wcnf | S = OPT O = 154599 T = 13.31 |
S = OPT O = 154599 T = 18.74 (out)(err) |
S = OPT O = 154599 T = 25.80 (out)(err) |
S = OPT O = 154599 T = 25.61 (out)(err) |
S = OPT O = 154599 T = 30.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 154599 T = 20.59 (out)(err) |
S = OPT O = 154599 T = 13.31 (out)(err) |
S = OPT O = 154599 T = 24.90 (out)(err) |
S = OPT O = 154599 T = 216.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_180_0002.txt.wcnf | S = OPT O = 95338 T = 6.20 |
S = OPT O = 95338 T = 673.27 (out)(err) |
S = OPT O = 95338 T = 219.06 (out)(err) |
S = OPT O = 95338 T = 218.90 (out)(err) |
S = OPT O = 95338 T = 6.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 95338 T = 553.81 (out)(err) |
S = OPT O = 95338 T = 828.81 (out)(err) |
S = OPT O = 95338 T = 1409.72 (out)(err) |
S = N/A O = 95338 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_180_0003.txt.wcnf | S = OPT O = 104416 T = 8.04 |
S = OPT O = 104416 T = 151.24 (out)(err) |
S = OPT O = 104416 T = 89.33 (out)(err) |
S = OPT O = 104416 T = 89.15 (out)(err) |
S = OPT O = 104416 T = 8.04 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 104416 T = 113.61 (out)(err) |
S = OPT O = 104416 T = 92.11 (out)(err) |
S = OPT O = 104416 T = 321.10 (out)(err) |
S = OPT O = 104416 T = 1145.76 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_180_0004.txt.wcnf | S = OPT O = 122528 T = 2.83 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 122528 T = 1389.67 (out)(err) |
S = OPT O = 122528 T = 1385.02 (out)(err) |
S = OPT O = 122528 T = 2.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 122528 T = 1185.66 (out)(err) |
S = OPT O = 122528 T = 997.10 (out)(err) |
S = N/A O = 122528 T = TO (out)(err) |
S = N/A O = 122528 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_180_0005.txt.wcnf | S = OPT O = 156974 T = 4.68 |
S = OPT O = 156974 T = 346.15 (out)(err) |
S = OPT O = 156974 T = 109.03 (out)(err) |
S = OPT O = 156974 T = 108.25 (out)(err) |
S = OPT O = 156974 T = 4.68 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 156974 T = 371.56 (out)(err) |
S = OPT O = 156974 T = 457.49 (out)(err) |
S = OPT O = 156974 T = 680.05 (out)(err) |
S = N/A O = 156974 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_190_0000.txt.wcnf | S = OPT O = 152878 T = 7.04 |
S = OPT O = 152878 T = 59.29 (out)(err) |
S = OPT O = 152878 T = 194.67 (out)(err) |
S = OPT O = 152878 T = 193.79 (out)(err) |
S = OPT O = 152878 T = 7.04 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 152878 T = 53.22 (out)(err) |
S = OPT O = 152878 T = 42.21 (out)(err) |
S = OPT O = 152878 T = 408.07 (out)(err) |
S = OPT O = 152878 T = 1704.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_190_0001.txt.wcnf | S = OPT O = 71645 T = 39.24 |
S = OPT O = 71645 T = 778.90 (out)(err) |
S = OPT O = 71645 T = 445.66 (out)(err) |
S = OPT O = 71645 T = 447.12 (out)(err) |
S = OPT O = 71645 T = 39.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 71645 T = 720.00 (out)(err) |
S = OPT O = 71645 T = 360.24 (out)(err) |
S = N/A O = 71645 T = TO (out)(err) |
S = N/A O = 71645 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_190_0002.txt.wcnf | S = OPT O = 90463 T = 36.92 |
S = OPT O = 90463 T = 378.70 (out)(err) |
S = OPT O = 90463 T = 454.37 (out)(err) |
S = OPT O = 90463 T = 453.54 (out)(err) |
S = OPT O = 90463 T = 36.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 90463 T = 469.44 (out)(err) |
S = OPT O = 90463 T = 240.79 (out)(err) |
S = N/A O = 90463 T = TO (out)(err) |
S = N/A O = 90463 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_190_0003.txt.wcnf | S = OPT O = 87812 T = 3.52 |
S = OPT O = 87812 T = 308.66 (out)(err) |
S = OPT O = 87812 T = 69.43 (out)(err) |
S = OPT O = 87812 T = 69.43 (out)(err) |
S = OPT O = 87812 T = 3.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 87812 T = 314.95 (out)(err) |
S = OPT O = 87812 T = 343.14 (out)(err) |
S = OPT O = 87812 T = 513.98 (out)(err) |
S = OPT O = 87812 T = 1743.83 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_190_0004.txt.wcnf | S = OPT O = 133679 T = 4.72 |
S = OPT O = 133679 T = 1543.96 (out)(err) |
S = OPT O = 133679 T = 337.80 (out)(err) |
S = OPT O = 133679 T = 335.69 (out)(err) |
S = OPT O = 133679 T = 4.72 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 133679 T = 1073.84 (out)(err) |
S = OPT O = 133679 T = 1194.48 (out)(err) |
S = N/A O = 133679 T = TO (out)(err) |
S = N/A O = 133679 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_190_0005.txt.wcnf | S = OPT O = 163308 T = 103.52 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 163308 T = 103.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 163308 T = 1202.43 (out)(err) |
S = OPT O = 163308 T = 659.23 (out)(err) |
S = N/A O = 163308 T = TO (out)(err) |
S = N/A O = 163308 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_200_0000.txt.wcnf | S = OPT O = 242832 T = 9.33 |
S = OPT O = 242832 T = 490.55 (out)(err) |
S = OPT O = 242832 T = 433.47 (out)(err) |
S = OPT O = 242832 T = 431.40 (out)(err) |
S = OPT O = 242832 T = 9.33 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 242832 T = 497.84 (out)(err) |
S = OPT O = 242832 T = 526.52 (out)(err) |
S = N/A O = 242832 T = TO (out)(err) |
S = N/A O = 242832 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_200_0001.txt.wcnf | S = OPT O = 46823 T = 2.88 |
S = OPT O = 46823 T = 290.93 (out)(err) |
S = OPT O = 46823 T = 151.00 (out)(err) |
S = OPT O = 46823 T = 151.09 (out)(err) |
S = OPT O = 46823 T = 2.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 46823 T = 344.15 (out)(err) |
S = OPT O = 46823 T = 368.31 (out)(err) |
S = OPT O = 46823 T = 934.21 (out)(err) |
S = N/A O = 46823 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_200_0002.txt.wcnf | S = OPT O = 145851 T = 8.29 |
S = OPT O = 145851 T = 273.49 (out)(err) |
S = OPT O = 145851 T = 97.44 (out)(err) |
S = OPT O = 145851 T = 97.19 (out)(err) |
S = OPT O = 145851 T = 8.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 145851 T = 276.19 (out)(err) |
S = OPT O = 145851 T = 337.02 (out)(err) |
S = OPT O = 145851 T = 517.57 (out)(err) |
S = OPT O = 145851 T = 1604.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_200_0003.txt.wcnf | S = OPT O = 187411 T = 5.60 |
S = OPT O = 187411 T = 75.04 (out)(err) |
S = OPT O = 187411 T = 44.69 (out)(err) |
S = OPT O = 187411 T = 44.45 (out)(err) |
S = OPT O = 187411 T = 5.60 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 187411 T = 102.69 (out)(err) |
S = OPT O = 187411 T = 104.03 (out)(err) |
S = OPT O = 187411 T = 198.80 (out)(err) |
S = OPT O = 187411 T = 460.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_200_0004.txt.wcnf | S = OPT O = 146947 T = 73.32 |
S = OPT O = 146947 T = 99.00 (out)(err) |
S = OPT O = 146947 T = 176.78 (out)(err) |
S = OPT O = 146947 T = 176.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 146947 T = 88.98 (out)(err) |
S = OPT O = 146947 T = 73.32 (out)(err) |
S = OPT O = 146947 T = 228.27 (out)(err) |
S = N/A O = 146947 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_200_0005.txt.wcnf | S = OPT O = 134394 T = 2.79 |
S = OPT O = 134394 T = 541.01 (out)(err) |
S = OPT O = 134394 T = 106.59 (out)(err) |
S = OPT O = 134394 T = 105.85 (out)(err) |
S = OPT O = 134394 T = 2.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 134394 T = 229.67 (out)(err) |
S = OPT O = 134394 T = 192.52 (out)(err) |
S = OPT O = 134394 T = 1670.38 (out)(err) |
S = N/A O = 134394 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_70_0000.txt.wcnf | S = OPT O = 35750 T = 0.09 |
S = OPT O = 35750 T = 0.36 (out)(err) |
S = OPT O = 35750 T = 0.09 (out)(err) |
S = OPT O = 35750 T = 0.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 35750 T = 0.42 (out)(err) |
S = OPT O = 35750 T = 0.61 (out)(err) |
S = OPT O = 35750 T = 0.09 (out)(err) |
S = OPT O = 35750 T = 1.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_70_0001.txt.wcnf | S = OPT O = 83682 T = 0.07 |
S = OPT O = 83682 T = 0.22 (out)(err) |
S = OPT O = 83682 T = 0.07 (out)(err) |
S = OPT O = 83682 T = 0.07 (out)(err) |
S = OPT O = 83682 T = 0.54 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 83682 T = 0.19 (out)(err) |
S = OPT O = 83682 T = 0.76 (out)(err) |
S = OPT O = 83682 T = 0.10 (out)(err) |
S = OPT O = 83682 T = 1.69 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_70_0002.txt.wcnf | S = OPT O = 39227 T = 0.89 |
S = OPT O = 39227 T = 1.18 (out)(err) |
S = OPT O = 39227 T = 0.89 (out)(err) |
S = OPT O = 39227 T = 0.89 (out)(err) |
S = OPT O = 39227 T = 1.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 39227 T = 1.64 (out)(err) |
S = OPT O = 39227 T = 2.29 (out)(err) |
S = OPT O = 39227 T = 1.18 (out)(err) |
S = OPT O = 39227 T = 14.06 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_70_0003.txt.wcnf | S = OPT O = 61169 T = 0.05 |
S = OPT O = 61169 T = 0.11 (out)(err) |
S = OPT O = 61169 T = 0.05 (out)(err) |
S = OPT O = 61169 T = 0.05 (out)(err) |
S = OPT O = 61169 T = 0.32 (out)(err) |
S = OPT O = 61169 T = 313.72 (out)(err) |
S = OPT O = 61169 T = 0.10 (out)(err) |
S = OPT O = 61169 T = 0.36 (out)(err) |
S = OPT O = 61169 T = 0.07 (out)(err) |
S = OPT O = 61169 T = 1.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_70_0004.txt.wcnf | S = OPT O = 40136 T = 0.12 |
S = OPT O = 40136 T = 0.34 (out)(err) |
S = OPT O = 40136 T = 0.14 (out)(err) |
S = OPT O = 40136 T = 0.14 (out)(err) |
S = OPT O = 40136 T = 1.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 40136 T = 0.46 (out)(err) |
S = OPT O = 40136 T = 0.90 (out)(err) |
S = OPT O = 40136 T = 0.12 (out)(err) |
S = OPT O = 40136 T = 1.77 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_70_0005.txt.wcnf | S = OPT O = 105072 T = 0.10 |
S = OPT O = 105072 T = 0.37 (out)(err) |
S = OPT O = 105072 T = 0.10 (out)(err) |
S = OPT O = 105072 T = 0.10 (out)(err) |
S = OPT O = 105072 T = 1.02 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 105072 T = 0.35 (out)(err) |
S = OPT O = 105072 T = 1.19 (out)(err) |
S = OPT O = 105072 T = 0.12 (out)(err) |
S = OPT O = 105072 T = 1.96 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_80_0000.txt.wcnf | S = OPT O = 37448 T = 0.16 |
S = OPT O = 37448 T = 0.60 (out)(err) |
S = OPT O = 37448 T = 0.18 (out)(err) |
S = OPT O = 37448 T = 0.18 (out)(err) |
S = OPT O = 37448 T = 0.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 37448 T = 0.56 (out)(err) |
S = OPT O = 37448 T = 0.96 (out)(err) |
S = OPT O = 37448 T = 0.16 (out)(err) |
S = OPT O = 37448 T = 1.96 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_80_0001.txt.wcnf | S = OPT O = 22634 T = 0.09 |
S = OPT O = 22634 T = 0.14 (out)(err) |
S = OPT O = 22634 T = 0.09 (out)(err) |
S = OPT O = 22634 T = 0.10 (out)(err) |
S = OPT O = 22634 T = 0.35 (out)(err) |
S = OPT O = 22634 T = 112.68 (out)(err) |
S = OPT O = 22634 T = 0.17 (out)(err) |
S = OPT O = 22634 T = 0.44 (out)(err) |
S = OPT O = 22634 T = 0.10 (out)(err) |
S = OPT O = 22634 T = 2.08 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_80_0002.txt.wcnf | S = OPT O = 78029 T = 0.66 |
S = OPT O = 78029 T = 1.93 (out)(err) |
S = OPT O = 78029 T = 0.66 (out)(err) |
S = OPT O = 78029 T = 0.66 (out)(err) |
S = OPT O = 78029 T = 1.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 78029 T = 1.49 (out)(err) |
S = OPT O = 78029 T = 2.33 (out)(err) |
S = OPT O = 78029 T = 2.03 (out)(err) |
S = OPT O = 78029 T = 17.80 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_80_0003.txt.wcnf | S = OPT O = 40212 T = 0.67 |
S = OPT O = 40212 T = 0.88 (out)(err) |
S = OPT O = 40212 T = 0.67 (out)(err) |
S = OPT O = 40212 T = 0.68 (out)(err) |
S = OPT O = 40212 T = 1.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 40212 T = 0.95 (out)(err) |
S = OPT O = 40212 T = 0.97 (out)(err) |
S = OPT O = 40212 T = 0.72 (out)(err) |
S = OPT O = 40212 T = 8.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cat_sched_60_80_0004.txt.wcnf | S = OPT O = 10390 T = 0.15 |
S = OPT O = 10390 T = 0.45 (out)(err) |
S = OPT O = 10390 T = 0.23 (out)(err) |
S = OPT O = 10390 T = 0.23 (out)(err) |
S = OPT O = 10390 T = 0.84 (out)(err) |
S = OPT O = 10390 T = 990.16 (out)(err) |
S = OPT O = 10390 T = 0.50 (out)(err) |
S = OPT O = 10390 T = 0.80 (out)(err) |
S = OPT O = 10390 T = 0.15 (out)(err) |
S = OPT O = 10390 T = 2.01 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_80_0005.txt.wcnf | S = OPT O = 34950 T = 0.13 |
S = OPT O = 34950 T = 0.39 (out)(err) |
S = OPT O = 34950 T = 0.15 (out)(err) |
S = OPT O = 34950 T = 0.15 (out)(err) |
S = OPT O = 34950 T = 1.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 34950 T = 0.62 (out)(err) |
S = OPT O = 34950 T = 1.03 (out)(err) |
S = OPT O = 34950 T = 0.13 (out)(err) |
S = OPT O = 34950 T = 1.99 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_90_0000.txt.wcnf | S = OPT O = 96833 T = 0.09 |
S = OPT O = 96833 T = 0.22 (out)(err) |
S = OPT O = 96833 T = 0.12 (out)(err) |
S = OPT O = 96833 T = 0.12 (out)(err) |
S = OPT O = 96833 T = 0.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 96833 T = 0.48 (out)(err) |
S = OPT O = 96833 T = 0.86 (out)(err) |
S = OPT O = 96833 T = 0.09 (out)(err) |
S = OPT O = 96833 T = 1.92 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_90_0001.txt.wcnf | S = OPT O = 82847 T = 0.09 |
S = OPT O = 82847 T = 0.36 (out)(err) |
S = OPT O = 82847 T = 0.09 (out)(err) |
S = OPT O = 82847 T = 0.09 (out)(err) |
S = OPT O = 82847 T = 0.89 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 82847 T = 0.34 (out)(err) |
S = OPT O = 82847 T = 0.79 (out)(err) |
S = OPT O = 82847 T = 0.12 (out)(err) |
S = OPT O = 82847 T = 1.65 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_90_0002.txt.wcnf | S = OPT O = 66464 T = 0.11 |
S = OPT O = 66464 T = 0.35 (out)(err) |
S = OPT O = 66464 T = 0.11 (out)(err) |
S = OPT O = 66464 T = 0.11 (out)(err) |
S = OPT O = 66464 T = 1.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 66464 T = 0.52 (out)(err) |
S = OPT O = 66464 T = 0.94 (out)(err) |
S = OPT O = 66464 T = 0.12 (out)(err) |
S = OPT O = 66464 T = 2.36 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_90_0003.txt.wcnf | S = OPT O = 37704 T = 0.12 |
S = OPT O = 37704 T = 0.26 (out)(err) |
S = OPT O = 37704 T = 0.17 (out)(err) |
S = OPT O = 37704 T = 0.17 (out)(err) |
S = OPT O = 37704 T = 0.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 37704 T = 0.42 (out)(err) |
S = OPT O = 37704 T = 0.79 (out)(err) |
S = OPT O = 37704 T = 0.12 (out)(err) |
S = OPT O = 37704 T = 1.71 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_90_0004.txt.wcnf | S = OPT O = 82537 T = 0.09 |
S = OPT O = 82537 T = 0.26 (out)(err) |
S = OPT O = 82537 T = 0.09 (out)(err) |
S = OPT O = 82537 T = 0.10 (out)(err) |
S = OPT O = 82537 T = 25.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 82537 T = 0.21 (out)(err) |
S = OPT O = 82537 T = 0.57 (out)(err) |
S = OPT O = 82537 T = 0.10 (out)(err) |
S = OPT O = 82537 T = 1.94 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cat_sched_60_90_0005.txt.wcnf | S = OPT O = 49851 T = 0.19 |
S = OPT O = 49851 T = 0.20 (out)(err) |
S = OPT O = 49851 T = 0.42 (out)(err) |
S = OPT O = 49851 T = 0.42 (out)(err) |
S = OPT O = 49851 T = 0.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 49851 T = 0.35 (out)(err) |
S = OPT O = 49851 T = 0.67 (out)(err) |
S = OPT O = 49851 T = 0.19 (out)(err) |
S = OPT O = 49851 T = 3.61 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
bwt3cc.wcsp.wcnf | S = OPT O = 177 T = 0.00 |
S = OPT O = 177 T = 0.00 (out)(err) |
S = OPT O = 177 T = 0.01 (out)(err) |
S = OPT O = 177 T = 0.01 (out)(err) |
S = OPT O = 177 T = 0.03 (out)(err) |
S = OPT O = 177 T = 0.03 (out)(err) |
S = OPT O = 177 T = 0.03 (out)(err) |
S = OPT O = 177 T = 0.75 (out)(err) |
S = OPT O = 177 T = 0.01 (out)(err) |
S = OPT O = 177 T = 0.70 (out)(err) |
S = OPT O = 177 T = 0.01 (out)(err) |
bwt4bc.wcsp.wcnf | S = OPT O = 355 T = 0.04 |
S = OPT O = 355 T = 0.58 (out)(err) |
S = OPT O = 355 T = 0.61 (out)(err) |
S = OPT O = 355 T = 0.61 (out)(err) |
S = OPT O = 355 T = 0.31 (out)(err) |
S = OPT O = 355 T = 5.61 (out)(err) |
S = OPT O = 355 T = 1.60 (out)(err) |
S = OPT O = 355 T = 11.63 (out)(err) |
S = OPT O = 355 T = 0.04 (out)(err) |
S = OPT O = 355 T = 1.62 (out)(err) |
S = OPT O = 355 T = 0.16 (out)(err) |
bwt4c.wcsp.wcnf | S = OPT O = 600 T = 0.05 |
S = OPT O = 600 T = 0.56 (out)(err) |
S = OPT O = 600 T = 0.60 (out)(err) |
S = OPT O = 600 T = 0.61 (out)(err) |
S = OPT O = 600 T = 0.14 (out)(err) |
S = OPT O = 600 T = 0.36 (out)(err) |
S = OPT O = 600 T = 1.44 (out)(err) |
S = OPT O = 600 T = 11.45 (out)(err) |
S = OPT O = 600 T = 0.05 (out)(err) |
S = OPT O = 600 T = 1.41 (out)(err) |
S = OPT O = 600 T = 0.09 (out)(err) |
bwt5ac.wcsp.wcnf | S = OPT O = 800 T = 0.22 |
S = OPT O = 800 T = 104.18 (out)(err) |
S = OPT O = 800 T = 8.94 (out)(err) |
S = OPT O = 800 T = 10.31 (out)(err) |
S = OPT O = 800 T = 0.54 (out)(err) |
S = OPT O = 800 T = 3.70 (out)(err) |
S = OPT O = 800 T = 24.94 (out)(err) |
S = OPT O = 800 T = 49.36 (out)(err) |
S = OPT O = 800 T = 0.22 (out)(err) |
S = OPT O = 800 T = 2.72 (out)(err) |
S = OPT O = 800 T = 0.65 (out)(err) |
bwt5c.wcsp.wcnf | S = OPT O = 800 T = 0.21 |
S = OPT O = 800 T = 101.31 (out)(err) |
S = OPT O = 800 T = 8.91 (out)(err) |
S = OPT O = 800 T = 10.31 (out)(err) |
S = OPT O = 800 T = 0.54 (out)(err) |
S = OPT O = 800 T = 3.62 (out)(err) |
S = OPT O = 800 T = 25.30 (out)(err) |
S = OPT O = 800 T = 47.25 (out)(err) |
S = OPT O = 800 T = 0.21 (out)(err) |
S = OPT O = 800 T = 2.72 (out)(err) |
S = OPT O = 800 T = 0.66 (out)(err) |
bwt5cc.wcsp.wcnf | S = OPT O = 866 T = 0.21 |
S = OPT O = 866 T = 174.75 (out)(err) |
S = OPT O = 866 T = 9.09 (out)(err) |
S = OPT O = 866 T = 10.24 (out)(err) |
S = OPT O = 866 T = 2.50 (out)(err) |
S = OPT O = 866 T = 11.62 (out)(err) |
S = OPT O = 866 T = 180.72 (out)(err) |
S = OPT O = 866 T = 196.92 (out)(err) |
S = OPT O = 866 T = 0.21 (out)(err) |
S = OPT O = 866 T = 2.65 (out)(err) |
S = OPT O = 866 T = 25.31 (out)(err) |
bwt6.wcsp.wcnf | S = OPT O = 650 T = 0.65 |
S = OPT O = 650 T = 267.14 (out)(err) |
S = OPT O = 650 T = 23.86 (out)(err) |
S = OPT O = 650 T = 23.22 (out)(err) |
S = OPT O = 650 T = 1.17 (out)(err) |
S = OPT O = 650 T = 3.66 (out)(err) |
S = OPT O = 650 T = 187.21 (out)(err) |
S = OPT O = 650 T = 233.04 (out)(err) |
S = OPT O = 650 T = 0.65 (out)(err) |
S = OPT O = 650 T = 2.63 (out)(err) |
S = OPT O = 650 T = 2.38 (out)(err) |
bwt7.wcsp.wcnf | S = OPT O = 780 T = 1.75 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 780 T = 159.61 (out)(err) |
S = OPT O = 780 T = 161.82 (out)(err) |
S = OPT O = 780 T = 2.72 (out)(err) |
S = OPT O = 780 T = 14.06 (out)(err) |
S = OPT O = 780 T = 569.73 (out)(err) |
S = OPT O = 780 T = 671.35 (out)(err) |
S = OPT O = 780 T = 1.75 (out)(err) |
S = OPT O = 780 T = 3.52 (out)(err) |
S = OPT O = 780 T = 6.16 (out)(err) |
depot01ac.wcsp.wcnf | S = OPT O = 1720 T = 0.00 |
S = OPT O = 1720 T = 0.00 (out)(err) |
S = OPT O = 1720 T = 0.01 (out)(err) |
S = OPT O = 1720 T = 0.01 (out)(err) |
S = OPT O = 1720 T = 0.03 (out)(err) |
S = OPT O = 1720 T = 0.89 (out)(err) |
S = OPT O = 1720 T = 0.09 (out)(err) |
S = OPT O = 1720 T = 1.33 (out)(err) |
S = OPT O = 1720 T = 0.00 (out)(err) |
S = OPT O = 1720 T = 0.75 (out)(err) |
S = OPT O = 1720 T = 0.02 (out)(err) |
depot01bc.wcsp.wcnf | S = OPT O = 1965 T = 0.00 |
S = OPT O = 1965 T = 0.00 (out)(err) |
S = OPT O = 1965 T = 0.01 (out)(err) |
S = OPT O = 1965 T = 0.00 (out)(err) |
S = OPT O = 1965 T = 0.07 (out)(err) |
S = OPT O = 1965 T = 4.99 (out)(err) |
S = OPT O = 1965 T = 0.13 (out)(err) |
S = OPT O = 1965 T = 1.37 (out)(err) |
S = OPT O = 1965 T = 0.01 (out)(err) |
S = OPT O = 1965 T = 0.79 (out)(err) |
S = OPT O = 1965 T = 0.02 (out)(err) |
depot01c.wcsp.wcnf | S = OPT O = 1720 T = 0.00 |
S = OPT O = 1720 T = 0.00 (out)(err) |
S = OPT O = 1720 T = 0.00 (out)(err) |
S = OPT O = 1720 T = 0.01 (out)(err) |
S = OPT O = 1720 T = 0.03 (out)(err) |
S = OPT O = 1720 T = 0.89 (out)(err) |
S = OPT O = 1720 T = 0.09 (out)(err) |
S = OPT O = 1720 T = 1.33 (out)(err) |
S = OPT O = 1720 T = 0.00 (out)(err) |
S = OPT O = 1720 T = 0.77 (out)(err) |
S = OPT O = 1720 T = 0.02 (out)(err) |
depot01cc.wcsp.wcnf | S = OPT O = 2142 T = 0.00 |
S = OPT O = 2142 T = 0.00 (out)(err) |
S = OPT O = 2142 T = 0.01 (out)(err) |
S = OPT O = 2142 T = 0.01 (out)(err) |
S = OPT O = 2142 T = 0.15 (out)(err) |
S = OPT O = 2142 T = 83.13 (out)(err) |
S = OPT O = 2142 T = 0.14 (out)(err) |
S = OPT O = 2142 T = 1.39 (out)(err) |
S = OPT O = 2142 T = 0.01 (out)(err) |
S = OPT O = 2142 T = 0.71 (out)(err) |
S = OPT O = 2142 T = 0.06 (out)(err) |
driverlog01c.wcsp.wcnf | S = OPT O = 1145 T = 0.01 |
S = OPT O = 1145 T = 0.95 (out)(err) |
S = OPT O = 1145 T = 1.10 (out)(err) |
S = OPT O = 1145 T = 1.09 (out)(err) |
S = OPT O = 1145 T = 0.04 (out)(err) |
S = OPT O = 1145 T = 0.11 (out)(err) |
S = OPT O = 1145 T = 0.12 (out)(err) |
S = OPT O = 1145 T = 1.55 (out)(err) |
S = OPT O = 1145 T = 0.01 (out)(err) |
S = OPT O = 1145 T = 0.77 (out)(err) |
S = OPT O = 1145 T = 0.02 (out)(err) |
driverlog01cc.wcsp.wcnf | S = OPT O = 1117 T = 0.01 |
S = OPT O = 1117 T = 0.01 (out)(err) |
S = OPT O = 1117 T = 0.03 (out)(err) |
S = OPT O = 1117 T = 0.03 (out)(err) |
S = OPT O = 1117 T = 0.10 (out)(err) |
S = OPT O = 1117 T = 14.10 (out)(err) |
S = OPT O = 1117 T = 0.10 (out)(err) |
S = OPT O = 1117 T = 1.54 (out)(err) |
S = OPT O = 1117 T = 0.01 (out)(err) |
S = OPT O = 1117 T = 0.71 (out)(err) |
S = OPT O = 1117 T = 0.01 (out)(err) |
driverlog02bc.wcsp.wcnf | S = OPT O = 2085 T = 0.98 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2085 T = 810.62 (out)(err) |
S = OPT O = 2085 T = 810.87 (out)(err) |
S = OPT O = 2085 T = 69.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 62628 T = TO (out)(err) |
S = OPT O = 2085 T = 0.98 (out)(err) |
S = OPT O = 2085 T = 9.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
driverlog02c.wcsp.wcnf | S = OPT O = 2010 T = 1.82 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2010 T = 1767.32 (out)(err) |
S = OPT O = 2010 T = 1721.30 (out)(err) |
S = OPT O = 2010 T = 11.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 58641 T = TO (out)(err) |
S = OPT O = 2010 T = 1.82 (out)(err) |
S = OPT O = 2010 T = 11.17 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
driverlog02cc.wcsp.wcnf | S = OPT O = 2428 T = 0.30 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2428 T = 899.96 (out)(err) |
S = OPT O = 2428 T = 893.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 79320 T = TO (out)(err) |
S = OPT O = 2428 T = 0.30 (out)(err) |
S = OPT O = 2428 T = 3.89 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
driverlog04ac.wcsp.wcnf | S = OPT O = 1790 T = 0.55 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1790 T = 251.19 (out)(err) |
S = OPT O = 1790 T = 245.14 (out)(err) |
S = OPT O = 1790 T = 11.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 47386 T = TO (out)(err) |
S = OPT O = 1790 T = 0.55 (out)(err) |
S = OPT O = 1790 T = 4.27 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
driverlog04bc.wcsp.wcnf | S = OPT O = 1921 T = 0.37 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1921 T = 201.28 (out)(err) |
S = OPT O = 1921 T = 219.59 (out)(err) |
S = OPT O = 1921 T = 23.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 57923 T = TO (out)(err) |
S = OPT O = 1921 T = 0.37 (out)(err) |
S = OPT O = 1921 T = 4.04 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
driverlog04cc.wcsp.wcnf | S = OPT O = 2932 T = 0.48 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2932 T = 211.49 (out)(err) |
S = OPT O = 2932 T = 224.94 (out)(err) |
S = OPT O = 2932 T = 96.33 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 83984 T = TO (out)(err) |
S = OPT O = 2932 T = 0.48 (out)(err) |
S = OPT O = 2932 T = 4.01 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
driverlog05ac.wcsp.wcnf | S = OPT O = 1350 T = 0.67 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1350 T = 1798.74 (out)(err) |
S = OPT O = 1350 T = 1657.08 (out)(err) |
S = OPT O = 1350 T = 12.40 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 66056 T = TO (out)(err) |
S = OPT O = 1350 T = 0.67 (out)(err) |
S = OPT O = 1350 T = 4.72 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
driverlog05bc.wcsp.wcnf | S = OPT O = 1344 T = 0.82 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1344 T = 1508.33 (out)(err) |
S = OPT O = 1344 T = 1371.81 (out)(err) |
S = OPT O = 1344 T = 22.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 70187 T = TO (out)(err) |
S = OPT O = 1344 T = 0.82 (out)(err) |
S = OPT O = 1344 T = 5.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
driverlog05c.wcsp.wcnf | S = OPT O = 1350 T = 0.67 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1350 T = 1651.99 (out)(err) |
S = OPT O = 1350 T = 1631.73 (out)(err) |
S = OPT O = 1350 T = 12.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 66056 T = TO (out)(err) |
S = OPT O = 1350 T = 0.67 (out)(err) |
S = OPT O = 1350 T = 5.52 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
driverlog08ac.wcsp.wcnf | S = OPT O = 2220 T = 1.42 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2220 T = 28.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 69556 T = TO (out)(err) |
S = OPT O = 2220 T = 1.42 (out)(err) |
S = OPT O = 2220 T = 5.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
driverlog08c.wcsp.wcnf | S = OPT O = 2220 T = 1.54 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2220 T = 32.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 69556 T = TO (out)(err) |
S = OPT O = 2220 T = 1.54 (out)(err) |
S = OPT O = 2220 T = 5.61 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
driverlog08cc.wcsp.wcnf | S = OPT O = 4052 T = 1.05 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 138976 T = TO (out)(err) |
S = OPT O = 4052 T = 1.05 (out)(err) |
S = OPT O = 4052 T = 5.36 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
driverlog09.wcsp.wcnf | S = OPT O = 960 T = 1.28 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 960 T = 41.17 (out)(err) |
S = OPT O = 960 T = 412.89 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 57501 T = TO (out)(err) |
S = OPT O = 960 T = 1.28 (out)(err) |
S = OPT O = 960 T = 5.47 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
driverlogs03.wcsp.wcnf | S = OPT O = 1225 T = 0.29 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1225 T = 39.06 (out)(err) |
S = OPT O = 1225 T = 38.95 (out)(err) |
S = OPT O = 1225 T = 0.97 (out)(err) |
S = OPT O = 1225 T = 850.56 (out)(err) |
S = OPT O = 1225 T = 1232.93 (out)(err) |
S = OPT O = 1225 T = 1316.96 (out)(err) |
S = OPT O = 1225 T = 0.29 (out)(err) |
S = OPT O = 1225 T = 3.47 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
driverlogs06.wcsp.wcnf | S = OPT O = 1055 T = 0.28 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1055 T = 21.90 (out)(err) |
S = OPT O = 1055 T = 21.72 (out)(err) |
S = OPT O = 1055 T = 1.33 (out)(err) |
S = OPT O = 1055 T = 351.07 (out)(err) |
S = OPT O = 1055 T = 333.83 (out)(err) |
S = OPT O = 1055 T = 355.28 (out)(err) |
S = OPT O = 1055 T = 0.28 (out)(err) |
S = OPT O = 1055 T = 3.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
logistics01bc.wcsp.wcnf | S = OPT O = 8035 T = 0.03 |
S = OPT O = 8035 T = 0.14 (out)(err) |
S = OPT O = 8035 T = 0.16 (out)(err) |
S = OPT O = 8035 T = 0.16 (out)(err) |
S = OPT O = 8035 T = 0.39 (out)(err) |
S = OPT O = 8035 T = 69.75 (out)(err) |
S = OPT O = 8035 T = 5.52 (out)(err) |
S = OPT O = 8035 T = 13.98 (out)(err) |
S = OPT O = 8035 T = 0.03 (out)(err) |
S = OPT O = 8035 T = 1.77 (out)(err) |
S = OPT O = 8035 T = 0.14 (out)(err) |
logistics01c.wcsp.wcnf | S = OPT O = 8865 T = 0.03 |
S = OPT O = 8865 T = 0.12 (out)(err) |
S = OPT O = 8865 T = 0.17 (out)(err) |
S = OPT O = 8865 T = 0.17 (out)(err) |
S = OPT O = 8865 T = 0.25 (out)(err) |
S = OPT O = 8865 T = 1450.78 (out)(err) |
S = OPT O = 8865 T = 4.34 (out)(err) |
S = OPT O = 8865 T = 12.34 (out)(err) |
S = OPT O = 8865 T = 0.03 (out)(err) |
S = OPT O = 8865 T = 1.92 (out)(err) |
S = OPT O = 8865 T = 0.10 (out)(err) |
logistics01cc.wcsp.wcnf | S = OPT O = 4282 T = 0.05 |
S = OPT O = 4282 T = 0.29 (out)(err) |
S = OPT O = 4282 T = 0.45 (out)(err) |
S = OPT O = 4282 T = 0.46 (out)(err) |
S = OPT O = 4282 T = 0.69 (out)(err) |
S = N/A O = N/A T = 0.14 (out)(err) |
S = OPT O = 4282 T = 9.61 (out)(err) |
S = OPT O = 4282 T = 17.79 (out)(err) |
S = OPT O = 4282 T = 0.05 (out)(err) |
S = OPT O = 4282 T = 2.05 (out)(err) |
S = OPT O = 4282 T = 0.15 (out)(err) |
mprime01ac.wcsp.wcnf | S = OPT O = 250 T = 0.13 |
S = OPT O = 250 T = 69.77 (out)(err) |
S = OPT O = 250 T = 430.56 (out)(err) |
S = OPT O = 250 T = 429.30 (out)(err) |
S = OPT O = 250 T = 1.10 (out)(err) |
S = OPT O = 250 T = 4.44 (out)(err) |
S = OPT O = 250 T = 625.20 (out)(err) |
S = OPT O = 250 T = 647.03 (out)(err) |
S = OPT O = 250 T = 0.13 (out)(err) |
S = OPT O = 250 T = 2.74 (out)(err) |
S = OPT O = 250 T = 0.26 (out)(err) |
mprime01bc.wcsp.wcnf | S = OPT O = 284 T = 0.14 |
S = OPT O = 284 T = 172.06 (out)(err) |
S = OPT O = 284 T = 489.95 (out)(err) |
S = OPT O = 284 T = 489.83 (out)(err) |
S = OPT O = 284 T = 5.31 (out)(err) |
S = OPT O = 284 T = 96.14 (out)(err) |
S = OPT O = 284 T = 1621.87 (out)(err) |
S = OPT O = 284 T = 1661.69 (out)(err) |
S = OPT O = 284 T = 0.14 (out)(err) |
S = OPT O = 284 T = 2.42 (out)(err) |
S = OPT O = 284 T = 1.79 (out)(err) |
mprime01cc.wcsp.wcnf | S = OPT O = 603 T = 0.13 |
S = OPT O = 603 T = 51.16 (out)(err) |
S = OPT O = 603 T = 219.90 (out)(err) |
S = OPT O = 603 T = 214.54 (out)(err) |
S = OPT O = 603 T = 10.12 (out)(err) |
S = OPT O = 603 T = 360.27 (out)(err) |
S = OPT O = 603 T = 1751.20 (out)(err) |
S = OPT O = 603 T = 1750.22 (out)(err) |
S = OPT O = 603 T = 0.13 (out)(err) |
S = OPT O = 603 T = 3.02 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
mprime03ac.wcsp.wcnf | S = OPT O = 320 T = 0.00 |
S = OPT O = 320 T = 0.00 (out)(err) |
S = OPT O = 320 T = 0.01 (out)(err) |
S = OPT O = 320 T = 0.01 (out)(err) |
S = OPT O = 320 T = 0.04 (out)(err) |
S = OPT O = 320 T = 0.05 (out)(err) |
S = OPT O = 320 T = 0.07 (out)(err) |
S = OPT O = 320 T = 0.88 (out)(err) |
S = OPT O = 320 T = 0.01 (out)(err) |
S = OPT O = 320 T = 0.68 (out)(err) |
S = OPT O = 320 T = 0.01 (out)(err) |
mprime03bc.wcsp.wcnf | S = OPT O = 380 T = 0.00 |
S = OPT O = 380 T = 0.00 (out)(err) |
S = OPT O = 380 T = 0.01 (out)(err) |
S = OPT O = 380 T = 0.01 (out)(err) |
S = OPT O = 380 T = 0.04 (out)(err) |
S = OPT O = 380 T = 0.12 (out)(err) |
S = OPT O = 380 T = 0.07 (out)(err) |
S = OPT O = 380 T = 0.88 (out)(err) |
S = OPT O = 380 T = 0.01 (out)(err) |
S = OPT O = 380 T = 0.69 (out)(err) |
S = OPT O = 380 T = 0.01 (out)(err) |
mprime03c.wcsp.wcnf | S = OPT O = 320 T = 0.01 |
S = OPT O = 320 T = 0.01 (out)(err) |
S = OPT O = 320 T = 0.01 (out)(err) |
S = OPT O = 320 T = 0.01 (out)(err) |
S = OPT O = 320 T = 0.04 (out)(err) |
S = OPT O = 320 T = 0.04 (out)(err) |
S = OPT O = 320 T = 0.07 (out)(err) |
S = OPT O = 320 T = 0.88 (out)(err) |
S = OPT O = 320 T = 0.01 (out)(err) |
S = OPT O = 320 T = 0.70 (out)(err) |
S = OPT O = 320 T = 0.01 (out)(err) |
mprime04bc.wcsp.wcnf | S = OPT O = 600 T = 0.27 |
S = OPT O = 600 T = 12.66 (out)(err) |
S = OPT O = 600 T = 12.58 (out)(err) |
S = OPT O = 600 T = 14.48 (out)(err) |
S = OPT O = 600 T = 2.26 (out)(err) |
S = OPT O = 600 T = 29.70 (out)(err) |
S = OPT O = 600 T = 84.37 (out)(err) |
S = OPT O = 600 T = 109.84 (out)(err) |
S = OPT O = 600 T = 0.27 (out)(err) |
S = OPT O = 600 T = 2.97 (out)(err) |
S = OPT O = 600 T = 0.30 (out)(err) |
mprime04c.wcsp.wcnf | S = OPT O = 590 T = 0.27 |
S = OPT O = 590 T = 8.97 (out)(err) |
S = OPT O = 590 T = 16.26 (out)(err) |
S = OPT O = 590 T = 16.39 (out)(err) |
S = OPT O = 590 T = 2.02 (out)(err) |
S = OPT O = 590 T = 4.08 (out)(err) |
S = OPT O = 590 T = 85.04 (out)(err) |
S = OPT O = 590 T = 109.87 (out)(err) |
S = OPT O = 590 T = 0.27 (out)(err) |
S = OPT O = 590 T = 3.22 (out)(err) |
S = OPT O = 590 T = 0.30 (out)(err) |
mprime04cc.wcsp.wcnf | S = OPT O = 931 T = 0.26 |
S = OPT O = 931 T = 26.92 (out)(err) |
S = OPT O = 931 T = 13.91 (out)(err) |
S = OPT O = 931 T = 12.02 (out)(err) |
S = OPT O = 931 T = 8.19 (out)(err) |
S = OPT O = 931 T = 296.60 (out)(err) |
S = OPT O = 931 T = 66.02 (out)(err) |
S = OPT O = 931 T = 88.47 (out)(err) |
S = OPT O = 931 T = 0.26 (out)(err) |
S = OPT O = 931 T = 2.37 (out)(err) |
S = OPT O = 931 T = 1.13 (out)(err) |
rovers02ac.wcsp.wcnf | S = OPT O = 1660 T = 0.04 |
S = OPT O = 1660 T = 43.91 (out)(err) |
S = OPT O = 1660 T = 1.79 (out)(err) |
S = OPT O = 1660 T = 1.78 (out)(err) |
S = OPT O = 1660 T = 0.82 (out)(err) |
S = OPT O = 1660 T = 156.79 (out)(err) |
S = OPT O = 1660 T = 17.18 (out)(err) |
S = OPT O = 1660 T = 26.59 (out)(err) |
S = OPT O = 1660 T = 0.04 (out)(err) |
S = OPT O = 1660 T = 1.85 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
rovers02c.wcsp.wcnf | S = OPT O = 1660 T = 0.04 |
S = OPT O = 1660 T = 44.17 (out)(err) |
S = OPT O = 1660 T = 1.79 (out)(err) |
S = OPT O = 1660 T = 1.79 (out)(err) |
S = OPT O = 1660 T = 0.82 (out)(err) |
S = OPT O = 1660 T = 158.12 (out)(err) |
S = OPT O = 1660 T = 17.23 (out)(err) |
S = OPT O = 1660 T = 26.64 (out)(err) |
S = OPT O = 1660 T = 0.04 (out)(err) |
S = OPT O = 1660 T = 1.90 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
rovers02cc.wcsp.wcnf | S = OPT O = 1668 T = 0.04 |
S = OPT O = 1668 T = 41.12 (out)(err) |
S = OPT O = 1668 T = 1.77 (out)(err) |
S = OPT O = 1668 T = 1.77 (out)(err) |
S = OPT O = 1668 T = 1.78 (out)(err) |
S = OPT O = 1668 T = 209.14 (out)(err) |
S = OPT O = 1668 T = 55.04 (out)(err) |
S = OPT O = 1668 T = 63.98 (out)(err) |
S = OPT O = 1668 T = 0.04 (out)(err) |
S = OPT O = 1668 T = 2.17 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
satellite01ac.wcsp.wcnf | S = OPT O = 1530 T = 0.06 |
S = OPT O = 1530 T = 808.09 (out)(err) |
S = OPT O = 1530 T = 21.86 (out)(err) |
S = OPT O = 1530 T = 21.84 (out)(err) |
S = OPT O = 1530 T = 1.91 (out)(err) |
S = OPT O = 1530 T = 88.92 (out)(err) |
S = OPT O = 1530 T = 755.98 (out)(err) |
S = OPT O = 1530 T = 761.05 (out)(err) |
S = OPT O = 1530 T = 0.06 (out)(err) |
S = OPT O = 1530 T = 2.43 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
satellite01bc.wcsp.wcnf | S = OPT O = 1827 T = 0.06 |
S = OPT O = 1827 T = 839.37 (out)(err) |
S = OPT O = 1827 T = 22.07 (out)(err) |
S = OPT O = 1827 T = 22.00 (out)(err) |
S = OPT O = 1827 T = 2.54 (out)(err) |
S = OPT O = 1827 T = 735.34 (out)(err) |
S = OPT O = 1827 T = 1178.50 (out)(err) |
S = OPT O = 1827 T = 1194.40 (out)(err) |
S = OPT O = 1827 T = 0.06 (out)(err) |
S = OPT O = 1827 T = 2.30 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
satellite01cc.wcsp.wcnf | S = OPT O = 1530 T = 0.06 |
S = OPT O = 1530 T = 805.92 (out)(err) |
S = OPT O = 1530 T = 22.15 (out)(err) |
S = OPT O = 1530 T = 21.91 (out)(err) |
S = OPT O = 1530 T = 2.04 (out)(err) |
S = OPT O = 1530 T = 89.52 (out)(err) |
S = OPT O = 1530 T = 755.37 (out)(err) |
S = OPT O = 1530 T = 755.99 (out)(err) |
S = OPT O = 1530 T = 0.06 (out)(err) |
S = OPT O = 1530 T = 2.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
satellite02ac.wcsp.wcnf | S = OPT O = 1611 T = 1.61 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1611 T = 149.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 156116 T = TO (out)(err) |
S = OPT O = 1611 T = 1.61 (out)(err) |
S = OPT O = 1611 T = 10.57 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
satellite02bc.wcsp.wcnf | S = OPT O = 2289 T = 1.15 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2289 T = 106.41 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 214781 T = TO (out)(err) |
S = OPT O = 2289 T = 1.15 (out)(err) |
S = OPT O = 2289 T = 9.23 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
zenotravel02ac.wcsp.wcnf | S = OPT O = 2485 T = 0.04 |
S = OPT O = 2485 T = 0.32 (out)(err) |
S = OPT O = 2485 T = 0.56 (out)(err) |
S = OPT O = 2485 T = 0.56 (out)(err) |
S = OPT O = 2485 T = 0.35 (out)(err) |
S = OPT O = 2485 T = 7.17 (out)(err) |
S = OPT O = 2485 T = 3.00 (out)(err) |
S = OPT O = 2485 T = 9.14 (out)(err) |
S = OPT O = 2485 T = 0.04 (out)(err) |
S = OPT O = 2485 T = 2.05 (out)(err) |
S = OPT O = 2485 T = 0.15 (out)(err) |
zenotravel02bc.wcsp.wcnf | S = OPT O = 2335 T = 0.04 |
S = OPT O = 2335 T = 0.34 (out)(err) |
S = OPT O = 2335 T = 0.55 (out)(err) |
S = OPT O = 2335 T = 0.56 (out)(err) |
S = OPT O = 2335 T = 0.30 (out)(err) |
S = N/A O = N/A T = 0.18 (out)(err) |
S = OPT O = 2335 T = 3.44 (out)(err) |
S = OPT O = 2335 T = 9.60 (out)(err) |
S = OPT O = 2335 T = 0.04 (out)(err) |
S = OPT O = 2335 T = 2.08 (out)(err) |
S = OPT O = 2335 T = 0.25 (out)(err) |
zenotravel02c.wcsp.wcnf | S = OPT O = 2485 T = 0.04 |
S = OPT O = 2485 T = 0.31 (out)(err) |
S = OPT O = 2485 T = 0.55 (out)(err) |
S = OPT O = 2485 T = 0.56 (out)(err) |
S = OPT O = 2485 T = 0.35 (out)(err) |
S = OPT O = 2485 T = 7.12 (out)(err) |
S = OPT O = 2485 T = 2.98 (out)(err) |
S = OPT O = 2485 T = 9.15 (out)(err) |
S = OPT O = 2485 T = 0.04 (out)(err) |
S = OPT O = 2485 T = 1.94 (out)(err) |
S = OPT O = 2485 T = 0.16 (out)(err) |
zenotravel02cc.wcsp.wcnf | S = OPT O = 742 T = 0.04 |
S = OPT O = 742 T = 0.36 (out)(err) |
S = OPT O = 742 T = 0.56 (out)(err) |
S = OPT O = 742 T = 0.56 (out)(err) |
S = OPT O = 742 T = 1.56 (out)(err) |
S = OPT O = 742 T = 108.26 (out)(err) |
S = OPT O = 742 T = 8.18 (out)(err) |
S = OPT O = 742 T = 14.35 (out)(err) |
S = OPT O = 742 T = 0.04 (out)(err) |
S = OPT O = 742 T = 1.75 (out)(err) |
S = OPT O = 742 T = 1.18 (out)(err) |
zenotravel04bc.wcsp.wcnf | S = OPT O = 4110 T = 0.20 |
S = OPT O = 4110 T = 7.42 (out)(err) |
S = OPT O = 4110 T = 8.24 (out)(err) |
S = OPT O = 4110 T = 8.50 (out)(err) |
S = OPT O = 4110 T = 2.71 (out)(err) |
S = OPT O = 4110 T = 239.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 190756 T = TO (out)(err) |
S = OPT O = 4110 T = 0.20 (out)(err) |
S = OPT O = 4110 T = 2.81 (out)(err) |
S = OPT O = 4110 T = 1.65 (out)(err) |
zenotravel04c.wcsp.wcnf | S = OPT O = 4270 T = 0.19 |
S = OPT O = 4270 T = 9.85 (out)(err) |
S = OPT O = 4270 T = 8.24 (out)(err) |
S = OPT O = 4270 T = 9.54 (out)(err) |
S = OPT O = 4270 T = 3.20 (out)(err) |
S = OPT O = 4270 T = 351.29 (out)(err) |
S = N/A O = 4270 T = TO (out)(err) |
S = N/A O = 4270 T = TO (out)(err) |
S = OPT O = 4270 T = 0.19 (out)(err) |
S = OPT O = 4270 T = 3.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
zenotravel04cc.wcsp.wcnf | S = OPT O = 1599 T = 0.18 |
S = OPT O = 1599 T = 12.34 (out)(err) |
S = OPT O = 1599 T = 9.53 (out)(err) |
S = OPT O = 1599 T = 9.58 (out)(err) |
S = OPT O = 1599 T = 17.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 51938 T = TO (out)(err) |
S = OPT O = 1599 T = 0.18 (out)(err) |
S = OPT O = 1599 T = 2.49 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cap101.wcsp.wcnf | S = OPT O = 7966472 T = 3.94 |
S = OPT O = 7966472 T = 3.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 9728372 T = TO (out)(err) |
S = N/A O = 9633536 T = TO (out)(err) |
S = N/A O = 8210005 T = TO (out)(err) |
S = N/A O = 8210005 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap102.wcsp.wcnf | S = OPT O = 8547029 T = 5.85 |
S = OPT O = 8547029 T = 5.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 10938391 T = TO (out)(err) |
S = N/A O = 10850693 T = TO (out)(err) |
S = N/A O = 8850574 T = TO (out)(err) |
S = N/A O = 8792497 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap111.wcsp.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 80 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 13179166 T = TO (out)(err) |
S = N/A O = 13126722 T = TO (out)(err) |
S = N/A O = 8440229 T = TO (out)(err) |
S = N/A O = 8400482 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap112.wcsp.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 8 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 15843162 T = TO (out)(err) |
S = N/A O = 14427619 T = TO (out)(err) |
S = N/A O = 9055618 T = TO (out)(err) |
S = N/A O = 8987796 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap121.wcsp.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 80 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 13172815 T = TO (out)(err) |
S = N/A O = 13130301 T = TO (out)(err) |
S = N/A O = 8440229 T = TO (out)(err) |
S = N/A O = 8400482 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap122.wcsp.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 8 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 15830973 T = TO (out)(err) |
S = N/A O = 14421348 T = TO (out)(err) |
S = N/A O = 9055618 T = TO (out)(err) |
S = N/A O = 8987796 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap131.wcsp.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 7934385 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 13156560 T = TO (out)(err) |
S = N/A O = 13127542 T = TO (out)(err) |
S = N/A O = 8440229 T = TO (out)(err) |
S = N/A O = 8400482 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap132.wcsp.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 8 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 15842532 T = TO (out)(err) |
S = N/A O = 14421348 T = TO (out)(err) |
S = N/A O = 9055618 T = TO (out)(err) |
S = N/A O = 8987796 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap61.wcsp.wcnf | S = OPT O = 9326144 T = 1.83 |
S = OPT O = 9326144 T = 1.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 13646208 T = TO (out)(err) |
S = N/A O = 11607737 T = TO (out)(err) |
S = N/A O = 9403848 T = TO (out)(err) |
S = N/A O = 9403848 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap62.wcsp.wcnf | S = OPT O = 9777981 T = 0.97 |
S = OPT O = 9777981 T = 1.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 15376277 T = TO (out)(err) |
S = N/A O = 11009258 T = TO (out)(err) |
S = N/A O = 9915858 T = TO (out)(err) |
S = N/A O = 9915858 T = TO (out)(err) |
S = OPT O = 9777981 T = 0.97 (out)(err) |
cap71.wcsp.wcnf | S = OPT O = 9326144 T = 1.84 |
S = OPT O = 9326144 T = 1.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 13650725 T = TO (out)(err) |
S = N/A O = 11607737 T = TO (out)(err) |
S = N/A O = 9403848 T = TO (out)(err) |
S = N/A O = 9403848 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
cap72.wcsp.wcnf | S = OPT O = 9777981 T = 1.06 |
S = OPT O = 9777981 T = 1.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 15375219 T = TO (out)(err) |
S = N/A O = 11018027 T = TO (out)(err) |
S = N/A O = 9915858 T = TO (out)(err) |
S = N/A O = 9915858 T = TO (out)(err) |
S = OPT O = 9777981 T = 1.06 (out)(err) |
cap81.wcsp.wcnf | S = OPT O = 7966472 T = 3.91 |
S = OPT O = 7966472 T = 3.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 9727934 T = TO (out)(err) |
S = N/A O = 9630178 T = TO (out)(err) |
S = N/A O = 8210005 T = TO (out)(err) |
S = N/A O = 8210005 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap82.wcsp.wcnf | S = OPT O = 8547029 T = 5.84 |
S = OPT O = 8547029 T = 5.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 10929031 T = TO (out)(err) |
S = N/A O = 10847235 T = TO (out)(err) |
S = N/A O = 8850574 T = TO (out)(err) |
S = N/A O = 8792497 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap91.wcsp.wcnf | S = OPT O = 7966472 T = 3.90 |
S = OPT O = 7966472 T = 3.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 9733920 T = TO (out)(err) |
S = N/A O = 9661696 T = TO (out)(err) |
S = N/A O = 8210005 T = TO (out)(err) |
S = N/A O = 8210005 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
cap92.wcsp.wcnf | S = OPT O = 8547029 T = 5.79 |
S = OPT O = 8547029 T = 5.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 10932954 T = TO (out)(err) |
S = N/A O = 10855929 T = TO (out)(err) |
S = N/A O = 8850574 T = TO (out)(err) |
S = N/A O = 8792497 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
warehouse0.wcsp.wcnf | S = OPT O = 328 T = 0.00 |
S = OPT O = 328 T = 0.00 (out)(err) |
S = OPT O = 328 T = 0.32 (out)(err) |
S = OPT O = 328 T = 0.32 (out)(err) |
S = OPT O = 328 T = 0.07 (out)(err) |
S = OPT O = 328 T = 149.53 (out)(err) |
S = OPT O = 328 T = 0.03 (out)(err) |
S = OPT O = 328 T = 0.17 (out)(err) |
S = OPT O = 328 T = 0.02 (out)(err) |
S = OPT O = 328 T = 1.47 (out)(err) |
S = OPT O = 328 T = 0.01 (out)(err) |
warehouse1.wcsp.wcnf | S = OPT O = 730567 T = 0.11 |
S = OPT O = 730567 T = 0.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 730567 T = 74.51 (out)(err) |
S = OPT O = 730567 T = 15.62 (out)(err) |
S = N/A O = 757253 T = TO (out)(err) |
S = N/A O = 747087 T = TO (out)(err) |
S = OPT O = 730567 T = 0.11 (out)(err) |
normalized-mps-v2-20-10-bm23.opb.msat.wcnf | S = OPT O = 34 T = 3.17 |
S = OPT O = 34 T = 79.49 (out)(err) |
S = OPT O = 34 T = 777.48 (out)(err) |
S = OPT O = 34 T = 800.15 (out)(err) |
S = OPT O = 34 T = 95.12 (out)(err) |
S = OPT O = 34 T = 57.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 124 T = TO (out)(err) |
S = OPT O = 34 T = 3.17 (out)(err) |
S = OPT O = 34 T = 11.95 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 547769 T = TO (out)(err) |
S = N/A O = 69015 T = TO (out)(err) |
S = N/A O = 53285 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
normalized-mps-v2-20-10-l152lav.opb.msat.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 382524 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
normalized-mps-v2-20-10-lp4l.opb.msat.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 197191 T = TO (out)(err) |
S = N/A O = 3603 T = TO (out)(err) |
S = N/A O = 3900 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
normalized-mps-v2-20-10-lseu.opb.msat.wcnf | S = OPT O = 1120 T = 692.79 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 15494 T = TO (out)(err) |
S = OPT O = 1120 T = 692.79 (out)(err) |
S = N/A O = 1120 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
normalized-mps-v2-20-10-mod008.opb.msat.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 538 T = TO (out)(err) |
S = N/A O = 538 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 23554 T = TO (out)(err) |
S = N/A O = 349 T = TO (out)(err) |
S = N/A O = 359 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
normalized-mps-v2-20-10-mod010.opb.msat.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 489211 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
normalized-mps-v2-20-10-p0033.opb.msat.wcnf | S = OPT O = 3089 T = 0.03 |
S = OPT O = 3089 T = 0.03 (out)(err) |
S = OPT O = 3089 T = 0.07 (out)(err) |
S = OPT O = 3089 T = 0.07 (out)(err) |
S = OPT O = 3089 T = 12.52 (out)(err) |
S = OPT O = 3089 T = 734.07 (out)(err) |
S = OPT O = 3089 T = 0.87 (out)(err) |
S = OPT O = 3089 T = 3.62 (out)(err) |
S = OPT O = 3089 T = 0.03 (out)(err) |
S = OPT O = 3089 T = 1.63 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
normalized-mps-v2-20-10-p0040.opb.msat.wcnf | S = OPT O = 62027 T = 0.00 |
S = OPT O = 62027 T = 0.00 (out)(err) |
S = OPT O = 62027 T = 2.41 (out)(err) |
S = OPT O = 62027 T = 2.44 (out)(err) |
S = OPT O = 62027 T = 0.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 62027 T = 0.07 (out)(err) |
S = OPT O = 62027 T = 0.20 (out)(err) |
S = OPT O = 62027 T = 80.33 (out)(err) |
S = OPT O = 62027 T = 60.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
normalized-mps-v2-20-10-p0201.opb.msat.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2021 T = TO (out)(err) |
S = N/A O = 2021 T = TO (out)(err) |
S = N/A O = 1523 T = TO (out)(err) |
S = N/A O = 1523 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
normalized-mps-v2-20-10-p0548.opb.msat.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 96797 T = TO (out)(err) |
S = N/A O = 64728 T = TO (out)(err) |
S = N/A O = 45226 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
normalized-mps-v2-20-10-sentoy.opb.msat.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 9460 T = TO (out)(err) |
S = N/A O = 1785 T = TO (out)(err) |
S = N/A O = 1785 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-100-2_network-10.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 13216 T = TO (out)(err) |
S = N/A O = 164428 T = TO (out)(err) |
S = N/A O = 164428 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 115833 T = TO (out)(err) |
S = N/A O = 103348 T = TO (out)(err) |
S = N/A O = 122058 T = TO (out)(err) |
S = N/A O = 97603 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-100-2_network-3.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 128001 T = TO (out)(err) |
S = N/A O = 175 T = TO (out)(err) |
S = N/A O = 175 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.43 (out)(err) |
S = N/A O = 103115 T = TO (out)(err) |
S = N/A O = 100083 T = TO (out)(err) |
S = N/A O = 102449 T = TO (out)(err) |
S = N/A O = 94941 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-100-2_network-5.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 138468 T = TO (out)(err) |
S = N/A O = 162619 T = TO (out)(err) |
S = N/A O = 162619 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.37 (out)(err) |
S = N/A O = 103611 T = TO (out)(err) |
S = N/A O = 102443 T = TO (out)(err) |
S = N/A O = 121615 T = TO (out)(err) |
S = N/A O = 96371 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-100-2_network-6.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 13160 T = TO (out)(err) |
S = N/A O = 14 T = TO (out)(err) |
S = N/A O = 14 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.42 (out)(err) |
S = N/A O = 123475 T = TO (out)(err) |
S = N/A O = 111286 T = TO (out)(err) |
S = N/A O = 126752 T = TO (out)(err) |
S = N/A O = 103289 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-100-2_network-8.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 152 T = TO (out)(err) |
S = N/A O = 159468 T = TO (out)(err) |
S = N/A O = 159468 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.68 (out)(err) |
S = N/A O = 110792 T = TO (out)(err) |
S = N/A O = 100953 T = TO (out)(err) |
S = N/A O = 103639 T = TO (out)(err) |
S = N/A O = 99837 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-100-2_network-9.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 126848 T = TO (out)(err) |
S = N/A O = 153 T = TO (out)(err) |
S = N/A O = 153 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.33 (out)(err) |
S = N/A O = 121658 T = TO (out)(err) |
S = N/A O = 102125 T = TO (out)(err) |
S = N/A O = 118028 T = TO (out)(err) |
S = N/A O = 96412 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-200-1_network-1.net.wcnf | S = OPT O = 172132 T = 8.38 |
S = N/A O = 282 T = TO (out)(err) |
S = N/A O = 502423 T = TO (out)(err) |
S = N/A O = 502423 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.17 (out)(err) |
S = N/A O = 229074 T = TO (out)(err) |
S = N/A O = 191235 T = TO (out)(err) |
S = N/A O = 229547 T = TO (out)(err) |
S = N/A O = 183547 T = TO (out)(err) |
S = OPT O = 172132 T = 8.38 (out)(err) |
random-net-200-1_network-10.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 263753 T = TO (out)(err) |
S = N/A O = 535702 T = TO (out)(err) |
S = N/A O = 535702 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 9.75 (out)(err) |
S = N/A O = 241777 T = TO (out)(err) |
S = N/A O = 206781 T = TO (out)(err) |
S = N/A O = 238471 T = TO (out)(err) |
S = N/A O = 198726 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-200-1_network-3.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 27 T = TO (out)(err) |
S = N/A O = 548927 T = TO (out)(err) |
S = N/A O = 548927 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 234098 T = TO (out)(err) |
S = N/A O = 211833 T = TO (out)(err) |
S = N/A O = 253676 T = TO (out)(err) |
S = N/A O = 200083 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-200-1_network-4.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 25751 T = TO (out)(err) |
S = N/A O = 579101 T = TO (out)(err) |
S = N/A O = 579101 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 4.39 (out)(err) |
S = N/A O = 247491 T = TO (out)(err) |
S = N/A O = 224398 T = TO (out)(err) |
S = N/A O = 242031 T = TO (out)(err) |
S = N/A O = 214270 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-200-1_network-5.net.wcnf | S = OPT O = 182696 T = 9.24 |
S = N/A O = 253861 T = TO (out)(err) |
S = N/A O = 51421 T = TO (out)(err) |
S = N/A O = 51421 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 2.87 (out)(err) |
S = N/A O = 221561 T = TO (out)(err) |
S = N/A O = 202892 T = TO (out)(err) |
S = N/A O = 210954 T = TO (out)(err) |
S = N/A O = 192288 T = TO (out)(err) |
S = OPT O = 182696 T = 9.24 (out)(err) |
random-net-200-1_network-6.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 274625 T = TO (out)(err) |
S = N/A O = 4823 T = TO (out)(err) |
S = N/A O = 4823 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 3.46 (out)(err) |
S = N/A O = 260837 T = TO (out)(err) |
S = N/A O = 201867 T = TO (out)(err) |
S = N/A O = 220363 T = TO (out)(err) |
S = N/A O = 191362 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-200-1_network-7.net.wcnf | S = OPT O = 182968 T = 8.28 |
S = N/A O = 265143 T = TO (out)(err) |
S = N/A O = 549304 T = TO (out)(err) |
S = N/A O = 549304 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.92 (out)(err) |
S = N/A O = 245942 T = TO (out)(err) |
S = N/A O = 207315 T = TO (out)(err) |
S = N/A O = 252727 T = TO (out)(err) |
S = N/A O = 190846 T = TO (out)(err) |
S = OPT O = 182968 T = 8.28 (out)(err) |
random-net-200-1_network-8.net.wcnf | S = OPT O = 178671 T = 8.86 |
S = N/A O = 2423 T = TO (out)(err) |
S = N/A O = 5 T = TO (out)(err) |
S = N/A O = 5 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 2.34 (out)(err) |
S = N/A O = 229304 T = TO (out)(err) |
S = N/A O = 197833 T = TO (out)(err) |
S = N/A O = 232759 T = TO (out)(err) |
S = N/A O = 191067 T = TO (out)(err) |
S = OPT O = 178671 T = 8.86 (out)(err) |
random-net-200-1_network-9.net.wcnf | S = OPT O = 189194 T = 12.32 |
S = N/A O = 261479 T = TO (out)(err) |
S = N/A O = 520842 T = TO (out)(err) |
S = N/A O = 520842 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.74 (out)(err) |
S = N/A O = 229056 T = TO (out)(err) |
S = N/A O = 212766 T = TO (out)(err) |
S = N/A O = 219870 T = TO (out)(err) |
S = N/A O = 199500 T = TO (out)(err) |
S = OPT O = 189194 T = 12.32 (out)(err) |
random-net-240-1_network-1.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 333518 T = TO (out)(err) |
S = N/A O = 6 T = TO (out)(err) |
S = N/A O = 6 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 8.70 (out)(err) |
S = N/A O = 283451 T = TO (out)(err) |
S = N/A O = 250462 T = TO (out)(err) |
S = N/A O = 281628 T = TO (out)(err) |
S = N/A O = 240861 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-240-1_network-10.net.wcnf | S = OPT O = 223431 T = 12.27 |
S = N/A O = 338969 T = TO (out)(err) |
S = N/A O = 65 T = TO (out)(err) |
S = N/A O = 65 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.81 (out)(err) |
S = N/A O = 320492 T = TO (out)(err) |
S = N/A O = 249993 T = TO (out)(err) |
S = N/A O = 276973 T = TO (out)(err) |
S = N/A O = 240164 T = TO (out)(err) |
S = OPT O = 223431 T = 12.27 (out)(err) |
random-net-240-1_network-2.net.wcnf | S = OPT O = 220878 T = 18.72 |
S = N/A O = 294 T = TO (out)(err) |
S = N/A O = 680378 T = TO (out)(err) |
S = N/A O = 680378 T = TO (out)(err) |
S = N/A O = N/A T = 1659.19 (out)(err) |
S = N/A O = N/A T = 3.78 (out)(err) |
S = N/A O = 275740 T = TO (out)(err) |
S = N/A O = 244874 T = TO (out)(err) |
S = N/A O = 342590 T = TO (out)(err) |
S = N/A O = 244394 T = TO (out)(err) |
S = OPT O = 220878 T = 18.72 (out)(err) |
random-net-240-1_network-3.net.wcnf | S = OPT O = 213755 T = 10.24 |
S = N/A O = 2 T = TO (out)(err) |
S = N/A O = 666685 T = TO (out)(err) |
S = N/A O = 666685 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.05 (out)(err) |
S = N/A O = 270867 T = TO (out)(err) |
S = N/A O = 236770 T = TO (out)(err) |
S = N/A O = 267681 T = TO (out)(err) |
S = N/A O = 230210 T = TO (out)(err) |
S = OPT O = 213755 T = 10.24 (out)(err) |
random-net-240-1_network-4.net.wcnf | S = OPT O = 231994 T = 15.40 |
S = N/A O = 34 T = TO (out)(err) |
S = N/A O = 697230 T = TO (out)(err) |
S = N/A O = 697230 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 11.62 (out)(err) |
S = N/A O = 300386 T = TO (out)(err) |
S = N/A O = 259848 T = TO (out)(err) |
S = N/A O = 312424 T = TO (out)(err) |
S = N/A O = 249914 T = TO (out)(err) |
S = OPT O = 231994 T = 15.40 (out)(err) |
random-net-240-1_network-5.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 318720 T = TO (out)(err) |
S = N/A O = 676401 T = TO (out)(err) |
S = N/A O = 676401 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 2.26 (out)(err) |
S = N/A O = 307425 T = TO (out)(err) |
S = N/A O = 258035 T = TO (out)(err) |
S = N/A O = 278267 T = TO (out)(err) |
S = N/A O = 237737 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-240-1_network-6.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 301957 T = TO (out)(err) |
S = N/A O = 693902 T = TO (out)(err) |
S = N/A O = 693902 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 4.99 (out)(err) |
S = N/A O = 276436 T = TO (out)(err) |
S = N/A O = 255084 T = TO (out)(err) |
S = N/A O = 298351 T = TO (out)(err) |
S = N/A O = 249252 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-240-1_network-7.net.wcnf | S = OPT O = 219252 T = 13.54 |
S = N/A O = 33825 T = TO (out)(err) |
S = N/A O = 655518 T = TO (out)(err) |
S = N/A O = 655518 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 2.33 (out)(err) |
S = N/A O = 320683 T = TO (out)(err) |
S = N/A O = 251431 T = TO (out)(err) |
S = N/A O = 349667 T = TO (out)(err) |
S = N/A O = 239780 T = TO (out)(err) |
S = OPT O = 219252 T = 13.54 (out)(err) |
random-net-240-1_network-8.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 32644 T = TO (out)(err) |
S = N/A O = 668219 T = TO (out)(err) |
S = N/A O = 668219 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.53 (out)(err) |
S = N/A O = 311674 T = TO (out)(err) |
S = N/A O = 255973 T = TO (out)(err) |
S = N/A O = 287634 T = TO (out)(err) |
S = N/A O = 253357 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-240-1_network-9.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 320686 T = TO (out)(err) |
S = N/A O = 691281 T = TO (out)(err) |
S = N/A O = 691281 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 3.80 (out)(err) |
S = N/A O = 269181 T = TO (out)(err) |
S = N/A O = 247391 T = TO (out)(err) |
S = N/A O = 284692 T = TO (out)(err) |
S = N/A O = 232870 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-280-1_network-10.net.wcnf | S = OPT O = 256309 T = 15.13 |
S = N/A O = 377333 T = TO (out)(err) |
S = N/A O = 804627 T = TO (out)(err) |
S = N/A O = 804627 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.95 (out)(err) |
S = N/A O = 348296 T = TO (out)(err) |
S = N/A O = 288847 T = TO (out)(err) |
S = N/A O = 327036 T = TO (out)(err) |
S = N/A O = 277976 T = TO (out)(err) |
S = OPT O = 256309 T = 15.13 (out)(err) |
random-net-280-1_network-2.net.wcnf | S = OPT O = 263706 T = 26.43 |
S = N/A O = 4349 T = TO (out)(err) |
S = N/A O = 845441 T = TO (out)(err) |
S = N/A O = 845441 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.78 (out)(err) |
S = N/A O = 371566 T = TO (out)(err) |
S = N/A O = 297723 T = TO (out)(err) |
S = N/A O = 361483 T = TO (out)(err) |
S = N/A O = 283834 T = TO (out)(err) |
S = OPT O = 263706 T = 26.43 (out)(err) |
random-net-280-1_network-3.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 412093 T = TO (out)(err) |
S = N/A O = 730218 T = TO (out)(err) |
S = N/A O = 730218 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 2.61 (out)(err) |
S = N/A O = 366627 T = TO (out)(err) |
S = N/A O = 284458 T = TO (out)(err) |
S = N/A O = 378492 T = TO (out)(err) |
S = N/A O = 271619 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-280-1_network-4.net.wcnf | S = OPT O = 251789 T = 17.59 |
S = N/A O = 4271 T = TO (out)(err) |
S = N/A O = 815137 T = TO (out)(err) |
S = N/A O = 815137 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 2.06 (out)(err) |
S = N/A O = 369534 T = TO (out)(err) |
S = N/A O = 280562 T = TO (out)(err) |
S = N/A O = 317954 T = TO (out)(err) |
S = N/A O = 268620 T = TO (out)(err) |
S = OPT O = 251789 T = 17.59 (out)(err) |
random-net-280-1_network-5.net.wcnf | S = OPT O = 254206 T = 20.64 |
S = N/A O = 40358 T = TO (out)(err) |
S = N/A O = 7 T = TO (out)(err) |
S = N/A O = 7 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 3.61 (out)(err) |
S = N/A O = 374979 T = TO (out)(err) |
S = N/A O = 286926 T = TO (out)(err) |
S = N/A O = 373196 T = TO (out)(err) |
S = N/A O = 268452 T = TO (out)(err) |
S = OPT O = 254206 T = 20.64 (out)(err) |
random-net-280-1_network-6.net.wcnf | S = OPT O = 266168 T = 16.47 |
S = N/A O = 396711 T = TO (out)(err) |
S = N/A O = 7 T = TO (out)(err) |
S = N/A O = 7 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.85 (out)(err) |
S = N/A O = 346778 T = TO (out)(err) |
S = N/A O = 297944 T = TO (out)(err) |
S = N/A O = 371242 T = TO (out)(err) |
S = N/A O = 283780 T = TO (out)(err) |
S = OPT O = 266168 T = 16.47 (out)(err) |
random-net-280-1_network-7.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 353974 T = TO (out)(err) |
S = N/A O = 837237 T = TO (out)(err) |
S = N/A O = 837237 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.18 (out)(err) |
S = N/A O = 337617 T = TO (out)(err) |
S = N/A O = 293113 T = TO (out)(err) |
S = N/A O = 337011 T = TO (out)(err) |
S = N/A O = 274335 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-280-1_network-8.net.wcnf | S = OPT O = 269079 T = 26.56 |
S = N/A O = 387768 T = TO (out)(err) |
S = N/A O = 8 T = TO (out)(err) |
S = N/A O = 8 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.53 (out)(err) |
S = N/A O = 370503 T = TO (out)(err) |
S = N/A O = 310099 T = TO (out)(err) |
S = N/A O = 316493 T = TO (out)(err) |
S = N/A O = 284946 T = TO (out)(err) |
S = OPT O = 269079 T = 26.56 (out)(err) |
random-net-280-1_network-9.net.wcnf | S = OPT O = 263118 T = 17.51 |
S = N/A O = 41 T = TO (out)(err) |
S = N/A O = 805481 T = TO (out)(err) |
S = N/A O = 805481 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 2.47 (out)(err) |
S = N/A O = 338857 T = TO (out)(err) |
S = N/A O = 301306 T = TO (out)(err) |
S = N/A O = 352452 T = TO (out)(err) |
S = N/A O = 283837 T = TO (out)(err) |
S = OPT O = 263118 T = 17.51 (out)(err) |
random-net-300-1_network-1.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 40630 T = TO (out)(err) |
S = N/A O = 889061 T = TO (out)(err) |
S = N/A O = 889061 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 2.06 (out)(err) |
S = N/A O = 378105 T = TO (out)(err) |
S = N/A O = 330414 T = TO (out)(err) |
S = N/A O = 422639 T = TO (out)(err) |
S = N/A O = 305928 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-300-1_network-10.net.wcnf | S = OPT O = 267579 T = 18.20 |
S = N/A O = 4206 T = TO (out)(err) |
S = N/A O = 877159 T = TO (out)(err) |
S = N/A O = 877159 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 10.12 (out)(err) |
S = N/A O = 389213 T = TO (out)(err) |
S = N/A O = 307288 T = TO (out)(err) |
S = N/A O = 350172 T = TO (out)(err) |
S = N/A O = 285482 T = TO (out)(err) |
S = OPT O = 267579 T = 18.20 (out)(err) |
random-net-300-1_network-2.net.wcnf | S = OPT O = 293088 T = 24.59 |
S = N/A O = 426320 T = TO (out)(err) |
S = N/A O = 846150 T = TO (out)(err) |
S = N/A O = 846150 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.24 (out)(err) |
S = N/A O = 392783 T = TO (out)(err) |
S = N/A O = 337916 T = TO (out)(err) |
S = N/A O = 449180 T = TO (out)(err) |
S = N/A O = 311334 T = TO (out)(err) |
S = OPT O = 293088 T = 24.59 (out)(err) |
random-net-300-1_network-3.net.wcnf | S = OPT O = 271896 T = 25.32 |
S = N/A O = 434567 T = TO (out)(err) |
S = N/A O = 877835 T = TO (out)(err) |
S = N/A O = 877835 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 409956 T = TO (out)(err) |
S = N/A O = 304335 T = TO (out)(err) |
S = N/A O = 368973 T = TO (out)(err) |
S = N/A O = 286345 T = TO (out)(err) |
S = OPT O = 271896 T = 25.32 (out)(err) |
random-net-300-1_network-4.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 413528 T = TO (out)(err) |
S = N/A O = 891717 T = TO (out)(err) |
S = N/A O = 891717 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 2.00 (out)(err) |
S = N/A O = 389811 T = TO (out)(err) |
S = N/A O = 315985 T = TO (out)(err) |
S = N/A O = 346861 T = TO (out)(err) |
S = N/A O = 304305 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-300-1_network-5.net.wcnf | S = OPT O = 267307 T = 20.24 |
S = N/A O = 468666 T = TO (out)(err) |
S = N/A O = 836327 T = TO (out)(err) |
S = N/A O = 836327 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 4.39 (out)(err) |
S = N/A O = 339555 T = TO (out)(err) |
S = N/A O = 305639 T = TO (out)(err) |
S = N/A O = 327491 T = TO (out)(err) |
S = N/A O = 284274 T = TO (out)(err) |
S = OPT O = 267307 T = 20.24 (out)(err) |
random-net-300-1_network-6.net.wcnf | S = OPT O = 267867 T = 25.04 |
S = N/A O = 421844 T = TO (out)(err) |
S = N/A O = 840544 T = TO (out)(err) |
S = N/A O = 840544 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 4.97 (out)(err) |
S = N/A O = 369200 T = TO (out)(err) |
S = N/A O = 304996 T = TO (out)(err) |
S = N/A O = 370041 T = TO (out)(err) |
S = N/A O = 285166 T = TO (out)(err) |
S = OPT O = 267867 T = 25.04 (out)(err) |
random-net-300-1_network-7.net.wcnf | S = OPT O = 288133 T = 29.59 |
S = N/A O = 4 T = TO (out)(err) |
S = N/A O = 884843 T = TO (out)(err) |
S = N/A O = 884843 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 201.12 (out)(err) |
S = N/A O = 372960 T = TO (out)(err) |
S = N/A O = 320603 T = TO (out)(err) |
S = N/A O = 380872 T = TO (out)(err) |
S = N/A O = 309992 T = TO (out)(err) |
S = OPT O = 288133 T = 29.59 (out)(err) |
random-net-300-1_network-8.net.wcnf | S = OPT O = 275919 T = 16.59 |
S = N/A O = 408620 T = TO (out)(err) |
S = N/A O = 856575 T = TO (out)(err) |
S = N/A O = 856575 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.47 (out)(err) |
S = N/A O = 359587 T = TO (out)(err) |
S = N/A O = 312491 T = TO (out)(err) |
S = N/A O = 371667 T = TO (out)(err) |
S = N/A O = 294782 T = TO (out)(err) |
S = OPT O = 275919 T = 16.59 (out)(err) |
random-net-300-1_network-9.net.wcnf | S = OPT O = 269002 T = 19.63 |
S = N/A O = 442683 T = TO (out)(err) |
S = N/A O = 847725 T = TO (out)(err) |
S = N/A O = 847725 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 2.34 (out)(err) |
S = N/A O = 394264 T = TO (out)(err) |
S = N/A O = 304764 T = TO (out)(err) |
S = N/A O = 379052 T = TO (out)(err) |
S = N/A O = 287886 T = TO (out)(err) |
S = OPT O = 269002 T = 19.63 (out)(err) |
random-net-50-2_network-1.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 51425 T = TO (out)(err) |
S = N/A O = 71413 T = TO (out)(err) |
S = N/A O = 71413 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.14 (out)(err) |
S = N/A O = 49713 T = TO (out)(err) |
S = N/A O = 49713 T = TO (out)(err) |
S = N/A O = 52622 T = TO (out)(err) |
S = N/A O = 51188 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-50-2_network-10.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 66655 T = TO (out)(err) |
S = N/A O = 88433 T = TO (out)(err) |
S = N/A O = 88433 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.19 (out)(err) |
S = N/A O = 45420 T = TO (out)(err) |
S = N/A O = 45025 T = TO (out)(err) |
S = N/A O = 50354 T = TO (out)(err) |
S = N/A O = 46346 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-50-2_network-2.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 81264 T = TO (out)(err) |
S = N/A O = 68010 T = TO (out)(err) |
S = N/A O = 68010 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 44415 T = TO (out)(err) |
S = N/A O = 44415 T = TO (out)(err) |
S = N/A O = 54355 T = TO (out)(err) |
S = N/A O = 51706 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-50-2_network-3.net.wcnf | S = OPT O = 46924 T = 20.21 |
S = N/A O = 6 T = TO (out)(err) |
S = N/A O = 76026 T = TO (out)(err) |
S = N/A O = 76026 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46924 T = TO (out)(err) |
S = N/A O = 46924 T = TO (out)(err) |
S = N/A O = 59339 T = TO (out)(err) |
S = N/A O = 50340 T = TO (out)(err) |
S = OPT O = 46924 T = 20.21 (out)(err) |
random-net-50-2_network-4.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 74 T = TO (out)(err) |
S = N/A O = 71080 T = TO (out)(err) |
S = N/A O = 71080 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46336 T = TO (out)(err) |
S = N/A O = 46336 T = TO (out)(err) |
S = N/A O = 47431 T = TO (out)(err) |
S = N/A O = 48133 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-50-2_network-5.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 5 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 52023 T = TO (out)(err) |
S = N/A O = 52023 T = TO (out)(err) |
S = N/A O = 58828 T = TO (out)(err) |
S = N/A O = 53433 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-50-2_network-6.net.wcnf | S = OPT O = 42900 T = 47.63 |
S = N/A O = 64111 T = TO (out)(err) |
S = N/A O = 5695 T = TO (out)(err) |
S = N/A O = 5695 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 43880 T = TO (out)(err) |
S = N/A O = 43880 T = TO (out)(err) |
S = N/A O = 55923 T = TO (out)(err) |
S = N/A O = 49243 T = TO (out)(err) |
S = OPT O = 42900 T = 47.63 (out)(err) |
random-net-50-2_network-7.net.wcnf | S = OPT O = 46589 T = 25.54 |
S = N/A O = 79363 T = TO (out)(err) |
S = N/A O = 85972 T = TO (out)(err) |
S = N/A O = 85972 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 51004 T = TO (out)(err) |
S = N/A O = 48810 T = TO (out)(err) |
S = N/A O = 49356 T = TO (out)(err) |
S = N/A O = 50173 T = TO (out)(err) |
S = OPT O = 46589 T = 25.54 (out)(err) |
random-net-50-2_network-8.net.wcnf | S = OPT O = 48183 T = 790.28 |
S = OPT O = 48183 T = 1172.52 (out)(err) |
S = N/A O = 72683 T = TO (out)(err) |
S = N/A O = 72683 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 48183 T = 888.50 (out)(err) |
S = OPT O = 48183 T = 790.28 (out)(err) |
S = N/A O = 53017 T = TO (out)(err) |
S = N/A O = 49116 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-50-2_network-9.net.wcnf | S = OPT O = 49091 T = 33.68 |
S = N/A O = 6848 T = TO (out)(err) |
S = N/A O = 68810 T = TO (out)(err) |
S = N/A O = 68810 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 50645 T = TO (out)(err) |
S = N/A O = 50645 T = TO (out)(err) |
S = N/A O = 51384 T = TO (out)(err) |
S = N/A O = 51683 T = TO (out)(err) |
S = OPT O = 49091 T = 33.68 (out)(err) |
random-net-60-2_network-1.net.wcnf | S = OPT O = 53630 T = 49.43 |
S = N/A O = 100 T = TO (out)(err) |
S = N/A O = 70558 T = TO (out)(err) |
S = N/A O = 70558 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 55098 T = TO (out)(err) |
S = N/A O = 54651 T = TO (out)(err) |
S = N/A O = 57733 T = TO (out)(err) |
S = N/A O = 56827 T = TO (out)(err) |
S = OPT O = 53630 T = 49.43 (out)(err) |
random-net-60-2_network-10.net.wcnf | S = OPT O = 48504 T = 12.19 |
S = N/A O = 116 T = TO (out)(err) |
S = N/A O = 88338 T = TO (out)(err) |
S = N/A O = 88338 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.13 (out)(err) |
S = N/A O = 54516 T = TO (out)(err) |
S = N/A O = 52269 T = TO (out)(err) |
S = N/A O = 63840 T = TO (out)(err) |
S = N/A O = 52981 T = TO (out)(err) |
S = OPT O = 48504 T = 12.19 (out)(err) |
random-net-60-2_network-2.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 841 T = TO (out)(err) |
S = N/A O = 8805 T = TO (out)(err) |
S = N/A O = 8805 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 66647 T = TO (out)(err) |
S = N/A O = 59623 T = TO (out)(err) |
S = N/A O = 67895 T = TO (out)(err) |
S = N/A O = 64030 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-60-2_network-3.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 768 T = TO (out)(err) |
S = N/A O = 77 T = TO (out)(err) |
S = N/A O = 77 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 62797 T = TO (out)(err) |
S = N/A O = 61836 T = TO (out)(err) |
S = N/A O = 70981 T = TO (out)(err) |
S = N/A O = 61697 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-60-2_network-4.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 930 T = TO (out)(err) |
S = N/A O = 7148 T = TO (out)(err) |
S = N/A O = 7148 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.15 (out)(err) |
S = N/A O = 59543 T = TO (out)(err) |
S = N/A O = 59543 T = TO (out)(err) |
S = N/A O = 61582 T = TO (out)(err) |
S = N/A O = 60160 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-60-2_network-5.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 83313 T = TO (out)(err) |
S = N/A O = 121032 T = TO (out)(err) |
S = N/A O = 121032 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 63561 T = TO (out)(err) |
S = N/A O = 63117 T = TO (out)(err) |
S = N/A O = 63314 T = TO (out)(err) |
S = N/A O = 60282 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-60-2_network-6.net.wcnf | S = OPT O = 56243 T = 12.34 |
S = N/A O = 81 T = TO (out)(err) |
S = N/A O = 127629 T = TO (out)(err) |
S = N/A O = 127629 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 64273 T = TO (out)(err) |
S = N/A O = 60583 T = TO (out)(err) |
S = N/A O = 65420 T = TO (out)(err) |
S = N/A O = 60527 T = TO (out)(err) |
S = OPT O = 56243 T = 12.34 (out)(err) |
random-net-60-2_network-7.net.wcnf | S = OPT O = 55442 T = 4.60 |
S = N/A O = 102 T = TO (out)(err) |
S = N/A O = 128462 T = TO (out)(err) |
S = N/A O = 128462 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.48 (out)(err) |
S = N/A O = 56952 T = TO (out)(err) |
S = N/A O = 55536 T = TO (out)(err) |
S = N/A O = 71400 T = TO (out)(err) |
S = N/A O = 58281 T = TO (out)(err) |
S = OPT O = 55442 T = 4.60 (out)(err) |
random-net-60-2_network-8.net.wcnf | S = OPT O = 49875 T = 26.35 |
S = N/A O = 67 T = TO (out)(err) |
S = N/A O = 68428 T = TO (out)(err) |
S = N/A O = 68428 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 53945 T = TO (out)(err) |
S = N/A O = 53433 T = TO (out)(err) |
S = N/A O = 66566 T = TO (out)(err) |
S = N/A O = 55132 T = TO (out)(err) |
S = OPT O = 49875 T = 26.35 (out)(err) |
random-net-60-2_network-9.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 9346 T = TO (out)(err) |
S = N/A O = 85150 T = TO (out)(err) |
S = N/A O = 85150 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 54836 T = TO (out)(err) |
S = N/A O = 55208 T = TO (out)(err) |
S = N/A O = 64655 T = TO (out)(err) |
S = N/A O = 56803 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-80-2_network-1.net.wcnf | S = OPT O = 67550 T = 24.43 |
S = N/A O = 97568 T = TO (out)(err) |
S = N/A O = 111144 T = TO (out)(err) |
S = N/A O = 111144 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 79317 T = TO (out)(err) |
S = N/A O = 75855 T = TO (out)(err) |
S = N/A O = 76545 T = TO (out)(err) |
S = N/A O = 72934 T = TO (out)(err) |
S = OPT O = 67550 T = 24.43 (out)(err) |
random-net-80-2_network-10.net.wcnf | S = OPT O = 72607 T = 63.20 |
S = N/A O = 128 T = TO (out)(err) |
S = N/A O = 133341 T = TO (out)(err) |
S = N/A O = 133341 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 84423 T = TO (out)(err) |
S = N/A O = 80433 T = TO (out)(err) |
S = N/A O = 89198 T = TO (out)(err) |
S = N/A O = 78955 T = TO (out)(err) |
S = OPT O = 72607 T = 63.20 (out)(err) |
random-net-80-2_network-2.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 110 T = TO (out)(err) |
S = N/A O = 155954 T = TO (out)(err) |
S = N/A O = 155954 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.40 (out)(err) |
S = N/A O = 81871 T = TO (out)(err) |
S = N/A O = 79711 T = TO (out)(err) |
S = N/A O = 95520 T = TO (out)(err) |
S = N/A O = 78383 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-80-2_network-3.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 980 T = TO (out)(err) |
S = N/A O = 1015 T = TO (out)(err) |
S = N/A O = 1015 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 87779 T = TO (out)(err) |
S = N/A O = 79582 T = TO (out)(err) |
S = N/A O = 102112 T = TO (out)(err) |
S = N/A O = 79940 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-80-2_network-4.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 9392 T = TO (out)(err) |
S = N/A O = 112 T = TO (out)(err) |
S = N/A O = 112 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 92441 T = TO (out)(err) |
S = N/A O = 84006 T = TO (out)(err) |
S = N/A O = 88493 T = TO (out)(err) |
S = N/A O = 83744 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
random-net-80-2_network-5.net.wcnf | S = OPT O = 71287 T = 1631.47 |
S = N/A O = 125 T = TO (out)(err) |
S = N/A O = 113294 T = TO (out)(err) |
S = N/A O = 113294 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 87282 T = TO (out)(err) |
S = N/A O = 79795 T = TO (out)(err) |
S = N/A O = 86860 T = TO (out)(err) |
S = N/A O = 78727 T = TO (out)(err) |
S = OPT O = 71287 T = 1631.47 (out)(err) |
random-net-80-2_network-6.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 805 T = TO (out)(err) |
S = N/A O = 111526 T = TO (out)(err) |
S = N/A O = 111526 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.37 (out)(err) |
S = N/A O = 82207 T = TO (out)(err) |
S = N/A O = 78456 T = TO (out)(err) |
S = N/A O = 93453 T = TO (out)(err) |
S = N/A O = 73196 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-80-2_network-7.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 1194 T = TO (out)(err) |
S = N/A O = 140378 T = TO (out)(err) |
S = N/A O = 140378 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 87568 T = TO (out)(err) |
S = N/A O = 81798 T = TO (out)(err) |
S = N/A O = 98504 T = TO (out)(err) |
S = N/A O = 73987 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-80-2_network-8.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 1076 T = TO (out)(err) |
S = N/A O = 135380 T = TO (out)(err) |
S = N/A O = 135380 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.28 (out)(err) |
S = N/A O = 79534 T = TO (out)(err) |
S = N/A O = 77057 T = TO (out)(err) |
S = N/A O = 92880 T = TO (out)(err) |
S = N/A O = 80169 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
random-net-80-2_network-9.net.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 10873 T = TO (out)(err) |
S = N/A O = 129827 T = TO (out)(err) |
S = N/A O = 129827 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 78221 T = TO (out)(err) |
S = N/A O = 77299 T = TO (out)(err) |
S = N/A O = 85447 T = TO (out)(err) |
S = N/A O = 74807 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
1401.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 516107 T = TO (out)(err) |
S = N/A O = 483111 T = TO (out)(err) |
S = N/A O = 494103 T = TO (out)(err) |
S = N/A O = 496111 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
1403.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 530268 T = TO (out)(err) |
S = N/A O = 486257 T = TO (out)(err) |
S = N/A O = 493258 T = TO (out)(err) |
S = N/A O = 491271 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
1405.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 530456 T = TO (out)(err) |
S = N/A O = 487443 T = TO (out)(err) |
S = N/A O = 494465 T = TO (out)(err) |
S = N/A O = 487465 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
1407.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 533627 T = TO (out)(err) |
S = N/A O = 489622 T = TO (out)(err) |
S = N/A O = 497625 T = TO (out)(err) |
S = N/A O = 500619 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
1502.wcsp.dir.wcnf | S = OPT O = 28042 T = 0.03 |
S = OPT O = 28042 T = 20.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 28042 T = 0.04 (out)(err) |
S = OPT O = 28042 T = 0.20 (out)(err) |
S = OPT O = 28042 T = 0.90 (out)(err) |
S = OPT O = 28042 T = 3.29 (out)(err) |
S = N/A O = 28042 T = TO (out)(err) |
S = N/A O = 28042 T = TO (out)(err) |
S = OPT O = 28042 T = 0.03 (out)(err) |
1504.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 188331 T = TO (out)(err) |
S = N/A O = 173306 T = TO (out)(err) |
S = N/A O = 181317 T = TO (out)(err) |
S = N/A O = 178313 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
1506.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 430569 T = TO (out)(err) |
S = N/A O = 383563 T = TO (out)(err) |
S = N/A O = 387565 T = TO (out)(err) |
S = N/A O = 386562 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
28.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 276105 T = TO (out)(err) |
S = N/A O = 273105 T = TO (out)(err) |
S = N/A O = 276105 T = TO (out)(err) |
S = N/A O = 276105 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
29.wcsp.dir.wcnf | S = OPT O = 8059 T = 0.01 |
S = OPT O = 8059 T = 0.01 (out)(err) |
S = OPT O = 8059 T = 23.69 (out)(err) |
S = OPT O = 8059 T = 23.18 (out)(err) |
S = OPT O = 8059 T = 4.70 (out)(err) |
S = OPT O = 8059 T = 0.90 (out)(err) |
S = OPT O = 8059 T = 0.16 (out)(err) |
S = OPT O = 8059 T = 0.40 (out)(err) |
S = OPT O = 8059 T = 8.03 (out)(err) |
S = OPT O = 8059 T = 31.46 (out)(err) |
S = OPT O = 8059 T = 0.19 (out)(err) |
404.wcsp.dir.wcnf | S = OPT O = 114 T = 1.32 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 114 T = 1.32 (out)(err) |
S = N/A O = 114 T = TO (out)(err) |
S = N/A O = 114 T = TO (out)(err) |
S = N/A O = 114 T = TO (out)(err) |
S = N/A O = 114 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
408.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6237 T = TO (out)(err) |
S = N/A O = 6233 T = TO (out)(err) |
S = N/A O = 6232 T = TO (out)(err) |
S = N/A O = 6233 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
412.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 36410 T = TO (out)(err) |
S = N/A O = 33385 T = TO (out)(err) |
S = N/A O = 32390 T = TO (out)(err) |
S = N/A O = 35397 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
414.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46509 T = TO (out)(err) |
S = N/A O = 39495 T = TO (out)(err) |
S = N/A O = 38494 T = TO (out)(err) |
S = N/A O = 43498 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
42.wcsp.dir.wcnf | S = OPT O = 155050 T = 73.07 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 155050 T = 73.07 (out)(err) |
S = N/A O = 161050 T = TO (out)(err) |
S = N/A O = 155050 T = TO (out)(err) |
S = N/A O = 161050 T = TO (out)(err) |
S = N/A O = 160067 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
5.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 285 T = TO (out)(err) |
S = N/A O = 270 T = TO (out)(err) |
S = N/A O = 270 T = TO (out)(err) |
S = N/A O = 272 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
503.wcsp.dir.wcnf | S = OPT O = 11113 T = 0.17 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 11113 T = 0.17 (out)(err) |
S = OPT O = 11113 T = 5.87 (out)(err) |
S = N/A O = 12129 T = TO (out)(err) |
S = N/A O = 11117 T = TO (out)(err) |
S = N/A O = 11113 T = TO (out)(err) |
S = N/A O = 11119 T = TO (out)(err) |
S = OPT O = 11113 T = 9.40 (out)(err) |
505.wcsp.dir.wcnf | S = OPT O = 21253 T = 224.82 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 21253 T = 224.82 (out)(err) |
S = N/A O = 23270 T = TO (out)(err) |
S = N/A O = 22257 T = TO (out)(err) |
S = N/A O = 21259 T = TO (out)(err) |
S = N/A O = 22263 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
507.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31432 T = TO (out)(err) |
S = N/A O = 27401 T = TO (out)(err) |
S = N/A O = 27413 T = TO (out)(err) |
S = N/A O = 28412 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
509.wcsp.dir.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 43479 T = TO (out)(err) |
S = N/A O = 37460 T = TO (out)(err) |
S = N/A O = 36463 T = TO (out)(err) |
S = N/A O = 39476 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
54.wcsp.dir.wcnf | S = OPT O = 37 T = 0.12 |
S = OPT O = 37 T = 0.35 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 37 T = 2.30 (out)(err) |
S = OPT O = 37 T = 0.31 (out)(err) |
S = OPT O = 37 T = 0.12 (out)(err) |
S = OPT O = 37 T = 0.34 (out)(err) |
S = OPT O = 37 T = 0.42 (out)(err) |
S = OPT O = 37 T = 4.67 (out)(err) |
S = OPT O = 37 T = 3.80 (out)(err) |
8.wcsp.dir.wcnf | S = OPT O = 2 T = 0.00 |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.01 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.01 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.02 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.60 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
1401.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 536095 T = TO (out)(err) |
S = N/A O = 502108 T = TO (out)(err) |
S = N/A O = 502115 T = TO (out)(err) |
S = N/A O = 499112 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
1403.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 550244 T = TO (out)(err) |
S = N/A O = 504267 T = TO (out)(err) |
S = N/A O = 492263 T = TO (out)(err) |
S = N/A O = 495269 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
1405.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 548432 T = TO (out)(err) |
S = N/A O = 499450 T = TO (out)(err) |
S = N/A O = 499487 T = TO (out)(err) |
S = N/A O = 503453 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
1407.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 545612 T = TO (out)(err) |
S = N/A O = 513627 T = TO (out)(err) |
S = N/A O = 502672 T = TO (out)(err) |
S = N/A O = 499624 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
1502.wcsp.log.wcnf | S = OPT O = 28042 T = 0.03 |
S = OPT O = 28042 T = 0.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 28042 T = 0.04 (out)(err) |
S = OPT O = 28042 T = 0.24 (out)(err) |
S = OPT O = 28042 T = 0.29 (out)(err) |
S = OPT O = 28042 T = 1.17 (out)(err) |
S = N/A O = 28042 T = TO (out)(err) |
S = N/A O = 28042 T = TO (out)(err) |
S = OPT O = 28042 T = 0.03 (out)(err) |
1504.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 204310 T = TO (out)(err) |
S = N/A O = 176315 T = TO (out)(err) |
S = N/A O = 179356 T = TO (out)(err) |
S = N/A O = 177318 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
1506.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 437553 T = TO (out)(err) |
S = N/A O = 389556 T = TO (out)(err) |
S = N/A O = 386593 T = TO (out)(err) |
S = N/A O = 385570 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
28.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 278105 T = TO (out)(err) |
S = N/A O = 275125 T = TO (out)(err) |
S = N/A O = 275123 T = TO (out)(err) |
S = N/A O = 277105 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
29.wcsp.log.wcnf | S = OPT O = 8059 T = 0.05 |
S = OPT O = 8059 T = 0.05 (out)(err) |
S = OPT O = 8059 T = 38.76 (out)(err) |
S = OPT O = 8059 T = 31.24 (out)(err) |
S = OPT O = 8059 T = 0.13 (out)(err) |
S = OPT O = 8059 T = 0.67 (out)(err) |
S = OPT O = 8059 T = 1.56 (out)(err) |
S = OPT O = 8059 T = 0.35 (out)(err) |
S = OPT O = 8059 T = 6.49 (out)(err) |
S = OPT O = 8059 T = 13.38 (out)(err) |
S = OPT O = 8059 T = 84.51 (out)(err) |
404.wcsp.log.wcnf | S = OPT O = 114 T = 2.49 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 114 T = 2.49 (out)(err) |
S = OPT O = 114 T = 992.05 (out)(err) |
S = N/A O = 114 T = TO (out)(err) |
S = N/A O = 114 T = TO (out)(err) |
S = N/A O = 114 T = TO (out)(err) |
S = OPT O = 114 T = 7.97 (out)(err) |
408.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6232 T = TO (out)(err) |
S = N/A O = 6232 T = TO (out)(err) |
S = N/A O = 6233 T = TO (out)(err) |
S = N/A O = 6235 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
412.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 45382 T = TO (out)(err) |
S = N/A O = 32409 T = TO (out)(err) |
S = N/A O = 32391 T = TO (out)(err) |
S = N/A O = 34398 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
414.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 56498 T = TO (out)(err) |
S = N/A O = 40507 T = TO (out)(err) |
S = N/A O = 38499 T = TO (out)(err) |
S = N/A O = 41501 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
42.wcsp.log.wcnf | S = OPT O = 155050 T = 135.27 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 155050 T = 135.27 (out)(err) |
S = N/A O = 159050 T = TO (out)(err) |
S = N/A O = 159050 T = TO (out)(err) |
S = N/A O = 158064 T = TO (out)(err) |
S = N/A O = 162058 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
5.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 292 T = TO (out)(err) |
S = N/A O = 276 T = TO (out)(err) |
S = N/A O = 270 T = TO (out)(err) |
S = N/A O = 275 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
503.wcsp.log.wcnf | S = OPT O = 11113 T = 0.19 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 11113 T = 0.19 (out)(err) |
S = OPT O = 11113 T = 0.76 (out)(err) |
S = N/A O = 12122 T = TO (out)(err) |
S = N/A O = 11114 T = TO (out)(err) |
S = N/A O = 11115 T = TO (out)(err) |
S = N/A O = 11116 T = TO (out)(err) |
S = OPT O = 11113 T = 0.38 (out)(err) |
505.wcsp.log.wcnf | S = OPT O = 21253 T = 265.43 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 21253 T = 265.43 (out)(err) |
S = OPT O = 21253 T = 900.47 (out)(err) |
S = N/A O = 32243 T = TO (out)(err) |
S = N/A O = 21265 T = TO (out)(err) |
S = N/A O = 21260 T = TO (out)(err) |
S = N/A O = 22264 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
507.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 38402 T = TO (out)(err) |
S = N/A O = 28406 T = TO (out)(err) |
S = N/A O = 27412 T = TO (out)(err) |
S = N/A O = 28421 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
509.wcsp.log.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 51451 T = TO (out)(err) |
S = N/A O = 38465 T = TO (out)(err) |
S = N/A O = 37459 T = TO (out)(err) |
S = N/A O = 38481 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
54.wcsp.log.wcnf | S = OPT O = 37 T = 0.20 |
S = OPT O = 37 T = 1.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 37 T = 2.09 (out)(err) |
S = OPT O = 37 T = 0.20 (out)(err) |
S = OPT O = 37 T = 0.27 (out)(err) |
S = OPT O = 37 T = 0.25 (out)(err) |
S = OPT O = 37 T = 0.48 (out)(err) |
S = OPT O = 37 T = 3.57 (out)(err) |
S = OPT O = 37 T = 61.08 (out)(err) |
8.wcsp.log.wcnf | S = OPT O = 2 T = 0.00 |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.01 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.01 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.60 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |