Added trivial heuristics #1621
Job | Run time |
---|---|
1m 44s | |
1m 47s | |
1m 53s | |
2m 8s | |
2m 1s | |
2m 2s | |
1m 45s | |
1m 44s | |
1m 43s | |
2m 11s | |
2m 9s | |
2m 7s | |
1m 42s | |
1m 47s | |
1m 44s | |
1m 37s | |
1m 34s | |
1m 41s | |
33m 19s |
Job | Run time |
---|---|
1m 44s | |
1m 47s | |
1m 53s | |
2m 8s | |
2m 1s | |
2m 2s | |
1m 45s | |
1m 44s | |
1m 43s | |
2m 11s | |
2m 9s | |
2m 7s | |
1m 42s | |
1m 47s | |
1m 44s | |
1m 37s | |
1m 34s | |
1m 41s | |
33m 19s |