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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-79_ext.xml
MD5SUM	2316d6a2fb1a21ad72f35ba55098ab6d
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.019996
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	268895	SAT	0.017996	0.02491
VALCSP 3.0	222754	SAT	0.019996	0.022592
BPrologCSPSolver70a 2006-12-13	222746	SAT	0.039993	0.042803
CSPtoSAT+minisat 0.3	222762	SAT	0.05599	0.068787
Mistral 2006-12-04	222759	SAT	0.05899	0.059257
Tramontane 2006-12-04	222760	SAT	0.062989	0.0744691
buggy_2_5 2007-01-08	222758	SAT	0.191969	0.194651
buggy_2_5_s 2007-01-08	222757	SAT	0.200968	0.22703
rjw-solver 2006-12-09	222747	SAT	0.418935	0.420601
rjw-solver 2007-01-21	283639	SAT	0.419935	0.427907
Diarmuid-wtdi 2006-12-21	222744	SAT	0.447931	0.457817
CSP4J - MAC 2006-12-19	222752	SAT	0.557914	0.614734
CSP4J - Combo 2006-12-19	222751	SAT	0.568912	0.599008
CSP4J - MAC 2007-01-16	271681	SAT	0.580911	0.598774
Abscon 109 ESAC	222749	SAT	0.91486	0.972942
Abscon 109 AC	222750	SAT	0.967852	1.02979
sugar 0.40	222761	SAT	1.09	1.27264
galacJ beta 1	222748	SAT	1.58676	1.70128
sat4jCSP 1.7 RC BF3	222756	SAT	1.61475	1.68581
galac 1	222753	SAT	1.61875	1.70383
SAT4JCSP-CACHED 1.7 RC BF3	222755	SAT	1.65975	1.2001
Diarmuid-rndi 2007-01-22	286577	SAT	8.29674	8.38
Diarmuid-rndi 2006-12-21	222745	SAT	10.2184	10.2528