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

Result page for benchmark
bqwh/bqwh-18-141/
bqwh-18-141-31_ext.xml

Jump to solvers results

General information on the benchmark

Namebqwh/bqwh-18-141/
bqwh-18-141-31_ext.xml
MD5SUMf11c176eeb22ddcff1f6d698ace29a00
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.089986
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables141
Number of constraints966
Maximum constraint arity2
Maximum domain size7
Number of constraints which are defined in extension966
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CSPtoSAT+minisat 0.3197043SAT 0.089986 0.16652
Mistral 2006-12-04197040SAT 0.347947 0.351841
Abscon 109 AC197031SAT 1.03784 1.06991
CSP4J - Combo 2006-12-19197032SAT 1.06184 1.08874
sugar 0.40197042SAT 1.28 1.73467
Abscon 109 ESAC197030SAT 1.3178 1.4049
BPrologCSPSolver70a 2006-12-13197027SAT 1.53977 1.55656
CSP4J - MAC 2006-12-19197033SAT 1.60476 1.76097
CSP4J - MAC 2007-01-16270060SAT 1.72474 1.75283
galacJ beta 1197029SAT 1.90771 1.97954
buggy_2_5_s 2007-01-08197038SAT 1.91771 1.94649
galac 1197034SAT 1.93071 2.04544
Tramontane 2006-12-04197041SAT 2.6566 2.68709
SAT4JCSP-CACHED 1.7 RC BF3197036SAT 2.71359 2.82546
sat4jCSP 1.7 RC BF3197037SAT 2.79457 2.87197
buggy_2_5 2007-01-08197039SAT 2.95355 2.97483
VALCSP 3.1268050SAT 5.99709 6.00408
VALCSP 3.0197035SAT 6.00909 6.01153
Diarmuid-wtdi 2006-12-21197025SAT 12.851 12.8595
rjw-solver 2007-01-21283248SAT 13.352 13.4724
rjw-solver 2006-12-09197028SAT 13.7629 13.8682
Diarmuid-rndi 2006-12-21197026SAT 66.022 66.6705
Diarmuid-rndi 2007-01-22286186SAT 269.999 272.487