Skip to content
LeanAuto CI

[Civl] Improvements to pool-based quantifier instantiation #15

Sign in to view logs

[Civl] Improvements to pool-based quantifier instantiation

[Civl] Improvements to pool-based quantifier instantiation #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
LeanAuto CI
4m 55s
4m 55s