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

THOR (1.01)

Wanda (2.1e)

MAYBE

Average time	0.133
Total time	2.392
# Results	18

Average time	3.906
Total time	35.154
# Results	9

Average time
Total time
# Results

Average time	1.382
Total time	6.910
# Results	5

YES

Average time	0.259
Total time	8.014
# Results	31

Average time	0.940
Total time	32.891
# Results	35

Actions

Results

««

Last

Termination Problem

THOR (1.01)

Wanda (2.1e)


1	tpdb-8.0/TRS/Kop_11/average.xml	0.015	1.209
2	tpdb-8.0/TRS/Kop_11/lambda5.xml	0.014	0.021
3	tpdb-8.0/TRS/Kop_11/merge.xml	0.21	0.117
4	tpdb-8.0/TRS/Kop_11/noneating.xml	0.095	1.108
5	tpdb-8.0/TRS/Kop_11/shuffle.xml	0.181	0.255
6	tpdb-8.0/TRS/Kop_11/twice.xml	0.119	0.735
7	tpdb-8.0/TRS/Kop_13/fuhkop11frocos.xml	0.087	0.296
8	tpdb-8.0/TRS/Kop_13/fuhkop12rta1.xml	0.182	0.356
9	tpdb-8.0/TRS/Kop_13/fuhkop12rta2.xml	0.425	1.929
10	tpdb-8.0/TRS/Kop_13/kop11cai1.xml	0.015	1.127
11	tpdb-8.0/TRS/Kop_13/kop11cai2.xml	0.014	0.039
12	tpdb-8.0/TRS/Kop_13/kop12lmcs1.xml	0.179	0.569
13	tpdb-8.0/TRS/Kop_13/kop12lmcs2.xml	0.014	0.196
14	tpdb-8.0/TRS/Kop_13/kop12thesis_ex7.45_1.xml	1.108	2.071
15	tpdb-8.0/TRS/Kop_13/kop12thesis_sec3.3.3.xml	0.014	0.09
16	tpdb-8.0/TRS/Mixed_HO_10/apply.xml	0.015	0.104
17	tpdb-8.0/TRS/Mixed_HO_10/app.xml	0.014	0.026
18	tpdb-8.0/TRS/Mixed_HO_10/counterex2.xml	0.014	0.112
19	tpdb-8.0/TRS/Mixed_HO_10/filter.xml	0.015	0.111
20	tpdb-8.0/TRS/Mixed_HO_10/inlamb.xml	0.013	0.028
21	tpdb-8.0/TRS/Mixed_HO_10/loopy.xml	0.015	0.053
22	tpdb-8.0/TRS/Mixed_HO_10/onearg.xml	0.015	0.35
23	tpdb-8.0/TRS/Mixed_HO_10/reverse.xml	0.015	0.573
24	tpdb-8.0/TRS/Mixed_HO_10/sort.xml	0.015	2.557
25	tpdb-8.0/TRS/Mixed_HO_12/fuhs11frocos_a.xml	0.111	3.515
26	tpdb-8.0/TRS/Mixed_HO_12/listrepeat.xml	0.559	2.583
27	tpdb-8.0/TRS/Mixed_HO_12/prefixshuffle.xml	0.855	4.81
28	tpdb-8.0/TRS/Mixed_HO_12/prenex_modif1.xml	0.018	1.091
29	tpdb-8.0/TRS/Mixed_HO_12/sqr.xml	2.298	11.725
30	tpdb-8.0/TRS/Mixed_HO_12/tailrecgen.xml	0.891	12.441
31	tpdb-8.0/TRS/Mixed_HO_12/twice_modif4.xml	0.147	0.159
32	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__003.xml	0.158	0.018
33	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__016.xml	0.016	0.942
34	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__017.xml	0.013	0.041
35	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__024.xml	0.015	0.047
36	tpdb-8.0/TRS/Uncurried_Applicative_11/AotoYamada_05__025.xml	0.014	0.026
37	tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex5Sorting.xml	0.016	2.957
38	tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__Ex7OrdinalRec.xml	0.015	0.929
39	tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__mapDivMinus.xml	0.119	1.617
40	tpdb-8.0/TRS/Uncurried_Applicative_11/Applicative_05__TakeDropWhile.xml	0.015	0.123

««

Last