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

Result page for benchmark
qcp-qwh/QCP-10/
qcp-10-67-1_ext.xml

Name	qcp-qwh/QCP-10/ qcp-10-67-1_ext.xml
MD5SUM	60f3b861cefae1832ee3d3b5a7accd0c
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.022995
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	100
Number of constraints	900
Maximum constraint arity	2
Maximum domain size	10
Number of constraints which are defined in extension	900
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	239578	SAT	0.022995	0.0232239
VALCSP 3.1	269651	SAT	0.026995	0.032536
BPrologCSPSolver70a 2006-12-13	239570	SAT	0.040993	0.0468969
Tramontane 2006-12-04	239584	SAT	0.05799	0.0596279
Mistral 2006-12-04	239583	SAT	0.05899	0.06654
CSPtoSAT+minisat 0.3	239586	SAT	0.05899	0.0720079
buggy_2_5 2007-01-08	239582	SAT	0.172972	0.197032
buggy_2_5_s 2007-01-08	239581	SAT	0.182971	0.191167
rjw-solver 2007-01-21	284151	SAT	0.534918	0.57633
Diarmuid-wtdi 2006-12-21	239568	SAT	0.540916	0.54989
rjw-solver 2006-12-09	239571	SAT	0.553914	0.568431
CSP4J - MAC 2006-12-19	239576	SAT	0.653899	0.675368
CSP4J - Combo 2006-12-19	239575	SAT	0.685895	0.739052
CSP4J - MAC 2007-01-16	272571	SAT	0.706891	0.766563
Abscon 109 ESAC	239573	SAT	0.78888	0.858767
Abscon 109 AC	239574	SAT	0.886864	0.923099
Diarmuid-rndi 2006-12-21	239569	SAT	1.04084	1.05826
Diarmuid-rndi 2007-01-22	287089	SAT	1.06984	1.07663
sugar 0.40	239585	SAT	1.45	1.79891
sat4jCSP 1.7 RC BF3	239580	SAT	1.58176	1.56804
galacJ beta 1	239572	SAT	1.65275	1.72918
SAT4JCSP-CACHED 1.7 RC BF3	239579	SAT	1.71274	1.84468
galac 1	239577	SAT	1.72474	1.79955