| Name | csp/graphColoring/sgb/ miles/normalized-miles750-31.xml |
| MD5SUM | 31101db1447f46ef595da405d40c958b |
| 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.095984 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 128 |
| Number of constraints | 2113 |
| Maximum constraint arity | 2 |
| Maximum domain size | 31 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 2113 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2085395 | SAT | 0.095984 | 0.103773 |
| pcs-restart 0.3.2 (complete) | 2085388 | SAT | 0.112981 | 0.120402 |
| pcs 0.3.2 (complete) | 2085387 | SAT | 0.112982 | 0.120693 |
| bpsolver 09 (complete) | 2085396 | SAT | 0.58491 | 0.598744 |
| Abscon 112v4 AC (complete) | 2098175 | SAT | 1.47378 | 1.52024 |
| Abscon 112v4 ESAC (complete) | 2098176 | SAT | 1.48877 | 1.51294 |
| Sugar v1.14.6+minisat (complete) | 2085393 | SAT | 1.89771 | 2.17993 |
| Choco2.1.1 2009-06-10 (complete) | 2085391 | SAT | 2.39264 | 2.46626 |
| Choco2.1.1b 2009-07-16 (complete) | 2116999 | SAT | 2.49462 | 2.53357 |
| Concrete 2009-07-14 (complete) | 2085389 | SAT | 2.92755 | 2.98557 |
| Sugar v1.14.6+picosat (complete) | 2085392 | SAT | 3.00654 | 3.1784 |
| Concrete DC 2009-07-14 (complete) | 2085390 | SAT | 6.557 | 6.67981 |
| SAT4J CSP 2.1.1 (complete) | 2085386 | SAT | 15.1587 | 15.3617 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:5 3 30 3 1 1 14 19 29 8 8 22 23 13 25 23 0 24 21 17 28 28 20 0 15 4 3 25 30 12 0 26 3 0 2 29 27 14 7 5 24 5 20 3 22 30 29 0 1 7 26 27 19 26 21 2 6 20 2 0 11 24 4 22 28 6 29 1 18 19 27 2 10 29 28 0 27 6 2 25 3 26 16 30 6 1 4 30 24 27 5 29 9 10 29 10 30 30 11 8 12 24 1 0 22 28 26 26 23 28 5 1 21 9 7 13 1 4 27 28 27 25 2 23 11 23 4 4