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

Statistics

Certification

CeTA (2.10)

Average time	0.062
Total time	5.530
# Results	89

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.15.xml	CaTCert	0.034
3	tpdb-8.0/TRS/AG01/#3.33.xml	TcT-certify	0.035
4	tpdb-8.0/TRS/AG01/#3.33.xml	CaTCert	0.037
5	tpdb-8.0/TRS/AG01/#3.35.xml	TcT-certify	0.031
6	tpdb-8.0/TRS/AG01/#3.35.xml	CaTCert	0.029
7	tpdb-8.0/TRS/AG01/#3.37.xml	TcT-certify	0.045
8	tpdb-8.0/TRS/AG01/#3.37.xml	CaTCert	0.049
9	tpdb-8.0/TRS/AG01/#3.56.xml	TcT-certify	0.049
10	tpdb-8.0/TRS/AG01/#3.56.xml	CaTCert	0.047
11	tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	CaTCert	0.196
12	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	TcT-certify	0.151
13	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	CaTCert	0.184
14	tpdb-8.0/TRS/AProVE_10/ex5.xml	TcT-certify	0.03
15	tpdb-8.0/TRS/AProVE_10/ex5.xml	CaTCert	0.025
16	tpdb-8.0/TRS/Der95/07.xml	TcT-certify	0.033
17	tpdb-8.0/TRS/Der95/07.xml	CaTCert	0.031
18	tpdb-8.0/TRS/Der95/27.xml	TcT-certify	0.03
19	tpdb-8.0/TRS/Der95/27.xml	CaTCert	0.032
20	tpdb-8.0/TRS/Endrullis_06/direct.xml	TcT-certify	0.041
21	tpdb-8.0/TRS/Endrullis_06/direct.xml	CaTCert	0.067
22	tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	TcT-certify	0.031
23	tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	CaTCert	0.032
24	tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	TcT-certify	0.054
25	tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	CaTCert	0.068
26	tpdb-8.0/TRS/Mixed_TRS/jones1.xml	TcT-certify	0.036
27	tpdb-8.0/TRS/Mixed_TRS/jones1.xml	CaTCert	0.03
28	tpdb-8.0/TRS/Mixed_TRS/jones4.xml	TcT-certify	0.028
29	tpdb-8.0/TRS/Mixed_TRS/jones4.xml	CaTCert	0.026
30	tpdb-8.0/TRS/Mixed_TRS/jones6.xml	TcT-certify	0.045
31	tpdb-8.0/TRS/Mixed_TRS/jones6.xml	CaTCert	0.041
32	tpdb-8.0/TRS/Rubio_04/bintrees.xml	TcT-certify	0.048
33	tpdb-8.0/TRS/Rubio_04/bintrees.xml	CaTCert	0.041
34	tpdb-8.0/TRS/Rubio_04/koen.xml	TcT-certify	0.031
35	tpdb-8.0/TRS/Rubio_04/koen.xml	CaTCert	0.028
36	tpdb-8.0/TRS/Rubio_04/mfp95.xml	TcT-certify	0.025
37	tpdb-8.0/TRS/Rubio_04/mfp95.xml	CaTCert	0.027
38	tpdb-8.0/TRS/Rubio_04/p266.xml	TcT-certify	0.031
39	tpdb-8.0/TRS/Rubio_04/p266.xml	CaTCert	0.034
40	tpdb-8.0/TRS/Rubio_04/test4.xml	TcT-certify	0.044