| benchmark | THOR | Wanda |
|---|---|---|
| tpdb-8.0/TRS/Kop_11/average.xml | MAYBE 15 | YES 1209 |
| tpdb-8.0/TRS/Kop_11/lambda5.xml | MAYBE 14 | NO 21 |
| tpdb-8.0/TRS/Kop_11/merge.xml | YES 210 | YES 117 |
| tpdb-8.0/TRS/Kop_11/noneating.xml | MAYBE 95 | YES 1108 |
| tpdb-8.0/TRS/Kop_11/shuffle.xml | YES 181 | YES 255 |
| tpdb-8.0/TRS/Kop_11/twice.xml | MAYBE 119 | YES 735 |
| tpdb-8.0/TRS/Kop_13/fuhkop11frocos.xml | YES 87 | YES 296 |
| tpdb-8.0/TRS/Kop_13/fuhkop12rta1.xml | YES 182 | YES 356 |
| tpdb-8.0/TRS/Kop_13/fuhkop12rta2.xml | YES 425 | YES 1929 |
| tpdb-8.0/TRS/Kop_13/kop11cai1.xml | YES 15 | YES 1127 |
| tpdb-8.0/TRS/Kop_13/kop11cai2.xml | MAYBE 14 | YES 39 |
| tpdb-8.0/TRS/Kop_13/kop12lmcs1.xml | MAYBE 179 | MAYBE 569 |
| tpdb-8.0/TRS/Kop_13/kop12lmcs2.xml | YES 14 | YES 196 |
| tpdb-8.0/TRS/Kop_13/kop12thesis_ex7.45_1.xml | MAYBE 1108 | MAYBE 2071 |
| tpdb-8.0/TRS/Kop_13/kop12thesis_sec3.3.3.xml | MAYBE 14 | YES 90 |
| tpdb-8.0/TRS/Mixed_HO_10/apply.xml | YES 15 | YES 104 |
| tpdb-8.0/TRS/Mixed_HO_10/app.xml | YES 14 | YES 26 |
| tpdb-8.0/TRS/Mixed_HO_10/counterex2.xml | MAYBE 14 | MAYBE 112 |
| tpdb-8.0/TRS/Mixed_HO_10/filter.xml | YES 15 | YES 111 |
| tpdb-8.0/TRS/Mixed_HO_10/inlamb.xml | MAYBE 13 | YES 28 |
| tpdb-8.0/TRS/Mixed_HO_10/loopy.xml | YES 15 | YES 53 |
| tpdb-8.0/TRS/Mixed_HO_10/onearg.xml | YES 15 | YES 350 |
| tpdb-8.0/TRS/Mixed_HO_10/reverse.xml | YES 15 | YES 573 |
| tpdb-8.0/TRS/Mixed_HO_10/sort.xml | YES 15 | YES 2557 |
| tpdb-8.0/TRS/Mixed_HO_12/fuhs11frocos_a.xml | MAYBE 111 | MAYBE 3515 |
| tpdb-8.0/TRS/Mixed_HO_12/listrepeat.xml | YES 559 | MAYBE 2583 |
| tpdb-8.0/TRS/Mixed_HO_12/prefixshuffle.xml | YES 855 | YES 4810 |
| tpdb-8.0/TRS/Mixed_HO_12/prenex_modif1.xml | YES 18 | YES 1091 |
| tpdb-8.0/TRS/Mixed_HO_12/sqr.xml | YES 2298 | MAYBE 11725 |
| tpdb-8.0/TRS/Mixed_HO_12/tailrecgen.xml | YES 891 | MAYBE 12441 |
| tpdb-8.0/TRS/Mixed_HO_12/twice_modif4.xml | MAYBE 147 | YES 159 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__003.xml | MAYBE 158 | NO 18 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__016.xml | YES 16 | YES 942 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__017.xml | YES 13 | YES 41 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__024.xml | YES 15 | YES 47 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__025.xml | YES 14 | YES 26 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Sorting.xml | YES 16 | YES 2957 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7OrdinalRec.xml | MAYBE 15 | MAYBE 929 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__mapDivMinus.xml | YES 119 | YES 1617 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TakeDropWhile.xml | YES 15 | YES 123 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__termMonTypes.xml | MAYBE 107 | MAYBE 1209 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.36.xml | YES 1521 | YES 4021 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.3.xml | MAYBE 72 | NO 3255 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.5.xml | MAYBE 13 | NO 23 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.7.xml | MAYBE 184 | NO 3593 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__02.xml | YES 15 | YES 323 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.25.xml | YES 223 | YES 1324 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.32.xml | YES 16 | YES 1219 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__perfect2.xml | YES 192 | YES 2932 | 31 | 40 |