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 Higher-Order Rewriting - Union Beta
Statistics
Result
Wanda (1.4)
THOR (2011)
MAYBE
Average time
2.091
Total time
25.089
# Results
12
Average time
0.046
Total time
0.912
# Results
20
NO
Average time
0.057
Total time
0.170
# Results
3
Average time
Total time
# Results
TIMEOUT
Average time
60.070
Total time
180.209
# Results
3
Average time
Total time
# Results
YES
Average time
1.867
Total time
61.619
# Results
33
Average time
0.062
Total time
1.926
# Results
31
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
»
Last
Termination Problem
Wanda (1.4)
THOR (2011)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/Kop_11/average.xml
1.952
0.016
2
tpdb-8.0/TRS/Kop_11/lambda5.xml
0.018
0.015
3
tpdb-8.0/TRS/Kop_11/merge.xml
1.753
0.079
4
tpdb-8.0/TRS/Kop_11/noneating.xml
1.705
0.036
5
tpdb-8.0/TRS/Kop_11/shuffle.xml
1.899
0.052
6
tpdb-8.0/TRS/Kop_11/twice.xml
0.125
0.028
7
tpdb-8.0/TRS/Mixed_HO_10/apply.xml
0.098
0.015
8
tpdb-8.0/TRS/Mixed_HO_10/counterex2.xml
0.034
0.016
9
tpdb-8.0/TRS/Mixed_HO_10/foldl.xml
0.074
0.015
10
tpdb-8.0/TRS/Mixed_HO_10/iterative.xml
60.038
0.016
11
tpdb-8.0/TRS/Mixed_HO_10/lambda2.xml
2.781
0.057
12
tpdb-8.0/TRS/Mixed_HO_10/length.xml
0.067
0.014
13
tpdb-8.0/TRS/Mixed_HO_10/loopy.xml
0.083
0.015
14
tpdb-8.0/TRS/Mixed_HO_10/ordrec.xml
0.341
0.018
15
tpdb-8.0/TRS/Mixed_HO_10/plode.xml
0.219
0.015
16
tpdb-8.0/TRS/Mixed_HO_10/prefixsum.xml
0.236
0.074
17
tpdb-8.0/TRS/Mixed_HO_10/prenex.xml
60.035
0.022
18
tpdb-8.0/TRS/Mixed_HO_10/process.xml
3.73
0.142
19
tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__001.xml
0.015
0.032
20
tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__002.xml
0.441
0.016
21
tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__013.xml
1.805
0.015
22
tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__016.xml
2.251
0.016
23
tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__017.xml
0.015
0.015
24
tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__024.xml
0.049
0.016
25
tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__028.xml
1.691
0.015
26
tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__Ex5TermProof.xml
2.056
0.015
27
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__BTreeMember.xml
1.86
0.016
28
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex2_8_1ConstSubstFix.xml
1.709
0.014
29
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex4MapList.xml
0.04
0.015
30
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Folding.xml
1.834
0.015
31
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Sorting.xml
2.386
0.016
32
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex6_11.xml
0.726
0.015
33
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7_9.xml
2.016
0.052
34
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7OrdinalRec.xml
0.238
0.015
35
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7Sorting.xml
2.391
0.016
36
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex9Maps.xml
0.18
0.015
37
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Hamming.xml
0.137
0.016
38
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.24.xml
3.385
0.016
39
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.26.xml
3.638
0.05
40
tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.34.xml
3.986
0.117
««
«
1
2
»
Last
Request being processed
Your request is being processed, please wait.
Your request is being processed, please wait.