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

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

Name	bqwh/bqwh-15-106/ bqwh-15-106-39_ext.xml
MD5SUM	9ff419208a6eb0fc052439378dff2174
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.021996
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.1	268877	SAT	0.021995	0.022861
VALCSP 3.0	222412	SAT	0.021996	0.022246
Tramontane 2006-12-04	222418	SAT	0.05999	0.061283
CSPtoSAT+minisat 0.3	222420	SAT	0.05999	0.082364
Mistral 2006-12-04	222417	SAT	0.060989	0.0623571
buggy_2_5_s 2007-01-08	222415	SAT	0.200968	0.225943
buggy_2_5 2007-01-08	222416	SAT	0.216966	0.231385
BPrologCSPSolver70a 2006-12-13	222404	SAT	0.335948	0.337553
Diarmuid-wtdi 2006-12-21	222402	SAT	0.412937	0.422151
rjw-solver 2006-12-09	222405	SAT	0.420935	0.428596
rjw-solver 2007-01-21	283621	SAT	0.45593	0.474005
CSP4J - MAC 2006-12-19	222410	SAT	0.600907	0.659954
CSP4J - MAC 2007-01-16	271663	SAT	0.637902	0.653264
CSP4J - Combo 2006-12-19	222409	SAT	0.660898	0.673726
Abscon 109 AC	222408	SAT	0.954854	0.961594
Abscon 109 ESAC	222407	SAT	1.03084	1.11351
sugar 0.40	222419	SAT	1.09	1.32422
galac 1	222411	SAT	1.59076	1.65436
galacJ beta 1	222406	SAT	1.61775	1.70708
sat4jCSP 1.7 RC BF3	222414	SAT	1.80772	1.8597
SAT4JCSP-CACHED 1.7 RC BF3	222413	SAT	1.86771	1.87513
Diarmuid-rndi 2007-01-22	286559	SAT	18.4672	18.6217
Diarmuid-rndi 2006-12-21	222403	SAT	31.9951	32.0312