termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Runtime Complexity – Innermost Rewriting

Statistics

	TcT (1.9.2)	TcT-certify (1.9.2)	AProVE (TC 2012)
Score	363	80	404
Number of wins	87	13	98
Number of Timeouts	0	0	0
Total Time	12195261	14983661	11213829

Detailed Statistics

Result

TcT (1.9.2)

TcT-certify (1.9.2)

AProVE (TC 2012)

MAYBE

Average time	52.927
Total time	10320.754
# Results	195

Average time	57.493
Total time	14948.112
# Results	260

Average time	55.309
Total time	10232.139
# Results	185

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

Average time	11.201
Total time	168.015
# Results	15

Average time
Total time
# Results

Average time	1.986
Total time	31.770
# Results	16

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

Average time	4.958
Total time	158.670
# Results	32

Average time	0.271
Total time	4.601
# Results	17

Average time	11.236
Total time	640.463
# Results	57

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

Average time	39.631
Total time	475.569
# Results	12

Average time	1.889
Total time	17.004
# Results	9

Average time	8.803
Total time	202.475
# Results	23

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

Average time	49.878
Total time	199.511
# Results	4

Average time	13.944
Total time	13.944
# Results	1

Average time	17.830
Total time	106.982
# Results	6

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

Average time	47.008
Total time	47.008
# Results	1

Average time
Total time
# Results

Average time
Total time
# Results

YES(O(1),POLY)

Average time	42.390
Total time	84.779
# Results	2

Average time
Total time
# Results

Average time
Total time
# Results

YES(?,O(n^1))

Average time	26.526
Total time	450.948
# Results	17

Average time
Total time
# Results

Average time
Total time
# Results

YES(?,O(n^10))

Average time	58.528
Total time	58.528
# Results	1

Average time
Total time
# Results

Average time
Total time
# Results

YES(?,O(n^2))

Average time	27.603
Total time	193.219
# Results	7

Average time
Total time
# Results

Average time
Total time
# Results

YES(?,O(n^3))

Average time	38.260
Total time	38.260
# Results	1

Average time
Total time
# Results

Average time
Total time
# Results

Actions

Results

««

Last

Termination Problem

TcT (1.9.2)

TcT-certify (1.9.2)

AProVE (TC 2012)


1	tpdb-8.0/TRS/AG01/#3.13.xml	0	0	0
2	tpdb-8.0/TRS/AG01/#3.16.xml	4	0	4
3	tpdb-8.0/TRS/AG01/#3.17a.xml	4	0	4
4	tpdb-8.0/TRS/AG01/#3.41.xml	3	0	4
5	tpdb-8.0/TRS/AG01/#3.42.xml	4	0	3
6	tpdb-8.0/TRS/AG01/#3.48.xml	4	0	4
7	tpdb-8.0/TRS/AG01/#3.49.xml	0	0	0
8	tpdb-8.0/TRS/AG01/#3.4.xml	0	0	0
9	tpdb-8.0/TRS/AG01/#3.51.xml	4	2	4
10	tpdb-8.0/TRS/AG01/#3.53a.xml	4	2	4
11	tpdb-8.0/TRS/AG01/#3.54.xml	0	0	0
12	tpdb-8.0/TRS/AG01/#3.5b.xml	4	0	4
13	tpdb-8.0/TRS/AG01/#3.6.xml	4	0	4
14	tpdb-8.0/TRS/AG01/#3.8a.xml	3	0	4
15	tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml	0	0	0
16	tpdb-8.0/TRS/AProVE_04/fac.xml	0	0	0
17	tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml	4	0	4
18	tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml	4	0	4
19	tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml	0	0	0
20	tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml	0	0	4
21	tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml	0	0	0
22	tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	0	0	0
23	tpdb-8.0/TRS/AProVE_04/Liveness8.xml	4	0	4
24	tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	4	0	4
25	tpdb-8.0/TRS/AProVE_04/rta1.xml	0	0	0
26	tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml	0	0	0
27	tpdb-8.0/TRS/AProVE_06/div_notTermin.xml	0	0	0
28	tpdb-8.0/TRS/AProVE_06/factorial2.xml	0	0	0
29	tpdb-8.0/TRS/AProVE_06/identity.xml	0	0	0
30	tpdb-8.0/TRS/AProVE_06/modulo.xml	0	0	0
31	tpdb-8.0/TRS/AProVE_06/nonterm.xml	0	0	0
32	tpdb-8.0/TRS/AProVE_06/quicksort.xml	0	0	0
33	tpdb-8.0/TRS/AProVE_06/quot.xml	0	0	0
34	tpdb-8.0/TRS/AProVE_06/sizeChange.xml	0	0	4
35	tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	0	0	0
36	tpdb-8.0/TRS/AProVE_06/tower.xml	0	0	0
37	tpdb-8.0/TRS/AProVE_07/kabasci04.xml	0	0	0
38	tpdb-8.0/TRS/AProVE_07/kabasci05.xml	0	0	0
39	tpdb-8.0/TRS/AProVE_07/otto02.xml	0	0	0
40	tpdb-8.0/TRS/AProVE_07/otto03.xml	0	0	0

««

Last