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 (2011)

Wanda (1.4)

MAYBE

Average time	0.133
Total time	8.645
# Results	65

Average time	2.199
Total time	63.762
# Results	29

Average time
Total time
# Results

Average time	0.042
Total time	0.378
# Results	9

TIMEOUT

Average time
Total time
# Results

Average time	60.094
Total time	420.661
# Results	7

YES

Average time	0.079
Total time	7.229
# Results	91

Average time	1.989
Total time	220.802
# Results	111

Actions

Results

««

Last

Termination Problem

THOR (2011)

Wanda (1.4)


1	tpdb-8.0/TRS/Kop_11/average.xml	0.014	1.918
2	tpdb-8.0/TRS/Kop_11/lambda5.xml	0.014	0.071
3	tpdb-8.0/TRS/Kop_11/merge.xml	0.078	1.764
4	tpdb-8.0/TRS/Kop_11/noneating.xml	0.038	1.721
5	tpdb-8.0/TRS/Kop_11/shuffle.xml	0.052	1.92
6	tpdb-8.0/TRS/Kop_11/twice.xml	0.029	0.131
7	tpdb-8.0/TRS/Mixed_HO_10/applicative.xml	0.015	60.031
8	tpdb-8.0/TRS/Mixed_HO_10/apply.xml	0.014	0.103
9	tpdb-8.0/TRS/Mixed_HO_10/app.xml	0.015	0.041
10	tpdb-8.0/TRS/Mixed_HO_10/counterex1.xml	0.032	0.02
11	tpdb-8.0/TRS/Mixed_HO_10/counterex2.xml	0.014	0.032
12	tpdb-8.0/TRS/Mixed_HO_10/curry1.xml	0.015	0.021
13	tpdb-8.0/TRS/Mixed_HO_10/curry.xml	0.015	0.025
14	tpdb-8.0/TRS/Mixed_HO_10/deriv.xml	0.016	60.056
15	tpdb-8.0/TRS/Mixed_HO_10/eval.xml	0.015	1.794
16	tpdb-8.0/TRS/Mixed_HO_10/extrec.xml	0.014	1.743
17	tpdb-8.0/TRS/Mixed_HO_10/filter.xml	0.015	1.731
18	tpdb-8.0/TRS/Mixed_HO_10/findzero.xml	0.015	2.222
19	tpdb-8.0/TRS/Mixed_HO_10/foldl.xml	0.014	0.077
20	tpdb-8.0/TRS/Mixed_HO_10/foobar.xml	0.014	0.038
21	tpdb-8.0/TRS/Mixed_HO_10/from.xml	0.081	2.498
22	tpdb-8.0/TRS/Mixed_HO_10/hrsdif1.xml	0.03	0.037
23	tpdb-8.0/TRS/Mixed_HO_10/hrsdif2.xml	0.032	0.068
24	tpdb-8.0/TRS/Mixed_HO_10/if.xml	0.054	1.955
25	tpdb-8.0/TRS/Mixed_HO_10/inlamb.xml	0.015	0.023
26	tpdb-8.0/TRS/Mixed_HO_10/iterative.xml	0.014	60.038
27	tpdb-8.0/TRS/Mixed_HO_10/lambda1.xml	0.02	0.015
28	tpdb-8.0/TRS/Mixed_HO_10/lambda2.xml	0.056	2.771
29	tpdb-8.0/TRS/Mixed_HO_10/lambda3.xml	0.014	0.136
30	tpdb-8.0/TRS/Mixed_HO_10/length.xml	0.015	0.065
31	tpdb-8.0/TRS/Mixed_HO_10/loopy.xml	0.014	0.081
32	tpdb-8.0/TRS/Mixed_HO_10/map.xml	0.015	0.049
33	tpdb-8.0/TRS/Mixed_HO_10/noabs.xml	0.014	0.355
34	tpdb-8.0/TRS/Mixed_HO_10/onearg.xml	0.015	2.008
35	tpdb-8.0/TRS/Mixed_HO_10/ordrec.xml	0.014	0.513
36	tpdb-8.0/TRS/Mixed_HO_10/plode.xml	0.014	0.219
37	tpdb-8.0/TRS/Mixed_HO_10/prefixsum.xml	0.059	0.237
38	tpdb-8.0/TRS/Mixed_HO_10/prenex.xml	0.078	60.034
39	tpdb-8.0/TRS/Mixed_HO_10/process.xml	0.141	3.713
40	tpdb-8.0/TRS/Mixed_HO_10/qsort.xml	0.358	3.149

««

Last