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

../
amortize-queue-goal11.smt2                         09-Apr-2021 10:36                6287
amortize-queue-goal12.smt2                         09-Apr-2021 10:36                6270
amortize-queue-goal13.smt2                         09-Apr-2021 10:36                6317
amortize-queue-goal14.smt2                         09-Apr-2021 10:36                6362
amortize-queue-goal15.smt2                         09-Apr-2021 10:36                5377
amortize-queue-goal3.smt2                          09-Apr-2021 10:36                5567
amortize-queue-goal4.smt2                          09-Apr-2021 10:36                5430
amortize-queue-goal5.smt2                          09-Apr-2021 10:36                5661
amortize-queue-goal6.smt2                          09-Apr-2021 10:36                5597
amortize-queue-goal7.smt2                          09-Apr-2021 10:36                5781
amortize-queue-goal9.smt2                          09-Apr-2021 10:36                6317
bsearch-tree-goal1.smt2                            09-Apr-2021 10:36               10177
bsearch-tree-goal10.smt2                           09-Apr-2021 10:36               10754
bsearch-tree-goal11.smt2                           09-Apr-2021 10:36                9991
bsearch-tree-goal12.smt2                           09-Apr-2021 10:36                9958
bsearch-tree-goal13.smt2                           09-Apr-2021 10:36               11696
bsearch-tree-goal14.smt2                           09-Apr-2021 10:36                9948
bsearch-tree-goal15.smt2                           09-Apr-2021 10:36                9991
bsearch-tree-goal16.smt2                           09-Apr-2021 10:36               10528
bsearch-tree-goal17.smt2                           09-Apr-2021 10:36               10021
bsearch-tree-goal18.smt2                           09-Apr-2021 10:36                9973
bsearch-tree-goal2.smt2                            09-Apr-2021 10:36                9977
bsearch-tree-goal3.smt2                            09-Apr-2021 10:36               10311
bsearch-tree-goal4.smt2                            09-Apr-2021 10:36                9968
bsearch-tree-goal5.smt2                            09-Apr-2021 10:36                9977
bsearch-tree-goal6.smt2                            09-Apr-2021 10:36                9944
bsearch-tree-goal7.smt2                            09-Apr-2021 10:36               10770
bsearch-tree-goal8.smt2                            09-Apr-2021 10:36                9990
bsearch-tree-goal9.smt2                            09-Apr-2021 10:36                9942
heap-goal1.smt2                                    09-Apr-2021 10:36                7895
heap-goal10.smt2                                   09-Apr-2021 10:36                8166
heap-goal11.smt2                                   09-Apr-2021 10:36                7813
heap-goal12.smt2                                   09-Apr-2021 10:36                8206
heap-goal13.smt2                                   09-Apr-2021 10:36                7974
heap-goal2.smt2                                    09-Apr-2021 10:36                7904
heap-goal3.smt2                                    09-Apr-2021 10:36                7981
heap-goal4.smt2                                    09-Apr-2021 10:36                7970
heap-goal5.smt2                                    09-Apr-2021 10:36                7843
heap-goal6.smt2                                    09-Apr-2021 10:36                8023
heap-goal7.smt2                                    09-Apr-2021 10:36                8006
heap-goal8.smt2                                    09-Apr-2021 10:36                8182
heap-goal9.smt2                                    09-Apr-2021 10:36                7976