Index of /adtrem/ADTRem-JLC-benchmarks/CHC-transformed/leon/

../
amortize-queue-goal4.t.t.smt2                      21-Apr-2021 08:05                1876
amortize-queue-goal5.t.t.smt2                      21-Apr-2021 08:05                2000
amortize-queue-goal7.t.t.smt2                      21-Apr-2021 08:05                6039
amortize-queue-goal9.t.t.smt2                      21-Apr-2021 08:05                1220
bsearch-tree-goal1.t.t.smt2                        21-Apr-2021 08:05                2690
bsearch-tree-goal10.t.t.smt2                       21-Apr-2021 08:05                8941
bsearch-tree-goal12.t.t.smt2                       21-Apr-2021 08:05                3924
bsearch-tree-goal15.t.t.smt2                       21-Apr-2021 08:05               31459
bsearch-tree-goal16.t.t.smt2                       21-Apr-2021 08:05               12232
bsearch-tree-goal2.t.t.smt2                        21-Apr-2021 08:05                2002
bsearch-tree-goal3.t.t.smt2                        21-Apr-2021 08:05                4125
bsearch-tree-goal4.t.t.smt2                        21-Apr-2021 08:05                2879
bsearch-tree-goal5.t.t.smt2                        21-Apr-2021 08:05                3534
bsearch-tree-goal6.t.t.smt2                        21-Apr-2021 08:05                2447
bsearch-tree-goal7.t.t.smt2                        21-Apr-2021 08:05               42884
bsearch-tree-goal9.t.t.smt2                        21-Apr-2021 08:05                 950
dunsat-bsearch-tree-goal10.t.t.smt2                21-Apr-2021 08:05               13713
dunsat-heap-goal6.t.t.smt2                         21-Apr-2021 08:05               29622
heap-goal1.t.t.smt2                                21-Apr-2021 08:05              228926
heap-goal2.t.t.smt2                                21-Apr-2021 08:05              203756
heap-goal3.t.t.smt2                                21-Apr-2021 08:05               17897
heap-goal5.t.t.smt2                                21-Apr-2021 08:05              203708
heap-goal6.t.t.smt2                                21-Apr-2021 08:05               29622
heap-goal8.t.t.smt2                                21-Apr-2021 08:05              123096
heap-goal9.t.t.smt2                                21-Apr-2021 08:05               17074
unsat-amortize-queue-goal4.t.t.smt2                21-Apr-2021 08:05                 965
unsat-amortize-queue-goal7.t.t.smt2                21-Apr-2021 08:05                3065
unsat-amortize-queue-goal9.t.t.smt2                21-Apr-2021 08:05               12194
unsat-bsearch-tree-goal1.t.t.smt2                  21-Apr-2021 08:05                1402
unsat-bsearch-tree-goal12.t.t.smt2                 21-Apr-2021 08:05                3923
unsat-bsearch-tree-goal16.t.t.smt2                 21-Apr-2021 08:05               12231
unsat-bsearch-tree-goal4.t.t.smt2                  21-Apr-2021 08:05                2873
unsat-bsearch-tree-goal7.t.t.smt2                  21-Apr-2021 08:05               37698
unsat-heap-goal2.t.t.smt2                          21-Apr-2021 08:05              203755
unsat-heap-goal3.t.t.smt2                          21-Apr-2021 08:05               17896
unsat-heap-goal6.t.t.smt2                          21-Apr-2021 08:05               14817
unsat-heap-goal7.t.t.smt2                          21-Apr-2021 08:05              520085