fix observed for DEintegrator
#2263
| Job | Run time |
|---|---|
| 12m 25s | |
| 15m 37s | |
| 9m 14s | |
| 4m 6s | |
| 14m 15s | |
| 13m 41s | |
| 11m 1s | |
| 3h 18m 26s | |
| 49m 44s | |
| 34m 31s | |
| 29m 48s | |
| 23m 6s | |
| 1h 13m 6s | |
| 15m 11s | |
| 50m 43s | |
| 7m 40s | |
| 13m 56s | |
| 54m 41s | |
| 16m 42s | |
| 16m 1s | |
| 1h 0m 47s | |
| 8m 4s | |
| 17m 38s | |
| 51m 43s | |
| 6m 19s | |
| 4m 45s | |
| 32m 0s | |
| 32m 29s | |
| 34m 4s | |
| 43m 42s | |
| 33m 41s | |
| 16h 29m 6s |