The table below presents the actual runtimes of the benchmarks along with the results produced by the tool VeryMax.
| Benchmark | Result | Time |
|---|---|---|
| From_AProVE_2014/AG313.jar-obl-8.ari | YES | 0.49 |
| From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.ari | YES | 0.57 |
| From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.ari | YES | 0.48 |
| From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.ari | NO | 7.65 |
| From_AProVE_2014/AProVEMath.jar-obl-8.ari | YES | 0.53 |
| From_AProVE_2014/AProVEMathRecursive.jar-obl-8.ari | YES | 0.52 |
| From_AProVE_2014/AckR.jar-obl-8.ari | YES | 0.43 |
| From_AProVE_2014/Ackermann.jar-obl-8.ari | YES | 0.44 |
| From_AProVE_2014/Alternate.jar-obl-10.ari | Unknown | 40.65 |
| From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.ari | YES | 0.46 |
| From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.ari | Unknown | 36.80 |
| From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.ari | YES | 0.40 |
| From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.ari | Unknown | 36.72 |
| From_AProVE_2014/AppE.jar-obl-9.ari | YES | 0.33 |
| From_AProVE_2014/Avg.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.ari | Unknown | 10.75 |
| From_AProVE_2014/BTree.jar-obl-9.ari | YES | 0.35 |
| From_AProVE_2014/BTreeR.jar-obl-9.ari | YES | 0.33 |
| From_AProVE_2014/BinTreeChanger.jar-obl-10.ari | Unknown | 10.02 |
| From_AProVE_2014/BinarySearch.jar-obl-9.ari | YES | 0.84 |
| From_AProVE_2014/BinarySearchTree.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/Binomial.jar-obl-9.ari | YES | 0.72 |
| From_AProVE_2014/Break.jar-obl-8.ari | YES | 0.35 |
| From_AProVE_2014/BubbleSort.jar-obl-8.ari | YES | 4.37 |
| From_AProVE_2014/BubbleSortR.jar-obl-10.ari | YES | 0.39 |
| From_AProVE_2014/CAppE.jar-obl-9.ari | YES | 0.32 |
| From_AProVE_2014/Carre.jar-obl-9.ari | YES | 0.36 |
| From_AProVE_2014/Choose.jar-obl-8.ari | NO | 23.59 |
| From_AProVE_2014/ChooseLife.jar-obl-8.ari | NO | 6.03 |
| From_AProVE_2014/ClassAnalysis.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/ClassAnalysisRec.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/Collatz.jar-obl-8.ari | Unknown | 5.59 |
| From_AProVE_2014/Continue.jar-obl-8.ari | NO | 0.34 |
| From_AProVE_2014/Continue1.jar-obl-8.ari | YES | 0.31 |
| From_AProVE_2014/Convert.jar-obl-9.ari | NO | 11.81 |
| From_AProVE_2014/ConvertRec.jar-obl-9.ari | NO | 36.12 |
| From_AProVE_2014/Count.jar-obl-10-2.ari | Unknown | 37.83 |
| From_AProVE_2014/Count.jar-obl-10.ari | Unknown | 28.57 |
| From_AProVE_2014/CountMetaList.jar-obl-9.ari | NO | 20.74 |
| From_AProVE_2014/CountMetaListRec.jar-obl-9.ari | NO | 20.77 |
| From_AProVE_2014/CountUpRound.jar-obl-8.ari | YES | 0.36 |
| From_AProVE_2014/CyclicAnalysis.jar-obl-10.ari | YES | 0.38 |
| From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.ari | YES | 0.46 |
| From_AProVE_2014/CyclicList.jar-obl-9.ari | YES | 0.43 |
| From_AProVE_2014/CyclicPair2.jar-obl-8.ari | YES | 0.44 |
| From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.ari | NO | 11.88 |
| From_AProVE_2014/Diff.jar-obl-8.ari | YES | 0.65 |
| From_AProVE_2014/Distances.jar-obl-19.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/DivMinus.jar-obl-11.ari | Unknown | 46.40 |
| From_AProVE_2014/DivMinus.jar-obl-8.ari | YES | 0.35 |
| From_AProVE_2014/DivMinus2.jar-obl-8.ari | YES | 0.38 |
| From_AProVE_2014/DivTernary.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/DivTernary2.jar-obl-9.ari | NO | 8.65 |
| From_AProVE_2014/DivWithoutMinus.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/Domino.jar-obl-27.ari | Unknown | 52.49 |
| From_AProVE_2014/Double.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/Double2.jar-obl-8.ari | YES | 0.31 |
| From_AProVE_2014/Double3.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/DupTreeRec.jar-obl-9.ari | YES | 0.46 |
| From_AProVE_2014/Duplicate.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/DuplicateNodes.jar-obl-9.ari | YES | 0.36 |
| From_AProVE_2014/DuplicateTreePath.jar-obl-9.ari | YES | 0.39 |
| From_AProVE_2014/EqUserDefRec.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/Et1-rec.jar-obl-8.ari | YES | 11.44 |
| From_AProVE_2014/Et1.jar-obl-8.ari | YES | 11.46 |
| From_AProVE_2014/Et2-rec.jar-obl-8.ari | YES | 0.45 |
| From_AProVE_2014/Et2.jar-obl-8.ari | YES | 1.54 |
| From_AProVE_2014/Et3-rec.jar-obl-8.ari | YES | 13.00 |
| From_AProVE_2014/Et3.jar-obl-9.ari | YES | 9.62 |
| From_AProVE_2014/Et4-rec.jar-obl-8.ari | YES | 20.58 |
| From_AProVE_2014/Et4.jar-obl-8.ari | YES | 48.39 |
| From_AProVE_2014/Et5-rec.jar-obl-8.ari | YES | 0.37 |
| From_AProVE_2014/Et5.jar-obl-8.ari | YES | 0.42 |
| From_AProVE_2014/Et6-rec.jar-obl-8.ari | YES | 0.37 |
| From_AProVE_2014/Et6.jar-obl-8.ari | YES | 0.49 |
| From_AProVE_2014/EvenOdd.jar-obl-8.ari | NO | 25.57 |
| From_AProVE_2014/Exc.jar-obl-8.ari | YES | 0.40 |
| From_AProVE_2014/Exc1.jar-obl-8.ari | NO | 0.35 |
| From_AProVE_2014/Exc2.jar-obl-8.ari | NO | 0.86 |
| From_AProVE_2014/Exc3.jar-obl-8.ari | YES | 0.36 |
| From_AProVE_2014/Exc4.jar-obl-8.ari | NO | 0.89 |
| From_AProVE_2014/Exc5.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/FactSLR.jar-obl-8.ari | YES | 0.36 |
| From_AProVE_2014/FactSum.jar-obl-9.ari | YES | 0.33 |
| From_AProVE_2014/FactSumList.jar-obl-8.ari | YES | 0.36 |
| From_AProVE_2014/Factorial.jar-obl-8.ari | YES | 0.31 |
| From_AProVE_2014/FibSLR.jar-obl-8.ari | YES | 0.57 |
| From_AProVE_2014/Fibonacci.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/Flatten.jar-obl-10.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/FlattenRTA.jar-obl-10.ari | TIMEOUT | 60.02 |
| From_AProVE_2014/FlattenTree.jar-obl-9.ari | Unknown | 38.70 |
| From_AProVE_2014/FlattenTreeListRec.jar-obl-10.ari | Unknown | 55.68 |
| From_AProVE_2014/FlattenTreeRec.jar-obl-9.ari | Unknown | 35.84 |
| From_AProVE_2014/Fractale1.jar-obl-8.ari | YES | 0.64 |
| From_AProVE_2014/GCD.jar-obl-8.ari | YES | 0.35 |
| From_AProVE_2014/GCD2.jar-obl-8.ari | YES | 0.35 |
| From_AProVE_2014/GCD3.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/GCD4.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/GCD5.jar-obl-8.ari | Unknown | 5.42 |
| From_AProVE_2014/Gopher.jar-obl-10.ari | YES | 0.39 |
| From_AProVE_2014/Graph.jar-obl-17.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/GrowTreeR.jar-obl-9.ari | YES | 0.46 |
| From_AProVE_2014/HanR.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/Hanoi.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/Infix2Postfix.jar-obl-11.ari | YES | 0.46 |
| From_AProVE_2014/Init.jar-obl-8.ari | NO | 0.33 |
| From_AProVE_2014/IntListDupRec.jar-obl-9.ari | YES | 0.34 |
| From_AProVE_2014/IntListSumRec.jar-obl-9.ari | YES | 0.37 |
| From_AProVE_2014/IntRTA.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/Iterations.jar-obl-8.ari | YES | 31.80 |
| From_AProVE_2014/Kernel68.jar-obl-9.ari | YES | 0.87 |
| From_AProVE_2014/Kernel88.jar-obl-9.ari | YES | 0.44 |
| From_AProVE_2014/Kernel93.jar-obl-9.ari | NO | 9.59 |
| From_AProVE_2014/Kernel95.jar-obl-9.ari | YES | 0.38 |
| From_AProVE_2014/KnapsackDP.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/LeUserDefRec.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/LessLeaves.jar-obl-10.ari | Unknown | 47.85 |
| From_AProVE_2014/LessLeavesRec.jar-obl-10.ari | Unknown | 40.45 |
| From_AProVE_2014/LinkedList.jar-obl-10.ari | NO | 22.25 |
| From_AProVE_2014/List.jar-obl-12.ari | NO | 36.59 |
| From_AProVE_2014/ListContent.jar-obl-9.ari | NO | 5.45 |
| From_AProVE_2014/ListContentArbitrary.jar-obl-10.ari | YES | 0.37 |
| From_AProVE_2014/ListContentTail.jar-obl-10.ari | YES | 0.35 |
| From_AProVE_2014/ListDuplicate.jar-obl-9.ari | YES | 0.33 |
| From_AProVE_2014/ListInt.jar-obl-12.ari | NO | 6.18 |
| From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.ari | YES | 0.34 |
| From_AProVE_2014/ListReverseCyclicList.jar-obl-10.ari | YES | 0.38 |
| From_AProVE_2014/ListReversePanhandleList.jar-obl-11.ari | YES | 0.41 |
| From_AProVE_2014/Log.jar-obl-8.ari | YES | 0.44 |
| From_AProVE_2014/LogAG.jar-obl-8.ari | YES | 0.39 |
| From_AProVE_2014/LogBuiltIn.jar-obl-8.ari | YES | 0.37 |
| From_AProVE_2014/LogIterative.jar-obl-8.ari | YES | 0.38 |
| From_AProVE_2014/LogMult.jar-obl-8.ari | Unknown | 5.46 |
| From_AProVE_2014/LogRecursive.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/Loop.jar-obl-8.ari | NO | 0.33 |
| From_AProVE_2014/Loop1.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/LoopingNonterm.jar-obl-8.ari | NO | 5.80 |
| From_AProVE_2014/Main.jar-obl-11.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/MainCopy.jar-obl-10.ari | NO | 6.48 |
| From_AProVE_2014/MainDelete.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/MainFind.jar-obl-10.ari | Unknown | 38.54 |
| From_AProVE_2014/MainGet.jar-obl-10.ari | NO | 6.52 |
| From_AProVE_2014/MainMove.jar-obl-11.ari | NO | 5.91 |
| From_AProVE_2014/Matrix.jar-obl-16.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/McCarthyIterative.jar-obl-8.ari | YES | 0.43 |
| From_AProVE_2014/MergeSort.jar-obl-12.ari | YES | 0.64 |
| From_AProVE_2014/MinusBuiltIn.jar-obl-8.ari | YES | 0.31 |
| From_AProVE_2014/MinusMin.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/MinusUserDefined.jar-obl-8.ari | YES | 0.39 |
| From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.ari | Unknown | 37.88 |
| From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.ari | YES | 0.50 |
| From_AProVE_2014/MirrorTree.jar-obl-9.ari | YES | 0.35 |
| From_AProVE_2014/Mod.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/MultiLasso.jar-obl-8.ari | NO | 19.63 |
| From_AProVE_2014/MysteriousProgram.jar-obl-12.ari | Unknown | 47.33 |
| From_AProVE_2014/NO_00.jar-obl-8.ari | NO | 0.33 |
| From_AProVE_2014/NO_01.jar-obl-8.ari | NO | 0.34 |
| From_AProVE_2014/NO_02.jar-obl-8.ari | NO | 0.34 |
| From_AProVE_2014/NO_03.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/NO_04.jar-obl-8.ari | NO | 0.34 |
| From_AProVE_2014/NO_05.jar-obl-9.ari | NO | 51.59 |
| From_AProVE_2014/NO_06.jar-obl-8.ari | NO | 0.33 |
| From_AProVE_2014/NO_10.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/NO_11.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/NO_12.jar-obl-8.ari | NO | 54.33 |
| From_AProVE_2014/NO_13.jar-obl-8.ari | NO | 25.19 |
| From_AProVE_2014/NO_20.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/NO_21.jar-obl-8.ari | NO | 0.34 |
| From_AProVE_2014/NO_22.jar-obl-8.ari | NO | 4.39 |
| From_AProVE_2014/NO_23.jar-obl-8.ari | NO | 25.49 |
| From_AProVE_2014/NO_24.jar-obl-8.ari | NO | 3.31 |
| From_AProVE_2014/Nest.jar-obl-8.ari | YES | 0.39 |
| From_AProVE_2014/Nested.jar-obl-8.ari | YES | 0.54 |
| From_AProVE_2014/NestedLoop.jar-obl-10.ari | YES | 0.44 |
| From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.ari | NO | 18.85 |
| From_AProVE_2014/Norm.jar-obl-9.ari | Unknown | 40.95 |
| From_AProVE_2014/Overflow.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/PartitionList.jar-obl-16.ari | YES | 1.06 |
| From_AProVE_2014/Parts.jar-obl-9.ari | YES | 0.37 |
| From_AProVE_2014/PastaA1.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/PastaA10.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/PastaA4.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/PastaA5.jar-obl-8.ari | YES | 0.35 |
| From_AProVE_2014/PastaA6.jar-obl-8.ari | YES | 0.35 |
| From_AProVE_2014/PastaA7.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/PastaA8.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/PastaA9.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/PastaB1.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/PastaB10.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/PastaB11.jar-obl-8.ari | YES | 0.58 |
| From_AProVE_2014/PastaB12.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/PastaB13.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/PastaB14.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/PastaB15.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/PastaB16.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/PastaB17.jar-obl-8.ari | YES | 0.35 |
| From_AProVE_2014/PastaB18.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/PastaB2.jar-obl-8.ari | YES | 0.35 |
| From_AProVE_2014/PastaB3.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/PastaB4.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/PastaB5.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/PastaB6.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/PastaB7.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/PastaB8.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/PastaC1.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/PastaC10.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/PastaC11.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/PastaC2.jar-obl-8.ari | YES | 0.39 |
| From_AProVE_2014/PastaC3.jar-obl-8.ari | YES | 0.38 |
| From_AProVE_2014/PastaC5.jar-obl-8.ari | YES | 0.40 |
| From_AProVE_2014/PastaC7.jar-obl-8.ari | YES | 0.38 |
| From_AProVE_2014/PastaC9.jar-obl-8.ari | YES | 0.39 |
| From_AProVE_2014/PlusSwap.jar-obl-8.ari | YES | 0.39 |
| From_AProVE_2014/Power.jar-obl-10.ari | YES | 11.76 |
| From_AProVE_2014/Queen.jar-obl-10.ari | Unknown | 23.71 |
| From_AProVE_2014/QuicksortRec.jar-obl-9.ari | Unknown | 23.37 |
| From_AProVE_2014/RSA.jar-obl-17.ari | Unknown | 32.00 |
| From_AProVE_2014/RandomHard.jar-obl-10.ari | Unknown | 28.92 |
| From_AProVE_2014/Recursions.jar-obl-13.ari | YES | 0.37 |
| From_AProVE_2014/RetValRec.jar-obl-8.ari | YES | 5.47 |
| From_AProVE_2014/RotateTree.jar-obl-10.ari | YES | 0.42 |
| From_AProVE_2014/Round3.jar-obl-8.ari | Unknown | 36.79 |
| From_AProVE_2014/RunningPointers.jar-obl-9.ari | YES | 0.32 |
| From_AProVE_2014/Samefringe.jar-obl-10.ari | NO | 5.91 |
| From_AProVE_2014/SearchTreeR.jar-obl-9.ari | YES | 0.38 |
| From_AProVE_2014/Sequence.jar-obl-9.ari | YES | 0.37 |
| From_AProVE_2014/Sharing.jar-obl-8.ari | YES | 0.35 |
| From_AProVE_2014/SharingAnalysis.jar-obl-9.ari | YES | 0.36 |
| From_AProVE_2014/SharingAnalysisRec.jar-obl-9.ari | YES | 0.33 |
| From_AProVE_2014/SharingPair.jar-obl-8.ari | NO | 5.78 |
| From_AProVE_2014/Shuffle.jar-obl-10.ari | Unknown | 36.08 |
| From_AProVE_2014/SortCount.jar-obl-10.ari | YES | 1.71 |
| From_AProVE_2014/StupidArray.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/Sudoku.jar-obl-14.ari | YES | 1.55 |
| From_AProVE_2014/Swingers.jar-obl-8.ari | NO | 5.83 |
| From_AProVE_2014/Take.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/TaylorSeriesIte.jar-obl-13.ari | Unknown | 53.74 |
| From_AProVE_2014/TaylorSeriesRec.jar-obl-13.ari | Unknown | 55.07 |
| From_AProVE_2014/TermCreateCollect.jar-obl-9.ari | YES | 0.37 |
| From_AProVE_2014/TerminatorRec01.jar-obl-8.ari | YES | 0.35 |
| From_AProVE_2014/TerminatorRec02.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/TerminatorRec03.jar-obl-8.ari | NO | 5.44 |
| From_AProVE_2014/TerminatorRec04.jar-obl-9.ari | NO | 18.45 |
| From_AProVE_2014/TermsCreateMatch.jar-obl-9.ari | YES | 0.40 |
| From_AProVE_2014/Test1.jar-obl-8.ari | YES | 24.52 |
| From_AProVE_2014/Test10.jar-obl-9.ari | YES | 0.33 |
| From_AProVE_2014/Test11.jar-obl-8.ari | YES | 0.65 |
| From_AProVE_2014/Test12.jar-obl-8.ari | YES | 0.38 |
| From_AProVE_2014/Test13Loops.jar-obl-10.ari | TIMEOUT | 60.00 |
| From_AProVE_2014/Test2.jar-obl-8.ari | YES | 11.77 |
| From_AProVE_2014/Test3.jar-obl-10.ari | YES | 0.61 |
| From_AProVE_2014/Test4.jar-obl-10.ari | Unknown | 47.00 |
| From_AProVE_2014/Test5.jar-obl-11.ari | YES | 1.72 |
| From_AProVE_2014/Test6.jar-obl-13.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Test7.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Test8.jar-obl-12.ari | YES | 0.40 |
| From_AProVE_2014/Test9.jar-obl-20.ari | YES | 0.36 |
| From_AProVE_2014/TestJulia6.jar-obl-8.ari | NO | 0.33 |
| From_AProVE_2014/TestJulia7.jar-obl-8.ari | NO | 5.43 |
| From_AProVE_2014/TimesPlusUserDef.jar-obl-9.ari | YES | 0.34 |
| From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.ari | YES | 0.37 |
| From_AProVE_2014/TreeLeftmostPath.jar-obl-9.ari | YES | 0.40 |
| From_AProVE_2014/TriTas.jar-obl-12.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/TwoWay.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/TypeSwitch.jar-obl-8.ari | NO | 5.69 |
| From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.ari | NO | 15.67 |
| From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.ari | NO | 16.17 |
| From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.ari | NO | 49.24 |
| From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.ari | Unknown | 23.00 |
| From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.ari | NO | 5.52 |
| From_AProVE_2014/Velroyen08-collatz.jar-obl-8.ari | Unknown | 5.51 |
| From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.ari | Unknown | 18.57 |
| From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.ari | NO | 5.40 |
| From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.ari | NO | 18.52 |
| From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.ari | NO | 17.97 |
| From_AProVE_2014/Velroyen08-convLower.jar-obl-8.ari | NO | 20.12 |
| From_AProVE_2014/Velroyen08-cousot.jar-obl-8.ari | NO | 54.92 |
| From_AProVE_2014/Velroyen08-even.jar-obl-9.ari | NO | 18.47 |
| From_AProVE_2014/Velroyen08-ex01.jar-obl-8.ari | NO | 18.48 |
| From_AProVE_2014/Velroyen08-ex02.jar-obl-8.ari | NO | 10.95 |
| From_AProVE_2014/Velroyen08-ex03.jar-obl-8.ari | NO | 10.28 |
| From_AProVE_2014/Velroyen08-ex04.jar-obl-8.ari | NO | 33.58 |
| From_AProVE_2014/Velroyen08-ex05.jar-obl-8.ari | NO | 5.39 |
| From_AProVE_2014/Velroyen08-ex06.jar-obl-8.ari | NO | 1.88 |
| From_AProVE_2014/Velroyen08-ex07.jar-obl-9.ari | NO | 9.46 |
| From_AProVE_2014/Velroyen08-ex08.jar-obl-8.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.ari | Unknown | 9.51 |
| From_AProVE_2014/Velroyen08-factorial.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Velroyen08-fib.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Velroyen08-flip.jar-obl-8.ari | NO | 5.42 |
| From_AProVE_2014/Velroyen08-flip2.jar-obl-8.ari | NO | 23.04 |
| From_AProVE_2014/Velroyen08-gauss.jar-obl-8.ari | NO | 18.48 |
| From_AProVE_2014/Velroyen08-lcm.jar-obl-10.ari | NO | 14.29 |
| From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.ari | NO | 18.52 |
| From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.ari | NO | 27.52 |
| From_AProVE_2014/Velroyen08-middle.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.ari | NO | 37.02 |
| From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.ari | NO | 5.40 |
| From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.ari | NO | 6.24 |
| From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.ari | NO | 7.22 |
| From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.ari | NO | 25.52 |
| From_AProVE_2014/Velroyen08-plait.jar-obl-8.ari | Unknown | 21.79 |
| From_AProVE_2014/Velroyen08-sunset.jar-obl-8.ari | NO | 48.66 |
| From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.ari | NO | 18.49 |
| From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.ari | NO | 3.15 |
| From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.ari | NO | 40.98 |
| From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.ari | NO | 41.14 |
| From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.ari | NO | 18.96 |
| From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.ari | YES | 0.32 |
| From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.ari | NO | 18.44 |
| From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.ari | NO | 18.50 |
| From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.ari | NO | 13.48 |
| From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.ari | NO | 5.40 |
| From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.ari | NO | 4.58 |
| From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.ari | Unknown | 13.60 |
| From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.ari | NO | 27.51 |
| From_AProVE_2014/Virtual.jar-obl-9.ari | YES | 0.34 |
| From_AProVE_2014/alternDivWide_rec.jar-obl-8.ari | NO | 12.23 |
| From_AProVE_2014/alternDivWidening_rec.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/alternDiv_rec.jar-obl-8.ari | NO | 15.62 |
| From_AProVE_2014/alternKonv_rec.jar-obl-8.ari | Unknown | 26.55 |
| From_AProVE_2014/complInterv2_rec.jar-obl-8.ari | NO | 5.38 |
| From_AProVE_2014/complInterv3_rec.jar-obl-8.ari | NO | 18.50 |
| From_AProVE_2014/complxStruc_rec.jar-obl-8.ari | NO | 25.63 |
| From_AProVE_2014/convLower_rec.jar-obl-8.ari | NO | 20.02 |
| From_AProVE_2014/costa09-example_1.jar-obl-10.ari | YES | 0.38 |
| From_AProVE_2014/costa09-example_2.jar-obl-8.ari | YES | 0.34 |
| From_AProVE_2014/costa09-example_3.jar-obl-8.ari | YES | 0.37 |
| From_AProVE_2014/costa09-example_4.jar-obl-8.ari | YES | 0.45 |
| From_AProVE_2014/costa09-example_5.jar-obl-8.ari | NO | 0.32 |
| From_AProVE_2014/cousot_rec.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/even_rec.jar-obl-8.ari | NO | 18.44 |
| From_AProVE_2014/ex01_rec.jar-obl-8.ari | NO | 18.45 |
| From_AProVE_2014/ex02_rec.jar-obl-8.ari | NO | 10.93 |
| From_AProVE_2014/ex03_rec.jar-obl-8.ari | NO | 10.68 |
| From_AProVE_2014/ex04_rec.jar-obl-8.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/ex05_rec.jar-obl-8.ari | NO | 0.35 |
| From_AProVE_2014/ex06_rec.jar-obl-8.ari | NO | 0.33 |
| From_AProVE_2014/ex07_rec.jar-obl-8.ari | NO | 0.32 |
| From_AProVE_2014/ex08_rec.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/flip2_rec.jar-obl-8.ari | Unknown | 35.84 |
| From_AProVE_2014/flip_rec.jar-obl-8.ari | NO | 5.42 |
| From_AProVE_2014/juHashMapCreate.jar-obl-10.ari | TIMEOUT | 60.00 |
| From_AProVE_2014/juHashMapCreateClear.jar-obl-11.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.ari | TIMEOUT | 60.00 |
| From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.ari | TIMEOUT | 60.02 |
| From_AProVE_2014/juHashMapCreateGet.jar-obl-11.ari | TIMEOUT | 60.00 |
| From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juHashMapCreatePut.jar-obl-10.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.ari | TIMEOUT | 60.00 |
| From_AProVE_2014/juHashMapCreateSize.jar-obl-10.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juLinkedListCreate.jar-obl-8.ari | YES | 0.40 |
| From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.ari | YES | 0.43 |
| From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.ari | TIMEOUT | 60.05 |
| From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.ari | YES | 0.73 |
| From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.ari | YES | 0.43 |
| From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.ari | YES | 0.41 |
| From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.ari | YES | 0.42 |
| From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.ari | YES | 2.13 |
| From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.ari | YES | 0.65 |
| From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.ari | YES | 0.44 |
| From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.ari | YES | 1.90 |
| From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.ari | YES | 0.39 |
| From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.ari | YES | 0.44 |
| From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.ari | YES | 0.41 |
| From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.ari | YES | 2.19 |
| From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.ari | YES | 0.40 |
| From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.ari | YES | 0.80 |
| From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.ari | YES | 2.01 |
| From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.ari | YES | 0.80 |
| From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.ari | YES | 0.41 |
| From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.ari | YES | 0.41 |
| From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.ari | YES | 0.39 |
| From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.ari | YES | 0.41 |
| From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.ari | YES | 0.41 |
| From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.ari | YES | 0.44 |
| From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.ari | YES | 0.45 |
| From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.ari | YES | 0.44 |
| From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.ari | YES | 0.52 |
| From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.ari | YES | 0.44 |
| From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.ari | YES | 0.41 |
| From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.ari | YES | 0.81 |
| From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.ari | YES | 0.86 |
| From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.ari | YES | 2.35 |
| From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.ari | YES | 0.45 |
| From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.ari | YES | 2.29 |
| From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.ari | YES | 0.52 |
| From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.ari | YES | 2.66 |
| From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.ari | YES | 1.68 |
| From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.ari | YES | 0.46 |
| From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.ari | YES | 0.33 |
| From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.ari | YES | 0.40 |
| From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.ari | YES | 0.47 |
| From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.ari | NO | 27.88 |
| From_AProVE_2014/mirrorInterv_rec.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/narrowKonv_rec.jar-obl-8.ari | NO | 7.22 |
| From_AProVE_2014/narrowing_rec.jar-obl-8.ari | NO | 42.78 |
| From_AProVE_2014/sumGeneric2_rec.jar-obl-8.ari | NO | 24.48 |
| From_AProVE_2014/sumGeneric_rec.jar-obl-8.ari | NO | 54.70 |
| From_AProVE_2014/sum_rec.jar-obl-8.ari | NO | 23.45 |
| From_AProVE_2014/sunset_rec.jar-obl-8.ari | NO | 56.51 |
| From_AProVE_2014/trueDiv_rec.jar-obl-8.ari | NO | 18.46 |
| From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/upAndDown_rec.jar-obl-8.ari | NO | 33.21 |
| From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.ari | NO | 29.07 |
| From_AProVE_2014/whileNested_rec.jar-obl-9.ari | NO | 25.99 |
| From_AProVE_2014/whilePart_rec.jar-obl-8.ari | NO | 5.44 |
| From_AProVE_2014/whileSingle_rec.jar-obl-8.ari | NO | 5.01 |
| From_T2/1.t2.ari | NO | 9.09 |
| From_T2/1394-fail.t2.ari | NO | 16.60 |
| From_T2/1394-succeed.t2.ari | NO | 16.66 |
| From_T2/1394complete-fail.t2.ari | NO | 47.18 |
| From_T2/1394complete-fail.t2_fixed.ari | NO | 47.20 |
| From_T2/1394complete-succeed.t2.ari | TIMEOUT | 60.01 |
| From_T2/1394complete-succeed.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/2.t2.ari | NO | 27.12 |
| From_T2/232.t2.ari | YES | 0.35 |
| From_T2/241.t2.ari | YES | 0.36 |
| From_T2/3.t2.ari | NO | 0.36 |
| From_T2/5.t2.ari | YES | 0.35 |
| From_T2/6.t2.ari | NO | 0.37 |
| From_T2/7.t2.ari | NO | 5.41 |
| From_T2/Prim_4.t2.ari | TIMEOUT | 60.06 |
| From_T2/Prim_5.t2.ari | TIMEOUT | 60.06 |
| From_T2/acqrel-fail.t2.ari | NO | 9.47 |
| From_T2/acqrel-succeed2.t2.ari | NO | 0.37 |
| From_T2/afagp-fail.t2.ari | TIMEOUT | 60.06 |
| From_T2/afagp-fail.t2_fixed.ari | NO | 38.83 |
| From_T2/afagx1.t2.ari | NO | 0.37 |
| From_T2/agafp.t2.ari | TIMEOUT | 60.06 |
| From_T2/agafp.t2_fixed.ari | NO | 41.67 |
| From_T2/andrey.t2.ari | YES | 0.35 |
| From_T2/apchild-accepted-fail.t2.ari | TIMEOUT | 60.00 |
| From_T2/apchild-accepted-fail.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/apchild-accepted.t2.ari | TIMEOUT | 60.06 |
| From_T2/apchild-accepted.t2_fixed.ari | TIMEOUT | 60.01 |
| From_T2/apchild-live.t2.ari | Unknown | 55.57 |
| From_T2/apchild-live.t2_fixed.ari | TIMEOUT | 60.02 |
| From_T2/apchildlive-succeed.t2.ari | TIMEOUT | 60.01 |
| From_T2/apchildlive-succeed.t2_fixed.ari | TIMEOUT | 60.01 |
| From_T2/arith.t2.ari | YES | 0.32 |
| From_T2/armc-difficult_defect.t2.ari | YES | 0.34 |
| From_T2/armc-difficult_foo2.t2.ari | YES | 0.33 |
| From_T2/armc-difficult_foo3.t2.ari | YES | 9.60 |
| From_T2/armc-difficult_k.t2.ari | YES | 0.47 |
| From_T2/array.t2.ari | YES | 0.33 |
| From_T2/array2.t2.ari | YES | 0.37 |
| From_T2/array2.t2_fixed.ari | YES | 0.36 |
| From_T2/array3.t2.ari | YES | 0.46 |
| From_T2/array4.t2.ari | YES | 0.47 |
| From_T2/array_free.t2.ari | YES | 0.43 |
| From_T2/array_free2.t2.ari | YES | 0.43 |
| From_T2/array_init.t2.ari | YES | 0.44 |
| From_T2/array_init.t2_fixed.ari | YES | 0.44 |
| From_T2/array_init_assign.t2.ari | YES | 0.40 |
| From_T2/ase_example.t2.ari | YES | 0.41 |
| From_T2/ase_example.t2_fixed.ari | YES | 0.43 |
| From_T2/ax_test.t2.ari | NO | 0.41 |
| From_T2/ax_test_2.t2.ari | NO | 0.41 |
| From_T2/ax_test_3.t2.ari | NO | 0.42 |
| From_T2/bakery.t2.ari | TIMEOUT | 60.01 |
| From_T2/bakerybug.t2.ari | TIMEOUT | 60.06 |
| From_T2/bf10.t2.ari | YES | 0.37 |
| From_T2/bf10.t2_fixed.ari | YES | 0.38 |
| From_T2/bf11.t2.ari | YES | 0.38 |
| From_T2/bf11.t2_fixed.ari | YES | 0.37 |
| From_T2/bf12.t2.ari | YES | 0.36 |
| From_T2/bf12.t2_fixed.ari | YES | 0.36 |
| From_T2/bf13.t2.ari | YES | 0.35 |
| From_T2/bf13.t2_fixed.ari | YES | 0.36 |
| From_T2/bf14.t2.ari | YES | 0.35 |
| From_T2/bf14.t2_fixed.ari | YES | 0.35 |
| From_T2/bf15.t2.ari | YES | 0.36 |
| From_T2/bf15.t2_fixed.ari | YES | 0.33 |
| From_T2/bf16.t2.ari | YES | 0.36 |
| From_T2/bf16.t2_fixed.ari | YES | 0.36 |
| From_T2/bf17.t2.ari | YES | 0.35 |
| From_T2/bf17.t2_fixed.ari | YES | 0.35 |
| From_T2/bf18.t2.ari | YES | 0.35 |
| From_T2/bf18.t2_fixed.ari | YES | 0.36 |
| From_T2/bf19.t2.ari | YES | 0.37 |
| From_T2/bf19.t2_fixed.ari | YES | 0.35 |
| From_T2/bf20.t2.ari | YES | 0.35 |
| From_T2/bf20.t2_fixed.ari | YES | 0.35 |
| From_T2/bf5.t2.ari | YES | 0.34 |
| From_T2/bf5.t2_fixed.ari | YES | 0.34 |
| From_T2/bf6.t2.ari | YES | 0.38 |
| From_T2/bf6.t2_fixed.ari | YES | 0.34 |
| From_T2/bf7.t2.ari | YES | 0.35 |
| From_T2/bf7.t2_fixed.ari | YES | 0.35 |
| From_T2/bf8.t2.ari | YES | 0.36 |
| From_T2/bf8.t2_fixed.ari | YES | 0.35 |
| From_T2/bf9.t2.ari | YES | 0.35 |
| From_T2/bf9.t2_fixed.ari | YES | 0.36 |
| From_T2/bio.t2.ari | TIMEOUT | 60.01 |
| From_T2/bitcount16.t2.ari | YES | 0.34 |
| From_T2/bitcount16.t2_fixed.ari | YES | 0.32 |
| From_T2/bitcount32.t2.ari | YES | 0.34 |
| From_T2/bitcount32.t2_fixed.ari | YES | 0.35 |
| From_T2/brockschmidt_1.t2.ari | YES | 0.37 |
| From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.ari | YES | 6.16 |
| From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.ari | YES | 4.78 |
| From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.ari | YES | 6.16 |
| From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.ari | YES | 4.83 |
| From_T2/broydn.t2.ari | YES | 7.51 |
| From_T2/broydn.t2_fixed.ari | YES | 4.66 |
| From_T2/brp_withassume.t2.ari | TIMEOUT | 60.04 |
| From_T2/bs.t2.ari | NO | 5.80 |
| From_T2/bs.t2_fixed.ari | NO | 15.65 |
| From_T2/bsort100.t2.ari | YES | 0.36 |
| From_T2/bsort100.t2_fixed.ari | YES | 0.87 |
| From_T2/bubbleSort.t2.ari | YES | 0.36 |
| From_T2/bubblesort_inner_loop.t2.ari | YES | 0.34 |
| From_T2/byron-1.t2.ari | YES | 0.32 |
| From_T2/byron-2.t2.ari | YES | 0.33 |
| From_T2/byron-2.t2_fixed.ari | YES | 0.33 |
| From_T2/byron-3.t2.ari | YES | 0.37 |
| From_T2/byron-4.t2.ari | TIMEOUT | 60.06 |
| From_T2/byron-4.t2_fixed.ari | YES | 0.33 |
| From_T2/cfg.t2.ari | NO | 5.46 |
| From_T2/cnt.t2.ari | YES | 0.35 |
| From_T2/cnt.t2_fixed.ari | YES | 0.36 |
| From_T2/collatz.t2.ari | Unknown | 5.47 |
| From_T2/collatz.t2_fixed.ari | Unknown | 16.20 |
| From_T2/complex_guard.t2.ari | YES | 0.33 |
| From_T2/compress.t2.ari | TIMEOUT | 60.06 |
| From_T2/compress.t2_fixed.ari | NO | 26.51 |
| From_T2/constants.t2.ari | YES | 0.35 |
| From_T2/constants.t2_fixed.ari | YES | 0.34 |
| From_T2/consts1.t2.ari | NO | 36.52 |
| From_T2/consts1.t2_fixed.ari | YES | 1.40 |
| From_T2/consts1nt.t2.ari | NO | 36.51 |
| From_T2/consts1nt.t2_fixed.ari | NO | 23.57 |
| From_T2/consts2.t2.ari | NO | 5.53 |
| From_T2/consts2.t2_fixed.ari | YES | 0.34 |
| From_T2/consts2nt.t2.ari | NO | 5.54 |
| From_T2/consts2nt.t2_fixed.ari | NO | 22.53 |
| From_T2/consts3.t2.ari | YES | 0.35 |
| From_T2/consts3.t2_fixed.ari | YES | 0.37 |
| From_T2/consts3nt.t2.ari | NO | 36.62 |
| From_T2/consts3nt.t2_fixed.ari | NO | 19.33 |
| From_T2/consts4.t2.ari | NO | 5.55 |
| From_T2/consts4.t2_fixed.ari | YES | 0.36 |
| From_T2/consts4nt.t2.ari | NO | 5.56 |
| From_T2/consts4nt.t2_fixed.ari | NO | 36.40 |
| From_T2/consts5.t2.ari | NO | 17.92 |
| From_T2/consts5.t2_fixed.ari | YES | 0.35 |
| From_T2/consts5nt.t2.ari | NO | 17.91 |
| From_T2/consts5nt.t2_fixed.ari | NO | 34.18 |
| From_T2/cover.t2.ari | TIMEOUT | 60.05 |
| From_T2/cover.t2_fixed.ari | YES | 21.05 |
| From_T2/crc.t2.ari | YES | 0.46 |
| From_T2/crc.t2_fixed.ari | YES | 0.45 |
| From_T2/create.t2.ari | YES | 0.35 |
| From_T2/create_seg.t2.ari | YES | 0.38 |
| From_T2/create_via_tmps.t2.ari | YES | 0.46 |
| From_T2/create_via_tmps.t2_fixed.ari | YES | 0.54 |
| From_T2/ctl.t2.ari | NO | 0.40 |
| From_T2/ctl.t2_fixed.ari | NO | 0.40 |
| From_T2/curious.t2.ari | NO | 5.44 |
| From_T2/curious.t2_fixed.ari | NO | 5.41 |
| From_T2/curious2.t2.ari | YES | 0.31 |
| From_T2/curious2.t2_fixed.ari | YES | 0.32 |
| From_T2/curious4.t2.ari | Unknown | 57.90 |
| From_T2/d.t2.ari | NO | 16.45 |
| From_T2/db.t2.ari | YES | 0.35 |
| From_T2/db2.t2.ari | TIMEOUT | 60.06 |
| From_T2/db2.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/db3.t2.ari | TIMEOUT | 60.06 |
| From_T2/db3.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/dead.neg-st88b-succeed.t2.ari | NO | 36.74 |
| From_T2/defect.t2.ari | NO | 0.35 |
| From_T2/destroy.t2.ari | YES | 0.42 |
| From_T2/destroy.t2_fixed.ari | YES | 0.47 |
| From_T2/destroy_seg.t2.ari | YES | 0.45 |
| From_T2/destroy_seg.t2_fixed.ari | YES | 0.53 |
| From_T2/destroy_seg_leak.t2.ari | NO | 11.84 |
| From_T2/destroy_seg_leak.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/disj_nightmare.t2.ari | NO | 10.45 |
| From_T2/disj_nightmare.t2_fixed.ari | YES | 22.62 |
| From_T2/disj_nightmare_abi.t2.ari | YES | 0.32 |
| From_T2/dropbuf-live.t2.ari | YES | 0.36 |
| From_T2/dropbuf.t2.ari | NO | 3.64 |
| From_T2/dsa_test1.t2.ari | YES | 0.33 |
| From_T2/dsa_test10.t2.ari | YES | 0.32 |
| From_T2/dsa_test10.t2_fixed.ari | YES | 0.33 |
| From_T2/dsa_test12.t2.ari | YES | 0.32 |
| From_T2/dsa_test13.t2.ari | YES | 0.32 |
| From_T2/dsa_test15.t2.ari | YES | 0.32 |
| From_T2/dsa_test15.t2_fixed.ari | YES | 0.32 |
| From_T2/dsa_test6.t2.ari | YES | 0.32 |
| From_T2/dsa_test6.t2_fixed.ari | YES | 0.33 |
| From_T2/dsa_test8.t2.ari | YES | 0.32 |
| From_T2/dsa_test9.t2.ari | YES | 0.32 |
| From_T2/dummy.t2.ari | NO | 36.71 |
| From_T2/dumper.t2.ari | Unknown | 55.60 |
| From_T2/e-1394-fail.t2.ari | NO | 16.67 |
| From_T2/e-1394-succeed.t2.ari | NO | 16.75 |
| From_T2/e-1394-succeed.t2_fixed.ari | NO | 16.70 |
| From_T2/e-1394complete-fail.t2.ari | NO | 47.12 |
| From_T2/e-1394complete-failA.t2.ari | NO | 47.15 |
| From_T2/e-1394complete-succeed.t2.ari | NO | 47.05 |
| From_T2/e-1394complete-succeed.t2_fixed.ari | NO | 46.96 |
| From_T2/e-acqrel-fail.t2.ari | NO | 5.37 |
| From_T2/e-acqrel-succeed.t2.ari | NO | 5.41 |
| From_T2/e-acqrel-succeed.t2_fixed.ari | NO | 5.40 |
| From_T2/e-pgarch-fail.t2.ari | NO | 0.34 |
| From_T2/e-pgarch-succeed.t2.ari | NO | 0.37 |
| From_T2/e-pgarch-succeed.t2_fixed.ari | NO | 0.36 |
| From_T2/e-popl07-fail.t2.ari | NO | 0.66 |
| From_T2/e-popl07-fail.t2_fixed.ari | NO | 0.65 |
| From_T2/e-popl07-succeed.t2.ari | NO | 0.47 |
| From_T2/e-smagill-fail.t2.ari | NO | 0.40 |
| From_T2/e-smagill-succeed.t2.ari | NO | 12.57 |
| From_T2/e-st88b-fail.t2.ari | NO | 0.42 |
| From_T2/edn.t2.ari | TIMEOUT | 60.06 |
| From_T2/edn.t2_fixed.ari | YES | 4.48 |
| From_T2/efegp.t2.ari | NO | 6.50 |
| From_T2/efegp.t2_fixed.ari | NO | 6.34 |
| From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.ari | YES | 1.06 |
| From_T2/elmhes.t2.ari | YES | 1.06 |
| From_T2/eric.t2.ari | Unknown | 9.79 |
| From_T2/eric1.t2.ari | YES | 8.66 |
| From_T2/eric2.t2.ari | Unknown | 49.31 |
| From_T2/eric3.t2.ari | NO | 23.59 |
| From_T2/ex1.t2.ari | TIMEOUT | 60.01 |
| From_T2/ex10.t2.ari | NO | 18.52 |
| From_T2/ex11.t2.ari | NO | 1.45 |
| From_T2/ex12.t2.ari | YES | 0.35 |
| From_T2/ex12.t2_fixed.ari | YES | 0.35 |
| From_T2/ex13.t2.ari | YES | 0.36 |
| From_T2/ex14.t2.ari | YES | 0.33 |
| From_T2/ex14.t2_fixed.ari | YES | 0.32 |
| From_T2/ex15.t2.ari | YES | 0.31 |
| From_T2/ex16.t2.ari | NO | 51.04 |
| From_T2/ex16.t2_fixed.ari | NO | 51.27 |
| From_T2/ex17.t2.ari | YES | 23.52 |
| From_T2/ex17.t2_fixed.ari | YES | 0.34 |
| From_T2/ex18.t2.ari | YES | 0.33 |
| From_T2/ex18.t2_fixed.ari | YES | 0.34 |
| From_T2/ex19.t2.ari | NO | 54.66 |
| From_T2/ex2.t2.ari | NO | 23.47 |
| From_T2/ex2.t2_fixed.ari | NO | 23.47 |
| From_T2/ex20.t2.ari | YES | 0.32 |
| From_T2/ex20.t2_fixed.ari | YES | 0.31 |
| From_T2/ex21.t2.ari | YES | 0.35 |
| From_T2/ex21.t2_fixed.ari | YES | 0.44 |
| From_T2/ex22.t2.ari | YES | 0.52 |
| From_T2/ex22.t2_fixed.ari | YES | 0.43 |
| From_T2/ex23.t2.ari | YES | 0.37 |
| From_T2/ex23.t2_fixed.ari | YES | 0.39 |
| From_T2/ex26.t2.ari | YES | 0.37 |
| From_T2/ex26.t2_fixed.ari | YES | 0.47 |
| From_T2/ex27.t2.ari | YES | 0.57 |
| From_T2/ex27.t2_fixed.ari | YES | 0.48 |
| From_T2/ex29.t2.ari | YES | 0.37 |
| From_T2/ex29.t2_fixed.ari | YES | 0.42 |
| From_T2/ex3.t2.ari | YES | 0.40 |
| From_T2/ex3.t2_fixed.ari | YES | 0.40 |
| From_T2/ex30.t2.ari | YES | 0.42 |
| From_T2/ex31.t2.ari | NO | 5.59 |
| From_T2/ex31.t2_fixed.ari | NO | 5.52 |
| From_T2/ex32.t2.ari | YES | 0.46 |
| From_T2/ex32.t2_fixed.ari | YES | 0.39 |
| From_T2/ex33.t2.ari | YES | 0.39 |
| From_T2/ex33.t2_fixed.ari | YES | 0.39 |
| From_T2/ex34.t2.ari | YES | 0.39 |
| From_T2/ex36.t2.ari | TIMEOUT | 60.06 |
| From_T2/ex36.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/ex4.t2.ari | YES | 0.34 |
| From_T2/ex4.t2_fixed.ari | YES | 0.33 |
| From_T2/ex40.t2.ari | NO | 23.53 |
| From_T2/ex6.t2.ari | YES | 0.34 |
| From_T2/ex7.t2.ari | YES | 0.35 |
| From_T2/ex7.t2_fixed.ari | YES | 0.36 |
| From_T2/ex8.t2.ari | NO | 3.44 |
| From_T2/ex9.t2.ari | NO | 3.43 |
| From_T2/example.t2.ari | YES | 0.33 |
| From_T2/fake-succeed.t2.ari | NO | 1.68 |
| From_T2/fake-succeed.t2_fixed.ari | NO | 1.22 |
| From_T2/fast_poll.t2.ari | NO | 1.68 |
| From_T2/fast_poll.t2_fixed.ari | NO | 1.61 |
| From_T2/fdct.t2.ari | YES | 0.38 |
| From_T2/fdct.t2_fixed.ari | YES | 0.34 |
| From_T2/fermat.t2.ari | YES | 0.35 |
| From_T2/fibcall.t2.ari | YES | 0.32 |
| From_T2/fibcall.t2_fixed.ari | YES | 0.33 |
| From_T2/fir.t2.ari | YES | 0.36 |
| From_T2/fir.t2_fixed.ari | YES | 0.88 |
| From_T2/firewire.t2.ari | TIMEOUT | 60.01 |
| From_T2/flipflop.t2.ari | NO | 0.44 |
| From_T2/florian.t2.ari | YES | 0.31 |
| From_T2/florian_new_ex.t2.ari | YES | 0.57 |
| From_T2/florian_pldi.t2.ari | YES | 0.38 |
| From_T2/florian_sas1.t2.ari | YES | 0.35 |
| From_T2/florian_sas2.t2.ari | YES | 31.74 |
| From_T2/florian_sumit.t2.ari | Unknown | 58.54 |
| From_T2/foo.t2.ari | TIMEOUT | 60.06 |
| From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.ari | TIMEOUT | 60.06 |
| From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.ari | TIMEOUT | 60.06 |
| From_T2/fourn.t2.ari | TIMEOUT | 60.02 |
| From_T2/fuhs-inflasso.t2.ari | YES | 0.35 |
| From_T2/fun1.t2.ari | TIMEOUT | 60.01 |
| From_T2/fun1.t2_fixed.ari | TIMEOUT | 60.01 |
| From_T2/fun10.t2.ari | NO | 6.65 |
| From_T2/fun10.t2_fixed.ari | NO | 6.66 |
| From_T2/fun10b.t2.ari | NO | 6.56 |
| From_T2/fun10b.t2_fixed.ari | NO | 6.54 |
| From_T2/fun11.t2.ari | NO | 36.56 |
| From_T2/fun11.t2_fixed.ari | NO | 18.60 |
| From_T2/fun1b.t2.ari | TIMEOUT | 60.06 |
| From_T2/fun1b.t2_fixed.ari | TIMEOUT | 60.00 |
| From_T2/fun2.t2.ari | YES | 3.57 |
| From_T2/fun2.t2_fixed.ari | YES | 1.37 |
| From_T2/fun2b.t2.ari | YES | 3.36 |
| From_T2/fun2b.t2_fixed.ari | YES | 1.32 |
| From_T2/fun3.t2.ari | YES | 3.59 |
| From_T2/fun4-alt.t2.ari | YES | 6.21 |
| From_T2/fun4.t2.ari | NO | 10.53 |
| From_T2/fun4.t2_fixed.ari | YES | 9.05 |
| From_T2/fun5.t2.ari | NO | 21.61 |
| From_T2/fun5.t2_fixed.ari | Unknown | 32.16 |
| From_T2/fun6.t2.ari | NO | 11.02 |
| From_T2/fun6.t2_fixed.ari | Unknown | 40.79 |
| From_T2/fun7.t2.ari | Unknown | 40.96 |
| From_T2/fun7.t2_fixed.ari | Unknown | 42.66 |
| From_T2/fun8.t2.ari | YES | 0.39 |
| From_T2/fun8.t2_fixed.ari | YES | 0.51 |
| From_T2/fun9.t2.ari | TIMEOUT | 60.06 |
| From_T2/graycode.t2.ari | YES | 0.70 |
| From_T2/graycode.t2_fixed.ari | YES | 0.67 |
| From_T2/hand7.t2.ari | NO | 33.59 |
| From_T2/heidy1.t2.ari | NO | 23.48 |
| From_T2/heidy10.t2.ari | YES | 0.32 |
| From_T2/heidy2.t2.ari | NO | 0.84 |
| From_T2/heidy3.t2.ari | NO | 3.38 |
| From_T2/heidy5.t2.ari | YES | 0.32 |
| From_T2/heidy6.t2.ari | NO | 23.53 |
| From_T2/heidy7.t2.ari | NO | 3.41 |
| From_T2/heidy8.t2.ari | NO | 3.41 |
| From_T2/heidy8.t2_fixed.ari | NO | 3.44 |
| From_T2/heidy9.t2.ari | YES | 0.33 |
| From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.ari | TIMEOUT | 60.00 |
| From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.ari | TIMEOUT | 60.02 |
| From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.ari | TIMEOUT | 60.02 |
| From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/hqr.t2.ari | TIMEOUT | 60.06 |
| From_T2/hqr.t2_fixed.ari | TIMEOUT | 60.01 |
| From_T2/huh.t2.ari | YES | 0.40 |
| From_T2/huh.t2_fixed.ari | YES | 0.39 |
| From_T2/iecs.t2.ari | YES | 0.43 |
| From_T2/insertsort.t2.ari | NO | 10.56 |
| From_T2/insertsort.t2_fixed.ari | NO | 18.51 |
| From_T2/intSqRoot.t2.ari | NO | 5.58 |
| From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.ari | YES | 0.43 |
| From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.ari | YES | 0.40 |
| From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.ari | YES | 0.40 |
| From_T2/jacobi.t2.ari | YES | 0.40 |
| From_T2/jacobi.t2_fixed.ari | YES | 0.39 |
| From_T2/janne_complex.t2.ari | TIMEOUT | 60.06 |
| From_T2/janne_complex.t2_fixed.ari | NO | 30.85 |
| From_T2/java_AG313.c.t2.ari | YES | 0.35 |
| From_T2/java_AProVEMath.c.t2.ari | YES | 0.76 |
| From_T2/java_AProVEMathRecursive.c.t2.ari | YES | 0.84 |
| From_T2/java_Ackermann.c.t2.ari | YES | 0.38 |
| From_T2/java_Avg.c.t2.ari | YES | 1.78 |
| From_T2/java_Break.c.t2.ari | YES | 0.34 |
| From_T2/java_Break.c.t2_fixed.ari | YES | 0.32 |
| From_T2/java_BubbleSort.c.t2.ari | YES | 0.37 |
| From_T2/java_Continue1.c.t2.ari | YES | 0.32 |
| From_T2/java_Continue1.c.t2_fixed.ari | YES | 0.34 |
| From_T2/java_Diff.c.t2.ari | YES | 0.66 |
| From_T2/java_DivMinus1.c.t2.ari | YES | 0.34 |
| From_T2/java_DivMinus2.c.t2.ari | YES | 0.51 |
| From_T2/java_DivWithoutMinus.c.t2.ari | YES | 2.33 |
| From_T2/java_Double1.c.t2.ari | YES | 0.43 |
| From_T2/java_Double2.c.t2.ari | YES | 0.34 |
| From_T2/java_Double3.c.t2.ari | YES | 0.37 |
| From_T2/java_Duplicate.c.t2.ari | YES | 0.38 |
| From_T2/java_EqUserDefRec.c.t2.ari | YES | 0.40 |
| From_T2/java_FactSum.c.t2.ari | YES | 0.38 |
| From_T2/java_Factorial.c.t2.ari | YES | 0.37 |
| From_T2/java_FibRecursive.c.t2.ari | YES | 0.39 |
| From_T2/java_Hanoi.c.t2.ari | YES | 0.49 |
| From_T2/java_LeUserDefRec.c.t2.ari | YES | 0.46 |
| From_T2/java_LogBuiltIn.c.t2.ari | YES | 0.38 |
| From_T2/java_MinusBuiltIn.c.t2.ari | YES | 0.50 |
| From_T2/java_MinusMin.c.t2.ari | YES | 0.52 |
| From_T2/java_Nested.c.t2.ari | YES | 0.47 |
| From_T2/java_Nested.c.t2_fixed.ari | YES | 0.50 |
| From_T2/java_NestedLoop.c.t2.ari | YES | 0.57 |
| From_T2/java_PlusSwap.c.t2.ari | YES | 1.55 |
| From_T2/java_Recursions.c.t2.ari | YES | 8.09 |
| From_T2/java_Sequence.c.t2.ari | YES | 0.42 |
| From_T2/java_Sequence.c.t2_fixed.ari | YES | 0.38 |
| From_T2/java_TimesPlusUserDef.c.t2.ari | YES | 0.40 |
| From_T2/jfdctint.c.t2.ari | YES | 0.40 |
| From_T2/jfdctint.c.t2_fixed.ari | YES | 0.39 |
| From_T2/jfdctint.t2.ari | YES | 0.39 |
| From_T2/jfdctint.t2_fixed.ari | YES | 0.38 |
| From_T2/l1.t2.ari | NO | 5.54 |
| From_T2/loop3.t2.ari | YES | 1.20 |
| From_T2/loop3.t2_fixed.ari | YES | 0.95 |
| From_T2/loop_on_input.t2.ari | YES | 0.33 |
| From_T2/loop_on_input.t2_fixed.ari | YES | 0.34 |
| From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.ari | YES | 1.84 |
| From_T2/ludcmp.t2.ari | YES | 0.52 |
| From_T2/magic.t2.ari | YES | 1.21 |
| From_T2/matmul.t2.ari | YES | 0.42 |
| From_T2/matmul.t2_fixed.ari | YES | 0.56 |
| From_T2/matmult.t2.ari | YES | 0.48 |
| From_T2/matmult.t2_fixed.ari | YES | 0.88 |
| From_T2/matrixsqrt.t2.ari | YES | 0.47 |
| From_T2/mc91.t2.ari | NO | 16.16 |
| From_T2/mc91.t2_fixed.ari | YES | 0.44 |
| From_T2/mc91test.t2.ari | TIMEOUT | 60.06 |
| From_T2/mc91test.t2_fixed.ari | YES | 0.69 |
| From_T2/minmax.t2.ari | YES | 0.34 |
| From_T2/minmax.t2_fixed.ari | YES | 0.33 |
| From_T2/n-1.t2.ari | NO | 5.37 |
| From_T2/n-1.t2_fixed.ari | NO | 5.47 |
| From_T2/n-10.t2.ari | NO | 5.55 |
| From_T2/n-10.t2_fixed.ari | Unknown | 0.34 |
| From_T2/n-12.t2.ari | NO | 20.65 |
| From_T2/n-12.t2_fixed.ari | NO | 20.46 |
| From_T2/n-12a.t2.ari | NO | 5.37 |
| From_T2/n-13.t2.ari | NO | 18.45 |
| From_T2/n-14.t2.ari | NO | 5.40 |
| From_T2/n-14.t2_fixed.ari | NO | 5.44 |
| From_T2/n-15.t2.ari | NO | 33.92 |
| From_T2/n-15a.t2.ari | Unknown | 15.05 |
| From_T2/n-15a.t2_fixed.ari | Unknown | 18.39 |
| From_T2/n-16a.t2.ari | NO | 5.47 |
| From_T2/n-17.t2.ari | NO | 33.60 |
| From_T2/n-18.t2.ari | NO | 18.48 |
| From_T2/n-18a.t2.ari | NO | 5.48 |
| From_T2/n-1c.t2.ari | NO | 5.53 |
| From_T2/n-1c.t2_fixed.ari | Unknown | 0.34 |
| From_T2/n-1d.t2.ari | NO | 20.71 |
| From_T2/n-1d.t2_fixed.ari | NO | 20.46 |
| From_T2/n-20.t2.ari | Unknown | 0.34 |
| From_T2/n-21.t2.ari | TIMEOUT | 60.06 |
| From_T2/n-21.t2_fixed.ari | NO | 36.60 |
| From_T2/n-3.t2.ari | NO | 36.54 |
| From_T2/n-32.t2.ari | NO | 5.56 |
| From_T2/n-33.t2.ari | TIMEOUT | 60.06 |
| From_T2/n-36.t2.ari | Unknown | 0.43 |
| From_T2/n-36.t2_fixed.ari | Unknown | 0.45 |
| From_T2/n-37.t2.ari | NO | 43.65 |
| From_T2/n-37.t2_fixed.ari | NO | 43.73 |
| From_T2/n-38.t2.ari | YES | 0.35 |
| From_T2/n-3a.t2.ari | NO | 15.69 |
| From_T2/n-3a.t2_fixed.ari | NO | 15.50 |
| From_T2/n-4.t2.ari | NO | 21.28 |
| From_T2/n-4.t2_fixed.ari | NO | 21.02 |
| From_T2/n-40.t2.ari | TIMEOUT | 60.06 |
| From_T2/n-40.t2_fixed.ari | NO | 36.93 |
| From_T2/n-46.t2.ari | TIMEOUT | 60.06 |
| From_T2/n-48.t2.ari | NO | 32.59 |
| From_T2/n-48.t2_fixed.ari | NO | 32.57 |
| From_T2/n-5.t2.ari | NO | 14.92 |
| From_T2/n-5.t2_fixed.ari | NO | 12.28 |
| From_T2/n-6.t2.ari | TIMEOUT | 60.00 |
| From_T2/n-6.t2_fixed.ari | TIMEOUT | 60.02 |
| From_T2/n-6a.t2.ari | NO | 20.51 |
| From_T2/n-6a.t2_fixed.ari | NO | 20.50 |
| From_T2/n-7.t2.ari | TIMEOUT | 60.06 |
| From_T2/n-7.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/n-8.t2.ari | NO | 5.54 |
| From_T2/n-8.t2_fixed.ari | Unknown | 0.38 |
| From_T2/n-8a.t2.ari | NO | 5.41 |
| From_T2/n-9.t2.ari | NO | 5.72 |
| From_T2/n-9.t2_fixed.ari | NO | 5.75 |
| From_T2/n_firewire_instrumented-PP.t2.ari | TIMEOUT | 60.06 |
| From_T2/nakata.t2.ari | TIMEOUT | 60.01 |
| From_T2/nakata_withassume.t2.ari | YES | 2.31 |
| From_T2/ndes.t2.ari | YES | 17.24 |
| From_T2/ndes.t2_fixed.ari | YES | 14.70 |
| From_T2/neg-1394-fail.t2.ari | NO | 16.60 |
| From_T2/neg-1394-succeed.t2.ari | NO | 16.60 |
| From_T2/neg-1394complete-fail.t2.ari | TIMEOUT | 60.04 |
| From_T2/neg-1394complete-fail.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/neg-1394complete-succeed.t2.ari | NO | 47.12 |
| From_T2/neg-1394complete-succeed.t2_fixed.ari | NO | 47.16 |
| From_T2/neg-acqrel-fail.t2.ari | NO | 9.44 |
| From_T2/neg-acqrel-succeed.t2.ari | NO | 9.43 |
| From_T2/neg-e-1394-succeed.t2.ari | NO | 16.69 |
| From_T2/neg-e-1394complete-fail.t2.ari | NO | 47.13 |
| From_T2/neg-e-1394complete-fail.t2_fixed.ari | NO | 47.04 |
| From_T2/neg-e-1394complete-succeed.t2.ari | NO | 47.17 |
| From_T2/neg-e-1394complete-succeed.t2_fixed.ari | NO | 46.97 |
| From_T2/neg-e-acqrel-fail.t2.ari | NO | 5.43 |
| From_T2/neg-e-acqrel-fail.t2_fixed.ari | NO | 5.44 |
| From_T2/neg-e-acqrel-succeed.t2.ari | NO | 5.41 |
| From_T2/neg-e-acqrel-succeed.t2_fixed.ari | NO | 5.41 |
| From_T2/neg-e-pgarch-fail.t2.ari | NO | 0.36 |
| From_T2/neg-e-pgarch-fail.t2_fixed.ari | NO | 0.34 |
| From_T2/neg-e-pgarch-succeed.t2.ari | NO | 0.35 |
| From_T2/neg-e-pgarch-succeed.t2_fixed.ari | NO | 0.35 |
| From_T2/neg-e-popl07-fail.t2.ari | NO | 0.43 |
| From_T2/neg-e-popl07-succeed.t2.ari | NO | 0.63 |
| From_T2/neg-e-popl07-succeed.t2_fixed.ari | NO | 0.65 |
| From_T2/neg-e-smagill-succeed.t2.ari | NO | 0.38 |
| From_T2/neg-e-st88b-succeed.t2.ari | NO | 0.40 |
| From_T2/neg-pgarch-fail.t2.ari | NO | 0.44 |
| From_T2/neg-pgarch-succeed.t2.ari | NO | 0.47 |
| From_T2/neg-pgarch-succeed.t2_fixed.ari | NO | 0.45 |
| From_T2/neg-popl07-fail.t2.ari | NO | 0.48 |
| From_T2/neg-popl07-fail.t2_fixed.ari | NO | 0.50 |
| From_T2/neg-popl07-succeed.t2.ari | NO | 0.66 |
| From_T2/neg-popl07-succeed.t2_fixed.ari | NO | 0.60 |
| From_T2/neg-smagilla-fail.t2.ari | NO | 3.50 |
| From_T2/neg-smagilla-succeed.t2.ari | NO | 12.51 |
| From_T2/neg-st88b-fail.t2.ari | NO | 36.78 |
| From_T2/neg.t2.ari | YES | 0.33 |
| From_T2/nested.t2.ari | YES | 0.34 |
| From_T2/nested2.t2.ari | YES | 0.32 |
| From_T2/nested2.t2_fixed.ari | YES | 4.37 |
| From_T2/non_term.t2.ari | NO | 32.61 |
| From_T2/ns.t2.ari | YES | 0.95 |
| From_T2/ns.t2_fixed.ari | YES | 0.75 |
| From_T2/oct_vs_subpoly.t2.ari | NO | 33.53 |
| From_T2/opt-tree.c.t2.ari | YES | 6.77 |
| From_T2/p-1.t2.ari | Unknown | 0.34 |
| From_T2/p-10.t2.ari | Unknown | 0.34 |
| From_T2/p-12.t2.ari | YES | 0.31 |
| From_T2/p-13.t2.ari | YES | 0.33 |
| From_T2/p-14.t2.ari | YES | 0.32 |
| From_T2/p-15.t2.ari | YES | 0.32 |
| From_T2/p-19.t2.ari | Unknown | 0.33 |
| From_T2/p-19a.t2.ari | Unknown | 0.35 |
| From_T2/p-1a.t2.ari | Unknown | 0.35 |
| From_T2/p-1b.t2.ari | YES | 0.32 |
| From_T2/p-1c.t2.ari | Unknown | 0.35 |
| From_T2/p-1d.t2.ari | YES | 0.33 |
| From_T2/p-20.t2.ari | Unknown | 0.35 |
| From_T2/p-21.t2.ari | YES | 0.34 |
| From_T2/p-21.t2_fixed.ari | YES | 0.32 |
| From_T2/p-22.t2.ari | YES | 0.31 |
| From_T2/p-3.t2.ari | YES | 0.32 |
| From_T2/p-3.t2_fixed.ari | YES | 0.34 |
| From_T2/p-32.t2.ari | NO | 5.54 |
| From_T2/p-33.t2.ari | TIMEOUT | 60.06 |
| From_T2/p-34.t2.ari | Unknown | 0.35 |
| From_T2/p-36.t2.ari | Unknown | 0.36 |
| From_T2/p-36.t2_fixed.ari | Unknown | 0.36 |
| From_T2/p-37.t2.ari | YES | 0.38 |
| From_T2/p-37.t2_fixed.ari | YES | 0.36 |
| From_T2/p-38.t2.ari | YES | 0.38 |
| From_T2/p-38.t2_fixed.ari | YES | 0.38 |
| From_T2/p-4.t2.ari | YES | 0.37 |
| From_T2/p-40.t2.ari | YES | 0.37 |
| From_T2/p-40.t2_fixed.ari | YES | 0.36 |
| From_T2/p-41.t2.ari | YES | 0.36 |
| From_T2/p-42.t2.ari | YES | 0.39 |
| From_T2/p-43-terminate.t2.ari | YES | 2.37 |
| From_T2/p-43-terminate.t2_fixed.ari | YES | 4.27 |
| From_T2/p-43.t2.ari | YES | 0.46 |
| From_T2/p-43.t2_fixed.ari | YES | 0.83 |
| From_T2/p-44.t2.ari | YES | 0.41 |
| From_T2/p-45.t2.ari | YES | 0.41 |
| From_T2/p-46.t2.ari | NO | 5.63 |
| From_T2/p-46.t2_fixed.ari | NO | 5.65 |
| From_T2/p-49.t2.ari | YES | 0.37 |
| From_T2/p-5.t2.ari | NO | 15.35 |
| From_T2/p-5.t2_fixed.ari | NO | 22.39 |
| From_T2/p-50.t2.ari | YES | 0.39 |
| From_T2/p-52.t2.ari | Unknown | 0.37 |
| From_T2/p-53.t2.ari | YES | 0.35 |
| From_T2/p-55.t2.ari | YES | 0.34 |
| From_T2/p-55.t2_fixed.ari | YES | 0.33 |
| From_T2/p-56.t2.ari | YES | 0.34 |
| From_T2/p-56.t2_fixed.ari | YES | 0.34 |
| From_T2/p-58.t2.ari | YES | 0.31 |
| From_T2/p-6.t2.ari | YES | 0.33 |
| From_T2/p-60.t2.ari | YES | 0.33 |
| From_T2/p-60.t2_fixed.ari | YES | 0.33 |
| From_T2/p-61.t2.ari | YES | 0.32 |
| From_T2/p-61.t2_fixed.ari | YES | 0.38 |
| From_T2/p-62.t2.ari | YES | 0.33 |
| From_T2/p-63.t2.ari | YES | 0.32 |
| From_T2/p-63.t2_fixed.ari | YES | 0.34 |
| From_T2/p-7.t2.ari | YES | 0.32 |
| From_T2/p-7.t2_fixed.ari | YES | 0.33 |
| From_T2/p-7b.t2.ari | YES | 0.32 |
| From_T2/p-8.t2.ari | Unknown | 0.35 |
| From_T2/p.t2.ari | TIMEOUT | 60.05 |
| From_T2/p_armc.t2.ari | Unknown | 42.34 |
| From_T2/pearl-necklace.t2.ari | YES | 0.33 |
| From_T2/peculiar.t2.ari | NO | 3.53 |
| From_T2/peculiar.t2_fixed.ari | NO | 3.52 |
| From_T2/pentagon.t2.ari | TIMEOUT | 60.06 |
| From_T2/pgarch-fail.t2.ari | NO | 0.38 |
| From_T2/pgarch-succeed.t2.ari | NO | 0.36 |
| From_T2/pgarch.t2.ari | TIMEOUT | 60.02 |
| From_T2/pgarch.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/polling.bug.t2.ari | Unknown | 25.10 |
| From_T2/polling.bug.t2_fixed.ari | Unknown | 25.54 |
| From_T2/polling.t2.ari | Unknown | 26.85 |
| From_T2/polling.t2_fixed.ari | Unknown | 23.23 |
| From_T2/polyrank1.t2.ari | YES | 0.38 |
| From_T2/polyrank2.t2.ari | YES | 18.33 |
| From_T2/polyrank3.t2.ari | YES | 25.03 |
| From_T2/polyrank4.t2.ari | YES | 30.28 |
| From_T2/polyrank5.t2.ari | YES | 55.35 |
| From_T2/polyrank6.t2.ari | YES | 0.49 |
| From_T2/polyrank7.t2.ari | NO | 27.68 |
| From_T2/popl07-fail.t2.ari | NO | 0.45 |
| From_T2/popl07-succeed.t2.ari | NO | 0.45 |
| From_T2/ppblock.t2.ari | TIMEOUT | 60.06 |
| From_T2/ppblockbug.t2.ari | NO | 52.53 |
| From_T2/ppblockterm.t2.ari | TIMEOUT | 60.06 |
| From_T2/ppblocktermbug.t2.ari | TIMEOUT | 60.06 |
| From_T2/prime.t2.ari | NO | 23.53 |
| From_T2/prime.t2_fixed.ari | NO | 23.49 |
| From_T2/print.t2.ari | YES | 0.66 |
| From_T2/print.t2_fixed.ari | YES | 0.98 |
| From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.ari | YES | 0.94 |
| From_T2/qrdcmp.t2.ari | YES | 1.16 |
| From_T2/queens.t2.ari | YES | 2.85 |
| From_T2/queens.t2_fixed.ari | YES | 3.11 |
| From_T2/queue_1.t2.ari | YES | 0.35 |
| From_T2/queue_10.t2.ari | YES | 0.35 |
| From_T2/queue_10.t2_fixed.ari | YES | 0.35 |
| From_T2/queue_100.t2.ari | YES | 0.37 |
| From_T2/queue_100.t2_fixed.ari | YES | 0.41 |
| From_T2/queue_1000.t2.ari | YES | 0.40 |
| From_T2/queue_1000.t2_fixed.ari | YES | 0.39 |
| From_T2/randomwalk.t2.ari | TIMEOUT | 60.06 |
| From_T2/randomwalk_withassume.t2.ari | YES | 0.40 |
| From_T2/refine_disj_problem.t2.ari | NO | 5.55 |
| From_T2/refine_disj_problem.t2_fixed.ari | NO | 36.68 |
| From_T2/rev_nt2.t2.ari | NO | 10.43 |
| From_T2/rev_nt2.t2_fixed.ari | NO | 8.07 |
| From_T2/rev_nt3.t2.ari | NO | 8.23 |
| From_T2/rev_nt3.t2_fixed.ari | NO | 8.20 |
| From_T2/rev_nt4.t2.ari | YES | 0.33 |
| From_T2/rev_nt4.t2_fixed.ari | YES | 0.33 |
| From_T2/reverse.t2.ari | YES | 0.71 |
| From_T2/reverse.t2_fixed.ari | YES | 1.45 |
| From_T2/reverse_div4.t2.ari | NO | 11.63 |
| From_T2/reverse_div4.t2_fixed.ari | NO | 12.06 |
| From_T2/reverse_seg_cyclic.t2.ari | YES | 0.53 |
| From_T2/reverse_seg_cyclic.t2_fixed.ari | YES | 0.99 |
| From_T2/rewrite.t2.ari | NO | 0.35 |
| From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.ari | TIMEOUT | 60.01 |
| From_T2/rlft3.t2.ari | TIMEOUT | 60.06 |
| From_T2/ruslan-benchmarks_misc_n-38.t2.ari | TIMEOUT | 60.06 |
| From_T2/s1-saved.t2.ari | YES | 0.58 |
| From_T2/s1-saved.t2_fixed.ari | YES | 0.81 |
| From_T2/s1-striped.t2.ari | TIMEOUT | 60.02 |
| From_T2/s1-striped.t2_fixed.ari | TIMEOUT | 60.02 |
| From_T2/s1.t2.ari | TIMEOUT | 60.06 |
| From_T2/s1.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/s2.t2.ari | YES | 0.35 |
| From_T2/s2.t2_fixed.ari | YES | 0.33 |
| From_T2/s3-work.t2.ari | YES | 2.83 |
| From_T2/s3-work.t2_fixed.ari | YES | 9.47 |
| From_T2/s3.t2.ari | TIMEOUT | 60.06 |
| From_T2/s3.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/s4.t2.ari | TIMEOUT | 60.06 |
| From_T2/s4.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/sas07.cex.t2.ari | YES | 0.64 |
| From_T2/sas2.t2.ari | TIMEOUT | 60.06 |
| From_T2/select.t2.ari | TIMEOUT | 60.06 |
| From_T2/select.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/selectSort.t2.ari | YES | 0.39 |
| From_T2/send-more-money.t2.ari | YES | 0.73 |
| From_T2/send-more-money.t2_fixed.ari | YES | 0.71 |
| From_T2/seq.t2.ari | YES | 0.31 |
| From_T2/sequential_swap.t2.ari | YES | 0.32 |
| From_T2/simple.t2.ari | NO | 33.71 |
| From_T2/simpleWhile.t2.ari | YES | 0.35 |
| From_T2/simple_array_inversion.t2.ari | YES | 0.32 |
| From_T2/simple_control_on_input.t2.ari | YES | 0.32 |
| From_T2/simple_control_on_input.t2_fixed.ari | YES | 0.32 |
| From_T2/simple_fail.t2.ari | YES | 0.33 |
| From_T2/simple_pre.t2.ari | YES | 0.33 |
| From_T2/simple_pre1.t2.ari | YES | 0.33 |
| From_T2/simple_pre2.t2.ari | YES | 0.32 |
| From_T2/simple_pre3.t2.ari | YES | 0.31 |
| From_T2/simple_swap_call.t2.ari | YES | 0.34 |
| From_T2/simple_test.t2.ari | YES | 0.34 |
| From_T2/simple_test2.t2.ari | NO | 0.32 |
| From_T2/slayer-1-filtered.t2.ari | YES | 0.42 |
| From_T2/slayer-1-rf.t2.ari | YES | 0.44 |
| From_T2/slayer-2-filtered.t2.ari | YES | 0.37 |
| From_T2/slayer-2-filtered.t2_fixed.ari | YES | 0.40 |
| From_T2/slayer-3-filtered.t2.ari | TIMEOUT | 60.06 |
| From_T2/slayer-3-new.t2.ari | TIMEOUT | 60.06 |
| From_T2/slayer-3-new.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/slayer-3.t2.ari | TIMEOUT | 60.06 |
| From_T2/slayer-3.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/slayer-4-filtered.t2.ari | TIMEOUT | 60.05 |
| From_T2/slayer-5-filtered.t2.ari | TIMEOUT | 60.06 |
| From_T2/slayer-n1-filtered.t2.ari | NO | 8.88 |
| From_T2/slayer-n1.t2.ari | NO | 10.80 |
| From_T2/slayer-n1.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/slayer-n2-filtered.t2.ari | NO | 44.73 |
| From_T2/slayer-n2.t2.ari | NO | 23.54 |
| From_T2/slayer-n3-filtered.t2.ari | YES | 0.41 |
| From_T2/slayer-n3-filtered.t2_fixed.ari | YES | 0.39 |
| From_T2/slayer-n5-filtered.t2.ari | TIMEOUT | 60.06 |
| From_T2/smagilla-fail.t2.ari | NO | 12.49 |
| From_T2/smagilla-succeed.t2.ari | NO | 12.50 |
| From_T2/smagillb-succeed.t2.ari | NO | 18.53 |
| From_T2/smagillb-succeed.t2_fixed.ari | NO | 18.50 |
| From_T2/smagillc-fail.t2.ari | NO | 12.58 |
| From_T2/smagillc-fail.t2_fixed.ari | NO | 12.59 |
| From_T2/smagillc-succeed.t2.ari | NO | 12.47 |
| From_T2/small01.t2.ari | NO | 43.66 |
| From_T2/small01.t2_fixed.ari | YES | 0.32 |
| From_T2/small02.t2.ari | NO | 18.44 |
| From_T2/small03.t2.ari | NO | 33.52 |
| From_T2/small04.t2.ari | TIMEOUT | 60.06 |
| From_T2/small05.t2.ari | NO | 54.68 |
| From_T2/small06.t2.ari | YES | 0.32 |
| From_T2/small07.t2.ari | YES | 0.36 |
| From_T2/small08.t2.ari | YES | 0.39 |
| From_T2/small09.t2.ari | YES | 0.40 |
| From_T2/small10.t2.ari | NO | 13.01 |
| From_T2/small11.t2.ari | NO | 0.38 |
| From_T2/small12.t2.ari | YES | 0.34 |
| From_T2/small13.t2.ari | YES | 0.36 |
| From_T2/small14.t2.ari | NO | 42.32 |
| From_T2/small15.t2.ari | TIMEOUT | 60.06 |
| From_T2/small16.t2.ari | Unknown | 48.66 |
| From_T2/small17.t2.ari | Unknown | 35.61 |
| From_T2/small18.t2.ari | Unknown | 35.60 |
| From_T2/small19.t2.ari | YES | 0.33 |
| From_T2/small20.t2.ari | YES | 0.33 |
| From_T2/small21.t2.ari | YES | 0.32 |
| From_T2/small22.t2.ari | NO | 5.41 |
| From_T2/small23.t2.ari | NO | 9.45 |
| From_T2/small24.t2.ari | NO | 0.33 |
| From_T2/small26.t2.ari | YES | 0.33 |
| From_T2/small27.t2.ari | YES | 0.31 |
| From_T2/small28.t2.ari | YES | 0.38 |
| From_T2/small29.t2.ari | NO | 5.41 |
| From_T2/small31.t2.ari | YES | 0.32 |
| From_T2/small32.t2.ari | YES | 0.32 |
| From_T2/small33.t2.ari | YES | 0.34 |
| From_T2/small34.t2.ari | YES | 0.33 |
| From_T2/small35.t2.ari | TIMEOUT | 60.06 |
| From_T2/sort.t2.ari | YES | 0.49 |
| From_T2/sort.t2_fixed.ari | YES | 0.48 |
| From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.ari | YES | 7.78 |
| From_T2/spctrm.t2.ari | YES | 7.79 |
| From_T2/spiral.t2.ari | Unknown | 39.72 |
| From_T2/spiral.t2_fixed.ari | YES | 1.61 |
| From_T2/st88.bug.t2.ari | NO | 20.06 |
| From_T2/st88.bug.t2_fixed.ari | NO | 9.52 |
| From_T2/st88.t2.ari | NO | 14.89 |
| From_T2/st88.t2_fixed.ari | NO | 9.67 |
| From_T2/st88b-fail.t2.ari | NO | 18.77 |
| From_T2/st88b-succeed.t2.ari | NO | 18.86 |
| From_T2/statemate.t2.ari | TIMEOUT | 60.06 |
| From_T2/statemate.t2_fixed.ari | TIMEOUT | 60.01 |
| From_T2/stored.t2.ari | NO | 0.36 |
| From_T2/streamserver-succeed.t2.ari | TIMEOUT | 60.06 |
| From_T2/streamserver-succeed.t2_fixed.ari | TIMEOUT | 60.01 |
| From_T2/streamserver.bug.t2.ari | NO | 13.55 |
| From_T2/streamserver.bug.t2_fixed.ari | NO | 11.31 |
| From_T2/subpoly_crash.t2.ari | NO | 54.67 |
| From_T2/sudoku.t2.ari | YES | 7.34 |
| From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.ari | TIMEOUT | 60.06 |
| From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.ari | TIMEOUT | 60.06 |
| From_T2/svdcmp.t2.ari | YES | 19.54 |
| From_T2/svdcmp.t2_fixed.ari | YES | 16.90 |
| From_T2/test_byron_2.t2.ari | NO | 5.41 |
| From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.ari | YES | 4.37 |
| From_T2/toeplz.t2.ari | YES | 4.39 |
| From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.ari | Unknown | 59.52 |
| From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.ari | TIMEOUT | 60.06 |
| From_T2/tqli.t2.ari | TIMEOUT | 60.06 |
| From_T2/tqli.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/traverse.t2.ari | YES | 0.56 |
| From_T2/traverse.t2_fixed.ari | YES | 0.78 |
| From_T2/traverse2.t2.ari | YES | 0.60 |
| From_T2/traverse2.t2_fixed.ari | YES | 0.99 |
| From_T2/traverse_seg.t2.ari | YES | 0.62 |
| From_T2/traverse_seg.t2_fixed.ari | YES | 1.03 |
| From_T2/traverse_seg2.t2.ari | YES | 0.67 |
| From_T2/traverse_seg2.t2_fixed.ari | YES | 0.96 |
| From_T2/traverse_twice.t2.ari | YES | 0.74 |
| From_T2/traverse_twice.t2_fixed.ari | YES | 1.15 |
| From_T2/two_arrays.t2.ari | YES | 0.36 |
| From_T2/two_arrays.t2_fixed.ari | YES | 0.38 |
| From_T2/two_arrays1.t2.ari | YES | 0.41 |
| From_T2/two_arrays1.t2_fixed.ari | YES | 0.40 |
| From_T2/two_arrays2.t2.ari | YES | 0.44 |
| From_T2/two_arrays6.t2.ari | YES | 0.42 |
| From_T2/ud.t2.ari | YES | 3.78 |
| From_T2/ud.t2_fixed.ari | YES | 4.77 |
| From_T2/vmcai_bytes.t2.ari | YES | 0.33 |
| From_T2/w1.t2.ari | NO | 0.33 |
| From_T2/w2_nt.t2.ari | NO | 10.43 |
| From_T2/w3_nt.t2.ari | NO | 8.11 |
| From_T2/walk.t2.ari | TIMEOUT | 60.06 |
| From_T2/walk.t2_fixed.ari | TIMEOUT | 60.01 |
| From_T2/weakness.t2.ari | YES | 1.40 |
| From_T2/whatwhat.t2.ari | YES | 0.36 |
| From_T2/wrap.c.t2.ari | YES | 0.55 |
| From_T2/wrong_loop.t2.ari | NO | 9.71 |
| From_T2/wrong_loop.t2_fixed.ari | NO | 0.94 |
| From_T2/wtf.t2.ari | YES | 1.32 |
| From_T2/zeroconf.t2.ari | TIMEOUT | 60.06 |
| From_T2/zeroconf_withassume.t2.ari | YES | 56.44 |
| From_T2/zlib-adler32.c.t2.ari | TIMEOUT | 60.02 |
| From_T2/zlib-adler32.c.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/zlib-crc32-BYFOUR.c.t2.ari | NO | 38.67 |
| From_T2/zlib-crc32-BYFOUR.c.t2_fixed.ari | YES | 6.32 |
| From_T2/zlib-crc32.c.t2.ari | NO | 6.06 |
| From_T2/zlib-crc32.c.t2_fixed.ari | YES | 0.38 |