| benchmark | AProVE | Jambox | muterm | TTT2 |
|---|---|---|---|---|
| tpdb-8.0/TRS/Bouchare_06/01.xml | YES 4920 | YES 3686 | TIMEOUT 60094 | YES 497 |
| tpdb-8.0/TRS/Bouchare_06/03.xml | YES 3949 | YES 4181 | TIMEOUT 60097 | YES 5259 |
| tpdb-8.0/TRS/Bouchare_06/04.xml | YES 5650 | YES 3236 | TIMEOUT 60098 | YES 532 |
| tpdb-8.0/TRS/Bouchare_06/07.xml | YES 5136 | YES 5975 | YES 2797 | TIMEOUT 60377 |
| tpdb-8.0/TRS/Bouchare_06/10.xml | YES 8576 | TIMEOUT 60300 | TIMEOUT 60098 | YES 941 |
| tpdb-8.0/TRS/Bouchare_06/11.xml | YES 6338 | YES 2921 | TIMEOUT 60095 | YES 467 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | YES 5140 | TIMEOUT 60280 | TIMEOUT 60094 | YES 549 |
| tpdb-8.0/TRS/Bouchare_06/14.xml | YES 4097 | YES 3044 | TIMEOUT 60096 | YES 446 |
| tpdb-8.0/TRS/Bouchare_06/15.xml | YES 8965 | YES 3577 | TIMEOUT 60099 | YES 570 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | YES 4665 | TIMEOUT 60268 | TIMEOUT 60096 | YES 4906 |
| tpdb-8.0/TRS/Gebhardt_06/02.xml | TIMEOUT 60794 | YES 4209 | TIMEOUT 121492 | MAYBE 59337 |
| tpdb-8.0/TRS/Gebhardt_06/03.xml | NO 3727 | TIMEOUT 60265 | TIMEOUT 116599 | NO 22271 |
| tpdb-8.0/TRS/Gebhardt_06/05.xml | NO 6568 | TIMEOUT 60280 | TIMEOUT 109318 | MAYBE 59347 |
| tpdb-8.0/TRS/Gebhardt_06/06.xml | TIMEOUT 61263 | TIMEOUT 60282 | TIMEOUT 118524 | MAYBE 59452 |
| tpdb-8.0/TRS/Gebhardt_06/07.xml | YES 9847 | TIMEOUT 60277 | TIMEOUT 118605 | MAYBE 59454 |
| tpdb-8.0/TRS/Gebhardt_06/08.xml | NO 3524 | TIMEOUT 60280 | TIMEOUT 90793 | NO 18206 |
| tpdb-8.0/TRS/Gebhardt_06/09.xml | YES 29233 | TIMEOUT 60262 | TIMEOUT 112347 | TIMEOUT 60395 |
| tpdb-8.0/TRS/Gebhardt_06/15.xml | NO 12927 | TIMEOUT 60289 | TIMEOUT 114196 | MAYBE 59390 |
| tpdb-8.0/TRS/Gebhardt_06/18.xml | YES 36513 | TIMEOUT 60309 | TIMEOUT 114880 | MAYBE 59353 |
| tpdb-8.0/TRS/Gebhardt_06/20.xml | TIMEOUT 61049 | TIMEOUT 60328 | TIMEOUT 120764 | MAYBE 59351 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | NO 11429 | TIMEOUT 60247 | TIMEOUT 62112 | MAYBE 59534 |
| tpdb-8.0/TRS/Mixed_SRS/01.xml | YES 6181 | TIMEOUT 60261 | TIMEOUT 104471 | MAYBE 59340 |
| tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml | NO 23078 | TIMEOUT 60228 | TIMEOUT 60099 | MAYBE 59338 |
| tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml | NO 15255 | TIMEOUT 60231 | TIMEOUT 60098 | TIMEOUT 60959 |
| tpdb-8.0/TRS/Mixed_SRS/05.xml | YES 8639 | TIMEOUT 60257 | TIMEOUT 60100 | YES 18888 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | NO 1878 | TIMEOUT 60209 | TIMEOUT 60094 | MAYBE 59308 |
| tpdb-8.0/TRS/Mixed_SRS/06.xml | YES 4578 | TIMEOUT 60273 | TIMEOUT 60098 | TIMEOUT 60465 |
| tpdb-8.0/TRS/Mixed_SRS/09.xml | YES 3662 | YES 44515 | TIMEOUT 60096 | YES 4910 |
| tpdb-8.0/TRS/Mixed_SRS/2.xml | YES 4201 | YES 8260 | TIMEOUT 60098 | YES 10920 |
| tpdb-8.0/TRS/Mixed_SRS/s6.xml | YES 3604 | YES 991 | YES 152 | YES 460 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | YES 9384 | YES 1502 | TIMEOUT 60099 | TIMEOUT 60741 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | YES 8996 | YES 14231 | TIMEOUT 60098 | YES 883 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | YES 10750 | TIMEOUT 60259 | YES 32484 | TIMEOUT 60404 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml | TIMEOUT 60895 | YES 9361 | TIMEOUT 65173 | MAYBE 59437 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | TIMEOUT 60853 | YES 4873 | TIMEOUT 60101 | MAYBE 59362 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml | YES 1809 | YES 2878 | TIMEOUT 60111 | YES 642 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | YES 1818 | YES 2758 | TIMEOUT 60099 | YES 487 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | YES 4250 | YES 12500 | TIMEOUT 60098 | YES 6990 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | YES 2758 | YES 1936 | TIMEOUT 60110 | YES 1097 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | YES 5492 | YES 2921 | TIMEOUT 60099 | YES 1083 |
| tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml | NO 41873 | MAYBE 40003 | TIMEOUT 60098 | MAYBE 59311 |
| tpdb-8.0/TRS/Secret_06_SRS/6.xml | YES 16572 | YES 53348 | TIMEOUT 106930 | YES 1125 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | YES 4691 | YES 29130 | TIMEOUT 60099 | YES 5339 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | YES 5340 | YES 27983 | TIMEOUT 60098 | YES 1601 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | YES 19011 | YES 6407 | YES 489 | YES 889 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | YES 23166 | YES 9679 | TIMEOUT 60096 | YES 1846 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | YES 20525 | YES 3357 | TIMEOUT 60101 | YES 1078 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | YES 21167 | TIMEOUT 60248 | YES 307 | YES 3624 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml | YES 26564 | YES 38089 | TIMEOUT 60097 | YES 798 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml | YES 15426 | TIMEOUT 60248 | YES 305 | YES 476 |
| tpdb-8.0/TRS/Secret_06_SRS/multum1.xml | TIMEOUT 61242 | TIMEOUT 60306 | TIMEOUT 60097 | YES 9913 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | TIMEOUT 60796 | TIMEOUT 60283 | TIMEOUT 60098 | MAYBE 59454 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | NO 8638 | TIMEOUT 60253 | TIMEOUT 60098 | MAYBE 59323 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | NO 3544 | TIMEOUT 60328 | TIMEOUT 60098 | MAYBE 59341 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | NO 12267 | TIMEOUT 60225 | TIMEOUT 60097 | MAYBE 59345 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | NO 36014 | TIMEOUT 60218 | TIMEOUT 60100 | NO 45415 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | NO 2358 | TIMEOUT 60223 | TIMEOUT 60098 | MAYBE 59343 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | YES 36522 | MAYBE 9027 | MAYBE 35760 | YES 5797 |
| tpdb-8.0/TRS/Secret_07_SRS/x05.xml | YES 4553 | YES 15047 | MAYBE 49610 | YES 5670 |
| tpdb-8.0/TRS/Secret_07_SRS/x06.xml | YES 9187 | TIMEOUT 60230 | MAYBE 43796 | YES 12379 |
| tpdb-8.0/TRS/Secret_07_SRS/x08.xml | YES 10970 | MAYBE 39848 | TIMEOUT 60104 | YES 12210 |
| tpdb-8.0/TRS/Trafo_06/dup01.xml | YES 7365 | YES 1636 | YES 524 | YES 588 |
| tpdb-8.0/TRS/Trafo_06/dup06.xml | YES 8653 | YES 6843 | TIMEOUT 60098 | YES 5181 |
| tpdb-8.0/TRS/Trafo_06/dup08.xml | YES 44513 | YES 15051 | TIMEOUT 60099 | YES 2412 |
| tpdb-8.0/TRS/Trafo_06/dup09.xml | YES 4064 | YES 22144 | YES 420 | YES 564 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | YES 15107 | YES 15720 | TIMEOUT 60708 | YES 590 |
| tpdb-8.0/TRS/Trafo_06/dup12.xml | TIMEOUT 60998 | YES 17662 | TIMEOUT 60098 | YES 1652 |
| tpdb-8.0/TRS/Trafo_06/dup17.xml | YES 3648 | YES 1230 | TIMEOUT 60096 | YES 851 |
| tpdb-8.0/TRS/Trafo_06/un12.xml | YES 1804 | YES 24233 | TIMEOUT 60100 | MAYBE 59514 |
| tpdb-8.0/TRS/Trafo_06/un14.xml | TIMEOUT 61134 | YES 18324 | TIMEOUT 60096 | YES 6595 |
| tpdb-8.0/TRS/Trafo_06/un17.xml | TIMEOUT 61302 | TIMEOUT 60245 | TIMEOUT 60101 | YES 59028 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml | YES 3804 | TIMEOUT 60278 | TIMEOUT 62819 | YES 8530 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml | TIMEOUT 61148 | TIMEOUT 60275 | TIMEOUT 60101 | YES 10529 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml | TIMEOUT 61248 | TIMEOUT 60270 | TIMEOUT 60097 | YES 38619 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | YES 16496 | YES 5264 | YES 51390 | YES 1176 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml | YES 4132 | YES 2694 | TIMEOUT 60099 | YES 488 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml | YES 7180 | YES 3636 | TIMEOUT 60097 | YES 981 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml | YES 4260 | YES 3172 | TIMEOUT 60098 | YES 476 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml | NO 1982 | TIMEOUT 60261 | TIMEOUT 60094 | NO 396 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml | NO 2910 | TIMEOUT 60305 | TIMEOUT 60098 | NO 43211 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-5.xml | YES 4418 | TIMEOUT 60328 | TIMEOUT 60097 | YES 7455 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml | YES 6371 | TIMEOUT 60280 | TIMEOUT 60096 | YES 6654 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml | YES 6908 | TIMEOUT 60304 | TIMEOUT 60098 | YES 11305 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | YES 4183 | MAYBE 58052 | TIMEOUT 60098 | YES 5774 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml | YES 3365 | MAYBE 31073 | TIMEOUT 60096 | YES 4639 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | TIMEOUT 60909 | TIMEOUT 60242 | TIMEOUT 60099 | MAYBE 59315 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-20.xml | YES 3116 | MAYBE 33702 | TIMEOUT 60097 | YES 4712 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | YES 5747 | TIMEOUT 60328 | MAYBE 6777 | YES 8977 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | TIMEOUT 60910 | TIMEOUT 60265 | MAYBE 25790 | NO 53819 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml | YES 4244 | TIMEOUT 60338 | MAYBE 3668 | YES 5100 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml | YES 4572 | TIMEOUT 60268 | TIMEOUT 60096 | YES 4576 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml | YES 5734 | MAYBE 39217 | TIMEOUT 60101 | YES 10342 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-14.xml | YES 6244 | MAYBE 40289 | TIMEOUT 60098 | YES 8977 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml | TIMEOUT 60934 | YES 40526 | TIMEOUT 60097 | YES 7924 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-7.xml | TIMEOUT 60898 | TIMEOUT 60259 | TIMEOUT 60095 | MAYBE 59333 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml | NO 5093 | MAYBE 45978 | TIMEOUT 60096 | MAYBE 59278 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml | YES 4226 | TIMEOUT 60320 | TIMEOUT 60099 | YES 8945 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml | YES 3498 | MAYBE 53721 | TIMEOUT 60096 | YES 984 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml | YES 4176 | MAYBE 38627 | TIMEOUT 60098 | YES 5032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-120.xml | TIMEOUT 61095 | TIMEOUT 60270 | MAYBE 1951 | MAYBE 59322 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml | YES 5453 | MAYBE 43441 | TIMEOUT 60097 | YES 6677 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml | YES 3769 | TIMEOUT 60262 | TIMEOUT 60100 | YES 7204 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml | YES 5745 | TIMEOUT 60259 | TIMEOUT 60098 | YES 5984 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-135.xml | NO 6978 | MAYBE 42702 | TIMEOUT 60097 | MAYBE 59275 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml | YES 3543 | MAYBE 36795 | TIMEOUT 60095 | YES 4656 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml | YES 4997 | MAYBE 32940 | TIMEOUT 60096 | YES 4788 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml | YES 3597 | MAYBE 53002 | MAYBE 3271 | YES 4823 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml | YES 3732 | MAYBE 32298 | MAYBE 3841 | YES 5759 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml | YES 2993 | TIMEOUT 60310 | MAYBE 1426 | YES 4803 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml | NO 10414 | MAYBE 55216 | TIMEOUT 60097 | MAYBE 59267 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml | YES 3746 | MAYBE 36708 | MAYBE 8079 | YES 4667 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml | YES 4838 | MAYBE 31698 | MAYBE 10270 | YES 5251 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml | YES 4656 | MAYBE 34900 | MAYBE 5074 | YES 4930 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml | YES 3264 | TIMEOUT 60504 | TIMEOUT 60094 | YES 4851 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-210.xml | TIMEOUT 60778 | MAYBE 31650 | TIMEOUT 60098 | MAYBE 59277 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml | NO 2802 | MAYBE 38956 | TIMEOUT 60105 | NO 3222 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml | YES 4865 | TIMEOUT 60305 | MAYBE 2278 | YES 7327 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-23.xml | NO 2887 | MAYBE 40775 | TIMEOUT 60098 | NO 7726 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-247.xml | TIMEOUT 61267 | TIMEOUT 60321 | TIMEOUT 60099 | MAYBE 59326 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml | YES 3808 | MAYBE 32720 | TIMEOUT 60097 | TIMEOUT 60392 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-273.xml | YES 4161 | MAYBE 34525 | TIMEOUT 60096 | YES 4916 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml | YES 3397 | MAYBE 43128 | TIMEOUT 60097 | YES 4774 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml | YES 4847 | MAYBE 35141 | TIMEOUT 60098 | YES 4939 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml | YES 4329 | TIMEOUT 60360 | TIMEOUT 60097 | YES 5278 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml | TIMEOUT 60834 | MAYBE 43423 | TIMEOUT 60231 | MAYBE 59284 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml | YES 6036 | MAYBE 51433 | TIMEOUT 60097 | YES 5888 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml | YES 4813 | TIMEOUT 60284 | TIMEOUT 60097 | YES 5565 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-338.xml | TIMEOUT 61333 | TIMEOUT 60336 | TIMEOUT 60097 | MAYBE 59346 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-346.xml | YES 3936 | TIMEOUT 60240 | TIMEOUT 60097 | YES 5436 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml | YES 5963 | TIMEOUT 60347 | TIMEOUT 60099 | YES 6442 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml | NO 6975 | TIMEOUT 60318 | TIMEOUT 60097 | NO 48673 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml | NO 15512 | TIMEOUT 60275 | TIMEOUT 60096 | NO 13280 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml | NO 5324 | TIMEOUT 60305 | TIMEOUT 60096 | NO 11436 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml | YES 4700 | TIMEOUT 60343 | TIMEOUT 60095 | YES 5108 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml | NO 20950 | TIMEOUT 60340 | TIMEOUT 60094 | MAYBE 59325 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml | TIMEOUT 60883 | TIMEOUT 60334 | TIMEOUT 60099 | MAYBE 59351 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml | TIMEOUT 60902 | TIMEOUT 60215 | TIMEOUT 60096 | MAYBE 59340 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml | TIMEOUT 60999 | TIMEOUT 60221 | TIMEOUT 60099 | MAYBE 59342 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-414.xml | YES 5178 | TIMEOUT 60291 | TIMEOUT 60096 | YES 5372 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml | YES 4732 | MAYBE 41841 | TIMEOUT 60095 | YES 5487 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml | TIMEOUT 61506 | TIMEOUT 60265 | MAYBE 1673 | MAYBE 59336 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-431.xml | TIMEOUT 61178 | MAYBE 44347 | TIMEOUT 60099 | MAYBE 59315 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml | YES 4410 | TIMEOUT 60265 | TIMEOUT 60098 | YES 6283 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml | YES 3265 | TIMEOUT 60223 | TIMEOUT 60121 | YES 5718 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml | YES 4344 | TIMEOUT 60329 | TIMEOUT 60098 | YES 5054 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-453.xml | YES 4612 | TIMEOUT 60257 | MAYBE 25040 | YES 5606 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-468.xml | YES 3467 | TIMEOUT 60276 | TIMEOUT 60107 | YES 5278 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-482.xml | YES 9042 | TIMEOUT 60270 | MAYBE 6394 | YES 5653 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml | YES 3278 | TIMEOUT 60307 | TIMEOUT 60096 | YES 5102 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-487.xml | YES 5447 | TIMEOUT 60325 | MAYBE 21760 | YES 4914 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml | NO 4986 | TIMEOUT 60325 | MAYBE 1621 | NO 21993 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml | YES 3762 | TIMEOUT 60311 | TIMEOUT 60100 | YES 6126 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml | NO 21062 | TIMEOUT 60221 | TIMEOUT 60097 | NO 57807 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml | YES 19769 | TIMEOUT 60321 | YES 183 | YES 5400 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml | YES 13715 | YES 20716 | YES 209 | YES 6567 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml | YES 4580 | TIMEOUT 60325 | TIMEOUT 60097 | YES 6914 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml | YES 3652 | TIMEOUT 60318 | TIMEOUT 60096 | YES 4762 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml | YES 5158 | MAYBE 46403 | MAYBE 22528 | YES 4864 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-566.xml | TIMEOUT 61101 | MAYBE 43679 | MAYBE 11674 | MAYBE 59288 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml | YES 3610 | TIMEOUT 60254 | TIMEOUT 60099 | YES 6427 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml | YES 4701 | TIMEOUT 60283 | YES 105 | YES 5445 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-82.xml | YES 4418 | MAYBE 43574 | TIMEOUT 60099 | YES 7769 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml | NO 45182 | MAYBE 40580 | MAYBE 6267 | MAYBE 59276 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml | YES 4170 | MAYBE 41117 | TIMEOUT 60095 | YES 5343 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml | YES 5221 | MAYBE 44676 | MAYBE 10010 | YES 6371 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml | NO 1816 | MAYBE 43509 | TIMEOUT 60100 | NO 8813 |
| tpdb-8.0/TRS/Zantema_04/z001.xml | YES 1746 | YES 5197 | TIMEOUT 60099 | YES 331 |
| tpdb-8.0/TRS/Zantema_04/z002.xml | YES 1718 | YES 2254 | YES 15387 | YES 333 |
| tpdb-8.0/TRS/Zantema_04/z004.xml | YES 1650 | YES 3504 | YES 150 | YES 357 |
| tpdb-8.0/TRS/Zantema_04/z008.xml | YES 4924 | YES 2292 | YES 84898 | YES 565 |
| tpdb-8.0/TRS/Zantema_04/z012.xml | YES 2246 | YES 932 | YES 186 | YES 401 |
| tpdb-8.0/TRS/Zantema_04/z013.xml | YES 1758 | YES 3300 | YES 1283 | YES 348 |
| tpdb-8.0/TRS/Zantema_04/z023.xml | YES 4920 | YES 2034 | TIMEOUT 60096 | YES 690 |
| tpdb-8.0/TRS/Zantema_04/z027.xml | YES 1746 | TIMEOUT 60228 | TIMEOUT 60099 | YES 356 |
| tpdb-8.0/TRS/Zantema_04/z028.xml | YES 1645 | YES 34449 | TIMEOUT 60094 | YES 5763 |
| tpdb-8.0/TRS/Zantema_04/z036.xml | YES 1756 | YES 32156 | TIMEOUT 60095 | YES 351 |
| tpdb-8.0/TRS/Zantema_04/z037.xml | YES 1755 | YES 46962 | TIMEOUT 60100 | YES 357 |
| tpdb-8.0/TRS/Zantema_04/z038.xml | YES 1639 | TIMEOUT 60315 | TIMEOUT 60099 | YES 358 |
| tpdb-8.0/TRS/Zantema_04/z042.xml | NO 1805 | TIMEOUT 60233 | TIMEOUT 60101 | NO 335 |
| tpdb-8.0/TRS/Zantema_04/z044.xml | NO 1760 | TIMEOUT 60224 | TIMEOUT 60097 | NO 351 |
| tpdb-8.0/TRS/Zantema_04/z048.xml | YES 1684 | YES 34496 | TIMEOUT 60095 | YES 352 |
| tpdb-8.0/TRS/Zantema_04/z052.xml | YES 1635 | YES 2342 | TIMEOUT 60101 | YES 322 |
| tpdb-8.0/TRS/Zantema_04/z054.xml | YES 1751 | YES 48252 | TIMEOUT 60100 | YES 346 |
| tpdb-8.0/TRS/Zantema_04/z061.xml | YES 1642 | YES 1706 | YES 86 | YES 314 |
| tpdb-8.0/TRS/Zantema_04/z066.xml | YES 6425 | YES 455 | YES 1466 | YES 629 |
| tpdb-8.0/TRS/Zantema_04/z073.xml | NO 2632 | TIMEOUT 60204 | TIMEOUT 60097 | MAYBE 59475 |
| tpdb-8.0/TRS/Zantema_04/z075.xml | YES 3674 | YES 2078 | TIMEOUT 60096 | YES 1406 |
| tpdb-8.0/TRS/Zantema_04/z079.xml | TIMEOUT 60773 | TIMEOUT 60200 | TIMEOUT 60096 | MAYBE 59587 |
| tpdb-8.0/TRS/Zantema_04/z081.xml | YES 2502 | YES 1810 | YES 662 | YES 527 |
| tpdb-8.0/TRS/Zantema_04/z084.xml | YES 2092 | YES 296 | MAYBE 16185 | YES 404 |
| tpdb-8.0/TRS/Zantema_04/z086.xml | YES 3550 | TIMEOUT 60234 | TIMEOUT 60571 | YES 5714 |
| tpdb-8.0/TRS/Zantema_04/z095.xml | YES 1749 | YES 8647 | TIMEOUT 60099 | YES 350 |
| tpdb-8.0/TRS/Zantema_04/z096.xml | NO 1634 | TIMEOUT 60226 | TIMEOUT 60098 | NO 362 |
| tpdb-8.0/TRS/Zantema_04/z097.xml | YES 1740 | TIMEOUT 60233 | TIMEOUT 60098 | YES 352 |
| tpdb-8.0/TRS/Zantema_04/z098.xml | YES 1691 | TIMEOUT 60239 | TIMEOUT 60096 | YES 346 |
| tpdb-8.0/TRS/Zantema_04/z100.xml | YES 19243 | YES 14898 | YES 11651 | YES 1653 |
| tpdb-8.0/TRS/Zantema_04/z101.xml | YES 1758 | YES 235 | TIMEOUT 60100 | YES 398 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | YES 1992 | YES 454 | TIMEOUT 60099 | YES 761 |
| tpdb-8.0/TRS/Zantema_04/z108.xml | YES 1817 | YES 288 | TIMEOUT 60097 | YES 471 |
| tpdb-8.0/TRS/Zantema_04/z109.xml | YES 1803 | YES 300 | MAYBE 1930 | YES 402 |
| tpdb-8.0/TRS/Zantema_04/z116.xml | YES 1794 | YES 286 | MAYBE 2262 | YES 423 |
| tpdb-8.0/TRS/Zantema_04/z119.xml | YES 5608 | YES 1608 | TIMEOUT 60113 | YES 816 |
| tpdb-8.0/TRS/Zantema_04/z123.xml | YES 4057 | YES 2056 | TIMEOUT 60098 | YES 856 |
| tpdb-8.0/TRS/Zantema_04/z127.xml | NO 1744 | TIMEOUT 60279 | TIMEOUT 60845 | NO 322 |
| tpdb-8.0/TRS/Zantema_06/01.xml | YES 3491 | YES 1882 | YES 127 | TIMEOUT 60446 |
| tpdb-8.0/TRS/Zantema_06/02.xml | YES 2468 | YES 335 | YES 449 | YES 463 |
| tpdb-8.0/TRS/Zantema_06/05.xml | YES 1800 | YES 6843 | TIMEOUT 60098 | YES 737 |
| tpdb-8.0/TRS/Zantema_06/09.xml | YES 7519 | YES 2303 | TIMEOUT 60494 | YES 605 |
| tpdb-8.0/TRS/Zantema_06/11.xml | YES 1749 | YES 8534 | YES 466 | YES 414 |
| tpdb-8.0/TRS/Zantema_06/beans2.xml | YES 10491 | YES 14339 | YES 189 | YES 5085 |
| tpdb-8.0/TRS/Zantema_06/beans4.xml | YES 2922 | YES 1036 | YES 829 | YES 487 |
| tpdb-8.0/TRS/Zantema_06/loop1.xml | NO 1714 | TIMEOUT 60295 | TIMEOUT 60096 | NO 309 |
| tpdb-8.0/TRS/Zantema_06/loop2.xml | NO 1635 | TIMEOUT 60289 | TIMEOUT 60096 | NO 331 |
| tpdb-8.0/TRS/Zantema_06/while1.xml | TIMEOUT 60902 | TIMEOUT 60224 | TIMEOUT 62777 | MAYBE 59886 | 185 | 77 | 26 | 165 |