| benchmark | AProVE | TCT |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.18.xml | TIMEOUT 60334 | TIMEOUT 60062 |
| tpdb-8.0/TRS/AG01/#3.1.xml | n^0 - n^2 1220 | n^0 - n^2 382 |
| tpdb-8.0/TRS/AG01/#3.23.xml | n^0 - n^1 991 | n^0 - n^1 55 |
| tpdb-8.0/TRS/AG01/#3.29.xml | n^0 - n^0 725 | n^0 - n^1 72 |
| tpdb-8.0/TRS/AG01/#3.41.xml | n^0 - n^1 1080 | n^0 - n^2 2124 |
| tpdb-8.0/TRS/AG01/#3.48.xml | n^0 - n^2 1146 | TIMEOUT 60092 |
| tpdb-8.0/TRS/AG01/#3.49.xml | TIMEOUT 60365 | n^0 - n^1 50 |
| tpdb-8.0/TRS/AG01/#3.4.xml | TIMEOUT 60349 | TIMEOUT 60049 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 958 | n^0 - n^1 44 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | n^0 - n^1 1004 | n^0 - n^1 266 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 1017 | n^0 - n^1 41 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | n^0 - n^2 3339 | TIMEOUT 60100 |
| tpdb-8.0/TRS/AG01/#3.5.xml | n^0 - n^2 3285 | n^0 - n^2 450 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | n^0 - n^2 3828 | TIMEOUT 60210 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | TIMEOUT 60834 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | TIMEOUT 60480 | MAYBE 53451 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | TIMEOUT 60423 | TIMEOUT 60054 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | n^0 - n^1 1008 | TIMEOUT 60101 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | TIMEOUT 60520 | TIMEOUT 60113 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^1 6110 | n^0 - n^1 91 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | TIMEOUT 60392 | TIMEOUT 60099 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | TIMEOUT 60580 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^1 27133 | TIMEOUT 60132 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 5714 | n^0 - n^0 98 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | TIMEOUT 60452 | TIMEOUT 60070 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | TIMEOUT 60372 | TIMEOUT 60132 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | TIMEOUT 60474 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | TIMEOUT 60464 | TIMEOUT 60105 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | TIMEOUT 60376 | TIMEOUT 60161 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | TIMEOUT 60500 | TIMEOUT 60075 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | TIMEOUT 60369 | TIMEOUT 60105 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | TIMEOUT 60322 | MAYBE 39891 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | TIMEOUT 60505 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | TIMEOUT 60406 | TIMEOUT 60129 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | TIMEOUT 60346 | TIMEOUT 60125 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | TIMEOUT 60427 | TIMEOUT 60105 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | n^0 - n^1 24405 | TIMEOUT 60311 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | TIMEOUT 60889 | TIMEOUT 60086 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | TIMEOUT 60291 | TIMEOUT 60136 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | TIMEOUT 60436 | MAYBE 55137 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | TIMEOUT 60287 | TIMEOUT 60143 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | TIMEOUT 60494 | TIMEOUT 60109 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | TIMEOUT 60408 | TIMEOUT 60085 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | TIMEOUT 60306 | TIMEOUT 60078 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | TIMEOUT 60377 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | TIMEOUT 60257 | TIMEOUT 60098 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | TIMEOUT 60445 | MAYBE 35938 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | TIMEOUT 60491 | TIMEOUT 60093 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | TIMEOUT 60353 | TIMEOUT 60071 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | TIMEOUT 60351 | TIMEOUT 60171 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | TIMEOUT 60391 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | TIMEOUT 60469 | MAYBE 23810 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | TIMEOUT 60553 | TIMEOUT 60042 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | TIMEOUT 60579 | MAYBE 24913 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | TIMEOUT 60778 | MAYBE 27896 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | TIMEOUT 60583 | TIMEOUT 60171 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | TIMEOUT 60317 | TIMEOUT 60106 |
| tpdb-8.0/TRS/AProVE_08/log.xml | TIMEOUT 60449 | TIMEOUT 60112 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | TIMEOUT 60500 | TIMEOUT 60102 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | TIMEOUT 60375 | MAYBE 50978 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | TIMEOUT 60689 | TIMEOUT 60101 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | TIMEOUT 60769 | MAYBE 40279 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | TIMEOUT 60498 | TIMEOUT 60093 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | TIMEOUT 60232 | TIMEOUT 60091 |
| tpdb-8.0/TRS/AProVE_08/round.xml | TIMEOUT 60200 | TIMEOUT 60105 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | TIMEOUT 60191 | TIMEOUT 60085 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | TIMEOUT 60483 | TIMEOUT 60108 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | TIMEOUT 60370 | TIMEOUT 60123 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | TIMEOUT 60488 | TIMEOUT 60065 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | TIMEOUT 60372 | TIMEOUT 60148 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | TIMEOUT 60356 | TIMEOUT 60075 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | TIMEOUT 60349 | TIMEOUT 60103 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | TIMEOUT 60652 | TIMEOUT 60104 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | TIMEOUT 60396 | TIMEOUT 60090 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | TIMEOUT 60472 | MAYBE 23962 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | TIMEOUT 60359 | TIMEOUT 60071 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | TIMEOUT 60289 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | TIMEOUT 60313 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | TIMEOUT 60256 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | TIMEOUT 60437 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | TIMEOUT 60388 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | TIMEOUT 60505 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | n^0 - n^2 46196 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | n^0 - n^2 59097 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | TIMEOUT 60154 | TIMEOUT 60177 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | TIMEOUT 60355 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | TIMEOUT 60374 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | TIMEOUT 60837 | TIMEOUT 60100 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | TIMEOUT 60449 | TIMEOUT 60078 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | n^0 - n^1 1540 | TIMEOUT 60113 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 12615 | TIMEOUT 60091 |
| tpdb-8.0/TRS/CiME_04/append.xml | n^0 - n^1 977 | n^0 - n^1 82 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^0 752 | n^0 - n^1 49 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | TIMEOUT 60501 | TIMEOUT 60159 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | TIMEOUT 60719 | TIMEOUT 60161 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | TIMEOUT 60506 | TIMEOUT 60062 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | TIMEOUT 60633 | TIMEOUT 60186 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | n^0 - n^1 15941 | TIMEOUT 60236 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | TIMEOUT 60547 | MAYBE 38568 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 934 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 1194 | n^0 - n^2 192 |
| tpdb-8.0/TRS/Der95/08.xml | n^0 - n^1 1094 | n^0 - n^1 3636 |
| tpdb-8.0/TRS/Der95/11.xml | n^0 - n^1 1698 | n^0 - n^1 14735 |
| tpdb-8.0/TRS/Der95/12.xml | TIMEOUT 60409 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Der95/20.xml | TIMEOUT 60744 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Der95/21.xml | TIMEOUT 60352 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 977 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Der95/31.xml | n^0 - n^1 1259 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Der95/32.xml | n^0 - n^2 3737 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Der95/33.xml | n^0 - n^1 7469 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | TIMEOUT 60600 | n^0 - n^1 71 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | TIMEOUT 60274 | TIMEOUT 60091 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | TIMEOUT 60418 | TIMEOUT 60125 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | TIMEOUT 60359 | TIMEOUT 60093 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | TIMEOUT 60537 | TIMEOUT 60093 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | TIMEOUT 60296 | TIMEOUT 60126 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | TIMEOUT 60330 | TIMEOUT 60085 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | TIMEOUT 60814 | TIMEOUT 60088 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | TIMEOUT 60415 | TIMEOUT 60046 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | TIMEOUT 61023 | TIMEOUT 60076 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | TIMEOUT 60365 | TIMEOUT 60048 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | TIMEOUT 60444 | MAYBE 23874 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 999 | TIMEOUT 60114 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 1062 | TIMEOUT 60129 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | TIMEOUT 60410 | TIMEOUT 60069 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | TIMEOUT 60050 | n^0 - n^1 5999 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 1136 | TIMEOUT 60119 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | TIMEOUT 60391 | TIMEOUT 60042 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | TIMEOUT 60417 | TIMEOUT 60079 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | TIMEOUT 60333 | MAYBE 52842 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60584 | n^0 - n^1 177 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | TIMEOUT 60558 | ERROR 5573 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | n^0 - n^2 1859 | n^0 - n^2 1381 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | TIMEOUT 60628 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | TIMEOUT 60531 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | TIMEOUT 60480 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | n^0 - n^1 1010 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^1 950 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | n^0 - n^1 984 | n^0 - n^1 7659 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 975 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | TIMEOUT 60118 | n^0 - n^1 4981 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | TIMEOUT 60778 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | TIMEOUT 60466 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | TIMEOUT 60229 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 1361 | n^0 - n^1 70 |
| tpdb-8.0/TRS/Rubio_04/division.xml | n^0 - n^3 8646 | n^0 - n^3 52024 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 962 | n^0 - n^1 45 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | n^0 - n^2 1391 | n^0 - n^1 580 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^0 714 | n^0 - n^2 136 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | n^0 - n^2 3715 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^0 717 | n^0 - n^1 37 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | TIMEOUT 60481 | MAYBE 37130 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | TIMEOUT 60344 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | TIMEOUT 60412 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | n^0 - n^2 7201 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | n^0 - n^2 57729 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | TIMEOUT 60412 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | n^0 - n^2 8345 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | TIMEOUT 60412 | MAYBE 24858 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | n^0 - n^1 3000 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | TIMEOUT 60549 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | n^0 - n^0 725 | n^0 - n^0 46 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | TIMEOUT 60859 | MAYBE 37831 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | TIMEOUT 60758 | MAYBE 56907 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | n^0 - n^0 740 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 2433 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | n^0 - n^1 12047 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | TIMEOUT 60871 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | TIMEOUT 60361 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | TIMEOUT 60435 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | n^0 - n^0 762 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | TIMEOUT 60570 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | TIMEOUT 60670 | MAYBE 48466 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | TIMEOUT 60754 | MAYBE 42904 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | TIMEOUT 60614 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | TIMEOUT 60890 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | TIMEOUT 60367 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | n^0 - n^1 2098 | MAYBE 57874 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | TIMEOUT 60429 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | TIMEOUT 60361 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | TIMEOUT 60363 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | TIMEOUT 60433 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | TIMEOUT 60406 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | TIMEOUT 60626 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | TIMEOUT 60982 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | TIMEOUT 60607 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | TIMEOUT 60784 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | n^0 - n^1 1157 | n^0 - n^2 662 |
| tpdb-8.0/TRS/SK90/2.07.xml | n^0 - n^1 1224 | TIMEOUT 60095 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^1 1006 | n^0 - n^1 65 |
| tpdb-8.0/TRS/SK90/2.19.xml | n^0 - n^2 3993 | TIMEOUT 60085 |
| tpdb-8.0/TRS/SK90/2.24.xml | TIMEOUT 60188 | TIMEOUT 60144 |
| tpdb-8.0/TRS/SK90/2.37.xml | n^0 - n^1 967 | n^0 - n^0 58 |
| tpdb-8.0/TRS/SK90/2.42.xml | n^0 - n^1 2735 | TIMEOUT 60060 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 21673 | TIMEOUT 60064 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^0 761 | n^0 - n^1 63 |
| tpdb-8.0/TRS/SK90/2.50.xml | n^0 - n^1 926 | n^0 - n^1 28 |
| tpdb-8.0/TRS/SK90/2.51.xml | TIMEOUT 60415 | TIMEOUT 60101 |
| tpdb-8.0/TRS/SK90/2.52.xml | TIMEOUT 60481 | MAYBE 38784 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^1 953 | n^0 - n^1 54 |
| tpdb-8.0/TRS/SK90/2.59.xml | n^0 - n^1 945 | n^0 - n^2 125 |
| tpdb-8.0/TRS/SK90/4.05.xml | n^0 - n^2 1043 | TIMEOUT 60122 |
| tpdb-8.0/TRS/SK90/4.17.xml | TIMEOUT 60120 | n^0 - n^2 659 |
| tpdb-8.0/TRS/SK90/4.24.xml | TIMEOUT 60395 | TIMEOUT 60072 |
| tpdb-8.0/TRS/SK90/4.30.xml | TIMEOUT 60392 | n^0 - n^1 57 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 942 | n^0 - n^1 55 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^0 755 | n^0 - n^0 82 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^1 978 | n^0 - n^1 32 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 22987 | TIMEOUT 60152 |
| tpdb-8.0/TRS/SK90/4.60.xml | TIMEOUT 60552 | TIMEOUT 60069 |
| tpdb-8.0/TRS/SK90/4.61.xml | TIMEOUT 60421 | MAYBE 31291 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | n^0 - n^2 21855 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | MAYBE 286 | ERROR 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | TIMEOUT 60472 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^1 972 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^1 969 | n^0 - n^1 158 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | n^0 - n^1 1471 | n^0 - n^1 924 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | TIMEOUT 60528 | MAYBE 40010 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | MAYBE 277 | ERROR 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | TIMEOUT 61004 | MAYBE 43710 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | TIMEOUT 60366 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | TIMEOUT 60972 | MAYBE 32227 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 1016 | n^0 - n^1 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | MAYBE 294 | ERROR 52 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | TIMEOUT 60404 | MAYBE 59614 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | TIMEOUT 60513 | MAYBE 46089 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | TIMEOUT 60737 | MAYBE 58005 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | TIMEOUT 60679 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | MAYBE 260 | ERROR 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | TIMEOUT 60457 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | n^0 - n^1 1172 | n^0 - n^2 572 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | TIMEOUT 60876 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | TIMEOUT 60709 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml | TIMEOUT 60398 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | MAYBE 389 | ERROR 227 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | TIMEOUT 60415 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | TIMEOUT 61150 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | TIMEOUT 60893 | MAYBE 50560 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | TIMEOUT 60855 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | TIMEOUT 60588 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml | TIMEOUT 61042 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | TIMEOUT 60939 | MAYBE 51872 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | n^0 - n^1 9432 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | MAYBE 282 | ERROR 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | TIMEOUT 60819 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | TIMEOUT 60447 | n^0 - n^1 3358 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | n^0 - n^1 48330 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Various_04/04.xml | n^0 - n^0 838 | n^0 - n^0 106 |
| tpdb-8.0/TRS/Various_04/08.xml | n^0 - n^0 879 | n^0 - n^0 95 |
| tpdb-8.0/TRS/Various_04/10.xml | n^0 - n^2 25595 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Various_04/11.xml | n^0 - n^0 3977 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Various_04/12.xml | TIMEOUT 60481 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Various_04/14.xml | n^0 - n^2 29132 | TIMEOUT 60196 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 1079 | n^0 - n^1 34 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^1 2493 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Various_04/22.xml | n^0 - n^1 2232 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^1 1002 | n^0 - n^1 37 |
| tpdb-8.0/TRS/Various_04/24.xml | TIMEOUT 60408 | MAYBE 50298 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | TIMEOUT 60171 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | TIMEOUT 60177 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | TIMEOUT 60551 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | TIMEOUT 60316 | n^0 - n^1 48 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | TIMEOUT 60420 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | TIMEOUT 60349 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | TIMEOUT 60313 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | TIMEOUT 60434 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | TIMEOUT 60413 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | TIMEOUT 60415 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | TIMEOUT 60436 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | TIMEOUT 60441 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | TIMEOUT 60315 | TIMEOUT 60076 | 159 | 112 |