CSP 2009 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/primes-30/
normalized-primes-30-80-2-7.xml
MD5SUMe8c315bcbe0748e0a375ad8d37a916fb
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.029995
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints80
Maximum constraint arity9
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)2065584SAT 0.029995 0.0378089
bpsolver 09 (complete)2065585SAT 0.066989 0.065708
pcs 0.3.2 (complete)2065576SAT 0.12398 0.13635
pcs-restart 0.3.2 (complete)2065577SAT 0.185971 0.189797
Choco2.1.1 2009-06-10 (complete)2065580SAT 0.831872 0.896097
Choco2.1.1b 2009-07-16 (complete)2115198SAT 0.876865 0.901167
Sugar v1.14.6+picosat (complete)2065581SAT 1.20481 1.29768
Sugar v1.14.6+minisat (complete)2065582SAT 1.27381 1.34494
Abscon 112v4 AC (complete)2094573SAT 6.43402 6.5304
Abscon 112v4 ESAC (complete)2094574SAT 7.93079 8.01501
SAT4J CSP 2.1.1 (complete)2065575? 845.962 843.588
Concrete 2009-07-14 (complete)2065578? (TO) 1800.07 1804.72
Concrete DC 2009-07-14 (complete)2065579? (TO) 1800.1 1801.03

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