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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-21_ext.xml
MD5SUM	a8d2e4d015fe4bcafe8ab915ec381440
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	YES
Number of variables	106
Number of constraints	644
Maximum constraint arity	2
Maximum domain size	6
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	222488	SAT	0.022995	0.0252131
VALCSP 3.1	268881	SAT	0.026995	0.0280411
BPrologCSPSolver70a 2006-12-13	222480	SAT	0.047992	0.0563681
Mistral 2006-12-04	222493	SAT	0.059989	0.061842
CSPtoSAT+minisat 0.3	222496	SAT	0.06299	0.0669951
Tramontane 2006-12-04	222494	SAT	0.064989	0.0675819
buggy_2_5 2007-01-08	222492	SAT	0.19197	0.214907
buggy_2_5_s 2007-01-08	222491	SAT	0.215967	0.24016
CSP4J - MAC 2006-12-19	222486	SAT	0.575912	0.599442
CSP4J - Combo 2006-12-19	222485	SAT	0.605907	0.64952
CSP4J - MAC 2007-01-16	271667	SAT	0.614906	0.681248
rjw-solver 2006-12-09	222481	SAT	0.738887	0.743184
rjw-solver 2007-01-21	283625	SAT	0.740887	0.74346
Abscon 109 AC	222484	SAT	0.877865	0.911331
Abscon 109 ESAC	222483	SAT	0.904861	0.924673
sugar 0.40	222495	SAT	1.1	1.27414
Diarmuid-wtdi 2006-12-21	222478	SAT	1.47178	1.47608
galacJ beta 1	222482	SAT	1.52977	1.59389
Diarmuid-rndi 2007-01-22	286563	SAT	1.57576	1.65451
galac 1	222487	SAT	1.62575	1.72501
SAT4JCSP-CACHED 1.7 RC BF3	222489	SAT	1.69374	1.19335
sat4jCSP 1.7 RC BF3	222490	SAT	1.77773	1.24594
Diarmuid-rndi 2006-12-21	222479	SAT	5.74513	5.74647