Termination Competition 2019: TRS Innermost Certified33570

Job info CSV
benchmark AProVE certified
raML/queue.raml.xml 5159665 YES 13.28/4.88 (CERTIFIED 0.3)
raML/appendAll.raml.xml 5159666 YES 3.48/1.67 (CERTIFIED 0.0)
raML/subtrees.raml.xml 5159667 YES 3.96/1.88 (CERTIFIED 0.0)
raML/rationalPotential.raml.xml 5159668 YES 3.42/1.70 (CERTIFIED 0.0)
Mixed_innermost/innermost4.xml 5159584 YES 3.86/1.86 (CERTIFIED 0.0)
Mixed_innermost/cade05.xml 5159585 YES 5.77/3.61 (CERTIFIED 0.5)
Mixed_innermost/test9.xml 5159586 YES 3.86/1.85 (CERTIFIED 0.0)
Mixed_innermost/gkg.xml 5159587 YES 3.52/1.76 (CERTIFIED 0.0)
Mixed_innermost/cade04.xml 5159588 MAYBE 314.09/291.55
Mixed_innermost/toyama.xml 5159589 YES 3.52/1.77 (CERTIFIED 0.0)
Mixed_innermost/test10.xml 5159590 YES 3.72/1.84 (CERTIFIED 0.0)
Mixed_innermost/test77.xml 5159591 YES 4.21/1.88 (CERTIFIED 0.0)
Mixed_innermost/cade12.xml 5159592 MAYBE 552.40/295.55
Mixed_innermost/wiehe14.xml 5159593 YES 6.88/2.81 (CERTIFIED 0.2)
Mixed_innermost/innermost5.xml 5159594 MAYBE 11.82/4.59
Mixed_innermost/n001.xml 5159595 NO 5.75/2.30 (CERTIFIED 0.0)
Mixed_innermost/test75.xml 5159596 YES 3.95/1.90 (CERTIFIED 0.0)
Mixed_innermost/cade13.xml 5159597 YES 5.96/2.50 (CERTIFIED 0.2)
Mixed_innermost/wiehe13.xml 5159598 YES 6.78/2.63 (CERTIFIED 0.2)
Mixed_innermost/muladd.xml 5159599 NO 4.43/2.06 (CERTIFIED 0.0)
Mixed_innermost/thiemann28i.xml 5159600 YES 7.75/3.35 (CERTIFIED 0.1)
Mixed_innermost/narrow2.xml 5159601 MAYBE 838.40/291.74
Mixed_innermost/innermost2.xml 5159602 YES 3.84/1.81 (CERTIFIED 0.0)
Mixed_innermost/run_again1.xml 5159603 NO 6.52/3.17 (CERTIFIED 0.8)
Mixed_innermost/test830.xml 5159604 YES 3.90/1.93 (CERTIFIED 0.0)
Mixed_innermost/innermost3.xml 5159605 YES 3.99/1.89 (CERTIFIED 0.0)
Mixed_innermost/bn111.xml 5159606 YES 3.57/2.10 (CERTIFIED 0.0)
Mixed_innermost/tricky1.xml 5159607 YES 3.80/1.77 (CERTIFIED 0.0)
Mixed_innermost/innermost1.xml 5159608 YES 3.60/1.74 (CERTIFIED 0.0)
Mixed_innermost/thiemann26i.xml 5159609 YES 7.43/2.94 (CERTIFIED 0.1)
Mixed_innermost/test76.xml 5159610 YES 3.87/1.91 (CERTIFIED 0.0)
Mixed_innermost/run_again2.xml 5159611 timeout (wallclock) [out]
Mixed_innermost/narrow1.xml 5159612 timeout (wallclock) [out]
Mixed_innermost/test833.xml 5159613 YES 3.63/1.76 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml 5159303 NO 13.98/6.63 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml 5159304 YES 7.66/2.92 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml 5159305 YES 6.38/2.57 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml 5159306 YES 5.47/2.30 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/PALINDROME_complete_C.xml 5159307 YES 14.60/5.11 (CERTIFIED 1.0)
Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml 5159308 YES 6.17/2.39 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml 5159309 YES 4.04/1.97 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml 5159310 YES 8.14/3.19 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/ExConc_Zan97_C.xml 5159311 YES 10.95/3.71 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml 5159312 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex24_Luc06_C.xml 5159313 YES 45.63/19.99 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml 5159314 YES 10.73/3.70 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml 5159315 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml 5159316 YES 3.86/1.89 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml 5159317 YES 12.22/4.29 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml 5159318 YES 3.47/1.61 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml 5159319 timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml 5159320 YES 15.18/4.90 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml 5159321 YES 4.24/2.01 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml 5159322 YES 4.75/2.02 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex9_Luc04_C.xml 5159323 MAYBE 881.96/291.69
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml 5159324 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex23_Luc06_C.xml 5159325 memout [out]
Transformed_CSR_innermost_04/Ex24_GM04_GM.xml 5159326 YES 3.61/1.79 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml 5159327 MAYBE 864.18/291.65
Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml 5159328 YES 8.38/3.04 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml 5159329 MAYBE 661.54/291.96
Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml 5159330 YES 17.98/7.54 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml 5159331 MAYBE 852.36/291.65
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 5159332 YES 56.41/17.16 (CERTIFIED 1.7)
Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml 5159333 YES 93.11/37.07 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml 5159334 NO 5.58/5.72 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml 5159335 YES 388.46/155.03 (CERTIFIED 10.2)
Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml 5159336 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml 5159337 YES 18.20/6.11 (CERTIFIED 0.8)
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml 5159338 MAYBE 606.37/291.95
Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml 5159339 YES 5.85/2.44 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml 5159340 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml 5159341 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml 5159342 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml 5159343 YES 7.15/3.50 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml 5159344 YES 4.34/1.87 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml 5159345 MAYBE 1026.2/291.80
Transformed_CSR_innermost_04/Ex23_Luc06_L.xml 5159346 YES 3.29/1.60 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml 5159347 YES 20.00/6.18 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml 5159348 YES 8.87/3.33 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml 5159349 MAYBE 823.93/291.67
Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml 5159350 YES 157.55/43.07 (CERTIFIED 1.3)
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml 5159351 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml 5159352 YES 11.17/3.96 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml 5159353 YES 39.83/13.08 (CERTIFIED 1.3)
Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml 5159354 YES 4.92/2.12 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml 5159355 YES 6.99/3.37 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml 5159356 YES 3.45/1.67 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml 5159357 YES 7.39/2.68 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/Ex1_GM03_GM.xml 5159358 MAYBE 1166.77/299.83
Transformed_CSR_innermost_04/Ex7_BLR02_C.xml 5159359 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml 5159360 MAYBE 932.00/291.75
Transformed_CSR_innermost_04/Ex5_Zan97_C.xml 5159361 YES 6.06/2.44 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml 5159362 YES 3.95/1.77 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml 5159363 MAYBE 761.36/291.90
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml 5159364 timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml 5159365 YES 136.79/54.21 (CERTIFIED 3.2)
Transformed_CSR_innermost_04/Ex14_Luc06_C.xml 5159366 MAYBE 921.25/291.69
Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml 5159367 YES 4.84/2.56 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml 5159368 MAYBE 990.83/298.88
Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml 5159369 YES 16.57/5.32 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml 5159370 YES 8.25/3.01 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml 5159371 MAYBE 656.18/292.15
Transformed_CSR_innermost_04/PEANO_nosorts_C.xml 5159372 YES 5.89/2.37 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml 5159373 YES 12.77/4.40 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml 5159374 YES 3.81/1.77 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml 5159375 MAYBE 755.35/292.20
Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml 5159376 MAYBE 1139.9/292.02
Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml 5159377 YES 12.50/4.20 (CERTIFIED 0.6)
Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml 5159378 YES 5.27/2.19 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml 5159379 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex6_Luc98_L.xml 5159380 YES 3.31/1.64 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml 5159381 MAYBE 849.49/291.73
Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml 5159382 MAYBE 629.91/293.21
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml 5159383 MAYBE 948.14/293.20
Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml 5159384 YES 3.99/1.87 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml 5159385 YES 3.44/1.86 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml 5159386 YES 9.82/3.48 (CERTIFIED 0.5)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml 5159387 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml 5159388 YES 5.45/2.66 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml 5159389 YES 24.87/9.34 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml 5159390 YES 16.66/5.42 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml 5159391 YES 7.75/2.92 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml 5159392 YES 3.14/1.51 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml 5159393 YES 19.10/6.65 (CERTIFIED 0.7)
Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml 5159394 YES 5.12/2.14 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex1_GM99_GM.xml 5159395 YES 4.21/2.03 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml 5159396 YES 4.65/2.09 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml 5159397 YES 108.80/37.61 (CERTIFIED 1.4)
Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml 5159398 YES 8.32/3.06 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/Ex1_GL02a_C.xml 5159399 YES 11.47/4.07 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml 5159400 MAYBE 575.15/292.11
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml 5159401 YES 9.08/3.33 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml 5159402 YES 12.22/4.20 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml 5159403 MAYBE 1098.03/298.64
Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml 5159404 YES 6.97/2.74 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml 5159405 YES 4.06/1.92 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml 5159406 MAYBE 892.62/291.97
Transformed_CSR_innermost_04/Ex25_Luc06_L.xml 5159407 YES 3.26/1.64 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml 5159408 MAYBE 754.42/292.41
Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml 5159409 YES 5.14/2.16 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml 5159410 YES 6.71/2.65 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml 5159411 YES 26.06/8.05 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml 5159412 MAYBE 308.79/292.47
Transformed_CSR_innermost_04/Ex24_GM04_C.xml 5159413 MAYBE 917.32/293.13
Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml 5159414 YES 10.12/3.49 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex9_BLR02_C.xml 5159415 YES 9.22/3.39 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex1_GM03_C.xml 5159416 MAYBE 943.98/291.78
Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml 5159417 YES 3.85/2.00 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml 5159418 YES 5.84/2.40 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml 5159419 YES 3.85/1.87 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/PEANO_complete_iGM.xml 5159420 YES 7.01/2.81 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml 5159421 YES 3.65/1.94 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml 5159422 MAYBE 879.57/292.00
Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml 5159423 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex9_BLR02_L.xml 5159424 YES 3.42/2.40 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml 5159425 MAYBE 983.81/292.33
Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml 5159426 YES 5.48/2.15 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml 5159427 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml 5159428 MAYBE 880.24/292.0
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml 5159429 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml 5159430 YES 8.80/3.20 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml 5159431 YES 12.87/4.43 (CERTIFIED 0.5)
Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml 5159432 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml 5159433 YES 5.66/2.34 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex6_GM04_C.xml 5159434 YES 12.22/4.05 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml 5159435 NO 19.26/7.52 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml 5159436 YES 7.24/2.81 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml 5159437 YES 28.93/12.25 (CERTIFIED 0.7)
Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml 5159438 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex18_Luc06_L.xml 5159439 YES 3.19/1.68 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/OvConsOS_complete_C.xml 5159440 timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml 5159441 YES 72.80/22.26 (CERTIFIED 1.4)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml 5159442 MAYBE 553.64/291.9
Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml 5159443 YES 6.11/2.42 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml 5159444 YES 3.79/1.77 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml 5159445 YES 8.43/3.17 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml 5159446 YES 6.36/2.49 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml 5159447 YES 4.92/2.13 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml 5159448 timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml 5159449 MAYBE 716.47/292.28
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml 5159450 YES 5.62/2.18 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/ExConc_Zan97_L.xml 5159451 YES 3.10/1.61 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml 5159452 YES 6.86/2.69 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml 5159453 MAYBE 599.91/291.88
Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml 5159454 YES 3.35/1.70 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex6_Luc98_C.xml 5159455 YES 7.45/2.73 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex9_Luc06_C.xml 5159456 YES 31.79/19.86 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml 5159457 MAYBE 878.98/292.15
Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml 5159458 YES 4.13/1.87 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml 5159459 YES 135.05/47.73 (CERTIFIED 1.6)
Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml 5159460 YES 6.79/2.69 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml 5159461 YES 287.53/112.37 (CERTIFIED 1.4)
Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml 5159462 YES 9.18/3.48 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml 5159463 MAYBE 655.85/291.88
Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml 5159464 YES 4.45/1.99 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml 5159465 YES 5.04/2.17 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml 5159466 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml 5159467 YES 7.85/2.94 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml 5159468 YES 7.62/2.81 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml 5159469 YES 8.55/3.21 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml 5159470 MAYBE 982.40/294.52
Transformed_CSR_innermost_04/PEANO_nokinds_C.xml 5159471 YES 5.62/2.53 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml 5159472 YES 3.49/1.82 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml 5159473 YES 10.56/3.79 (CERTIFIED 0.5)
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml 5159474 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml 5159475 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml 5159476 YES 9.91/3.43 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml 5159477 timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml 5159478 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml 5159479 YES 6.36/2.48 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex49_GM04_C.xml 5159480 YES 7.85/2.97 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml 5159481 MAYBE 834.67/292.95
Transformed_CSR_innermost_04/Ex1_GM99_C.xml 5159482 YES 93.81/38.93 (CERTIFIED 0.6)
Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml 5159483 YES 82.46/23.02 (CERTIFIED 0.7)
Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml 5159484 YES 26.54/10.90 (CERTIFIED 2.0)
Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml 5159485 YES 6.55/3.11 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml 5159486 YES 4.38/1.94 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml 5159487 YES 16.25/5.47 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex6_GM04_GM.xml 5159488 YES 3.94/1.84 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex16_Luc06_C.xml 5159489 YES 65.67/25.47 (CERTIFIED 0.9)
Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml 5159490 YES 5.24/2.18 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml 5159491 YES 15.66/4.80 (CERTIFIED 0.9)
Transformed_CSR_innermost_04/Ex15_Luc06_C.xml 5159492 YES 13.07/4.19 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml 5159493 YES 7.48/2.92 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml 5159494 MAYBE 626.69/291.80
Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml 5159495 YES 4.28/1.98 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml 5159496 MAYBE 573.99/292.03
Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml 5159497 YES 8.46/3.11 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml 5159498 YES 253.52/73.25 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex4_Zan97_C.xml 5159499 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml 5159500 YES 7.91/2.82 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml 5159501 MAYBE 732.38/291.74
Transformed_CSR_innermost_04/Ex1_Zan97_C.xml 5159502 YES 12.14/4.19 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml 5159503 YES 11.19/7.60 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml 5159504 YES 3.59/1.70 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml 5159505 YES 97.33/28.49 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml 5159506 YES 6.03/2.95 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml 5159507 YES 5.90/2.36 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml 5159508 YES 6.88/2.70 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml 5159509 YES 74.53/22.39 (CERTIFIED 1.2)
Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml 5159510 YES 8.75/3.11 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5159511 NO 10.31/3.66 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml 5159512 MAYBE 840.58/291.99
Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml 5159513 YES 3.45/1.96 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml 5159514 YES 9.79/3.41 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml 5159515 YES 9.33/3.64 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml 5159516 YES 7.84/2.94 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml 5159517 YES 12.00/4.05 (CERTIFIED 0.9)
Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml 5159518 YES 146.15/60.15 (CERTIFIED 4.2)
Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml 5159519 YES 156.81/41.63 (CERTIFIED 1.3)
Transformed_CSR_innermost_04/PEANO_complete_GM.xml 5159520 YES 5.42/2.29 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml 5159521 YES 17.84/5.80 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml 5159522 MAYBE 662.67/292.03
Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml 5159523 YES 10.63/2.22 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml 5159524 YES 5.96/2.43 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml 5159525 MAYBE 928.97/291.68
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5159526 YES 8.90/3.16 (CERTIFIED 0.5)
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml 5159527 MAYBE 617.54/291.92
Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml 5159528 MAYBE 681.76/291.97
Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml 5159529 YES 7.40/2.66 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex49_GM04_GM.xml 5159530 YES 5.90/2.37 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex25_Luc06_C.xml 5159531 YES 12.08/4.01 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml 5159532 MAYBE 909.15/291.82
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml 5159533 YES 3.44/1.87 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml 5159534 YES 5.23/2.18 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml 5159535 YES 7.23/2.87 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml 5159536 MAYBE 738.28/291.73
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml 5159537 YES 5.05/2.11 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml 5159538 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex18_Luc06_C.xml 5159539 YES 12.16/4.16 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml 5159540 YES 23.70/7.32 (CERTIFIED 0.8)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 5159541 MAYBE 670.74/291.71
Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml 5159542 YES 4.36/1.94 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml 5159543 MAYBE 722.95/291.70
Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml 5159544 YES 6.66/2.61 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml 5159545 YES 22.75/7.04 (CERTIFIED 0.5)
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml 5159546 YES 9.94/3.58 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml 5159547 YES 5.02/2.09 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex15_Luc98_C.xml 5159548 YES 9.17/4.76 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex8_BLR02_C.xml 5159549 timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml 5159550 YES 681.44/257.85 (CERTIFIED 11.2)
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml 5159551 YES 5.06/2.12 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml 5159552 timeout (wallclock) [out]
Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml 5159553 YES 7.32/2.98 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml 5159554 YES 7.83/2.83 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml 5159555 timeout (wallclock) [out]
Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml 5159556 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml 5159557 MAYBE 793.04/291.68
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml 5159558 MAYBE 783.30/292.19
Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml 5159559 YES 3.07/1.61 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml 5159560 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml 5159561 YES 6.44/2.48 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml 5159562 YES 40.50/12.23 (CERTIFIED 0.7)
Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml 5159563 timeout (wallclock) [out]
Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml 5159564 YES 10.84/4.01 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml 5159565 YES 4.49/1.99 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/PEANO_complete_C.xml 5159566 YES 9.14/3.48 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml 5159567 timeout (wallclock) [out]
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml 5159568 timeout (wallclock) [out]
Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml 5159569 YES 14.04/7.10 (CERTIFIED 0.3)
Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml 5159570 YES 40.61/11.48 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml 5159571 MAYBE 1087.6/291.69
Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml 5159572 YES 4.02/2.00 (CERTIFIED 0.1)
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml 5159573 YES 5.95/2.37 (CERTIFIED 0.2)
Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml 5159574 MAYBE 973.13/291.70
Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml 5159575 YES 3.19/1.62 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml 5159576 MAYBE 650.54/291.74
Transformed_CSR_innermost_04/MYNAT_complete_C.xml 5159577 YES 13.92/4.73 (CERTIFIED 0.9)
Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml 5159578 YES 9.67/3.32 (CERTIFIED 0.0)
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml 5159579 timeout (wallclock) [out]
Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml 5159580 MAYBE 854.04/291.71
Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml 5159581 MAYBE 751.12/293.51
Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml 5159582 YES 10.57/3.80 (CERTIFIED 0.4)
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml 5159583 YES 8.05/2.95 (CERTIFIED 0.3)
Applicative_AG01_innermost/#4.19.xml 5159649 YES 4.79/2.06 (CERTIFIED 0.2)
Applicative_AG01_innermost/#4.13.xml 5159650 YES 4.31/1.96 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.10.xml 5159651 YES 4.08/1.98 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.8.xml 5159652 YES 4.71/2.12 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.17.xml 5159653 YES 4.83/2.14 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.22.xml 5159654 YES 4.37/1.99 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.36.xml 5159655 YES 6.86/2.64 (CERTIFIED 0.2)
Applicative_AG01_innermost/#4.26.xml 5159656 YES 5.70/2.34 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.15.xml 5159657 YES 4.72/2.05 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.24.xml 5159658 YES 4.59/2.06 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.28.xml 5159659 YES 4.81/2.07 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.3.xml 5159660 YES 4.13/2.00 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.5.xml 5159661 YES 4.37/2.08 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.34.xml 5159662 YES 5.15/2.16 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.2.xml 5159663 YES 4.36/1.93 (CERTIFIED 0.1)
Applicative_AG01_innermost/#4.7.xml 5159664 YES 4.43/2.00 (CERTIFIED 0.1)
AG01_innermost/#4.4.xml 5159614 YES 3.57/1.75 (CERTIFIED 0.0)
AG01_innermost/#4.19.xml 5159615 YES 3.88/1.83 (CERTIFIED 0.0)
AG01_innermost/#4.31.xml 5159616 YES 12.92/4.11 (CERTIFIED 0.4)
AG01_innermost/#4.18.xml 5159617 YES 4.07/1.77 (CERTIFIED 0.0)
AG01_innermost/#4.13.xml 5159618 YES 3.79/1.76 (CERTIFIED 0.0)
AG01_innermost/#4.27.xml 5159619 YES 3.69/1.80 (CERTIFIED 0.0)
AG01_innermost/#4.17.xml 5159620 YES 3.83/1.86 (CERTIFIED 0.0)
AG01_innermost/#4.22.xml 5159621 YES 3.53/1.72 (CERTIFIED 0.0)
AG01_innermost/#4.36.xml 5159622 YES 5.46/2.29 (CERTIFIED 0.1)
AG01_innermost/#4.37.xml 5159623 YES 3.83/2.44 (CERTIFIED 0.0)
AG01_innermost/#4.20a.xml 5159624 YES 4.89/2.09 (CERTIFIED 0.0)
AG01_innermost/#4.30b.xml 5159625 YES 8.79/6.15 (CERTIFIED 0.1)
AG01_innermost/#4.33.xml 5159626 YES 4.26/1.92 (CERTIFIED 0.0)
AG01_innermost/#4.26.xml 5159627 YES 4.48/2.02 (CERTIFIED 0.0)
AG01_innermost/#4.35.xml 5159628 YES 5.34/3.12 (CERTIFIED 0.1)
AG01_innermost/#4.16.xml 5159629 YES 3.69/2.20 (CERTIFIED 0.0)
AG01_innermost/#4.15.xml 5159630 YES 3.42/1.83 (CERTIFIED 0.0)
AG01_innermost/#4.14.xml 5159631 YES 3.66/1.78 (CERTIFIED 0.0)
AG01_innermost/#4.23.xml 5159632 YES 4.07/2.80 (CERTIFIED 0.0)
AG01_innermost/#4.24.xml 5159633 YES 3.98/1.95 (CERTIFIED 0.0)
AG01_innermost/#4.32.xml 5159634 YES 3.68/1.77 (CERTIFIED 0.0)
AG01_innermost/#4.28.xml 5159635 YES 6.60/2.55 (CERTIFIED 0.0)
AG01_innermost/#4.25.xml 5159636 YES 3.55/1.74 (CERTIFIED 0.0)
AG01_innermost/#4.21.xml 5159637 YES 4.35/1.88 (CERTIFIED 0.0)
AG01_innermost/#4.30a.xml 5159638 YES 4.32/2.10 (CERTIFIED 0.0)
AG01_innermost/#4.3.xml 5159639 YES 3.53/1.73 (CERTIFIED 0.0)
AG01_innermost/#4.20.xml 5159640 YES 4.26/2.24 (CERTIFIED 0.0)
AG01_innermost/#4.5.xml 5159641 YES 5.20/2.08 (CERTIFIED 0.0)
AG01_innermost/#4.30.xml 5159642 YES 6.81/3.10 (CERTIFIED 0.1)
AG01_innermost/#4.29.xml 5159643 YES 5.29/4.17 (CERTIFIED 0.1)
AG01_innermost/#4.34.xml 5159644 YES 3.95/2.62 (CERTIFIED 0.0)
AG01_innermost/#4.37a.xml 5159645 YES 3.95/1.83 (CERTIFIED 0.0)
AG01_innermost/#4.2.xml 5159646 YES 3.68/1.76 (CERTIFIED 0.0)
AG01_innermost/#4.12a.xml 5159647 YES 3.92/1.97 (CERTIFIED 0.0)
AG01_innermost/#4.7.xml 5159648 YES 3.62/1.79 (CERTIFIED 0.0)
269