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

Result page for benchmark
bqwh/bqwh-15-106/
bqwh-15-106-47_ext.xml

Name	bqwh/bqwh-15-106/ bqwh-15-106-47_ext.xml
MD5SUM	c83c097864da78d0e237625ae7557b7a
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.023995
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	106
Number of constraints	644
Maximum constraint arity	2
Maximum domain size	5
Number of constraints which are defined in extension	644
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	222564	SAT	0.023995	0.0262849
VALCSP 3.1	268885	SAT	0.023995	0.0466121
Mistral 2006-12-04	222569	SAT	0.06099	0.065265
Tramontane 2006-12-04	222570	SAT	0.06399	0.0729871
CSPtoSAT+minisat 0.3	222572	SAT	0.065989	0.0792199
BPrologCSPSolver70a 2006-12-13	222556	SAT	0.204968	0.204923
buggy_2_5 2007-01-08	222568	SAT	0.224965	0.23238
buggy_2_5_s 2007-01-08	222567	SAT	0.227964	0.237935
rjw-solver 2007-01-21	283629	SAT	0.441932	0.453144
rjw-solver 2006-12-09	222557	SAT	0.449931	0.454855
Diarmuid-wtdi 2006-12-21	222554	SAT	0.469928	0.471633
CSP4J - MAC 2006-12-19	222562	SAT	0.683895	0.803737
CSP4J - MAC 2007-01-16	271671	SAT	0.71589	0.753432
CSP4J - Combo 2006-12-19	222561	SAT	0.866868	0.926121
Abscon 109 AC	222560	SAT	0.942855	0.976323
sugar 0.40	222571	SAT	0.98	1.36083
Abscon 109 ESAC	222559	SAT	1.16382	1.23594
galacJ beta 1	222558	SAT	1.59476	1.79401
sat4jCSP 1.7 RC BF3	222566	SAT	1.61175	1.15386
galac 1	222563	SAT	1.61275	1.71216
SAT4JCSP-CACHED 1.7 RC BF3	222565	SAT	1.63175	1.1382
Diarmuid-rndi 2007-01-22	286567	SAT	11.6912	11.8057
Diarmuid-rndi 2006-12-21	222555	SAT	22.8255	22.8381