Index of /logs/student-loeffler-aom/20200721-101722-student-loeffler-aom-d623d84ed4
Name Last modified Size Description
Parent Directory -
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.logfiles/ 2020-07-21 04:43 -
overview 2020-07-21 10:18 8.2K
results.2020-07-21_10-16-59.diff.csv 2020-07-21 10:17 64K
results.2020-07-21_10-16-59.diff.html 2020-07-21 10:17 1.3M
results.2020-07-21_10-16-59.table.csv 2020-07-21 10:17 930K
results.2020-07-21_10-16-59.table.html 2020-07-21 10:17 6.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer DEFAULT.lt300_32.xml 2020-07-20 13:00 1.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer DEFAULT.lt300_64.xml 2020-07-20 13:00 2.0M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer DEFAULT.xml 2020-07-20 13:00 3.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks BIGGEST_EQUIVALENCE_CLASS, FIXED_NUM_PARTITIONS 4.lt300_32.xml 2020-07-21 04:53 1.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks BIGGEST_EQUIVALENCE_CLASS, FIXED_NUM_PARTITIONS 4.lt300_64.xml 2020-07-21 04:53 1.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks BIGGEST_EQUIVALENCE_CLASS, FIXED_NUM_PARTITIONS 4.xml 2020-07-21 04:53 3.6M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks DAGSIZE, FIXED_NUM_PARTITIONS 4.lt300_32.xml 2020-07-21 00:24 1.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks DAGSIZE, FIXED_NUM_PARTITIONS 4.lt300_64.xml 2020-07-21 00:24 1.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks DAGSIZE, FIXED_NUM_PARTITIONS 4.xml 2020-07-21 00:24 3.5M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks NUM_FUNCTIONS, FIXED_NUM_PARTITIONS 4.lt300_32.xml 2020-07-20 16:21 1.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks NUM_FUNCTIONS, FIXED_NUM_PARTITIONS 4.lt300_64.xml 2020-07-20 16:21 1.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks NUM_FUNCTIONS, FIXED_NUM_PARTITIONS 4.xml 2020-07-20 16:21 3.5M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks NUM_VARIABLES, FIXED_NUM_PARTITIONS 4.lt300_32.xml 2020-07-20 21:02 1.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks NUM_VARIABLES, FIXED_NUM_PARTITIONS 4.lt300_64.xml 2020-07-20 21:02 1.8M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.Automizer Heuristic AssertCodeBlocks NUM_VARIABLES, FIXED_NUM_PARTITIONS 4.xml 2020-07-20 21:02 3.6M
student-heuristic-aom-z3-lt30-svcomp.2020-07-20_10-39-27.results.txt 2020-07-21 04:53 3.0M