Index of /2019/lnterm/divine/test/attic/

../
data/                                              21-May-2019 11:50                   -
cesmi-ltl.sh.disabled                              21-May-2019 11:50                 320
cesmi-metrics.sh.disabled                          21-May-2019 11:50                 641
channels.sh.disabled                               21-May-2019 11:50                1474
combine-dve.sh.disabled                            21-May-2019 11:50                2306
commit.sh.disabled                                 21-May-2019 11:50                 842
csdr.sh.disabled                                   21-May-2019 11:50                 108
defproperty.sh.disabled                            21-May-2019 11:50                 433
draw.sh.disabled                                   21-May-2019 11:50                 355
genexplicit-basic.sh.disabled                      21-May-2019 11:50                 124
genexplicit-reach.sh.disabled                      21-May-2019 11:50                 204
hashcompact.sh.disabled                            21-May-2019 11:50                 205
info.sh.disabled                                   21-May-2019 11:50                  40
instance.sh.disabled                               21-May-2019 11:50                1725
map-mpi.sh.disabled                                21-May-2019 11:50                 148
map.sh.disabled                                    21-May-2019 11:50                 103
metrics-mpi.sh.disabled                            21-May-2019 11:50                 143
metrics.sh.disabled                                21-May-2019 11:50                 115
nested-dfs.sh.disabled                             21-May-2019 11:50                 106
owcty-mpi.sh.disabled                              21-May-2019 11:50                 155
owcty-por.sh.disabled                              21-May-2019 11:50                 112
owcty.sh.disabled                                  21-May-2019 11:50                 109
reachability-mpi.sh.disabled                       21-May-2019 11:50                 243
reachability-por.sh.disabled                       21-May-2019 11:50                 233
reachability.sh.disabled                           21-May-2019 11:50                 130
verify.sh.disabled                                 21-May-2019 11:50                1874