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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-63_ext.xml
MD5SUM	f3785b0de75ae4d8b14f3a68074e3f7b
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.041992
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	268884	SAT	0.040993	0.042854
VALCSP 3.0	222545	SAT	0.041992	0.0444531
CSPtoSAT+minisat 0.3	222553	SAT	0.05799	0.0713791
Tramontane 2006-12-04	222551	SAT	0.106983	0.111729
Mistral 2006-12-04	222550	SAT	0.145977	0.146313
buggy_2_5_s 2007-01-08	222548	SAT	0.209967	0.236942
buggy_2_5 2007-01-08	222549	SAT	0.210967	0.225261
BPrologCSPSolver70a 2006-12-13	222537	SAT	0.493924	0.499555
CSP4J - Combo 2006-12-19	222542	SAT	0.631903	0.655993
CSP4J - MAC 2006-12-19	222543	SAT	0.633903	0.699573
CSP4J - MAC 2007-01-16	271670	SAT	0.699893	0.763942
Abscon 109 ESAC	222540	SAT	0.926858	0.964953
Abscon 109 AC	222541	SAT	0.930858	0.964051
sugar 0.40	222552	SAT	1.16882	1.29582
sat4jCSP 1.7 RC BF3	222547	SAT	1.57576	1.65088
galacJ beta 1	222539	SAT	1.59276	1.69667
galac 1	222544	SAT	1.62475	1.82062
SAT4JCSP-CACHED 1.7 RC BF3	222546	SAT	1.91371	1.83903
rjw-solver 2007-01-21	283628	SAT	3.03254	3.04073
rjw-solver 2006-12-09	222538	SAT	3.03354	3.03694
Diarmuid-wtdi 2006-12-21	222535	SAT	4.87626	4.89221
Diarmuid-rndi 2006-12-21	222536	SAT	17.5923	17.6247
Diarmuid-rndi 2007-01-22	286566	SAT	18.4392	18.4682