Fix location of symbol in logs when the object is not found within a tactic #2187
| Job | Run time |
|---|---|
| 8m 9s | |
| 8m 2s | |
| 19s | |
| 8m 18s | |
| 7m 39s | |
| 7m 25s | |
| 7m 18s | |
| 8m 2s | |
| 7m 23s | |
| 7m 36s | |
| 1h 10m 11s |
| Job | Run time |
|---|---|
| 8m 9s | |
| 8m 2s | |
| 19s | |
| 8m 18s | |
| 7m 39s | |
| 7m 25s | |
| 7m 18s | |
| 8m 2s | |
| 7m 23s | |
| 7m 36s | |
| 1h 10m 11s |