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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-95_ext.xml
MD5SUM	508d4df29aedd80d0cc0392090a2c9b8
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.034993
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	222203	SAT	0.034993	0.0372589
VALCSP 3.1	268866	SAT	0.035993	0.038045
Mistral 2006-12-04	222208	SAT	0.050991	0.0540101
Tramontane 2006-12-04	222209	SAT	0.051991	0.0598851
CSPtoSAT+minisat 0.3	222211	SAT	0.058991	0.060401
BPrologCSPSolver70a 2006-12-13	222195	SAT	0.065989	0.0707281
buggy_2_5_s 2007-01-08	222206	SAT	0.176972	0.192059
rjw-solver 2007-01-21	283610	SAT	0.193969	0.205036
rjw-solver 2006-12-09	222196	SAT	0.19397	0.197658
Diarmuid-wtdi 2006-12-21	222193	SAT	0.19497	0.201481
buggy_2_5 2007-01-08	222207	SAT	0.207968	0.234362
CSP4J - Combo 2006-12-19	222200	SAT	0.58891	0.654248
CSP4J - MAC 2006-12-19	222201	SAT	0.604907	0.654771
CSP4J - MAC 2007-01-16	271652	SAT	0.615905	0.651996
Abscon 109 ESAC	222198	SAT	0.928858	0.965216
sugar 0.40	222210	SAT	1.15	1.27099
Abscon 109 AC	222199	SAT	1.20282	1.24594
Diarmuid-rndi 2006-12-21	222194	SAT	1.3438	1.35409
galacJ beta 1	222197	SAT	1.59976	1.72038
galac 1	222202	SAT	1.63375	1.79645
sat4jCSP 1.7 RC BF3	222205	SAT	1.75173	1.83588
SAT4JCSP-CACHED 1.7 RC BF3	222204	SAT	1.9547	1.94291
Diarmuid-rndi 2007-01-22	286548	SAT	24.8152	24.8708