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

../
amortize-queue-goal11.smt2                         15-Apr-2021 10:33                6068
amortize-queue-goal12.smt2                         15-Apr-2021 10:33                6051
amortize-queue-goal13.smt2                         15-Apr-2021 10:33                6098
amortize-queue-goal14.smt2                         15-Apr-2021 10:33                6143
amortize-queue-goal15.smt2                         15-Apr-2021 10:33                5158
amortize-queue-goal3.smt2                          15-Apr-2021 10:33                5348
amortize-queue-goal4.smt2                          15-Apr-2021 10:33                5211
amortize-queue-goal5.smt2                          15-Apr-2021 10:33                5442
amortize-queue-goal6.smt2                          15-Apr-2021 10:33                5378
amortize-queue-goal7.smt2                          15-Apr-2021 10:33                6073
amortize-queue-goal9.smt2                          15-Apr-2021 10:33                6098
bsearch-tree-goal1.smt2                            15-Apr-2021 10:33                8959
bsearch-tree-goal10.smt2                           15-Apr-2021 10:33                9536
bsearch-tree-goal11.smt2                           15-Apr-2021 10:33               11941
bsearch-tree-goal12.smt2                           15-Apr-2021 10:33                8740
bsearch-tree-goal13.smt2                           15-Apr-2021 10:33               10478
bsearch-tree-goal14.smt2                           15-Apr-2021 10:33               11898
bsearch-tree-goal15.smt2                           15-Apr-2021 10:33                8773
bsearch-tree-goal16.smt2                           15-Apr-2021 10:33                9310
bsearch-tree-goal17.smt2                           15-Apr-2021 10:33               11971
bsearch-tree-goal18.smt2                           15-Apr-2021 10:33                8755
bsearch-tree-goal2.smt2                            15-Apr-2021 10:33                9977
bsearch-tree-goal3.smt2                            15-Apr-2021 10:33               10311
bsearch-tree-goal4.smt2                            15-Apr-2021 10:33                9968
bsearch-tree-goal5.smt2                            15-Apr-2021 10:33                9977
bsearch-tree-goal6.smt2                            15-Apr-2021 10:33                9944
bsearch-tree-goal7.smt2                            15-Apr-2021 10:33                9552
bsearch-tree-goal8.smt2                            15-Apr-2021 10:33               11940
bsearch-tree-goal9.smt2                            15-Apr-2021 10:33                8724
dunsat-bsearch-tree-goal10.smt2                    15-Apr-2021 10:33                9536
dunsat-heap-goal6.smt2                             15-Apr-2021 10:33                7981
heap-goal1.smt2                                    15-Apr-2021 10:33                7853
heap-goal10.smt2                                   15-Apr-2021 10:33                8124
heap-goal12.smt2                                   15-Apr-2021 10:33                6626
heap-goal13.smt2                                   15-Apr-2021 10:33                7932
heap-goal2.smt2                                    15-Apr-2021 10:33                7862
heap-goal3.smt2                                    15-Apr-2021 10:33                7939
heap-goal4.smt2                                    15-Apr-2021 10:33                7928
heap-goal5.smt2                                    15-Apr-2021 10:33                7801
heap-goal6.smt2                                    15-Apr-2021 10:33                7981
heap-goal7.smt2                                    15-Apr-2021 10:33                7964
heap-goal8.smt2                                    15-Apr-2021 10:33                8140
heap-goal9.smt2                                    15-Apr-2021 10:33                7934
unsat-amortize-queue-goal11.smt2                   15-Apr-2021 10:33                6067
unsat-amortize-queue-goal13.smt2                   15-Apr-2021 10:33                6097
unsat-amortize-queue-goal3.smt2                    15-Apr-2021 10:33                5151
unsat-amortize-queue-goal4.smt2                    15-Apr-2021 10:33                5181
unsat-amortize-queue-goal7.smt2                    15-Apr-2021 10:33                5771
unsat-amortize-queue-goal9.smt2                    15-Apr-2021 10:33                6097
unsat-bsearch-tree-goal1.smt2                      15-Apr-2021 10:33                8749
unsat-bsearch-tree-goal12.smt2                     15-Apr-2021 10:33                8739
unsat-bsearch-tree-goal14.smt2                     15-Apr-2021 10:33               11897
unsat-bsearch-tree-goal16.smt2                     15-Apr-2021 10:33                9309
unsat-bsearch-tree-goal18.smt2                     15-Apr-2021 10:33                8724
unsat-bsearch-tree-goal4.smt2                      15-Apr-2021 10:33                8744
unsat-bsearch-tree-goal7.smt2                      15-Apr-2021 10:33                9517
unsat-bsearch-tree-goal8.smt2                      15-Apr-2021 10:33               11939
unsat-heap-goal10.smt2                             15-Apr-2021 10:33                7859
unsat-heap-goal12.smt2                             15-Apr-2021 10:33                7881
unsat-heap-goal2.smt2                              15-Apr-2021 10:33                7861
unsat-heap-goal3.smt2                              15-Apr-2021 10:33                7900
unsat-heap-goal4.smt2                              15-Apr-2021 10:33                7889
unsat-heap-goal6.smt2                              15-Apr-2021 10:33                7975
unsat-heap-goal7.smt2                              15-Apr-2021 10:33                7934