Only compute literal intersection if C is not bdd bot #13637
| Job | Run time |
|---|---|
| 8m 52s | |
| 6m 50s | |
| 8m 35s | |
| 7m 7s | |
| 5m 58s | |
| 1m 43s | |
| 4m 55s | |
| 4m 58s | |
| 7m 58s | |
| 5m 12s | |
| 1m 47s | |
| 1h 3m 55s |
| Job | Run time |
|---|---|
| 8m 52s | |
| 6m 50s | |
| 8m 35s | |
| 7m 7s | |
| 5m 58s | |
| 1m 43s | |
| 4m 55s | |
| 4m 58s | |
| 7m 58s | |
| 5m 12s | |
| 1m 47s | |
| 1h 3m 55s |