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

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

Name	geom/ geo50-20-d4-75-84_ext.xml
MD5SUM	5e16f6de31ea4c775cf8095b2435b07e
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.107983
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	367
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	367
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	230203	SAT	0.107983	0.110009
Mistral 2006-12-04	230202	SAT	0.110983	0.118283
VALCSP 3.1	269237	SAT	0.153976	0.155041
VALCSP 3.0	230197	SAT	0.159975	0.166682
CSPtoSAT+minisat 0.3	230205	SAT	0.278957	0.294362
BPrologCSPSolver70a 2006-12-13	230189	SAT	0.289955	0.295997
Diarmuid-wtdi 2006-12-21	230187	SAT	0.313951	0.321219
rjw-solver 2007-01-21	283981	SAT	0.32395	0.337326
rjw-solver 2006-12-09	230190	SAT	0.332948	0.336468
buggy_2_5_s 2007-01-08	230200	SAT	0.475927	0.476284
buggy_2_5 2007-01-08	230201	SAT	0.497923	0.531101
Diarmuid-rndi 2006-12-21	230188	SAT	0.571912	0.59833
CSP4J - MAC 2007-01-16	272023	SAT	0.77888	0.817416
CSP4J - Combo 2006-12-19	230194	SAT	0.821874	0.870988
CSP4J - MAC 2006-12-19	230195	SAT	0.822874	0.879426
Abscon 109 AC	230193	SAT	0.839871	0.859655
Abscon 109 ESAC	230192	SAT	0.891863	0.94236
Diarmuid-rndi 2007-01-22	286919	SAT	1.52777	1.5492
galacJ beta 1	230191	SAT	2.28765	2.37681
SAT4JCSP-CACHED 1.7 RC BF3	230198	SAT	2.44063	2.49344
sat4jCSP 1.7 RC BF3	230199	SAT	2.51562	2.75646
galac 1	230196	SAT	3.12752	3.23941
sugar 0.40	230204	SAT	5.73713	6.07029