CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/mps/
normalized-mps-p0291.xml
MD5SUM330c15b6bf41770b68aeb5fa16224b91
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.035994
Satisfiable
(Un)Satisfiability was proved
Number of variables291
Number of constraints205
Maximum constraint arity53
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension205
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-probe 2008-06-271065257SAT 0.035994 0.0434021
Mistral-option 1.3141065267SAT 0.037993 0.0443111
MDG-noprobe 2008-06-271065258SAT 0.039993 0.047061
Mistral-prime 1.3131065268SAT 0.040993 0.0465961
cpHydra k_401065274SAT 0.050991 0.057322
cpHydra k_101065273SAT 0.052991 0.0586751
bpsolver 2008-06-271065262SAT 0.105983 0.113036
casper zito1065270SAT 0.658899 0.673
casper zao1065269SAT 0.727889 0.741072
Minion/Tailor 2008-07-041106496SAT 0.828873 0.882308
choco2_dwdeg 2008-06-261065264SAT 1.03784 1.1061
choco2_impwdeg 2008-06-261065263SAT 1.24481 1.35218
Sugar v1.13+minisat1065261SAT 11.7462 11.9281
Abscon 112v4 AC1065271SAT 14.5968 14.7926
Concrete + CSP4J - WMC Engine 2008-05-301065255SAT 40.3629 40.4052
Concrete + CSP4J - Tabu Engine 2008-05-301065254SAT 40.5508 40.5797
Sugar v1.13+picosat1065260SAT 47.8637 48.4943
Abscon 112v4 ESAC1065272SAT 52.658 53.2233
galac M1065265? (MO) 1465.58 1471.73
galac E1065266? (MO) 1476.11 1484.02
Concrete + CPS4J 2008-05-301065256? (TO) 1800 1812.83
SAT4J CSP 2008-06-131065259? (TO) 1800.16 1809.38

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