CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/graphColoring/register/inithx/
normalized-inithx-i-2-31.xml

Jump to solvers results

General information on the benchmark

Namecsp/graphColoring/register/inithx/
normalized-inithx-i-2-31.xml
MD5SUMc7bb75d27e751c8a1fe1ab3ba19c7021
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.546916
Satisfiable
(Un)Satisfiability was proved
Number of variables645
Number of constraints13979
Maximum constraint arity2
Maximum domain size31
Number of constraints which are defined in extension0
Number of constraints which are defined in intension13979
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131088908SAT 0.546916 0.553829
MDG-probe 2008-06-271088897SAT 0.561914 0.570082
cpHydra k_101088913SAT 0.563913 0.570229
MDG-noprobe 2008-06-271088898SAT 0.564914 0.577618
cpHydra k_401088914SAT 0.568912 0.5834
Mistral-option 1.3141088907SAT 0.641901 0.654717
bpsolver 2008-06-271088902SAT 2.01469 2.03555
casper zito1088910SAT 2.42763 2.45781
casper zao1088909SAT 3.00054 3.02406
Minion/Tailor 2008-07-041105737SAT 3.12052 3.18947
Sugar v1.13+minisat1088901SAT 6.24905 6.41454
Abscon 112v4 ESAC1088912SAT 8.14776 8.23603
Abscon 112v4 AC1088911SAT 9.35558 9.43252
choco2_dwdeg 2008-06-261088904SAT 10.8404 10.8894
choco2_impwdeg 2008-06-261088903SAT 12.82 12.9297
Sugar v1.13+picosat1088900SAT 14.6728 14.7971
galac M1088905SAT 22.6146 22.8111
SAT4J CSP 2008-06-131088899SAT 23.9214 23.9913
galac E1088906SAT 33.08 33.4768
Concrete + CPS4J 2008-05-301088896SAT 66.3999 67.072
Concrete + CSP4J - WMC Engine 2008-05-301088895SAT 74.1777 74.2392
Concrete + CSP4J - Tabu Engine 2008-05-301088894? (TO) 1800.06 1809.22

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
1 0 2 21 20 19 18 17 16 15 8 5 7 9 10 4 0 15 14 13 12 11 6 3 2 1 9 4 10 8 7 5 24 28 20 20 20 25 21 25 25 18 16 16 21 19 20 18 22 21 27 22 25
22 26 20 27 23 20 21 23 20 21 20 19 18 17 16 16 16 22 14 13 12 11 6 3 13 12 23 16 18 17 17 17 17 18 17 17 17 0 14 22 26 24 24 19 18 0 22 0 0
0 23 25 21 0 0 0 26 25 26 27 27 27 0 0 0 26 0 0 26 0 28 28 28 30 28 29 0 27 29 28 0 22 22 24 24 22 24 19 22 22 24 22 25 25 26 25 25 26 25 19
26 25 19 25 26 25 26 25 25 25 26 25 26 25 25 20 25 25 26 25 26 26 25 0 21 20 0 0 0 0 24 26 25 23 24 25 27 25 28 25 26 25 29 29 28 28 29 27
29 25 27 25 27 26 25 0 0 23 0 25 26 25 24 24 24 25 26 27 25 26 23 0 0 0 28 21 26 20 25 25 26 25 20 0 20 20 20 25 26 25 20 21 25 23 20 0 21 0
23 26 28 27 27 28 27 27 28 26 26 26 27 27 27 26 26 0 23 20 20 22 20 0 21 22 24 23 22 0 0 24 25 26 23 24 25 26 23 23 23 23 24 23 26 27 26 25
25 25 27 0 27 0 23 28 28 0 28 23 0 23 25 21 21 24 24 23 23 24 23 23 23 23 24 21 23 21 24 23 22 24 23 23 22 21 23 24 23 23 23 22 22 21 23 22
21 21 21 21 20 20 0 21 17 18 16 17 24 14 23 22 23 22 16 17 18 19 20 21 17 16 17 18 17 0 0 19 19 20 0 19 0 0 0 21 0 18 0 0 19 0 18 0 17 20 21
20 0 0 20 22 21 20 21 22 20 20 20 21 20 20 0 22 23 22 22 21 21 21 22 23 24 26 27 25 22 23 24 26 27 25 0 0 28 23 25 26 24 26 24 27 27 26 25
25 26 27 26 27 24 24 24 24 25 27 26 26 26 26 25 25 26 23 23 23 23 0 28 21 20 21 20 21 20 23 22 22 23 21 23 22 22 21 21 20 20 21 25 24 24 24
23 21 21 23 25 24 24 22 22 20 22 0 0 0 0 25 24 23 22 24 25 0 0 23 25 26 25 24 24 24 25 26 27 25 26 28 0 0 23 25 24 24 24 23 0 27 22 21 22 24
23 23 24 21 22 21 23 21 22 23 23 22 22 0 21 0 27 26 26 25 25 26 25 26 27 26 0 0 22 0 28 24 0 24 26 24 24 24 0 28 27 27 23 23 28 27 27 26 26
27 22 0 27 26 27 22 0 26 22 22 0 22 22 22 22 0 0 0 20 0 0 0 0 24 23 24 25 0 0 23 25 26 25 25 24 24 24 26 27 0 26 27 0 28 27 26 26 27 26 26 0
28