Skip to content
Boogie CI

Make the LeanAuto prover use classical reasoning #2013

Sign in to view logs

Make the LeanAuto prover use classical reasoning

Make the LeanAuto prover use classical reasoning #2013

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Release, batch_mode=False)
3m 21s
Boogie CI (Release, batch_mode=True)
3m 26s
Boogie CI (Debug, batch_mode=True)
3m 6s
Boogie CI (Debug, batch_mode=False)
3m 21s
Boogie CI (Debug, batch_mode=True)
5m 11s
Boogie CI (Debug, batch_mode=False)
3m 21s
Boogie CI (Release, batch_mode=True)
3m 26s
Boogie CI (Release, batch_mode=False)
3m 21s
Boogie CI (Release, batch_mode=False)
4m 53s
Boogie CI (Release, batch_mode=True)
4m 46s
Boogie CI (Debug, batch_mode=False)
5m 32s
Boogie CI (Debug, batch_mode=True)
5m 11s
48m 55s