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

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

Name	geom/ geo50-20-d4-75-3_ext.xml
MD5SUM	603b510abe26009549fc9994083da4d7
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.130979
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	394
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	394
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	231817	SAT	0.130979	0.137954
Tramontane 2006-12-04	231818	SAT	0.142977	0.146323
VALCSP 3.1	269322	SAT	0.151976	0.161896
VALCSP 3.0	231812	SAT	0.167973	0.168445
CSPtoSAT+minisat 0.3	231820	SAT	0.309952	0.361957
BPrologCSPSolver70a 2006-12-13	231804	SAT	0.314952	0.323107
buggy_2_5 2007-01-08	231816	SAT	0.52192	0.534176
buggy_2_5_s 2007-01-08	231815	SAT	0.52192	0.553952
rjw-solver 2007-01-21	284066	SAT	0.529918	0.710293
Diarmuid-wtdi 2006-12-21	231802	SAT	0.58491	0.587543
rjw-solver 2006-12-09	231805	SAT	0.594908	0.60091
CSP4J - MAC 2007-01-16	272108	SAT	0.801877	0.839397
CSP4J - Combo 2006-12-19	231809	SAT	0.84987	0.879734
CSP4J - MAC 2006-12-19	231810	SAT	0.858869	0.86326
Abscon 109 AC	231808	SAT	0.872866	0.913968
Abscon 109 ESAC	231807	SAT	0.904862	1.08703
Diarmuid-rndi 2006-12-21	231803	SAT	2.32865	2.34795
galacJ beta 1	231806	SAT	2.35264	2.46401
SAT4JCSP-CACHED 1.7 RC BF3	231813	SAT	2.6496	2.7634
sat4jCSP 1.7 RC BF3	231814	SAT	2.68959	2.73068
galac 1	231811	SAT	3.41048	3.50422
sugar 0.40	231819	SAT	5.58	5.92549
Diarmuid-rndi 2007-01-22	287004	SAT	23.6614	23.7832