| benchmark | HOT | THOR | Wanda |
|---|---|---|---|
| tpdb-8.0/TRS/Kop_11/average.xml | YES 455 | MAYBE 14 | YES 1991 |
| tpdb-8.0/TRS/Kop_11/lambda5.xml | MAYBE 21 | MAYBE 14 | NO 17 |
| tpdb-8.0/TRS/Kop_11/merge.xml | YES 346 | YES 204 | YES 273 |
| tpdb-8.0/TRS/Kop_11/noneating.xml | MAYBE 368 | MAYBE 100 | YES 1774 |
| tpdb-8.0/TRS/Kop_11/shuffle.xml | YES 728 | YES 194 | YES 450 |
| tpdb-8.0/TRS/Kop_11/twice.xml | YES 30 | MAYBE 117 | YES 221 |
| tpdb-8.0/TRS/Mixed_HO_10/apply.xml | YES 39 | YES 13 | YES 138 |
| tpdb-8.0/TRS/Mixed_HO_10/app.xml | YES 25 | YES 14 | YES 15 |
| tpdb-8.0/TRS/Mixed_HO_10/counterex1.xml | NO 26 | MAYBE 73 | NO 17 |
| tpdb-8.0/TRS/Mixed_HO_10/extrec.xml | YES 324 | YES 15 | YES 232 |
| tpdb-8.0/TRS/Mixed_HO_10/filter.xml | YES 327 | YES 15 | YES 181 |
| tpdb-8.0/TRS/Mixed_HO_10/lambda2.xml | NO 608 | MAYBE 421 | MAYBE 3260 |
| tpdb-8.0/TRS/Mixed_HO_10/map.xml | YES 24 | YES 14 | YES 67 |
| tpdb-8.0/TRS/Mixed_HO_10/noabs.xml | MAYBE 314 | MAYBE 14 | YES 108 |
| tpdb-8.0/TRS/Mixed_HO_10/rec.xml | YES 29 | YES 13 | YES 118 |
| tpdb-8.0/TRS/Mixed_HO_10/reverse.xml | YES 331 | YES 15 | YES 280 |
| tpdb-8.0/TRS/Mixed_HO_10/sdu.xml | MAYBE 20 | YES 14 | YES 1564 |
| tpdb-8.0/TRS/Mixed_HO_10/sort.xml | YES 332 | YES 19 | YES 1439 |
| tpdb-8.0/TRS/Mixed_HO_12/fuhs11frocos_a.xml | MAYBE 1735 | MAYBE 119 | MAYBE 2178 |
| tpdb-8.0/TRS/Mixed_HO_12/listrepeat.xml | YES 587 | YES 617 | MAYBE 4128 |
| tpdb-8.0/TRS/Mixed_HO_12/prefixshuffle.xml | YES 555 | YES 965 | YES 6282 |
| tpdb-8.0/TRS/Mixed_HO_12/prenex_modif1.xml | YES 85 | YES 16 | YES 697 |
| tpdb-8.0/TRS/Mixed_HO_12/sqr.xml | YES 803 | YES 2577 | MAYBE 30878 |
| tpdb-8.0/TRS/Mixed_HO_12/tailrecgen.xml | YES 491 | YES 854 | MAYBE 42921 |
| tpdb-8.0/TRS/Mixed_HO_12/twice_modif4.xml | YES 25 | MAYBE 145 | MAYBE 410 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__001.xml | NO 25 | MAYBE 85 | NO 15 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__003.xml | NO 372 | MAYBE 174 | NO 16 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__005.xml | YES 321 | YES 15 | YES 82 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__012.xml | YES 330 | YES 14 | YES 401 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__014.xml | YES 339 | YES 15 | YES 1246 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__016.xml | YES 360 | YES 15 | YES 1152 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__020.xml | YES 334 | YES 14 | YES 164 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__024.xml | YES 26 | YES 15 | YES 68 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__Ex1SimplyTyped.xml | YES 352 | YES 14 | YES 105 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__Ex5TermProof.xml | YES 338 | YES 16 | YES 748 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__BTreeMember.xml | YES 313 | YES 17 | YES 431 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex4MapList.xml | YES 24 | YES 14 | YES 167 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Folding.xml | YES 394 | YES 15 | YES 585 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex6Folding.xml | YES 34 | YES 14 | YES 276 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7_9.xml | YES 416 | YES 130 | YES 3123 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7OrdinalRec.xml | MAYBE 4636 | MAYBE 14 | MAYBE 804 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7Sorting.xml | YES 352 | YES 16 | YES 1781 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TakeDropWhile.xml | YES 327 | YES 14 | YES 240 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeFlatten.xml | YES 337 | YES 14 | YES 458 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeHeight.xml | YES 284 | YES 15 | YES 595 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TreeMap.xml | YES 30 | MAYBE 194 | YES 476 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TypeEx3.xml | MAYBE 20 | MAYBE 14 | MAYBE 1157 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.17.xml | NO 623 | MAYBE 565 | MAYBE 6560 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.3.xml | NO 20656 | MAYBE 79 | MAYBE 2705 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.5.xml | NO 565 | MAYBE 15 | NO 20 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__02.xml | YES 363 | YES 14 | YES 676 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__17.xml | YES 345 | YES 15 | YES 1145 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__21.xml | YES 409 | YES 16 | YES 3319 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__29.xml | YES 318 | YES 14 | YES 872 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.2.xml | YES 358 | YES 130 | YES 3165 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.57.xml | YES 1055 | YES 1079 | YES 5825 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__#3.6.xml | YES 605 | YES 1276 | YES 4239 |
| tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_first_order_05__perfect2.xml | YES 440 | YES 158 | YES 2919 | 51 | 41 | 48 |