Navigation
«
»
Public
Home
Login
Register
«
»
Competition
Competition List
Download current tools
«
»
Termexec
Create an Experiment
View Experiments
View Tools
«
»
Help
Registration
Tool management
Query interface
Certification Results for Runtime Complexity – Innermost Rewriting
Statistics
Certification
CeTA (2.10)
ACCEPT
Average time
0.035
Total time
0.708
# Results
20
Results
««
«
»
»»
Termination problem
Proved by
CeTA (2.10)
1
tpdb-8.0/TRS/AG01/#3.35.xml
TcT-certify
0.033
2
tpdb-8.0/TRS/Der95/06.xml
TcT-certify
0.027
3
tpdb-8.0/TRS/Der95/07.xml
TcT-certify
0.032
4
tpdb-8.0/TRS/Der95/27.xml
TcT-certify
0.028
5
tpdb-8.0/TRS/Endrullis_06/direct.xml
TcT-certify
0.042
6
tpdb-8.0/TRS/Mixed_TRS/jones4.xml
TcT-certify
0.033
7
tpdb-8.0/TRS/Mixed_TRS/jones6.xml
TcT-certify
0.041
8
tpdb-8.0/TRS/Rubio_04/gmnp.xml
TcT-certify
0.056
9
tpdb-8.0/TRS/Rubio_04/test4.xml
TcT-certify
0.04
10
tpdb-8.0/TRS/Rubio_04/test829.xml
TcT-certify
0.032
11
tpdb-8.0/TRS/Secret_06_TRS/6.xml
TcT-certify
0.041
12
tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml
TcT-certify
0.043
13
tpdb-8.0/TRS/SK90/2.13.xml
TcT-certify
0.036
14
tpdb-8.0/TRS/SK90/2.30.xml
TcT-certify
0.033
15
tpdb-8.0/TRS/SK90/2.54.xml
TcT-certify
0.027
16
tpdb-8.0/TRS/SK90/4.16.xml
TcT-certify
0.038
17
tpdb-8.0/TRS/SK90/4.45.xml
TcT-certify
0.027
18
tpdb-8.0/TRS/SK90/4.48.xml
TcT-certify
0.029
19
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml
TcT-certify
0.028
20
tpdb-8.0/TRS/Zantema_05/z26.xml
TcT-certify
0.042
««
«
»
»»
