| benchmark | AProVE | Jambox | nonloop | TTT2 |
|---|---|---|---|---|
| tpdb-8.0/TRS/Bouchare_06/01.xml | YES 5997 | YES 2793 | TIMEOUT 60319 | YES 10028 |
| tpdb-8.0/TRS/Bouchare_06/02.xml | YES 3524 | YES 1638 | TIMEOUT 60350 | YES 212 |
| tpdb-8.0/TRS/Bouchare_06/03.xml | YES 33186 | YES 5609 | TIMEOUT 60362 | YES 6694 |
| tpdb-8.0/TRS/Bouchare_06/04.xml | YES 4945 | YES 3313 | TIMEOUT 60346 | YES 9533 |
| tpdb-8.0/TRS/Bouchare_06/05.xml | YES 7661 | YES 5747 | TIMEOUT 60348 | YES 6299 |
| tpdb-8.0/TRS/Bouchare_06/06.xml | YES 3406 | YES 22603 | TIMEOUT 60320 | YES 6877 |
| tpdb-8.0/TRS/Bouchare_06/07.xml | YES 5140 | YES 7627 | TIMEOUT 60326 | YES 7370 |
| tpdb-8.0/TRS/Bouchare_06/08.xml | NO 3145 | TIMEOUT 60328 | NO 245 | NO 644 |
| tpdb-8.0/TRS/Bouchare_06/09.xml | NO 5396 | MAYBE 56713 | NO 311 | NO 17311 |
| tpdb-8.0/TRS/Bouchare_06/10.xml | YES 9569 | TIMEOUT 60289 | TIMEOUT 60342 | YES 7268 |
| tpdb-8.0/TRS/Bouchare_06/11.xml | YES 7309 | YES 2998 | TIMEOUT 60320 | YES 8525 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | YES 9682 | TIMEOUT 60274 | TIMEOUT 60345 | YES 20980 |
| tpdb-8.0/TRS/Bouchare_06/13.xml | YES 5695 | YES 5548 | TIMEOUT 60358 | YES 7235 |
| tpdb-8.0/TRS/Bouchare_06/14.xml | YES 5857 | YES 3196 | TIMEOUT 60351 | YES 6874 |
| tpdb-8.0/TRS/Bouchare_06/15.xml | YES 6490 | YES 3897 | TIMEOUT 60345 | YES 6329 |
| tpdb-8.0/TRS/Bouchare_06/16.xml | YES 4442 | YES 2937 | TIMEOUT 60331 | YES 7149 |
| tpdb-8.0/TRS/Bouchare_06/17.xml | YES 6017 | YES 3078 | TIMEOUT 60334 | YES 6854 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | YES 5848 | YES 5562 | TIMEOUT 60332 | YES 6387 |
| tpdb-8.0/TRS/Gebhardt_06/01.xml | TIMEOUT 61415 | TIMEOUT 60288 | TIMEOUT 60357 | MAYBE 59217 |
| tpdb-8.0/TRS/Gebhardt_06/02.xml | TIMEOUT 61119 | YES 4441 | TIMEOUT 60365 | MAYBE 59221 |
| tpdb-8.0/TRS/Gebhardt_06/03.xml | TIMEOUT 61466 | TIMEOUT 60325 | NO 2260 | NO 43452 |
| tpdb-8.0/TRS/Gebhardt_06/04.xml | YES 21814 | TIMEOUT 60285 | TIMEOUT 60376 | MAYBE 59217 |
| tpdb-8.0/TRS/Gebhardt_06/05.xml | TIMEOUT 63954 | TIMEOUT 60327 | NO 8049 | MAYBE 59323 |
| tpdb-8.0/TRS/Gebhardt_06/06.xml | TIMEOUT 63339 | TIMEOUT 60347 | TIMEOUT 60364 | MAYBE 59310 |
| tpdb-8.0/TRS/Gebhardt_06/07.xml | YES 28061 | TIMEOUT 60339 | TIMEOUT 60329 | MAYBE 59375 |
| tpdb-8.0/TRS/Gebhardt_06/08.xml | TIMEOUT 61747 | TIMEOUT 60322 | NO 1942 | MAYBE 59230 |
| tpdb-8.0/TRS/Gebhardt_06/09.xml | TIMEOUT 61443 | TIMEOUT 60344 | TIMEOUT 60315 | YES 13604 |
| tpdb-8.0/TRS/Gebhardt_06/10.xml | TIMEOUT 61608 | TIMEOUT 60358 | TIMEOUT 60349 | MAYBE 59449 |
| tpdb-8.0/TRS/Gebhardt_06/11.xml | YES 17179 | TIMEOUT 60335 | TIMEOUT 60309 | YES 13293 |
| tpdb-8.0/TRS/Gebhardt_06/12.xml | TIMEOUT 61508 | TIMEOUT 60352 | NO 11281 | MAYBE 59312 |
| tpdb-8.0/TRS/Gebhardt_06/13.xml | TIMEOUT 61854 | TIMEOUT 60340 | TIMEOUT 60326 | MAYBE 59311 |
| tpdb-8.0/TRS/Gebhardt_06/14.xml | YES 34226 | TIMEOUT 60350 | TIMEOUT 60360 | YES 18157 |
| tpdb-8.0/TRS/Gebhardt_06/15.xml | TIMEOUT 61557 | TIMEOUT 60336 | NO 24137 | MAYBE 59373 |
| tpdb-8.0/TRS/Gebhardt_06/16.xml | TIMEOUT 62049 | YES 11669 | TIMEOUT 60342 | YES 4068 |
| tpdb-8.0/TRS/Gebhardt_06/17.xml | TIMEOUT 61308 | TIMEOUT 60330 | TIMEOUT 60338 | MAYBE 59245 |
| tpdb-8.0/TRS/Gebhardt_06/18.xml | TIMEOUT 61282 | TIMEOUT 60374 | TIMEOUT 60367 | MAYBE 59210 |
| tpdb-8.0/TRS/Gebhardt_06/19.xml | TIMEOUT 62214 | TIMEOUT 60352 | TIMEOUT 60353 | MAYBE 59281 |
| tpdb-8.0/TRS/Gebhardt_06/20.xml | TIMEOUT 61527 | TIMEOUT 60337 | TIMEOUT 60358 | MAYBE 59330 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | TIMEOUT 61974 | TIMEOUT 60331 | NO 7009 | MAYBE 59628 |
| tpdb-8.0/TRS/Mixed_SRS/01.xml | YES 46238 | TIMEOUT 60304 | TIMEOUT 60410 | MAYBE 59348 |
| tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml | TIMEOUT 60671 | TIMEOUT 60290 | NO 12613 | MAYBE 59219 |
| tpdb-8.0/TRS/Mixed_SRS/02.xml | YES 28111 | TIMEOUT 60336 | TIMEOUT 60329 | YES 1503 |
| tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml | TIMEOUT 60879 | TIMEOUT 60288 | NO 7267 | MAYBE 59206 |
| tpdb-8.0/TRS/Mixed_SRS/03.xml | YES 15512 | TIMEOUT 60303 | TIMEOUT 60359 | MAYBE 59213 |
| tpdb-8.0/TRS/Mixed_SRS/04-oppelt08.xml | TIMEOUT 62613 | TIMEOUT 60294 | NO 2198 | MAYBE 59221 |
| tpdb-8.0/TRS/Mixed_SRS/04.xml | YES 39421 | TIMEOUT 60332 | TIMEOUT 60348 | YES 15006 |
| tpdb-8.0/TRS/Mixed_SRS/05-oppelt08.xml | TIMEOUT 61108 | TIMEOUT 60300 | NO 2611 | MAYBE 59313 |
| tpdb-8.0/TRS/Mixed_SRS/05.xml | YES 50669 | TIMEOUT 60359 | TIMEOUT 60361 | YES 16476 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | TIMEOUT 60463 | TIMEOUT 60290 | NO 355 | MAYBE 59118 |
| tpdb-8.0/TRS/Mixed_SRS/06.xml | YES 6724 | TIMEOUT 60308 | TIMEOUT 60368 | YES 16118 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | TIMEOUT 61171 | TIMEOUT 60311 | NO 628 | MAYBE 59497 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | YES 13906 | TIMEOUT 60294 | TIMEOUT 60339 | YES 11906 |
| tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml | TIMEOUT 62336 | TIMEOUT 60323 | NO 1879 | MAYBE 59696 |
| tpdb-8.0/TRS/Mixed_SRS/08.xml | TIMEOUT 60875 | TIMEOUT 60314 | TIMEOUT 60369 | MAYBE 59248 |
| tpdb-8.0/TRS/Mixed_SRS/09.xml | YES 20629 | YES 41333 | TIMEOUT 60444 | YES 6090 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | NO 16583 | TIMEOUT 60268 | NO 945 | NO 8356 |
| tpdb-8.0/TRS/Mixed_SRS/2.xml | YES 17093 | YES 8764 | TIMEOUT 60361 | YES 11356 |
| tpdb-8.0/TRS/Mixed_SRS/3.xml | YES 2200 | YES 2160 | TIMEOUT 60339 | YES 242 |
| tpdb-8.0/TRS/Mixed_SRS/4.xml | TIMEOUT 61613 | YES 9855 | TIMEOUT 60350 | MAYBE 59246 |
| tpdb-8.0/TRS/Mixed_SRS/s6.xml | YES 1597 | YES 913 | MAYBE 195 | YES 193 |
| tpdb-8.0/TRS/Mixed_SRS/touzet.xml | YES 3167 | YES 6700 | TIMEOUT 60316 | YES 4875 |
| tpdb-8.0/TRS/Mixed_SRS/turing_add.xml | YES 1535 | YES 2823 | MAYBE 193 | YES 163 |
| tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml | NO 2509 | TIMEOUT 60398 | MAYBE 195 | NO 118 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | NO 2869 | TIMEOUT 60386 | MAYBE 193 | TIMEOUT 60708 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | YES 3597 | TIMEOUT 60302 | MAYBE 194 | YES 7825 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | YES 13728 | YES 7726 | TIMEOUT 60354 | YES 6248 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | YES 14599 | YES 29086 | TIMEOUT 60340 | YES 9425 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml | YES 8590 | YES 31305 | MAYBE 195 | YES 11257 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | YES 4274 | YES 22082 | TIMEOUT 60364 | YES 9151 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml | TIMEOUT 61040 | YES 40541 | TIMEOUT 60348 | MAYBE 59227 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml | TIMEOUT 62351 | YES 9038 | TIMEOUT 60359 | TIMEOUT 60242 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | TIMEOUT 62766 | YES 8326 | TIMEOUT 60373 | MAYBE 59435 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml | YES 5346 | YES 3074 | TIMEOUT 60352 | YES 9386 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | TIMEOUT 60435 | YES 4087 | TIMEOUT 60402 | MAYBE 59399 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml | YES 5798 | YES 2639 | TIMEOUT 60348 | YES 491 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | YES 1639 | YES 4873 | TIMEOUT 60331 | YES 729 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | YES 1706 | YES 3458 | TIMEOUT 60343 | YES 9613 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | YES 19917 | YES 8419 | TIMEOUT 60328 | YES 8966 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | YES 4828 | YES 3546 | TIMEOUT 60353 | YES 2738 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | YES 3312 | YES 8122 | TIMEOUT 60344 | YES 1028 |
| tpdb-8.0/TRS/Secret_06_SRS/10.xml | YES 4173 | YES 37325 | TIMEOUT 60355 | YES 7575 |
| tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml | TIMEOUT 60765 | MAYBE 45009 | TIMEOUT 60371 | MAYBE 59192 |
| tpdb-8.0/TRS/Secret_06_SRS/1.xml | TIMEOUT 60660 | YES 6776 | TIMEOUT 60427 | MAYBE 59193 |
| tpdb-8.0/TRS/Secret_06_SRS/2-matchbox.xml | TIMEOUT 62892 | YES 9307 | TIMEOUT 60458 | YES 23261 |
| tpdb-8.0/TRS/Secret_06_SRS/2.xml | YES 35617 | YES 34504 | TIMEOUT 60345 | YES 22713 |
| tpdb-8.0/TRS/Secret_06_SRS/3-matchbox.xml | YES 16867 | YES 11955 | TIMEOUT 60348 | YES 736 |
| tpdb-8.0/TRS/Secret_06_SRS/3.xml | TIMEOUT 60835 | YES 31953 | TIMEOUT 60407 | YES 22356 |
| tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml | YES 1474 | YES 25945 | TIMEOUT 60354 | YES 8245 |
| tpdb-8.0/TRS/Secret_06_SRS/5.xml | YES 11531 | YES 32765 | TIMEOUT 60360 | YES 33266 |
| tpdb-8.0/TRS/Secret_06_SRS/6.xml | YES 6217 | YES 54330 | TIMEOUT 60410 | YES 328 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | YES 15703 | YES 35863 | TIMEOUT 60360 | YES 6651 |
| tpdb-8.0/TRS/Secret_06_SRS/8.xml | YES 22284 | YES 2248 | TIMEOUT 60355 | YES 761 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | YES 3203 | YES 34274 | TIMEOUT 60360 | YES 6775 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove00.xml | YES 2145 | YES 12519 | TIMEOUT 60339 | YES 6329 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | YES 3163 | YES 21161 | MAYBE 191 | YES 8879 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | YES 2805 | YES 9612 | TIMEOUT 60353 | YES 7925 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | YES 3364 | YES 17050 | MAYBE 191 | YES 8951 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove04.xml | YES 3254 | MAYBE 35588 | MAYBE 194 | YES 8385 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | YES 2974 | YES 24027 | MAYBE 194 | YES 6831 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | YES 2905 | YES 27626 | MAYBE 194 | YES 9474 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml | YES 6762 | YES 13945 | MAYBE 197 | YES 11506 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml | YES 2627 | YES 6763 | TIMEOUT 60376 | YES 6351 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml | YES 2279 | YES 7032 | TIMEOUT 60334 | YES 6792 |
| tpdb-8.0/TRS/Secret_06_SRS/multum1.xml | YES 3557 | TIMEOUT 60388 | TIMEOUT 60363 | YES 12943 |
| tpdb-8.0/TRS/Secret_06_SRS/multum2.xml | TIMEOUT 60670 | YES 43020 | TIMEOUT 60343 | YES 362 |
| tpdb-8.0/TRS/Secret_06_SRS/multum3.xml | YES 10649 | TIMEOUT 60350 | TIMEOUT 60386 | YES 6581 |
| tpdb-8.0/TRS/Secret_06_SRS/multum4.xml | YES 1586 | YES 13392 | TIMEOUT 60311 | YES 1235 |
| tpdb-8.0/TRS/Secret_06_SRS/multum5.xml | YES 14133 | YES 36751 | TIMEOUT 60367 | YES 342 |
| tpdb-8.0/TRS/Secret_06_SRS/multum6.xml | YES 22058 | YES 38950 | TIMEOUT 60354 | YES 986 |
| tpdb-8.0/TRS/Secret_06_SRS/secr10.xml | YES 5628 | YES 27286 | TIMEOUT 60382 | YES 7930 |
| tpdb-8.0/TRS/Secret_06_SRS/secr1.xml | YES 3308 | YES 5423 | TIMEOUT 60333 | YES 4975 |
| tpdb-8.0/TRS/Secret_06_SRS/secr2.xml | YES 4821 | YES 3041 | TIMEOUT 60422 | YES 6222 |
| tpdb-8.0/TRS/Secret_06_SRS/secr3.xml | YES 22876 | YES 12590 | TIMEOUT 60321 | YES 10478 |
| tpdb-8.0/TRS/Secret_06_SRS/secr4.xml | YES 1979 | YES 4839 | TIMEOUT 60371 | YES 7999 |
| tpdb-8.0/TRS/Secret_06_SRS/secr5.xml | TIMEOUT 61228 | YES 34636 | TIMEOUT 60391 | MAYBE 59311 |
| tpdb-8.0/TRS/Secret_06_SRS/secr6.xml | YES 21137 | MAYBE 51287 | TIMEOUT 60380 | YES 6787 |
| tpdb-8.0/TRS/Secret_06_SRS/secr7.xml | YES 6881 | MAYBE 45310 | TIMEOUT 60367 | YES 5712 |
| tpdb-8.0/TRS/Secret_06_SRS/secr8.xml | YES 6235 | MAYBE 32542 | TIMEOUT 60340 | YES 9732 |
| tpdb-8.0/TRS/Secret_06_SRS/secr9.xml | YES 11070 | TIMEOUT 60304 | TIMEOUT 60384 | YES 12959 |
| tpdb-8.0/TRS/Secret_07_SRS/dj.xml | YES 1886 | YES 328 | TIMEOUT 60299 | YES 227 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | TIMEOUT 61693 | TIMEOUT 60377 | TIMEOUT 60345 | MAYBE 59327 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | TIMEOUT 61813 | TIMEOUT 60445 | NO 6477 | MAYBE 59218 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | TIMEOUT 61457 | TIMEOUT 60390 | TIMEOUT 60353 | MAYBE 59296 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | TIMEOUT 61895 | TIMEOUT 60472 | NO 1830 | MAYBE 59223 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | TIMEOUT 61094 | TIMEOUT 60333 | TIMEOUT 60369 | MAYBE 59340 |
| tpdb-8.0/TRS/Secret_07_SRS/num-521.xml | TIMEOUT 62268 | TIMEOUT 60281 | TIMEOUT 60340 | MAYBE 59351 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | TIMEOUT 60533 | TIMEOUT 60277 | NO 19040 | MAYBE 59227 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | TIMEOUT 61222 | TIMEOUT 60283 | TIMEOUT 60434 | MAYBE 59230 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | TIMEOUT 61424 | TIMEOUT 60274 | NO 2982 | MAYBE 59307 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | TIMEOUT 61134 | TIMEOUT 60274 | NO 933 | MAYBE 59258 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | YES 44174 | MAYBE 16950 | TIMEOUT 60361 | YES 8500 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | YES 27621 | MAYBE 20541 | TIMEOUT 60478 | YES 8469 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | YES 3021 | TIMEOUT 60352 | TIMEOUT 60362 | YES 7393 |
| tpdb-8.0/TRS/Secret_07_SRS/x04.xml | YES 9995 | YES 14001 | TIMEOUT 60357 | YES 12956 |
| tpdb-8.0/TRS/Secret_07_SRS/x05.xml | YES 7838 | YES 5696 | TIMEOUT 60581 | YES 6363 |
| tpdb-8.0/TRS/Secret_07_SRS/x06.xml | YES 27588 | TIMEOUT 60284 | TIMEOUT 60335 | YES 25497 |
| tpdb-8.0/TRS/Secret_07_SRS/x07.xml | YES 47648 | TIMEOUT 60281 | TIMEOUT 60382 | YES 9255 |
| tpdb-8.0/TRS/Secret_07_SRS/x08.xml | TIMEOUT 60550 | MAYBE 44614 | TIMEOUT 60365 | YES 20198 |
| tpdb-8.0/TRS/Secret_07_SRS/x09.xml | TIMEOUT 61840 | MAYBE 44814 | TIMEOUT 60385 | MAYBE 59214 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | YES 7128 | TIMEOUT 60303 | TIMEOUT 60377 | YES 6170 |
| tpdb-8.0/TRS/Trafo_06/dup01.xml | YES 1662 | YES 1393 | MAYBE 192 | YES 185 |
| tpdb-8.0/TRS/Trafo_06/dup05.xml | YES 10711 | YES 18368 | TIMEOUT 60363 | YES 11728 |
| tpdb-8.0/TRS/Trafo_06/dup06.xml | YES 4429 | YES 9118 | TIMEOUT 60370 | MAYBE 59119 |
| tpdb-8.0/TRS/Trafo_06/dup07.xml | YES 24450 | YES 29624 | TIMEOUT 60370 | YES 9622 |
| tpdb-8.0/TRS/Trafo_06/dup08.xml | YES 14786 | YES 34614 | TIMEOUT 60373 | YES 767 |
| tpdb-8.0/TRS/Trafo_06/dup09.xml | YES 1481 | YES 3297 | TIMEOUT 60368 | YES 172 |
| tpdb-8.0/TRS/Trafo_06/dup10.xml | TIMEOUT 62415 | YES 31426 | TIMEOUT 60374 | YES 9563 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | YES 1647 | YES 26574 | TIMEOUT 60367 | YES 191 |
| tpdb-8.0/TRS/Trafo_06/dup12.xml | TIMEOUT 62389 | YES 29802 | TIMEOUT 60361 | YES 10006 |
| tpdb-8.0/TRS/Trafo_06/dup13.xml | YES 14010 | YES 10618 | TIMEOUT 60359 | YES 6056 |
| tpdb-8.0/TRS/Trafo_06/dup14.xml | YES 14994 | YES 4631 | TIMEOUT 60386 | YES 1219 |
| tpdb-8.0/TRS/Trafo_06/dup15.xml | YES 4285 | YES 2612 | TIMEOUT 60340 | YES 279 |
| tpdb-8.0/TRS/Trafo_06/dup16.xml | YES 1422 | YES 483 | TIMEOUT 60371 | YES 163 |
| tpdb-8.0/TRS/Trafo_06/dup17.xml | YES 3363 | YES 3466 | TIMEOUT 60372 | YES 274 |
| tpdb-8.0/TRS/Trafo_06/hom01.xml | YES 13305 | YES 3499 | TIMEOUT 60369 | YES 845 |
| tpdb-8.0/TRS/Trafo_06/hom02.xml | YES 1590 | YES 1943 | TIMEOUT 60383 | YES 182 |
| tpdb-8.0/TRS/Trafo_06/hom03.xml | YES 1778 | YES 35847 | TIMEOUT 60347 | YES 6975 |
| tpdb-8.0/TRS/Trafo_06/un02.xml | TIMEOUT 61437 | TIMEOUT 60395 | TIMEOUT 60341 | YES 25451 |
| tpdb-8.0/TRS/Trafo_06/un04.xml | TIMEOUT 66505 | TIMEOUT 60338 | NO 3348 | MAYBE 59453 |
| tpdb-8.0/TRS/Trafo_06/un05.xml | YES 32780 | YES 4713 | TIMEOUT 60369 | MAYBE 59427 |
| tpdb-8.0/TRS/Trafo_06/un06.xml | YES 11484 | YES 12804 | TIMEOUT 60381 | YES 1174 |
| tpdb-8.0/TRS/Trafo_06/un07.xml | YES 15543 | YES 4976 | TIMEOUT 60370 | YES 2582 |
| tpdb-8.0/TRS/Trafo_06/un08.xml | TIMEOUT 62777 | YES 11557 | TIMEOUT 60384 | MAYBE 59249 |
| tpdb-8.0/TRS/Trafo_06/un09.xml | TIMEOUT 60429 | YES 21730 | TIMEOUT 60376 | YES 12049 |
| tpdb-8.0/TRS/Trafo_06/un10.xml | TIMEOUT 62217 | YES 11020 | TIMEOUT 60334 | YES 6873 |
| tpdb-8.0/TRS/Trafo_06/un11.xml | TIMEOUT 61383 | YES 12728 | TIMEOUT 60364 | MAYBE 59330 |
| tpdb-8.0/TRS/Trafo_06/un12.xml | YES 2956 | YES 25864 | TIMEOUT 60350 | MAYBE 59500 |
| tpdb-8.0/TRS/Trafo_06/un13.xml | TIMEOUT 61219 | YES 14665 | TIMEOUT 60327 | MAYBE 59255 |
| tpdb-8.0/TRS/Trafo_06/un14.xml | TIMEOUT 64864 | YES 32793 | TIMEOUT 60378 | YES 5741 |
| tpdb-8.0/TRS/Trafo_06/un15.xml | TIMEOUT 61575 | TIMEOUT 60389 | TIMEOUT 60378 | YES 23865 |
| tpdb-8.0/TRS/Trafo_06/un16.xml | TIMEOUT 61012 | TIMEOUT 60387 | TIMEOUT 60351 | MAYBE 59658 |
| tpdb-8.0/TRS/Trafo_06/un17.xml | TIMEOUT 62465 | TIMEOUT 60317 | TIMEOUT 60370 | YES 16077 |
| tpdb-8.0/TRS/Trafo_06/un18.xml | TIMEOUT 64726 | YES 5390 | TIMEOUT 60373 | YES 4442 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | YES 12024 | YES 20104 | TIMEOUT 60314 | YES 2376 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml | YES 17937 | TIMEOUT 60331 | TIMEOUT 60379 | YES 8688 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | TIMEOUT 61549 | TIMEOUT 60365 | TIMEOUT 60396 | MAYBE 59927 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml | YES 45727 | YES 26847 | TIMEOUT 60376 | YES 14242 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml | TIMEOUT 62420 | TIMEOUT 60371 | TIMEOUT 60380 | YES 17984 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | YES 14822 | YES 6165 | TIMEOUT 60610 | YES 1779 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml | YES 6252 | YES 2985 | TIMEOUT 60379 | YES 6265 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml | YES 29422 | YES 3666 | TIMEOUT 60376 | MAYBE 59275 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml | YES 5581 | YES 3341 | TIMEOUT 60361 | YES 5639 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml | TIMEOUT 61628 | TIMEOUT 60334 | TIMEOUT 60396 | MAYBE 59227 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-6.xml | YES 9694 | MAYBE 45283 | TIMEOUT 60403 | YES 12877 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml | YES 5129 | YES 3054 | TIMEOUT 60368 | YES 6208 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml | NO 8242 | TIMEOUT 60285 | NO 524 | NO 3436 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml | TIMEOUT 61724 | TIMEOUT 60274 | NO 1140 | NO 8197 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml | NO 13389 | TIMEOUT 60279 | NO 312 | NO 12134 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-5.xml | YES 14190 | YES 27263 | TIMEOUT 60370 | YES 8763 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-6.xml | TIMEOUT 62034 | TIMEOUT 60319 | NO 2094 | MAYBE 59278 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-7.xml | TIMEOUT 61848 | TIMEOUT 60363 | TIMEOUT 60376 | MAYBE 59427 |
| tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml | YES 19947 | YES 5079 | TIMEOUT 60386 | YES 28933 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml | YES 32763 | MAYBE 46206 | TIMEOUT 60376 | YES 10361 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml | TIMEOUT 63432 | MAYBE 44781 | TIMEOUT 60367 | YES 21364 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml | TIMEOUT 60707 | TIMEOUT 60280 | TIMEOUT 60367 | YES 8434 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml | YES 18178 | MAYBE 47068 | TIMEOUT 60355 | YES 7309 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | YES 15661 | MAYBE 43407 | TIMEOUT 60354 | YES 5436 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml | YES 7668 | TIMEOUT 60410 | TIMEOUT 60323 | YES 6076 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | YES 4274 | MAYBE 50861 | TIMEOUT 60370 | YES 6707 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml | YES 3326 | TIMEOUT 60327 | TIMEOUT 60390 | YES 7257 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml | YES 24434 | TIMEOUT 60296 | TIMEOUT 60361 | YES 6604 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml | TIMEOUT 61028 | TIMEOUT 60273 | NO 4444 | MAYBE 59247 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | YES 5018 | TIMEOUT 60398 | TIMEOUT 60346 | YES 7708 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-17.xml | YES 12855 | MAYBE 41970 | TIMEOUT 60327 | YES 5087 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml | TIMEOUT 60415 | MAYBE 44015 | NO 883 | NO 9202 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml | YES 10579 | MAYBE 37829 | TIMEOUT 60374 | YES 5449 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | TIMEOUT 63095 | TIMEOUT 60285 | NO 15712 | MAYBE 59201 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-20.xml | YES 14786 | MAYBE 37120 | TIMEOUT 60374 | YES 5530 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml | TIMEOUT 61911 | MAYBE 52585 | NO 1935 | MAYBE 59144 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | YES 34996 | TIMEOUT 60390 | TIMEOUT 60321 | YES 19167 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml | YES 5699 | MAYBE 37108 | TIMEOUT 60334 | YES 6169 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | TIMEOUT 60511 | TIMEOUT 60315 | TIMEOUT 60451 | MAYBE 59190 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml | YES 15786 | TIMEOUT 60429 | TIMEOUT 60357 | YES 10027 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | YES 14245 | MAYBE 47249 | TIMEOUT 60383 | YES 5791 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml | YES 17143 | MAYBE 45986 | TIMEOUT 60361 | YES 5977 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | YES 16746 | MAYBE 56389 | TIMEOUT 60365 | YES 5710 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml | YES 10399 | TIMEOUT 60287 | TIMEOUT 60354 | YES 5033 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-10.xml | TIMEOUT 61094 | TIMEOUT 60278 | TIMEOUT 60379 | MAYBE 59223 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-11.xml | TIMEOUT 61455 | MAYBE 41981 | TIMEOUT 60367 | MAYBE 59228 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-12.xml | TIMEOUT 61690 | TIMEOUT 60287 | TIMEOUT 60369 | MAYBE 59342 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml | YES 25217 | MAYBE 44265 | TIMEOUT 60371 | YES 7035 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-14.xml | YES 24926 | MAYBE 43941 | TIMEOUT 60364 | YES 9147 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-15.xml | YES 20027 | MAYBE 50933 | TIMEOUT 60393 | YES 5608 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-16.xml | YES 6944 | MAYBE 46284 | TIMEOUT 60375 | YES 5879 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-17.xml | TIMEOUT 61605 | MAYBE 45255 | TIMEOUT 60366 | MAYBE 59197 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-18.xml | TIMEOUT 60440 | MAYBE 38097 | TIMEOUT 60382 | MAYBE 59197 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-19.xml | YES 21486 | MAYBE 43814 | TIMEOUT 60354 | YES 5896 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-1.xml | YES 3915 | MAYBE 51368 | TIMEOUT 60366 | YES 5994 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-20.xml | TIMEOUT 60654 | MAYBE 44658 | TIMEOUT 60390 | MAYBE 59173 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml | YES 13517 | MAYBE 36638 | TIMEOUT 60352 | YES 5116 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-22.xml | YES 6790 | MAYBE 45097 | TIMEOUT 60353 | YES 5767 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml | YES 37963 | MAYBE 46581 | TIMEOUT 60369 | YES 6938 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-3.xml | YES 3351 | MAYBE 44535 | TIMEOUT 60372 | YES 7067 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml | TIMEOUT 61156 | TIMEOUT 60421 | TIMEOUT 60381 | MAYBE 59322 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml | YES 24545 | TIMEOUT 60329 | TIMEOUT 60357 | YES 35016 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-6.xml | YES 56429 | TIMEOUT 60288 | TIMEOUT 60374 | YES 16688 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-7.xml | TIMEOUT 62400 | TIMEOUT 60368 | TIMEOUT 60376 | MAYBE 59299 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml | TIMEOUT 62400 | YES 33707 | TIMEOUT 60357 | MAYBE 59288 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-100.xml | TIMEOUT 61038 | MAYBE 52730 | NO 794 | NO 11294 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml | TIMEOUT 60398 | MAYBE 53451 | NO 2306 | MAYBE 59182 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-104.xml | YES 10071 | TIMEOUT 60292 | TIMEOUT 60363 | YES 7711 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-105.xml | YES 28554 | MAYBE 47375 | TIMEOUT 60367 | YES 9234 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml | YES 20224 | MAYBE 56450 | TIMEOUT 60374 | YES 7219 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-107.xml | YES 14751 | MAYBE 42799 | TIMEOUT 60375 | YES 6025 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-108.xml | YES 17934 | MAYBE 43205 | TIMEOUT 60369 | YES 5421 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml | YES 23184 | MAYBE 54953 | TIMEOUT 60364 | YES 5209 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml | YES 15624 | MAYBE 47629 | TIMEOUT 60373 | YES 5568 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml | YES 24400 | MAYBE 41451 | TIMEOUT 60365 | YES 5425 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml | YES 11525 | MAYBE 42526 | TIMEOUT 60365 | YES 6051 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-112.xml | YES 15528 | MAYBE 41001 | TIMEOUT 60368 | YES 7164 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-113.xml | YES 15574 | MAYBE 41819 | TIMEOUT 60366 | YES 6969 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-114.xml | YES 32084 | MAYBE 43920 | TIMEOUT 60375 | YES 9141 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-11.xml | TIMEOUT 60555 | TIMEOUT 60422 | NO 11236 | MAYBE 59175 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-120.xml | TIMEOUT 61111 | TIMEOUT 60304 | TIMEOUT 60378 | MAYBE 59200 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml | YES 18272 | MAYBE 52037 | TIMEOUT 60434 | YES 7225 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-122.xml | YES 36124 | MAYBE 51903 | TIMEOUT 60382 | YES 9895 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml | YES 24477 | TIMEOUT 60455 | TIMEOUT 60363 | YES 8492 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-124.xml | YES 34454 | MAYBE 51833 | TIMEOUT 60363 | YES 7452 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml | YES 19897 | TIMEOUT 60321 | TIMEOUT 60361 | YES 6558 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-126.xml | YES 21351 | TIMEOUT 60372 | TIMEOUT 60342 | YES 9261 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-127.xml | TIMEOUT 60361 | MAYBE 50951 | NO 8497 | MAYBE 59175 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-128.xml | YES 20720 | MAYBE 59389 | TIMEOUT 60372 | YES 10852 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-129.xml | TIMEOUT 60407 | MAYBE 42551 | NO 832 | MAYBE 59162 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml | YES 10772 | MAYBE 39579 | TIMEOUT 60380 | YES 5862 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml | TIMEOUT 62014 | TIMEOUT 60347 | TIMEOUT 60358 | YES 12096 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-133.xml | YES 19014 | TIMEOUT 60294 | TIMEOUT 60384 | YES 14318 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-134.xml | YES 12635 | MAYBE 50147 | TIMEOUT 60362 | YES 5246 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-135.xml | TIMEOUT 60690 | MAYBE 53439 | NO 4156 | MAYBE 59175 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml | YES 11357 | MAYBE 42939 | TIMEOUT 60359 | YES 4962 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-140.xml | NO 22931 | MAYBE 49341 | TIMEOUT 60384 | NO 9853 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-146.xml | NO 33000 | MAYBE 50501 | TIMEOUT 60372 | NO 9776 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml | YES 16860 | MAYBE 50903 | TIMEOUT 60376 | YES 5808 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml | YES 12301 | MAYBE 50220 | TIMEOUT 60351 | YES 5975 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml | YES 15946 | MAYBE 44264 | TIMEOUT 60420 | YES 5952 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml | NO 33389 | MAYBE 53213 | NO 5041 | NO 346 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-159.xml | NO 12891 | MAYBE 49190 | NO 246 | NO 20040 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-15.xml | YES 2904 | MAYBE 49294 | TIMEOUT 60364 | YES 5446 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-160.xml | TIMEOUT 61867 | MAYBE 46229 | NO 21604 | NO 7371 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml | YES 16751 | MAYBE 40036 | TIMEOUT 60336 | YES 5663 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-164.xml | YES 11579 | MAYBE 43961 | TIMEOUT 60371 | YES 5769 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml | YES 15940 | TIMEOUT 60438 | TIMEOUT 60365 | YES 7475 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-168.xml | YES 5313 | MAYBE 45221 | TIMEOUT 60360 | YES 5682 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml | YES 20709 | MAYBE 43025 | TIMEOUT 60371 | YES 6076 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml | TIMEOUT 60405 | TIMEOUT 60350 | NO 9034 | MAYBE 59180 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-174.xml | TIMEOUT 61167 | TIMEOUT 60300 | TIMEOUT 60358 | MAYBE 59197 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-176.xml | YES 6591 | MAYBE 42364 | TIMEOUT 60389 | YES 7369 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-177.xml | TIMEOUT 60500 | MAYBE 51163 | NO 414 | MAYBE 59143 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-178.xml | TIMEOUT 61376 | MAYBE 43435 | TIMEOUT 60371 | MAYBE 59164 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml | NO 50491 | MAYBE 51455 | NO 307 | NO 11971 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml | YES 15982 | MAYBE 45233 | TIMEOUT 60374 | YES 6323 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-180.xml | YES 22876 | MAYBE 41502 | TIMEOUT 60386 | YES 5594 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-181.xml | NO 50853 | MAYBE 52216 | NO 721 | MAYBE 59143 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-186.xml | YES 3265 | MAYBE 44208 | TIMEOUT 60353 | YES 6221 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-190.xml | YES 11707 | TIMEOUT 60465 | TIMEOUT 60384 | YES 5714 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-191.xml | YES 11907 | MAYBE 37132 | TIMEOUT 60385 | YES 5542 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-194.xml | YES 10383 | MAYBE 39019 | TIMEOUT 60388 | YES 4996 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-195.xml | TIMEOUT 61126 | MAYBE 44157 | NO 524 | NO 12299 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-198.xml | YES 22573 | MAYBE 44597 | TIMEOUT 60371 | YES 6662 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-199.xml | TIMEOUT 61447 | MAYBE 57595 | TIMEOUT 60373 | MAYBE 59195 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml | YES 15757 | MAYBE 51312 | TIMEOUT 60353 | YES 5325 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml | YES 13438 | MAYBE 37679 | TIMEOUT 60343 | YES 6076 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-200.xml | YES 16061 | MAYBE 38379 | TIMEOUT 60389 | YES 5618 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml | YES 15153 | MAYBE 39490 | TIMEOUT 60362 | YES 7153 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-202.xml | YES 15166 | MAYBE 43686 | TIMEOUT 60349 | YES 5522 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml | YES 15332 | MAYBE 55784 | TIMEOUT 60358 | YES 5385 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml | YES 16775 | MAYBE 38986 | TIMEOUT 60355 | YES 5366 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-206.xml | TIMEOUT 60343 | MAYBE 42166 | NO 4082 | MAYBE 59173 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-207.xml | TIMEOUT 60931 | MAYBE 41053 | NO 5131 | MAYBE 59177 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-209.xml | TIMEOUT 60613 | MAYBE 40633 | TIMEOUT 60390 | MAYBE 59180 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-20.xml | TIMEOUT 60442 | MAYBE 53760 | NO 1830 | NO 44893 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-210.xml | TIMEOUT 60397 | MAYBE 42756 | TIMEOUT 60399 | MAYBE 59172 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml | TIMEOUT 60397 | TIMEOUT 60316 | TIMEOUT 60378 | MAYBE 59320 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-213.xml | YES 22887 | MAYBE 39180 | TIMEOUT 60378 | YES 5507 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-215.xml | YES 9726 | MAYBE 38380 | TIMEOUT 60371 | YES 5301 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml | TIMEOUT 61317 | MAYBE 42156 | NO 1412 | MAYBE 59179 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-219.xml | TIMEOUT 60417 | MAYBE 43838 | TIMEOUT 60371 | MAYBE 59187 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml | TIMEOUT 60718 | MAYBE 51854 | NO 19543 | MAYBE 59208 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-220.xml | TIMEOUT 60368 | MAYBE 42232 | TIMEOUT 60366 | MAYBE 59179 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-221.xml | YES 15771 | MAYBE 43558 | TIMEOUT 60359 | YES 5826 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-222.xml | TIMEOUT 60963 | TIMEOUT 60449 | TIMEOUT 60368 | MAYBE 59232 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-223.xml | TIMEOUT 60341 | MAYBE 39474 | TIMEOUT 60375 | MAYBE 59158 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-224.xml | TIMEOUT 60502 | TIMEOUT 60296 | TIMEOUT 60390 | MAYBE 59219 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-225.xml | YES 3607 | MAYBE 42232 | TIMEOUT 60365 | YES 5990 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-226.xml | YES 19636 | MAYBE 48657 | TIMEOUT 60336 | YES 6175 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-227.xml | TIMEOUT 61761 | TIMEOUT 60361 | NO 1205 | MAYBE 59208 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml | TIMEOUT 61625 | TIMEOUT 60321 | NO 5338 | MAYBE 59216 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-231.xml | TIMEOUT 60492 | TIMEOUT 60356 | TIMEOUT 60397 | MAYBE 59228 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml | YES 13501 | MAYBE 51750 | TIMEOUT 60356 | YES 6312 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml | TIMEOUT 60577 | TIMEOUT 60418 | NO 20462 | NO 12879 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-236.xml | YES 19260 | TIMEOUT 60303 | TIMEOUT 60418 | YES 12507 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml | YES 9837 | YES 30937 | TIMEOUT 60383 | YES 12006 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-238.xml | TIMEOUT 61081 | TIMEOUT 60294 | TIMEOUT 60369 | MAYBE 59215 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-239.xml | TIMEOUT 60533 | MAYBE 53099 | NO 1197 | MAYBE 59166 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-23.xml | TIMEOUT 60574 | MAYBE 52748 | NO 2668 | NO 12715 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-241.xml | TIMEOUT 60391 | MAYBE 41439 | NO 1406 | MAYBE 59164 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-243.xml | TIMEOUT 60678 | MAYBE 43170 | NO 979 | MAYBE 59181 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-247.xml | TIMEOUT 60538 | TIMEOUT 60348 | TIMEOUT 60382 | MAYBE 59207 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml | TIMEOUT 60642 | TIMEOUT 60301 | TIMEOUT 60378 | MAYBE 59190 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-249.xml | TIMEOUT 61146 | MAYBE 55124 | TIMEOUT 60379 | NO 22537 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-255.xml | YES 17238 | MAYBE 40666 | TIMEOUT 60345 | YES 5240 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-257.xml | TIMEOUT 60907 | MAYBE 52492 | NO 782 | MAYBE 59153 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-260.xml | TIMEOUT 61112 | TIMEOUT 60304 | NO 847 | NO 13060 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-263.xml | YES 29313 | TIMEOUT 60379 | TIMEOUT 60387 | YES 10946 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml | YES 3772 | MAYBE 36800 | TIMEOUT 60371 | YES 5653 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-267.xml | TIMEOUT 63724 | MAYBE 46605 | TIMEOUT 60494 | MAYBE 59202 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml | TIMEOUT 60935 | TIMEOUT 60451 | NO 10288 | MAYBE 59242 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-271.xml | YES 10485 | TIMEOUT 60400 | TIMEOUT 60347 | YES 6288 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml | TIMEOUT 61407 | TIMEOUT 60309 | TIMEOUT 60360 | MAYBE 59198 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-273.xml | YES 5018 | MAYBE 41976 | TIMEOUT 60360 | YES 5457 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml | TIMEOUT 61006 | TIMEOUT 60307 | TIMEOUT 60451 | MAYBE 59219 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-275.xml | YES 4358 | TIMEOUT 60313 | TIMEOUT 60383 | YES 6379 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-279.xml | YES 3517 | MAYBE 51721 | TIMEOUT 60324 | YES 6535 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml | YES 3205 | MAYBE 54195 | TIMEOUT 60341 | YES 5261 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml | YES 4717 | MAYBE 39529 | TIMEOUT 60379 | YES 5532 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-283.xml | YES 6407 | MAYBE 45068 | TIMEOUT 60332 | YES 5426 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-284.xml | YES 3165 | MAYBE 41699 | TIMEOUT 60358 | YES 5641 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-285.xml | YES 3106 | MAYBE 36700 | TIMEOUT 60368 | YES 5422 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml | YES 11937 | TIMEOUT 60319 | TIMEOUT 60379 | YES 9750 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-287.xml | YES 14649 | MAYBE 49243 | TIMEOUT 60350 | YES 5274 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-288.xml | YES 21780 | MAYBE 47937 | TIMEOUT 60356 | YES 6637 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml | YES 15325 | TIMEOUT 60302 | TIMEOUT 60370 | YES 6757 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml | TIMEOUT 60460 | MAYBE 49666 | TIMEOUT 60369 | MAYBE 59218 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-292.xml | TIMEOUT 62332 | MAYBE 58534 | TIMEOUT 60388 | MAYBE 59203 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml | YES 8521 | MAYBE 51982 | TIMEOUT 60374 | YES 9016 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml | YES 5332 | MAYBE 58347 | TIMEOUT 60356 | YES 6262 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-296.xml | YES 25924 | MAYBE 50073 | TIMEOUT 60362 | YES 11497 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-297.xml | YES 17423 | MAYBE 53936 | TIMEOUT 60378 | YES 7388 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-298.xml | TIMEOUT 62910 | MAYBE 52737 | NO 20699 | MAYBE 59212 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-299.xml | YES 7338 | MAYBE 51552 | TIMEOUT 60371 | YES 8009 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml | YES 15040 | MAYBE 52191 | TIMEOUT 60367 | YES 6876 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-301.xml | YES 6677 | MAYBE 53877 | TIMEOUT 60366 | YES 7277 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml | YES 4998 | MAYBE 54631 | TIMEOUT 60386 | YES 5736 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-304.xml | YES 6095 | MAYBE 50013 | TIMEOUT 60356 | YES 6763 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-309.xml | YES 22894 | TIMEOUT 60305 | TIMEOUT 60332 | YES 23894 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-30.xml | YES 12287 | MAYBE 41339 | TIMEOUT 60347 | YES 5431 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-31.xml | YES 4758 | MAYBE 42461 | TIMEOUT 60363 | YES 5484 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml | YES 33852 | TIMEOUT 60283 | TIMEOUT 60384 | YES 7505 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-328.xml | NO 32087 | TIMEOUT 60456 | NO 3711 | NO 32410 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml | TIMEOUT 60814 | TIMEOUT 60433 | TIMEOUT 60370 | MAYBE 59212 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-330.xml | YES 16750 | MAYBE 59914 | TIMEOUT 60412 | YES 7418 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml | YES 5510 | TIMEOUT 60298 | TIMEOUT 60361 | YES 5887 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-337.xml | YES 5115 | MAYBE 51816 | TIMEOUT 60397 | YES 6116 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-338.xml | TIMEOUT 61270 | TIMEOUT 60377 | TIMEOUT 60373 | MAYBE 59235 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml | TIMEOUT 68699 | TIMEOUT 60407 | TIMEOUT 60384 | NO 30743 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-340.xml | TIMEOUT 62718 | TIMEOUT 60339 | TIMEOUT 60398 | MAYBE 59303 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-341.xml | YES 3383 | TIMEOUT 60296 | TIMEOUT 60379 | YES 6535 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml | YES 14395 | MAYBE 50041 | TIMEOUT 60359 | YES 5852 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-345.xml | YES 37854 | TIMEOUT 60483 | TIMEOUT 60373 | YES 6729 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-346.xml | YES 3204 | TIMEOUT 60306 | TIMEOUT 60377 | YES 8846 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-347.xml | YES 3297 | TIMEOUT 60427 | TIMEOUT 60383 | YES 7647 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml | YES 3152 | TIMEOUT 60390 | TIMEOUT 60359 | YES 7321 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-350.xml | YES 17208 | TIMEOUT 60401 | TIMEOUT 60334 | YES 5436 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-351.xml | YES 3079 | MAYBE 44668 | TIMEOUT 60363 | YES 4856 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-352.xml | YES 2823 | MAYBE 55215 | TIMEOUT 60372 | YES 5353 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-353.xml | TIMEOUT 60688 | MAYBE 52180 | NO 15074 | MAYBE 59198 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-354.xml | YES 3457 | TIMEOUT 60385 | TIMEOUT 60359 | YES 37030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-355.xml | TIMEOUT 63456 | TIMEOUT 60380 | TIMEOUT 60373 | MAYBE 59324 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-356.xml | TIMEOUT 62288 | TIMEOUT 60334 | TIMEOUT 60383 | MAYBE 59232 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml | YES 18797 | TIMEOUT 60343 | TIMEOUT 60366 | YES 6697 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml | YES 13519 | MAYBE 39818 | TIMEOUT 60345 | YES 10169 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-360.xml | YES 3005 | TIMEOUT 60390 | TIMEOUT 60372 | YES 6750 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml | TIMEOUT 62888 | TIMEOUT 60389 | TIMEOUT 60394 | MAYBE 59234 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml | TIMEOUT 61807 | TIMEOUT 60390 | TIMEOUT 60369 | MAYBE 59242 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-363.xml | TIMEOUT 61905 | TIMEOUT 60406 | TIMEOUT 60373 | MAYBE 59305 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml | YES 3188 | TIMEOUT 60301 | TIMEOUT 60368 | YES 6978 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml | YES 3308 | TIMEOUT 60322 | TIMEOUT 60375 | YES 6930 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml | TIMEOUT 61187 | TIMEOUT 60426 | NO 2928 | NO 51519 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml | TIMEOUT 60631 | TIMEOUT 60405 | NO 42014 | NO 33059 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml | TIMEOUT 61163 | TIMEOUT 60451 | NO 2969 | NO 46265 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-374.xml | TIMEOUT 60799 | TIMEOUT 60341 | TIMEOUT 60367 | MAYBE 59284 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml | YES 17640 | TIMEOUT 60344 | TIMEOUT 60366 | YES 6388 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-376.xml | YES 17774 | MAYBE 49368 | TIMEOUT 60396 | YES 6233 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-377.xml | YES 8927 | TIMEOUT 60375 | TIMEOUT 60329 | YES 5895 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml | TIMEOUT 61047 | TIMEOUT 60302 | TIMEOUT 60382 | MAYBE 59208 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-382.xml | TIMEOUT 67060 | TIMEOUT 60472 | TIMEOUT 60385 | MAYBE 59309 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-383.xml | TIMEOUT 61481 | TIMEOUT 60347 | TIMEOUT 60424 | NO 43425 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-384.xml | TIMEOUT 64201 | TIMEOUT 60378 | TIMEOUT 60376 | MAYBE 59240 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml | TIMEOUT 61196 | TIMEOUT 60371 | TIMEOUT 60351 | MAYBE 59254 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-386.xml | TIMEOUT 61237 | TIMEOUT 60321 | TIMEOUT 60345 | MAYBE 59229 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml | YES 3208 | TIMEOUT 60448 | TIMEOUT 60359 | YES 7373 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml | YES 19209 | TIMEOUT 60399 | TIMEOUT 60360 | YES 9369 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-392.xml | YES 16572 | TIMEOUT 60313 | TIMEOUT 60384 | YES 5873 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-395.xml | YES 30991 | TIMEOUT 60290 | TIMEOUT 60384 | YES 6662 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml | YES 34371 | TIMEOUT 60282 | TIMEOUT 60371 | YES 9692 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-399.xml | YES 10108 | TIMEOUT 60416 | TIMEOUT 60367 | YES 12197 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-3.xml | TIMEOUT 60344 | MAYBE 41580 | NO 1147 | MAYBE 59156 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-400.xml | TIMEOUT 61755 | TIMEOUT 60351 | TIMEOUT 60358 | MAYBE 59244 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-401.xml | TIMEOUT 63123 | TIMEOUT 60349 | TIMEOUT 60363 | MAYBE 59482 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-402.xml | TIMEOUT 61222 | TIMEOUT 60477 | TIMEOUT 60376 | MAYBE 59248 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml | TIMEOUT 61915 | TIMEOUT 60357 | TIMEOUT 60338 | MAYBE 59316 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml | TIMEOUT 61987 | TIMEOUT 60279 | TIMEOUT 60379 | NO 14656 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-408.xml | TIMEOUT 61585 | TIMEOUT 60284 | TIMEOUT 60362 | MAYBE 59211 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml | TIMEOUT 62180 | TIMEOUT 60292 | TIMEOUT 60361 | MAYBE 59218 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml | YES 7235 | TIMEOUT 60329 | TIMEOUT 60357 | YES 5629 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml | TIMEOUT 62493 | TIMEOUT 60285 | TIMEOUT 60366 | NO 32285 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-412.xml | YES 3420 | TIMEOUT 60432 | TIMEOUT 60350 | YES 7886 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-413.xml | YES 3389 | MAYBE 34951 | TIMEOUT 60364 | YES 7151 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-414.xml | YES 4682 | TIMEOUT 60318 | TIMEOUT 60432 | YES 8219 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-415.xml | YES 4443 | TIMEOUT 60276 | TIMEOUT 60373 | YES 7923 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-416.xml | YES 4275 | TIMEOUT 60326 | TIMEOUT 60363 | YES 7776 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml | YES 4481 | TIMEOUT 60288 | TIMEOUT 60384 | YES 7542 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-418.xml | YES 3442 | TIMEOUT 60281 | TIMEOUT 60383 | YES 7426 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml | YES 4371 | MAYBE 43485 | TIMEOUT 60372 | YES 4972 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-427.xml | YES 4183 | TIMEOUT 60286 | TIMEOUT 60367 | YES 6539 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml | YES 13531 | MAYBE 52404 | TIMEOUT 60374 | YES 6186 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml | TIMEOUT 60589 | TIMEOUT 60306 | TIMEOUT 60390 | MAYBE 59214 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-431.xml | TIMEOUT 61058 | MAYBE 50034 | TIMEOUT 60346 | MAYBE 59217 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-434.xml | TIMEOUT 62668 | TIMEOUT 60461 | TIMEOUT 60369 | MAYBE 59191 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-435.xml | YES 5579 | MAYBE 52994 | TIMEOUT 60362 | YES 8694 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-436.xml | YES 39148 | TIMEOUT 60286 | TIMEOUT 60384 | YES 7254 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml | YES 27859 | TIMEOUT 60281 | TIMEOUT 60430 | YES 8024 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml | YES 27536 | TIMEOUT 60275 | TIMEOUT 60369 | YES 8235 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-439.xml | YES 4647 | TIMEOUT 60455 | TIMEOUT 60385 | YES 6326 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-441.xml | YES 4272 | TIMEOUT 60390 | TIMEOUT 60378 | YES 5401 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml | YES 4645 | TIMEOUT 60273 | TIMEOUT 60343 | YES 7382 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-446.xml | YES 5494 | TIMEOUT 60461 | TIMEOUT 60369 | YES 5929 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-448.xml | YES 4212 | MAYBE 50298 | TIMEOUT 60375 | YES 5316 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-44.xml | YES 4019 | MAYBE 53007 | TIMEOUT 60347 | YES 6171 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml | TIMEOUT 60965 | TIMEOUT 60290 | NO 2830 | MAYBE 59212 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml | YES 4684 | TIMEOUT 60388 | TIMEOUT 60378 | YES 8078 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-452.xml | YES 14588 | TIMEOUT 60442 | TIMEOUT 60367 | MAYBE 59186 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-453.xml | YES 12584 | TIMEOUT 60306 | TIMEOUT 60378 | YES 8284 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-454.xml | TIMEOUT 61558 | TIMEOUT 60308 | TIMEOUT 60343 | MAYBE 59210 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-455.xml | YES 5029 | TIMEOUT 60308 | TIMEOUT 60341 | YES 12463 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-456.xml | YES 44475 | TIMEOUT 60305 | TIMEOUT 60364 | YES 7656 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml | YES 14741 | MAYBE 42053 | TIMEOUT 60338 | YES 6290 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-460.xml | YES 3375 | TIMEOUT 60512 | TIMEOUT 60349 | YES 8379 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-461.xml | YES 5384 | TIMEOUT 60292 | TIMEOUT 60369 | YES 7360 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-462.xml | YES 4597 | TIMEOUT 60269 | TIMEOUT 60377 | YES 7263 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml | YES 2863 | TIMEOUT 60453 | TIMEOUT 60373 | YES 6731 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-467.xml | YES 3925 | TIMEOUT 60288 | TIMEOUT 60410 | YES 7357 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-468.xml | YES 3121 | TIMEOUT 60280 | TIMEOUT 60378 | YES 7219 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-469.xml | TIMEOUT 61161 | TIMEOUT 60383 | TIMEOUT 60366 | YES 24584 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-470.xml | YES 17771 | TIMEOUT 60295 | TIMEOUT 60379 | YES 8641 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml | YES 33703 | TIMEOUT 60274 | TIMEOUT 60339 | YES 11052 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml | YES 5361 | TIMEOUT 60451 | TIMEOUT 60381 | YES 6869 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml | TIMEOUT 61189 | TIMEOUT 60377 | NO 47336 | MAYBE 59240 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-475.xml | TIMEOUT 61093 | TIMEOUT 60425 | TIMEOUT 60357 | MAYBE 59250 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml | YES 6422 | TIMEOUT 60292 | TIMEOUT 60370 | YES 7050 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml | YES 5133 | TIMEOUT 60391 | TIMEOUT 60433 | YES 7631 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-478.xml | YES 7537 | TIMEOUT 60382 | TIMEOUT 60373 | YES 11558 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-479.xml | YES 6227 | YES 26183 | TIMEOUT 60325 | YES 7867 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml | TIMEOUT 62102 | MAYBE 55306 | NO 3035 | MAYBE 59204 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-480.xml | YES 4246 | TIMEOUT 60288 | TIMEOUT 60381 | YES 7997 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-482.xml | YES 9417 | TIMEOUT 60372 | TIMEOUT 60370 | YES 9972 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml | YES 6768 | TIMEOUT 60335 | TIMEOUT 60369 | YES 5923 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-485.xml | YES 7820 | TIMEOUT 60428 | TIMEOUT 60365 | YES 7760 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-487.xml | YES 16479 | TIMEOUT 60410 | TIMEOUT 60354 | YES 10428 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml | TIMEOUT 60479 | TIMEOUT 60311 | NO 1771 | MAYBE 59221 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-489.xml | YES 12773 | TIMEOUT 60298 | TIMEOUT 60349 | YES 10050 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml | YES 18444 | MAYBE 54184 | TIMEOUT 60363 | YES 6415 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-491.xml | TIMEOUT 60687 | TIMEOUT 60391 | NO 26033 | MAYBE 59327 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml | TIMEOUT 61245 | TIMEOUT 60458 | TIMEOUT 60378 | MAYBE 59225 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-493.xml | TIMEOUT 61817 | TIMEOUT 60332 | TIMEOUT 60375 | MAYBE 59298 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-494.xml | YES 2963 | TIMEOUT 60411 | TIMEOUT 60356 | YES 6839 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-495.xml | TIMEOUT 62128 | TIMEOUT 60348 | TIMEOUT 60355 | YES 11177 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml | TIMEOUT 60404 | TIMEOUT 60334 | NO 3671 | MAYBE 59345 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-498.xml | YES 2591 | TIMEOUT 60352 | TIMEOUT 60354 | YES 6786 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml | YES 15572 | TIMEOUT 60310 | TIMEOUT 60369 | YES 9029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml | YES 5519 | MAYBE 50750 | TIMEOUT 60367 | YES 5757 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-4.xml | YES 6257 | MAYBE 50622 | TIMEOUT 60338 | YES 6492 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml | YES 8615 | TIMEOUT 60330 | TIMEOUT 60349 | YES 7517 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-503.xml | TIMEOUT 61341 | TIMEOUT 60395 | TIMEOUT 60331 | YES 12142 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-506.xml | YES 28256 | TIMEOUT 60334 | TIMEOUT 60356 | YES 27604 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-507.xml | YES 8734 | TIMEOUT 60308 | TIMEOUT 60358 | YES 5711 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-508.xml | YES 6911 | TIMEOUT 60329 | TIMEOUT 60339 | YES 7736 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml | TIMEOUT 60685 | TIMEOUT 60372 | NO 9882 | MAYBE 59219 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-51.xml | YES 3323 | MAYBE 44660 | TIMEOUT 60350 | YES 5615 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml | TIMEOUT 62052 | TIMEOUT 60279 | NO 47962 | MAYBE 59294 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-526.xml | YES 6859 | YES 34925 | TIMEOUT 60371 | YES 6420 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-52.xml | YES 3120 | MAYBE 46411 | TIMEOUT 60340 | YES 6067 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-532.xml | YES 3889 | TIMEOUT 60304 | TIMEOUT 60366 | YES 5551 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml | YES 12439 | YES 6140 | TIMEOUT 60342 | YES 5301 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-536.xml | YES 12088 | YES 5192 | TIMEOUT 60362 | YES 6204 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-540.xml | TIMEOUT 60666 | MAYBE 50408 | TIMEOUT 60379 | MAYBE 59202 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-541.xml | YES 4055 | TIMEOUT 60284 | TIMEOUT 60380 | YES 5866 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml | YES 5861 | TIMEOUT 60471 | TIMEOUT 60369 | YES 6685 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml | YES 6416 | TIMEOUT 60307 | TIMEOUT 60365 | YES 5658 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml | YES 3880 | TIMEOUT 60310 | TIMEOUT 60344 | YES 8036 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml | YES 10399 | TIMEOUT 60315 | TIMEOUT 60366 | YES 9552 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | YES 5985 | TIMEOUT 60481 | TIMEOUT 60365 | YES 6207 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml | YES 4439 | TIMEOUT 60428 | TIMEOUT 60380 | YES 5823 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-550.xml | YES 4406 | TIMEOUT 60308 | TIMEOUT 60348 | YES 5098 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-551.xml | YES 4373 | TIMEOUT 60297 | TIMEOUT 60345 | YES 5004 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml | YES 4610 | TIMEOUT 60344 | TIMEOUT 60378 | YES 5454 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-553.xml | YES 4282 | TIMEOUT 60333 | TIMEOUT 60367 | YES 6284 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-556.xml | YES 4535 | TIMEOUT 60433 | TIMEOUT 60361 | YES 5925 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | TIMEOUT 61125 | TIMEOUT 60477 | TIMEOUT 60395 | MAYBE 59200 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml | YES 3664 | MAYBE 53052 | TIMEOUT 60349 | YES 6132 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml | YES 3579 | TIMEOUT 60409 | TIMEOUT 60397 | MAYBE 59118 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml | YES 3480 | TIMEOUT 60409 | TIMEOUT 60357 | YES 5501 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-563.xml | YES 3709 | TIMEOUT 60293 | TIMEOUT 60373 | YES 5329 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml | TIMEOUT 61627 | TIMEOUT 60311 | NO 39775 | MAYBE 59224 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-565.xml | YES 3950 | MAYBE 51237 | TIMEOUT 60377 | YES 5743 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-566.xml | TIMEOUT 60386 | MAYBE 54167 | TIMEOUT 60388 | MAYBE 59193 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml | YES 3242 | TIMEOUT 60299 | TIMEOUT 60347 | YES 8480 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml | YES 11422 | MAYBE 48309 | TIMEOUT 60360 | YES 6011 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-59.xml | YES 5209 | TIMEOUT 60429 | TIMEOUT 60372 | YES 5763 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-61.xml | YES 4777 | MAYBE 52330 | TIMEOUT 60362 | YES 8272 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml | YES 12486 | MAYBE 45599 | TIMEOUT 60367 | YES 7775 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml | YES 7582 | MAYBE 51375 | TIMEOUT 60360 | YES 7002 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml | YES 19543 | TIMEOUT 60421 | TIMEOUT 60356 | YES 6017 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-67.xml | YES 4088 | MAYBE 49401 | TIMEOUT 60364 | YES 5509 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-70.xml | YES 12020 | MAYBE 36595 | TIMEOUT 60397 | YES 5151 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-71.xml | YES 11414 | MAYBE 47771 | TIMEOUT 60386 | YES 5528 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml | YES 15158 | MAYBE 53004 | TIMEOUT 60351 | YES 5276 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-74.xml | YES 15110 | MAYBE 36809 | TIMEOUT 60354 | YES 4984 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-76.xml | YES 2873 | MAYBE 49385 | TIMEOUT 60356 | YES 4831 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-7.xml | TIMEOUT 60430 | MAYBE 55998 | NO 1424 | MAYBE 59166 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-82.xml | YES 5336 | MAYBE 51230 | TIMEOUT 60314 | YES 6005 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml | TIMEOUT 60360 | MAYBE 41040 | TIMEOUT 60331 | MAYBE 59183 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-84.xml | TIMEOUT 60367 | MAYBE 50635 | TIMEOUT 60371 | MAYBE 59185 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml | YES 15283 | TIMEOUT 60406 | TIMEOUT 60347 | YES 8033 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml | YES 20642 | MAYBE 50074 | TIMEOUT 60310 | YES 7387 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-88.xml | TIMEOUT 64243 | TIMEOUT 60300 | TIMEOUT 60375 | MAYBE 59186 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-90.xml | TIMEOUT 60545 | MAYBE 53782 | NO 29679 | MAYBE 59190 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml | YES 14048 | MAYBE 50345 | TIMEOUT 60369 | YES 7441 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml | YES 4374 | TIMEOUT 60331 | TIMEOUT 60387 | YES 6015 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-94.xml | YES 3945 | MAYBE 38887 | TIMEOUT 60545 | YES 5111 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-95.xml | TIMEOUT 60363 | MAYBE 39958 | TIMEOUT 60373 | MAYBE 59167 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-98.xml | YES 50227 | MAYBE 53531 | TIMEOUT 60327 | YES 10240 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml | TIMEOUT 61016 | MAYBE 51617 | NO 366 | NO 6268 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml | YES 20695 | MAYBE 56065 | TIMEOUT 60369 | YES 5564 |
| tpdb-8.0/TRS/Zantema_04/syracuse.xml | TIMEOUT 61385 | TIMEOUT 60375 | TIMEOUT 60392 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Zantema_04/z001.xml | YES 1542 | YES 5651 | TIMEOUT 60370 | YES 9927 |
| tpdb-8.0/TRS/Zantema_04/z002.xml | YES 1535 | YES 2055 | TIMEOUT 60381 | YES 410 |
| tpdb-8.0/TRS/Zantema_04/z003.xml | YES 1534 | YES 2567 | TIMEOUT 60362 | YES 436 |
| tpdb-8.0/TRS/Zantema_04/z004.xml | YES 1535 | YES 3291 | TIMEOUT 60413 | YES 659 |
| tpdb-8.0/TRS/Zantema_04/z005.xml | YES 1588 | YES 3421 | TIMEOUT 60368 | YES 8040 |
| tpdb-8.0/TRS/Zantema_04/z006.xml | YES 1424 | YES 1476 | TIMEOUT 60349 | YES 211 |
| tpdb-8.0/TRS/Zantema_04/z007.xml | YES 1537 | YES 1586 | TIMEOUT 60331 | YES 231 |
| tpdb-8.0/TRS/Zantema_04/z008.xml | YES 4069 | YES 1645 | TIMEOUT 60364 | YES 543 |
| tpdb-8.0/TRS/Zantema_04/z009.xml | YES 1958 | YES 1699 | TIMEOUT 60375 | YES 236 |
| tpdb-8.0/TRS/Zantema_04/z010.xml | YES 1645 | YES 309 | TIMEOUT 60389 | YES 211 |
| tpdb-8.0/TRS/Zantema_04/z011.xml | YES 2675 | YES 1373 | TIMEOUT 60370 | YES 270 |
| tpdb-8.0/TRS/Zantema_04/z012.xml | YES 1533 | YES 1014 | TIMEOUT 60334 | YES 169 |
| tpdb-8.0/TRS/Zantema_04/z013.xml | YES 1420 | YES 4351 | TIMEOUT 60362 | YES 426 |
| tpdb-8.0/TRS/Zantema_04/z014.xml | YES 1475 | YES 1159 | TIMEOUT 60375 | YES 209 |
| tpdb-8.0/TRS/Zantema_04/z015.xml | YES 2958 | YES 3158 | TIMEOUT 60383 | YES 276 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | YES 1496 | YES 1532 | TIMEOUT 60397 | YES 278 |
| tpdb-8.0/TRS/Zantema_04/z018.xml | YES 2459 | YES 3531 | TIMEOUT 60383 | YES 4542 |
| tpdb-8.0/TRS/Zantema_04/z019.xml | YES 3164 | YES 1700 | TIMEOUT 60356 | YES 284 |
| tpdb-8.0/TRS/Zantema_04/z020.xml | YES 1828 | YES 4368 | TIMEOUT 60370 | YES 5101 |
| tpdb-8.0/TRS/Zantema_04/z021.xml | YES 1475 | YES 1687 | TIMEOUT 60372 | YES 256 |
| tpdb-8.0/TRS/Zantema_04/z022.xml | YES 3161 | YES 2432 | TIMEOUT 60377 | YES 251 |
| tpdb-8.0/TRS/Zantema_04/z023.xml | YES 6669 | YES 2170 | TIMEOUT 60374 | YES 302 |
| tpdb-8.0/TRS/Zantema_04/z024.xml | YES 3501 | YES 2230 | TIMEOUT 60379 | YES 260 |
| tpdb-8.0/TRS/Zantema_04/z025.xml | YES 1425 | YES 306 | TIMEOUT 60384 | YES 192 |
| tpdb-8.0/TRS/Zantema_04/z026.xml | YES 1535 | YES 1121 | TIMEOUT 60365 | YES 171 |
| tpdb-8.0/TRS/Zantema_04/z027.xml | YES 1582 | YES 7922 | TIMEOUT 60358 | YES 12692 |
| tpdb-8.0/TRS/Zantema_04/z028.xml | YES 1748 | YES 45737 | TIMEOUT 60344 | YES 6797 |
| tpdb-8.0/TRS/Zantema_04/z029.xml | YES 1592 | YES 5686 | TIMEOUT 60347 | YES 15007 |
| tpdb-8.0/TRS/Zantema_04/z030.xml | YES 1541 | YES 12362 | TIMEOUT 60341 | YES 15640 |
| tpdb-8.0/TRS/Zantema_04/z031.xml | YES 1535 | YES 25544 | TIMEOUT 60372 | YES 13631 |
| tpdb-8.0/TRS/Zantema_04/z032.xml | YES 1475 | YES 8358 | TIMEOUT 60473 | YES 9919 |
| tpdb-8.0/TRS/Zantema_04/z033.xml | YES 1419 | YES 5367 | TIMEOUT 60367 | YES 1655 |
| tpdb-8.0/TRS/Zantema_04/z034.xml | YES 1481 | TIMEOUT 60334 | TIMEOUT 60378 | YES 8385 |
| tpdb-8.0/TRS/Zantema_04/z035.xml | YES 1634 | YES 22108 | TIMEOUT 60358 | YES 10091 |
| tpdb-8.0/TRS/Zantema_04/z036.xml | YES 1530 | YES 46502 | TIMEOUT 60355 | YES 9729 |
| tpdb-8.0/TRS/Zantema_04/z037.xml | YES 1536 | TIMEOUT 60308 | TIMEOUT 60363 | YES 7944 |
| tpdb-8.0/TRS/Zantema_04/z038.xml | YES 1419 | TIMEOUT 60374 | TIMEOUT 60351 | YES 7947 |
| tpdb-8.0/TRS/Zantema_04/z039.xml | YES 1478 | YES 58978 | TIMEOUT 60355 | YES 7136 |
| tpdb-8.0/TRS/Zantema_04/z040.xml | YES 1548 | YES 52295 | TIMEOUT 60359 | YES 28896 |
| tpdb-8.0/TRS/Zantema_04/z041.xml | YES 1535 | YES 42024 | TIMEOUT 60356 | MAYBE 59374 |
| tpdb-8.0/TRS/Zantema_04/z042.xml | NO 1590 | TIMEOUT 60344 | NO 420 | NO 187 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | YES 1552 | YES 25519 | TIMEOUT 60359 | YES 6319 |
| tpdb-8.0/TRS/Zantema_04/z044.xml | NO 1636 | TIMEOUT 60346 | NO 324 | NO 184 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | YES 1537 | YES 25566 | TIMEOUT 60332 | YES 6783 |
| tpdb-8.0/TRS/Zantema_04/z046.xml | NO 1602 | TIMEOUT 60353 | NO 307 | NO 181 |
| tpdb-8.0/TRS/Zantema_04/z047.xml | YES 1537 | YES 2293 | TIMEOUT 60342 | YES 644 |
| tpdb-8.0/TRS/Zantema_04/z048.xml | YES 1533 | YES 26482 | TIMEOUT 60350 | YES 7635 |
| tpdb-8.0/TRS/Zantema_04/z049.xml | YES 1424 | YES 2436 | TIMEOUT 60308 | YES 222 |
| tpdb-8.0/TRS/Zantema_04/z050.xml | YES 1531 | YES 2290 | TIMEOUT 60325 | YES 235 |
| tpdb-8.0/TRS/Zantema_04/z051.xml | YES 1542 | YES 2443 | TIMEOUT 60362 | YES 3173 |
| tpdb-8.0/TRS/Zantema_04/z052.xml | YES 1587 | YES 2376 | TIMEOUT 60298 | YES 584 |
| tpdb-8.0/TRS/Zantema_04/z053.xml | YES 1578 | YES 2226 | TIMEOUT 60377 | YES 232 |
| tpdb-8.0/TRS/Zantema_04/z054.xml | YES 1590 | YES 33767 | TIMEOUT 60393 | YES 6685 |
| tpdb-8.0/TRS/Zantema_04/z055.xml | YES 1530 | YES 2321 | TIMEOUT 60309 | YES 611 |
| tpdb-8.0/TRS/Zantema_04/z056.xml | YES 1420 | YES 7270 | TIMEOUT 60348 | YES 5990 |
| tpdb-8.0/TRS/Zantema_04/z057.xml | YES 1534 | YES 18232 | TIMEOUT 60336 | YES 495 |
| tpdb-8.0/TRS/Zantema_04/z058.xml | YES 1431 | YES 2153 | TIMEOUT 60329 | YES 412 |
| tpdb-8.0/TRS/Zantema_04/z059.xml | YES 1588 | YES 12424 | TIMEOUT 60339 | YES 6092 |
| tpdb-8.0/TRS/Zantema_04/z060.xml | YES 1534 | YES 16527 | TIMEOUT 60334 | YES 6624 |
| tpdb-8.0/TRS/Zantema_04/z061.xml | YES 1537 | YES 2174 | TIMEOUT 60239 | YES 217 |
| tpdb-8.0/TRS/Zantema_04/z062.xml | YES 1642 | YES 2022 | TIMEOUT 60299 | YES 227 |
| tpdb-8.0/TRS/Zantema_04/z063.xml | YES 1532 | YES 2074 | TIMEOUT 60294 | YES 226 |
| tpdb-8.0/TRS/Zantema_04/z064.xml | YES 1591 | YES 3145 | TIMEOUT 60317 | YES 7141 |
| tpdb-8.0/TRS/Zantema_04/z065.xml | YES 1540 | YES 1696 | TIMEOUT 60355 | YES 181 |
| tpdb-8.0/TRS/Zantema_04/z066.xml | YES 5122 | YES 468 | TIMEOUT 60374 | YES 751 |
| tpdb-8.0/TRS/Zantema_04/z067.xml | YES 2775 | YES 361 | TIMEOUT 60382 | YES 567 |
| tpdb-8.0/TRS/Zantema_04/z068.xml | YES 4160 | TIMEOUT 60366 | TIMEOUT 60363 | YES 663 |
| tpdb-8.0/TRS/Zantema_04/z069.xml | YES 1535 | YES 4643 | TIMEOUT 60396 | YES 189 |
| tpdb-8.0/TRS/Zantema_04/z070.xml | YES 1472 | YES 26135 | TIMEOUT 60380 | YES 177 |
| tpdb-8.0/TRS/Zantema_04/z071.xml | YES 2118 | YES 309 | TIMEOUT 60359 | YES 457 |
| tpdb-8.0/TRS/Zantema_04/z072.xml | YES 1528 | YES 2487 | TIMEOUT 60329 | YES 304 |
| tpdb-8.0/TRS/Zantema_04/z073.xml | TIMEOUT 60934 | TIMEOUT 60327 | NO 1007 | MAYBE 59511 |
| tpdb-8.0/TRS/Zantema_04/z074.xml | YES 6025 | YES 4800 | TIMEOUT 60372 | YES 769 |
| tpdb-8.0/TRS/Zantema_04/z075.xml | YES 4115 | YES 2776 | TIMEOUT 60388 | YES 663 |
| tpdb-8.0/TRS/Zantema_04/z076.xml | YES 1664 | YES 2864 | TIMEOUT 60375 | YES 262 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | YES 1702 | YES 2058 | TIMEOUT 60366 | YES 305 |
| tpdb-8.0/TRS/Zantema_04/z078.xml | YES 1997 | YES 3384 | TIMEOUT 60377 | YES 448 |
| tpdb-8.0/TRS/Zantema_04/z079.xml | TIMEOUT 60870 | TIMEOUT 60341 | TIMEOUT 60356 | MAYBE 59671 |
| tpdb-8.0/TRS/Zantema_04/z080.xml | YES 4255 | YES 25489 | TIMEOUT 60371 | YES 5218 |
| tpdb-8.0/TRS/Zantema_04/z081.xml | YES 1540 | YES 1405 | TIMEOUT 60368 | YES 189 |
| tpdb-8.0/TRS/Zantema_04/z082.xml | YES 1703 | YES 2583 | TIMEOUT 60364 | YES 579 |
| tpdb-8.0/TRS/Zantema_04/z083.xml | YES 10367 | YES 3753 | TIMEOUT 60367 | YES 740 |
| tpdb-8.0/TRS/Zantema_04/z084.xml | YES 1419 | YES 306 | TIMEOUT 60348 | YES 226 |
| tpdb-8.0/TRS/Zantema_04/z085.xml | YES 1535 | YES 255 | TIMEOUT 60256 | YES 179 |
| tpdb-8.0/TRS/Zantema_04/z086.xml | YES 2872 | YES 58110 | TIMEOUT 60355 | YES 7621 |
| tpdb-8.0/TRS/Zantema_04/z087.xml | YES 1540 | YES 25684 | TIMEOUT 60240 | YES 308 |
| tpdb-8.0/TRS/Zantema_04/z088.xml | YES 1422 | YES 3629 | TIMEOUT 60364 | YES 875 |
| tpdb-8.0/TRS/Zantema_04/z089.xml | YES 3425 | YES 2280 | TIMEOUT 60353 | YES 298 |
| tpdb-8.0/TRS/Zantema_04/z090.xml | TIMEOUT 61307 | TIMEOUT 60297 | TIMEOUT 60371 | MAYBE 59473 |
| tpdb-8.0/TRS/Zantema_04/z091.xml | YES 5098 | YES 10362 | MAYBE 190 | YES 2086 |
| tpdb-8.0/TRS/Zantema_04/z092.xml | YES 1467 | YES 568 | MAYBE 188 | YES 182 |
| tpdb-8.0/TRS/Zantema_04/z093.xml | YES 1420 | YES 307 | TIMEOUT 60357 | YES 163 |
| tpdb-8.0/TRS/Zantema_04/z094.xml | YES 3557 | YES 2159 | TIMEOUT 60354 | YES 304 |
| tpdb-8.0/TRS/Zantema_04/z095.xml | YES 1545 | YES 6295 | TIMEOUT 60360 | YES 10324 |
| tpdb-8.0/TRS/Zantema_04/z096.xml | NO 1648 | TIMEOUT 60288 | NO 191 | NO 178 |
| tpdb-8.0/TRS/Zantema_04/z097.xml | YES 1535 | YES 3596 | TIMEOUT 60365 | MAYBE 59119 |
| tpdb-8.0/TRS/Zantema_04/z098.xml | YES 1582 | YES 7181 | TIMEOUT 60381 | YES 11254 |
| tpdb-8.0/TRS/Zantema_04/z100.xml | YES 7810 | YES 6122 | MAYBE 194 | YES 944 |
| tpdb-8.0/TRS/Zantema_04/z101.xml | YES 1533 | YES 255 | TIMEOUT 60383 | YES 157 |
| tpdb-8.0/TRS/Zantema_04/z102.xml | YES 1376 | YES 253 | TIMEOUT 60360 | YES 173 |
| tpdb-8.0/TRS/Zantema_04/z103.xml | YES 2778 | YES 307 | TIMEOUT 60324 | YES 414 |
| tpdb-8.0/TRS/Zantema_04/z104.xml | YES 1524 | YES 310 | TIMEOUT 60355 | YES 182 |
| tpdb-8.0/TRS/Zantema_04/z105.xml | YES 1538 | YES 924 | TIMEOUT 60361 | YES 164 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | YES 1587 | YES 478 | TIMEOUT 60369 | YES 162 |
| tpdb-8.0/TRS/Zantema_04/z107.xml | YES 1534 | YES 371 | TIMEOUT 60348 | YES 187 |
| tpdb-8.0/TRS/Zantema_04/z108.xml | YES 1418 | YES 306 | TIMEOUT 60351 | YES 171 |
| tpdb-8.0/TRS/Zantema_04/z109.xml | YES 1532 | YES 312 | TIMEOUT 60325 | YES 302 |
| tpdb-8.0/TRS/Zantema_04/z110.xml | YES 2852 | YES 2008 | TIMEOUT 60339 | YES 212 |
| tpdb-8.0/TRS/Zantema_04/z111.xml | YES 1419 | YES 3125 | TIMEOUT 60355 | YES 176 |
| tpdb-8.0/TRS/Zantema_04/z112.xml | YES 1424 | YES 309 | TIMEOUT 60299 | YES 189 |
| tpdb-8.0/TRS/Zantema_04/z113.xml | YES 1588 | YES 824 | TIMEOUT 60379 | YES 167 |
| tpdb-8.0/TRS/Zantema_04/z114.xml | YES 2803 | YES 271 | TIMEOUT 60405 | YES 309 |
| tpdb-8.0/TRS/Zantema_04/z115.xml | YES 1423 | YES 1083 | TIMEOUT 60370 | YES 170 |
| tpdb-8.0/TRS/Zantema_04/z116.xml | YES 1424 | YES 307 | TIMEOUT 60341 | YES 257 |
| tpdb-8.0/TRS/Zantema_04/z117.xml | YES 10601 | YES 308 | TIMEOUT 60347 | YES 406 |
| tpdb-8.0/TRS/Zantema_04/z118.xml | YES 1651 | YES 1492 | TIMEOUT 60377 | YES 615 |
| tpdb-8.0/TRS/Zantema_04/z119.xml | YES 3623 | YES 3040 | TIMEOUT 60351 | YES 381 |
| tpdb-8.0/TRS/Zantema_04/z120.xml | YES 2991 | YES 8837 | TIMEOUT 60387 | YES 6587 |
| tpdb-8.0/TRS/Zantema_04/z121.xml | YES 1743 | YES 1590 | TIMEOUT 60374 | YES 6063 |
| tpdb-8.0/TRS/Zantema_04/z122.xml | YES 1426 | YES 987 | TIMEOUT 60332 | YES 175 |
| tpdb-8.0/TRS/Zantema_04/z123.xml | YES 2707 | YES 2173 | TIMEOUT 60351 | YES 32301 |
| tpdb-8.0/TRS/Zantema_04/z124.xml | YES 1583 | YES 464 | MAYBE 190 | YES 180 |
| tpdb-8.0/TRS/Zantema_04/z125.xml | YES 4062 | YES 2038 | TIMEOUT 60354 | YES 406 |
| tpdb-8.0/TRS/Zantema_04/z126.xml | YES 1987 | YES 1616 | TIMEOUT 60279 | YES 260 |
| tpdb-8.0/TRS/Zantema_04/z127.xml | NO 3868 | TIMEOUT 60354 | NO 307 | NO 791 |
| tpdb-8.0/TRS/Zantema_04/z128.xml | NO 3585 | TIMEOUT 60326 | NO 240 | NO 573 |
| tpdb-8.0/TRS/Zantema_06/01.xml | YES 2045 | YES 2089 | TIMEOUT 60367 | YES 5209 |
| tpdb-8.0/TRS/Zantema_06/02.xml | YES 2776 | YES 311 | TIMEOUT 60356 | YES 301 |
| tpdb-8.0/TRS/Zantema_06/03.xml | TIMEOUT 61677 | YES 26932 | TIMEOUT 60360 | YES 39466 |
| tpdb-8.0/TRS/Zantema_06/04.xml | YES 5854 | YES 5481 | TIMEOUT 60362 | YES 6191 |
| tpdb-8.0/TRS/Zantema_06/05.xml | YES 2008 | YES 9243 | TIMEOUT 60362 | YES 11194 |
| tpdb-8.0/TRS/Zantema_06/06.xml | YES 18896 | YES 9388 | TIMEOUT 60370 | YES 9302 |
| tpdb-8.0/TRS/Zantema_06/07.xml | TIMEOUT 61623 | YES 9976 | TIMEOUT 60387 | MAYBE 59409 |
| tpdb-8.0/TRS/Zantema_06/08.xml | TIMEOUT 61658 | YES 4077 | TIMEOUT 60915 | MAYBE 59264 |
| tpdb-8.0/TRS/Zantema_06/09.xml | YES 7217 | YES 1802 | TIMEOUT 60363 | YES 590 |
| tpdb-8.0/TRS/Zantema_06/10.xml | YES 8449 | YES 4733 | TIMEOUT 60334 | YES 8104 |
| tpdb-8.0/TRS/Zantema_06/11.xml | YES 1587 | YES 25719 | TIMEOUT 60358 | YES 8389 |
| tpdb-8.0/TRS/Zantema_06/12.xml | YES 10549 | YES 29635 | TIMEOUT 60378 | YES 12986 |
| tpdb-8.0/TRS/Zantema_06/13.xml | YES 21290 | YES 7417 | TIMEOUT 60391 | YES 21509 |
| tpdb-8.0/TRS/Zantema_06/14.xml | YES 27106 | TIMEOUT 60286 | TIMEOUT 60375 | YES 19992 |
| tpdb-8.0/TRS/Zantema_06/15.xml | YES 19108 | YES 19005 | TIMEOUT 60362 | YES 4424 |
| tpdb-8.0/TRS/Zantema_06/16.xml | YES 12472 | YES 4580 | TIMEOUT 60359 | YES 747 |
| tpdb-8.0/TRS/Zantema_06/17.xml | YES 18766 | YES 13265 | TIMEOUT 60391 | YES 1073 |
| tpdb-8.0/TRS/Zantema_06/18.xml | YES 50363 | YES 21398 | TIMEOUT 60373 | YES 1707 |
| tpdb-8.0/TRS/Zantema_06/abc.xml | YES 4373 | YES 17812 | TIMEOUT 60391 | YES 5564 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | YES 3005 | YES 5685 | TIMEOUT 60388 | YES 387 |
| tpdb-8.0/TRS/Zantema_06/beans2.xml | YES 2768 | YES 34035 | TIMEOUT 60356 | YES 7478 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | YES 6922 | TIMEOUT 60331 | TIMEOUT 60383 | YES 15599 |
| tpdb-8.0/TRS/Zantema_06/beans4.xml | YES 2199 | YES 1868 | TIMEOUT 60372 | YES 224 |
| tpdb-8.0/TRS/Zantema_06/beans5.xml | YES 2491 | YES 7805 | TIMEOUT 60387 | YES 7296 |
| tpdb-8.0/TRS/Zantema_06/beans6.xml | YES 5228 | TIMEOUT 60320 | TIMEOUT 60383 | YES 8448 |
| tpdb-8.0/TRS/Zantema_06/beans7.xml | YES 6955 | TIMEOUT 60289 | TIMEOUT 60476 | YES 11739 |
| tpdb-8.0/TRS/Zantema_06/loop1.xml | NO 3665 | TIMEOUT 60277 | NO 246 | NO 1948 |
| tpdb-8.0/TRS/Zantema_06/loop2.xml | NO 2919 | TIMEOUT 60282 | NO 246 | NO 184 |
| tpdb-8.0/TRS/Zantema_06/while1.xml | YES 41407 | TIMEOUT 60383 | TIMEOUT 60352 | TIMEOUT 60278 |
| tpdb-8.0/TRS/Zantema_06/while2.xml | YES 1423 | YES 2824 | TIMEOUT 60381 | YES 710 | 522 | 251 | 87 | 549 |