Overview of job-results

flexible query (experimental) | consistency check | view original jobs on star-exec:10303,

Statistics

410 pairs, 76372.8 / 46591.8 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR BOUNDS OTHER NOTHING
The results are displayed in the following pattern: result | cpu-time/wallclock-time in seconds | complexity-score
Jobs SRS Relat certi 73897
Solver TTT2 AProVE certified
Scores 20 88
SRS_Relative/ICFP_2010_relative/107220.xml . 135.1 / 61.9 . 469.1 / 300.0
SRS_Relative/ICFP_2010_relative/107236.xml . 120.2 / 62.4 . 429.0 / 300.1
SRS_Relative/ICFP_2010_relative/123759.xml . 133.4 / 60.5 . 507.0 / 300.1
SRS_Relative/ICFP_2010_relative/124211.xml . 82.7 / 60.9 . 486.3 / 300.0
SRS_Relative/ICFP_2010_relative/124269.xml . 67.0 / 62.4 . 485.2 / 300.0
SRS_Relative/ICFP_2010_relative/124791.xml . 57.5 / 69.3 . 391.6 / 300.1
SRS_Relative/ICFP_2010_relative/127538.xml . 113.3 / 61.1 YES 71.2 / 26.9
SRS_Relative/ICFP_2010_relative/128056.xml . 98.0 / 63.1 . 447.0 / 300.1
SRS_Relative/ICFP_2010_relative/128182.xml . 67.3 / 63.3 YES 51.3 / 16.7
SRS_Relative/ICFP_2010_relative/128280.xml . 134.2 / 60.9 YES 56.2 / 20.4
SRS_Relative/ICFP_2010_relative/128430.xml . 134.2 / 60.8 YES 52.7 / 34.0
SRS_Relative/ICFP_2010_relative/128486.xml . 134.2 / 60.8 YES 51.5 / 28.6
SRS_Relative/ICFP_2010_relative/128515.xml . 77.6 / 63.4 YES 66.9 / 21.8
SRS_Relative/ICFP_2010_relative/128550.xml . 94.7 / 61.1 YES 61.1 / 29.4
SRS_Relative/ICFP_2010_relative/128620.xml . 68.5 / 63.4 YES 53.5 / 30.8
SRS_Relative/ICFP_2010_relative/128691.xml . 101.3 / 62.3 YES 53.6 / 18.5
SRS_Relative/ICFP_2010_relative/131633.xml . 133.5 / 60.5 . 573.7 / 300.0
SRS_Relative/ICFP_2010_relative/131982.xml . 118.2 / 60.5 . 376.1 / 300.1
SRS_Relative/ICFP_2010_relative/132235.xml . 123.7 / 60.7 . 467.0 / 300.0
SRS_Relative/ICFP_2010_relative/132478.xml . 100.0 / 61.1 YES 71.1 / 32.1
SRS_Relative/ICFP_2010_relative/132540.xml . 101.0 / 60.9 YES 62.9 / 20.5
SRS_Relative/ICFP_2010_relative/132622.xml . 133.5 / 60.8 YES 64.5 / 20.9
SRS_Relative/ICFP_2010_relative/132720.xml . 88.8 / 61.2 YES 56.8 / 31.0
SRS_Relative/ICFP_2010_relative/132738.xml . 99.0 / 62.0 YES 55.0 / 18.5
SRS_Relative/ICFP_2010_relative/132782.xml . 66.5 / 63.0 YES 55.1 / 29.3
SRS_Relative/ICFP_2010_relative/132833.xml . 94.2 / 61.3 YES 63.2 / 20.4
SRS_Relative/ICFP_2010_relative/132864.xml . 98.6 / 62.9 YES 67.7 / 30.4
SRS_Relative/ICFP_2010_relative/132920.xml . 107.4 / 61.0 YES 58.6 / 28.2
SRS_Relative/ICFP_2010_relative/132957.xml . 129.5 / 60.9 YES 51.2 / 27.6
SRS_Relative/ICFP_2010_relative/132969.xml . 132.8 / 60.5 . 703.6 / 300.0
SRS_Relative/ICFP_2010_relative/133010.xml . 76.0 / 61.4 YES 63.8 / 40.1
SRS_Relative/ICFP_2010_relative/133159.xml . 113.0 / 60.6 . 461.1 / 300.0
SRS_Relative/ICFP_2010_relative/133486.xml . 60.6 / 63.7 . 402.1 / 300.0
SRS_Relative/ICFP_2010_relative/133881.xml . 69.4 / 61.8 . 385.3 / 300.1
SRS_Relative/ICFP_2010_relative/134918.xml . 119.1 / 61.0 . 433.2 / 300.0
SRS_Relative/ICFP_2010_relative/135115.xml . 65.1 / 63.6 . 483.7 / 300.1
SRS_Relative/ICFP_2010_relative/135328.xml . 131.2 / 60.5 . 552.3 / 300.1
SRS_Relative/ICFP_2010_relative/135604.xml . 76.0 / 64.5 . 426.2 / 300.1
SRS_Relative/ICFP_2010_relative/135652.xml . 145.0 / 60.5 . 634.9 / 300.1
SRS_Relative/ICFP_2010_relative/135782.xml . 132.3 / 60.5 . 504.4 / 300.0
SRS_Relative/ICFP_2010_relative/135936.xml . 70.3 / 62.7 . 513.4 / 300.1
SRS_Relative/ICFP_2010_relative/136051.xml . 97.3 / 60.9 . 388.5 / 300.1
SRS_Relative/ICFP_2010_relative/136562.xml . 70.1 / 62.5 . 541.9 / 300.0
SRS_Relative/ICFP_2010_relative/136623.xml . 128.9 / 60.6 . 566.5 / 300.0
SRS_Relative/ICFP_2010_relative/137404.xml . 82.6 / 61.6 . 507.7 / 300.1
SRS_Relative/ICFP_2010_relative/137809.xml . 95.7 / 60.6 . 520.1 / 300.1
SRS_Relative/ICFP_2010_relative/138194.xml . 134.8 / 60.6 . 549.0 / 300.1
SRS_Relative/ICFP_2010_relative/138269.xml . 88.4 / 60.9 . 468.9 / 300.1
SRS_Relative/ICFP_2010_relative/138330.xml . 126.7 / 61.0 . 393.9 / 300.1
SRS_Relative/ICFP_2010_relative/138477.xml . 132.4 / 60.5 . 378.1 / 300.0
SRS_Relative/ICFP_2010_relative/138993.xml . 91.6 / 61.0 YES 53.7 / 17.5
SRS_Relative/ICFP_2010_relative/139004.xml . 133.9 / 60.8 YES 62.7 / 28.7
SRS_Relative/ICFP_2010_relative/139018.xml . 77.0 / 65.1 YES 60.9 / 19.7
SRS_Relative/ICFP_2010_relative/139025.xml . 127.1 / 61.0 YES 58.3 / 16.6
SRS_Relative/ICFP_2010_relative/139036.xml . 121.8 / 60.8 YES 61.0 / 37.3
SRS_Relative/ICFP_2010_relative/139100.xml . 102.4 / 61.3 YES 57.4 / 32.2
SRS_Relative/ICFP_2010_relative/139163.xml . 65.2 / 63.6 YES 74.2 / 52.0
SRS_Relative/ICFP_2010_relative/139167.xml . 64.9 / 64.5 YES 57.0 / 31.6
SRS_Relative/ICFP_2010_relative/139174.xml . 133.3 / 60.8 YES 61.1 / 19.7
SRS_Relative/ICFP_2010_relative/139180.xml . 126.0 / 60.9 YES 75.1 / 23.7
SRS_Relative/ICFP_2010_relative/139185.xml . 104.8 / 60.9 YES 57.4 / 18.6
SRS_Relative/ICFP_2010_relative/139190.xml . 100.8 / 61.2 YES 51.3 / 35.7
SRS_Relative/ICFP_2010_relative/139214.xml . 134.0 / 60.8 YES 56.8 / 18.5
SRS_Relative/ICFP_2010_relative/139236.xml . 78.3 / 61.4 YES 59.5 / 30.1
SRS_Relative/ICFP_2010_relative/139256.xml . 134.0 / 60.8 YES 66.8 / 24.1
SRS_Relative/ICFP_2010_relative/139282.xml . 71.6 / 62.4 YES 55.6 / 17.9
SRS_Relative/ICFP_2010_relative/139310.xml . 132.3 / 60.8 YES 59.5 / 27.5
SRS_Relative/ICFP_2010_relative/139378.xml . 65.8 / 64.2 YES 60.3 / 28.0
SRS_Relative/ICFP_2010_relative/140287.xml . 131.0 / 62.6 . 383.2 / 300.1
SRS_Relative/ICFP_2010_relative/140318.xml . 69.2 / 63.3 YES 58.3 / 19.1
SRS_Relative/ICFP_2010_relative/140359.xml . 67.6 / 62.6 YES 59.2 / 22.7
SRS_Relative/ICFP_2010_relative/140631.xml . 92.0 / 60.5 . 666.8 / 300.0
SRS_Relative/ICFP_2010_relative/140639.xml . 79.8 / 62.3 . 419.6 / 300.1
SRS_Relative/ICFP_2010_relative/140649.xml . 81.2 / 61.7 . 571.3 / 300.0
SRS_Relative/ICFP_2010_relative/140654.xml . 92.0 / 61.5 . 528.8 / 300.0
SRS_Relative/ICFP_2010_relative/140659.xml . 79.7 / 62.2 . 617.6 / 300.1
SRS_Relative/ICFP_2010_relative/140664.xml . 142.9 / 60.3 . 557.6 / 300.0
SRS_Relative/ICFP_2010_relative/142142.xml . 129.2 / 60.4 . 543.2 / 300.0
SRS_Relative/ICFP_2010_relative/142146.xml . 133.0 / 60.3 YES 73.5 / 23.3
SRS_Relative/ICFP_2010_relative/142150.xml . 129.1 / 60.4 . 403.5 / 300.1
SRS_Relative/ICFP_2010_relative/142157.xml . 65.2 / 62.2 . 566.0 / 300.1
SRS_Relative/ICFP_2010_relative/3268.xml . 131.9 / 59.4 . 795.0 / 300.0
SRS_Relative/ICFP_2010_relative/3336.xml . 67.2 / 60.4 . 0.4 / 0.8
SRS_Relative/ICFP_2010_relative/3385.xml . 99.2 / 59.5 . 348.6 / 300.1
SRS_Relative/ICFP_2010_relative/3450.xml . 131.8 / 59.6 . 442.8 / 300.1
SRS_Relative/ICFP_2010_relative/3467.xml . 132.9 / 59.6 . 398.0 / 300.1
SRS_Relative/ICFP_2010_relative/3498.xml . 132.5 / 59.6 . 439.6 / 300.0
SRS_Relative/ICFP_2010_relative/3533.xml . 70.4 / 60.4 . 411.2 / 300.1
SRS_Relative/ICFP_2010_relative/3562.xml . 86.3 / 59.7 . 514.1 / 300.1
SRS_Relative/ICFP_2010_relative/3589.xml . 118.0 / 59.7 . 470.1 / 300.0
SRS_Relative/ICFP_2010_relative/3633.xml . 128.0 / 59.6 . 430.3 / 300.1
SRS_Relative/ICFP_2010_relative/3680.xml . 66.9 / 60.2 YES 170.1 / 51.1
SRS_Relative/ICFP_2010_relative/3705.xml . 86.3 / 60.3 . 421.9 / 300.1
SRS_Relative/ICFP_2010_relative/3729.xml . 131.1 / 59.6 . 447.8 / 300.0
SRS_Relative/ICFP_2010_relative/3746.xml . 41.7 / 63.0 . 317.6 / 300.0
SRS_Relative/ICFP_2010_relative/3762.xml . 107.1 / 59.9 . 462.4 / 300.0
SRS_Relative/ICFP_2010_relative/3770.xml . 66.3 / 61.0 . 417.4 / 300.0
SRS_Relative/ICFP_2010_relative/3786.xml . 66.8 / 60.5 . 347.3 / 300.1
SRS_Relative/ICFP_2010_relative/3817.xml . 70.7 / 60.7 . 464.5 / 300.0
SRS_Relative/ICFP_2010_relative/3831.xml . 119.0 / 59.6 YES 124.3 / 58.0
SRS_Relative/ICFP_2010_relative/3842.xml . 68.0 / 59.9 . 418.0 / 300.1
SRS_Relative/ICFP_2010_relative/3856.xml . 126.8 / 59.6 YES 162.3 / 66.3
SRS_Relative/ICFP_2010_relative/3861.xml . 117.6 / 60.0 . 490.1 / 300.0
SRS_Relative/ICFP_2010_relative/3865.xml . 96.3 / 60.4 . 416.8 / 300.0
SRS_Relative/ICFP_2010_relative/3916.xml . 69.3 / 60.2 . 0.5 / 1.2
SRS_Relative/ICFP_2010_relative/3930.xml . 118.9 / 59.7 . 360.1 / 300.1
SRS_Relative/ICFP_2010_relative/3939.xml . 44.2 / 63.6 . 388.1 / 300.1
SRS_Relative/ICFP_2010_relative/3989.xml . 132.4 / 59.6 . 382.3 / 300.1
SRS_Relative/ICFP_2010_relative/3995.xml . 89.6 / 59.7 . 379.1 / 300.0
SRS_Relative/ICFP_2010_relative/4002.xml . 61.2 / 62.8 . 406.1 / 300.1
SRS_Relative/ICFP_2010_relative/4017.xml . 106.7 / 59.6 . 501.4 / 300.1
SRS_Relative/ICFP_2010_relative/4029.xml . 132.6 / 59.6 . 364.6 / 300.0
SRS_Relative/ICFP_2010_relative/4036.xml . 106.5 / 59.6 YES 188.2 / 60.9
SRS_Relative/ICFP_2010_relative/4046.xml . 113.3 / 59.6 . 0.4 / 0.3
SRS_Relative/ICFP_2010_relative/4051.xml . 144.8 / 59.6 YES 224.9 / 106.0
SRS_Relative/ICFP_2010_relative/4057.xml . 132.9 / 59.6 . 322.3 / 300.1
SRS_Relative/ICFP_2010_relative/4074.xml . 64.0 / 60.8 . 391.4 / 300.0
SRS_Relative/ICFP_2010_relative/4106.xml . 131.8 / 59.6 . 427.6 / 300.0
SRS_Relative/ICFP_2010_relative/41378.xml . 116.6 / 73.6 . 433.0 / 300.1
SRS_Relative/ICFP_2010_relative/4141.xml . 105.5 / 60.0 . 351.9 / 300.0
SRS_Relative/ICFP_2010_relative/4157.xml . 85.6 / 60.4 . 447.4 / 300.1
SRS_Relative/ICFP_2010_relative/4181.xml . 98.0 / 59.6 YES 304.7 / 134.6
SRS_Relative/ICFP_2010_relative/4200.xml . 77.5 / 59.8 . 444.2 / 300.0
SRS_Relative/ICFP_2010_relative/4248.xml . 64.2 / 60.5 . 403.0 / 300.1
SRS_Relative/ICFP_2010_relative/4282.xml . 132.1 / 59.6 . 413.7 / 300.0
SRS_Relative/ICFP_2010_relative/4374.xml . 108.7 / 59.6 . 399.3 / 300.0
SRS_Relative/ICFP_2010_relative/4412.xml . 69.1 / 60.2 YES 146.1 / 51.0
SRS_Relative/ICFP_2010_relative/4484.xml . 95.1 / 61.9 . 319.4 / 300.0
SRS_Relative/ICFP_2010_relative/4487.xml . 91.8 / 59.8 . 495.9 / 300.1
SRS_Relative/ICFP_2010_relative/4816.xml . 131.0 / 59.6 YES 165.9 / 50.0
SRS_Relative/ICFP_2010_relative/4819.xml . 90.9 / 60.0 YES 131.8 / 40.5
SRS_Relative/ICFP_2010_relative/4824.xml . 100.6 / 60.3 . 505.9 / 300.0
SRS_Relative/ICFP_2010_relative/4827.xml . 113.3 / 59.6 . 442.2 / 300.0
SRS_Relative/ICFP_2010_relative/4840.xml . 132.5 / 59.6 . 474.2 / 300.0
SRS_Relative/ICFP_2010_relative/4847.xml . 67.3 / 60.3 . 448.8 / 300.0
SRS_Relative/ICFP_2010_relative/4854.xml . 65.4 / 59.9 . 429.8 / 300.1
SRS_Relative/ICFP_2010_relative/4893.xml . 57.9 / 61.6 . 534.1 / 300.0
SRS_Relative/ICFP_2010_relative/4920.xml . 100.1 / 59.7 . 376.3 / 300.1
SRS_Relative/ICFP_2010_relative/4934.xml . 69.0 / 60.5 . 314.6 / 300.1
SRS_Relative/ICFP_2010_relative/4938.xml . 87.5 / 59.9 . 437.6 / 300.1
SRS_Relative/ICFP_2010_relative/4943.xml . 130.0 / 59.7 . 402.9 / 300.1
SRS_Relative/ICFP_2010_relative/4953.xml . 88.4 / 59.8 . 476.2 / 300.1
SRS_Relative/ICFP_2010_relative/4964.xml . 91.0 / 60.3 . 415.3 / 300.1
SRS_Relative/ICFP_2010_relative/4970.xml . 131.1 / 59.6 . 0.4 / 0.3
SRS_Relative/ICFP_2010_relative/4979.xml . 92.3 / 60.3 . 358.2 / 300.1
SRS_Relative/ICFP_2010_relative/4991.xml . 77.2 / 59.9 . 394.9 / 300.1
SRS_Relative/ICFP_2010_relative/5011.xml . 106.6 / 59.6 . 0.5 / 0.3
SRS_Relative/ICFP_2010_relative/5076.xml . 47.1 / 62.8 . 472.2 / 300.1
SRS_Relative/ICFP_2010_relative/5109.xml . 108.5 / 59.7 YES 180.6 / 55.0
SRS_Relative/ICFP_2010_relative/5130.xml . 120.5 / 60.4 YES 159.1 / 48.7
SRS_Relative/ICFP_2010_relative/54097.xml . 135.5 / 74.3 . 468.7 / 300.0
SRS_Relative/ICFP_2010_relative/63142.xml . 133.0 / 59.7 . 399.5 / 300.1
SRS_Relative/ICFP_2010_relative/64160.xml . 104.8 / 60.1 . 494.9 / 300.1
SRS_Relative/ICFP_2010_relative/88143.xml . 93.7 / 60.6 YES 58.3 / 33.3
SRS_Relative/ICFP_2010_relative/88172.xml . 80.1 / 59.8 . 492.6 / 300.1
SRS_Relative/ICFP_2010_relative/91242.xml . 103.5 / 61.1 . 341.9 / 300.0
SRS_Relative/ICFP_2010_relative/97888.xml . 113.9 / 63.1 . 337.2 / 300.1
SRS_Relative/ICFP_2010_relative/97901.xml . 116.3 / 67.3 . 462.7 / 300.1
SRS_Relative/ICFP_2010_relative/97917.xml . 86.8 / 82.6 . 338.8 / 300.0
SRS_Relative/ICFP_2010_relative/97929.xml . 134.7 / 63.0 . 447.7 / 300.0
SRS_Relative/Mixed_relative_SRS/dup02.xml . 100.4 / 59.4 YES 78.3 / 37.1
SRS_Relative/Mixed_relative_SRS/dup03.xml . 131.1 / 59.3 YES 65.9 / 21.5
SRS_Relative/Mixed_relative_SRS/dup04.xml . 126.8 / 60.5 YES 232.0 / 97.4
SRS_Relative/Mixed_relative_SRS/un01.xml . 93.4 / 59.8 YES 35.7 / 16.8
SRS_Relative/Mixed_relative_SRS/un03.xml . 117.9 / 59.3 . 559.7 / 300.1
SRS_Relative/Mixed_relative_SRS/zr01.xml YES 5.6 / 1.8 YES 7.4 / 3.4
SRS_Relative/Mixed_relative_SRS/zr02.xml YES 15.0 / 6.6 YES 9.8 / 5.0
SRS_Relative/Mixed_relative_SRS/zr02new.xml . 89.5 / 59.7 YES 12.2 / 16.6
SRS_Relative/Mixed_relative_SRS/zr03.xml YES 2.6 / 0.9 YES 4.1 / 9.8
SRS_Relative/Mixed_relative_SRS/zr04.xml . 131.7 / 59.3 YES 28.0 / 36.8
SRS_Relative/Mixed_relative_SRS/zr04new.xml . 116.7 / 59.3 YES 26.2 / 10.3
SRS_Relative/Mixed_relative_SRS/zr05.xml YES 8.1 / 1.9 YES 6.9 / 10.9
SRS_Relative/Mixed_relative_SRS/zr06.xml YES 7.1 / 3.3 YES 9.8 / 13.2
SRS_Relative/Mixed_relative_SRS/zr07.xml . 101.0 / 59.7 YES 19.4 / 18.1
SRS_Relative/Mixed_relative_SRS/zr08.xml YES 5.7 / 1.8 YES 11.5 / 12.8
SRS_Relative/Mixed_relative_SRS/zr09.xml YES 6.5 / 3.3 YES 8.1 / 10.4
SRS_Relative/Mixed_relative_SRS/zr10.xml YES 26.1 / 7.2 YES 18.9 / 13.0
SRS_Relative/Mixed_relative_SRS/zr11.xml . 93.7 / 59.3 YES 14.1 / 5.6
SRS_Relative/Mixed_relative_SRS/zr12.xml YES 12.8 / 2.2 YES 8.1 / 3.6
SRS_Relative/Mixed_relative_SRS/zr13.xml NO 1.9 / 1.7 NO 3.2 / 6.8
SRS_Relative/Waldmann_06_relative/r1.xml . 73.6 / 61.3 . 0.3 / 0.8
SRS_Relative/Waldmann_06_relative/r10.xml . 96.8 / 59.3 YES 476.0 / 135.8
SRS_Relative/Waldmann_06_relative/r2.xml YES 18.9 / 8.0 . 0.3 / 0.4
SRS_Relative/Waldmann_06_relative/r3.xml YES 4.1 / 1.3 YES 40.6 / 22.2
SRS_Relative/Waldmann_06_relative/r4.xml . 122.0 / 59.3 . 980.8 / 300.0
SRS_Relative/Waldmann_06_relative/r5.xml YES 15.5 / 4.4 YES 26.2 / 13.8
SRS_Relative/Waldmann_06_relative/r6.xml YES 13.8 / 4.0 YES 16.8 / 15.0
SRS_Relative/Waldmann_06_relative/r7.xml YES 12.9 / 6.2 YES 5.8 / 6.0
SRS_Relative/Waldmann_06_relative/r8.xml . 77.4 / 59.3 YES 27.4 / 11.4
SRS_Relative/Waldmann_06_relative/r9.xml . 68.6 / 59.6 YES 33.4 / 11.5
SRS_Relative/Waldmann_06_relative/rbeans.xml . 107.4 / 60.2 . 0.2 / 0.2
SRS_Relative/Zantema_06_relative/cars.xml . 63.9 / 60.0 . 661.6 / 300.1
SRS_Relative/Zantema_06_relative/rel01.xml YES 6.5 / 2.0 YES 8.0 / 3.6
SRS_Relative/Zantema_06_relative/rel02.xml . 117.6 / 59.3 YES 12.4 / 9.4
SRS_Relative/Zantema_06_relative/rel03.xml . 114.4 / 59.3 . 798.8 / 300.1
SRS_Relative/Zantema_06_relative/rel04.xml YES 23.7 / 6.6 YES 18.5 / 7.5
SRS_Relative/Zantema_06_relative/rel05.xml YES 9.4 / 3.9 YES 22.2 / 32.5
SRS_Relative/Zantema_06_relative/rel06.xml . 88.7 / 60.0 YES 41.5 / 14.9
SRS_Relative/Zantema_06_relative/rel07.xml . 85.6 / 59.6 . 869.9 / 300.1
SRS_Relative/Zantema_06_relative/rel08.xml . 109.9 / 59.7 YES 14.1 / 5.6
SRS_Relative/Zantema_06_relative/rel09.xml . 108.1 / 59.3 YES 37.9 / 21.2
SRS_Relative/Zantema_06_relative/rel10.xml YES 14.1 / 4.5 YES 28.2 / 14.3
SRS_Relative/Zantema_06_relative/rel11.xml . 131.5 / 59.3 . 670.5 / 300.1
SRS_Relative/Zantema_06_relative/rel12.xml . 131.6 / 59.3 . 864.4 / 300.0
SRS_Relative/Zantema_06_relative/rel13.xml YES 15.1 / 4.2 YES 7.7 / 3.2