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

Result page for benchmark
bqwh/bqwh-15-106/
bqwh-15-106-33_ext.xml

Name	bqwh/bqwh-15-106/ bqwh-15-106-33_ext.xml
MD5SUM	103d880bc071d8bb371c2c4e1f37f908
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.037993
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	106
Number of constraints	644
Maximum constraint arity	2
Maximum domain size	6
Number of constraints which are defined in extension	644
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	222583	SAT	0.037993	0.0380751
VALCSP 3.1	268886	SAT	0.037993	0.038996
CSPtoSAT+minisat 0.3	222591	SAT	0.052991	0.0736811
BPrologCSPSolver70a 2006-12-13	222575	SAT	0.054991	0.0572121
Mistral 2006-12-04	222588	SAT	0.107983	0.10852
Tramontane 2006-12-04	222589	SAT	0.166974	0.176781
buggy_2_5 2007-01-08	222587	SAT	0.178972	0.190403
buggy_2_5_s 2007-01-08	222586	SAT	0.18797	0.205698
CSP4J - Combo 2006-12-19	222580	SAT	0.622905	0.690829
CSP4J - MAC 2006-12-19	222581	SAT	0.688894	0.721692
CSP4J - MAC 2007-01-16	271672	SAT	0.728888	0.763445
rjw-solver 2007-01-21	283630	SAT	0.756884	0.842454
rjw-solver 2006-12-09	222576	SAT	0.770882	0.772044
Abscon 109 ESAC	222578	SAT	0.91586	0.969153
Abscon 109 AC	222579	SAT	1.04284	1.08839
sugar 0.40	222590	SAT	1.17782	1.3353
galacJ beta 1	222577	SAT	1.65875	1.77035
galac 1	222582	SAT	1.69174	1.76728
SAT4JCSP-CACHED 1.7 RC BF3	222584	SAT	1.76973	1.25483
sat4jCSP 1.7 RC BF3	222585	SAT	1.81972	1.26047
Diarmuid-wtdi 2006-12-21	222573	SAT	2.19167	2.19607
Diarmuid-rndi 2006-12-21	222574	SAT	6.48301	6.49387
Diarmuid-rndi 2007-01-22	286568	SAT	15.5896	15.6561