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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-23_ext.xml
MD5SUM	c3dce19c8b6b1dc65caea7f5f50e8e90
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.017996
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	222260	SAT	0.017996	0.019862
VALCSP 3.1	268869	SAT	0.017996	0.0248729
Mistral 2006-12-04	222265	SAT	0.05999	0.0644121
Tramontane 2006-12-04	222266	SAT	0.05999	0.0688159
CSPtoSAT+minisat 0.3	222268	SAT	0.05999	0.0610341
BPrologCSPSolver70a 2006-12-13	222252	SAT	0.073987	0.07443
buggy_2_5_s 2007-01-08	222263	SAT	0.211967	0.22311
buggy_2_5 2007-01-08	222264	SAT	0.212966	0.22702
rjw-solver 2006-12-09	222253	SAT	0.320951	0.32395
Diarmuid-wtdi 2006-12-21	222250	SAT	0.339948	0.343689
rjw-solver 2007-01-21	283613	SAT	0.342947	0.349704
CSP4J - Combo 2006-12-19	222257	SAT	0.575912	0.612539
CSP4J - MAC 2006-12-19	222258	SAT	0.58491	0.605116
CSP4J - MAC 2007-01-16	271655	SAT	0.594909	0.657362
Diarmuid-rndi 2007-01-22	286551	SAT	0.612906	0.617109
Abscon 109 AC	222256	SAT	0.925859	0.97023
Abscon 109 ESAC	222255	SAT	0.97785	1.02853
sugar 0.40	222267	SAT	1.01	1.34845
Diarmuid-rndi 2006-12-21	222251	SAT	1.38079	1.39567
sat4jCSP 1.7 RC BF3	222262	SAT	1.49177	1.04936
SAT4JCSP-CACHED 1.7 RC BF3	222261	SAT	1.56276	1.10042
galac 1	222259	SAT	1.60676	1.70747
galacJ beta 1	222254	SAT	1.60776	1.71155