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