| benchmark | AProVE | Julia-12a |
|---|---|---|
| tpdb-8.0/JBC/Aprove_09/Collatz.jar | TIMEOUT 60499 | MAYBE 2773 |
| tpdb-8.0/JBC/Aprove_09/DivMinus2.jar | YES 2578 | YES 2695 |
| tpdb-8.0/JBC/Aprove_09/DuplicateNodes.jar | YES 10486 | YES 5550 |
| tpdb-8.0/JBC/Aprove_09/GCD2.jar | YES 2382 | MAYBE 2578 |
| tpdb-8.0/JBC/Aprove_09/ListContentTail.jar | YES 3768 | YES 3594 |
| tpdb-8.0/JBC/Aprove_09/ListDuplicate.jar | YES 2708 | YES 4038 |
| tpdb-8.0/JBC/Aprove_09/LogBuiltIn.jar | YES 1867 | YES 2653 |
| tpdb-8.0/JBC/Aprove_09/MinusBuiltIn.jar | YES 2231 | YES 2486 |
| tpdb-8.0/JBC/Aprove_09/Overflow.jar | YES 1874 | MAYBE 2438 |
| tpdb-8.0/JBC/Aprove_09/PastaA6.jar | YES 2010 | YES 2417 |
| tpdb-8.0/JBC/Aprove_09/PastaA9.jar | YES 2220 | YES 2448 |
| tpdb-8.0/JBC/Aprove_09/PastaB11.jar | YES 2458 | YES 2659 |
| tpdb-8.0/JBC/Aprove_09/PastaB12.jar | YES 2068 | YES 2570 |
| tpdb-8.0/JBC/Aprove_09/PastaB14.jar | YES 2036 | YES 2703 |
| tpdb-8.0/JBC/Aprove_09/PastaB1.jar | YES 1880 | YES 2430 |
| tpdb-8.0/JBC/Aprove_09/PastaC10.jar | YES 3382 | YES 4449 |
| tpdb-8.0/JBC/Aprove_09/PastaC2.jar | YES 2093 | YES 2693 |
| tpdb-8.0/JBC/Aprove_09/PastaC9.jar | YES 2990 | YES 2669 |
| tpdb-8.0/JBC/Aprove_09/Round3.jar | YES 3607 | MAYBE 2577 |
| tpdb-8.0/JBC/Aprove_09/Samefringe.jar | YES 11128 | MAYBE 6847 |
| tpdb-8.0/JBC/Aprove_09/SortCount.jar | TIMEOUT 60501 | YES 4625 |
| tpdb-8.0/JBC/Aprove_09/Take.jar | YES 2285 | YES 2880 |
| tpdb-8.0/JBC/AProVE_10/ArrayClasses.jar | YES 1323 | MAYBE 2647 |
| tpdb-8.0/JBC/AProVE_10/CyclicPair2.jar | YES 1289 | MAYBE 2967 |
| tpdb-8.0/JBC/AProVE_10/CyclicPair.jar | YES 1255 | MAYBE 2716 |
| tpdb-8.0/JBC/AProVE_10/DuplicateTreePath.jar | YES 8373 | YES 5558 |
| tpdb-8.0/JBC/AProVE_10/FlattenRTA.jar | YES 9719 | MAYBE 6978 |
| tpdb-8.0/JBC/AProVE_10/IntPath2.jar | YES 1293 | YES 2451 |
| tpdb-8.0/JBC/AProVE_10/IntRTA.jar | YES 2097 | MAYBE 2628 |
| tpdb-8.0/JBC/AProVE_10/NestedLoop.jar | YES 3884 | YES 3962 |
| tpdb-8.0/JBC/AProVE_10/NullPair.jar | YES 1272 | YES 2508 |
| tpdb-8.0/JBC/AProVE_10/SharingPair.jar | YES 2172 | MAYBE 3290 |
| tpdb-8.0/JBC/AProVE_10/TypeSwitch.jar | YES 1277 | MAYBE 2981 |
| tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce2.jar | YES 2456 | MAYBE 3426 |
| tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce.jar | YES 3301 | MAYBE 3981 |
| tpdb-8.0/JBC/AProVE_11_iterative/ArrayObjects.jar | YES 1212 | MAYBE 2591 |
| tpdb-8.0/JBC/AProVE_11_iterative/ArrayPrimitives.jar | YES 1392 | MAYBE 2730 |
| tpdb-8.0/JBC/AProVE_11_iterative/ClassAnalysis.jar | YES 2166 | MAYBE 2915 |
| tpdb-8.0/JBC/AProVE_11_iterative/CyclicAnalysis.jar | YES 2673 | MAYBE 3448 |
| tpdb-8.0/JBC/AProVE_11_iterative/RetVal.jar | YES 1250 | MAYBE 2616 |
| tpdb-8.0/JBC/AProVE_11_iterative/SharingAnalysis.jar | YES 2513 | MAYBE 3293 |
| tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostDepth.jar | YES 7445 | MAYBE 4915 |
| tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostPath.jar | YES 7727 | MAYBE 5347 |
| tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Iterate.jar | YES 2340 | MAYBE 3056 |
| tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Length.jar | YES 2357 | MAYBE 26288 |
| tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Visit.jar | YES 2790 | MAYBE 3221 |
| tpdb-8.0/JBC/BMOG_CAV_12/ListReverseAcyclicList.jar | YES 1996 | MAYBE 23731 |
| tpdb-8.0/JBC/BMOG_CAV_12/ListReverseCyclicList.jar | YES 2521 | MAYBE 23454 |
| tpdb-8.0/JBC/BMOG_CAV_12/ListReversePanhandleList.jar | YES 3335 | MAYBE 24416 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-alternatingIncr.jar | NO 1523 | MAYBE 2618 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-alternDiv.jar | NO 1520 | NO 3086 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-alternKonv.jar | NO 1689 | NO 3470 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-complInterv2.jar | NO 1311 | NO 3582 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-complInterv3.jar | NO 1446 | NO 3344 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-cousot.jar | NO 1924 | NO 2883 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-doubleNeg.jar | TIMEOUT 61186 | MAYBE 3691 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-even.jar | NO 2061 | MAYBE 2682 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex02.jar | NO 1332 | NO 2624 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex08.jar | NO 1966 | MAYBE 26306 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex09half.jar | NO 1474 | MAYBE 2517 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-narrowing.jar | NO 12705 | MAYBE 29986 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-plait.jar | NO 4084 | MAYBE 6130 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileBreak.jar | NO 1847 | NO 2672 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileDecr.jar | YES 1618 | YES 27197 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileNestedOffset.jar | NO 2075 | NO 3028 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileSum.jar | NO 1911 | MAYBE 2951 |
| tpdb-8.0/JBC/Costa_Julia_09/Break.jar | YES 1145 | YES 24691 |
| tpdb-8.0/JBC/Costa_Julia_09/Continue1.jar | YES 1198 | YES 23833 |
| tpdb-8.0/JBC/Costa_Julia_09/Continue.jar | NO 1231 | NO 2538 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_2.jar | YES 1788 | YES 3069 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_5.jar | NO 1416 | MAYBE 2454 |
| tpdb-8.0/JBC/Costa_Julia_09/Diff.jar | YES 5973 | YES 4817 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc3.jar | YES 1365 | YES 25075 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc.jar | YES 1166 | YES 26246 |
| tpdb-8.0/JBC/Costa_Julia_09/Init.jar | NO 1342 | NO 2513 |
| tpdb-8.0/JBC/Costa_Julia_09/Loop1.jar | YES 1709 | YES 29753 |
| tpdb-8.0/JBC/Costa_Julia_09/Sharing.jar | YES 1233 | YES 4162 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateContainsValue.jar | YES 19430 | MAYBE 17191 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateGet.jar | YES 19064 | MAYBE 17168 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateHashCode.jar | MAYBE 9381 | MAYBE 16966 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateIsEmpty.jar | YES 16157 | MAYBE 15019 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateIteratorEntryLoop.jar | YES 47406 | MAYBE 16764 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateAddAllAt.jar | YES 59124 | MAYBE 8645 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateAddFirst.jar | YES 12418 | YES 5080 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateDescendingIteratorLoop.jar | YES 22574 | MAYBE 6986 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateIteratorLoop.jar | YES 19386 | MAYBE 7088 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateOfferFirst.jar | YES 12234 | YES 4834 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateOffer.jar | YES 11977 | YES 4972 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateOfferLast.jar | YES 11639 | YES 4842 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePeekLast.jar | YES 9010 | YES 4808 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePoll.jar | YES 12728 | YES 5110 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveAll.jar | TIMEOUT 60458 | MAYBE 9114 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveAt.jar | YES 24319 | YES 5464 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemove.jar | YES 15666 | YES 5390 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRetainAll.jar | TIMEOUT 60502 | MAYBE 8956 |
| tpdb-8.0/JBC/Julia_10_Iterative/Carre.jar | YES 4973 | YES 4820 |
| tpdb-8.0/JBC/Julia_10_Iterative/Gauss.jar | TIMEOUT 60571 | YES 21039 |
| tpdb-8.0/JBC/Julia_10_Iterative/Graph.jar | TIMEOUT 60584 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Julia_10_Iterative/Infix2Postfix.jar | YES 11977 | YES 35033 |
| tpdb-8.0/JBC/Julia_10_Iterative/NonPeriodic.jar | YES 1192 | YES 22631 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test11.jar | YES 5935 | YES 3928 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test2.jar | YES 2686 | YES 20878 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test3.jar | YES 8467 | YES 7632 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test5.jar | YES 5719 | YES 33112 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test9.jar | YES 2257 | YES 4167 |
| tpdb-8.0/JBC/Julia_10_Iterative/TriTas.jar | YES 14522 | YES 7529 |
| tpdb-8.0/JBC/Julia_11_iterative/Choose.jar | NO 1566 | NO 18147 |
| tpdb-8.0/JBC/Julia_11_iterative/Continue.jar | NO 1216 | NO 2538 |
| tpdb-8.0/JBC/Julia_11_iterative/Loop.jar | NO 1287 | NO 2501 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_00.jar | NO 1228 | NO 2676 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_01.jar | NO 1295 | NO 2825 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_02.jar | NO 1252 | NO 2529 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_04.jar | NO 1578 | NO 5405 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_21.jar | NO 1243 | NO 2425 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_23.jar | NO 3159 | NO 2634 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_24.jar | NO 1481 | NO 2683 |
| tpdb-8.0/JBC/Julia_11_iterative/TaylorSeriesIte.jar | YES 5909 | YES 5575 |
| tpdb-8.0/JBC/Julia_12_iterative/Et1.jar | YES 2188 | YES 2472 |
| tpdb-8.0/JBC/Julia_12_iterative/Et2.jar | YES 24548 | YES 2601 |
| tpdb-8.0/JBC/Julia_12_iterative/Et3.jar | TIMEOUT 61613 | YES 2531 |
| tpdb-8.0/JBC/Julia_12_iterative/Et4.jar | YES 38966 | YES 2757 |
| tpdb-8.0/JBC/Julia_12_iterative/Et5.jar | TIMEOUT 60930 | YES 3832 |
| tpdb-8.0/JBC/Julia_12_iterative/Et6.jar | TIMEOUT 60930 | YES 4631 | 112 | 75 |