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

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

Name	geom/ geo50-20-d4-75-91_ext.xml
MD5SUM	545761f382bd585b0826fb5084868060
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.103984
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	375
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	375
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
Mistral 2006-12-04	230601	SAT	0.103984	0.107244
Tramontane 2006-12-04	230602	SAT	0.106982	0.110593
VALCSP 3.0	230596	SAT	0.161975	0.16864
VALCSP 3.1	269258	SAT	0.161975	0.163691
CSPtoSAT+minisat 0.3	230604	SAT	0.25496	0.256911
BPrologCSPSolver70a 2006-12-13	230588	SAT	0.280956	0.283071
Diarmuid-wtdi 2006-12-21	230586	SAT	0.313951	0.322338
rjw-solver 2007-01-21	284002	SAT	0.324949	0.3297
rjw-solver 2006-12-09	230589	SAT	0.334949	0.34408
buggy_2_5 2007-01-08	230600	SAT	0.468928	0.502174
buggy_2_5_s 2007-01-08	230599	SAT	0.478926	0.493378
CSP4J - MAC 2007-01-16	272044	SAT	0.763883	0.810184
CSP4J - Combo 2006-12-19	230593	SAT	0.764883	0.908721
CSP4J - MAC 2006-12-19	230594	SAT	0.765882	0.812747
Abscon 109 AC	230592	SAT	0.855869	0.923363
Abscon 109 ESAC	230591	SAT	0.900862	0.915751
Diarmuid-rndi 2006-12-21	230587	SAT	0.943856	0.955074
Diarmuid-rndi 2007-01-22	286940	SAT	2.10668	2.13397
galacJ beta 1	230590	SAT	2.11868	2.17563
SAT4JCSP-CACHED 1.7 RC BF3	230597	SAT	2.25566	2.30955
sat4jCSP 1.7 RC BF3	230598	SAT	2.6516	2.4572
galac 1	230595	SAT	3.2755	3.43107
sugar 0.40	230603	SAT	5.53	5.67984