CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/aim-200/
normalized-aim-200-2-0-sat-2_ext.xml

Jump to solvers results

General information on the benchmark

Namecsp/aim-200/
normalized-aim-200-2-0-sat-2_ext.xml
MD5SUMc2a9b19ae084af6edb50a803955df45f
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.031994
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints382
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension382
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
casper zao1053768SAT 0.031994 0.0358079
Mistral-option 1.3141053766SAT 0.068988 0.0711071
MDG-probe 2008-06-271053756SAT 0.096984 0.103373
mddc-solv 2008-06-091053754SAT 0.250961 0.257282
Mistral-prime 1.3131053767SAT 0.270958 0.277355
cpHydra k_101053772SAT 0.306953 0.310838
cpHydra k_401053773SAT 0.309952 0.312814
MDG-noprobe 2008-06-271053757SAT 0.52092 0.532277
Minion/Tailor 2008-07-041105048SAT 0.532918 0.585031
Concrete + CPS4J 2008-05-301053753SAT 0.780881 0.805073
choco2_dwdeg 2008-06-261053763SAT 0.891863 0.94166
Sugar v1.13+minisat1053760SAT 0.893863 1.00823
Sugar v1.13+picosat1053759SAT 0.894863 1.01675
spider 2008-06-141053755SAT 0.967852 0.980943
SAT4J CSP 2008-06-131053758SAT 1.11183 1.14338
galac M1053764SAT 1.20382 1.28198
galac E1053765SAT 1.20682 1.24129
Abscon 112v4 ESAC1053771SAT 1.34879 1.41344
Abscon 112v4 AC1053770SAT 1.38479 1.44824
choco2_impwdeg 2008-06-261053762SAT 3.51347 3.55206
casper zito1053769SAT 6.16706 6.20047
Concrete + CSP4J - WMC Engine 2008-05-301053752? (TO) 1800.05 1807.82
Concrete + CSP4J - Tabu Engine 2008-05-301053751? (TO) 1800.05 1801.02
bpsolver 2008-06-271053761? (TO) 1800.07 1801.91

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