[SOL] Remove neg and change the semantics of sub (#73)
#187
| Job | Run time |
|---|---|
| 53s | |
| 26m 52s | |
| 1m 23s | |
| 1h 28m 15s | |
| 47m 28s | |
| 1m 23s | |
| 11m 9s | |
| 5h 47m 32s | |
| 1m 22s | |
| 1h 5m 55s | |
| 31m 48s | |
| 30m 21s | |
| 31s | |
| 10h 54m 52s |