VeryMax
nameresulttime
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2yes0.024262
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2yes0.138792
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2yes0.0954561
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2no7.36901
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2yes0.034648
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2yes0.066278
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2yes0.03701
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2yes0.0339111
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2maybe20.5774
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2yes0.095403
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2maybe37.3667
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2yes0.0983049
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2maybe37.6517
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2yes0.0473579
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2yes0.0314461
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2maybe10.8063
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2yes0.099077
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2yes0.0643871
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2maybe10.3017
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2yes0.946351
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2yes0.0404359
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2yes0.710683
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2yes0.022117
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2yes4.05216
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2yes0.131564
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2yes0.0265101
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2yes0.108099
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2no23.4792
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2no6.40268
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2yes0.02332
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2yes0.026283
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2maybe5.50256
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2no0.0289649
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2yes0.0320399
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2no11.8187
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2no36.5066
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2maybe40.194
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2maybe29.1792
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2no20.7224
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2no20.7771
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2yes0.0328849
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2yes0.0868081
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2yes0.0874969
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2yes0.045162
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2yes0.0244819
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2no12.8685
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2yes0.491921
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2maybe35.0172
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2maybe56.5024
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2yes0.0265151
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2yes0.0777781
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2maybe59.3756
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2no11.3288
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2yes0.040348
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2maybe42.6441
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2yes0.030459
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2yes0.021911
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2yes0.0225041
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2yes0.263346
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2yes0.025416
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2yes0.0925119
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2yes0.154227
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2yes0.0250539
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2yes11.2094
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2yes11.1246
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2yes0.229978
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2yes1.27091
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2yes13.4425
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2yes9.45096
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2yes30.491
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2maybe60.0257
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2yes0.078352
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2yes0.195287
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2yes0.0819291
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2yes0.318334
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2no25.2608
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2yes0.079946
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2no0.0574051
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2no1.07222
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2yes0.0328529
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2no1.09129
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2yes0.0339019
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2yes0.0707639
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2yes0.025825
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2yes0.0909709
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2yes0.0221019
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2yes0.466558
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2yes0.0307521
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2maybe60.034
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2maybe60.0316
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2maybe39.6009
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2maybe56.674
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2maybe35.9119
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2yes0.574402
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2yes0.057729
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2yes0.0478769
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2yes0.0314879
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2yes0.0318551
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2maybe5.1441
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2yes0.120587
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2maybe60.0204
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2yes0.275115
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2yes0.028068
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2yes0.0360629
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2yes0.272986
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2no0.02882
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2yes0.0715139
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2yes0.0419449
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2yes0.0312649
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2maybe60.022
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2yes1.06115
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2yes0.112121
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2no9.37994
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2yes0.112834
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2maybe60.0373
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2yes0.0249031
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2maybe49.6349
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2maybe20.5495
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2no22.774
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2no31.6614
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2no5.21991
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2yes0.0367509
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2yes0.065556
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2yes0.049209
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2no6.58177
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2yes0.0312381
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2yes0.0909071
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2yes0.100842
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2yes0.175221
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2yes0.145489
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2yes0.024411
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2yes0.0262539
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2maybe5.17681
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2yes0.039421
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2no0.0285971
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2yes0.027039
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2no5.75083
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2maybe60.0958
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2no7.16598
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2maybe60.0206
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2maybe41.1977
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2no7.2839
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2no6.07459
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2maybe60.0367
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2yes0.219974
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2yes0.582565
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2yes0.0247039
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2yes0.0487939
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2yes0.133231
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2maybe40.2426
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2yes0.327778
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2yes0.083034
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2yes0.0627829
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2no19.5875
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2maybe52.973
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2no0.028662
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2no0.0288399
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2no0.030276
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2no0.200357
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2no0.0287701
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2no52.4989
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2no0.028599
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2no42.0752
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2no44.1087
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2no38.1361
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2no26.6948
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2no0.0293201
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2no0.028308
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2no7.01763
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2no25.2173
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2no5.22635
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2yes0.029002
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2yes0.41115
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2yes0.327291
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2no18.7901
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2maybe45.4008
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2yes0.022594
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2yes1.49722
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2yes0.136162
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2yes0.0305389
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2yes0.0536689
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2yes0.024137
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2yes0.057885
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2yes0.0754549
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2yes0.0252811
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2yes0.0240549
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2yes0.025869
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2yes0.0248129
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2yes0.0472911
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2yes0.501539
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2yes0.028467
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2yes0.033005
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2yes0.0265519
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2yes0.0294151
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2yes0.0291021
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2yes0.0319331
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2yes0.029003
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2yes0.025333
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2yes0.0247989
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2yes0.0246319
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2yes0.0236059
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2yes0.0246519
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2yes0.026206
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2yes0.0313359
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2yes0.0401691
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2yes0.0819069
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2yes0.030862
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2yes0.036721
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2yes0.0327999
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2yes0.0319041
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2yes0.0263219
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2yes0.037834
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2yes0.0425191
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2yes15.3042
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2maybe23.6555
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2yes1.12425
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2maybe32.2742
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2maybe32.5397
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2yes0.068717
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2yes5.13049
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2yes0.130776
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2maybe32.1712
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2yes0.0322229
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2no6.15297
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2yes0.118847
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2yes0.0575881
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2yes0.023088
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2yes0.03995
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2yes0.044228
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2no5.80754
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2maybe36.3714
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2yes1.77343
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2yes0.025795
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2yes2.38207
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2no6.00423
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2yes0.032029
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2maybe60.0153
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2maybe60.0497
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2yes0.080832
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2yes0.0758989
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2yes0.022293
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2no5.11395
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2no18.2004
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2yes0.166734
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2maybe60.0306
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2yes0.042016
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2yes0.577692
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2yes0.133944
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2maybe60.0222
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2yes12.5109
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2yes0.512309
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2maybe60.0249
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2yes2.6435
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2maybe60.069
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2maybe60.0171
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2yes0.136135
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2yes0.103598
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2no0.0283111
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2no5.19042
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2yes0.0374739
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2yes0.132092
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2yes0.133219
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2no42.3782
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2yes0.023401
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2no5.56492
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2no15.3755
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2no16.4295
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2no43.2608
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2maybe24.0403
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2no5.33177
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2maybe5.37831
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2maybe18.4167
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2no5.10374
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2no18.2926
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2no25.657
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2no29.6602
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2no38.1662
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2no18.2253
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2no18.1886
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2no12.2527
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2no10.9772
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2no30.0828
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2no5.15035
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2no2.09063
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2no9.20342
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2no37.5134
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2maybe9.32056
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2maybe60.0343
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2maybe60.1139
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2no5.18916
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2no23.423
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2no18.2324
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2no17.1228
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2no18.1891
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2no27.2905
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2no44.1096
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2no46.4793
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2no32.3609
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2no5.11164
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2no6.6977
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2no8.58598
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2no27.3473
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2maybe26.2817
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2no35.2255
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2no18.2409
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2no3.4003
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2no34.8611
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2no35.0222
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2no19.1916
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2yes0.0225371
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2no18.2038
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2no18.3637
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2no42.6494
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2no13.2982
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2no5.17196
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2no5.6661
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2maybe13.5243
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2no27.2979
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2yes0.0597531
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2no12.7695
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2maybe60.0386
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2no15.3751
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2maybe27.183
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2no5.09964
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2no18.3063
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2no27.3799
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2no29.6514
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2yes0.038604
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2yes0.026371
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2yes0.0252409
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2yes0.213497
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2no0.0286119
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2maybe60.0296
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2no18.2034
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2no18.2202
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2no12.254
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2no11.7552
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2no42.0758
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2no0.0300411
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2no0.030746
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2no0.0307779
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2no42.5435
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2maybe35.9972
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2no5.14979
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2maybe60.1111
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2maybe60.0538
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2maybe60.0264
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2maybe60.0601
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2maybe60.0321
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2maybe60.0557
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2maybe60.0513
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2maybe60.072
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2maybe60.0691
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2maybe60.1181
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2maybe60.0205
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2maybe60.0229
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2yes0.0315359
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2yes0.135295
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2maybe60.1153
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2maybe60.066
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2yes0.565919
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2yes0.134455
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2yes0.141711
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2yes0.167819
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2yes3.31507
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2maybe60.0239
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2yes0.601271
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2yes0.187589
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2yes2.79731
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2yes0.152008
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2yes0.198514
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2yes0.171623
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2yes3.38627
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2yes0.15044
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2yes0.828509
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2yes3.16299
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2yes0.910104
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2yes0.133826
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2yes0.138511
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2yes0.143761
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2yes0.169265
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2yes0.167881
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2yes0.173139
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2yes0.207896
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2yes0.20673
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2yes0.362497
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2yes0.203959
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2yes0.143099
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2yes0.88845
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2maybe60.0358
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2yes0.934137
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2yes3.66818
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2yes0.203794
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2yes3.68927
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2yes0.365394
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2yes4.32423
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2yes2.58731
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2yes0.249438
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2yes0.0301059
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2yes0.134726
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2yes0.19852
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2no27.9412
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2no46.5567
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2no8.59303
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2no35.2288
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2no24.3081
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2no38.1377
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2no23.2237
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2no36.2671
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2no18.2711
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2no37.5422
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2no38.9462
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2no30.1022
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2no26.1251
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2no5.09711
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2no5.74843
Integer_Transition_Systems/From_T2/1.t2.smt2no9.19879
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2no17.1794
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2no17.1299
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2no49.0129
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2no49.1302
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2maybe60.0215
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2maybe60.0909
Integer_Transition_Systems/From_T2/2.t2.smt2no30.2767
Integer_Transition_Systems/From_T2/232.t2.smt2yes0.028793
Integer_Transition_Systems/From_T2/241.t2.smt2yes0.0285349
Integer_Transition_Systems/From_T2/3.t2.smt2no0.0296911
Integer_Transition_Systems/From_T2/5.t2.smt2yes0.0178231
Integer_Transition_Systems/From_T2/6.t2.smt2no0.0294781
Integer_Transition_Systems/From_T2/7.t2.smt2no5.11366
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2no37.7433
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2no37.7139
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2no9.13996
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2no0.0407839
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2no31.6901
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2no34.0059
Integer_Transition_Systems/From_T2/afagx1.t2.smt2no0.0356929
Integer_Transition_Systems/From_T2/agafp.t2.smt2maybe60.0195
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2maybe60.0755
Integer_Transition_Systems/From_T2/andrey.t2.smt2yes0.023927
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2maybe53.697
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2maybe60.0366
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2maybe53.6999
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2maybe60.0228
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2maybe53.034
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2maybe60.0249
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2maybe60.0865
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2maybe60.0594
Integer_Transition_Systems/From_T2/arith.t2.smt2yes0.025831
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2yes0.0453559
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2yes0.0179321
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2yes6.97893
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2yes0.255095
Integer_Transition_Systems/From_T2/array.t2.smt2yes0.018245
Integer_Transition_Systems/From_T2/array2.t2.smt2yes0.0244611
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2yes0.0225629
Integer_Transition_Systems/From_T2/array3.t2.smt2yes0.0292579
Integer_Transition_Systems/From_T2/array4.t2.smt2yes0.0276501
Integer_Transition_Systems/From_T2/array_free.t2.smt2yes0.0305719
Integer_Transition_Systems/From_T2/array_free2.t2.smt2yes0.027561
Integer_Transition_Systems/From_T2/array_init.t2.smt2yes0.023882
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2yes0.0225101
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2yes0.0268721
Integer_Transition_Systems/From_T2/ase_example.t2.smt2yes0.0349309
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2yes0.034778
Integer_Transition_Systems/From_T2/ax_test.t2.smt2no0.02979
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2no0.0292959
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2no0.030809
Integer_Transition_Systems/From_T2/bakery.t2.smt2maybe60.0183
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2maybe60.0337
Integer_Transition_Systems/From_T2/bf10.t2.smt2yes0.066511
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2yes0.063417
Integer_Transition_Systems/From_T2/bf11.t2.smt2yes0.067329
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2yes0.0635541
Integer_Transition_Systems/From_T2/bf12.t2.smt2yes0.0663639
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2yes0.0631739
Integer_Transition_Systems/From_T2/bf13.t2.smt2yes0.066959
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2yes0.064856
Integer_Transition_Systems/From_T2/bf14.t2.smt2yes0.0662411
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2yes0.0663839
Integer_Transition_Systems/From_T2/bf15.t2.smt2yes0.0663941
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2yes0.06591
Integer_Transition_Systems/From_T2/bf16.t2.smt2yes0.066512
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2yes0.0647179
Integer_Transition_Systems/From_T2/bf17.t2.smt2yes0.0670519
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2yes0.064885
Integer_Transition_Systems/From_T2/bf18.t2.smt2yes0.0679729
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2yes0.0660381
Integer_Transition_Systems/From_T2/bf19.t2.smt2yes0.067971
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2yes0.069783
Integer_Transition_Systems/From_T2/bf20.t2.smt2yes0.06644
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2yes0.066303
Integer_Transition_Systems/From_T2/bf5.t2.smt2yes0.0663891
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2yes0.0599611
Integer_Transition_Systems/From_T2/bf6.t2.smt2yes0.0670751
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2yes0.061108
Integer_Transition_Systems/From_T2/bf7.t2.smt2yes0.067345
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2yes0.0617791
Integer_Transition_Systems/From_T2/bf8.t2.smt2yes0.066333
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2yes0.063072
Integer_Transition_Systems/From_T2/bf9.t2.smt2yes0.0668941
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2yes0.061584
Integer_Transition_Systems/From_T2/bio.t2.smt2maybe60.112
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2yes0.0306181
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2yes0.030467
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2yes0.030706
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2yes0.029752
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2yes0.0622149
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2yes8.11493
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2yes6.37736
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2yes8.17661
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2yes6.34831
Integer_Transition_Systems/From_T2/broydn.t2.smt2yes11.2712
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2yes7.65363
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2maybe60.0874
Integer_Transition_Systems/From_T2/bs.t2.smt2no5.76509
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2no15.5852
Integer_Transition_Systems/From_T2/bsort100.t2.smt2yes0.0762269
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2yes1.00121
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2yes0.0620591
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2yes0.0262351
Integer_Transition_Systems/From_T2/byron-1.t2.smt2yes0.0394699
Integer_Transition_Systems/From_T2/byron-2.t2.smt2yes0.0342841
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2yes0.0367431
Integer_Transition_Systems/From_T2/byron-3.t2.smt2yes0.0897329
Integer_Transition_Systems/From_T2/byron-4.t2.smt2maybe60.0214
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2yes0.0443511
Integer_Transition_Systems/From_T2/cfg.t2.smt2no5.24724
Integer_Transition_Systems/From_T2/cnt.t2.smt2yes0.0744079
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2yes0.0880261
Integer_Transition_Systems/From_T2/collatz.t2.smt2maybe5.28933
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2maybe17.5165
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2yes0.02694
Integer_Transition_Systems/From_T2/compress.t2.smt2no32.6708
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2no27.0744
Integer_Transition_Systems/From_T2/constants.t2.smt2yes0.0318139
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2yes0.030764
Integer_Transition_Systems/From_T2/consts1.t2.smt2no32.0662
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2yes2.15597
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2no32.0642
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2no23.3747
Integer_Transition_Systems/From_T2/consts2.t2.smt2no5.30799
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2yes0.023049
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2no5.3109
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2no29.8136
Integer_Transition_Systems/From_T2/consts3.t2.smt2yes0.024247
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2yes0.0221231
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2no32.1269
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2no19.832
Integer_Transition_Systems/From_T2/consts4.t2.smt2no5.34638
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2yes0.0224911
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2no5.35564
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2no29.3201
Integer_Transition_Systems/From_T2/consts5.t2.smt2no18.9471
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2yes0.018964
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2no18.8994
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2no29.7635
Integer_Transition_Systems/From_T2/cover.t2.smt2maybe60.049
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2yes39.376
Integer_Transition_Systems/From_T2/crc.t2.smt2yes0.199456
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2yes0.197292
Integer_Transition_Systems/From_T2/create.t2.smt2yes0.060388
Integer_Transition_Systems/From_T2/create_seg.t2.smt2yes0.067015
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2yes0.161238
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2yes0.287741
Integer_Transition_Systems/From_T2/ctl.t2.smt2no0.0559391
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2no0.0438451
Integer_Transition_Systems/From_T2/curious.t2.smt2no5.18477
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2no5.16474
Integer_Transition_Systems/From_T2/curious2.t2.smt2yes0.0197141
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2yes0.0185359
Integer_Transition_Systems/From_T2/curious4.t2.smt2maybe60.0928
Integer_Transition_Systems/From_T2/d.t2.smt2no16.8302
Integer_Transition_Systems/From_T2/db.t2.smt2yes0.018168
Integer_Transition_Systems/From_T2/db2.t2.smt2maybe60.0332
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2maybe60.0523
Integer_Transition_Systems/From_T2/db3.t2.smt2maybe60.0325
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2maybe60.0967
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2no32.0833
Integer_Transition_Systems/From_T2/defect.t2.smt2no0.0289409
Integer_Transition_Systems/From_T2/destroy.t2.smt2yes0.17284
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2yes0.291605
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2yes0.204486
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2yes0.348677
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2no11.9271
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2maybe60.0189
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2no12.5386
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2yes10.3437
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2yes0.0332869
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2yes0.0188241
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2no3.58137
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2yes0.0182281
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2yes0.0295779
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2yes0.027742
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2yes0.0187331
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2yes0.0174541
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2yes0.0286189
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2yes0.025906
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2yes0.0239801
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2yes0.022854
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2yes0.018609
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2yes0.0184651
Integer_Transition_Systems/From_T2/dummy.t2.smt2no32.1278
Integer_Transition_Systems/From_T2/dumper.t2.smt2maybe60.0306
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2no17.1649
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2no17.1857
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2no17.1953
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2no49.0363
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2no48.8346
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2no49.0358
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2no49.0541
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2no5.09933
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2no5.14793
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2no5.15208
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2no0.07454
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2no0.0784419
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2no0.079651
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2no0.621825
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2no0.622495
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2no0.168808
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2no0.05095
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2no12.3036
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2no0.0383829
Integer_Transition_Systems/From_T2/edn.t2.smt2maybe60.0229
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2yes4.28962
Integer_Transition_Systems/From_T2/efegp.t2.smt2no7.02357
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2no6.74235
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2yes1.32284
Integer_Transition_Systems/From_T2/elmhes.t2.smt2yes1.38708
Integer_Transition_Systems/From_T2/eric.t2.smt2maybe9.72862
Integer_Transition_Systems/From_T2/eric1.t2.smt2yes8.54246
Integer_Transition_Systems/From_T2/eric2.t2.smt2maybe50.7548
Integer_Transition_Systems/From_T2/eric3.t2.smt2no23.2769
Integer_Transition_Systems/From_T2/ex1.t2.smt2no42.0607
Integer_Transition_Systems/From_T2/ex10.t2.smt2no18.2353
Integer_Transition_Systems/From_T2/ex11.t2.smt2no1.77305
Integer_Transition_Systems/From_T2/ex12.t2.smt2yes0.0246971
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2yes0.0242251
Integer_Transition_Systems/From_T2/ex13.t2.smt2yes0.0178
Integer_Transition_Systems/From_T2/ex14.t2.smt2yes0.0236789
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2yes0.0220841
Integer_Transition_Systems/From_T2/ex15.t2.smt2yes0.019574
Integer_Transition_Systems/From_T2/ex16.t2.smt2no38.1762
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2no38.1589
Integer_Transition_Systems/From_T2/ex17.t2.smt2yes23.41
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2yes0.0288761
Integer_Transition_Systems/From_T2/ex18.t2.smt2yes0.039898
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2yes0.0398091
Integer_Transition_Systems/From_T2/ex19.t2.smt2no38.0913
Integer_Transition_Systems/From_T2/ex2.t2.smt2no23.2319
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2no23.23
Integer_Transition_Systems/From_T2/ex20.t2.smt2yes0.0301091
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2yes0.0292671
Integer_Transition_Systems/From_T2/ex21.t2.smt2yes0.0290301
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2yes0.142201
Integer_Transition_Systems/From_T2/ex22.t2.smt2yes0.245957
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2yes0.14845
Integer_Transition_Systems/From_T2/ex23.t2.smt2yes0.025493
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2yes0.0243551
Integer_Transition_Systems/From_T2/ex26.t2.smt2yes0.029208
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2yes0.144304
Integer_Transition_Systems/From_T2/ex27.t2.smt2yes0.380581
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2yes0.222484
Integer_Transition_Systems/From_T2/ex29.t2.smt2yes0.0417459
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2yes0.0411619
Integer_Transition_Systems/From_T2/ex3.t2.smt2yes0.0273439
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2yes0.025032
Integer_Transition_Systems/From_T2/ex30.t2.smt2yes0.0300791
Integer_Transition_Systems/From_T2/ex31.t2.smt2no5.2721
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2no5.28518
Integer_Transition_Systems/From_T2/ex32.t2.smt2yes0.0288341
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2yes0.028117
Integer_Transition_Systems/From_T2/ex33.t2.smt2yes0.020444
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2yes0.0212079
Integer_Transition_Systems/From_T2/ex34.t2.smt2yes0.0312529
Integer_Transition_Systems/From_T2/ex36.t2.smt2maybe60.047
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2maybe60.0484
Integer_Transition_Systems/From_T2/ex4.t2.smt2yes0.042412
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2yes0.0384941
Integer_Transition_Systems/From_T2/ex40.t2.smt2no23.2163
Integer_Transition_Systems/From_T2/ex6.t2.smt2yes0.018706
Integer_Transition_Systems/From_T2/ex7.t2.smt2yes0.024231
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2yes0.0229801
Integer_Transition_Systems/From_T2/ex8.t2.smt2no3.12766
Integer_Transition_Systems/From_T2/ex9.t2.smt2no3.13616
Integer_Transition_Systems/From_T2/example.t2.smt2yes0.029614
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2no2.48405
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2no1.65924
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2no6.26468
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2no6.13099
Integer_Transition_Systems/From_T2/fdct.t2.smt2yes0.071136
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2yes0.0479549
Integer_Transition_Systems/From_T2/fermat.t2.smt2yes0.043316
Integer_Transition_Systems/From_T2/fibcall.t2.smt2yes0.0279931
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2yes0.039958
Integer_Transition_Systems/From_T2/fir.t2.smt2yes0.0916501
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2yes0.970804
Integer_Transition_Systems/From_T2/firewire.t2.smt2maybe60.0166
Integer_Transition_Systems/From_T2/flipflop.t2.smt2no0.18773
Integer_Transition_Systems/From_T2/florian.t2.smt2yes0.0216219
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2yes0.428067
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2yes0.110222
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2yes0.063435
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2maybe60.0732
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2maybe60.0823
Integer_Transition_Systems/From_T2/foo.t2.smt2maybe60.0643
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2maybe60.0518
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0341
Integer_Transition_Systems/From_T2/fourn.t2.smt2maybe60.1094
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2yes0.031486
Integer_Transition_Systems/From_T2/fun1.t2.smt2no40.1409
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2no35.3257
Integer_Transition_Systems/From_T2/fun10.t2.smt2no7.1405
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2no7.18055
Integer_Transition_Systems/From_T2/fun10b.t2.smt2no7.09105
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2no7.06632
Integer_Transition_Systems/From_T2/fun11.t2.smt2no32.1014
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2no18.2615
Integer_Transition_Systems/From_T2/fun1b.t2.smt2no40.1617
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2no35.2994
Integer_Transition_Systems/From_T2/fun2.t2.smt2yes6.31051
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2yes1.90306
Integer_Transition_Systems/From_T2/fun2b.t2.smt2yes5.8308
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2yes1.84006
Integer_Transition_Systems/From_T2/fun3.t2.smt2yes6.28315
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2yes8.06795
Integer_Transition_Systems/From_T2/fun4.t2.smt2no10.362
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2yes13.0165
Integer_Transition_Systems/From_T2/fun5.t2.smt2no27.2476
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2maybe35.4927
Integer_Transition_Systems/From_T2/fun6.t2.smt2no15.2907
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2no16.1896
Integer_Transition_Systems/From_T2/fun7.t2.smt2maybe43.5899
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2maybe46.5987
Integer_Transition_Systems/From_T2/fun8.t2.smt2yes0.085112
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2yes0.242184
Integer_Transition_Systems/From_T2/fun9.t2.smt2maybe60.0157
Integer_Transition_Systems/From_T2/graycode.t2.smt2yes0.721979
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2yes0.555017
Integer_Transition_Systems/From_T2/hand7.t2.smt2no33.4604
Integer_Transition_Systems/From_T2/heidy1.t2.smt2no23.2202
Integer_Transition_Systems/From_T2/heidy10.t2.smt2yes0.027549
Integer_Transition_Systems/From_T2/heidy2.t2.smt2no1.00474
Integer_Transition_Systems/From_T2/heidy3.t2.smt2no3.28685
Integer_Transition_Systems/From_T2/heidy5.t2.smt2yes0.023083
Integer_Transition_Systems/From_T2/heidy6.t2.smt2no23.252
Integer_Transition_Systems/From_T2/heidy7.t2.smt2no3.12097
Integer_Transition_Systems/From_T2/heidy8.t2.smt2no3.12304
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2no3.12044
Integer_Transition_Systems/From_T2/heidy9.t2.smt2yes0.0224359
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2maybe60.0147
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2maybe60.1016
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0972
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2maybe60.0372
Integer_Transition_Systems/From_T2/hqr.t2.smt2maybe60.0779
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2maybe60.0924
Integer_Transition_Systems/From_T2/huh.t2.smt2yes0.0587571
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2yes0.0590149
Integer_Transition_Systems/From_T2/iecs.t2.smt2yes0.0384109
Integer_Transition_Systems/From_T2/insertsort.t2.smt2no10.1987
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2no18.2719
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2no5.32742
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2yes0.111814
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2yes0.109103
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2yes0.108733
Integer_Transition_Systems/From_T2/jacobi.t2.smt2yes0.112917
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2yes0.110639
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2maybe60.0766
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2no30.2222
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2yes0.0610851
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2yes0.722035
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2yes0.929818
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2yes0.079538
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2yes1.4481
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2yes0.0316979
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2yes0.0294851
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2yes0.096668
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2yes0.0321571
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2yes0.02929
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2yes0.572938
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2yes0.0566489
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2yes0.254162
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2yes2.32474
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2yes0.188902
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2yes0.0487209
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2yes0.0550851
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2yes0.0445491
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2yes0.0496491
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2yes0.0655561
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2yes0.0310361
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2yes0.0549599
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2yes0.0902229
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2yes0.061841
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2yes0.0480079
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2yes0.043765
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2yes0.0591189
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2yes0.056164
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2yes0.049257
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2yes0.182846
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2yes1.20978
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2yes7.70889
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2yes0.0607559
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2yes0.0482159
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2yes0.0941221
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2yes0.074613
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2yes0.061632
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2yes0.045459
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2yes0.0440811
Integer_Transition_Systems/From_T2/l1.t2.smt2no5.28192
Integer_Transition_Systems/From_T2/loop3.t2.smt2yes1.56041
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2yes1.20484
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2yes0.0279829
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2yes0.027016
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2yes0.469803
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2yes0.85734
Integer_Transition_Systems/From_T2/magic.t2.smt2yes0.959507
Integer_Transition_Systems/From_T2/matmul.t2.smt2yes0.202185
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2yes0.381145
Integer_Transition_Systems/From_T2/matmult.t2.smt2yes0.378274
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2yes0.626714
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2yes0.16061
Integer_Transition_Systems/From_T2/mc91.t2.smt2no17.0477
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2yes0.208845
Integer_Transition_Systems/From_T2/mc91test.t2.smt2maybe60.0157
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2yes0.694794
Integer_Transition_Systems/From_T2/minmax.t2.smt2yes0.03718
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2yes0.033631
Integer_Transition_Systems/From_T2/n-1.t2.smt2no5.13735
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2no5.50611
Integer_Transition_Systems/From_T2/n-10.t2.smt2no5.44396
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2maybe0.0487109
Integer_Transition_Systems/From_T2/n-12.t2.smt2no20.3783
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2no20.2298
Integer_Transition_Systems/From_T2/n-12a.t2.smt2no5.08647
Integer_Transition_Systems/From_T2/n-13.t2.smt2no18.1782
Integer_Transition_Systems/From_T2/n-14.t2.smt2no5.1595
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2no5.32353
Integer_Transition_Systems/From_T2/n-15.t2.smt2no33.8013
Integer_Transition_Systems/From_T2/n-15a.t2.smt2maybe15.3119
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2maybe10.2334
Integer_Transition_Systems/From_T2/n-16a.t2.smt2no5.2901
Integer_Transition_Systems/From_T2/n-17.t2.smt2no33.7542
Integer_Transition_Systems/From_T2/n-18.t2.smt2no18.2685
Integer_Transition_Systems/From_T2/n-18a.t2.smt2no5.27655
Integer_Transition_Systems/From_T2/n-1c.t2.smt2no5.37115
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2maybe0.0503359
Integer_Transition_Systems/From_T2/n-1d.t2.smt2no20.4826
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2no20.2766
Integer_Transition_Systems/From_T2/n-20.t2.smt2maybe0.04884
Integer_Transition_Systems/From_T2/n-21.t2.smt2maybe60.0264
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2no32.1142
Integer_Transition_Systems/From_T2/n-3.t2.smt2no32.0835
Integer_Transition_Systems/From_T2/n-32.t2.smt2no5.41164
Integer_Transition_Systems/From_T2/n-33.t2.smt2maybe60.095
Integer_Transition_Systems/From_T2/n-36.t2.smt2maybe0.147254
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2maybe0.157928
Integer_Transition_Systems/From_T2/n-37.t2.smt2no34.0704
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2no34.0742
Integer_Transition_Systems/From_T2/n-38.t2.smt2yes0.0193069
Integer_Transition_Systems/From_T2/n-3a.t2.smt2no15.4827
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2no15.3021
Integer_Transition_Systems/From_T2/n-4.t2.smt2no21.6872
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2no21.278
Integer_Transition_Systems/From_T2/n-40.t2.smt2maybe60.0513
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2no32.1461
Integer_Transition_Systems/From_T2/n-46.t2.smt2maybe60.0999
Integer_Transition_Systems/From_T2/n-48.t2.smt2no31.143
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2no31.1303
Integer_Transition_Systems/From_T2/n-5.t2.smt2no21.1182
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2no16.6741
Integer_Transition_Systems/From_T2/n-6.t2.smt2maybe60.0181
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2maybe60.0979
Integer_Transition_Systems/From_T2/n-6a.t2.smt2no20.3489
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2no20.3016
Integer_Transition_Systems/From_T2/n-7.t2.smt2maybe60.0226
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2maybe60.031
Integer_Transition_Systems/From_T2/n-8.t2.smt2no5.38612
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2maybe0.0464971
Integer_Transition_Systems/From_T2/n-8a.t2.smt2no5.13728
Integer_Transition_Systems/From_T2/n-9.t2.smt2no5.64117
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2no5.76446
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2maybe60.1051
Integer_Transition_Systems/From_T2/nakata.t2.smt2no33.811
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2yes4.15217
Integer_Transition_Systems/From_T2/ndes.t2.smt2yes36.6222
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2yes19.7659
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2no17.1229
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2no17.1624
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2maybe60.0574
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2maybe60.0939
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2no49.0973
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2no49.0784
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2no9.13833
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2no9.14085
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2no17.1452
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2no49.015
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2no49.0039
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2no49.1513
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2no48.9921
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2no5.15779
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2no5.1788
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2no5.09849
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2no5.10411
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2no0.060014
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2no0.060033
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2no0.0591931
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2no0.0594739
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2no0.166571
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2no0.518246
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2no0.519861
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2no0.0524959
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2no0.0371539
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2no0.0750639
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2no0.0785581
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2no0.076924
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2no0.177761
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2no0.177778
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2no0.457466
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2no0.472986
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2no3.20374
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2no12.2977
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2no32.0759
Integer_Transition_Systems/From_T2/neg.t2.smt2yes0.0205751
Integer_Transition_Systems/From_T2/nested.t2.smt2yes0.0387939
Integer_Transition_Systems/From_T2/nested2.t2.smt2yes0.040935
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2yes4.05722
Integer_Transition_Systems/From_T2/non_term.t2.smt2no31.0985
Integer_Transition_Systems/From_T2/ns.t2.smt2yes1.15913
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2yes0.817823
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2no31.0627
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2yes22.9342
Integer_Transition_Systems/From_T2/p-1.t2.smt2maybe0.0370681
Integer_Transition_Systems/From_T2/p-10.t2.smt2maybe0.036827
Integer_Transition_Systems/From_T2/p-12.t2.smt2yes0.0225259
Integer_Transition_Systems/From_T2/p-13.t2.smt2yes0.0183541
Integer_Transition_Systems/From_T2/p-14.t2.smt2yes0.023693
Integer_Transition_Systems/From_T2/p-15.t2.smt2yes0.0243079
Integer_Transition_Systems/From_T2/p-19.t2.smt2maybe0.0367169
Integer_Transition_Systems/From_T2/p-19a.t2.smt2maybe0.041449
Integer_Transition_Systems/From_T2/p-1a.t2.smt2maybe0.036976
Integer_Transition_Systems/From_T2/p-1b.t2.smt2yes0.0241321
Integer_Transition_Systems/From_T2/p-1c.t2.smt2maybe0.036917
Integer_Transition_Systems/From_T2/p-1d.t2.smt2yes0.0299639
Integer_Transition_Systems/From_T2/p-20.t2.smt2maybe0.0432691
Integer_Transition_Systems/From_T2/p-21.t2.smt2yes0.0327229
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2yes0.0294701
Integer_Transition_Systems/From_T2/p-22.t2.smt2yes0.0251729
Integer_Transition_Systems/From_T2/p-3.t2.smt2yes0.030939
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2yes0.02977
Integer_Transition_Systems/From_T2/p-32.t2.smt2no5.40682
Integer_Transition_Systems/From_T2/p-33.t2.smt2maybe60.0416
Integer_Transition_Systems/From_T2/p-34.t2.smt2maybe0.0696849
Integer_Transition_Systems/From_T2/p-36.t2.smt2maybe0.0664599
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2maybe0.065618
Integer_Transition_Systems/From_T2/p-37.t2.smt2yes0.0304899
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2yes0.0310439
Integer_Transition_Systems/From_T2/p-38.t2.smt2yes0.0367799
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2yes0.0537761
Integer_Transition_Systems/From_T2/p-4.t2.smt2yes0.030428
Integer_Transition_Systems/From_T2/p-40.t2.smt2yes0.025715
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2yes0.0255179
Integer_Transition_Systems/From_T2/p-41.t2.smt2yes0.018129
Integer_Transition_Systems/From_T2/p-42.t2.smt2yes0.028732
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2yes3.85457
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2yes6.75864
Integer_Transition_Systems/From_T2/p-43.t2.smt2yes0.284996
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2yes0.959596
Integer_Transition_Systems/From_T2/p-44.t2.smt2yes0.026033
Integer_Transition_Systems/From_T2/p-45.t2.smt2yes0.033117
Integer_Transition_Systems/From_T2/p-46.t2.smt2no5.41721
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2no5.39326
Integer_Transition_Systems/From_T2/p-49.t2.smt2yes0.0229091
Integer_Transition_Systems/From_T2/p-5.t2.smt2no21.4471
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2no23.8728
Integer_Transition_Systems/From_T2/p-50.t2.smt2yes0.0196829
Integer_Transition_Systems/From_T2/p-52.t2.smt2maybe0.036619
Integer_Transition_Systems/From_T2/p-53.t2.smt2yes0.0189499
Integer_Transition_Systems/From_T2/p-55.t2.smt2yes0.0322821
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2yes0.0351151
Integer_Transition_Systems/From_T2/p-56.t2.smt2yes0.0266421
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2yes0.028617
Integer_Transition_Systems/From_T2/p-58.t2.smt2yes0.0218961
Integer_Transition_Systems/From_T2/p-6.t2.smt2yes0.0322609
Integer_Transition_Systems/From_T2/p-60.t2.smt2yes0.02734
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2yes0.0263129
Integer_Transition_Systems/From_T2/p-61.t2.smt2yes0.032628
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2yes0.041535
Integer_Transition_Systems/From_T2/p-62.t2.smt2yes0.019824
Integer_Transition_Systems/From_T2/p-63.t2.smt2yes0.040842
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2yes0.0399411
Integer_Transition_Systems/From_T2/p-7.t2.smt2yes0.028458
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2yes0.0278881
Integer_Transition_Systems/From_T2/p-7b.t2.smt2yes0.026624
Integer_Transition_Systems/From_T2/p-8.t2.smt2maybe0.0337
Integer_Transition_Systems/From_T2/p.t2.smt2maybe60.0292
Integer_Transition_Systems/From_T2/p_armc.t2.smt2maybe43.8467
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2yes0.0358101
Integer_Transition_Systems/From_T2/peculiar.t2.smt2no3.37198
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2no3.37635
Integer_Transition_Systems/From_T2/pentagon.t2.smt2maybe60.0237
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2no0.0777611
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2no0.0773251
Integer_Transition_Systems/From_T2/pgarch.t2.smt2maybe60.0347
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2maybe60.1123
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2maybe27.2996
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2maybe29.059
Integer_Transition_Systems/From_T2/polling.t2.smt2maybe27.4527
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2maybe26.621
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2yes0.0891351
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2yes18.9329
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2yes26.68
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2maybe60.023
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2yes35.1619
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2yes0.292574
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2no27.5168
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2no0.143526
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2no0.153397
Integer_Transition_Systems/From_T2/ppblock.t2.smt2maybe60.0259
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2no47.7207
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2maybe60.0476
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2maybe60.0392
Integer_Transition_Systems/From_T2/prime.t2.smt2no23.2825
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2no23.2691
Integer_Transition_Systems/From_T2/print.t2.smt2yes0.514076
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2yes1.25596
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2yes0.993012
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2yes1.48904
Integer_Transition_Systems/From_T2/queens.t2.smt2yes3.64736
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2yes3.92661
Integer_Transition_Systems/From_T2/queue_1.t2.smt2yes0.062074
Integer_Transition_Systems/From_T2/queue_10.t2.smt2yes0.0779301
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2yes0.063373
Integer_Transition_Systems/From_T2/queue_100.t2.smt2yes0.076865
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2yes0.0626819
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2yes0.0771229
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2yes0.0654931
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2maybe60.0159
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2yes0.122745
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2no5.39613
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2no32.1129
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2no10.1984
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2no8.45072
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2no8.81904
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2no8.81917
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2yes0.0194929
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2yes0.0191859
Integer_Transition_Systems/From_T2/reverse.t2.smt2yes0.600192
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2yes2.13316
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2no11.5604
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2no12.4108
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2yes0.325218
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2yes1.19453
Integer_Transition_Systems/From_T2/rewrite.t2.smt2no0.0313269
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2maybe60.045
Integer_Transition_Systems/From_T2/rlft3.t2.smt2maybe60.0554
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2maybe60.0361
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2yes0.356067
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2yes0.860553
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2maybe44.4666
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2maybe60.059
Integer_Transition_Systems/From_T2/s1.t2.smt2maybe44.4573
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2maybe60.0324
Integer_Transition_Systems/From_T2/s2.t2.smt2yes0.028971
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2yes0.029911
Integer_Transition_Systems/From_T2/s3-work.t2.smt2yes4.27199
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2yes14.8998
Integer_Transition_Systems/From_T2/s3.t2.smt2maybe60.0518
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2maybe60.0541
Integer_Transition_Systems/From_T2/s4.t2.smt2maybe60.0265
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2maybe60.042
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2yes0.345075
Integer_Transition_Systems/From_T2/sas2.t2.smt2maybe60.0413
Integer_Transition_Systems/From_T2/select.t2.smt2maybe60.0532
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2no46.4112
Integer_Transition_Systems/From_T2/selectSort.t2.smt2yes0.140183
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2yes0.830904
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2yes0.803243
Integer_Transition_Systems/From_T2/seq.t2.smt2yes0.0225121
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2yes0.0194059
Integer_Transition_Systems/From_T2/simple.t2.smt2no33.5914
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2yes0.034878
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2yes0.0227611
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2yes0.0252901
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2yes0.0243579
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2yes0.018239
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2yes0.018968
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2yes0.0194081
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2yes0.019242
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2yes0.0216281
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2yes0.0185051
Integer_Transition_Systems/From_T2/simple_test.t2.smt2yes0.03618
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2no0.030262
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2yes0.183355
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2yes0.169208
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2yes0.027343
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2yes0.0270079
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2maybe60.0805
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2maybe60.081
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2maybe60.014
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2maybe60.1084
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2maybe60.102
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2maybe60.0234
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2maybe30.7632
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2no8.98933
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2no12.1041
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2no49.0967
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2no35.1447
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2no23.2409
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2yes0.104858
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2yes0.399562
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2maybe31.7261
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2no12.2947
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2no12.3135
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2no18.2805
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2no18.2664
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2no12.5079
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2no12.5126
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2no12.3195
Integer_Transition_Systems/From_T2/small01.t2.smt2no34.0574
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2yes0.0280199
Integer_Transition_Systems/From_T2/small02.t2.smt2no18.1369
Integer_Transition_Systems/From_T2/small03.t2.smt2no31.0624
Integer_Transition_Systems/From_T2/small04.t2.smt2no42.0672
Integer_Transition_Systems/From_T2/small05.t2.smt2no38.0764
Integer_Transition_Systems/From_T2/small06.t2.smt2yes0.0373001
Integer_Transition_Systems/From_T2/small07.t2.smt2yes0.0761051
Integer_Transition_Systems/From_T2/small08.t2.smt2yes0.079118
Integer_Transition_Systems/From_T2/small09.t2.smt2yes0.079098
Integer_Transition_Systems/From_T2/small10.t2.smt2no13.1468
Integer_Transition_Systems/From_T2/small11.t2.smt2no0.033055
Integer_Transition_Systems/From_T2/small12.t2.smt2yes0.0231431
Integer_Transition_Systems/From_T2/small13.t2.smt2yes0.0277009
Integer_Transition_Systems/From_T2/small14.t2.smt2no34.1308
Integer_Transition_Systems/From_T2/small15.t2.smt2maybe60.0613
Integer_Transition_Systems/From_T2/small16.t2.smt2maybe48.5418
Integer_Transition_Systems/From_T2/small17.t2.smt2maybe35.3656
Integer_Transition_Systems/From_T2/small18.t2.smt2maybe35.4658
Integer_Transition_Systems/From_T2/small19.t2.smt2yes0.028667
Integer_Transition_Systems/From_T2/small20.t2.smt2yes0.0284579
Integer_Transition_Systems/From_T2/small21.t2.smt2yes0.0403659
Integer_Transition_Systems/From_T2/small22.t2.smt2no5.16866
Integer_Transition_Systems/From_T2/small23.t2.smt2no9.17662
Integer_Transition_Systems/From_T2/small24.t2.smt2no0.029506
Integer_Transition_Systems/From_T2/small26.t2.smt2yes0.0236851
Integer_Transition_Systems/From_T2/small27.t2.smt2yes0.0170851
Integer_Transition_Systems/From_T2/small28.t2.smt2yes0.0243899
Integer_Transition_Systems/From_T2/small29.t2.smt2no5.10678
Integer_Transition_Systems/From_T2/small31.t2.smt2yes0.0182519
Integer_Transition_Systems/From_T2/small32.t2.smt2yes0.0203219
Integer_Transition_Systems/From_T2/small33.t2.smt2yes0.0188711
Integer_Transition_Systems/From_T2/small34.t2.smt2yes0.023679
Integer_Transition_Systems/From_T2/small35.t2.smt2no39.0705
Integer_Transition_Systems/From_T2/sort.t2.smt2yes0.315676
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2yes0.333996
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2yes16.4779
Integer_Transition_Systems/From_T2/spctrm.t2.smt2yes13.1232
Integer_Transition_Systems/From_T2/spiral.t2.smt2maybe39.6912
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2yes2.70228
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2no20.2939
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2no9.35536
Integer_Transition_Systems/From_T2/st88.t2.smt2no14.9771
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2no9.58629
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2no18.7454
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2no18.8776
Integer_Transition_Systems/From_T2/statemate.t2.smt2maybe60.0482
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2maybe60.0179
Integer_Transition_Systems/From_T2/stored.t2.smt2no0.0531671
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2maybe57.3588
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2maybe60.0625
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2no20.8618
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2no20.112
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2no38.0784
Integer_Transition_Systems/From_T2/sudoku.t2.smt2yes12.0303
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2maybe60.0338
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0709
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2yes34.2757
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2yes30.0219
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2no5.0787
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2yes4.10367
Integer_Transition_Systems/From_T2/toeplz.t2.smt2yes4.10106
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2maybe60.0468
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2no45.7217
Integer_Transition_Systems/From_T2/tqli.t2.smt2no47.2653
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2no45.4636
Integer_Transition_Systems/From_T2/traverse.t2.smt2yes0.365952
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2yes0.871096
Integer_Transition_Systems/From_T2/traverse2.t2.smt2yes0.4595
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2yes1.2505
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2yes0.474608
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2yes1.25451
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2yes0.430368
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2yes1.00307
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2yes0.629582
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2yes1.52708
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2yes0.052421
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2yes0.045402
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2yes0.079888
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2yes0.0565669
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2yes0.419583
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2yes0.0653961
Integer_Transition_Systems/From_T2/ud.t2.smt2yes4.5256
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2yes4.55651
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2yes0.0181151
Integer_Transition_Systems/From_T2/w1.t2.smt2no0.0320881
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2no10.1842
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2no8.59577
Integer_Transition_Systems/From_T2/walk.t2.smt2maybe60.0223
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2maybe60.0979
Integer_Transition_Systems/From_T2/weakness.t2.smt2yes1.06636
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2yes0.040822
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2yes0.39
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2no9.60636
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2no1.11129
Integer_Transition_Systems/From_T2/wtf.t2.smt2yes1.90571
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2maybe60.1056
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2yes4.47081
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2maybe32.3926
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2maybe34.795
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2no32.7347
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2yes8.31091
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2no6.38976
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2yes0.100655