Termination Competition 2018: TRS Outermost30096

Job info CSV
benchmark AProVE standard
TRS_Outermost/Mixed_outermost/even.xml 5157769 NO 2.71/1.23
TRS_Outermost/Mixed_outermost/ex3.xml 5157770 MAYBE 246.25/133.73
TRS_Outermost/Mixed_outermost/patterns1.xml 5157771 MAYBE 365.14/237.65
TRS_Outermost/Mixed_outermost/gfb.xml 5157772 MAYBE 273.95/149.12
TRS_Outermost/Mixed_outermost/ex5.xml 5157773 YES 3.25/1.46
TRS_Outermost/Mixed_outermost/ex6.xml 5157774 YES 45.96/14.02
TRS_Outermost/Mixed_outermost/ex1.xml 5157775 YES 4.12/1.59
TRS_Outermost/Mixed_outermost/afbg.xml 5157776 MAYBE 493.32/237.13
TRS_Outermost/Mixed_outermost/non-lin1.xml 5157777 YES 3.67/1.58
TRS_Outermost/Mixed_outermost/odd.xml 5157778 YES 266.57/148.95
TRS_Outermost/Mixed_outermost/patterns2.xml 5157779 MAYBE 302.21/168.47
TRS_Outermost/Mixed_outermost/ex2.xml 5157780 MAYBE 186.24/77.03
TRS_Outermost/Mixed_outermost/ex4.xml 5157781 YES 6.38/2.27
TRS_Outermost/Mixed_outermost/non-lin2.xml 5157782 MAYBE 105.02/89.13
TRS_Outermost/Mixed_outermost/non-lin3.xml 5157783 MAYBE 106.29/82.42
TRS_Outermost/Zantema_08/assoc_f_rhs.xml 5157998 YES 9.77/3.08
TRS_Outermost/Zantema_08/g_2_f_var.xml 5157999 YES 4.04/1.61
TRS_Outermost/Zantema_08/ex7.xml 5158000 MAYBE 253.68/136.51
TRS_Outermost/Zantema_08/fg.xml 5158001 YES 4.11/2.41
TRS_Outermost/Zantema_08/cariboo_nl_3.xml 5158002 MAYBE 127.64/93.81
TRS_Outermost/Zantema_08/ex8.xml 5158003 YES 3.87/1.46
TRS_Outermost/Zantema_08/toyama_out.xml 5158004 NO 2.74/1.23
TRS_Outermost/Zantema_08/from_one.xml 5158005 run script error [out]
TRS_Outermost/Zantema_08/ex3.xml 5158006 MAYBE 299.08/146.37
TRS_Outermost/Zantema_08/cariboo_len3.xml 5158007 run script error [out]
TRS_Outermost/Zantema_08/f_2_1.xml 5158008 YES 8.54/2.74
TRS_Outermost/Zantema_08/f_5_1.xml 5158009 MAYBE 179.02/82.16
TRS_Outermost/Zantema_08/yoyo_3.xml 5158010 MAYBE 350.43/136.49
TRS_Outermost/Zantema_08/cariboo_nl_6.xml 5158011 YES 52.92/18.89
TRS_Outermost/Zantema_08/cariboo_add1.xml 5158012 MAYBE 88.68/62.79
TRS_Outermost/Zantema_08/f_2_2.xml 5158013 YES 9.55/3.11
TRS_Outermost/Zantema_08/cariboo_nl_5.xml 5158014 YES 3.82/1.51
TRS_Outermost/Zantema_08/from_three.xml 5158015 run script error [out]
TRS_Outermost/Zantema_08/countter.xml 5158016 MAYBE 340.31/145.49
TRS_Outermost/Zantema_08/morse.xml 5158017 run script error [out]
TRS_Outermost/Zantema_08/ex5.xml 5158018 YES 5.91/2.06
TRS_Outermost/Zantema_08/dupl_rhs.xml 5158019 run script error [out]
TRS_Outermost/Zantema_08/countbin.xml 5158020 MAYBE 278.61/136.96
TRS_Outermost/Zantema_08/ex0.xml 5158021 MAYBE 181.08/80.82
TRS_Outermost/Zantema_08/ex6.xml 5158022 MAYBE 180.97/96.79
TRS_Outermost/Zantema_08/ex1.xml 5158023 MAYBE 270.06/111.17
TRS_Outermost/Zantema_08/bintree.xml 5158024 YES 7.11/2.35
TRS_Outermost/Zantema_08/cariboo_nl_4.xml 5158025 MAYBE 180.99/112.97
TRS_Outermost/Zantema_08/ffb_SL.xml 5158026 NO 6.48/2.29
TRS_Outermost/Zantema_08/assoc_c_rhs.xml 5158027 YES 7.47/2.48
TRS_Outermost/Zantema_08/cariboo_add3.xml 5158028 run script error [out]
TRS_Outermost/Zantema_08/outermost_gr.xml 5158029 NO 2.70/1.27
TRS_Outermost/Zantema_08/ffg.xml 5158030 YES 4.90/1.73
TRS_Outermost/Zantema_08/yoyo_2.xml 5158031 MAYBE 351.34/154.31
TRS_Outermost/Zantema_08/cariboo_add2a.xml 5158032 YES 4.49/1.66
TRS_Outermost/Zantema_08/cariboo_nl_1.xml 5158033 MAYBE 95.87/67.81
TRS_Outermost/Zantema_08/f_5.xml 5158034 YES 4.35/1.65
TRS_Outermost/Zantema_08/toyama_stop2.xml 5158035 run script error [out]
TRS_Outermost/Zantema_08/toyama_stop.xml 5158036 YES 141.19/50.46
TRS_Outermost/Zantema_08/ex9.xml 5158037 YES 6.30/2.15
TRS_Outermost/Zantema_08/yoyo_3b.xml 5158038 run script error [out]
TRS_Outermost/Zantema_08/inn_out.xml 5158039 NO 2.70/1.19
TRS_Outermost/Zantema_08/ex2.xml 5158040 MAYBE 79.88/68.27
TRS_Outermost/Zantema_08/from_one_a.xml 5158041 run script error [out]
TRS_Outermost/Zantema_08/g_2_const.xml 5158042 YES 3.63/1.49
TRS_Outermost/Zantema_08/yoyo_3a.xml 5158043 MAYBE 411.50/228.25
TRS_Outermost/Zantema_08/f_5_2.xml 5158044 MAYBE 173.85/84.83
TRS_Outermost/Zantema_08/cariboo_add2.xml 5158045 YES 4.02/1.64
TRS_Outermost/Zantema_08/ex4.xml 5158046 MAYBE 156.88/87.61
TRS_Outermost/Zantema_08/cariboo_nl_2.xml 5158047 MAYBE 170.32/110.15
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_complete_L.xml 5157784 NO 2.94/1.28
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml 5157785 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/nonTermF.xml 5157786 NO 4.17/2.16
TRS_Outermost/Strategy_outermost_added_08/Ex8_BLR02.xml 5157787 NO 2.61/1.24
TRS_Outermost/Strategy_outermost_added_08/Ex4_4_Luc96b.xml 5157788 NO 2.57/1.22
TRS_Outermost/Strategy_outermost_added_08/#4.4.xml 5157789 NO 2.63/1.19
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml 5157790 NO 2.85/1.19
TRS_Outermost/Strategy_outermost_added_08/Ex24_Luc06_GM.xml 5157791 YES 7.80/2.53
TRS_Outermost/Strategy_outermost_added_08/jwno4.xml 5157792 NO 2.61/1.18
TRS_Outermost/Strategy_outermost_added_08/#4.18.xml 5157793 NO 2.60/1.16
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml 5157794 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/#4.13.xml 5157795 YES 43.77/17.04
TRS_Outermost/Strategy_outermost_added_08/Ex24_GM04_GM.xml 5157796 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/nonterm.xml 5157797 MAYBE 161.37/116.77
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM99_iGM.xml 5157798 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml 5157799 NO 2.48/1.22
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml 5157800 YES 73.31/20.57
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts-noand_L.xml 5157801 NO 2.55/1.19
TRS_Outermost/Strategy_outermost_added_08/PALINDROME_complete-noand_L.xml 5157802 NO 3.32/1.38
TRS_Outermost/Strategy_outermost_added_08/Ex9_Luc04_L.xml 5157803 NO 2.52/1.18
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml 5157804 NO 2.76/1.29
TRS_Outermost/Strategy_outermost_added_08/PEANO_complete_L.xml 5157805 NO 2.50/1.24
TRS_Outermost/Strategy_outermost_added_08/Ex3_2_Luc97_L.xml 5157806 NO 2.50/1.17
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml 5157807 NO 2.52/1.22
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts_L.xml 5157808 NO 2.60/1.16
TRS_Outermost/Strategy_outermost_added_08/Ex5_7_Luc97_L.xml 5157809 NO 2.61/1.25
TRS_Outermost/Strategy_outermost_added_08/round_nonterm.xml 5157810 NO 2.91/1.21
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nokinds-noand_FR.xml 5157811 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/Ex6_GM04.xml 5157812 MAYBE 138.73/128.19
TRS_Outermost/Strategy_outermost_added_08/Ex6_9_Luc02c.xml 5157813 NO 2.79/1.26
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM01_L.xml 5157814 NO 2.36/1.23
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml 5157815 NO 2.83/1.25
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM03_Z.xml 5157816 NO 2.86/1.31
TRS_Outermost/Strategy_outermost_added_08/test9.xml 5157817 NO 3.24/1.35
TRS_Outermost/Strategy_outermost_added_08/ExConc_Zan97_Z.xml 5157818 NO 2.75/1.27
TRS_Outermost/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml 5157819 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/gkg.xml 5157820 NO 2.58/1.17
TRS_Outermost/Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml 5157821 NO 3.07/1.26
TRS_Outermost/Strategy_outermost_added_08/Ex6_15_AEL02_L.xml 5157822 NO 2.67/1.20
TRS_Outermost/Strategy_outermost_added_08/003.xml 5157823 NO 2.97/1.27
TRS_Outermost/Strategy_outermost_added_08/Ex14_Luc06_L.xml 5157824 NO 2.62/1.19
TRS_Outermost/Strategy_outermost_added_08/Ex1_GL02a_L.xml 5157825 NO 2.86/1.18
TRS_Outermost/Strategy_outermost_added_08/TypeEx5.xml 5157826 NO 2.96/1.25
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml 5157827 NO 2.45/1.16
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nokinds_L.xml 5157828 NO 2.58/1.24
TRS_Outermost/Strategy_outermost_added_08/Ex1_Zan97.xml 5157829 NO 2.64/1.20
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml 5157830 NO 2.81/1.28
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM99_L.xml 5157831 NO 2.66/1.17
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM03.xml 5157832 NO 2.86/3.90
TRS_Outermost/Strategy_outermost_added_08/Ex15_Luc06_L.xml 5157833 NO 2.63/1.19
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml 5157834 NO 2.51/1.16
TRS_Outermost/Strategy_outermost_added_08/test10.xml 5157835 NO 2.75/1.27
TRS_Outermost/Strategy_outermost_added_08/PEANO_complete-noand_L.xml 5157836 NO 2.71/1.20
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM04_Z.xml 5157837 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/n006.xml 5157838 NO 2.59/1.18
TRS_Outermost/Strategy_outermost_added_08/Ex5_Zan97_L.xml 5157839 NO 2.76/1.24
TRS_Outermost/Strategy_outermost_added_08/test77.xml 5157840 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/ExSec11_1_Luc02a.xml 5157841 NO 2.86/1.26
TRS_Outermost/Strategy_outermost_added_08/Ex1_Luc04b_L.xml 5157842 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/#4.17.xml 5157843 NO 3.08/1.35
TRS_Outermost/Strategy_outermost_added_08/Ex14_AEGL02_L.xml 5157844 NO 2.56/1.19
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM01_Z.xml 5157845 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex9_Luc04_Z.xml 5157846 NO 2.80/1.23
TRS_Outermost/Strategy_outermost_added_08/Ex1_GL02a_Z.xml 5157847 YES 108.50/27.83
TRS_Outermost/Strategy_outermost_added_08/Ex7_BLR02.xml 5157848 NO 2.68/1.20
TRS_Outermost/Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml 5157849 NO 21.84/6.19
TRS_Outermost/Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml 5157850 NO 2.51/1.19
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM99_GM.xml 5157851 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml 5157852 NO 2.57/1.25
TRS_Outermost/Strategy_outermost_added_08/Ex6_15_AEL02.xml 5157853 NO 2.87/1.25
TRS_Outermost/Strategy_outermost_added_08/Ex9_Luc06_Z.xml 5157854 NO 2.65/1.21
TRS_Outermost/Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml 5157855 NO 2.59/1.24
TRS_Outermost/Strategy_outermost_added_08/4.06.xml 5157856 NO 2.91/1.23
TRS_Outermost/Strategy_outermost_added_08/4.54.xml 5157857 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml 5157858 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex1_Luc02b_L.xml 5157859 NO 2.52/1.16
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM99.xml 5157860 NO 2.96/1.34
TRS_Outermost/Strategy_outermost_added_08/ExAppendixB_AEL03.xml 5157861 NO 2.82/1.27
TRS_Outermost/Strategy_outermost_added_08/Ex3_2_Luc97.xml 5157862 NO 2.76/1.24
TRS_Outermost/Strategy_outermost_added_08/4.34.xml 5157863 NO 2.87/1.22
TRS_Outermost/Strategy_outermost_added_08/MYNAT_complete-noand_L.xml 5157864 NO 2.70/1.25
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM99.xml 5157865 NO 2.89/1.26
TRS_Outermost/Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml 5157866 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/n001.xml 5157867 NO 2.55/1.17
TRS_Outermost/Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml 5157868 NO 2.55/1.19
TRS_Outermost/Strategy_outermost_added_08/n005.xml 5157869 NO 2.54/1.18
TRS_Outermost/Strategy_outermost_added_08/PEANO_nosorts_L.xml 5157870 NO 2.37/1.23
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml 5157871 NO 2.48/1.20
TRS_Outermost/Strategy_outermost_added_08/001.xml 5157872 NO 2.77/1.23
TRS_Outermost/Strategy_outermost_added_08/test75.xml 5157873 NO 3.09/1.33
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml 5157874 NO 2.64/1.20
TRS_Outermost/Strategy_outermost_added_08/n007.xml 5157875 NO 2.56/1.18
TRS_Outermost/Strategy_outermost_added_08/Ex1_Luc04b_Z.xml 5157876 NO 2.72/1.22
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml 5157877 NO 3.04/1.25
TRS_Outermost/Strategy_outermost_added_08/PALINDROME_nosorts_L.xml 5157878 NO 2.53/1.16
TRS_Outermost/Strategy_outermost_added_08/jwno6.xml 5157879 NO 2.73/1.21
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml 5157880 NO 3.80/1.49
TRS_Outermost/Strategy_outermost_added_08/PEANO_nokinds_L.xml 5157881 NO 2.76/1.17
TRS_Outermost/Strategy_outermost_added_08/Ex15_Luc98.xml 5157882 NO 2.67/1.30
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_FR.xml 5157883 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts_noand_GM.xml 5157884 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/jwno9.xml 5157885 MAYBE 237.69/110.13
TRS_Outermost/Strategy_outermost_added_08/Ex16_Luc06_L.xml 5157886 NO 2.51/1.15
TRS_Outermost/Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml 5157887 NO 2.58/1.19
TRS_Outermost/Strategy_outermost_added_08/ExAppendixB_AEL03_L.xml 5157888 NO 2.53/1.19
TRS_Outermost/Strategy_outermost_added_08/n002.xml 5157889 NO 2.51/1.17
TRS_Outermost/Strategy_outermost_added_08/Ex8_BLR02_L.xml 5157890 NO 2.55/1.25
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_iGM.xml 5157891 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex14_Luc06_Z.xml 5157892 NO 3.90/1.51
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM99_Z.xml 5157893 NO 2.98/1.27
TRS_Outermost/Strategy_outermost_added_08/Ex4_Zan97.xml 5157894 NO 2.79/1.23
TRS_Outermost/Strategy_outermost_added_08/Ex3_3_25_Bor03.xml 5157895 NO 2.73/1.22
TRS_Outermost/Strategy_outermost_added_08/#4.16.xml 5157896 NO 2.71/1.22
TRS_Outermost/Strategy_outermost_added_08/#4.15.xml 5157897 NO 2.75/1.21
TRS_Outermost/Strategy_outermost_added_08/Ex5_7_Luc97.xml 5157898 NO 3.02/1.27
TRS_Outermost/Strategy_outermost_added_08/Ex24_GM04_L.xml 5157899 NO 2.57/1.19
TRS_Outermost/Strategy_outermost_added_08/4.49.xml 5157900 NO 2.57/1.16
TRS_Outermost/Strategy_outermost_added_08/Ex14_AEGL02.xml 5157901 NO 2.81/1.22
TRS_Outermost/Strategy_outermost_added_08/TypeEx3.xml 5157902 MAYBE 403.27/199.14
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml 5157903 NO 25.47/9.94
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM01_FR.xml 5157904 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/#4.14.xml 5157905 NO 2.85/1.51
TRS_Outermost/Strategy_outermost_added_08/Ex15_Luc98_L.xml 5157906 NO 2.77/1.19
TRS_Outermost/Strategy_outermost_added_08/Ex6_Luc98.xml 5157907 NO 2.69/1.19
TRS_Outermost/Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml 5157908 NO 2.89/1.26
TRS_Outermost/Strategy_outermost_added_08/PALINDROME_complete_L.xml 5157909 NO 2.63/1.20
TRS_Outermost/Strategy_outermost_added_08/Ex4_DLMMU04_L.xml 5157910 NO 2.75/1.22
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_Z.xml 5157911 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/ExConc_Zan97.xml 5157912 NO 2.56/1.17
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM01.xml 5157913 NO 2.77/1.28
TRS_Outermost/Strategy_outermost_added_08/ttt1.xml 5157914 NO 2.87/1.26
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM04.xml 5157915 NO 2.79/1.24
TRS_Outermost/Strategy_outermost_added_08/PALINDROME_nokinds_L.xml 5157916 NO 2.38/1.56
TRS_Outermost/Strategy_outermost_added_08/Ex14_AEGL02_Z.xml 5157917 NO 3.83/1.48
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml 5157918 NO 3.02/1.26
TRS_Outermost/Strategy_outermost_added_08/Ex3_12_Luc96a.xml 5157919 NO 2.58/1.18
TRS_Outermost/Strategy_outermost_added_08/Ex4_Zan97_L.xml 5157920 NO 2.59/1.24
TRS_Outermost/Strategy_outermost_added_08/Ex7_BLR02_L.xml 5157921 NO 2.49/1.16
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM99_L.xml 5157922 NO 2.32/1.16
TRS_Outermost/Strategy_outermost_added_08/2.05.xml 5157923 NO 3.31/1.32
TRS_Outermost/Strategy_outermost_added_08/Ex9_Luc06_L.xml 5157924 NO 2.64/1.19
TRS_Outermost/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml 5157925 NO 2.49/1.23
TRS_Outermost/Strategy_outermost_added_08/Ex14_Luc06_GM.xml 5157926 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/muladd.xml 5157927 NO 2.64/1.19
TRS_Outermost/Strategy_outermost_added_08/Ex6_GM04_Z.xml 5157928 MAYBE 204.92/139.09
TRS_Outermost/Strategy_outermost_added_08/Ex9_Luc04_GM.xml 5157929 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_FR.xml 5157930 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml 5157931 NO 2.60/1.24
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml 5157932 YES 215.55/58.06
TRS_Outermost/Strategy_outermost_added_08/Hamming.xml 5157933 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/Ex1_Zan97_L.xml 5157934 NO 2.60/1.16
TRS_Outermost/Strategy_outermost_added_08/Ex2_Luc03b.xml 5157935 NO 2.49/1.21
TRS_Outermost/Strategy_outermost_added_08/Ex1_GL02a.xml 5157936 NO 2.68/1.20
TRS_Outermost/Strategy_outermost_added_08/Ex26_Luc03b.xml 5157937 NO 2.59/1.28
TRS_Outermost/Strategy_outermost_added_08/Ex24_Luc06_Z.xml 5157938 NO 3.12/1.43
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml 5157939 NO 2.48/1.17
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml 5157940 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/MYNAT_complete_L.xml 5157941 NO 2.90/1.25
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml 5157942 NO 2.86/2.10
TRS_Outermost/Strategy_outermost_added_08/thiemann28.xml 5157943 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex9_BLR02.xml 5157944 NO 2.82/1.25
TRS_Outermost/Strategy_outermost_added_08/n003.xml 5157945 NO 2.45/1.15
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml 5157946 NO 2.88/1.25
TRS_Outermost/Strategy_outermost_added_08/Ex1_Zan97_Z.xml 5157947 NO 2.73/1.26
TRS_Outermost/Strategy_outermost_added_08/Ex24_GM04.xml 5157948 MAYBE 90.41/60.44
TRS_Outermost/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml 5157949 NO 2.72/1.25
TRS_Outermost/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml 5157950 YES 255.56/73.64
TRS_Outermost/Strategy_outermost_added_08/append-wrong.xml 5157951 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/#4.3.xml 5157952 NO 2.66/1.25
TRS_Outermost/Strategy_outermost_added_08/ttt2.xml 5157953 NO 3.02/1.28
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM03_L.xml 5157954 NO 2.44/1.19
TRS_Outermost/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml 5157955 NO 2.57/1.25
TRS_Outermost/Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml 5157956 NO 12.70/3.81
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml 5157957 NO 2.55/1.21
TRS_Outermost/Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml 5157958 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml 5157959 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_complete-noand_L.xml 5157960 NO 2.94/1.30
TRS_Outermost/Strategy_outermost_added_08/Ex5_Zan97.xml 5157961 YES 256.04/77.17
TRS_Outermost/Strategy_outermost_added_08/n004.xml 5157962 NO 2.73/1.17
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml 5157963 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_15_Bor03.xml 5157964 NO 2.63/1.20
TRS_Outermost/Strategy_outermost_added_08/MYNAT_nokinds-noand_L.xml 5157965 NO 2.54/1.18
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml 5157966 NO 2.94/1.28
TRS_Outermost/Strategy_outermost_added_08/4.40.xml 5157967 NO 7.34/2.45
TRS_Outermost/Strategy_outermost_added_08/test76.xml 5157968 NO 11.51/3.61
TRS_Outermost/Strategy_outermost_added_08/termMonTypes.xml 5157969 NO 3.14/1.25
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml 5157970 NO 2.84/1.31
TRS_Outermost/Strategy_outermost_added_08/Ex14_AEGL02_FR.xml 5157971 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/n008.xml 5157972 NO 2.80/1.16
TRS_Outermost/Strategy_outermost_added_08/MYNAT_nosorts_L.xml 5157973 NO 2.48/1.18
TRS_Outermost/Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml 5157974 NO 2.56/1.18
TRS_Outermost/Strategy_outermost_added_08/Ex49_GM04_L.xml 5157975 NO 2.59/1.24
TRS_Outermost/Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml 5157976 NO 13.35/3.96
TRS_Outermost/Strategy_outermost_added_08/Ex1_Luc02b.xml 5157977 NO 2.60/1.18
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_complete_L.xml 5157978 NO 2.59/1.19
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_L.xml 5157979 NO 2.62/1.18
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml 5157980 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml 5157981 NO 2.77/1.23
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts-noand_FR.xml 5157982 NO 26.65/7.34
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM04_L.xml 5157983 NO 2.52/1.17
TRS_Outermost/Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml 5157984 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/jwno1.xml 5157985 NO 2.80/1.23
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml 5157986 NO 2.53/1.21
TRS_Outermost/Strategy_outermost_added_08/#4.2.xml 5157987 NO 2.67/1.22
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml 5157988 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex1_2_Luc02c.xml 5157989 NO 2.65/1.23
TRS_Outermost/Strategy_outermost_added_08/#4.12a.xml 5157990 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_37_Bor03.xml 5157991 NO 2.88/1.27
TRS_Outermost/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml 5157992 NO 2.54/1.18
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_Zan97.xml 5157993 NO 2.82/1.26
TRS_Outermost/Strategy_outermost_added_08/#4.7.xml 5157994 NO 2.64/1.17
TRS_Outermost/Strategy_outermost_added_08/MYNAT_nokinds_L.xml 5157995 NO 2.53/1.18
TRS_Outermost/Strategy_outermost_added_08/Ex1_2_AEL03.xml 5157996 NO 2.81/1.25
TRS_Outermost/Strategy_outermost_added_08/cime4.xml 5157997 NO 3.05/2.92
203