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

Result page for benchmark
random/rand-2-30-15-fcd/
rand-2-30-15-306-230-fcd-17_ext.xml

Name	random/rand-2-30-15-fcd/ rand-2-30-15-306-230-fcd-17_ext.xml
MD5SUM	5f74e9a68615cfbe13d092561bd69ffe
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.258959
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	30
Number of constraints	221
Maximum constraint arity	2
Maximum domain size	15
Number of constraints which are defined in extension	221
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
Mistral 2006-12-04	223139	SAT	0.258959	0.262073
VALCSP 3.0	223134	SAT	0.365943	0.367434
VALCSP 3.1	268915	SAT	0.366943	0.367596
buggy_2_5 2007-01-08	223138	SAT	0.658899	0.698614
buggy_2_5_s 2007-01-08	223137	SAT	0.683895	0.695107
Tramontane 2006-12-04	223140	SAT	0.709891	0.717346
CSPtoSAT+minisat 0.3	223142	SAT	0.841871	0.859513
Abscon 109 ESAC	223129	SAT	0.919859	0.979323
Abscon 109 AC	223130	SAT	0.924859	0.97023
BPrologCSPSolver70a 2006-12-13	223126	SAT	1.18982	1.19066
Diarmuid-wtdi 2006-12-21	223124	SAT	2.53861	2.54556
CSP4J - MAC 2007-01-16	271701	SAT	2.69459	2.7332
CSP4J - MAC 2006-12-19	223132	SAT	3.07753	3.33379
SAT4JCSP-CACHED 1.7 RC BF3	223135	SAT	3.36749	2.56186
sat4jCSP 1.7 RC BF3	223136	SAT	3.53346	2.61037
galacJ beta 1	223128	SAT	3.56246	3.71209
CSP4J - Combo 2006-12-19	223131	SAT	3.57046	3.63594
galac 1	223133	SAT	4.54131	4.69137
Diarmuid-rndi 2006-12-21	223125	SAT	6.78597	6.79857
Diarmuid-rndi 2007-01-22	286597	SAT	7.14191	7.21363
sugar 0.40	223141	SAT	13.45	13.83
rjw-solver 2006-12-09	223127	SAT	16.6185	16.6416
rjw-solver 2007-01-21	283659	SAT	16.9744	17.1425