CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/ramsey4/
normalized-ramsey-34-4.xml
MD5SUMee0954224777e4f5d07f8ddec47421b6
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.57476
Satisfiable
(Un)Satisfiability was proved
Number of variables561
Number of constraints5984
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5984
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-option 1.3141051864SAT 1.57476 1.59122
galac E1051863SAT 7.85181 7.98471
Mistral-prime 1.3131051865SAT 11.3173 11.4189
Concrete + CSP4J - WMC Engine 2008-05-301051852SAT 11.4093 11.5154
cpHydra k_101051870SAT 14.5728 14.7239
cpHydra k_401051871SAT 14.5978 14.9423
Concrete + CSP4J - Tabu Engine 2008-05-301051851SAT 35.6626 36.0316
Concrete + CPS4J 2008-05-301051853SAT 40.9208 41.3325
galac M1051862SAT 41.7756 42.0262
choco2_impwdeg 2008-06-261051860SAT 101.739 101.804
choco2_dwdeg 2008-06-261051861SAT 105.834 106.783
SAT4J CSP 2008-06-131051856SAT 167.738 168.566
Sugar v1.13+minisat1051858SAT 366.2 367.115
Sugar v1.13+picosat1051857SAT 1039.57 1040.88
casper zito1051867? (TO) 1800.02 1800.72
bpsolver 2008-06-271051859? (TO) 1800.03 1808.41
MDG-probe 2008-06-271051854? (TO) 1800.03 1801.41
Abscon 112v4 ESAC1051869? (TO) 1800.07 1815.45
MDG-noprobe 2008-06-271051855? (TO) 1800.09 1802.11
Minion/Tailor 2008-07-041104856? (TO) 1800.11 1813.51
Abscon 112v4 AC1051868? (TO) 1800.12 1800.87
casper zao1051866? (TO) 1800.14 1807.64

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