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

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

Name	geom/ geo50-20-d4-75-5_ext.xml
MD5SUM	6071fb8dc55693b5b6c48dc2c1e0aa2d
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.11998
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	368
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	368
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	230905	SAT	0.11998	0.122954
Tramontane 2006-12-04	230906	SAT	0.131979	0.133979
VALCSP 3.1	269274	SAT	0.155976	0.163826
VALCSP 3.0	230900	SAT	0.158974	0.161271
BPrologCSPSolver70a 2006-12-13	230892	SAT	0.269958	0.273986
CSPtoSAT+minisat 0.3	230908	SAT	0.289955	0.2926
buggy_2_5 2007-01-08	230904	SAT	0.492924	0.505853
buggy_2_5_s 2007-01-08	230903	SAT	0.501923	0.532681
rjw-solver 2006-12-09	230893	SAT	0.557914	0.562491
rjw-solver 2007-01-21	284018	SAT	0.582911	0.590013
Diarmuid-wtdi 2006-12-21	230890	SAT	0.630903	0.634837
CSP4J - Combo 2006-12-19	230897	SAT	0.764883	0.816909
CSP4J - MAC 2007-01-16	272060	SAT	0.785879	0.815045
CSP4J - MAC 2006-12-19	230898	SAT	0.801877	0.823208
Abscon 109 AC	230896	SAT	0.865867	0.926615
Abscon 109 ESAC	230895	SAT	0.91886	0.972003
galacJ beta 1	230894	SAT	2.00969	2.0701
SAT4JCSP-CACHED 1.7 RC BF3	230901	SAT	2.56961	2.66616
sat4jCSP 1.7 RC BF3	230902	SAT	2.6276	2.68315
Diarmuid-rndi 2006-12-21	230891	SAT	2.6406	2.73431
galac 1	230899	SAT	2.92355	3.37198
sugar 0.40	230907	SAT	5.77	6.04796
Diarmuid-rndi 2007-01-22	286956	SAT	8.89965	8.98699