CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/radar-8-30-3-0/
normalized-radar-8-30-3-0-24.xml
MD5SUMe1d9790dd7372133cc579e10a794e81e
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.046992
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints64
Maximum constraint arity17
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
Mistral-prime 1.3131072655SAT 0.046992 0.05502
MDG-probe 2008-06-271072644SAT 0.048991 0.0502689
cpHydra k_401072661SAT 0.075987 0.0818619
cpHydra k_101072660SAT 0.075988 0.0819509
MDG-noprobe 2008-06-271072645SAT 0.080987 0.0861781
Mistral-option 1.3141072654SAT 0.120981 0.127534
casper zito1072657SAT 0.225965 0.234648
casper zao1072656SAT 1.26481 1.27847
Sugar v1.13+minisat1072648SAT 1.48477 1.55801
Sugar v1.13+picosat1072647SAT 1.65375 1.76122
choco2_dwdeg 2008-06-261072651SAT 1.74073 1.78563
Abscon 112v4 AC1072658SAT 1.89571 1.93436
Abscon 112v4 ESAC1072659SAT 2.92155 2.97086
choco2_impwdeg 2008-06-261072650SAT 3.49147 3.55512
Concrete + CPS4J 2008-05-301072643SAT 124.531 124.682
bpsolver 2008-06-271072649SAT 894.846 901.747
Minion/Tailor 2008-07-041106619? 0.310952 0.79546
SAT4J CSP 2008-06-131072646? 148.77 148.393
galac E1072653? (problem) 134.849 136.2
galac M1072652? (problem) 148.91 150.436
Concrete + CSP4J - WMC Engine 2008-05-301072642? (TO) 1800.03 1807.52
Concrete + CSP4J - Tabu Engine 2008-05-301072641? (TO) 1800.04 1802.92

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