Index of /logs/student-loeffler-aom/20200722-094846-student-loeffler-aom-d623d84ed4
Name Last modified Size Description
Parent Directory -
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.logfiles/ 2020-07-22 02:11 -
overview 2020-07-22 09:49 8.1K
results.2020-07-22_09-48-13.diff.csv 2020-07-22 09:48 55K
results.2020-07-22_09-48-13.table.csv 2020-07-22 09:48 930K
results.2020-07-22_09-48-13.diff.html 2020-07-22 09:48 1.2M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks NUM_VARIABLES, FIXED_NUM_PARTITIONS 2.lt300_64.xml 2020-07-21 19:10 1.8M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks NUM_FUNCTIONS, FIXED_NUM_PARTITIONS 2.lt300_32.xml 2020-07-21 15:39 1.8M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks BIGGEST_EQUIVALENCE_CLASS, FIXED_NUM_PARTITIONS 4.lt300_64.xml 2020-07-22 02:21 1.8M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks DAGSIZE, FIXED_NUM_PARTITIONS 2.lt300_32.xml 2020-07-21 21:55 1.8M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer DEFAULT.lt300_32.xml 2020-07-21 12:50 1.8M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks BIGGEST_EQUIVALENCE_CLASS, FIXED_NUM_PARTITIONS 4.lt300_32.xml 2020-07-22 02:21 1.8M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks NUM_VARIABLES, FIXED_NUM_PARTITIONS 2.lt300_32.xml 2020-07-21 19:10 1.8M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks DAGSIZE, FIXED_NUM_PARTITIONS 2.lt300_64.xml 2020-07-21 21:55 1.8M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks NUM_FUNCTIONS, FIXED_NUM_PARTITIONS 2.lt300_64.xml 2020-07-21 15:39 1.8M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer DEFAULT.lt300_64.xml 2020-07-21 12:50 2.0M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.txt 2020-07-22 02:21 3.0M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks NUM_VARIABLES, FIXED_NUM_PARTITIONS 2.xml 2020-07-21 19:10 3.6M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks BIGGEST_EQUIVALENCE_CLASS, FIXED_NUM_PARTITIONS 4.xml 2020-07-22 02:21 3.6M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks NUM_FUNCTIONS, FIXED_NUM_PARTITIONS 2.xml 2020-07-21 15:39 3.6M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer Heuristic AssertCodeBlocks DAGSIZE, FIXED_NUM_PARTITIONS 2.xml 2020-07-21 21:55 3.6M
student-heuristic-aom-z3-2part-lt30-svcomp.2020-07-21_10-34-16.results.Automizer DEFAULT.xml 2020-07-21 12:50 3.8M
results.2020-07-22_09-48-13.table.html 2020-07-22 09:48 6.9M