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

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

Jump to solvers results

General information on the benchmark

Namecomposed/composed-75-1-2/
composed-75-1-2-6_ext.xml
MD5SUM85e2c6fc42c46319eaaa2546e8dbecbe
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.06099
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables83
Number of constraints624
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension624
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.0192291UNSAT 0.06099 0.0621071
VALCSP 3.1267828UNSAT 0.06099 0.062253
Tramontane 2006-12-04192297UNSAT 0.082987 0.089237
Mistral 2006-12-04192296UNSAT 0.091985 0.111843
BPrologCSPSolver70a 2006-12-13192283UNSAT 0.117981 0.119203
CSPtoSAT+minisat 0.3192299UNSAT 0.131979 0.142328
Diarmuid-wtdi 2006-12-21192281UNSAT 0.280956 0.286236
Diarmuid-rndi 2006-12-21192282UNSAT 0.291955 0.302173
buggy_2_5_s 2007-01-08192294UNSAT 0.331949 0.358229
buggy_2_5 2007-01-08192295UNSAT 0.340947 0.346365
CSP4J - MAC 2006-12-19192289UNSAT 0.686894 0.762915
CSP4J - MAC 2007-01-16269787UNSAT 0.718889 0.761323
CSP4J - Combo 2006-12-19192288UNSAT 0.85087 0.929889
Abscon 109 AC192287UNSAT 0.951855 0.978184
Abscon 109 ESAC192286UNSAT 0.958853 0.97714
galacJ beta 1192285UNSAT 1.03584 1.06373
Diarmuid-rndi 2007-01-22286012UNSAT 1.09683 1.10519
rjw-solver 2006-12-09192284UNSAT 1.15882 1.17453
rjw-solver 2007-01-21283074UNSAT 1.21381 1.28093
galac 1192290UNSAT 1.41278 1.50025
sugar 0.40192298UNSAT 2.3 2.48582
SAT4JCSP-CACHED 1.7 RC BF3192292UNSAT 2.41163 2.50743
sat4jCSP 1.7 RC BF3192293UNSAT 2.78358 1.61912