CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/lexHerald/
normalized-crossword-m1-lex-15-05.xml

Jump to solvers results

General information on the benchmark

Namecsp/lexHerald/
normalized-crossword-m1-lex-15-05.xml
MD5SUM1088f687040d2c1385f07f325ab59f0e
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.267959
Satisfiable
(Un)Satisfiability was proved
Number of variables181
Number of constraints1044
Maximum constraint arity20
Maximum domain size26
Number of constraints which are defined in extension78
Number of constraints which are defined in intension966
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131068017SAT 0.267959 0.32347
cpHydra k_401068023SAT 0.282956 0.289263
cpHydra k_101068022SAT 0.296954 0.304298
MDG-noprobe 2008-06-271068007SAT 0.326949 0.331538
Abscon 112v4 AC1068020SAT 2.47762 2.50895
Abscon 112v4 ESAC1068021SAT 3.22751 3.34875
casper zito1068019SAT 6.99294 7.06799
choco2_dwdeg 2008-06-261068013SAT 12.2971 12.4646
MDG-probe 2008-06-271068006SAT 17.5433 17.5518
Minion/Tailor 2008-07-041105940SAT 20.1089 19.7922
casper zao1068018SAT 44.1783 44.4039
choco2_impwdeg 2008-06-261068012SAT 62.3495 62.9737
Mistral-option 1.3141068016SAT 95.8334 96.7506
Concrete + CPS4J 2008-05-301068005SAT 223.569 224.543
Sugar v1.13+minisat1068010SAT 313.94 314.573
bpsolver 2008-06-271068011SAT 1161.83 1166.01
SAT4J CSP 2008-06-131068008? (MO) 31.4002 30.742
Concrete + CSP4J - Tabu Engine 2008-05-301068003? (TO) 1800.02 1800.92
Concrete + CSP4J - WMC Engine 2008-05-301068004? (TO) 1800.03 1808.62
Sugar v1.13+picosat1068009? (TO) 1800.03 1807.74
galac M1068014? (TO) 1800.03 1813.62
galac E1068015? (TO) 1800.09 1806.92

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