CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/radar-9-28-4-2/
normalized-radar-9-28-4-2-39.xml

Jump to solvers results

General information on the benchmark

Namecsp/radar-9-28-4-2/
normalized-radar-9-28-4-2-39.xml
MD5SUM3ea108c2e903c2afc3230667c29a4590
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.081986
Satisfiable
(Un)Satisfiability was proved
Number of variables168
Number of constraints81
Maximum constraint arity23
Maximum domain size5
Number of constraints which are defined in extension0
Number of constraints which are defined in intension81
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271057524SAT 0.081986 0.0884309
Mistral-prime 1.3131057534SAT 0.082987 0.0890699
cpHydra k_401057540SAT 0.093985 0.0931159
cpHydra k_101057539SAT 0.094984 0.105848
MDG-probe 2008-06-271057523SAT 0.131979 0.139521
Sugar v1.13+minisat1057527SAT 1.52077 1.64182
Sugar v1.13+picosat1057526SAT 1.81072 1.94109
Mistral-option 1.3141057533SAT 2.77258 2.80339
choco2_dwdeg 2008-06-261057530SAT 3.36149 3.4635
casper zito1057536SAT 6.08707 6.16518
choco2_impwdeg 2008-06-261057529SAT 12.0342 12.0803
casper zao1057535SAT 16.4495 16.5974
Minion/Tailor 2008-07-041106650? 0.333948 0.376411
SAT4J CSP 2008-06-131057525? 243.853 243.526
galac E1057532? (problem) 66.6419 67.0951
galac M1057531? (problem) 70.7692 71.8173
Concrete + CPS4J 2008-05-301057522? (TO) 1800.02 1816.72
Concrete + CSP4J - WMC Engine 2008-05-301057521? (TO) 1800.04 1800.92
Concrete + CSP4J - Tabu Engine 2008-05-301057520? (TO) 1800.05 1807.32
bpsolver 2008-06-271057528? (TO) 1800.11 1815.02
Abscon 112v4 AC1057537? (TO) 1800.11 1812.78
Abscon 112v4 ESAC1057538? (TO) 1800.14 1802.44

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