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 – Full Rewriting
Statistics
Certification
CeTA (2.7)
ACCEPT
Average time
0.045
Total time
1.041
# Results
23
Results
««
«
»
»»
Termination problem
Proved by
CeTA (2.7)
1
tpdb-8.0/TRS/AG01/#3.51.xml
TcT-certify
0.062
2
tpdb-8.0/TRS/AG01/#3.53a.xml
TcT-certify
0.029
3
tpdb-8.0/TRS/Der95/06.xml
TcT-certify
0.026
4
tpdb-8.0/TRS/Der95/07.xml
TcT-certify
0.031
5
tpdb-8.0/TRS/Der95/27.xml
TcT-certify
0.028
6
tpdb-8.0/TRS/Endrullis_06/direct.xml
TcT-certify
0.04
7
tpdb-8.0/TRS/Mixed_TRS/jones1.xml
TcT-certify
0.034
8
tpdb-8.0/TRS/Mixed_TRS/jones6.xml
TcT-certify
0.041
9
tpdb-8.0/TRS/Rubio_04/koen.xml
TcT-certify
0.031
10
tpdb-8.0/TRS/Rubio_04/p266.xml
TcT-certify
0.036
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.042
13
tpdb-8.0/TRS/SK90/2.38.xml
TcT-certify
0.032
14
tpdb-8.0/TRS/SK90/2.47.xml
TcT-certify
0.027
15
tpdb-8.0/TRS/SK90/2.53.xml
TcT-certify
0.026
16
tpdb-8.0/TRS/SK90/4.12.xml
TcT-certify
0.029
17
tpdb-8.0/TRS/SK90/4.16.xml
TcT-certify
0.036
18
tpdb-8.0/TRS/SK90/4.30.xml
TcT-certify
0.045
19
tpdb-8.0/TRS/SK90/4.35.xml
TcT-certify
0.024
20
tpdb-8.0/TRS/SK90/4.45.xml
TcT-certify
0.026
21
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml
TcT-certify
0.227
22
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml
TcT-certify
0.089
23
tpdb-8.0/TRS/Various_04/23.xml
TcT-certify
0.039
««
«
»
»»