Name | golombRuler/golombRulerArity4/ ruler-17-7-a4.xml |
MD5SUM | 229d1d88a2f8508f62fbcf57646d7c49 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.05499 |
Satisfiable | NO |
(Un)Satisfiability was proved | NO |
Number of variables | 7 |
Number of constraints | 196 |
Maximum constraint arity | 4 |
Maximum domain size | 18 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 196 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
BPrologCSPSolver70a 2006-12-13 | 197919 | UNSAT | 0.05499 | 0.0622869 |
Mistral 2006-12-04 | 197928 | UNSAT | 0.108983 | 0.116458 |
Abscon 109 ESAC | 197921 | UNSAT | 0.937856 | 0.965905 |
CSPtoSAT+minisat 0.3 | 197931 | UNSAT | 0.939856 | 0.94795 |
Abscon 109 AC | 197922 | UNSAT | 0.959853 | 1.1802 |
sugar 0.40 | 197930 | UNSAT | 0.99 | 1.18917 |
CSP4J - Combo 2006-12-19 | 197923 | UNSAT | 6.86496 | 7.02519 |
galacJ beta 1 | 197920 | UNSAT | 7.07592 | 7.17079 |
CSP4J - MAC 2007-01-16 | 270108 | UNSAT | 7.71583 | 7.78709 |
CSP4J - MAC 2006-12-19 | 197924 | UNSAT | 8.19175 | 8.40518 |
galac 1 | 197925 | UNSAT | 13.9369 | 14.0213 |
sat4jCSP 1.7 RC BF3 | 197927 | UNSAT | 18.7981 | 18.9905 |
Tramontane 2006-12-04 | 197929 | ? (TO) | 1800.09 | 1804.31 |
SAT4JCSP-CACHED 1.7 RC BF3 | 197926 | Wrong Cert. | 1.93271 | 2.02807 |