Index of /trunk/examples/settings

Icon  Name                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                             -   
[DIR] witness/                                2024-10-12 21:50    -   
[DIR] webinterface/                           2024-10-12 21:50    -   
[DIR] UltimateInterpolator/                   2024-01-15 16:45    -   
[DIR] UltimateEliminator/                     2021-02-19 15:38    -   
[DIR] translation/                            2023-10-31 23:12    -   
[DIR] TACASInterpolation2015/                 2024-10-12 21:50    -   
[DIR] svcomp2018/                             2017-11-29 13:04    -   
[DIR] svcomp2017/                             2017-11-16 06:20    -   
[DIR] svcomp2016/                             2024-10-12 21:50    -   
[DIR] svcomp2015/                             2024-10-12 21:50    -   
[DIR] spaceex/                                2024-10-12 21:50    -   
[DIR] rers2018/                               2024-10-12 21:50    -   
[DIR] reqanalyzer/                            2024-10-12 21:50    -   
[DIR] regression-verif/                       2024-10-12 21:50    -   
[DIR] pu-bench/                               2024-10-12 21:50    -   
[DIR] Pdr/                                    2024-10-12 21:50    -   
[DIR] mapelimination/                         2024-10-12 21:50    -   
[DIR] ltlAutomizer/                           2024-10-12 21:50    -   
[DIR] loopacceleration/                       2024-10-12 21:50    -   
[DIR] kojak/                                  2018-12-11 09:34    -   
[DIR] IntBlastingWrapper/                     2023-06-01 16:08    -   
[DIR] heuristics/                             2024-10-12 21:50    -   
[DIR] heapseparator/                          2022-12-23 22:49    -   
[DIR] gemcutter/                              2024-10-12 21:50    -   
[DIR] default/                                2024-10-12 21:50    -   
[DIR] chc/                                    2023-06-01 16:08    -   
[DIR] cade18-smtinterpol/                     2023-10-31 23:12    -   
[DIR] buchiAutomizer/                         2024-10-12 21:50    -   
[DIR] automizer/                              2024-10-12 21:50    -   
[DIR] AutomataScript/                         2021-02-19 15:38    -   
[DIR] ai/                                     2024-10-12 21:50    -   
[   ] TraceAbstractionWithAFA.epf             2024-10-12 21:50  7.3K  
[   ] SMTInterpol-LBE-NoSimplify-Bosch.epf    2017-11-16 06:20  955   
[   ] searchAndReplaceInSettings.sh           2021-11-18 10:43  1.2K  
[   ] PricedTimedAutomata-noOutsideLoop.epf   2016-08-27 09:19  1.4K  
[   ] LassoRankerTestNew.epf                  2018-07-23 13:25  3.4K  
[   ] LassoRankerTestLinearSMTInterpol.epf    2018-07-23 13:25  3.5K  
[   ] LassoRankerTest.epf                     2017-11-16 06:20  2.5K  
[   ] LassoRankerBEv2.epf                     2022-12-23 22:49  2.7K  
[   ] hoare10.epf                             2024-10-12 21:50  1.1K  
[   ] FilterUnusedDeclarationsFromSmtFile.epf 2017-11-16 06:20  430   
[   ] EmptySettings.epf                       2023-10-31 23:12  2.4K  
[   ] Bora_MA_ClinicalGuidelines.epf          2021-02-19 15:38  2.8K  
[   ] AutomizerSvcompSafety1MinuteSeq.bpl     2015-10-08 03:44  2.1K  
[   ] AutomizerSvcompSafety1Minute.bpl        2015-10-08 03:44  2.0K  
[   ] AutomizerIsEmptyHeuristic.epf           2024-10-12 21:50  5.9K  
[   ] all-64bit-Automizer_Bitvector.epf       2024-10-12 21:50  4.6K  
[   ] AlexSVCOMPstandardPlusSimplify.epf      2023-10-31 23:12  4.4K  
[   ] AlexSVCOMPstandardNoCNF.epf             2023-10-31 23:12  4.5K  
[   ] AlexSVCOMPstandard.epf                  2023-10-31 23:12  4.4K  
[   ] AlexSVCOMPmemsafety.epf                 2023-10-31 23:12  4.1K