CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/aim/
normalized-aim-100-6-0-3.xml
MD5SUMf8560cc6849df641c96c6509b785d1b4
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.071988
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints700
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension700
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131062958SAT 0.071988 0.0768659
MDG-noprobe 2008-06-271062948SAT 0.100984 0.108393
cpHydra k_101062963SAT 0.170973 0.176988
cpHydra k_401062964SAT 0.176972 0.181881
casper zito1062960SAT 0.181971 0.188248
casper zao1062959SAT 0.200968 0.209071
Mistral-option 1.3141062957SAT 0.341947 0.349466
Minion/Tailor 2008-07-041106290SAT 0.817875 0.835076
MDG-probe 2008-06-271062947SAT 0.839871 0.85792
bpsolver 2008-06-271062952SAT 0.903861 0.921044
Sugar v1.13+minisat1062951SAT 1.09483 1.22872
Sugar v1.13+picosat1062950SAT 1.3278 1.44025
Abscon 112v4 AC1062961SAT 1.3378 1.35946
Concrete + CSP4J - Tabu Engine 2008-05-301062944SAT 1.42078 1.48151
Concrete + CSP4J - WMC Engine 2008-05-301062945SAT 1.42578 1.47583
Abscon 112v4 ESAC1062962SAT 1.45178 1.51384
choco2_dwdeg 2008-06-261062954SAT 1.53977 1.5733
Concrete + CPS4J 2008-05-301062946SAT 1.72474 1.79931
choco2_impwdeg 2008-06-261062953SAT 1.77173 1.83958
galac M1062955SAT 1.99669 2.07408
galac E1062956SAT 2.00069 2.09886
SAT4J CSP 2008-06-131062949SAT 2.43363 2.48992

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