Index of /trunk/examples/Automata/benchmarks/nwa/operations/determinize

Icon  Name                                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                                         -   
[TXT] Determinize-Benchmark01.ats                         2017-11-16 06:20  672   
[TXT] Determinize_16thFromLast.ats                        2017-11-16 06:20  1.1K  
[TXT] Determinize_WorstCaseDeterminization-k2.ats         2017-11-16 06:20  3.4K  
[TXT] DeterminizeDD-Benchmark01.ats                       2017-11-16 06:20  684   
[   ] DeterminizeDD_ReachableStatesCopy.ats               2017-11-16 06:20  498   
[TXT] DeterminizeSadd-Benchmark01.ats                     2017-11-16 06:20  696