make v is T and v or e
imply not-T for expression e
#444
Job | Run time |
---|---|
21s | |
22s | |
22s | |
24s | |
20s | |
30s | |
1m 17s | |
3m 36s |
v is T and v or e
imply not-T for expression e
#444
Job | Run time |
---|---|
21s | |
22s | |
22s | |
24s | |
20s | |
30s | |
1m 17s | |
3m 36s |