CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/aim/
normalized-aim-200-6-0-3.xml
MD5SUM0e39d0c57a79c5bab45cb61ad96b1e9b
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.416935
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints1400
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1400
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
cpHydra k_101063194SAT 0.416935 0.427327
cpHydra k_401063195SAT 0.433933 0.449336
MDG-noprobe 2008-06-271063179SAT 0.591909 0.597886
Minion/Tailor 2008-07-041106296SAT 1.07783 1.11738
Sugar v1.13+minisat1063182SAT 1.23381 1.31363
Sugar v1.13+picosat1063181SAT 1.35779 1.44063
casper zao1063190SAT 1.43078 1.4452
Abscon 112v4 AC1063192SAT 1.79673 1.84216
choco2_dwdeg 2008-06-261063185SAT 2.18067 2.25151
Mistral-prime 1.3131063189SAT 2.27365 2.28353
Abscon 112v4 ESAC1063193SAT 2.28565 2.30604
choco2_impwdeg 2008-06-261063184SAT 2.39963 2.48037
Concrete + CPS4J 2008-05-301063177SAT 2.53761 2.57182
MDG-probe 2008-06-271063178SAT 2.57661 2.57823
galac M1063186SAT 2.66559 2.77499
galac E1063187SAT 2.78657 2.88329
Mistral-option 1.3141063188SAT 2.80057 2.80278
Concrete + CSP4J - WMC Engine 2008-05-301063176SAT 2.89456 2.93224
casper zito1063191SAT 3.13352 3.16779
SAT4J CSP 2008-06-131063180SAT 3.70944 3.78812
Concrete + CSP4J - Tabu Engine 2008-05-301063175SAT 1488.82 1509.85
bpsolver 2008-06-271063183? (TO) 1800.06 1805.51

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