Index of /trunk/examples/settings/automizer/mcr

Icon  Name                                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                            -   
[   ] svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN.epf                 2024-10-12 21:50  6.3K  
[   ] svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA.epf                 2024-10-12 21:50  6.3K  
[   ] svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-McrStrategy-SP.epf  2024-10-12 21:50  6.7K  
[   ] svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-McrStrategy-WP.epf  2024-10-12 21:50  6.7K  
[   ] svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-McrStrategy-SP.epf  2024-10-12 21:50  6.7K  
[   ] svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-McrStrategy-WP.epf  2024-10-12 21:50  6.7K  
[   ] svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-McrAutomaton-SP.epf 2024-10-12 21:50  6.7K  
[   ] svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-McrAutomaton-WP.epf 2024-10-12 21:50  6.7K  
[   ] svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-McrAutomaton-SP.epf 2024-10-12 21:50  6.7K  
[   ] svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-McrAutomaton-WP.epf 2024-10-12 21:50  6.7K