| benchmark | AProVE | AProVE-CeTA | TTT2 | TTT2Cert |
|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | YES 1359 | YES 3709 | YES 961 | YES 1173 |
| tpdb-8.0/TRS/AG01/#3.19.xml | YES 1850 | YES 4466 | MAYBE 17625 | MAYBE 22141 |
| tpdb-8.0/TRS/AG01/#3.26.xml | YES 1503 | YES 3667 | YES 807 | YES 604 |
| tpdb-8.0/TRS/AG01/#3.41.xml | YES 1310 | YES 3522 | YES 937 | YES 1059 |
| tpdb-8.0/TRS/AG01/#3.42.xml | YES 1465 | YES 4219 | YES 1207 | YES 1241 |
| tpdb-8.0/TRS/AG01/#3.47.xml | YES 1271 | YES 3535 | YES 754 | YES 755 |
| tpdb-8.0/TRS/AG01/#3.53.xml | YES 1764 | YES 5747 | YES 2272 | YES 4765 |
| tpdb-8.0/TRS/AG01/#3.57.xml | YES 1777 | YES 5582 | YES 2510 | YES 4987 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | YES 1566 | YES 4699 | YES 1517 | YES 2298 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | NO 1748 | NO 4187 | NO 540 | NO 387 |
| tpdb-8.0/TRS/AotoYamada_05/003.xml | NO 1997 | NO 5148 | NO 496 | NO 405 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | YES 1070 | YES 3383 | YES 527 | YES 517 |
| tpdb-8.0/TRS/AotoYamada_05/009.xml | YES 1939 | YES 5215 | YES 1100 | YES 1547 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | YES 1843 | YES 6067 | YES 1039 | YES 1783 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | YES 1297 | YES 3631 | YES 953 | YES 864 |
| tpdb-8.0/TRS/AotoYamada_05/020.xml | YES 1580 | YES 4693 | YES 1186 | YES 1659 |
| tpdb-8.0/TRS/AotoYamada_05/024.xml | YES 1385 | YES 3839 | YES 713 | YES 1095 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | YES 1061 | YES 3162 | YES 514 | YES 495 |
| tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml | TIMEOUT 60687 | TIMEOUT 61519 | TIMEOUT 60041 | MAYBE 19263 |
| tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml | YES 1768 | YES 5933 | YES 1008 | YES 2135 |
| tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml | TIMEOUT 60442 | TIMEOUT 60912 | MAYBE 27422 | MAYBE 10550 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | TIMEOUT 60439 | TIMEOUT 60814 | TIMEOUT 60071 | MAYBE 23032 |
| tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml | TIMEOUT 60837 | TIMEOUT 62071 | TIMEOUT 60041 | MAYBE 26767 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | YES 12426 | YES 36132 | TIMEOUT 60044 | MAYBE 27052 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | NO 7563 | NO 5555 | MAYBE 25818 | NO 518 |
| tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml | YES 1119 | YES 3482 | YES 1031 | YES 917 |
| tpdb-8.0/TRS/Applicative_05/TypeEx1.xml | YES 1240 | YES 3484 | YES 1347 | YES 1283 |
| tpdb-8.0/TRS/Applicative_first_order_05/02.xml | YES 1920 | YES 5431 | YES 1325 | YES 2365 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | YES 2292 | YES 8151 | YES 1418 | YES 2593 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | YES 1858 | YES 5435 | YES 1137 | YES 2319 |
| tpdb-8.0/TRS/Applicative_first_order_05/30.xml | YES 2781 | YES 8430 | TIMEOUT 60043 | MAYBE 59546 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.2.xml | YES 2103 | TIMEOUT 60694 | YES 1579 | MAYBE 7461 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.36.xml | YES 2278 | TIMEOUT 60571 | YES 1994 | MAYBE 7619 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | YES 2851 | YES 10958 | YES 2774 | MAYBE 11037 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | YES 2179 | YES 6972 | YES 1561 | YES 3257 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml | YES 2655 | YES 9135 | YES 1676 | YES 6104 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | YES 32874 | TIMEOUT 61601 | TIMEOUT 60095 | MAYBE 59701 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | YES 1634 | YES 3888 | YES 857 | MAYBE 7413 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml | YES 1620 | YES 3767 | YES 790 | MAYBE 7415 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | YES 1818 | YES 4356 | YES 1128 | YES 2007 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | YES 1957 | YES 5633 | YES 1499 | YES 3975 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | YES 2012 | YES 6018 | YES 2503 | YES 4677 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | TIMEOUT 60371 | TIMEOUT 61297 | MAYBE 17447 | MAYBE 59553 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | YES 27702 | YES 34546 | MAYBE 15551 | MAYBE 59494 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | YES 1474 | YES 4092 | YES 1128 | YES 2053 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | TIMEOUT 60400 | TIMEOUT 61610 | MAYBE 29549 | MAYBE 59496 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | YES 1774 | YES 4816 | YES 2116 | YES 3112 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | YES 2547 | YES 27024 | MAYBE 17778 | MAYBE 16089 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | YES 2008 | YES 4763 | MAYBE 13085 | MAYBE 59485 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | YES 2341 | YES 33004 | MAYBE 16490 | MAYBE 7433 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | NO 2451 | TIMEOUT 61098 | NO 1153 | NO 529 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | YES 2702 | YES 7561 | YES 3064 | YES 5747 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | YES 1538 | YES 4349 | YES 1105 | YES 1323 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | YES 1878 | YES 5600 | YES 2356 | YES 3199 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | YES 2639 | YES 8975 | MAYBE 40535 | MAYBE 20710 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | YES 2172 | YES 7238 | MAYBE 13955 | MAYBE 17678 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | YES 9008 | TIMEOUT 60033 | MAYBE 33302 | MAYBE 32544 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | YES 8044 | YES 33475 | MAYBE 30144 | MAYBE 59476 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | YES 2055 | YES 4864 | YES 1373 | YES 2194 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | YES 6965 | TIMEOUT 60617 | MAYBE 13876 | MAYBE 27852 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | YES 2718 | YES 10737 | MAYBE 18152 | MAYBE 18974 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | YES 7172 | TIMEOUT 61425 | MAYBE 28023 | MAYBE 24117 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | YES 11834 | TIMEOUT 60963 | MAYBE 29650 | MAYBE 25780 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | YES 2421 | TIMEOUT 60654 | YES 3237 | MAYBE 39516 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | YES 1712 | YES 4135 | YES 1020 | YES 1090 |
| tpdb-8.0/TRS/AProVE_08/log.xml | YES 3110 | TIMEOUT 60571 | MAYBE 24287 | MAYBE 59476 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | YES 6469 | TIMEOUT 61129 | MAYBE 30518 | MAYBE 59464 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | YES 8050 | TIMEOUT 61814 | MAYBE 25193 | MAYBE 57336 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | YES 4642 | TIMEOUT 62245 | MAYBE 30200 | MAYBE 51192 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | YES 7474 | TIMEOUT 61180 | MAYBE 43452 | MAYBE 59497 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | YES 7235 | TIMEOUT 61258 | MAYBE 37386 | MAYBE 59481 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | NO 1729 | NO 3869 | NO 783 | NO 502 |
| tpdb-8.0/TRS/AProVE_08/round.xml | YES 1862 | TIMEOUT 60667 | MAYBE 11339 | MAYBE 9012 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | YES 12902 | YES 14952 | YES 1244 | YES 1770 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | TIMEOUT 60419 | TIMEOUT 60795 | MAYBE 26456 | MAYBE 20624 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | TIMEOUT 60365 | TIMEOUT 60597 | MAYBE 14545 | MAYBE 59453 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | YES 5556 | TIMEOUT 61566 | MAYBE 31843 | MAYBE 29356 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | YES 7349 | TIMEOUT 61386 | MAYBE 38197 | MAYBE 59477 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | YES 7405 | TIMEOUT 61072 | MAYBE 38219 | MAYBE 37418 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | YES 11682 | TIMEOUT 60061 | MAYBE 22777 | MAYBE 20062 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | YES 46688 | TIMEOUT 61406 | TIMEOUT 60044 | MAYBE 59508 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | YES 15442 | TIMEOUT 61270 | MAYBE 48913 | MAYBE 43675 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | YES 2703 | TIMEOUT 60858 | MAYBE 20735 | MAYBE 7433 |
| tpdb-8.0/TRS/AProVE_10/andIsNat.xml | NO 22972 | TIMEOUT 60790 | MAYBE 13781 | MAYBE 51364 |
| tpdb-8.0/TRS/AProVE_10/challenge_fab.xml | TIMEOUT 60333 | TIMEOUT 60766 | MAYBE 15099 | MAYBE 59485 |
| tpdb-8.0/TRS/AProVE_10/downfrom.xml | TIMEOUT 60311 | TIMEOUT 60580 | MAYBE 12752 | MAYBE 59455 |
| tpdb-8.0/TRS/AProVE_10/ex1.xml | NO 11617 | NO 32792 | MAYBE 12945 | MAYBE 17866 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | YES 1004 | YES 3106 | YES 627 | YES 496 |
| tpdb-8.0/TRS/AProVE_10/halfdouble.xml | NO 13348 | TIMEOUT 60520 | MAYBE 14154 | MAYBE 59490 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | NO 2365 | NO 3819 | NO 648 | NO 488 |
| tpdb-8.0/TRS/AProVE_10/scnp.xml | YES 1131 | YES 3343 | YES 640 | YES 795 |
| tpdb-8.0/TRS/AProVE_10/Zantema06-03-modified.xml | TIMEOUT 60710 | TIMEOUT 60638 | MAYBE 13551 | MAYBE 59496 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | YES 2482 | YES 5710 | YES 1910 | YES 2575 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | YES 3138 | YES 26590 | MAYBE 16390 | MAYBE 8734 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | YES 4944 | TIMEOUT 60784 | MAYBE 17772 | MAYBE 7430 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | YES 2219 | YES 20512 | MAYBE 29359 | MAYBE 59514 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | TIMEOUT 60420 | TIMEOUT 61260 | MAYBE 24718 | MAYBE 25095 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | YES 2060 | YES 4951 | YES 1476 | YES 1612 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | YES 9811 | YES 49932 | MAYBE 25933 | MAYBE 59494 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | YES 1690 | YES 4349 | YES 1022 | YES 1258 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | YES 2111 | YES 4706 | YES 1281 | YES 1722 |
| tpdb-8.0/TRS/CiME_04/append.xml | YES 1312 | YES 3641 | YES 734 | YES 1234 |
| tpdb-8.0/TRS/CiME_04/boolean_rings.xml | YES 1334 | YES 3606 | YES 774 | YES 1253 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | YES 1037 | YES 3421 | YES 1052 | YES 1566 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | YES 2568 | YES 6494 | YES 2077 | YES 3575 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | YES 1412 | YES 3888 | YES 1163 | YES 2782 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | YES 1354 | YES 3662 | YES 1047 | YES 6045 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | TIMEOUT 60858 | TIMEOUT 61099 | MAYBE 35164 | MAYBE 21189 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | YES 11303 | YES 26609 | YES 2893 | YES 8999 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | YES 1920 | YES 6202 | YES 2744 | YES 4413 |
| tpdb-8.0/TRS/Der95/01.xml | YES 1090 | YES 3307 | YES 781 | YES 535 |
| tpdb-8.0/TRS/Der95/06.xml | YES 1010 | YES 3453 | YES 1048 | YES 573 |
| tpdb-8.0/TRS/Der95/08.xml | YES 1295 | YES 3554 | YES 971 | YES 5575 |
| tpdb-8.0/TRS/Der95/09.xml | YES 1048 | YES 3193 | YES 515 | YES 498 |
| tpdb-8.0/TRS/Der95/12.xml | YES 1291 | YES 3580 | YES 1100 | YES 1753 |
| tpdb-8.0/TRS/Der95/13.xml | YES 13123 | YES 4858 | MAYBE 11322 | MAYBE 12118 |
| tpdb-8.0/TRS/Der95/17.xml | YES 1098 | YES 3684 | YES 782 | YES 550 |
| tpdb-8.0/TRS/Der95/20.xml | YES 1093 | YES 4215 | YES 816 | YES 508 |
| tpdb-8.0/TRS/Der95/21.xml | YES 1402 | YES 4080 | YES 1075 | YES 1507 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex2_2.xml | NO 11981 | TIMEOUT 60857 | MAYBE 14203 | MAYBE 59445 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex2_4.xml | NO 25379 | TIMEOUT 60832 | MAYBE 16100 | MAYBE 28477 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex3_3.xml | NO 12606 | TIMEOUT 60433 | MAYBE 15778 | MAYBE 7635 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_5.xml | TIMEOUT 60382 | TIMEOUT 61140 | MAYBE 25593 | MAYBE 59519 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_8.xml | TIMEOUT 60451 | TIMEOUT 60888 | MAYBE 20623 | MAYBE 59524 |
| tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-addTrue.xml | NO 15138 | TIMEOUT 60683 | MAYBE 14839 | MAYBE 20286 |
| tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-isList-List.xml | TIMEOUT 60308 | TIMEOUT 60702 | MAYBE 11629 | MAYBE 9456 |
| tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-swapXY2.xml | NO 11530 | NO 29883 | MAYBE 12780 | MAYBE 8721 |
| tpdb-8.0/TRS/EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml | TIMEOUT 60363 | TIMEOUT 60733 | MAYBE 24743 | MAYBE 59470 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | YES 2113 | YES 3741 | YES 762 | YES 865 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | YES 9622 | YES 8719 | MAYBE 12500 | MAYBE 7408 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | YES 2291 | YES 5445 | YES 1793 | YES 1433 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | TIMEOUT 60529 | YES 6844 | YES 2550 | YES 6830 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | YES 3480 | YES 8722 | MAYBE 15798 | MAYBE 59442 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | YES 2039 | YES 12839 | YES 2244 | YES 550 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | YES 2223 | YES 13464 | YES 3227 | YES 7297 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | YES 2664 | YES 3504 | YES 993 | YES 5804 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | YES 11329 | YES 3779 | YES 829 | YES 789 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | TIMEOUT 60392 | TIMEOUT 60618 | MAYBE 9673 | MAYBE 7422 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | YES 3679 | TIMEOUT 61664 | MAYBE 17407 | MAYBE 19518 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | TIMEOUT 60407 | TIMEOUT 60623 | MAYBE 21288 | MAYBE 20574 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | YES 2477 | YES 17464 | MAYBE 14481 | MAYBE 59478 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | TIMEOUT 60365 | TIMEOUT 61025 | MAYBE 22759 | MAYBE 59480 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | YES 2600 | YES 16875 | MAYBE 22391 | MAYBE 7753 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | YES 6474 | YES 23634 | MAYBE 20267 | MAYBE 26264 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | YES 4063 | YES 30397 | MAYBE 34752 | MAYBE 32387 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | TIMEOUT 60534 | TIMEOUT 61130 | MAYBE 20831 | MAYBE 59492 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | NO 1428 | NO 3778 | NO 491 | NO 387 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | NO 978 | NO 13840 | NO 491 | NO 390 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | NO 968 | NO 3725 | NO 496 | NO 389 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | YES 1835 | YES 5009 | YES 1316 | YES 2716 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | YES 3085 | YES 14690 | YES 3566 | YES 6553 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml | YES 1389 | YES 3989 | YES 1114 | YES 1416 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | YES 1247 | YES 3214 | YES 625 | YES 493 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | YES 1540 | YES 4856 | YES 1183 | YES 1365 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | YES 1615 | YES 3955 | YES 1100 | YES 1469 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | YES 1652 | YES 4069 | YES 921 | YES 901 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | YES 1517 | YES 3439 | YES 828 | YES 730 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | TIMEOUT 60685 | TIMEOUT 60611 | MAYBE 16517 | MAYBE 27394 |
| tpdb-8.0/TRS/Mixed_TRS/fossacs.xml | TIMEOUT 60400 | TIMEOUT 60793 | MAYBE 17666 | MAYBE 59463 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | YES 1377 | YES 3819 | YES 1071 | YES 1186 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | TIMEOUT 60557 | TIMEOUT 60637 | MAYBE 26379 | MAYBE 59475 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | YES 1183 | YES 3391 | YES 821 | YES 522 |
| tpdb-8.0/TRS/Mixed_TRS/motivation.xml | YES 1421 | YES 3570 | YES 916 | YES 811 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | YES 1894 | YES 5135 | YES 1315 | YES 2727 |
| tpdb-8.0/TRS/MNZ_10/0.xml | YES 58826 | YES 48616 | YES 2448 | YES 18569 |
| tpdb-8.0/TRS/MNZ_10/1.xml | TIMEOUT 60293 | TIMEOUT 60040 | YES 3022 | YES 4353 |
| tpdb-8.0/TRS/MNZ_10/5.xml | TIMEOUT 60495 | TIMEOUT 61662 | YES 7760 | YES 5339 |
| tpdb-8.0/TRS/MNZ_10/7.xml | TIMEOUT 60386 | TIMEOUT 60901 | YES 7174 | YES 4251 |
| tpdb-8.0/TRS/MNZ_10/8.xml | TIMEOUT 60333 | TIMEOUT 61676 | YES 7293 | YES 5557 |
| tpdb-8.0/TRS/MNZ_10/9.xml | TIMEOUT 60324 | TIMEOUT 60838 | YES 7147 | YES 10089 |
| tpdb-8.0/TRS/MNZ_10/labelled.xml | YES 31717 | TIMEOUT 61244 | TIMEOUT 60045 | TIMEOUT 60044 |
| tpdb-8.0/TRS/MNZ_10/nrvsq.xml | TIMEOUT 60663 | TIMEOUT 60033 | MAYBE 23024 | YES 10392 |
| tpdb-8.0/TRS/MNZ_10/nvsr.xml | TIMEOUT 60620 | TIMEOUT 60759 | YES 4825 | MAYBE 59536 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | YES 1936 | YES 5212 | YES 1509 | YES 2993 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | YES 1509 | YES 4032 | YES 1083 | YES 1396 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | YES 1092 | YES 3196 | YES 715 | YES 490 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | YES 998 | YES 3285 | YES 683 | YES 804 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | YES 1131 | YES 3206 | YES 595 | YES 509 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | YES 1008 | YES 3401 | YES 1273 | YES 1237 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | YES 1524 | YES 4866 | YES 1569 | YES 5627 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | YES 1197 | YES 3279 | YES 696 | YES 533 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | YES 2206 | YES 5175 | YES 1963 | YES 7077 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | YES 4200 | YES 28794 | MAYBE 19379 | MAYBE 27527 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | YES 2766 | YES 10356 | MAYBE 15454 | MAYBE 22167 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | YES 1869 | YES 6074 | YES 3056 | MAYBE 12776 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | YES 20972 | TIMEOUT 61169 | TIMEOUT 60045 | MAYBE 59707 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | TIMEOUT 60608 | TIMEOUT 61372 | MAYBE 17554 | MAYBE 59492 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml | YES 2087 | YES 4017 | YES 1669 | MAYBE 7415 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | YES 1575 | YES 3211 | YES 704 | YES 1239 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | YES 1500 | YES 5554 | YES 1086 | MAYBE 59454 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | YES 1864 | YES 4799 | YES 1771 | YES 2678 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | TIMEOUT 60406 | YES 3866 | YES 1209 | YES 3199 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | YES 7931 | YES 18952 | MAYBE 47135 | YES 8718 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | TIMEOUT 60476 | TIMEOUT 60737 | MAYBE 33016 | MAYBE 31409 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | YES 1669 | YES 4554 | YES 1159 | YES 2227 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | YES 2406 | YES 6272 | YES 2899 | YES 4795 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml | YES 27130 | YES 5568 | YES 2463 | YES 5616 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | YES 7796 | YES 17178 | MAYBE 20297 | MAYBE 23979 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | YES 3663 | YES 17148 | YES 3258 | YES 4223 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | YES 9105 | YES 15077 | MAYBE 8698 | MAYBE 7416 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | YES 14208 | TIMEOUT 60572 | YES 1439 | MAYBE 12952 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | YES 42974 | YES 23133 | MAYBE 19888 | MAYBE 59489 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | YES 6532 | TIMEOUT 61537 | MAYBE 29856 | MAYBE 59583 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | YES 3446 | TIMEOUT 60987 | MAYBE 32125 | MAYBE 39101 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | YES 21402 | TIMEOUT 61130 | MAYBE 27718 | MAYBE 59492 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | YES 1552 | YES 4819 | YES 1701 | YES 5937 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | YES 1490 | YES 4084 | YES 1153 | YES 2998 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | YES 1514 | YES 4099 | YES 1554 | YES 3758 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | YES 1954 | YES 5344 | YES 2248 | YES 7084 |
| tpdb-8.0/TRS/SK90/2.06.xml | YES 1162 | YES 3272 | YES 746 | YES 565 |
| tpdb-8.0/TRS/SK90/2.07.xml | YES 1233 | YES 3460 | YES 782 | YES 1231 |
| tpdb-8.0/TRS/SK90/2.16.xml | YES 1601 | YES 3590 | YES 781 | YES 1500 |
| tpdb-8.0/TRS/SK90/2.18.xml | YES 1203 | YES 3404 | YES 676 | YES 1056 |
| tpdb-8.0/TRS/SK90/2.28.xml | YES 1171 | YES 3331 | YES 591 | YES 504 |
| tpdb-8.0/TRS/SK90/2.34.xml | YES 1345 | YES 3344 | YES 778 | YES 512 |
| tpdb-8.0/TRS/SK90/2.36.xml | YES 1161 | YES 3323 | YES 725 | YES 494 |
| tpdb-8.0/TRS/SK90/2.38.xml | YES 1091 | YES 3358 | YES 660 | YES 502 |
| tpdb-8.0/TRS/SK90/2.52.xml | YES 1483 | YES 4387 | YES 1018 | YES 2362 |
| tpdb-8.0/TRS/SK90/2.54.xml | YES 1152 | YES 3217 | YES 571 | YES 490 |
| tpdb-8.0/TRS/SK90/2.56.xml | YES 1160 | YES 3183 | YES 611 | YES 489 |
| tpdb-8.0/TRS/SK90/4.06.xml | NO 2021 | NO 4281 | NO 824 | NO 518 |
| tpdb-8.0/TRS/SK90/4.23.xml | YES 1254 | YES 3385 | YES 735 | YES 1083 |
| tpdb-8.0/TRS/SK90/4.27.xml | YES 1467 | YES 4239 | YES 1172 | YES 1729 |
| tpdb-8.0/TRS/SK90/4.35.xml | YES 1004 | YES 3083 | YES 762 | YES 640 |
| tpdb-8.0/TRS/SK90/4.40.xml | NO 3643 | NO 5136 | MAYBE 13762 | NO 495 |
| tpdb-8.0/TRS/SK90/4.46.xml | YES 991 | YES 3097 | YES 619 | YES 596 |
| tpdb-8.0/TRS/SK90/4.50.xml | YES 1146 | YES 3144 | YES 617 | YES 523 |
| tpdb-8.0/TRS/SK90/4.52.xml | YES 1105 | YES 3473 | YES 864 | YES 522 |
| tpdb-8.0/TRS/SK90/4.55.xml | YES 1290 | YES 3800 | YES 625 | MAYBE 7410 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml | NO 1926 | NO 3652 | NO 636 | NO 483 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | NO 2250 | NO 15103 | NO 1489 | NO 499 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | YES 995 | YES 3448 | YES 585 | YES 612 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.23.xml | YES 1618 | YES 4159 | YES 813 | YES 1470 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml | YES 1280 | YES 3583 | MAYBE 6836 | MAYBE 7409 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml | YES 4496 | YES 33675 | YES 8211 | MAYBE 12072 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | YES 4742 | YES 26649 | MAYBE 18497 | MAYBE 7429 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | YES 1427 | YES 3386 | YES 911 | YES 1192 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml | YES 1362 | YES 3336 | YES 765 | YES 801 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml | NO 2314 | NO 4035 | NO 500 | NO 399 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml | NO 1772 | NO 4120 | NO 499 | NO 399 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml | NO 2375 | NO 4007 | NO 494 | NO 395 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml | NO 2392 | NO 4192 | NO 501 | NO 401 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | NO 1867 | NO 3479 | NO 488 | NO 385 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | NO 2375 | NO 3596 | NO 529 | NO 391 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | NO 1366 | NO 3715 | NO 492 | NO 388 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | NO 2015 | NO 4126 | NO 497 | NO 396 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | NO 2318 | NO 4249 | NO 511 | NO 402 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | NO 1373 | NO 3783 | NO 526 | NO 390 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | NO 2121 | NO 3599 | NO 491 | NO 391 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | NO 2442 | NO 4744 | NO 503 | NO 407 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | NO 1584 | NO 3610 | NO 692 | NO 495 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml | NO 1654 | NO 6207 | NO 705 | NO 499 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | NO 1747 | NO 4019 | NO 827 | NO 486 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | NO 8660 | TIMEOUT 60682 | MAYBE 12159 | MAYBE 7415 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | YES 1305 | YES 3488 | YES 815 | YES 905 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | NO 1812 | NO 3897 | NO 776 | NO 489 |
| tpdb-8.0/TRS/TCT_12/polycounter-10.xml | YES 1906 | YES 4558 | YES 728 | YES 932 |
| tpdb-8.0/TRS/TCT_12/polycounter-5.xml | YES 1325 | YES 3727 | YES 687 | YES 550 |
| tpdb-8.0/TRS/TCT_12/recursion-10.xml | YES 1682 | YES 4864 | YES 1351 | YES 4475 |
| tpdb-8.0/TRS/TCT_12/recursion-5.xml | YES 1449 | YES 3867 | YES 965 | YES 2658 |
| tpdb-8.0/TRS/TCT_12/sat.xml | YES 1504 | YES 4298 | YES 1129 | YES 2855 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | NO 1759 | NO 3578 | NO 493 | NO 388 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml | NO 1646 | NO 3798 | NO 792 | NO 493 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | YES 3562 | TIMEOUT 61552 | MAYBE 25017 | MAYBE 59533 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | YES 1299 | YES 3654 | YES 900 | YES 2352 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | YES 1278 | YES 9528 | YES 2902 | YES 9487 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | NO 882 | NO 2941 | NO 488 | NO 389 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | TIMEOUT 60404 | TIMEOUT 61149 | MAYBE 17923 | MAYBE 59472 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | NO 918 | NO 3056 | NO 509 | NO 407 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | YES 1001 | YES 3247 | YES 666 | YES 503 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | YES 2081 | YES 4448 | YES 2132 | YES 3947 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | YES 46442 | TIMEOUT 61268 | TIMEOUT 60044 | MAYBE 59673 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | YES 16686 | TIMEOUT 61183 | YES 8889 | YES 11693 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | YES 1285 | YES 16337 | YES 4617 | YES 10001 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml | YES 13465 | TIMEOUT 61437 | TIMEOUT 60047 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | TIMEOUT 60373 | TIMEOUT 61156 | TIMEOUT 60048 | MAYBE 59833 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | NO 923 | NO 3041 | NO 505 | NO 453 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | TIMEOUT 60598 | TIMEOUT 61268 | TIMEOUT 60046 | MAYBE 59783 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml | YES 43251 | TIMEOUT 61039 | TIMEOUT 60040 | MAYBE 59919 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | YES 5936 | TIMEOUT 60039 | TIMEOUT 60046 | TIMEOUT 60033 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | NO 894 | NO 2996 | NO 488 | NO 389 |
| tpdb-8.0/TRS/Various_04/02.xml | YES 1180 | YES 3397 | YES 623 | YES 517 |
| tpdb-8.0/TRS/Various_04/03.xml | YES 1234 | YES 3505 | YES 676 | YES 671 |
| tpdb-8.0/TRS/Various_04/07.xml | YES 1079 | YES 3247 | YES 558 | YES 498 |
| tpdb-8.0/TRS/Various_04/08.xml | TIMEOUT 60502 | TIMEOUT 61493 | MAYBE 25844 | MAYBE 7489 |
| tpdb-8.0/TRS/Various_04/11.xml | YES 1726 | YES 3954 | MAYBE 11480 | MAYBE 7417 |
| tpdb-8.0/TRS/Various_04/13.xml | YES 1669 | YES 5710 | YES 2790 | YES 4481 |
| tpdb-8.0/TRS/Various_04/24.xml | YES 1512 | YES 4332 | YES 1218 | YES 2454 |
| tpdb-8.0/TRS/Various_04/26.xml | YES 1475 | YES 3453 | YES 1069 | YES 1182 |
| tpdb-8.0/TRS/Various_04/27.xml | YES 1053 | YES 3191 | YES 572 | YES 494 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | YES 1942 | YES 3367 | MAYBE 11928 | MAYBE 59428 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | YES 14894 | YES 5780 | YES 1001 | YES 2448 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | TIMEOUT 60292 | TIMEOUT 60420 | MAYBE 13678 | MAYBE 14210 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | TIMEOUT 60237 | TIMEOUT 60746 | MAYBE 14308 | MAYBE 11654 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | TIMEOUT 60299 | TIMEOUT 61945 | MAYBE 10198 | MAYBE 12366 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | TIMEOUT 60483 | TIMEOUT 60766 | MAYBE 14381 | MAYBE 20004 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | YES 1439 | YES 4235 | MAYBE 12544 | MAYBE 8665 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | YES 4282 | YES 3476 | YES 1459 | MAYBE 7416 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | YES 1923 | YES 4176 | YES 1824 | YES 1819 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | YES 1267 | YES 3258 | YES 834 | YES 1112 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | YES 1479 | YES 3181 | YES 602 | YES 1036 |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | YES 1472 | YES 3422 | YES 599 | YES 1057 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | YES 1448 | YES 3265 | YES 686 | YES 1007 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | YES 1511 | YES 3247 | YES 690 | YES 842 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | YES 1548 | YES 3239 | YES 669 | YES 932 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | YES 1624 | YES 3296 | YES 603 | YES 918 |
| tpdb-8.0/TRS/Zantema_05/jw36.xml | YES 1482 | YES 3293 | YES 676 | YES 1156 |
| tpdb-8.0/TRS/Zantema_05/z06.xml | YES 1367 | YES 3979 | YES 880 | YES 1204 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | YES 2409 | TIMEOUT 60803 | MAYBE 19502 | MAYBE 29090 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | YES 4976 | YES 4319 | YES 1130 | YES 1014 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | YES 1437 | YES 4031 | YES 1631 | YES 1573 | 268 | 225 | 201 | 191 |