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
CaT (2011)
TcT-certify (1.9.2)
TcT (2.0.2)
CaTCert (2012alpha)
Score
736
485
305
499
Number of wins
146
74
57
78
Number of Timeouts
0
0
0
0
Total Time
22797542
31491652
32904641
14925546
«
»
Detailed Statistics
Result
CaT (2011)
TcT-certify (1.9.2)
TcT (2.0.2)
CaTCert (2012alpha)
MAYBE
Average time
39.174
Total time
20762.082
# Results
530
Average time
54.283
Total time
31158.383
# Results
574
Average time
47.441
Total time
29223.476
# Results
616
Average time
24.066
Total time
13717.770
# Results
570
YES(O(1),O(n^1))
Average time
Total time
# Results
Average time
0.228
Total time
4.797
# Results
21
Average time
Total time
# Results
Average time
Total time
# Results
YES(O(1),O(n^2))
Average time
Total time
# Results
Average time
1.238
Total time
82.920
# Results
67
Average time
59.120
Total time
59.120
# Results
1
Average time
Total time
# Results
YES(O(1),O(n^3))
Average time
Total time
# Results
Average time
14.007
Total time
168.087
# Results
12
Average time
59.196
Total time
236.782
# Results
4
Average time
Total time
# Results
YES(O(1),O(n^4))
Average time
Total time
# Results
Average time
19.366
Total time
77.465
# Results
4
Average time
Total time
# Results
Average time
Total time
# Results
YES(O(1),O(n^5))
Average time
Total time
# Results
Average time
Total time
# Results
Average time
59.175
Total time
59.175
# Results
1
Average time
Total time
# Results
YES(O(1),O(n^6))
Average time
Total time
# Results
Average time
Total time
# Results
Average time
59.233
Total time
118.466
# Results
2
Average time
Total time
# Results
YES(?,O(n^1))
Average time
1.277
Total time
103.459
# Results
81
Average time
Total time
# Results
Average time
59.578
Total time
1846.913
# Results
31
Average time
0.577
Total time
12.683
# Results
22
YES(?,O(n^2))
Average time
24.671
Total time
1406.263
# Results
57
Average time
Total time
# Results
Average time
59.137
Total time
1005.325
# Results
17
Average time
9.532
Total time
648.184
# Results
68
YES(?,O(n^3))
Average time
50.641
Total time
354.488
# Results
7
Average time
Total time
# Results
Average time
59.231
Total time
355.384
# Results
6
Average time
29.426
Total time
264.834
# Results
9
YES(?,O(n^4))
Average time
57.083
Total time
171.250
# Results
3
Average time
Total time
# Results
Average time
Total time
# Results
Average time
31.342
Total time
282.075
# Results
9
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
»
Last
Termination Problem
CaT (2011)
TcT-certify (1.9.2)
TcT (2.0.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
0
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
4
0
4
6
tpdb-8.0/TRS/AG01/#3.26.xml
0
0
0
0
7
tpdb-8.0/TRS/AG01/#3.33.xml
5
4
0
4
8
tpdb-8.0/TRS/AG01/#3.35.xml
5
5
5
5
9
tpdb-8.0/TRS/AG01/#3.37.xml
5
4
0
4
10
tpdb-8.0/TRS/AG01/#3.49.xml
0
0
5
0
11
tpdb-8.0/TRS/AG01/#3.51.xml
5
0
0
0
12
tpdb-8.0/TRS/AG01/#3.56.xml
5
4
4
4
13
tpdb-8.0/TRS/AG01/#3.7.xml
5
4
4
4
14
tpdb-8.0/TRS/Applicative_05/TypeEx5.xml
0
0
0
0
15
tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml
0
0
0
0
16
tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml
5
4
0
4
17
tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml
0
0
0
0
18
tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml
0
0
0
0
19
tpdb-8.0/TRS/AProVE_04/Liveness8.xml
5
0
4
0
20
tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml
5
4
0
4
21
tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml
0
0
0
0
22
tpdb-8.0/TRS/AProVE_06/identity.xml
0
0
0
0
23
tpdb-8.0/TRS/AProVE_06/nonterm.xml
0
0
0
0
24
tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml
0
0
0
0
25
tpdb-8.0/TRS/AProVE_08/round_nonterm.xml
0
0
0
0
26
tpdb-8.0/TRS/AProVE_08/round.xml
0
0
0
0
27
tpdb-8.0/TRS/AProVE_10/ex5.xml
5
5
0
5
28
tpdb-8.0/TRS/Bouchare_06/12.xml
5
0
0
0
29
tpdb-8.0/TRS/CiME_04/dpqs.xml
5
0
0
0
30
tpdb-8.0/TRS/CiME_04/filliatre2.xml
0
0
0
0
31
tpdb-8.0/TRS/CiME_04/filliatre.xml
0
0
0
0
32
tpdb-8.0/TRS/Der95/06.xml
0
0
0
0
33
tpdb-8.0/TRS/Der95/07.xml
5
5
5
5
34
tpdb-8.0/TRS/Der95/20.xml
0
0
0
0
35
tpdb-8.0/TRS/Der95/27.xml
5
5
0
5
36
tpdb-8.0/TRS/Endrullis_06/direct.xml
5
4
0
3
37
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml
0
0
0
0
38
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml
0
0
0
0
39
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml
0
0
0
0
40
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml
0
0
0
0
««
«
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
»
Last
Request being processed
Your request is being processed, please wait.