applying simp? gives a different result from simp
#105
| Job | Run time |
|---|---|
| 2s | |
| 2s |
simp? gives a different result from simp
#105
| Job | Run time |
|---|---|
| 2s | |
| 2s |