CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ukHerald/
normalized-crossword-m1-uk-19-04.xml

Jump to solvers results

General information on the benchmark

Namecsp/ukHerald/
normalized-crossword-m1-uk-19-04.xml
MD5SUMa822fe1cc1e4beb291641220883d694f
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.883865
Satisfiable
(Un)Satisfiability was proved
Number of variables296
Number of constraints2314
Maximum constraint arity26
Maximum domain size26
Number of constraints which are defined in extension132
Number of constraints which are defined in intension2182
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271064145SAT 0.883865 0.893907
cpHydra k_101064160SAT 0.888864 0.891174
Mistral-prime 1.3131064155SAT 0.988849 1.00023
cpHydra k_401064161SAT 0.997847 1.23489
Abscon 112v4 AC1064158SAT 4.28435 4.3409
Abscon 112v4 ESAC1064159SAT 5.82911 5.91592
choco2_dwdeg 2008-06-261064151SAT 26.109 26.1427
casper zito1064157SAT 37.9092 38.3343
casper zao1064156SAT 43.3584 43.7245
Mistral-option 1.3141064154SAT 53.3579 53.8854
choco2_impwdeg 2008-06-261064150SAT 64.3892 65.2358
MDG-probe 2008-06-271064144SAT 76.8363 77.5763
Concrete + CPS4J 2008-05-301064143SAT 256.306 258.785
SAT4J CSP 2008-06-131064146? (MO) 40.5028 38.9444
Concrete + CSP4J - Tabu Engine 2008-05-301064141? (TO) 1800 1814.42
Sugar v1.13+picosat1064147? (TO) 1800 1812.73
galac E1064153? (TO) 1800.03 1806.23
Sugar v1.13+minisat1064148? (TO) 1800.06 1803.9
bpsolver 2008-06-271064149? (TO) 1800.06 1812.95
Concrete + CSP4J - WMC Engine 2008-05-301064142? (TO) 1800.06 1801.52
galac M1064152? (TO) 1800.07 1809.42
Minion/Tailor 2008-07-041107286? (TO) 1800.09 1808.62

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