CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/graphColoring/hos/
normalized-ash608GPIA-4.xml

Jump to solvers results

General information on the benchmark

Namecsp/graphColoring/hos/
normalized-ash608GPIA-4.xml
MD5SUM7c655cd1827201355725f9b8ec8a0e13
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.375942
Satisfiable
(Un)Satisfiability was proved
Number of variables1216
Number of constraints7844
Maximum constraint arity2
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7844
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131090441SAT 0.375942 0.38808
MDG-noprobe 2008-06-271090431SAT 0.39194 0.4058
cpHydra k_401090447SAT 0.392939 0.40354
cpHydra k_101090446SAT 0.398938 0.411087
Mistral-option 1.3141090440SAT 0.571912 0.585625
MDG-probe 2008-06-271090430SAT 0.772881 0.778531
bpsolver 2008-06-271090435SAT 1.51277 1.55896
Minion/Tailor 2008-07-041105650SAT 2.5876 2.62237
Sugar v1.13+minisat1090434SAT 3.10453 3.23761
Sugar v1.13+picosat1090433SAT 3.2745 3.37218
Abscon 112v4 AC1090444SAT 3.88941 3.93894
choco2_impwdeg 2008-06-261090436SAT 4.17037 4.22801
Abscon 112v4 ESAC1090445SAT 4.37433 4.4002
choco2_dwdeg 2008-06-261090437SAT 4.74128 4.82771
SAT4J CSP 2008-06-131090432SAT 6.07908 6.0692
galac E1090439SAT 7.27089 7.35871
galac M1090438SAT 7.80681 7.955
casper zao1090442SAT 14.7868 14.7939
Concrete + CSP4J - WMC Engine 2008-05-301090428SAT 18.2182 18.416
Concrete + CPS4J 2008-05-301090429SAT 19.0001 19.0296
Concrete + CSP4J - Tabu Engine 2008-05-301090427SAT 23.1425 23.4243
casper zito1090443SAT 31.8512 32.1599

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:
0 2 3 1 0 1 2 1 2 0 3 0 1 0 3 0 1 2 0 2 0 3 0 3 0 1 0 3 2 1 2 0 2 0 1 2 3 0 1 0 2 0 2 0 1 3 0 3 1 2 1 3 0 1 3 2 0 1 0 1 3 2 3 1 3 0 1 0 1 2
1 0 3 0 1 0 2 1 0 3 0 1 3 0 1 2 0 2 1 2 0 3 1 3 1 2 0 2 3 0 2 0 2 1 3 2 0 1 0 2 3 1 0 3 2 1 0 1 0 1 1 3 1 2 0 2 0 2 0 3 0 3 0 2 3 2 1 0 1 0
1 2 1 0 1 0 2 3 1 0 1 3 1 0 1 0 1 2 0 3 0 1 2 1 2 3 0 3 2 1 2 0 2 0 2 0 3 0 2 1 0 1 0 1 3 2 3 0 1 2 3 1 2 0 2 0 3 2 0 2 3 1 0 1 0 3 2 1 0 1
2 1 3 0 2 0 2 1 0 1 0 1 2 1 2 3 0 1 3 0 1 0 3 0 3 0 3 2 1 2 1 0 0 2 1 2 0 3 0 2 0 3 1 3 0 1 3 1 0 1 3 2 0 1 2 1 2 0 1 2 3 2 1 0 3 0 0 2 0 2
1 2 0 1 0 3 1 0 1 2 1 0 3 0 1 3 1 2 3 1 3 2 0 1 0 2 0 2 1 2 0 3 1 3 2 0 1 3 2 3 0 3 2 0 3 0 2 1 2 1 2 0 2 0 3 0 1 0 1 0 1 2 1 3 0 2 1 3 1 0
1 0 1 0 1 0 3 0 2 0 3 0 2 0 0 1 2 1 0 1 0 3 2 1 2 1 2 1 3 1 2 0 3 2 3 0 1 0 1 2 3 1 3 1 2 0 3 0 2 0 1 3 1 0 0 2 3 2 0 1 0 1 0 1 3 0 3 1 2 1
3 1 0 2 3 1 3 0 2 0 3 1 2 0 0 1 2 1 0 3 1 0 3 0 1 2 3 0 2 3 2 1 0 2 3 2 3 1 0 2 3 1 0 1 1 2 1 3 3 2 3 2 0 2 2 1 0 3 0 2 1 2 0 2 0 3 2 0 1 0
2 0 2 3 0 1 2 3 1 0 2 3 1 2 0 2 1 2 0 3 1 2 0 3 1 2 0 2 1 0 3 2 3 2 1 0 3 0 2 0 1 0 2 3 2 1 0 1 2 1 0 3 0 1 1 2 2 1 2 0 3 0 3 0 1 0 0 2 0 2
2 0 1 3 1 0 0 2 1 2 2 0 3 0 2 0 3 1 2 0 0 2 1 2 1 3 0 3 1 2 0 2 2 3 1 3 1 0 2 3 1 0 1 3 1 0 0 1 0 3 3 0 2 0 2 1 1 0 1 0 1 3 2 0 2 1 2 1 0 1
0 2 0 1 2 1 2 3 0 1 0 3 2 1 0 1 0 1 0 3 2 3 1 0 3 2 3 0 2 0 2 0 1 0 3 0 3 2 3 2 0 2 1 2 1 3 0 3 1 3 0 1 0 2 2 3 0 3 0 1 2 3 0 1 0 1 3 2 1 0
1 2 1 0 1 2 3 0 0 1 3 1 1 0 2 3 2 0 2 3 2 0 2 0 3 0 1 2 3 0 1 0 3 2 1 0 1 2 1 0 0 1 0 3 0 1 2 1 0 1 2 0 3 1 0 2 0 1 0 2 0 1 2 0 2 0 3 1 0 2
1 2 0 2 3 2 0 2 1 3 1 3 1 2 0 1 3 2 3 1 2 0 1 0 1 0 2 0 1 0 1 0 3 0 2 0 2 1 2 0 3 2 0 1 3 1 2 1 3 1 2 3 0 3 2 0 3 0 1 0 0 1 2 1 3 1 3 0 1 0
3 2 1 2 2 0 3 1 0 3 2 1 2 1 0 1 2 1 2 0 2 0 3 1 2 0 1 3 0 3 3 0 1 0 1 2 1 0 0 3 0 2 1 2 0 3 0 2 0 2 0 2 1 2 1 3 2 3 3 2 1 2 3 2 1 0 2 1 3 1
1 0 3 0 3 2 2 3 2 1 2 1 0 1 1 3 1 2 0 3 0 1 3 2 0 1 3 2 3 1 2 1 0 1 3 2 0 2 0 2 0 3 1 2 0 2 0 3 1 3 1 0 0 2 0 1 3 1 1 3 1 0 1 3 1 0 2 3 0 2
0 2 3 2 0 1 3 1 3 0 3 0 2 1 2 0 3 0 2 0 2 1 0 1 2 1 2 3 0 1 0 1 2 1 0 1 0 3 2 1 1 0 2 0 2 3 1 0 3 0 3 2 0 1 0 1 0 1 0 2 1 0 2 3 0 1 0 1 2 1
0 1 3 0 3 0 3 2 1 0 1 0 3 1 2 0 1 2 2 3 0 1 2 0 0 3 1 0 1 2 1 0 1 2 1 0 0 2 2 0 3 0 2 0 2 1 1 3 0 3 0 2 2 3 1 3 2 0 2 1 2 1 2 0 2 1 3 1 1 0
3 0 1 3 1 2 0 1 3 2 3 1 0 1 2 1 1 0 3 2 1 0 3 0 1 2 3 0 3 0 2 0 0 3 2 3 2 1 0 1 0 2 0 2 1 2 0 2 0 3 1 2 1 0 2 0 2 1 3 1 0 1 0 1 0 1 0 1 0 2
1 0 2 3 0 1 2 3 2 3 1 3 1 2 1 2 3 2 3 1 2 3 0 1 1 0