Index of /logs/student-concurrency/20240430-140439-student-concurrency-faa7b7a484-M
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
conditional-commutativity.2024-04-23_08-55-40.logfiles-dump/ 2024-04-30 14:05 -
conditional-commutativity.2024-04-23_08-55-40.logfiles/ 2024-04-27 00:33 -
conditional-commutativity.2024-04-27_00-46-49.logfiles-dump/ 2024-04-30 14:05 -
conditional-commutativity.2024-04-27_00-46-49.logfiles/ 2024-04-27 15:32 -
conditional-commutativity.2024-04-28_09-27-13.logfiles-dump/ 2024-04-30 14:05 -
conditional-commutativity.2024-04-28_09-27-13.logfiles/ 2024-04-30 13:53 -
![[TXT]](/icons/text.gif)
aggregate.py 2024-04-30 14:00 3.9K
aggregated-DFS-Random-MIN.SVCOMP-ConcurrencySafety-Main.xml 2024-04-30 14:00 1.0M
aggregated-DFS-Random-MIN.Weaver-Boogie.xml 2024-04-30 14:01 266K
aggregated-IA-Random-MIN.SVCOMP-ConcurrencySafety-Main.xml 2024-04-30 13:59 973K
aggregated-IA-Random-MIN.Weaver-Boogie.xml 2024-04-30 13:58 263K
conditional-commutativity.2024-04-23_08-55-40.results.BOTH-Default-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-26 16:46 829K
conditional-commutativity.2024-04-23_08-55-40.results.BOTH-Loop-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-27 00:46 828K
conditional-commutativity.2024-04-23_08-55-40.results.BOTH-SleepSet-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-26 21:11 829K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-Default-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-25 00:56 830K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-Default-Limit2.SVCOMP-ConcurrencySafety-Main.xml 2024-04-24 20:25 829K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-Default-Limit50.SVCOMP-ConcurrencySafety-Main.xml 2024-04-25 07:00 837K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-Default.SVCOMP-ConcurrencySafety-Main.xml 2024-04-24 16:39 844K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-Loop-Condition-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-25 22:56 828K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-Loop-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-25 19:24 828K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-Random-20-213-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-26 03:21 829K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-Random-20-546-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-26 12:13 829K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-Random-50-213-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-26 07:49 829K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-SleepSet-Condition-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-25 15:52 829K
conditional-commutativity.2024-04-23_08-55-40.results.DFS-SleepSet-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-04-25 11:27 829K
conditional-commutativity.2024-04-23_08-55-40.results.IA-Default.SVCOMP-ConcurrencySafety-Main.xml 2024-04-23 16:06 827K
conditional-commutativity.2024-04-23_08-55-40.results.IA-Loop.SVCOMP-ConcurrencySafety-Main.xml 2024-04-23 23:14 827K
conditional-commutativity.2024-04-23_08-55-40.results.IA-Random-20-213.SVCOMP-ConcurrencySafety-Main.xml 2024-04-24 02:48 827K
conditional-commutativity.2024-04-23_08-55-40.results.IA-Random-20-546.SVCOMP-ConcurrencySafety-Main.xml 2024-04-24 09:53 827K
conditional-commutativity.2024-04-23_08-55-40.results.IA-Random-50-213.SVCOMP-ConcurrencySafety-Main.xml 2024-04-24 06:22 827K
conditional-commutativity.2024-04-23_08-55-40.results.IA-SleepSet.SVCOMP-ConcurrencySafety-Main.xml 2024-04-23 19:37 826K
conditional-commutativity.2024-04-23_08-55-40.results.NONE.SVCOMP-ConcurrencySafety-Main.xml 2024-04-23 12:28 827K
conditional-commutativity.2024-04-23_08-55-40.results.txt 2024-04-27 00:46 3.4M
conditional-commutativity.2024-04-27_00-46-49.results.DFS-Default-Limit10.Weaver-Boogie.xml 2024-04-27 12:15 230K
conditional-commutativity.2024-04-27_00-46-49.results.DFS-Default-Limit2.Weaver-Boogie.xml 2024-04-27 11:09 230K
conditional-commutativity.2024-04-27_00-46-49.results.DFS-Default-Limit50.Weaver-Boogie.xml 2024-04-27 13:19 230K
conditional-commutativity.2024-04-27_00-46-49.results.DFS-Default.Weaver-Boogie.xml 2024-04-27 10:00 230K
conditional-commutativity.2024-04-27_00-46-49.results.DFS-Loop-Limit10.Weaver-Boogie.xml.old 2024-04-27 15:32 83K
conditional-commutativity.2024-04-27_00-46-49.results.DFS-SleepSet-Condition-Limit10.Weaver-Boogie.xml 2024-04-27 15:32 230K
conditional-commutativity.2024-04-27_00-46-49.results.DFS-SleepSet-Limit10.Weaver-Boogie.xml 2024-04-27 14:26 230K
conditional-commutativity.2024-04-27_00-46-49.results.IA-Default.Weaver-Boogie.xml 2024-04-27 03:08 230K
conditional-commutativity.2024-04-27_00-46-49.results.IA-Loop.Weaver-Boogie.xml 2024-04-27 05:23 230K
conditional-commutativity.2024-04-27_00-46-49.results.IA-Random-20-213.Weaver-Boogie.xml 2024-04-27 06:34 230K
conditional-commutativity.2024-04-27_00-46-49.results.IA-Random-20-546.Weaver-Boogie.xml 2024-04-27 08:50 230K
conditional-commutativity.2024-04-27_00-46-49.results.IA-Random-50-213.Weaver-Boogie.xml 2024-04-27 07:41 230K
conditional-commutativity.2024-04-27_00-46-49.results.IA-SleepSet.Weaver-Boogie.xml 2024-04-27 04:16 230K
conditional-commutativity.2024-04-27_00-46-49.results.NONE.Weaver-Boogie.xml 2024-04-27 02:00 230K
conditional-commutativity.2024-04-27_00-46-49.results.txt 2024-04-27 15:32 270K
conditional-commutativity.2024-04-28_09-27-13.results.BOTH-Default-Limit10.Weaver-Boogie.xml 2024-04-28 16:04 230K
conditional-commutativity.2024-04-28_09-27-13.results.BOTH-Loop-Limit10.Weaver-Boogie.xml 2024-04-28 18:13 230K
conditional-commutativity.2024-04-28_09-27-13.results.BOTH-SleepSet-Limit10.Weaver-Boogie.xml 2024-04-28 17:09 230K
conditional-commutativity.2024-04-28_09-27-13.results.DFS-Loop-Condition-Limit10.Weaver-Boogie.xml 2024-04-28 11:40 230K
conditional-commutativity.2024-04-28_09-27-13.results.DFS-Loop-Limit10.Weaver-Boogie.xml 2024-04-28 10:33 230K
conditional-commutativity.2024-04-28_09-27-13.results.DFS-Random-20-213-Limit10.Weaver-Boogie.xml 2024-04-28 12:48 230K
conditional-commutativity.2024-04-28_09-27-13.results.DFS-Random-20-546-Limit10.Weaver-Boogie.xml 2024-04-28 14:59 230K
conditional-commutativity.2024-04-28_09-27-13.results.DFS-Random-50-213-Limit10.Weaver-Boogie.xml 2024-04-28 13:53 230K
conditional-commutativity.2024-04-28_09-27-13.results.txt 2024-04-28 18:13 168K
![[ ]](/icons/unknown.gif)
overview 2024-04-30 14:05 389K
student-conditional-commutativity.diff.csv 2024-04-30 14:02 652K
student-conditional-commutativity.diff.html 2024-04-30 14:02 4.9M
student-conditional-commutativity.table.csv 2024-04-30 14:02 1.4M
student-conditional-commutativity.table.html 2024-04-30 14:02 9.4M
student-conditional-commutativity.xml 2024-04-30 14:01 3.4K