Name | csp/graphColoring/hos/ normalized-ash958GPIA-4.xml |
MD5SUM | d6cdc053ccfd3d3b7a9392bd856aecbd |
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.495923 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1916 |
Number of constraints | 12506 |
Maximum constraint arity | 2 |
Maximum domain size | 4 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 12506 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
pcs 0.3.2 (complete) | 2085585 | SAT | 0.495923 | 0.497616 |
pcs-restart 0.3.2 (complete) | 2085586 | SAT | 0.537917 | 0.545578 |
Mistral 1.545 (complete) | 2085593 | SAT | 0.619905 | 0.622275 |
Sugar v1.14.6+minisat (complete) | 2085591 | SAT | 3.72243 | 3.86583 |
Sugar v1.14.6+picosat (complete) | 2085590 | SAT | 4.77227 | 4.90146 |
Abscon 112v4 AC (complete) | 2098211 | SAT | 5.14822 | 5.23679 |
Abscon 112v4 ESAC (complete) | 2098212 | SAT | 6.535 | 6.57737 |
SAT4J CSP 2.1.1 (complete) | 2085584 | SAT | 7.16991 | 7.25289 |
Choco2.1.1 2009-06-10 (complete) | 2085589 | SAT | 7.8918 | 7.94635 |
Choco2.1.1b 2009-07-16 (complete) | 2117017 | SAT | 17.7843 | 17.9894 |
Concrete 2009-07-14 (complete) | 2085587 | SAT | 37.4983 | 37.7244 |
Concrete DC 2009-07-14 (complete) | 2085588 | SAT | 66.8908 | 67.5881 |
bpsolver 09 (complete) | 2085594 | SAT | 936.729 | 939.39 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 3 0 1 0 2 0 2 0 1 3 2 3 1 2 1 3 2 3 0 1 0 2 0 1 0 2 3 1 3 0 2 0 3 0 1 0 2 0 1 3 2 1 2 1 3 1 0 1 3 2 3 1 0 1 2 1 0 2 0 3 0 3 1 0 2 3 2 0 1 3 1 3 2 0 2 3 0 3 1 2 0 3 2 3 1 2 1 2 1 0 1 0 1 0 3 0 1 1 3 0 2 0 3 1 3 2 3 2 3 1 0 2 0 3 0 3 1 2 0 0 3 2 3 2 1 0 1 2 3 2 3 2 3 0 1 0 1 0 2 3 1 1 0 2 3 2 0 2 3 2 0 2 3 1 3 1 0 2 3 2 3 0 3 2 3 0 1 2 0 1 3 2 3 1 3 2 0 0 3 1 2 0 3 3 0 3 0 1 0 3 2 3 1 0 2 2 1 3 0 3 0 3 1 3 0 3 0 3 2 1 2 1 3 1 3 0 3 3 1 0 1 0 2 0 1 0 2 0 2 0 3 1 2 1 0 3 2 3 0 3 0 3 1 2 0 2 1 2 0 2 0 2 1 1 0 3 2 1 2 3 0 0 3 0 1 3 1 3 1 0 1 3 1 0 1 2 0 2 3 2 0 0 3 1 3 0 2 0 1 3 2 0 2 2 0 3 1 0 2 3 1 0 1 2 0 3 0 3 1 2 1 3 1 2 1 2 3 0 1 0 2 3 1 0 1 0 2 0 1 3 1 0 2 1 3 2 3 2 0 2 1 3 1 3 1 1 0 2 0 2 3 2 0 2 3 2 1 2 1 2 1 0 3 1 2 0 3 0 3 0 2 0 2 1 2 2 3 1 0 1 3 3 0 1 2 3 2 3 0 0 3 1 2 0 3 0 2 1 3 1 0 1 2 2 0 3 1 3 1 3 0 3 0 3 1 3 2 3 2 3 2 2 1 3 1 3 2 3 2 3 0 1 2 2 3 1 3 1 0 3 0 1 2 3 2 1 2 3 0 1 2 1 2 1 3 1 3 1 2 1 2 0 3 2 0 3 1 0 3 1 3 1 2 1 2 1 2 3 0 3 1 3 0 2 1 0 3 2 3 0 3 2 1 1 0 2 1 2 3 0 1 2 0 3 0 2 0 2 1 2 0 2 1 2 0 3 0 1 0 1 0 1 0 1 3 2 0 2 1 0 3 0 1 3 0 3 0 3 2 1 2 3 2 1 3 3 1 3 1 2 0 2 0 2 3 1 3 1 0 0 3 0 3 2 1 3 0 2 1 0 3 0 1 2 1 0 1 2 3 2 1 2 0 2 0 2 0 3 0 3 1 3 2 1 0 1 0 3 0 1 2 3 2 3 0 3 1 3 2 2 3 2 1 0 1 2 3 2 3 2 1 0 1 3 1 3 1 3 2 1 2 0 1 3 1 0 2 3 2 3 1 3 1 0 1 0 1 3 2 0 2 1 2 1 2 3 0 0 1 0 1 0 3 2 1 2 3 2 3 2 0 2 3 0 1 3 2 0 1 3 2 1 0 1 0 1 2 3 2 3 0 3 1 0 2 3 2 2 0 1 3 2 3 1 0 1 3 0 2 0 3 1 0 2 0 1 3 2 3 2 3 3 0 2 1 0 2 1 3 1 2 1 3 2 0 1 0 1 3 0 3 0 1 2 1 2 3 0 1 2 0 1 3 1 2 1 3 1 2 0 3 0 2 1 2 1 2 1 0 1 3 2 0 2 3 1 2 1 3 1 3 0 3 3 0 2 1 2 0 0 1 0 3 0 3 2 3 2 1 0 1 0 3 0 3 0 3 2 3 2 1 2 1 2 1 3 1 2 0 3 2 3 0 0 2 1 3 0 3 3 0 3 2 1 0 2 3 0 1 0 3 2 3 3 2 0 2 1 0 1 2 3 0 1 2 0 1 0 2 3 1 3 2 3 1 2 0 2 1 1 0 3 0 3 2 1 2 3 2 0 1 0 2 3 2 0 1 1 2 1 2 1 3 0 2 3 2 3 2 2 0 1 0 2 3 1 3 0 3 2 1 2 1 2 0 3 1 3 0 1 0 1 0 1 2 3 1 0 1 3 2 1 2 0 3 1 2 0 3 0 2 3 2 3 0 1 0 1 0 1 3 3 2 0 1 0 2 0 2 0 2 3 1 1 3 1 0 1 3 0 1 2 1 2 3 0 3 2 1 0 2 1 3 0 2 0 3 1 2 1 3 1 3 2 3 1 0 2 3 2 3 0 1 2 1 2 3 0 2 3 2 3 1 0 1 0 1 3 1 0 1 2 1 3 0 2 1 2 0 2 0 3 0 2 1 3 0 2 1 2 0 3 1 1 0 3 0 1 0 2 3 2 1 0 1 3 2 3 1 3 1 0 2 0 3 1 2 1 2 3 0 3 0 1 2 0 3 2 1 0 3 2 3 2 1 3 0 0 3 2 1 1 0 0 2 3 0 0 1 3 2 1 0 1 0 1 2 1 2 0 3 0 2 1 3 0 2 0 2 3 2 3 1 2 0 2 3 1 3 1 0 2 3 2 0 1 3 2 3 1 3 3 0 1 0 1 2 1 3 0 3 1 3 0 3 0 1 3 2 0 2 3 1 3 2 0 2 0 1 0 2 0 3 0 2 2 3 1 3 3 1 3 0 2 1 3 1 3 0 2 1 0 1 2 1 0 2 1 3 1 0 1 0 2 3 3 2 0 1 2 1 0 3 2 1 0 3 3 0 3 0 3 0 2 0 2 1 3 0 0 3 0 1 2 1 2 3 1 3 2 1 3 0 3 0 0 1 2 1 2 3 0 3 0 1 2 1 0 1 2 3 2 1 3 0 1 0 1 2 3 0 3 2 0 3 0 2 1 3 0 2 0 2 1 3 1 2 2 1 3 1 2 0 3 2 0 1 0 2 3 1 3 0 3 0 2 1 2 1 0 3 0 1 2 1 0 3 0 2 0 3 0 3 1 3 1 2 3 0 2 1 2 0 3 1 0 3 0 2 1 3 0 2 0 3 3 0 1 2 0 2 1 3 1 0 2 3 2 1 0 1 0 2 1 2 0 3 0 2 1 2 1 3 0 3 1 0 1 2 3 0 1 2 1 3 0 3 1 3 2 0 1 0 2 0 2 0 0 2 3 1 0 1 2 0 1 3 1 3 2 3 0 3 0 3 0 2 2 1 2 1 3 1 3 0 1 0 1 2 1 0 1 2 3 1 2 0 1 0 2 0 1 0 2 0 2 3 2 3 2 1 0 3 0 2 2 3 0 3 2 3 2 1 0 1 3 2 3 1 0 1 3 1 3 1 0 3 0 2 1 2 3 0 3 2 0 3 1 2 1 2 0 3 1 3 2 3 0 3 0 2 3 1 0 2 1 2 0 2 1 3 0 3 2 0 2 1 1 3 2 3 1 3 2 0 0 2 1 3 1 2 0 3 0 3 1 0 1 3 2 3 2 1 2 1 2 3 0 2 0 2 0 1 3 1 0 2 2 0 2 3 1 3 1 3 2 3 2 0 3 0 0 1 3 1 3 0 1 0 1 3 0 3 0 2 1 3 0 1 0 2 3 2 2 0 3 1 2 1 3 1 2 0 0 2 0 1 0 1 0 1 2 1 2 1 3 0 2 0 3 0 1 0 0 2 1 2 1 3 1 2 2 1 2 0 3 0 3 2 1 2 3 0 1 0 1 0 2 0 1 3 2 0 2 3 2 1 3 0 1 0 3 2 1 0 2 3 1 3 2 3 1 3 1 0 1 2 1 0 2 3 2 3 0 3 0 3 3 1 3 2 0 2 3 2 0 1 2 1 0 3 0 2 1 3 1 2 3 1 3 2 3 1 0 2 1 3 0 3 1 3 0 2 0 2 0 1 2 0 2 1 3 1 2 1 3 2 0 1 2 3 2 3 1 0 1 0 1 2 1 2 3 0 3 1 3 1 2 0 2 1 1 0 1 3 3 0 2 0 3 0 2 0 0 1 2 0 2 1 3 0 1 0 0 1 3 2 2 1 0 3 1 3 0 3 0 3 1 3 3 2 0 1 2 1 2 3 1 0 1 0 3 0 2 0 0 2 0 1 3 2 0 3 2 1 2 3 0 3 0 1 2 1 0 2 0 1 1 2 3 2 3 0 3 1 3 1 0 2 0 2 0 3 1 3 2 3 1 2 3 2 3 1 3 1 3 0 2 1 0 1 2 1 2 0 2 3 1 3 0 3 1 0 1 2 3 2 3 1 0 1 2 1 2 3 0 1 1 2 0 2 0 3 1 2 3 0 3 2 1 3 2 0 1 2