Index of /logs/concurrency-termination/20240212-184954-concurrency-termination-9ecb849265-M

 Name                                                                                                    Last modified      Size  Description
 Parent Directory                                                                                                             -   
 termination-concurrency.2024-02-09_23-12-22.logfiles-dump/                                              2024-02-12 11:40    -   
 termination-concurrency.2024-02-09_23-12-22.logfiles/                                                   2024-02-10 01:37    -   
 overview                                                                                                2024-02-12 18:50   34K  
 tabledef.diff.csv                                                                                       2024-02-12 18:41   30K  
 tabledef.diff.html                                                                                      2024-02-12 18:41  1.3M  
 tabledef.table.csv                                                                                      2024-02-12 18:41   60K  
 tabledef.table.html                                                                                     2024-02-12 18:41  1.5M  
 tabledef.xml                                                                                            2024-02-12 11:39  825   
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_AUTOMATON.SVCOMP.xml                          2024-02-09 23:28  209K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_AUTOMATON.Ultimate.xml                        2024-02-09 23:28   67K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_AUTOMATON.xml                                 2024-02-09 23:28  270K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET-automaton_emptiness.SVCOMP.xml      2024-02-10 01:41  214K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET-automaton_emptiness.Ultimate.xml    2024-02-10 01:41   68K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET-automaton_emptiness.xml             2024-02-10 01:41  276K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET-intersection_optimized.SVCOMP.xml   2024-02-10 01:07  214K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET-intersection_optimized.Ultimate.xml 2024-02-10 01:07   68K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET-intersection_optimized.xml          2024-02-10 01:07  276K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET-optimized.SVCOMP.xml                2024-02-10 00:33  214K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET-optimized.Ultimate.xml              2024-02-10 00:33   68K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET-optimized.xml                       2024-02-10 00:33  275K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET.SVCOMP.xml                          2024-02-09 23:58  213K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET.Ultimate.xml                        2024-02-09 23:58   68K  
 termination-concurrency.2024-02-09_23-12-22.results.BUCHI_PETRI_NET.xml                                 2024-02-09 23:58  275K  
 termination-concurrency.2024-02-09_23-12-22.results.txt                                                 2024-02-10 01:41  148K