| benchmark | AProVE | COSTA | Julia-09 |
|---|---|---|---|
| tpdb-8.0/JBC/Aprove_09/Count.jar | YES 46485 | MAYBE 29927 | MAYBE 3560 |
| tpdb-8.0/JBC/Aprove_09/Duplicate.jar | YES 3820 | YES 2487 | YES 1901 |
| tpdb-8.0/JBC/Aprove_09/GCD2.jar | YES 29931 | MAYBE 6193 | MAYBE 1950 |
| tpdb-8.0/JBC/Aprove_09/GCD3.jar | YES 7754 | MAYBE 6164 | MAYBE 1906 |
| tpdb-8.0/JBC/Aprove_09/GCD4.jar | YES 7778 | MAYBE 6088 | MAYBE 1898 |
| tpdb-8.0/JBC/Aprove_09/GCD.jar | TIMEOUT 60518 | MAYBE 6369 | MAYBE 1897 |
| tpdb-8.0/JBC/Aprove_09/LogBuiltIn.jar | YES 3733 | YES 2525 | YES 1740 |
| tpdb-8.0/JBC/Aprove_09/LogIterative.jar | YES 7748 | MAYBE 6005 | YES 1898 |
| tpdb-8.0/JBC/Aprove_09/LogMult.jar | TIMEOUT 60366 | MAYBE 5779 | MAYBE 1799 |
| tpdb-8.0/JBC/Aprove_09/McCarthyIterative.jar | TIMEOUT 60901 | MAYBE 6228 | MAYBE 1855 |
| tpdb-8.0/JBC/Aprove_09/MinusBuiltIn.jar | YES 2974 | YES 2491 | YES 1745 |
| tpdb-8.0/JBC/Aprove_09/MinusMin.jar | YES 6494 | MAYBE 5863 | YES 1896 |
| tpdb-8.0/JBC/Aprove_09/MinusUserDefined.jar | TIMEOUT 60426 | MAYBE 6028 | MAYBE 1949 |
| tpdb-8.0/JBC/Aprove_09/Overflow.jar | YES 2866 | YES 2442 | MAYBE 1690 |
| tpdb-8.0/JBC/Aprove_09/PastaB10.jar | YES 5462 | YES 2539 | YES 1841 |
| tpdb-8.0/JBC/Aprove_09/PastaB12.jar | YES 4067 | YES 2638 | YES 1844 |
| tpdb-8.0/JBC/Aprove_09/PastaB17.jar | YES 60114 | YES 2521 | YES 1951 |
| tpdb-8.0/JBC/Aprove_09/PastaB18.jar | YES 11272 | YES 2583 | YES 1999 |
| tpdb-8.0/JBC/Aprove_09/PastaB2.jar | YES 3114 | YES 2472 | YES 1747 |
| tpdb-8.0/JBC/Aprove_09/PastaB5.jar | YES 3353 | YES 2459 | YES 1755 |
| tpdb-8.0/JBC/Aprove_09/PastaB8.jar | YES 6267 | YES 4230 | YES 1793 |
| tpdb-8.0/JBC/Aprove_09/SortCount.jar | TIMEOUT 60479 | MAYBE 9978 | MAYBE 2529 |
| tpdb-8.0/JBC/Costa_Julia_09/Break.jar | YES 1954 | YES 1503 | YES 1586 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_1.jar | YES 3477 | YES 3841 | YES 2418 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_2.jar | YES 3588 | YES 2046 | YES 1845 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_3.jar | YES 2135 | YES 4197 | YES 1690 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_5.jar | MAYBE 4084 | MAYBE 7411 | MAYBE 1750 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc1.jar | MAYBE 35469 | MAYBE 3065 | MAYBE 1691 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc2.jar | MAYBE 47002 | MAYBE 2865 | MAYBE 1688 |
| tpdb-8.0/JBC/Costa_Julia_09/Init.jar | MAYBE 2572 | MAYBE 5617 | MAYBE 1645 |
| tpdb-8.0/JBC/Costa_Julia_09/LinkedList.jar | YES 26550 | MAYBE 22076 | YES 3249 |
| tpdb-8.0/JBC/Costa_Julia_09/Sharing.jar | YES 2080 | YES 2630 | YES 2053 | 23 | 16 | 18 |