Index of /trunk/examples/settings/buchiAutomizer/gnta

Icon  Name                                                     Last modified      Size  Description
[PARENTDIR] Parent Directory                                                              -   
[   ] svcomp-Termination-64bit-Automizer_DefaultBarcelogic.epf 2023-10-31 23:12  4.0K  
[   ] svcomp-Termination-64bit-Automizer_GntaZero.epf          2023-10-31 23:12  3.6K  
[   ] svcomp-Termination-64bit-Automizer_Default.epf           2023-10-31 23:12  3.5K