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-17_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-17_ext.xml
MD5SUMf0039dfe70d3c33dfd175699d19c7cc4
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 benchmark20.8318
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints348
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension348
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-301101872SAT 20.8318 20.8743
Abscon 112v4 ESAC1101891SAT 21.3448 21.5591
bpsolver 2008-06-271101881SAT 25.6271 25.6351
Mistral-option 1.3141101886SAT 26.7819 26.9305
Abscon 112v4 AC1101890SAT 34.9067 35.1186
cpHydra k_401101893SAT 41.7816 42.0146
MDG-probe 2008-06-271101876SAT 57.4833 57.9195
MDG-noprobe 2008-06-271101877SAT 57.9702 58.476
Mistral-prime 1.3131101887SAT 66.4689 66.7862
cpHydra k_101101892SAT 77.5582 78.4186
galac M1101884SAT 77.6452 78.1016
Concrete + CPS4J 2008-05-301101874SAT 174.826 176.346
choco2_impwdeg 2008-06-261101882SAT 266.651 268.041
choco2_dwdeg 2008-06-261101883SAT 267.066 267.211
spider 2008-06-141101875SAT 611.393 613.865
galac E1101885SAT 731.92 739.294
casper zito1101889SAT 874.948 877.1
Minion/Tailor 2008-07-041106700SAT 1086.34 1093.03
Sugar v1.13+picosat1101879SAT 1547.81 1553.21
casper zao1101888? (TO) 1800.03 1802.11
Concrete + CSP4J - WMC Engine 2008-05-301101873? (TO) 1800.05 1803.72
SAT4J CSP 2008-06-131101878? (TO) 1800.08 1802.16
Sugar v1.13+minisat1101880? (TO) 1800.08 1804.12

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