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 (wanda2.1.fixed)

Wanda (2.1f)

MAYBE

Average time	0.201
Total time	10.849
# Results	54

Average time
Total time
# Results

Average time	5.433
Total time	108.654
# Results	20

Average time
Total time
# Results

Average time	1.616
Total time	25.863
# Results	16

Average time	1.614
Total time	25.825
# Results	16

TIMEOUT

Average time
Total time
# Results

Average time
Total time
# Results

Average time	60.291
Total time	241.165
# Results	4

YES

Average time	0.361
Total time	43.722
# Results	121

Average time	1.012
Total time	136.645
# Results	135

Average time	1.011
Total time	136.542
# Results	135

Actions

Results

««

Last

Termination Problem

THOR (1.01)

Wanda (wanda2.1.fixed)

Wanda (2.1f)


1	tpdb-8.0/TRS/Kop_11/average.xml	0.015	1.146	1.151
2	tpdb-8.0/TRS/Kop_11/lambda5.xml	0.014	0.017	0.018
3	tpdb-8.0/TRS/Kop_11/merge.xml	0.209	0.075	0.078
4	tpdb-8.0/TRS/Kop_11/noneating.xml	0.096	1.079	1.08
5	tpdb-8.0/TRS/Kop_11/shuffle.xml	0.182	0.134	0.136
6	tpdb-8.0/TRS/Kop_11/twice.xml	0.12	0.17	0.171
7	tpdb-8.0/TRS/Kop_13/fuhkop11frocos.xml	0.067	0.151	0.151
8	tpdb-8.0/TRS/Kop_13/fuhkop12rta1.xml	0.176	0.204	0.205
9	tpdb-8.0/TRS/Kop_13/fuhkop12rta2.xml	0.43	1.808	1.805
10	tpdb-8.0/TRS/Kop_13/kop11cai1.xml	0.014	0.523	0.534
11	tpdb-8.0/TRS/Kop_13/kop11cai2.xml	0.014	0.03	0.031
12	tpdb-8.0/TRS/Kop_13/kop12lmcs1.xml	0.178		0.55
13	tpdb-8.0/TRS/Kop_13/kop12lmcs2.xml	0.013	0.182	0.181
14	tpdb-8.0/TRS/Kop_13/kop12thesis_ex2.11.xml	0.014	0.14	0.155
15	tpdb-8.0/TRS/Kop_13/kop12thesis_ex7.23.xml	0.015	0.077	0.076
16	tpdb-8.0/TRS/Kop_13/kop12thesis_ex7.45_1.xml	1.064		2.07
17	tpdb-8.0/TRS/Kop_13/kop12thesis_ex7.45_2.xml	0.966		1.824
18	tpdb-8.0/TRS/Kop_13/kop12thesis_sec3.3.3.xml	0.013	0.085	0.084
19	tpdb-8.0/TRS/Mixed_HO_10/applicative.xml	0.169		4.584
20	tpdb-8.0/TRS/Mixed_HO_10/apply.xml	0.014	0.453	0.097
21	tpdb-8.0/TRS/Mixed_HO_10/app.xml	0.014	0.024	0.037
22	tpdb-8.0/TRS/Mixed_HO_10/counterex1.xml	0.073	0.017	0.018
23	tpdb-8.0/TRS/Mixed_HO_10/counterex2.xml	0.014		0.109
24	tpdb-8.0/TRS/Mixed_HO_10/curry1.xml	0.013	0.064	0.026
25	tpdb-8.0/TRS/Mixed_HO_10/curry.xml	0.013	0.063	0.028
26	tpdb-8.0/TRS/Mixed_HO_10/deriv.xml	0.017		60.12
27	tpdb-8.0/TRS/Mixed_HO_10/eval.xml	0.014	1.173	1.175
28	tpdb-8.0/TRS/Mixed_HO_10/extrec.xml	0.014	0.173	0.175
29	tpdb-8.0/TRS/Mixed_HO_10/filter.xml	0.014	0.065	0.078
30	tpdb-8.0/TRS/Mixed_HO_10/findzero.xml	0.014	1.769	1.775
31	tpdb-8.0/TRS/Mixed_HO_10/foldl.xml	0.014	0.199	0.2
32	tpdb-8.0/TRS/Mixed_HO_10/foobar.xml	0.014		0.084
33	tpdb-8.0/TRS/Mixed_HO_10/from.xml	0.325	2.024	2.028
34	tpdb-8.0/TRS/Mixed_HO_10/hrsdif1.xml	0.09	0.015	0.016
35	tpdb-8.0/TRS/Mixed_HO_10/hrsdif2.xml	0.083		0.135
36	tpdb-8.0/TRS/Mixed_HO_10/if.xml	0.146	1.342	1.364
37	tpdb-8.0/TRS/Mixed_HO_10/inlamb.xml	0.013	0.024	0.026
38	tpdb-8.0/TRS/Mixed_HO_10/iterative.xml	0.014	0.789	0.789
39	tpdb-8.0/TRS/Mixed_HO_10/lambda1.xml	0.013	0.017	0.016
40	tpdb-8.0/TRS/Mixed_HO_10/lambda2.xml	0.379	4.013	4.026

««

Last