TermCOMP 2021: TRS Innermost 47883 Job info CSV 47884 Job info CSV Showing results.

benchmark muterm 6.0.3 default AProVE21 standard AProVE21 certified
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml 13156080 YES 0.02/0.08 YES 5.58/2.07 YES 5.63/2.23 ✔ 0.05
Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml 13156081 i timeout (wallclock) YES 99.38/28.56 YES 102.38/26.74 ✔ 1.62
Transformed_CSR_innermost_04/Ex24_Luc06_C.xml 13156082 i timeout (wallclock) YES 5.65/5.95 YES 50.05/24.47 ✔ 1.08
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml 13156083 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml 13156084 YES 1.22/1.26 YES 9.60/3.16 YES 10.36/7.25 ✔ 0.61
Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml 13156085 YES 0.77/0.85 YES 8.91/3.13 YES 8.89/3.07 ✔ 0.43
Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml 13156086 YES 0.53/0.53 YES 16.71/5.26 YES 15.64/10.65 ✔ 0.84
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml 13156087 u timeout (wallclock) timeout (wallclock) MAYBE 856.71/292.24
Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml 13156088 u timeout (wallclock) timeout (wallclock) MAYBE 678.75/292.28
Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml 13156089 i timeout (wallclock) YES 12.70/4.31 YES 20.98/8.18 ✔ 0.50
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 13156090 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex1_GM99_C.xml 13156091 i timeout (wallclock) YES 5.71/2.16 YES 107.47/42.22 ✔ 1.82
Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml 13156092 YES 0.24/0.26 YES 5.54/2.08 YES 5.35/2.10 ✔ 0.05
Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml 13156093 YES 118.41/121.26 YES 162.42/59.89 YES 181.60/69.97 ✔ 21.08
Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml 13156094 YES 0.22/0.30 YES 8.20/2.94 YES 8.20/3.16 ✔ 0.17
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml 13156095 i timeout (wallclock) YES 24.49/11.70 YES 19.83/6.24 ✔ 1.15
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml 13156096 i timeout (wallclock) YES 27.74/14.73 YES 28.31/12.28 ✔ 0.39
Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml 13156097 YES 9.69/9.82 YES 6.63/2.49 YES 6.98/2.57 ✔ 0.34
Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml 13156098 YES 0.05/0.06 YES 6.72/2.47 YES 7.25/2.80 ✔ 0.09
Transformed_CSR_innermost_04/Ex1_Zan97_C.xml 13156099 YES 72.85/73.03 YES 24.55/12.27 YES 14.96/4.53 ✔ 0.24
Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml 13156100 YES 1.95/1.94 YES 20.46/11.03 YES 13.69/4.93 ✔ 1.16
Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml 13156101 YES 0.73/0.74 YES 15.82/5.02 YES 13.32/4.43 ✔ 1.11
Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml 13156102 YES 0.03/0.07 YES 5.86/2.17 YES 5.98/2.23 ✔ 0.07
Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml 13156103 YES 0.75/0.90 YES 8.69/3.10 YES 9.41/3.21 ✔ 0.48
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml 13156104 YES 0.03/0.11 YES 5.11/1.97 YES 5.51/2.18 ✔ 0.04
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml 13156105 YES 79.03/82.13 YES 9.30/3.18 YES 9.90/3.41 ✔ 0.63
Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml 13156106 YES 0.77/0.89 YES 5.96/2.29 YES 6.05/2.35 ✔ 0.17
Transformed_CSR_innermost_04/Ex14_Luc06_C.xml 13156107 is timeout (wallclock) YES 7.13/2.65 timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_complete_iGM.xml 13156108 YES 16.33/17.91 YES 8.58/3.10 YES 9.15/3.17 ✔ 0.43
Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml 13156109 i timeout (wallclock) NO 15.03/9.48 NO 26.23/17.84 ✔ 0.33
Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml 13156110 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml 13156111 is timeout (wallclock) YES 8.77/2.98 MAYBE 985.98/292.21
Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml 13156112 YES 0.29/0.34 YES 5.50/2.13 YES 5.46/2.14 ✔ 0.05
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml 13156113 is timeout (wallclock) YES 6.88/2.56 MAYBE 885.33/295.01
Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml 13156114 i timeout (wallclock) YES 5.62/2.19 YES 90.67/42.07 ✔ 0.87
Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml 13156115 YES 3.99/4.12 YES 8.29/2.99 YES 8.32/3.09 ✔ 0.34
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml 13156116 i timeout (wallclock) NO 23.57/8.55 NO 23.18/8.47 ✔ 0.82
Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml 13156117 i timeout (wallclock) YES 6.49/7.04 YES 30.31/13.77 ✔ 1.64
Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml 13156118 YES 28.16/29.30 YES 6.16/2.39 YES 5.93/2.28 ✔ 0.08
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml 13156119 YES 5.13/5.18 YES 18.33/5.38 YES 16.01/11.87 ✔ 1.32
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml 13156120 u timeout (wallclock) timeout (wallclock) MAYBE 604.43/292.35
Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml 13156121 u timeout (wallclock) timeout (wallclock) MAYBE 784.49/293.27
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml 13156122 u timeout (wallclock) timeout (wallclock) MAYBE 674.38/293.33
Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml 13156123 is timeout (wallclock) YES 9.44/3.17 timeout (wallclock)
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml 13156124 u timeout (wallclock) timeout (wallclock) MAYBE 671.02/292.49
Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml 13156125 i timeout (wallclock) YES 63.14/16.95 YES 42.43/11.77 ✔ 1.08
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml 13156126 is timeout (wallclock) YES 8.39/2.92 MAYBE 1008.74/292.10
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml 13156127 u timeout (wallclock) timeout (wallclock) MAYBE 618.05/293.07
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml 13156128 YES 0.20/0.34 YES 6.51/2.39 YES 6.39/2.47 ✔ 0.14
Transformed_CSR_innermost_04/PEANO_complete_GM.xml 13156129 YES 14.45/16.25 YES 8.11/2.90 YES 7.66/2.76 ✔ 0.30
Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml 13156130 YES 0.19/0.21 YES 8.05/2.84 YES 15.45/4.88 ✔ 0.16
Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml 13156131 YES 0.43/0.47 YES 11.00/3.71 YES 10.87/3.61 ✔ 0.77
Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml 13156132 YES 0.02/0.05 YES 5.11/1.99 YES 7.53/2.67 ✔ 0.06
Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml 13156133 is timeout (wallclock) YES 13.30/4.17 timeout (wallclock)
Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml 13156134 YES 0.05/0.29 YES 5.18/2.05 YES 5.17/2.07 ✔ 0.04
Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml 13156135 i timeout (wallclock) YES 7.11/2.63 YES 8.77/3.12 ✔ 0.12
Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml 13156136 i timeout (wallclock) YES 8.65/3.13 YES 8.88/3.18 ✔ 0.37
Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml 13156137 YES 1.56/1.65 YES 6.23/2.33 YES 9.69/3.56 ✔ 0.77
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml 13156138 YES 0.31/0.40 YES 8.56/2.99 YES 8.60/2.98 ✔ 0.45
Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml 13156139 YES 6.43/6.49 YES 6.40/2.34 YES 10.53/9.15 ✔ 0.74
Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml 13156140 i timeout (wallclock) YES 179.91/50.02 YES 163.19/45.53 ✔ 3.08
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml 13156141 u timeout (wallclock) timeout (wallclock) MAYBE 1059.93/294.11
Transformed_CSR_innermost_04/Ex16_Luc06_C.xml 13156142 i timeout (wallclock) YES 5.36/2.14 YES 69.02/26.65 ✔ 2.10
Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml 13156143 YES 0.31/0.37 YES 8.41/2.94 YES 8.20/2.91 ✔ 0.38
Transformed_CSR_innermost_04/Ex5_Zan97_C.xml 13156144 YES 2.83/3.04 YES 5.54/2.18 YES 8.12/2.92 ✔ 0.36
Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml 13156145 YES 0.11/0.22 YES 5.85/2.24 YES 7.28/2.64 ✔ 0.28
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml 13156146 YES 0.14/0.24 YES 5.55/2.20 YES 7.45/2.71 ✔ 0.26
Transformed_CSR_innermost_04/Ex8_BLR02_C.xml 13156147 is timeout (wallclock) YES 6.22/2.27 timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml 13156148 YES 1.11/1.14 YES 18.76/5.84 YES 18.87/5.92 ✔ 1.28
Transformed_CSR_innermost_04/Ex7_BLR02_C.xml 13156149 is timeout (wallclock) YES 5.90/2.20 MAYBE 1005.35/294.72
Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml 13156150 i timeout (wallclock) YES 90.62/25.32 YES 74.26/23.55 ✔ 4.30
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml 13156151 YES 115.64/82.90 YES 5.73/2.83 YES 36.29/10.22 ✔ 0.44
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml 13156152 i timeout (wallclock) YES 218.96/79.70 YES 159.19/58.32 ✔ 14.25
Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml 13156153 YES 0.28/0.38 YES 6.03/2.23 YES 8.52/2.95 ✔ 0.45
Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml 13156154 i timeout (wallclock) YES 45.81/13.73 YES 44.12/13.37 ✔ 2.61
Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml 13156155 i timeout (wallclock) YES 5.92/2.29 YES 7.56/2.78 ✔ 0.18
Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml 13156156 u timeout (wallclock) timeout (wallclock) MAYBE 1180.44/300.79
Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml 13156157 YES 0.21/0.29 YES 6.38/2.41 YES 10.68/3.63 ✔ 0.81
Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml 13156158 u timeout (wallclock) timeout (wallclock) MAYBE 662.29/292.72
Transformed_CSR_innermost_04/MYNAT_complete_C.xml 13156159 i timeout (wallclock) YES 14.59/4.55 YES 16.00/5.33 ✔ 1.99
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml 13156160 u timeout (wallclock) timeout (wallclock) MAYBE 695.14/292.40
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml 13156161 i timeout (wallclock) YES 6.47/2.35 YES 12.31/9.90 ✔ 1.98
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml 13156162 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml 13156163 is timeout (wallclock) YES 6.69/7.64 MAYBE 785.54/292.14
Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml 13156164 is timeout (wallclock) YES 6.73/2.46 timeout (wallclock)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml 13156165 is timeout (wallclock) YES 6.61/8.10 timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml 13156166 i timeout (wallclock) YES 463.90/171.64 YES 401.61/156.58 ✔ 57.54
Transformed_CSR_innermost_04/Ex6_GM04_C.xml 13156167 YES 0.07/0.14 YES 5.61/5.48 YES 22.05/7.49 ✔ 0.13
Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml 13156168 YES 0.07/0.15 YES 7.00/2.45 YES 6.80/2.55 ✔ 0.04
Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml 13156169 i timeout (wallclock) YES 800.93/269.73 YES 708.16/263.91 ✔ 65.43
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml 13156170 is timeout (wallclock) YES 6.58/2.36 timeout (wallclock)
Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml 13156171 u timeout (wallclock) timeout (wallclock) MAYBE 869.02/292.00
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml 13156172 u timeout (wallclock) timeout (wallclock) MAYBE 764.87/292.40
Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml 13156173 YES 1.43/1.57 YES 6.79/2.48 YES 6.32/2.39 ✔ 0.12
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml 13156174 YES 1.26/1.30 YES 31.66/13.88 YES 24.49/9.05 ✔ 3.19
Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml 13156175 YES 0.01/0.02 YES 5.23/2.01 YES 8.52/2.87 ✔ 0.05
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml 13156176 is timeout (wallclock) YES 15.47/4.73 MAYBE 311.31/292.50
Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml 13156177 is timeout (wallclock) YES 6.74/2.39 MAYBE 1060.53/296.26
Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml 13156178 is timeout (wallclock) YES 6.63/2.41 MAYBE 1049.53/297.52
Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml 13156179 u timeout (wallclock) timeout (wallclock) MAYBE 603.87/292.39
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml 13156180 is timeout (wallclock) YES 6.72/2.50 timeout (wallclock)
Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml 13156181 YES 0.20/0.21 YES 6.22/2.25 YES 6.85/2.50 ✔ 0.15
Transformed_CSR_innermost_04/Ex24_GM04_C.xml 13156182 is timeout (wallclock) YES 5.58/2.17 timeout (wallclock)
Transformed_CSR_innermost_04/Ex6_GM04_GM.xml 13156183 YES 0.01/0.04 YES 5.20/3.38 YES 5.88/2.22 ✔ 0.16
Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml 13156184 YES 82.13/65.97 YES 5.74/2.18 YES 36.20/10.21 ✔ 0.45
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml 13156185 YES 0.68/0.72 YES 11.40/3.80 YES 15.55/11.16 ✔ 0.38
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml 13156186 is timeout (wallclock) YES 8.23/3.63 timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml 13156187 u timeout (wallclock) timeout (wallclock) MAYBE 1032.37/296.37
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml 13156188 YES 0.29/0.35 YES 5.57/2.17 YES 5.55/2.17 ✔ 0.05
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml 13156189 YES 0.49/0.54 YES 13.01/5.35 YES 12.60/4.33 ✔ 0.59
Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml 13156190 YES 18.83/20.90 YES 23.08/12.99 YES 24.83/13.43 ✔ 1.86
Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml 13156191 YES 0.11/0.20 YES 7.20/2.67 YES 7.72/2.74 ✔ 0.31
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml 13156192 u timeout (wallclock) timeout (wallclock) MAYBE 824.34/291.98
Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml 13156193 i timeout (wallclock) YES 10.87/7.50 YES 11.25/3.74 ✔ 0.70
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml 13156194 u timeout (wallclock) timeout (wallclock) MAYBE 760.01/292.62
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml 13156195 YES 0.16/0.22 YES 7.11/2.53 YES 7.40/2.66 ✔ 0.22
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml 13156196 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml 13156197 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml 13156198 YES 0.29/0.32 YES 8.77/3.02 YES 9.67/3.36 ✔ 0.33
Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml 13156199 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml 13156200 YES 1.78/2.03 YES 7.28/2.62 YES 7.81/3.75 ✔ 0.23
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml 13156201 YES 0.13/0.15 YES 5.87/2.28 YES 8.42/2.96 ✔ 0.44
Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml 13156202 YES 0.02/0.07 YES 5.61/2.23 YES 5.79/2.26 ✔ 0.04
Transformed_CSR_innermost_04/PALINDROME_complete_C.xml 13156203 i timeout (wallclock) YES 11.51/11.47 YES 16.62/19.20 ✔ 1.34
Transformed_CSR_innermost_04/Ex1_GM03_GM.xml 13156204 u timeout (wallclock) timeout (wallclock) MAYBE 1144.33/292.41
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml 13156205 YES 0.04/0.09 YES 5.25/2.02 YES 5.58/2.15 ✔ 0.03
Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml 13156206 YES 0.70/0.83 YES 11.55/3.76 YES 10.34/7.69 ✔ 1.06
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml 13156207 is timeout (wallclock) YES 7.33/2.65 timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml 13156208 i timeout (wallclock) YES 9.72/3.22 YES 33.41/16.55 ✔ 4.68
Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml 13156209 YES 0.02/0.07 YES 5.16/1.99 YES 10.17/3.38 ✔ 0.10
Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml 13156210 YES 3.35/9.20 YES 6.06/2.23 YES 7.60/2.70 ✔ 0.26
Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml 13156211 YES 0.10/0.16 YES 17.28/5.19 YES 19.20/5.66 ✔ 0.22
Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml 13156212 YES 0.01/0.07 YES 5.99/2.26 YES 6.00/2.27 ✔ 0.07
Transformed_CSR_innermost_04/OvConsOS_complete_C.xml 13156213 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml 13156214 i timeout (wallclock) YES 8.60/2.94 YES 9.38/3.23 ✔ 0.51
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml 13156215 u timeout (wallclock) timeout (wallclock) MAYBE 639.08/292.31
Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml 13156216 YES 0.14/0.27 YES 9.25/3.19 YES 8.95/3.15 ✔ 0.33
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml 13156217 i timeout (wallclock) NO 12.75/4.54 NO 12.58/4.19 ✔ 0.27
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml 13156218 i timeout (wallclock) YES 8.52/3.03 YES 8.31/3.07 ✔ 0.36
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml 13156219 is timeout (wallclock) YES 5.93/2.29 timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 13156220 YES 217.43/219.56 YES 57.94/17.39 YES 60.74/18.33 ✔ 5.43
Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml 13156221 is timeout (wallclock) YES 6.02/2.33 timeout (wallclock)
Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml 13156222 i timeout (wallclock) YES 6.24/2.42 YES 7.07/2.63 ✔ 0.34
Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml 13156223 YES 1.97/2.40 YES 6.86/2.54 YES 7.01/2.69 ✔ 0.50
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml 13156224 is timeout (wallclock) YES 9.85/4.21 timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml 13156225 i timeout (wallclock) YES 20.27/14.20 YES 20.90/11.59 ✔ 0.53
Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml 13156226 YES 0.04/0.13 YES 5.55/2.14 YES 13.79/4.32 ✔ 0.15
Transformed_CSR_innermost_04/Ex1_GM03_C.xml 13156227 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex25_Luc06_L.xml 13156228 YES 0.01/0.04 YES 5.10/2.03 YES 5.02/6.08 ✔ 0.02
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml 13156229 u timeout (wallclock) timeout (wallclock) MAYBE 741.92/292.18
Transformed_CSR_innermost_04/Ex9_Luc06_C.xml 13156230 i timeout (wallclock) YES 5.99/2.34 YES 38.87/24.67 ✔ 0.27
Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml 13156231 YES 0.15/0.21 YES 6.65/2.66 YES 6.57/2.42 ✔ 0.14
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml 13156232 is timeout (wallclock) YES 145.43/43.77 timeout (wallclock)
Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml 13156233 YES 2.09/2.24 YES 6.83/2.54 YES 11.20/3.96 ✔ 1.05
Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml 13156234 YES 0.27/0.33 YES 5.94/3.14 YES 10.65/4.52 ✔ 1.53
Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml 13156235 YES 228.92/230.38 YES 20.51/6.69 YES 24.40/14.95 ✔ 2.24
Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml 13156236 YES 0.05/0.13 YES 6.60/2.45 YES 6.37/2.50 ✔ 0.12
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml 13156237 u timeout (wallclock) timeout (wallclock) MAYBE 1091.09/292.15
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml 13156238 is timeout (wallclock) YES 12.24/3.94 timeout (wallclock)
Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml 13156239 i timeout (wallclock) YES 126.77/43.39 YES 129.68/42.03 ✔ 4.05
Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml 13156240 u timeout (wallclock) timeout (wallclock) MAYBE 791.41/292.44
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml 13156241 i timeout (wallclock) YES 64.28/18.94 YES 75.10/22.47 ✔ 5.92
Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml 13156242 i timeout (wallclock) YES 177.37/53.46 YES 167.44/46.87 ✔ 3.15
Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml 13156243 YES 7.55/7.86 YES 42.94/13.21 YES 43.17/13.30 ✔ 6.26
Transformed_CSR_innermost_04/Ex9_BLR02_C.xml 13156244 YES 0.37/0.43 YES 5.96/2.25 YES 34.34/15.64 ✔ 1.32
Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml 13156245 YES 0.07/0.13 YES 5.94/2.25 YES 6.02/2.32 ✔ 0.07
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml 13156246 YES 1.98/2.17 YES 10.97/8.59 YES 11.21/3.79 ✔ 0.81
Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml 13156247 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex6_Luc98_C.xml 13156248 YES 0.13/0.19 YES 5.48/2.15 YES 28.04/9.61 ✔ 0.67
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml 13156249 YES 0.21/0.41 YES 6.03/2.28 YES 9.74/3.44 ✔ 1.12
Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml 13156250 YES 0.21/7.86 YES 6.00/2.28 YES 15.88/4.97 ✔ 1.05
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml 13156251 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml 13156252 YES 0.18/0.25 YES 5.26/2.09 YES 5.47/2.07 ✔ 0.04
Transformed_CSR_innermost_04/Ex4_Zan97_C.xml 13156253 is timeout (wallclock) YES 6.36/2.39 timeout (wallclock)
Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml 13156254 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml 13156255 YES 1.21/1.24 YES 8.77/3.02 YES 8.90/3.11 ✔ 0.49
Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml 13156256 YES 0.01/0.08 YES 5.04/2.00 YES 8.45/3.16 ✔ 0.07
Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml 13156257 YES 0.21/0.25 YES 6.98/2.47 YES 7.02/2.54 ✔ 0.20
Transformed_CSR_innermost_04/Ex23_Luc06_C.xml 13156258 YES 0.08/0.12 YES 5.71/2.13 YES 13.17/4.16 ✔ 0.22
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml 13156259 is timeout (wallclock) YES 9.85/3.30 MAYBE 902.52/292.52
Transformed_CSR_innermost_04/Ex1_GM99_GM.xml 13156260 YES 0.04/0.11 YES 6.37/2.43 YES 6.48/2.41 ✔ 0.05
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml 13156261 u timeout (wallclock) timeout (wallclock) MAYBE 600.39/292.52
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml 13156262 YES 0.29/0.38 YES 7.14/2.83 YES 7.02/2.62 ✔ 0.20
Transformed_CSR_innermost_04/ExConc_Zan97_C.xml 13156263 YES 0.07/0.13 YES 6.52/2.47 YES 11.81/3.79 ✔ 0.18
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml 13156264 u timeout (wallclock) timeout (wallclock) MAYBE 864.22/292.57
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml 13156265 YES 0.55/0.62 YES 10.79/11.15 YES 9.44/4.76 ✔ 0.33
Transformed_CSR_innermost_04/Ex18_Luc06_L.xml 13156266 YES 0.01/0.06 YES 4.88/2.61 YES 4.92/2.02 ✔ 0.01
Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml 13156267 YES 0.02/0.09 YES 6.14/2.87 YES 6.13/2.46 ✔ 0.14
Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml 13156268 YES 4.44/4.77 YES 13.55/18.82 YES 12.46/4.17 ✔ 0.71
Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml 13156269 YES 174.56/180.37 YES 9.88/3.45 YES 9.93/3.47 ✔ 0.17
Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml 13156270 YES 37.35/39.02 YES 12.26/4.05 YES 12.33/4.06 ✔ 0.98
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml 13156271 u timeout (wallclock) timeout (wallclock) MAYBE 578.51/291.98
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml 13156272 YES 107.82/110.61 YES 16.95/12.58 YES 16.97/5.47 ✔ 0.57
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml 13156273 YES 0.31/0.38 YES 8.15/2.95 YES 8.27/2.94 ✔ 0.16
Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml 13156274 u timeout (wallclock) timeout (wallclock) MAYBE 956.76/296.66
Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml 13156275 u timeout (wallclock) timeout (wallclock) MAYBE 805.99/292.39
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml 13156276 i timeout (wallclock) YES 133.57/48.11 YES 294.95/114.95 ✔ 3.75
Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml 13156277 u timeout (wallclock) timeout (wallclock) MAYBE 1066.28/298.40
Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml 13156278 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml 13156279 YES 0.02/0.08 YES 5.76/2.20 YES 11.31/3.70 ✔ 0.11
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml 13156280 YES 16.40/17.03 YES 7.35/2.78 YES 7.22/8.60 ✔ 0.21
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml 13156281 i timeout (wallclock) YES 9.02/4.49 YES 8.86/3.15 ✔ 0.46
Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml 13156282 YES 0.01/0.10 YES 5.68/11.00 YES 5.48/2.07 ✔ 0.03
Transformed_CSR_innermost_04/Ex15_Luc98_C.xml 13156283 YES 0.21/0.60 YES 5.90/2.26 YES 11.03/3.58 ✔ 1.25
Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml 13156284 YES 0.04/0.12 YES 5.18/2.06 YES 13.24/4.10 ✔ 0.10
Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml 13156285 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml 13156286 YES 3.77/4.12 YES 13.54/20.41 YES 11.81/4.01 ✔ 1.06
Transformed_CSR_innermost_04/PEANO_nosorts_C.xml 13156287 YES 0.11/0.17 YES 5.48/2.16 YES 7.68/2.78 ✔ 0.29
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml 13156288 YES 1.09/2.10 YES 7.41/8.51 YES 14.94/4.62 ✔ 2.06
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml 13156289 u timeout (wallclock) timeout (wallclock) MAYBE 888.95/297.74
Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml 13156290 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml 13156291 u timeout (wallclock) timeout (wallclock) MAYBE 721.97/292.09
Transformed_CSR_innermost_04/Ex9_BLR02_L.xml 13156292 YES 0.01/0.04 YES 5.71/3.16 YES 5.51/2.17 ✔ 0.03
Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml 13156293 YES 0.09/0.23 YES 7.30/2.66 YES 7.23/2.60 ✔ 0.08
Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml 13156294 YES 0.01/0.10 YES 4.71/1.98 YES 4.99/2.01 ✔ 0.01
Transformed_CSR_innermost_04/Ex15_Luc06_C.xml 13156295 YES 224.57/92.30 YES 5.90/6.24 YES 25.88/8.34 ✔ 0.20
Transformed_CSR_innermost_04/Ex6_Luc98_L.xml 13156296 YES 0.01/0.11 YES 5.42/2.10 YES 5.16/2.08 ✔ 0.02
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml 13156297 YES 0.01/0.08 YES 5.29/2.11 YES 5.39/2.13 ✔ 0.03
Transformed_CSR_innermost_04/PEANO_nokinds_C.xml 13156298 i timeout (wallclock) YES 7.63/13.35 YES 9.54/10.82 ✔ 0.36
Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml 13156299 YES 0.01/0.08 YES 5.31/2.10 YES 5.18/2.08 ✔ 0.03
Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml 13156300 is timeout (wallclock) YES 8.78/3.03 timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml 13156301 YES 5.57/5.97 YES 27.06/8.32 YES 30.50/10.51 ✔ 2.50
Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml 13156302 u timeout (wallclock) timeout (wallclock) MAYBE 659.63/292.05
Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml 13156303 i timeout (wallclock) YES 15.40/4.94 YES 16.62/5.47 ✔ 0.87
Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml 13156304 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml 13156305 YES 1.33/1.41 YES 6.23/2.42 YES 6.44/2.47 ✔ 0.12
Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml 13156306 u timeout (wallclock) timeout (wallclock) MAYBE 1136.38/292.58
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml 13156307 YES 11.83/11.96 YES 6.01/2.31 YES 9.23/3.30 ✔ 0.56
Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml 13156308 YES 0.48/5.91 YES 14.08/4.58 YES 13.39/4.40 ✔ 0.95
Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml 13156309 YES 2.12/2.14 YES 6.66/2.46 YES 14.60/4.74 ✔ 2.10
Transformed_CSR_innermost_04/Ex9_Luc04_C.xml 13156310 is timeout (wallclock) YES 5.82/2.26 MAYBE 917.91/292.67
Transformed_CSR_innermost_04/Ex49_GM04_C.xml 13156311 YES 3.25/3.30 YES 6.74/2.57 YES 10.16/3.47 ✔ 0.74
Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml 13156312 i timeout (wallclock) YES 166.94/57.95 YES 147.55/49.46 ✔ 4.27
Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml 13156313 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml 13156314 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml 13156315 YES 0.84/0.90 YES 5.75/2.19 YES 5.79/2.23 ✔ 0.13
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml 13156316 i timeout (wallclock) YES 10.45/3.60 YES 10.63/3.58 ✔ 0.21
Transformed_CSR_innermost_04/Ex25_Luc06_C.xml 13156317 YES 0.10/0.15 YES 5.95/2.28 YES 15.38/4.71 ✔ 0.20
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml 13156318 YES 63.30/66.45 YES 6.69/2.47 YES 6.79/2.78 ✔ 0.15
Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml 13156319 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml 13156320 YES 0.96/1.05 YES 14.48/4.55 YES 12.76/5.26 ✔ 0.37
Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml 13156321 YES 68.14/74.87 YES 19.54/5.88 YES 21.03/11.45 ✔ 0.69
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml 13156322 YES 0.20/0.25 YES 11.32/3.72 YES 11.10/3.92 ✔ 1.21
Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml 13156323 YES 0.19/0.25 YES 9.49/3.37 YES 8.16/2.87 ✔ 0.12
Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml 13156324 YES 0.01/0.05 YES 5.61/2.18 YES 6.25/2.56 ✔ 0.11
Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml 13156325 YES 0.02/0.09 YES 5.41/2.14 YES 16.70/5.07 ✔ 0.12
Transformed_CSR_innermost_04/Ex18_Luc06_C.xml 13156326 YES 0.06/0.13 YES 5.60/2.15 YES 30.20/9.73 ✔ 0.15
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml 13156327 u timeout (wallclock) timeout (wallclock) MAYBE 628.58/292.42
Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml 13156328 YES 20.74/31.59 YES 10.01/3.38 YES 10.55/3.61 ✔ 0.74
Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml 13156329 YES 0.03/0.18 YES 5.19/2.03 YES 6.53/7.47 ✔ 0.19
Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml 13156330 YES 35.30/36.92 YES 11.10/3.65 YES 11.57/3.77 ✔ 0.22
Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml 13156331 u timeout (wallclock) timeout (wallclock) MAYBE 1005.22/296.79
Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml 13156332 i timeout (wallclock) YES 7.16/2.62 YES 6.77/2.52 ✔ 0.18
Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml 13156333 u timeout (wallclock) timeout (wallclock) MAYBE 751.44/292.76
Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml 13156334 u timeout (wallclock) timeout (wallclock) MAYBE 1103.44/298.03
Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml 13156335 u timeout (wallclock) timeout (wallclock) MAYBE 1040.52/296.06
Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml 13156336 u timeout (wallclock) timeout (wallclock) MAYBE 682.47/292.10
Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml 13156337 is timeout (wallclock) YES 6.82/2.49 timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_complete_C.xml 13156338 i timeout (wallclock) YES 8.12/7.20 YES 11.49/3.92 ✔ 0.92
Transformed_CSR_innermost_04/Ex49_GM04_GM.xml 13156339 YES 0.17/0.23 YES 8.08/2.87 YES 8.15/2.86 ✔ 0.17
Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml 13156340 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex23_Luc06_L.xml 13156341 YES 0.01/0.05 YES 5.06/1.95 YES 4.66/1.95 ✔ 0.01
Transformed_CSR_innermost_04/Ex24_GM04_GM.xml 13156342 YES 0.01/0.03 YES 5.79/2.23 YES 5.59/2.17 ✔ 0.05
Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml 13156343 YES 0.01/0.02 YES 5.43/2.02 YES 8.82/3.02 ✔ 0.04
Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml 13156344 YES 0.01/0.08 YES 5.07/2.06 YES 9.01/3.08 ✔ 0.04
Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml 13156345 YES 0.18/0.25 YES 6.75/2.47 YES 6.91/2.50 ✔ 0.14
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml 13156346 u timeout (wallclock) timeout (wallclock) MAYBE 825.89/293.07
Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml 13156347 YES 125.30/125.59 YES 6.25/2.50 YES 6.25/2.41 ✔ 0.17
Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml 13156348 YES 0.04/0.13 YES 5.36/2.08 YES 7.62/2.72 ✔ 0.10
Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml 13156349 YES 0.99/1.11 YES 11.14/11.82 YES 10.22/3.48 ✔ 0.52
Transformed_CSR_innermost_04/ExConc_Zan97_L.xml 13156350 YES 0.01/0.05 YES 4.99/1.92 YES 4.88/1.97 ✔ 0.01
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml 13156351 YES 3.70/4.22 YES 13.76/4.41 YES 14.04/10.18 ✔ 0.92
Transformed_CSR_innermost_04/Ex1_GL02a_C.xml 13156352 YES 7.89/8.04 YES 5.83/2.83 YES 36.72/10.19 ✔ 1.03
Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml 13156353 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml 13156354 YES 0.10/0.10 YES 7.44/2.66 YES 7.19/2.62 ✔ 0.24
Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml 13156355 YES 0.41/0.51 YES 9.76/12.22 YES 9.37/3.27 ✔ 0.15
Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml 13156356 YES 7.28/7.32 YES 13.13/4.70 YES 13.24/4.70 ✔ 1.32
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml 13156357 YES 15.32/15.76 YES 41.43/13.52 YES 23.10/7.25 ✔ 1.12
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml 13156358 i timeout (wallclock) NO 7.73/11.40 NO 7.86/2.94 ✔ 0.13
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml 13156359 YES 0.03/0.11 YES 6.57/2.45 YES 6.35/2.42 ✔ 0.12
Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml 13156360 u timeout (wallclock) timeout (wallclock) MAYBE 724.99/292.09
raML/queue.raml.xml 13156076 YES 18.33/18.56 YES 16.85/5.42 YES 17.74/10.29 ✔ 0.81
raML/appendAll.raml.xml 13156077 YES 0.02/0.06 YES 6.19/4.62 YES 5.39/2.11 ✔ 0.05
raML/rationalPotential.raml.xml 13156078 YES 0.02/0.10 YES 5.51/2.11 YES 5.97/5.55 ✔ 0.06
raML/subtrees.raml.xml 13156079 YES 0.02/0.11 YES 5.83/2.25 YES 5.97/2.33 ✔ 0.07
Mixed_innermost/muladd.xml 13156046 i MAYBE 40.27/41.02 NO 7.07/2.73 NO 6.68/2.53 ✔ 0.05
Mixed_innermost/bn111.xml 13156047 YES 0.01/0.06 YES 5.45/2.06 YES 5.37/2.16 ✔ 0.02
Mixed_innermost/cade13.xml 13156048 i timeout (wallclock) YES 8.98/3.09 YES 8.02/2.85 ✔ 0.40
Mixed_innermost/innermost4.xml 13156049 YES 122.97/123.24 YES 5.86/2.27 YES 5.69/2.26 ✔ 0.08
Mixed_innermost/innermost3.xml 13156050 YES 120.87/121.21 YES 6.37/2.58 YES 6.15/2.39 ✔ 0.03
Mixed_innermost/test10.xml 13156051 YES 0.01/0.09 YES 5.91/2.27 YES 5.77/2.26 ✔ 0.05
Mixed_innermost/toyama.xml 13156052 YES 0.01/0.09 YES 5.30/2.07 YES 5.20/2.08 ✔ 0.02
Mixed_innermost/cade05.xml 13156053 i timeout (wallclock) YES 8.65/3.17 YES 8.02/2.96 ✔ 1.01
Mixed_innermost/thiemann28i.xml 13156054 i timeout (wallclock) YES 10.70/8.12 YES 9.44/3.77 ✔ 0.18
Mixed_innermost/innermost2.xml 13156055 i timeout (wallclock) YES 5.60/2.19 YES 5.73/2.29 ✔ 0.04
Mixed_innermost/test75.xml 13156056 YES 20.15/20.29 YES 6.83/2.59 YES 6.20/2.33 ✔ 0.03
Mixed_innermost/innermost5.xml 13156057 is timeout (wallclock) YES 6.36/2.42 MAYBE 15.16/7.64
Mixed_innermost/cade12.xml 13156058 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Mixed_innermost/narrow1.xml 13156059 u timeout (wallclock) timeout (wallclock) MAYBE 656.96/292.04
Mixed_innermost/wiehe13.xml 13156060 YES 0.42/0.51 YES 8.86/3.12 YES 8.03/3.30 ✔ 0.37
Mixed_innermost/wiehe14.xml 13156061 YES 0.50/0.58 YES 9.29/3.18 YES 9.28/3.21 ✔ 0.40
Mixed_innermost/cade04.xml 13156062 u timeout (wallclock) timeout (wallclock) MAYBE 319.08/291.91
Mixed_innermost/n001.xml 13156063 i MAYBE 40.72/40.78 NO 9.54/5.41 NO 9.25/3.28 ✔ 0.06
Mixed_innermost/run_again2.xml 13156064 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Mixed_innermost/test830.xml 13156065 YES 0.03/0.09 YES 5.94/2.18 YES 6.20/2.36 ✔ 0.06
Mixed_innermost/run_again1.xml 13156066 i timeout (wallclock) NO 10.50/3.73 NO 9.07/3.19 ✔ 1.82
Mixed_innermost/test833.xml 13156067 YES 0.12/0.25 YES 5.46/3.67 YES 5.37/2.04 ✔ 0.02
Mixed_innermost/tricky1.xml 13156068 YES 0.01/0.09 YES 5.69/2.23 YES 5.57/2.21 ✔ 0.04
Mixed_innermost/gkg.xml 13156069 YES 0.01/0.09 YES 5.20/2.05 YES 5.45/2.12 ✔ 0.01
Mixed_innermost/test76.xml 13156070 YES 0.16/0.30 YES 10.27/10.53 YES 6.17/2.37 ✔ 0.06
Mixed_innermost/innermost1.xml 13156071 YES 0.01/0.09 YES 5.37/2.04 YES 5.30/2.13 ✔ 0.02
Mixed_innermost/narrow2.xml 13156072 u timeout (wallclock) timeout (wallclock) timeout (wallclock)
Mixed_innermost/thiemann26i.xml 13156073 i timeout (wallclock) YES 11.01/10.19 YES 10.14/3.62 ✔ 0.26
Mixed_innermost/test9.xml 13156074 YES 0.23/0.33 YES 6.16/2.49 YES 6.03/2.31 ✔ 0.02
Mixed_innermost/test77.xml 13156075 YES 0.16/0.28 YES 6.56/9.25 YES 6.20/2.38 ✔ 0.08
AG01_innermost/#4.15.xml 13156011 YES 0.01/0.08 YES 5.54/2.21 YES 5.44/2.14 ✔ 0.03
AG01_innermost/#4.29.xml 13156012 YES 0.13/0.20 YES 6.87/2.52 YES 7.15/2.62 ✔ 0.13
AG01_innermost/#4.27.xml 13156013 YES 0.05/0.13 YES 5.83/9.79 YES 6.06/2.33 ✔ 0.07
AG01_innermost/#4.20.xml 13156014 YES 0.01/0.08 YES 5.12/2.00 YES 6.18/5.51 ✔ 0.01
AG01_innermost/#4.31.xml 13156015 YES 87.45/87.62 YES 14.15/6.84 YES 15.67/4.83 ✔ 0.07
AG01_innermost/#4.36.xml 13156016 YES 0.11/0.13 YES 7.86/3.12 YES 7.69/2.79 ✔ 0.27
AG01_innermost/#4.2.xml 13156017 YES 0.01/0.02 YES 5.53/2.08 YES 5.34/2.26 ✔ 0.04
AG01_innermost/#4.5.xml 13156018 YES 0.01/0.02 YES 7.50/2.66 YES 8.14/2.86 ✔ 0.02
AG01_innermost/#4.21.xml 13156019 YES 0.01/0.05 YES 5.05/1.94 YES 5.88/2.31 ✔ 0.02
AG01_innermost/#4.26.xml 13156020 YES 0.08/0.13 YES 6.50/2.38 YES 6.54/2.49 ✔ 0.09
AG01_innermost/#4.28.xml 13156021 YES 0.05/0.08 YES 5.66/2.09 YES 7.71/2.75 ✔ 0.07
AG01_innermost/#4.13.xml 13156022 YES 0.01/0.06 YES 5.17/2.03 YES 5.24/2.05 ✔ 0.02
AG01_innermost/#4.30a.xml 13156023 YES 20.18/20.27 YES 6.82/2.58 YES 6.24/2.49 ✔ 0.07
AG01_innermost/#4.14.xml 13156024 YES 0.01/0.11 YES 5.43/3.12 YES 5.36/2.16 ✔ 0.02
AG01_innermost/#4.4.xml 13156025 YES 0.01/0.07 YES 5.40/2.14 YES 5.45/2.11 ✔ 0.02
AG01_innermost/#4.3.xml 13156026 YES 0.01/0.09 YES 5.23/5.82 YES 5.48/2.12 ✔ 0.02
AG01_innermost/#4.37.xml 13156027 YES 0.05/0.14 YES 5.69/3.24 YES 5.59/2.17 ✔ 0.04
AG01_innermost/#4.20a.xml 13156028 YES 0.03/0.14 YES 5.36/9.15 YES 6.90/2.51 ✔ 0.07
AG01_innermost/#4.30.xml 13156029 YES 203.81/204.17 YES 10.40/3.82 YES 9.79/4.02 ✔ 0.12
AG01_innermost/#4.7.xml 13156030 YES 0.01/0.10 YES 5.53/2.14 YES 5.35/2.17 ✔ 0.02
AG01_innermost/#4.33.xml 13156031 YES 0.07/0.13 YES 6.34/2.39 YES 5.94/4.69 ✔ 0.07
AG01_innermost/#4.34.xml 13156032 YES 0.07/0.12 YES 6.02/2.32 YES 6.25/2.28 ✔ 0.06
AG01_innermost/#4.25.xml 13156033 YES 0.13/0.28 YES 5.46/3.42 YES 5.30/2.09 ✔ 0.02
AG01_innermost/#4.22.xml 13156034 YES 0.01/0.08 YES 5.40/2.12 YES 5.51/2.12 ✔ 0.03
AG01_innermost/#4.19.xml 13156035 YES 0.02/0.06 YES 5.58/2.16 YES 5.72/3.04 ✔ 0.04
AG01_innermost/#4.17.xml 13156036 YES 49.17/36.81 YES 5.66/2.17 YES 5.71/2.20 ✔ 0.06
AG01_innermost/#4.30b.xml 13156037 YES 81.84/82.03 YES 9.82/3.78 YES 12.24/5.78 ✔ 0.22
AG01_innermost/#4.35.xml 13156038 YES 0.21/0.33 YES 7.57/2.73 YES 7.47/2.65 ✔ 0.21
AG01_innermost/#4.32.xml 13156039 YES 0.01/0.08 YES 5.57/2.15 YES 5.38/2.94 ✔ 0.03
AG01_innermost/#4.12a.xml 13156040 YES 0.23/0.31 YES 6.07/2.35 YES 5.87/2.27 ✔ 0.02
AG01_innermost/#4.16.xml 13156041 YES 0.01/0.06 YES 5.18/2.07 YES 5.18/2.07 ✔ 0.02
AG01_innermost/#4.37a.xml 13156042 YES 0.05/0.11 YES 5.98/2.35 YES 5.97/2.26 ✔ 0.05
AG01_innermost/#4.18.xml 13156043 YES 0.01/0.08 YES 6.66/2.44 YES 6.45/2.44 ✔ 0.02
AG01_innermost/#4.23.xml 13156044 YES 0.04/0.08 YES 6.23/2.31 YES 6.14/10.04 ✔ 0.06
AG01_innermost/#4.24.xml 13156045 YES 0.02/0.05 YES 6.06/2.25 YES 6.43/8.84 ✔ 0.08
Applicative_AG01_innermost/#4.8.xml 13155995 YES 21.71/21.89 YES 10.13/3.58 YES 6.36/2.39 ✔ 0.36
Applicative_AG01_innermost/#4.13.xml 13155996 YES 0.03/0.05 YES 6.12/2.33 YES 6.29/2.36 ✔ 0.35
Applicative_AG01_innermost/#4.28.xml 13155997 i MAYBE 82.31/82.53 YES 6.41/2.39 YES 6.63/4.62 ✔ 0.21
Applicative_AG01_innermost/#4.26.xml 13155998 i MAYBE 294.61/295.14 YES 7.70/2.70 YES 8.07/2.89 ✔ 0.32
Applicative_AG01_innermost/#4.7.xml 13155999 YES 0.02/0.06 YES 6.24/2.40 YES 6.21/2.27 ✔ 0.21
Applicative_AG01_innermost/#4.36.xml 13156000 i timeout (wallclock) YES 9.15/3.20 YES 8.97/3.13 ✔ 0.63
Applicative_AG01_innermost/#4.15.xml 13156001 YES 0.03/0.04 YES 6.24/2.39 YES 6.55/3.84 ✔ 0.27
Applicative_AG01_innermost/#4.24.xml 13156002 YES 0.03/0.11 YES 6.69/3.08 YES 7.00/2.84 ✔ 0.24
Applicative_AG01_innermost/#4.3.xml 13156003 YES 0.03/0.08 YES 6.23/2.36 YES 6.48/2.99 ✔ 0.30
Applicative_AG01_innermost/#4.17.xml 13156004 YES 22.52/22.67 YES 6.70/2.49 YES 7.03/2.55 ✔ 0.29
Applicative_AG01_innermost/#4.10.xml 13156005 YES 0.02/0.09 YES 6.25/2.32 YES 6.31/2.41 ✔ 0.20
Applicative_AG01_innermost/#4.19.xml 13156006 i MAYBE 82.27/82.90 YES 6.46/2.42 YES 6.77/2.55 ✔ 0.40
Applicative_AG01_innermost/#4.22.xml 13156007 i MAYBE 208.74/209.17 YES 6.52/2.43 YES 6.42/2.46 ✔ 0.22
Applicative_AG01_innermost/#4.34.xml 13156008 YES 0.82/0.93 YES 7.16/2.58 YES 7.21/2.62 ✔ 0.30
Applicative_AG01_innermost/#4.5.xml 13156009 YES 0.02/0.13 YES 6.03/2.32 YES 6.30/2.37 ✔ 0.19
Applicative_AG01_innermost/#4.2.xml 13156010 YES 0.03/0.09 YES 6.33/2.36 YES 6.31/2.64 ✔ 0.22
213.00 300.00 270.00