| benchmark | AProVE-JBC | COSTA | Julia-10 |
|---|---|---|---|
| tpdb-8.0/JBC/Costa_Julia_09-recursive/BinarySearchTree.jar | YES 1957 | YES 3468 | YES 1797 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Domino.jar | TIMEOUT 61012 | TIMEOUT 60082 | YES 11316 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double2.jar | YES 29803 | YES 610 | YES 1326 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Factorial.jar | YES 1829 | YES 609 | YES 1482 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSum.jar | YES 2169 | YES 663 | YES 1427 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSumList.jar | YES 1830 | YES 879 | YES 1536 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Hanoi.jar | YES 2015 | YES 830 | YES 1585 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/ListInt.jar | YES 1981 | YES 4046 | YES 2624 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/List.jar | YES 2005 | YES 5931 | YES 2899 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia7.jar | TIMEOUT 61146 | MAYBE 2238 | MAYBE 1547 |
| tpdb-8.0/JBC/Julia_10_Recursive/AckR.jar | TIMEOUT 60531 | YES 3383 | YES 1437 |
| tpdb-8.0/JBC/Julia_10_Recursive/BTreeR.jar | TIMEOUT 60628 | YES 2779 | YES 1743 |
| tpdb-8.0/JBC/Julia_10_Recursive/Power.jar | TIMEOUT 60608 | YES 3757 | YES 1923 |
| tpdb-8.0/JBC/Julia_10_Recursive/Sudoku.jar | YES 5029 | TIMEOUT 60116 | YES 6533 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test10.jar | TIMEOUT 60566 | MAYBE 1721 | YES 1429 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test1.jar | TIMEOUT 60618 | YES 813 | YES 1740 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test4.jar | TIMEOUT 60642 | YES 21282 | YES 3195 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test6.jar | TIMEOUT 60680 | TIMEOUT 60137 | YES 3220 |
| tpdb-8.0/JBC/Julia_10_Recursive/TicTacToe.jar | MAYBE 53312 | TIMEOUT 60082 | YES 29470 |
| tpdb-8.0/JBC/Julia_10_Recursive/WorkingSignals.jar | TIMEOUT 60748 | YES 48255 | YES 16199 | 9 | 14 | 19 |