Add high-level binding for quantifier creation with additional attrib… #562
| Job | Run time |
|---|---|
| 9s | |
| 16m 58s | |
| 17m 27s | |
| 1m 5s | |
| 19m 43s | |
| 1m 38s | |
| 15m 23s | |
| 28s | |
| 5m 38s | |
| 40s | |
| 27s | |
| 1h 19m 36s |
| Job | Run time |
|---|---|
| 9s | |
| 16m 58s | |
| 17m 27s | |
| 1m 5s | |
| 19m 43s | |
| 1m 38s | |
| 15m 23s | |
| 28s | |
| 5m 38s | |
| 40s | |
| 27s | |
| 1h 19m 36s |