Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| BoSy (ltl3ba) | BoSy | Results |
| BoSy (spot) | BoSy | Results |
| spot-ltlsynt | spot-ltlsynt | Results |
| Acacia 4 Aiger | Acacia 4 Aiger | Results |
| Bowser c0 | Bowser | Results |
| Bowser c1 | Bowser | Results |
| Bowser c2 | Bowser | Results |
| Party (int) | Party | Results |
| Party (bool) | Party | Results |
| Party (kid aiger) | Party | Results |