TermComp 2020: TRS Innermost 41494 Job info CSV Showing results.

benchmark muterm 6.0.3 default AProVE standard
raML/rationalPotential.raml.xml 11763530 YES 0.04/0.10 YES 4.05/2.30
raML/subtrees.raml.xml 11763531 YES 0.04/0.04 YES 4.01/1.86
raML/queue.raml.xml 11763532 YES 18.33/18.65 YES 14.08/4.71
raML/appendAll.raml.xml 11763533 YES 0.04/0.04 YES 3.51/1.68
Applicative_AG01_innermost/#4.24.xml 11763534 YES 0.03/0.09 YES 4.72/2.09
Applicative_AG01_innermost/#4.3.xml 11763535 YES 0.02/0.08 YES 4.28/1.85
Applicative_AG01_innermost/#4.19.xml 11763536 is MAYBE 82.24/82.36 YES 4.68/1.94
Applicative_AG01_innermost/#4.17.xml 11763537 YES 22.50/22.56 YES 4.62/2.62
Applicative_AG01_innermost/#4.10.xml 11763538 YES 0.02/0.07 YES 4.34/1.98
Applicative_AG01_innermost/#4.22.xml 11763539 is MAYBE 206.34/206.91 YES 4.73/2.14
Applicative_AG01_innermost/#4.34.xml 11763540 YES 0.80/0.91 YES 5.01/2.73
Applicative_AG01_innermost/#4.5.xml 11763541 YES 0.02/0.03 YES 4.24/1.93
Applicative_AG01_innermost/#4.2.xml 11763542 YES 0.02/0.05 YES 4.35/1.88
Applicative_AG01_innermost/#4.8.xml 11763543 YES 21.70/21.79 YES 8.14/3.14
Applicative_AG01_innermost/#4.13.xml 11763544 YES 0.03/0.06 YES 4.48/1.98
Applicative_AG01_innermost/#4.26.xml 11763545 is MAYBE 293.96/295.01 YES 5.47/2.22
Applicative_AG01_innermost/#4.28.xml 11763546 is MAYBE 82.34/82.44 YES 4.64/2.88
Applicative_AG01_innermost/#4.7.xml 11763547 YES 0.02/0.03 YES 4.35/1.86
Applicative_AG01_innermost/#4.36.xml 11763548 is timeout (wallclock) YES 7.53/3.92
Applicative_AG01_innermost/#4.15.xml 11763549 YES 0.03/0.03 YES 4.52/2.09
AG01_innermost/#4.13.xml 11763214 YES 0.01/0.05 YES 3.43/1.73
AG01_innermost/#4.7.xml 11763215 YES 0.01/0.07 YES 3.65/1.77
AG01_innermost/#4.14.xml 11763216 YES 0.01/0.07 YES 3.56/1.73
AG01_innermost/#4.28.xml 11763217 YES 0.05/0.13 YES 3.53/1.66
AG01_innermost/#4.21.xml 11763218 YES 0.01/0.06 YES 3.33/1.63
AG01_innermost/#4.26.xml 11763219 YES 0.08/0.14 YES 4.92/2.09
AG01_innermost/#4.37.xml 11763220 YES 0.04/0.12 YES 3.73/1.81
AG01_innermost/#4.30.xml 11763221 YES 203.75/204.25 YES 8.26/3.42
AG01_innermost/#4.20a.xml 11763222 YES 0.03/0.08 YES 3.33/1.64
AG01_innermost/#4.27.xml 11763223 YES 0.05/0.12 YES 3.85/1.84
AG01_innermost/#4.20.xml 11763224 YES 0.01/0.06 YES 3.44/1.61
AG01_innermost/#4.29.xml 11763225 YES 0.25/0.36 YES 5.13/2.09
AG01_innermost/#4.15.xml 11763226 YES 0.01/0.07 YES 3.96/1.97
AG01_innermost/#4.30a.xml 11763227 YES 20.17/20.22 YES 4.89/2.07
AG01_innermost/#4.31.xml 11763228 YES 88.60/88.86 YES 13.26/4.09
AG01_innermost/#4.36.xml 11763229 YES 0.21/0.20 YES 6.03/2.42
AG01_innermost/#4.30b.xml 11763230 YES 81.82/82.70 YES 7.00/3.18
AG01_innermost/#4.35.xml 11763231 YES 0.21/0.31 YES 5.99/2.39
AG01_innermost/#4.32.xml 11763232 YES 0.01/0.06 YES 3.56/1.77
AG01_innermost/#4.23.xml 11763233 YES 0.03/0.10 YES 4.22/1.88
AG01_innermost/#4.24.xml 11763234 YES 0.02/0.06 YES 3.83/1.91
AG01_innermost/#4.18.xml 11763235 YES 0.01/0.06 YES 4.55/1.89
AG01_innermost/#4.2.xml 11763236 YES 0.01/0.02 YES 3.60/1.81
AG01_innermost/#4.5.xml 11763237 YES 0.01/0.07 YES 5.42/2.24
AG01_innermost/#4.16.xml 11763238 YES 0.01/0.02 YES 3.53/1.64
AG01_innermost/#4.33.xml 11763239 YES 0.07/0.12 YES 4.18/1.83
AG01_innermost/#4.34.xml 11763240 YES 0.13/0.13 YES 3.96/1.87
AG01_innermost/#4.37a.xml 11763241 YES 0.05/0.09 YES 3.83/1.87
AG01_innermost/#4.4.xml 11763242 YES 0.01/0.05 YES 3.47/1.66
AG01_innermost/#4.17.xml 11763243 YES 49.25/36.79 YES 3.76/1.75
AG01_innermost/#4.12a.xml 11763244 YES 0.22/0.26 YES 4.06/1.93
AG01_innermost/#4.3.xml 11763245 YES 0.03/0.08 YES 3.40/2.52
AG01_innermost/#4.19.xml 11763246 YES 0.01/0.08 YES 3.67/1.82
AG01_innermost/#4.25.xml 11763247 YES 0.12/0.19 YES 3.53/1.75
AG01_innermost/#4.22.xml 11763248 YES 0.03/0.08 YES 3.73/1.79
Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml 11763249 YES 0.27/0.34 YES 3.76/1.82
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml 11763250 YES 107.09/111.87 YES 14.90/4.83
Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml 11763251 YES 1.33/1.45 YES 4.54/1.92
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml 11763252 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml 11763253 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml 11763254 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml 11763255 YES 0.14/0.18 YES 4.35/1.87
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml 11763256 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml 11763257 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml 11763258 is timeout (wallclock) YES 4.34/1.94
Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml 11763259 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml 11763260 is timeout (wallclock) YES 4.41/1.89
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml 11763261 YES 1.95/2.35 YES 7.97/3.01
Transformed_CSR_innermost_04/Ex25_Luc06_C.xml 11763262 YES 0.10/0.12 YES 3.89/1.70
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml 11763263 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml 11763264 YES 0.76/0.87 YES 7.21/2.77
Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml 11763265 YES 0.03/0.08 YES 3.83/1.71
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml 11763266 is timeout (wallclock) YES 115.79/43.01
Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml 11763267 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml 11763268 YES 0.73/0.77 YES 12.29/4.43
Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml 11763269 YES 0.07/0.10 YES 4.16/1.89
Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml 11763270 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml 11763271 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml 11763272 is timeout (wallclock) YES 6.15/2.42
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml 11763273 is timeout (wallclock) NO 5.72/2.59
Transformed_CSR_innermost_04/Ex15_Luc98_C.xml 11763274 YES 0.21/0.27 YES 3.70/4.65
Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml 11763275 is timeout (wallclock) YES 4.25/2.02
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml 11763276 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml 11763277 YES 1.08/1.19 YES 4.98/2.04
Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml 11763278 YES 118.25/120.90 YES 174.88/67.30
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml 11763279 is timeout (wallclock) YES 17.29/5.58
Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml 11763280 YES 125.31/125.74 YES 4.33/2.04
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml 11763281 is timeout (wallclock) YES 7.01/2.81
Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml 11763282 YES 0.04/0.07 YES 3.75/1.71
Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml 11763283 YES 0.01/0.05 YES 3.55/1.73
Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml 11763284 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml 11763285 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml 11763286 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml 11763287 YES 1.21/1.34 YES 6.69/2.55
Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml 11763288 YES 0.30/0.34 YES 6.03/2.40
Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml 11763289 YES 0.01/0.03 YES 3.34/1.67
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml 11763290 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml 11763291 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml 11763292 YES 0.09/0.14 YES 5.20/2.14
Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml 11763293 YES 0.21/0.31 YES 5.06/2.22
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml 11763294 is timeout (wallclock) YES 4.87/2.03
Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml 11763295 is timeout (wallclock) YES 39.86/12.14
Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml 11763296 YES 0.04/0.05 YES 4.20/1.96
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml 11763297 YES 0.54/0.63 YES 7.45/2.89
Transformed_CSR_innermost_04/Ex15_Luc06_C.xml 11763298 YES 223.77/92.24 YES 3.72/1.64
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml 11763299 YES 0.21/0.23 YES 3.88/1.84
Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml 11763300 YES 4.46/4.89 YES 9.34/3.76
Transformed_CSR_innermost_04/Ex6_GM04_C.xml 11763301 YES 0.06/0.12 YES 4.15/1.89
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml 11763302 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml 11763303 YES 0.18/0.21 YES 3.42/1.60
Transformed_CSR_innermost_04/Ex23_Luc06_L.xml 11763304 YES 0.01/0.04 YES 3.45/2.49
Transformed_CSR_innermost_04/Ex24_GM04_GM.xml 11763305 YES 0.02/0.02 YES 3.59/1.77
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml 11763306 is timeout (wallclock) YES 4.84/2.87
Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml 11763307 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml 11763308 YES 0.28/0.34 YES 5.11/2.14
Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml 11763309 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml 11763310 YES 6.37/6.44 YES 4.20/1.89
Transformed_CSR_innermost_04/Ex49_GM04_GM.xml 11763311 YES 0.16/0.22 YES 5.85/2.50
Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml 11763312 YES 0.05/0.08 YES 3.45/1.59
Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml 11763313 YES 0.01/0.06 YES 3.49/1.62
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml 11763314 YES 0.31/0.33 YES 9.14/4.69
Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml 11763315 YES 0.05/0.11 YES 4.69/2.05
Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml 11763316 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_complete_C.xml 11763317 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex1_Zan97_C.xml 11763318 YES 72.16/72.68 YES 9.47/3.23
Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml 11763319 YES 0.19/0.20 YES 6.23/2.46
Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml 11763320 YES 0.03/0.05 YES 3.36/1.54
Transformed_CSR_innermost_04/PALINDROME_complete_C.xml 11763321 is timeout (wallclock) YES 7.57/2.68
Transformed_CSR_innermost_04/Ex18_Luc06_C.xml 11763322 YES 0.06/0.07 YES 3.76/1.67
Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml 11763323 YES 2.11/2.15 YES 4.59/1.86
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml 11763324 is timeout (wallclock) YES 17.06/5.71
Transformed_CSR_innermost_04/ExConc_Zan97_C.xml 11763325 YES 0.07/0.08 YES 4.02/1.89
Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml 11763326 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml 11763327 YES 0.46/0.46 YES 10.95/3.78
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml 11763328 YES 0.20/0.21 YES 8.95/3.00
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml 11763329 is timeout (wallclock) YES 3.94/1.71
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml 11763330 YES 1.10/1.11 YES 16.68/5.30
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml 11763331 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml 11763332 YES 0.95/0.96 YES 7.12/2.74
Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml 11763333 is timeout (wallclock) NO 14.36/7.49
Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml 11763334 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex24_GM04_C.xml 11763335 is timeout (wallclock) YES 3.50/3.24
Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml 11763336 YES 0.18/0.19 YES 4.69/1.91
Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml 11763337 is timeout (wallclock) YES 12.85/4.26
Transformed_CSR_innermost_04/Ex6_GM04_GM.xml 11763338 YES 0.01/0.02 YES 3.41/1.57
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml 11763339 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml 11763340 YES 0.18/0.19 YES 3.75/1.69
Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml 11763341 is timeout (wallclock) YES 736.29/257.98
Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml 11763342 is timeout (wallclock) YES 10.84/3.57
Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml 11763343 YES 1.94/1.94 YES 12.12/4.04
Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml 11763344 YES 7.54/7.57 YES 41.70/12.74
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml 11763345 YES 78.18/79.78 YES 7.69/2.84
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml 11763346 YES 15.27/15.44 YES 22.00/6.94
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml 11763347 is timeout (wallclock) YES 9.71/3.26
Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml 11763348 YES 0.01/0.03 YES 3.49/1.67
Transformed_CSR_innermost_04/PEANO_complete_C.xml 11763349 is timeout (wallclock) YES 5.34/2.07
Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml 11763350 is timeout (wallclock) YES 4.14/3.07
Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml 11763351 YES 0.06/0.15 YES 4.50/1.93
Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml 11763352 YES 0.04/0.06 YES 3.45/1.56
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml 11763353 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml 11763354 YES 16.05/17.06 YES 5.26/2.16
Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml 11763355 YES 0.20/0.20 YES 4.35/1.84
Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml 11763356 YES 3.62/3.86 YES 8.64/3.11
Transformed_CSR_innermost_04/Ex1_GM03_GM.xml 11763357 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml 11763358 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml 11763359 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml 11763360 is timeout (wallclock) YES 6.70/2.48
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml 11763361 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml 11763362 YES 0.11/0.16 YES 3.56/5.59
Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml 11763363 is timeout (wallclock) YES 83.75/23.45
Transformed_CSR_innermost_04/Ex25_Luc06_L.xml 11763364 YES 0.01/0.08 YES 3.31/1.68
Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml 11763365 YES 174.79/197.39 YES 8.02/3.12
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml 11763366 is timeout (wallclock) NO 26.56/11.54
Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml 11763367 YES 20.60/20.85 YES 7.72/2.88
Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml 11763368 YES 287.15/295.46 YES 4.77/1.98
Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml 11763369 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml 11763370 YES 0.30/0.30 YES 3.55/1.58
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml 11763371 is timeout (wallclock) NO 10.42/3.69
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml 11763372 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml 11763373 YES 0.01/0.07 YES 3.20/1.76
Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml 11763374 is timeout (wallclock) YES 6.61/2.43
Transformed_CSR_innermost_04/Ex5_Zan97_C.xml 11763375 YES 2.82/2.96 YES 3.81/1.72
Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml 11763376 YES 0.94/6.22 YES 10.39/3.52
Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml 11763377 YES 67.80/69.03 YES 18.51/12.07
Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml 11763378 YES 1.14/1.22 YES 4.65/2.03
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml 11763379 YES 63.51/66.88 YES 4.65/1.94
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml 11763380 is timeout (wallclock) YES 6.33/3.22
Transformed_CSR_innermost_04/Ex8_BLR02_C.xml 11763381 is timeout (wallclock) YES 4.42/4.15
Transformed_CSR_innermost_04/Ex18_Luc06_L.xml 11763382 YES 0.01/0.75 YES 3.57/1.71
Transformed_CSR_innermost_04/Ex7_BLR02_C.xml 11763383 is timeout (wallclock) YES 4.00/1.95
Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml 11763384 YES 0.02/0.07 YES 3.85/2.21
Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml 11763385 YES 0.10/0.13 YES 5.06/2.10
Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml 11763386 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml 11763387 YES 0.14/0.16 YES 7.42/5.34
Transformed_CSR_innermost_04/ExConc_Zan97_L.xml 11763388 YES 0.01/0.05 YES 3.25/1.62
Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml 11763389 YES 3.32/3.47 YES 3.77/2.01
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml 11763390 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml 11763391 YES 0.03/0.08 YES 4.26/1.99
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml 11763392 YES 3.70/4.22 YES 10.32/3.68
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml 11763393 YES 0.01/0.06 YES 3.63/1.64
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 11763394 YES 218.53/221.52 YES 56.46/16.78
Transformed_CSR_innermost_04/Ex23_Luc06_C.xml 11763395 YES 0.08/0.13 YES 4.05/1.83
Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml 11763396 YES 0.02/0.06 YES 3.75/1.69
Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml 11763397 YES 7.24/7.25 YES 11.94/4.59
Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml 11763398 YES 18.78/21.41 YES 20.49/6.50
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml 11763399 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml 11763400 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml 11763401 is timeout (wallclock) YES 6.36/2.39
Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml 11763402 YES 82.19/65.96 YES 3.96/1.91
Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml 11763403 YES 0.27/0.27 YES 3.89/1.72
Transformed_CSR_innermost_04/Ex1_GM99_C.xml 11763404 is timeout (wallclock) YES 3.63/1.90
Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml 11763405 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml 11763406 is timeout (wallclock) YES 152.75/41.25
Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml 11763407 YES 0.02/0.06 YES 3.69/1.75
Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml 11763408 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml 11763409 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml 11763410 is timeout (wallclock) YES 166.99/46.02
Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml 11763411 is timeout (wallclock) YES 3.81/1.92
Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml 11763412 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex1_GM99_GM.xml 11763413 YES 0.04/0.11 YES 4.32/1.94
Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml 11763414 is timeout (wallclock) YES 122.91/43.65
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml 11763415 is timeout (wallclock) YES 8.13/2.88
Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml 11763416 is timeout (wallclock) YES 4.24/1.82
Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml 11763417 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml 11763418 YES 0.19/0.32 YES 4.45/1.96
Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml 11763419 YES 2.09/2.18 YES 4.21/1.96
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml 11763420 YES 11.78/11.90 YES 3.97/1.84
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml 11763421 is timeout (wallclock) YES 188.33/63.72
Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml 11763422 YES 5.45/6.16 YES 23.34/7.38
Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml 11763423 YES 0.01/0.06 YES 3.85/1.70
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml 11763424 is timeout (wallclock) YES 6.78/2.49
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml 11763425 YES 1.21/1.25 YES 7.25/2.56
Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml 11763426 YES 228.25/228.49 YES 21.92/12.77
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml 11763427 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml 11763428 YES 0.02/0.05 YES 3.44/1.78
Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml 11763429 YES 0.22/0.54 YES 6.25/3.59
Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml 11763430 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml 11763431 YES 0.20/0.32 YES 4.17/1.84
Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml 11763432 YES 0.05/0.07 YES 5.67/2.35
Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml 11763433 is timeout (wallclock) YES 3.77/1.82
Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml 11763434 YES 0.81/0.82 YES 4.00/1.71
Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml 11763435 YES 27.68/29.22 YES 4.10/1.85
Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml 11763436 is timeout (wallclock) YES 137.40/49.72
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml 11763437 is timeout (wallclock) YES 15.51/4.78
Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml 11763438 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml 11763439 is timeout (wallclock) YES 6.47/2.51
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml 11763440 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml 11763441 YES 0.12/0.15 YES 3.91/1.74
Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml 11763442 is timeout (wallclock) YES 6.82/3.60
Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml 11763443 YES 0.02/0.04 YES 3.75/4.06
Transformed_CSR_innermost_04/PEANO_complete_iGM.xml 11763444 YES 16.14/16.76 YES 6.78/2.49
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml 11763445 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml 11763446 is timeout (wallclock) YES 448.33/162.20
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml 11763447 YES 0.03/0.08 YES 3.45/1.57
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml 11763448 is timeout (wallclock) YES 7.20/2.59
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml 11763449 YES 5.09/5.19 YES 15.21/4.67
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml 11763450 YES 1.25/1.30 YES 25.74/7.72
Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml 11763451 is timeout (wallclock) YES 178.05/48.61
Transformed_CSR_innermost_04/Ex9_Luc06_C.xml 11763452 is timeout (wallclock) YES 3.90/1.83
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml 11763453 YES 0.02/0.05 YES 3.69/1.67
Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml 11763454 YES 0.23/0.27 YES 3.48/1.71
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml 11763455 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml 11763456 is timeout (wallclock) YES 55.63/15.10
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml 11763457 is timeout (wallclock) YES 13.64/4.37
Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml 11763458 YES 0.01/0.06 YES 3.33/1.55
Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml 11763459 is timeout (wallclock) YES 4.62/2.03
Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml 11763460 YES 0.43/0.51 YES 8.43/3.12
Transformed_CSR_innermost_04/Ex9_BLR02_C.xml 11763461 YES 0.37/0.43 YES 4.19/1.96
Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml 11763462 is timeout (wallclock) YES 85.64/22.48
Transformed_CSR_innermost_04/Ex4_Zan97_C.xml 11763463 is timeout (wallclock) YES 3.86/1.88
Transformed_CSR_innermost_04/PEANO_complete_GM.xml 11763464 YES 14.40/19.13 YES 5.40/2.17
Transformed_CSR_innermost_04/Ex6_Luc98_C.xml 11763465 YES 0.12/0.18 YES 3.96/1.81
Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml 11763466 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex14_Luc06_C.xml 11763467 is timeout (wallclock) YES 5.03/2.06
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml 11763468 is timeout (wallclock) YES 68.39/23.16
Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml 11763469 YES 0.18/0.24 YES 7.02/2.70
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml 11763470 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml 11763471 YES 0.03/0.11 YES 3.86/1.72
Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml 11763472 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml 11763473 is timeout (wallclock) YES 6.74/2.60
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml 11763474 is timeout (wallclock) YES 4.90/2.16
Transformed_CSR_innermost_04/PEANO_nokinds_C.xml 11763475 is timeout (wallclock) YES 4.31/1.98
Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml 11763476 is timeout (wallclock) YES 4.04/1.93
Transformed_CSR_innermost_04/Ex24_Luc06_C.xml 11763477 is timeout (wallclock) YES 3.47/1.60
Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml 11763478 YES 0.28/0.31 YES 7.22/2.77
Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml 11763479 YES 0.11/0.11 YES 5.43/2.16
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml 11763480 YES 0.31/0.31 YES 6.08/2.33
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml 11763481 YES 0.48/0.55 YES 10.58/4.13
Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml 11763482 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml 11763483 is timeout (wallclock) YES 8.93/3.14
Transformed_CSR_innermost_04/PEANO_nosorts_C.xml 11763484 YES 0.11/0.11 YES 3.60/1.67
Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml 11763485 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml 11763486 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml 11763487 is timeout (wallclock) YES 10.90/4.58
Transformed_CSR_innermost_04/Ex1_GL02a_C.xml 11763488 YES 7.86/7.93 YES 4.11/1.89
Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml 11763489 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml 11763490 is timeout (wallclock) YES 5.26/2.27
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml 11763491 is timeout (wallclock) YES 3.96/1.87
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml 11763492 YES 0.04/0.05 YES 3.48/1.70
Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml 11763493 YES 0.42/0.52 YES 6.48/2.52
Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml 11763494 YES 0.10/0.10 YES 10.61/3.51
Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml 11763495 is timeout (wallclock) YES 7.13/2.60
Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml 11763496 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml 11763497 YES 9.68/9.79 YES 4.36/1.97
Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml 11763498 YES 2.41/2.56 YES 4.36/1.93
Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml 11763499 YES 0.01/0.05 YES 3.29/1.66
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml 11763500 is timeout (wallclock) YES 4.36/2.02
Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml 11763501 YES 0.01/0.03 YES 3.29/1.55
Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml 11763502 YES 0.70/0.71 YES 9.39/3.37
Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml 11763503 YES 0.53/0.64 YES 13.22/4.85
Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml 11763504 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex16_Luc06_C.xml 11763505 is timeout (wallclock) YES 3.68/1.72
Transformed_CSR_innermost_04/Ex9_BLR02_L.xml 11763506 YES 0.01/0.06 YES 3.47/1.63
Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml 11763507 YES 1.54/1.61 YES 3.91/2.54
Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml 11763508 YES 37.30/38.06 YES 11.43/3.81
Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml 11763509 YES 0.73/0.80 YES 6.77/2.66
Transformed_CSR_innermost_04/Ex6_Luc98_L.xml 11763510 YES 0.01/0.02 YES 3.56/1.66
Transformed_CSR_innermost_04/MYNAT_complete_C.xml 11763511 is timeout (wallclock) YES 11.87/3.81
Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml 11763512 is timeout (wallclock) YES 3.89/1.84
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml 11763513 YES 0.29/0.29 YES 3.45/1.58
Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml 11763514 YES 3.98/4.14 YES 5.93/2.34
Transformed_CSR_innermost_04/Ex9_Luc04_C.xml 11763515 is timeout (wallclock) YES 3.59/1.80
Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml 11763516 is timeout (wallclock) YES 3.88/2.67
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml 11763517 YES 0.69/0.78 YES 8.48/3.11
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml 11763518 YES 0.16/0.57 YES 4.88/1.99
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml 11763519 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml 11763520 YES 34.79/36.62 YES 8.73/3.88
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml 11763521 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex49_GM04_C.xml 11763522 YES 3.24/7.90 YES 4.31/1.84
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml 11763523 YES 116.03/83.05 YES 3.75/1.66
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml 11763524 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml 11763525 YES 0.75/0.90 YES 4.01/1.88
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml 11763526 YES 1.79/2.00 YES 5.19/2.16
Transformed_CSR_innermost_04/Ex1_GM03_C.xml 11763527 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 11763528 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml 11763529 YES 0.15/0.19 YES 3.68/1.73
Mixed_innermost/test833.xml 11763184 YES 0.12/0.35 YES 3.45/1.69
Mixed_innermost/innermost3.xml 11763185 YES 120.88/121.05 YES 4.13/1.95
Mixed_innermost/tricky1.xml 11763186 YES 0.01/0.03 YES 3.80/1.68
Mixed_innermost/innermost4.xml 11763187 YES 122.94/125.17 YES 3.86/1.83
Mixed_innermost/cade04.xml 11763188 u timeout (wallclock) timeout (wallclock)
Mixed_innermost/bn111.xml 11763189 YES 0.03/0.08 YES 3.45/1.77
Mixed_innermost/narrow2.xml 11763190 u timeout (wallclock) timeout (wallclock)
Mixed_innermost/test75.xml 11763191 YES 20.14/20.32 YES 4.55/2.10
Mixed_innermost/cade12.xml 11763192 u timeout (wallclock) timeout (wallclock)
Mixed_innermost/thiemann26i.xml 11763193 is timeout (wallclock) YES 7.40/2.74
Mixed_innermost/test10.xml 11763194 YES 0.01/0.03 YES 3.70/2.16
Mixed_innermost/toyama.xml 11763195 YES 0.02/0.03 YES 3.37/1.90
Mixed_innermost/innermost5.xml 11763196 is timeout (wallclock) YES 4.48/2.31
Mixed_innermost/cade05.xml 11763197 is timeout (wallclock) YES 5.89/2.41
Mixed_innermost/innermost2.xml 11763198 is timeout (wallclock) YES 3.61/1.65
Mixed_innermost/cade13.xml 11763199 is timeout (wallclock) YES 6.66/2.61
Mixed_innermost/run_again2.xml 11763200 u timeout (wallclock) timeout (wallclock)
Mixed_innermost/muladd.xml 11763201 is MAYBE 40.25/40.34 NO 4.68/2.12
Mixed_innermost/test77.xml 11763202 YES 0.16/0.20 YES 4.45/2.58
Mixed_innermost/run_again1.xml 11763203 is timeout (wallclock) NO 7.83/2.98
Mixed_innermost/innermost1.xml 11763204 YES 0.01/0.04 YES 3.45/1.74
Mixed_innermost/thiemann28i.xml 11763205 is timeout (wallclock) YES 8.45/3.44
Mixed_innermost/narrow1.xml 11763206 u timeout (wallclock) timeout (wallclock)
Mixed_innermost/gkg.xml 11763207 YES 0.01/0.05 YES 3.45/1.58
Mixed_innermost/test9.xml 11763208 YES 0.23/0.28 YES 4.13/1.84
Mixed_innermost/n001.xml 11763209 is MAYBE 40.71/40.99 NO 6.79/2.57
Mixed_innermost/test76.xml 11763210 YES 0.16/0.23 YES 6.71/2.97
Mixed_innermost/test830.xml 11763211 YES 0.03/0.10 YES 3.82/1.68
Mixed_innermost/wiehe13.xml 11763212 YES 0.42/0.49 YES 6.38/2.92
Mixed_innermost/wiehe14.xml 11763213 YES 0.50/0.86 YES 6.74/2.64
214 300