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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-53_ext.xml
MD5SUM	005ce60d032c84b7587d6e8e24dce437
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.032994
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	222830	SAT	0.032994	0.0351211
VALCSP 3.1	268899	SAT	0.032994	0.0394241
Mistral 2006-12-04	222835	SAT	0.05699	0.0605139
CSPtoSAT+minisat 0.3	222838	SAT	0.05699	0.0685291
BPrologCSPSolver70a 2006-12-13	222822	SAT	0.062989	0.0625961
Tramontane 2006-12-04	222836	SAT	0.073988	0.0861069
buggy_2_5 2007-01-08	222834	SAT	0.202968	0.218303
buggy_2_5_s 2007-01-08	222833	SAT	0.202968	0.208407
rjw-solver 2006-12-09	222823	SAT	0.349946	0.355522
Diarmuid-wtdi 2006-12-21	222820	SAT	0.366944	0.370341
rjw-solver 2007-01-21	283643	SAT	0.372942	0.374835
CSP4J - Combo 2006-12-19	222827	SAT	0.645901	0.768181
CSP4J - MAC 2007-01-16	271685	SAT	0.6499	0.659244
CSP4J - MAC 2006-12-19	222828	SAT	0.655899	0.73743
Abscon 109 ESAC	222825	SAT	0.939856	0.967431
Abscon 109 AC	222826	SAT	0.97785	1.03516
sugar 0.40	222837	SAT	1.12	1.26434
galacJ beta 1	222824	SAT	1.61375	1.77301
galac 1	222829	SAT	1.62775	1.65886
sat4jCSP 1.7 RC BF3	222832	SAT	1.77373	1.25318
SAT4JCSP-CACHED 1.7 RC BF3	222831	SAT	1.83672	1.26208
Diarmuid-rndi 2007-01-22	286581	SAT	23.8854	24.021
Diarmuid-rndi 2006-12-21	222821	SAT	24.0613	24.0725