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

Result page for benchmark
coloring/
geom-30a-4-ext.xml

Jump to solvers results

General information on the benchmark

Namecoloring/
geom-30a-4-ext.xml
MD5SUM26316bc3cad1d7ada5460ee8bafa6099
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.002998
SatisfiableNO
(Un)Satisfiability was proved
Number of variables30
Number of constraints81
Maximum constraint arity2
Maximum domain size4
Number of constraints which are defined in extension81
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.0252749UNSAT 0.002998 0.0055201
VALCSP 3.1269727UNSAT 0.003998 0.0103151
Mistral 2006-12-04252754UNSAT 0.015997 0.0180081
Tramontane 2006-12-04252755UNSAT 0.017997 0.0179079
CSPtoSAT+minisat 0.3252757UNSAT 0.018997 0.0250289
BPrologCSPSolver70a 2006-12-13252734UNSAT 0.020996 0.0221161
rjw-solver 2006-12-09252736UNSAT 0.05699 0.0582139
rjw-solver 2007-01-21284213UNSAT 0.05699 0.065178
Diarmuid-wtdi 2006-12-21252732UNSAT 0.069988 0.0754341
buggy_2_5_s 2007-01-08252752UNSAT 0.070988 0.0725021
buggy_2_5 2007-01-08252753UNSAT 0.071988 0.0897141
sugar 0.40252756UNSAT 0.290954 1.11796
CSP4J - MAC 2006-12-19252747UNSAT 0.353945 0.391554
CSP4J - Combo 2006-12-19252746UNSAT 0.363944 0.388665
CSP4J - MAC 2007-01-16273142UNSAT 0.379941 0.400669
galacJ beta 1252737UNSAT 0.557914 0.577906
galac 1252748UNSAT 0.601908 0.659189
Diarmuid-rndi 2006-12-21252733UNSAT 0.626903 0.630286
sat4jCSP 1.7 RC BF3252751UNSAT 0.646901 0.519843
SAT4JCSP-CACHED 1.7 RC BF3252750UNSAT 0.653899 0.523817
Abscon 109 ESAC252744UNSAT 0.668897 0.712933
Abscon 109 AC252745UNSAT 0.71689 0.788792
Diarmuid-rndi 2007-01-22287151UNSAT 0.900862 0.902947