Add an experimental backend that uses Lean to discharge goals #1477
Job | Run time |
---|---|
5m 1s | |
5m 1s | |
5m 27s | |
5m 27s | |
6h 0m 15s | |
5m 46s | |
6h 0m 14s | |
6m 14s | |
12h 33m 25s |
Job | Run time |
---|---|
5m 1s | |
5m 1s | |
5m 27s | |
5m 27s | |
6h 0m 15s | |
5m 46s | |
6h 0m 14s | |
6m 14s | |
12h 33m 25s |