CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/routing/
normalized-s4-4-3-2.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/routing/
normalized-s4-4-3-2.xml
MD5SUMa9a0384cbf80958898b43d5ce1b7b3e3
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.06169
Satisfiable
(Un)Satisfiability was proved
Number of variables648
Number of constraints1952
Maximum constraint arity27
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1952
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+minisat1049854SAT 2.06169 2.15201
Sugar v1.13+picosat1049853SAT 2.68659 2.77443
choco2_dwdeg 2008-06-261049857SAT 55.2386 55.6666
Mistral-prime 1.3131049861SAT 70.6033 70.6305
cpHydra k_101049866SAT 82.2805 83.1738
Minion/Tailor 2008-07-041104823SAT 93.4348 94.2066
cpHydra k_401049867SAT 124.11 125.124
MDG-noprobe 2008-06-271049851SAT 1111.19 1112.82
MDG-probe 2008-06-271049850SAT 1129.71 1140.25
bpsolver 2008-06-271049855SAT 1349.76 1351.29
SAT4J CSP 2008-06-131049852? 233.646 232.487
Concrete + CPS4J 2008-05-301049849? (TO) 1800.03 1800.92
Concrete + CSP4J - Tabu Engine 2008-05-301049847? (TO) 1800.04 1800.92
Concrete + CSP4J - WMC Engine 2008-05-301049848? (TO) 1800.05 1804.12
casper zito1049863? (TO) 1800.06 1813.91
choco2_impwdeg 2008-06-261049856? (TO) 1800.07 1809.35
casper zao1049862? (TO) 1800.08 1808.21
Mistral-option 1.3141049860? (TO) 1800.1 1811.11
Abscon 112v4 ESAC1049865? (TO) 1800.11 1816.07
Abscon 112v4 AC1049864? (TO) 1800.13 1815.87
galac M1049858Wrong Cert. 235.653 236.097
galac E1049859Wrong Cert. 236.383 238.277

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 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1
0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0
0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0