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

Result page for benchmark
langford/
langford-2-4-ext.xml

Name	langford/ langford-2-4-ext.xml
MD5SUM	25c174e83f0c6bcbedb708ae90485196
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.001998
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	8
Number of constraints	32
Maximum constraint arity	2
Maximum domain size	8
Number of constraints which are defined in extension	32
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
VALCSP 3.0	247714	SAT	0.001998	0.0104601
VALCSP 3.1	269724	SAT	0.001998	0.00883998
Mistral 2006-12-04	247719	SAT	0.012997	0.015657
Tramontane 2006-12-04	247720	SAT	0.012997	0.0158021
CSPtoSAT+minisat 0.3	247722	SAT	0.017997	0.018552
BPrologCSPSolver70a 2006-12-13	247706	SAT	0.018996	0.0197859
Diarmuid-rndi 2007-01-22	287148	SAT	0.036994	0.0506169
rjw-solver 2007-01-21	284210	SAT	0.039993	0.0406311
buggy_2_5_s 2007-01-08	247717	SAT	0.056991	0.068528
buggy_2_5 2007-01-08	247718	SAT	0.06399	0.0687921
CSP4J - MAC 2007-01-16	272943	SAT	0.300953	0.350398
sat4jCSP 1.7 RC BF3	247716	SAT	0.58491	0.641002
SAT4JCSP-CACHED 1.7 RC BF3	247715	SAT	0.58591	0.621142
Abscon 109 ESAC	247709	SAT	0.620905	0.658226
Abscon 109 AC	247710	SAT	0.627903	0.664386
sugar 0.40	247721	SAT	0.667897	0.927741
galac 1	247713	SAT	0.898862	0.985092
galacJ beta 1	247708	SAT	0.925858	1.04128
rjw-solver 2006-12-09	247707	Wrong Cert.	0.036994	0.037822
Diarmuid-wtdi 2006-12-21	247704	Wrong Cert.	0.038993	0.0399701
Diarmuid-rndi 2006-12-21	247705	Wrong Cert.	0.039993	0.0411861
CSP4J - Combo 2006-12-19	247711	Wrong Cert.	0.305953	0.346188
CSP4J - MAC 2006-12-19	247712	Wrong Cert.	0.316951	0.34681