CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/radar-8-24-3-2/
normalized-radar-8-24-3-2-23.xml
MD5SUMec489d9d056d809d56946fa2f462704a
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.036994
Satisfiable
(Un)Satisfiability was proved
Number of variables144
Number of constraints64
Maximum constraint arity14
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-271080492SAT 0.036994 0.044976
MDG-probe 2008-06-271080491SAT 0.039993 0.046837
Mistral-prime 1.3131080502SAT 0.042992 0.047775
Mistral-option 1.3141080501SAT 0.043993 0.0517419
cpHydra k_101080507SAT 0.045992 0.0567161
cpHydra k_401080508SAT 0.050991 0.0572251
casper zito1080504SAT 0.084986 0.0928371
bpsolver 2008-06-271080496SAT 0.085985 0.0924161
casper zao1080503SAT 0.669898 0.684422
choco2_dwdeg 2008-06-261080498SAT 1.45478 1.52453
Sugar v1.13+picosat1080494SAT 1.57176 1.63562
Sugar v1.13+minisat1080495SAT 1.61275 1.6987
choco2_impwdeg 2008-06-261080497SAT 2.04269 2.09499
Abscon 112v4 ESAC1080506SAT 4.63629 4.68855
Abscon 112v4 AC1080505SAT 55.0136 55.5997
Concrete + CPS4J 2008-05-301080490SAT 138.042 139.455
Concrete + CSP4J - Tabu Engine 2008-05-301080488SAT 742.013 743.515
Minion/Tailor 2008-07-041106599? 0.367943 0.395959
SAT4J CSP 2008-06-131080493? 714.92 691.237
galac M1080499? (problem) 84.9241 85.3958
galac E1080500? (problem) 93.3958 96.3024
Concrete + CSP4J - WMC Engine 2008-05-301080489? (TO) 1800.1 1800.62

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