CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/rand-2-40-19-fcd/
normalized-rand-2-40-19-443-230-fcd-18_ext.xml

Jump to solvers results

General information on the benchmark

Namecsp/rand-2-40-19-fcd/
normalized-rand-2-40-19-443-230-fcd-18_ext.xml
MD5SUM167f72f051d4af3da9d14ce5622072a7
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.29165
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints339
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension339
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Concrete + CSP4J - Tabu Engine 2008-05-301101388SAT 2.29165 2.35354
Mistral-prime 1.3131101403SAT 10.5864 10.6773
MDG-probe 2008-06-271101392SAT 13.199 13.2081
Mistral-option 1.3141101402SAT 16.6395 16.7733
MDG-noprobe 2008-06-271101393SAT 17.9183 17.9962
cpHydra k_101101408SAT 18.1442 19.168
bpsolver 2008-06-271101397SAT 20.6709 20.8359
casper zao1101404SAT 20.6729 20.8601
Abscon 112v4 ESAC1101407SAT 56.5104 57.052
Concrete + CPS4J 2008-05-301101390SAT 57.9672 58.522
choco2_impwdeg 2008-06-261101398SAT 60.2498 60.2998
Abscon 112v4 AC1101406SAT 60.5628 61.1429
choco2_dwdeg 2008-06-261101399SAT 61.5626 62.1145
cpHydra k_401101409SAT 62.2275 62.4348
Sugar v1.13+picosat1101395SAT 63.1744 63.88
casper zito1101405SAT 86.9818 87.8179
Minion/Tailor 2008-07-041106701SAT 126.381 127.245
Sugar v1.13+minisat1101396SAT 136.773 137.546
spider 2008-06-141101391SAT 137.018 137.085
galac M1101400SAT 1701.58 1702.8
galac E1101401? (TO) 1800.05 1816.12
Concrete + CSP4J - WMC Engine 2008-05-301101389? (TO) 1800.06 1800.82
SAT4J CSP 2008-06-131101394? (TO) 1800.17 1804.2

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:
15 17 15 12 12 6 7 10 15 7 15 9 6 12 0 4 5 0 3 4 14 12 17 2 15 4 18 0 18 12 16 18 2 7 5 14 3 15 9 12