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

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

Name	geom/ geo50-20-d4-75-58_ext.xml
MD5SUM	79ccc9a709f04082d17465afc8ab3136
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.232964
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	456
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	456
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	230943	SAT	0.232964	0.235478
VALCSP 3.1	269276	SAT	0.233964	0.23591
VALCSP 3.0	230938	SAT	0.240962	0.247972
Tramontane 2006-12-04	230944	SAT	0.498923	0.500736
BPrologCSPSolver70a 2006-12-13	230930	SAT	0.555914	0.568325
buggy_2_5 2007-01-08	230942	SAT	0.625904	0.639356
buggy_2_5_s 2007-01-08	230941	SAT	0.658898	0.663513
CSPtoSAT+minisat 0.3	230946	SAT	0.792878	0.807489
Abscon 109 AC	230934	SAT	0.91686	0.98519
CSP4J - Combo 2006-12-19	230935	SAT	0.937857	0.967546
Abscon 109 ESAC	230933	SAT	0.97885	1.07405
CSP4J - MAC 2007-01-16	272062	SAT	1.08783	1.12549
CSP4J - MAC 2006-12-19	230936	SAT	1.20981	1.27625
Diarmuid-wtdi 2006-12-21	230928	SAT	2.92255	2.92707
galacJ beta 1	230932	SAT	2.95255	2.96484
sat4jCSP 1.7 RC BF3	230940	SAT	3.13652	1.98377
SAT4JCSP-CACHED 1.7 RC BF3	230939	SAT	3.15452	3.23162
galac 1	230937	SAT	3.51047	3.71963
rjw-solver 2006-12-09	230931	SAT	3.99639	4.01867
rjw-solver 2007-01-21	284020	SAT	4.03039	4.04262
sugar 0.40	230945	SAT	7.92	8.26944
Diarmuid-rndi 2007-01-22	286958	SAT	40.0999	40.4968
Diarmuid-rndi 2006-12-21	230929	SAT	55.7375	55.7851