mcsat heuristic update -- use similar heuristic parameters as in cdclt #397
Job | Run time |
---|---|
8m 15s | |
9m 8s | |
3m 53s | |
4m 16s | |
5m 5s | |
5m 22s | |
2m 18s | |
2m 31s | |
7m 59s | |
8m 13s | |
57m 0s |
Job | Run time |
---|---|
8m 15s | |
9m 8s | |
3m 53s | |
4m 16s | |
5m 5s | |
5m 22s | |
2m 18s | |
2m 31s | |
7m 59s | |
8m 13s | |
57m 0s |