CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/wordsPuzzle/
normalized-crossword-m1-words-puzzle21.xml

Jump to solvers results

General information on the benchmark

Namecsp/wordsPuzzle/
normalized-crossword-m1-words-puzzle21.xml
MD5SUMa1a739fb8d99893699a2f45ae725d33e
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 benchmark0.12098
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of constraints672
Maximum constraint arity12
Maximum domain size26
Number of constraints which are defined in extension64
Number of constraints which are defined in intension608
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271071902SAT 0.12098 0.124567
Mistral-prime 1.3131071912SAT 0.131979 0.139629
cpHydra k_101071917SAT 0.132979 0.137437
cpHydra k_401071918SAT 0.145976 0.152836
Abscon 112v4 AC1071915SAT 1.84772 1.89483
Abscon 112v4 ESAC1071916SAT 1.9987 2.05839
Mistral-option 1.3141071911SAT 3.34349 3.38259
choco2_dwdeg 2008-06-261071908SAT 5.87511 5.95006
casper zito1071914SAT 6.79497 6.83226
casper zao1071913SAT 7.2549 7.26925
bpsolver 2008-06-271071906SAT 8.47071 8.55528
MDG-probe 2008-06-271071901SAT 8.90264 8.99358
choco2_impwdeg 2008-06-261071907SAT 18.1712 18.3577
Sugar v1.13+picosat1071904SAT 74.8706 75.6454
Sugar v1.13+minisat1071905SAT 79.7789 80.7122
Concrete + CPS4J 2008-05-301071900SAT 278.965 281.766
SAT4J CSP 2008-06-131071903? (MO) 40.5708 37.7242
Concrete + CSP4J - WMC Engine 2008-05-301071899? (TO) 1800 1814.92
Minion/Tailor 2008-07-041107398? (TO) 1800.01 1811.41
Concrete + CSP4J - Tabu Engine 2008-05-301071898? (TO) 1800.01 1800.92
galac M1071909? (TO) 1800.03 1808.32
galac E1071910? (TO) 1800.07 1803.32

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:
1 0 18 7 15 0 12 18 15 0 19 14 1 14 4 0 1 14 15 0 17 4 1 4 0 17 19 4 13 0 11 0 13 18 19 17 14 1 4 19 7 17 14 1 18 8 0 13 7 0 19 4 15 14 2 7
13 0 18 0 18 17 0 22 0 11 4 0 11 11 0 7 2 4 11 8 0 2 0 12 10 0 24 18 8 12 20 11 0 8 1 4 17 8 0 0 3 0 12 3 0 3 11 4 14 13 6 4 13 4 0 3 3 8 13
19 14 0 12 4 13 12 0 4 3 4 0 13