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

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

Jump to solvers results

General information on the benchmark

Namecoloring/
geom-30a-5-ext.xml
MD5SUM162106a1ffe1b0fbdc628fd119f2c399
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.004998
SatisfiableNO
(Un)Satisfiability was proved
Number of variables30
Number of constraints81
Maximum constraint arity2
Maximum domain size5
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.0253161UNSAT 0.004998 0.00672693
VALCSP 3.1269743UNSAT 0.004998 0.0125259
Mistral 2006-12-04253166UNSAT 0.019996 0.0226511
Tramontane 2006-12-04253167UNSAT 0.019996 0.020747
CSPtoSAT+minisat 0.3253169UNSAT 0.020996 0.0245281
BPrologCSPSolver70a 2006-12-13253146UNSAT 0.022996 0.0253001
buggy_2_5 2007-01-08253165UNSAT 0.070988 0.0755061
buggy_2_5_s 2007-01-08253164UNSAT 0.070988 0.0724929
rjw-solver 2006-12-09253148UNSAT 0.176972 0.180799
rjw-solver 2007-01-21284229UNSAT 0.177972 0.187547
sugar 0.40253168UNSAT 0.303953 0.864212
CSP4J - MAC 2006-12-19253159UNSAT 0.372942 0.398497
CSP4J - MAC 2007-01-16273158UNSAT 0.378941 0.393049
Diarmuid-wtdi 2006-12-21253144UNSAT 0.382941 0.382171
CSP4J - Combo 2006-12-19253158UNSAT 0.416936 0.447763
Diarmuid-rndi 2006-12-21253145UNSAT 0.564914 0.568921
Diarmuid-rndi 2007-01-22287167UNSAT 0.573911 0.583155
galacJ beta 1253149UNSAT 0.579911 0.68937
galac 1253160UNSAT 0.589909 0.634849
Abscon 109 ESAC253156UNSAT 0.703892 0.77869
Abscon 109 AC253157UNSAT 0.740886 0.865523
sat4jCSP 1.7 RC BF3253163UNSAT 0.808876 0.627141
SAT4JCSP-CACHED 1.7 RC BF3253162UNSAT 0.84987 0.891136