| 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 |