| benchmark | AProVE | AProVE-CeTA | TTT2 | TTT2Cert |
|---|---|---|---|---|
| tpdb-8.0/TRS/Bouchare_06/01.xml | YES 1400 | YES 3565 | YES 1474 | YES 1414 |
| tpdb-8.0/TRS/Bouchare_06/03.xml | YES 4137 | YES 4831 | YES 6566 | YES 6634 |
| tpdb-8.0/TRS/Bouchare_06/06.xml | YES 5027 | YES 5967 | YES 5615 | YES 6763 |
| tpdb-8.0/TRS/Bouchare_06/08.xml | NO 1057 | NO 15228 | NO 853 | NO 793 |
| tpdb-8.0/TRS/Bouchare_06/10.xml | YES 6801 | YES 7236 | YES 2097 | YES 1666 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | YES 6555 | YES 6781 | YES 1275 | YES 2017 |
| tpdb-8.0/TRS/Bouchare_06/13.xml | YES 7527 | YES 5077 | YES 8709 | YES 6484 |
| tpdb-8.0/TRS/Bouchare_06/14.xml | YES 1494 | YES 3717 | YES 1365 | YES 1269 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | YES 5900 | YES 5962 | YES 8234 | YES 7007 |
| tpdb-8.0/TRS/Gebhardt_06/01.xml | TIMEOUT 61148 | TIMEOUT 60740 | MAYBE 59898 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Gebhardt_06/02.xml | TIMEOUT 62607 | TIMEOUT 61494 | MAYBE 59890 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Gebhardt_06/03.xml | NO 4710 | TIMEOUT 61345 | MAYBE 59930 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Gebhardt_06/07.xml | YES 5286 | YES 6463 | MAYBE 59892 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Gebhardt_06/09.xml | YES 38076 | YES 35759 | YES 15534 | YES 19267 |
| tpdb-8.0/TRS/Gebhardt_06/13.xml | TIMEOUT 61010 | TIMEOUT 60128 | MAYBE 59891 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Gebhardt_06/14.xml | YES 6110 | YES 7231 | YES 45019 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Gebhardt_06/19.xml | TIMEOUT 60914 | TIMEOUT 61745 | MAYBE 59961 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Gebhardt_06/20.xml | TIMEOUT 60971 | TIMEOUT 62061 | MAYBE 59911 | TIMEOUT 60063 |
| tpdb-8.0/TRS/ICFP_2010/130161.xml | TIMEOUT 60740 | TIMEOUT 60734 | TIMEOUT 60047 | TIMEOUT 60160 |
| tpdb-8.0/TRS/ICFP_2010/133432.xml | TIMEOUT 61015 | TIMEOUT 60943 | TIMEOUT 60045 | TIMEOUT 60137 |
| tpdb-8.0/TRS/ICFP_2010/139180.xml | YES 10167 | YES 17954 | TIMEOUT 60039 | TIMEOUT 60180 |
| tpdb-8.0/TRS/ICFP_2010/142146.xml | YES 11738 | YES 17930 | TIMEOUT 60038 | TIMEOUT 60169 |
| tpdb-8.0/TRS/ICFP_2010/149251.xml | TIMEOUT 60572 | TIMEOUT 60993 | TIMEOUT 60046 | TIMEOUT 60245 |
| tpdb-8.0/TRS/ICFP_2010/149319.xml | TIMEOUT 60656 | TIMEOUT 60031 | TIMEOUT 60049 | TIMEOUT 60237 |
| tpdb-8.0/TRS/ICFP_2010/188674.xml | YES 8560 | YES 14234 | TIMEOUT 60042 | TIMEOUT 60166 |
| tpdb-8.0/TRS/ICFP_2010/25711.xml | TIMEOUT 60820 | TIMEOUT 61123 | TIMEOUT 60042 | TIMEOUT 60177 |
| tpdb-8.0/TRS/ICFP_2010/26103.xml | TIMEOUT 60842 | YES 7416 | YES 2007 | YES 7152 |
| tpdb-8.0/TRS/ICFP_2010/264370.xml | YES 1044 | YES 3490 | YES 888 | YES 832 |
| tpdb-8.0/TRS/ICFP_2010/26923.xml | TIMEOUT 61001 | TIMEOUT 61538 | TIMEOUT 60039 | TIMEOUT 60151 |
| tpdb-8.0/TRS/ICFP_2010/26951.xml | TIMEOUT 60864 | TIMEOUT 62289 | TIMEOUT 60038 | TIMEOUT 60143 |
| tpdb-8.0/TRS/ICFP_2010/3842.xml | TIMEOUT 60991 | TIMEOUT 61298 | TIMEOUT 60196 | TIMEOUT 60192 |
| tpdb-8.0/TRS/ICFP_2010/41865.xml | TIMEOUT 60780 | TIMEOUT 60737 | TIMEOUT 60044 | TIMEOUT 60137 |
| tpdb-8.0/TRS/ICFP_2010/4314.xml | TIMEOUT 61071 | TIMEOUT 61801 | TIMEOUT 60242 | TIMEOUT 60118 |
| tpdb-8.0/TRS/ICFP_2010/4827.xml | TIMEOUT 61053 | TIMEOUT 61367 | YES 4672 | TIMEOUT 60109 |
| tpdb-8.0/TRS/ICFP_2010/4920.xml | TIMEOUT 60869 | TIMEOUT 61607 | TIMEOUT 60276 | TIMEOUT 60162 |
| tpdb-8.0/TRS/ICFP_2010/51424.xml | TIMEOUT 60900 | TIMEOUT 61003 | TIMEOUT 60046 | TIMEOUT 60133 |
| tpdb-8.0/TRS/ICFP_2010/96198.xml | TIMEOUT 60854 | TIMEOUT 61705 | YES 4316 | TIMEOUT 60143 |
| tpdb-8.0/TRS/ICFP_2010/96334.xml | TIMEOUT 60772 | TIMEOUT 61608 | YES 3525 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | NO 10030 | TIMEOUT 62409 | TIMEOUT 60050 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml | NO 17379 | TIMEOUT 60815 | MAYBE 59838 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Mixed_SRS/02.xml | YES 5591 | YES 6816 | YES 39557 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml | NO 12795 | TIMEOUT 60663 | MAYBE 59901 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | NO 2271 | TIMEOUT 61177 | MAYBE 59960 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Mixed_SRS/08.xml | TIMEOUT 60984 | TIMEOUT 60080 | MAYBE 59956 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | NO 2759 | NO 23489 | NO 8206 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Mixed_SRS/s6.xml | YES 1964 | YES 4200 | YES 4813 | YES 817 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | NO 1239 | NO 16510 | NO 875 | NO 991 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | YES 5271 | YES 6538 | YES 6372 | YES 7185 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | YES 3676 | YES 5534 | YES 9899 | YES 4953 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml | YES 8207 | YES 8499 | YES 13930 | YES 8033 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml | TIMEOUT 63309 | TIMEOUT 62277 | TIMEOUT 60032 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | TIMEOUT 60984 | TIMEOUT 60974 | MAYBE 60014 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml | YES 1181 | YES 6370 | YES 1530 | YES 6433 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | YES 14612 | YES 13569 | YES 2508 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | YES 1266 | YES 4906 | YES 1173 | YES 3323 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | YES 3784 | YES 5370 | YES 11799 | YES 8071 |
| tpdb-8.0/TRS/Secret_06_SRS/3.xml | TIMEOUT 60979 | TIMEOUT 60921 | YES 1943 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Secret_06_SRS/5.xml | YES 19763 | YES 16443 | YES 48544 | YES 26931 |
| tpdb-8.0/TRS/Secret_06_SRS/6.xml | YES 3505 | YES 5831 | YES 1925 | YES 1845 |
| tpdb-8.0/TRS/Secret_06_SRS/8.xml | YES 10228 | YES 11362 | YES 2604 | YES 2170 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove00.xml | YES 2293 | YES 4304 | YES 976 | YES 6386 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | YES 3140 | YES 6693 | YES 5430 | YES 11575 |
| tpdb-8.0/TRS/Secret_06_SRS/secr3.xml | YES 4494 | YES 5661 | YES 19200 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Secret_06_SRS/secr4.xml | YES 16916 | YES 17973 | YES 6461 | YES 2336 |
| tpdb-8.0/TRS/Secret_06_SRS/secr6.xml | YES 7575 | YES 15686 | YES 6841 | YES 6427 |
| tpdb-8.0/TRS/Secret_07_SRS/dj.xml | YES 1417 | YES 3498 | YES 1568 | YES 627 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | NO 6800 | NO 28325 | NO 44293 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | TIMEOUT 60986 | TIMEOUT 60772 | MAYBE 59903 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | NO 20532 | NO 17207 | NO 49896 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | NO 5674 | NO 18336 | MAYBE 59883 | YES 58581 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | NO 2716 | NO 16560 | NO 11274 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Secret_07_SRS/x04.xml | YES 11765 | YES 12066 | YES 10949 | YES 9089 |
| tpdb-8.0/TRS/Secret_07_SRS/x05.xml | YES 3592 | YES 5208 | YES 6497 | YES 6392 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | YES 8292 | YES 10284 | YES 7750 | YES 8545 |
| tpdb-8.0/TRS/Trafo_06/dup01.xml | YES 3536 | YES 6336 | YES 15131 | YES 1112 |
| tpdb-8.0/TRS/Trafo_06/dup08.xml | YES 19155 | YES 27314 | YES 3469 | YES 4213 |
| tpdb-8.0/TRS/Trafo_06/dup09.xml | YES 4767 | YES 6373 | YES 1296 | YES 800 |
| tpdb-8.0/TRS/Trafo_06/dup10.xml | TIMEOUT 60982 | TIMEOUT 61951 | YES 11410 | YES 17306 |
| tpdb-8.0/TRS/Trafo_06/dup12.xml | YES 51508 | TIMEOUT 61563 | YES 3322 | YES 26400 |
| tpdb-8.0/TRS/Trafo_06/dup13.xml | TIMEOUT 61066 | TIMEOUT 60206 | YES 1952 | YES 9201 |
| tpdb-8.0/TRS/Trafo_06/un04.xml | NO 6005 | TIMEOUT 63463 | TIMEOUT 60040 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Trafo_06/un11.xml | TIMEOUT 60714 | TIMEOUT 61920 | MAYBE 59991 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Trafo_06/un16.xml | TIMEOUT 61045 | TIMEOUT 62014 | TIMEOUT 60058 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | YES 10663 | YES 11602 | TIMEOUT 60055 | YES 15730 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | YES 9486 | YES 9219 | YES 3268 | YES 2566 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml | YES 7793 | YES 8263 | YES 1904 | YES 2095 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml | TIMEOUT 61728 | TIMEOUT 61798 | MAYBE 59896 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-6.xml | TIMEOUT 60857 | TIMEOUT 61178 | YES 20898 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml | NO 1461 | NO 25210 | NO 960 | NO 959 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml | NO 3821 | TIMEOUT 61552 | MAYBE 59676 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml | NO 1364 | TIMEOUT 60888 | NO 11180 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-6.xml | NO 4771 | TIMEOUT 60755 | NO 22445 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml | YES 6341 | YES 6877 | YES 14839 | YES 9543 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml | YES 5381 | YES 5181 | YES 7307 | YES 7110 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml | YES 3318 | YES 4197 | YES 5920 | YES 6141 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | YES 1334 | YES 3436 | YES 7156 | YES 4539 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-17.xml | YES 2467 | YES 4643 | YES 5421 | YES 4399 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml | NO 2985 | TIMEOUT 61018 | MAYBE 59677 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | NO 10278 | TIMEOUT 62876 | MAYBE 59848 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | TIMEOUT 61078 | TIMEOUT 60929 | MAYBE 59821 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | YES 3513 | YES 4290 | YES 5910 | YES 6003 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-100.xml | NO 3229 | TIMEOUT 61391 | NO 29122 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml | NO 5072 | TIMEOUT 61013 | MAYBE 59757 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml | YES 6486 | YES 6407 | YES 12202 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml | YES 4700 | YES 5468 | YES 6100 | YES 6367 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-20.xml | NO 3140 | TIMEOUT 60233 | NO 32195 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-249.xml | NO 6185 | TIMEOUT 61111 | MAYBE 59772 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-301.xml | YES 6014 | YES 5723 | YES 7085 | YES 7736 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml | YES 3306 | YES 5507 | YES 5906 | YES 3278 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-377.xml | YES 2940 | YES 4240 | YES 6033 | YES 6270 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml | TIMEOUT 61521 | TIMEOUT 61264 | MAYBE 59900 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-399.xml | YES 4081 | YES 4924 | YES 7705 | YES 6735 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml | YES 4248 | YES 5121 | YES 6412 | YES 7367 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-468.xml | YES 4232 | YES 4730 | YES 6151 | YES 7024 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml | YES 3177 | YES 4651 | YES 6063 | YES 7527 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-485.xml | YES 3816 | YES 4644 | YES 7404 | YES 7107 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml | YES 4009 | YES 4732 | YES 8557 | YES 7354 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml | YES 3949 | YES 4667 | YES 5598 | YES 6754 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml | YES 5098 | YES 6009 | YES 5872 | YES 5706 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml | YES 4745 | YES 5212 | YES 6370 | YES 6847 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml | NO 1204 | TIMEOUT 61186 | NO 31122 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Zantema_04/z009.xml | YES 1524 | YES 3646 | YES 1434 | YES 813 |
| tpdb-8.0/TRS/Zantema_04/z013.xml | YES 1075 | YES 5666 | YES 930 | YES 1893 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | YES 1030 | YES 3643 | YES 882 | YES 1209 |
| tpdb-8.0/TRS/Zantema_04/z021.xml | YES 1046 | YES 3719 | YES 921 | YES 983 |
| tpdb-8.0/TRS/Zantema_04/z023.xml | YES 4692 | YES 5538 | YES 1517 | YES 1426 |
| tpdb-8.0/TRS/Zantema_04/z029.xml | YES 1036 | TIMEOUT 61438 | YES 913 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Zantema_04/z031.xml | YES 1064 | TIMEOUT 61335 | YES 920 | YES 48693 |
| tpdb-8.0/TRS/Zantema_04/z041.xml | YES 1056 | TIMEOUT 61678 | YES 916 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | YES 1055 | YES 7905 | YES 917 | YES 6569 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | YES 1034 | YES 6094 | YES 917 | YES 7895 |
| tpdb-8.0/TRS/Zantema_04/z046.xml | NO 1093 | NO 13584 | NO 884 | NO 857 |
| tpdb-8.0/TRS/Zantema_04/z057.xml | YES 1016 | YES 5916 | YES 803 | YES 4289 |
| tpdb-8.0/TRS/Zantema_04/z072.xml | YES 1068 | YES 5094 | YES 935 | YES 1003 |
| tpdb-8.0/TRS/Zantema_04/z080.xml | YES 6678 | YES 9795 | YES 915 | YES 7599 |
| tpdb-8.0/TRS/Zantema_04/z083.xml | YES 5486 | YES 6030 | YES 2870 | YES 2904 |
| tpdb-8.0/TRS/Zantema_04/z091.xml | YES 1949 | YES 4834 | YES 6901 | YES 4195 |
| tpdb-8.0/TRS/Zantema_04/z100.xml | YES 6516 | YES 7073 | YES 4516 | YES 4397 |
| tpdb-8.0/TRS/Zantema_04/z101.xml | YES 1148 | YES 3252 | YES 1098 | YES 591 |
| tpdb-8.0/TRS/Zantema_04/z115.xml | YES 1569 | YES 3750 | YES 1672 | YES 676 |
| tpdb-8.0/TRS/Zantema_04/z122.xml | YES 1776 | YES 3956 | YES 2098 | YES 997 |
| tpdb-8.0/TRS/Zantema_06/05.xml | YES 29966 | YES 29652 | YES 1398 | YES 13460 |
| tpdb-8.0/TRS/Zantema_06/07.xml | TIMEOUT 60854 | TIMEOUT 61736 | YES 1718 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Zantema_06/08.xml | YES 1194 | TIMEOUT 62356 | YES 1277 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Zantema_06/14.xml | YES 8768 | YES 8993 | YES 21713 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Zantema_06/17.xml | YES 3121 | YES 7498 | YES 6407 | YES 5609 |
| tpdb-8.0/TRS/Zantema_06/beans2.xml | YES 2676 | YES 4762 | YES 6729 | YES 6439 |
| tpdb-8.0/TRS/Zantema_06/beans5.xml | YES 2992 | YES 4358 | YES 6536 | YES 6208 |
| tpdb-8.0/TRS/Zantema_06/loop1.xml | NO 1051 | NO 14090 | NO 865 | NO 746 |
| tpdb-8.0/TRS/Zantema_06/loop2.xml | NO 1014 | NO 14292 | NO 830 | NO 779 | 115 | 95 | 107 | 85 |