CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/mps/
normalized-mps-p0548.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/mps/
normalized-mps-p0548.xml
MD5SUMff56501091f6f6eaf973b857754e932d
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.096984
Satisfiable
(Un)Satisfiability was proved
Number of variables548
Number of constraints166
Maximum constraint arity143
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension166
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271064964SAT 0.096984 0.104158
cpHydra k_101064979SAT 0.108983 0.117792
cpHydra k_401064980SAT 0.109982 0.122116
Mistral-prime 1.3131064974SAT 0.25496 0.288781
Minion/Tailor 2008-07-041106497SAT 1.27681 1.33221
choco2_dwdeg 2008-06-261064970SAT 1.3108 1.36605
choco2_impwdeg 2008-06-261064969SAT 2.31565 2.37918
casper zao1064975SAT 3.47647 3.53631
casper zito1064976SAT 3.50347 3.52029
Sugar v1.13+minisat1064967? 165.183 170.32
Sugar v1.13+picosat1064966? 172.715 230.003
SAT4J CSP 2008-06-131064965? 410.431 409.828
galac M1064971? (MO) 24.38 24.9222
galac E1064972? (MO) 27.01 27.3198
Concrete + CSP4J - Tabu Engine 2008-05-301064960? (TO) 1800 1803.22
Concrete + CPS4J 2008-05-301064962? (TO) 1800.03 1808.82
bpsolver 2008-06-271064968? (TO) 1800.03 1813.02
Mistral-option 1.3141064973? (TO) 1800.04 1805.91
Abscon 112v4 ESAC1064978? (TO) 1800.06 1807.45
MDG-probe 2008-06-271064963? (TO) 1800.09 1802.11
Concrete + CSP4J - WMC Engine 2008-05-301064961? (TO) 1800.09 1808.92
Abscon 112v4 AC1064977? (TO) 1800.1 1808.16

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