TermComp 2020: Derivational_Complexity: TRS 41499 Job info CSV Showing results.

tct-trs_v3.2.0_2020-06-28 AProVE
benchmark UPLOWTIME UPLOWTIME
Gebhardt_06/01.xml 11765308 iu ∞ +0 1 +0 400.17/293.91 timeout (wallclock)
Gebhardt_06/02.xml 11765312 u ∞ +0 1 +0 410.24/293.85 ∞ +0 1 +0 797.44/292.10
Gebhardt_06/03.xml 11765315 iu ∞ +0 1 +0 436.68/294.19 timeout (wallclock)
Gebhardt_06/04.xml 11765316 u ∞ +0 1 +0 419.34/293.57 ∞ +0 1 +0 1121.50/292.04
Gebhardt_06/05.xml 11765311 u ∞ +0 1 +0 432.15/294.10 ∞ +0 1 +0 807.99/294.42
Gebhardt_06/06.xml 11765309 u ∞ +0 1 +0 423.81/294.08 ∞ +0 1 +0 756.09/293.25
Gebhardt_06/07.xml 11765304 iu ∞ +0 1 +0 453.08/293.27 timeout (wallclock)
Gebhardt_06/08.xml 11765310 u ∞ +0 1 +0 446.89/294.07 ∞ +0 1 +0 729.21/294.91
Gebhardt_06/09.xml 11765303 u ∞ +0 1 +0 420.14/294.12 ∞ +0 1 +0 861.68/295.99
Gebhardt_06/10.xml 11765307 u ∞ +0 1 +0 441.66/294.09 ∞ +0 1 +0 802.25/297.71
Gebhardt_06/11.xml 11765300 u ∞ +0 1 +0 427.71/294.07 ∞ +0 1 +0 779.50/293.78
Gebhardt_06/12.xml 11765318 u ∞ +0 1 +0 448.89/293.67 ∞ +0 1 +0 831.69/298.67
Gebhardt_06/13.xml 11765313 iu ∞ +0 1 +0 455.77/294.14 timeout (wallclock)
Gebhardt_06/14.xml 11765314 u ∞ +0 1 +0 414.29/293.18 ∞ +0 1 +0 747.81/295.99
Gebhardt_06/15.xml 11765317 u ∞ +0 1 +0 454.51/294.17 ∞ +0 1 +0 812.94/296.98
Gebhardt_06/16.xml 11765301 u ∞ +0 1 +0 415.99/294.02 ∞ +0 1 +0 1106.05/293.61
Gebhardt_06/17.xml 11765306 u ∞ +0 1 +0 443.63/293.93 ∞ +0 1 +0 1112.77/291.79
Gebhardt_06/18.xml 11765302 iu ∞ +0 1 +0 419.59/294.13 timeout (wallclock)
Gebhardt_06/19.xml 11765305 iu ∞ +0 1 +0 430.99/294.18 timeout (wallclock)
Gebhardt_06/20.xml 11765319 u ∞ +0 1 +0 435.70/294.09 ∞ +0 1 +0 801.33/291.73
Secret_06_SRS/1-matchbox.xml 11765349 u ∞ +0 1 +0 165.89/73.22 ∞ +0 1 +0 942.87/291.51
Secret_06_SRS/1.xml 11765343 u ∞ +0 1 +0 523.19/293.09 ∞ +0 1 +0 1097.52/291.81
Secret_06_SRS/10.xml 11765338 is ∞ +0 1 +0 529.67/293.08 ∞ +0 n1 +2 955.71/291.76
Secret_06_SRS/2-matchbox.xml 11765346 iu ∞ +0 1 +0 812.65/291.59 timeout (wallclock)
Secret_06_SRS/2.xml 11765336 iu ∞ +0 1 +0 351.81/224.62 timeout (wallclock)
Secret_06_SRS/3-matchbox.xml 11765347 is n5 +2 1 +0 765.33/294.07 ∞ +0 1 +0 866.50/293.34
Secret_06_SRS/3.xml 11765323 is ∞ +0 1 +0 142.29/52.85 n1 +2 1 +0 754.43/292.16
Secret_06_SRS/5-matchbox.xml 11765356 is ∞ +0 1 +0 787.98/293.77 ∞ +0 n1 +2 1089.49/291.52
Secret_06_SRS/5.xml 11765337 iu ∞ +0 1 +0 151.24/63.06 timeout (wallclock)
Secret_06_SRS/6.xml 11765341 iu ∞ +0 1 +0 680.53/293.64 timeout (wallclock)
Secret_06_SRS/7.xml 11765350 is ∞ +0 1 +0 782.48/293.06 ∞ +0 n1 +2 1059.98/291.65
Secret_06_SRS/8.xml 11765340 u ∞ +0 1 +0 422.70/293.79 ∞ +0 1 +0 746.96/292.03
Secret_06_SRS/9.xml 11765353 is ∞ +0 1 +0 229.26/80.00 ∞ +0 n1 +2 948.95/291.68
Secret_06_SRS/aprove00.xml 11765329 is ∞ +0 1 +0 1041.14/293.14 ∞ +0 n1 +2 1155.42/291.70
Secret_06_SRS/aprove01.xml 11765321 is timeout (wallclock) ∞ +0 n1 +2 1075.14/292.35
Secret_06_SRS/aprove02.xml 11765358 u timeout (wallclock) timeout (wallclock)
Secret_06_SRS/aprove03.xml 11765344 is timeout (wallclock) ∞ +0 n1 +2 955.91/292.01
Secret_06_SRS/aprove04.xml 11765345 is timeout (cpu) ∞ +0 n1 +2 1018.99/293.15
Secret_06_SRS/aprove05.xml 11765357 is timeout (wallclock) ∞ +0 n1 +2 1012.05/291.64
Secret_06_SRS/aprove06.xml 11765322 is timeout (cpu) ∞ +0 n1 +2 993.59/291.66
Secret_06_SRS/aprove07.xml 11765328 is timeout (wallclock) ∞ +0 n1 +2 948.27/291.72
Secret_06_SRS/aprove08.xml 11765320 is timeout (wallclock) ∞ +0 n1 +2 1058.69/291.92
Secret_06_SRS/aprove09.xml 11765331 is timeout (wallclock) ∞ +0 n1 +2 1151.71/291.83
Secret_06_SRS/multum1.xml 11765354 iu ∞ +0 1 +0 261.10/90.16 timeout (wallclock)
Secret_06_SRS/multum2.xml 11765324 u ∞ +0 1 +0 154.38/58.49 ∞ +0 1 +0 833.42/295.76
Secret_06_SRS/multum3.xml 11765334 u ∞ +0 1 +0 213.13/70.30 ∞ +0 1 +0 814.82/292.94
Secret_06_SRS/multum4.xml 11765332 is timeout (wallclock) n1 +2 1 +0 762.04/292.44
Secret_06_SRS/multum5.xml 11765326 u ∞ +0 1 +0 423.94/294.03 ∞ +0 1 +0 806.60/299.18
Secret_06_SRS/multum6.xml 11765351 u ∞ +0 1 +0 759.80/293.88 ∞ +0 1 +0 1070.22/295.64
Secret_06_SRS/secr1.xml 11765352 u ∞ +0 1 +0 96.12/30.11 ∞ +0 1 +0 899.25/296.54
Secret_06_SRS/secr10.xml 11765330 iu ∞ +0 1 +0 1003.84/294.05 timeout (wallclock)
Secret_06_SRS/secr2.xml 11765327 u ∞ +0 1 +0 116.38/35.88 ∞ +0 1 +0 1027.08/291.62
Secret_06_SRS/secr3.xml 11765333 u ∞ +0 1 +0 777.36/293.58 ∞ +0 1 +0 1051.22/293.76
Secret_06_SRS/secr4.xml 11765335 iu ∞ +0 1 +0 194.39/81.93 timeout (wallclock)
Secret_06_SRS/secr5.xml 11765325 iu ∞ +0 1 +0 208.72/68.07 timeout (wallclock)
Secret_06_SRS/secr6.xml 11765355 iu ∞ +0 1 +0 672.94/293.09 timeout (wallclock)
Secret_06_SRS/secr7.xml 11765339 u ∞ +0 1 +0 182.50/81.55 ∞ +0 1 +0 1144.92/291.67
Secret_06_SRS/secr8.xml 11765348 is ∞ +0 1 +0 398.14/290.88 ∞ +0 n1 +2 1098.36/291.68
Secret_06_SRS/secr9.xml 11765342 u ∞ +0 1 +0 210.43/77.17 ∞ +0 1 +0 1005.62/292.07
Strategy_removed_AG01/#4.17.xml 11765238 is ∞ +0 1 +0 1092.50/293.15 ∞ +0 n1 +2 1123.45/292.67
Strategy_removed_AG01/#4.18.xml 11765237 u ∞ +0 1 +0 468.33/294.18 ∞ +0 1 +0 1120.96/291.79
Strategy_removed_AG01/#4.20.xml 11765235 i n1 +2 1 +0 86.29/30.15 n2 +1 1 +0 302.00/291.58
Strategy_removed_AG01/#4.20a.xml 11765236 is n1 +2 1 +0 86.41/30.18 timeout (wallclock)
Strategy_removed_AG01/#4.21.xml 11765233 i n1 +2 1 +0 94.52/30.08 n2 +1 1 +0 305.91/291.53
Strategy_removed_AG01/#4.25.xml 11765239 is ∞ +0 1 +0 32.79/31.44 n1 +2 1 +0 310.55/291.53
Strategy_removed_AG01/#4.28.xml 11765234 is n2 +2 1 +0 84.47/30.12 n2 +2 n1 +2 1073.81/291.99
Strategy_removed_AG01/#4.37.xml 11765231 is n1 +2 1 +0 2.59/0.95 n1 +2 n1 +2 4.51/1.91
Strategy_removed_AG01/#4.37a.xml 11765232 is n1 +2 1 +0 7.85/2.67 n1 +2 n1 +2 5.06/2.08
SK90/2.01.xml 11765283 is n2 +2 1 +0 75.68/30.22 n3 +1 n1 +2 308.98/291.55
SK90/2.02.xml 11765258 is n3 +2 1 +0 164.29/75.05 ∞ +0 n1 +2 1135.80/296.89
SK90/2.03.xml 11765240 is n2 +2 1 +0 91.35/30.17 n2 +2 n1 +2 351.07/291.54
SK90/2.04.xml 11765241 n2 +2 1 +0 91.60/30.52 n2 +2 1 +0 306.58/291.49
SK90/2.06.xml 11765284 n2 +2 1 +0 77.52/30.21 n2 +2 1 +0 306.90/291.62
SK90/2.09.xml 11765295 is n2 +2 1 +0 82.26/30.15 n2 +2 n1 +2 323.22/291.48
SK90/2.10.xml 11765271 is ∞ +0 1 +0 116.94/34.46 ∞ +0 n1 +2 1122.51/294.17
SK90/2.11.xml 11765293 is n2 +2 1 +0 89.47/30.13 n2 +2 n1 +2 315.75/291.50
SK90/2.14.xml 11765263 is ∞ +0 1 +0 240.54/158.70 ∞ +0 n1 +2 1120.01/292.14
SK90/2.31.xml 11765242 is n2 +2 1 +0 96.92/30.11 n2 +2 n1 +2 325.00/291.66
SK90/2.33.xml 11765279 n2 +2 1 +0 78.39/30.09 n2 +2 1 +0 482.41/291.48
SK90/2.34.xml 11765282 is ∞ +0 1 +0 139.00/57.67 ∞ +0 n1 +2 1147.16/296.67
SK90/2.36.xml 11765243 is n2 +2 1 +0 91.76/30.10 n2 +2 n1 +2 338.82/291.65
SK90/2.38.xml 11765244 is n2 +2 1 +0 91.32/30.20 n2 +2 n1 +2 356.01/291.55
SK90/2.39.xml 11765254 is n6 +1 1 +0 234.02/146.80 n3 +2 n2 +2 347.10/291.58
SK90/2.41.xml 11765277 is n2 +2 1 +0 122.78/33.15 n2 +2 n1 +2 607.05/291.74
SK90/2.42.xml 11765253 is n6 +2 1 +0 148.36/63.53 ∞ +0 n1 +2 1096.03/291.56
SK90/2.46.xml 11765276 is n2 +2 1 +0 92.07/30.22 ∞ +0 1 +0 1127.59/291.79
SK90/2.47.xml 11765299 is n2 +2 1 +0 78.94/30.12 n2 +2 n1 +2 307.13/291.53
SK90/2.48.xml 11765280 n1 +2 1 +0 1.45/0.62 n1 +2 1 +0 313.74/291.54
SK90/2.49.xml 11765297 n1 +2 1 +0 2.40/1.29 n1 +2 1 +0 319.68/291.50
SK90/2.50.xml 11765273 is ∞ +0 1 +0 379.21/293.15 ∞ +0 n1 +2 892.14/291.50
SK90/2.53.xml 11765268 is n2 +2 1 +0 101.08/30.18 n2 +2 n1 +2 326.73/291.51
SK90/2.54.xml 11765267 is n2 +2 1 +0 87.43/30.13 n2 +2 n1 +2 315.44/291.53
SK90/2.55.xml 11765247 is n2 +2 1 +0 87.31/30.15 n2 +2 n1 +2 316.67/291.67
SK90/2.56.xml 11765287 n1 +2 1 +0 0.10/0.05 n1 +2 1 +0 308.21/291.46
SK90/2.60.xml 11765251 n1 +2 1 +0 0.64/0.28 n1 +2 1 +0 304.89/291.47
SK90/2.61.xml 11765261 i n1 +2 1 +0 1.87/0.53 n3 +1 1 +0 1151.09/292.13
SK90/4.01.xml 11765294 n1 +2 1 +0 0.36/0.11 n1 +2 1 +0 323.34/291.55
SK90/4.04.xml 11765262 n2 +2 1 +0 97.31/30.25 n2 +2 1 +0 308.91/291.51
SK90/4.07.xml 11765270 n2 +2 1 +0 79.84/30.20 n2 +2 1 +0 305.26/291.61
SK90/4.08.xml 11765292 n2 +2 1 +0 78.18/30.20 n2 +2 1 +0 306.15/291.50
SK90/4.11.xml 11765285 is n2 +2 1 +0 84.30/30.05 n3 +1 n1 +2 315.22/291.50
SK90/4.12.xml 11765260 is n2 +2 1 +0 86.82/30.19 n2 +2 n1 +2 319.16/291.64
SK90/4.15.xml 11765259 n2 +2 1 +0 88.66/30.06 n2 +2 1 +0 320.94/291.57
SK90/4.16.xml 11765286 is n1 +2 1 +0 2.39/0.78 n1 +2 n1 +2 9.16/3.07
SK90/4.19.xml 11765296 is n1 +2 1 +0 0.15/0.07 ∞ +0 1 +0 1138.34/294.80
SK90/4.25.xml 11765298 is n2 +2 1 +0 88.35/30.12 n2 +2 n1 +2 351.58/291.49
SK90/4.26.xml 11765245 is n10 +2 1 +0 494.64/292.68 ∞ +0 n1 +2 1100.41/291.80
SK90/4.27.xml 11765252 is ∞ +0 1 +0 517.07/293.12 ∞ +0 n1 +2 1127.24/295.14
SK90/4.29.xml 11765257 is n2 +2 1 +0 491.35/291.85 n2 +2 n1 +2 310.34/291.58
SK90/4.30.xml 11765248 is n2 +2 1 +0 179.58/47.49 ∞ +0 n1 +2 1049.85/291.66
SK90/4.32.xml 11765275 u ∞ +0 1 +0 194.05/112.11 ∞ +0 1 +0 1105.31/295.85
SK90/4.33.xml 11765288 n1 +2 1 +0 0.29/0.16 n1 +2 1 +0 302.98/291.48
SK90/4.34.xml 11765290 is ∞ +0 1 +0 379.86/283.49 ∞ +0 NonPoly +2 3.53/1.65
SK90/4.35.xml 11765274 n1 +2 1 +0 0.81/0.57 n1 +2 1 +0 302.44/291.49
SK90/4.36.xml 11765269 n1 +2 1 +0 0.70/0.48 n1 +2 1 +0 302.34/291.56
SK90/4.37.xml 11765246 n1 +2 1 +0 0.26/0.13 n1 +2 1 +0 303.84/291.54
SK90/4.38.xml 11765265 is n2 +2 1 +0 134.82/37.77 n2 +2 n1 +2 342.32/291.51
SK90/4.39.xml 11765250 is n2 +2 1 +0 95.40/94.66 timeout (wallclock)
SK90/4.43.xml 11765266 is n7 +2 1 +0 800.52/292.37 ∞ +0 n1 +2 1099.92/291.61
SK90/4.44.xml 11765264 n1 +2 1 +0 1.24/0.40 n1 +2 1 +0 312.81/291.49
SK90/4.45.xml 11765249 is n1 +2 1 +0 0.23/0.08 n2 +1 n1 +2 334.87/291.50
SK90/4.46.xml 11765291 n1 +2 1 +0 0.31/0.13 n1 +2 1 +0 309.59/292.43
SK90/4.47.xml 11765272 n1 +2 1 +0 2.98/1.51 n1 +2 1 +0 318.06/291.62
SK90/4.48.xml 11765289 i n1 +2 1 +0 71.77/30.23 n2 +1 1 +0 311.61/291.47
SK90/4.51.xml 11765281 n1 +2 1 +0 2.02/0.78 n1 +2 1 +0 389.42/291.63
SK90/4.52.xml 11765255 is n2 +2 1 +0 77.02/30.16 ∞ +0 n1 +2 1110.18/292.55
SK90/4.55.xml 11765256 is ∞ +0 1 +0 104.63/30.10 n1 +2 1 +0 308.40/291.65
SK90/4.56.xml 11765278 n1 +2 1 +0 0.90/0.47 n1 +2 1 +0 309.96/291.47
Der95/01.xml 11765220 is n1 +2 1 +0 0.51/0.18 n1 +2 n1 +2 30.12/13.26
Der95/02.xml 11765218 is n1 +2 1 +0 0.27/0.09 n1 +2 n1 +2 38.77/15.67
Der95/03.xml 11765217 n1 +2 1 +0 0.12/0.11 n1 +2 1 +0 306.57/291.51
Der95/04.xml 11765216 is n1 +2 1 +0 80.42/30.14 ∞ +0 1 +0 917.36/291.55
Der95/06.xml 11765219 is ∞ +0 1 +0 382.00/293.12 ∞ +0 n1 +2 890.65/291.58
Der95/07.xml 11765223 is n2 +2 1 +0 237.42/102.48 n3 +1 n1 +2 330.08/291.49
Der95/09.xml 11765222 n2 +2 1 +0 87.85/30.20 n2 +2 1 +0 302.90/291.49
Der95/17.xml 11765221 is n6 +1 1 +0 114.96/36.30 n3 +2 n1 +2 308.84/291.68
Der95/20.xml 11765214 is ∞ +0 1 +0 140.10/57.14 ∞ +0 n1 +2 1059.19/291.59
Der95/27.xml 11765215 is n2 +2 1 +0 93.30/30.12 n2 +2 n1 +2 324.86/291.63
AProVE_04/Liveness6.1.xml 11765229 is ∞ +0 1 +0 397.19/293.08 ∞ +0 n1 +2 1041.03/291.97
AProVE_04/Liveness6.2.xml 11765224 is n2 +2 1 +0 881.71/287.84 ∞ +0 n1 +2 1057.56/291.62
AProVE_04/Liveness6.3.xml 11765227 is ∞ +0 1 +0 540.28/293.13 ∞ +0 n1 +2 1137.80/293.12
AProVE_04/Liveness6.4.xml 11765226 is ∞ +0 1 +0 467.94/293.09 ∞ +0 n1 +2 1153.80/291.77
AProVE_04/Liveness8.xml 11765228 is n2 +2 1 +0 532.63/293.20 ∞ +0 n1 +2 1130.09/291.78
AProVE_04/Liveness_WRS.xml 11765225 is timeout (wallclock) ∞ +0 n1 +2 1185.47/298.22
AProVE_04/LPAR_intlist.xml 11765230 is ∞ +0 1 +0 374.29/293.15 ∞ +0 n1 +2 1119.53/291.68
Zantema_06/01.xml 11763936 is ∞ +0 1 +0 374.94/293.15 ∞ +0 n1 +2 1120.45/293.86
Zantema_06/02.xml 11763945 is ∞ +0 1 +0 739.50/293.16 ∞ +0 n1 +2 1058.39/295.12
Zantema_06/03.xml 11763948 is ∞ +0 1 +0 497.00/220.16 ∞ +0 n1 +2 1113.31/294.30
Zantema_06/04.xml 11763949 u ∞ +0 1 +0 448.62/293.18 ∞ +0 1 +0 787.16/292.64
Zantema_06/05.xml 11763944 is ∞ +0 1 +0 570.14/257.43 ∞ +0 n1 +2 680.53/291.62
Zantema_06/06.xml 11763937 is ∞ +0 1 +0 508.55/293.10 ∞ +0 n1 +2 1115.61/291.68
Zantema_06/07.xml 11763924 iu ∞ +0 1 +0 196.22/89.36 timeout (wallclock)
Zantema_06/08.xml 11763935 iu ∞ +0 1 +0 125.32/42.51 timeout (wallclock)
Zantema_06/09.xml 11763927 is ∞ +0 1 +0 752.16/293.51 ∞ +0 n1 +2 866.43/291.76
Zantema_06/10.xml 11763939 u ∞ +0 1 +0 127.55/41.98 ∞ +0 1 +0 1096.98/291.80
Zantema_06/11.xml 11763932 u ∞ +0 1 +0 770.06/294.08 ∞ +0 1 +0 1119.71/291.62
Zantema_06/12.xml 11763947 u ∞ +0 1 +0 809.64/293.94 ∞ +0 1 +0 1091.24/291.73
Zantema_06/13.xml 11763940 u ∞ +0 1 +0 799.55/293.55 ∞ +0 1 +0 957.48/297.27
Zantema_06/14.xml 11763941 u ∞ +0 1 +0 391.99/293.13 ∞ +0 1 +0 1085.33/291.89
Zantema_06/15.xml 11763946 u ∞ +0 1 +0 791.16/294.11 ∞ +0 1 +0 948.62/293.20
Zantema_06/16.xml 11763933 iu ∞ +0 1 +0 497.47/293.67 timeout (wallclock)
Zantema_06/17.xml 11763938 is n1 +2 1 +0 252.24/110.53 ∞ +0 1 +0 778.82/292.80
Zantema_06/18.xml 11763931 u ∞ +0 1 +0 1134.67/294.11 ∞ +0 1 +0 953.39/299.97
Zantema_06/abc.xml 11763930 iu ∞ +0 1 +0 165.00/75.12 timeout (wallclock)
Zantema_06/beans1.xml 11763925 is n2 +2 1 +0 737.87/294.16 ∞ +0 1 +0 1095.93/292.04
Zantema_06/beans2.xml 11763952 is ∞ +0 1 +0 667.16/294.10 ∞ +0 n1 +2 1073.96/291.65
Zantema_06/beans3.xml 11763942 u ∞ +0 1 +0 762.45/294.05 ∞ +0 1 +0 1100.52/291.76
Zantema_06/beans4.xml 11763943 u ∞ +0 1 +0 658.15/294.03 ∞ +0 1 +0 1110.43/296.15
Zantema_06/beans5.xml 11763950 u ∞ +0 1 +0 729.56/293.60 ∞ +0 1 +0 1095.71/292.16
Zantema_06/beans6.xml 11763926 is ∞ +0 1 +0 684.37/293.90 ∞ +0 n1 +2 1098.26/291.88
Zantema_06/beans7.xml 11763934 u ∞ +0 1 +0 814.09/293.89 ∞ +0 1 +0 1085.02/291.77
Zantema_06/loop1.xml 11763953 is ∞ +0 1 +0 203.77/95.70 ∞ +0 NonPoly +2 4.50/2.01
Zantema_06/loop2.xml 11763929 u ∞ +0 1 +0 380.81/293.17 ∞ +0 1 +0 961.02/291.71
Zantema_06/while1.xml 11763951 is ∞ +0 1 +0 1133.70/294.09 ∞ +0 n1 +2 1030.86/291.69
Zantema_06/while2.xml 11763928 is n2 +2 1 +0 379.64/294.16 ∞ +0 n1 +2 1063.65/292.42
Waldmann_06/jwaprove1.xml 11763957 u ∞ +0 1 +0 413.37/293.15 ∞ +0 1 +0 1135.12/296.70
Waldmann_06/jwaprove2.xml 11763971 u ∞ +0 1 +0 388.70/293.17 ∞ +0 1 +0 1135.58/296.65
Waldmann_06/jwcime1.xml 11763965 is ∞ +0 1 +0 126.61/39.04 n1 +2 1 +0 1141.86/296.59
Waldmann_06/jwcime2.xml 11763960 n1 +2 1 +0 46.93/29.61 n1 +2 1 +0 1049.92/292.39
Waldmann_06/jwmatchb1.xml 11763954 is ∞ +0 1 +0 275.17/184.97 ∞ +0 n1 +2 1064.31/291.72
Waldmann_06/jwmatchb2.xml 11763968 is ∞ +0 1 +0 250.93/159.91 ∞ +0 n1 +2 1047.58/291.60
Waldmann_06/jwno1.xml 11763964 is ∞ +0 1 +0 105.92/30.07 ∞ +0 NonPoly +2 5.97/2.29
Waldmann_06/jwno2.xml 11763959 u ∞ +0 1 +0 221.08/125.92 ∞ +0 1 +0 928.37/295.53
Waldmann_06/jwno3.xml 11763955 u ∞ +0 1 +0 121.66/37.43 ∞ +0 1 +0 1128.89/296.71
Waldmann_06/jwno4.xml 11763956 is ∞ +0 1 +0 108.42/30.08 ∞ +0 NonPoly +2 5.59/2.25
Waldmann_06/jwno5.xml 11763958 u ∞ +0 1 +0 236.01/141.86 ∞ +0 1 +0 979.99/291.99
Waldmann_06/jwno6.xml 11763966 is ∞ +0 1 +0 108.88/30.06 ∞ +0 NonPoly +2 5.98/2.24
Waldmann_06/jwno7.xml 11763970 u ∞ +0 1 +0 158.79/64.48 ∞ +0 1 +0 1134.03/296.67
Waldmann_06/jwno8.xml 11763967 u ∞ +0 1 +0 142.26/45.28 ∞ +0 1 +0 888.45/291.69
Waldmann_06/jwno9.xml 11763969 iu ∞ +0 1 +0 111.31/30.08 timeout (wallclock)
Waldmann_06/jwtpa1.xml 11763961 n1 +2 1 +0 31.90/24.25 n1 +2 1 +0 1133.59/295.17
Waldmann_06/jwtpa2.xml 11763963 u ∞ +0 1 +0 115.75/30.82 ∞ +0 1 +0 727.97/291.78
Waldmann_06/jwttt.xml 11763962 u ∞ +0 1 +0 119.15/36.24 ∞ +0 1 +0 811.57/291.77
Waldmann_07_size12/size-12-alpha-2-num-1.xml 11763897 u ∞ +0 1 +0 105.98/30.12 ∞ +0 1 +0 969.09/292.06
Waldmann_07_size12/size-12-alpha-2-num-10.xml 11763757 iu ∞ +0 1 +0 784.03/293.80 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-2-num-11.xml 11763857 iu ∞ +0 1 +0 644.41/290.87 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-2-num-12.xml 11763642 u ∞ +0 1 +0 1018.80/291.55 ∞ +0 1 +0 1013.36/291.71
Waldmann_07_size12/size-12-alpha-2-num-13.xml 11763719 u ∞ +0 1 +0 157.15/71.46 ∞ +0 1 +0 937.40/291.82
Waldmann_07_size12/size-12-alpha-2-num-14.xml 11763711 iu ∞ +0 1 +0 158.70/72.48 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-2-num-15.xml 11763646 u ∞ +0 1 +0 97.23/30.12 ∞ +0 1 +0 932.68/291.58
Waldmann_07_size12/size-12-alpha-2-num-16.xml 11763851 iu ∞ +0 1 +0 100.65/30.15 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-2-num-17.xml 11763762 u ∞ +0 1 +0 492.78/290.86 ∞ +0 1 +0 984.51/292.11
Waldmann_07_size12/size-12-alpha-2-num-18.xml 11763867 u ∞ +0 1 +0 491.78/291.19 ∞ +0 1 +0 984.48/291.67
Waldmann_07_size12/size-12-alpha-2-num-19.xml 11763743 u ∞ +0 1 +0 102.52/30.10 ∞ +0 1 +0 741.25/292.07
Waldmann_07_size12/size-12-alpha-2-num-2.xml 11763603 is ∞ +0 1 +0 102.67/30.07 ∞ +0 n1 +2 658.71/291.57
Waldmann_07_size12/size-12-alpha-2-num-20.xml 11763628 u ∞ +0 1 +0 104.78/30.11 ∞ +0 1 +0 914.33/291.75
Waldmann_07_size12/size-12-alpha-2-num-21.xml 11763727 iu ∞ +0 1 +0 100.37/30.12 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-2-num-22.xml 11763769 u ∞ +0 1 +0 101.15/30.16 ∞ +0 1 +0 865.03/291.64
Waldmann_07_size12/size-12-alpha-2-num-3.xml 11763675 iu ∞ +0 1 +0 104.64/30.11 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-2-num-4.xml 11763677 u ∞ +0 1 +0 215.21/94.04 ∞ +0 1 +0 993.24/291.71
Waldmann_07_size12/size-12-alpha-2-num-5.xml 11763590 u ∞ +0 1 +0 236.59/100.60 ∞ +0 1 +0 1131.58/291.80
Waldmann_07_size12/size-12-alpha-2-num-6.xml 11763902 is ∞ +0 1 +0 230.58/93.14 ∞ +0 n1 +2 1031.49/291.64
Waldmann_07_size12/size-12-alpha-2-num-7.xml 11763803 u ∞ +0 1 +0 418.59/294.19 ∞ +0 1 +0 1120.26/292.08
Waldmann_07_size12/size-12-alpha-2-num-8.xml 11763908 is ∞ +0 1 +0 123.55/32.69 ∞ +0 n1 +2 1057.61/291.48
Waldmann_07_size12/size-12-alpha-3-num-1.xml 11763910 u ∞ +0 1 +0 116.03/35.35 ∞ +0 1 +0 724.28/291.58
Waldmann_07_size12/size-12-alpha-3-num-10.xml 11763707 u ∞ +0 1 +0 143.83/44.02 ∞ +0 1 +0 980.34/291.62
Waldmann_07_size12/size-12-alpha-3-num-100.xml 11763752 u ∞ +0 1 +0 111.85/33.69 ∞ +0 1 +0 953.05/291.77
Waldmann_07_size12/size-12-alpha-3-num-101.xml 11763864 u ∞ +0 1 +0 108.29/31.94 ∞ +0 1 +0 887.08/291.66
Waldmann_07_size12/size-12-alpha-3-num-104.xml 11763705 u ∞ +0 1 +0 126.94/42.50 ∞ +0 1 +0 775.64/292.66
Waldmann_07_size12/size-12-alpha-3-num-105.xml 11763652 u ∞ +0 1 +0 186.42/86.66 ∞ +0 1 +0 880.83/291.98
Waldmann_07_size12/size-12-alpha-3-num-106.xml 11763868 u ∞ +0 1 +0 124.49/37.90 ∞ +0 1 +0 963.84/291.67
Waldmann_07_size12/size-12-alpha-3-num-107.xml 11763742 iu ∞ +0 1 +0 113.04/33.74 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-108.xml 11763850 u ∞ +0 1 +0 112.08/33.20 ∞ +0 1 +0 1065.84/291.76
Waldmann_07_size12/size-12-alpha-3-num-109.xml 11763763 iu ∞ +0 1 +0 120.93/37.69 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-11.xml 11763653 u ∞ +0 1 +0 131.01/36.04 ∞ +0 1 +0 999.90/291.60
Waldmann_07_size12/size-12-alpha-3-num-110.xml 11763880 is ∞ +0 1 +0 123.40/41.50 ∞ +0 n1 +2 774.31/291.65
Waldmann_07_size12/size-12-alpha-3-num-111.xml 11763825 u ∞ +0 1 +0 103.58/30.49 ∞ +0 1 +0 912.29/300.87
Waldmann_07_size12/size-12-alpha-3-num-112.xml 11763699 u ∞ +0 1 +0 167.14/75.36 ∞ +0 1 +0 981.93/291.65
Waldmann_07_size12/size-12-alpha-3-num-113.xml 11763575 u ∞ +0 1 +0 171.04/76.22 ∞ +0 1 +0 789.74/291.74
Waldmann_07_size12/size-12-alpha-3-num-114.xml 11763577 u ∞ +0 1 +0 107.03/31.14 ∞ +0 1 +0 844.32/291.71
Waldmann_07_size12/size-12-alpha-3-num-120.xml 11763665 is ∞ +0 1 +0 112.38/32.64 ∞ +0 n1 +2 671.42/291.61
Waldmann_07_size12/size-12-alpha-3-num-121.xml 11763606 u ∞ +0 1 +0 123.18/37.40 ∞ +0 1 +0 743.41/292.05
Waldmann_07_size12/size-12-alpha-3-num-122.xml 11763914 iu ∞ +0 1 +0 166.06/74.93 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-123.xml 11763794 is ∞ +0 1 +0 134.28/47.66 ∞ +0 n1 +2 995.20/291.61
Waldmann_07_size12/size-12-alpha-3-num-124.xml 11763801 u ∞ +0 1 +0 111.44/34.47 ∞ +0 1 +0 760.26/292.24
Waldmann_07_size12/size-12-alpha-3-num-125.xml 11763911 u ∞ +0 1 +0 190.36/93.61 ∞ +0 1 +0 996.83/291.63
Waldmann_07_size12/size-12-alpha-3-num-126.xml 11763614 is ∞ +0 1 +0 280.86/153.55 ∞ +0 n1 +2 719.40/291.51
Waldmann_07_size12/size-12-alpha-3-num-127.xml 11763662 u ∞ +0 1 +0 119.65/41.86 ∞ +0 1 +0 671.00/291.58
Waldmann_07_size12/size-12-alpha-3-num-128.xml 11763595 u ∞ +0 1 +0 149.64/43.43 ∞ +0 1 +0 724.15/291.53
Waldmann_07_size12/size-12-alpha-3-num-129.xml 11763681 is ∞ +0 1 +0 121.70/42.74 ∞ +0 NonPoly +2 40.12/14.46
Waldmann_07_size12/size-12-alpha-3-num-13.xml 11763748 is ∞ +0 1 +0 104.03/30.04 ∞ +0 n1 +2 766.50/291.52
Waldmann_07_size12/size-12-alpha-3-num-131.xml 11763734 is ∞ +0 1 +0 101.90/30.11 ∞ +0 n1 +2 855.04/291.46
Waldmann_07_size12/size-12-alpha-3-num-132.xml 11763789 is ∞ +0 1 +0 187.91/82.49 ∞ +0 n1 +2 686.56/291.61
Waldmann_07_size12/size-12-alpha-3-num-133.xml 11763832 is ∞ +0 1 +0 205.88/98.21 ∞ +0 n1 +2 690.64/291.58
Waldmann_07_size12/size-12-alpha-3-num-134.xml 11763839 u ∞ +0 1 +0 112.10/33.82 ∞ +0 1 +0 1089.02/291.82
Waldmann_07_size12/size-12-alpha-3-num-135.xml 11763786 u ∞ +0 1 +0 108.94/32.11 ∞ +0 1 +0 777.43/294.12
Waldmann_07_size12/size-12-alpha-3-num-14.xml 11763750 is ∞ +0 1 +0 108.00/31.02 ∞ +0 n1 +2 724.23/291.67
Waldmann_07_size12/size-12-alpha-3-num-140.xml 11763774 u ∞ +0 1 +0 162.49/74.88 ∞ +0 1 +0 691.33/298.37
Waldmann_07_size12/size-12-alpha-3-num-146.xml 11763840 iu ∞ +0 1 +0 168.50/76.82 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-149.xml 11763783 u ∞ +0 1 +0 103.54/30.09 ∞ +0 1 +0 1144.16/291.72
Waldmann_07_size12/size-12-alpha-3-num-15.xml 11763862 u ∞ +0 1 +0 135.58/54.00 ∞ +0 1 +0 899.81/291.65
Waldmann_07_size12/size-12-alpha-3-num-152.xml 11763674 u ∞ +0 1 +0 115.21/34.75 ∞ +0 1 +0 773.19/291.63
Waldmann_07_size12/size-12-alpha-3-num-158.xml 11763799 iu ∞ +0 1 +0 168.18/76.11 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-159.xml 11763909 u ∞ +0 1 +0 104.77/30.04 ∞ +0 1 +0 1037.44/291.55
Waldmann_07_size12/size-12-alpha-3-num-16.xml 11763656 u ∞ +0 1 +0 108.37/32.33 ∞ +0 1 +0 937.73/291.60
Waldmann_07_size12/size-12-alpha-3-num-160.xml 11763686 iu ∞ +0 1 +0 164.53/75.85 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-163.xml 11763819 u ∞ +0 1 +0 123.20/43.47 ∞ +0 1 +0 1029.49/291.73
Waldmann_07_size12/size-12-alpha-3-num-164.xml 11763817 u ∞ +0 1 +0 117.15/37.53 ∞ +0 1 +0 1041.35/291.94
Waldmann_07_size12/size-12-alpha-3-num-165.xml 11763890 u ∞ +0 1 +0 132.51/51.91 ∞ +0 1 +0 1035.91/291.62
Waldmann_07_size12/size-12-alpha-3-num-168.xml 11763581 u ∞ +0 1 +0 116.07/36.67 ∞ +0 1 +0 877.00/291.66
Waldmann_07_size12/size-12-alpha-3-num-17.xml 11763700 u ∞ +0 1 +0 105.66/31.54 ∞ +0 1 +0 696.71/291.61
Waldmann_07_size12/size-12-alpha-3-num-170.xml 11763638 is ∞ +0 1 +0 117.09/38.42 ∞ +0 n1 +2 1017.65/291.53
Waldmann_07_size12/size-12-alpha-3-num-174.xml 11763855 iu ∞ +0 1 +0 111.37/34.60 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-176.xml 11763713 iu ∞ +0 1 +0 104.82/31.40 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-177.xml 11763648 iu ∞ +0 1 +0 104.48/30.91 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-178.xml 11763708 iu ∞ +0 1 +0 168.66/76.59 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-179.xml 11763654 is ∞ +0 1 +0 172.00/78.28 ∞ +0 n1 +2 767.93/291.77
Waldmann_07_size12/size-12-alpha-3-num-180.xml 11763813 iu ∞ +0 1 +0 160.24/73.47 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-181.xml 11763898 u ∞ +0 1 +0 103.71/30.03 ∞ +0 1 +0 1042.77/291.54
Waldmann_07_size12/size-12-alpha-3-num-186.xml 11763903 u ∞ +0 1 +0 114.60/39.48 ∞ +0 1 +0 994.32/291.60
Waldmann_07_size12/size-12-alpha-3-num-19.xml 11763715 u ∞ +0 1 +0 110.30/32.66 ∞ +0 1 +0 1070.33/291.67
Waldmann_07_size12/size-12-alpha-3-num-190.xml 11763847 u ∞ +0 1 +0 105.62/30.94 ∞ +0 1 +0 1085.90/291.70
Waldmann_07_size12/size-12-alpha-3-num-191.xml 11763771 u ∞ +0 1 +0 105.75/30.82 ∞ +0 1 +0 1081.54/291.79
Waldmann_07_size12/size-12-alpha-3-num-194.xml 11763631 u ∞ +0 1 +0 106.60/33.03 ∞ +0 1 +0 1119.22/291.66
Waldmann_07_size12/size-12-alpha-3-num-195.xml 11763721 iu ∞ +0 1 +0 161.08/74.09 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-198.xml 11763781 is ∞ +0 1 +0 169.14/77.11 ∞ +0 n1 +2 812.90/292.98
Waldmann_07_size12/size-12-alpha-3-num-199.xml 11763836 iu ∞ +0 1 +0 178.91/81.12 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-20.xml 11763837 u ∞ +0 1 +0 125.82/40.90 ∞ +0 1 +0 1009.04/291.74
Waldmann_07_size12/size-12-alpha-3-num-200.xml 11763874 u ∞ +0 1 +0 116.67/35.34 ∞ +0 1 +0 975.96/291.69
Waldmann_07_size12/size-12-alpha-3-num-201.xml 11763827 u ∞ +0 1 +0 109.09/32.85 ∞ +0 1 +0 1008.01/291.77
Waldmann_07_size12/size-12-alpha-3-num-202.xml 11763695 u ∞ +0 1 +0 107.48/31.72 ∞ +0 1 +0 1130.05/291.73
Waldmann_07_size12/size-12-alpha-3-num-203.xml 11763576 u ∞ +0 1 +0 114.16/35.54 ∞ +0 1 +0 1095.67/291.75
Waldmann_07_size12/size-12-alpha-3-num-204.xml 11763574 u ∞ +0 1 +0 109.85/33.70 ∞ +0 1 +0 1090.62/291.99
Waldmann_07_size12/size-12-alpha-3-num-206.xml 11763824 iu ∞ +0 1 +0 104.65/31.55 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-207.xml 11763879 iu ∞ +0 1 +0 103.76/30.99 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-209.xml 11763885 iu ∞ +0 1 +0 104.57/30.66 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-21.xml 11763782 u ∞ +0 1 +0 173.78/77.88 ∞ +0 1 +0 1109.39/291.67
Waldmann_07_size12/size-12-alpha-3-num-210.xml 11763745 iu ∞ +0 1 +0 107.67/33.94 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-211.xml 11763869 is ∞ +0 1 +0 106.85/31.52 ∞ +0 n1 +2 1084.23/291.58
Waldmann_07_size12/size-12-alpha-3-num-213.xml 11763706 u ∞ +0 1 +0 171.04/77.07 ∞ +0 1 +0 764.31/296.03
Waldmann_07_size12/size-12-alpha-3-num-215.xml 11763658 u ∞ +0 1 +0 104.10/30.27 ∞ +0 1 +0 1114.34/291.75
Waldmann_07_size12/size-12-alpha-3-num-217.xml 11763754 u ∞ +0 1 +0 115.70/36.60 ∞ +0 1 +0 937.60/291.61
Waldmann_07_size12/size-12-alpha-3-num-219.xml 11763759 u ∞ +0 1 +0 112.74/34.57 ∞ +0 1 +0 807.74/291.71
Waldmann_07_size12/size-12-alpha-3-num-22.xml 11763739 u ∞ +0 1 +0 185.43/82.46 ∞ +0 1 +0 1139.85/291.67
Waldmann_07_size12/size-12-alpha-3-num-220.xml 11763620 u ∞ +0 1 +0 111.11/34.12 ∞ +0 1 +0 871.94/291.70
Waldmann_07_size12/size-12-alpha-3-num-221.xml 11763741 iu ∞ +0 1 +0 113.03/35.39 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-222.xml 11763785 u ∞ +0 1 +0 192.36/110.83 ∞ +0 1 +0 1131.13/291.79
Waldmann_07_size12/size-12-alpha-3-num-223.xml 11763838 u ∞ +0 1 +0 105.82/31.87 ∞ +0 1 +0 997.28/291.70
Waldmann_07_size12/size-12-alpha-3-num-224.xml 11763830 is ∞ +0 1 +0 108.61/33.34 ∞ +0 n1 +2 853.05/291.75
Waldmann_07_size12/size-12-alpha-3-num-225.xml 11763787 iu ∞ +0 1 +0 163.53/75.12 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-226.xml 11763732 u ∞ +0 1 +0 107.52/32.18 ∞ +0 1 +0 1030.24/291.69
Waldmann_07_size12/size-12-alpha-3-num-227.xml 11763623 u ∞ +0 1 +0 107.32/31.40 ∞ +0 1 +0 1017.32/291.60
Waldmann_07_size12/size-12-alpha-3-num-23.xml 11763617 u ∞ +0 1 +0 106.02/30.85 ∞ +0 1 +0 997.22/291.68
Waldmann_07_size12/size-12-alpha-3-num-231.xml 11763616 is ∞ +0 1 +0 175.82/88.63 ∞ +0 n1 +2 926.66/291.71
Waldmann_07_size12/size-12-alpha-3-num-232.xml 11763912 is ∞ +0 1 +0 124.26/44.22 ∞ +0 n1 +2 642.57/291.62
Waldmann_07_size12/size-12-alpha-3-num-233.xml 11763802 is ∞ +0 1 +0 143.07/59.18 ∞ +0 n1 +2 874.92/291.70
Waldmann_07_size12/size-12-alpha-3-num-236.xml 11763609 is ∞ +0 1 +0 197.19/113.37 ∞ +0 n1 +2 890.98/291.60
Waldmann_07_size12/size-12-alpha-3-num-237.xml 11763669 is ∞ +0 1 +0 289.19/204.33 ∞ +0 n1 +2 722.15/291.54
Waldmann_07_size12/size-12-alpha-3-num-238.xml 11763602 is ∞ +0 1 +0 122.30/38.64 ∞ +0 n1 +2 671.86/291.53
Waldmann_07_size12/size-12-alpha-3-num-239.xml 11763673 u ∞ +0 1 +0 105.99/30.91 ∞ +0 1 +0 774.09/291.77
Waldmann_07_size12/size-12-alpha-3-num-241.xml 11763804 iu ∞ +0 1 +0 120.57/41.16 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-243.xml 11763593 is ∞ +0 1 +0 108.83/32.93 ∞ +0 NonPoly +2 211.21/58.50
Waldmann_07_size12/size-12-alpha-3-num-247.xml 11763899 is ∞ +0 1 +0 148.18/67.33 ∞ +0 n1 +2 990.53/291.51
Waldmann_07_size12/size-12-alpha-3-num-248.xml 11763796 is ∞ +0 1 +0 121.51/38.55 ∞ +0 n1 +2 991.00/291.58
Waldmann_07_size12/size-12-alpha-3-num-249.xml 11763917 is ∞ +0 1 +0 106.92/30.68 ∞ +0 n1 +2 953.40/291.61
Waldmann_07_size12/size-12-alpha-3-num-255.xml 11763629 u ∞ +0 1 +0 120.77/39.92 ∞ +0 1 +0 942.21/291.70
Waldmann_07_size12/size-12-alpha-3-num-257.xml 11763772 u ∞ +0 1 +0 103.34/30.10 ∞ +0 1 +0 988.41/291.87
Waldmann_07_size12/size-12-alpha-3-num-260.xml 11763649 is ∞ +0 1 +0 484.44/291.41 ∞ +0 n1 +2 909.26/296.33
Waldmann_07_size12/size-12-alpha-3-num-263.xml 11763856 is ∞ +0 1 +0 204.57/81.55 ∞ +0 n1 +2 674.56/291.50
Waldmann_07_size12/size-12-alpha-3-num-265.xml 11763756 iu ∞ +0 1 +0 106.33/30.90 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-267.xml 11763639 u ∞ +0 1 +0 182.32/80.54 ∞ +0 1 +0 1019.55/291.52
Waldmann_07_size12/size-12-alpha-3-num-270.xml 11763693 is ∞ +0 1 +0 114.32/34.79 ∞ +0 n1 +2 715.73/291.67
Waldmann_07_size12/size-12-alpha-3-num-271.xml 11763585 is ∞ +0 1 +0 116.12/33.82 ∞ +0 n1 +2 715.69/291.65
Waldmann_07_size12/size-12-alpha-3-num-272.xml 11763889 is ∞ +0 1 +0 162.18/70.41 ∞ +0 n1 +2 987.85/291.72
Waldmann_07_size12/size-12-alpha-3-num-273.xml 11763816 u ∞ +0 1 +0 116.92/35.53 ∞ +0 1 +0 821.39/291.66
Waldmann_07_size12/size-12-alpha-3-num-274.xml 11763818 is ∞ +0 1 +0 163.14/75.71 ∞ +0 n1 +2 964.76/291.60
Waldmann_07_size12/size-12-alpha-3-num-275.xml 11763881 is ∞ +0 1 +0 234.15/93.70 ∞ +0 n1 +2 666.29/291.74
Waldmann_07_size12/size-12-alpha-3-num-279.xml 11763698 u ∞ +0 1 +0 280.79/190.73 ∞ +0 1 +0 811.48/291.54
Waldmann_07_size12/size-12-alpha-3-num-281.xml 11763777 iu ∞ +0 1 +0 118.36/35.47 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-282.xml 11763722 u ∞ +0 1 +0 106.24/31.81 ∞ +0 1 +0 965.56/291.65
Waldmann_07_size12/size-12-alpha-3-num-283.xml 11763632 u ∞ +0 1 +0 116.49/39.70 ∞ +0 1 +0 992.38/291.67
Waldmann_07_size12/size-12-alpha-3-num-284.xml 11763630 u ∞ +0 1 +0 103.52/30.76 ∞ +0 1 +0 967.55/293.05
Waldmann_07_size12/size-12-alpha-3-num-285.xml 11763730 iu ∞ +0 1 +0 103.54/31.07 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-286.xml 11763773 is ∞ +0 1 +0 154.49/70.31 ∞ +0 n1 +2 1013.30/291.68
Waldmann_07_size12/size-12-alpha-3-num-287.xml 11763848 u ∞ +0 1 +0 103.50/30.49 ∞ +0 1 +0 1011.95/291.68
Waldmann_07_size12/size-12-alpha-3-num-288.xml 11763790 iu ∞ +0 1 +0 102.51/30.09 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-289.xml 11763833 is ∞ +0 1 +0 168.04/75.98 ∞ +0 n1 +2 997.80/291.59
Waldmann_07_size12/size-12-alpha-3-num-291.xml 11763901 u ∞ +0 1 +0 208.90/110.43 ∞ +0 1 +0 645.03/291.52
Waldmann_07_size12/size-12-alpha-3-num-292.xml 11763592 u ∞ +0 1 +0 209.09/62.09 ∞ +0 1 +0 932.32/292.45
Waldmann_07_size12/size-12-alpha-3-num-293.xml 11763678 u ∞ +0 1 +0 110.70/33.95 ∞ +0 1 +0 1011.59/291.65
Waldmann_07_size12/size-12-alpha-3-num-294.xml 11763676 iu ∞ +0 1 +0 182.52/83.34 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-296.xml 11763896 is ∞ +0 1 +0 182.31/81.85 ∞ +0 n1 +2 691.19/291.60
Waldmann_07_size12/size-12-alpha-3-num-297.xml 11763812 is ∞ +0 1 +0 107.35/31.25 ∞ +0 n1 +2 689.67/291.66
Waldmann_07_size12/size-12-alpha-3-num-298.xml 11763916 is ∞ +0 1 +0 181.61/83.28 ∞ +0 NonPoly +2 185.23/49.40
Waldmann_07_size12/size-12-alpha-3-num-299.xml 11763795 u ∞ +0 1 +0 120.16/38.06 ∞ +0 1 +0 994.95/291.61
Waldmann_07_size12/size-12-alpha-3-num-3.xml 11763661 u ∞ +0 1 +0 115.62/35.25 ∞ +0 1 +0 943.77/291.73
Waldmann_07_size12/size-12-alpha-3-num-30.xml 11763798 is ∞ +0 1 +0 119.92/40.12 ∞ +0 n1 +2 1101.25/291.68
Waldmann_07_size12/size-12-alpha-3-num-300.xml 11763835 is ∞ +0 1 +0 119.97/37.85 ∞ +0 n1 +2 667.62/291.60
Waldmann_07_size12/size-12-alpha-3-num-301.xml 11763792 iu ∞ +0 1 +0 126.90/40.25 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-303.xml 11763627 iu ∞ +0 1 +0 180.51/81.22 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-304.xml 11763619 is ∞ +0 1 +0 172.43/77.02 ∞ +0 n1 +2 968.83/291.69
Waldmann_07_size12/size-12-alpha-3-num-309.xml 11763841 u ∞ +0 1 +0 183.85/62.04 ∞ +0 1 +0 917.10/291.66
Waldmann_07_size12/size-12-alpha-3-num-31.xml 11763907 u ∞ +0 1 +0 120.70/40.58 ∞ +0 1 +0 995.88/291.57
Waldmann_07_size12/size-12-alpha-3-num-32.xml 11763612 u ∞ +0 1 +0 108.22/30.59 ∞ +0 1 +0 883.93/291.63
Waldmann_07_size12/size-12-alpha-3-num-327.xml 11763580 is ∞ +0 1 +0 134.90/44.13 ∞ +0 n1 +2 988.03/291.78
Waldmann_07_size12/size-12-alpha-3-num-328.xml 11763692 u ∞ +0 1 +0 410.51/292.59 ∞ +0 1 +0 926.77/291.71
Waldmann_07_size12/size-12-alpha-3-num-330.xml 11763701 is ∞ +0 1 +0 218.90/126.61 ∞ +0 n1 +2 739.50/291.69
Waldmann_07_size12/size-12-alpha-3-num-335.xml 11763870 u ∞ +0 1 +0 269.44/164.75 ∞ +0 1 +0 901.41/291.63
Waldmann_07_size12/size-12-alpha-3-num-337.xml 11763709 u ∞ +0 1 +0 106.93/31.60 ∞ +0 1 +0 1055.87/291.71
Waldmann_07_size12/size-12-alpha-3-num-338.xml 11763650 u ∞ +0 1 +0 468.03/294.15 ∞ +0 1 +0 770.52/291.91
Waldmann_07_size12/size-12-alpha-3-num-339.xml 11763714 u ∞ +0 1 +0 588.88/293.76 ∞ +0 1 +0 992.54/291.65
Waldmann_07_size12/size-12-alpha-3-num-340.xml 11763859 u ∞ +0 1 +0 305.77/131.57 ∞ +0 1 +0 708.05/299.53
Waldmann_07_size12/size-12-alpha-3-num-341.xml 11763760 iu ∞ +0 1 +0 135.80/47.22 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-343.xml 11763643 u ∞ +0 1 +0 108.62/32.21 ∞ +0 1 +0 833.46/299.40
Waldmann_07_size12/size-12-alpha-3-num-345.xml 11763712 is ∞ +0 1 +0 138.49/46.76 ∞ +0 n1 +2 1026.97/291.85
Waldmann_07_size12/size-12-alpha-3-num-346.xml 11763766 iu ∞ +0 1 +0 136.12/47.78 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-347.xml 11763852 iu ∞ +0 1 +0 116.83/35.14 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-348.xml 11763746 u ∞ +0 1 +0 137.55/48.80 ∞ +0 1 +0 881.02/291.68
Waldmann_07_size12/size-12-alpha-3-num-35.xml 11763611 u ∞ +0 1 +0 117.48/37.58 ∞ +0 1 +0 922.39/291.62
Waldmann_07_size12/size-12-alpha-3-num-350.xml 11763821 u ∞ +0 1 +0 121.73/40.45 ∞ +0 1 +0 1063.83/292.16
Waldmann_07_size12/size-12-alpha-3-num-351.xml 11763884 iu ∞ +0 1 +0 109.36/32.14 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-352.xml 11763589 u ∞ +0 1 +0 112.84/33.50 ∞ +0 1 +0 751.60/295.07
Waldmann_07_size12/size-12-alpha-3-num-353.xml 11763688 is ∞ +0 1 +0 171.56/76.99 ∞ +0 NonPoly +2 25.63/8.48
Waldmann_07_size12/size-12-alpha-3-num-354.xml 11763691 iu ∞ +0 1 +0 647.17/294.08 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-355.xml 11763583 u ∞ +0 1 +0 469.93/293.88 ∞ +0 1 +0 790.08/291.82
Waldmann_07_size12/size-12-alpha-3-num-356.xml 11763887 u ∞ +0 1 +0 293.23/114.85 ∞ +0 1 +0 964.72/291.70
Waldmann_07_size12/size-12-alpha-3-num-359.xml 11763826 is ∞ +0 1 +0 172.33/83.73 ∞ +0 n1 +2 670.16/291.65
Waldmann_07_size12/size-12-alpha-3-num-360.xml 11763599 u ∞ +0 1 +0 578.06/294.11 ∞ +0 1 +0 931.56/291.58
Waldmann_07_size12/size-12-alpha-3-num-361.xml 11763671 is ∞ +0 1 +0 471.65/294.24 ∞ +0 n1 +2 936.85/291.69
Waldmann_07_size12/size-12-alpha-3-num-362.xml 11763806 is ∞ +0 1 +0 483.67/293.89 ∞ +0 n1 +2 970.75/291.60
Waldmann_07_size12/size-12-alpha-3-num-363.xml 11763891 is ∞ +0 1 +0 294.85/105.85 ∞ +0 n1 +2 850.04/291.50
Waldmann_07_size12/size-12-alpha-3-num-366.xml 11763679 u ∞ +0 1 +0 144.36/39.62 ∞ +0 1 +0 861.56/291.56
Waldmann_07_size12/size-12-alpha-3-num-367.xml 11763594 iu ∞ +0 1 +0 112.09/33.45 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-368.xml 11763660 iu ∞ +0 1 +0 532.46/293.06 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-369.xml 11763613 u ∞ +0 1 +0 466.22/246.42 ∞ +0 1 +0 803.92/292.10
Waldmann_07_size12/size-12-alpha-3-num-373.xml 11763770 is ∞ +0 1 +0 107.92/31.99 ∞ +0 n1 +2 960.28/291.63
Waldmann_07_size12/size-12-alpha-3-num-374.xml 11763780 u ∞ +0 1 +0 378.74/293.20 ∞ +0 1 +0 1127.81/291.86
Waldmann_07_size12/size-12-alpha-3-num-375.xml 11763845 is ∞ +0 1 +0 174.36/79.84 ∞ +0 n1 +2 1088.21/291.71
Waldmann_07_size12/size-12-alpha-3-num-376.xml 11763636 is ∞ +0 1 +0 172.63/76.95 ∞ +0 n1 +2 853.27/291.57
Waldmann_07_size12/size-12-alpha-3-num-377.xml 11763725 is ∞ +0 1 +0 121.03/35.37 ∞ +0 n1 +2 976.80/291.74
Waldmann_07_size12/size-12-alpha-3-num-378.xml 11763622 u ∞ +0 1 +0 109.73/33.25 ∞ +0 1 +0 1124.60/291.68
Waldmann_07_size12/size-12-alpha-3-num-382.xml 11763687 u ∞ +0 1 +0 473.51/293.88 ∞ +0 1 +0 1054.67/297.09
Waldmann_07_size12/size-12-alpha-3-num-383.xml 11763588 u ∞ +0 1 +0 287.77/106.24 ∞ +0 1 +0 1077.39/291.73
Waldmann_07_size12/size-12-alpha-3-num-384.xml 11763582 u ∞ +0 1 +0 513.35/293.79 ∞ +0 1 +0 1047.92/291.96
Waldmann_07_size12/size-12-alpha-3-num-385.xml 11763690 u ∞ +0 1 +0 592.38/293.80 ∞ +0 1 +0 1084.24/291.80
Waldmann_07_size12/size-12-alpha-3-num-386.xml 11763814 u ∞ +0 1 +0 263.00/91.27 ∞ +0 1 +0 1075.77/291.84
Waldmann_07_size12/size-12-alpha-3-num-389.xml 11763873 u ∞ +0 1 +0 135.27/47.01 ∞ +0 1 +0 1047.64/291.63
Waldmann_07_size12/size-12-alpha-3-num-391.xml 11763860 u ∞ +0 1 +0 373.96/181.65 ∞ +0 1 +0 1069.36/291.72
Waldmann_07_size12/size-12-alpha-3-num-392.xml 11763644 u ∞ +0 1 +0 113.69/35.24 ∞ +0 1 +0 1035.55/291.76
Waldmann_07_size12/size-12-alpha-3-num-395.xml 11763647 is ∞ +0 1 +0 144.29/52.42 ∞ +0 n1 +2 1055.36/291.74
Waldmann_07_size12/size-12-alpha-3-num-396.xml 11763854 is ∞ +0 1 +0 148.28/45.96 ∞ +0 n1 +2 978.09/291.61
Waldmann_07_size12/size-12-alpha-3-num-399.xml 11763747 u ∞ +0 1 +0 647.28/294.09 ∞ +0 1 +0 1084.24/294.14
Waldmann_07_size12/size-12-alpha-3-num-4.xml 11763664 u ∞ +0 1 +0 133.02/52.24 ∞ +0 1 +0 885.28/291.65
Waldmann_07_size12/size-12-alpha-3-num-40.xml 11763597 iu ∞ +0 1 +0 238.47/148.37 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-400.xml 11763635 u ∞ +0 1 +0 474.42/293.68 ∞ +0 1 +0 1044.55/296.09
Waldmann_07_size12/size-12-alpha-3-num-401.xml 11763724 u ∞ +0 1 +0 487.34/294.10 ∞ +0 1 +0 1043.35/292.52
Waldmann_07_size12/size-12-alpha-3-num-402.xml 11763779 u ∞ +0 1 +0 486.35/293.87 ∞ +0 1 +0 1031.52/291.80
Waldmann_07_size12/size-12-alpha-3-num-403.xml 11763844 iu ∞ +0 1 +0 296.36/114.62 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-406.xml 11763729 u ∞ +0 1 +0 473.92/293.76 ∞ +0 1 +0 994.13/291.75
Waldmann_07_size12/size-12-alpha-3-num-408.xml 11763737 u ∞ +0 1 +0 293.79/120.04 ∞ +0 1 +0 1094.42/291.76
Waldmann_07_size12/size-12-alpha-3-num-409.xml 11763625 u ∞ +0 1 +0 390.30/210.61 ∞ +0 1 +0 1093.44/291.71
Waldmann_07_size12/size-12-alpha-3-num-41.xml 11763682 u ∞ +0 1 +0 118.18/36.40 ∞ +0 1 +0 926.12/291.77
Waldmann_07_size12/size-12-alpha-3-num-410.xml 11763680 u ∞ +0 1 +0 356.84/147.70 ∞ +0 1 +0 1092.74/291.68
Waldmann_07_size12/size-12-alpha-3-num-412.xml 11763904 u ∞ +0 1 +0 140.17/51.73 ∞ +0 1 +0 1036.53/291.73
Waldmann_07_size12/size-12-alpha-3-num-413.xml 11763805 u ∞ +0 1 +0 150.37/60.39 ∞ +0 1 +0 965.99/291.68
Waldmann_07_size12/size-12-alpha-3-num-414.xml 11763807 u ∞ +0 1 +0 146.71/56.17 ∞ +0 1 +0 1002.68/291.81
Waldmann_07_size12/size-12-alpha-3-num-415.xml 11763892 u ∞ +0 1 +0 142.26/52.29 ∞ +0 1 +0 918.54/292.28
Waldmann_07_size12/size-12-alpha-3-num-416.xml 11763600 u ∞ +0 1 +0 150.05/51.40 ∞ +0 1 +0 1021.37/291.70
Waldmann_07_size12/size-12-alpha-3-num-417.xml 11763672 u ∞ +0 1 +0 142.54/50.94 ∞ +0 1 +0 918.62/292.05
Waldmann_07_size12/size-12-alpha-3-num-418.xml 11763605 u ∞ +0 1 +0 133.81/45.72 ∞ +0 1 +0 1027.17/299.25
Waldmann_07_size12/size-12-alpha-3-num-427.xml 11763883 u ∞ +0 1 +0 209.92/118.14 ∞ +0 1 +0 1099.22/291.80
Waldmann_07_size12/size-12-alpha-3-num-429.xml 11763878 is ∞ +0 1 +0 115.57/37.91 ∞ +0 n1 +2 959.07/291.62
Waldmann_07_size12/size-12-alpha-3-num-430.xml 11763767 u ∞ +0 1 +0 119.04/39.46 ∞ +0 1 +0 1129.33/291.69
Waldmann_07_size12/size-12-alpha-3-num-431.xml 11763853 u ∞ +0 1 +0 113.75/36.58 ∞ +0 1 +0 1087.68/291.61
Waldmann_07_size12/size-12-alpha-3-num-434.xml 11763720 is ∞ +0 1 +0 122.94/41.43 ∞ +0 n1 +2 946.44/291.64
Waldmann_07_size12/size-12-alpha-3-num-435.xml 11763645 u ∞ +0 1 +0 115.17/37.61 ∞ +0 1 +0 1130.47/291.86
Waldmann_07_size12/size-12-alpha-3-num-436.xml 11763861 is ∞ +0 1 +0 141.61/54.47 ∞ +0 n1 +2 1038.85/291.69
Waldmann_07_size12/size-12-alpha-3-num-437.xml 11763761 is ∞ +0 1 +0 145.76/57.63 ∞ +0 n1 +2 1001.64/291.68
Waldmann_07_size12/size-12-alpha-3-num-438.xml 11763866 is ∞ +0 1 +0 112.27/32.52 ∞ +0 n1 +2 985.28/291.67
Waldmann_07_size12/size-12-alpha-3-num-439.xml 11763755 is ∞ +0 1 +0 175.37/88.20 ∞ +0 n1 +2 664.26/291.58
Waldmann_07_size12/size-12-alpha-3-num-44.xml 11763893 u ∞ +0 1 +0 152.75/72.04 ∞ +0 1 +0 1130.00/291.71
Waldmann_07_size12/size-12-alpha-3-num-441.xml 11763710 is ∞ +0 1 +0 120.83/39.11 ∞ +0 n1 +2 671.38/291.64
Waldmann_07_size12/size-12-alpha-3-num-443.xml 11763872 is ∞ +0 1 +0 692.10/294.05 ∞ +0 n1 +2 1050.77/291.84
Waldmann_07_size12/size-12-alpha-3-num-446.xml 11763703 u ∞ +0 1 +0 150.72/68.52 ∞ +0 1 +0 790.58/292.47
Waldmann_07_size12/size-12-alpha-3-num-448.xml 11763717 is ∞ +0 1 +0 112.67/33.35 ∞ +0 n1 +2 771.97/291.68
Waldmann_07_size12/size-12-alpha-3-num-45.xml 11763809 u ∞ +0 1 +0 118.66/38.99 ∞ +0 1 +0 862.98/291.61
Waldmann_07_size12/size-12-alpha-3-num-450.xml 11763696 iu ∞ +0 1 +0 526.04/294.17 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-451.xml 11763578 u ∞ +0 1 +0 376.78/280.22 ∞ +0 1 +0 1127.35/291.66
Waldmann_07_size12/size-12-alpha-3-num-452.xml 11763875 u ∞ +0 1 +0 115.55/35.45 ∞ +0 1 +0 1120.76/291.83
Waldmann_07_size12/size-12-alpha-3-num-453.xml 11763828 u ∞ +0 1 +0 378.52/293.18 ∞ +0 1 +0 1078.88/291.66
Waldmann_07_size12/size-12-alpha-3-num-454.xml 11763822 u ∞ +0 1 +0 183.58/87.22 ∞ +0 1 +0 1123.46/295.13
Waldmann_07_size12/size-12-alpha-3-num-455.xml 11763876 u ∞ +0 1 +0 646.50/294.07 ∞ +0 1 +0 1089.91/296.31
Waldmann_07_size12/size-12-alpha-3-num-456.xml 11763572 is ∞ +0 1 +0 236.66/140.81 ∞ +0 n1 +2 993.27/291.74
Waldmann_07_size12/size-12-alpha-3-num-460.xml 11763906 u ∞ +0 1 +0 155.49/67.91 ∞ +0 1 +0 1051.20/292.08
Waldmann_07_size12/size-12-alpha-3-num-461.xml 11763797 u ∞ +0 1 +0 275.90/179.15 ∞ +0 1 +0 896.69/292.37
Waldmann_07_size12/size-12-alpha-3-num-462.xml 11763659 iu ∞ +0 1 +0 281.79/187.64 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-465.xml 11763670 u ∞ +0 1 +0 114.12/37.83 ∞ +0 1 +0 1088.55/291.81
Waldmann_07_size12/size-12-alpha-3-num-467.xml 11763915 u ∞ +0 1 +0 374.52/293.20 ∞ +0 1 +0 1112.91/291.77
Waldmann_07_size12/size-12-alpha-3-num-468.xml 11763811 u ∞ +0 1 +0 303.46/213.42 ∞ +0 1 +0 1113.56/291.76
Waldmann_07_size12/size-12-alpha-3-num-469.xml 11763895 iu ∞ +0 1 +0 137.14/37.32 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-47.xml 11763601 is ∞ +0 1 +0 140.00/43.49 ∞ +0 NonPoly +2 90.71/34.74
Waldmann_07_size12/size-12-alpha-3-num-470.xml 11763784 u ∞ +0 1 +0 375.65/293.16 ∞ +0 1 +0 1095.40/291.86
Waldmann_07_size12/size-12-alpha-3-num-472.xml 11763618 iu ∞ +0 1 +0 374.70/293.17 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-473.xml 11763740 u ∞ +0 1 +0 757.09/294.09 ∞ +0 1 +0 1050.19/291.92
Waldmann_07_size12/size-12-alpha-3-num-474.xml 11763738 u ∞ +0 1 +0 498.08/284.53 ∞ +0 1 +0 1070.37/291.78
Waldmann_07_size12/size-12-alpha-3-num-475.xml 11763626 u ∞ +0 1 +0 408.68/190.78 ∞ +0 1 +0 1082.92/294.29
Waldmann_07_size12/size-12-alpha-3-num-476.xml 11763834 u ∞ +0 1 +0 114.03/35.38 ∞ +0 1 +0 1084.81/291.75
Waldmann_07_size12/size-12-alpha-3-num-477.xml 11763791 is ∞ +0 1 +0 152.48/73.58 ∞ +0 n1 +2 974.18/291.56
Waldmann_07_size12/size-12-alpha-3-num-478.xml 11763849 u ∞ +0 1 +0 143.17/63.85 ∞ +0 1 +0 1108.09/291.90
Waldmann_07_size12/size-12-alpha-3-num-479.xml 11763775 u ∞ +0 1 +0 116.92/36.01 ∞ +0 1 +0 1102.65/291.87
Waldmann_07_size12/size-12-alpha-3-num-48.xml 11763667 is ∞ +0 1 +0 133.27/38.44 ∞ +0 n1 +2 773.42/291.58
Waldmann_07_size12/size-12-alpha-3-num-480.xml 11763579 is ∞ +0 1 +0 125.32/41.42 ∞ +0 n1 +2 983.66/291.63
Waldmann_07_size12/size-12-alpha-3-num-482.xml 11763829 is ∞ +0 1 +0 133.99/54.26 ∞ +0 n1 +2 1119.10/291.60
Waldmann_07_size12/size-12-alpha-3-num-484.xml 11763877 u ∞ +0 1 +0 114.16/34.66 ∞ +0 1 +0 1066.15/291.91
Waldmann_07_size12/size-12-alpha-3-num-485.xml 11763823 is ∞ +0 1 +0 115.13/39.73 ∞ +0 n1 +2 1075.36/291.69
Waldmann_07_size12/size-12-alpha-3-num-487.xml 11763573 u ∞ +0 1 +0 407.99/293.10 ∞ +0 1 +0 1051.61/294.98
Waldmann_07_size12/size-12-alpha-3-num-488.xml 11763685 is ∞ +0 1 +0 450.06/293.20 ∞ +0 n1 +2 1060.84/291.80
Waldmann_07_size12/size-12-alpha-3-num-489.xml 11763587 is ∞ +0 1 +0 391.12/293.19 ∞ +0 n1 +2 1084.70/291.67
Waldmann_07_size12/size-12-alpha-3-num-49.xml 11763607 is ∞ +0 1 +0 201.86/118.78 ∞ +0 n1 +2 667.51/291.58
Waldmann_07_size12/size-12-alpha-3-num-491.xml 11763655 is ∞ +0 1 +0 467.56/284.52 ∞ +0 n1 +2 1025.23/291.70
Waldmann_07_size12/size-12-alpha-3-num-492.xml 11763871 is ∞ +0 1 +0 235.64/89.66 ∞ +0 n1 +2 761.72/292.08
Waldmann_07_size12/size-12-alpha-3-num-493.xml 11763749 u ∞ +0 1 +0 251.28/91.88 ∞ +0 1 +0 1062.35/291.85
Waldmann_07_size12/size-12-alpha-3-num-494.xml 11763751 u ∞ +0 1 +0 177.14/86.96 ∞ +0 1 +0 790.70/294.55
Waldmann_07_size12/size-12-alpha-3-num-495.xml 11763863 u ∞ +0 1 +0 382.22/293.11 ∞ +0 1 +0 1093.36/293.40
Waldmann_07_size12/size-12-alpha-3-num-497.xml 11763702 u ∞ +0 1 +0 161.81/75.33 ∞ +0 1 +0 936.79/291.70
Waldmann_07_size12/size-12-alpha-3-num-498.xml 11763640 u ∞ +0 1 +0 725.47/294.06 ∞ +0 1 +0 1066.13/291.72
Waldmann_07_size12/size-12-alpha-3-num-499.xml 11763716 u ∞ +0 1 +0 114.42/34.31 ∞ +0 1 +0 1098.45/291.97
Waldmann_07_size12/size-12-alpha-3-num-502.xml 11763820 is ∞ +0 1 +0 1129.97/294.12 ∞ +0 n1 +2 1040.67/292.64
Waldmann_07_size12/size-12-alpha-3-num-503.xml 11763882 u ∞ +0 1 +0 646.25/293.54 ∞ +0 1 +0 1103.83/291.98
Waldmann_07_size12/size-12-alpha-3-num-506.xml 11763694 u ∞ +0 1 +0 135.44/55.57 ∞ +0 1 +0 1072.37/291.76
Waldmann_07_size12/size-12-alpha-3-num-507.xml 11763586 u ∞ +0 1 +0 377.97/293.14 ∞ +0 1 +0 1070.92/291.75
Waldmann_07_size12/size-12-alpha-3-num-508.xml 11763697 is ∞ +0 1 +0 1172.42/294.08 ∞ +0 n1 +2 1062.48/291.69
Waldmann_07_size12/size-12-alpha-3-num-51.xml 11763633 u ∞ +0 1 +0 139.26/59.13 ∞ +0 1 +0 1049.41/291.72
Waldmann_07_size12/size-12-alpha-3-num-511.xml 11763637 is ∞ +0 1 +0 192.85/90.91 ∞ +0 n1 +2 1070.53/291.88
Waldmann_07_size12/size-12-alpha-3-num-52.xml 11763843 u ∞ +0 1 +0 118.30/38.48 ∞ +0 1 +0 1070.51/291.73
Waldmann_07_size12/size-12-alpha-3-num-522.xml 11763731 iu ∞ +0 1 +0 503.37/294.17 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-526.xml 11763776 u ∞ +0 1 +0 182.85/84.19 ∞ +0 1 +0 973.64/292.18
Waldmann_07_size12/size-12-alpha-3-num-532.xml 11763604 is ∞ +0 1 +0 124.98/42.61 ∞ +0 n1 +2 1129.96/291.83
Waldmann_07_size12/size-12-alpha-3-num-535.xml 11763591 is ∞ +0 1 +0 348.96/155.98 ∞ +0 n1 +2 1117.46/292.22
Waldmann_07_size12/size-12-alpha-3-num-536.xml 11763900 is ∞ +0 1 +0 221.50/83.07 ∞ +0 n1 +2 1130.62/293.88
Waldmann_07_size12/size-12-alpha-3-num-540.xml 11763608 is ∞ +0 1 +0 115.76/34.73 ∞ +0 n1 +2 1128.19/297.90
Waldmann_07_size12/size-12-alpha-3-num-541.xml 11763666 is ∞ +0 1 +0 110.78/33.13 ∞ +0 n1 +2 975.24/291.79
Waldmann_07_size12/size-12-alpha-3-num-543.xml 11763913 is ∞ +0 1 +0 489.28/290.60 ∞ +0 n1 +2 1105.14/291.60
Waldmann_07_size12/size-12-alpha-3-num-545.xml 11763800 is ∞ +0 1 +0 185.51/89.34 ∞ +0 n1 +2 746.01/291.65
Waldmann_07_size12/size-12-alpha-3-num-546.xml 11763663 is ∞ +0 1 +0 188.65/106.84 ∞ +0 n1 +2 809.50/291.65
Waldmann_07_size12/size-12-alpha-3-num-547.xml 11763615 is ∞ +0 1 +0 126.55/44.38 ∞ +0 n1 +2 1075.36/291.64
Waldmann_07_size12/size-12-alpha-3-num-548.xml 11763683 is ∞ +0 1 +0 185.14/87.52 ∞ +0 n1 +2 786.50/293.27
Waldmann_07_size12/size-12-alpha-3-num-549.xml 11763596 is ∞ +0 1 +0 160.26/79.81 ∞ +0 n1 +2 1074.16/291.58
Waldmann_07_size12/size-12-alpha-3-num-550.xml 11763736 is ∞ +0 1 +0 168.52/75.88 ∞ +0 n1 +2 752.90/291.62
Waldmann_07_size12/size-12-alpha-3-num-551.xml 11763624 is ∞ +0 1 +0 117.81/36.85 ∞ +0 n1 +2 788.16/291.64
Waldmann_07_size12/size-12-alpha-3-num-552.xml 11763831 is ∞ +0 1 +0 177.55/80.51 ∞ +0 n1 +2 920.21/291.64
Waldmann_07_size12/size-12-alpha-3-num-553.xml 11763788 is ∞ +0 1 +0 176.44/79.60 ∞ +0 n1 +2 839.88/297.44
Waldmann_07_size12/size-12-alpha-3-num-556.xml 11763621 is ∞ +0 1 +0 185.86/87.20 ∞ +0 n1 +2 744.22/291.69
Waldmann_07_size12/size-12-alpha-3-num-558.xml 11763634 is ∞ +0 1 +0 121.00/41.10 ∞ +0 n1 +2 999.16/291.69
Waldmann_07_size12/size-12-alpha-3-num-559.xml 11763723 is ∞ +0 1 +0 126.59/44.99 ∞ +0 n1 +2 760.81/291.61
Waldmann_07_size12/size-12-alpha-3-num-560.xml 11763865 iu ∞ +0 1 +0 127.06/44.40 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-561.xml 11763753 iu ∞ +0 1 +0 122.82/42.18 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-563.xml 11763657 is ∞ +0 1 +0 116.20/36.50 ∞ +0 n1 +2 929.85/291.66
Waldmann_07_size12/size-12-alpha-3-num-564.xml 11763651 is ∞ +0 1 +0 148.64/68.75 ∞ +0 n1 +2 1011.38/291.66
Waldmann_07_size12/size-12-alpha-3-num-565.xml 11763704 is ∞ +0 1 +0 112.10/33.84 ∞ +0 n1 +2 766.09/291.59
Waldmann_07_size12/size-12-alpha-3-num-566.xml 11763744 is ∞ +0 1 +0 118.98/38.06 ∞ +0 n1 +2 801.07/291.65
Waldmann_07_size12/size-12-alpha-3-num-568.xml 11763765 iu ∞ +0 1 +0 117.44/35.66 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-57.xml 11763728 u ∞ +0 1 +0 172.65/77.20 ∞ +0 1 +0 838.07/291.89
Waldmann_07_size12/size-12-alpha-3-num-59.xml 11763735 is ∞ +0 1 +0 104.36/30.79 ∞ +0 n1 +2 995.51/291.61
Waldmann_07_size12/size-12-alpha-3-num-61.xml 11763764 u ∞ +0 1 +0 122.09/41.72 ∞ +0 1 +0 955.93/291.90
Waldmann_07_size12/size-12-alpha-3-num-64.xml 11763641 u ∞ +0 1 +0 120.17/37.30 ∞ +0 1 +0 1044.84/291.55
Waldmann_07_size12/size-12-alpha-3-num-65.xml 11763718 is ∞ +0 1 +0 107.25/31.46 ∞ +0 n1 +2 899.63/291.74
Waldmann_07_size12/size-12-alpha-3-num-66.xml 11763758 u ∞ +0 1 +0 106.35/31.50 ∞ +0 1 +0 961.07/291.65
Waldmann_07_size12/size-12-alpha-3-num-67.xml 11763858 u ∞ +0 1 +0 109.21/32.18 ∞ +0 1 +0 729.45/291.65
Waldmann_07_size12/size-12-alpha-3-num-7.xml 11763793 u ∞ +0 1 +0 110.85/33.44 ∞ +0 1 +0 1037.66/292.77
Waldmann_07_size12/size-12-alpha-3-num-70.xml 11763815 u ∞ +0 1 +0 105.73/31.83 ∞ +0 1 +0 932.97/291.72
Waldmann_07_size12/size-12-alpha-3-num-71.xml 11763888 is ∞ +0 1 +0 105.05/31.07 ∞ +0 n1 +2 335.31/291.70
Waldmann_07_size12/size-12-alpha-3-num-72.xml 11763584 is ∞ +0 1 +0 107.99/30.80 ∞ +0 n1 +2 345.60/291.56
Waldmann_07_size12/size-12-alpha-3-num-74.xml 11763689 u ∞ +0 1 +0 109.07/32.00 ∞ +0 1 +0 642.59/291.69
Waldmann_07_size12/size-12-alpha-3-num-76.xml 11763886 iu ∞ +0 1 +0 106.63/30.96 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-82.xml 11763778 u ∞ +0 1 +0 121.04/43.19 ∞ +0 1 +0 1136.85/291.78
Waldmann_07_size12/size-12-alpha-3-num-83.xml 11763842 is ∞ +0 1 +0 122.90/45.69 ∞ +0 n1 +2 633.55/291.48
Waldmann_07_size12/size-12-alpha-3-num-84.xml 11763846 u ∞ +0 1 +0 105.03/31.03 ∞ +0 1 +0 767.84/291.71
Waldmann_07_size12/size-12-alpha-3-num-85.xml 11763768 u ∞ +0 1 +0 171.69/76.84 ∞ +0 1 +0 924.73/291.59
Waldmann_07_size12/size-12-alpha-3-num-86.xml 11763726 u ∞ +0 1 +0 106.16/30.60 ∞ +0 1 +0 900.89/291.69
Waldmann_07_size12/size-12-alpha-3-num-88.xml 11763733 u ∞ +0 1 +0 174.94/77.90 ∞ +0 1 +0 688.80/291.63
Waldmann_07_size12/size-12-alpha-3-num-9.xml 11763808 u ∞ +0 1 +0 107.63/32.38 ∞ +0 1 +0 936.12/291.72
Waldmann_07_size12/size-12-alpha-3-num-90.xml 11763684 u ∞ +0 1 +0 140.59/61.28 ∞ +0 1 +0 990.62/291.58
Waldmann_07_size12/size-12-alpha-3-num-91.xml 11763598 is ∞ +0 1 +0 169.66/90.79 ∞ +0 n1 +2 343.73/291.61
Waldmann_07_size12/size-12-alpha-3-num-92.xml 11763905 is ∞ +0 1 +0 148.20/56.93 ∞ +0 n1 +2 663.59/291.58
Waldmann_07_size12/size-12-alpha-3-num-94.xml 11763810 u ∞ +0 1 +0 103.35/30.92 ∞ +0 1 +0 920.06/291.69
Waldmann_07_size12/size-12-alpha-3-num-95.xml 11763894 u ∞ +0 1 +0 111.57/35.54 ∞ +0 1 +0 935.64/291.54
Waldmann_07_size12/size-12-alpha-3-num-98.xml 11763610 is ∞ +0 1 +0 157.40/68.95 ∞ +0 n1 +2 1087.23/291.62
Waldmann_07_size12/size-12-alpha-3-num-99.xml 11763668 u ∞ +0 1 +0 110.22/32.36 ∞ +0 1 +0 953.58/292.60
Secret_07_TRS/1.xml 11763919 u ∞ +0 1 +0 418.52/293.20 ∞ +0 1 +0 652.62/294.49
Secret_07_TRS/2.xml 11763920 iu ∞ +0 1 +0 93.84/27.58 timeout (wallclock)
Secret_07_TRS/3.xml 11763923 u ∞ +0 1 +0 348.11/212.16 ∞ +0 1 +0 993.36/291.72
Secret_07_TRS/4.xml 11763922 iu ∞ +0 1 +0 143.51/53.06 timeout (wallclock)
Secret_07_TRS/5.xml 11763921 u ∞ +0 1 +0 544.36/293.20 ∞ +0 1 +0 1023.10/292.63
Secret_07_TRS/7.xml 11763918 is ∞ +0 1 +0 642.63/291.63 n1 +2 1 +0 713.20/298.79
CiME_04/dpqs.xml 11763554 n1 +2 1 +0 7.30/4.24 n1 +2 1 +0 303.78/291.65
CiME_04/filliatre.xml 11763555 is ∞ +0 1 +0 407.29/293.20 ∞ +0 n1 +2 1139.37/292.50
CiME_04/filliatre2.xml 11763553 iu ∞ +0 1 +0 381.86/293.13 timeout (wallclock)
Secret_05_SRS/aprove1.xml 11763563 iu ∞ +0 1 +0 537.56/291.35 timeout (wallclock)
Secret_05_SRS/aprove2.xml 11763565 is ∞ +0 1 +0 266.35/126.77 ∞ +0 n1 +2 1109.00/292.35
Secret_05_SRS/aprove3.xml 11763570 is ∞ +0 1 +0 589.70/293.75 ∞ +0 n1 +2 1071.21/291.60
Secret_05_SRS/aprove4.xml 11763568 u ∞ +0 1 +0 289.81/163.47 ∞ +0 1 +0 1065.54/291.87
Secret_05_SRS/aprove5.xml 11763566 is ∞ +0 1 +0 586.20/293.74 ∞ +0 n1 +2 1108.89/294.28
Secret_05_SRS/jambox1.xml 11763567 u ∞ +0 1 +0 675.12/294.09 ∞ +0 1 +0 1102.21/295.55
Secret_05_SRS/jambox2.xml 11763560 u ∞ +0 1 +0 435.83/294.15 ∞ +0 1 +0 975.39/292.53
Secret_05_SRS/jambox3.xml 11763557 iu ∞ +0 1 +0 154.87/47.21 timeout (wallclock)
Secret_05_SRS/jambox4.xml 11763556 u ∞ +0 1 +0 490.01/293.25 ∞ +0 1 +0 1084.62/291.69
Secret_05_SRS/jambox5.xml 11763561 u ∞ +0 1 +0 131.65/46.16 ∞ +0 1 +0 1105.25/291.71
Secret_05_SRS/matchbox1.xml 11763569 is n9 +2 1 +0 573.27/294.16 ∞ +0 1 +0 1091.02/291.95
Secret_05_SRS/matchbox2.xml 11763558 is n1 +2 1 +0 131.27/69.15 ∞ +0 n1 +2 1156.26/291.66
Secret_05_SRS/torpa1.xml 11763571 is ∞ +0 1 +0 218.28/85.67 ∞ +0 n1 +2 1097.44/292.43
Secret_05_SRS/torpa2.xml 11763559 u ∞ +0 1 +0 812.66/293.88 ∞ +0 1 +0 1070.59/291.73
Secret_05_SRS/torpa3.xml 11763564 is n1 +2 1 +0 100.24/30.12 ∞ +0 1 +0 1071.95/291.74
Secret_05_SRS/torpa4.xml 11763562 iu ∞ +0 1 +0 563.54/294.13 timeout (wallclock)
AProVE_06/identity.xml 11763551 is ∞ +0 1 +0 374.42/280.19 ∞ +0 n1 +2 1134.16/291.70
AProVE_06/nonterm.xml 11763552 is ∞ +0 1 +0 784.37/293.14 ∞ +0 NonPoly +2 4.53/1.98
AProVE_06/tower_sizeChange.xml 11763550 is ∞ +0 1 +0 353.65/222.01 ∞ +0 n1 +2 1138.84/295.55
Mixed_TRS/1.xml 11764141 n1 +2 1 +0 70.72/45.58 n1 +2 1 +0 1145.64/296.49
Mixed_TRS/2.xml 11764137 u ∞ +0 1 +0 382.70/293.10 ∞ +0 1 +0 956.34/294.99
Mixed_TRS/4.xml 11764135 n1 +2 1 +0 32.00/19.76 n1 +2 1 +0 922.10/291.64
Mixed_TRS/6.xml 11764142 u ∞ +0 1 +0 230.08/134.61 ∞ +0 1 +0 1003.02/291.79
Mixed_TRS/beans.xml 11764138 iu ∞ +0 1 +0 195.16/93.46 timeout (wallclock)
Mixed_TRS/Ex1_Luc04b_GM.xml 11764143 is ∞ +0 1 +0 463.19/293.16 ∞ +0 n1 +2 1141.88/291.60
Mixed_TRS/jones1.xml 11764139 is n2 +2 1 +0 86.65/30.11 n2 +2 n1 +2 311.93/291.60
Mixed_TRS/jones4.xml 11764136 is n1 +2 1 +0 0.19/0.12 n1 +2 n1 +2 4.79/2.05
Mixed_TRS/jones6.xml 11764140 is n2 +2 1 +0 83.10/30.17 n2 +2 n1 +2 315.32/291.61
Bouchare_06/01.xml 11764147 u ∞ +0 1 +0 134.51/47.55 ∞ +0 1 +0 1111.12/291.76
Bouchare_06/02.xml 11764158 is n1 +2 1 +0 80.56/30.22 ∞ +0 1 +0 1099.46/291.94
Bouchare_06/03.xml 11764155 u ∞ +0 1 +0 214.24/120.32 ∞ +0 1 +0 1047.81/291.72
Bouchare_06/04.xml 11764154 u ∞ +0 1 +0 264.11/147.23 ∞ +0 1 +0 1115.31/291.79
Bouchare_06/05.xml 11764159 u ∞ +0 1 +0 172.49/76.45 ∞ +0 1 +0 1071.64/291.70
Bouchare_06/06.xml 11764146 u ∞ +0 1 +0 647.64/294.01 ∞ +0 1 +0 1111.75/291.93
Bouchare_06/07.xml 11764153 u ∞ +0 1 +0 807.24/293.85 ∞ +0 1 +0 1117.62/292.95
Bouchare_06/08.xml 11764148 u ∞ +0 1 +0 729.94/293.78 ∞ +0 1 +0 1058.82/291.77
Bouchare_06/09.xml 11764152 u ∞ +0 1 +0 211.53/116.74 ∞ +0 1 +0 1082.11/291.81
Bouchare_06/10.xml 11764144 u ∞ +0 1 +0 393.83/293.15 ∞ +0 1 +0 1110.93/291.83
Bouchare_06/11.xml 11764150 u ∞ +0 1 +0 363.33/278.35 ∞ +0 1 +0 1077.75/291.70
Bouchare_06/12.xml 11764156 is ∞ +0 1 +0 306.89/129.95 ∞ +0 n1 +2 724.45/291.62
Bouchare_06/13.xml 11764161 u ∞ +0 1 +0 423.30/293.16 ∞ +0 1 +0 1117.61/291.73
Bouchare_06/14.xml 11764160 u ∞ +0 1 +0 369.33/293.10 ∞ +0 1 +0 1116.39/291.74
Bouchare_06/15.xml 11764157 u ∞ +0 1 +0 337.66/235.39 ∞ +0 1 +0 1082.09/291.71
Bouchare_06/16.xml 11764149 u ∞ +0 1 +0 252.76/167.83 ∞ +0 1 +0 1125.51/291.89
Bouchare_06/17.xml 11764145 u ∞ +0 1 +0 144.42/60.01 ∞ +0 1 +0 1128.57/291.86
Bouchare_06/18.xml 11764151 u ∞ +0 1 +0 461.53/293.19 ∞ +0 1 +0 1125.86/291.74
Trafo_06/dup01.xml 11764084 u timeout (wallclock) timeout (wallclock)
Trafo_06/dup05.xml 11764104 iu ∞ +0 1 +0 962.59/294.11 timeout (wallclock)
Trafo_06/dup06.xml 11764082 iu ∞ +0 1 +0 730.13/293.81 timeout (wallclock)
Trafo_06/dup07.xml 11764093 iu ∞ +0 1 +0 664.53/294.10 timeout (wallclock)
Trafo_06/dup08.xml 11764086 iu ∞ +0 1 +0 1009.75/294.24 timeout (wallclock)
Trafo_06/dup09.xml 11764091 u ∞ +0 1 +0 1064.52/294.09 ∞ +0 1 +0 927.75/292.81
Trafo_06/dup10.xml 11764077 iu timeout (wallclock) ∞ +0 1 +0 821.59/291.92
Trafo_06/dup11.xml 11764089 iu timeout (wallclock) ∞ +0 1 +0 796.82/292.42
Trafo_06/dup12.xml 11764099 u ∞ +0 1 +0 742.76/294.09 ∞ +0 1 +0 874.69/292.10
Trafo_06/dup13.xml 11764109 u ∞ +0 1 +0 939.73/294.01 ∞ +0 1 +0 728.82/296.35
Trafo_06/dup14.xml 11764107 u ∞ +0 1 +0 947.14/294.03 ∞ +0 1 +0 784.46/300.11
Trafo_06/dup15.xml 11764101 u ∞ +0 1 +0 631.20/294.11 ∞ +0 1 +0 1050.68/292.17
Trafo_06/dup16.xml 11764087 is n1 +2 1 +0 482.36/291.48 ∞ +0 1 +0 939.04/292.42
Trafo_06/dup17.xml 11764079 u ∞ +0 1 +0 734.08/293.23 ∞ +0 1 +0 1033.41/294.06
Trafo_06/hom01.xml 11764097 u ∞ +0 1 +0 791.89/293.85 ∞ +0 1 +0 1047.31/292.27
Trafo_06/hom02.xml 11764094 u ∞ +0 1 +0 495.96/294.19 ∞ +0 1 +0 915.61/291.91
Trafo_06/hom03.xml 11764081 iu timeout (wallclock) ∞ +0 1 +0 729.97/292.06
Trafo_06/un02.xml 11764083 iu timeout (wallclock) ∞ +0 1 +0 836.83/291.82
Trafo_06/un04.xml 11764092 u ∞ +0 1 +0 872.75/294.10 ∞ +0 1 +0 776.01/293.14
Trafo_06/un05.xml 11764085 iu ∞ +0 1 +0 506.81/293.72 timeout (wallclock)
Trafo_06/un06.xml 11764103 u ∞ +0 1 +0 929.99/294.13 ∞ +0 1 +0 1098.63/296.69
Trafo_06/un07.xml 11764096 iu ∞ +0 1 +0 821.93/294.17 timeout (wallclock)
Trafo_06/un08.xml 11764105 u ∞ +0 1 +0 525.97/291.01 ∞ +0 1 +0 899.00/292.15
Trafo_06/un09.xml 11764095 u ∞ +0 1 +0 1141.90/294.99 ∞ +0 1 +0 825.74/292.20
Trafo_06/un10.xml 11764106 u timeout (wallclock) timeout (wallclock)
Trafo_06/un11.xml 11764100 iu ∞ +0 1 +0 1142.27/294.14 timeout (wallclock)
Trafo_06/un12.xml 11764088 u timeout (wallclock) timeout (wallclock)
Trafo_06/un13.xml 11764080 iu timeout (wallclock) ∞ +0 1 +0 695.76/300.70
Trafo_06/un14.xml 11764078 iu timeout (wallclock) ∞ +0 1 +0 987.91/292.12
Trafo_06/un15.xml 11764090 u ∞ +0 1 +0 825.65/294.08 ∞ +0 1 +0 993.58/297.03
Trafo_06/un16.xml 11764098 iu ∞ +0 1 +0 885.52/293.97 timeout (wallclock)
Trafo_06/un17.xml 11764108 iu ∞ +0 1 +0 952.75/294.08 timeout (wallclock)
Trafo_06/un18.xml 11764102 u ∞ +0 1 +0 938.06/294.02 ∞ +0 1 +0 1033.57/291.99
Waldmann_07_size11/size-11-alpha-2-num-1.xml 11764133 u ∞ +0 1 +0 187.54/79.33 ∞ +0 1 +0 964.02/291.68
Waldmann_07_size11/size-11-alpha-2-num-2.xml 11764112 u ∞ +0 1 +0 247.38/89.48 ∞ +0 1 +0 989.78/291.73
Waldmann_07_size11/size-11-alpha-2-num-3.xml 11764117 u ∞ +0 1 +0 128.50/36.78 ∞ +0 1 +0 1042.93/291.93
Waldmann_07_size11/size-11-alpha-2-num-4.xml 11764116 u ∞ +0 1 +0 194.07/100.98 ∞ +0 1 +0 1064.58/291.75
Waldmann_07_size11/size-11-alpha-3-num-1.xml 11764132 u ∞ +0 1 +0 113.73/32.96 ∞ +0 1 +0 738.91/291.72
Waldmann_07_size11/size-11-alpha-3-num-10.xml 11764128 u ∞ +0 1 +0 109.09/32.21 ∞ +0 1 +0 942.38/291.59
Waldmann_07_size11/size-11-alpha-3-num-11.xml 11764125 is ∞ +0 1 +0 366.33/269.69 ∞ +0 n1 +2 984.45/291.62
Waldmann_07_size11/size-11-alpha-3-num-12.xml 11764120 is ∞ +0 1 +0 139.19/52.61 ∞ +0 n1 +2 663.32/291.69
Waldmann_07_size11/size-11-alpha-3-num-13.xml 11764115 u ∞ +0 1 +0 369.71/293.11 ∞ +0 1 +0 1119.54/294.09
Waldmann_07_size11/size-11-alpha-3-num-14.xml 11764114 is ∞ +0 1 +0 383.44/293.19 ∞ +0 n1 +2 1009.58/291.61
Waldmann_07_size11/size-11-alpha-3-num-15.xml 11764121 u ∞ +0 1 +0 171.73/77.64 ∞ +0 1 +0 1118.12/292.10
Waldmann_07_size11/size-11-alpha-3-num-16.xml 11764124 is ∞ +0 1 +0 142.70/64.78 ∞ +0 n1 +2 935.02/291.59
Waldmann_07_size11/size-11-alpha-3-num-17.xml 11764129 u ∞ +0 1 +0 118.94/38.69 ∞ +0 1 +0 947.60/291.64
Waldmann_07_size11/size-11-alpha-3-num-18.xml 11764123 iu ∞ +0 1 +0 101.77/30.07 timeout (wallclock)
Waldmann_07_size11/size-11-alpha-3-num-19.xml 11764130 u ∞ +0 1 +0 103.76/30.10 ∞ +0 1 +0 1102.37/291.71
Waldmann_07_size11/size-11-alpha-3-num-2.xml 11764110 is ∞ +0 1 +0 199.29/102.50 ∞ +0 n1 +2 720.99/291.76
Waldmann_07_size11/size-11-alpha-3-num-20.xml 11764122 u ∞ +0 1 +0 114.84/36.52 ∞ +0 1 +0 1011.87/292.76
Waldmann_07_size11/size-11-alpha-3-num-21.xml 11764113 u ∞ +0 1 +0 102.47/30.09 ∞ +0 1 +0 969.10/291.79
Waldmann_07_size11/size-11-alpha-3-num-3.xml 11764119 u ∞ +0 1 +0 118.17/37.82 ∞ +0 1 +0 955.65/291.66
Waldmann_07_size11/size-11-alpha-3-num-4.xml 11764118 u ∞ +0 1 +0 283.57/191.53 ∞ +0 1 +0 937.63/291.66
Waldmann_07_size11/size-11-alpha-3-num-5.xml 11764111 u ∞ +0 1 +0 189.40/94.62 ∞ +0 1 +0 932.91/291.65
Waldmann_07_size11/size-11-alpha-3-num-6.xml 11764131 u ∞ +0 1 +0 107.01/30.95 ∞ +0 1 +0 695.91/291.62
Waldmann_07_size11/size-11-alpha-3-num-7.xml 11764127 u ∞ +0 1 +0 103.81/30.50 ∞ +0 1 +0 938.66/291.57
Waldmann_07_size11/size-11-alpha-3-num-8.xml 11764134 u ∞ +0 1 +0 106.66/31.42 ∞ +0 1 +0 934.79/291.66
Waldmann_07_size11/size-11-alpha-3-num-9.xml 11764126 is ∞ +0 1 +0 107.34/32.07 ∞ +0 n1 +2 909.45/291.54
Strategy_removed_CSR_05/Ex1_Zan97.xml 11764002 is ∞ +0 1 +0 175.38/64.95 ∞ +0 NonPoly +2 3.64/1.74
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 11764004 is ∞ +0 1 +0 150.50/59.86 ∞ +0 NonPoly +2 3.93/1.84
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 11764006 is ∞ +0 1 +0 95.12/30.08 ∞ +0 NonPoly +2 3.53/1.64
Strategy_removed_CSR_05/Ex5_Zan97.xml 11764003 is ∞ +0 1 +0 111.07/38.84 ∞ +0 NonPoly +2 3.66/1.84
Strategy_removed_CSR_05/Ex6_GM04.xml 11764001 is ∞ +0 1 +0 101.37/30.11 ∞ +0 NonPoly +2 3.43/1.58
Strategy_removed_CSR_05/ExConc_Zan97.xml 11763999 is ∞ +0 1 +0 107.88/30.10 ∞ +0 NonPoly +2 3.60/1.77
Strategy_removed_CSR_05/ExIntrod_GM01.xml 11764000 is ∞ +0 1 +0 203.15/121.84 ∞ +0 NonPoly +2 3.96/1.68
Strategy_removed_CSR_05/ExIntrod_GM04.xml 11764005 is ∞ +0 1 +0 202.26/120.58 ∞ +0 NonPoly +2 3.91/1.75
Zantema_05/jw01.xml 11764012 n1 +2 1 +0 105.12/65.91 n1 +2 1 +0 608.99/291.48
Zantema_05/jw02.xml 11764074 n1 +2 1 +0 689.43/293.12 n1 +2 1 +0 745.76/291.51
Zantema_05/jw03.xml 11764051 n1 +2 1 +0 22.13/14.81 n1 +2 1 +0 581.85/291.56
Zantema_05/jw04.xml 11764052 n1 +2 1 +0 24.43/15.68 n1 +2 1 +0 578.84/291.51
Zantema_05/jw05.xml 11764073 n1 +2 1 +0 578.72/293.12 n1 +2 1 +0 780.81/291.50
Zantema_05/jw06.xml 11764014 n1 +2 1 +0 74.50/43.86 n1 +2 1 +0 604.79/291.63
Zantema_05/jw07.xml 11764026 n1 +2 1 +0 30.62/17.90 n1 +2 1 +0 1124.44/292.45
Zantema_05/jw08.xml 11764016 n1 +2 1 +0 96.92/66.14 n1 +2 1 +0 1129.09/292.89
Zantema_05/jw09.xml 11764025 n1 +2 1 +0 20.29/14.35 n1 +2 1 +0 1121.58/291.51
Zantema_05/jw11.xml 11764037 n1 +2 1 +0 245.54/225.63 n1 +2 1 +0 928.47/293.41
Zantema_05/jw12.xml 11764048 is n1 +2 1 +0 320.56/293.12 timeout (wallclock)
Zantema_05/jw13.xml 11764060 is n1 +2 1 +0 41.16/34.13 timeout (wallclock)
Zantema_05/jw14.xml 11764061 n1 +2 1 +0 16.76/13.74 n1 +2 1 +0 936.32/292.19
Zantema_05/jw15.xml 11764047 n1 +2 1 +0 22.38/14.58 n1 +2 1 +0 1118.03/291.66
Zantema_05/jw16.xml 11764038 n1 +2 1 +0 28.59/16.53 n1 +2 1 +0 956.66/291.50
Zantema_05/jw17.xml 11764018 n1 +2 1 +0 69.09/43.60 n1 +2 1 +0 1104.90/291.51
Zantema_05/jw18.xml 11764040 n1 +2 1 +0 84.51/56.13 n1 +2 1 +0 690.44/291.60
Zantema_05/jw19.xml 11764017 n1 +2 1 +0 37.76/25.94 n1 +2 1 +0 1122.29/291.71
Zantema_05/jw20.xml 11764046 n1 +2 1 +0 18.51/12.97 n1 +2 1 +0 918.89/291.48
Zantema_05/jw21.xml 11764062 n1 +2 1 +0 31.96/17.45 n1 +2 1 +0 606.89/291.48
Zantema_05/jw22.xml 11764020 n1 +2 1 +0 84.07/53.31 n1 +2 1 +0 761.59/291.62
Zantema_05/jw23.xml 11764035 n1 +2 1 +0 23.49/14.99 n1 +2 1 +0 582.86/291.49
Zantema_05/jw24.xml 11764036 n1 +2 1 +0 19.56/13.10 n1 +2 1 +0 801.37/291.47
Zantema_05/jw25.xml 11764019 n1 +2 1 +0 18.61/13.26 n1 +2 1 +0 802.74/291.49
Zantema_05/jw26.xml 11764063 n1 +2 1 +0 22.78/15.21 n1 +2 1 +0 579.07/291.47
Zantema_05/jw27.xml 11764044 n1 +2 1 +0 86.49/53.49 n1 +2 1 +0 813.81/291.51
Zantema_05/jw28.xml 11764064 n1 +2 1 +0 27.43/16.56 n1 +2 1 +0 609.50/291.51
Zantema_05/jw29.xml 11764042 n1 +2 1 +0 19.14/13.35 n1 +2 1 +0 980.51/291.53
Zantema_05/jw30.xml 11764072 n1 +2 1 +0 37.22/23.59 n1 +2 1 +0 1137.93/296.60
Zantema_05/jw31.xml 11764054 n1 +2 1 +0 70.37/47.11 n1 +2 1 +0 690.17/291.51
Zantema_05/jw32.xml 11764028 n1 +2 1 +0 60.15/39.50 n1 +2 1 +0 1128.90/293.03
Zantema_05/jw33.xml 11764010 n1 +2 1 +0 24.57/15.14 n1 +2 1 +0 825.72/291.51
Zantema_05/jw34.xml 11764011 n1 +2 1 +0 22.32/14.95 n1 +2 1 +0 1135.57/295.66
Zantema_05/jw35.xml 11764027 is n1 +2 1 +0 16.51/13.77 timeout (wallclock)
Zantema_05/jw36.xml 11764055 is n1 +2 1 +0 70.66/56.48 timeout (wallclock)
Zantema_05/jw37.xml 11764070 is n1 +2 1 +0 327.54/293.12 timeout (wallclock)
Zantema_05/jw38.xml 11764056 is n1 +2 1 +0 72.94/56.72 timeout (wallclock)
Zantema_05/jw39.xml 11764068 n1 +2 1 +0 78.45/47.06 n1 +2 1 +0 1126.69/291.65
Zantema_05/jw40.xml 11764030 n1 +2 1 +0 27.51/16.60 n1 +2 1 +0 1127.45/292.38
Zantema_05/jw41.xml 11764009 n1 +2 1 +0 115.70/67.14 n1 +2 1 +0 1144.41/296.62
Zantema_05/jw42.xml 11764066 n1 +2 1 +0 25.14/15.81 n1 +2 1 +0 1140.40/296.67
Zantema_05/jw43.xml 11764058 n1 +2 1 +0 6.03/5.61 n1 +2 1 +0 635.88/291.49
Zantema_05/jw44.xml 11764057 is n2 +2 1 +0 100.86/31.88 ∞ +0 1 +0 1135.01/293.44
Zantema_05/jw47.xml 11764032 is n2 +2 1 +0 131.35/61.70 ∞ +0 1 +0 1151.03/296.70
Zantema_05/jw50.xml 11764021 n1 +2 1 +0 5.29/4.79 n1 +2 1 +0 656.53/291.48
Zantema_05/z01.xml 11764043 iu ∞ +0 1 +0 181.74/86.80 timeout (wallclock)
Zantema_05/z02.xml 11764033 n1 +2 1 +0 18.25/14.11 n1 +2 1 +0 1114.61/292.09
Zantema_05/z03.xml 11764022 is n1 +2 1 +0 23.70/15.34 timeout (wallclock)
Zantema_05/z05.xml 11764034 u ∞ +0 1 +0 246.20/117.73 ∞ +0 1 +0 1133.06/296.73
Zantema_05/z06.xml 11764041 u ∞ +0 1 +0 98.15/30.09 ∞ +0 1 +0 949.06/292.63
Zantema_05/z07.xml 11764065 is ∞ +0 1 +0 105.33/30.03 n1 +2 1 +0 1138.69/296.55
Zantema_05/z08.xml 11764045 is n1 +2 1 +0 91.71/30.15 ∞ +0 1 +0 930.89/291.95
Zantema_05/z11.xml 11764069 is ∞ +0 1 +0 101.63/30.09 n1 +2 1 +0 1099.74/293.74
Zantema_05/z12.xml 11764007 is ∞ +0 1 +0 495.41/291.07 ∞ +0 n1 +2 1115.56/291.67
Zantema_05/z13.xml 11764031 is ∞ +0 1 +0 381.06/293.57 ∞ +0 n1 +2 1129.93/294.30
Zantema_05/z14.xml 11764029 is ∞ +0 1 +0 363.81/293.13 ∞ +0 n1 +2 1115.28/291.55
Zantema_05/z15.xml 11764008 is ∞ +0 1 +0 761.29/293.09 ∞ +0 n1 +2 1123.61/291.71
Zantema_05/z16.xml 11764067 is ∞ +0 1 +0 366.55/293.02 ∞ +0 n1 +2 1112.28/291.51
Zantema_05/z17.xml 11764059 is ∞ +0 1 +0 659.21/293.12 ∞ +0 n1 +2 1119.31/291.52
Zantema_05/z18.xml 11764071 is ∞ +0 1 +0 374.83/293.07 ∞ +0 n1 +2 1122.17/291.53
Zantema_05/z19.xml 11764053 u ∞ +0 1 +0 480.17/293.10 ∞ +0 1 +0 1120.76/292.07
Zantema_05/z20.xml 11764015 u ∞ +0 1 +0 106.71/30.14 ∞ +0 1 +0 951.08/291.87
Zantema_05/z21.xml 11764024 u ∞ +0 1 +0 1132.09/293.05 ∞ +0 1 +0 1129.27/296.45
Zantema_05/z22.xml 11764049 u ∞ +0 1 +0 372.81/293.35 ∞ +0 1 +0 1103.35/296.58
Zantema_05/z23.xml 11764076 is ∞ +0 1 +0 544.85/293.12 ∞ +0 n1 +2 1118.26/291.58
Zantema_05/z24.xml 11764075 is ∞ +0 1 +0 379.90/293.12 ∞ +0 n1 +2 1120.96/291.51
Zantema_05/z25.xml 11764050 u ∞ +0 1 +0 486.72/251.56 ∞ +0 1 +0 1131.80/296.66
Zantema_05/z26.xml 11764023 is n2 +2 1 +0 69.69/30.27 timeout (wallclock)
Zantema_05/z29.xml 11764013 is ∞ +0 1 +0 106.16/30.08 ∞ +0 n1 +2 1075.11/291.53
Zantema_05/z30.xml 11764039 n1 +2 1 +0 652.10/293.14 n1 +2 1 +0 616.98/291.57
HirokawaMiddeldorp_04/n002.xml 11763981 is ∞ +0 1 +0 105.96/30.12 ∞ +0 NonPoly +2 3.47/1.56
HirokawaMiddeldorp_04/n003.xml 11763985 is ∞ +0 1 +0 101.58/30.12 ∞ +0 NonPoly +2 3.35/1.54
HirokawaMiddeldorp_04/n004.xml 11763984 is ∞ +0 1 +0 103.90/30.11 ∞ +0 NonPoly +2 3.69/1.60
HirokawaMiddeldorp_04/n005.xml 11763982 is ∞ +0 1 +0 107.42/30.12 ∞ +0 NonPoly +2 3.53/5.63
HirokawaMiddeldorp_04/n006.xml 11763979 is ∞ +0 1 +0 102.73/30.09 ∞ +0 NonPoly +2 3.67/2.92
HirokawaMiddeldorp_04/n008.xml 11763978 u ∞ +0 1 +0 106.46/30.05 ∞ +0 1 +0 623.97/291.49
HirokawaMiddeldorp_04/t000.xml 11763973 is n4 +2 1 +0 505.06/291.90 ∞ +0 1 +0 1154.45/291.90
HirokawaMiddeldorp_04/t004.xml 11763986 is ∞ +0 1 +0 106.86/33.61 ∞ +0 NonPoly +2 10.03/3.31
HirokawaMiddeldorp_04/t006.xml 11763977 i n1 +2 1 +0 0.12/0.05 n2 +1 1 +0 310.12/291.48
HirokawaMiddeldorp_04/t007.xml 11763972 n1 +2 1 +0 89.95/30.12 n1 +2 1 +0 305.73/291.46
HirokawaMiddeldorp_04/t008.xml 11763976 is n2 +2 1 +0 83.94/30.12 n2 +2 n1 +2 1093.33/291.54
HirokawaMiddeldorp_04/t009.xml 11763974 iu ∞ +0 1 +0 1168.29/293.45 timeout (wallclock)
HirokawaMiddeldorp_04/t010.xml 11763980 n1 +2 1 +0 93.65/30.10 n1 +2 1 +0 310.51/291.50
HirokawaMiddeldorp_04/t011.xml 11763975 is n2 +2 1 +0 102.16/30.17 n2 +2 n1 +2 323.42/291.53
HirokawaMiddeldorp_04/t012.xml 11763983 is ∞ +0 1 +0 157.68/75.80 ∞ +0 n1 +2 1012.21/291.76
Secret_06_TRS/10.xml 11763994 is n1 +2 1 +0 119.23/74.62 ∞ +0 1 +0 926.89/291.56
Secret_06_TRS/2.xml 11763995 u ∞ +0 1 +0 400.28/293.14 ∞ +0 1 +0 1099.53/291.65
Secret_06_TRS/3.xml 11763998 u ∞ +0 1 +0 128.34/40.86 ∞ +0 1 +0 1050.26/291.63
Secret_06_TRS/4.xml 11763997 u ∞ +0 1 +0 193.69/76.10 ∞ +0 1 +0 1105.40/292.48
Secret_06_TRS/5.xml 11763996 u ∞ +0 1 +0 119.66/38.02 ∞ +0 1 +0 1028.41/292.16
Secret_06_TRS/6.xml 11763990 is n2 +2 1 +0 79.91/30.13 ∞ +0 1 +0 1087.69/291.60
Secret_06_TRS/7.xml 11763988 is n2 +2 1 +0 140.39/61.83 timeout (wallclock)
Secret_06_TRS/8.xml 11763991 n1 +2 1 +0 100.15/86.14 n1 +2 1 +0 1068.21/291.56
Secret_06_TRS/9.xml 11763987 n1 +2 1 +0 8.14/5.04 n1 +2 1 +0 1128.92/292.18
Secret_06_TRS/tpa01.xml 11763993 u ∞ +0 1 +0 19.85/15.18 ∞ +0 1 +0 1123.89/294.39
Secret_06_TRS/tpa02.xml 11763992 u ∞ +0 1 +0 100.16/30.04 ∞ +0 1 +0 1124.07/291.64
Secret_06_TRS/tpa03.xml 11763989 u ∞ +0 1 +0 20.79/16.80 ∞ +0 1 +0 1073.17/291.59
Secret_05_TRS/matchbox2.xml 11764222 n1 +2 1 +0 446.27/293.05 n1 +2 1 +0 540.09/291.54
Secret_05_TRS/teparla1.xml 11764218 u ∞ +0 1 +0 351.07/225.97 ∞ +0 1 +0 1131.74/294.78
Secret_05_TRS/teparla2.xml 11764219 iu ∞ +0 1 +0 35.13/27.24 timeout (wallclock)
Secret_05_TRS/teparla3.xml 11764220 u ∞ +0 1 +0 127.31/37.33 ∞ +0 1 +0 1112.56/292.57
Secret_05_TRS/ttt2.xml 11764221 is ∞ +0 1 +0 109.15/30.03 ∞ +0 NonPoly +2 3.77/4.49
Various_04/07.xml 11764229 n1 +2 1 +0 0.16/0.06 n1 +2 1 +0 312.81/291.55
Various_04/15.xml 11764224 is ∞ +0 1 +0 106.97/32.08 ∞ +0 n1 +2 922.34/291.60
Various_04/18.xml 11764226 is n3 +2 1 +0 193.51/99.45 n3 +2 n1 +2 336.23/291.50
Various_04/19.xml 11764231 is ∞ +0 1 +0 106.19/31.49 ∞ +0 n1 +2 1081.33/291.63
Various_04/21.xml 11764223 is n7 +2 1 +0 1126.53/292.37 ∞ +0 1 +0 1167.35/296.76
Various_04/23.xml 11764228 is n2 +2 1 +0 82.73/30.12 n2 +2 n1 +2 331.80/291.50
Various_04/24.xml 11764227 is n1 +2 1 +0 175.32/86.69 ∞ +0 n1 +2 1055.79/291.55
Various_04/25.xml 11764230 n1 +2 1 +0 0.57/0.18 n1 +2 1 +0 307.10/291.51
Various_04/27.xml 11764225 n1 +2 1 +0 0.26/0.11 n1 +2 1 +0 308.71/291.50
AotoYamada_05/005.xml 11764193 is n2 +2 1 +0 105.80/33.54 ∞ +0 1 +0 1116.30/291.67
AotoYamada_05/017.xml 11764196 n1 +2 1 +0 0.11/0.05 n1 +2 1 +0 1027.66/291.55
AotoYamada_05/023.xml 11764194 is n2 +2 1 +0 91.13/30.12 n2 +2 n1 +2 318.50/291.46
AotoYamada_05/025.xml 11764195 n1 +2 1 +0 0.08/0.04 n1 +2 1 +0 311.11/291.48
Secret_07_SRS/dj.xml 11764217 iu ∞ +0 1 +0 114.35/30.05 timeout (wallclock)
Secret_07_SRS/num-514.xml 11764204 iu ∞ +0 1 +0 619.68/293.64 timeout (wallclock)
Secret_07_SRS/num-515.xml 11764205 is ∞ +0 1 +0 198.61/85.99 ∞ +0 n1 +2 1099.43/300.54
Secret_07_SRS/num-518.xml 11764210 is ∞ +0 1 +0 589.84/293.13 ∞ +0 n1 +2 1109.01/291.57
Secret_07_SRS/num-519.xml 11764216 is ∞ +0 1 +0 146.40/42.44 ∞ +0 n1 +2 920.77/295.19
Secret_07_SRS/num-520.xml 11764207 is ∞ +0 1 +0 646.87/294.03 ∞ +0 n1 +2 1041.37/291.54
Secret_07_SRS/num-521.xml 11764201 is ∞ +0 1 +0 469.69/294.12 ∞ +0 n1 +2 1104.71/291.51
Secret_07_SRS/num-525.xml 11764215 is ∞ +0 1 +0 551.08/260.53 ∞ +0 n1 +2 1024.09/291.53
Secret_07_SRS/num-527.xml 11764209 is ∞ +0 1 +0 466.74/202.22 ∞ +0 n1 +2 986.48/291.62
Secret_07_SRS/num-530.xml 11764198 u ∞ +0 1 +0 226.83/105.59 ∞ +0 1 +0 1123.82/292.08
Secret_07_SRS/num-539.xml 11764197 is ∞ +0 1 +0 228.23/99.13 ∞ +0 n1 +2 1123.17/296.11
Secret_07_SRS/x01.xml 11764202 is ∞ +0 1 +0 183.35/103.82 ∞ +0 n1 +2 1050.76/291.75
Secret_07_SRS/x02.xml 11764213 is ∞ +0 1 +0 180.51/99.08 ∞ +0 n1 +2 906.35/291.60
Secret_07_SRS/x03.xml 11764212 u ∞ +0 1 +0 646.44/293.50 ∞ +0 1 +0 1036.33/291.65
Secret_07_SRS/x04.xml 11764211 u ∞ +0 1 +0 220.59/81.57 ∞ +0 1 +0 985.73/292.65
Secret_07_SRS/x05.xml 11764214 is ∞ +0 1 +0 480.08/293.05 ∞ +0 n1 +2 1057.04/291.54
Secret_07_SRS/x06.xml 11764200 u ∞ +0 1 +0 402.45/293.12 ∞ +0 1 +0 1013.83/292.77
Secret_07_SRS/x07.xml 11764208 u ∞ +0 1 +0 373.52/179.52 ∞ +0 1 +0 1057.36/293.33
Secret_07_SRS/x08.xml 11764203 iu ∞ +0 1 +0 488.80/291.83 timeout (wallclock)
Secret_07_SRS/x09.xml 11764206 iu ∞ +0 1 +0 846.80/291.20 timeout (wallclock)
Secret_07_SRS/x10.xml 11764199 iu ∞ +0 1 +0 106.69/30.21 timeout (wallclock)
Endrullis_06/direct.xml 11764167 is n1 +2 1 +0 12.54/6.89 ∞ +0 n1 +2 1132.56/291.74
Endrullis_06/linear1.xml 11764168 u ∞ +0 1 +0 115.89/33.58 ∞ +0 1 +0 916.19/296.00
Endrullis_06/linear2.xml 11764172 u ∞ +0 1 +0 180.09/72.21 ∞ +0 1 +0 886.53/291.89
Endrullis_06/pair3rotate.xml 11764171 u ∞ +0 1 +0 211.82/106.10 ∞ +0 1 +0 1142.27/296.62
Endrullis_06/pair3swap.xml 11764170 u ∞ +0 1 +0 52.71/14.16 ∞ +0 1 +0 795.07/297.21
Endrullis_06/quadruple1.xml 11764169 n1 +2 1 +0 62.27/45.70 n1 +2 1 +0 1156.53/296.52
Endrullis_06/quadruple2.xml 11764173 n1 +2 1 +0 4.73/2.18 n1 +2 1 +0 1144.25/295.74
Waldmann_06_SRS/e.xml 11764181 is n3 +2 1 +0 411.36/294.07 ∞ +0 n1 +2 1099.08/292.14
Waldmann_06_SRS/jw1.xml 11764179 u ∞ +0 1 +0 681.49/294.03 ∞ +0 1 +0 1041.82/291.71
Waldmann_06_SRS/jw3.xml 11764185 is ∞ +0 1 +0 649.04/294.02 ∞ +0 n1 +2 1052.77/291.50
Waldmann_06_SRS/jw4.xml 11764186 iu ∞ +0 1 +0 924.06/294.02 timeout (wallclock)
Waldmann_06_SRS/jw5.xml 11764192 u ∞ +0 1 +0 1146.95/294.07 ∞ +0 1 +0 968.60/291.80
Waldmann_06_SRS/pi.xml 11764180 is n2 +2 1 +0 383.37/293.47 ∞ +0 1 +0 1136.07/294.17
Waldmann_06_SRS/sym-1.xml 11764191 u ∞ +0 1 +0 102.00/30.14 ∞ +0 1 +0 1050.32/291.57
Waldmann_06_SRS/sym-2.xml 11764176 iu ∞ +0 1 +0 112.44/36.27 timeout (wallclock)
Waldmann_06_SRS/sym-4.xml 11764183 u ∞ +0 1 +0 103.88/30.13 ∞ +0 1 +0 993.45/291.60
Waldmann_06_SRS/sym-5.xml 11764178 u ∞ +0 1 +0 422.09/293.78 ∞ +0 1 +0 1037.14/291.66
Waldmann_06_SRS/sym-6.xml 11764190 u ∞ +0 1 +0 97.52/30.10 ∞ +0 1 +0 1053.17/291.67
Waldmann_06_SRS/uni-1.xml 11764187 u ∞ +0 1 +0 100.51/30.07 ∞ +0 1 +0 917.92/291.62
Waldmann_06_SRS/uni-2.xml 11764184 u ∞ +0 1 +0 182.52/79.49 ∞ +0 1 +0 758.01/292.65
Waldmann_06_SRS/uni-3.xml 11764175 iu ∞ +0 1 +0 183.33/70.10 timeout (wallclock)
Waldmann_06_SRS/uni-4.xml 11764177 u ∞ +0 1 +0 236.27/107.48 ∞ +0 1 +0 710.69/292.62
Waldmann_06_SRS/uni-5.xml 11764182 u ∞ +0 1 +0 142.74/53.62 ∞ +0 1 +0 1046.21/296.58
Waldmann_06_SRS/uni-6.xml 11764188 u ∞ +0 1 +0 781.30/294.03 ∞ +0 1 +0 1115.11/295.46
Waldmann_06_SRS/uni-7.xml 11764189 u ∞ +0 1 +0 596.57/293.90 ∞ +0 1 +0 856.83/294.98
Waldmann_06_SRS/z086-variant.xml 11764174 u ∞ +0 1 +0 402.18/273.10 ∞ +0 1 +0 1088.02/291.73
Applicative_05/Ex2_6_1Composition.xml 11764162 n1 +2 1 +0 0.10/0.06 n1 +2 1 +0 307.27/291.47
Applicative_05/ReverseLastInit.xml 11764163 is n3 +2 1 +0 106.89/30.09 ∞ +0 1 +0 1116.16/291.84
Applicative_05/TypeEx5.xml 11764164 is ∞ +0 1 +0 128.34/40.47 ∞ +0 NonPoly +2 3.62/2.43
AProVE_08/round.xml 11764165 is ∞ +0 1 +0 62.23/51.34 ∞ +0 n1 +2 1107.90/291.60
AProVE_08/round_nonterm.xml 11764166 is ∞ +0 1 +0 499.54/292.88 ∞ +0 NonPoly +2 3.81/1.70
Zantema_04/syracuse.xml 11765101 is ∞ +0 1 +0 819.65/294.03 ∞ +0 n1 +2 1080.65/291.53
Zantema_04/z001.xml 11765107 u ∞ +0 1 +0 389.53/173.84 ∞ +0 1 +0 1034.09/291.53
Zantema_04/z002.xml 11765183 is n1 +2 1 +0 63.11/45.03 timeout (wallclock)
Zantema_04/z003.xml 11765144 is n1 +2 1 +0 212.74/106.75 n1 +2 n1 +2 3.99/1.76
Zantema_04/z004.xml 11765140 is n1 +2 1 +0 362.75/294.12 n1 +2 n1 +2 3.83/2.13
Zantema_04/z005.xml 11765184 n1 +2 1 +0 193.67/126.67 n1 +2 1 +0 828.59/293.01
Zantema_04/z006.xml 11765104 i n2 +2 1 +0 95.85/30.12 n3 +1 1 +0 301.38/291.50
Zantema_04/z007.xml 11765124 is n2 +2 1 +0 95.67/30.12 ∞ +0 1 +0 1096.69/293.75
Zantema_04/z008.xml 11765102 is n4 +2 1 +0 745.61/294.04 timeout (wallclock)
Zantema_04/z009.xml 11765126 is n3 +2 1 +0 918.93/294.03 timeout (wallclock)
Zantema_04/z010.xml 11765074 is ∞ +0 1 +0 416.11/293.13 ∞ +0 n1 +2 1059.11/291.56
Zantema_04/z011.xml 11765122 u ∞ +0 1 +0 429.50/294.37 ∞ +0 1 +0 1090.09/291.70
Zantema_04/z012.xml 11765167 u ∞ +0 1 +0 693.63/294.02 ∞ +0 1 +0 1127.24/291.57
Zantema_04/z013.xml 11765189 u ∞ +0 1 +0 460.52/294.11 ∞ +0 1 +0 1100.63/291.71
Zantema_04/z014.xml 11765187 u ∞ +0 1 +0 381.36/293.04 ∞ +0 1 +0 1095.93/291.58
Zantema_04/z015.xml 11765168 iu ∞ +0 1 +0 181.00/90.26 timeout (wallclock)
Zantema_04/z017.xml 11765075 is ∞ +0 1 +0 390.11/293.04 ∞ +0 n1 +2 1127.14/294.40
Zantema_04/z018.xml 11765120 is ∞ +0 1 +0 400.51/293.13 ∞ +0 n1 +2 1064.31/291.62
Zantema_04/z019.xml 11765076 u ∞ +0 1 +0 442.89/293.22 ∞ +0 1 +0 1098.30/294.33
Zantema_04/z020.xml 11765156 is ∞ +0 1 +0 483.67/293.12 ∞ +0 n1 +2 1061.57/291.58
Zantema_04/z021.xml 11765199 iu ∞ +0 1 +0 762.64/293.81 timeout (wallclock)
Zantema_04/z022.xml 11765084 iu ∞ +0 1 +0 428.81/294.07 timeout (wallclock)
Zantema_04/z023.xml 11765112 u ∞ +0 1 +0 262.45/143.71 ∞ +0 1 +0 1095.67/292.71
Zantema_04/z024.xml 11765111 is n1 +2 1 +0 364.19/294.00 timeout (wallclock)
Zantema_04/z025.xml 11765089 is n2 +2 1 +0 103.74/30.06 ∞ +0 1 +0 1107.52/291.67
Zantema_04/z026.xml 11765198 is ∞ +0 1 +0 826.00/294.03 ∞ +0 n1 +2 1043.97/291.69
Zantema_04/z027.xml 11765159 n1 +2 1 +0 974.75/293.76 n1 +2 1 +0 1111.76/291.71
Zantema_04/z028.xml 11765196 u ∞ +0 1 +0 923.81/296.59 ∞ +0 1 +0 567.08/291.76
Zantema_04/z029.xml 11765162 n1 +2 1 +0 933.29/293.95 n1 +2 1 +0 1101.04/291.77
Zantema_04/z030.xml 11765170 u ∞ +0 1 +0 923.44/296.09 ∞ +0 1 +0 1111.10/292.06
Zantema_04/z031.xml 11765154 u ∞ +0 1 +0 932.62/294.91 ∞ +0 1 +0 1107.88/291.72
Zantema_04/z032.xml 11765134 is n1 +2 1 +0 927.15/294.08 timeout (wallclock)
Zantema_04/z033.xml 11765093 is n1 +2 1 +0 991.10/294.15 timeout (wallclock)
Zantema_04/z034.xml 11765092 u ∞ +0 1 +0 813.36/294.08 ∞ +0 1 +0 1109.91/291.95
Zantema_04/z035.xml 11765139 iu ∞ +0 1 +0 993.69/294.14 timeout (wallclock)
Zantema_04/z036.xml 11765153 u ∞ +0 1 +0 913.33/294.02 ∞ +0 1 +0 1119.84/292.96
Zantema_04/z037.xml 11765173 is ∞ +0 1 +0 919.77/296.23 n1 +2 1 +0 800.51/296.19
Zantema_04/z038.xml 11765151 u ∞ +0 1 +0 927.07/294.09 ∞ +0 1 +0 772.63/291.76
Zantema_04/z039.xml 11765176 n1 +2 1 +0 937.26/294.09 n1 +2 1 +0 1120.77/295.37
Zantema_04/z040.xml 11765133 n1 +2 1 +0 920.52/295.54 n1 +2 1 +0 904.20/295.27
Zantema_04/z041.xml 11765097 iu ∞ +0 1 +0 927.69/293.90 timeout (wallclock)
Zantema_04/z042.xml 11765178 is ∞ +0 1 +0 931.71/294.07 ∞ +0 NonPoly +2 4.28/1.74
Zantema_04/z043.xml 11765148 is n1 +2 1 +0 989.24/293.79 n1 +2 n1 +2 3.64/1.59
Zantema_04/z044.xml 11765150 is ∞ +0 1 +0 653.38/294.03 ∞ +0 NonPoly +2 3.93/1.69
Zantema_04/z045.xml 11765175 is timeout (wallclock) n1 +2 n1 +2 7.29/2.59
Zantema_04/z046.xml 11765099 is ∞ +0 1 +0 925.02/294.06 ∞ +0 NonPoly +2 3.89/1.69
Zantema_04/z047.xml 11765130 is n1 +2 1 +0 997.70/293.76 n1 +2 n1 +2 7.19/2.53
Zantema_04/z048.xml 11765091 n1 +2 1 +0 1009.29/294.11 n1 +2 1 +0 1114.51/291.55
Zantema_04/z049.xml 11765138 n1 +2 1 +0 316.85/293.85 n1 +2 1 +0 775.74/292.11
Zantema_04/z050.xml 11765081 n1 +2 1 +0 331.60/293.76 n1 +2 1 +0 754.29/292.90
Zantema_04/z051.xml 11765114 n1 +2 1 +0 759.61/294.08 n1 +2 1 +0 1117.19/291.62
Zantema_04/z052.xml 11765163 n1 +2 1 +0 317.94/294.06 n1 +2 1 +0 1119.23/291.75
Zantema_04/z053.xml 11765192 n1 +2 1 +0 444.32/293.95 n1 +2 1 +0 1118.04/291.65
Zantema_04/z054.xml 11765194 n1 +2 1 +0 785.19/294.08 n1 +2 1 +0 1109.43/291.88
Zantema_04/z055.xml 11765160 is n1 +2 1 +0 372.29/293.94 timeout (wallclock)
Zantema_04/z056.xml 11765117 is n1 +2 1 +0 791.12/294.08 timeout (wallclock)
Zantema_04/z057.xml 11765079 is n1 +2 1 +0 784.27/294.07 timeout (wallclock)
Zantema_04/z058.xml 11765108 n1 +2 1 +0 783.16/294.08 n1 +2 1 +0 738.77/292.14
Zantema_04/z059.xml 11765086 n1 +2 1 +0 769.71/293.62 n1 +2 1 +0 849.66/291.66
Zantema_04/z060.xml 11765166 n1 +2 1 +0 778.30/294.07 n1 +2 1 +0 1036.04/291.56
Zantema_04/z061.xml 11765190 n1 +2 1 +0 319.43/294.03 n1 +2 1 +0 391.99/291.47
Zantema_04/z062.xml 11765078 n1 +2 1 +0 321.09/294.06 n1 +2 1 +0 1097.38/291.54
Zantema_04/z063.xml 11765119 n1 +2 1 +0 309.67/294.04 n1 +2 1 +0 1115.16/294.34
Zantema_04/z064.xml 11765121 n1 +2 1 +0 649.28/294.03 n1 +2 1 +0 1102.27/291.94
Zantema_04/z065.xml 11765077 is ∞ +0 1 +0 1167.72/293.78 ∞ +0 n1 +2 1050.18/291.54
Zantema_04/z066.xml 11765191 is n2 +2 1 +0 1153.68/294.04 ∞ +0 1 +0 1088.16/292.40
Zantema_04/z067.xml 11765165 is n3 +2 1 +0 949.19/294.04 ∞ +0 1 +0 1089.18/292.51
Zantema_04/z068.xml 11765188 is n2 +2 1 +0 442.21/293.79 timeout (wallclock)
Zantema_04/z069.xml 11765169 u ∞ +0 1 +0 1171.42/294.04 ∞ +0 1 +0 1099.63/291.82
Zantema_04/z070.xml 11765181 u ∞ +0 1 +0 699.82/293.76 ∞ +0 1 +0 1097.90/294.36
Zantema_04/z071.xml 11765145 u ∞ +0 1 +0 156.28/68.21 ∞ +0 1 +0 1116.58/297.71
Zantema_04/z072.xml 11765128 is ∞ +0 1 +0 700.47/294.02 ∞ +0 n1 +2 1097.48/292.24
Zantema_04/z073.xml 11765100 is ∞ +0 1 +0 1172.13/294.02 ∞ +0 n1 +2 1072.70/291.55
Zantema_04/z074.xml 11765103 is ∞ +0 1 +0 860.41/294.02 ∞ +0 n1 +2 1064.94/291.89
Zantema_04/z075.xml 11765127 is ∞ +0 1 +0 677.77/294.02 ∞ +0 n1 +2 1039.67/291.90
Zantema_04/z076.xml 11765146 is ∞ +0 1 +0 325.09/198.30 ∞ +0 n1 +2 1059.29/291.55
Zantema_04/z077.xml 11765179 is ∞ +0 1 +0 409.61/293.05 ∞ +0 n1 +2 1074.88/293.73
Zantema_04/z078.xml 11765142 is ∞ +0 1 +0 163.08/70.90 ∞ +0 n1 +2 1080.61/291.57
Zantema_04/z079.xml 11765186 is ∞ +0 1 +0 653.02/294.02 ∞ +0 n1 +2 1102.70/291.60
Zantema_04/z080.xml 11765115 is ∞ +0 1 +0 346.80/263.95 ∞ +0 n1 +2 1022.76/291.72
Zantema_04/z081.xml 11765082 u ∞ +0 1 +0 475.58/293.36 ∞ +0 1 +0 1104.97/293.13
Zantema_04/z082.xml 11765193 u ∞ +0 1 +0 150.82/51.60 ∞ +0 1 +0 1084.97/291.70
Zantema_04/z083.xml 11765164 is ∞ +0 1 +0 716.61/293.75 ∞ +0 n1 +2 1104.55/295.13
Zantema_04/z084.xml 11765161 is n2 +2 1 +0 83.35/30.07 ∞ +0 1 +0 1023.37/291.70
Zantema_04/z085.xml 11765195 is n1 +2 1 +0 80.14/30.16 ∞ +0 1 +0 905.40/291.57
Zantema_04/z086.xml 11765080 u ∞ +0 1 +0 1170.80/294.03 ∞ +0 1 +0 1056.16/292.03
Zantema_04/z087.xml 11765118 u ∞ +0 1 +0 1172.56/294.02 ∞ +0 1 +0 1046.98/291.72
Zantema_04/z088.xml 11765087 u ∞ +0 1 +0 266.40/155.04 ∞ +0 1 +0 1106.25/292.73
Zantema_04/z089.xml 11765109 u ∞ +0 1 +0 199.08/76.50 ∞ +0 1 +0 1113.05/295.20
Zantema_04/z090.xml 11765096 is ∞ +0 1 +0 166.86/70.44 ∞ +0 n1 +2 974.72/291.51
Zantema_04/z091.xml 11765132 is n8 +2 1 +0 1171.65/294.05 ∞ +0 n1 +2 1091.86/291.62
Zantema_04/z092.xml 11765147 is n2 +2 1 +0 477.09/294.15 ∞ +0 1 +0 1122.84/291.99
Zantema_04/z093.xml 11765177 u ∞ +0 1 +0 78.11/25.42 ∞ +0 1 +0 1066.34/294.05
Zantema_04/z094.xml 11765174 u ∞ +0 1 +0 711.06/294.02 ∞ +0 1 +0 1104.27/291.65
Zantema_04/z095.xml 11765149 is n1 +2 1 +0 886.95/290.96 timeout (wallclock)
Zantema_04/z096.xml 11765129 iu ∞ +0 1 +0 786.54/293.11 timeout (wallclock)
Zantema_04/z097.xml 11765098 is n1 +2 1 +0 951.03/293.08 timeout (wallclock)
Zantema_04/z098.xml 11765137 iu ∞ +0 1 +0 1039.16/293.93 timeout (wallclock)
Zantema_04/z100.xml 11765110 is ∞ +0 1 +0 467.05/293.62 ∞ +0 n1 +2 1103.17/291.58
Zantema_04/z101.xml 11765088 is n1 +2 1 +0 75.88/30.28 ∞ +0 1 +0 1024.42/291.58
Zantema_04/z102.xml 11765197 is n1 +2 1 +0 80.02/30.23 ∞ +0 1 +0 1168.42/296.22
Zantema_04/z103.xml 11765158 iu ∞ +0 1 +0 486.85/293.13 timeout (wallclock)
Zantema_04/z104.xml 11765157 is n1 +2 1 +0 81.01/30.20 ∞ +0 1 +0 1152.82/291.94
Zantema_04/z105.xml 11765200 is ∞ +0 1 +0 663.46/294.05 ∞ +0 n1 +2 1152.61/291.62
Zantema_04/z106.xml 11765085 is n2 +2 1 +0 99.97/30.13 ∞ +0 1 +0 1113.19/291.75
Zantema_04/z107.xml 11765113 is n1 +2 1 +0 86.17/30.17 ∞ +0 1 +0 1154.85/292.37
Zantema_04/z108.xml 11765083 is n1 +2 1 +0 82.53/30.20 ∞ +0 1 +0 1137.84/293.29
Zantema_04/z109.xml 11765116 u ∞ +0 1 +0 50.35/16.80 ∞ +0 1 +0 1071.92/291.61
Zantema_04/z110.xml 11765090 u ∞ +0 1 +0 393.55/293.10 ∞ +0 1 +0 1076.01/291.66
Zantema_04/z111.xml 11765136 is ∞ +0 1 +0 417.18/294.08 ∞ +0 n1 +2 1155.81/294.10
Zantema_04/z112.xml 11765152 is n1 +2 1 +0 92.68/30.21 ∞ +0 1 +0 1049.87/291.72
Zantema_04/z113.xml 11765172 u ∞ +0 1 +0 704.61/293.95 ∞ +0 1 +0 1125.69/291.83
Zantema_04/z114.xml 11765171 u ∞ +0 1 +0 411.71/293.11 ∞ +0 1 +0 1120.40/291.98
Zantema_04/z115.xml 11765155 is n2 +2 1 +0 173.22/68.20 ∞ +0 1 +0 1054.35/296.14
Zantema_04/z116.xml 11765135 is n1 +2 1 +0 85.59/30.18 ∞ +0 1 +0 1071.00/291.68
Zantema_04/z117.xml 11765094 is ∞ +0 1 +0 417.13/294.04 ∞ +0 n1 +2 1125.23/291.56
Zantema_04/z118.xml 11765131 u ∞ +0 1 +0 613.16/294.05 ∞ +0 1 +0 1074.78/294.35
Zantema_04/z119.xml 11765095 u ∞ +0 1 +0 696.98/293.12 ∞ +0 1 +0 1093.23/295.57
Zantema_04/z120.xml 11765141 u ∞ +0 1 +0 598.34/294.02 ∞ +0 1 +0 1064.57/291.74
Zantema_04/z121.xml 11765185 u ∞ +0 1 +0 329.78/171.18 ∞ +0 1 +0 1118.75/295.54
Zantema_04/z122.xml 11765105 is n3 +2 1 +0 820.43/293.61 ∞ +0 1 +0 1127.95/291.69
Zantema_04/z123.xml 11765125 u ∞ +0 1 +0 684.81/293.75 ∞ +0 1 +0 1153.50/292.47
Zantema_04/z124.xml 11765123 is n2 +2 1 +0 822.27/294.07 ∞ +0 1 +0 1116.48/294.31
Zantema_04/z125.xml 11765106 u ∞ +0 1 +0 280.88/131.65 ∞ +0 1 +0 1113.73/291.77
Zantema_04/z126.xml 11765182 is n1 +2 1 +0 364.60/294.12 timeout (wallclock)
Zantema_04/z127.xml 11765143 u ∞ +0 1 +0 838.16/294.02 ∞ +0 1 +0 1082.50/291.67
Zantema_04/z128.xml 11765180 u ∞ +0 1 +0 713.63/294.03 ∞ +0 1 +0 1055.10/291.70
AG01/#3.12.xml 11765213 is ∞ +0 1 +0 372.53/293.13 n4 +2 n3 +2 1086.12/291.69
AG01/#3.15.xml 11765212 is n2 +2 1 +0 82.20/30.42 n2 +2 n1 +2 334.40/291.48
AG01/#3.17.xml 11765207 is n10 +2 1 +0 1010.86/292.68 ∞ +0 n1 +2 1137.58/291.61
AG01/#3.17a.xml 11765206 is n6 +2 1 +0 360.37/213.55 ∞ +0 n1 +2 1146.27/293.02
AG01/#3.24.xml 11765203 is n1 +2 1 +0 1.46/0.45 n1 +2 n1 +2 7.16/2.57
AG01/#3.26.xml 11765211 is ∞ +0 1 +0 655.32/294.03 ∞ +0 n1 +2 640.39/291.50
AG01/#3.33.xml 11765208 n1 +2 1 +0 31.61/28.91 n1 +2 1 +0 303.41/291.44
AG01/#3.35.xml 11765205 is n2 +2 1 +0 88.08/30.14 n2 +2 n1 +2 310.76/291.63
AG01/#3.37.xml 11765209 is n1 +2 1 +0 1.08/0.33 n2 +1 n1 +2 1112.17/291.75
AG01/#3.49.xml 11765204 is n2 +2 1 +0 225.55/95.88 ∞ +0 n1 +2 1079.78/291.51
AG01/#3.51.xml 11765202 is n1 +2 1 +0 15.14/10.17 n1 +2 n1 +2 7.40/2.67
AG01/#3.56.xml 11765201 is n2 +1 1 +0 156.16/82.00 n1 +2 n1 +2 6.78/2.44
AG01/#3.7.xml 11765210 is n2 +2 1 +0 78.50/30.12 n2 +2 n1 +2 322.63/291.49
Mixed_SRS/01-oppelt08.xml 11764471 is ∞ +0 1 +0 816.37/294.02 ∞ +0 n1 +2 815.69/291.64
Mixed_SRS/01.xml 11764469 u ∞ +0 1 +0 455.82/293.98 ∞ +0 1 +0 1073.27/291.69
Mixed_SRS/02-oppelt08.xml 11764474 u ∞ +0 1 +0 558.44/293.05 ∞ +0 1 +0 1089.58/292.78
Mixed_SRS/02.xml 11764459 u ∞ +0 1 +0 462.04/294.14 ∞ +0 1 +0 1074.37/291.70
Mixed_SRS/03-oppelt08.xml 11764473 u ∞ +0 1 +0 414.89/293.11 ∞ +0 1 +0 1108.26/294.97
Mixed_SRS/03.xml 11764453 u ∞ +0 1 +0 510.44/294.08 ∞ +0 1 +0 1034.25/291.69
Mixed_SRS/04-oppelt08.xml 11764466 u ∞ +0 1 +0 555.39/293.12 ∞ +0 1 +0 1096.98/295.82
Mixed_SRS/04.xml 11764454 u ∞ +0 1 +0 502.54/293.99 ∞ +0 1 +0 1048.94/291.63
Mixed_SRS/05-oppelt08.xml 11764467 u ∞ +0 1 +0 780.22/293.95 ∞ +0 1 +0 1109.42/295.89
Mixed_SRS/05.xml 11764458 iu ∞ +0 1 +0 390.25/293.72 timeout (wallclock)
Mixed_SRS/06-oppelt08.xml 11764464 is ∞ +0 1 +0 1172.45/294.05 ∞ +0 n1 +2 1032.03/291.64
Mixed_SRS/06.xml 11764470 u ∞ +0 1 +0 555.65/293.72 ∞ +0 1 +0 1027.52/291.60
Mixed_SRS/07-oppelt08.xml 11764462 is ∞ +0 1 +0 1171.28/294.02 ∞ +0 n1 +2 1089.66/292.73
Mixed_SRS/07.xml 11764477 u ∞ +0 1 +0 124.37/31.93 ∞ +0 1 +0 959.98/291.53
Mixed_SRS/08-oppelt08.xml 11764475 is ∞ +0 1 +0 903.08/294.58 ∞ +0 n1 +2 1128.01/295.73
Mixed_SRS/08.xml 11764468 iu ∞ +0 1 +0 158.27/68.20 timeout (wallclock)
Mixed_SRS/09.xml 11764478 u ∞ +0 1 +0 210.59/101.37 ∞ +0 1 +0 795.17/296.77
Mixed_SRS/1.xml 11764465 is ∞ +0 1 +0 709.34/293.14 ∞ +0 NonPoly +2 30.65/8.97
Mixed_SRS/2.xml 11764461 u ∞ +0 1 +0 818.31/293.95 ∞ +0 1 +0 1083.54/291.62
Mixed_SRS/3.xml 11764456 is n2 +2 1 +0 355.50/197.48 ∞ +0 1 +0 1115.81/291.69
Mixed_SRS/4.xml 11764457 u timeout (wallclock) timeout (wallclock)
Mixed_SRS/s6.xml 11764476 n3 +2 1 +0 1163.00/293.48 n3 +2 1 +0 1136.46/292.69
Mixed_SRS/touzet.xml 11764455 u ∞ +0 1 +0 110.46/32.37 ∞ +0 1 +0 939.78/291.54
Mixed_SRS/turing_add.xml 11764460 is n2 +2 1 +0 780.41/294.03 ∞ +0 n1 +2 1079.47/291.54
Mixed_SRS/turing_copy.xml 11764463 is ∞ +0 1 +0 674.57/294.03 ∞ +0 n1 +2 1131.49/293.14
Mixed_SRS/turing_mult.xml 11764472 is ∞ +0 1 +0 765.18/294.04 ∞ +0 n1 +2 1154.19/292.27
ICFP_2010/107193.xml 11764757 iu timeout (cpu) ∞ +0 1 +0 1163.94/297.53
ICFP_2010/107220.xml 11764741 u timeout (wallclock) timeout (wallclock)
ICFP_2010/107236.xml 11764635 iu timeout (cpu) ∞ +0 1 +0 1166.48/297.06
ICFP_2010/123759.xml 11765000 u timeout (wallclock) timeout (wallclock)
ICFP_2010/124211.xml 11764914 iu timeout (wallclock) ∞ +0 1 +0 870.08/294.58
ICFP_2010/124269.xml 11764678 iu timeout (wallclock) ∞ +0 1 +0 834.61/293.89
ICFP_2010/124791.xml 11764595 iu timeout (wallclock) ∞ +0 1 +0 770.94/300.66
ICFP_2010/127538.xml 11764696 u timeout (wallclock) timeout (wallclock)
ICFP_2010/128056.xml 11764606 iu timeout (wallclock) ∞ +0 1 +0 941.27/297.97
ICFP_2010/128182.xml 11764859 iu timeout (wallclock) ∞ +0 1 +0 888.02/298.48
ICFP_2010/128280.xml 11764764 iu timeout (wallclock) ∞ +0 1 +0 875.20/296.10
ICFP_2010/128430.xml 11764593 u timeout (wallclock) timeout (wallclock)
ICFP_2010/128486.xml 11765023 u timeout (wallclock) timeout (wallclock)
ICFP_2010/128515.xml 11764709 u timeout (wallclock) timeout (wallclock)
ICFP_2010/128550.xml 11764948 iu timeout (wallclock) ∞ +0 1 +0 979.62/298.21
ICFP_2010/128620.xml 11764546 u timeout (wallclock) timeout (wallclock)
ICFP_2010/128691.xml 11764943 u timeout (wallclock) timeout (wallclock)
ICFP_2010/130161.xml 11764614 iu timeout (cpu) ∞ +0 1 +0 845.58/295.21
ICFP_2010/130304.xml 11764734 iu timeout (cpu) ∞ +0 1 +0 776.83/296.97
ICFP_2010/130472.xml 11764732 iu timeout (cpu) ∞ +0 1 +0 972.29/294.67
ICFP_2010/130962.xml 11764557 iu timeout (cpu) ∞ +0 1 +0 693.34/298.56
ICFP_2010/131633.xml 11764908 u timeout (wallclock) timeout (wallclock)
ICFP_2010/131982.xml 11764491 iu timeout (wallclock) ∞ +0 1 +0 859.32/297.37
ICFP_2010/132235.xml 11764824 u timeout (wallclock) timeout (wallclock)
ICFP_2010/132478.xml 11764868 u timeout (wallclock) timeout (wallclock)
ICFP_2010/132540.xml 11764737 u timeout (wallclock) timeout (wallclock)
ICFP_2010/132611.xml 11764605 iu timeout (wallclock) ∞ +0 1 +0 857.51/296.98
ICFP_2010/132622.xml 11764753 iu timeout (wallclock) ∞ +0 1 +0 866.62/296.89
ICFP_2010/132720.xml 11765005 iu timeout (wallclock) ∞ +0 1 +0 880.39/296.66
ICFP_2010/132738.xml 11764971 iu timeout (wallclock) ∞ +0 1 +0 976.18/295.27
ICFP_2010/132782.xml 11764891 u timeout (wallclock) timeout (wallclock)
ICFP_2010/132833.xml 11764511 iu timeout (wallclock) ∞ +0 1 +0 937.35/293.10
ICFP_2010/132848.xml 11764499 iu timeout (cpu) ∞ +0 1 +0 960.46/297.08
ICFP_2010/132864.xml 11764765 iu timeout (wallclock) ∞ +0 1 +0 891.83/300.96
ICFP_2010/132920.xml 11764875 iu timeout (wallclock) ∞ +0 1 +0 983.01/296.60
ICFP_2010/132957.xml 11764536 iu timeout (wallclock) ∞ +0 1 +0 964.83/295.58
ICFP_2010/132969.xml 11764906 u timeout (wallclock) timeout (wallclock)
ICFP_2010/133010.xml 11764747 u timeout (wallclock) timeout (wallclock)
ICFP_2010/133079.xml 11764882 u timeout (cpu) timeout (wallclock)
ICFP_2010/133159.xml 11764636 iu timeout (wallclock) ∞ +0 1 +0 832.54/299.53
ICFP_2010/133236.xml 11764878 iu timeout (cpu) ∞ +0 1 +0 959.37/297.03
ICFP_2010/133432.xml 11764788 iu timeout (cpu) ∞ +0 1 +0 689.52/297.41
ICFP_2010/133486.xml 11765044 u timeout (wallclock) timeout (wallclock)
ICFP_2010/133532.xml 11764863 u timeout (cpu) timeout (wallclock)
ICFP_2010/133827.xml 11764670 iu timeout (wallclock) ∞ +0 1 +0 880.48/297.36
ICFP_2010/133881.xml 11765022 iu timeout (wallclock) ∞ +0 1 +0 850.72/294.60
ICFP_2010/134918.xml 11764588 u timeout (wallclock) timeout (wallclock)
ICFP_2010/135115.xml 11764779 u timeout (wallclock) timeout (wallclock)
ICFP_2010/135328.xml 11764805 u timeout (wallclock) timeout (wallclock)
ICFP_2010/135410.xml 11764829 u timeout (cpu) timeout (wallclock)
ICFP_2010/135505.xml 11764712 u timeout (cpu) timeout (wallclock)
ICFP_2010/135601.xml 11765038 u timeout (cpu) timeout (wallclock)
ICFP_2010/135604.xml 11764655 iu timeout (wallclock) ∞ +0 1 +0 831.78/293.28
ICFP_2010/135652.xml 11764763 u timeout (wallclock) timeout (wallclock)
ICFP_2010/135659.xml 11764952 iu timeout (cpu) ∞ +0 1 +0 1165.34/297.00
ICFP_2010/135714.xml 11764519 u timeout (cpu) timeout (wallclock)
ICFP_2010/135782.xml 11764484 iu timeout (wallclock) ∞ +0 1 +0 797.79/296.99
ICFP_2010/135936.xml 11764555 u timeout (wallclock) timeout (wallclock)
ICFP_2010/136051.xml 11764881 iu timeout (wallclock) ∞ +0 1 +0 827.61/297.10
ICFP_2010/136280.xml 11765041 iu timeout (cpu) ∞ +0 1 +0 868.97/293.89
ICFP_2010/136323.xml 11764929 u timeout (cpu) timeout (wallclock)
ICFP_2010/136354.xml 11764739 u timeout (cpu) timeout (wallclock)
ICFP_2010/136463.xml 11764597 u timeout (cpu) timeout (wallclock)
ICFP_2010/136497.xml 11764625 u timeout (cpu) timeout (wallclock)
ICFP_2010/136534.xml 11764723 iu timeout (cpu) ∞ +0 1 +0 842.88/297.02
ICFP_2010/136562.xml 11764618 u timeout (wallclock) timeout (wallclock)
ICFP_2010/136571.xml 11764927 u timeout (cpu) timeout (wallclock)
ICFP_2010/136601.xml 11764520 iu timeout (cpu) ∞ +0 1 +0 931.99/298.14
ICFP_2010/136623.xml 11764722 u timeout (wallclock) timeout (wallclock)
ICFP_2010/136693.xml 11764998 u timeout (cpu) timeout (wallclock)
ICFP_2010/136934.xml 11764705 u timeout (cpu) timeout (wallclock)
ICFP_2010/137087.xml 11764749 iu timeout (cpu) ∞ +0 1 +0 871.86/297.01
ICFP_2010/137136.xml 11764781 iu timeout (cpu) ∞ +0 1 +0 943.23/297.64
ICFP_2010/137316.xml 11764487 u timeout (cpu) timeout (wallclock)
ICFP_2010/137404.xml 11764581 iu timeout (wallclock) ∞ +0 1 +0 790.61/293.25
ICFP_2010/137621.xml 11764497 u timeout (cpu) timeout (wallclock)
ICFP_2010/137623.xml 11764894 u timeout (wallclock) timeout (wallclock)
ICFP_2010/137715.xml 11764725 u timeout (cpu) timeout (wallclock)
ICFP_2010/137799.xml 11765057 u timeout (cpu) timeout (wallclock)
ICFP_2010/137809.xml 11764973 iu timeout (wallclock) ∞ +0 1 +0 897.35/298.33
ICFP_2010/137956.xml 11764957 iu timeout (cpu) ∞ +0 1 +0 820.18/296.83
ICFP_2010/138089.xml 11764672 u timeout (cpu) timeout (wallclock)
ICFP_2010/138142.xml 11765064 iu timeout (wallclock) ∞ +0 1 +0 859.47/293.92
ICFP_2010/138194.xml 11765072 u timeout (wallclock) timeout (wallclock)
ICFP_2010/138254.xml 11764870 u timeout (wallclock) timeout (wallclock)
ICFP_2010/138269.xml 11765033 iu timeout (wallclock) ∞ +0 1 +0 676.15/296.30
ICFP_2010/138330.xml 11764895 u timeout (wallclock) timeout (wallclock)
ICFP_2010/138468.xml 11764766 u timeout (wallclock) timeout (wallclock)
ICFP_2010/138477.xml 11764645 iu timeout (wallclock) ∞ +0 1 +0 733.82/297.09
ICFP_2010/138993.xml 11764770 u timeout (wallclock) timeout (wallclock)
ICFP_2010/139004.xml 11764641 iu timeout (wallclock) ∞ +0 1 +0 952.32/297.01
ICFP_2010/139018.xml 11764837 u timeout (wallclock) timeout (wallclock)
ICFP_2010/139025.xml 11764965 u timeout (wallclock) timeout (wallclock)
ICFP_2010/139036.xml 11764667 iu timeout (wallclock) ∞ +0 1 +0 939.42/296.86
ICFP_2010/139100.xml 11764802 iu timeout (wallclock) ∞ +0 1 +0 914.89/296.91
ICFP_2010/139163.xml 11764921 iu timeout (wallclock) ∞ +0 1 +0 951.30/296.98
ICFP_2010/139167.xml 11764687 iu timeout (wallclock) ∞ +0 1 +0 953.08/297.37
ICFP_2010/139174.xml 11764976 u timeout (wallclock) timeout (wallclock)
ICFP_2010/139180.xml 11764867 u timeout (wallclock) timeout (wallclock)
ICFP_2010/139185.xml 11764540 u timeout (wallclock) timeout (wallclock)
ICFP_2010/139190.xml 11764934 iu timeout (wallclock) ∞ +0 1 +0 954.29/296.91
ICFP_2010/139214.xml 11764716 u timeout (wallclock) timeout (wallclock)
ICFP_2010/139236.xml 11764526 iu timeout (wallclock) ∞ +0 1 +0 971.54/298.29
ICFP_2010/139256.xml 11764935 iu timeout (wallclock) ∞ +0 1 +0 927.11/297.00
ICFP_2010/139282.xml 11764758 u timeout (wallclock) timeout (wallclock)
ICFP_2010/139310.xml 11764874 u timeout (wallclock) timeout (wallclock)
ICFP_2010/139378.xml 11764571 iu timeout (wallclock) ∞ +0 1 +0 1009.13/298.23
ICFP_2010/140287.xml 11764579 u timeout (wallclock) timeout (wallclock)
ICFP_2010/140318.xml 11764530 iu timeout (wallclock) ∞ +0 1 +0 882.67/293.50
ICFP_2010/140359.xml 11764686 iu timeout (wallclock) ∞ +0 1 +0 1000.45/297.92
ICFP_2010/140631.xml 11764746 is timeout (wallclock) n1 +2 1 +0 996.67/294.18
ICFP_2010/140639.xml 11764561 iu timeout (wallclock) ∞ +0 1 +0 936.09/296.91
ICFP_2010/140654.xml 11764543 is timeout (wallclock) n1 +2 1 +0 889.12/293.34
ICFP_2010/140659.xml 11765050 iu timeout (wallclock) ∞ +0 1 +0 1047.65/292.65
ICFP_2010/140664.xml 11764919 iu timeout (wallclock) ∞ +0 1 +0 937.40/296.94
ICFP_2010/142142.xml 11765035 iu timeout (wallclock) ∞ +0 1 +0 872.41/297.05
ICFP_2010/142146.xml 11764513 iu timeout (wallclock) ∞ +0 1 +0 849.94/296.94
ICFP_2010/142150.xml 11764587 iu timeout (wallclock) ∞ +0 1 +0 866.86/296.87
ICFP_2010/142157.xml 11764583 u timeout (wallclock) timeout (wallclock)
ICFP_2010/147437.xml 11764977 iu timeout (cpu) ∞ +0 1 +0 1177.80/296.92
ICFP_2010/148543.xml 11764780 iu timeout (cpu) ∞ +0 1 +0 1177.85/297.32
ICFP_2010/149251.xml 11764729 iu timeout (cpu) ∞ +0 1 +0 1177.94/297.32
ICFP_2010/149277.xml 11765051 iu timeout (cpu) ∞ +0 1 +0 1177.94/297.15
ICFP_2010/149297.xml 11764501 iu timeout (cpu) ∞ +0 1 +0 1176.56/296.96
ICFP_2010/149319.xml 11764510 iu timeout (cpu) ∞ +0 1 +0 1167.16/294.91
ICFP_2010/149361.xml 11765039 iu timeout (cpu) ∞ +0 1 +0 1178.55/297.07
ICFP_2010/149415.xml 11764665 iu timeout (cpu) ∞ +0 1 +0 1175.42/297.09
ICFP_2010/149633.xml 11764794 iu timeout (cpu) ∞ +0 1 +0 1176.11/297.05
ICFP_2010/149713.xml 11764714 iu timeout (cpu) ∞ +0 1 +0 1177.56/297.06
ICFP_2010/149849.xml 11764841 iu timeout (cpu) ∞ +0 1 +0 1176.02/296.94
ICFP_2010/149915.xml 11764756 iu timeout (cpu) ∞ +0 1 +0 1178.05/297.28
ICFP_2010/150067.xml 11765045 iu timeout (cpu) ∞ +0 1 +0 1175.10/296.97
ICFP_2010/150188.xml 11764761 iu timeout (cpu) ∞ +0 1 +0 1177.03/297.25
ICFP_2010/150258.xml 11764628 iu timeout (cpu) ∞ +0 1 +0 1178.33/297.20
ICFP_2010/150468.xml 11764573 iu timeout (cpu) ∞ +0 1 +0 1176.90/297.35
ICFP_2010/150630.xml 11764643 iu timeout (cpu) ∞ +0 1 +0 1177.63/297.09
ICFP_2010/150725.xml 11764892 iu timeout (cpu) ∞ +0 1 +0 1177.20/296.94
ICFP_2010/150815.xml 11764759 iu timeout (cpu) ∞ +0 1 +0 1176.76/297.31
ICFP_2010/150839.xml 11764506 iu timeout (cpu) ∞ +0 1 +0 1179.00/297.18
ICFP_2010/150877.xml 11764529 iu timeout (cpu) ∞ +0 1 +0 1177.89/297.28
ICFP_2010/151247.xml 11764886 iu timeout (cpu) ∞ +0 1 +0 1174.15/297.11
ICFP_2010/152694.xml 11764700 iu timeout (cpu) ∞ +0 1 +0 1021.14/296.94
ICFP_2010/152786.xml 11764838 u timeout (cpu) timeout (wallclock)
ICFP_2010/152865.xml 11765030 u timeout (cpu) timeout (wallclock)
ICFP_2010/152949.xml 11764920 iu timeout (cpu) ∞ +0 1 +0 627.05/295.78
ICFP_2010/153034.xml 11764846 iu timeout (cpu) ∞ +0 1 +0 657.35/296.86
ICFP_2010/153090.xml 11764823 u timeout (cpu) timeout (wallclock)
ICFP_2010/153170.xml 11764633 u timeout (cpu) timeout (wallclock)
ICFP_2010/153243.xml 11764718 iu timeout (cpu) ∞ +0 1 +0 856.78/296.89
ICFP_2010/153288.xml 11765015 u timeout (cpu) timeout (wallclock)
ICFP_2010/153371.xml 11764651 u timeout (cpu) timeout (wallclock)
ICFP_2010/153444.xml 11764853 iu timeout (cpu) ∞ +0 1 +0 939.19/297.47
ICFP_2010/157150.xml 11764936 u ∞ +0 1 +0 1181.73/297.33 ∞ +0 1 +0 1116.04/296.87
ICFP_2010/157161.xml 11764596 iu ∞ +0 1 +0 1171.19/294.18 timeout (wallclock)
ICFP_2010/157275.xml 11764992 u timeout (cpu) timeout (wallclock)
ICFP_2010/157388.xml 11764799 is ∞ +0 1 +0 1171.36/294.16 ∞ +0 n1 +2 1168.80/296.10
ICFP_2010/157436.xml 11764999 is ∞ +0 1 +0 1175.24/294.42 n1 +2 1 +0 1110.08/300.54
ICFP_2010/157466.xml 11764830 u timeout (wallclock) timeout (wallclock)
ICFP_2010/157593.xml 11764832 u ∞ +0 1 +0 1178.40/296.23 ∞ +0 1 +0 1036.84/295.13
ICFP_2010/157603.xml 11764910 u timeout (wallclock) timeout (wallclock)
ICFP_2010/157713.xml 11765065 u timeout (cpu) timeout (wallclock)
ICFP_2010/158152.xml 11764646 is ∞ +0 1 +0 1174.84/294.05 n1 +2 n1 +2 8.98/3.75
ICFP_2010/158208.xml 11764884 iu timeout (cpu) ∞ +0 1 +0 880.75/296.89
ICFP_2010/158342.xml 11764745 iu timeout (cpu) ∞ +0 1 +0 849.74/297.18
ICFP_2010/158477.xml 11764782 u timeout (cpu) timeout (wallclock)
ICFP_2010/158620.xml 11764896 u timeout (cpu) timeout (wallclock)
ICFP_2010/159731.xml 11764752 n1 +2 1 +0 738.88/294.15 n1 +2 1 +0 1116.06/299.99
ICFP_2010/160068.xml 11764505 u timeout (cpu) timeout (wallclock)
ICFP_2010/160210.xml 11764876 iu timeout (cpu) ∞ +0 1 +0 1169.67/295.03
ICFP_2010/160234.xml 11764792 is ∞ +0 1 +0 1153.96/294.10 n1 +2 1 +0 1050.24/294.97
ICFP_2010/160254.xml 11764688 u timeout (cpu) timeout (wallclock)
ICFP_2010/160263.xml 11765070 is ∞ +0 1 +0 1041.01/294.12 n1 +2 n1 +2 6.34/2.32
ICFP_2010/160324.xml 11764946 u timeout (cpu) timeout (wallclock)
ICFP_2010/160364.xml 11764994 iu timeout (cpu) ∞ +0 1 +0 1161.55/293.64
ICFP_2010/160398.xml 11765052 iu timeout (cpu) ∞ +0 1 +0 1096.87/296.94
ICFP_2010/160427.xml 11764932 u timeout (cpu) timeout (wallclock)
ICFP_2010/160462.xml 11764719 u timeout (cpu) timeout (wallclock)
ICFP_2010/160475.xml 11764512 iu timeout (cpu) ∞ +0 1 +0 1175.79/296.86
ICFP_2010/160660.xml 11764825 u timeout (cpu) timeout (wallclock)
ICFP_2010/161519.xml 11764831 u timeout (cpu) timeout (wallclock)
ICFP_2010/161533.xml 11764907 iu timeout (cpu) ∞ +0 1 +0 1176.91/297.46
ICFP_2010/161593.xml 11764653 iu timeout (cpu) ∞ +0 1 +0 1177.70/297.20
ICFP_2010/161864.xml 11765018 u timeout (wallclock) timeout (wallclock)
ICFP_2010/161917.xml 11764834 u timeout (cpu) timeout (wallclock)
ICFP_2010/161930.xml 11764654 u timeout (cpu) timeout (wallclock)
ICFP_2010/162016.xml 11764817 u timeout (cpu) timeout (wallclock)
ICFP_2010/162075.xml 11764857 u timeout (cpu) timeout (wallclock)
ICFP_2010/162095.xml 11764684 u timeout (cpu) timeout (wallclock)
ICFP_2010/162244.xml 11764535 u timeout (cpu) timeout (wallclock)
ICFP_2010/165713.xml 11764738 iu timeout (cpu) ∞ +0 1 +0 1167.59/294.51
ICFP_2010/165755.xml 11764608 iu timeout (cpu) ∞ +0 1 +0 1178.68/297.05
ICFP_2010/165904.xml 11764685 u timeout (cpu) timeout (wallclock)
ICFP_2010/165936.xml 11764626 iu timeout (cpu) ∞ +0 1 +0 1176.52/296.88
ICFP_2010/165975.xml 11764905 u timeout (cpu) timeout (wallclock)
ICFP_2010/166001.xml 11764909 iu timeout (cpu) ∞ +0 1 +0 1172.03/297.21
ICFP_2010/166465.xml 11764492 iu timeout (cpu) ∞ +0 1 +0 1176.80/296.92
ICFP_2010/166493.xml 11764931 u timeout (cpu) timeout (wallclock)
ICFP_2010/166558.xml 11764731 u timeout (cpu) timeout (wallclock)
ICFP_2010/166848.xml 11764559 iu timeout (cpu) ∞ +0 1 +0 1166.98/296.87
ICFP_2010/167041.xml 11764751 u timeout (cpu) timeout (wallclock)
ICFP_2010/167087.xml 11764517 iu timeout (cpu) ∞ +0 1 +0 1177.17/297.47
ICFP_2010/167240.xml 11764730 u timeout (cpu) timeout (wallclock)
ICFP_2010/167294.xml 11764955 iu timeout (cpu) ∞ +0 1 +0 1178.13/297.10
ICFP_2010/167310.xml 11764594 u timeout (cpu) timeout (wallclock)
ICFP_2010/167391.xml 11764639 iu timeout (wallclock) ∞ +0 1 +0 1175.22/297.38
ICFP_2010/167433.xml 11765049 iu timeout (cpu) ∞ +0 1 +0 1179.14/297.99
ICFP_2010/167452.xml 11764755 iu timeout (cpu) ∞ +0 1 +0 1176.85/297.36
ICFP_2010/167526.xml 11764516 u timeout (cpu) timeout (wallclock)
ICFP_2010/167636.xml 11764495 u timeout (cpu) timeout (wallclock)
ICFP_2010/167742.xml 11764771 u timeout (cpu) timeout (wallclock)
ICFP_2010/180915.xml 11764592 u timeout (wallclock) timeout (wallclock)
ICFP_2010/182946.xml 11764810 u timeout (wallclock) timeout (wallclock)
ICFP_2010/183803.xml 11764985 u timeout (wallclock) timeout (wallclock)
ICFP_2010/184957.xml 11764983 u timeout (wallclock) timeout (wallclock)
ICFP_2010/185453.xml 11764954 u timeout (wallclock) timeout (wallclock)
ICFP_2010/185628.xml 11764809 u timeout (wallclock) timeout (wallclock)
ICFP_2010/186023.xml 11764514 u timeout (wallclock) timeout (wallclock)
ICFP_2010/186222.xml 11764531 u timeout (wallclock) timeout (wallclock)
ICFP_2010/186333.xml 11764496 u timeout (wallclock) timeout (wallclock)
ICFP_2010/186617.xml 11764778 u timeout (wallclock) timeout (wallclock)
ICFP_2010/186775.xml 11764950 u timeout (wallclock) timeout (wallclock)
ICFP_2010/186810.xml 11764949 iu timeout (wallclock) ∞ +0 1 +0 736.71/296.86
ICFP_2010/186919.xml 11765009 u timeout (wallclock) timeout (wallclock)
ICFP_2010/186973.xml 11764989 u timeout (wallclock) timeout (wallclock)
ICFP_2010/187254.xml 11764551 u timeout (cpu) timeout (wallclock)
ICFP_2010/187837.xml 11764966 u timeout (wallclock) timeout (wallclock)
ICFP_2010/188004.xml 11764600 u timeout (wallclock) timeout (wallclock)
ICFP_2010/188238.xml 11764733 u timeout (wallclock) timeout (wallclock)
ICFP_2010/188261.xml 11764518 u timeout (wallclock) timeout (wallclock)
ICFP_2010/188296.xml 11764796 u timeout (wallclock) timeout (wallclock)
ICFP_2010/188674.xml 11764616 u timeout (wallclock) timeout (wallclock)
ICFP_2010/188696.xml 11764483 u timeout (wallclock) timeout (wallclock)
ICFP_2010/211471.xml 11764728 u timeout (cpu) timeout (wallclock)
ICFP_2010/211639.xml 11764720 u timeout (cpu) timeout (wallclock)
ICFP_2010/211857.xml 11765066 is ∞ +0 1 +0 1027.41/294.11 n1 +2 n1 +2 7.55/2.60
ICFP_2010/211915.xml 11764744 is ∞ +0 1 +0 1056.54/294.08 n1 +2 1 +0 1125.79/291.61
ICFP_2010/211960.xml 11764762 is ∞ +0 1 +0 1129.70/294.11 n1 +2 n1 +2 6.32/2.32
ICFP_2010/211978.xml 11764638 i n4 +1 1 +0 1148.64/294.14 n1 +2 1 +0 1089.45/292.41
ICFP_2010/212026.xml 11764715 is ∞ +0 1 +0 1126.47/294.10 n1 +2 1 +0 1072.30/291.68
ICFP_2010/212037.xml 11764664 is ∞ +0 1 +0 1114.52/294.11 n1 +2 1 +0 1077.22/291.88
ICFP_2010/212043.xml 11764480 is ∞ +0 1 +0 1136.17/294.13 n1 +2 1 +0 1086.19/294.17
ICFP_2010/212062.xml 11764848 is ∞ +0 1 +0 1068.63/294.11 n1 +2 1 +0 1097.97/300.52
ICFP_2010/212094.xml 11764683 is ∞ +0 1 +0 1173.20/294.10 n1 +2 n1 +2 6.51/2.36
ICFP_2010/212117.xml 11764899 is ∞ +0 1 +0 1141.73/294.08 n1 +2 n1 +2 7.42/3.29
ICFP_2010/212189.xml 11765046 i n2 +1 1 +0 792.20/294.16 n1 +2 1 +0 1100.21/291.97
ICFP_2010/212263.xml 11764790 iu ∞ +0 1 +0 1117.60/294.11 timeout (wallclock)
ICFP_2010/212308.xml 11764926 iu ∞ +0 1 +0 1162.36/294.13 timeout (wallclock)
ICFP_2010/212364.xml 11764860 is ∞ +0 1 +0 994.38/294.07 n1 +2 1 +0 958.45/292.96
ICFP_2010/212421.xml 11765010 is ∞ +0 1 +0 1143.24/294.11 n1 +2 n1 +2 6.35/2.40
ICFP_2010/212480.xml 11764657 is ∞ +0 1 +0 1078.87/294.10 n1 +2 n1 +2 6.93/2.43
ICFP_2010/212534.xml 11764533 iu ∞ +0 1 +0 1161.47/294.11 timeout (wallclock)
ICFP_2010/212612.xml 11765014 is ∞ +0 1 +0 1002.58/296.47 n1 +2 n1 +2 7.18/2.64
ICFP_2010/212693.xml 11764821 is n1 +2 1 +0 563.40/294.17 n1 +2 n1 +2 6.40/2.34
ICFP_2010/212774.xml 11764634 is ∞ +0 1 +0 1170.64/294.13 n1 +2 1 +0 1049.41/292.28
ICFP_2010/212795.xml 11765031 n1 +2 1 +0 1128.17/294.61 n1 +2 1 +0 1013.68/297.38
ICFP_2010/212892.xml 11764783 is ∞ +0 1 +0 1004.27/294.10 n1 +2 1 +0 1120.83/291.95
ICFP_2010/213051.xml 11764482 is ∞ +0 1 +0 1172.76/294.12 n1 +2 1 +0 1142.16/291.89
ICFP_2010/213147.xml 11764538 iu ∞ +0 1 +0 1166.74/294.11 timeout (wallclock)
ICFP_2010/213218.xml 11764674 is ∞ +0 1 +0 1109.38/294.10 n1 +2 1 +0 1109.62/291.76
ICFP_2010/213281.xml 11764539 is n2 +1 1 +0 757.65/294.12 n1 +2 n1 +2 6.34/2.32
ICFP_2010/213407.xml 11764869 is ∞ +0 1 +0 1046.05/294.10 n1 +2 1 +0 1123.30/294.01
ICFP_2010/213437.xml 11764488 is ∞ +0 1 +0 1160.29/294.12 n1 +2 1 +0 1126.85/293.98
ICFP_2010/213537.xml 11764567 is ∞ +0 1 +0 1172.12/294.10 n1 +2 1 +0 1021.99/293.55
ICFP_2010/213560.xml 11764666 is ∞ +0 1 +0 1155.60/294.95 n1 +2 1 +0 1097.51/291.62
ICFP_2010/213611.xml 11764978 u timeout (cpu) timeout (wallclock)
ICFP_2010/213719.xml 11764883 is ∞ +0 1 +0 1175.31/294.57 n1 +2 1 +0 1084.58/294.59
ICFP_2010/213865.xml 11764939 iu ∞ +0 1 +0 1178.73/296.07 timeout (wallclock)
ICFP_2010/214011.xml 11764865 is ∞ +0 1 +0 1106.05/294.11 n1 +2 1 +0 1136.95/292.12
ICFP_2010/214091.xml 11764807 is ∞ +0 1 +0 956.20/294.08 n1 +2 n1 +2 7.15/3.00
ICFP_2010/214169.xml 11764707 is ∞ +0 1 +0 1111.89/294.10 n1 +2 1 +0 1038.22/297.34
ICFP_2010/214183.xml 11764748 is ∞ +0 1 +0 1095.62/294.08 n1 +2 1 +0 996.11/291.64
ICFP_2010/214261.xml 11764668 is ∞ +0 1 +0 1163.15/294.00 n1 +2 1 +0 1106.68/292.60
ICFP_2010/214320.xml 11764601 i n2 +1 1 +0 842.20/294.12 n1 +2 1 +0 1079.78/293.31
ICFP_2010/230780.xml 11764982 u timeout (cpu) timeout (wallclock)
ICFP_2010/230819.xml 11765047 u timeout (cpu) timeout (wallclock)
ICFP_2010/230948.xml 11765069 iu timeout (cpu) ∞ +0 1 +0 931.01/295.76
ICFP_2010/231043.xml 11764586 u timeout (cpu) timeout (wallclock)
ICFP_2010/231149.xml 11765060 iu timeout (cpu) ∞ +0 1 +0 932.54/299.06
ICFP_2010/231230.xml 11764560 u timeout (cpu) timeout (wallclock)
ICFP_2010/231300.xml 11764861 u timeout (cpu) timeout (wallclock)
ICFP_2010/231378.xml 11764612 u timeout (cpu) timeout (wallclock)
ICFP_2010/231480.xml 11764708 u timeout (cpu) timeout (wallclock)
ICFP_2010/231604.xml 11765024 u timeout (cpu) timeout (wallclock)
ICFP_2010/24100.xml 11764677 u timeout (wallclock) timeout (wallclock)
ICFP_2010/246924.xml 11764692 u timeout (cpu) timeout (wallclock)
ICFP_2010/247020.xml 11764925 u timeout (cpu) timeout (wallclock)
ICFP_2010/247254.xml 11764960 u timeout (cpu) timeout (wallclock)
ICFP_2010/247504.xml 11764629 u timeout (cpu) timeout (wallclock)
ICFP_2010/247906.xml 11765073 u timeout (cpu) timeout (wallclock)
ICFP_2010/247992.xml 11764662 u timeout (cpu) timeout (wallclock)
ICFP_2010/248060.xml 11765061 iu timeout (cpu) ∞ +0 1 +0 897.40/299.61
ICFP_2010/249386.xml 11765003 u timeout (cpu) timeout (wallclock)
ICFP_2010/249459.xml 11764481 iu timeout (cpu) ∞ +0 1 +0 935.71/292.95
ICFP_2010/249663.xml 11764494 u timeout (cpu) timeout (wallclock)
ICFP_2010/25192.xml 11764742 is n1 +2 1 +0 20.86/7.33 ∞ +0 1 +0 1130.88/295.12
ICFP_2010/25388.xml 11764912 iu timeout (cpu) ∞ +0 1 +0 913.54/297.22
ICFP_2010/25395.xml 11764580 u timeout (cpu) timeout (wallclock)
ICFP_2010/25409.xml 11764553 iu timeout (cpu) ∞ +0 1 +0 949.94/296.60
ICFP_2010/25416.xml 11764522 u timeout (cpu) timeout (wallclock)
ICFP_2010/25422.xml 11764650 iu timeout (cpu) ∞ +0 1 +0 915.02/296.81
ICFP_2010/254704.xml 11764827 u timeout (cpu) timeout (wallclock)
ICFP_2010/25711.xml 11764736 iu timeout (cpu) ∞ +0 1 +0 926.92/295.69
ICFP_2010/25726.xml 11764967 iu timeout (cpu) ∞ +0 1 +0 862.84/297.95
ICFP_2010/25731.xml 11764897 is timeout (wallclock) n1 +2 n1 +2 3.75/1.69
ICFP_2010/25734.xml 11764508 u timeout (cpu) timeout (wallclock)
ICFP_2010/25736.xml 11764902 iu timeout (cpu) ∞ +0 1 +0 964.66/296.57
ICFP_2010/25743.xml 11764917 u timeout (cpu) timeout (wallclock)
ICFP_2010/25775.xml 11764620 u timeout (cpu) timeout (wallclock)
ICFP_2010/25808.xml 11764740 u timeout (cpu) timeout (wallclock)
ICFP_2010/25849.xml 11764598 u timeout (cpu) timeout (wallclock)
ICFP_2010/259405.xml 11764864 u timeout (cpu) timeout (wallclock)
ICFP_2010/259625.xml 11764558 u timeout (cpu) timeout (wallclock)
ICFP_2010/26069.xml 11764774 is timeout (wallclock) n1 +2 n1 +2 4.04/1.71
ICFP_2010/26103.xml 11764842 is timeout (wallclock) n1 +2 n1 +2 4.32/1.79
ICFP_2010/26105.xml 11764924 u timeout (cpu) timeout (wallclock)
ICFP_2010/26110.xml 11764548 iu timeout (wallclock) ∞ +0 1 +0 863.90/299.10
ICFP_2010/26116.xml 11764622 iu timeout (cpu) ∞ +0 1 +0 860.66/297.41
ICFP_2010/26123.xml 11764675 is timeout (wallclock) n1 +2 n1 +2 4.93/9.66
ICFP_2010/26127.xml 11764915 iu timeout (cpu) ∞ +0 1 +0 962.05/294.26
ICFP_2010/26130.xml 11764986 is timeout (cpu) n1 +2 n1 +2 5.43/2.12
ICFP_2010/26132.xml 11764703 u timeout (cpu) timeout (wallclock)
ICFP_2010/26186.xml 11764509 is timeout (cpu) n1 +2 n1 +2 5.81/5.72
ICFP_2010/26226.xml 11764772 is timeout (cpu) n1 +2 n1 +2 7.48/2.66
ICFP_2010/26291.xml 11764507 is timeout (cpu) ∞ +0 n1 +2 857.77/300.35
ICFP_2010/262998.xml 11765017 iu timeout (cpu) ∞ +0 1 +0 1157.18/297.21
ICFP_2010/263745.xml 11764930 iu timeout (cpu) ∞ +0 1 +0 1178.30/297.35
ICFP_2010/264033.xml 11764735 is n2 +2 1 +0 837.68/294.12 ∞ +0 1 +0 1069.70/291.84
ICFP_2010/264370.xml 11765021 n1 +2 1 +0 592.54/294.03 n1 +2 1 +0 302.37/291.51
ICFP_2010/264405.xml 11764485 n1 +2 1 +0 340.47/294.11 n1 +2 1 +0 302.77/291.49
ICFP_2010/26683.xml 11764689 is timeout (cpu) ∞ +0 n1 +2 938.74/292.70
ICFP_2010/26741.xml 11765062 iu timeout (cpu) ∞ +0 1 +0 961.84/295.93
ICFP_2010/26845.xml 11764743 iu timeout (cpu) ∞ +0 1 +0 955.34/297.04
ICFP_2010/26862.xml 11764904 u timeout (cpu) timeout (wallclock)
ICFP_2010/26871.xml 11764584 u timeout (cpu) timeout (wallclock)
ICFP_2010/26875.xml 11764958 iu timeout (cpu) ∞ +0 1 +0 813.83/299.20
ICFP_2010/26879.xml 11764704 u timeout (cpu) timeout (wallclock)
ICFP_2010/26882.xml 11764631 u timeout (wallclock) timeout (wallclock)
ICFP_2010/26886.xml 11764880 iu timeout (cpu) ∞ +0 1 +0 1037.00/294.32
ICFP_2010/26896.xml 11764945 u timeout (cpu) timeout (wallclock)
ICFP_2010/26903.xml 11764549 u timeout (cpu) timeout (wallclock)
ICFP_2010/26910.xml 11764839 u timeout (cpu) timeout (wallclock)
ICFP_2010/26916.xml 11764923 iu timeout (cpu) ∞ +0 1 +0 979.52/297.47
ICFP_2010/26919.xml 11764814 u timeout (cpu) timeout (wallclock)
ICFP_2010/26923.xml 11764987 iu timeout (cpu) ∞ +0 1 +0 853.63/297.04
ICFP_2010/26927.xml 11764604 iu timeout (cpu) ∞ +0 1 +0 927.26/295.64
ICFP_2010/26931.xml 11764490 iu timeout (cpu) ∞ +0 1 +0 936.91/293.29
ICFP_2010/26933.xml 11764916 iu timeout (cpu) ∞ +0 1 +0 1009.36/294.08
ICFP_2010/26940.xml 11765042 iu timeout (cpu) ∞ +0 1 +0 793.83/296.83
ICFP_2010/26943.xml 11764502 iu timeout (cpu) ∞ +0 1 +0 1009.64/296.93
ICFP_2010/26946.xml 11764900 u timeout (cpu) timeout (wallclock)
ICFP_2010/26949.xml 11765011 u timeout (cpu) timeout (wallclock)
ICFP_2010/26951.xml 11764962 iu timeout (cpu) ∞ +0 1 +0 912.65/298.28
ICFP_2010/26954.xml 11764727 iu timeout (cpu) ∞ +0 1 +0 815.51/294.72
ICFP_2010/26957.xml 11764793 u timeout (cpu) timeout (wallclock)
ICFP_2010/26960.xml 11764574 u timeout (cpu) timeout (wallclock)
ICFP_2010/26965.xml 11764818 u timeout (cpu) timeout (wallclock)
ICFP_2010/26969.xml 11764565 iu timeout (cpu) ∞ +0 1 +0 856.82/300.55
ICFP_2010/26972.xml 11765056 iu timeout (cpu) ∞ +0 1 +0 883.01/295.82
ICFP_2010/26974.xml 11764890 u timeout (cpu) timeout (wallclock)
ICFP_2010/26976.xml 11764532 iu timeout (cpu) ∞ +0 1 +0 880.41/297.85
ICFP_2010/26978.xml 11764541 iu timeout (cpu) ∞ +0 1 +0 881.83/297.68
ICFP_2010/26980.xml 11764961 iu timeout (cpu) ∞ +0 1 +0 1010.79/299.65
ICFP_2010/26986.xml 11764791 u timeout (cpu) timeout (wallclock)
ICFP_2010/26993.xml 11764671 iu timeout (cpu) ∞ +0 1 +0 903.30/295.80
ICFP_2010/26998.xml 11765013 u timeout (cpu) timeout (wallclock)
ICFP_2010/27001.xml 11764979 u timeout (cpu) timeout (wallclock)
ICFP_2010/27003.xml 11764699 iu timeout (cpu) ∞ +0 1 +0 850.46/295.68
ICFP_2010/27006.xml 11764984 u timeout (cpu) timeout (wallclock)
ICFP_2010/27009.xml 11764803 iu timeout (cpu) ∞ +0 1 +0 910.57/296.57
ICFP_2010/27013.xml 11764486 iu timeout (cpu) ∞ +0 1 +0 862.25/294.81
ICFP_2010/27015.xml 11764676 iu timeout (wallclock) ∞ +0 1 +0 902.70/296.30
ICFP_2010/27019.xml 11765040 iu timeout (cpu) ∞ +0 1 +0 891.20/297.05
ICFP_2010/27023.xml 11764852 iu timeout (wallclock) ∞ +0 1 +0 953.33/295.24
ICFP_2010/27026.xml 11764547 u timeout (cpu) timeout (wallclock)
ICFP_2010/27028.xml 11764525 iu timeout (cpu) ∞ +0 1 +0 819.36/296.93
ICFP_2010/27030.xml 11764563 is timeout (cpu) ∞ +0 n1 +2 827.89/292.51
ICFP_2010/27034.xml 11764938 iu timeout (cpu) ∞ +0 1 +0 823.94/294.93
ICFP_2010/27036.xml 11764769 iu timeout (cpu) ∞ +0 1 +0 1042.69/297.21
ICFP_2010/27039.xml 11764578 iu timeout (cpu) ∞ +0 1 +0 839.24/297.89
ICFP_2010/27131.xml 11764680 u timeout (cpu) timeout (wallclock)
ICFP_2010/27134.xml 11765008 is timeout (cpu) ∞ +0 n1 +2 880.61/293.08
ICFP_2010/27213.xml 11764624 is timeout (cpu) ∞ +0 n1 +2 817.91/291.59
ICFP_2010/27235.xml 11764995 is timeout (cpu) ∞ +0 n1 +2 1030.51/291.80
ICFP_2010/27280.xml 11765028 is timeout (cpu) ∞ +0 n1 +2 1069.08/291.65
ICFP_2010/28293.xml 11764611 is timeout (cpu) ∞ +0 n1 +2 1017.41/294.79
ICFP_2010/28464.xml 11764528 is timeout (cpu) ∞ +0 n1 +2 1086.17/296.70
ICFP_2010/28643.xml 11764822 is timeout (cpu) ∞ +0 n1 +2 1006.46/296.62
ICFP_2010/28838.xml 11764981 is timeout (cpu) ∞ +0 n1 +2 1060.33/296.69
ICFP_2010/29415.xml 11764562 iu timeout (cpu) ∞ +0 1 +0 1174.35/297.10
ICFP_2010/3268.xml 11764928 n1 +2 1 +0 406.24/294.07 n1 +2 1 +0 811.32/291.70
ICFP_2010/3336.xml 11764840 n1 +2 1 +0 347.12/294.05 n1 +2 1 +0 919.92/292.06
ICFP_2010/3385.xml 11765054 is n1 +2 1 +0 688.53/294.17 timeout (wallclock)
ICFP_2010/3450.xml 11765068 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3467.xml 11764691 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3498.xml 11764815 is timeout (wallclock) n1 +2 1 +0 758.83/297.22
ICFP_2010/3533.xml 11765027 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3562.xml 11764933 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3589.xml 11764813 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3633.xml 11764806 is timeout (wallclock) n1 +2 1 +0 808.81/292.34
ICFP_2010/3680.xml 11765004 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3705.xml 11764669 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3729.xml 11764552 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3746.xml 11764872 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3762.xml 11764787 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3770.xml 11764690 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3786.xml 11764843 is timeout (wallclock) n1 +2 1 +0 782.65/291.85
ICFP_2010/3817.xml 11765020 is timeout (wallclock) n1 +2 1 +0 755.65/292.49
ICFP_2010/3831.xml 11764767 is timeout (wallclock) n1 +2 1 +0 780.50/293.77
ICFP_2010/3842.xml 11764575 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3856.xml 11764889 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3861.xml 11764504 is timeout (wallclock) n1 +2 1 +0 909.25/296.80
ICFP_2010/3865.xml 11765025 is timeout (wallclock) n1 +2 1 +0 822.02/295.61
ICFP_2010/3916.xml 11764835 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3927.xml 11764711 is timeout (cpu) n1 +2 1 +0 1134.21/296.76
ICFP_2010/3930.xml 11764479 u timeout (wallclock) timeout (wallclock)
ICFP_2010/3939.xml 11764500 is timeout (wallclock) n1 +2 1 +0 702.64/292.06
ICFP_2010/39830.xml 11764585 u timeout (cpu) timeout (wallclock)
ICFP_2010/39849.xml 11764812 i n2 +1 1 +0 868.03/294.28 n1 +2 1 +0 1110.88/292.54
ICFP_2010/3989.xml 11764776 is timeout (wallclock) n1 +2 1 +0 760.82/292.68
ICFP_2010/3995.xml 11764663 u timeout (wallclock) timeout (wallclock)
ICFP_2010/4002.xml 11764515 is timeout (wallclock) n1 +2 1 +0 777.43/291.98
ICFP_2010/40033.xml 11764911 iu timeout (cpu) ∞ +0 1 +0 675.94/297.21
ICFP_2010/40093.xml 11764658 is timeout (wallclock) n1 +2 n1 +2 4.22/2.04
ICFP_2010/4017.xml 11764956 is timeout (wallclock) n1 +2 1 +0 759.72/292.76
ICFP_2010/4029.xml 11764768 is timeout (wallclock) n1 +2 1 +0 747.35/300.54
ICFP_2010/4036.xml 11764644 u timeout (wallclock) timeout (wallclock)
ICFP_2010/4046.xml 11765063 u timeout (wallclock) timeout (wallclock)
ICFP_2010/4051.xml 11764850 is timeout (wallclock) n1 +2 1 +0 811.21/291.67
ICFP_2010/40540.xml 11764609 u timeout (cpu) timeout (wallclock)
ICFP_2010/4057.xml 11764937 is timeout (wallclock) n1 +2 1 +0 780.73/293.18
ICFP_2010/40708.xml 11764619 is timeout (cpu) n1 +2 n1 +2 4.08/1.76
ICFP_2010/4074.xml 11765006 is timeout (wallclock) n1 +2 1 +0 841.76/293.03
ICFP_2010/40976.xml 11764898 iu timeout (cpu) ∞ +0 1 +0 896.01/296.89
ICFP_2010/4106.xml 11764953 is timeout (wallclock) n1 +2 1 +0 677.17/292.26
ICFP_2010/41378.xml 11764856 u timeout (cpu) timeout (wallclock)
ICFP_2010/4141.xml 11764990 u timeout (wallclock) timeout (wallclock)
ICFP_2010/41427.xml 11764724 iu timeout (cpu) ∞ +0 1 +0 897.61/296.91
ICFP_2010/4157.xml 11765016 is timeout (wallclock) n1 +2 1 +0 726.22/295.70
ICFP_2010/41688.xml 11764828 iu timeout (cpu) ∞ +0 1 +0 927.15/294.93
ICFP_2010/4181.xml 11765001 is timeout (wallclock) n1 +2 1 +0 1021.81/296.65
ICFP_2010/41838.xml 11764661 u timeout (wallclock) timeout (wallclock)
ICFP_2010/41843.xml 11764647 is timeout (wallclock) n1 +2 1 +0 899.97/298.82
ICFP_2010/41865.xml 11764941 u timeout (cpu) timeout (wallclock)
ICFP_2010/4200.xml 11765048 u timeout (wallclock) timeout (wallclock)
ICFP_2010/4206.xml 11764873 is timeout (cpu) n1 +2 1 +0 1132.68/296.69
ICFP_2010/42170.xml 11764642 iu timeout (wallclock) ∞ +0 1 +0 829.37/297.48
ICFP_2010/42321.xml 11764550 u timeout (cpu) timeout (wallclock)
ICFP_2010/42466.xml 11764991 u timeout (cpu) timeout (wallclock)
ICFP_2010/4248.xml 11764893 u timeout (wallclock) timeout (wallclock)
ICFP_2010/42683.xml 11764980 u timeout (cpu) timeout (wallclock)
ICFP_2010/4282.xml 11764701 u timeout (wallclock) timeout (wallclock)
ICFP_2010/4314.xml 11764656 is timeout (wallclock) n1 +2 1 +0 789.18/300.48
ICFP_2010/43266.xml 11764944 u timeout (cpu) timeout (wallclock)
ICFP_2010/43603.xml 11764570 is timeout (cpu) n1 +2 1 +0 1137.34/296.78
ICFP_2010/43621.xml 11764659 iu timeout (cpu) ∞ +0 1 +0 1164.33/297.23
ICFP_2010/43650.xml 11764913 is timeout (cpu) n1 +2 1 +0 1137.14/296.73
ICFP_2010/4374.xml 11764784 u timeout (wallclock) timeout (wallclock)
ICFP_2010/43987.xml 11764797 iu timeout (cpu) ∞ +0 1 +0 788.98/295.85
ICFP_2010/4412.xml 11765012 u timeout (wallclock) timeout (wallclock)
ICFP_2010/44332.xml 11764951 u timeout (cpu) timeout (wallclock)
ICFP_2010/4484.xml 11765059 is timeout (wallclock) n1 +2 1 +0 798.14/296.67
ICFP_2010/4487.xml 11764527 u timeout (wallclock) timeout (wallclock)
ICFP_2010/45720.xml 11764623 is ∞ +0 1 +0 1172.73/294.04 n1 +2 n1 +2 12.73/3.96
ICFP_2010/45757.xml 11765055 u timeout (wallclock) timeout (wallclock)
ICFP_2010/45970.xml 11764760 is timeout (cpu) n1 +2 1 +0 1068.90/296.89
ICFP_2010/4816.xml 11764498 is timeout (wallclock) n1 +2 1 +0 769.80/292.25
ICFP_2010/4819.xml 11764679 is timeout (wallclock) n1 +2 1 +0 809.91/296.67
ICFP_2010/4824.xml 11764524 u timeout (wallclock) timeout (wallclock)
ICFP_2010/48262.xml 11764637 is timeout (wallclock) n1 +2 1 +0 1009.69/292.51
ICFP_2010/48267.xml 11765053 iu timeout (wallclock) ∞ +0 1 +0 652.67/294.02
ICFP_2010/4827.xml 11765058 is timeout (wallclock) n1 +2 1 +0 776.52/293.59
ICFP_2010/48328.xml 11764820 is timeout (wallclock) n1 +2 1 +0 863.70/298.52
ICFP_2010/48374.xml 11764652 is timeout (wallclock) n1 +2 1 +0 918.94/296.63
ICFP_2010/4840.xml 11764566 is timeout (wallclock) n1 +2 1 +0 719.74/292.66
ICFP_2010/4847.xml 11764554 is timeout (wallclock) n1 +2 1 +0 756.95/292.13
ICFP_2010/4854.xml 11764866 is timeout (wallclock) n1 +2 1 +0 816.22/294.00
ICFP_2010/48686.xml 11764988 u timeout (cpu) timeout (wallclock)
ICFP_2010/4893.xml 11764849 is timeout (wallclock) n1 +2 1 +0 720.10/291.63
ICFP_2010/4920.xml 11764964 is timeout (wallclock) n1 +2 1 +0 746.66/292.33
ICFP_2010/4934.xml 11764648 is timeout (wallclock) n1 +2 1 +0 713.92/292.49
ICFP_2010/4938.xml 11765007 u timeout (wallclock) timeout (wallclock)
ICFP_2010/4943.xml 11764997 is timeout (wallclock) n1 +2 1 +0 763.26/296.79
ICFP_2010/4953.xml 11764777 u timeout (wallclock) timeout (wallclock)
ICFP_2010/4964.xml 11764564 is timeout (wallclock) n1 +2 1 +0 784.18/300.94
ICFP_2010/4970.xml 11764871 is timeout (wallclock) n1 +2 1 +0 790.44/292.65
ICFP_2010/4979.xml 11764885 is timeout (wallclock) n1 +2 1 +0 670.24/297.25
ICFP_2010/4991.xml 11764489 is timeout (wallclock) n1 +2 1 +0 810.68/294.56
ICFP_2010/5011.xml 11764649 is timeout (wallclock) n1 +2 1 +0 804.28/292.01
ICFP_2010/5076.xml 11764775 is timeout (wallclock) n1 +2 1 +0 721.95/292.50
ICFP_2010/50904.xml 11764993 iu timeout (cpu) ∞ +0 1 +0 933.02/297.06
ICFP_2010/5109.xml 11764621 is timeout (wallclock) n1 +2 1 +0 840.96/297.01
ICFP_2010/5130.xml 11765037 u timeout (wallclock) timeout (wallclock)
ICFP_2010/51424.xml 11765032 is timeout (cpu) n1 +2 1 +0 1140.88/296.70
ICFP_2010/51577.xml 11764673 u timeout (cpu) timeout (wallclock)
ICFP_2010/51842.xml 11764713 is timeout (cpu) n1 +2 1 +0 1138.25/296.70
ICFP_2010/53216.xml 11764534 is timeout (cpu) n1 +2 1 +0 1137.66/296.77
ICFP_2010/54097.xml 11764844 is timeout (wallclock) n1 +2 1 +0 1142.49/297.78
ICFP_2010/54532.xml 11764710 is timeout (wallclock) n1 +2 1 +0 349.66/291.60
ICFP_2010/54622.xml 11764697 is timeout (cpu) n1 +2 1 +0 354.58/291.61
ICFP_2010/56144.xml 11764568 iu timeout (cpu) ∞ +0 1 +0 971.96/297.02
ICFP_2010/57132.xml 11764521 is timeout (wallclock) n1 +2 1 +0 884.34/295.86
ICFP_2010/57278.xml 11764801 u ∞ +0 1 +0 1170.03/294.13 ∞ +0 1 +0 1162.88/296.82
ICFP_2010/57355.xml 11764786 is ∞ +0 1 +0 1182.52/297.39 n1 +2 n1 +2 11.59/3.68
ICFP_2010/57453.xml 11764582 is timeout (wallclock) n1 +2 1 +0 828.86/295.36
ICFP_2010/57799.xml 11764789 u ∞ +0 1 +0 1151.52/294.14 ∞ +0 1 +0 1179.56/296.98
ICFP_2010/57852.xml 11764695 iu timeout (cpu) ∞ +0 1 +0 1178.80/297.38
ICFP_2010/58125.xml 11764681 iu timeout (cpu) ∞ +0 1 +0 1174.27/297.11
ICFP_2010/58194.xml 11764808 iu ∞ +0 1 +0 1172.50/294.13 timeout (wallclock)
ICFP_2010/58221.xml 11764996 u timeout (wallclock) timeout (wallclock)
ICFP_2010/58301.xml 11764603 is ∞ +0 1 +0 1171.59/294.15 ∞ +0 n1 +2 1180.19/296.77
ICFP_2010/63142.xml 11764615 is timeout (wallclock) n1 +2 1 +0 854.02/296.66
ICFP_2010/64160.xml 11764804 is timeout (wallclock) n1 +2 1 +0 843.48/292.91
ICFP_2010/65081.xml 11764974 is timeout (wallclock) n1 +2 1 +0 712.57/293.08
ICFP_2010/68322.xml 11764901 is timeout (wallclock) n1 +2 1 +0 766.86/296.35
ICFP_2010/68535.xml 11764545 is timeout (wallclock) n1 +2 1 +0 746.08/298.48
ICFP_2010/68989.xml 11764577 is timeout (wallclock) n1 +2 1 +0 770.35/299.51
ICFP_2010/81452.xml 11764706 u timeout (wallclock) timeout (wallclock)
ICFP_2010/84886.xml 11764613 is timeout (wallclock) n1 +2 1 +0 870.79/294.63
ICFP_2010/84977.xml 11764855 is timeout (wallclock) n1 +2 1 +0 753.71/295.03
ICFP_2010/85039.xml 11764940 u timeout (wallclock) timeout (wallclock)
ICFP_2010/85079.xml 11764963 is timeout (wallclock) n1 +2 1 +0 757.01/293.14
ICFP_2010/85267.xml 11765071 is timeout (wallclock) n1 +2 1 +0 775.75/291.66
ICFP_2010/85294.xml 11764773 is timeout (wallclock) n1 +2 1 +0 741.27/294.91
ICFP_2010/85345.xml 11764854 u timeout (wallclock) timeout (wallclock)
ICFP_2010/85380.xml 11764556 is timeout (wallclock) n1 +2 1 +0 798.50/295.62
ICFP_2010/85477.xml 11764660 is timeout (wallclock) n1 +2 1 +0 752.17/292.39
ICFP_2010/85590.xml 11764811 is timeout (wallclock) n1 +2 1 +0 756.03/297.42
ICFP_2010/85650.xml 11764969 is timeout (wallclock) n1 +2 1 +0 833.04/291.78
ICFP_2010/85675.xml 11764877 u timeout (wallclock) timeout (wallclock)
ICFP_2010/85721.xml 11764544 u timeout (wallclock) timeout (wallclock)
ICFP_2010/85749.xml 11764847 is timeout (wallclock) n1 +2 1 +0 916.07/294.60
ICFP_2010/85782.xml 11764523 u timeout (wallclock) timeout (wallclock)
ICFP_2010/85834.xml 11764879 u timeout (wallclock) timeout (wallclock)
ICFP_2010/85874.xml 11764918 is timeout (wallclock) n1 +2 1 +0 829.04/296.63
ICFP_2010/85920.xml 11764503 is timeout (wallclock) n1 +2 1 +0 727.95/293.56
ICFP_2010/86025.xml 11765043 is timeout (wallclock) n1 +2 1 +0 772.05/297.13
ICFP_2010/86052.xml 11764693 is timeout (wallclock) n1 +2 1 +0 889.92/298.13
ICFP_2010/86452.xml 11764968 u timeout (wallclock) timeout (wallclock)
ICFP_2010/86499.xml 11764682 is timeout (wallclock) n1 +2 1 +0 802.74/293.93
ICFP_2010/86526.xml 11764858 is timeout (wallclock) n1 +2 1 +0 879.52/294.46
ICFP_2010/86559.xml 11764617 u timeout (wallclock) timeout (wallclock)
ICFP_2010/86577.xml 11764800 is timeout (wallclock) n1 +2 1 +0 790.63/296.97
ICFP_2010/86617.xml 11764599 is timeout (wallclock) n1 +2 1 +0 809.44/296.77
ICFP_2010/86636.xml 11764862 is timeout (wallclock) n1 +2 1 +0 732.37/298.69
ICFP_2010/86745.xml 11764970 is timeout (wallclock) n1 +2 1 +0 868.67/292.87
ICFP_2010/86816.xml 11764576 is timeout (wallclock) n1 +2 1 +0 766.63/297.56
ICFP_2010/86857.xml 11764702 u timeout (wallclock) timeout (wallclock)
ICFP_2010/88143.xml 11764903 is timeout (wallclock) n1 +2 1 +0 858.72/296.93
ICFP_2010/88156.xml 11764717 is timeout (wallclock) n1 +2 1 +0 845.22/294.61
ICFP_2010/88172.xml 11764630 u timeout (wallclock) timeout (wallclock)
ICFP_2010/88183.xml 11764798 is timeout (wallclock) n1 +2 1 +0 872.02/298.88
ICFP_2010/88208.xml 11764750 is timeout (wallclock) n1 +2 1 +0 872.07/293.13
ICFP_2010/88283.xml 11765034 is timeout (wallclock) n1 +2 1 +0 828.95/292.68
ICFP_2010/91210.xml 11764694 iu timeout (cpu) ∞ +0 1 +0 1176.19/297.09
ICFP_2010/91218.xml 11764590 iu timeout (cpu) ∞ +0 1 +0 1043.68/296.97
ICFP_2010/91233.xml 11764627 iu timeout (cpu) ∞ +0 1 +0 1177.84/297.08
ICFP_2010/91242.xml 11764888 iu timeout (cpu) ∞ +0 1 +0 1004.46/296.91
ICFP_2010/91254.xml 11764833 iu timeout (cpu) ∞ +0 1 +0 1179.49/297.76
ICFP_2010/95858.xml 11764887 is timeout (wallclock) n1 +2 1 +0 734.25/295.37
ICFP_2010/95899.xml 11764947 u timeout (wallclock) timeout (wallclock)
ICFP_2010/95952.xml 11764698 is timeout (wallclock) n1 +2 1 +0 750.90/291.98
ICFP_2010/95978.xml 11764640 is timeout (wallclock) n1 +2 1 +0 822.39/292.93
ICFP_2010/96029.xml 11764607 is timeout (wallclock) n1 +2 1 +0 786.19/297.43
ICFP_2010/96065.xml 11764851 is timeout (wallclock) n1 +2 1 +0 816.79/291.93
ICFP_2010/96086.xml 11764785 is timeout (cpu) n1 +2 1 +0 770.25/291.80
ICFP_2010/96104.xml 11764589 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96119.xml 11764922 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96156.xml 11765067 is timeout (wallclock) n1 +2 1 +0 715.22/293.79
ICFP_2010/96176.xml 11764591 is timeout (wallclock) n1 +2 1 +0 769.12/295.69
ICFP_2010/96198.xml 11764942 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96224.xml 11764819 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96239.xml 11764542 is timeout (wallclock) n1 +2 1 +0 819.05/296.64
ICFP_2010/96256.xml 11764845 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96274.xml 11765019 is timeout (wallclock) n1 +2 1 +0 737.95/296.57
ICFP_2010/96289.xml 11764816 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96302.xml 11764572 is timeout (wallclock) n1 +2 1 +0 729.59/296.98
ICFP_2010/96334.xml 11764959 is timeout (wallclock) n1 +2 1 +0 872.08/295.18
ICFP_2010/96370.xml 11764569 is timeout (wallclock) n1 +2 1 +0 882.62/293.73
ICFP_2010/96403.xml 11764836 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96417.xml 11764537 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96438.xml 11764795 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96464.xml 11764632 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96485.xml 11765029 is timeout (wallclock) n1 +2 1 +0 771.06/292.19
ICFP_2010/96523.xml 11764754 is timeout (wallclock) n1 +2 1 +0 710.84/292.46
ICFP_2010/96563.xml 11764726 is timeout (wallclock) n1 +2 1 +0 805.99/291.74
ICFP_2010/96612.xml 11765002 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96642.xml 11764826 u timeout (wallclock) timeout (wallclock)
ICFP_2010/96673.xml 11764721 is timeout (wallclock) n1 +2 1 +0 865.28/296.70
ICFP_2010/97885.xml 11764602 iu timeout (cpu) ∞ +0 1 +0 1172.10/296.39
ICFP_2010/97888.xml 11764972 iu timeout (cpu) ∞ +0 1 +0 1155.94/297.04
ICFP_2010/97901.xml 11764975 iu timeout (cpu) ∞ +0 1 +0 1176.18/297.81
ICFP_2010/97917.xml 11765036 iu timeout (cpu) ∞ +0 1 +0 1167.44/295.01
ICFP_2010/97929.xml 11764610 iu timeout (cpu) ∞ +0 1 +0 1152.45/296.97
ICFP_2010/98362.xml 11764493 u timeout (wallclock) timeout (wallclock)
ICFP_2010/98623.xml 11765026 u timeout (cpu) timeout (wallclock)
Rubio_04/aoto.xml 11764450 n1 +2 1 +0 2.54/1.75 n1 +2 1 +0 1118.32/291.61
Rubio_04/bintrees.xml 11764449 is n2 +2 1 +0 89.48/30.16 n2 +2 n1 +2 368.45/291.48
Rubio_04/bn129.xml 11764444 u ∞ +0 1 +0 111.03/30.36 ∞ +0 1 +0 976.34/291.79
Rubio_04/gmnp.xml 11764448 is n1 +2 1 +0 298.44/274.19 n1 +2 n1 +2 7.10/2.52
Rubio_04/koen.xml 11764439 i n1 +2 1 +0 0.77/0.22 n2 +1 1 +0 305.42/291.52
Rubio_04/lescanne.xml 11764441 is n2 +2 1 +0 82.63/30.18 ∞ +0 1 +0 1096.15/291.59
Rubio_04/lindau.xml 11764451 is n1 +2 1 +0 3.25/1.57 n1 +2 n1 +2 5.48/2.15
Rubio_04/mfp90b.xml 11764443 n1 +2 1 +0 0.36/0.12 n1 +2 1 +0 309.43/291.49
Rubio_04/mfp95.xml 11764445 n1 +2 1 +0 0.46/0.15 n1 +2 1 +0 304.88/291.47
Rubio_04/nestrec.xml 11764440 is ∞ +0 1 +0 381.68/293.03 ∞ +0 n1 +2 1084.94/291.68
Rubio_04/p266.xml 11764442 n1 +2 1 +0 2.15/1.22 n1 +2 1 +0 1110.06/292.77
Rubio_04/test4.xml 11764446 is n1 +2 1 +0 1.25/0.39 n1 +2 n1 +2 6.85/2.47
Rubio_04/test829.xml 11764447 is n1 +2 1 +0 60.66/58.38 n1 +2 n1 +2 4.92/1.98
AProVE_10/ex5.xml 11764452 is n1 +2 1 +0 0.66/0.20 n1 +2 n1 +2 6.19/2.30
Strategy_removed_mixed_05/ex1.xml 11764234 is ∞ +0 1 +0 101.86/30.04 ∞ +0 NonPoly +2 3.66/1.60
Strategy_removed_mixed_05/ex3.xml 11764237 is ∞ +0 1 +0 107.74/30.03 ∞ +0 NonPoly +2 3.46/1.58
Strategy_removed_mixed_05/ex4.xml 11764238 is ∞ +0 1 +0 157.29/42.30 ∞ +0 NonPoly +2 3.64/1.60
Strategy_removed_mixed_05/ex5.xml 11764236 is ∞ +0 1 +0 87.18/30.10 ∞ +0 NonPoly +2 3.58/1.61
Strategy_removed_mixed_05/ex6.xml 11764235 u ∞ +0 1 +0 38.40/34.87 ∞ +0 1 +0 335.33/291.51
Strategy_removed_mixed_05/gkg.xml 11764232 iu ∞ +0 1 +0 131.77/34.26 timeout (wallclock)
Strategy_removed_mixed_05/n001.xml 11764233 u ∞ +0 1 +0 388.76/293.12 ∞ +0 1 +0 1067.80/291.90
Strategy_removed_mixed_05/test830.xml 11764239 is n1 +2 1 +0 1.19/0.38 n1 +2 n1 +2 5.05/3.42
Transformed_CSR_04/Ex14_AEGL02_L.xml 11764385 is ∞ +0 1 +0 109.57/30.07 ∞ +0 NonPoly +2 3.64/1.61
Transformed_CSR_04/Ex14_Luc06_L.xml 11764267 is ∞ +0 1 +0 143.35/36.58 ∞ +0 NonPoly +2 3.58/1.60
Transformed_CSR_04/Ex15_Luc06_C.xml 11764380 is n3 +2 1 +0 1169.71/293.06 ∞ +0 n1 +2 1086.29/291.54
Transformed_CSR_04/Ex15_Luc06_FR.xml 11764356 is n2 +2 1 +0 101.99/30.14 n2 +2 n1 +2 1079.66/291.62
Transformed_CSR_04/Ex15_Luc06_GM.xml 11764248 is n2 +2 1 +0 111.62/30.13 n2 +2 n1 +2 1048.92/292.18
Transformed_CSR_04/Ex15_Luc06_iGM.xml 11764406 is n2 +2 1 +0 91.75/30.10 ∞ +0 1 +0 1137.43/296.00
Transformed_CSR_04/Ex15_Luc06_L.xml 11764438 is ∞ +0 1 +0 104.17/30.12 ∞ +0 NonPoly +2 3.48/1.76
Transformed_CSR_04/Ex15_Luc06_Z.xml 11764245 n1 +2 1 +0 1.50/0.45 n1 +2 1 +0 315.74/291.48
Transformed_CSR_04/Ex15_Luc98_L.xml 11764426 u ∞ +0 1 +0 0.00/0.01 ∞ +0 1 +0 0.39/0.35
Transformed_CSR_04/Ex16_Luc06_C.xml 11764311 is ∞ +0 1 +0 388.38/293.12 ∞ +0 n1 +2 1114.55/292.49
Transformed_CSR_04/Ex16_Luc06_FR.xml 11764348 is ∞ +0 1 +0 120.85/30.42 n1 +2 1 +0 312.34/291.50
Transformed_CSR_04/Ex16_Luc06_GM.xml 11764258 is ∞ +0 1 +0 323.80/102.24 n2 +2 n1 +2 347.89/291.49
Transformed_CSR_04/Ex16_Luc06_iGM.xml 11764302 u ∞ +0 1 +0 340.31/222.83 ∞ +0 1 +0 1110.52/293.55
Transformed_CSR_04/Ex16_Luc06_L.xml 11764246 is ∞ +0 1 +0 104.13/30.12 ∞ +0 NonPoly +2 3.61/1.61
Transformed_CSR_04/Ex18_Luc06_C.xml 11764350 is n6 +2 1 +0 1115.66/293.09 ∞ +0 n1 +2 1073.92/292.85
Transformed_CSR_04/Ex18_Luc06_FR.xml 11764398 is n2 +2 1 +0 92.74/30.15 n3 +1 n1 +2 330.29/291.51
Transformed_CSR_04/Ex18_Luc06_GM.xml 11764309 is n2 +2 1 +0 98.48/30.06 n2 +2 n1 +2 332.90/291.67
Transformed_CSR_04/Ex18_Luc06_iGM.xml 11764365 is n2 +2 1 +0 83.89/30.16 ∞ +0 1 +0 1134.45/294.92
Transformed_CSR_04/Ex18_Luc06_L.xml 11764410 n1 +2 1 +0 0.08/0.08 n1 +2 1 +0 306.33/291.51
Transformed_CSR_04/Ex18_Luc06_Z.xml 11764264 n1 +2 1 +0 0.17/0.06 n1 +2 1 +0 310.30/291.46
Transformed_CSR_04/Ex1_2_Luc02c_L.xml 11764389 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.35/0.28
Transformed_CSR_04/Ex1_GL02a_L.xml 11764283 is ∞ +0 1 +0 263.20/66.51 ∞ +0 NonPoly +2 3.82/1.65
Transformed_CSR_04/Ex1_GM03_L.xml 11764387 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.39/0.29
Transformed_CSR_04/Ex1_GM99_L.xml 11764284 is ∞ +0 1 +0 109.11/30.11 ∞ +0 NonPoly +2 3.65/1.66
Transformed_CSR_04/Ex1_Luc02b_L.xml 11764321 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.38/0.29
Transformed_CSR_04/Ex1_Luc04b_C.xml 11764313 is ∞ +0 1 +0 399.08/293.07 ∞ +0 n1 +2 1157.99/295.27
Transformed_CSR_04/Ex1_Luc04b_FR.xml 11764324 is ∞ +0 1 +0 396.27/293.07 ∞ +0 NonPoly +2 5.39/2.17
Transformed_CSR_04/Ex1_Luc04b_GM.xml 11764434 is ∞ +0 1 +0 471.92/293.15 ∞ +0 n1 +2 1133.01/291.55
Transformed_CSR_04/Ex1_Luc04b_iGM.xml 11764366 u ∞ +0 1 +0 470.74/273.48 ∞ +0 1 +0 1155.22/294.63
Transformed_CSR_04/Ex1_Luc04b_L.xml 11764247 u ∞ +0 1 +0 0.00/0.01 ∞ +0 1 +0 0.39/0.40
Transformed_CSR_04/Ex1_Luc04b_Z.xml 11764435 is ∞ +0 1 +0 233.47/154.09 ∞ +0 NonPoly +2 4.42/1.80
Transformed_CSR_04/Ex1_Zan97_C.xml 11764343 is n2 +2 1 +0 929.13/291.76 ∞ +0 n1 +2 1043.61/291.52
Transformed_CSR_04/Ex1_Zan97_FR.xml 11764259 is ∞ +0 1 +0 835.27/293.12 ∞ +0 NonPoly +2 3.70/1.66
Transformed_CSR_04/Ex1_Zan97_GM.xml 11764349 n1 +2 1 +0 1.13/0.33 n1 +2 1 +0 317.36/291.53
Transformed_CSR_04/Ex1_Zan97_iGM.xml 11764240 is n1 +2 1 +0 5.20/2.62 ∞ +0 1 +0 1034.77/294.87
Transformed_CSR_04/Ex1_Zan97_L.xml 11764405 is ∞ +0 1 +0 104.40/30.13 ∞ +0 NonPoly +2 3.68/1.59
Transformed_CSR_04/Ex23_Luc06_C.xml 11764397 is n16 +2 1 +0 1170.99/293.05 ∞ +0 n1 +2 1136.68/293.44
Transformed_CSR_04/Ex23_Luc06_FR.xml 11764286 is n2 +2 1 +0 134.80/51.87 n2 +2 n1 +2 343.82/291.50
Transformed_CSR_04/Ex23_Luc06_GM.xml 11764368 is n2 +2 1 +0 391.17/149.60 ∞ +0 n1 +2 1087.41/291.58
Transformed_CSR_04/Ex23_Luc06_iGM.xml 11764431 is n2 +2 1 +0 89.55/30.17 ∞ +0 1 +0 1132.83/295.48
Transformed_CSR_04/Ex23_Luc06_L.xml 11764361 n1 +2 1 +0 0.06/0.04 n1 +2 1 +0 307.67/291.52
Transformed_CSR_04/Ex23_Luc06_Z.xml 11764326 n1 +2 1 +0 0.23/0.08 n1 +2 1 +0 311.04/291.48
Transformed_CSR_04/Ex24_GM04_L.xml 11764367 is ∞ +0 1 +0 107.51/30.12 ∞ +0 NonPoly +2 3.50/1.59
Transformed_CSR_04/Ex24_Luc06_L.xml 11764274 is ∞ +0 1 +0 102.29/30.12 ∞ +0 NonPoly +2 3.66/1.63
Transformed_CSR_04/Ex25_Luc06_C.xml 11764388 is n2 +2 1 +0 1030.13/294.12 ∞ +0 n1 +2 1133.69/293.55
Transformed_CSR_04/Ex25_Luc06_FR.xml 11764252 is n2 +2 1 +0 96.93/30.07 ∞ +0 n1 +2 1016.23/291.87
Transformed_CSR_04/Ex25_Luc06_GM.xml 11764354 is n2 +2 1 +0 306.77/123.62 n2 +2 n1 +2 338.69/291.54
Transformed_CSR_04/Ex25_Luc06_iGM.xml 11764318 is n2 +2 1 +0 192.55/118.08 ∞ +0 1 +0 1133.31/292.34
Transformed_CSR_04/Ex25_Luc06_L.xml 11764423 n1 +2 1 +0 0.20/0.08 n1 +2 1 +0 309.84/291.48
Transformed_CSR_04/Ex25_Luc06_Z.xml 11764263 i n1 +2 1 +0 1.80/0.67 n2 +1 1 +0 314.15/291.53
Transformed_CSR_04/Ex26_Luc03b_L.xml 11764287 n1 +2 1 +0 1.05/0.30 n1 +2 1 +0 323.28/291.50
Transformed_CSR_04/Ex2_Luc03b_L.xml 11764373 n1 +2 1 +0 0.51/0.15 n1 +2 1 +0 313.94/291.70
Transformed_CSR_04/Ex3_12_Luc96a_L.xml 11764351 u ∞ +0 1 +0 0.00/0.02 ∞ +0 1 +0 0.37/0.29
Transformed_CSR_04/Ex3_2_Luc97_L.xml 11764306 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.31
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 11764359 n1 +2 1 +0 0.53/0.16 n1 +2 1 +0 314.47/291.52
Transformed_CSR_04/Ex49_GM04_L.xml 11764254 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.39/0.31
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 11764416 is n1 +2 1 +0 0.08/0.05 n1 +2 n1 +2 3.38/1.54
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 11764257 is ∞ +0 1 +0 485.65/293.12 ∞ +0 n1 +2 1147.57/293.62
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 11764265 is n2 +2 1 +0 82.72/30.15 n2 +2 n1 +2 1050.28/291.57
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 11764391 is n3 +1 1 +0 507.98/221.68 n2 +2 n1 +2 1096.99/291.67
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml 11764402 is n3 +2 1 +0 192.52/99.97 ∞ +0 1 +0 1146.54/294.69
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 11764293 n1 +2 1 +0 0.52/0.16 n1 +2 1 +0 309.86/291.54
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 11764394 n1 +2 1 +0 1.96/0.56 n1 +2 1 +0 317.59/291.50
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 11764352 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.36/0.29
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 11764260 is ∞ +0 1 +0 395.60/293.14 ∞ +0 n1 +2 1116.32/291.57
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 11764378 n1 +2 1 +0 0.43/0.14 n1 +2 1 +0 314.66/291.48
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 11764272 is n2 +2 1 +0 262.94/143.91 ∞ +0 n1 +2 996.58/291.57
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 11764292 is n3 +2 1 +0 296.42/172.63 ∞ +0 1 +0 1094.06/291.72
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 11764295 u ∞ +0 1 +0 0.00/0.02 ∞ +0 1 +0 0.35/0.29
Transformed_CSR_04/Ex4_DLMMU04_L.xml 11764355 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.31
Transformed_CSR_04/Ex4_Zan97_L.xml 11764316 u ∞ +0 1 +0 0.01/0.05 ∞ +0 1 +0 0.38/0.30
Transformed_CSR_04/Ex5_7_Luc97_L.xml 11764296 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.41/0.32
Transformed_CSR_04/Ex5_DLMMU04_L.xml 11764341 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.39/0.30
Transformed_CSR_04/Ex5_Zan97_C.xml 11764407 is ∞ +0 1 +0 546.39/293.08 ∞ +0 n1 +2 1133.63/291.61
Transformed_CSR_04/Ex5_Zan97_FR.xml 11764271 is ∞ +0 1 +0 153.97/77.60 n3 +2 n1 +2 336.69/291.49
Transformed_CSR_04/Ex5_Zan97_GM.xml 11764382 is ∞ +0 1 +0 363.95/272.83 ∞ +0 n1 +2 1128.01/291.53
Transformed_CSR_04/Ex5_Zan97_iGM.xml 11764420 u ∞ +0 1 +0 202.10/100.61 ∞ +0 1 +0 1141.33/295.32
Transformed_CSR_04/Ex5_Zan97_L.xml 11764344 u ∞ +0 1 +0 0.00/0.01 ∞ +0 1 +0 0.37/0.28
Transformed_CSR_04/Ex5_Zan97_Z.xml 11764336 n1 +2 1 +0 0.31/0.10 n1 +2 1 +0 319.07/291.48
Transformed_CSR_04/Ex6_15_AEL02_L.xml 11764375 u ∞ +0 1 +0 0.01/0.04 ∞ +0 1 +0 0.42/0.69
Transformed_CSR_04/Ex6_9_Luc02c_L.xml 11764411 u ∞ +0 1 +0 0.01/0.06 ∞ +0 1 +0 0.37/0.28
Transformed_CSR_04/Ex6_GM04_C.xml 11764278 is n2 +2 1 +0 1143.14/292.03 ∞ +0 n1 +2 1034.97/291.55
Transformed_CSR_04/Ex6_GM04_FR.xml 11764329 is ∞ +0 1 +0 381.39/293.06 ∞ +0 NonPoly +2 3.92/1.70
Transformed_CSR_04/Ex6_GM04_GM.xml 11764429 n1 +2 1 +0 0.39/0.12 n1 +2 1 +0 312.62/291.64
Transformed_CSR_04/Ex6_GM04_iGM.xml 11764305 n1 +2 1 +0 1.93/0.57 n1 +2 1 +0 1000.72/291.53
Transformed_CSR_04/Ex6_GM04_L.xml 11764327 1 +2 1 +0 0.10/0.05 1 +2 1 +0 3.53/1.67
Transformed_CSR_04/Ex6_Luc98_L.xml 11764312 n1 +2 1 +0 0.14/0.07 n1 +2 1 +0 307.33/291.48
Transformed_CSR_04/Ex7_BLR02_L.xml 11764347 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.39/0.29
Transformed_CSR_04/Ex8_BLR02_L.xml 11764345 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.39/0.29
Transformed_CSR_04/Ex9_BLR02_L.xml 11764310 n1 +2 1 +0 0.45/0.14 n1 +2 1 +0 316.17/291.65
Transformed_CSR_04/Ex9_Luc06_C.xml 11764242 is ∞ +0 1 +0 393.69/293.13 ∞ +0 n1 +2 1133.51/293.09
Transformed_CSR_04/Ex9_Luc06_FR.xml 11764424 is ∞ +0 1 +0 699.59/293.19 ∞ +0 NonPoly +2 4.32/1.81
Transformed_CSR_04/Ex9_Luc06_GM.xml 11764338 is n2 +2 1 +0 124.53/33.70 n2 +2 n1 +2 343.55/291.51
Transformed_CSR_04/Ex9_Luc06_iGM.xml 11764430 is n2 +2 1 +0 93.01/30.05 ∞ +0 1 +0 1104.30/292.00
Transformed_CSR_04/ExConc_Zan97_C.xml 11764386 is n2 +2 1 +0 1154.13/293.94 ∞ +0 n1 +2 1080.20/295.16
Transformed_CSR_04/ExConc_Zan97_FR.xml 11764275 is n2 +2 1 +0 83.66/30.14 ∞ +0 n1 +2 1118.53/293.32
Transformed_CSR_04/ExConc_Zan97_GM.xml 11764372 is n2 +2 1 +0 88.53/30.12 ∞ +0 n1 +2 1096.84/291.78
Transformed_CSR_04/ExConc_Zan97_iGM.xml 11764363 is n2 +2 1 +0 369.51/293.78 ∞ +0 1 +0 1110.37/292.62
Transformed_CSR_04/ExConc_Zan97_L.xml 11764422 is n1 +2 1 +0 0.04/0.02 n1 +2 n1 +2 4.85/1.95
Transformed_CSR_04/ExConc_Zan97_Z.xml 11764262 is ∞ +0 1 +0 142.76/56.22 ∞ +0 NonPoly +2 3.69/1.68
Transformed_CSR_04/ExIntrod_GM01_C.xml 11764396 is ∞ +0 1 +0 467.64/293.13 ∞ +0 n1 +2 1156.40/293.64
Transformed_CSR_04/ExIntrod_GM01_FR.xml 11764285 is ∞ +0 1 +0 348.32/251.06 ∞ +0 NonPoly +2 24.75/7.15
Transformed_CSR_04/ExIntrod_GM01_GM.xml 11764369 is ∞ +0 1 +0 403.86/293.14 ∞ +0 n1 +2 1145.55/291.92
Transformed_CSR_04/ExIntrod_GM01_iGM.xml 11764392 u ∞ +0 1 +0 388.24/292.66 ∞ +0 1 +0 1165.33/295.75
Transformed_CSR_04/ExIntrod_GM01_L.xml 11764360 u ∞ +0 1 +0 0.00/0.02 ∞ +0 1 +0 0.39/0.30
Transformed_CSR_04/ExIntrod_GM01_Z.xml 11764325 is ∞ +0 1 +0 365.61/293.12 ∞ +0 NonPoly +2 7.86/2.73
Transformed_CSR_04/ExIntrod_GM04_C.xml 11764330 is ∞ +0 1 +0 671.84/293.13 ∞ +0 n1 +2 1164.50/295.47
Transformed_CSR_04/ExIntrod_GM04_FR.xml 11764376 is ∞ +0 1 +0 347.19/261.24 ∞ +0 NonPoly +2 87.88/23.89
Transformed_CSR_04/ExIntrod_GM04_GM.xml 11764276 is n3 +2 1 +0 229.32/148.29 ∞ +0 n1 +2 1126.24/291.66
Transformed_CSR_04/ExIntrod_GM04_iGM.xml 11764412 u ∞ +0 1 +0 389.43/292.84 ∞ +0 1 +0 1165.35/296.26
Transformed_CSR_04/ExIntrod_GM04_L.xml 11764281 u ∞ +0 1 +0 0.01/0.01 ∞ +0 1 +0 0.38/0.30
Transformed_CSR_04/ExIntrod_GM04_Z.xml 11764401 is ∞ +0 1 +0 391.95/286.58 ∞ +0 NonPoly +2 29.12/8.24
Transformed_CSR_04/ExIntrod_GM99_L.xml 11764300 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.39/0.31
Transformed_CSR_04/ExProp7_Luc06_C.xml 11764273 is ∞ +0 1 +0 662.05/293.13 ∞ +0 n1 +2 1137.30/292.52
Transformed_CSR_04/ExProp7_Luc06_FR.xml 11764282 is n2 +2 1 +0 108.74/34.35 n2 +2 n1 +2 1062.98/291.53
Transformed_CSR_04/ExProp7_Luc06_GM.xml 11764371 is n12 +2 1 +0 1137.03/293.05 ∞ +0 n1 +2 1121.98/291.49
Transformed_CSR_04/ExProp7_Luc06_iGM.xml 11764268 u ∞ +0 1 +0 542.40/293.07 ∞ +0 1 +0 1134.70/293.06
Transformed_CSR_04/ExProp7_Luc06_L.xml 11764323 n1 +2 1 +0 6.67/3.03 n1 +2 1 +0 321.74/291.46
Transformed_CSR_04/ExProp7_Luc06_Z.xml 11764358 n1 +2 1 +0 12.82/7.56 n1 +2 1 +0 335.89/291.47
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 11764322 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.30
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 11764250 u ∞ +0 1 +0 0.03/0.04 ∞ +0 1 +0 0.50/0.32
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 11764303 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.48/0.40
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 11764379 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.31
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 11764390 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.31
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 11764243 is ∞ +0 1 +0 431.36/293.12 ∞ +0 NonPoly +2 5.84/2.21
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 11764256 u ∞ +0 1 +0 0.00/0.02 ∞ +0 1 +0 0.38/0.30
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 11764417 is ∞ +0 1 +0 381.63/293.05 ∞ +0 n1 +2 1168.33/298.48
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 11764428 is ∞ +0 1 +0 918.33/293.02 ∞ +0 NonPoly +2 4.17/1.79
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 11764328 is ∞ +0 1 +0 371.32/293.04 ∞ +0 NonPoly +2 5.56/2.14
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml 11764337 u ∞ +0 1 +0 491.84/292.84 ∞ +0 1 +0 1147.01/294.06
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 11764381 u ∞ +0 1 +0 0.00/0.01 ∞ +0 1 +0 0.37/0.28
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 11764255 is ∞ +0 1 +0 404.58/293.13 ∞ +0 n1 +2 1152.05/292.45
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 11764261 is ∞ +0 1 +0 375.88/293.05 ∞ +0 NonPoly +2 38.23/11.17
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 11764251 u ∞ +0 1 +0 520.57/293.13 ∞ +0 1 +0 1161.27/295.14
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 11764400 u ∞ +0 1 +0 0.04/0.05 ∞ +0 1 +0 0.61/0.36
Transformed_CSR_04/LISTUTILITIES_complete_L.xml 11764308 u ∞ +0 1 +0 0.05/0.03 ∞ +0 1 +0 0.58/0.35
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 11764269 u ∞ +0 1 +0 0.03/0.02 ∞ +0 1 +0 0.52/0.33
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 11764297 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.71/0.47
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 11764357 u ∞ +0 1 +0 0.01/0.07 ∞ +0 1 +0 0.48/0.32
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 11764290 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.31
Transformed_CSR_04/MYNAT_complete-noand_L.xml 11764384 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.49/1.61
Transformed_CSR_04/MYNAT_complete_L.xml 11764289 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.42/0.31
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 11764253 u ∞ +0 1 +0 0.02/0.05 ∞ +0 1 +0 0.41/0.37
Transformed_CSR_04/MYNAT_nokinds_L.xml 11764340 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.30
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 11764370 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.39/0.30
Transformed_CSR_04/OvConsOS_complete-noand_L.xml 11764307 u ∞ +0 1 +0 0.03/0.03 ∞ +0 1 +0 0.54/0.33
Transformed_CSR_04/OvConsOS_complete_L.xml 11764333 u ∞ +0 1 +0 0.01/0.01 ∞ +0 1 +0 0.49/0.32
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 11764288 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.48/0.31
Transformed_CSR_04/OvConsOS_nokinds_L.xml 11764304 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.31
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 11764299 is ∞ +0 1 +0 379.87/293.10 ∞ +0 n1 +2 1155.28/292.02
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 11764433 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.30
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 11764241 is ∞ +0 1 +0 505.28/293.09 ∞ +0 NonPoly +2 474.07/119.82
Transformed_CSR_04/OvConsOS_nosorts_C.xml 11764249 is ∞ +0 1 +0 434.17/293.08 ∞ +0 n1 +2 1165.36/295.44
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 11764404 is ∞ +0 1 +0 372.71/293.15 ∞ +0 NonPoly +2 4.94/1.98
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 11764301 is ∞ +0 1 +0 483.57/293.15 ∞ +0 NonPoly +2 7.28/3.54
Transformed_CSR_04/OvConsOS_nosorts_iGM.xml 11764339 u ∞ +0 1 +0 375.44/293.16 ∞ +0 1 +0 1150.54/293.12
Transformed_CSR_04/OvConsOS_nosorts_L.xml 11764315 u ∞ +0 1 +0 0.00/0.01 ∞ +0 1 +0 0.39/0.29
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 11764432 is ∞ +0 1 +0 585.16/293.15 ∞ +0 n1 +2 1151.73/292.00
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 11764294 is ∞ +0 1 +0 67.46/17.55 ∞ +0 n1 +2 1165.85/296.63
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 11764414 u ∞ +0 1 +0 401.31/293.16 ∞ +0 1 +0 1149.50/291.76
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 11764374 is ∞ +0 1 +0 366.25/293.14 ∞ +0 NonPoly +2 4.75/1.94
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 11764353 is ∞ +0 1 +0 379.60/293.15 ∞ +0 NonPoly +2 6.08/2.24
Transformed_CSR_04/PALINDROME_complete_L.xml 11764298 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.48/0.31
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 11764419 is ∞ +0 1 +0 381.96/293.16 ∞ +0 n1 +2 1179.15/296.63
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 11764408 is ∞ +0 1 +0 368.23/293.14 ∞ +0 NonPoly +2 4.48/1.84
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 11764266 is n2 +2 1 +0 102.27/30.22 ∞ +0 n1 +2 1178.12/297.67
Transformed_CSR_04/PALINDROME_nokinds_C.xml 11764425 is ∞ +0 1 +0 405.25/293.15 ∞ +0 n1 +2 1154.53/291.62
Transformed_CSR_04/PALINDROME_nokinds_FR.xml 11764277 is ∞ +0 1 +0 369.49/293.06 ∞ +0 n1 +2 1157.01/291.74
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 11764377 is ∞ +0 1 +0 373.32/293.18 ∞ +0 n1 +2 1147.29/292.05
Transformed_CSR_04/PALINDROME_nokinds_iGM.xml 11764413 u ∞ +0 1 +0 390.52/290.96 ∞ +0 1 +0 1174.52/296.58
Transformed_CSR_04/PALINDROME_nokinds_L.xml 11764393 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.39/0.30
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 11764409 is ∞ +0 1 +0 514.13/293.16 ∞ +0 n1 +2 1169.61/294.52
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 11764436 is ∞ +0 1 +0 383.26/293.15 ∞ +0 n1 +2 1178.53/296.73
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml 11764418 u ∞ +0 1 +0 395.37/293.17 ∞ +0 1 +0 1160.13/292.26
Transformed_CSR_04/PALINDROME_nokinds_Z.xml 11764291 is n2 +2 1 +0 91.53/30.20 ∞ +0 n1 +2 1156.21/291.66
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml 11764346 is n2 +2 1 +0 81.71/30.17 n2 +2 n1 +2 308.95/291.52
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 11764320 is n2 +2 1 +0 82.20/30.19 n2 +2 n1 +2 324.68/291.61
Transformed_CSR_04/PALINDROME_nosorts_C.xml 11764421 is ∞ +0 1 +0 521.02/293.15 ∞ +0 n1 +2 1140.03/291.88
Transformed_CSR_04/PALINDROME_nosorts_FR.xml 11764427 is n2 +2 1 +0 82.20/30.17 n2 +2 n1 +2 312.91/291.60
Transformed_CSR_04/PALINDROME_nosorts_GM.xml 11764332 is ∞ +0 1 +0 366.28/278.81 ∞ +0 n1 +2 1145.60/299.75
Transformed_CSR_04/PALINDROME_nosorts_iGM.xml 11764415 u ∞ +0 1 +0 240.15/138.14 ∞ +0 1 +0 1147.02/296.27
Transformed_CSR_04/PALINDROME_nosorts_L.xml 11764383 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.38/0.30
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 11764319 is ∞ +0 1 +0 514.67/293.15 ∞ +0 n1 +2 1145.93/293.62
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 11764364 is ∞ +0 1 +0 376.22/293.17 ∞ +0 n1 +2 1129.59/291.57
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml 11764334 u ∞ +0 1 +0 241.39/137.84 ∞ +0 1 +0 1140.57/294.32
Transformed_CSR_04/PEANO_complete-noand_L.xml 11764317 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.48/0.32
Transformed_CSR_04/PEANO_complete_L.xml 11764437 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.30
Transformed_CSR_04/PEANO_nokinds-noand_L.xml 11764342 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.40/0.40
Transformed_CSR_04/PEANO_nokinds_L.xml 11764403 u ∞ +0 1 +0 0.01/0.02 ∞ +0 1 +0 0.39/0.31
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 11764331 is n2 +2 1 +0 72.13/30.10 n2 +2 n1 +2 337.61/291.57
Transformed_CSR_04/PEANO_nosorts-noand_L.xml 11764280 u ∞ +0 1 +0 0.00/0.02 ∞ +0 1 +0 0.38/0.29
Transformed_CSR_04/PEANO_nosorts_C.xml 11764362 is ∞ +0 1 +0 394.51/293.03 ∞ +0 n1 +2 1139.77/292.48
Transformed_CSR_04/PEANO_nosorts_FR.xml 11764314 is n2 +2 1 +0 86.78/30.03 n2 +2 n1 +2 320.49/291.50
Transformed_CSR_04/PEANO_nosorts_GM.xml 11764395 is ∞ +0 1 +0 360.08/266.26 ∞ +0 n2 +2 1137.81/291.57
Transformed_CSR_04/PEANO_nosorts_iGM.xml 11764270 u ∞ +0 1 +0 250.02/142.40 ∞ +0 1 +0 1131.89/292.17
Transformed_CSR_04/PEANO_nosorts_L.xml 11764399 u ∞ +0 1 +0 0.00/0.04 ∞ +0 1 +0 0.38/0.30
Transformed_CSR_04/PEANO_nosorts_noand_C.xml 11764279 is ∞ +0 1 +0 406.13/293.13 ∞ +0 n1 +2 1156.36/292.29
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 11764335 is ∞ +0 1 +0 392.97/293.09 ∞ +0 n2 +2 1149.34/291.59
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 11764244 iu ∞ +0 1 +0 372.18/293.13 timeout (wallclock)
645 1656