| benchmark | AProVE | COSTA | Julia-09 |
|---|---|---|---|
| tpdb-8.0/JBC/Costa_Julia_09-recursive/BinarySearchTree.jar | YES 2378 | YES 4162 | YES 2208 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Domino.jar | YES 8066 | TIMEOUT 60204 | YES 13130 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double3.jar | TIMEOUT 60506 | YES 1528 | YES 1854 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Factorial.jar | YES 2069 | YES 1519 | YES 1792 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSumList.jar | YES 1849 | YES 2208 | YES 1853 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Hanoi.jar | YES 3401 | YES 1732 | YES 2155 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/List.jar | YES 2657 | MAYBE 10901 | YES 3146 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/MysteriousProgram.jar | TIMEOUT 60496 | TIMEOUT 60216 | YES 2990 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Queen.jar | TIMEOUT 60554 | YES 20361 | YES 3560 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia6.jar | MAYBE 7048 | YES 1608 | MAYBE 1691 | 6 | 7 | 9 |