Index of /trunk/examples/settings/automizer/minimization

Icon  Name                                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                                          -   
[   ] ForwardPredicates-NONE.epf                           2016-10-18 17:07  2.0K  
[   ] ForwardPredicates-SHRINK_NWA.epf                     2016-10-18 17:07  2.0K  
[   ] ForwardPredicates-NWA_MAX_SAT2.epf                   2016-10-18 17:07  2.0K  
[   ] ForwardPredicates-NWA_COMBINATOR_MULTI_DEFAULT.epf   2016-10-18 17:07  2.0K  
[   ] BackwardPredicates-NWA_COMBINATOR_MULTI_DEFAULT.epf  2017-11-16 06:20  2.2K  
[   ] TreeInterpolants-NWA_COMBINATOR.epf                  2016-10-06 09:20  2.2K  
[   ] TreeInterpolants-NONE.epf                            2016-10-06 09:20  2.2K  
[   ] TreeInterpolants-SHRINK_NWA.epf                      2016-10-06 09:20  2.2K  
[   ] TreeInterpolants-NWA_MAX_SAT.epf                     2016-10-06 09:20  2.3K  
[   ] TreeInterpolants-NWA_MAX_SAT2.epf                    2016-10-06 09:20  2.3K  
[   ] TreeInterpolants-MINIMIZE_SEVPA.epf                  2016-10-06 09:20  2.3K  
[   ] TreeInterpolants-DFA_HOPCROFT_ARRAYS.epf             2016-10-06 09:20  2.3K  
[   ] TreeInterpolants-RAQ_DIRECT_SIMULATION.epf           2016-10-06 09:20  2.3K  
[   ] TreeInterpolants-RAQ_DIRECT_SIMULATION_B.epf         2016-10-13 10:34  2.3K  
[   ] TreeInterpolants-NWA_COMBINATOR_MULTI_DEFAULT.epf    2016-10-06 09:20  2.3K  
[   ] TreeInterpolants-NWA_COMBINATOR_MULTI_SIMULATION.epf 2016-10-06 09:20  2.3K  
[   ] Twotrack-NWA_COMBINATOR_MULTI_DEFAULT.epf            2018-07-23 13:25  2.3K  
[   ] TreeInterpolants-NONE-DFS.epf                        2016-10-06 09:20  2.4K  
[   ] TreeInterpolants-SHRINK_NWA-DFS.epf                  2016-10-06 09:20  2.4K