| benchmark | AProVE | AProVE-CeTA | TTT2Cert | VMTL |
|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.10.xml | YES 1842 | YES 5732 | YES 7282 | YES 4290 |
| tpdb-8.0/TRS/AG01/#3.13.xml | YES 1746 | YES 4264 | YES 4646 | YES 2178 |
| tpdb-8.0/TRS/AG01/#3.17.xml | YES 1252 | YES 4108 | YES 4976 | YES 2674 |
| tpdb-8.0/TRS/AG01/#3.18.xml | YES 1191 | YES 3204 | YES 2162 | YES 1079 |
| tpdb-8.0/TRS/AG01/#3.19.xml | YES 1381 | YES 3637 | YES 2766 | YES 5186 |
| tpdb-8.0/TRS/AG01/#3.22.xml | YES 1216 | YES 3687 | YES 1851 | MAYBE 50591 |
| tpdb-8.0/TRS/AG01/#3.31.xml | YES 954 | YES 2354 | YES 634 | YES 728 |
| tpdb-8.0/TRS/AG01/#3.41.xml | YES 1036 | YES 2587 | YES 952 | YES 4168 |
| tpdb-8.0/TRS/AG01/#3.48.xml | YES 1081 | YES 3148 | YES 1910 | YES 3297 |
| tpdb-8.0/TRS/AG01/#3.4.xml | YES 1160 | YES 3198 | YES 1894 | YES 1602 |
| tpdb-8.0/TRS/AG01/#3.52.xml | YES 1005 | YES 2825 | YES 821 | YES 427 |
| tpdb-8.0/TRS/AG01/#3.55.xml | YES 1796 | YES 4725 | YES 6377 | YES 2710 |
| tpdb-8.0/TRS/AG01/#3.56.xml | YES 1137 | YES 3248 | YES 1641 | YES 973 |
| tpdb-8.0/TRS/AG01/#3.57.xml | YES 1393 | YES 4398 | YES 4883 | YES 3199 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | YES 1455 | YES 3768 | YES 2720 | YES 1946 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | NO 1332 | NO 3309 | NO 385 | MAYBE 29259 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | YES 1222 | YES 3672 | YES 1544 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AotoYamada_05/009.xml | YES 1333 | YES 3672 | YES 1472 | TIMEOUT 60049 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | YES 1258 | YES 3857 | YES 1626 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AotoYamada_05/014.xml | YES 1299 | YES 4294 | YES 2017 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | YES 1164 | YES 3624 | YES 1737 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | YES 847 | YES 2354 | YES 545 | YES 286 |
| tpdb-8.0/TRS/AotoYamada_05/021.xml | YES 1370 | YES 4451 | YES 2104 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | YES 838 | YES 2492 | YES 929 | YES 638 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | YES 833 | YES 2316 | YES 529 | YES 260 |
| tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml | TIMEOUT 60638 | TIMEOUT 60484 | MAYBE 10889 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | YES 1413 | YES 4296 | YES 2394 | YES 8602 |
| tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml | YES 1349 | YES 4584 | YES 1852 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | YES 1037 | YES 3273 | YES 5595 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml | TIMEOUT 60535 | TIMEOUT 60664 | MAYBE 9823 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml | TIMEOUT 60465 | TIMEOUT 61168 | MAYBE 7447 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinusHard.xml | YES 1462 | TIMEOUT 60535 | MAYBE 59511 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | NO 5658 | NO 4578 | NO 733 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml | YES 867 | YES 2882 | YES 2653 | YES 3866 |
| tpdb-8.0/TRS/Applicative_05/TakeDropWhile.xml | YES 1356 | YES 4457 | YES 1879 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Applicative_05/TreeHeight.xml | YES 1465 | YES 4455 | YES 2172 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Applicative_05/TypeEx3.xml | NO 3811 | NO 5250 | NO 394 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | YES 1797 | YES 6010 | YES 2769 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | YES 1445 | YES 4401 | YES 2504 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Applicative_first_order_05/30.xml | YES 2239 | YES 7647 | YES 3525 | MAYBE 41859 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | YES 3074 | TIMEOUT 61525 | MAYBE 31065 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.13.xml | YES 3229 | TIMEOUT 60967 | MAYBE 13768 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | YES 2058 | YES 39955 | MAYBE 10735 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Applicative_first_order_05/33.xml | TIMEOUT 60440 | TIMEOUT 60633 | MAYBE 59563 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.40.xml | YES 2476 | YES 7978 | MAYBE 59549 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | YES 2253 | YES 9657 | MAYBE 12018 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml | YES 1533 | YES 5104 | YES 2370 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml | YES 2164 | YES 7184 | YES 4698 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | YES 1925 | YES 4068 | YES 3716 | YES 2259 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | YES 1590 | YES 4762 | YES 4780 | MAYBE 58509 |
| tpdb-8.0/TRS/AProVE_04/improved_usable2.xml | YES 1026 | YES 2377 | YES 958 | YES 521 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | YES 1074 | YES 2536 | YES 1036 | YES 649 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | YES 1684 | YES 3502 | YES 2676 | TIMEOUT 60045 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | YES 1746 | YES 12439 | YES 4525 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | YES 24907 | YES 32509 | MAYBE 59484 | TIMEOUT 60386 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | YES 1513 | YES 3584 | YES 6273 | YES 2414 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | YES 1672 | YES 28756 | YES 4044 | TIMEOUT 60059 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | YES 1113 | YES 3341 | YES 2287 | YES 1261 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | YES 1060 | YES 2937 | YES 1086 | YES 1080 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | YES 12001 | YES 30475 | MAYBE 59519 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | TIMEOUT 60560 | TIMEOUT 61152 | MAYBE 59487 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | YES 1391 | YES 3603 | YES 3255 | TIMEOUT 60086 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | YES 1948 | YES 25908 | MAYBE 16190 | TIMEOUT 60079 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | YES 2797 | YES 26917 | MAYBE 59492 | TIMEOUT 60049 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | YES 1725 | YES 30178 | MAYBE 7422 | TIMEOUT 60081 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | NO 1939 | TIMEOUT 61063 | NO 510 | TIMEOUT 60054 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | YES 2281 | YES 6367 | YES 7628 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | YES 6118 | YES 15652 | MAYBE 7427 | TIMEOUT 60081 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | YES 1201 | YES 3286 | YES 1261 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | YES 13778 | YES 29933 | MAYBE 28781 | TIMEOUT 60074 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | YES 7964 | YES 13797 | YES 13953 | TIMEOUT 60052 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | YES 1559 | YES 4356 | YES 7004 | YES 30771 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | YES 2633 | TIMEOUT 60953 | MAYBE 34102 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | YES 1646 | TIMEOUT 60596 | MAYBE 17801 | TIMEOUT 60066 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | YES 4237 | TIMEOUT 61189 | MAYBE 7432 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | YES 7854 | TIMEOUT 61074 | MAYBE 31989 | TIMEOUT 60046 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | YES 1478 | YES 37541 | MAYBE 10426 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | YES 6738 | YES 18815 | MAYBE 50716 | TIMEOUT 60053 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | YES 2969 | YES 14636 | MAYBE 59452 | TIMEOUT 60084 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | YES 7442 | YES 29970 | MAYBE 59464 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | YES 13574 | YES 49119 | MAYBE 52782 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | YES 1422 | YES 3986 | MAYBE 23969 | TIMEOUT 60081 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | YES 1580 | YES 3808 | YES 2067 | TIMEOUT 60827 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | YES 1676 | YES 4174 | YES 2931 | TIMEOUT 60043 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | YES 2183 | YES 5196 | YES 3894 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | YES 2476 | YES 7283 | YES 7112 | TIMEOUT 60053 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | YES 2044 | TIMEOUT 60996 | MAYBE 21083 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | NO 23723 | TIMEOUT 61098 | MAYBE 21166 | TIMEOUT 60042 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | YES 11504 | TIMEOUT 61120 | MAYBE 59489 | TIMEOUT 60067 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | YES 2048 | YES 9767 | YES 8087 | TIMEOUT 60059 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | YES 1899 | YES 9192 | YES 6655 | TIMEOUT 60053 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | YES 1618 | YES 4250 | YES 6185 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_08/log.xml | YES 2496 | TIMEOUT 60569 | MAYBE 59475 | TIMEOUT 60083 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | YES 5753 | TIMEOUT 61006 | MAYBE 56862 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | YES 7299 | TIMEOUT 61098 | MAYBE 55439 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | YES 3620 | TIMEOUT 61200 | MAYBE 51694 | TIMEOUT 60046 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | YES 6936 | TIMEOUT 61198 | MAYBE 59509 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | YES 6445 | TIMEOUT 61001 | MAYBE 59473 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | NO 1342 | NO 3358 | NO 479 | MAYBE 21311 |
| tpdb-8.0/TRS/AProVE_08/round.xml | YES 1419 | TIMEOUT 60427 | MAYBE 9253 | MAYBE 18707 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | YES 12436 | YES 14361 | YES 1797 | TIMEOUT 60041 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | TIMEOUT 60561 | TIMEOUT 60980 | MAYBE 21100 | TIMEOUT 60093 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | YES 10983 | TIMEOUT 61136 | MAYBE 21638 | TIMEOUT 60081 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | TIMEOUT 60585 | TIMEOUT 60616 | MAYBE 30016 | TIMEOUT 60081 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | TIMEOUT 60404 | TIMEOUT 60396 | MAYBE 59457 | TIMEOUT 60079 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | YES 4488 | TIMEOUT 61164 | MAYBE 31129 | TIMEOUT 60082 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | YES 6287 | TIMEOUT 61245 | MAYBE 59502 | TIMEOUT 60051 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | YES 6516 | TIMEOUT 61179 | MAYBE 38666 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | YES 10798 | TIMEOUT 60774 | MAYBE 22525 | TIMEOUT 60044 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | YES 14801 | TIMEOUT 60951 | MAYBE 59496 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | YES 14834 | TIMEOUT 61148 | MAYBE 46133 | TIMEOUT 60045 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | YES 2116 | TIMEOUT 60462 | MAYBE 7430 | TIMEOUT 60071 |
| tpdb-8.0/TRS/AProVE_10/andIsNat.xml | NO 24483 | TIMEOUT 60454 | MAYBE 59450 | TIMEOUT 60046 |
| tpdb-8.0/TRS/AProVE_10/challenge_fab.xml | TIMEOUT 60499 | TIMEOUT 60543 | MAYBE 59492 | TIMEOUT 60044 |
| tpdb-8.0/TRS/AProVE_10/downfrom.xml | TIMEOUT 60366 | TIMEOUT 60447 | MAYBE 59430 | TIMEOUT 60041 |
| tpdb-8.0/TRS/AProVE_10/ex1.xml | NO 11242 | NO 30338 | MAYBE 17636 | MAYBE 22364 |
| tpdb-8.0/TRS/AProVE_10/ex2.xml | NO 11462 | TIMEOUT 60515 | MAYBE 59441 | TIMEOUT 60040 |
| tpdb-8.0/TRS/AProVE_10/ex3.xml | NO 11512 | TIMEOUT 60760 | MAYBE 21250 | MAYBE 37854 |
| tpdb-8.0/TRS/AProVE_10/ex4.xml | NO 15149 | TIMEOUT 60874 | MAYBE 21426 | TIMEOUT 60082 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | NO 2200 | NO 2839 | NO 483 | MAYBE 32575 |
| tpdb-8.0/TRS/AProVE_10/isNat.xml | NO 11468 | NO 22895 | MAYBE 7802 | MAYBE 34254 |
| tpdb-8.0/TRS/AProVE_10/scnp.xml | YES 889 | YES 2465 | YES 809 | YES 405 |
| tpdb-8.0/TRS/AProVE_10/Zantema06-03-modified.xml | TIMEOUT 60831 | TIMEOUT 60904 | MAYBE 59495 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | YES 2877 | TIMEOUT 60759 | MAYBE 9938 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | YES 2424 | TIMEOUT 60033 | MAYBE 12900 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | YES 4040 | TIMEOUT 60595 | MAYBE 7429 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | YES 5116 | YES 16916 | MAYBE 59516 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | YES 1469 | YES 15259 | MAYBE 45320 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | YES 1579 | YES 3753 | YES 1748 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | YES 1684 | YES 3793 | YES 1929 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | YES 1502 | TIMEOUT 60530 | MAYBE 7412 | MAYBE 34342 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | YES 1243 | YES 3083 | YES 1328 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | YES 1294 | YES 3183 | YES 1543 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | YES 1541 | YES 3490 | YES 2061 | TIMEOUT 60048 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | YES 1287 | YES 3133 | YES 1142 | TIMEOUT 60072 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | NO 1808 | NO 13834 | NO 525 | TIMEOUT 60039 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | YES 799 | YES 2617 | YES 1551 | YES 722 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | YES 1121 | YES 3224 | YES 5735 | YES 3000 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | YES 1266 | YES 3505 | YES 4451 | YES 1620 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | YES 1250 | YES 4163 | YES 4425 | YES 2455 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | YES 1043 | YES 2823 | YES 5954 | YES 915 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | YES 11379 | YES 24009 | YES 9048 | YES 8413 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | YES 1551 | YES 5354 | YES 5640 | YES 4378 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | YES 1506 | YES 5052 | YES 5064 | YES 4095 |
| tpdb-8.0/TRS/CiME_04/tree.xml | YES 1957 | YES 7736 | YES 7999 | YES 6802 |
| tpdb-8.0/TRS/Der95/06.xml | YES 786 | YES 2815 | YES 950 | YES 437 |
| tpdb-8.0/TRS/Der95/07.xml | YES 1081 | YES 2635 | YES 1012 | YES 413 |
| tpdb-8.0/TRS/Der95/09.xml | YES 827 | YES 2359 | YES 520 | YES 311 |
| tpdb-8.0/TRS/Der95/17.xml | YES 871 | YES 2674 | YES 1395 | YES 663 |
| tpdb-8.0/TRS/Der95/18.xml | YES 897 | YES 2449 | YES 891 | YES 348 |
| tpdb-8.0/TRS/Der95/21.xml | YES 1065 | YES 3047 | YES 1597 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Der95/27.xml | YES 830 | YES 2458 | YES 652 | YES 346 |
| tpdb-8.0/TRS/Der95/28.xml | YES 917 | YES 2462 | YES 1045 | YES 362 |
| tpdb-8.0/TRS/Der95/30.xml | YES 982 | YES 2679 | YES 1330 | MAYBE 31841 |
| tpdb-8.0/TRS/Der95/32.xml | YES 1174 | YES 3232 | YES 1538 | YES 729 |
| tpdb-8.0/TRS/Der95/33.xml | TIMEOUT 60611 | TIMEOUT 60543 | MAYBE 59507 | TIMEOUT 60051 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex1_4.xml | NO 11645 | NO 19137 | MAYBE 7421 | TIMEOUT 60079 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex2_1.xml | TIMEOUT 60405 | TIMEOUT 60031 | MAYBE 24326 | TIMEOUT 60044 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex2_4.xml | NO 26895 | TIMEOUT 60716 | MAYBE 26481 | TIMEOUT 60082 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex3_3.xml | NO 12921 | TIMEOUT 60443 | MAYBE 9275 | TIMEOUT 60094 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex4_1.xml | NO 11707 | TIMEOUT 60455 | MAYBE 7422 | TIMEOUT 60075 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex5_1.xml | NO 14950 | TIMEOUT 60469 | MAYBE 59454 | TIMEOUT 60048 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex5_3.xml | NO 15090 | TIMEOUT 60485 | MAYBE 11763 | TIMEOUT 60046 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex6_1.xml | NO 11492 | TIMEOUT 60569 | MAYBE 7418 | TIMEOUT 60084 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_4.xml | NO 44653 | TIMEOUT 60686 | MAYBE 59479 | TIMEOUT 60048 |
| tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_8.xml | TIMEOUT 60509 | TIMEOUT 60767 | MAYBE 59512 | TIMEOUT 60046 |
| tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-addTrue.xml | NO 14546 | TIMEOUT 60659 | MAYBE 21003 | TIMEOUT 60073 |
| tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-isList-List.xml | TIMEOUT 60428 | TIMEOUT 60547 | MAYBE 9900 | MAYBE 34443 |
| tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-swapX.xml | NO 11356 | NO 52035 | MAYBE 7517 | MAYBE 35238 |
| tpdb-8.0/TRS/EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml | TIMEOUT 60470 | TIMEOUT 60778 | MAYBE 59469 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | YES 1424 | YES 2921 | YES 907 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | YES 8857 | YES 6179 | MAYBE 7405 | MAYBE 22472 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | YES 1725 | YES 4362 | YES 2003 | YES 19653 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | YES 19197 | YES 8465 | YES 8450 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | TIMEOUT 60499 | YES 5872 | YES 7198 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | YES 991 | YES 2650 | YES 2267 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | YES 1391 | YES 3409 | MAYBE 26513 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | YES 2820 | YES 6746 | MAYBE 59435 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | YES 1724 | YES 9870 | YES 6156 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | YES 1661 | YES 12390 | YES 6918 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | YES 2285 | YES 2569 | YES 5832 | TIMEOUT 60052 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | YES 1801 | TIMEOUT 60478 | MAYBE 14183 | TIMEOUT 60071 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | TIMEOUT 60298 | TIMEOUT 60346 | MAYBE 7416 | MAYBE 14321 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | YES 2406 | TIMEOUT 60710 | MAYBE 45480 | TIMEOUT 60045 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | YES 2835 | TIMEOUT 61125 | MAYBE 19644 | TIMEOUT 60048 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | YES 1961 | TIMEOUT 60976 | MAYBE 59498 | TIMEOUT 60044 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | YES 1685 | TIMEOUT 60567 | MAYBE 19652 | MAYBE 47395 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | TIMEOUT 60442 | TIMEOUT 61356 | MAYBE 59467 | TIMEOUT 60048 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | YES 2042 | TIMEOUT 61183 | MAYBE 9511 | TIMEOUT 60052 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | YES 3453 | TIMEOUT 61165 | MAYBE 40204 | TIMEOUT 60049 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | YES 1967 | TIMEOUT 60765 | MAYBE 23041 | TIMEOUT 60080 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | TIMEOUT 60556 | TIMEOUT 60880 | MAYBE 59489 | TIMEOUT 60048 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | NO 742 | NO 2781 | NO 380 | NO 400 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | NO 1197 | NO 2765 | NO 383 | NO 530 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | NO 750 | NO 14444 | NO 382 | NO 1619 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | NO 744 | NO 2785 | NO 382 | MAYBE 1584 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | NO 1223 | NO 2625 | NO 411 | NO 2288 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | YES 798 | YES 2771 | YES 2967 | TIMEOUT 60337 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | YES 820 | YES 2317 | YES 529 | YES 274 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | YES 8693 | YES 24389 | YES 29970 | TIMEOUT 60055 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | YES 911 | YES 2308 | YES 598 | YES 367 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | YES 1230 | YES 2897 | YES 1534 | YES 1237 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | YES 1255 | YES 3395 | YES 5881 | YES 1207 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | YES 1273 | YES 2990 | YES 879 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | YES 1410 | YES 3449 | YES 3348 | YES 1620 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | YES 1047 | YES 2891 | YES 1171 | YES 819 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | YES 864 | YES 2469 | YES 670 | YES 280 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | YES 858 | YES 2495 | YES 857 | YES 369 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | YES 911 | YES 2451 | YES 1082 | YES 495 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | TIMEOUT 60600 | TIMEOUT 60996 | MAYBE 26406 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | YES 1489 | YES 3969 | YES 2718 | YES 1544 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | YES 1209 | YES 3378 | YES 1874 | YES 957 |
| tpdb-8.0/TRS/Mixed_TRS/while2.xml | TIMEOUT 60608 | TIMEOUT 60456 | MAYBE 59455 | MAYBE 46549 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | YES 1520 | TIMEOUT 60487 | MAYBE 9913 | MAYBE 34991 |
| tpdb-8.0/TRS/MNZ_10/0.xml | YES 55955 | YES 46843 | YES 20243 | TIMEOUT 60048 |
| tpdb-8.0/TRS/MNZ_10/1.xml | TIMEOUT 60453 | TIMEOUT 60864 | YES 5746 | TIMEOUT 60053 |
| tpdb-8.0/TRS/MNZ_10/4.xml | TIMEOUT 60504 | TIMEOUT 60841 | MAYBE 59496 | TIMEOUT 60050 |
| tpdb-8.0/TRS/MNZ_10/5.xml | TIMEOUT 60447 | TIMEOUT 61160 | MAYBE 59478 | TIMEOUT 60052 |
| tpdb-8.0/TRS/MNZ_10/6.xml | TIMEOUT 60377 | TIMEOUT 60875 | MAYBE 59507 | TIMEOUT 60060 |
| tpdb-8.0/TRS/MNZ_10/7.xml | TIMEOUT 60509 | TIMEOUT 60882 | MAYBE 59506 | TIMEOUT 60049 |
| tpdb-8.0/TRS/MNZ_10/8.xml | TIMEOUT 60380 | TIMEOUT 60960 | YES 6542 | TIMEOUT 60056 |
| tpdb-8.0/TRS/MNZ_10/9.xml | TIMEOUT 60409 | TIMEOUT 60747 | MAYBE 59515 | TIMEOUT 60048 |
| tpdb-8.0/TRS/MNZ_10/labelled.xml | YES 40769 | TIMEOUT 61174 | TIMEOUT 60043 | TIMEOUT 60034 |
| tpdb-8.0/TRS/MNZ_10/nrvsq.xml | TIMEOUT 60732 | TIMEOUT 60790 | MAYBE 59552 | TIMEOUT 60058 |
| tpdb-8.0/TRS/MNZ_10/nvsr.xml | TIMEOUT 60567 | TIMEOUT 60896 | MAYBE 59529 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | YES 892 | YES 2478 | YES 586 | YES 412 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | YES 1321 | YES 3625 | YES 2802 | YES 1237 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | YES 1149 | YES 3060 | YES 1439 | YES 878 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | YES 769 | YES 2341 | YES 1108 | YES 952 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | YES 1311 | YES 3689 | YES 2309 | YES 2135 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | YES 1661 | YES 4276 | YES 5229 | YES 2188 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | YES 1295 | YES 3114 | YES 2582 | YES 1935 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | YES 1890 | YES 6024 | YES 6610 | YES 6412 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | YES 1130 | YES 2637 | YES 892 | YES 737 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | YES 922 | YES 2429 | YES 841 | YES 629 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | YES 1881 | YES 4041 | YES 6249 | YES 2819 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml | YES 2954 | YES 26422 | MAYBE 59498 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | YES 3673 | YES 27773 | MAYBE 21844 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | YES 3251 | YES 14772 | MAYBE 17319 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | YES 20071 | TIMEOUT 61001 | MAYBE 59831 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | NO 1289 | NO 2896 | MAYBE 7412 | MAYBE 11151 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | YES 1210 | YES 2331 | YES 1287 | YES 3222 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | YES 3402 | YES 7168 | MAYBE 49355 | MAYBE 50871 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | YES 17812 | YES 5273 | MAYBE 28952 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | YES 1507 | YES 4516 | MAYBE 33409 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | NO 1549 | NO 3068 | NO 658 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | NO 1644 | NO 2794 | NO 484 | NO 33038 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | TIMEOUT 60570 | YES 3009 | YES 3433 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | TIMEOUT 60512 | TIMEOUT 60879 | MAYBE 59531 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | YES 2235 | YES 3001 | YES 1457 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | YES 4505 | YES 27901 | MAYBE 11291 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | YES 1586 | YES 4179 | YES 3057 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | YES 1681 | YES 2965 | YES 1192 | YES 10160 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | YES 1937 | YES 4724 | YES 5093 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | YES 1489 | YES 3952 | YES 2324 | YES 15945 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | YES 2946 | YES 15806 | YES 4369 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | YES 14636 | YES 44375 | MAYBE 59469 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | YES 2180 | YES 3421 | MAYBE 7406 | MAYBE 49678 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | YES 2381 | YES 3325 | MAYBE 7400 | MAYBE 42933 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | YES 14181 | TIMEOUT 60344 | MAYBE 17204 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | YES 16773 | TIMEOUT 60415 | MAYBE 40720 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | YES 5546 | TIMEOUT 61099 | MAYBE 59632 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | TIMEOUT 60453 | TIMEOUT 61165 | MAYBE 59494 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | YES 2467 | TIMEOUT 61181 | MAYBE 20699 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | YES 5380 | TIMEOUT 61189 | MAYBE 29229 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | YES 3341 | TIMEOUT 61143 | MAYBE 38034 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | YES 34194 | TIMEOUT 60982 | MAYBE 59466 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | YES 1294 | YES 3799 | YES 5961 | YES 3245 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | YES 1200 | YES 3105 | YES 3222 | YES 2052 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | YES 1165 | YES 3384 | YES 3766 | YES 2605 |
| tpdb-8.0/TRS/SK90/2.01.xml | YES 948 | YES 2589 | YES 1207 | YES 517 |
| tpdb-8.0/TRS/SK90/2.06.xml | YES 919 | YES 2440 | YES 1049 | YES 419 |
| tpdb-8.0/TRS/SK90/2.08.xml | YES 994 | YES 2822 | YES 1689 | YES 657 |
| tpdb-8.0/TRS/SK90/2.26.xml | YES 1094 | YES 3033 | YES 3541 | YES 1543 |
| tpdb-8.0/TRS/SK90/2.32.xml | YES 1017 | YES 2666 | YES 628 | YES 583 |
| tpdb-8.0/TRS/SK90/2.35.xml | YES 947 | YES 2543 | YES 883 | YES 499 |
| tpdb-8.0/TRS/SK90/2.37.xml | YES 868 | YES 2390 | YES 569 | YES 388 |
| tpdb-8.0/TRS/SK90/2.40.xml | YES 968 | YES 2664 | YES 1040 | YES 522 |
| tpdb-8.0/TRS/SK90/2.45.xml | YES 1155 | YES 3316 | YES 5619 | YES 2216 |
| tpdb-8.0/TRS/SK90/2.47.xml | YES 772 | YES 2576 | YES 792 | YES 327 |
| tpdb-8.0/TRS/SK90/2.55.xml | YES 879 | YES 2446 | YES 634 | YES 348 |
| tpdb-8.0/TRS/SK90/2.56.xml | YES 858 | YES 2481 | YES 601 | YES 365 |
| tpdb-8.0/TRS/SK90/2.59.xml | YES 876 | YES 2520 | YES 1617 | YES 324 |
| tpdb-8.0/TRS/SK90/2.60.xml | YES 903 | YES 2417 | YES 608 | YES 1410 |
| tpdb-8.0/TRS/SK90/2.61.xml | YES 894 | YES 2401 | YES 1701 | YES 1427 |
| tpdb-8.0/TRS/SK90/4.06.xml | NO 1509 | NO 3019 | NO 491 | MAYBE 48424 |
| tpdb-8.0/TRS/SK90/4.09.xml | YES 1010 | YES 2585 | YES 1591 | YES 545 |
| tpdb-8.0/TRS/SK90/4.10.xml | YES 1002 | YES 2758 | YES 1439 | YES 535 |
| tpdb-8.0/TRS/SK90/4.11.xml | YES 834 | YES 2389 | YES 680 | YES 373 |
| tpdb-8.0/TRS/SK90/4.16.xml | YES 998 | YES 2905 | YES 1119 | YES 1043 |
| tpdb-8.0/TRS/SK90/4.21.xml | YES 964 | YES 2616 | YES 1486 | YES 607 |
| tpdb-8.0/TRS/SK90/4.24.xml | YES 1242 | YES 3242 | YES 1834 | YES 1771 |
| tpdb-8.0/TRS/SK90/4.25.xml | YES 835 | YES 2454 | YES 733 | YES 460 |
| tpdb-8.0/TRS/SK90/4.26.xml | YES 1015 | YES 2823 | YES 1874 | YES 743 |
| tpdb-8.0/TRS/SK90/4.27.xml | YES 1161 | YES 3270 | YES 1728 | YES 789 |
| tpdb-8.0/TRS/SK90/4.28.xml | YES 1140 | YES 2980 | YES 6030 | YES 346 |
| tpdb-8.0/TRS/SK90/4.36.xml | YES 767 | YES 2336 | YES 648 | YES 359 |
| tpdb-8.0/TRS/SK90/4.42.xml | YES 1034 | YES 2869 | YES 1226 | YES 607 |
| tpdb-8.0/TRS/SK90/4.43.xml | YES 1016 | YES 2691 | YES 1926 | YES 1263 |
| tpdb-8.0/TRS/SK90/4.44.xml | YES 767 | YES 2416 | YES 841 | YES 407 |
| tpdb-8.0/TRS/SK90/4.49.xml | NO 1353 | NO 3201 | NO 379 | MAYBE 38345 |
| tpdb-8.0/TRS/SK90/4.51.xml | YES 1081 | YES 2532 | YES 868 | YES 3526 |
| tpdb-8.0/TRS/SK90/4.52.xml | YES 857 | YES 2583 | YES 1127 | YES 671 |
| tpdb-8.0/TRS/SK90/4.57.xml | YES 1050 | YES 2943 | YES 1351 | YES 714 |
| tpdb-8.0/TRS/SK90/4.60.xml | YES 1372 | YES 3881 | YES 5876 | YES 1547 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml | NO 2868 | NO 5392 | MAYBE 7411 | MAYBE 1645 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | NO 1835 | NO 14224 | NO 481 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | YES 758 | YES 2718 | YES 605 | YES 359 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.22.xml | YES 997 | YES 2764 | YES 964 | YES 530 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30a.xml | YES 1623 | YES 3443 | MAYBE 7422 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | YES 4418 | YES 24570 | MAYBE 10737 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.33.xml | YES 1253 | YES 3819 | YES 2587 | YES 1563 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml | YES 1050 | YES 2740 | YES 906 | YES 828 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml | NO 1165 | NO 2641 | MAYBE 7407 | MAYBE 1192 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | NO 1252 | NO 2673 | NO 484 | MAYBE 32368 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | NO 1442 | NO 13137 | NO 483 | TIMEOUT 60036 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml | NO 1771 | NO 2787 | NO 386 | MAYBE 7205 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | NO 1147 | NO 2652 | NO 512 | MAYBE 1584 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | NO 1777 | NO 3067 | NO 387 | MAYBE 16943 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | NO 1226 | NO 2721 | NO 440 | NO 1851 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | NO 1978 | NO 3627 | NO 406 | MAYBE 42148 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml | NO 2015 | NO 4843 | NO 445 | MAYBE 43125 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | NO 1116 | NO 2683 | NO 383 | NO 922 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml | NO 1845 | NO 3095 | NO 394 | MAYBE 20638 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | NO 735 | NO 2880 | NO 414 | NO 1842 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | NO 1608 | NO 3058 | NO 385 | NO 4099 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | NO 1859 | NO 3167 | NO 393 | MAYBE 28242 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | YES 12263 | TIMEOUT 60032 | MAYBE 7409 | MAYBE 7027 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | NO 1136 | NO 2784 | NO 383 | NO 1019 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | NO 1125 | NO 2771 | NO 386 | NO 2281 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | NO 1150 | NO 3203 | NO 483 | NO 29905 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | NO 1227 | NO 2645 | NO 514 | MAYBE 3329 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml | NO 1274 | NO 5703 | NO 481 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | NO 748 | NO 12535 | NO 714 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | NO 1383 | NO 2899 | NO 490 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | NO 8416 | TIMEOUT 60468 | MAYBE 7419 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | YES 1022 | YES 2581 | YES 874 | YES 616 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | NO 1346 | NO 3081 | NO 489 | MAYBE 2097 |
| tpdb-8.0/TRS/TCT_12/polycounter-10.xml | YES 1635 | YES 3298 | YES 923 | YES 4197 |
| tpdb-8.0/TRS/TCT_12/polycounter-5.xml | YES 1009 | YES 2717 | YES 666 | YES 642 |
| tpdb-8.0/TRS/TCT_12/recursion-10.xml | YES 1367 | YES 3449 | YES 5082 | YES 1942 |
| tpdb-8.0/TRS/TCT_12/recursion-5.xml | YES 1091 | YES 3026 | YES 2692 | YES 887 |
| tpdb-8.0/TRS/TCT_12/sat.xml | YES 1216 | YES 3281 | YES 3172 | YES 1397 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | YES 990 | YES 4112 | YES 3379 | YES 25800 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | NO 689 | NO 2157 | NO 384 | NO 175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | TIMEOUT 60471 | TIMEOUT 61103 | MAYBE 59535 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml | YES 979 | TIMEOUT 61186 | MAYBE 59559 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | NO 1089 | NO 2813 | NO 377 | NO 442 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | YES 1042 | YES 2873 | YES 5742 | YES 777 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | NO 1656 | NO 3015 | NO 395 | NO 20230 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml | TIMEOUT 60606 | TIMEOUT 60494 | MAYBE 18364 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | YES 2852 | YES 43877 | MAYBE 59496 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | YES 3115 | YES 5626 | YES 8075 | YES 4820 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | YES 2367 | YES 6034 | MAYBE 59537 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | YES 1271 | YES 3103 | YES 5775 | YES 903 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | YES 772 | YES 2320 | YES 564 | YES 246 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | NO 686 | NO 2143 | NO 381 | NO 175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml | TIMEOUT 60719 | TIMEOUT 60130 | MAYBE 59569 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | TIMEOUT 60582 | TIMEOUT 61147 | MAYBE 59527 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | YES 769 | YES 2547 | YES 651 | YES 477 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | YES 1137 | YES 14063 | YES 8582 | YES 47834 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | YES 1537 | YES 3895 | YES 6166 | YES 2597 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | YES 1126 | TIMEOUT 60977 | MAYBE 59529 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | YES 1284 | YES 3725 | YES 5912 | YES 1755 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | YES 1097 | YES 7498 | YES 8205 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml | TIMEOUT 60423 | TIMEOUT 61087 | TIMEOUT 60035 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml | NO 14408 | NO 19548 | MAYBE 59513 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml | TIMEOUT 60449 | TIMEOUT 60031 | MAYBE 59962 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml | YES 1989 | TIMEOUT 60899 | MAYBE 59983 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml | YES 1711 | YES 4956 | MAYBE 59747 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | YES 9637 | YES 9269 | MAYBE 59743 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | NO 722 | NO 2230 | NO 398 | NO 179 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | NO 46194 | TIMEOUT 61089 | MAYBE 59670 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | NO 685 | NO 2201 | NO 392 | NO 180 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml | YES 892 | YES 2436 | YES 1234 | YES 398 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml | YES 1656 | YES 4991 | YES 20266 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml | YES 1242 | YES 3670 | YES 7915 | YES 56638 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml | YES 1299 | YES 3480 | YES 5488 | YES 18654 |
| tpdb-8.0/TRS/Various_04/06.xml | YES 1005 | YES 2487 | YES 717 | YES 406 |
| tpdb-8.0/TRS/Various_04/07.xml | YES 848 | YES 2430 | YES 593 | YES 298 |
| tpdb-8.0/TRS/Various_04/08.xml | TIMEOUT 60554 | TIMEOUT 61017 | MAYBE 7454 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Various_04/11.xml | YES 1312 | YES 2880 | MAYBE 7441 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Various_04/12.xml | YES 1144 | YES 3582 | YES 3321 | YES 1821 |
| tpdb-8.0/TRS/Various_04/15.xml | YES 1174 | YES 2713 | YES 5609 | TIMEOUT 60036 |
| tpdb-8.0/TRS/Various_04/18.xml | YES 854 | YES 2444 | YES 890 | YES 426 |
| tpdb-8.0/TRS/Various_04/19.xml | YES 887 | YES 3051 | YES 2602 | YES 1977 |
| tpdb-8.0/TRS/Various_04/21.xml | YES 914 | YES 4513 | YES 2664 | YES 1649 |
| tpdb-8.0/TRS/Various_04/22.xml | YES 988 | YES 2664 | YES 955 | YES 407 |
| tpdb-8.0/TRS/Various_04/24.xml | YES 1132 | YES 3327 | YES 2453 | YES 1929 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | YES 6006 | YES 3151 | MAYBE 59443 | MAYBE 45701 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | YES 6529 | YES 3165 | MAYBE 59441 | MAYBE 46117 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | NO 2879 | NO 5788 | NO 504 | MAYBE 46934 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | TIMEOUT 60309 | TIMEOUT 60337 | MAYBE 13871 | MAYBE 39462 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | TIMEOUT 60282 | TIMEOUT 61042 | MAYBE 11033 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | TIMEOUT 60261 | TIMEOUT 60452 | MAYBE 7463 | MAYBE 41891 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | NO 1902 | NO 3955 | NO 504 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | TIMEOUT 60301 | TIMEOUT 60688 | MAYBE 13998 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | YES 3906 | YES 2484 | MAYBE 7415 | MAYBE 50202 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | YES 1611 | YES 3476 | YES 1768 | YES 9407 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | YES 1490 | YES 3351 | YES 1771 | YES 15188 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | YES 1115 | YES 2311 | YES 952 | YES 4106 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | YES 1116 | YES 2329 | YES 805 | YES 3734 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | YES 933 | YES 2397 | YES 678 | YES 9753 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | YES 1189 | YES 2359 | YES 1774 | YES 6733 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | YES 1140 | YES 2325 | YES 862 | YES 7711 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | YES 1125 | YES 2364 | YES 939 | YES 5850 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | YES 1191 | YES 2354 | YES 902 | YES 6862 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | YES 1056 | YES 2444 | YES 1187 | YES 8979 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | YES 1220 | YES 2382 | YES 928 | YES 4904 |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | YES 1256 | YES 2374 | YES 1215 | YES 9402 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | YES 978 | YES 2379 | YES 961 | YES 12484 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | YES 2234 | TIMEOUT 60520 | MAYBE 42866 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Zantema_05/z08.xml | YES 1114 | YES 3294 | YES 1255 | YES 30221 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | YES 1180 | TIMEOUT 60757 | MAYBE 59437 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | YES 1053 | TIMEOUT 60653 | MAYBE 59439 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | YES 1048 | TIMEOUT 60813 | MAYBE 59430 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | TIMEOUT 60471 | TIMEOUT 60916 | MAYBE 59459 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Zantema_05/z22.xml | YES 13735 | YES 28423 | MAYBE 59454 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | YES 1173 | YES 3377 | MAYBE 11797 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | YES 13052 | YES 7460 | MAYBE 7416 | MAYBE 9915 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | YES 1815 | YES 15573 | MAYBE 29462 | MAYBE 36234 |
| tpdb-8.0/TRS/Zantema_05/z30.xml | YES 1464 | TIMEOUT 61189 | MAYBE 59465 | TIMEOUT 60050 | 376 | 307 | 257 | 168 |