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

Result page for benchmark
ehi/ehi-85/
ehi-85-297-0_ext.xml

Jump to solvers results

General information on the benchmark

Nameehi/ehi-85/
ehi-85-297-0_ext.xml
MD5SUM20ad46d0372170f492cf6ee794e339d9
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.247961
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables297
Number of constraints4094
Maximum constraint arity2
Maximum domain size7
Number of constraints which are defined in extension4094
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
VALCSP 3.1267839UNSAT 0.246962 0.249774
VALCSP 3.0192500UNSAT 0.247961 0.2497
Tramontane 2006-12-04192506UNSAT 0.261959 0.269105
Mistral 2006-12-04192505UNSAT 0.265959 0.268827
CSPtoSAT+minisat 0.3192508UNSAT 0.654899 0.735885
buggy_2_5_s 2007-01-08192503UNSAT 0.698893 0.714838
buggy_2_5 2007-01-08192504UNSAT 0.701892 0.715103
Abscon 109 ESAC192495UNSAT 1.03584 1.08883
Abscon 109 AC192496UNSAT 1.43578 1.46464
galacJ beta 1192494UNSAT 1.51077 1.59472
sat4jCSP 1.7 RC BF3192502UNSAT 3.73243 3.81074
SAT4JCSP-CACHED 1.7 RC BF3192501UNSAT 3.76743 3.83661
galac 1192499UNSAT 4.11237 4.20274
CSP4J - MAC 2007-01-16269798UNSAT 7.2009 7.26181
CSP4J - MAC 2006-12-19192498UNSAT 7.36188 7.43205
CSP4J - Combo 2006-12-19192497UNSAT 8.75067 8.84504
Diarmuid-wtdi 2006-12-21192490UNSAT 22.6536 22.6773
sugar 0.40192507UNSAT 24.92 25.265
rjw-solver 2007-01-21283085UNSAT 63.0394 63.5459
rjw-solver 2006-12-09192493UNSAT 63.8483 63.9539
Diarmuid-rndi 2006-12-21192491UNSAT 92.072 92.1698
Diarmuid-rndi 2007-01-22286023UNSAT 238.011 238.105
BPrologCSPSolver70a 2006-12-13192492UNSAT 666.368 667.765