Approximation of tree incrementality for Z3 solver #751
| Job | Run time |
|---|---|
| 13m 21s | |
| 13m 21s | |
| 8m 19s | |
| 8m 19s | |
| 8m 57s | |
| 8m 57s | |
| 5m 48s | |
| 5m 48s | |
| 8m 45s | |
| 8m 45s | |
| 9m 29s | |
| 13m 31s | |
| 9m 44s | |
| 9m 44s | |
| 10m 33s | |
| 10m 33s | |
| 11m 49s | |
| 11m 49s | |
| 11m 57s | |
| 11m 57s | |
| 7m 47s | |
| 7m 47s | |
| 22m 40s | |
| 22m 40s | |
| 1s | |
| 1s | |
| 8m 39s | |
| 8m 39s | |
| 1s | |
| 1s | |
| 8m 31s | |
| 8m 31s | |
| 1s | |
| 1s | |
| 13m 34s | |
| 13m 34s | |
| 12m 6s | |
| 12m 6s | |
| 1s | |
| 1s | |
| 5h 48m 8s |