| Java_Bytecode/AProVE_10_iterative/AG313.jar
|
YES
5.0 /
3.3
|
YES
12.7 /
8.2
|
|
|
| Java_Bytecode/AProVE_10_iterative/ArrayClasses.jar
|
YES
3.1 /
2.0
|
YES
12.7 /
7.7
|
|
|
| Java_Bytecode/AProVE_10_iterative/CyclicList.jar
|
YES
6.3 /
2.9
|
.
11.2 /
7.9
|
|
|
| Java_Bytecode/AProVE_10_iterative/CyclicPair.jar
|
YES
3.0 /
1.9
|
.
12.2 /
13.8
|
|
|
| Java_Bytecode/AProVE_10_iterative/CyclicPair2.jar
|
YES
3.2 /
2.1
|
.
10.6 /
5.5
|
|
|
| Bytecode/AProVE_10_iterative/DuplicateTreePath.jar
|
YES
18.4 /
7.8
|
.
11.1 /
8.3
|
|
|
| Java_Bytecode/AProVE_10_iterative/FlattenRTA.jar
|
YES
23.8 /
15.7
|
.
10.8 /
5.7
|
|
|
| Java_Bytecode/AProVE_10_iterative/IntPath.jar
|
YES
3.0 /
2.5
|
YES
12.1 /
6.3
|
|
|
| Java_Bytecode/AProVE_10_iterative/IntPath2.jar
|
YES
2.9 /
4.4
|
.
12.5 /
8.8
|
|
|
| Java_Bytecode/AProVE_10_iterative/IntRTA.jar
|
YES
5.1 /
3.8
|
.
10.7 /
13.1
|
|
|
| Java_Bytecode/AProVE_10_iterative/NestedLoop.jar
|
YES
10.5 /
7.3
|
.
12.7 /
16.9
|
|
|
| Java_Bytecode/AProVE_10_iterative/NullPair.jar
|
YES
3.1 /
2.0
|
YES
14.2 /
16.4
|
|
|
| Java_Bytecode/AProVE_10_iterative/SharingPair.jar
|
YES
3.3 /
2.0
|
.
11.1 /
12.1
|
|
|
| Java_Bytecode/AProVE_10_iterative/TypeSwitch.jar
|
YES
3.0 /
2.6
|
YES
12.6 /
9.2
|
|
|
| code/AProVE_11_iterative/AlternatingGrowReduce.jar
|
YES
9.8 /
6.5
|
.
11.0 /
7.1
|
|
|
| ode/AProVE_11_iterative/AlternatingGrowReduce2.jar
|
YES
7.3 /
8.1
|
.
10.6 /
7.0
|
|
|
| Java_Bytecode/AProVE_11_iterative/ArrayObjects.jar
|
YES
2.7 /
2.4
|
YES
12.4 /
8.8
|
|
|
| a_Bytecode/AProVE_11_iterative/ArrayPrimitives.jar
|
YES
3.3 /
2.1
|
YES
12.8 /
7.0
|
|
|
| ava_Bytecode/AProVE_11_iterative/ClassAnalysis.jar
|
YES
4.5 /
2.5
|
.
11.5 /
7.9
|
|
|
| va_Bytecode/AProVE_11_iterative/CyclicAnalysis.jar
|
YES
9.0 /
7.1
|
.
11.6 /
7.6
|
|
|
| Java_Bytecode/AProVE_11_iterative/RetVal.jar
|
YES
2.9 /
1.9
|
NO
12.3 /
9.0
|
|
|
| a_Bytecode/AProVE_11_iterative/SharingAnalysis.jar
|
YES
7.0 /
3.0
|
.
10.3 /
7.7
|
|
|
| Bytecode/AProVE_11_iterative/TreeLeftmostDepth.jar
|
YES
19.8 /
12.9
|
.
10.8 /
13.5
|
|
|
| _Bytecode/AProVE_11_iterative/TreeLeftmostPath.jar
|
YES
20.7 /
20.0
|
.
11.3 /
11.2
|
|
|
| Java_Bytecode/Aprove_09/AProVEMath.jar
|
YES
8.8 /
6.6
|
.
13.7 /
9.8
|
|
|
| Java_Bytecode/Aprove_09/Collatz.jar
|
.
272.3 /
300.0
|
.
12.3 /
15.1
|
|
|
| Java_Bytecode/Aprove_09/Convert.jar
|
YES
10.0 /
4.7
|
.
11.7 /
8.4
|
|
|
| Java_Bytecode/Aprove_09/Count.jar
|
YES
19.5 /
12.5
|
.
10.6 /
13.0
|
|
|
| Java_Bytecode/Aprove_09/CountMetaList.jar
|
YES
9.8 /
7.2
|
.
10.5 /
13.5
|
|
|
| Java_Bytecode/Aprove_09/CountUpRound.jar
|
YES
6.7 /
2.9
|
YES
18.9 /
10.8
|
|
|
| Java_Bytecode/Aprove_09/DivMinus.jar
|
YES
5.3 /
2.6
|
YES
13.4 /
9.5
|
|
|
| Java_Bytecode/Aprove_09/DivMinus2.jar
|
YES
11.0 /
4.5
|
YES
20.1 /
11.0
|
|
|
| Java_Bytecode/Aprove_09/DivWithoutMinus.jar
|
YES
8.0 /
5.8
|
YES
14.4 /
11.1
|
|
|
| Java_Bytecode/Aprove_09/Duplicate.jar
|
YES
4.9 /
3.8
|
.
28.1 /
16.7
|
|
|
| Java_Bytecode/Aprove_09/DuplicateNodes.jar
|
YES
19.7 /
7.9
|
.
11.0 /
6.1
|
|
|
| Java_Bytecode/Aprove_09/Flatten.jar
|
YES
22.0 /
9.7
|
.
11.9 /
8.7
|
|
|
| Java_Bytecode/Aprove_09/FlattenTree.jar
|
YES
17.0 /
16.0
|
.
11.7 /
9.2
|
|
|
| Java_Bytecode/Aprove_09/GCD.jar
|
YES
8.4 /
5.6
|
YES
27.2 /
17.4
|
|
|
| Java_Bytecode/Aprove_09/GCD2.jar
|
YES
7.6 /
5.7
|
NO
23.2 /
14.6
|
|
|
| Java_Bytecode/Aprove_09/GCD3.jar
|
YES
6.7 /
7.1
|
NO
17.1 /
14.2
|
|
|
| Java_Bytecode/Aprove_09/GCD4.jar
|
YES
7.6 /
8.2
|
YES
18.5 /
23.0
|
|
|
| Java_Bytecode/Aprove_09/GCD5.jar
|
YES
5.5 /
5.2
|
.
13.7 /
8.1
|
|
|
| Java_Bytecode/Aprove_09/LessLeaves.jar
|
.
296.8 /
300.0
|
.
10.9 /
6.9
|
|
|
| Java_Bytecode/Aprove_09/ListContent.jar
|
YES
7.3 /
5.7
|
.
11.8 /
9.7
|
|
|
| Java_Bytecode/Aprove_09/ListContentArbitrary.jar
|
YES
7.8 /
5.8
|
.
10.7 /
5.6
|
|
|
| Java_Bytecode/Aprove_09/ListContentTail.jar
|
YES
10.3 /
5.2
|
.
12.3 /
8.0
|
|
|
| Java_Bytecode/Aprove_09/ListDuplicate.jar
|
YES
6.6 /
4.3
|
.
10.9 /
7.8
|
|
|
| Java_Bytecode/Aprove_09/Log.jar
|
YES
9.8 /
6.6
|
.
331.1 /
300.0
|
|
|
| Java_Bytecode/Aprove_09/LogAG.jar
|
YES
10.6 /
4.2
|
.
227.7 /
300.0
|
|
|
| Java_Bytecode/Aprove_09/LogBuiltIn.jar
|
YES
4.7 /
3.9
|
.
11.8 /
8.8
|
|
|
| Java_Bytecode/Aprove_09/LogIterative.jar
|
YES
5.2 /
4.0
|
.
12.6 /
6.7
|
|
|
| Java_Bytecode/Aprove_09/LogMult.jar
|
YES
5.4 /
2.8
|
.
12.3 /
6.4
|
|
|
| Java_Bytecode/Aprove_09/McCarthyIterative.jar
|
YES
9.0 /
6.8
|
YES
31.0 /
23.3
|
|
|
| Java_Bytecode/Aprove_09/MinusBuiltIn.jar
|
YES
4.4 /
3.6
|
YES
12.3 /
6.4
|
|
|
| Java_Bytecode/Aprove_09/MinusMin.jar
|
YES
5.4 /
4.2
|
YES
14.9 /
17.6
|
|
|
| Java_Bytecode/Aprove_09/MinusUserDefined.jar
|
.
16.9 /
12.1
|
.
331.3 /
300.0
|
|
|
| Java_Bytecode/Aprove_09/MirrorTree.jar
|
YES
17.5 /
11.8
|
.
10.9 /
13.1
|
|
|
| Java_Bytecode/Aprove_09/Mod.jar
|
YES
11.4 /
8.4
|
YES
19.9 /
17.4
|
|
|
| Java_Bytecode/Aprove_09/Overflow.jar
|
YES
5.2 /
4.5
|
YES
12.1 /
7.8
|
|
|
| Java_Bytecode/Aprove_09/PastaA1.jar
|
YES
5.8 /
2.8
|
YES
14.7 /
17.6
|
|
|
| Java_Bytecode/Aprove_09/PastaA10.jar
|
YES
9.9 /
4.6
|
YES
16.5 /
10.6
|
|
|
| Java_Bytecode/Aprove_09/PastaA4.jar
|
YES
4.4 /
3.4
|
YES
12.4 /
16.9
|
|
|
| Java_Bytecode/Aprove_09/PastaA5.jar
|
YES
5.2 /
6.4
|
YES
13.5 /
10.4
|
|
|
| Java_Bytecode/Aprove_09/PastaA6.jar
|
YES
5.7 /
6.7
|
YES
14.2 /
10.3
|
|
|
| Java_Bytecode/Aprove_09/PastaA7.jar
|
YES
5.2 /
4.1
|
YES
13.8 /
10.1
|
|
|
| Java_Bytecode/Aprove_09/PastaA8.jar
|
YES
4.9 /
3.8
|
YES
12.4 /
9.3
|
|
|
| Java_Bytecode/Aprove_09/PastaA9.jar
|
YES
4.6 /
3.7
|
YES
18.7 /
24.0
|
|
|
| Java_Bytecode/Aprove_09/PastaB1.jar
|
YES
4.9 /
3.0
|
YES
12.0 /
14.7
|
|
|
| Java_Bytecode/Aprove_09/PastaB10.jar
|
YES
7.1 /
5.3
|
YES
16.3 /
9.5
|
|
|
| Java_Bytecode/Aprove_09/PastaB11.jar
|
YES
10.0 /
6.7
|
YES
15.8 /
9.6
|
|
|
| Java_Bytecode/Aprove_09/PastaB12.jar
|
YES
5.2 /
3.7
|
YES
14.7 /
10.8
|
|
|
| Java_Bytecode/Aprove_09/PastaB13.jar
|
YES
11.0 /
4.8
|
YES
14.5 /
8.5
|
|
|
| Java_Bytecode/Aprove_09/PastaB14.jar
|
YES
5.4 /
4.0
|
YES
14.0 /
8.0
|
|
|
| Java_Bytecode/Aprove_09/PastaB15.jar
|
YES
6.7 /
4.7
|
YES
15.4 /
8.0
|
|
|
| Java_Bytecode/Aprove_09/PastaB16.jar
|
YES
6.0 /
7.4
|
YES
13.4 /
15.5
|
|
|
| Java_Bytecode/Aprove_09/PastaB17.jar
|
YES
6.2 /
6.1
|
YES
13.2 /
7.2
|
|
|
| Java_Bytecode/Aprove_09/PastaB18.jar
|
YES
6.8 /
3.5
|
YES
14.5 /
8.9
|
|
|
| Java_Bytecode/Aprove_09/PastaB2.jar
|
YES
5.3 /
4.1
|
YES
14.9 /
9.3
|
|
|
| Java_Bytecode/Aprove_09/PastaB3.jar
|
YES
4.2 /
3.7
|
YES
15.5 /
9.3
|
|
|
| Java_Bytecode/Aprove_09/PastaB4.jar
|
YES
4.5 /
3.0
|
YES
12.6 /
16.6
|
|
|
| Java_Bytecode/Aprove_09/PastaB5.jar
|
YES
3.9 /
3.2
|
YES
13.0 /
7.8
|
|
|
| Java_Bytecode/Aprove_09/PastaB6.jar
|
YES
5.4 /
6.1
|
YES
12.7 /
10.0
|
|
|
| Java_Bytecode/Aprove_09/PastaB7.jar
|
YES
4.8 /
3.9
|
YES
12.8 /
16.5
|
|
|
| Java_Bytecode/Aprove_09/PastaB8.jar
|
YES
7.0 /
3.6
|
.
33.0 /
21.2
|
|
|
| Java_Bytecode/Aprove_09/PastaC1.jar
|
YES
7.0 /
4.9
|
.
20.4 /
18.1
|
|
|
| Java_Bytecode/Aprove_09/PastaC10.jar
|
YES
7.7 /
4.8
|
.
505.7 /
300.1
|
|
|
| Java_Bytecode/Aprove_09/PastaC11.jar
|
YES
7.2 /
3.6
|
.
14.3 /
8.0
|
|
|
| Java_Bytecode/Aprove_09/PastaC2.jar
|
YES
6.6 /
7.4
|
YES
15.3 /
11.4
|
|
|
| Java_Bytecode/Aprove_09/PastaC3.jar
|
YES
7.6 /
7.7
|
YES
17.3 /
10.8
|
|
|
| Java_Bytecode/Aprove_09/PastaC5.jar
|
YES
8.1 /
3.6
|
YES
27.4 /
17.4
|
|
|
| Java_Bytecode/Aprove_09/PastaC7.jar
|
YES
5.5 /
2.9
|
YES
13.8 /
8.7
|
|
|
| Java_Bytecode/Aprove_09/PastaC9.jar
|
YES
8.1 /
3.3
|
.
16.0 /
11.7
|
|
|
| Java_Bytecode/Aprove_09/PlusSwap.jar
|
YES
5.0 /
6.4
|
YES
12.8 /
7.0
|
|
|
| Java_Bytecode/Aprove_09/Round3.jar
|
YES
4.9 /
3.9
|
.
20.4 /
17.7
|
|
|
| Java_Bytecode/Aprove_09/RunningPointers.jar
|
YES
6.4 /
5.9
|
.
11.0 /
8.1
|
|
|
| Java_Bytecode/Aprove_09/Samefringe.jar
|
.
322.2 /
300.1
|
.
10.6 /
6.8
|
|
|
| Java_Bytecode/Aprove_09/Shuffle.jar
|
YES
8.9 /
5.3
|
.
10.8 /
5.8
|
|
|
| Java_Bytecode/Aprove_09/SortCount.jar
|
.
305.0 /
300.0
|
.
10.6 /
5.6
|
|
|
| Java_Bytecode/Aprove_09/StupidArray.jar
|
YES
4.4 /
6.3
|
.
19.3 /
13.0
|
|
|
| Java_Bytecode/Aprove_09/Take.jar
|
YES
5.0 /
3.6
|
.
11.9 /
7.7
|
|
|
| a_Bytecode/BMOG_CAV_12/AProVE12-cyclic-Iterate.jar
|
YES
6.7 /
8.1
|
.
11.8 /
7.4
|
|
|
| va_Bytecode/BMOG_CAV_12/AProVE12-cyclic-Length.jar
|
YES
6.2 /
2.9
|
.
12.0 /
9.2
|
|
|
| ava_Bytecode/BMOG_CAV_12/AProVE12-cyclic-Visit.jar
|
YES
6.2 /
2.8
|
.
10.2 /
5.5
|
|
|
| va_Bytecode/BMOG_CAV_12/ListReverseAcyclicList.jar
|
YES
4.9 /
3.7
|
.
10.5 /
8.2
|
|
|
| ava_Bytecode/BMOG_CAV_12/ListReverseCyclicList.jar
|
YES
8.6 /
5.9
|
.
11.7 /
8.3
|
|
|
| _Bytecode/BMOG_CAV_12/ListReversePanhandleList.jar
|
YES
9.2 /
3.6
|
.
11.0 /
7.8
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/LoopingNonterm.jar
|
NO
3.8 /
4.8
|
.
12.5 /
9.6
|
|
|
| a_Bytecode/BSOG_FoVeOOS_11/NonPeriodicNonterm2.jar
|
NO
4.6 /
4.0
|
.
27.6 /
14.1
|
|
|
| _Bytecode/BSOG_FoVeOOS_11/Velroyen08-alternDiv.jar
|
NO
3.6 /
3.1
|
.
12.2 /
9.3
|
|
|
| ecode/BSOG_FoVeOOS_11/Velroyen08-alternDivWide.jar
|
NO
11.3 /
4.6
|
.
13.6 /
7.4
|
|
|
| e/BSOG_FoVeOOS_11/Velroyen08-alternDivWidening.jar
|
NO
4.4 /
6.8
|
.
14.6 /
17.9
|
|
|
| Bytecode/BSOG_FoVeOOS_11/Velroyen08-alternKonv.jar
|
NO
3.6 /
3.0
|
.
11.6 /
6.2
|
|
|
| ode/BSOG_FoVeOOS_11/Velroyen08-alternatingIncr.jar
|
NO
5.0 /
2.4
|
.
14.3 /
7.8
|
|
|
| va_Bytecode/BSOG_FoVeOOS_11/Velroyen08-collatz.jar
|
.
345.5 /
300.0
|
.
13.4 /
9.5
|
|
|
| ytecode/BSOG_FoVeOOS_11/Velroyen08-complInterv.jar
|
NO
3.6 /
2.4
|
.
12.0 /
8.2
|
|
|
| tecode/BSOG_FoVeOOS_11/Velroyen08-complInterv2.jar
|
NO
3.3 /
2.9
|
NO
12.8 /
15.7
|
|
|
| tecode/BSOG_FoVeOOS_11/Velroyen08-complInterv3.jar
|
NO
3.5 /
2.9
|
NO
11.5 /
15.0
|
|
|
| ytecode/BSOG_FoVeOOS_11/Velroyen08-complxStruc.jar
|
NO
9.2 /
5.8
|
.
20.7 /
15.0
|
|
|
| _Bytecode/BSOG_FoVeOOS_11/Velroyen08-convLower.jar
|
NO
3.3 /
2.0
|
NO
12.9 /
7.1
|
|
|
| ava_Bytecode/BSOG_FoVeOOS_11/Velroyen08-cousot.jar
|
NO
4.9 /
3.4
|
NO
13.8 /
8.5
|
|
|
| _Bytecode/BSOG_FoVeOOS_11/Velroyen08-doubleNeg.jar
|
.
9.2 /
4.2
|
.
13.5 /
17.0
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-even.jar
|
NO
4.3 /
3.3
|
NO
13.2 /
7.5
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex01.jar
|
NO
4.5 /
3.9
|
NO
12.3 /
6.7
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex02.jar
|
NO
3.1 /
1.9
|
NO
12.8 /
7.7
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex03.jar
|
NO
4.1 /
4.5
|
NO
12.8 /
6.9
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex04.jar
|
NO
3.4 /
2.2
|
YES
11.1 /
5.7
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex05.jar
|
NO
3.1 /
2.2
|
YES
12.3 /
8.3
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex06.jar
|
NO
4.5 /
3.6
|
NO
14.0 /
9.9
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex07.jar
|
NO
3.8 /
3.0
|
NO
12.7 /
8.0
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex08.jar
|
NO
6.9 /
3.0
|
.
608.6 /
300.0
|
|
|
| a_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex09half.jar
|
NO
3.5 /
2.3
|
.
12.1 /
6.7
|
|
|
| _Bytecode/BSOG_FoVeOOS_11/Velroyen08-factorial.jar
|
NO
4.7 /
5.7
|
.
11.4 /
8.7
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-fib.jar
|
NO
4.6 /
4.4
|
.
25.1 /
11.3
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-flip.jar
|
NO
4.0 /
3.0
|
NO
13.6 /
9.9
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-flip2.jar
|
NO
5.7 /
2.8
|
NO
16.9 /
11.2
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-gauss.jar
|
NO
6.1 /
4.5
|
.
29.6 /
16.0
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-gcd.jar
|
.
9.1 /
6.7
|
.
41.5 /
21.1
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-lcm.jar
|
NO
11.1 /
4.2
|
NO
12.9 /
7.6
|
|
|
| va_Bytecode/BSOG_FoVeOOS_11/Velroyen08-marbie1.jar
|
NO
3.4 /
4.7
|
NO
12.1 /
9.7
|
|
|
| va_Bytecode/BSOG_FoVeOOS_11/Velroyen08-marbie2.jar
|
NO
3.2 /
2.5
|
YES
12.2 /
15.2
|
|
|
| ava_Bytecode/BSOG_FoVeOOS_11/Velroyen08-middle.jar
|
NO
5.3 /
6.5
|
NO
12.4 /
7.7
|
|
|
| tecode/BSOG_FoVeOOS_11/Velroyen08-mirrorInterv.jar
|
NO
8.0 /
9.1
|
.
14.8 /
19.4
|
|
|
| ode/BSOG_FoVeOOS_11/Velroyen08-mirrorIntervSim.jar
|
NO
4.3 /
3.1
|
NO
13.7 /
9.7
|
|
|
| ytecode/BSOG_FoVeOOS_11/Velroyen08-moduloLower.jar
|
NO
3.3 /
4.9
|
.
12.8 /
7.2
|
|
|
| a_Bytecode/BSOG_FoVeOOS_11/Velroyen08-moduloUp.jar
|
NO
4.2 /
2.5
|
.
13.4 /
9.6
|
|
|
| Bytecode/BSOG_FoVeOOS_11/Velroyen08-narrowKonv.jar
|
NO
6.1 /
4.5
|
.
349.9 /
300.0
|
|
|
| _Bytecode/BSOG_FoVeOOS_11/Velroyen08-narrowing.jar
|
NO
46.9 /
21.2
|
NO
105.7 /
86.2
|
|
|
| Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-plait.jar
|
NO
12.7 /
7.3
|
.
15.7 /
11.3
|
|
|
| ava_Bytecode/BSOG_FoVeOOS_11/Velroyen08-sunset.jar
|
NO
4.1 /
3.1
|
NO
17.6 /
13.1
|
|
|
| va_Bytecode/BSOG_FoVeOOS_11/Velroyen08-trueDiv.jar
|
NO
3.5 /
2.9
|
NO
11.8 /
6.4
|
|
|
| code/BSOG_FoVeOOS_11/Velroyen08-twoFloatInterv.jar
|
NO
4.2 /
4.3
|
.
14.2 /
8.8
|
|
|
| _Bytecode/BSOG_FoVeOOS_11/Velroyen08-upAndDown.jar
|
NO
5.6 /
3.3
|
.
317.0 /
300.0
|
|
|
| ecode/BSOG_FoVeOOS_11/Velroyen08-upAndDownIneq.jar
|
NO
5.7 /
4.0
|
.
756.3 /
300.1
|
|
|
| Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileBreak.jar
|
NO
4.2 /
3.4
|
NO
12.1 /
6.8
|
|
|
| _Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileDecr.jar
|
YES
3.9 /
2.6
|
YES
11.7 /
15.6
|
|
|
| _Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileIncr.jar
|
NO
3.5 /
3.0
|
NO
13.4 /
9.9
|
|
|
| ecode/BSOG_FoVeOOS_11/Velroyen08-whileIncrPart.jar
|
NO
3.7 /
2.8
|
NO
14.1 /
18.0
|
|
|
| ytecode/BSOG_FoVeOOS_11/Velroyen08-whileNested.jar
|
NO
4.3 /
2.8
|
NO
13.3 /
9.2
|
|
|
| e/BSOG_FoVeOOS_11/Velroyen08-whileNestedOffset.jar
|
NO
4.3 /
3.7
|
NO
13.0 /
10.0
|
|
|
| _Bytecode/BSOG_FoVeOOS_11/Velroyen08-whilePart.jar
|
NO
3.1 /
2.8
|
NO
12.4 /
9.6
|
|
|
| ytecode/BSOG_FoVeOOS_11/Velroyen08-whileSingle.jar
|
NO
3.3 /
2.2
|
NO
11.9 /
6.8
|
|
|
| a_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileSum.jar
|
NO
4.1 /
2.7
|
.
12.8 /
9.9
|
|
|
| _Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileTrue.jar
|
NO
3.3 /
2.8
|
YES
10.9 /
14.4
|
|
|
| Java_Bytecode/Costa_Julia_09/Break.jar
|
YES
2.8 /
2.5
|
YES
12.1 /
8.2
|
|
|
| Java_Bytecode/Costa_Julia_09/BubbleSort.jar
|
YES
13.4 /
8.8
|
.
12.9 /
7.2
|
|
|
| Java_Bytecode/Costa_Julia_09/Continue.jar
|
NO
3.1 /
2.4
|
.
15.2 /
7.9
|
|
|
| Java_Bytecode/Costa_Julia_09/Continue1.jar
|
YES
2.8 /
1.8
|
YES
12.2 /
9.6
|
|
|
| _Bytecode/Costa_Julia_09/CyclicalListDuplicate.jar
|
NO
4.4 /
2.8
|
.
10.9 /
8.1
|
|
|
| Java_Bytecode/Costa_Julia_09/Diff.jar
|
YES
3.8 /
5.8
|
.
12.0 /
8.8
|
|
|
| Java_Bytecode/Costa_Julia_09/Exc.jar
|
YES
2.8 /
4.3
|
.
11.6 /
8.4
|
|
|
| Java_Bytecode/Costa_Julia_09/Exc1.jar
|
NO
4.8 /
2.4
|
.
11.5 /
6.5
|
|
|
| Java_Bytecode/Costa_Julia_09/Exc2.jar
|
NO
6.0 /
3.1
|
.
11.6 /
6.2
|
|
|
| Java_Bytecode/Costa_Julia_09/Exc3.jar
|
YES
3.4 /
2.2
|
.
11.5 /
13.8
|
|
|
| Java_Bytecode/Costa_Julia_09/Exc4.jar
|
NO
4.0 /
4.9
|
.
11.8 /
6.2
|
|
|
| Java_Bytecode/Costa_Julia_09/Exc5.jar
|
YES
3.5 /
3.8
|
.
11.9 /
6.3
|
|
|
| Java_Bytecode/Costa_Julia_09/Init.jar
|
NO
3.1 /
2.3
|
NO
12.2 /
6.7
|
|
|
| Java_Bytecode/Costa_Julia_09/KnapsackDP.jar
|
YES
39.1 /
22.9
|
.
11.6 /
8.2
|
|
|
| Java_Bytecode/Costa_Julia_09/LinkedList.jar
|
YES
13.2 /
8.9
|
.
11.7 /
7.8
|
|
|
| Java_Bytecode/Costa_Julia_09/Loop1.jar
|
YES
4.2 /
3.7
|
YES
12.2 /
6.6
|
|
|
| Java_Bytecode/Costa_Julia_09/Nested.jar
|
YES
4.2 /
3.3
|
YES
16.1 /
12.3
|
|
|
| Java_Bytecode/Costa_Julia_09/Sequence.jar
|
YES
3.8 /
2.6
|
YES
13.8 /
17.2
|
|
|
| Java_Bytecode/Costa_Julia_09/Sharing.jar
|
YES
2.9 /
3.0
|
.
11.0 /
8.0
|
|
|
| Java_Bytecode/Costa_Julia_09/costa09-example_1.jar
|
YES
7.7 /
5.5
|
YES
17.7 /
12.7
|
|
|
| Java_Bytecode/Costa_Julia_09/costa09-example_2.jar
|
YES
5.0 /
2.7
|
.
12.6 /
6.8
|
|
|
| Java_Bytecode/Costa_Julia_09/costa09-example_3.jar
|
YES
2.8 /
2.4
|
.
11.7 /
8.9
|
|
|
| Java_Bytecode/Costa_Julia_09/costa09-example_4.jar
|
YES
3.5 /
2.0
|
.
11.2 /
6.8
|
|
|
| Java_Bytecode/Costa_Julia_09/costa09-example_5.jar
|
NO
3.4 /
2.4
|
.
10.7 /
5.7
|
|
|
| Java_Bytecode/Fuhs_13/Kernel68.jar
|
YES
21.2 /
14.1
|
.
12.0 /
7.5
|
|
|
| Java_Bytecode/Fuhs_13/Kernel88.jar
|
YES
12.3 /
4.9
|
.
11.6 /
6.7
|
|
|
| Java_Bytecode/Fuhs_13/Kernel93.jar
|
.
20.3 /
8.5
|
.
10.6 /
5.6
|
|
|
| Java_Bytecode/Fuhs_13/Kernel95.jar
|
YES
14.3 /
5.8
|
.
11.7 /
7.0
|
|
|
| Java_Bytecode/Fuhs_13/MultiLasso.jar
|
.
263.8 /
300.0
|
.
342.4 /
300.1
|
|
|
| Java_Bytecode/Fuhs_13/RandomHard.jar
|
.
757.1 /
300.0
|
.
12.2 /
7.4
|
|
|
| Java_Bytecode/Fuhs_13/UnionFindIterative.jar
|
.
315.9 /
300.0
|
.
10.6 /
5.6
|
|
|
| Java_Bytecode/Java_Util/juHashMapCreate.jar
|
YES
30.9 /
20.7
|
.
14.4 /
8.0
|
|
|
| Java_Bytecode/Java_Util/juHashMapCreateClear.jar
|
YES
38.1 /
16.2
|
.
14.9 /
11.0
|
|
|
| _Bytecode/Java_Util/juHashMapCreateContainsKey.jar
|
YES
42.9 /
24.3
|
.
15.3 /
17.4
|
|
|
| ytecode/Java_Util/juHashMapCreateContainsValue.jar
|
YES
50.6 /
40.1
|
.
13.3 /
7.5
|
|
|
| Java_Bytecode/Java_Util/juHashMapCreateEquals.jar
|
.
18.1 /
13.3
|
.
14.1 /
7.1
|
|
|
| Java_Bytecode/Java_Util/juHashMapCreateGet.jar
|
YES
40.3 /
15.1
|
.
15.2 /
11.3
|
|
|
| ava_Bytecode/Java_Util/juHashMapCreateHashCode.jar
|
.
9.4 /
6.3
|
.
14.2 /
10.5
|
|
|
| Java_Bytecode/Java_Util/juHashMapCreateIsEmpty.jar
|
YES
39.1 /
22.7
|
.
13.6 /
10.1
|
|
|
| ode/Java_Util/juHashMapCreateIteratorEntryLoop.jar
|
YES
56.7 /
32.3
|
.
14.6 /
11.2
|
|
|
| ecode/Java_Util/juHashMapCreateIteratorKeyLoop.jar
|
YES
53.7 /
29.6
|
.
14.9 /
11.1
|
|
|
| ode/Java_Util/juHashMapCreateIteratorValueLoop.jar
|
YES
51.6 /
29.9
|
.
14.4 /
10.1
|
|
|
| Java_Bytecode/Java_Util/juHashMapCreatePut.jar
|
YES
37.5 /
14.6
|
.
14.1 /
16.2
|
|
|
| Java_Bytecode/Java_Util/juHashMapCreatePutAll.jar
|
.
21.9 /
16.6
|
.
14.1 /
7.0
|
|
|
| Java_Bytecode/Java_Util/juHashMapCreateRemove.jar
|
YES
40.9 /
19.5
|
.
13.8 /
17.0
|
|
|
| Java_Bytecode/Java_Util/juHashMapCreateSize.jar
|
YES
37.9 /
23.2
|
.
13.8 /
8.9
|
|
|
| Java_Bytecode/Java_Util/juLinkedListCreate.jar
|
YES
12.4 /
12.0
|
.
13.4 /
6.9
|
|
|
| Java_Bytecode/Java_Util/juLinkedListCreateAdd.jar
|
YES
27.5 /
11.2
|
.
14.1 /
17.7
|
|
|
| va_Bytecode/Java_Util/juLinkedListCreateAddAll.jar
|
.
331.3 /
300.0
|
.
13.6 /
6.9
|
|
|
| _Bytecode/Java_Util/juLinkedListCreateAddAllAt.jar
|
YES
96.5 /
51.1
|
.
14.8 /
12.3
|
|
|
| ava_Bytecode/Java_Util/juLinkedListCreateAddAt.jar
|
YES
43.8 /
39.4
|
.
13.3 /
9.8
|
|
|
| _Bytecode/Java_Util/juLinkedListCreateAddFirst.jar
|
YES
29.6 /
15.0
|
.
14.0 /
7.2
|
|
|
| a_Bytecode/Java_Util/juLinkedListCreateAddLast.jar
|
YES
27.4 /
16.4
|
.
13.6 /
9.8
|
|
|
| ava_Bytecode/Java_Util/juLinkedListCreateClear.jar
|
YES
26.2 /
10.9
|
.
14.5 /
11.0
|
|
|
| _Bytecode/Java_Util/juLinkedListCreateContains.jar
|
YES
75.8 /
30.3
|
.
13.8 /
6.9
|
|
|
| tecode/Java_Util/juLinkedListCreateContainsAll.jar
|
YES
291.2 /
234.1
|
.
13.6 /
17.0
|
|
|
| _Util/juLinkedListCreateDescendingIteratorLoop.jar
|
YES
42.4 /
25.7
|
.
14.8 /
16.7
|
|
|
| a_Bytecode/Java_Util/juLinkedListCreateElement.jar
|
YES
22.0 /
8.6
|
.
14.6 /
10.1
|
|
|
| va_Bytecode/Java_Util/juLinkedListCreateEquals.jar
|
YES
84.0 /
49.2
|
.
13.7 /
6.9
|
|
|
| Java_Bytecode/Java_Util/juLinkedListCreateGet.jar
|
YES
17.5 /
23.4
|
.
14.6 /
11.1
|
|
|
| _Bytecode/Java_Util/juLinkedListCreateGetFirst.jar
|
YES
20.0 /
8.3
|
.
14.3 /
17.0
|
|
|
| a_Bytecode/Java_Util/juLinkedListCreateGetLast.jar
|
YES
22.0 /
14.5
|
.
14.0 /
10.4
|
|
|
| _Bytecode/Java_Util/juLinkedListCreateHashCode.jar
|
.
14.8 /
10.7
|
.
13.8 /
6.9
|
|
|
| a_Bytecode/Java_Util/juLinkedListCreateIndexOf.jar
|
YES
74.2 /
34.4
|
.
14.1 /
10.2
|
|
|
| a_Bytecode/Java_Util/juLinkedListCreateIsEmpty.jar
|
YES
22.8 /
13.8
|
.
13.6 /
16.2
|
|
|
| ecode/Java_Util/juLinkedListCreateIteratorLoop.jar
|
YES
41.2 /
24.5
|
.
14.1 /
16.5
|
|
|
| tecode/Java_Util/juLinkedListCreateLastIndexOf.jar
|
YES
72.6 /
26.9
|
.
14.3 /
7.1
|
|
|
| e/Java_Util/juLinkedListCreateListIteratorLoop.jar
|
YES
39.2 /
32.1
|
.
13.8 /
17.0
|
|
|
| ava_Bytecode/Java_Util/juLinkedListCreateOffer.jar
|
YES
28.8 /
18.2
|
.
14.7 /
16.9
|
|
|
| ytecode/Java_Util/juLinkedListCreateOfferFirst.jar
|
YES
27.6 /
11.7
|
.
13.8 /
10.3
|
|
|
| Bytecode/Java_Util/juLinkedListCreateOfferLast.jar
|
YES
27.6 /
12.0
|
.
14.8 /
10.5
|
|
|
| Java_Bytecode/Java_Util/juLinkedListCreatePeek.jar
|
YES
22.1 /
13.6
|
.
13.8 /
12.8
|
|
|
| Bytecode/Java_Util/juLinkedListCreatePeekFirst.jar
|
YES
19.8 /
12.7
|
.
12.8 /
6.8
|
|
|
| _Bytecode/Java_Util/juLinkedListCreatePeekLast.jar
|
YES
20.7 /
12.7
|
.
14.3 /
8.1
|
|
|
| Java_Bytecode/Java_Util/juLinkedListCreatePoll.jar
|
YES
26.9 /
10.6
|
.
13.7 /
9.9
|
|
|
| Bytecode/Java_Util/juLinkedListCreatePollFirst.jar
|
YES
26.6 /
16.0
|
.
13.6 /
7.1
|
|
|
| _Bytecode/Java_Util/juLinkedListCreatePollLast.jar
|
YES
31.0 /
12.0
|
.
13.8 /
9.6
|
|
|
| Java_Bytecode/Java_Util/juLinkedListCreatePop.jar
|
YES
25.3 /
16.7
|
.
14.0 /
6.9
|
|
|
| Java_Bytecode/Java_Util/juLinkedListCreatePush.jar
|
YES
27.5 /
26.0
|
.
13.8 /
6.9
|
|
|
| va_Bytecode/Java_Util/juLinkedListCreateRemove.jar
|
YES
37.7 /
14.9
|
.
13.7 /
16.3
|
|
|
| Bytecode/Java_Util/juLinkedListCreateRemoveAll.jar
|
.
352.3 /
300.0
|
.
14.1 /
12.7
|
|
|
| _Bytecode/Java_Util/juLinkedListCreateRemoveAt.jar
|
YES
44.9 /
30.5
|
.
13.5 /
9.8
|
|
|
| code/Java_Util/juLinkedListCreateRemoveElement.jar
|
YES
74.1 /
30.8
|
.
14.6 /
10.3
|
|
|
| tecode/Java_Util/juLinkedListCreateRemoveFirst.jar
|
YES
26.8 /
16.1
|
.
14.1 /
8.4
|
|
|
| a_Util/juLinkedListCreateRemoveFirstOccurrence.jar
|
YES
72.9 /
26.7
|
.
13.4 /
7.0
|
|
|
| ytecode/Java_Util/juLinkedListCreateRemoveLast.jar
|
YES
30.4 /
13.0
|
.
14.6 /
16.0
|
|
|
| va_Util/juLinkedListCreateRemoveLastOccurrence.jar
|
YES
77.3 /
27.1
|
.
14.4 /
7.1
|
|
|
| tecode/Java_Util/juLinkedListCreateRemoveRange.jar
|
YES
64.4 /
36.0
|
.
14.9 /
10.6
|
|
|
| Bytecode/Java_Util/juLinkedListCreateRetainAll.jar
|
.
355.9 /
300.0
|
.
13.7 /
7.0
|
|
|
| Java_Bytecode/Java_Util/juLinkedListCreateSet.jar
|
YES
27.4 /
13.3
|
.
13.3 /
10.0
|
|
|
| Java_Bytecode/Java_Util/juLinkedListCreateSize.jar
|
YES
12.6 /
5.2
|
.
13.4 /
17.0
|
|
|
| a_Bytecode/Java_Util/juLinkedListCreateSubList.jar
|
YES
24.5 /
10.9
|
.
14.0 /
6.9
|
|
|
| a_Bytecode/Java_Util/juLinkedListCreateToArray.jar
|
YES
16.9 /
11.1
|
.
14.6 /
10.7
|
|
|
| Java_Bytecode/Julia_10_Iterative/Carre.jar
|
YES
12.3 /
6.6
|
.
11.9 /
7.1
|
|
|
| Java_Bytecode/Julia_10_Iterative/Gauss.jar
|
.
340.8 /
300.0
|
.
11.4 /
5.8
|
|
|
| Java_Bytecode/Julia_10_Iterative/Graph.jar
|
.
622.2 /
300.0
|
.
11.8 /
5.9
|
|
|
| Java_Bytecode/Julia_10_Iterative/Infix2Postfix.jar
|
YES
29.2 /
13.3
|
.
10.6 /
5.6
|
|
|
| Java_Bytecode/Julia_10_Iterative/Iterations.jar
|
YES
16.2 /
13.2
|
YES
24.7 /
20.7
|
|
|
| Java_Bytecode/Julia_10_Iterative/NonPeriodic.jar
|
YES
2.9 /
1.9
|
.
742.4 /
300.0
|
|
|
| Java_Bytecode/Julia_10_Iterative/RSA.jar
|
YES
55.2 /
20.1
|
.
11.6 /
8.6
|
|
|
| Java_Bytecode/Julia_10_Iterative/Test11.jar
|
YES
17.7 /
8.4
|
.
14.4 /
8.3
|
|
|
| Java_Bytecode/Julia_10_Iterative/Test13Loops.jar
|
NO
4.3 /
2.9
|
.
10.7 /
13.3
|
|
|
| Java_Bytecode/Julia_10_Iterative/Test2.jar
|
YES
18.1 /
7.6
|
.
337.0 /
300.0
|
|
|
| Java_Bytecode/Julia_10_Iterative/Test3.jar
|
YES
15.6 /
5.8
|
.
11.9 /
7.2
|
|
|
| Java_Bytecode/Julia_10_Iterative/Test5.jar
|
.
10.3 /
5.5
|
.
11.8 /
7.3
|
|
|
| Java_Bytecode/Julia_10_Iterative/Test7.jar
|
YES
11.6 /
11.7
|
.
10.4 /
5.4
|
|
|
| Java_Bytecode/Julia_10_Iterative/Test9.jar
|
YES
11.5 /
7.6
|
.
356.1 /
300.0
|
|
|
| Java_Bytecode/Julia_10_Iterative/TriTas.jar
|
YES
20.4 /
13.1
|
.
305.2 /
300.0
|
|
|
| Java_Bytecode/Julia_11_iterative/Choose.jar
|
NO
3.7 /
2.4
|
.
22.6 /
15.5
|
|
|
| Java_Bytecode/Julia_11_iterative/ChooseLife.jar
|
NO
6.6 /
3.5
|
.
20.4 /
9.4
|
|
|
| Java_Bytecode/Julia_11_iterative/Continue.jar
|
NO
3.0 /
5.2
|
.
15.5 /
10.8
|
|
|
| Java_Bytecode/Julia_11_iterative/Distances.jar
|
YES
63.7 /
36.0
|
.
11.1 /
6.6
|
|
|
| Java_Bytecode/Julia_11_iterative/Loop.jar
|
NO
3.1 /
2.1
|
.
17.0 /
9.6
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_00.jar
|
NO
3.0 /
2.1
|
.
14.9 /
7.6
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_01.jar
|
NO
3.0 /
2.5
|
.
17.8 /
14.5
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_02.jar
|
NO
3.1 /
1.9
|
.
17.5 /
9.3
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_03.jar
|
NO
3.2 /
2.7
|
.
17.4 /
13.0
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_04.jar
|
NO
3.8 /
2.1
|
.
27.2 /
32.8
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_05.jar
|
NO
40.5 /
15.8
|
.
111.1 /
92.1
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_06.jar
|
NO
3.1 /
2.2
|
.
16.8 /
9.0
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_10.jar
|
NO
3.5 /
2.9
|
.
22.1 /
12.3
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_11.jar
|
NO
4.8 /
5.7
|
.
336.9 /
300.1
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_12.jar
|
NO
4.6 /
3.4
|
.
26.4 /
14.9
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_13.jar
|
NO
9.9 /
7.7
|
.
79.8 /
75.2
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_20.jar
|
NO
3.0 /
2.1
|
YES
10.7 /
5.7
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_21.jar
|
NO
3.1 /
3.6
|
.
17.4 /
8.6
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_22.jar
|
NO
10.8 /
5.0
|
.
62.7 /
49.7
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_23.jar
|
NO
6.4 /
3.1
|
.
17.2 /
8.6
|
|
|
| Java_Bytecode/Julia_11_iterative/NO_24.jar
|
NO
3.4 /
2.4
|
.
23.7 /
10.8
|
|
|
| Java_Bytecode/Julia_11_iterative/Swingers.jar
|
NO
3.2 /
3.3
|
.
21.2 /
23.2
|
|
|
| va_Bytecode/Julia_11_iterative/TaylorSeriesIte.jar
|
YES
26.2 /
14.0
|
.
356.9 /
300.0
|
|
|
| Java_Bytecode/Julia_12_iterative/Et1.jar
|
YES
8.4 /
3.4
|
YES
13.9 /
8.2
|
|
|
| Java_Bytecode/Julia_12_iterative/Et2.jar
|
YES
9.7 /
4.2
|
.
15.8 /
9.6
|
|
|
| Java_Bytecode/Julia_12_iterative/Et3.jar
|
YES
10.5 /
4.2
|
YES
12.9 /
9.7
|
|
|
| Java_Bytecode/Julia_12_iterative/Et4.jar
|
YES
19.9 /
10.1
|
.
15.0 /
8.2
|
|
|
| Java_Bytecode/Julia_12_iterative/Et5.jar
|
YES
17.6 /
6.6
|
.
13.7 /
7.6
|
|
|
| Java_Bytecode/Julia_12_iterative/Et6.jar
|
YES
20.8 /
13.6
|
.
14.6 /
8.3
|
|
|
| e/AProVE_11_recursive/AlternatingGrowReduceRec.jar
|
|
|
YES
16.7 /
7.6
|
.
10.6 /
6.8
|
| /AProVE_11_recursive/AlternatingGrowReduceRec2.jar
|
|
|
YES
11.0 /
11.5
|
.
11.9 /
6.3
|
| ode_Recursive/AProVE_11_recursive/BinarySearch.jar
|
|
|
YES
43.1 /
29.2
|
.
33.4 /
22.5
|
| Recursive/AProVE_11_recursive/ClassAnalysisRec.jar
|
|
|
YES
5.9 /
3.1
|
.
11.4 /
8.0
|
| ecursive/AProVE_11_recursive/CyclicAnalysisRec.jar
|
|
|
YES
9.5 /
3.8
|
.
10.6 /
6.6
|
| tecode_Recursive/AProVE_11_recursive/RetValRec.jar
|
|
|
YES
3.0 /
1.8
|
NO
13.5 /
9.5
|
| ecode_Recursive/AProVE_11_recursive/RotateTree.jar
|
|
|
YES
33.5 /
12.6
|
.
10.7 /
5.9
|
| cursive/AProVE_11_recursive/SharingAnalysisRec.jar
|
|
|
YES
10.3 /
5.4
|
.
10.7 /
5.5
|
| ecursive/AProVE_11_recursive/TermCreateCollect.jar
|
|
|
YES
27.7 /
11.8
|
.
11.4 /
6.1
|
| Recursive/AProVE_11_recursive/TermsCreateMatch.jar
|
|
|
YES
41.7 /
20.8
|
.
11.0 /
5.6
|
| tecode_Recursive/AProVE_11_recursive/UnionFind.jar
|
|
|
.
321.0 /
300.0
|
.
11.2 /
6.6
|
| ecode_Recursive/BOG_RTA_11/AProVEMathRecursive.jar
|
|
|
YES
11.3 /
8.0
|
.
12.6 /
6.8
|
| Java_Bytecode_Recursive/BOG_RTA_11/AProVERec01.jar
|
|
|
YES
6.1 /
6.8
|
.
12.0 /
5.9
|
| Java_Bytecode_Recursive/BOG_RTA_11/Alternate.jar
|
|
|
YES
38.5 /
15.5
|
.
10.7 /
13.5
|
| Java_Bytecode_Recursive/BOG_RTA_11/AppE.jar
|
|
|
YES
8.0 /
8.9
|
.
11.2 /
8.3
|
| Java_Bytecode_Recursive/BOG_RTA_11/Avg.jar
|
|
|
YES
7.1 /
3.5
|
YES
21.5 /
15.9
|
| a_Bytecode_Recursive/BOG_RTA_11/BinTreeChanger.jar
|
|
|
YES
19.2 /
7.8
|
.
11.0 /
5.8
|
| Java_Bytecode_Recursive/BOG_RTA_11/CAppE.jar
|
|
|
YES
6.8 /
5.1
|
.
10.5 /
12.0
|
| Java_Bytecode_Recursive/BOG_RTA_11/ConvertRec.jar
|
|
|
YES
19.9 /
9.1
|
.
10.9 /
15.3
|
| Java_Bytecode_Recursive/BOG_RTA_11/Count.jar
|
|
|
YES
53.3 /
16.4
|
.
10.7 /
13.7
|
| Bytecode_Recursive/BOG_RTA_11/CountMetaListRec.jar
|
|
|
YES
14.4 /
9.8
|
.
10.7 /
5.5
|
| Java_Bytecode_Recursive/BOG_RTA_11/DivMinus.jar
|
|
|
YES
85.1 /
32.8
|
.
10.9 /
5.7
|
| Java_Bytecode_Recursive/BOG_RTA_11/DivTernary.jar
|
|
|
.
323.7 /
300.0
|
.
11.1 /
6.6
|
| Java_Bytecode_Recursive/BOG_RTA_11/DivTernary2.jar
|
|
|
YES
11.9 /
8.2
|
.
10.4 /
5.9
|
| Java_Bytecode_Recursive/BOG_RTA_11/DupTreeRec.jar
|
|
|
YES
26.0 /
10.4
|
.
12.0 /
6.5
|
| ava_Bytecode_Recursive/BOG_RTA_11/EqUserDefRec.jar
|
|
|
YES
5.7 /
3.0
|
YES
15.2 /
11.1
|
| Java_Bytecode_Recursive/BOG_RTA_11/Fibonacci.jar
|
|
|
YES
16.0 /
19.7
|
NO
12.2 /
6.6
|
| tecode_Recursive/BOG_RTA_11/FlattenTreeListRec.jar
|
|
|
YES
33.3 /
11.6
|
.
10.9 /
5.6
|
| a_Bytecode_Recursive/BOG_RTA_11/FlattenTreeRec.jar
|
|
|
YES
26.7 /
10.0
|
.
10.7 /
5.5
|
| Java_Bytecode_Recursive/BOG_RTA_11/Gopher.jar
|
|
|
YES
16.9 /
7.7
|
.
10.7 /
6.8
|
| Java_Bytecode_Recursive/BOG_RTA_11/GrowTreeR.jar
|
|
|
YES
23.9 /
9.8
|
.
11.1 /
8.6
|
| va_Bytecode_Recursive/BOG_RTA_11/IntListDupRec.jar
|
|
|
YES
11.4 /
7.7
|
.
11.8 /
7.4
|
| va_Bytecode_Recursive/BOG_RTA_11/IntListSumRec.jar
|
|
|
YES
10.5 /
6.4
|
.
11.1 /
6.0
|
| ava_Bytecode_Recursive/BOG_RTA_11/LeUserDefRec.jar
|
|
|
YES
5.4 /
5.0
|
YES
14.2 /
7.7
|
| va_Bytecode_Recursive/BOG_RTA_11/LessLeavesRec.jar
|
|
|
.
635.6 /
300.0
|
.
11.0 /
6.0
|
| ava_Bytecode_Recursive/BOG_RTA_11/LogRecursive.jar
|
|
|
YES
7.0 /
12.7
|
.
12.5 /
6.6
|
| Java_Bytecode_Recursive/BOG_RTA_11/Main.jar
|
|
|
YES
42.0 /
25.0
|
.
12.2 /
8.3
|
| Java_Bytecode_Recursive/BOG_RTA_11/MainCopy.jar
|
|
|
YES
18.7 /
8.9
|
.
10.8 /
14.0
|
| Java_Bytecode_Recursive/BOG_RTA_11/MainDelete.jar
|
|
|
YES
14.9 /
14.3
|
.
11.1 /
13.6
|
| Java_Bytecode_Recursive/BOG_RTA_11/MainFind.jar
|
|
|
YES
14.9 /
10.3
|
.
10.9 /
5.6
|
| Java_Bytecode_Recursive/BOG_RTA_11/MainGet.jar
|
|
|
YES
15.5 /
10.2
|
.
11.4 /
6.8
|
| Java_Bytecode_Recursive/BOG_RTA_11/MainMove.jar
|
|
|
YES
33.6 /
20.9
|
.
10.6 /
5.7
|
| Bytecode_Recursive/BOG_RTA_11/MirrorBinTreeRec.jar
|
|
|
YES
39.4 /
23.0
|
.
10.7 /
13.4
|
| tecode_Recursive/BOG_RTA_11/MirrorMultiTreeRec.jar
|
|
|
YES
35.6 /
13.5
|
.
10.8 /
5.8
|
| Java_Bytecode_Recursive/BOG_RTA_11/Nest.jar
|
|
|
YES
6.3 /
3.1
|
NO
11.7 /
6.3
|
| Java_Bytecode_Recursive/BOG_RTA_11/Norm.jar
|
|
|
YES
154.5 /
52.8
|
.
10.7 /
5.4
|
| ava_Bytecode_Recursive/BOG_RTA_11/QuicksortRec.jar
|
|
|
YES
28.3 /
11.3
|
.
11.1 /
5.9
|
| Java_Bytecode_Recursive/BOG_RTA_11/SearchTreeR.jar
|
|
|
YES
11.9 /
4.6
|
.
10.7 /
7.7
|
| Java_Bytecode_Recursive/BOG_RTA_11/Shuffle.jar
|
|
|
.
36.3 /
21.3
|
.
11.8 /
7.9
|
| _Bytecode_Recursive/BOG_RTA_11/TerminatorRec01.jar
|
|
|
YES
17.9 /
8.4
|
.
770.3 /
300.0
|
| _Bytecode_Recursive/BOG_RTA_11/TerminatorRec02.jar
|
|
|
YES
4.5 /
3.5
|
YES
13.0 /
9.1
|
| _Bytecode_Recursive/BOG_RTA_11/TerminatorRec03.jar
|
|
|
NO
3.1 /
1.9
|
NO
12.8 /
7.9
|
| _Bytecode_Recursive/BOG_RTA_11/TerminatorRec04.jar
|
|
|
NO
4.1 /
2.4
|
.
357.8 /
300.1
|
| Bytecode_Recursive/BOG_RTA_11/TimesPlusUserDef.jar
|
|
|
YES
9.9 /
4.0
|
YES
20.6 /
15.2
|
| Java_Bytecode_Recursive/BOG_RTA_11/TwoWay.jar
|
|
|
YES
5.0 /
3.7
|
NO
12.2 /
6.4
|
| e_Recursive/Costa_Julia_09-recursive/Ackermann.jar
|
|
|
YES
13.3 /
8.9
|
.
347.2 /
300.1
|
| ecode_Recursive/Costa_Julia_09-recursive/BTree.jar
|
|
|
YES
4.5 /
3.6
|
.
10.7 /
7.9
|
| sive/Costa_Julia_09-recursive/BinarySearchTree.jar
|
|
|
YES
3.3 /
2.7
|
.
10.4 /
5.5
|
| code_Recursive/Costa_Julia_09-recursive/Domino.jar
|
|
|
YES
177.5 /
98.1
|
.
11.8 /
5.9
|
| code_Recursive/Costa_Julia_09-recursive/Double.jar
|
|
|
YES
7.1 /
5.1
|
YES
131.8 /
156.7
|
| ode_Recursive/Costa_Julia_09-recursive/Double2.jar
|
|
|
YES
4.4 /
2.3
|
YES
43.1 /
25.7
|
| ode_Recursive/Costa_Julia_09-recursive/Double3.jar
|
|
|
YES
4.3 /
3.3
|
YES
26.4 /
14.2
|
| ode_Recursive/Costa_Julia_09-recursive/FactSum.jar
|
|
|
YES
3.7 /
5.0
|
YES
15.8 /
10.7
|
| Recursive/Costa_Julia_09-recursive/FactSumList.jar
|
|
|
YES
2.9 /
2.3
|
.
10.1 /
8.2
|
| e_Recursive/Costa_Julia_09-recursive/Factorial.jar
|
|
|
YES
2.9 /
1.8
|
YES
12.9 /
6.8
|
| ecode_Recursive/Costa_Julia_09-recursive/Hanoi.jar
|
|
|
YES
3.6 /
5.5
|
YES
225.2 /
171.1
|
| tecode_Recursive/Costa_Julia_09-recursive/List.jar
|
|
|
YES
3.5 /
2.5
|
.
10.6 /
6.9
|
| ode_Recursive/Costa_Julia_09-recursive/ListInt.jar
|
|
|
YES
3.4 /
2.0
|
.
11.5 /
7.2
|
| ive/Costa_Julia_09-recursive/MysteriousProgram.jar
|
|
|
.
327.5 /
300.0
|
.
35.3 /
21.7
|
| cursive/Costa_Julia_09-recursive/PartitionList.jar
|
|
|
YES
64.3 /
29.2
|
.
11.3 /
8.6
|
| ecode_Recursive/Costa_Julia_09-recursive/Queen.jar
|
|
|
YES
17.1 /
10.9
|
.
359.2 /
300.1
|
| _Recursive/Costa_Julia_09-recursive/TestJulia6.jar
|
|
|
NO
3.4 /
4.9
|
.
10.9 /
8.6
|
| _Recursive/Costa_Julia_09-recursive/TestJulia7.jar
|
|
|
NO
4.1 /
2.6
|
.
11.1 /
8.5
|
| ode_Recursive/Costa_Julia_09-recursive/Virtual.jar
|
|
|
YES
5.0 /
3.9
|
.
10.6 /
5.3
|
| ava_Bytecode_Recursive/Julia_10_Recursive/AckR.jar
|
|
|
YES
12.4 /
6.5
|
.
356.4 /
300.0
|
| a_Bytecode_Recursive/Julia_10_Recursive/BTreeR.jar
|
|
|
YES
11.2 /
5.9
|
.
10.8 /
6.3
|
| ecode_Recursive/Julia_10_Recursive/BubbleSortR.jar
|
|
|
YES
18.8 /
7.1
|
.
15.0 /
18.0
|
| _Bytecode_Recursive/Julia_10_Recursive/FactSLR.jar
|
|
|
YES
8.5 /
5.2
|
.
11.4 /
6.2
|
| a_Bytecode_Recursive/Julia_10_Recursive/FibSLR.jar
|
|
|
YES
8.2 /
3.8
|
.
11.9 /
6.9
|
| ava_Bytecode_Recursive/Julia_10_Recursive/HanR.jar
|
|
|
YES
8.6 /
4.1
|
YES
36.2 /
34.1
|
| a_Bytecode_Recursive/Julia_10_Recursive/Matrix.jar
|
|
|
.
341.8 /
300.1
|
.
12.1 /
6.6
|
| ytecode_Recursive/Julia_10_Recursive/MergeSort.jar
|
|
|
YES
28.5 /
29.0
|
.
14.5 /
9.3
|
| Java_Bytecode_Recursive/Julia_10_Recursive/Nim.jar
|
|
|
.
340.6 /
300.0
|
.
10.9 /
5.6
|
| va_Bytecode_Recursive/Julia_10_Recursive/Power.jar
|
|
|
YES
20.9 /
12.7
|
.
38.8 /
22.4
|
| tecode_Recursive/Julia_10_Recursive/Recursions.jar
|
|
|
YES
13.3 /
8.6
|
.
59.9 /
44.7
|
| a_Bytecode_Recursive/Julia_10_Recursive/Sudoku.jar
|
|
|
YES
66.4 /
27.6
|
.
11.2 /
6.7
|
| va_Bytecode_Recursive/Julia_10_Recursive/Test1.jar
|
|
|
YES
11.8 /
5.7
|
.
51.8 /
36.4
|
| a_Bytecode_Recursive/Julia_10_Recursive/Test10.jar
|
|
|
YES
8.3 /
10.7
|
.
330.1 /
300.0
|
| a_Bytecode_Recursive/Julia_10_Recursive/Test12.jar
|
|
|
YES
25.5 /
12.0
|
.
715.4 /
300.1
|
| va_Bytecode_Recursive/Julia_10_Recursive/Test4.jar
|
|
|
YES
108.3 /
68.0
|
.
10.7 /
5.6
|
| va_Bytecode_Recursive/Julia_10_Recursive/Test6.jar
|
|
|
YES
92.1 /
54.9
|
.
10.6 /
8.4
|
| va_Bytecode_Recursive/Julia_10_Recursive/Test8.jar
|
|
|
YES
18.9 /
7.4
|
.
10.7 /
5.6
|
| ytecode_Recursive/Julia_10_Recursive/TicTacToe.jar
|
|
|
.
388.8 /
300.0
|
.
11.6 /
6.1
|
| de_Recursive/Julia_10_Recursive/WorkingSignals.jar
|
|
|
YES
730.5 /
294.1
|
.
11.7 /
8.5
|
| Bytecode_Recursive/Julia_11_recursive/Binomial.jar
|
|
|
YES
31.1 /
22.8
|
.
24.9 /
15.1
|
| ytecode_Recursive/Julia_11_recursive/Fractale1.jar
|
|
|
YES
8.6 /
4.0
|
.
10.5 /
8.3
|
| va_Bytecode_Recursive/Julia_11_recursive/Parts.jar
|
|
|
YES
25.3 /
12.2
|
.
23.3 /
13.0
|
| e_Recursive/Julia_11_recursive/TaylorSeriesRec.jar
|
|
|
YES
35.7 /
13.3
|
.
53.3 /
51.0
|
| a_12_recursive/BMOG_CAV_12_MarkingGraphVisitor.jar
|
|
|
YES
31.4 /
17.3
|
.
11.7 /
6.3
|
| _Bytecode_Recursive/Julia_12_recursive/Et1-rec.jar
|
|
|
YES
9.4 /
3.8
|
YES
14.7 /
10.9
|
| _Bytecode_Recursive/Julia_12_recursive/Et2-rec.jar
|
|
|
YES
13.3 /
19.2
|
.
36.0 /
19.5
|
| _Bytecode_Recursive/Julia_12_recursive/Et3-rec.jar
|
|
|
YES
8.6 /
3.5
|
YES
15.1 /
8.5
|
| _Bytecode_Recursive/Julia_12_recursive/Et4-rec.jar
|
|
|
YES
18.5 /
12.9
|
.
50.0 /
35.5
|
| _Bytecode_Recursive/Julia_12_recursive/Et5-rec.jar
|
|
|
YES
22.4 /
10.2
|
.
302.0 /
300.0
|
| _Bytecode_Recursive/Julia_12_recursive/Et6-rec.jar
|
|
|
YES
23.8 /
10.9
|
.
265.0 /
300.0
|
| _Bytecode_Recursive/Julia_12_recursive/EvenOdd.jar
|
|
|
.
7.9 /
3.8
|
NO
14.0 /
10.4
|
| Recursive/Julia_12_recursive/alternDivWide_rec.jar
|
|
|
NO
3.7 /
3.3
|
.
18.4 /
10.7
|
| rsive/Julia_12_recursive/alternDivWidening_rec.jar
|
|
|
NO
10.9 /
5.5
|
.
14.6 /
7.9
|
| ode_Recursive/Julia_12_recursive/alternDiv_rec.jar
|
|
|
NO
3.6 /
2.2
|
.
11.6 /
6.2
|
| de_Recursive/Julia_12_recursive/alternKonv_rec.jar
|
|
|
NO
3.9 /
3.1
|
.
12.7 /
15.4
|
| _Recursive/Julia_12_recursive/complInterv2_rec.jar
|
|
|
NO
6.4 /
2.2
|
NO
11.6 /
6.2
|
| _Recursive/Julia_12_recursive/complInterv3_rec.jar
|
|
|
NO
3.4 /
2.1
|
NO
11.6 /
6.4
|
| e_Recursive/Julia_12_recursive/complxStruc_rec.jar
|
|
|
NO
6.5 /
5.1
|
.
22.5 /
14.4
|
| ode_Recursive/Julia_12_recursive/convLower_rec.jar
|
|
|
NO
3.3 /
3.6
|
NO
11.8 /
6.4
|
| tecode_Recursive/Julia_12_recursive/cousot_rec.jar
|
|
|
NO
3.8 /
2.5
|
NO
11.7 /
7.2
|
| Bytecode_Recursive/Julia_12_recursive/even_rec.jar
|
|
|
NO
3.4 /
2.7
|
NO
13.2 /
10.8
|
| Bytecode_Recursive/Julia_12_recursive/ex01_rec.jar
|
|
|
NO
3.4 /
2.2
|
NO
12.3 /
6.8
|
| Bytecode_Recursive/Julia_12_recursive/ex02_rec.jar
|
|
|
NO
3.4 /
2.3
|
NO
12.2 /
8.0
|
| Bytecode_Recursive/Julia_12_recursive/ex03_rec.jar
|
|
|
NO
3.3 /
2.0
|
NO
13.2 /
9.9
|
| Bytecode_Recursive/Julia_12_recursive/ex04_rec.jar
|
|
|
NO
3.1 /
1.9
|
NO
11.2 /
6.8
|
| Bytecode_Recursive/Julia_12_recursive/ex05_rec.jar
|
|
|
NO
3.1 /
1.9
|
NO
11.4 /
6.1
|
| Bytecode_Recursive/Julia_12_recursive/ex06_rec.jar
|
|
|
NO
3.3 /
2.1
|
NO
15.9 /
10.4
|
| Bytecode_Recursive/Julia_12_recursive/ex07_rec.jar
|
|
|
NO
3.2 /
3.8
|
NO
12.9 /
6.9
|
| Bytecode_Recursive/Julia_12_recursive/ex08_rec.jar
|
|
|
NO
6.2 /
2.8
|
.
444.2 /
300.0
|
| ytecode_Recursive/Julia_12_recursive/flip2_rec.jar
|
|
|
.
15.1 /
11.1
|
NO
24.5 /
15.7
|
| Bytecode_Recursive/Julia_12_recursive/flip_rec.jar
|
|
|
NO
3.7 /
2.2
|
NO
12.7 /
7.0
|
| tecode_Recursive/Julia_12_recursive/middle_rec.jar
|
|
|
NO
3.7 /
2.8
|
NO
12.3 /
6.7
|
| cursive/Julia_12_recursive/mirrorIntervSim_rec.jar
|
|
|
NO
4.7 /
7.2
|
NO
14.1 /
10.4
|
| _Recursive/Julia_12_recursive/mirrorInterv_rec.jar
|
|
|
NO
9.7 /
7.3
|
.
12.9 /
16.1
|
| de_Recursive/Julia_12_recursive/narrowKonv_rec.jar
|
|
|
NO
6.9 /
3.3
|
NO
12.2 /
8.9
|
| ode_Recursive/Julia_12_recursive/narrowing_rec.jar
|
|
|
.
56.7 /
27.3
|
NO
71.1 /
55.7
|
| e_Recursive/Julia_12_recursive/sumGeneric2_rec.jar
|
|
|
NO
4.1 /
2.6
|
NO
11.6 /
8.9
|
| de_Recursive/Julia_12_recursive/sumGeneric_rec.jar
|
|
|
NO
3.2 /
2.0
|
NO
11.7 /
6.7
|
| _Bytecode_Recursive/Julia_12_recursive/sum_rec.jar
|
|
|
NO
3.9 /
2.3
|
NO
11.6 /
6.3
|
| tecode_Recursive/Julia_12_recursive/sunset_rec.jar
|
|
|
NO
4.3 /
2.9
|
NO
27.9 /
23.1
|
| ecode_Recursive/Julia_12_recursive/trueDiv_rec.jar
|
|
|
NO
3.9 /
2.2
|
NO
11.3 /
8.1
|
| ecursive/Julia_12_recursive/twoFloatInterv_rec.jar
|
|
|
NO
5.5 /
10.0
|
.
16.8 /
9.9
|
| Recursive/Julia_12_recursive/upAndDownIneq_rec.jar
|
|
|
NO
7.1 /
7.9
|
NO
92.2 /
68.3
|
| ode_Recursive/Julia_12_recursive/upAndDown_rec.jar
|
|
|
NO
8.1 /
3.4
|
NO
197.8 /
147.8
|
| rsive/Julia_12_recursive/whileNestedOffset_rec.jar
|
|
|
NO
4.1 /
2.4
|
NO
14.8 /
8.0
|
| e_Recursive/Julia_12_recursive/whileNested_rec.jar
|
|
|
NO
3.9 /
2.3
|
NO
15.7 /
12.5
|
| ode_Recursive/Julia_12_recursive/whilePart_rec.jar
|
|
|
NO
3.2 /
2.5
|
NO
14.4 /
7.8
|
| e_Recursive/Julia_12_recursive/whileSingle_rec.jar
|
|
|
NO
3.5 /
2.1
|
NO
13.6 /
7.2
|