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