| Name | csp/rand-2-30-15-fcd/ normalized-rand-2-30-15-306-230-fcd-33_ext.xml |
| MD5SUM | 028d10d8971f4a97d19c992454652154 |
| Bench Category | 2-ARY-EXT (binary constraints in extension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.038993 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 30 |
| Number of constraints | 229 |
| Maximum constraint arity | 2 |
| Maximum domain size | 15 |
| Number of constraints which are defined in extension | 229 |
| Number of constraints which are defined in intension | 0 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2090433 | SAT | 0.038993 | 0.045453 |
| bpsolver 09 (complete) | 2090434 | SAT | 0.687895 | 0.694794 |
| pcs-restart 0.3.2 (complete) | 2090426 | SAT | 0.854869 | 0.854333 |
| Choco2.1.1 2009-06-10 (complete) | 2090429 | SAT | 0.964852 | 1.00161 |
| Abscon 112v4 AC (complete) | 2099091 | SAT | 0.994847 | 1.04306 |
| Conquer 2009-07-10 (complete) | 2090432 | SAT | 1.18182 | 1.36929 |
| Abscon 112v4 ESAC (complete) | 2099092 | SAT | 1.23381 | 1.31246 |
| Choco2.1.1b 2009-07-16 (complete) | 2117457 | SAT | 1.2958 | 1.30175 |
| Sugar v1.14.6+picosat (complete) | 2090430 | SAT | 2.27465 | 2.33359 |
| pcs 0.3.2 (complete) | 2090425 | SAT | 2.91456 | 2.94801 |
| Concrete 2009-07-14 (complete) | 2090427 | SAT | 3.08553 | 3.11902 |
| Concrete DC 2009-07-14 (complete) | 2090428 | SAT | 3.09653 | 3.14624 |
| Sugar v1.14.6+minisat (complete) | 2090431 | SAT | 3.33249 | 3.47261 |
| SAT4J CSP 2.1.1 (complete) | 2090424 | SAT | 4.45832 | 4.47614 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:6 1 1 9 13 13 13 12 8 7 7 2 2 9 13 4 10 0 11 11 6 10 7 6 8 0 14 3 2 12