683 replace/remove is.probability/is.range/is.prob range with applicable additional checkmate assertions #1669
| Job | Run time |
|---|---|
| 0s | |
| 1m 54s | |
| 11m 47s | |
| 0s | |
| 1h 0m 31s | |
| 2m 40s | |
| 50s | |
| 2m 9s | |
| 13s | |
| 2m 19s | |
| 12s | |
| 2m 39s | |
| 5s | |
| 13s | |
| 0s | |
| 0s | |
| 0s | |
| 1h 25m 32s |
| Job | Run time |
|---|---|
| 0s | |
| 1m 54s | |
| 11m 47s | |
| 0s | |
| 1h 0m 31s | |
| 2m 40s | |
| 50s | |
| 2m 9s | |
| 13s | |
| 2m 19s | |
| 12s | |
| 2m 39s | |
| 5s | |
| 13s | |
| 0s | |
| 0s | |
| 0s | |
| 1h 25m 32s |