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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-19_ext.xml
MD5SUM	6e93b898aa1aa2c4e525091a04cb85c0
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.015996
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.0	222659	SAT	0.015996	0.017946
VALCSP 3.1	268890	SAT	0.015996	0.0243681
BPrologCSPSolver70a 2006-12-13	222651	SAT	0.050991	0.0519959
CSPtoSAT+minisat 0.3	222667	SAT	0.056991	0.0676339
Mistral 2006-12-04	222664	SAT	0.05799	0.060933
Tramontane 2006-12-04	222665	SAT	0.06199	0.0632121
Diarmuid-rndi 2006-12-21	222650	SAT	0.159975	0.157664
buggy_2_5 2007-01-08	222663	SAT	0.226964	0.226279
buggy_2_5_s 2007-01-08	222662	SAT	0.226964	0.239864
Diarmuid-wtdi 2006-12-21	222649	SAT	0.368943	0.399032
rjw-solver 2007-01-21	283634	SAT	0.39194	0.405045
rjw-solver 2006-12-09	222652	SAT	0.403937	0.406031
CSP4J - Combo 2006-12-19	222656	SAT	0.658898	0.727402
CSP4J - MAC 2006-12-19	222657	SAT	0.816874	0.868875
CSP4J - MAC 2007-01-16	271676	SAT	0.861868	0.879749
Abscon 109 ESAC	222654	SAT	0.929858	0.981578
Abscon 109 AC	222655	SAT	1.02384	1.09076
sugar 0.40	222666	SAT	1.05	1.41486
SAT4JCSP-CACHED 1.7 RC BF3	222660	SAT	1.44278	0.998309
sat4jCSP 1.7 RC BF3	222661	SAT	1.54076	1.10264
galacJ beta 1	222653	SAT	1.60876	1.7147
galac 1	222658	SAT	1.62475	1.70944
Diarmuid-rndi 2007-01-22	286572	SAT	12.2271	12.3456