Option --extra-module for including lemmas modules dynamically in kontrol prove
#5063
| Job | Run time |
|---|---|
| 2m 53s | |
| 13m 31s | |
| 18m 35s | |
| 20m 13s | |
| 15m 29s | |
| 18m 49s | |
| 12m 13s | |
| 17m 28s | |
| 2m 51s | |
| 14m 40s | |
| 20m 17s | |
| 4m 9s | |
| 2h 41m 8s |