TermCOMP 2021: SRS Relative 47874 Job info CSV 47873 Job info CSV Showing results.

benchmark NaTT 2.1 default ttt2-1.20 ttt2 matchbox-2021-06-18b tc21-rel.sh AProVE21 standard MnM 3.18a default ttt2-1.20 ttt2_cert AProVE21 certified
ICFP_2010_relative/132738.xml 13155835 i timeout (wallclock) MAYBE 937.61/300.19 YES 22.44/9.67 YES 47.82/12.96 YES 7.86/2.68 MAYBE 30.76/33.30 YES 56.28/15.30 ✔ 14.86
ICFP_2010_relative/137809.xml 13155836 is timeout (wallclock) MAYBE 937.49/299.99 timeout (wallclock) timeout (wallclock) YES 19.33/6.03 MAYBE 30.89/33.46 timeout (wallclock)
ICFP_2010_relative/3467.xml 13155837 i timeout (wallclock) MAYBE 937.28/299.59 YES 15.89/6.63 timeout (wallclock) YES 8.90/2.81 MAYBE 30.24/32.65 timeout (wallclock)
ICFP_2010_relative/3770.xml 13155838 u timeout (wallclock) MAYBE 936.27/300.07 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.19/32.89 MAYBE 1161.12/295.95
ICFP_2010_relative/4819.xml 13155839 i timeout (wallclock) MAYBE 931.68/299.50 YES 15.89/6.15 YES 68.34/18.09 YES 8.46/2.93 MAYBE 30.06/32.60 YES 78.83/20.78 ✔ 18.51
ICFP_2010_relative/139025.xml 13155840 i timeout (wallclock) MAYBE 937.69/300.39 YES 20.55/8.74 YES 52.97/14.27 YES 7.53/2.40 MAYBE 30.84/33.28 YES 54.59/14.84 ✔ 15.81
ICFP_2010_relative/3995.xml 13155841 i timeout (wallclock) MAYBE 937.05/299.54 YES 19.03/7.74 timeout (wallclock) YES 9.41/3.06 MAYBE 30.17/32.62 timeout (wallclock)
ICFP_2010_relative/3705.xml 13155842 is timeout (wallclock) MAYBE 935.61/299.64 timeout (wallclock) timeout (wallclock) YES 278.15/89.03 MAYBE 30.18/32.67 timeout (wallclock)
ICFP_2010_relative/5011.xml 13155843 u MAYBE 0.95/0.98 MAYBE 653.46/299.55 timeout (wallclock) MAYBE 1.19/0.66 timeout (wallclock) MAYBE 22.60/7.52 MAYBE 1.29/0.66
ICFP_2010_relative/4934.xml 13155844 u timeout (wallclock) MAYBE 937.06/299.62 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.14/32.65 timeout (wallclock)
ICFP_2010_relative/139174.xml 13155845 i timeout (wallclock) MAYBE 937.64/300.15 YES 21.17/9.06 YES 62.13/16.69 YES 7.99/2.48 MAYBE 30.87/33.47 YES 54.65/14.86 ✔ 17.45
ICFP_2010_relative/139190.xml 13155846 i timeout (wallclock) MAYBE 937.26/300.16 YES 26.93/11.31 YES 50.05/13.50 YES 8.50/2.65 MAYBE 30.79/33.29 YES 48.28/13.11 ✔ 12.61
ICFP_2010_relative/139256.xml 13155847 i timeout (wallclock) MAYBE 937.50/300.17 YES 21.28/9.16 YES 68.82/18.72 YES 9.01/2.79 MAYBE 30.83/33.30 YES 83.48/26.58 ✔ 26.26
ICFP_2010_relative/4036.xml 13155848 i timeout (wallclock) MAYBE 936.79/299.59 YES 45.46/19.18 YES 110.55/33.44 YES 8.53/3.80 MAYBE 30.17/32.63 YES 108.39/28.26 ✔ 19.89
ICFP_2010_relative/128550.xml 13155849 i timeout (wallclock) MAYBE 937.54/300.15 YES 26.53/11.11 YES 96.19/26.06 YES 8.22/2.66 MAYBE 30.88/33.31 YES 79.32/21.11 ✔ 19.77
ICFP_2010_relative/5109.xml 13155850 i timeout (wallclock) MAYBE 854.12/300.00 YES 24.10/10.03 YES 74.42/19.66 YES 8.11/2.51 MAYBE 30.17/32.66 YES 88.79/23.42 ✔ 23.47
ICFP_2010_relative/128691.xml 13155851 i timeout (wallclock) MAYBE 937.66/300.16 YES 21.64/9.34 YES 57.18/15.34 YES 31.12/10.08 MAYBE 30.82/33.30 YES 55.42/15.56 ✔ 17.31
ICFP_2010_relative/140659.xml 13155852 u timeout (wallclock) MAYBE 937.55/299.95 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.52/33.00 timeout (wallclock)
ICFP_2010_relative/3831.xml 13155853 i timeout (wallclock) MAYBE 936.52/299.64 YES 19.91/8.13 YES 83.27/21.75 YES 8.03/2.60 MAYBE 30.15/32.63 YES 81.36/21.44 ✔ 15.44
ICFP_2010_relative/4029.xml 13155854 i timeout (wallclock) MAYBE 937.08/299.56 YES 45.18/19.47 timeout (wallclock) YES 549.81/176.20 MAYBE 30.27/32.69 timeout (wallclock)
ICFP_2010_relative/138194.xml 13155855 is timeout (wallclock) MAYBE 937.58/299.92 timeout (wallclock) timeout (wallclock) YES 60.54/19.39 MAYBE 30.94/33.17 timeout (wallclock)
ICFP_2010_relative/133881.xml 13155856 i timeout (wallclock) MAYBE 937.52/300.01 YES 25.14/10.83 timeout (wallclock) YES 17.07/5.41 MAYBE 30.72/33.20 timeout (wallclock)
ICFP_2010_relative/123759.xml 13155857 is timeout (wallclock) MAYBE 793.18/299.99 timeout (wallclock) timeout (wallclock) YES 18.66/5.80 MAYBE 30.72/33.18 timeout (wallclock)
ICFP_2010_relative/132720.xml 13155858 i timeout (wallclock) MAYBE 937.57/300.16 YES 26.18/11.04 YES 60.24/16.11 YES 9.49/3.08 MAYBE 30.87/33.34 YES 54.71/14.78 ✔ 17.82
ICFP_2010_relative/138269.xml 13155859 i timeout (wallclock) MAYBE 793.14/299.99 YES 34.78/15.13 timeout (wallclock) YES 19.52/6.04 MAYBE 30.92/33.27 timeout (wallclock)
ICFP_2010_relative/142142.xml 13155860 is timeout (wallclock) MAYBE 937.64/299.93 YES 83.61/36.45 timeout (wallclock) timeout (wallclock) MAYBE 30.45/33.03 timeout (wallclock)
ICFP_2010_relative/133486.xml 13155861 is timeout (wallclock) MAYBE 936.78/299.92 timeout (wallclock) timeout (wallclock) YES 49.20/15.59 MAYBE 30.82/33.23 timeout (wallclock)
ICFP_2010_relative/128486.xml 13155862 i timeout (wallclock) MAYBE 937.56/300.10 YES 26.13/10.96 YES 64.70/17.18 YES 8.27/2.71 MAYBE 30.82/33.34 YES 55.15/14.86 ✔ 14.70
ICFP_2010_relative/4282.xml 13155863 i timeout (wallclock) MAYBE 821.55/299.56 YES 18.44/7.46 timeout (wallclock) YES 7.50/2.53 MAYBE 30.01/32.63 timeout (wallclock)
ICFP_2010_relative/140649.xml 13155864 u timeout (wallclock) MAYBE 937.35/299.95 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.49/33.03 timeout (wallclock)
ICFP_2010_relative/132235.xml 13155865 i timeout (wallclock) MAYBE 790.52/299.98 YES 36.72/16.31 timeout (wallclock) YES 33.62/10.64 MAYBE 30.71/33.23 timeout (wallclock)
ICFP_2010_relative/139018.xml 13155866 i timeout (wallclock) MAYBE 937.45/300.15 YES 26.73/11.31 YES 55.88/15.16 YES 7.57/2.37 MAYBE 30.88/33.32 YES 51.91/14.27 ✔ 18.02
ICFP_2010_relative/4487.xml 13155867 i timeout (wallclock) MAYBE 936.20/299.54 YES 23.43/9.81 timeout (wallclock) YES 8.69/2.76 MAYBE 30.21/32.59 timeout (wallclock)
ICFP_2010_relative/4824.xml 13155868 i timeout (wallclock) MAYBE 936.27/299.50 YES 59.33/25.06 timeout (wallclock) YES 18.43/5.35 MAYBE 30.11/32.66 timeout (wallclock)
ICFP_2010_relative/97929.xml 13155869 u timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 31.90/34.34 timeout (wallclock)
ICFP_2010_relative/4002.xml 13155870 u timeout (wallclock) MAYBE 884.12/299.55 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.07/32.61 timeout (wallclock)
ICFP_2010_relative/4816.xml 13155871 i timeout (wallclock) MAYBE 936.88/299.58 YES 20.57/8.42 YES 151.59/39.05 YES 8.73/2.65 MAYBE 30.14/32.65 YES 152.66/39.40 ✔ 17.59
ICFP_2010_relative/63142.xml 13155872 i timeout (wallclock) MAYBE 842.87/299.63 YES 257.92/115.90 timeout (wallclock) YES 55.64/14.73 MAYBE 29.99/32.65 timeout (wallclock)
ICFP_2010_relative/3939.xml 13155873 i timeout (wallclock) MAYBE 937.12/299.56 YES 22.39/9.34 timeout (wallclock) YES 9.17/2.82 MAYBE 30.00/32.61 MAYBE 1172.51/298.59
ICFP_2010_relative/135115.xml 13155874 is timeout (wallclock) MAYBE 937.47/300.01 timeout (wallclock) timeout (wallclock) YES 17.91/7.30 MAYBE 30.72/33.19 timeout (wallclock)
ICFP_2010_relative/3861.xml 13155875 i timeout (wallclock) MAYBE 937.23/299.56 YES 296.24/129.62 timeout (wallclock) YES 66.66/20.72 MAYBE 30.14/32.61 timeout (wallclock)
ICFP_2010_relative/135328.xml 13155876 is timeout (wallclock) MAYBE 937.18/300.03 timeout (wallclock) timeout (wallclock) YES 20.44/6.15 MAYBE 30.95/33.23 timeout (wallclock)
ICFP_2010_relative/4991.xml 13155877 u timeout (wallclock) MAYBE 937.02/299.57 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.16/32.62 timeout (wallclock)
ICFP_2010_relative/139100.xml 13155878 i timeout (wallclock) MAYBE 937.51/300.14 YES 26.18/11.10 YES 68.50/18.45 YES 9.04/2.80 MAYBE 30.87/33.32 YES 62.80/16.79 ✔ 15.43
ICFP_2010_relative/88172.xml 13155879 i timeout (wallclock) MAYBE 937.28/299.58 YES 30.98/12.92 timeout (wallclock) YES 7.17/2.19 MAYBE 30.34/32.66 MAYBE 1175.08/299.32
ICFP_2010_relative/3930.xml 13155880 is timeout (wallclock) MAYBE 937.33/299.56 timeout (wallclock) timeout (wallclock) YES 50.68/15.79 MAYBE 30.13/32.65 timeout (wallclock)
ICFP_2010_relative/132969.xml 13155881 i timeout (wallclock) MAYBE 937.48/299.99 YES 35.11/15.57 timeout (wallclock) YES 20.87/6.43 MAYBE 30.81/33.21 timeout (wallclock)
ICFP_2010_relative/138330.xml 13155882 i timeout (wallclock) MAYBE 790.95/299.96 YES 35.13/15.35 timeout (wallclock) YES 22.00/6.88 MAYBE 30.80/33.25 timeout (wallclock)
ICFP_2010_relative/132782.xml 13155883 i timeout (wallclock) MAYBE 937.32/300.12 YES 21.40/9.08 YES 48.48/13.26 YES 7.69/2.52 MAYBE 30.81/33.30 YES 48.24/13.24 ✔ 17.33
ICFP_2010_relative/139163.xml 13155884 i timeout (wallclock) MAYBE 937.10/300.13 YES 167.36/71.69 YES 84.58/22.24 YES 157.07/51.05 MAYBE 30.80/33.30 YES 92.67/24.45 ✔ 37.13
ICFP_2010_relative/140664.xml 13155885 u timeout (wallclock) MAYBE 937.28/299.94 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.51/33.02 timeout (wallclock)
ICFP_2010_relative/124211.xml 13155886 i timeout (wallclock) MAYBE 791.17/299.91 YES 35.66/15.74 timeout (wallclock) YES 16.36/5.15 MAYBE 30.84/33.21 timeout (wallclock)
ICFP_2010_relative/131633.xml 13155887 is timeout (wallclock) MAYBE 937.45/300.02 timeout (wallclock) timeout (wallclock) YES 34.84/11.05 MAYBE 30.94/33.23 MAYBE 1179.54/300.75
ICFP_2010_relative/3842.xml 13155888 i timeout (wallclock) MAYBE 936.84/299.60 YES 307.14/130.43 timeout (wallclock) YES 19.02/5.49 MAYBE 30.17/32.67 timeout (wallclock)
ICFP_2010_relative/139180.xml 13155889 i timeout (wallclock) MAYBE 937.63/300.10 YES 26.77/11.26 YES 95.11/24.79 YES 6.73/2.23 MAYBE 30.73/33.28 YES 97.36/25.67 ✔ 28.46
ICFP_2010_relative/132478.xml 13155890 i timeout (wallclock) MAYBE 937.60/300.14 YES 21.32/9.12 YES 79.45/26.44 YES 7.93/2.54 MAYBE 30.61/33.24 YES 81.62/23.41 ✔ 18.82
ICFP_2010_relative/128182.xml 13155891 i timeout (wallclock) MAYBE 936.82/300.09 YES 28.65/12.27 YES 44.70/12.13 YES 7.11/2.29 MAYBE 30.88/33.24 YES 50.31/13.73 ✔ 12.90
ICFP_2010_relative/4964.xml 13155892 is timeout (wallclock) MAYBE 935.58/299.55 timeout (wallclock) timeout (wallclock) YES 16.47/4.93 MAYBE 30.12/32.61 timeout (wallclock)
ICFP_2010_relative/4840.xml 13155893 u timeout (wallclock) MAYBE 936.88/299.52 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.21/32.65 timeout (wallclock)
ICFP_2010_relative/132920.xml 13155894 i timeout (wallclock) MAYBE 937.55/300.13 YES 20.61/8.78 YES 50.23/13.53 YES 10.77/3.49 MAYBE 30.94/33.27 YES 48.38/13.29 ✔ 12.77
ICFP_2010_relative/4847.xml 13155895 is timeout (wallclock) MAYBE 936.89/299.57 timeout (wallclock) timeout (wallclock) YES 436.76/139.54 MAYBE 30.15/32.63 timeout (wallclock)
ICFP_2010_relative/3729.xml 13155896 i timeout (wallclock) MAYBE 936.79/299.57 YES 20.34/8.43 timeout (wallclock) YES 8.66/2.76 MAYBE 30.18/32.67 timeout (wallclock)
ICFP_2010_relative/139310.xml 13155897 i timeout (wallclock) MAYBE 937.15/300.16 YES 24.37/10.18 YES 55.56/14.98 YES 7.13/2.48 MAYBE 30.84/33.30 YES 56.28/15.19 ✔ 13.91
ICFP_2010_relative/136051.xml 13155898 i timeout (wallclock) MAYBE 792.58/299.92 YES 26.43/11.39 timeout (wallclock) YES 19.97/6.33 MAYBE 30.90/33.20 timeout (wallclock)
ICFP_2010_relative/4141.xml 13155899 i timeout (wallclock) MAYBE 937.27/299.58 YES 77.61/33.91 timeout (wallclock) YES 30.28/9.15 MAYBE 30.16/32.89 timeout (wallclock)
ICFP_2010_relative/139036.xml 13155900 i timeout (wallclock) MAYBE 937.63/300.09 YES 26.79/11.29 YES 74.63/19.81 YES 6.55/2.20 MAYBE 30.80/33.31 YES 61.08/20.17 ✔ 21.60
ICFP_2010_relative/135604.xml 13155901 i timeout (wallclock) MAYBE 791.38/299.98 YES 35.08/15.10 timeout (wallclock) YES 17.56/5.65 MAYBE 30.91/33.25 MAYBE 1162.73/296.59
ICFP_2010_relative/140359.xml 13155902 i timeout (wallclock) MAYBE 937.74/300.16 YES 21.57/9.29 YES 58.95/15.84 YES 8.58/2.83 MAYBE 31.09/33.29 YES 61.91/16.66 ✔ 15.85
ICFP_2010_relative/54097.xml 13155903 is timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) YES 26.38/7.22 MAYBE 36.27/38.72 timeout (wallclock)
ICFP_2010_relative/139167.xml 13155904 i timeout (wallclock) MAYBE 937.43/300.10 YES 25.73/10.74 YES 70.96/18.89 YES 8.88/2.86 MAYBE 30.85/33.31 YES 75.70/20.21 ✔ 20.52
ICFP_2010_relative/4017.xml 13155905 u timeout (wallclock) MAYBE 937.19/299.58 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.16/32.66 MAYBE 1164.85/297.58
ICFP_2010_relative/124269.xml 13155906 i timeout (wallclock) MAYBE 790.89/299.99 YES 35.06/15.26 timeout (wallclock) YES 18.14/5.71 MAYBE 30.83/33.25 timeout (wallclock)
ICFP_2010_relative/4920.xml 13155907 u timeout (wallclock) MAYBE 936.83/299.55 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.18/32.67 timeout (wallclock)
ICFP_2010_relative/136562.xml 13155908 i timeout (wallclock) MAYBE 792.28/299.94 YES 34.02/14.71 timeout (wallclock) YES 29.30/9.10 MAYBE 30.83/33.26 timeout (wallclock)
ICFP_2010_relative/4106.xml 13155909 u timeout (wallclock) MAYBE 871.13/299.63 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.02/32.60 MAYBE 1172.74/300.46
ICFP_2010_relative/4057.xml 13155910 u timeout (wallclock) MAYBE 937.30/299.59 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.19/32.59 timeout (wallclock)
ICFP_2010_relative/139004.xml 13155911 i timeout (wallclock) MAYBE 937.87/300.09 YES 22.20/9.40 YES 65.52/17.49 YES 7.79/2.63 MAYBE 30.91/33.25 YES 70.00/18.65 ✔ 24.68
ICFP_2010_relative/138477.xml 13155912 is timeout (wallclock) MAYBE 791.91/299.95 timeout (wallclock) timeout (wallclock) YES 17.20/5.27 MAYBE 30.78/33.22 timeout (wallclock)
ICFP_2010_relative/107236.xml 13155913 u timeout (wallclock) MAYBE 937.91/300.65 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 31.41/33.91 timeout (wallclock)
ICFP_2010_relative/3268.xml 13155914 i timeout (wallclock) MAYBE 816.56/299.38 YES 15.04/5.92 timeout (wallclock) YES 4.81/1.64 MAYBE 29.84/32.44 timeout (wallclock)
ICFP_2010_relative/64160.xml 13155915 u timeout (wallclock) MAYBE 871.95/299.61 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.06/32.65 timeout (wallclock)
ICFP_2010_relative/133159.xml 13155916 i timeout (wallclock) MAYBE 792.70/300.01 YES 39.94/17.64 timeout (wallclock) YES 12.40/3.72 MAYBE 30.75/33.24 timeout (wallclock)
ICFP_2010_relative/3562.xml 13155917 i timeout (wallclock) MAYBE 937.10/299.51 YES 301.52/132.50 timeout (wallclock) YES 49.12/14.61 MAYBE 30.20/32.65 timeout (wallclock)
ICFP_2010_relative/140631.xml 13155918 u timeout (wallclock) MAYBE 937.26/299.87 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.53/32.99 MAYBE 1168.45/296.46
ICFP_2010_relative/133010.xml 13155919 i timeout (wallclock) MAYBE 937.74/300.10 YES 21.60/9.23 YES 69.46/18.49 YES 10.60/3.57 MAYBE 30.85/33.26 YES 74.44/19.81 ✔ 23.45
ICFP_2010_relative/88143.xml 13155920 i timeout (wallclock) MAYBE 815.69/299.59 YES 37.77/16.09 YES 33.40/9.18 YES 3.54/1.29 MAYBE 30.00/32.58 YES 58.89/19.37 ✔ 9.67
ICFP_2010_relative/4046.xml 13155921 u MAYBE 1.27/1.27 MAYBE 653.46/299.49 timeout (wallclock) MAYBE 1.16/0.65 timeout (wallclock) MAYBE 22.60/7.52 MAYBE 1.21/0.59
ICFP_2010_relative/132540.xml 13155922 i timeout (wallclock) MAYBE 937.64/300.17 YES 20.77/8.81 YES 52.77/14.31 YES 6.90/5.77 MAYBE 30.78/33.27 YES 51.54/14.01 ✔ 16.25
ICFP_2010_relative/107220.xml 13155923 u timeout (wallclock) MAYBE 938.27/300.60 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 31.35/33.85 timeout (wallclock)
ICFP_2010_relative/3450.xml 13155924 is timeout (wallclock) MAYBE 937.40/299.51 timeout (wallclock) timeout (wallclock) YES 56.98/17.33 MAYBE 30.19/32.67 timeout (wallclock)
ICFP_2010_relative/132864.xml 13155925 i timeout (wallclock) MAYBE 937.84/300.13 YES 20.64/8.82 YES 55.00/14.78 YES 8.48/2.83 MAYBE 30.74/33.32 YES 60.06/17.32 ✔ 17.31
ICFP_2010_relative/128280.xml 13155926 i timeout (wallclock) MAYBE 937.71/300.16 YES 21.29/9.52 YES 51.42/14.10 YES 9.60/3.50 MAYBE 30.81/33.29 YES 57.04/17.97 ✔ 14.36
ICFP_2010_relative/135652.xml 13155927 is timeout (wallclock) MAYBE 790.46/299.96 timeout (wallclock) timeout (wallclock) YES 19.86/6.05 MAYBE 30.74/33.25 timeout (wallclock)
ICFP_2010_relative/3385.xml 13155928 is timeout (wallclock) MAYBE 814.05/299.40 timeout (wallclock) timeout (wallclock) YES 17.40/5.33 MAYBE 29.95/35.55 timeout (wallclock)
ICFP_2010_relative/138993.xml 13155929 i timeout (wallclock) MAYBE 937.67/300.14 YES 22.65/9.79 YES 72.60/19.32 YES 7.05/2.31 MAYBE 30.81/33.30 YES 64.51/17.42 ✔ 18.06
ICFP_2010_relative/4484.xml 13155930 i timeout (wallclock) MAYBE 936.70/299.58 YES 410.98/180.48 timeout (wallclock) YES 89.20/27.46 MAYBE 30.16/32.64 timeout (wallclock)
ICFP_2010_relative/4827.xml 13155931 u timeout (wallclock) MAYBE 935.64/299.50 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.15/32.63 timeout (wallclock)
ICFP_2010_relative/132622.xml 13155932 i timeout (wallclock) MAYBE 937.92/300.10 YES 25.88/10.83 YES 62.25/16.50 YES 8.27/2.70 MAYBE 30.76/33.32 YES 90.73/23.86 ✔ 16.45
ICFP_2010_relative/4200.xml 13155933 is timeout (wallclock) MAYBE 937.31/299.51 YES 68.36/30.34 timeout (wallclock) timeout (wallclock) MAYBE 30.17/32.63 timeout (wallclock)
ICFP_2010_relative/139282.xml 13155934 i timeout (wallclock) MAYBE 937.71/300.14 YES 26.82/11.34 YES 66.59/17.75 YES 8.69/2.81 MAYBE 30.83/33.31 YES 64.67/17.38 ✔ 18.62
ICFP_2010_relative/41378.xml 13155935 is timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) YES 29.07/7.89 MAYBE 36.70/38.66 timeout (wallclock)
ICFP_2010_relative/5130.xml 13155936 i timeout (wallclock) MAYBE 936.58/299.51 YES 21.40/8.81 YES 81.19/21.30 YES 7.88/2.54 MAYBE 30.12/32.60 YES 85.45/22.33 ✔ 15.82
ICFP_2010_relative/128515.xml 13155937 i timeout (wallclock) MAYBE 937.56/300.13 YES 21.87/9.33 YES 79.47/21.02 YES 6.51/2.22 MAYBE 30.76/33.24 YES 82.28/21.65 ✔ 18.19
ICFP_2010_relative/127538.xml 13155938 i timeout (wallclock) MAYBE 936.88/300.10 YES 26.40/11.01 YES 75.19/19.82 YES 10.86/3.35 MAYBE 30.94/33.27 YES 78.19/20.90 ✔ 27.18
ICFP_2010_relative/3865.xml 13155939 i timeout (wallclock) MAYBE 935.72/299.51 YES 71.77/31.30 timeout (wallclock) YES 349.15/112.29 MAYBE 30.23/32.66 MAYBE 1174.31/299.46
ICFP_2010_relative/3533.xml 13155940 u timeout (wallclock) MAYBE 936.34/299.51 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.16/32.67 timeout (wallclock)
ICFP_2010_relative/4938.xml 13155941 i timeout (wallclock) MAYBE 937.09/299.51 YES 18.66/7.59 timeout (wallclock) YES 8.92/2.86 MAYBE 30.21/32.64 timeout (wallclock)
ICFP_2010_relative/4412.xml 13155942 i timeout (wallclock) MAYBE 936.26/299.61 YES 12.35/5.26 YES 108.75/28.21 YES 19.14/5.58 MAYBE 30.22/32.65 YES 115.00/32.06 ✔ 21.18
ICFP_2010_relative/4157.xml 13155943 u timeout (wallclock) MAYBE 936.52/299.57 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.79/32.62 timeout (wallclock)
ICFP_2010_relative/3817.xml 13155944 is timeout (wallclock) MAYBE 937.21/299.55 YES 199.06/88.54 timeout (wallclock) timeout (wallclock) MAYBE 30.18/32.66 timeout (wallclock)
ICFP_2010_relative/4181.xml 13155945 i timeout (wallclock) MAYBE 936.85/299.56 YES 19.08/7.72 YES 206.74/56.45 YES 8.74/2.55 MAYBE 30.25/32.67 YES 178.17/47.45 ✔ 22.10
ICFP_2010_relative/4943.xml 13155946 i timeout (wallclock) MAYBE 937.22/299.56 YES 30.81/12.73 timeout (wallclock) YES 163.44/51.11 MAYBE 30.08/32.64 timeout (wallclock)
ICFP_2010_relative/139214.xml 13155947 i timeout (wallclock) MAYBE 937.50/300.18 YES 27.77/11.75 YES 58.63/15.70 YES 9.81/3.26 MAYBE 31.11/33.37 YES 62.27/16.61 ✔ 17.02
ICFP_2010_relative/136623.xml 13155948 i timeout (wallclock) MAYBE 793.05/299.91 YES 34.02/14.68 timeout (wallclock) YES 15.36/4.87 MAYBE 30.85/33.25 MAYBE 1164.60/298.25
ICFP_2010_relative/3680.xml 13155949 i timeout (wallclock) MAYBE 936.04/299.57 YES 20.60/8.49 YES 85.29/22.22 YES 7.62/2.51 MAYBE 30.18/32.65 YES 98.54/25.85 ✔ 27.58
ICFP_2010_relative/4074.xml 13155950 i timeout (wallclock) MAYBE 937.05/299.59 YES 23.53/10.10 timeout (wallclock) YES 9.27/2.89 MAYBE 30.15/32.66 MAYBE 1175.90/299.56
ICFP_2010_relative/91242.xml 13155951 u timeout (wallclock) MAYBE 937.31/300.13 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.73/33.20 timeout (wallclock)
ICFP_2010_relative/140318.xml 13155952 i timeout (wallclock) MAYBE 937.55/300.16 YES 26.57/11.19 YES 64.47/17.11 YES 9.06/2.99 MAYBE 30.74/33.27 YES 56.57/15.27 ✔ 15.28
ICFP_2010_relative/4051.xml 13155953 i timeout (wallclock) MAYBE 936.59/299.55 YES 18.86/7.58 YES 171.44/43.95 YES 5.70/1.92 MAYBE 30.16/32.62 YES 158.13/40.77 ✔ 28.85
ICFP_2010_relative/4893.xml 13155954 i timeout (wallclock) MAYBE 936.85/299.55 YES 52.65/21.83 YES 740.34/212.53 YES 17.26/4.94 MAYBE 30.13/32.64 YES 883.45/225.38 ✔ 24.89
ICFP_2010_relative/97888.xml 13155955 u timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 32.02/34.36 timeout (wallclock)
ICFP_2010_relative/97901.xml 13155956 u timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 31.90/34.38 timeout (wallclock)
ICFP_2010_relative/3916.xml 13155957 u MAYBE 3.10/3.16 MAYBE 653.27/299.54 timeout (wallclock) MAYBE 1.33/0.66 timeout (wallclock) MAYBE 22.62/7.48 MAYBE 1.31/0.64
ICFP_2010_relative/3786.xml 13155958 is timeout (wallclock) MAYBE 936.16/299.57 timeout (wallclock) timeout (wallclock) YES 36.30/10.41 MAYBE 30.08/32.59 timeout (wallclock)
ICFP_2010_relative/3336.xml 13155959 i MAYBE 0.75/0.80 MAYBE 651.44/299.41 YES 179.75/76.69 MAYBE 1.21/0.60 YES 17.70/4.98 MAYBE 22.51/7.43 MAYBE 1.21/0.59
ICFP_2010_relative/139236.xml 13155960 i timeout (wallclock) MAYBE 937.17/300.10 YES 25.37/10.58 YES 47.03/12.72 YES 8.08/2.77 MAYBE 30.84/33.29 YES 56.88/15.48 ✔ 14.70
ICFP_2010_relative/128620.xml 13155961 i timeout (wallclock) MAYBE 936.73/300.10 YES 27.96/12.01 YES 62.41/16.61 YES 35.98/11.75 MAYBE 30.84/33.29 YES 62.01/16.83 ✔ 14.99
ICFP_2010_relative/140654.xml 13155962 u timeout (wallclock) MAYBE 919.49/299.91 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.48/33.04 timeout (wallclock)
ICFP_2010_relative/132957.xml 13155963 i timeout (wallclock) MAYBE 937.81/300.15 YES 38.04/15.73 YES 63.13/17.72 YES 42.24/12.88 MAYBE 30.89/33.25 YES 57.13/15.43 ✔ 22.32
ICFP_2010_relative/3498.xml 13155964 i timeout (wallclock) MAYBE 872.55/299.55 YES 18.51/7.63 timeout (wallclock) YES 12.14/4.01 MAYBE 30.06/32.61 timeout (wallclock)
ICFP_2010_relative/139185.xml 13155965 i timeout (wallclock) MAYBE 937.65/300.16 YES 20.77/8.82 YES 50.61/13.68 YES 37.56/12.34 MAYBE 30.76/33.24 YES 76.03/20.30 ✔ 14.56
ICFP_2010_relative/3633.xml 13155966 i timeout (wallclock) MAYBE 937.11/299.58 YES 335.43/146.71 timeout (wallclock) YES 502.21/160.10 MAYBE 30.12/32.60 timeout (wallclock)
ICFP_2010_relative/131982.xml 13155967 i timeout (wallclock) MAYBE 937.54/300.01 YES 36.84/16.25 timeout (wallclock) YES 21.02/6.56 MAYBE 30.81/33.17 timeout (wallclock)
ICFP_2010_relative/3589.xml 13155968 i timeout (wallclock) MAYBE 937.04/299.62 YES 483.47/210.29 timeout (wallclock) YES 36.32/11.04 MAYBE 30.06/32.66 timeout (wallclock)
ICFP_2010_relative/135782.xml 13155969 i timeout (wallclock) MAYBE 937.66/300.00 YES 37.69/16.59 timeout (wallclock) YES 21.81/6.52 MAYBE 30.79/33.23 MAYBE 1163.44/296.96
ICFP_2010_relative/4374.xml 13155970 u timeout (wallclock) MAYBE 936.92/299.52 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.12/32.58 timeout (wallclock)
ICFP_2010_relative/3762.xml 13155971 is timeout (wallclock) MAYBE 935.72/299.55 YES 96.20/42.37 timeout (wallclock) timeout (wallclock) MAYBE 30.19/32.64 timeout (wallclock)
ICFP_2010_relative/132833.xml 13155972 i timeout (wallclock) MAYBE 937.62/300.16 YES 21.59/9.23 YES 78.40/20.63 YES 34.13/10.94 MAYBE 30.86/33.31 YES 71.38/18.97 ✔ 17.30
ICFP_2010_relative/142146.xml 13155973 i timeout (wallclock) MAYBE 937.03/299.90 YES 24.76/10.37 YES 40.89/11.05 YES 6.14/1.97 MAYBE 30.55/32.96 YES 51.51/14.04 ✔ 12.07
ICFP_2010_relative/4953.xml 13155974 i timeout (wallclock) MAYBE 936.62/299.52 YES 24.44/10.11 timeout (wallclock) YES 9.47/2.91 MAYBE 30.21/32.67 timeout (wallclock)
ICFP_2010_relative/5076.xml 13155975 is timeout (wallclock) MAYBE 936.35/299.55 timeout (wallclock) timeout (wallclock) YES 434.30/135.23 MAYBE 30.10/32.63 timeout (wallclock)
ICFP_2010_relative/3989.xml 13155976 u timeout (wallclock) MAYBE 936.71/299.58 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.21/32.67 MAYBE 1152.43/296.03
ICFP_2010_relative/142150.xml 13155977 u timeout (wallclock) MAYBE 936.56/299.86 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.51/33.03 timeout (wallclock)
ICFP_2010_relative/134918.xml 13155978 is timeout (wallclock) MAYBE 936.37/300.02 timeout (wallclock) timeout (wallclock) YES 20.47/6.32 MAYBE 30.76/33.22 timeout (wallclock)
ICFP_2010_relative/137404.xml 13155979 i timeout (wallclock) MAYBE 937.65/299.99 YES 25.60/11.04 timeout (wallclock) YES 22.65/7.01 MAYBE 30.70/33.23 timeout (wallclock)
ICFP_2010_relative/142157.xml 13155980 u timeout (wallclock) MAYBE 937.29/299.92 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.53/33.02 timeout (wallclock)
ICFP_2010_relative/128056.xml 13155981 is timeout (wallclock) MAYBE 936.97/300.11 YES 278.01/121.37 timeout (wallclock) timeout (wallclock) MAYBE 30.84/33.30 timeout (wallclock)
ICFP_2010_relative/128430.xml 13155982 i timeout (wallclock) MAYBE 937.21/300.10 YES 26.72/11.18 YES 66.91/17.71 YES 8.28/2.71 MAYBE 30.84/33.23 YES 90.56/23.75 ✔ 16.14
ICFP_2010_relative/4248.xml 13155983 u timeout (wallclock) MAYBE 935.77/299.57 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.17/32.60 MAYBE 1174.58/299.67
ICFP_2010_relative/124791.xml 13155984 i timeout (wallclock) MAYBE 937.53/299.98 YES 25.74/11.15 timeout (wallclock) YES 71.65/22.86 MAYBE 30.77/33.19 timeout (wallclock)
ICFP_2010_relative/4979.xml 13155985 is timeout (wallclock) MAYBE 936.66/299.52 timeout (wallclock) timeout (wallclock) YES 306.08/98.02 MAYBE 30.12/32.57 timeout (wallclock)
ICFP_2010_relative/3856.xml 13155986 i timeout (wallclock) MAYBE 937.15/299.52 YES 19.20/7.72 YES 115.59/29.78 YES 8.47/2.68 MAYBE 30.27/32.64 YES 106.72/28.26 ✔ 18.59
ICFP_2010_relative/135936.xml 13155987 is timeout (wallclock) MAYBE 792.59/299.93 timeout (wallclock) timeout (wallclock) YES 19.96/6.23 MAYBE 30.98/33.18 timeout (wallclock)
ICFP_2010_relative/140639.xml 13155988 u timeout (wallclock) MAYBE 937.63/299.94 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.46/32.96 timeout (wallclock)
ICFP_2010_relative/4854.xml 13155989 is timeout (wallclock) MAYBE 936.59/299.52 timeout (wallclock) timeout (wallclock) YES 607.51/194.82 MAYBE 30.16/32.59 timeout (wallclock)
ICFP_2010_relative/4970.xml 13155990 u MAYBE 1.62/1.66 MAYBE 653.43/299.53 timeout (wallclock) MAYBE 1.20/0.61 timeout (wallclock) MAYBE 22.68/7.55 MAYBE 1.18/0.65
ICFP_2010_relative/140287.xml 13155991 is timeout (wallclock) MAYBE 937.36/300.11 YES 242.08/108.35 timeout (wallclock) timeout (wallclock) MAYBE 30.84/33.31 timeout (wallclock)
ICFP_2010_relative/3746.xml 13155992 u timeout (wallclock) MAYBE 936.49/299.55 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 30.25/32.64 timeout (wallclock)
ICFP_2010_relative/139378.xml 13155993 i timeout (wallclock) MAYBE 937.03/300.15 YES 26.19/11.13 YES 62.73/16.66 YES 6.59/2.10 MAYBE 30.83/33.31 YES 74.51/19.85 ✔ 20.71
ICFP_2010_relative/97917.xml 13155994 u timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 31.83/34.44 timeout (wallclock)
Waldmann_06_relative/r8.xml 13155824 i MAYBE 0.93/0.86 YES 8.44/2.40 YES 1.63/0.62 YES 17.51/5.14 YES 1.48/0.70 YES 6.34/1.85 ✔ 0.12 YES 18.22/9.26 ✔ 0.09
Waldmann_06_relative/r1.xml 13155825 i MAYBE 0.01/0.02 MAYBE 606.40/299.34 YES 0.25/0.11 MAYBE 0.91/0.54 YES 1.07/0.60 MAYBE 8.79/7.34 MAYBE 0.94/0.59
Waldmann_06_relative/r6.xml 13155826 i MAYBE 0.22/0.28 YES 6.00/1.78 YES 0.58/0.27 YES 11.06/3.57 YES 0.96/0.57 YES 4.57/1.46 ✔ 0.11 YES 11.58/3.79 ✔ 0.05
Waldmann_06_relative/r7.xml 13155827 i MAYBE 0.32/0.32 YES 3.96/1.34 YES 0.10/0.13 YES 8.22/2.83 YES 0.66/0.50 YES 3.46/1.16 ✔ 0.08 YES 8.57/2.92 ✔ 0.20
Waldmann_06_relative/r9.xml 13155828 YES 0.02/0.07 YES 2.21/0.93 YES 0.16/0.12 YES 22.61/6.52 YES 1.04/0.59 YES 7.92/2.26 ✔ 0.06 YES 24.87/11.45 ✔ 0.07
Waldmann_06_relative/r10.xml 13155829 i MAYBE 1.44/1.31 MAYBE 776.50/299.38 YES 518.86/138.73 YES 497.45/125.33 YES 4.11/1.41 MAYBE 29.42/32.38 YES 487.42/122.82 ✔ 0.06
Waldmann_06_relative/rbeans.xml 13155830 u MAYBE 0.01/0.05 MAYBE 614.06/299.33 timeout (wallclock) MAYBE 1.14/1.04 timeout (wallclock) MAYBE 9.00/7.36 MAYBE 0.95/0.60
Waldmann_06_relative/r3.xml 13155831 i MAYBE 0.18/0.18 YES 4.05/1.31 YES 0.76/0.33 YES 28.78/8.05 YES 1.55/0.98 YES 3.26/1.05 ✔ 0.04 YES 29.94/8.30 ✔ 0.18
Waldmann_06_relative/r4.xml 13155832 i MAYBE 0.19/0.20 MAYBE 775.79/299.39 YES 0.51/0.23 timeout (wallclock) timeout (wallclock) MAYBE 29.30/32.34 YES 820.43/215.68 ✔ 8.91
Waldmann_06_relative/r5.xml 13155833 i MAYBE 0.21/0.26 YES 10.08/3.03 YES 0.27/0.39 YES 20.60/5.91 timeout (wallclock) YES 4.43/1.39 ✔ 0.06 YES 18.51/5.43 ✔ 0.05
Waldmann_06_relative/r2.xml 13155834 i MAYBE 0.01/0.09 YES 18.45/4.95 YES 1.25/0.52 MAYBE 0.95/0.54 timeout (wallclock) MAYBE 9.52/7.36 MAYBE 0.99/0.63
Zantema_06_relative/rel12.xml 13155810 u MAYBE 1.07/1.04 MAYBE 785.36/299.36 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.53/32.38 MAYBE 1193.28/299.39
Zantema_06_relative/rel03.xml 13155811 u MAYBE 0.52/0.57 MAYBE 784.48/299.41 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 19.50/32.34 timeout (wallclock)
Zantema_06_relative/rel04.xml 13155812 i MAYBE 0.31/0.30 YES 17.19/4.61 YES 3.18/1.20 YES 13.52/4.16 YES 1.24/0.63 YES 5.09/1.56 ✔ 0.16 YES 13.35/4.25 ✔ 0.08
Zantema_06_relative/rel13.xml 13155813 i MAYBE 0.08/0.07 YES 12.39/3.41 YES 0.14/0.15 YES 28.99/12.22 YES 0.70/0.50 YES 8.81/2.50 ✔ 0.14 YES 37.60/11.02 ✔ 0.10
Zantema_06_relative/rel05.xml 13155814 i MAYBE 0.22/0.25 YES 9.41/2.71 YES 0.50/0.24 YES 14.43/4.40 YES 1.08/0.62 YES 3.46/2.54 ✔ 0.14 YES 29.12/11.07 ✔ 0.10
Zantema_06_relative/rel02.xml 13155815 i MAYBE 0.77/0.77 MAYBE 1063.73/299.39 YES 79.37/24.90 YES 15.83/4.72 YES 2.47/0.97 MAYBE 22.32/32.39 YES 53.54/14.36 ✔ 0.23
Zantema_06_relative/rel08.xml 13155816 i MAYBE 0.18/0.19 MAYBE 787.41/299.49 YES 6.71/2.37 YES 12.08/3.80 YES 12.34/3.85 YES 13.41/3.68 ✔ 0.11 YES 31.26/11.77 ✔ 0.08
Zantema_06_relative/rel01.xml 13155817 i MAYBE 0.12/0.11 YES 4.79/1.47 YES 2.40/0.91 YES 8.22/2.84 YES 1.33/0.73 YES 3.53/1.19 ✔ 0.09 YES 8.80/3.03 ✔ 0.05
Zantema_06_relative/rel06.xml 13155818 i MAYBE 0.16/0.21 MAYBE 783.76/299.39 YES 22.75/8.57 YES 56.42/15.16 timeout (wallclock) MAYBE 22.74/32.38 YES 30.03/8.45 ✔ 0.70
Zantema_06_relative/rel10.xml 13155819 i YES 0.89/0.91 MAYBE 796.99/299.40 YES 1.09/0.48 YES 50.23/13.74 YES 1.39/0.97 YES 4.55/1.45 ✔ 0.09 YES 24.05/6.89 ✔ 0.07
Zantema_06_relative/rel07.xml 13155820 u MAYBE 0.53/0.52 MAYBE 788.28/299.41 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.25/32.39 MAYBE 1179.25/298.45
Zantema_06_relative/cars.xml 13155821 u MAYBE 0.11/0.20 MAYBE 914.46/299.41 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.67/32.41 MAYBE 1166.51/293.17
Zantema_06_relative/rel09.xml 13155822 i YES 1.26/1.29 MAYBE 826.82/299.34 YES 0.89/0.37 YES 32.20/8.92 YES 48.17/12.60 YES 8.05/2.32 ✔ 0.14 YES 29.84/8.41 ✔ 0.11
Zantema_06_relative/rel11.xml 13155823 u MAYBE 0.62/0.61 MAYBE 944.16/299.39 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.58/32.36 MAYBE 1167.23/293.19
Waldmann_19/random-159.xml 13155710 i MAYBE 1.23/1.16 YES 20.80/5.49 YES 10.90/4.50 YES 50.59/13.54 YES 1.64/1.56 YES 11.87/3.27 ✔ 0.16 YES 46.33/12.41 ✔ 0.17
Waldmann_19/random-232.xml 13155711 i MAYBE 3.65/3.62 MAYBE 40.80/10.69 YES 62.97/23.11 YES 57.50/15.28 YES 26.64/7.16 MAYBE 29.60/32.37 YES 44.35/11.94 ✔ 0.60
Waldmann_19/random-150.xml 13155712 i MAYBE 5.08/5.03 YES 58.62/15.09 YES 15.07/6.22 YES 39.76/12.14 timeout (wallclock) MAYBE 29.35/32.34 YES 25.99/7.37 ✔ 0.84
Waldmann_19/random-98.xml 13155713 i MAYBE 20.76/20.40 YES 44.52/11.55 YES 85.53/29.53 YES 33.88/10.81 timeout (wallclock) YES 18.06/4.82 ✔ 0.15 YES 18.51/5.38 ✔ 0.10
Waldmann_19/random-186.xml 13155714 i MAYBE 2.45/2.41 MAYBE 787.94/299.40 timeout (wallclock) YES 884.02/233.32 timeout (wallclock) MAYBE 29.65/32.39 YES 828.29/222.67 ✔ 0.06
Waldmann_19/random-35.xml 13155715 YES 0.04/0.09 YES 6.63/1.97 YES 0.93/0.42 YES 8.46/2.93 YES 1.12/0.58 YES 6.99/2.07 ✔ 0.07 YES 8.78/3.07 ✔ 0.24
Waldmann_19/random-162.xml 13155716 YES 0.07/0.09 YES 8.63/2.50 YES 0.24/0.17 YES 9.46/3.18 YES 1.05/0.63 YES 8.02/2.32 ✔ 0.10 YES 8.43/2.89 ✔ 0.18
Waldmann_19/random-209.xml 13155717 u MAYBE 89.23/88.63 MAYBE 787.88/299.39 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.54/32.35 timeout (wallclock)
Waldmann_19/random-75.xml 13155718 i MAYBE 7.07/6.96 MAYBE 785.91/299.38 timeout (wallclock) YES 16.09/4.78 timeout (wallclock) MAYBE 29.69/32.36 YES 14.53/4.46 ✔ 0.05
Waldmann_19/random-72.xml 13155719 i MAYBE 2.10/2.05 MAYBE 786.06/299.44 timeout (wallclock) YES 118.26/30.42 timeout (wallclock) MAYBE 29.65/32.39 YES 121.13/31.21 ✔ 0.45
Waldmann_19/random-110.xml 13155720 YES 0.05/0.12 YES 11.03/3.10 YES 0.61/0.32 YES 32.44/20.38 YES 293.52/74.35 YES 16.45/4.42 ✔ 0.14 YES 10.07/3.40 ✔ 0.06
Waldmann_19/random-207.xml 13155721 u MAYBE 2.45/2.41 MAYBE 787.01/299.35 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.65/32.39 timeout (wallclock)
Waldmann_19/random-216.xml 13155722 is MAYBE 2.67/2.63 MAYBE 787.22/299.41 timeout (wallclock) timeout (cpu) NO 45.13/11.75 MAYBE 29.75/32.37 timeout (wallclock)
Waldmann_19/random-106.xml 13155723 u MAYBE 28.57/28.14 MAYBE 787.67/299.39 timeout (wallclock) timeout (cpu) timeout (wallclock) MAYBE 29.69/32.35 timeout (wallclock)
Waldmann_19/random-16.xml 13155724 YES 0.02/0.04 YES 9.28/2.67 YES 738.63/238.25 YES 7.14/2.56 YES 54.50/14.15 YES 1.13/0.58 ✔ 0.05 YES 8.40/2.89 ✔ 0.03
Waldmann_19/random-173.xml 13155725 i YES 0.03/0.08 YES 11.37/3.14 YES 5.66/2.27 YES 9.22/3.07 timeout (wallclock) YES 10.19/2.85 ✔ 0.05 YES 9.84/3.31 ✔ 0.09
Waldmann_19/random-11.xml 13155726 is MAYBE 1.00/0.99 MAYBE 786.19/299.41 YES 266.37/80.74 timeout (cpu) timeout (wallclock) MAYBE 29.69/32.38 timeout (cpu)
Waldmann_19/random-58.xml 13155727 i YES 0.03/0.11 YES 17.93/4.84 YES 32.69/13.23 YES 16.25/8.67 timeout (wallclock) MAYBE 29.68/32.31 YES 9.66/3.18 ✔ 0.06
Waldmann_19/random-146.xml 13155728 i MAYBE 0.72/0.69 YES 7.38/2.15 YES 0.79/0.35 YES 9.69/3.21 YES 1.20/0.66 YES 7.80/2.19 ✔ 0.09 YES 9.63/3.19 ✔ 0.38
Waldmann_19/random-89.xml 13155729 i YES 0.04/0.23 YES 12.72/3.55 YES 0.44/0.26 YES 12.04/3.81 timeout (wallclock) YES 14.76/4.01 ✔ 0.17 YES 10.67/3.54 ✔ 0.09
Waldmann_19/random-24.xml 13155730 i YES 0.04/0.12 YES 11.30/3.14 timeout (wallclock) YES 7.36/2.64 YES 165.96/42.23 YES 1.56/0.72 ✔ 0.05 YES 8.80/3.01 ✔ 0.03
Waldmann_19/random-141.xml 13155731 i MAYBE 1.45/1.37 NO 635.71/223.24 timeout (wallclock) NO 567.11/142.87 NO 0.81/0.54 MAYBE 29.73/32.39 NO 505.21/127.46 ✔ 0.06
Waldmann_19/random-80.xml 13155732 YES 0.03/0.08 YES 14.46/3.98 YES 0.82/0.35 YES 9.21/3.12 YES 1.50/0.71 YES 1.32/0.60 ✔ 0.06 YES 7.07/2.54 ✔ 0.04
Waldmann_19/random-148.xml 13155733 i YES 1.10/1.11 YES 79.89/20.38 YES 65.56/26.76 YES 151.97/38.92 timeout (wallclock) MAYBE 29.35/32.35 YES 135.28/36.54 ✔ 0.46
Waldmann_19/random-134.xml 13155734 YES 0.73/0.75 YES 19.89/5.31 YES 0.83/0.37 YES 8.61/2.94 YES 1.06/0.66 YES 9.96/2.78 ✔ 0.13 YES 8.52/2.93 ✔ 0.29
Waldmann_19/random-116.xml 13155735 i MAYBE 2.03/1.99 YES 24.58/6.46 YES 1.01/0.47 YES 9.74/9.00 YES 1.17/0.65 YES 15.97/4.33 ✔ 0.08 YES 9.76/3.23 ✔ 0.25
Waldmann_19/random-164.xml 13155736 i YES 0.04/0.10 YES 17.09/4.61 timeout (wallclock) YES 10.56/3.49 YES 226.75/57.35 YES 1.56/0.68 ✔ 0.05 YES 7.71/2.74 ✔ 0.03
Waldmann_19/random-163.xml 13155737 u MAYBE 1.93/1.87 MAYBE 788.34/299.34 timeout (wallclock) timeout (cpu) timeout (wallclock) MAYBE 29.56/32.39 timeout (wallclock)
Waldmann_19/random-208.xml 13155738 i MAYBE 4.14/4.10 YES 68.97/17.80 YES 67.57/25.15 YES 141.90/36.46 timeout (wallclock) MAYBE 29.78/32.40 YES 142.04/37.29 ✔ 0.60
Waldmann_19/random-187.xml 13155739 i YES 0.46/0.47 YES 80.45/20.71 YES 18.04/6.77 YES 55.03/14.58 timeout (wallclock) MAYBE 29.56/32.38 YES 55.01/14.58 ✔ 0.12
Waldmann_19/random-99.xml 13155740 is MAYBE 1.45/1.42 MAYBE 787.58/299.40 timeout (wallclock) timeout (wallclock) NO 297.63/75.38 MAYBE 29.72/32.32 timeout (wallclock)
Waldmann_19/random-34.xml 13155741 YES 0.02/0.07 YES 10.51/2.96 YES 6.24/2.59 YES 8.40/3.64 YES 1.47/0.72 YES 1.08/0.56 ✔ 0.06 YES 8.60/3.05 ✔ 0.04
Waldmann_19/random-33.xml 13155742 i YES 15.78/15.79 YES 98.23/25.00 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.58/32.49 timeout (wallclock)
Waldmann_19/random-151.xml 13155743 i MAYBE 5.29/5.29 MAYBE 779.24/299.40 YES 54.91/19.01 YES 44.13/12.04 timeout (wallclock) MAYBE 29.42/32.37 YES 61.73/16.61 ✔ 0.15
Waldmann_19/random-123.xml 13155744 i MAYBE 2.04/2.00 YES 117.56/29.95 YES 267.35/76.17 timeout (wallclock) timeout (wallclock) MAYBE 29.67/32.35 timeout (wallclock)
Waldmann_19/random-41.xml 13155745 i YES 0.62/0.59 YES 29.91/7.78 YES 7.41/2.88 YES 11.67/3.68 YES 66.90/17.27 MAYBE 29.75/32.36 YES 9.13/3.10 ✔ 0.36
Waldmann_19/random-46.xml 13155746 i MAYBE 2.01/1.92 MAYBE 944.65/299.38 YES 17.20/6.95 YES 9.37/3.10 timeout (wallclock) MAYBE 29.70/32.31 YES 9.73/3.45 ✔ 0.06
Waldmann_19/random-57.xml 13155747 i YES 0.42/0.41 MAYBE 784.24/299.39 YES 110.82/41.00 YES 61.34/16.23 timeout (wallclock) MAYBE 29.75/32.31 YES 63.09/16.59 ✔ 0.56
Waldmann_19/random-149.xml 13155748 YES 0.24/0.28 YES 5.54/1.69 YES 0.40/0.23 YES 10.30/3.37 YES 1.18/0.59 YES 7.62/2.25 ✔ 0.11 YES 9.03/3.11 ✔ 0.35
Waldmann_19/random-198.xml 13155749 u MAYBE 108.25/107.23 MAYBE 788.34/299.38 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.72/32.39 timeout (wallclock)
Waldmann_19/random-86.xml 13155750 YES 0.94/0.97 YES 53.72/14.01 YES 31.27/11.24 YES 47.00/12.70 YES 2.07/0.89 YES 6.82/2.02 ✔ 0.09 YES 37.86/10.36 ✔ 0.13
Waldmann_19/random-50.xml 13155751 YES 0.05/0.13 YES 9.31/2.65 YES 24.06/8.00 YES 8.74/2.99 YES 2.05/0.90 YES 1.32/0.66 ✔ 0.05 YES 8.61/6.13 ✔ 0.03
Waldmann_19/random-81.xml 13155752 i YES 0.67/0.66 YES 29.72/7.80 YES 14.34/5.71 YES 151.42/40.96 timeout (wallclock) YES 12.77/3.52 ✔ 0.07 YES 126.68/32.60 ✔ 0.47
Waldmann_19/random-140.xml 13155753 YES 0.08/0.12 YES 28.65/7.52 YES 1.69/0.71 YES 9.97/3.32 YES 1.10/0.61 YES 6.53/1.96 ✔ 0.08 YES 9.68/3.27 ✔ 0.31
Waldmann_19/random-59.xml 13155754 u MAYBE 5.07/5.01 MAYBE 786.36/299.41 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.78/32.39 timeout (wallclock)
Waldmann_19/random-172.xml 13155755 i MAYBE 66.17/65.55 YES 42.85/11.08 YES 1.07/0.48 YES 8.29/2.80 YES 1.33/0.67 MAYBE 29.63/32.47 YES 9.12/3.09 ✔ 0.33
Waldmann_19/random-10.xml 13155756 YES 0.45/0.44 YES 5.37/1.64 YES 0.28/0.18 YES 8.17/2.90 YES 0.82/0.55 YES 5.60/1.71 ✔ 0.08 YES 23.19/8.45 ✔ 0.46
Waldmann_19/random-109.xml 13155757 YES 0.04/0.10 YES 20.53/5.50 YES 1.45/0.58 YES 8.20/2.78 YES 1.26/1.20 YES 18.82/5.01 ✔ 0.16 YES 19.58/5.69 ✔ 0.30
Waldmann_19/random-175.xml 13155758 u MAYBE 70.74/69.85 MAYBE 787.15/299.39 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.71/32.36 timeout (wallclock)
Waldmann_19/random-210.xml 13155759 YES 0.04/0.10 YES 30.30/7.92 YES 9.74/3.90 YES 8.29/2.86 YES 1.58/0.73 YES 6.93/2.04 ✔ 0.08 YES 11.45/3.68 ✔ 0.06
Waldmann_19/random-65.xml 13155760 YES 6.67/6.57 YES 25.45/6.68 YES 1.08/0.46 YES 7.27/2.56 YES 1.40/0.65 YES 11.94/3.28 ✔ 0.08 YES 8.68/2.91 ✔ 0.22
Waldmann_19/random-62.xml 13155761 is MAYBE 9.72/9.52 MAYBE 787.52/299.34 timeout (wallclock) timeout (wallclock) NO 11.76/3.32 MAYBE 29.65/32.31 timeout (wallclock)
Waldmann_19/random-226.xml 13155762 YES 0.04/0.05 YES 12.62/3.43 YES 0.35/0.20 YES 8.95/3.02 YES 1.02/0.98 YES 9.28/2.56 ✔ 0.09 YES 8.20/2.79 ✔ 0.35
Waldmann_19/random-82.xml 13155763 i YES 0.05/0.10 YES 105.82/26.87 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.79/32.40 timeout (wallclock)
Waldmann_19/random-28.xml 13155764 i MAYBE 15.84/15.62 YES 51.40/13.29 YES 39.29/15.84 YES 170.04/43.53 timeout (wallclock) MAYBE 29.68/32.40 YES 172.56/44.22 ✔ 0.92
Waldmann_19/random-221.xml 13155765 YES 0.04/0.05 YES 6.95/2.05 YES 0.14/0.10 YES 9.21/3.10 YES 0.84/0.54 YES 8.00/2.31 ✔ 0.09 YES 11.17/3.63 ✔ 0.49
Waldmann_19/random-195.xml 13155766 is MAYBE 81.20/80.39 MAYBE 788.50/299.34 YES 579.96/167.71 timeout (wallclock) timeout (wallclock) MAYBE 29.71/32.36 timeout (wallclock)
Waldmann_19/random-26.xml 13155767 i YES 0.04/0.05 YES 9.86/2.75 timeout (wallclock) YES 10.76/3.63 YES 616.03/214.58 YES 11.18/3.12 ✔ 0.07 YES 10.46/3.39 ✔ 0.04
Waldmann_19/random-228.xml 13155768 YES 0.20/0.25 YES 4.00/1.33 YES 1.43/0.63 YES 26.13/8.58 YES 1.13/0.64 YES 9.00/2.53 ✔ 0.11 YES 11.10/3.57 ✔ 0.07
Waldmann_19/random-14.xml 13155769 YES 0.63/0.65 YES 66.08/17.07 YES 11.92/4.53 YES 21.40/10.50 YES 13.21/3.82 YES 14.34/3.87 ✔ 0.11 YES 11.61/3.70 ✔ 0.08
Waldmann_19/random-68.xml 13155770 u MAYBE 51.84/51.33 MAYBE 787.52/299.41 timeout (wallclock) MAYBE 1.08/0.63 timeout (wallclock) MAYBE 29.55/32.32 MAYBE 1.02/0.56
Waldmann_19/random-176.xml 13155771 u MAYBE 129.22/127.58 MAYBE 788.33/299.42 timeout (wallclock) timeout (cpu) timeout (wallclock) MAYBE 29.75/32.86 timeout (wallclock)
Waldmann_19/random-66.xml 13155772 YES 0.39/0.42 YES 9.64/2.76 YES 1.32/0.57 YES 10.25/3.37 YES 1.15/0.60 YES 6.96/2.05 ✔ 0.09 YES 8.71/2.99 ✔ 0.33
Waldmann_19/random-115.xml 13155773 YES 3.25/3.20 YES 27.92/7.36 YES 4.94/1.93 YES 7.93/2.91 YES 1.37/0.65 YES 10.95/3.01 ✔ 0.12 YES 8.62/2.97 ✔ 0.24
Waldmann_19/random-202.xml 13155774 i MAYBE 47.33/46.83 MAYBE 788.20/299.35 YES 53.88/20.98 YES 50.00/13.40 YES 2.25/0.87 MAYBE 29.56/32.35 YES 51.05/13.53 ✔ 0.22
Waldmann_19/random-77.xml 13155775 YES 0.04/0.04 YES 10.15/2.87 YES 2.02/0.82 YES 9.75/3.25 YES 1.62/0.72 YES 15.82/4.46 ✔ 0.05 YES 8.33/13.34 ✔ 0.42
Waldmann_19/random-70.xml 13155776 YES 0.04/0.04 YES 6.34/1.89 YES 0.15/0.12 YES 10.60/3.43 YES 0.95/0.57 YES 9.74/2.77 ✔ 0.13 YES 8.52/2.95 ✔ 0.26
Waldmann_19/random-160.xml 13155777 YES 0.03/0.09 YES 10.75/3.00 YES 22.17/9.29 YES 8.44/2.91 YES 1.43/0.72 YES 1.28/0.63 ✔ 0.06 YES 7.67/2.73 ✔ 0.04
Waldmann_19/random-79.xml 13155778 i MAYBE 5.00/4.90 YES 35.77/9.29 YES 45.95/18.78 YES 47.42/12.58 timeout (wallclock) MAYBE 29.63/32.37 YES 61.33/17.38 ✔ 0.85
Waldmann_19/random-152.xml 13155779 i MAYBE 0.77/0.74 YES 32.59/8.47 YES 3.41/1.33 YES 34.07/13.38 timeout (wallclock) MAYBE 29.59/32.38 YES 31.24/8.73 ✔ 0.91
Waldmann_19/random-184.xml 13155780 YES 0.03/0.04 YES 3.95/1.28 YES 0.12/0.10 YES 9.69/3.22 YES 0.99/0.55 YES 6.26/2.06 ✔ 0.09 YES 23.25/8.95 ✔ 0.24
Waldmann_19/random-45.xml 13155781 i MAYBE 3.36/3.32 YES 42.14/10.96 YES 48.94/17.66 YES 55.79/14.71 YES 16.78/4.64 MAYBE 29.65/32.36 YES 48.65/13.04 ✔ 0.16
Waldmann_19/random-39.xml 13155782 i MAYBE 2.08/2.08 YES 44.49/11.57 YES 29.64/10.42 YES 25.45/7.28 YES 2.83/1.12 MAYBE 29.62/32.38 YES 21.34/6.15 ✔ 0.72
Waldmann_19/random-120.xml 13155783 i MAYBE 1.93/1.93 YES 15.86/4.29 YES 11.51/4.66 YES 7.72/2.74 YES 26.27/7.08 YES 5.17/1.58 ✔ 0.08 YES 8.14/2.86 ✔ 0.25
Waldmann_19/random-93.xml 13155784 YES 0.04/0.05 YES 11.74/3.24 YES 1.72/0.71 YES 9.02/3.01 YES 1.07/0.59 YES 9.07/2.56 ✔ 0.12 YES 8.79/2.98 ✔ 0.30
Waldmann_19/random-42.xml 13155785 i MAYBE 2.43/2.33 YES 123.63/31.39 YES 34.03/13.73 YES 22.13/8.34 timeout (wallclock) MAYBE 29.67/32.33 YES 11.15/3.58 ✔ 0.07
Waldmann_19/random-212.xml 13155786 i YES 0.04/0.04 MAYBE 790.27/299.40 timeout (wallclock) YES 46.50/12.38 timeout (wallclock) MAYBE 29.60/32.35 YES 56.09/14.96 ✔ 0.11
Waldmann_19/random-105.xml 13155787 YES 1.07/1.01 YES 9.27/2.60 YES 3.36/1.39 YES 24.67/6.89 YES 1.30/0.64 YES 11.20/3.05 ✔ 0.10 YES 23.99/6.73 ✔ 0.07
Waldmann_19/random-67.xml 13155788 i MAYBE 105.51/104.20 MAYBE 786.79/299.38 YES 8.59/3.28 YES 48.24/12.88 YES 1.57/0.89 MAYBE 29.71/32.37 YES 48.83/13.07 ✔ 0.12
Waldmann_19/random-60.xml 13155789 u MAYBE 2.14/2.09 MAYBE 786.95/299.34 timeout (wallclock) timeout (cpu) timeout (wallclock) MAYBE 29.66/32.40 timeout (wallclock)
Waldmann_19/random-177.xml 13155790 is MAYBE 3.70/3.67 MAYBE 785.77/299.40 timeout (wallclock) timeout (cpu) NO 16.50/4.73 MAYBE 29.77/32.38 timeout (wallclock)
Waldmann_19/random-142.xml 13155791 YES 0.05/0.09 YES 17.01/4.60 YES 6.13/2.47 YES 10.04/3.26 YES 15.22/4.18 YES 18.27/4.89 ✔ 0.13 YES 45.42/19.01 ✔ 0.06
Waldmann_19/random-145.xml 13155792 YES 1.37/1.30 YES 46.35/11.96 YES 1.18/0.48 YES 31.38/8.81 YES 1.33/0.63 YES 11.89/3.35 ✔ 0.14 YES 27.27/7.65 ✔ 0.39
Waldmann_19/random-27.xml 13155793 is MAYBE 2.91/2.87 MAYBE 786.92/299.39 timeout (wallclock) timeout (cpu) NO 17.11/4.74 MAYBE 29.68/32.38 timeout (wallclock)
Waldmann_19/random-84.xml 13155794 u MAYBE 1.75/1.71 MAYBE 796.13/299.38 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.61/32.37 timeout (wallclock)
Waldmann_19/random-137.xml 13155795 YES 0.02/0.02 YES 1.78/0.70 YES 0.09/0.05 YES 5.90/2.17 YES 1.23/0.66 YES 0.86/0.53 ✔ 0.05 YES 8.20/3.60 ✔ 0.26
Waldmann_19/random-130.xml 13155796 is MAYBE 77.12/76.61 MAYBE 787.55/299.36 timeout (wallclock) timeout (wallclock) NO 6.89/2.16 MAYBE 29.61/32.38 timeout (wallclock)
Waldmann_19/random-227.xml 13155797 i MAYBE 12.81/12.65 YES 49.95/12.90 YES 41.79/14.04 YES 11.95/3.89 YES 3.39/1.63 MAYBE 29.62/32.38 YES 20.44/6.06 ✔ 0.12
Waldmann_19/random-52.xml 13155798 i MAYBE 1.93/1.91 YES 21.51/5.76 YES 13.34/5.46 YES 7.02/2.56 YES 2.55/1.03 YES 15.59/4.20 ✔ 0.15 YES 8.07/10.19 ✔ 0.28
Waldmann_19/random-92.xml 13155799 i MAYBE 1.90/1.86 YES 48.19/12.48 YES 8.37/3.41 YES 69.95/18.30 YES 39.99/10.59 MAYBE 29.59/32.36 YES 71.05/18.68 ✔ 0.87
Waldmann_19/random-43.xml 13155800 i MAYBE 5.37/5.34 YES 97.60/24.86 YES 28.40/10.59 YES 122.92/36.33 timeout (wallclock) MAYBE 29.69/32.40 YES 123.43/32.01 ✔ 0.41
Waldmann_19/random-95.xml 13155801 YES 0.03/0.03 YES 10.71/2.95 YES 28.72/11.63 YES 7.61/2.62 YES 36.96/9.69 YES 1.36/0.65 ✔ 0.05 YES 9.22/3.09 ✔ 0.03
Waldmann_19/random-38.xml 13155802 is MAYBE 0.83/0.79 MAYBE 786.59/299.42 YES 76.96/27.86 timeout (cpu) timeout (wallclock) MAYBE 29.58/32.38 timeout (wallclock)
Waldmann_19/random-126.xml 13155803 i YES 0.13/0.19 YES 19.90/5.33 timeout (wallclock) YES 7.60/2.66 timeout (wallclock) YES 1.11/0.60 ✔ 0.05 YES 8.05/2.84 ✔ 0.03
Waldmann_19/random-182.xml 13155804 u MAYBE 61.44/60.74 MAYBE 787.17/299.34 timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 29.77/32.31 timeout (wallclock)
Waldmann_19/random-78.xml 13155805 i MAYBE 1.23/1.17 MAYBE 786.03/299.34 YES 15.72/5.56 YES 42.77/12.07 YES 7.43/2.36 YES 17.82/4.78 ✔ 0.16 YES 38.37/10.43 ✔ 0.83
Waldmann_19/random-166.xml 13155806 is MAYBE 9.31/9.19 MAYBE 62.96/16.14 YES 38.15/15.28 timeout (wallclock) timeout (wallclock) MAYBE 29.55/32.35 timeout (wallclock)
Waldmann_19/random-113.xml 13155807 YES 0.74/0.76 YES 23.34/6.20 YES 1.74/0.87 YES 7.87/2.75 YES 1.40/0.65 YES 14.33/3.87 ✔ 0.08 YES 8.17/2.79 ✔ 0.34
Waldmann_19/random-168.xml 13155808 YES 1.22/1.16 YES 10.83/2.99 YES 2.24/0.88 YES 8.81/2.95 YES 2.35/0.98 YES 7.68/2.23 ✔ 0.12 YES 10.97/3.59 ✔ 0.38
Waldmann_19/random-76.xml 13155809 i YES 0.03/0.09 YES 11.64/3.24 YES 157.77/52.56 YES 8.24/2.90 timeout (wallclock) YES 1.16/0.57 ✔ 0.06 YES 8.71/2.97 ✔ 0.04
Mixed_relative_SRS/zr11.xml 13155690 i MAYBE 0.30/0.33 YES 6.92/2.09 YES 1.31/0.57 YES 12.68/4.06 YES 1.11/0.63 YES 4.47/1.45 ✔ 0.09 YES 13.04/4.11 ✔ 0.26
Mixed_relative_SRS/dup04.xml 13155691 i MAYBE 19.93/19.25 MAYBE 930.63/299.42 YES 8.18/3.05 YES 247.53/64.18 YES 1.22/0.70 MAYBE 29.60/32.37 YES 245.31/65.03 ✔ 0.22
Mixed_relative_SRS/zr02new.xml 13155692 i MAYBE 0.21/0.23 YES 20.30/5.43 YES 6.05/2.34 YES 11.41/3.79 YES 2.78/1.08 YES 14.90/3.99 ✔ 0.24 YES 12.24/3.84 ✔ 0.19
Mixed_relative_SRS/dup03.xml 13155693 i YES 7.46/6.36 MAYBE 774.56/299.37 YES 9.00/3.24 YES 55.19/14.60 YES 1.50/0.70 YES 11.92/3.23 ✔ 0.09 YES 52.09/13.89 ✔ 0.06
Mixed_relative_SRS/zr07.xml 13155694 YES 0.17/0.15 YES 5.69/1.69 YES 1.86/0.72 YES 11.83/3.83 YES 1.24/0.68 YES 3.70/1.16 ✔ 0.08 YES 11.25/3.56 ✔ 0.05
Mixed_relative_SRS/zr09.xml 13155695 i MAYBE 0.09/0.13 YES 4.75/1.50 YES 1.07/0.45 YES 9.18/3.12 YES 1.14/0.67 YES 2.81/0.98 ✔ 0.10 YES 8.91/2.94 ✔ 0.05
Mixed_relative_SRS/dup02.xml 13155696 i MAYBE 16.73/16.47 MAYBE 941.05/299.40 timeout (wallclock) YES 60.82/16.17 timeout (wallclock) MAYBE 29.75/32.35 YES 78.43/20.57 ✔ 0.40
Mixed_relative_SRS/zr10.xml 13155697 i MAYBE 0.35/0.36 YES 18.21/4.90 YES 2.05/0.82 YES 13.07/4.14 YES 1.00/0.59 YES 5.63/1.67 ✔ 0.08 YES 13.19/4.33 ✔ 0.19
Mixed_relative_SRS/zr08.xml 13155698 YES 0.02/0.07 YES 4.23/1.37 YES 0.04/0.06 YES 9.56/3.20 YES 0.86/0.56 YES 5.17/1.55 ✔ 0.14 YES 9.65/3.27 ✔ 0.07
Mixed_relative_SRS/zr01.xml 13155699 i MAYBE 0.11/0.09 YES 4.11/1.30 YES 0.28/0.15 YES 13.90/4.48 YES 1.17/0.63 YES 4.09/1.33 ✔ 0.12 YES 25.97/8.91 ✔ 0.06
Mixed_relative_SRS/un03.xml 13155700 i MAYBE 147.68/145.11 MAYBE 786.01/299.40 YES 21.75/8.51 timeout (wallclock) YES 126.74/32.39 MAYBE 29.74/32.40 timeout (wallclock)
Mixed_relative_SRS/zr06.xml 13155701 YES 0.04/0.10 YES 2.33/0.89 YES 0.11/0.13 YES 8.72/2.97 YES 0.97/0.63 YES 2.22/0.84 ✔ 0.05 YES 8.10/2.91 ✔ 0.03
Mixed_relative_SRS/zr04new.xml 13155702 i MAYBE 0.12/0.17 MAYBE 912.45/299.42 YES 11.74/4.65 YES 43.93/11.99 YES 2.48/0.98 MAYBE 29.42/32.35 YES 17.61/5.28 ✔ 0.27
Mixed_relative_SRS/zr05.xml 13155703 YES 0.04/0.10 YES 2.36/0.91 YES 0.11/0.13 YES 6.50/2.47 YES 0.86/0.51 YES 2.11/0.78 ✔ 0.04 YES 7.06/2.49 ✔ 0.05
Mixed_relative_SRS/zr02.xml 13155704 i MAYBE 0.21/0.17 YES 10.08/2.80 YES 2.06/0.78 YES 11.84/3.77 YES 1.08/0.63 YES 7.78/2.21 ✔ 0.17 YES 11.65/3.74 ✔ 0.14
Mixed_relative_SRS/zr13.xml 13155705 i MAYBE 0.09/0.17 NO 1.39/0.69 timeout (wallclock) NO 5.33/2.09 NO 0.63/0.48 NO 1.04/0.54 ✔ 0.03 NO 5.22/2.00 ✔ 0.02
Mixed_relative_SRS/zr03.xml 13155706 YES 0.02/0.08 YES 2.16/0.80 YES 0.09/0.08 YES 5.99/2.24 YES 0.71/0.50 YES 1.47/0.64 ✔ 0.05 YES 6.07/2.32 ✔ 0.02
Mixed_relative_SRS/un01.xml 13155707 i MAYBE 1.84/1.73 MAYBE 774.34/299.34 YES 47.41/16.53 YES 22.64/6.40 YES 1.22/0.61 MAYBE 29.58/32.31 YES 23.34/6.60 ✔ 0.14
Mixed_relative_SRS/zr04.xml 13155708 i MAYBE 0.65/0.59 MAYBE 912.49/299.42 YES 19.62/7.73 YES 29.24/8.24 YES 2.01/0.91 MAYBE 29.61/32.37 YES 17.11/5.07 ✔ 0.27
Mixed_relative_SRS/zr12.xml 13155709 i MAYBE 0.07/0.52 YES 5.77/1.88 YES 0.21/0.29 YES 8.97/3.07 YES 0.70/0.54 YES 4.00/1.55 ✔ 0.14 YES 9.51/3.19 ✔ 0.08
58.00 91.00 209.00 164.00 210.00 75.00 165.00