Index of /logs/student-loeffler-aom/20200720-094811-student-loeffler-aom-79ed5348f4
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.logfiles/ 2020-07-20 07:14 -
![[TXT]](/icons/text.gif)
overview 2020-07-20 09:48 11K
results.2020-07-20_09-47-33.diff.csv 2020-07-20 09:47 10K
results.2020-07-20_09-47-33.diff.html 2020-07-20 09:47 924K
results.2020-07-20_09-47-33.table.csv 2020-07-20 09:47 934K
results.2020-07-20_09-47-33.table.html 2020-07-20 09:47 6.7M
student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer DEFAULT.lt300_32.xml 2020-07-19 22:44 1.8M
student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer DEFAULT.lt300_64.xml 2020-07-19 22:44 2.0M
student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.Automizer DEFAULT.xml 2020-07-19 22:44 3.8M
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
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
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
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
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
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
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
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
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
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
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
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
student-heuristic-aom-lt30-svcomp.2020-07-19_20-53-15.results.txt 2020-07-20 07:19 3.0M