TermCOMP 2022: SRS Relative 54198 Job info CSV 54197 Job info CSV Showing results.

benchmark VBS NaTT 2.3.2 default ttt2-1.20 ttt2 AProVE21 standard MnM3.19c default ttt2-1.20 ttt2_cert AProVE21 certified ~Y2021
ICFP_2010_relative/107220.xml uf MAYBE timeout (wallclock) MAYBE 938.16/300.62 timeout (wallclock) timeout (wallclock) MAYBE 31.63/33.77 timeout (wallclock) MAYBE
ICFP_2010_relative/107236.xml uf MAYBE timeout (wallclock) MAYBE 937.55/300.60 timeout (wallclock) timeout (wallclock) MAYBE 31.44/33.77 timeout (wallclock) MAYBE
ICFP_2010_relative/123759.xml if YES timeout (wallclock) MAYBE 791.69/299.93 timeout (wallclock) YES 36.93/11.53 MAYBE 30.96/33.19 timeout (wallclock) YES
ICFP_2010_relative/124211.xml if YES timeout (wallclock) MAYBE 790.23/299.91 timeout (wallclock) YES 31.75/9.86 MAYBE 30.91/33.17 timeout (wallclock) YES
ICFP_2010_relative/124269.xml if YES timeout (wallclock) MAYBE 791.56/299.91 timeout (wallclock) YES 27.74/9.16 MAYBE 30.86/33.18 timeout (wallclock) YES
ICFP_2010_relative/124791.xml if YES timeout (wallclock) MAYBE 791.43/299.92 timeout (wallclock) YES 44.31/13.92 MAYBE 31.01/33.19 timeout (wallclock) YES
ICFP_2010_relative/127538.xml if YES timeout (wallclock) MAYBE 937.38/300.12 YES 83.97/22.01 YES 12.26/4.40 MAYBE 30.89/33.27 YES 75.22/22.11 ✔1.79 YES
ICFP_2010_relative/128056.xml if YES timeout (wallclock) MAYBE 937.57/300.09 timeout (wallclock) timeout (wallclock) MAYBE 30.83/33.25 timeout (wallclock) YES
ICFP_2010_relative/128182.xml if YES timeout (wallclock) MAYBE 937.70/300.11 YES 46.56/12.56 YES 628.76/206.38 MAYBE 30.90/33.24 YES 47.36/12.83 ✔0.85 YES
ICFP_2010_relative/128280.xml if YES timeout (wallclock) MAYBE 937.69/300.10 YES 52.01/13.96 YES 41.53/13.19 MAYBE 30.85/33.23 YES 54.10/14.48 ✔0.93 YES
ICFP_2010_relative/128430.xml if YES timeout (wallclock) MAYBE 937.72/300.11 YES 70.91/20.40 YES 12.28/3.83 MAYBE 30.79/33.23 YES 99.14/25.97 ✔1.06 YES
ICFP_2010_relative/128486.xml if YES timeout (wallclock) MAYBE 937.86/300.12 YES 65.30/18.00 YES 12.67/3.89 MAYBE 30.88/33.25 YES 51.17/13.80 ✔0.97 YES
ICFP_2010_relative/128515.xml if YES timeout (wallclock) MAYBE 937.46/300.11 YES 98.92/25.69 YES 9.49/2.74 MAYBE 30.83/33.23 YES 107.85/30.27 ✔1.14 YES
ICFP_2010_relative/128550.xml if YES timeout (wallclock) MAYBE 937.30/300.10 YES 109.11/28.38 YES 11.64/3.53 MAYBE 30.92/33.25 YES 70.83/18.87 ✔1.63 YES
ICFP_2010_relative/128620.xml if YES timeout (wallclock) MAYBE 937.55/300.12 YES 58.14/15.47 YES 12.53/3.65 MAYBE 30.79/33.23 YES 51.89/14.05 ✔0.99 YES
ICFP_2010_relative/128691.xml if YES timeout (wallclock) MAYBE 937.89/300.10 YES 50.35/13.62 YES 11.56/3.42 MAYBE 30.87/33.24 YES 65.27/17.40 ✔1.12 YES
ICFP_2010_relative/131633.xml if YES timeout (wallclock) MAYBE 792.14/299.92 timeout (wallclock) YES 25.63/11.03 MAYBE 31.01/33.18 timeout (wallclock) YES
ICFP_2010_relative/131982.xml if YES timeout (wallclock) MAYBE 792.44/299.93 timeout (wallclock) YES 47.95/15.06 MAYBE 30.65/33.17 timeout (wallclock) YES
ICFP_2010_relative/132235.xml if YES timeout (wallclock) MAYBE 790.85/299.92 timeout (wallclock) YES 29.59/9.25 MAYBE 30.92/33.17 timeout (wallclock) YES
ICFP_2010_relative/132478.xml if YES timeout (wallclock) MAYBE 937.80/300.11 YES 76.38/20.10 YES 12.34/3.58 MAYBE 30.71/33.23 YES 78.90/20.81 ✔1.22 YES
ICFP_2010_relative/132540.xml if YES timeout (wallclock) MAYBE 937.49/300.10 YES 60.68/16.17 YES 10.58/3.09 MAYBE 30.86/33.23 YES 56.46/15.32 ✔1.05 YES
ICFP_2010_relative/132622.xml if YES timeout (wallclock) MAYBE 936.76/300.10 YES 64.80/17.17 YES 13.69/4.10 MAYBE 30.78/33.23 YES 71.68/18.95 ✔1.07 YES
ICFP_2010_relative/132720.xml if YES timeout (wallclock) MAYBE 937.41/300.09 YES 61.70/16.43 YES 13.28/4.05 MAYBE 31.07/33.47 YES 68.65/18.27 ✔1.15 YES
ICFP_2010_relative/132738.xml if YES timeout (wallclock) MAYBE 937.07/300.09 YES 54.01/14.82 YES 11.14/3.26 MAYBE 30.90/33.25 YES 53.31/14.32 ✔0.97 YES
ICFP_2010_relative/132782.xml if YES timeout (wallclock) MAYBE 936.91/300.11 YES 51.24/13.75 YES 12.17/3.82 MAYBE 30.88/33.23 YES 46.14/12.64 ✔1.12 YES
ICFP_2010_relative/132833.xml if YES timeout (wallclock) MAYBE 937.89/300.10 YES 83.95/22.01 YES 13.25/3.98 MAYBE 30.85/33.24 YES 72.63/19.30 ✔1.12 YES
ICFP_2010_relative/132864.xml if YES timeout (wallclock) MAYBE 937.84/300.10 YES 50.88/15.34 YES 11.54/3.56 MAYBE 30.81/33.25 YES 58.64/15.77 ✔1.11 YES
ICFP_2010_relative/132920.xml if YES timeout (wallclock) MAYBE 937.71/300.09 YES 51.17/13.71 YES 12.18/3.50 MAYBE 31.09/33.23 YES 48.52/13.13 ✔0.85 YES
ICFP_2010_relative/132957.xml if YES timeout (wallclock) MAYBE 937.57/300.10 YES 69.66/18.51 YES 16.42/4.83 MAYBE 30.83/33.24 YES 62.34/16.69 ✔1.23 YES
ICFP_2010_relative/132969.xml if YES timeout (wallclock) MAYBE 936.23/300.00 timeout (wallclock) YES 25.43/9.00 MAYBE 30.87/33.16 timeout (wallclock) YES
ICFP_2010_relative/133010.xml if YES timeout (wallclock) MAYBE 937.35/300.10 YES 71.20/18.80 YES 11.82/3.68 MAYBE 31.11/33.27 YES 60.48/16.29 ✔1.61 YES
ICFP_2010_relative/133159.xml if YES timeout (wallclock) MAYBE 791.93/299.92 timeout (wallclock) YES 39.73/12.56 MAYBE 31.01/33.19 timeout (wallclock) YES
ICFP_2010_relative/133486.xml if YES timeout (wallclock) MAYBE 791.39/299.92 timeout (wallclock) YES 39.28/12.35 MAYBE 30.99/33.17 timeout (wallclock) YES
ICFP_2010_relative/133881.xml if YES timeout (wallclock) MAYBE 790.27/299.92 timeout (wallclock) YES 48.48/20.68 MAYBE 30.96/33.17 timeout (wallclock) YES
ICFP_2010_relative/134918.xml if YES timeout (wallclock) MAYBE 792.45/299.92 timeout (wallclock) YES 24.81/7.58 MAYBE 30.78/33.17 timeout (wallclock) YES
ICFP_2010_relative/135115.xml if YES timeout (wallclock) MAYBE 791.82/299.92 timeout (wallclock) YES 30.87/9.62 MAYBE 31.09/33.19 timeout (wallclock) YES
ICFP_2010_relative/135328.xml if YES timeout (wallclock) MAYBE 789.95/299.90 timeout (wallclock) YES 29.83/9.41 MAYBE 30.91/33.17 MAYBE 1172.85/300.44 YES
ICFP_2010_relative/135604.xml if YES timeout (wallclock) MAYBE 790.32/299.92 timeout (wallclock) YES 43.74/13.86 MAYBE 30.79/33.18 MAYBE 1164.08/297.10 YES
ICFP_2010_relative/135652.xml if YES timeout (wallclock) MAYBE 791.15/299.91 timeout (wallclock) YES 32.27/10.12 MAYBE 30.88/33.18 timeout (wallclock) YES
ICFP_2010_relative/135782.xml if YES timeout (wallclock) MAYBE 937.56/299.94 timeout (wallclock) YES 22.11/6.90 MAYBE 30.74/33.18 timeout (wallclock) YES
ICFP_2010_relative/135936.xml if YES timeout (wallclock) MAYBE 792.13/299.92 timeout (wallclock) YES 25.81/8.01 MAYBE 30.95/33.18 timeout (wallclock) YES
ICFP_2010_relative/136051.xml if YES timeout (wallclock) MAYBE 790.68/299.92 timeout (wallclock) YES 26.92/8.34 MAYBE 31.20/33.22 timeout (wallclock) YES
ICFP_2010_relative/136562.xml if YES timeout (wallclock) MAYBE 793.03/299.92 timeout (wallclock) YES 35.30/11.13 MAYBE 31.02/33.18 timeout (wallclock) YES
ICFP_2010_relative/136623.xml if YES timeout (wallclock) MAYBE 792.50/299.90 timeout (wallclock) YES 25.97/7.94 MAYBE 30.76/33.18 MAYBE 1160.02/297.28 YES
ICFP_2010_relative/137404.xml if YES timeout (wallclock) MAYBE 937.31/299.93 timeout (wallclock) YES 42.90/13.49 MAYBE 30.86/33.16 timeout (wallclock) YES
ICFP_2010_relative/137809.xml if YES timeout (wallclock) MAYBE 790.89/299.93 timeout (wallclock) YES 26.27/8.64 MAYBE 31.01/33.19 timeout (wallclock) YES
ICFP_2010_relative/138194.xml if YES timeout (wallclock) MAYBE 789.85/299.90 timeout (wallclock) YES 32.03/9.97 MAYBE 30.98/33.18 timeout (wallclock) YES
ICFP_2010_relative/138269.xml if YES timeout (wallclock) MAYBE 793.36/299.93 timeout (wallclock) YES 33.01/10.62 MAYBE 30.95/33.18 MAYBE 1176.75/300.94 YES
ICFP_2010_relative/138330.xml if YES timeout (wallclock) MAYBE 937.61/299.94 timeout (wallclock) YES 22.30/6.80 MAYBE 31.09/33.19 timeout (wallclock) YES
ICFP_2010_relative/138477.xml if YES timeout (wallclock) MAYBE 790.90/299.92 timeout (wallclock) YES 30.65/9.54 MAYBE 31.01/33.19 timeout (wallclock) YES
ICFP_2010_relative/138993.xml if YES timeout (wallclock) MAYBE 937.63/300.10 YES 53.09/14.29 YES 11.12/3.21 MAYBE 30.95/33.25 YES 54.48/14.70 ✔1.15 YES
ICFP_2010_relative/139004.xml if YES timeout (wallclock) MAYBE 937.32/300.09 YES 67.20/17.84 YES 11.32/3.25 MAYBE 30.89/33.25 YES 66.22/17.69 ✔1.68 YES
ICFP_2010_relative/139018.xml if YES timeout (wallclock) MAYBE 937.40/300.09 YES 57.71/15.41 YES 17.82/5.41 MAYBE 30.94/33.25 YES 60.74/16.28 ✔1.14 YES
ICFP_2010_relative/139025.xml if YES timeout (wallclock) MAYBE 937.91/300.09 YES 61.15/16.25 YES 10.72/3.39 MAYBE 30.81/33.24 YES 53.20/14.34 ✔1.05 YES
ICFP_2010_relative/139036.xml if YES timeout (wallclock) MAYBE 937.75/300.09 YES 65.76/17.47 YES 8.65/3.13 MAYBE 30.77/33.24 YES 56.09/15.14 ✔1.46 YES
ICFP_2010_relative/139100.xml if YES timeout (wallclock) MAYBE 937.81/300.10 YES 65.73/17.35 YES 12.79/3.88 MAYBE 31.01/33.29 YES 72.62/19.24 ✔1.02 YES
ICFP_2010_relative/139163.xml if YES timeout (wallclock) MAYBE 937.67/300.10 YES 73.54/21.83 YES 19.18/5.66 MAYBE 31.10/33.25 YES 87.07/23.10 ✔2.38 YES
ICFP_2010_relative/139167.xml if YES timeout (wallclock) MAYBE 937.85/300.10 YES 76.66/20.17 YES 11.40/3.34 MAYBE 30.89/33.25 YES 79.15/20.85 ✔1.33 YES
ICFP_2010_relative/139174.xml if YES timeout (wallclock) MAYBE 936.90/300.10 YES 51.48/14.52 YES 10.35/3.06 MAYBE 30.87/33.25 YES 52.00/15.96 ✔1.13 YES
ICFP_2010_relative/139180.xml if YES timeout (wallclock) MAYBE 936.53/300.09 YES 98.32/25.57 YES 10.60/3.15 MAYBE 30.84/33.23 YES 117.54/30.61 ✔1.88 YES
ICFP_2010_relative/139185.xml if YES timeout (wallclock) MAYBE 937.38/300.10 YES 51.31/13.79 YES 12.20/3.77 MAYBE 30.83/33.24 YES 68.86/18.36 ✔1.12 YES
ICFP_2010_relative/139190.xml if YES timeout (wallclock) MAYBE 937.29/300.10 YES 61.97/16.48 YES 11.67/3.41 MAYBE 30.88/33.23 YES 70.75/18.87 ✔0.85 YES
ICFP_2010_relative/139214.xml if YES timeout (wallclock) MAYBE 937.92/300.10 YES 57.35/15.33 YES 14.14/4.33 MAYBE 30.83/33.24 YES 52.74/14.31 ✔1.09 YES
ICFP_2010_relative/139236.xml if YES timeout (wallclock) MAYBE 937.38/300.10 YES 49.84/13.45 YES 11.18/3.49 MAYBE 30.94/33.25 YES 52.51/14.14 ✔0.99 YES
ICFP_2010_relative/139256.xml if YES timeout (wallclock) MAYBE 937.35/300.11 YES 105.06/27.27 YES 11.55/3.72 MAYBE 30.89/33.25 YES 78.67/28.20 ✔1.77 YES
ICFP_2010_relative/139282.xml if YES timeout (wallclock) MAYBE 937.83/300.11 YES 58.23/15.53 YES 20.49/7.51 MAYBE 31.05/33.27 YES 67.61/18.02 ✔1.20 YES
ICFP_2010_relative/139310.xml if YES timeout (wallclock) MAYBE 937.82/300.10 YES 55.52/14.86 YES 9.41/2.83 MAYBE 30.59/33.24 YES 59.03/15.87 ✔0.95 YES
ICFP_2010_relative/139378.xml if YES timeout (wallclock) MAYBE 937.93/300.10 YES 65.70/17.44 YES 9.74/2.86 MAYBE 30.82/33.24 YES 59.03/15.83 ✔1.25 YES
ICFP_2010_relative/140287.xml if YES timeout (wallclock) MAYBE 937.48/300.09 timeout (wallclock) timeout (wallclock) MAYBE 31.06/33.25 timeout (wallclock) YES
ICFP_2010_relative/140318.xml if YES timeout (wallclock) MAYBE 937.78/300.10 YES 53.75/14.39 YES 14.02/4.22 MAYBE 30.98/33.24 YES 53.99/14.51 ✔0.98 YES
ICFP_2010_relative/140359.xml if YES timeout (wallclock) MAYBE 937.46/300.10 YES 58.75/15.74 YES 11.32/3.26 MAYBE 30.83/33.24 YES 56.19/15.15 ✔1.03 YES
ICFP_2010_relative/140631.xml uf MAYBE timeout (wallclock) MAYBE 937.34/299.87 timeout (wallclock) timeout (wallclock) MAYBE 30.54/32.96 timeout (wallclock) MAYBE
ICFP_2010_relative/140639.xml uf MAYBE timeout (wallclock) MAYBE 937.25/299.87 timeout (wallclock) timeout (wallclock) MAYBE 30.73/33.16 timeout (wallclock) MAYBE
ICFP_2010_relative/140649.xml uf MAYBE timeout (wallclock) MAYBE 937.14/299.88 timeout (wallclock) timeout (wallclock) MAYBE 30.55/32.97 timeout (wallclock) MAYBE
ICFP_2010_relative/140654.xml uf MAYBE timeout (wallclock) MAYBE 918.42/299.87 timeout (wallclock) timeout (wallclock) MAYBE 30.32/32.96 timeout (wallclock) MAYBE
ICFP_2010_relative/140659.xml uf MAYBE timeout (wallclock) MAYBE 936.89/299.85 timeout (wallclock) timeout (wallclock) MAYBE 30.69/32.95 MAYBE 1172.35/298.98 MAYBE
ICFP_2010_relative/140664.xml uf MAYBE timeout (wallclock) MAYBE 937.33/299.85 timeout (wallclock) timeout (wallclock) MAYBE 30.33/32.95 timeout (wallclock) MAYBE
ICFP_2010_relative/142142.xml if YES timeout (wallclock) MAYBE 936.45/299.87 timeout (wallclock) timeout (wallclock) MAYBE 30.54/32.96 MAYBE 1167.63/296.84 YES
ICFP_2010_relative/142146.xml if YES timeout (wallclock) MAYBE 937.26/299.85 YES 44.24/12.02 YES 7.08/2.20 MAYBE 30.61/32.95 YES 51.35/13.86 ✔0.76 YES
ICFP_2010_relative/142150.xml uf MAYBE timeout (wallclock) MAYBE 937.53/299.87 timeout (wallclock) timeout (wallclock) MAYBE 30.64/32.95 timeout (wallclock) MAYBE
ICFP_2010_relative/142157.xml uf MAYBE timeout (wallclock) MAYBE 936.00/299.86 timeout (wallclock) timeout (wallclock) MAYBE 30.58/32.95 timeout (wallclock) MAYBE
ICFP_2010_relative/3268.xml if YES timeout (wallclock) MAYBE 815.89/299.38 timeout (wallclock) YES 11.80/3.30 MAYBE 29.83/32.40 timeout (wallclock) YES
ICFP_2010_relative/3336.xml if YES MAYBE 1.34/1.29 MAYBE 652.46/299.40 MAYBE 1.26/0.59 YES 28.45/7.61 MAYBE 22.48/7.39 MAYBE 1.26/0.60 YES
ICFP_2010_relative/3385.xml if YES timeout (wallclock) MAYBE 814.33/299.41 timeout (wallclock) YES 28.06/7.38 MAYBE 29.86/32.42 MAYBE 1160.51/293.01 YES
ICFP_2010_relative/3450.xml if YES timeout (wallclock) MAYBE 936.61/299.52 timeout (wallclock) YES 59.03/18.00 MAYBE 30.18/32.60 timeout (wallclock) YES
ICFP_2010_relative/3467.xml if YES timeout (wallclock) MAYBE 935.96/299.52 timeout (wallclock) YES 18.05/5.10 MAYBE 30.11/32.58 timeout (wallclock) YES
ICFP_2010_relative/3498.xml if YES timeout (wallclock) MAYBE 871.89/299.50 timeout (wallclock) YES 10.27/2.95 MAYBE 30.16/32.56 timeout (wallclock) YES
ICFP_2010_relative/3533.xml if YES timeout (wallclock) MAYBE 936.80/299.52 timeout (wallclock) timeout (wallclock) MAYBE 30.40/32.60 timeout (wallclock) YES
ICFP_2010_relative/3562.xml if YES timeout (wallclock) MAYBE 936.80/299.52 timeout (wallclock) YES 49.34/14.92 MAYBE 30.33/32.59 timeout (wallclock) YES
ICFP_2010_relative/3589.xml if YES timeout (wallclock) MAYBE 936.75/299.52 timeout (wallclock) YES 75.66/19.39 MAYBE 30.27/32.58 timeout (wallclock) YES
ICFP_2010_relative/3633.xml if YES timeout (wallclock) MAYBE 937.15/299.52 timeout (wallclock) YES 481.87/155.67 MAYBE 30.12/32.60 timeout (wallclock) YES
ICFP_2010_relative/3680.xml if YES timeout (wallclock) MAYBE 937.30/299.53 YES 87.26/22.71 YES 11.90/3.68 MAYBE 30.30/32.59 YES 99.28/26.03 ✔1.81 YES
ICFP_2010_relative/3705.xml if YES timeout (wallclock) MAYBE 936.61/299.52 timeout (wallclock) YES 282.07/90.64 MAYBE 30.28/32.61 timeout (wallclock) YES
ICFP_2010_relative/3729.xml if YES timeout (wallclock) MAYBE 936.80/299.52 timeout (wallclock) YES 15.53/4.63 MAYBE 30.44/32.61 timeout (wallclock) YES
ICFP_2010_relative/3746.xml uf MAYBE timeout (wallclock) MAYBE 937.08/299.51 timeout (wallclock) timeout (wallclock) MAYBE 30.19/32.59 MAYBE 1149.19/293.33 MAYBE
ICFP_2010_relative/3762.xml if YES timeout (wallclock) MAYBE 936.73/299.51 timeout (wallclock) timeout (wallclock) MAYBE 30.17/32.59 timeout (wallclock) YES
ICFP_2010_relative/3770.xml uf MAYBE timeout (wallclock) MAYBE 936.48/299.52 timeout (wallclock) timeout (wallclock) MAYBE 30.43/32.78 timeout (wallclock) MAYBE
ICFP_2010_relative/3786.xml if YES timeout (wallclock) MAYBE 936.61/299.52 timeout (wallclock) YES 81.16/20.75 MAYBE 30.19/32.60 MAYBE 1171.80/298.47 YES
ICFP_2010_relative/3817.xml if YES timeout (wallclock) MAYBE 936.65/299.53 timeout (wallclock) timeout (wallclock) MAYBE 30.27/32.60 timeout (wallclock) YES
ICFP_2010_relative/3831.xml if YES timeout (wallclock) MAYBE 937.36/299.52 YES 94.77/24.63 YES 12.52/3.67 MAYBE 30.28/32.58 YES 120.54/31.27 ✔0.99 YES
ICFP_2010_relative/3842.xml if YES timeout (wallclock) MAYBE 937.24/299.52 timeout (wallclock) YES 46.11/11.90 MAYBE 30.18/32.59 timeout (wallclock) YES
ICFP_2010_relative/3856.xml if YES timeout (wallclock) MAYBE 937.29/299.52 YES 113.29/29.24 YES 13.68/4.30 MAYBE 30.30/32.60 YES 119.56/30.91 ✔1.28 YES
ICFP_2010_relative/3861.xml if YES timeout (wallclock) MAYBE 937.13/299.51 timeout (wallclock) YES 128.27/32.68 MAYBE 30.19/32.59 timeout (wallclock) YES
ICFP_2010_relative/3865.xml if YES timeout (wallclock) MAYBE 936.92/299.52 timeout (wallclock) YES 551.80/144.75 MAYBE 30.39/32.59 timeout (wallclock) YES
ICFP_2010_relative/3916.xml uf MAYBE MAYBE 29.15/28.18 MAYBE 653.31/299.49 MAYBE 1.31/0.62 timeout (wallclock) MAYBE 22.63/7.48 MAYBE 1.29/0.63 MAYBE
ICFP_2010_relative/3930.xml if YES timeout (wallclock) MAYBE 936.91/299.51 timeout (wallclock) YES 101.19/25.76 MAYBE 30.11/32.59 timeout (wallclock) YES
ICFP_2010_relative/3939.xml if YES timeout (wallclock) MAYBE 936.79/299.52 timeout (wallclock) YES 35.40/10.78 MAYBE 30.22/32.58 timeout (wallclock) YES
ICFP_2010_relative/3989.xml uf MAYBE timeout (wallclock) MAYBE 937.15/299.51 timeout (wallclock) timeout (wallclock) MAYBE 30.19/32.60 timeout (wallclock) MAYBE
ICFP_2010_relative/3995.xml if YES timeout (wallclock) MAYBE 936.81/299.52 timeout (wallclock) YES 42.67/13.06 MAYBE 30.18/32.59 timeout (wallclock) YES
ICFP_2010_relative/4002.xml uf MAYBE timeout (wallclock) MAYBE 883.76/299.49 timeout (wallclock) timeout (wallclock) MAYBE 30.18/32.54 MAYBE 1150.78/296.13 MAYBE
ICFP_2010_relative/4017.xml if YES timeout (wallclock) MAYBE 937.09/299.52 timeout (wallclock) timeout (wallclock) MAYBE 30.10/32.58 timeout (wallclock) YES
ICFP_2010_relative/4029.xml if YES timeout (wallclock) MAYBE 936.89/299.52 timeout (wallclock) YES 519.97/168.12 MAYBE 30.26/32.60 MAYBE 1168.57/299.28 YES
ICFP_2010_relative/4036.xml if YES timeout (wallclock) MAYBE 936.95/299.52 YES 106.93/27.75 YES 10.94/3.35 MAYBE 30.21/32.59 YES 120.20/31.23 ✔1.36 YES
ICFP_2010_relative/4046.xml uf MAYBE MAYBE 19.01/18.05 MAYBE 653.49/299.50 MAYBE 1.22/0.57 timeout (wallclock) MAYBE 22.59/7.50 MAYBE 1.17/0.58 MAYBE
ICFP_2010_relative/4051.xml if YES timeout (wallclock) MAYBE 937.24/299.51 YES 186.32/47.70 YES 9.84/3.02 MAYBE 30.21/32.58 YES 186.60/48.00 ✔1.82 YES
ICFP_2010_relative/4057.xml if YES timeout (wallclock) MAYBE 937.05/299.51 timeout (wallclock) YES 56.47/14.52 MAYBE 29.96/32.59 timeout (wallclock) YES
ICFP_2010_relative/4074.xml if YES timeout (wallclock) MAYBE 936.95/299.51 timeout (wallclock) YES 14.28/4.22 MAYBE 30.24/32.61 timeout (wallclock) YES
ICFP_2010_relative/4106.xml uf MAYBE timeout (wallclock) MAYBE 871.49/299.49 timeout (wallclock) timeout (wallclock) MAYBE 30.26/32.55 MAYBE 1152.13/294.86 MAYBE
ICFP_2010_relative/41378.xml if YES timeout (wallclock) timeout (wallclock) timeout (wallclock) YES 21.63/6.07 MAYBE 36.51/38.66 timeout (wallclock) YES
ICFP_2010_relative/4141.xml if YES timeout (wallclock) MAYBE 936.82/299.50 timeout (wallclock) YES 35.09/9.97 MAYBE 30.38/32.58 timeout (wallclock) YES
ICFP_2010_relative/4157.xml if YES timeout (wallclock) MAYBE 937.19/299.52 timeout (wallclock) timeout (wallclock) MAYBE 30.39/32.58 timeout (wallclock) YES
ICFP_2010_relative/4181.xml if YES timeout (wallclock) MAYBE 937.13/299.52 YES 181.72/46.74 YES 12.72/3.86 MAYBE 30.21/32.61 YES 196.25/50.33 ✔1.48 YES
ICFP_2010_relative/4200.xml if YES timeout (wallclock) MAYBE 936.15/299.52 timeout (wallclock) timeout (wallclock) MAYBE 30.39/32.61 timeout (wallclock) YES
ICFP_2010_relative/4248.xml uf MAYBE timeout (wallclock) MAYBE 937.12/299.52 timeout (wallclock) timeout (wallclock) MAYBE 30.27/32.60 timeout (wallclock) MAYBE
ICFP_2010_relative/4282.xml if YES timeout (wallclock) MAYBE 821.69/299.52 timeout (wallclock) YES 11.88/3.53 MAYBE 30.16/32.55 timeout (wallclock) YES
ICFP_2010_relative/4374.xml uf MAYBE timeout (wallclock) MAYBE 937.26/299.53 timeout (wallclock) timeout (wallclock) MAYBE 30.24/32.58 timeout (wallclock) MAYBE
ICFP_2010_relative/4412.xml if YES timeout (wallclock) MAYBE 937.07/299.52 YES 122.11/31.52 YES 13.14/3.71 MAYBE 30.15/32.61 YES 114.49/29.74 ✔1.44 YES
ICFP_2010_relative/4484.xml if YES timeout (wallclock) MAYBE 936.75/299.52 timeout (wallclock) YES 170.80/43.35 MAYBE 30.14/32.57 timeout (wallclock) YES
ICFP_2010_relative/4487.xml if YES timeout (wallclock) MAYBE 937.27/299.51 timeout (wallclock) YES 14.96/4.33 MAYBE 30.20/32.58 timeout (wallclock) YES
ICFP_2010_relative/4816.xml if YES timeout (wallclock) MAYBE 936.90/299.52 YES 162.61/41.83 YES 8.66/2.71 MAYBE 30.19/32.60 YES 162.75/42.20 ✔1.15 YES
ICFP_2010_relative/4819.xml if YES timeout (wallclock) MAYBE 930.76/299.50 YES 73.71/19.29 YES 16.69/4.60 MAYBE 30.07/32.56 YES 78.73/21.09 ✔1.22 YES
ICFP_2010_relative/4824.xml if YES timeout (wallclock) MAYBE 937.24/299.50 timeout (wallclock) YES 16.61/4.65 MAYBE 30.26/32.59 timeout (wallclock) YES
ICFP_2010_relative/4827.xml uf MAYBE timeout (wallclock) MAYBE 937.25/299.50 timeout (wallclock) timeout (wallclock) MAYBE 30.11/32.56 timeout (wallclock) MAYBE
ICFP_2010_relative/4840.xml if YES timeout (wallclock) MAYBE 936.82/299.51 timeout (wallclock) timeout (wallclock) MAYBE 30.14/32.60 timeout (wallclock) YES
ICFP_2010_relative/4847.xml if YES timeout (wallclock) MAYBE 937.40/299.52 timeout (wallclock) YES 423.18/136.20 MAYBE 30.26/32.57 timeout (wallclock) YES
ICFP_2010_relative/4854.xml if YES timeout (wallclock) MAYBE 937.26/299.52 timeout (wallclock) YES 590.96/191.37 MAYBE 30.25/32.60 MAYBE 1175.57/299.76 YES
ICFP_2010_relative/4893.xml if YES timeout (wallclock) MAYBE 937.22/299.51 YES 875.00/256.51 YES 12.05/3.36 MAYBE 30.16/32.57 YES 784.00/224.92 ✔1.67 YES
ICFP_2010_relative/4920.xml if YES timeout (wallclock) MAYBE 936.36/299.51 timeout (wallclock) timeout (wallclock) MAYBE 30.28/32.79 timeout (wallclock) YES
ICFP_2010_relative/4934.xml uf MAYBE timeout (wallclock) MAYBE 936.89/299.51 timeout (wallclock) timeout (wallclock) MAYBE 30.34/32.76 timeout (wallclock) MAYBE
ICFP_2010_relative/4938.xml if YES timeout (wallclock) MAYBE 935.17/299.51 timeout (wallclock) YES 13.81/4.83 MAYBE 30.43/32.60 timeout (wallclock) YES
ICFP_2010_relative/4943.xml if YES timeout (wallclock) MAYBE 937.01/299.53 timeout (wallclock) YES 19.25/5.23 MAYBE 30.26/32.58 timeout (wallclock) YES
ICFP_2010_relative/4953.xml if YES timeout (wallclock) MAYBE 937.26/299.52 timeout (wallclock) YES 326.67/105.42 MAYBE 30.13/32.61 timeout (wallclock) YES
ICFP_2010_relative/4964.xml if YES timeout (wallclock) MAYBE 937.13/299.51 timeout (wallclock) YES 27.12/7.17 MAYBE 30.33/32.58 timeout (wallclock) YES
ICFP_2010_relative/4970.xml if YES MAYBE 19.35/18.42 MAYBE 653.25/299.48 MAYBE 1.25/0.59 timeout (wallclock) MAYBE 22.59/7.47 MAYBE 1.23/0.60 YES
ICFP_2010_relative/4979.xml if YES timeout (wallclock) MAYBE 936.90/299.50 timeout (wallclock) YES 484.18/122.21 MAYBE 30.08/32.58 timeout (wallclock) YES
ICFP_2010_relative/4991.xml inf YES timeout (wallclock) MAYBE 936.15/299.53 timeout (wallclock) YES 60.30/15.64 MAYBE 30.17/32.59 timeout (wallclock) MAYBE
ICFP_2010_relative/5011.xml uf MAYBE MAYBE 40.59/39.61 MAYBE 653.37/299.50 MAYBE 1.26/0.60 timeout (wallclock) MAYBE 22.64/7.50 MAYBE 1.23/0.61 MAYBE
ICFP_2010_relative/5076.xml if YES timeout (wallclock) MAYBE 936.43/299.50 timeout (wallclock) YES 177.57/44.95 MAYBE 30.18/32.57 timeout (wallclock) YES
ICFP_2010_relative/5109.xml if YES timeout (wallclock) MAYBE 854.58/299.59 YES 86.25/25.58 YES 13.91/4.26 MAYBE 30.04/32.59 YES 88.51/23.35 ✔1.61 YES
ICFP_2010_relative/5130.xml if YES timeout (wallclock) MAYBE 937.23/299.51 YES 92.28/24.10 YES 12.70/3.79 MAYBE 30.22/32.60 YES 105.26/27.35 ✔1.00 YES
ICFP_2010_relative/54097.xml if YES timeout (wallclock) timeout (wallclock) timeout (wallclock) YES 23.20/6.79 MAYBE 36.61/38.66 timeout (wallclock) YES
ICFP_2010_relative/63142.xml if YES timeout (wallclock) MAYBE 844.38/299.56 timeout (wallclock) timeout (wallclock) MAYBE 30.10/32.60 timeout (wallclock) YES
ICFP_2010_relative/64160.xml uf MAYBE timeout (wallclock) MAYBE 871.18/299.57 timeout (wallclock) timeout (wallclock) MAYBE 30.12/32.61 MAYBE 1157.28/295.68 MAYBE
ICFP_2010_relative/88143.xml if YES timeout (wallclock) MAYBE 817.87/299.54 YES 33.96/9.27 YES 5.09/1.57 MAYBE 30.15/32.58 YES 38.25/10.47 ✔0.45 YES
ICFP_2010_relative/88172.xml if YES timeout (wallclock) MAYBE 936.52/299.57 timeout (wallclock) YES 4.68/1.47 MAYBE 30.07/32.60 timeout (wallclock) YES
ICFP_2010_relative/91242.xml uf MAYBE timeout (wallclock) MAYBE 937.75/300.04 timeout (wallclock) timeout (wallclock) MAYBE 30.87/33.15 timeout (wallclock) MAYBE
ICFP_2010_relative/97888.xml uf MAYBE timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 31.97/34.29 timeout (wallclock) MAYBE
ICFP_2010_relative/97901.xml uf MAYBE timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 32.08/34.37 timeout (wallclock) MAYBE
ICFP_2010_relative/97917.xml uf MAYBE timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 31.85/34.28 timeout (wallclock) MAYBE
ICFP_2010_relative/97929.xml uf MAYBE timeout (wallclock) timeout (wallclock) timeout (wallclock) timeout (wallclock) MAYBE 31.94/34.27 timeout (wallclock) MAYBE
Waldmann_06_relative/r1.xml if YES MAYBE 0.03/0.03 MAYBE 606.50/299.34 MAYBE 0.93/0.52 YES 1.45/0.60 MAYBE 8.78/7.30 MAYBE 0.94/0.54 YES
Waldmann_06_relative/r10.xml if YES MAYBE 1.06/0.94 MAYBE 777.07/299.34 YES 497.05/125.36 YES 4.63/1.40 MAYBE 29.45/32.32 YES 464.99/117.94 ✔0.00 YES
Waldmann_06_relative/r2.xml if YES MAYBE 0.03/0.03 YES 18.96/5.12 MAYBE 0.95/0.56 timeout (wallclock) MAYBE 9.58/7.30 MAYBE 1.00/0.58 YES
Waldmann_06_relative/r3.xml if YES MAYBE 0.23/0.22 YES 4.12/1.29 YES 30.87/8.58 YES 2.14/0.77 YES 3.20/1.03 ✔0.00 YES 33.65/9.24 ✔0.01 YES
Waldmann_06_relative/r4.xml if YES MAYBE 0.23/0.21 MAYBE 775.54/299.34 YES 1024.66/275.06 timeout (wallclock) MAYBE 29.25/32.31 YES 806.17/213.63 ✔0.60 YES
Waldmann_06_relative/r5.xml if YES MAYBE 0.23/0.23 YES 10.03/2.79 YES 22.46/6.61 timeout (wallclock) YES 4.39/1.34 ✔0.00 YES 20.00/5.76 ✔0.00 YES
Waldmann_06_relative/r6.xml if YES MAYBE 0.24/0.22 YES 6.02/1.80 YES 12.04/3.85 YES 1.24/0.55 YES 4.59/1.40 ✔0.01 YES 13.12/4.04 ✔0.00 YES
Waldmann_06_relative/r7.xml if YES MAYBE 0.26/0.23 YES 3.81/1.21 YES 7.97/2.75 YES 0.59/0.37 YES 3.50/1.11 ✔0.00 YES 8.73/2.95 ✔0.01 YES
Waldmann_06_relative/r8.xml if YES MAYBE 0.72/0.64 YES 8.42/2.38 YES 18.14/5.27 YES 1.74/0.66 YES 7.11/2.01 ✔0.00 YES 22.57/6.45 ✔0.00 YES
Waldmann_06_relative/r9.xml f YES YES 0.05/0.05 YES 2.26/0.82 YES 22.45/6.39 YES 1.14/0.52 YES 8.04/2.25 ✔0.00 YES 21.82/6.27 ✔0.00 YES
Waldmann_06_relative/rbeans.xml if YES MAYBE 0.03/0.03 MAYBE 613.67/299.42 MAYBE 0.96/0.53 timeout (wallclock) MAYBE 9.07/7.31 MAYBE 0.99/0.54 YES
Zantema_06_relative/cars.xml uf MAYBE MAYBE 0.28/0.24 MAYBE 915.56/299.35 timeout (wallclock) timeout (wallclock) MAYBE 29.63/32.33 timeout (wallclock) MAYBE
Zantema_06_relative/rel01.xml if YES MAYBE 0.20/0.18 YES 4.87/1.48 YES 9.15/3.03 YES 1.59/0.62 YES 3.95/1.23 ✔0.00 YES 9.10/3.07 ✔0.00 YES
Zantema_06_relative/rel02.xml if YES MAYBE 0.45/0.42 MAYBE 1067.44/299.35 YES 14.90/4.48 YES 2.96/1.00 MAYBE 22.36/32.31 YES 19.69/5.69 ✔0.02 YES
Zantema_06_relative/rel03.xml uf MAYBE MAYBE 0.50/0.44 MAYBE 785.04/299.34 timeout (wallclock) timeout (wallclock) MAYBE 19.42/32.31 timeout (wallclock) MAYBE
Zantema_06_relative/rel04.xml if YES MAYBE 0.31/0.26 YES 15.79/4.22 YES 13.08/4.08 YES 1.66/4.00 YES 5.25/1.55 ✔0.01 YES 17.47/5.19 ✔0.00 YES
Zantema_06_relative/rel05.xml if YES MAYBE 0.28/0.26 YES 10.10/2.79 YES 12.16/3.86 YES 1.69/0.65 YES 2.62/0.90 ✔0.01 YES 12.49/3.98 ✔0.00 YES
Zantema_06_relative/rel06.xml if YES MAYBE 0.22/0.20 MAYBE 784.60/299.34 YES 27.36/7.63 timeout (wallclock) MAYBE 22.97/32.31 YES 30.47/8.50 ✔0.05 YES
Zantema_06_relative/rel07.xml uf MAYBE MAYBE 0.47/0.41 MAYBE 787.64/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.15/32.31 MAYBE 1175.07/296.42 MAYBE
Zantema_06_relative/rel08.xml if YES MAYBE 0.28/0.25 MAYBE 787.49/299.34 YES 11.77/3.75 YES 17.77/4.81 YES 13.41/3.61 ✔0.01 YES 15.00/4.55 ✔0.00 YES
Zantema_06_relative/rel09.xml if YES YES 0.54/0.51 MAYBE 944.19/299.34 YES 31.12/8.60 YES 57.56/14.75 YES 8.81/2.45 ✔0.01 YES 50.78/13.81 ✔0.01 YES
Zantema_06_relative/rel10.xml if YES YES 0.57/0.53 MAYBE 797.15/299.33 YES 59.39/18.12 YES 3.13/1.02 YES 4.73/1.43 ✔0.00 YES 26.72/7.62 ✔0.01 YES
Zantema_06_relative/rel11.xml uf MAYBE MAYBE 0.34/0.31 MAYBE 944.37/299.35 timeout (wallclock) timeout (wallclock) MAYBE 29.66/32.31 MAYBE 1166.76/293.16 MAYBE
Zantema_06_relative/rel12.xml uf MAYBE MAYBE 0.62/0.57 MAYBE 785.76/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.64/32.31 timeout (wallclock) MAYBE
Zantema_06_relative/rel13.xml if YES MAYBE 0.22/0.20 YES 12.90/3.51 YES 10.70/3.45 YES 0.84/0.47 YES 10.58/2.90 ✔0.01 YES 11.79/3.73 ✔0.00 YES
Waldmann_19/random-10.xml f YES YES 0.35/0.30 YES 5.54/1.65 YES 9.53/3.12 YES 0.76/0.93 YES 5.83/1.72 ✔0.00 YES 9.94/3.24 ✔0.00 YES
Waldmann_19/random-105.xml f YES YES 0.95/0.85 YES 8.99/2.52 YES 25.60/7.16 YES 1.53/0.62 YES 12.10/3.27 ✔0.01 YES 25.90/7.28 ✔0.00 YES
Waldmann_19/random-106.xml uf MAYBE MAYBE 6.98/6.86 MAYBE 787.04/299.35 timeout (wallclock) timeout (wallclock) MAYBE 29.67/32.32 timeout (wallclock) MAYBE
Waldmann_19/random-109.xml f YES YES 0.07/0.07 YES 22.30/5.86 YES 8.71/2.93 YES 1.84/0.71 YES 19.47/5.11 ✔0.01 YES 7.34/2.59 ✔0.02 YES
Waldmann_19/random-11.xml if YES MAYBE 0.66/0.60 MAYBE 785.16/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.58/32.31 timeout (cpu) YES
Waldmann_19/random-110.xml f YES YES 0.08/0.08 YES 11.59/3.16 YES 9.74/3.18 YES 257.81/65.14 YES 16.20/4.33 ✔0.01 YES 10.04/3.31 ✔0.00 YES
Waldmann_19/random-113.xml f YES YES 0.36/0.31 YES 23.57/6.17 YES 8.35/2.82 YES 2.83/0.96 YES 14.46/3.86 ✔0.01 YES 8.27/2.85 ✔0.02 YES
Waldmann_19/random-115.xml if YES YES 0.94/0.88 MAYBE 1086.67/299.34 YES 9.07/3.01 YES 1.82/0.70 YES 11.59/3.14 ✔0.01 YES 9.26/3.12 ✔0.01 YES
Waldmann_19/random-116.xml if YES MAYBE 1.03/0.97 YES 23.45/6.16 YES 9.32/3.07 YES 1.69/0.65 YES 16.00/4.26 ✔0.00 YES 9.49/3.16 ✔0.01 YES
Waldmann_19/random-120.xml if YES MAYBE 0.67/0.63 YES 16.97/4.53 YES 10.65/3.42 YES 70.73/18.14 YES 5.45/1.61 ✔0.00 YES 7.66/2.70 ✔0.01 YES
Waldmann_19/random-123.xml if YES MAYBE 0.87/0.81 YES 119.19/30.31 timeout (wallclock) timeout (wallclock) MAYBE 29.66/32.31 timeout (wallclock) YES
Waldmann_19/random-126.xml if YES YES 0.14/0.13 MAYBE 796.82/299.34 YES 8.21/2.81 timeout (wallclock) YES 1.29/0.56 ✔0.00 YES 8.02/2.80 ✔0.00 YES
Waldmann_19/random-130.xml if NO MAYBE 14.98/14.85 MAYBE 787.65/299.34 timeout (wallclock) NO 6.97/2.13 MAYBE 29.63/32.31 timeout (wallclock) NO
Waldmann_19/random-134.xml f YES YES 0.56/0.51 YES 21.19/5.59 YES 8.34/2.90 YES 1.50/0.60 YES 9.87/2.71 ✔0.01 YES 9.10/3.11 ✔0.03 YES
Waldmann_19/random-137.xml f YES YES 0.06/0.06 YES 2.04/0.77 YES 6.28/2.25 YES 3.20/1.04 YES 0.83/0.44 ✔0.00 YES 8.46/2.84 ✔0.01 YES
Waldmann_19/random-14.xml f YES YES 0.18/0.17 YES 66.65/17.03 YES 11.29/3.64 YES 11.46/3.22 YES 14.01/3.76 ✔0.01 YES 11.33/3.62 ✔0.00 YES
Waldmann_19/random-140.xml f YES YES 0.11/0.11 YES 37.19/9.63 YES 8.16/2.77 YES 1.41/0.59 YES 7.12/2.02 ✔0.00 YES 8.53/2.90 ✔0.01 YES
Waldmann_19/random-141.xml if NO MAYBE 0.72/0.67 NO 631.06/221.22 NO 559.64/140.85 NO 2.10/10.55 MAYBE 29.65/32.31 NO 514.48/129.51 ✔0.00 NO
Waldmann_19/random-142.xml f YES YES 0.08/0.07 YES 15.06/4.04 YES 10.68/3.42 YES 14.38/3.93 YES 18.67/4.93 ✔0.01 YES 10.12/3.34 ✔0.00 YES
Waldmann_19/random-145.xml f YES YES 0.63/0.57 YES 48.60/12.53 YES 28.97/8.00 YES 1.71/0.66 YES 12.75/3.43 ✔0.01 YES 30.06/8.40 ✔0.00 YES
Waldmann_19/random-146.xml if YES MAYBE 0.55/0.51 YES 7.44/2.13 YES 9.96/3.28 YES 1.35/0.64 YES 7.51/2.13 ✔0.00 YES 9.51/3.13 ✔0.02 YES
Waldmann_19/random-148.xml if YES YES 0.91/0.87 YES 79.89/20.32 YES 128.68/33.00 timeout (wallclock) MAYBE 29.74/32.31 YES 132.44/36.76 ✔0.02 YES
Waldmann_19/random-149.xml f YES YES 0.23/0.24 YES 5.30/1.60 YES 10.22/3.33 YES 1.22/0.54 YES 7.15/2.03 ✔0.01 YES 10.15/3.91 ✔0.02 YES
Waldmann_19/random-150.xml if YES MAYBE 1.48/1.40 YES 58.22/14.95 YES 29.51/8.21 timeout (wallclock) MAYBE 29.66/32.32 YES 29.76/8.29 ✔0.05 YES
Waldmann_19/random-151.xml if YES MAYBE 1.42/1.39 MAYBE 779.28/299.35 YES 46.76/12.68 timeout (wallclock) MAYBE 29.48/32.32 YES 47.08/12.73 ✔0.01 YES
Waldmann_19/random-152.xml if YES MAYBE 0.46/0.43 YES 32.60/8.46 YES 30.57/8.46 timeout (wallclock) MAYBE 29.53/32.31 YES 30.48/8.41 ✔0.05 YES
Waldmann_19/random-159.xml if YES MAYBE 0.70/0.64 YES 21.04/5.62 YES 33.11/9.03 YES 2.17/0.78 YES 12.69/3.42 ✔0.01 YES 36.19/9.84 ✔0.01 YES
Waldmann_19/random-16.xml f YES YES 0.04/0.05 YES 10.00/2.77 YES 8.83/2.94 YES 53.35/13.81 YES 1.08/0.51 ✔0.00 YES 8.31/2.78 ✔0.00 YES
Waldmann_19/random-160.xml f YES YES 0.05/0.05 YES 10.02/2.78 YES 8.02/2.75 YES 1.89/0.70 YES 1.15/0.53 ✔0.00 YES 8.17/2.77 ✔0.00 YES
Waldmann_19/random-162.xml f YES YES 0.10/0.10 YES 8.38/2.39 YES 7.77/2.69 YES 1.53/0.63 YES 8.06/2.26 ✔0.00 YES 8.75/3.41 ✔0.01 YES
Waldmann_19/random-163.xml uf MAYBE MAYBE 0.99/0.92 MAYBE 787.96/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.66/32.33 timeout (wallclock) MAYBE
Waldmann_19/random-164.xml f YES YES 0.07/0.07 YES 17.09/4.56 YES 8.30/2.79 YES 228.20/57.69 YES 1.37/0.58 ✔0.00 YES 8.50/2.83 ✔0.00 YES
Waldmann_19/random-166.xml if YES MAYBE 2.86/2.75 MAYBE 61.95/15.87 timeout (wallclock) timeout (wallclock) MAYBE 29.55/32.31 timeout (wallclock) YES
Waldmann_19/random-168.xml f YES YES 0.47/0.43 YES 12.31/3.36 YES 8.46/2.85 YES 2.64/0.91 YES 8.11/2.28 ✔0.00 YES 9.20/3.15 ✔0.03 YES
Waldmann_19/random-172.xml if YES MAYBE 12.24/12.11 YES 41.27/10.71 YES 9.37/3.11 YES 1.89/0.70 MAYBE 29.59/32.32 YES 9.31/3.08 ✔0.01 YES
Waldmann_19/random-173.xml f YES YES 0.05/0.05 YES 11.07/3.05 YES 10.21/3.29 YES 694.27/175.15 YES 9.86/2.71 ✔0.00 YES 12.32/3.88 ✔0.00 YES
Waldmann_19/random-175.xml uf MAYBE MAYBE 12.91/12.73 MAYBE 788.47/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.78/32.31 timeout (wallclock) MAYBE
Waldmann_19/random-176.xml uf MAYBE MAYBE 19.63/19.50 MAYBE 788.60/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.69/32.32 timeout (wallclock) MAYBE
Waldmann_19/random-177.xml if NO MAYBE 1.51/1.45 MAYBE 785.87/299.34 timeout (cpu) NO 31.37/8.20 MAYBE 29.77/32.31 timeout (wallclock) NO
Waldmann_19/random-182.xml uf MAYBE MAYBE 12.45/12.33 MAYBE 787.64/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.88/32.32 timeout (wallclock) MAYBE
Waldmann_19/random-184.xml f YES YES 0.05/0.05 YES 4.07/1.28 YES 8.73/2.92 YES 1.25/0.55 YES 6.20/1.80 ✔0.00 YES 8.91/2.97 ✔0.01 YES
Waldmann_19/random-186.xml if YES MAYBE 1.04/0.98 MAYBE 787.56/299.34 YES 896.93/237.23 timeout (wallclock) MAYBE 29.80/32.31 YES 794.94/214.66 ✔0.00 YES
Waldmann_19/random-187.xml if YES YES 0.47/0.42 YES 69.79/17.96 YES 52.31/13.81 timeout (wallclock) MAYBE 29.59/32.31 YES 56.04/14.83 ✔0.01 YES
Waldmann_19/random-195.xml if YES MAYBE 14.10/13.94 MAYBE 787.52/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.66/32.31 timeout (cpu) YES
Waldmann_19/random-198.xml if YES MAYBE 20.64/20.48 MAYBE 788.30/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.75/32.31 timeout (wallclock) YES
Waldmann_19/random-202.xml if YES MAYBE 9.57/9.39 MAYBE 788.53/299.35 YES 73.32/19.14 YES 2.94/0.98 MAYBE 29.63/32.31 YES 62.86/16.45 ✔0.02 YES
Waldmann_19/random-207.xml uf MAYBE MAYBE 1.06/1.00 MAYBE 787.55/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.58/32.32 timeout (wallclock) MAYBE
Waldmann_19/random-208.xml if YES MAYBE 1.79/1.73 YES 70.08/18.02 YES 150.48/39.59 timeout (wallclock) MAYBE 29.78/32.32 YES 147.62/37.75 ✔0.04 YES
Waldmann_19/random-209.xml uf MAYBE MAYBE 19.02/18.85 MAYBE 788.69/299.35 timeout (wallclock) timeout (wallclock) MAYBE 29.59/32.32 timeout (wallclock) MAYBE
Waldmann_19/random-210.xml f YES YES 0.07/0.07 YES 30.51/7.96 YES 8.31/2.81 YES 1.88/0.71 YES 6.68/1.91 ✔0.00 YES 9.72/3.21 ✔0.00 YES
Waldmann_19/random-212.xml if YES YES 0.07/0.07 MAYBE 790.69/299.34 YES 50.15/13.34 timeout (wallclock) MAYBE 29.59/32.31 YES 47.57/12.64 ✔0.01 YES
Waldmann_19/random-216.xml if NO MAYBE 1.08/1.01 MAYBE 787.25/299.34 timeout (wallclock) NO 59.95/15.37 MAYBE 29.77/32.32 timeout (wallclock) NO
Waldmann_19/random-221.xml f YES YES 0.08/0.08 YES 7.34/2.11 YES 8.24/2.89 YES 1.13/0.51 YES 8.38/2.34 ✔0.01 YES 9.83/3.21 ✔0.03 YES
Waldmann_19/random-226.xml f YES YES 0.07/0.07 YES 12.01/3.27 YES 9.49/3.13 YES 1.55/0.63 YES 9.16/2.54 ✔0.00 YES 9.50/3.18 ✔0.00 YES
Waldmann_19/random-227.xml if YES MAYBE 3.07/2.98 YES 48.90/12.70 YES 11.37/3.59 YES 5.70/1.73 MAYBE 29.69/32.31 YES 20.05/5.83 ✔0.02 YES
Waldmann_19/random-228.xml f YES YES 0.23/0.21 YES 4.72/1.45 YES 11.22/3.65 YES 1.71/0.66 YES 9.34/2.57 ✔0.01 YES 11.58/3.69 ✔0.00 YES
Waldmann_19/random-232.xml if YES MAYBE 1.20/1.14 YES 36.37/9.50 YES 44.72/11.94 YES 76.38/19.52 MAYBE 29.66/32.31 YES 48.96/13.05 ✔0.04 YES
Waldmann_19/random-24.xml f YES YES 0.07/0.07 YES 10.13/2.80 YES 8.43/2.84 YES 165.43/42.23 YES 1.37/0.57 ✔0.00 YES 8.63/2.91 ✔0.00 YES
Waldmann_19/random-26.xml f YES YES 0.07/0.07 YES 9.86/2.74 YES 10.53/3.36 YES 435.34/109.92 YES 10.16/2.79 ✔0.00 YES 10.29/3.33 ✔0.00 YES
Waldmann_19/random-27.xml if NO MAYBE 1.22/1.15 MAYBE 786.86/299.34 timeout (wallclock) NO 14.33/3.92 MAYBE 29.63/32.31 timeout (wallclock) NO
Waldmann_19/random-28.xml if YES MAYBE 2.75/2.65 YES 49.52/12.76 YES 169.83/43.35 timeout (wallclock) MAYBE 29.63/32.31 YES 180.10/45.94 ✔0.06 YES
Waldmann_19/random-33.xml if YES YES 14.69/14.64 YES 100.08/25.50 timeout (cpu) timeout (wallclock) MAYBE 29.62/32.31 timeout (wallclock) YES
Waldmann_19/random-34.xml f YES YES 0.05/0.05 YES 11.18/3.07 YES 8.01/2.74 YES 2.03/0.77 YES 1.39/0.59 ✔0.00 YES 8.80/2.97 ✔0.00 YES
Waldmann_19/random-35.xml f YES YES 0.07/0.07 YES 7.02/2.03 YES 7.90/2.71 YES 1.36/0.57 YES 6.40/1.84 ✔0.00 YES 9.24/3.05 ✔0.01 YES
Waldmann_19/random-38.xml if YES MAYBE 0.62/0.55 MAYBE 785.32/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.60/32.32 timeout (wallclock) YES
Waldmann_19/random-39.xml if YES MAYBE 1.08/1.05 YES 45.15/11.66 YES 26.33/7.40 YES 4.56/1.42 MAYBE 29.78/32.40 YES 19.91/5.80 ✔0.05 YES
Waldmann_19/random-41.xml if YES YES 0.41/0.36 YES 30.74/8.00 YES 12.10/3.77 YES 81.72/20.88 MAYBE 29.82/32.32 YES 8.76/2.93 ✔0.02 YES
Waldmann_19/random-42.xml if YES MAYBE 1.12/1.06 YES 120.61/30.60 YES 10.91/3.63 timeout (wallclock) MAYBE 29.76/32.31 YES 10.28/3.31 ✔0.00 YES
Waldmann_19/random-43.xml if YES MAYBE 1.84/1.77 YES 96.55/24.69 YES 151.26/40.49 timeout (wallclock) MAYBE 29.82/32.32 YES 121.59/31.18 ✔0.02 YES
Waldmann_19/random-45.xml if YES MAYBE 1.23/1.17 YES 41.41/10.70 YES 61.35/16.15 YES 33.70/8.87 MAYBE 29.56/32.31 YES 49.89/13.29 ✔0.01 YES
Waldmann_19/random-46.xml if YES MAYBE 0.90/0.83 MAYBE 791.20/299.35 YES 9.72/3.21 timeout (wallclock) MAYBE 29.84/32.31 YES 9.07/3.05 ✔0.00 YES
Waldmann_19/random-50.xml f YES YES 0.07/0.06 YES 9.15/2.56 YES 8.60/7.53 YES 3.36/1.12 YES 1.48/0.60 ✔0.00 YES 8.12/2.76 ✔0.00 YES
Waldmann_19/random-52.xml if YES MAYBE 0.93/0.88 YES 21.77/5.75 YES 8.38/2.83 YES 3.44/1.13 YES 17.19/4.62 ✔0.01 YES 11.28/3.62 ✔0.03 YES
Waldmann_19/random-57.xml if YES YES 0.39/0.36 MAYBE 785.19/299.34 YES 60.58/15.95 timeout (wallclock) MAYBE 29.83/32.32 YES 59.42/15.66 ✔0.04 YES
Waldmann_19/random-58.xml if YES YES 0.06/0.06 YES 17.59/4.68 YES 9.38/3.10 timeout (wallclock) MAYBE 29.78/32.31 YES 9.63/3.15 ✔0.00 YES
Waldmann_19/random-59.xml uf MAYBE MAYBE 1.69/1.63 MAYBE 786.29/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.85/32.31 timeout (cpu) MAYBE
Waldmann_19/random-60.xml if YES MAYBE 1.07/1.02 MAYBE 786.74/299.34 timeout (wallclock) timeout (wallclock) MAYBE 29.72/32.31 timeout (wallclock) YES
Waldmann_19/random-62.xml if NO MAYBE 3.48/3.36 MAYBE 788.48/299.35 timeout (wallclock) NO 12.29/3.36 MAYBE 29.65/32.32 timeout (wallclock) NO
Waldmann_19/random-65.xml f YES YES 2.41/2.33 YES 25.82/6.74 YES 7.86/2.73 YES 1.90/0.72 YES 12.78/3.45 ✔0.00 YES 7.90/2.75 ✔0.01 YES
Waldmann_19/random-66.xml f YES YES 0.38/0.35 YES 10.25/2.84 YES 8.70/3.33 YES 1.48/0.60 YES 7.35/2.08 ✔0.00 YES 9.50/3.54 ✔0.02 YES
Waldmann_19/random-67.xml if YES MAYBE 17.07/16.91 MAYBE 787.00/299.36 YES 43.29/11.59 YES 2.03/0.76 MAYBE 29.69/32.31 YES 52.80/13.97 ✔0.01 YES
Waldmann_19/random-68.xml uf MAYBE MAYBE 10.18/10.03 MAYBE 788.22/299.35 MAYBE 1.07/0.56 timeout (wallclock) MAYBE 29.72/32.32 MAYBE 1.07/0.56 MAYBE
Waldmann_19/random-70.xml f YES YES 0.05/0.05 YES 5.94/1.75 YES 10.05/3.25 YES 1.27/1.02 YES 9.78/2.70 ✔0.00 YES 9.44/3.42 ✔0.01 YES
Waldmann_19/random-72.xml if YES MAYBE 1.05/0.98 MAYBE 786.46/299.42 YES 139.83/36.05 timeout (wallclock) MAYBE 29.82/32.32 YES 122.46/31.43 ✔0.03 YES
Waldmann_19/random-75.xml if YES MAYBE 2.34/2.26 MAYBE 785.58/299.34 YES 15.32/4.57 timeout (wallclock) MAYBE 29.69/32.32 YES 13.96/4.23 ✔0.00 YES
Waldmann_19/random-76.xml if YES YES 0.05/0.05 YES 11.35/3.10 YES 8.96/2.96 timeout (wallclock) YES 1.05/0.50 ✔0.00 YES 8.80/2.94 ✔0.00 YES
Waldmann_19/random-77.xml f YES YES 0.05/0.06 YES 10.86/2.99 YES 9.16/3.06 YES 4.11/1.30 YES 14.82/3.94 ✔0.00 YES 8.96/2.96 ✔0.03 YES
Waldmann_19/random-78.xml if YES MAYBE 0.67/0.63 MAYBE 786.06/299.34 YES 67.38/19.34 timeout (wallclock) YES 17.15/4.53 ✔0.01 YES 33.70/9.23 ✔0.05 YES
Waldmann_19/random-79.xml if YES MAYBE 3.42/3.32 YES 36.97/9.58 YES 48.50/12.90 timeout (wallclock) MAYBE 29.72/32.31 YES 49.64/13.20 ✔0.06 YES
Waldmann_19/random-80.xml f YES YES 0.06/0.06 YES 14.84/4.00 YES 8.10/2.74 YES 1.76/0.67 YES 1.15/0.52 ✔0.00 YES 7.91/2.74 ✔0.00 YES
Waldmann_19/random-81.xml if YES YES 0.60/0.54 YES 29.90/7.77 YES 119.96/30.81 timeout (wallclock) YES 13.88/3.72 ✔0.00 YES 112.95/29.47 ✔0.03 YES
Waldmann_19/random-82.xml if YES YES 0.07/0.07 YES 106.76/27.11 timeout (wallclock) timeout (wallclock) MAYBE 29.83/32.32 timeout (wallclock) YES
Waldmann_19/random-84.xml if YES MAYBE 0.85/0.80 MAYBE 797.97/299.34 timeout (cpu) timeout (wallclock) MAYBE 29.65/32.31 timeout (wallclock) YES
Waldmann_19/random-86.xml f YES YES 0.41/0.38 YES 56.59/14.63 YES 38.89/14.32 YES 2.21/0.79 YES 6.76/1.93 ✔0.00 YES 32.86/9.04 ✔0.01 YES
Waldmann_19/random-89.xml if YES YES 0.07/0.07 YES 13.44/3.65 YES 11.35/3.65 timeout (wallclock) YES 15.37/4.11 ✔0.01 YES 11.20/3.58 ✔0.00 YES
Waldmann_19/random-92.xml if YES MAYBE 0.85/0.80 YES 51.47/13.24 YES 75.20/19.55 YES 227.87/57.70 MAYBE 29.69/32.31 YES 79.32/20.69 ✔0.06 YES
Waldmann_19/random-93.xml f YES YES 0.07/0.07 YES 11.83/3.24 YES 10.40/3.42 YES 1.41/0.60 YES 9.21/2.55 ✔0.00 YES 8.67/2.95 ✔0.02 YES
Waldmann_19/random-95.xml f YES YES 0.05/0.05 YES 10.78/2.96 YES 9.15/3.01 YES 33.38/8.72 YES 1.59/0.64 ✔0.00 YES 9.44/3.10 ✔0.00 YES
Waldmann_19/random-98.xml if YES MAYBE 4.94/4.81 YES 46.74/12.03 YES 16.08/4.78 timeout (wallclock) YES 19.69/5.27 ✔0.01 YES 16.94/5.04 ✔0.00 YES
Waldmann_19/random-99.xml if NO MAYBE 0.74/0.68 MAYBE 787.77/299.35 timeout (cpu) NO 447.58/112.82 MAYBE 29.81/32.31 timeout (wallclock) NO
Mixed_relative_SRS/dup02.xml if YES MAYBE 2.22/1.95 MAYBE 939.94/299.35 YES 69.76/18.33 timeout (wallclock) MAYBE 29.92/32.36 YES 72.58/19.10 ✔0.03 YES
Mixed_relative_SRS/dup03.xml if YES YES 9.28/8.02 MAYBE 775.28/299.34 YES 50.19/13.34 YES 2.15/0.77 YES 12.24/3.31 ✔0.00 YES 67.29/17.67 ✔0.00 YES
Mixed_relative_SRS/dup04.xml if YES MAYBE 3.58/3.31 MAYBE 931.80/299.34 YES 242.22/62.57 YES 1.23/1.10 MAYBE 29.57/32.32 YES 234.30/63.45 ✔0.02 YES
Mixed_relative_SRS/un01.xml if YES MAYBE 0.87/0.77 MAYBE 773.52/299.34 YES 21.01/5.98 YES 2.00/0.79 MAYBE 29.55/32.31 YES 19.71/5.69 ✔0.01 YES
Mixed_relative_SRS/un03.xml if YES MAYBE 42.76/41.01 MAYBE 786.27/299.35 timeout (wallclock) YES 106.34/27.15 MAYBE 29.75/32.32 MAYBE 1169.11/297.12 YES
Mixed_relative_SRS/zr01.xml if YES MAYBE 0.21/0.19 YES 4.64/1.42 YES 8.98/3.01 YES 1.57/0.62 YES 4.00/1.24 ✔0.01 YES 10.58/3.52 ✔0.00 YES
Mixed_relative_SRS/zr02.xml if YES MAYBE 0.36/0.31 YES 10.45/2.94 YES 12.39/3.94 YES 1.76/0.67 YES 8.08/2.27 ✔0.01 YES 11.30/3.62 ✔0.01 YES
Mixed_relative_SRS/zr02new.xml if YES MAYBE 0.36/0.31 YES 19.23/5.09 YES 11.87/3.74 YES 4.36/1.34 YES 14.48/3.88 ✔0.02 YES 13.30/4.13 ✔0.01 YES
Mixed_relative_SRS/zr03.xml f YES YES 0.02/0.03 YES 2.17/0.79 YES 6.04/2.21 YES 0.60/0.37 YES 1.44/0.60 ✔0.00 YES 6.37/4.24 ✔0.00 YES
Mixed_relative_SRS/zr04.xml if YES MAYBE 0.52/0.46 MAYBE 913.30/299.35 YES 27.97/7.87 YES 3.05/0.99 MAYBE 29.59/32.32 YES 19.79/5.86 ✔0.02 YES
Mixed_relative_SRS/zr04new.xml if YES MAYBE 0.28/0.25 MAYBE 913.25/299.35 YES 16.35/4.93 YES 4.41/1.37 MAYBE 29.72/32.33 YES 18.72/5.50 ✔0.02 YES
Mixed_relative_SRS/zr05.xml f YES YES 0.09/0.08 YES 2.22/0.81 YES 6.70/2.43 YES 0.97/0.47 YES 1.98/0.73 ✔0.00 YES 7.32/2.63 ✔0.00 YES
Mixed_relative_SRS/zr06.xml f YES YES 0.09/0.09 YES 2.32/0.84 YES 8.21/2.81 YES 1.04/1.33 YES 2.14/0.76 ✔0.00 YES 8.03/2.79 ✔0.00 YES
Mixed_relative_SRS/zr07.xml f YES YES 0.19/0.17 YES 6.00/1.76 YES 12.50/4.01 YES 2.18/0.80 YES 3.88/1.20 ✔0.00 YES 11.49/3.63 ✔0.00 YES
Mixed_relative_SRS/zr08.xml f YES YES 0.03/0.03 YES 4.32/1.34 YES 10.09/3.29 YES 1.32/0.57 YES 4.95/1.48 ✔0.01 YES 9.61/3.20 ✔0.00 YES
Mixed_relative_SRS/zr09.xml if YES MAYBE 0.17/0.16 YES 4.89/1.48 YES 8.56/2.91 YES 1.52/0.61 YES 2.86/0.95 ✔0.00 YES 9.33/3.10 ✔0.00 YES
Mixed_relative_SRS/zr10.xml if YES MAYBE 0.30/0.28 YES 17.23/4.57 YES 15.13/4.57 YES 1.08/0.53 YES 5.62/1.64 ✔0.00 YES 12.72/3.95 ✔0.01 YES
Mixed_relative_SRS/zr11.xml if YES MAYBE 0.35/0.31 YES 6.92/2.00 YES 13.79/4.35 YES 1.35/0.57 YES 4.46/1.36 ✔0.01 YES 13.67/4.15 ✔0.00 YES
Mixed_relative_SRS/zr12.xml if YES MAYBE 0.16/0.15 YES 6.28/1.84 YES 9.27/3.16 YES 0.63/0.38 YES 3.63/1.15 ✔0.01 YES 9.51/3.11 ✔0.00 YES
Mixed_relative_SRS/zr13.xml if NO MAYBE 0.17/0.16 NO 1.46/0.63 NO 5.39/2.03 NO 0.59/0.36 NO 1.16/0.52 ✔0.00 NO 5.11/2.01 ✔0.00 NO
263.00 58.00 90.00 165.00 211.00 75.00 165.00