Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Bosy (2016) | Bosy (2016) | Results |
| Acacia 4 Aiger (2016) | Acacia 4 Aiger (2016) | Results |
| BoSy (2017) | BoSy (2017) | Results |
| Party (elli-rally) (2016) | Party (elli-rally) (2016) | Results |
| spot-ltlsynt (2017) | spot-ltlsynt (2017) | Results |
| Party (2017) | Party (2017) | Results |