| benchmark | CaT | TCT |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.18.xml | MAYBE 312 | TIMEOUT 60081 |
| tpdb-8.0/TRS/AG01/#3.1.xml | MAYBE 306 | n^0 - n^2 412 |
| tpdb-8.0/TRS/AG01/#3.23.xml | MAYBE 300 | n^0 - n^1 51 |
| tpdb-8.0/TRS/AG01/#3.29.xml | MAYBE 302 | n^0 - n^1 38 |
| tpdb-8.0/TRS/AG01/#3.41.xml | MAYBE 305 | n^0 - n^2 2137 |
| tpdb-8.0/TRS/AG01/#3.48.xml | MAYBE 314 | TIMEOUT 60065 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 55494 | n^0 - n^1 35 |
| tpdb-8.0/TRS/AG01/#3.4.xml | MAYBE 315 | TIMEOUT 60082 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 457 | n^0 - n^1 45 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | MAYBE 308 | n^0 - n^2 4071 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 425 | n^0 - n^1 47 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | MAYBE 314 | TIMEOUT 60101 |
| tpdb-8.0/TRS/AG01/#3.5.xml | MAYBE 314 | n^0 - n^2 405 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | MAYBE 312 | TIMEOUT 60100 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 392 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MAYBE 337 | MAYBE 52044 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 311 | TIMEOUT 60053 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 313 | TIMEOUT 60109 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 336 | TIMEOUT 60067 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^1 483 | TIMEOUT 60122 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 55607 | TIMEOUT 60123 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^1 535 | n^0 - n^2 25233 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^1 514 | TIMEOUT 60116 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 305 | n^0 - n^0 91 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | MAYBE 313 | TIMEOUT 60071 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 327 | TIMEOUT 60084 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 327 | TIMEOUT 60080 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 316 | TIMEOUT 60096 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 55439 | n^0 - n^1 40 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 324 | TIMEOUT 60084 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 320 | TIMEOUT 60078 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 55407 | MAYBE 37776 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 334 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 319 | TIMEOUT 60060 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 55497 | n^0 - n^1 44 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 316 | TIMEOUT 60111 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | MAYBE 355 | TIMEOUT 60074 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | MAYBE 328 | TIMEOUT 60093 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 309 | TIMEOUT 60109 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | MAYBE 325 | MAYBE 56642 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 310 | TIMEOUT 60117 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | MAYBE 318 | TIMEOUT 60092 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | MAYBE 382 | TIMEOUT 60091 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 314 | TIMEOUT 60069 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | MAYBE 317 | TIMEOUT 60082 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 311 | TIMEOUT 60116 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 324 | MAYBE 36949 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | MAYBE 345 | TIMEOUT 60094 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 351 | TIMEOUT 60068 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | MAYBE 317 | TIMEOUT 60172 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | MAYBE 318 | TIMEOUT 60056 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | MAYBE 325 | MAYBE 31773 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 366 | MAYBE 47544 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 330 | MAYBE 33201 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | MAYBE 332 | MAYBE 34150 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 329 | TIMEOUT 60161 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 360 | TIMEOUT 60151 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 318 | TIMEOUT 60080 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 324 | MAYBE 53211 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 322 | MAYBE 42658 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 326 | TIMEOUT 60093 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 333 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 328 | TIMEOUT 60102 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 30030 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 11658 | TIMEOUT 60080 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 317 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | MAYBE 326 | TIMEOUT 60091 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 321 | TIMEOUT 60088 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 320 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 320 | TIMEOUT 60105 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 315 | TIMEOUT 60089 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 330 | TIMEOUT 60082 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 327 | TIMEOUT 60101 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MAYBE 320 | TIMEOUT 60065 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | MAYBE 340 | MAYBE 25081 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 327 | MAYBE 52139 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 319 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | MAYBE 319 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | MAYBE 312 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | MAYBE 323 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | MAYBE 325 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 321 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 311 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | MAYBE 312 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 306 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | MAYBE 307 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 313 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 315 | TIMEOUT 60091 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 309 | TIMEOUT 60082 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | MAYBE 311 | TIMEOUT 60161 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 351 | TIMEOUT 60119 |
| tpdb-8.0/TRS/CiME_04/append.xml | MAYBE 310 | n^0 - n^2 215 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 433 | n^0 - n^1 38 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 55593 | n^0 - n^1 47 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 334 | TIMEOUT 60450 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 319 | TIMEOUT 60066 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 338 | TIMEOUT 60248 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MAYBE 754 | TIMEOUT 60183 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 338 | MAYBE 38037 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 393 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 409 | n^0 - n^2 168 |
| tpdb-8.0/TRS/Der95/08.xml | MAYBE 308 | n^0 - n^1 4054 |
| tpdb-8.0/TRS/Der95/11.xml | MAYBE 327 | n^0 - n^1 18752 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 306 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 30569 | n^0 - n^1 39 |
| tpdb-8.0/TRS/Der95/21.xml | MAYBE 309 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 389 | n^0 - n^1 30 |
| tpdb-8.0/TRS/Der95/31.xml | MAYBE 308 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 314 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 316 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 1189 | n^0 - n^1 62 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 310 | TIMEOUT 60104 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 314 | TIMEOUT 60085 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 310 | TIMEOUT 60095 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 313 | TIMEOUT 60104 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 313 | TIMEOUT 60092 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 305 | TIMEOUT 60085 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 316 | TIMEOUT 60086 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 318 | TIMEOUT 60084 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 331 | TIMEOUT 60085 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 312 | TIMEOUT 60063 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 319 | TIMEOUT 60057 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 10324 | n^0 - n^1 720 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 10323 | n^0 - n^1 29 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 10325 | TIMEOUT 60078 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 10329 | n^0 - n^1 6465 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 304 | TIMEOUT 60107 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 323 | MAYBE 41806 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 324 | TIMEOUT 60086 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 24633 | n^0 - n^1 38 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 56030 | n^0 - n^1 188 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 308 | MAYBE 5828 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | MAYBE 316 | MAYBE 56714 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 319 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 328 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | MAYBE 316 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | MAYBE 307 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^1 396 | n^0 - n^1 34 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | MAYBE 305 | n^0 - n^1 7838 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 399 | n^0 - n^1 47 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 306 | n^0 - n^1 4827 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 325 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | MAYBE 326 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 307 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^1 1313 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Rubio_04/division.xml | MAYBE 319 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 437 | n^0 - n^1 36 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | MAYBE 312 | n^0 - n^2 400 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 479 | n^0 - n^2 122 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 313 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 400 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 329 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 310 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 340 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | MAYBE 320 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 315 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 317 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 327 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 320 | MAYBE 24470 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | MAYBE 316 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 333 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MAYBE 309 | n^0 - n^1 288 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 388 | MAYBE 38758 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 311 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | MAYBE 304 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 10326 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | n^0 - n^1 410 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 339 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | MAYBE 316 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MAYBE 328 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | MAYBE 312 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | MAYBE 324 | MAYBE 54538 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MAYBE 317 | MAYBE 49917 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 328 | MAYBE 43131 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | MAYBE 327 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 327 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | MAYBE 323 | MAYBE 59782 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | n^0 - n^1 531 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 337 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 332 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 353 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 331 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 334 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 325 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 333 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 331 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | MAYBE 327 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | MAYBE 325 | MAYBE 41308 |
| tpdb-8.0/TRS/SK90/2.07.xml | MAYBE 313 | TIMEOUT 60070 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^1 404 | n^0 - n^1 35 |
| tpdb-8.0/TRS/SK90/2.19.xml | MAYBE 312 | TIMEOUT 60085 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 306 | n^0 - n^1 82 |
| tpdb-8.0/TRS/SK90/2.37.xml | MAYBE 305 | n^0 - n^1 54 |
| tpdb-8.0/TRS/SK90/2.42.xml | n^0 - n^1 434 | TIMEOUT 60096 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 314 | MAYBE 35905 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^1 433 | n^0 - n^1 57 |
| tpdb-8.0/TRS/SK90/2.50.xml | n^0 - n^1 386 | n^0 - n^1 69 |
| tpdb-8.0/TRS/SK90/2.51.xml | MAYBE 303 | TIMEOUT 60092 |
| tpdb-8.0/TRS/SK90/2.52.xml | MAYBE 328 | MAYBE 38594 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^2 5977 | n^0 - n^1 32 |
| tpdb-8.0/TRS/SK90/2.59.xml | MAYBE 300 | n^0 - n^2 129 |
| tpdb-8.0/TRS/SK90/4.05.xml | MAYBE 309 | TIMEOUT 60121 |
| tpdb-8.0/TRS/SK90/4.17.xml | MAYBE 308 | n^0 - n^2 50528 |
| tpdb-8.0/TRS/SK90/4.24.xml | MAYBE 310 | TIMEOUT 60078 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^1 453 | n^0 - n^1 68 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 383 | n^0 - n^1 55 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 1045 | n^0 - n^0 50 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^1 500 | n^0 - n^1 34 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 317 | n^0 - n^2 1713 |
| tpdb-8.0/TRS/SK90/4.60.xml | MAYBE 316 | TIMEOUT 60100 |
| tpdb-8.0/TRS/SK90/4.61.xml | MAYBE 326 | MAYBE 32252 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 315 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | NO 316 | ERROR 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | MAYBE 329 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^1 435 | n^0 - n^2 322 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^1 470 | n^0 - n^2 327 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | MAYBE 329 | MAYBE 55902 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | MAYBE 333 | MAYBE 58690 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | NO 311 | ERROR 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | MAYBE 352 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | MAYBE 315 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | MAYBE 351 | MAYBE 32219 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 555 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | NO 344 | ERROR 54 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | MAYBE 340 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | MAYBE 352 | MAYBE 31468 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | MAYBE 328 | MAYBE 55095 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | MAYBE 309 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | NO 311 | ERROR 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | MAYBE 55469 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | MAYBE 327 | MAYBE 42256 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 364 | MAYBE 57152 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | n^0 - n^1 1192 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml | MAYBE 873 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | NO 437 | ERROR 195 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 616 | MAYBE 54326 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | MAYBE 394 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | MAYBE 471 | MAYBE 48134 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | MAYBE 56150 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | MAYBE 710 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml | MAYBE 493 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | MAYBE 55679 | MAYBE 59489 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | n^0 - n^2 14434 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | NO 355 | ERROR 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | MAYBE 355 | MAYBE 35744 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | MAYBE 322 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | n^0 - n^1 583 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Various_04/04.xml | MAYBE 341 | n^0 - n^0 87 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 342 | n^0 - n^0 100 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 330 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Various_04/11.xml | MAYBE 307 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 319 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 538 | TIMEOUT 60248 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 406 | n^0 - n^1 34 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^1 414 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Various_04/22.xml | MAYBE 303 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 7910 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 2499 | n^0 - n^1 43 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | n^0 - n^1 402 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | n^0 - n^1 402 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 314 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 55515 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 55407 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 55486 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 55543 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 55449 | n^0 - n^1 34 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 55423 | n^0 - n^1 34 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 55536 | n^0 - n^1 47 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^1 419 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 309 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 306 | TIMEOUT 60080 | 77 | 133 |