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

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

Name	qcp-qwh/QWH-10/ qwh-10-57-7_ext.xml
MD5SUM	65360d24f66a7a9a6a6c460e765f5a63
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.021996
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.1	269632	SAT	0.020996	0.0270131
VALCSP 3.0	239217	SAT	0.021996	0.0230539
BPrologCSPSolver70a 2006-12-13	239209	SAT	0.041992	0.0479911
Tramontane 2006-12-04	239223	SAT	0.055991	0.060872
Mistral 2006-12-04	239222	SAT	0.06099	0.065132
CSPtoSAT+minisat 0.3	239225	SAT	0.062989	0.085344
buggy_2_5 2007-01-08	239221	SAT	0.176973	0.209398
buggy_2_5_s 2007-01-08	239220	SAT	0.184971	0.193163
Diarmuid-wtdi 2006-12-21	239207	SAT	0.529918	0.539328
rjw-solver 2006-12-09	239210	SAT	0.531918	0.540595
rjw-solver 2007-01-21	284132	SAT	0.547916	0.555175
CSP4J - Combo 2006-12-19	239214	SAT	0.659899	0.726938
CSP4J - MAC 2006-12-19	239215	SAT	0.684895	0.730221
CSP4J - MAC 2007-01-16	272552	SAT	0.742886	2.27686
Abscon 109 AC	239213	SAT	0.891863	0.93375
Abscon 109 ESAC	239212	SAT	0.941856	0.979118
Diarmuid-rndi 2007-01-22	287070	SAT	1.3078	1.32434
sugar 0.40	239224	SAT	1.32	1.60478
SAT4JCSP-CACHED 1.7 RC BF3	239218	SAT	1.52377	1.62623
galacJ beta 1	239211	SAT	1.53577	1.58828
sat4jCSP 1.7 RC BF3	239219	SAT	1.61575	1.22075
galac 1	239216	SAT	1.65975	1.7641
Diarmuid-rndi 2006-12-21	239208	SAT	2.17567	2.18781