CSP 2006 Competition (second round): solvers results per benchmarks

Result page for benchmark
fapp/test01-04/test02/
test02-0250-10.xml

Jump to solvers results

General information on the benchmark

Namefapp/test01-04/test02/
test02-0250-10.xml
MD5SUM18b6dc0eb1775fdf92b706b1210b2edc
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.76773
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables250
Number of constraints2462
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2462
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
buggy_2_5 2007-01-08207245SAT 1.76773 1.79572
Tramontane 2006-12-04207247SAT 8.42672 8.47221
Abscon 109 AC207237SAT 13.097 13.208
Mistral 2006-12-04207246SAT 24.1673 24.1781
CSP4J - Combo 2006-12-19207238SAT 51.5412 51.8781
Abscon 109 ESAC207236SAT 54.3057 54.8891
CSP4J - MAC 2007-01-16270656SAT 70.4093 70.6874
VALCSP 3.0207241SAT 78.4321 79.0795
CSP4J - MAC 2006-12-19207239SAT 79.4079 80.217
VALCSP 3.1268499SAT 88.0736 88.5032
buggy_2_5_s 2007-01-08207244SAT 141.238 141.856
sugar 0.40207248? 6.1 6.19107
SAT4JCSP-CACHED 1.7 RC BF3207242? 121.701 121.488
sat4jCSP 1.7 RC BF3207243? 708.95 712.049
galacJ beta 1207235? (problem) 1254.28 1257.83
galac 1207240? (problem) 1268.64 1272.28
CSPtoSAT+minisat 0.3207249? (TO) 1800.05 1800.74
BPrologCSPSolver70a 2006-12-13207234? (TO) 1800.12 1805.79