Termination Competition 2019: TRS Innermost33453

Job info CSV
benchmark AProVE standard muterm 6.0.3 default
raML/queue.raml.xml 5159665 YES 13.46/4.68 YES 20.63/19.02
raML/appendAll.raml.xml 5159666 YES 3.60/1.81 YES 0.02/0.02
raML/subtrees.raml.xml 5159667 YES 3.70/1.80 YES 0.02/0.01
raML/rationalPotential.raml.xml 5159668 YES 3.69/1.78 YES 0.02/0.02
Mixed_innermost/innermost4.xml 5159584 YES 3.81/1.84 YES 122.95/123.49
Mixed_innermost/cade05.xml 5159585 YES 5.85/2.52 timeout (wallclock) [out]
Mixed_innermost/test9.xml 5159586 YES 4.07/1.91 YES 0.22/0.24
Mixed_innermost/gkg.xml 5159587 YES 3.24/1.65 YES 0.01/0.01
Mixed_innermost/cade04.xml 5159588 timeout (wallclock) [out] timeout (wallclock) [out]
Mixed_innermost/toyama.xml 5159589 YES 3.31/1.69 YES 0.01/0.01
Mixed_innermost/test10.xml 5159590 YES 3.72/1.77 YES 0.01/0.01
Mixed_innermost/test77.xml 5159591 YES 4.38/2.09 YES 0.16/0.19
Mixed_innermost/cade12.xml 5159592 timeout (wallclock) [out] timeout (wallclock) [out]
Mixed_innermost/wiehe14.xml 5159593 YES 6.73/2.61 YES 0.50/1.00
Mixed_innermost/innermost5.xml 5159594 YES 4.17/1.85 timeout (wallclock) [out]
Mixed_innermost/n001.xml 5159595 NO 6.85/2.69 MAYBE 40.71/40.80
Mixed_innermost/test75.xml 5159596 YES 4.54/2.13 YES 20.15/20.16
Mixed_innermost/cade13.xml 5159597 YES 6.44/2.64 timeout (wallclock) [out]
Mixed_innermost/wiehe13.xml 5159598 YES 6.25/2.61 YES 0.41/0.42
Mixed_innermost/muladd.xml 5159599 NO 4.64/2.14 MAYBE 40.25/40.30
Mixed_innermost/thiemann28i.xml 5159600 YES 7.84/3.41 timeout (wallclock) [out]
Mixed_innermost/narrow2.xml 5159601 timeout (wallclock) [out] timeout (wallclock) [out]
Mixed_innermost/innermost2.xml 5159602 YES 3.72/1.81 timeout (wallclock) [out]
Mixed_innermost/run_again1.xml 5159603 NO 8.01/6.43 timeout (wallclock) [out]
Mixed_innermost/test830.xml 5159604 YES 3.84/1.82 YES 0.03/0.04
Mixed_innermost/innermost3.xml 5159605 YES 4.37/2.25 YES 120.87/120.95
Mixed_innermost/bn111.xml 5159606 YES 3.50/1.73 YES 0.01/0.02
Mixed_innermost/tricky1.xml 5159607 YES 3.60/1.69 YES 0.01/0.01
Mixed_innermost/innermost1.xml 5159608 YES 3.49/1.76 YES 0.01/0.02
Mixed_innermost/thiemann26i.xml 5159609 YES 7.89/3.04 timeout (wallclock) [out]
Mixed_innermost/test76.xml 5159610 YES 6.67/2.88 YES 0.16/0.18
Mixed_innermost/run_again2.xml 5159611 timeout (wallclock) [out] timeout (wallclock) [out]
Mixed_innermost/narrow1.xml 5159612 timeout (wallclock) [out] timeout (wallclock) [out]
Mixed_innermost/test833.xml 5159613 YES 3.50/1.66 YES 0.12/0.19
Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml 5159303 NO 14.37/7.82 timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml 5159304 YES 3.88/1.85 YES 11.85/11.99
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml 5159305 YES 7.29/2.83 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml 5159306 YES 5.31/2.22 YES 0.10/0.10
Transformed_CSR_innermost_04/PALINDROME_complete_C.xml 5159307 YES 8.44/3.08 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml 5159308 YES 6.01/2.32 YES 0.31/0.30
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml 5159309 YES 4.43/1.94 YES 0.03/0.04
Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml 5159310 YES 8.90/3.12 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExConc_Zan97_C.xml 5159311 YES 3.86/1.78 YES 0.07/0.07
Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml 5159312 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex24_Luc06_C.xml 5159313 YES 3.55/1.77 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml 5159314 YES 9.52/3.43 YES 0.94/1.07
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml 5159315 YES 4.81/2.15 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml 5159316 YES 3.72/1.85 YES 0.01/0.01
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml 5159317 YES 8.93/3.74 YES 0.67/0.77
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml 5159318 YES 3.24/1.52 YES 0.03/0.04
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml 5159319 YES 4.42/1.95 timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml 5159320 YES 19.70/7.88 YES 107.71/111.39
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml 5159321 YES 4.22/1.89 YES 0.19/0.21
Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml 5159322 YES 4.37/1.99 YES 0.17/0.17
Transformed_CSR_innermost_04/Ex9_Luc04_C.xml 5159323 YES 3.65/1.82 timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml 5159324 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex23_Luc06_C.xml 5159325 YES 3.80/1.78 YES 0.08/0.07
Transformed_CSR_innermost_04/Ex24_GM04_GM.xml 5159326 YES 3.60/1.72 YES 0.01/0.03
Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml 5159327 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml 5159328 YES 4.07/1.87 YES 0.20/0.20
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml 5159329 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml 5159330 YES 10.42/4.65 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml 5159331 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 5159332 YES 53.69/16.40 YES 217.01/219.26
Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml 5159333 YES 3.70/1.88 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml 5159334 NO 5.37/2.37 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml 5159335 YES 460.45/164.38 timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml 5159336 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml 5159337 YES 21.69/9.14 YES 227.73/228.36
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml 5159338 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml 5159339 YES 7.72/2.87 YES 0.19/0.18
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml 5159340 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml 5159341 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml 5159342 YES 6.66/2.55 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml 5159343 YES 3.80/1.87 YES 0.13/0.12
Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml 5159344 YES 4.37/1.89 YES 0.19/0.19
Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml 5159345 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex23_Luc06_L.xml 5159346 YES 3.38/1.69 YES 0.01/0.02
Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml 5159347 YES 12.90/4.14 YES 0.10/0.09
Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml 5159348 YES 8.45/3.11 YES 0.71/0.70
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml 5159349 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml 5159350 YES 166.48/46.85 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml 5159351 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml 5159352 YES 8.62/3.07 YES 0.47/0.47
Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml 5159353 YES 42.42/13.01 YES 7.53/7.65
Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml 5159354 YES 4.23/1.94 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml 5159355 YES 6.60/2.65 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml 5159356 YES 3.53/1.62 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml 5159357 YES 3.88/1.79 YES 1.55/1.63
Transformed_CSR_innermost_04/Ex1_GM03_GM.xml 5159358 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex7_BLR02_C.xml 5159359 YES 3.94/1.88 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml 5159360 YES 4.25/1.89 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex5_Zan97_C.xml 5159361 YES 3.65/1.74 YES 2.82/2.89
Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml 5159362 YES 3.81/1.76 YES 0.83/0.82
Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml 5159363 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml 5159364 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml 5159365 YES 202.59/69.89 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex14_Luc06_C.xml 5159366 YES 5.04/3.30 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml 5159367 YES 4.62/2.07 YES 1.13/1.28
Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml 5159368 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml 5159369 YES 17.53/6.12 YES 68.03/69.10
Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml 5159370 YES 9.27/3.28 YES 34.98/36.19
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml 5159371 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/PEANO_nosorts_C.xml 5159372 YES 3.38/1.70 YES 0.10/0.11
Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml 5159373 YES 12.36/4.49 YES 1.95/1.94
Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml 5159374 YES 3.50/1.70 YES 0.01/0.01
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml 5159375 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml 5159376 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml 5159377 YES 4.94/2.19 YES 2.11/2.15
Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml 5159378 YES 4.74/1.96 YES 0.21/0.29
Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml 5159379 YES 4.69/1.99 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex6_Luc98_L.xml 5159380 YES 6.86/1.66 YES 0.01/0.01
Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml 5159381 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml 5159382 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml 5159383 YES 6.31/2.57 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml 5159384 YES 3.91/1.80 YES 0.02/0.02
Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml 5159385 YES 3.44/1.58 YES 0.29/0.27
Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml 5159386 YES 3.72/1.84 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml 5159387 YES 5.75/2.84 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml 5159388 YES 3.52/1.74 YES 0.15/0.16
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml 5159389 YES 22.00/11.10 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml 5159390 YES 17.48/5.71 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml 5159391 YES 7.96/3.02 YES 174.96/179.23
Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml 5159392 YES 3.34/1.58 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml 5159393 YES 20.50/10.70 YES 18.69/20.23
Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml 5159394 YES 4.69/2.01 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex1_GM99_GM.xml 5159395 YES 4.01/1.95 YES 0.03/0.04
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml 5159396 YES 4.71/2.06 YES 62.72/65.55
Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml 5159397 YES 125.02/39.89 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml 5159398 YES 3.72/1.85 YES 0.18/0.18
Transformed_CSR_innermost_04/Ex1_GL02a_C.xml 5159399 YES 3.79/1.91 YES 7.88/7.93
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml 5159400 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml 5159401 YES 8.25/2.95 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml 5159402 YES 13.94/8.34 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml 5159403 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml 5159404 YES 6.38/2.58 YES 0.75/0.82
Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml 5159405 YES 3.94/1.77 YES 0.07/1.05
Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml 5159406 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex25_Luc06_L.xml 5159407 YES 3.28/1.72 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml 5159408 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml 5159409 YES 4.70/2.10 YES 0.06/0.13
Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml 5159410 YES 7.91/7.64 YES 0.14/0.15
Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml 5159411 YES 3.75/2.94 YES 0.02/0.02
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml 5159412 YES 15.46/5.23 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex24_GM04_C.xml 5159413 YES 3.31/1.64 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml 5159414 YES 5.60/3.21 YES 0.18/0.21
Transformed_CSR_innermost_04/Ex9_BLR02_C.xml 5159415 YES 3.84/1.79 YES 0.37/0.39
Transformed_CSR_innermost_04/Ex1_GM03_C.xml 5159416 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml 5159417 YES 3.92/1.96 YES 0.03/0.04
Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml 5159418 YES 3.81/1.77 YES 3.33/3.52
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml 5159419 YES 3.59/1.73 YES 0.02/0.01
Transformed_CSR_innermost_04/PEANO_complete_iGM.xml 5159420 YES 6.35/2.59 YES 16.09/16.94
Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml 5159421 YES 3.73/1.80 YES 0.01/0.01
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml 5159422 YES 4.75/2.12 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml 5159423 YES 3.58/1.81 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex9_BLR02_L.xml 5159424 YES 3.51/1.62 YES 0.01/0.02
Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml 5159425 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml 5159426 YES 3.04/1.68 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml 5159427 YES 3.73/1.82 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml 5159428 YES 7.51/2.81 timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml 5159429 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml 5159430 YES 8.14/3.03 YES 1.94/2.05
Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml 5159431 YES 11.70/7.22 YES 7.21/7.21
Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml 5159432 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml 5159433 YES 4.42/1.90 YES 0.04/0.07
Transformed_CSR_innermost_04/Ex6_GM04_C.xml 5159434 YES 3.97/1.74 YES 0.07/0.08
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml 5159435 NO 25.14/12.27 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml 5159436 YES 3.98/1.92 YES 6.38/6.41
Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml 5159437 YES 26.31/8.21 YES 5.51/5.73
Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml 5159438 YES 4.17/2.03 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex18_Luc06_L.xml 5159439 YES 3.35/1.64 YES 0.01/0.01
Transformed_CSR_innermost_04/OvConsOS_complete_C.xml 5159440 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml 5159441 YES 66.08/22.46 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml 5159442 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml 5159443 YES 3.90/1.78 YES 0.27/0.28
Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml 5159444 YES 3.40/1.66 YES 0.03/0.04
Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml 5159445 YES 8.90/3.36 YES 3.67/3.91
Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml 5159446 YES 3.46/1.59 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml 5159447 YES 4.11/1.92 YES 9.71/9.80
Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml 5159448 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml 5159449 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml 5159450 YES 5.13/2.11 YES 1.77/1.83
Transformed_CSR_innermost_04/ExConc_Zan97_L.xml 5159451 YES 3.21/1.56 YES 0.01/0.01
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml 5159452 YES 6.93/2.62 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml 5159453 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml 5159454 YES 3.50/1.71 YES 0.17/0.17
Transformed_CSR_innermost_04/Ex6_Luc98_C.xml 5159455 YES 3.71/1.75 YES 0.13/0.12
Transformed_CSR_innermost_04/Ex9_Luc06_C.xml 5159456 YES 3.76/1.91 timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml 5159457 YES 11.84/3.91 timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml 5159458 YES 4.05/2.37 YES 27.95/29.94
Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml 5159459 YES 134.84/46.02 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml 5159460 YES 7.03/2.77 YES 0.97/0.99
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml 5159461 YES 105.34/43.35 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml 5159462 YES 3.47/1.68 YES 0.05/1.52
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml 5159463 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml 5159464 YES 4.72/2.06 YES 0.05/0.14
Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml 5159465 YES 4.05/2.78 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml 5159466 YES 9.57/3.32 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml 5159467 YES 3.96/3.10 YES 0.21/0.20
Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml 5159468 YES 3.40/1.64 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml 5159469 YES 8.46/3.08 YES 0.43/0.42
Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml 5159470 YES 7.62/2.89 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PEANO_nokinds_C.xml 5159471 YES 4.43/1.88 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml 5159472 YES 3.58/1.71 YES 0.23/0.27
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml 5159473 YES 4.11/1.86 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml 5159474 YES 201.26/55.14 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml 5159475 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml 5159476 YES 3.24/1.60 YES 0.01/0.01
Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml 5159477 YES 6.64/2.54 timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml 5159478 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml 5159479 YES 6.46/2.48 YES 0.30/0.29
Transformed_CSR_innermost_04/Ex49_GM04_C.xml 5159480 YES 4.10/1.90 YES 3.26/3.27
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml 5159481 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex1_GM99_C.xml 5159482 YES 3.40/1.65 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml 5159483 YES 91.22/25.56 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml 5159484 YES 7.73/2.87 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml 5159485 YES 3.96/2.58 YES 0.02/0.02
Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml 5159486 YES 4.24/1.83 YES 1.38/1.55
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml 5159487 YES 35.46/10.21 YES 1.09/1.14
Transformed_CSR_innermost_04/Ex6_GM04_GM.xml 5159488 YES 3.39/1.63 YES 0.01/0.02
Transformed_CSR_innermost_04/Ex16_Luc06_C.xml 5159489 YES 3.35/1.76 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml 5159490 YES 5.16/2.17 YES 0.09/0.21
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml 5159491 YES 15.37/4.82 YES 5.10/5.14
Transformed_CSR_innermost_04/Ex15_Luc06_C.xml 5159492 YES 4.07/1.80 YES 91.74/92.66
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml 5159493 YES 7.03/2.70 YES 0.53/0.55
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml 5159494 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml 5159495 YES 4.12/1.92 YES 125.26/125.50
Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml 5159496 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml 5159497 YES 7.84/3.14 YES 0.40/0.46
Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml 5159498 YES 3.64/1.71 YES 65.52/65.82
Transformed_CSR_innermost_04/Ex4_Zan97_C.xml 5159499 YES 3.90/2.87 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml 5159500 YES 5.88/2.49 YES 0.21/0.38
Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml 5159501 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex1_Zan97_C.xml 5159502 YES 11.74/3.97 YES 72.20/72.29
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml 5159503 YES 10.48/4.08 YES 3.66/4.41
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml 5159504 YES 3.62/1.86 YES 0.30/0.66
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml 5159505 YES 3.74/1.69 YES 82.58/83.00
Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml 5159506 YES 5.24/2.20 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml 5159507 YES 3.37/1.63 YES 0.04/0.04
Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml 5159508 YES 7.07/2.73 YES 0.28/0.27
Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml 5159509 YES 86.89/27.29 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml 5159510 YES 4.14/1.88 YES 2.08/2.44
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5159511 NO 10.12/3.57 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml 5159512 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml 5159513 YES 3.40/1.61 YES 0.05/0.36
Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml 5159514 YES 4.52/2.09 YES 0.26/0.27
Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml 5159515 YES 8.02/3.05 YES 4.36/4.78
Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml 5159516 YES 7.24/2.84 YES 20.66/20.97
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml 5159517 YES 5.49/2.14 YES 1.08/1.13
Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml 5159518 YES 177.40/63.35 YES 118.66/124.63
Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml 5159519 YES 168.78/44.02 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PEANO_complete_GM.xml 5159520 YES 5.09/2.26 YES 14.64/15.51
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml 5159521 YES 13.53/4.55 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml 5159522 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml 5159523 YES 3.65/1.75 YES 0.11/0.10
Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml 5159524 YES 5.94/2.45 YES 3.97/4.07
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml 5159525 YES 3.67/1.72 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5159526 YES 8.57/3.07 YES 0.20/0.20
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml 5159527 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml 5159528 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml 5159529 YES 3.27/1.63 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex49_GM04_GM.xml 5159530 YES 6.34/2.47 YES 0.17/0.45
Transformed_CSR_innermost_04/Ex25_Luc06_C.xml 5159531 YES 4.08/1.87 YES 0.10/0.11
Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml 5159532 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml 5159533 YES 3.58/1.63 YES 0.04/0.26
Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml 5159534 YES 5.05/2.13 YES 0.10/0.09
Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml 5159535 YES 7.13/2.75 YES 0.67/0.71
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml 5159536 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml 5159537 YES 5.35/3.17 YES 0.28/0.28
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml 5159538 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex18_Luc06_C.xml 5159539 YES 3.86/2.52 YES 0.06/0.06
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml 5159540 YES 26.85/8.11 YES 1.25/1.74
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 5159541 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml 5159542 YES 3.97/1.80 YES 1.32/1.41
Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml 5159543 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml 5159544 YES 3.40/1.71 YES 0.01/0.01
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml 5159545 YES 31.28/11.61 YES 15.35/15.86
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml 5159546 YES 11.06/8.03 YES 0.48/0.49
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml 5159547 YES 5.04/2.06 YES 0.16/0.48
Transformed_CSR_innermost_04/Ex15_Luc98_C.xml 5159548 YES 3.70/1.80 YES 0.20/0.49
Transformed_CSR_innermost_04/Ex8_BLR02_C.xml 5159549 YES 3.88/1.86 timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml 5159550 YES 744.53/263.25 timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml 5159551 YES 4.87/2.12 YES 16.21/16.85
Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml 5159552 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml 5159553 YES 6.39/2.46 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml 5159554 YES 5.25/2.10 YES 1.22/1.24
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml 5159555 YES 7.21/2.63 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml 5159556 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml 5159557 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml 5159558 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml 5159559 YES 3.39/1.63 YES 0.01/0.01
Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml 5159560 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml 5159561 YES 6.48/2.44 YES 1.20/1.19
Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml 5159562 YES 42.55/12.94 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml 5159563 YES 4.45/2.11 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml 5159564 YES 10.39/3.55 YES 37.43/38.41
Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml 5159565 YES 4.35/1.96 YES 0.14/0.13
Transformed_CSR_innermost_04/PEANO_complete_C.xml 5159566 YES 5.78/2.24 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml 5159567 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml 5159568 YES 4.30/2.01 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml 5159569 YES 13.94/4.70 YES 0.54/0.53
Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml 5159570 YES 67.08/18.13 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml 5159571 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml 5159572 YES 3.98/1.89 YES 0.72/0.75
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml 5159573 YES 6.00/2.35 YES 0.31/0.61
Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml 5159574 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml 5159575 YES 6.61/1.65 YES 0.01/0.01
Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml 5159576 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_complete_C.xml 5159577 YES 11.50/3.77 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml 5159578 YES 3.41/1.74 YES 0.04/0.05
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml 5159579 YES 4.21/1.91 timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml 5159580 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml 5159581 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml 5159582 YES 13.00/5.14 YES 0.72/0.75
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml 5159583 YES 7.71/2.97 YES 78.80/81.64
Applicative_AG01_innermost/#4.19.xml 5159649 YES 4.60/1.98 MAYBE 82.11/82.46
Applicative_AG01_innermost/#4.13.xml 5159650 YES 4.39/2.30 YES 0.02/0.02
Applicative_AG01_innermost/#4.10.xml 5159651 YES 4.27/1.91 YES 0.02/0.02
Applicative_AG01_innermost/#4.8.xml 5159652 YES 7.71/3.18 YES 21.67/21.75
Applicative_AG01_innermost/#4.17.xml 5159653 YES 4.60/2.08 YES 22.49/22.57
Applicative_AG01_innermost/#4.22.xml 5159654 YES 4.52/2.04 MAYBE 206.25/206.56
Applicative_AG01_innermost/#4.36.xml 5159655 YES 6.73/2.69 timeout (wallclock) [out]
Applicative_AG01_innermost/#4.26.xml 5159656 YES 5.38/2.33 MAYBE 294.51/295.12
Applicative_AG01_innermost/#4.15.xml 5159657 YES 4.42/2.01 YES 0.03/0.03
Applicative_AG01_innermost/#4.24.xml 5159658 YES 4.57/2.00 YES 0.03/0.03
Applicative_AG01_innermost/#4.28.xml 5159659 YES 4.53/2.03 MAYBE 81.53/81.66
Applicative_AG01_innermost/#4.3.xml 5159660 YES 4.27/1.87 YES 0.02/0.02
Applicative_AG01_innermost/#4.5.xml 5159661 YES 4.12/1.85 YES 0.02/0.02
Applicative_AG01_innermost/#4.34.xml 5159662 YES 4.89/2.08 YES 0.81/0.94
Applicative_AG01_innermost/#4.2.xml 5159663 YES 4.37/1.95 YES 0.02/0.02
Applicative_AG01_innermost/#4.7.xml 5159664 YES 4.37/1.93 YES 0.02/0.02
AG01_innermost/#4.4.xml 5159614 YES 3.45/1.76 YES 0.01/0.01
AG01_innermost/#4.19.xml 5159615 YES 3.70/1.75 YES 0.01/0.01
AG01_innermost/#4.31.xml 5159616 YES 14.31/4.49 YES 87.53/88.13
AG01_innermost/#4.18.xml 5159617 YES 4.39/1.98 YES 0.01/0.01
AG01_innermost/#4.13.xml 5159618 YES 3.37/1.65 YES 0.01/0.01
AG01_innermost/#4.27.xml 5159619 YES 3.69/1.81 YES 0.05/0.06
AG01_innermost/#4.17.xml 5159620 YES 3.71/1.75 YES 36.68/36.78
AG01_innermost/#4.22.xml 5159621 YES 3.60/1.74 YES 0.01/0.01
AG01_innermost/#4.36.xml 5159622 YES 5.68/2.37 YES 0.11/0.14
AG01_innermost/#4.37.xml 5159623 YES 3.83/1.81 YES 0.04/0.05
AG01_innermost/#4.20a.xml 5159624 YES 3.52/1.64 YES 0.03/0.05
AG01_innermost/#4.30b.xml 5159625 YES 6.80/3.10 YES 81.86/82.16
AG01_innermost/#4.33.xml 5159626 YES 4.14/2.08 YES 0.07/0.08
AG01_innermost/#4.26.xml 5159627 YES 4.36/2.23 YES 0.07/0.10
AG01_innermost/#4.35.xml 5159628 YES 6.26/2.43 YES 0.21/0.20
AG01_innermost/#4.16.xml 5159629 YES 3.56/1.77 YES 0.01/0.01
AG01_innermost/#4.15.xml 5159630 YES 3.60/1.77 YES 0.01/0.01
AG01_innermost/#4.14.xml 5159631 YES 3.47/1.65 YES 0.01/0.01
AG01_innermost/#4.23.xml 5159632 YES 4.11/1.82 YES 0.03/0.04
AG01_innermost/#4.24.xml 5159633 YES 4.10/1.85 YES 0.01/0.01
AG01_innermost/#4.32.xml 5159634 YES 3.59/1.72 YES 0.01/0.01
AG01_innermost/#4.28.xml 5159635 YES 3.27/1.60 YES 0.05/0.11
AG01_innermost/#4.25.xml 5159636 YES 3.45/1.63 YES 0.12/0.14
AG01_innermost/#4.21.xml 5159637 YES 3.36/1.59 YES 0.01/0.01
AG01_innermost/#4.30a.xml 5159638 YES 4.88/2.09 YES 20.18/20.21
AG01_innermost/#4.3.xml 5159639 YES 3.42/1.65 YES 0.01/0.01
AG01_innermost/#4.20.xml 5159640 YES 3.28/1.57 YES 0.01/0.01
AG01_innermost/#4.5.xml 5159641 YES 4.58/1.97 YES 0.01/0.01
AG01_innermost/#4.30.xml 5159642 YES 8.39/3.41 YES 203.74/204.43
AG01_innermost/#4.29.xml 5159643 YES 5.00/2.05 YES 0.12/0.12
AG01_innermost/#4.34.xml 5159644 YES 3.95/1.88 YES 0.07/0.07
AG01_innermost/#4.37a.xml 5159645 YES 3.76/2.10 YES 0.05/0.05
AG01_innermost/#4.2.xml 5159646 YES 3.43/1.83 YES 0.01/0.01
AG01_innermost/#4.12a.xml 5159647 YES 4.19/1.96 YES 0.22/0.24
AG01_innermost/#4.7.xml 5159648 YES 3.53/1.69 YES 0.01/0.01
300 213