Fix eta-expansion in evaluator (copy #2782) #3216
Job | Run time |
---|---|
0s | |
1h 1m 54s | |
1h 2m 36s | |
54m 28s | |
50m 0s | |
1h 2m 22s | |
1h 5m 32s | |
1h 3m 14s | |
31m 53s | |
34m 33s | |
27m 25s | |
27m 57s | |
1h 51m 44s | |
1h 55m 3s | |
12s | |
12h 48m 53s |
Job | Run time |
---|---|
0s | |
1h 1m 54s | |
1h 2m 36s | |
54m 28s | |
50m 0s | |
1h 2m 22s | |
1h 5m 32s | |
1h 3m 14s | |
31m 53s | |
34m 33s | |
27m 25s | |
27m 57s | |
1h 51m 44s | |
1h 55m 3s | |
12s | |
12h 48m 53s |