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

Result page for benchmark
geom/
geo50-20-d4-75-97_ext.xml

Name	geom/ geo50-20-d4-75-97_ext.xml
MD5SUM	58b6187a22c96037a9bcdd1cf57e5322
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.140977
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	383
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	383
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
Tramontane 2006-12-04	230336	SAT	0.140977	0.143505
Mistral 2006-12-04	230335	SAT	0.148977	0.149423
VALCSP 3.1	269244	SAT	0.166973	0.174957
VALCSP 3.0	230330	SAT	0.172973	0.179437
BPrologCSPSolver70a 2006-12-13	230322	SAT	0.302953	0.309934
CSPtoSAT+minisat 0.3	230338	SAT	0.308952	0.321718
buggy_2_5 2007-01-08	230334	SAT	0.492924	1.40766
buggy_2_5_s 2007-01-08	230333	SAT	0.507922	0.531123
CSP4J - MAC 2006-12-19	230328	SAT	0.791878	0.914316
CSP4J - MAC 2007-01-16	272030	SAT	0.815875	0.872866
CSP4J - Combo 2006-12-19	230327	SAT	0.85087	0.883775
Abscon 109 AC	230326	SAT	0.897863	0.917447
Abscon 109 ESAC	230325	SAT	0.91886	1.02369
rjw-solver 2006-12-09	230323	SAT	1.36479	1.36983
rjw-solver 2007-01-21	283988	SAT	1.37879	1.39555
Diarmuid-wtdi 2006-12-21	230320	SAT	1.38579	1.40104
galacJ beta 1	230324	SAT	2.23166	2.38067
sat4jCSP 1.7 RC BF3	230332	SAT	2.6486	2.66346
SAT4JCSP-CACHED 1.7 RC BF3	230331	SAT	2.69659	1.83672
galac 1	230329	SAT	3.3135	3.45416
sugar 0.40	230337	SAT	5.94	6.37433
Diarmuid-rndi 2007-01-22	286926	SAT	11.3923	11.5057
Diarmuid-rndi 2006-12-21	230321	SAT	11.6272	11.7564