Simplify the instances for uninterpreted functions and fix the missing instances for concrete functions #1008
Job | Run time |
---|---|
1m 55s | |
1m 51s | |
1m 56s | |
1m 53s | |
2m 5s | |
1m 55s | |
2m 6s | |
2m 9s | |
2m 8s | |
17m 58s |
Job | Run time |
---|---|
1m 55s | |
1m 51s | |
1m 56s | |
1m 53s | |
2m 5s | |
1m 55s | |
2m 6s | |
2m 9s | |
2m 8s | |
17m 58s |