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

 Name                                                   Last modified      Size  Description
 Parent Directory                                                            -   
 ShrinkNwa_Bug05.ats                                    2017-11-16 06:20   36K  
 NWA_MinimizeSevpa_Bug08.ats                            2017-11-16 06:20  709K  
 NWA_MinimizeSevpa_Bug08-enumerationLabeling.ats        2017-11-16 06:20  233K  
 NWA_MinimizeNwaPmaxSat_Test7.ats                       2017-11-16 06:20  706K  
 NWA_MinimizeNwaPmaxSat_Test5.ats                       2017-11-16 06:20   34K  
 NWA_fibo_2calls_4_true-unreach-call.c_Abstraction3.ats 2017-11-16 06:20  6.7K  
 NFA_4BitCounter-Abstraction28.ats                      2017-11-16 06:20  1.0M  
 BuchiReduce_Islands.ats                                2017-11-16 06:20  3.0K  
 BuchiReduce_Bluegreen-RemovedNonLiveMinimizeDfa.ats    2017-11-16 06:20   15K  
 BuchiReduce_Bluegreen-RemovedNonLive.ats               2017-11-16 06:20  165K  
 BuchiReduce_Bluegreen-RemovedDeadEnds.ats              2017-11-16 06:20  550K  
 BuchiReduce_Asterix.ats                                2017-11-16 06:20  7.4K