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.1)
AProVE (TC 2013)
Score
60
279
295
Number of wins
10
69
73
Number of Timeouts
0
0
0
Total Time
11570988
9850624
8234827
«
»
Detailed Statistics
Result
TcT-certify (1.9.2)
TcT (2.0.1)
AProVE (TC 2013)
MAYBE
Average time
59.107
Total time
11525.906
# Results
195
Average time
56.018
Total time
8122.598
# Results
145
Average time
52.714
Total time
7432.630
# Results
141
YES(?,O(1))
Average time
Total time
# Results
Average time
0.222
Total time
0.667
# Results
3
Average time
Total time
# Results
YES(O(1),O(1))
Average time
Total time
# Results
Average time
22.346
Total time
178.768
# Results
8
Average time
1.052
Total time
11.570
# Results
11
YES(O(1),O(n^1))
Average time
0.179
Total time
2.325
# Results
13
Average time
14.677
Total time
337.569
# Results
23
Average time
12.225
Total time
574.571
# Results
47
YES(O(1),O(n^2))
Average time
4.766
Total time
28.596
# Results
6
Average time
39.591
Total time
395.908
# Results
10
Average time
10.788
Total time
140.247
# Results
13
YES(O(1),O(n^3))
Average time
14.161
Total time
14.161
# Results
1
Average time
58.115
Total time
174.346
# Results
3
Average time
25.270
Total time
75.809
# Results
3
YES(O(1),O(n^4))
Average time
Total time
# Results
Average time
58.123
Total time
58.123
# Results
1
Average time
Total time
# Results
YES(?,O(n^1))
Average time
Total time
# Results
Average time
20.569
Total time
370.247
# Results
18
Average time
Total time
# Results
YES(?,O(n^10))
Average time
Total time
# Results
Average time
58.125
Total time
58.125
# Results
1
Average time
Total time
# Results
YES(?,O(n^5))
Average time
Total time
# Results
Average time
47.487
Total time
47.487
# Results
1
Average time
Total time
# Results
YES(?,POLY)
Average time
Total time
# Results
Average time
53.393
Total time
106.786
# 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
»
Last
Termination Problem
TcT-certify (1.9.2)
TcT (2.0.1)
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.13.xml
0
0
0
2
tpdb-8.0/TRS/AG01/#3.17.xml
0
4
4
3
tpdb-8.0/TRS/AG01/#3.23.xml
0
4
4
4
tpdb-8.0/TRS/AG01/#3.35.xml
4
4
4
5
tpdb-8.0/TRS/AG01/#3.41.xml
0
4
4
6
tpdb-8.0/TRS/AG01/#3.53.xml
0
4
4
7
tpdb-8.0/TRS/AG01/#3.57.xml
0
0
0
8
tpdb-8.0/TRS/AG01/#3.8a.xml
0
3
4
9
tpdb-8.0/TRS/AG01/#3.8b.xml
0
4
0
10
tpdb-8.0/TRS/AProVE_04/AAECC.xml
0
0
0
11
tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml
0
4
4
12
tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml
0
0
0
13
tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml
0
4
0
14
tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml
0
4
4
15
tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml
0
0
0
16
tpdb-8.0/TRS/AProVE_04/Liveness8.xml
0
4
4
17
tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml
0
0
0
18
tpdb-8.0/TRS/AProVE_04/rta2.xml
0
0
0
19
tpdb-8.0/TRS/AProVE_06/factorial1.xml
0
0
0
20
tpdb-8.0/TRS/AProVE_06/factorial2.xml
0
0
0
21
tpdb-8.0/TRS/AProVE_06/logarithm.xml
0
0
0
22
tpdb-8.0/TRS/AProVE_06/modulo.xml
0
0
0
23
tpdb-8.0/TRS/AProVE_06/nonterm.xml
0
0
0
24
tpdb-8.0/TRS/AProVE_06/quicksort.xml
0
0
0
25
tpdb-8.0/TRS/AProVE_06/sizeChange.xml
0
0
4
26
tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml
0
0
0
27
tpdb-8.0/TRS/AProVE_06/tower.xml
0
0
0
28
tpdb-8.0/TRS/AProVE_07/kabasci01.xml
0
0
4
29
tpdb-8.0/TRS/AProVE_07/kabasci03.xml
0
4
4
30
tpdb-8.0/TRS/AProVE_07/kabasci05.xml
0
0
0
31
tpdb-8.0/TRS/AProVE_07/otto01.xml
0
0
0
32
tpdb-8.0/TRS/AProVE_07/otto06.xml
0
0
0
33
tpdb-8.0/TRS/AProVE_07/otto07.xml
0
0
0
34
tpdb-8.0/TRS/AProVE_07/thiemann01.xml
0
0
0
35
tpdb-8.0/TRS/AProVE_07/thiemann19.xml
0
0
0
36
tpdb-8.0/TRS/AProVE_07/thiemann34.xml
0
0
0
37
tpdb-8.0/TRS/AProVE_07/thiemann36.xml
0
0
0
38
tpdb-8.0/TRS/AProVE_07/thiemann38.xml
0
0
0
39
tpdb-8.0/TRS/AProVE_08/id_inc.xml
0
0
0
40
tpdb-8.0/TRS/AProVE_08/log.xml
0
0
0
««
«
1
2
3
4
5
6
»
Last
Request being processed
Your request is being processed, please wait.