| benchmark | AProVE-CeTA | TTT2Cert |
|---|---|---|
| tpdb-8.0/TRS/Bouchare_06/01.xml | YES 2628 | YES 6965 |
| tpdb-8.0/TRS/Bouchare_06/05.xml | YES 6132 | YES 7304 |
| tpdb-8.0/TRS/Bouchare_06/06.xml | YES 5382 | YES 6680 |
| tpdb-8.0/TRS/Bouchare_06/07.xml | YES 3975 | YES 7136 |
| tpdb-8.0/TRS/Bouchare_06/08.xml | NO 5031 | NO 480 |
| tpdb-8.0/TRS/Bouchare_06/09.xml | NO 5145 | NO 712 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | YES 4908 | YES 7008 |
| tpdb-8.0/TRS/Bouchare_06/15.xml | YES 2666 | YES 7407 |
| tpdb-8.0/TRS/Bouchare_06/16.xml | YES 2565 | YES 2737 |
| tpdb-8.0/TRS/Bouchare_06/17.xml | YES 2642 | YES 3495 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | YES 4833 | YES 6959 |
| tpdb-8.0/TRS/Gebhardt_06/03.xml | UNCERTIFIED 61219 | UNCERTIFIED 60073 |
| tpdb-8.0/TRS/Gebhardt_06/04.xml | UNCERTIFIED 62004 | UNCERTIFIED 60049 |
| tpdb-8.0/TRS/Gebhardt_06/05.xml | UNCERTIFIED 61459 | UNCERTIFIED 60069 |
| tpdb-8.0/TRS/Gebhardt_06/08.xml | UNCERTIFIED 61426 | UNCERTIFIED 60055 |
| tpdb-8.0/TRS/Gebhardt_06/09.xml | YES 39835 | YES 16586 |
| tpdb-8.0/TRS/Gebhardt_06/15.xml | UNCERTIFIED 61451 | UNCERTIFIED 60061 |
| tpdb-8.0/TRS/Gebhardt_06/17.xml | UNCERTIFIED 61381 | UNCERTIFIED 60064 |
| tpdb-8.0/TRS/ICFP_2010/132833.xml | YES 16087 | UNCERTIFIED 60124 |
| tpdb-8.0/TRS/ICFP_2010/139004.xml | YES 17031 | UNCERTIFIED 60188 |
| tpdb-8.0/TRS/ICFP_2010/157150.xml | UNCERTIFIED 61860 | UNCERTIFIED 60254 |
| tpdb-8.0/TRS/ICFP_2010/157593.xml | YES 38245 | UNCERTIFIED 60123 |
| tpdb-8.0/TRS/ICFP_2010/167636.xml | UNCERTIFIED 60205 | UNCERTIFIED 60298 |
| tpdb-8.0/TRS/ICFP_2010/212480.xml | YES 22796 | UNCERTIFIED 60042 |
| tpdb-8.0/TRS/ICFP_2010/213147.xml | YES 36918 | YES 39175 |
| tpdb-8.0/TRS/ICFP_2010/214091.xml | YES 8862 | YES 6709 |
| tpdb-8.0/TRS/ICFP_2010/263745.xml | YES 14386 | UNCERTIFIED 60175 |
| tpdb-8.0/TRS/ICFP_2010/28293.xml | UNCERTIFIED 62005 | YES 10524 |
| tpdb-8.0/TRS/ICFP_2010/85477.xml | YES 21289 | UNCERTIFIED 60248 |
| tpdb-8.0/TRS/ICFP_2010/85920.xml | UNCERTIFIED 61827 | UNCERTIFIED 60336 |
| tpdb-8.0/TRS/ICFP_2010/86636.xml | UNCERTIFIED 61892 | UNCERTIFIED 60295 |
| tpdb-8.0/TRS/ICFP_2010/96176.xml | UNCERTIFIED 61760 | UNCERTIFIED 60132 |
| tpdb-8.0/TRS/ICFP_2010/96198.xml | UNCERTIFIED 61414 | UNCERTIFIED 60142 |
| tpdb-8.0/TRS/Mixed_SRS/04-oppelt08.xml | UNCERTIFIED 61222 | UNCERTIFIED 60066 |
| tpdb-8.0/TRS/Mixed_SRS/04.xml | YES 11933 | YES 14839 |
| tpdb-8.0/TRS/Mixed_SRS/05-oppelt08.xml | UNCERTIFIED 62102 | UNCERTIFIED 60067 |
| tpdb-8.0/TRS/Mixed_SRS/05.xml | YES 6887 | YES 9796 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | UNCERTIFIED 60783 | UNCERTIFIED 60058 |
| tpdb-8.0/TRS/Mixed_SRS/06.xml | YES 5080 | YES 7350 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | UNCERTIFIED 60643 | UNCERTIFIED 60057 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | YES 6187 | YES 6846 |
| tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml | UNCERTIFIED 62129 | UNCERTIFIED 60064 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | UNCERTIFIED 61068 | NO 660 |
| tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml | NO 2718 | NO 397 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | YES 6482 | YES 7260 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | YES 5383 | YES 7753 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml | YES 6267 | YES 8238 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml | YES 5895 | YES 7522 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | UNCERTIFIED 61666 | UNCERTIFIED 60078 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml | YES 8695 | YES 2090 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | YES 9392 | YES 3760 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | YES 3517 | YES 2286 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | YES 39975 | YES 8928 |
| tpdb-8.0/TRS/Secret_06_SRS/3-matchbox.xml | YES 33162 | YES 3605 |
| tpdb-8.0/TRS/Secret_06_SRS/3.xml | UNCERTIFIED 60879 | UNCERTIFIED 60063 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | YES 5196 | YES 7034 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | YES 4960 | YES 6283 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | YES 7075 | YES 7000 |
| tpdb-8.0/TRS/Secret_06_SRS/multum1.xml | UNCERTIFIED 61778 | YES 3238 |
| tpdb-8.0/TRS/Secret_06_SRS/multum5.xml | YES 6741 | YES 1353 |
| tpdb-8.0/TRS/Secret_06_SRS/multum6.xml | YES 5904 | YES 3342 |
| tpdb-8.0/TRS/Secret_06_SRS/secr2.xml | YES 3685 | YES 3158 |
| tpdb-8.0/TRS/Secret_06_SRS/secr7.xml | YES 4282 | YES 6281 |
| tpdb-8.0/TRS/Secret_06_SRS/secr8.xml | YES 5427 | YES 8068 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | UNCERTIFIED 61969 | UNCERTIFIED 60077 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | UNCERTIFIED 61451 | NO 661 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | YES 4184 | UNCERTIFIED 60076 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | YES 4126 | YES 6503 |
| tpdb-8.0/TRS/Secret_07_SRS/x04.xml | YES 8613 | YES 9314 |
| tpdb-8.0/TRS/Secret_07_SRS/x05.xml | YES 3299 | YES 6377 |
| tpdb-8.0/TRS/Secret_07_SRS/x06.xml | UNCERTIFIED 61998 | UNCERTIFIED 60089 |
| tpdb-8.0/TRS/Trafo_06/dup06.xml | YES 3912 | YES 6101 |
| tpdb-8.0/TRS/Trafo_06/dup08.xml | YES 28382 | YES 3825 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | YES 11412 | YES 18362 |
| tpdb-8.0/TRS/Trafo_06/dup15.xml | UNCERTIFIED 61629 | YES 3027 |
| tpdb-8.0/TRS/Trafo_06/dup16.xml | YES 2441 | YES 2921 |
| tpdb-8.0/TRS/Trafo_06/dup17.xml | UNCERTIFIED 61674 | YES 3582 |
| tpdb-8.0/TRS/Trafo_06/un04.xml | UNCERTIFIED 61380 | UNCERTIFIED 60062 |
| tpdb-8.0/TRS/Trafo_06/un06.xml | YES 9173 | YES 3653 |
| tpdb-8.0/TRS/Trafo_06/un10.xml | UNCERTIFIED 61506 | YES 22154 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml | UNCERTIFIED 61810 | UNCERTIFIED 60062 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | YES 12601 | YES 5015 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml | YES 5573 | UNCERTIFIED 60060 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml | YES 2691 | YES 3758 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml | UNCERTIFIED 61683 | UNCERTIFIED 60062 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml | YES 2589 | YES 2279 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml | NO 16349 | NO 652 |
| tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml | YES 8840 | YES 17878 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | YES 3511 | YES 5222 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | YES 4041 | YES 5235 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml | YES 3539 | YES 6297 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml | UNCERTIFIED 61372 | NO 2090 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml | UNCERTIFIED 61211 | UNCERTIFIED 60079 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml | YES 3604 | YES 2323 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml | UNCERTIFIED 61120 | UNCERTIFIED 60077 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml | YES 8113 | YES 3105 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | YES 3691 | YES 6381 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | YES 3565 | YES 6210 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-1.xml | YES 4363 | YES 6589 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml | UNCERTIFIED 61668 | YES 7382 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-107.xml | YES 3581 | YES 3530 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml | YES 3653 | YES 6064 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-134.xml | YES 3887 | YES 2573 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml | YES 4280 | YES 3900 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml | YES 3760 | YES 4382 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml | YES 3275 | YES 6487 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml | UNCERTIFIED 61122 | UNCERTIFIED 60079 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml | UNCERTIFIED 62452 | NO 609 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml | YES 3495 | YES 6074 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-288.xml | YES 10761 | YES 4279 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml | YES 5394 | YES 3777 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-309.xml | YES 5416 | UNCERTIFIED 60065 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-350.xml | YES 3848 | YES 6840 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml | YES 4418 | YES 6660 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml | YES 4197 | YES 6362 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml | YES 4316 | YES 6641 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml | YES 7123 | YES 2103 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml | YES 3385 | YES 6162 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml | YES 4028 | YES 6752 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml | YES 4059 | YES 7965 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | YES 7831 | YES 5928 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | UNCERTIFIED 61325 | UNCERTIFIED 60078 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml | YES 2523 | YES 5931 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml | YES 4023 | YES 6115 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml | UNCERTIFIED 61080 | NO 4637 |
| tpdb-8.0/TRS/Zantema_04/z005.xml | YES 5097 | YES 7134 |
| tpdb-8.0/TRS/Zantema_04/z006.xml | YES 2400 | YES 674 |
| tpdb-8.0/TRS/Zantema_04/z013.xml | YES 4278 | YES 1695 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | YES 2581 | YES 1020 |
| tpdb-8.0/TRS/Zantema_04/z030.xml | UNCERTIFIED 61741 | UNCERTIFIED 60053 |
| tpdb-8.0/TRS/Zantema_04/z034.xml | UNCERTIFIED 61945 | UNCERTIFIED 60047 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | YES 9118 | YES 6696 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | YES 5398 | YES 7428 |
| tpdb-8.0/TRS/Zantema_04/z046.xml | NO 2409 | NO 488 |
| tpdb-8.0/TRS/Zantema_04/z047.xml | YES 9933 | YES 6645 |
| tpdb-8.0/TRS/Zantema_04/z050.xml | YES 2560 | YES 1021 |
| tpdb-8.0/TRS/Zantema_04/z051.xml | YES 5607 | YES 3235 |
| tpdb-8.0/TRS/Zantema_04/z054.xml | YES 7986 | YES 37516 |
| tpdb-8.0/TRS/Zantema_04/z067.xml | YES 3699 | YES 3059 |
| tpdb-8.0/TRS/Zantema_04/z068.xml | YES 4938 | YES 3141 |
| tpdb-8.0/TRS/Zantema_04/z070.xml | YES 5352 | YES 7604 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | YES 2522 | YES 1202 |
| tpdb-8.0/TRS/Zantema_04/z083.xml | YES 5001 | YES 2462 |
| tpdb-8.0/TRS/Zantema_04/z084.xml | YES 2529 | YES 962 |
| tpdb-8.0/TRS/Zantema_04/z088.xml | YES 3527 | YES 6770 |
| tpdb-8.0/TRS/Zantema_04/z092.xml | YES 3232 | YES 6347 |
| tpdb-8.0/TRS/Zantema_04/z094.xml | YES 2721 | YES 1437 |
| tpdb-8.0/TRS/Zantema_04/z095.xml | YES 48539 | YES 22044 |
| tpdb-8.0/TRS/Zantema_04/z096.xml | NO 2311 | NO 494 |
| tpdb-8.0/TRS/Zantema_04/z097.xml | UNCERTIFIED 61972 | UNCERTIFIED 60064 |
| tpdb-8.0/TRS/Zantema_04/z101.xml | YES 2314 | YES 753 |
| tpdb-8.0/TRS/Zantema_04/z103.xml | YES 7585 | YES 1306 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | YES 2426 | YES 1503 |
| tpdb-8.0/TRS/Zantema_04/z111.xml | UNCERTIFIED 61213 | YES 2485 |
| tpdb-8.0/TRS/Zantema_04/z112.xml | YES 2529 | YES 1685 |
| tpdb-8.0/TRS/Zantema_04/z121.xml | YES 2589 | YES 3216 |
| tpdb-8.0/TRS/Zantema_04/z122.xml | YES 3685 | YES 1456 |
| tpdb-8.0/TRS/Zantema_04/z127.xml | UNCERTIFIED 61296 | NO 489 |
| tpdb-8.0/TRS/Zantema_06/04.xml | UNCERTIFIED 61060 | YES 6921 |
| tpdb-8.0/TRS/Zantema_06/05.xml | YES 43259 | YES 13426 |
| tpdb-8.0/TRS/Zantema_06/06.xml | YES 33563 | YES 8418 |
| tpdb-8.0/TRS/Zantema_06/07.xml | UNCERTIFIED 63052 | UNCERTIFIED 60079 |
| tpdb-8.0/TRS/Zantema_06/09.xml | YES 9229 | YES 3286 |
| tpdb-8.0/TRS/Zantema_06/10.xml | YES 4157 | YES 4696 |
| tpdb-8.0/TRS/Zantema_06/12.xml | UNCERTIFIED 61708 | YES 10136 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | YES 4051 | YES 7706 |
| tpdb-8.0/TRS/Zantema_06/beans4.xml | YES 2987 | YES 1093 |
| tpdb-8.0/TRS/Zantema_06/beans6.xml | YES 7840 | YES 6556 | 121 | 127 |