Index of /logs/student-concurrency/20250108-213142-student-concurrency-3f1e3e5f2c-M
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
__pycache__/ 2024-12-31 13:40 -
sleep-threadmodular.2024-12-19_17-21-20.logfiles-dump/ 2025-01-08 21:31 -
sleep-threadmodular.2024-12-19_17-21-20.logfiles/ 2024-12-31 13:34 -
sleep-threadmodular.2024-12-30_11-41-50.logfiles-dump/ 2025-01-08 21:31 -
sleep-threadmodular.2024-12-30_11-41-50.logfiles/ 2024-12-31 13:34 -
sleep-threadmodular.2024-12-31_13-47-28.logfiles/ 2025-01-02 12:33 -
sleep-threadmodular.2025-01-03_16-12-16.logfiles-dump/ 2025-01-08 21:31 -
sleep-threadmodular.2025-01-03_16-12-16.logfiles/ 2025-01-04 11:49 -
![[TXT]](/icons/text.gif)
aggr-NoSleep.xml 2025-01-04 11:51 30K
aggr-SleepExplicit.NecSufComm.xml 2025-01-04 11:51 31K
aggr-SleepExplicit.NondetSleep.NecSufComm.xml 2025-01-04 11:51 31K
aggr-SleepExplicit.NondetSleep.xml 2025-01-04 11:51 31K
aggr-SleepExplicit.xml 2025-01-04 11:51 30K
![[ ]](/icons/p.gif)
aggregate.py 2024-12-31 13:40 5.4K
fix_verdicts.py 2024-12-31 13:37 2.5K
![[ ]](/icons/unknown.gif)
overview 2025-01-08 21:31 20K
process-results.py 2024-12-31 13:51 1.1K
results.2025-01-02_12-35-02.diff.csv 2025-01-02 12:35 28K
results.2025-01-02_12-35-02.diff.html 2025-01-02 12:35 1.3M
results.2025-01-02_12-35-02.table.csv 2025-01-02 12:35 29K
results.2025-01-02_12-35-02.table.html 2025-01-02 12:35 1.3M
results.2025-01-04_11-51-40.diff.csv 2025-01-04 11:51 28K
results.2025-01-04_11-51-40.diff.html 2025-01-04 11:51 1.3M
results.2025-01-04_11-51-40.table.csv 2025-01-04 11:51 29K
results.2025-01-04_11-51-40.table.html 2025-01-04 11:51 1.3M
sleep-threadmodular.2024-12-19_17-21-20.results.NoSleep.Eldarica.threadmodular-examples.xml.bak 2025-01-02 12:34 28K
sleep-threadmodular.2024-12-19_17-21-20.results.NoSleep.Golem.threadmodular-examples.xml.bak 2025-01-02 12:34 27K
sleep-threadmodular.2024-12-19_17-21-20.results.NoSleep.Z3.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2024-12-19_17-21-20.results.SleepExplicit.Eldarica.threadmodular-examples.xml.bak 2025-01-02 12:34 28K
sleep-threadmodular.2024-12-19_17-21-20.results.SleepExplicit.Golem.threadmodular-examples.xml.bak 2025-01-02 12:34 27K
sleep-threadmodular.2024-12-19_17-21-20.results.SleepExplicit.NecSufComm.Eldarica.threadmodular-examples.xml.bak 2024-12-31 13:42 28K
sleep-threadmodular.2024-12-19_17-21-20.results.SleepExplicit.NecSufComm.Golem.threadmodular-examples.xml.bak 2024-12-31 13:42 28K
sleep-threadmodular.2024-12-19_17-21-20.results.SleepExplicit.NecSufComm.Z3.threadmodular-examples.xml.bak 2024-12-31 13:42 28K
sleep-threadmodular.2024-12-19_17-21-20.results.SleepExplicit.NondetSleep.Eldarica.threadmodular-examples.xml.bak 2024-12-31 13:42 27K
sleep-threadmodular.2024-12-19_17-21-20.results.SleepExplicit.NondetSleep.Golem.threadmodular-examples.xml.bak 2024-12-31 13:42 27K
sleep-threadmodular.2024-12-19_17-21-20.results.SleepExplicit.NondetSleep.NecSufComm.Eldarica.threadmodular-examples.xml.bak 2024-12-31 13:42 28K
sleep-threadmodular.2024-12-19_17-21-20.results.SleepExplicit.NondetSleep.Z3.threadmodular-examples.xml.bak 2024-12-31 13:42 27K
sleep-threadmodular.2024-12-19_17-21-20.results.SleepExplicit.Z3.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2024-12-19_17-21-20.results.txt 2024-12-31 13:34 45K
sleep-threadmodular.2024-12-30_11-41-50.results.SleepExplicit.NecSufComm.Eldarica.threadmodular-examples.xml.bak 2025-01-02 12:34 28K
sleep-threadmodular.2024-12-30_11-41-50.results.SleepExplicit.NecSufComm.Golem.threadmodular-examples.xml.bak 2025-01-02 12:34 27K
sleep-threadmodular.2024-12-30_11-41-50.results.SleepExplicit.NecSufComm.Z3.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2024-12-30_11-41-50.results.SleepExplicit.NondetSleep.Eldarica.threadmodular-examples.xml.bak 2025-01-02 12:34 28K
sleep-threadmodular.2024-12-30_11-41-50.results.SleepExplicit.NondetSleep.Golem.threadmodular-examples.xml.bak 2025-01-02 12:34 28K
sleep-threadmodular.2024-12-30_11-41-50.results.SleepExplicit.NondetSleep.NecSufComm.Eldarica.threadmodular-examples.xml.bak 2025-01-02 12:34 27K
sleep-threadmodular.2024-12-30_11-41-50.results.SleepExplicit.NondetSleep.Z3.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2024-12-30_11-41-50.results.txt 2024-12-31 13:34 26K
sleep-threadmodular.2024-12-31_13-47-28.results.SleepExplicit.NondetSleep.NecSufComm.Golem.threadmodular-examples.xml.bak 2025-01-02 12:34 28K
sleep-threadmodular.2024-12-31_13-47-28.results.SleepExplicit.NondetSleep.NecSufComm.Z3.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2024-12-31_13-47-28.results.txt 2025-01-02 12:33 9.8K
sleep-threadmodular.2025-01-03_16-12-16.results.NoSleep.Eldarica.threadmodular-examples.xml 2025-01-04 11:51 27K
sleep-threadmodular.2025-01-03_16-12-16.results.NoSleep.Golem.threadmodular-examples.xml 2025-01-04 11:51 27K
sleep-threadmodular.2025-01-03_16-12-16.results.SleepExplicit.Eldarica.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2025-01-03_16-12-16.results.SleepExplicit.Golem.threadmodular-examples.xml 2025-01-04 11:51 27K
sleep-threadmodular.2025-01-03_16-12-16.results.SleepExplicit.NecSufComm.Eldarica.threadmodular-examples.xml 2025-01-04 11:51 27K
sleep-threadmodular.2025-01-03_16-12-16.results.SleepExplicit.NecSufComm.Golem.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2025-01-03_16-12-16.results.SleepExplicit.NondetSleep.Eldarica.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2025-01-03_16-12-16.results.SleepExplicit.NondetSleep.Golem.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2025-01-03_16-12-16.results.SleepExplicit.NondetSleep.NecSufComm.Eldarica.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2025-01-03_16-12-16.results.SleepExplicit.NondetSleep.NecSufComm.Golem.threadmodular-examples.xml 2025-01-04 11:51 28K
sleep-threadmodular.2025-01-03_16-12-16.results.txt 2025-01-04 11:49 36K