CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/par/
normalized-par-16-2-c.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/par/
normalized-par-16-2-c.xml
MD5SUMa9c366c7e2b6af6b750e822115ff05c4
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 benchmark1.78773
Satisfiable
(Un)Satisfiability was proved
Number of variables698
Number of constraints1741
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1741
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+picosat1060808SAT 1.78773 1.88009
Sugar v1.13+minisat1060809SAT 2.07468 2.17934
galac M1060813SAT 3.33549 3.41536
galac E1060814SAT 3.53946 3.67164
Minion/Tailor 2008-07-041106541SAT 3.73843 3.79855
SAT4J CSP 2008-06-131060807SAT 5.76312 5.7924
bpsolver 2008-06-271060810SAT 5.99109 6.06658
Abscon 112v4 AC1060819SAT 6.541 6.61345
cpHydra k_101060821SAT 13.265 13.4381
Abscon 112v4 ESAC1060820SAT 44.2023 44.6552
MDG-noprobe 2008-06-271060806SAT 48.1217 48.5891
MDG-probe 2008-06-271060805SAT 55.0006 55.4898
Mistral-prime 1.3131060816SAT 152.008 153.419
cpHydra k_401060822SAT 159.531 161.283
casper zito1060818SAT 166.655 168
casper zao1060817SAT 260.227 262.455
choco2_impwdeg 2008-06-261060811SAT 268.478 270.837
choco2_dwdeg 2008-06-261060812SAT 290.106 292.799
Concrete + CPS4J 2008-05-301060804SAT 390.549 394.739
Mistral-option 1.3141060815SAT 571.787 577.384
Concrete + CSP4J - WMC Engine 2008-05-301060803? (TO) 1800.04 1809.92
Concrete + CSP4J - Tabu Engine 2008-05-301060802? (TO) 1800.05 1801.02

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