termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Runtime Complexity – Innermost Rewriting

Statistics

	AProVE (2011-0.1)	CaT (2010)	TCT (1.8.03)
Score	2394	631	1607
Number of wins	586	34	302
Number of Timeouts	575	32	622
Total Time	37469551	8154707	44787653

Detailed Statistics

Result

AProVE (2011-0.1)

CaT (2010)

TCT (1.8.03)

Average time	0.284
Total time	17.055
# Results	60

Average time
Total time
# Results

Average time	0.056
Total time	0.056
# Results	1

ERROR

Average time
Total time
# Results

Average time
Total time
# Results

Average time	0.060
Total time	3.613
# Results	60

MAYBE

Average time	5.602
Total time	246.490
# Results	44

Average time	5.720
Total time	5479.916
# Results	958

Average time	41.783
Total time	6894.182
# Results	165

Average time
Total time
# Results

Average time	0.171
Total time	10.241
# Results	60

Average time
Total time
# Results

TIMEOUT

Average time	60.555
Total time	34819.304
# Results	575

Average time	60.060
Total time	1921.920
# Results	32

Average time	60.126
Total time	37398.405
# Results	622

YES(?,O(1))

Average time
Total time
# Results

Average time
Total time
# Results

Average time	3.347
Total time	50.206
# Results	15

YES(O(1),O(1))

Average time	0.998
Total time	343.318
# Results	344

Average time
Total time
# Results

Average time	0.059
Total time	3.128
# Results	53

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

Average time	7.188
Total time	1337.001
# Results	186

Average time
Total time
# Results

Average time
Total time
# Results

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

Average time	9.141
Total time	594.143
# Results	65

Average time
Total time
# Results

Average time
Total time
# Results

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

Average time	12.471
Total time	112.240
# Results	9

Average time
Total time
# Results

Average time
Total time
# Results

YES(?,O(n^1))

Average time
Total time
# Results

Average time	0.489
Total time	69.993
# Results	143

Average time	0.609
Total time	201.008
# Results	330

YES(?,O(n^2))

Average time
Total time
# Results

Average time	5.812
Total time	459.150
# Results	79

Average time	4.362
Total time	148.305
# Results	34

YES(?,O(n^3))

Average time
Total time
# Results

Average time	15.587
Total time	93.521
# Results	6

Average time	29.583
Total time	88.750
# Results	3

YES(?,O(n^4))

Average time
Total time
# Results

Average time	23.993
Total time	119.966
# Results	5

Average time
Total time
# Results

Actions

Results

««

Last

Termination Problem

AProVE (2011-0.1)

CaT (2010)

TCT (1.8.03)


1	tpdb-8.0/TRS/AG01/#3.10.xml	0	0	0
2	tpdb-8.0/TRS/AG01/#3.12.xml	4	0	0
3	tpdb-8.0/TRS/AG01/#3.13.xml	0	0	0
4	tpdb-8.0/TRS/AG01/#3.15.xml	4	2	4
5	tpdb-8.0/TRS/AG01/#3.16.xml	4	0	0
6	tpdb-8.0/TRS/AG01/#3.17a.xml	4	0	0
7	tpdb-8.0/TRS/AG01/#3.17.xml	4	0	0
8	tpdb-8.0/TRS/AG01/#3.18.xml	0	0	0
9	tpdb-8.0/TRS/AG01/#3.19.xml	0	0	0
10	tpdb-8.0/TRS/AG01/#3.1.xml	3	0	4
11	tpdb-8.0/TRS/AG01/#3.21.xml	4	0	0
12	tpdb-8.0/TRS/AG01/#3.22.xml	4	0	0
13	tpdb-8.0/TRS/AG01/#3.23.xml	4	0	4
14	tpdb-8.0/TRS/AG01/#3.24.xml	2	4	4
15	tpdb-8.0/TRS/AG01/#3.26.xml	0	0	0
16	tpdb-8.0/TRS/AG01/#3.29.xml	4	0	4
17	tpdb-8.0/TRS/AG01/#3.2.xml	4	0	0
18	tpdb-8.0/TRS/AG01/#3.31.xml	0	0	0
19	tpdb-8.0/TRS/AG01/#3.33.xml	4	2	4
20	tpdb-8.0/TRS/AG01/#3.35.xml	4	2	4
21	tpdb-8.0/TRS/AG01/#3.36.xml	0	0	0
22	tpdb-8.0/TRS/AG01/#3.37.xml	4	4	4
23	tpdb-8.0/TRS/AG01/#3.38.xml	0	0	0
24	tpdb-8.0/TRS/AG01/#3.39.xml	4	0	0
25	tpdb-8.0/TRS/AG01/#3.40.xml	4	0	0
26	tpdb-8.0/TRS/AG01/#3.41.xml	4	0	3
27	tpdb-8.0/TRS/AG01/#3.42.xml	4	0	0
28	tpdb-8.0/TRS/AG01/#3.47.xml	4	0	3
29	tpdb-8.0/TRS/AG01/#3.48.xml	4	0	0
30	tpdb-8.0/TRS/AG01/#3.49.xml	0	0	0
31	tpdb-8.0/TRS/AG01/#3.4.xml	0	0	0
32	tpdb-8.0/TRS/AG01/#3.51.xml	4	4	4
33	tpdb-8.0/TRS/AG01/#3.52.xml	4	0	4
34	tpdb-8.0/TRS/AG01/#3.53a.xml	4	0	4
35	tpdb-8.0/TRS/AG01/#3.53b.xml	4	0	4
36	tpdb-8.0/TRS/AG01/#3.53.xml	4	0	0
37	tpdb-8.0/TRS/AG01/#3.54.xml	0	0	0
38	tpdb-8.0/TRS/AG01/#3.55.xml	0	0	0
39	tpdb-8.0/TRS/AG01/#3.56.xml	4	4	4
40	tpdb-8.0/TRS/AG01/#3.57.xml	0	0	0

««

Last