fix observed for DEintegrator
#2308
| Job | Run time |
|---|---|
| 12m 43s | |
| 16m 35s | |
| 9m 53s | |
| 4m 7s | |
| 14m 59s | |
| 16m 26s | |
| 11m 18s | |
| 3h 23m 44s | |
| 48m 24s | |
| 38m 21s | |
| 29m 4s | |
| 25m 5s | |
| 1h 16m 26s | |
| 16m 39s | |
| 56m 2s | |
| 7m 39s | |
| 13m 34s | |
| 58m 46s | |
| 17m 1s | |
| 16m 15s | |
| 46m 17s | |
| 16m 15s | |
| 18m 15s | |
| 45m 44s | |
| 6m 20s | |
| 5m 6s | |
| 31m 42s | |
| 35m 30s | |
| 35m 47s | |
| 38m 21s | |
| 35m 15s | |
| 16h 47m 33s |