[SOL] Remove neg and change the semantics of sub
#183
| Job | Run time |
|---|---|
| 53s | |
| 11m 1s | |
| 1m 57s | |
| 1h 51m 53s | |
| 25m 38s | |
| 48m 8s | |
| 1m 42s | |
| 1m 40s | |
| 2h 43m 55s | |
| 57m 0s | |
| 30m 1s | |
| 29m 57s | |
| 36s | |
| 8h 4m 21s |