Lemmas on Boolean reasoning, set reasoning, map lookup #5965
Job | Run time |
---|---|
7s | |
59s | |
2m 12s | |
2m 12s | |
1s | |
2m 14s | |
1m 45s | |
1s | |
2m 11s | |
2m 16s | |
1s | |
1s | |
14m 0s |
Job | Run time |
---|---|
7s | |
59s | |
2m 12s | |
2m 12s | |
1s | |
2m 14s | |
1m 45s | |
1s | |
2m 11s | |
2m 16s | |
1s | |
1s | |
14m 0s |