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

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

Name	geom/ geo50-20-d4-75-56_ext.xml
MD5SUM	4ed199ad6562722c958275ee56ef07e7
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.153975
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	449
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	449
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	231666	SAT	0.153975	0.157968
Mistral 2006-12-04	231665	SAT	0.160975	0.16313
VALCSP 3.1	269314	SAT	0.203968	0.205623
VALCSP 3.0	231660	SAT	0.208967	0.212641
buggy_2_5_s 2007-01-08	231663	SAT	0.678896	0.680531
buggy_2_5 2007-01-08	231664	SAT	0.691894	0.700834
Diarmuid-wtdi 2006-12-21	231650	SAT	0.843871	0.845386
rjw-solver 2007-01-21	284058	SAT	0.843871	0.844927
CSP4J - Combo 2006-12-19	231657	SAT	0.885864	0.924965
Abscon 109 AC	231656	SAT	0.890864	0.922629
Abscon 109 ESAC	231655	SAT	0.91286	0.990882
rjw-solver 2006-12-09	231653	SAT	0.924858	0.941052
CSP4J - MAC 2006-12-19	231658	SAT	0.987849	1.07961
CSP4J - MAC 2007-01-16	272100	SAT	1.03284	1.07337
CSPtoSAT+minisat 0.3	231668	SAT	1.12683	1.16021
galacJ beta 1	231654	SAT	2.44463	2.8026
SAT4JCSP-CACHED 1.7 RC BF3	231661	SAT	2.71759	2.80899
BPrologCSPSolver70a 2006-12-13	231652	SAT	2.81257	2.83428
sat4jCSP 1.7 RC BF3	231662	SAT	2.96455	1.89799
galac 1	231659	SAT	3.85141	3.95488
sugar 0.40	231667	SAT	6.88995	6.97912
Diarmuid-rndi 2007-01-22	286996	SAT	17.6963	17.8648
Diarmuid-rndi 2006-12-21	231651	SAT	34.8637	34.9001