| benchmark | THOR | Wanda |
|---|---|---|
| tpdb-8.0/TRS/Kop_11/average.xml | MAYBE 14 | YES 1918 |
| tpdb-8.0/TRS/Kop_11/lambda5.xml | MAYBE 14 | NO 71 |
| tpdb-8.0/TRS/Kop_11/merge.xml | YES 78 | YES 1764 |
| tpdb-8.0/TRS/Kop_11/noneating.xml | MAYBE 38 | YES 1721 |
| tpdb-8.0/TRS/Kop_11/shuffle.xml | MAYBE 52 | YES 1920 |
| tpdb-8.0/TRS/Kop_11/twice.xml | MAYBE 29 | MAYBE 131 |
| tpdb-8.0/TRS/Mixed_HO_10/applicative.xml | MAYBE 15 | TIMEOUT 60031 |
| tpdb-8.0/TRS/Mixed_HO_10/apply.xml | YES 14 | YES 103 |
| tpdb-8.0/TRS/Mixed_HO_10/app.xml | YES 15 | YES 41 |
| tpdb-8.0/TRS/Mixed_HO_10/counterex1.xml | MAYBE 32 | NO 20 |
| tpdb-8.0/TRS/Mixed_HO_10/counterex2.xml | MAYBE 14 | MAYBE 32 |
| tpdb-8.0/TRS/Mixed_HO_10/curry1.xml | YES 15 | YES 21 |
| tpdb-8.0/TRS/Mixed_HO_10/curry.xml | MAYBE 15 | YES 25 |
| tpdb-8.0/TRS/Mixed_HO_10/deriv.xml | YES 16 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Mixed_HO_10/eval.xml | MAYBE 15 | YES 1794 |
| tpdb-8.0/TRS/Mixed_HO_10/extrec.xml | YES 14 | YES 1743 |
| tpdb-8.0/TRS/Mixed_HO_10/filter.xml | YES 15 | YES 1731 |
| tpdb-8.0/TRS/Mixed_HO_10/findzero.xml | MAYBE 15 | MAYBE 2222 |
| tpdb-8.0/TRS/Mixed_HO_10/foldl.xml | YES 14 | YES 77 |
| tpdb-8.0/TRS/Mixed_HO_10/foobar.xml | MAYBE 14 | MAYBE 38 |
| tpdb-8.0/TRS/Mixed_HO_10/from.xml | YES 81 | YES 2498 |
| tpdb-8.0/TRS/Mixed_HO_10/hrsdif1.xml | MAYBE 30 | NO 37 |
| tpdb-8.0/TRS/Mixed_HO_10/hrsdif2.xml | MAYBE 32 | MAYBE 68 |
| tpdb-8.0/TRS/Mixed_HO_10/if.xml | YES 54 | YES 1955 |
| tpdb-8.0/TRS/Mixed_HO_10/inlamb.xml | YES 15 | YES 23 |
| tpdb-8.0/TRS/Mixed_HO_10/iterative.xml | MAYBE 14 | TIMEOUT 60038 |
| tpdb-8.0/TRS/Mixed_HO_10/lambda1.xml | MAYBE 20 | NO 15 |
| tpdb-8.0/TRS/Mixed_HO_10/lambda2.xml | MAYBE 56 | MAYBE 2771 |
| tpdb-8.0/TRS/Mixed_HO_10/lambda3.xml | MAYBE 14 | YES 136 |
| tpdb-8.0/TRS/Mixed_HO_10/length.xml | YES 15 | YES 65 |
| tpdb-8.0/TRS/Mixed_HO_10/loopy.xml | YES 14 | YES 81 |
| tpdb-8.0/TRS/Mixed_HO_10/map.xml | YES 15 | YES 49 |
| tpdb-8.0/TRS/Mixed_HO_10/noabs.xml | MAYBE 14 | MAYBE 355 |
| tpdb-8.0/TRS/Mixed_HO_10/onearg.xml | YES 15 | YES 2008 |
| tpdb-8.0/TRS/Mixed_HO_10/ordrec.xml | YES 14 | MAYBE 513 |
| tpdb-8.0/TRS/Mixed_HO_10/plode.xml | YES 14 | YES 219 |
| tpdb-8.0/TRS/Mixed_HO_10/prefixsum.xml | YES 59 | YES 237 |
| tpdb-8.0/TRS/Mixed_HO_10/prenex.xml | YES 78 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Mixed_HO_10/process.xml | YES 141 | MAYBE 3713 |
| tpdb-8.0/TRS/Mixed_HO_10/qsort.xml | YES 358 | YES 3149 |
| tpdb-8.0/TRS/Mixed_HO_10/rec.xml | YES 14 | YES 60 |
| tpdb-8.0/TRS/Mixed_HO_10/reverse.xml | YES 14 | YES 1918 |
| tpdb-8.0/TRS/Mixed_HO_10/sdu.xml | YES 15 | YES 913 |
| tpdb-8.0/TRS/Mixed_HO_10/sort.xml | YES 15 | YES 2244 |
| tpdb-8.0/TRS/Mixed_HO_10/uncurry.xml | YES 14 | YES 1723 |
| tpdb-8.0/TRS/Mixed_HO_10/zipWith.xml | YES 230 | YES 2158 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__001.xml | MAYBE 32 | NO 24 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__002.xml | YES 14 | YES 494 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__003.xml | MAYBE 40 | NO 25 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__004.xml | YES 14 | YES 1722 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__005.xml | MAYBE 14 | YES 1724 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__006.xml | YES 15 | YES 73 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__007.xml | MAYBE 15 | YES 1749 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__009.xml | YES 15 | YES 1766 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__010.xml | MAYBE 15 | YES 1899 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__011.xml | MAYBE 15 | YES 1775 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__012.xml | YES 14 | YES 1806 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__013.xml | YES 15 | YES 1791 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__014.xml | MAYBE 15 | YES 1809 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__015.xml | YES 14 | YES 1699 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__016.xml | MAYBE 14 | YES 2251 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__017.xml | YES 15 | YES 64 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__019.xml | YES 15 | YES 37 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__020.xml | YES 15 | YES 1788 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__021.xml | MAYBE 14 | YES 2000 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__022.xml | YES 14 | YES 125 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__023.xml | MAYBE 14 | YES 1718 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__024.xml | YES 14 | YES 56 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__025.xml | YES 14 | YES 21 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__026.xml | YES 14 | YES 158 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__027.xml | MAYBE 14 | YES 1792 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__028.xml | YES 14 | YES 1716 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__Ex1SimplyTyped.xml | MAYBE 15 | YES 1798 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__Ex5TermProof.xml | MAYBE 14 | YES 2055 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__BTreeMember.xml | YES 15 | YES 1966 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex2_6_1Composition.xml | YES 14 | YES 16 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex2_8_1ConstSubstFix.xml | MAYBE 14 | MAYBE 1722 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex2PrimRec.xml | MAYBE 14 | MAYBE 390 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex3Lists.xml | YES 14 | YES 1823 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex4MapList.xml | YES 14 | MAYBE 48 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Folding.xml | MAYBE 15 | YES 1851 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Sorting.xml | YES 15 | YES 2452 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex6_11.xml | YES 58 | YES 715 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex6Folding.xml | YES 46 | YES 74 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex6Recursor.xml | YES 14 | YES 104 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7_9.xml | YES 43 | YES 2031 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7OrdinalRec.xml | MAYBE 15 | MAYBE 246 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7Sorting.xml | YES 16 | YES 2381 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex9Maps.xml | YES 14 | YES 178 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Hamming.xml | MAYBE 15 | NO 138 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__mapDivMinusHard.xml | MAYBE 42 | YES 1928 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__mapDivMinus.xml | YES 44 | YES 1893 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__ReverseLastInit.xml | MAYBE 15 | YES 1753 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TakeDropWhile.xml | YES 16 | YES 1817 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__termMonTypes.xml | MAYBE 37 | MAYBE 1741 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeFlatten.xml | YES 14 | YES 2488 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeHeight.xml | YES 14 | YES 2060 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeLevels.xml | YES 15 | YES 3042 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeMap.xml | MAYBE 17 | MAYBE 393 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeSize.xml | YES 14 | YES 1897 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TypeEx3.xml | MAYBE 29 | MAYBE 543 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TypeEx5.xml | MAYBE 29 | NO 15 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.10.xml | MAYBE 42 | MAYBE 1928 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.13.xml | MAYBE 32 | MAYBE 2054 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.15.xml | MAYBE 51 | MAYBE 2205 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.17.xml | MAYBE 50 | MAYBE 2640 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.19.xml | MAYBE 139 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.22.xml | YES 15 | YES 2265 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.24.xml | YES 15 | MAYBE 3355 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.26.xml | MAYBE 48 | YES 3462 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.28.xml | MAYBE 37 | YES 2126 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.2.xml | MAYBE 41 | MAYBE 2132 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.34.xml | YES 122 | YES 3974 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.36.xml | YES 391 | YES 7544 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.3.xml | MAYBE 32 | MAYBE 1924 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.5.xml | MAYBE 15 | NO 33 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.7.xml | MAYBE 34 | MAYBE 2268 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.8.xml | MAYBE 41 | MAYBE 7642 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__01.xml | YES 16 | YES 2222 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__02.xml | YES 16 | YES 2219 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__06.xml | YES 24 | YES 2197 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__08.xml | YES 15 | YES 2317 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__11.xml | YES 18 | YES 2810 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__12.xml | YES 264 | YES 2332 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__13.xml | MAYBE 122 | YES 13986 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__17.xml | YES 16 | YES 2351 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__18.xml | YES 55 | YES 2190 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__21.xml | MAYBE 107 | YES 2373 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__29.xml | YES 15 | YES 2226 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__30.xml | YES 2408 | YES 2333 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.10.xml | MAYBE 384 | MAYBE 10186 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.13.xml | MAYBE 5906 | MAYBE 8227 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.16.xml | YES 15 | YES 2245 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.18.xml | YES 170 | YES 2428 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__31.xml | MAYBE 18 | MAYBE 724 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.22.xml | MAYBE 99 | YES 2575 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.25.xml | YES 64 | YES 2127 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.27.xml | YES 106 | YES 2196 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.2.xml | YES 45 | YES 2354 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.32.xml | YES 15 | YES 2425 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.36.xml | YES 192 | YES 2440 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.38.xml | YES 136 | YES 3031 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__33.xml | MAYBE 102 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.40.xml | MAYBE 108 | YES 2861 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.45.xml | YES 41 | YES 2248 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.48.xml | YES 299 | YES 3110 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.52.xml | YES 14 | YES 2281 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.55.xml | YES 311 | YES 8840 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.57.xml | MAYBE 221 | YES 4704 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.6.xml | YES 250 | YES 4597 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.8.xml | YES 95 | YES 2509 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__hydra.xml | YES 15 | MAYBE 3551 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__minsort.xml | MAYBE 96 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__motivation.xml | YES 45 | YES 2392 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__perfect2.xml | YES 59 | YES 6407 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__perfect.xml | YES 15 | YES 3456 | 91 | 120 |