Introduce SmtProof
#986
Job | Run time |
---|---|
20s | |
36s | |
15s | |
52s | |
46s | |
26s | |
39s | |
47s | |
48s | |
5m 29s |
SmtProof
#986
Job | Run time |
---|---|
20s | |
36s | |
15s | |
52s | |
46s | |
26s | |
39s | |
47s | |
48s | |
5m 29s |