termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Derivational Complexity - Full Rewriting

Statistics

	CaT (2011)	TCT (1.8.02)	matchbox-poly (1.0.3)
Score	1448	1969	801
Number of wins	353	476	191
Number of Timeouts	129	1243	338
Total Time	69464235	76036153	76675331

Detailed Statistics

Result

CaT (2011)

TCT (1.8.02)

matchbox-poly (1.0.3)

Average time
Total time
# Results

Average time	10.036
Total time	50.179
# Results	5

Average time
Total time
# Results

ERROR

Average time
Total time
# Results

Average time	0.086
Total time	4.890
# Results	57

Average time
Total time
# Results

MAYBE

Average time	45.966
Total time	57963.676
# Results	1261

Average time	3.144
Total time	12.575
# Results	4

Average time
Total time
# Results

MAYBE(Omega(EXP),O(INF))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	0.150
Total time	28.997
# Results	193

MAYBE(Omega(n^1),O(INF))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	52.489
Total time	45088.230
# Results	859

MAYBE(Omega(n^2),O(INF))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	50.732
Total time	7153.279
# Results	141

Average time	0.319
Total time	17.566
# Results	55

Average time
Total time
# Results

Average time
Total time
# Results

NO(Omega(INF),O(INF))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	0.198
Total time	14.490
# Results	73

TIMEOUT

Average time	60.125
Total time	7756.079
# Results	129

Average time	60.123
Total time	74732.823
# Results	1243

Average time	60.072
Total time	20304.282
# Results	338

YES(Omega(n^1),O(n^1))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	1.732
Total time	183.612
# Results	106

YES(Omega(n^1),O(n^2))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	50.427
Total time	3529.879
# Results	70

YES(Omega(n^1),O(n^3))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	50.236
Total time	301.417
# Results	6

YES(Omega(n^2),O(n^2))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	2.964
Total time	71.145
# Results	24

YES(?,O(n^1))

Average time	1.466
Total time	369.453
# Results	252

Average time	2.040
Total time	803.841
# Results	394

Average time
Total time
# Results

YES(?,O(n^2))

Average time	25.967
Total time	2518.816
# Results	97

Average time	1.923
Total time	169.199
# Results	88

Average time
Total time
# Results

YES(?,O(n^3))

Average time	50.510
Total time	555.610
# Results	11

Average time	11.798
Total time	176.976
# Results	15

Average time
Total time
# Results

YES(?,O(n^4))

Average time	56.607
Total time	283.035
# Results	5

Average time	18.693
Total time	56.078
# Results	3

Average time
Total time
# Results

YES(?,O(n^5))

Average time
Total time
# Results

Average time	29.592
Total time	29.592
# Results	1

Average time
Total time
# Results

Actions

Results

««

Last

Termination Problem

CaT (2011)

TCT (1.8.02)

matchbox-poly (1.0.3)


1	tpdb-8.0/TRS/AG01/#3.12.xml	0	0	0
2	tpdb-8.0/TRS/AG01/#3.15.xml	4	4	4
3	tpdb-8.0/TRS/AG01/#3.17a.xml	0	0	0
4	tpdb-8.0/TRS/AG01/#3.17.xml	0	0	0
5	tpdb-8.0/TRS/AG01/#3.24.xml	4	4	4
6	tpdb-8.0/TRS/AG01/#3.26.xml	0	0	0
7	tpdb-8.0/TRS/AG01/#3.33.xml	4	4	4
8	tpdb-8.0/TRS/AG01/#3.35.xml	4	4	4
9	tpdb-8.0/TRS/AG01/#3.37.xml	4	4	4
10	tpdb-8.0/TRS/AG01/#3.49.xml	0	0	0
11	tpdb-8.0/TRS/AG01/#3.51.xml	4	4	4
12	tpdb-8.0/TRS/AG01/#3.56.xml	4	3	3
13	tpdb-8.0/TRS/AG01/#3.7.xml	4	3	0
14	tpdb-8.0/TRS/AotoYamada_05/005.xml	4	4	0
15	tpdb-8.0/TRS/AotoYamada_05/017.xml	4	4	4
16	tpdb-8.0/TRS/AotoYamada_05/023.xml	4	4	4
17	tpdb-8.0/TRS/AotoYamada_05/025.xml	4	4	4
18	tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml	4	4	4
19	tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml	0	0	0
20	tpdb-8.0/TRS/Applicative_05/TypeEx5.xml	0	0	0
21	tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml	0	0	0
22	tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	4	3	0
23	tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml	0	0	0
24	tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml	0	0	0
25	tpdb-8.0/TRS/AProVE_04/Liveness8.xml	4	4	0
26	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	4	2	4
27	tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml	0	0	0
28	tpdb-8.0/TRS/AProVE_06/identity.xml	0	0	0
29	tpdb-8.0/TRS/AProVE_06/nonterm.xml	0	0	0
30	tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	0	0	0
31	tpdb-8.0/TRS/AProVE_08/round_nonterm.xml	0	0	0
32	tpdb-8.0/TRS/AProVE_08/round.xml	0	0	0
33	tpdb-8.0/TRS/AProVE_10/ex5.xml	4	4	4
34	tpdb-8.0/TRS/Bouchare_06/01.xml	4	0	0
35	tpdb-8.0/TRS/Bouchare_06/02.xml	4	2	4
36	tpdb-8.0/TRS/Bouchare_06/03.xml	0	0	0
37	tpdb-8.0/TRS/Bouchare_06/04.xml	4	0	0
38	tpdb-8.0/TRS/Bouchare_06/05.xml	4	0	0
39	tpdb-8.0/TRS/Bouchare_06/06.xml	0	0	0
40	tpdb-8.0/TRS/Bouchare_06/07.xml	0	0	0

««

Last