Solver configurations used in the experiment
| Name | Solver | |
|---|---|---|
| Strix (basic) | Strix | Results |
| Strix (min) | Strix | Results |
| Strix (labels) | Strix | Results |
| ltlsynt (ds) | ltlsynt | Results |
| ltlsynt (incr) | ltlsynt | Results |
| ltlsynt (sd) | ltlsynt | Results |
| Bowser (simple) | Bowser | Results |
| Bowser (synth) | Bowser | Results |
| Bowser (opt) | Bowser | Results |
| BoSy (basic,last) | BoSy | Results |
| BoSy (opt,last) | BoSy | Results |