Remove uses of _tac methods from nondet #2585
Job | Run time |
---|---|
17m 34s | |
1h 8m 21s | |
49m 29s | |
3h 43m 54s | |
44m 39s | |
3h 38m 41s | |
44m 40s | |
3h 2m 38s | |
17m 33s | |
3h 53m 21s | |
18h 20m 50s |
Job | Run time |
---|---|
17m 34s | |
1h 8m 21s | |
49m 29s | |
3h 43m 54s | |
44m 39s | |
3h 38m 41s | |
44m 40s | |
3h 2m 38s | |
17m 33s | |
3h 53m 21s | |
18h 20m 50s |