Index of /logs/conditional-commutativity/20241115-120025-conditional-commutativity-f09727d903

 Name                                                                                                                Last modified      Size  Description
 Parent Directory                                                                                                                         -   
 conditional-commutativity.2024-11-14_01-12-42.logfiles/                                                             2024-11-14 21:37    -   
 conditional-commutativity.2024-11-14_21-50-21.logfiles/                                                             2024-11-15 03:40    -   
 conditional-commutativity.2024-11-14_01-12-42.logfiles-dump/                                                        2024-11-15 12:00    -   
 conditional-commutativity.2024-11-14_21-50-21.logfiles-dump/                                                        2024-11-15 12:00    -   
 conditional-commutativity.2024-11-14_01-12-42.results.NONE.SVCOMP-ConcurrencySafety.xml                             2024-11-14 04:49  869K  
 conditional-commutativity.2024-11-14_01-12-42.results.CE-Sufficient.SVCOMP-ConcurrencySafety.xml                    2024-11-14 08:19  868K  
 conditional-commutativity.2024-11-14_01-12-42.results.CE-SufficientWithContext.SVCOMP-ConcurrencySafety.xml         2024-11-14 11:28  865K  
 conditional-commutativity.2024-11-14_01-12-42.results.CE-NecessaryAndSufficient.SVCOMP-ConcurrencySafety.xml        2024-11-14 14:56  868K  
 conditional-commutativity.2024-11-14_01-12-42.results.CE-NecessaryAndSufficient-Badger.SVCOMP-ConcurrencySafety.xml 2024-11-14 18:23  866K  
 conditional-commutativity.2024-11-14_01-12-42.results.CE-NecessaryAndSufficient-Camel.SVCOMP-ConcurrencySafety.xml  2024-11-14 21:50  866K  
 conditional-commutativity.2024-11-14_01-12-42.results.txt                                                           2024-11-14 21:50  1.0M  
 tabledef.xml                                                                                                        2024-11-14 22:00  3.0K  
 conditional-commutativity.2024-11-14_21-50-21.results.NONE.Weaver-Boogie.xml                                        2024-11-14 22:57  231K  
 conditional-commutativity.2024-11-14_21-50-21.results.CE-Sufficient.Weaver-Boogie.xml                               2024-11-14 23:56  229K  
 conditional-commutativity.2024-11-14_21-50-21.results.CE-SufficientWithContext.Weaver-Boogie.xml                    2024-11-15 00:57  230K  
 conditional-commutativity.2024-11-14_21-50-21.results.CE-NecessaryAndSufficient.Weaver-Boogie.xml                   2024-11-15 01:54  229K  
 conditional-commutativity.2024-11-14_21-50-21.results.CE-NecessaryAndSufficient-Badger.Weaver-Boogie.xml            2024-11-15 02:55  230K  
 conditional-commutativity.2024-11-14_21-50-21.results.CE-NecessaryAndSufficient-Camel.Weaver-Boogie.xml             2024-11-15 03:54  229K  
 conditional-commutativity.2024-11-14_21-50-21.results.txt                                                           2024-11-15 03:54  124K  
 tabledef.diff.csv                                                                                                   2024-11-15 11:52   52K  
 tabledef.diff.html                                                                                                  2024-11-15 11:52  1.4M  
 tabledef.table.csv                                                                                                  2024-11-15 11:52  467K  
 tabledef.table.html                                                                                                 2024-11-15 11:52  3.8M  
 overview                                                                                                            2024-11-15 12:00   43K