Index of /logs/student-concurrency/20240508-231035-student-concurrency-17da818e61-M
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
conditional-commutativity.2024-05-03_18-40-22.logfiles/ 2024-05-04 17:51 -
conditional-commutativity.2024-05-04_18-03-55.logfiles/ 2024-05-08 08:18 -
conditional-commutativity.2024-05-03_18-40-22.logfiles-dump/ 2024-05-08 23:11 -
conditional-commutativity.2024-05-04_18-03-55.logfiles-dump/ 2024-05-08 23:11 -
![[TXT]](/icons/text.gif)
conditional-commutativity.2024-05-03_18-40-22.results.NONE.Weaver-Boogie.xml 2024-05-03 19:53 230K
conditional-commutativity.2024-05-03_18-40-22.results.IA-Default.Weaver-Boogie.xml 2024-05-03 21:00 230K
conditional-commutativity.2024-05-03_18-40-22.results.IA-SleepSet.Weaver-Boogie.xml 2024-05-03 22:07 230K
conditional-commutativity.2024-05-03_18-40-22.results.IA-Forward.Weaver-Boogie.xml 2024-05-03 23:14 230K
conditional-commutativity.2024-05-03_18-40-22.results.IA-Loop.Weaver-Boogie.xml 2024-05-04 00:22 230K
conditional-commutativity.2024-05-03_18-40-22.results.IA-Random-20-213.Weaver-Boogie.xml 2024-05-04 01:32 230K
conditional-commutativity.2024-05-03_18-40-22.results.IA-Random-50-213.Weaver-Boogie.xml 2024-05-04 02:41 230K
conditional-commutativity.2024-05-03_18-40-22.results.IA-Random-20-546.Weaver-Boogie.xml 2024-05-04 03:49 230K
conditional-commutativity.2024-05-03_18-40-22.results.DFS-Default.Weaver-Boogie.xml 2024-05-04 04:58 230K
conditional-commutativity.2024-05-03_18-40-22.results.DFS-Default-Limit2.Weaver-Boogie.xml 2024-05-04 06:07 230K
conditional-commutativity.2024-05-03_18-40-22.results.DFS-Default-Limit10.Weaver-Boogie.xml 2024-05-04 07:15 230K
conditional-commutativity.2024-05-03_18-40-22.results.DFS-Default-Limit50.Weaver-Boogie.xml 2024-05-04 08:20 230K
conditional-commutativity.2024-05-03_18-40-22.results.DFS-SleepSet-Limit10.Weaver-Boogie.xml 2024-05-04 09:25 230K
conditional-commutativity.2024-05-03_18-40-22.results.DFS-Forward-Limit10.Weaver-Boogie.xml 2024-05-04 10:31 230K
conditional-commutativity.2024-05-03_18-40-22.results.DFS-Loop-Limit10.Weaver-Boogie.xml 2024-05-04 11:38 230K
conditional-commutativity.2024-05-03_18-40-22.results.DFS-Random-20-213-Limit10.Weaver-Boogie.xml 2024-05-04 12:43 230K
conditional-commutativity.2024-05-03_18-40-22.results.DFS-Random-50-213-Limit10.Weaver-Boogie.xml 2024-05-04 13:47 230K
conditional-commutativity.2024-05-03_18-40-22.results.DFS-Random-20-546-Limit10.Weaver-Boogie.xml 2024-05-04 14:52 230K
conditional-commutativity.2024-05-03_18-40-22.results.BOTH-Default-Limit10.Weaver-Boogie.xml 2024-05-04 15:57 230K
conditional-commutativity.2024-05-03_18-40-22.results.BOTH-SleepSet-Limit10.Weaver-Boogie.xml 2024-05-04 17:01 230K
conditional-commutativity.2024-05-03_18-40-22.results.BOTH-Loop-Limit10.Weaver-Boogie.xml 2024-05-04 18:03 230K
conditional-commutativity.2024-05-03_18-40-22.results.txt 2024-05-04 18:03 434K
conditional-commutativity.2024-05-04_18-03-55.results.NONE.SVCOMP-ConcurrencySafety-Main.xml 2024-05-04 21:35 827K
conditional-commutativity.2024-05-04_18-03-55.results.IA-Default.SVCOMP-ConcurrencySafety-Main.xml 2024-05-05 01:12 827K
conditional-commutativity.2024-05-04_18-03-55.results.IA-SleepSet.SVCOMP-ConcurrencySafety-Main.xml 2024-05-05 04:44 827K
conditional-commutativity.2024-05-04_18-03-55.results.IA-Forward.SVCOMP-ConcurrencySafety-Main.xml 2024-05-05 08:21 827K
conditional-commutativity.2024-05-04_18-03-55.results.IA-Loop.SVCOMP-ConcurrencySafety-Main.xml 2024-05-05 11:58 827K
conditional-commutativity.2024-05-04_18-03-55.results.IA-Random-20-213.SVCOMP-ConcurrencySafety-Main.xml 2024-05-05 15:27 827K
conditional-commutativity.2024-05-04_18-03-55.results.IA-Random-50-213.SVCOMP-ConcurrencySafety-Main.xml 2024-05-05 19:00 827K
conditional-commutativity.2024-05-04_18-03-55.results.IA-Random-20-546.SVCOMP-ConcurrencySafety-Main.xml 2024-05-05 22:31 827K
conditional-commutativity.2024-05-04_18-03-55.results.DFS-Default.SVCOMP-ConcurrencySafety-Main.xml 2024-05-06 04:53 841K
conditional-commutativity.2024-05-04_18-03-55.results.DFS-Default-Limit2.SVCOMP-ConcurrencySafety-Main.xml 2024-05-06 08:40 828K
conditional-commutativity.2024-05-04_18-03-55.results.DFS-Default-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-05-06 13:07 829K
conditional-commutativity.2024-05-04_18-03-55.results.DFS-Default-Limit50.SVCOMP-ConcurrencySafety-Main.xml 2024-05-06 18:52 836K
conditional-commutativity.2024-05-04_18-03-55.results.DFS-SleepSet-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-05-06 23:16 829K
conditional-commutativity.2024-05-04_18-03-55.results.DFS-Forward-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-05-07 03:39 829K
conditional-commutativity.2024-05-04_18-03-55.results.DFS-Loop-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-05-07 07:09 828K
conditional-commutativity.2024-05-04_18-03-55.results.DFS-Random-20-213-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-05-07 11:24 829K
conditional-commutativity.2024-05-04_18-03-55.results.DFS-Random-50-213-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-05-07 15:47 829K
conditional-commutativity.2024-05-04_18-03-55.results.DFS-Random-20-546-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-05-07 20:05 829K
conditional-commutativity.2024-05-04_18-03-55.results.BOTH-Default-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-05-08 00:35 829K
conditional-commutativity.2024-05-04_18-03-55.results.BOTH-SleepSet-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-05-08 04:58 830K
conditional-commutativity.2024-05-04_18-03-55.results.BOTH-Loop-Limit10.SVCOMP-ConcurrencySafety-Main.xml 2024-05-08 08:32 828K
conditional-commutativity.2024-05-04_18-03-55.results.txt 2024-05-08 08:32 3.4M
tabledef.xml 2024-05-08 22:37 3.6K
aggregated-DFS-Random-MIN.Weaver-Boogie.xml 2024-05-08 23:05 266K
aggregated-DFS-Random-MIN.SVCOMP-ConcurrencySafety.xml 2024-05-08 23:06 1.0M
aggregated-IA-Random-MIN.SVCOMP-ConcurrencySafety.xml 2024-05-08 23:08 973K
aggregate.py 2024-05-08 23:08 3.9K
aggregated-IA-Random-MIN.Weaver-Boogie.xml 2024-05-08 23:08 263K
tabledef.diff.csv 2024-05-08 23:08 654K
tabledef.table.csv 2024-05-08 23:08 1.4M
tabledef.diff.html 2024-05-08 23:08 4.9M
tabledef.table.html 2024-05-08 23:08 9.9M
![[ ]](/icons/unknown.gif)
overview 2024-05-08 23:11 375K