CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/primes-10/
normalized-primes-10-20-2-7.xml
MD5SUM463851fbfcf9cc61468534a99c1e529b
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.016996
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Maximum constraint arity9
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
Mistral-prime 1.3131077777SAT 0.016996 0.0234101
MDG-noprobe 2008-06-271077767SAT 0.017997 0.023662
cpHydra k_401077783SAT 0.030994 0.0368489
cpHydra k_101077782SAT 0.031994 0.036955
bpsolver 2008-06-271077771SAT 0.040993 0.040166
casper zito1077779SAT 0.042993 0.044641
MDG-probe 2008-06-271077766SAT 0.31895 0.324805
casper zao1077778SAT 0.383941 0.388188
Minion/Tailor 2008-07-041106209SAT 0.407937 0.457726
choco2_dwdeg 2008-06-261077773SAT 2.16167 2.21596
choco2_impwdeg 2008-06-261077772SAT 2.83057 2.66099
Mistral-option 1.3141077776SAT 3.16452 3.19501
Abscon 112v4 AC1077780SAT 653.535 655.706
Abscon 112v4 ESAC1077781SAT 1364.82 1377.65
SAT4J CSP 2008-06-131077768? 96.0054 92.7781
Sugar v1.13+minisat1077770? (MO) 75.97 91.6376
Sugar v1.13+picosat1077769? (MO) 286.147 286.656
Concrete + CSP4J - Tabu Engine 2008-05-301077763? (TO) 1800.04 1817.23
Concrete + CPS4J 2008-05-301077765? (TO) 1800.06 1800.52
Concrete + CSP4J - WMC Engine 2008-05-301077764? (TO) 1800.07 1800.52
galac E1077775? (TO) 1800.07 1804.32
galac M1077774? (TO) 1800.09 1801.52

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 21 23 2 29 18 2 29 23 2 28 2 2 2 2 2 28 2 4 18 28 2 2 2 2 25 26 13 26 2 2 29 29 29 16 23 28 9 11 27 24 2 7 27 2 8 27 3 2 2 2 2 4 29 2 5
2 2 28 2 28 2 15 7 29 24 14 2 13 2 2 19 2 10 2 2 2 2 29 2 29 13 29 29 28 29 2 2 8 15 2 28 28 12 2 2 22 2 9