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

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

Name	coloring/ geom-30a-6-ext.xml
MD5SUM	f9533677ee890ec64337a502b8ddecc3
Bench Category	2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.003998
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	30
Number of constraints	81
Maximum constraint arity	2
Maximum domain size	6
Number of constraints which are defined in extension	81
Number of constraints which are defined in intension	0
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
VALCSP 3.0	253199	SAT	0.003998	0.0073351
VALCSP 3.1	269745	SAT	0.003998	0.00789109
Mistral 2006-12-04	253204	SAT	0.015996	0.0193309
Tramontane 2006-12-04	253205	SAT	0.015997	0.0189249
CSPtoSAT+minisat 0.3	253207	SAT	0.017997	0.0195269
BPrologCSPSolver70a 2006-12-13	253191	SAT	0.020995	0.021882
Diarmuid-wtdi 2006-12-21	253189	SAT	0.045992	0.0496199
Diarmuid-rndi 2007-01-22	287169	SAT	0.047991	0.04825
Diarmuid-rndi 2006-12-21	253190	SAT	0.047992	0.128277
rjw-solver 2007-01-21	284231	SAT	0.047992	0.0876019
rjw-solver 2006-12-09	253192	SAT	0.048992	0.0522599
buggy_2_5 2007-01-08	253203	SAT	0.069989	0.071538
buggy_2_5_s 2007-01-08	253202	SAT	0.069989	0.0783351
CSP4J - Combo 2006-12-19	253196	SAT	0.368942	0.404518
CSP4J - MAC 2007-01-16	273160	SAT	0.399938	0.538822
CSP4J - MAC 2006-12-19	253197	SAT	0.407937	0.457883
sugar 0.40	253206	SAT	0.422935	1.02826
sat4jCSP 1.7 RC BF3	253201	SAT	0.627904	0.526469
Abscon 109 ESAC	253194	SAT	0.632903	0.654544
Abscon 109 AC	253195	SAT	0.636902	0.65478
SAT4JCSP-CACHED 1.7 RC BF3	253200	SAT	0.646901	0.532858
galac 1	253198	SAT	0.98485	1.07987
galacJ beta 1	253193	SAT	1.00185	1.09188