| Example | MCNP | COSTA |
|---|
| Aprove_09/AProVEMath.mc (intermediate clpq, original jar) | YES | 0.288 | YES | 0.000 |
| Aprove_09/Collatz.mc (intermediate clpq, original jar) | MAYBE | 0.336 | MAYBE | 0.000 |
| Aprove_09/Convert.mc (intermediate clpq, original jar) | MAYBE | 0.535 | MAYBE | 0.010 |
| Aprove_09/Count.mc (intermediate clpq, original jar) | MAYBE | 1.757 | MAYBE | 0.420 |
| Aprove_09/CountMetaList.mc (intermediate clpq, original jar) | MAYBE | 0.885 | MAYBE | 0.050 |
| Aprove_09/CountUpRound.mc (intermediate clpq, original jar) | YES | 0.011 | YES | 0.010 |
| Aprove_09/DivMinus.mc (intermediate clpq, original jar) | YES | 0.035 | YES | 0.020 |
| Aprove_09/DivMinus2.mc (intermediate clpq, original jar) | YES | 0.263 | YES | 0.009 |
| Aprove_09/DivWithoutMinus.mc (intermediate clpq, original jar) | MAYBE | 3.603 | YES | 0.010 |
| Aprove_09/Duplicate.mc (intermediate clpq, original jar) | MAYBE | 0.203 | YES | 0.010 |
| Aprove_09/DuplicateNodes.mc (intermediate clpq, original jar) | MAYBE | 1.722 | MAYBE | 0.130 |
| Aprove_09/Flatten.mc (intermediate clpq, original jar) | MAYBE | 0.989 | MAYBE | 0.421 |
| Aprove_09/FlattenTree.mc (intermediate clpq, original jar) | MAYBE | 1.307 | MAYBE | 0.420 |
| Aprove_09/GCD.mc (intermediate clpq, original jar) | MAYBE | 0.593 | MAYBE | 0.000 |
| Aprove_09/GCD2.mc (intermediate clpq, original jar) | MAYBE | 0.539 | MAYBE | 0.000 |
| Aprove_09/GCD3.mc (intermediate clpq, original jar) | MAYBE | 0.607 | MAYBE | 0.010 |
| Aprove_09/GCD4.mc (intermediate clpq, original jar) | MAYBE | 0.315 | MAYBE | 0.000 |
| Aprove_09/GCD5.mc (intermediate clpq, original jar) | MAYBE | 0.213 | MAYBE | 0.000 |
| Aprove_09/LessLeaves.mc (intermediate clpq, original jar) | MAYBE | 1.032 | MAYBE | 0.400 |
| Aprove_09/ListContent.mc (intermediate clpq, original jar) | YES | 0.141 | YES | 0.021 |
| Aprove_09/ListContentArbitrary.mc (intermediate clpq, original jar) | YES | 0.110 | YES | 0.010 |
| Aprove_09/ListContentTail.mc (intermediate clpq, original jar) | YES | 0.112 | YES | 0.020 |
| Aprove_09/ListDuplicate.mc (intermediate clpq, original jar) | MAYBE | 1.396 | MAYBE | 0.010 |
| Aprove_09/Log.mc (intermediate clpq, original jar) | MAYBE | 0.288 | MAYBE | 0.010 |
| Aprove_09/LogAG.mc (intermediate clpq, original jar) | MAYBE | 0.278 | MAYBE | 0.010 |
| Aprove_09/LogBuiltIn.mc (intermediate clpq, original jar) | YES | 0.025 | YES | 0.000 |
| Aprove_09/LogIterative.mc (intermediate clpq, original jar) | MAYBE | 0.291 | MAYBE | 0.000 |
| Aprove_09/LogMult.mc (intermediate clpq, original jar) | MAYBE | 0.150 | MAYBE | 0.000 |
| Aprove_09/McCarthyIterative.mc (intermediate clpq, original jar) | MAYBE | 0.296 | MAYBE | 0.000 |
| Aprove_09/MinusBuiltIn.mc (intermediate clpq, original jar) | YES | 0.010 | YES | 0.010 |
| Aprove_09/MinusMin.mc (intermediate clpq, original jar) | MAYBE | 0.147 | MAYBE | 0.000 |
| Aprove_09/MinusUserDefined.mc (intermediate clpq, original jar) | MAYBE | 0.171 | MAYBE | 0.011 |
| Aprove_09/MirrorTree.mc (intermediate clpq, original jar) | MAYBE | 0.467 | MAYBE | 0.120 |
| Aprove_09/Mod.mc (intermediate clpq, original jar) | YES | 0.248 | YES | 0.010 |
| Aprove_09/Overflow.mc (intermediate clpq, original jar) | YES | 0.010 | YES | 0.010 |
| Aprove_09/PastaA1.mc (intermediate clpq, original jar) | YES | 0.033 | YES | 0.010 |
| Aprove_09/PastaA10.mc (intermediate clpq, original jar) | MAYBE | 0.250 | YES | 0.010 |
| Aprove_09/PastaA4.mc (intermediate clpq, original jar) | YES | 0.008 | YES | 0.010 |
| Aprove_09/PastaA5.mc (intermediate clpq, original jar) | YES | 0.008 | YES | 0.000 |
| Aprove_09/PastaA6.mc (intermediate clpq, original jar) | MAYBE | 0.150 | YES | 0.020 |
| Aprove_09/PastaA7.mc (intermediate clpq, original jar) | YES | 0.010 | YES | 0.010 |
| Aprove_09/PastaA8.mc (intermediate clpq, original jar) | MAYBE | 0.118 | YES | 0.011 |
| Aprove_09/PastaA9.mc (intermediate clpq, original jar) | MAYBE | 0.153 | YES | 0.000 |
| Aprove_09/PastaB1.mc (intermediate clpq, original jar) | YES | 0.016 | YES | 0.010 |
| Aprove_09/PastaB10.mc (intermediate clpq, original jar) | YES | 0.066 | YES | 0.010 |
| Aprove_09/PastaB11.mc (intermediate clpq, original jar) | YES | 0.133 | YES | 0.029 |
| Aprove_09/PastaB12.mc (intermediate clpq, original jar) | YES | 0.522 | YES | 0.000 |
| Aprove_09/PastaB13.mc (intermediate clpq, original jar) | YES | 0.218 | YES | 0.000 |
| Aprove_09/PastaB14.mc (intermediate clpq, original jar) | YES | 0.053 | YES | 0.011 |
| Aprove_09/PastaB15.mc (intermediate clpq, original jar) | YES | 0.041 | YES | 0.010 |
| Aprove_09/PastaB16.mc (intermediate clpq, original jar) | YES | 0.052 | YES | 0.010 |
| Aprove_09/PastaB17.mc (intermediate clpq, original jar) | YES | 0.038 | YES | 0.010 |
| Aprove_09/PastaB18.mc (intermediate clpq, original jar) | YES | 0.111 | YES | 0.010 |
| Aprove_09/PastaB2.mc (intermediate clpq, original jar) | YES | 0.008 | YES | 0.011 |
| Aprove_09/PastaB3.mc (intermediate clpq, original jar) | MAYBE | 0.124 | YES | 0.000 |
| Aprove_09/PastaB4.mc (intermediate clpq, original jar) | YES | 0.010 | YES | 0.010 |
| Aprove_09/PastaB5.mc (intermediate clpq, original jar) | YES | 0.025 | YES | 0.010 |
| Aprove_09/PastaB6.mc (intermediate clpq, original jar) | YES | 0.025 | YES | 0.000 |
| Aprove_09/PastaB7.mc (intermediate clpq, original jar) | YES | 0.026 | YES | 0.010 |
| Aprove_09/PastaB8.mc (intermediate clpq, original jar) | MAYBE | 0.517 | YES | 0.010 |
| Aprove_09/PastaC1.mc (intermediate clpq, original jar) | MAYBE | 0.153 | YES | 0.010 |
| Aprove_09/PastaC10.mc (intermediate clpq, original jar) | MAYBE | 0.306 | YES | 0.020 |
| Aprove_09/PastaC11.mc (intermediate clpq, original jar) | YES | 0.069 | YES | 0.000 |
| Aprove_09/PastaC2.mc (intermediate clpq, original jar) | YES | 0.039 | YES | 0.000 |
| Aprove_09/PastaC3.mc (intermediate clpq, original jar) | YES | 0.025 | YES | 0.010 |
| Aprove_09/PastaC5.mc (intermediate clpq, original jar) | MAYBE | 0.643 | YES | 0.020 |
| Aprove_09/PastaC7.mc (intermediate clpq, original jar) | YES | 0.018 | YES | 0.000 |
| Aprove_09/PastaC9.mc (intermediate clpq, original jar) | YES | 0.073 | YES | 0.010 |
| Aprove_09/PlusSwap.mc (intermediate clpq, original jar) | YES | 0.039 | MAYBE | 0.000 |
| Aprove_09/Round3.mc (intermediate clpq, original jar) | MAYBE | 0.120 | MAYBE | 0.000 |
| Aprove_09/RunningPointers.mc (intermediate clpq, original jar) | YES | 0.089 | YES | 0.010 |
| Aprove_09/Samefringe.mc (intermediate clpq, original jar) | MAYBE | 1.141 | MAYBE | 0.390 |
| Aprove_09/Shuffle.mc (intermediate clpq, original jar) | MAYBE | 0.852 | MAYBE | 0.418 |
| Aprove_09/SortCount.mc (intermediate clpq, original jar) | MAYBE | 0.982 | MAYBE | 0.591 |
| Aprove_09/StupidArray.mc (intermediate clpq, original jar) | YES | 0.000 | YES | 0.000 |
| Aprove_09/Take.mc (intermediate clpq, original jar) | YES | 0.024 | YES | 0.020 |
| AProVE_10/AG313.mc (intermediate clpq, original jar) | YES | 0.030 | YES | 0.010 |
| AProVE_10/ArrayClasses.mc (intermediate clpq, original jar) | MAYBE | 0.105 | MAYBE | 0.000 |
| AProVE_10/CyclicList.mc (intermediate clpq, original jar) | YES | 0.060 | YES | 0.010 |
| AProVE_10/CyclicPair.mc (intermediate clpq, original jar) | MAYBE | 0.344 | MAYBE | 0.000 |
| AProVE_10/CyclicPair2.mc (intermediate clpq, original jar) | MAYBE | 0.126 | MAYBE | 0.000 |
| AProVE_10/DuplicateTreePath.mc (intermediate clpq, original jar) | MAYBE | 1.839 | MAYBE | 0.450 |
| AProVE_10/FlattenRTA.mc (intermediate clpq, original jar) | MAYBE | 1.242 | MAYBE | 0.430 |
| AProVE_10/IntPath.mc (intermediate clpq, original jar) | MAYBE | 0.136 | MAYBE | 0.000 |
| AProVE_10/IntPath2.mc (intermediate clpq, original jar) | MAYBE | 0.340 | MAYBE | 0.000 |
| AProVE_10/IntRTA.mc (intermediate clpq, original jar) | YES | 0.000 | YES | 0.000 |
| AProVE_10/NestedLoop.mc (intermediate clpq, original jar) | YES | 0.137 | YES | 0.069 |
| AProVE_10/NullPair.mc (intermediate clpq, original jar) | MAYBE | 0.107 | MAYBE | 0.000 |
| AProVE_10/SharingPair.mc (intermediate clpq, original jar) | MAYBE | 1.862 | MAYBE | 0.020 |
| AProVE_10/TypeSwitch.mc (intermediate clpq, original jar) | MAYBE | 0.138 | MAYBE | 0.000 |
| Costa_Julia_09/Break.mc (intermediate clpq, original jar) | YES | 0.012 | YES | 0.010 |
| Costa_Julia_09/BubbleSort.mc (intermediate clpq, original jar) | YES | 0.096 | YES | 0.030 |
| Costa_Julia_09/Continue.mc (intermediate clpq, original jar) | MAYBE | 0.178 | MAYBE | 0.000 |
| Costa_Julia_09/Continue1.mc (intermediate clpq, original jar) | YES | 0.024 | YES | 0.000 |
| Costa_Julia_09/CyclicalListDuplicate.mc (intermediate clpq, original jar) | MAYBE | 1.395 | MAYBE | 0.010 |
| Costa_Julia_09/Diff.mc (intermediate clpq, original jar) | YES | 0.533 | YES | 0.670 |
| Costa_Julia_09/Exc.mc (intermediate clpq, original jar) | YES | 0.032 | YES | 0.010 |
| Costa_Julia_09/Exc1.mc (intermediate clpq, original jar) | MAYBE | 0.291 | MAYBE | 0.000 |
| Costa_Julia_09/Exc2.mc (intermediate clpq, original jar) | MAYBE | 0.186 | MAYBE | 0.000 |
| Costa_Julia_09/Exc3.mc (intermediate clpq, original jar) | YES | 0.024 | YES | 0.010 |
| Costa_Julia_09/Exc4.mc (intermediate clpq, original jar) | MAYBE | 0.179 | MAYBE | 0.009 |
| Costa_Julia_09/Exc5.mc (intermediate clpq, original jar) | YES | 0.025 | YES | 0.010 |
| Costa_Julia_09/Init.mc (intermediate clpq, original jar) | MAYBE | 0.110 | MAYBE | 0.010 |
| Costa_Julia_09/KnapsackDP.mc (intermediate clpq, original jar) | YES | 0.856 | YES | 0.140 |
| Costa_Julia_09/LinkedList.mc (intermediate clpq, original jar) | MAYBE | 0.498 | MAYBE | 0.020 |
| Costa_Julia_09/Loop1.mc (intermediate clpq, original jar) | YES | 0.011 | YES | 0.000 |
| Costa_Julia_09/Nested.mc (intermediate clpq, original jar) | YES | 0.025 | YES | 0.010 |
| Costa_Julia_09/Sequence.mc (intermediate clpq, original jar) | YES | 0.021 | YES | 0.010 |
| Costa_Julia_09/Sharing.mc (intermediate clpq, original jar) | YES | 0.038 | YES | 0.000 |
| Costa_Julia_09/TestJulia1.mc (intermediate clpq, original jar) | MAYBE | 0.266 | MAYBE | 0.000 |
| Costa_Julia_09/TestJulia3.mc (intermediate clpq, original jar) | YES | 0.031 | YES | 0.020 |
| Costa_Julia_09/TestJulia4.mc (intermediate clpq, original jar) | MAYBE | 0.181 | MAYBE | 0.000 |
| Costa_Julia_09/TestJulia5.mc (intermediate clpq, original jar) | YES | 0.174 | YES | 0.010 |
| Costa_Julia_09_recursive/Ackermann.mc (intermediate clpq, original jar) | YES | 0.131 | YES | 0.010 |
| Costa_Julia_09_recursive/BinarySearchTree.mc (intermediate clpq, original jar) | YES | 0.316 | YES | 0.000 |
| Costa_Julia_09_recursive/BTree.mc (intermediate clpq, original jar) | YES | 0.568 | YES | 0.010 |
| Costa_Julia_09_recursive/Double.mc (intermediate clpq, original jar) | MAYBE | 0.155 | YES | 0.020 |
| Costa_Julia_09_recursive/Double2.mc (intermediate clpq, original jar) | YES | 0.054 | YES | 0.000 |
| Costa_Julia_09_recursive/Double3.mc (intermediate clpq, original jar) | YES | 0.052 | YES | 0.000 |
| Costa_Julia_09_recursive/Factorial.mc (intermediate clpq, original jar) | YES | 0.019 | YES | 0.000 |
| Costa_Julia_09_recursive/FactSum.mc (intermediate clpq, original jar) | YES | 0.060 | YES | 0.010 |
| Costa_Julia_09_recursive/FactSumList.mc (intermediate clpq, original jar) | YES | 0.029 | YES | 0.020 |
| Costa_Julia_09_recursive/Hanoi.mc (intermediate clpq, original jar) | YES | 0.168 | YES | 0.070 |
| Costa_Julia_09_recursive/List.mc (intermediate clpq, original jar) | YES | 0.300 | YES | 0.020 |
| Costa_Julia_09_recursive/ListInt.mc (intermediate clpq, original jar) | YES | 0.442 | YES | 0.030 |
| Costa_Julia_09_recursive/MysteriousProgram.mc (intermediate clpq, original jar) | YES | 0.642 | TIMEOUT | 120 |
| Costa_Julia_09_recursive/PartitionList.mc (intermediate clpq, original jar) | YES | 1.439 | YES | 0.050 |
| Costa_Julia_09_recursive/Queen.mc (intermediate clpq, original jar) | YES | 1.344 | TIMEOUT | 120 |
| Costa_Julia_09_recursive/TestJulia6.mc (intermediate clpq, original jar) | YES | 0.052 | YES | 0.010 |
| Costa_Julia_09_recursive/TestJulia7.mc (intermediate clpq, original jar) | MAYBE | 0.127 | MAYBE | 0.000 |
| Costa_Julia_09_recursive/Virtual.mc (intermediate clpq, original jar) | MAYBE | 0.238 | MAYBE | 0.010 |
| Julia_10_Iterative/Carre.mc (intermediate clpq, original jar) | YES | 0.085 | YES | 0.050 |
| Julia_10_Iterative/Gauss.mc (intermediate clpq, original jar) | MAYBE | 5.227 | MAYBE | 0.781 |
| Julia_10_Iterative/Graph.mc (intermediate clpq, original jar) | MAYBE | 6.819 | TIMEOUT | 120 |
| Julia_10_Iterative/Infix2Postfix.mc (intermediate clpq, original jar) | YES | 2.457 | YES | 0.090 |
| Julia_10_Iterative/Iterations.mc (intermediate clpq, original jar) | YES | 0.180 | YES | 0.110 |
| Julia_10_Iterative/NonPeriodic.mc (intermediate clpq, original jar) | MAYBE | 0.327 | MAYBE | 0.000 |
| Julia_10_Iterative/RSA.mc (intermediate clpq, original jar) | MAYBE | 2.913 | MAYBE | 0.220 |
| Julia_10_Iterative/Test11.mc (intermediate clpq, original jar) | MAYBE | 0.152 | YES | 0.010 |
| Julia_10_Iterative/Test13Loops.mc (intermediate clpq, original jar) | MAYBE | 0.470 | MAYBE | 0.010 |
| Julia_10_Iterative/Test2.mc (intermediate clpq, original jar) | YES | 0.163 | YES | 0.060 |
| Julia_10_Iterative/Test3.mc (intermediate clpq, original jar) | YES | 0.651 | YES | 0.020 |
| Julia_10_Iterative/Test5.mc (intermediate clpq, original jar) | YES | 9.635 | YES | 1.650 |
| Julia_10_Iterative/Test7.mc (intermediate clpq, original jar) | MAYBE | 0.490 | MAYBE | 0.040 |
| Julia_10_Iterative/Test9.mc (intermediate clpq, original jar) | MAYBE | 0.538 | MAYBE | 0.031 |
| Julia_10_Iterative/TriTas.mc (intermediate clpq, original jar) | YES | 0.306 | YES | 0.220 |
| Julia_10_Recursive/AckR.mc (intermediate clpq, original jar) | YES | 0.130 | YES | 0.000 |
| Julia_10_Recursive/BTreeR.mc (intermediate clpq, original jar) | YES | 0.307 | YES | 0.000 |
| Julia_10_Recursive/BubbleSortR.mc (intermediate clpq, original jar) | YES | 0.227 | YES | 0.030 |
| Julia_10_Recursive/FactSLR.mc (intermediate clpq, original jar) | YES | 0.069 | YES | 0.010 |
| Julia_10_Recursive/FibSLR.mc (intermediate clpq, original jar) | YES | 0.069 | YES | 0.000 |
| Julia_10_Recursive/HanR.mc (intermediate clpq, original jar) | YES | 0.165 | YES | 0.070 |
| Julia_10_Recursive/Matrix.mc (intermediate clpq, original jar) | MAYBE | 6.387 | MAYBE | 2.780 |
| Julia_10_Recursive/MergeSort.mc (intermediate clpq, original jar) | YES | 0.360 | YES | 0.260 |
| Julia_10_Recursive/Nim.mc (intermediate clpq, original jar) | MAYBE | 0.679 | MAYBE | 0.240 |
| Julia_10_Recursive/Power.mc (intermediate clpq, original jar) | MAYBE | 0.342 | YES | 0.020 |
| Julia_10_Recursive/Recursions.mc (intermediate clpq, original jar) | YES | 0.159 | YES | 0.050 |
| Julia_10_Recursive/Sudoku.mc (intermediate clpq, original jar) | YES | 7.312 | TIMEOUT | 120 |
| Julia_10_Recursive/Test1.mc (intermediate clpq, original jar) | YES | 0.163 | YES | 0.070 |
| Julia_10_Recursive/Test10.mc (intermediate clpq, original jar) | MAYBE | 0.263 | MAYBE | 0.010 |
| Julia_10_Recursive/Test12.mc (intermediate clpq, original jar) | MAYBE | 0.210 | YES | 0.020 |
| Julia_10_Recursive/Test4.mc (intermediate clpq, original jar) | YES | 0.529 | YES | 0.010 |
| Julia_10_Recursive/Test6.mc (intermediate clpq, original jar) | YES | 16.305 | TIMEOUT | 120 |
| Julia_10_Recursive/Test8.mc (intermediate clpq, original jar) | MAYBE | 0.870 | MAYBE | 0.030 |
| Julia_10_Recursive/WorkingSignals.mc (intermediate clpq, original jar) | YES | 0.725 | YES | 0.080 |