small fix in backward rule for leftorth, rightorth #199
| Job | Run time |
|---|---|
| 57m 9s | |
| 1h 20m 38s | |
| 1h 10m 15s | |
| 42m 38s | |
| 1h 13m 12s | |
| 50m 33s | |
| 50m 52s | |
| 48m 58s | |
| 53m 22s | |
| 8h 47m 37s |
| Job | Run time |
|---|---|
| 57m 9s | |
| 1h 20m 38s | |
| 1h 10m 15s | |
| 42m 38s | |
| 1h 13m 12s | |
| 50m 33s | |
| 50m 52s | |
| 48m 58s | |
| 53m 22s | |
| 8h 47m 37s |