Termination Competition 2018: HRS30099

Job info CSV
benchmark sol 37957 hrs
Higher_Order_Rewriting_Union_Beta/Hamana_17/churchNum.xml 7652790 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_17/churchNum2.xml 7652791 YES 0.03/0.03
Higher_Order_Rewriting_Union_Beta/Hamana_17/DicosmoKesner93.xml 7652792 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/gstate.xml 7652793 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/kripke.xml 7652794 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/lambda_prod.xml 7652795 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/lambda_sum.xml 7652796 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_17/monad.xml 7652797 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/pical.xml 7652798 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_17/restriction.xml 7652799 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/slml.xml 7652800 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/SystemT.xml 7652801 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_17/typed_lam.xml 7652802 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/typed_lamUNC.xml 7652803 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_17/ysllc.xml 7652804 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_17/Blanqui_15/01GoedelT.xml 7652782 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/Blanqui_15/02Ackermann.xml 7652783 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/Blanqui_15/03minus.xml 7652784 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/Blanqui_15/04arrow.xml 7652785 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_17/Blanqui_15/05height.xml 7652786 YES 0.01/0.14
Higher_Order_Rewriting_Union_Beta/Hamana_17/Blanqui_15/06plusmult.xml 7652787 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_17/Blanqui_15/07ordinal.xml 7652788 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_17/Blanqui_15/09ex.xml 7652789 run script error [out]
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__001.xml 7652933 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__002.xml 7652934 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__003.xml 7652935 MAYBE 0.03/0.03
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__004.xml 7652936 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__005.xml 7652937 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__006.xml 7652938 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__007.xml 7652939 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__009.xml 7652940 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__010.xml 7652941 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__011.xml 7652942 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__012.xml 7652943 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__013.xml 7652944 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__014.xml 7652945 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__015.xml 7652946 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__016.xml 7652947 MAYBE 0.03/0.04
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__017.xml 7652948 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__019.xml 7652949 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__020.xml 7652950 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__021.xml 7652951 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__022.xml 7652952 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__023.xml 7652953 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__024.xml 7652954 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__025.xml 7652955 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__026.xml 7652956 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__027.xml 7652957 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__028.xml 7652958 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__Ex1SimplyTyped.xml 7652959 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/AotoYamada_05__Ex5TermProof.xml 7652960 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__BTreeMember.xml 7652961 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex2PrimRec.xml 7652962 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex2_6_1Composition.xml 7652963 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex2_8_1ConstSubstFix.xml 7652964 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex3Lists.xml 7652965 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex4MapList.xml 7652966 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex5Folding.xml 7652967 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex5Sorting.xml 7652968 YES 0.02/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex6Folding.xml 7652969 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex6Recursor.xml 7652970 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex6_11.xml 7652971 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex7OrdinalRec.xml 7652972 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex7Sorting.xml 7652973 YES 0.02/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex7_9.xml 7652974 YES 0.07/0.08
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Ex9Maps.xml 7652975 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__Hamming.xml 7652976 MAYBE 0.08/0.08
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__mapDivMinus.xml 7652977 run script error [out]
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__mapDivMinusHard.xml 7652978 YES 0.07/0.06
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__ReverseLastInit.xml 7652979 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__TakeDropWhile.xml 7652980 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__termMonTypes.xml 7652981 MAYBE 0.03/0.03
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__TreeFlatten.xml 7652982 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__TreeHeight.xml 7652983 YES 0.02/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__TreeLevels.xml 7652984 YES 0.06/0.06
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__TreeMap.xml 7652985 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__TreeSize.xml 7652986 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__TypeEx3.xml 7652987 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_05__TypeEx5.xml 7652988 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.10.xml 7652989 NO 0.15/0.13
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.13.xml 7652990 NO 0.45/0.32
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.15.xml 7652991 NO 0.34/0.30
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.17.xml 7652992 NO 0.40/0.36
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.19.xml 7652993 NO 63.39/24.20
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.2.xml 7652994 run script error [out]
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.22.xml 7652995 run script error [out]
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.24.xml 7652996 YES 0.11/0.11
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.26.xml 7652997 YES 0.02/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.28.xml 7652998 YES 0.07/0.10
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.3.xml 7652999 NO 15.07/14.43
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.34.xml 7653000 YES 0.06/0.06
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.36.xml 7653001 YES 0.13/0.12
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.5.xml 7653002 NO 0.03/0.03
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.7.xml 7653003 NO 0.33/0.31
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_AG01_innermost__#4.8.xml 7653004 NO 27.47/18.11
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.10.xml 7653005 YES 0.02/0.03
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.13.xml 7653006 YES 0.02/0.03
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.16.xml 7653007 YES 0.02/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.18.xml 7653008 YES 0.06/0.06
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.2.xml 7653009 YES 0.05/0.05
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.22.xml 7653010 YES 0.05/0.05
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.25.xml 7653011 YES 0.05/0.05
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.27.xml 7653012 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.32.xml 7653013 YES 0.05/0.05
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.36.xml 7653014 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.38.xml 7653015 YES 0.02/0.03
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.40.xml 7653016 YES 16.86/12.76
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.45.xml 7653017 YES 0.05/0.05
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.48.xml 7653018 YES 0.06/0.06
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.52.xml 7653019 YES 0.04/0.04
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.55.xml 7653020 YES 0.11/0.11
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.57.xml 7653021 YES 0.10/0.10
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.6.xml 7653022 YES 0.02/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__#3.8.xml 7653023 YES 0.09/0.08
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__01.xml 7653024 YES 0.02/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__02.xml 7653025 run script error [out]
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__06.xml 7653026 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__08.xml 7653027 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__11.xml 7653028 YES 0.02/0.03
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__12.xml 7653029 YES 0.02/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__13.xml 7653030 YES 27.45/15.27
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__17.xml 7653031 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__18.xml 7653032 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__21.xml 7653033 YES 0.07/0.07
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__29.xml 7653034 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__30.xml 7653035 YES 0.26/0.19
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__31.xml 7653036 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__33.xml 7653037 MAYBE 149.16/54.10
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__hydra.xml 7653038 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__minsort.xml 7653039 MAYBE 160.16/61.88
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__motivation.xml 7653040 YES 0.03/0.04
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__perfect.xml 7653041 YES 0.07/0.07
Higher_Order_Rewriting_Union_Beta/Uncurried_Applicative_11/Applicative_first_order_05__perfect2.xml 7653042 YES 0.09/0.08
Higher_Order_Rewriting_Union_Beta/Mixed_HO_12/fuhs11frocos_a.xml 7652926 MAYBE 90.39/30.27
Higher_Order_Rewriting_Union_Beta/Mixed_HO_12/listrepeat.xml 7652927 MAYBE 0.09/0.09
Higher_Order_Rewriting_Union_Beta/Mixed_HO_12/prefixshuffle.xml 7652928 MAYBE 0.08/0.09
Higher_Order_Rewriting_Union_Beta/Mixed_HO_12/prenex_modif1.xml 7652929 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_12/sqr.xml 7652930 MAYBE 0.19/0.18
Higher_Order_Rewriting_Union_Beta/Mixed_HO_12/tailrecgen.xml 7652931 MAYBE 0.08/0.08
Higher_Order_Rewriting_Union_Beta/Mixed_HO_12/twice_modif4.xml 7652932 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Kop_11/average.xml 7652868 MAYBE 0.04/0.04
Higher_Order_Rewriting_Union_Beta/Kop_11/lambda5.xml 7652869 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Kop_11/merge.xml 7652870 YES 0.03/0.04
Higher_Order_Rewriting_Union_Beta/Kop_11/noneating.xml 7652871 MAYBE 0.03/0.12
Higher_Order_Rewriting_Union_Beta/Kop_11/shuffle.xml 7652872 YES 0.08/0.09
Higher_Order_Rewriting_Union_Beta/Kop_11/twice.xml 7652873 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h00.xml 7652805 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h01.xml 7652806 MAYBE 0.05/0.05
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h02.xml 7652807 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h03.xml 7652808 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h04.xml 7652809 MAYBE 0.03/0.03
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h05.xml 7652810 MAYBE 0.04/0.04
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h06.xml 7652811 MAYBE 0.03/0.04
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h07.xml 7652812 MAYBE 0.04/0.04
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h08.xml 7652813 MAYBE 0.03/0.04
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h09.xml 7652814 MAYBE 0.03/0.04
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h10.xml 7652815 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h11.xml 7652816 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h12.xml 7652817 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h13.xml 7652818 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h14.xml 7652819 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h15.xml 7652820 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h16.xml 7652821 YES 0.02/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h17.xml 7652822 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h18.xml 7652823 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h19.xml 7652824 YES 1.39/1.14
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h20.xml 7652825 YES 1.41/1.15
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h21.xml 7652826 NO 0.70/0.57
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h22.xml 7652827 YES 0.64/0.57
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h23.xml 7652828 YES 0.64/0.56
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h24.xml 7652829 YES 1.66/1.37
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h25.xml 7652830 YES 1.68/1.39
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h26.xml 7652831 YES 24.16/22.68
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h27.xml 7652832 YES 24.10/22.64
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h28.xml 7652833 YES 40.77/36.62
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h29.xml 7652834 YES 41.15/36.94
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h30.xml 7652835 YES 113.47/111.35
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h31.xml 7652836 YES 202.35/195.06
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h32.xml 7652837 YES 4.84/4.43
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h33.xml 7652838 YES 12.99/11.62
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h34.xml 7652839 YES 11.32/10.67
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h35.xml 7652840 YES 20.77/18.99
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h36.xml 7652841 YES 1.01/0.88
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h37.xml 7652842 YES 1.02/0.87
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h38.xml 7652843 YES 2.19/1.86
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h39.xml 7652844 YES 2.20/1.86
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h40.xml 7652845 YES 3.48/3.72
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h41.xml 7652846 YES 7.76/6.88
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h42.xml 7652847 YES 234.69/232.44
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h43.xml 7652848 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h44.xml 7652849 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h45.xml 7652850 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h46.xml 7652851 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h47.xml 7652852 MAYBE 0.04/0.04
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h48.xml 7652853 MAYBE 0.04/0.05
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h49.xml 7652854 MAYBE 0.03/0.03
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h50.xml 7652855 MAYBE 0.04/0.33
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h51.xml 7652856 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h52.xml 7652857 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h53.xml 7652858 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h54.xml 7652859 MAYBE 0.04/0.04
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h55.xml 7652860 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h56.xml 7652861 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h57.xml 7652862 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h58.xml 7652863 run script error [out]
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h59.xml 7652864 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h60.xml 7652865 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h61.xml 7652866 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Hamana_Kikuchi_18/h62.xml 7652867 MAYBE 0.04/0.04
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/app.xml 7652886 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/applicative.xml 7652887 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/apply.xml 7652888 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/counterex1.xml 7652889 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/counterex2.xml 7652890 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/curry.xml 7652891 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/curry1.xml 7652892 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/deriv.xml 7652893 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/eval.xml 7652894 MAYBE 0.04/0.04
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/extrec.xml 7652895 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/filter.xml 7652896 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/findzero.xml 7652897 MAYBE 0.04/0.04
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/foldl.xml 7652898 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/foobar.xml 7652899 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/from.xml 7652900 MAYBE 0.06/0.06
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/hrsdif1.xml 7652901 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/hrsdif2.xml 7652902 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/if.xml 7652903 MAYBE 0.03/0.03
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/inlamb.xml 7652904 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/iterative.xml 7652905 MAYBE 0.03/0.03
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/lambda1.xml 7652906 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/lambda2.xml 7652907 NO 0.43/0.35
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/lambda3.xml 7652908 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/length.xml 7652909 run script error [out]
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/loopy.xml 7652910 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/map.xml 7652911 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/noabs.xml 7652912 MAYBE 0.03/0.03
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/onearg.xml 7652913 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/ordrec.xml 7652914 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/plode.xml 7652915 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/prefixsum.xml 7652916 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/prenex.xml 7652917 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/process.xml 7652918 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/qsort.xml 7652919 MAYBE 0.05/0.05
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/rec.xml 7652920 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/reverse.xml 7652921 YES 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/sdu.xml 7652922 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/sort.xml 7652923 YES 0.02/0.02
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/uncurry.xml 7652924 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Mixed_HO_10/zipWith.xml 7652925 YES 0.07/0.07
Higher_Order_Rewriting_Union_Beta/Kop_13/fuhkop11frocos.xml 7652874 YES 0.08/0.08
Higher_Order_Rewriting_Union_Beta/Kop_13/fuhkop12rta1.xml 7652875 MAYBE 0.05/0.05
Higher_Order_Rewriting_Union_Beta/Kop_13/fuhkop12rta2.xml 7652876 YES 0.07/0.06
Higher_Order_Rewriting_Union_Beta/Kop_13/kop11cai1.xml 7652877 MAYBE 0.01/0.02
Higher_Order_Rewriting_Union_Beta/Kop_13/kop11cai2.xml 7652878 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Kop_13/kop12lmcs1.xml 7652879 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Kop_13/kop12lmcs2.xml 7652880 run script error [out]
Higher_Order_Rewriting_Union_Beta/Kop_13/kop12thesis_ex2.11.xml 7652881 YES 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Kop_13/kop12thesis_ex7.23.xml 7652882 MAYBE 0.01/0.01
Higher_Order_Rewriting_Union_Beta/Kop_13/kop12thesis_ex7.45_1.xml 7652883 MAYBE 0.04/0.04
Higher_Order_Rewriting_Union_Beta/Kop_13/kop12thesis_ex7.45_2.xml 7652884 MAYBE 0.03/0.03
Higher_Order_Rewriting_Union_Beta/Kop_13/kop12thesis_sec3.3.3.xml 7652885 MAYBE 0.01/0.01
175