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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-75_ext.xml
MD5SUM	e2e431f1859c3f698ef48f480c9cad62
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.039993
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
BPrologCSPSolver70a 2006-12-13	222347	SAT	0.039993	0.048236
Mistral 2006-12-04	222360	SAT	0.05699	0.063663
VALCSP 3.1	268874	SAT	0.06099	0.063138
CSPtoSAT+minisat 0.3	222363	SAT	0.06099	0.0698721
Tramontane 2006-12-04	222361	SAT	0.06199	0.0677219
VALCSP 3.0	222355	SAT	0.062989	0.064247
buggy_2_5_s 2007-01-08	222358	SAT	0.238962	0.25258
buggy_2_5 2007-01-08	222359	SAT	0.239962	0.254377
CSP4J - Combo 2006-12-19	222352	SAT	0.578911	0.60353
CSP4J - MAC 2006-12-19	222353	SAT	0.616906	0.709428
CSP4J - MAC 2007-01-16	271660	SAT	0.647901	0.713225
rjw-solver 2006-12-09	222348	SAT	0.741886	0.762132
rjw-solver 2007-01-21	283618	SAT	0.747886	0.758709
Diarmuid-wtdi 2006-12-21	222345	SAT	0.752884	0.756279
Abscon 109 ESAC	222350	SAT	0.91586	0.968274
Abscon 109 AC	222351	SAT	0.959853	1.01757
sugar 0.40	222362	SAT	1.15	1.46562
sat4jCSP 1.7 RC BF3	222357	SAT	1.62275	1.12794
galac 1	222354	SAT	1.62475	1.66801
galacJ beta 1	222349	SAT	1.62675	1.7093
SAT4JCSP-CACHED 1.7 RC BF3	222356	SAT	1.69474	1.22181
Diarmuid-rndi 2006-12-21	222346	SAT	3.3165	3.33431
Diarmuid-rndi 2007-01-22	286556	SAT	22.4936	22.5282