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

Actions

Results

«««12345678910111213141516171819202122»Last
Termination Problem
TcT-certify (1.9.2)
TcT (2.0.2)
AProVE (TC 2013)
 
 
 
1
tpdb-8.0/TRS/AG01/#3.10.xml
2
tpdb-8.0/TRS/AG01/#3.12.xml
3
tpdb-8.0/TRS/AG01/#3.13.xml
4
tpdb-8.0/TRS/AG01/#3.15.xml
5
tpdb-8.0/TRS/AG01/#3.16.xml
6
tpdb-8.0/TRS/AG01/#3.17a.xml
7
tpdb-8.0/TRS/AG01/#3.17.xml
8
tpdb-8.0/TRS/AG01/#3.18.xml
9
tpdb-8.0/TRS/AG01/#3.19.xml
10
tpdb-8.0/TRS/AG01/#3.1.xml
11
tpdb-8.0/TRS/AG01/#3.22.xml
12
tpdb-8.0/TRS/AG01/#3.23.xml
13
tpdb-8.0/TRS/AG01/#3.24.xml
14
tpdb-8.0/TRS/AG01/#3.26.xml
15
tpdb-8.0/TRS/AG01/#3.29.xml
16
tpdb-8.0/TRS/AG01/#3.2.xml
17
tpdb-8.0/TRS/AG01/#3.31.xml
18
tpdb-8.0/TRS/AG01/#3.33.xml
19
tpdb-8.0/TRS/AG01/#3.35.xml
20
tpdb-8.0/TRS/AG01/#3.36.xml
21
tpdb-8.0/TRS/AG01/#3.37.xml
22
tpdb-8.0/TRS/AG01/#3.38.xml
23
tpdb-8.0/TRS/AG01/#3.39.xml
24
tpdb-8.0/TRS/AG01/#3.40.xml
25
tpdb-8.0/TRS/AG01/#3.41.xml
26
tpdb-8.0/TRS/AG01/#3.42.xml
27
tpdb-8.0/TRS/AG01/#3.47.xml
28
tpdb-8.0/TRS/AG01/#3.48.xml
29
tpdb-8.0/TRS/AG01/#3.49.xml
30
tpdb-8.0/TRS/AG01/#3.4.xml
31
tpdb-8.0/TRS/AG01/#3.51.xml
32
tpdb-8.0/TRS/AG01/#3.52.xml
33
tpdb-8.0/TRS/AG01/#3.53a.xml
34
tpdb-8.0/TRS/AG01/#3.53b.xml
35
tpdb-8.0/TRS/AG01/#3.53.xml
36
tpdb-8.0/TRS/AG01/#3.54.xml
37
tpdb-8.0/TRS/AG01/#3.55.xml
38
tpdb-8.0/TRS/AG01/#3.56.xml
39
tpdb-8.0/TRS/AG01/#3.57.xml
40
tpdb-8.0/TRS/AG01/#3.5a.xml
«««12345678910111213141516171819202122»Last