Skip to content
Back to pull request #906

[Pool-based quantifier instantiation] Drop quantifier even if no instantiation found #149

Sign in to view logs

[Pool-based quantifier instantiation] Drop quantifier even if no instantiation found

[Pool-based quantifier instantiation] Drop quantifier even if no instantiation found #149

Run time

Learn about OS pricing on GitHub Actions
Job Run time
LeanAuto CI
5m 8s
5m 8s