CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/ramsey4/
normalized-ramsey-35-4.xml
MD5SUMdefc6c027faaafbf2eeba55753553416
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 benchmark12.963
Satisfiable
(Un)Satisfiability was proved
Number of variables595
Number of constraints6545
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6545
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Concrete + CSP4J - WMC Engine 2008-05-301051831SAT 12.963 13.0932
Concrete + CPS4J 2008-05-301051832SAT 106.465 106.918
galac E1051842SAT 160.261 160.959
galac M1051841SAT 173.659 174.495
Mistral-prime 1.3131051844SAT 311.551 312.382
Sugar v1.13+minisat1051837SAT 800.17 801.146
choco2_dwdeg 2008-06-261051840SAT 928.021 940.824
choco2_impwdeg 2008-06-261051839SAT 991.658 998.547
cpHydra k_401051850SAT 1063.55 1068.07
Concrete + CSP4J - Tabu Engine 2008-05-301051830SAT 1674.56 1685.57
cpHydra k_101051849SAT 1771.32 1792.22
Sugar v1.13+picosat1051836? (TO) 1800 1817.23
bpsolver 2008-06-271051838? (TO) 1800.03 1810.11
Mistral-option 1.3141051843? (TO) 1800.04 1801.81
Minion/Tailor 2008-07-041104855? (TO) 1800.07 1802.51
MDG-noprobe 2008-06-271051834? (TO) 1800.07 1809.41
casper zito1051846? (TO) 1800.08 1812.51
casper zao1051845? (TO) 1800.08 1801.05
MDG-probe 2008-06-271051833? (TO) 1800.09 1813.61
Abscon 112v4 AC1051847? (TO) 1800.1 1801.56
Abscon 112v4 ESAC1051848? (TO) 1800.11 1813.66
SAT4J CSP 2008-06-131051835? (TO) 1800.29 1807.22

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