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

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

Name	geom/ geo50-20-d4-75-36_ext.xml
MD5SUM	e1f1e45842778a4fc96e03e96c2e45c0
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.104983
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	339
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	339
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	231267	SAT	0.104983	0.112614
Mistral 2006-12-04	231266	SAT	0.105983	0.108982
VALCSP 3.0	231261	SAT	0.141978	0.150324
VALCSP 3.1	269293	SAT	0.142977	0.147679
CSPtoSAT+minisat 0.3	231269	SAT	0.236963	0.255765
BPrologCSPSolver70a 2006-12-13	231253	SAT	0.265959	0.266966
rjw-solver 2007-01-21	284037	SAT	0.269958	0.352464
Diarmuid-wtdi 2006-12-21	231251	SAT	0.284955	0.292689
rjw-solver 2006-12-09	231254	SAT	0.286955	0.289213
buggy_2_5_s 2007-01-08	231264	SAT	0.433933	0.437035
buggy_2_5 2007-01-08	231265	SAT	0.44893	0.454787
CSP4J - MAC 2007-01-16	272079	SAT	0.739887	0.761652
CSP4J - Combo 2006-12-19	231258	SAT	0.750885	0.809858
Diarmuid-rndi 2007-01-22	286975	SAT	0.754884	0.763439
CSP4J - MAC 2006-12-19	231259	SAT	0.802877	0.87713
Abscon 109 ESAC	231256	SAT	0.84687	0.920415
Abscon 109 AC	231257	SAT	0.85387	0.929833
Diarmuid-rndi 2006-12-21	231252	SAT	1.53777	1.56064
galacJ beta 1	231255	SAT	1.9977	2.07026
sat4jCSP 1.7 RC BF3	231263	SAT	2.07968	2.1396
SAT4JCSP-CACHED 1.7 RC BF3	231262	SAT	2.18367	2.18494
galac 1	231260	SAT	2.93155	3.06423
sugar 0.40	231268	SAT	5.5	5.68113