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.073
Total time	15.388
# Results	212

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.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.036
6	tpdb-8.0/TRS/AG01/#3.33.xml	CaTCert	0.037
7	tpdb-8.0/TRS/AG01/#3.35.xml	TcT-certify	0.031
8	tpdb-8.0/TRS/AG01/#3.35.xml	CaTCert	0.03
9	tpdb-8.0/TRS/AG01/#3.37.xml	TcT-certify	0.046
10	tpdb-8.0/TRS/AG01/#3.37.xml	CaTCert	0.048
11	tpdb-8.0/TRS/AG01/#3.56.xml	TcT-certify	0.05
12	tpdb-8.0/TRS/AG01/#3.56.xml	CaTCert	0.048
13	tpdb-8.0/TRS/AG01/#3.7.xml	TcT-certify	0.039
14	tpdb-8.0/TRS/AG01/#3.7.xml	CaTCert	0.036
15	tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	TcT-certify	0.109
16	tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	CaTCert	0.196
17	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	TcT-certify	0.15
18	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	CaTCert	0.185
19	tpdb-8.0/TRS/AProVE_10/ex5.xml	TcT-certify	0.03
20	tpdb-8.0/TRS/AProVE_10/ex5.xml	CaTCert	0.025
21	tpdb-8.0/TRS/Der95/07.xml	TcT-certify	0.033
22	tpdb-8.0/TRS/Der95/07.xml	CaTCert	0.035
23	tpdb-8.0/TRS/Der95/27.xml	TcT-certify	0.031
24	tpdb-8.0/TRS/Der95/27.xml	CaTCert	0.032
25	tpdb-8.0/TRS/Endrullis_06/direct.xml	TcT-certify	0.042
26	tpdb-8.0/TRS/Endrullis_06/direct.xml	CaTCert	0.067
27	tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	TcT-certify	0.031
28	tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	CaTCert	0.031
29	tpdb-8.0/TRS/ICFP_2010/212693.xml	CaTCert	0.506
30	tpdb-8.0/TRS/ICFP_2010/213281.xml	CaTCert	0.574
31	tpdb-8.0/TRS/ICFP_2010/25192.xml	TcT-certify	0.042
32	tpdb-8.0/TRS/ICFP_2010/25192.xml	CaTCert	0.036
33	tpdb-8.0/TRS/ICFP_2010/264370.xml	TcT-certify	0.067
34	tpdb-8.0/TRS/ICFP_2010/264370.xml	CaTCert	0.076
35	tpdb-8.0/TRS/ICFP_2010/264405.xml	TcT-certify	0.065
36	tpdb-8.0/TRS/ICFP_2010/264405.xml	CaTCert	0.063
37	tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	TcT-certify	0.053
38	tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	CaTCert	0.068
39	tpdb-8.0/TRS/Mixed_TRS/jones1.xml	TcT-certify	0.035
40	tpdb-8.0/TRS/Mixed_TRS/jones1.xml	CaTCert	0.03