CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/radar-8-30-3-0/
normalized-radar-8-30-3-0-28.xml
MD5SUM6392acb66e23c9274e43cc63ba285588
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.048991
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints64
Maximum constraint arity19
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.3131072823SAT 0.048991 0.0551549
MDG-noprobe 2008-06-271072813SAT 0.052991 0.060431
MDG-probe 2008-06-271072812SAT 0.05899 0.0665021
cpHydra k_401072829SAT 0.060989 0.072258
cpHydra k_101072828SAT 0.06299 0.068205
Mistral-option 1.3141072822SAT 0.12698 0.13338
bpsolver 2008-06-271072817SAT 0.136978 0.147402
casper zito1072825SAT 0.373942 0.385537
choco2_dwdeg 2008-06-261072819SAT 1.54876 1.56597
Sugar v1.13+minisat1072816SAT 1.67174 1.78811
casper zao1072824SAT 1.67874 1.69662
Sugar v1.13+picosat1072815SAT 1.69074 1.78143
Abscon 112v4 AC1072826SAT 1.9917 2.00792
Abscon 112v4 ESAC1072827SAT 2.48162 2.50783
choco2_impwdeg 2008-06-261072818SAT 4.23035 4.56325
Concrete + CPS4J 2008-05-301072811SAT 132.823 133.683
Minion/Tailor 2008-07-041106622? 0.373942 0.649128
galac M1072820? (problem) 133.627 135.191
galac E1072821? (problem) 146.721 155.207
Concrete + CSP4J - Tabu Engine 2008-05-301072809? (TO) 1800.03 1829.82
Concrete + CSP4J - WMC Engine 2008-05-301072810? (TO) 1800.05 1813.52
SAT4J CSP 2008-06-131072814? (TO) 1802.32 1791.43

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