CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/graphColoring/register/zeroin/
normalized-zeroin-i-2-30.xml

Jump to solvers results

General information on the benchmark

Namecsp/graphColoring/register/zeroin/
normalized-zeroin-i-2-30.xml
MD5SUM59cdcd97f898686db9120d1400ac3135
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.133979
Satisfiable
(Un)Satisfiability was proved
Number of variables211
Number of constraints3541
Maximum constraint arity2
Maximum domain size30
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3541
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131088824SAT 0.133979 0.140419
MDG-noprobe 2008-06-271088814SAT 0.135978 0.142183
MDG-probe 2008-06-271088813SAT 0.136978 0.142912
cpHydra k_401088830SAT 0.144977 0.152055
cpHydra k_101088829SAT 0.144977 0.152165
Mistral-option 1.3141088823SAT 0.165974 0.176971
casper zito1088826SAT 0.265958 0.272947
casper zao1088825SAT 0.417936 0.426358
bpsolver 2008-06-271088818SAT 0.441932 0.452524
Minion/Tailor 2008-07-041105752SAT 1.23681 1.27178
Abscon 112v4 AC1088827SAT 2.09968 2.19023
Abscon 112v4 ESAC1088828SAT 2.18367 2.24631
Sugar v1.13+minisat1088817SAT 2.6386 2.81079
choco2_dwdeg 2008-06-261088820SAT 3.08853 3.12908
choco2_impwdeg 2008-06-261088819SAT 3.40548 3.46846
Sugar v1.13+picosat1088816SAT 4.41833 4.5418
Concrete + CPS4J 2008-05-301088812SAT 5.40818 5.52136
Concrete + CSP4J - WMC Engine 2008-05-301088811SAT 5.9471 6.06731
galac M1088821SAT 7.13192 7.27937
galac E1088822SAT 8.5227 8.61564
SAT4J CSP 2008-06-131088815SAT 12.88 12.8303
Concrete + CSP4J - Tabu Engine 2008-05-301088810? (TO) 1800 1808.52

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:
2 0 3 15 14 13 12 10 9 8 6 7 5 4 11 1 0 15 14 13 12 11 10 4 3 2 1 5 9 6 8 7 25 0 0 16 0 0 0 0 19 0 18 0 21 0 17 24 0 0 20 0 0 17 0 26 24 0
22 23 22 16 16 16 16 16 17 18 16 16 16 16 16 16 16 16 16 16 20 16 22 16 21 19 16 0 0 16 0 16 18 16 0 0 0 0 0 0 18 0 17 0 0 0 0 22 23 22 22
23 0 0 0 0 0 0 22 0 0 27 26 26 0 26 23 26 26 17 17 17 24 19 20 22 18 17 23 21 25 19 20 22 23 21 26 26 26 26 0 0 20 20 0 22 0 22 0 0 0 0 0 26
27 26 26 24 25 25 0 25 0 25 26 27 26 27 27 28 28 27 26 26 21 21 21 21 0 0 0 26 25 27 24 28 28 29 28 28 29 27 26 26 0 28 25 25 27 24 0 22 23