Termination Competition 2018: TRS Outermost30096

benchmark AProVE
Mixed_outermost/even.xml NO 2.71/1.23
Mixed_outermost/ex3.xml MAYBE 246.25/133.73
Mixed_outermost/patterns1.xml MAYBE 365.14/237.65
Mixed_outermost/gfb.xml MAYBE 273.95/149.12
Mixed_outermost/ex5.xml YES 3.25/1.46
Mixed_outermost/ex6.xml YES 45.96/14.02
Mixed_outermost/ex1.xml YES 4.12/1.59
Mixed_outermost/afbg.xml MAYBE 493.32/237.13
Mixed_outermost/non-lin1.xml YES 3.67/1.58
Mixed_outermost/odd.xml YES 266.57/148.95
Mixed_outermost/patterns2.xml MAYBE 302.21/168.47
Mixed_outermost/ex2.xml MAYBE 186.24/77.03
Mixed_outermost/ex4.xml YES 6.38/2.27
Mixed_outermost/non-lin2.xml MAYBE 105.02/89.13
Mixed_outermost/non-lin3.xml MAYBE 106.29/82.42
Zantema_08/assoc_f_rhs.xml YES 9.77/3.08
Zantema_08/g_2_f_var.xml YES 4.04/1.61
Zantema_08/ex7.xml MAYBE 253.68/136.51
Zantema_08/fg.xml YES 4.11/2.41
Zantema_08/cariboo_nl_3.xml MAYBE 127.64/93.81
Zantema_08/ex8.xml YES 3.87/1.46
Zantema_08/toyama_out.xml NO 2.74/1.23
Zantema_08/from_one.xml StarExec error
Zantema_08/ex3.xml MAYBE 299.08/146.37
Zantema_08/cariboo_len3.xml StarExec error
Zantema_08/f_2_1.xml YES 8.54/2.74
Zantema_08/f_5_1.xml MAYBE 179.02/82.16
Zantema_08/yoyo_3.xml MAYBE 350.43/136.49
Zantema_08/cariboo_nl_6.xml YES 52.92/18.89
Zantema_08/cariboo_add1.xml MAYBE 88.68/62.79
Zantema_08/f_2_2.xml YES 9.55/3.11
Zantema_08/cariboo_nl_5.xml YES 3.82/1.51
Zantema_08/from_three.xml StarExec error
Zantema_08/countter.xml MAYBE 340.31/145.49
Zantema_08/morse.xml StarExec error
Zantema_08/ex5.xml YES 5.91/2.06
Zantema_08/dupl_rhs.xml StarExec error
Zantema_08/countbin.xml MAYBE 278.61/136.96
Zantema_08/ex0.xml MAYBE 181.08/80.82
Zantema_08/ex6.xml MAYBE 180.97/96.79
Zantema_08/ex1.xml MAYBE 270.06/111.17
Zantema_08/bintree.xml YES 7.11/2.35
Zantema_08/cariboo_nl_4.xml MAYBE 180.99/112.97
Zantema_08/ffb_SL.xml NO 6.48/2.29
Zantema_08/assoc_c_rhs.xml YES 7.47/2.48
Zantema_08/cariboo_add3.xml StarExec error
Zantema_08/outermost_gr.xml NO 2.70/1.27
Zantema_08/ffg.xml YES 4.90/1.73
Zantema_08/yoyo_2.xml MAYBE 351.34/154.31
Zantema_08/cariboo_add2a.xml YES 4.49/1.66
Zantema_08/cariboo_nl_1.xml MAYBE 95.87/67.81
Zantema_08/f_5.xml YES 4.35/1.65
Zantema_08/toyama_stop2.xml StarExec error
Zantema_08/toyama_stop.xml YES 141.19/50.46
Zantema_08/ex9.xml YES 6.30/2.15
Zantema_08/yoyo_3b.xml StarExec error
Zantema_08/inn_out.xml NO 2.70/1.19
Zantema_08/ex2.xml MAYBE 79.88/68.27
Zantema_08/from_one_a.xml StarExec error
Zantema_08/g_2_const.xml YES 3.63/1.49
Zantema_08/yoyo_3a.xml MAYBE 411.50/228.25
Zantema_08/f_5_2.xml MAYBE 173.85/84.83
Zantema_08/cariboo_add2.xml YES 4.02/1.64
Zantema_08/ex4.xml MAYBE 156.88/87.61
Zantema_08/cariboo_nl_2.xml MAYBE 170.32/110.15
Strategy_outermost_added_08/OvConsOS_complete_L.xml NO 2.94/1.28
Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml StarExec error
Strategy_outermost_added_08/nonTermF.xml NO 4.17/2.16
Strategy_outermost_added_08/Ex8_BLR02.xml NO 2.61/1.24
Strategy_outermost_added_08/Ex4_4_Luc96b.xml NO 2.57/1.22
Strategy_outermost_added_08/#4.4.xml NO 2.63/1.19
Strategy_outermost_added_08/Ex4_7_77_Bor03.xml NO 2.85/1.19
Strategy_outermost_added_08/Ex24_Luc06_GM.xml YES 7.80/2.53
Strategy_outermost_added_08/jwno4.xml NO 2.61/1.18
Strategy_outermost_added_08/#4.18.xml NO 2.60/1.16
Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml timeout (wallclock)
Strategy_outermost_added_08/#4.13.xml YES 43.77/17.04
Strategy_outermost_added_08/Ex24_GM04_GM.xml timeout (wallclock)
Strategy_outermost_added_08/nonterm.xml MAYBE 161.37/116.77
Strategy_outermost_added_08/Ex1_GM99_iGM.xml StarExec error
Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml NO 2.48/1.22
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml YES 73.31/20.57
Strategy_outermost_added_08/OvConsOS_nosorts-noand_L.xml NO 2.55/1.19
Strategy_outermost_added_08/PALINDROME_complete-noand_L.xml NO 3.32/1.38
Strategy_outermost_added_08/Ex9_Luc04_L.xml NO 2.52/1.18
Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml NO 2.76/1.29
Strategy_outermost_added_08/PEANO_complete_L.xml NO 2.50/1.24
Strategy_outermost_added_08/Ex3_2_Luc97_L.xml NO 2.50/1.17
Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml NO 2.52/1.22
Strategy_outermost_added_08/OvConsOS_nosorts_L.xml NO 2.60/1.16
Strategy_outermost_added_08/Ex5_7_Luc97_L.xml NO 2.61/1.25
Strategy_outermost_added_08/round_nonterm.xml NO 2.91/1.21
Strategy_outermost_added_08/OvConsOS_nokinds-noand_FR.xml timeout (wallclock)
Strategy_outermost_added_08/Ex6_GM04.xml MAYBE 138.73/128.19
Strategy_outermost_added_08/Ex6_9_Luc02c.xml NO 2.79/1.26
Strategy_outermost_added_08/ExIntrod_GM01_L.xml NO 2.36/1.23
Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml NO 2.83/1.25
Strategy_outermost_added_08/Ex1_GM03_Z.xml NO 2.86/1.31
Strategy_outermost_added_08/test9.xml NO 3.24/1.35
Strategy_outermost_added_08/ExConc_Zan97_Z.xml NO 2.75/1.27
Strategy_outermost_added_08/Ex24_Luc06_iGM.xml StarExec error
Strategy_outermost_added_08/gkg.xml NO 2.58/1.17
Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml NO 3.07/1.26
Strategy_outermost_added_08/Ex6_15_AEL02_L.xml NO 2.67/1.20
Strategy_outermost_added_08/003.xml NO 2.97/1.27
Strategy_outermost_added_08/Ex14_Luc06_L.xml NO 2.62/1.19
Strategy_outermost_added_08/Ex1_GL02a_L.xml NO 2.86/1.18
Strategy_outermost_added_08/TypeEx5.xml NO 2.96/1.25
Strategy_outermost_added_08/ExIntrod_Zan97_L.xml NO 2.45/1.16
Strategy_outermost_added_08/OvConsOS_nokinds_L.xml NO 2.58/1.24
Strategy_outermost_added_08/Ex1_Zan97.xml NO 2.64/1.20
Strategy_outermost_added_08/Ex4_7_56_Bor03.xml NO 2.81/1.28
Strategy_outermost_added_08/ExIntrod_GM99_L.xml NO 2.66/1.17
Strategy_outermost_added_08/Ex1_GM03.xml NO 2.86/3.90
Strategy_outermost_added_08/Ex15_Luc06_L.xml NO 2.63/1.19
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml NO 2.51/1.16
Strategy_outermost_added_08/test10.xml NO 2.75/1.27
Strategy_outermost_added_08/PEANO_complete-noand_L.xml NO 2.71/1.20
Strategy_outermost_added_08/ExIntrod_GM04_Z.xml StarExec error
Strategy_outermost_added_08/n006.xml NO 2.59/1.18
Strategy_outermost_added_08/Ex5_Zan97_L.xml NO 2.76/1.24
Strategy_outermost_added_08/test77.xml StarExec error
Strategy_outermost_added_08/ExSec11_1_Luc02a.xml NO 2.86/1.26
Strategy_outermost_added_08/Ex1_Luc04b_L.xml StarExec error
Strategy_outermost_added_08/#4.17.xml NO 3.08/1.35
Strategy_outermost_added_08/Ex14_AEGL02_L.xml NO 2.56/1.19
Strategy_outermost_added_08/ExIntrod_GM01_Z.xml StarExec error
Strategy_outermost_added_08/Ex9_Luc04_Z.xml NO 2.80/1.23
Strategy_outermost_added_08/Ex1_GL02a_Z.xml YES 108.50/27.83
Strategy_outermost_added_08/Ex7_BLR02.xml NO 2.68/1.20
Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml NO 21.84/6.19
Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml NO 2.51/1.19
Strategy_outermost_added_08/Ex1_GM99_GM.xml StarExec error
Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml NO 2.57/1.25
Strategy_outermost_added_08/Ex6_15_AEL02.xml NO 2.87/1.25
Strategy_outermost_added_08/Ex9_Luc06_Z.xml NO 2.65/1.21
Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml NO 2.59/1.24
Strategy_outermost_added_08/4.06.xml NO 2.91/1.23
Strategy_outermost_added_08/4.54.xml StarExec error
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml StarExec error
Strategy_outermost_added_08/Ex1_Luc02b_L.xml NO 2.52/1.16
Strategy_outermost_added_08/ExIntrod_GM99.xml NO 2.96/1.34
Strategy_outermost_added_08/ExAppendixB_AEL03.xml NO 2.82/1.27
Strategy_outermost_added_08/Ex3_2_Luc97.xml NO 2.76/1.24
Strategy_outermost_added_08/4.34.xml NO 2.87/1.22
Strategy_outermost_added_08/MYNAT_complete-noand_L.xml NO 2.70/1.25
Strategy_outermost_added_08/Ex1_GM99.xml NO 2.89/1.26
Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml StarExec error
Strategy_outermost_added_08/n001.xml NO 2.55/1.17
Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml NO 2.55/1.19
Strategy_outermost_added_08/n005.xml NO 2.54/1.18
Strategy_outermost_added_08/PEANO_nosorts_L.xml NO 2.37/1.23
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml NO 2.48/1.20
Strategy_outermost_added_08/001.xml NO 2.77/1.23
Strategy_outermost_added_08/test75.xml NO 3.09/1.33
Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml NO 2.64/1.20
Strategy_outermost_added_08/n007.xml NO 2.56/1.18
Strategy_outermost_added_08/Ex1_Luc04b_Z.xml NO 2.72/1.22
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml NO 3.04/1.25
Strategy_outermost_added_08/PALINDROME_nosorts_L.xml NO 2.53/1.16
Strategy_outermost_added_08/jwno6.xml NO 2.73/1.21
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml NO 3.80/1.49
Strategy_outermost_added_08/PEANO_nokinds_L.xml NO 2.76/1.17
Strategy_outermost_added_08/Ex15_Luc98.xml NO 2.67/1.30
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 237.69/110.13
Strategy_outermost_added_08/Ex16_Luc06_L.xml NO 2.51/1.15
Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml NO 2.58/1.19
Strategy_outermost_added_08/ExAppendixB_AEL03_L.xml NO 2.53/1.19
Strategy_outermost_added_08/n002.xml NO 2.51/1.17
Strategy_outermost_added_08/Ex8_BLR02_L.xml NO 2.55/1.25
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_iGM.xml StarExec error
Strategy_outermost_added_08/Ex14_Luc06_Z.xml NO 3.90/1.51
Strategy_outermost_added_08/Ex1_GM99_Z.xml NO 2.98/1.27
Strategy_outermost_added_08/Ex4_Zan97.xml NO 2.79/1.23
Strategy_outermost_added_08/Ex3_3_25_Bor03.xml NO 2.73/1.22
Strategy_outermost_added_08/#4.16.xml NO 2.71/1.22
Strategy_outermost_added_08/#4.15.xml NO 2.75/1.21
Strategy_outermost_added_08/Ex5_7_Luc97.xml NO 3.02/1.27
Strategy_outermost_added_08/Ex24_GM04_L.xml NO 2.57/1.19
Strategy_outermost_added_08/4.49.xml NO 2.57/1.16
Strategy_outermost_added_08/Ex14_AEGL02.xml NO 2.81/1.22
Strategy_outermost_added_08/TypeEx3.xml MAYBE 403.27/199.14
Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml NO 25.47/9.94
Strategy_outermost_added_08/ExIntrod_GM01_FR.xml StarExec error
Strategy_outermost_added_08/#4.14.xml NO 2.85/1.51
Strategy_outermost_added_08/Ex15_Luc98_L.xml NO 2.77/1.19
Strategy_outermost_added_08/Ex6_Luc98.xml NO 2.69/1.19
Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml NO 2.89/1.26
Strategy_outermost_added_08/PALINDROME_complete_L.xml NO 2.63/1.20
Strategy_outermost_added_08/Ex4_DLMMU04_L.xml NO 2.75/1.22
Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_Z.xml timeout (wallclock)
Strategy_outermost_added_08/ExConc_Zan97.xml NO 2.56/1.17
Strategy_outermost_added_08/ExIntrod_GM01.xml NO 2.77/1.28
Strategy_outermost_added_08/ttt1.xml NO 2.87/1.26
Strategy_outermost_added_08/ExIntrod_GM04.xml NO 2.79/1.24
Strategy_outermost_added_08/PALINDROME_nokinds_L.xml NO 2.38/1.56
Strategy_outermost_added_08/Ex14_AEGL02_Z.xml NO 3.83/1.48
Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml NO 3.02/1.26
Strategy_outermost_added_08/Ex3_12_Luc96a.xml NO 2.58/1.18
Strategy_outermost_added_08/Ex4_Zan97_L.xml NO 2.59/1.24
Strategy_outermost_added_08/Ex7_BLR02_L.xml NO 2.49/1.16
Strategy_outermost_added_08/Ex1_GM99_L.xml NO 2.32/1.16
Strategy_outermost_added_08/2.05.xml NO 3.31/1.32
Strategy_outermost_added_08/Ex9_Luc06_L.xml NO 2.64/1.19
Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml NO 2.49/1.23
Strategy_outermost_added_08/Ex14_Luc06_GM.xml timeout (wallclock)
Strategy_outermost_added_08/muladd.xml NO 2.64/1.19
Strategy_outermost_added_08/Ex6_GM04_Z.xml MAYBE 204.92/139.09
Strategy_outermost_added_08/Ex9_Luc04_GM.xml StarExec error
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_FR.xml timeout (wallclock)
Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml NO 2.60/1.24
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml YES 215.55/58.06
Strategy_outermost_added_08/Hamming.xml timeout (wallclock)
Strategy_outermost_added_08/Ex1_Zan97_L.xml NO 2.60/1.16
Strategy_outermost_added_08/Ex2_Luc03b.xml NO 2.49/1.21
Strategy_outermost_added_08/Ex1_GL02a.xml NO 2.68/1.20
Strategy_outermost_added_08/Ex26_Luc03b.xml NO 2.59/1.28
Strategy_outermost_added_08/Ex24_Luc06_Z.xml NO 3.12/1.43
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml NO 2.48/1.17
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml timeout (wallclock)
Strategy_outermost_added_08/MYNAT_complete_L.xml NO 2.90/1.25
Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml NO 2.86/2.10
Strategy_outermost_added_08/thiemann28.xml StarExec error
Strategy_outermost_added_08/Ex9_BLR02.xml NO 2.82/1.25
Strategy_outermost_added_08/n003.xml NO 2.45/1.15
Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml NO 2.88/1.25
Strategy_outermost_added_08/Ex1_Zan97_Z.xml NO 2.73/1.26
Strategy_outermost_added_08/Ex24_GM04.xml MAYBE 90.41/60.44
Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml NO 2.72/1.25
Strategy_outermost_added_08/Ex1_Luc04b_FR.xml YES 255.56/73.64
Strategy_outermost_added_08/append-wrong.xml StarExec error
Strategy_outermost_added_08/#4.3.xml NO 2.66/1.25
Strategy_outermost_added_08/ttt2.xml NO 3.02/1.28
Strategy_outermost_added_08/Ex1_GM03_L.xml NO 2.44/1.19
Strategy_outermost_added_08/Ex5_DLMMU04_L.xml NO 2.57/1.25
Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml NO 12.70/3.81
Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml NO 2.55/1.21
Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml StarExec error
Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml StarExec error
Strategy_outermost_added_08/LISTUTILITIES_complete-noand_L.xml NO 2.94/1.30
Strategy_outermost_added_08/Ex5_Zan97.xml YES 256.04/77.17
Strategy_outermost_added_08/n004.xml NO 2.73/1.17
Strategy_outermost_added_08/ExIntrod_GM99_Z.xml timeout (wallclock)
Strategy_outermost_added_08/Ex4_7_15_Bor03.xml NO 2.63/1.20
Strategy_outermost_added_08/MYNAT_nokinds-noand_L.xml NO 2.54/1.18
Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml NO 2.94/1.28
Strategy_outermost_added_08/4.40.xml NO 7.34/2.45
Strategy_outermost_added_08/test76.xml NO 11.51/3.61
Strategy_outermost_added_08/termMonTypes.xml NO 3.14/1.25
Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml NO 2.84/1.31
Strategy_outermost_added_08/Ex14_AEGL02_FR.xml StarExec error
Strategy_outermost_added_08/n008.xml NO 2.80/1.16
Strategy_outermost_added_08/MYNAT_nosorts_L.xml NO 2.48/1.18
Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml NO 2.56/1.18
Strategy_outermost_added_08/Ex49_GM04_L.xml NO 2.59/1.24
Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml NO 13.35/3.96
Strategy_outermost_added_08/Ex1_Luc02b.xml NO 2.60/1.18
Strategy_outermost_added_08/LengthOfFiniteLists_complete_L.xml NO 2.59/1.19
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_L.xml NO 2.62/1.18
Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml StarExec error
Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml NO 2.77/1.23
Strategy_outermost_added_08/OvConsOS_nosorts-noand_FR.xml NO 26.65/7.34
Strategy_outermost_added_08/ExIntrod_GM04_L.xml NO 2.52/1.17
Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml timeout (wallclock)
Strategy_outermost_added_08/jwno1.xml NO 2.80/1.23
Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml NO 2.53/1.21
Strategy_outermost_added_08/#4.2.xml NO 2.67/1.22
Strategy_outermost_added_08/ExIntrod_GM04_FR.xml StarExec error
Strategy_outermost_added_08/Ex1_2_Luc02c.xml NO 2.65/1.23
Strategy_outermost_added_08/#4.12a.xml StarExec error
Strategy_outermost_added_08/Ex4_7_37_Bor03.xml NO 2.88/1.27
Strategy_outermost_added_08/Ex1_2_AEL03_L.xml NO 2.54/1.18
Strategy_outermost_added_08/ExIntrod_Zan97.xml NO 2.82/1.26
Strategy_outermost_added_08/#4.7.xml NO 2.64/1.17
Strategy_outermost_added_08/MYNAT_nokinds_L.xml NO 2.53/1.18
Strategy_outermost_added_08/Ex1_2_AEL03.xml NO 2.81/1.25
Strategy_outermost_added_08/cime4.xml NO 3.05/2.92
203