Termination Competition 2019: TRS Outermost33568

Job info CSV
benchmark AProVE standard
Strategy_outermost_added_08/OvConsOS_complete_L.xml 5157784 NO 2.67/1.37
Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml 5157785 timeout (wallclock) [out]
Strategy_outermost_added_08/nonTermF.xml 5157786 NO 3.58/1.50
Strategy_outermost_added_08/Ex8_BLR02.xml 5157787 NO 2.82/1.30
Strategy_outermost_added_08/Ex4_4_Luc96b.xml 5157788 NO 2.75/1.31
Strategy_outermost_added_08/#4.4.xml 5157789 NO 2.75/1.33
Strategy_outermost_added_08/Ex4_7_77_Bor03.xml 5157790 NO 2.57/1.29
Strategy_outermost_added_08/Ex24_Luc06_GM.xml 5157791 YES 7.53/2.54
Strategy_outermost_added_08/jwno4.xml 5157792 NO 2.72/1.31
Strategy_outermost_added_08/#4.18.xml 5157793 NO 2.85/1.31
Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml 5157794 timeout (wallclock) [out]
Strategy_outermost_added_08/#4.13.xml 5157795 YES 49.60/20.54
Strategy_outermost_added_08/Ex24_GM04_GM.xml 5157796 timeout (wallclock) [out]
Strategy_outermost_added_08/nonterm.xml 5157797 MAYBE 168.0/114.72
Strategy_outermost_added_08/Ex1_GM99_iGM.xml 5157798 timeout (wallclock) [out]
Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml 5157799 NO 2.48/1.24
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml 5157800 YES 77.19/22.90
Strategy_outermost_added_08/OvConsOS_nosorts-noand_L.xml 5157801 NO 2.54/1.38
Strategy_outermost_added_08/PALINDROME_complete-noand_L.xml 5157802 NO 3.27/1.54
Strategy_outermost_added_08/Ex9_Luc04_L.xml 5157803 NO 2.64/1.30
Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml 5157804 NO 2.84/1.29
Strategy_outermost_added_08/PEANO_complete_L.xml 5157805 NO 2.56/1.29
Strategy_outermost_added_08/Ex3_2_Luc97_L.xml 5157806 NO 2.52/1.27
Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml 5157807 NO 2.78/1.24
Strategy_outermost_added_08/OvConsOS_nosorts_L.xml 5157808 NO 2.52/1.24
Strategy_outermost_added_08/Ex5_7_Luc97_L.xml 5157809 NO 2.58/1.32
Strategy_outermost_added_08/round_nonterm.xml 5157810 NO 2.66/1.24
Strategy_outermost_added_08/OvConsOS_nokinds-noand_FR.xml 5157811 timeout (wallclock) [out]
Strategy_outermost_added_08/Ex6_GM04.xml 5157812 MAYBE 137.95/113.66
Strategy_outermost_added_08/Ex6_9_Luc02c.xml 5157813 NO 2.59/1.24
Strategy_outermost_added_08/ExIntrod_GM01_L.xml 5157814 NO 2.49/1.24
Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml 5157815 NO 2.90/1.75
Strategy_outermost_added_08/Ex1_GM03_Z.xml 5157816 NO 2.89/1.41
Strategy_outermost_added_08/test9.xml 5157817 NO 3.26/1.40
Strategy_outermost_added_08/ExConc_Zan97_Z.xml 5157818 NO 2.60/1.29
Strategy_outermost_added_08/Ex24_Luc06_iGM.xml 5157819 timeout (wallclock) [out]
Strategy_outermost_added_08/gkg.xml 5157820 NO 2.91/1.31
Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml 5157821 NO 3.08/1.45
Strategy_outermost_added_08/Ex6_15_AEL02_L.xml 5157822 NO 2.60/1.27
Strategy_outermost_added_08/003.xml 5157823 NO 3.07/1.36
Strategy_outermost_added_08/Ex14_Luc06_L.xml 5157824 NO 2.76/1.48
Strategy_outermost_added_08/Ex1_GL02a_L.xml 5157825 NO 2.90/1.31
Strategy_outermost_added_08/TypeEx5.xml 5157826 NO 2.58/1.31
Strategy_outermost_added_08/ExIntrod_Zan97_L.xml 5157827 NO 2.58/1.24
Strategy_outermost_added_08/OvConsOS_nokinds_L.xml 5157828 NO 2.72/1.27
Strategy_outermost_added_08/Ex1_Zan97.xml 5157829 NO 2.72/1.28
Strategy_outermost_added_08/Ex4_7_56_Bor03.xml 5157830 NO 2.69/1.26
Strategy_outermost_added_08/ExIntrod_GM99_L.xml 5157831 NO 2.53/1.31
Strategy_outermost_added_08/Ex1_GM03.xml 5157832 NO 2.54/1.39
Strategy_outermost_added_08/Ex15_Luc06_L.xml 5157833 NO 2.55/1.24
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml 5157834 NO 2.55/1.32
Strategy_outermost_added_08/test10.xml 5157835 NO 2.81/1.30
Strategy_outermost_added_08/PEANO_complete-noand_L.xml 5157836 NO 2.74/1.25
Strategy_outermost_added_08/ExIntrod_GM04_Z.xml 5157837 timeout (wallclock) [out]
Strategy_outermost_added_08/n006.xml 5157838 NO 2.57/1.21
Strategy_outermost_added_08/Ex5_Zan97_L.xml 5157839 NO 2.52/1.29
Strategy_outermost_added_08/test77.xml 5157840 timeout (wallclock) [out]
Strategy_outermost_added_08/ExSec11_1_Luc02a.xml 5157841 NO 2.84/1.34
Strategy_outermost_added_08/Ex1_Luc04b_L.xml 5157842 NO 2.44/1.23
Strategy_outermost_added_08/#4.17.xml 5157843 NO 2.97/1.35
Strategy_outermost_added_08/Ex14_AEGL02_L.xml 5157844 NO 2.59/1.30
Strategy_outermost_added_08/ExIntrod_GM01_Z.xml 5157845 timeout (wallclock) [out]
Strategy_outermost_added_08/Ex9_Luc04_Z.xml 5157846 NO 3.00/1.34
Strategy_outermost_added_08/Ex1_GL02a_Z.xml 5157847 YES 122.94/32.00
Strategy_outermost_added_08/Ex7_BLR02.xml 5157848 NO 2.79/1.35
Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml 5157849 NO 19.71/5.75
Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml 5157850 NO 2.53/1.26
Strategy_outermost_added_08/Ex1_GM99_GM.xml 5157851 timeout (wallclock) [out]
Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml 5157852 NO 2.55/1.25
Strategy_outermost_added_08/Ex6_15_AEL02.xml 5157853 NO 5.24/1.33
Strategy_outermost_added_08/Ex9_Luc06_Z.xml 5157854 NO 2.84/1.30
Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml 5157855 NO 2.57/1.35
Strategy_outermost_added_08/4.06.xml 5157856 NO 2.83/1.32
Strategy_outermost_added_08/4.54.xml 5157857 NO 2.97/1.28
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml 5157858 timeout (cpu) [out]
Strategy_outermost_added_08/Ex1_Luc02b_L.xml 5157859 NO 2.53/1.23
Strategy_outermost_added_08/ExIntrod_GM99.xml 5157860 NO 2.72/1.27
Strategy_outermost_added_08/ExAppendixB_AEL03.xml 5157861 NO 3.04/2.23
Strategy_outermost_added_08/Ex3_2_Luc97.xml 5157862 NO 2.63/1.25
Strategy_outermost_added_08/4.34.xml 5157863 NO 2.90/1.27
Strategy_outermost_added_08/MYNAT_complete-noand_L.xml 5157864 NO 2.74/1.29
Strategy_outermost_added_08/Ex1_GM99.xml 5157865 NO 2.68/1.29
Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml 5157866 timeout (wallclock) [out]
Strategy_outermost_added_08/n001.xml 5157867 NO 2.71/1.87
Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml 5157868 NO 2.60/1.26
Strategy_outermost_added_08/n005.xml 5157869 NO 2.56/1.24
Strategy_outermost_added_08/PEANO_nosorts_L.xml 5157870 NO 2.55/1.65
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml 5157871 NO 2.82/1.32
Strategy_outermost_added_08/001.xml 5157872 NO 2.81/1.31
Strategy_outermost_added_08/test75.xml 5157873 NO 3.23/1.43
Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml 5157874 NO 2.63/1.70
Strategy_outermost_added_08/n007.xml 5157875 NO 2.66/1.34
Strategy_outermost_added_08/Ex1_Luc04b_Z.xml 5157876 NO 2.71/1.26
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml 5157877 NO 2.66/1.89
Strategy_outermost_added_08/PALINDROME_nosorts_L.xml 5157878 NO 2.67/1.30
Strategy_outermost_added_08/jwno6.xml 5157879 NO 2.78/1.28
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml 5157880 NO 4.27/1.68
Strategy_outermost_added_08/PEANO_nokinds_L.xml 5157881 NO 2.55/1.24
Strategy_outermost_added_08/Ex15_Luc98.xml 5157882 NO 2.84/2.03
Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_FR.xml 5157883 timeout (wallclock) [out]
Strategy_outermost_added_08/OvConsOS_nosorts_noand_GM.xml 5157884 timeout (wallclock) [out]
Strategy_outermost_added_08/jwno9.xml 5157885 MAYBE 217.40/108.87
Strategy_outermost_added_08/Ex16_Luc06_L.xml 5157886 NO 2.65/1.29
Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml 5157887 NO 2.68/1.30
Strategy_outermost_added_08/ExAppendixB_AEL03_L.xml 5157888 NO 2.59/1.25
Strategy_outermost_added_08/n002.xml 5157889 NO 2.80/2.28
Strategy_outermost_added_08/Ex8_BLR02_L.xml 5157890 NO 2.56/1.31
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_iGM.xml 5157891 timeout (wallclock) [out]
Strategy_outermost_added_08/Ex14_Luc06_Z.xml 5157892 NO 3.97/2.14
Strategy_outermost_added_08/Ex1_GM99_Z.xml 5157893 NO 3.28/1.44
Strategy_outermost_added_08/Ex4_Zan97.xml 5157894 NO 2.72/1.29
Strategy_outermost_added_08/Ex3_3_25_Bor03.xml 5157895 NO 2.97/1.33
Strategy_outermost_added_08/#4.16.xml 5157896 NO 2.96/1.27
Strategy_outermost_added_08/#4.15.xml 5157897 NO 3.31/1.45
Strategy_outermost_added_08/Ex5_7_Luc97.xml 5157898 NO 2.99/1.40
Strategy_outermost_added_08/Ex24_GM04_L.xml 5157899 NO 2.67/1.24
Strategy_outermost_added_08/4.49.xml 5157900 NO 3.02/1.37
Strategy_outermost_added_08/Ex14_AEGL02.xml 5157901 NO 2.80/1.25
Strategy_outermost_added_08/TypeEx3.xml 5157902 MAYBE 392.78/193.72
Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml 5157903 NO 21.19/7.77
Strategy_outermost_added_08/ExIntrod_GM01_FR.xml 5157904 timeout (wallclock) [out]
Strategy_outermost_added_08/#4.14.xml 5157905 NO 2.65/2.43
Strategy_outermost_added_08/Ex15_Luc98_L.xml 5157906 NO 2.78/1.27
Strategy_outermost_added_08/Ex6_Luc98.xml 5157907 NO 2.68/1.27
Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml 5157908 NO 3.10/1.43
Strategy_outermost_added_08/PALINDROME_complete_L.xml 5157909 NO 2.63/1.25
Strategy_outermost_added_08/Ex4_DLMMU04_L.xml 5157910 NO 2.60/1.26
Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_Z.xml 5157911 timeout (wallclock) [out]
Strategy_outermost_added_08/ExConc_Zan97.xml 5157912 NO 2.60/1.24
Strategy_outermost_added_08/ExIntrod_GM01.xml 5157913 NO 2.66/1.25
Strategy_outermost_added_08/ttt1.xml 5157914 NO 2.99/1.38
Strategy_outermost_added_08/ExIntrod_GM04.xml 5157915 NO 2.88/1.42
Strategy_outermost_added_08/PALINDROME_nokinds_L.xml 5157916 NO 2.47/1.24
Strategy_outermost_added_08/Ex14_AEGL02_Z.xml 5157917 NO 3.76/1.54
Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml 5157918 NO 3.01/1.35
Strategy_outermost_added_08/Ex3_12_Luc96a.xml 5157919 NO 2.51/1.28
Strategy_outermost_added_08/Ex4_Zan97_L.xml 5157920 NO 2.55/1.33
Strategy_outermost_added_08/Ex7_BLR02_L.xml 5157921 NO 2.62/1.26
Strategy_outermost_added_08/Ex1_GM99_L.xml 5157922 NO 2.59/1.38
Strategy_outermost_added_08/2.05.xml 5157923 NO 3.38/1.44
Strategy_outermost_added_08/Ex9_Luc06_L.xml 5157924 NO 2.54/1.49
Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml 5157925 NO 2.51/1.38
Strategy_outermost_added_08/Ex14_Luc06_GM.xml 5157926 timeout (wallclock) [out]
Strategy_outermost_added_08/muladd.xml 5157927 NO 2.85/1.37
Strategy_outermost_added_08/Ex6_GM04_Z.xml 5157928 MAYBE 192.72/136.14
Strategy_outermost_added_08/Ex9_Luc04_GM.xml 5157929 timeout (wallclock) [out]
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_FR.xml 5157930 timeout (wallclock) [out]
Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml 5157931 NO 2.70/1.30
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml 5157932 YES 216.85/59.43
Strategy_outermost_added_08/Hamming.xml 5157933 timeout (wallclock) [out]
Strategy_outermost_added_08/Ex1_Zan97_L.xml 5157934 NO 2.53/1.56
Strategy_outermost_added_08/Ex2_Luc03b.xml 5157935 NO 2.45/1.33
Strategy_outermost_added_08/Ex1_GL02a.xml 5157936 NO 2.69/1.27
Strategy_outermost_added_08/Ex26_Luc03b.xml 5157937 NO 2.66/1.35
Strategy_outermost_added_08/Ex24_Luc06_Z.xml 5157938 NO 2.96/1.36
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml 5157939 NO 2.66/1.25
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml 5157940 timeout (wallclock) [out]
Strategy_outermost_added_08/MYNAT_complete_L.xml 5157941 NO 2.42/1.29
Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml 5157942 NO 2.74/1.45
Strategy_outermost_added_08/thiemann28.xml 5157943 timeout (wallclock) [out]
Strategy_outermost_added_08/Ex9_BLR02.xml 5157944 NO 2.89/1.33
Strategy_outermost_added_08/n003.xml 5157945 NO 5.14/1.27
Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml 5157946 NO 2.84/1.35
Strategy_outermost_added_08/Ex1_Zan97_Z.xml 5157947 NO 2.90/1.30
Strategy_outermost_added_08/Ex24_GM04.xml 5157948 MAYBE 92.54/65.08
Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml 5157949 NO 2.54/1.28
Strategy_outermost_added_08/Ex1_Luc04b_FR.xml 5157950 YES 260.81/73.16
Strategy_outermost_added_08/append-wrong.xml 5157951 timeout (wallclock) [out]
Strategy_outermost_added_08/#4.3.xml 5157952 NO 2.98/1.28
Strategy_outermost_added_08/ttt2.xml 5157953 NO 3.03/1.34
Strategy_outermost_added_08/Ex1_GM03_L.xml 5157954 NO 2.63/1.29
Strategy_outermost_added_08/Ex5_DLMMU04_L.xml 5157955 NO 2.49/1.25
Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml 5157956 NO 12.90/3.87
Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml 5157957 NO 2.70/1.32
Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml 5157958 timeout (wallclock) [out]
Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml 5157959 timeout (wallclock) [out]
Strategy_outermost_added_08/LISTUTILITIES_complete-noand_L.xml 5157960 NO 2.82/1.44
Strategy_outermost_added_08/Ex5_Zan97.xml 5157961 YES 249.69/74.40
Strategy_outermost_added_08/n004.xml 5157962 NO 2.69/1.22
Strategy_outermost_added_08/ExIntrod_GM99_Z.xml 5157963 timeout (wallclock) [out]
Strategy_outermost_added_08/Ex4_7_15_Bor03.xml 5157964 NO 2.88/1.29
Strategy_outermost_added_08/MYNAT_nokinds-noand_L.xml 5157965 NO 2.75/1.31
Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml 5157966 NO 2.81/1.33
Strategy_outermost_added_08/4.40.xml 5157967 NO 7.29/2.51
Strategy_outermost_added_08/test76.xml 5157968 NO 10.09/3.17
Strategy_outermost_added_08/termMonTypes.xml 5157969 NO 3.11/1.34
Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml 5157970 NO 2.79/1.37
Strategy_outermost_added_08/Ex14_AEGL02_FR.xml 5157971 timeout (wallclock) [out]
Strategy_outermost_added_08/n008.xml 5157972 NO 2.70/1.34
Strategy_outermost_added_08/MYNAT_nosorts_L.xml 5157973 NO 2.32/1.24
Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml 5157974 NO 2.72/1.24
Strategy_outermost_added_08/Ex49_GM04_L.xml 5157975 NO 2.54/1.27
Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml 5157976 NO 14.47/4.37
Strategy_outermost_added_08/Ex1_Luc02b.xml 5157977 NO 2.70/1.26
Strategy_outermost_added_08/LengthOfFiniteLists_complete_L.xml 5157978 NO 2.62/1.29
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_L.xml 5157979 NO 2.66/1.88
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml 5157980 timeout (wallclock) [out]
Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml 5157981 NO 2.70/1.45
Strategy_outermost_added_08/OvConsOS_nosorts-noand_FR.xml 5157982 NO 25.51/7.93
Strategy_outermost_added_08/ExIntrod_GM04_L.xml 5157983 NO 2.49/1.28
Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml 5157984 timeout (wallclock) [out]
Strategy_outermost_added_08/jwno1.xml 5157985 NO 2.75/1.29
Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml 5157986 NO 2.56/1.26
Strategy_outermost_added_08/#4.2.xml 5157987 NO 2.75/1.22
Strategy_outermost_added_08/ExIntrod_GM04_FR.xml 5157988 timeout (wallclock) [out]
Strategy_outermost_added_08/Ex1_2_Luc02c.xml 5157989 NO 2.60/1.24
Strategy_outermost_added_08/#4.12a.xml 5157990 NO 2.95/1.35
Strategy_outermost_added_08/Ex4_7_37_Bor03.xml 5157991 NO 3.35/1.38
Strategy_outermost_added_08/Ex1_2_AEL03_L.xml 5157992 NO 2.39/1.27
Strategy_outermost_added_08/ExIntrod_Zan97.xml 5157993 NO 3.04/1.76
Strategy_outermost_added_08/#4.7.xml 5157994 NO 2.85/1.37
Strategy_outermost_added_08/MYNAT_nokinds_L.xml 5157995 NO 2.53/1.34
Strategy_outermost_added_08/Ex1_2_AEL03.xml 5157996 NO 2.75/1.31
Strategy_outermost_added_08/cime4.xml 5157997 NO 2.95/1.32
Mixed_outermost/even.xml 5157769 NO 2.71/1.27
Mixed_outermost/ex3.xml 5157770 MAYBE 249.61/132.48
Mixed_outermost/patterns1.xml 5157771 MAYBE 395.32/246.39
Mixed_outermost/gfb.xml 5157772 MAYBE 277.82/149.47
Mixed_outermost/ex5.xml 5157773 YES 3.52/1.57
Mixed_outermost/ex6.xml 5157774 YES 47.84/14.65
Mixed_outermost/ex1.xml 5157775 YES 5.02/1.83
Mixed_outermost/afbg.xml 5157776 MAYBE 544.72/242.81
Mixed_outermost/non-lin1.xml 5157777 YES 3.76/1.49
Mixed_outermost/odd.xml 5157778 YES 276.22/152.22
Mixed_outermost/patterns2.xml 5157779 MAYBE 312.56/172.03
Mixed_outermost/ex2.xml 5157780 MAYBE 193.20/73.56
Mixed_outermost/ex4.xml 5157781 YES 5.14/2.00
Mixed_outermost/non-lin2.xml 5157782 MAYBE 111.34/91.63
Mixed_outermost/non-lin3.xml 5157783 MAYBE 113.09/84.20
Zantema_08/assoc_f_rhs.xml 5157998 YES 9.08/3.13
Zantema_08/g_2_f_var.xml 5157999 YES 3.89/1.61
Zantema_08/ex7.xml 5158000 MAYBE 305.38/136.77
Zantema_08/fg.xml 5158001 YES 3.96/1.67
Zantema_08/cariboo_nl_3.xml 5158002 MAYBE 135.93/87.57
Zantema_08/ex8.xml 5158003 YES 6.19/2.42
Zantema_08/toyama_out.xml 5158004 NO 2.74/1.30
Zantema_08/from_one.xml 5158005 timeout (wallclock) [out]
Zantema_08/ex3.xml 5158006 MAYBE 281.39/142.81
Zantema_08/cariboo_len3.xml 5158007 MAYBE 187.35/65.04
Zantema_08/f_2_1.xml 5158008 YES 8.47/2.92
Zantema_08/f_5_1.xml 5158009 MAYBE 170.77/89.30
Zantema_08/yoyo_3.xml 5158010 MAYBE 361.76/136.70
Zantema_08/cariboo_nl_6.xml 5158011 YES 54.28/20.72
Zantema_08/cariboo_add1.xml 5158012 MAYBE 87.71/63.47
Zantema_08/f_2_2.xml 5158013 YES 9.67/3.60
Zantema_08/cariboo_nl_5.xml 5158014 YES 3.65/1.63
Zantema_08/from_three.xml 5158015 timeout (wallclock) [out]
Zantema_08/countter.xml 5158016 MAYBE 329.77/150.7
Zantema_08/morse.xml 5158017 timeout (wallclock) [out]
Zantema_08/ex5.xml 5158018 YES 5.60/2.20
Zantema_08/dupl_rhs.xml 5158019 MAYBE 197.69/71.57
Zantema_08/countbin.xml 5158020 MAYBE 276.15/137.43
Zantema_08/ex0.xml 5158021 MAYBE 178.87/77.13
Zantema_08/ex6.xml 5158022 MAYBE 172.58/86.19
Zantema_08/ex1.xml 5158023 MAYBE 268.68/108.64
Zantema_08/bintree.xml 5158024 YES 6.18/2.18
Zantema_08/cariboo_nl_4.xml 5158025 MAYBE 182.7/116.84
Zantema_08/ffb_SL.xml 5158026 NO 6.40/2.38
Zantema_08/assoc_c_rhs.xml 5158027 YES 7.52/2.67
Zantema_08/cariboo_add3.xml 5158028 timeout (wallclock) [out]
Zantema_08/outermost_gr.xml 5158029 NO 2.62/1.24
Zantema_08/ffg.xml 5158030 YES 4.70/1.83
Zantema_08/yoyo_2.xml 5158031 MAYBE 354.68/147.72
Zantema_08/cariboo_add2a.xml 5158032 YES 4.83/1.83
Zantema_08/cariboo_nl_1.xml 5158033 MAYBE 93.60/74.33
Zantema_08/f_5.xml 5158034 YES 4.19/1.68
Zantema_08/toyama_stop2.xml 5158035 timeout (wallclock) [out]
Zantema_08/toyama_stop.xml 5158036 YES 136.83/52.95
Zantema_08/ex9.xml 5158037 YES 6.14/2.30
Zantema_08/yoyo_3b.xml 5158038 timeout (wallclock) [out]
Zantema_08/inn_out.xml 5158039 NO 2.90/1.36
Zantema_08/ex2.xml 5158040 MAYBE 85.67/82.41
Zantema_08/from_one_a.xml 5158041 timeout (wallclock) [out]
Zantema_08/g_2_const.xml 5158042 YES 3.86/1.55
Zantema_08/yoyo_3a.xml 5158043 MAYBE 471.55/221.26
Zantema_08/f_5_2.xml 5158044 MAYBE 179.98/97.29
Zantema_08/cariboo_add2.xml 5158045 YES 4.26/1.74
Zantema_08/ex4.xml 5158046 MAYBE 159.29/85.12
Zantema_08/cariboo_nl_2.xml 5158047 MAYBE 166.81/111.11
206