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

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

Name	qcp-qwh/QCP-10/ qcp-10-67-0_ext.xml
MD5SUM	44d40562ed0c84fa17979b3e9dd49f7c
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	239711	SAT	0.022995	0.023405
VALCSP 3.1	269658	SAT	0.026995	0.032658
Tramontane 2006-12-04	239717	SAT	0.053991	0.0561491
CSPtoSAT+minisat 0.3	239719	SAT	0.05899	0.0711511
Mistral 2006-12-04	239716	SAT	0.05999	0.061495
buggy_2_5 2007-01-08	239715	SAT	0.168974	0.182057
buggy_2_5_s 2007-01-08	239714	SAT	0.171972	0.180009
BPrologCSPSolver70a 2006-12-13	239703	SAT	0.377941	0.378578
Diarmuid-rndi 2006-12-21	239702	SAT	0.514921	0.546943
rjw-solver 2006-12-09	239704	SAT	0.529919	0.53878
Diarmuid-wtdi 2006-12-21	239701	SAT	0.542916	0.567436
rjw-solver 2007-01-21	284158	SAT	0.548916	0.557556
CSP4J - Combo 2006-12-19	239708	SAT	0.638902	0.654737
CSP4J - MAC 2006-12-19	239709	SAT	0.640902	0.708734
CSP4J - MAC 2007-01-16	272578	SAT	0.699892	0.756727
Abscon 109 AC	239707	SAT	0.818875	0.860599
Abscon 109 ESAC	239706	SAT	0.861868	0.91286
sugar 0.40	239718	SAT	1.42	1.77008
galacJ beta 1	239705	SAT	1.56076	1.71029
sat4jCSP 1.7 RC BF3	239713	SAT	1.56276	1.10056
SAT4JCSP-CACHED 1.7 RC BF3	239712	SAT	1.63475	1.67806
galac 1	239710	SAT	1.70474	1.77674
Diarmuid-rndi 2007-01-22	287096	SAT	2.17367	2.17791