Termination Competition 2019: HRS (union beta)33452

Job info CSV
benchmark SizeChangeTool_v2019 default Wanda 2.1c default
Kop_13/fuhkop11frocos.xml 7652874 MAYBE 0.00/0.01 YES 0.12/0.12
Kop_13/fuhkop12rta1.xml 7652875 MAYBE 0.00/0.01 YES 0.17/0.17
Kop_13/fuhkop12rta2.xml 7652876 MAYBE 0.01/0.01 YES 2.27/1.07
Kop_13/kop11cai1.xml 7652877 MAYBE 0.00/0.00 YES 0.77/1.74
Kop_13/kop11cai2.xml 7652878 MAYBE 0.00/0.01 YES 0.02/0.02
Kop_13/kop12lmcs1.xml 7652879 MAYBE 0.00/0.00 MAYBE 0.46/0.47
Kop_13/kop12lmcs2.xml 7652880 YES 0.00/0.02 YES 0.14/0.14
Kop_13/kop12thesis_ex2.11.xml 7652881 YES 0.00/0.01 YES 0.34/0.34
Kop_13/kop12thesis_ex7.23.xml 7652882 YES 0.00/0.00 YES 0.08/0.08
Kop_13/kop12thesis_ex7.45_1.xml 7652883 MAYBE 0.00/0.01 MAYBE 2.40/1.73
Kop_13/kop12thesis_ex7.45_2.xml 7652884 MAYBE 0.00/0.01 MAYBE 2.28/1.62
Kop_13/kop12thesis_sec3.3.3.xml 7652885 MAYBE 0.00/0.00 YES 0.05/0.05
Kop_11/average.xml 7652868 MAYBE 0.00/0.01 YES 1.59/0.71
Kop_11/lambda5.xml 7652869 MAYBE 0.00/0.01 NO 0.00/0.00
Kop_11/merge.xml 7652870 MAYBE 0.00/0.01 YES 0.08/0.08
Kop_11/noneating.xml 7652871 MAYBE 0.00/0.00 YES 1.46/0.63
Kop_11/shuffle.xml 7652872 MAYBE 0.00/0.00 YES 0.14/0.14
Kop_11/twice.xml 7652873 MAYBE 0.00/0.00 YES 0.18/0.18
Mixed_HO_12/fuhs11frocos_a.xml 7652926 MAYBE 0.00/0.00 MAYBE 7.54/3.89
Mixed_HO_12/listrepeat.xml 7652927 MAYBE 0.01/0.01 MAYBE 3.15/1.95
Mixed_HO_12/prefixshuffle.xml 7652928 MAYBE 0.02/0.02 YES 3.71/2.16
Mixed_HO_12/prenex_modif1.xml 7652929 YES 0.01/0.01 YES 0.12/0.12
Mixed_HO_12/sqr.xml 7652930 MAYBE 0.01/0.01 MAYBE 13.11/11.13
Mixed_HO_12/tailrecgen.xml 7652931 MAYBE 0.00/0.01 MAYBE 12.79/11.54
Mixed_HO_12/twice_modif4.xml 7652932 MAYBE 0.00/0.00 YES 0.09/0.09
Mixed_HO_10/app.xml 7652886 YES 0.00/0.00 YES 0.00/0.00
Mixed_HO_10/applicative.xml 7652887 MAYBE 0.00/0.00 MAYBE 9.10/9.11
Mixed_HO_10/apply.xml 7652888 YES 0.00/0.00 YES 0.08/0.09
Mixed_HO_10/counterex1.xml 7652889 MAYBE 0.00/0.00 NO 0.00/0.00
Mixed_HO_10/counterex2.xml 7652890 MAYBE 0.00/0.01 MAYBE 0.07/0.07
Mixed_HO_10/curry.xml 7652891 MAYBE 0.00/0.00 YES 0.01/0.01
Mixed_HO_10/curry1.xml 7652892 YES 0.00/0.01 YES 0.01/0.01
Mixed_HO_10/deriv.xml 7652893 YES 0.00/0.01 timeout (wallclock) [out]
Mixed_HO_10/eval.xml 7652894 MAYBE 0.00/0.01 YES 1.67/0.77
Mixed_HO_10/extrec.xml 7652895 YES 0.00/0.00 YES 0.22/0.22
Mixed_HO_10/filter.xml 7652896 YES 0.00/0.01 YES 0.05/0.05
Mixed_HO_10/findzero.xml 7652897 MAYBE 0.00/0.02 YES 2.39/2.02
Mixed_HO_10/foldl.xml 7652898 YES 0.00/0.01 YES 0.41/0.41
Mixed_HO_10/foobar.xml 7652899 MAYBE 0.00/0.01 MAYBE 0.06/0.25
Mixed_HO_10/from.xml 7652900 MAYBE 0.01/0.01 YES 2.30/1.34
Mixed_HO_10/hrsdif1.xml 7652901 MAYBE 0.00/0.01 NO 0.00/0.01
Mixed_HO_10/hrsdif2.xml 7652902 MAYBE 0.00/0.01 MAYBE 0.10/0.10
Mixed_HO_10/if.xml 7652903 MAYBE 0.00/0.02 YES 1.71/0.93
Mixed_HO_10/inlamb.xml 7652904 MAYBE 0.00/0.02 YES 0.01/0.01
Mixed_HO_10/iterative.xml 7652905 MAYBE 0.00/0.02 YES 1.55/1.55
Mixed_HO_10/lambda1.xml 7652906 MAYBE 0.00/0.01 NO 0.00/0.01
Mixed_HO_10/lambda2.xml 7652907 MAYBE 0.00/0.00 NO 4.86/2.16
Mixed_HO_10/lambda3.xml 7652908 MAYBE 0.00/0.01 YES 0.03/0.03
Mixed_HO_10/length.xml 7652909 YES 0.00/0.01 YES 0.16/0.16
Mixed_HO_10/loopy.xml 7652910 MAYBE 0.00/0.00 YES 0.04/0.05
Mixed_HO_10/map.xml 7652911 YES 0.00/0.01 YES 0.03/0.03
Mixed_HO_10/noabs.xml 7652912 MAYBE 0.00/0.01 YES 0.07/0.07
Mixed_HO_10/onearg.xml 7652913 YES 0.00/0.01 YES 0.28/0.28
Mixed_HO_10/ordrec.xml 7652914 YES 0.00/0.01 YES 0.53/0.54
Mixed_HO_10/plode.xml 7652915 YES 0.00/0.01 YES 0.45/0.45
Mixed_HO_10/prefixsum.xml 7652916 MAYBE 0.00/0.01 YES 0.19/0.20
Mixed_HO_10/prenex.xml 7652917 MAYBE 0.00/0.00 YES 0.19/0.86
Mixed_HO_10/process.xml 7652918 MAYBE 0.00/0.00 YES 4.46/4.46
Mixed_HO_10/qsort.xml 7652919 MAYBE 0.01/0.01 YES 3.01/2.16
Mixed_HO_10/rec.xml 7652920 YES 0.00/0.00 YES 0.16/1.11
Mixed_HO_10/reverse.xml 7652921 YES 0.00/0.01 YES 0.87/0.87
Mixed_HO_10/sdu.xml 7652922 MAYBE 0.00/0.01 YES 0.42/0.42
Mixed_HO_10/sort.xml 7652923 YES 0.01/0.01 YES 3.24/5.23
Mixed_HO_10/uncurry.xml 7652924 YES 0.00/0.00 YES 0.02/0.02
Mixed_HO_10/zipWith.xml 7652925 MAYBE 0.01/0.01 YES 2.91/1.48
Hamana_17/churchNum.xml 7652790 YES 0.00/0.00 timeout (wallclock) [out]
Hamana_17/churchNum2.xml 7652791 YES 0.01/0.01 timeout (wallclock) [out]
Hamana_17/DicosmoKesner93.xml 7652792 MAYBE 0.00/0.01 YES 1.50/0.68
Hamana_17/gstate.xml 7652793 YES 0.00/0.01 MAYBE 36.41/36.41
Hamana_17/kripke.xml 7652794 YES 0.00/0.01 YES 1.45/0.64
Hamana_17/lambda_prod.xml 7652795 MAYBE 0.00/0.01 YES 1.48/1.33
Hamana_17/lambda_sum.xml 7652796 YES 0.00/0.01 YES 0.05/0.07
Hamana_17/monad.xml 7652797 YES 0.00/0.01 YES 0.08/0.08
Hamana_17/pical.xml 7652798 YES 0.00/0.01 YES 0.06/0.06
Hamana_17/restriction.xml 7652799 MAYBE 0.00/0.00 YES 9.98/10.03
Hamana_17/slml.xml 7652800 MAYBE 0.00/0.01 MAYBE 78.54/78.58
Hamana_17/SystemT.xml 7652801 YES 0.00/0.01 YES 0.10/0.10
Hamana_17/typed_lam.xml 7652802 YES 0.00/0.00 YES 0.02/0.02
Hamana_17/typed_lamUNC.xml 7652803 YES 0.00/0.00 YES 0.02/0.02
Hamana_17/ysllc.xml 7652804 YES 0.00/0.01 YES 0.10/0.10
Hamana_Kikuchi_18/h00.xml 7652805 YES 0.01/0.01 YES 0.57/0.57
Hamana_Kikuchi_18/h01.xml 7652806 MAYBE 0.01/0.01 YES 30.96/30.96
Hamana_Kikuchi_18/h02.xml 7652807 YES 0.00/0.00 YES 0.30/0.30
Hamana_Kikuchi_18/h03.xml 7652808 MAYBE 0.01/0.01 YES 4.60/4.60
Hamana_Kikuchi_18/h04.xml 7652809 MAYBE 0.00/0.00 MAYBE 59.06/58.28
Hamana_Kikuchi_18/h05.xml 7652810 MAYBE 0.00/0.01 MAYBE 124.86/124.13
Hamana_Kikuchi_18/h06.xml 7652811 MAYBE 0.00/0.01 MAYBE 49.45/48.66
Hamana_Kikuchi_18/h07.xml 7652812 MAYBE 0.00/0.01 YES 11.96/11.21
Hamana_Kikuchi_18/h08.xml 7652813 MAYBE 0.00/0.02 MAYBE 28.90/28.05
Hamana_Kikuchi_18/h09.xml 7652814 MAYBE 0.00/0.01 YES 1.89/1.11
Hamana_Kikuchi_18/h10.xml 7652815 MAYBE 0.00/0.01 MAYBE 0.74/0.74
Hamana_Kikuchi_18/h11.xml 7652816 MAYBE 0.00/0.01 YES 0.09/0.09
Hamana_Kikuchi_18/h12.xml 7652817 YES 0.00/0.00 YES 0.10/0.61
Hamana_Kikuchi_18/h13.xml 7652818 MAYBE 0.00/0.01 YES 5.79/5.79
Hamana_Kikuchi_18/h14.xml 7652819 YES 0.00/0.01 YES 0.45/0.45
Hamana_Kikuchi_18/h15.xml 7652820 MAYBE 0.00/0.00 YES 12.38/12.38
Hamana_Kikuchi_18/h16.xml 7652821 YES 0.01/0.01 YES 2.24/2.25
Hamana_Kikuchi_18/h17.xml 7652822 YES 0.00/0.00 YES 0.27/0.27
Hamana_Kikuchi_18/h18.xml 7652823 MAYBE 0.00/0.01 MAYBE 81.39/81.40
Hamana_Kikuchi_18/h19.xml 7652824 MAYBE 0.05/0.05 timeout (wallclock) [out]
Hamana_Kikuchi_18/h20.xml 7652825 MAYBE 0.06/0.06 timeout (wallclock) [out]
Hamana_Kikuchi_18/h21.xml 7652826 MAYBE 0.14/0.14 timeout (wallclock) [out]
Hamana_Kikuchi_18/h22.xml 7652827 MAYBE 0.25/0.25 timeout (wallclock) [out]
Hamana_Kikuchi_18/h23.xml 7652828 MAYBE 0.27/0.27 timeout (wallclock) [out]
Hamana_Kikuchi_18/h24.xml 7652829 MAYBE 0.24/0.24 timeout (wallclock) [out]
Hamana_Kikuchi_18/h25.xml 7652830 MAYBE 0.26/0.26 timeout (wallclock) [out]
Hamana_Kikuchi_18/h26.xml 7652831 MAYBE 94.24/94.25 timeout (wallclock) [out]
Hamana_Kikuchi_18/h27.xml 7652832 MAYBE 96.39/96.40 timeout (wallclock) [out]
Hamana_Kikuchi_18/h28.xml 7652833 MAYBE 30.74/30.74 timeout (wallclock) [out]
Hamana_Kikuchi_18/h29.xml 7652834 MAYBE 31.06/31.06 timeout (wallclock) [out]
Hamana_Kikuchi_18/h30.xml 7652835 timeout (wallclock) [out] timeout (wallclock) [out]
Hamana_Kikuchi_18/h31.xml 7652836 timeout (wallclock) [out] timeout (wallclock) [out]
Hamana_Kikuchi_18/h32.xml 7652837 MAYBE 7.30/7.30 timeout (wallclock) [out]
Hamana_Kikuchi_18/h33.xml 7652838 MAYBE 2.37/2.37 timeout (wallclock) [out]
Hamana_Kikuchi_18/h34.xml 7652839 MAYBE 52.83/52.85 timeout (wallclock) [out]
Hamana_Kikuchi_18/h35.xml 7652840 MAYBE 18.61/18.61 timeout (wallclock) [out]
Hamana_Kikuchi_18/h36.xml 7652841 MAYBE 0.40/0.40 timeout (wallclock) [out]
Hamana_Kikuchi_18/h37.xml 7652842 MAYBE 0.43/0.43 timeout (wallclock) [out]
Hamana_Kikuchi_18/h38.xml 7652843 MAYBE 0.38/0.38 timeout (wallclock) [out]
Hamana_Kikuchi_18/h39.xml 7652844 MAYBE 0.42/0.42 timeout (wallclock) [out]
Hamana_Kikuchi_18/h40.xml 7652845 MAYBE 7.60/7.60 timeout (wallclock) [out]
Hamana_Kikuchi_18/h41.xml 7652846 MAYBE 3.43/3.43 timeout (wallclock) [out]
Hamana_Kikuchi_18/h42.xml 7652847 MAYBE 25.01/25.02 timeout (wallclock) [out]
Hamana_Kikuchi_18/h43.xml 7652848 YES 0.00/0.01 YES 0.24/0.24
Hamana_Kikuchi_18/h44.xml 7652849 YES 0.00/0.00 YES 0.25/0.25
Hamana_Kikuchi_18/h45.xml 7652850 YES 0.00/0.01 YES 0.52/0.52
Hamana_Kikuchi_18/h46.xml 7652851 YES 0.00/0.00 YES 0.18/0.18
Hamana_Kikuchi_18/h47.xml 7652852 MAYBE 0.00/0.01 YES 7.78/7.78
Hamana_Kikuchi_18/h48.xml 7652853 MAYBE 0.00/0.00 YES 4.22/4.22
Hamana_Kikuchi_18/h49.xml 7652854 MAYBE 0.01/0.01 YES 20.37/20.37
Hamana_Kikuchi_18/h50.xml 7652855 MAYBE 0.00/0.01 YES 11.65/11.65
Hamana_Kikuchi_18/h51.xml 7652856 YES 0.00/0.00 YES 0.23/0.23
Hamana_Kikuchi_18/h52.xml 7652857 YES 0.00/0.01 YES 0.64/0.87
Hamana_Kikuchi_18/h53.xml 7652858 MAYBE 0.00/0.01 YES 11.49/11.49
Hamana_Kikuchi_18/h54.xml 7652859 MAYBE 0.00/0.03 YES 9.34/9.34
Hamana_Kikuchi_18/h55.xml 7652860 YES 0.00/0.00 YES 0.10/0.10
Hamana_Kikuchi_18/h56.xml 7652861 MAYBE 0.00/0.02 YES 7.26/7.28
Hamana_Kikuchi_18/h57.xml 7652862 YES 0.00/0.01 YES 0.14/0.14
Hamana_Kikuchi_18/h58.xml 7652863 MAYBE 0.00/0.01 YES 14.74/14.74
Hamana_Kikuchi_18/h59.xml 7652864 YES 0.00/0.01 YES 0.09/0.09
Hamana_Kikuchi_18/h60.xml 7652865 MAYBE 0.00/0.01 YES 9.34/9.34
Hamana_Kikuchi_18/h61.xml 7652866 YES 0.00/0.01 YES 0.38/0.38
Hamana_Kikuchi_18/h62.xml 7652867 MAYBE 0.01/0.03 YES 10.51/10.53
Hamana_17/Blanqui_15/01GoedelT.xml 7652782 YES 0.00/0.01 YES 0.18/0.18
Hamana_17/Blanqui_15/02Ackermann.xml 7652783 YES 0.00/0.03 YES 0.18/0.18
Hamana_17/Blanqui_15/03minus.xml 7652784 YES 0.00/0.01 YES 0.01/0.01
Hamana_17/Blanqui_15/04arrow.xml 7652785 YES 0.00/0.01 YES 0.01/0.01
Hamana_17/Blanqui_15/05height.xml 7652786 YES 0.00/0.01 YES 0.01/0.02
Hamana_17/Blanqui_15/06plusmult.xml 7652787 YES 0.00/0.06 YES 0.29/1.34
Hamana_17/Blanqui_15/07ordinal.xml 7652788 YES 0.00/0.01 YES 0.02/0.02
Hamana_17/Blanqui_15/09ex.xml 7652789 MAYBE 0.00/0.01 YES 0.01/0.01
Uncurried_Applicative_11/AotoYamada_05__001.xml 7652933 MAYBE 0.00/0.02 NO 0.00/0.01
Uncurried_Applicative_11/AotoYamada_05__002.xml 7652934 YES 0.00/0.03 YES 0.21/0.21
Uncurried_Applicative_11/AotoYamada_05__003.xml 7652935 MAYBE 0.00/0.02 NO 0.00/0.01
Uncurried_Applicative_11/AotoYamada_05__004.xml 7652936 YES 0.00/0.00 YES 0.04/0.04
Uncurried_Applicative_11/AotoYamada_05__005.xml 7652937 YES 0.00/0.01 YES 0.01/0.01
Uncurried_Applicative_11/AotoYamada_05__006.xml 7652938 YES 0.00/0.01 YES 0.05/0.05
Uncurried_Applicative_11/AotoYamada_05__007.xml 7652939 YES 0.00/0.01 YES 0.08/0.08
Uncurried_Applicative_11/AotoYamada_05__009.xml 7652940 YES 0.00/0.01 YES 0.08/0.08
Uncurried_Applicative_11/AotoYamada_05__010.xml 7652941 YES 0.00/0.02 YES 0.63/0.63
Uncurried_Applicative_11/AotoYamada_05__011.xml 7652942 YES 0.00/0.01 YES 0.09/0.09
Uncurried_Applicative_11/AotoYamada_05__012.xml 7652943 YES 0.00/0.01 YES 0.09/0.09
Uncurried_Applicative_11/AotoYamada_05__013.xml 7652944 YES 0.00/0.00 YES 0.11/0.11
Uncurried_Applicative_11/AotoYamada_05__014.xml 7652945 YES 0.00/0.02 YES 0.63/0.63
Uncurried_Applicative_11/AotoYamada_05__015.xml 7652946 YES 0.00/0.01 YES 0.34/0.33
Uncurried_Applicative_11/AotoYamada_05__016.xml 7652947 YES 0.01/0.01 YES 0.73/0.73
Uncurried_Applicative_11/AotoYamada_05__017.xml 7652948 YES 0.00/0.00 YES 0.00/0.00
Uncurried_Applicative_11/AotoYamada_05__019.xml 7652949 YES 0.00/0.02 YES 0.10/0.32
Uncurried_Applicative_11/AotoYamada_05__020.xml 7652950 YES 0.00/0.00 YES 0.16/0.18
Uncurried_Applicative_11/AotoYamada_05__021.xml 7652951 YES 0.00/0.01 YES 0.70/0.70
Uncurried_Applicative_11/AotoYamada_05__022.xml 7652952 YES 0.00/0.01 YES 0.09/0.09
Uncurried_Applicative_11/AotoYamada_05__023.xml 7652953 YES 0.00/0.01 YES 0.02/0.02
Uncurried_Applicative_11/AotoYamada_05__024.xml 7652954 YES 0.00/0.01 YES 0.03/0.03
Uncurried_Applicative_11/AotoYamada_05__025.xml 7652955 YES 0.00/0.01 YES 0.00/0.00
Uncurried_Applicative_11/AotoYamada_05__026.xml 7652956 YES 0.00/0.00 YES 0.19/0.19
Uncurried_Applicative_11/AotoYamada_05__027.xml 7652957 YES 0.00/0.01 YES 0.09/0.09
Uncurried_Applicative_11/AotoYamada_05__028.xml 7652958 YES 0.00/0.01 YES 0.04/0.04
Uncurried_Applicative_11/AotoYamada_05__Ex1SimplyTyped.xml 7652959 YES 0.00/0.00 YES 0.04/0.04
Uncurried_Applicative_11/AotoYamada_05__Ex5TermProof.xml 7652960 YES 0.00/0.01 YES 0.54/1.23
Uncurried_Applicative_11/Applicative_05__BTreeMember.xml 7652961 YES 0.01/0.01 YES 0.18/0.18
Uncurried_Applicative_11/Applicative_05__Ex2PrimRec.xml 7652962 MAYBE 0.00/0.00 MAYBE 0.85/0.85
Uncurried_Applicative_11/Applicative_05__Ex2_6_1Composition.xml 7652963 YES 0.00/0.01 YES 0.03/0.03
Uncurried_Applicative_11/Applicative_05__Ex2_8_1ConstSubstFix.xml 7652964 MAYBE 0.00/0.00 MAYBE 1.54/0.88
Uncurried_Applicative_11/Applicative_05__Ex3Lists.xml 7652965 YES 0.00/0.01 YES 0.10/0.10
Uncurried_Applicative_11/Applicative_05__Ex4MapList.xml 7652966 YES 0.00/0.01 YES 0.07/0.08
Uncurried_Applicative_11/Applicative_05__Ex5Folding.xml 7652967 YES 0.00/0.01 YES 0.42/0.42
Uncurried_Applicative_11/Applicative_05__Ex5Sorting.xml 7652968 YES 0.01/0.01 YES 5.21/5.21
Uncurried_Applicative_11/Applicative_05__Ex6Folding.xml 7652969 YES 0.01/0.04 YES 0.65/0.65
Uncurried_Applicative_11/Applicative_05__Ex6Recursor.xml 7652970 YES 0.00/0.01 YES 0.11/0.11
Uncurried_Applicative_11/Applicative_05__Ex6_11.xml 7652971 MAYBE 0.00/0.02 MAYBE 44.89/44.89
Uncurried_Applicative_11/Applicative_05__Ex7OrdinalRec.xml 7652972 MAYBE 0.00/0.00 MAYBE 1.33/1.32
Uncurried_Applicative_11/Applicative_05__Ex7Sorting.xml 7652973 YES 0.01/0.01 YES 2.02/2.02
Uncurried_Applicative_11/Applicative_05__Ex7_9.xml 7652974 MAYBE 0.01/0.01 YES 2.40/1.14
Uncurried_Applicative_11/Applicative_05__Ex9Maps.xml 7652975 YES 0.00/0.00 YES 17.38/17.38
Uncurried_Applicative_11/Applicative_05__Hamming.xml 7652976 MAYBE 0.04/0.04 NO 0.01/0.01
Uncurried_Applicative_11/Applicative_05__mapDivMinus.xml 7652977 MAYBE 0.00/0.01 YES 2.12/0.96
Uncurried_Applicative_11/Applicative_05__mapDivMinusHard.xml 7652978 MAYBE 0.00/0.00 YES 2.27/1.01
Uncurried_Applicative_11/Applicative_05__ReverseLastInit.xml 7652979 YES 0.00/0.01 YES 0.42/0.44
Uncurried_Applicative_11/Applicative_05__TakeDropWhile.xml 7652980 YES 0.00/0.01 YES 0.08/0.08
Uncurried_Applicative_11/Applicative_05__termMonTypes.xml 7652981 MAYBE 0.00/0.01 MAYBE 1.63/1.01
Uncurried_Applicative_11/Applicative_05__TreeFlatten.xml 7652982 MAYBE 0.00/0.00 YES 0.14/0.16
Uncurried_Applicative_11/Applicative_05__TreeHeight.xml 7652983 MAYBE 0.01/0.01 YES 0.09/0.09
Uncurried_Applicative_11/Applicative_05__TreeLevels.xml 7652984 MAYBE 0.00/0.01 YES 0.11/0.11
Uncurried_Applicative_11/Applicative_05__TreeMap.xml 7652985 MAYBE 0.00/0.01 YES 0.52/0.52
Uncurried_Applicative_11/Applicative_05__TreeSize.xml 7652986 MAYBE 0.00/0.01 YES 0.07/0.08
Uncurried_Applicative_11/Applicative_05__TypeEx3.xml 7652987 MAYBE 0.00/0.01 MAYBE 1.19/1.20
Uncurried_Applicative_11/Applicative_05__TypeEx5.xml 7652988 MAYBE 0.00/0.00 NO 0.00/0.01
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.10.xml 7652989 MAYBE 0.01/0.01 NO 3.85/1.97
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.13.xml 7652990 MAYBE 0.01/0.01 MAYBE 15.06/6.38
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.15.xml 7652991 MAYBE 0.01/0.01 NO 4.33/2.22
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.17.xml 7652992 MAYBE 0.01/0.01 NO 5.03/2.80
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.19.xml 7652993 MAYBE 0.01/0.01 timeout (wallclock) [out]
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.2.xml 7652994 MAYBE 0.01/0.01 NO 4.33/3.06
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.22.xml 7652995 MAYBE 0.01/0.01 YES 1.96/1.05
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.24.xml 7652996 MAYBE 0.01/0.01 YES 2.62/1.27
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.26.xml 7652997 MAYBE 0.01/0.01 YES 2.86/1.65
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.28.xml 7652998 MAYBE 0.01/0.01 YES 1.73/0.90
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.3.xml 7652999 MAYBE 0.00/0.02 NO 3.69/2.76
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.34.xml 7653000 MAYBE 0.01/0.01 YES 2.57/1.31
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.36.xml 7653001 MAYBE 0.03/0.03 YES 4.33/2.09
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.5.xml 7653002 MAYBE 0.00/0.01 NO 0.00/0.01
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.7.xml 7653003 MAYBE 0.01/0.01 NO 4.24/2.28
Uncurried_Applicative_11/Applicative_AG01_innermost__#4.8.xml 7653004 MAYBE 0.01/0.01 MAYBE 38.12/13.30
Uncurried_Applicative_11/Applicative_first_order_05__#3.10.xml 7653005 MAYBE 0.05/0.05 YES 4.65/2.19
Uncurried_Applicative_11/Applicative_first_order_05__#3.13.xml 7653006 MAYBE 0.05/0.05 YES 4.07/2.02
Uncurried_Applicative_11/Applicative_first_order_05__#3.16.xml 7653007 YES 0.01/0.01 YES 0.61/0.61
Uncurried_Applicative_11/Applicative_first_order_05__#3.18.xml 7653008 MAYBE 0.01/0.01 YES 2.57/1.28
Uncurried_Applicative_11/Applicative_first_order_05__#3.2.xml 7653009 MAYBE 0.01/0.01 YES 2.39/1.23
Uncurried_Applicative_11/Applicative_first_order_05__#3.22.xml 7653010 MAYBE 0.01/0.01 YES 2.36/1.15
Uncurried_Applicative_11/Applicative_first_order_05__#3.25.xml 7653011 MAYBE 0.01/0.01 YES 1.70/0.82
Uncurried_Applicative_11/Applicative_first_order_05__#3.27.xml 7653012 YES 0.01/0.01 YES 0.18/0.18
Uncurried_Applicative_11/Applicative_first_order_05__#3.32.xml 7653013 MAYBE 0.01/0.01 YES 1.36/0.78
Uncurried_Applicative_11/Applicative_first_order_05__#3.36.xml 7653014 MAYBE 0.01/0.01 YES 3.01/1.39
Uncurried_Applicative_11/Applicative_first_order_05__#3.38.xml 7653015 MAYBE 0.01/0.01 YES 2.72/1.31
Uncurried_Applicative_11/Applicative_first_order_05__#3.40.xml 7653016 MAYBE 0.02/0.02 YES 3.39/1.75
Uncurried_Applicative_11/Applicative_first_order_05__#3.45.xml 7653017 MAYBE 0.01/0.01 YES 1.72/0.90
Uncurried_Applicative_11/Applicative_first_order_05__#3.48.xml 7653018 MAYBE 0.01/0.01 YES 2.12/1.08
Uncurried_Applicative_11/Applicative_first_order_05__#3.52.xml 7653019 MAYBE 0.01/0.02 YES 1.83/1.38
Uncurried_Applicative_11/Applicative_first_order_05__#3.55.xml 7653020 MAYBE 0.04/0.04 YES 4.20/1.99
Uncurried_Applicative_11/Applicative_first_order_05__#3.57.xml 7653021 MAYBE 0.02/0.02 YES 3.48/2.04
Uncurried_Applicative_11/Applicative_first_order_05__#3.6.xml 7653022 MAYBE 0.02/0.02 YES 3.07/1.51
Uncurried_Applicative_11/Applicative_first_order_05__#3.8.xml 7653023 MAYBE 0.01/0.01 YES 2.84/1.59
Uncurried_Applicative_11/Applicative_first_order_05__01.xml 7653024 YES 0.01/0.01 YES 0.18/0.18
Uncurried_Applicative_11/Applicative_first_order_05__02.xml 7653025 YES 0.01/0.01 YES 0.18/0.18
Uncurried_Applicative_11/Applicative_first_order_05__06.xml 7653026 YES 0.00/0.00 YES 0.21/0.48
Uncurried_Applicative_11/Applicative_first_order_05__08.xml 7653027 YES 0.01/0.01 YES 0.65/0.65
Uncurried_Applicative_11/Applicative_first_order_05__11.xml 7653028 YES 0.05/0.05 YES 2.30/2.30
Uncurried_Applicative_11/Applicative_first_order_05__12.xml 7653029 YES 0.01/0.01 YES 1.25/1.25
Uncurried_Applicative_11/Applicative_first_order_05__13.xml 7653030 MAYBE 0.01/0.01 YES 35.53/13.56
Uncurried_Applicative_11/Applicative_first_order_05__17.xml 7653031 YES 0.01/0.01 YES 0.23/0.23
Uncurried_Applicative_11/Applicative_first_order_05__18.xml 7653032 YES 0.00/0.01 YES 0.32/0.35
Uncurried_Applicative_11/Applicative_first_order_05__21.xml 7653033 MAYBE 0.01/0.01 YES 2.20/1.85
Uncurried_Applicative_11/Applicative_first_order_05__29.xml 7653034 YES 0.01/0.01 YES 0.97/0.97
Uncurried_Applicative_11/Applicative_first_order_05__30.xml 7653035 YES 0.00/0.01 YES 0.72/0.72
Uncurried_Applicative_11/Applicative_first_order_05__31.xml 7653036 MAYBE 0.00/0.01 YES 1.02/1.02
Uncurried_Applicative_11/Applicative_first_order_05__33.xml 7653037 MAYBE 0.01/0.01 timeout (wallclock) [out]
Uncurried_Applicative_11/Applicative_first_order_05__hydra.xml 7653038 MAYBE 0.01/0.02 YES 1.99/1.06
Uncurried_Applicative_11/Applicative_first_order_05__minsort.xml 7653039 MAYBE 0.02/0.02 timeout (wallclock) [out]
Uncurried_Applicative_11/Applicative_first_order_05__motivation.xml 7653040 MAYBE 0.01/0.01 YES 2.15/2.00
Uncurried_Applicative_11/Applicative_first_order_05__perfect.xml 7653041 MAYBE 0.02/0.02 YES 2.21/1.18
Uncurried_Applicative_11/Applicative_first_order_05__perfect2.xml 7653042 MAYBE 0.02/0.02 YES 3.13/1.51
104 204