Index of /trunk/examples/settings/buchiAutomizer/ncsb

Icon  Name                                     Last modified      Size  Description
[PARENTDIR] Parent Directory                                              -   
[   ] A-ORIGINAL.epf                           2023-10-31 23:12  6.6K  
[   ] DAISY-ORIGINAL.epf                       2023-10-31 23:12  6.7K  
[   ] INTSET.epf                               2023-10-31 23:12  6.6K  
[   ] INTSET_GBA.epf                           2023-10-31 23:12  6.6K  
[   ] INTSET_GBA_ANTICHAIN.epf                 2023-10-31 23:12  6.6K  
[   ] INTSET_GBA_ANTICHAIN_SAVE-AUT.epf        2023-10-31 23:12  7.0K  
[   ] INTSET_LAZY.epf                          2023-10-31 23:12  6.6K  
[   ] INTSET_LAZY2-SAVE-AUT.epf                2023-10-31 23:12  7.0K  
[   ] INTSET_LAZY2.epf                         2023-10-31 23:12  6.6K  
[   ] INTSET_LAZY3-SAVE-AUT.epf                2023-10-31 23:12  7.0K  
[   ] INTSET_LAZY3.epf                         2023-10-31 23:12  6.6K  
[   ] ORIGINAL-SAVE-AUT.epf                    2023-10-31 23:12  7.0K  
[   ] ORIGINAL.epf                             2023-10-31 23:12  6.6K  
[   ] RHODODENDRON_BA.epf                      2023-10-31 23:12  6.6K  
[   ] RHODODENDRON_BA_LAZYS.epf                2023-10-31 23:12  6.6K  
[   ] RHODODENDRON_GBA.epf                     2023-10-31 23:12  6.6K  
[   ] RHODODENDRON_GBA_ANTICHAIN.epf           2023-10-31 23:12  6.6K  
[   ] RHODODENDRON_GBA_LAZYS.epf               2023-10-31 23:12  6.6K  
[   ] RHODODENDRON_GBA_LAZYS_ANTICHAIN.epf     2023-10-31 23:12  6.6K  
[   ] ROSE-ORIGINAL.epf                        2023-10-31 23:12  6.7K  
[   ] SUNFLOWER-INTSET.epf                     2023-10-31 23:12  6.7K  
[   ] SUNFLOWER-INTSET_GBA.epf                 2023-10-31 23:12  6.7K  
[   ] SUNFLOWER-INTSET_GBA_ANTICHAIN.epf       2023-10-31 23:12  6.7K  
[   ] SUNFLOWER-INTSET_LAZY.epf                2023-10-31 23:12  6.7K  
[   ] SUNFLOWER-INTSET_LAZY2-SAVE-AUT.epf      2023-10-31 23:12  7.1K  
[   ] SUNFLOWER-INTSET_LAZY2.epf               2023-10-31 23:12  6.7K  
[   ] SUNFLOWER-INTSET_LAZY3-SAVE-AUT.epf      2023-10-31 23:12  7.1K  
[   ] SUNFLOWER-INTSET_LAZY3.epf               2023-10-31 23:12  6.7K  
[   ] SUNFLOWER-ORIGINAL-SAVE-AUT.epf          2023-10-31 23:12  7.1K  
[   ] SUNFLOWER-ORIGINAL.epf                   2023-10-31 23:12  6.7K  
[   ] SUNFLOWER_BA.epf                         2023-10-31 23:12  6.7K  
[   ] SUNFLOWER_BA_LAZYS.epf                   2023-10-31 23:12  6.7K  
[   ] SUNFLOWER_GBA.epf                        2023-10-31 23:12  6.7K  
[   ] SUNFLOWER_GBA_ANTICHAIN.epf              2023-10-31 23:12  6.7K  
[   ] SUNFLOWER_GBA_LAZYS.epf                  2023-10-31 23:12  6.7K  
[   ] SUNFLOWER_GBA_LAZYS_ANTICHAIN.epf        2023-10-31 23:12  6.7K