termcomp

Navigation

Home
Login
Register

Certification Results for Runtime Complexity – Innermost Rewriting

Certification

CeTA (2.7)

««

»»

Termination problem

Proved by

CeTA (2.7)


1	tpdb-8.0/TRS/AG01/#3.51.xml	TcT-certify	0.063
2	tpdb-8.0/TRS/AG01/#3.53a.xml	TcT-certify	0.029
3	tpdb-8.0/TRS/Der95/06.xml	TcT-certify	0.028
4	tpdb-8.0/TRS/Der95/07.xml	TcT-certify	0.03
5	tpdb-8.0/TRS/Der95/27.xml	TcT-certify	0.028
6	tpdb-8.0/TRS/Endrullis_06/direct.xml	TcT-certify	0.046
7	tpdb-8.0/TRS/Mixed_TRS/jones1.xml	TcT-certify	0.033
8	tpdb-8.0/TRS/Mixed_TRS/jones6.xml	TcT-certify	0.04
9	tpdb-8.0/TRS/raML/appendAll.raml.xml	TcT-certify	0.114
10	tpdb-8.0/TRS/raML/rationalPotential.raml.xml	TcT-certify	0.121
11	tpdb-8.0/TRS/Rubio_04/gmnp.xml	TcT-certify	0.061
12	tpdb-8.0/TRS/Rubio_04/mfp95.xml	TcT-certify	0.025
13	tpdb-8.0/TRS/Rubio_04/p266.xml	TcT-certify	0.035
14	tpdb-8.0/TRS/Rubio_04/test4.xml	TcT-certify	0.039
15	tpdb-8.0/TRS/Secret_06_TRS/6.xml	TcT-certify	0.041
16	tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml	TcT-certify	0.042
17	tpdb-8.0/TRS/SK90/2.11.xml	TcT-certify	0.036
18	tpdb-8.0/TRS/SK90/2.13.xml	TcT-certify	0.037
19	tpdb-8.0/TRS/SK90/2.14.xml	TcT-certify	0.051
20	tpdb-8.0/TRS/SK90/2.31.xml	TcT-certify	0.035
21	tpdb-8.0/TRS/SK90/4.12.xml	TcT-certify	0.03
22	tpdb-8.0/TRS/SK90/4.30.xml	TcT-certify	0.046
23	tpdb-8.0/TRS/SK90/4.45.xml	TcT-certify	0.027
24	tpdb-8.0/TRS/SK90/4.48.xml	TcT-certify	0.028
25	tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml	TcT-certify	0.044
26	tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml	TcT-certify	0.037
27	tpdb-8.0/TRS/Various_04/23.xml	TcT-certify	0.037