Index of /logs/student-loeffler-aom/20200720-094811-student-loeffler-aom-79ed5348f4

Icon  Name                                                                                                                                                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                                                                                       -   
[DIR] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.logfiles/                                                                                                   2020-07-20 07:14    -   
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.txt                                                                                                 2020-07-20 07:19  3.0M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks NUM_VARIABLES, FIXED_NUM_PARTITIONS 4.xml                      2020-07-20 03:01  3.6M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks NUM_VARIABLES, FIXED_NUM_PARTITIONS 4.lt300_64.xml             2020-07-20 03:02  1.9M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks NUM_VARIABLES, FIXED_NUM_PARTITIONS 4.lt300_32.xml             2020-07-20 03:01  1.7M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks NUM_FUNCTIONS, FIXED_NUM_PARTITIONS 4.xml                      2020-07-20 00:52  3.6M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks NUM_FUNCTIONS, FIXED_NUM_PARTITIONS 4.lt300_64.xml             2020-07-20 00:52  1.9M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks NUM_FUNCTIONS, FIXED_NUM_PARTITIONS 4.lt300_32.xml             2020-07-20 00:52  1.7M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks DAGSIZE, FIXED_NUM_PARTITIONS 4.xml                            2020-07-20 05:10  3.7M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks DAGSIZE, FIXED_NUM_PARTITIONS 4.lt300_64.xml                   2020-07-20 05:10  2.0M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks DAGSIZE, FIXED_NUM_PARTITIONS 4.lt300_32.xml                   2020-07-20 05:10  1.7M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks BIGGEST_EQUIVALENCE_CLASS, FIXED_NUM_PARTITIONS 4.xml          2020-07-20 07:19  3.6M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks BIGGEST_EQUIVALENCE_CLASS, FIXED_NUM_PARTITIONS 4.lt300_64.xml 2020-07-20 07:19  1.9M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer Heuristic AssertCodeBlocks BIGGEST_EQUIVALENCE_CLASS, FIXED_NUM_PARTITIONS 4.lt300_32.xml 2020-07-20 07:19  1.8M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer DEFAULT.xml                                                                               2020-07-19 22:44  3.8M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer DEFAULT.lt300_64.xml                                                                      2020-07-19 22:44  2.0M  
[TXT] student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer DEFAULT.lt300_32.xml                                                                      2020-07-19 22:44  1.8M  
[TXT] results.2020-07-20_09-47-33.table.html                                                                                                                            2020-07-20 09:47  6.7M  
[TXT] results.2020-07-20_09-47-33.table.csv                                                                                                                             2020-07-20 09:47  934K  
[TXT] results.2020-07-20_09-47-33.diff.html                                                                                                                             2020-07-20 09:47  924K  
[TXT] results.2020-07-20_09-47-33.diff.csv                                                                                                                              2020-07-20 09:47   10K  
[TXT] overview                                                                                                                                                          2020-07-20 09:48   11K