CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/aim-200/
normalized-aim-200-1-6-sat-4_ext.xml

Jump to solvers results

General information on the benchmark

Namecsp/aim-200/
normalized-aim-200-1-6-sat-4_ext.xml
MD5SUMb206f59626dbdf6be86c32293428ba3c
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.017996
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints318
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension318
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-option 1.3141053812SAT 0.017996 0.020566
MDG-noprobe 2008-06-271053803SAT 0.049991 0.0566879
MDG-probe 2008-06-271053802SAT 0.052991 0.058833
mddc-solv 2008-06-091053800SAT 0.136978 0.148743
spider 2008-06-141053801SAT 0.173973 0.181759
casper zito1053815SAT 0.221966 0.233268
Mistral-prime 1.3131053813SAT 0.302953 0.308836
cpHydra k_101053818SAT 0.356944 0.363259
cpHydra k_401053819SAT 0.357945 0.362166
Minion/Tailor 2008-07-041105050SAT 0.511921 0.525571
Concrete + CPS4J 2008-05-301053799SAT 0.631903 0.655467
choco2_dwdeg 2008-06-261053809SAT 0.808876 0.835759
casper zao1053814SAT 0.831873 0.839439
Sugar v1.13+minisat1053806SAT 0.895863 0.990139
Abscon 112v4 AC1053816SAT 0.963853 0.97969
Abscon 112v4 ESAC1053817SAT 0.991848 1.04702
Sugar v1.13+picosat1053805SAT 1.01284 1.10423
SAT4J CSP 2008-06-131053804SAT 1.16782 1.19155
galac E1053811SAT 1.21181 1.96619
choco2_impwdeg 2008-06-261053808SAT 1.3378 1.37466
galac M1053810SAT 1.34879 1.96145
Concrete + CSP4J - WMC Engine 2008-05-301053798? (TO) 1800.07 1801.12
bpsolver 2008-06-271053807? (TO) 1800.08 1805.01
Concrete + CSP4J - Tabu Engine 2008-05-301053797? (TO) 1800.09 1806.92

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