Navigation
«
»
Public
Home
Login
Register
«
»
Competition
Competition List
Download current tools
«
»
Termexec
Create an Experiment
View Experiments
View Tools
«
»
Help
Registration
Tool management
Query interface
Category Results for Runtime Complexity – Innermost Rewriting
Statistics
TcT-certify (1.9.2)
TcT (2.0.2)
AProVE (TC 2013)
Score
314
1147
1133
Number of wins
47
280
271
Number of Timeouts
0
0
0
Total Time
41481882
34566353
31635680
«
»
Detailed Statistics
Result
TcT-certify (1.9.2)
TcT (2.0.2)
AProVE (TC 2013)
MAYBE
Average time
55.212
Total time
41243.436
# Results
747
Average time
52.228
Total time
29508.644
# Results
565
Average time
51.154
Total time
28953.228
# Results
566
YES(?,O(1))
Average time
Total time
# Results
Average time
0.451
Total time
6.763
# Results
15
Average time
Total time
# Results
YES(O(1),O(1))
Average time
Total time
# Results
Average time
6.644
Total time
146.175
# Results
22
Average time
1.522
Total time
63.939
# Results
42
YES(O(1),O(n^1))
Average time
0.319
Total time
21.389
# Results
67
Average time
9.524
Total time
771.424
# Results
81
Average time
11.844
Total time
2096.355
# Results
177
YES(O(1),O(n^2))
Average time
3.895
Total time
144.126
# Results
37
Average time
30.106
Total time
1505.312
# Results
50
Average time
7.515
Total time
465.911
# Results
62
YES(O(1),O(n^3))
Average time
24.310
Total time
72.931
# Results
3
Average time
37.198
Total time
334.778
# Results
9
Average time
8.035
Total time
56.247
# Results
7
YES(O(1),O(n^4))
Average time
Total time
# Results
Average time
53.846
Total time
53.846
# Results
1
Average time
Total time
# Results
YES(O(1),POLY)
Average time
Total time
# Results
Average time
30.302
Total time
30.302
# Results
1
Average time
Total time
# Results
YES(?,O(n^1))
Average time
Total time
# Results
Average time
19.463
Total time
1946.304
# Results
100
Average time
Total time
# Results
YES(?,O(n^10))
Average time
Total time
# Results
Average time
59.309
Total time
59.309
# Results
1
Average time
Total time
# Results
YES(?,O(n^2))
Average time
Total time
# Results
Average time
9.005
Total time
54.032
# Results
6
Average time
Total time
# Results
YES(?,O(n^5))
Average time
Total time
# Results
Average time
38.936
Total time
38.936
# Results
1
Average time
Total time
# Results
YES(?,POLY)
Average time
Total time
# Results
Average time
55.264
Total time
110.528
# Results
2
Average time
Total time
# Results
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
»
Last
Termination Problem
TcT-certify (1.9.2)
TcT (2.0.2)
AProVE (TC 2013)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/AG01/#3.10.xml
0
0
0
2
tpdb-8.0/TRS/AG01/#3.12.xml
0
4
4
3
tpdb-8.0/TRS/AG01/#3.13.xml
0
0
0
4
tpdb-8.0/TRS/AG01/#3.15.xml
4
4
4
5
tpdb-8.0/TRS/AG01/#3.16.xml
0
4
4
6
tpdb-8.0/TRS/AG01/#3.17a.xml
0
4
4
7
tpdb-8.0/TRS/AG01/#3.17.xml
0
4
4
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
0
4
3
11
tpdb-8.0/TRS/AG01/#3.22.xml
0
4
4
12
tpdb-8.0/TRS/AG01/#3.23.xml
0
4
4
13
tpdb-8.0/TRS/AG01/#3.24.xml
3
4
3
14
tpdb-8.0/TRS/AG01/#3.26.xml
0
0
0
15
tpdb-8.0/TRS/AG01/#3.29.xml
2
4
4
16
tpdb-8.0/TRS/AG01/#3.2.xml
0
4
4
17
tpdb-8.0/TRS/AG01/#3.31.xml
0
0
0
18
tpdb-8.0/TRS/AG01/#3.33.xml
2
4
4
19
tpdb-8.0/TRS/AG01/#3.35.xml
4
4
4
20
tpdb-8.0/TRS/AG01/#3.36.xml
0
0
0
21
tpdb-8.0/TRS/AG01/#3.37.xml
2
4
4
22
tpdb-8.0/TRS/AG01/#3.38.xml
0
0
0
23
tpdb-8.0/TRS/AG01/#3.39.xml
0
4
3
24
tpdb-8.0/TRS/AG01/#3.40.xml
0
4
4
25
tpdb-8.0/TRS/AG01/#3.41.xml
0
4
4
26
tpdb-8.0/TRS/AG01/#3.42.xml
0
4
3
27
tpdb-8.0/TRS/AG01/#3.47.xml
0
4
4
28
tpdb-8.0/TRS/AG01/#3.48.xml
0
4
4
29
tpdb-8.0/TRS/AG01/#3.49.xml
0
0
0
30
tpdb-8.0/TRS/AG01/#3.4.xml
0
0
0
31
tpdb-8.0/TRS/AG01/#3.51.xml
2
4
4
32
tpdb-8.0/TRS/AG01/#3.52.xml
0
4
4
33
tpdb-8.0/TRS/AG01/#3.53a.xml
2
4
4
34
tpdb-8.0/TRS/AG01/#3.53b.xml
0
4
4
35
tpdb-8.0/TRS/AG01/#3.53.xml
0
4
4
36
tpdb-8.0/TRS/AG01/#3.54.xml
0
0
0
37
tpdb-8.0/TRS/AG01/#3.55.xml
0
0
0
38
tpdb-8.0/TRS/AG01/#3.56.xml
2
4
4
39
tpdb-8.0/TRS/AG01/#3.57.xml
0
0
0
40
tpdb-8.0/TRS/AG01/#3.5a.xml
0
4
4
««
«
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
»
Last
Request being processed
Your request is being processed, please wait.