Index of /2017/divine4/divine4/test/attic/

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