| TRS | | Secret_05_TRS/tpa5.xml |
n | MAYBE | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2514 | 4416 |
| TRS | | Secret_05_TRS/tpa1.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 1897 | 4217 |
| TRS | | Secret_05_TRS/tpa3.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 2113 | 4272 |
| TRS | | Secret_05_TRS/ttt2.xml |
? | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 3 | 1153 |
| TRS | | Secret_05_TRS/aprove3.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 898 | 4219 |
| TRS | | Secret_05_TRS/cime4.xml |
? | MAYBE | False | (1,1) | (1,1) | (1,1) | (?,?) | (1,1) | | 13 | 1222 |
| TRS | | Secret_05_TRS/tpa4.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 2106 | 4248 |
| TRS | | Secret_05_TRS/aprove2.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 6431 | 4288 |
| TRS | | Secret_05_TRS/tpa2.xml |
n | MAYBE | False | (n,n^2) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 1107 | 4284 |
| TRS | | GTSSK07/cade13t.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 6340 | 4268 |
| TRS | | GTSSK07/cade16.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 3388 | 4328 |
| TRS | | GTSSK07/cade09.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 12003 | 4437 |
| TRS | | GTSSK07/cade11.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 3849 | 7079 |
| TRS | | GTSSK07/cade17.xml |
n^3 | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 2595 | 4434 |
| TRS | | GTSSK07/cade10.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 11649 | 4482 |
| TRS | | GTSSK07/cade12t.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 8779 | 4273 |
| TRS | | GTSSK07/cade14.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 2789 | 4317 |
| TRS | | GTSSK07/cade05t.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 1308 | 4363 |
| TRS | | GTSSK07/cade15.xml |
n^2 | MAYBE | True | NONP | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 12908 | 4434 |
| TRS | | GTSSK07/cade06.xml |
n | MAYBE | False | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 23200 | 4491 |
| TRS | | GTSSK07/cade03.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 1921 | 4313 |
| TRS | | GTSSK07/cade07.xml |
n | MAYBE | False | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 5201 | 6465 |
| TRS | | GTSSK07/cade01.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 1850 | 4359 |
| TRS | | GTSSK07/cade08.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 19100 | 4451 |
| TRS | | raML/duplicates.raml.xml |
n | MAYBE | True | (?,n^3) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | * | 73113 | 4846 |
| TRS | | raML/dyade.raml.xml |
n | MAYBE | True | (?,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | * | 8845 | 4546 |
| TRS | | raML/rationalPotential.raml.xml |
n^2 | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 2686 | 5199 |
| TRS | | raML/insertionsort.raml.xml |
n | MAYBE | True | (?,n^2) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 38491 | 4994 |
| TRS | | raML/subtrees.raml.xml |
n^2 | YES | True | (?,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | = | 6402 | 4356 |
| TRS | | raML/splitandsort.raml.xml |
n | MAYBE | True | (?,n^5) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | * | 32726 | 4645 |
| TRS | | raML/clevermmult.raml.xml |
n^2 | MAYBE | True | (?,n^3) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | = | 20217 | 4718 |
| TRS | | raML/mergesort.raml.xml |
n | MAYBE | True | (?,n^2) | (?,?) | (n,?) | (?,?) | (n,n^2) | * | 107863 | 5170 |
| TRS | | raML/bitvectors.raml.xml |
exp | MAYBE | True | (?,n^2) | (?,?) | (n,n^5) | (?,?) | (n,n^2) | ^ | 18833 | 4728 |
| TRS | | raML/bfs.raml.xml |
n^2 | MAYBE | True | (?,n^2) | (?,?) | (?,?) | (?,n^3) | (n,n^2) | = | 6442 | 4313 |
| TRS | | raML/quicksort.raml.xml |
n | MAYBE | True | (?,n^2) | (?,?) | (n^2,n^2) | (?,?) | (n^2,n^2) | ✘ | 35232 | 4662 |
| TRS | | raML/appendAll.raml.xml |
n | YES | True | (?,?) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 35069 | 4639 |
| TRS | | raML/bft_mmult.raml.xml |
n^2 | MAYBE | True | (?,n^4) | (?,?) | (n,?) | (?,?) | (n,n^4) | * | 19910 | 4673 |
| TRS | | raML/queue.raml.xml |
n^2 | YES | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 24147 | 4853 |
| TRS | | raML/minsort.raml.xml |
n | MAYBE | True | (?,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | * | 30602 | 4508 |
| TRS | | raML/listsort.raml.xml |
n | MAYBE | True | (?,n^3) | (?,?) | (n,n^2) | (?,n^2) | (n,n^2) | * | 18982 | 4429 |
| TRS | | raML/flatten.raml.xml |
n | MAYBE | True | (?,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | * | 29585 | 4582 |
| TRS | | raML/eratosthenes.raml.xml |
n | MAYBE | True | (?,n^2) | (?,n^2) | (n,n^2) | (?,?) | (n,n^2) | * | 34407 | 4447 |
| TRS | | raML/longestCommonSubsequence.raml.xml |
n | MAYBE | True | (?,n^2) | (?,?) | (n,n^2) | (?,n^2) | (n,n^2) | * | 116011 | 5396 |
| TRS | | raML/matrix.raml.xml |
n^2 | MAYBE | True | (?,n^5) | (?,?) | (n,?) | (?,?) | (n,n^4) | * | 65766 | 5136 |
| TRS | | CiME_04/filliatre2.xml |
exp | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 8052 | 4291 |
| TRS | | CiME_04/append.xml |
n | YES | True | (?,n) | (?,n) | (n,n) | (?,n^2) | (n,n) | ✔ | 1031 | 4373 |
| TRS | | CiME_04/fact-hard.xml |
exp | MAYBE | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 2253 | 4392 |
| TRS | | CiME_04/ack_prolog.xml |
exp | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 1472 | 4214 |
| TRS | | CiME_04/list-sum-prod.xml |
n^2 | YES | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 73886 | 4918 |
| TRS | | CiME_04/append-wrong.xml |
1 | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 13 | 1200 |
| TRS | | CiME_04/filliatre3.xml |
exp | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 21019 | 4481 |
| TRS | | CiME_04/filliatre.xml |
n^2 | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 13667 | 4338 |
| TRS | | CiME_04/append-hard.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 1137 | 4414 |
| TRS | | AG01/#3.24.xml |
n^2 | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 3625 | 5691 |
| TRS | | AG01/#3.15.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n^2) | (n,n) | ✔ | 17990 | 4462 |
| TRS | | AG01/#3.6a.xml |
n^2 | YES | True | (n,n^2) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | ^ | 3108 | 4382 |
| TRS | | AG01/#3.52.xml |
no values | YES | False | (n,n) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | | 0 | 1118 |
| TRS | | AG01/#3.13.xml |
n | YES | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 11405 | 4507 |
| TRS | | AG01/#3.53b.xml |
no values | YES | False | (n,n) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | | 0 | 1119 |
| TRS | | AG01/#3.33.xml |
no values | YES | True | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | | 0 | 1121 |
| TRS | | AG01/#3.1.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n^2) | (n,n) | ✔ | 1677 | 4211 |
| TRS | | AG01/#3.41.xml |
n | YES | True | (?,n^2) | (?,n^3) | (n,n) | (?,?) | (n,n) | ✔ | 294 | 4305 |
| TRS | | AG01/#3.53.xml |
n^2 | YES | True | (n,n^3) | (?,n^3) | (n^3,n^3) | (?,n^3) | (n^3,n^3) | ✘ | 6226 | 4340 |
| TRS | | AG01/#3.6b.xml |
exp | YES | True | (n,n^3) | (?,?) | (n,n^3) | (?,n^3) | (n,n^3) | ^ | 3242 | 4430 |
| TRS | | AG01/#3.6.xml |
n^2 | YES | True | (n,n^2) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | ^ | 2632 | 4350 |
| TRS | | AG01/#3.38.xml |
exp | YES | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 1511 | 4399 |
| TRS | | AG01/#3.5.xml |
n^2 | YES | True | (n,n^2) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | ^ | 5168 | 4352 |
| TRS | | AG01/#3.8a.xml |
n^2 | YES | True | (n,n^3) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | ^ | 1686 | 4345 |
| TRS | | AG01/#3.2.xml |
n | YES | True | (n,n^2) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | ✔ | 1619 | 4280 |
| TRS | | AG01/#3.16.xml |
exp | YES | False | (n,n^3) | (?,n^3) | (n^2,n^3) | (?,n^3) | (n^2,n^3) | ^ | 2673 | 4224 |
| TRS | | AG01/#3.49.xml |
no values | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1118 |
| TRS | | AG01/#3.35.xml |
n | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 2964 | 5845 |
| TRS | | AG01/#3.31.xml |
no values | YES | True | NONP | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1093 |
| TRS | | AG01/#4.30c.xml |
n^2 | YES | True | (?,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 2568 | 4434 |
| TRS | | AG01/#3.26.xml |
n | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 443 | 4231 |
| TRS | | AG01/#3.7.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n^2) | (n,n) | ✔ | 2221 | 5202 |
| TRS | | AG01/#3.37.xml |
n | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 5708 | 5560 |
| TRS | | AG01/#3.42.xml |
n | YES | True | (n,n) | (?,n^3) | (n,n) | (?,n^3) | (n,n) | ✔ | 1407 | 4404 |
| TRS | | AG01/#3.48.xml |
n | YES | False | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | * | 4061 | 5078 |
| TRS | | AG01/#3.5a.xml |
n^2 | YES | True | (n,n^2) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | ^ | 3769 | 4349 |
| TRS | | AG01/#3.47.xml |
no values | YES | False | (n,n^2) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | | 0 | 1116 |
| TRS | | AG01/#3.36.xml |
exp | YES | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2342 | 6026 |
| TRS | | AG01/#3.23.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 3636 | 5247 |
| TRS | | AG01/#3.18.xml |
n | YES | False | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 5106 | 4297 |
| TRS | | AG01/#3.10.xml |
n | YES | True | (n,?) | (?,?) | (n,n^4) | (?,?) | (n,n^4) | * | 7039 | 4351 |
| TRS | | AG01/#3.12.xml |
n^2 | YES | True | (n,n^3) | (?,?) | (n^3,n^3) | (?,n^3) | (n^3,n^3) | ✘ | 982 | 4255 |
| TRS | | AG01/#3.55.xml |
n | YES | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | ✘ | 3960 | 4287 |
| TRS | | AG01/#3.5b.xml |
n^3 | YES | True | (n,n^3) | (?,n^3) | (n,n^3) | (?,n^3) | (n,n^3) | = | 2823 | 4401 |
| TRS | | AG01/#3.8b.xml |
n^3 | YES | True | (n,n^4) | (?,n^5) | (n,n^3) | (?,n^3) | (n,n^3) | = | 2650 | 4334 |
| TRS | | Zantema_05/z17.xml |
no values | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | | 0 | 1110 |
| TRS | | Zantema_05/z18.xml |
no values | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | | 0 | 1117 |
| TRS | | Zantema_05/z15.xml |
no values | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1114 |
| TRS | | Zantema_05/z14.xml |
no values | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1118 |
| TRS | | Zantema_05/z23.xml |
no values | MAYBE | False | (n,?) | (?,?) | (n,n) | (?,n) | (n,n) | | 0 | 1117 |
| TRS | | Zantema_05/z27.xml |
no values | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1117 |
| TRS | | Zantema_05/z24.xml |
no values | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1177 |
| TRS | | Zantema_05/z12.xml |
no values | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1114 |
| TRS | | Zantema_05/z16.xml |
no values | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | | 0 | 1115 |
| TRS | | Zantema_05/z13.xml |
no values | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1115 |
| TRS | | Endrullis_06/direct.xml |
no values | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1116 |
| TRS | | AProVE_04/AAECC-ring.xml |
exp | MAYBE | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 5517 | 4742 |
| TRS | | AProVE_04/rta3.xml |
n | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 18867 | 4422 |
| TRS | | AProVE_04/JFP_Ex51.xml |
exp | YES | False | (n,n^3) | (?,n^2) | (n,?) | (?,n^2) | (n,n^2) | ^ | 10662 | 4272 |
| TRS | | AProVE_04/fac.xml |
n^3 | YES | False | (n,?) | (?,?) | (n^2,n^2) | (?,?) | (n^2,n^2) | ^ | 2015 | 4272 |
| TRS | | AProVE_04/rta2.xml |
no values | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1115 |
| TRS | | AProVE_04/IJCAR_1.xml |
n | YES | False | (n,n) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 20749 | 4631 |
| TRS | | AProVE_04/rta1.xml |
exp | YES | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 10617 | 4299 |
| TRS | | AProVE_04/AAECC.xml |
exp | MAYBE | True | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | ^ | 7671 | 4914 |
| TRS | | AProVE_07/otto07.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 1876 | 4358 |
| TRS | | AProVE_07/thiemann13.xml |
n^3 | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | ^ | 5863 | 4387 |
| TRS | | AProVE_07/thiemann36.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 10102 | 4386 |
| TRS | | AProVE_07/thiemann21.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 47238 | 4975 |
| TRS | | AProVE_07/thiemann02.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 21230 | 4608 |
| TRS | | AProVE_07/thiemann30.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 36710 | 4768 |
| TRS | | AProVE_07/otto05.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 4553 | 4434 |
| TRS | | AProVE_07/thiemann34.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 21522 | 4857 |
| TRS | | AProVE_07/thiemann24.xml |
exp | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 5854 | 4354 |
| TRS | | AProVE_07/thiemann15.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 3228 | 4519 |
| TRS | | AProVE_07/otto03.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 1733 | 4323 |
| TRS | | AProVE_07/thiemann20.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 3500 | 4343 |
| TRS | | AProVE_07/otto01.xml |
n^2 | YES | True | (?,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 5210 | 4380 |
| TRS | | AProVE_07/thiemann33.xml |
exp | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2246 | 4966 |
| TRS | | AProVE_07/thiemann27.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 1759 | 4305 |
| TRS | | AProVE_07/thiemann16.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 9388 | 4482 |
| TRS | | AProVE_07/thiemann28.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 5222 | 4292 |
| TRS | | AProVE_07/otto11.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 7331 | 4296 |
| TRS | | AProVE_07/thiemann25.xml |
exp | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 14051 | 4296 |
| TRS | | AProVE_07/thiemann17.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 58366 | 4659 |
| TRS | | AProVE_07/thiemann31.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 9622 | 4390 |
| TRS | | AProVE_07/thiemann14.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 4763 | 4320 |
| TRS | | AProVE_07/thiemann01.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 11828 | 4309 |
| TRS | | AProVE_07/thiemann05.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 6011 | 4358 |
| TRS | | AProVE_07/otto13.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 4179 | 4328 |
| TRS | | AProVE_07/otto06.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 7755 | 4522 |
| TRS | | AProVE_07/thiemann03.xml |
exp | MAYBE | False | (n,?) | (?,?) | (n^3,n^3) | (?,?) | (n^3,n^3) | ^ | 1684 | 3255 |
| TRS | | AProVE_07/thiemann18.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | * | 3912 | 4429 |
| TRS | | AProVE_07/thiemann08.xml |
exp | MAYBE | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 117 | 1240 |
| TRS | | AProVE_07/kabasci04.xml |
n^2 | YES | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2294 | 4263 |
| TRS | | AProVE_07/otto12.xml |
exp | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 11578 | 4351 |
| TRS | | AProVE_07/otto10.xml |
n^3 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | ^ | 3256 | 4284 |
| TRS | | AProVE_07/thiemann10.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 1615 | 4509 |
| TRS | | AProVE_07/thiemann32.xml |
exp | MAYBE | True | (?,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 3051 | 4362 |
| TRS | | AProVE_07/otto04.xml |
exp | MAYBE | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 1469 | 4328 |
| TRS | | AProVE_07/thiemann12.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 3167 | 3354 |
| TRS | | AProVE_07/thiemann26.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 6729 | 3327 |
| TRS | | AProVE_07/otto02.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 4442 | 3413 |
| TRS | | AProVE_07/thiemann04.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 17292 | 3429 |
| TRS | | AProVE_07/thiemann23.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 3392 | 7775 |
| TRS | | AProVE_07/thiemann38.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 2650 | 3260 |
| TRS | | AProVE_07/otto09.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 16393 | 4361 |
| TRS | | AProVE_07/thiemann06.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 12459 | 6234 |
| TRS | | AProVE_07/thiemann40.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 27089 | 3542 |
| TRS | | AProVE_07/thiemann11.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 8633 | 4513 |
| TRS | | AProVE_07/thiemann22.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 4525 | 3296 |
| TRS | | AProVE_07/thiemann29.xml |
n^3 | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 6757 | 3349 |
| TRS | | AProVE_07/thiemann19.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 3448 | 6846 |
| TRS | | AProVE_07/thiemann37.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 7521 | 4436 |
| TRS | | AProVE_07/thiemann41.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 110477 | 4052 |
| TRS | | AProVE_07/otto08.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 20095 | 4604 |
| TRS | | AProVE_07/thiemann07.xml |
exp | MAYBE | False | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 10105 | 3562 |
| TRS | | TCT_12/polycounter-10.xml |
n^2 | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 109027 | 3852 |
| TRS | | TCT_12/polycounter-5.xml |
exp | YES | True | (n,?) | (?,n^5) | (n,n^5) | (?,?) | (n,n^5) | ^ | 94006 | 4918 |
| TRS | | TCT_12/recursion-5.xml |
? | YES | False | (n,n^5) | (?,?) | (n,n^5) | (?,?) | (n,n^5) | | 12 | 1254 |
| TRS | | TCT_12/recursion-10.xml |
? | YES | False | (n,n^10) | (?,?) | (n,n^10) | (?,?) | (n,n^10) | | 22 | 1265 |
| TRS | | TCT_12/sat.xml |
exp | YES | False | (n,n^3) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | ^ | 13814 | 4372 |
| TRS | | Der95/08.xml |
n | YES | True | (n,n) | (?,n^2) | (n,n) | (?,n) | (n,n) | ✔ | 6573 | 3196 |
| TRS | | Der95/18.xml |
no values | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1172 |
| TRS | | Der95/11.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 4553 | 3176 |
| TRS | | Der95/27.xml |
no values | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1117 |
| TRS | | Der95/06.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1621 | 4142 |
| TRS | | Der95/32.xml |
exp | YES | True | (n,n^3) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | ^ | 46040 | 3624 |
| TRS | | Der95/21.xml |
exp | YES | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 1981 | 4313 |
| TRS | | Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 8409 | 4239 |
| TRS | | Transformed_CSR_04/Ex16_Luc06_L.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1117 |
| TRS | | Transformed_CSR_04/PEANO_nosorts_noand_GM.xml |
n | YES | False | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | ✘ | 48614 | 4581 |
| TRS | | Transformed_CSR_04/Ex1_2_Luc02c_GM.xml |
1 | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | ✘ | 10 | 1206 |
| TRS | | Transformed_CSR_04/Ex6_Luc98_L.xml |
no values | YES | True | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | | 0 | 1114 |
| TRS | | Transformed_CSR_04/Ex23_Luc06_GM.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 101034 | 3777 |
| TRS | | Transformed_CSR_04/ExIntrod_GM01_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 12239 | 4304 |
| TRS | | Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml |
n^2 | YES | False | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 41130 | 3572 |
| TRS | | Transformed_CSR_04/ExProp7_Luc06_GM.xml |
n^2 | YES | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 10145 | 3228 |
| TRS | | Transformed_CSR_04/Ex15_Luc06_Z.xml |
? | YES | False | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | | 12 | 1140 |
| TRS | | Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml |
n^2 | YES | False | (?,n) | (?,n^2) | (n,n) | (?,n) | (n,n) | ^ | 49130 | 3525 |
| TRS | | Transformed_CSR_04/Ex7_BLR02_Z.xml |
exp | YES | False | (?,n) | (?,n) | (n,n^2) | (?,n^2) | (n,n) | ^ | 8180 | 3454 |
| TRS | | Transformed_CSR_04/Ex6_GM04_GM.xml |
1 | YES | False | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | ✔ | 10 | 1141 |
| TRS | | Transformed_CSR_04/Ex5_DLMMU04_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 46543 | 3410 |
| TRS | | Transformed_CSR_04/Ex2_Luc02a_Z.xml |
exp | YES | False | (n,n^3) | (?,?) | (n^3,n^3) | (?,?) | (n^3,n^3) | ^ | 3954 | 3268 |
| TRS | | Transformed_CSR_04/Ex1_GM99_L.xml |
no values | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1106 |
| TRS | | Transformed_CSR_04/ExProp7_Luc06_Z.xml |
? | YES | False | (?,n) | (?,n) | (1,1) | (?,n) | (1,1) | | 14 | 1196 |
| TRS | | Transformed_CSR_04/Ex2_Luc03b_L.xml |
no values | YES | True | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | | 0 | 1098 |
| TRS | | Transformed_CSR_04/Ex6_Luc98_GM.xml |
n^2 | YES | False | (n,?) | (?,n^2) | (n,?) | (?,?) | (n,n^2) | = | 13496 | 4293 |
| TRS | | Transformed_CSR_04/Ex14_AEGL02_Z.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1014 | 4533 |
| TRS | | Transformed_CSR_04/PEANO_complete_GM.xml |
n^3 | YES | False | (?,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 36903 | 4549 |
| TRS | | Transformed_CSR_04/ExIntrod_Zan97_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 7290 | 4207 |
| TRS | | Transformed_CSR_04/Ex15_Luc06_FR.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 5495 | 3416 |
| TRS | | Transformed_CSR_04/Ex1_GM03_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n^2,) | * | 7244 | 4190 |
| TRS | | Transformed_CSR_04/Ex1_Luc02b_Z.xml |
exp | YES | False | (?,n) | (?,n) | (n,n^2) | (?,n^2) | (n,n) | ^ | 8050 | 3398 |
| TRS | | Transformed_CSR_04/Ex14_AEGL02_L.xml |
no values | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1106 |
| TRS | | Transformed_CSR_04/OvConsOS_nokinds_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 21245 | 4431 |
| TRS | | Transformed_CSR_04/Ex3_12_Luc96a_Z.xml |
n^2 | YES | False | (?,n) | (?,?) | (n,n) | (?,n^2) | (n,n) | ^ | 10660 | 3298 |
| TRS | | Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml |
n | MAYBE | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1624 | 4501 |
| TRS | | Transformed_CSR_04/Ex4_DLMMU04_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 14410 | 3268 |
| TRS | | Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml |
n | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 9350 | 4243 |
| TRS | | Transformed_CSR_04/MYNAT_complete_GM.xml |
n | MAYBE | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 24317 | 4406 |
| TRS | | Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 16582 | 4299 |
| TRS | | Transformed_CSR_04/PEANO_nosorts_FR.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 2156 | 4532 |
| TRS | | Transformed_CSR_04/Ex5_Zan97_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 12947 | 3259 |
| TRS | | Transformed_CSR_04/ExAppendixB_AEL03_GM.xml |
exp | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 7732 | 4263 |
| TRS | | Transformed_CSR_04/Ex9_BLR02_GM.xml |
exp | YES | False | (n,?) | (?,n^2) | (n,?) | (?,?) | (n,n^2) | ^ | 7839 | 4280 |
| TRS | | Transformed_CSR_04/Ex26_Luc03b_L.xml |
1 | YES | False | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | ✔ | 11 | 1166 |
| TRS | | Transformed_CSR_04/Ex7_BLR02_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 4958 | 4196 |
| TRS | | Transformed_CSR_04/Ex1_Luc04b_FR.xml |
n | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 13078 | 4360 |
| TRS | | Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 24456 | 4375 |
| TRS | | Transformed_CSR_04/Ex2_Luc02a_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 6137 | 4212 |
| TRS | | Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml |
n^2 | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 56909 | 3432 |
| TRS | | Transformed_CSR_04/Ex1_2_AEL03_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 8723 | 4262 |
| TRS | | Transformed_CSR_04/Ex6_9_Luc02c_FR.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 4164 | 4201 |
| TRS | | Transformed_CSR_04/Ex1_GL02a_L.xml |
no values | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1098 |
| TRS | | Transformed_CSR_04/ExAppendixB_AEL03_Z.xml |
n^3 | YES | False | (n,n^2) | (?,n^2) | (n^2,n^2) | (?,n^2) | (n^2,n^2) | ^ | 26404 | 3362 |
| TRS | | Transformed_CSR_04/Ex4_4_Luc96b_L.xml |
no values | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1100 |
| TRS | | Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 35349 | 4615 |
| TRS | | Transformed_CSR_04/Ex14_AEGL02_FR.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 9336 | 4247 |
| TRS | | Transformed_CSR_04/Ex2_Luc03b_GM.xml |
n^2 | YES | False | (n,?) | (?,n^2) | (?,?) | (?,?) | (n,n^2) | = | 11059 | 4230 |
| TRS | | Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml |
? | YES | False | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | | 7 | 1172 |
| TRS | | Transformed_CSR_04/ExConc_Zan97_GM.xml |
n^2 | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 78096 | 3539 |
| TRS | | Transformed_CSR_04/Ex1_Luc02b_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 4731 | 4173 |
| TRS | | Transformed_CSR_04/Ex26_Luc03b_GM.xml |
n | YES | False | (n,?) | (?,n^2) | (?,?) | (?,?) | (n,n^2) | * | 12727 | 3222 |
| TRS | | Transformed_CSR_04/Ex18_Luc06_GM.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 5284 | 4594 |
| TRS | | Transformed_CSR_04/Ex8_BLR02_FR.xml |
exp | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 3578 | 4188 |
| TRS | | Transformed_CSR_04/Ex8_BLR02_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n^2,) | * | 5560 | 4237 |
| TRS | | Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml |
n^2 | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 27024 | 3515 |
| TRS | | Transformed_CSR_04/Ex6_GM04_FR.xml |
1 | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 4791 | 4416 |
| TRS | | Transformed_CSR_04/MYNAT_nosorts_FR.xml |
n^3 | YES | False | (n,n^2) | (?,n^2) | (n^2,n^2) | (?,n^2) | (n^2,n^2) | ^ | 1781 | 3270 |
| TRS | | Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml |
n^3 | YES | False | (?,n^2) | (?,?) | (n^2,n^2) | (?,n^2) | (n^2,n^2) | ^ | 3401 | 3334 |
| TRS | | Transformed_CSR_04/Ex4_Zan97_GM.xml |
exp | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 4516 | 4194 |
| TRS | | Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 5687 | 4261 |
| TRS | | Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml |
n^2 | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 36978 | 3503 |
| TRS | | Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 12012 | 4280 |
| TRS | | Transformed_CSR_04/Ex9_BLR02_Z.xml |
n^2 | YES | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 20176 | 4380 |
| TRS | | Transformed_CSR_04/Ex15_Luc06_L.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1163 |
| TRS | | Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml |
n | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 762 | 3343 |
| TRS | | Transformed_CSR_04/Ex25_Luc06_GM.xml |
n^2 | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 99519 | 3698 |
| TRS | | Transformed_CSR_04/Ex1_Zan97_FR.xml |
? | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 10 | 1153 |
| TRS | | Transformed_CSR_04/PEANO_nokinds_noand_GM.xml |
n | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 60606 | 4697 |
| TRS | | Transformed_CSR_04/Ex1_Luc04b_Z.xml |
n | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1655 | 4697 |
| TRS | | Transformed_CSR_04/LISTUTILITIES_complete_GM.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 16221 | 4618 |
| TRS | | Transformed_CSR_04/OvConsOS_complete_noand_GM.xml |
exp | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 46554 | 5158 |
| TRS | | Transformed_CSR_04/Ex4_Zan97_Z.xml |
exp | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 3235 | 4275 |
| TRS | | Transformed_CSR_04/Ex4_4_Luc96b_GM.xml |
? | YES | False | (n,n^3) | (?,n^2) | (n,?) | (?,?) | (n,n^2) | | 6 | 1191 |
| TRS | | Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 18222 | 5278 |
| TRS | | Transformed_CSR_04/Ex9_BLR02_L.xml |
no values | YES | True | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | | 0 | 1118 |
| TRS | | Transformed_CSR_04/Ex5_Zan97_Z.xml |
? | YES | False | (?,n) | (?,n) | (1,1) | (?,n) | (1,1) | | 18 | 1166 |
| TRS | | Transformed_CSR_04/Ex15_Luc98_GM.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 18875 | 4580 |
| TRS | | Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml |
exp | MAYBE | False | (?,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 48834 | 4867 |
| TRS | | Transformed_CSR_04/Ex8_BLR02_Z.xml |
exp | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 10339 | 3280 |
| TRS | | Transformed_CSR_04/MYNAT_complete_noand_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 31362 | 4698 |
| TRS | | Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 36598 | 4598 |
| TRS | | Transformed_CSR_04/OvConsOS_nosorts_GM.xml |
n | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 8501 | 4285 |
| TRS | | Transformed_CSR_04/ExConc_Zan97_FR.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 80848 | 3790 |
| TRS | | Transformed_CSR_04/Ex4_4_Luc96b_Z.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 6860 | 4220 |
| TRS | | Transformed_CSR_04/PEANO_nokinds_GM.xml |
n | YES | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 39731 | 4571 |
| TRS | | Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml |
? | YES | False | (?,n) | (?,n) | (1,1) | (?,n) | (1,1) | | 14 | 1161 |
| TRS | | Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml |
n | MAYBE | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 6414 | 4279 |
| TRS | | Transformed_CSR_04/Ex3_2_Luc97_GM.xml |
exp | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 4270 | 3215 |
| TRS | | Transformed_CSR_04/OvConsOS_complete_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 8836 | 4394 |
| TRS | | Transformed_CSR_04/ExIntrod_GM99_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 9824 | 4330 |
| TRS | | Transformed_CSR_04/Ex9_Luc04_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 9324 | 4210 |
| TRS | | Transformed_CSR_04/Ex15_Luc06_GM.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 3268 | 3660 |
| TRS | | Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 18914 | 4428 |
| TRS | | Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml |
exp | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 22673 | 3711 |
| TRS | | Transformed_CSR_04/Ex1_Luc04b_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 18315 | 4491 |
| TRS | | Transformed_CSR_04/Ex1_Zan97_L.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1176 |
| TRS | | Transformed_CSR_04/ExIntrod_GM01_FR.xml |
n | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 15780 | 4308 |
| TRS | | Transformed_CSR_04/Ex3_12_Luc96a_GM.xml |
exp | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 4743 | 4193 |
| TRS | | Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml |
n^2 | YES | False | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 11650 | 3348 |
| TRS | | Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml |
n | YES | False | (n,?) | (?,n^2) | (n,?) | (?,?) | (n,n^2) | * | 15957 | 4403 |
| TRS | | Transformed_CSR_04/Ex24_Luc06_GM.xml |
n^2 | MAYBE | False | (n,n) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 3153 | 3162 |
| TRS | | Transformed_CSR_04/ExIntrod_GM04_FR.xml |
exp | MAYBE | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 9543 | 4251 |
| TRS | | Transformed_CSR_04/ExIntrod_GM04_Z.xml |
exp | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 10845 | 4307 |
| TRS | | Transformed_CSR_04/ExIntrod_GM04_GM.xml |
n | YES | False | (n,?) | (?,n^3) | (?,?) | (?,?) | (n,n^3) | * | 12646 | 4443 |
| TRS | | Transformed_CSR_04/Ex4_Zan97_FR.xml |
exp | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 5039 | 4206 |
| TRS | | Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 30672 | 4520 |
| TRS | | Transformed_CSR_04/Ex1_GM99_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 4717 | 3186 |
| TRS | | Transformed_CSR_04/Ex49_GM04_GM.xml |
exp | YES | False | (n,n^3) | (?,n^2) | (?,?) | (?,n^2) | (n,n^2) | ^ | 14444 | 4375 |
| TRS | | Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 97313 | 5020 |
| TRS | | Transformed_CSR_04/MYNAT_nosorts_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | ✘ | 6422 | 3204 |
| TRS | | Transformed_CSR_04/ExConc_Zan97_Z.xml |
? | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 5 | 1145 |
| TRS | | Transformed_CSR_04/Ex3_3_25_Bor03_L.xml |
n | YES | False | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | ^ | 9 | 1166 |
| TRS | | Transformed_CSR_04/ExIntrod_GM01_Z.xml |
n | MAYBE | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 12447 | 4506 |
| TRS | | Transformed_CSR_04/OvConsOS_nosorts_Z.xml |
exp | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 6993 | 3596 |
| TRS | | Transformed_CSR_04/Ex2_Luc02a_L.xml |
n^3 | YES | True | (n,n^3) | (?,?) | (n^3,n^3) | (?,?) | (n^3,n^3) | ✔ | 881 | 3334 |
| TRS | | Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 27746 | 4579 |
| TRS | | Transformed_CSR_04/Ex1_GL02a_GM.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n^2) | (n,n) | ✔ | 11470 | 4301 |
| TRS | | Transformed_CSR_04/Ex4_7_15_Bor03_L.xml |
? | YES | False | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | | 5 | 1160 |
| TRS | | Transformed_CSR_04/Ex9_Luc04_L.xml |
no values | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1115 |
| TRS | | Transformed_CSR_04/ExProp7_Luc06_L.xml |
? | YES | False | (?,n) | (?,n) | (1,1) | (?,n) | (1,1) | | 5 | 1148 |
| TRS | | Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml |
n^2 | YES | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 14967 | 4444 |
| TRS | | Transformed_CSR_04/PEANO_nosorts-noand_FR.xml |
n | YES | False | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 4517 | 4158 |
| TRS | | Transformed_CSR_04/Ex6_Luc98_Z.xml |
n | YES | False | (?,n) | (?,n) | (n,n) | (?,n^2) | (n,n) | ✔ | 1829 | 4624 |
| TRS | | Transformed_CSR_04/Ex6_15_AEL02_GM.xml |
n^3 | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 7607 | 4322 |
| TRS | | Transformed_CSR_04/Ex1_Zan97_GM.xml |
? | YES | False | (?,n) | (?,n) | (1,1) | (?,n) | (1,1) | | 21 | 1157 |
| TRS | | Transformed_CSR_04/MYNAT_nokinds_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 35656 | 4488 |
| TRS | | Transformed_CSR_04/Ex14_AEGL02_GM.xml |
n | YES | False | (n,n^3) | (?,n^3) | (n,?) | (?,?) | (n,n^3) | * | 10292 | 4292 |
| TRS | | Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 20917 | 4432 |
| TRS | | Transformed_CSR_04/Ex2_Luc03b_Z.xml |
n^2 | YES | False | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 57151 | 4865 |
| TRS | | Transformed_CSR_04/Ex6_9_Luc02c_GM.xml |
1 | YES | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | ✘ | 13 | 1154 |
| TRS | | Transformed_CSR_04/Ex24_Luc06_L.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1112 |
| TRS | | Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml |
n | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 16170 | 4401 |
| TRS | | Transformed_CSR_04/Ex5_7_Luc97_GM.xml |
n^3 | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 10182 | 3325 |
| TRS | | Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml |
n^2 | YES | False | (?,n) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 39460 | 4231 |
| TRS | | Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml |
n^2 | YES | False | (n,n^6) | (?,?) | (n,?) | (?,?) | (n,n^6) | * | 27250 | 3534 |
| TRS | | Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 4740 | 4247 |
| TRS | | Transformed_CSR_04/PEANO_nosorts_GM.xml |
n | YES | False | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | ✘ | 5306 | 3201 |
| TRS | | Transformed_CSR_04/Ex6_9_Luc02c_Z.xml |
n | YES | False | (1,1) | (?,n^2) | (1,1) | (?,n^2) | (1,1) | ^ | 13 | 1170 |
| TRS | | Transformed_CSR_04/PEANO_complete_noand_GM.xml |
n^2 | YES | False | (?,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 44531 | 4737 |
| TRS | | Transformed_CSR_04/OvConsOS_nosorts_FR.xml |
n | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 17673 | 4456 |
| TRS | | Strategy_removed_mixed_05/test77.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 3171 | 4512 |
| TRS | | Strategy_removed_mixed_05/muladd.xml |
? | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 6 | 1149 |
| TRS | | Strategy_removed_mixed_05/test830.xml |
n^2 | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 2993 | 5320 |
| TRS | | Strategy_removed_mixed_05/test76.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 2628 | 4547 |
| TRS | | Frederiksen_Glenstrup/nestdec.xml |
n | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 16109 | 4401 |
| TRS | | Frederiksen_Glenstrup/gcd2.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | * | 28583 | 4640 |
| TRS | | Frederiksen_Glenstrup/append.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1032 | 3398 |
| TRS | | Frederiksen_Glenstrup/turing_typed.xml |
n | MAYBE | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 45644 | 4814 |
| TRS | | Frederiksen_Glenstrup/map0.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 22336 | 3431 |
| TRS | | Frederiksen_Glenstrup/assrewrite.xml |
exp | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 3255 | 4273 |
| TRS | | Frederiksen_Glenstrup/nestimeql.xml |
n | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1247 | 4584 |
| TRS | | Frederiksen_Glenstrup/duplicate.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 900 | 3356 |
| TRS | | Frederiksen_Glenstrup/nesteql.xml |
1 | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 7 | 1180 |
| TRS | | Frederiksen_Glenstrup/game.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 71381 | 3747 |
| TRS | | Frederiksen_Glenstrup/int.xml |
exp | MAYBE | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 16674 | 3681 |
| TRS | | Frederiksen_Glenstrup/equal.xml |
1 | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 6 | 1180 |
| TRS | | Frederiksen_Glenstrup/overlap.xml |
n^2 | MAYBE | True | (?,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | = | 35985 | 3557 |
| TRS | | Frederiksen_Glenstrup/permute.xml |
n | YES | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 876 | 4369 |
| TRS | | Frederiksen_Glenstrup/add.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1183 | 3506 |
| TRS | | Frederiksen_Glenstrup/minsort.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 44113 | 4949 |
| TRS | | Frederiksen_Glenstrup/mergelists.xml |
n^2 | MAYBE | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 54249 | 4603 |
| TRS | | Frederiksen_Glenstrup/shuffle.xml |
n^3 | YES | True | (n,n^3) | (?,n^3) | (n^3,n^3) | (?,n^3) | (n^3,n^3) | ✔ | 991 | 3361 |
| TRS | | Frederiksen_Glenstrup/thetrick.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 5797 | 4515 |
| TRS | | Frederiksen_Glenstrup/evenodd.xml |
n | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1688 | 3561 |
| TRS | | Frederiksen_Glenstrup/lte.xml |
n^2 | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 8705 | 3388 |
| TRS | | Frederiksen_Glenstrup/lambdaint_typed.xml |
exp | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 21894 | 4578 |
| TRS | | Frederiksen_Glenstrup/list.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 2011 | 3393 |
| TRS | | Frederiksen_Glenstrup/power.xml |
exp | YES | True | (n,?) | (?,?) | (n^3,?) | (?,?) | (n^3,) | * | 2274 | 3389 |
| TRS | | Frederiksen_Glenstrup/addlists.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 42104 | 3658 |
| TRS | | Frederiksen_Glenstrup/binom.xml |
exp | YES | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 1015 | 4300 |
| TRS | | Frederiksen_Glenstrup/increase.xml |
1 | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 6 | 1181 |
| TRS | | Frederiksen_Glenstrup/parsexp.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 60648 | 4722 |
| TRS | | Frederiksen_Glenstrup/select.xml |
n^2 | YES | True | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^3) | (n,n^2) | = | 1173 | 3206 |
| TRS | | Frederiksen_Glenstrup/ordered_better.xml |
n | YES | True | (?,n) | (?,n) | (?,n) | (?,n) | (,n) | = | 39039 | 4736 |
| TRS | | Frederiksen_Glenstrup/naiverev.xml |
n^2 | YES | True | (n,n^2) | (?,n^2) | (n^2,n^2) | (?,n^2) | (n^2,n^2) | ✔ | 984 | 3279 |
| TRS | | Frederiksen_Glenstrup/disjconj.xml |
exp | YES | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 5164 | 4268 |
| TRS | | Frederiksen_Glenstrup/mul.xml |
n^3 | YES | True | (n,n^3) | (?,n^3) | (n^3,n^3) | (?,n^3) | (n^3,n^3) | ✔ | 2575 | 3310 |
| TRS | | Frederiksen_Glenstrup/gcd.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | * | 29562 | 4709 |
| TRS | | Frederiksen_Glenstrup/mul_better.xml |
n^3 | YES | True | (n,n^3) | (?,n^3) | (n^3,n^3) | (?,n^3) | (n^3,n^3) | ✔ | 2560 | 3321 |
| TRS | | Frederiksen_Glenstrup/fold.xml |
n^2 | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 3137 | 3354 |
| TRS | | Frederiksen_Glenstrup/sp1.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1121 |
| TRS | | Frederiksen_Glenstrup/vangelder_typed.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 2132 | 1277 |
| TRS | | Frederiksen_Glenstrup/anchored.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1189 | 3504 |
| TRS | | Frederiksen_Glenstrup/revapp.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1038 | 3465 |
| TRS | | Frederiksen_Glenstrup/ordered.xml |
n | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 63021 | 4973 |
| TRS | | Frederiksen_Glenstrup/decrease.xml |
n | YES | False | (n,n) | (?,?) | (n,n) | (?,n) | (n,n) | ✔ | 1303 | 3524 |
| TRS | | Frederiksen_Glenstrup/subsets.xml |
exp | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 848 | 4395 |
| TRS | | Frederiksen_Glenstrup/intlookup.xml |
n | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 909 | 4551 |
| TRS | | Frederiksen_Glenstrup/member.xml |
n | MAYBE | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 88514 | 5147 |
| TRS | | Frederiksen_Glenstrup/deeprev_typed.xml |
n^2 | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 10075 | 3459 |
| TRS | | Frederiksen_Glenstrup/quicksort.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 35886 | 4827 |
| TRS | | Frederiksen_Glenstrup/nestinc.xml |
n | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1167 | 4574 |
| TRS | | Frederiksen_Glenstrup/letexp.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1116 |
| TRS | | Frederiksen_Glenstrup/mergesort.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,n^2) | = | 6779 | 3316 |
| TRS | | Frederiksen_Glenstrup/ack.xml |
exp | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 828 | 4196 |
| TRS | | Frederiksen_Glenstrup/badd.xml |
n | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 8 | 1162 |
| TRS | | AProVE_09_Inductive/div.xml |
exp | MAYBE | False | (n,?) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | ^ | 3708 | 3512 |
| TRS | | AProVE_09_Inductive/gcd2.xml |
exp | MAYBE | False | (?,?) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | ^ | 3826 | 3432 |
| TRS | | AProVE_09_Inductive/maxsort.xml |
n^3 | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 4230 | 4321 |
| TRS | | AProVE_09_Inductive/minsort.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2841 | 4314 |
| TRS | | AProVE_09_Inductive/mod.xml |
exp | MAYBE | True | (n,?) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | ^ | 3189 | 3436 |
| TRS | | AProVE_09_Inductive/qsort.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 11484 | 4380 |
| TRS | | AProVE_09_Inductive/qsortmiddle.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 5262 | 4397 |
| TRS | | AProVE_09_Inductive/log.xml |
exp | MAYBE | True | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 3492 | 6038 |
| TRS | | AProVE_09_Inductive/maxsortcondition.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 7500 | 4401 |
| TRS | | AProVE_09_Inductive/zerolist.xml |
n | MAYBE | False | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 36067 | 3401 |
| TRS | | AProVE_09_Inductive/gcdhard.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 3249 | 3317 |
| TRS | | AProVE_09_Inductive/divhard.xml |
n^3 | MAYBE | False | (n,?) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | = | 3686 | 3481 |
| TRS | | AProVE_09_Inductive/gcd.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | * | 3334 | 3442 |
| TRS | | AProVE_09_Inductive/qsortlast.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 4278 | 4377 |
| TRS | | Strategy_removed_AG01/#4.34.xml |
n | YES | False | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | * | 6499 | 4048 |
| TRS | | Strategy_removed_AG01/#4.37.xml |
no values | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1111 |
| TRS | | Strategy_removed_AG01/#4.26.xml |
n^3 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | ^ | 1988 | 4354 |
| TRS | | Strategy_removed_AG01/#4.22.xml |
n | YES | True | (n,n) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 36263 | 3457 |
| TRS | | Strategy_removed_AG01/#4.29.xml |
n^2 | YES | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2709 | 3260 |
| TRS | | Strategy_removed_AG01/#4.30b.xml |
n^2 | YES | True | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 5417 | 3347 |
| TRS | | Strategy_removed_AG01/#4.33.xml |
n^2 | YES | True | (n,n^3) | (?,?) | (n^2,?) | (?,?) | (n^2,n^3) | * | 19028 | 3286 |
| TRS | | Strategy_removed_AG01/#4.30.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 5153 | 3312 |
| TRS | | Strategy_removed_AG01/#4.36.xml |
n^3 | YES | True | (n,n^3) | (?,?) | (n^2,n^3) | (?,?) | (n^2,n^3) | = | 2709 | 4400 |
| TRS | | Strategy_removed_AG01/#4.28.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n^3) | (n,n) | ✔ | 1223 | 4375 |
| TRS | | Strategy_removed_AG01/#4.23.xml |
n | YES | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 12497 | 3222 |
| TRS | | Strategy_removed_AG01/#4.30c.xml |
n^2 | YES | False | (?,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 3163 | 3372 |
| TRS | | Strategy_removed_AG01/#4.27.xml |
n^3 | YES | True | (n,n^2) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | ^ | 3089 | 3284 |
| TRS | | Strategy_removed_AG01/#4.30a.xml |
n | YES | True | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 2050 | 4310 |
| TRS | | Strategy_removed_AG01/#4.32.xml |
no values | YES | True | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n) | | 0 | 1116 |
| TRS | | Beerendonk_07/1.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 3674 | 5354 |
| TRS | | Beerendonk_07/22.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 3473 | 7053 |
| TRS | | Beerendonk_07/24.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 4009 | 5846 |
| TRS | | Beerendonk_07/6.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 3803 | 5434 |
| TRS | | Beerendonk_07/4.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 3556 | 6536 |
| TRS | | Beerendonk_07/19.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 25028 | 3523 |
| TRS | | Beerendonk_07/3.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 8712 | 3390 |
| TRS | | Beerendonk_07/17.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 2939 | 3459 |
| TRS | | Beerendonk_07/2.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 4124 | 5802 |
| TRS | | Beerendonk_07/23.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 5357 | 5244 |
| TRS | | Beerendonk_07/13.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 3766 | 5654 |
| TRS | | Beerendonk_07/8.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 3972 | 5412 |
| TRS | | Beerendonk_07/10.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 5114 | 5858 |
| TRS | | Beerendonk_07/20.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 2049 | 4427 |
| TRS | | Beerendonk_07/18.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 3186 | 6374 |
| TRS | | Beerendonk_07/12.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 3649 | 5470 |
| TRS | | Beerendonk_07/11.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 5196 | 5563 |
| TRS | | Beerendonk_07/15.xml |
n | MAYBE | False | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 1970 | 3273 |
| TRS | | Beerendonk_07/7.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 4950 | 5074 |
| TRS | | Beerendonk_07/9.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 20018 | 3332 |
| TRS | | Beerendonk_07/21.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 16342 | 3476 |
| TRS | | Beerendonk_07/5.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 4965 | 4724 |
| TRS | | Beerendonk_07/14.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 5762 | 7180 |
| TRS | | Beerendonk_07/16.xml |
n | MAYBE | False | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 25141 | 3407 |
| TRS | | Secret_07_TRS/aprove08.xml |
n^3 | MAYBE | False | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | ^ | 7404 | 4531 |
| TRS | | Secret_07_TRS/aprove10.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | * | 16393 | 3377 |
| TRS | | Secret_07_TRS/aprove06.xml |
n^3 | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 7762 | 3419 |
| TRS | | Secret_07_TRS/secret3.xml |
n^3 | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 48113 | 4559 |
| TRS | | Secret_07_TRS/aprove02.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,n^5) | (?,?) | (n,n^5) | * | 14943 | 3559 |
| TRS | | Secret_07_TRS/aprove03.xml |
n | MAYBE | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 9039 | 4573 |
| TRS | | Secret_07_TRS/aprove04.xml |
exp | MAYBE | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 7199 | 4456 |
| TRS | | Secret_07_TRS/aprove07.xml |
exp | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 26054 | 3459 |
| TRS | | Secret_07_TRS/aprove01.xml |
exp | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 7690 | 4554 |
| TRS | | Secret_07_TRS/aprove05.xml |
exp | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 8311 | 3351 |
| TRS | | Secret_07_TRS/aprove09.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | * | 5309 | 3342 |
| TRS | | Rubio_04/division.xml |
exp | YES | True | (n,n^3) | (?,n^3) | (n,n^3) | (?,n^3) | (n,n^3) | ^ | 2567 | 3323 |
| TRS | | Rubio_04/wst99.xml |
no values | YES | True | (n,n^2) | (?,?) | (n,n^2) | (?,n^2) | (n,n^2) | | 0 | 1110 |
| TRS | | Rubio_04/ma96.xml |
n | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 3670 | 4321 |
| TRS | | Rubio_04/gm.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n^2) | (n,n) | ✔ | 1580 | 3313 |
| TRS | | Rubio_04/gmnp.xml |
1 | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✘ | 11 | 1148 |
| TRS | | Rubio_04/elimdupl.xml |
n^2 | YES | True | (n,n^3) | (?,n^3) | (n,n^2) | (?,n^2) | (n,n^2) | = | 4648 | 3240 |
| TRS | | Rubio_04/test4.xml |
no values | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1116 |
| TRS | | Rubio_04/mfp95.xml |
no values | YES | True | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | | 0 | 1124 |
| TRS | | Rubio_04/quick.xml |
n | YES | True | (?,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | ✘ | 4358 | 4350 |
| TRS | | Rubio_04/test829.xml |
no values | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1116 |
| TRS | | Rubio_04/logarquot.xml |
n^2 | YES | True | (n,n^3) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | ^ | 1632 | 3200 |
| TRS | | Rubio_04/selsort.xml |
n^3 | YES | True | (n,n^3) | (?,?) | (n^2,n^3) | (?,?) | (n^2,n^3) | = | 3579 | 4482 |
| TRS | | Rubio_04/gcd.xml |
n^2 | YES | True | (n,n^2) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | ^ | 2604 | 3410 |
| TRS | | Rubio_04/bintrees.xml |
n | YES | True | (n,n^2) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 6433 | 4292 |
| TRS | | Rubio_04/enno.xml |
n^2 | YES | True | (n,n^3) | (?,?) | (n,n^2) | (?,n^2) | (n,n^2) | = | 54922 | 4881 |
| TRS | | Rubio_04/revlist.xml |
exp | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 1743 | 4479 |
| TRS | | Rubio_04/nestrec.xml |
exp | YES | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 25 | 1125 |
| TRS | | Rubio_04/polo2.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 4039 | 3214 |
| TRS | | Rubio_04/prov.xml |
no values | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1112 |
| TRS | | HirokawaMiddeldorp_04/n003.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1117 |
| TRS | | HirokawaMiddeldorp_04/n006.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1117 |
| TRS | | HirokawaMiddeldorp_04/t011.xml |
no values | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1130 |
| TRS | | HirokawaMiddeldorp_04/t013.xml |
exp | YES | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 3034 | 6695 |
| TRS | | HirokawaMiddeldorp_04/t009.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 56127 | 4760 |
| TRS | | HirokawaMiddeldorp_04/n007.xml |
no values | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1122 |
| TRS | | HirokawaMiddeldorp_04/n005.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1128 |
| TRS | | HirokawaMiddeldorp_04/t001.xml |
n | YES | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 4911 | 4338 |
| TRS | | HirokawaMiddeldorp_04/t014.xml |
n^2 | YES | False | (n,n^2) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | ^ | 4172 | 3384 |
| TRS | | HirokawaMiddeldorp_04/t002.xml |
n^2 | YES | True | (n,?) | (?,?) | (n,n) | (?,?) | (n,n) | ^ | 4117 | 3341 |
| TRS | | HirokawaMiddeldorp_04/n002.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1125 |
| TRS | | HirokawaMiddeldorp_04/n004.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1126 |
| TRS | | HirokawaMiddeldorp_04/t003.xml |
exp | YES | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2800 | 3274 |
| TRS | | HirokawaMiddeldorp_04/t004.xml |
exp | MAYBE | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 55 | 3150 |
| TRS | | Secret_06_TRS/division.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 4085 | 3349 |
| TRS | | Secret_06_TRS/tpa10.xml |
exp | YES | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 2130 | 4294 |
| TRS | | Secret_06_TRS/sumList.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 10178 | 4370 |
| TRS | | Secret_06_TRS/double.xml |
n^3 | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 15555 | 3538 |
| TRS | | Secret_06_TRS/tpa08.xml |
n^3 | MAYBE | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1452 | 4376 |
| TRS | | Secret_06_TRS/toList.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 18491 | 4413 |
| TRS | | Secret_06_TRS/addList.xml |
n | MAYBE | True | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 21268 | 4449 |
| TRS | | Secret_06_TRS/tpa04.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2629 | 4282 |
| TRS | | Secret_06_TRS/nrOfNodes.xml |
n | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | ✘ | 12360 | 4463 |
| TRS | | Secret_06_TRS/reverse.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 3380 | 3364 |
| TRS | | Secret_06_TRS/logarithm.xml |
n^2 | MAYBE | False | (?,?) | (?,?) | (?,?) | (?,?) | (n,n^2) | = | 6254 | 4522 |
| TRS | | Secret_06_TRS/tpa07.xml |
exp | MAYBE | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 2347 | 4307 |
| TRS | | Secret_06_TRS/tpa09.xml |
exp | MAYBE | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 1457 | 4279 |
| TRS | | Secret_06_TRS/tpa05.xml |
n^3 | MAYBE | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 2104 | 4389 |
| TRS | | Secret_06_TRS/tpa06.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 8326 | 4318 |
| TRS | | Mixed_TRS/perfect2.xml |
n^2 | YES | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 4246 | 4334 |
| TRS | | Mixed_TRS/test1.xml |
no values | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1132 |
| TRS | | Mixed_TRS/gcd_triple.xml |
n^2 | YES | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2339 | 3207 |
| TRS | | Mixed_TRS/minsort.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 4858 | 4444 |
| TRS | | Mixed_TRS/fossacs.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 1301 | 3357 |
| TRS | | Mixed_TRS/while.xml |
n | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 2688 | 5924 |
| TRS | | Mixed_TRS/jones5.xml |
n | YES | False | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2283 | 4433 |
| TRS | | Mixed_TRS/jones1.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1020 | 3409 |
| TRS | | Mixed_TRS/gcd.xml |
n | YES | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 1660 | 3268 |
| TRS | | Mixed_TRS/Ex1_Luc04b_GM.xml |
n | MAYBE | False | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | * | 19304 | 4463 |
| TRS | | Mixed_TRS/gcdMinMax.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | * | 1719 | 3211 |
| TRS | | Mixed_TRS/jones6.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 7493 | 3325 |
| TRS | | Mixed_TRS/jones2.xml |
n | YES | True | (?,n) | (?,n^2) | (n,n) | (?,n^2) | (n,n) | ✔ | 310 | 3331 |
| TRS | | Mixed_TRS/jones4.xml |
n | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 81856 | 3861 |
| TRS | | Mixed_TRS/perfect.xml |
n | YES | False | (?,n) | (?,n) | (n,n) | (?,?) | (n,n) | ✔ | 9 | 1152 |
| TRS | | Frederiksen_Others/deadcodeSize.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1126 |
| TRS | | Frederiksen_Others/bubblesort.xml |
n^2 | MAYBE | True | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | = | 4009 | 3251 |
| TRS | | Frederiksen_Others/fghSize.xml |
exp | YES | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 26529 | 4521 |
| TRS | | Frederiksen_Others/minsortSize.xml |
n | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 35899 | 4745 |
| TRS | | Frederiksen_Others/match.xml |
n | MAYBE | True | (?,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | * | 56512 | 4887 |
| TRS | | Frederiksen_Others/quicksortPtime.xml |
n^2 | MAYBE | True | (n,n^2) | (?,?) | (n,n^2) | (?,n^2) | (n,n^2) | = | 28680 | 4573 |
| TRS | | Frederiksen_Others/permut.xml |
n | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 3400 | 7560 |
| TRS | | Frederiksen_Others/assrewriteSize.xml |
exp | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 3881 | 3275 |
| TRS | | Frederiksen_Others/div2.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 3163 | 5363 |
| TRS | | Frederiksen_Others/ocall-safe.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 4102 | 4787 |
| TRS | | Frederiksen_Others/add.xml |
n | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 5544 | 3651 |
| TRS | | Frederiksen_Others/graphcolour3_typed.xml |
exp | MAYBE | True | (?,?) | (?,?) | (n,n^5) | (?,?) | (n,n^5) | ^ | 105328 | 5268 |
| TRS | | Frederiksen_Others/dup1_typed.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 23196 | 3386 |
| TRS | | Frederiksen_Others/ocall-unsafe.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 4179 | 4856 |
| TRS | | Frederiksen_Others/inssort.xml |
n | MAYBE | False | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | * | 2473 | 3975 |
| TRS | | Frederiksen_Others/disj2_typed.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 22781 | 3328 |
| TRS | | Frederiksen_Others/strmatch.xml |
exp | MAYBE | True | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | ^ | 48524 | 4746 |
| TRS | | Frederiksen_Others/inssort_better.xml |
n^2 | MAYBE | True | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | = | 6749 | 3213 |
| TRS | | Frederiksen_Others/gexgcd.xml |
n | MAYBE | True | (?,n^2) | (?,n^2) | (n,n) | (?,n) | (n,n) | ✔ | 3046 | 4913 |
| TRS | | Frederiksen_Others/power.xml |
n^3 | YES | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 3627 | 3237 |
| TRS | | Frederiksen_Others/gexgcd2.xml |
1 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | ✘ | 2549 | 4425 |
| TRS | | Frederiksen_Others/dup2_typed.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 23890 | 3378 |
| TRS | | Frederiksen_Others/reach.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | NON_POLY | ✘ | 25143 | 4628 |
| TRS | | Frederiksen_Others/eq.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 3834 | 6707 |
| TRS | | Frederiksen_Others/boolprog.xml |
n^2 | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 8605 | 5094 |
| TRS | | Frederiksen_Others/ex6.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 20324 | 3503 |
| TRS | | Frederiksen_Others/graphcolour1_typed.xml |
exp | MAYBE | True | (n,n^4) | (?,?) | (n,n^3) | (?,?) | (n,n^3) | ^ | 24788 | 4789 |
| TRS | | Frederiksen_Others/quicksortSize.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 5916 | 3283 |
| TRS | | Frederiksen_Others/graphcolour2_typed.xml |
exp | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,n^5) | ^ | 57837 | 5023 |
| TRS | | Frederiksen_Others/fgh.xml |
n^2 | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 31968 | 3481 |
| TRS | | Frederiksen_Others/rematch.xml |
n^3 | MAYBE | False | (?,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 22696 | 3638 |
| TRS | | Frederiksen_Others/thetrickSize.xml |
n^2 | MAYBE | True | (n,n) | (?,n) | (n,n) | (?,n^2) | (n,n) | ^ | 4385 | 3559 |
| TRS | | Frederiksen_Others/oddeven.xml |
n | YES | True | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 4365 | 6797 |
| TRS | | Frederiksen_Others/graphcolour2Size_typed.xml |
exp | MAYBE | True | (?,?) | (?,?) | (n,?) | (?,?) | (n,n^5) | ^ | 56686 | 4956 |
| TRS | | Strategy_removed_CSR_05/Ex1_Zan97.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1123 |
| TRS | | Strategy_removed_CSR_05/ExAppendixB_AEL03.xml |
exp | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 30002 | 3616 |
| TRS | | Strategy_removed_CSR_05/Ex49_GM04.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1577 | 4408 |
| TRS | | Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml |
? | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 4 | 1152 |
| TRS | | Strategy_removed_CSR_05/Ex4_Zan97.xml |
n^2 | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 2095 | 3959 |
| TRS | | Strategy_removed_CSR_05/Ex6_9_Luc02c.xml |
? | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 4 | 1160 |
| TRS | | Strategy_removed_CSR_05/Ex1_GM03.xml |
n^2 | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 2085 | 3327 |
| TRS | | Strategy_removed_CSR_05/Ex6_GM04.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1121 |
| TRS | | Strategy_removed_CSR_05/Ex4_4_Luc96b.xml |
no values | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1185 |
| TRS | | Strategy_removed_CSR_05/ExIntrod_GM01.xml |
n^2 | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 355 | 4223 |
| TRS | | Strategy_removed_CSR_05/ExIntrod_Zan97.xml |
exp | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 1924 | 4280 |
| TRS | | Strategy_removed_CSR_05/Ex3_2_Luc97.xml |
n^2 | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 36282 | 3491 |
| TRS | | Strategy_removed_CSR_05/ExIntrod_GM99.xml |
no values | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1125 |
| TRS | | Strategy_removed_CSR_05/Ex7_BLR02.xml |
n^2 | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1079 | 4758 |
| TRS | | Strategy_removed_CSR_05/Ex1_2_Luc02c.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1127 |
| TRS | | Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml |
n^2 | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 30646 | 4591 |
| TRS | | Strategy_removed_CSR_05/Ex1_GL02a.xml |
n | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 2017 | 4546 |
| TRS | | Strategy_removed_CSR_05/ExConc_Zan97.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1122 |
| TRS | | Strategy_removed_CSR_05/Ex2_Luc03b.xml |
n | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1607 | 3712 |
| TRS | | Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml |
n | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 18811 | 4440 |
| TRS | | Strategy_removed_CSR_05/Ex6_Luc98.xml |
n | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 616 | 4398 |
| TRS | | Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml |
no values | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1113 |
| TRS | | Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml |
n | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 780 | 4354 |
| TRS | | Strategy_removed_CSR_05/Ex3_12_Luc96a.xml |
n^2 | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 774 | 4547 |
| TRS | | Strategy_removed_CSR_05/Ex1_Luc02b.xml |
n^2 | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1062 | 4561 |
| TRS | | Strategy_removed_CSR_05/Ex5_Zan97.xml |
? | NO | True | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | | 7 | 1129 |
| TRS | | Strategy_removed_CSR_05/Ex14_AEGL02.xml |
n | NO | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1230 | 3417 |
| TRS | | Strategy_removed_CSR_05/Ex1_2_AEL03.xml |
n^3 | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 2061 | 3401 |
| TRS | | Strategy_removed_CSR_05/Ex9_BLR02.xml |
no values | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1111 |
| TRS | | Strategy_removed_CSR_05/Ex15_Luc98.xml |
n | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1173 | 3490 |
| TRS | | Strategy_removed_CSR_05/Ex8_BLR02.xml |
n^2 | NO | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 2001 | 3767 |
| TRS | | Strategy_removed_CSR_05/ExIntrod_GM04.xml |
no values | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1110 |
| TRS | | Strategy_removed_CSR_05/Ex26_Luc03b.xml |
n^3 | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 1075 | 3257 |
| TRS | | AProVE_08/parting05_maxsort.xml |
n^3 | MAYBE | True | (?,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 3625 | 4322 |
| TRS | | AProVE_08/thiemann40_modified.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n^2,n^2) | (?,?) | (n^2,n^2) | ✔ | 2137 | 3318 |
| TRS | | AProVE_08/log.xml |
n | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 3640 | 3227 |
| TRS | | AProVE_08/parting04_maxsort_h.xml |
n^3 | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 4346 | 4330 |
| TRS | | AProVE_08/parting03_minsort.xml |
n^3 | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 2585 | 4320 |
| TRS | | AProVE_08/parting01_reverse.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 7191 | 3345 |
| TRS | | AProVE_08/parting02_doublelist.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 14951 | 3320 |
| TRS | | Waldmann_06/jwmatchb1.xml |
no values | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1111 |
| TRS | | Waldmann_06/jwno6.xml |
no values | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1104 |
| TRS | | Waldmann_06/jwmatchb2.xml |
no values | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1108 |
| TRS | | Waldmann_06/jwno4.xml |
no values | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1107 |
| TRS | | Waldmann_06/jwno1.xml |
no values | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | | 0 | 1161 |
| TRS | | SK90/4.54.xml |
no values | NO | True | NONP | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1099 |
| TRS | | SK90/4.12.xml |
n^2 | YES | False | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 2059 | 4809 |
| TRS | | SK90/4.35.xml |
no values | YES | True | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | | 0 | 1105 |
| TRS | | SK90/2.52.xml |
exp | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 1879 | 4153 |
| TRS | | SK90/2.31.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 14007 | 3292 |
| TRS | | SK90/4.61.xml |
exp | YES | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 923 | 4574 |
| TRS | | SK90/4.42.xml |
exp | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 1828 | 4156 |
| TRS | | SK90/4.16.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 8818 | 3169 |
| TRS | | SK90/2.36.xml |
n^2 | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 58987 | 3561 |
| TRS | | SK90/2.50.xml |
no values | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1104 |
| TRS | | SK90/2.15.xml |
n | YES | False | NONP | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 73 | 4256 |
| TRS | | SK90/2.43.xml |
n | YES | False | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✘ | 638 | 4299 |
| TRS | | SK90/2.39.xml |
n^2 | YES | True | (n,n^2) | (?,n^2) | (n^2,n^2) | (?,n^2) | (n^2,n^2) | ✔ | 720 | 3209 |
| TRS | | SK90/4.59.xml |
exp | YES | True | NONP | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 144 | 4249 |
| TRS | | SK90/2.24.xml |
exp | YES | True | NONP | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 76 | 4155 |
| TRS | | SK90/2.53.xml |
no values | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1104 |
| TRS | | SK90/2.27.xml |
exp | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2809 | 4048 |
| TRS | | SK90/2.44.xml |
1 | YES | False | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✘ | 10 | 1135 |
| TRS | | SK90/2.18.xml |
n^2 | YES | True | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | = | 384 | 2146 |
| TRS | | SK90/4.30.xml |
n^2 | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 96841 | 3726 |
| TRS | | SK90/2.40.xml |
n^2 | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 21121 | 4388 |
| TRS | | SK90/2.25.xml |
exp | YES | True | NONP | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 1922 | 5298 |
| TRS | | SK90/2.21.xml |
exp | YES | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 689 | 4153 |
| TRS | | SK90/2.37.xml |
no values | YES | True | (?,n) | (1,1) | (1,1) | (?,n) | (1,1) | | 0 | 1115 |
| TRS | | SK90/4.34.xml |
no values | NO | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | | 0 | 1124 |
| TRS | | SK90/2.17.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 399 | 3318 |
| TRS | | SK90/2.48.xml |
? | YES | False | (1,1) | (?,n) | (1,1) | (?,n) | (1,1) | | 7 | 1271 |
| TRS | | SK90/4.27.xml |
n^2 | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 2515 | 3221 |
| TRS | | SK90/2.16.xml |
n^2 | YES | False | (n,n^2) | (?,n^2) | (n^2,n^2) | (?,n^2) | (n^2,n^2) | ✔ | 1354 | 3365 |
| TRS | | SK90/2.51.xml |
exp | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 841 | 4181 |
| TRS | | SK90/4.38.xml |
no values | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 0 | 1131 |
| TRS | | SK90/4.29.xml |
n^2 | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 597 | 3506 |
| TRS | | SK90/4.57.xml |
1 | YES | False | (1,1) | (1,1) | (1,1) | (?,n) | (1,1) | ✔ | 31 | 1233 |
| TRS | | SK90/4.47.xml |
no values | YES | True | (1,1) | (1,1) | (1,1) | (?,n) | (1,1) | | 0 | 1128 |
| TRS | | SK90/2.45.xml |
? | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | | 4 | 1158 |
| TRS | | SK90/4.31.xml |
exp | YES | True | NONP | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 71 | 4318 |
| TRS | | SK90/2.09.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1787 | 4454 |
| TRS | | SK90/2.12.xml |
n^3 | YES | True | (n,n^3) | (?,n^3) | (n^3,n^3) | (?,n^3) | (n^3,n^3) | ✔ | 6660 | 3231 |
| TRS | | SK90/2.11.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 3622 | 4462 |
| TRS | | SK90/2.54.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1973 | 4614 |
| TRS | | SK90/2.23.xml |
exp | YES | False | (n,?) | (?,?) | (n^3,?) | (?,?) | (n^3,) | * | 2271 | 4296 |
| TRS | | SK90/4.17.xml |
n | YES | True | (n,n^3) | (?,n^3) | (n^2,n^2) | (?,?) | (n^2,n^2) | ✘ | 2643 | 5322 |
| TRS | | SK90/4.60.xml |
exp | YES | True | (n,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 739 | 4249 |
| TRS | | SK90/2.13.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 12432 | 3377 |
| TRS | | SK90/4.05.xml |
n^2 | YES | False | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^3) | (n,n^2) | = | 5836 | 3166 |
| TRS | | SK90/2.29.xml |
n^2 | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 474 | 3332 |
| TRS | | SK90/2.20.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 323 | 3225 |
| TRS | | SK90/4.24.xml |
exp | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 1091 | 4326 |
| TRS | | SK90/2.28.xml |
no values | YES | True | (n,?) | (?,?) | (?,?) | (?,?) | (n,) | | 0 | 1100 |
| TRS | | SK90/2.19.xml |
n^2 | YES | False | (n,n^2) | (?,n^2) | (n^2,n^2) | (?,n^2) | (n^2,n^2) | ✔ | 927 | 3199 |
| TRS | | SK90/2.41.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1664 | 3565 |
| TRS | | SK90/4.18.xml |
no values | YES | False | (1,1) | (1,1) | (1,1) | (?,n^2) | (1,1) | | 0 | 1100 |
| TRS | | SK90/2.22.xml |
exp | YES | False | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | ^ | 657 | 4162 |
| TRS | | SK90/4.13.xml |
n | YES | False | (?,n^2) | (?,n^3) | (n,n) | (?,?) | (n,n) | ✔ | 452 | 3272 |
| TRS | | SK90/2.30.xml |
no values | YES | True | (1,1) | (1,1) | (1,1) | (1,1) | (1,1) | | 0 | 1113 |
| TRS | | SK90/2.26.xml |
exp | YES | False | (?,?) | (?,?) | NONP | (?,?) | NON_POLY | ✔ | 2450 | 4358 |
| TRS | | SK90/2.47.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1861 | 4258 |
| TRS | | Various_04/22.xml |
n | YES | True | (n,n) | (?,?) | (n,n) | (?,?) | (n,n) | ✔ | 1799 | 5466 |
| TRS | | Various_04/24.xml |
n | YES | True | (n,n^2) | (?,n^2) | (n,n) | (?,n) | (n,n) | ✔ | 6824 | 4315 |
| TRS | | Various_04/11.xml |
1 | MAYBE | False | (?,?) | (?,?) | (1,1) | (?,?) | (1,1) | ✔ | 9 | 1174 |
| TRS | | Various_04/15.xml |
n | YES | False | (?,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1547 | 4162 |
| TRS | | hoca/isort.xml |
exp | YES | True | (n,n^3) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | ^ | 43327 | 4686 |
| TRS | | hoca/dfs-flatten.xml |
n^2 | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 16289 | 4319 |
| TRS | | hoca/fib_llist.xml |
exp | YES | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 1723 | 3378 |
| TRS | | hoca/foldsum.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 45829 | 3512 |
| TRS | | hoca/rev-fletf.xml |
n | YES | False | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 949 | 3276 |
| TRS | | hoca/rev-dl.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 885 | 3315 |
| TRS | | hoca/flatten.xml |
n^2 | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ^ | 3472 | 3369 |
| TRS | | hoca/mergesort-dc.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 10395 | 4626 |
| TRS | | hoca/id.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 1293 | 3279 |
| TRS | | hoca/isort-fold.xml |
exp | YES | True | (n,n^3) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | ^ | 41926 | 4676 |
| TRS | | hoca/mss.xml |
exp | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 13269 | 4386 |
| TRS | | hoca/sum_sqs3.xml |
n^3 | YES | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | * | 32143 | 4427 |
| TRS | | hoca/rev-foldl.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 971 | 3332 |
| TRS | | hoca/mappplus.xml |
n^3 | YES | True | (n,n^2) | (?,n^2) | (n,n^2) | (?,n^2) | (n,n^2) | ^ | 2519 | 3410 |
| TRS | | hoca/sum.xml |
n | YES | True | (n,n) | (?,n) | (n,n) | (?,n) | (n,n) | ✔ | 58465 | 3506 |
| TRS | | AProVE_06/tower_sizeChange.xml |
exp | YES | True | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 3288 | 4304 |
| TRS | | AProVE_06/tower.xml |
exp | YES | True | (?,?) | (?,?) | (n^3,?) | (?,?) | (n^3,) | * | 4562 | 3244 |
| TRS | | AProVE_06/sizeChange.xml |
n^2 | YES | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 31183 | 3482 |
| TRS | | AProVE_06/logarithm.xml |
n^2 | MAYBE | True | (?,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 4024 | 4465 |
| TRS | | AProVE_06/factorial1.xml |
exp | YES | True | (?,?) | (?,?) | (n^11,?) | (?,?) | (n^11,) | * | 3910 | 4301 |
| TRS | | AProVE_06/div_notCeTermin.xml |
n^2 | MAYBE | True | (n,?) | (?,?) | (n,n^2) | (?,?) | (n,n^2) | = | 7428 | 3327 |
| TRS | | AProVE_06/quicksort.xml |
n | MAYBE | True | (n,?) | (?,?) | (n^2,?) | (?,?) | (n^2,) | ✘ | 6203 | 4386 |
| TRS | | AProVE_06/identity.xml |
n^2 | MAYBE | False | (n,?) | (?,?) | (n,?) | (?,?) | (n,) | * | 3038 | 3380 |
| TRS | | AProVE_06/factorial2.xml |
exp | MAYBE | False | (n,?) | (?,?) | (n^3,?) | (?,?) | (n^3,) | * | 3599 | 3283 |
