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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-13_ext.xml
MD5SUM	bf7d9ab944270ec41210602e44c16b60
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.027994
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	222279	SAT	0.027994	0.0307259
VALCSP 3.1	268870	SAT	0.029994	0.030014
Mistral 2006-12-04	222284	SAT	0.050991	0.0580039
Tramontane 2006-12-04	222285	SAT	0.052991	0.055555
CSPtoSAT+minisat 0.3	222287	SAT	0.05899	0.0683801
BPrologCSPSolver70a 2006-12-13	222271	SAT	0.088986	0.0900651
buggy_2_5 2007-01-08	222283	SAT	0.242962	0.261701
buggy_2_5_s 2007-01-08	222282	SAT	0.247961	0.268333
Diarmuid-wtdi 2006-12-21	222269	SAT	0.264959	0.266714
rjw-solver 2006-12-09	222272	SAT	0.285956	0.288238
rjw-solver 2007-01-21	283614	SAT	0.287955	0.293605
CSP4J - MAC 2006-12-19	222277	SAT	0.682895	0.718077
CSP4J - Combo 2006-12-19	222276	SAT	0.707891	0.800944
CSP4J - MAC 2007-01-16	271656	SAT	0.71989	0.757446
Abscon 109 ESAC	222274	SAT	0.953854	0.967294
Abscon 109 AC	222275	SAT	0.98585	1.02181
sugar 0.40	222286	SAT	1.09	1.2169
galac 1	222278	SAT	1.64575	1.7793
sat4jCSP 1.7 RC BF3	222281	SAT	1.72574	1.19571
galacJ beta 1	222273	SAT	1.72574	1.85673
SAT4JCSP-CACHED 1.7 RC BF3	222280	SAT	1.72774	1.19093
Diarmuid-rndi 2007-01-22	286552	SAT	18.0763	18.242
Diarmuid-rndi 2006-12-21	222270	SAT	21.2428	21.2797