Overview of job-results

flexible query (experimental) | view original jobs on star-exec:5376,

Statistics

410 pairs, 106678.3 / 45449.7 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR OTHER / Nothing
The results are displayed in the following pattern: cpu-time / wallclock-time (complexity-score)
Jobs SRS Relat 77892
Solver TTT2 AProVE_JRE2
Scores 25 89
SRS_Relative/ICFP_2010_relative/107220.xml 194.7 / 61.9 s 480.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/107236.xml 194.5 / 61.9 s 499.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/123759.xml 193.0 / 60.4 s 564.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/124211.xml 193.0 / 60.4 s 564.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/124269.xml 202.8 / 60.4 s 575.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/124791.xml 193.0 / 60.4 s 582.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/127538.xml 193.4 / 60.7 s 73.1 / 19.2 s
SRS_Relative/ICFP_2010_relative/128056.xml 193.6 / 60.7 s 663.6 / 300.1 s
SRS_Relative/ICFP_2010_relative/128182.xml 193.3 / 60.7 s 61.2 / 16.1 s
SRS_Relative/ICFP_2010_relative/128280.xml 193.5 / 60.7 s 52.8 / 14.1 s
SRS_Relative/ICFP_2010_relative/128430.xml 193.5 / 60.7 s 64.8 / 17.1 s
SRS_Relative/ICFP_2010_relative/128486.xml 193.6 / 60.7 s 55.7 / 14.8 s
SRS_Relative/ICFP_2010_relative/128515.xml 193.7 / 60.7 s 62.2 / 16.3 s
SRS_Relative/ICFP_2010_relative/128550.xml 193.1 / 60.7 s 61.4 / 16.2 s
SRS_Relative/ICFP_2010_relative/128620.xml 193.4 / 60.7 s 66.6 / 17.6 s
SRS_Relative/ICFP_2010_relative/128691.xml 193.2 / 60.7 s 58.8 / 15.6 s
SRS_Relative/ICFP_2010_relative/131633.xml 193.1 / 60.4 s 677.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/131982.xml 193.1 / 60.4 s 567.0 / 300.1 s
SRS_Relative/ICFP_2010_relative/132235.xml 193.8 / 60.4 s 748.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/132478.xml 193.4 / 60.7 s 68.4 / 17.9 s
SRS_Relative/ICFP_2010_relative/132540.xml 193.9 / 60.7 s 52.5 / 13.8 s
SRS_Relative/ICFP_2010_relative/132622.xml 193.5 / 60.7 s 65.1 / 17.1 s
SRS_Relative/ICFP_2010_relative/132720.xml 193.5 / 60.7 s 67.1 / 17.6 s
SRS_Relative/ICFP_2010_relative/132738.xml 193.1 / 60.7 s 60.3 / 15.9 s
SRS_Relative/ICFP_2010_relative/132782.xml 193.3 / 60.7 s 59.3 / 15.6 s
SRS_Relative/ICFP_2010_relative/132833.xml 193.5 / 60.7 s 63.3 / 16.7 s
SRS_Relative/ICFP_2010_relative/132864.xml 193.4 / 60.7 s 69.7 / 18.3 s
SRS_Relative/ICFP_2010_relative/132920.xml 193.3 / 60.7 s 56.0 / 14.8 s
SRS_Relative/ICFP_2010_relative/132957.xml 193.3 / 60.7 s 63.3 / 16.7 s
SRS_Relative/ICFP_2010_relative/132969.xml 193.0 / 60.4 s 581.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/133010.xml 193.3 / 60.7 s 69.0 / 18.1 s
SRS_Relative/ICFP_2010_relative/133159.xml 193.1 / 60.4 s 677.9 / 300.1 s
SRS_Relative/ICFP_2010_relative/133486.xml 192.9 / 60.4 s 569.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/133881.xml 192.8 / 60.4 s 562.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/134918.xml 193.1 / 60.4 s 541.1 / 300.1 s
SRS_Relative/ICFP_2010_relative/135115.xml 192.8 / 60.4 s 557.1 / 300.1 s
SRS_Relative/ICFP_2010_relative/135328.xml 192.9 / 60.4 s 633.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/135604.xml 192.7 / 60.4 s 563.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/135652.xml 193.1 / 60.4 s 593.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/135782.xml 193.0 / 60.4 s 562.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/135936.xml 192.9 / 60.4 s 566.8 / 300.1 s
SRS_Relative/ICFP_2010_relative/136051.xml 192.8 / 60.4 s 515.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/136562.xml 193.0 / 60.4 s 561.8 / 300.1 s
SRS_Relative/ICFP_2010_relative/136623.xml 193.0 / 60.4 s 582.7 / 300.1 s
SRS_Relative/ICFP_2010_relative/137404.xml 192.9 / 60.4 s 552.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/137809.xml 193.5 / 60.4 s 567.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/138194.xml 192.9 / 60.4 s 561.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/138269.xml 193.1 / 60.4 s 524.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/138330.xml 192.9 / 60.4 s 607.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/138477.xml 193.0 / 60.4 s 563.4 / 300.1 s
SRS_Relative/ICFP_2010_relative/138993.xml 193.6 / 60.7 s 52.1 / 13.8 s
SRS_Relative/ICFP_2010_relative/139004.xml 193.4 / 60.7 s 65.5 / 17.3 s
SRS_Relative/ICFP_2010_relative/139018.xml 193.2 / 60.7 s 64.6 / 17.0 s
SRS_Relative/ICFP_2010_relative/139025.xml 193.4 / 60.8 s 64.0 / 16.9 s
SRS_Relative/ICFP_2010_relative/139036.xml 193.4 / 60.7 s 66.0 / 17.4 s
SRS_Relative/ICFP_2010_relative/139100.xml 193.4 / 60.8 s 58.2 / 15.3 s
SRS_Relative/ICFP_2010_relative/139163.xml 193.3 / 60.7 s 74.9 / 19.6 s
SRS_Relative/ICFP_2010_relative/139167.xml 193.2 / 60.7 s 62.3 / 16.5 s
SRS_Relative/ICFP_2010_relative/139174.xml 193.3 / 60.8 s 60.5 / 16.0 s
SRS_Relative/ICFP_2010_relative/139180.xml 193.2 / 60.7 s 69.6 / 18.2 s
SRS_Relative/ICFP_2010_relative/139185.xml 193.9 / 60.7 s 49.3 / 13.1 s
SRS_Relative/ICFP_2010_relative/139190.xml 193.9 / 60.7 s 107.0 / 14.2 s
SRS_Relative/ICFP_2010_relative/139214.xml 193.4 / 60.7 s 54.4 / 14.5 s
SRS_Relative/ICFP_2010_relative/139236.xml 193.3 / 60.7 s 47.5 / 12.7 s
SRS_Relative/ICFP_2010_relative/139256.xml 193.1 / 60.7 s 71.0 / 18.6 s
SRS_Relative/ICFP_2010_relative/139282.xml 193.4 / 60.7 s 56.4 / 14.9 s
SRS_Relative/ICFP_2010_relative/139310.xml 193.9 / 60.7 s 64.6 / 17.0 s
SRS_Relative/ICFP_2010_relative/139378.xml 193.4 / 60.7 s 61.8 / 16.4 s
SRS_Relative/ICFP_2010_relative/140287.xml 193.6 / 60.7 s 689.1 / 300.1 s
SRS_Relative/ICFP_2010_relative/140318.xml 193.2 / 60.7 s 57.0 / 15.1 s
SRS_Relative/ICFP_2010_relative/140359.xml 193.4 / 60.7 s 61.2 / 16.2 s
SRS_Relative/ICFP_2010_relative/140631.xml 191.4 / 60.3 s 818.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/140639.xml 191.0 / 60.3 s 653.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/140649.xml 190.6 / 60.3 s 655.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/140654.xml 190.4 / 60.3 s 592.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/140659.xml 190.9 / 60.3 s 646.3 / 300.0 s
SRS_Relative/ICFP_2010_relative/140664.xml 191.9 / 60.2 s 645.0 / 300.1 s
SRS_Relative/ICFP_2010_relative/142142.xml 190.4 / 60.3 s 654.7 / 300.1 s
SRS_Relative/ICFP_2010_relative/142146.xml 192.8 / 60.2 s 64.6 / 16.9 s
SRS_Relative/ICFP_2010_relative/142150.xml 191.2 / 60.3 s 648.2 / 300.1 s
SRS_Relative/ICFP_2010_relative/142157.xml 191.3 / 60.3 s 614.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/3268.xml 234.8 / 59.8 s 1175.5 / 300.1 s
SRS_Relative/ICFP_2010_relative/3336.xml 133.6 / 59.4 s 0.4 / 0.3 s
SRS_Relative/ICFP_2010_relative/3385.xml 232.9 / 59.9 s 694.2 / 300.1 s
SRS_Relative/ICFP_2010_relative/3450.xml 203.4 / 59.9 s 539.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/3467.xml 199.7 / 59.9 s 530.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/3498.xml 198.4 / 60.0 s 514.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/3533.xml 187.8 / 60.0 s 515.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/3562.xml 199.8 / 59.9 s 508.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/3589.xml 195.9 / 60.0 s 501.4 / 300.1 s
SRS_Relative/ICFP_2010_relative/3633.xml 204.7 / 59.9 s 503.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/3680.xml 200.8 / 60.0 s 175.2 / 44.8 s
SRS_Relative/ICFP_2010_relative/3705.xml 198.7 / 59.9 s 505.0 / 300.1 s
SRS_Relative/ICFP_2010_relative/3729.xml 202.4 / 60.0 s 554.3 / 300.0 s
SRS_Relative/ICFP_2010_relative/3746.xml 203.4 / 59.9 s 524.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/3762.xml 198.9 / 59.9 s 519.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/3770.xml 198.3 / 59.9 s 479.3 / 300.0 s
SRS_Relative/ICFP_2010_relative/3786.xml 196.3 / 59.9 s 499.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/3817.xml 197.2 / 59.9 s 528.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/3831.xml 202.6 / 59.9 s 151.0 / 38.4 s
SRS_Relative/ICFP_2010_relative/3842.xml 195.1 / 59.9 s 488.0 / 300.1 s
SRS_Relative/ICFP_2010_relative/3856.xml 207.5 / 60.0 s 143.8 / 36.8 s
SRS_Relative/ICFP_2010_relative/3861.xml 219.9 / 60.1 s 503.3 / 300.0 s
SRS_Relative/ICFP_2010_relative/3865.xml 205.6 / 59.9 s 525.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/3916.xml 134.2 / 59.5 s 0.5 / 0.3 s
SRS_Relative/ICFP_2010_relative/3930.xml 195.7 / 59.9 s 495.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/3939.xml 201.3 / 59.9 s 571.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/3989.xml 200.8 / 59.9 s 463.9 / 300.1 s
SRS_Relative/ICFP_2010_relative/3995.xml 199.0 / 60.0 s 517.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/4002.xml 197.3 / 60.0 s 462.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/4017.xml 193.4 / 59.9 s 554.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/4029.xml 202.9 / 60.0 s 519.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/4036.xml 202.9 / 60.0 s 134.8 / 34.6 s
SRS_Relative/ICFP_2010_relative/4046.xml 133.7 / 59.6 s 0.4 / 0.3 s
SRS_Relative/ICFP_2010_relative/4051.xml 198.4 / 60.0 s 299.5 / 78.2 s
SRS_Relative/ICFP_2010_relative/4057.xml 205.8 / 60.0 s 478.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/4074.xml 204.3 / 60.0 s 534.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/4106.xml 201.3 / 60.0 s 464.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/41378.xml 204.0 / 71.2 s 491.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/4141.xml 196.3 / 59.9 s 517.3 / 300.1 s
SRS_Relative/ICFP_2010_relative/4157.xml 193.1 / 59.9 s 537.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/4181.xml 227.3 / 60.0 s 290.2 / 73.3 s
SRS_Relative/ICFP_2010_relative/4200.xml 202.6 / 59.9 s 553.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/4248.xml 194.9 / 60.0 s 500.3 / 300.0 s
SRS_Relative/ICFP_2010_relative/4282.xml 204.6 / 60.0 s 510.3 / 300.0 s
SRS_Relative/ICFP_2010_relative/4374.xml 201.9 / 60.0 s 469.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/4412.xml 205.4 / 60.0 s 167.3 / 42.9 s
SRS_Relative/ICFP_2010_relative/4484.xml 195.9 / 59.9 s 458.9 / 300.1 s
SRS_Relative/ICFP_2010_relative/4487.xml 204.2 / 60.0 s 515.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/4816.xml 203.9 / 60.0 s 190.6 / 48.7 s
SRS_Relative/ICFP_2010_relative/4819.xml 202.4 / 59.9 s 99.8 / 25.9 s
SRS_Relative/ICFP_2010_relative/4824.xml 205.3 / 60.1 s 587.0 / 300.1 s
SRS_Relative/ICFP_2010_relative/4827.xml 191.7 / 59.9 s 470.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/4840.xml 199.2 / 59.9 s 505.0 / 300.1 s
SRS_Relative/ICFP_2010_relative/4847.xml 193.0 / 59.9 s 542.1 / 300.1 s
SRS_Relative/ICFP_2010_relative/4854.xml 202.0 / 59.9 s 570.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/4893.xml 201.0 / 60.0 s 577.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/4920.xml 198.6 / 59.9 s 501.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/4934.xml 199.3 / 59.9 s 463.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/4938.xml 198.7 / 60.0 s 550.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/4943.xml 197.5 / 59.9 s 563.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/4953.xml 202.2 / 59.9 s 561.6 / 300.1 s
SRS_Relative/ICFP_2010_relative/4964.xml 199.1 / 60.0 s 491.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/4970.xml 133.8 / 59.5 s 0.4 / 0.3 s
SRS_Relative/ICFP_2010_relative/4979.xml 203.6 / 59.9 s 471.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/4991.xml 190.6 / 60.0 s 463.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/5011.xml 134.2 / 59.6 s 0.4 / 0.3 s
SRS_Relative/ICFP_2010_relative/5076.xml 199.6 / 59.9 s 460.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/5109.xml 210.1 / 60.0 s 110.7 / 28.5 s
SRS_Relative/ICFP_2010_relative/5130.xml 212.8 / 59.9 s 177.1 / 45.4 s
SRS_Relative/ICFP_2010_relative/54097.xml 204.1 / 71.2 s 504.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/63142.xml 186.3 / 59.7 s 556.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/64160.xml 186.2 / 59.7 s 551.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/88143.xml 186.8 / 59.7 s 53.2 / 13.9 s
SRS_Relative/ICFP_2010_relative/88172.xml 186.8 / 59.7 s 619.3 / 300.1 s
SRS_Relative/ICFP_2010_relative/91242.xml 193.4 / 60.7 s 476.3 / 300.1 s
SRS_Relative/ICFP_2010_relative/97888.xml 195.5 / 62.8 s 478.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/97901.xml 195.3 / 62.9 s 504.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/97917.xml 195.4 / 62.8 s 478.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/97929.xml 195.4 / 62.8 s 522.7 / 300.1 s
SRS_Relative/Mixed_relative_SRS/dup02.xml 235.1 / 59.5 s 68.7 / 17.9 s
SRS_Relative/Mixed_relative_SRS/dup03.xml 235.2 / 59.4 s 62.8 / 16.3 s
SRS_Relative/Mixed_relative_SRS/dup04.xml 234.9 / 59.4 s 235.0 / 59.6 s
SRS_Relative/Mixed_relative_SRS/un01.xml 232.7 / 300.0 s 33.9 / 9.0 s
SRS_Relative/Mixed_relative_SRS/un03.xml 235.0 / 59.4 s 884.4 / 300.1 s
SRS_Relative/Mixed_relative_SRS/zr01.xml 6.4 / 1.9 s 6.4 / 2.0 s
SRS_Relative/Mixed_relative_SRS/zr02.xml 15.7 / 4.2 s 12.8 / 3.7 s
SRS_Relative/Mixed_relative_SRS/zr02new.xml 26.3 / 6.9 s 15.5 / 4.3 s
SRS_Relative/Mixed_relative_SRS/zr03.xml 2.7 / 0.9 s 1.8 / 0.8 s
SRS_Relative/Mixed_relative_SRS/zr04.xml 235.3 / 59.4 s 35.1 / 9.4 s
SRS_Relative/Mixed_relative_SRS/zr04new.xml 235.2 / 59.4 s 30.2 / 8.2 s
SRS_Relative/Mixed_relative_SRS/zr05.xml 3.8 / 1.2 s 4.5 / 1.5 s
SRS_Relative/Mixed_relative_SRS/zr06.xml 3.7 / 1.2 s 6.3 / 2.1 s
SRS_Relative/Mixed_relative_SRS/zr07.xml 9.3 / 2.6 s 14.0 / 4.1 s
SRS_Relative/Mixed_relative_SRS/zr08.xml 6.0 / 1.8 s 7.7 / 2.4 s
SRS_Relative/Mixed_relative_SRS/zr09.xml 7.1 / 2.0 s 8.4 / 2.5 s
SRS_Relative/Mixed_relative_SRS/zr10.xml 23.0 / 6.0 s 24.4 / 6.7 s
SRS_Relative/Mixed_relative_SRS/zr11.xml 21.8 / 3.2 s 14.6 / 4.2 s
SRS_Relative/Mixed_relative_SRS/zr12.xml 7.7 / 2.2 s 8.6 / 2.7 s
SRS_Relative/Mixed_relative_SRS/zr13.xml 2.2 / 0.8 s 1.4 / 0.7 s
SRS_Relative/Waldmann_06_relative/r1.xml 126.5 / 59.3 s 0.2 / 0.2 s
SRS_Relative/Waldmann_06_relative/r10.xml 235.1 / 59.4 s 503.4 / 127.2 s
SRS_Relative/Waldmann_06_relative/r2.xml 19.9 / 5.3 s 0.2 / 0.2 s
SRS_Relative/Waldmann_06_relative/r3.xml 3.7 / 1.2 s 39.5 / 10.6 s
SRS_Relative/Waldmann_06_relative/r4.xml 235.7 / 59.5 s 1168.1 / 296.4 s
SRS_Relative/Waldmann_06_relative/r5.xml 16.1 / 4.3 s 29.7 / 8.0 s
SRS_Relative/Waldmann_06_relative/r6.xml 8.0 / 2.3 s 13.5 / 3.9 s
SRS_Relative/Waldmann_06_relative/r7.xml 6.1 / 1.8 s 3.6 / 1.3 s
SRS_Relative/Waldmann_06_relative/r8.xml 12.3 / 3.4 s 27.5 / 7.4 s
SRS_Relative/Waldmann_06_relative/r9.xml 4.0 / 1.2 s 44.4 / 11.5 s
SRS_Relative/Waldmann_06_relative/rbeans.xml 132.6 / 59.3 s 0.2 / 0.2 s
SRS_Relative/Zantema_06_relative/cars.xml 235.1 / 59.4 s 1183.0 / 300.1 s
SRS_Relative/Zantema_06_relative/rel01.xml 7.4 / 2.1 s 6.5 / 2.1 s
SRS_Relative/Zantema_06_relative/rel02.xml 233.2 / 59.3 s 18.4 / 5.1 s
SRS_Relative/Zantema_06_relative/rel03.xml 235.4 / 59.5 s 1196.9 / 300.1 s
SRS_Relative/Zantema_06_relative/rel04.xml 26.4 / 6.9 s 22.4 / 6.2 s
SRS_Relative/Zantema_06_relative/rel05.xml 12.7 / 3.4 s 19.8 / 5.6 s
SRS_Relative/Zantema_06_relative/rel06.xml 235.0 / 59.3 s 45.1 / 12.3 s
SRS_Relative/Zantema_06_relative/rel07.xml 235.2 / 59.4 s 1162.1 / 300.0 s
SRS_Relative/Zantema_06_relative/rel08.xml 235.9 / 59.5 s 12.9 / 3.7 s
SRS_Relative/Zantema_06_relative/rel09.xml 235.2 / 59.4 s 40.4 / 10.7 s
SRS_Relative/Zantema_06_relative/rel10.xml 14.5 / 3.9 s 50.5 / 13.3 s
SRS_Relative/Zantema_06_relative/rel11.xml 235.6 / 59.5 s 1192.1 / 300.1 s
SRS_Relative/Zantema_06_relative/rel12.xml 235.5 / 59.5 s 1200.0 / 299.5 s
SRS_Relative/Zantema_06_relative/rel13.xml 19.8 / 5.3 s 11.2 / 3.3 s