termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Runtime Complexity – Innermost Rewriting

Statistics

	CaT_rc (2009)	TCT iRC (0.3.3)
Score	277	169
Number of wins	85	49
Number of Timeouts	26	94
Total Time	1942407	13340419

Detailed Statistics

Result

CaT_rc (2009)

TCT iRC (0.3.3)

Average time
Total time
# Results

Average time	24.322
Total time	145.931
# Results	6

MAYBE

Average time	1.076
Total time	294.854
# Results	274

Average time	30.287
Total time	7147.686
# Results	236

Average time	0.164
Total time	1.149
# Results	7

Average time
Total time
# Results

Thefollowingerroroccured:

Average time
Total time
# Results

Average time	0.457
Total time	3.199
# Results	7

TIMEOUT

Average time	60.213
Total time	1565.546
# Results	26

Average time	60.577
Total time	5694.264
# Results	94

YES(?,O(1))

Average time
Total time
# Results

Average time	0.130
Total time	0.781
# Results	6

YES(?,O(n^1))

Average time	0.315
Total time	27.676
# Results	88

Average time	2.223
Total time	82.256
# Results	37

YES(?,O(n^2))

Average time	4.574
Total time	32.015
# Results	7

Average time	7.639
Total time	68.748
# Results	9

YES(?,O(n^3))

Average time
Total time
# Results

Average time	16.879
Total time	84.395
# Results	5

YES(?,O(n^4))

Average time	21.167
Total time	21.167
# Results	1

Average time
Total time
# Results

YES(?,POLY)

Average time
Total time
# Results

Average time	37.720
Total time	113.159
# Results	3

Actions

Results

««

Last

Termination Problem

CaT_rc (2009)

TCT iRC (0.3.3)


1	tpdb-8.0/TRS/AG01/#3.12.xml	0	0
2	tpdb-8.0/TRS/AG01/#3.15.xml	2	3
3	tpdb-8.0/TRS/AG01/#3.17a.xml	0	0
4	tpdb-8.0/TRS/AG01/#3.1.xml	0	0
5	tpdb-8.0/TRS/AG01/#3.21.xml	0	0
6	tpdb-8.0/TRS/AG01/#3.26.xml	0	0
7	tpdb-8.0/TRS/AG01/#3.47.xml	0	0
8	tpdb-8.0/TRS/AG01/#3.53b.xml	0	0
9	tpdb-8.0/TRS/AG01/#3.53.xml	0	0
10	tpdb-8.0/TRS/AG01/#3.55.xml	0	0
11	tpdb-8.0/TRS/AG01/#3.56.xml	3	2
12	tpdb-8.0/TRS/AG01/#3.57.xml	0	0
13	tpdb-8.0/TRS/AG01/#3.5a.xml	0	0
14	tpdb-8.0/TRS/AG01/#3.6a.xml	0	0
15	tpdb-8.0/TRS/AG01/#4.30c.xml	0	0
16	tpdb-8.0/TRS/AotoYamada_05/001.xml	0	0
17	tpdb-8.0/TRS/AotoYamada_05/002.xml	0	0
18	tpdb-8.0/TRS/AotoYamada_05/005.xml	2	3
19	tpdb-8.0/TRS/AotoYamada_05/007.xml	0	0
20	tpdb-8.0/TRS/AotoYamada_05/010.xml	0	0
21	tpdb-8.0/TRS/AotoYamada_05/016.xml	0	0
22	tpdb-8.0/TRS/AotoYamada_05/017.xml	3	3
23	tpdb-8.0/TRS/AotoYamada_05/019.xml	0	0
24	tpdb-8.0/TRS/AotoYamada_05/023.xml	3	3
25	tpdb-8.0/TRS/AotoYamada_05/028.xml	0	0
26	tpdb-8.0/TRS/Applicative_05/BTreeMember.xml	0	0
27	tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml	3	3
28	tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml	0	0
29	tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml	0	0
30	tpdb-8.0/TRS/Applicative_05/Ex6_11.xml	0	0
31	tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml	0	0
32	tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml	0	0
33	tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml	0	0
34	tpdb-8.0/TRS/Applicative_05/nonTermF.xml	0	0
35	tpdb-8.0/TRS/Applicative_05/termMonTypes.xml	0	0
36	tpdb-8.0/TRS/Applicative_first_order_05/01.xml	0	0
37	tpdb-8.0/TRS/Applicative_first_order_05/08.xml	0	0
38	tpdb-8.0/TRS/Applicative_first_order_05/12.xml	0	0
39	tpdb-8.0/TRS/Applicative_first_order_05/17.xml	0	0
40	tpdb-8.0/TRS/Applicative_first_order_05/18.xml	0	0

««

Last