Name | csp/super-os/super-os-taillard-5/ normalized-super-os-taillard-5-16.xml |
MD5SUM | 6a38acd16dff1fe9fcb7068876948514 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.051991 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 325 |
Maximum constraint arity | 2 |
Maximum domain size | 325 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 325 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2081050 | SAT | 0.051991 | 0.057148 |
pcs-restart 0.3.2 (complete) | 2081043 | SAT | 1.00385 | 1.02033 |
Sugar v1.14.6+minisat (complete) | 2081048 | SAT | 1.36779 | 1.47793 |
Concrete 2009-07-14 (complete) | 2081044 | SAT | 2.02669 | 2.11285 |
Sugar v1.14.6+picosat (complete) | 2081047 | SAT | 2.71259 | 2.77646 |
Abscon 112v4 AC (complete) | 2097385 | SAT | 2.89256 | 2.97564 |
Abscon 112v4 ESAC (complete) | 2097386 | SAT | 2.91156 | 2.9771 |
Choco2.1.1 2009-06-10 (complete) | 2081046 | SAT | 3.3005 | 3.38275 |
bpsolver 09 (complete) | 2081051 | SAT | 3.9244 | 3.9269 |
pcs 0.3.2 (complete) | 2081042 | SAT | 5.34419 | 5.39818 |
Choco2.1.1b 2009-07-16 (complete) | 2116604 | SAT | 13.113 | 13.2638 |
SAT4J CSP 2.1.1 (complete) | 2081041 | SAT | 94.8126 | 94.8646 |
Concrete DC 2009-07-14 (complete) | 2081045 | SAT | 121.874 | 123.239 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 1 132 133 235 234 174 173 6 5 56 55 234 0 265 264 137 138 260 5 278 264 57 58 0 10 120 119 137 153 174 188 243 240 0 1 62 61 140 141 140 148 62 61 99 103 1 0 246 238