CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/radar/
normalized-radar-10-10-4.5-0.95-98.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/radar/
normalized-radar-10-10-4.5-0.95-98.xml
MD5SUMc175c6a4d31f8a8e20f5a1183747b21f
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.043992
Satisfiable
(Un)Satisfiability was proved
Number of variables411
Number of constraints476
Maximum constraint arity16
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension476
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131049231SAT 0.043992 0.0496889
MDG-probe 2008-06-271049220SAT 0.044992 0.0526479
MDG-noprobe 2008-06-271049221SAT 0.046991 0.0522999
casper zito1049233SAT 0.050991 0.0578689
cpHydra k_101049236SAT 0.054991 0.0622671
cpHydra k_401049237SAT 0.05699 0.0628861
casper zao1049232SAT 0.068988 0.0697939
Mistral-option 1.3141049230SAT 0.085986 0.0941849
bpsolver 2008-06-271049225SAT 0.166974 0.186537
Minion/Tailor 2008-07-041104764SAT 0.830872 0.839824
Abscon 112v4 ESAC1049235SAT 1.18582 1.20121
Sugar v1.13+minisat1049224SAT 1.27081 1.35964
Abscon 112v4 AC1049234SAT 1.2858 1.30729
choco2_impwdeg 2008-06-261049226SAT 1.40679 1.41744
choco2_dwdeg 2008-06-261049227SAT 1.59176 1.65892
Concrete + CPS4J 2008-05-301049219SAT 1.63775 1.68295
Sugar v1.13+picosat1049223SAT 1.65275 1.7121
SAT4J CSP 2008-06-131049222SAT 6.06108 6.14956
Concrete + CSP4J - WMC Engine 2008-05-301049218SAT 25.5881 25.6864
Concrete + CSP4J - Tabu Engine 2008-05-301049217SAT 32.1631 32.4978
galac E1049229Wrong Cert. 3.9324 4.04065
galac M1049228Wrong Cert. 4.11437 4.20919

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:
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1
1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1