CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/aim/
normalized-aim-200-1-6-1.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/aim/
normalized-aim-200-1-6-1.xml
MD5SUMee244b78274767d778baf19b78e558ce
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.16682
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints520
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension520
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Minion/Tailor 2008-07-041106291SAT 1.10783 1.14176
MDG-noprobe 2008-06-271063200SAT 1.16682 1.18347
Sugar v1.13+picosat1063202SAT 1.19982 1.29144
Sugar v1.13+minisat1063203SAT 1.23781 1.34008
MDG-probe 2008-06-271063199SAT 1.54976 1.56404
Abscon 112v4 AC1063213SAT 1.87271 1.92689
galac E1063208SAT 1.90371 2.05194
galac M1063207SAT 1.9747 2.09907
Abscon 112v4 ESAC1063214SAT 2.10168 2.28426
Concrete + CPS4J 2008-05-301063198SAT 2.20067 2.27249
SAT4J CSP 2008-06-131063201SAT 2.45463 2.5905
Mistral-prime 1.3131063210SAT 2.67459 2.69462
casper zito1063212SAT 5.64314 5.67764
cpHydra k_101063215SAT 9.13361 9.27929
cpHydra k_401063216SAT 9.69653 9.8523
choco2_dwdeg 2008-06-261063206SAT 11.3013 11.4606
Mistral-option 1.3141063209SAT 11.3473 11.3988
choco2_impwdeg 2008-06-261063205SAT 12.0932 12.2268
casper zao1063211SAT 13.37 13.432
Concrete + CSP4J - Tabu Engine 2008-05-301063196? (TO) 1800.04 1803.62
Concrete + CSP4J - WMC Engine 2008-05-301063197? (TO) 1800.06 1814.42
bpsolver 2008-06-271063204? (TO) 1800.1 1805.61

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