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
AProVE (2011-0.1)
TCT (1.8.03)
TCT (1.8.02)
Score
318
199
272
Number of wins
76
43
56
Number of Timeouts
176
20
160
Total Time
11223059
1446742
10877895
«
»
Detailed Statistics
Result
AProVE (2011-0.1)
TCT (1.8.03)
TCT (1.8.02)
Average time
0.298
Total time
1.788
# Results
6
Average time
Total time
# Results
Average time
Total time
# Results
ERROR
Average time
Total time
# Results
Average time
Total time
# Results
Average time
0.862
Total time
6.034
# Results
7
MAYBE
Average time
8.577
Total time
68.619
# Results
8
Average time
54.146
Total time
162.438
# Results
3
Average time
41.270
Total time
1196.829
# Results
29
TIMEOUT
Average time
60.487
Total time
10645.778
# Results
176
Average time
60.118
Total time
1202.366
# Results
20
Average time
60.100
Total time
9615.923
# Results
160
YES(?,O(1))
Average time
Total time
# Results
Average time
0.058
Total time
0.058
# Results
1
Average time
0.098
Total time
0.098
# Results
1
YES(O(1),O(1))
Average time
1.029
Total time
12.345
# Results
12
Average time
0.082
Total time
0.329
# Results
4
Average time
0.074
Total time
0.222
# Results
3
YES(O(1),O(n^1))
Average time
4.184
Total time
200.816
# Results
48
Average time
Total time
# Results
Average time
Total time
# Results
YES(O(1),O(n^2))
Average time
14.253
Total time
285.067
# Results
20
Average time
Total time
# Results
Average time
Total time
# Results
YES(O(1),O(n^3))
Average time
8.646
Total time
8.646
# Results
1
Average time
Total time
# Results
Average time
Total time
# Results
YES(?,O(n^1))
Average time
Total time
# Results
Average time
0.529
Total time
21.169
# Results
40
Average time
0.820
Total time
43.440
# Results
53
YES(?,O(n^2))
Average time
Total time
# Results
Average time
1.393
Total time
8.358
# Results
6
Average time
0.853
Total time
15.349
# Results
18
YES(?,O(n^3))
Average time
Total time
# Results
Average time
52.024
Total time
52.024
# Results
1
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
»
Last
Termination Problem
AProVE (2011-0.1)
TCT (1.8.03)
TCT (1.8.02)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/AG01/#3.18.xml
0
0
2
tpdb-8.0/TRS/AG01/#3.1.xml
3
4
3
3
tpdb-8.0/TRS/AG01/#3.23.xml
4
4
4
4
tpdb-8.0/TRS/AG01/#3.29.xml
4
3
3
5
tpdb-8.0/TRS/AG01/#3.41.xml
4
3
3
6
tpdb-8.0/TRS/AG01/#3.48.xml
4
0
7
tpdb-8.0/TRS/AG01/#3.49.xml
0
0
4
8
tpdb-8.0/TRS/AG01/#3.4.xml
0
0
9
tpdb-8.0/TRS/AG01/#3.51.xml
4
4
4
10
tpdb-8.0/TRS/AG01/#3.53b.xml
4
4
2
11
tpdb-8.0/TRS/AG01/#3.56.xml
4
4
4
12
tpdb-8.0/TRS/AG01/#3.5a.xml
4
0
13
tpdb-8.0/TRS/AG01/#3.5.xml
4
4
4
14
tpdb-8.0/TRS/AG01/#3.8a.xml
4
0
15
tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml
0
0
16
tpdb-8.0/TRS/AProVE_04/AAECC.xml
0
0
17
tpdb-8.0/TRS/AProVE_04/fac.xml
0
0
18
tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml
4
0
19
tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml
0
0
20
tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml
4
4
2
21
tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml
0
0
22
tpdb-8.0/TRS/AProVE_04/Liveness8.xml
0
0
23
tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml
4
0
24
tpdb-8.0/TRS/AProVE_04/rta2.xml
0
0
4
25
tpdb-8.0/TRS/AProVE_04/rta3.xml
0
0
26
tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml
0
0
27
tpdb-8.0/TRS/AProVE_06/div_notTermin.xml
0
0
28
tpdb-8.0/TRS/AProVE_06/factorial1.xml
0
0
29
tpdb-8.0/TRS/AProVE_06/identity.xml
0
0
4
30
tpdb-8.0/TRS/AProVE_06/logarithm.xml
0
0
31
tpdb-8.0/TRS/AProVE_06/modulo.xml
0
0
32
tpdb-8.0/TRS/AProVE_06/nonterm.xml
0
0
33
tpdb-8.0/TRS/AProVE_06/quicksort.xml
0
0
34
tpdb-8.0/TRS/AProVE_06/quot.xml
0
0
35
tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml
0
0
4
36
tpdb-8.0/TRS/AProVE_06/tower.xml
0
0
37
tpdb-8.0/TRS/AProVE_07/kabasci01.xml
4
0
38
tpdb-8.0/TRS/AProVE_07/otto01.xml
0
0
39
tpdb-8.0/TRS/AProVE_07/otto03.xml
0
0
40
tpdb-8.0/TRS/AProVE_07/otto04.xml
0
0
««
«
1
2
3
4
5
6
7
»
Last
Request being processed
Your request is being processed, please wait.