Termination Competition 2018: TRS Innermost30046

benchmark AProVE muterm 5.18
raML/queue.raml.xml YES 13.67/4.83 YES 18.62/19.09
raML/appendAll.raml.xml YES 3.38/1.53 YES 0.01/0.01
raML/subtrees.raml.xml YES 3.81/1.69 YES 0.01/0.01
raML/rationalPotential.raml.xml YES 3.70/1.77 YES 0.01/0.02
Mixed_innermost/innermost4.xml YES 3.79/1.71 YES 2.35/2.50
Mixed_innermost/cade05.xml YES 6.64/2.58 StarExec error
Mixed_innermost/test9.xml YES 4.09/1.84 YES 0.16/0.22
Mixed_innermost/gkg.xml YES 3.49/1.63 YES 0.01/0.01
Mixed_innermost/cade04.xml StarExec error MAYBE 149.72/151.21
Mixed_innermost/toyama.xml YES 3.49/1.64 YES 0.01/0.01
Mixed_innermost/test10.xml YES 3.79/1.74 YES 0.01/0.01
Mixed_innermost/test77.xml YES 4.38/2.03 YES 0.14/0.44
Mixed_innermost/cade12.xml StarExec error StarExec error
Mixed_innermost/wiehe14.xml YES 6.79/2.52 YES 0.42/0.46
Mixed_innermost/innermost5.xml YES 3.91/1.83 StarExec error
Mixed_innermost/n001.xml NO 5.97/2.35 MAYBE 0.67/0.70
Mixed_innermost/test75.xml YES 4.32/2.08 YES 0.11/0.14
Mixed_innermost/cade13.xml YES 7.07/3.19 MAYBE 69.41/70.13
Mixed_innermost/wiehe13.xml YES 6.47/3.68 YES 0.25/0.27
Mixed_innermost/muladd.xml NO 4.90/2.20 MAYBE 0.21/0.26
Mixed_innermost/thiemann28i.xml YES 8.19/3.79 MAYBE 148.32/149.23
Mixed_innermost/narrow2.xml StarExec error StarExec error
Mixed_innermost/innermost2.xml YES 3.71/1.66 timeout (wallclock)
Mixed_innermost/run_again1.xml NO 7.93/3.24 StarExec error
Mixed_innermost/test830.xml YES 3.74/1.69 YES 0.02/0.03
Mixed_innermost/innermost3.xml StarExec error YES 0.74/1.09
Mixed_innermost/bn111.xml YES 3.53/1.64 YES 0.01/0.01
Mixed_innermost/tricky1.xml YES 3.79/2.71 YES 0.01/0.01
Mixed_innermost/innermost1.xml YES 3.44/1.56 YES 0.01/0.01
Mixed_innermost/thiemann26i.xml YES 7.49/2.78 MAYBE 268.26/273.42
Mixed_innermost/test76.xml YES 6.75/2.74 YES 0.13/0.18
Mixed_innermost/run_again2.xml StarExec error StarExec error
Mixed_innermost/narrow1.xml StarExec error StarExec error
Mixed_innermost/test833.xml StarExec error YES 0.09/0.13
Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml NO 12.59/5.88 timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml YES 3.83/1.72 YES 7.70/7.85
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml YES 6.23/2.42 timeout (wallclock)
Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml YES 5.42/2.19 YES 0.09/0.09
Transformed_CSR_innermost_04/PALINDROME_complete_C.xml YES 7.87/2.83 StarExec error
Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml YES 5.99/2.21 YES 0.28/0.28
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml YES 4.55/2.58 YES 0.03/0.04
Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml YES 8.55/2.95 StarExec error
Transformed_CSR_innermost_04/ExConc_Zan97_C.xml YES 3.95/1.68 YES 0.06/0.06
Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex24_Luc06_C.xml YES 3.38/1.59 StarExec error
Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml YES 10.95/3.67 YES 0.80/0.86
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml YES 5.48/2.20 StarExec error
Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml YES 3.80/1.77 YES 0.01/0.01
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml YES 8.28/3.07 YES 0.62/0.65
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml YES 3.47/1.61 YES 0.02/0.04
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml YES 4.52/1.90 StarExec error
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml YES 15.02/4.91 YES 103.88/108.03
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml YES 4.10/1.81 YES 0.16/0.30
Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml YES 4.18/1.91 YES 0.15/0.16
Transformed_CSR_innermost_04/Ex9_Luc04_C.xml YES 3.75/1.79 StarExec error
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex23_Luc06_C.xml YES 3.67/2.02 YES 0.06/0.09
Transformed_CSR_innermost_04/Ex24_GM04_GM.xml YES 3.46/1.63 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml YES 4.01/1.77 YES 0.19/0.19
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml YES 9.95/3.69 StarExec error
Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml YES 52.91/16.02 YES 198.01/200.29
Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml YES 3.63/1.65 StarExec error
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml NO 5.67/2.40 timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml YES 463.37/163.32 timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml YES 18.81/6.20 YES 216.58/222.57
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml YES 7.82/2.79 YES 0.17/0.17
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml timeout (wallclock) StarExec error
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml YES 7.06/2.52 StarExec error
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml YES 3.70/1.71 YES 0.10/0.13
Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml YES 4.32/1.89 YES 0.17/0.17
Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/Ex23_Luc06_L.xml YES 3.14/1.49 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml YES 16.40/4.93 YES 0.08/0.08
Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml YES 9.36/3.24 YES 0.62/0.61
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml YES 166.86/45.96 timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml YES 11.54/3.90 YES 0.42/0.42
Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml YES 43.37/13.49 YES 7.01/7.00
Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml YES 4.47/2.98 StarExec error
Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml YES 7.10/2.73 StarExec error
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml YES 3.59/1.66 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml YES 3.76/1.66 YES 2.17/2.19
Transformed_CSR_innermost_04/Ex1_GM03_GM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex7_BLR02_C.xml YES 3.98/1.77 StarExec error
Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml YES 4.27/1.89 StarExec error
Transformed_CSR_innermost_04/Ex5_Zan97_C.xml YES 3.60/1.61 YES 3.26/3.32
Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml YES 4.22/1.77 YES 0.74/0.75
Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml YES 207.23/65.67 StarExec error
Transformed_CSR_innermost_04/Ex14_Luc06_C.xml YES 4.88/2.12 StarExec error
Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml YES 4.81/2.84 YES 0.99/1.13
Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml timeout (wallclock) StarExec error
Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml YES 16.61/5.18 YES 65.55/66.83
Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml YES 9.44/3.23 YES 33.54/35.27
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_nosorts_C.xml YES 3.60/1.72 YES 0.09/0.09
Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml YES 12.51/4.70 YES 1.66/1.66
Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml YES 3.59/1.63 YES 0.01/0.01
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml YES 4.76/1.95 YES 2.36/2.41
Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml YES 4.99/2.04 YES 0.18/0.17
Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml YES 4.40/1.83 StarExec error
Transformed_CSR_innermost_04/Ex6_Luc98_L.xml YES 3.51/1.63 StarExec error
Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml YES 5.91/2.27 StarExec error
Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml YES 4.10/1.86 YES 0.01/0.02
Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml YES 3.86/1.68 YES 0.24/0.23
Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml YES 3.86/1.72 StarExec error
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml YES 6.75/2.64 StarExec error
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml YES 3.51/1.58 YES 0.14/0.15
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml YES 15.12/5.03 timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml YES 17.07/5.24 StarExec error
Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml StarExec error YES 165.63/170.43
Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml YES 3.21/1.49 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml YES 21.24/6.63 YES 17.42/18.60
Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml YES 4.73/2.06 YES 271.00/283.09
Transformed_CSR_innermost_04/Ex1_GM99_GM.xml YES 4.22/2.32 YES 0.03/0.03
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml YES 4.50/1.95 YES 58.82/69.80
Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml YES 110.67/38.84 StarExec error
Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml YES 3.63/1.64 YES 0.16/0.16
Transformed_CSR_innermost_04/Ex1_GL02a_C.xml YES 3.86/1.69 YES 6.84/6.92
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml YES 8.11/2.88 YES 289.25/293.42
Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml YES 12.20/4.07 StarExec error
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml YES 6.73/2.55 YES 0.64/0.66
Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml YES 3.95/1.71 YES 0.06/0.06
Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/Ex25_Luc06_L.xml YES 3.29/1.50 YES 0.01/0.03
Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml YES 4.55/2.17 YES 0.05/0.06
Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml YES 6.91/2.64 YES 0.12/0.13
Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml YES 3.50/1.53 YES 0.01/0.02
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml YES 14.14/5.46 timeout (wallclock)
Transformed_CSR_innermost_04/Ex24_GM04_C.xml YES 3.54/1.75 StarExec error
Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml YES 7.06/2.75 YES 0.15/0.14
Transformed_CSR_innermost_04/Ex9_BLR02_C.xml YES 4.18/1.81 YES 0.33/0.35
Transformed_CSR_innermost_04/Ex1_GM03_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml YES 3.73/1.65 StarExec error
Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml YES 3.66/1.66 YES 3.20/3.24
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml YES 3.80/1.86 YES 0.01/0.02
Transformed_CSR_innermost_04/PEANO_complete_iGM.xml YES 6.78/2.53 YES 14.97/16.18
Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml YES 3.77/1.67 YES 0.01/0.01
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml YES 5.01/2.03 timeout (wallclock)
Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml YES 3.81/1.83 StarExec error
Transformed_CSR_innermost_04/Ex9_BLR02_L.xml YES 3.54/1.62 YES 0.01/0.01
Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml YES 3.34/1.58 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml YES 3.80/1.92 StarExec error
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml YES 7.53/2.64 timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml YES 7.97/2.86 YES 1.70/1.84
Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml YES 12.59/4.23 YES 6.76/6.73
Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml YES 5.23/3.13 YES 0.04/0.52
Transformed_CSR_innermost_04/Ex6_GM04_C.xml YES 3.93/1.69 YES 0.05/0.06
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml NO 26.09/11.49 StarExec error
Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml YES 25.60/7.84 YES 5.10/5.38
Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml YES 4.13/1.80 StarExec error
Transformed_CSR_innermost_04/Ex18_Luc06_L.xml YES 3.27/1.53 YES 0.01/0.01
Transformed_CSR_innermost_04/OvConsOS_complete_C.xml timeout (wallclock) StarExec error
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml YES 75.44/26.63 timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml YES 3.58/1.67 YES 0.26/0.26
Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml YES 3.65/1.64 YES 0.02/0.04
Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml YES 8.41/3.02 YES 3.20/9.52
Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml YES 3.40/1.56 YES 0.01/0.02
Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml YES 4.37/1.91 YES 9.94/10.04
Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml timeout (wallclock) StarExec error
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml YES 5.25/2.89 YES 1.59/1.66
Transformed_CSR_innermost_04/ExConc_Zan97_L.xml YES 3.19/1.48 YES 0.01/0.01
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml YES 6.97/2.56 StarExec error
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml YES 3.48/1.54 YES 0.15/0.15
Transformed_CSR_innermost_04/Ex6_Luc98_C.xml YES 3.64/1.65 YES 0.11/0.13
Transformed_CSR_innermost_04/Ex9_Luc06_C.xml YES 3.79/1.69 timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml YES 10.38/3.40 StarExec error
Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml YES 3.90/1.74 YES 27.28/29.52
Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml YES 141.72/46.81 StarExec error
Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml YES 6.93/2.54 YES 0.85/0.89
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml YES 108.70/40.95 StarExec error
Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml YES 3.62/1.58 YES 0.03/0.04
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml YES 4.23/1.85 YES 0.04/0.04
Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml YES 4.03/1.78 StarExec error
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml YES 11.37/4.77 timeout (wallclock)
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml YES 4.10/1.81 YES 0.18/0.18
Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml YES 3.42/1.59 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml YES 9.96/3.39 YES 0.39/0.38
Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml YES 6.24/2.31 StarExec error
Transformed_CSR_innermost_04/PEANO_nokinds_C.xml YES 3.99/1.74 StarExec error
Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml YES 3.61/1.78 YES 0.20/0.19
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml YES 4.06/1.77 StarExec error
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml YES 187.81/53.83 StarExec error
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml YES 3.21/1.50 YES 0.01/0.01
Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml YES 6.79/2.57 StarExec error
Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml YES 6.47/2.42 YES 0.27/0.27
Transformed_CSR_innermost_04/Ex49_GM04_C.xml YES 4.15/1.85 YES 2.10/2.27
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex1_GM99_C.xml YES 3.49/1.63 StarExec error
Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml YES 82.79/21.71 StarExec error
Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml YES 6.32/2.35 StarExec error
Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml YES 3.68/2.01 YES 0.01/0.02
Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml YES 4.22/1.85 YES 1.26/1.37
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml YES 16.79/5.39 YES 1.16/1.18
Transformed_CSR_innermost_04/Ex6_GM04_GM.xml YES 3.27/1.59 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex16_Luc06_C.xml YES 3.45/1.60 StarExec error
Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml YES 5.20/2.06 YES 0.07/0.07
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml YES 16.28/5.07 YES 4.99/4.96
Transformed_CSR_innermost_04/Ex15_Luc06_C.xml YES 3.86/1.68 YES 23.67/23.77
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml YES 7.16/2.70 YES 0.44/0.46
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml YES 3.98/1.80 timeout (wallclock)
Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml YES 7.40/2.73 YES 0.35/0.50
Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml YES 3.71/1.60 YES 31.23/31.31
Transformed_CSR_innermost_04/Ex4_Zan97_C.xml YES 3.61/1.70 StarExec error
Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml YES 6.12/2.31 YES 0.19/0.19
Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex1_Zan97_C.xml YES 8.45/3.06 YES 14.42/14.48
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml YES 10.63/3.58 YES 3.23/3.41
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml YES 3.46/1.54 YES 0.25/0.24
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml YES 3.67/1.59 YES 20.52/20.57
Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml YES 5.28/2.16 StarExec error
Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml YES 3.30/1.54 YES 0.03/0.04
Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml YES 7.64/2.70 YES 0.26/0.26
Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml YES 86.23/24.42 StarExec error
Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml YES 4.14/1.76 YES 1.85/1.86
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml NO 9.87/3.41 timeout (wallclock)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml YES 3.40/1.59 YES 0.03/0.05
Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml YES 4.24/1.90 YES 0.24/0.24
Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml YES 9.88/3.70 YES 3.79/4.16
Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml YES 6.98/2.69 YES 19.46/19.74
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml YES 4.98/1.97 YES 1.08/1.09
Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml YES 163.30/66.61 YES 110.99/119.50
Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml YES 177.96/47.07 timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_complete_GM.xml YES 5.22/2.08 YES 13.18/14.14
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml YES 14.18/4.59 StarExec error
Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml YES 3.73/1.69 YES 0.09/0.09
Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml YES 6.13/2.36 YES 3.52/3.67
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml YES 3.61/1.69 StarExec error
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml YES 8.56/2.91 YES 0.19/0.19
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml YES 3.45/1.58 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex49_GM04_GM.xml YES 7.72/2.72 YES 0.12/0.14
Transformed_CSR_innermost_04/Ex25_Luc06_C.xml YES 3.79/1.68 YES 0.08/0.08
Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml YES 3.49/1.53 YES 0.03/0.07
Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml YES 4.93/2.03 YES 0.09/0.09
Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml YES 7.11/2.64 YES 0.64/0.68
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml YES 5.09/2.00 YES 0.25/0.24
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex18_Luc06_C.xml YES 3.53/1.56 YES 0.05/0.06
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml YES 23.05/7.32 YES 1.35/1.35
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml YES 4.34/2.25 YES 1.29/1.37
Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml YES 3.56/1.66 YES 0.01/0.01
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml YES 21.62/6.73 YES 14.30/14.48
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml YES 10.52/3.62 YES 0.45/0.44
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml YES 5.10/2.18 YES 0.13/0.13
Transformed_CSR_innermost_04/Ex15_Luc98_C.xml YES 3.64/1.63 YES 0.18/0.17
Transformed_CSR_innermost_04/Ex8_BLR02_C.xml YES 4.00/2.16 StarExec error
Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml YES 714.38/253.29 StarExec error
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml YES 5.10/2.07 YES 12.95/14.27
Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml YES 6.18/2.33 StarExec error
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml YES 6.93/2.45 YES 1.13/1.12
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml YES 7.03/2.50 StarExec error
Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml YES 3.42/1.53 YES 0.01/0.01
Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml YES 6.20/2.30 YES 1.09/1.07
Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml YES 43.35/13.07 StarExec error
Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml YES 4.50/1.98 StarExec error
Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml YES 9.16/3.36 YES 35.41/35.73
Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml YES 4.21/1.76 YES 0.12/0.12
Transformed_CSR_innermost_04/PEANO_complete_C.xml YES 5.62/2.27 StarExec error
Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml StarExec error timeout (wallclock)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml YES 4.22/1.83 StarExec error
Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml YES 13.70/4.45 YES 0.49/0.48
Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml YES 60.51/16.22 timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml YES 3.90/1.72 timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml YES 5.92/2.19 YES 0.29/0.29
Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml YES 3.57/1.60 StarExec error
Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/MYNAT_complete_C.xml YES 11.75/3.73 StarExec error
Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml YES 3.42/2.23 YES 0.03/0.04
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml YES 4.20/1.79 StarExec error
Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml StarExec error StarExec error
Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml YES 14.84/5.04 YES 0.67/0.66
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml YES 7.62/2.72 YES 77.22/79.35
Applicative_AG01_innermost/#4.19.xml YES 4.52/1.91 MAYBE 25.35/25.66
Applicative_AG01_innermost/#4.13.xml YES 4.18/1.79 YES 0.02/0.02
Applicative_AG01_innermost/#4.10.xml YES 4.18/1.79 YES 0.02/0.02
Applicative_AG01_innermost/#4.8.xml YES 7.67/3.11 YES 0.86/0.91
Applicative_AG01_innermost/#4.17.xml YES 4.78/2.01 YES 2.08/2.11
Applicative_AG01_innermost/#4.22.xml YES 4.43/1.89 MAYBE 5.78/6.13
Applicative_AG01_innermost/#4.36.xml YES 7.01/2.65 StarExec error
Applicative_AG01_innermost/#4.26.xml YES 5.46/2.16 MAYBE 14.31/15.03
Applicative_AG01_innermost/#4.15.xml YES 4.35/1.86 YES 0.02/0.03
Applicative_AG01_innermost/#4.24.xml YES 4.52/1.94 YES 0.03/0.03
Applicative_AG01_innermost/#4.28.xml YES 4.44/1.85 MAYBE 1.36/1.42
Applicative_AG01_innermost/#4.3.xml YES 4.37/1.90 YES 0.02/0.02
Applicative_AG01_innermost/#4.5.xml YES 4.21/1.80 YES 0.02/0.02
Applicative_AG01_innermost/#4.34.xml YES 4.68/1.98 YES 0.71/0.82
Applicative_AG01_innermost/#4.2.xml YES 4.41/1.84 YES 0.02/0.02
Applicative_AG01_innermost/#4.7.xml YES 4.30/1.79 YES 0.02/0.02
AG01_innermost/#4.4.xml YES 3.52/1.64 YES 0.01/0.01
AG01_innermost/#4.19.xml YES 3.88/1.74 YES 0.01/0.02
AG01_innermost/#4.31.xml YES 15.37/4.64 YES 7.11/7.53
AG01_innermost/#4.18.xml YES 3.84/1.71 YES 0.01/0.01
AG01_innermost/#4.13.xml YES 3.53/1.65 YES 0.01/0.01
AG01_innermost/#4.27.xml YES 3.79/1.73 YES 0.03/0.05
AG01_innermost/#4.17.xml YES 3.60/5.58 YES 6.53/6.58
AG01_innermost/#4.22.xml YES 3.56/1.63 YES 0.01/0.01
AG01_innermost/#4.36.xml YES 5.47/2.18 StarExec error
AG01_innermost/#4.37.xml YES 3.66/1.62 YES 0.03/0.06
AG01_innermost/#4.20a.xml YES 3.30/1.69 YES 0.02/0.03
AG01_innermost/#4.30b.xml YES 7.17/3.43 YES 2.42/2.85
AG01_innermost/#4.33.xml YES 4.06/1.77 YES 0.05/0.06
AG01_innermost/#4.26.xml YES 4.53/1.93 YES 0.05/0.08
AG01_innermost/#4.35.xml YES 5.93/2.37 YES 0.18/0.18
AG01_innermost/#4.16.xml YES 3.45/1.61 YES 0.01/0.01
AG01_innermost/#4.15.xml YES 3.48/2.98 YES 0.01/0.01
AG01_innermost/#4.14.xml YES 3.50/1.58 YES 0.01/0.01
AG01_innermost/#4.23.xml YES 4.04/1.81 YES 0.02/0.05
AG01_innermost/#4.24.xml YES 4.04/1.74 YES 0.01/0.01
AG01_innermost/#4.32.xml YES 3.48/1.61 YES 0.01/0.01
AG01_innermost/#4.28.xml YES 3.54/1.62 YES 0.04/1.19
AG01_innermost/#4.25.xml YES 3.48/1.99 YES 0.08/0.12
AG01_innermost/#4.21.xml YES 3.35/1.51 YES 0.01/0.01
AG01_innermost/#4.30a.xml YES 4.93/3.01 YES 0.14/0.21
AG01_innermost/#4.3.xml YES 3.44/1.62 YES 0.01/0.01
AG01_innermost/#4.20.xml YES 3.30/1.53 YES 0.01/0.01
AG01_innermost/#4.5.xml YES 5.04/1.93 YES 0.01/0.01
AG01_innermost/#4.30.xml YES 8.04/3.31 YES 4.16/4.35
AG01_innermost/#4.29.xml StarExec error YES 0.10/0.11
AG01_innermost/#4.34.xml YES 3.65/1.72 YES 0.05/0.06
AG01_innermost/#4.37a.xml YES 3.68/2.40 YES 0.04/0.04
AG01_innermost/#4.2.xml YES 3.54/1.61 YES 0.01/0.01
AG01_innermost/#4.12a.xml YES 4.00/1.89 YES 0.15/0.22
AG01_innermost/#4.7.xml YES 3.73/1.66 YES 0.01/0.01
296 208