| benchmark | AProVE | AProVE-CeTA | matchbox-cert | matchbox-nocert | TTT2Cert |
|---|---|---|---|---|---|
| tpdb-8.0/TRS/Bouchare_06/01.xml | YES 1083 | YES 2734 | YES 3523 | YES 3212 | YES 1451 |
| tpdb-8.0/TRS/Bouchare_06/03.xml | YES 2979 | YES 3948 | YES 4042 | YES 5507 | YES 6802 |
| tpdb-8.0/TRS/Bouchare_06/05.xml | YES 2828 | YES 3939 | YES 3291 | YES 4238 | YES 2302 |
| tpdb-8.0/TRS/Bouchare_06/06.xml | YES 4017 | YES 4648 | YES 708 | YES 874 | YES 7000 |
| tpdb-8.0/TRS/Bouchare_06/07.xml | YES 2546 | YES 3818 | YES 1004 | YES 1474 | YES 6818 |
| tpdb-8.0/TRS/Bouchare_06/08.xml | NO 813 | NO 14080 | TIMEOUT 60041 | TIMEOUT 60064 | NO 792 |
| tpdb-8.0/TRS/Bouchare_06/09.xml | NO 862 | NO 16654 | TIMEOUT 60048 | TIMEOUT 60100 | NO 782 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | YES 6242 | YES 4874 | YES 768 | YES 4430 | YES 1990 |
| tpdb-8.0/TRS/Bouchare_06/15.xml | YES 1125 | YES 2780 | YES 3425 | YES 4920 | YES 1381 |
| tpdb-8.0/TRS/Bouchare_06/17.xml | YES 1097 | YES 2705 | YES 1431 | YES 2037 | YES 1298 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | YES 5621 | YES 4851 | YES 4309 | YES 6088 | YES 7011 |
| tpdb-8.0/TRS/Gebhardt_06/02.xml | TIMEOUT 61019 | TIMEOUT 61079 | YES 7301 | TIMEOUT 60057 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Gebhardt_06/03.xml | NO 5394 | TIMEOUT 60977 | TIMEOUT 60045 | TIMEOUT 60069 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Gebhardt_06/04.xml | YES 4249 | YES 6015 | YES 5610 | YES 6868 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Gebhardt_06/05.xml | NO 8512 | TIMEOUT 61215 | TIMEOUT 60050 | TIMEOUT 60067 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Gebhardt_06/06.xml | TIMEOUT 61229 | TIMEOUT 61119 | TIMEOUT 60048 | TIMEOUT 60071 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Gebhardt_06/09.xml | YES 36261 | YES 50309 | YES 9214 | TIMEOUT 60051 | YES 18399 |
| tpdb-8.0/TRS/Gebhardt_06/12.xml | NO 8945 | TIMEOUT 60039 | TIMEOUT 60054 | TIMEOUT 60076 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Gebhardt_06/13.xml | TIMEOUT 61049 | TIMEOUT 61013 | TIMEOUT 60052 | TIMEOUT 60082 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Gebhardt_06/14.xml | YES 5007 | YES 5539 | YES 18690 | YES 22426 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Gebhardt_06/16.xml | YES 4417 | YES 5766 | YES 493 | YES 784 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Gebhardt_06/17.xml | YES 6126 | YES 5819 | YES 620 | YES 8438 | TIMEOUT 60062 |
| tpdb-8.0/TRS/ICFP_2010/128430.xml | YES 12039 | YES 17483 | TIMEOUT 60038 | TIMEOUT 60037 | TIMEOUT 60451 |
| tpdb-8.0/TRS/ICFP_2010/132848.xml | TIMEOUT 60795 | TIMEOUT 60635 | TIMEOUT 60042 | TIMEOUT 60042 | TIMEOUT 60544 |
| tpdb-8.0/TRS/ICFP_2010/132969.xml | TIMEOUT 60959 | TIMEOUT 60979 | TIMEOUT 60042 | TIMEOUT 60042 | TIMEOUT 60498 |
| tpdb-8.0/TRS/ICFP_2010/133010.xml | YES 13002 | YES 17872 | TIMEOUT 60039 | TIMEOUT 60038 | TIMEOUT 60283 |
| tpdb-8.0/TRS/ICFP_2010/135328.xml | TIMEOUT 61150 | TIMEOUT 61092 | TIMEOUT 60033 | TIMEOUT 60036 | TIMEOUT 60695 |
| tpdb-8.0/TRS/ICFP_2010/135659.xml | TIMEOUT 61101 | TIMEOUT 60992 | TIMEOUT 60044 | TIMEOUT 60046 | TIMEOUT 60531 |
| tpdb-8.0/TRS/ICFP_2010/136051.xml | TIMEOUT 60917 | TIMEOUT 60030 | TIMEOUT 60037 | TIMEOUT 60039 | TIMEOUT 60472 |
| tpdb-8.0/TRS/ICFP_2010/136463.xml | TIMEOUT 60879 | TIMEOUT 60662 | TIMEOUT 60040 | TIMEOUT 60043 | TIMEOUT 60497 |
| tpdb-8.0/TRS/ICFP_2010/138142.xml | YES 5616 | YES 9249 | YES 5651 | YES 6313 | TIMEOUT 60500 |
| tpdb-8.0/TRS/ICFP_2010/139018.xml | YES 12284 | YES 17083 | TIMEOUT 60038 | TIMEOUT 60039 | TIMEOUT 60358 |
| tpdb-8.0/TRS/ICFP_2010/139180.xml | YES 13170 | YES 17149 | TIMEOUT 60040 | TIMEOUT 60042 | TIMEOUT 60244 |
| tpdb-8.0/TRS/ICFP_2010/157713.xml | TIMEOUT 60836 | TIMEOUT 60932 | TIMEOUT 60041 | TIMEOUT 60044 | TIMEOUT 60498 |
| tpdb-8.0/TRS/ICFP_2010/165975.xml | TIMEOUT 60726 | TIMEOUT 60979 | TIMEOUT 60048 | TIMEOUT 60046 | TIMEOUT 60715 |
| tpdb-8.0/TRS/ICFP_2010/167240.xml | TIMEOUT 60864 | TIMEOUT 60811 | TIMEOUT 60042 | TIMEOUT 60042 | TIMEOUT 60607 |
| tpdb-8.0/TRS/ICFP_2010/167433.xml | TIMEOUT 60763 | TIMEOUT 60904 | TIMEOUT 60048 | TIMEOUT 60046 | TIMEOUT 60636 |
| tpdb-8.0/TRS/ICFP_2010/187837.xml | TIMEOUT 60682 | TIMEOUT 60850 | TIMEOUT 60057 | TIMEOUT 60046 | TIMEOUT 61081 |
| tpdb-8.0/TRS/ICFP_2010/213051.xml | YES 11152 | YES 12336 | TIMEOUT 60034 | TIMEOUT 60035 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010/213147.xml | YES 18046 | YES 18440 | TIMEOUT 60073 | TIMEOUT 60069 | TIMEOUT 60069 |
| tpdb-8.0/TRS/ICFP_2010/214091.xml | YES 3025 | YES 5779 | TIMEOUT 60034 | TIMEOUT 60034 | YES 7046 |
| tpdb-8.0/TRS/ICFP_2010/214169.xml | YES 11679 | YES 11640 | TIMEOUT 60033 | TIMEOUT 60034 | YES 18899 |
| tpdb-8.0/TRS/ICFP_2010/25395.xml | TIMEOUT 60989 | TIMEOUT 61324 | TIMEOUT 60036 | TIMEOUT 60034 | TIMEOUT 60594 |
| tpdb-8.0/TRS/ICFP_2010/26186.xml | TIMEOUT 60967 | YES 7009 | TIMEOUT 61185 | TIMEOUT 61306 | YES 8913 |
| tpdb-8.0/TRS/ICFP_2010/26931.xml | TIMEOUT 61177 | TIMEOUT 61514 | TIMEOUT 60036 | TIMEOUT 60037 | TIMEOUT 60518 |
| tpdb-8.0/TRS/ICFP_2010/27003.xml | TIMEOUT 60905 | TIMEOUT 61384 | TIMEOUT 60039 | TIMEOUT 60037 | TIMEOUT 60677 |
| tpdb-8.0/TRS/ICFP_2010/27213.xml | TIMEOUT 60961 | TIMEOUT 61129 | TIMEOUT 60035 | TIMEOUT 60033 | YES 11805 |
| tpdb-8.0/TRS/ICFP_2010/28464.xml | TIMEOUT 60883 | YES 14571 | TIMEOUT 60033 | TIMEOUT 60032 | YES 11814 |
| tpdb-8.0/TRS/ICFP_2010/28643.xml | TIMEOUT 61189 | TIMEOUT 61583 | TIMEOUT 60032 | TIMEOUT 60033 | YES 12404 |
| tpdb-8.0/TRS/ICFP_2010/3817.xml | TIMEOUT 61160 | TIMEOUT 61164 | TIMEOUT 60031 | TIMEOUT 60032 | TIMEOUT 60366 |
| tpdb-8.0/TRS/ICFP_2010/4051.xml | TIMEOUT 60903 | TIMEOUT 60957 | TIMEOUT 60032 | TIMEOUT 60032 | TIMEOUT 60401 |
| tpdb-8.0/TRS/ICFP_2010/41688.xml | TIMEOUT 60804 | TIMEOUT 60804 | TIMEOUT 60044 | TIMEOUT 60043 | TIMEOUT 60601 |
| tpdb-8.0/TRS/ICFP_2010/57278.xml | TIMEOUT 60980 | TIMEOUT 61166 | TIMEOUT 60032 | TIMEOUT 60031 | TIMEOUT 61145 |
| tpdb-8.0/TRS/ICFP_2010/57355.xml | TIMEOUT 61163 | TIMEOUT 61008 | TIMEOUT 60033 | TIMEOUT 60033 | TIMEOUT 60263 |
| tpdb-8.0/TRS/ICFP_2010/64160.xml | TIMEOUT 60920 | TIMEOUT 61423 | TIMEOUT 60714 | TIMEOUT 60034 | TIMEOUT 60245 |
| tpdb-8.0/TRS/ICFP_2010/91242.xml | TIMEOUT 61195 | TIMEOUT 61085 | TIMEOUT 60038 | TIMEOUT 60037 | TIMEOUT 60366 |
| tpdb-8.0/TRS/ICFP_2010/91254.xml | TIMEOUT 61062 | TIMEOUT 61056 | TIMEOUT 60039 | TIMEOUT 60037 | TIMEOUT 60436 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | NO 10053 | TIMEOUT 60933 | TIMEOUT 60052 | TIMEOUT 60059 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml | NO 17926 | TIMEOUT 60903 | TIMEOUT 60060 | TIMEOUT 60123 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Mixed_SRS/03.xml | YES 10524 | YES 12027 | YES 6323 | TIMEOUT 60056 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Mixed_SRS/04-oppelt08.xml | NO 8128 | TIMEOUT 60599 | TIMEOUT 60050 | TIMEOUT 60098 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Mixed_SRS/04.xml | YES 10639 | YES 9993 | YES 6622 | YES 21181 | YES 14705 |
| tpdb-8.0/TRS/Mixed_SRS/05.xml | YES 8195 | YES 7052 | YES 9996 | YES 12944 | YES 9976 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | NO 1166 | ERROR 13022 | TIMEOUT 60048 | TIMEOUT 60068 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Mixed_SRS/2.xml | YES 3328 | YES 3952 | YES 490 | YES 606 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Mixed_SRS/4.xml | TIMEOUT 61137 | TIMEOUT 60925 | TIMEOUT 60056 | TIMEOUT 60122 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Mixed_SRS/touzet.xml | YES 1423 | YES 2966 | YES 1066 | YES 2547 | YES 2911 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | NO 1007 | NO 18598 | TIMEOUT 60034 | TIMEOUT 60064 | NO 835 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | YES 5561 | YES 6740 | YES 12094 | YES 15158 | YES 7416 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | YES 3044 | YES 4574 | YES 2568 | YES 3855 | YES 5673 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml | YES 4640 | YES 6207 | YES 48940 | YES 8371 | YES 8301 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | YES 5826 | YES 8437 | TIMEOUT 60120 | TIMEOUT 60285 | YES 8732 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml | TIMEOUT 60957 | TIMEOUT 61722 | TIMEOUT 60132 | TIMEOUT 60166 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | TIMEOUT 60957 | TIMEOUT 61753 | TIMEOUT 60053 | TIMEOUT 60118 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | YES 18159 | YES 11986 | YES 44028 | TIMEOUT 60235 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml | YES 8825 | YES 9541 | YES 1211 | YES 1585 | YES 2520 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | YES 887 | YES 18464 | YES 16401 | YES 22064 | YES 3203 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | YES 3037 | YES 4014 | YES 488 | YES 543 | YES 9562 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | YES 1626 | YES 3425 | YES 13811 | YES 25348 | YES 4420 |
| tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml | NO 24327 | TIMEOUT 60898 | TIMEOUT 60043 | TIMEOUT 60069 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Secret_06_SRS/2.xml | YES 6402 | YES 6117 | YES 7289 | YES 13007 | YES 14187 |
| tpdb-8.0/TRS/Secret_06_SRS/5.xml | YES 17135 | YES 16994 | YES 7506 | YES 16281 | YES 28182 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | YES 2477 | YES 4487 | YES 16390 | YES 43325 | YES 6848 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | YES 2090 | YES 4668 | YES 32971 | TIMEOUT 60164 | YES 7576 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove04.xml | YES 3518 | YES 5808 | TIMEOUT 60118 | TIMEOUT 60340 | YES 13964 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml | YES 1631 | YES 3511 | YES 4591 | YES 6335 | YES 6353 |
| tpdb-8.0/TRS/Secret_06_SRS/multum1.xml | YES 20905 | YES 21708 | TIMEOUT 60047 | TIMEOUT 60095 | YES 3790 |
| tpdb-8.0/TRS/Secret_06_SRS/secr2.xml | YES 1685 | YES 3408 | YES 6360 | YES 4881 | YES 6396 |
| tpdb-8.0/TRS/Secret_06_SRS/secr6.xml | YES 6988 | YES 11945 | YES 795 | YES 976 | YES 6518 |
| tpdb-8.0/TRS/Secret_06_SRS/secr8.xml | YES 4907 | YES 5227 | YES 27058 | YES 31223 | YES 7828 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | NO 6948 | NO 21974 | TIMEOUT 60042 | TIMEOUT 60085 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | NO 3949 | NO 29681 | TIMEOUT 60052 | TIMEOUT 60146 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | TIMEOUT 60792 | TIMEOUT 60784 | TIMEOUT 60048 | TIMEOUT 60077 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Secret_07_SRS/num-521.xml | NO 60914 | NO 40391 | TIMEOUT 60051 | TIMEOUT 60084 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | NO 9795 | NO 22623 | TIMEOUT 60045 | TIMEOUT 60078 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | NO 2638 | NO 32302 | TIMEOUT 60048 | TIMEOUT 60083 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | YES 3474 | YES 4391 | YES 4506 | YES 3516 | YES 8183 |
| tpdb-8.0/TRS/Secret_07_SRS/x04.xml | YES 9026 | YES 16491 | YES 36757 | YES 35609 | YES 9102 |
| tpdb-8.0/TRS/Secret_07_SRS/x06.xml | YES 7446 | YES 6732 | YES 45932 | TIMEOUT 60476 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Secret_07_SRS/x09.xml | YES 42983 | TIMEOUT 60968 | YES 22076 | TIMEOUT 60147 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | YES 7812 | YES 6387 | YES 1829 | YES 2380 | YES 8696 |
| tpdb-8.0/TRS/Trafo_06/dup01.xml | YES 3029 | YES 5024 | YES 2159 | YES 347 | YES 8890 |
| tpdb-8.0/TRS/Trafo_06/dup10.xml | TIMEOUT 60961 | TIMEOUT 61107 | YES 2634 | YES 2979 | YES 14683 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | YES 9597 | YES 12426 | YES 619 | YES 297 | YES 13731 |
| tpdb-8.0/TRS/Trafo_06/dup12.xml | TIMEOUT 61119 | TIMEOUT 60811 | TIMEOUT 60091 | TIMEOUT 60164 | YES 23837 |
| tpdb-8.0/TRS/Trafo_06/dup15.xml | YES 5476 | YES 6865 | TIMEOUT 60055 | TIMEOUT 60096 | YES 1980 |
| tpdb-8.0/TRS/Trafo_06/dup17.xml | YES 3906 | YES 6425 | TIMEOUT 60473 | TIMEOUT 61320 | YES 3440 |
| tpdb-8.0/TRS/Trafo_06/un06.xml | YES 9280 | YES 8005 | YES 25555 | YES 37148 | YES 4087 |
| tpdb-8.0/TRS/Trafo_06/un09.xml | TIMEOUT 60971 | TIMEOUT 60875 | TIMEOUT 60165 | TIMEOUT 60325 | YES 14676 |
| tpdb-8.0/TRS/Trafo_06/un10.xml | TIMEOUT 61046 | TIMEOUT 60870 | YES 8261 | YES 12926 | YES 11397 |
| tpdb-8.0/TRS/Trafo_06/un13.xml | TIMEOUT 61063 | TIMEOUT 60899 | TIMEOUT 60204 | TIMEOUT 60140 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Trafo_06/un18.xml | TIMEOUT 60922 | TIMEOUT 60944 | TIMEOUT 60066 | TIMEOUT 60229 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml | YES 2969 | YES 4215 | YES 1162 | YES 38608 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | YES 12106 | YES 11238 | TIMEOUT 60121 | TIMEOUT 60450 | YES 15539 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml | TIMEOUT 60923 | YES 43867 | TIMEOUT 60091 | TIMEOUT 60221 | YES 13595 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | YES 8123 | YES 9115 | YES 24485 | YES 39565 | YES 3212 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml | YES 1090 | YES 2808 | YES 1417 | YES 2105 | YES 1438 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml | YES 1131 | YES 2807 | YES 468 | YES 541 | YES 1439 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml | TIMEOUT 61148 | TIMEOUT 60953 | YES 8929 | TIMEOUT 60052 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml | YES 1223 | YES 2732 | YES 1181 | YES 1686 | YES 1553 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml | NO 1127 | TIMEOUT 60936 | TIMEOUT 60059 | TIMEOUT 60172 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-6.xml | NO 6486 | TIMEOUT 60707 | TIMEOUT 60052 | TIMEOUT 60070 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml | YES 5310 | YES 4877 | YES 14780 | YES 40249 | YES 17028 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml | YES 7162 | YES 5544 | YES 1540 | YES 14522 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml | YES 5519 | YES 5838 | YES 1904 | YES 2561 | YES 9665 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml | YES 4705 | YES 4455 | YES 1820 | YES 1373 | YES 7069 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | YES 2152 | YES 3263 | YES 595 | YES 801 | YES 4489 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | YES 2572 | YES 3988 | YES 622 | YES 838 | YES 6062 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml | YES 3525 | YES 3194 | TIMEOUT 60042 | TIMEOUT 60065 | YES 6485 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml | NO 4399 | TIMEOUT 61191 | TIMEOUT 60039 | TIMEOUT 60057 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml | NO 5116 | TIMEOUT 60969 | TIMEOUT 60042 | TIMEOUT 60069 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml | YES 3843 | YES 6065 | YES 1424 | YES 1226 | YES 4702 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | TIMEOUT 60911 | TIMEOUT 60985 | TIMEOUT 60042 | TIMEOUT 60073 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | YES 1965 | YES 3340 | YES 379 | YES 436 | YES 6269 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-3.xml | YES 3023 | YES 3794 | TIMEOUT 60046 | TIMEOUT 60059 | YES 6541 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml | YES 1946 | YES 3317 | YES 335 | YES 416 | YES 6224 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-114.xml | YES 5430 | YES 4860 | YES 1287 | YES 1679 | YES 10119 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml | YES 2227 | YES 4319 | YES 484 | YES 575 | YES 6044 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-168.xml | YES 2848 | YES 3721 | YES 385 | YES 918 | YES 6370 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-181.xml | NO 1813 | TIMEOUT 61202 | TIMEOUT 60040 | TIMEOUT 60054 | NO 1293 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-200.xml | YES 2898 | YES 5495 | YES 614 | YES 958 | YES 6129 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-239.xml | NO 4167 | TIMEOUT 61024 | TIMEOUT 60043 | TIMEOUT 60121 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-241.xml | NO 5356 | TIMEOUT 61052 | TIMEOUT 60040 | TIMEOUT 60061 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml | TIMEOUT 61138 | TIMEOUT 61165 | TIMEOUT 60042 | TIMEOUT 60085 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml | YES 2661 | YES 3759 | YES 990 | YES 1274 | YES 6124 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml | TIMEOUT 60994 | TIMEOUT 61144 | TIMEOUT 60044 | TIMEOUT 60083 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-283.xml | YES 5889 | YES 5173 | YES 586 | YES 756 | YES 2511 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-299.xml | YES 2120 | YES 3577 | YES 1801 | YES 2117 | YES 6845 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml | YES 4763 | YES 4459 | YES 441 | YES 1013 | YES 6291 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-31.xml | YES 2073 | YES 3465 | YES 422 | YES 481 | YES 4410 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-345.xml | YES 2262 | YES 3632 | TIMEOUT 60039 | TIMEOUT 60057 | YES 6391 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml | NO 40226 | TIMEOUT 61403 | TIMEOUT 60047 | TIMEOUT 60076 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-376.xml | YES 2626 | YES 3715 | YES 595 | YES 687 | YES 6319 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml | YES 2205 | YES 3600 | TIMEOUT 60043 | TIMEOUT 60059 | YES 6766 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml | TIMEOUT 61111 | NO 16365 | TIMEOUT 60049 | TIMEOUT 60077 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-412.xml | YES 2268 | YES 3567 | TIMEOUT 60044 | TIMEOUT 60058 | YES 6499 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-413.xml | YES 4082 | YES 4140 | TIMEOUT 60041 | TIMEOUT 60055 | YES 6582 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml | YES 4554 | YES 3944 | TIMEOUT 60039 | TIMEOUT 60061 | YES 7733 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-427.xml | YES 3705 | YES 4091 | TIMEOUT 60045 | TIMEOUT 60056 | YES 7089 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-436.xml | YES 4405 | YES 4302 | TIMEOUT 60043 | TIMEOUT 60064 | YES 7166 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-439.xml | YES 2891 | YES 3881 | YES 520 | YES 812 | YES 6324 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml | YES 2692 | YES 5575 | YES 801 | YES 1141 | YES 3568 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-461.xml | YES 4074 | YES 4021 | TIMEOUT 60043 | TIMEOUT 60065 | YES 7377 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml | NO 8143 | TIMEOUT 61115 | TIMEOUT 60045 | TIMEOUT 60092 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml | YES 3609 | YES 4159 | YES 11902 | YES 29509 | YES 6815 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml | YES 4114 | YES 4898 | YES 28258 | YES 59940 | YES 5937 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml | YES 2723 | YES 3778 | YES 1312 | YES 3870 | YES 6691 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml | YES 3124 | YES 3860 | YES 1708 | YES 2248 | YES 6952 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-94.xml | YES 1704 | YES 3387 | YES 408 | YES 500 | YES 4368 |
| tpdb-8.0/TRS/Zantema_04/z001.xml | YES 816 | YES 9238 | TIMEOUT 60042 | TIMEOUT 60223 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Zantema_04/z005.xml | YES 799 | YES 4285 | YES 10980 | YES 13390 | YES 7089 |
| tpdb-8.0/TRS/Zantema_04/z011.xml | YES 1438 | YES 2921 | TIMEOUT 60054 | TIMEOUT 60087 | YES 1400 |
| tpdb-8.0/TRS/Zantema_04/z015.xml | YES 1243 | YES 2805 | TIMEOUT 60051 | TIMEOUT 60072 | YES 1464 |
| tpdb-8.0/TRS/Zantema_04/z021.xml | YES 819 | YES 2668 | YES 1082 | YES 3173 | YES 1061 |
| tpdb-8.0/TRS/Zantema_04/z022.xml | YES 2006 | YES 3530 | YES 869 | YES 1073 | YES 1506 |
| tpdb-8.0/TRS/Zantema_04/z025.xml | YES 1162 | YES 2554 | YES 48 | YES 44 | YES 1120 |
| tpdb-8.0/TRS/Zantema_04/z029.xml | YES 814 | TIMEOUT 61452 | TIMEOUT 60046 | TIMEOUT 60089 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Zantema_04/z034.xml | YES 793 | TIMEOUT 60906 | TIMEOUT 60046 | TIMEOUT 60075 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Zantema_04/z035.xml | YES 818 | TIMEOUT 60882 | TIMEOUT 60047 | TIMEOUT 60075 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | YES 795 | YES 4692 | YES 2658 | YES 19302 | YES 7945 |
| tpdb-8.0/TRS/Zantema_04/z046.xml | NO 855 | NO 12946 | TIMEOUT 60051 | TIMEOUT 60067 | NO 777 |
| tpdb-8.0/TRS/Zantema_04/z048.xml | YES 828 | YES 4785 | YES 1612 | YES 5993 | YES 6634 |
| tpdb-8.0/TRS/Zantema_04/z050.xml | YES 801 | YES 2432 | YES 526 | YES 670 | YES 1194 |
| tpdb-8.0/TRS/Zantema_04/z062.xml | YES 808 | YES 2563 | YES 436 | YES 651 | YES 1218 |
| tpdb-8.0/TRS/Zantema_04/z063.xml | YES 783 | YES 2502 | YES 480 | YES 742 | YES 999 |
| tpdb-8.0/TRS/Zantema_04/z065.xml | YES 1446 | YES 3395 | YES 123 | YES 54 | YES 1907 |
| tpdb-8.0/TRS/Zantema_04/z066.xml | YES 3674 | YES 5653 | YES 2802 | YES 3082 | YES 5075 |
| tpdb-8.0/TRS/Zantema_04/z073.xml | NO 2890 | ERROR 14709 | TIMEOUT 60064 | TIMEOUT 60071 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Zantema_04/z074.xml | YES 1701 | YES 3582 | YES 4159 | YES 2927 | YES 5211 |
| tpdb-8.0/TRS/Zantema_04/z076.xml | YES 1424 | YES 2728 | YES 350 | YES 514 | YES 5220 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | YES 1149 | YES 2672 | YES 1036 | YES 1267 | YES 1943 |
| tpdb-8.0/TRS/Zantema_04/z081.xml | YES 1652 | YES 3555 | YES 111 | YES 61 | YES 1742 |
| tpdb-8.0/TRS/Zantema_04/z083.xml | YES 3077 | YES 4578 | YES 5427 | YES 4182 | YES 3323 |
| tpdb-8.0/TRS/Zantema_04/z086.xml | YES 2131 | YES 3423 | YES 454 | YES 579 | YES 6633 |
| tpdb-8.0/TRS/Zantema_04/z087.xml | YES 786 | YES 3670 | YES 659 | YES 743 | YES 894 |
| tpdb-8.0/TRS/Zantema_04/z089.xml | YES 2983 | YES 4102 | YES 1245 | YES 2200 | YES 1695 |
| tpdb-8.0/TRS/Zantema_04/z102.xml | YES 925 | YES 2429 | ERROR 34 | YES 34 | YES 1283 |
| tpdb-8.0/TRS/Zantema_04/z104.xml | YES 1032 | YES 2543 | ERROR 54 | YES 48 | YES 1559 |
| tpdb-8.0/TRS/Zantema_04/z116.xml | YES 892 | YES 2388 | ERROR 45 | YES 34 | YES 1507 |
| tpdb-8.0/TRS/Zantema_04/z117.xml | YES 6552 | YES 7082 | YES 1867 | YES 2456 | YES 2015 |
| tpdb-8.0/TRS/Zantema_04/z121.xml | YES 1450 | YES 2714 | YES 617 | YES 703 | YES 2184 |
| tpdb-8.0/TRS/Zantema_04/z122.xml | YES 1396 | YES 3024 | YES 133 | YES 57 | YES 2210 |
| tpdb-8.0/TRS/Zantema_04/z123.xml | YES 1979 | YES 3623 | YES 982 | YES 836 | YES 3758 |
| tpdb-8.0/TRS/Zantema_04/z126.xml | YES 968 | YES 2756 | YES 912 | YES 1022 | YES 1132 |
| tpdb-8.0/TRS/Zantema_06/05.xml | YES 26069 | YES 30536 | TIMEOUT 60050 | TIMEOUT 60088 | YES 15817 |
| tpdb-8.0/TRS/Zantema_06/11.xml | YES 846 | YES 3735 | YES 1876 | YES 21194 | YES 8019 |
| tpdb-8.0/TRS/Zantema_06/12.xml | TIMEOUT 60913 | YES 22037 | TIMEOUT 60049 | TIMEOUT 60081 | YES 9284 |
| tpdb-8.0/TRS/Zantema_06/14.xml | YES 8262 | YES 6974 | YES 20625 | YES 29121 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Zantema_06/17.xml | YES 2285 | YES 6120 | TIMEOUT 61310 | TIMEOUT 61935 | YES 5624 |
| tpdb-8.0/TRS/Zantema_06/18.xml | YES 2500 | YES 6718 | TIMEOUT 61169 | TIMEOUT 61835 | YES 11371 |
| tpdb-8.0/TRS/Zantema_06/abc.xml | YES 2611 | YES 5915 | YES 481 | YES 543 | YES 5644 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | YES 2384 | YES 4293 | TIMEOUT 60061 | TIMEOUT 60089 | YES 7088 |
| tpdb-8.0/TRS/Zantema_06/beans4.xml | YES 1662 | YES 3382 | YES 105 | YES 64 | YES 1399 |
| tpdb-8.0/TRS/Zantema_06/beans5.xml | YES 2351 | YES 3281 | YES 729 | YES 1010 | YES 6389 |
| tpdb-8.0/TRS/Zantema_06/while1.xml | TIMEOUT 61303 | TIMEOUT 60738 | TIMEOUT 60075 | TIMEOUT 60116 | TIMEOUT 60066 | 168 | 151 | 108 | 103 | 133 |