Name | csp/radar-8-24-3-2/ normalized-radar-8-24-3-2-21.xml |
MD5SUM | 3da7530a420d27bc3a49cbac3ff7f368 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.039993 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 144 |
Number of constraints | 64 |
Maximum constraint arity | 16 |
Maximum domain size | 4 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 64 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2080181 | SAT | 0.039993 | 0.0491669 |
pcs-restart 0.3.2 (complete) | 2080174 | SAT | 0.143977 | 0.150458 |
pcs 0.3.2 (complete) | 2080173 | SAT | 0.184971 | 0.191376 |
Sugar v1.14.6+picosat (complete) | 2080178 | SAT | 1.3078 | 1.39907 |
Sugar v1.14.6+minisat (complete) | 2080179 | SAT | 1.41878 | 1.54111 |
Choco2.1.1 2009-06-10 (complete) | 2080177 | SAT | 4.00339 | 4.05485 |
Abscon 112v4 AC (complete) | 2097227 | SAT | 5.33119 | 5.43219 |
Abscon 112v4 ESAC (complete) | 2097228 | SAT | 5.66814 | 5.73528 |
Choco2.1.1b 2009-07-16 (complete) | 2116525 | SAT | 27.9757 | 28.009 |
Concrete 2009-07-14 (complete) | 2080175 | SAT | 540.224 | 542.813 |
SAT4J CSP 2.1.1 (complete) | 2080172 | ? | 344.589 | 353.099 |
Concrete DC 2009-07-14 (complete) | 2080176 | ? (TO) | 1800 | 1806.62 |
bpsolver 09 (complete) | 2080182 | ? (TO) | 1800.06 | 1811.21 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 2 0 1 3 0 0 3 0 0 0 0 0 0 0 0 3 0 1 0 0 1 0 0 0 0 0 2 0 0 3 0 0 1 0 2 2 0 1 0 3 3 0 3 0 0 0 3 3 3 3 2 1 3 0 0 0 0 0 0 3 3 0 1 3 3 3 0 0 0 0 0 3 0 0 0 0 2 2 3 3 0 0 0 0 1 0 0 0 1 0 3 2 2 0 0 1 0 0 0 0 0 3 0 0 3 3 0 2 2 0 0 0 1 3 1 0 0 3 2 0 0 0 0 3 0 0 0 0 0 1 1 0 2 0 0 0 2 0 2 0 0 1 3