CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/lexHerald/
normalized-crossword-m1-lex-21-02.xml

Jump to solvers results

General information on the benchmark

Namecsp/lexHerald/
normalized-crossword-m1-lex-21-02.xml
MD5SUMb2bbf73ac520f3b4184964509f220a16
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 benchmark2.45863
Satisfiable
(Un)Satisfiability was proved
Number of variables369
Number of constraints3033
Maximum constraint arity24
Maximum domain size26
Number of constraints which are defined in extension150
Number of constraints which are defined in intension2883
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131067912SAT 2.45863 2.48512
MDG-noprobe 2008-06-271067902SAT 3.45747 3.45903
cpHydra k_101067917SAT 10.6044 10.7673
Abscon 112v4 ESAC1067916SAT 12.6981 12.8777
Abscon 112v4 AC1067915SAT 14.1468 14.342
MDG-probe 2008-06-271067901SAT 17.6303 17.7918
cpHydra k_401067918SAT 21.4687 21.8083
casper zito1067914SAT 26.625 26.6392
choco2_dwdeg 2008-06-261067908SAT 37.4763 37.8909
casper zao1067913SAT 47.2768 47.4723
Mistral-option 1.3141067911SAT 59.9479 60.4731
Concrete + CPS4J 2008-05-301067900SAT 1085.48 1090.92
choco2_impwdeg 2008-06-261067907SAT 1683.59 1684.33
SAT4J CSP 2008-06-131067903? (MO) 33.6749 33.0469
Sugar v1.13+picosat1067904? (TO) 1800.01 1810.03
galac M1067909? (TO) 1800.01 1816.42
Sugar v1.13+minisat1067905? (TO) 1800.02 1804.7
galac E1067910? (TO) 1800.03 1809.72
Concrete + CSP4J - Tabu Engine 2008-05-301067898? (TO) 1800.03 1801.73
Minion/Tailor 2008-07-041105946? (TO) 1800.04 1810.21
Concrete + CSP4J - WMC Engine 2008-05-301067899? (TO) 1800.06 1816.12
bpsolver 2008-06-271067906? (TO) 1800.14 1800.86

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