Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| BoSy (ltl3ba,par) | BoSy | Results |
| BoSy (spot,par) | BoSy | Results |
| Acacia 4 Aiger (par) | Acacia 4 Aiger | Results |
| Bowser c0 par | Bowser | Results |
| Bowser c1 par | Bowser | Results |
| Bowser c2 par | Bowser | Results |
| Party (portfolio) | Party | Results |