| benchmark | AProVE-RCi | CaT | oops | TCT iRC |
|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.13.xml | TIMEOUT 60406 | MAYBE 233 | MAYBE 77 | TIMEOUT 60428 |
| tpdb-8.0/TRS/AG01/#3.16.xml | n^0 - n^3 2663 | MAYBE 211 | MAYBE 96 | MAYBE 50109 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | n^0 - n^2 1664 | MAYBE 52402 | MAYBE 70 | TIMEOUT 60274 |
| tpdb-8.0/TRS/AG01/#3.17.xml | n^0 - n^2 1599 | MAYBE 51947 | MAYBE 66 | TIMEOUT 60265 |
| tpdb-8.0/TRS/AG01/#3.22.xml | n^0 - n^2 1651 | MAYBE 202 | MAYBE 69 | TIMEOUT 60696 |
| tpdb-8.0/TRS/AG01/#3.2.xml | n^0 - n^2 1596 | MAYBE 194 | MAYBE 60 | MAYBE 25058 |
| tpdb-8.0/TRS/AG01/#3.40.xml | n^0 - n^2 3483 | MAYBE 209 | MAYBE 64 | MAYBE 28536 |
| tpdb-8.0/TRS/AG01/#3.42.xml | MAYBE 5206 | MAYBE 201 | MAYBE 65 | TIMEOUT 60175 |
| tpdb-8.0/TRS/AG01/#3.48.xml | n^0 - n^2 1170 | MAYBE 205 | MAYBE 69 | TIMEOUT 60219 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | n^0 - n^0 750 | MAYBE 206 | MAYBE 64 | n^0 - n^1 277 |
| tpdb-8.0/TRS/AG01/#3.53.xml | n^0 - n^3 3376 | MAYBE 216 | MAYBE 65 | MAYBE 41127 |
| tpdb-8.0/TRS/AG01/#3.54.xml | TIMEOUT 60403 | MAYBE 203 | MAYBE 72 | TIMEOUT 60148 |
| tpdb-8.0/TRS/AG01/#3.55.xml | TIMEOUT 60489 | MAYBE 241 | MAYBE 78 | MAYBE 30312 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | TIMEOUT 60409 | MAYBE 220 | MAYBE 70 | TIMEOUT 60221 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | TIMEOUT 60504 | MAYBE 246 | MAYBE 87 | TIMEOUT 60200 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | n^0 - n^0 839 | MAYBE 206 | n^0 - n^0 69 | TIMEOUT 60322 |
| tpdb-8.0/TRS/AotoYamada_05/011.xml | n^0 - n^0 854 | MAYBE 213 | n^0 - n^0 71 | TIMEOUT 60448 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | n^0 - n^0 846 | MAYBE 222 | n^0 - n^0 86 | TIMEOUT 60503 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | n^0 - n^0 805 | MAYBE 211 | n^0 - n^0 74 | TIMEOUT 60297 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^0 739 | n^0 - n^1 516 | n^0 - n^0 68 | n^0 - n^1 203 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | n^0 - n^0 738 | MAYBE 194 | n^0 - n^0 64 | TIMEOUT 60191 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^0 757 | n^0 - n^2 4694 | n^0 - n^0 74 | n^0 - n^1 1458 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | n^0 - n^0 744 | n^0 - n^1 330 | n^0 - n^0 64 | n^0 - n^1 146 |
| tpdb-8.0/TRS/AotoYamada_05/026.xml | n^0 - n^0 799 | MAYBE 212 | n^0 - n^0 74 | TIMEOUT 60371 |
| tpdb-8.0/TRS/AotoYamada_05/027.xml | n^0 - n^2 1409 | MAYBE 215 | n^0 - n^0 77 | TIMEOUT 60426 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | n^0 - n^0 848 | MAYBE 221 | n^0 - n^0 67 | TIMEOUT 60421 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | n^0 - n^0 787 | MAYBE 203 | n^0 - n^0 70 | TIMEOUT 60297 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | n^0 - n^0 752 | MAYBE 198 | n^0 - n^0 69 | TIMEOUT 60390 |
| tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml | n^0 - n^0 789 | MAYBE 200 | n^0 - n^0 65 | TIMEOUT 60344 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | n^0 - n^0 801 | MAYBE 208 | n^0 - n^0 66 | TIMEOUT 60514 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | n^0 - n^0 832 | MAYBE 208 | n^0 - n^0 58 | TIMEOUT 60342 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | TIMEOUT 61215 | MAYBE 335 | MAYBE 8409 | TIMEOUT 61213 |
| tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml | n^0 - n^0 852 | MAYBE 226 | n^0 - n^0 79 | TIMEOUT 60461 |
| tpdb-8.0/TRS/Applicative_05/TreeLevels.xml | n^0 - n^0 1017 | MAYBE 251 | n^0 - n^0 80 | TIMEOUT 60480 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 1529 | MAYBE 5839 | MAYBE 66 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | n^0 - n^0 973 | MAYBE 269 | n^0 - n^0 88 | TIMEOUT 60330 |
| tpdb-8.0/TRS/Applicative_first_order_05/06.xml | n^0 - n^0 862 | MAYBE 239 | n^0 - n^0 84 | TIMEOUT 60620 |
| tpdb-8.0/TRS/Applicative_first_order_05/11.xml | n^0 - n^0 1278 | MAYBE 309 | n^0 - n^0 93 | TIMEOUT 60751 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | n^0 - n^0 1016 | MAYBE 259 | n^0 - n^0 79 | TIMEOUT 60573 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml | n^0 - n^0 863 | MAYBE 234 | n^0 - n^0 75 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | n^0 - n^0 867 | MAYBE 229 | n^0 - n^0 79 | TIMEOUT 60466 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | n^0 - n^0 1024 | MAYBE 264 | n^0 - n^0 71 | TIMEOUT 60443 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | n^0 - n^0 905 | MAYBE 251 | n^0 - n^0 81 | TIMEOUT 60456 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml | n^0 - n^0 1027 | MAYBE 255 | n^0 - n^0 71 | TIMEOUT 60508 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml | n^0 - n^0 1038 | MAYBE 253 | n^0 - n^0 74 | TIMEOUT 60499 |
| tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml | n^0 - n^0 1213 | MAYBE 292 | n^0 - n^0 80 | TIMEOUT 60858 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | TIMEOUT 61157 | MAYBE 333 | MAYBE 105 | TIMEOUT 60252 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | TIMEOUT 60468 | MAYBE 210 | MAYBE 71 | TIMEOUT 60479 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | n^0 - n^0 1151 | MAYBE 193 | n^0 - n^0 64 | MAYBE 3216 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | TIMEOUT 60460 | MAYBE 244 | MAYBE 74 | TIMEOUT 60638 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | TIMEOUT 60397 | MAYBE 244 | MAYBE 74 | TIMEOUT 60662 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | n^0 - n^0 746 | MAYBE 191 | n^0 - n^0 61 | MAYBE 34315 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | TIMEOUT 60462 | MAYBE 213 | MAYBE 68 | TIMEOUT 60145 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | TIMEOUT 60445 | MAYBE 233 | MAYBE 79 | TIMEOUT 60764 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^3 3194 | TIMEOUT 60167 | MAYBE 77 | n^0 - n^1 6740 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | TIMEOUT 61143 | n^0 - n^2 13011 | MAYBE 81 | n^0 - n^1 7924 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | TIMEOUT 60427 | MAYBE 232 | MAYBE 80 | TIMEOUT 60274 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | TIMEOUT 60520 | MAYBE 231 | MAYBE 80 | TIMEOUT 60388 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | TIMEOUT 60561 | MAYBE 221 | MAYBE 82 | TIMEOUT 60468 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | TIMEOUT 60334 | MAYBE 46216 | MAYBE 77 | TIMEOUT 60232 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | TIMEOUT 60635 | MAYBE 221 | MAYBE 72 | MAYBE 21786 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | n^0 - n^0 896 | MAYBE 234 | n^0 - n^0 71 | TIMEOUT 60701 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 59570 | MAYBE 45459 | MAYBE 63 | TIMEOUT 60213 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | TIMEOUT 60528 | MAYBE 216 | MAYBE 77 | TIMEOUT 60177 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | n^0 - n^2 12061 | MAYBE 207 | MAYBE 68 | MAYBE 60167 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | TIMEOUT 60537 | MAYBE 212 | MAYBE 67 | TIMEOUT 60332 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | TIMEOUT 62187 | MAYBE 226 | MAYBE 67 | TIMEOUT 60237 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | n^0 - n^0 905 | MAYBE 232 | n^0 - n^0 80 | TIMEOUT 60629 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | TIMEOUT 60357 | MAYBE 203 | MAYBE 68 | MAYBE 34035 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | TIMEOUT 60363 | MAYBE 229 | MAYBE 82 | TIMEOUT 60483 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | TIMEOUT 60499 | MAYBE 216 | MAYBE 70 | TIMEOUT 60428 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | TIMEOUT 60436 | MAYBE 211 | MAYBE 72 | TIMEOUT 60359 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | TIMEOUT 60438 | MAYBE 215 | MAYBE 70 | TIMEOUT 60276 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | TIMEOUT 60534 | MAYBE 216 | MAYBE 68 | TIMEOUT 60400 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | TIMEOUT 60404 | MAYBE 199 | MAYBE 55 | TIMEOUT 60167 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | TIMEOUT 60473 | MAYBE 208 | MAYBE 55 | MAYBE 26553 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | TIMEOUT 60253 | MAYBE 224 | MAYBE 82 | TIMEOUT 60235 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | TIMEOUT 60574 | MAYBE 229 | MAYBE 77 | TIMEOUT 60477 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | TIMEOUT 60536 | MAYBE 227 | MAYBE 88 | TIMEOUT 60445 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | TIMEOUT 60376 | MAYBE 202 | MAYBE 58 | TIMEOUT 60209 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | TIMEOUT 60457 | MAYBE 211 | MAYBE 65 | TIMEOUT 60176 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | TIMEOUT 60511 | MAYBE 220 | MAYBE 75 | TIMEOUT 60312 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | n^0 - n^0 1052 | MAYBE 283 | n^0 - n^0 106 | TIMEOUT 60853 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | TIMEOUT 60503 | MAYBE 236 | MAYBE 72 | TIMEOUT 60399 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | TIMEOUT 60403 | MAYBE 210 | MAYBE 67 | TIMEOUT 60262 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | TIMEOUT 60527 | MAYBE 224 | MAYBE 69 | TIMEOUT 60520 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | TIMEOUT 60535 | MAYBE 254 | MAYBE 64 | TIMEOUT 60514 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | TIMEOUT 60422 | MAYBE 220 | MAYBE 79 | TIMEOUT 60184 |
| tpdb-8.0/TRS/AProVE_08/log.xml | TIMEOUT 60634 | MAYBE 213 | MAYBE 66 | TIMEOUT 60304 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | TIMEOUT 60603 | MAYBE 217 | MAYBE 70 | TIMEOUT 60595 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | TIMEOUT 60483 | MAYBE 219 | MAYBE 70 | TIMEOUT 60476 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | TIMEOUT 60592 | MAYBE 229 | MAYBE 75 | TIMEOUT 60428 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | TIMEOUT 60704 | MAYBE 230 | MAYBE 66 | TIMEOUT 60577 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | TIMEOUT 60646 | MAYBE 228 | MAYBE 66 | TIMEOUT 60514 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 27454 | MAYBE 22717 | MAYBE 49 | MAYBE 30612 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 3135 | MAYBE 13249 | MAYBE 67 | MAYBE 49139 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | TIMEOUT 60196 | MAYBE 196 | MAYBE 58 | TIMEOUT 60147 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | TIMEOUT 60439 | MAYBE 220 | MAYBE 69 | TIMEOUT 60230 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | TIMEOUT 60395 | MAYBE 229 | MAYBE 81 | TIMEOUT 60254 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | TIMEOUT 60570 | MAYBE 215 | MAYBE 67 | TIMEOUT 60302 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | TIMEOUT 60429 | MAYBE 215 | MAYBE 68 | TIMEOUT 60203 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | TIMEOUT 60497 | MAYBE 214 | MAYBE 76 | TIMEOUT 60281 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | TIMEOUT 60592 | MAYBE 244 | MAYBE 81 | TIMEOUT 60235 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | TIMEOUT 60698 | MAYBE 229 | MAYBE 71 | TIMEOUT 60508 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | TIMEOUT 60653 | MAYBE 230 | MAYBE 73 | TIMEOUT 60447 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | TIMEOUT 60396 | MAYBE 212 | MAYBE 65 | TIMEOUT 60230 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | TIMEOUT 60513 | MAYBE 219 | MAYBE 65 | TIMEOUT 60287 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | TIMEOUT 60276 | MAYBE 224 | MAYBE 82 | TIMEOUT 60307 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | TIMEOUT 60473 | MAYBE 214 | MAYBE 65 | TIMEOUT 60237 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | TIMEOUT 60532 | MAYBE 214 | MAYBE 61 | TIMEOUT 60228 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | TIMEOUT 60547 | MAYBE 216 | MAYBE 66 | TIMEOUT 60224 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | TIMEOUT 60426 | MAYBE 217 | MAYBE 68 | TIMEOUT 60228 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 14537 | MAYBE 207 | MAYBE 74 | MAYBE 26360 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | TIMEOUT 60518 | MAYBE 219 | MAYBE 73 | TIMEOUT 60226 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 31632 | MAYBE 191 | MAYBE 61 | MAYBE 20045 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | TIMEOUT 60568 | MAYBE 206 | MAYBE 64 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | TIMEOUT 60513 | MAYBE 202 | MAYBE 61 | TIMEOUT 60188 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 43667 | MAYBE 205 | MAYBE 70 | TIMEOUT 60262 |
| tpdb-8.0/TRS/CiME_04/append.xml | n^0 - n^1 1061 | MAYBE 201 | MAYBE 66 | MAYBE 2325 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | TIMEOUT 60604 | TIMEOUT 60150 | MAYBE 73 | TIMEOUT 60184 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | TIMEOUT 60674 | MAYBE 56504 | MAYBE 121 | TIMEOUT 60322 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | n^0 - n^2 27990 | MAYBE 248 | MAYBE 87 | TIMEOUT 60535 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | TIMEOUT 60447 | MAYBE 206 | MAYBE 56 | TIMEOUT 60555 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 44941 | MAYBE 207 | MAYBE 65 | TIMEOUT 60268 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | TIMEOUT 60301 | MAYBE 243 | MAYBE 70 | TIMEOUT 60358 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | TIMEOUT 60632 | MAYBE 258 | MAYBE 68 | TIMEOUT 61172 |
| tpdb-8.0/TRS/CiME_04/tree.xml | TIMEOUT 60573 | MAYBE 288 | MAYBE 80 | TIMEOUT 60442 |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^0 738 | n^0 - n^1 324 | n^0 - n^0 61 | n^0 - n^1 143 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^0 744 | n^0 - n^1 546 | n^0 - n^0 66 | n^0 - n^1 381 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 1283 | n^0 - n^2 5357 | MAYBE 73 | n^0 - n^1 976 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^0 746 | n^0 - n^2 3343 | n^0 - n^0 77 | n^0 - n^1 170 |
| tpdb-8.0/TRS/Der95/12.xml | TIMEOUT 60456 | MAYBE 199 | MAYBE 67 | MAYBE 57203 |
| tpdb-8.0/TRS/Der95/13.xml | n^0 - n^0 789 | MAYBE 202 | n^0 - n^0 64 | TIMEOUT 60246 |
| tpdb-8.0/TRS/Der95/21.xml | TIMEOUT 60428 | MAYBE 208 | MAYBE 66 | TIMEOUT 60436 |
| tpdb-8.0/TRS/Der95/28.xml | n^0 - n^0 745 | MAYBE 203 | n^0 - n^0 74 | MAYBE 26152 |
| tpdb-8.0/TRS/Der95/30.xml | n^0 - n^0 755 | MAYBE 197 | n^0 - n^0 67 | TIMEOUT 60730 |
| tpdb-8.0/TRS/Der95/33.xml | TIMEOUT 60632 | MAYBE 206 | MAYBE 67 | TIMEOUT 60440 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | n^0 - n^0 731 | MAYBE 190 | n^0 - n^0 61 | MAYBE 15070 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | n^0 - n^0 794 | MAYBE 55251 | n^0 - n^0 64 | n^0 - n^1 18436 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | n^0 - n^0 790 | MAYBE 201 | n^0 - n^0 70 | TIMEOUT 60231 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | n^0 - n^0 742 | MAYBE 198 | n^0 - n^0 69 | MAYBE 48962 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | n^0 - n^0 745 | MAYBE 197 | n^0 - n^0 66 | TIMEOUT 60210 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | n^0 - n^0 738 | MAYBE 202 | n^0 - n^0 74 | TIMEOUT 60214 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^0 756 | n^0 - n^2 18130 | n^0 - n^0 69 | n^0 - n^1 1910 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | n^0 - n^0 762 | MAYBE 55242 | n^0 - n^0 73 | n^0 - n^1 1093 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^0 740 | n^0 - n^1 405 | n^0 - n^0 66 | n^0 - n^1 1031 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^0 757 | n^0 - n^1 483 | n^0 - n^0 75 | n^0 - n^1 1306 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | TIMEOUT 60262 | MAYBE 204 | MAYBE 70 | MAYBE 33232 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | TIMEOUT 60362 | MAYBE 200 | MAYBE 64 | MAYBE 39113 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | TIMEOUT 60536 | MAYBE 254 | MAYBE 118 | TIMEOUT 60314 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | TIMEOUT 60378 | MAYBE 203 | MAYBE 66 | TIMEOUT 60146 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | TIMEOUT 60451 | MAYBE 199 | MAYBE 67 | TIMEOUT 60136 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | TIMEOUT 60576 | MAYBE 225 | MAYBE 79 | TIMEOUT 60320 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | TIMEOUT 60396 | MAYBE 213 | MAYBE 70 | TIMEOUT 60188 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | TIMEOUT 60363 | MAYBE 212 | MAYBE 70 | TIMEOUT 60150 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | TIMEOUT 60450 | MAYBE 207 | MAYBE 68 | TIMEOUT 60274 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | TIMEOUT 60463 | MAYBE 214 | MAYBE 70 | TIMEOUT 60465 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 895 | MAYBE 5259 | MAYBE 11461 | TIMEOUT 60132 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | TIMEOUT 60526 | MAYBE 5557 | MAYBE 3441 | TIMEOUT 60157 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 1177 | MAYBE 5718 | MAYBE 62 | TIMEOUT 60120 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 957 | MAYBE 199 | MAYBE 72 | MAYBE 1458 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 32651 | MAYBE 216 | MAYBE 69 | TIMEOUT 60514 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | n^0 - n^0 745 | n^0 - n^1 339 | n^0 - n^0 74 | n^0 - n^1 164 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | n^0 - n^0 734 | n^0 - n^1 348 | n^0 - n^0 66 | n^0 - n^1 198 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60507 | TIMEOUT 60431 | MAYBE 105 | TIMEOUT 60234 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^1 1016 | n^0 - n^2 3487 | MAYBE 69 | n^0 - n^1 333 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | n^0 - n^2 1967 | MAYBE 210 | MAYBE 67 | TIMEOUT 60420 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^0 721 | n^0 - n^1 353 | n^0 - n^0 50 | n^0 - n^1 466 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | n^0 - n^0 736 | MAYBE 45859 | n^0 - n^0 72 | n^0 - n^1 648 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | n^0 - n^0 733 | MAYBE 193 | n^0 - n^0 65 | TIMEOUT 60243 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | n^0 - n^0 717 | MAYBE 173 | n^0 - n^0 46 | MAYBE 16714 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | n^0 - n^0 742 | MAYBE 9081 | n^0 - n^0 66 | n^0 - n^1 327 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | n^0 - n^0 756 | MAYBE 194 | n^0 - n^0 64 | TIMEOUT 60231 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | n^0 - n^0 852 | MAYBE 55338 | n^0 - n^0 128 | n^0 - n^1 6395 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 1087 | n^0 - n^1 344 | MAYBE 79 | n^0 - n^1 218 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | TIMEOUT 60664 | MAYBE 276 | MAYBE 118 | TIMEOUT 60525 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 6878 | MAYBE 197 | MAYBE 67 | MAYBE 5135 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | n^0 - n^2 1704 | MAYBE 200 | MAYBE 69 | MAYBE 14428 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | n^0 - n^2 44735 | MAYBE 235 | MAYBE 83 | TIMEOUT 60325 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^0 792 | n^0 - n^1 501 | MAYBE 66 | n^0 - n^1 216 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^1 1821 | n^0 - n^2 3706 | n^0 - n^0 83 | n^0 - n^1 720 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^0 791 | n^0 - n^1 419 | n^0 - n^0 66 | n^0 - n^1 909 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | n^0 - n^2 5825 | MAYBE 200 | MAYBE 62 | MAYBE 13460 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | n^0 - n^3 1439 | MAYBE 221 | MAYBE 71 | n^0 - n^1 1231 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | TIMEOUT 60522 | MAYBE 232 | MAYBE 77 | TIMEOUT 60419 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 24854 | MAYBE 205 | MAYBE 66 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | n^0 - n^2 8052 | MAYBE 250 | MAYBE 87 | TIMEOUT 60485 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | TIMEOUT 60428 | MAYBE 223 | MAYBE 84 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | TIMEOUT 60473 | MAYBE 212 | MAYBE 67 | TIMEOUT 60215 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 18671 | MAYBE 216 | MAYBE 75 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | n^0 - n^0 1250 | MAYBE 286 | n^0 - n^0 85 | TIMEOUT 60596 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | TIMEOUT 61322 | MAYBE 327 | MAYBE 86 | TIMEOUT 60708 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | n^0 - n^0 743 | n^0 - n^3 19277 | n^0 - n^0 63 | n^0 - n^1 592 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | TIMEOUT 60496 | MAYBE 217 | MAYBE 78 | TIMEOUT 60252 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | TIMEOUT 60500 | MAYBE 212 | MAYBE 63 | TIMEOUT 60396 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | n^0 - n^0 797 | MAYBE 197 | MAYBE 62 | MAYBE 1010 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 3982 | MAYBE 6199 | MAYBE 31841 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | TIMEOUT 61083 | MAYBE 239 | MAYBE 72 | TIMEOUT 60394 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | TIMEOUT 60491 | MAYBE 234 | n^0 - n^0 78 | TIMEOUT 60468 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | TIMEOUT 60381 | MAYBE 219 | MAYBE 76 | TIMEOUT 60210 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | TIMEOUT 60523 | MAYBE 218 | MAYBE 64 | TIMEOUT 60385 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | n^0 - n^0 771 | MAYBE 179 | n^0 - n^0 47 | TIMEOUT 60315 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | n^0 - n^1 2629 | MAYBE 214 | n^0 - n^0 81 | TIMEOUT 60410 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | n^0 - n^0 789 | MAYBE 204 | n^0 - n^0 66 | TIMEOUT 60357 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | n^0 - n^0 794 | MAYBE 202 | n^0 - n^0 68 | TIMEOUT 60202 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | TIMEOUT 60549 | MAYBE 220 | MAYBE 67 | TIMEOUT 60289 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | TIMEOUT 60901 | MAYBE 227 | MAYBE 74 | TIMEOUT 62580 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | TIMEOUT 60509 | MAYBE 224 | MAYBE 83 | TIMEOUT 60287 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | TIMEOUT 60517 | MAYBE 220 | MAYBE 75 | TIMEOUT 60200 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | n^0 - n^0 821 | MAYBE 45268 | n^0 - n^0 83 | TIMEOUT 60265 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | n^0 - n^0 786 | MAYBE 45744 | n^0 - n^0 66 | n^0 - n^1 8074 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | TIMEOUT 60328 | MAYBE 227 | MAYBE 56 | TIMEOUT 60253 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | TIMEOUT 60359 | MAYBE 231 | MAYBE 70 | MAYBE 19281 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | TIMEOUT 60546 | MAYBE 242 | MAYBE 77 | MAYBE 37530 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | TIMEOUT 60454 | MAYBE 231 | MAYBE 71 | TIMEOUT 60251 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | TIMEOUT 60518 | MAYBE 244 | MAYBE 79 | TIMEOUT 60359 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | TIMEOUT 60534 | MAYBE 221 | MAYBE 70 | TIMEOUT 60214 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | TIMEOUT 60721 | MAYBE 223 | MAYBE 66 | TIMEOUT 60463 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | TIMEOUT 60455 | MAYBE 207 | MAYBE 64 | TIMEOUT 60267 |
| tpdb-8.0/TRS/SK90/2.02.xml | MAYBE 55758 | MAYBE 25599 | MAYBE 72 | n^0 - n^1 1001 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^1 1027 | n^0 - n^2 5328 | MAYBE 80 | n^0 - n^1 230 |
| tpdb-8.0/TRS/SK90/2.05.xml | n^0 - n^0 787 | MAYBE 195 | n^0 - n^0 63 | TIMEOUT 60237 |
| tpdb-8.0/TRS/SK90/2.10.xml | n^0 - n^0 787 | MAYBE 12337 | n^0 - n^0 70 | n^0 - n^1 2691 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^1 1015 | n^0 - n^2 4029 | MAYBE 80 | n^0 - n^1 218 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 2484 | MAYBE 211 | MAYBE 82 | MAYBE 554 |
| tpdb-8.0/TRS/SK90/2.19.xml | n^0 - n^2 3476 | MAYBE 202 | MAYBE 67 | n^0 - POLY 22296 |
| tpdb-8.0/TRS/SK90/2.23.xml | TIMEOUT 60436 | MAYBE 192 | MAYBE 53 | TIMEOUT 60203 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 4754 | MAYBE 202 | MAYBE 72 | MAYBE 1644 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 30272 | MAYBE 197 | MAYBE 61 | TIMEOUT 60195 |
| tpdb-8.0/TRS/SK90/2.30.xml | n^0 - n^0 753 | MAYBE 209 | MAYBE 76 | n^0 - n^0 133 |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^0 797 | n^0 - n^2 4030 | n^0 - n^0 76 | n^0 - n^1 1108 |
| tpdb-8.0/TRS/SK90/2.35.xml | n^0 - n^0 815 | MAYBE 250 | n^0 - n^0 91 | n^0 - n^1 694 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^1 1089 | n^0 - n^2 3664 | MAYBE 78 | n^0 - n^1 240 |
| tpdb-8.0/TRS/SK90/2.39.xml | n^0 - n^3 2000 | MAYBE 22742 | MAYBE 100 | TIMEOUT 60241 |
| tpdb-8.0/TRS/SK90/2.44.xml | n^0 - n^1 2380 | MAYBE 213 | MAYBE 68 | TIMEOUT 60154 |
| tpdb-8.0/TRS/SK90/2.45.xml | n^0 - n^1 1084 | MAYBE 215 | MAYBE 80 | TIMEOUT 60271 |
| tpdb-8.0/TRS/SK90/2.56.xml | n^0 - n^0 736 | n^0 - n^1 320 | n^0 - n^0 64 | n^0 - n^1 190 |
| tpdb-8.0/TRS/SK90/2.57.xml | n^0 - n^0 740 | MAYBE 192 | n^0 - n^0 64 | MAYBE 42190 |
| tpdb-8.0/TRS/SK90/4.08.xml | n^0 - n^0 742 | n^0 - n^2 3444 | n^0 - n^0 67 | n^0 - n^1 358 |
| tpdb-8.0/TRS/SK90/4.11.xml | n^0 - n^0 746 | n^0 - n^2 3781 | n^0 - n^0 69 | n^0 - n^1 502 |
| tpdb-8.0/TRS/SK90/4.13.xml | n^0 - n^1 1380 | MAYBE 198 | MAYBE 66 | n^0 - n^1 262 |
| tpdb-8.0/TRS/SK90/4.15.xml | n^0 - n^0 738 | n^0 - n^2 3451 | n^0 - n^0 64 | n^0 - n^1 360 |
| tpdb-8.0/TRS/SK90/4.18.xml | n^0 - n^0 767 | MAYBE 207 | MAYBE 72 | n^0 - n^0 131 |
| tpdb-8.0/TRS/SK90/4.30.xml | MAYBE 8386 | n^0 - n^3 17445 | MAYBE 75 | n^0 - n^2 2877 |
| tpdb-8.0/TRS/SK90/4.31.xml | TIMEOUT 60526 | MAYBE 235 | MAYBE 100 | MAYBE 1014 |
| tpdb-8.0/TRS/SK90/4.32.xml | n^0 - n^0 829 | MAYBE 46944 | n^0 - n^0 116 | n^0 - n^1 8021 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 6316 | MAYBE 45221 | MAYBE 63 | TIMEOUT 60136 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^0 737 | n^0 - n^1 334 | MAYBE 62 | n^0 - n^0 111 |
| tpdb-8.0/TRS/SK90/4.36.xml | n^0 - n^0 799 | n^0 - n^1 392 | n^0 - n^0 123 | n^0 - n^1 269 |
| tpdb-8.0/TRS/SK90/4.37.xml | n^0 - n^0 734 | n^0 - n^1 334 | n^0 - n^0 61 | n^0 - n^1 141 |
| tpdb-8.0/TRS/SK90/4.42.xml | TIMEOUT 60407 | MAYBE 207 | MAYBE 75 | TIMEOUT 60179 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^0 820 | n^0 - n^1 366 | n^0 - n^0 56 | n^0 - n^1 299 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 946 | n^0 - n^1 318 | MAYBE 65 | n^0 - n^1 148 |
| tpdb-8.0/TRS/SK90/4.49.xml | n^0 - n^0 735 | MAYBE 186 | n^0 - n^0 62 | MAYBE 12237 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^3 1062 | n^0 - n^1 880 | MAYBE 114 | n^0 - n^1 620 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | n^0 - n^0 1169 | MAYBE 210 | n^0 - n^0 81 | MAYBE 1814 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | n^0 - n^1 964 | MAYBE 55470 | MAYBE 66 | n^0 - n^1 471 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml | n^0 - n^3 3990 | n^0 - n^1 822 | MAYBE 67 | n^0 - n^1 255 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml | TIMEOUT 60530 | MAYBE 225 | MAYBE 82 | TIMEOUT 60556 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | TIMEOUT 60403 | MAYBE 225 | MAYBE 81 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | TIMEOUT 60419 | MAYBE 217 | MAYBE 79 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml | TIMEOUT 60715 | MAYBE 262 | MAYBE 80 | TIMEOUT 60443 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | TIMEOUT 60481 | MAYBE 235 | MAYBE 76 | TIMEOUT 60568 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | n^0 - n^1 1077 | n^0 - n^1 366 | MAYBE 65 | n^0 - n^1 559 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | n^0 - n^0 771 | MAYBE 213 | MAYBE 82 | MAYBE 10919 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | MAYBE 2341 | MAYBE 211 | MAYBE 68 | MAYBE 16940 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | n^0 - n^0 738 | MAYBE 195 | n^0 - n^0 64 | MAYBE 933 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | MAYBE 1399 | MAYBE 198 | MAYBE 65 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | MAYBE 6465 | MAYBE 232 | MAYBE 91 | MAYBE 1329 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | MAYBE 1516 | MAYBE 220 | MAYBE 82 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | MAYBE 2901 | MAYBE 6051 | MAYBE 60 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | MAYBE 1234 | MAYBE 195 | MAYBE 65 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | n^0 - n^1 1506 | MAYBE 218 | MAYBE 75 | TIMEOUT 60446 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | MAYBE 3461 | MAYBE 204 | MAYBE 69 | MAYBE 11903 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | MAYBE 2506 | MAYBE 225 | MAYBE 77 | MAYBE 15372 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | MAYBE 5291 | MAYBE 9645 | MAYBE 76 | TIMEOUT 60233 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | MAYBE 1171 | MAYBE 192 | MAYBE 63 | MAYBE 30724 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 1151 | MAYBE 5974 | MAYBE 64 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 13983 | MAYBE 6271 | MAYBE 78 | MAYBE 15478 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | MAYBE 6768 | MAYBE 210 | MAYBE 62 | MAYBE 1494 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | n^0 - n^0 759 | MAYBE 5810 | n^0 - n^0 70 | n^0 - n^1 203 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | n^0 - n^1 965 | MAYBE 213 | MAYBE 80 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | n^0 - n^1 1412 | MAYBE 202 | n^0 - n^0 75 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | n^0 - n^1 1940 | MAYBE 199 | MAYBE 65 | MAYBE 9760 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | n^0 - n^0 1226 | MAYBE 235 | n^0 - n^0 77 | MAYBE 2599 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml | n^0 - n^0 789 | MAYBE 197 | MAYBE 65 | TIMEOUT 60196 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | n^0 - n^1 1161 | MAYBE 222 | MAYBE 63 | TIMEOUT 60373 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | TIMEOUT 60809 | MAYBE 272 | MAYBE 83 | TIMEOUT 60662 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | MAYBE 394 | NO 227 | MAYBE 85 | MAYBE 153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | n^0 - n^0 800 | MAYBE 196 | MAYBE 62 | n^0 - n^1 548 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | n^0 - n^0 1098 | MAYBE 285 | n^0 - n^0 82 | TIMEOUT 60606 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | n^0 - n^1 1000 | n^0 - n^2 4299 | MAYBE 65 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^1 1009 | n^0 - n^2 4600 | MAYBE 74 | n^0 - n^1 1208 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^1 1006 | n^0 - n^2 4406 | MAYBE 59 | n^0 - n^1 1555 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | TIMEOUT 60465 | MAYBE 238 | MAYBE 85 | TIMEOUT 60574 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | MAYBE 1355 | MAYBE 205 | MAYBE 67 | TIMEOUT 60698 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | TIMEOUT 60519 | MAYBE 270 | MAYBE 76 | TIMEOUT 60336 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | TIMEOUT 60480 | TIMEOUT 60147 | MAYBE 84 | TIMEOUT 60275 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^1 1070 | n^0 - n^2 5382 | MAYBE 78 | n^0 - n^1 1805 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | n^0 - n^0 801 | MAYBE 210 | n^0 - n^0 81 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | n^0 - n^1 1002 | MAYBE 199 | MAYBE 63 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | n^0 - n^0 809 | n^0 - n^1 387 | MAYBE 81 | n^0 - n^1 233 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | n^0 - n^0 1108 | MAYBE 282 | n^0 - n^0 79 | TIMEOUT 60624 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | TIMEOUT 60499 | MAYBE 224 | MAYBE 69 | TIMEOUT 60570 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | TIMEOUT 60486 | MAYBE 248 | MAYBE 70 | TIMEOUT 60935 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | MAYBE 322 | NO 197 | MAYBE 69 | MAYBE 120 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | MAYBE 7338 | MAYBE 212 | MAYBE 74 | TIMEOUT 60198 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | MAYBE 3133 | MAYBE 218 | MAYBE 78 | MAYBE 23167 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | TIMEOUT 60456 | MAYBE 265 | MAYBE 74 | TIMEOUT 60706 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | n^0 - n^1 1476 | MAYBE 240 | MAYBE 68 | TIMEOUT 60488 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | TIMEOUT 60608 | MAYBE 298 | MAYBE 135 | TIMEOUT 60727 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | TIMEOUT 61048 | MAYBE 295 | n^0 - n^0 87 | TIMEOUT 60620 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | TIMEOUT 61082 | MAYBE 404 | MAYBE 103 | TIMEOUT 60679 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | TIMEOUT 60697 | MAYBE 289 | MAYBE 81 | TIMEOUT 60709 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | MAYBE 383 | NO 234 | MAYBE 84 | MAYBE 160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | TIMEOUT 60669 | MAYBE 245 | MAYBE 71 | TIMEOUT 60322 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | n^0 - n^0 734 | n^0 - n^1 309 | n^0 - n^0 66 | n^0 - n^1 144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | TIMEOUT 60431 | MAYBE 235 | MAYBE 74 | TIMEOUT 60568 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | MAYBE 328 | NO 209 | MAYBE 79 | MAYBE 131 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | MAYBE 44974 | MAYBE 55534 | MAYBE 39698 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | n^0 - n^0 735 | n^0 - n^1 303 | n^0 - n^0 65 | n^0 - n^0 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | TIMEOUT 60443 | TIMEOUT 60136 | MAYBE 72 | n^0 - n^1 22009 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | TIMEOUT 60477 | TIMEOUT 60182 | MAYBE 88 | n^0 - n^1 13526 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | n^0 - n^0 860 | MAYBE 229 | MAYBE 76 | TIMEOUT 60486 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | n^0 - n^0 1133 | MAYBE 292 | n^0 - n^0 82 | TIMEOUT 60958 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | MAYBE 6176 | MAYBE 218 | MAYBE 76 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | TIMEOUT 60890 | MAYBE 309 | MAYBE 103 | TIMEOUT 60651 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | MAYBE 367 | NO 213 | MAYBE 65 | MAYBE 143 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | MAYBE 48292 | MAYBE 252 | MAYBE 87 | TIMEOUT 60692 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60543 | MAYBE 59914 | n^0 - n^0 80 | n^0 - n^1 17522 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | TIMEOUT 60518 | MAYBE 58181 | MAYBE 70 | n^0 - n^1 15848 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | TIMEOUT 60604 | MAYBE 506 | MAYBE 134 | TIMEOUT 61418 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | TIMEOUT 60715 | MAYBE 660 | MAYBE 265 | TIMEOUT 61596 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | TIMEOUT 60664 | MAYBE 669 | MAYBE 257 | TIMEOUT 61038 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml | TIMEOUT 61059 | MAYBE 592 | MAYBE 210 | TIMEOUT 60888 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml | TIMEOUT 61223 | MAYBE 409 | MAYBE 102 | TIMEOUT 60872 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml | TIMEOUT 61030 | MAYBE 323 | MAYBE 81 | TIMEOUT 60642 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | MAYBE 396 | NO 217 | MAYBE 66 | MAYBE 142 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | TIMEOUT 60959 | MAYBE 317 | MAYBE 76 | TIMEOUT 60973 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml | TIMEOUT 61055 | MAYBE 405 | MAYBE 109 | TIMEOUT 60711 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | TIMEOUT 60939 | MAYBE 289 | MAYBE 81 | TIMEOUT 60921 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml | n^0 - n^0 1727 | MAYBE 395 | n^0 - n^0 129 | TIMEOUT 60634 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | n^0 - n^1 9095 | MAYBE 257 | MAYBE 73 | TIMEOUT 60545 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml | TIMEOUT 60439 | MAYBE 255 | MAYBE 77 | TIMEOUT 60288 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | TIMEOUT 61282 | MAYBE 961 | MAYBE 920 | TIMEOUT 60737 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml | TIMEOUT 60703 | MAYBE 274 | MAYBE 78 | TIMEOUT 60682 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml | TIMEOUT 60878 | MAYBE 357 | n^0 - n^0 122 | TIMEOUT 60944 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | TIMEOUT 61217 | MAYBE 480 | MAYBE 133 | TIMEOUT 60856 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml | TIMEOUT 60850 | MAYBE 343 | MAYBE 107 | TIMEOUT 60761 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml | TIMEOUT 60610 | TIMEOUT 60176 | n^0 - n^0 91 | n^0 - n^1 43970 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | MAYBE 12850 | MAYBE 56184 | MAYBE 67 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml | TIMEOUT 61310 | MAYBE 551 | MAYBE 140 | TIMEOUT 60883 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | TIMEOUT 60658 | MAYBE 779 | MAYBE 469 | TIMEOUT 61051 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | TIMEOUT 60426 | MAYBE 25221 | MAYBE 3168 | TIMEOUT 60213 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | TIMEOUT 60677 | MAYBE 29620 | MAYBE 71 | TIMEOUT 60248 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | MAYBE 20367 | MAYBE 13602 | MAYBE 4482 | TIMEOUT 60226 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | TIMEOUT 60491 | MAYBE 36725 | MAYBE 65 | TIMEOUT 60372 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml | n^0 - n^0 1532 | MAYBE 346 | n^0 - n^0 105 | TIMEOUT 60798 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml | n^0 - n^0 2104 | MAYBE 511 | n^0 - n^0 223 | TIMEOUT 60898 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | TIMEOUT 60541 | MAYBE 281 | MAYBE 78 | TIMEOUT 60400 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | n^0 - n^2 8060 | MAYBE 227 | MAYBE 76 | TIMEOUT 60573 |
| tpdb-8.0/TRS/Various_04/03.xml | n^0 - n^0 754 | MAYBE 207 | n^0 - n^0 73 | MAYBE 1322 |
| tpdb-8.0/TRS/Various_04/04.xml | n^0 - n^0 939 | MAYBE 249 | MAYBE 85 | MAYBE 34125 |
| tpdb-8.0/TRS/Various_04/08.xml | n^0 - n^0 945 | MAYBE 257 | MAYBE 78 | TIMEOUT 60222 |
| tpdb-8.0/TRS/Various_04/11.xml | n^0 - n^1 11314 | MAYBE 193 | MAYBE 66 | MAYBE 14085 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 1261 | MAYBE 14034 | MAYBE 69 | n^0 - n^1 197 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^1 1887 | MAYBE 45478 | MAYBE 72 | n^0 - n^1 976 |
| tpdb-8.0/TRS/Various_04/21.xml | n^0 - n^0 979 | MAYBE 31673 | n^0 - n^0 72 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Various_04/22.xml | MAYBE 42148 | MAYBE 217 | MAYBE 87 | MAYBE 8154 |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 1025 | n^0 - n^1 338 | n^0 - n^0 71 | n^0 - n^1 322 |
| tpdb-8.0/TRS/Various_04/26.xml | n^0 - n^0 791 | MAYBE 207 | n^0 - n^0 71 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | n^0 - n^0 744 | MAYBE 45237 | n^0 - n^0 80 | n^0 - n^1 357 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | n^0 - n^0 735 | MAYBE 45238 | n^0 - n^0 62 | n^0 - n^1 405 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | n^0 - n^0 757 | MAYBE 7340 | n^0 - n^0 72 | n^0 - n^1 349 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | n^0 - n^0 734 | n^0 - n^1 364 | n^0 - n^0 61 | n^0 - n^1 412 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 7692 | MAYBE 6535 | MAYBE 88 | TIMEOUT 60218 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | n^0 - n^0 745 | MAYBE 7983 | n^0 - n^0 74 | n^0 - n^1 312 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | n^0 - n^0 749 | MAYBE 19851 | n^0 - n^0 80 | n^0 - n^1 321 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | n^0 - n^0 752 | MAYBE 207 | n^0 - n^0 78 | TIMEOUT 60272 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | n^0 - n^0 746 | MAYBE 6739 | n^0 - n^0 63 | n^0 - n^1 409 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | n^0 - n^0 747 | MAYBE 7856 | n^0 - n^0 79 | n^0 - n^1 531 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | n^0 - n^0 739 | n^0 - n^1 340 | n^0 - n^0 70 | n^0 - n^1 421 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | n^0 - n^0 735 | n^0 - n^1 338 | n^0 - n^0 62 | n^0 - n^1 374 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | n^0 - n^0 750 | n^0 - n^1 400 | n^0 - n^0 74 | n^0 - n^1 505 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | n^0 - n^0 744 | n^0 - n^1 406 | n^0 - n^0 64 | n^0 - n^1 470 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | n^0 - n^0 746 | n^0 - n^1 363 | n^0 - n^0 69 | n^0 - n^1 489 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | n^0 - n^0 756 | n^0 - n^1 345 | n^0 - n^0 80 | n^0 - n^1 393 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | n^0 - n^0 743 | n^0 - n^1 358 | n^0 - n^0 72 | n^0 - n^1 513 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | n^0 - n^0 767 | n^0 - n^1 357 | n^0 - n^0 80 | n^0 - n^1 444 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^0 751 | n^0 - n^1 359 | n^0 - n^0 81 | n^0 - n^1 510 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^0 733 | n^0 - n^1 335 | n^0 - n^0 61 | n^0 - n^1 514 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | n^0 - n^0 744 | n^0 - n^1 348 | n^0 - n^0 62 | n^0 - n^1 479 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | n^0 - n^0 747 | n^0 - n^1 390 | n^0 - n^0 71 | n^0 - n^1 568 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^0 748 | n^0 - n^2 4006 | n^0 - n^0 77 | n^0 - n^1 549 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^0 737 | n^0 - n^1 339 | n^0 - n^0 64 | n^0 - n^1 528 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | n^0 - n^0 791 | n^0 - n^4 14207 | n^0 - n^0 73 | n^0 - n^1 4170 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | n^0 - n^0 804 | MAYBE 45591 | n^0 - n^0 68 | n^0 - n^1 5490 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 13103 | MAYBE 55239 | MAYBE 70 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 40693 | MAYBE 59020 | MAYBE 65 | TIMEOUT 60261 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 43546 | MAYBE 55254 | MAYBE 72 | TIMEOUT 61496 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | TIMEOUT 60552 | n^0 - n^2 3906 | MAYBE 67 | n^0 - n^1 2979 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 4457 | MAYBE 187 | MAYBE 50 | MAYBE 15721 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | n^0 - n^0 804 | MAYBE 6836 | n^0 - n^0 76 | n^0 - n^1 1642 | 742 | 96 | 528 | 229 |