| aconcat.out | Oct 10, 2021, 7:14:07 AM | 60 B | |
| aconcat.plgCG | Oct 10, 2021, 7:14:07 AM | 381 B | |
| alltests.txt | Oct 10, 2021, 7:14:07 AM | 954 B | |
| family_brother_of.out | Oct 10, 2021, 7:14:07 AM | 360 B | |
| family.plgCG | Oct 10, 2021, 7:14:07 AM | 879 B | |
| generalize_test1.out | Oct 10, 2021, 7:14:07 AM | 63 B | |
| generalize_test10.out | Oct 10, 2021, 7:14:07 AM | 11 B | |
| generalize_test2.out | Oct 10, 2021, 7:14:07 AM | 25 B | |
| generalize_test3.out | Oct 10, 2021, 7:14:07 AM | 25 B | |
| generalize_test4.out | Oct 10, 2021, 7:14:07 AM | 25 B | |
| generalize_test5.out | Oct 10, 2021, 7:14:07 AM | 25 B | |
| generalize_test6.out | Oct 10, 2021, 7:14:07 AM | 11 B | |
| generalize_test7.out | Oct 10, 2021, 7:14:07 AM | 25 B | |
| generalize_test8.out | Oct 10, 2021, 7:14:07 AM | 29 B | |
| generalize_test9.out | Oct 10, 2021, 7:14:07 AM | 29 B | |
| generalize.plgCG | Oct 10, 2021, 7:14:07 AM | 1.25 KiB | |
| maxmincomtypes_XXA_XXB.out | Oct 10, 2021, 7:14:07 AM | 15 B | |
| maxmincomtypes_XXA_XXF.out | Oct 10, 2021, 7:14:07 AM | 10 B | |
| maxmincomtypes_XXC_XXD_max.out | Oct 10, 2021, 7:14:07 AM | 13 B | |
| maxmincomtypes_XXC_XXD_min.out | Oct 10, 2021, 7:14:07 AM | 15 B | |
| maxmincomtypes_XXE_XXF.out | Oct 10, 2021, 7:14:07 AM | 10 B | |
| maxmincomtypes.plgCG | Oct 10, 2021, 7:14:07 AM | 82 B | |
| Romeo1_AllConcepts_cut.out | Oct 10, 2021, 7:14:07 AM | 23 B | |
| Romeo1_Romeo.out | Oct 10, 2021, 7:14:07 AM | 56 B | |
| Romeo1_Romeo2.out | Oct 10, 2021, 7:14:07 AM | 1.35 KiB | |
| Romeo1.plgCG | Oct 10, 2021, 7:14:07 AM | 2.98 KiB | |
| subsume_test1.out | Oct 10, 2021, 7:14:07 AM | 60 B | |
| subsume_test2.out | Oct 10, 2021, 7:14:07 AM | 25 B | |
| subsume_test3.out | Oct 10, 2021, 7:14:07 AM | 25 B | |
| subsume_test4.out | Oct 10, 2021, 7:14:07 AM | 25 B | |
| subsume_test5.out | Oct 10, 2021, 7:14:07 AM | 25 B | |
| subsume_test6.out | Oct 10, 2021, 7:14:07 AM | 11 B | |
| subsume_test7.out | Oct 10, 2021, 7:14:07 AM | 27 B | |
| subsume_test8.out | Oct 10, 2021, 7:14:07 AM | 11 B | |
| subsume_test9.out | Oct 10, 2021, 7:14:07 AM | 29 B | |
| subsume.plgCG | Oct 10, 2021, 7:14:07 AM | 1.47 KiB | |
| wolf1_wolf.out | Oct 10, 2021, 7:14:07 AM | 16 B | |
| wolf1.plgCG | Oct 10, 2021, 7:14:07 AM | 624 B | |
|