Improve caching for misaligned ConjectureData
s
#3915
Job | Run time |
---|---|
1m 32s | |
1m 35s | |
1m 33s | |
1s | |
1m 33s | |
1m 47s | |
1m 33s | |
1m 49s | |
1m 34s | |
1m 50s | |
1m 32s | |
1m 49s | |
1s | |
1m 18s | |
1m 47s | |
1m 49s | |
1m 49s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1m 39s | |
1m 48s | |
1m 45s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1m 46s | |
1s | |
1m 51s | |
1s | |
34m 12s |