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

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

Name	geom/ geo50-20-d4-75-74_ext.xml
MD5SUM	e6a14c2c600f8cbe62179348cf5ccfac
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.118981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	412
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	412
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	231551	SAT	0.118981	0.125054
Tramontane 2006-12-04	231552	SAT	0.118981	0.126251
VALCSP 3.0	231546	SAT	0.176972	0.181002
VALCSP 3.1	269308	SAT	0.176972	0.179061
BPrologCSPSolver70a 2006-12-13	231538	SAT	0.325949	0.33443
Diarmuid-wtdi 2006-12-21	231536	SAT	0.352945	0.355189
rjw-solver 2007-01-21	284052	SAT	0.370942	0.372515
CSPtoSAT+minisat 0.3	231554	SAT	0.372943	0.397827
rjw-solver 2006-12-09	231539	SAT	0.381941	0.385035
buggy_2_5 2007-01-08	231550	SAT	0.557914	0.563985
buggy_2_5_s 2007-01-08	231549	SAT	0.588909	0.637397
CSP4J - Combo 2006-12-19	231543	SAT	0.812876	0.870871
CSP4J - MAC 2007-01-16	272094	SAT	0.893863	0.919356
Abscon 109 ESAC	231541	SAT	0.940855	0.969678
CSP4J - MAC 2006-12-19	231544	SAT	0.999847	1.03663
Abscon 109 AC	231542	SAT	1.02484	1.0881
galacJ beta 1	231540	SAT	2.32465	2.40417
SAT4JCSP-CACHED 1.7 RC BF3	231547	SAT	2.44763	2.50977
sat4jCSP 1.7 RC BF3	231548	SAT	2.50062	1.68617
galac 1	231545	SAT	3.24051	3.28305
sugar 0.40	231553	SAT	6.59	6.87771
Diarmuid-rndi 2007-01-22	286990	SAT	9.62154	9.6579
Diarmuid-rndi 2006-12-21	231537	SAT	35.3166	35.3573