CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/ramsey4/
normalized-ramsey-33-4.xml
MD5SUMa42d79bb6fe860b06fb8edfaf7f29aa0
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 benchmark1.12183
Satisfiable
(Un)Satisfiability was proved
Number of variables528
Number of constraints5456
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5456
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-option 1.3141051822SAT 1.12183 1.14031
MDG-probe 2008-06-271051812SAT 5.22821 5.28565
galac E1051821SAT 7.57285 7.71937
choco2_dwdeg 2008-06-261051819SAT 7.59584 7.66715
choco2_impwdeg 2008-06-261051818SAT 7.97279 8.12277
Mistral-prime 1.3131051823SAT 8.68768 8.77007
Concrete + CSP4J - WMC Engine 2008-05-301051810SAT 10.9093 11.0745
cpHydra k_101051828SAT 11.2833 11.3323
cpHydra k_401051829SAT 11.6102 11.7702
Concrete + CPS4J 2008-05-301051811SAT 26.14 26.4191
SAT4J CSP 2008-06-131051814SAT 30.8793 31.1945
galac M1051820SAT 36.8794 37.3023
Sugar v1.13+minisat1051816SAT 63.9603 64.1846
Concrete + CSP4J - Tabu Engine 2008-05-301051809SAT 134.572 135.787
Sugar v1.13+picosat1051815SAT 828.092 832.803
casper zito1051825? (TO) 1800.02 1808.11
MDG-noprobe 2008-06-271051813? (TO) 1800.05 1813.81
Abscon 112v4 ESAC1051827? (TO) 1800.06 1806.25
Minion/Tailor 2008-07-041104854? (TO) 1800.1 1809.52
bpsolver 2008-06-271051817? (TO) 1800.11 1807.91
casper zao1051824? (TO) 1800.11 1809.14
Abscon 112v4 AC1051826? (TO) 1800.13 1807.76

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