Termination Competition 2018: TRS Outermost Certified30098

benchmark AProVE
Mixed_outermost/even.xml NO 3.18/1.52
Mixed_outermost/ex3.xml MAYBE 2.96/1.49
Mixed_outermost/patterns1.xml MAYBE 3.11/1.51
Mixed_outermost/gfb.xml MAYBE 2.99/1.50
Mixed_outermost/ex5.xml MAYBE 3.22/1.51
Mixed_outermost/ex6.xml MAYBE 356.45/291.47
Mixed_outermost/ex1.xml MAYBE 3.12/1.56
Mixed_outermost/afbg.xml MAYBE 3.21/1.49
Mixed_outermost/non-lin1.xml StarExec error
Mixed_outermost/odd.xml MAYBE 3.38/1.58
Mixed_outermost/patterns2.xml MAYBE 3.17/1.50
Mixed_outermost/ex2.xml MAYBE 3.20/1.58
Mixed_outermost/ex4.xml MAYBE 3.17/1.49
Mixed_outermost/non-lin2.xml MAYBE 4.80/2.10
Mixed_outermost/non-lin3.xml MAYBE 6.50/2.63
Zantema_08/assoc_f_rhs.xml MAYBE 344.52/292.39
Zantema_08/g_2_f_var.xml StarExec error
Zantema_08/ex7.xml MAYBE 3.11/1.52
Zantema_08/fg.xml MAYBE 3.25/1.52
Zantema_08/cariboo_nl_3.xml MAYBE 3.36/1.58
Zantema_08/ex8.xml MAYBE 5.60/2.37
Zantema_08/toyama_out.xml NO 3.12/1.52
Zantema_08/from_one.xml MAYBE 293.83/291.43
Zantema_08/ex3.xml MAYBE 26.09/16.64
Zantema_08/cariboo_len3.xml MAYBE 3.11/1.51
Zantema_08/f_2_1.xml MAYBE 3.33/1.54
Zantema_08/f_5_1.xml StarExec error
Zantema_08/yoyo_3.xml MAYBE 10.35/4.97
Zantema_08/cariboo_nl_6.xml StarExec error
Zantema_08/cariboo_add1.xml MAYBE 3.20/1.53
Zantema_08/f_2_2.xml MAYBE 3.61/1.70
Zantema_08/cariboo_nl_5.xml MAYBE 3.07/1.49
Zantema_08/from_three.xml MAYBE 294.35/291.89
Zantema_08/countter.xml MAYBE 7.07/3.02
Zantema_08/morse.xml MAYBE 345.09/293.53
Zantema_08/ex5.xml MAYBE 37.46/25.57
Zantema_08/dupl_rhs.xml MAYBE 11.40/6.52
Zantema_08/countbin.xml MAYBE 4.59/2.01
Zantema_08/ex0.xml MAYBE 3.67/1.70
Zantema_08/ex6.xml MAYBE 3.21/1.51
Zantema_08/ex1.xml MAYBE 9.94/5.00
Zantema_08/bintree.xml MAYBE 3.16/1.50
Zantema_08/cariboo_nl_4.xml MAYBE 3.52/1.59
Zantema_08/ffb_SL.xml MAYBE 3.18/1.51
Zantema_08/assoc_c_rhs.xml MAYBE 16.85/9.17
Zantema_08/cariboo_add3.xml timeout (wallclock)
Zantema_08/outermost_gr.xml NO 3.20/1.60
Zantema_08/ffg.xml MAYBE 3.35/1.65
Zantema_08/yoyo_2.xml MAYBE 10.56/4.22
Zantema_08/cariboo_add2a.xml MAYBE 6.01/3.17
Zantema_08/cariboo_nl_1.xml MAYBE 3.21/1.54
Zantema_08/f_5.xml MAYBE 3.19/1.56
Zantema_08/toyama_stop2.xml MAYBE 334.28/292.35
Zantema_08/toyama_stop.xml MAYBE 5.13/2.12
Zantema_08/ex9.xml MAYBE 3.55/1.63
Zantema_08/yoyo_3b.xml MAYBE 365.63/291.97
Zantema_08/inn_out.xml NO 3.13/1.50
Zantema_08/ex2.xml MAYBE 3.17/1.50
Zantema_08/from_one_a.xml MAYBE 293.80/291.47
Zantema_08/g_2_const.xml MAYBE 3.16/1.52
Zantema_08/yoyo_3a.xml MAYBE 9.06/4.03
Zantema_08/f_5_2.xml MAYBE 3.47/1.57
Zantema_08/cariboo_add2.xml MAYBE 3.01/1.50
Zantema_08/ex4.xml MAYBE 3.53/1.63
Zantema_08/cariboo_nl_2.xml MAYBE 3.15/1.53
Strategy_outermost_added_08/OvConsOS_complete_L.xml NO 3.26/1.55
Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml MAYBE 512.42/296.49
Strategy_outermost_added_08/nonTermF.xml NO 4.10/1.75
Strategy_outermost_added_08/Ex8_BLR02.xml NO 3.19/1.50
Strategy_outermost_added_08/Ex4_4_Luc96b.xml NO 3.11/1.52
Strategy_outermost_added_08/#4.4.xml NO 3.07/1.58
Strategy_outermost_added_08/Ex4_7_77_Bor03.xml NO 3.07/1.49
Strategy_outermost_added_08/Ex24_Luc06_GM.xml MAYBE 28.80/22.84
Strategy_outermost_added_08/jwno4.xml NO 3.13/1.54
Strategy_outermost_added_08/#4.18.xml NO 3.11/1.50
Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml timeout (wallclock)
Strategy_outermost_added_08/#4.13.xml StarExec error
Strategy_outermost_added_08/Ex24_GM04_GM.xml timeout (wallclock)
Strategy_outermost_added_08/nonterm.xml MAYBE 4.53/1.91
Strategy_outermost_added_08/Ex1_GM99_iGM.xml timeout (wallclock)
Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml NO 3.01/1.51
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml MAYBE 367.65/291.51
Strategy_outermost_added_08/OvConsOS_nosorts-noand_L.xml NO 3.13/1.52
Strategy_outermost_added_08/PALINDROME_complete-noand_L.xml NO 3.13/1.57
Strategy_outermost_added_08/Ex9_Luc04_L.xml NO 3.20/1.49
Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml NO 3.29/1.63
Strategy_outermost_added_08/PEANO_complete_L.xml NO 3.20/1.55
Strategy_outermost_added_08/Ex3_2_Luc97_L.xml NO 3.15/1.51
Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml NO 3.05/1.51
Strategy_outermost_added_08/OvConsOS_nosorts_L.xml NO 3.24/1.51
Strategy_outermost_added_08/Ex5_7_Luc97_L.xml NO 3.14/1.53
Strategy_outermost_added_08/round_nonterm.xml NO 3.20/1.53
Strategy_outermost_added_08/OvConsOS_nokinds-noand_FR.xml timeout (wallclock)
Strategy_outermost_added_08/Ex6_GM04.xml MAYBE 3.13/1.51
Strategy_outermost_added_08/Ex6_9_Luc02c.xml NO 3.06/1.49
Strategy_outermost_added_08/ExIntrod_GM01_L.xml NO 3.14/1.52
Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml NO 3.21/1.54
Strategy_outermost_added_08/Ex1_GM03_Z.xml NO 3.27/1.60
Strategy_outermost_added_08/test9.xml NO 3.22/1.53
Strategy_outermost_added_08/ExConc_Zan97_Z.xml NO 3.23/1.52
Strategy_outermost_added_08/Ex24_Luc06_iGM.xml MAYBE 367.76/291.92
Strategy_outermost_added_08/gkg.xml NO 3.22/1.59
Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml NO 3.19/1.52
Strategy_outermost_added_08/Ex6_15_AEL02_L.xml NO 3.16/1.54
Strategy_outermost_added_08/003.xml NO 3.28/1.58
Strategy_outermost_added_08/Ex14_Luc06_L.xml NO 3.23/1.59
Strategy_outermost_added_08/Ex1_GL02a_L.xml NO 3.19/1.50
Strategy_outermost_added_08/TypeEx5.xml NO 2.98/1.50
Strategy_outermost_added_08/ExIntrod_Zan97_L.xml NO 3.24/1.58
Strategy_outermost_added_08/OvConsOS_nokinds_L.xml NO 3.29/1.60
Strategy_outermost_added_08/Ex1_Zan97.xml NO 3.20/1.58
Strategy_outermost_added_08/Ex4_7_56_Bor03.xml NO 3.36/1.50
Strategy_outermost_added_08/ExIntrod_GM99_L.xml NO 3.16/1.49
Strategy_outermost_added_08/Ex1_GM03.xml NO 3.16/1.52
Strategy_outermost_added_08/Ex15_Luc06_L.xml NO 3.21/1.94
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml NO 3.14/1.52
Strategy_outermost_added_08/test10.xml NO 3.14/1.52
Strategy_outermost_added_08/PEANO_complete-noand_L.xml NO 3.30/1.63
Strategy_outermost_added_08/ExIntrod_GM04_Z.xml MAYBE 359.41/291.47
Strategy_outermost_added_08/n006.xml NO 3.03/1.50
Strategy_outermost_added_08/Ex5_Zan97_L.xml NO 3.26/1.59
Strategy_outermost_added_08/test77.xml MAYBE 355.35/291.47
Strategy_outermost_added_08/ExSec11_1_Luc02a.xml NO 3.20/1.53
Strategy_outermost_added_08/Ex1_Luc04b_L.xml NO 3.30/1.50
Strategy_outermost_added_08/#4.17.xml NO 3.28/1.59
Strategy_outermost_added_08/Ex14_AEGL02_L.xml NO 3.28/1.61
Strategy_outermost_added_08/ExIntrod_GM01_Z.xml MAYBE 358.16/291.48
Strategy_outermost_added_08/Ex9_Luc04_Z.xml NO 3.07/1.51
Strategy_outermost_added_08/Ex1_GL02a_Z.xml MAYBE 364.22/291.50
Strategy_outermost_added_08/Ex7_BLR02.xml NO 2.87/1.49
Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml NO 7.86/3.63
Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml NO 3.19/1.59
Strategy_outermost_added_08/Ex1_GM99_GM.xml MAYBE 336.72/291.46
Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml StarExec error
Strategy_outermost_added_08/Ex6_15_AEL02.xml NO 3.15/1.64
Strategy_outermost_added_08/Ex9_Luc06_Z.xml NO 3.20/1.51
Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml NO 3.23/1.51
Strategy_outermost_added_08/4.06.xml NO 3.39/2.45
Strategy_outermost_added_08/4.54.xml NO 3.07/1.51
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml timeout (wallclock)
Strategy_outermost_added_08/Ex1_Luc02b_L.xml StarExec error
Strategy_outermost_added_08/ExIntrod_GM99.xml NO 3.21/1.61
Strategy_outermost_added_08/ExAppendixB_AEL03.xml NO 3.25/1.61
Strategy_outermost_added_08/Ex3_2_Luc97.xml NO 3.07/1.50
Strategy_outermost_added_08/4.34.xml NO 3.03/1.48
Strategy_outermost_added_08/MYNAT_complete-noand_L.xml NO 3.17/1.55
Strategy_outermost_added_08/Ex1_GM99.xml NO 3.12/1.51
Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml MAYBE 295.73/291.47
Strategy_outermost_added_08/n001.xml NO 3.02/1.50
Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml NO 3.25/1.52
Strategy_outermost_added_08/n005.xml NO 3.13/1.50
Strategy_outermost_added_08/PEANO_nosorts_L.xml NO 3.01/1.53
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml NO 3.05/1.49
Strategy_outermost_added_08/001.xml NO 3.20/1.52
Strategy_outermost_added_08/test75.xml NO 3.29/1.54
Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml NO 3.21/1.55
Strategy_outermost_added_08/n007.xml NO 3.19/1.56
Strategy_outermost_added_08/Ex1_Luc04b_Z.xml NO 3.14/1.57
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml NO 3.41/1.61
Strategy_outermost_added_08/PALINDROME_nosorts_L.xml NO 3.20/1.58
Strategy_outermost_added_08/jwno6.xml NO 3.24/1.53
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml NO 3.86/1.67
Strategy_outermost_added_08/PEANO_nokinds_L.xml NO 3.20/1.50
Strategy_outermost_added_08/Ex15_Luc98.xml NO 3.22/1.51
Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_FR.xml timeout (wallclock)
Strategy_outermost_added_08/OvConsOS_nosorts_noand_GM.xml timeout (wallclock)
Strategy_outermost_added_08/jwno9.xml MAYBE 4.11/1.81
Strategy_outermost_added_08/Ex16_Luc06_L.xml NO 2.95/1.48
Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml NO 3.06/1.54
Strategy_outermost_added_08/ExAppendixB_AEL03_L.xml NO 3.22/1.56
Strategy_outermost_added_08/n002.xml NO 2.97/1.50
Strategy_outermost_added_08/Ex8_BLR02_L.xml NO 3.40/1.58
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_iGM.xml timeout (wallclock)
Strategy_outermost_added_08/Ex14_Luc06_Z.xml NO 4.17/1.80
Strategy_outermost_added_08/Ex1_GM99_Z.xml NO 3.43/1.56
Strategy_outermost_added_08/Ex4_Zan97.xml NO 3.06/1.50
Strategy_outermost_added_08/Ex3_3_25_Bor03.xml NO 3.17/1.61
Strategy_outermost_added_08/#4.16.xml NO 3.25/1.62
Strategy_outermost_added_08/#4.15.xml NO 3.36/1.52
Strategy_outermost_added_08/Ex5_7_Luc97.xml NO 3.11/1.60
Strategy_outermost_added_08/Ex24_GM04_L.xml NO 2.85/1.52
Strategy_outermost_added_08/4.49.xml NO 2.99/1.51
Strategy_outermost_added_08/Ex14_AEGL02.xml NO 3.14/1.49
Strategy_outermost_added_08/TypeEx3.xml MAYBE 67.42/54.93
Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml NO 8.26/3.88
Strategy_outermost_added_08/ExIntrod_GM01_FR.xml MAYBE 361.46/291.49
Strategy_outermost_added_08/#4.14.xml NO 3.24/1.51
Strategy_outermost_added_08/Ex15_Luc98_L.xml NO 3.19/1.51
Strategy_outermost_added_08/Ex6_Luc98.xml NO 3.25/1.61
Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml NO 3.34/1.54
Strategy_outermost_added_08/PALINDROME_complete_L.xml NO 3.15/1.61
Strategy_outermost_added_08/Ex4_DLMMU04_L.xml NO 3.24/1.51
Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_Z.xml timeout (wallclock)
Strategy_outermost_added_08/ExConc_Zan97.xml NO 3.08/1.48
Strategy_outermost_added_08/ExIntrod_GM01.xml NO 3.28/1.49
Strategy_outermost_added_08/ttt1.xml NO 3.23/1.54
Strategy_outermost_added_08/ExIntrod_GM04.xml NO 3.12/1.52
Strategy_outermost_added_08/PALINDROME_nokinds_L.xml NO 2.97/1.55
Strategy_outermost_added_08/Ex14_AEGL02_Z.xml NO 3.97/1.76
Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml NO 3.40/1.65
Strategy_outermost_added_08/Ex3_12_Luc96a.xml NO 3.15/1.58
Strategy_outermost_added_08/Ex4_Zan97_L.xml NO 3.28/1.62
Strategy_outermost_added_08/Ex7_BLR02_L.xml NO 3.13/1.51
Strategy_outermost_added_08/Ex1_GM99_L.xml NO 3.20/1.65
Strategy_outermost_added_08/2.05.xml NO 3.44/1.57
Strategy_outermost_added_08/Ex9_Luc06_L.xml NO 3.12/1.49
Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml NO 3.15/1.51
Strategy_outermost_added_08/Ex14_Luc06_GM.xml timeout (wallclock)
Strategy_outermost_added_08/muladd.xml StarExec error
Strategy_outermost_added_08/Ex6_GM04_Z.xml MAYBE 5.96/2.46
Strategy_outermost_added_08/Ex9_Luc04_GM.xml MAYBE 341.43/291.49
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_FR.xml MAYBE 515.43/292.75
Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml NO 3.28/1.55
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml timeout (wallclock)
Strategy_outermost_added_08/Hamming.xml MAYBE 813.87/295.61
Strategy_outermost_added_08/Ex1_Zan97_L.xml NO 3.21/1.59
Strategy_outermost_added_08/Ex2_Luc03b.xml NO 3.17/1.58
Strategy_outermost_added_08/Ex1_GL02a.xml NO 3.07/1.56
Strategy_outermost_added_08/Ex26_Luc03b.xml NO 3.06/1.50
Strategy_outermost_added_08/Ex24_Luc06_Z.xml NO 3.11/1.52
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml NO 3.08/1.51
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml MAYBE 512.47/292.71
Strategy_outermost_added_08/MYNAT_complete_L.xml NO 3.22/1.61
Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml NO 3.23/1.53
Strategy_outermost_added_08/thiemann28.xml MAYBE 363.96/291.50
Strategy_outermost_added_08/Ex9_BLR02.xml NO 3.23/1.53
Strategy_outermost_added_08/n003.xml NO 3.09/1.53
Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml NO 3.58/1.70
Strategy_outermost_added_08/Ex1_Zan97_Z.xml NO 3.37/1.54
Strategy_outermost_added_08/Ex24_GM04.xml MAYBE 3.46/1.65
Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml NO 3.18/1.59
Strategy_outermost_added_08/Ex1_Luc04b_FR.xml MAYBE 351.05/292.46
Strategy_outermost_added_08/append-wrong.xml MAYBE 359.09/291.55
Strategy_outermost_added_08/#4.3.xml NO 3.17/1.51
Strategy_outermost_added_08/ttt2.xml NO 3.21/1.59
Strategy_outermost_added_08/Ex1_GM03_L.xml NO 3.16/1.54
Strategy_outermost_added_08/Ex5_DLMMU04_L.xml NO 3.10/1.59
Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml NO 7.02/2.85
Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml NO 3.12/1.51
Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml MAYBE 653.84/294.79
Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml MAYBE 360.36/291.47
Strategy_outermost_added_08/LISTUTILITIES_complete-noand_L.xml NO 3.61/1.75
Strategy_outermost_added_08/Ex5_Zan97.xml MAYBE 293.27/291.44
Strategy_outermost_added_08/n004.xml NO 3.22/1.60
Strategy_outermost_added_08/ExIntrod_GM99_Z.xml timeout (wallclock)
Strategy_outermost_added_08/Ex4_7_15_Bor03.xml NO 3.20/1.51
Strategy_outermost_added_08/MYNAT_nokinds-noand_L.xml NO 2.96/1.52
Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml NO 3.21/1.61
Strategy_outermost_added_08/4.40.xml NO 5.42/2.21
Strategy_outermost_added_08/test76.xml NO 7.10/2.79
Strategy_outermost_added_08/termMonTypes.xml NO 3.13/1.52
Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml NO 3.31/1.59
Strategy_outermost_added_08/Ex14_AEGL02_FR.xml MAYBE 358.16/291.48
Strategy_outermost_added_08/n008.xml NO 2.83/1.47
Strategy_outermost_added_08/MYNAT_nosorts_L.xml NO 2.85/1.49
Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml NO 3.05/1.54
Strategy_outermost_added_08/Ex49_GM04_L.xml NO 2.85/1.58
Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml NO 7.28/2.81
Strategy_outermost_added_08/Ex1_Luc02b.xml NO 3.26/1.52
Strategy_outermost_added_08/LengthOfFiniteLists_complete_L.xml NO 3.09/1.52
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_L.xml NO 3.21/1.61
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml MAYBE 510.43/293.67
Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml NO 3.21/1.60
Strategy_outermost_added_08/OvConsOS_nosorts-noand_FR.xml NO 9.63/5.01
Strategy_outermost_added_08/ExIntrod_GM04_L.xml NO 3.18/1.50
Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml timeout (wallclock)
Strategy_outermost_added_08/jwno1.xml NO 3.20/1.52
Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml NO 3.00/1.52
Strategy_outermost_added_08/#4.2.xml StarExec error
Strategy_outermost_added_08/ExIntrod_GM04_FR.xml MAYBE 358.14/291.49
Strategy_outermost_added_08/Ex1_2_Luc02c.xml NO 3.05/1.50
Strategy_outermost_added_08/#4.12a.xml NO 3.21/1.55
Strategy_outermost_added_08/Ex4_7_37_Bor03.xml NO 3.29/1.61
Strategy_outermost_added_08/Ex1_2_AEL03_L.xml NO 3.12/1.55
Strategy_outermost_added_08/ExIntrod_Zan97.xml NO 3.13/1.51
Strategy_outermost_added_08/#4.7.xml NO 3.17/1.52
Strategy_outermost_added_08/MYNAT_nokinds_L.xml NO 3.40/1.61
Strategy_outermost_added_08/Ex1_2_AEL03.xml StarExec error
Strategy_outermost_added_08/cime4.xml NO 3.26/1.54
169