CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/mps/
normalized-mps-p0282.xml
MD5SUM1442269d9a7d88f20282612d7f47defc
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.069988
Satisfiable
(Un)Satisfiability was proved
Number of variables282
Number of constraints221
Maximum constraint arity57
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension221
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-option 1.3141065330SAT 0.069988 0.0769059
Mistral-prime 1.3131065331SAT 0.070988 0.076132
MDG-probe 2008-06-271065320SAT 0.072988 0.0809241
MDG-noprobe 2008-06-271065321SAT 0.073987 0.079561
cpHydra k_101065336SAT 0.081987 0.090052
cpHydra k_401065337SAT 0.083986 0.091641
bpsolver 2008-06-271065325SAT 0.168974 0.18178
casper zito1065333SAT 0.610907 0.623109
casper zao1065332SAT 0.612906 0.62027
Minion/Tailor 2008-07-041106495SAT 0.836872 0.894761
choco2_impwdeg 2008-06-261065326SAT 1.17082 1.21217
choco2_dwdeg 2008-06-261065327SAT 1.2958 1.36867
Sugar v1.13+minisat1065324SAT 36.7614 37.9511
Abscon 112v4 AC1065334SAT 54.0748 54.5437
Concrete + CPS4J 2008-05-301065319SAT 124.648 125.469
Abscon 112v4 ESAC1065335SAT 147.706 148.931
Sugar v1.13+picosat1065323SAT 159.111 161.116
Concrete + CSP4J - Tabu Engine 2008-05-301065317SAT 250.547 253.002
Concrete + CSP4J - WMC Engine 2008-05-301065318SAT 261.429 262.562
galac M1065328? (problem) 72.285 72.805
galac E1065329? (problem) 79.221 81.0812
SAT4J CSP 2008-06-131065322? (TO) 1801.37 1807.47

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