| Label | Meaning |
|---|---|
| S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
| O | Best solution found |
| T | CPU time (TO for Time Out) |
| (out)(err) | Standard output and standard error for each solver |
| Color | Meaning for Complete Solvers | Meaning for Incomplete Solvers |
|---|---|---|
| Text | Best solver column | Best solver column |
| Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
| Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
| Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
| Text | Time Out | Time Out |
| Text | Buggy solution | Buggy solution |
| Instance file name | Best solver | CCAT | CCLS2014 | CCMPA | Dist | SAT4J-ms-inc | Swcca_ms | WPM-2014-in | optimax2-r-i | optimax2-rn-i |
|---|---|---|---|---|---|---|---|---|---|---|
| rsdecoder-debug.dimacs.cnf | O = 1 T = 4.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17371 T = 257.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 4.12 (out)(err) |
O = 1 T = 4.09 (out)(err) |
O = 1 T = 4.16 (out)(err) |
| sudoku-debug.dimacs.cnf | O = 1 T = 4.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3032 T = 256.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 20.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 4.37 (out)(err) |
O = 1 T = 9.03 (out)(err) |
O = 1 T = 11.77 (out)(err) |
| wb-debug.dimacs.cnf | O = 28 T = 2.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3759 T = 270.53 (out)(err) |
O = 78160 T = 242.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 2.05 (out)(err) |
O = 28 T = 21.92 (out)(err) |
O = 28 T = 1.99 (out)(err) |
| SM_AS_TOP_buggy1.dimacs.filtered.cnf | O = 84 T = 1.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3347 T = 280.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 84 T = 1.22 (out)(err) |
O = N/A T = TO (out)(err) |
| SM_MAIN_MEM_buggy1.dimacs.filtered.cnf | O = 577 T = 6.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25194 T = 269.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 577 T = 6.48 (out)(err) |
O = 577 T = 6.73 (out)(err) |
| SM_RX_TOP.dimacs.filtered.cnf | O = 6 T = 34.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5159 T = 278.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 34.58 (out)(err) |
O = 6 T = 84.43 (out)(err) |
O = 322 T = 5.59 (out)(err) |
| b15-bug-fourvec-gate-0.dimacs.seq.filtered.cnf | O = 4 T = 2.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18769 T = 258.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4 T = 2.81 (out)(err) |
O = 4 T = 3.28 (out)(err) |
O = N/A T = TO (out)(err) |
| c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf | O = 4 T = 1.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5575 T = 264.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4 T = 29.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4 T = 1.58 (out)(err) |
O = 4 T = 1.80 (out)(err) |
O = N/A T = TO (out)(err) |
| c2_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf | O = 4 T = 6.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8690 T = 271.25 (out)(err) |
O = 165705 T = 248.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4 T = 6.76 (out)(err) |
O = 4 T = 12.53 (out)(err) |
O = 24 T = 3.08 (out)(err) |
| c4_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf | O = 8 T = 3.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9544 T = 242.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 3.43 (out)(err) |
O = 8 T = 4.42 (out)(err) |
O = N/A T = TO (out)(err) |
| c4_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf | O = 4 T = 2.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4404 T = 249.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4 T = 2.03 (out)(err) |
O = 4 T = 2.57 (out)(err) |
O = 4 T = 2.56 (out)(err) |
| c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf | O = 8 T = 1.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2876 T = 266.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 1.55 (out)(err) |
O = 8 T = 6.74 (out)(err) |
O = 22 T = 3.62 (out)(err) |
| c5_DD_s3_f1_e1_v2-bug-gate-0.dimacs.seq.filtered.cnf | O = 8 T = 1.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2811 T = 263.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 1.51 (out)(err) |
O = 8 T = 6.74 (out)(err) |
O = 20 T = 4.30 (out)(err) |
| c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf | O = 8 T = 1.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4273 T = 264.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 1.28 (out)(err) |
O = 8 T = 1.69 (out)(err) |
O = 8 T = 1.60 (out)(err) |
| divider-problem.dimacs_11.filtered.cnf | O = 9 T = 2.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7061 T = 280.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11 T = 1.48 (out)(err) |
O = 9 T = 2.63 (out)(err) |
| divider-problem.dimacs_2.filtered.cnf | O = 2 T = 135.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7304 T = 278.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 135.39 (out)(err) |
O = 2 T = 201.60 (out)(err) |
| divider-problem.dimacs_5.filtered.cnf | O = 11 T = 11.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7718 T = 278.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 834 T = 3.88 (out)(err) |
O = 11 T = 11.58 (out)(err) |
| divider-problem.dimacs_8.filtered.cnf | O = 10 T = 3.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8405 T = 279.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 51 T = 2.51 (out)(err) |
O = 10 T = 3.39 (out)(err) |
| dividers10.dimacs.filtered.cnf | O = 2 T = 0.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 707 T = 282.47 (out)(err) |
O = 210 T = 240.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 27.04 (out)(err) |
O = 2 T = 0.48 (out)(err) |
| dividers_multivec1.dimacs.filtered.cnf | O = 2 T = 2.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2789 T = 277.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 2.36 (out)(err) |
O = 2 T = 4.86 (out)(err) |
O = 2 T = 28.18 (out)(err) |
| fpu_multivec1-problem.dimacs_14.filtered.cnf | O = 2 T = 4.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7098 T = 274.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 77.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 4.47 (out)(err) |
O = 2 T = 20.18 (out)(err) |
O = 2 T = 16.51 (out)(err) |
| i2c-problem.dimacs_25.filtered.cnf | O = 2 T = 12.42 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 10637 T = 270.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 12.42 (out)(err) |
O = 2 T = 242.24 (out)(err) |
O = 9 T = 46.58 (out)(err) |
| i2c-problem.dimacs_26.filtered.cnf | O = 2 T = 24.98 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7932 T = 272.90 (out)(err) |
O = 166362 T = 246.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 24.98 (out)(err) |
O = 4 T = 3.31 (out)(err) |
| mem_ctrl-problem.dimacs_27.filtered.cnf | O = 393801 T = 199.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 393801 T = 199.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| mem_ctrl1.dimacs.filtered.cnf | O = 1 T = 10.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13744 T = 265.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 10.23 (out)(err) |
O = 13 T = 7.44 (out)(err) |
O = N/A T = TO (out)(err) |
| mem_ctrl2_blackbox_mc_dp-problem.dimacs_28.filtered.cnf | O = 3 T = 29.79 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 29344 T = 249.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3 T = 29.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = 611 T = 25.62 (out)(err) |
| mrisc_mem2wire-problem.dimacs_29.filtered.cnf | O = 1 T = 8.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25930 T = 270.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 21.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 8.39 (out)(err) |
O = 1 T = 16.03 (out)(err) |
O = 8 T = 18.69 (out)(err) |
| rsdecoder-problem.dimacs_31.filtered.cnf | O = 3 T = 34.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28226 T = 257.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3 T = 254.37 (out)(err) |
O = 3 T = 34.32 (out)(err) |
O = N/A T = TO (out)(err) |
| rsdecoder-problem.dimacs_36.filtered.cnf | O = 1 T = 20.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28605 T = 254.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 20.74 (out)(err) |
O = 761 T = 64.47 (out)(err) |
O = 87 T = 87.20 (out)(err) |
| rsdecoder-problem.dimacs_37.filtered.cnf | O = 71 T = 283.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 35893 T = 250.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 109 T = 284.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 71 T = 283.60 (out)(err) |
| rsdecoder-problem.dimacs_38.filtered.cnf | O = 24 T = 99.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28292 T = 257.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 492 T = 56.63 (out)(err) |
O = 24 T = 99.33 (out)(err) |
| rsdecoder-problem.dimacs_39.filtered.cnf | O = 1 T = 40.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28212 T = 256.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 129.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 40.67 (out)(err) |
O = 2067 T = 64.55 (out)(err) |
O = 101 T = 108.08 (out)(err) |
| rsdecoder-problem.dimacs_40.filtered.cnf | O = 1 T = 28.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28901 T = 255.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 28.65 (out)(err) |
O = 679 T = 26.63 (out)(err) |
O = 16 T = 58.91 (out)(err) |
| rsdecoder-problem.dimacs_41.filtered.cnf | O = 153 T = 84.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27794 T = 256.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3013 T = 55.58 (out)(err) |
O = 153 T = 84.14 (out)(err) |
| rsdecoder1_blackbox_CSEEblock-problem.dimacs_32.filtered.cnf | O = 13 T = 21.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4703 T = 270.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 345 T = 284.54 (out)(err) |
O = 373 T = 4.11 (out)(err) |
O = 13 T = 21.30 (out)(err) |
| rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.cnf | O = 659 T = 284.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7272 T = 263.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 659 T = 284.83 (out)(err) |
O = 661 T = 7.15 (out)(err) |
O = 53 T = 58.22 (out)(err) |
| rsdecoder2.dimacs.filtered.cnf | O = 1 T = 52.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12869 T = 268.11 (out)(err) |
O = 205618 T = 255.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 52.04 (out)(err) |
O = 225 T = 5.20 (out)(err) |
O = 79 T = 46.89 (out)(err) |
| rsdecoder4.dimacs.filtered.cnf | O = 4 T = 16.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7145 T = 271.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 394 T = 6.12 (out)(err) |
O = 4 T = 16.47 (out)(err) |
| rsdecoder5.dimacs.filtered.cnf | O = 8 T = 11.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6939 T = 271.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 80 T = 284.47 (out)(err) |
O = 80 T = 1.70 (out)(err) |
O = 8 T = 11.10 (out)(err) |
| rsdecoder6.dimacs.filtered.cnf | O = 80 T = 1.62 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7041 T = 269.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 80 T = 1.62 (out)(err) |
O = 8 T = 12.55 (out)(err) |
| rsdecoder_fsm2.dimacs.filtered.cnf | O = 2 T = 51.57 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6969 T = 272.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 51.57 (out)(err) |
O = 8 T = 23.05 (out)(err) |
| rsdecoder_multivec1-problem.dimacs_33.filtered.cnf | O = 1011 T = 16.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17712 T = 260.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1011 T = 16.23 (out)(err) |
O = 1011 T = 18.88 (out)(err) |
| rsdecoder_multivec1.dimacs.filtered.cnf | O = 4 T = 2.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13047 T = 269.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4 T = 2.66 (out)(err) |
O = N/A T = TO (out)(err) |
| wb-problem.dimacs_45.filtered.cnf | O = 14 T = 2.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4476 T = 264.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 2.12 (out)(err) |
O = 14 T = 11.32 (out)(err) |
O = 29 T = 1.44 (out)(err) |
| wb-problem.dimacs_46.filtered.cnf | O = 476 T = 19.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5484 T = 266.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 476 T = 19.52 (out)(err) |
O = 625 T = 1.31 (out)(err) |
O = 625 T = 1.39 (out)(err) |
| wb1.dimacs.filtered.cnf | O = 218 T = 2.04 |
O = N/A T = TO (out)(err) |
O = 703 T = 227.69 (out)(err) |
O = 611 T = 261.52 (out)(err) |
O = 723 T = 253.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 218 T = 2.04 (out)(err) |
O = 218 T = 25.49 (out)(err) |
O = 404 T = 0.25 (out)(err) |
| wb2.dimacs.filtered.cnf | O = 588 T = 21.82 |
O = N/A T = TO (out)(err) |
O = 1045 T = 248.93 (out)(err) |
O = 1006 T = 264.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 588 T = 21.82 (out)(err) |
O = 588 T = 64.94 (out)(err) |
O = 812 T = 0.25 (out)(err) |
| wb_4m8s-problem.dimacs_47.filtered.cnf | O = 59928 T = 223.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 59928 T = 223.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| wb_4m8s-problem.dimacs_48.filtered.cnf | O = 62129 T = 222.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 62129 T = 222.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| wb_4m8s-problem.dimacs_49.filtered.cnf | O = 63548 T = 224.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 63548 T = 224.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| wb_4m8s1.dimacs.filtered.cnf | O = 460 T = 3.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14501 T = 265.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 460 T = 3.14 (out)(err) |
O = N/A T = TO (out)(err) |
| wb_4m8s3.dimacs.filtered.cnf | O = 8 T = 4.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14544 T = 266.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 4.55 (out)(err) |
O = 8 T = 18.23 (out)(err) |
O = N/A T = TO (out)(err) |
| wb_4m8s4.dimacs.filtered.cnf | O = 14667 T = 268.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14667 T = 268.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| wb_conmax1.dimacs.filtered.cnf | O = 54 T = 2.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7338 T = 276.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 54 T = 284.40 (out)(err) |
O = 54 T = 2.02 (out)(err) |
O = N/A T = TO (out)(err) |
| wb_conmax3.dimacs.filtered.cnf | O = 33 T = 52.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7406 T = 276.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 52.71 (out)(err) |
O = N/A T = TO (out)(err) |