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 – Full Rewriting

Statistics

Certification

CeTA (2.10)

ACCEPT

Average time	0.039
Total time	0.694
# Results	18

Results

««

«

»

»»

Termination problem

Proved by

CeTA (2.10)


1	tpdb-8.0/TRS/AG01/#3.35.xml	TcT-certify	0.032
2	tpdb-8.0/TRS/Der95/06.xml	TcT-certify	0.027
3	tpdb-8.0/TRS/Der95/07.xml	TcT-certify	0.031
4	tpdb-8.0/TRS/Der95/27.xml	TcT-certify	0.028
5	tpdb-8.0/TRS/Endrullis_06/direct.xml	TcT-certify	0.043
6	tpdb-8.0/TRS/Mixed_TRS/jones4.xml	TcT-certify	0.032
7	tpdb-8.0/TRS/Mixed_TRS/jones6.xml	TcT-certify	0.042
8	tpdb-8.0/TRS/Rubio_04/bintrees.xml	TcT-certify	0.053
9	tpdb-8.0/TRS/Rubio_04/p266.xml	TcT-certify	0.035
10	tpdb-8.0/TRS/Rubio_04/test4.xml	TcT-certify	0.041
11	tpdb-8.0/TRS/Secret_06_TRS/6.xml	TcT-certify	0.042
12	tpdb-8.0/TRS/SK90/2.13.xml	TcT-certify	0.036
13	tpdb-8.0/TRS/SK90/2.55.xml	TcT-certify	0.028
14	tpdb-8.0/TRS/SK90/4.45.xml	TcT-certify	0.026
15	tpdb-8.0/TRS/SK90/4.47.xml	TcT-certify	0.054
16	tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml	TcT-certify	0.049
17	tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml	TcT-certify	0.057
18	tpdb-8.0/TRS/Various_04/23.xml	TcT-certify	0.038