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

Result page for benchmark
driver/
driverlogw-01c-sat_ext.xml

Name	driver/ driverlogw-01c-sat_ext.xml
MD5SUM	66d45d57c064d15c35e2f7dd32027883
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.005999
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	71
Number of constraints	217
Maximum constraint arity	2
Maximum domain size	4
Number of constraints which are defined in extension	217
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	247524	SAT	0.005999	0.0188701
VALCSP 3.1	269714	SAT	0.006998	0.013879
Mistral 2006-12-04	247529	SAT	0.020996	0.029525
Tramontane 2006-12-04	247530	SAT	0.020996	0.0298141
BPrologCSPSolver70a 2006-12-13	247516	SAT	0.023995	0.026362
CSPtoSAT+minisat 0.3	247532	SAT	0.025995	0.0360229
sugar 0.40	247531	SAT	0.05799	1.0016
rjw-solver 2007-01-21	284200	SAT	0.076987	0.0835671
buggy_2_5 2007-01-08	247528	SAT	0.087986	0.0942679
buggy_2_5_s 2007-01-08	247527	SAT	0.088985	0.096464
CSP4J - MAC 2006-12-19	247522	SAT	0.406937	0.46624
CSP4J - Combo 2006-12-19	247521	SAT	0.423934	0.442643
CSP4J - MAC 2007-01-16	272933	SAT	0.442932	0.507733
Abscon 109 AC	247520	SAT	0.698892	0.772927
Abscon 109 ESAC	247519	SAT	0.772882	0.818682
SAT4JCSP-CACHED 1.7 RC BF3	247525	SAT	0.788879	0.625208
sat4jCSP 1.7 RC BF3	247526	SAT	0.843871	0.623686
galac 1	247523	SAT	1.16582	1.24307
galacJ beta 1	247518	SAT	1.23581	1.31402
Diarmuid-rndi 2006-12-21	247515	? (problem)	0.035993	0.0412569
Diarmuid-wtdi 2006-12-21	247514	? (problem)	0.035993	0.136046
rjw-solver 2006-12-09	247517	? (problem)	0.038993	0.0401039
Diarmuid-rndi 2007-01-22	287138	Wrong Cert.	0.070988	0.0777539