Termination Competition 2020: SRS Standard Certified41232

Job info CSV
benchmark ttt2-1.20 ttt2_cert AProVE certified NaTT 1.6.1 Certifiable
Zantema_06/01.xml 11772023 CERTIFIED YES 6.06/1.82 (CERTIFIED 0.09) CERTIFIED YES 13.15/4.12 (CERTIFIED 0.10) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.11)
Zantema_06/02.xml 11772032 CERTIFIED YES 3.87/1.24 (CERTIFIED 0.15) CERTIFIED YES 10.92/3.59 (CERTIFIED 0.06) CERTIFIED YES 0.04/0.14 (CERTIFIED 0.17)
Zantema_06/03.xml 11772042 CERTIFIED YES 104.88/27.12 (CERTIFIED 0.12) CERTIFIED YES 172.30/44.61 (CERTIFIED 0.18) MAYBE 0.07/0.34
Zantema_06/04.xml 11772041 CERTIFIED YES 25.66/6.89 (CERTIFIED 0.11) CERTIFIED YES 16.76/8.63 (CERTIFIED 0.10) CERTIFIED YES 0.05/0.15 (CERTIFIED 0.24)
Zantema_06/05.xml 11772033 CERTIFIED YES 37.00/9.69 (CERTIFIED 0.11) CERTIFIED YES 136.54/35.56 (CERTIFIED 0.17) MAYBE 0.07/0.38
Zantema_06/06.xml 11772022 CERTIFIED YES 47.95/12.49 (CERTIFIED 0.16) CERTIFIED YES 31.87/8.84 (CERTIFIED 0.14) MAYBE 0.03/0.14
Zantema_06/07.xml 11772015 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.10/0.29
Zantema_06/08.xml 11772024 timeout (wallclock) [out] ERROR 1157.06/295.45 MAYBE 1.2/0.94
Zantema_06/09.xml 11772013 CERTIFIED YES 22.13/5.88 (CERTIFIED 0.14) CERTIFIED YES 28.55/4.48 (CERTIFIED 0.30) MAYBE 2.07/2.09
Zantema_06/10.xml 11772027 CERTIFIED YES 26.79/7.05 (CERTIFIED 0.20) CERTIFIED YES 17.49/5.23 (CERTIFIED 0.12) MAYBE 0.05/0.25
Zantema_06/11.xml 11772017 CERTIFIED YES 30.60/7.88 (CERTIFIED 0.21) CERTIFIED YES 21.41/6.21 (CERTIFIED 0.17) MAYBE 1.66/1.71
Zantema_06/12.xml 11772035 CERTIFIED YES 61.53/15.97 (CERTIFIED 0.23) CERTIFIED YES 281.14/72.52 (CERTIFIED 0.19) MAYBE 8.48/8.11
Zantema_06/13.xml 11772031 CERTIFIED YES 99.07/25.53 (CERTIFIED 0.17) CERTIFIED YES 19.95/7.89 (CERTIFIED 0.13) MAYBE 1.1/1.09
Zantema_06/14.xml 11772030 timeout (wallclock) [out] CERTIFIED YES 29.73/8.40 (CERTIFIED 0.30) MAYBE 0.04/0.27
Zantema_06/15.xml 11772036 timeout (wallclock) [out] CERTIFIED YES 26.92/7.69 (CERTIFIED 1.94) CERTIFIED YES 0.77/0.77 (CERTIFIED 0.42)
Zantema_06/16.xml 11772016 CERTIFIED YES 17.76/4.75 (CERTIFIED 0.20) CERTIFIED YES 12.39/3.92 (CERTIFIED 0.90) CERTIFIED YES 0.98/0.96 (CERTIFIED 1.37)
Zantema_06/17.xml 11772028 CERTIFIED YES 64.01/16.69 (CERTIFIED 0.51) CERTIFIED YES 6.12/2.32 (CERTIFIED 1.00) CERTIFIED YES 1.2/1.20 (CERTIFIED 0.51)
Zantema_06/18.xml 11772018 timeout (wallclock) [out] CERTIFIED YES 7.37/2.69 (CERTIFIED 1.33) CERTIFIED YES 4.47/4.30 (CERTIFIED 1.87)
Zantema_06/abc.xml 11772034 CERTIFIED YES 25.01/6.61 (CERTIFIED 0.10) CERTIFIED YES 13.80/4.44 (CERTIFIED 0.85) MAYBE 0.04/0.13
Zantema_06/beans1.xml 11772037 CERTIFIED YES 15.23/4.14 (CERTIFIED 0.20) CERTIFIED YES 10.69/3.51 (CERTIFIED 0.27) CERTIFIED YES 0.02/0.04 (CERTIFIED 0.25)
Zantema_06/beans2.xml 11772021 CERTIFIED YES 23.64/6.28 (CERTIFIED 0.13) CERTIFIED YES 10.25/3.38 (CERTIFIED 0.15) MAYBE 0.03/0.19
Zantema_06/beans3.xml 11772025 CERTIFIED YES 28.13/7.37 (CERTIFIED 0.21) CERTIFIED YES 12.62/4.13 (CERTIFIED 0.32) MAYBE 0.03/0.23
Zantema_06/beans4.xml 11772026 CERTIFIED YES 1.46/0.59 (CERTIFIED 0.06) CERTIFIED YES 8.16/3.04 (CERTIFIED 0.11) CERTIFIED YES 0.06/0.49 (CERTIFIED 0.27)
Zantema_06/beans5.xml 11772019 CERTIFIED YES 23.90/6.36 (CERTIFIED 0.10) CERTIFIED YES 11.64/3.81 (CERTIFIED 0.09) MAYBE 0.03/0.12
Zantema_06/beans6.xml 11772038 CERTIFIED YES 26.25/6.95 (CERTIFIED 0.14) CERTIFIED YES 24.43/9.56 (CERTIFIED 0.11) MAYBE 0.03/0.15
Zantema_06/beans7.xml 11772029 CERTIFIED YES 27.49/7.29 (CERTIFIED 0.17) CERTIFIED YES 12.73/3.97 (CERTIFIED 0.15) MAYBE 0.04/0.17
Zantema_06/loop1.xml 11772014 CERTIFIED NO 1.48/0.60 (CERTIFIED 0.07) CERTIFIED NO 3.66/1.75 (CERTIFIED 0.07) MAYBE 0.02/0.09
Zantema_06/loop2.xml 11772040 CERTIFIED NO 1.07/0.51 (CERTIFIED 0.07) CERTIFIED NO 3.49/1.62 (CERTIFIED 0.04) MAYBE 0.03/0.14
Zantema_06/while1.xml 11772020 timeout (wallclock) [out] ERROR 1147.24/292.64 MAYBE 7.27/7.31
Zantema_06/while2.xml 11772039 CERTIFIED YES 5.07/1.52 (CERTIFIED 0.17) CERTIFIED YES 9.03/3.09 (CERTIFIED 0.13) MAYBE 0.05/0.35
Secret_07_SRS/dj.xml 11773270 CERTIFIED YES 0.73/0.41 (CERTIFIED 0.05) CERTIFIED YES 8.94/3.04 (CERTIFIED 0.06) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.07)
Secret_07_SRS/num-514.xml 11773278 timeout (wallclock) [out] CERTIFIED NO 509.41/130.92 (CERTIFIED 0.26) MAYBE 0.04/0.25
Secret_07_SRS/num-515.xml 11773275 timeout (wallclock) [out] CERTIFIED NO 26.73/7.61 (CERTIFIED 0.09) MAYBE 0.04/0.21
Secret_07_SRS/num-518.xml 11773289 timeout (wallclock) [out] ERROR 1144.4/291.98 MAYBE 0.06/0.30
Secret_07_SRS/num-519.xml 11773282 timeout (wallclock) [out] memout [out] MAYBE 0.06/0.33
Secret_07_SRS/num-520.xml 11773273 timeout (wallclock) [out] ERROR 1141.39/291.76 MAYBE 0.02/0.16
Secret_07_SRS/num-521.xml 11773279 timeout (wallclock) [out] CERTIFIED NO 407.90/104.37 (CERTIFIED 0.17) MAYBE 0.02/0.16
Secret_07_SRS/num-525.xml 11773284 timeout (wallclock) [out] CERTIFIED NO 59.07/15.69 (CERTIFIED 0.09) MAYBE 0.07/0.30
Secret_07_SRS/num-527.xml 11773274 timeout (wallclock) [out] CERTIFIED NO 137.57/38.71 (CERTIFIED 0.09) MAYBE 0.04/0.23
Secret_07_SRS/num-530.xml 11773277 timeout (wallclock) [out] CERTIFIED NO 12.31/3.81 (CERTIFIED 0.11) MAYBE 0.03/0.22
Secret_07_SRS/num-539.xml 11773276 timeout (wallclock) [out] CERTIFIED NO 4.93/2.22 (CERTIFIED 0.08) MAYBE 0.04/0.20
Secret_07_SRS/x01.xml 11773286 CERTIFIED YES 28.45/7.77 (CERTIFIED 0.24) CERTIFIED YES 14.16/4.57 (CERTIFIED 0.26) MAYBE 0.03/0.18
Secret_07_SRS/x02.xml 11773272 CERTIFIED YES 27.51/7.42 (CERTIFIED 0.13) CERTIFIED YES 115.53/32.39 (CERTIFIED 2.52) MAYBE 0.03/0.14
Secret_07_SRS/x03.xml 11773280 CERTIFIED YES 27.55/7.26 (CERTIFIED 0.14) CERTIFIED YES 9.13/3.04 (CERTIFIED 0.11) MAYBE 0.03/0.23
Secret_07_SRS/x04.xml 11773281 CERTIFIED YES 49.56/12.91 (CERTIFIED 0.38) CERTIFIED YES 31.41/8.91 (CERTIFIED 4.16) MAYBE 0.05/0.29
Secret_07_SRS/x05.xml 11773271 CERTIFIED YES 24.87/6.57 (CERTIFIED 0.18) CERTIFIED YES 14.15/4.42 (CERTIFIED 0.20) MAYBE 0.03/0.21
Secret_07_SRS/x06.xml 11773287 timeout (wallclock) [out] CERTIFIED YES 22.14/6.57 (CERTIFIED 0.53) MAYBE 0.05/0.36
Secret_07_SRS/x07.xml 11773285 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.91/0.93
Secret_07_SRS/x08.xml 11773288 timeout (wallclock) [out] CERTIFIED YES 40.43/11.17 (CERTIFIED 0.19) MAYBE 0.13/0.35
Secret_07_SRS/x09.xml 11773283 timeout (wallclock) [out] CERTIFIED YES 93.52/24.64 (CERTIFIED 0.38) MAYBE 0.17/0.39
Secret_07_SRS/x10.xml 11773290 CERTIFIED YES 54.47/13.76 (CERTIFIED 0.25) CERTIFIED YES 29.52/8.25 (CERTIFIED 0.22) MAYBE 0.08/0.26
Waldmann_06_SRS/e.xml 11773291 CERTIFIED YES 22.06/5.86 (CERTIFIED 0.43) CERTIFIED YES 59.97/16.02 (CERTIFIED 0.95) MAYBE 1.87/1.89
Waldmann_06_SRS/jw1.xml 11773305 timeout (wallclock) [out] CERTIFIED YES 20.90/6.03 (CERTIFIED 0.09) MAYBE 0.04/0.27
Waldmann_06_SRS/jw3.xml 11773293 CERTIFIED YES 80.82/20.34 (CERTIFIED 0.16) CERTIFIED YES 14.14/4.37 (CERTIFIED 0.16) MAYBE 0.04/0.42
Waldmann_06_SRS/jw4.xml 11773292 CERTIFIED YES 24.15/6.41 (CERTIFIED 0.13) CERTIFIED YES 76.26/20.32 (CERTIFIED 0.33) MAYBE 0.5/0.62
Waldmann_06_SRS/jw5.xml 11773298 CERTIFIED YES 26.38/6.97 (CERTIFIED 0.19) timeout (wallclock) [out] MAYBE 0.72/0.76
Waldmann_06_SRS/pi.xml 11773306 CERTIFIED YES 21.90/5.83 (CERTIFIED 0.39) CERTIFIED YES 30.81/8.61 (CERTIFIED 0.62) CERTIFIED YES 2.0/2.00 (CERTIFIED 0.62)
Waldmann_06_SRS/sym-1.xml 11773309 CERTIFIED YES 5.44/1.62 (CERTIFIED 0.12) CERTIFIED YES 4.64/1.92 (CERTIFIED 0.11) MAYBE 0.03/0.10
Waldmann_06_SRS/sym-2.xml 11773295 CERTIFIED YES 32.96/4.52 (CERTIFIED 0.10) CERTIFIED YES 26.05/7.42 (CERTIFIED 0.20) MAYBE 0.05/0.20
Waldmann_06_SRS/sym-4.xml 11773300 CERTIFIED YES 4.27/1.31 (CERTIFIED 0.05) CERTIFIED YES 6.98/2.54 (CERTIFIED 0.14) MAYBE 0.03/0.10
Waldmann_06_SRS/sym-5.xml 11773297 timeout (wallclock) [out] CERTIFIED YES 333.39/85.99 (CERTIFIED 0.18) MAYBE 0.05/0.50
Waldmann_06_SRS/sym-6.xml 11773308 timeout (wallclock) [out] CERTIFIED YES 97.45/25.52 (CERTIFIED 0.22) MAYBE 0.15/0.34
Waldmann_06_SRS/uni-1.xml 11773303 CERTIFIED YES 7.57/1.98 (CERTIFIED 0.13) CERTIFIED YES 4.85/1.98 (CERTIFIED 0.10) MAYBE 0.04/0.14
Waldmann_06_SRS/uni-2.xml 11773301 CERTIFIED NO 2.09/0.76 (CERTIFIED 0.09) CERTIFIED NO 4.11/1.83 (CERTIFIED 0.06) MAYBE 0.09/0.39
Waldmann_06_SRS/uni-3.xml 11773294 timeout (wallclock) [out] CERTIFIED NO 5.27/2.20 (CERTIFIED 0.07) MAYBE 0.05/0.36
Waldmann_06_SRS/uni-4.xml 11773296 timeout (wallclock) [out] CERTIFIED NO 3.53/1.61 (CERTIFIED 0.06) MAYBE 0.03/0.27
Waldmann_06_SRS/uni-5.xml 11773299 CERTIFIED YES 39.23/9.44 (CERTIFIED 0.19) CERTIFIED YES 12.00/3.79 (CERTIFIED 0.12) MAYBE 0.04/0.18
Waldmann_06_SRS/uni-6.xml 11773304 timeout (wallclock) [out] CERTIFIED NO 19.83/5.82 (CERTIFIED 0.10) MAYBE 0.81/0.85
Waldmann_06_SRS/uni-7.xml 11773307 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.19/2.10
Waldmann_06_SRS/z086-variant.xml 11773302 timeout (wallclock) [out] CERTIFIED YES 47.06/12.86 (CERTIFIED 0.22) MAYBE 0.05/0.32
Mixed_SRS/01-oppelt08.xml 11772918 timeout (wallclock) [out] CERTIFIED NO 25.60/7.27 (CERTIFIED 0.09) MAYBE 1.18/1.25
Mixed_SRS/01.xml 11772903 timeout (wallclock) [out] CERTIFIED YES 19.58/5.81 (CERTIFIED 0.11) MAYBE 0.03/0.20
Mixed_SRS/02-oppelt08.xml 11772922 timeout (wallclock) [out] CERTIFIED NO 62.15/16.63 (CERTIFIED 0.08) MAYBE 0.03/0.20
Mixed_SRS/02.xml 11772910 timeout (wallclock) [out] CERTIFIED YES 16.10/4.83 (CERTIFIED 0.10) MAYBE 0.81/0.85
Mixed_SRS/03-oppelt08.xml 11772919 timeout (wallclock) [out] CERTIFIED NO 51.51/13.89 (CERTIFIED 0.08) MAYBE 0.04/0.26
Mixed_SRS/03.xml 11772921 timeout (wallclock) [out] CERTIFIED YES 30.00/8.34 (CERTIFIED 0.06) MAYBE 0.04/0.24
Mixed_SRS/04-oppelt08.xml 11772915 timeout (wallclock) [out] CERTIFIED NO 22.32/6.47 (CERTIFIED 0.07) MAYBE 0.05/0.45
Mixed_SRS/04.xml 11772923 CERTIFIED YES 79.38/20.53 (CERTIFIED 0.12) CERTIFIED YES 34.63/9.53 (CERTIFIED 0.52) MAYBE 0.03/0.19
Mixed_SRS/05-oppelt08.xml 11772916 timeout (wallclock) [out] CERTIFIED NO 14.24/4.35 (CERTIFIED 0.06) MAYBE 0.03/0.30
Mixed_SRS/05.xml 11772907 CERTIFIED YES 41.32/10.76 (CERTIFIED 0.14) CERTIFIED YES 21.27/6.21 (CERTIFIED 0.15) MAYBE 0.07/0.31
Mixed_SRS/06-oppelt08.xml 11772913 timeout (wallclock) [out] CERTIFIED NO 3.71/1.81 (CERTIFIED 0.05) MAYBE 0.02/0.09
Mixed_SRS/06.xml 11772904 CERTIFIED YES 26.14/6.91 (CERTIFIED 0.09) CERTIFIED YES 24.03/6.85 (CERTIFIED 0.19) MAYBE 0.05/0.20
Mixed_SRS/07-oppelt08.xml 11772911 timeout (wallclock) [out] CERTIFIED NO 4.90/1.93 (CERTIFIED 0.06) MAYBE 0.02/0.12
Mixed_SRS/07.xml 11772900 CERTIFIED YES 33.10/8.97 (CERTIFIED 0.12) CERTIFIED YES 19.82/5.77 (CERTIFIED 0.12) MAYBE 0.04/0.21
Mixed_SRS/08-oppelt08.xml 11772906 timeout (wallclock) [out] CERTIFIED NO 5.77/2.45 (CERTIFIED 0.06) MAYBE 0.61/0.67
Mixed_SRS/08.xml 11772905 timeout (wallclock) [out] CERTIFIED YES 206.96/53.32 (CERTIFIED 0.16) MAYBE 0.06/0.37
Mixed_SRS/09.xml 11772899 CERTIFIED YES 26.78/7.17 (CERTIFIED 0.09) CERTIFIED YES 12.86/3.99 (CERTIFIED 0.07) MAYBE 0.07/0.34
Mixed_SRS/1.xml 11772901 timeout (wallclock) [out] CERTIFIED NO 5.63/2.29 (CERTIFIED 0.07) MAYBE 0.02/0.13
Mixed_SRS/2.xml 11772920 CERTIFIED YES 175.75/43.82 (CERTIFIED 0.47) CERTIFIED YES 13.50/4.26 (CERTIFIED 0.10) MAYBE 0.02/0.15
Mixed_SRS/3.xml 11772909 CERTIFIED YES 2.56/0.87 (CERTIFIED 0.09) CERTIFIED YES 8.04/2.85 (CERTIFIED 0.27) CERTIFIED YES 0.03/0.09 (CERTIFIED 0.10)
Mixed_SRS/4.xml 11772908 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.39/1.26
Mixed_SRS/s6.xml 11772902 CERTIFIED YES 2.53/0.89 (CERTIFIED 0.22) CERTIFIED YES 12.78/4.07 (CERTIFIED 0.23) CERTIFIED YES 0.05/0.05 (CERTIFIED 0.61)
Mixed_SRS/touzet.xml 11772898 CERTIFIED YES 8.43/2.46 (CERTIFIED 0.08) CERTIFIED YES 7.92/2.75 (CERTIFIED 0.18) MAYBE 0.02/0.10
Mixed_SRS/turing_add.xml 11772914 CERTIFIED YES 1.35/0.57 (CERTIFIED 0.06) CERTIFIED YES 9.61/3.19 (CERTIFIED 0.13) CERTIFIED YES 0.02/0.04 (CERTIFIED 0.24)
Mixed_SRS/turing_copy.xml 11772912 CERTIFIED NO 0.30/0.30 (CERTIFIED 0.15) CERTIFIED NO 3.25/1.55 (CERTIFIED 0.13) MAYBE 1.99/1.94
Mixed_SRS/turing_mult.xml 11772917 CERTIFIED NO 1.40/0.61 (CERTIFIED 0.20) CERTIFIED NO 3.60/1.68 (CERTIFIED 0.18) MAYBE 2.35/2.34
Waldmann_07_size12/size-12-alpha-2-num-1.xml 11773214 CERTIFIED YES 27.89/7.29 (CERTIFIED 0.09) CERTIFIED YES 11.07/3.67 (CERTIFIED 0.08) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-2-num-10.xml 11773106 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.29
Waldmann_07_size12/size-12-alpha-2-num-11.xml 11773230 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.07/0.32
Waldmann_07_size12/size-12-alpha-2-num-12.xml 11773003 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.35
Waldmann_07_size12/size-12-alpha-2-num-13.xml 11773059 CERTIFIED YES 40.95/10.70 (CERTIFIED 0.13) CERTIFIED YES 17.12/5.12 (CERTIFIED 0.07) MAYBE 0.05/0.23
Waldmann_07_size12/size-12-alpha-2-num-14.xml 11773055 CERTIFIED YES 40.63/10.64 (CERTIFIED 0.14) CERTIFIED YES 13.03/4.05 (CERTIFIED 0.11) MAYBE 0.04/0.15
Waldmann_07_size12/size-12-alpha-2-num-15.xml 11773011 CERTIFIED YES 115.98/29.93 (CERTIFIED 0.40) CERTIFIED YES 10.46/3.40 (CERTIFIED 0.21) MAYBE 0.04/0.19
Waldmann_07_size12/size-12-alpha-2-num-16.xml 11773227 CERTIFIED YES 33.90/8.89 (CERTIFIED 0.12) CERTIFIED YES 22.05/6.39 (CERTIFIED 0.20) MAYBE 0.04/0.20
Waldmann_07_size12/size-12-alpha-2-num-17.xml 11773112 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.03/0.19
Waldmann_07_size12/size-12-alpha-2-num-18.xml 11773218 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.07/0.21
Waldmann_07_size12/size-12-alpha-2-num-19.xml 11773120 timeout (wallclock) [out] CERTIFIED YES 11.00/3.63 (CERTIFIED 0.09) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-2-num-2.xml 11773001 CERTIFIED YES 30.78/6.99 (CERTIFIED 0.09) CERTIFIED YES 25.46/7.24 (CERTIFIED 0.12) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-2-num-20.xml 11772976 timeout (wallclock) [out] CERTIFIED NO 201.70/52.29 (CERTIFIED 0.09) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-2-num-21.xml 11773098 CERTIFIED YES 24.93/6.59 (CERTIFIED 0.09) CERTIFIED YES 12.66/3.96 (CERTIFIED 0.10) MAYBE 0.04/0.17
Waldmann_07_size12/size-12-alpha-2-num-22.xml 11773140 CERTIFIED YES 28.96/8.18 (CERTIFIED 0.12) CERTIFIED YES 13.20/4.11 (CERTIFIED 0.07) MAYBE 0.05/0.15
Waldmann_07_size12/size-12-alpha-2-num-3.xml 11773071 CERTIFIED YES 27.94/7.35 (CERTIFIED 0.09) CERTIFIED YES 11.98/3.77 (CERTIFIED 0.08) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-2-num-4.xml 11773074 CERTIFIED YES 55.03/14.15 (CERTIFIED 0.08) CERTIFIED YES 18.17/5.32 (CERTIFIED 0.13) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-2-num-5.xml 11772993 CERTIFIED YES 149.96/38.65 (CERTIFIED 0.27) CERTIFIED YES 14.97/4.59 (CERTIFIED 0.08) MAYBE 0.02/0.23
Waldmann_07_size12/size-12-alpha-2-num-6.xml 11773217 timeout (wallclock) [out] CERTIFIED YES 15.29/4.63 (CERTIFIED 0.07) MAYBE 0.02/0.14
Waldmann_07_size12/size-12-alpha-2-num-7.xml 11773119 timeout (wallclock) [out] ERROR 1140.33/291.75 MAYBE 0.03/0.18
Waldmann_07_size12/size-12-alpha-2-num-8.xml 11773222 timeout (wallclock) [out] CERTIFIED YES 35.96/9.86 (CERTIFIED 0.08) MAYBE 0.02/0.17
Waldmann_07_size12/size-12-alpha-3-num-1.xml 11773224 CERTIFIED YES 17.30/4.91 (CERTIFIED 0.15) CERTIFIED YES 23.33/3.76 (CERTIFIED 0.86) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-10.xml 11773073 CERTIFIED YES 13.63/3.72 (CERTIFIED 0.11) CERTIFIED YES 10.42/3.43 (CERTIFIED 0.07) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-100.xml 11772935 timeout (wallclock) [out] CERTIFIED NO 5.16/2.01 (CERTIFIED 0.06) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-101.xml 11773038 timeout (wallclock) [out] CERTIFIED NO 9.39/3.18 (CERTIFIED 0.09) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-104.xml 11773246 CERTIFIED YES 32.68/8.34 (CERTIFIED 0.12) CERTIFIED YES 9.00/3.19 (CERTIFIED 0.09) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-105.xml 11773175 timeout (wallclock) [out] CERTIFIED YES 13.20/4.07 (CERTIFIED 0.08) MAYBE 0.02/0.14
Waldmann_07_size12/size-12-alpha-3-num-106.xml 11773036 CERTIFIED YES 47.49/12.36 (CERTIFIED 0.17) CERTIFIED YES 9.81/3.19 (CERTIFIED 0.09) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-107.xml 11772941 CERTIFIED YES 23.79/4.74 (CERTIFIED 0.12) CERTIFIED YES 16.56/5.05 (CERTIFIED 0.11) MAYBE 0.04/0.13
Waldmann_07_size12/size-12-alpha-3-num-108.xml 11773047 CERTIFIED YES 20.49/5.46 (CERTIFIED 0.12) CERTIFIED YES 12.09/3.87 (CERTIFIED 0.11) MAYBE 0.04/0.15
Waldmann_07_size12/size-12-alpha-3-num-109.xml 11772925 CERTIFIED YES 23.36/6.46 (CERTIFIED 0.09) CERTIFIED YES 10.86/3.49 (CERTIFIED 0.11) MAYBE 0.04/0.15
Waldmann_07_size12/size-12-alpha-3-num-11.xml 11772992 timeout (wallclock) [out] CERTIFIED NO 35.13/11.66 (CERTIFIED 0.08) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-110.xml 11773066 CERTIFIED YES 25.29/6.67 (CERTIFIED 0.09) memout [out] MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-111.xml 11772996 CERTIFIED YES 24.89/7.21 (CERTIFIED 0.10) CERTIFIED YES 27.20/14.43 (CERTIFIED 0.15) MAYBE 0.05/0.21
Waldmann_07_size12/size-12-alpha-3-num-112.xml 11773211 CERTIFIED YES 33.81/8.85 (CERTIFIED 0.13) CERTIFIED YES 15.01/4.60 (CERTIFIED 0.12) MAYBE 0.04/0.16
Waldmann_07_size12/size-12-alpha-3-num-113.xml 11773124 CERTIFIED YES 26.74/7.05 (CERTIFIED 0.10) CERTIFIED YES 11.94/3.84 (CERTIFIED 0.08) MAYBE 0.05/0.19
Waldmann_07_size12/size-12-alpha-3-num-114.xml 11773121 CERTIFIED YES 64.91/16.84 (CERTIFIED 0.16) CERTIFIED YES 31.21/8.71 (CERTIFIED 0.23) MAYBE 0.04/0.18
Waldmann_07_size12/size-12-alpha-3-num-120.xml 11773205 timeout (wallclock) [out] ERROR 1159.5/295.48 MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-121.xml 11773137 CERTIFIED YES 49.83/13.00 (CERTIFIED 0.21) memout [out] MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-122.xml 11773082 CERTIFIED YES 90.00/23.23 (CERTIFIED 0.17) memout [out] MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-123.xml 11772989 CERTIFIED YES 46.28/11.71 (CERTIFIED 0.12) CERTIFIED YES 50.30/14.24 (CERTIFIED 0.14) MAYBE 0.04/0.15
Waldmann_07_size12/size-12-alpha-3-num-124.xml 11772982 CERTIFIED YES 95.44/24.68 (CERTIFIED 0.17) CERTIFIED YES 13.53/4.18 (CERTIFIED 0.09) MAYBE 0.05/0.19
Waldmann_07_size12/size-12-alpha-3-num-125.xml 11773085 CERTIFIED YES 35.51/9.35 (CERTIFIED 0.15) CERTIFIED YES 12.25/3.87 (CERTIFIED 0.14) MAYBE 0.06/0.20
Waldmann_07_size12/size-12-alpha-3-num-126.xml 11773132 CERTIFIED YES 37.88/9.92 (CERTIFIED 0.13) CERTIFIED YES 12.13/3.91 (CERTIFIED 0.10) MAYBE 0.03/0.17
Waldmann_07_size12/size-12-alpha-3-num-127.xml 11773208 timeout (wallclock) [out] CERTIFIED NO 53.80/14.46 (CERTIFIED 0.08) MAYBE 0.05/0.13
Waldmann_07_size12/size-12-alpha-3-num-128.xml 11773147 CERTIFIED YES 56.15/14.18 (CERTIFIED 0.19) CERTIFIED YES 13.58/4.24 (CERTIFIED 0.16) MAYBE 0.07/0.19
Waldmann_07_size12/size-12-alpha-3-num-129.xml 11773194 timeout (wallclock) [out] CERTIFIED NO 5.02/1.98 (CERTIFIED 0.07) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-13.xml 11773116 CERTIFIED YES 23.57/6.34 (CERTIFIED 0.15) CERTIFIED YES 11.54/3.78 (CERTIFIED 0.09) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-131.xml 11773256 CERTIFIED YES 25.85/6.84 (CERTIFIED 0.10) CERTIFIED YES 12.14/3.81 (CERTIFIED 0.11) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-132.xml 11772948 timeout (wallclock) [out] CERTIFIED YES 17.23/5.15 (CERTIFIED 0.12) MAYBE 0.02/0.14
Waldmann_07_size12/size-12-alpha-3-num-133.xml 11773027 CERTIFIED YES 86.33/21.40 (CERTIFIED 0.14) CERTIFIED YES 20.60/5.97 (CERTIFIED 0.16) MAYBE 0.04/0.22
Waldmann_07_size12/size-12-alpha-3-num-134.xml 11773021 CERTIFIED YES 22.27/6.25 (CERTIFIED 0.09) CERTIFIED YES 12.02/3.81 (CERTIFIED 0.11) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-135.xml 11772953 timeout (wallclock) [out] CERTIFIED NO 24.71/7.03 (CERTIFIED 0.07) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-14.xml 11773127 CERTIFIED YES 25.47/6.73 (CERTIFIED 0.10) CERTIFIED YES 11.63/3.73 (CERTIFIED 0.12) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-140.xml 11772965 CERTIFIED NO 2.82/0.99 (CERTIFIED 0.09) CERTIFIED NO 3.66/1.60 (CERTIFIED 0.04) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-146.xml 11773019 CERTIFIED NO 2.53/0.87 (CERTIFIED 0.07) CERTIFIED NO 3.39/6.55 (CERTIFIED 0.04) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-149.xml 11772955 CERTIFIED YES 18.08/4.99 (CERTIFIED 0.09) CERTIFIED YES 12.98/4.17 (CERTIFIED 0.08) MAYBE 0.02/0.13
Waldmann_07_size12/size-12-alpha-3-num-15.xml 11773212 CERTIFIED YES 15.12/4.08 (CERTIFIED 0.09) CERTIFIED YES 12.60/3.96 (CERTIFIED 0.10) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-152.xml 11773197 CERTIFIED YES 35.06/7.03 (CERTIFIED 0.09) CERTIFIED YES 19.83/5.81 (CERTIFIED 0.17) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-158.xml 11772986 CERTIFIED NO 2.86/0.96 (CERTIFIED 0.06) CERTIFIED NO 3.48/1.58 (CERTIFIED 0.04) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-159.xml 11773088 CERTIFIED NO 1.05/0.58 (CERTIFIED 0.06) CERTIFIED NO 3.39/1.71 (CERTIFIED 0.04) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-16.xml 11773000 CERTIFIED YES 25.64/6.83 (CERTIFIED 0.11) CERTIFIED YES 10.90/3.61 (CERTIFIED 0.12) MAYBE 0.04/0.13
Waldmann_07_size12/size-12-alpha-3-num-160.xml 11773233 CERTIFIED NO 3.95/1.23 (CERTIFIED 0.07) CERTIFIED NO 3.70/1.63 (CERTIFIED 0.05) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-163.xml 11773006 CERTIFIED YES 14.01/3.95 (CERTIFIED 0.11) CERTIFIED YES 11.06/3.58 (CERTIFIED 0.10) MAYBE 0.03/0.09
Waldmann_07_size12/size-12-alpha-3-num-164.xml 11773008 CERTIFIED YES 25.67/6.84 (CERTIFIED 0.16) CERTIFIED YES 20.19/6.01 (CERTIFIED 0.10) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-165.xml 11773051 CERTIFIED YES 24.52/6.51 (CERTIFIED 0.10) CERTIFIED YES 10.62/3.46 (CERTIFIED 0.10) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-168.xml 11773118 CERTIFIED YES 25.13/6.42 (CERTIFIED 0.08) CERTIFIED YES 10.70/3.51 (CERTIFIED 0.07) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-17.xml 11773070 CERTIFIED YES 48.60/6.58 (CERTIFIED 0.10) CERTIFIED YES 13.83/4.34 (CERTIFIED 0.09) MAYBE 0.04/0.13
Waldmann_07_size12/size-12-alpha-3-num-170.xml 11773186 timeout (wallclock) [out] CERTIFIED NO 57.41/15.49 (CERTIFIED 0.08) MAYBE 0.03/0.09
Waldmann_07_size12/size-12-alpha-3-num-174.xml 11773046 timeout (wallclock) [out] ERROR 1143.02/292.03 MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-176.xml 11773238 CERTIFIED YES 34.06/8.94 (CERTIFIED 0.09) CERTIFIED YES 27.20/4.30 (CERTIFIED 0.10) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-177.xml 11773178 CERTIFIED NO 9.30/2.74 (CERTIFIED 0.07) CERTIFIED NO 3.64/1.71 (CERTIFIED 0.05) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-178.xml 11773242 timeout (wallclock) [out] CERTIFIED NO 11.05/4.73 (CERTIFIED 0.07) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-179.xml 11773173 CERTIFIED NO 3.82/1.20 (CERTIFIED 0.08) CERTIFIED NO 3.42/1.65 (CERTIFIED 0.06) MAYBE 0.02/0.13
Waldmann_07_size12/size-12-alpha-3-num-180.xml 11772973 CERTIFIED YES 29.98/8.22 (CERTIFIED 0.13) CERTIFIED YES 21.01/6.09 (CERTIFIED 1.29) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-181.xml 11773095 CERTIFIED NO 4.14/1.28 (CERTIFIED 0.08) CERTIFIED NO 4.24/1.89 (CERTIFIED 0.08) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-186.xml 11773090 CERTIFIED YES 10.09/2.82 (CERTIFIED 0.10) CERTIFIED YES 11.33/3.83 (CERTIFIED 0.10) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-19.xml 11773062 CERTIFIED YES 24.67/6.53 (CERTIFIED 0.09) CERTIFIED YES 17.87/5.30 (CERTIFIED 0.11) MAYBE 0.04/0.15
Waldmann_07_size12/size-12-alpha-3-num-190.xml 11773013 CERTIFIED YES 18.58/5.01 (CERTIFIED 0.10) CERTIFIED YES 9.01/3.01 (CERTIFIED 0.07) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-191.xml 11772968 CERTIFIED YES 18.72/4.99 (CERTIFIED 0.09) CERTIFIED YES 8.94/3.10 (CERTIFIED 0.08) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-194.xml 11773155 CERTIFIED YES 20.91/4.79 (CERTIFIED 0.10) CERTIFIED YES 14.38/4.39 (CERTIFIED 0.11) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-195.xml 11773269 CERTIFIED NO 11.51/3.17 (CERTIFIED 0.09) CERTIFIED NO 3.44/1.56 (CERTIFIED 0.06) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-198.xml 11772956 CERTIFIED YES 45.76/11.92 (CERTIFIED 0.10) CERTIFIED YES 10.38/3.36 (CERTIFIED 0.08) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-199.xml 11773023 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-20.xml 11773210 timeout (wallclock) [out] CERTIFIED NO 5.72/2.15 (CERTIFIED 0.06) MAYBE 0.04/0.14
Waldmann_07_size12/size-12-alpha-3-num-200.xml 11773076 CERTIFIED YES 23.33/6.41 (CERTIFIED 0.09) CERTIFIED YES 9.59/3.26 (CERTIFIED 0.67) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-201.xml 11772995 CERTIFIED YES 21.97/6.12 (CERTIFIED 0.14) CERTIFIED YES 21.08/6.26 (CERTIFIED 0.16) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-202.xml 11773219 timeout (wallclock) [out] CERTIFIED YES 13.61/4.25 (CERTIFIED 1.02) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-203.xml 11773122 CERTIFIED YES 24.75/6.28 (CERTIFIED 0.09) CERTIFIED YES 10.22/3.39 (CERTIFIED 0.09) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-204.xml 11773125 timeout (wallclock) [out] CERTIFIED YES 15.98/4.83 (CERTIFIED 0.07) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-206.xml 11772997 timeout (wallclock) [out] CERTIFIED NO 7.87/2.75 (CERTIFIED 0.06) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-207.xml 11773067 timeout (wallclock) [out] CERTIFIED NO 12.86/4.17 (CERTIFIED 0.10) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-209.xml 11773061 timeout (wallclock) [out] ERROR 1143.73/291.77 MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-21.xml 11773133 timeout (wallclock) [out] CERTIFIED NO 82.51/21.64 (CERTIFIED 0.10) MAYBE 0.10/0.24
Waldmann_07_size12/size-12-alpha-3-num-210.xml 11772939 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-211.xml 11773035 timeout (wallclock) [out] CERTIFIED NO 1026.4/261.73 (CERTIFIED 0.12) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-213.xml 11773245 CERTIFIED YES 23.78/6.75 (CERTIFIED 0.10) CERTIFIED YES 13.20/4.12 (CERTIFIED 0.08) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-215.xml 11773171 CERTIFIED YES 18.73/5.01 (CERTIFIED 0.10) CERTIFIED YES 13.42/4.13 (CERTIFIED 0.08) MAYBE 0.05/0.15
Waldmann_07_size12/size-12-alpha-3-num-217.xml 11772933 CERTIFIED NO 12.16/3.35 (CERTIFIED 0.09) CERTIFIED NO 6.86/2.48 (CERTIFIED 0.06) MAYBE 0.06/0.19
Waldmann_07_size12/size-12-alpha-3-num-219.xml 11772929 timeout (wallclock) [out] ERROR 1145.49/292.17 MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-22.xml 11773086 timeout (wallclock) [out] CERTIFIED NO 16.42/4.94 (CERTIFIED 0.11) MAYBE 0.08/0.25
Waldmann_07_size12/size-12-alpha-3-num-220.xml 11773166 timeout (wallclock) [out] ERROR 1145.57/292.26 MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-221.xml 11773251 CERTIFIED YES 13.48/3.69 (CERTIFIED 0.09) CERTIFIED YES 18.78/5.63 (CERTIFIED 0.08) MAYBE 0.04/0.12
Waldmann_07_size12/size-12-alpha-3-num-222.xml 11772954 timeout (wallclock) [out] ERROR 1146.07/292.17 MAYBE 0.04/0.21
Waldmann_07_size12/size-12-alpha-3-num-223.xml 11773022 timeout (wallclock) [out] CERTIFIED YES 157.61/40.80 (CERTIFIED 0.19) MAYBE 0.05/0.18
Waldmann_07_size12/size-12-alpha-3-num-224.xml 11773029 timeout (wallclock) [out] CERTIFIED NO 529.97/135.68 (CERTIFIED 0.14) MAYBE 0.03/0.15
Waldmann_07_size12/size-12-alpha-3-num-225.xml 11772950 CERTIFIED YES 24.21/6.82 (CERTIFIED 0.10) CERTIFIED YES 11.91/3.76 (CERTIFIED 0.09) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-226.xml 11773257 CERTIFIED YES 35.05/9.20 (CERTIFIED 0.15) CERTIFIED YES 18.93/5.71 (CERTIFIED 0.18) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-227.xml 11773163 timeout (wallclock) [out] CERTIFIED NO 5.52/2.14 (CERTIFIED 0.08) MAYBE 0.03/0.16
Waldmann_07_size12/size-12-alpha-3-num-23.xml 11772984 timeout (wallclock) [out] CERTIFIED NO 6.21/2.31 (CERTIFIED 0.07) MAYBE 0.07/0.17
Waldmann_07_size12/size-12-alpha-3-num-231.xml 11773130 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-232.xml 11773084 CERTIFIED YES 17.60/4.84 (CERTIFIED 0.12) CERTIFIED YES 13.09/4.26 (CERTIFIED 0.70) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-233.xml 11772981 timeout (wallclock) [out] CERTIFIED NO 45.85/12.55 (CERTIFIED 0.09) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-236.xml 11773135 CERTIFIED YES 46.29/12.14 (CERTIFIED 0.15) CERTIFIED YES 14.16/4.38 (CERTIFIED 0.19) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-237.xml 11773203 CERTIFIED YES 37.26/9.30 (CERTIFIED 0.13) CERTIFIED YES 12.87/4.09 (CERTIFIED 0.53) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-238.xml 11773143 timeout (wallclock) [out] ERROR 1144.36/291.89 MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-239.xml 11773201 timeout (wallclock) [out] CERTIFIED NO 5.36/2.05 (CERTIFIED 0.07) MAYBE 0.04/0.12
Waldmann_07_size12/size-12-alpha-3-num-241.xml 11772980 timeout (wallclock) [out] CERTIFIED NO 8.64/2.93 (CERTIFIED 0.07) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-243.xml 11773148 timeout (wallclock) [out] CERTIFIED NO 5.37/2.19 (CERTIFIED 0.07) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-247.xml 11773094 timeout (wallclock) [out] ERROR 1141.33/291.69 MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-248.xml 11772987 timeout (wallclock) [out] ERROR 1143.66/291.65 MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-249.xml 11773078 timeout (wallclock) [out] CERTIFIED NO 29.19/8.13 (CERTIFIED 0.07) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-255.xml 11773157 CERTIFIED YES 16.45/4.48 (CERTIFIED 0.09) CERTIFIED YES 29.62/8.32 (CERTIFIED 0.11) MAYBE 0.05/0.16
Waldmann_07_size12/size-12-alpha-3-num-257.xml 11772967 timeout (wallclock) [out] CERTIFIED NO 5.00/2.01 (CERTIFIED 0.07) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-260.xml 11773177 timeout (wallclock) [out] CERTIFIED NO 4.33/1.78 (CERTIFIED 0.06) MAYBE 0.02/0.15
Waldmann_07_size12/size-12-alpha-3-num-263.xml 11773045 CERTIFIED YES 67.73/17.54 (CERTIFIED 0.18) CERTIFIED YES 15.00/4.55 (CERTIFIED 0.13) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-265.xml 11772932 CERTIFIED YES 25.76/6.79 (CERTIFIED 0.09) CERTIFIED YES 10.78/3.47 (CERTIFIED 0.08) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-267.xml 11773185 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.03/0.18
Waldmann_07_size12/size-12-alpha-3-num-270.xml 11773223 timeout (wallclock) [out] CERTIFIED NO 55.33/14.81 (CERTIFIED 0.09) MAYBE 0.02/0.14
Waldmann_07_size12/size-12-alpha-3-num-271.xml 11773109 CERTIFIED YES 34.91/9.16 (CERTIFIED 0.14) CERTIFIED YES 11.25/3.66 (CERTIFIED 0.94) MAYBE 0.02/0.13
Waldmann_07_size12/size-12-alpha-3-num-272.xml 11773052 timeout (wallclock) [out] ERROR 1141.58/291.91 MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-273.xml 11773009 CERTIFIED YES 16.21/4.46 (CERTIFIED 0.09) CERTIFIED YES 12.18/3.84 (CERTIFIED 0.96) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-274.xml 11773007 timeout (wallclock) [out] ERROR 1144.05/291.71 MAYBE 0.06/0.22
Waldmann_07_size12/size-12-alpha-3-num-275.xml 11773064 CERTIFIED YES 9.73/2.70 (CERTIFIED 0.10) CERTIFIED YES 9.97/3.37 (CERTIFIED 0.12) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-279.xml 11773213 CERTIFIED YES 15.20/4.11 (CERTIFIED 0.14) CERTIFIED YES 10.53/3.47 (CERTIFIED 0.09) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-281.xml 11772963 CERTIFIED YES 11.86/3.28 (CERTIFIED 0.10) CERTIFIED YES 11.75/3.80 (CERTIFIED 0.12) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-282.xml 11773268 CERTIFIED YES 21.93/6.04 (CERTIFIED 0.09) CERTIFIED YES 14.94/4.65 (CERTIFIED 0.11) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-283.xml 11773154 CERTIFIED YES 9.01/2.53 (CERTIFIED 0.10) CERTIFIED YES 19.90/5.86 (CERTIFIED 0.08) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-284.xml 11773156 CERTIFIED YES 15.17/4.29 (CERTIFIED 0.09) CERTIFIED YES 9.92/3.27 (CERTIFIED 0.07) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-285.xml 11773260 CERTIFIED YES 24.50/6.57 (CERTIFIED 0.13) CERTIFIED YES 15.27/4.67 (CERTIFIED 0.07) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-286.xml 11772966 CERTIFIED YES 33.30/8.92 (CERTIFIED 0.15) CERTIFIED YES 13.07/4.07 (CERTIFIED 0.13) MAYBE 0.02/0.13
Waldmann_07_size12/size-12-alpha-3-num-287.xml 11773012 CERTIFIED YES 8.91/2.49 (CERTIFIED 0.09) CERTIFIED YES 21.63/6.37 (CERTIFIED 0.92) MAYBE 0.03/0.09
Waldmann_07_size12/size-12-alpha-3-num-288.xml 11772944 CERTIFIED YES 24.21/6.66 (CERTIFIED 0.14) CERTIFIED YES 18.86/5.63 (CERTIFIED 0.12) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-289.xml 11773024 CERTIFIED YES 27.72/7.31 (CERTIFIED 0.10) CERTIFIED YES 12.26/3.88 (CERTIFIED 0.08) MAYBE 0.03/0.16
Waldmann_07_size12/size-12-alpha-3-num-291.xml 11773091 timeout (wallclock) [out] ERROR 1143.93/291.74 MAYBE 0.05/0.16
Waldmann_07_size12/size-12-alpha-3-num-292.xml 11773149 timeout (wallclock) [out] ERROR 1143.77/291.82 MAYBE 0.06/0.17
Waldmann_07_size12/size-12-alpha-3-num-293.xml 11773195 CERTIFIED YES 33.80/8.85 (CERTIFIED 0.15) CERTIFIED YES 21.38/6.20 (CERTIFIED 0.18) MAYBE 0.04/0.18
Waldmann_07_size12/size-12-alpha-3-num-294.xml 11773196 CERTIFIED YES 26.48/6.97 (CERTIFIED 0.09) CERTIFIED YES 16.76/5.01 (CERTIFIED 0.11) MAYBE 0.02/0.12
Waldmann_07_size12/size-12-alpha-3-num-296.xml 11773096 CERTIFIED YES 32.09/8.42 (CERTIFIED 0.10) CERTIFIED YES 13.62/4.20 (CERTIFIED 0.06) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-297.xml 11772974 CERTIFIED YES 31.43/8.27 (CERTIFIED 0.10) CERTIFIED YES 13.59/4.17 (CERTIFIED 0.10) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-298.xml 11773079 timeout (wallclock) [out] CERTIFIED NO 56.98/15.54 (CERTIFIED 0.11) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-299.xml 11772988 CERTIFIED YES 33.66/8.88 (CERTIFIED 0.15) CERTIFIED YES 13.50/4.25 (CERTIFIED 0.16) MAYBE 0.04/0.17
Waldmann_07_size12/size-12-alpha-3-num-3.xml 11773053 timeout (wallclock) [out] CERTIFIED NO 11.76/3.73 (CERTIFIED 0.06) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-30.xml 11773170 CERTIFIED YES 9.06/2.54 (CERTIFIED 0.10) CERTIFIED YES 10.31/3.38 (CERTIFIED 0.70) MAYBE 0.04/0.14
Waldmann_07_size12/size-12-alpha-3-num-300.xml 11773025 CERTIFIED YES 41.28/10.93 (CERTIFIED 0.16) CERTIFIED YES 13.70/4.25 (CERTIFIED 0.11) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-301.xml 11772945 CERTIFIED YES 28.14/7.42 (CERTIFIED 0.12) CERTIFIED YES 37.10/12.66 (CERTIFIED 0.17) MAYBE 0.06/0.19
Waldmann_07_size12/size-12-alpha-3-num-303.xml 11773160 CERTIFIED YES 26.97/8.94 (CERTIFIED 0.09) CERTIFIED YES 13.32/9.21 (CERTIFIED 0.11) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-304.xml 11773168 CERTIFIED YES 30.63/8.05 (CERTIFIED 0.11) CERTIFIED YES 20.55/5.98 (CERTIFIED 0.09) MAYBE 0.04/0.14
Waldmann_07_size12/size-12-alpha-3-num-309.xml 11773020 timeout (wallclock) [out] CERTIFIED YES 14.55/4.45 (CERTIFIED 0.11) MAYBE 0.05/0.20
Waldmann_07_size12/size-12-alpha-3-num-31.xml 11773253 CERTIFIED YES 20.75/5.56 (CERTIFIED 0.09) CERTIFIED YES 8.63/3.05 (CERTIFIED 0.07) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-32.xml 11772957 timeout (wallclock) [out] ERROR 1144.61/291.71 MAYBE 0.08/0.22
Waldmann_07_size12/size-12-alpha-3-num-327.xml 11773114 CERTIFIED YES 27.86/7.35 (CERTIFIED 0.10) CERTIFIED YES 18.59/6.02 (CERTIFIED 0.13) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-328.xml 11773220 timeout (wallclock) [out] CERTIFIED NO 28.11/7.88 (CERTIFIED 0.09) MAYBE 0.04/0.16
Waldmann_07_size12/size-12-alpha-3-num-330.xml 11773250 CERTIFIED YES 24.35/6.56 (CERTIFIED 0.10) CERTIFIED YES 19.30/5.74 (CERTIFIED 0.21) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-335.xml 11773034 CERTIFIED YES 26.96/7.10 (CERTIFIED 0.10) CERTIFIED YES 10.32/3.38 (CERTIFIED 0.13) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-337.xml 11773244 CERTIFIED YES 31.19/8.17 (CERTIFIED 0.12) CERTIFIED YES 11.26/3.58 (CERTIFIED 0.09) MAYBE 0.04/0.21
Waldmann_07_size12/size-12-alpha-3-num-338.xml 11773179 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.26
Waldmann_07_size12/size-12-alpha-3-num-339.xml 11773239 timeout (wallclock) [out] CERTIFIED NO 53.46/14.29 (CERTIFIED 0.12) MAYBE 0.13/0.36
Waldmann_07_size12/size-12-alpha-3-num-340.xml 11773044 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.11/0.33
Waldmann_07_size12/size-12-alpha-3-num-341.xml 11772931 CERTIFIED YES 26.21/7.36 (CERTIFIED 0.09) CERTIFIED YES 12.99/4.08 (CERTIFIED 0.09) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-343.xml 11773184 CERTIFIED YES 20.86/5.57 (CERTIFIED 0.09) CERTIFIED YES 20.81/3.42 (CERTIFIED 0.08) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-345.xml 11773241 CERTIFIED YES 27.41/7.22 (CERTIFIED 0.10) CERTIFIED YES 11.01/3.67 (CERTIFIED 0.10) MAYBE 0.02/0.15
Waldmann_07_size12/size-12-alpha-3-num-346.xml 11772928 CERTIFIED YES 27.83/7.01 (CERTIFIED 0.10) CERTIFIED YES 23.94/6.88 (CERTIFIED 0.12) MAYBE 0.03/0.17
Waldmann_07_size12/size-12-alpha-3-num-347.xml 11773050 CERTIFIED YES 27.80/7.39 (CERTIFIED 0.10) CERTIFIED YES 11.90/3.74 (CERTIFIED 0.08) MAYBE 0.03/0.15
Waldmann_07_size12/size-12-alpha-3-num-348.xml 11772943 CERTIFIED YES 27.13/7.14 (CERTIFIED 0.09) CERTIFIED YES 12.63/3.99 (CERTIFIED 0.12) MAYBE 0.03/0.17
Waldmann_07_size12/size-12-alpha-3-num-35.xml 11772946 CERTIFIED YES 21.30/5.86 (CERTIFIED 0.16) CERTIFIED YES 16.85/5.01 (CERTIFIED 0.19) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-350.xml 11773002 CERTIFIED YES 27.59/7.54 (CERTIFIED 0.15) CERTIFIED YES 12.96/4.03 (CERTIFIED 0.15) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-351.xml 11773057 CERTIFIED YES 10.67/2.96 (CERTIFIED 0.09) CERTIFIED YES 9.02/3.08 (CERTIFIED 0.11) MAYBE 0.02/0.07
Waldmann_07_size12/size-12-alpha-3-num-352.xml 11773102 CERTIFIED YES 16.27/4.46 (CERTIFIED 0.08) CERTIFIED YES 12.58/3.98 (CERTIFIED 0.88) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-353.xml 11773228 timeout (wallclock) [out] CERTIFIED NO 4.87/2.06 (CERTIFIED 0.08) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-354.xml 11773225 CERTIFIED YES 65.16/17.04 (CERTIFIED 0.09) CERTIFIED YES 40.72/12.94 (CERTIFIED 0.08) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-355.xml 11773110 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.03/0.24
Waldmann_07_size12/size-12-alpha-3-num-356.xml 11773054 timeout (wallclock) [out] CERTIFIED NO 806.43/205.79 (CERTIFIED 0.14) MAYBE 0.06/0.29
Waldmann_07_size12/size-12-alpha-3-num-359.xml 11772994 CERTIFIED YES 47.65/12.43 (CERTIFIED 0.20) CERTIFIED YES 22.55/6.57 (CERTIFIED 0.17) MAYBE 0.02/0.12
Waldmann_07_size12/size-12-alpha-3-num-360.xml 11773142 CERTIFIED YES 27.22/7.14 (CERTIFIED 0.12) CERTIFIED YES 12.07/3.79 (CERTIFIED 0.11) MAYBE 0.03/0.21
Waldmann_07_size12/size-12-alpha-3-num-361.xml 11773200 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.06/0.28
Waldmann_07_size12/size-12-alpha-3-num-362.xml 11772977 timeout (wallclock) [out] CERTIFIED NO 291.0/74.57 (CERTIFIED 0.17) MAYBE 0.15/0.45
Waldmann_07_size12/size-12-alpha-3-num-363.xml 11773100 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.20/0.47
Waldmann_07_size12/size-12-alpha-3-num-366.xml 11773192 CERTIFIED YES 28.72/7.55 (CERTIFIED 0.09) CERTIFIED YES 16.92/5.10 (CERTIFIED 0.12) MAYBE 0.04/0.20
Waldmann_07_size12/size-12-alpha-3-num-367.xml 11773145 CERTIFIED YES 27.77/7.32 (CERTIFIED 0.10) CERTIFIED YES 14.42/4.42 (CERTIFIED 0.12) MAYBE 0.04/0.16
Waldmann_07_size12/size-12-alpha-3-num-368.xml 11773206 timeout (wallclock) [out] CERTIFIED NO 14.84/4.55 (CERTIFIED 0.07) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-369.xml 11773129 timeout (wallclock) [out] CERTIFIED NO 59.73/15.85 (CERTIFIED 0.10) MAYBE 0.03/0.20
Waldmann_07_size12/size-12-alpha-3-num-373.xml 11772970 timeout (wallclock) [out] CERTIFIED NO 20.38/5.89 (CERTIFIED 0.07) MAYBE 0.05/0.14
Waldmann_07_size12/size-12-alpha-3-num-374.xml 11772959 timeout (wallclock) [out] ERROR 1180.56/291.77 MAYBE 0.05/0.24
Waldmann_07_size12/size-12-alpha-3-num-375.xml 11773015 CERTIFIED YES 30.19/7.92 (CERTIFIED 0.10) CERTIFIED YES 11.93/3.75 (CERTIFIED 0.09) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-376.xml 11773152 CERTIFIED YES 29.37/7.72 (CERTIFIED 0.10) CERTIFIED YES 10.12/3.32 (CERTIFIED 0.08) MAYBE 0.02/0.13
Waldmann_07_size12/size-12-alpha-3-num-377.xml 11773266 CERTIFIED YES 26.06/6.88 (CERTIFIED 0.10) CERTIFIED YES 41.69/11.44 (CERTIFIED 0.13) MAYBE 0.02/0.14
Waldmann_07_size12/size-12-alpha-3-num-378.xml 11773167 timeout (wallclock) [out] CERTIFIED NO 134.40/34.94 (CERTIFIED 0.13) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-382.xml 11773231 timeout (wallclock) [out] CERTIFIED NO 964.68/246.90 (CERTIFIED 0.14) MAYBE 0.10/0.31
Waldmann_07_size12/size-12-alpha-3-num-383.xml 11773105 timeout (wallclock) [out] CERTIFIED NO 952.22/243.14 (CERTIFIED 0.15) MAYBE 0.06/0.26
Waldmann_07_size12/size-12-alpha-3-num-384.xml 11773113 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.69/0.56
Waldmann_07_size12/size-12-alpha-3-num-385.xml 11773226 timeout (wallclock) [out] CERTIFIED NO 521.97/133.45 (CERTIFIED 0.17) MAYBE 0.06/0.27
Waldmann_07_size12/size-12-alpha-3-num-386.xml 11773010 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.16/0.45
Waldmann_07_size12/size-12-alpha-3-num-389.xml 11773075 CERTIFIED YES 27.43/7.22 (CERTIFIED 0.10) CERTIFIED YES 30.19/4.62 (CERTIFIED 0.14) MAYBE 0.04/0.16
Waldmann_07_size12/size-12-alpha-3-num-391.xml 11773042 CERTIFIED YES 37.30/9.38 (CERTIFIED 0.16) CERTIFIED YES 16.38/4.95 (CERTIFIED 0.16) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-392.xml 11773183 CERTIFIED YES 25.45/6.74 (CERTIFIED 0.10) CERTIFIED YES 12.90/4.06 (CERTIFIED 0.12) MAYBE 0.04/0.12
Waldmann_07_size12/size-12-alpha-3-num-395.xml 11773181 CERTIFIED YES 27.14/7.16 (CERTIFIED 0.10) CERTIFIED YES 10.22/3.36 (CERTIFIED 0.09) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-396.xml 11773048 CERTIFIED YES 27.45/7.23 (CERTIFIED 0.10) CERTIFIED YES 11.59/3.67 (CERTIFIED 0.10) MAYBE 0.02/0.14
Waldmann_07_size12/size-12-alpha-3-num-399.xml 11772942 CERTIFIED YES 29.10/7.66 (CERTIFIED 0.12) CERTIFIED YES 11.86/3.81 (CERTIFIED 0.10) MAYBE 0.04/0.20
Waldmann_07_size12/size-12-alpha-3-num-4.xml 11773056 CERTIFIED YES 14.52/3.95 (CERTIFIED 0.12) CERTIFIED YES 13.30/4.27 (CERTIFIED 0.13) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-40.xml 11772961 CERTIFIED YES 18.06/4.83 (CERTIFIED 0.08) CERTIFIED YES 13.33/4.14 (CERTIFIED 0.10) MAYBE 0.07/0.28
Waldmann_07_size12/size-12-alpha-3-num-400.xml 11773153 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.16/0.49
Waldmann_07_size12/size-12-alpha-3-num-401.xml 11773267 timeout (wallclock) [out] CERTIFIED NO 294.51/75.51 (CERTIFIED 0.14) MAYBE 0.15/0.51
Waldmann_07_size12/size-12-alpha-3-num-402.xml 11772962 timeout (wallclock) [out] CERTIFIED NO 208.57/53.82 (CERTIFIED 0.15) MAYBE 0.61/0.55
Waldmann_07_size12/size-12-alpha-3-num-403.xml 11773018 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.12/0.38
Waldmann_07_size12/size-12-alpha-3-num-406.xml 11773262 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.16/0.50
Waldmann_07_size12/size-12-alpha-3-num-408.xml 11773258 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.8/0.79
Waldmann_07_size12/size-12-alpha-3-num-409.xml 11773164 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.20/0.50
Waldmann_07_size12/size-12-alpha-3-num-41.xml 11773017 CERTIFIED YES 17.69/4.70 (CERTIFIED 0.12) CERTIFIED YES 10.95/3.56 (CERTIFIED 0.07) MAYBE 0.02/0.07
Waldmann_07_size12/size-12-alpha-3-num-410.xml 11773189 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.15/0.42
Waldmann_07_size12/size-12-alpha-3-num-412.xml 11773089 CERTIFIED YES 28.15/7.41 (CERTIFIED 0.10) CERTIFIED YES 12.71/3.99 (CERTIFIED 0.10) MAYBE 0.07/0.23
Waldmann_07_size12/size-12-alpha-3-num-413.xml 11772979 CERTIFIED YES 27.59/7.32 (CERTIFIED 0.11) CERTIFIED YES 14.22/4.39 (CERTIFIED 0.15) MAYBE 0.10/0.34
Waldmann_07_size12/size-12-alpha-3-num-414.xml 11772975 CERTIFIED YES 28.27/7.44 (CERTIFIED 0.11) CERTIFIED YES 14.43/4.39 (CERTIFIED 0.14) MAYBE 0.04/0.23
Waldmann_07_size12/size-12-alpha-3-num-415.xml 11773099 CERTIFIED YES 28.05/7.43 (CERTIFIED 0.11) CERTIFIED YES 18.45/5.52 (CERTIFIED 0.14) MAYBE 0.04/0.18
Waldmann_07_size12/size-12-alpha-3-num-416.xml 11773139 CERTIFIED YES 32.90/8.48 (CERTIFIED 0.15) CERTIFIED YES 13.59/4.22 (CERTIFIED 0.14) MAYBE 0.06/0.25
Waldmann_07_size12/size-12-alpha-3-num-417.xml 11773198 CERTIFIED YES 34.26/7.90 (CERTIFIED 0.10) CERTIFIED YES 18.27/11.64 (CERTIFIED 0.20) MAYBE 0.06/0.25
Waldmann_07_size12/size-12-alpha-3-num-418.xml 11773134 CERTIFIED YES 27.25/7.19 (CERTIFIED 0.11) CERTIFIED YES 11.71/3.70 (CERTIFIED 0.10) MAYBE 0.03/0.16
Waldmann_07_size12/size-12-alpha-3-num-427.xml 11773058 CERTIFIED YES 28.06/7.47 (CERTIFIED 0.13) CERTIFIED YES 17.03/5.24 (CERTIFIED 0.14) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-429.xml 11773065 CERTIFIED YES 11.99/3.37 (CERTIFIED 0.07) CERTIFIED YES 17.06/5.05 (CERTIFIED 0.75) MAYBE 0.02/0.12
Waldmann_07_size12/size-12-alpha-3-num-430.xml 11772926 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.14
Waldmann_07_size12/size-12-alpha-3-num-431.xml 11773049 timeout (wallclock) [out] ERROR 1141.9/291.68 MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-434.xml 11773235 timeout (wallclock) [out] ERROR 1141.86/291.69 MAYBE 0.07/0.21
Waldmann_07_size12/size-12-alpha-3-num-435.xml 11773182 CERTIFIED YES 24.63/6.53 (CERTIFIED 0.16) CERTIFIED YES 21.15/6.31 (CERTIFIED 0.21) MAYBE 0.06/0.21
Waldmann_07_size12/size-12-alpha-3-num-436.xml 11773041 CERTIFIED YES 27.77/7.34 (CERTIFIED 0.11) CERTIFIED YES 13.38/4.23 (CERTIFIED 0.14) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-437.xml 11772930 CERTIFIED YES 27.58/7.46 (CERTIFIED 0.11) CERTIFIED YES 18.11/5.46 (CERTIFIED 0.19) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-438.xml 11773039 CERTIFIED YES 27.71/7.39 (CERTIFIED 0.11) memout [out] MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-439.xml 11772936 CERTIFIED YES 57.55/7.60 (CERTIFIED 0.10) CERTIFIED YES 12.13/3.82 (CERTIFIED 0.06) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-44.xml 11773263 CERTIFIED YES 20.03/5.01 (CERTIFIED 0.10) CERTIFIED YES 11.01/3.60 (CERTIFIED 0.11) MAYBE 0.04/0.13
Waldmann_07_size12/size-12-alpha-3-num-441.xml 11773243 CERTIFIED YES 19.64/5.38 (CERTIFIED 0.06) CERTIFIED YES 11.11/3.58 (CERTIFIED 0.05) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-443.xml 11773032 CERTIFIED YES 27.20/7.49 (CERTIFIED 0.12) CERTIFIED YES 11.86/3.81 (CERTIFIED 0.10) MAYBE 0.03/0.16
Waldmann_07_size12/size-12-alpha-3-num-446.xml 11773248 CERTIFIED YES 25.68/6.82 (CERTIFIED 0.12) CERTIFIED YES 12.53/4.06 (CERTIFIED 0.10) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-448.xml 11773236 CERTIFIED YES 22.81/5.96 (CERTIFIED 0.10) CERTIFIED YES 12.68/4.00 (CERTIFIED 0.07) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-45.xml 11773159 CERTIFIED YES 12.89/3.57 (CERTIFIED 0.15) CERTIFIED YES 11.69/3.86 (CERTIFIED 0.14) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-450.xml 11773215 timeout (wallclock) [out] CERTIFIED NO 19.32/5.79 (CERTIFIED 0.08) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-451.xml 11773117 CERTIFIED YES 28.14/7.42 (CERTIFIED 0.09) CERTIFIED YES 17.13/3.00 (CERTIFIED 0.06) MAYBE 0.03/0.16
Waldmann_07_size12/size-12-alpha-3-num-452.xml 11773072 timeout (wallclock) [out] CERTIFIED YES 39.65/10.86 (CERTIFIED 0.91) MAYBE 0.04/0.12
Waldmann_07_size12/size-12-alpha-3-num-453.xml 11772991 CERTIFIED YES 26.26/7.09 (CERTIFIED 0.15) CERTIFIED YES 11.54/3.70 (CERTIFIED 0.78) MAYBE 0.04/0.18
Waldmann_07_size12/size-12-alpha-3-num-454.xml 11772999 timeout (wallclock) [out] ERROR 1144.82/291.87 MAYBE 0.03/0.15
Waldmann_07_size12/size-12-alpha-3-num-455.xml 11773069 CERTIFIED YES 58.75/15.36 (CERTIFIED 0.15) CERTIFIED YES 27.70/7.79 (CERTIFIED 0.15) MAYBE 0.03/0.20
Waldmann_07_size12/size-12-alpha-3-num-456.xml 11773128 CERTIFIED YES 33.48/8.82 (CERTIFIED 0.16) CERTIFIED YES 20.26/5.93 (CERTIFIED 0.14) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-460.xml 11773087 CERTIFIED YES 27.54/7.30 (CERTIFIED 0.12) CERTIFIED YES 18.98/5.69 (CERTIFIED 0.14) MAYBE 0.07/0.22
Waldmann_07_size12/size-12-alpha-3-num-461.xml 11772985 CERTIFIED YES 30.06/7.97 (CERTIFIED 0.15) CERTIFIED YES 13.16/4.07 (CERTIFIED 0.15) MAYBE 0.03/0.16
Waldmann_07_size12/size-12-alpha-3-num-462.xml 11773209 CERTIFIED YES 26.95/7.13 (CERTIFIED 0.11) CERTIFIED YES 11.09/3.56 (CERTIFIED 0.14) MAYBE 0.06/0.22
Waldmann_07_size12/size-12-alpha-3-num-465.xml 11773202 CERTIFIED YES 26.33/6.98 (CERTIFIED 0.09) CERTIFIED YES 10.91/3.54 (CERTIFIED 0.08) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-467.xml 11773077 CERTIFIED YES 35.23/9.22 (CERTIFIED 0.15) CERTIFIED YES 16.87/7.03 (CERTIFIED 0.14) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-468.xml 11772972 CERTIFIED YES 29.68/7.79 (CERTIFIED 0.11) CERTIFIED YES 10.41/3.49 (CERTIFIED 0.10) MAYBE 0.02/0.14
Waldmann_07_size12/size-12-alpha-3-num-469.xml 11773093 timeout (wallclock) [out] CERTIFIED YES 25.80/7.38 (CERTIFIED 0.19) MAYBE 0.02/0.13
Waldmann_07_size12/size-12-alpha-3-num-47.xml 11772971 timeout (wallclock) [out] CERTIFIED NO 19.32/5.81 (CERTIFIED 0.10) MAYBE 0.04/0.15
Waldmann_07_size12/size-12-alpha-3-num-470.xml 11772958 CERTIFIED YES 29.08/7.70 (CERTIFIED 0.18) CERTIFIED YES 12.93/4.04 (CERTIFIED 0.12) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-472.xml 11773169 timeout (wallclock) [out] CERTIFIED YES 22.59/6.52 (CERTIFIED 0.07) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-473.xml 11773252 CERTIFIED YES 31.87/8.38 (CERTIFIED 0.10) CERTIFIED YES 10.46/4.14 (CERTIFIED 0.09) MAYBE 0.04/0.16
Waldmann_07_size12/size-12-alpha-3-num-474.xml 11773254 timeout (wallclock) [out] CERTIFIED NO 84.79/22.25 (CERTIFIED 0.09) MAYBE 0.04/0.23
Waldmann_07_size12/size-12-alpha-3-num-475.xml 11773161 timeout (wallclock) [out] CERTIFIED NO 886.63/226.68 (CERTIFIED 0.15) MAYBE 0.07/0.30
Waldmann_07_size12/size-12-alpha-3-num-476.xml 11773026 CERTIFIED YES 37.46/9.60 (CERTIFIED 0.12) CERTIFIED YES 13.87/4.35 (CERTIFIED 0.11) MAYBE 0.02/0.13
Waldmann_07_size12/size-12-alpha-3-num-477.xml 11772947 CERTIFIED YES 34.89/8.45 (CERTIFIED 0.09) CERTIFIED YES 10.42/3.47 (CERTIFIED 0.09) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-478.xml 11773014 CERTIFIED YES 153.49/39.61 (CERTIFIED 1.25) CERTIFIED YES 13.62/4.21 (CERTIFIED 0.14) MAYBE 0.02/0.15
Waldmann_07_size12/size-12-alpha-3-num-479.xml 11772969 CERTIFIED YES 43.94/11.45 (CERTIFIED 0.16) CERTIFIED YES 21.38/6.21 (CERTIFIED 0.17) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-48.xml 11773031 CERTIFIED YES 30.42/8.01 (CERTIFIED 0.10) CERTIFIED YES 23.27/6.83 (CERTIFIED 0.11) MAYBE 0.08/0.26
Waldmann_07_size12/size-12-alpha-3-num-480.xml 11773115 CERTIFIED YES 29.55/7.72 (CERTIFIED 0.10) CERTIFIED YES 13.04/4.19 (CERTIFIED 0.12) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-482.xml 11772990 CERTIFIED YES 27.14/7.18 (CERTIFIED 0.12) CERTIFIED YES 54.16/14.56 (CERTIFIED 0.11) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-484.xml 11773068 CERTIFIED YES 27.06/7.13 (CERTIFIED 0.10) CERTIFIED YES 11.73/3.73 (CERTIFIED 0.09) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-485.xml 11772998 CERTIFIED YES 28.37/6.30 (CERTIFIED 0.13) CERTIFIED YES 12.20/3.86 (CERTIFIED 0.12) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-487.xml 11773126 CERTIFIED YES 36.85/9.64 (CERTIFIED 0.15) CERTIFIED YES 23.26/6.69 (CERTIFIED 0.25) MAYBE 0.02/0.12
Waldmann_07_size12/size-12-alpha-3-num-488.xml 11773232 timeout (wallclock) [out] CERTIFIED NO 9.80/3.21 (CERTIFIED 0.07) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-489.xml 11773107 CERTIFIED YES 67.70/17.54 (CERTIFIED 0.20) CERTIFIED YES 14.29/4.42 (CERTIFIED 0.19) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-49.xml 11772952 CERTIFIED YES 15.19/4.10 (CERTIFIED 0.07) CERTIFIED YES 11.62/3.72 (CERTIFIED 0.08) MAYBE 0.02/0.12
Waldmann_07_size12/size-12-alpha-3-num-491.xml 11773174 timeout (wallclock) [out] CERTIFIED NO 37.91/10.45 (CERTIFIED 0.10) MAYBE 0.03/0.20
Waldmann_07_size12/size-12-alpha-3-num-492.xml 11773033 timeout (wallclock) [out] CERTIFIED NO 61.10/16.24 (CERTIFIED 0.12) MAYBE 0.07/0.24
Waldmann_07_size12/size-12-alpha-3-num-493.xml 11772938 timeout (wallclock) [out] CERTIFIED NO 107.59/28.05 (CERTIFIED 0.12) MAYBE 0.06/0.25
Waldmann_07_size12/size-12-alpha-3-num-494.xml 11772937 CERTIFIED YES 25.93/6.86 (CERTIFIED 0.09) CERTIFIED YES 10.90/3.48 (CERTIFIED 0.10) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-495.xml 11773040 timeout (wallclock) [out] CERTIFIED YES 11.99/3.78 (CERTIFIED 0.12) MAYBE 0.02/0.13
Waldmann_07_size12/size-12-alpha-3-num-497.xml 11773249 timeout (wallclock) [out] CERTIFIED NO 22.55/6.57 (CERTIFIED 0.14) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-498.xml 11773188 CERTIFIED YES 25.39/6.69 (CERTIFIED 0.10) CERTIFIED YES 13.88/4.25 (CERTIFIED 0.07) MAYBE 0.03/0.15
Waldmann_07_size12/size-12-alpha-3-num-499.xml 11773237 CERTIFIED YES 33.74/8.82 (CERTIFIED 0.12) CERTIFIED YES 11.32/3.59 (CERTIFIED 0.11) MAYBE 0.06/0.21
Waldmann_07_size12/size-12-alpha-3-num-502.xml 11773005 CERTIFIED YES 70.29/17.92 (CERTIFIED 0.13) CERTIFIED YES 11.27/3.60 (CERTIFIED 0.10) MAYBE 0.03/0.17
Waldmann_07_size12/size-12-alpha-3-num-503.xml 11773063 CERTIFIED YES 86.57/22.37 (CERTIFIED 0.13) CERTIFIED YES 17.50/5.20 (CERTIFIED 0.11) MAYBE 0.04/0.29
Waldmann_07_size12/size-12-alpha-3-num-506.xml 11773221 timeout (wallclock) [out] CERTIFIED YES 20.49/5.95 (CERTIFIED 0.18) MAYBE 0.04/0.11
Waldmann_07_size12/size-12-alpha-3-num-507.xml 11773108 CERTIFIED YES 7.35/2.32 (CERTIFIED 0.08) CERTIFIED YES 13.01/4.17 (CERTIFIED 0.11) MAYBE 0.04/0.17
Waldmann_07_size12/size-12-alpha-3-num-508.xml 11773216 timeout (wallclock) [out] CERTIFIED YES 11.18/3.61 (CERTIFIED 0.10) MAYBE 0.05/0.27
Waldmann_07_size12/size-12-alpha-3-num-51.xml 11772978 CERTIFIED YES 25.70/6.81 (CERTIFIED 0.10) CERTIFIED YES 9.34/3.16 (CERTIFIED 0.10) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-511.xml 11773187 timeout (wallclock) [out] memout [out] MAYBE 0.04/0.19
Waldmann_07_size12/size-12-alpha-3-num-52.xml 11773190 CERTIFIED YES 37.97/6.73 (CERTIFIED 0.10) CERTIFIED YES 9.99/3.25 (CERTIFIED 0.11) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-522.xml 11773259 timeout (wallclock) [out] CERTIFIED NO 123.18/36.93 (CERTIFIED 0.09) MAYBE 0.03/0.25
Waldmann_07_size12/size-12-alpha-3-num-526.xml 11772964 CERTIFIED YES 22.70/6.04 (CERTIFIED 0.08) CERTIFIED YES 9.62/3.16 (CERTIFIED 0.05) MAYBE 0.05/0.20
Waldmann_07_size12/size-12-alpha-3-num-532.xml 11773138 CERTIFIED YES 22.57/5.82 (CERTIFIED 0.07) CERTIFIED YES 10.16/3.43 (CERTIFIED 0.09) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-535.xml 11773150 CERTIFIED YES 27.12/7.16 (CERTIFIED 0.10) CERTIFIED YES 20.23/5.85 (CERTIFIED 0.11) MAYBE 0.03/0.19
Waldmann_07_size12/size-12-alpha-3-num-536.xml 11773092 CERTIFIED YES 26.05/6.90 (CERTIFIED 0.10) CERTIFIED YES 13.04/6.34 (CERTIFIED 0.15) MAYBE 0.03/0.17
Waldmann_07_size12/size-12-alpha-3-num-540.xml 11773136 timeout (wallclock) [out] ERROR 1142.46/291.71 MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-541.xml 11773204 CERTIFIED YES 23.02/6.11 (CERTIFIED 0.07) CERTIFIED YES 17.61/5.26 (CERTIFIED 0.04) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-543.xml 11773083 CERTIFIED YES 25.61/6.75 (CERTIFIED 0.07) CERTIFIED YES 14.41/6.01 (CERTIFIED 0.09) MAYBE 0.04/0.18
Waldmann_07_size12/size-12-alpha-3-num-545.xml 11772983 CERTIFIED YES 21.61/5.74 (CERTIFIED 0.08) CERTIFIED YES 19.17/5.58 (CERTIFIED 0.06) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-546.xml 11773207 CERTIFIED YES 38.84/10.11 (CERTIFIED 0.11) CERTIFIED YES 16.75/4.98 (CERTIFIED 0.09) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-547.xml 11773131 CERTIFIED YES 44.57/11.62 (CERTIFIED 0.11) CERTIFIED YES 11.27/3.65 (CERTIFIED 0.10) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-548.xml 11773193 CERTIFIED YES 22.54/6.00 (CERTIFIED 0.07) CERTIFIED YES 24.55/7.04 (CERTIFIED 0.06) MAYBE 0.02/0.13
Waldmann_07_size12/size-12-alpha-3-num-549.xml 11773146 CERTIFIED YES 26.95/7.12 (CERTIFIED 0.09) CERTIFIED YES 28.73/8.11 (CERTIFIED 0.14) MAYBE 0.03/0.13
Waldmann_07_size12/size-12-alpha-3-num-550.xml 11773255 CERTIFIED YES 26.09/5.93 (CERTIFIED 0.07) CERTIFIED YES 19.33/5.78 (CERTIFIED 0.06) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-551.xml 11773162 CERTIFIED YES 10.95/3.05 (CERTIFIED 0.10) CERTIFIED YES 12.99/4.05 (CERTIFIED 0.04) MAYBE 0.03/0.21
Waldmann_07_size12/size-12-alpha-3-num-552.xml 11773028 CERTIFIED YES 21.98/5.82 (CERTIFIED 0.07) CERTIFIED YES 19.49/5.87 (CERTIFIED 0.05) MAYBE 0.02/0.14
Waldmann_07_size12/size-12-alpha-3-num-553.xml 11772949 CERTIFIED YES 22.60/6.05 (CERTIFIED 0.12) CERTIFIED YES 22.81/6.33 (CERTIFIED 0.06) MAYBE 0.02/0.14
Waldmann_07_size12/size-12-alpha-3-num-556.xml 11773165 CERTIFIED YES 22.48/5.97 (CERTIFIED 0.07) CERTIFIED YES 17.86/5.31 (CERTIFIED 0.06) MAYBE 0.02/0.13
Waldmann_07_size12/size-12-alpha-3-num-558.xml 11773151 timeout (wallclock) [out] CERTIFIED NO 177.78/45.96 (CERTIFIED 0.09) MAYBE 0.04/0.12
Waldmann_07_size12/size-12-alpha-3-num-559.xml 11773264 CERTIFIED YES 14.92/4.19 (CERTIFIED 0.07) CERTIFIED YES 20.17/5.85 (CERTIFIED 0.08) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-560.xml 11773037 CERTIFIED YES 22.18/5.91 (CERTIFIED 0.10) CERTIFIED YES 20.91/6.24 (CERTIFIED 0.06) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-561.xml 11772934 CERTIFIED YES 21.57/5.73 (CERTIFIED 0.07) CERTIFIED YES 10.23/3.46 (CERTIFIED 0.37) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-563.xml 11773172 CERTIFIED YES 22.49/5.96 (CERTIFIED 0.06) CERTIFIED YES 17.72/5.20 (CERTIFIED 0.06) MAYBE 0.05/0.20
Waldmann_07_size12/size-12-alpha-3-num-564.xml 11773176 timeout (wallclock) [out] CERTIFIED NO 102.34/28.73 (CERTIFIED 0.12) MAYBE 0.05/0.17
Waldmann_07_size12/size-12-alpha-3-num-565.xml 11773247 CERTIFIED YES 12.97/3.53 (CERTIFIED 0.06) CERTIFIED YES 17.30/5.12 (CERTIFIED 0.07) MAYBE 0.03/0.09
Waldmann_07_size12/size-12-alpha-3-num-566.xml 11772940 timeout (wallclock) [out] CERTIFIED NO 467.40/119.85 (CERTIFIED 0.13) MAYBE 0.06/0.18
Waldmann_07_size12/size-12-alpha-3-num-568.xml 11772924 CERTIFIED YES 33.64/8.85 (CERTIFIED 0.15) CERTIFIED YES 10.81/3.71 (CERTIFIED 0.08) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-57.xml 11773097 CERTIFIED YES 19.23/5.67 (CERTIFIED 0.06) CERTIFIED YES 7.55/2.63 (CERTIFIED 0.04) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-59.xml 11773080 CERTIFIED YES 14.57/3.96 (CERTIFIED 0.06) CERTIFIED YES 8.40/2.94 (CERTIFIED 0.38) MAYBE 0.02/0.14
Waldmann_07_size12/size-12-alpha-3-num-61.xml 11773111 CERTIFIED YES 31.75/8.36 (CERTIFIED 0.14) CERTIFIED YES 11.71/3.69 (CERTIFIED 0.77) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-64.xml 11773004 CERTIFIED YES 12.78/3.51 (CERTIFIED 0.06) CERTIFIED YES 7.23/2.54 (CERTIFIED 0.04) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-65.xml 11773060 CERTIFIED YES 35.22/7.85 (CERTIFIED 0.11) CERTIFIED YES 9.61/3.21 (CERTIFIED 0.09) MAYBE 0.03/0.14
Waldmann_07_size12/size-12-alpha-3-num-66.xml 11773104 CERTIFIED YES 28.90/7.35 (CERTIFIED 0.11) CERTIFIED YES 16.79/5.01 (CERTIFIED 0.09) MAYBE 0.03/0.15
Waldmann_07_size12/size-12-alpha-3-num-67.xml 11773229 CERTIFIED YES 10.47/2.90 (CERTIFIED 0.09) CERTIFIED YES 9.10/3.07 (CERTIFIED 0.07) MAYBE 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-7.xml 11773103 timeout (wallclock) [out] CERTIFIED NO 7.69/2.72 (CERTIFIED 0.07) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-70.xml 11773180 CERTIFIED YES 12.22/3.53 (CERTIFIED 0.09) CERTIFIED YES 18.47/5.45 (CERTIFIED 0.11) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-71.xml 11773240 CERTIFIED YES 25.16/6.64 (CERTIFIED 0.10) CERTIFIED YES 12.97/4.04 (CERTIFIED 1.00) MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-72.xml 11772927 CERTIFIED YES 21.43/4.21 (CERTIFIED 0.10) CERTIFIED YES 8.90/3.00 (CERTIFIED 0.10) MAYBE 0.02/0.11
Waldmann_07_size12/size-12-alpha-3-num-74.xml 11773043 CERTIFIED YES 12.37/3.56 (CERTIFIED 0.15) CERTIFIED YES 10.48/3.63 (CERTIFIED 0.79) MAYBE 0.02/0.07
Waldmann_07_size12/size-12-alpha-3-num-76.xml 11773234 CERTIFIED YES 22.10/6.12 (CERTIFIED 0.09) CERTIFIED YES 8.98/3.04 (CERTIFIED 0.07) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-82.xml 11773144 CERTIFIED YES 24.07/6.41 (CERTIFIED 0.10) CERTIFIED YES 18.47/5.59 (CERTIFIED 0.13) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-83.xml 11773191 timeout (wallclock) [out] CERTIFIED NO 273.32/70.32 (CERTIFIED 0.11) MAYBE 0.03/0.09
Waldmann_07_size12/size-12-alpha-3-num-84.xml 11773199 timeout (wallclock) [out] ERROR 1145.31/292.25 MAYBE 0.06/0.16
Waldmann_07_size12/size-12-alpha-3-num-85.xml 11773141 CERTIFIED YES 50.92/13.28 (CERTIFIED 0.16) CERTIFIED YES 24.80/7.05 (CERTIFIED 0.89) MAYBE 0.03/0.12
Waldmann_07_size12/size-12-alpha-3-num-86.xml 11773101 CERTIFIED YES 14.20/3.87 (CERTIFIED 0.15) CERTIFIED YES 24.02/12.73 (CERTIFIED 0.20) MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-88.xml 11773081 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.03/0.16
Waldmann_07_size12/size-12-alpha-3-num-9.xml 11773123 CERTIFIED YES 32.74/6.79 (CERTIFIED 0.10) CERTIFIED YES 10.32/3.43 (CERTIFIED 0.08) MAYBE 0.04/0.12
Waldmann_07_size12/size-12-alpha-3-num-90.xml 11773016 timeout (wallclock) [out] memout [out] MAYBE 0.03/0.11
Waldmann_07_size12/size-12-alpha-3-num-91.xml 11772960 CERTIFIED YES 25.91/6.83 (CERTIFIED 0.11) memout [out] MAYBE 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-92.xml 11773265 CERTIFIED YES 29.49/7.77 (CERTIFIED 0.10) CERTIFIED YES 10.48/3.39 (CERTIFIED 0.05) MAYBE 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-94.xml 11773158 CERTIFIED YES 17.06/3.66 (CERTIFIED 0.10) CERTIFIED YES 17.48/3.44 (CERTIFIED 0.09) MAYBE 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-95.xml 11773261 timeout (wallclock) [out] CERTIFIED NO 330.37/84.65 (CERTIFIED 0.09) MAYBE 0.03/0.08
Waldmann_07_size12/size-12-alpha-3-num-98.xml 11772951 CERTIFIED YES 61.06/15.71 (CERTIFIED 0.23) CERTIFIED YES 18.37/5.46 (CERTIFIED 0.13) MAYBE 0.04/0.17
Waldmann_07_size12/size-12-alpha-3-num-99.xml 11773030 CERTIFIED NO 12.34/3.44 (CERTIFIED 0.08) CERTIFIED NO 3.71/1.81 (CERTIFIED 0.06) MAYBE 0.02/0.11
Bouchare_06/01.xml 11772297 CERTIFIED YES 5.88/1.74 (CERTIFIED 0.08) CERTIFIED YES 5.62/3.20 (CERTIFIED 0.10) MAYBE 0.03/0.17
Bouchare_06/02.xml 11772289 CERTIFIED YES 4.03/1.26 (CERTIFIED 0.09) CERTIFIED YES 5.07/2.02 (CERTIFIED 0.11) CERTIFIED YES 0.03/0.10 (CERTIFIED 0.11)
Bouchare_06/03.xml 11772286 CERTIFIED YES 26.64/7.02 (CERTIFIED 0.10) CERTIFIED YES 11.95/3.88 (CERTIFIED 0.09) MAYBE 0.04/0.16
Bouchare_06/04.xml 11772285 CERTIFIED YES 6.01/1.75 (CERTIFIED 0.13) CERTIFIED YES 6.26/2.29 (CERTIFIED 0.11) MAYBE 0.03/0.21
Bouchare_06/05.xml 11772290 CERTIFIED YES 10.72/2.96 (CERTIFIED 0.09) CERTIFIED YES 12.01/3.81 (CERTIFIED 0.11) MAYBE 0.03/0.15
Bouchare_06/06.xml 11772296 CERTIFIED YES 30.18/7.93 (CERTIFIED 0.16) CERTIFIED YES 11.60/3.66 (CERTIFIED 0.09) MAYBE 0.58/0.65
Bouchare_06/07.xml 11772301 CERTIFIED YES 25.65/6.79 (CERTIFIED 0.12) CERTIFIED YES 10.43/3.60 (CERTIFIED 0.16) CERTIFIED YES 0.03/0.11 (CERTIFIED 0.19)
Bouchare_06/08.xml 11772295 CERTIFIED NO 1.25/0.56 (CERTIFIED 0.06) CERTIFIED NO 3.35/1.57 (CERTIFIED 0.04) MAYBE 0.03/0.31
Bouchare_06/09.xml 11772302 CERTIFIED NO 1.30/0.55 (CERTIFIED 0.07) CERTIFIED NO 3.60/1.56 (CERTIFIED 0.05) MAYBE 0.09/0.29
Bouchare_06/10.xml 11772293 CERTIFIED YES 8.84/2.46 (CERTIFIED 0.07) CERTIFIED YES 23.63/6.74 (CERTIFIED 0.26) MAYBE 0.09/0.38
Bouchare_06/11.xml 11772300 CERTIFIED YES 5.36/1.59 (CERTIFIED 0.11) CERTIFIED YES 23.54/6.82 (CERTIFIED 0.17) MAYBE 0.03/0.12
Bouchare_06/12.xml 11772287 CERTIFIED YES 11.20/3.07 (CERTIFIED 0.09) CERTIFIED YES 31.29/10.72 (CERTIFIED 0.08) MAYBE 0.02/0.12
Bouchare_06/13.xml 11772292 CERTIFIED YES 54.71/7.38 (CERTIFIED 0.09) CERTIFIED YES 22.36/6.52 (CERTIFIED 0.11) MAYBE 0.04/0.18
Bouchare_06/14.xml 11772291 CERTIFIED YES 4.73/1.44 (CERTIFIED 0.07) CERTIFIED YES 7.13/2.48 (CERTIFIED 0.13) MAYBE 0.03/0.11
Bouchare_06/15.xml 11772288 CERTIFIED YES 5.01/1.50 (CERTIFIED 0.06) CERTIFIED YES 6.48/2.38 (CERTIFIED 0.11) MAYBE 0.03/0.17
Bouchare_06/16.xml 11772299 CERTIFIED YES 5.42/1.60 (CERTIFIED 0.09) CERTIFIED YES 4.41/1.84 (CERTIFIED 0.09) MAYBE 0.04/0.20
Bouchare_06/17.xml 11772294 CERTIFIED YES 6.08/1.77 (CERTIFIED 0.10) CERTIFIED YES 5.65/2.20 (CERTIFIED 0.12) MAYBE 0.03/0.15
Bouchare_06/18.xml 11772298 CERTIFIED YES 43.70/11.46 (CERTIFIED 0.21) CERTIFIED YES 12.98/4.11 (CERTIFIED 0.11) MAYBE 0.04/0.23
ICFP_2010/107193.xml 11772472 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/107220.xml 11772450 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/107236.xml 11772585 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/123759.xml 11772800 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/124211.xml 11772619 timeout (wallclock) [out] ERROR 895.12/295.74 timeout (wallclock) [out]
ICFP_2010/124269.xml 11772554 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/124791.xml 11772327 timeout (wallclock) [out] ERROR 832.95/295.00 timeout (wallclock) [out]
ICFP_2010/127538.xml 11772486 timeout (wallclock) [out] CERTIFIED YES 52.70/15.04 (CERTIFIED 32.48) timeout (wallclock) [out]
ICFP_2010/128056.xml 11772320 timeout (wallclock) [out] ERROR 820.54/293.59 timeout (wallclock) [out]
ICFP_2010/128182.xml 11772647 timeout (wallclock) [out] CERTIFIED YES 35.29/10.22 (CERTIFIED 15.46) timeout (wallclock) [out]
ICFP_2010/128280.xml 11772457 timeout (wallclock) [out] CERTIFIED YES 48.44/13.43 (CERTIFIED 16.86) timeout (wallclock) [out]
ICFP_2010/128430.xml 11772326 timeout (wallclock) [out] CERTIFIED YES 48.27/13.25 (CERTIFIED 19.38) timeout (wallclock) [out]
ICFP_2010/128486.xml 11772817 timeout (wallclock) [out] CERTIFIED YES 66.41/18.05 (CERTIFIED 17.63) timeout (wallclock) [out]
ICFP_2010/128515.xml 11772481 timeout (wallclock) [out] CERTIFIED YES 80.51/22.36 (CERTIFIED 21.59) timeout (wallclock) [out]
ICFP_2010/128550.xml 11772890 timeout (wallclock) [out] CERTIFIED YES 52.87/14.68 (CERTIFIED 28.98) timeout (wallclock) [out]
ICFP_2010/128620.xml 11772386 timeout (wallclock) [out] CERTIFIED YES 60.54/16.51 (CERTIFIED 18.14) timeout (wallclock) [out]
ICFP_2010/128691.xml 11772897 timeout (wallclock) [out] CERTIFIED YES 46.86/13.26 (CERTIFIED 20.59) timeout (wallclock) [out]
ICFP_2010/130161.xml 11772572 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/130304.xml 11772495 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/130472.xml 11772497 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/130962.xml 11772350 timeout (wallclock) [out] CERTIFIED YES 213.08/55.10 (CERTIFIED 21.86) timeout (wallclock) [out]
ICFP_2010/131633.xml 11772624 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/131982.xml 11772404 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/132235.xml 11772674 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/132478.xml 11772642 timeout (wallclock) [out] CERTIFIED YES 63.80/17.15 (CERTIFIED 22.49) timeout (wallclock) [out]
ICFP_2010/132540.xml 11772447 timeout (wallclock) [out] CERTIFIED YES 59.91/16.36 (CERTIFIED 22.05) timeout (wallclock) [out]
ICFP_2010/132611.xml 11772321 timeout (wallclock) [out] CERTIFIED YES 17.43/5.15 (CERTIFIED 2.39) timeout (wallclock) [out]
ICFP_2010/132622.xml 11772469 timeout (wallclock) [out] CERTIFIED YES 50.76/14.02 (CERTIFIED 20.02) timeout (wallclock) [out]
ICFP_2010/132720.xml 11772801 timeout (wallclock) [out] CERTIFIED YES 98.40/13.65 (CERTIFIED 21.23) timeout (wallclock) [out]
ICFP_2010/132738.xml 11772824 timeout (wallclock) [out] CERTIFIED YES 41.96/11.69 (CERTIFIED 17.67) timeout (wallclock) [out]
ICFP_2010/132782.xml 11772610 timeout (wallclock) [out] CERTIFIED YES 64.94/17.55 (CERTIFIED 21.21) timeout (wallclock) [out]
ICFP_2010/132833.xml 11772423 timeout (wallclock) [out] CERTIFIED YES 69.59/18.89 (CERTIFIED 20.94) timeout (wallclock) [out]
ICFP_2010/132848.xml 11772433 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/132864.xml 11772454 timeout (wallclock) [out] CERTIFIED YES 46.33/12.80 (CERTIFIED 20.45) timeout (wallclock) [out]
ICFP_2010/132920.xml 11772661 timeout (wallclock) [out] CERTIFIED YES 35.23/10.02 (CERTIFIED 15.55) timeout (wallclock) [out]
ICFP_2010/132957.xml 11772394 timeout (wallclock) [out] CERTIFIED YES 93.77/13.11 (CERTIFIED 26.64) timeout (wallclock) [out]
ICFP_2010/132969.xml 11772601 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133010.xml 11772444 timeout (wallclock) [out] CERTIFIED YES 75.01/20.16 (CERTIFIED 28.12) timeout (wallclock) [out]
ICFP_2010/133079.xml 11772664 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133159.xml 11772595 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133236.xml 11772666 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133432.xml 11772717 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133486.xml 11772810 timeout (wallclock) [out] ERROR 907.28/294.46 timeout (wallclock) [out]
ICFP_2010/133532.xml 11772636 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133827.xml 11772528 timeout (wallclock) [out] CERTIFIED YES 12.29/4.06 (CERTIFIED 2.75) timeout (wallclock) [out]
ICFP_2010/133881.xml 11772786 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/134918.xml 11772305 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135115.xml 11772731 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135328.xml 11772735 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135410.xml 11772668 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135505.xml 11772507 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135601.xml 11772806 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135604.xml 11772537 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135652.xml 11772458 timeout (wallclock) [out] ERROR 897.43/297.19 timeout (wallclock) [out]
ICFP_2010/135659.xml 11772893 timeout (wallclock) [out] CERTIFIED YES 361.83/101.75 (CERTIFIED 29.79) timeout (wallclock) [out]
ICFP_2010/135714.xml 11772380 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135782.xml 11772414 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135936.xml 11772342 timeout (wallclock) [out] CERTIFIED YES 604.42/195.66 (CERTIFIED 13.41) timeout (wallclock) [out]
ICFP_2010/136051.xml 11772665 timeout (wallclock) [out] ERROR 853.36/299.05 timeout (wallclock) [out]
ICFP_2010/136280.xml 11772812 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136323.xml 11772886 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136354.xml 11772451 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136463.xml 11772333 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136497.xml 11772566 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136534.xml 11772510 timeout (wallclock) [out] ERROR 967.29/297.11 timeout (wallclock) [out]
ICFP_2010/136562.xml 11772564 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136571.xml 11772878 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136601.xml 11772379 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136623.xml 11772512 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136693.xml 11772799 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136934.xml 11772475 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137087.xml 11772439 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137136.xml 11772730 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137316.xml 11772402 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137404.xml 11772310 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137621.xml 11772426 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137623.xml 11772605 timeout (wallclock) [out] CERTIFIED YES 18.75/5.63 (CERTIFIED 1.67) timeout (wallclock) [out]
ICFP_2010/137715.xml 11772511 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137799.xml 11772759 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137809.xml 11772826 timeout (wallclock) [out] CERTIFIED YES 707.86/227.47 (CERTIFIED 14.32) timeout (wallclock) [out]
ICFP_2010/137956.xml 11772835 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/138089.xml 11772527 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/138142.xml 11772778 timeout (wallclock) [out] CERTIFIED YES 16.54/4.93 (CERTIFIED 2.14) timeout (wallclock) [out]
ICFP_2010/138194.xml 11772767 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/138254.xml 11772640 timeout (wallclock) [out] CERTIFIED YES 20.99/6.08 (CERTIFIED 3.05) timeout (wallclock) [out]
ICFP_2010/138269.xml 11772808 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/138330.xml 11772606 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/138468.xml 11772464 timeout (wallclock) [out] CERTIFIED YES 43.24/11.99 (CERTIFIED 28.24) timeout (wallclock) [out]
ICFP_2010/138477.xml 11772577 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/138993.xml 11772462 timeout (wallclock) [out] CERTIFIED YES 43.15/12.04 (CERTIFIED 21.68) timeout (wallclock) [out]
ICFP_2010/139004.xml 11772575 timeout (wallclock) [out] CERTIFIED YES 47.53/13.08 (CERTIFIED 29.69) timeout (wallclock) [out]
ICFP_2010/139018.xml 11772706 timeout (wallclock) [out] CERTIFIED YES 45.96/12.91 (CERTIFIED 21.61) timeout (wallclock) [out]
ICFP_2010/139025.xml 11772837 timeout (wallclock) [out] CERTIFIED YES 44.32/12.31 (CERTIFIED 19.19) timeout (wallclock) [out]
ICFP_2010/139036.xml 11772532 timeout (wallclock) [out] CERTIFIED YES 44.80/12.54 (CERTIFIED 25.77) timeout (wallclock) [out]
ICFP_2010/139100.xml 11772739 timeout (wallclock) [out] CERTIFIED YES 59.64/16.42 (CERTIFIED 30.12) timeout (wallclock) [out]
ICFP_2010/139163.xml 11772615 timeout (wallclock) [out] CERTIFIED YES 62.03/16.91 (CERTIFIED 44.34) timeout (wallclock) [out]
ICFP_2010/139167.xml 11772543 timeout (wallclock) [out] CERTIFIED YES 56.96/15.61 (CERTIFIED 25.64) timeout (wallclock) [out]
ICFP_2010/139174.xml 11772861 timeout (wallclock) [out] CERTIFIED YES 66.07/17.86 (CERTIFIED 24.89) timeout (wallclock) [out]
ICFP_2010/139180.xml 11772631 timeout (wallclock) [out] CERTIFIED YES 84.40/22.58 (CERTIFIED 34.16) timeout (wallclock) [out]
ICFP_2010/139185.xml 11772396 timeout (wallclock) [out] CERTIFIED YES 43.22/12.17 (CERTIFIED 17.76) timeout (wallclock) [out]
ICFP_2010/139190.xml 11772871 timeout (wallclock) [out] CERTIFIED YES 37.88/10.66 (CERTIFIED 15.39) timeout (wallclock) [out]
ICFP_2010/139214.xml 11772506 timeout (wallclock) [out] CERTIFIED YES 45.05/12.50 (CERTIFIED 20.31) timeout (wallclock) [out]
ICFP_2010/139236.xml 11772382 timeout (wallclock) [out] CERTIFIED YES 37.53/10.55 (CERTIFIED 17.61) timeout (wallclock) [out]
ICFP_2010/139256.xml 11772873 timeout (wallclock) [out] CERTIFIED YES 68.24/18.53 (CERTIFIED 32.02) timeout (wallclock) [out]
ICFP_2010/139282.xml 11772473 timeout (wallclock) [out] CERTIFIED YES 64.13/17.41 (CERTIFIED 24.79) timeout (wallclock) [out]
ICFP_2010/139310.xml 11772663 timeout (wallclock) [out] CERTIFIED YES 43.94/12.18 (CERTIFIED 17.14) timeout (wallclock) [out]
ICFP_2010/139378.xml 11772359 timeout (wallclock) [out] CERTIFIED YES 41.35/11.53 (CERTIFIED 23.76) timeout (wallclock) [out]
ICFP_2010/140287.xml 11772357 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/140318.xml 11772367 timeout (wallclock) [out] CERTIFIED YES 46.88/13.11 (CERTIFIED 18.14) timeout (wallclock) [out]
ICFP_2010/140359.xml 11772546 timeout (wallclock) [out] CERTIFIED YES 47.49/13.36 (CERTIFIED 19.03) timeout (wallclock) [out]
ICFP_2010/140631.xml 11772435 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/140639.xml 11772347 timeout (wallclock) [out] CERTIFIED YES 36.91/5.63 (CERTIFIED 7.73) timeout (wallclock) [out]
ICFP_2010/140654.xml 11772389 timeout (wallclock) [out] CERTIFIED YES 37.27/10.45 (CERTIFIED 15.26) timeout (wallclock) [out]
ICFP_2010/140659.xml 11772757 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/140664.xml 11772618 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/142142.xml 11772807 timeout (wallclock) [out] CERTIFIED YES 24.80/7.22 (CERTIFIED 12.60) timeout (wallclock) [out]
ICFP_2010/142146.xml 11772421 timeout (wallclock) [out] CERTIFIED YES 30.24/8.66 (CERTIFIED 13.09) timeout (wallclock) [out]
ICFP_2010/142150.xml 11772303 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/142157.xml 11772314 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/147437.xml 11772862 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/148543.xml 11772732 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149251.xml 11772489 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149277.xml 11772755 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149297.xml 11772431 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149319.xml 11772416 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149361.xml 11772804 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149415.xml 11772519 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149633.xml 11772744 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149713.xml 11772509 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149849.xml 11772709 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149915.xml 11772467 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150067.xml 11772761 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150188.xml 11772456 timeout (wallclock) [out] ERROR 1133.74/294.27 timeout (wallclock) [out]
ICFP_2010/150258.xml 11772567 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150468.xml 11772363 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150630.xml 11772574 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150725.xml 11772608 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150815.xml 11772471 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150839.xml 11772418 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150877.xml 11772369 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/151247.xml 11772651 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/152694.xml 11772488 timeout (wallclock) [out] ERROR 823.80/299.08 timeout (wallclock) [out]
ICFP_2010/152786.xml 11772703 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/152865.xml 11772821 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/152949.xml 11772616 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/153034.xml 11772696 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/153090.xml 11772675 timeout (wallclock) [out] CERTIFIED YES 64.95/17.85 (CERTIFIED 24.59) timeout (wallclock) [out]
ICFP_2010/153170.xml 11772587 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/153243.xml 11772503 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/153288.xml 11772792 timeout (wallclock) [out] CERTIFIED YES 163.02/42.66 (CERTIFIED 25.47) timeout (wallclock) [out]
ICFP_2010/153371.xml 11772533 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/153444.xml 11772643 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/157150.xml 11772869 timeout (wallclock) [out] CERTIFIED YES 161.86/42.49 (CERTIFIED 84.13) timeout (wallclock) [out]
ICFP_2010/157161.xml 11772332 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/157275.xml 11772854 timeout (wallclock) [out] CERTIFIED YES 100.41/27.71 (CERTIFIED 27.19) timeout (wallclock) [out]
ICFP_2010/157388.xml 11772749 timeout (wallclock) [out] CERTIFIED YES 44.99/12.19 (CERTIFIED 3.11) CERTIFIED YES 280.55/270.02 (CERTIFIED 25.28)
ICFP_2010/157436.xml 11772798 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 114.77/109.92
ICFP_2010/157466.xml 11772669 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/157593.xml 11772683 timeout (wallclock) [out] CERTIFIED YES 26.34/11.39 (CERTIFIED 1.86) CERTIFIED YES 12.14/9.82 (CERTIFIED 4.82)
ICFP_2010/157603.xml 11772621 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/157713.xml 11772780 timeout (wallclock) [out] ERROR 915.40/295.66 timeout (wallclock) [out]
ICFP_2010/158152.xml 11772535 timeout (wallclock) [out] ERROR 1105.7/295.57 CERTIFIED YES 71.27/67.01 (CERTIFIED 5.57)
ICFP_2010/158208.xml 11772652 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/158342.xml 11772438 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/158477.xml 11772713 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/158620.xml 11772614 timeout (wallclock) [out] CERTIFIED YES 55.05/15.20 (CERTIFIED 29.85) timeout (wallclock) [out]
ICFP_2010/159731.xml 11772441 timeout (wallclock) [out] CERTIFIED YES 85.79/22.88 (CERTIFIED 24.91) CERTIFIED YES 16.74/15.44 (CERTIFIED 10.18)
ICFP_2010/160068.xml 11772417 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160210.xml 11772660 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160234.xml 11772746 CERTIFIED YES 40.89/11.10 (CERTIFIED 1.72) CERTIFIED YES 28.83/8.07 (CERTIFIED 1.34) CERTIFIED YES 5.19/5.19 (CERTIFIED 2.79)
ICFP_2010/160254.xml 11772550 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160263.xml 11772775 CERTIFIED YES 65.07/8.78 (CERTIFIED 1.22) CERTIFIED YES 25.45/7.39 (CERTIFIED 1.83) CERTIFIED YES 10.04/8.50 (CERTIFIED 2.23)
ICFP_2010/160324.xml 11772894 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160364.xml 11772852 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160398.xml 11772756 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160427.xml 11772883 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160462.xml 11772502 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160475.xml 11772424 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160660.xml 11772673 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/161519.xml 11772667 timeout (wallclock) [out] CERTIFIED YES 207.05/54.44 (CERTIFIED 80.51) timeout (wallclock) [out]
ICFP_2010/161533.xml 11772626 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/161593.xml 11772542 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/161864.xml 11772789 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/161917.xml 11772678 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/161930.xml 11772538 timeout (wallclock) [out] CERTIFIED YES 59.71/16.26 (CERTIFIED 24.24) timeout (wallclock) [out]
ICFP_2010/162016.xml 11772685 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/162075.xml 11772650 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/162095.xml 11772547 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/162244.xml 11772393 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/165713.xml 11772445 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/165755.xml 11772319 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/165904.xml 11772544 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/165936.xml 11772568 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/165975.xml 11772603 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/166001.xml 11772622 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/166465.xml 11772403 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/166493.xml 11772884 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/166558.xml 11772496 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/166848.xml 11772351 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167041.xml 11772440 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167087.xml 11772378 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167240.xml 11772500 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167294.xml 11772836 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167310.xml 11772325 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167391.xml 11772576 timeout (wallclock) [out] CERTIFIED YES 235.47/61.71 (CERTIFIED 79.46) timeout (wallclock) [out]
ICFP_2010/167433.xml 11772766 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167452.xml 11772468 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167526.xml 11772419 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167636.xml 11772427 timeout (wallclock) [out] CERTIFIED YES 139.04/36.89 (CERTIFIED 58.13) timeout (wallclock) [out]
ICFP_2010/167742.xml 11772459 timeout (wallclock) [out] CERTIFIED YES 76.29/20.60 (CERTIFIED 28.01) timeout (wallclock) [out]
ICFP_2010/180915.xml 11772328 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/182946.xml 11772742 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/183803.xml 11772849 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/184957.xml 11772863 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/185453.xml 11772892 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/185628.xml 11772743 timeout (wallclock) [out] ERROR 935.89/298.96 timeout (wallclock) [out]
ICFP_2010/186023.xml 11772420 timeout (wallclock) [out] CERTIFIED YES 16.04/4.90 (CERTIFIED 5.30) timeout (wallclock) [out]
ICFP_2010/186222.xml 11772374 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/186333.xml 11772425 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/186617.xml 11772721 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/186775.xml 11772889 timeout (wallclock) [out] ERROR 837.65/299.97 timeout (wallclock) [out]
ICFP_2010/186810.xml 11772891 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/186919.xml 11772782 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/186973.xml 11772845 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/187254.xml 11772344 timeout (wallclock) [out] CERTIFIED YES 22.24/6.40 (CERTIFIED 3.66) timeout (wallclock) [out]
ICFP_2010/187837.xml 11772840 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/188004.xml 11772318 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/188238.xml 11772498 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/188261.xml 11772377 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/188296.xml 11772745 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/188674.xml 11772565 timeout (wallclock) [out] CERTIFIED YES 33.05/10.81 (CERTIFIED 6.51) timeout (wallclock) [out]
ICFP_2010/188696.xml 11772413 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/211471.xml 11772491 timeout (wallclock) [out] CERTIFIED YES 15.98/4.92 (CERTIFIED 0.25) ERROR 0.01/0.01
ICFP_2010/211639.xml 11772515 timeout (wallclock) [out] CERTIFIED YES 15.62/8.41 (CERTIFIED 0.45) ERROR 0.01/0.01
ICFP_2010/211857.xml 11772779 CERTIFIED YES 30.59/8.22 (CERTIFIED 0.93) CERTIFIED YES 19.82/5.88 (CERTIFIED 0.70) CERTIFIED YES 0.08/0.26 (CERTIFIED 1.35)
ICFP_2010/211915.xml 11772436 timeout (wallclock) [out] CERTIFIED YES 35.97/14.86 (CERTIFIED 1.39) CERTIFIED YES 11.12/9.40 (CERTIFIED 3.12)
ICFP_2010/211960.xml 11772455 timeout (wallclock) [out] CERTIFIED YES 31.53/8.89 (CERTIFIED 1.54) CERTIFIED YES 17.16/14.84 (CERTIFIED 3.67)
ICFP_2010/211978.xml 11772592 CERTIFIED YES 23.39/6.46 (CERTIFIED 1.18) CERTIFIED YES 15.60/4.70 (CERTIFIED 1.15) CERTIFIED YES 4.45/3.35 (CERTIFIED 2.31)
ICFP_2010/212026.xml 11772505 timeout (wallclock) [out] CERTIFIED YES 111.39/29.08 (CERTIFIED 2.11) CERTIFIED YES 15.09/13.88 (CERTIFIED 5.47)
ICFP_2010/212037.xml 11772517 timeout (wallclock) [out] CERTIFIED YES 100.69/26.43 (CERTIFIED 2.76) CERTIFIED YES 12.41/10.35 (CERTIFIED 3.02)
ICFP_2010/212043.xml 11772408 timeout (wallclock) [out] CERTIFIED YES 83.23/21.93 (CERTIFIED 15.31) MAYBE 73.04/70.85
ICFP_2010/212062.xml 11772699 CERTIFIED YES 23.04/6.25 (CERTIFIED 0.77) CERTIFIED YES 9.39/3.15 (CERTIFIED 0.77) CERTIFIED YES 1.24/1.27 (CERTIFIED 2.42)
ICFP_2010/212094.xml 11772559 timeout (wallclock) [out] CERTIFIED YES 41.53/11.59 (CERTIFIED 1.50) CERTIFIED YES 30.63/28.32 (CERTIFIED 2.08)
ICFP_2010/212117.xml 11772598 CERTIFIED YES 125.42/32.76 (CERTIFIED 1.84) CERTIFIED YES 29.99/8.34 (CERTIFIED 1.64) CERTIFIED YES 24.34/22.42 (CERTIFIED 3.08)
ICFP_2010/212189.xml 11772764 timeout (wallclock) [out] CERTIFIED YES 333.30/85.24 (CERTIFIED 2.32) CERTIFIED YES 10.44/9.45 (CERTIFIED 2.09)
ICFP_2010/212263.xml 11772715 CERTIFIED YES 22.58/6.14 (CERTIFIED 0.83) CERTIFIED YES 12.33/3.86 (CERTIFIED 0.79) CERTIFIED YES 35.57/33.49 (CERTIFIED 7.81)
ICFP_2010/212308.xml 11772880 timeout (wallclock) [out] CERTIFIED YES 65.43/17.57 (CERTIFIED 14.69) CERTIFIED YES 68.18/66.56 (CERTIFIED 8.72)
ICFP_2010/212364.xml 11772646 timeout (wallclock) [out] CERTIFIED YES 883.18/226.01 (CERTIFIED 4.28) MAYBE 24.2/22.48
ICFP_2010/212421.xml 11772781 CERTIFIED YES 27.64/7.56 (CERTIFIED 1.36) CERTIFIED YES 75.78/20.22 (CERTIFIED 22.87) CERTIFIED YES 12.94/11.14 (CERTIFIED 1.64)
ICFP_2010/212480.xml 11772536 CERTIFIED YES 79.49/11.30 (CERTIFIED 1.60) CERTIFIED YES 30.16/8.39 (CERTIFIED 1.67) CERTIFIED YES 13.12/11.11 (CERTIFIED 2.39)
ICFP_2010/212534.xml 11772395 CERTIFIED YES 92.83/24.93 (CERTIFIED 1.99) CERTIFIED YES 44.74/12.24 (CERTIFIED 1.59) CERTIFIED YES 1.10/1.15 (CERTIFIED 3.27)
ICFP_2010/212612.xml 11772793 timeout (wallclock) [out] CERTIFIED YES 161.63/42.10 (CERTIFIED 22.34) MAYBE 30.02/28.80
ICFP_2010/212693.xml 11772689 CERTIFIED YES 23.55/6.44 (CERTIFIED 0.93) CERTIFIED YES 14.10/4.28 (CERTIFIED 0.94) CERTIFIED YES 16.64/15.46 (CERTIFIED 2.60)
ICFP_2010/212774.xml 11772583 CERTIFIED YES 66.32/17.65 (CERTIFIED 2.03) CERTIFIED YES 15.30/4.79 (CERTIFIED 2.06) CERTIFIED YES 52.14/44.37 (CERTIFIED 7.96)
ICFP_2010/212795.xml 11772819 timeout (wallclock) [out] CERTIFIED YES 277.20/71.01 (CERTIFIED 1.52) CERTIFIED YES 56.03/54.26 (CERTIFIED 4.07)
ICFP_2010/212892.xml 11772714 timeout (wallclock) [out] CERTIFIED YES 28.66/8.09 (CERTIFIED 1.53) CERTIFIED YES 13.16/11.44 (CERTIFIED 3.48)
ICFP_2010/213051.xml 11772415 CERTIFIED YES 48.05/12.92 (CERTIFIED 1.59) CERTIFIED YES 28.57/8.00 (CERTIFIED 1.38) CERTIFIED YES 0.53/0.62 (CERTIFIED 2.32)
ICFP_2010/213147.xml 11772397 post-processor error [out] CERTIFIED YES 54.46/14.71 (CERTIFIED 1.69) CERTIFIED YES 225.65/222.88 (CERTIFIED 14.65)
ICFP_2010/213218.xml 11772555 CERTIFIED YES 23.01/6.30 (CERTIFIED 1.42) CERTIFIED YES 13.37/4.18 (CERTIFIED 1.35) CERTIFIED YES 0.29/0.29 (CERTIFIED 1.99)
ICFP_2010/213281.xml 11772398 CERTIFIED YES 38.26/10.23 (CERTIFIED 1.31) CERTIFIED YES 21.62/6.29 (CERTIFIED 1.18) CERTIFIED YES 0.61/0.64 (CERTIFIED 1.88)
ICFP_2010/213407.xml 11772641 CERTIFIED YES 51.72/13.59 (CERTIFIED 1.51) CERTIFIED YES 18.42/5.45 (CERTIFIED 1.46) CERTIFIED YES 7.36/6.08 (CERTIFIED 2.42)
ICFP_2010/213437.xml 11772401 timeout (wallclock) [out] CERTIFIED YES 55.37/14.87 (CERTIFIED 2.28) CERTIFIED YES 47.65/45.54 (CERTIFIED 2.64)
ICFP_2010/213537.xml 11772339 timeout (wallclock) [out] CERTIFIED YES 60.65/16.41 (CERTIFIED 2.28) CERTIFIED YES 1.49/1.49 (CERTIFIED 3.96)
ICFP_2010/213560.xml 11772516 timeout (wallclock) [out] CERTIFIED YES 47.53/13.03 (CERTIFIED 1.97) CERTIFIED YES 281.21/277.51 (CERTIFIED 12.18)
ICFP_2010/213611.xml 11772860 timeout (wallclock) [out] CERTIFIED YES 19.49/5.75 (CERTIFIED 0.52) ERROR 0.01/0.01
ICFP_2010/213719.xml 11772653 timeout (wallclock) [out] CERTIFIED YES 872.16/228.55 (CERTIFIED 1.91) CERTIFIED YES 28.17/24.02 (CERTIFIED 2.51)
ICFP_2010/213865.xml 11772875 timeout (wallclock) [out] CERTIFIED YES 43.81/12.81 (CERTIFIED 1.64) CERTIFIED YES 35.04/32.31 (CERTIFIED 7.59)
ICFP_2010/214011.xml 11772634 CERTIFIED YES 27.58/7.54 (CERTIFIED 1.16) CERTIFIED YES 26.08/12.76 (CERTIFIED 1.20) CERTIFIED YES 50.28/48.40 (CERTIFIED 2.61)
ICFP_2010/214091.xml 11772738 CERTIFIED YES 23.02/6.29 (CERTIFIED 0.94) CERTIFIED YES 15.07/4.68 (CERTIFIED 0.93) CERTIFIED YES 0.22/0.23 (CERTIFIED 1.37)
ICFP_2010/214169.xml 11772483 CERTIFIED YES 113.07/29.77 (CERTIFIED 2.07) CERTIFIED YES 30.61/8.76 (CERTIFIED 1.62) CERTIFIED YES 24.82/23.02 (CERTIFIED 6.88)
ICFP_2010/214183.xml 11772443 CERTIFIED YES 128.98/33.17 (CERTIFIED 1.73) CERTIFIED YES 31.13/8.66 (CERTIFIED 1.30) CERTIFIED YES 253.3/248.93 (CERTIFIED 9.68)
ICFP_2010/214261.xml 11772530 timeout (wallclock) [out] CERTIFIED YES 38.34/10.65 (CERTIFIED 1.63) timeout (wallclock) [out]
ICFP_2010/214320.xml 11772317 CERTIFIED YES 68.93/17.14 (CERTIFIED 1.42) CERTIFIED YES 23.52/6.74 (CERTIFIED 1.11) CERTIFIED YES 16.72/15.68 (CERTIFIED 2.58)
ICFP_2010/230780.xml 11772864 timeout (wallclock) [out] CERTIFIED YES 15.25/4.64 (CERTIFIED 0.67) ERROR 0.01/0.01
ICFP_2010/230819.xml 11772763 timeout (wallclock) [out] CERTIFIED YES 13.25/4.15 (CERTIFIED 0.31) ERROR 0.01/0.01
ICFP_2010/230948.xml 11772777 timeout (wallclock) [out] CERTIFIED YES 19.17/5.59 (CERTIFIED 0.62) ERROR 0.01/0.01
ICFP_2010/231043.xml 11772306 timeout (wallclock) [out] CERTIFIED YES 15.76/4.79 (CERTIFIED 0.64) ERROR 0.01/0.02
ICFP_2010/231149.xml 11772774 timeout (wallclock) [out] CERTIFIED YES 12.05/3.98 (CERTIFIED 0.36) ERROR 0.01/0.01
ICFP_2010/231230.xml 11772348 timeout (wallclock) [out] CERTIFIED YES 25.80/7.35 (CERTIFIED 0.66) ERROR 0.01/0.01
ICFP_2010/231300.xml 11772648 timeout (wallclock) [out] CERTIFIED YES 11.06/3.53 (CERTIFIED 0.47) ERROR 0.01/0.01
ICFP_2010/231378.xml 11772573 timeout (wallclock) [out] CERTIFIED YES 13.25/4.12 (CERTIFIED 0.57) ERROR 0.01/0.02
ICFP_2010/231480.xml 11772484 timeout (wallclock) [out] CERTIFIED YES 12.61/3.96 (CERTIFIED 0.71) ERROR 0.01/0.01
ICFP_2010/231604.xml 11772818 timeout (wallclock) [out] CERTIFIED YES 12.63/3.98 (CERTIFIED 0.76) ERROR 0.01/0.01
ICFP_2010/24100.xml 11772522 timeout (wallclock) [out] CERTIFIED YES 562.32/144.24 (CERTIFIED 11.52) timeout (wallclock) [out]
ICFP_2010/246924.xml 11772549 timeout (wallclock) [out] CERTIFIED YES 14.49/4.48 (CERTIFIED 0.48) ERROR 0.01/0.01
ICFP_2010/247020.xml 11772881 timeout (wallclock) [out] CERTIFIED YES 12.60/3.96 (CERTIFIED 0.70) ERROR 0.01/0.01
ICFP_2010/247254.xml 11772831 timeout (wallclock) [out] CERTIFIED YES 13.82/4.27 (CERTIFIED 0.69) ERROR 0.01/0.01
ICFP_2010/247504.xml 11772590 timeout (wallclock) [out] CERTIFIED YES 16.32/4.91 (CERTIFIED 0.51) ERROR 0.01/0.05
ICFP_2010/247906.xml 11772768 timeout (wallclock) [out] CERTIFIED YES 125.06/33.26 (CERTIFIED 33.42) ERROR 0.01/0.00
ICFP_2010/247992.xml 11772524 timeout (wallclock) [out] CERTIFIED YES 20.99/6.12 (CERTIFIED 0.59) ERROR 0.01/0.01
ICFP_2010/248060.xml 11772772 timeout (wallclock) [out] CERTIFIED YES 35.60/5.32 (CERTIFIED 0.48) ERROR 0.02/0.02
ICFP_2010/249386.xml 11772795 timeout (wallclock) [out] CERTIFIED YES 51.03/13.88 (CERTIFIED 0.50) ERROR 0.01/0.01
ICFP_2010/249459.xml 11772407 timeout (wallclock) [out] CERTIFIED YES 16.19/4.89 (CERTIFIED 0.53) ERROR 0.01/0.00
ICFP_2010/249663.xml 11772428 timeout (wallclock) [out] CERTIFIED YES 13.52/4.19 (CERTIFIED 0.70) ERROR 0.01/0.00
ICFP_2010/25192.xml 11772466 CERTIFIED YES 0.71/0.40 (CERTIFIED 0.05) CERTIFIED YES 5.44/2.06 (CERTIFIED 0.05) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.11)
ICFP_2010/25388.xml 11772600 timeout (wallclock) [out] ERROR 1014.66/294.93 timeout (wallclock) [out]
ICFP_2010/25395.xml 11772316 timeout (wallclock) [out] ERROR 1024.73/296.33 timeout (wallclock) [out]
ICFP_2010/25409.xml 11772354 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25416.xml 11772387 timeout (wallclock) [out] ERROR 1021.92/297.23 timeout (wallclock) [out]
ICFP_2010/25422.xml 11772548 timeout (wallclock) [out] ERROR 1049.03/297.66 timeout (wallclock) [out]
ICFP_2010/254704.xml 11772670 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25711.xml 11772452 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25726.xml 11772857 timeout (wallclock) [out] ERROR 1137.99/297.72 timeout (wallclock) [out]
ICFP_2010/25731.xml 11772617 CERTIFIED YES 21.68/5.76 (CERTIFIED 0.55) CERTIFIED YES 14.38/4.36 (CERTIFIED 0.20) CERTIFIED YES 0.81/0.84 (CERTIFIED 0.13)
ICFP_2010/25734.xml 11772409 timeout (wallclock) [out] ERROR 1123.73/299.48 timeout (wallclock) [out]
ICFP_2010/25736.xml 11772623 timeout (wallclock) [out] ERROR 1138.54/298.52 timeout (wallclock) [out]
ICFP_2010/25743.xml 11772607 timeout (wallclock) [out] ERROR 1076.16/298.95 timeout (wallclock) [out]
ICFP_2010/25775.xml 11772589 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25808.xml 11772461 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25849.xml 11772307 timeout (wallclock) [out] ERROR 1036.0/298.01 timeout (wallclock) [out]
ICFP_2010/259405.xml 11772632 timeout (wallclock) [out] CERTIFIED YES 50.63/13.90 (CERTIFIED 17.76) timeout (wallclock) [out]
ICFP_2010/259625.xml 11772352 timeout (wallclock) [out] CERTIFIED YES 79.80/11.28 (CERTIFIED 12.18) timeout (wallclock) [out]
ICFP_2010/26069.xml 11772740 CERTIFIED YES 24.16/6.41 (CERTIFIED 1.02) CERTIFIED YES 18.73/5.73 (CERTIFIED 0.37) CERTIFIED YES 10.04/8.55 (CERTIFIED 0.33)
ICFP_2010/26103.xml 11772680 CERTIFIED YES 25.25/6.69 (CERTIFIED 1.26) CERTIFIED YES 29.51/8.32 (CERTIFIED 0.46) CERTIFIED YES 69.4/57.64 (CERTIFIED 0.49)
ICFP_2010/26105.xml 11772887 timeout (wallclock) [out] ERROR 1130.6/294.85 timeout (wallclock) [out]
ICFP_2010/26110.xml 11772384 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26116.xml 11772588 timeout (wallclock) [out] ERROR 1104.69/296.07 timeout (wallclock) [out]
ICFP_2010/26123.xml 11772523 CERTIFIED YES 26.87/7.17 (CERTIFIED 1.53) CERTIFIED YES 30.98/11.76 (CERTIFIED 0.56) timeout (wallclock) [out]
ICFP_2010/26127.xml 11772604 timeout (wallclock) [out] ERROR 1026.73/296.42 timeout (wallclock) [out]
ICFP_2010/26130.xml 11772832 CERTIFIED YES 28.22/7.46 (CERTIFIED 1.76) CERTIFIED YES 30.96/8.84 (CERTIFIED 0.66) timeout (wallclock) [out]
ICFP_2010/26132.xml 11772501 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26186.xml 11772410 CERTIFIED YES 29.32/7.76 (CERTIFIED 2.01) CERTIFIED YES 32.20/9.09 (CERTIFIED 0.77) timeout (wallclock) [out]
ICFP_2010/26226.xml 11772736 CERTIFIED YES 31.36/8.29 (CERTIFIED 2.27) CERTIFIED YES 31.06/8.77 (CERTIFIED 0.87) timeout (wallclock) [out]
ICFP_2010/26291.xml 11772411 CERTIFIED YES 32.44/8.56 (CERTIFIED 2.55) CERTIFIED YES 31.97/9.09 (CERTIFIED 1.02) timeout (wallclock) [out]
ICFP_2010/262998.xml 11772788 timeout (wallclock) [out] CERTIFIED YES 26.83/7.69 (CERTIFIED 4.78) timeout (wallclock) [out]
ICFP_2010/263745.xml 11772885 timeout (wallclock) [out] CERTIFIED YES 41.70/11.63 (CERTIFIED 15.07) timeout (wallclock) [out]
ICFP_2010/264033.xml 11772448 CERTIFIED YES 43.94/11.76 (CERTIFIED 1.57) CERTIFIED YES 25.01/7.19 (CERTIFIED 1.32) CERTIFIED YES 10.24/8.52 (CERTIFIED 18.17)
ICFP_2010/264370.xml 11772787 CERTIFIED YES 0.98/0.47 (CERTIFIED 0.08) CERTIFIED YES 4.75/1.98 (CERTIFIED 0.16) CERTIFIED YES 0.03/0.02 (CERTIFIED 0.17)
ICFP_2010/264405.xml 11772412 CERTIFIED YES 1.12/0.51 (CERTIFIED 0.08) CERTIFIED YES 5.00/1.96 (CERTIFIED 0.17) CERTIFIED YES 0.01/0.01 (CERTIFIED 0.12)
ICFP_2010/26683.xml 11772541 CERTIFIED YES 34.94/9.04 (CERTIFIED 2.82) CERTIFIED YES 43.69/12.06 (CERTIFIED 1.11) timeout (wallclock) [out]
ICFP_2010/26741.xml 11772751 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26845.xml 11772463 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26862.xml 11772629 timeout (wallclock) [out] ERROR 1051.92/295.67 timeout (wallclock) [out]
ICFP_2010/26871.xml 11772324 timeout (wallclock) [out] ERROR 1124.42/295.09 timeout (wallclock) [out]
ICFP_2010/26875.xml 11772846 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26879.xml 11772508 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26882.xml 11772561 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26886.xml 11772637 timeout (wallclock) [out] ERROR 1019.15/295.59 timeout (wallclock) [out]
ICFP_2010/26896.xml 11772877 timeout (wallclock) [out] ERROR 1032.67/299.33 timeout (wallclock) [out]
ICFP_2010/26903.xml 11772383 timeout (wallclock) [out] ERROR 1147.19/296.08 timeout (wallclock) [out]
ICFP_2010/26910.xml 11772681 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26916.xml 11772888 timeout (wallclock) [out] ERROR 1047.74/297.90 timeout (wallclock) [out]
ICFP_2010/26919.xml 11772695 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26923.xml 11772829 timeout (wallclock) [out] ERROR 1063.15/297.47 timeout (wallclock) [out]
ICFP_2010/26927.xml 11772311 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26931.xml 11772429 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26933.xml 11772611 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26940.xml 11772803 timeout (wallclock) [out] ERROR 1047.45/298.66 timeout (wallclock) [out]
ICFP_2010/26943.xml 11772406 timeout (wallclock) [out] ERROR 1083.3/296.79 timeout (wallclock) [out]
ICFP_2010/26946.xml 11772627 timeout (wallclock) [out] ERROR 1037.66/296.07 timeout (wallclock) [out]
ICFP_2010/26949.xml 11772816 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26951.xml 11772850 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26954.xml 11772485 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26957.xml 11772710 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26960.xml 11772341 timeout (wallclock) [out] ERROR 1055.85/295.96 timeout (wallclock) [out]
ICFP_2010/26965.xml 11772697 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26969.xml 11772362 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26972.xml 11772771 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26974.xml 11772649 timeout (wallclock) [out] ERROR 1059.97/297.02 timeout (wallclock) [out]
ICFP_2010/26976.xml 11772399 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26978.xml 11772372 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26980.xml 11772851 timeout (wallclock) [out] ERROR 1101.04/296.97 timeout (wallclock) [out]
ICFP_2010/26986.xml 11772711 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26993.xml 11772560 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26998.xml 11772815 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27001.xml 11772825 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27003.xml 11772499 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27006.xml 11772833 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27009.xml 11772723 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27013.xml 11772422 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27015.xml 11772520 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27019.xml 11772797 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27023.xml 11772654 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27026.xml 11772385 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27028.xml 11772391 timeout (wallclock) [out] ERROR 1011.64/295.86 timeout (wallclock) [out]
ICFP_2010/27030.xml 11772358 CERTIFIED YES 35.29/9.93 (CERTIFIED 0.86) CERTIFIED YES 45.08/12.28 (CERTIFIED 1.24) timeout (wallclock) [out]
ICFP_2010/27034.xml 11772895 timeout (wallclock) [out] ERROR 1132.19/294.84 timeout (wallclock) [out]
ICFP_2010/27036.xml 11772449 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27039.xml 11772346 timeout (wallclock) [out] ERROR 1079.01/296.52 timeout (wallclock) [out]
ICFP_2010/27131.xml 11772529 CERTIFIED YES 39.01/10.18 (CERTIFIED 3.43) CERTIFIED YES 89.77/12.38 (CERTIFIED 1.37) timeout (wallclock) [out]
ICFP_2010/27134.xml 11772814 CERTIFIED YES 41.74/11.06 (CERTIFIED 3.68) CERTIFIED YES 57.22/15.40 (CERTIFIED 1.50) timeout (wallclock) [out]
ICFP_2010/27213.xml 11772593 CERTIFIED YES 39.77/10.69 (CERTIFIED 1.33) CERTIFIED YES 22.17/6.52 (CERTIFIED 1.64) timeout (wallclock) [out]
ICFP_2010/27235.xml 11772844 CERTIFIED YES 42.75/11.49 (CERTIFIED 1.54) CERTIFIED YES 67.60/17.98 (CERTIFIED 1.78) timeout (wallclock) [out]
ICFP_2010/27280.xml 11772790 CERTIFIED YES 39.78/10.76 (CERTIFIED 1.77) CERTIFIED YES 104.49/14.09 (CERTIFIED 1.93) timeout (wallclock) [out]
ICFP_2010/28293.xml 11772581 CERTIFIED YES 40.33/10.82 (CERTIFIED 2.03) CERTIFIED YES 109.34/14.70 (CERTIFIED 2.08) timeout (wallclock) [out]
ICFP_2010/28464.xml 11772392 CERTIFIED YES 43.22/11.74 (CERTIFIED 2.32) CERTIFIED YES 64.83/17.31 (CERTIFIED 2.25) timeout (wallclock) [out]
ICFP_2010/28643.xml 11772704 ERROR 43.40/11.71 CERTIFIED YES 65.97/17.66 (CERTIFIED 2.41) timeout (wallclock) [out]
ICFP_2010/28838.xml 11772828 ERROR 46.02/12.62 CERTIFIED YES 73.76/19.67 (CERTIFIED 2.58) timeout (wallclock) [out]
ICFP_2010/29415.xml 11772360 timeout (wallclock) [out] CERTIFIED YES 122.19/33.32 (CERTIFIED 43.11) timeout (wallclock) [out]
ICFP_2010/3268.xml 11772596 CERTIFIED YES 27.57/7.31 (CERTIFIED 106.59) CERTIFIED YES 37.65/10.38 (CERTIFIED 4.26) CERTIFIED YES 10.58/8.90 (CERTIFIED 7.15)
ICFP_2010/3336.xml 11772813 CERTIFIED YES 29.34/7.76 (CERTIFIED 1.14) CERTIFIED YES 18.06/5.35 (CERTIFIED 1.08) CERTIFIED YES 0.12/0.22 (CERTIFIED 1.62)
ICFP_2010/3385.xml 11772722 CERTIFIED YES 48.91/12.90 (CERTIFIED 511.17) CERTIFIED YES 53.60/14.53 (CERTIFIED 16.19) CERTIFIED YES 33.49/31.85 (CERTIFIED 11.45)
ICFP_2010/3450.xml 11772741 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3467.xml 11772361 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3498.xml 11772784 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3533.xml 11772700 post-processor error [out] ERROR 774.09/298.23 timeout (wallclock) [out]
ICFP_2010/3562.xml 11772602 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3589.xml 11772776 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3633.xml 11772769 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3680.xml 11772682 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3705.xml 11772349 timeout (wallclock) [out] ERROR 765.75/294.58 timeout (wallclock) [out]
ICFP_2010/3729.xml 11772525 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3746.xml 11772838 post-processor error [out] CERTIFIED YES 15.85/4.73 (CERTIFIED 1.30) timeout (wallclock) [out]
ICFP_2010/3762.xml 11772765 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3770.xml 11772364 post-processor error [out] CERTIFIED YES 83.02/21.94 (CERTIFIED 16.15) timeout (wallclock) [out]
ICFP_2010/3786.xml 11772811 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3817.xml 11772690 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3831.xml 11772432 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3842.xml 11772558 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3856.xml 11772865 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3861.xml 11772460 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3865.xml 11772694 post-processor error [out] ERROR 812.83/293.18 timeout (wallclock) [out]
ICFP_2010/3916.xml 11772805 post-processor error [out] ERROR 801.85/296.72 timeout (wallclock) [out]
ICFP_2010/3927.xml 11772381 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3930.xml 11772437 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3939.xml 11772465 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/39830.xml 11772322 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/39849.xml 11772733 timeout (wallclock) [out] CERTIFIED YES 52.23/14.36 (CERTIFIED 2.96) CERTIFIED YES 26.57/26.11 (CERTIFIED 5.75)
ICFP_2010/3989.xml 11772753 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3995.xml 11772343 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4002.xml 11772470 post-processor error [out] CERTIFIED YES 36.61/10.10 (CERTIFIED 5.81) timeout (wallclock) [out]
ICFP_2010/40033.xml 11772599 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/40093.xml 11772552 CERTIFIED YES 24.79/6.57 (CERTIFIED 3.50) ERROR 732.99/293.19 timeout (wallclock) [out]
ICFP_2010/4017.xml 11772635 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4029.xml 11772430 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4036.xml 11772330 timeout (wallclock) [out] ERROR 765.81/296.75 timeout (wallclock) [out]
ICFP_2010/4046.xml 11772737 CERTIFIED YES 22.27/5.97 (CERTIFIED 0.65) CERTIFIED YES 7.70/2.68 (CERTIFIED 0.63) CERTIFIED YES 136.99/103.70 (CERTIFIED 2.76)
ICFP_2010/4051.xml 11772820 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/40540.xml 11772579 timeout (wallclock) [out] CERTIFIED YES 63.09/17.01 (CERTIFIED 24.51) timeout (wallclock) [out]
ICFP_2010/4057.xml 11772609 post-processor error [out] ERROR 751.88/294.57 timeout (wallclock) [out]
ICFP_2010/40708.xml 11772591 CERTIFIED YES 30.64/8.15 (CERTIFIED 22.84) timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4074.xml 11772677 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/40976.xml 11772620 timeout (wallclock) [out] CERTIFIED YES 91.63/24.60 (CERTIFIED 24.99) timeout (wallclock) [out]
ICFP_2010/4106.xml 11772630 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/41378.xml 11772658 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4141.xml 11772659 post-processor error [out] ERROR 791.81/292.84 timeout (wallclock) [out]
ICFP_2010/41427.xml 11772482 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4157.xml 11772691 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/41688.xml 11772702 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4181.xml 11772671 post-processor error [out] CERTIFIED YES 8.82/3.05 (CERTIFIED 1.04) CERTIFIED YES 3.71/3.68 (CERTIFIED 7.08)
ICFP_2010/41838.xml 11772557 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/41843.xml 11772545 timeout (wallclock) [out] CERTIFIED YES 828.15/270.08 (CERTIFIED 10.04) timeout (wallclock) [out]
ICFP_2010/41865.xml 11772872 timeout (wallclock) [out] ERROR 890.49/293.13 timeout (wallclock) [out]
ICFP_2010/4200.xml 11772720 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4206.xml 11772848 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/42170.xml 11772571 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/42321.xml 11772355 timeout (wallclock) [out] CERTIFIED YES 50.88/15.88 (CERTIFIED 22.77) timeout (wallclock) [out]
ICFP_2010/42466.xml 11772841 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4248.xml 11772870 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/42683.xml 11772827 timeout (wallclock) [out] CERTIFIED YES 66.63/17.99 (CERTIFIED 22.44) timeout (wallclock) [out]
ICFP_2010/4282.xml 11772370 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4314.xml 11772338 post-processor error [out] ERROR 904.36/293.96 timeout (wallclock) [out]
ICFP_2010/43266.xml 11772874 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/43603.xml 11772334 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/43621.xml 11772553 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/43650.xml 11772597 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4374.xml 11772762 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/43987.xml 11772716 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4412.xml 11772684 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/44332.xml 11772882 timeout (wallclock) [out] CERTIFIED YES 84.48/22.69 (CERTIFIED 28.62) timeout (wallclock) [out]
ICFP_2010/4484.xml 11772727 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4487.xml 11772479 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/45720.xml 11772586 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 303.6/268.93
ICFP_2010/45757.xml 11772770 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 307.03/284.87
ICFP_2010/45970.xml 11772442 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4816.xml 11772453 timeout (wallclock) [out] ERROR 812.16/295.86 timeout (wallclock) [out]
ICFP_2010/4819.xml 11772353 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4824.xml 11772480 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/48262.xml 11772569 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/48267.xml 11772773 timeout (cpu) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4827.xml 11772729 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/48328.xml 11772701 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/48374.xml 11772551 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4840.xml 11772540 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4847.xml 11772521 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4854.xml 11772834 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/48686.xml 11772830 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4893.xml 11772823 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4920.xml 11772638 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4934.xml 11772337 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4938.xml 11772688 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4943.xml 11772676 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4953.xml 11772752 timeout (wallclock) [out] ERROR 840.44/297.32 timeout (wallclock) [out]
ICFP_2010/4964.xml 11772534 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4970.xml 11772842 CERTIFIED YES 42.80/11.21 (CERTIFIED 888.48) timeout (wallclock) [out] CERTIFIED YES 334.36/284.63 (CERTIFIED 9.50)
ICFP_2010/4979.xml 11772859 post-processor error [out] CERTIFIED YES 202.06/52.36 (CERTIFIED 24.03) timeout (wallclock) [out]
ICFP_2010/4991.xml 11772446 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/5011.xml 11772336 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/5076.xml 11772754 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/50904.xml 11772839 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/5109.xml 11772309 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/5130.xml 11772707 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/51424.xml 11772791 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/51577.xml 11772518 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/51842.xml 11772476 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/53216.xml 11772368 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/54097.xml 11772679 timeout (wallclock) [out] ERROR 939.74/295.70 timeout (wallclock) [out]
ICFP_2010/54532.xml 11772514 CERTIFIED YES 31.07/15.56 (CERTIFIED 0.88) CERTIFIED YES 8.47/2.94 (CERTIFIED 0.86) ERROR 0.01/0.03
ICFP_2010/54622.xml 11772493 CERTIFIED YES 32.09/15.70 (CERTIFIED 0.87) CERTIFIED YES 7.36/2.76 (CERTIFIED 0.85) ERROR 0.01/0.01
ICFP_2010/56144.xml 11772366 timeout (wallclock) [out] CERTIFIED YES 90.56/24.41 (CERTIFIED 27.32) timeout (wallclock) [out]
ICFP_2010/57132.xml 11772388 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/57278.xml 11772724 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 264.31/252.35
ICFP_2010/57355.xml 11772747 timeout (wallclock) [out] CERTIFIED YES 461.77/118.55 (CERTIFIED 2.03) CERTIFIED YES 85.22/78.24 (CERTIFIED 6.11)
ICFP_2010/57453.xml 11772323 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/57799.xml 11772750 timeout (wallclock) [out] CERTIFIED YES 71.74/19.39 (CERTIFIED 37.28) CERTIFIED YES 48.02/45.81 (CERTIFIED 30.36)
ICFP_2010/57852.xml 11772494 timeout (wallclock) [out] CERTIFIED YES 58.76/15.84 (CERTIFIED 8.21) timeout (wallclock) [out]
ICFP_2010/58125.xml 11772526 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/58194.xml 11772725 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 95.55/86.58
ICFP_2010/58221.xml 11772843 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/58301.xml 11772313 timeout (wallclock) [out] CERTIFIED YES 48.56/13.38 (CERTIFIED 2.56) CERTIFIED YES 1.29/1.25 (CERTIFIED 6.33)
ICFP_2010/63142.xml 11772584 post-processor error [out] CERTIFIED YES 10.77/3.47 (CERTIFIED 3.38) timeout (wallclock) [out]
ICFP_2010/64160.xml 11772726 CERTIFIED YES 33.38/8.72 (CERTIFIED 141.98) timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/65081.xml 11772868 post-processor error [out] CERTIFIED YES 6.98/2.47 (CERTIFIED 0.32) CERTIFIED YES 74.63/74.66 (CERTIFIED 11.54)
ICFP_2010/68322.xml 11772625 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/68535.xml 11772376 timeout (wallclock) [out] CERTIFIED YES 281.47/74.78 (CERTIFIED 3.63) timeout (wallclock) [out]
ICFP_2010/68989.xml 11772345 post-processor error [out] CERTIFIED YES 12.03/3.86 (CERTIFIED 1.15) CERTIFIED YES 23.04/23.03 (CERTIFIED 8.90)
ICFP_2010/81452.xml 11772513 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/84886.xml 11772580 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/84977.xml 11772657 timeout (wallclock) [out] ERROR 762.56/293.50 timeout (wallclock) [out]
ICFP_2010/85039.xml 11772896 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85079.xml 11772853 timeout (wallclock) [out] CERTIFIED YES 239.18/61.65 (CERTIFIED 4.88) timeout (wallclock) [out]
ICFP_2010/85267.xml 11772758 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85294.xml 11772734 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85345.xml 11772656 timeout (wallclock) [out] ERROR 805.94/294.21 timeout (wallclock) [out]
ICFP_2010/85380.xml 11772356 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85477.xml 11772556 timeout (wallclock) [out] CERTIFIED YES 46.87/12.71 (CERTIFIED 3.81) timeout (wallclock) [out]
ICFP_2010/85590.xml 11772728 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85650.xml 11772855 timeout (wallclock) [out] CERTIFIED YES 42.20/11.58 (CERTIFIED 3.51) timeout (wallclock) [out]
ICFP_2010/85675.xml 11772633 timeout (wallclock) [out] CERTIFIED YES 8.34/2.89 (CERTIFIED 0.60) CERTIFIED YES 192.91/192.88 (CERTIFIED 30.78)
ICFP_2010/85721.xml 11772375 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85749.xml 11772687 timeout (wallclock) [out] CERTIFIED YES 8.03/2.77 (CERTIFIED 0.51) timeout (wallclock) [out]
ICFP_2010/85782.xml 11772390 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85834.xml 11772639 timeout (wallclock) [out] CERTIFIED YES 10.24/3.32 (CERTIFIED 1.35) CERTIFIED YES 199.02/199.05 (CERTIFIED 12.80)
ICFP_2010/85874.xml 11772612 post-processor error [out] ERROR 843.16/295.72 timeout (wallclock) [out]
ICFP_2010/85920.xml 11772405 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86025.xml 11772802 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86052.xml 11772539 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86452.xml 11772858 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86499.xml 11772531 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86526.xml 11772655 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86559.xml 11772582 CERTIFIED YES 3.79/1.34 (CERTIFIED 0.73) CERTIFIED YES 9.58/3.31 (CERTIFIED 1.41) timeout (wallclock) [out]
ICFP_2010/86577.xml 11772718 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86617.xml 11772308 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86636.xml 11772662 post-processor error [out] ERROR 758.11/293.43 timeout (wallclock) [out]
ICFP_2010/86745.xml 11772856 timeout (wallclock) [out] CERTIFIED YES 8.90/3.08 (CERTIFIED 1.40) CERTIFIED YES 34.27/34.21 (CERTIFIED 14.66)
ICFP_2010/86816.xml 11772340 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86857.xml 11772504 timeout (wallclock) [out] CERTIFIED YES 432.00/117.54 (CERTIFIED 5.10) timeout (wallclock) [out]
ICFP_2010/88143.xml 11772628 post-processor error [out] CERTIFIED YES 56.75/15.23 (CERTIFIED 6.87) timeout (wallclock) [out]
ICFP_2010/88156.xml 11772477 post-processor error [out] CERTIFIED YES 84.81/22.51 (CERTIFIED 14.15) timeout (wallclock) [out]
ICFP_2010/88172.xml 11772563 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/88183.xml 11772719 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/88208.xml 11772474 timeout (wallclock) [out] CERTIFIED YES 60.68/16.31 (CERTIFIED 11.21) timeout (wallclock) [out]
ICFP_2010/88283.xml 11772796 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/91210.xml 11772490 timeout (wallclock) [out] CERTIFIED YES 46.12/12.83 (CERTIFIED 10.09) timeout (wallclock) [out]
ICFP_2010/91218.xml 11772329 timeout (wallclock) [out] ERROR 743.35/293.73 timeout (wallclock) [out]
ICFP_2010/91233.xml 11772594 timeout (wallclock) [out] CERTIFIED YES 51.81/17.91 (CERTIFIED 10.41) timeout (wallclock) [out]
ICFP_2010/91242.xml 11772644 timeout (wallclock) [out] ERROR 800.41/292.63 timeout (wallclock) [out]
ICFP_2010/91254.xml 11772708 timeout (wallclock) [out] ERROR 809.15/297.36 timeout (wallclock) [out]
ICFP_2010/95858.xml 11772645 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/95899.xml 11772879 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/95952.xml 11772492 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/95978.xml 11772570 timeout (wallclock) [out] ERROR 747.67/294.37 timeout (wallclock) [out]
ICFP_2010/96029.xml 11772315 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96065.xml 11772692 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96086.xml 11772748 CERTIFIED YES 1.99/0.80 (CERTIFIED 0.32) CERTIFIED YES 7.84/2.67 (CERTIFIED 0.53) CERTIFIED YES 28.1/28.12 (CERTIFIED 5.15)
ICFP_2010/96104.xml 11772331 timeout (wallclock) [out] ERROR 718.95/299.17 timeout (wallclock) [out]
ICFP_2010/96119.xml 11772613 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96156.xml 11772760 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96176.xml 11772304 post-processor error [out] ERROR 822.62/294.01 timeout (wallclock) [out]
ICFP_2010/96198.xml 11772876 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96224.xml 11772698 CERTIFIED YES 3.00/1.08 (CERTIFIED 0.45) CERTIFIED YES 7.64/2.62 (CERTIFIED 0.37) CERTIFIED YES 43.99/43.99 (CERTIFIED 7.97)
ICFP_2010/96239.xml 11772373 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96256.xml 11772686 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96274.xml 11772822 timeout (wallclock) [out] CERTIFIED YES 8.38/2.96 (CERTIFIED 0.58) timeout (wallclock) [out]
ICFP_2010/96289.xml 11772693 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96302.xml 11772335 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96334.xml 11772847 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96370.xml 11772365 post-processor error [out] CERTIFIED YES 28.24/7.89 (CERTIFIED 2.75) timeout (wallclock) [out]
ICFP_2010/96403.xml 11772672 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96417.xml 11772371 post-processor error [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96438.xml 11772712 post-processor error [out] CERTIFIED YES 349.42/108.97 (CERTIFIED 83.57) timeout (wallclock) [out]
ICFP_2010/96464.xml 11772562 post-processor error [out] CERTIFIED YES 58.53/15.68 (CERTIFIED 3.65) timeout (wallclock) [out]
ICFP_2010/96485.xml 11772785 timeout (wallclock) [out] CERTIFIED YES 8.32/2.84 (CERTIFIED 0.57) CERTIFIED YES 84.16/84.23 (CERTIFIED 9.08)
ICFP_2010/96523.xml 11772434 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96563.xml 11772487 post-processor error [out] CERTIFIED YES 26.16/12.70 (CERTIFIED 1.72) CERTIFIED YES 13.52/13.52 (CERTIFIED 9.98)
ICFP_2010/96612.xml 11772809 timeout (wallclock) [out] ERROR 861.83/292.74 timeout (wallclock) [out]
ICFP_2010/96642.xml 11772705 post-processor error [out] CERTIFIED YES 82.96/22.04 (CERTIFIED 3.17) timeout (wallclock) [out]
ICFP_2010/96673.xml 11772478 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/97885.xml 11772312 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/97888.xml 11772866 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/97901.xml 11772867 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/97917.xml 11772794 timeout (wallclock) [out] ERROR 1095.47/299.44 timeout (wallclock) [out]
ICFP_2010/97929.xml 11772578 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/98362.xml 11772400 post-processor error [out] CERTIFIED YES 56.01/15.12 (CERTIFIED 3.49) timeout (wallclock) [out]
ICFP_2010/98623.xml 11772783 timeout (wallclock) [out] CERTIFIED YES 61.15/16.58 (CERTIFIED 26.60) timeout (wallclock) [out]
Secret_05_SRS/aprove1.xml 11772043 CERTIFIED YES 29.61/7.81 (CERTIFIED 0.21) CERTIFIED YES 31.76/8.95 (CERTIFIED 0.35) MAYBE 0.09/0.28
Secret_05_SRS/aprove2.xml 11772057 CERTIFIED YES 31.50/8.27 (CERTIFIED 0.32) CERTIFIED YES 26.17/4.09 (CERTIFIED 0.24) MAYBE 0.06/0.22
Secret_05_SRS/aprove3.xml 11772052 CERTIFIED YES 24.76/6.53 (CERTIFIED 0.28) CERTIFIED YES 13.89/4.26 (CERTIFIED 0.27) MAYBE 0.04/0.22
Secret_05_SRS/aprove4.xml 11772053 CERTIFIED YES 40.11/10.36 (CERTIFIED 0.29) CERTIFIED YES 21.36/6.19 (CERTIFIED 0.39) MAYBE 0.08/0.29
Secret_05_SRS/aprove5.xml 11772056 CERTIFIED YES 33.48/8.83 (CERTIFIED 0.36) CERTIFIED YES 40.75/11.87 (CERTIFIED 0.47) MAYBE 0.07/0.42
Secret_05_SRS/jambox1.xml 11772054 timeout (wallclock) [out] CERTIFIED YES 31.64/8.76 (CERTIFIED 0.49) MAYBE 0.04/0.34
Secret_05_SRS/jambox2.xml 11772046 timeout (wallclock) [out] ERROR 1142.51/292.19 MAYBE 0.73/0.75
Secret_05_SRS/jambox3.xml 11772048 timeout (wallclock) [out] CERTIFIED YES 96.93/25.43 (CERTIFIED 0.17) MAYBE 0.08/0.41
Secret_05_SRS/jambox4.xml 11772050 CERTIFIED YES 28.05/7.43 (CERTIFIED 0.19) CERTIFIED YES 20.17/5.95 (CERTIFIED 0.21) MAYBE 0.04/0.22
Secret_05_SRS/jambox5.xml 11772045 timeout (wallclock) [out] CERTIFIED YES 50.79/13.70 (CERTIFIED 0.24) MAYBE 0.08/0.27
Secret_05_SRS/matchbox1.xml 11772058 CERTIFIED YES 8.78/2.52 (CERTIFIED 0.25) CERTIFIED YES 24.86/7.22 (CERTIFIED 0.28) CERTIFIED YES 2.23/1.87 (CERTIFIED 0.31)
Secret_05_SRS/matchbox2.xml 11772044 CERTIFIED YES 7.70/2.20 (CERTIFIED 0.16) CERTIFIED YES 23.63/6.88 (CERTIFIED 0.26) CERTIFIED YES 1.48/1.42 (CERTIFIED 0.69)
Secret_05_SRS/torpa1.xml 11772055 CERTIFIED YES 19.69/5.24 (CERTIFIED 0.18) CERTIFIED YES 10.58/3.46 (CERTIFIED 0.10) MAYBE 0.07/0.47
Secret_05_SRS/torpa2.xml 11772047 CERTIFIED YES 48.89/12.75 (CERTIFIED 0.11) CERTIFIED YES 15.22/4.73 (CERTIFIED 0.09) MAYBE 0.02/0.13
Secret_05_SRS/torpa3.xml 11772049 CERTIFIED YES 12.35/3.37 (CERTIFIED 0.33) CERTIFIED YES 9.14/3.09 (CERTIFIED 0.12) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.14)
Secret_05_SRS/torpa4.xml 11772051 CERTIFIED YES 20.76/5.53 (CERTIFIED 0.25) CERTIFIED YES 10.11/3.38 (CERTIFIED 0.22) MAYBE 0.06/0.53
Wenzel_16/aaabaaaa-aaaaaaabaaab.srs.xml 11772090 timeout (wallclock) [out] ERROR 774.80/292.25 MAYBE 1.28/1.24
Wenzel_16/aaabaaaaa-aaaaaaaabaaaab.srs.xml 11772129 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.27/2.13
Wenzel_16/aaabaaaaa-aaaaaaaabaaab.srs.xml 11772140 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.77/1.70
Wenzel_16/aaabaaaaaa-aaaaaaaaabaaab.srs.xml 11772265 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.51/2.37
Wenzel_16/aaabbaaaa-aaaaaaabbaaabb.srs.xml 11772163 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 4.61/4.20
Wenzel_16/aabaaaa-aaaaaabaaab.srs.xml 11772115 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.09/1.11
Wenzel_16/aabaaaa-aaaaaabaaabaab.srs.xml 11772253 CERTIFIED YES 54.06/14.07 (CERTIFIED 0.22) timeout (wallclock) [out] MAYBE 2.04/1.92
Wenzel_16/aabaaaa-aaaaaabaab.srs.xml 11772137 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.92/0.96
Wenzel_16/aabaaaa-aaaaaabaabaaab.srs.xml 11772220 CERTIFIED YES 43.53/11.36 (CERTIFIED 0.22) ERROR 641.92/293.62 MAYBE 1.6/1.47
Wenzel_16/aabaaaa-aaaaaabaabaab.srs.xml 11772199 CERTIFIED YES 185.41/46.39 (CERTIFIED 0.56) timeout (wallclock) [out] MAYBE 1.45/1.46
Wenzel_16/aabaaaaa-aaaaaaabaaaab.srs.xml 11772080 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.8/1.71
Wenzel_16/aabaaaaa-aaaaaaabaaab.srs.xml 11772088 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.28/1.25
Wenzel_16/aabaaaaa-aaaaaaabaab.srs.xml 11772081 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.44/1.40
Wenzel_16/aabaaaaa-aaaaaaabaabaab.srs.xml 11772268 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.64/2.50
Wenzel_16/aabaaaaaa-aaaaaaaabaaaab.srs.xml 11772274 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.19/2.00
Wenzel_16/aabaaaaaa-aaaaaaaabaaab.srs.xml 11772237 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.96/1.84
Wenzel_16/aabaaaaaaa-aaaaaaaaabaaab.srs.xml 11772145 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.7/2.42
Wenzel_16/aabaaaaaaa-aaaaaaaaabaab.srs.xml 11772221 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.18/2.86
Wenzel_16/aabaaaaaaaa-aaaaaaaaaabaab.srs.xml 11772215 CERTIFIED YES 100.69/26.06 (CERTIFIED 0.26) timeout (wallclock) [out] MAYBE 4.69/4.08
Wenzel_16/aabaaaabaa-aaaabaabaaaab.srs.xml 11772089 timeout (wallclock) [out] ERROR 960.72/296.73 MAYBE 4.15/3.94
Wenzel_16/aabaaabaab-abaaabaabaaab.srs.xml 11772094 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.58/2.43
Wenzel_16/aabaaabaaba-aaabaabaabaaab.srs.xml 11772208 timeout (wallclock) [out] ERROR 741.42/292.2 MAYBE 4.07/4.27
Wenzel_16/aabaabaaaa-aaaaaabaabaab.srs.xml 11772092 timeout (wallclock) [out] ERROR 747.71/292.70 MAYBE 4.07/3.87
Wenzel_16/aabaabaaaaa-aaaaaaabaabaab.srs.xml 11772252 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 5.23/4.71
Wenzel_16/aabaababaab-aababaabaababa.srs.xml 11772169 timeout (wallclock) [out] ERROR 651.00/296.88 MAYBE 1.78/1.79
Wenzel_16/aabaababaab-aababaababaaba.srs.xml 11772096 CERTIFIED YES 166.56/42.89 (CERTIFIED 0.42) timeout (wallclock) [out] MAYBE 1.35/1.36
Wenzel_16/aabaabbaab-aabbaabaabbaa.srs.xml 11772210 CERTIFIED YES 82.12/20.98 (CERTIFIED 0.23) timeout (wallclock) [out] MAYBE 1.63/1.61
Wenzel_16/aababaaaa-aaaaaababaabab.srs.xml 11772070 timeout (wallclock) [out] ERROR 659.31/297.60 MAYBE 4.29/4.00
Wenzel_16/aabababab-ababababaaaaab.srs.xml 11772194 timeout (wallclock) [out] ERROR 680.99/296.88 MAYBE 2.13/2.13
Wenzel_16/aabacaaa-aaaaabacaabac.srs.xml 11772240 CERTIFIED YES 73.83/19.12 (CERTIFIED 0.17) CERTIFIED YES 625.95/159.58 (CERTIFIED 0.19) MAYBE 5.71/5.56
Wenzel_16/aabbaaaa-aaaaaabbaaabb.srs.xml 11772172 CERTIFIED YES 110.58/28.29 (CERTIFIED 0.21) timeout (wallclock) [out] MAYBE 3.21/2.86
Wenzel_16/aabbaaaa-aaaaaabbaabb.srs.xml 11772262 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 4.02/3.60
Wenzel_16/aabbaaaaa-aaaaaaabbaaabb.srs.xml 11772130 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 6.51/5.34
Wenzel_16/aabbaaaaa-aaaaaaabbaabb.srs.xml 11772174 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 7.76/5.97
Wenzel_16/aabbaaaabaa-aabaaaabbaaaab.srs.xml 11772257 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 7.77/6.77
Wenzel_16/aabbaaba-aabaabbaab.srs.xml 11772255 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.41/1.46
Wenzel_16/aabbaabababa-aabababaabbaab.srs.xml 11772207 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.6/3.49
Wenzel_16/aabbaabbaaba-aabaabbaabbaab.srs.xml 11772214 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 6.85/5.85
Wenzel_16/aabbababa-abababaabbaab.srs.xml 11772123 CERTIFIED YES 60.93/15.84 (CERTIFIED 0.18) timeout (wallclock) [out] MAYBE 1.54/1.53
Wenzel_16/aabbbaaaa-aaaaaabbbaabbb.srs.xml 11772218 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 16.93/12.61
Wenzel_16/aabbcaaaa-aaaaaabbcaabbc.srs.xml 11772261 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 45.13/35.24
Wenzel_16/aabcbaaaa-aaaaaabcbaabcb.srs.xml 11772249 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 29.84/24.29
Wenzel_16/aabccaaaa-aaaaaabccaabcc.srs.xml 11772178 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 45.6/36.30
Wenzel_16/abaaaa-aaaaabaaabaaab.srs.xml 11772189 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.96/1.02
Wenzel_16/abaaaa-aaaaabaaabaab.srs.xml 11772136 CERTIFIED YES 52.08/13.54 (CERTIFIED 0.20) timeout (wallclock) [out] MAYBE 0.69/0.71
Wenzel_16/abaaaa-aaaaabaaabab.srs.xml 11772191 CERTIFIED YES 38.55/10.02 (CERTIFIED 0.23) timeout (wallclock) [out] MAYBE 0.92/0.95
Wenzel_16/abaaaa-aaaaabaabaab.srs.xml 11772108 CERTIFIED YES 42.71/11.23 (CERTIFIED 0.19) timeout (wallclock) [out] MAYBE 0.93/1.01
Wenzel_16/abaaaa-aaaaabaabaabab.srs.xml 11772170 timeout (wallclock) [out] ERROR 630.20/297.91 MAYBE 1.10/1.09
Wenzel_16/abaaaa-aaaaabaabab.srs.xml 11772064 CERTIFIED YES 43.04/11.25 (CERTIFIED 0.17) ERROR 632.59/298.76 MAYBE 0.63/0.69
Wenzel_16/abaaaa-aaaaabaababaab.srs.xml 11772235 CERTIFIED YES 128.59/33.24 (CERTIFIED 0.21) timeout (wallclock) [out] MAYBE 1.2/1.21
Wenzel_16/abaaaa-aaaaabaababab.srs.xml 11772084 CERTIFIED YES 97.11/25.14 (CERTIFIED 0.19) timeout (wallclock) [out] MAYBE 0.99/1.06
Wenzel_16/abaaaa-aaaaababaabaab.srs.xml 11772147 CERTIFIED YES 55.59/14.48 (CERTIFIED 0.20) timeout (wallclock) [out] MAYBE 1.06/1.09
Wenzel_16/abaaaa-aaaaababaabab.srs.xml 11772284 timeout (wallclock) [out] ERROR 729.83/292.2 MAYBE 0.92/0.93
Wenzel_16/abaaaa-aaaaabababaab.srs.xml 11772127 CERTIFIED YES 44.54/11.70 (CERTIFIED 0.19) timeout (wallclock) [out] MAYBE 0.92/0.94
Wenzel_16/abaaaaa-aaaaaaabababab.srs.xml 11772065 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.26/1.24
Wenzel_16/abaaaaa-aaaaaabaaaab.srs.xml 11772069 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.9/0.99
Wenzel_16/abaaaaa-aaaaaabaaaabab.srs.xml 11772228 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.91/0.98
Wenzel_16/abaaaaa-aaaaaabaaabaab.srs.xml 11772177 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.39/1.41
Wenzel_16/abaaaaa-aaaaaabaaabab.srs.xml 11772149 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.82/0.90
Wenzel_16/abaaaaa-aaaaaabaabaaab.srs.xml 11772106 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.27/1.26
Wenzel_16/abaaaaa-aaaaaababaaaab.srs.xml 11772241 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.01/1.05
Wenzel_16/abaaaaa-aaaaaababaaab.srs.xml 11772190 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.86/0.89
Wenzel_16/abaaaaa-aaaaaababaabab.srs.xml 11772248 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.37/1.39
Wenzel_16/abaaaaa-aaaaaababab.srs.xml 11772144 timeout (wallclock) [out] ERROR 730.35/296.10 MAYBE 1.08/1.10
Wenzel_16/abaaaaa-aaaaaabababab.srs.xml 11772196 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.18/1.19
Wenzel_16/abaaaaaa-aaaaaaaababab.srs.xml 11772166 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.26/1.28
Wenzel_16/abaaaaaa-aaaaaaabaaaaab.srs.xml 11772273 timeout (wallclock) [out] ERROR 566.64/298.08 MAYBE 1.19/1.19
Wenzel_16/abaaaaaa-aaaaaaabaaaab.srs.xml 11772186 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.15/1.18
Wenzel_16/abaaaaaa-aaaaaaabaaab.srs.xml 11772141 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.6/0.68
Wenzel_16/abaaaaaa-aaaaaaabaaabab.srs.xml 11772263 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.25/1.23
Wenzel_16/abaaaaaa-aaaaaaababaaab.srs.xml 11772066 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.42/1.38
Wenzel_16/abaaaaaaa-aaaaaaaaababab.srs.xml 11772224 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.68/1.61
Wenzel_16/abaaaaaaa-aaaaaaaabaaaab.srs.xml 11772122 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.4/1.39
Wenzel_16/abaaaaaaa-aaaaaaaabaaab.srs.xml 11772167 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.05/1.04
Wenzel_16/abaaaaaaa-aaaaaaaabaab.srs.xml 11772161 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.94/0.96
Wenzel_16/abaaaaaaa-aaaaaaaabaabab.srs.xml 11772146 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.6/2.24
Wenzel_16/abaaaaaaa-aaaaaaaabab.srs.xml 11772078 timeout (wallclock) [out] ERROR 705.53/292.2 MAYBE 0.94/0.93
Wenzel_16/abaaaaaaa-aaaaaaaababaab.srs.xml 11772259 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.77/1.69
Wenzel_16/abaaaaaaa-aaaaaaaababab.srs.xml 11772158 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.59/1.48
Wenzel_16/abaaaaaaaa-aaaaaaaaaabaab.srs.xml 11772162 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.6/1.60
Wenzel_16/abaaaaaaaa-aaaaaaaaaabab.srs.xml 11772225 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.88/1.65
Wenzel_16/abaaaaaaaa-aaaaaaaaabaaab.srs.xml 11772118 CERTIFIED YES 44.07/11.53 (CERTIFIED 0.25) timeout (wallclock) [out] MAYBE 1.55/1.53
Wenzel_16/abaaaaaaaaa-aaaaaaaaaaabab.srs.xml 11772192 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.85/1.69
Wenzel_16/abaaaaabaa-aaaaababaaaaab.srs.xml 11772103 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.65/2.42
Wenzel_16/abaaaaabaa-aaabaaabaaaaab.srs.xml 11772188 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.21/2.12
Wenzel_16/abaaaabaa-aaabaabaaaab.srs.xml 11772260 timeout (wallclock) [out] ERROR 977.33/297.15 MAYBE 2.3/2.35
Wenzel_16/abaaabaa-aaabaaababaaab.srs.xml 11772231 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.83/1.78
Wenzel_16/abaaabaaaa-aaaaabaaabaaab.srs.xml 11772085 timeout (wallclock) [out] ERROR 677.12/296.13 MAYBE 1.69/1.67
Wenzel_16/abaaababaab-abaababaaababa.srs.xml 11772113 timeout (wallclock) [out] ERROR 635.31/298.34 MAYBE 5.0/4.63
Wenzel_16/abaaba-aabababaab.srs.xml 11772072 timeout (wallclock) [out] CERTIFIED YES 393.54/157.58 (CERTIFIED 1.26) MAYBE 0.67/0.74
Wenzel_16/abaaba-aababababaab.srs.xml 11772256 timeout (wallclock) [out] ERROR 935.53/294.13 MAYBE 0.81/0.83
Wenzel_16/abaaba-aabababababaab.srs.xml 11772277 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.52/1.48
Wenzel_16/abaabaaaa-aaaaabaabaab.srs.xml 11772283 CERTIFIED YES 76.37/19.70 (CERTIFIED 0.20) ERROR 976.37/292.43 MAYBE 1.55/1.55
Wenzel_16/abaabaaaa-aaaaabaababaab.srs.xml 11772230 CERTIFIED YES 72.62/18.49 (CERTIFIED 0.28) timeout (wallclock) [out] MAYBE 2.82/2.71
Wenzel_16/abaabaaaaa-aaaaaabaabaab.srs.xml 11772247 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.01/2.92
Wenzel_16/abaababa-aabababaab.srs.xml 11772281 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.81/0.84
Wenzel_16/abaababa-aababababaab.srs.xml 11772109 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.06/1.13
Wenzel_16/abaababa-aababababaabab.srs.xml 11772093 timeout (wallclock) [out] ERROR 684.52/293.16 MAYBE 2.28/2.26
Wenzel_16/abaababa-aabababababaab.srs.xml 11772203 timeout (wallclock) [out] ERROR 753.19/298.00 MAYBE 1.33/1.31
Wenzel_16/abaababaaab-aababaaababaab.srs.xml 11772233 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.66/3.44
Wenzel_16/abaababaab-aababaabaabab.srs.xml 11772182 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.68/2.63
Wenzel_16/abaababaab-ababaabaababa.srs.xml 11772227 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.2/3.13
Wenzel_16/abaabababa-aababababaab.srs.xml 11772142 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.87/1.92
Wenzel_16/abaabababa-aababababaabab.srs.xml 11772139 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.98/2.92
Wenzel_16/abaabababa-aabababababaab.srs.xml 11772266 timeout (wallclock) [out] ERROR 759.80/294.43 MAYBE 1.93/1.93
Wenzel_16/abaababababa-aabababababaab.srs.xml 11772226 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.17/2.06
Wenzel_16/ababaaaa-aaaaababaaabab.srs.xml 11772239 timeout (wallclock) [out] ERROR 664.04/298.17 MAYBE 1.91/1.89
Wenzel_16/ababaaaa-aaaaababaabab.srs.xml 11772110 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.51/2.49
Wenzel_16/ababaaaaa-aaaaaababaabab.srs.xml 11772098 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.06/2.37
Wenzel_16/ababaaaaa-aaaaaababab.srs.xml 11772276 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.54/1.41
Wenzel_16/ababaaaaa-aaaaaabababab.srs.xml 11772223 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.77/2.17
Wenzel_16/ababaaaaaaa-aaaaaaaababab.srs.xml 11772209 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 5.12/4.01
Wenzel_16/ababaaba-abaababababaab.srs.xml 11772102 timeout (wallclock) [out] ERROR 758.27/297.99 MAYBE 2.04/2.01
Wenzel_16/ababaabaaba-aabaabaababab.srs.xml 11772197 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.07/1.97
Wenzel_16/ababaabaaba-abaabaabaabab.srs.xml 11772229 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.47/2.37
Wenzel_16/ababaababa-aababababaabab.srs.xml 11772271 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.07/2.00
Wenzel_16/ababaababa-abaabababaab.srs.xml 11772278 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.44/1.48
Wenzel_16/ababaababa-abaabababaabab.srs.xml 11772087 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.49/3.43
Wenzel_16/ababaababa-abaababababaab.srs.xml 11772205 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.49/2.42
Wenzel_16/ababaabababa-aabababaababab.srs.xml 11772185 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.17/2.00
Wenzel_16/ababaabababa-abaababababaab.srs.xml 11772100 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.63/2.52
Wenzel_16/abababaaaaa-aaaaaabababab.srs.xml 11772171 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.84/3.23
Wenzel_16/abababaaab-aaabaaabababab.srs.xml 11772082 CERTIFIED YES 134.33/34.72 (CERTIFIED 0.19) timeout (wallclock) [out] MAYBE 3.36/3.19
Wenzel_16/abababaab-aabaabababab.srs.xml 11772112 timeout (wallclock) [out] CERTIFIED YES 134.55/38.74 (CERTIFIED 0.36) MAYBE 2.02/2.05
Wenzel_16/abababaab-aababaabababab.srs.xml 11772114 CERTIFIED YES 164.86/41.43 (CERTIFIED 0.49) timeout (wallclock) [out] MAYBE 2.47/2.49
Wenzel_16/abababaababa-aababaabababab.srs.xml 11772074 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.26/2.09
Wenzel_16/abababaababa-abaababaababab.srs.xml 11772238 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.63/2.48
Wenzel_16/abababaababa-ababaababaabab.srs.xml 11772232 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.34/3.18
Wenzel_16/abababaababa-ababaabababaab.srs.xml 11772176 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.46/3.32
Wenzel_16/abababbabab-ababbabababba.srs.xml 11772173 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.89/1.90
Wenzel_16/ababbabab-abbababababba.srs.xml 11772148 timeout (wallclock) [out] ERROR 773.20/297.37 MAYBE 1.51/1.53
Wenzel_16/ababbabab-abbabababba.srs.xml 11772202 timeout (wallclock) [out] ERROR 670.79/295.58 MAYBE 1.26/1.31
Wenzel_16/ababbababab-abbababababba.srs.xml 11772073 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.14/2.13
Wenzel_16/ababbbabbab-abbabbbababbba.srs.xml 11772121 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.38/2.36
Wenzel_16/abacaaaa-aaaaabacaaabac.srs.xml 11772159 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 4.73/4.64
Wenzel_16/abacaaaa-aaaaabacaabac.srs.xml 11772251 CERTIFIED YES 51.50/13.41 (CERTIFIED 0.21) timeout (wallclock) [out] MAYBE 6.32/6.23
Wenzel_16/abacaaaaa-aaaaaabacaabac.srs.xml 11772183 timeout (wallclock) [out] ERROR 774.42/298.93 MAYBE 7.31/7.02
Wenzel_16/abacaaaaa-aaaaaabacabac.srs.xml 11772107 timeout (wallclock) [out] ERROR 976.55/299.19 MAYBE 6.85/6.37
Wenzel_16/abacaabaca-aabacabacaabac.srs.xml 11772079 timeout (wallclock) [out] ERROR 824.68/299.61 MAYBE 19.8/19.37
Wenzel_16/abacababab-ababababacabac.srs.xml 11772222 timeout (wallclock) [out] ERROR 857.20/292.92 MAYBE 15.91/15.32
Wenzel_16/abbaaaa-aaaaabbaabb.srs.xml 11772243 CERTIFIED YES 157.27/27.20 (CERTIFIED 0.17) timeout (wallclock) [out] MAYBE 1.5/1.41
Wenzel_16/abbaaaa-aaaaabbaabbabb.srs.xml 11772143 CERTIFIED YES 178.32/43.91 (CERTIFIED 0.33) timeout (wallclock) [out] MAYBE 2.16/2.07
Wenzel_16/abbaaaa-aaaaabbabbaabb.srs.xml 11772264 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.04/2.76
Wenzel_16/abbaaaaa-aaaaaabbaaaabb.srs.xml 11772175 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.04/1.81
Wenzel_16/abbaaaaa-aaaaaabbaaabb.srs.xml 11772213 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.68/2.43
Wenzel_16/abbaaaaa-aaaaaabbabb.srs.xml 11772059 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.74/2.88
Wenzel_16/abbaaaaa-aaaaaabbabbabb.srs.xml 11772099 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 6.7/5.12
Wenzel_16/abbaaaaaa-aaaaaaabbaaabb.srs.xml 11772120 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 4.07/3.38
Wenzel_16/abbaaaaaaa-aaaaaaaaabbabb.srs.xml 11772211 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 25.23/17.35
Wenzel_16/abbaaaaaaa-aaaaaaaabbaabb.srs.xml 11772083 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 11.87/8.32
Wenzel_16/abbaaaaaaa-aaaaaaaabbabb.srs.xml 11772165 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 22.4/15.55
Wenzel_16/abbaaaabaa-abaaaabbaaaab.srs.xml 11772180 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.29/2.92
Wenzel_16/abbaaba-abaabbaab.srs.xml 11772272 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.75/0.83
Wenzel_16/abbaababab-ababababbaabba.srs.xml 11772101 CERTIFIED YES 131.49/33.93 (CERTIFIED 0.22) timeout (wallclock) [out] MAYBE 2.85/2.57
Wenzel_16/abbaabbaaba-abaabbaabbaab.srs.xml 11772246 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 4.65/3.78
Wenzel_16/abbabbaaaaa-aaaaaabbabbabb.srs.xml 11772062 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 52.81/36.94
Wenzel_16/abbabbbbabb-abbbbabbabbbba.srs.xml 11772245 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.89/1.87
Wenzel_16/abbbaaaa-aaaaabbbaaabbb.srs.xml 11772125 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 5.44/4.32
Wenzel_16/abbbaaaa-aaaaabbbaabbb.srs.xml 11772075 CERTIFIED YES 46.83/12.23 (CERTIFIED 0.19) timeout (wallclock) [out] MAYBE 5.54/4.12
Wenzel_16/abbbaaaaa-aaaaaabbbaabbb.srs.xml 11772097 timeout (wallclock) [out] ERROR 708.50/296.15 MAYBE 23.22/16.25
Wenzel_16/abbbaaaaa-aaaaaabbbabbb.srs.xml 11772195 timeout (wallclock) [out] ERROR 764.35/294.11 MAYBE 54.53/37.50
Wenzel_16/abbcaaaa-aaaaabbcaaabbc.srs.xml 11772254 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 12.02/9.85
Wenzel_16/abbcaaaa-aaaaabbcaabbc.srs.xml 11772282 CERTIFIED YES 95.24/12.41 (CERTIFIED 0.20) timeout (wallclock) [out] MAYBE 14.28/11.05
Wenzel_16/abbcaaaaa-aaaaaabbcaabbc.srs.xml 11772184 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 53.13/38.16
Wenzel_16/abbcaaaaa-aaaaaabbcabbc.srs.xml 11772086 timeout (wallclock) [out] ERROR 802.25/298.37 MAYBE 137.1/100.14
Wenzel_16/abbcaabbca-aabbcabbcaabbc.srs.xml 11772153 timeout (wallclock) [out] ERROR 802.99/292.00 MAYBE 34.67/27.62
Wenzel_16/abbcacabca-abcacabbcacab.srs.xml 11772200 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 22.77/20.73
Wenzel_16/abcabbcab-abbcabcabbca.srs.xml 11772269 CERTIFIED YES 44.21/11.53 (CERTIFIED 0.16) CERTIFIED YES 810.44/206.70 (CERTIFIED 0.40) MAYBE 9.04/8.70
Wenzel_16/abcbaaaa-aaaaabcbaaabcb.srs.xml 11772117 CERTIFIED YES 177.17/45.56 (CERTIFIED 0.43) timeout (wallclock) [out] MAYBE 10.33/9.05
Wenzel_16/abcbaaaa-aaaaabcbaabcb.srs.xml 11772179 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 12.82/11.05
Wenzel_16/abcbaaaaa-aaaaaabcbaabcb.srs.xml 11772212 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 36.58/28.25
Wenzel_16/abcbaaaaa-aaaaaabcbabcb.srs.xml 11772060 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 76.3/55.67
Wenzel_16/abcbaabcba-aabcbabcbaabcb.srs.xml 11772119 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 26.6/24.87
Wenzel_16/abccaaaa-aaaaabccaaabcc.srs.xml 11772198 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 18.17/12.61
Wenzel_16/abccaaaa-aaaaabccaabcc.srs.xml 11772157 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 17.72/14.81
Wenzel_16/abccaaaaa-aaaaaabccaabcc.srs.xml 11772071 timeout (wallclock) [out] ERROR 810.90/298.54 MAYBE 50.14/36.93
Wenzel_16/abccaaaaa-aaaaaabccabcc.srs.xml 11772187 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 115.7/83.26
Wenzel_16/acbabacba-abacbacbabac.srs.xml 11772134 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 15.19/14.09
Wenzel_16/baaabbaaab-aaabbaaabaaabb.srs.xml 11772193 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 8.67/6.67
Wenzel_16/baabaabbaab-aabbaabaabaabb.srs.xml 11772076 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 7.78/6.16
Wenzel_16/baababaaab-ababaaababaab.srs.xml 11772275 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.79/1.68
Wenzel_16/baababaab-ababaabaabab.srs.xml 11772164 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.98/1.95
Wenzel_16/baabababba-abababbaababab.srs.xml 11772219 CERTIFIED YES 129.44/30.03 (CERTIFIED 0.15) timeout (wallclock) [out] MAYBE 2.33/2.05
Wenzel_16/baabbaaaab-aabbaaaabbaab.srs.xml 11772105 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 10.48/7.69
Wenzel_16/baabbaaaabb-aabbaaaabbaabb.srs.xml 11772267 timeout (wallclock) [out] ERROR 670.19/299.11 MAYBE 26.93/19.31
Wenzel_16/baabbaab-aabbaabaabaabb.srs.xml 11772067 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.97/2.75
Wenzel_16/baabbaab-aabbaabaabb.srs.xml 11772128 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.31/2.14
Wenzel_16/baabbaaba-aabbaabaabba.srs.xml 11772204 CERTIFIED YES 94.20/23.28 (CERTIFIED 0.18) timeout (wallclock) [out] MAYBE 3.41/3.06
Wenzel_16/baabbaabaab-aabbaabaabbaab.srs.xml 11772152 CERTIFIED YES 184.66/47.41 (CERTIFIED 1.20) timeout (wallclock) [out] MAYBE 9.58/7.15
Wenzel_16/babaaaaaa-aaaaaaababbab.srs.xml 11772135 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 8.39/4.58
Wenzel_16/babaaaaaa-aaaaaababbaba.srs.xml 11772168 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 5.41/4.17
Wenzel_16/babaaaaaaa-aaaaaaaababbab.srs.xml 11772095 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 15.17/11.02
Wenzel_16/babaaaaaaa-aaaaaaababbaba.srs.xml 11772068 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 11.58/8.47
Wenzel_16/bababaa-aaaaaababababa.srs.xml 11772242 timeout (wallclock) [out] ERROR 654.69/297.40 MAYBE 1.57/1.53
Wenzel_16/bababaa-aaaaababababa.srs.xml 11772126 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.01/1.06
Wenzel_16/bababaa-aaaababababa.srs.xml 11772138 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.08/1.13
Wenzel_16/bababaaab-aabaaabababab.srs.xml 11772201 timeout (wallclock) [out] CERTIFIED YES 110.97/29.20 (CERTIFIED 0.29) MAYBE 1.83/1.77
Wenzel_16/bababaaaba-aabaaababababa.srs.xml 11772250 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.21/2.08
Wenzel_16/bababaaba-ababaababababa.srs.xml 11772216 CERTIFIED YES 207.36/53.29 (CERTIFIED 0.85) timeout (wallclock) [out] MAYBE 1.84/1.89
Wenzel_16/babababaa-aaaabababababa.srs.xml 11772156 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.91/1.91
Wenzel_16/babababaa-aaabababababa.srs.xml 11772258 timeout (wallclock) [out] ERROR 995.51/292.12 MAYBE 1.23/1.25
Wenzel_16/bababababaa-aababababababa.srs.xml 11772132 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.65/1.63
Wenzel_16/bababbababa-abababbababba.srs.xml 11772217 CERTIFIED YES 89.05/22.39 (CERTIFIED 0.19) CERTIFIED YES 133.24/39.59 (CERTIFIED 0.15) MAYBE 3.32/3.25
Wenzel_16/babbaabba-abbaabbabba.srs.xml 11772150 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.73/1.55
Wenzel_16/babbabbaba-abababbabbabba.srs.xml 11772116 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.95/3.72
Wenzel_16/babbabbaba-ababbabbabba.srs.xml 11772279 timeout (wallclock) [out] CERTIFIED YES 210.30/54.18 (CERTIFIED 0.41) MAYBE 3.16/3.07
Wenzel_16/babbabbababa-abababbabbabba.srs.xml 11772124 CERTIFIED YES 99.88/25.80 (CERTIFIED 0.20) timeout (wallclock) [out] MAYBE 5.35/4.74
Wenzel_16/bacaaaaaa-aaaaaaabacbac.srs.xml 11772077 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 14.21/10.85
Wenzel_16/bacaaaaaa-aaaaaabacbaca.srs.xml 11772111 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 12.01/9.45
Wenzel_16/bacaaaaaaa-aaaaaaaabacbac.srs.xml 11772270 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 28.56/20.83
Wenzel_16/bacaaaaaaa-aaaaaaabacbaca.srs.xml 11772236 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 25.03/18.94
Wenzel_16/bbcaaaaaa-aaaaaaabbcbbc.srs.xml 11772151 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bbcaaaaaa-aaaaaabbcbbca.srs.xml 11772131 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bbcaaaaaaa-aaaaaaaabbcbbc.srs.xml 11772133 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bbcaaaaaaa-aaaaaaabbcbbca.srs.xml 11772155 timeout (wallclock) [out] ERROR 784.77/297.43 timeout (wallclock) [out]
Wenzel_16/bcbaaaaaa-aaaaaaabcbbcb.srs.xml 11772181 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bcbaaaaaa-aaaaaabcbbcba.srs.xml 11772091 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bcbaaaaaaa-aaaaaaaabcbbcb.srs.xml 11772160 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bcbaaaaaaa-aaaaaaabcbbcba.srs.xml 11772244 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bccaaaaaa-aaaaaaabccbcc.srs.xml 11772234 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bccaaaaaa-aaaaaabccbcca.srs.xml 11772154 timeout (wallclock) [out] ERROR 683.89/292.35 timeout (wallclock) [out]
Wenzel_16/bccaaaaaaa-aaaaaaaabccbcc.srs.xml 11772206 timeout (wallclock) [out] ERROR 711.18/292.39 timeout (wallclock) [out]
Wenzel_16/bccaaaaaaa-aaaaaaabccbcca.srs.xml 11772061 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/caabccaabc-aabccaabcaabcc.srs.xml 11772063 timeout (wallclock) [out] ERROR 800.63/299.17 MAYBE 297.69/220.37
Wenzel_16/cabababa-ababababccccca.srs.xml 11772104 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 41.68/31.45
Wenzel_16/cababababa-abababababccca.srs.xml 11772280 timeout (wallclock) [out] ERROR 787.32/298.28 MAYBE 24.69/20.16
Gebhardt_06/01.xml 11773551 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.03/0.26
Gebhardt_06/02.xml 11773535 timeout (wallclock) [out] CERTIFIED YES 1132.66/289.48 (CERTIFIED 0.14) MAYBE 0.03/0.20
Gebhardt_06/03.xml 11773538 timeout (wallclock) [out] CERTIFIED NO 11.24/3.57 (CERTIFIED 0.11) MAYBE 0.03/0.31
Gebhardt_06/04.xml 11773539 timeout (wallclock) [out] CERTIFIED YES 23.68/6.84 (CERTIFIED 0.10) MAYBE 0.03/0.57
Gebhardt_06/05.xml 11773534 timeout (wallclock) [out] CERTIFIED NO 28.09/7.88 (CERTIFIED 0.17) MAYBE 0.03/0.34
Gebhardt_06/06.xml 11773552 timeout (wallclock) [out] CERTIFIED NO 1054.34/267.13 (CERTIFIED 0.23) MAYBE 0.03/0.29
Gebhardt_06/07.xml 11773547 timeout (wallclock) [out] CERTIFIED YES 14.72/4.47 (CERTIFIED 0.07) MAYBE 0.03/0.36
Gebhardt_06/08.xml 11773553 timeout (wallclock) [out] CERTIFIED NO 11.89/3.86 (CERTIFIED 0.12) MAYBE 0.03/0.37
Gebhardt_06/09.xml 11773546 timeout (wallclock) [out] CERTIFIED YES 242.60/62.51 (CERTIFIED 0.11) MAYBE 0.04/0.27
Gebhardt_06/10.xml 11773550 timeout (wallclock) [out] ERROR 1141.22/291.85 MAYBE 0.05/0.35
Gebhardt_06/11.xml 11773543 timeout (wallclock) [out] CERTIFIED YES 12.65/4.05 (CERTIFIED 0.09) MAYBE 0.04/0.36
Gebhardt_06/12.xml 11773541 timeout (wallclock) [out] CERTIFIED NO 21.73/6.31 (CERTIFIED 0.19) MAYBE 0.04/0.35
Gebhardt_06/13.xml 11773536 timeout (wallclock) [out] ERROR 1141.53/291.73 MAYBE 0.05/0.40
Gebhardt_06/14.xml 11773537 timeout (wallclock) [out] CERTIFIED YES 16.60/5.00 (CERTIFIED 0.08) MAYBE 0.05/0.29
Gebhardt_06/15.xml 11773540 timeout (wallclock) [out] CERTIFIED NO 38.93/10.68 (CERTIFIED 0.17) MAYBE 0.05/0.35
Gebhardt_06/16.xml 11773544 timeout (wallclock) [out] CERTIFIED YES 15.48/4.67 (CERTIFIED 0.06) MAYBE 0.03/0.35
Gebhardt_06/17.xml 11773549 timeout (wallclock) [out] CERTIFIED YES 22.57/6.49 (CERTIFIED 0.10) MAYBE 0.03/0.40
Gebhardt_06/18.xml 11773545 timeout (wallclock) [out] CERTIFIED YES 259.60/66.96 (CERTIFIED 0.13) MAYBE 0.07/0.39
Gebhardt_06/19.xml 11773548 timeout (wallclock) [out] ERROR 1139.36/291.86 MAYBE 0.76/0.79
Gebhardt_06/20.xml 11773542 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.0/1.03
Secret_06_SRS/1-matchbox.xml 11773397 timeout (wallclock) [out] CERTIFIED NO 211.61/54.73 (CERTIFIED 0.11) MAYBE 0.06/0.19
Secret_06_SRS/1.xml 11773381 timeout (wallclock) [out] ERROR 1147.83/291.77 MAYBE 0.05/0.36
Secret_06_SRS/10.xml 11773379 CERTIFIED YES 9.21/2.57 (CERTIFIED 0.08) CERTIFIED YES 13.61/4.16 (CERTIFIED 0.07) MAYBE 0.02/0.12
Secret_06_SRS/2-matchbox.xml 11773399 CERTIFIED YES 21.90/5.69 (CERTIFIED 0.97) CERTIFIED YES 257.82/66.33 (CERTIFIED 4.34) CERTIFIED YES 1.58/1.38 (CERTIFIED 0.21)
Secret_06_SRS/2.xml 11773385 CERTIFIED YES 134.87/31.22 (CERTIFIED 0.18) CERTIFIED YES 19.93/5.88 (CERTIFIED 0.20) MAYBE 0.05/0.30
Secret_06_SRS/3-matchbox.xml 11773406 CERTIFIED YES 13.77/3.72 (CERTIFIED 0.12) CERTIFIED YES 26.70/7.54 (CERTIFIED 0.25) CERTIFIED YES 0.61/0.77 (CERTIFIED 0.27)
Secret_06_SRS/3.xml 11773394 timeout (wallclock) [out] CERTIFIED YES 397.50/101.62 (CERTIFIED 0.38) MAYBE 0.06/0.25
Secret_06_SRS/5-matchbox.xml 11773396 CERTIFIED YES 58.79/15.34 (CERTIFIED 0.13) CERTIFIED YES 12.38/3.95 (CERTIFIED 0.57) MAYBE 0.04/0.22
Secret_06_SRS/5.xml 11773384 CERTIFIED YES 102.35/26.41 (CERTIFIED 0.25) CERTIFIED YES 41.47/11.25 (CERTIFIED 0.31) MAYBE 0.12/0.43
Secret_06_SRS/6.xml 11773382 CERTIFIED YES 9.52/2.66 (CERTIFIED 0.07) CERTIFIED YES 15.67/4.72 (CERTIFIED 0.28) MAYBE 1.19/1.24
Secret_06_SRS/7.xml 11773375 CERTIFIED YES 27.07/7.14 (CERTIFIED 0.08) CERTIFIED YES 11.64/3.76 (CERTIFIED 0.06) MAYBE 0.03/0.16
Secret_06_SRS/8.xml 11773383 CERTIFIED YES 8.45/2.39 (CERTIFIED 0.07) CERTIFIED YES 29.32/8.19 (CERTIFIED 0.15) MAYBE 1.07/1.09
Secret_06_SRS/9.xml 11773374 CERTIFIED YES 11.36/3.15 (CERTIFIED 0.09) CERTIFIED YES 13.04/4.04 (CERTIFIED 0.07) MAYBE 0.03/0.16
Secret_06_SRS/aprove00.xml 11773400 CERTIFIED YES 24.25/6.43 (CERTIFIED 0.17) CERTIFIED YES 12.71/4.08 (CERTIFIED 0.16) CERTIFIED YES 0.05/0.17 (CERTIFIED 0.24)
Secret_06_SRS/aprove01.xml 11773393 CERTIFIED YES 29.55/7.78 (CERTIFIED 0.28) CERTIFIED YES 13.31/4.13 (CERTIFIED 0.27) MAYBE 0.06/0.31
Secret_06_SRS/aprove02.xml 11773378 CERTIFIED YES 29.14/7.68 (CERTIFIED 0.27) CERTIFIED YES 22.28/6.54 (CERTIFIED 0.25) MAYBE 0.11/0.48
Secret_06_SRS/aprove03.xml 11773369 CERTIFIED YES 26.40/7.00 (CERTIFIED 0.45) CERTIFIED YES 18.39/5.55 (CERTIFIED 0.47) MAYBE 0.05/0.20
Secret_06_SRS/aprove04.xml 11773368 CERTIFIED YES 66.40/17.96 (CERTIFIED 1.15) CERTIFIED YES 16.83/5.10 (CERTIFIED 0.59) MAYBE 0.16/0.50
Secret_06_SRS/aprove05.xml 11773380 CERTIFIED YES 27.26/6.31 (CERTIFIED 0.49) CERTIFIED YES 14.72/4.66 (CERTIFIED 0.46) MAYBE 0.05/0.16
Secret_06_SRS/aprove06.xml 11773391 CERTIFIED YES 47.70/12.37 (CERTIFIED 0.75) CERTIFIED YES 53.54/14.69 (CERTIFIED 0.51) MAYBE 0.53/0.60
Secret_06_SRS/aprove07.xml 11773401 CERTIFIED YES 48.47/12.62 (CERTIFIED 0.41) CERTIFIED YES 22.71/6.59 (CERTIFIED 0.38) timeout (wallclock) [out]
Secret_06_SRS/aprove08.xml 11773390 CERTIFIED YES 78.92/20.60 (CERTIFIED 0.49) CERTIFIED YES 21.81/6.49 (CERTIFIED 0.24) MAYBE 0.63/0.63
Secret_06_SRS/aprove09.xml 11773403 CERTIFIED YES 23.73/6.30 (CERTIFIED 0.19) CERTIFIED YES 9.43/3.14 (CERTIFIED 0.17) MAYBE 0.04/0.18
Secret_06_SRS/multum1.xml 11773371 CERTIFIED YES 15.68/4.24 (CERTIFIED 0.06) CERTIFIED YES 217.68/56.06 (CERTIFIED 0.09) MAYBE 0.56/0.59
Secret_06_SRS/multum2.xml 11773405 CERTIFIED YES 6.61/1.96 (CERTIFIED 0.12) CERTIFIED YES 52.41/14.12 (CERTIFIED 0.28) MAYBE 0.06/0.28
Secret_06_SRS/multum3.xml 11773387 CERTIFIED YES 10.99/3.08 (CERTIFIED 0.11) CERTIFIED YES 16.55/4.93 (CERTIFIED 0.08) MAYBE 0.07/0.33
Secret_06_SRS/multum4.xml 11773389 CERTIFIED YES 19.19/5.13 (CERTIFIED 0.11) timeout (wallclock) [out] MAYBE 23.54/18.22
Secret_06_SRS/multum5.xml 11773402 CERTIFIED YES 5.28/1.57 (CERTIFIED 0.09) CERTIFIED YES 18.45/5.42 (CERTIFIED 0.11) MAYBE 0.04/0.50
Secret_06_SRS/multum6.xml 11773373 CERTIFIED YES 16.97/4.55 (CERTIFIED 0.20) CERTIFIED YES 17.99/5.32 (CERTIFIED 0.17) MAYBE 0.84/0.82
Secret_06_SRS/secr1.xml 11773388 CERTIFIED YES 12.24/3.22 (CERTIFIED 0.10) CERTIFIED YES 7.96/2.76 (CERTIFIED 0.46) MAYBE 0.04/0.12
Secret_06_SRS/secr10.xml 11773395 CERTIFIED YES 30.91/8.13 (CERTIFIED 0.27) CERTIFIED YES 13.86/4.35 (CERTIFIED 0.16) MAYBE 0.73/0.77
Secret_06_SRS/secr2.xml 11773376 CERTIFIED YES 17.63/4.89 (CERTIFIED 0.14) CERTIFIED YES 10.97/3.61 (CERTIFIED 0.18) MAYBE 0.04/0.16
Secret_06_SRS/secr3.xml 11773372 timeout (wallclock) [out] CERTIFIED YES 10.28/3.43 (CERTIFIED 0.17) MAYBE 0.54/0.59
Secret_06_SRS/secr4.xml 11773370 CERTIFIED YES 9.91/2.71 (CERTIFIED 0.08) CERTIFIED YES 35.50/9.81 (CERTIFIED 0.40) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.17)
Secret_06_SRS/secr5.xml 11773377 timeout (wallclock) [out] CERTIFIED YES 142.27/38.11 (CERTIFIED 4.05) MAYBE 0.05/0.33
Secret_06_SRS/secr6.xml 11773386 CERTIFIED YES 30.21/7.94 (CERTIFIED 0.15) CERTIFIED YES 17.37/5.22 (CERTIFIED 0.13) MAYBE 0.24/0.53
Secret_06_SRS/secr7.xml 11773404 CERTIFIED YES 25.92/7.15 (CERTIFIED 0.10) CERTIFIED YES 16.85/5.21 (CERTIFIED 1.37) MAYBE 0.03/0.11
Secret_06_SRS/secr8.xml 11773392 CERTIFIED YES 38.32/10.09 (CERTIFIED 0.21) CERTIFIED YES 25.04/9.21 (CERTIFIED 0.21) MAYBE 0.04/0.19
Secret_06_SRS/secr9.xml 11773398 CERTIFIED YES 40.88/10.69 (CERTIFIED 0.31) CERTIFIED YES 24.23/7.00 (CERTIFIED 0.40) MAYBE 0.05/0.32
Zantema_04/syracuse.xml 11773448 timeout (wallclock) [out] ERROR 1144.14/292.12 MAYBE 0.51/0.62
Zantema_04/z001.xml 11773475 CERTIFIED YES 22.70/6.09 (CERTIFIED 9.62) CERTIFIED YES 48.34/12.99 (CERTIFIED 0.65) MAYBE 0.09/0.32
Zantema_04/z002.xml 11773456 CERTIFIED YES 5.22/1.56 (CERTIFIED 0.12) CERTIFIED YES 4.45/1.78 (CERTIFIED 0.08) CERTIFIED YES 0.06/0.20 (CERTIFIED 0.10)
Zantema_04/z003.xml 11773434 CERTIFIED YES 7.56/2.15 (CERTIFIED 0.14) CERTIFIED YES 10.37/3.35 (CERTIFIED 0.10) MAYBE 0.05/0.27
Zantema_04/z004.xml 11773430 CERTIFIED YES 7.44/2.12 (CERTIFIED 0.11) CERTIFIED YES 8.96/3.03 (CERTIFIED 0.05) CERTIFIED YES 0.03/0.16 (CERTIFIED 0.09)
Zantema_04/z005.xml 11773457 CERTIFIED YES 21.42/5.69 (CERTIFIED 0.08) CERTIFIED YES 9.27/3.11 (CERTIFIED 0.48) CERTIFIED YES 0.06/0.22 (CERTIFIED 0.14)
Zantema_04/z006.xml 11773472 CERTIFIED YES 1.84/0.69 (CERTIFIED 0.10) CERTIFIED YES 9.66/3.18 (CERTIFIED 0.05) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.05)
Zantema_04/z007.xml 11773514 CERTIFIED YES 2.59/0.89 (CERTIFIED 0.08) CERTIFIED YES 5.76/2.20 (CERTIFIED 0.05) CERTIFIED YES 0.01/0.01 (CERTIFIED 0.06)
Zantema_04/z008.xml 11773470 CERTIFIED YES 14.75/3.99 (CERTIFIED 0.12) CERTIFIED YES 12.98/4.12 (CERTIFIED 0.22) CERTIFIED YES 0.59/0.62 (CERTIFIED 0.21)
Zantema_04/z009.xml 11773516 CERTIFIED YES 2.35/0.82 (CERTIFIED 0.09) CERTIFIED YES 8.73/2.94 (CERTIFIED 0.07) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.09)
Zantema_04/z010.xml 11773497 CERTIFIED YES 2.74/0.91 (CERTIFIED 0.07) CERTIFIED YES 9.39/3.13 (CERTIFIED 0.04) CERTIFIED YES 0.01/0.01 (CERTIFIED 0.04)
Zantema_04/z011.xml 11773522 CERTIFIED YES 5.19/1.54 (CERTIFIED 0.15) CERTIFIED YES 8.66/2.95 (CERTIFIED 0.09) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.13)
Zantema_04/z012.xml 11773409 CERTIFIED YES 0.93/0.45 (CERTIFIED 0.04) CERTIFIED YES 9.85/4.53 (CERTIFIED 0.05) CERTIFIED YES 0.01/0.02 (CERTIFIED 0.06)
Zantema_04/z013.xml 11773449 CERTIFIED YES 6.82/1.95 (CERTIFIED 0.19) CERTIFIED YES 9.11/3.04 (CERTIFIED 0.49) CERTIFIED YES 0.03/0.10 (CERTIFIED 0.15)
Zantema_04/z014.xml 11773446 CERTIFIED YES 4.70/1.42 (CERTIFIED 0.17) CERTIFIED YES 9.02/2.99 (CERTIFIED 0.05) CERTIFIED YES 0.01/0.02 (CERTIFIED 0.06)
Zantema_04/z015.xml 11773410 CERTIFIED YES 5.10/1.52 (CERTIFIED 0.15) CERTIFIED YES 8.39/2.86 (CERTIFIED 0.06) CERTIFIED YES 0.04/0.10 (CERTIFIED 0.17)
Zantema_04/z017.xml 11773498 CERTIFIED YES 4.00/1.24 (CERTIFIED 0.10) CERTIFIED YES 7.39/2.57 (CERTIFIED 0.05) CERTIFIED YES 0.01/0.02 (CERTIFIED 0.07)
Zantema_04/z018.xml 11773520 CERTIFIED YES 7.45/2.13 (CERTIFIED 0.10) CERTIFIED YES 10.60/3.51 (CERTIFIED 0.09) CERTIFIED YES 0.03/0.12 (CERTIFIED 0.13)
Zantema_04/z019.xml 11773499 CERTIFIED YES 2.74/0.92 (CERTIFIED 0.07) CERTIFIED YES 13.03/4.72 (CERTIFIED 0.08) CERTIFIED YES 0.03/0.11 (CERTIFIED 0.16)
Zantema_04/z020.xml 11773412 CERTIFIED YES 10.22/2.83 (CERTIFIED 0.06) CERTIFIED YES 10.68/3.43 (CERTIFIED 0.10) CERTIFIED YES 0.01/0.02 (CERTIFIED 0.09)
Zantema_04/z021.xml 11773444 CERTIFIED YES 3.40/1.09 (CERTIFIED 0.07) CERTIFIED YES 7.98/2.76 (CERTIFIED 0.07) CERTIFIED YES 0.03/0.11 (CERTIFIED 0.12)
Zantema_04/z022.xml 11773491 CERTIFIED YES 4.52/1.37 (CERTIFIED 0.08) CERTIFIED YES 11.84/3.76 (CERTIFIED 0.10) CERTIFIED YES 0.02/0.04 (CERTIFIED 0.20)
Zantema_04/z023.xml 11773527 CERTIFIED YES 4.59/1.39 (CERTIFIED 0.07) CERTIFIED YES 19.53/5.72 (CERTIFIED 1.27) CERTIFIED YES 0.06/0.20 (CERTIFIED 0.15)
Zantema_04/z024.xml 11773526 CERTIFIED YES 3.97/1.24 (CERTIFIED 0.06) CERTIFIED YES 6.13/2.54 (CERTIFIED 0.12) CERTIFIED YES 0.03/0.22 (CERTIFIED 0.16)
Zantema_04/z025.xml 11773496 CERTIFIED YES 0.74/0.40 (CERTIFIED 0.05) CERTIFIED YES 6.99/2.66 (CERTIFIED 0.03) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.08)
Zantema_04/z026.xml 11773443 CERTIFIED YES 0.65/0.38 (CERTIFIED 0.05) CERTIFIED YES 16.02/2.79 (CERTIFIED 0.02) CERTIFIED YES 0.01/0.01 (CERTIFIED 0.04)
Zantema_04/z027.xml 11773415 CERTIFIED YES 22.35/5.93 (CERTIFIED 7.97) timeout (wallclock) [out] MAYBE 0.04/0.35
Zantema_04/z028.xml 11773441 CERTIFIED YES 38.16/9.98 (CERTIFIED 0.16) CERTIFIED YES 23.96/6.92 (CERTIFIED 0.10) MAYBE 0.91/0.95
Zantema_04/z029.xml 11773418 CERTIFIED YES 23.37/6.19 (CERTIFIED 10.47) timeout (wallclock) [out] MAYBE 0.07/0.51
Zantema_04/z030.xml 11773460 CERTIFIED YES 23.42/6.21 (CERTIFIED 10.59) CERTIFIED YES 680.03/195.47 (CERTIFIED 0.25) MAYBE 0.54/0.58
Zantema_04/z031.xml 11773428 CERTIFIED YES 24.14/8.22 (CERTIFIED 20.91) CERTIFIED YES 213.33/54.83 (CERTIFIED 0.99) MAYBE 6.49/4.96
Zantema_04/z032.xml 11773507 CERTIFIED YES 22.84/6.06 (CERTIFIED 3.99) CERTIFIED YES 117.91/31.24 (CERTIFIED 0.11) MAYBE 0.59/0.65
Zantema_04/z033.xml 11773479 CERTIFIED YES 9.05/2.55 (CERTIFIED 0.09) CERTIFIED YES 9.64/3.33 (CERTIFIED 0.21) CERTIFIED YES 0.08/0.39 (CERTIFIED 0.11)
Zantema_04/z034.xml 11773478 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.37
Zantema_04/z035.xml 11773512 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.45
Zantema_04/z036.xml 11773427 CERTIFIED YES 28.96/7.65 (CERTIFIED 0.12) CERTIFIED YES 21.67/6.48 (CERTIFIED 0.11) MAYBE 0.79/0.80
Zantema_04/z037.xml 11773463 CERTIFIED YES 21.91/5.83 (CERTIFIED 1.35) CERTIFIED YES 63.49/16.97 (CERTIFIED 0.14) MAYBE 0.08/0.48
Zantema_04/z038.xml 11773425 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.14/0.49
Zantema_04/z039.xml 11773466 CERTIFIED YES 21.05/5.64 (CERTIFIED 0.47) CERTIFIED YES 12.14/7.69 (CERTIFIED 0.07) MAYBE 4.61/4.08
Zantema_04/z040.xml 11773504 CERTIFIED YES 22.66/5.84 (CERTIFIED 2.72) timeout (wallclock) [out] MAYBE 0.76/0.87
Zantema_04/z041.xml 11773481 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.39
Zantema_04/z042.xml 11773467 CERTIFIED NO 1.18/0.54 (CERTIFIED 0.13) CERTIFIED NO 3.61/1.58 (CERTIFIED 0.05) MAYBE 1.14/1.11
Zantema_04/z043.xml 11773421 CERTIFIED YES 21.54/5.72 (CERTIFIED 1.05) CERTIFIED YES 18.01/5.54 (CERTIFIED 0.65) MAYBE 0.53/0.61
Zantema_04/z044.xml 11773423 CERTIFIED NO 1.06/0.49 (CERTIFIED 0.08) CERTIFIED NO 3.27/1.54 (CERTIFIED 0.04) MAYBE 0.85/0.88
Zantema_04/z045.xml 11773464 CERTIFIED YES 21.32/5.66 (CERTIFIED 0.62) CERTIFIED YES 10.43/3.36 (CERTIFIED 0.62) MAYBE 1.27/1.20
Zantema_04/z046.xml 11773484 CERTIFIED NO 0.90/0.45 (CERTIFIED 0.08) CERTIFIED NO 3.41/1.55 (CERTIFIED 0.04) MAYBE 1.5/1.50
Zantema_04/z047.xml 11773502 CERTIFIED YES 20.65/5.51 (CERTIFIED 0.38) CERTIFIED YES 8.96/3.20 (CERTIFIED 0.13) CERTIFIED YES 0.06/0.24 (CERTIFIED 0.07)
Zantema_04/z048.xml 11773476 CERTIFIED YES 21.37/5.68 (CERTIFIED 0.38) CERTIFIED YES 17.46/5.16 (CERTIFIED 0.06) MAYBE 5.84/5.67
Zantema_04/z049.xml 11773509 CERTIFIED YES 5.18/1.54 (CERTIFIED 0.06) CERTIFIED YES 3.83/1.64 (CERTIFIED 0.03) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.07)
Zantema_04/z050.xml 11773490 CERTIFIED YES 4.21/1.30 (CERTIFIED 0.06) CERTIFIED YES 3.87/1.72 (CERTIFIED 0.03) CERTIFIED YES 0.52/0.55 (CERTIFIED 0.22)
Zantema_04/z051.xml 11773531 CERTIFIED YES 21.26/3.98 (CERTIFIED 0.07) CERTIFIED YES 7.79/2.72 (CERTIFIED 0.10) MAYBE 0.61/0.67
Zantema_04/z052.xml 11773420 CERTIFIED YES 3.91/1.22 (CERTIFIED 0.06) CERTIFIED YES 3.69/1.59 (CERTIFIED 0.03) MAYBE 0.03/0.49
Zantema_04/z053.xml 11773438 CERTIFIED YES 5.62/1.66 (CERTIFIED 0.06) CERTIFIED YES 4.94/1.97 (CERTIFIED 0.05) MAYBE 0.49/0.57
Zantema_04/z054.xml 11773440 CERTIFIED YES 20.96/5.56 (CERTIFIED 0.28) CERTIFIED YES 16.16/4.83 (CERTIFIED 0.21) MAYBE 0.03/0.49
Zantema_04/z055.xml 11773417 CERTIFIED YES 3.32/1.08 (CERTIFIED 0.06) CERTIFIED YES 3.95/1.79 (CERTIFIED 0.03) CERTIFIED YES 0.04/0.29 (CERTIFIED 0.12)
Zantema_04/z056.xml 11773533 CERTIFIED YES 20.91/5.56 (CERTIFIED 0.26) CERTIFIED YES 17.92/5.30 (CERTIFIED 0.07) MAYBE 0.57/0.61
Zantema_04/z057.xml 11773487 CERTIFIED YES 11.10/3.07 (CERTIFIED 0.07) CERTIFIED YES 4.49/1.91 (CERTIFIED 0.05) MAYBE 0.67/0.74
Zantema_04/z058.xml 11773525 CERTIFIED YES 9.39/2.62 (CERTIFIED 0.07) CERTIFIED YES 6.75/2.44 (CERTIFIED 0.05) CERTIFIED YES 0.04/0.31 (CERTIFIED 0.12)
Zantema_04/z059.xml 11773495 CERTIFIED YES 20.79/5.52 (CERTIFIED 0.23) CERTIFIED YES 16.26/4.89 (CERTIFIED 0.09) MAYBE 0.04/0.53
Zantema_04/z060.xml 11773408 CERTIFIED YES 20.39/5.41 (CERTIFIED 0.08) CERTIFIED YES 12.49/3.99 (CERTIFIED 0.10) CERTIFIED YES 0.05/0.32 (CERTIFIED 0.13)
Zantema_04/z061.xml 11773450 CERTIFIED YES 4.18/1.30 (CERTIFIED 0.06) CERTIFIED YES 3.79/1.73 (CERTIFIED 0.03) CERTIFIED YES 0.01/0.01 (CERTIFIED 0.05)
Zantema_04/z062.xml 11773501 CERTIFIED YES 3.90/1.22 (CERTIFIED 0.07) CERTIFIED YES 4.12/1.72 (CERTIFIED 0.03) CERTIFIED YES 0.17/0.42 (CERTIFIED 0.17)
Zantema_04/z063.xml 11773519 CERTIFIED YES 4.58/1.39 (CERTIFIED 0.07) CERTIFIED YES 3.73/1.63 (CERTIFIED 0.04) CERTIFIED YES 0.01/0.01 (CERTIFIED 0.06)
Zantema_04/z064.xml 11773521 CERTIFIED YES 20.84/5.61 (CERTIFIED 0.12) CERTIFIED YES 8.51/2.95 (CERTIFIED 0.10) MAYBE 2.53/2.45
Zantema_04/z065.xml 11773500 CERTIFIED YES 1.33/0.56 (CERTIFIED 0.05) CERTIFIED YES 9.62/3.17 (CERTIFIED 0.14) ERROR 0.01/0.01 ( line 7  character 11: syntax error.)
Zantema_04/z066.xml 11773451 CERTIFIED YES 19.32/5.15 (CERTIFIED 0.25) CERTIFIED YES 13.07/4.14 (CERTIFIED 0.31) CERTIFIED YES 0.06/0.12 (CERTIFIED 0.44)
Zantema_04/z067.xml 11773407 CERTIFIED YES 9.74/2.71 (CERTIFIED 0.12) CERTIFIED YES 17.11/5.15 (CERTIFIED 0.20) CERTIFIED YES 0.06/0.39 (CERTIFIED 0.25)
Zantema_04/z068.xml 11773447 CERTIFIED YES 28.98/7.62 (CERTIFIED 0.23) CERTIFIED YES 18.85/5.63 (CERTIFIED 0.19) MAYBE 0.06/0.30
Zantema_04/z069.xml 11773411 CERTIFIED YES 1.49/0.61 (CERTIFIED 0.17) CERTIFIED YES 12.02/4.01 (CERTIFIED 0.17) CERTIFIED YES 0.04/0.15 (CERTIFIED 0.55)
Zantema_04/z070.xml 11773453 CERTIFIED YES 1.73/0.69 (CERTIFIED 0.18) CERTIFIED YES 13.00/4.05 (CERTIFIED 0.20) CERTIFIED YES 0.04/0.15 (CERTIFIED 0.64)
Zantema_04/z071.xml 11773435 CERTIFIED YES 6.69/1.94 (CERTIFIED 0.13) CERTIFIED YES 9.45/3.14 (CERTIFIED 0.14) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.09)
Zantema_04/z072.xml 11773518 CERTIFIED YES 2.79/0.93 (CERTIFIED 0.10) CERTIFIED YES 10.54/3.42 (CERTIFIED 0.11) CERTIFIED YES 0.03/0.12 (CERTIFIED 0.13)
Zantema_04/z073.xml 11773469 timeout (wallclock) [out] CERTIFIED NO 5.94/2.36 (CERTIFIED 0.08) MAYBE 0.03/0.20
Zantema_04/z074.xml 11773471 CERTIFIED YES 14.95/4.04 (CERTIFIED 0.24) CERTIFIED YES 22.21/6.52 (CERTIFIED 0.36) MAYBE 0.04/0.49
Zantema_04/z075.xml 11773517 CERTIFIED YES 7.38/2.08 (CERTIFIED 0.16) CERTIFIED YES 12.48/3.98 (CERTIFIED 0.20) MAYBE 0.04/0.25
Zantema_04/z076.xml 11773436 CERTIFIED YES 19.26/5.13 (CERTIFIED 0.07) CERTIFIED YES 9.20/3.06 (CERTIFIED 0.06) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.04)
Zantema_04/z077.xml 11773452 CERTIFIED YES 5.28/1.57 (CERTIFIED 0.16) CERTIFIED YES 7.26/2.62 (CERTIFIED 0.05) CERTIFIED YES 0.01/0.01 (CERTIFIED 0.05)
Zantema_04/z078.xml 11773431 CERTIFIED YES 21.23/5.60 (CERTIFIED 0.16) CERTIFIED YES 10.53/3.40 (CERTIFIED 0.09) CERTIFIED YES 0.02/0.04 (CERTIFIED 0.10)
Zantema_04/z079.xml 11773458 timeout (wallclock) [out] ERROR 1153.19/291.90 MAYBE 0.02/0.23
Zantema_04/z080.xml 11773530 CERTIFIED YES 29.15/7.68 (CERTIFIED 0.10) CERTIFIED YES 15.48/4.69 (CERTIFIED 1.17) MAYBE 0.03/0.18
Zantema_04/z081.xml 11773489 CERTIFIED YES 1.65/0.57 (CERTIFIED 0.06) CERTIFIED YES 8.21/2.83 (CERTIFIED 0.08) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.15)
Zantema_04/z082.xml 11773437 CERTIFIED YES 13.67/3.71 (CERTIFIED 0.26) CERTIFIED YES 13.89/4.46 (CERTIFIED 0.27) MAYBE 0.5/0.57
Zantema_04/z083.xml 11773419 CERTIFIED YES 14.88/4.01 (CERTIFIED 0.22) CERTIFIED YES 13.39/4.35 (CERTIFIED 0.24) MAYBE 0.07/0.31
Zantema_04/z084.xml 11773416 CERTIFIED YES 0.73/0.46 (CERTIFIED 0.09) CERTIFIED YES 6.44/2.42 (CERTIFIED 0.04) CERTIFIED YES 0.01/0.02 (CERTIFIED 0.07)
Zantema_04/z085.xml 11773439 CERTIFIED YES 0.73/0.40 (CERTIFIED 0.03) CERTIFIED YES 4.08/1.86 (CERTIFIED 0.02) CERTIFIED YES 0.01/0.01 (CERTIFIED 0.04)
Zantema_04/z086.xml 11773486 CERTIFIED YES 27.94/7.37 (CERTIFIED 0.10) CERTIFIED YES 14.58/4.45 (CERTIFIED 0.10) MAYBE 0.03/0.45
Zantema_04/z087.xml 11773532 CERTIFIED YES 3.46/1.11 (CERTIFIED 0.09) CERTIFIED YES 8.21/2.77 (CERTIFIED 0.10) MAYBE 0.88/0.94
Zantema_04/z088.xml 11773494 CERTIFIED YES 29.18/7.70 (CERTIFIED 0.12) CERTIFIED YES 10.27/3.36 (CERTIFIED 0.31) MAYBE 0.04/0.25
Zantema_04/z089.xml 11773524 CERTIFIED YES 5.74/1.67 (CERTIFIED 0.11) CERTIFIED YES 12.71/3.94 (CERTIFIED 0.12) MAYBE 0.03/0.26
Zantema_04/z090.xml 11773482 timeout (wallclock) [out] CERTIFIED YES 48.51/13.17 (CERTIFIED 3.93) MAYBE 0.05/0.23
Zantema_04/z091.xml 11773505 CERTIFIED YES 26.19/6.92 (CERTIFIED 0.43) CERTIFIED YES 14.20/4.59 (CERTIFIED 0.30) CERTIFIED YES 0.07/0.17 (CERTIFIED 0.48)
Zantema_04/z092.xml 11773422 CERTIFIED YES 0.95/0.47 (CERTIFIED 0.10) CERTIFIED YES 12.05/3.85 (CERTIFIED 0.33) CERTIFIED YES 0.06/0.15 (CERTIFIED 0.95)
Zantema_04/z093.xml 11773468 CERTIFIED YES 0.76/0.41 (CERTIFIED 0.04) CERTIFIED YES 7.16/2.55 (CERTIFIED 0.03) CERTIFIED YES 0.01/0.03 (CERTIFIED 0.08)
Zantema_04/z094.xml 11773465 CERTIFIED YES 3.28/1.05 (CERTIFIED 0.09) CERTIFIED YES 11.39/3.75 (CERTIFIED 0.09) CERTIFIED YES 0.04/0.19 (CERTIFIED 0.24)
Zantema_04/z095.xml 11773424 CERTIFIED YES 26.73/7.07 (CERTIFIED 35.91) CERTIFIED YES 168.46/43.39 (CERTIFIED 0.12) MAYBE 0.13/0.55
Zantema_04/z096.xml 11773503 CERTIFIED NO 1.25/0.55 (CERTIFIED 0.06) CERTIFIED NO 3.24/1.52 (CERTIFIED 0.03) MAYBE 0.74/0.68
Zantema_04/z097.xml 11773485 CERTIFIED YES 28.04/7.41 (CERTIFIED 38.71) timeout (wallclock) [out] MAYBE 2.45/1.76
Zantema_04/z098.xml 11773510 CERTIFIED YES 23.67/6.28 (CERTIFIED 11.69) CERTIFIED YES 104.31/27.22 (CERTIFIED 0.77) MAYBE 2.58/2.11
Zantema_04/z100.xml 11773523 CERTIFIED YES 22.56/5.99 (CERTIFIED 0.30) CERTIFIED YES 14.55/4.50 (CERTIFIED 0.25) CERTIFIED YES 0.05/0.47 (CERTIFIED 0.27)
Zantema_04/z101.xml 11773493 CERTIFIED YES 0.69/0.39 (CERTIFIED 0.04) CERTIFIED YES 4.26/1.78 (CERTIFIED 0.02) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.07)
Zantema_04/z102.xml 11773442 CERTIFIED YES 1.03/0.49 (CERTIFIED 0.04) CERTIFIED YES 5.90/2.19 (CERTIFIED 0.02) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.08)
Zantema_04/z103.xml 11773414 CERTIFIED YES 3.80/1.19 (CERTIFIED 0.13) CERTIFIED YES 9.55/3.23 (CERTIFIED 0.11) MAYBE 0.04/0.25
Zantema_04/z104.xml 11773413 CERTIFIED YES 3.78/1.19 (CERTIFIED 0.08) CERTIFIED YES 5.70/2.14 (CERTIFIED 0.08) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.15)
Zantema_04/z105.xml 11773445 CERTIFIED YES 3.65/1.14 (CERTIFIED 0.07) CERTIFIED YES 7.50/2.63 (CERTIFIED 0.06) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.09)
Zantema_04/z106.xml 11773492 CERTIFIED YES 2.40/0.84 (CERTIFIED 0.07) CERTIFIED YES 6.64/2.45 (CERTIFIED 0.05) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.09)
Zantema_04/z107.xml 11773528 CERTIFIED YES 2.99/0.98 (CERTIFIED 0.07) CERTIFIED YES 4.33/1.78 (CERTIFIED 0.03) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.09)
Zantema_04/z108.xml 11773488 CERTIFIED YES 1.51/0.60 (CERTIFIED 0.05) CERTIFIED YES 4.40/1.84 (CERTIFIED 0.03) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.09)
Zantema_04/z109.xml 11773529 CERTIFIED YES 2.38/0.82 (CERTIFIED 0.06) CERTIFIED YES 8.57/2.89 (CERTIFIED 0.41) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.07)
Zantema_04/z110.xml 11773477 CERTIFIED YES 5.08/1.53 (CERTIFIED 0.06) CERTIFIED YES 9.80/3.35 (CERTIFIED 0.11) MAYBE 0.06/0.28
Zantema_04/z111.xml 11773511 CERTIFIED YES 1.32/0.58 (CERTIFIED 0.06) CERTIFIED YES 9.05/3.10 (CERTIFIED 0.11) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.11)
Zantema_04/z112.xml 11773426 CERTIFIED YES 3.36/1.08 (CERTIFIED 0.13) CERTIFIED YES 4.64/1.89 (CERTIFIED 0.04) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.13)
Zantema_04/z113.xml 11773462 CERTIFIED YES 6.06/1.77 (CERTIFIED 0.10) CERTIFIED YES 36.51/10.15 (CERTIFIED 0.08) CERTIFIED YES 0.02/0.04 (CERTIFIED 0.17)
Zantema_04/z114.xml 11773461 CERTIFIED YES 3.01/0.99 (CERTIFIED 0.05) memout [out] MAYBE 0.03/0.20
Zantema_04/z115.xml 11773429 CERTIFIED YES 0.91/0.49 (CERTIFIED 0.11) CERTIFIED YES 8.15/2.84 (CERTIFIED 0.05) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.13)
Zantema_04/z116.xml 11773508 CERTIFIED YES 1.05/0.53 (CERTIFIED 0.07) CERTIFIED YES 5.38/2.12 (CERTIFIED 0.04) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.08)
Zantema_04/z117.xml 11773480 CERTIFIED YES 6.16/1.85 (CERTIFIED 0.09) CERTIFIED YES 32.32/9.07 (CERTIFIED 0.18) MAYBE 0.05/0.54
Zantema_04/z118.xml 11773506 CERTIFIED YES 4.91/1.47 (CERTIFIED 0.12) CERTIFIED YES 7.80/3.23 (CERTIFIED 0.95) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.11)
Zantema_04/z119.xml 11773483 CERTIFIED YES 12.31/3.37 (CERTIFIED 0.19) CERTIFIED YES 15.96/7.72 (CERTIFIED 0.21) MAYBE 0.07/0.43
Zantema_04/z120.xml 11773432 CERTIFIED YES 22.47/5.96 (CERTIFIED 0.14) CERTIFIED YES 8.44/2.92 (CERTIFIED 0.11) MAYBE 0.05/0.31
Zantema_04/z121.xml 11773459 CERTIFIED YES 9.47/2.66 (CERTIFIED 0.19) CERTIFIED YES 8.72/2.92 (CERTIFIED 0.10) CERTIFIED YES 0.04/0.10 (CERTIFIED 0.23)
Zantema_04/z122.xml 11773473 CERTIFIED YES 3.33/1.12 (CERTIFIED 0.10) CERTIFIED YES 7.04/2.48 (CERTIFIED 0.93) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.16)
Zantema_04/z123.xml 11773515 CERTIFIED YES 22.10/5.86 (CERTIFIED 0.20) CERTIFIED YES 16.88/5.01 (CERTIFIED 0.20) CERTIFIED YES 0.09/0.16 (CERTIFIED 0.29)
Zantema_04/z124.xml 11773513 CERTIFIED YES 1.16/0.52 (CERTIFIED 0.11) CERTIFIED YES 10.46/3.37 (CERTIFIED 0.25) CERTIFIED YES 0.04/0.08 (CERTIFIED 0.51)
Zantema_04/z125.xml 11773474 CERTIFIED YES 12.06/3.29 (CERTIFIED 0.31) CERTIFIED YES 8.81/2.98 (CERTIFIED 0.14) CERTIFIED YES 0.06/0.37 (CERTIFIED 0.24)
Zantema_04/z126.xml 11773455 CERTIFIED YES 3.12/1.01 (CERTIFIED 0.08) CERTIFIED YES 4.36/1.89 (CERTIFIED 0.08) CERTIFIED YES 0.02/0.06 (CERTIFIED 0.06)
Zantema_04/z127.xml 11773433 CERTIFIED NO 1.11/0.51 (CERTIFIED 0.07) CERTIFIED NO 3.46/1.67 (CERTIFIED 0.04) MAYBE 0.03/0.20
Zantema_04/z128.xml 11773454 CERTIFIED NO 0.95/0.46 (CERTIFIED 0.07) CERTIFIED NO 3.44/1.54 (CERTIFIED 0.04) MAYBE 0.03/0.27
Trafo_06/dup01.xml 11773341 CERTIFIED YES 7.46/2.17 (CERTIFIED 0.35) CERTIFIED YES 33.41/9.45 (CERTIFIED 0.68) CERTIFIED YES 0.09/0.15 (CERTIFIED 1.84)
Trafo_06/dup05.xml 11773312 CERTIFIED YES 42.79/11.15 (CERTIFIED 0.53) CERTIFIED YES 13.97/4.35 (CERTIFIED 0.43) CERTIFIED YES 18.57/14.73 (CERTIFIED 0.49)
Trafo_06/dup06.xml 11773339 CERTIFIED YES 22.58/5.99 (CERTIFIED 0.13) CERTIFIED YES 12.57/3.87 (CERTIFIED 0.18) CERTIFIED YES 1.03/0.83 (CERTIFIED 0.27)
Trafo_06/dup07.xml 11773329 CERTIFIED YES 25.09/6.66 (CERTIFIED 0.20) CERTIFIED YES 20.05/5.85 (CERTIFIED 0.18) MAYBE 1.51/1.38
Trafo_06/dup08.xml 11773337 CERTIFIED YES 16.87/4.25 (CERTIFIED 0.14) CERTIFIED YES 37.98/10.53 (CERTIFIED 4.80) CERTIFIED YES 14.77/10.32 (CERTIFIED 0.37)
Trafo_06/dup09.xml 11773331 CERTIFIED YES 1.44/0.52 (CERTIFIED 0.07) CERTIFIED YES 11.23/3.63 (CERTIFIED 0.32) ERROR 0.01/0.01 ( line 7  character 13: syntax error.)
Trafo_06/dup10.xml 11773333 CERTIFIED YES 56.22/14.44 (CERTIFIED 0.43) timeout (wallclock) [out] MAYBE 260.71/181.52
Trafo_06/dup11.xml 11773327 CERTIFIED YES 110.05/28.43 (CERTIFIED 0.87) CERTIFIED YES 35.03/9.63 (CERTIFIED 0.39) CERTIFIED YES 0.59/0.62 (CERTIFIED 2.08)
Trafo_06/dup12.xml 11773321 CERTIFIED YES 79.97/20.20 (CERTIFIED 0.44) CERTIFIED YES 149.30/38.80 (CERTIFIED 7.79) MAYBE 4.39/4.08
Trafo_06/dup13.xml 11773314 CERTIFIED YES 71.38/15.05 (CERTIFIED 0.23) CERTIFIED YES 227.23/58.55 (CERTIFIED 1.13) MAYBE 6.72/5.07
Trafo_06/dup14.xml 11773313 CERTIFIED YES 25.60/5.79 (CERTIFIED 0.24) CERTIFIED YES 25.04/7.16 (CERTIFIED 3.34) MAYBE 3.97/3.53
Trafo_06/dup15.xml 11773322 CERTIFIED YES 8.19/2.32 (CERTIFIED 0.07) CERTIFIED YES 93.95/14.83 (CERTIFIED 0.31) CERTIFIED YES 1.5/1.22 (CERTIFIED 0.49)
Trafo_06/dup16.xml 11773325 CERTIFIED YES 12.25/3.28 (CERTIFIED 0.08) CERTIFIED YES 4.84/1.91 (CERTIFIED 0.05) CERTIFIED YES 0.02/0.04 (CERTIFIED 0.20)
Trafo_06/dup17.xml 11773334 CERTIFIED YES 15.53/4.19 (CERTIFIED 0.08) CERTIFIED YES 22.35/6.61 (CERTIFIED 0.23) CERTIFIED YES 3.7/2.77 (CERTIFIED 0.51)
Trafo_06/hom01.xml 11773317 CERTIFIED YES 11.33/3.13 (CERTIFIED 0.14) CERTIFIED YES 33.62/11.75 (CERTIFIED 0.21) MAYBE 2.15/1.93
Trafo_06/hom02.xml 11773328 CERTIFIED YES 1.34/0.56 (CERTIFIED 0.04) CERTIFIED YES 8.12/2.81 (CERTIFIED 0.07) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.12)
Trafo_06/hom03.xml 11773342 CERTIFIED YES 108.06/28.01 (CERTIFIED 0.18) CERTIFIED YES 140.49/36.82 (CERTIFIED 0.32) MAYBE 15.07/12.48
Trafo_06/un02.xml 11773311 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 58.37/48.77
Trafo_06/un04.xml 11773318 timeout (wallclock) [out] CERTIFIED NO 15.70/4.73 (CERTIFIED 0.08) MAYBE 0.77/0.81
Trafo_06/un05.xml 11773310 timeout (wallclock) [out] CERTIFIED YES 29.90/8.36 (CERTIFIED 0.09) MAYBE 0.03/0.38
Trafo_06/un06.xml 11773338 CERTIFIED YES 18.30/4.89 (CERTIFIED 0.15) memout [out] CERTIFIED YES 0.86/0.88 (CERTIFIED 0.44)
Trafo_06/un07.xml 11773332 CERTIFIED YES 32.31/8.49 (CERTIFIED 0.18) CERTIFIED YES 18.34/5.48 (CERTIFIED 0.25) MAYBE 0.04/0.42
Trafo_06/un08.xml 11773340 CERTIFIED YES 33.83/8.89 (CERTIFIED 0.15) CERTIFIED YES 15.60/4.77 (CERTIFIED 0.34) MAYBE 0.04/0.45
Trafo_06/un09.xml 11773330 CERTIFIED YES 84.47/21.67 (CERTIFIED 0.25) CERTIFIED YES 62.47/16.67 (CERTIFIED 0.17) MAYBE 1.0/1.08
Trafo_06/un10.xml 11773336 CERTIFIED YES 66.90/16.89 (CERTIFIED 0.22) timeout (wallclock) [out] MAYBE 3.3/3.14
Trafo_06/un11.xml 11773323 timeout (wallclock) [out] ERROR 630.51/292.98 MAYBE 1.46/1.49
Trafo_06/un12.xml 11773320 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.09/1.15
Trafo_06/un13.xml 11773315 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 2.03/2.01
Trafo_06/un14.xml 11773316 CERTIFIED YES 71.65/18.61 (CERTIFIED 0.34) CERTIFIED YES 127.52/33.26 (CERTIFIED 0.23) MAYBE 1.63/1.64
Trafo_06/un15.xml 11773319 timeout (wallclock) [out] memout [out] MAYBE 1.94/1.77
Trafo_06/un16.xml 11773324 timeout (wallclock) [out] ERROR 1155.89/296.57 MAYBE 2.0/1.98
Trafo_06/un17.xml 11773335 timeout (wallclock) [out] CERTIFIED YES 254.45/65.36 (CERTIFIED 0.54) MAYBE 0.62/0.71
Trafo_06/un18.xml 11773326 timeout (wallclock) [out] ERROR 875.76/294.34 MAYBE 0.97/0.99
Waldmann_07_size11/size-11-alpha-2-num-1.xml 11773366 CERTIFIED YES 57.90/14.65 (CERTIFIED 0.15) CERTIFIED YES 20.55/5.99 (CERTIFIED 0.14) MAYBE 0.03/0.13
Waldmann_07_size11/size-11-alpha-2-num-2.xml 11773346 CERTIFIED YES 185.26/47.57 (CERTIFIED 0.34) CERTIFIED YES 18.95/5.69 (CERTIFIED 0.12) MAYBE 0.03/0.20
Waldmann_07_size11/size-11-alpha-2-num-3.xml 11773351 CERTIFIED YES 57.10/14.83 (CERTIFIED 0.15) CERTIFIED YES 56.44/15.83 (CERTIFIED 0.16) MAYBE 0.06/0.21
Waldmann_07_size11/size-11-alpha-2-num-4.xml 11773349 CERTIFIED YES 33.37/8.76 (CERTIFIED 0.12) memout [out] MAYBE 0.04/0.21
Waldmann_07_size11/size-11-alpha-3-num-1.xml 11773363 timeout (wallclock) [out] CERTIFIED NO 85.07/22.50 (CERTIFIED 0.14) MAYBE 0.03/0.16
Waldmann_07_size11/size-11-alpha-3-num-10.xml 11773350 CERTIFIED YES 15.35/4.18 (CERTIFIED 0.09) CERTIFIED YES 8.69/3.00 (CERTIFIED 0.09) MAYBE 0.04/0.14
Waldmann_07_size11/size-11-alpha-3-num-11.xml 11773348 CERTIFIED YES 23.26/6.36 (CERTIFIED 0.10) CERTIFIED YES 8.72/2.96 (CERTIFIED 0.09) MAYBE 0.02/0.11
Waldmann_07_size11/size-11-alpha-3-num-12.xml 11773364 CERTIFIED YES 14.68/3.99 (CERTIFIED 0.07) CERTIFIED YES 11.23/3.61 (CERTIFIED 0.08) MAYBE 0.02/0.10
Waldmann_07_size11/size-11-alpha-3-num-13.xml 11773358 CERTIFIED YES 26.41/6.96 (CERTIFIED 0.10) CERTIFIED YES 13.03/4.05 (CERTIFIED 0.10) MAYBE 0.04/0.14
Waldmann_07_size11/size-11-alpha-3-num-14.xml 11773356 CERTIFIED YES 25.76/6.81 (CERTIFIED 0.09) CERTIFIED YES 10.94/3.54 (CERTIFIED 0.07) MAYBE 0.02/0.11
Waldmann_07_size11/size-11-alpha-3-num-15.xml 11773365 timeout (wallclock) [out] CERTIFIED NO 21.86/6.30 (CERTIFIED 0.08) MAYBE 0.04/0.19
Waldmann_07_size11/size-11-alpha-3-num-16.xml 11773347 CERTIFIED YES 12.44/3.42 (CERTIFIED 0.06) CERTIFIED YES 6.04/3.03 (CERTIFIED 0.04) MAYBE 0.06/0.20
Waldmann_07_size11/size-11-alpha-3-num-17.xml 11773352 CERTIFIED YES 14.35/3.99 (CERTIFIED 0.10) CERTIFIED YES 9.42/3.13 (CERTIFIED 0.09) MAYBE 0.02/0.08
Waldmann_07_size11/size-11-alpha-3-num-18.xml 11773344 timeout (wallclock) [out] CERTIFIED NO 6.37/2.32 (CERTIFIED 0.07) MAYBE 0.02/0.08
Waldmann_07_size11/size-11-alpha-3-num-19.xml 11773353 CERTIFIED YES 16.91/4.61 (CERTIFIED 0.09) CERTIFIED YES 10.90/3.51 (CERTIFIED 0.07) MAYBE 0.02/0.08
Waldmann_07_size11/size-11-alpha-3-num-2.xml 11773343 timeout (wallclock) [out] CERTIFIED YES 12.32/3.84 (CERTIFIED 0.12) MAYBE 0.03/0.12
Waldmann_07_size11/size-11-alpha-3-num-20.xml 11773361 CERTIFIED YES 17.78/4.95 (CERTIFIED 0.09) CERTIFIED YES 7.82/2.68 (CERTIFIED 0.07) MAYBE 0.02/0.08
Waldmann_07_size11/size-11-alpha-3-num-21.xml 11773360 timeout (wallclock) [out] CERTIFIED NO 11.61/3.77 (CERTIFIED 0.06) MAYBE 0.03/0.09
Waldmann_07_size11/size-11-alpha-3-num-3.xml 11773355 CERTIFIED YES 15.17/4.33 (CERTIFIED 0.13) CERTIFIED YES 17.47/7.79 (CERTIFIED 0.75) MAYBE 0.02/0.09
Waldmann_07_size11/size-11-alpha-3-num-4.xml 11773354 timeout (wallclock) [out] ERROR 1142.91/291.69 MAYBE 0.04/0.15
Waldmann_07_size11/size-11-alpha-3-num-5.xml 11773345 CERTIFIED YES 28.79/7.59 (CERTIFIED 0.09) CERTIFIED YES 9.82/3.31 (CERTIFIED 0.09) MAYBE 0.04/0.15
Waldmann_07_size11/size-11-alpha-3-num-6.xml 11773362 CERTIFIED YES 26.67/7.04 (CERTIFIED 0.10) CERTIFIED YES 14.84/4.49 (CERTIFIED 0.11) MAYBE 0.04/0.13
Waldmann_07_size11/size-11-alpha-3-num-7.xml 11773359 CERTIFIED YES 25.27/6.67 (CERTIFIED 0.10) CERTIFIED YES 11.72/3.84 (CERTIFIED 0.11) MAYBE 0.04/0.14
Waldmann_07_size11/size-11-alpha-3-num-8.xml 11773367 CERTIFIED YES 27.14/7.18 (CERTIFIED 0.10) CERTIFIED YES 12.64/3.94 (CERTIFIED 0.11) MAYBE 0.03/0.12
Waldmann_07_size11/size-11-alpha-3-num-9.xml 11773357 CERTIFIED YES 27.98/7.40 (CERTIFIED 0.10) CERTIFIED YES 10.53/3.38 (CERTIFIED 0.09) MAYBE 0.04/0.18
596 848 169