Index of /logs/student-concurrency/20240508-231035-student-concurrency-17da818e61-M

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