Index of /adtrem/adtrem-ijcar20/benchmarks/DTT-nolemmas/leon/

../
amortize-queue-goal11.smt2                         09-Apr-2021 10:36                2956
amortize-queue-goal12.smt2                         09-Apr-2021 10:36                2968
amortize-queue-goal13.smt2                         09-Apr-2021 10:36                2971
amortize-queue-goal14.smt2                         09-Apr-2021 10:36                3002
amortize-queue-goal15.smt2                         09-Apr-2021 10:36                2936
amortize-queue-goal3.smt2                          09-Apr-2021 10:36                2920
amortize-queue-goal4.smt2                          09-Apr-2021 10:36                2947
amortize-queue-goal5.smt2                          09-Apr-2021 10:36                2955
amortize-queue-goal6.smt2                          09-Apr-2021 10:36                2943
amortize-queue-goal7.smt2                          09-Apr-2021 10:36                2983
amortize-queue-goal9.smt2                          09-Apr-2021 10:36                2971
bsearch-tree-goal1.smt2                            09-Apr-2021 10:36                4626
bsearch-tree-goal10.smt2                           09-Apr-2021 10:36                4641
bsearch-tree-goal11.smt2                           09-Apr-2021 10:36                4627
bsearch-tree-goal12.smt2                           09-Apr-2021 10:36                4611
bsearch-tree-goal13.smt2                           09-Apr-2021 10:36                4658
bsearch-tree-goal14.smt2                           09-Apr-2021 10:36                4598
bsearch-tree-goal15.smt2                           09-Apr-2021 10:36                4624
bsearch-tree-goal16.smt2                           09-Apr-2021 10:36                4633
bsearch-tree-goal17.smt2                           09-Apr-2021 10:36                4631
bsearch-tree-goal18.smt2                           09-Apr-2021 10:36                4616
bsearch-tree-goal2.smt2                            09-Apr-2021 10:36                4626
bsearch-tree-goal3.smt2                            09-Apr-2021 10:36                4639
bsearch-tree-goal4.smt2                            09-Apr-2021 10:36                4622
bsearch-tree-goal5.smt2                            09-Apr-2021 10:36                4626
bsearch-tree-goal6.smt2                            09-Apr-2021 10:36                4603
bsearch-tree-goal7.smt2                            09-Apr-2021 10:36                4644
bsearch-tree-goal8.smt2                            09-Apr-2021 10:36                4616
bsearch-tree-goal9.smt2                            09-Apr-2021 10:36                4601
heap-goal1.smt2                                    09-Apr-2021 10:36                5184
heap-goal10.smt2                                   09-Apr-2021 10:36                5176
heap-goal11.smt2                                   09-Apr-2021 10:36                5126
heap-goal12.smt2                                   09-Apr-2021 10:36                5195
heap-goal13.smt2                                   09-Apr-2021 10:36                5202
heap-goal2.smt2                                    09-Apr-2021 10:36                5188
heap-goal3.smt2                                    09-Apr-2021 10:36                5224
heap-goal4.smt2                                    09-Apr-2021 10:36                5212
heap-goal5.smt2                                    09-Apr-2021 10:36                5155
heap-goal6.smt2                                    09-Apr-2021 10:36                5247
heap-goal7.smt2                                    09-Apr-2021 10:36                5230
heap-goal8.smt2                                    09-Apr-2021 10:36                5192
heap-goal9.smt2                                    09-Apr-2021 10:36                5205