Results on Suite 2

ExampleMCNPCOSTA
Aprove_09/AProVEMath.mc (intermediate clpq, original jar)YES0.288YES0.000
Aprove_09/Collatz.mc (intermediate clpq, original jar)MAYBE0.336MAYBE0.000
Aprove_09/Convert.mc (intermediate clpq, original jar)MAYBE0.535MAYBE0.010
Aprove_09/Count.mc (intermediate clpq, original jar)MAYBE1.757MAYBE0.420
Aprove_09/CountMetaList.mc (intermediate clpq, original jar)MAYBE0.885MAYBE0.050
Aprove_09/CountUpRound.mc (intermediate clpq, original jar)YES0.011YES0.010
Aprove_09/DivMinus.mc (intermediate clpq, original jar)YES0.035YES0.020
Aprove_09/DivMinus2.mc (intermediate clpq, original jar)YES0.263YES0.009
Aprove_09/DivWithoutMinus.mc (intermediate clpq, original jar)MAYBE3.603YES0.010
Aprove_09/Duplicate.mc (intermediate clpq, original jar)MAYBE0.203YES0.010
Aprove_09/DuplicateNodes.mc (intermediate clpq, original jar)MAYBE1.722MAYBE0.130
Aprove_09/Flatten.mc (intermediate clpq, original jar)MAYBE0.989MAYBE0.421
Aprove_09/FlattenTree.mc (intermediate clpq, original jar)MAYBE1.307MAYBE0.420
Aprove_09/GCD.mc (intermediate clpq, original jar)MAYBE0.593MAYBE0.000
Aprove_09/GCD2.mc (intermediate clpq, original jar)MAYBE0.539MAYBE0.000
Aprove_09/GCD3.mc (intermediate clpq, original jar)MAYBE0.607MAYBE0.010
Aprove_09/GCD4.mc (intermediate clpq, original jar)MAYBE0.315MAYBE0.000
Aprove_09/GCD5.mc (intermediate clpq, original jar)MAYBE0.213MAYBE0.000
Aprove_09/LessLeaves.mc (intermediate clpq, original jar)MAYBE1.032MAYBE0.400
Aprove_09/ListContent.mc (intermediate clpq, original jar)YES0.141YES0.021
Aprove_09/ListContentArbitrary.mc (intermediate clpq, original jar)YES0.110YES0.010
Aprove_09/ListContentTail.mc (intermediate clpq, original jar)YES0.112YES0.020
Aprove_09/ListDuplicate.mc (intermediate clpq, original jar)MAYBE1.396MAYBE0.010
Aprove_09/Log.mc (intermediate clpq, original jar)MAYBE0.288MAYBE0.010
Aprove_09/LogAG.mc (intermediate clpq, original jar)MAYBE0.278MAYBE0.010
Aprove_09/LogBuiltIn.mc (intermediate clpq, original jar)YES0.025YES0.000
Aprove_09/LogIterative.mc (intermediate clpq, original jar)MAYBE0.291MAYBE0.000
Aprove_09/LogMult.mc (intermediate clpq, original jar)MAYBE0.150MAYBE0.000
Aprove_09/McCarthyIterative.mc (intermediate clpq, original jar)MAYBE0.296MAYBE0.000
Aprove_09/MinusBuiltIn.mc (intermediate clpq, original jar)YES0.010YES0.010
Aprove_09/MinusMin.mc (intermediate clpq, original jar)MAYBE0.147MAYBE0.000
Aprove_09/MinusUserDefined.mc (intermediate clpq, original jar)MAYBE0.171MAYBE0.011
Aprove_09/MirrorTree.mc (intermediate clpq, original jar)MAYBE0.467MAYBE0.120
Aprove_09/Mod.mc (intermediate clpq, original jar)YES0.248YES0.010
Aprove_09/Overflow.mc (intermediate clpq, original jar)YES0.010YES0.010
Aprove_09/PastaA1.mc (intermediate clpq, original jar)YES0.033YES0.010
Aprove_09/PastaA10.mc (intermediate clpq, original jar)MAYBE0.250YES0.010
Aprove_09/PastaA4.mc (intermediate clpq, original jar)YES0.008YES0.010
Aprove_09/PastaA5.mc (intermediate clpq, original jar)YES0.008YES0.000
Aprove_09/PastaA6.mc (intermediate clpq, original jar)MAYBE0.150YES0.020
Aprove_09/PastaA7.mc (intermediate clpq, original jar)YES0.010YES0.010
Aprove_09/PastaA8.mc (intermediate clpq, original jar)MAYBE0.118YES0.011
Aprove_09/PastaA9.mc (intermediate clpq, original jar)MAYBE0.153YES0.000
Aprove_09/PastaB1.mc (intermediate clpq, original jar)YES0.016YES0.010
Aprove_09/PastaB10.mc (intermediate clpq, original jar)YES0.066YES0.010
Aprove_09/PastaB11.mc (intermediate clpq, original jar)YES0.133YES0.029
Aprove_09/PastaB12.mc (intermediate clpq, original jar)YES0.522YES0.000
Aprove_09/PastaB13.mc (intermediate clpq, original jar)YES0.218YES0.000
Aprove_09/PastaB14.mc (intermediate clpq, original jar)YES0.053YES0.011
Aprove_09/PastaB15.mc (intermediate clpq, original jar)YES0.041YES0.010
Aprove_09/PastaB16.mc (intermediate clpq, original jar)YES0.052YES0.010
Aprove_09/PastaB17.mc (intermediate clpq, original jar)YES0.038YES0.010
Aprove_09/PastaB18.mc (intermediate clpq, original jar)YES0.111YES0.010
Aprove_09/PastaB2.mc (intermediate clpq, original jar)YES0.008YES0.011
Aprove_09/PastaB3.mc (intermediate clpq, original jar)MAYBE0.124YES0.000
Aprove_09/PastaB4.mc (intermediate clpq, original jar)YES0.010YES0.010
Aprove_09/PastaB5.mc (intermediate clpq, original jar)YES0.025YES0.010
Aprove_09/PastaB6.mc (intermediate clpq, original jar)YES0.025YES0.000
Aprove_09/PastaB7.mc (intermediate clpq, original jar)YES0.026YES0.010
Aprove_09/PastaB8.mc (intermediate clpq, original jar)MAYBE0.517YES0.010
Aprove_09/PastaC1.mc (intermediate clpq, original jar)MAYBE0.153YES0.010
Aprove_09/PastaC10.mc (intermediate clpq, original jar)MAYBE0.306YES0.020
Aprove_09/PastaC11.mc (intermediate clpq, original jar)YES0.069YES0.000
Aprove_09/PastaC2.mc (intermediate clpq, original jar)YES0.039YES0.000
Aprove_09/PastaC3.mc (intermediate clpq, original jar)YES0.025YES0.010
Aprove_09/PastaC5.mc (intermediate clpq, original jar)MAYBE0.643YES0.020
Aprove_09/PastaC7.mc (intermediate clpq, original jar)YES0.018YES0.000
Aprove_09/PastaC9.mc (intermediate clpq, original jar)YES0.073YES0.010
Aprove_09/PlusSwap.mc (intermediate clpq, original jar)YES0.039MAYBE0.000
Aprove_09/Round3.mc (intermediate clpq, original jar)MAYBE0.120MAYBE0.000
Aprove_09/RunningPointers.mc (intermediate clpq, original jar)YES0.089YES0.010
Aprove_09/Samefringe.mc (intermediate clpq, original jar)MAYBE1.141MAYBE0.390
Aprove_09/Shuffle.mc (intermediate clpq, original jar)MAYBE0.852MAYBE0.418
Aprove_09/SortCount.mc (intermediate clpq, original jar)MAYBE0.982MAYBE0.591
Aprove_09/StupidArray.mc (intermediate clpq, original jar)YES0.000YES0.000
Aprove_09/Take.mc (intermediate clpq, original jar)YES0.024YES0.020
AProVE_10/AG313.mc (intermediate clpq, original jar)YES0.030YES0.010
AProVE_10/ArrayClasses.mc (intermediate clpq, original jar)MAYBE0.105MAYBE0.000
AProVE_10/CyclicList.mc (intermediate clpq, original jar)YES0.060YES0.010
AProVE_10/CyclicPair.mc (intermediate clpq, original jar)MAYBE0.344MAYBE0.000
AProVE_10/CyclicPair2.mc (intermediate clpq, original jar)MAYBE0.126MAYBE0.000
AProVE_10/DuplicateTreePath.mc (intermediate clpq, original jar)MAYBE1.839MAYBE0.450
AProVE_10/FlattenRTA.mc (intermediate clpq, original jar)MAYBE1.242MAYBE0.430
AProVE_10/IntPath.mc (intermediate clpq, original jar)MAYBE0.136MAYBE0.000
AProVE_10/IntPath2.mc (intermediate clpq, original jar)MAYBE0.340MAYBE0.000
AProVE_10/IntRTA.mc (intermediate clpq, original jar)YES0.000YES0.000
AProVE_10/NestedLoop.mc (intermediate clpq, original jar)YES0.137YES0.069
AProVE_10/NullPair.mc (intermediate clpq, original jar)MAYBE0.107MAYBE0.000
AProVE_10/SharingPair.mc (intermediate clpq, original jar)MAYBE1.862MAYBE0.020
AProVE_10/TypeSwitch.mc (intermediate clpq, original jar)MAYBE0.138MAYBE0.000
Costa_Julia_09/Break.mc (intermediate clpq, original jar)YES0.012YES0.010
Costa_Julia_09/BubbleSort.mc (intermediate clpq, original jar)YES0.096YES0.030
Costa_Julia_09/Continue.mc (intermediate clpq, original jar)MAYBE0.178MAYBE0.000
Costa_Julia_09/Continue1.mc (intermediate clpq, original jar)YES0.024YES0.000
Costa_Julia_09/CyclicalListDuplicate.mc (intermediate clpq, original jar)MAYBE1.395MAYBE0.010
Costa_Julia_09/Diff.mc (intermediate clpq, original jar)YES0.533YES0.670
Costa_Julia_09/Exc.mc (intermediate clpq, original jar)YES0.032YES0.010
Costa_Julia_09/Exc1.mc (intermediate clpq, original jar)MAYBE0.291MAYBE0.000
Costa_Julia_09/Exc2.mc (intermediate clpq, original jar)MAYBE0.186MAYBE0.000
Costa_Julia_09/Exc3.mc (intermediate clpq, original jar)YES0.024YES0.010
Costa_Julia_09/Exc4.mc (intermediate clpq, original jar)MAYBE0.179MAYBE0.009
Costa_Julia_09/Exc5.mc (intermediate clpq, original jar)YES0.025YES0.010
Costa_Julia_09/Init.mc (intermediate clpq, original jar)MAYBE0.110MAYBE0.010
Costa_Julia_09/KnapsackDP.mc (intermediate clpq, original jar)YES0.856YES0.140
Costa_Julia_09/LinkedList.mc (intermediate clpq, original jar)MAYBE0.498MAYBE0.020
Costa_Julia_09/Loop1.mc (intermediate clpq, original jar)YES0.011YES0.000
Costa_Julia_09/Nested.mc (intermediate clpq, original jar)YES0.025YES0.010
Costa_Julia_09/Sequence.mc (intermediate clpq, original jar)YES0.021YES0.010
Costa_Julia_09/Sharing.mc (intermediate clpq, original jar)YES0.038YES0.000
Costa_Julia_09/TestJulia1.mc (intermediate clpq, original jar)MAYBE0.266MAYBE0.000
Costa_Julia_09/TestJulia3.mc (intermediate clpq, original jar)YES0.031YES0.020
Costa_Julia_09/TestJulia4.mc (intermediate clpq, original jar)MAYBE0.181MAYBE0.000
Costa_Julia_09/TestJulia5.mc (intermediate clpq, original jar)YES0.174YES0.010
Costa_Julia_09_recursive/Ackermann.mc (intermediate clpq, original jar)YES0.131YES0.010
Costa_Julia_09_recursive/BinarySearchTree.mc (intermediate clpq, original jar)YES0.316YES0.000
Costa_Julia_09_recursive/BTree.mc (intermediate clpq, original jar)YES0.568YES0.010
Costa_Julia_09_recursive/Double.mc (intermediate clpq, original jar)MAYBE0.155YES0.020
Costa_Julia_09_recursive/Double2.mc (intermediate clpq, original jar)YES0.054YES0.000
Costa_Julia_09_recursive/Double3.mc (intermediate clpq, original jar)YES0.052YES0.000
Costa_Julia_09_recursive/Factorial.mc (intermediate clpq, original jar)YES0.019YES0.000
Costa_Julia_09_recursive/FactSum.mc (intermediate clpq, original jar)YES0.060YES0.010
Costa_Julia_09_recursive/FactSumList.mc (intermediate clpq, original jar)YES0.029YES0.020
Costa_Julia_09_recursive/Hanoi.mc (intermediate clpq, original jar)YES0.168YES0.070
Costa_Julia_09_recursive/List.mc (intermediate clpq, original jar)YES0.300YES0.020
Costa_Julia_09_recursive/ListInt.mc (intermediate clpq, original jar)YES0.442YES0.030
Costa_Julia_09_recursive/MysteriousProgram.mc (intermediate clpq, original jar)YES0.642TIMEOUT120
Costa_Julia_09_recursive/PartitionList.mc (intermediate clpq, original jar)YES1.439YES0.050
Costa_Julia_09_recursive/Queen.mc (intermediate clpq, original jar)YES1.344TIMEOUT120
Costa_Julia_09_recursive/TestJulia6.mc (intermediate clpq, original jar)YES0.052YES0.010
Costa_Julia_09_recursive/TestJulia7.mc (intermediate clpq, original jar)MAYBE0.127MAYBE0.000
Costa_Julia_09_recursive/Virtual.mc (intermediate clpq, original jar)MAYBE0.238MAYBE0.010
Julia_10_Iterative/Carre.mc (intermediate clpq, original jar)YES0.085YES0.050
Julia_10_Iterative/Gauss.mc (intermediate clpq, original jar)MAYBE5.227MAYBE0.781
Julia_10_Iterative/Graph.mc (intermediate clpq, original jar)MAYBE6.819TIMEOUT120
Julia_10_Iterative/Infix2Postfix.mc (intermediate clpq, original jar)YES2.457YES0.090
Julia_10_Iterative/Iterations.mc (intermediate clpq, original jar)YES0.180YES0.110
Julia_10_Iterative/NonPeriodic.mc (intermediate clpq, original jar)MAYBE0.327MAYBE0.000
Julia_10_Iterative/RSA.mc (intermediate clpq, original jar)MAYBE2.913MAYBE0.220
Julia_10_Iterative/Test11.mc (intermediate clpq, original jar)MAYBE0.152YES0.010
Julia_10_Iterative/Test13Loops.mc (intermediate clpq, original jar)MAYBE0.470MAYBE0.010
Julia_10_Iterative/Test2.mc (intermediate clpq, original jar)YES0.163YES0.060
Julia_10_Iterative/Test3.mc (intermediate clpq, original jar)YES0.651YES0.020
Julia_10_Iterative/Test5.mc (intermediate clpq, original jar)YES9.635YES1.650
Julia_10_Iterative/Test7.mc (intermediate clpq, original jar)MAYBE0.490MAYBE0.040
Julia_10_Iterative/Test9.mc (intermediate clpq, original jar)MAYBE0.538MAYBE0.031
Julia_10_Iterative/TriTas.mc (intermediate clpq, original jar)YES0.306YES0.220
Julia_10_Recursive/AckR.mc (intermediate clpq, original jar)YES0.130YES0.000
Julia_10_Recursive/BTreeR.mc (intermediate clpq, original jar)YES0.307YES0.000
Julia_10_Recursive/BubbleSortR.mc (intermediate clpq, original jar)YES0.227YES0.030
Julia_10_Recursive/FactSLR.mc (intermediate clpq, original jar)YES0.069YES0.010
Julia_10_Recursive/FibSLR.mc (intermediate clpq, original jar)YES0.069YES0.000
Julia_10_Recursive/HanR.mc (intermediate clpq, original jar)YES0.165YES0.070
Julia_10_Recursive/Matrix.mc (intermediate clpq, original jar)MAYBE6.387MAYBE2.780
Julia_10_Recursive/MergeSort.mc (intermediate clpq, original jar)YES0.360YES0.260
Julia_10_Recursive/Nim.mc (intermediate clpq, original jar)MAYBE0.679MAYBE0.240
Julia_10_Recursive/Power.mc (intermediate clpq, original jar)MAYBE0.342YES0.020
Julia_10_Recursive/Recursions.mc (intermediate clpq, original jar)YES0.159YES0.050
Julia_10_Recursive/Sudoku.mc (intermediate clpq, original jar)YES7.312TIMEOUT120
Julia_10_Recursive/Test1.mc (intermediate clpq, original jar)YES0.163YES0.070
Julia_10_Recursive/Test10.mc (intermediate clpq, original jar)MAYBE0.263MAYBE0.010
Julia_10_Recursive/Test12.mc (intermediate clpq, original jar)MAYBE0.210YES0.020
Julia_10_Recursive/Test4.mc (intermediate clpq, original jar)YES0.529YES0.010
Julia_10_Recursive/Test6.mc (intermediate clpq, original jar)YES16.305TIMEOUT120
Julia_10_Recursive/Test8.mc (intermediate clpq, original jar)MAYBE0.870MAYBE0.030
Julia_10_Recursive/WorkingSignals.mc (intermediate clpq, original jar)YES0.725YES0.080