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

Result page for benchmark
composed/composed-75-1-25/
composed-75-1-25-2_ext.xml

Jump to solvers results

General information on the benchmark

Namecomposed/composed-75-1-25/
composed-75-1-25-2_ext.xml
MD5SUM926a57a748b9c2e90417660875733010
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.061989
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables83
Number of constraints647
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension647
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
VALCSP 3.1267803UNSAT 0.06099 0.0645129
VALCSP 3.0191858UNSAT 0.061989 0.0690011
Tramontane 2006-12-04191864UNSAT 0.083986 0.0912361
Mistral 2006-12-04191863UNSAT 0.092985 0.10784
BPrologCSPSolver70a 2006-12-13191850UNSAT 0.120981 0.128116
CSPtoSAT+minisat 0.3191866UNSAT 0.143977 0.147992
Diarmuid-wtdi 2006-12-21191848UNSAT 0.281956 0.331064
buggy_2_5_s 2007-01-08191861UNSAT 0.337947 0.339439
buggy_2_5 2007-01-08191862UNSAT 0.340947 0.748124
Diarmuid-rndi 2007-01-22286001UNSAT 0.556914 0.562658
CSP4J - MAC 2006-12-19191856UNSAT 0.71889 0.759046
CSP4J - MAC 2007-01-16269762UNSAT 0.743885 0.759934
CSP4J - Combo 2006-12-19191855UNSAT 0.836872 0.883097
Abscon 109 ESAC191853UNSAT 0.886864 0.927261
Abscon 109 AC191854UNSAT 0.961853 0.987946
galacJ beta 1191852UNSAT 1.04884 1.11217
rjw-solver 2007-01-21283063UNSAT 1.19082 1.20513
rjw-solver 2006-12-09191851UNSAT 1.19982 1.3749
Diarmuid-rndi 2006-12-21191849UNSAT 1.23981 1.36519
galac 1191857UNSAT 1.42278 1.43071
sugar 0.40191865UNSAT 2.52362 3.30779
SAT4JCSP-CACHED 1.7 RC BF3191859UNSAT 2.65859 2.37602
sat4jCSP 1.7 RC BF3191860UNSAT 2.66659 1.92829