fix observed for DEintegrator
#2247
| Job | Run time |
|---|---|
| 12m 17s | |
| 16m 0s | |
| 9m 18s | |
| 3m 46s | |
| 15m 38s | |
| 13m 49s | |
| 10m 44s | |
| 3h 9m 53s | |
| 49m 17s | |
| 36m 4s | |
| 27m 46s | |
| 23m 2s | |
| 1h 13m 5s | |
| 15m 49s | |
| 53m 18s | |
| 7m 42s | |
| 13m 8s | |
| 47m 16s | |
| 16m 37s | |
| 15m 59s | |
| 1h 1m 48s | |
| 8m 2s | |
| 17m 34s | |
| 48m 8s | |
| 6m 26s | |
| 26s | |
| 32m 39s | |
| 34m 4s | |
| 34m 17s | |
| 43m 12s | |
| 32m 45s | |
| 16h 9m 49s |