Merge pull request #2980 from apalache-mc/gabriela/bat-file #6961
Job | Run time |
---|---|
5s | |
21m 15s | |
2m 10s | |
3m 55s | |
19m 4s | |
2m 58s | |
8m 35s | |
4m 55s | |
17m 51s | |
3m 30s | |
1h 24m 18s |
Job | Run time |
---|---|
5s | |
21m 15s | |
2m 10s | |
3m 55s | |
19m 4s | |
2m 58s | |
8m 35s | |
4m 55s | |
17m 51s | |
3m 30s | |
1h 24m 18s |