CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/ii/
normalized-ii-32e2.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/ii/
normalized-ii-32e2.xml
MD5SUM9a607de237210856721bcb33bfef4dc4
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 benchmark3.06353
Satisfiable
(Un)Satisfiability was proved
Number of variables534
Number of constraints3013
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3013
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+minisat1061397SAT 3.06353 3.2106
Mistral-option 1.3141061403SAT 3.46547 3.50277
Sugar v1.13+picosat1061396SAT 4.54431 4.69504
Minion/Tailor 2008-07-041106445SAT 6.70498 6.7332
casper zao1061405SAT 14.4488 14.5315
Abscon 112v4 AC1061407SAT 15.9216 16.0874
casper zito1061406SAT 19.3611 19.5372
cpHydra k_101061409SAT 54.0338 54.2638
cpHydra k_401061410SAT 56.1355 56.4663
Concrete + CPS4J 2008-05-301061392SAT 64.6862 64.8096
Abscon 112v4 ESAC1061408SAT 154.685 156.205
choco2_dwdeg 2008-06-261061400SAT 244.352 245.624
choco2_impwdeg 2008-06-261061399SAT 264.796 267.211
Mistral-prime 1.3131061404SAT 800.004 804.124
bpsolver 2008-06-271061398SAT 1791.51 1801.2
galac M1061401? (TO) 1800.01 1811.82
MDG-probe 2008-06-271061393? (TO) 1800.03 1808.41
Concrete + CSP4J - WMC Engine 2008-05-301061391? (TO) 1800.04 1814.42
galac E1061402? (TO) 1800.04 1814.72
Concrete + CSP4J - Tabu Engine 2008-05-301061390? (TO) 1800.07 1801.22
MDG-noprobe 2008-06-271061394? (TO) 1800.09 1810.21
SAT4J CSP 2008-06-131061395? (TO) 1800.14 1805.78

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