--show-formula splits up disjunctions into separate lines
#1538
| Job | Run time |
|---|---|
| 1m 14s | |
| 1m 14s |
--show-formula splits up disjunctions into separate lines
#1538
| Job | Run time |
|---|---|
| 1m 14s | |
| 1m 14s |