| benchmark | THOR | Wanda |
|---|---|---|
| tpdb-8.0/TRS/Kop_11/average.xml | MAYBE 16 | YES 1952 |
| tpdb-8.0/TRS/Kop_11/lambda5.xml | MAYBE 15 | NO 18 |
| tpdb-8.0/TRS/Kop_11/merge.xml | YES 79 | YES 1753 |
| tpdb-8.0/TRS/Kop_11/noneating.xml | MAYBE 36 | YES 1705 |
| tpdb-8.0/TRS/Kop_11/shuffle.xml | MAYBE 52 | YES 1899 |
| tpdb-8.0/TRS/Kop_11/twice.xml | MAYBE 28 | MAYBE 125 |
| tpdb-8.0/TRS/Mixed_HO_10/apply.xml | YES 15 | YES 98 |
| tpdb-8.0/TRS/Mixed_HO_10/counterex2.xml | MAYBE 16 | MAYBE 34 |
| tpdb-8.0/TRS/Mixed_HO_10/foldl.xml | YES 15 | YES 74 |
| tpdb-8.0/TRS/Mixed_HO_10/iterative.xml | MAYBE 16 | TIMEOUT 60038 |
| tpdb-8.0/TRS/Mixed_HO_10/lambda2.xml | MAYBE 57 | MAYBE 2781 |
| tpdb-8.0/TRS/Mixed_HO_10/length.xml | YES 14 | YES 67 |
| tpdb-8.0/TRS/Mixed_HO_10/loopy.xml | YES 15 | YES 83 |
| tpdb-8.0/TRS/Mixed_HO_10/ordrec.xml | YES 18 | MAYBE 341 |
| tpdb-8.0/TRS/Mixed_HO_10/plode.xml | YES 15 | YES 219 |
| tpdb-8.0/TRS/Mixed_HO_10/prefixsum.xml | YES 74 | YES 236 |
| tpdb-8.0/TRS/Mixed_HO_10/prenex.xml | YES 22 | TIMEOUT 60035 |
| tpdb-8.0/TRS/Mixed_HO_10/process.xml | YES 142 | MAYBE 3730 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__001.xml | MAYBE 32 | NO 15 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__002.xml | YES 16 | YES 441 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__013.xml | YES 15 | YES 1805 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__016.xml | MAYBE 16 | YES 2251 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__017.xml | YES 15 | YES 15 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__024.xml | YES 16 | YES 49 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__028.xml | YES 15 | YES 1691 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__Ex5TermProof.xml | MAYBE 15 | YES 2056 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__BTreeMember.xml | YES 16 | YES 1860 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex2_8_1ConstSubstFix.xml | MAYBE 14 | MAYBE 1709 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex4MapList.xml | YES 15 | MAYBE 40 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Folding.xml | MAYBE 15 | YES 1834 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Sorting.xml | YES 16 | YES 2386 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex6_11.xml | YES 15 | YES 726 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7_9.xml | YES 52 | YES 2016 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7OrdinalRec.xml | MAYBE 15 | MAYBE 238 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7Sorting.xml | YES 16 | YES 2391 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex9Maps.xml | YES 15 | YES 180 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Hamming.xml | MAYBE 16 | NO 137 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.24.xml | YES 16 | MAYBE 3385 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.26.xml | MAYBE 50 | YES 3638 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.34.xml | YES 117 | YES 3986 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.36.xml | YES 357 | YES 8106 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.3.xml | MAYBE 33 | MAYBE 1912 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__12.xml | YES 271 | YES 2287 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.10.xml | MAYBE 349 | MAYBE 10069 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.18.xml | YES 168 | YES 2460 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__31.xml | MAYBE 19 | MAYBE 725 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.36.xml | YES 194 | YES 2398 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__33.xml | MAYBE 102 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.8.xml | YES 96 | YES 2454 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__perfect2.xml | YES 60 | YES 5067 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__perfect.xml | YES 16 | YES 3436 | 31 | 36 |