| benchmark | THOR0.1 | Wanda |
|---|---|---|
| tpdb-8.0/TRS/Mixed_HO_10/applicative.xml | MAYBE 48 | MAYBE 8094 |
| tpdb-8.0/TRS/Mixed_HO_10/app.xml | YES 46 | YES 46 |
| tpdb-8.0/TRS/Mixed_HO_10/counterex2.xml | MAYBE 47 | MAYBE 111 |
| tpdb-8.0/TRS/Mixed_HO_10/filter.xml | YES 47 | YES 382 |
| tpdb-8.0/TRS/Mixed_HO_10/foldl.xml | YES 49 | YES 171 |
| tpdb-8.0/TRS/Mixed_HO_10/hrsdif1.xml | MAYBE 67 | MAYBE 118 |
| tpdb-8.0/TRS/Mixed_HO_10/lambda2.xml | MAYBE 98 | MAYBE 393 |
| tpdb-8.0/TRS/Mixed_HO_10/prefixsum.xml | YES 99 | MAYBE 790 |
| tpdb-8.0/TRS/Mixed_HO_10/rec.xml | YES 43 | YES 70 |
| tpdb-8.0/TRS/Mixed_HO_10/reverse.xml | YES 55 | YES 224 |
| tpdb-8.0/TRS/Mixed_HO_10/sdu.xml | YES 43 | YES 533 |
| tpdb-8.0/TRS/Mixed_HO_10/sort.xml | YES 54 | YES 640 | 8 | 7 |