TRS_Standard.VBS.json

{
    "CiME_04\/filliatre2.xml": {
        "YES": 1
    },
    "CiME_04\/tree.xml": {
        "YES": 1
    },
    "CiME_04\/boolean_rings.xml": {
        "YES": 1
    },
    "CiME_04\/intersect.xml": {
        "YES": 1
    },
    "CiME_04\/append-hard.xml": {
        "YES": 1
    },
    "CiME_04\/ack_prolog.xml": {
        "YES": 1
    },
    "CiME_04\/ternary-hard.xml": {
        "YES": 1
    },
    "CiME_04\/filliatre.xml": {
        "YES": 1
    },
    "CiME_04\/append.xml": {
        "YES": 1
    },
    "CiME_04\/fact-hard.xml": {
        "YES": 1
    },
    "CiME_04\/list-sum-prod-bin-assoc.xml": {
        "YES": 1
    },
    "CiME_04\/list-sum-prod-assoc-append.xml": {
        "YES": 1
    },
    "CiME_04\/dpqs.xml": {
        "YES": 1
    },
    "CiME_04\/ternary.xml": {
        "YES": 1
    },
    "CiME_04\/filliatre3.xml": {
        "YES": 1
    },
    "CiME_04\/list-sum-prod.xml": {
        "YES": 1
    },
    "CiME_04\/lse.xml": {
        "YES": 1
    },
    "CiME_04\/mucrl1.xml": {
        "YES": 1
    },
    "CiME_04\/maude2.xml": {
        "MAYBE": 1
    },
    "CiME_04\/log2.xml": {
        "YES": 1
    },
    "CiME_04\/append-wrong.xml": {
        "NO": 1
    },
    "CiME_04\/list-sum-prod-assoc.xml": {
        "YES": 1
    },
    "CiME_04\/list-sum-prod-bin.xml": {
        "YES": 1
    },
    "CiME_04\/big.xml": {
        "YES": 1
    },
    "CiME_04\/list-sum-prod-bin-assoc-distr-app.xml": {
        "YES": 1
    },
    "Beerendonk_07\/12.xml": {
        "YES": 1
    },
    "Beerendonk_07\/10.xml": {
        "YES": 1
    },
    "Beerendonk_07\/14.xml": {
        "YES": 1
    },
    "Beerendonk_07\/13.xml": {
        "YES": 1
    },
    "Beerendonk_07\/3.xml": {
        "YES": 1
    },
    "Beerendonk_07\/20.xml": {
        "YES": 1
    },
    "Beerendonk_07\/7.xml": {
        "YES": 1
    },
    "Beerendonk_07\/1.xml": {
        "YES": 1
    },
    "Beerendonk_07\/17.xml": {
        "YES": 1
    },
    "Beerendonk_07\/23.xml": {
        "YES": 1
    },
    "Beerendonk_07\/19.xml": {
        "YES": 1
    },
    "Beerendonk_07\/16.xml": {
        "YES": 1
    },
    "Beerendonk_07\/5.xml": {
        "YES": 1
    },
    "Beerendonk_07\/11.xml": {
        "YES": 1
    },
    "Beerendonk_07\/2.xml": {
        "YES": 1
    },
    "Beerendonk_07\/8.xml": {
        "YES": 1
    },
    "Beerendonk_07\/18.xml": {
        "YES": 1
    },
    "Beerendonk_07\/6.xml": {
        "YES": 1
    },
    "Beerendonk_07\/21.xml": {
        "MAYBE": 1
    },
    "Beerendonk_07\/9.xml": {
        "YES": 1
    },
    "Beerendonk_07\/4.xml": {
        "YES": 1
    },
    "Beerendonk_07\/24.xml": {
        "YES": 1
    },
    "Beerendonk_07\/15.xml": {
        "YES": 1
    },
    "Beerendonk_07\/22.xml": {
        "YES": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex7_5.xml": {
        "MAYBE": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-swap_decr.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex6_1.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex4_1.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-isList-List.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-isDNat.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex2_4.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex2_5.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-add.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/rybalchenko-nonloop-popl08.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex7_2.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-toOne.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex1_2.xml": {
        "MAYBE": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex1_1.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex3_4.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex1_5.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex2_1.xml": {
        "MAYBE": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-isTrueList.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex7_1.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex2_2.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex7_4.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex4_4.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex7_6.xml": {
        "MAYBE": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex4_2.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-isList.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex7_3.xml": {
        "MAYBE": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-swapXY.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex5_1.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex3_1.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-addTrue.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-while-lt.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex3_2.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex7_9.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/velroyen-nonloop-ConvLower_c.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-swapXY2.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex7_7.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex1_4.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex5_3.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex6_2.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex5_2.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-ex_payet.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/velroyen-nonloop-AlternatingIncr_c.xml": {
        "MAYBE": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-swapX.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex4_3.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex1_3.xml": {
        "MAYBE": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex3_3.xml": {
        "NO": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex7_8.xml": {
        "MAYBE": 1
    },
    "EEG_IJCAR_12\/emmes-nonloop-ex2_3.xml": {
        "MAYBE": 1
    },
    "EEG_IJCAR_12\/enger-nonloop-unbounded.xml": {
        "NO": 1
    },
    "Der95\/03.xml": {
        "YES": 1
    },
    "Der95\/01.xml": {
        "YES": 1
    },
    "Der95\/12.xml": {
        "YES": 1
    },
    "Der95\/27.xml": {
        "YES": 1
    },
    "Der95\/06.xml": {
        "YES": 1
    },
    "Der95\/02.xml": {
        "YES": 1
    },
    "Der95\/13.xml": {
        "YES": 1
    },
    "Der95\/20.xml": {
        "YES": 1
    },
    "Der95\/04.xml": {
        "YES": 1
    },
    "Der95\/17.xml": {
        "YES": 1
    },
    "Der95\/08.xml": {
        "YES": 1
    },
    "Der95\/28.xml": {
        "YES": 1
    },
    "Der95\/09.xml": {
        "YES": 1
    },
    "Der95\/33.xml": {
        "MAYBE": 1
    },
    "Der95\/11.xml": {
        "YES": 1
    },
    "Der95\/07.xml": {
        "YES": 1
    },
    "Der95\/18.xml": {
        "YES": 1
    },
    "Der95\/21.xml": {
        "YES": 1
    },
    "Der95\/31.xml": {
        "YES": 1
    },
    "Der95\/30.xml": {
        "YES": 1
    },
    "Der95\/32.xml": {
        "YES": 1
    },
    "AProVE_08\/log.xml": {
        "YES": 1
    },
    "AProVE_08\/round_nonterm.xml": {
        "NO": 1
    },
    "AProVE_08\/parting05_maxsort.xml": {
        "YES": 1
    },
    "AProVE_08\/parting03_minsort.xml": {
        "YES": 1
    },
    "AProVE_08\/parting04_maxsort_h.xml": {
        "YES": 1
    },
    "AProVE_08\/thiemann40_modified.xml": {
        "YES": 1
    },
    "AProVE_08\/parting01_reverse.xml": {
        "YES": 1
    },
    "AProVE_08\/round.xml": {
        "YES": 1
    },
    "AProVE_08\/id_inc.xml": {
        "YES": 1
    },
    "AProVE_08\/parting02_doublelist.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann14.xml": {
        "YES": 1
    },
    "AProVE_07\/otto06.xml": {
        "YES": 1
    },
    "AProVE_07\/kabasci06.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann01.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann31.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann21.xml": {
        "MAYBE": 1
    },
    "AProVE_07\/thiemann25.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann05.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann03.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann39.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann34.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann26.xml": {
        "NO": 1
    },
    "AProVE_07\/wiehe03.xml": {
        "YES": 1
    },
    "AProVE_07\/otto03.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann10.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann30.xml": {
        "MAYBE": 1
    },
    "AProVE_07\/otto04.xml": {
        "YES": 1
    },
    "AProVE_07\/otto05.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann40.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann17.xml": {
        "YES": 1
    },
    "AProVE_07\/kabasci05.xml": {
        "YES": 1
    },
    "AProVE_07\/otto08.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann18.xml": {
        "YES": 1
    },
    "AProVE_07\/wiehe01.xml": {
        "YES": 1
    },
    "AProVE_07\/wiehe11.xml": {
        "YES": 1
    },
    "AProVE_07\/kabasci02.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann36.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann29.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann37.xml": {
        "YES": 1
    },
    "AProVE_07\/wiehe08.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann04.xml": {
        "YES": 1
    },
    "AProVE_07\/otto02.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann38.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann41.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann27.xml": {
        "YES": 1
    },
    "AProVE_07\/otto07.xml": {
        "YES": 1
    },
    "AProVE_07\/otto01.xml": {
        "YES": 1
    },
    "AProVE_07\/kabasci03.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann23.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann07.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann32.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann19.xml": {
        "YES": 1
    },
    "AProVE_07\/otto12.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann09.xml": {
        "YES": 1
    },
    "AProVE_07\/wiehe06.xml": {
        "YES": 1
    },
    "AProVE_07\/otto11.xml": {
        "YES": 1
    },
    "AProVE_07\/kabasci01.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann16.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann11.xml": {
        "YES": 1
    },
    "AProVE_07\/wiehe02.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann22.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann35.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann20.xml": {
        "MAYBE": 1
    },
    "AProVE_07\/thiemann15.xml": {
        "YES": 1
    },
    "AProVE_07\/wiehe09.xml": {
        "YES": 1
    },
    "AProVE_07\/wiehe05.xml": {
        "YES": 1
    },
    "AProVE_07\/wiehe12.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann28.xml": {
        "NO": 1
    },
    "AProVE_07\/kabasci04.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann13.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann06.xml": {
        "YES": 1
    },
    "AProVE_07\/otto10.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann12.xml": {
        "YES": 1
    },
    "AProVE_07\/otto09.xml": {
        "YES": 1
    },
    "AProVE_07\/otto13.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann33.xml": {
        "YES": 1
    },
    "AProVE_07\/wiehe07.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann24.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann02.xml": {
        "YES": 1
    },
    "AProVE_07\/thiemann08.xml": {
        "YES": 1
    },
    "AProVE_10\/isNat.xml": {
        "NO": 1
    },
    "AProVE_10\/ex3.xml": {
        "NO": 1
    },
    "AProVE_10\/halfdouble.xml": {
        "NO": 1
    },
    "AProVE_10\/isList.xml": {
        "NO": 1
    },
    "AProVE_10\/scnp.xml": {
        "YES": 1
    },
    "AProVE_10\/downfrom.xml": {
        "NO": 1
    },
    "AProVE_10\/ex5.xml": {
        "YES": 1
    },
    "AProVE_10\/andIsNat.xml": {
        "NO": 1
    },
    "AProVE_10\/ex1.xml": {
        "NO": 1
    },
    "AProVE_10\/challenge_fab.xml": {
        "NO": 1
    },
    "AProVE_10\/double.xml": {
        "NO": 1
    },
    "AProVE_10\/Zantema06-03-modified.xml": {
        "MAYBE": 1
    },
    "AProVE_10\/ex2.xml": {
        "NO": 1
    },
    "AProVE_10\/ex4.xml": {
        "NO": 1
    },
    "AProVE_09_Inductive\/zerolist.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/log.xml": {
        "MAYBE": 1
    },
    "AProVE_09_Inductive\/maxsort.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/qsortlast.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/qsort.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/qsortmiddle.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/minsort.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/gcd2.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/maxsortcondition.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/div.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/mod.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/divhard.xml": {
        "MAYBE": 1
    },
    "AProVE_09_Inductive\/gcd.xml": {
        "YES": 1
    },
    "AProVE_09_Inductive\/gcdhard.xml": {
        "MAYBE": 1
    },
    "MNZ_10\/0.xml": {
        "YES": 1
    },
    "MNZ_10\/3.xml": {
        "YES": 1
    },
    "MNZ_10\/7.xml": {
        "YES": 1
    },
    "MNZ_10\/1.xml": {
        "YES": 1
    },
    "MNZ_10\/5.xml": {
        "YES": 1
    },
    "MNZ_10\/nrvsq.xml": {
        "YES": 1
    },
    "MNZ_10\/2.xml": {
        "YES": 1
    },
    "MNZ_10\/8.xml": {
        "YES": 1
    },
    "MNZ_10\/nvsr.xml": {
        "YES": 1
    },
    "MNZ_10\/labelled.xml": {
        "YES": 1
    },
    "MNZ_10\/6.xml": {
        "YES": 1
    },
    "MNZ_10\/9.xml": {
        "YES": 1
    },
    "MNZ_10\/4.xml": {
        "YES": 1
    },
    "Mixed_TRS\/while2.xml": {
        "MAYBE": 1
    },
    "Mixed_TRS\/motivation.xml": {
        "YES": 1
    },
    "Mixed_TRS\/jones1.xml": {
        "YES": 1
    },
    "Mixed_TRS\/jones5.xml": {
        "YES": 1
    },
    "Mixed_TRS\/beans.xml": {
        "YES": 1
    },
    "Mixed_TRS\/3.xml": {
        "YES": 1
    },
    "Mixed_TRS\/7.xml": {
        "YES": 1
    },
    "Mixed_TRS\/1.xml": {
        "YES": 1
    },
    "Mixed_TRS\/hydra.xml": {
        "YES": 1
    },
    "Mixed_TRS\/minsort.xml": {
        "MAYBE": 1
    },
    "Mixed_TRS\/while.xml": {
        "YES": 1
    },
    "Mixed_TRS\/jones4.xml": {
        "YES": 1
    },
    "Mixed_TRS\/gcdMinMax.xml": {
        "YES": 1
    },
    "Mixed_TRS\/Ex1_Luc04b_GM.xml": {
        "YES": 1
    },
    "Mixed_TRS\/hydra-Zantema06.xml": {
        "MAYBE": 1
    },
    "Mixed_TRS\/5.xml": {
        "YES": 1
    },
    "Mixed_TRS\/jones2.xml": {
        "YES": 1
    },
    "Mixed_TRS\/2.xml": {
        "YES": 1
    },
    "Mixed_TRS\/div_hard.xml": {
        "YES": 1
    },
    "Mixed_TRS\/jones6.xml": {
        "YES": 1
    },
    "Mixed_TRS\/test1.xml": {
        "YES": 1
    },
    "Mixed_TRS\/6.xml": {
        "NO": 1
    },
    "Mixed_TRS\/fossacs.xml": {
        "MAYBE": 1
    },
    "Mixed_TRS\/sigma.xml": {
        "YES": 1
    },
    "Mixed_TRS\/gcd.xml": {
        "YES": 1
    },
    "Mixed_TRS\/4.xml": {
        "YES": 1
    },
    "Mixed_TRS\/perfect.xml": {
        "YES": 1
    },
    "Mixed_TRS\/gcd_triple.xml": {
        "YES": 1
    },
    "Mixed_TRS\/perfect2.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/teparla2.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/tpa4.xml": {
        "MAYBE": 1
    },
    "Secret_05_TRS\/tpa2.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/cime1.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/aprove2.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/cime2.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/matchbox1.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/aprove3.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/aprove1.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/teparla1.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/tpa5.xml": {
        "MAYBE": 1
    },
    "Secret_05_TRS\/tpa3.xml": {
        "MAYBE": 1
    },
    "Secret_05_TRS\/cime5.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/ttt1.xml": {
        "NO": 1
    },
    "Secret_05_TRS\/teparla3.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/aprove4.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/tpa1.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/aprove5.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/ttt2.xml": {
        "NO": 1
    },
    "Secret_05_TRS\/cime3.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/matchbox2.xml": {
        "YES": 1
    },
    "Secret_05_TRS\/cime4.xml": {
        "NO": 1
    },
    "Kaliszyk_19\/arith.xml": {
        "YES": 1
    },
    "Kaliszyk_19\/shornodot.xml": {
        "MAYBE": 1
    },
    "Kaliszyk_19\/1long.xml": {
        "MAYBE": 1
    },
    "Kaliszyk_19\/longhlnb.xml": {
        "MAYBE": 1
    },
    "Kaliszyk_19\/not_3258.xml": {
        "NO": 1
    },
    "Kaliszyk_19\/shor.xml": {
        "MAYBE": 1
    },
    "Kaliszyk_19\/1rwr.xml": {
        "MAYBE": 1
    },
    "Kaliszyk_19\/longhl.xml": {
        "MAYBE": 1
    },
    "Rubio_04\/lindau.xml": {
        "YES": 1
    },
    "Rubio_04\/division.xml": {
        "YES": 1
    },
    "Rubio_04\/gmnp.xml": {
        "YES": 1
    },
    "Rubio_04\/gm.xml": {
        "YES": 1
    },
    "Rubio_04\/selsort.xml": {
        "YES": 1
    },
    "Rubio_04\/enno.xml": {
        "YES": 1
    },
    "Rubio_04\/bn129.xml": {
        "YES": 1
    },
    "Rubio_04\/quotminus.xml": {
        "YES": 1
    },
    "Rubio_04\/prov.xml": {
        "YES": 1
    },
    "Rubio_04\/p266.xml": {
        "YES": 1
    },
    "Rubio_04\/bintrees.xml": {
        "YES": 1
    },
    "Rubio_04\/nestrec.xml": {
        "YES": 1
    },
    "Rubio_04\/ma96.xml": {
        "YES": 1
    },
    "Rubio_04\/logarquot.xml": {
        "YES": 1
    },
    "Rubio_04\/test829.xml": {
        "YES": 1
    },
    "Rubio_04\/elimdupl.xml": {
        "YES": 1
    },
    "Rubio_04\/koen.xml": {
        "YES": 1
    },
    "Rubio_04\/mfp90b.xml": {
        "YES": 1
    },
    "Rubio_04\/polo2.xml": {
        "YES": 1
    },
    "Rubio_04\/mfp95.xml": {
        "YES": 1
    },
    "Rubio_04\/gcd.xml": {
        "YES": 1
    },
    "Rubio_04\/test4.xml": {
        "YES": 1
    },
    "Rubio_04\/lescanne.xml": {
        "YES": 1
    },
    "Rubio_04\/aoto.xml": {
        "YES": 1
    },
    "Rubio_04\/bn122.xml": {
        "YES": 1
    },
    "Rubio_04\/revlist.xml": {
        "YES": 1
    },
    "Rubio_04\/quick.xml": {
        "YES": 1
    },
    "Rubio_04\/wst99.xml": {
        "YES": 1
    },
    "GTSSK07\/cade01.xml": {
        "YES": 1
    },
    "GTSSK07\/cade11.xml": {
        "YES": 1
    },
    "GTSSK07\/cade14.xml": {
        "YES": 1
    },
    "GTSSK07\/cade16.xml": {
        "YES": 1
    },
    "GTSSK07\/cade12t.xml": {
        "MAYBE": 1
    },
    "GTSSK07\/cade09.xml": {
        "YES": 1
    },
    "GTSSK07\/cade10.xml": {
        "YES": 1
    },
    "GTSSK07\/cade06.xml": {
        "YES": 1
    },
    "GTSSK07\/cade03.xml": {
        "YES": 1
    },
    "GTSSK07\/cade04t.xml": {
        "MAYBE": 1
    },
    "GTSSK07\/cade13t.xml": {
        "YES": 1
    },
    "GTSSK07\/cade05t.xml": {
        "YES": 1
    },
    "GTSSK07\/cade17.xml": {
        "MAYBE": 1
    },
    "GTSSK07\/cade08.xml": {
        "MAYBE": 1
    },
    "GTSSK07\/cade07.xml": {
        "YES": 1
    },
    "GTSSK07\/cade15.xml": {
        "YES": 1
    },
    "Endrullis_06\/linear1.xml": {
        "YES": 1
    },
    "Endrullis_06\/linear2.xml": {
        "YES": 1
    },
    "Endrullis_06\/pair3hard.xml": {
        "YES": 1
    },
    "Endrullis_06\/pair3rotate.xml": {
        "YES": 1
    },
    "Endrullis_06\/pair2simple2.xml": {
        "YES": 1
    },
    "Endrullis_06\/pair2hard.xml": {
        "YES": 1
    },
    "Endrullis_06\/direct.xml": {
        "YES": 1
    },
    "Endrullis_06\/pair2simple1.xml": {
        "YES": 1
    },
    "Endrullis_06\/labeling.xml": {
        "YES": 1
    },
    "Endrullis_06\/quadruple2.xml": {
        "YES": 1
    },
    "Endrullis_06\/pair3swap.xml": {
        "YES": 1
    },
    "Endrullis_06\/quadruple1.xml": {
        "YES": 1
    },
    "Hydras\/lepper_8.xml": {
        "MAYBE": 1
    },
    "Hydras\/worm_wrong.xml": {
        "YES": 1
    },
    "Hydras\/lepper_4.xml": {
        "NO": 1
    },
    "Hydras\/lepper_2.xml": {
        "NO": 1
    },
    "Hydras\/worm_fixed2.xml": {
        "YES": 1
    },
    "Hydras\/hydra_touzet.xml": {
        "YES": 1
    },
    "Hydras\/hydra_buchholz.xml": {
        "MAYBE": 1
    },
    "Hydras\/lepper_0.xml": {
        "MAYBE": 1
    },
    "Hydras\/lepper_5.xml": {
        "NO": 1
    },
    "Hydras\/lepper_9.xml": {
        "MAYBE": 1
    },
    "Hydras\/worm_fixed.xml": {
        "YES": 1
    },
    "Hydras\/worm_fixed3.xml": {
        "MAYBE": 1
    },
    "Hydras\/lepper_6.xml": {
        "NO": 1
    },
    "Hydras\/lepper_10.xml": {
        "MAYBE": 1
    },
    "Hydras\/goodstein.xml": {
        "YES": 1
    },
    "Hydras\/lepper_3.xml": {
        "NO": 1
    },
    "Hydras\/lepper_1.xml": {
        "MAYBE": 1
    },
    "HirokawaMiddeldorp_04\/t005.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/t003.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/t011.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/t008.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/n006.xml": {
        "NO": 1
    },
    "HirokawaMiddeldorp_04\/n005.xml": {
        "NO": 1
    },
    "HirokawaMiddeldorp_04\/t004.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/n007.xml": {
        "NO": 1
    },
    "HirokawaMiddeldorp_04\/t013.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/t002.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/n002.xml": {
        "NO": 1
    },
    "HirokawaMiddeldorp_04\/t006.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/t001.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/t010.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/t007.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/t014.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/n003.xml": {
        "NO": 1
    },
    "HirokawaMiddeldorp_04\/t012.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/n004.xml": {
        "NO": 1
    },
    "HirokawaMiddeldorp_04\/t009.xml": {
        "YES": 1
    },
    "HirokawaMiddeldorp_04\/n008.xml": {
        "NO": 1
    },
    "HirokawaMiddeldorp_04\/t000.xml": {
        "YES": 1
    },
    "Strategy_removed_mixed_05\/ex3.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/test9.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/gkg.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/toyama.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/test10.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/test77.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/ExSec11_1_Luc02a.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/n001.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/ex5.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/test75.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/ex6.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/ex1.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/muladd.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/test830.xml": {
        "YES": 1
    },
    "Strategy_removed_mixed_05\/bn111.xml": {
        "YES": 1
    },
    "Strategy_removed_mixed_05\/tricky1.xml": {
        "YES": 1
    },
    "Strategy_removed_mixed_05\/ex2.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/test76.xml": {
        "NO": 1
    },
    "Strategy_removed_mixed_05\/ex4.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex8_BLR02.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex4_4_Luc96b.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex4_7_77_Bor03.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex6_GM04.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex6_9_Luc02c.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex1_Zan97.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex4_7_56_Bor03.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex1_GM03.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex7_BLR02.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex6_15_AEL02.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/ExIntrod_GM99.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/ExAppendixB_AEL03.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex3_2_Luc97.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex1_GM99.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex15_Luc98.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex4_Zan97.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex3_3_25_Bor03.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex5_7_Luc97.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex14_AEGL02.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex49_GM04.xml": {
        "YES": 1
    },
    "Strategy_removed_CSR_05\/Ex6_Luc98.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/ExConc_Zan97.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/ExIntrod_GM01.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/ExIntrod_GM04.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex3_12_Luc96a.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex2_Luc03b.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex1_GL02a.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex26_Luc03b.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex9_BLR02.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex24_GM04.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex5_Zan97.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex4_7_15_Bor03.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex1_Luc02b.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex1_2_Luc02c.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex4_7_37_Bor03.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/ExIntrod_Zan97.xml": {
        "NO": 1
    },
    "Strategy_removed_CSR_05\/Ex1_2_AEL03.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts_GM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_nosorts_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete-noand_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_complete_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM04_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex25_Luc06_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nosorts_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_15_Bor03_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Zan97_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_complete_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExConc_Zan97_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex9_Luc04_iGM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex24_Luc06_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex9_Luc04_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex2_Luc02a_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_2_Luc02c_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_37_Bor03_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex24_Luc06_GM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExProp7_Luc06_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_15_Bor03_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex23_Luc06_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex7_BLR02_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_77_Bor03_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExProp7_Luc06_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex14_Luc06_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex9_Luc04_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds-noand_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts_noand_iGM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex23_Luc06_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex24_GM04_GM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PEANO_complete-noand_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc02b_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExAppendixB_AEL03_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_GM99_iGM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex3_12_Luc96a_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_2_Luc97_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nosorts-noand_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_37_Bor03_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex14_AEGL02_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nosorts_GM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete-noand_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex9_Luc04_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PEANO_complete_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex15_Luc06_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_2_Luc97_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex6_9_Luc02c_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds_C.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/MYNAT_complete_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts-noand_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_77_Bor03_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PALINDROME_nosorts-noand_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex9_BLR02_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nosorts_noand_C.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex4_7_15_Bor03_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nosorts_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex15_Luc98_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_DLMMU04_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds-noand_FR.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex5_7_Luc97_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds-noand_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nosorts_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExSec4_2_DLMMU04_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex15_Luc98_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds-noand_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_complete-noand_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nosorts_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex8_BLR02_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex23_Luc06_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex25_Luc06_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_2_Luc02c_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex15_Luc98_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM01_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex3_12_Luc96a_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex7_BLR02_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex26_Luc03b_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExAppendixB_AEL03_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_37_Bor03_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex24_Luc06_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex1_GM03_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExConc_Zan97_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex49_GM04_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex24_Luc06_iGM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex14_Luc06_iGM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex6_15_AEL02_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex6_15_AEL02_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex3_3_25_Bor03_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc04b_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex14_Luc06_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex1_GM03_GM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex7_BLR02_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex5_7_Luc97_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM99_FR.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM99_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_GL02a_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex5_Zan97_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex5_Zan97_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex24_Luc06_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete_iGM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete_iGM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex14_Luc06_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_GM99_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex1_GL02a_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_Zan97_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExIntrod_Zan97_iGM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex6_9_Luc02c_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex6_9_Luc02c_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_12_Luc96a_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex49_GM04_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM99_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex26_Luc03b_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nosorts_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExProp7_Luc06_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_complete_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex15_Luc06_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nosorts_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete_FR.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex2_Luc02a_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete_Z.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex1_GM03_FR.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex23_Luc06_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete-noand_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_complete-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds_C.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex5_7_Luc97_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex5_DLMMU04_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM04_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex24_GM04_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PALINDROME_nosorts_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex5_Zan97_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex6_Luc98_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds_GM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex1_Luc04b_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_12_Luc96a_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete-noand_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_GL02a_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nosorts_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_Zan97_FR.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds-noand_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex14_AEGL02_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM01_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex2_Luc02a_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_77_Bor03_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_GL02a_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex4_7_56_Bor03_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_56_Bor03_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_15_AEL02_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex2_Luc02a_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_4_Luc96b_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_9_Luc02c_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex5_DLMMU04_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts-noand_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_complete-noand_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_77_Bor03_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete_FR.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex1_GM99_GM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_nosorts-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_nosorts_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_2_AEL03_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex2_Luc03b_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_GL02a_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExSec11_1_Luc02a_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex2_Luc02a_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc02b_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExSec4_2_DLMMU04_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_15_Bor03_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc04b_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_4_Luc96b_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_complete-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex3_2_Luc97_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex25_Luc06_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex16_Luc06_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_GM03_iGM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex4_4_Luc96b_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_4_Luc96b_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex6_Luc98_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex23_Luc06_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex24_GM04_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nosorts-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PEANO_nosorts_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex2_Luc03b_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_2_AEL03_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nosorts_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex9_BLR02_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex1_GM03_C.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex9_Luc06_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nosorts_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExAppendixB_AEL03_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExSec11_1_Luc02a_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_complete_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc04b_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex16_Luc06_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_12_Luc96a_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex9_BLR02_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nosorts_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex1_2_Luc02c_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete_C.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex15_Luc06_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc02b_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex15_Luc06_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_37_Bor03_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete-noand_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts_noand_C.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex9_BLR02_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM04_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_2_Luc97_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex14_AEGL02_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_GM04_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex49_GM04_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts_noand_GM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM04_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_2_AEL03_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_9_Luc02c_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex16_Luc06_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_nosorts-noand_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_3_25_Bor03_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex18_Luc06_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc02b_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExProp7_Luc06_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete_C.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/ExAppendixB_AEL03_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex8_BLR02_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nosorts_iGM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete_FR.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/PEANO_nosorts_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Zan97_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex5_DLMMU04_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_GM04_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex9_Luc06_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts_C.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex24_GM04_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds-noand_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex25_Luc06_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nosorts-noand_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_GL02a_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete-noand_Z.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts-noand_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds-noand_Z.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM01_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExConc_Zan97_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_complete-noand_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM99_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nosorts_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex15_Luc98_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_Luc98_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex9_Luc06_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex15_Luc98_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex1_2_AEL03_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nosorts-noand_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_nosorts_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExAppendixB_AEL03_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM01_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex18_Luc06_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc02b_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_4_Luc96b_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_DLMMU04_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete-noand_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex16_Luc06_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex2_Luc02a_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_3_25_Bor03_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExConc_Zan97_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex2_Luc03b_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_complete_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nosorts_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExSec11_1_Luc02a_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_Zan97_GM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex8_BLR02_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex23_Luc06_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_complete_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete_GM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex3_3_25_Bor03_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex49_GM04_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete-noand_FR.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex14_AEGL02_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex1_GM99_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM99_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExConc_Zan97_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_Zan97_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex7_BLR02_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex5_7_Luc97_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_GM99_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex4_Zan97_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex9_Luc06_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_37_Bor03_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_2_Luc97_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExSec11_1_Luc02a_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_GM04_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex16_Luc06_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_Luc98_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex15_Luc06_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_15_Bor03_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExSec4_2_DLMMU04_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_2_Luc02c_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex14_Luc06_GM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_2_Luc02c_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExProp7_Luc06_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_Zan97_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex26_Luc03b_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_Luc98_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_2_Luc97_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Zan97_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM01_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nosorts_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_15_Bor03_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds-noand_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex2_Luc03b_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex9_Luc04_GM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex1_Zan97_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_DLMMU04_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM01_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nosorts_noand_GM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExProp7_Luc06_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex26_Luc03b_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc04b_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete_Z.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex18_Luc06_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExSec4_2_DLMMU04_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_complete_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_2_AEL03_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Zan97_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PEANO_complete_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExSec11_1_Luc02a_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_Zan97_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nosorts_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_complete_Z.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex24_GM04_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex5_Zan97_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex5_Zan97_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_56_Bor03_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nosorts-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex5_7_Luc97_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds-noand_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_complete_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex6_GM04_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex18_Luc06_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex4_Zan97_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex49_GM04_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_12_Luc96a_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex25_Luc06_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc04b_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex8_BLR02_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex8_BLR02_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_complete_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_77_Bor03_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_2_Luc02c_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex14_AEGL02_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_37_Bor03_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nosorts_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nosorts_C.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex1_GM03_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex18_Luc06_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExSec11_1_Luc02a_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex5_DLMMU04_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex4_DLMMU04_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_56_Bor03_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex5_DLMMU04_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PALINDROME_nosorts_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nosorts_noand_iGM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex4_4_Luc96b_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex5_Zan97_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_GM04_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_complete-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM99_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex7_BLR02_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex25_Luc06_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_3_25_Bor03_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_Zan97_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PEANO_nosorts_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex15_Luc98_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex8_BLR02_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_complete_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds-noand_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_nosorts_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_15_AEL02_C.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex14_AEGL02_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds_noand_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_Zan97_C.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/MYNAT_nosorts_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExSec4_2_DLMMU04_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex49_GM04_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex7_BLR02_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex2_Luc03b_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_DLMMU04_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex2_Luc03b_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_Luc98_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PALINDROME_nokinds_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex9_BLR02_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_complete_noand_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_complete_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds_FR.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/ExAppendixB_AEL03_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds-noand_Z.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/PALINDROME_complete_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_7_56_Bor03_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_9_Luc02c_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_complete_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex6_15_AEL02_GM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts-noand_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nosorts_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExConc_Zan97_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM04_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex9_BLR02_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex4_DLMMU04_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/PEANO_complete_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex5_DLMMU04_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex4_7_56_Bor03_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nokinds-noand_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex18_Luc06_Z.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/ExIntrod_GM04_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex4_Zan97_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex24_GM04_iGM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/LengthOfFiniteLists_nokinds_GM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex5_7_Luc97_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex3_3_25_Bor03_FR.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex26_Luc03b_L.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_Luc02b_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_complete_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/LISTUTILITIES_nokinds_Z.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/PEANO_nokinds-noand_FR.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex15_Luc06_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/Ex1_2_AEL03_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/ExSec4_2_DLMMU04_C.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/OvConsOS_nosorts_iGM.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/Ex6_15_AEL02_iGM.xml": {
        "MAYBE": 1
    },
    "Transformed_CSR_04\/Ex26_Luc03b_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nosorts_noand_iGM.xml": {
        "YES": 1
    },
    "Transformed_CSR_04\/MYNAT_nokinds_L.xml": {
        "NO": 1
    },
    "Transformed_CSR_04\/MYNAT_complete_FR.xml": {
        "YES": 1
    },
    "TCT_12\/recursion-10.xml": {
        "YES": 1
    },
    "TCT_12\/polycounter-10.xml": {
        "YES": 1
    },
    "TCT_12\/recursion-5.xml": {
        "YES": 1
    },
    "TCT_12\/polycounter-5.xml": {
        "YES": 1
    },
    "TCT_12\/sat.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/aprove07.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/secret3.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/aprove04.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/3.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/7.xml": {
        "NO": 1
    },
    "Secret_07_TRS\/aprove02.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/1.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/aprove10.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/aprove08.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/secret2.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/aprove09.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/aprove01.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/5.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/aprove06.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/aprove03.xml": {
        "MAYBE": 1
    },
    "Secret_07_TRS\/2.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/secret5.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/secret4.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/4.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/aprove05.xml": {
        "YES": 1
    },
    "Secret_07_TRS\/secret1.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/gen-25.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/10.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/division.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/gen-28.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/cime1.xml": {
        "MAYBE": 1
    },
    "Secret_06_TRS\/tpa10.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/3.xml": {
        "MAYBE": 1
    },
    "Secret_06_TRS\/7.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/tpa07.xml": {
        "MAYBE": 1
    },
    "Secret_06_TRS\/gen-9.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/tpa02.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/tpa04.xml": {
        "MAYBE": 1
    },
    "Secret_06_TRS\/tpa09.xml": {
        "MAYBE": 1
    },
    "Secret_06_TRS\/gen-17.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/toList.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/reverse.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/gen-18.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/5.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/tpa06.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/times.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/logarithm.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/tpa01.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/2.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/double.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/gen-22.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/nrOfNodes.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/8.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/divExp.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/gen-10.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/tpa03.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/tpa05.xml": {
        "MAYBE": 1
    },
    "Secret_06_TRS\/gen-15.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/6.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/9.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/4.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/sumList.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/tpa08.xml": {
        "MAYBE": 1
    },
    "Secret_06_TRS\/addList.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/gen-1.xml": {
        "YES": 1
    },
    "Secret_06_TRS\/gen-14.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.4.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.19.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.18.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.13.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.27.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.17.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.22.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.36.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.37.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.20a.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.30b.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.33.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.26.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.35.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.16.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.15.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.14.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.23.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.32.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.28.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.25.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.21.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.30a.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.3.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.20.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.30.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.29.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.34.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.37a.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.30c.xml": {
        "YES": 1
    },
    "Strategy_removed_AG01\/#4.2.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.12a.xml": {
        "NO": 1
    },
    "Strategy_removed_AG01\/#4.7.xml": {
        "NO": 1
    },
    "SK90\/2.49.xml": {
        "YES": 1
    },
    "SK90\/4.03.xml": {
        "YES": 1
    },
    "SK90\/2.60.xml": {
        "YES": 1
    },
    "SK90\/4.12.xml": {
        "YES": 1
    },
    "SK90\/2.45.xml": {
        "YES": 1
    },
    "SK90\/2.15.xml": {
        "YES": 1
    },
    "SK90\/4.44.xml": {
        "YES": 1
    },
    "SK90\/4.39.xml": {
        "YES": 1
    },
    "SK90\/2.40.xml": {
        "YES": 1
    },
    "SK90\/4.41.xml": {
        "YES": 1
    },
    "SK90\/2.47.xml": {
        "YES": 1
    },
    "SK90\/4.37.xml": {
        "YES": 1
    },
    "SK90\/4.50.xml": {
        "YES": 1
    },
    "SK90\/4.19.xml": {
        "YES": 1
    },
    "SK90\/2.22.xml": {
        "YES": 1
    },
    "SK90\/2.08.xml": {
        "YES": 1
    },
    "SK90\/4.10.xml": {
        "YES": 1
    },
    "SK90\/4.26.xml": {
        "YES": 1
    },
    "SK90\/2.59.xml": {
        "YES": 1
    },
    "SK90\/2.27.xml": {
        "YES": 1
    },
    "SK90\/4.57.xml": {
        "YES": 1
    },
    "SK90\/2.57.xml": {
        "YES": 1
    },
    "SK90\/4.60.xml": {
        "YES": 1
    },
    "SK90\/2.31.xml": {
        "YES": 1
    },
    "SK90\/2.46.xml": {
        "YES": 1
    },
    "SK90\/4.28.xml": {
        "YES": 1
    },
    "SK90\/4.46.xml": {
        "YES": 1
    },
    "SK90\/2.52.xml": {
        "YES": 1
    },
    "SK90\/2.03.xml": {
        "YES": 1
    },
    "SK90\/2.33.xml": {
        "YES": 1
    },
    "SK90\/4.14.xml": {
        "YES": 1
    },
    "SK90\/4.20.xml": {
        "YES": 1
    },
    "SK90\/4.13.xml": {
        "YES": 1
    },
    "SK90\/4.11.xml": {
        "YES": 1
    },
    "SK90\/4.53.xml": {
        "YES": 1
    },
    "SK90\/2.38.xml": {
        "YES": 1
    },
    "SK90\/4.06.xml": {
        "NO": 1
    },
    "SK90\/2.25.xml": {
        "YES": 1
    },
    "SK90\/2.12.xml": {
        "YES": 1
    },
    "SK90\/4.54.xml": {
        "NO": 1
    },
    "SK90\/2.50.xml": {
        "YES": 1
    },
    "SK90\/4.34.xml": {
        "NO": 1
    },
    "SK90\/4.47.xml": {
        "YES": 1
    },
    "SK90\/4.52.xml": {
        "YES": 1
    },
    "SK90\/2.07.xml": {
        "YES": 1
    },
    "SK90\/2.42.xml": {
        "YES": 1
    },
    "SK90\/2.09.xml": {
        "YES": 1
    },
    "SK90\/4.48.xml": {
        "YES": 1
    },
    "SK90\/2.17.xml": {
        "YES": 1
    },
    "SK90\/2.06.xml": {
        "YES": 1
    },
    "SK90\/4.30.xml": {
        "YES": 1
    },
    "SK90\/2.39.xml": {
        "YES": 1
    },
    "SK90\/2.35.xml": {
        "YES": 1
    },
    "SK90\/4.01.xml": {
        "YES": 1
    },
    "SK90\/2.29.xml": {
        "YES": 1
    },
    "SK90\/4.02.xml": {
        "YES": 1
    },
    "SK90\/4.27.xml": {
        "YES": 1
    },
    "SK90\/4.61.xml": {
        "YES": 1
    },
    "SK90\/4.49.xml": {
        "NO": 1
    },
    "SK90\/4.09.xml": {
        "YES": 1
    },
    "SK90\/4.29.xml": {
        "YES": 1
    },
    "SK90\/2.37.xml": {
        "YES": 1
    },
    "SK90\/4.07.xml": {
        "YES": 1
    },
    "SK90\/4.45.xml": {
        "YES": 1
    },
    "SK90\/2.54.xml": {
        "YES": 1
    },
    "SK90\/2.32.xml": {
        "YES": 1
    },
    "SK90\/4.16.xml": {
        "YES": 1
    },
    "SK90\/4.55.xml": {
        "YES": 1
    },
    "SK90\/4.31.xml": {
        "YES": 1
    },
    "SK90\/4.08.xml": {
        "YES": 1
    },
    "SK90\/2.13.xml": {
        "YES": 1
    },
    "SK90\/4.18.xml": {
        "YES": 1
    },
    "SK90\/2.20.xml": {
        "YES": 1
    },
    "SK90\/2.55.xml": {
        "YES": 1
    },
    "SK90\/4.05.xml": {
        "YES": 1
    },
    "SK90\/2.05.xml": {
        "NO": 1
    },
    "SK90\/4.21.xml": {
        "YES": 1
    },
    "SK90\/4.36.xml": {
        "YES": 1
    },
    "SK90\/4.22.xml": {
        "YES": 1
    },
    "SK90\/2.56.xml": {
        "YES": 1
    },
    "SK90\/4.43.xml": {
        "YES": 1
    },
    "SK90\/4.32.xml": {
        "YES": 1
    },
    "SK90\/2.44.xml": {
        "YES": 1
    },
    "SK90\/4.25.xml": {
        "YES": 1
    },
    "SK90\/2.43.xml": {
        "YES": 1
    },
    "SK90\/2.58.xml": {
        "YES": 1
    },
    "SK90\/2.48.xml": {
        "YES": 1
    },
    "SK90\/4.17.xml": {
        "YES": 1
    },
    "SK90\/2.24.xml": {
        "YES": 1
    },
    "SK90\/2.16.xml": {
        "YES": 1
    },
    "SK90\/4.15.xml": {
        "YES": 1
    },
    "SK90\/2.41.xml": {
        "YES": 1
    },
    "SK90\/2.51.xml": {
        "YES": 1
    },
    "SK90\/4.24.xml": {
        "YES": 1
    },
    "SK90\/4.04.xml": {
        "YES": 1
    },
    "SK90\/2.28.xml": {
        "YES": 1
    },
    "SK90\/2.01.xml": {
        "YES": 1
    },
    "SK90\/2.23.xml": {
        "YES": 1
    },
    "SK90\/4.38.xml": {
        "YES": 1
    },
    "SK90\/4.42.xml": {
        "YES": 1
    },
    "SK90\/2.53.xml": {
        "YES": 1
    },
    "SK90\/2.21.xml": {
        "YES": 1
    },
    "SK90\/4.40.xml": {
        "NO": 1
    },
    "SK90\/2.61.xml": {
        "YES": 1
    },
    "SK90\/2.19.xml": {
        "YES": 1
    },
    "SK90\/2.11.xml": {
        "YES": 1
    },
    "SK90\/2.10.xml": {
        "YES": 1
    },
    "SK90\/4.23.xml": {
        "YES": 1
    },
    "SK90\/4.51.xml": {
        "YES": 1
    },
    "SK90\/2.26.xml": {
        "YES": 1
    },
    "SK90\/4.33.xml": {
        "YES": 1
    },
    "SK90\/4.56.xml": {
        "YES": 1
    },
    "SK90\/2.30.xml": {
        "YES": 1
    },
    "SK90\/2.04.xml": {
        "YES": 1
    },
    "SK90\/2.14.xml": {
        "YES": 1
    },
    "SK90\/2.36.xml": {
        "YES": 1
    },
    "SK90\/2.02.xml": {
        "YES": 1
    },
    "SK90\/2.18.xml": {
        "YES": 1
    },
    "SK90\/4.35.xml": {
        "YES": 1
    },
    "SK90\/2.34.xml": {
        "YES": 1
    },
    "SK90\/4.59.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwtpa2.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwno4.xml": {
        "NO": 1
    },
    "Waldmann_06\/jwno2.xml": {
        "NO": 1
    },
    "Waldmann_06\/jwteparla2.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwmatchb2.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwaprove1.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwtpa1.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwno6.xml": {
        "NO": 1
    },
    "Waldmann_06\/jwno9.xml": {
        "NO": 1
    },
    "Waldmann_06\/jwno7.xml": {
        "NO": 1
    },
    "Waldmann_06\/jwcime2.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwno5.xml": {
        "NO": 1
    },
    "Waldmann_06\/jwno3.xml": {
        "NO": 1
    },
    "Waldmann_06\/jwaprove2.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwmatchb1.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwcime1.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwttt.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwno8.xml": {
        "NO": 1
    },
    "Waldmann_06\/jwteparla1.xml": {
        "YES": 1
    },
    "Waldmann_06\/jwno1.xml": {
        "NO": 1
    },
    "Various_04\/05.xml": {
        "MAYBE": 1
    },
    "Various_04\/03.xml": {
        "YES": 1
    },
    "Various_04\/12.xml": {
        "YES": 1
    },
    "Various_04\/10.xml": {
        "YES": 1
    },
    "Various_04\/27.xml": {
        "YES": 1
    },
    "Various_04\/06.xml": {
        "YES": 1
    },
    "Various_04\/02.xml": {
        "YES": 1
    },
    "Various_04\/14.xml": {
        "YES": 1
    },
    "Various_04\/13.xml": {
        "YES": 1
    },
    "Various_04\/25.xml": {
        "YES": 1
    },
    "Various_04\/04.xml": {
        "MAYBE": 1
    },
    "Various_04\/08.xml": {
        "MAYBE": 1
    },
    "Various_04\/23.xml": {
        "YES": 1
    },
    "Various_04\/19.xml": {
        "YES": 1
    },
    "Various_04\/09.xml": {
        "YES": 1
    },
    "Various_04\/11.xml": {
        "YES": 1
    },
    "Various_04\/07.xml": {
        "YES": 1
    },
    "Various_04\/18.xml": {
        "YES": 1
    },
    "Various_04\/21.xml": {
        "YES": 1
    },
    "Various_04\/24.xml": {
        "YES": 1
    },
    "Various_04\/26.xml": {
        "YES": 1
    },
    "Various_04\/15.xml": {
        "YES": 1
    },
    "Various_04\/22.xml": {
        "YES": 1
    },
    "Zantema_15\/delta.xml": {
        "NO": 1
    },
    "Zantema_15\/ex08.xml": {
        "NO": 1
    },
    "Zantema_15\/ex07.xml": {
        "MAYBE": 1
    },
    "Zantema_15\/ex13.xml": {
        "NO": 1
    },
    "Zantema_15\/ex06.xml": {
        "MAYBE": 1
    },
    "Zantema_15\/ex12.xml": {
        "NO": 1
    },
    "Zantema_15\/ex14.xml": {
        "NO": 1
    },
    "Zantema_15\/ex11.xml": {
        "NO": 1
    },
    "Zantema_15\/ex01.xml": {
        "NO": 1
    },
    "Zantema_15\/ex05.xml": {
        "NO": 1
    },
    "Zantema_15\/ex09.xml": {
        "NO": 1
    },
    "Zantema_15\/ex04.xml": {
        "NO": 1
    },
    "Zantema_15\/ex03.xml": {
        "NO": 1
    },
    "Zantema_15\/ex02.xml": {
        "NO": 1
    },
    "Zantema_15\/ex10.xml": {
        "NO": 1
    },
    "Zantema_15\/s.xml": {
        "NO": 1
    },
    "Zantema_05\/jw44.xml": {
        "YES": 1
    },
    "Zantema_05\/jw33.xml": {
        "YES": 1
    },
    "Zantema_05\/jw34.xml": {
        "YES": 1
    },
    "Zantema_05\/z22.xml": {
        "YES": 1
    },
    "Zantema_05\/z16.xml": {
        "YES": 1
    },
    "Zantema_05\/z30.xml": {
        "YES": 1
    },
    "Zantema_05\/jw27.xml": {
        "YES": 1
    },
    "Zantema_05\/z28.xml": {
        "YES": 1
    },
    "Zantema_05\/jw01.xml": {
        "YES": 1
    },
    "Zantema_05\/jw02.xml": {
        "YES": 1
    },
    "Zantema_05\/jw12.xml": {
        "YES": 1
    },
    "Zantema_05\/jw32.xml": {
        "YES": 1
    },
    "Zantema_05\/jw08.xml": {
        "YES": 1
    },
    "Zantema_05\/z19.xml": {
        "YES": 1
    },
    "Zantema_05\/z06.xml": {
        "YES": 1
    },
    "Zantema_05\/jw38.xml": {
        "YES": 1
    },
    "Zantema_05\/z11.xml": {
        "YES": 1
    },
    "Zantema_05\/jw39.xml": {
        "YES": 1
    },
    "Zantema_05\/jw05.xml": {
        "YES": 1
    },
    "Zantema_05\/jw06.xml": {
        "YES": 1
    },
    "Zantema_05\/z05.xml": {
        "YES": 1
    },
    "Zantema_05\/jw15.xml": {
        "YES": 1
    },
    "Zantema_05\/jw16.xml": {
        "YES": 1
    },
    "Zantema_05\/jw11.xml": {
        "YES": 1
    },
    "Zantema_05\/z29.xml": {
        "YES": 1
    },
    "Zantema_05\/jw26.xml": {
        "YES": 1
    },
    "Zantema_05\/z02.xml": {
        "YES": 1
    },
    "Zantema_05\/z09.xml": {
        "YES": 1
    },
    "Zantema_05\/jw47.xml": {
        "YES": 1
    },
    "Zantema_05\/jw31.xml": {
        "YES": 1
    },
    "Zantema_05\/z08.xml": {
        "YES": 1
    },
    "Zantema_05\/jw09.xml": {
        "YES": 1
    },
    "Zantema_05\/jw22.xml": {
        "YES": 1
    },
    "Zantema_05\/z21.xml": {
        "YES": 1
    },
    "Zantema_05\/jw50.xml": {
        "YES": 1
    },
    "Zantema_05\/z07.xml": {
        "YES": 1
    },
    "Zantema_05\/z03.xml": {
        "YES": 1
    },
    "Zantema_05\/jw25.xml": {
        "YES": 1
    },
    "Zantema_05\/jw20.xml": {
        "YES": 1
    },
    "Zantema_05\/jw13.xml": {
        "YES": 1
    },
    "Zantema_05\/z10.xml": {
        "YES": 1
    },
    "Zantema_05\/jw42.xml": {
        "YES": 1
    },
    "Zantema_05\/jw29.xml": {
        "YES": 1
    },
    "Zantema_05\/jw07.xml": {
        "YES": 1
    },
    "Zantema_05\/jw41.xml": {
        "YES": 1
    },
    "Zantema_05\/jw35.xml": {
        "YES": 1
    },
    "Zantema_05\/z13.xml": {
        "YES": 1
    },
    "Zantema_05\/z20.xml": {
        "MAYBE": 1
    },
    "Zantema_05\/z17.xml": {
        "MAYBE": 1
    },
    "Zantema_05\/jw43.xml": {
        "YES": 1
    },
    "Zantema_05\/z26.xml": {
        "YES": 1
    },
    "Zantema_05\/z01.xml": {
        "YES": 1
    },
    "Zantema_05\/jw24.xml": {
        "YES": 1
    },
    "Zantema_05\/z27.xml": {
        "YES": 1
    },
    "Zantema_05\/jw28.xml": {
        "YES": 1
    },
    "Zantema_05\/jw03.xml": {
        "YES": 1
    },
    "Zantema_05\/jw23.xml": {
        "YES": 1
    },
    "Zantema_05\/jw19.xml": {
        "YES": 1
    },
    "Zantema_05\/jw18.xml": {
        "YES": 1
    },
    "Zantema_05\/jw37.xml": {
        "YES": 1
    },
    "Zantema_05\/jw40.xml": {
        "YES": 1
    },
    "Zantema_05\/z04.xml": {
        "YES": 1
    },
    "Zantema_05\/jw30.xml": {
        "YES": 1
    },
    "Zantema_05\/jw14.xml": {
        "YES": 1
    },
    "Zantema_05\/z23.xml": {
        "YES": 1
    },
    "Zantema_05\/jw36.xml": {
        "YES": 1
    },
    "Zantema_05\/jw04.xml": {
        "YES": 1
    },
    "Zantema_05\/z12.xml": {
        "YES": 1
    },
    "Zantema_05\/z15.xml": {
        "YES": 1
    },
    "Zantema_05\/z14.xml": {
        "YES": 1
    },
    "Zantema_05\/z24.xml": {
        "YES": 1
    },
    "Zantema_05\/z25.xml": {
        "YES": 1
    },
    "Zantema_05\/jw21.xml": {
        "YES": 1
    },
    "Zantema_05\/jw17.xml": {
        "YES": 1
    },
    "Zantema_05\/z18.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/01.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/12.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/06.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.18.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.6.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.55.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/motivation.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/02.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.52.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.10.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.22.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.57.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/13.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.8.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/hydra.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/minsort.xml": {
        "MAYBE": 1
    },
    "Applicative_first_order_05\/#3.45.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/17.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/08.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/29.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.27.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.40.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.13.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/33.xml": {
        "MAYBE": 1
    },
    "Applicative_first_order_05\/11.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.2.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.36.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.32.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.48.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.16.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/18.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.38.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/21.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/#3.25.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/31.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/30.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/perfect.xml": {
        "YES": 1
    },
    "Applicative_first_order_05\/perfect2.xml": {
        "YES": 1
    },
    "Applicative_05\/nonTermF.xml": {
        "NO": 1
    },
    "Applicative_05\/TreeLevels.xml": {
        "YES": 1
    },
    "Applicative_05\/Ex2_6_1Composition.xml": {
        "YES": 1
    },
    "Applicative_05\/Ex7Sorting.xml": {
        "MAYBE": 1
    },
    "Applicative_05\/Ex2_8_1ConstSubstFix.xml": {
        "NO": 1
    },
    "Applicative_05\/Ex6Recursor.xml": {
        "YES": 1
    },
    "Applicative_05\/Ex7_9.xml": {
        "YES": 1
    },
    "Applicative_05\/TypeEx5.xml": {
        "NO": 1
    },
    "Applicative_05\/Ex8Polymorphic.xml": {
        "YES": 1
    },
    "Applicative_05\/TreeFlatten.xml": {
        "YES": 1
    },
    "Applicative_05\/Ex3Lists.xml": {
        "YES": 1
    },
    "Applicative_05\/TypeEx1.xml": {
        "YES": 1
    },
    "Applicative_05\/Ex10Functional.xml": {
        "MAYBE": 1
    },
    "Applicative_05\/ReverseLastInit.xml": {
        "YES": 1
    },
    "Applicative_05\/Ex9Maps.xml": {
        "YES": 1
    },
    "Applicative_05\/TakeDropWhile.xml": {
        "YES": 1
    },
    "Applicative_05\/Ex2PrimRec.xml": {
        "MAYBE": 1
    },
    "Applicative_05\/TypeEx3.xml": {
        "NO": 1
    },
    "Applicative_05\/Ex4MapList.xml": {
        "YES": 1
    },
    "Applicative_05\/Ex7OrdinalRec.xml": {
        "MAYBE": 1
    },
    "Applicative_05\/Ex5Sorting.xml": {
        "MAYBE": 1
    },
    "Applicative_05\/mapDivMinusHard.xml": {
        "YES": 1
    },
    "Applicative_05\/Hamming.xml": {
        "NO": 1
    },
    "Applicative_05\/TreeMap.xml": {
        "YES": 1
    },
    "Applicative_05\/BTreeMember.xml": {
        "YES": 1
    },
    "Applicative_05\/Ex6Folding.xml": {
        "MAYBE": 1
    },
    "Applicative_05\/Ex5Folding.xml": {
        "MAYBE": 1
    },
    "Applicative_05\/termMonTypes.xml": {
        "NO": 1
    },
    "Applicative_05\/TreeSize.xml": {
        "YES": 1
    },
    "Applicative_05\/TreeHeight.xml": {
        "YES": 1
    },
    "Applicative_05\/mapDivMinus.xml": {
        "YES": 1
    },
    "Applicative_05\/Ex6_11.xml": {
        "YES": 1
    },
    "AProVE_06\/nonterm.xml": {
        "NO": 1
    },
    "AProVE_06\/modulo.xml": {
        "YES": 1
    },
    "AProVE_06\/div_notTermin.xml": {
        "MAYBE": 1
    },
    "AProVE_06\/tower.xml": {
        "YES": 1
    },
    "AProVE_06\/mapHard.xml": {
        "YES": 1
    },
    "AProVE_06\/tower_sizeChange.xml": {
        "YES": 1
    },
    "AProVE_06\/identity.xml": {
        "YES": 1
    },
    "AProVE_06\/logarithm.xml": {
        "YES": 1
    },
    "AProVE_06\/factorial1.xml": {
        "YES": 1
    },
    "AProVE_06\/quot.xml": {
        "YES": 1
    },
    "AProVE_06\/factorial2.xml": {
        "YES": 1
    },
    "AProVE_06\/div_notCeTermin.xml": {
        "YES": 1
    },
    "AProVE_06\/quicksort.xml": {
        "YES": 1
    },
    "AProVE_06\/sizeChange.xml": {
        "YES": 1
    },
    "AProVE_04\/Liveness_WRS.xml": {
        "YES": 1
    },
    "AProVE_04\/IJCAR_1.xml": {
        "YES": 1
    },
    "AProVE_04\/IJCAR_18.xml": {
        "YES": 1
    },
    "AProVE_04\/AAECC-ring.xml": {
        "YES": 1
    },
    "AProVE_04\/AAECC.xml": {
        "YES": 1
    },
    "AProVE_04\/forward_instantiation2.xml": {
        "YES": 1
    },
    "AProVE_04\/JFP_Ex51.xml": {
        "YES": 1
    },
    "AProVE_04\/IJCAR_12.xml": {
        "YES": 1
    },
    "AProVE_04\/rta1.xml": {
        "YES": 1
    },
    "AProVE_04\/IJCAR_26.xml": {
        "YES": 1
    },
    "AProVE_04\/LPAR_intlist.xml": {
        "YES": 1
    },
    "AProVE_04\/IJCAR_26a.xml": {
        "YES": 1
    },
    "AProVE_04\/Liveness8.xml": {
        "YES": 1
    },
    "AProVE_04\/Liveness6.3.xml": {
        "YES": 1
    },
    "AProVE_04\/fac.xml": {
        "YES": 1
    },
    "AProVE_04\/Liveness6.4.xml": {
        "YES": 1
    },
    "AProVE_04\/improved_usable2.xml": {
        "YES": 1
    },
    "AProVE_04\/Liveness6.1.xml": {
        "YES": 1
    },
    "AProVE_04\/Liveness6.2.xml": {
        "YES": 1
    },
    "AProVE_04\/rta2.xml": {
        "YES": 1
    },
    "AProVE_04\/JFP_Ex31.xml": {
        "YES": 1
    },
    "AProVE_04\/improved_usable.xml": {
        "YES": 1
    },
    "AProVE_04\/rta3.xml": {
        "YES": 1
    },
    "AProVE_04\/forward_instantiation.xml": {
        "YES": 1
    },
    "AotoYamada_05\/026.xml": {
        "YES": 1
    },
    "AotoYamada_05\/002.xml": {
        "YES": 1
    },
    "AotoYamada_05\/022.xml": {
        "YES": 1
    },
    "AotoYamada_05\/003.xml": {
        "NO": 1
    },
    "AotoYamada_05\/Ex5TermProof.xml": {
        "YES": 1
    },
    "AotoYamada_05\/015.xml": {
        "YES": 1
    },
    "AotoYamada_05\/010.xml": {
        "YES": 1
    },
    "AotoYamada_05\/024.xml": {
        "YES": 1
    },
    "AotoYamada_05\/021.xml": {
        "YES": 1
    },
    "AotoYamada_05\/017.xml": {
        "YES": 1
    },
    "AotoYamada_05\/012.xml": {
        "YES": 1
    },
    "AotoYamada_05\/005.xml": {
        "YES": 1
    },
    "AotoYamada_05\/011.xml": {
        "YES": 1
    },
    "AotoYamada_05\/001.xml": {
        "NO": 1
    },
    "AotoYamada_05\/027.xml": {
        "YES": 1
    },
    "AotoYamada_05\/Ex1SimplyTyped.xml": {
        "YES": 1
    },
    "AotoYamada_05\/006.xml": {
        "YES": 1
    },
    "AotoYamada_05\/025.xml": {
        "YES": 1
    },
    "AotoYamada_05\/004.xml": {
        "YES": 1
    },
    "AotoYamada_05\/020.xml": {
        "YES": 1
    },
    "AotoYamada_05\/014.xml": {
        "YES": 1
    },
    "AotoYamada_05\/009.xml": {
        "YES": 1
    },
    "AotoYamada_05\/028.xml": {
        "YES": 1
    },
    "AotoYamada_05\/019.xml": {
        "YES": 1
    },
    "AotoYamada_05\/013.xml": {
        "YES": 1
    },
    "AotoYamada_05\/007.xml": {
        "YES": 1
    },
    "AotoYamada_05\/016.xml": {
        "YES": 1
    },
    "AotoYamada_05\/023.xml": {
        "YES": 1
    },
    "AG01\/#3.49.xml": {
        "YES": 1
    },
    "AG01\/#3.19.xml": {
        "YES": 1
    },
    "AG01\/#3.56.xml": {
        "YES": 1
    },
    "AG01\/#3.18.xml": {
        "YES": 1
    },
    "AG01\/#3.6.xml": {
        "YES": 1
    },
    "AG01\/#3.35.xml": {
        "YES": 1
    },
    "AG01\/#3.53.xml": {
        "YES": 1
    },
    "AG01\/#3.55.xml": {
        "YES": 1
    },
    "AG01\/#3.52.xml": {
        "YES": 1
    },
    "AG01\/#3.47.xml": {
        "YES": 1
    },
    "AG01\/#3.10.xml": {
        "YES": 1
    },
    "AG01\/#3.4.xml": {
        "YES": 1
    },
    "AG01\/#3.6b.xml": {
        "YES": 1
    },
    "AG01\/#3.22.xml": {
        "YES": 1
    },
    "AG01\/#3.57.xml": {
        "YES": 1
    },
    "AG01\/#3.53b.xml": {
        "YES": 1
    },
    "AG01\/#3.53a.xml": {
        "YES": 1
    },
    "AG01\/#3.12.xml": {
        "YES": 1
    },
    "AG01\/#3.39.xml": {
        "YES": 1
    },
    "AG01\/#3.23.xml": {
        "YES": 1
    },
    "AG01\/#3.15.xml": {
        "YES": 1
    },
    "AG01\/#3.40.xml": {
        "YES": 1
    },
    "AG01\/#3.5a.xml": {
        "YES": 1
    },
    "AG01\/#3.13.xml": {
        "YES": 1
    },
    "AG01\/#3.17.xml": {
        "YES": 1
    },
    "AG01\/#3.29.xml": {
        "YES": 1
    },
    "AG01\/#3.41.xml": {
        "YES": 1
    },
    "AG01\/#3.8a.xml": {
        "YES": 1
    },
    "AG01\/#3.2.xml": {
        "YES": 1
    },
    "AG01\/#3.51.xml": {
        "YES": 1
    },
    "AG01\/#3.36.xml": {
        "YES": 1
    },
    "AG01\/#3.48.xml": {
        "YES": 1
    },
    "AG01\/#3.16.xml": {
        "YES": 1
    },
    "AG01\/#3.1.xml": {
        "YES": 1
    },
    "AG01\/#3.6a.xml": {
        "YES": 1
    },
    "AG01\/#3.26.xml": {
        "YES": 1
    },
    "AG01\/#3.7.xml": {
        "YES": 1
    },
    "AG01\/#3.5b.xml": {
        "YES": 1
    },
    "AG01\/#3.5.xml": {
        "YES": 1
    },
    "AG01\/#3.38.xml": {
        "YES": 1
    },
    "AG01\/#3.31.xml": {
        "YES": 1
    },
    "AG01\/#3.33.xml": {
        "YES": 1
    },
    "AG01\/#3.24.xml": {
        "YES": 1
    },
    "AG01\/#3.42.xml": {
        "YES": 1
    },
    "AG01\/#3.37.xml": {
        "YES": 1
    },
    "AG01\/#4.30c.xml": {
        "YES": 1
    },
    "AG01\/#3.54.xml": {
        "YES": 1
    },
    "AG01\/#3.17a.xml": {
        "YES": 1
    },
    "AG01\/#3.8b.xml": {
        "YES": 1
    },
    "AG01\/#3.21.xml": {
        "YES": 1
    }
}