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

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

Name	qcp-qwh/QCP-10/ qcp-10-67-6_ext.xml
MD5SUM	d85c830568eb8cd817550964410233ee
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	239673	SAT	0.022995	0.0245111
VALCSP 3.1	269656	SAT	0.025995	0.0330299
BPrologCSPSolver70a 2006-12-13	239665	SAT	0.038993	0.046445
Tramontane 2006-12-04	239679	SAT	0.055991	0.0649951
Mistral 2006-12-04	239678	SAT	0.056991	0.0691071
CSPtoSAT+minisat 0.3	239681	SAT	0.066989	0.0835129
buggy_2_5_s 2007-01-08	239676	SAT	0.173972	0.182301
buggy_2_5 2007-01-08	239677	SAT	0.177972	0.218391
Diarmuid-rndi 2007-01-22	287094	SAT	0.443931	0.447645
rjw-solver 2006-12-09	239666	SAT	0.492925	0.499604
rjw-solver 2007-01-21	284156	SAT	0.509922	0.529482
Diarmuid-wtdi 2006-12-21	239663	SAT	0.514921	0.527237
CSP4J - MAC 2006-12-19	239671	SAT	0.634902	0.716477
CSP4J - Combo 2006-12-19	239670	SAT	0.671897	0.759782
CSP4J - MAC 2007-01-16	272576	SAT	0.718889	0.768299
Abscon 109 ESAC	239668	SAT	0.846871	0.967951
Abscon 109 AC	239669	SAT	0.864867	0.931782
sugar 0.40	239680	SAT	1.48	1.78039
Diarmuid-rndi 2006-12-21	239664	SAT	1.53577	1.53892
galacJ beta 1	239667	SAT	1.55576	1.62886
SAT4JCSP-CACHED 1.7 RC BF3	239674	SAT	1.56476	1.09273
sat4jCSP 1.7 RC BF3	239675	SAT	1.62975	1.15564
galac 1	239672	SAT	1.72674	1.84039