Index of /trunk/source/UltimateTest/target/classes/de/uni_freiburg/informatik/ultimate/ultimatetest/suites/buchiautomizer

Icon  Name                                                                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                        -   
[   ] AbstractBuchiAutomizerTestSuite.class                                                              2024-10-27 17:48  6.9K  
[   ] BuchiAutomizerLassoRankerTests.class                                                               2024-10-27 17:48  3.3K  
[   ] BuchiAutomizerRegresionTests.class                                                                 2024-10-27 17:48  2.4K  
[   ] BuchiAutomizerTemplateBenchmarkMode.class                                                          2024-10-27 17:48  2.7K  
[   ] BuchiComplementation_Termination.class                                                             2024-10-27 17:48  5.7K  
[   ] Minimization_Termination.class                                                                     2024-10-27 17:48  3.1K  
[   ] ReproduceBarcelogicProblemTest.class                                                               2024-10-27 17:48  1.6K  
[   ] TermcompJoogieConvertedTests.class                                                                 2024-10-27 17:48  1.6K  
[   ] TermcompTestAmin.class                                                                             2024-10-27 17:48  2.3K  
[   ] TermcompTestRne.class                                                                              2024-10-27 17:48  2.2K  
[   ] TermcompTests.class                                                                                2024-10-27 17:48  3.4K