fix observed for DEintegrator
#2279
| Job | Run time |
|---|---|
| 12m 15s | |
| 17m 3s | |
| 9m 24s | |
| 4m 9s | |
| 14m 19s | |
| 15m 42s | |
| 10m 3s | |
| 3h 7m 55s | |
| 42m 45s | |
| 24m 47s | |
| 28m 4s | |
| 23m 25s | |
| 1h 9m 9s | |
| 15m 25s | |
| 54m 9s | |
| 7m 48s | |
| 13m 30s | |
| 56m 39s | |
| 16m 31s | |
| 16m 9s | |
| 46m 19s | |
| 8m 13s | |
| 18m 31s | |
| 51m 20s | |
| 6m 11s | |
| 4m 43s | |
| 30m 11s | |
| 33m 17s | |
| 32m 48s | |
| 36m 3s | |
| 32m 19s | |
| 15h 39m 6s |