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

Result page for benchmark
composed/composed-75-1-40/
composed-75-1-40-8_ext.xml

Jump to solvers results

General information on the benchmark

Namecomposed/composed-75-1-40/
composed-75-1-40-8_ext.xml
MD5SUM57e124aa41ccf1d4ea64ac1535038d37
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.05799
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables83
Number of constraints662
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension662
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.0219150UNSAT 0.05799 0.0599901
VALCSP 3.1268702UNSAT 0.05799 0.058714
Tramontane 2006-12-04219156UNSAT 0.084986 0.0876439
Mistral 2006-12-04219155UNSAT 0.088986 0.095868
BPrologCSPSolver70a 2006-12-13219142UNSAT 0.121981 0.121926
CSPtoSAT+minisat 0.3219158UNSAT 0.147977 0.164325
Diarmuid-wtdi 2006-12-21219140UNSAT 0.316951 0.328975
buggy_2_5_s 2007-01-08219153UNSAT 0.334948 0.388663
buggy_2_5 2007-01-08219154UNSAT 0.341947 0.350289
CSP4J - MAC 2006-12-19219148UNSAT 0.709891 0.771988
Diarmuid-rndi 2007-01-22286426UNSAT 0.738887 0.739337
CSP4J - MAC 2007-01-16271488UNSAT 0.739886 0.770318
CSP4J - Combo 2006-12-19219147UNSAT 0.795878 0.880371
Diarmuid-rndi 2006-12-21219141UNSAT 0.807876 0.811007
rjw-solver 2006-12-09219143UNSAT 0.897862 0.902197
Abscon 109 ESAC219145UNSAT 0.900862 0.921084
rjw-solver 2007-01-21283488UNSAT 0.941856 0.949705
Abscon 109 AC219146UNSAT 0.993848 1.03579
galacJ beta 1219144UNSAT 1.05184 1.11618
galac 1219149UNSAT 1.45378 1.49532
sugar 0.40219157UNSAT 2.41263 2.50774
sat4jCSP 1.7 RC BF3219152UNSAT 2.55561 1.6616
SAT4JCSP-CACHED 1.7 RC BF3219151UNSAT 2.69959 2.75601