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

Result page for benchmark
qcp-qwh/QWH-10/
qwh-10-57-4_ext.xml

Name	qcp-qwh/QWH-10/ qwh-10-57-4_ext.xml
MD5SUM	371d9acab7c0c7543d1351608f0eb465
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.020996
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	100
Number of constraints	900
Maximum constraint arity	2
Maximum domain size	10
Number of constraints which are defined in extension	900
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	239198	SAT	0.020996	0.02254
VALCSP 3.1	269631	SAT	0.021996	0.0276329
BPrologCSPSolver70a 2006-12-13	239190	SAT	0.038993	0.0398561
Mistral 2006-12-04	239203	SAT	0.054991	0.062836
Tramontane 2006-12-04	239204	SAT	0.05699	0.0610139
CSPtoSAT+minisat 0.3	239206	SAT	0.056991	0.071496
buggy_2_5_s 2007-01-08	239201	SAT	0.160975	0.171406
buggy_2_5 2007-01-08	239202	SAT	0.171973	0.188397
Diarmuid-rndi 2007-01-22	287069	SAT	0.461928	0.469739
rjw-solver 2006-12-09	239191	SAT	0.51992	0.526314
Diarmuid-rndi 2006-12-21	239189	SAT	0.52192	0.526589
rjw-solver 2007-01-21	284131	SAT	0.536918	0.538962
Diarmuid-wtdi 2006-12-21	239188	SAT	0.558914	0.568073
CSP4J - MAC 2006-12-19	239196	SAT	0.605907	0.654122
CSP4J - Combo 2006-12-19	239195	SAT	0.655899	0.725295
CSP4J - MAC 2007-01-16	272551	SAT	0.685895	0.804179
Abscon 109 ESAC	239193	SAT	0.849869	0.874004
Abscon 109 AC	239194	SAT	0.876865	0.924115
sugar 0.40	239205	SAT	1.24581	1.49652
galacJ beta 1	239192	SAT	1.55776	1.60434
SAT4JCSP-CACHED 1.7 RC BF3	239199	SAT	1.63875	1.14953
galac 1	239197	SAT	1.65375	1.7682
sat4jCSP 1.7 RC BF3	239200	SAT	1.68274	1.79561