Data shown here is incomplete. This page will refresh with updates pulled from star-exec.

Overview of job-results

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

Statistics

409 of 410 pairs, 28213.4 / 9718.3 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 15858
Solver AProVE standard f065806 ttt2-v1.16
Scores 77 27
SRS_Relative/ICFP_2010_relative/107220.xml . 56.9 / 30.1 . 70.8 / 30.2
SRS_Relative/ICFP_2010_relative/107236.xml . 115.5 / 30.1 . 73.6 / 30.1
SRS_Relative/ICFP_2010_relative/123759.xml . 115.1 / 30.1 . 78.0 / 30.2
SRS_Relative/ICFP_2010_relative/124211.xml . 115.4 / 30.1 . 78.1 / 30.2
SRS_Relative/ICFP_2010_relative/124269.xml . 114.9 / 30.1 . 78.4 / 30.2
SRS_Relative/ICFP_2010_relative/124791.xml . 102.1 / 30.1 . 45.0 / 30.2
SRS_Relative/ICFP_2010_relative/127538.xml YES 56.7 / 15.6 . 77.3 / 30.2
SRS_Relative/ICFP_2010_relative/128056.xml . 116.3 / 30.1 . 77.3 / 30.2
SRS_Relative/ICFP_2010_relative/128182.xml YES 42.6 / 11.9 . 77.2 / 30.1
SRS_Relative/ICFP_2010_relative/128280.xml YES 49.4 / 15.9 . 77.0 / 30.1
SRS_Relative/ICFP_2010_relative/128430.xml YES 49.7 / 20.6 . 72.9 / 30.2
SRS_Relative/ICFP_2010_relative/128486.xml YES 40.6 / 11.5 . 74.5 / 30.1
SRS_Relative/ICFP_2010_relative/128515.xml YES 59.3 / 18.1 . 69.3 / 30.1
SRS_Relative/ICFP_2010_relative/128550.xml YES 59.0 / 20.2 . 76.8 / 30.1
SRS_Relative/ICFP_2010_relative/128620.xml YES 46.0 / 15.5 . 68.2 / 30.3
SRS_Relative/ICFP_2010_relative/128691.xml not finished . 77.0 / 30.1
SRS_Relative/ICFP_2010_relative/131633.xml . 115.8 / 30.2 . 75.2 / 30.1
SRS_Relative/ICFP_2010_relative/131982.xml . 101.1 / 30.0 . 78.1 / 30.1
SRS_Relative/ICFP_2010_relative/132235.xml . 116.5 / 30.1 . 78.3 / 30.2
SRS_Relative/ICFP_2010_relative/132478.xml YES 66.0 / 20.5 . 76.9 / 30.1
SRS_Relative/ICFP_2010_relative/132540.xml YES 49.4 / 13.4 . 77.1 / 30.2
SRS_Relative/ICFP_2010_relative/132622.xml YES 50.8 / 13.5 . 77.0 / 30.1
SRS_Relative/ICFP_2010_relative/132720.xml YES 44.8 / 12.0 . 76.8 / 30.1
SRS_Relative/ICFP_2010_relative/132738.xml YES 39.7 / 10.9 . 77.1 / 30.2
SRS_Relative/ICFP_2010_relative/132782.xml YES 38.6 / 13.1 . 77.3 / 30.2
SRS_Relative/ICFP_2010_relative/132833.xml YES 56.2 / 14.9 . 77.5 / 30.2
SRS_Relative/ICFP_2010_relative/132864.xml YES 41.4 / 14.0 . 77.3 / 30.2
SRS_Relative/ICFP_2010_relative/132920.xml YES 37.4 / 10.3 . 77.5 / 30.2
SRS_Relative/ICFP_2010_relative/132957.xml YES 44.7 / 12.6 . 74.5 / 30.2
SRS_Relative/ICFP_2010_relative/132969.xml . 101.9 / 30.1 . 77.8 / 30.1
SRS_Relative/ICFP_2010_relative/133010.xml YES 46.5 / 18.4 . 72.4 / 30.2
SRS_Relative/ICFP_2010_relative/133159.xml . 78.9 / 30.1 . 57.7 / 30.2
SRS_Relative/ICFP_2010_relative/133486.xml . 65.7 / 30.1 . 74.6 / 30.1
SRS_Relative/ICFP_2010_relative/133881.xml . 115.6 / 30.1 . 73.3 / 30.1
SRS_Relative/ICFP_2010_relative/134918.xml . 101.3 / 30.1 . 71.0 / 30.2
SRS_Relative/ICFP_2010_relative/135115.xml . 90.2 / 30.1 . 78.2 / 30.2
SRS_Relative/ICFP_2010_relative/135328.xml . 101.8 / 30.1 . 50.9 / 30.3
SRS_Relative/ICFP_2010_relative/135604.xml . 79.0 / 30.1 . 78.0 / 30.2
SRS_Relative/ICFP_2010_relative/135652.xml . 115.7 / 30.1 . 79.0 / 30.2
SRS_Relative/ICFP_2010_relative/135782.xml . 116.5 / 30.1 . 86.3 / 30.2
SRS_Relative/ICFP_2010_relative/135936.xml . 115.3 / 30.1 . 78.3 / 30.2
SRS_Relative/ICFP_2010_relative/136051.xml . 75.6 / 30.1 . 52.6 / 30.2
SRS_Relative/ICFP_2010_relative/136562.xml . 116.2 / 30.1 . 78.3 / 30.2
SRS_Relative/ICFP_2010_relative/136623.xml . 98.6 / 30.1 . 78.1 / 30.1
SRS_Relative/ICFP_2010_relative/137404.xml . 102.5 / 30.1 . 78.3 / 30.2
SRS_Relative/ICFP_2010_relative/137809.xml . 90.5 / 30.1 . 75.2 / 30.1
SRS_Relative/ICFP_2010_relative/138194.xml . 116.5 / 30.1 . 78.2 / 30.1
SRS_Relative/ICFP_2010_relative/138269.xml . 74.8 / 30.0 . 78.0 / 30.1
SRS_Relative/ICFP_2010_relative/138330.xml . 113.7 / 30.0 . 77.9 / 30.2
SRS_Relative/ICFP_2010_relative/138477.xml . 80.6 / 30.1 . 78.1 / 30.1
SRS_Relative/ICFP_2010_relative/138993.xml YES 43.2 / 12.2 . 72.3 / 30.2
SRS_Relative/ICFP_2010_relative/139004.xml YES 50.4 / 13.7 . 68.9 / 30.2
SRS_Relative/ICFP_2010_relative/139018.xml YES 45.5 / 12.5 . 76.8 / 30.2
SRS_Relative/ICFP_2010_relative/139025.xml YES 38.9 / 10.6 . 74.5 / 30.2
SRS_Relative/ICFP_2010_relative/139036.xml YES 50.0 / 13.7 . 77.7 / 30.2
SRS_Relative/ICFP_2010_relative/139100.xml YES 43.4 / 14.5 . 68.7 / 30.1
SRS_Relative/ICFP_2010_relative/139163.xml YES 64.3 / 23.6 . 77.7 / 30.2
SRS_Relative/ICFP_2010_relative/139167.xml YES 56.6 / 15.2 . 61.7 / 30.2
SRS_Relative/ICFP_2010_relative/139174.xml YES 41.6 / 11.3 . 73.3 / 30.2
SRS_Relative/ICFP_2010_relative/139180.xml YES 68.4 / 18.2 . 67.5 / 30.2
SRS_Relative/ICFP_2010_relative/139185.xml YES 51.3 / 14.3 . 77.0 / 30.2
SRS_Relative/ICFP_2010_relative/139190.xml YES 38.2 / 10.7 . 77.6 / 30.2
SRS_Relative/ICFP_2010_relative/139214.xml YES 48.3 / 13.3 . 72.5 / 30.1
SRS_Relative/ICFP_2010_relative/139236.xml YES 40.5 / 11.6 . 49.6 / 30.2
SRS_Relative/ICFP_2010_relative/139256.xml YES 50.8 / 13.9 . 77.2 / 30.1
SRS_Relative/ICFP_2010_relative/139282.xml YES 50.3 / 14.0 . 73.2 / 30.2
SRS_Relative/ICFP_2010_relative/139310.xml YES 44.4 / 15.4 . 70.5 / 30.3
SRS_Relative/ICFP_2010_relative/139378.xml YES 48.5 / 15.7 . 77.2 / 30.2
SRS_Relative/ICFP_2010_relative/140287.xml . 61.6 / 30.1 . 74.4 / 30.2
SRS_Relative/ICFP_2010_relative/140318.xml YES 51.2 / 17.2 . 76.9 / 30.2
SRS_Relative/ICFP_2010_relative/140359.xml YES 45.4 / 12.2 . 77.0 / 30.1
SRS_Relative/ICFP_2010_relative/140631.xml . 94.0 / 30.1 . 73.7 / 30.1
SRS_Relative/ICFP_2010_relative/140639.xml . 116.0 / 30.1 . 78.9 / 30.2
SRS_Relative/ICFP_2010_relative/140649.xml . 115.9 / 30.1 . 78.4 / 30.1
SRS_Relative/ICFP_2010_relative/140654.xml . 115.5 / 30.1 . 79.0 / 30.2
SRS_Relative/ICFP_2010_relative/140659.xml . 114.7 / 30.1 . 74.7 / 30.1
SRS_Relative/ICFP_2010_relative/140664.xml . 116.3 / 30.1 . 79.4 / 30.2
SRS_Relative/ICFP_2010_relative/142142.xml . 95.5 / 30.1 . 69.6 / 30.2
SRS_Relative/ICFP_2010_relative/142146.xml YES 62.8 / 21.1 . 74.3 / 30.1
SRS_Relative/ICFP_2010_relative/142150.xml . 116.9 / 30.1 . 73.8 / 30.2
SRS_Relative/ICFP_2010_relative/142157.xml . 115.8 / 30.1 . 73.9 / 30.2
SRS_Relative/ICFP_2010_relative/3268.xml . 114.3 / 30.1 . 68.2 / 30.1
SRS_Relative/ICFP_2010_relative/3336.xml . 0.6 / 0.4 . 22.5 / 7.4
SRS_Relative/ICFP_2010_relative/3385.xml . 115.5 / 30.1 . 79.6 / 30.1
SRS_Relative/ICFP_2010_relative/3450.xml . 114.4 / 30.1 . 80.3 / 30.1
SRS_Relative/ICFP_2010_relative/3467.xml . 113.7 / 30.1 . 62.4 / 30.1
SRS_Relative/ICFP_2010_relative/3498.xml . 114.3 / 30.1 . 79.6 / 30.1
SRS_Relative/ICFP_2010_relative/3533.xml . 86.2 / 30.1 . 79.0 / 30.1
SRS_Relative/ICFP_2010_relative/3562.xml . 98.0 / 30.1 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/3589.xml . 114.5 / 30.1 . 74.9 / 30.1
SRS_Relative/ICFP_2010_relative/3633.xml . 100.6 / 30.1 . 79.1 / 30.1
SRS_Relative/ICFP_2010_relative/3680.xml YES 85.9 / 22.7 . 79.6 / 30.1
SRS_Relative/ICFP_2010_relative/3705.xml . 100.9 / 30.1 . 79.1 / 30.1
SRS_Relative/ICFP_2010_relative/3729.xml . 96.2 / 30.1 . 79.5 / 30.1
SRS_Relative/ICFP_2010_relative/3746.xml . 100.0 / 30.1 . 79.4 / 30.1
SRS_Relative/ICFP_2010_relative/3762.xml . 116.3 / 30.1 . 70.9 / 30.1
SRS_Relative/ICFP_2010_relative/3770.xml . 112.5 / 30.1 . 74.5 / 30.1
SRS_Relative/ICFP_2010_relative/3786.xml . 70.5 / 30.1 . 58.4 / 30.2
SRS_Relative/ICFP_2010_relative/3817.xml . 101.6 / 30.1 . 78.8 / 30.1
SRS_Relative/ICFP_2010_relative/3831.xml . 84.7 / 30.1 . 76.0 / 30.1
SRS_Relative/ICFP_2010_relative/3842.xml . 99.4 / 30.1 . 74.4 / 30.1
SRS_Relative/ICFP_2010_relative/3856.xml REJECTED-YES 115.9 / 30.1 . 75.0 / 30.1
SRS_Relative/ICFP_2010_relative/3861.xml . 98.3 / 30.1 . 74.3 / 30.1
SRS_Relative/ICFP_2010_relative/3865.xml . 100.1 / 30.1 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/3916.xml . 0.5 / 0.3 . 22.4 / 7.5
SRS_Relative/ICFP_2010_relative/3930.xml . 64.8 / 30.1 . 76.6 / 30.2
SRS_Relative/ICFP_2010_relative/3939.xml . 98.7 / 30.0 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/3989.xml . 100.7 / 30.1 . 74.8 / 30.1
SRS_Relative/ICFP_2010_relative/3995.xml . 116.6 / 30.1 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/4002.xml . 116.1 / 30.1 . 76.1 / 30.1
SRS_Relative/ICFP_2010_relative/4017.xml . 115.9 / 30.1 . 78.8 / 30.1
SRS_Relative/ICFP_2010_relative/4029.xml . 115.2 / 30.1 . 79.1 / 30.1
SRS_Relative/ICFP_2010_relative/4036.xml . 115.7 / 30.0 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/4046.xml . 0.5 / 0.3 . 20.0 / 7.5
SRS_Relative/ICFP_2010_relative/4051.xml . 115.8 / 30.1 . 68.5 / 30.1
SRS_Relative/ICFP_2010_relative/4057.xml . 114.8 / 30.1 . 79.1 / 30.1
SRS_Relative/ICFP_2010_relative/4074.xml . 114.8 / 30.1 . 79.4 / 30.1
SRS_Relative/ICFP_2010_relative/4106.xml . 115.1 / 30.1 . 74.2 / 30.1
SRS_Relative/ICFP_2010_relative/41378.xml . 98.1 / 30.1 . 56.9 / 30.2
SRS_Relative/ICFP_2010_relative/4141.xml . 115.5 / 30.1 . 76.2 / 30.1
SRS_Relative/ICFP_2010_relative/4157.xml . 101.2 / 30.1 . 74.6 / 30.2
SRS_Relative/ICFP_2010_relative/4181.xml . 96.4 / 30.1 . 74.2 / 30.1
SRS_Relative/ICFP_2010_relative/4200.xml . 100.4 / 30.1 . 79.1 / 30.1
SRS_Relative/ICFP_2010_relative/4248.xml . 100.8 / 30.1 . 74.5 / 30.1
SRS_Relative/ICFP_2010_relative/4282.xml . 115.6 / 30.1 . 71.3 / 30.2
SRS_Relative/ICFP_2010_relative/4374.xml . 99.3 / 30.1 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/4412.xml . 96.3 / 30.1 . 74.2 / 30.1
SRS_Relative/ICFP_2010_relative/4484.xml . 83.3 / 30.1 . 79.0 / 30.1
SRS_Relative/ICFP_2010_relative/4487.xml . 75.4 / 30.1 . 54.4 / 30.2
SRS_Relative/ICFP_2010_relative/4816.xml . 115.7 / 30.1 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/4819.xml YES 88.8 / 28.3 . 79.4 / 30.1
SRS_Relative/ICFP_2010_relative/4824.xml . 85.3 / 30.0 . 75.2 / 30.2
SRS_Relative/ICFP_2010_relative/4827.xml . 74.8 / 30.1 . 79.1 / 30.1
SRS_Relative/ICFP_2010_relative/4840.xml . 71.6 / 30.1 . 46.1 / 30.2
SRS_Relative/ICFP_2010_relative/4847.xml . 98.1 / 30.1 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/4854.xml . 115.2 / 30.1 . 74.3 / 30.1
SRS_Relative/ICFP_2010_relative/4893.xml . 114.6 / 30.1 . 52.6 / 30.1
SRS_Relative/ICFP_2010_relative/4920.xml . 100.7 / 30.1 . 79.3 / 30.1
SRS_Relative/ICFP_2010_relative/4934.xml . 116.2 / 30.1 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/4938.xml . 115.7 / 30.1 . 80.0 / 30.1
SRS_Relative/ICFP_2010_relative/4943.xml . 114.0 / 30.1 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/4953.xml . 115.7 / 30.1 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/4964.xml . 115.6 / 30.1 . 79.9 / 30.1
SRS_Relative/ICFP_2010_relative/4970.xml . 0.6 / 0.4 . 22.5 / 7.5
SRS_Relative/ICFP_2010_relative/4979.xml . 115.6 / 30.1 . 79.5 / 30.2
SRS_Relative/ICFP_2010_relative/4991.xml . 114.6 / 30.1 . 79.3 / 30.1
SRS_Relative/ICFP_2010_relative/5011.xml . 0.5 / 0.3 . 19.0 / 7.6
SRS_Relative/ICFP_2010_relative/5076.xml . 115.0 / 30.1 . 75.3 / 30.1
SRS_Relative/ICFP_2010_relative/5109.xml . 87.3 / 30.2 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/5130.xml . 98.0 / 30.1 . 79.3 / 30.1
SRS_Relative/ICFP_2010_relative/54097.xml . 116.0 / 30.1 . 60.2 / 30.1
SRS_Relative/ICFP_2010_relative/63142.xml . 115.1 / 30.1 . 74.1 / 30.1
SRS_Relative/ICFP_2010_relative/64160.xml . 113.8 / 30.1 . 79.2 / 30.1
SRS_Relative/ICFP_2010_relative/88143.xml YES 50.4 / 16.2 . 76.2 / 30.1
SRS_Relative/ICFP_2010_relative/88172.xml . 115.8 / 30.1 . 79.3 / 30.1
SRS_Relative/ICFP_2010_relative/91242.xml . 113.9 / 30.1 . 72.3 / 30.1
SRS_Relative/ICFP_2010_relative/97888.xml . 95.8 / 30.1 . 71.4 / 30.2
SRS_Relative/ICFP_2010_relative/97901.xml . 99.4 / 30.1 . 70.9 / 30.2
SRS_Relative/ICFP_2010_relative/97917.xml . 113.6 / 30.0 . 68.9 / 30.2
SRS_Relative/ICFP_2010_relative/97929.xml . 114.2 / 30.1 . 70.8 / 30.2
SRS_Relative/Mixed_relative_SRS/dup02.xml YES 65.8 / 17.8 . 79.6 / 30.1
SRS_Relative/Mixed_relative_SRS/dup03.xml YES 60.6 / 25.0 YES 11.4 / 3.5
SRS_Relative/Mixed_relative_SRS/dup04.xml . 102.3 / 30.0 . 79.5 / 30.1
SRS_Relative/Mixed_relative_SRS/un01.xml YES 20.4 / 5.9 . 79.6 / 30.1
SRS_Relative/Mixed_relative_SRS/un03.xml . 114.6 / 30.1 . 74.5 / 30.1
SRS_Relative/Mixed_relative_SRS/zr01.xml YES 8.3 / 2.9 YES 3.6 / 1.1
SRS_Relative/Mixed_relative_SRS/zr02.xml YES 10.4 / 3.4 YES 8.4 / 2.3
SRS_Relative/Mixed_relative_SRS/zr02new.xml YES 21.1 / 10.1 YES 14.3 / 3.8
SRS_Relative/Mixed_relative_SRS/zr03.xml YES 3.8 / 1.8 YES 1.3 / 0.5
SRS_Relative/Mixed_relative_SRS/zr04.xml YES 33.0 / 14.2 . 76.3 / 30.1
SRS_Relative/Mixed_relative_SRS/zr04new.xml YES 26.3 / 7.9 . 68.4 / 30.2
SRS_Relative/Mixed_relative_SRS/zr05.xml YES 4.9 / 2.0 YES 1.7 / 0.6
SRS_Relative/Mixed_relative_SRS/zr06.xml YES 6.2 / 3.7 YES 2.2 / 0.8
SRS_Relative/Mixed_relative_SRS/zr07.xml YES 11.5 / 5.6 YES 3.4 / 1.1
SRS_Relative/Mixed_relative_SRS/zr08.xml YES 9.5 / 3.9 YES 5.5 / 1.7
SRS_Relative/Mixed_relative_SRS/zr09.xml YES 6.9 / 2.6 YES 2.4 / 0.9
SRS_Relative/Mixed_relative_SRS/zr10.xml YES 15.1 / 5.9 YES 5.0 / 1.6
SRS_Relative/Mixed_relative_SRS/zr11.xml YES 8.9 / 3.0 YES 4.4 / 1.3
SRS_Relative/Mixed_relative_SRS/zr12.xml YES 8.0 / 3.5 YES 2.8 / 1.1
SRS_Relative/Mixed_relative_SRS/zr13.xml NO 3.1 / 1.5 NO 1.4 / 0.5
SRS_Relative/Waldmann_06_relative/r1.xml . 0.3 / 0.3 . 7.8 / 7.2
SRS_Relative/Waldmann_06_relative/r10.xml . 114.0 / 29.9 . 79.6 / 30.1
SRS_Relative/Waldmann_06_relative/r2.xml . 0.3 / 0.3 . 8.7 / 7.2
SRS_Relative/Waldmann_06_relative/r3.xml YES 33.0 / 11.0 YES 2.7 / 0.9
SRS_Relative/Waldmann_06_relative/r4.xml . 114.6 / 30.1 . 79.3 / 30.1
SRS_Relative/Waldmann_06_relative/r5.xml YES 18.5 / 5.6 YES 4.1 / 1.3
SRS_Relative/Waldmann_06_relative/r6.xml YES 10.0 / 3.3 YES 4.8 / 1.4
SRS_Relative/Waldmann_06_relative/r7.xml YES 7.8 / 3.3 YES 3.6 / 1.2
SRS_Relative/Waldmann_06_relative/r8.xml YES 18.8 / 6.8 YES 7.3 / 2.0
SRS_Relative/Waldmann_06_relative/r9.xml YES 26.9 / 9.1 YES 6.1 / 2.0
SRS_Relative/Waldmann_06_relative/rbeans.xml . 0.3 / 0.3 . 8.7 / 7.2
SRS_Relative/Zantema_06_relative/cars.xml . 60.7 / 30.1 . 79.6 / 30.1
SRS_Relative/Zantema_06_relative/rel01.xml YES 5.9 / 2.4 YES 3.6 / 1.1
SRS_Relative/Zantema_06_relative/rel02.xml YES 12.0 / 3.9 . 77.2 / 30.1
SRS_Relative/Zantema_06_relative/rel03.xml . 115.3 / 29.9 . 76.2 / 30.1
SRS_Relative/Zantema_06_relative/rel04.xml YES 10.9 / 4.3 YES 8.3 / 1.3
SRS_Relative/Zantema_06_relative/rel05.xml YES 14.9 / 4.7 YES 4.3 / 1.3
SRS_Relative/Zantema_06_relative/rel06.xml YES 44.6 / 17.8 . 65.9 / 30.1
SRS_Relative/Zantema_06_relative/rel07.xml . 100.6 / 30.0 . 79.2 / 30.1
SRS_Relative/Zantema_06_relative/rel08.xml YES 19.6 / 4.0 YES 13.9 / 3.8
SRS_Relative/Zantema_06_relative/rel09.xml YES 29.2 / 14.5 YES 8.6 / 2.5
SRS_Relative/Zantema_06_relative/rel10.xml YES 28.4 / 9.5 YES 5.4 / 2.3
SRS_Relative/Zantema_06_relative/rel11.xml . 92.0 / 30.1 . 76.0 / 30.1
SRS_Relative/Zantema_06_relative/rel12.xml . 114.2 / 29.6 . 79.6 / 30.0
SRS_Relative/Zantema_06_relative/rel13.xml YES 10.0 / 3.3 YES 8.4 / 2.5