CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/radar-8-24-3-2/
normalized-radar-8-24-3-2-21.xml

Jump to solvers results

General information on the benchmark

Namecsp/radar-8-24-3-2/
normalized-radar-8-24-3-2-21.xml
MD5SUM3da7530a420d27bc3a49cbac3ff7f368
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.039993
Satisfiable
(Un)Satisfiability was proved
Number of variables144
Number of constraints64
Maximum constraint arity16
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-271080723SAT 0.039993 0.0475981
MDG-probe 2008-06-271080722SAT 0.042993 0.0478571
Mistral-prime 1.3131080733SAT 0.047992 0.054369
cpHydra k_101080738SAT 0.052991 0.452054
cpHydra k_401080739SAT 0.053991 0.0591941
Mistral-option 1.3141080732SAT 0.111982 0.118803
casper zito1080735SAT 0.12998 0.138439
casper zao1080734SAT 0.801877 0.815722
Sugar v1.13+picosat1080725SAT 1.53277 1.59135
Sugar v1.13+minisat1080726SAT 1.57376 1.68036
choco2_dwdeg 2008-06-261080729SAT 1.60276 1.62303
choco2_impwdeg 2008-06-261080728SAT 2.13368 2.20189
Abscon 112v4 AC1080736SAT 5.03423 5.06851
Abscon 112v4 ESAC1080737SAT 5.48217 5.57759
Concrete + CPS4J 2008-05-301080721SAT 130.515 131.772
Minion/Tailor 2008-07-041106597? 0.358944 0.39609
SAT4J CSP 2008-06-131080724? 1717.13 1654.48
galac M1080730? (problem) 125.393 126.674
galac E1080731? (problem) 131.499 132.201
Concrete + CSP4J - Tabu Engine 2008-05-301080719? (TO) 1800.01 1819.92
bpsolver 2008-06-271080727? (TO) 1800.03 1815.61
Concrete + CSP4J - WMC Engine 2008-05-301080720? (TO) 1800.06 1814.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 3 0 0 0 0 0 3 0 0 0 0 0 0 0 3 1 0 1 3 0 0 2 2 2 0 0 2 0 1 2 0 0 1 2 2 2 0 0 0 1 1 0 1 2 0 0 0 3 2 3 0 3 3 2 1 0 2 3 3 3 0 0 2 0 3 3 0 0 0
0 3 3 2 2 2 0 2 0 1 2 1 0 0 0 1 3 0 0 0 0 2 0 2 1 0 0 0 0 0 0 0 2 0 1 0 0 2 0 2 0 0 0 1 0 0 0 0 2 2 0 0 0 0 3 0 3 0 0 0 1 0 0 2 0 0 0 0 3 2
0 0 1 0