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

Result page for benchmark
dimacs/pret/
pret-60-40_ext.xml

Jump to solvers results

General information on the benchmark

Namedimacs/pret/
pret-60-40_ext.xml
MD5SUM0d74555e44f25386bfce89d3fd5d9a3a
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.023995
SatisfiableNO
(Un)Satisfiability was proved
Number of variables60
Number of constraints40
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension40
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CSPtoSAT+minisat 0.3241833UNSAT 0.023995 0.0330231
galacJ beta 1241822UNSAT 0.666898 0.70181
sugar 0.40241832UNSAT 0.679896 0.79667
galac 1241827UNSAT 0.699893 0.750246
sat4jCSP 1.7 RC BF3241829UNSAT 0.994848 1.03865
SAT4JCSP-CACHED 1.7 RC BF3241828UNSAT 1.05384 0.731707
Abscon 109 ESAC241823UNSAT 1.38079 1.43532
Abscon 109 AC241824UNSAT 3.03554 3.0609
Mistral 2006-12-04241830UNSAT 35.8246 35.8648
Tramontane 2006-12-04241831UNSAT 118.909 119.169
BPrologCSPSolver70a 2006-12-13241821UNSAT 200.629 200.706
CSP4J - MAC 2006-12-19241826UNSAT 232.531 232.711
CSP4J - MAC 2007-01-16272721UNSAT 245.817 248.154
CSP4J - Combo 2006-12-19241825UNSAT 1528.62 1531.01