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

Result page for benchmark
tightness/tightness0.35/
rand-2-40-16-250-350-9_ext.xml

Name	tightness/tightness0.35/ rand-2-40-16-250-350-9_ext.xml
MD5SUM	41f153e170abdcdc17c93369e0f325bc
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.313951
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	40
Number of constraints	250
Maximum constraint arity	2
Maximum domain size	16
Number of constraints which are defined in extension	250
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
CSPtoSAT+minisat 0.3	229438	SAT	0.313951	0.324362
VALCSP 3.1	269199	SAT	0.476926	0.484567
VALCSP 3.0	229430	SAT	0.483925	0.483851
BPrologCSPSolver70a 2006-12-13	229422	SAT	0.863867	0.86508
galac 1	229429	SAT	3.20551	3.289
buggy_2_5_s 2007-01-08	229433	SAT	3.32849	3.35522
Abscon 109 ESAC	229425	SAT	3.44847	3.52017
buggy_2_5 2007-01-08	229434	SAT	3.48247	3.51961
Mistral 2006-12-04	229435	SAT	3.77443	3.78546
Abscon 109 AC	229426	SAT	4.70029	4.93301
Tramontane 2006-12-04	229436	SAT	5.40618	5.45568
CSP4J - MAC 2007-01-16	271985	SAT	6.45602	6.62494
CSP4J - Combo 2006-12-19	229427	SAT	7.01193	7.0623
CSP4J - MAC 2006-12-19	229428	SAT	11.2003	11.2724
sugar 0.40	229437	SAT	11.72	12.0744
galacJ beta 1	229424	SAT	13.8729	14.0127
rjw-solver 2007-01-21	283943	SAT	22.7805	22.8458
rjw-solver 2006-12-09	229423	SAT	22.9385	23.1592
Diarmuid-wtdi 2006-12-21	229420	SAT	31.9741	32.2822
SAT4JCSP-CACHED 1.7 RC BF3	229431	SAT	53.8738	52.98
sat4jCSP 1.7 RC BF3	229432	SAT	55.0566	55.4456
Diarmuid-rndi 2006-12-21	229421	SAT	56.7374	56.9259
Diarmuid-rndi 2007-01-22	286881	SAT	64.0223	64.6059