Index of /trunk/examples/Automata/benchmarks/ta

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[   ] taTest.ats                           2017-11-16 06:20  2.1K  
[TXT] taSimple1.ats                        2017-11-16 06:20  946   
[TXT] taOperationsSimple1.ats              2017-11-16 06:20  1.1K  
[   ] taOperations.ats                     2017-11-16 06:20  1.2K  
[TXT] minizationTest.ats                   2017-11-16 06:20  569