T2
nameresulttime
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2yes0.92634
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2yes1.22833
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2yes1.17803
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2no1.24005
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2yes0.942149
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2yes0.96133
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2yes0.930829
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2yes0.944082
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2yes1.61704
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2maybe51.353
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2maybe34.4297
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2maybe49.9272
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2maybe53.9911
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2yes0.951075
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2yes1.00131
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2no7.2699
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2yes0.97374
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2yes0.985201
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2maybe27.5025
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2yes16.7399
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2yes0.921768
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2yes4.9366
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2yes0.914585
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2yes1.00979
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2yes1.10027
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2yes0.940821
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2yes1.25091
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2no1.17742
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2no1.52999
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2yes0.930605
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2yes0.942039
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2maybe6.6597
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2no0.94147
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2yes0.941848
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2no1.19512
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2no1.5083
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2no1.52524
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2no1.21546
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2no1.24553
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2no1.186
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2yes0.929888
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2yes1.05681
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2yes1.28043
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2yes1.03941
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2yes0.92388
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2maybe60.0977
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2yes1.13829
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2maybe60.0596
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2no1.61143
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2yes0.924508
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2yes1.3197
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2no2.2071
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2no1.18546
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2yes1.03169
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2maybe60.3745
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2yes0.920269
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2yes0.918391
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2yes0.918858
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2yes1.14195
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2yes0.919334
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2yes1.02623
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2yes1.06937
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2yes0.915538
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2yes1.23729
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2yes1.18911
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2yes1.63745
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2yes2.5172
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2yes1.19583
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2yes1.39714
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2yes1.96794
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2yes2.76243
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2yes0.97518
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2yes0.99857
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2yes0.989851
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2yes0.98459
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2no1.06402
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2yes0.926251
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2no1.1996
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2no1.2206
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2yes0.934274
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2no1.20899
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2yes0.929585
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2yes1.85507
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2yes0.976552
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2yes1.00612
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2yes0.930502
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2yes1.9218
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2yes0.964252
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2no1.47227
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2no1.53831
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2no1.28835
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2no1.48875
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2no1.16763
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2yes1.09155
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2yes0.976125
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2yes0.959951
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2yes0.939868
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2yes0.936382
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2maybe1.19329
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2yes1.10065
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2maybe60.044
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2yes1.10386
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2yes0.915971
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2yes1.02853
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2yes1.51204
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2no1.44591
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2yes0.971109
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2yes0.964504
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2yes0.921715
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2yes2.36393
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2yes2.51659
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2yes1.1245
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2maybe3.49517
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2yes1.17909
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2maybe33.6639
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2yes0.915765
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2no1.31249
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2no2.55309
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2no1.15945
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2no1.24309
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2no1.10852
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2yes0.962897
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2yes1.07226
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2yes0.947666
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2no1.52244
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2yes0.945584
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2yes1.07279
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2yes1.1314
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2maybe60.0278
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2maybe60.0569
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2yes0.916479
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2yes0.927497
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2maybe1.23127
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2yes0.949598
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2no0.9427
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2yes0.92769
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2no1.0452
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2yes2.62664
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2no1.28118
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2no1.5739
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2no1.43048
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2no1.37481
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2no1.99012
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2maybe38.3768
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2yes0.92705
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2yes1.65751
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2yes0.923157
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2yes1.18277
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2maybe60.0275
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2yes1.24445
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2yes1.10822
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2yes1.0708
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2yes1.27013
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2maybe60.0321
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2maybe49.0052
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2no0.942951
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2no0.950669
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2no0.943324
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2maybe3.78814
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2no0.946342
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2maybe8.87936
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2no0.941987
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2no1.03297
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2maybe1.40371
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2maybe60.069
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2no1.21447
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2no0.945409
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2no0.941867
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2no1.21319
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2maybe2.9009
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2no1.05214
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2yes0.9193
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2yes0.981861
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2yes3.68066
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2maybe6.91662
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2no1.4871
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2yes0.918174
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2yes3.66184
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2yes1.09104
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2yes0.954573
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2maybe6.22215
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2yes0.943703
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2yes1.13051
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2yes1.16746
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2yes0.916593
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2yes0.911986
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2yes0.922212
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2yes0.911211
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2yes0.92079
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2yes1.27543
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2yes0.91412
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2yes0.988547
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2yes0.993895
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2yes0.973951
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2yes0.948926
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2yes0.959906
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2yes0.991103
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2yes0.92075
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2yes0.908811
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2yes0.915035
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2yes0.929637
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2yes0.912192
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2yes0.915905
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2yes0.939628
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2yes0.945944
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2yes1.24721
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2yes0.925309
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2yes0.953989
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2yes0.922137
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2yes0.939602
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2yes0.926587
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2yes0.93297
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2yes1.10353
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2yes1.14468
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2no3.26982
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2yes1.33102
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2maybe18.0121
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2maybe1.64282
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2yes1.18022
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2yes0.952203
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2yes1.04685
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2yes1.66988
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2yes0.943566
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2no1.25266
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2yes1.051
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2yes0.939261
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2yes0.902473
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2yes0.94184
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2yes1.00111
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2no1.04023
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2no1.23643
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2maybe60.0593
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2yes0.92065
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2yes22.9999
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2no1.10209
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2yes0.928048
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2yes3.85581
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2yes3.47346
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2yes1.03847
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2yes0.966538
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2yes0.919135
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2maybe5.81159
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2no1.05911
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2yes1.24705
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2maybe1.9808
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2yes1.03587
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2yes1.4904
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2yes2.40479
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2maybe3.63168
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2maybe1.289
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2maybe16.5165
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2maybe60.0545
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2yes3.21884
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2maybe60.0347
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2no1.3057
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2yes2.4915
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2yes1.35918
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2no0.945419
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2no0.997337
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2yes0.952977
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2yes1.04305
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2yes1.03809
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2no7.2708
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2yes0.912763
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2no1.03276
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2maybe5.87695
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2no1.2363
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2maybe28.6041
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2maybe36.4249
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2maybe1.87076
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2maybe6.96987
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2maybe1.4244
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2no1.02936
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2no1.0149
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2maybe60.0244
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2no1.14091
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2no1.0551
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2no1.17601
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2no1.21509
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2no1.04239
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2no1.18173
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2maybe1.60642
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2no1.04305
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2no1.41892
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2no1.16744
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2maybe44.9355
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2no1.07213
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2maybe2.0753
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2maybe5.62826
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2no1.01314
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2maybe24.2827
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2no1.2297
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2no1.73449
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2no1.03039
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2maybe1.58874
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2no1.05345
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2no4.39281
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2no1.14744
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2maybe1.05577
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2maybe1.02311
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2maybe1.80598
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2maybe60.0282
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2maybe1.74608
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2no1.68878
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2no1.01579
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2no1.10203
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2maybe60.0293
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2maybe11.3825
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2no1.06215
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2yes0.922142
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2no1.01945
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2no1.03036
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2no1.16106
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2no1.17425
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2no1.14828
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2no1.12052
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2maybe6.05672
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2maybe1.58377
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2yes1.21167
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2maybe35.0583
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2maybe46.3475
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2maybe6.19502
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2maybe23.6063
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2no1.0325
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2no1.03607
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2maybe60.0963
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2no1.13348
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2yes1.79297
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2yes1.7555
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2yes0.92907
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2yes0.965232
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2no0.946524
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2no1.15423
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2no1.0311
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2no1.04428
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2no1.03553
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2no1.13206
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2no1.03183
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2no1.11027
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2no1.00054
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2no1.00039
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2maybe56.1494
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2maybe33.8518
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2no1.02492
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2yes1.62492
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2yes1.6687
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2yes1.7843
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2yes2.21811
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2yes1.77209
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2yes1.55978
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2yes2.32812
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2yes2.27418
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2yes2.28057
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2yes1.57981
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2yes1.86758
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2yes1.62418
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2yes1.32292
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2yes1.03978
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2maybe12.9852
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2maybe54.7917
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2yes1.5282
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2yes1.04223
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2yes1.0395
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2yes1.25816
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2yes6.88203
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2yes35.3202
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2yes2.14985
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2yes1.067
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2yes4.07762
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2yes1.31889
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2yes1.09098
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2yes1.07456
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2yes6.86317
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2yes1.04169
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2yes1.69966
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2yes7.7568
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2yes1.70214
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2yes1.04693
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2yes1.03747
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2yes1.03864
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2yes1.06449
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2yes1.06619
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2yes1.06716
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2yes1.08333
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2yes1.07949
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2yes1.1832
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2yes1.08104
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2yes1.04484
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2yes2.36105
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2maybe60.1087
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2yes1.77067
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2yes9.06671
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2yes1.06889
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2yes9.00548
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2yes1.13701
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2yes11.4058
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2yes4.21544
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2yes1.23494
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2yes1.08964
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2yes1.0285
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2yes1.21703
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2no1.28607
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2no1.28098
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2maybe1.80477
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2maybe4.46276
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2no1.04687
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2no1.03537
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2no1.03056
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2no1.56765
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2no1.0305
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2maybe60.046
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2maybe49.9017
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2no1.08681
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2no1.07147
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2no1.32611
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2no1.12502
Integer_Transition_Systems/From_T2/1.t2.smt2no1.28089
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2no27.1159
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2no26.0863
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2no23.3361
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2no23.3387
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2no25.817
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2no25.7597
Integer_Transition_Systems/From_T2/2.t2.smt2no2.21368
Integer_Transition_Systems/From_T2/232.t2.smt2yes0.95403
Integer_Transition_Systems/From_T2/241.t2.smt2yes0.941972
Integer_Transition_Systems/From_T2/3.t2.smt2no1.00527
Integer_Transition_Systems/From_T2/5.t2.smt2yes0.690387
Integer_Transition_Systems/From_T2/6.t2.smt2no1.00253
Integer_Transition_Systems/From_T2/7.t2.smt2no1.99476
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2no6.72444
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2no6.76219
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2no1.1719
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2no1.1366
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2maybe60.0393
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2maybe60.0214
Integer_Transition_Systems/From_T2/afagx1.t2.smt2no1.07134
Integer_Transition_Systems/From_T2/agafp.t2.smt2maybe60.0269
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2maybe60.0523
Integer_Transition_Systems/From_T2/andrey.t2.smt2yes0.925084
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2maybe60.0276
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2maybe60.0389
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2maybe60.0811
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2maybe60.0652
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2maybe60.0297
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2maybe60.0297
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2no45.2065
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2no48.6829
Integer_Transition_Systems/From_T2/arith.t2.smt2yes0.935588
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2yes1.16533
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2yes0.681555
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2yes30.2867
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2yes5.23445
Integer_Transition_Systems/From_T2/array.t2.smt2yes0.707492
Integer_Transition_Systems/From_T2/array2.t2.smt2yes0.923158
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2yes0.929386
Integer_Transition_Systems/From_T2/array3.t2.smt2yes0.974293
Integer_Transition_Systems/From_T2/array4.t2.smt2yes0.975747
Integer_Transition_Systems/From_T2/array_free.t2.smt2yes0.94099
Integer_Transition_Systems/From_T2/array_free2.t2.smt2yes0.961188
Integer_Transition_Systems/From_T2/array_init.t2.smt2yes0.91292
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2yes0.928553
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2yes0.957772
Integer_Transition_Systems/From_T2/ase_example.t2.smt2yes1.05562
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2yes1.03545
Integer_Transition_Systems/From_T2/ax_test.t2.smt2no1.0002
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2no1.00309
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2no1.00229
Integer_Transition_Systems/From_T2/bakery.t2.smt2no1.49176
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2no1.50308
Integer_Transition_Systems/From_T2/bf10.t2.smt2yes1.44684
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2yes1.33451
Integer_Transition_Systems/From_T2/bf11.t2.smt2yes1.38278
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2yes1.36238
Integer_Transition_Systems/From_T2/bf12.t2.smt2yes1.38284
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2yes1.34791
Integer_Transition_Systems/From_T2/bf13.t2.smt2yes1.37785
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2yes1.33292
Integer_Transition_Systems/From_T2/bf14.t2.smt2yes1.37738
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2yes1.35007
Integer_Transition_Systems/From_T2/bf15.t2.smt2yes1.37783
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2yes1.356
Integer_Transition_Systems/From_T2/bf16.t2.smt2yes1.60366
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2yes1.33394
Integer_Transition_Systems/From_T2/bf17.t2.smt2yes1.47447
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2yes1.34406
Integer_Transition_Systems/From_T2/bf18.t2.smt2yes1.47409
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2yes1.36008
Integer_Transition_Systems/From_T2/bf19.t2.smt2yes1.45557
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2yes1.34494
Integer_Transition_Systems/From_T2/bf20.t2.smt2yes1.46361
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2yes1.33922
Integer_Transition_Systems/From_T2/bf5.t2.smt2yes1.3773
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2yes1.34816
Integer_Transition_Systems/From_T2/bf6.t2.smt2yes1.38354
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2yes1.35601
Integer_Transition_Systems/From_T2/bf7.t2.smt2yes1.38113
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2yes1.35134
Integer_Transition_Systems/From_T2/bf8.t2.smt2yes1.33963
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2yes1.33334
Integer_Transition_Systems/From_T2/bf9.t2.smt2yes1.38197
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2yes1.34112
Integer_Transition_Systems/From_T2/bio.t2.smt2maybe60.0662
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2yes1.0734
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2yes1.07341
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2yes1.09102
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2yes1.09292
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2maybe5.99927
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2maybe60.0536
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2maybe60.0564
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0857
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2maybe60.1187
Integer_Transition_Systems/From_T2/broydn.t2.smt2maybe60.045
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2maybe60.0958
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2maybe38.2071
Integer_Transition_Systems/From_T2/bs.t2.smt2no1.29684
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2no1.13247
Integer_Transition_Systems/From_T2/bsort100.t2.smt2yes1.34835
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2yes1.40696
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2yes1.10614
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2yes0.953359
Integer_Transition_Systems/From_T2/byron-1.t2.smt2yes1.10357
Integer_Transition_Systems/From_T2/byron-2.t2.smt2yes0.938748
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2yes0.962599
Integer_Transition_Systems/From_T2/byron-3.t2.smt2yes1.1794
Integer_Transition_Systems/From_T2/byron-4.t2.smt2no1.06483
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2yes1.08179
Integer_Transition_Systems/From_T2/cfg.t2.smt2no1.02827
Integer_Transition_Systems/From_T2/cnt.t2.smt2yes2.32298
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2yes2.20573
Integer_Transition_Systems/From_T2/collatz.t2.smt2maybe1.45981
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2maybe8.39868
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2yes0.938487
Integer_Transition_Systems/From_T2/compress.t2.smt2maybe60.0903
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2maybe60.0963
Integer_Transition_Systems/From_T2/constants.t2.smt2yes0.951998
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2yes0.958487
Integer_Transition_Systems/From_T2/consts1.t2.smt2no1.02192
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2yes0.986225
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2no1.01656
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2no1.05599
Integer_Transition_Systems/From_T2/consts2.t2.smt2no0.99785
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2yes0.91198
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2no1.00043
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2no1.0099
Integer_Transition_Systems/From_T2/consts3.t2.smt2yes0.909175
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2yes0.917124
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2no1.01303
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2no1.01556
Integer_Transition_Systems/From_T2/consts4.t2.smt2no1.00141
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2yes0.923649
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2no1.00916
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2no1.01654
Integer_Transition_Systems/From_T2/consts5.t2.smt2no1.03859
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2yes0.924047
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2no1.02269
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2no1.03765
Integer_Transition_Systems/From_T2/cover.t2.smt2maybe60.0885
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2maybe60.0194
Integer_Transition_Systems/From_T2/crc.t2.smt2yes6.73068
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2yes6.57438
Integer_Transition_Systems/From_T2/create.t2.smt2yes1.03771
Integer_Transition_Systems/From_T2/create_seg.t2.smt2yes1.0199
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2yes1.40373
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2yes2.73185
Integer_Transition_Systems/From_T2/ctl.t2.smt2no1.13858
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2no1.11799
Integer_Transition_Systems/From_T2/curious.t2.smt2no0.999143
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2no1.03068
Integer_Transition_Systems/From_T2/curious2.t2.smt2yes0.715095
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2yes0.729675
Integer_Transition_Systems/From_T2/curious4.t2.smt2maybe60.0933
Integer_Transition_Systems/From_T2/d.t2.smt2no1.0148
Integer_Transition_Systems/From_T2/db.t2.smt2yes0.903856
Integer_Transition_Systems/From_T2/db2.t2.smt2maybe60.0276
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2maybe60.0358
Integer_Transition_Systems/From_T2/db3.t2.smt2maybe60.1194
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2maybe60.0514
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2no1.66281
Integer_Transition_Systems/From_T2/defect.t2.smt2no0.939698
Integer_Transition_Systems/From_T2/destroy.t2.smt2yes1.45386
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2yes2.37306
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2yes1.64377
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2yes2.54758
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2no2.18609
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2no6.90431
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2no0.994167
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2maybe60.0749
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2yes2.37005
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2yes0.714208
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2no4.19437
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2yes0.703164
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2yes0.971332
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2yes0.974508
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2yes0.70561
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2yes0.712595
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2yes0.965289
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2yes0.965901
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2yes0.920655
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2yes0.927011
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2yes0.706406
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2yes0.706577
Integer_Transition_Systems/From_T2/dummy.t2.smt2no1.00841
Integer_Transition_Systems/From_T2/dumper.t2.smt2maybe60.0411
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2no24.2646
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2no23.8323
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2no23.7664
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2no20.2805
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2no20.3686
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2no20.2571
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2no20.4785
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2no1.16325
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2no1.19825
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2no1.22322
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2no1.12097
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2no1.15876
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2no1.15721
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2no1.58299
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2no1.57843
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2no1.5714
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2no1.1608
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2no1.22448
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2no1.19669
Integer_Transition_Systems/From_T2/edn.t2.smt2maybe60.1005
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2yes12.4415
Integer_Transition_Systems/From_T2/efegp.t2.smt2maybe60.0351
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2no49.0982
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2yes6.91422
Integer_Transition_Systems/From_T2/elmhes.t2.smt2yes6.4503
Integer_Transition_Systems/From_T2/eric.t2.smt2maybe9.14424
Integer_Transition_Systems/From_T2/eric1.t2.smt2maybe60.0761
Integer_Transition_Systems/From_T2/eric2.t2.smt2maybe54.6008
Integer_Transition_Systems/From_T2/eric3.t2.smt2no1.12608
Integer_Transition_Systems/From_T2/ex1.t2.smt2no1.03783
Integer_Transition_Systems/From_T2/ex10.t2.smt2no1.20058
Integer_Transition_Systems/From_T2/ex11.t2.smt2maybe9.73331
Integer_Transition_Systems/From_T2/ex12.t2.smt2yes0.918524
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2yes0.928344
Integer_Transition_Systems/From_T2/ex13.t2.smt2yes0.713379
Integer_Transition_Systems/From_T2/ex14.t2.smt2yes0.918472
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2yes0.921348
Integer_Transition_Systems/From_T2/ex15.t2.smt2yes0.712347
Integer_Transition_Systems/From_T2/ex16.t2.smt2no3.32391
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2no3.82134
Integer_Transition_Systems/From_T2/ex17.t2.smt2yes1.19632
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2yes1.21576
Integer_Transition_Systems/From_T2/ex18.t2.smt2yes1.06074
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2yes1.0742
Integer_Transition_Systems/From_T2/ex19.t2.smt2no1.07345
Integer_Transition_Systems/From_T2/ex2.t2.smt2no1.0527
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2no1.06281
Integer_Transition_Systems/From_T2/ex20.t2.smt2yes0.947448
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2yes0.959925
Integer_Transition_Systems/From_T2/ex21.t2.smt2yes0.973744
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2yes0.994492
Integer_Transition_Systems/From_T2/ex22.t2.smt2yes1.9663
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2yes1.91993
Integer_Transition_Systems/From_T2/ex23.t2.smt2yes0.927382
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2yes0.934414
Integer_Transition_Systems/From_T2/ex26.t2.smt2yes0.976482
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2yes0.980948
Integer_Transition_Systems/From_T2/ex27.t2.smt2yes2.84071
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2yes2.69141
Integer_Transition_Systems/From_T2/ex29.t2.smt2yes0.754601
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2yes0.762204
Integer_Transition_Systems/From_T2/ex3.t2.smt2yes0.935322
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2yes0.933885
Integer_Transition_Systems/From_T2/ex30.t2.smt2yes1.00266
Integer_Transition_Systems/From_T2/ex31.t2.smt2no1.03033
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2no1.03447
Integer_Transition_Systems/From_T2/ex32.t2.smt2yes1.01958
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2yes1.04745
Integer_Transition_Systems/From_T2/ex33.t2.smt2yes0.875474
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2yes0.732621
Integer_Transition_Systems/From_T2/ex34.t2.smt2yes0.725142
Integer_Transition_Systems/From_T2/ex36.t2.smt2maybe60.1055
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2maybe60.0191
Integer_Transition_Systems/From_T2/ex4.t2.smt2yes1.09574
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2yes1.10371
Integer_Transition_Systems/From_T2/ex40.t2.smt2no1.02937
Integer_Transition_Systems/From_T2/ex6.t2.smt2yes0.717068
Integer_Transition_Systems/From_T2/ex7.t2.smt2yes0.94254
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2yes0.977918
Integer_Transition_Systems/From_T2/ex8.t2.smt2no1.18198
Integer_Transition_Systems/From_T2/ex9.t2.smt2no1.34026
Integer_Transition_Systems/From_T2/example.t2.smt2yes0.912025
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2no11.9472
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2no8.94871
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2no15.5152
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2no14.757
Integer_Transition_Systems/From_T2/fdct.t2.smt2yes1.5548
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2yes1.50938
Integer_Transition_Systems/From_T2/fermat.t2.smt2yes1.39304
Integer_Transition_Systems/From_T2/fibcall.t2.smt2yes0.968267
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2yes0.96386
Integer_Transition_Systems/From_T2/fir.t2.smt2yes1.44375
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2yes1.33636
Integer_Transition_Systems/From_T2/firewire.t2.smt2yes15.7125
Integer_Transition_Systems/From_T2/flipflop.t2.smt2no1.00333
Integer_Transition_Systems/From_T2/florian.t2.smt2yes0.916087
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2maybe6.54983
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2yes1.11712
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2yes2.54114
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2maybe60.0372
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2maybe9.72151
Integer_Transition_Systems/From_T2/foo.t2.smt2maybe60.0246
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2no46.2697
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2no36.7491
Integer_Transition_Systems/From_T2/fourn.t2.smt2no30.4113
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2yes0.958842
Integer_Transition_Systems/From_T2/fun1.t2.smt2maybe60.0289
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2maybe60.0934
Integer_Transition_Systems/From_T2/fun10.t2.smt2no15.3505
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2no15.4077
Integer_Transition_Systems/From_T2/fun10b.t2.smt2no12.739
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2no12.6898
Integer_Transition_Systems/From_T2/fun11.t2.smt2no1.09029
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2maybe2.14935
Integer_Transition_Systems/From_T2/fun1b.t2.smt2maybe60.0244
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2maybe60.026
Integer_Transition_Systems/From_T2/fun2.t2.smt2maybe24.4104
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2maybe14.4773
Integer_Transition_Systems/From_T2/fun2b.t2.smt2maybe21.5505
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2maybe12.0731
Integer_Transition_Systems/From_T2/fun3.t2.smt2maybe38.7432
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2yes7.30272
Integer_Transition_Systems/From_T2/fun4.t2.smt2no1.09179
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2yes10.2517
Integer_Transition_Systems/From_T2/fun5.t2.smt2no1.14991
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2maybe60.0378
Integer_Transition_Systems/From_T2/fun6.t2.smt2no9.4083
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2no10.1823
Integer_Transition_Systems/From_T2/fun7.t2.smt2no1.35297
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2no1.42651
Integer_Transition_Systems/From_T2/fun8.t2.smt2yes1.40206
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2yes2.0224
Integer_Transition_Systems/From_T2/fun9.t2.smt2no2.47026
Integer_Transition_Systems/From_T2/graycode.t2.smt2yes2.7225
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2yes2.60382
Integer_Transition_Systems/From_T2/hand7.t2.smt2no1.04796
Integer_Transition_Systems/From_T2/heidy1.t2.smt2no1.03097
Integer_Transition_Systems/From_T2/heidy10.t2.smt2yes0.963701
Integer_Transition_Systems/From_T2/heidy2.t2.smt2maybe1.42148
Integer_Transition_Systems/From_T2/heidy3.t2.smt2no1.05043
Integer_Transition_Systems/From_T2/heidy5.t2.smt2yes0.910149
Integer_Transition_Systems/From_T2/heidy6.t2.smt2no1.15281
Integer_Transition_Systems/From_T2/heidy7.t2.smt2no1.51111
Integer_Transition_Systems/From_T2/heidy8.t2.smt2no1.16195
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2no1.16634
Integer_Transition_Systems/From_T2/heidy9.t2.smt2yes0.918029
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2maybe60.0349
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2maybe60.0358
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0783
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2maybe60.0282
Integer_Transition_Systems/From_T2/hqr.t2.smt2maybe60.0197
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2maybe60.1157
Integer_Transition_Systems/From_T2/huh.t2.smt2yes1.376
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2yes1.37067
Integer_Transition_Systems/From_T2/iecs.t2.smt2yes1.09062
Integer_Transition_Systems/From_T2/insertsort.t2.smt2no1.18509
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2no1.17824
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2no1.05208
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2yes33.8746
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2yes33.5345
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2yes33.5793
Integer_Transition_Systems/From_T2/jacobi.t2.smt2yes35.3919
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2yes20.0563
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2no2.79851
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2maybe60.0207
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2yes0.983129
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2yes1.07317
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2yes1.44841
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2yes1.4249
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2maybe30.6017
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2yes0.933439
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2yes0.939087
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2yes1.2124
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2yes1.09383
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2yes0.929532
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2yes8.0987
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2yes0.980464
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2maybe60.0994
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2maybe2.10234
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2yes3.22698
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2yes1.01316
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2yes1.15066
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2yes0.939033
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2yes0.954748
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2yes1.06615
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2yes0.943593
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2yes0.962279
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2yes1.0793
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2yes0.976394
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2yes0.991774
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2yes0.958174
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2yes0.950454
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2yes1.01927
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2yes1.02293
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2yes1.46313
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2yes1.36288
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2yes1.7283
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2yes0.999633
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2yes1.00155
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2yes1.08866
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2yes1.04763
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2yes1.05747
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2yes1.52126
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2yes1.53713
Integer_Transition_Systems/From_T2/l1.t2.smt2no1.14535
Integer_Transition_Systems/From_T2/loop3.t2.smt2maybe60.0887
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2maybe60.0219
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2yes0.931292
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2yes0.945647
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2yes18.898
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2yes15.8059
Integer_Transition_Systems/From_T2/magic.t2.smt2yes8.17699
Integer_Transition_Systems/From_T2/matmul.t2.smt2yes1.26122
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2yes1.3112
Integer_Transition_Systems/From_T2/matmult.t2.smt2yes2.13508
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2yes2.13886
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2yes1.55044
Integer_Transition_Systems/From_T2/mc91.t2.smt2maybe3.52765
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2yes0.950792
Integer_Transition_Systems/From_T2/mc91test.t2.smt2maybe1.94775
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2yes0.991406
Integer_Transition_Systems/From_T2/minmax.t2.smt2yes0.755344
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2yes0.773534
Integer_Transition_Systems/From_T2/n-1.t2.smt2no1.03981
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2no1.09313
Integer_Transition_Systems/From_T2/n-10.t2.smt2no1.05087
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2no1.11108
Integer_Transition_Systems/From_T2/n-12.t2.smt2no1.01918
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2no1.06513
Integer_Transition_Systems/From_T2/n-12a.t2.smt2no0.98356
Integer_Transition_Systems/From_T2/n-13.t2.smt2no1.04346
Integer_Transition_Systems/From_T2/n-14.t2.smt2no1.02101
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2no1.04699
Integer_Transition_Systems/From_T2/n-15.t2.smt2no1.02742
Integer_Transition_Systems/From_T2/n-15a.t2.smt2no1.1165
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2no1.04325
Integer_Transition_Systems/From_T2/n-16a.t2.smt2no1.02991
Integer_Transition_Systems/From_T2/n-17.t2.smt2no1.10545
Integer_Transition_Systems/From_T2/n-18.t2.smt2no1.03179
Integer_Transition_Systems/From_T2/n-18a.t2.smt2no1.00066
Integer_Transition_Systems/From_T2/n-1c.t2.smt2no1.04023
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2no1.09274
Integer_Transition_Systems/From_T2/n-1d.t2.smt2no1.02407
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2no1.06666
Integer_Transition_Systems/From_T2/n-20.t2.smt2no1.09811
Integer_Transition_Systems/From_T2/n-21.t2.smt2no1.08931
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2no1.10769
Integer_Transition_Systems/From_T2/n-3.t2.smt2no1.16438
Integer_Transition_Systems/From_T2/n-32.t2.smt2no1.01133
Integer_Transition_Systems/From_T2/n-33.t2.smt2no1.05581
Integer_Transition_Systems/From_T2/n-36.t2.smt2no1.19164
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2no1.19692
Integer_Transition_Systems/From_T2/n-37.t2.smt2no1.07064
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2no1.06811
Integer_Transition_Systems/From_T2/n-38.t2.smt2yes0.713628
Integer_Transition_Systems/From_T2/n-3a.t2.smt2no1.59996
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2no1.10666
Integer_Transition_Systems/From_T2/n-4.t2.smt2no1.35171
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2no1.71114
Integer_Transition_Systems/From_T2/n-40.t2.smt2no1.34506
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2no1.53743
Integer_Transition_Systems/From_T2/n-46.t2.smt2no1.04283
Integer_Transition_Systems/From_T2/n-48.t2.smt2no1.04932
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2no1.05098
Integer_Transition_Systems/From_T2/n-5.t2.smt2no2.26334
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2no2.77202
Integer_Transition_Systems/From_T2/n-6.t2.smt2no1.0337
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2no1.04262
Integer_Transition_Systems/From_T2/n-6a.t2.smt2no1.20214
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2no1.1847
Integer_Transition_Systems/From_T2/n-7.t2.smt2no1.04881
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2no1.12759
Integer_Transition_Systems/From_T2/n-8.t2.smt2no1.03231
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2no1.06221
Integer_Transition_Systems/From_T2/n-8a.t2.smt2no1.02898
Integer_Transition_Systems/From_T2/n-9.t2.smt2no1.02697
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2no1.06113
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2maybe60.0268
Integer_Transition_Systems/From_T2/nakata.t2.smt2maybe60.0198
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2maybe3.20472
Integer_Transition_Systems/From_T2/ndes.t2.smt2maybe60.032
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2maybe60.1025
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2no25.7352
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2no27.2928
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2no24.8224
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2no24.8026
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2no22.7813
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2no22.8588
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2no1.2121
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2no1.21018
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2no24.4627
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2no19.709
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2no19.5844
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2no19.5893
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2no23.1008
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2no1.21953
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2no1.22454
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2no1.20381
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2no1.20272
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2no1.10482
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2no1.1085
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2no1.08748
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2no1.09181
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2no1.57194
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2no1.52897
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2no1.52782
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2no1.13907
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2no1.23599
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2no1.16807
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2no1.13039
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2no1.13131
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2no1.52892
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2no1.54588
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2no1.57276
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2no1.61593
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2no1.1361
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2no1.25666
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2no2.10798
Integer_Transition_Systems/From_T2/neg.t2.smt2yes0.694985
Integer_Transition_Systems/From_T2/nested.t2.smt2yes1.05885
Integer_Transition_Systems/From_T2/nested2.t2.smt2yes1.01138
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2yes1.02025
Integer_Transition_Systems/From_T2/non_term.t2.smt2no1.01349
Integer_Transition_Systems/From_T2/ns.t2.smt2yes1.75355
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2yes1.6771
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2no1.03129
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2yes4.04059
Integer_Transition_Systems/From_T2/p-1.t2.smt2no1.05112
Integer_Transition_Systems/From_T2/p-10.t2.smt2no1.06733
Integer_Transition_Systems/From_T2/p-12.t2.smt2yes0.909061
Integer_Transition_Systems/From_T2/p-13.t2.smt2yes0.71496
Integer_Transition_Systems/From_T2/p-14.t2.smt2yes0.913704
Integer_Transition_Systems/From_T2/p-15.t2.smt2yes0.91189
Integer_Transition_Systems/From_T2/p-19.t2.smt2no1.05995
Integer_Transition_Systems/From_T2/p-19a.t2.smt2no1.08667
Integer_Transition_Systems/From_T2/p-1a.t2.smt2no1.0955
Integer_Transition_Systems/From_T2/p-1b.t2.smt2yes0.951117
Integer_Transition_Systems/From_T2/p-1c.t2.smt2no1.05927
Integer_Transition_Systems/From_T2/p-1d.t2.smt2yes0.911257
Integer_Transition_Systems/From_T2/p-20.t2.smt2no1.10244
Integer_Transition_Systems/From_T2/p-21.t2.smt2yes0.978568
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2yes0.992039
Integer_Transition_Systems/From_T2/p-22.t2.smt2yes0.917405
Integer_Transition_Systems/From_T2/p-3.t2.smt2yes0.907252
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2yes0.914435
Integer_Transition_Systems/From_T2/p-32.t2.smt2no1.00575
Integer_Transition_Systems/From_T2/p-33.t2.smt2no1.04739
Integer_Transition_Systems/From_T2/p-34.t2.smt2no1.24051
Integer_Transition_Systems/From_T2/p-36.t2.smt2no1.09857
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2no1.13296
Integer_Transition_Systems/From_T2/p-37.t2.smt2yes0.950623
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2yes0.943407
Integer_Transition_Systems/From_T2/p-38.t2.smt2yes0.739526
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2yes0.753816
Integer_Transition_Systems/From_T2/p-4.t2.smt2yes0.961529
Integer_Transition_Systems/From_T2/p-40.t2.smt2yes0.924358
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2yes0.942005
Integer_Transition_Systems/From_T2/p-41.t2.smt2yes0.709336
Integer_Transition_Systems/From_T2/p-42.t2.smt2yes0.916218
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2yes15.3046
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2yes18.8465
Integer_Transition_Systems/From_T2/p-43.t2.smt2yes4.21736
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2yes4.29173
Integer_Transition_Systems/From_T2/p-44.t2.smt2yes0.918297
Integer_Transition_Systems/From_T2/p-45.t2.smt2yes0.945112
Integer_Transition_Systems/From_T2/p-46.t2.smt2maybe1.71926
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2maybe12.7484
Integer_Transition_Systems/From_T2/p-49.t2.smt2yes0.915582
Integer_Transition_Systems/From_T2/p-5.t2.smt2no2.26008
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2no2.80337
Integer_Transition_Systems/From_T2/p-50.t2.smt2yes0.707146
Integer_Transition_Systems/From_T2/p-52.t2.smt2no1.07235
Integer_Transition_Systems/From_T2/p-53.t2.smt2yes0.720874
Integer_Transition_Systems/From_T2/p-55.t2.smt2yes0.915094
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2yes0.955008
Integer_Transition_Systems/From_T2/p-56.t2.smt2yes0.924197
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2yes0.977316
Integer_Transition_Systems/From_T2/p-58.t2.smt2yes0.902857
Integer_Transition_Systems/From_T2/p-6.t2.smt2yes0.960144
Integer_Transition_Systems/From_T2/p-60.t2.smt2yes0.919837
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2yes0.949258
Integer_Transition_Systems/From_T2/p-61.t2.smt2yes0.950252
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2yes0.941877
Integer_Transition_Systems/From_T2/p-62.t2.smt2yes0.71663
Integer_Transition_Systems/From_T2/p-63.t2.smt2yes1.12814
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2yes1.12183
Integer_Transition_Systems/From_T2/p-7.t2.smt2yes0.932177
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2yes0.982324
Integer_Transition_Systems/From_T2/p-7b.t2.smt2yes0.932727
Integer_Transition_Systems/From_T2/p-8.t2.smt2no1.03118
Integer_Transition_Systems/From_T2/p.t2.smt2maybe60.0533
Integer_Transition_Systems/From_T2/p_armc.t2.smt2maybe60.0783
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2yes1.00923
Integer_Transition_Systems/From_T2/peculiar.t2.smt2no1.41168
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2no1.42397
Integer_Transition_Systems/From_T2/pentagon.t2.smt2maybe60.0405
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2no1.12336
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2no1.16786
Integer_Transition_Systems/From_T2/pgarch.t2.smt2no24.7892
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2maybe60.1104
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2no6.69336
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2no6.44476
Integer_Transition_Systems/From_T2/polling.t2.smt2no5.55229
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2no5.33524
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2yes1.14353
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2yes1.18403
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2yes1.43169
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2yes1.79833
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2yes2.93923
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2yes1.21329
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2no1.03067
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2no1.46246
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2no1.50958
Integer_Transition_Systems/From_T2/ppblock.t2.smt2no1.50783
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2no1.53043
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2maybe4.40452
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2maybe4.74717
Integer_Transition_Systems/From_T2/prime.t2.smt2maybe16.6786
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2maybe38.402
Integer_Transition_Systems/From_T2/print.t2.smt2yes3.46718
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2yes12.976
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2yes27.3732
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2yes35.395
Integer_Transition_Systems/From_T2/queens.t2.smt2yes4.85094
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2yes4.56322
Integer_Transition_Systems/From_T2/queue_1.t2.smt2yes1.15648
Integer_Transition_Systems/From_T2/queue_10.t2.smt2yes1.19417
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2yes1.18301
Integer_Transition_Systems/From_T2/queue_100.t2.smt2yes1.18913
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2yes1.18224
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2yes1.19199
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2yes1.19401
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2yes5.57147
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2yes7.32336
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2no0.999644
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2no1.11824
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2no2.15559
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2no2.23996
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2no1.74271
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2no1.74557
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2yes0.715563
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2yes0.713455
Integer_Transition_Systems/From_T2/reverse.t2.smt2yes4.14434
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2yes24.0454
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2no2.64982
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2no4.2348
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2yes2.24105
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2yes6.18458
Integer_Transition_Systems/From_T2/rewrite.t2.smt2no1.00612
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2no28.8147
Integer_Transition_Systems/From_T2/rlft3.t2.smt2no24.5962
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2maybe12.6662
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2yes2.49775
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2yes7.34463
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2maybe60.0457
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2maybe60.0747
Integer_Transition_Systems/From_T2/s1.t2.smt2maybe60.018
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2maybe60.0508
Integer_Transition_Systems/From_T2/s2.t2.smt2yes0.925265
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2yes0.936888
Integer_Transition_Systems/From_T2/s3-work.t2.smt2yes15.4268
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2maybe60.0228
Integer_Transition_Systems/From_T2/s3.t2.smt2maybe60.105
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2maybe60.0493
Integer_Transition_Systems/From_T2/s4.t2.smt2maybe60.0659
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2maybe60.0399
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2yes2.4673
Integer_Transition_Systems/From_T2/sas2.t2.smt2maybe60.1069
Integer_Transition_Systems/From_T2/select.t2.smt2no5.84097
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2no5.59441
Integer_Transition_Systems/From_T2/selectSort.t2.smt2yes1.29883
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2yes0.953965
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2yes0.961405
Integer_Transition_Systems/From_T2/seq.t2.smt2yes0.903651
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2yes0.719589
Integer_Transition_Systems/From_T2/simple.t2.smt2no1.0889
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2yes0.946144
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2yes0.91102
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2yes0.917448
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2yes0.944227
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2yes0.713133
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2yes0.711224
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2yes0.713408
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2yes0.715783
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2yes0.7339
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2yes0.72862
Integer_Transition_Systems/From_T2/simple_test.t2.smt2yes0.966251
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2no1.00174
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2yes2.47728
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2yes3.05522
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2yes0.923622
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2yes0.938346
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2no27.8984
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2no33.932
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2maybe60.0649
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2no39.128
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2maybe60.0871
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2maybe60.0829
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2no9.64019
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2no2.05966
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2no1.89568
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2no10.7622
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2no1.04821
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2no1.04007
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2yes2.19149
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2yes2.17218
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2no20.9476
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2no1.26359
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2maybe1.17316
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2no1.19067
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2no1.20819
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2no1.21665
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2no1.21186
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2no1.27692
Integer_Transition_Systems/From_T2/small01.t2.smt2no1.04468
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2yes0.945805
Integer_Transition_Systems/From_T2/small02.t2.smt2no1.06589
Integer_Transition_Systems/From_T2/small03.t2.smt2no1.0318
Integer_Transition_Systems/From_T2/small04.t2.smt2no1.03278
Integer_Transition_Systems/From_T2/small05.t2.smt2no1.01959
Integer_Transition_Systems/From_T2/small06.t2.smt2yes0.952469
Integer_Transition_Systems/From_T2/small07.t2.smt2yes0.98997
Integer_Transition_Systems/From_T2/small08.t2.smt2yes1.00503
Integer_Transition_Systems/From_T2/small09.t2.smt2yes1.0065
Integer_Transition_Systems/From_T2/small10.t2.smt2no1.18097
Integer_Transition_Systems/From_T2/small11.t2.smt2no0.964926
Integer_Transition_Systems/From_T2/small12.t2.smt2yes1.64318
Integer_Transition_Systems/From_T2/small13.t2.smt2yes0.925042
Integer_Transition_Systems/From_T2/small14.t2.smt2no1.12556
Integer_Transition_Systems/From_T2/small15.t2.smt2no4.14133
Integer_Transition_Systems/From_T2/small16.t2.smt2maybe4.17053
Integer_Transition_Systems/From_T2/small17.t2.smt2no1.0794
Integer_Transition_Systems/From_T2/small18.t2.smt2no0.99335
Integer_Transition_Systems/From_T2/small19.t2.smt2yes0.936428
Integer_Transition_Systems/From_T2/small20.t2.smt2yes0.944683
Integer_Transition_Systems/From_T2/small21.t2.smt2yes0.944256
Integer_Transition_Systems/From_T2/small22.t2.smt2no1.10155
Integer_Transition_Systems/From_T2/small23.t2.smt2no1.2217
Integer_Transition_Systems/From_T2/small24.t2.smt2no0.967533
Integer_Transition_Systems/From_T2/small26.t2.smt2yes0.914234
Integer_Transition_Systems/From_T2/small27.t2.smt2yes0.895402
Integer_Transition_Systems/From_T2/small28.t2.smt2yes1.1584
Integer_Transition_Systems/From_T2/small29.t2.smt2no0.989278
Integer_Transition_Systems/From_T2/small31.t2.smt2yes0.911386
Integer_Transition_Systems/From_T2/small32.t2.smt2yes0.892206
Integer_Transition_Systems/From_T2/small33.t2.smt2yes0.894933
Integer_Transition_Systems/From_T2/small34.t2.smt2yes0.927139
Integer_Transition_Systems/From_T2/small35.t2.smt2no1.02554
Integer_Transition_Systems/From_T2/sort.t2.smt2yes3.06027
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2yes2.94558
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2maybe60.1227
Integer_Transition_Systems/From_T2/spctrm.t2.smt2maybe60.0446
Integer_Transition_Systems/From_T2/spiral.t2.smt2maybe19.3186
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2maybe60.0175
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2no2.07531
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2no2.17678
Integer_Transition_Systems/From_T2/st88.t2.smt2maybe8.41291
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2maybe8.56123
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2no1.37251
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2no1.68732
Integer_Transition_Systems/From_T2/statemate.t2.smt2maybe60.0204
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2maybe60.0277
Integer_Transition_Systems/From_T2/stored.t2.smt2no1.05055
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2no16.5774
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2no17.6705
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2no9.32959
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2no9.35037
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2no1.13909
Integer_Transition_Systems/From_T2/sudoku.t2.smt2yes35.0869
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2maybe60.025
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.021
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2maybe60.0467
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2maybe60.0569
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2no1.02369
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2yes4.93029
Integer_Transition_Systems/From_T2/toeplz.t2.smt2yes7.27114
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2maybe60.0348
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0664
Integer_Transition_Systems/From_T2/tqli.t2.smt2maybe60.0209
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2maybe60.0361
Integer_Transition_Systems/From_T2/traverse.t2.smt2yes2.53211
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2yes7.62456
Integer_Transition_Systems/From_T2/traverse2.t2.smt2yes3.62808
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2yes13.661
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2yes2.93231
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2yes10.7496
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2yes2.54707
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2yes7.49759
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2yes3.78687
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2yes14.8304
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2yes1.2961
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2yes1.28857
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2yes1.7049
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2yes1.68984
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2yes1.68462
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2yes1.67477
Integer_Transition_Systems/From_T2/ud.t2.smt2yes6.0591
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2yes5.33534
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2yes0.711013
Integer_Transition_Systems/From_T2/w1.t2.smt2no1.22077
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2no1.69064
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2no1.87162
Integer_Transition_Systems/From_T2/walk.t2.smt2maybe5.40207
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2maybe5.3411
Integer_Transition_Systems/From_T2/weakness.t2.smt2yes1.19131
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2yes1.08438
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2yes1.57494
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2no1.0564
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2no1.34127
Integer_Transition_Systems/From_T2/wtf.t2.smt2maybe16.455
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2maybe3.07003
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2maybe5.10042
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2no3.73099
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2yes2.09394
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2no3.42746
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2yes2.65838
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2no1.26977
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2yes1.08606