CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ramsey4/
normalized-ramsey-30-4.xml

Jump to solvers results

General information on the benchmark

Namecsp/ramsey4/
normalized-ramsey-30-4.xml
MD5SUM3e5f5d7a3cdfbf5392a411aee4bb4d5a
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.25896
Satisfiable
(Un)Satisfiability was proved
Number of variables435
Number of constraints4060
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4060
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131051970SAT 0.25896 0.258865
MDG-noprobe 2008-06-271051960SAT 0.275957 0.283327
cpHydra k_101051975SAT 0.277957 0.28216
cpHydra k_401051976SAT 0.299954 0.307282
Mistral-option 1.3141051969SAT 0.709891 0.710225
choco2_impwdeg 2008-06-261051965SAT 3.3105 3.34269
MDG-probe 2008-06-271051959SAT 3.49047 3.53465
choco2_dwdeg 2008-06-261051966SAT 3.77543 3.81425
galac M1051967SAT 4.82627 4.91328
galac E1051968SAT 5.45817 5.56656
Concrete + CSP4J - Tabu Engine 2008-05-301051956SAT 5.9211 6.01509
SAT4J CSP 2008-06-131051961SAT 6.11607 6.17381
Concrete + CSP4J - WMC Engine 2008-05-301051957SAT 6.18106 6.26807
Abscon 112v4 ESAC1051974SAT 6.69098 6.78181
Concrete + CPS4J 2008-05-301051958SAT 10.3644 10.4216
Sugar v1.13+minisat1051963SAT 35.5986 36.0505
Sugar v1.13+picosat1051962SAT 272.507 275.274
Abscon 112v4 AC1051973SAT 1466.23 1478.71
bpsolver 2008-06-271051964? (TO) 1800.05 1811.41
casper zito1051972? (TO) 1800.08 1808.51
Minion/Tailor 2008-07-041104861? (TO) 1800.09 1816.71
casper zao1051971? (TO) 1800.11 1805.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:
2 2 1 1 2 0 0 1 3 0 1 1 3 0 3 2 1 0 3 2 1 0 3 0 2 0 2 3 2 0 2 1 1 0 0 2 1 0 3 1 3 1 3 1 2 2 0 3 1 1 3 0 0 1 3 2 0 2 2 1 2 3 2 1 2 0 1 0 1 3
3 0 0 2 0 1 0 2 2 3 1 0 3 1 3 0 0 1 0 1 1 0 3 0 1 1 1 0 0 3 2 2 2 3 1 2 1 0 3 2 0 0 1 0 3 3 2 2 0 0 3 3 0 0 0 1 2 2 1 1 2 0 2 1 1 2 0 1 0 1
1 2 3 2 2 0 1 2 3 1 3 0 2 0 1 2 3 0 0 2 1 3 1 1 0 2 3 1 0 1 3 3 0 0 2 0 1 3 1 3 0 2 1 3 3 0 1 0 2 0 2 3 1 1 0 1 1 3 2 2 3 0 2 3 1 3 2 2 2 1
0 0 3 3 3 0 0 2 1 0 2 2 1 0 1 0 2 0 1 2 0 2 1 0 2 0 3 3 2 3 1 2 0 1 2 0 2 1 2 2 0 0 1 1 2 1 3 0 3 2 2 1 1 1 3 1 0 2 3 2 1 0 2 0 3 1 0 0 0 1
1 1 0 0 1 2 0 3 2 3 3 0 1 0 1 0 3 1 2 1 1 0 2 3 2 2 0 1 0 3 3 1 2 0 3 0 0 2 1 1 1 2 2 3 3 1 3 2 0 0 2 0 1 1 1 3 3 0 2 0 0 2 2 1 2 1 1 1 2 2
1 3 0 0 0 1 1 1 1 3 0 1 1 3 2 2 3 0 2 2 2 0 2 0 1 0 1 2 3 2 0 2 0 0 1 2 1 0 0 3 1 3 2 2 0 1 1 3 0 0 1 1 3 2 0 2 0 2 1 0 3 1 1 1 0 2 1 2 2 0
1 2 0 3 2 1 1 0 1 2 0 0 3 3 2