CHC: add invariant prioritization to the PLocallyInitialized checker #223
| Job | Run time |
|---|---|
| 6m 34s | |
| 6m 21s | |
| 6m 25s | |
| 6m 40s | |
| 7m 5s | |
| 16s | |
| 17s | |
| 5s | |
| 17s | |
| 10s | |
| 8s | |
| 22s | |
| 20s | |
| 8s | |
| 7s | |
| 35m 15s |
| Job | Run time |
|---|---|
| 6m 34s | |
| 6m 21s | |
| 6m 25s | |
| 6m 40s | |
| 7m 5s | |
| 16s | |
| 17s | |
| 5s | |
| 17s | |
| 10s | |
| 8s | |
| 22s | |
| 20s | |
| 8s | |
| 7s | |
| 35m 15s |