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 Derivational Complexity - Innermost Rewriting

Statistics

Certification

CeTA (2.10)

Average time	0.063
Total time	6.512
# Results	103

Results

««

Last

Termination problem

Proved by

CeTA (2.10)


1	tpdb-8.0/TRS/AG01/#3.15.xml	TcT-certify	0.037
2	tpdb-8.0/TRS/AG01/#3.24.xml	TcT-certify	0.029
3	tpdb-8.0/TRS/AG01/#3.33.xml	TcT-certify	0.037
4	tpdb-8.0/TRS/AG01/#3.35.xml	TcT-certify	0.032
5	tpdb-8.0/TRS/AG01/#3.37.xml	TcT-certify	0.046
6	tpdb-8.0/TRS/AG01/#3.56.xml	TcT-certify	0.05
7	tpdb-8.0/TRS/AG01/#3.7.xml	TcT-certify	0.039
8	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	TcT-certify	0.154
9	tpdb-8.0/TRS/AProVE_10/ex5.xml	TcT-certify	0.031
10	tpdb-8.0/TRS/Der95/07.xml	TcT-certify	0.034
11	tpdb-8.0/TRS/Der95/27.xml	TcT-certify	0.033
12	tpdb-8.0/TRS/Endrullis_06/direct.xml	TcT-certify	0.042
13	tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	TcT-certify	0.032
14	tpdb-8.0/TRS/ICFP_2010/25192.xml	TcT-certify	0.041
15	tpdb-8.0/TRS/ICFP_2010/264370.xml	TcT-certify	0.065
16	tpdb-8.0/TRS/ICFP_2010/264405.xml	TcT-certify	0.066
17	tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	TcT-certify	0.055
18	tpdb-8.0/TRS/Mixed_TRS/jones1.xml	TcT-certify	0.036
19	tpdb-8.0/TRS/Mixed_TRS/jones4.xml	TcT-certify	0.03
20	tpdb-8.0/TRS/Mixed_TRS/jones6.xml	TcT-certify	0.046
21	tpdb-8.0/TRS/Rubio_04/bintrees.xml	TcT-certify	0.048
22	tpdb-8.0/TRS/Rubio_04/koen.xml	TcT-certify	0.031
23	tpdb-8.0/TRS/Rubio_04/mfp95.xml	TcT-certify	0.028
24	tpdb-8.0/TRS/Rubio_04/p266.xml	TcT-certify	0.031
25	tpdb-8.0/TRS/Rubio_04/test4.xml	TcT-certify	0.043
26	tpdb-8.0/TRS/Rubio_04/test829.xml	TcT-certify	0.033
27	tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml	TcT-certify	0.1
28	tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml	TcT-certify	0.065
29	tpdb-8.0/TRS/Secret_06_TRS/6.xml	TcT-certify	0.051
30	tpdb-8.0/TRS/SK90/2.03.xml	TcT-certify	0.031
31	tpdb-8.0/TRS/SK90/2.09.xml	TcT-certify	0.03
32	tpdb-8.0/TRS/SK90/2.11.xml	TcT-certify	0.038
33	tpdb-8.0/TRS/SK90/2.31.xml	TcT-certify	0.045
34	tpdb-8.0/TRS/SK90/2.36.xml	TcT-certify	0.037
35	tpdb-8.0/TRS/SK90/2.38.xml	TcT-certify	0.037
36	tpdb-8.0/TRS/SK90/2.41.xml	TcT-certify	0.049
37	tpdb-8.0/TRS/SK90/2.47.xml	TcT-certify	0.028
38	tpdb-8.0/TRS/SK90/2.48.xml	TcT-certify	0.041
39	tpdb-8.0/TRS/SK90/2.49.xml	TcT-certify	0.036
40	tpdb-8.0/TRS/SK90/2.53.xml	TcT-certify	0.029