[alethe] Add arguments to rules and/not_or/and_pos/or_neg (#11123) #1861
| Job | Run time |
|---|---|
| 38m 29s | |
| 32m 36s | |
| 17m 33s | |
| 24m 37s | |
| 23m 21s | |
| 16m 50s | |
| 17m 44s | |
| 30m 38s | |
| 16m 46s | |
| 31m 39s | |
| 23m 2s | |
| 4h 33m 15s |
| Job | Run time |
|---|---|
| 38m 29s | |
| 32m 36s | |
| 17m 33s | |
| 24m 37s | |
| 23m 21s | |
| 16m 50s | |
| 17m 44s | |
| 30m 38s | |
| 16m 46s | |
| 31m 39s | |
| 23m 2s | |
| 4h 33m 15s |