Index of /adtrem/ADTRem-JLC-benchmarks/DTT-nolemmas/leon/

../
amortize-queue-goal11.smt2                         12-Apr-2021 13:58                2956
amortize-queue-goal12.smt2                         12-Apr-2021 13:58                2968
amortize-queue-goal13.smt2                         12-Apr-2021 13:58                2971
amortize-queue-goal14.smt2                         12-Apr-2021 13:58                3002
amortize-queue-goal15.smt2                         12-Apr-2021 13:58                2936
amortize-queue-goal3.smt2                          12-Apr-2021 13:58                2920
amortize-queue-goal4.smt2                          12-Apr-2021 13:58                2947
amortize-queue-goal5.smt2                          12-Apr-2021 13:58                2955
amortize-queue-goal6.smt2                          12-Apr-2021 13:58                2943
amortize-queue-goal7.smt2                          12-Apr-2021 13:58                2983
amortize-queue-goal9.smt2                          12-Apr-2021 13:58                2971
bsearch-tree-goal1.smt2                            12-Apr-2021 13:58                4626
bsearch-tree-goal10.smt2                           12-Apr-2021 13:58                4641
bsearch-tree-goal11.smt2                           12-Apr-2021 13:58                4627
bsearch-tree-goal12.smt2                           12-Apr-2021 13:58                4611
bsearch-tree-goal13.smt2                           12-Apr-2021 13:58                4658
bsearch-tree-goal14.smt2                           12-Apr-2021 13:58                4598
bsearch-tree-goal15.smt2                           12-Apr-2021 13:58                4624
bsearch-tree-goal16.smt2                           12-Apr-2021 13:58                4633
bsearch-tree-goal17.smt2                           12-Apr-2021 13:58                4631
bsearch-tree-goal18.smt2                           12-Apr-2021 13:58                4616
bsearch-tree-goal2.smt2                            12-Apr-2021 13:58                4626
bsearch-tree-goal3.smt2                            12-Apr-2021 13:58                4639
bsearch-tree-goal4.smt2                            12-Apr-2021 13:58                4622
bsearch-tree-goal5.smt2                            12-Apr-2021 13:58                4626
bsearch-tree-goal6.smt2                            12-Apr-2021 13:58                4603
bsearch-tree-goal7.smt2                            12-Apr-2021 13:58                4644
bsearch-tree-goal8.smt2                            12-Apr-2021 13:58                4616
bsearch-tree-goal9.smt2                            12-Apr-2021 13:58                4601
dunsat-bsearch-tree-goal10.smt2                    12-Apr-2021 13:58                4904
dunsat-heap-goal6.smt2                             12-Apr-2021 13:58                5261
heap-goal1.smt2                                    12-Apr-2021 13:58                5184
heap-goal10.smt2                                   12-Apr-2021 13:58                5176
heap-goal12.smt2                                   12-Apr-2021 13:58                5195
heap-goal13.smt2                                   12-Apr-2021 13:58                5202
heap-goal2.smt2                                    12-Apr-2021 13:58                5188
heap-goal3.smt2                                    12-Apr-2021 13:58                5224
heap-goal4.smt2                                    12-Apr-2021 13:58                5212
heap-goal5.smt2                                    12-Apr-2021 13:58                5155
heap-goal6.smt2                                    12-Apr-2021 13:58                5247
heap-goal7.smt2                                    12-Apr-2021 13:58                5230
heap-goal8.smt2                                    12-Apr-2021 13:58                5192
heap-goal9.smt2                                    12-Apr-2021 13:58                5205
unsat-amortize-queue-goal11.smt2                   12-Apr-2021 13:58                2962
unsat-amortize-queue-goal13.smt2                   12-Apr-2021 13:58                2977
unsat-amortize-queue-goal3.smt2                    12-Apr-2021 13:58                2926
unsat-amortize-queue-goal4.smt2                    12-Apr-2021 13:58                2953
unsat-amortize-queue-goal7.smt2                    12-Apr-2021 13:58                2989
unsat-amortize-queue-goal9.smt2                    12-Apr-2021 13:58                2977
unsat-bsearch-tree-goal1.smt2                      12-Apr-2021 13:58                4632
unsat-bsearch-tree-goal12.smt2                     12-Apr-2021 13:58                4617
unsat-bsearch-tree-goal14.smt2                     12-Apr-2021 13:58                4604
unsat-bsearch-tree-goal16.smt2                     12-Apr-2021 13:58                4639
unsat-bsearch-tree-goal18.smt2                     12-Apr-2021 13:58                4622
unsat-bsearch-tree-goal4.smt2                      12-Apr-2021 13:58                4628
unsat-bsearch-tree-goal7.smt2                      12-Apr-2021 13:58                4650
unsat-bsearch-tree-goal8.smt2                      12-Apr-2021 13:58                4622
unsat-heap-goal10.smt2                             12-Apr-2021 13:58                5182
unsat-heap-goal12.smt2                             12-Apr-2021 13:58                5201
unsat-heap-goal2.smt2                              12-Apr-2021 13:58                5194
unsat-heap-goal3.smt2                              12-Apr-2021 13:58                5230
unsat-heap-goal4.smt2                              12-Apr-2021 13:58                5218
unsat-heap-goal6.smt2                              12-Apr-2021 13:58                5253
unsat-heap-goal7.smt2                              12-Apr-2021 13:58                5236