CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/primes-10/
normalized-primes-10-20-2-1.xml

Jump to solvers results

General information on the benchmark

Namecsp/primes-10/
normalized-primes-10-20-2-1.xml
MD5SUMc34c1bf6b2f4e478850cc0d896280ae2
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.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension0
Number of constraints which are defined in intension20
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271077872SAT 0.009997 0.0114549
MDG-probe 2008-06-271077871SAT 0.010997 0.012803
Mistral-prime 1.3131077882SAT 0.010998 0.011352
cpHydra k_101077887SAT 0.023995 0.0216431
cpHydra k_401077888SAT 0.023996 0.0216361
bpsolver 2008-06-271077876SAT 0.032994 0.0337331
casper zao1077883SAT 0.073987 0.076241
casper zito1077884SAT 0.161975 0.171795
Minion/Tailor 2008-07-041106208SAT 0.359945 0.384366
Sugar v1.13+minisat1077875SAT 0.660899 0.677573
Sugar v1.13+picosat1077874SAT 0.676896 0.845851
Mistral-option 1.3141077881SAT 0.753885 0.754352
Concrete + CPS4J 2008-05-301077870SAT 0.788879 0.632007
Abscon 112v4 ESAC1077886SAT 0.815875 0.732903
Abscon 112v4 AC1077885SAT 0.852869 0.736472
Concrete + CSP4J - WMC Engine 2008-05-301077869SAT 0.894863 0.733524
choco2_dwdeg 2008-06-261077878SAT 0.91486 0.726898
choco2_impwdeg 2008-06-261077877SAT 0.917859 0.726578
Concrete + CSP4J - Tabu Engine 2008-05-301077868SAT 1.9537 1.82744
galac M1077879SAT 2.40963 2.42112
galac E1077880SAT 2.47462 2.31005
SAT4J CSP 2008-06-131077873SAT 4.47232 3.17625

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:
2 17 2 2 7 13 22 5 29 3 2 2 2 26 2 2 2 3 2 17 2 13 2 2 2 2 2 7 19 13 29 5 2 2 2 2 7 17 2 2 29 28 3 26 2 2 23 2 2 2 2 2 2 4 2 2 5 2 17 2 2 2
2 2 2 2 2 2 7 2 2 13 2 2 2 2 2 2 2 2 2 2 2 2 23 2 2 2 3 2 2 2 2 2 2 2 17 2 2 6