Add Support for Relations With Arity Up to 22 In Interpreter #877
| Job | Run time |
|---|---|
| 4s | |
| 6s | |
| 8m 8s | |
| 22m 22s | |
| 24m 30s | |
| 6m 3s | |
| 21m 40s | |
| 21m 9s | |
| 7m 34s | |
| 20m 31s | |
| 18m 24s | |
| 18m 18s | |
| 6m 19s | |
| 19m 36s | |
| 17m 8s | |
| 16m 17s | |
| 28m 19s | |
| 6m 59s | |
| 20m 59s | |
| 16m 3s | |
| 15m 24s | |
| 19m 17s | |
| 14m 45s | |
| 13m 26s | |
| 13m 19s | |
| 12m 25s | |
| 16m 1s | |
| 13m 23s | |
| 13m 6s | |
| 12m 20s | |
| 11m 53s | |
| 15m 42s | |
| 33s | |
| 7h 52m 3s |