CSP 2009 Competition: solvers results per benchmarks

Result page for benchmark
csp/primes-30/
normalized-primes-30-80-3-7.xml

Jump to solvers results

General information on the benchmark

Namecsp/primes-30/
normalized-primes-30-80-3-7.xml
MD5SUM25b8155835a587b5dcb33e9db5fbd955
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.9577
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints80
Maximum constraint arity10
Maximum domain size112
Number of constraints which are defined in extension0
Number of constraints which are defined in intension80
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral 1.545 (complete)2065694SAT 1.9577 2.01997
Choco2.1.1b 2009-07-16 (complete)2115208SAT 2.06269 2.10199
Choco2.1.1 2009-06-10 (complete)2065690SAT 2.08468 2.38235
pcs-restart 0.3.2 (complete)2065687SAT 223.255 225.35
pcs 0.3.2 (complete)2065686SAT 279.32 281.776
SAT4J CSP 2.1.1 (complete)2065685? 140.65 139.203
Sugar v1.14.6+minisat (complete)2065692? 383.45 405.16
Sugar v1.14.6+picosat (complete)2065691? 567.005 1529.73
Concrete DC 2009-07-14 (complete)2065689? (TO) 1800.04 1801.03
Concrete 2009-07-14 (complete)2065688? (TO) 1800.07 1809.03
Abscon 112v4 ESAC (complete)2094594? (TO) 1800.08 1811.75
bpsolver 09 (complete)2065695? (TO) 1800.1 1806.01
Abscon 112v4 AC (complete)2094593? (TO) 1800.12 1805.35

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 2 17 83 59 37 23 107 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 29 43 61 97 53 41 53 47 107 47 47 7 73 19 67 17 23 23 97 7 37 47 71 41 2 103 67
71 83 59 17 97 113