Index of /logs/icfgbuilder/20250416-095449-icfgbuilder-04aa6aeaf1-M

Icon  Name                                                                                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                               -   
[DIR] concurrency-cfgbuilder-comparison.2025-04-15_10-27-22.logfiles-dump/                                      2025-04-16 09:55    -   
[DIR] concurrency-cfgbuilder-comparison.2025-04-15_10-27-22.logfiles/                                           2025-04-15 23:30    -   
[DIR] concurrency-cfgbuilder-comparison.2025-04-16_00-38-37.logfiles-dump/                                      2025-04-16 09:55    -   
[DIR] concurrency-cfgbuilder-comparison.2025-04-16_00-38-37.logfiles/                                           2025-04-16 07:01    -   
[TXT] concurrency-cfgbuilder-comparison.2025-04-15_10-27-22.results.AutomizerFA-ICFG.SVCOMP-NoDataRace-Main.xml 2025-04-15 18:32  1.6M  
[TXT] concurrency-cfgbuilder-comparison.2025-04-15_10-27-22.results.AutomizerFA-RCFG.SVCOMP-NoDataRace-Main.xml 2025-04-15 11:59  1.6M  
[TXT] concurrency-cfgbuilder-comparison.2025-04-15_10-27-22.results.AutomizerPN-ICFG.SVCOMP-NoDataRace-Main.xml 2025-04-15 20:18  1.6M  
[TXT] concurrency-cfgbuilder-comparison.2025-04-15_10-27-22.results.AutomizerPN-RCFG.SVCOMP-NoDataRace-Main.xml 2025-04-15 13:52  1.6M  
[TXT] concurrency-cfgbuilder-comparison.2025-04-15_10-27-22.results.GemCutter-ICFG.SVCOMP-NoDataRace-Main.xml   2025-04-15 23:43  1.6M  
[TXT] concurrency-cfgbuilder-comparison.2025-04-15_10-27-22.results.GemCutter-RCFG.SVCOMP-NoDataRace-Main.xml   2025-04-15 16:59  1.6M  
[TXT] concurrency-cfgbuilder-comparison.2025-04-15_10-27-22.results.txt                                         2025-04-15 23:43  1.4M  
[TXT] concurrency-cfgbuilder-comparison.2025-04-16_00-38-37.results.GemCutter-ICFG.SVCOMP-NoDataRace-Main.xml   2025-04-16 07:14  1.6M  
[TXT] concurrency-cfgbuilder-comparison.2025-04-16_00-38-37.results.GemCutter-RCFG.SVCOMP-NoDataRace-Main.xml   2025-04-16 03:46  1.6M  
[TXT] concurrency-cfgbuilder-comparison.2025-04-16_00-38-37.results.txt                                         2025-04-16 07:14  489K  
[   ] overview                                                                                                  2025-04-16 09:55  149K  
[TXT] tabledef.diff.csv                                                                                         2025-04-16 09:00  170K  
[TXT] tabledef.diff.html                                                                                        2025-04-16 09:00  2.2M  
[TXT] tabledef.table.csv                                                                                        2025-04-16 09:00  377K  
[TXT] tabledef.table.html                                                                                       2025-04-16 09:00  3.5M  
[TXT] tabledef.xml                                                                                              2025-04-12 17:44  2.0K