make v is T and v or e
imply not-T for expression e
#445
Job | Run time |
---|---|
22s | |
23s | |
24s | |
29s | |
20s | |
44s | |
59s | |
3m 41s |
v is T and v or e
imply not-T for expression e
#445
Job | Run time |
---|---|
22s | |
23s | |
24s | |
29s | |
20s | |
44s | |
59s | |
3m 41s |