| benchmark | AProVE | Julia13 |
|---|---|---|
| tpdb-8.0/JBC/Aprove_09/LessLeaves.jar | TIMEOUT 60332 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Aprove_09/McCarthyIterative.jar | YES 2510 | MAYBE 3355 |
| tpdb-8.0/JBC/Aprove_09/MirrorTree.jar | YES 9755 | MAYBE 5668 |
| tpdb-8.0/JBC/Aprove_09/Mod.jar | YES 3064 | YES 26957 |
| tpdb-8.0/JBC/Aprove_09/PastaA7.jar | YES 2559 | YES 3106 |
| tpdb-8.0/JBC/Aprove_09/PastaB10.jar | YES 3028 | YES 4208 |
| tpdb-8.0/JBC/Aprove_09/PastaB12.jar | YES 2728 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Aprove_09/PastaB2.jar | YES 2982 | YES 2894 |
| tpdb-8.0/JBC/Aprove_09/PastaB7.jar | YES 2447 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Aprove_09/PastaC5.jar | YES 2639 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Aprove_09/PlusSwap.jar | YES 2422 | YES 3131 |
| tpdb-8.0/JBC/Aprove_09/StupidArray.jar | YES 2429 | YES 2967 |
| tpdb-8.0/JBC/AProVE_10/ArrayClasses.jar | YES 1673 | MAYBE 1444 |
| tpdb-8.0/JBC/AProVE_10/CyclicList.jar | YES 2664 | YES 27434 |
| tpdb-8.0/JBC/AProVE_10/CyclicPair2.jar | YES 1610 | MAYBE 3489 |
| tpdb-8.0/JBC/AProVE_10/CyclicPair.jar | YES 1593 | TIMEOUT 60036 |
| tpdb-8.0/JBC/AProVE_10/FlattenRTA.jar | YES 11261 | TIMEOUT 60039 |
| tpdb-8.0/JBC/AProVE_10/IntPath.jar | YES 1558 | YES 4175 |
| tpdb-8.0/JBC/AProVE_10/NestedLoop.jar | YES 4909 | TIMEOUT 60037 |
| tpdb-8.0/JBC/AProVE_10/SharingPair.jar | YES 1855 | MAYBE 6240 |
| tpdb-8.0/JBC/AProVE_10/TypeSwitch.jar | YES 1606 | TIMEOUT 60037 |
| tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce2.jar | YES 3342 | MAYBE 4123 |
| tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce.jar | YES 4356 | MAYBE 4817 |
| tpdb-8.0/JBC/AProVE_11_iterative/ArrayObjects.jar | YES 1502 | MAYBE 4280 |
| tpdb-8.0/JBC/AProVE_11_iterative/ClassAnalysis.jar | YES 2276 | MAYBE 3729 |
| tpdb-8.0/JBC/AProVE_11_iterative/CyclicAnalysis.jar | YES 3073 | MAYBE 4455 |
| tpdb-8.0/JBC/AProVE_11_iterative/RetVal.jar | YES 1603 | MAYBE 3354 |
| tpdb-8.0/JBC/AProVE_11_iterative/SharingAnalysis.jar | YES 2774 | TIMEOUT 60037 |
| tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostDepth.jar | YES 8380 | MAYBE 4812 |
| tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostPath.jar | YES 8006 | MAYBE 5338 |
| tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Iterate.jar | YES 2717 | MAYBE 5111 |
| tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Length.jar | YES 2737 | MAYBE 26986 |
| tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Visit.jar | YES 3113 | TIMEOUT 60039 |
| tpdb-8.0/JBC/BMOG_CAV_12/ListReverseAcyclicList.jar | YES 2557 | MAYBE 28529 |
| tpdb-8.0/JBC/BMOG_CAV_12/ListReverseCyclicList.jar | YES 3662 | TIMEOUT 60037 |
| tpdb-8.0/JBC/BMOG_CAV_12/ListReversePanhandleList.jar | YES 3892 | TIMEOUT 60039 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/LoopingNonterm.jar | NO 2134 | NO 3368 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex05.jar | NO 1633 | TIMEOUT 60037 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-marbie2.jar | NO 1704 | TIMEOUT 60038 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-moduloLower.jar | NO 1735 | MAYBE 4369 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-plait.jar | NO 5378 | TIMEOUT 60038 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-twoFloatInterv.jar | NO 2109 | MAYBE 3214 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileIncr.jar | NO 1814 | NO 3162 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileIncrPart.jar | NO 1963 | TIMEOUT 60037 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileSingle.jar | NO 1698 | NO 3378 |
| tpdb-8.0/JBC/Costa_Julia_09/BubbleSort.jar | YES 5139 | YES 4810 |
| tpdb-8.0/JBC/Costa_Julia_09/Continue.jar | NO 1585 | NO 3271 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_3.jar | YES 1539 | YES 3108 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc2.jar | NO 1995 | MAYBE 25425 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc3.jar | YES 1847 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc5.jar | YES 1836 | YES 25924 |
| tpdb-8.0/JBC/Costa_Julia_09/KnapsackDP.jar | YES 29536 | YES 21610 |
| tpdb-8.0/JBC/Costa_Julia_09/Nested.jar | YES 1991 | YES 25830 |
| tpdb-8.0/JBC/Costa_Julia_09/Sequence.jar | YES 1864 | YES 24376 |
| tpdb-8.0/JBC/Fuhs_13/Kernel68.jar | YES 8047 | MAYBE 28868 |
| tpdb-8.0/JBC/Fuhs_13/Kernel88.jar | YES 4569 | MAYBE 28290 |
| tpdb-8.0/JBC/Fuhs_13/Kernel93.jar | YES 7763 | MAYBE 30390 |
| tpdb-8.0/JBC/Fuhs_13/Kernel95.jar | YES 5007 | MAYBE 29045 |
| tpdb-8.0/JBC/Fuhs_13/MultiLasso.jar | TIMEOUT 60412 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Fuhs_13/RandomHard.jar | MAYBE 14535 | MAYBE 6293 |
| tpdb-8.0/JBC/Fuhs_13/UnionFindIterative.jar | TIMEOUT 60345 | MAYBE 5782 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateEquals.jar | MAYBE 10781 | MAYBE 29823 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateAdd.jar | YES 13091 | YES 5985 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateIndexOf.jar | YES 31142 | MAYBE 17169 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateOfferFirst.jar | YES 12896 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePoll.jar | YES 12587 | YES 6345 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePollLast.jar | YES 14896 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePop.jar | YES 12695 | YES 6401 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveAt.jar | YES 20016 | YES 6757 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveFirstOccurrence.jar | YES 29091 | MAYBE 7072 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveRange.jar | YES 38976 | YES 20770 |
| tpdb-8.0/JBC/Julia_10_Iterative/Gauss.jar | TIMEOUT 60611 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Julia_10_Iterative/Graph.jar | TIMEOUT 60493 | TIMEOUT 60036 |
| tpdb-8.0/JBC/Julia_10_Iterative/Infix2Postfix.jar | YES 20254 | YES 35308 |
| tpdb-8.0/JBC/Julia_10_Iterative/Iterations.jar | YES 6054 | YES 31082 |
| tpdb-8.0/JBC/Julia_10_Iterative/RSA.jar | YES 18571 | YES 33981 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test2.jar | YES 3537 | TIMEOUT 60039 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test7.jar | YES 7785 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test9.jar | YES 3315 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Julia_10_Iterative/TriTas.jar | YES 12480 | YES 35168 |
| tpdb-8.0/JBC/Julia_11_iterative/Choose.jar | NO 1919 | NO 13681 |
| tpdb-8.0/JBC/Julia_11_iterative/Distances.jar | TIMEOUT 60644 | TIMEOUT 60039 |
| tpdb-8.0/JBC/Julia_11_iterative/Loop.jar | NO 1631 | NO 4229 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_04.jar | NO 1990 | NO 5942 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_05.jar | NO 15206 | MAYBE 25479 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_12.jar | NO 2094 | NO 3274 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_13.jar | NO 5890 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_21.jar | NO 1598 | NO 3251 |
| tpdb-8.0/JBC/Julia_11_iterative/Swingers.jar | NO 1724 | NO 3318 |
| tpdb-8.0/JBC/Julia_12_iterative/Et1.jar | YES 2558 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Julia_12_iterative/Et2.jar | YES 5546 | YES 3130 |
| tpdb-8.0/JBC/Julia_12_iterative/Et3.jar | YES 3221 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Julia_12_iterative/Et4.jar | YES 6482 | YES 3316 |
| tpdb-8.0/JBC/Julia_12_iterative/Et5.jar | YES 11505 | TIMEOUT 60036 |
| tpdb-8.0/JBC/Julia_12_iterative/Et6.jar | TIMEOUT 60697 | YES 7691 | 86 | 36 |