Data-Driven Runtime Complexity Analysis
WebTool
TRS Innermost
TRS Full
-- TRS --
AProVE_06/logarithm.xml.trs (n, n^2)
AProVE_06/sizeChange.xml.trs (n, n^2)
AProVE_06/tower.xml.trs (n^3, ?)
AProVE_06/tower_sizeChange.xml.trs (n, ?)
AProVE_06/identity.xml.trs (n, ?)
AProVE_06/div_notCeTermin.xml.trs (n, n^2)
AProVE_06/factorial2.xml.trs (n^3, ?)
AProVE_06/quicksort.xml.trs (n^2, ?)
AProVE_06/factorial1.xml.trs (n^11, ?)
AG01/#3.42.xml.trs (n, n)
AG01/#3.33.xml.trs (1, 1)
AG01/#3.49.xml.trs (n, ?)
AG01/#3.7.xml.trs (n, n)
AG01/#3.6a.xml.trs (n, n)
AG01/#3.12.xml.trs (n^3, n^3)
AG01/#3.23.xml.trs (n, n)
AG01/#3.1.xml.trs (n, n)
AG01/#3.13.xml.trs (n, ?)
AG01/#3.5.xml.trs (n, n)
AG01/#3.18.xml.trs (n, n)
AG01/#3.8a.xml.trs (n, n)
AG01/#3.37.xml.trs (n, n)
AG01/#3.5b.xml.trs (n, n^3)
AG01/#3.55.xml.trs (n^2, ?)
AG01/#3.31.xml.trs (NON_POLY, NON_POLY)
AG01/#3.6b.xml.trs (n, n^3)
AG01/#3.52.xml.trs (n, n)
AG01/#3.35.xml.trs (n, n)
AG01/#3.47.xml.trs (n, n)
AG01/#3.24.xml.trs (n, n)
AG01/#3.48.xml.trs (n, n^2)
AG01/#3.26.xml.trs (n, ?)
AG01/#3.36.xml.trs (n, ?)
AG01/#3.16.xml.trs (n^2, n^3)
AG01/#3.41.xml.trs (n, n)
AG01/#3.53.xml.trs (n^3, n^3)
AG01/#4.30c.xml.trs (n, n)
AG01/#3.5a.xml.trs (n, n)
AG01/#3.38.xml.trs (NON_POLY, NON_POLY)
AG01/#3.8b.xml.trs (n, n^3)
AG01/#3.15.xml.trs (n, n)
AG01/#3.6.xml.trs (n, n)
AG01/#3.10.xml.trs (n, n^4)
AG01/#3.53b.xml.trs (n, n)
AG01/#3.2.xml.trs (n, n)
Rubio_04/gcd.xml.trs (n, n)
Rubio_04/division.xml.trs (n, n^3)
Rubio_04/test4.xml.trs (n, n)
Rubio_04/wst99.xml.trs (n, n^2)
Rubio_04/prov.xml.trs (n, n)
Rubio_04/quick.xml.trs (n^2, ?)
Rubio_04/mfp95.xml.trs (1, 1)
Rubio_04/gmnp.xml.trs (n, n)
Rubio_04/revlist.xml.trs (n, ?)
Rubio_04/bintrees.xml.trs (n, n)
Rubio_04/polo2.xml.trs (n, n)
Rubio_04/nestrec.xml.trs (NON_POLY, NON_POLY)
Rubio_04/enno.xml.trs (n, n^2)
Rubio_04/elimdupl.xml.trs (n, n^2)
Rubio_04/logarquot.xml.trs (n, n)
Rubio_04/selsort.xml.trs (n^2, n^3)
Rubio_04/ma96.xml.trs (n, ?)
Rubio_04/test829.xml.trs (n, n)
AProVE_04/rta3.xml.trs (n, ?)
AProVE_04/rta2.xml.trs (n, ?)
AProVE_04/rta1.xml.trs (n, ?)
AProVE_04/AAECC.xml.trs (n, n^2)
AProVE_04/JFP_Ex51.xml.trs (n, n^2)
AProVE_04/IJCAR_1.xml.trs (n, n)
AProVE_04/fac.xml.trs (n^2, n^2)
AProVE_04/AAECC-ring.xml.trs (n, ?)
Strategy_removed_mixed_05/test77.xml.trs (n, n)
Strategy_removed_mixed_05/test76.xml.trs (n, n)
Strategy_removed_mixed_05/test830.xml.trs (n, n)
AProVE_08/log.xml.trs (n, ?)
AProVE_08/parting04_maxsort_h.xml.trs (n^2, ?)
AProVE_08/parting03_minsort.xml.trs (n^2, ?)
AProVE_08/parting05_maxsort.xml.trs (n^2, ?)
AProVE_08/parting02_doublelist.xml.trs (n, ?)
AProVE_08/parting01_reverse.xml.trs (n^2, ?)
AProVE_08/thiemann40_modified.xml.trs (n^2, n^2)
raML/insertionsort.raml.xml.trs (n, n^2)
raML/rationalPotential.raml.xml.trs (n, n)
raML/flatten.raml.xml.trs (n, n^2)
raML/bft_mmult.raml.xml.trs (n, n^4)
raML/duplicates.raml.xml.trs (n, n^2)
raML/appendAll.raml.xml.trs (n, n)
raML/listsort.raml.xml.trs (n, n^2)
raML/eratosthenes.raml.xml.trs (n, n^2)
raML/subtrees.raml.xml.trs (n, n^2)
raML/quicksort.raml.xml.trs (n^2, n^2)
raML/clevermmult.raml.xml.trs (n, n^2)
raML/minsort.raml.xml.trs (n, n^2)
raML/bitvectors.raml.xml.trs (n, n^2)
raML/splitandsort.raml.xml.trs (n, n^3)
raML/longestCommonSubsequence.raml.xml.trs (n, n^2)
raML/dyade.raml.xml.trs (n, n^2)
raML/mergesort.raml.xml.trs (n, n^2)
raML/queue.raml.xml.trs (n, ?)
raML/bfs.raml.xml.trs (n, n^2)
raML/matrix.raml.xml.trs (n, n^4)
Strategy_removed_AG01/#4.33.xml.trs (n^2, n^3)
Strategy_removed_AG01/#4.27.xml.trs (n, n^2)
Strategy_removed_AG01/#4.36.xml.trs (n^2, n^3)
Strategy_removed_AG01/#4.37.xml.trs (n, n)
Strategy_removed_AG01/#4.29.xml.trs (n, ?)
Strategy_removed_AG01/#4.26.xml.trs (n, n^2)
Strategy_removed_AG01/#4.34.xml.trs (n, n^2)
Strategy_removed_AG01/#4.28.xml.trs (n, n)
Strategy_removed_AG01/#4.30c.xml.trs (n, n)
Strategy_removed_AG01/#4.23.xml.trs (n, n^2)
Strategy_removed_AG01/#4.30.xml.trs (n, n)
Strategy_removed_AG01/#4.30a.xml.trs (n, n)
Strategy_removed_AG01/#4.30b.xml.trs (n, n)
Strategy_removed_AG01/#4.32.xml.trs (n, n)
Strategy_removed_AG01/#4.22.xml.trs (n, n)
GTSSK07/cade06.xml.trs (n, n^2)
GTSSK07/cade05t.xml.trs (n, n^2)
GTSSK07/cade12t.xml.trs (n, n^2)
GTSSK07/cade07.xml.trs (n, n^2)
GTSSK07/cade09.xml.trs (n, n^2)
GTSSK07/cade17.xml.trs (n^2, ?)
GTSSK07/cade08.xml.trs (n, n^2)
GTSSK07/cade11.xml.trs (n, n^2)
GTSSK07/cade15.xml.trs (NON_POLY, NON_POLY)
GTSSK07/cade13t.xml.trs (n, ?)
GTSSK07/cade10.xml.trs (n, n^2)
GTSSK07/cade16.xml.trs (n, n^2)
GTSSK07/cade01.xml.trs (n, n^2)
GTSSK07/cade14.xml.trs (n, n^2)
GTSSK07/cade03.xml.trs (n, n^2)
hoca/fib_llist.xml.trs (n, ?)
hoca/sum.xml.trs (n, n)
hoca/dfs-flatten.xml.trs (n, n)
hoca/sum_sqs3.xml.trs (n^2, ?)
hoca/isort-fold.xml.trs (n, n^2)
hoca/isort.xml.trs (n, n^2)
hoca/rev-fletf.xml.trs (n, n)
hoca/mergesort-dc.xml.trs (n, ?)
hoca/rev-foldl.xml.trs (n, n)
hoca/foldsum.xml.trs (n, n)
hoca/rev-dl.xml.trs (n, n)
hoca/flatten.xml.trs (n, n)
hoca/mss.xml.trs (n, ?)
hoca/mappplus.xml.trs (n, n^2)
Endrullis_06/direct.xml.trs (n, n)
Mixed_TRS/gcd.xml.trs (n, n^2)
Mixed_TRS/perfect2.xml.trs (NON_POLY, NON_POLY)
Mixed_TRS/gcd_triple.xml.trs (n, ?)
Mixed_TRS/minsort.xml.trs (NON_POLY, NON_POLY)
Mixed_TRS/jones2.xml.trs (n, n)
Mixed_TRS/test1.xml.trs (n, ?)
Mixed_TRS/jones5.xml.trs (n, ?)
Mixed_TRS/jones6.xml.trs (n, n)
Mixed_TRS/gcdMinMax.xml.trs (n, n^2)
Mixed_TRS/perfect.xml.trs (n, n)
Mixed_TRS/Ex1_Luc04b_GM.xml.trs (n, ?)
Mixed_TRS/jones4.xml.trs (n, n)
Mixed_TRS/while.xml.trs (n, n^2)
Mixed_TRS/fossacs.xml.trs (n, ?)
Mixed_TRS/jones1.xml.trs (n, n)
AProVE_07/thiemann38.xml.trs (n, n^2)
AProVE_07/otto07.xml.trs (n, n^2)
AProVE_07/kabasci04.xml.trs (n, ?)
AProVE_07/otto03.xml.trs (n, n^2)
AProVE_07/otto08.xml.trs (n, ?)
AProVE_07/thiemann04.xml.trs (n, ?)
AProVE_07/thiemann27.xml.trs (n, n^2)
AProVE_07/thiemann40.xml.trs (n, n)
AProVE_07/thiemann32.xml.trs (n^2, ?)
AProVE_07/thiemann02.xml.trs (n, ?)
AProVE_07/thiemann12.xml.trs (n, n^2)
AProVE_07/thiemann26.xml.trs (n, n)
AProVE_07/thiemann20.xml.trs (n, n^2)
AProVE_07/thiemann41.xml.trs (n, ?)
AProVE_07/thiemann19.xml.trs (n, ?)
AProVE_07/thiemann25.xml.trs (n, ?)
AProVE_07/thiemann23.xml.trs (n, n)
AProVE_07/thiemann03.xml.trs (n^3, n^3)
AProVE_07/thiemann15.xml.trs (n, n^2)
AProVE_07/thiemann21.xml.trs (n, ?)
AProVE_07/thiemann14.xml.trs (n^2, ?)
AProVE_07/thiemann33.xml.trs (n, ?)
AProVE_07/thiemann36.xml.trs (n, n^2)
AProVE_07/thiemann37.xml.trs (n, ?)
AProVE_07/thiemann16.xml.trs (n, ?)
AProVE_07/thiemann10.xml.trs (n, n)
AProVE_07/thiemann05.xml.trs (n, n^2)
AProVE_07/thiemann07.xml.trs (n^2, ?)
AProVE_07/otto06.xml.trs (n, n^2)
AProVE_07/thiemann01.xml.trs (n, n^2)
AProVE_07/thiemann17.xml.trs (n^2, ?)
AProVE_07/thiemann28.xml.trs (n, n)
AProVE_07/thiemann34.xml.trs (n, n^2)
AProVE_07/thiemann13.xml.trs (n, n^2)
AProVE_07/thiemann22.xml.trs (n, ?)
AProVE_07/thiemann08.xml.trs (NON_POLY, NON_POLY)
AProVE_07/otto11.xml.trs (n, ?)
AProVE_07/otto09.xml.trs (n, ?)
AProVE_07/otto01.xml.trs (n, n)
AProVE_07/otto02.xml.trs (n, n^2)
AProVE_07/otto04.xml.trs (NON_POLY, NON_POLY)
AProVE_07/thiemann33.xml.verbose
AProVE_07/thiemann18.xml.trs (n, n^3)
AProVE_07/thiemann11.xml.trs (n, n^2)
AProVE_07/thiemann24.xml.trs (n^2, ?)
AProVE_07/thiemann29.xml.trs (n^2, ?)
AProVE_07/otto12.xml.trs (n^2, ?)
AProVE_07/thiemann31.xml.trs (n, n^2)
AProVE_07/otto05.xml.trs (n, n)
AProVE_07/thiemann30.xml.trs (n, ?)
AProVE_07/thiemann06.xml.trs (n, n)
AProVE_07/otto10.xml.trs (n, n^2)
AProVE_07/otto13.xml.trs (n, n^2)
Transformed_CSR_04/ExProp7_Luc06_L.xml.trs (1, 1)
Transformed_CSR_04/PEANO_nokinds_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml.trs (1, 1)
Transformed_CSR_04/Ex5_Zan97_GM.xml.trs (n, ?)
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex2_Luc02a_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex2_Luc03b_Z.xml.trs (n, n)
Transformed_CSR_04/ExConc_Zan97_GM.xml.trs (n, n)
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml.trs (n, n)
Transformed_CSR_04/Ex9_Luc04_GM.xml.trs (n, ?)
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml.trs (n, n)
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml.trs (n^2, ?)
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml.trs (n, ?)
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml.trs (n, ?)
Transformed_CSR_04/ExIntrod_GM01_GM.xml.trs (n, ?)
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml.trs (n, ?)
Transformed_CSR_04/PEANO_nosorts_FR.xml.trs (n, n)
Transformed_CSR_04/Ex18_Luc06_GM.xml.trs (n, n)
Transformed_CSR_04/PEANO_complete_GM.xml.trs (n, ?)
Transformed_CSR_04/ExProp7_Luc06_GM.xml.trs (n, ?)
Transformed_CSR_04/OvConsOS_nokinds_GM.xml.trs (n, ?)
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml.trs (n^2, n^2)
Transformed_CSR_04/MYNAT_nokinds_GM.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex15_Luc06_FR.xml.trs (n, n)
Transformed_CSR_04/ExIntrod_GM99_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex8_BLR02_FR.xml.trs (n, ?)
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex24_Luc06_GM.xml.trs (n, n)
Transformed_CSR_04/Ex6_Luc98_Z.xml.trs (n, n)
Transformed_CSR_04/Ex9_BLR02_GM.xml.trs (n, n^2)
Transformed_CSR_04/Ex6_GM04_GM.xml.trs (1, 1)
Transformed_CSR_04/Ex14_AEGL02_Z.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml.trs (n, n)
Transformed_CSR_04/Ex14_AEGL02_GM.xml.verbose
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex9_BLR02_Z.xml.trs (n, ?)
Transformed_CSR_04/Ex1_Zan97_GM.xml.trs (1, 1)
Transformed_CSR_04/Ex3_2_Luc97_GM.xml.trs (n, ?)
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/PEANO_complete_noand_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex4_4_Luc96b_L.xml.trs (n, n)
Transformed_CSR_04/Ex1_Luc02b_Z.xml.trs (n, n)
Transformed_CSR_04/Ex26_Luc03b_L.xml.trs (1, 1)
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml.trs (n, n)
Transformed_CSR_04/ExIntrod_GM04_GM.xml.trs (n, n^3)
Transformed_CSR_04/Ex2_Luc02a_Z.xml.trs (n^3, n^3)
Transformed_CSR_04/Ex6_15_AEL02_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex4_DLMMU04_GM.xml.trs (n, ?)
Transformed_CSR_04/ExIntrod_GM01_Z.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/Ex2_Luc03b_L.xml.trs (1, 1)
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml.trs (n, n^2)
Transformed_CSR_04/Ex15_Luc98_GM.xml.trs (n, n)
Transformed_CSR_04/Ex15_Luc06_Z.xml.trs (1, 1)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex49_GM04_GM.xml.trs (n, n^2)
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml.trs (n, n^2)
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml.trs (n, n)
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml.trs (n, ?)
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex25_Luc06_GM.xml.trs (n, n)
Transformed_CSR_04/Ex1_GL02a_GM.xml.trs (n, n)
Transformed_CSR_04/Ex9_BLR02_L.xml.trs (1, 1)
Transformed_CSR_04/Ex14_AEGL02_FR.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex2_Luc03b_GM.xml.trs (n, n^2)
Transformed_CSR_04/PEANO_nosorts_GM.xml.trs (n^2, ?)
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex1_GM03_GM.xml.trs (n^2, ?)
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml.trs (1, 1)
Transformed_CSR_04/Ex1_2_AEL03_GM.xml.trs (n, ?)
Transformed_CSR_04/ExProp7_Luc06_Z.xml.trs (1, 1)
Transformed_CSR_04/MYNAT_nosorts_GM.xml.trs (n^2, ?)
Transformed_CSR_04/Ex14_AEGL02_GM.xml.trs (n, n^3)
Transformed_CSR_04/Ex5_7_Luc97_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex6_Luc98_L.xml.trs (1, 1)
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml.trs (n, ?)
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex4_Zan97_FR.xml.trs (n, ?)
Transformed_CSR_04/MYNAT_nosorts_FR.xml.trs (n^2, n^2)
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml.trs (n, n)
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/MYNAT_complete_GM.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml.trs (n, n^6)
Transformed_CSR_04/Ex23_Luc06_GM.xml.trs (n, n)
Transformed_CSR_04/Ex15_Luc06_GM.xml.trs (n, n)
Transformed_CSR_04/MYNAT_complete_noand_GM.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/Ex6_Luc98_GM.xml.trs (n, n^2)
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex5_Zan97_Z.xml.trs (1, 1)
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml.trs (n, ?)
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/Ex5_DLMMU04_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex1_Luc02b_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml.trs (n, n)
Transformed_CSR_04/Ex1_Luc04b_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml.trs (1, 1)
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml.trs (n, ?)
Transformed_CSR_04/ExIntrod_Zan97_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex4_Zan97_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex2_Luc02a_L.xml.trs (n^3, n^3)
Transformed_CSR_04/ExConc_Zan97_FR.xml.trs (n, n)
Transformed_CSR_04/ExIntrod_GM04_FR.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/Ex8_BLR02_Z.xml.trs (n, ?)
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml.trs (n, n)
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml.trs (1, 1)
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml.trs (n, n)
Transformed_CSR_04/OvConsOS_complete_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex26_Luc03b_GM.xml.trs (n, n^2)
Transformed_CSR_04/Ex7_BLR02_Z.xml.trs (n, n)
Transformed_CSR_04/Ex1_GM99_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex8_BLR02_GM.xml.trs (n^2, ?)
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml.trs (1, 1)
Transformed_CSR_04/Ex4_Zan97_Z.xml.trs (n, ?)
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml.trs (n, ?)
Transformed_CSR_04/Ex7_BLR02_GM.xml.trs (n, ?)
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml.trs (NON_POLY, NON_POLY)
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml.trs (n^2, n^2)
Zantema_05/z23.xml.trs (n, n)
Zantema_05/z17.xml.trs (n, ?)
Zantema_05/z15.xml.trs (n, ?)
Zantema_05/z24.xml.trs (n, ?)
Zantema_05/z18.xml.trs (n, ?)
Zantema_05/z12.xml.trs (n, ?)
Zantema_05/z16.xml.trs (n, ?)
Zantema_05/z13.xml.trs (n, ?)
Zantema_05/z27.xml.trs (n, ?)
Zantema_05/z14.xml.trs (n, ?)
SK90/2.24.xml.trs (NON_POLY, NON_POLY)
SK90/4.05.xml.trs (n, n^2)
SK90/4.24.xml.trs (n, ?)
SK90/4.13.xml.trs (n, n)
SK90/4.16.xml.trs (n, n)
SK90/4.29.xml.trs (n, n)
SK90/2.54.xml.trs (n, n)
SK90/4.30.xml.trs (n, n)
SK90/2.41.xml.trs (n, n)
SK90/4.47.xml.trs (1, 1)
SK90/2.13.xml.trs (n, n)
SK90/4.42.xml.trs (n, ?)
SK90/4.38.xml.trs (n, n)
SK90/2.44.xml.trs (n, n)
SK90/2.18.xml.trs (n, n^2)
SK90/4.60.xml.trs (NON_POLY, NON_POLY)
SK90/2.15.xml.trs (NON_POLY, NON_POLY)
SK90/2.51.xml.trs (n, ?)
SK90/4.18.xml.trs (1, 1)
SK90/2.37.xml.trs (1, 1)
SK90/2.09.xml.trs (n, n)
SK90/4.27.xml.trs (n, ?)
SK90/4.35.xml.trs (1, 1)
SK90/4.17.xml.trs (n^2, n^2)
SK90/2.45.xml.trs (n, n)
SK90/4.31.xml.trs (NON_POLY, NON_POLY)
SK90/2.52.xml.trs (n, ?)
SK90/2.20.xml.trs (n, n)
SK90/2.31.xml.trs (n, n)
SK90/2.40.xml.trs (n, n)
SK90/2.47.xml.trs (n, n)
SK90/2.39.xml.trs (n^2, n^2)
SK90/2.36.xml.trs (n, n)
SK90/4.12.xml.trs (n, n)
SK90/2.26.xml.trs (NON_POLY, NON_POLY)
SK90/2.12.xml.trs (n^3, n^3)
SK90/2.17.xml.trs (n, n)
SK90/2.16.xml.trs (n^2, n^2)
SK90/2.28.xml.trs (n, ?)
SK90/2.50.xml.trs (n, n)
SK90/2.27.xml.trs (n, ?)
SK90/4.61.xml.trs (NON_POLY, NON_POLY)
SK90/4.59.xml.trs (NON_POLY, NON_POLY)
SK90/2.30.xml.trs (1, 1)
SK90/2.22.xml.trs (n, n^2)
SK90/2.23.xml.trs (n^3, ?)
SK90/2.53.xml.trs (n, n)
SK90/2.19.xml.trs (n^2, n^2)
SK90/2.48.xml.trs (1, 1)
SK90/2.25.xml.trs (NON_POLY, NON_POLY)
SK90/2.29.xml.trs (n, n)
SK90/2.21.xml.trs (NON_POLY, NON_POLY)
SK90/4.57.xml.trs (1, 1)
SK90/2.43.xml.trs (NON_POLY, NON_POLY)
SK90/2.11.xml.trs (n, n)
Strategy_removed_CSR_05/Ex49_GM04.xml.trs (n, n)
Secret_06_TRS/logarithm.xml.trs (n, n^2)
Secret_06_TRS/tpa06.xml.trs (n, n^2)
Secret_06_TRS/division.xml.trs (n, n^2)
Secret_06_TRS/tpa08.xml.trs (NON_POLY, NON_POLY)
Secret_06_TRS/tpa04.xml.trs (n, ?)
Secret_06_TRS/tpa07.xml.trs (NON_POLY, NON_POLY)
Secret_06_TRS/tpa05.xml.trs (NON_POLY, NON_POLY)
Secret_06_TRS/tpa10.xml.trs (NON_POLY, NON_POLY)
Secret_06_TRS/double.xml.trs (n, ?)
Secret_06_TRS/sumList.xml.trs (n^2, ?)
Secret_06_TRS/nrOfNodes.xml.trs (n^2, ?)
Secret_06_TRS/reverse.xml.trs (n^2, ?)
Secret_06_TRS/nrOfNodes.xml.verbose
Secret_06_TRS/toList.xml.trs (n, ?)
Secret_06_TRS/tpa09.xml.trs (NON_POLY, NON_POLY)
Secret_06_TRS/addList.xml.trs (n, ?)
CiME_04/filliatre2.xml.trs (n, ?)
CiME_04/append.xml.trs (n, n)
CiME_04/append-hard.xml.trs (n, n)
CiME_04/filliatre3.xml.trs (n, ?)
CiME_04/ack_prolog.xml.trs (n, ?)
CiME_04/list-sum-prod.xml.trs (NON_POLY, NON_POLY)
CiME_04/filliatre.xml.trs (n, ?)
CiME_04/fact-hard.xml.trs (NON_POLY, NON_POLY)
Waldmann_06/jwmatchb2.xml.trs (n, n)
Waldmann_06/jwno1.xml.trs (n, ?)
Waldmann_06/jwno6.xml.trs (n, ?)
Waldmann_06/jwno4.xml.trs (n, ?)
Waldmann_06/jwmatchb1.xml.trs (n, n)
AProVE_09_Inductive/gcd.xml.trs (n, n^3)
AProVE_09_Inductive/log.xml.trs (n, n)
AProVE_09_Inductive/divhard.xml.trs (n, n^3)
AProVE_09_Inductive/gcdhard.xml.trs (n, n)
AProVE_09_Inductive/maxsortcondition.xml.trs (n^2, ?)
AProVE_09_Inductive/qsort.xml.trs (n, ?)
AProVE_09_Inductive/minsort.xml.trs (n, ?)
AProVE_09_Inductive/mod.xml.trs (n, n^3)
AProVE_09_Inductive/div.xml.trs (n, n^3)
AProVE_09_Inductive/maxsort.xml.trs (n^2, ?)
AProVE_09_Inductive/qsortmiddle.xml.trs (n, ?)
AProVE_09_Inductive/gcd2.xml.trs (n, n^3)
AProVE_09_Inductive/zerolist.xml.trs (n, n^2)
AProVE_09_Inductive/qsortlast.xml.trs (n, ?)
Frederiksen_Others/gexgcd2.xml.trs (n, n^2)
Frederiksen_Others/permut.xml.trs (n, n)
Frederiksen_Others/dup1_typed.xml.trs (n, n)
Frederiksen_Others/minsortSize.xml.trs (n, ?)
Frederiksen_Others/graphcolour1_typed.xml.trs (n, n^3)
Frederiksen_Others/thetrickSize.xml.trs (n, n)
Frederiksen_Others/rematch.xml.trs (n^2, ?)
Frederiksen_Others/graphcolour2Size_typed.xml.trs (n, n^5)
Frederiksen_Others/graphcolour2_typed.xml.trs (n, n^5)
Frederiksen_Others/disj2_typed.xml.trs (n, n)
Frederiksen_Others/strmatch.xml.trs (n, n^2)
Frederiksen_Others/graphcolour3_typed.xml.trs (n, n^5)
Frederiksen_Others/gexgcd.xml.trs (n, n)
Frederiksen_Others/inssort.xml.trs (n, n^2)
Frederiksen_Others/div2.xml.trs (n, n)
Frederiksen_Others/oddeven.xml.trs (n, n)
Frederiksen_Others/bubblesort.xml.trs (n, n^2)
Frederiksen_Others/match.xml.trs (n, n^2)
Frederiksen_Others/assrewriteSize.xml.trs (n, ?)
Frederiksen_Others/reach.xml.trs (NON_POLY, NON_POLY)
Frederiksen_Others/add.xml.trs (n, n)
Frederiksen_Others/dup2_typed.xml.trs (n, n)
Frederiksen_Others/inssort_better.xml.trs (n, n^2)
Frederiksen_Others/quicksortPtime.xml.trs (n, n^2)
Frederiksen_Others/fghSize.xml.trs (NON_POLY, NON_POLY)
Frederiksen_Others/ex6.xml.trs (n, n)
Frederiksen_Others/match.xml.verbose
Frederiksen_Others/power.xml.trs (n^2, ?)
Frederiksen_Others/ocall-unsafe.xml.trs (n, n)
Frederiksen_Others/quicksortSize.xml.trs (n, ?)
Frederiksen_Others/power.xml.verbose
Frederiksen_Others/boolprog.xml.trs (n, n)
Frederiksen_Others/ocall-safe.xml.trs (n, n)
TCT_12/polycounter-10.xml.trs (n, ?)
TCT_12/recursion-10.xml.trs (n, n^10)
TCT_12/sat.xml.trs (n, n^2)
TCT_12/recursion-5.xml.trs (n, n^5)
TCT_12/polycounter-5.xml.trs (n, n^5)
Secret_07_TRS/aprove05.xml.trs (n, ?)
Secret_07_TRS/aprove07.xml.trs (n, ?)
Secret_07_TRS/aprove10.xml.trs (n, n^3)
Secret_07_TRS/aprove03.xml.trs (n, ?)
Secret_07_TRS/aprove08.xml.trs (n, n^2)
Secret_07_TRS/aprove04.xml.trs (n, ?)
Secret_07_TRS/secret3.xml.trs (n, ?)
Secret_07_TRS/aprove09.xml.trs (n, n^3)
Secret_07_TRS/aprove02.xml.trs (n, n^5)
Secret_07_TRS/aprove01.xml.trs (n, ?)
Secret_07_TRS/aprove06.xml.trs (n, ?)
Secret_05_TRS/tpa4.xml.trs (NON_POLY, NON_POLY)
Secret_05_TRS/aprove2.xml.trs (n, n)
Secret_05_TRS/tpa5.xml.trs (n, ?)
Secret_05_TRS/tpa1.xml.trs (n, n^2)
Secret_05_TRS/tpa2.xml.trs (n, n)
Secret_05_TRS/aprove3.xml.trs (n, ?)
Secret_05_TRS/tpa3.xml.trs (NON_POLY, NON_POLY)
Secret_05_TRS/cime4.xml.trs (1, 1)
HirokawaMiddeldorp_04/t002.xml.trs (n, n)
HirokawaMiddeldorp_04/t013.xml.trs (n, ?)
HirokawaMiddeldorp_04/t014.xml.trs (n, n)
HirokawaMiddeldorp_04/t011.xml.trs (n, n)
HirokawaMiddeldorp_04/t009.xml.trs (n, ?)
HirokawaMiddeldorp_04/t003.xml.trs (n, ?)
HirokawaMiddeldorp_04/t001.xml.trs (n, ?)
HirokawaMiddeldorp_04/t004.xml.trs (NON_POLY, NON_POLY)
Frederiksen_Glenstrup/gcd.xml.trs (n, n^3)
Frederiksen_Glenstrup/turing_typed.xml.trs (NON_POLY, NON_POLY)
Frederiksen_Glenstrup/revapp.xml.trs (n, n)
Frederiksen_Glenstrup/append.xml.trs (n, n)
Frederiksen_Glenstrup/anchored.xml.trs (n, n)
Frederiksen_Glenstrup/mul_better.xml.trs (n^3, n^3)
Frederiksen_Glenstrup/permute.xml.trs (NON_POLY, NON_POLY)
Frederiksen_Glenstrup/thetrick.xml.trs (NON_POLY, NON_POLY)
Frederiksen_Glenstrup/select.xml.trs (n, n^2)
Frederiksen_Glenstrup/binom.xml.trs (NON_POLY, NON_POLY)
Frederiksen_Glenstrup/assrewrite.xml.trs (n, ?)
Frederiksen_Glenstrup/minsort.xml.trs (n, ?)
Frederiksen_Glenstrup/evenodd.xml.trs (n, n)
Frederiksen_Glenstrup/ack.xml.trs (n, ?)
Frederiksen_Glenstrup/list.xml.trs (n, n)
Frederiksen_Glenstrup/disjconj.xml.trs (NON_POLY, NON_POLY)
Frederiksen_Glenstrup/ordered.xml.trs (n, n)
Frederiksen_Glenstrup/duplicate.xml.trs (n, n)
Frederiksen_Glenstrup/subsets.xml.trs (n, ?)
Frederiksen_Glenstrup/mergelists.xml.trs (n, n)
Frederiksen_Glenstrup/game.xml.trs (n, n)
Frederiksen_Glenstrup/nestdec.xml.trs (n, n)
Frederiksen_Glenstrup/naiverev.xml.trs (n^2, n^2)
Frederiksen_Glenstrup/deeprev_typed.xml.trs (n, n)
Frederiksen_Glenstrup/overlap.xml.trs (n, n^2)
Frederiksen_Glenstrup/map0.xml.trs (n, n)
Frederiksen_Glenstrup/add.xml.trs (n, n)
Frederiksen_Glenstrup/lte.xml.trs (n, n)
Frederiksen_Glenstrup/int.xml.trs (n, ?)
Frederiksen_Glenstrup/ordered_better.xml.trs (?, n)
Frederiksen_Glenstrup/fold.xml.trs (n, n)
Frederiksen_Glenstrup/quicksort.xml.trs (n, ?)
Frederiksen_Glenstrup/shuffle.xml.trs (n^3, n^3)
Frederiksen_Glenstrup/gcd2.xml.trs (n, n^3)
Frederiksen_Glenstrup/vangelder_typed.xml.trs (NON_POLY, NON_POLY)
Frederiksen_Glenstrup/parsexp.xml.trs (NON_POLY, NON_POLY)
Frederiksen_Glenstrup/power.xml.trs (n^3, ?)
Frederiksen_Glenstrup/addlists.xml.trs (n, n)
Frederiksen_Glenstrup/mergesort.xml.trs (n, n^2)
Frederiksen_Glenstrup/mul.xml.trs (n^3, n^3)
Frederiksen_Glenstrup/decrease.xml.trs (n, n)
Frederiksen_Glenstrup/member.xml.trs (n, n)
Frederiksen_Glenstrup/lambdaint_typed.xml.trs (n, ?)
Version
worstcase4.ts
Timeout [in ms]
WCA
LOG
Details
