Termination Competition 2018
: HRS (union beta)
30047
Job info CSV
benchmark
Wanda
HigherOrder
sol 37957
default
SizeChangeTool
default
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
fuhkop11frocos.xml
7652874
YES
0.06/0.08
YES
0.10/0.09
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
fuhkop12rta1.xml
7652875
YES
0.08/0.09
MAYBE
0.05/0.05
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
fuhkop12rta2.xml
7652876
YES
2.03/0.95
YES
0.07/0.07
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
kop11cai1.xml
7652877
YES
0.43/0.43
MAYBE
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
kop11cai2.xml
7652878
YES
0.01/0.01
MAYBE
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
kop12lmcs1.xml
7652879
MAYBE
0.20/0.20
MAYBE
17.48/11.48
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
kop12lmcs2.xml
7652880
YES
0.06/0.06
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
kop12thesis_
ex2.11.xml
7652881
YES
0.16/0.16
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
kop12thesis_
ex7.23.xml
7652882
YES
0.04/0.06
MAYBE
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
kop12thesis_
ex7.45_
1.xml
7652883
MAYBE
1.68/0.97
MAYBE
0.04/0.04
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
kop12thesis_
ex7.45_
2.xml
7652884
MAYBE
1.40/0.86
MAYBE
0.03/0.04
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
13/
kop12thesis_
sec3.3.3.xml
7652885
YES
0.02/0.02
MAYBE
3.22/2.06
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
11/
average.xml
7652868
YES
1.59/0.69
MAYBE
0.04/0.05
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
11/
lambda5.xml
7652869
run script error
[out]
MAYBE
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
11/
merge.xml
7652870
YES
0.04/0.05
YES
0.03/0.04
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
11/
noneating.xml
7652871
YES
1.29/0.69
MAYBE
4.49/2.26
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
11/
shuffle.xml
7652872
YES
0.07/0.10
YES
0.08/0.08
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Kop_
11/
twice.xml
7652873
YES
0.10/0.10
MAYBE
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
12/
fuhs11frocos_
a.xml
7652926
MAYBE
3.54/1.89
MAYBE
90.36/30.27
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
12/
listrepeat.xml
7652927
MAYBE
2.24/1.16
MAYBE
0.10/0.11
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
12/
prefixshuffle.xml
7652928
YES
2.84/1.28
MAYBE
0.09/0.09
MAYBE
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
12/
prenex_
modif1.xml
7652929
run script error
[out]
YES
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
12/
sqr.xml
7652930
MAYBE
6.34/4.70
MAYBE
0.19/0.19
MAYBE
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
12/
tailrecgen.xml
7652931
MAYBE
5.91/4.60
MAYBE
0.08/0.77
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
12/
twice_
modif4.xml
7652932
YES
0.05/0.06
MAYBE
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
app.xml
7652886
YES
0.01/0.01
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
applicative.xml
7652887
MAYBE
2.53/2.53
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
apply.xml
7652888
YES
0.04/0.06
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
counterex1.xml
7652889
run script error
[out]
NO
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
counterex2.xml
7652890
MAYBE
0.04/0.04
MAYBE
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
curry.xml
7652891
YES
0.01/0.01
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
curry1.xml
7652892
YES
0.01/0.01
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
deriv.xml
7652893
run script error
[out]
YES
0.02/0.07
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
eval.xml
7652894
YES
1.48/0.70
MAYBE
0.04/0.20
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
extrec.xml
7652895
YES
0.09/0.13
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
filter.xml
7652896
YES
0.02/0.03
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
findzero.xml
7652897
YES
1.68/1.01
MAYBE
0.03/0.04
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
foldl.xml
7652898
YES
0.18/0.18
YES
0.01/0.09
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
foobar.xml
7652899
MAYBE
0.03/0.04
MAYBE
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
from.xml
7652900
YES
1.79/0.94
MAYBE
0.06/0.06
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
hrsdif1.xml
7652901
NO
0.00/0.00
NO
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
hrsdif2.xml
7652902
MAYBE
0.05/0.07
MAYBE
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
if.xml
7652903
YES
1.35/0.72
MAYBE
0.03/0.05
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
inlamb.xml
7652904
YES
0.01/0.01
YES
0.20/0.19
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
iterative.xml
7652905
YES
0.53/0.53
YES
0.29/0.24
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
lambda1.xml
7652906
NO
0.00/0.00
MAYBE
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
lambda2.xml
7652907
NO
4.33/2.06
NO
0.42/0.35
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
lambda3.xml
7652908
YES
0.02/0.04
MAYBE
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
length.xml
7652909
YES
0.07/0.08
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
loopy.xml
7652910
YES
0.02/0.04
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
map.xml
7652911
YES
0.01/0.02
YES
0.01/0.01
YES
0.01/0.04
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
noabs.xml
7652912
YES
0.04/0.06
MAYBE
0.03/0.03
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
onearg.xml
7652913
YES
0.14/0.14
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
ordrec.xml
7652914
YES
0.24/0.25
YES
0.01/0.03
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
plode.xml
7652915
YES
0.20/0.20
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
prefixsum.xml
7652916
YES
0.09/0.10
MAYBE
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
prenex.xml
7652917
YES
0.09/0.09
YES
0.22/0.21
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
process.xml
7652918
YES
2.39/2.40
MAYBE
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
qsort.xml
7652919
YES
2.19/1.32
MAYBE
0.06/0.06
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
rec.xml
7652920
YES
0.07/0.08
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
reverse.xml
7652921
YES
0.31/0.36
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
sdu.xml
7652922
YES
0.16/0.16
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
sort.xml
7652923
YES
1.32/1.33
YES
0.02/0.02
YES
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
uncurry.xml
7652924
YES
0.01/0.03
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Mixed_
HO_
10/
zipWith.xml
7652925
YES
2.39/1.09
YES
0.07/0.07
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
churchNum.xml
7652790
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
churchNum2.xml
7652791
run script error
[out]
YES
0.03/0.03
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
DicosmoKesner93.xml
7652792
YES
1.57/0.89
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
gstate.xml
7652793
MAYBE
36.02/36.11
MAYBE
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
kripke.xml
7652794
YES
1.34/0.67
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
lambda_
prod.xml
7652795
YES
1.34/0.68
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
lambda_
sum.xml
7652796
YES
0.26/0.27
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
monad.xml
7652797
MAYBE
201.14/201.25
YES
0.01/0.02
MAYBE
0.01/0.03
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
pical.xml
7652798
YES
0.06/0.08
YES
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
restriction.xml
7652799
YES
7.56/7.56
NO
0.01/0.01
MAYBE
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
slml.xml
7652800
MAYBE
27.59/27.60
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
SystemT.xml
7652801
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
typed_
lam.xml
7652802
YES
0.08/0.08
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
typed_
lamUNC.xml
7652803
YES
0.07/0.08
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
ysllc.xml
7652804
YES
0.18/0.19
run script error
[out]
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h00.xml
7652805
run script error
[out]
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h01.xml
7652806
run script error
[out]
YES
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h02.xml
7652807
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h03.xml
7652808
run script error
[out]
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h04.xml
7652809
run script error
[out]
YES
0.01/0.03
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h05.xml
7652810
run script error
[out]
YES
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h06.xml
7652811
timeout (wallclock)
[out]
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h07.xml
7652812
MAYBE
89.59/88.91
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h08.xml
7652813
run script error
[out]
YES
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h09.xml
7652814
MAYBE
1.67/1.45
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h10.xml
7652815
MAYBE
1.16/1.16
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h11.xml
7652816
MAYBE
0.16/0.20
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h12.xml
7652817
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h13.xml
7652818
run script error
[out]
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h14.xml
7652819
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h15.xml
7652820
run script error
[out]
YES
0.01/0.02
run script error
[out]
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h16.xml
7652821
run script error
[out]
run script error
[out]
MAYBE
0.01/0.04
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h17.xml
7652822
MAYBE
145.18/145.19
YES
0.01/0.04
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h18.xml
7652823
MAYBE
19.79/19.80
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h19.xml
7652824
run script error
[out]
YES
1.45/1.20
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h20.xml
7652825
run script error
[out]
YES
1.47/1.25
MAYBE
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h21.xml
7652826
run script error
[out]
NO
0.73/0.61
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h22.xml
7652827
run script error
[out]
YES
0.72/0.65
MAYBE
0.03/0.03
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h23.xml
7652828
run script error
[out]
YES
0.74/0.69
MAYBE
0.03/0.03
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h24.xml
7652829
run script error
[out]
YES
1.82/1.56
MAYBE
0.02/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h25.xml
7652830
run script error
[out]
YES
1.85/1.56
MAYBE
0.02/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h26.xml
7652831
run script error
[out]
YES
29.17/27.66
timeout (wallclock)
[out]
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h27.xml
7652832
run script error
[out]
YES
29.33/27.83
timeout (wallclock)
[out]
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h28.xml
7652833
run script error
[out]
YES
50.36/46.19
MAYBE
0.08/0.08
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h29.xml
7652834
run script error
[out]
YES
50.67/46.48
MAYBE
0.08/0.09
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h30.xml
7652835
run script error
[out]
YES
145.89/143.80
MAYBE
3.80/3.77
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h31.xml
7652836
run script error
[out]
YES
294.40/287.11
MAYBE
0.37/0.38
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h32.xml
7652837
run script error
[out]
YES
5.49/5.05
MAYBE
5.52/5.45
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h33.xml
7652838
run script error
[out]
YES
14.26/12.89
MAYBE
0.03/0.03
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h34.xml
7652839
run script error
[out]
YES
13.83/13.20
MAYBE
0.09/0.09
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h35.xml
7652840
run script error
[out]
YES
27.16/25.56
MAYBE
0.06/0.07
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h36.xml
7652841
run script error
[out]
YES
1.10/0.97
MAYBE
0.04/0.05
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h37.xml
7652842
run script error
[out]
YES
1.13/0.99
MAYBE
0.04/0.05
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h38.xml
7652843
run script error
[out]
YES
2.46/2.12
MAYBE
0.02/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h39.xml
7652844
run script error
[out]
YES
2.46/2.13
MAYBE
0.02/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h40.xml
7652845
run script error
[out]
YES
4.07/3.73
MAYBE
0.81/0.81
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h41.xml
7652846
run script error
[out]
YES
9.55/8.69
MAYBE
0.04/0.04
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h42.xml
7652847
run script error
[out]
YES
245.67/244.10
MAYBE
0.08/0.08
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h43.xml
7652848
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h44.xml
7652849
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h45.xml
7652850
run script error
[out]
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h46.xml
7652851
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h47.xml
7652852
run script error
[out]
run script error
[out]
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h48.xml
7652853
run script error
[out]
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h49.xml
7652854
run script error
[out]
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h50.xml
7652855
run script error
[out]
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h51.xml
7652856
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h52.xml
7652857
run script error
[out]
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h53.xml
7652858
run script error
[out]
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h54.xml
7652859
run script error
[out]
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h55.xml
7652860
run script error
[out]
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h56.xml
7652861
run script error
[out]
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h57.xml
7652862
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h58.xml
7652863
run script error
[out]
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h59.xml
7652864
run script error
[out]
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h60.xml
7652865
run script error
[out]
YES
0.01/0.01
MAYBE
0.01/0.03
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h61.xml
7652866
run script error
[out]
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
Kikuchi_
18/
h62.xml
7652867
run script error
[out]
YES
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
Blanqui_
15/
01GoedelT.xml
7652782
run script error
[out]
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
Blanqui_
15/
02Ackermann.xml
7652783
YES
0.10/0.10
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
Blanqui_
15/
03minus.xml
7652784
YES
0.01/0.01
YES
0.01/0.01
YES
0.01/0.03
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
Blanqui_
15/
04arrow.xml
7652785
YES
0.01/0.01
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
Blanqui_
15/
05height.xml
7652786
YES
0.01/0.02
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
Blanqui_
15/
06plusmult.xml
7652787
YES
0.16/1.28
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
Blanqui_
15/
07ordinal.xml
7652788
YES
0.01/0.02
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Hamana_
17/
Blanqui_
15/
09ex.xml
7652789
YES
0.10/0.73
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
001.xml
7652933
NO
0.00/0.00
NO
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
002.xml
7652934
YES
0.08/0.08
YES
0.01/0.02
YES
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
003.xml
7652935
NO
0.00/0.00
NO
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
004.xml
7652936
YES
0.02/0.03
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
005.xml
7652937
YES
0.03/0.04
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
006.xml
7652938
YES
0.02/0.03
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
007.xml
7652939
YES
0.04/0.04
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
009.xml
7652940
YES
0.04/0.04
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
010.xml
7652941
YES
0.54/0.56
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
011.xml
7652942
YES
0.10/0.11
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
012.xml
7652943
YES
0.04/0.06
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
013.xml
7652944
YES
0.06/0.09
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
014.xml
7652945
YES
0.22/0.32
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
015.xml
7652946
YES
0.15/0.20
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
016.xml
7652947
YES
0.23/0.23
YES
0.04/0.04
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
017.xml
7652948
YES
0.01/0.01
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
019.xml
7652949
YES
0.05/0.06
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
020.xml
7652950
YES
0.08/0.09
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
021.xml
7652951
YES
0.58/0.58
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
022.xml
7652952
YES
0.04/0.04
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
023.xml
7652953
YES
0.01/0.03
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
024.xml
7652954
YES
0.01/0.02
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
025.xml
7652955
YES
0.01/0.01
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
026.xml
7652956
YES
0.09/0.09
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
027.xml
7652957
YES
0.04/0.04
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
028.xml
7652958
YES
0.02/0.03
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
Ex1SimplyTyped.xml
7652959
YES
0.02/0.04
YES
0.01/0.01
MAYBE
0.01/0.03
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
AotoYamada_
05_
_
Ex5TermProof.xml
7652960
YES
0.27/0.28
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
BTreeMember.xml
7652961
YES
0.09/0.09
YES
0.02/0.10
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex2PrimRec.xml
7652962
MAYBE
0.54/0.54
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex2_
6_
1Composition.xml
7652963
YES
0.01/0.02
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex2_
8_
1ConstSubstFix.xml
7652964
MAYBE
2.38/1.19
YES
0.01/0.01
MAYBE
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex3Lists.xml
7652965
YES
0.04/0.05
YES
0.01/0.05
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex4MapList.xml
7652966
YES
0.04/0.05
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex5Folding.xml
7652967
YES
0.22/0.23
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex5Sorting.xml
7652968
YES
0.65/0.65
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex6Folding.xml
7652969
YES
0.28/0.28
YES
0.01/0.05
YES
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex6Recursor.xml
7652970
YES
0.05/0.68
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex6_
11.xml
7652971
MAYBE
41.68/41.69
MAYBE
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex7OrdinalRec.xml
7652972
MAYBE
0.47/0.47
MAYBE
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex7Sorting.xml
7652973
YES
0.84/0.84
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex7_
9.xml
7652974
YES
2.01/0.90
YES
0.08/0.07
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Ex9Maps.xml
7652975
YES
4.69/4.71
YES
0.01/0.01
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
Hamming.xml
7652976
NO
0.01/0.01
NO
0.03/0.04
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
mapDivMinus.xml
7652977
YES
1.84/0.86
YES
0.05/0.05
MAYBE
0.00/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
mapDivMinusHard.xml
7652978
YES
1.92/0.88
YES
0.07/0.07
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
ReverseLastInit.xml
7652979
YES
0.22/0.24
YES
0.01/0.02
YES
0.01/0.04
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
TakeDropWhile.xml
7652980
YES
0.04/0.05
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
termMonTypes.xml
7652981
MAYBE
1.12/0.59
NO
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
TreeFlatten.xml
7652982
YES
0.07/0.08
YES
0.01/0.02
MAYBE
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
TreeHeight.xml
7652983
YES
0.04/0.05
YES
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
TreeLevels.xml
7652984
YES
0.06/0.06
YES
0.07/0.07
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
TreeMap.xml
7652985
YES
0.25/0.25
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
TreeSize.xml
7652986
YES
0.04/0.04
YES
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
TypeEx3.xml
7652987
MAYBE
0.75/0.76
YES
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
05_
_
TypeEx5.xml
7652988
NO
0.00/0.00
NO
0.01/0.01
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.10.xml
7652989
NO
3.30/1.71
NO
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.13.xml
7652990
MAYBE
6.86/2.77
NO
0.45/0.32
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.15.xml
7652991
NO
3.95/2.02
NO
0.34/0.30
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.17.xml
7652992
NO
4.51/2.52
NO
0.41/0.37
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.19.xml
7652993
timeout (wallclock)
[out]
NO
63.19/24.11
run script error
[out]
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.2.xml
7652994
NO
3.74/1.90
NO
0.34/0.30
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.22.xml
7652995
YES
1.59/0.81
YES
0.05/0.05
MAYBE
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.24.xml
7652996
YES
2.05/0.93
YES
0.12/0.12
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.26.xml
7652997
YES
2.38/1.11
YES
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.28.xml
7652998
YES
1.16/0.58
YES
0.07/0.07
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.3.xml
7652999
NO
3.24/1.74
NO
15.19/12.05
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.34.xml
7653000
YES
2.10/0.97
YES
0.07/0.07
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.36.xml
7653001
YES
3.35/1.38
YES
0.15/0.14
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.5.xml
7653002
NO
0.00/0.00
NO
0.01/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.7.xml
7653003
NO
3.79/2.06
NO
0.33/0.31
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
AG01_
innermost_
_
#4.8.xml
7653004
MAYBE
17.79/6.19
NO
27.42/19.27
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.10.xml
7653005
YES
3.63/1.51
YES
0.04/0.05
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.13.xml
7653006
YES
3.31/2.01
YES
0.03/0.05
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.16.xml
7653007
YES
0.26/0.27
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.18.xml
7653008
YES
2.10/1.56
YES
0.06/0.06
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.2.xml
7653009
YES
1.91/0.89
YES
0.06/0.06
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.22.xml
7653010
YES
1.97/0.95
YES
0.06/0.99
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.25.xml
7653011
YES
1.14/0.58
YES
0.05/0.05
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.27.xml
7653012
YES
0.07/0.07
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.32.xml
7653013
YES
1.09/0.53
YES
0.05/0.05
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.36.xml
7653014
YES
2.06/0.99
YES
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.38.xml
7653015
YES
2.19/1.02
YES
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.40.xml
7653016
YES
2.86/1.22
YES
16.55/12.85
MAYBE
0.01/0.02
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.45.xml
7653017
YES
1.44/0.70
YES
0.06/0.06
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.48.xml
7653018
YES
1.72/0.85
YES
0.06/0.06
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.52.xml
7653019
YES
1.52/0.77
YES
0.05/0.05
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.55.xml
7653020
YES
3.57/1.44
YES
0.13/0.12
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.57.xml
7653021
YES
2.84/1.21
YES
0.10/0.09
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.6.xml
7653022
YES
2.40/1.07
YES
0.02/0.03
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
#3.8.xml
7653023
YES
2.28/1.01
YES
0.08/0.09
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
01.xml
7653024
YES
0.08/0.08
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
02.xml
7653025
YES
0.07/0.08
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
06.xml
7653026
YES
0.09/0.10
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
08.xml
7653027
YES
0.27/0.27
run script error
[out]
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
11.xml
7653028
YES
1.02/1.03
YES
0.04/0.04
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
12.xml
7653029
YES
0.61/0.61
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
13.xml
7653030
YES
34.33/13.21
YES
31.03/15.77
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
17.xml
7653031
YES
0.10/0.11
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
18.xml
7653032
YES
0.14/0.14
YES
0.01/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
21.xml
7653033
YES
1.77/0.94
YES
0.07/0.07
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
29.xml
7653034
YES
0.46/0.46
YES
0.02/0.02
YES
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
30.xml
7653035
YES
0.33/0.33
YES
0.26/0.18
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
31.xml
7653036
YES
0.22/0.23
MAYBE
0.02/0.02
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
33.xml
7653037
run script error
[out]
MAYBE
149.32/53.35
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
hydra.xml
7653038
YES
1.66/0.81
YES
0.02/0.03
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
minsort.xml
7653039
run script error
[out]
MAYBE
159.83/64.43
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
motivation.xml
7653040
YES
1.83/0.86
YES
0.04/1.04
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
perfect.xml
7653041
YES
1.83/0.96
run script error
[out]
MAYBE
0.01/0.01
Higher_
Order_
Rewriting_
Union_
Beta/
Uncurried_
Applicative_
11/
Applicative_
first_
order_
05_
_
perfect2.xml
7653042
YES
2.54/1.13
YES
0.10/0.09
run script error
[out]
165
219
93