Index of /adtrem/adtrem-ijcar20/benchmarks/CHC-transformed/leon/

../
amortize-queue-goal11.smt2                         09-Apr-2021 10:36              777706
amortize-queue-goal4.smt2                          09-Apr-2021 10:36                1876
amortize-queue-goal5.smt2                          09-Apr-2021 10:36                2000
amortize-queue-goal7.smt2                          09-Apr-2021 10:36                1718
amortize-queue-goal9.smt2                          09-Apr-2021 10:36                1220
bsearch-tree-goal1.smt2                            09-Apr-2021 10:36                2690
bsearch-tree-goal10.smt2                           09-Apr-2021 10:36                8788
bsearch-tree-goal11.smt2                           09-Apr-2021 10:36               27165
bsearch-tree-goal14.smt2                           09-Apr-2021 10:36                4745
bsearch-tree-goal15.smt2                           09-Apr-2021 10:36               30728
bsearch-tree-goal16.smt2                           09-Apr-2021 10:36               12232
bsearch-tree-goal2.smt2                            09-Apr-2021 10:36                1694
bsearch-tree-goal3.smt2                            09-Apr-2021 10:36                3542
bsearch-tree-goal4.smt2                            09-Apr-2021 10:36                2458
bsearch-tree-goal5.smt2                            09-Apr-2021 10:36                2760
bsearch-tree-goal6.smt2                            09-Apr-2021 10:36                2447
bsearch-tree-goal7.smt2                            09-Apr-2021 10:36               42884
bsearch-tree-goal8.smt2                            09-Apr-2021 10:36                5071
bsearch-tree-goal9.smt2                            09-Apr-2021 10:36                 941
heap-goal1.smt2                                    09-Apr-2021 10:36                5260
heap-goal13.smt2                                   09-Apr-2021 10:36               31047
heap-goal2.smt2                                    09-Apr-2021 10:36                5501
heap-goal3.smt2                                    09-Apr-2021 10:36                2715
heap-goal4.smt2                                    09-Apr-2021 10:36                8593
heap-goal5.smt2                                    09-Apr-2021 10:36                5115
heap-goal6.smt2                                    09-Apr-2021 10:36                6512
heap-goal7.smt2                                    09-Apr-2021 10:36               25616
heap-goal8.smt2                                    09-Apr-2021 10:36               11050
heap-goal9.smt2                                    09-Apr-2021 10:36               10097