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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-17_ext.xml
MD5SUM	b00cb55d9518c32fe63f8ade75ba4d00
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.016997
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	106
Number of constraints	644
Maximum constraint arity	2
Maximum domain size	7
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.1	268867	SAT	0.016996	0.021888
VALCSP 3.0	222222	SAT	0.016997	0.0241621
CSPtoSAT+minisat 0.3	222230	SAT	0.052991	0.195881
Tramontane 2006-12-04	222228	SAT	0.05499	0.0581541
Mistral 2006-12-04	222227	SAT	0.05599	0.0578311
BPrologCSPSolver70a 2006-12-13	222214	SAT	0.076987	0.084872
buggy_2_5 2007-01-08	222226	SAT	0.225965	0.226115
buggy_2_5_s 2007-01-08	222225	SAT	0.230964	0.248544
rjw-solver 2007-01-21	283611	SAT	0.549915	0.556455
Diarmuid-wtdi 2006-12-21	222212	SAT	0.570912	0.580297
rjw-solver 2006-12-09	222215	SAT	0.572912	0.581175
CSP4J - MAC 2007-01-16	271653	SAT	0.685895	0.776052
CSP4J - MAC 2006-12-19	222220	SAT	0.697893	0.716394
Abscon 109 ESAC	222217	SAT	0.937856	0.97236
CSP4J - Combo 2006-12-19	222219	SAT	0.963852	0.966456
Abscon 109 AC	222218	SAT	1.07484	1.22209
sugar 0.40	222229	SAT	1.11	1.45761
galacJ beta 1	222216	SAT	1.59276	1.86075
galac 1	222221	SAT	1.60576	1.73915
SAT4JCSP-CACHED 1.7 RC BF3	222223	SAT	1.69274	1.14666
sat4jCSP 1.7 RC BF3	222224	SAT	1.72674	1.2486
Diarmuid-rndi 2007-01-22	286549	SAT	3.52646	3.55121
Diarmuid-rndi 2006-12-21	222213	SAT	7.77182	7.78349