| benchmark | AProVE | Julia-11a |
|---|---|---|
| tpdb-8.0/JBC/Aprove_09/Convert.jar | YES 7453 | YES 2700 |
| tpdb-8.0/JBC/Aprove_09/CountMetaList.jar | YES 7635 | MAYBE 4391 |
| tpdb-8.0/JBC/Aprove_09/LessLeaves.jar | YES 21694 | MAYBE 3331 |
| tpdb-8.0/JBC/Aprove_09/ListContent.jar | YES 2909 | YES 2556 |
| tpdb-8.0/JBC/Aprove_09/LogBuiltIn.jar | YES 2322 | YES 1986 |
| tpdb-8.0/JBC/Aprove_09/MinusMin.jar | YES 2557 | YES 2004 |
| tpdb-8.0/JBC/Aprove_09/Mod.jar | YES 4317 | YES 2372 |
| tpdb-8.0/JBC/Aprove_09/PastaA1.jar | YES 2158 | YES 1965 |
| tpdb-8.0/JBC/Aprove_09/PastaA4.jar | YES 1947 | YES 1901 |
| tpdb-8.0/JBC/Aprove_09/PastaB10.jar | YES 2143 | YES 1938 |
| tpdb-8.0/JBC/Aprove_09/PastaB11.jar | YES 2734 | YES 2089 |
| tpdb-8.0/JBC/Aprove_09/PastaB16.jar | YES 2103 | YES 1903 |
| tpdb-8.0/JBC/Aprove_09/PastaB17.jar | YES 3212 | YES 2284 |
| tpdb-8.0/JBC/Aprove_09/PastaB1.jar | YES 1869 | YES 1902 |
| tpdb-8.0/JBC/Aprove_09/PastaB2.jar | YES 1973 | YES 1834 |
| tpdb-8.0/JBC/Aprove_09/PastaB4.jar | YES 2014 | YES 1844 |
| tpdb-8.0/JBC/Aprove_09/PastaB6.jar | YES 1887 | YES 1859 |
| tpdb-8.0/JBC/Aprove_09/PastaC1.jar | YES 3382 | YES 2134 |
| tpdb-8.0/JBC/Aprove_09/PastaC7.jar | YES 3811 | YES 2096 |
| tpdb-8.0/JBC/Aprove_09/PlusSwap.jar | YES 2476 | YES 2063 |
| tpdb-8.0/JBC/Aprove_09/Samefringe.jar | YES 24973 | MAYBE 6902 |
| tpdb-8.0/JBC/Aprove_09/SortCount.jar | TIMEOUT 60450 | YES 3249 |
| tpdb-8.0/JBC/AProVE_10/ArrayClasses.jar | YES 1082 | MAYBE 2000 |
| tpdb-8.0/JBC/AProVE_10/CyclicList.jar | YES 6729 | YES 2288 |
| tpdb-8.0/JBC/AProVE_10/CyclicPair.jar | YES 1079 | MAYBE 2077 |
| tpdb-8.0/JBC/AProVE_10/DuplicateTreePath.jar | YES 18259 | YES 4061 |
| tpdb-8.0/JBC/AProVE_10/FlattenRTA.jar | YES 24077 | MAYBE 5410 |
| tpdb-8.0/JBC/AProVE_10/IntPath2.jar | YES 1071 | YES 1891 |
| tpdb-8.0/JBC/AProVE_10/IntRTA.jar | YES 2322 | MAYBE 1968 |
| tpdb-8.0/JBC/AProVE_10/NestedLoop.jar | YES 11494 | YES 2961 |
| tpdb-8.0/JBC/AProVE_10/NullPair.jar | YES 1044 | YES 1949 |
| tpdb-8.0/JBC/AProVE_10/SharingPair.jar | YES 1163 | MAYBE 2408 |
| tpdb-8.0/JBC/AProVE_10/TypeSwitch.jar | YES 1082 | MAYBE 2167 |
| tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce2.jar | YES 6018 | MAYBE 2674 |
| tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce.jar | YES 12643 | MAYBE 2804 |
| tpdb-8.0/JBC/AProVE_11_iterative/ArrayObjects.jar | YES 1003 | MAYBE 1925 |
| tpdb-8.0/JBC/AProVE_11_iterative/ArrayPrimitives.jar | YES 1177 | MAYBE 2178 |
| tpdb-8.0/JBC/AProVE_11_iterative/ClassAnalysis.jar | YES 2298 | MAYBE 2101 |
| tpdb-8.0/JBC/AProVE_11_iterative/CyclicAnalysis.jar | YES 2774 | MAYBE 2637 |
| tpdb-8.0/JBC/AProVE_11_iterative/RetVal.jar | YES 1060 | MAYBE 2016 |
| tpdb-8.0/JBC/AProVE_11_iterative/SharingAnalysis.jar | YES 6517 | MAYBE 2734 |
| tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostDepth.jar | YES 15233 | MAYBE 3805 |
| tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostPath.jar | YES 15814 | MAYBE 3970 |
| tpdb-8.0/JBC/Costa_Julia_09/Continue1.jar | YES 1055 | YES 1821 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_1.jar | YES 3358 | YES 2382 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_4.jar | YES 1999 | YES 2288 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_5.jar | MAYBE 6352 | MAYBE 1874 |
| tpdb-8.0/JBC/Costa_Julia_09/CyclicalListDuplicate.jar | TIMEOUT 60425 | MAYBE 2898 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc5.jar | YES 1200 | YES 2150 |
| tpdb-8.0/JBC/Costa_Julia_09/Init.jar | MAYBE 6287 | MAYBE 1838 |
| tpdb-8.0/JBC/Costa_Julia_09/LinkedList.jar | YES 12770 | YES 3672 |
| tpdb-8.0/JBC/Costa_Julia_09/Loop1.jar | YES 1724 | YES 1812 |
| tpdb-8.0/JBC/Costa_Julia_09/Nested.jar | YES 1602 | YES 2033 |
| tpdb-8.0/JBC/Costa_Julia_09/Sharing.jar | YES 1065 | YES 2795 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateGet.jar | YES 20815 | YES 3799 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreate.jar | YES 12713 | YES 3300 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemove.jar | YES 21890 | YES 3959 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateSize.jar | YES 12301 | YES 3601 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateToArray.jar | YES 28776 | YES 3828 |
| tpdb-8.0/JBC/Julia_10_Iterative/Carre.jar | YES 8143 | YES 3442 |
| tpdb-8.0/JBC/Julia_10_Iterative/Graph.jar | TIMEOUT 60895 | YES 18183 |
| tpdb-8.0/JBC/Julia_10_Iterative/Infix2Postfix.jar | YES 30399 | YES 7359 |
| tpdb-8.0/JBC/Julia_10_Iterative/Iterations.jar | TIMEOUT 60587 | YES 15866 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test11.jar | YES 6880 | YES 2700 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test13Loops.jar | MAYBE 6296 | MAYBE 2485 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test2.jar | YES 7453 | YES 5552 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test3.jar | YES 27085 | YES 4787 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test5.jar | YES 33069 | YES 27627 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test9.jar | YES 5996 | YES 3053 |
| tpdb-8.0/JBC/Julia_10_Iterative/TriTas.jar | YES 13881 | YES 5875 |
| tpdb-8.0/JBC/Julia_11_iterative/Choose.jar | MAYBE 30474 | NO 1783 |
| tpdb-8.0/JBC/Julia_11_iterative/Continue.jar | MAYBE 6289 | NO 1780 |
| tpdb-8.0/JBC/Julia_11_iterative/Loop.jar | MAYBE 6296 | NO 1895 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_03.jar | MAYBE 6350 | NO 1815 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_05.jar | MAYBE 6588 | NO 2593 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_10.jar | TIMEOUT 60316 | NO 1781 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_11.jar | TIMEOUT 60332 | NO 1903 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_20.jar | MAYBE 6220 | NO 1851 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_21.jar | MAYBE 6331 | NO 1917 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_22.jar | TIMEOUT 60433 | NO 1790 |
| tpdb-8.0/JBC/Julia_11_iterative/TaylorSeriesIte.jar | TIMEOUT 60997 | YES 4401 | 63 | 58 |