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

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

Name	geom/ geo50-20-d4-75-17_ext.xml
MD5SUM	4658794fd82f442cbc94e3f54b52c9d0
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.125979
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	410
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	410
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	231532	SAT	0.125979	0.135194
Tramontane 2006-12-04	231533	SAT	0.135978	0.139063
VALCSP 3.1	269307	SAT	0.174972	0.175526
VALCSP 3.0	231527	SAT	0.179972	0.182303
BPrologCSPSolver70a 2006-12-13	231519	SAT	0.311952	0.31285
CSPtoSAT+minisat 0.3	231535	SAT	0.396939	0.41568
buggy_2_5_s 2007-01-08	231530	SAT	0.544916	0.552834
buggy_2_5 2007-01-08	231531	SAT	0.556914	0.567311
Diarmuid-wtdi 2006-12-21	231517	SAT	0.770882	0.778041
CSP4J - Combo 2006-12-19	231524	SAT	0.807876	0.86602
rjw-solver 2006-12-09	231520	SAT	0.814875	0.824243
rjw-solver 2007-01-21	284051	SAT	0.815875	0.827609
Abscon 109 AC	231523	SAT	0.896863	0.915432
Abscon 109 ESAC	231522	SAT	0.899863	0.951536
CSP4J - MAC 2006-12-19	231525	SAT	0.91786	1.09393
CSP4J - MAC 2007-01-16	272093	SAT	1.15882	1.22133
galacJ beta 1	231521	SAT	2.36164	2.50728
SAT4JCSP-CACHED 1.7 RC BF3	231528	SAT	2.65659	1.79011
sat4jCSP 1.7 RC BF3	231529	SAT	2.84657	1.82626
galac 1	231526	SAT	3.80842	3.96348
sugar 0.40	231534	SAT	5.89	6.21742
Diarmuid-rndi 2006-12-21	231518	SAT	17.1364	17.1755
Diarmuid-rndi 2007-01-22	286989	SAT	31.3042	31.4093