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.7)

Average time	0.065
Total time	6.039
# Results	93

Results

««

Last

Termination problem

Proved by

CeTA (2.7)


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.24.xml	TcT-certify	0.03
4	tpdb-8.0/TRS/AG01/#3.24.xml	CaTCert	0.031
5	tpdb-8.0/TRS/AG01/#3.33.xml	TcT-certify	0.034
6	tpdb-8.0/TRS/AG01/#3.33.xml	CaTCert	0.038
7	tpdb-8.0/TRS/AG01/#3.35.xml	TcT-certify	0.03
8	tpdb-8.0/TRS/AG01/#3.35.xml	CaTCert	0.029
9	tpdb-8.0/TRS/AG01/#3.56.xml	TcT-certify	0.048
10	tpdb-8.0/TRS/AG01/#3.56.xml	CaTCert	0.051
11	tpdb-8.0/TRS/AG01/#3.7.xml	TcT-certify	0.038
12	tpdb-8.0/TRS/AG01/#3.7.xml	CaTCert	0.037
13	tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	CaTCert	0.206
14	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	TcT-certify	0.151
15	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	CaTCert	0.197
16	tpdb-8.0/TRS/AProVE_10/ex5.xml	TcT-certify	0.031
17	tpdb-8.0/TRS/AProVE_10/ex5.xml	CaTCert	0.025
18	tpdb-8.0/TRS/Der95/07.xml	TcT-certify	0.033
19	tpdb-8.0/TRS/Der95/07.xml	CaTCert	0.032
20	tpdb-8.0/TRS/Der95/27.xml	TcT-certify	0.031
21	tpdb-8.0/TRS/Der95/27.xml	CaTCert	0.033
22	tpdb-8.0/TRS/Endrullis_06/direct.xml	TcT-certify	0.04
23	tpdb-8.0/TRS/Endrullis_06/direct.xml	CaTCert	0.054
24	tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	TcT-certify	0.031
25	tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	CaTCert	0.032
26	tpdb-8.0/TRS/ICFP_2010/212693.xml	TcT-certify	0.24
27	tpdb-8.0/TRS/ICFP_2010/212693.xml	CaTCert	0.347
28	tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	TcT-certify	0.056
29	tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	CaTCert	0.071
30	tpdb-8.0/TRS/Mixed_TRS/jones1.xml	TcT-certify	0.035
31	tpdb-8.0/TRS/Mixed_TRS/jones1.xml	CaTCert	0.031
32	tpdb-8.0/TRS/Mixed_TRS/jones4.xml	TcT-certify	0.028
33	tpdb-8.0/TRS/Mixed_TRS/jones4.xml	CaTCert	0.027
34	tpdb-8.0/TRS/Mixed_TRS/jones6.xml	TcT-certify	0.044
35	tpdb-8.0/TRS/Mixed_TRS/jones6.xml	CaTCert	0.043
36	tpdb-8.0/TRS/Rubio_04/bintrees.xml	TcT-certify	0.047
37	tpdb-8.0/TRS/Rubio_04/bintrees.xml	CaTCert	0.043
38	tpdb-8.0/TRS/Rubio_04/koen.xml	TcT-certify	0.03
39	tpdb-8.0/TRS/Rubio_04/koen.xml	CaTCert	0.029
40	tpdb-8.0/TRS/Rubio_04/mfp95.xml	TcT-certify	0.025