CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/radar-8-30-3-0/
normalized-radar-8-30-3-0-7.xml
MD5SUMeff04b5a6c8760c244f6779320bb569d
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.052991
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints64
Maximum constraint arity20
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-271072750SAT 0.052991 0.0529059
MDG-probe 2008-06-271072749SAT 0.056991 0.0575579
cpHydra k_401072766SAT 0.065989 0.072748
cpHydra k_101072765SAT 0.065989 0.072168
Mistral-prime 1.3131072760SAT 0.071988 0.0778309
Mistral-option 1.3141072759SAT 0.177972 0.183814
casper zito1072762SAT 0.530919 0.537356
Sugar v1.13+minisat1072753SAT 1.48977 1.59258
choco2_dwdeg 2008-06-261072756SAT 1.72274 1.77907
Sugar v1.13+picosat1072752SAT 1.82072 1.88283
bpsolver 2008-06-271072754SAT 1.85572 1.88199
Abscon 112v4 AC1072763SAT 1.92371 1.98722
Abscon 112v4 ESAC1072764SAT 2.17367 2.25692
casper zao1072761SAT 2.22066 2.22953
choco2_impwdeg 2008-06-261072755SAT 3.9724 4.01867
Concrete + CPS4J 2008-05-301072748SAT 122.929 122.713
Minion/Tailor 2008-07-041106636? 0.335948 0.378703
SAT4J CSP 2008-06-131072751? 393.345 383.366
galac M1072757? (problem) 118.768 119.417
galac E1072758? (problem) 122.427 123.641
Concrete + CSP4J - Tabu Engine 2008-05-301072746? (TO) 1800.09 1806.52
Concrete + CSP4J - WMC Engine 2008-05-301072747? (TO) 1800.1 1800.72

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