termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Higher-Order Rewriting - Union Beta

Statistics

Result

HOT (tc12d)

THOR (1.01)

Wanda (2.0)

MAYBE

Average time	1.016
Total time	7.114
# Results	7

Average time	0.127
Total time	2.157
# Results	17

Average time	9.500
Total time	95.001
# Results	10

Average time	3.268
Total time	22.875
# Results	7

Average time
Total time
# Results

Average time	0.017
Total time	0.085
# Results	5

YES

Average time	0.326
Total time	14.340
# Results	44

Average time	0.210
Total time	8.628
# Results	41

Average time	1.165
Total time	50.088
# Results	43

Actions

Results

««

Last

Termination Problem

HOT (tc12d)

THOR (1.01)

Wanda (2.0)


1	tpdb-8.0/TRS/Kop_11/average.xml	0.455	0.014	1.991
2	tpdb-8.0/TRS/Kop_11/lambda5.xml	0.021	0.014	0.017
3	tpdb-8.0/TRS/Kop_11/merge.xml	0.346	0.204	0.273
4	tpdb-8.0/TRS/Kop_11/noneating.xml	0.368	0.1	1.774
5	tpdb-8.0/TRS/Kop_11/shuffle.xml	0.728	0.194	0.45
6	tpdb-8.0/TRS/Kop_11/twice.xml	0.03	0.117	0.221
7	tpdb-8.0/TRS/Mixed_HO_10/apply.xml	0.039	0.013	0.138
8	tpdb-8.0/TRS/Mixed_HO_10/app.xml	0.025	0.014	0.015
9	tpdb-8.0/TRS/Mixed_HO_10/counterex1.xml	0.026	0.073	0.017
10	tpdb-8.0/TRS/Mixed_HO_10/extrec.xml	0.324	0.015	0.232
11	tpdb-8.0/TRS/Mixed_HO_10/filter.xml	0.327	0.015	0.181
12	tpdb-8.0/TRS/Mixed_HO_10/lambda2.xml	0.608	0.421	3.26
13	tpdb-8.0/TRS/Mixed_HO_10/map.xml	0.024	0.014	0.067
14	tpdb-8.0/TRS/Mixed_HO_10/noabs.xml	0.314	0.014	0.108
15	tpdb-8.0/TRS/Mixed_HO_10/rec.xml	0.029	0.013	0.118
16	tpdb-8.0/TRS/Mixed_HO_10/reverse.xml	0.331	0.015	0.28
17	tpdb-8.0/TRS/Mixed_HO_10/sdu.xml	0.02	0.014	1.564
18	tpdb-8.0/TRS/Mixed_HO_10/sort.xml	0.332	0.019	1.439
19	tpdb-8.0/TRS/Mixed_HO_12/fuhs11frocos_a.xml	1.735	0.119	2.178
20	tpdb-8.0/TRS/Mixed_HO_12/listrepeat.xml	0.587	0.617	4.128
21	tpdb-8.0/TRS/Mixed_HO_12/prefixshuffle.xml	0.555	0.965	6.282
22	tpdb-8.0/TRS/Mixed_HO_12/prenex_modif1.xml	0.085	0.016	0.697
23	tpdb-8.0/TRS/Mixed_HO_12/sqr.xml	0.803	2.577	30.878
24	tpdb-8.0/TRS/Mixed_HO_12/tailrecgen.xml	0.491	0.854	42.921
25	tpdb-8.0/TRS/Mixed_HO_12/twice_modif4.xml	0.025	0.145	0.41
26	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__001.xml	0.025	0.085	0.015
27	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__003.xml	0.372	0.174	0.016
28	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__005.xml	0.321	0.015	0.082
29	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__012.xml	0.33	0.014	0.401
30	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__014.xml	0.339	0.015	1.246
31	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__016.xml	0.36	0.015	1.152
32	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__020.xml	0.334	0.014	0.164
33	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__024.xml	0.026	0.015	0.068
34	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__Ex1SimplyTyped.xml	0.352	0.014	0.105
35	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__Ex5TermProof.xml	0.338	0.016	0.748
36	tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__BTreeMember.xml	0.313	0.017	0.431
37	tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex4MapList.xml	0.024	0.014	0.167
38	tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Folding.xml	0.394	0.015	0.585
39	tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex6Folding.xml	0.034	0.014	0.276
40	tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7_9.xml	0.416	0.13	3.123

««

Last