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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-9_ext.xml
MD5SUM	6bd4b23347a863e5649860609b4cdf52
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.016996
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	106
Number of constraints	644
Maximum constraint arity	2
Maximum domain size	5
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	222982	SAT	0.016996	0.02074
VALCSP 3.1	268907	SAT	0.018996	0.0191599
Tramontane 2006-12-04	222988	SAT	0.053991	0.0570789
Mistral 2006-12-04	222987	SAT	0.054991	0.059756
CSPtoSAT+minisat 0.3	222990	SAT	0.05799	0.0612619
buggy_2_5 2007-01-08	222986	SAT	0.299953	0.31136
buggy_2_5_s 2007-01-08	222985	SAT	0.446931	0.450065
rjw-solver 2007-01-21	283651	SAT	0.486925	0.489932
Diarmuid-wtdi 2006-12-21	222972	SAT	0.51992	0.522915
rjw-solver 2006-12-09	222975	SAT	0.522919	0.528957
BPrologCSPSolver70a 2006-12-13	222974	SAT	0.539917	0.547534
CSP4J - Combo 2006-12-19	222979	SAT	0.602907	0.730838
CSP4J - MAC 2006-12-19	222980	SAT	0.605907	0.65804
CSP4J - MAC 2007-01-16	271693	SAT	0.630903	0.660255
Abscon 109 AC	222978	SAT	0.931857	0.973092
sugar 0.40	222989	SAT	1.06	1.41802
Abscon 109 ESAC	222977	SAT	1.08983	1.13129
SAT4JCSP-CACHED 1.7 RC BF3	222983	SAT	1.56576	1.11045
sat4jCSP 1.7 RC BF3	222984	SAT	1.59376	1.12275
galac 1	222981	SAT	1.63275	1.70607
galacJ beta 1	222976	SAT	1.64275	1.7636
Diarmuid-rndi 2006-12-21	222973	SAT	22.6826	22.6998
Diarmuid-rndi 2007-01-22	286589	SAT	38.9981	39.3608