CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/radar-9-28-4-2/
normalized-radar-9-28-4-2-33.xml
MD5SUM900c1faf1b63451a04d7782d7fb55e71
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.074988
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-271057671SAT 0.074988 0.139302
Mistral-prime 1.3131057681SAT 0.084986 0.138672
cpHydra k_401057687SAT 0.086986 0.0938311
cpHydra k_101057686SAT 0.088985 0.09374
MDG-probe 2008-06-271057670SAT 0.138977 0.146461
Mistral-option 1.3141057680SAT 0.340947 0.347611
Sugar v1.13+minisat1057674SAT 1.71574 1.76923
Sugar v1.13+picosat1057673SAT 2.12368 2.18848
choco2_dwdeg 2008-06-261057677SAT 3.21351 3.37609
casper zito1057683SAT 10.1655 10.2714
casper zao1057682SAT 13.8889 13.9091
choco2_impwdeg 2008-06-261057676SAT 14.0249 14.4483
Abscon 112v4 ESAC1057685SAT 18.8821 19.1332
Abscon 112v4 AC1057684SAT 110.28 110.84
Minion/Tailor 2008-07-041106647? 0.311952 0.323319
SAT4J CSP 2008-06-131057672? 1125.97 1129.01
galac E1057679? (problem) 65.849 65.8977
galac M1057678? (problem) 66.094 66.7857
Concrete + CSP4J - Tabu Engine 2008-05-301057667? (TO) 1800 1805.92
Concrete + CSP4J - WMC Engine 2008-05-301057668? (TO) 1800.03 1803.32
bpsolver 2008-06-271057675? (TO) 1800.04 1809.71
Concrete + CPS4J 2008-05-301057669? (TO) 1800.09 1800.82

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