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

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

Name	qcp-qwh/QCP-10/ qcp-10-67-4_ext.xml
MD5SUM	71ad1ffd55a02729e4efd1502af83d77
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.026995
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	239559	SAT	0.026995	0.032398
VALCSP 3.1	269650	SAT	0.028994	0.0364919
Tramontane 2006-12-04	239565	SAT	0.055991	0.0616299
CSPtoSAT+minisat 0.3	239567	SAT	0.056991	0.084228
Mistral 2006-12-04	239564	SAT	0.05899	0.062633
buggy_2_5 2007-01-08	239563	SAT	0.182971	0.227023
buggy_2_5_s 2007-01-08	239562	SAT	0.182971	0.200921
Diarmuid-rndi 2006-12-21	239550	SAT	0.51492	0.523909
BPrologCSPSolver70a 2006-12-13	239551	SAT	0.531918	0.542584
Diarmuid-rndi 2007-01-22	287088	SAT	0.541916	0.555688
CSP4J - MAC 2006-12-19	239557	SAT	0.632903	0.658003
CSP4J - Combo 2006-12-19	239556	SAT	0.656899	0.706287
CSP4J - MAC 2007-01-16	272570	SAT	0.706892	0.85911
Diarmuid-wtdi 2006-12-21	239549	SAT	0.725889	0.734346
rjw-solver 2007-01-21	284150	SAT	0.728889	0.730293
rjw-solver 2006-12-09	239552	SAT	0.731887	0.733709
Abscon 109 ESAC	239554	SAT	0.877866	0.954088
Abscon 109 AC	239555	SAT	0.896863	0.922102
sugar 0.40	239566	SAT	1.45378	1.71913
galacJ beta 1	239553	SAT	1.62075	1.7511
SAT4JCSP-CACHED 1.7 RC BF3	239560	SAT	1.68474	1.14568
sat4jCSP 1.7 RC BF3	239561	SAT	1.69874	1.79372
galac 1	239558	SAT	1.83472	1.96695