CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/lexHerald/
normalized-crossword-m1-lex-19-03.xml

Jump to solvers results

General information on the benchmark

Namecsp/lexHerald/
normalized-crossword-m1-lex-19-03.xml
MD5SUM3c2779849935bf9ee26f9ef7af257926
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 benchmark71.4371
Satisfiable
(Un)Satisfiability was proved
Number of variables307
Number of constraints1429
Maximum constraint arity16
Maximum domain size26
Number of constraints which are defined in extension118
Number of constraints which are defined in intension1311
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1067979SAT 71.4371 72.0735
cpHydra k_101067980SAT 105.106 105.378
cpHydra k_401067981SAT 112.3 114.752
Abscon 112v4 AC1067978SAT 147.472 148.237
casper zao1067976SAT 391.963 392.335
Mistral-prime 1.3131067975SAT 432.318 436.361
Mistral-option 1.3141067974SAT 637.39 642.905
Concrete + CPS4J 2008-05-301067963SAT 815.439 819.623
casper zito1067977SAT 1096.19 1098.1
SAT4J CSP 2008-06-131067966? (MO) 36.2055 34.2273
galac M1067972? (TO) 1800 1813.52
Minion/Tailor 2008-07-041105943? (TO) 1800.05 1804.81
Concrete + CSP4J - WMC Engine 2008-05-301067962? (TO) 1800.07 1802.52
Sugar v1.13+minisat1067968? (TO) 1800.07 1806.61
MDG-probe 2008-06-271067964? (TO) 1800.07 1803.21
Sugar v1.13+picosat1067967? (TO) 1800.07 1814.43
galac E1067973? (TO) 1800.08 1802.32
MDG-noprobe 2008-06-271067965? (TO) 1800.09 1810.91
Concrete + CSP4J - Tabu Engine 2008-05-301067961? (TO) 1800.09 1817.02
choco2_impwdeg 2008-06-261067970? (TO) 1800.09 1809.65
bpsolver 2008-06-271067969? (TO) 1800.1 1801.16
choco2_dwdeg 2008-06-261067971? (TO) 1800.15 1819.06

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