termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Derivational Complexity - Innermost Rewriting

Statistics

	TCT alpha iDC (1.07.2)	CaT_dc (2009)
Score	122	276
Number of wins	34	92
Number of Timeouts	119	156
Total Time	9870538	12491390

Detailed Statistics

Result

TCT alpha iDC (1.07.2)

CaT_dc (2009)

Average time	41.263
Total time	206.315
# Results	5

Average time
Total time
# Results

MAYBE

Average time	5.645
Total time	2449.928
# Results	434

Average time	7.923
Total time	2804.739
# Results	354

Average time
Total time
# Results

Average time	0.169
Total time	2.541
# Results	15

Thefollowingerroroccured:

Average time	0.134
Total time	2.006
# Results	15

Average time
Total time
# Results

TIMEOUT

Average time	60.383
Total time	7185.619
# Results	119

Average time	60.201
Total time	9391.301
# Results	156

YES(?,O(n^1))

Average time	0.891
Total time	13.363
# Results	15

Average time	0.746
Total time	48.501
# Results	65

YES(?,O(n^2))

Average time	0.323
Total time	9.050
# Results	28

Average time	7.391
Total time	177.382
# Results	24

YES(?,O(n^3))

Average time	4.257
Total time	4.257
# Results	1

Average time
Total time
# Results

YES(?,O(n^4))

Average time
Total time
# Results

Average time	22.309
Total time	66.926
# Results	3

Actions

Results

««

Last

Termination Problem

TCT alpha iDC (1.07.2)

CaT_dc (2009)


1	tpdb-8.0/TRS/AG01/#3.12.xml	0	0
2	tpdb-8.0/TRS/AG01/#3.15.xml	3	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	2	3
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	3	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