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 – Full Rewriting
Statistics
CaT_rc (2009)
TCT RC (0.3.3)
Score
279
170
Number of wins
87
48
Number of Timeouts
26
117
Total Time
1942694
19640292
«
»
Detailed Statistics
Result
CaT_rc (2009)
TCT RC (0.3.3)
Average time
Total time
# Results
Average time
49.971
Total time
549.677
# Results
11
MAYBE
Average time
1.076
Total time
294.799
# Results
274
Average time
56.349
Total time
11664.165
# Results
207
NO
Average time
0.165
Total time
1.158
# Results
7
Average time
Total time
# Results
Thefollowingerroroccured:
Average time
Total time
# Results
Average time
0.184
Total time
1.288
# Results
7
TIMEOUT
Average time
60.221
Total time
1565.737
# Results
26
Average time
60.667
Total time
7098.073
# Results
117
YES(?,O(1))
Average time
Total time
# Results
Average time
0.137
Total time
0.819
# Results
6
YES(?,O(n^1))
Average time
0.315
Total time
27.680
# Results
88
Average time
2.288
Total time
82.377
# Results
36
YES(?,O(n^2))
Average time
4.582
Total time
32.071
# Results
7
Average time
8.207
Total time
106.696
# Results
13
YES(?,O(n^3))
Average time
Total time
# Results
Average time
22.866
Total time
137.197
# Results
6
YES(?,O(n^4))
Average time
21.249
Total time
21.249
# 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
8
9
10
11
»
Last
Termination Problem
CaT_rc (2009)
TCT RC (0.3.3)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/AG01/#3.12.xml
0
0
2
tpdb-8.0/TRS/AG01/#3.15.xml
2
3
3
tpdb-8.0/TRS/AG01/#3.17a.xml
0
0
4
tpdb-8.0/TRS/AG01/#3.1.xml
0
0
5
tpdb-8.0/TRS/AG01/#3.21.xml
0
0
6
tpdb-8.0/TRS/AG01/#3.26.xml
0
0
7
tpdb-8.0/TRS/AG01/#3.47.xml
0
0
8
tpdb-8.0/TRS/AG01/#3.53b.xml
0
0
9
tpdb-8.0/TRS/AG01/#3.53.xml
0
0
10
tpdb-8.0/TRS/AG01/#3.55.xml
0
0
11
tpdb-8.0/TRS/AG01/#3.56.xml
3
2
12
tpdb-8.0/TRS/AG01/#3.57.xml
0
0
13
tpdb-8.0/TRS/AG01/#3.5a.xml
0
0
14
tpdb-8.0/TRS/AG01/#3.6a.xml
0
0
15
tpdb-8.0/TRS/AG01/#4.30c.xml
0
0
16
tpdb-8.0/TRS/AotoYamada_05/001.xml
0
0
17
tpdb-8.0/TRS/AotoYamada_05/002.xml
0
0
18
tpdb-8.0/TRS/AotoYamada_05/005.xml
3
3
19
tpdb-8.0/TRS/AotoYamada_05/007.xml
0
0
20
tpdb-8.0/TRS/AotoYamada_05/010.xml
0
0
21
tpdb-8.0/TRS/AotoYamada_05/016.xml
0
0
22
tpdb-8.0/TRS/AotoYamada_05/017.xml
3
3
23
tpdb-8.0/TRS/AotoYamada_05/019.xml
0
0
24
tpdb-8.0/TRS/AotoYamada_05/023.xml
3
3
25
tpdb-8.0/TRS/AotoYamada_05/028.xml
0
0
26
tpdb-8.0/TRS/Applicative_05/BTreeMember.xml
0
0
27
tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml
3
3
28
tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml
0
0
29
tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml
0
0
30
tpdb-8.0/TRS/Applicative_05/Ex6_11.xml
0
0
31
tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml
0
0
32
tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml
0
0
33
tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml
0
0
34
tpdb-8.0/TRS/Applicative_05/nonTermF.xml
0
0
35
tpdb-8.0/TRS/Applicative_05/termMonTypes.xml
0
0
36
tpdb-8.0/TRS/Applicative_first_order_05/01.xml
0
0
37
tpdb-8.0/TRS/Applicative_first_order_05/08.xml
0
0
38
tpdb-8.0/TRS/Applicative_first_order_05/12.xml
0
0
39
tpdb-8.0/TRS/Applicative_first_order_05/17.xml
0
0
40
tpdb-8.0/TRS/Applicative_first_order_05/18.xml
0
0
««
«
1
2
3
4
5
6
7
8
9
10
11
»
Last
Request being processed
Your request is being processed, please wait.