CSP 2009 Competition: solvers results per benchmarks

Result page for benchmark
csp/primes-30/
normalized-primes-30-60-2-7.xml

Jump to solvers results

General information on the benchmark

Namecsp/primes-30/
normalized-primes-30-60-2-7.xml
MD5SUM33c0838b1f52affed2cd00dbaf9d007f
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 benchmark1.38179
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Maximum constraint arity9
Maximum domain size112
Number of constraints which are defined in extension0
Number of constraints which are defined in intension60
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Choco2.1.1 2009-06-10 (complete)2065646SAT 1.38179 1.41306
Choco2.1.1b 2009-07-16 (complete)2115204SAT 1.42578 1.46076
Mistral 1.545 (complete)2065650SAT 1.76673 1.78534
bpsolver 09 (complete)2065651SAT 26.316 26.525
pcs-restart 0.3.2 (complete)2065643SAT 152.623 153.392
Abscon 112v4 AC (complete)2094585SAT 291.618 291.727
pcs 0.3.2 (complete)2065642SAT 317.204 318.611
Abscon 112v4 ESAC (complete)2094586SAT 1215.61 1227.25
SAT4J CSP 2.1.1 (complete)2065641? 134.744 133.651
Sugar v1.14.6+picosat (complete)2065647? 369.188 388.132
Sugar v1.14.6+minisat (complete)2065648? 376.462 391.516
Concrete 2009-07-14 (complete)2065644? (TO) 1800.01 1809.92
Concrete DC 2009-07-14 (complete)2065645? (TO) 1800.04 1809.12

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:
43 59 107 101 89 101 59 41 29 3 5 19 73 71 89 59 13 17 83 59 37 23 83 29 5 73 5 43 19 101 113 41 41 67 113 107 43 59 3 83 29 7 79 113 47 19
23 47 13 2 89 59 3 73 103 7 5 73 59 3 53 53 47 107 103 13 59 58 43 61 93 53 41 53 47 48 35 47 7 73 19 67 17 23 23 97 7 37 47 71 41 2 103 67
71 83 59 17 97 113