[ fix ] Address some proofs of void via impossible from issues #2250 and #3276 #933
Job | Run time |
---|---|
3s | |
5m 48s | |
23m 4s | |
18m 17s | |
9m 7s | |
12m 24s | |
6m 48s | |
9m 44s | |
9m 42s | |
4m 27s | |
16m 3s | |
35s | |
27s | |
15m 32s | |
11m 30s | |
3m 38s | |
5m 21s | |
0s | |
11m 21s | |
2h 43m 51s |