Index of /adtrem/adtrem-ijcar20/benchmarks/CHC-source/clam/
../
goal10.smt2 09-Apr-2021 10:36 2163
goal11.smt2 09-Apr-2021 10:36 2283
goal12.smt2 09-Apr-2021 10:36 2517
goal17.smt2 09-Apr-2021 10:36 2379
goal18.smt2 09-Apr-2021 10:36 2283
goal19.smt2 09-Apr-2021 10:36 2315
goal2.smt2 09-Apr-2021 10:36 1382
goal20.smt2 09-Apr-2021 10:36 2032
goal21.smt2 09-Apr-2021 10:36 2839
goal22.smt2 09-Apr-2021 10:36 1833
goal23.smt2 09-Apr-2021 10:36 2187
goal25.smt2 09-Apr-2021 10:36 1909
goal27.smt2 09-Apr-2021 10:36 2478
goal28.smt2 09-Apr-2021 10:36 3400
goal29.smt2 09-Apr-2021 10:36 2478
goal3.smt2 09-Apr-2021 10:36 1624
goal30.smt2 09-Apr-2021 10:36 2212
goal31.smt2 09-Apr-2021 10:36 2494
goal32.smt2 09-Apr-2021 10:36 2751
goal38.smt2 09-Apr-2021 10:36 1974
goal39.smt2 09-Apr-2021 10:36 1875
goal4.smt2 09-Apr-2021 10:36 1631
goal46.smt2 09-Apr-2021 10:36 2160
goal49.smt2 09-Apr-2021 10:36 2204
goal5.smt2 09-Apr-2021 10:36 1581
goal50.smt2 09-Apr-2021 10:36 2245
goal52.smt2 09-Apr-2021 10:36 1432
goal53.smt2 09-Apr-2021 10:36 1354
goal54.smt2 09-Apr-2021 10:36 2167
goal55.smt2 09-Apr-2021 10:36 2213
goal56.smt2 09-Apr-2021 10:36 2262
goal57.smt2 09-Apr-2021 10:36 2308
goal58.smt2 09-Apr-2021 10:36 2258
goal59.smt2 09-Apr-2021 10:36 2346
goal6.smt2 09-Apr-2021 10:36 1999
goal60.smt2 09-Apr-2021 10:36 2356
goal61.smt2 09-Apr-2021 10:36 1971
goal63.smt2 09-Apr-2021 10:36 2020
goal64.smt2 09-Apr-2021 10:36 1941
goal65.smt2 09-Apr-2021 10:36 1558
goal69.smt2 09-Apr-2021 10:36 2863
goal7.smt2 09-Apr-2021 10:36 2232
goal70.smt2 09-Apr-2021 10:36 2011
goal71.smt2 09-Apr-2021 10:36 3320
goal72.smt2 09-Apr-2021 10:36 1964
goal75.smt2 09-Apr-2021 10:36 2517
goal76.smt2 09-Apr-2021 10:36 3439
goal77.smt2 09-Apr-2021 10:36 2549
goal78.smt2 09-Apr-2021 10:36 2549
goal8.smt2 09-Apr-2021 10:36 2110
goal81.smt2 09-Apr-2021 10:36 2565
goal82.smt2 09-Apr-2021 10:36 2565
goal9.smt2 09-Apr-2021 10:36 2205