termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Certification Results for Runtime Complexity – Innermost Rewriting

Statistics

Certification

CeTA (2.10)

Average time	0.057
Total time	6.109
# Results	107

Results

««

Last

Termination problem

Proved by

CeTA (2.10)


1	tpdb-8.0/TRS/AG01/#3.15.xml	TcT-certify	0.035
2	tpdb-8.0/TRS/AG01/#3.24.xml	TcT-certify	0.029
3	tpdb-8.0/TRS/AG01/#3.29.xml	TcT-certify	0.024
4	tpdb-8.0/TRS/AG01/#3.33.xml	TcT-certify	0.046
5	tpdb-8.0/TRS/AG01/#3.35.xml	TcT-certify	0.032
6	tpdb-8.0/TRS/AG01/#3.37.xml	TcT-certify	0.044
7	tpdb-8.0/TRS/AG01/#3.51.xml	TcT-certify	0.058
8	tpdb-8.0/TRS/AG01/#3.53a.xml	TcT-certify	0.029
9	tpdb-8.0/TRS/AG01/#3.56.xml	TcT-certify	0.049
10	tpdb-8.0/TRS/AG01/#3.7.xml	TcT-certify	0.029
11	tpdb-8.0/TRS/CiME_04/dpqs.xml	TcT-certify	0.043
12	tpdb-8.0/TRS/Der95/06.xml	TcT-certify	0.027
13	tpdb-8.0/TRS/Der95/07.xml	TcT-certify	0.031
14	tpdb-8.0/TRS/Der95/27.xml	TcT-certify	0.029
15	tpdb-8.0/TRS/Endrullis_06/direct.xml	TcT-certify	0.042
16	tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	TcT-certify	0.03
17	tpdb-8.0/TRS/Mixed_TRS/jones1.xml	TcT-certify	0.034
18	tpdb-8.0/TRS/Mixed_TRS/jones4.xml	TcT-certify	0.032
19	tpdb-8.0/TRS/Mixed_TRS/jones6.xml	TcT-certify	0.042
20	tpdb-8.0/TRS/raML/appendAll.raml.xml	TcT-certify	0.11
21	tpdb-8.0/TRS/raML/rationalPotential.raml.xml	TcT-certify	0.116
22	tpdb-8.0/TRS/Rubio_04/bintrees.xml	TcT-certify	0.053
23	tpdb-8.0/TRS/Rubio_04/gmnp.xml	TcT-certify	0.056
24	tpdb-8.0/TRS/Rubio_04/koen.xml	TcT-certify	0.031
25	tpdb-8.0/TRS/Rubio_04/mfp95.xml	TcT-certify	0.024
26	tpdb-8.0/TRS/Rubio_04/p266.xml	TcT-certify	0.036
27	tpdb-8.0/TRS/Rubio_04/test4.xml	TcT-certify	0.039
28	tpdb-8.0/TRS/Rubio_04/test829.xml	TcT-certify	0.033
29	tpdb-8.0/TRS/Secret_06_TRS/6.xml	TcT-certify	0.043
30	tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml	TcT-certify	0.044
31	tpdb-8.0/TRS/SK90/2.03.xml	TcT-certify	0.033
32	tpdb-8.0/TRS/SK90/2.09.xml	TcT-certify	0.03
33	tpdb-8.0/TRS/SK90/2.11.xml	TcT-certify	0.036
34	tpdb-8.0/TRS/SK90/2.13.xml	TcT-certify	0.036
35	tpdb-8.0/TRS/SK90/2.14.xml	TcT-certify	0.052
36	tpdb-8.0/TRS/SK90/2.30.xml	TcT-certify	0.033
37	tpdb-8.0/TRS/SK90/2.31.xml	TcT-certify	0.037
38	tpdb-8.0/TRS/SK90/2.36.xml	TcT-certify	0.034
39	tpdb-8.0/TRS/SK90/2.38.xml	TcT-certify	0.033
40	tpdb-8.0/TRS/SK90/2.41.xml	TcT-certify	0.041