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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-99_ext.xml
MD5SUM	d8dfec6612ef74c06a22155e786c6eba
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.027995
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	222374	SAT	0.027995	0.0308491
VALCSP 3.1	268875	SAT	0.027995	0.030471
CSPtoSAT+minisat 0.3	222382	SAT	0.05999	0.0617649
Mistral 2006-12-04	222379	SAT	0.12198	0.124573
Tramontane 2006-12-04	222380	SAT	0.128979	0.132681
buggy_2_5 2007-01-08	222378	SAT	0.289955	0.294923
buggy_2_5_s 2007-01-08	222377	SAT	0.291955	0.316848
CSP4J - Combo 2006-12-19	222371	SAT	0.605907	0.659616
BPrologCSPSolver70a 2006-12-13	222366	SAT	0.693893	0.700088
Diarmuid-wtdi 2006-12-21	222364	SAT	0.85087	0.864933
CSP4J - MAC 2006-12-19	222372	SAT	0.925859	0.988048
Abscon 109 ESAC	222369	SAT	0.936856	0.963047
CSP4J - MAC 2007-01-16	271661	SAT	0.948855	1.01252
Abscon 109 AC	222370	SAT	1.00285	1.0249
sugar 0.40	222381	SAT	1.04	1.31675
galac 1	222373	SAT	1.62675	1.65792
sat4jCSP 1.7 RC BF3	222376	SAT	1.64675	1.14125
galacJ beta 1	222368	SAT	1.72174	1.83503
rjw-solver 2007-01-21	283619	SAT	1.78873	1.79681
SAT4JCSP-CACHED 1.7 RC BF3	222375	SAT	1.82372	1.21048
rjw-solver 2006-12-09	222367	SAT	1.83372	1.85048
Diarmuid-rndi 2006-12-21	222365	SAT	23.6734	23.6965
Diarmuid-rndi 2007-01-22	286557	SAT	27.5328	27.7378