Termination Competition 2018: TRS Innermost30046

Job info CSV
benchmark AProVE standard muterm 5.18 default
TRS_Innermost/raML/queue.raml.xml 5159665 YES 13.67/4.83 YES 18.62/19.09
TRS_Innermost/raML/appendAll.raml.xml 5159666 YES 3.38/1.53 YES 0.01/0.01
TRS_Innermost/raML/subtrees.raml.xml 5159667 YES 3.81/1.69 YES 0.01/0.01
TRS_Innermost/raML/rationalPotential.raml.xml 5159668 YES 3.70/1.77 YES 0.01/0.02
TRS_Innermost/Mixed_innermost/innermost4.xml 5159584 YES 3.79/1.71 YES 2.35/2.50
TRS_Innermost/Mixed_innermost/cade05.xml 5159585 YES 6.64/2.58 run script error [out]
TRS_Innermost/Mixed_innermost/test9.xml 5159586 YES 4.09/1.84 YES 0.16/0.22
TRS_Innermost/Mixed_innermost/gkg.xml 5159587 YES 3.49/1.63 YES 0.01/0.01
TRS_Innermost/Mixed_innermost/cade04.xml 5159588 run script error [out] MAYBE 149.72/151.21
TRS_Innermost/Mixed_innermost/toyama.xml 5159589 YES 3.49/1.64 YES 0.01/0.01
TRS_Innermost/Mixed_innermost/test10.xml 5159590 YES 3.79/1.74 YES 0.01/0.01
TRS_Innermost/Mixed_innermost/test77.xml 5159591 YES 4.38/2.03 YES 0.14/0.44
TRS_Innermost/Mixed_innermost/cade12.xml 5159592 run script error [out] run script error [out]
TRS_Innermost/Mixed_innermost/wiehe14.xml 5159593 YES 6.79/2.52 YES 0.42/0.46
TRS_Innermost/Mixed_innermost/innermost5.xml 5159594 YES 3.91/1.83 run script error [out]
TRS_Innermost/Mixed_innermost/n001.xml 5159595 NO 5.97/2.35 MAYBE 0.67/0.70
TRS_Innermost/Mixed_innermost/test75.xml 5159596 YES 4.32/2.08 YES 0.11/0.14
TRS_Innermost/Mixed_innermost/cade13.xml 5159597 YES 7.07/3.19 MAYBE 69.41/70.13
TRS_Innermost/Mixed_innermost/wiehe13.xml 5159598 YES 6.47/3.68 YES 0.25/0.27
TRS_Innermost/Mixed_innermost/muladd.xml 5159599 NO 4.90/2.20 MAYBE 0.21/0.26
TRS_Innermost/Mixed_innermost/thiemann28i.xml 5159600 YES 8.19/3.79 MAYBE 148.32/149.23
TRS_Innermost/Mixed_innermost/narrow2.xml 5159601 run script error [out] run script error [out]
TRS_Innermost/Mixed_innermost/innermost2.xml 5159602 YES 3.71/1.66 timeout (wallclock) [out]
TRS_Innermost/Mixed_innermost/run_again1.xml 5159603 NO 7.93/3.24 run script error [out]
TRS_Innermost/Mixed_innermost/test830.xml 5159604 YES 3.74/1.69 YES 0.02/0.03
TRS_Innermost/Mixed_innermost/innermost3.xml 5159605 run script error [out] YES 0.74/1.09
TRS_Innermost/Mixed_innermost/bn111.xml 5159606 YES 3.53/1.64 YES 0.01/0.01
TRS_Innermost/Mixed_innermost/tricky1.xml 5159607 YES 3.79/2.71 YES 0.01/0.01
TRS_Innermost/Mixed_innermost/innermost1.xml 5159608 YES 3.44/1.56 YES 0.01/0.01
TRS_Innermost/Mixed_innermost/thiemann26i.xml 5159609 YES 7.49/2.78 MAYBE 268.26/273.42
TRS_Innermost/Mixed_innermost/test76.xml 5159610 YES 6.75/2.74 YES 0.13/0.18
TRS_Innermost/Mixed_innermost/run_again2.xml 5159611 run script error [out] run script error [out]
TRS_Innermost/Mixed_innermost/narrow1.xml 5159612 run script error [out] run script error [out]
TRS_Innermost/Mixed_innermost/test833.xml 5159613 run script error [out] YES 0.09/0.13
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml 5159303 NO 12.59/5.88 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml 5159304 YES 3.83/1.72 YES 7.70/7.85
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_GM.xml 5159305 YES 6.23/2.42 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml 5159306 YES 5.42/2.19 YES 0.09/0.09
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_C.xml 5159307 YES 7.87/2.83 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml 5159308 YES 5.99/2.21 YES 0.28/0.28
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml 5159309 YES 4.55/2.58 YES 0.03/0.04
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml 5159310 YES 8.55/2.95 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExConc_Zan97_C.xml 5159311 YES 3.95/1.68 YES 0.06/0.06
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml 5159312 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml 5159313 YES 3.38/1.59 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml 5159314 YES 10.95/3.67 YES 0.80/0.86
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml 5159315 YES 5.48/2.20 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml 5159316 YES 3.80/1.77 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml 5159317 YES 8.28/3.07 YES 0.62/0.65
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml 5159318 YES 3.47/1.61 YES 0.02/0.04
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml 5159319 YES 4.52/1.90 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml 5159320 YES 15.02/4.91 YES 103.88/108.03
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml 5159321 YES 4.10/1.81 YES 0.16/0.30
TRS_Innermost/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml 5159322 YES 4.18/1.91 YES 0.15/0.16
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml 5159323 YES 3.75/1.79 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml 5159324 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex23_Luc06_C.xml 5159325 YES 3.67/2.02 YES 0.06/0.09
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml 5159326 YES 3.46/1.63 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml 5159327 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml 5159328 YES 4.01/1.77 YES 0.19/0.19
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml 5159329 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml 5159330 YES 9.95/3.69 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml 5159331 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 5159332 YES 52.91/16.02 YES 198.01/200.29
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml 5159333 YES 3.63/1.65 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml 5159334 NO 5.67/2.40 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml 5159335 YES 463.37/163.32 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml 5159336 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml 5159337 YES 18.81/6.20 YES 216.58/222.57
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml 5159338 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml 5159339 YES 7.82/2.79 YES 0.17/0.17
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml 5159340 timeout (wallclock) [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml 5159341 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml 5159342 YES 7.06/2.52 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml 5159343 YES 3.70/1.71 YES 0.10/0.13
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml 5159344 YES 4.32/1.89 YES 0.17/0.17
TRS_Innermost/Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml 5159345 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml 5159346 YES 3.14/1.49 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml 5159347 YES 16.40/4.93 YES 0.08/0.08
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml 5159348 YES 9.36/3.24 YES 0.62/0.61
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml 5159349 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml 5159350 YES 166.86/45.96 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml 5159351 timeout (wallclock) [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml 5159352 YES 11.54/3.90 YES 0.42/0.42
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml 5159353 YES 43.37/13.49 YES 7.01/7.00
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml 5159354 YES 4.47/2.98 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml 5159355 YES 7.10/2.73 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml 5159356 YES 3.59/1.66 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml 5159357 YES 3.76/1.66 YES 2.17/2.19
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml 5159358 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml 5159359 YES 3.98/1.77 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml 5159360 YES 4.27/1.89 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_Zan97_C.xml 5159361 YES 3.60/1.61 YES 3.26/3.32
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml 5159362 YES 4.22/1.77 YES 0.74/0.75
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml 5159363 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml 5159364 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml 5159365 YES 207.23/65.67 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml 5159366 YES 4.88/2.12 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml 5159367 YES 4.81/2.84 YES 0.99/1.13
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml 5159368 timeout (wallclock) [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml 5159369 YES 16.61/5.18 YES 65.55/66.83
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml 5159370 YES 9.44/3.23 YES 33.54/35.27
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml 5159371 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml 5159372 YES 3.60/1.72 YES 0.09/0.09
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml 5159373 YES 12.51/4.70 YES 1.66/1.66
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml 5159374 YES 3.59/1.63 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml 5159375 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml 5159376 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml 5159377 YES 4.76/1.95 YES 2.36/2.41
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml 5159378 YES 4.99/2.04 YES 0.18/0.17
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml 5159379 YES 4.40/1.83 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_Luc98_L.xml 5159380 YES 3.51/1.63 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml 5159381 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml 5159382 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml 5159383 YES 5.91/2.27 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml 5159384 YES 4.10/1.86 YES 0.01/0.02
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml 5159385 YES 3.86/1.68 YES 0.24/0.23
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml 5159386 YES 3.86/1.72 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml 5159387 YES 6.75/2.64 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml 5159388 YES 3.51/1.58 YES 0.14/0.15
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml 5159389 YES 15.12/5.03 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml 5159390 YES 17.07/5.24 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml 5159391 run script error [out] YES 165.63/170.43
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml 5159392 YES 3.21/1.49 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml 5159393 YES 21.24/6.63 YES 17.42/18.60
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml 5159394 YES 4.73/2.06 YES 271.00/283.09
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml 5159395 YES 4.22/2.32 YES 0.03/0.03
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml 5159396 YES 4.50/1.95 YES 58.82/69.80
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml 5159397 YES 110.67/38.84 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml 5159398 YES 3.63/1.64 YES 0.16/0.16
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GL02a_C.xml 5159399 YES 3.86/1.69 YES 6.84/6.92
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml 5159400 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml 5159401 YES 8.11/2.88 YES 289.25/293.42
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml 5159402 YES 12.20/4.07 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml 5159403 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml 5159404 YES 6.73/2.55 YES 0.64/0.66
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml 5159405 YES 3.95/1.71 YES 0.06/0.06
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml 5159406 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml 5159407 YES 3.29/1.50 YES 0.01/0.03
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml 5159408 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml 5159409 YES 4.55/2.17 YES 0.05/0.06
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml 5159410 YES 6.91/2.64 YES 0.12/0.13
TRS_Innermost/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml 5159411 YES 3.50/1.53 YES 0.01/0.02
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml 5159412 YES 14.14/5.46 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_GM04_C.xml 5159413 YES 3.54/1.75 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml 5159414 YES 7.06/2.75 YES 0.15/0.14
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml 5159415 YES 4.18/1.81 YES 0.33/0.35
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM03_C.xml 5159416 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml 5159417 YES 3.73/1.65 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml 5159418 YES 3.66/1.66 YES 3.20/3.24
TRS_Innermost/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml 5159419 YES 3.80/1.86 YES 0.01/0.02
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml 5159420 YES 6.78/2.53 YES 14.97/16.18
TRS_Innermost/Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml 5159421 YES 3.77/1.67 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml 5159422 YES 5.01/2.03 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml 5159423 YES 3.81/1.83 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml 5159424 YES 3.54/1.62 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml 5159425 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml 5159426 YES 3.34/1.58 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml 5159427 YES 3.80/1.92 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml 5159428 YES 7.53/2.64 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml 5159429 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml 5159430 YES 7.97/2.86 YES 1.70/1.84
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml 5159431 YES 12.59/4.23 YES 6.76/6.73
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml 5159432 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml 5159433 YES 5.23/3.13 YES 0.04/0.52
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_GM04_C.xml 5159434 YES 3.93/1.69 YES 0.05/0.06
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml 5159435 NO 26.09/11.49 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml 5159436 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml 5159437 YES 25.60/7.84 YES 5.10/5.38
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml 5159438 YES 4.13/1.80 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml 5159439 YES 3.27/1.53 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_C.xml 5159440 timeout (wallclock) [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml 5159441 YES 75.44/26.63 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml 5159442 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml 5159443 YES 3.58/1.67 YES 0.26/0.26
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml 5159444 YES 3.65/1.64 YES 0.02/0.04
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml 5159445 YES 8.41/3.02 YES 3.20/9.52
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml 5159446 YES 3.40/1.56 YES 0.01/0.02
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml 5159447 YES 4.37/1.91 YES 9.94/10.04
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml 5159448 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml 5159449 timeout (wallclock) [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml 5159450 YES 5.25/2.89 YES 1.59/1.66
TRS_Innermost/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml 5159451 YES 3.19/1.48 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml 5159452 YES 6.97/2.56 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml 5159453 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml 5159454 YES 3.48/1.54 YES 0.15/0.15
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_Luc98_C.xml 5159455 YES 3.64/1.65 YES 0.11/0.13
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc06_C.xml 5159456 YES 3.79/1.69 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml 5159457 YES 10.38/3.40 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml 5159458 YES 3.90/1.74 YES 27.28/29.52
TRS_Innermost/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml 5159459 YES 141.72/46.81 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml 5159460 YES 6.93/2.54 YES 0.85/0.89
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml 5159461 YES 108.70/40.95 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml 5159462 YES 3.62/1.58 YES 0.03/0.04
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml 5159463 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml 5159464 YES 4.23/1.85 YES 0.04/0.04
TRS_Innermost/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml 5159465 YES 4.03/1.78 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml 5159466 YES 11.37/4.77 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml 5159467 YES 4.10/1.81 YES 0.18/0.18
TRS_Innermost/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml 5159468 YES 3.42/1.59 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml 5159469 YES 9.96/3.39 YES 0.39/0.38
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml 5159470 YES 6.24/2.31 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml 5159471 YES 3.99/1.74 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml 5159472 YES 3.61/1.78 YES 0.20/0.19
TRS_Innermost/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml 5159473 YES 4.06/1.77 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml 5159474 YES 187.81/53.83 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml 5159475 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml 5159476 YES 3.21/1.50 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml 5159477 YES 6.79/2.57 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml 5159478 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml 5159479 YES 6.47/2.42 YES 0.27/0.27
TRS_Innermost/Transformed_CSR_innermost_04/Ex49_GM04_C.xml 5159480 YES 4.15/1.85 YES 2.10/2.27
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml 5159481 timeout (wallclock) [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_GM99_C.xml 5159482 YES 3.49/1.63 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml 5159483 YES 82.79/21.71 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml 5159484 YES 6.32/2.35 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml 5159485 YES 3.68/2.01 YES 0.01/0.02
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml 5159486 YES 4.22/1.85 YES 1.26/1.37
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml 5159487 YES 16.79/5.39 YES 1.16/1.18
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml 5159488 YES 3.27/1.59 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/Ex16_Luc06_C.xml 5159489 YES 3.45/1.60 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml 5159490 YES 5.20/2.06 YES 0.07/0.07
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml 5159491 YES 16.28/5.07 YES 4.99/4.96
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml 5159492 YES 3.86/1.68 YES 23.67/23.77
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml 5159493 YES 7.16/2.70 YES 0.44/0.46
TRS_Innermost/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml 5159494 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml 5159495 YES 3.98/1.80 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml 5159496 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml 5159497 YES 7.40/2.73 YES 0.35/0.50
TRS_Innermost/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml 5159498 YES 3.71/1.60 YES 31.23/31.31
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_Zan97_C.xml 5159499 YES 3.61/1.70 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml 5159500 YES 6.12/2.31 YES 0.19/0.19
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml 5159501 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Zan97_C.xml 5159502 YES 8.45/3.06 YES 14.42/14.48
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml 5159503 YES 10.63/3.58 YES 3.23/3.41
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml 5159504 YES 3.46/1.54 YES 0.25/0.24
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml 5159505 YES 3.67/1.59 YES 20.52/20.57
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml 5159506 YES 5.28/2.16 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml 5159507 YES 3.30/1.54 YES 0.03/0.04
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml 5159508 YES 7.64/2.70 YES 0.26/0.26
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml 5159509 YES 86.23/24.42 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml 5159510 YES 4.14/1.76 YES 1.85/1.86
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5159511 NO 9.87/3.41 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml 5159512 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml 5159513 YES 3.40/1.59 YES 0.03/0.05
TRS_Innermost/Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml 5159514 YES 4.24/1.90 YES 0.24/0.24
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml 5159515 YES 9.88/3.70 YES 3.79/4.16
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml 5159516 YES 6.98/2.69 YES 19.46/19.74
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml 5159517 YES 4.98/1.97 YES 1.08/1.09
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml 5159518 YES 163.30/66.61 YES 110.99/119.50
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml 5159519 YES 177.96/47.07 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_GM.xml 5159520 YES 5.22/2.08 YES 13.18/14.14
TRS_Innermost/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml 5159521 YES 14.18/4.59 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml 5159522 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml 5159523 YES 3.73/1.69 YES 0.09/0.09
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml 5159524 YES 6.13/2.36 YES 3.52/3.67
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml 5159525 YES 3.61/1.69 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5159526 YES 8.56/2.91 YES 0.19/0.19
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml 5159527 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml 5159528 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml 5159529 YES 3.45/1.58 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/Ex49_GM04_GM.xml 5159530 YES 7.72/2.72 YES 0.12/0.14
TRS_Innermost/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml 5159531 YES 3.79/1.68 YES 0.08/0.08
TRS_Innermost/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml 5159532 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml 5159533 YES 3.49/1.53 YES 0.03/0.07
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml 5159534 YES 4.93/2.03 YES 0.09/0.09
TRS_Innermost/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml 5159535 YES 7.11/2.64 YES 0.64/0.68
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml 5159536 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml 5159537 YES 5.09/2.00 YES 0.25/0.24
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml 5159538 timeout (wallclock) [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml 5159539 YES 3.53/1.56 YES 0.05/0.06
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml 5159540 YES 23.05/7.32 YES 1.35/1.35
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 5159541 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml 5159542 YES 4.34/2.25 YES 1.29/1.37
TRS_Innermost/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml 5159543 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml 5159544 YES 3.56/1.66 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml 5159545 YES 21.62/6.73 YES 14.30/14.48
TRS_Innermost/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml 5159546 YES 10.52/3.62 YES 0.45/0.44
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml 5159547 YES 5.10/2.18 YES 0.13/0.13
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc98_C.xml 5159548 YES 3.64/1.63 YES 0.18/0.17
TRS_Innermost/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml 5159549 YES 4.00/2.16 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml 5159550 YES 714.38/253.29 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml 5159551 YES 5.10/2.07 YES 12.95/14.27
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml 5159552 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml 5159553 YES 6.18/2.33 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml 5159554 YES 6.93/2.45 YES 1.13/1.12
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml 5159555 YES 7.03/2.50 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml 5159556 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml 5159557 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml 5159558 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml 5159559 YES 3.42/1.53 YES 0.01/0.01
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml 5159560 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml 5159561 YES 6.20/2.30 YES 1.09/1.07
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml 5159562 YES 43.35/13.07 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml 5159563 YES 4.50/1.98 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml 5159564 YES 9.16/3.36 YES 35.41/35.73
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml 5159565 YES 4.21/1.76 YES 0.12/0.12
TRS_Innermost/Transformed_CSR_innermost_04/PEANO_complete_C.xml 5159566 YES 5.62/2.27 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml 5159567 run script error [out] timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml 5159568 YES 4.22/1.83 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml 5159569 YES 13.70/4.45 YES 0.49/0.48
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml 5159570 YES 60.51/16.22 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml 5159571 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml 5159572 YES 3.90/1.72 timeout (wallclock) [out]
TRS_Innermost/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml 5159573 YES 5.92/2.19 YES 0.29/0.29
TRS_Innermost/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml 5159574 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml 5159575 YES 3.57/1.60 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml 5159576 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_complete_C.xml 5159577 YES 11.75/3.73 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml 5159578 YES 3.42/2.23 YES 0.03/0.04
TRS_Innermost/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml 5159579 YES 4.20/1.79 run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml 5159580 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml 5159581 run script error [out] run script error [out]
TRS_Innermost/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml 5159582 YES 14.84/5.04 YES 0.67/0.66
TRS_Innermost/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml 5159583 YES 7.62/2.72 YES 77.22/79.35
TRS_Innermost/Applicative_AG01_innermost/#4.19.xml 5159649 YES 4.52/1.91 MAYBE 25.35/25.66
TRS_Innermost/Applicative_AG01_innermost/#4.13.xml 5159650 YES 4.18/1.79 YES 0.02/0.02
TRS_Innermost/Applicative_AG01_innermost/#4.10.xml 5159651 YES 4.18/1.79 YES 0.02/0.02
TRS_Innermost/Applicative_AG01_innermost/#4.8.xml 5159652 YES 7.67/3.11 YES 0.86/0.91
TRS_Innermost/Applicative_AG01_innermost/#4.17.xml 5159653 YES 4.78/2.01 YES 2.08/2.11
TRS_Innermost/Applicative_AG01_innermost/#4.22.xml 5159654 YES 4.43/1.89 MAYBE 5.78/6.13
TRS_Innermost/Applicative_AG01_innermost/#4.36.xml 5159655 YES 7.01/2.65 run script error [out]
TRS_Innermost/Applicative_AG01_innermost/#4.26.xml 5159656 YES 5.46/2.16 MAYBE 14.31/15.03
TRS_Innermost/Applicative_AG01_innermost/#4.15.xml 5159657 YES 4.35/1.86 YES 0.02/0.03
TRS_Innermost/Applicative_AG01_innermost/#4.24.xml 5159658 YES 4.52/1.94 YES 0.03/0.03
TRS_Innermost/Applicative_AG01_innermost/#4.28.xml 5159659 YES 4.44/1.85 MAYBE 1.36/1.42
TRS_Innermost/Applicative_AG01_innermost/#4.3.xml 5159660 YES 4.37/1.90 YES 0.02/0.02
TRS_Innermost/Applicative_AG01_innermost/#4.5.xml 5159661 YES 4.21/1.80 YES 0.02/0.02
TRS_Innermost/Applicative_AG01_innermost/#4.34.xml 5159662 YES 4.68/1.98 YES 0.71/0.82
TRS_Innermost/Applicative_AG01_innermost/#4.2.xml 5159663 YES 4.41/1.84 YES 0.02/0.02
TRS_Innermost/Applicative_AG01_innermost/#4.7.xml 5159664 YES 4.30/1.79 YES 0.02/0.02
TRS_Innermost/AG01_innermost/#4.4.xml 5159614 YES 3.52/1.64 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.19.xml 5159615 YES 3.88/1.74 YES 0.01/0.02
TRS_Innermost/AG01_innermost/#4.31.xml 5159616 YES 15.37/4.64 YES 7.11/7.53
TRS_Innermost/AG01_innermost/#4.18.xml 5159617 YES 3.84/1.71 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.13.xml 5159618 YES 3.53/1.65 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.27.xml 5159619 YES 3.79/1.73 YES 0.03/0.05
TRS_Innermost/AG01_innermost/#4.17.xml 5159620 YES 3.60/5.58 YES 6.53/6.58
TRS_Innermost/AG01_innermost/#4.22.xml 5159621 YES 3.56/1.63 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.36.xml 5159622 YES 5.47/2.18 run script error [out]
TRS_Innermost/AG01_innermost/#4.37.xml 5159623 YES 3.66/1.62 YES 0.03/0.06
TRS_Innermost/AG01_innermost/#4.20a.xml 5159624 YES 3.30/1.69 YES 0.02/0.03
TRS_Innermost/AG01_innermost/#4.30b.xml 5159625 YES 7.17/3.43 YES 2.42/2.85
TRS_Innermost/AG01_innermost/#4.33.xml 5159626 YES 4.06/1.77 YES 0.05/0.06
TRS_Innermost/AG01_innermost/#4.26.xml 5159627 YES 4.53/1.93 YES 0.05/0.08
TRS_Innermost/AG01_innermost/#4.35.xml 5159628 YES 5.93/2.37 YES 0.18/0.18
TRS_Innermost/AG01_innermost/#4.16.xml 5159629 YES 3.45/1.61 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.15.xml 5159630 YES 3.48/2.98 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.14.xml 5159631 YES 3.50/1.58 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.23.xml 5159632 YES 4.04/1.81 YES 0.02/0.05
TRS_Innermost/AG01_innermost/#4.24.xml 5159633 YES 4.04/1.74 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.32.xml 5159634 YES 3.48/1.61 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.28.xml 5159635 YES 3.54/1.62 YES 0.04/1.19
TRS_Innermost/AG01_innermost/#4.25.xml 5159636 YES 3.48/1.99 YES 0.08/0.12
TRS_Innermost/AG01_innermost/#4.21.xml 5159637 YES 3.35/1.51 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.30a.xml 5159638 YES 4.93/3.01 YES 0.14/0.21
TRS_Innermost/AG01_innermost/#4.3.xml 5159639 YES 3.44/1.62 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.20.xml 5159640 YES 3.30/1.53 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.5.xml 5159641 YES 5.04/1.93 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.30.xml 5159642 YES 8.04/3.31 YES 4.16/4.35
TRS_Innermost/AG01_innermost/#4.29.xml 5159643 run script error [out] YES 0.10/0.11
TRS_Innermost/AG01_innermost/#4.34.xml 5159644 YES 3.65/1.72 YES 0.05/0.06
TRS_Innermost/AG01_innermost/#4.37a.xml 5159645 YES 3.68/2.40 YES 0.04/0.04
TRS_Innermost/AG01_innermost/#4.2.xml 5159646 YES 3.54/1.61 YES 0.01/0.01
TRS_Innermost/AG01_innermost/#4.12a.xml 5159647 YES 4.00/1.89 YES 0.15/0.22
TRS_Innermost/AG01_innermost/#4.7.xml 5159648 YES 3.73/1.66 YES 0.01/0.01
296 208