[MathNotaiton] Decode unsafe names of Z3Sorts #1454
| Job | Run time |
|---|---|
| 9s | |
| 9s | |
| 9s | |
| 7s | |
| 6s | |
| 9s | |
| 10s | |
| 10s | |
| 10s | |
| 9s | |
| 9s | |
| 9s | |
| 6s | |
| 6s | |
| 6s | |
| 9s | |
| 9s | |
| 9s | |
| 18s | |
| 18s | |
| 18s | |
| 8s | |
| 8s | |
| 8s | |
| 19s | |
| 19s | |
| 19s | |
| 4m 46s |
| Job | Run time |
|---|---|
| 9s | |
| 9s | |
| 9s | |
| 7s | |
| 6s | |
| 9s | |
| 10s | |
| 10s | |
| 10s | |
| 9s | |
| 9s | |
| 9s | |
| 6s | |
| 6s | |
| 6s | |
| 9s | |
| 9s | |
| 9s | |
| 18s | |
| 18s | |
| 18s | |
| 8s | |
| 8s | |
| 8s | |
| 19s | |
| 19s | |
| 19s | |
| 4m 46s |