Index of /adtrem/ADTRem-JLC-benchmarks/CHC-transformed/clam/

../
dunsat-goal3.t.t.smt2                              21-Apr-2021 08:05                1700
dunsat-goal6.t.t.smt2                              21-Apr-2021 08:05                3483
goal12.t.t.smt2                                    21-Apr-2021 08:05               58949
goal2.t.t.smt2                                     21-Apr-2021 08:05                3504
goal20.t.t.smt2                                    21-Apr-2021 08:05                1463
goal22.t.t.smt2                                    21-Apr-2021 08:05                3586
goal23.t.t.smt2                                    21-Apr-2021 08:05                5211
goal25.t.t.smt2                                    21-Apr-2021 08:05                1722
goal3.t.t.smt2                                     21-Apr-2021 08:05                1640
goal32.t.t.smt2                                    21-Apr-2021 08:05               19174
goal38.t.t.smt2                                    21-Apr-2021 08:05                6797
goal39.t.t.smt2                                    21-Apr-2021 08:05                4911
goal4.t.t.smt2                                     21-Apr-2021 08:05                3021
goal46.t.t.smt2                                    21-Apr-2021 08:05                1884
goal49.t.t.smt2                                    21-Apr-2021 08:05               18247
goal5.t.t.smt2                                     21-Apr-2021 08:05                2467
goal50.t.t.smt2                                    21-Apr-2021 08:05               12231
goal52.t.t.smt2                                    21-Apr-2021 08:05                1604
goal53.t.t.smt2                                    21-Apr-2021 08:05                1170
goal54.t.t.smt2                                    21-Apr-2021 08:05                5365
goal55.t.t.smt2                                    21-Apr-2021 08:05                2415
goal56.t.t.smt2                                    21-Apr-2021 08:05               17516
goal57.t.t.smt2                                    21-Apr-2021 08:05                3834
goal58.t.t.smt2                                    21-Apr-2021 08:05                4191
goal6.t.t.smt2                                     21-Apr-2021 08:05                3295
goal60.t.t.smt2                                    21-Apr-2021 08:05                4191
goal61.t.t.smt2                                    21-Apr-2021 08:05                 668
goal63.t.t.smt2                                    21-Apr-2021 08:05                 696
goal64.t.t.smt2                                    21-Apr-2021 08:05                1822
goal65.t.t.smt2                                    21-Apr-2021 08:05                1808
goal69.t.t.smt2                                    21-Apr-2021 08:05               11051
goal7.t.t.smt2                                     21-Apr-2021 08:05                3206
goal70.t.t.smt2                                    21-Apr-2021 08:05                3244
goal71.t.t.smt2                                    21-Apr-2021 08:05                8288
goal72.t.t.smt2                                    21-Apr-2021 08:05                   0
goal75.t.t.smt2                                    21-Apr-2021 08:05               58952
goal8.t.t.smt2                                     21-Apr-2021 08:05               22852
goal9.t.t.smt2                                     21-Apr-2021 08:05               98396
unsat-goal2.t.t.smt2                               21-Apr-2021 08:05                1821
unsat-goal3.t.t.smt2                               21-Apr-2021 08:05                 875
unsat-goal38.t.t.smt2                              21-Apr-2021 08:05                6795
unsat-goal46.t.t.smt2                              21-Apr-2021 08:05                1883
unsat-goal5.t.t.smt2                               21-Apr-2021 08:05                1305
unsat-goal50.t.t.smt2                              21-Apr-2021 08:05                6155
unsat-goal54.t.t.smt2                              21-Apr-2021 08:05                5364
unsat-goal55.t.t.smt2                              21-Apr-2021 08:05                2414
unsat-goal58.t.t.smt2                              21-Apr-2021 08:05                4190
unsat-goal60.t.t.smt2                              21-Apr-2021 08:05                4190
unsat-goal61.t.t.smt2                              21-Apr-2021 08:05                 667
unsat-goal7.t.t.smt2                               21-Apr-2021 08:05                1700
unsat-goal70.t.t.smt2                              21-Apr-2021 08:05                1679
unsat-goal9.t.t.smt2                               21-Apr-2021 08:05               98395