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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-51_ext.xml
MD5SUM	ef1f344cb5a77e6aa591ee2b448f203b
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.042992
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.1	268897	SAT	0.041992	0.043297
VALCSP 3.0	222792	SAT	0.042992	0.0432401
Mistral 2006-12-04	222797	SAT	0.063989	0.0702011
CSPtoSAT+minisat 0.3	222800	SAT	0.06399	0.0754739
BPrologCSPSolver70a 2006-12-13	222784	SAT	0.070989	0.073375
Tramontane 2006-12-04	222798	SAT	0.074987	0.0774609
buggy_2_5_s 2007-01-08	222795	SAT	0.397939	0.423076
buggy_2_5 2007-01-08	222796	SAT	0.431934	0.454614
CSP4J - Combo 2006-12-19	222789	SAT	0.681895	0.796739
CSP4J - MAC 2006-12-19	222790	SAT	0.71789	0.819247
CSP4J - MAC 2007-01-16	271683	SAT	0.776881	0.819392
Abscon 109 ESAC	222787	SAT	0.929858	0.970545
Abscon 109 AC	222788	SAT	0.960853	0.988557
sugar 0.40	222799	SAT	1.12983	1.42255
galacJ beta 1	222786	SAT	1.58676	1.70599
SAT4JCSP-CACHED 1.7 RC BF3	222793	SAT	1.61375	1.68267
sat4jCSP 1.7 RC BF3	222794	SAT	1.63175	1.68242
galac 1	222791	SAT	1.63775	1.65672
rjw-solver 2006-12-09	222785	SAT	3.49847	3.57992
rjw-solver 2007-01-21	283641	SAT	3.55446	3.57934
Diarmuid-wtdi 2006-12-21	222782	SAT	4.36434	4.38194
Diarmuid-rndi 2006-12-21	222783	SAT	16.9854	17.0532
Diarmuid-rndi 2007-01-22	286579	SAT	18.4262	18.5778