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

../
goal1.smt2                                         09-Apr-2021 10:36                2821
goal11.smt2                                        09-Apr-2021 10:36                1979
goal12.smt2                                        09-Apr-2021 10:36                2787
goal13.smt2                                        09-Apr-2021 10:36                2072
goal14.smt2                                        09-Apr-2021 10:36                2861
goal15.smt2                                        09-Apr-2021 10:36                2487
goal16.smt2                                        09-Apr-2021 10:36                1168
goal19.smt2                                        09-Apr-2021 10:36                1907
goal2.smt2                                         09-Apr-2021 10:36                2060
goal20.smt2                                        09-Apr-2021 10:36                2467
goal26.smt2                                        09-Apr-2021 10:36                1776
goal27.smt2                                        09-Apr-2021 10:36                1776
goal28.smt2                                        09-Apr-2021 10:36                1745
goal29.smt2                                        09-Apr-2021 10:36                2076
goal3.smt2                                         09-Apr-2021 10:36                2195
goal30.smt2                                        09-Apr-2021 10:36                2909
goal37.smt2                                        09-Apr-2021 10:36                2451
goal38.smt2                                        09-Apr-2021 10:36                1766
goal39.smt2                                        09-Apr-2021 10:36                1473
goal4.smt2                                         09-Apr-2021 10:36                1569
goal40.smt2                                        09-Apr-2021 10:36                1189
goal41.smt2                                        09-Apr-2021 10:36                2818
goal42.smt2                                        09-Apr-2021 10:36                2122
goal43.smt2                                        09-Apr-2021 10:36                4228
goal44.smt2                                        09-Apr-2021 10:36                3745
goal45.smt2                                        09-Apr-2021 10:36                3555
goal46.smt2                                        09-Apr-2021 10:36                1538
goal47.smt2                                        09-Apr-2021 10:36                1810
goal48.smt2                                        09-Apr-2021 10:36                2992
goal49.smt2                                        09-Apr-2021 10:36                2946
goal5.smt2                                         09-Apr-2021 10:36                1569
goal50.smt2                                        09-Apr-2021 10:36                3784
goal51.smt2                                        09-Apr-2021 10:36                2593
goal52.smt2                                        09-Apr-2021 10:36                2009
goal53.smt2                                        09-Apr-2021 10:36                2895
goal56.smt2                                        09-Apr-2021 10:36                3575
goal57.smt2                                        09-Apr-2021 10:36                2309
goal58.smt2                                        09-Apr-2021 10:36                3359
goal59.smt2                                        09-Apr-2021 10:36                4547
goal60.smt2                                        09-Apr-2021 10:36                1573
goal61.smt2                                        09-Apr-2021 10:36                1984
goal62.smt2                                        09-Apr-2021 10:36                2093
goal63.smt2                                        09-Apr-2021 10:36                1633
goal64.smt2                                        09-Apr-2021 10:36                2819
goal65.smt2                                        09-Apr-2021 10:36                1672
goal67.smt2                                        09-Apr-2021 10:36                2399
goal68.smt2                                        09-Apr-2021 10:36                2442
goal69.smt2                                        09-Apr-2021 10:36                2168
goal72.smt2                                        09-Apr-2021 10:36                3245
goal73.smt2                                        09-Apr-2021 10:36                3975
goal74.smt2                                        09-Apr-2021 10:36                4234
goal75.smt2                                        09-Apr-2021 10:36                3168
goal76.smt2                                        09-Apr-2021 10:36                4234
goal77.smt2                                        09-Apr-2021 10:36                2707
goal78.smt2                                        09-Apr-2021 10:36                1473
goal79.smt2                                        09-Apr-2021 10:36                3279
goal80.smt2                                        09-Apr-2021 10:36                2623
goal82.smt2                                        09-Apr-2021 10:36                3640
goal83.smt2                                        09-Apr-2021 10:36                2810
goal84.smt2                                        09-Apr-2021 10:36                4627
goal85.smt2                                        09-Apr-2021 10:36                5603
goal86.smt2                                        09-Apr-2021 10:36                5629
goal87.smt2                                        09-Apr-2021 10:36                5341