Adapt to FLINT 3 #320
Job | Run time |
---|---|
5m 33s | |
2m 44s | |
2m 40s | |
4m 17s | |
4m 8s | |
4m 38s | |
4m 37s | |
4m 53s | |
7m 17s | |
5m 42s | |
5m 32s | |
4m 49s | |
4m 44s | |
4m 34s | |
4m 47s | |
5m 16s | |
4m 35s | |
9m 54s | |
1h 30m 40s |
Job | Run time |
---|---|
5m 33s | |
2m 44s | |
2m 40s | |
4m 17s | |
4m 8s | |
4m 38s | |
4m 37s | |
4m 53s | |
7m 17s | |
5m 42s | |
5m 32s | |
4m 49s | |
4m 44s | |
4m 34s | |
4m 47s | |
5m 16s | |
4m 35s | |
9m 54s | |
1h 30m 40s |