Termination Competition 2018: TRS Outermost Certified30098

Job info CSV
benchmark AProVE certified
TRS_Outermost/Mixed_outermost/even.xml 5157769 NO 3.18/1.52 (CERTIFIED 0.0)
TRS_Outermost/Mixed_outermost/ex3.xml 5157770 MAYBE 2.96/1.49
TRS_Outermost/Mixed_outermost/patterns1.xml 5157771 MAYBE 3.11/1.51
TRS_Outermost/Mixed_outermost/gfb.xml 5157772 MAYBE 2.99/1.50
TRS_Outermost/Mixed_outermost/ex5.xml 5157773 MAYBE 3.22/1.51
TRS_Outermost/Mixed_outermost/ex6.xml 5157774 MAYBE 356.45/291.47
TRS_Outermost/Mixed_outermost/ex1.xml 5157775 MAYBE 3.12/1.56
TRS_Outermost/Mixed_outermost/afbg.xml 5157776 MAYBE 3.21/1.49
TRS_Outermost/Mixed_outermost/non-lin1.xml 5157777 run script error [out]
TRS_Outermost/Mixed_outermost/odd.xml 5157778 MAYBE 3.38/1.58
TRS_Outermost/Mixed_outermost/patterns2.xml 5157779 MAYBE 3.17/1.50
TRS_Outermost/Mixed_outermost/ex2.xml 5157780 MAYBE 3.20/1.58
TRS_Outermost/Mixed_outermost/ex4.xml 5157781 MAYBE 3.17/1.49
TRS_Outermost/Mixed_outermost/non-lin2.xml 5157782 MAYBE 4.80/2.10
TRS_Outermost/Mixed_outermost/non-lin3.xml 5157783 MAYBE 6.50/2.63
TRS_Outermost/Zantema_08/assoc_f_rhs.xml 5157998 MAYBE 344.52/292.39
TRS_Outermost/Zantema_08/g_2_f_var.xml 5157999 run script error [out]
TRS_Outermost/Zantema_08/ex7.xml 5158000 MAYBE 3.11/1.52
TRS_Outermost/Zantema_08/fg.xml 5158001 MAYBE 3.25/1.52
TRS_Outermost/Zantema_08/cariboo_nl_3.xml 5158002 MAYBE 3.36/1.58
TRS_Outermost/Zantema_08/ex8.xml 5158003 MAYBE 5.60/2.37
TRS_Outermost/Zantema_08/toyama_out.xml 5158004 NO 3.12/1.52 (CERTIFIED 0.0)
TRS_Outermost/Zantema_08/from_one.xml 5158005 MAYBE 293.83/291.43
TRS_Outermost/Zantema_08/ex3.xml 5158006 MAYBE 26.09/16.64
TRS_Outermost/Zantema_08/cariboo_len3.xml 5158007 MAYBE 3.11/1.51
TRS_Outermost/Zantema_08/f_2_1.xml 5158008 MAYBE 3.33/1.54
TRS_Outermost/Zantema_08/f_5_1.xml 5158009 run script error [out]
TRS_Outermost/Zantema_08/yoyo_3.xml 5158010 MAYBE 10.35/4.97
TRS_Outermost/Zantema_08/cariboo_nl_6.xml 5158011 run script error [out]
TRS_Outermost/Zantema_08/cariboo_add1.xml 5158012 MAYBE 3.20/1.53
TRS_Outermost/Zantema_08/f_2_2.xml 5158013 MAYBE 3.61/1.70
TRS_Outermost/Zantema_08/cariboo_nl_5.xml 5158014 MAYBE 3.07/1.49
TRS_Outermost/Zantema_08/from_three.xml 5158015 MAYBE 294.35/291.89
TRS_Outermost/Zantema_08/countter.xml 5158016 MAYBE 7.07/3.02
TRS_Outermost/Zantema_08/morse.xml 5158017 MAYBE 345.09/293.53
TRS_Outermost/Zantema_08/ex5.xml 5158018 MAYBE 37.46/25.57
TRS_Outermost/Zantema_08/dupl_rhs.xml 5158019 MAYBE 11.40/6.52
TRS_Outermost/Zantema_08/countbin.xml 5158020 MAYBE 4.59/2.01
TRS_Outermost/Zantema_08/ex0.xml 5158021 MAYBE 3.67/1.70
TRS_Outermost/Zantema_08/ex6.xml 5158022 MAYBE 3.21/1.51
TRS_Outermost/Zantema_08/ex1.xml 5158023 MAYBE 9.94/5.00
TRS_Outermost/Zantema_08/bintree.xml 5158024 MAYBE 3.16/1.50
TRS_Outermost/Zantema_08/cariboo_nl_4.xml 5158025 MAYBE 3.52/1.59
TRS_Outermost/Zantema_08/ffb_SL.xml 5158026 MAYBE 3.18/1.51
TRS_Outermost/Zantema_08/assoc_c_rhs.xml 5158027 MAYBE 16.85/9.17
TRS_Outermost/Zantema_08/cariboo_add3.xml 5158028 timeout (wallclock) [out]
TRS_Outermost/Zantema_08/outermost_gr.xml 5158029 NO 3.20/1.60 (CERTIFIED 0.0)
TRS_Outermost/Zantema_08/ffg.xml 5158030 MAYBE 3.35/1.65
TRS_Outermost/Zantema_08/yoyo_2.xml 5158031 MAYBE 10.56/4.22
TRS_Outermost/Zantema_08/cariboo_add2a.xml 5158032 MAYBE 6.01/3.17
TRS_Outermost/Zantema_08/cariboo_nl_1.xml 5158033 MAYBE 3.21/1.54
TRS_Outermost/Zantema_08/f_5.xml 5158034 MAYBE 3.19/1.56
TRS_Outermost/Zantema_08/toyama_stop2.xml 5158035 MAYBE 334.28/292.35
TRS_Outermost/Zantema_08/toyama_stop.xml 5158036 MAYBE 5.13/2.12
TRS_Outermost/Zantema_08/ex9.xml 5158037 MAYBE 3.55/1.63
TRS_Outermost/Zantema_08/yoyo_3b.xml 5158038 MAYBE 365.63/291.97
TRS_Outermost/Zantema_08/inn_out.xml 5158039 NO 3.13/1.50 (CERTIFIED 0.0)
TRS_Outermost/Zantema_08/ex2.xml 5158040 MAYBE 3.17/1.50
TRS_Outermost/Zantema_08/from_one_a.xml 5158041 MAYBE 293.80/291.47
TRS_Outermost/Zantema_08/g_2_const.xml 5158042 MAYBE 3.16/1.52
TRS_Outermost/Zantema_08/yoyo_3a.xml 5158043 MAYBE 9.06/4.03
TRS_Outermost/Zantema_08/f_5_2.xml 5158044 MAYBE 3.47/1.57
TRS_Outermost/Zantema_08/cariboo_add2.xml 5158045 MAYBE 3.01/1.50
TRS_Outermost/Zantema_08/ex4.xml 5158046 MAYBE 3.53/1.63
TRS_Outermost/Zantema_08/cariboo_nl_2.xml 5158047 MAYBE 3.15/1.53
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_complete_L.xml 5157784 NO 3.26/1.55 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml 5157785 MAYBE 512.42/296.49
TRS_Outermost/Strategy_outermost_added_08/nonTermF.xml 5157786 NO 4.10/1.75 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex8_BLR02.xml 5157787 NO 3.19/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_4_Luc96b.xml 5157788 NO 3.11/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/#4.4.xml 5157789 NO 3.07/1.58 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml 5157790 NO 3.07/1.49 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex24_Luc06_GM.xml 5157791 MAYBE 28.80/22.84
TRS_Outermost/Strategy_outermost_added_08/jwno4.xml 5157792 NO 3.13/1.54 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/#4.18.xml 5157793 NO 3.11/1.50 (CERTIFIED 0.0)
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 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex24_GM04_GM.xml 5157796 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/nonterm.xml 5157797 MAYBE 4.53/1.91
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM99_iGM.xml 5157798 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml 5157799 NO 3.01/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml 5157800 MAYBE 367.65/291.51
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts-noand_L.xml 5157801 NO 3.13/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/PALINDROME_complete-noand_L.xml 5157802 NO 3.13/1.57 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex9_Luc04_L.xml 5157803 NO 3.20/1.49 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml 5157804 NO 3.29/1.63 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/PEANO_complete_L.xml 5157805 NO 3.20/1.55 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex3_2_Luc97_L.xml 5157806 NO 3.15/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml 5157807 NO 3.05/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts_L.xml 5157808 NO 3.24/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex5_7_Luc97_L.xml 5157809 NO 3.14/1.53 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/round_nonterm.xml 5157810 NO 3.20/1.53 (CERTIFIED 0.0)
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 3.13/1.51
TRS_Outermost/Strategy_outermost_added_08/Ex6_9_Luc02c.xml 5157813 NO 3.06/1.49 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM01_L.xml 5157814 NO 3.14/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml 5157815 NO 3.21/1.54 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM03_Z.xml 5157816 NO 3.27/1.60 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/test9.xml 5157817 NO 3.22/1.53 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExConc_Zan97_Z.xml 5157818 NO 3.23/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml 5157819 MAYBE 367.76/291.92
TRS_Outermost/Strategy_outermost_added_08/gkg.xml 5157820 NO 3.22/1.59 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml 5157821 NO 3.19/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex6_15_AEL02_L.xml 5157822 NO 3.16/1.54 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/003.xml 5157823 NO 3.28/1.58 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex14_Luc06_L.xml 5157824 NO 3.23/1.59 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_GL02a_L.xml 5157825 NO 3.19/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/TypeEx5.xml 5157826 NO 2.98/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml 5157827 NO 3.24/1.58 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nokinds_L.xml 5157828 NO 3.29/1.60 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_Zan97.xml 5157829 NO 3.20/1.58 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml 5157830 NO 3.36/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM99_L.xml 5157831 NO 3.16/1.49 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM03.xml 5157832 NO 3.16/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex15_Luc06_L.xml 5157833 NO 3.21/1.94 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml 5157834 NO 3.14/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/test10.xml 5157835 NO 3.14/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/PEANO_complete-noand_L.xml 5157836 NO 3.30/1.63 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM04_Z.xml 5157837 MAYBE 359.41/291.47
TRS_Outermost/Strategy_outermost_added_08/n006.xml 5157838 NO 3.03/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex5_Zan97_L.xml 5157839 NO 3.26/1.59 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/test77.xml 5157840 MAYBE 355.35/291.47
TRS_Outermost/Strategy_outermost_added_08/ExSec11_1_Luc02a.xml 5157841 NO 3.20/1.53 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_Luc04b_L.xml 5157842 NO 3.30/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/#4.17.xml 5157843 NO 3.28/1.59 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex14_AEGL02_L.xml 5157844 NO 3.28/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM01_Z.xml 5157845 MAYBE 358.16/291.48
TRS_Outermost/Strategy_outermost_added_08/Ex9_Luc04_Z.xml 5157846 NO 3.07/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_GL02a_Z.xml 5157847 MAYBE 364.22/291.50
TRS_Outermost/Strategy_outermost_added_08/Ex7_BLR02.xml 5157848 NO 2.87/1.49 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml 5157849 NO 7.86/3.63 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml 5157850 NO 3.19/1.59 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM99_GM.xml 5157851 MAYBE 336.72/291.46
TRS_Outermost/Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml 5157852 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex6_15_AEL02.xml 5157853 NO 3.15/1.64 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex9_Luc06_Z.xml 5157854 NO 3.20/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml 5157855 NO 3.23/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/4.06.xml 5157856 NO 3.39/2.45 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/4.54.xml 5157857 NO 3.07/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml 5157858 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/Ex1_Luc02b_L.xml 5157859 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM99.xml 5157860 NO 3.21/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExAppendixB_AEL03.xml 5157861 NO 3.25/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex3_2_Luc97.xml 5157862 NO 3.07/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/4.34.xml 5157863 NO 3.03/1.48 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/MYNAT_complete-noand_L.xml 5157864 NO 3.17/1.55 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM99.xml 5157865 NO 3.12/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml 5157866 MAYBE 295.73/291.47
TRS_Outermost/Strategy_outermost_added_08/n001.xml 5157867 NO 3.02/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml 5157868 NO 3.25/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/n005.xml 5157869 NO 3.13/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/PEANO_nosorts_L.xml 5157870 NO 3.01/1.53 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml 5157871 NO 3.05/1.49 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/001.xml 5157872 NO 3.20/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/test75.xml 5157873 NO 3.29/1.54 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml 5157874 NO 3.21/1.55 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/n007.xml 5157875 NO 3.19/1.56 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_Luc04b_Z.xml 5157876 NO 3.14/1.57 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml 5157877 NO 3.41/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/PALINDROME_nosorts_L.xml 5157878 NO 3.20/1.58 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/jwno6.xml 5157879 NO 3.24/1.53 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml 5157880 NO 3.86/1.67 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/PEANO_nokinds_L.xml 5157881 NO 3.20/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex15_Luc98.xml 5157882 NO 3.22/1.51 (CERTIFIED 0.0)
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 4.11/1.81
TRS_Outermost/Strategy_outermost_added_08/Ex16_Luc06_L.xml 5157886 NO 2.95/1.48 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml 5157887 NO 3.06/1.54 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExAppendixB_AEL03_L.xml 5157888 NO 3.22/1.56 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/n002.xml 5157889 NO 2.97/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex8_BLR02_L.xml 5157890 NO 3.40/1.58 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_iGM.xml 5157891 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/Ex14_Luc06_Z.xml 5157892 NO 4.17/1.80 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM99_Z.xml 5157893 NO 3.43/1.56 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_Zan97.xml 5157894 NO 3.06/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex3_3_25_Bor03.xml 5157895 NO 3.17/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/#4.16.xml 5157896 NO 3.25/1.62 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/#4.15.xml 5157897 NO 3.36/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex5_7_Luc97.xml 5157898 NO 3.11/1.60 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex24_GM04_L.xml 5157899 NO 2.85/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/4.49.xml 5157900 NO 2.99/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex14_AEGL02.xml 5157901 NO 3.14/1.49 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/TypeEx3.xml 5157902 MAYBE 67.42/54.93
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml 5157903 NO 8.26/3.88 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM01_FR.xml 5157904 MAYBE 361.46/291.49
TRS_Outermost/Strategy_outermost_added_08/#4.14.xml 5157905 NO 3.24/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex15_Luc98_L.xml 5157906 NO 3.19/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex6_Luc98.xml 5157907 NO 3.25/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml 5157908 NO 3.34/1.54 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/PALINDROME_complete_L.xml 5157909 NO 3.15/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_DLMMU04_L.xml 5157910 NO 3.24/1.51 (CERTIFIED 0.0)
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 3.08/1.48 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM01.xml 5157913 NO 3.28/1.49 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ttt1.xml 5157914 NO 3.23/1.54 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM04.xml 5157915 NO 3.12/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/PALINDROME_nokinds_L.xml 5157916 NO 2.97/1.55 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex14_AEGL02_Z.xml 5157917 NO 3.97/1.76 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml 5157918 NO 3.40/1.65 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex3_12_Luc96a.xml 5157919 NO 3.15/1.58 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_Zan97_L.xml 5157920 NO 3.28/1.62 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex7_BLR02_L.xml 5157921 NO 3.13/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM99_L.xml 5157922 NO 3.20/1.65 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/2.05.xml 5157923 NO 3.44/1.57 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex9_Luc06_L.xml 5157924 NO 3.12/1.49 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml 5157925 NO 3.15/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex14_Luc06_GM.xml 5157926 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/muladd.xml 5157927 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/Ex6_GM04_Z.xml 5157928 MAYBE 5.96/2.46
TRS_Outermost/Strategy_outermost_added_08/Ex9_Luc04_GM.xml 5157929 MAYBE 341.43/291.49
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_FR.xml 5157930 MAYBE 515.43/292.75
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml 5157931 NO 3.28/1.55 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml 5157932 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/Hamming.xml 5157933 MAYBE 813.87/295.61
TRS_Outermost/Strategy_outermost_added_08/Ex1_Zan97_L.xml 5157934 NO 3.21/1.59 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex2_Luc03b.xml 5157935 NO 3.17/1.58 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_GL02a.xml 5157936 NO 3.07/1.56 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex26_Luc03b.xml 5157937 NO 3.06/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex24_Luc06_Z.xml 5157938 NO 3.11/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml 5157939 NO 3.08/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml 5157940 MAYBE 512.47/292.71
TRS_Outermost/Strategy_outermost_added_08/MYNAT_complete_L.xml 5157941 NO 3.22/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml 5157942 NO 3.23/1.53 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/thiemann28.xml 5157943 MAYBE 363.96/291.50
TRS_Outermost/Strategy_outermost_added_08/Ex9_BLR02.xml 5157944 NO 3.23/1.53 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/n003.xml 5157945 NO 3.09/1.53 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml 5157946 NO 3.58/1.70 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_Zan97_Z.xml 5157947 NO 3.37/1.54 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex24_GM04.xml 5157948 MAYBE 3.46/1.65
TRS_Outermost/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml 5157949 NO 3.18/1.59 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml 5157950 MAYBE 351.05/292.46
TRS_Outermost/Strategy_outermost_added_08/append-wrong.xml 5157951 MAYBE 359.09/291.55
TRS_Outermost/Strategy_outermost_added_08/#4.3.xml 5157952 NO 3.17/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ttt2.xml 5157953 NO 3.21/1.59 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_GM03_L.xml 5157954 NO 3.16/1.54 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml 5157955 NO 3.10/1.59 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml 5157956 NO 7.02/2.85 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml 5157957 NO 3.12/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml 5157958 MAYBE 653.84/294.79
TRS_Outermost/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml 5157959 MAYBE 360.36/291.47
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_complete-noand_L.xml 5157960 NO 3.61/1.75 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex5_Zan97.xml 5157961 MAYBE 293.27/291.44
TRS_Outermost/Strategy_outermost_added_08/n004.xml 5157962 NO 3.22/1.60 (CERTIFIED 0.0)
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 3.20/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/MYNAT_nokinds-noand_L.xml 5157965 NO 2.96/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml 5157966 NO 3.21/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/4.40.xml 5157967 NO 5.42/2.21 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/test76.xml 5157968 NO 7.10/2.79 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/termMonTypes.xml 5157969 NO 3.13/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml 5157970 NO 3.31/1.59 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex14_AEGL02_FR.xml 5157971 MAYBE 358.16/291.48
TRS_Outermost/Strategy_outermost_added_08/n008.xml 5157972 NO 2.83/1.47 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/MYNAT_nosorts_L.xml 5157973 NO 2.85/1.49 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml 5157974 NO 3.05/1.54 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex49_GM04_L.xml 5157975 NO 2.85/1.58 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml 5157976 NO 7.28/2.81 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_Luc02b.xml 5157977 NO 3.26/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_complete_L.xml 5157978 NO 3.09/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_L.xml 5157979 NO 3.21/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml 5157980 MAYBE 510.43/293.67
TRS_Outermost/Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml 5157981 NO 3.21/1.60 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nosorts-noand_FR.xml 5157982 NO 9.63/5.01 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM04_L.xml 5157983 NO 3.18/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml 5157984 timeout (wallclock) [out]
TRS_Outermost/Strategy_outermost_added_08/jwno1.xml 5157985 NO 3.20/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml 5157986 NO 3.00/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/#4.2.xml 5157987 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml 5157988 MAYBE 358.14/291.49
TRS_Outermost/Strategy_outermost_added_08/Ex1_2_Luc02c.xml 5157989 NO 3.05/1.50 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/#4.12a.xml 5157990 NO 3.21/1.55 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex4_7_37_Bor03.xml 5157991 NO 3.29/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml 5157992 NO 3.12/1.55 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/ExIntrod_Zan97.xml 5157993 NO 3.13/1.51 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/#4.7.xml 5157994 NO 3.17/1.52 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/MYNAT_nokinds_L.xml 5157995 NO 3.40/1.61 (CERTIFIED 0.0)
TRS_Outermost/Strategy_outermost_added_08/Ex1_2_AEL03.xml 5157996 run script error [out]
TRS_Outermost/Strategy_outermost_added_08/cime4.xml 5157997 NO 3.26/1.54 (CERTIFIED 0.0)
169