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 Derivational Complexity - Innermost Rewriting
Statistics
CaT (2010)
TCT (1.8.02)
Score
1090
2269
Number of wins
356
743
Number of Timeouts
312
976
Total Time
61677819
60044715
«
»
Detailed Statistics
Result
CaT (2010)
TCT (1.8.02)
Average time
Total time
# Results
Average time
13.947
Total time
111.578
# Results
8
ERROR
Average time
Total time
# Results
Average time
0.099
Total time
6.328
# Results
64
MAYBE
Average time
20.880
Total time
41446.650
# Results
1985
Average time
2.887
Total time
11.546
# Results
4
NO
Average time
0.170
Total time
10.191
# Results
60
Average time
0.077
Total time
70.010
# Results
909
TIMEOUT
Average time
60.173
Total time
18774.101
# Results
312
Average time
60.136
Total time
58692.447
# Results
976
YES(?,O(n^1))
Average time
1.004
Total time
251.049
# Results
250
Average time
1.290
Total time
836.140
# Results
648
YES(?,O(n^2))
Average time
7.666
Total time
743.638
# Results
97
Average time
1.161
Total time
111.424
# Results
96
YES(?,O(n^3))
Average time
19.015
Total time
209.170
# Results
11
Average time
10.531
Total time
168.503
# Results
16
YES(?,O(n^4))
Average time
27.002
Total time
243.020
# Results
9
Average time
3.004
Total time
6.008
# Results
2
YES(?,O(n^5))
Average time
Total time
# Results
Average time
30.731
Total time
30.731
# Results
1
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
23
24
25
»
Last
Termination Problem
CaT (2010)
TCT (1.8.02)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/AG01/#3.10.xml
0
0
2
tpdb-8.0/TRS/AG01/#3.12.xml
0
0
3
tpdb-8.0/TRS/AG01/#3.13.xml
0
0
4
tpdb-8.0/TRS/AG01/#3.15.xml
3
3
5
tpdb-8.0/TRS/AG01/#3.16.xml
0
0
6
tpdb-8.0/TRS/AG01/#3.17a.xml
0
0
7
tpdb-8.0/TRS/AG01/#3.17.xml
0
0
8
tpdb-8.0/TRS/AG01/#3.18.xml
0
0
9
tpdb-8.0/TRS/AG01/#3.19.xml
0
0
10
tpdb-8.0/TRS/AG01/#3.1.xml
0
0
11
tpdb-8.0/TRS/AG01/#3.21.xml
0
0
12
tpdb-8.0/TRS/AG01/#3.22.xml
0
0
13
tpdb-8.0/TRS/AG01/#3.23.xml
0
0
14
tpdb-8.0/TRS/AG01/#3.24.xml
3
3
15
tpdb-8.0/TRS/AG01/#3.26.xml
0
0
16
tpdb-8.0/TRS/AG01/#3.29.xml
0
0
17
tpdb-8.0/TRS/AG01/#3.2.xml
0
0
18
tpdb-8.0/TRS/AG01/#3.31.xml
0
0
19
tpdb-8.0/TRS/AG01/#3.33.xml
3
3
20
tpdb-8.0/TRS/AG01/#3.35.xml
3
3
21
tpdb-8.0/TRS/AG01/#3.36.xml
0
0
22
tpdb-8.0/TRS/AG01/#3.37.xml
3
3
23
tpdb-8.0/TRS/AG01/#3.38.xml
0
0
24
tpdb-8.0/TRS/AG01/#3.39.xml
0
0
25
tpdb-8.0/TRS/AG01/#3.40.xml
0
0
26
tpdb-8.0/TRS/AG01/#3.41.xml
0
0
27
tpdb-8.0/TRS/AG01/#3.42.xml
0
0
28
tpdb-8.0/TRS/AG01/#3.47.xml
0
0
29
tpdb-8.0/TRS/AG01/#3.48.xml
0
0
30
tpdb-8.0/TRS/AG01/#3.49.xml
0
0
31
tpdb-8.0/TRS/AG01/#3.4.xml
0
0
32
tpdb-8.0/TRS/AG01/#3.51.xml
3
3
33
tpdb-8.0/TRS/AG01/#3.52.xml
0
0
34
tpdb-8.0/TRS/AG01/#3.53a.xml
0
0
35
tpdb-8.0/TRS/AG01/#3.53b.xml
0
0
36
tpdb-8.0/TRS/AG01/#3.53.xml
0
0
37
tpdb-8.0/TRS/AG01/#3.54.xml
0
0
38
tpdb-8.0/TRS/AG01/#3.55.xml
0
0
39
tpdb-8.0/TRS/AG01/#3.56.xml
3
2
40
tpdb-8.0/TRS/AG01/#3.57.xml
0
0
««
«
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
»
Last
Request being processed
Your request is being processed, please wait.
Your request is being processed, please wait.