AProVE
nameresulttime
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2yes1.75517
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2yes2.27813
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2yes2.13861
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2no2.15898
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2yes2.33298
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2yes3.11414
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2yes2.17507
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2yes2.00881
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2maybe60.1229
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2yes2.23204
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2maybe60.0439
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2yes2.32964
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2maybe60.0464
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2yes2.31597
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2yes1.88586
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2no17.6759
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2yes2.53707
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2yes3.78173
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2maybe60.0703
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2yes26.0689
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2yes1.88266
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2yes26.6428
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2yes2.59763
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2yes2.45314
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2yes8.92164
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2yes1.935
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2yes2.85548
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2maybe60.056
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2maybe60.0799
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2yes1.8268
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2yes1.85611
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2maybe60.067
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2no1.86081
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2yes1.83662
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2no2.82302
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2no11.2597
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2maybe60.026
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2no5.035
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2no2.44274
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2no2.64734
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2yes2.05456
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2yes2.99135
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2yes5.9925
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2yes2.40684
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2yes1.74827
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2maybe60.0474
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2yes3.40512
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2maybe60.0461
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2no7.90644
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2yes1.87624
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2yes2.39684
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2maybe60.0291
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2no3.03362
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2yes2.05425
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2maybe60.074
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2yes1.95753
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2yes1.72858
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2yes1.77278
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2yes4.25985
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2yes1.75879
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2yes4.20548
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2yes5.19879
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2yes1.73759
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2yes2.72233
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2yes2.56223
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2yes2.71781
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2yes7.35009
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2maybe60.0455
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2yes4.47287
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2yes8.74529
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2yes9.77257
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2yes3.39472
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2yes7.76626
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2yes3.09368
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2yes3.5727
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2maybe60.0185
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2yes1.78964
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2no1.78167
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2no2.05812
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2yes1.82255
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2no1.91227
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2yes1.89142
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2yes2.33168
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2yes2.47704
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2yes2.53759
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2yes1.77738
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2yes2.15238
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2yes2.02543
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2no5.42083
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2no13.5288
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2no3.98537
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2no6.05562
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2no3.96755
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2yes4.05251
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2yes2.18554
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2yes2.1908
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2yes1.93817
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2yes2.01211
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2yes1.80295
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2yes3.25439
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2maybe60.0219
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2yes4.6025
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2yes2.71142
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2yes1.83489
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2yes25.0917
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2no1.79405
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2yes2.58962
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2yes2.23216
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2yes1.90982
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2yes4.40113
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2yes17.3203
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2yes7.99087
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2maybe5.44061
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2yes3.53175
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2maybe60.048
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2yes1.84947
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2no16.5101
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2maybe60.0221
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2no2.23181
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2no3.73181
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2no1.88314
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2yes2.17028
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2yes2.86226
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2yes2.28426
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2no16.1847
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2yes1.95978
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2yes3.16932
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2yes3.78659
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2maybe60.0673
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2maybe60.0678
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2yes1.90808
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2yes3.43796
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2yes1.872
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2yes2.42888
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2no1.81539
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2yes1.79739
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2maybe60.0237
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2maybe60.0532
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2no5.89466
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2maybe60.0227
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2no15.3369
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2no9.43519
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2maybe60.0207
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2maybe60.0371
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2yes1.92347
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2yes25.1285
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2yes1.79863
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2yes2.80214
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2maybe14.8165
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2maybe60.0748
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2yes5.7357
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2yes4.52192
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2yes2.37838
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2maybe8.30821
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2maybe60.0436
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2no1.76458
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2no1.74513
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2no1.80953
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2maybe60.0372
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2no1.82079
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2no2.16952
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2no1.75108
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2maybe60.0606
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2maybe60.1002
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2maybe60.05
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2no3.11552
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2no1.83734
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2no1.92547
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2no2.88339
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2maybe60.0341
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2maybe60.077
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2yes1.84034
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2yes2.33165
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2yes4.60217
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2maybe6.29652
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2no12.3398
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2yes1.7525
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2maybe60.1057
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2yes4.0396
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2yes1.90253
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2yes1.94337
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2yes1.80206
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2yes2.90245
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2yes3.08263
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2yes1.85012
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2yes1.8253
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2yes1.8883
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2yes1.78803
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2yes2.1519
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2yes2.27996
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2yes1.93541
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2yes2.211
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2yes2.03222
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2yes2.05445
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2yes1.92055
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2yes1.90439
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2yes2.28055
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2yes1.73317
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2yes2.23189
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2yes1.65353
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2yes1.78923
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2yes1.8149
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2yes2.57043
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2yes2.10564
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2yes1.94211
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2yes9.18178
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2yes1.90633
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2yes1.86523
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2yes1.9603
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2yes2.00398
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2yes1.83159
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2yes2.9699
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2yes1.75888
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2yes7.49146
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2maybe60.0294
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2yes47.1581
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2maybe60.0881
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2maybe49.4278
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2yes3.35619
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2maybe60.0522
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2yes3.56858
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2yes2.6166
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2yes2.07989
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2no8.73265
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2yes2.6856
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2yes1.83616
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2yes1.83015
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2yes2.19568
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2yes2.30609
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2maybe60.0682
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2no2.65558
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2maybe60.0279
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2yes1.86579
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2maybe60.0588
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2no1.91366
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2yes2.09439
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2yes42.2741
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2yes43.3036
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2yes3.02846
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2yes2.69794
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2yes2.61063
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2maybe60.0346
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2maybe60.0715
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2yes9.60878
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2yes4.27451
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2yes2.16001
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2maybe60.0887
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2yes5.009
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2no22.5952
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2yes4.3743
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2yes18.126
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2maybe60.023
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2yes20.7472
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2maybe60.0431
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2no3.7161
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2yes4.20719
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2yes7.68777
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2no1.74719
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2no1.75964
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2yes2.36752
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2yes4.14827
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2yes3.94342
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2maybe60.0487
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2yes1.86783
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2no1.98871
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2maybe60.0403
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2maybe60.0686
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2maybe4.79258
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2no2.97214
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2maybe60.0274
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2maybe60.1046
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2maybe60.0519
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2no1.90917
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2maybe60.086
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2maybe60.0345
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2maybe60.0555
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2maybe60.0468
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2maybe60.0858
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2maybe60.0256
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2maybe60.0428
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2maybe60.0429
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2no1.89716
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2no1.83854
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2maybe2.863
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2maybe60.0302
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2maybe60.0584
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2maybe60.0814
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2maybe60.1015
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2maybe60.05
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2no1.82777
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2no5.33637
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2maybe60.0225
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2maybe60.0587
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2maybe60.0351
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2no1.88837
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2maybe60.1256
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2maybe60.0377
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2maybe60.0836
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2maybe2.83905
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2maybe60.0369
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2maybe60.0879
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2maybe14.4346
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2maybe36.6497
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2maybe60.1129
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2maybe60.0915
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2no3.79493
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2maybe60.0594
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2maybe60.0924
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2maybe2.91246
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2yes1.74241
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2maybe60.0451
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2maybe60.0287
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2maybe60.0247
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2maybe60.0947
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2no2.00712
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2maybe60.0543
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2maybe7.84646
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2no1.88978
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2yes2.0153
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2no2.96765
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2maybe60.0522
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2maybe60.0365
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2no2.99488
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2no2.12216
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2maybe60.0304
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2maybe32.1212
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2maybe60.0329
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2yes2.11491
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2yes1.89566
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2yes1.84864
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2yes1.87135
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2no1.7824
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2maybe4.90623
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2maybe60.1119
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2maybe60.0271
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2maybe60.0488
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2maybe60.0443
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2maybe60.0469
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2no1.81684
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2no1.79009
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2no1.83272
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2maybe60.0455
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2no9.07417
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2no1.84389
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2yes20.2528
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2yes29.5101
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2maybe60.0975
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2maybe60.0398
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2maybe60.0574
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2yes25.5483
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2maybe60.0697
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2maybe60.0442
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2maybe60.0371
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2yes28.563
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2maybe60.0591
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2yes20.9879
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2yes2.72556
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2yes10.5908
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2maybe60.0712
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2maybe60.0886
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2maybe60.0325
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2yes9.26766
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2yes7.6907
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2yes9.22815
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2maybe60.0761
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2maybe60.0296
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2maybe60.0227
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2yes11.5316
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2maybe60.0686
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2yes16.5324
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2yes18.951
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2yes8.4188
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2maybe60.0728
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2yes8.82966
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2maybe60.0321
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2maybe60.0566
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2maybe60.1116
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2yes5.07788
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2yes5.40046
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2yes5.22176
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2yes7.98629
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2yes12.9269
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2yes8.0046
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2yes23.0404
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2yes19.1758
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2maybe60.0763
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2yes18.785
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2yes5.32568
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2maybe60.0237
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2maybe60.08
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2maybe60.0779
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2maybe60.0294
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2yes18.8091
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2maybe60.0291
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2maybe60.0205
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2maybe60.035
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2maybe60.0453
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2yes22.2007
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2yes2.75164
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2yes5.20618
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2yes8.89999
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2maybe60.0422
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2maybe60.0532
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2maybe60.0324
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2maybe23.2455
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2maybe60.0734
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2maybe60.0633
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2maybe60.0754
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2maybe60.0605
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2maybe60.0363
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2maybe60.0206
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2maybe60.0331
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2maybe60.1274
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2maybe60.0498
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2no1.86095
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2maybe60.0665
Integer_Transition_Systems/From_T2/1.t2.smt2no11.4346
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2maybe60.1053
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2maybe60.0757
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2maybe60.1336
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2maybe60.0969
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2maybe60.0648
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2maybe60.1012
Integer_Transition_Systems/From_T2/2.t2.smt2no13.8249
Integer_Transition_Systems/From_T2/232.t2.smt2yes1.92361
Integer_Transition_Systems/From_T2/241.t2.smt2yes2.53382
Integer_Transition_Systems/From_T2/3.t2.smt2maybe60.0479
Integer_Transition_Systems/From_T2/5.t2.smt2yes1.63532
Integer_Transition_Systems/From_T2/6.t2.smt2maybe60.021
Integer_Transition_Systems/From_T2/7.t2.smt2maybe60.0408
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2maybe60.0602
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2maybe60.069
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2maybe60.0479
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2maybe2.64648
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2maybe60.0402
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2maybe60.1802
Integer_Transition_Systems/From_T2/afagx1.t2.smt2no2.8509
Integer_Transition_Systems/From_T2/agafp.t2.smt2maybe60.0848
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2maybe60.0518
Integer_Transition_Systems/From_T2/andrey.t2.smt2yes1.84659
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2maybe60.0218
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2maybe60.0996
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2maybe60.085
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2maybe60.0726
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2maybe60.0285
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2maybe60.0238
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2maybe60.0756
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2maybe60.0597
Integer_Transition_Systems/From_T2/arith.t2.smt2yes2.09219
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2yes2.3772
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2yes1.5426
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2maybe60.0587
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2maybe60.0515
Integer_Transition_Systems/From_T2/array.t2.smt2yes1.66104
Integer_Transition_Systems/From_T2/array2.t2.smt2yes1.96132
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2yes1.7513
Integer_Transition_Systems/From_T2/array3.t2.smt2yes2.10727
Integer_Transition_Systems/From_T2/array4.t2.smt2yes2.00188
Integer_Transition_Systems/From_T2/array_free.t2.smt2yes1.93315
Integer_Transition_Systems/From_T2/array_free2.t2.smt2yes1.81574
Integer_Transition_Systems/From_T2/array_init.t2.smt2yes1.85384
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2yes1.78733
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2yes2.05981
Integer_Transition_Systems/From_T2/ase_example.t2.smt2yes2.95612
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2yes2.58395
Integer_Transition_Systems/From_T2/ax_test.t2.smt2no1.81463
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2no1.79625
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2no1.92962
Integer_Transition_Systems/From_T2/bakery.t2.smt2maybe60.0406
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2maybe60.0636
Integer_Transition_Systems/From_T2/bf10.t2.smt2yes27.1
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2yes18.5351
Integer_Transition_Systems/From_T2/bf11.t2.smt2yes23.5625
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2yes15.5383
Integer_Transition_Systems/From_T2/bf12.t2.smt2yes23.696
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2yes15.7975
Integer_Transition_Systems/From_T2/bf13.t2.smt2yes23.7017
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2yes18.6197
Integer_Transition_Systems/From_T2/bf14.t2.smt2yes23.938
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2yes15.8826
Integer_Transition_Systems/From_T2/bf15.t2.smt2yes23.925
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2yes15.6802
Integer_Transition_Systems/From_T2/bf16.t2.smt2yes24.1682
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2yes16.2033
Integer_Transition_Systems/From_T2/bf17.t2.smt2yes24.6724
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2yes16.0249
Integer_Transition_Systems/From_T2/bf18.t2.smt2yes23.8031
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2yes15.7734
Integer_Transition_Systems/From_T2/bf19.t2.smt2yes26.0204
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2yes19.6914
Integer_Transition_Systems/From_T2/bf20.t2.smt2yes22.1209
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2yes20.4307
Integer_Transition_Systems/From_T2/bf5.t2.smt2yes23.5148
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2yes19.5817
Integer_Transition_Systems/From_T2/bf6.t2.smt2yes27.0195
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2yes15.8741
Integer_Transition_Systems/From_T2/bf7.t2.smt2yes21.9822
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2yes15.7212
Integer_Transition_Systems/From_T2/bf8.t2.smt2yes25.3767
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2yes15.6796
Integer_Transition_Systems/From_T2/bf9.t2.smt2yes23.6567
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2yes15.7921
Integer_Transition_Systems/From_T2/bio.t2.smt2maybe60.049
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2yes3.05024
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2yes2.85216
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2yes3.06988
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2yes2.75976
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2yes2.59871
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2maybe60.0383
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2maybe60.0383
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0219
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2maybe60.0475
Integer_Transition_Systems/From_T2/broydn.t2.smt2maybe60.0212
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2maybe60.0735
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2maybe60.0292
Integer_Transition_Systems/From_T2/bs.t2.smt2maybe60.0478
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2maybe60.0823
Integer_Transition_Systems/From_T2/bsort100.t2.smt2yes16.5983
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2yes10.9243
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2yes2.99993
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2yes2.18035
Integer_Transition_Systems/From_T2/byron-1.t2.smt2yes3.20808
Integer_Transition_Systems/From_T2/byron-2.t2.smt2yes2.70667
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2yes2.888
Integer_Transition_Systems/From_T2/byron-3.t2.smt2yes2.99163
Integer_Transition_Systems/From_T2/byron-4.t2.smt2maybe60.0984
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2maybe4.27292
Integer_Transition_Systems/From_T2/cfg.t2.smt2maybe60.0481
Integer_Transition_Systems/From_T2/cnt.t2.smt2yes24.3825
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2yes18.561
Integer_Transition_Systems/From_T2/collatz.t2.smt2no3.83681
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2no12.3418
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2yes1.88111
Integer_Transition_Systems/From_T2/compress.t2.smt2maybe60.0707
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2maybe60.0483
Integer_Transition_Systems/From_T2/constants.t2.smt2yes2.86981
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2yes2.78
Integer_Transition_Systems/From_T2/consts1.t2.smt2maybe60.0274
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2maybe2.56791
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2maybe60.0456
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2maybe2.57687
Integer_Transition_Systems/From_T2/consts2.t2.smt2maybe60.0373
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2yes1.96373
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2maybe60.0351
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2maybe60.1118
Integer_Transition_Systems/From_T2/consts3.t2.smt2yes1.85166
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2yes1.7336
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2maybe60.047
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2maybe60.0747
Integer_Transition_Systems/From_T2/consts4.t2.smt2maybe60.0366
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2yes1.74723
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2maybe60.039
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2maybe60.0241
Integer_Transition_Systems/From_T2/consts5.t2.smt2maybe60.0329
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2maybe60.0507
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2maybe60.0944
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2maybe60.0431
Integer_Transition_Systems/From_T2/cover.t2.smt2maybe60.0254
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2maybe60.1249
Integer_Transition_Systems/From_T2/crc.t2.smt2maybe60.1042
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2maybe60.0735
Integer_Transition_Systems/From_T2/create.t2.smt2yes4.22576
Integer_Transition_Systems/From_T2/create_seg.t2.smt2yes4.58109
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2maybe60.0203
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2maybe60.0625
Integer_Transition_Systems/From_T2/ctl.t2.smt2maybe60.0392
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2maybe60.063
Integer_Transition_Systems/From_T2/curious.t2.smt2maybe60.0266
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2maybe60.0346
Integer_Transition_Systems/From_T2/curious2.t2.smt2yes4.08595
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2yes1.71767
Integer_Transition_Systems/From_T2/curious4.t2.smt2maybe60.0316
Integer_Transition_Systems/From_T2/d.t2.smt2no1.95005
Integer_Transition_Systems/From_T2/db.t2.smt2yes1.75136
Integer_Transition_Systems/From_T2/db2.t2.smt2maybe60.1191
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2maybe60.0336
Integer_Transition_Systems/From_T2/db3.t2.smt2maybe60.0875
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2maybe60.1339
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2maybe60.0601
Integer_Transition_Systems/From_T2/defect.t2.smt2no1.7667
Integer_Transition_Systems/From_T2/destroy.t2.smt2maybe60.0414
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2maybe60.0284
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2maybe60.0474
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2maybe60.1211
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2maybe60.0485
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2maybe60.0215
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2no26.5812
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2maybe60.0291
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2yes1.85985
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2yes1.64665
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2maybe60.0212
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2yes1.63003
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2yes2.2408
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2yes2.08384
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2yes1.66602
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2yes1.66385
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2yes2.01259
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2yes2.00249
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2yes1.98764
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2yes1.84443
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2yes1.79094
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2yes2.01602
Integer_Transition_Systems/From_T2/dummy.t2.smt2maybe60.0691
Integer_Transition_Systems/From_T2/dumper.t2.smt2maybe60.0412
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2maybe60.0205
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2maybe60.1037
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2maybe60.0932
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2maybe60.0717
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2maybe60.0572
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2maybe60.1038
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2maybe60.0947
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2no2.49219
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2no3.74888
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2no2.58607
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2no22.3445
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2no23.8823
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2no19.7118
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2maybe60.0214
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2maybe60.0618
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2no58.309
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2no3.30767
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2no2.44623
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2maybe60.0489
Integer_Transition_Systems/From_T2/edn.t2.smt2maybe60.1146
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2maybe60.0975
Integer_Transition_Systems/From_T2/efegp.t2.smt2maybe60.0938
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2maybe60.0463
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2maybe60.0332
Integer_Transition_Systems/From_T2/elmhes.t2.smt2maybe60.0274
Integer_Transition_Systems/From_T2/eric.t2.smt2maybe60.0857
Integer_Transition_Systems/From_T2/eric1.t2.smt2maybe3.70388
Integer_Transition_Systems/From_T2/eric2.t2.smt2maybe60.0533
Integer_Transition_Systems/From_T2/eric3.t2.smt2maybe4.65445
Integer_Transition_Systems/From_T2/ex1.t2.smt2maybe60.0422
Integer_Transition_Systems/From_T2/ex10.t2.smt2maybe19.5051
Integer_Transition_Systems/From_T2/ex11.t2.smt2maybe60.0371
Integer_Transition_Systems/From_T2/ex12.t2.smt2yes1.74912
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2yes1.97298
Integer_Transition_Systems/From_T2/ex13.t2.smt2yes1.56947
Integer_Transition_Systems/From_T2/ex14.t2.smt2yes1.88232
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2yes1.80624
Integer_Transition_Systems/From_T2/ex15.t2.smt2yes1.7237
Integer_Transition_Systems/From_T2/ex16.t2.smt2maybe60.0408
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2maybe60.0285
Integer_Transition_Systems/From_T2/ex17.t2.smt2maybe60.0374
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2maybe60.058
Integer_Transition_Systems/From_T2/ex18.t2.smt2maybe5.12929
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2maybe4.4739
Integer_Transition_Systems/From_T2/ex19.t2.smt2maybe2.95048
Integer_Transition_Systems/From_T2/ex2.t2.smt2maybe60.05
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2maybe60.0286
Integer_Transition_Systems/From_T2/ex20.t2.smt2yes3.82016
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2yes3.29502
Integer_Transition_Systems/From_T2/ex21.t2.smt2yes2.33751
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2yes2.15608
Integer_Transition_Systems/From_T2/ex22.t2.smt2maybe60.0657
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2maybe60.0347
Integer_Transition_Systems/From_T2/ex23.t2.smt2yes2.01574
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2yes1.83062
Integer_Transition_Systems/From_T2/ex26.t2.smt2yes3.99255
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2yes2.94837
Integer_Transition_Systems/From_T2/ex27.t2.smt2maybe60.0566
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2maybe60.0661
Integer_Transition_Systems/From_T2/ex29.t2.smt2maybe60.0523
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2maybe60.0531
Integer_Transition_Systems/From_T2/ex3.t2.smt2yes3.16639
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2yes1.98494
Integer_Transition_Systems/From_T2/ex30.t2.smt2yes4.58749
Integer_Transition_Systems/From_T2/ex31.t2.smt2no2.03395
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2no1.88874
Integer_Transition_Systems/From_T2/ex32.t2.smt2yes3.27115
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2yes7.43394
Integer_Transition_Systems/From_T2/ex33.t2.smt2yes6.00531
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2yes2.1263
Integer_Transition_Systems/From_T2/ex34.t2.smt2yes2.39815
Integer_Transition_Systems/From_T2/ex36.t2.smt2maybe60.0356
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2maybe60.0547
Integer_Transition_Systems/From_T2/ex4.t2.smt2yes6.6066
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2yes5.78442
Integer_Transition_Systems/From_T2/ex40.t2.smt2maybe60.0821
Integer_Transition_Systems/From_T2/ex6.t2.smt2yes1.66669
Integer_Transition_Systems/From_T2/ex7.t2.smt2yes2.01361
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2yes2.00627
Integer_Transition_Systems/From_T2/ex8.t2.smt2no2.96428
Integer_Transition_Systems/From_T2/ex9.t2.smt2no8.89338
Integer_Transition_Systems/From_T2/example.t2.smt2yes1.92502
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2maybe60.0289
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2maybe60.041
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2maybe60.0222
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2maybe60.0333
Integer_Transition_Systems/From_T2/fdct.t2.smt2yes8.44913
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2yes9.22091
Integer_Transition_Systems/From_T2/fermat.t2.smt2yes8.46245
Integer_Transition_Systems/From_T2/fibcall.t2.smt2yes2.16869
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2yes2.06254
Integer_Transition_Systems/From_T2/fir.t2.smt2yes6.304
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2yes7.99545
Integer_Transition_Systems/From_T2/firewire.t2.smt2maybe60.0815
Integer_Transition_Systems/From_T2/flipflop.t2.smt2no2.48527
Integer_Transition_Systems/From_T2/florian.t2.smt2yes1.77549
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2maybe5.77744
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2yes2.65516
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2yes3.0194
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2maybe60.0486
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2maybe60.0442
Integer_Transition_Systems/From_T2/foo.t2.smt2maybe60.0197
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2maybe60.0327
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0538
Integer_Transition_Systems/From_T2/fourn.t2.smt2maybe60.0563
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2yes1.99463
Integer_Transition_Systems/From_T2/fun1.t2.smt2maybe60.0408
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2maybe60.0295
Integer_Transition_Systems/From_T2/fun10.t2.smt2maybe60.0569
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2maybe60.0364
Integer_Transition_Systems/From_T2/fun10b.t2.smt2maybe60.0932
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2maybe60.0346
Integer_Transition_Systems/From_T2/fun11.t2.smt2maybe60.058
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2maybe60.0198
Integer_Transition_Systems/From_T2/fun1b.t2.smt2maybe60.0852
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2maybe60.0953
Integer_Transition_Systems/From_T2/fun2.t2.smt2maybe60.0653
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2maybe60.0505
Integer_Transition_Systems/From_T2/fun2b.t2.smt2maybe60.0501
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2maybe60.0669
Integer_Transition_Systems/From_T2/fun3.t2.smt2maybe60.0942
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2yes2.9011
Integer_Transition_Systems/From_T2/fun4.t2.smt2no3.40119
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2yes3.5505
Integer_Transition_Systems/From_T2/fun5.t2.smt2maybe9.32651
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2maybe60.0451
Integer_Transition_Systems/From_T2/fun6.t2.smt2maybe60.0315
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2maybe60.0484
Integer_Transition_Systems/From_T2/fun7.t2.smt2maybe60.0483
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2maybe60.0274
Integer_Transition_Systems/From_T2/fun8.t2.smt2maybe60.0339
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2maybe60.0699
Integer_Transition_Systems/From_T2/fun9.t2.smt2maybe60.0921
Integer_Transition_Systems/From_T2/graycode.t2.smt2maybe60.0218
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2maybe60.1034
Integer_Transition_Systems/From_T2/hand7.t2.smt2maybe60.0418
Integer_Transition_Systems/From_T2/heidy1.t2.smt2maybe60.0623
Integer_Transition_Systems/From_T2/heidy10.t2.smt2yes1.83909
Integer_Transition_Systems/From_T2/heidy2.t2.smt2maybe60.081
Integer_Transition_Systems/From_T2/heidy3.t2.smt2no1.96927
Integer_Transition_Systems/From_T2/heidy5.t2.smt2yes1.92401
Integer_Transition_Systems/From_T2/heidy6.t2.smt2maybe60.0847
Integer_Transition_Systems/From_T2/heidy7.t2.smt2no2.17767
Integer_Transition_Systems/From_T2/heidy8.t2.smt2no2.39816
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2no2.39908
Integer_Transition_Systems/From_T2/heidy9.t2.smt2yes1.74622
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2maybe60.0801
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2maybe60.0696
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0331
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2maybe60.0714
Integer_Transition_Systems/From_T2/hqr.t2.smt2maybe60.0209
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2maybe60.1052
Integer_Transition_Systems/From_T2/huh.t2.smt2yes11.6801
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2yes7.77149
Integer_Transition_Systems/From_T2/iecs.t2.smt2yes2.86045
Integer_Transition_Systems/From_T2/insertsort.t2.smt2maybe2.39283
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2maybe2.78698
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2no1.9346
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2maybe60.0418
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2maybe60.0457
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0482
Integer_Transition_Systems/From_T2/jacobi.t2.smt2maybe60.0899
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2maybe60.0573
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2maybe60.0747
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2maybe5.3339
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2yes5.99673
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2maybe60.0634
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2yes36.4514
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2yes6.10226
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2yes5.42986
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2yes2.4319
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2yes2.28233
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2yes15.9553
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2yes2.50463
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2yes5.65366
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2maybe60.1041
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2yes4.49488
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2yes50.9522
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2yes48.5174
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2maybe60.0333
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2yes9.34458
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2yes6.73786
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2yes7.12048
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2yes8.81755
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2yes23.517
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2yes2.67155
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2yes2.88937
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2yes8.3514
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2yes3.77394
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2yes10.6622
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2yes3.80533
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2yes5.79097
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2yes6.76248
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2yes8.53185
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2maybe60.0199
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2yes3.92622
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2maybe60.0734
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2yes12.3342
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2yes4.84974
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2yes24.442
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2yes30.7074
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2yes20.7036
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2yes14.9983
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2yes7.93984
Integer_Transition_Systems/From_T2/l1.t2.smt2maybe60.0441
Integer_Transition_Systems/From_T2/loop3.t2.smt2maybe60.0753
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2maybe60.0961
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2yes1.98528
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2yes1.87115
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2maybe60.0437
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2maybe60.0393
Integer_Transition_Systems/From_T2/magic.t2.smt2maybe60.0904
Integer_Transition_Systems/From_T2/matmul.t2.smt2yes3.44578
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2yes2.95474
Integer_Transition_Systems/From_T2/matmult.t2.smt2yes27.6873
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2yes24.7066
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2yes28.8306
Integer_Transition_Systems/From_T2/mc91.t2.smt2maybe60.0896
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2yes2.04652
Integer_Transition_Systems/From_T2/mc91test.t2.smt2maybe9.18436
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2yes3.00139
Integer_Transition_Systems/From_T2/minmax.t2.smt2yes46.3986
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2yes44.886
Integer_Transition_Systems/From_T2/n-1.t2.smt2no2.3712
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2no2.60182
Integer_Transition_Systems/From_T2/n-10.t2.smt2no3.58309
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2no7.1473
Integer_Transition_Systems/From_T2/n-12.t2.smt2maybe2.86384
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2maybe2.78163
Integer_Transition_Systems/From_T2/n-12a.t2.smt2no1.87848
Integer_Transition_Systems/From_T2/n-13.t2.smt2maybe60.0229
Integer_Transition_Systems/From_T2/n-14.t2.smt2maybe5.46563
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2maybe3.25297
Integer_Transition_Systems/From_T2/n-15.t2.smt2maybe2.54091
Integer_Transition_Systems/From_T2/n-15a.t2.smt2maybe60.1122
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2maybe60.0538
Integer_Transition_Systems/From_T2/n-16a.t2.smt2maybe60.0445
Integer_Transition_Systems/From_T2/n-17.t2.smt2maybe2.54056
Integer_Transition_Systems/From_T2/n-18.t2.smt2maybe60.039
Integer_Transition_Systems/From_T2/n-18a.t2.smt2maybe60.0662
Integer_Transition_Systems/From_T2/n-1c.t2.smt2no3.19354
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2no7.77897
Integer_Transition_Systems/From_T2/n-1d.t2.smt2maybe2.96255
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2maybe3.04578
Integer_Transition_Systems/From_T2/n-20.t2.smt2no2.9347
Integer_Transition_Systems/From_T2/n-21.t2.smt2no6.49125
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2no2.91265
Integer_Transition_Systems/From_T2/n-3.t2.smt2maybe3.0448
Integer_Transition_Systems/From_T2/n-32.t2.smt2maybe60.1273
Integer_Transition_Systems/From_T2/n-33.t2.smt2maybe60.0201
Integer_Transition_Systems/From_T2/n-36.t2.smt2no39.3061
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2no45.8915
Integer_Transition_Systems/From_T2/n-37.t2.smt2maybe60.0795
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2maybe60.0389
Integer_Transition_Systems/From_T2/n-38.t2.smt2yes1.66251
Integer_Transition_Systems/From_T2/n-3a.t2.smt2maybe6.89829
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2maybe5.5189
Integer_Transition_Systems/From_T2/n-4.t2.smt2maybe11.1289
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2maybe8.90988
Integer_Transition_Systems/From_T2/n-40.t2.smt2maybe31.8213
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2maybe10.3366
Integer_Transition_Systems/From_T2/n-46.t2.smt2maybe60.0611
Integer_Transition_Systems/From_T2/n-48.t2.smt2maybe60.1237
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2maybe60.0808
Integer_Transition_Systems/From_T2/n-5.t2.smt2maybe18.13
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2maybe18.4327
Integer_Transition_Systems/From_T2/n-6.t2.smt2maybe60.0841
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2maybe60.0735
Integer_Transition_Systems/From_T2/n-6a.t2.smt2maybe2.88065
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2maybe3.2719
Integer_Transition_Systems/From_T2/n-7.t2.smt2maybe60.0341
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2maybe60.0688
Integer_Transition_Systems/From_T2/n-8.t2.smt2no3.90392
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2no3.17038
Integer_Transition_Systems/From_T2/n-8a.t2.smt2no2.00746
Integer_Transition_Systems/From_T2/n-9.t2.smt2no3.23754
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2no3.43965
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2maybe28.3102
Integer_Transition_Systems/From_T2/nakata.t2.smt2maybe60.0404
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2maybe60.1067
Integer_Transition_Systems/From_T2/ndes.t2.smt2maybe60.0294
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2maybe60.0272
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2maybe60.0709
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2maybe60.0218
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2maybe60.0219
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2maybe60.0639
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2maybe60.0468
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2maybe60.0714
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2maybe60.067
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2maybe60.0464
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2maybe60.0216
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2maybe60.1079
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2maybe60.0446
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2maybe60.0322
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2maybe60.0207
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2no3.023
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2no2.74699
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2no4.55844
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2no2.5089
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2no16.1174
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2no11.7289
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2no10.2532
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2no12.7597
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2no57.2329
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2maybe60.0199
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2maybe60.0212
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2no3.00065
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2maybe60.0858
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2maybe60.0379
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2no20.7255
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2no18.757
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2no59.4715
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2no54.937
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2maybe60.1386
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2maybe60.0395
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2no2.62525
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2no2.54364
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2maybe60.0227
Integer_Transition_Systems/From_T2/neg.t2.smt2yes1.70395
Integer_Transition_Systems/From_T2/nested.t2.smt2yes2.52937
Integer_Transition_Systems/From_T2/nested2.t2.smt2yes2.35224
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2yes2.38806
Integer_Transition_Systems/From_T2/non_term.t2.smt2maybe60.0602
Integer_Transition_Systems/From_T2/ns.t2.smt2yes6.85261
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2yes4.51142
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2maybe60.1069
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2maybe60.0664
Integer_Transition_Systems/From_T2/p-1.t2.smt2no2.1988
Integer_Transition_Systems/From_T2/p-10.t2.smt2no2.3222
Integer_Transition_Systems/From_T2/p-12.t2.smt2yes1.8544
Integer_Transition_Systems/From_T2/p-13.t2.smt2yes1.60635
Integer_Transition_Systems/From_T2/p-14.t2.smt2yes1.83358
Integer_Transition_Systems/From_T2/p-15.t2.smt2yes1.92661
Integer_Transition_Systems/From_T2/p-19.t2.smt2no2.79233
Integer_Transition_Systems/From_T2/p-19a.t2.smt2no2.2657
Integer_Transition_Systems/From_T2/p-1a.t2.smt2no2.38969
Integer_Transition_Systems/From_T2/p-1b.t2.smt2yes1.92956
Integer_Transition_Systems/From_T2/p-1c.t2.smt2no2.20973
Integer_Transition_Systems/From_T2/p-1d.t2.smt2yes2.25813
Integer_Transition_Systems/From_T2/p-20.t2.smt2no2.59327
Integer_Transition_Systems/From_T2/p-21.t2.smt2yes5.27057
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2yes1.9934
Integer_Transition_Systems/From_T2/p-22.t2.smt2yes1.84034
Integer_Transition_Systems/From_T2/p-3.t2.smt2yes2.17722
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2yes2.13034
Integer_Transition_Systems/From_T2/p-32.t2.smt2maybe60.0605
Integer_Transition_Systems/From_T2/p-33.t2.smt2maybe60.0791
Integer_Transition_Systems/From_T2/p-34.t2.smt2no20.589
Integer_Transition_Systems/From_T2/p-36.t2.smt2no10.6726
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2no10.8451
Integer_Transition_Systems/From_T2/p-37.t2.smt2yes2.63819
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2yes2.72673
Integer_Transition_Systems/From_T2/p-38.t2.smt2yes8.59542
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2yes13.693
Integer_Transition_Systems/From_T2/p-4.t2.smt2yes1.91291
Integer_Transition_Systems/From_T2/p-40.t2.smt2yes2.24555
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2yes2.17376
Integer_Transition_Systems/From_T2/p-41.t2.smt2yes1.75205
Integer_Transition_Systems/From_T2/p-42.t2.smt2yes2.0254
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2maybe60.0572
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2maybe60.0213
Integer_Transition_Systems/From_T2/p-43.t2.smt2maybe60.0763
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2maybe60.1006
Integer_Transition_Systems/From_T2/p-44.t2.smt2yes2.00128
Integer_Transition_Systems/From_T2/p-45.t2.smt2yes2.17863
Integer_Transition_Systems/From_T2/p-46.t2.smt2maybe60.0828
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2maybe60.0283
Integer_Transition_Systems/From_T2/p-49.t2.smt2yes1.80749
Integer_Transition_Systems/From_T2/p-5.t2.smt2maybe17.5361
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2maybe21.1943
Integer_Transition_Systems/From_T2/p-50.t2.smt2yes1.70219
Integer_Transition_Systems/From_T2/p-52.t2.smt2no2.20163
Integer_Transition_Systems/From_T2/p-53.t2.smt2yes1.6457
Integer_Transition_Systems/From_T2/p-55.t2.smt2yes2.37985
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2yes2.25745
Integer_Transition_Systems/From_T2/p-56.t2.smt2yes2.09914
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2yes5.85439
Integer_Transition_Systems/From_T2/p-58.t2.smt2maybe60.0471
Integer_Transition_Systems/From_T2/p-6.t2.smt2yes2.92947
Integer_Transition_Systems/From_T2/p-60.t2.smt2yes2.13115
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2yes3.07619
Integer_Transition_Systems/From_T2/p-61.t2.smt2yes2.20536
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2yes2.03366
Integer_Transition_Systems/From_T2/p-62.t2.smt2yes1.7367
Integer_Transition_Systems/From_T2/p-63.t2.smt2maybe60.0304
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2maybe60.0543
Integer_Transition_Systems/From_T2/p-7.t2.smt2yes2.1688
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2yes2.07276
Integer_Transition_Systems/From_T2/p-7b.t2.smt2yes1.918
Integer_Transition_Systems/From_T2/p-8.t2.smt2no2.16371
Integer_Transition_Systems/From_T2/p.t2.smt2maybe60.053
Integer_Transition_Systems/From_T2/p_armc.t2.smt2maybe60.0427
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2yes2.85884
Integer_Transition_Systems/From_T2/peculiar.t2.smt2no7.38294
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2no8.13131
Integer_Transition_Systems/From_T2/pentagon.t2.smt2maybe60.0288
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2no18.9143
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2maybe60.089
Integer_Transition_Systems/From_T2/pgarch.t2.smt2maybe60.0873
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2maybe60.0302
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2maybe60.023
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2maybe60.0484
Integer_Transition_Systems/From_T2/polling.t2.smt2maybe60.057
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2maybe60.0305
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2yes2.87369
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2maybe60.0522
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2maybe60.0748
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2maybe60.0439
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2maybe60.0383
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2maybe2.9872
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2maybe60.0472
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2no47.6029
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2no46.5777
Integer_Transition_Systems/From_T2/ppblock.t2.smt2maybe60.0423
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2maybe60.0374
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2maybe8.42472
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2maybe6.23854
Integer_Transition_Systems/From_T2/prime.t2.smt2maybe60.1256
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2maybe60.0574
Integer_Transition_Systems/From_T2/print.t2.smt2maybe60.029
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2maybe60.0477
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2maybe60.0311
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2maybe60.0223
Integer_Transition_Systems/From_T2/queens.t2.smt2maybe60.0492
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2maybe60.067
Integer_Transition_Systems/From_T2/queue_1.t2.smt2yes8.62917
Integer_Transition_Systems/From_T2/queue_10.t2.smt2yes6.45069
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2yes4.477
Integer_Transition_Systems/From_T2/queue_100.t2.smt2yes10.1453
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2yes4.85354
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2yes6.47987
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2yes5.40052
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2maybe34.4335
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2yes8.79396
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2maybe60.0206
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2maybe2.67774
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2maybe60.0659
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2maybe60.0559
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2maybe60.0758
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2maybe60.0907
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2yes1.62385
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2yes1.72899
Integer_Transition_Systems/From_T2/reverse.t2.smt2maybe60.0465
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2maybe60.0328
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2maybe60.0653
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2maybe60.1109
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2maybe60.0214
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2maybe60.0586
Integer_Transition_Systems/From_T2/rewrite.t2.smt2maybe60.1039
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2maybe60.0302
Integer_Transition_Systems/From_T2/rlft3.t2.smt2maybe60.1083
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2maybe13.667
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2maybe60.044
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2maybe60.1108
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2maybe60.022
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2maybe60.1222
Integer_Transition_Systems/From_T2/s1.t2.smt2maybe60.0646
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2maybe60.0673
Integer_Transition_Systems/From_T2/s2.t2.smt2yes2.20216
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2yes1.93425
Integer_Transition_Systems/From_T2/s3-work.t2.smt2maybe60.0459
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2maybe60.0765
Integer_Transition_Systems/From_T2/s3.t2.smt2maybe60.0208
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2maybe60.0889
Integer_Transition_Systems/From_T2/s4.t2.smt2maybe60.0233
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2maybe60.0543
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2maybe60.0772
Integer_Transition_Systems/From_T2/sas2.t2.smt2maybe60.0736
Integer_Transition_Systems/From_T2/select.t2.smt2maybe60.0619
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2maybe60.0826
Integer_Transition_Systems/From_T2/selectSort.t2.smt2yes10.0783
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2maybe60.1246
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2maybe60.0425
Integer_Transition_Systems/From_T2/seq.t2.smt2yes1.72081
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2yes1.74798
Integer_Transition_Systems/From_T2/simple.t2.smt2maybe2.35683
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2yes6.99725
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2yes1.75266
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2yes1.91078
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2yes1.79096
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2yes1.69834
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2yes1.66131
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2yes1.67723
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2yes1.71117
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2yes2.17014
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2yes1.95154
Integer_Transition_Systems/From_T2/simple_test.t2.smt2yes2.39608
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2no1.87671
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2maybe60.0927
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2maybe60.0799
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2yes2.1611
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2yes2.11829
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2maybe60.0537
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2maybe60.1146
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2maybe60.0775
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2maybe60.0201
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2maybe60.085
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2maybe60.1024
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2maybe60.0876
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2no18.709
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2maybe60.0269
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2maybe60.0535
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2maybe60.0243
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2maybe60.063
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2maybe60.0855
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2maybe60.0375
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2maybe60.0366
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2no3.17519
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2no2.41541
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2no2.85972
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2no4.48162
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2no2.68357
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2no2.52912
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2no2.62056
Integer_Transition_Systems/From_T2/small01.t2.smt2maybe60.0772
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2maybe2.48719
Integer_Transition_Systems/From_T2/small02.t2.smt2maybe2.75078
Integer_Transition_Systems/From_T2/small03.t2.smt2maybe60.0362
Integer_Transition_Systems/From_T2/small04.t2.smt2maybe60.0345
Integer_Transition_Systems/From_T2/small05.t2.smt2maybe60.0261
Integer_Transition_Systems/From_T2/small06.t2.smt2yes2.26936
Integer_Transition_Systems/From_T2/small07.t2.smt2yes3.31048
Integer_Transition_Systems/From_T2/small08.t2.smt2yes2.57112
Integer_Transition_Systems/From_T2/small09.t2.smt2yes3.23598
Integer_Transition_Systems/From_T2/small10.t2.smt2maybe60.0367
Integer_Transition_Systems/From_T2/small11.t2.smt2no1.80332
Integer_Transition_Systems/From_T2/small12.t2.smt2yes1.87662
Integer_Transition_Systems/From_T2/small13.t2.smt2yes1.96148
Integer_Transition_Systems/From_T2/small14.t2.smt2maybe60.1103
Integer_Transition_Systems/From_T2/small15.t2.smt2maybe60.055
Integer_Transition_Systems/From_T2/small16.t2.smt2maybe60.0566
Integer_Transition_Systems/From_T2/small17.t2.smt2maybe60.0436
Integer_Transition_Systems/From_T2/small18.t2.smt2maybe60.0526
Integer_Transition_Systems/From_T2/small19.t2.smt2yes1.96655
Integer_Transition_Systems/From_T2/small20.t2.smt2yes1.84881
Integer_Transition_Systems/From_T2/small21.t2.smt2yes1.95513
Integer_Transition_Systems/From_T2/small22.t2.smt2maybe2.51998
Integer_Transition_Systems/From_T2/small23.t2.smt2maybe3.15404
Integer_Transition_Systems/From_T2/small24.t2.smt2no1.93356
Integer_Transition_Systems/From_T2/small26.t2.smt2yes2.33152
Integer_Transition_Systems/From_T2/small27.t2.smt2yes1.70775
Integer_Transition_Systems/From_T2/small28.t2.smt2yes1.72621
Integer_Transition_Systems/From_T2/small29.t2.smt2no1.87327
Integer_Transition_Systems/From_T2/small31.t2.smt2yes1.66827
Integer_Transition_Systems/From_T2/small32.t2.smt2yes1.64575
Integer_Transition_Systems/From_T2/small33.t2.smt2yes1.73119
Integer_Transition_Systems/From_T2/small34.t2.smt2yes1.79174
Integer_Transition_Systems/From_T2/small35.t2.smt2maybe60.0669
Integer_Transition_Systems/From_T2/sort.t2.smt2maybe60.0999
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2maybe60.1059
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2maybe60.094
Integer_Transition_Systems/From_T2/spctrm.t2.smt2maybe60.0393
Integer_Transition_Systems/From_T2/spiral.t2.smt2maybe60.0722
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2yes8.17924
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2no4.85756
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2maybe60.1202
Integer_Transition_Systems/From_T2/st88.t2.smt2maybe60.1189
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2maybe60.111
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2maybe60.0349
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2maybe60.072
Integer_Transition_Systems/From_T2/statemate.t2.smt2maybe60.0886
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2maybe60.0614
Integer_Transition_Systems/From_T2/stored.t2.smt2no2.86599
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2maybe60.0246
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2maybe60.0533
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2maybe60.0685
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2maybe60.0506
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2maybe60.0696
Integer_Transition_Systems/From_T2/sudoku.t2.smt2maybe60.0369
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2maybe60.0968
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0774
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2maybe60.0286
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2maybe60.0329
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2no2.09778
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2maybe60.0206
Integer_Transition_Systems/From_T2/toeplz.t2.smt2maybe60.0767
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2maybe60.1124
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2maybe60.0206
Integer_Transition_Systems/From_T2/tqli.t2.smt2maybe60.042
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2maybe60.0317
Integer_Transition_Systems/From_T2/traverse.t2.smt2maybe60.0568
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2maybe60.0209
Integer_Transition_Systems/From_T2/traverse2.t2.smt2maybe60.0889
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2maybe60.0878
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2maybe60.0222
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2maybe60.0393
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2maybe60.0896
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2maybe60.0815
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2maybe60.0794
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2maybe60.0392
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2yes10.3756
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2yes8.7296
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2yes36.1159
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2yes29.7633
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2yes32.9777
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2yes36.5639
Integer_Transition_Systems/From_T2/ud.t2.smt2maybe60.0466
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2maybe60.0642
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2yes1.5309
Integer_Transition_Systems/From_T2/w1.t2.smt2no1.89381
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2no50.8974
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2maybe60.0491
Integer_Transition_Systems/From_T2/walk.t2.smt2maybe60.0367
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2maybe60.0749
Integer_Transition_Systems/From_T2/weakness.t2.smt2maybe60.05
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2maybe60.0838
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2maybe60.0732
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2maybe60.0254
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2maybe60.0879
Integer_Transition_Systems/From_T2/wtf.t2.smt2maybe60.0739
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2maybe60.0209
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2maybe60.0297
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2maybe60.1006
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2maybe60.0797
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2maybe60.0957
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2maybe60.0479
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2maybe60.0578
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2yes35.2521