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

Result page for benchmark
coloring/
dsjc-125-1-5-ext.xml

Name	coloring/ dsjc-125-1-5-ext.xml
MD5SUM	b5b06de4e97ce0cff637b76e26edc390
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.05599
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	125
Number of constraints	736
Maximum constraint arity	2
Maximum domain size	5
Number of constraints which are defined in extension	736
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	252773	SAT	0.05599	0.0642551
VALCSP 3.0	252768	SAT	0.062989	0.0767471
VALCSP 3.1	269728	SAT	0.066989	0.067388
Tramontane 2006-12-04	252774	SAT	0.071988	0.0757169
CSPtoSAT+minisat 0.3	252776	SAT	0.081986	0.093718
BPrologCSPSolver70a 2006-12-13	252760	SAT	0.113982	0.120349
buggy_2_5_s 2007-01-08	252771	SAT	0.270958	0.274212
buggy_2_5 2007-01-08	252772	SAT	0.276957	0.304434
Diarmuid-wtdi 2006-12-21	252758	SAT	0.478927	0.483246
rjw-solver 2006-12-09	252761	SAT	0.491925	0.495583
CSP4J - MAC 2006-12-19	252766	SAT	0.609907	0.653258
CSP4J - MAC 2007-01-16	273143	SAT	0.623904	0.648761
CSP4J - Combo 2006-12-19	252765	SAT	0.673896	0.721884
Abscon 109 AC	252764	SAT	0.950854	0.994299
Abscon 109 ESAC	252763	SAT	1.05084	1.0732
sugar 0.40	252775	SAT	1.39579	1.88679
galac 1	252767	SAT	1.60776	1.75646
SAT4JCSP-CACHED 1.7 RC BF3	252769	SAT	1.75773	1.19436
sat4jCSP 1.7 RC BF3	252770	SAT	1.81272	1.24394
galacJ beta 1	252762	SAT	1.90271	2.02441
Diarmuid-rndi 2006-12-21	252759	SAT	24.2243	24.2328
Diarmuid-rndi 2007-01-22	287152	Wrong Cert.	0.19397	0.204289
rjw-solver 2007-01-21	284214	Wrong Cert.	0.208968	0.215033