| benchmark | THOR | Wanda |
|---|---|---|
| tpdb-8.0/TRS/Kop_11/average.xml | MAYBE 15 | YES 1146 |
| tpdb-8.0/TRS/Kop_11/lambda5.xml | MAYBE 14 | NO 18 |
| tpdb-8.0/TRS/Kop_11/merge.xml | YES 209 | YES 78 |
| tpdb-8.0/TRS/Kop_11/noneating.xml | MAYBE 96 | YES 1079 |
| tpdb-8.0/TRS/Kop_11/shuffle.xml | YES 182 | YES 136 |
| tpdb-8.0/TRS/Kop_11/twice.xml | MAYBE 120 | YES 171 |
| tpdb-8.0/TRS/Kop_13/fuhkop11frocos.xml | YES 67 | YES 151 |
| tpdb-8.0/TRS/Kop_13/fuhkop12rta1.xml | YES 176 | YES 205 |
| tpdb-8.0/TRS/Kop_13/fuhkop12rta2.xml | YES 430 | YES 1805 |
| tpdb-8.0/TRS/Kop_13/kop11cai1.xml | YES 14 | YES 534 |
| tpdb-8.0/TRS/Kop_13/kop11cai2.xml | MAYBE 14 | YES 31 |
| tpdb-8.0/TRS/Kop_13/kop12lmcs1.xml | MAYBE 178 | MAYBE 550 |
| tpdb-8.0/TRS/Kop_13/kop12lmcs2.xml | YES 13 | YES 182 |
| tpdb-8.0/TRS/Kop_13/kop12thesis_ex2.11.xml | YES 14 | YES 155 |
| tpdb-8.0/TRS/Kop_13/kop12thesis_ex7.23.xml | YES 15 | YES 76 |
| tpdb-8.0/TRS/Kop_13/kop12thesis_ex7.45_1.xml | MAYBE 1064 | MAYBE 2070 |
| tpdb-8.0/TRS/Kop_13/kop12thesis_ex7.45_2.xml | MAYBE 966 | MAYBE 1824 |
| tpdb-8.0/TRS/Kop_13/kop12thesis_sec3.3.3.xml | MAYBE 13 | YES 84 |
| tpdb-8.0/TRS/Mixed_HO_10/applicative.xml | MAYBE 169 | MAYBE 4584 |
| tpdb-8.0/TRS/Mixed_HO_10/apply.xml | YES 14 | YES 97 |
| tpdb-8.0/TRS/Mixed_HO_10/app.xml | YES 14 | YES 37 |
| tpdb-8.0/TRS/Mixed_HO_10/counterex1.xml | MAYBE 73 | NO 18 |
| tpdb-8.0/TRS/Mixed_HO_10/counterex2.xml | MAYBE 14 | MAYBE 109 |
| tpdb-8.0/TRS/Mixed_HO_10/curry1.xml | YES 13 | YES 26 |
| tpdb-8.0/TRS/Mixed_HO_10/curry.xml | MAYBE 13 | YES 28 |
| tpdb-8.0/TRS/Mixed_HO_10/deriv.xml | YES 17 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Mixed_HO_10/eval.xml | MAYBE 14 | YES 1175 |
| tpdb-8.0/TRS/Mixed_HO_10/extrec.xml | YES 14 | YES 175 |
| tpdb-8.0/TRS/Mixed_HO_10/filter.xml | YES 14 | YES 78 |
| tpdb-8.0/TRS/Mixed_HO_10/findzero.xml | MAYBE 14 | YES 1775 |
| tpdb-8.0/TRS/Mixed_HO_10/foldl.xml | YES 14 | YES 200 |
| tpdb-8.0/TRS/Mixed_HO_10/foobar.xml | MAYBE 14 | MAYBE 84 |
| tpdb-8.0/TRS/Mixed_HO_10/from.xml | YES 325 | YES 2028 |
| tpdb-8.0/TRS/Mixed_HO_10/hrsdif1.xml | MAYBE 90 | NO 16 |
| tpdb-8.0/TRS/Mixed_HO_10/hrsdif2.xml | MAYBE 83 | MAYBE 135 |
| tpdb-8.0/TRS/Mixed_HO_10/if.xml | YES 146 | YES 1364 |
| tpdb-8.0/TRS/Mixed_HO_10/inlamb.xml | MAYBE 13 | YES 26 |
| tpdb-8.0/TRS/Mixed_HO_10/iterative.xml | MAYBE 14 | YES 789 |
| tpdb-8.0/TRS/Mixed_HO_10/lambda1.xml | MAYBE 13 | NO 16 |
| tpdb-8.0/TRS/Mixed_HO_10/lambda2.xml | MAYBE 379 | NO 4026 |
| tpdb-8.0/TRS/Mixed_HO_10/lambda3.xml | MAYBE 14 | YES 54 |
| tpdb-8.0/TRS/Mixed_HO_10/length.xml | YES 14 | YES 173 |
| tpdb-8.0/TRS/Mixed_HO_10/loopy.xml | YES 14 | YES 42 |
| tpdb-8.0/TRS/Mixed_HO_10/map.xml | YES 36 | YES 39 |
| tpdb-8.0/TRS/Mixed_HO_10/noabs.xml | MAYBE 14 | YES 102 |
| tpdb-8.0/TRS/Mixed_HO_10/onearg.xml | YES 15 | YES 211 |
| tpdb-8.0/TRS/Mixed_HO_10/ordrec.xml | YES 15 | MAYBE 298 |
| tpdb-8.0/TRS/Mixed_HO_10/plode.xml | YES 15 | YES 277 |
| tpdb-8.0/TRS/Mixed_HO_10/prefixsum.xml | YES 189 | YES 239 |
| tpdb-8.0/TRS/Mixed_HO_10/prenex.xml | YES 16 | YES 222 |
| tpdb-8.0/TRS/Mixed_HO_10/process.xml | YES 336 | YES 8810 |
| tpdb-8.0/TRS/Mixed_HO_10/qsort.xml | YES 1719 | YES 2457 |
| tpdb-8.0/TRS/Mixed_HO_10/rec.xml | YES 14 | YES 99 |
| tpdb-8.0/TRS/Mixed_HO_10/reverse.xml | YES 14 | YES 292 |
| tpdb-8.0/TRS/Mixed_HO_10/sdu.xml | YES 15 | YES 269 |
| tpdb-8.0/TRS/Mixed_HO_10/sort.xml | YES 15 | YES 1511 |
| tpdb-8.0/TRS/Mixed_HO_10/uncurry.xml | YES 14 | YES 34 |
| tpdb-8.0/TRS/Mixed_HO_10/zipWith.xml | YES 1062 | YES 2370 |
| tpdb-8.0/TRS/Mixed_HO_12/fuhs11frocos_a.xml | MAYBE 111 | MAYBE 3300 |
| tpdb-8.0/TRS/Mixed_HO_12/listrepeat.xml | YES 559 | MAYBE 2468 |
| tpdb-8.0/TRS/Mixed_HO_12/prefixshuffle.xml | YES 860 | YES 4234 |
| tpdb-8.0/TRS/Mixed_HO_12/prenex_modif1.xml | YES 17 | YES 305 |
| tpdb-8.0/TRS/Mixed_HO_12/sqr.xml | YES 2301 | MAYBE 11222 |
| tpdb-8.0/TRS/Mixed_HO_12/tailrecgen.xml | YES 893 | MAYBE 11662 |
| tpdb-8.0/TRS/Mixed_HO_12/twice_modif4.xml | MAYBE 148 | YES 127 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__001.xml | MAYBE 80 | NO 16 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__002.xml | YES 14 | YES 220 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__003.xml | MAYBE 161 | NO 18 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__004.xml | YES 14 | YES 57 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__005.xml | YES 15 | YES 67 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__006.xml | YES 14 | YES 55 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__007.xml | YES 23 | YES 105 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__009.xml | YES 15 | YES 122 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__010.xml | YES 17 | YES 1583 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__011.xml | YES 15 | YES 721 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__012.xml | YES 14 | YES 108 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__013.xml | YES 14 | YES 107 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__014.xml | YES 15 | YES 721 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__015.xml | YES 15 | YES 171 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__016.xml | YES 15 | YES 568 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__017.xml | YES 16 | YES 29 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__019.xml | YES 14 | YES 97 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__020.xml | YES 14 | YES 175 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__021.xml | YES 14 | YES 629 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__022.xml | YES 14 | YES 103 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__023.xml | YES 15 | YES 35 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__024.xml | YES 14 | YES 40 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__025.xml | YES 14 | YES 25 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__026.xml | YES 14 | YES 174 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__027.xml | YES 14 | YES 91 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__028.xml | YES 14 | YES 65 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__Ex1SimplyTyped.xml | YES 14 | YES 53 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__Ex5TermProof.xml | YES 15 | YES 534 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__BTreeMember.xml | YES 15 | YES 264 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex2_6_1Composition.xml | YES 14 | YES 51 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex2_8_1ConstSubstFix.xml | MAYBE 56 | MAYBE 2477 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex2PrimRec.xml | MAYBE 14 | MAYBE 1083 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex3Lists.xml | YES 14 | YES 101 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex4MapList.xml | YES 14 | YES 99 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Folding.xml | YES 15 | YES 531 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Sorting.xml | YES 16 | YES 1804 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex6_11.xml | YES 15 | MAYBE 44328 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex6Folding.xml | YES 14 | YES 268 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex6Recursor.xml | YES 14 | YES 106 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7_9.xml | YES 120 | YES 2028 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7OrdinalRec.xml | MAYBE 14 | MAYBE 887 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7Sorting.xml | YES 16 | YES 1761 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex9Maps.xml | YES 14 | YES 2112 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Hamming.xml | MAYBE 15 | NO 33 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__mapDivMinusHard.xml | YES 192 | YES 1700 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__mapDivMinus.xml | YES 119 | YES 1564 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__ReverseLastInit.xml | YES 16 | YES 259 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TakeDropWhile.xml | YES 14 | YES 82 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__termMonTypes.xml | MAYBE 108 | MAYBE 1199 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeFlatten.xml | YES 15 | YES 128 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeHeight.xml | YES 14 | YES 148 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeLevels.xml | YES 14 | YES 207 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeMap.xml | MAYBE 173 | YES 332 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeSize.xml | YES 14 | YES 95 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TypeEx3.xml | MAYBE 14 | MAYBE 1913 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TypeEx5.xml | MAYBE 82 | NO 15 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.10.xml | MAYBE 125 | NO 3258 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.13.xml | MAYBE 74 | MAYBE 6416 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.15.xml | MAYBE 424 | NO 3756 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.17.xml | MAYBE 393 | NO 4085 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.19.xml | MAYBE 408 | TIMEOUT 60467 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.22.xml | YES 16 | YES 1647 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.24.xml | YES 16 | YES 1959 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.26.xml | MAYBE 317 | YES 2203 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.28.xml | MAYBE 203 | YES 1342 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.2.xml | MAYBE 245 | NO 3731 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.34.xml | YES 491 | YES 2173 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.36.xml | YES 1533 | YES 3255 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.3.xml | MAYBE 74 | NO 3252 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.5.xml | MAYBE 13 | NO 18 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.7.xml | MAYBE 183 | NO 3549 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.8.xml | MAYBE 210 | MAYBE 12045 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__01.xml | YES 15 | YES 174 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__02.xml | YES 14 | YES 150 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__06.xml | YES 15 | YES 226 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__08.xml | YES 15 | YES 688 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__11.xml | YES 17 | YES 1448 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__12.xml | YES 774 | YES 604 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__13.xml | MAYBE 668 | YES 13734 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__17.xml | YES 16 | YES 408 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__18.xml | YES 15 | YES 331 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__21.xml | YES 15 | YES 1890 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__29.xml | YES 17 | YES 486 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__30.xml | YES 11833 | YES 620 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.10.xml | YES 3518 | YES 3621 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.13.xml | YES 6136 | YES 3599 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.16.xml | YES 15 | YES 518 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.18.xml | YES 678 | YES 2043 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__31.xml | MAYBE 17 | YES 694 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.22.xml | MAYBE 720 | YES 1987 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.25.xml | YES 220 | YES 1175 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.27.xml | YES 14 | YES 158 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.2.xml | YES 134 | YES 1896 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.32.xml | YES 15 | YES 1097 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.36.xml | YES 1063 | YES 1991 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.38.xml | YES 575 | YES 2135 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__33.xml | MAYBE 1061 | TIMEOUT 60311 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.40.xml | MAYBE 782 | YES 2817 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.45.xml | YES 114 | YES 1337 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.48.xml | YES 1494 | YES 1805 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.52.xml | YES 15 | YES 1536 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.55.xml | YES 1246 | YES 3332 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.57.xml | YES 939 | YES 2775 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.6.xml | YES 1136 | YES 2421 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.8.xml | YES 397 | YES 2386 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__hydra.xml | YES 15 | YES 1761 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__minsort.xml | MAYBE 545 | TIMEOUT 60267 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__motivation.xml | YES 130 | YES 1744 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__perfect2.xml | YES 161 | YES 2521 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__perfect.xml | YES 16 | YES 2081 | 121 | 151 |