Index of /trunk/examples/Automata/benchmarks/pn/finitePrefix-and-isEmpty

Icon  Name                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                             -   
[DIR] christmas/                              2021-02-19 15:38    -   
[DIR] epiphany/                               2021-02-19 15:38    -   
[DIR] esken/                                  2021-02-19 15:38    -   
[DIR] subTwoHourMarathon/                     2021-02-19 15:38    -   
[TXT] JaguarScull.ats                         2021-02-19 15:38   53K  
[TXT] MarmotOpec.ats                          2021-02-19 15:38   12K  
[TXT] MarmotTriangular07.ats                  2021-02-19 15:38  783K  
[TXT] MarmotTriangular12.ats                  2021-02-19 15:38  2.9M