Index of /trunk/examples/settings/svcomp2017/automizer

 Name                                                   Last modified      Size  Description
 Parent Directory                                                            -   
 svcomp-Reach-64bit-Automizer_Default.epf               2024-10-12 21:50  3.8K  
 svcomp-Reach-64bit-Automizer_Bitvector.epf             2024-10-12 21:50  4.2K  
 svcomp-Reach-32bit-Automizer_Default.epf               2024-10-12 21:50  4.0K  
 svcomp-Reach-32bit-Automizer_Bitvector.epf             2024-10-12 21:50  4.4K  
 svcomp-Overflow-64bit-Automizer_Default.epf            2024-10-12 21:50  4.0K  
 svcomp-Overflow-32bit-Automizer_Default.epf            2024-10-12 21:50  4.3K  
 svcomp-Termination-64bit-Automizer_Default.epf         2023-10-31 23:12  5.1K  
 svcomp-Termination-32bit-Automizer_Default.epf         2023-10-31 23:12  5.4K  
 svcomp-LTL-64bit-Automizer_Default.epf                 2023-10-31 23:12  4.3K  
 svcomp-LTL-32bit-Automizer_Default.epf                 2023-10-31 23:12  4.6K  
 svcomp-DerefFreeMemtrack-64bit-Automizer_Default.epf   2023-10-31 23:12  3.7K  
 svcomp-DerefFreeMemtrack-64bit-Automizer_Bitvector.epf 2023-10-31 23:12  4.0K  
 svcomp-DerefFreeMemtrack-32bit-Automizer_Default.epf   2023-10-31 23:12  4.0K  
 svcomp-DerefFreeMemtrack-32bit-Automizer_Bitvector.epf 2023-10-31 23:12  4.3K