CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/radar-8-30-3-0/
normalized-radar-8-30-3-0-2.xml

Jump to solvers results

General information on the benchmark

Namecsp/radar-8-30-3-0/
normalized-radar-8-30-3-0-2.xml
MD5SUM144d0f2f41d61f28b9f76919392a0abd
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.045992
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints64
Maximum constraint arity19
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension64
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271072624SAT 0.045992 0.0469399
MDG-probe 2008-06-271072623SAT 0.046992 0.050146
Mistral-prime 1.3131072634SAT 0.051992 0.0576349
cpHydra k_401072640SAT 0.06299 0.06897
cpHydra k_101072639SAT 0.06299 0.0680239
Mistral-option 1.3141072633SAT 0.079987 0.087211
bpsolver 2008-06-271072628SAT 0.098984 0.09892
casper zito1072636SAT 0.319951 0.328095
Sugar v1.13+minisat1072627SAT 1.44778 1.51755
Sugar v1.13+picosat1072626SAT 1.50977 1.59544
choco2_dwdeg 2008-06-261072630SAT 1.54976 1.5886
casper zao1072635SAT 1.56976 1.58211
Abscon 112v4 ESAC1072638SAT 2.93755 2.99453
Abscon 112v4 AC1072637SAT 3.40948 3.44515
choco2_impwdeg 2008-06-261072629SAT 3.56246 3.67709
Concrete + CPS4J 2008-05-301072622SAT 129.586 129.31
Minion/Tailor 2008-07-041106624? 0.374942 0.39345
galac M1072631? (problem) 110.983 111.468
galac E1072632? (problem) 115.87 116.498
Concrete + CSP4J - Tabu Engine 2008-05-301072620? (TO) 1800 1806.62
Concrete + CSP4J - WMC Engine 2008-05-301072621? (TO) 1800.09 1815.12
SAT4J CSP 2008-06-131072625? (TO) 1802.19 1777.63

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