CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/primes-25/
normalized-primes-25-20-2-7.xml

Jump to solvers results

General information on the benchmark

Namecsp/primes-25/
normalized-primes-25-20-2-7.xml
MD5SUMf31fe02afe517b20e843c92c91181f95
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.016997
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Maximum constraint arity9
Maximum domain size96
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-271057314SAT 0.016997 0.017367
Mistral-prime 1.3131057324SAT 0.017997 0.0249069
Mistral-option 1.3141057323SAT 0.027995 0.0347431
cpHydra k_101057329SAT 0.027995 0.0295001
cpHydra k_401057330SAT 0.030995 0.0319761
bpsolver 2008-06-271057318SAT 0.045992 0.052686
MDG-probe 2008-06-271057313SAT 0.347947 0.738203
Minion/Tailor 2008-07-041106254SAT 0.399938 0.44766
casper zao1057325SAT 0.704892 0.711415
casper zito1057326SAT 4.02239 4.04915
choco2_dwdeg 2008-06-261057320SAT 12.93 13.0849
choco2_impwdeg 2008-06-261057319SAT 33.7369 34.0784
Sugar v1.13+picosat1057316? 172.936 190.627
Sugar v1.13+minisat1057317? 180.352 188.687
SAT4J CSP 2008-06-131057315? (MO) 64.0843 65.3254
galac M1057321? (TO) 1800 2085.52
Concrete + CPS4J 2008-05-301057312? (TO) 1800.01 1811.22
Concrete + CSP4J - WMC Engine 2008-05-301057311? (TO) 1800.01 1810.32
Concrete + CSP4J - Tabu Engine 2008-05-301057310? (TO) 1800.04 1800.92
Abscon 112v4 AC1057327? (TO) 1800.07 1808.64
galac E1057322? (TO) 1800.08 1806.72
Abscon 112v4 ESAC1057328? (TO) 1800.1 1807.45

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 2 15 61 65 47 25 58 93 96 70 3 2 2 24 2 2 2 2 28 2 2 2 94 2 2 2 2 2 2 67 2 79 68 97 15 2 2 12 58 11 94 2 2 3 2 3 2 9 2 28 2 2 13 2 95 97 2
2 29 43 35 2 2 3 26 54 2 2 2 2 2 57 30 97 24 2 2 2 2 2 2 6 41 95 71 24 2 23 70 2 88 6 97 4 2 2 56 2 2