termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Derivational Complexity - Full Rewriting

Statistics

	TCT alpha DC (1.07.2)	CaT_dc (2009)	matchbox-poly (0.2.2)
Score	380	540	489
Number of wins	71	130	110
Number of Timeouts	287	198	0
Total Time	18289909	15318780	16132135

Detailed Statistics

Result

TCT alpha DC (1.07.2)

CaT_dc (2009)

matchbox-poly (0.2.2)

Average time	21.729
Total time	369.394
# Results	17

Average time
Total time
# Results

Average time
Total time
# Results

MAYBE

Average time	10.785
Total time	258.830
# Results	24

Average time	27.370
Total time	2791.762
# Results	102

Average time
Total time
# Results

MAYBE(EXP,INF)

Average time
Total time
# Results

Average time
Total time
# Results

Average time	44.274
Total time	2257.983
# Results	51

MAYBE(O(n^1),INF)

Average time
Total time
# Results

Average time
Total time
# Results

Average time	43.527
Total time	8836.064
# Results	203

MAYBE(O(n^2),INF)

Average time
Total time
# Results

Average time
Total time
# Results

Average time	50.220
Total time	2812.318
# Results	56

Average time
Total time
# Results

Average time	0.179
Total time	3.229
# Results	18

Average time
Total time
# Results

NO(INF,INF)

Average time
Total time
# Results

Average time
Total time
# Results

Average time	0.132
Total time	2.371
# Results	18

Thefollowingerroroccured:

Average time	0.097
Total time	1.746
# Results	18

Average time
Total time
# Results

Average time
Total time
# Results

TIMEOUT

Average time	60.191
Total time	17274.875
# Results	287

Average time	60.204
Total time	11920.465
# Results	198

Average time
Total time
# Results

YES(EXP,EXP)

Average time
Total time
# Results

Average time
Total time
# Results

Average time	7.026
Total time	63.231
# Results	9

YES(?,O(n^1))

Average time	1.808
Total time	57.863
# Results	32

Average time	0.733
Total time	61.579
# Results	84

Average time
Total time
# Results

YES(O(n^1),EXP)

Average time
Total time
# Results

Average time
Total time
# Results

Average time	50.233
Total time	452.099
# Results	9

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

Average time
Total time
# Results

Average time
Total time
# Results

Average time	3.492
Total time	153.641
# Results	44

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

Average time
Total time
# Results

Average time
Total time
# Results

Average time	18.081
Total time	777.475
# Results	43

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

Average time
Total time
# Results

Average time
Total time
# Results

Average time	50.299
Total time	251.495
# Results	5

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

Average time
Total time
# Results

Average time
Total time
# Results

Average time	50.159
Total time	50.159
# Results	1

YES(?,O(n^2))

Average time	3.560
Total time	245.651
# Results	69

Average time	6.532
Total time	267.826
# Results	41

Average time
Total time
# Results

YES(O(n^2),EXP)

Average time
Total time
# Results

Average time
Total time
# Results

Average time	50.311
Total time	352.175
# Results	7

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

Average time
Total time
# Results

Average time
Total time
# Results

Average time	13.680
Total time	123.124
# Results	9

YES(?,O(n^3))

Average time	10.194
Total time	81.550
# Results	8

Average time	16.269
Total time	113.883
# Results	7

Average time
Total time
# Results

YES(?,O(n^4))

Average time
Total time
# Results

Average time	32.007
Total time	160.036
# Results	5

Average time
Total time
# Results

Actions

Results

««

Last

Termination Problem

TCT alpha DC (1.07.2)

CaT_dc (2009)

matchbox-poly (0.2.2)


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.26.xml	0	0	4
6	tpdb-8.0/TRS/AG01/#3.33.xml	2	4	4
7	tpdb-8.0/TRS/AG01/#3.35.xml	4	4	4
8	tpdb-8.0/TRS/AG01/#3.49.xml	0	0	0
9	tpdb-8.0/TRS/AG01/#3.56.xml	3	4	3
10	tpdb-8.0/TRS/AG01/#3.7.xml	4	4	4
11	tpdb-8.0/TRS/AotoYamada_05/005.xml	4	4	4
12	tpdb-8.0/TRS/AotoYamada_05/017.xml	4	4	4
13	tpdb-8.0/TRS/AotoYamada_05/023.xml	4	4	4
14	tpdb-8.0/TRS/AotoYamada_05/025.xml	4	4	4
15	tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml	4	4	4
16	tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml	0	0	0
17	tpdb-8.0/TRS/Applicative_05/TypeEx5.xml	0	0	0
18	tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml	0	0	0
19	tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	0	3	4
20	tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml	0	0	0
21	tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml	0	0	0
22	tpdb-8.0/TRS/AProVE_04/Liveness8.xml	0	0	4
23	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	0	3	4
24	tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml	0	0	0
25	tpdb-8.0/TRS/AProVE_06/identity.xml	0	0	0
26	tpdb-8.0/TRS/AProVE_06/nonterm.xml	0	0	0
27	tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	0	0	0
28	tpdb-8.0/TRS/AProVE_08/round_nonterm.xml	0	0	0
29	tpdb-8.0/TRS/AProVE_08/round.xml	0	0	0
30	tpdb-8.0/TRS/Bouchare_06/01.xml	4	4	0
31	tpdb-8.0/TRS/Bouchare_06/02.xml	2	4	4
32	tpdb-8.0/TRS/Bouchare_06/04.xml	4	4	0
33	tpdb-8.0/TRS/Bouchare_06/05.xml	0	0	0
34	tpdb-8.0/TRS/Bouchare_06/06.xml	0	0	0
35	tpdb-8.0/TRS/Bouchare_06/07.xml	0	0	0
36	tpdb-8.0/TRS/Bouchare_06/09.xml	0	0	0
37	tpdb-8.0/TRS/Bouchare_06/13.xml	0	0	0
38	tpdb-8.0/TRS/Bouchare_06/17.xml	4	4	0
39	tpdb-8.0/TRS/Bouchare_06/18.xml	0	0	0
40	tpdb-8.0/TRS/CiME_04/dpqs.xml	4	4	4

««

Last