improvement(knowledge): count an unproven reach, read memos under the search deadline, and drop the dead search paths #32406
| Job | Run time |
|---|---|
| 3m 3s | |
| 2m 37s | |
| 1m 53s | |
| 1m 53s | |
| 3m 40s | |
| 3m 52s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| -6s | |
| -9s | |
| -9s | |
| -10s | |
| -1s | |
| -1s | |
| -1s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 16m 17s |