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 - Full Rewriting
Statistics
TcT (1.9.2)
CaT (2011)
TcT-certify (1.9.2)
CaTCert (2012alpha)
Score
279
319
198
200
Number of wins
53
63
27
27
Number of Timeouts
0
0
0
0
Total Time
12941122
9461987
12070843
6720711
«
»
Detailed Statistics
Result
TcT (1.9.2)
CaT (2011)
TcT-certify (1.9.2)
CaTCert (2012alpha)
MAYBE
Average time
53.798
Total time
10867.167
# Results
202
Average time
44.593
Total time
8695.591
# Results
195
Average time
55.806
Total time
11886.601
# Results
213
Average time
29.257
Total time
6202.398
# Results
212
YES(O(1),O(n^1))
Average time
28.880
Total time
28.880
# Results
1
Average time
Total time
# Results
Average time
0.252
Total time
1.762
# Results
7
Average time
Total time
# Results
YES(O(1),O(n^2))
Average time
59.140
Total time
118.280
# Results
2
Average time
Total time
# Results
Average time
2.446
Total time
80.722
# Results
33
Average time
Total time
# Results
YES(O(1),O(n^3))
Average time
59.900
Total time
59.900
# Results
1
Average time
Total time
# Results
Average time
19.152
Total time
95.760
# Results
5
Average time
Total time
# Results
YES(O(1),O(n^4))
Average time
59.281
Total time
59.281
# Results
1
Average time
Total time
# Results
Average time
5.998
Total time
5.998
# Results
1
Average time
Total time
# Results
YES(O(1),O(n^5))
Average time
59.251
Total time
59.251
# Results
1
Average time
Total time
# Results
Average time
Total time
# Results
Average time
Total time
# Results
YES(?,O(n^1))
Average time
30.607
Total time
887.591
# Results
29
Average time
1.438
Total time
56.064
# Results
39
Average time
Total time
# Results
Average time
0.524
Total time
3.668
# Results
7
YES(?,O(n^2))
Average time
37.108
Total time
742.153
# Results
20
Average time
27.286
Total time
654.874
# Results
24
Average time
Total time
# Results
Average time
9.401
Total time
310.227
# Results
33
YES(?,O(n^3))
Average time
59.310
Total time
118.619
# Results
2
Average time
55.458
Total time
55.458
# Results
1
Average time
Total time
# Results
Average time
23.440
Total time
93.759
# Results
4
YES(?,O(n^4))
Average time
Total time
# Results
Average time
Total time
# Results
Average time
Total time
# Results
Average time
36.886
Total time
110.659
# Results
3
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
3
4
5
6
7
»
Last
Termination Problem
TcT (1.9.2)
CaT (2011)
TcT-certify (1.9.2)
CaTCert (2012alpha)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/AG01/#3.12.xml
0
0
0
0
2
tpdb-8.0/TRS/AG01/#3.15.xml
5
5
5
5
3
tpdb-8.0/TRS/AG01/#3.17a.xml
0
0
0
0
4
tpdb-8.0/TRS/AG01/#3.17.xml
0
0
0
0
5
tpdb-8.0/TRS/AG01/#3.24.xml
5
5
3
3
6
tpdb-8.0/TRS/AG01/#3.33.xml
5
5
3
3
7
tpdb-8.0/TRS/AG01/#3.35.xml
5
5
5
5
8
tpdb-8.0/TRS/AG01/#3.49.xml
5
0
0
0
9
tpdb-8.0/TRS/AG01/#3.51.xml
5
5
0
0
10
tpdb-8.0/TRS/AG01/#3.56.xml
4
5
4
4
11
tpdb-8.0/TRS/AG01/#3.7.xml
4
5
4
4
12
tpdb-8.0/TRS/Applicative_05/TypeEx5.xml
0
0
0
0
13
tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml
0
0
0
0
14
tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml
0
5
0
4
15
tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml
0
0
0
0
16
tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml
0
0
0
0
17
tpdb-8.0/TRS/AProVE_04/Liveness8.xml
0
5
0
0
18
tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml
0
5
4
4
19
tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml
0
0
0
0
20
tpdb-8.0/TRS/AProVE_06/identity.xml
0
0
0
0
21
tpdb-8.0/TRS/AProVE_06/nonterm.xml
0
0
0
0
22
tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml
0
0
0
0
23
tpdb-8.0/TRS/AProVE_08/round_nonterm.xml
0
0
0
0
24
tpdb-8.0/TRS/AProVE_08/round.xml
0
0
0
0
25
tpdb-8.0/TRS/AProVE_10/ex5.xml
5
5
5
5
26
tpdb-8.0/TRS/Bouchare_06/12.xml
0
5
0
0
27
tpdb-8.0/TRS/CiME_04/dpqs.xml
5
5
0
0
28
tpdb-8.0/TRS/CiME_04/filliatre2.xml
0
0
0
0
29
tpdb-8.0/TRS/CiME_04/filliatre.xml
0
0
0
0
30
tpdb-8.0/TRS/Der95/06.xml
0
0
0
0
31
tpdb-8.0/TRS/Der95/07.xml
5
5
5
5
32
tpdb-8.0/TRS/Der95/20.xml
0
0
0
0
33
tpdb-8.0/TRS/Der95/27.xml
5
5
5
5
34
tpdb-8.0/TRS/Endrullis_06/direct.xml
5
5
3
3
35
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml
0
0
0
0
36
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml
0
0
0
0
37
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml
0
0
0
0
38
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml
0
0
0
0
39
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml
0
0
0
0
40
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml
0
0
0
0
««
«
1
2
3
4
5
6
7
»
Last
Request being processed
Your request is being processed, please wait.