Termination Competition 2018: TRS Innermost Certified30097

Job info CSV
benchmark AProVE certified
TRS_Innermost/raML/queue.raml.xml 5159665 YES 13.99/4.85 (CERTIFIED 0.0)
TRS_Innermost/raML/appendAll.raml.xml 5159666 YES 3.29/1.69 (CERTIFIED 0.0)
TRS_Innermost/raML/subtrees.raml.xml 5159667 YES 3.92/1.85 (CERTIFIED 0.0)
TRS_Innermost/raML/rationalPotential.raml.xml 5159668 YES 3.72/1.75 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/innermost4.xml 5159584 run script error [out]
TRS_Innermost/Mixed_innermost/cade05.xml 5159585 YES 5.42/2.87 (CERTIFIED 0.1)
TRS_Innermost/Mixed_innermost/test9.xml 5159586 YES 3.98/1.86 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/gkg.xml 5159587 YES 3.50/1.62 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/cade04.xml 5159588 MAYBE 315.57/291.46
TRS_Innermost/Mixed_innermost/toyama.xml 5159589 YES 3.34/1.66 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/test10.xml 5159590 YES 3.94/1.80 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/test77.xml 5159591 YES 3.89/1.82 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/cade12.xml 5159592 timeout (wallclock) [out]
TRS_Innermost/Mixed_innermost/wiehe14.xml 5159593 YES 6.75/2.52 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/innermost5.xml 5159594 MAYBE 11.33/4.46
TRS_Innermost/Mixed_innermost/n001.xml 5159595 NO 5.89/2.27 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/test75.xml 5159596 YES 3.89/1.86 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/cade13.xml 5159597 YES 5.93/2.34 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/wiehe13.xml 5159598 YES 6.02/2.31 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/muladd.xml 5159599 NO 4.69/6.51 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/thiemann28i.xml 5159600 YES 6.70/3.16 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/narrow2.xml 5159601 MAYBE 1057.29/291.61
TRS_Innermost/Mixed_innermost/innermost2.xml 5159602 YES 3.65/1.71 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/run_again1.xml 5159603 NO 6.74/2.55 (CERTIFIED 0.1)
TRS_Innermost/Mixed_innermost/test830.xml 5159604 YES 3.75/1.77 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/innermost3.xml 5159605 YES 4.20/1.85 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/bn111.xml 5159606 YES 3.50/1.65 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/tricky1.xml 5159607 YES 3.71/1.69 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/innermost1.xml 5159608 YES 3.62/1.74 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/thiemann26i.xml 5159609 YES 7.44/2.89 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/test76.xml 5159610 YES 3.73/1.82 (CERTIFIED 0.0)
TRS_Innermost/Mixed_innermost/run_again2.xml 5159611 timeout (wallclock) [out]
TRS_Innermost/Mixed_innermost/narrow1.xml 5159612 timeout (wallclock) [out]
TRS_Innermost/Mixed_innermost/test833.xml 5159613 YES 3.51/1.62 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml 5159303 NO 13.82/6.14 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml 5159304 YES 7.30/2.81 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_GM.xml 5159305 YES 6.53/2.51 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml 5159306 YES 5.31/2.07 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_C.xml 5159307 YES 14.29/4.77 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml 5159308 YES 6.17/2.34 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml 5159309 YES 4.90/2.00 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml 5159310 YES 8.88/3.03 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExConc_Zan97_C.xml 5159311 YES 9.93/3.31 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml 5159312 MAYBE 811.69/293.07
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml 5159313 YES 46.32/19.58 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml 5159314 YES 10.04/3.40 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml 5159315 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml 5159316 YES 3.98/1.83 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml 5159317 YES 12.05/4.30 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml 5159318 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml 5159319 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml 5159320 YES 16.87/5.67 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml 5159321 YES 4.36/1.95 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml 5159322 YES 4.67/1.96 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml 5159323 MAYBE 857.13/291.55
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml 5159324 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex23_Luc06_C.xml 5159325 YES 14.22/4.45 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml 5159326 YES 3.82/1.71 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml 5159327 MAYBE 888.57/291.90
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml 5159328 YES 8.48/3.04 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml 5159329 MAYBE 640.94/291.92
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml 5159330 YES 17.43/7.45 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml 5159331 MAYBE 853.23/291.54
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 5159332 YES 47.31/14.71 (CERTIFIED 0.3)
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml 5159333 YES 88.58/47.26 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml 5159334 NO 5.71/2.32 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml 5159335 YES 381.19/160.04 (CERTIFIED 2.1)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml 5159336 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml 5159337 YES 19.62/10.10 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml 5159338 MAYBE 611.30/291.85
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml 5159339 YES 6.31/2.46 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml 5159340 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml 5159341 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml 5159342 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml 5159343 YES 6.39/2.41 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml 5159344 YES 4.40/1.87 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml 5159345 MAYBE 1041.03/292.24
TRS_Innermost/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml 5159346 YES 3.12/1.49 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml 5159347 YES 19.73/5.83 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml 5159348 YES 7.79/2.84 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml 5159349 MAYBE 823.23/292.90
TRS_Innermost/Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml 5159350 YES 165.93/45.27 (CERTIFIED 0.2)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml 5159351 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml 5159352 YES 11.12/3.79 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml 5159353 YES 39.49/12.10 (CERTIFIED 0.2)
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml 5159354 YES 4.75/2.60 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml 5159355 YES 7.27/2.81 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml 5159356 YES 3.29/1.59 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml 5159357 YES 7.49/2.70 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml 5159358 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml 5159359 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml 5159360 MAYBE 957.94/294.17
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_Zan97_C.xml 5159361 YES 5.88/2.39 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml 5159362 YES 4.06/1.80 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml 5159363 MAYBE 759.79/292.69
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml 5159364 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml 5159365 YES 149.08/58.98 (CERTIFIED 0.6)
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml 5159366 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml 5159367 YES 5.28/2.22 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml 5159368 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml 5159369 YES 16.12/5.03 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml 5159370 YES 9.68/3.34 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml 5159371 MAYBE 658.10/291.99
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml 5159372 YES 5.34/2.14 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml 5159373 YES 12.44/4.28 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml 5159374 YES 3.75/1.69 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml 5159375 MAYBE 741.99/292.33
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml 5159376 MAYBE 1152.92/291.93
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml 5159377 YES 12.50/4.08 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml 5159378 YES 5.47/2.24 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml 5159379 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_Luc98_L.xml 5159380 YES 3.56/1.60 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml 5159381 MAYBE 863.19/292.69
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml 5159382 MAYBE 636.70/292.50
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml 5159383 MAYBE 967.02/294.34
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml 5159384 YES 3.94/1.79 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml 5159385 YES 3.62/1.66 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml 5159386 YES 10.10/3.43 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml 5159387 MAYBE 997.42/293.10
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml 5159388 YES 5.51/2.20 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml 5159389 YES 14.39/4.59 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml 5159390 YES 16.57/5.14 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml 5159391 YES 7.52/2.70 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml 5159392 YES 3.15/1.50 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml 5159393 YES 19.94/6.45 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml 5159394 YES 5.06/2.04 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml 5159395 YES 4.12/1.78 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml 5159396 YES 4.59/2.04 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml 5159397 YES 114.99/41.64 (CERTIFIED 0.2)
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml 5159398 YES 8.60/3.66 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GL02a_C.xml 5159399 YES 12.17/4.03 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml 5159400 MAYBE 612.93/291.82
TRS_Innermost/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml 5159401 YES 8.60/3.08 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml 5159402 YES 18.24/5.75 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml 5159403 MAYBE 1080.05/291.75
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml 5159404 YES 6.59/2.49 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml 5159405 YES 3.86/1.70 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml 5159406 MAYBE 955.33/292.14
TRS_Innermost/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml 5159407 YES 3.13/1.52 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml 5159408 MAYBE 738.93/292.43
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml 5159409 YES 4.43/1.92 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml 5159410 YES 7.03/2.72 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml 5159411 YES 7.82/2.91 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml 5159412 MAYBE 308.62/292.29
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_GM04_C.xml 5159413 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml 5159414 YES 6.80/2.66 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml 5159415 YES 8.91/3.13 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM03_C.xml 5159416 MAYBE 903.98/291.58
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml 5159417 YES 3.97/1.77 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml 5159418 YES 5.56/2.16 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml 5159419 YES 3.72/1.77 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml 5159420 YES 7.31/2.68 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml 5159421 YES 4.07/1.77 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml 5159422 MAYBE 852.64/291.89
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml 5159423 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml 5159424 YES 3.45/1.54 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml 5159425 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml 5159426 YES 6.88/2.60 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml 5159427 MAYBE 948.38/292.60
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml 5159428 MAYBE 896.03/291.92
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml 5159429 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml 5159430 YES 8.53/3.03 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml 5159431 YES 11.03/4.21 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml 5159432 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml 5159433 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_GM04_C.xml 5159434 YES 11.44/3.71 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml 5159435 NO 19.99/7.97 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml 5159436 YES 8.01/2.94 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml 5159437 YES 28.62/8.96 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml 5159438 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml 5159439 YES 3.13/1.50 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_C.xml 5159440 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml 5159441 YES 71.83/21.65 (CERTIFIED 0.3)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml 5159442 MAYBE 563.09/292.36
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml 5159443 YES 6.08/2.29 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml 5159444 YES 4.49/1.93 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml 5159445 YES 9.82/3.37 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml 5159446 YES 5.20/2.16 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml 5159447 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml 5159448 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml 5159449 MAYBE 722.73/292.10
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml 5159450 YES 5.34/2.11 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml 5159451 YES 3.24/1.50 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml 5159452 YES 7.54/2.75 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml 5159453 MAYBE 611.69/291.78
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml 5159454 YES 3.71/1.63 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_Luc98_C.xml 5159455 YES 6.95/2.59 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc06_C.xml 5159456 YES 32.17/18.02 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml 5159457 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml 5159458 YES 3.79/1.77 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml 5159459 YES 137.79/46.29 (CERTIFIED 0.3)
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml 5159460 YES 6.68/2.56 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml 5159461 YES 290.24/111.25 (CERTIFIED 0.2)
TRS_Innermost/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml 5159462 YES 10.14/3.35 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml 5159463 MAYBE 672.37/291.86
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml 5159464 YES 4.57/1.95 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml 5159465 YES 5.07/2.16 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml 5159466 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml 5159467 YES 8.24/3.02 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml 5159468 YES 5.74/2.18 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml 5159469 YES 8.65/3.20 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml 5159470 MAYBE 988.91/291.73
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml 5159471 YES 5.95/2.42 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml 5159472 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml 5159473 YES 10.61/3.65 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml 5159474 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml 5159475 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml 5159476 YES 6.82/2.45 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml 5159477 MAYBE 880.43/292.53
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml 5159478 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml 5159479 YES 5.86/2.31 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex49_GM04_C.xml 5159480 YES 7.96/2.87 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml 5159481 MAYBE 852.52/292.76
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM99_C.xml 5159482 YES 91.41/34.57 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml 5159483 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml 5159484 YES 26.00/8.38 (CERTIFIED 0.3)
TRS_Innermost/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml 5159485 YES 9.01/3.17 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml 5159486 YES 4.61/1.92 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml 5159487 YES 16.66/5.35 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml 5159488 YES 4.33/1.83 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex16_Luc06_C.xml 5159489 YES 64.70/25.57 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml 5159490 YES 5.63/2.54 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml 5159491 YES 16.30/5.03 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml 5159492 YES 12.45/3.96 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml 5159493 YES 7.40/2.73 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml 5159494 MAYBE 617.81/292.24
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml 5159495 YES 4.42/2.43 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml 5159496 MAYBE 584.38/291.86
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml 5159497 YES 7.22/2.61 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml 5159498 YES 16.61/6.34 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_Zan97_C.xml 5159499 MAYBE 921.93/293.61
TRS_Innermost/Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml 5159500 YES 6.11/2.36 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml 5159501 MAYBE 737.93/292.39
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Zan97_C.xml 5159502 YES 16.03/7.69 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml 5159503 YES 10.71/3.80 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml 5159504 YES 3.29/1.56 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml 5159505 YES 566.92/154.32 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml 5159506 YES 6.79/2.50 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml 5159507 YES 5.74/2.16 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml 5159508 YES 7.43/2.66 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml 5159509 YES 67.17/19.64 (CERTIFIED 0.2)
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml 5159510 YES 8.33/3.00 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5159511 NO 9.33/3.52 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml 5159512 MAYBE 843.49/291.86
TRS_Innermost/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml 5159513 YES 3.52/1.59 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml 5159514 YES 9.19/3.22 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml 5159515 YES 9.95/3.48 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml 5159516 YES 8.14/3.25 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml 5159517 YES 12.55/4.08 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml 5159518 YES 140.37/60.15 (CERTIFIED 0.7)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml 5159519 YES 156.15/43.53 (CERTIFIED 0.2)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_GM.xml 5159520 YES 5.13/2.11 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml 5159521 YES 16.37/5.32 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml 5159522 MAYBE 659.17/291.60
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml 5159523 YES 5.34/2.14 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml 5159524 YES 5.77/2.30 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml 5159525 MAYBE 925.00/292.73
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5159526 YES 9.29/3.25 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml 5159527 MAYBE 596.71/291.85
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml 5159528 MAYBE 688.34/291.92
TRS_Innermost/Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml 5159529 YES 6.67/2.55 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex49_GM04_GM.xml 5159530 YES 5.59/2.28 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml 5159531 YES 9.12/3.28 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml 5159532 MAYBE 889.88/292.03
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml 5159533 YES 3.23/1.51 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml 5159534 YES 5.29/2.14 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml 5159535 YES 6.65/2.64 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml 5159536 MAYBE 740.25/292.15
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml 5159537 YES 4.80/2.08 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml 5159538 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml 5159539 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml 5159540 YES 26.22/7.82 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 5159541 MAYBE 644.36/291.60
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml 5159542 YES 4.43/1.84 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml 5159543 MAYBE 705.56/292.67
TRS_Innermost/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml 5159544 YES 8.04/2.96 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml 5159545 YES 19.97/6.37 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml 5159546 YES 10.00/3.52 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml 5159547 YES 5.30/2.13 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc98_C.xml 5159548 YES 8.58/3.14 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml 5159549 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml 5159550 YES 692.47/257.26 (CERTIFIED 2.3)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml 5159551 YES 4.78/2.15 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml 5159552 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml 5159553 YES 7.01/2.76 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml 5159554 YES 7.55/2.70 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml 5159555 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml 5159556 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml 5159557 MAYBE 782.59/291.59
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml 5159558 MAYBE 752.81/292.40
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml 5159559 YES 3.65/1.66 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml 5159560 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml 5159561 YES 6.87/2.57 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml 5159562 YES 36.83/11.71 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml 5159563 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml 5159564 YES 10.44/3.66 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml 5159565 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_C.xml 5159566 YES 8.42/3.12 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml 5159567 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml 5159568 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml 5159569 YES 12.52/4.21 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml 5159570 YES 42.90/12.05 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml 5159571 MAYBE 1142.08/292.99
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml 5159572 YES 4.00/1.81 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml 5159573 YES 6.61/2.50 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml 5159574 MAYBE 988.74/291.64
TRS_Innermost/Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml 5159575 YES 3.53/1.67 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml 5159576 MAYBE 642.82/291.59
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_C.xml 5159577 YES 14.25/4.71 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml 5159578 YES 9.62/3.20 (CERTIFIED 0.0)
TRS_Innermost/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml 5159579 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml 5159580 MAYBE 838.44/291.58
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml 5159581 MAYBE 754.98/294.22
TRS_Innermost/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml 5159582 YES 11.61/4.14 (CERTIFIED 0.1)
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml 5159583 YES 7.74/2.78 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.19.xml 5159649 YES 4.97/2.05 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.13.xml 5159650 YES 4.32/1.89 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.10.xml 5159651 YES 4.51/1.94 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.8.xml 5159652 YES 4.78/2.09 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.17.xml 5159653 YES 4.74/1.97 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.22.xml 5159654 YES 4.40/1.91 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.36.xml 5159655 YES 7.16/2.58 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.26.xml 5159656 YES 5.63/2.20 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.15.xml 5159657 YES 4.73/1.95 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.24.xml 5159658 YES 4.50/1.96 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.28.xml 5159659 YES 4.69/2.09 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.3.xml 5159660 YES 4.42/1.89 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.5.xml 5159661 YES 4.23/1.84 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.34.xml 5159662 YES 4.97/2.16 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.2.xml 5159663 YES 4.55/1.98 (CERTIFIED 0.0)
TRS_Innermost/Applicative_AG01_innermost/#4.7.xml 5159664 YES 4.62/1.91 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.4.xml 5159614 YES 3.50/1.62 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.19.xml 5159615 YES 3.74/1.68 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.31.xml 5159616 YES 16.15/4.82 (CERTIFIED 0.1)
TRS_Innermost/AG01_innermost/#4.18.xml 5159617 YES 4.22/1.79 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.13.xml 5159618 YES 3.30/2.50 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.27.xml 5159619 YES 3.62/1.76 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.17.xml 5159620 YES 3.88/1.85 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.22.xml 5159621 YES 3.85/2.60 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.36.xml 5159622 YES 5.50/2.16 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.37.xml 5159623 YES 3.80/1.79 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.20a.xml 5159624 YES 4.58/1.89 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.30b.xml 5159625 YES 9.17/5.19 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.33.xml 5159626 YES 4.40/1.85 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.26.xml 5159627 YES 4.48/1.98 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.35.xml 5159628 YES 5.80/2.36 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.16.xml 5159629 YES 3.62/1.65 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.15.xml 5159630 YES 3.55/1.72 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.14.xml 5159631 YES 3.65/1.76 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.23.xml 5159632 YES 3.87/1.84 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.24.xml 5159633 YES 3.90/1.90 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.32.xml 5159634 YES 3.61/1.64 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.28.xml 5159635 YES 7.68/2.73 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.25.xml 5159636 YES 3.36/1.64 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.21.xml 5159637 YES 4.40/1.87 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.30a.xml 5159638 YES 4.36/2.02 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.3.xml 5159639 YES 3.56/1.64 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.20.xml 5159640 YES 4.23/1.76 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.5.xml 5159641 YES 4.72/2.05 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.30.xml 5159642 YES 6.99/3.13 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.29.xml 5159643 YES 4.90/2.09 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.34.xml 5159644 YES 4.16/1.82 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.37a.xml 5159645 YES 3.95/1.76 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.2.xml 5159646 YES 3.56/1.66 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.12a.xml 5159647 YES 3.91/1.79 (CERTIFIED 0.0)
TRS_Innermost/AG01_innermost/#4.7.xml 5159648 run script error [out]
261