Add high-level binding for quantifier creation with additional attributes #559
| Job | Run time |
|---|---|
| 1m 0s | |
| 28s | |
| 1m 23s | |
| 28s | |
| 16m 31s | |
| 14m 8s | |
| 5s | |
| 13m 40s | |
| 5m 15s | |
| 20m 27s | |
| 35s | |
| 1h 14m 0s |
| Job | Run time |
|---|---|
| 1m 0s | |
| 28s | |
| 1m 23s | |
| 28s | |
| 16m 31s | |
| 14m 8s | |
| 5s | |
| 13m 40s | |
| 5m 15s | |
| 20m 27s | |
| 35s | |
| 1h 14m 0s |