The table below presents the actual runtimes of the benchmarks along with the results produced by the tool MuVal.
| Benchmark | Result | Time |
|---|---|---|
| From_AProVE_2014/AG313.jar-obl-8.ari | Unknown | 0.51 |
| From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.ari | Unknown | 0.50 |
| From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.ari | Unknown | 0.59 |
| From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.ari | NO | 0.51 |
| From_AProVE_2014/AProVEMath.jar-obl-8.ari | Unknown | 2.54 |
| From_AProVE_2014/AProVEMathRecursive.jar-obl-8.ari | Unknown | 26.72 |
| From_AProVE_2014/AckR.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Ackermann.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Alternate.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.ari | Unknown | 0.44 |
| From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.ari | NO | 0.43 |
| From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.ari | Unknown | 0.45 |
| From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.ari | NO | 0.41 |
| From_AProVE_2014/AppE.jar-obl-9.ari | Unknown | 0.62 |
| From_AProVE_2014/Avg.jar-obl-8.ari | Unknown | 0.70 |
| From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.ari | NO | 0.59 |
| From_AProVE_2014/BTree.jar-obl-9.ari | Unknown | 22.66 |
| From_AProVE_2014/BTreeR.jar-obl-9.ari | TIMEOUT | 60.02 |
| From_AProVE_2014/BinTreeChanger.jar-obl-10.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/BinarySearch.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/BinarySearchTree.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/Binomial.jar-obl-9.ari | Unknown | 29.13 |
| From_AProVE_2014/Break.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/BubbleSort.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/BubbleSortR.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/CAppE.jar-obl-9.ari | Unknown | 0.43 |
| From_AProVE_2014/Carre.jar-obl-9.ari | Unknown | 0.55 |
| From_AProVE_2014/Choose.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/ChooseLife.jar-obl-8.ari | NO | 0.40 |
| From_AProVE_2014/ClassAnalysis.jar-obl-8.ari | Unknown | 0.38 |
| From_AProVE_2014/ClassAnalysisRec.jar-obl-8.ari | Unknown | 0.35 |
| From_AProVE_2014/Collatz.jar-obl-8.ari | Unknown | 1.02 |
| From_AProVE_2014/Continue.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/Continue1.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/Convert.jar-obl-9.ari | NO | 0.45 |
| From_AProVE_2014/ConvertRec.jar-obl-9.ari | NO | 0.51 |
| From_AProVE_2014/Count.jar-obl-10-2.ari | NO | 0.54 |
| From_AProVE_2014/Count.jar-obl-10.ari | NO | 0.50 |
| From_AProVE_2014/CountMetaList.jar-obl-9.ari | NO | 0.47 |
| From_AProVE_2014/CountMetaListRec.jar-obl-9.ari | NO | 0.46 |
| From_AProVE_2014/CountUpRound.jar-obl-8.ari | Unknown | 0.48 |
| From_AProVE_2014/CyclicAnalysis.jar-obl-10.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.ari | Unknown | 1.31 |
| From_AProVE_2014/CyclicList.jar-obl-9.ari | Unknown | 0.46 |
| From_AProVE_2014/CyclicPair2.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.ari | NO | 0.44 |
| From_AProVE_2014/Diff.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Distances.jar-obl-19.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/DivMinus.jar-obl-11.ari | NO | 0.54 |
| From_AProVE_2014/DivMinus.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/DivMinus2.jar-obl-8.ari | Unknown | 0.40 |
| From_AProVE_2014/DivTernary.jar-obl-10.ari | NO | 0.79 |
| From_AProVE_2014/DivTernary2.jar-obl-9.ari | NO | 0.45 |
| From_AProVE_2014/DivWithoutMinus.jar-obl-8.ari | Unknown | 0.38 |
| From_AProVE_2014/Domino.jar-obl-27.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Double.jar-obl-8.ari | Unknown | 0.39 |
| From_AProVE_2014/Double2.jar-obl-8.ari | Unknown | 0.33 |
| From_AProVE_2014/Double3.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/DupTreeRec.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Duplicate.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/DuplicateNodes.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/DuplicateTreePath.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/EqUserDefRec.jar-obl-8.ari | Unknown | 0.33 |
| From_AProVE_2014/Et1-rec.jar-obl-8.ari | Unknown | 0.38 |
| From_AProVE_2014/Et1.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/Et2-rec.jar-obl-8.ari | Unknown | 0.39 |
| From_AProVE_2014/Et2.jar-obl-8.ari | Unknown | 0.41 |
| From_AProVE_2014/Et3-rec.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/Et3.jar-obl-9.ari | Unknown | 0.40 |
| From_AProVE_2014/Et4-rec.jar-obl-8.ari | Unknown | 0.48 |
| From_AProVE_2014/Et4.jar-obl-8.ari | Unknown | 0.53 |
| From_AProVE_2014/Et5-rec.jar-obl-8.ari | Unknown | 0.49 |
| From_AProVE_2014/Et5.jar-obl-8.ari | Unknown | 0.50 |
| From_AProVE_2014/Et6-rec.jar-obl-8.ari | Unknown | 0.49 |
| From_AProVE_2014/Et6.jar-obl-8.ari | Unknown | 0.49 |
| From_AProVE_2014/EvenOdd.jar-obl-8.ari | NO | 0.37 |
| From_AProVE_2014/Exc.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/Exc1.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/Exc2.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/Exc3.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/Exc4.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/Exc5.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/FactSLR.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/FactSum.jar-obl-9.ari | Unknown | 0.34 |
| From_AProVE_2014/FactSumList.jar-obl-8.ari | Unknown | 0.90 |
| From_AProVE_2014/Factorial.jar-obl-8.ari | Unknown | 0.35 |
| From_AProVE_2014/FibSLR.jar-obl-8.ari | Unknown | 0.43 |
| From_AProVE_2014/Fibonacci.jar-obl-8.ari | Unknown | 0.96 |
| From_AProVE_2014/Flatten.jar-obl-10.ari | NO | 0.52 |
| From_AProVE_2014/FlattenRTA.jar-obl-10.ari | NO | 0.57 |
| From_AProVE_2014/FlattenTree.jar-obl-9.ari | NO | 0.47 |
| From_AProVE_2014/FlattenTreeListRec.jar-obl-10.ari | NO | 0.49 |
| From_AProVE_2014/FlattenTreeRec.jar-obl-9.ari | NO | 0.49 |
| From_AProVE_2014/Fractale1.jar-obl-8.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/GCD.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/GCD2.jar-obl-8.ari | Unknown | 11.99 |
| From_AProVE_2014/GCD3.jar-obl-8.ari | Unknown | 3.06 |
| From_AProVE_2014/GCD4.jar-obl-8.ari | Unknown | 3.09 |
| From_AProVE_2014/GCD5.jar-obl-8.ari | Unknown | 1.06 |
| From_AProVE_2014/Gopher.jar-obl-10.ari | Unknown | 5.83 |
| From_AProVE_2014/Graph.jar-obl-17.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/GrowTreeR.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/HanR.jar-obl-8.ari | Unknown | 0.36 |
| From_AProVE_2014/Hanoi.jar-obl-8.ari | Unknown | 0.36 |
| From_AProVE_2014/Infix2Postfix.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Init.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/IntListDupRec.jar-obl-9.ari | Unknown | 25.82 |
| From_AProVE_2014/IntListSumRec.jar-obl-9.ari | Unknown | 0.43 |
| From_AProVE_2014/IntRTA.jar-obl-8.ari | Unknown | 0.38 |
| From_AProVE_2014/Iterations.jar-obl-8.ari | Unknown | 2.27 |
| From_AProVE_2014/Kernel68.jar-obl-9.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/Kernel88.jar-obl-9.ari | Unknown | 0.36 |
| From_AProVE_2014/Kernel93.jar-obl-9.ari | NO | 0.45 |
| From_AProVE_2014/Kernel95.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/KnapsackDP.jar-obl-11.ari | NO | 2.14 |
| From_AProVE_2014/LeUserDefRec.jar-obl-8.ari | Unknown | 0.35 |
| From_AProVE_2014/LessLeaves.jar-obl-10.ari | NO | 0.52 |
| From_AProVE_2014/LessLeavesRec.jar-obl-10.ari | NO | 0.64 |
| From_AProVE_2014/LinkedList.jar-obl-10.ari | NO | 0.45 |
| From_AProVE_2014/List.jar-obl-12.ari | NO | 0.45 |
| From_AProVE_2014/ListContent.jar-obl-9.ari | NO | 0.43 |
| From_AProVE_2014/ListContentArbitrary.jar-obl-10.ari | Unknown | 0.44 |
| From_AProVE_2014/ListContentTail.jar-obl-10.ari | Unknown | 0.88 |
| From_AProVE_2014/ListDuplicate.jar-obl-9.ari | Unknown | 0.38 |
| From_AProVE_2014/ListInt.jar-obl-12.ari | NO | 0.50 |
| From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.ari | Unknown | 0.34 |
| From_AProVE_2014/ListReverseCyclicList.jar-obl-10.ari | Unknown | 20.68 |
| From_AProVE_2014/ListReversePanhandleList.jar-obl-11.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/Log.jar-obl-8.ari | Unknown | 0.38 |
| From_AProVE_2014/LogAG.jar-obl-8.ari | Unknown | 0.40 |
| From_AProVE_2014/LogBuiltIn.jar-obl-8.ari | Unknown | 0.33 |
| From_AProVE_2014/LogIterative.jar-obl-8.ari | Unknown | 0.44 |
| From_AProVE_2014/LogMult.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/LogRecursive.jar-obl-8.ari | Unknown | 0.47 |
| From_AProVE_2014/Loop.jar-obl-8.ari | NO | 0.35 |
| From_AProVE_2014/Loop1.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/LoopingNonterm.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/Main.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/MainCopy.jar-obl-10.ari | NO | 0.48 |
| From_AProVE_2014/MainDelete.jar-obl-10.ari | NO | 0.53 |
| From_AProVE_2014/MainFind.jar-obl-10.ari | NO | 0.48 |
| From_AProVE_2014/MainGet.jar-obl-10.ari | NO | 0.49 |
| From_AProVE_2014/MainMove.jar-obl-11.ari | NO | 0.63 |
| From_AProVE_2014/Matrix.jar-obl-16.ari | NO | 2.72 |
| From_AProVE_2014/McCarthyIterative.jar-obl-8.ari | Unknown | 0.44 |
| From_AProVE_2014/MergeSort.jar-obl-12.ari | TIMEOUT | 60.02 |
| From_AProVE_2014/MinusBuiltIn.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/MinusMin.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/MinusUserDefined.jar-obl-8.ari | Unknown | 0.50 |
| From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/MirrorTree.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Mod.jar-obl-8.ari | Unknown | 0.45 |
| From_AProVE_2014/MultiLasso.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/MysteriousProgram.jar-obl-12.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/NO_00.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/NO_01.jar-obl-8.ari | NO | 0.35 |
| From_AProVE_2014/NO_02.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/NO_03.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/NO_04.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/NO_05.jar-obl-9.ari | NO | 0.47 |
| From_AProVE_2014/NO_06.jar-obl-8.ari | NO | 0.35 |
| From_AProVE_2014/NO_10.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/NO_11.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/NO_12.jar-obl-8.ari | NO | 0.40 |
| From_AProVE_2014/NO_13.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/NO_20.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/NO_21.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/NO_22.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/NO_23.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/NO_24.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/Nest.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/Nested.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/NestedLoop.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.ari | TIMEOUT | 60.02 |
| From_AProVE_2014/Norm.jar-obl-9.ari | NO | 0.55 |
| From_AProVE_2014/Overflow.jar-obl-8.ari | Unknown | 0.33 |
| From_AProVE_2014/PartitionList.jar-obl-16.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/Parts.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/PastaA1.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/PastaA10.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/PastaA4.jar-obl-8.ari | Unknown | 0.30 |
| From_AProVE_2014/PastaA5.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/PastaA6.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/PastaA7.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/PastaA8.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/PastaA9.jar-obl-8.ari | Unknown | 0.33 |
| From_AProVE_2014/PastaB1.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/PastaB10.jar-obl-8.ari | Unknown | 0.35 |
| From_AProVE_2014/PastaB11.jar-obl-8.ari | Unknown | 1.43 |
| From_AProVE_2014/PastaB12.jar-obl-8.ari | Unknown | 0.36 |
| From_AProVE_2014/PastaB13.jar-obl-8.ari | Unknown | 0.42 |
| From_AProVE_2014/PastaB14.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/PastaB15.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/PastaB16.jar-obl-8.ari | Unknown | 0.35 |
| From_AProVE_2014/PastaB17.jar-obl-8.ari | Unknown | 0.36 |
| From_AProVE_2014/PastaB18.jar-obl-8.ari | Unknown | 0.36 |
| From_AProVE_2014/PastaB2.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/PastaB3.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/PastaB4.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/PastaB5.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/PastaB6.jar-obl-8.ari | Unknown | 0.30 |
| From_AProVE_2014/PastaB7.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/PastaB8.jar-obl-8.ari | Unknown | 0.92 |
| From_AProVE_2014/PastaC1.jar-obl-8.ari | Unknown | 0.42 |
| From_AProVE_2014/PastaC10.jar-obl-8.ari | Unknown | 0.35 |
| From_AProVE_2014/PastaC11.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/PastaC2.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/PastaC3.jar-obl-8.ari | Unknown | 0.96 |
| From_AProVE_2014/PastaC5.jar-obl-8.ari | Unknown | 2.44 |
| From_AProVE_2014/PastaC7.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/PastaC9.jar-obl-8.ari | Unknown | 0.88 |
| From_AProVE_2014/PlusSwap.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/Power.jar-obl-10.ari | TIMEOUT | 60.02 |
| From_AProVE_2014/Queen.jar-obl-10.ari | NO | 0.40 |
| From_AProVE_2014/QuicksortRec.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/RSA.jar-obl-17.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/RandomHard.jar-obl-10.ari | NO | 1.66 |
| From_AProVE_2014/Recursions.jar-obl-13.ari | Unknown | 3.92 |
| From_AProVE_2014/RetValRec.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/RotateTree.jar-obl-10.ari | Unknown | 7.51 |
| From_AProVE_2014/Round3.jar-obl-8.ari | Unknown | 0.33 |
| From_AProVE_2014/RunningPointers.jar-obl-9.ari | Unknown | 0.35 |
| From_AProVE_2014/Samefringe.jar-obl-10.ari | NO | 0.47 |
| From_AProVE_2014/SearchTreeR.jar-obl-9.ari | Unknown | 6.12 |
| From_AProVE_2014/Sequence.jar-obl-9.ari | Unknown | 0.34 |
| From_AProVE_2014/Sharing.jar-obl-8.ari | Unknown | 0.31 |
| From_AProVE_2014/SharingAnalysis.jar-obl-9.ari | Unknown | 5.88 |
| From_AProVE_2014/SharingAnalysisRec.jar-obl-9.ari | Unknown | 0.38 |
| From_AProVE_2014/SharingPair.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/Shuffle.jar-obl-10.ari | NO | 0.40 |
| From_AProVE_2014/SortCount.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/StupidArray.jar-obl-8.ari | Unknown | 0.39 |
| From_AProVE_2014/Sudoku.jar-obl-14.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Swingers.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/Take.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/TaylorSeriesIte.jar-obl-13.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/TaylorSeriesRec.jar-obl-13.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/TermCreateCollect.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/TerminatorRec01.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/TerminatorRec02.jar-obl-8.ari | Unknown | 0.33 |
| From_AProVE_2014/TerminatorRec03.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/TerminatorRec04.jar-obl-9.ari | NO | 0.36 |
| From_AProVE_2014/TermsCreateMatch.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Test1.jar-obl-8.ari | Unknown | 3.05 |
| From_AProVE_2014/Test10.jar-obl-9.ari | Unknown | 2.76 |
| From_AProVE_2014/Test11.jar-obl-8.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Test12.jar-obl-8.ari | Unknown | 3.53 |
| From_AProVE_2014/Test13Loops.jar-obl-10.ari | NO | 0.47 |
| From_AProVE_2014/Test2.jar-obl-8.ari | Unknown | 5.12 |
| From_AProVE_2014/Test3.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Test4.jar-obl-10.ari | NO | 3.64 |
| From_AProVE_2014/Test5.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Test6.jar-obl-13.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/Test7.jar-obl-11.ari | NO | 0.65 |
| From_AProVE_2014/Test8.jar-obl-12.ari | Unknown | 0.71 |
| From_AProVE_2014/Test9.jar-obl-20.ari | Unknown | 3.55 |
| From_AProVE_2014/TestJulia6.jar-obl-8.ari | NO | 0.34 |
| From_AProVE_2014/TestJulia7.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/TimesPlusUserDef.jar-obl-9.ari | Unknown | 0.58 |
| From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/TreeLeftmostPath.jar-obl-9.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/TriTas.jar-obl-12.ari | NO | 0.43 |
| From_AProVE_2014/TwoWay.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/TypeSwitch.jar-obl-8.ari | NO | 0.42 |
| From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.ari | Unknown | 1.63 |
| From_AProVE_2014/Velroyen08-collatz.jar-obl-8.ari | Unknown | 0.95 |
| From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.ari | NO | 0.45 |
| From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.ari | NO | 0.40 |
| From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.ari | NO | 2.77 |
| From_AProVE_2014/Velroyen08-convLower.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/Velroyen08-cousot.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/Velroyen08-even.jar-obl-9.ari | NO | 0.43 |
| From_AProVE_2014/Velroyen08-ex01.jar-obl-8.ari | NO | 0.37 |
| From_AProVE_2014/Velroyen08-ex02.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/Velroyen08-ex03.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/Velroyen08-ex04.jar-obl-8.ari | NO | 0.35 |
| From_AProVE_2014/Velroyen08-ex05.jar-obl-8.ari | NO | 0.42 |
| From_AProVE_2014/Velroyen08-ex06.jar-obl-8.ari | NO | 0.48 |
| From_AProVE_2014/Velroyen08-ex07.jar-obl-9.ari | NO | 0.45 |
| From_AProVE_2014/Velroyen08-ex08.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.ari | NO | 0.46 |
| From_AProVE_2014/Velroyen08-factorial.jar-obl-8.ari | NO | 0.56 |
| From_AProVE_2014/Velroyen08-fib.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/Velroyen08-flip.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/Velroyen08-flip2.jar-obl-8.ari | NO | 0.40 |
| From_AProVE_2014/Velroyen08-gauss.jar-obl-8.ari | NO | 0.46 |
| From_AProVE_2014/Velroyen08-lcm.jar-obl-10.ari | NO | 0.49 |
| From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.ari | NO | 0.40 |
| From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.ari | NO | 0.42 |
| From_AProVE_2014/Velroyen08-middle.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.ari | NO | 0.40 |
| From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.ari | Unknown | 0.39 |
| From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.ari | NO | 0.48 |
| From_AProVE_2014/Velroyen08-plait.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/Velroyen08-sunset.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.ari | NO | 0.40 |
| From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.ari | NO | 0.44 |
| From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.ari | NO | 0.42 |
| From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.ari | NO | 0.42 |
| From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.ari | NO | 0.44 |
| From_AProVE_2014/Virtual.jar-obl-9.ari | Unknown | 0.41 |
| From_AProVE_2014/alternDivWide_rec.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/alternDivWidening_rec.jar-obl-8.ari | NO | 0.49 |
| From_AProVE_2014/alternDiv_rec.jar-obl-8.ari | NO | 0.51 |
| From_AProVE_2014/alternKonv_rec.jar-obl-8.ari | NO | 0.47 |
| From_AProVE_2014/complInterv2_rec.jar-obl-8.ari | NO | 0.46 |
| From_AProVE_2014/complInterv3_rec.jar-obl-8.ari | NO | 0.50 |
| From_AProVE_2014/complxStruc_rec.jar-obl-8.ari | Unknown | 1.88 |
| From_AProVE_2014/convLower_rec.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/costa09-example_1.jar-obl-10.ari | Unknown | 0.46 |
| From_AProVE_2014/costa09-example_2.jar-obl-8.ari | Unknown | 0.38 |
| From_AProVE_2014/costa09-example_3.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/costa09-example_4.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/costa09-example_5.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/cousot_rec.jar-obl-8.ari | NO | 0.39 |
| From_AProVE_2014/even_rec.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/ex01_rec.jar-obl-8.ari | NO | 0.46 |
| From_AProVE_2014/ex02_rec.jar-obl-8.ari | NO | 0.48 |
| From_AProVE_2014/ex03_rec.jar-obl-8.ari | NO | 0.49 |
| From_AProVE_2014/ex04_rec.jar-obl-8.ari | NO | 0.52 |
| From_AProVE_2014/ex05_rec.jar-obl-8.ari | NO | 0.52 |
| From_AProVE_2014/ex06_rec.jar-obl-8.ari | NO | 0.46 |
| From_AProVE_2014/ex07_rec.jar-obl-8.ari | NO | 0.50 |
| From_AProVE_2014/ex08_rec.jar-obl-8.ari | NO | 0.53 |
| From_AProVE_2014/flip2_rec.jar-obl-8.ari | NO | 0.49 |
| From_AProVE_2014/flip_rec.jar-obl-8.ari | NO | 0.46 |
| From_AProVE_2014/juHashMapCreate.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juHashMapCreateClear.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juHashMapCreateGet.jar-obl-11.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juHashMapCreatePut.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juHashMapCreateSize.jar-obl-10.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreate.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.ari | Unknown | 0.41 |
| From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.ari | Unknown | 1.45 |
| From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.ari | Unknown | 0.36 |
| From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.ari | Unknown | 0.37 |
| From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.ari | Unknown | 0.43 |
| From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.ari | Unknown | 15.33 |
| From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.ari | TIMEOUT | 60.01 |
| From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.ari | Unknown | 1.75 |
| From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.ari | Unknown | 0.38 |
| From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.ari | Unknown | 0.81 |
| From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.ari | Unknown | 0.69 |
| From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.ari | Unknown | 0.45 |
| From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.ari | Unknown | 15.32 |
| From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.ari | Unknown | 3.90 |
| From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.ari | Unknown | 3.91 |
| From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.ari | Unknown | 0.38 |
| From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.ari | Unknown | 0.34 |
| From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.ari | Unknown | 0.36 |
| From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.ari | Unknown | 0.36 |
| From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.ari | Unknown | 0.38 |
| From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.ari | Unknown | 0.40 |
| From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.ari | Unknown | 0.45 |
| From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.ari | Unknown | 0.48 |
| From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.ari | Unknown | 0.54 |
| From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.ari | Unknown | 0.49 |
| From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.ari | Unknown | 0.41 |
| From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.ari | Unknown | 10.44 |
| From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.ari | Unknown | 4.37 |
| From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.ari | Unknown | 0.46 |
| From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.ari | Unknown | 0.50 |
| From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.ari | TIMEOUT | 60.06 |
| From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.ari | Unknown | 0.74 |
| From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.ari | Unknown | 0.32 |
| From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.ari | Unknown | 0.33 |
| From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.ari | Unknown | 0.44 |
| From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.ari | NO | 0.36 |
| From_AProVE_2014/mirrorInterv_rec.jar-obl-8.ari | NO | 0.38 |
| From_AProVE_2014/narrowKonv_rec.jar-obl-8.ari | NO | 0.44 |
| From_AProVE_2014/narrowing_rec.jar-obl-8.ari | NO | 0.50 |
| From_AProVE_2014/sumGeneric2_rec.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/sumGeneric_rec.jar-obl-8.ari | NO | 0.37 |
| From_AProVE_2014/sum_rec.jar-obl-8.ari | NO | 0.40 |
| From_AProVE_2014/sunset_rec.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/trueDiv_rec.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.ari | NO | 0.43 |
| From_AProVE_2014/upAndDown_rec.jar-obl-8.ari | NO | 0.44 |
| From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.ari | NO | 0.48 |
| From_AProVE_2014/whileNested_rec.jar-obl-9.ari | NO | 0.43 |
| From_AProVE_2014/whilePart_rec.jar-obl-8.ari | NO | 0.41 |
| From_AProVE_2014/whileSingle_rec.jar-obl-8.ari | NO | 0.43 |
| From_T2/1.t2.ari | NO | 0.49 |
| From_T2/1394-fail.t2.ari | NO | 1.69 |
| From_T2/1394-succeed.t2.ari | NO | 1.66 |
| From_T2/1394complete-fail.t2.ari | NO | 1.23 |
| From_T2/1394complete-fail.t2_fixed.ari | NO | 1.23 |
| From_T2/1394complete-succeed.t2.ari | NO | 3.36 |
| From_T2/1394complete-succeed.t2_fixed.ari | NO | 3.35 |
| From_T2/2.t2.ari | NO | 0.53 |
| From_T2/232.t2.ari | Unknown | 0.36 |
| From_T2/241.t2.ari | Unknown | 0.41 |
| From_T2/3.t2.ari | NO | 0.38 |
| From_T2/5.t2.ari | Unknown | 0.37 |
| From_T2/6.t2.ari | NO | 0.42 |
| From_T2/7.t2.ari | NO | 0.39 |
| From_T2/Prim_4.t2.ari | NO | 0.55 |
| From_T2/Prim_5.t2.ari | NO | 0.55 |
| From_T2/acqrel-fail.t2.ari | NO | 0.43 |
| From_T2/acqrel-succeed2.t2.ari | NO | 0.42 |
| From_T2/afagp-fail.t2.ari | NO | 2.55 |
| From_T2/afagp-fail.t2_fixed.ari | NO | 2.80 |
| From_T2/afagx1.t2.ari | NO | 0.39 |
| From_T2/agafp.t2.ari | NO | 6.60 |
| From_T2/agafp.t2_fixed.ari | NO | 6.40 |
| From_T2/andrey.t2.ari | Unknown | 0.38 |
| From_T2/apchild-accepted-fail.t2.ari | NO | 3.76 |
| From_T2/apchild-accepted-fail.t2_fixed.ari | NO | 3.66 |
| From_T2/apchild-accepted.t2.ari | NO | 3.73 |
| From_T2/apchild-accepted.t2_fixed.ari | NO | 3.63 |
| From_T2/apchild-live.t2.ari | NO | 4.69 |
| From_T2/apchild-live.t2_fixed.ari | NO | 5.60 |
| From_T2/apchildlive-succeed.t2.ari | NO | 13.79 |
| From_T2/apchildlive-succeed.t2_fixed.ari | NO | 13.37 |
| From_T2/arith.t2.ari | Unknown | 0.32 |
| From_T2/armc-difficult_defect.t2.ari | Unknown | 0.32 |
| From_T2/armc-difficult_foo2.t2.ari | Unknown | 0.31 |
| From_T2/armc-difficult_foo3.t2.ari | TIMEOUT | 60.06 |
| From_T2/armc-difficult_k.t2.ari | Unknown | 0.35 |
| From_T2/array.t2.ari | Unknown | 0.33 |
| From_T2/array2.t2.ari | Unknown | 0.40 |
| From_T2/array2.t2_fixed.ari | Unknown | 0.42 |
| From_T2/array3.t2.ari | Unknown | 0.44 |
| From_T2/array4.t2.ari | Unknown | 0.43 |
| From_T2/array_free.t2.ari | Unknown | 1.38 |
| From_T2/array_free2.t2.ari | Unknown | 1.33 |
| From_T2/array_init.t2.ari | Unknown | 0.40 |
| From_T2/array_init.t2_fixed.ari | Unknown | 0.42 |
| From_T2/array_init_assign.t2.ari | Unknown | 0.46 |
| From_T2/ase_example.t2.ari | Unknown | 0.54 |
| From_T2/ase_example.t2_fixed.ari | Unknown | 0.47 |
| From_T2/ax_test.t2.ari | NO | 0.45 |
| From_T2/ax_test_2.t2.ari | NO | 0.46 |
| From_T2/ax_test_3.t2.ari | NO | 0.52 |
| From_T2/bakery.t2.ari | NO | 0.50 |
| From_T2/bakerybug.t2.ari | NO | 0.50 |
| From_T2/bf10.t2.ari | Unknown | 1.68 |
| From_T2/bf10.t2_fixed.ari | Unknown | 0.89 |
| From_T2/bf11.t2.ari | Unknown | 1.64 |
| From_T2/bf11.t2_fixed.ari | Unknown | 0.83 |
| From_T2/bf12.t2.ari | Unknown | 1.67 |
| From_T2/bf12.t2_fixed.ari | Unknown | 0.84 |
| From_T2/bf13.t2.ari | Unknown | 1.65 |
| From_T2/bf13.t2_fixed.ari | Unknown | 0.81 |
| From_T2/bf14.t2.ari | Unknown | 1.66 |
| From_T2/bf14.t2_fixed.ari | Unknown | 0.86 |
| From_T2/bf15.t2.ari | Unknown | 1.63 |
| From_T2/bf15.t2_fixed.ari | Unknown | 0.81 |
| From_T2/bf16.t2.ari | Unknown | 1.62 |
| From_T2/bf16.t2_fixed.ari | Unknown | 0.84 |
| From_T2/bf17.t2.ari | Unknown | 1.63 |
| From_T2/bf17.t2_fixed.ari | Unknown | 0.79 |
| From_T2/bf18.t2.ari | Unknown | 1.62 |
| From_T2/bf18.t2_fixed.ari | Unknown | 0.84 |
| From_T2/bf19.t2.ari | Unknown | 1.62 |
| From_T2/bf19.t2_fixed.ari | Unknown | 0.81 |
| From_T2/bf20.t2.ari | Unknown | 1.67 |
| From_T2/bf20.t2_fixed.ari | Unknown | 0.88 |
| From_T2/bf5.t2.ari | Unknown | 1.41 |
| From_T2/bf5.t2_fixed.ari | Unknown | 0.80 |
| From_T2/bf6.t2.ari | Unknown | 1.73 |
| From_T2/bf6.t2_fixed.ari | Unknown | 0.88 |
| From_T2/bf7.t2.ari | Unknown | 1.66 |
| From_T2/bf7.t2_fixed.ari | Unknown | 0.85 |
| From_T2/bf8.t2.ari | Unknown | 1.72 |
| From_T2/bf8.t2_fixed.ari | Unknown | 0.89 |
| From_T2/bf9.t2.ari | Unknown | 1.65 |
| From_T2/bf9.t2_fixed.ari | Unknown | 0.82 |
| From_T2/bio.t2.ari | TIMEOUT | 60.06 |
| From_T2/bitcount16.t2.ari | Unknown | 2.08 |
| From_T2/bitcount16.t2_fixed.ari | Unknown | 2.01 |
| From_T2/bitcount32.t2.ari | Unknown | 2.05 |
| From_T2/bitcount32.t2_fixed.ari | Unknown | 2.05 |
| From_T2/brockschmidt_1.t2.ari | Unknown | 0.42 |
| From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.ari | TIMEOUT | 60.06 |
| From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.ari | TIMEOUT | 60.01 |
| From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/broydn.t2.ari | TIMEOUT | 60.06 |
| From_T2/broydn.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/brp_withassume.t2.ari | TIMEOUT | 60.02 |
| From_T2/bs.t2.ari | NO | 0.39 |
| From_T2/bs.t2_fixed.ari | NO | 0.38 |
| From_T2/bsort100.t2.ari | TIMEOUT | 60.01 |
| From_T2/bsort100.t2_fixed.ari | TIMEOUT | 60.00 |
| From_T2/bubbleSort.t2.ari | Unknown | 2.33 |
| From_T2/bubblesort_inner_loop.t2.ari | Unknown | 0.88 |
| From_T2/byron-1.t2.ari | Unknown | 0.37 |
| From_T2/byron-2.t2.ari | Unknown | 0.87 |
| From_T2/byron-2.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/byron-3.t2.ari | Unknown | 0.38 |
| From_T2/byron-4.t2.ari | NO | 0.39 |
| From_T2/byron-4.t2_fixed.ari | Unknown | 0.36 |
| From_T2/cfg.t2.ari | NO | 0.43 |
| From_T2/cnt.t2.ari | TIMEOUT | 60.06 |
| From_T2/cnt.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/collatz.t2.ari | NO | 0.52 |
| From_T2/collatz.t2_fixed.ari | Unknown | 8.53 |
| From_T2/complex_guard.t2.ari | Unknown | 0.38 |
| From_T2/compress.t2.ari | NO | 1.73 |
| From_T2/compress.t2_fixed.ari | NO | 1.45 |
| From_T2/constants.t2.ari | Unknown | 0.33 |
| From_T2/constants.t2_fixed.ari | Unknown | 0.35 |
| From_T2/consts1.t2.ari | NO | 0.42 |
| From_T2/consts1.t2_fixed.ari | Unknown | 0.37 |
| From_T2/consts1nt.t2.ari | NO | 0.41 |
| From_T2/consts1nt.t2_fixed.ari | NO | 0.42 |
| From_T2/consts2.t2.ari | NO | 0.45 |
| From_T2/consts2.t2_fixed.ari | Unknown | 0.36 |
| From_T2/consts2nt.t2.ari | NO | 0.49 |
| From_T2/consts2nt.t2_fixed.ari | NO | 0.47 |
| From_T2/consts3.t2.ari | Unknown | 0.40 |
| From_T2/consts3.t2_fixed.ari | Unknown | 0.42 |
| From_T2/consts3nt.t2.ari | NO | 0.43 |
| From_T2/consts3nt.t2_fixed.ari | NO | 0.42 |
| From_T2/consts4.t2.ari | NO | 0.46 |
| From_T2/consts4.t2_fixed.ari | Unknown | 0.36 |
| From_T2/consts4nt.t2.ari | NO | 0.42 |
| From_T2/consts4nt.t2_fixed.ari | NO | 0.42 |
| From_T2/consts5.t2.ari | NO | 0.47 |
| From_T2/consts5.t2_fixed.ari | Unknown | 0.38 |
| From_T2/consts5nt.t2.ari | NO | 0.54 |
| From_T2/consts5nt.t2_fixed.ari | NO | 0.49 |
| From_T2/cover.t2.ari | TIMEOUT | 60.06 |
| From_T2/cover.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/crc.t2.ari | Unknown | 12.00 |
| From_T2/crc.t2_fixed.ari | Unknown | 3.85 |
| From_T2/create.t2.ari | Unknown | 0.39 |
| From_T2/create_seg.t2.ari | Unknown | 0.39 |
| From_T2/create_via_tmps.t2.ari | Unknown | 0.82 |
| From_T2/create_via_tmps.t2_fixed.ari | Unknown | 31.59 |
| From_T2/ctl.t2.ari | NO | 0.53 |
| From_T2/ctl.t2_fixed.ari | NO | 0.49 |
| From_T2/curious.t2.ari | NO | 0.37 |
| From_T2/curious.t2_fixed.ari | NO | 0.37 |
| From_T2/curious2.t2.ari | Unknown | 0.32 |
| From_T2/curious2.t2_fixed.ari | YES | 0.32 |
| From_T2/curious4.t2.ari | NO | 2.53 |
| From_T2/d.t2.ari | NO | 0.38 |
| From_T2/db.t2.ari | Unknown | 0.33 |
| From_T2/db2.t2.ari | TIMEOUT | 60.06 |
| From_T2/db2.t2_fixed.ari | TIMEOUT | 60.01 |
| 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 | 0.42 |
| From_T2/defect.t2.ari | NO | 0.36 |
| From_T2/destroy.t2.ari | Unknown | 0.86 |
| From_T2/destroy.t2_fixed.ari | Unknown | 33.16 |
| From_T2/destroy_seg.t2.ari | Unknown | 0.99 |
| From_T2/destroy_seg.t2_fixed.ari | Unknown | 39.05 |
| From_T2/destroy_seg_leak.t2.ari | NO | 1.28 |
| From_T2/destroy_seg_leak.t2_fixed.ari | NO | 1.37 |
| From_T2/disj_nightmare.t2.ari | NO | 0.74 |
| From_T2/disj_nightmare.t2_fixed.ari | TIMEOUT | 60.00 |
| From_T2/disj_nightmare_abi.t2.ari | Unknown | 0.32 |
| From_T2/dropbuf-live.t2.ari | Unknown | 0.33 |
| From_T2/dropbuf.t2.ari | NO | 0.61 |
| From_T2/dsa_test1.t2.ari | Unknown | 0.33 |
| From_T2/dsa_test10.t2.ari | Unknown | 0.39 |
| From_T2/dsa_test10.t2_fixed.ari | Unknown | 0.37 |
| From_T2/dsa_test12.t2.ari | Unknown | 0.34 |
| From_T2/dsa_test13.t2.ari | Unknown | 0.32 |
| From_T2/dsa_test15.t2.ari | Unknown | 0.35 |
| From_T2/dsa_test15.t2_fixed.ari | Unknown | 0.34 |
| From_T2/dsa_test6.t2.ari | Unknown | 0.31 |
| From_T2/dsa_test6.t2_fixed.ari | Unknown | 0.32 |
| From_T2/dsa_test8.t2.ari | Unknown | 0.32 |
| From_T2/dsa_test9.t2.ari | Unknown | 0.31 |
| From_T2/dummy.t2.ari | NO | 0.38 |
| From_T2/dumper.t2.ari | NO | 2.82 |
| From_T2/e-1394-fail.t2.ari | NO | 1.62 |
| From_T2/e-1394-succeed.t2.ari | NO | 1.61 |
| From_T2/e-1394-succeed.t2_fixed.ari | NO | 1.61 |
| From_T2/e-1394complete-fail.t2.ari | NO | 1.16 |
| From_T2/e-1394complete-failA.t2.ari | NO | 1.16 |
| From_T2/e-1394complete-succeed.t2.ari | NO | 1.17 |
| From_T2/e-1394complete-succeed.t2_fixed.ari | NO | 1.16 |
| From_T2/e-acqrel-fail.t2.ari | NO | 0.41 |
| From_T2/e-acqrel-succeed.t2.ari | NO | 0.42 |
| From_T2/e-acqrel-succeed.t2_fixed.ari | NO | 0.43 |
| From_T2/e-pgarch-fail.t2.ari | NO | 0.54 |
| From_T2/e-pgarch-succeed.t2.ari | NO | 0.56 |
| From_T2/e-pgarch-succeed.t2_fixed.ari | NO | 0.55 |
| From_T2/e-popl07-fail.t2.ari | NO | 0.61 |
| From_T2/e-popl07-fail.t2_fixed.ari | NO | 0.61 |
| From_T2/e-popl07-succeed.t2.ari | NO | 0.55 |
| From_T2/e-smagill-fail.t2.ari | NO | 0.41 |
| From_T2/e-smagill-succeed.t2.ari | NO | 0.49 |
| From_T2/e-st88b-fail.t2.ari | NO | 0.42 |
| From_T2/edn.t2.ari | NO | 2.15 |
| From_T2/edn.t2_fixed.ari | Unknown | 6.36 |
| From_T2/efegp.t2.ari | NO | 1.43 |
| From_T2/efegp.t2_fixed.ari | NO | 1.50 |
| From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.ari | TIMEOUT | 60.01 |
| From_T2/elmhes.t2.ari | TIMEOUT | 60.06 |
| From_T2/eric.t2.ari | Unknown | 0.54 |
| From_T2/eric1.t2.ari | TIMEOUT | 60.06 |
| From_T2/eric2.t2.ari | TIMEOUT | 60.01 |
| From_T2/eric3.t2.ari | NO | 0.40 |
| From_T2/ex1.t2.ari | NO | 0.36 |
| From_T2/ex10.t2.ari | NO | 0.47 |
| From_T2/ex11.t2.ari | NO | 0.41 |
| From_T2/ex12.t2.ari | Unknown | 0.40 |
| From_T2/ex12.t2_fixed.ari | Unknown | 0.42 |
| From_T2/ex13.t2.ari | Unknown | 0.40 |
| From_T2/ex14.t2.ari | Unknown | 0.40 |
| From_T2/ex14.t2_fixed.ari | Unknown | 0.37 |
| From_T2/ex15.t2.ari | Unknown | 0.40 |
| From_T2/ex16.t2.ari | NO | 0.64 |
| From_T2/ex16.t2_fixed.ari | NO | 0.63 |
| From_T2/ex17.t2.ari | Unknown | 0.46 |
| From_T2/ex17.t2_fixed.ari | Unknown | 0.43 |
| From_T2/ex18.t2.ari | Unknown | 0.70 |
| From_T2/ex18.t2_fixed.ari | Unknown | 0.66 |
| From_T2/ex19.t2.ari | NO | 0.45 |
| From_T2/ex2.t2.ari | NO | 0.44 |
| From_T2/ex2.t2_fixed.ari | NO | 0.48 |
| From_T2/ex20.t2.ari | Unknown | 0.66 |
| From_T2/ex20.t2_fixed.ari | Unknown | 0.62 |
| From_T2/ex21.t2.ari | Unknown | 0.48 |
| From_T2/ex21.t2_fixed.ari | Unknown | 0.39 |
| From_T2/ex22.t2.ari | TIMEOUT | 60.05 |
| From_T2/ex22.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/ex23.t2.ari | Unknown | 0.37 |
| From_T2/ex23.t2_fixed.ari | Unknown | 0.34 |
| From_T2/ex26.t2.ari | Unknown | 0.47 |
| From_T2/ex26.t2_fixed.ari | Unknown | 0.36 |
| From_T2/ex27.t2.ari | TIMEOUT | 60.06 |
| From_T2/ex27.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/ex29.t2.ari | Unknown | 0.59 |
| From_T2/ex29.t2_fixed.ari | Unknown | 0.55 |
| From_T2/ex3.t2.ari | Unknown | 0.37 |
| From_T2/ex3.t2_fixed.ari | Unknown | 0.39 |
| From_T2/ex30.t2.ari | Unknown | 0.48 |
| From_T2/ex31.t2.ari | NO | 0.38 |
| From_T2/ex31.t2_fixed.ari | NO | 0.41 |
| From_T2/ex32.t2.ari | Unknown | 0.40 |
| From_T2/ex32.t2_fixed.ari | Unknown | 0.39 |
| From_T2/ex33.t2.ari | Unknown | 0.42 |
| From_T2/ex33.t2_fixed.ari | Unknown | 0.39 |
| From_T2/ex34.t2.ari | Unknown | 0.40 |
| From_T2/ex36.t2.ari | NO | 4.26 |
| From_T2/ex36.t2_fixed.ari | NO | 7.66 |
| From_T2/ex4.t2.ari | Unknown | 11.70 |
| From_T2/ex4.t2_fixed.ari | Unknown | 11.04 |
| From_T2/ex40.t2.ari | NO | 0.37 |
| From_T2/ex6.t2.ari | Unknown | 0.31 |
| From_T2/ex7.t2.ari | Unknown | 0.31 |
| From_T2/ex7.t2_fixed.ari | Unknown | 0.32 |
| From_T2/ex8.t2.ari | NO | 0.41 |
| From_T2/ex9.t2.ari | NO | 0.44 |
| From_T2/example.t2.ari | Unknown | 0.79 |
| From_T2/fake-succeed.t2.ari | NO | 2.83 |
| From_T2/fake-succeed.t2_fixed.ari | NO | 2.16 |
| From_T2/fast_poll.t2.ari | NO | 0.92 |
| From_T2/fast_poll.t2_fixed.ari | NO | 0.93 |
| From_T2/fdct.t2.ari | Unknown | 0.47 |
| From_T2/fdct.t2_fixed.ari | Unknown | 0.47 |
| From_T2/fermat.t2.ari | Unknown | 0.47 |
| From_T2/fibcall.t2.ari | Unknown | 0.41 |
| From_T2/fibcall.t2_fixed.ari | Unknown | 0.41 |
| From_T2/fir.t2.ari | TIMEOUT | 60.06 |
| From_T2/fir.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/firewire.t2.ari | TIMEOUT | 60.06 |
| From_T2/flipflop.t2.ari | NO | 0.38 |
| From_T2/florian.t2.ari | Unknown | 0.32 |
| From_T2/florian_new_ex.t2.ari | TIMEOUT | 60.01 |
| From_T2/florian_pldi.t2.ari | TIMEOUT | 60.02 |
| From_T2/florian_sas1.t2.ari | TIMEOUT | 60.06 |
| From_T2/florian_sas2.t2.ari | Unknown | 15.03 |
| From_T2/florian_sumit.t2.ari | TIMEOUT | 60.06 |
| From_T2/foo.t2.ari | TIMEOUT | 60.06 |
| From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.ari | NO | 0.88 |
| From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.ari | NO | 0.88 |
| From_T2/fourn.t2.ari | NO | 0.86 |
| From_T2/fuhs-inflasso.t2.ari | Unknown | 0.34 |
| From_T2/fun1.t2.ari | TIMEOUT | 60.02 |
| From_T2/fun1.t2_fixed.ari | NO | 1.20 |
| From_T2/fun10.t2.ari | NO | 2.02 |
| From_T2/fun10.t2_fixed.ari | NO | 2.05 |
| From_T2/fun10b.t2.ari | NO | 1.82 |
| From_T2/fun10b.t2_fixed.ari | NO | 1.84 |
| From_T2/fun11.t2.ari | NO | 0.41 |
| From_T2/fun11.t2_fixed.ari | NO | 0.45 |
| From_T2/fun1b.t2.ari | NO | 26.51 |
| From_T2/fun1b.t2_fixed.ari | NO | 27.07 |
| From_T2/fun2.t2.ari | TIMEOUT | 60.06 |
| From_T2/fun2.t2_fixed.ari | TIMEOUT | 60.00 |
| From_T2/fun2b.t2.ari | TIMEOUT | 60.06 |
| From_T2/fun2b.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/fun3.t2.ari | TIMEOUT | 60.06 |
| From_T2/fun4-alt.t2.ari | Unknown | 0.35 |
| From_T2/fun4.t2.ari | NO | 0.37 |
| From_T2/fun4.t2_fixed.ari | Unknown | 0.54 |
| From_T2/fun5.t2.ari | NO | 0.47 |
| From_T2/fun5.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/fun6.t2.ari | NO | 0.64 |
| From_T2/fun6.t2_fixed.ari | NO | 0.62 |
| From_T2/fun7.t2.ari | NO | 0.52 |
| From_T2/fun7.t2_fixed.ari | NO | 0.54 |
| From_T2/fun8.t2.ari | Unknown | 0.81 |
| From_T2/fun8.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/fun9.t2.ari | TIMEOUT | 60.06 |
| From_T2/graycode.t2.ari | TIMEOUT | 60.06 |
| From_T2/graycode.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/hand7.t2.ari | NO | 0.40 |
| From_T2/heidy1.t2.ari | NO | 0.37 |
| From_T2/heidy10.t2.ari | Unknown | 0.38 |
| From_T2/heidy2.t2.ari | NO | 0.39 |
| From_T2/heidy3.t2.ari | NO | 0.40 |
| From_T2/heidy5.t2.ari | Unknown | 0.37 |
| From_T2/heidy6.t2.ari | NO | 0.45 |
| From_T2/heidy7.t2.ari | NO | 0.46 |
| From_T2/heidy8.t2.ari | NO | 0.44 |
| From_T2/heidy8.t2_fixed.ari | NO | 0.44 |
| From_T2/heidy9.t2.ari | Unknown | 0.35 |
| From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.ari | NO | 5.32 |
| From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.ari | NO | 15.11 |
| From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.ari | NO | 5.23 |
| From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.ari | NO | 15.62 |
| From_T2/hqr.t2.ari | NO | 5.18 |
| From_T2/hqr.t2_fixed.ari | NO | 15.40 |
| From_T2/huh.t2.ari | Unknown | 0.66 |
| From_T2/huh.t2_fixed.ari | Unknown | 0.67 |
| From_T2/iecs.t2.ari | Unknown | 0.35 |
| From_T2/insertsort.t2.ari | NO | 0.39 |
| From_T2/insertsort.t2_fixed.ari | NO | 0.39 |
| From_T2/intSqRoot.t2.ari | NO | 0.37 |
| From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.ari | Unknown | 3.34 |
| From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.ari | Unknown | 3.19 |
| From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.ari | Unknown | 3.07 |
| From_T2/jacobi.t2.ari | Unknown | 3.34 |
| From_T2/jacobi.t2_fixed.ari | Unknown | 3.12 |
| From_T2/janne_complex.t2.ari | NO | 1.20 |
| From_T2/janne_complex.t2_fixed.ari | NO | 0.62 |
| From_T2/java_AG313.c.t2.ari | Unknown | 0.71 |
| From_T2/java_AProVEMath.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/java_AProVEMathRecursive.c.t2.ari | TIMEOUT | 60.02 |
| From_T2/java_Ackermann.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/java_Avg.c.t2.ari | TIMEOUT | 60.01 |
| From_T2/java_Break.c.t2.ari | Unknown | 0.62 |
| From_T2/java_Break.c.t2_fixed.ari | Unknown | 0.62 |
| From_T2/java_BubbleSort.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/java_Continue1.c.t2.ari | Unknown | 0.58 |
| From_T2/java_Continue1.c.t2_fixed.ari | Unknown | 0.56 |
| From_T2/java_Diff.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/java_DivMinus1.c.t2.ari | Unknown | 0.70 |
| From_T2/java_DivMinus2.c.t2.ari | TIMEOUT | 60.01 |
| From_T2/java_DivWithoutMinus.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/java_Double1.c.t2.ari | Unknown | 47.49 |
| From_T2/java_Double2.c.t2.ari | TIMEOUT | 60.01 |
| From_T2/java_Double3.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/java_Duplicate.c.t2.ari | Unknown | 0.91 |
| From_T2/java_EqUserDefRec.c.t2.ari | Unknown | 2.31 |
| From_T2/java_FactSum.c.t2.ari | Unknown | 1.24 |
| From_T2/java_Factorial.c.t2.ari | Unknown | 0.91 |
| From_T2/java_FibRecursive.c.t2.ari | TIMEOUT | 60.01 |
| From_T2/java_Hanoi.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/java_LeUserDefRec.c.t2.ari | Unknown | 2.33 |
| From_T2/java_LogBuiltIn.c.t2.ari | Unknown | 1.45 |
| From_T2/java_MinusBuiltIn.c.t2.ari | Unknown | 0.76 |
| From_T2/java_MinusMin.c.t2.ari | Unknown | 0.72 |
| From_T2/java_Nested.c.t2.ari | Unknown | 11.40 |
| From_T2/java_Nested.c.t2_fixed.ari | Unknown | 30.92 |
| From_T2/java_NestedLoop.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/java_PlusSwap.c.t2.ari | Unknown | 0.68 |
| From_T2/java_Recursions.c.t2.ari | Unknown | 38.65 |
| From_T2/java_Sequence.c.t2.ari | Unknown | 1.42 |
| From_T2/java_Sequence.c.t2_fixed.ari | Unknown | 1.17 |
| From_T2/java_TimesPlusUserDef.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/jfdctint.c.t2.ari | Unknown | 1.45 |
| From_T2/jfdctint.c.t2_fixed.ari | Unknown | 1.22 |
| From_T2/jfdctint.t2.ari | Unknown | 1.14 |
| From_T2/jfdctint.t2_fixed.ari | Unknown | 0.44 |
| From_T2/l1.t2.ari | NO | 0.40 |
| From_T2/loop3.t2.ari | TIMEOUT | 60.01 |
| From_T2/loop3.t2_fixed.ari | TIMEOUT | 60.00 |
| From_T2/loop_on_input.t2.ari | Unknown | 0.43 |
| From_T2/loop_on_input.t2_fixed.ari | Unknown | 0.40 |
| From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.ari | TIMEOUT | 60.06 |
| From_T2/ludcmp.t2.ari | TIMEOUT | 60.06 |
| From_T2/magic.t2.ari | TIMEOUT | 60.01 |
| From_T2/matmul.t2.ari | Unknown | 0.74 |
| From_T2/matmul.t2_fixed.ari | Unknown | 0.67 |
| From_T2/matmult.t2.ari | Unknown | 1.75 |
| From_T2/matmult.t2_fixed.ari | Unknown | 0.88 |
| From_T2/matrixsqrt.t2.ari | Unknown | 0.76 |
| From_T2/mc91.t2.ari | NO | 0.39 |
| From_T2/mc91.t2_fixed.ari | Unknown | 0.39 |
| From_T2/mc91test.t2.ari | NO | 0.43 |
| From_T2/mc91test.t2_fixed.ari | Unknown | 34.09 |
| From_T2/minmax.t2.ari | Unknown | 0.43 |
| From_T2/minmax.t2_fixed.ari | Unknown | 0.41 |
| From_T2/n-1.t2.ari | NO | 0.38 |
| From_T2/n-1.t2_fixed.ari | NO | 0.38 |
| From_T2/n-10.t2.ari | NO | 0.38 |
| From_T2/n-10.t2_fixed.ari | NO | 0.38 |
| From_T2/n-12.t2.ari | NO | 0.36 |
| From_T2/n-12.t2_fixed.ari | NO | 0.40 |
| From_T2/n-12a.t2.ari | NO | 0.36 |
| From_T2/n-13.t2.ari | NO | 0.37 |
| From_T2/n-14.t2.ari | NO | 0.36 |
| From_T2/n-14.t2_fixed.ari | NO | 0.43 |
| From_T2/n-15.t2.ari | NO | 0.36 |
| From_T2/n-15a.t2.ari | NO | 0.39 |
| From_T2/n-15a.t2_fixed.ari | NO | 0.38 |
| From_T2/n-16a.t2.ari | NO | 0.41 |
| From_T2/n-17.t2.ari | NO | 0.39 |
| From_T2/n-18.t2.ari | NO | 0.37 |
| From_T2/n-18a.t2.ari | NO | 0.39 |
| From_T2/n-1c.t2.ari | NO | 0.37 |
| From_T2/n-1c.t2_fixed.ari | NO | 0.38 |
| From_T2/n-1d.t2.ari | NO | 0.37 |
| From_T2/n-1d.t2_fixed.ari | NO | 0.41 |
| From_T2/n-20.t2.ari | NO | 0.43 |
| From_T2/n-21.t2.ari | NO | 0.36 |
| From_T2/n-21.t2_fixed.ari | NO | 0.36 |
| From_T2/n-3.t2.ari | NO | 0.37 |
| From_T2/n-32.t2.ari | NO | 0.36 |
| From_T2/n-33.t2.ari | NO | 0.38 |
| From_T2/n-36.t2.ari | NO | 0.43 |
| From_T2/n-36.t2_fixed.ari | NO | 0.45 |
| From_T2/n-37.t2.ari | NO | 0.35 |
| From_T2/n-37.t2_fixed.ari | NO | 0.37 |
| From_T2/n-38.t2.ari | Unknown | 0.32 |
| From_T2/n-3a.t2.ari | NO | 0.38 |
| From_T2/n-3a.t2_fixed.ari | NO | 0.43 |
| From_T2/n-4.t2.ari | NO | 0.47 |
| From_T2/n-4.t2_fixed.ari | NO | 0.49 |
| From_T2/n-40.t2.ari | NO | 0.46 |
| From_T2/n-40.t2_fixed.ari | NO | 0.42 |
| From_T2/n-46.t2.ari | NO | 0.40 |
| From_T2/n-48.t2.ari | NO | 0.42 |
| From_T2/n-48.t2_fixed.ari | NO | 0.42 |
| From_T2/n-5.t2.ari | NO | 0.49 |
| From_T2/n-5.t2_fixed.ari | NO | 0.59 |
| From_T2/n-6.t2.ari | NO | 0.36 |
| From_T2/n-6.t2_fixed.ari | NO | 0.40 |
| From_T2/n-6a.t2.ari | NO | 0.39 |
| From_T2/n-6a.t2_fixed.ari | NO | 0.37 |
| From_T2/n-7.t2.ari | NO | 0.39 |
| From_T2/n-7.t2_fixed.ari | NO | 0.40 |
| From_T2/n-8.t2.ari | NO | 0.41 |
| From_T2/n-8.t2_fixed.ari | NO | 0.41 |
| From_T2/n-8a.t2.ari | NO | 0.40 |
| From_T2/n-9.t2.ari | NO | 0.39 |
| From_T2/n-9.t2_fixed.ari | NO | 0.42 |
| From_T2/n_firewire_instrumented-PP.t2.ari | TIMEOUT | 60.01 |
| From_T2/nakata.t2.ari | TIMEOUT | 60.06 |
| From_T2/nakata_withassume.t2.ari | TIMEOUT | 60.06 |
| From_T2/ndes.t2.ari | TIMEOUT | 60.06 |
| From_T2/ndes.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/neg-1394-fail.t2.ari | NO | 1.69 |
| From_T2/neg-1394-succeed.t2.ari | NO | 1.72 |
| From_T2/neg-1394complete-fail.t2.ari | NO | 3.38 |
| From_T2/neg-1394complete-fail.t2_fixed.ari | NO | 3.41 |
| From_T2/neg-1394complete-succeed.t2.ari | NO | 1.21 |
| From_T2/neg-1394complete-succeed.t2_fixed.ari | NO | 1.26 |
| From_T2/neg-acqrel-fail.t2.ari | NO | 0.41 |
| From_T2/neg-acqrel-succeed.t2.ari | NO | 0.40 |
| From_T2/neg-e-1394-succeed.t2.ari | NO | 1.67 |
| From_T2/neg-e-1394complete-fail.t2.ari | NO | 1.15 |
| From_T2/neg-e-1394complete-fail.t2_fixed.ari | NO | 1.14 |
| From_T2/neg-e-1394complete-succeed.t2.ari | NO | 1.14 |
| From_T2/neg-e-1394complete-succeed.t2_fixed.ari | NO | 1.15 |
| From_T2/neg-e-acqrel-fail.t2.ari | NO | 0.38 |
| From_T2/neg-e-acqrel-fail.t2_fixed.ari | NO | 0.40 |
| From_T2/neg-e-acqrel-succeed.t2.ari | NO | 0.42 |
| From_T2/neg-e-acqrel-succeed.t2_fixed.ari | NO | 0.41 |
| From_T2/neg-e-pgarch-fail.t2.ari | NO | 0.52 |
| From_T2/neg-e-pgarch-fail.t2_fixed.ari | NO | 0.53 |
| From_T2/neg-e-pgarch-succeed.t2.ari | NO | 0.54 |
| From_T2/neg-e-pgarch-succeed.t2_fixed.ari | NO | 0.55 |
| From_T2/neg-e-popl07-fail.t2.ari | NO | 0.59 |
| From_T2/neg-e-popl07-succeed.t2.ari | NO | 0.62 |
| From_T2/neg-e-popl07-succeed.t2_fixed.ari | NO | 0.60 |
| From_T2/neg-e-smagill-succeed.t2.ari | NO | 0.44 |
| From_T2/neg-e-st88b-succeed.t2.ari | NO | 0.45 |
| From_T2/neg-pgarch-fail.t2.ari | NO | 0.57 |
| From_T2/neg-pgarch-succeed.t2.ari | NO | 0.54 |
| From_T2/neg-pgarch-succeed.t2_fixed.ari | NO | 0.54 |
| From_T2/neg-popl07-fail.t2.ari | NO | 0.57 |
| From_T2/neg-popl07-fail.t2_fixed.ari | NO | 0.58 |
| From_T2/neg-popl07-succeed.t2.ari | NO | 0.60 |
| From_T2/neg-popl07-succeed.t2_fixed.ari | NO | 0.62 |
| From_T2/neg-smagilla-fail.t2.ari | NO | 0.53 |
| From_T2/neg-smagilla-succeed.t2.ari | NO | 0.57 |
| From_T2/neg-st88b-fail.t2.ari | NO | 0.46 |
| From_T2/neg.t2.ari | YES | 0.42 |
| From_T2/nested.t2.ari | Unknown | 0.61 |
| From_T2/nested2.t2.ari | Unknown | 0.49 |
| From_T2/nested2.t2_fixed.ari | Unknown | 0.42 |
| From_T2/non_term.t2.ari | NO | 0.48 |
| From_T2/ns.t2.ari | Unknown | 1.58 |
| From_T2/ns.t2_fixed.ari | Unknown | 1.33 |
| From_T2/oct_vs_subpoly.t2.ari | NO | 0.36 |
| From_T2/opt-tree.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/p-1.t2.ari | NO | 0.39 |
| From_T2/p-10.t2.ari | NO | 0.38 |
| From_T2/p-12.t2.ari | Unknown | 0.36 |
| From_T2/p-13.t2.ari | Unknown | 0.37 |
| From_T2/p-14.t2.ari | Unknown | 0.35 |
| From_T2/p-15.t2.ari | Unknown | 0.36 |
| From_T2/p-19.t2.ari | NO | 0.39 |
| From_T2/p-19a.t2.ari | NO | 0.43 |
| From_T2/p-1a.t2.ari | NO | 0.42 |
| From_T2/p-1b.t2.ari | Unknown | 0.34 |
| From_T2/p-1c.t2.ari | NO | 0.45 |
| From_T2/p-1d.t2.ari | Unknown | 1.04 |
| From_T2/p-20.t2.ari | NO | 0.42 |
| From_T2/p-21.t2.ari | Unknown | 0.79 |
| From_T2/p-21.t2_fixed.ari | Unknown | 0.71 |
| From_T2/p-22.t2.ari | Unknown | 0.36 |
| From_T2/p-3.t2.ari | Unknown | 0.38 |
| From_T2/p-3.t2_fixed.ari | Unknown | 0.44 |
| From_T2/p-32.t2.ari | NO | 0.42 |
| From_T2/p-33.t2.ari | NO | 0.45 |
| From_T2/p-34.t2.ari | NO | 0.45 |
| From_T2/p-36.t2.ari | NO | 0.46 |
| From_T2/p-36.t2_fixed.ari | NO | 0.45 |
| From_T2/p-37.t2.ari | Unknown | 0.42 |
| From_T2/p-37.t2_fixed.ari | Unknown | 0.40 |
| From_T2/p-38.t2.ari | Unknown | 0.41 |
| From_T2/p-38.t2_fixed.ari | Unknown | 0.51 |
| From_T2/p-4.t2.ari | Unknown | 0.42 |
| From_T2/p-40.t2.ari | Unknown | 0.43 |
| From_T2/p-40.t2_fixed.ari | Unknown | 0.43 |
| From_T2/p-41.t2.ari | Unknown | 0.36 |
| From_T2/p-42.t2.ari | Unknown | 0.48 |
| From_T2/p-43-terminate.t2.ari | TIMEOUT | 60.06 |
| From_T2/p-43-terminate.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/p-43.t2.ari | Unknown | 1.11 |
| From_T2/p-43.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/p-44.t2.ari | Unknown | 0.38 |
| From_T2/p-45.t2.ari | Unknown | 0.38 |
| From_T2/p-46.t2.ari | NO | 0.44 |
| From_T2/p-46.t2_fixed.ari | NO | 0.49 |
| From_T2/p-49.t2.ari | Unknown | 0.32 |
| From_T2/p-5.t2.ari | NO | 0.48 |
| From_T2/p-5.t2_fixed.ari | NO | 0.57 |
| From_T2/p-50.t2.ari | Unknown | 0.33 |
| From_T2/p-52.t2.ari | NO | 0.38 |
| From_T2/p-53.t2.ari | Unknown | 0.34 |
| From_T2/p-55.t2.ari | Unknown | 0.46 |
| From_T2/p-55.t2_fixed.ari | Unknown | 0.67 |
| From_T2/p-56.t2.ari | Unknown | 0.37 |
| From_T2/p-56.t2_fixed.ari | Unknown | 0.47 |
| From_T2/p-58.t2.ari | Unknown | 0.32 |
| From_T2/p-6.t2.ari | TIMEOUT | 60.06 |
| From_T2/p-60.t2.ari | Unknown | 0.38 |
| From_T2/p-60.t2_fixed.ari | Unknown | 0.39 |
| From_T2/p-61.t2.ari | Unknown | 0.37 |
| From_T2/p-61.t2_fixed.ari | Unknown | 0.37 |
| From_T2/p-62.t2.ari | Unknown | 0.36 |
| From_T2/p-63.t2.ari | Unknown | 0.42 |
| From_T2/p-63.t2_fixed.ari | Unknown | 0.40 |
| From_T2/p-7.t2.ari | Unknown | 0.38 |
| From_T2/p-7.t2_fixed.ari | Unknown | 0.44 |
| From_T2/p-7b.t2.ari | Unknown | 0.37 |
| From_T2/p-8.t2.ari | NO | 0.40 |
| From_T2/p.t2.ari | NO | 0.56 |
| From_T2/p_armc.t2.ari | NO | 0.48 |
| From_T2/pearl-necklace.t2.ari | Unknown | 0.72 |
| From_T2/peculiar.t2.ari | NO | 0.42 |
| From_T2/peculiar.t2_fixed.ari | NO | 0.44 |
| From_T2/pentagon.t2.ari | TIMEOUT | 60.03 |
| From_T2/pgarch-fail.t2.ari | NO | 0.52 |
| From_T2/pgarch-succeed.t2.ari | NO | 0.52 |
| From_T2/pgarch.t2.ari | NO | 26.29 |
| From_T2/pgarch.t2_fixed.ari | NO | 20.71 |
| From_T2/polling.bug.t2.ari | NO | 1.01 |
| From_T2/polling.bug.t2_fixed.ari | NO | 0.94 |
| From_T2/polling.t2.ari | NO | 0.91 |
| From_T2/polling.t2_fixed.ari | NO | 0.87 |
| From_T2/polyrank1.t2.ari | Unknown | 0.33 |
| From_T2/polyrank2.t2.ari | Unknown | 0.33 |
| From_T2/polyrank3.t2.ari | Unknown | 1.17 |
| From_T2/polyrank4.t2.ari | Unknown | 1.57 |
| From_T2/polyrank5.t2.ari | Unknown | 0.61 |
| From_T2/polyrank6.t2.ari | Unknown | 0.74 |
| From_T2/polyrank7.t2.ari | NO | 0.37 |
| From_T2/popl07-fail.t2.ari | NO | 0.52 |
| From_T2/popl07-succeed.t2.ari | NO | 0.53 |
| From_T2/ppblock.t2.ari | NO | 0.41 |
| From_T2/ppblockbug.t2.ari | NO | 0.40 |
| From_T2/ppblockterm.t2.ari | NO | 0.43 |
| From_T2/ppblocktermbug.t2.ari | NO | 0.49 |
| From_T2/prime.t2.ari | NO | 0.58 |
| From_T2/prime.t2_fixed.ari | NO | 0.56 |
| From_T2/print.t2.ari | Unknown | 6.13 |
| From_T2/print.t2_fixed.ari | TIMEOUT | 60.02 |
| From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.ari | TIMEOUT | 60.01 |
| From_T2/qrdcmp.t2.ari | TIMEOUT | 60.06 |
| From_T2/queens.t2.ari | TIMEOUT | 60.01 |
| From_T2/queens.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/queue_1.t2.ari | Unknown | 0.69 |
| From_T2/queue_10.t2.ari | TIMEOUT | 60.06 |
| From_T2/queue_10.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/queue_100.t2.ari | TIMEOUT | 60.06 |
| From_T2/queue_100.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/queue_1000.t2.ari | TIMEOUT | 60.06 |
| From_T2/queue_1000.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/randomwalk.t2.ari | Unknown | 5.11 |
| From_T2/randomwalk_withassume.t2.ari | Unknown | 5.20 |
| From_T2/refine_disj_problem.t2.ari | NO | 0.41 |
| From_T2/refine_disj_problem.t2_fixed.ari | NO | 0.42 |
| From_T2/rev_nt2.t2.ari | NO | 0.57 |
| From_T2/rev_nt2.t2_fixed.ari | NO | 0.58 |
| From_T2/rev_nt3.t2.ari | NO | 0.55 |
| From_T2/rev_nt3.t2_fixed.ari | NO | 0.55 |
| From_T2/rev_nt4.t2.ari | Unknown | 0.31 |
| From_T2/rev_nt4.t2_fixed.ari | Unknown | 0.30 |
| From_T2/reverse.t2.ari | Unknown | 4.42 |
| From_T2/reverse.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/reverse_div4.t2.ari | NO | 0.95 |
| From_T2/reverse_div4.t2_fixed.ari | NO | 0.82 |
| From_T2/reverse_seg_cyclic.t2.ari | Unknown | 2.59 |
| From_T2/reverse_seg_cyclic.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/rewrite.t2.ari | NO | 0.36 |
| From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.ari | NO | 0.78 |
| From_T2/rlft3.t2.ari | NO | 0.82 |
| From_T2/ruslan-benchmarks_misc_n-38.t2.ari | NO | 0.43 |
| From_T2/s1-saved.t2.ari | Unknown | 2.54 |
| From_T2/s1-saved.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/s1-striped.t2.ari | NO | 6.44 |
| From_T2/s1-striped.t2_fixed.ari | NO | 5.30 |
| From_T2/s1.t2.ari | NO | 6.42 |
| From_T2/s1.t2_fixed.ari | NO | 5.20 |
| From_T2/s2.t2.ari | Unknown | 0.39 |
| From_T2/s2.t2_fixed.ari | Unknown | 0.35 |
| From_T2/s3-work.t2.ari | TIMEOUT | 60.01 |
| From_T2/s3-work.t2_fixed.ari | TIMEOUT | 60.01 |
| From_T2/s3.t2.ari | TIMEOUT | 60.06 |
| From_T2/s3.t2_fixed.ari | TIMEOUT | 60.02 |
| From_T2/s4.t2.ari | TIMEOUT | 60.06 |
| From_T2/s4.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/sas07.cex.t2.ari | Unknown | 1.81 |
| From_T2/sas2.t2.ari | Unknown | 14.16 |
| From_T2/select.t2.ari | NO | 0.66 |
| From_T2/select.t2_fixed.ari | NO | 0.64 |
| From_T2/selectSort.t2.ari | TIMEOUT | 60.01 |
| From_T2/send-more-money.t2.ari | TIMEOUT | 60.06 |
| From_T2/send-more-money.t2_fixed.ari | TIMEOUT | 60.00 |
| From_T2/seq.t2.ari | Unknown | 0.33 |
| From_T2/sequential_swap.t2.ari | Unknown | 0.31 |
| From_T2/simple.t2.ari | NO | 0.40 |
| From_T2/simpleWhile.t2.ari | Unknown | 2.84 |
| From_T2/simple_array_inversion.t2.ari | Unknown | 0.33 |
| From_T2/simple_control_on_input.t2.ari | Unknown | 0.34 |
| From_T2/simple_control_on_input.t2_fixed.ari | Unknown | 0.34 |
| From_T2/simple_fail.t2.ari | Unknown | 0.32 |
| From_T2/simple_pre.t2.ari | Unknown | 0.30 |
| From_T2/simple_pre1.t2.ari | Unknown | 0.32 |
| From_T2/simple_pre2.t2.ari | Unknown | 0.30 |
| From_T2/simple_pre3.t2.ari | Unknown | 0.32 |
| From_T2/simple_swap_call.t2.ari | Unknown | 0.31 |
| From_T2/simple_test.t2.ari | Unknown | 0.60 |
| From_T2/simple_test2.t2.ari | NO | 0.38 |
| From_T2/slayer-1-filtered.t2.ari | Unknown | 1.74 |
| From_T2/slayer-1-rf.t2.ari | Unknown | 2.07 |
| From_T2/slayer-2-filtered.t2.ari | Unknown | 0.34 |
| From_T2/slayer-2-filtered.t2_fixed.ari | Unknown | 0.33 |
| From_T2/slayer-3-filtered.t2.ari | NO | 4.84 |
| From_T2/slayer-3-new.t2.ari | TIMEOUT | 60.00 |
| From_T2/slayer-3-new.t2_fixed.ari | NO | 20.23 |
| From_T2/slayer-3.t2.ari | TIMEOUT | 60.01 |
| From_T2/slayer-3.t2_fixed.ari | NO | 27.78 |
| From_T2/slayer-4-filtered.t2.ari | NO | 50.70 |
| From_T2/slayer-5-filtered.t2.ari | NO | 1.66 |
| From_T2/slayer-n1-filtered.t2.ari | NO | 0.58 |
| From_T2/slayer-n1.t2.ari | NO | 0.76 |
| From_T2/slayer-n1.t2_fixed.ari | NO | 0.84 |
| From_T2/slayer-n2-filtered.t2.ari | NO | 0.39 |
| From_T2/slayer-n2.t2.ari | NO | 0.40 |
| From_T2/slayer-n3-filtered.t2.ari | Unknown | 0.49 |
| From_T2/slayer-n3-filtered.t2_fixed.ari | Unknown | 0.47 |
| From_T2/slayer-n5-filtered.t2.ari | NO | 1.23 |
| From_T2/smagilla-fail.t2.ari | NO | 0.50 |
| From_T2/smagilla-succeed.t2.ari | NO | 0.49 |
| From_T2/smagillb-succeed.t2.ari | NO | 0.49 |
| From_T2/smagillb-succeed.t2_fixed.ari | NO | 0.49 |
| From_T2/smagillc-fail.t2.ari | NO | 0.46 |
| From_T2/smagillc-fail.t2_fixed.ari | NO | 0.43 |
| From_T2/smagillc-succeed.t2.ari | NO | 0.48 |
| From_T2/small01.t2.ari | NO | 0.38 |
| From_T2/small01.t2_fixed.ari | Unknown | 0.36 |
| From_T2/small02.t2.ari | NO | 0.41 |
| From_T2/small03.t2.ari | NO | 0.40 |
| From_T2/small04.t2.ari | NO | 0.40 |
| From_T2/small05.t2.ari | NO | 0.40 |
| From_T2/small06.t2.ari | Unknown | 0.48 |
| From_T2/small07.t2.ari | TIMEOUT | 60.06 |
| From_T2/small08.t2.ari | TIMEOUT | 60.06 |
| From_T2/small09.t2.ari | TIMEOUT | 60.06 |
| From_T2/small10.t2.ari | NO | 0.38 |
| From_T2/small11.t2.ari | NO | 0.37 |
| From_T2/small12.t2.ari | Unknown | 0.35 |
| From_T2/small13.t2.ari | Unknown | 0.74 |
| From_T2/small14.t2.ari | NO | 0.38 |
| From_T2/small15.t2.ari | NO | 0.37 |
| From_T2/small16.t2.ari | NO | 0.36 |
| From_T2/small17.t2.ari | NO | 0.36 |
| From_T2/small18.t2.ari | NO | 0.35 |
| From_T2/small19.t2.ari | Unknown | 0.76 |
| From_T2/small20.t2.ari | Unknown | 0.35 |
| From_T2/small21.t2.ari | Unknown | 0.35 |
| From_T2/small22.t2.ari | NO | 0.37 |
| From_T2/small23.t2.ari | NO | 0.35 |
| From_T2/small24.t2.ari | NO | 0.36 |
| From_T2/small26.t2.ari | Unknown | 0.32 |
| From_T2/small27.t2.ari | Unknown | 0.30 |
| From_T2/small28.t2.ari | Unknown | 0.31 |
| From_T2/small29.t2.ari | NO | 0.36 |
| From_T2/small31.t2.ari | Unknown | 0.32 |
| From_T2/small32.t2.ari | Unknown | 0.31 |
| From_T2/small33.t2.ari | Unknown | 0.30 |
| From_T2/small34.t2.ari | Unknown | 0.31 |
| From_T2/small35.t2.ari | NO | 0.36 |
| From_T2/sort.t2.ari | TIMEOUT | 60.06 |
| From_T2/sort.t2_fixed.ari | TIMEOUT | 60.01 |
| From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.ari | TIMEOUT | 60.06 |
| From_T2/spctrm.t2.ari | TIMEOUT | 60.06 |
| From_T2/spiral.t2.ari | Unknown | 16.28 |
| From_T2/spiral.t2_fixed.ari | Unknown | 1.20 |
| From_T2/st88.bug.t2.ari | NO | 0.43 |
| From_T2/st88.bug.t2_fixed.ari | NO | 0.41 |
| From_T2/st88.t2.ari | NO | 0.38 |
| From_T2/st88.t2_fixed.ari | NO | 0.38 |
| From_T2/st88b-fail.t2.ari | NO | 0.36 |
| From_T2/st88b-succeed.t2.ari | NO | 0.37 |
| From_T2/statemate.t2.ari | TIMEOUT | 60.01 |
| From_T2/statemate.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/stored.t2.ari | NO | 0.39 |
| From_T2/streamserver-succeed.t2.ari | NO | 0.77 |
| From_T2/streamserver-succeed.t2_fixed.ari | NO | 0.75 |
| From_T2/streamserver.bug.t2.ari | NO | 0.80 |
| From_T2/streamserver.bug.t2_fixed.ari | NO | 0.76 |
| From_T2/subpoly_crash.t2.ari | NO | 0.37 |
| From_T2/sudoku.t2.ari | TIMEOUT | 60.01 |
| From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.ari | TIMEOUT | 60.01 |
| From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.ari | TIMEOUT | 60.06 |
| From_T2/svdcmp.t2.ari | TIMEOUT | 60.06 |
| From_T2/svdcmp.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/test_byron_2.t2.ari | NO | 0.44 |
| From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.ari | TIMEOUT | 60.06 |
| From_T2/toeplz.t2.ari | TIMEOUT | 60.01 |
| From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.ari | NO | 8.82 |
| From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.ari | NO | 20.54 |
| From_T2/tqli.t2.ari | NO | 8.88 |
| From_T2/tqli.t2_fixed.ari | NO | 20.53 |
| From_T2/traverse.t2.ari | Unknown | 2.62 |
| From_T2/traverse.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/traverse2.t2.ari | Unknown | 3.53 |
| From_T2/traverse2.t2_fixed.ari | TIMEOUT | 60.01 |
| From_T2/traverse_seg.t2.ari | Unknown | 3.26 |
| From_T2/traverse_seg.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/traverse_seg2.t2.ari | Unknown | 2.77 |
| From_T2/traverse_seg2.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/traverse_twice.t2.ari | Unknown | 7.24 |
| From_T2/traverse_twice.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/two_arrays.t2.ari | Unknown | 0.89 |
| From_T2/two_arrays.t2_fixed.ari | Unknown | 0.59 |
| From_T2/two_arrays1.t2.ari | Unknown | 1.09 |
| From_T2/two_arrays1.t2_fixed.ari | Unknown | 1.01 |
| From_T2/two_arrays2.t2.ari | Unknown | 1.08 |
| From_T2/two_arrays6.t2.ari | Unknown | 1.06 |
| From_T2/ud.t2.ari | Unknown | 3.04 |
| From_T2/ud.t2_fixed.ari | Unknown | 1.37 |
| From_T2/vmcai_bytes.t2.ari | Unknown | 0.33 |
| From_T2/w1.t2.ari | NO | 0.41 |
| From_T2/w2_nt.t2.ari | NO | 0.59 |
| From_T2/w3_nt.t2.ari | NO | 0.69 |
| From_T2/walk.t2.ari | NO | 0.50 |
| From_T2/walk.t2_fixed.ari | NO | 0.50 |
| From_T2/weakness.t2.ari | Unknown | 0.39 |
| From_T2/whatwhat.t2.ari | Unknown | 0.41 |
| From_T2/wrap.c.t2.ari | TIMEOUT | 60.06 |
| From_T2/wrong_loop.t2.ari | NO | 0.39 |
| From_T2/wrong_loop.t2_fixed.ari | NO | 0.41 |
| From_T2/wtf.t2.ari | TIMEOUT | 60.01 |
| From_T2/zeroconf.t2.ari | TIMEOUT | 60.01 |
| From_T2/zeroconf_withassume.t2.ari | TIMEOUT | 60.01 |
| From_T2/zlib-adler32.c.t2.ari | NO | 0.80 |
| From_T2/zlib-adler32.c.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/zlib-crc32-BYFOUR.c.t2.ari | NO | 0.75 |
| From_T2/zlib-crc32-BYFOUR.c.t2_fixed.ari | TIMEOUT | 60.06 |
| From_T2/zlib-crc32.c.t2.ari | NO | 0.56 |
| From_T2/zlib-crc32.c.t2_fixed.ari | Unknown | 4.08 |