| benchmark | AProVE-JBC | COSTA | Julia-10 |
|---|---|---|---|
| tpdb-8.0/JBC/Aprove_09/DivMinus2.jar | YES 8473 | YES 2530 | YES 1478 |
| tpdb-8.0/JBC/Aprove_09/DivWithoutMinus.jar | YES 9028 | YES 3767 | YES 1755 |
| tpdb-8.0/JBC/Aprove_09/Duplicate.jar | YES 4025 | YES 2304 | YES 1379 |
| tpdb-8.0/JBC/Aprove_09/FlattenTree.jar | YES 21368 | TIMEOUT 60078 | MAYBE 4305 |
| tpdb-8.0/JBC/Aprove_09/GCD5.jar | YES 16218 | MAYBE 6723 | YES 1601 |
| tpdb-8.0/JBC/Aprove_09/GCD.jar | TIMEOUT 60582 | MAYBE 7093 | MAYBE 1501 |
| tpdb-8.0/JBC/Aprove_09/LessLeaves.jar | YES 41158 | MAYBE 32970 | MAYBE 2491 |
| tpdb-8.0/JBC/Aprove_09/ListContentTail.jar | TIMEOUT 60846 | YES 3163 | YES 1894 |
| tpdb-8.0/JBC/Aprove_09/LogMult.jar | TIMEOUT 60368 | MAYBE 6399 | YES 1499 |
| tpdb-8.0/JBC/Aprove_09/McCarthyIterative.jar | TIMEOUT 60577 | MAYBE 7033 | MAYBE 1580 |
| tpdb-8.0/JBC/Aprove_09/PastaA4.jar | YES 2599 | YES 2242 | YES 1546 |
| tpdb-8.0/JBC/Aprove_09/PastaA7.jar | YES 3320 | YES 2273 | YES 1375 |
| tpdb-8.0/JBC/Aprove_09/PastaB15.jar | YES 7211 | YES 2376 | YES 1426 |
| tpdb-8.0/JBC/Aprove_09/PastaB16.jar | YES 4061 | YES 2274 | YES 1484 |
| tpdb-8.0/JBC/Aprove_09/PastaB3.jar | YES 3584 | YES 4345 | YES 1443 |
| tpdb-8.0/JBC/Aprove_09/PastaC10.jar | YES 9200 | YES 2355 | YES 1427 |
| tpdb-8.0/JBC/Aprove_09/PastaC1.jar | YES 9505 | YES 4416 | YES 1477 |
| tpdb-8.0/JBC/Aprove_09/PastaC2.jar | YES 3994 | YES 2203 | YES 1538 |
| tpdb-8.0/JBC/Aprove_09/PastaC9.jar | YES 9593 | YES 2479 | YES 1428 |
| tpdb-8.0/JBC/Aprove_09/RunningPointers.jar | YES 3367 | YES 5151 | YES 1804 |
| tpdb-8.0/JBC/Aprove_09/Samefringe.jar | YES 45583 | MAYBE 29975 | MAYBE 4819 |
| tpdb-8.0/JBC/Aprove_09/SortCount.jar | TIMEOUT 60622 | MAYBE 14452 | MAYBE 2441 |
| tpdb-8.0/JBC/AProVE_10/AG313.jar | YES 4061 | YES 2068 | YES 1367 |
| tpdb-8.0/JBC/AProVE_10/CyclicList.jar | YES 6270 | YES 2496 | YES 1677 |
| tpdb-8.0/JBC/AProVE_10/CyclicPair.jar | YES 1956 | MAYBE 9370 | MAYBE 1523 |
| tpdb-8.0/JBC/AProVE_10/FlattenRTA.jar | TIMEOUT 60840 | TIMEOUT 60077 | MAYBE 4278 |
| tpdb-8.0/JBC/AProVE_10/IntPath2.jar | YES 1830 | MAYBE 7030 | YES 1374 |
| tpdb-8.0/JBC/AProVE_10/IntPath.jar | YES 1893 | MAYBE 6343 | MAYBE 1362 |
| tpdb-8.0/JBC/AProVE_10/IntRTA.jar | YES 2813 | YES 6823 | MAYBE 1420 |
| tpdb-8.0/JBC/AProVE_10/NestedLoop.jar | YES 40403 | YES 3364 | YES 2207 |
| tpdb-8.0/JBC/AProVE_10/SharingPair.jar | YES 1942 | MAYBE 21276 | MAYBE 1882 |
| tpdb-8.0/JBC/AProVE_10/TypeSwitch.jar | YES 1832 | MAYBE 7526 | MAYBE 1577 |
| tpdb-8.0/JBC/Costa_Julia_09/Break.jar | YES 1773 | YES 592 | YES 1219 |
| tpdb-8.0/JBC/Costa_Julia_09/BubbleSort.jar | YES 12651 | YES 1500 | YES 1739 |
| tpdb-8.0/JBC/Costa_Julia_09/Continue.jar | MAYBE 49192 | MAYBE 1450 | MAYBE 1446 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_1.jar | YES 3558 | YES 2544 | YES 1813 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_4.jar | YES 2099 | YES 2312 | YES 1805 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc1.jar | MAYBE 56397 | MAYBE 1711 | MAYBE 1334 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc5.jar | YES 1950 | YES 666 | YES 1329 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc.jar | YES 1827 | YES 705 | YES 1378 |
| tpdb-8.0/JBC/Costa_Julia_09/Init.jar | MAYBE 49287 | MAYBE 6312 | MAYBE 1446 |
| tpdb-8.0/JBC/Costa_Julia_09/LinkedList.jar | YES 16549 | MAYBE 17661 | YES 2944 |
| tpdb-8.0/JBC/Julia_10_Iterative/Carre.jar | YES 13588 | YES 13124 | YES 2312 |
| tpdb-8.0/JBC/Julia_10_Iterative/Gauss.jar | YES 2225 | TIMEOUT 60118 | YES 8288 |
| tpdb-8.0/JBC/Julia_10_Iterative/Graph.jar | TIMEOUT 60652 | TIMEOUT 60130 | YES 8343 |
| tpdb-8.0/JBC/Julia_10_Iterative/Infix2Postfix.jar | TIMEOUT 60662 | YES 19677 | YES 6004 |
| tpdb-8.0/JBC/Julia_10_Iterative/RSA.jar | TIMEOUT 60671 | TIMEOUT 60103 | YES 14440 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test13Loops.jar | MAYBE 54927 | YES 1644 | MAYBE 1802 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test2.jar | YES 13283 | YES 904 | YES 19227 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test3.jar | TIMEOUT 60717 | YES 14999 | YES 3620 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test5.jar | TIMEOUT 60484 | YES 37842 | YES 3931 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test7.jar | TIMEOUT 60658 | MAYBE 15833 | YES 2372 | 36 | 30 | 36 |