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-39_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-39_ext.xml
MD5SUM3e645e0932c1e74b02831c70007084d5
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 benchmark4.80627
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints351
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension351
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-301101410SAT 4.80627 4.96898
Mistral-option 1.3141101424SAT 7.43287 7.508
Mistral-prime 1.3131101425SAT 12.7291 12.7569
MDG-probe 2008-06-271101414SAT 13.7079 13.8306
bpsolver 2008-06-271101419SAT 13.7649 13.902
MDG-noprobe 2008-06-271101415SAT 13.8359 13.9467
Concrete + CPS4J 2008-05-301101412SAT 15.2887 15.4081
cpHydra k_101101430SAT 21.2388 21.5351
choco2_impwdeg 2008-06-261101420SAT 51.4442 51.9776
choco2_dwdeg 2008-06-261101421SAT 51.7211 52.242
Abscon 112v4 AC1101428SAT 64.4862 65.0961
spider 2008-06-141101413SAT 66.3359 66.8549
cpHydra k_401101431SAT 66.4199 67.4213
Sugar v1.13+minisat1101418SAT 66.5909 67.9012
Abscon 112v4 ESAC1101429SAT 72.7019 73.4546
galac M1101422SAT 128.995 130.3
Sugar v1.13+picosat1101417SAT 191.417 192.685
galac E1101423SAT 222.362 224.535
Minion/Tailor 2008-07-041106712SAT 247.291 249.674
casper zito1101427SAT 661.742 661.924
SAT4J CSP 2008-06-131101416SAT 948.763 952.985
casper zao1101426SAT 1129.94 1137.28
Concrete + CSP4J - WMC Engine 2008-05-301101411? (TO) 1800.04 1801.82

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