termcomp

Navigation

Category Results for Derivational Complexity - Innermost Rewriting

Detailed Statistics

Result

TCT (1.8.02)

ERROR

TIMEOUT

YES(?,O(n^1))

YES(?,O(n^2))

YES(?,O(n^3))

YES(?,O(n^4))

««

Last

Termination Problem

TCT (1.8.02)


1	tpdb-8.0/TRS/AG01/#3.18.xml	0
2	tpdb-8.0/TRS/AG01/#3.1.xml	0
3	tpdb-8.0/TRS/AG01/#3.23.xml	0
4	tpdb-8.0/TRS/AG01/#3.29.xml	0
5	tpdb-8.0/TRS/AG01/#3.41.xml	0
6	tpdb-8.0/TRS/AG01/#3.48.xml	0
7	tpdb-8.0/TRS/AG01/#3.49.xml	0
8	tpdb-8.0/TRS/AG01/#3.4.xml	0
9	tpdb-8.0/TRS/AG01/#3.51.xml	2
10	tpdb-8.0/TRS/AG01/#3.53b.xml	0
11	tpdb-8.0/TRS/AG01/#3.56.xml	0
12	tpdb-8.0/TRS/AG01/#3.5a.xml	0
13	tpdb-8.0/TRS/AG01/#3.5.xml	0
14	tpdb-8.0/TRS/AG01/#3.8a.xml	0
15	tpdb-8.0/TRS/Applicative_05/Hamming.xml	0
16	tpdb-8.0/TRS/Applicative_05/TypeEx5.xml	0
17	tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml	0
18	tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml	0
19	tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml	0
20	tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml	0
21	tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml	0
22	tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	2
23	tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml	2
24	tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml	0
25	tpdb-8.0/TRS/AProVE_04/Liveness8.xml	0
26	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	2
27	tpdb-8.0/TRS/AProVE_04/rta1.xml	0
28	tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml	0
29	tpdb-8.0/TRS/AProVE_06/div_notTermin.xml	0
30	tpdb-8.0/TRS/AProVE_06/factorial1.xml	0
31	tpdb-8.0/TRS/AProVE_06/logarithm.xml	0
32	tpdb-8.0/TRS/AProVE_06/modulo.xml	0
33	tpdb-8.0/TRS/AProVE_06/nonterm.xml	0
34	tpdb-8.0/TRS/AProVE_06/quicksort.xml	0
35	tpdb-8.0/TRS/AProVE_06/quot.xml	0
36	tpdb-8.0/TRS/AProVE_06/sizeChange.xml	0
37	tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	0
38	tpdb-8.0/TRS/AProVE_06/tower.xml	0
39	tpdb-8.0/TRS/AProVE_07/kabasci01.xml	0
40	tpdb-8.0/TRS/AProVE_07/kabasci02.xml	0

««

Last