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

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

Name	geom/ geo50-20-d4-75-92_ext.xml
MD5SUM	4fa699c0cc105a70767bb411f08cdb4f
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.12398
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	411
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	411
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	230430	SAT	0.12398	0.12664
Tramontane 2006-12-04	230431	SAT	0.12998	0.138757
VALCSP 3.1	269249	SAT	0.182972	0.184399
VALCSP 3.0	230425	SAT	0.18897	0.199003
BPrologCSPSolver70a 2006-12-13	230417	SAT	0.336947	0.344877
CSPtoSAT+minisat 0.3	230433	SAT	0.339947	0.367832
buggy_2_5 2007-01-08	230429	SAT	0.551915	0.559197
buggy_2_5_s 2007-01-08	230428	SAT	0.554914	0.571052
Diarmuid-wtdi 2006-12-21	230415	SAT	0.805876	0.810364
rjw-solver 2007-01-21	283993	SAT	0.832872	0.834028
CSP4J - Combo 2006-12-19	230422	SAT	0.840871	0.877084
CSP4J - MAC 2006-12-19	230423	SAT	0.874866	0.94044
rjw-solver 2006-12-09	230418	SAT	0.895863	0.908723
Abscon 109 AC	230421	SAT	0.903862	0.924306
Abscon 109 ESAC	230420	SAT	0.904861	0.964656
CSP4J - MAC 2007-01-16	272035	SAT	0.97785	1.02277
galacJ beta 1	230419	SAT	2.17367	2.27541
SAT4JCSP-CACHED 1.7 RC BF3	230426	SAT	2.6036	2.63035
sat4jCSP 1.7 RC BF3	230427	SAT	2.72458	1.78432
galac 1	230424	SAT	3.59645	3.7062
sugar 0.40	230432	SAT	6.28904	6.60198
Diarmuid-rndi 2007-01-22	286931	SAT	18.0093	18.1852
Diarmuid-rndi 2006-12-21	230416	SAT	25.6691	25.7156