Marius Drechsler 90c6d75db4 Is this the end?		2024-08-28 20:50:39 +02:00
..
createcsv.py	Productive day	2024-08-06 18:29:05 +02:00
global_diffs.typ	Is this the end?	2024-08-28 20:50:39 +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