make v is T and v or e
imply not-T for expression e
#442
Job | Run time |
---|---|
23s | |
24s | |
25s | |
24s | |
21s | |
29s | |
1m 33s | |
3m 59s |
v is T and v or e
imply not-T for expression e
#442
Job | Run time |
---|---|
23s | |
24s | |
25s | |
24s | |
21s | |
29s | |
1m 33s | |
3m 59s |