Marius Drechsler ce74294d05 Productive day		2024-08-06 18:29:05 +02:00
..
createcsv.py	Productive day	2024-08-06 18:29:05 +02:00
global_diffs.typ	Productive day	2024-08-06 18:29:05 +02:00
sorted_configurations_with_diff.csv	Finished with improvements, continued on experimental resuls	2024-08-05 19:04:39 +02:00
sorted_configurations_with_diff_header.csv	Productive day	2024-08-06 18:29:05 +02:00