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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-57_ext.xml
MD5SUM	7367eefb4ecfc1443f523f477c42deec
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.065989
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
CSPtoSAT+minisat 0.3	222097	SAT	0.065989	0.077508
Tramontane 2006-12-04	222095	SAT	0.080987	0.088113
VALCSP 3.1	268860	SAT	0.106983	0.109045
VALCSP 3.0	222089	SAT	0.111982	0.114193
Mistral 2006-12-04	222094	SAT	0.207968	0.213505
buggy_2_5 2007-01-08	222093	SAT	0.214967	0.253069
buggy_2_5_s 2007-01-08	222092	SAT	0.214967	0.229249
BPrologCSPSolver70a 2006-12-13	222081	SAT	0.247961	0.255012
CSP4J - MAC 2006-12-19	222087	SAT	0.608906	0.662125
CSP4J - MAC 2007-01-16	271646	SAT	0.641901	0.760067
CSP4J - Combo 2006-12-19	222086	SAT	0.688894	0.77152
Abscon 109 ESAC	222084	SAT	0.955854	0.965208
Abscon 109 AC	222085	SAT	1.04284	1.07652
sugar 0.40	222096	SAT	1.05	1.65101
sat4jCSP 1.7 RC BF3	222091	SAT	1.56076	1.61334
galacJ beta 1	222083	SAT	1.61775	1.69519
SAT4JCSP-CACHED 1.7 RC BF3	222090	SAT	1.62575	1.09186
galac 1	222088	SAT	1.64075	1.76811
Diarmuid-rndi 2007-01-22	286542	SAT	2.70059	2.72936
Diarmuid-wtdi 2006-12-21	222079	SAT	4.97324	4.98546
rjw-solver 2006-12-09	222082	SAT	5.03323	5.06803
rjw-solver 2007-01-21	283604	SAT	5.2332	5.28128
Diarmuid-rndi 2006-12-21	222080	SAT	10.0115	10.0417