Termination Competition 2018: TRS Innermost Certified30097

benchmark AProVE
raML/queue.raml.xml YES 13.99/4.85
raML/appendAll.raml.xml YES 3.29/1.69
raML/subtrees.raml.xml YES 3.92/1.85
raML/rationalPotential.raml.xml YES 3.72/1.75
Mixed_innermost/innermost4.xml StarExec error
Mixed_innermost/cade05.xml YES 5.42/2.87
Mixed_innermost/test9.xml YES 3.98/1.86
Mixed_innermost/gkg.xml YES 3.50/1.62
Mixed_innermost/cade04.xml MAYBE 315.57/291.46
Mixed_innermost/toyama.xml YES 3.34/1.66
Mixed_innermost/test10.xml YES 3.94/1.80
Mixed_innermost/test77.xml YES 3.89/1.82
Mixed_innermost/cade12.xml timeout (wallclock)
Mixed_innermost/wiehe14.xml YES 6.75/2.52
Mixed_innermost/innermost5.xml MAYBE 11.33/4.46
Mixed_innermost/n001.xml NO 5.89/2.27
Mixed_innermost/test75.xml YES 3.89/1.86
Mixed_innermost/cade13.xml YES 5.93/2.34
Mixed_innermost/wiehe13.xml YES 6.02/2.31
Mixed_innermost/muladd.xml NO 4.69/6.51
Mixed_innermost/thiemann28i.xml YES 6.70/3.16
Mixed_innermost/narrow2.xml MAYBE 1057.29/291.61
Mixed_innermost/innermost2.xml YES 3.65/1.71
Mixed_innermost/run_again1.xml NO 6.74/2.55
Mixed_innermost/test830.xml YES 3.75/1.77
Mixed_innermost/innermost3.xml YES 4.20/1.85
Mixed_innermost/bn111.xml YES 3.50/1.65
Mixed_innermost/tricky1.xml YES 3.71/1.69
Mixed_innermost/innermost1.xml YES 3.62/1.74
Mixed_innermost/thiemann26i.xml YES 7.44/2.89
Mixed_innermost/test76.xml YES 3.73/1.82
Mixed_innermost/run_again2.xml timeout (wallclock)
Mixed_innermost/narrow1.xml timeout (wallclock)
Mixed_innermost/test833.xml YES 3.51/1.62
Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml NO 13.82/6.14
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml YES 7.30/2.81
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml YES 6.53/2.51
Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml YES 5.31/2.07
Transformed_CSR_innermost_04/PALINDROME_complete_C.xml YES 14.29/4.77
Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml YES 6.17/2.34
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml YES 4.90/2.00
Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml YES 8.88/3.03
Transformed_CSR_innermost_04/ExConc_Zan97_C.xml YES 9.93/3.31
Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml MAYBE 811.69/293.07
Transformed_CSR_innermost_04/Ex24_Luc06_C.xml YES 46.32/19.58
Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml YES 10.04/3.40
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml YES 3.98/1.83
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml YES 12.05/4.30
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml StarExec error
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml YES 16.87/5.67
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml YES 4.36/1.95
Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml YES 4.67/1.96
Transformed_CSR_innermost_04/Ex9_Luc04_C.xml MAYBE 857.13/291.55
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex23_Luc06_C.xml YES 14.22/4.45
Transformed_CSR_innermost_04/Ex24_GM04_GM.xml YES 3.82/1.71
Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml MAYBE 888.57/291.90
Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml YES 8.48/3.04
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml MAYBE 640.94/291.92
Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml YES 17.43/7.45
Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml MAYBE 853.23/291.54
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml YES 47.31/14.71
Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml YES 88.58/47.26
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml NO 5.71/2.32
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml YES 381.19/160.04
Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml YES 19.62/10.10
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml MAYBE 611.30/291.85
Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml YES 6.31/2.46
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml YES 6.39/2.41
Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml YES 4.40/1.87
Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml MAYBE 1041.03/292.24
Transformed_CSR_innermost_04/Ex23_Luc06_L.xml YES 3.12/1.49
Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml YES 19.73/5.83
Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml YES 7.79/2.84
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml MAYBE 823.23/292.90
Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml YES 165.93/45.27
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml YES 11.12/3.79
Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml YES 39.49/12.10
Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml YES 4.75/2.60
Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml YES 7.27/2.81
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml YES 3.29/1.59
Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml YES 7.49/2.70
Transformed_CSR_innermost_04/Ex1_GM03_GM.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex7_BLR02_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml MAYBE 957.94/294.17
Transformed_CSR_innermost_04/Ex5_Zan97_C.xml YES 5.88/2.39
Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml YES 4.06/1.80
Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml MAYBE 759.79/292.69
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml YES 149.08/58.98
Transformed_CSR_innermost_04/Ex14_Luc06_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml YES 5.28/2.22
Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml YES 16.12/5.03
Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml YES 9.68/3.34
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml MAYBE 658.10/291.99
Transformed_CSR_innermost_04/PEANO_nosorts_C.xml YES 5.34/2.14
Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml YES 12.44/4.28
Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml YES 3.75/1.69
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml MAYBE 741.99/292.33
Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml MAYBE 1152.92/291.93
Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml YES 12.50/4.08
Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml YES 5.47/2.24
Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex6_Luc98_L.xml YES 3.56/1.60
Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml MAYBE 863.19/292.69
Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml MAYBE 636.70/292.50
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml MAYBE 967.02/294.34
Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml YES 3.94/1.79
Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml YES 3.62/1.66
Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml YES 10.10/3.43
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml MAYBE 997.42/293.10
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml YES 5.51/2.20
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml YES 14.39/4.59
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml YES 16.57/5.14
Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml YES 7.52/2.70
Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml YES 3.15/1.50
Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml YES 19.94/6.45
Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml YES 5.06/2.04
Transformed_CSR_innermost_04/Ex1_GM99_GM.xml YES 4.12/1.78
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml YES 4.59/2.04
Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml YES 114.99/41.64
Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml YES 8.60/3.66
Transformed_CSR_innermost_04/Ex1_GL02a_C.xml YES 12.17/4.03
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml MAYBE 612.93/291.82
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml YES 8.60/3.08
Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml YES 18.24/5.75
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml MAYBE 1080.05/291.75
Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml YES 6.59/2.49
Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml YES 3.86/1.70
Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml MAYBE 955.33/292.14
Transformed_CSR_innermost_04/Ex25_Luc06_L.xml YES 3.13/1.52
Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml MAYBE 738.93/292.43
Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml YES 4.43/1.92
Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml YES 7.03/2.72
Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml YES 7.82/2.91
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml MAYBE 308.62/292.29
Transformed_CSR_innermost_04/Ex24_GM04_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml YES 6.80/2.66
Transformed_CSR_innermost_04/Ex9_BLR02_C.xml YES 8.91/3.13
Transformed_CSR_innermost_04/Ex1_GM03_C.xml MAYBE 903.98/291.58
Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml YES 3.97/1.77
Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml YES 5.56/2.16
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml YES 3.72/1.77
Transformed_CSR_innermost_04/PEANO_complete_iGM.xml YES 7.31/2.68
Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml YES 4.07/1.77
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml MAYBE 852.64/291.89
Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex9_BLR02_L.xml YES 3.45/1.54
Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml YES 6.88/2.60
Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml MAYBE 948.38/292.60
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml MAYBE 896.03/291.92
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml YES 8.53/3.03
Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml YES 11.03/4.21
Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml StarExec error
Transformed_CSR_innermost_04/Ex6_GM04_C.xml YES 11.44/3.71
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml NO 19.99/7.97
Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml YES 8.01/2.94
Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml YES 28.62/8.96
Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex18_Luc06_L.xml YES 3.13/1.50
Transformed_CSR_innermost_04/OvConsOS_complete_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml YES 71.83/21.65
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml MAYBE 563.09/292.36
Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml YES 6.08/2.29
Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml YES 4.49/1.93
Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml YES 9.82/3.37
Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml YES 5.20/2.16
Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml StarExec error
Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml MAYBE 722.73/292.10
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml YES 5.34/2.11
Transformed_CSR_innermost_04/ExConc_Zan97_L.xml YES 3.24/1.50
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml YES 7.54/2.75
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml MAYBE 611.69/291.78
Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml YES 3.71/1.63
Transformed_CSR_innermost_04/Ex6_Luc98_C.xml YES 6.95/2.59
Transformed_CSR_innermost_04/Ex9_Luc06_C.xml YES 32.17/18.02
Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml YES 3.79/1.77
Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml YES 137.79/46.29
Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml YES 6.68/2.56
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml YES 290.24/111.25
Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml YES 10.14/3.35
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml MAYBE 672.37/291.86
Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml YES 4.57/1.95
Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml YES 5.07/2.16
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml YES 8.24/3.02
Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml YES 5.74/2.18
Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml YES 8.65/3.20
Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml MAYBE 988.91/291.73
Transformed_CSR_innermost_04/PEANO_nokinds_C.xml YES 5.95/2.42
Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml StarExec error
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml YES 10.61/3.65
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml YES 6.82/2.45
Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml MAYBE 880.43/292.53
Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml YES 5.86/2.31
Transformed_CSR_innermost_04/Ex49_GM04_C.xml YES 7.96/2.87
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml MAYBE 852.52/292.76
Transformed_CSR_innermost_04/Ex1_GM99_C.xml YES 91.41/34.57
Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml StarExec error
Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml YES 26.00/8.38
Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml YES 9.01/3.17
Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml YES 4.61/1.92
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml YES 16.66/5.35
Transformed_CSR_innermost_04/Ex6_GM04_GM.xml YES 4.33/1.83
Transformed_CSR_innermost_04/Ex16_Luc06_C.xml YES 64.70/25.57
Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml YES 5.63/2.54
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml YES 16.30/5.03
Transformed_CSR_innermost_04/Ex15_Luc06_C.xml YES 12.45/3.96
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml YES 7.40/2.73
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml MAYBE 617.81/292.24
Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml YES 4.42/2.43
Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml MAYBE 584.38/291.86
Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml YES 7.22/2.61
Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml YES 16.61/6.34
Transformed_CSR_innermost_04/Ex4_Zan97_C.xml MAYBE 921.93/293.61
Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml YES 6.11/2.36
Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml MAYBE 737.93/292.39
Transformed_CSR_innermost_04/Ex1_Zan97_C.xml YES 16.03/7.69
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml YES 10.71/3.80
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml YES 3.29/1.56
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml YES 566.92/154.32
Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml YES 6.79/2.50
Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml YES 5.74/2.16
Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml YES 7.43/2.66
Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml YES 67.17/19.64
Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml YES 8.33/3.00
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml NO 9.33/3.52
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml MAYBE 843.49/291.86
Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml YES 3.52/1.59
Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml YES 9.19/3.22
Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml YES 9.95/3.48
Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml YES 8.14/3.25
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml YES 12.55/4.08
Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml YES 140.37/60.15
Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml YES 156.15/43.53
Transformed_CSR_innermost_04/PEANO_complete_GM.xml YES 5.13/2.11
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml YES 16.37/5.32
Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml MAYBE 659.17/291.60
Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml YES 5.34/2.14
Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml YES 5.77/2.30
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml MAYBE 925.00/292.73
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml YES 9.29/3.25
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml MAYBE 596.71/291.85
Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml MAYBE 688.34/291.92
Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml YES 6.67/2.55
Transformed_CSR_innermost_04/Ex49_GM04_GM.xml YES 5.59/2.28
Transformed_CSR_innermost_04/Ex25_Luc06_C.xml YES 9.12/3.28
Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml MAYBE 889.88/292.03
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml YES 3.23/1.51
Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml YES 5.29/2.14
Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml YES 6.65/2.64
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml MAYBE 740.25/292.15
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml YES 4.80/2.08
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex18_Luc06_C.xml StarExec error
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml YES 26.22/7.82
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml MAYBE 644.36/291.60
Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml YES 4.43/1.84
Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml MAYBE 705.56/292.67
Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml YES 8.04/2.96
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml YES 19.97/6.37
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml YES 10.00/3.52
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml YES 5.30/2.13
Transformed_CSR_innermost_04/Ex15_Luc98_C.xml YES 8.58/3.14
Transformed_CSR_innermost_04/Ex8_BLR02_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml YES 692.47/257.26
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml YES 4.78/2.15
Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml YES 7.01/2.76
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml YES 7.55/2.70
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml MAYBE 782.59/291.59
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml MAYBE 752.81/292.40
Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml YES 3.65/1.66
Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml YES 6.87/2.57
Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml YES 36.83/11.71
Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml YES 10.44/3.66
Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml StarExec error
Transformed_CSR_innermost_04/PEANO_complete_C.xml YES 8.42/3.12
Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml timeout (wallclock)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml YES 12.52/4.21
Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml YES 42.90/12.05
Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml MAYBE 1142.08/292.99
Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml YES 4.00/1.81
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml YES 6.61/2.50
Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml MAYBE 988.74/291.64
Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml YES 3.53/1.67
Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml MAYBE 642.82/291.59
Transformed_CSR_innermost_04/MYNAT_complete_C.xml YES 14.25/4.71
Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml YES 9.62/3.20
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml MAYBE 838.44/291.58
Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml MAYBE 754.98/294.22
Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml YES 11.61/4.14
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml YES 7.74/2.78
Applicative_AG01_innermost/#4.19.xml YES 4.97/2.05
Applicative_AG01_innermost/#4.13.xml YES 4.32/1.89
Applicative_AG01_innermost/#4.10.xml YES 4.51/1.94
Applicative_AG01_innermost/#4.8.xml YES 4.78/2.09
Applicative_AG01_innermost/#4.17.xml YES 4.74/1.97
Applicative_AG01_innermost/#4.22.xml YES 4.40/1.91
Applicative_AG01_innermost/#4.36.xml YES 7.16/2.58
Applicative_AG01_innermost/#4.26.xml YES 5.63/2.20
Applicative_AG01_innermost/#4.15.xml YES 4.73/1.95
Applicative_AG01_innermost/#4.24.xml YES 4.50/1.96
Applicative_AG01_innermost/#4.28.xml YES 4.69/2.09
Applicative_AG01_innermost/#4.3.xml YES 4.42/1.89
Applicative_AG01_innermost/#4.5.xml YES 4.23/1.84
Applicative_AG01_innermost/#4.34.xml YES 4.97/2.16
Applicative_AG01_innermost/#4.2.xml YES 4.55/1.98
Applicative_AG01_innermost/#4.7.xml YES 4.62/1.91
AG01_innermost/#4.4.xml YES 3.50/1.62
AG01_innermost/#4.19.xml YES 3.74/1.68
AG01_innermost/#4.31.xml YES 16.15/4.82
AG01_innermost/#4.18.xml YES 4.22/1.79
AG01_innermost/#4.13.xml YES 3.30/2.50
AG01_innermost/#4.27.xml YES 3.62/1.76
AG01_innermost/#4.17.xml YES 3.88/1.85
AG01_innermost/#4.22.xml YES 3.85/2.60
AG01_innermost/#4.36.xml YES 5.50/2.16
AG01_innermost/#4.37.xml YES 3.80/1.79
AG01_innermost/#4.20a.xml YES 4.58/1.89
AG01_innermost/#4.30b.xml YES 9.17/5.19
AG01_innermost/#4.33.xml YES 4.40/1.85
AG01_innermost/#4.26.xml YES 4.48/1.98
AG01_innermost/#4.35.xml YES 5.80/2.36
AG01_innermost/#4.16.xml YES 3.62/1.65
AG01_innermost/#4.15.xml YES 3.55/1.72
AG01_innermost/#4.14.xml YES 3.65/1.76
AG01_innermost/#4.23.xml YES 3.87/1.84
AG01_innermost/#4.24.xml YES 3.90/1.90
AG01_innermost/#4.32.xml YES 3.61/1.64
AG01_innermost/#4.28.xml YES 7.68/2.73
AG01_innermost/#4.25.xml YES 3.36/1.64
AG01_innermost/#4.21.xml YES 4.40/1.87
AG01_innermost/#4.30a.xml YES 4.36/2.02
AG01_innermost/#4.3.xml YES 3.56/1.64
AG01_innermost/#4.20.xml YES 4.23/1.76
AG01_innermost/#4.5.xml YES 4.72/2.05
AG01_innermost/#4.30.xml YES 6.99/3.13
AG01_innermost/#4.29.xml YES 4.90/2.09
AG01_innermost/#4.34.xml YES 4.16/1.82
AG01_innermost/#4.37a.xml YES 3.95/1.76
AG01_innermost/#4.2.xml YES 3.56/1.66
AG01_innermost/#4.12a.xml YES 3.91/1.79
AG01_innermost/#4.7.xml StarExec error
261