Overview of job-results

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

Statistics

410 pairs, 96316.9 / 45322.1 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 certi 26547
Solver TTT2 AProVE_JRE2
Scores 23 89
SRS_Relative/ICFP_2010_relative/107220.xml 136.4 / 62.0 s 479.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/107236.xml 136.4 / 62.0 s 489.0 / 300.1 s
SRS_Relative/ICFP_2010_relative/123759.xml 135.1 / 60.5 s 733.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/124211.xml 134.9 / 60.5 s 617.4 / 300.1 s
SRS_Relative/ICFP_2010_relative/124269.xml 134.9 / 60.5 s 581.3 / 300.0 s
SRS_Relative/ICFP_2010_relative/124791.xml 134.6 / 60.5 s 537.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/127538.xml 135.1 / 60.8 s 74.1 / 19.4 s
SRS_Relative/ICFP_2010_relative/128056.xml 135.4 / 60.8 s 683.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/128182.xml 135.2 / 60.8 s 52.6 / 14.0 s
SRS_Relative/ICFP_2010_relative/128280.xml 135.2 / 60.8 s 52.8 / 14.1 s
SRS_Relative/ICFP_2010_relative/128430.xml 135.4 / 60.8 s 53.9 / 14.3 s
SRS_Relative/ICFP_2010_relative/128486.xml 135.3 / 60.8 s 49.8 / 13.3 s
SRS_Relative/ICFP_2010_relative/128515.xml 135.6 / 60.9 s 66.1 / 17.5 s
SRS_Relative/ICFP_2010_relative/128550.xml 135.3 / 60.8 s 63.8 / 16.9 s
SRS_Relative/ICFP_2010_relative/128620.xml 134.9 / 60.8 s 69.6 / 18.4 s
SRS_Relative/ICFP_2010_relative/128691.xml 135.2 / 60.8 s 58.9 / 15.6 s
SRS_Relative/ICFP_2010_relative/131633.xml 135.1 / 60.5 s 578.8 / 300.1 s
SRS_Relative/ICFP_2010_relative/131982.xml 135.0 / 60.5 s 747.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/132235.xml 135.2 / 60.5 s 763.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/132478.xml 135.0 / 60.8 s 63.0 / 16.5 s
SRS_Relative/ICFP_2010_relative/132540.xml 135.1 / 60.8 s 58.9 / 15.6 s
SRS_Relative/ICFP_2010_relative/132622.xml 134.9 / 60.8 s 58.5 / 15.5 s
SRS_Relative/ICFP_2010_relative/132720.xml 135.4 / 60.8 s 61.0 / 16.1 s
SRS_Relative/ICFP_2010_relative/132738.xml 135.3 / 60.8 s 69.6 / 18.3 s
SRS_Relative/ICFP_2010_relative/132782.xml 134.8 / 60.9 s 58.0 / 15.4 s
SRS_Relative/ICFP_2010_relative/132833.xml 135.1 / 60.8 s 65.7 / 17.3 s
SRS_Relative/ICFP_2010_relative/132864.xml 135.0 / 60.8 s 54.7 / 14.6 s
SRS_Relative/ICFP_2010_relative/132920.xml 135.2 / 60.8 s 63.5 / 16.7 s
SRS_Relative/ICFP_2010_relative/132957.xml 135.3 / 60.8 s 57.6 / 15.3 s
SRS_Relative/ICFP_2010_relative/132969.xml 134.6 / 60.5 s 735.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/133010.xml 135.1 / 60.9 s 68.0 / 17.9 s
SRS_Relative/ICFP_2010_relative/133159.xml 134.8 / 60.5 s 583.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/133486.xml 134.7 / 60.5 s 587.1 / 300.1 s
SRS_Relative/ICFP_2010_relative/133881.xml 134.8 / 60.5 s 729.2 / 300.1 s
SRS_Relative/ICFP_2010_relative/134918.xml 134.5 / 60.5 s 597.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/135115.xml 134.7 / 60.5 s 736.1 / 300.1 s
SRS_Relative/ICFP_2010_relative/135328.xml 135.2 / 60.5 s 669.9 / 300.1 s
SRS_Relative/ICFP_2010_relative/135604.xml 134.7 / 60.5 s 590.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/135652.xml 135.0 / 60.5 s 580.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/135782.xml 135.1 / 60.5 s 601.5 / 300.1 s
SRS_Relative/ICFP_2010_relative/135936.xml 134.5 / 60.5 s 733.4 / 300.1 s
SRS_Relative/ICFP_2010_relative/136051.xml 134.8 / 60.5 s 591.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/136562.xml 135.1 / 60.5 s 706.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/136623.xml 135.3 / 60.5 s 558.6 / 300.1 s
SRS_Relative/ICFP_2010_relative/137404.xml 134.7 / 60.5 s 588.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/137809.xml 134.8 / 60.5 s 583.9 / 300.1 s
SRS_Relative/ICFP_2010_relative/138194.xml 134.9 / 60.5 s 744.7 / 300.1 s
SRS_Relative/ICFP_2010_relative/138269.xml 134.7 / 60.5 s 564.3 / 300.0 s
SRS_Relative/ICFP_2010_relative/138330.xml 135.0 / 60.5 s 665.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/138477.xml 134.8 / 60.5 s 689.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/138993.xml 135.6 / 60.8 s 62.4 / 16.4 s
SRS_Relative/ICFP_2010_relative/139004.xml 135.6 / 60.9 s 62.8 / 16.6 s
SRS_Relative/ICFP_2010_relative/139018.xml 135.0 / 60.8 s 60.0 / 15.9 s
SRS_Relative/ICFP_2010_relative/139025.xml 135.1 / 60.8 s 63.6 / 16.7 s
SRS_Relative/ICFP_2010_relative/139036.xml 135.3 / 60.8 s 62.6 / 16.5 s
SRS_Relative/ICFP_2010_relative/139100.xml 135.1 / 60.8 s 59.0 / 15.5 s
SRS_Relative/ICFP_2010_relative/139163.xml 135.5 / 60.8 s 77.8 / 20.4 s
SRS_Relative/ICFP_2010_relative/139167.xml 135.7 / 60.8 s 64.0 / 16.9 s
SRS_Relative/ICFP_2010_relative/139174.xml 135.2 / 60.8 s 60.4 / 16.0 s
SRS_Relative/ICFP_2010_relative/139180.xml 135.3 / 60.8 s 77.3 / 20.3 s
SRS_Relative/ICFP_2010_relative/139185.xml 135.2 / 60.8 s 61.0 / 16.3 s
SRS_Relative/ICFP_2010_relative/139190.xml 135.2 / 60.8 s 56.0 / 14.8 s
SRS_Relative/ICFP_2010_relative/139214.xml 135.4 / 60.8 s 60.4 / 16.0 s
SRS_Relative/ICFP_2010_relative/139236.xml 135.7 / 60.8 s 59.4 / 15.7 s
SRS_Relative/ICFP_2010_relative/139256.xml 135.1 / 60.8 s 79.9 / 20.9 s
SRS_Relative/ICFP_2010_relative/139282.xml 135.3 / 60.8 s 63.0 / 16.7 s
SRS_Relative/ICFP_2010_relative/139310.xml 135.1 / 60.8 s 55.5 / 14.7 s
SRS_Relative/ICFP_2010_relative/139378.xml 135.3 / 60.8 s 62.4 / 16.6 s
SRS_Relative/ICFP_2010_relative/140287.xml 135.1 / 60.8 s 705.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/140318.xml 135.2 / 60.8 s 52.4 / 13.9 s
SRS_Relative/ICFP_2010_relative/140359.xml 135.3 / 60.8 s 68.5 / 18.0 s
SRS_Relative/ICFP_2010_relative/140631.xml 139.9 / 60.4 s 815.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/140639.xml 134.7 / 60.4 s 646.9 / 300.1 s
SRS_Relative/ICFP_2010_relative/140649.xml 135.2 / 60.4 s 643.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/140654.xml 134.9 / 60.4 s 633.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/140659.xml 134.5 / 60.3 s 640.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/140664.xml 135.1 / 60.3 s 632.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/142142.xml 134.6 / 60.4 s 631.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/142146.xml 135.1 / 60.3 s 92.6 / 24.1 s
SRS_Relative/ICFP_2010_relative/142150.xml 134.8 / 60.4 s 631.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/142157.xml 134.6 / 60.3 s 633.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/3268.xml 133.8 / 59.4 s 1141.2 / 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 133.7 / 59.4 s 746.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/3450.xml 133.8 / 59.6 s 542.0 / 300.1 s
SRS_Relative/ICFP_2010_relative/3467.xml 133.7 / 59.6 s 508.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/3498.xml 133.8 / 59.6 s 547.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/3533.xml 133.9 / 59.6 s 499.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/3562.xml 134.0 / 59.6 s 497.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/3589.xml 134.2 / 59.6 s 484.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/3633.xml 133.8 / 59.6 s 495.6 / 300.1 s
SRS_Relative/ICFP_2010_relative/3680.xml 133.8 / 59.6 s 156.1 / 40.1 s
SRS_Relative/ICFP_2010_relative/3705.xml 133.5 / 59.6 s 494.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/3729.xml 133.7 / 59.6 s 520.9 / 300.1 s
SRS_Relative/ICFP_2010_relative/3746.xml 133.8 / 59.6 s 490.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/3762.xml 133.9 / 59.6 s 516.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/3770.xml 133.7 / 59.6 s 460.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/3786.xml 134.0 / 59.6 s 486.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/3817.xml 133.8 / 59.6 s 498.3 / 300.1 s
SRS_Relative/ICFP_2010_relative/3831.xml 134.4 / 59.6 s 120.6 / 31.0 s
SRS_Relative/ICFP_2010_relative/3842.xml 133.5 / 59.6 s 475.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/3856.xml 133.6 / 59.6 s 138.9 / 35.8 s
SRS_Relative/ICFP_2010_relative/3861.xml 134.2 / 59.6 s 496.8 / 300.1 s
SRS_Relative/ICFP_2010_relative/3865.xml 133.6 / 59.6 s 496.6 / 300.1 s
SRS_Relative/ICFP_2010_relative/3916.xml 134.0 / 59.6 s 0.5 / 0.3 s
SRS_Relative/ICFP_2010_relative/3930.xml 133.9 / 59.6 s 489.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/3939.xml 133.8 / 59.6 s 504.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/3989.xml 133.7 / 59.6 s 480.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/3995.xml 134.0 / 59.6 s 514.3 / 300.0 s
SRS_Relative/ICFP_2010_relative/4002.xml 134.0 / 59.6 s 451.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/4017.xml 133.6 / 59.6 s 519.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/4029.xml 133.7 / 59.6 s 484.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/4036.xml 134.4 / 59.6 s 251.7 / 64.4 s
SRS_Relative/ICFP_2010_relative/4046.xml 133.8 / 59.6 s 0.4 / 0.3 s
SRS_Relative/ICFP_2010_relative/4051.xml 133.6 / 59.6 s 272.2 / 69.6 s
SRS_Relative/ICFP_2010_relative/4057.xml 133.9 / 59.6 s 473.1 / 300.1 s
SRS_Relative/ICFP_2010_relative/4074.xml 133.8 / 59.6 s 516.1 / 300.1 s
SRS_Relative/ICFP_2010_relative/4106.xml 133.8 / 59.6 s 455.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/41378.xml 145.8 / 71.5 s 482.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/4141.xml 133.9 / 59.6 s 505.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/4157.xml 133.4 / 59.6 s 517.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/4181.xml 133.8 / 59.6 s 287.8 / 74.9 s
SRS_Relative/ICFP_2010_relative/4200.xml 133.8 / 59.6 s 517.9 / 300.1 s
SRS_Relative/ICFP_2010_relative/4248.xml 133.9 / 59.6 s 462.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/4282.xml 133.8 / 59.6 s 491.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/4374.xml 133.7 / 59.6 s 503.9 / 300.0 s
SRS_Relative/ICFP_2010_relative/4412.xml 133.8 / 59.6 s 168.8 / 43.4 s
SRS_Relative/ICFP_2010_relative/4484.xml 134.1 / 59.6 s 445.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/4487.xml 133.9 / 59.6 s 504.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/4816.xml 133.7 / 59.6 s 186.8 / 47.3 s
SRS_Relative/ICFP_2010_relative/4819.xml 133.8 / 59.6 s 90.5 / 23.7 s
SRS_Relative/ICFP_2010_relative/4824.xml 133.6 / 59.6 s 561.6 / 300.1 s
SRS_Relative/ICFP_2010_relative/4827.xml 133.6 / 59.6 s 457.7 / 300.1 s
SRS_Relative/ICFP_2010_relative/4840.xml 134.0 / 59.6 s 482.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/4847.xml 133.8 / 59.6 s 504.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/4854.xml 134.5 / 59.6 s 553.2 / 300.1 s
SRS_Relative/ICFP_2010_relative/4893.xml 133.4 / 59.6 s 566.7 / 300.1 s
SRS_Relative/ICFP_2010_relative/4920.xml 133.7 / 59.6 s 490.1 / 300.0 s
SRS_Relative/ICFP_2010_relative/4934.xml 133.8 / 59.6 s 540.1 / 300.1 s
SRS_Relative/ICFP_2010_relative/4938.xml 133.7 / 59.6 s 509.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/4943.xml 134.0 / 59.6 s 528.2 / 300.0 s
SRS_Relative/ICFP_2010_relative/4953.xml 133.5 / 59.6 s 544.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/4964.xml 134.0 / 59.6 s 473.8 / 300.0 s
SRS_Relative/ICFP_2010_relative/4970.xml 134.1 / 59.6 s 0.4 / 0.3 s
SRS_Relative/ICFP_2010_relative/4979.xml 133.6 / 59.6 s 461.3 / 300.1 s
SRS_Relative/ICFP_2010_relative/4991.xml 133.8 / 59.6 s 451.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/5011.xml 134.0 / 59.6 s 0.4 / 0.3 s
SRS_Relative/ICFP_2010_relative/5076.xml 134.0 / 59.6 s 487.7 / 300.0 s
SRS_Relative/ICFP_2010_relative/5109.xml 133.9 / 59.6 s 140.2 / 36.4 s
SRS_Relative/ICFP_2010_relative/5130.xml 133.7 / 59.6 s 181.7 / 46.5 s
SRS_Relative/ICFP_2010_relative/54097.xml 145.9 / 71.3 s 483.5 / 300.1 s
SRS_Relative/ICFP_2010_relative/63142.xml 134.0 / 59.7 s 523.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/64160.xml 133.9 / 59.7 s 531.0 / 300.0 s
SRS_Relative/ICFP_2010_relative/88143.xml 134.1 / 59.7 s 81.7 / 21.5 s
SRS_Relative/ICFP_2010_relative/88172.xml 134.0 / 59.7 s 609.9 / 300.1 s
SRS_Relative/ICFP_2010_relative/91242.xml 135.0 / 60.8 s 495.3 / 300.0 s
SRS_Relative/ICFP_2010_relative/97888.xml 137.2 / 63.0 s 472.6 / 300.0 s
SRS_Relative/ICFP_2010_relative/97901.xml 138.3 / 63.1 s 482.5 / 300.0 s
SRS_Relative/ICFP_2010_relative/97917.xml 137.3 / 63.0 s 470.4 / 300.0 s
SRS_Relative/ICFP_2010_relative/97929.xml 137.4 / 63.0 s 469.4 / 300.0 s
SRS_Relative/Mixed_relative_SRS/dup02.xml 133.1 / 59.3 s 66.4 / 17.3 s
SRS_Relative/Mixed_relative_SRS/dup03.xml 133.1 / 59.3 s 74.8 / 19.4 s
SRS_Relative/Mixed_relative_SRS/dup04.xml 133.3 / 59.3 s 221.2 / 56.1 s
SRS_Relative/Mixed_relative_SRS/un01.xml 132.8 / 59.3 s 28.3 / 7.6 s
SRS_Relative/Mixed_relative_SRS/un03.xml 133.0 / 59.3 s 948.9 / 300.1 s
SRS_Relative/Mixed_relative_SRS/zr01.xml 5.9 / 1.7 s 8.1 / 2.4 s
SRS_Relative/Mixed_relative_SRS/zr02.xml 14.3 / 3.9 s 17.8 / 5.0 s
SRS_Relative/Mixed_relative_SRS/zr02new.xml 22.2 / 5.9 s 17.2 / 4.8 s
SRS_Relative/Mixed_relative_SRS/zr03.xml 2.8 / 0.9 s 2.4 / 1.0 s
SRS_Relative/Mixed_relative_SRS/zr04.xml 132.7 / 59.3 s 35.8 / 9.6 s
SRS_Relative/Mixed_relative_SRS/zr04new.xml 133.0 / 59.3 s 27.9 / 7.7 s
SRS_Relative/Mixed_relative_SRS/zr05.xml 6.9 / 2.0 s 3.5 / 1.3 s
SRS_Relative/Mixed_relative_SRS/zr06.xml 8.0 / 2.3 s 6.3 / 2.0 s
SRS_Relative/Mixed_relative_SRS/zr07.xml 23.4 / 6.2 s 14.7 / 4.2 s
SRS_Relative/Mixed_relative_SRS/zr08.xml 5.1 / 1.5 s 8.6 / 2.6 s
SRS_Relative/Mixed_relative_SRS/zr09.xml 6.6 / 1.9 s 7.3 / 2.2 s
SRS_Relative/Mixed_relative_SRS/zr10.xml 132.4 / 59.3 s 17.9 / 5.0 s
SRS_Relative/Mixed_relative_SRS/zr11.xml 25.7 / 6.7 s 18.3 / 5.1 s
SRS_Relative/Mixed_relative_SRS/zr12.xml 7.6 / 2.2 s 7.1 / 2.2 s
SRS_Relative/Mixed_relative_SRS/zr13.xml 2.2 / 0.8 s 1.5 / 0.7 s
SRS_Relative/Waldmann_06_relative/r1.xml 126.2 / 59.3 s 0.2 / 0.2 s
SRS_Relative/Waldmann_06_relative/r10.xml 133.0 / 59.3 s 486.2 / 123.0 s
SRS_Relative/Waldmann_06_relative/r2.xml 20.0 / 5.3 s 0.2 / 0.2 s
SRS_Relative/Waldmann_06_relative/r3.xml 3.4 / 1.1 s 37.4 / 9.9 s
SRS_Relative/Waldmann_06_relative/r4.xml 132.9 / 59.3 s 1043.0 / 276.2 s
SRS_Relative/Waldmann_06_relative/r5.xml 16.0 / 4.3 s 27.3 / 7.3 s
SRS_Relative/Waldmann_06_relative/r6.xml 13.7 / 3.7 s 15.7 / 4.4 s
SRS_Relative/Waldmann_06_relative/r7.xml 12.5 / 3.4 s 3.2 / 1.2 s
SRS_Relative/Waldmann_06_relative/r8.xml 132.9 / 59.3 s 27.8 / 7.5 s
SRS_Relative/Waldmann_06_relative/r9.xml 133.2 / 59.3 s 37.3 / 9.8 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 133.2 / 59.3 s 1179.7 / 300.0 s
SRS_Relative/Zantema_06_relative/rel01.xml 6.7 / 1.9 s 7.1 / 2.2 s
SRS_Relative/Zantema_06_relative/rel02.xml 132.7 / 59.3 s 14.1 / 4.0 s
SRS_Relative/Zantema_06_relative/rel03.xml 132.7 / 59.3 s 1192.0 / 300.1 s
SRS_Relative/Zantema_06_relative/rel04.xml 24.7 / 6.5 s 17.4 / 4.9 s
SRS_Relative/Zantema_06_relative/rel05.xml 11.8 / 3.2 s 16.2 / 4.7 s
SRS_Relative/Zantema_06_relative/rel06.xml 132.3 / 59.3 s 41.2 / 11.3 s
SRS_Relative/Zantema_06_relative/rel07.xml 132.9 / 59.3 s 1178.4 / 300.0 s
SRS_Relative/Zantema_06_relative/rel08.xml 27.3 / 7.1 s 16.0 / 4.5 s
SRS_Relative/Zantema_06_relative/rel09.xml 133.1 / 59.3 s 36.1 / 9.6 s
SRS_Relative/Zantema_06_relative/rel10.xml 13.7 / 3.7 s 44.7 / 11.8 s
SRS_Relative/Zantema_06_relative/rel11.xml 133.2 / 59.3 s 1192.2 / 300.0 s
SRS_Relative/Zantema_06_relative/rel12.xml 133.2 / 59.3 s 1192.2 / 300.0 s
SRS_Relative/Zantema_06_relative/rel13.xml 15.1 / 4.0 s 11.8 / 3.5 s