LoAT
nameresulttime
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2maybe0.330129
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2maybe1.66174
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2maybe1.17682
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2no3.64256
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2maybe1.35623
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2maybe2.941
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2maybe1.51349
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2maybe1.63799
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2maybe25.0348
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2maybe1.56803
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2maybe1.52515
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2maybe1.6221
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2maybe1.597
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2maybe1.16544
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2maybe0.807002
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2no31.5097
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2maybe1.98733
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2maybe2.45194
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2maybe7.82217
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2maybe40.9787
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2maybe1.61827
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2maybe6.85876
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2maybe0.26634
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2maybe1.41144
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2maybe3.7518
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2maybe0.585249
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2maybe1.73337
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2maybe0.38417
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2no0.234659
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2maybe0.358539
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2maybe0.38019
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2maybe1.14081
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2no0.166948
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2maybe0.569519
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2no1.12863
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2no3.84878
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2no36.9219
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2no25.7555
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2no2.06681
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2no2.13534
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2maybe0.877053
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2maybe3.92721
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2maybe1.42346
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2maybe1.16381
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2maybe0.308756
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2no4.63573
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2maybe1.63895
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2maybe49.7259
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2no15.2159
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2maybe0.350604
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2maybe0.862887
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2no47.2017
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2no2.02136
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2maybe1.12552
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2maybe49.2061
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2maybe0.708748
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2maybe0.266743
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2maybe0.267267
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2maybe6.23204
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2maybe0.388244
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2maybe8.37469
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2maybe13.5077
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2maybe0.368225
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2maybe0.453817
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2maybe0.304002
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2maybe2.70266
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2maybe4.0747
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2maybe1.20116
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2maybe1.16954
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2maybe2.80411
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2maybe7.97305
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2maybe3.76507
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2maybe4.4289
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2maybe3.127
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2maybe3.70567
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2no0.525066
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2maybe0.647545
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2maybe0.368136
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2maybe0.366236
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2maybe0.55026
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2maybe0.365609
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2maybe0.552512
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2maybe1.83965
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2maybe0.533748
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2maybe1.18404
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2maybe0.27143
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2maybe2.06282
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2maybe1.27061
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2no25.7422
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2no27.2774
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2no22.2793
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2no20.167
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2no10.2087
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2maybe12.7201
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2maybe2.8612
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2maybe2.78518
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2maybe3.37051
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2maybe2.63722
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2maybe1.91198
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2maybe5.47597
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2maybe47.1513
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2maybe8.18542
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2maybe0.45029
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2maybe0.288643
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2maybe37.2253
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2no0.167207
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2maybe2.04891
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2maybe0.771858
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2maybe0.493292
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2maybe5.49831
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2maybe5.38029
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2maybe2.95118
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2maybe3.16387
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2maybe6.8204
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2maybe7.16323
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2maybe0.368248
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2no47.2897
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2no33.9307
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2no5.19731
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2no10.6369
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2no0.486623
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2maybe0.920965
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2maybe3.67719
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2maybe1.35354
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2no26.0355
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2maybe0.594384
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2maybe2.98138
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2maybe4.39101
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2maybe0.620368
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2maybe0.969793
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2maybe0.376638
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2maybe0.431556
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2maybe0.377959
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2maybe0.708035
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2no0.16859
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2maybe0.372843
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2no0.450786
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2maybe55.046
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2no6.65169
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2no7.68375
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2no7.61378
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2no6.22532
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2no9.01467
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2no30.9374
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2maybe0.70954
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2maybe12.1976
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2maybe0.308359
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2maybe0.882507
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2maybe2.17668
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2maybe18.7583
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2maybe9.65761
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2maybe7.67564
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2maybe0.831289
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2no0.478514
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2maybe24.3439
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2no0.167586
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2no0.167315
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2no0.167391
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2no0.676574
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2no0.167371
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2maybe1.14134
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2no0.169447
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2no0.232365
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2maybe0.367669
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2no0.852933
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2no0.824135
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2no0.168178
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2no0.168066
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2no0.739489
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2no0.638757
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2no0.232884
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2maybe0.874303
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2maybe0.511879
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2maybe3.18573
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2no0.844465
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2no39.8811
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2maybe0.0393781
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2maybe34.6281
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2maybe11.4127
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2maybe0.535861
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2maybe0.606338
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2maybe0.308182
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2maybe0.725609
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2maybe0.866961
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2maybe0.370209
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2maybe0.305285
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2maybe0.352229
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2maybe0.302668
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2maybe3.15315
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2maybe3.41621
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2maybe0.676987
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2maybe0.755464
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2maybe0.622568
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2maybe0.646128
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2maybe0.817808
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2maybe0.864451
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2maybe1.15608
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2maybe0.307221
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2maybe0.349914
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2maybe0.171
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2maybe0.42087
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2maybe0.36485
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2maybe0.37037
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2maybe0.961902
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2maybe0.992651
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2maybe0.990815
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2maybe0.703965
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2maybe0.533818
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2maybe0.941106
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2maybe0.853663
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2maybe1.09119
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2maybe1.43181
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2maybe0.360203
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2maybe4.30271
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2no2.29124
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2maybe31.1407
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2maybe31.6455
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2no28.1684
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2maybe1.94906
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2maybe0.314557
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2maybe5.78718
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2maybe2.0759
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2maybe0.604739
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2no35.5076
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2maybe29.5786
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2maybe0.552476
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2maybe0.310562
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2maybe1.00851
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2maybe0.789003
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2no0.86395
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2no2.18042
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2maybe5.54333
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2maybe0.405836
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2maybe12.5274
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2no0.233045
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2maybe2.77502
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2maybe20.1405
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2maybe22.8547
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2maybe4.57359
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2maybe0.892772
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2maybe0.301635
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2no0.697103
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2no0.469418
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2maybe8.84418
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2maybe4.38472
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2maybe1.27405
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2maybe12.2189
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2maybe2.0909
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2no7.24745
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2maybe3.97573
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2maybe12.1487
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2maybe47.2596
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2maybe9.91576
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2maybe12.7544
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2no2.87174
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2maybe5.24582
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2maybe5.1711
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2no0.166548
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2no0.861009
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2maybe1.19913
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2maybe22.3597
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2maybe11.9697
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2no1.92563
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2maybe0.306271
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2no0.916171
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2no0.458451
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2no1.20666
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2no1.79057
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2no1.44805
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2maybe0.937219
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2maybe1.11567
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2no0.421326
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2no0.441091
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2no0.444603
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2maybe3.08571
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2no0.68303
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2no0.457107
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2no0.674047
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2no0.303339
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2no0.684547
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2no0.740665
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2no0.250886
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2no0.250066
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2no1.2399
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2no0.997676
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2maybe2.10081
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2no3.59721
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2no0.674912
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2no0.760638
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2no0.244917
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2maybe1.00841
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2no0.650825
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2no2.09819
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2no0.246021
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2no0.250755
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2no0.438168
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2no1.09549
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2no0.679339
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2no0.688178
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2maybe1.1633
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2maybe1.09944
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2maybe4.91268
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2maybe3.78519
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2no1.45139
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2no0.3528
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2no1.21892
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2maybe1.51531
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2maybe1.51324
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2no0.75276
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2maybe0.303866
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2no0.246247
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2no0.441136
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2no0.521141
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2no0.497862
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2no0.442491
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2no0.697548
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2no8.81403
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2no0.251416
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2maybe1.03135
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2no0.818093
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2no1.38425
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2no0.456199
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2no1.43416
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2no0.441328
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2no0.444926
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2maybe7.55291
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2no0.683193
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2maybe0.959989
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2maybe0.603226
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2maybe0.401543
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2maybe1.18181
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2no0.167409
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2no0.530156
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2no0.250687
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2no0.251919
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2no0.684837
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2no0.680803
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2no0.24559
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2no0.242861
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2no0.232088
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2no0.233262
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2maybe2.97753
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2maybe1.00267
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2no0.250766
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2maybe22.3573
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2maybe31.085
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2maybe30.7724
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2maybe27.2535
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2maybe29.4333
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2maybe35.5231
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2maybe32.9761
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2maybe32.9259
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2maybe33.0127
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2maybe24.2549
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2maybe37.1615
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2maybe22.1957
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2maybe1.72425
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2maybe2.67954
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2maybe28.4684
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2maybe52.9418
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2maybe11.1419
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2maybe2.64781
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2maybe2.66992
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2maybe3.02257
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2maybe47.4163
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2maybe51.2015
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2maybe10.6981
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2maybe3.00245
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2maybe47.1975
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2maybe3.61003
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2maybe2.95388
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2maybe2.96743
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2maybe47.1331
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2maybe2.63273
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2maybe18.0079
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2maybe47.1977
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2maybe17.9508
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2maybe2.67489
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2maybe2.64044
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2maybe2.68418
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2maybe2.93083
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2maybe2.94259
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2maybe2.95053
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2maybe2.93756
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2maybe2.92549
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2maybe3.01076
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2maybe2.93318
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2maybe2.64219
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2maybe12.3123
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2maybe51.2255
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2maybe12.9648
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2maybe47.4616
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2maybe2.93868
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2maybe47.3164
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2maybe2.99694
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2maybe47.2098
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2maybe47.5985
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2maybe4.15581
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2maybe1.72706
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2maybe2.65339
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2maybe3.66012
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2no0.672827
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2no1.29638
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2maybe1.12241
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2maybe5.31909
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2no0.498498
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2no0.25513
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2no0.391815
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2no1.43805
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2no0.354711
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2maybe5.24123
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2maybe1.71817
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2no0.51442
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2no0.505529
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2no0.461086
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2no0.708664
Integer_Transition_Systems/From_T2/1.t2.smt2no0.962181
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2no12.9086
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2no10.1696
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2no10.9124
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2no10.9581
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2no12.0782
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2no12.199
Integer_Transition_Systems/From_T2/2.t2.smt2no2.84607
Integer_Transition_Systems/From_T2/232.t2.smt2maybe0.590285
Integer_Transition_Systems/From_T2/241.t2.smt2maybe0.607891
Integer_Transition_Systems/From_T2/3.t2.smt2no0.28923
Integer_Transition_Systems/From_T2/5.t2.smt2maybe0.023781
Integer_Transition_Systems/From_T2/6.t2.smt2no0.288461
Integer_Transition_Systems/From_T2/7.t2.smt2no0.296177
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2no11.8424
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2no11.8426
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2no2.03929
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2no1.75345
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2no50.2633
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2no48.5532
Integer_Transition_Systems/From_T2/afagx1.t2.smt2no0.686756
Integer_Transition_Systems/From_T2/agafp.t2.smt2no51.7893
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2no53.3569
Integer_Transition_Systems/From_T2/andrey.t2.smt2maybe0.32067
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2maybe55.9361
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2maybe55.1021
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2maybe55.9764
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2maybe51.4257
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2maybe60.0658
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2maybe55.3697
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2maybe56.0087
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2maybe60.0864
Integer_Transition_Systems/From_T2/arith.t2.smt2maybe0.38598
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2maybe0.624003
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2maybe0.025683
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2maybe60.0321
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2maybe1.43058
Integer_Transition_Systems/From_T2/array.t2.smt2maybe0.0583899
Integer_Transition_Systems/From_T2/array2.t2.smt2maybe0.359188
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2maybe0.350017
Integer_Transition_Systems/From_T2/array3.t2.smt2maybe0.698634
Integer_Transition_Systems/From_T2/array4.t2.smt2maybe0.604061
Integer_Transition_Systems/From_T2/array_free.t2.smt2maybe0.607875
Integer_Transition_Systems/From_T2/array_free2.t2.smt2maybe0.577799
Integer_Transition_Systems/From_T2/array_init.t2.smt2maybe0.36569
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2maybe0.341203
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2maybe0.598972
Integer_Transition_Systems/From_T2/ase_example.t2.smt2maybe1.09233
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2maybe0.990618
Integer_Transition_Systems/From_T2/ax_test.t2.smt2no0.286242
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2no0.288793
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2no0.391884
Integer_Transition_Systems/From_T2/bakery.t2.smt2no13.2892
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2no13.2745
Integer_Transition_Systems/From_T2/bf10.t2.smt2maybe3.45851
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2maybe3.06596
Integer_Transition_Systems/From_T2/bf11.t2.smt2maybe3.4995
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2maybe3.06265
Integer_Transition_Systems/From_T2/bf12.t2.smt2maybe3.46682
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2maybe3.08473
Integer_Transition_Systems/From_T2/bf13.t2.smt2maybe3.47232
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2maybe3.06821
Integer_Transition_Systems/From_T2/bf14.t2.smt2maybe3.46535
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2maybe3.08206
Integer_Transition_Systems/From_T2/bf15.t2.smt2maybe3.46515
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2maybe3.07703
Integer_Transition_Systems/From_T2/bf16.t2.smt2maybe3.45572
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2maybe3.07768
Integer_Transition_Systems/From_T2/bf17.t2.smt2maybe3.46861
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2maybe3.05634
Integer_Transition_Systems/From_T2/bf18.t2.smt2maybe3.47031
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2maybe3.05965
Integer_Transition_Systems/From_T2/bf19.t2.smt2maybe3.47009
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2maybe3.05985
Integer_Transition_Systems/From_T2/bf20.t2.smt2maybe3.49131
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2maybe3.0485
Integer_Transition_Systems/From_T2/bf5.t2.smt2maybe3.33525
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2maybe3.00823
Integer_Transition_Systems/From_T2/bf6.t2.smt2maybe3.46733
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2maybe3.00012
Integer_Transition_Systems/From_T2/bf7.t2.smt2maybe3.48191
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2maybe3.05381
Integer_Transition_Systems/From_T2/bf8.t2.smt2maybe3.46883
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2maybe3.08614
Integer_Transition_Systems/From_T2/bf9.t2.smt2maybe3.4562
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2maybe3.06688
Integer_Transition_Systems/From_T2/bio.t2.smt2maybe50.3851
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2maybe0.800385
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2maybe0.78169
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2maybe0.810133
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2maybe0.856535
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2maybe0.820188
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2maybe55.6899
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2maybe51.9501
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2maybe55.4396
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2maybe46.7293
Integer_Transition_Systems/From_T2/broydn.t2.smt2maybe43.1693
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2maybe42.3519
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2maybe60.0394
Integer_Transition_Systems/From_T2/bs.t2.smt2no2.54734
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2no2.4548
Integer_Transition_Systems/From_T2/bsort100.t2.smt2maybe3.58845
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2maybe2.59638
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2maybe1.60105
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2maybe0.74159
Integer_Transition_Systems/From_T2/byron-1.t2.smt2maybe0.652256
Integer_Transition_Systems/From_T2/byron-2.t2.smt2maybe0.894457
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2maybe1.78555
Integer_Transition_Systems/From_T2/byron-3.t2.smt2maybe1.51719
Integer_Transition_Systems/From_T2/byron-4.t2.smt2no0.527332
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2maybe0.920841
Integer_Transition_Systems/From_T2/cfg.t2.smt2no1.66865
Integer_Transition_Systems/From_T2/cnt.t2.smt2maybe2.66219
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2maybe2.15352
Integer_Transition_Systems/From_T2/collatz.t2.smt2maybe4.13275
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2maybe2.2574
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2maybe0.429583
Integer_Transition_Systems/From_T2/compress.t2.smt2no51.3613
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2maybe19.6863
Integer_Transition_Systems/From_T2/constants.t2.smt2maybe1.87672
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2maybe1.86023
Integer_Transition_Systems/From_T2/consts1.t2.smt2no0.340707
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2maybe0.515245
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2no0.340844
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2no0.528977
Integer_Transition_Systems/From_T2/consts2.t2.smt2no0.872164
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2maybe0.367093
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2no0.876988
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2no0.306844
Integer_Transition_Systems/From_T2/consts3.t2.smt2maybe0.365125
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2maybe0.361935
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2no0.30807
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2no0.305966
Integer_Transition_Systems/From_T2/consts4.t2.smt2no0.941158
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2maybe0.364585
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2no0.909755
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2no0.305894
Integer_Transition_Systems/From_T2/consts5.t2.smt2no1.18895
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2maybe0.27914
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2no1.18681
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2no0.309536
Integer_Transition_Systems/From_T2/cover.t2.smt2maybe52.3914
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2maybe48.872
Integer_Transition_Systems/From_T2/crc.t2.smt2maybe8.74128
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2maybe7.33756
Integer_Transition_Systems/From_T2/create.t2.smt2maybe0.541537
Integer_Transition_Systems/From_T2/create_seg.t2.smt2maybe0.550689
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2maybe1.92351
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2maybe4.63672
Integer_Transition_Systems/From_T2/ctl.t2.smt2no1.17843
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2no1.07528
Integer_Transition_Systems/From_T2/curious.t2.smt2no0.405551
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2no0.451248
Integer_Transition_Systems/From_T2/curious2.t2.smt2maybe0.0582029
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2maybe0.0575071
Integer_Transition_Systems/From_T2/curious4.t2.smt2maybe60.0224
Integer_Transition_Systems/From_T2/d.t2.smt2no1.18534
Integer_Transition_Systems/From_T2/db.t2.smt2maybe0.135307
Integer_Transition_Systems/From_T2/db2.t2.smt2maybe54.068
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2maybe54.1237
Integer_Transition_Systems/From_T2/db3.t2.smt2maybe54.0661
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2maybe54.1094
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2no1.29369
Integer_Transition_Systems/From_T2/defect.t2.smt2no0.198877
Integer_Transition_Systems/From_T2/destroy.t2.smt2maybe1.91493
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2maybe4.55015
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2maybe2.10994
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2maybe4.75394
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2no2.86666
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2no4.32818
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2no2.33538
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2maybe60.0224
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2maybe0.685837
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2maybe0.0585389
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2no7.28076
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2maybe0.0580371
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2maybe0.679649
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2maybe0.6029
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2maybe0.058105
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2maybe0.0577441
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2maybe0.69769
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2maybe0.590207
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2maybe0.371208
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2maybe0.345099
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2maybe0.0580259
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2maybe0.05823
Integer_Transition_Systems/From_T2/dummy.t2.smt2no0.312936
Integer_Transition_Systems/From_T2/dumper.t2.smt2no48.5886
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2no10.7468
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2no10.2183
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2no10.2882
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2no8.42504
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2no8.35685
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2no8.42156
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2no8.4046
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2no0.687496
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2no1.31885
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2no1.34558
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2no1.26057
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2no1.2575
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2no1.265
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2no2.34353
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2no2.33654
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2no1.84807
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2no1.14596
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2no0.995233
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2no1.5426
Integer_Transition_Systems/From_T2/edn.t2.smt2no9.33384
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2maybe4.59138
Integer_Transition_Systems/From_T2/efegp.t2.smt2no15.4888
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2no15.3706
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2maybe7.37116
Integer_Transition_Systems/From_T2/elmhes.t2.smt2maybe7.35271
Integer_Transition_Systems/From_T2/eric.t2.smt2maybe2.24528
Integer_Transition_Systems/From_T2/eric1.t2.smt2maybe1.88724
Integer_Transition_Systems/From_T2/eric2.t2.smt2maybe11.365
Integer_Transition_Systems/From_T2/eric3.t2.smt2no0.625611
Integer_Transition_Systems/From_T2/ex1.t2.smt2no0.291177
Integer_Transition_Systems/From_T2/ex10.t2.smt2no0.73362
Integer_Transition_Systems/From_T2/ex11.t2.smt2no2.01398
Integer_Transition_Systems/From_T2/ex12.t2.smt2maybe0.371602
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2maybe0.360918
Integer_Transition_Systems/From_T2/ex13.t2.smt2maybe0.0581291
Integer_Transition_Systems/From_T2/ex14.t2.smt2maybe0.373685
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2maybe0.346949
Integer_Transition_Systems/From_T2/ex15.t2.smt2maybe0.058485
Integer_Transition_Systems/From_T2/ex16.t2.smt2no1.85777
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2no1.74107
Integer_Transition_Systems/From_T2/ex17.t2.smt2maybe1.3036
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2maybe1.04986
Integer_Transition_Systems/From_T2/ex18.t2.smt2maybe1.25212
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2maybe1.23026
Integer_Transition_Systems/From_T2/ex19.t2.smt2no0.573761
Integer_Transition_Systems/From_T2/ex2.t2.smt2no0.594553
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2no0.590263
Integer_Transition_Systems/From_T2/ex20.t2.smt2maybe0.697064
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2maybe0.675681
Integer_Transition_Systems/From_T2/ex21.t2.smt2maybe0.702435
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2maybe0.625416
Integer_Transition_Systems/From_T2/ex22.t2.smt2maybe10.0412
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2maybe7.00601
Integer_Transition_Systems/From_T2/ex23.t2.smt2maybe0.42475
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2maybe0.402847
Integer_Transition_Systems/From_T2/ex26.t2.smt2maybe0.989506
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2maybe0.905649
Integer_Transition_Systems/From_T2/ex27.t2.smt2maybe34.8219
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2maybe10.4558
Integer_Transition_Systems/From_T2/ex29.t2.smt2maybe0.0713391
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2maybe0.0704011
Integer_Transition_Systems/From_T2/ex3.t2.smt2maybe0.423175
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2maybe0.399872
Integer_Transition_Systems/From_T2/ex30.t2.smt2maybe0.703321
Integer_Transition_Systems/From_T2/ex31.t2.smt2no1.46234
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2no1.70243
Integer_Transition_Systems/From_T2/ex32.t2.smt2maybe0.999134
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2maybe0.85461
Integer_Transition_Systems/From_T2/ex33.t2.smt2maybe0.0581889
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2maybe0.05993
Integer_Transition_Systems/From_T2/ex34.t2.smt2maybe0.0627439
Integer_Transition_Systems/From_T2/ex36.t2.smt2maybe57.3274
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2maybe56.8861
Integer_Transition_Systems/From_T2/ex4.t2.smt2maybe2.02647
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2maybe1.44587
Integer_Transition_Systems/From_T2/ex40.t2.smt2no0.374063
Integer_Transition_Systems/From_T2/ex6.t2.smt2maybe0.057348
Integer_Transition_Systems/From_T2/ex7.t2.smt2maybe0.370999
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2maybe0.358845
Integer_Transition_Systems/From_T2/ex8.t2.smt2no1.02164
Integer_Transition_Systems/From_T2/ex9.t2.smt2no1.36725
Integer_Transition_Systems/From_T2/example.t2.smt2maybe0.806494
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2no49.3408
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2maybe58.7153
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2no21.8482
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2no21.6254
Integer_Transition_Systems/From_T2/fdct.t2.smt2maybe0.85716
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2maybe0.700738
Integer_Transition_Systems/From_T2/fermat.t2.smt2maybe1.0975
Integer_Transition_Systems/From_T2/fibcall.t2.smt2maybe0.39916
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2maybe0.394507
Integer_Transition_Systems/From_T2/fir.t2.smt2maybe4.35792
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2maybe3.36965
Integer_Transition_Systems/From_T2/firewire.t2.smt2maybe49.3836
Integer_Transition_Systems/From_T2/flipflop.t2.smt2no0.305027
Integer_Transition_Systems/From_T2/florian.t2.smt2maybe0.315001
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2maybe4.24717
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2maybe2.57664
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2maybe2.63638
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2maybe39.5634
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2maybe6.05619
Integer_Transition_Systems/From_T2/foo.t2.smt2maybe14.2327
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2no49.1214
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2no48.9753
Integer_Transition_Systems/From_T2/fourn.t2.smt2no48.3251
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2maybe0.965083
Integer_Transition_Systems/From_T2/fun1.t2.smt2no50.6145
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2no20.3932
Integer_Transition_Systems/From_T2/fun10.t2.smt2no20.191
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2no20.0437
Integer_Transition_Systems/From_T2/fun10b.t2.smt2no16.0718
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2no16.0441
Integer_Transition_Systems/From_T2/fun11.t2.smt2no0.565808
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2no0.780375
Integer_Transition_Systems/From_T2/fun1b.t2.smt2no50.4162
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2no20.3516
Integer_Transition_Systems/From_T2/fun2.t2.smt2maybe55.081
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2maybe22.1952
Integer_Transition_Systems/From_T2/fun2b.t2.smt2maybe55.0804
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2maybe21.8723
Integer_Transition_Systems/From_T2/fun3.t2.smt2maybe55.0903
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2maybe0.805336
Integer_Transition_Systems/From_T2/fun4.t2.smt2no0.821198
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2maybe0.831817
Integer_Transition_Systems/From_T2/fun5.t2.smt2no9.59223
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2maybe10.0879
Integer_Transition_Systems/From_T2/fun6.t2.smt2no47.5216
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2no47.4814
Integer_Transition_Systems/From_T2/fun7.t2.smt2no16.8796
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2no31.2289
Integer_Transition_Systems/From_T2/fun8.t2.smt2maybe1.93512
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2maybe12.8475
Integer_Transition_Systems/From_T2/fun9.t2.smt2maybe16.9972
Integer_Transition_Systems/From_T2/graycode.t2.smt2maybe10.8615
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2maybe10.0636
Integer_Transition_Systems/From_T2/hand7.t2.smt2no0.389344
Integer_Transition_Systems/From_T2/heidy1.t2.smt2no0.290697
Integer_Transition_Systems/From_T2/heidy10.t2.smt2maybe0.872702
Integer_Transition_Systems/From_T2/heidy2.t2.smt2no0.405741
Integer_Transition_Systems/From_T2/heidy3.t2.smt2no0.586028
Integer_Transition_Systems/From_T2/heidy5.t2.smt2maybe0.419611
Integer_Transition_Systems/From_T2/heidy6.t2.smt2no0.863956
Integer_Transition_Systems/From_T2/heidy7.t2.smt2no1.046
Integer_Transition_Systems/From_T2/heidy8.t2.smt2no1.04917
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2no1.05273
Integer_Transition_Systems/From_T2/heidy9.t2.smt2maybe0.357984
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2maybe56.3429
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2maybe56.4974
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2maybe57.2954
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2maybe56.6657
Integer_Transition_Systems/From_T2/hqr.t2.smt2maybe56.7941
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2maybe56.2539
Integer_Transition_Systems/From_T2/huh.t2.smt2maybe0.843293
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2maybe0.828074
Integer_Transition_Systems/From_T2/iecs.t2.smt2maybe0.633495
Integer_Transition_Systems/From_T2/insertsort.t2.smt2no0.62545
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2no0.605221
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2no1.50173
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2maybe20.3321
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2maybe19.2522
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2maybe21.0448
Integer_Transition_Systems/From_T2/jacobi.t2.smt2maybe18.0944
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2maybe19.9725
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2maybe55.0476
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2no7.55324
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2maybe0.842289
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2maybe4.91719
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2maybe5.11528
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2maybe3.58279
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2maybe1.96074
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2maybe0.672171
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2maybe0.648968
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2maybe6.00577
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2maybe0.667484
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2maybe0.648944
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2maybe6.8312
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2maybe0.711164
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2maybe9.86456
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2maybe3.63793
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2maybe1.27537
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2maybe1.30912
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2maybe1.36555
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2maybe0.809521
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2maybe0.705517
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2maybe1.2339
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2maybe0.606424
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2maybe1.55859
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2maybe1.23407
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2maybe0.698536
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2maybe0.690726
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2maybe0.683373
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2maybe0.711475
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2maybe2.84293
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2maybe1.58643
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2maybe6.78777
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2maybe0.81819
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2maybe3.99967
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2maybe1.33585
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2maybe1.25862
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2maybe2.23724
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2maybe1.93466
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2maybe1.67658
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2maybe1.19389
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2maybe0.955933
Integer_Transition_Systems/From_T2/l1.t2.smt2no6.39014
Integer_Transition_Systems/From_T2/loop3.t2.smt2maybe55.6482
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2maybe32.7191
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2maybe0.712779
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2maybe0.707305
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2maybe12.6044
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2maybe12.3699
Integer_Transition_Systems/From_T2/magic.t2.smt2maybe23.2389
Integer_Transition_Systems/From_T2/matmul.t2.smt2maybe2.41845
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2maybe1.50157
Integer_Transition_Systems/From_T2/matmult.t2.smt2maybe3.3019
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2maybe2.21191
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2maybe2.40547
Integer_Transition_Systems/From_T2/mc91.t2.smt2no2.19981
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2maybe0.817433
Integer_Transition_Systems/From_T2/mc91test.t2.smt2no3.79757
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2maybe2.22487
Integer_Transition_Systems/From_T2/minmax.t2.smt2maybe0.0693399
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2maybe0.068141
Integer_Transition_Systems/From_T2/n-1.t2.smt2no0.410248
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2no0.546654
Integer_Transition_Systems/From_T2/n-10.t2.smt2no0.579842
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2no0.8483
Integer_Transition_Systems/From_T2/n-12.t2.smt2no0.700663
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2no1.10162
Integer_Transition_Systems/From_T2/n-12a.t2.smt2no0.303462
Integer_Transition_Systems/From_T2/n-13.t2.smt2no0.307412
Integer_Transition_Systems/From_T2/n-14.t2.smt2no0.621432
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2no1.10085
Integer_Transition_Systems/From_T2/n-15.t2.smt2no0.5079
Integer_Transition_Systems/From_T2/n-15a.t2.smt2no1.82608
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2no3.18106
Integer_Transition_Systems/From_T2/n-16a.t2.smt2no0.866935
Integer_Transition_Systems/From_T2/n-17.t2.smt2no0.523983
Integer_Transition_Systems/From_T2/n-18.t2.smt2no0.314977
Integer_Transition_Systems/From_T2/n-18a.t2.smt2no0.861473
Integer_Transition_Systems/From_T2/n-1c.t2.smt2no0.589575
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2no0.823255
Integer_Transition_Systems/From_T2/n-1d.t2.smt2no0.63421
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2no1.09111
Integer_Transition_Systems/From_T2/n-20.t2.smt2no0.460127
Integer_Transition_Systems/From_T2/n-21.t2.smt2no0.48295
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2no0.471323
Integer_Transition_Systems/From_T2/n-3.t2.smt2no0.528581
Integer_Transition_Systems/From_T2/n-32.t2.smt2no1.55281
Integer_Transition_Systems/From_T2/n-33.t2.smt2no4.62763
Integer_Transition_Systems/From_T2/n-36.t2.smt2no0.916952
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2no0.884392
Integer_Transition_Systems/From_T2/n-37.t2.smt2no0.305593
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2no0.303657
Integer_Transition_Systems/From_T2/n-38.t2.smt2maybe0.056215
Integer_Transition_Systems/From_T2/n-3a.t2.smt2no1.22849
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2no2.99682
Integer_Transition_Systems/From_T2/n-4.t2.smt2no2.25505
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2no4.11118
Integer_Transition_Systems/From_T2/n-40.t2.smt2no3.01125
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2maybe4.03465
Integer_Transition_Systems/From_T2/n-46.t2.smt2no0.323861
Integer_Transition_Systems/From_T2/n-48.t2.smt2no0.689579
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2no0.709498
Integer_Transition_Systems/From_T2/n-5.t2.smt2no2.55837
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2no2.62168
Integer_Transition_Systems/From_T2/n-6.t2.smt2no0.640088
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2no1.0946
Integer_Transition_Systems/From_T2/n-6a.t2.smt2no0.578576
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2no0.981291
Integer_Transition_Systems/From_T2/n-7.t2.smt2no0.418705
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2no0.455271
Integer_Transition_Systems/From_T2/n-8.t2.smt2no0.555045
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2no0.829697
Integer_Transition_Systems/From_T2/n-8a.t2.smt2no0.320592
Integer_Transition_Systems/From_T2/n-9.t2.smt2no1.66641
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2no3.77343
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2maybe36.3434
Integer_Transition_Systems/From_T2/nakata.t2.smt2maybe15.2669
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2maybe55.0353
Integer_Transition_Systems/From_T2/ndes.t2.smt2maybe52.7207
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2maybe49.8881
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2no10.197
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2no12.9187
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2no11.1151
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2no10.3592
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2no9.92998
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2no9.85717
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2no2.13498
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2no2.14284
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2no10.7058
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2no8.43062
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2no8.38935
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2no8.40009
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2no8.41705
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2no1.36444
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2no1.36262
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2no0.678569
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2no0.677052
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2no1.22346
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2no1.2095
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2no1.20434
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2no1.18473
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2no1.84242
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2no2.27479
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2no2.27575
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2no1.14244
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2no1.54464
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2no1.266
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2no1.23417
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2no1.27173
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2no1.8435
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2no1.83903
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2no2.096
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2no2.10158
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2no1.0111
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2no1.01332
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2no2.75159
Integer_Transition_Systems/From_T2/neg.t2.smt2maybe0.0259671
Integer_Transition_Systems/From_T2/nested.t2.smt2maybe0.63788
Integer_Transition_Systems/From_T2/nested2.t2.smt2maybe0.624688
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2maybe0.617965
Integer_Transition_Systems/From_T2/non_term.t2.smt2no0.702334
Integer_Transition_Systems/From_T2/ns.t2.smt2maybe2.18898
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2maybe1.38566
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2no0.291568
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2maybe26.3503
Integer_Transition_Systems/From_T2/p-1.t2.smt2no0.319351
Integer_Transition_Systems/From_T2/p-10.t2.smt2no0.328913
Integer_Transition_Systems/From_T2/p-12.t2.smt2maybe0.362782
Integer_Transition_Systems/From_T2/p-13.t2.smt2maybe0.0581641
Integer_Transition_Systems/From_T2/p-14.t2.smt2maybe0.36488
Integer_Transition_Systems/From_T2/p-15.t2.smt2maybe0.361478
Integer_Transition_Systems/From_T2/p-19.t2.smt2no0.32332
Integer_Transition_Systems/From_T2/p-19a.t2.smt2no0.329065
Integer_Transition_Systems/From_T2/p-1a.t2.smt2no0.328017
Integer_Transition_Systems/From_T2/p-1b.t2.smt2maybe0.370277
Integer_Transition_Systems/From_T2/p-1c.t2.smt2no0.328656
Integer_Transition_Systems/From_T2/p-1d.t2.smt2maybe0.805445
Integer_Transition_Systems/From_T2/p-20.t2.smt2no0.380847
Integer_Transition_Systems/From_T2/p-21.t2.smt2maybe0.922104
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2maybe0.902716
Integer_Transition_Systems/From_T2/p-22.t2.smt2maybe0.410396
Integer_Transition_Systems/From_T2/p-3.t2.smt2maybe0.706876
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2maybe0.713969
Integer_Transition_Systems/From_T2/p-32.t2.smt2no1.4819
Integer_Transition_Systems/From_T2/p-33.t2.smt2no2.87747
Integer_Transition_Systems/From_T2/p-34.t2.smt2no0.841998
Integer_Transition_Systems/From_T2/p-36.t2.smt2no0.531187
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2no0.50898
Integer_Transition_Systems/From_T2/p-37.t2.smt2maybe1.35976
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2maybe1.86215
Integer_Transition_Systems/From_T2/p-38.t2.smt2maybe0.0677281
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2maybe0.0855579
Integer_Transition_Systems/From_T2/p-4.t2.smt2maybe2.27996
Integer_Transition_Systems/From_T2/p-40.t2.smt2maybe0.432058
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2maybe0.426624
Integer_Transition_Systems/From_T2/p-41.t2.smt2maybe0.057909
Integer_Transition_Systems/From_T2/p-42.t2.smt2maybe0.720784
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2maybe23.2304
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2maybe52.6475
Integer_Transition_Systems/From_T2/p-43.t2.smt2maybe3.60367
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2maybe8.01126
Integer_Transition_Systems/From_T2/p-44.t2.smt2maybe1.73261
Integer_Transition_Systems/From_T2/p-45.t2.smt2maybe0.418603
Integer_Transition_Systems/From_T2/p-46.t2.smt2no0.810116
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2no4.93475
Integer_Transition_Systems/From_T2/p-49.t2.smt2maybe0.366596
Integer_Transition_Systems/From_T2/p-5.t2.smt2no2.55657
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2no2.6204
Integer_Transition_Systems/From_T2/p-50.t2.smt2maybe0.0681731
Integer_Transition_Systems/From_T2/p-52.t2.smt2no0.325936
Integer_Transition_Systems/From_T2/p-53.t2.smt2maybe0.0580499
Integer_Transition_Systems/From_T2/p-55.t2.smt2maybe0.816356
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2maybe1.70129
Integer_Transition_Systems/From_T2/p-56.t2.smt2maybe0.431219
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2maybe0.80155
Integer_Transition_Systems/From_T2/p-58.t2.smt2maybe0.123994
Integer_Transition_Systems/From_T2/p-6.t2.smt2maybe1.45212
Integer_Transition_Systems/From_T2/p-60.t2.smt2maybe0.43827
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2maybe0.428662
Integer_Transition_Systems/From_T2/p-61.t2.smt2maybe0.401977
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2maybe0.372505
Integer_Transition_Systems/From_T2/p-62.t2.smt2maybe0.0594971
Integer_Transition_Systems/From_T2/p-63.t2.smt2maybe0.698634
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2maybe0.710816
Integer_Transition_Systems/From_T2/p-7.t2.smt2maybe0.494893
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2maybe0.527121
Integer_Transition_Systems/From_T2/p-7b.t2.smt2maybe0.39103
Integer_Transition_Systems/From_T2/p-8.t2.smt2no0.317734
Integer_Transition_Systems/From_T2/p.t2.smt2maybe8.093
Integer_Transition_Systems/From_T2/p_armc.t2.smt2no4.21312
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2maybe1.41749
Integer_Transition_Systems/From_T2/peculiar.t2.smt2no3.05925
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2no3.05547
Integer_Transition_Systems/From_T2/pentagon.t2.smt2maybe1.36204
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2no1.21085
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2no1.23978
Integer_Transition_Systems/From_T2/pgarch.t2.smt2maybe60.1028
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2maybe49.2094
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2no27.0846
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2no21.6796
Integer_Transition_Systems/From_T2/polling.t2.smt2no21.406
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2no21.3718
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2maybe1.52237
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2maybe0.394777
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2maybe7.39126
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2maybe2.24066
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2maybe0.726473
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2maybe1.60784
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2no0.74962
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2no1.82373
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2no1.82682
Integer_Transition_Systems/From_T2/ppblock.t2.smt2no1.14608
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2no1.30639
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2no0.643992
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2no1.13712
Integer_Transition_Systems/From_T2/prime.t2.smt2no2.10365
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2no2.03954
Integer_Transition_Systems/From_T2/print.t2.smt2maybe10.3099
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2maybe22.9849
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2maybe7.15421
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2maybe7.13815
Integer_Transition_Systems/From_T2/queens.t2.smt2maybe9.99835
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2maybe9.51422
Integer_Transition_Systems/From_T2/queue_1.t2.smt2maybe1.874
Integer_Transition_Systems/From_T2/queue_10.t2.smt2maybe1.94922
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2maybe1.87352
Integer_Transition_Systems/From_T2/queue_100.t2.smt2maybe1.97935
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2maybe1.87399
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2maybe1.99747
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2maybe1.86388
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2maybe5.37594
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2maybe6.22508
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2no0.962609
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2no0.624126
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2no1.47795
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2no4.56046
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2no3.70957
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2no3.71336
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2maybe0.058464
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2maybe0.0589191
Integer_Transition_Systems/From_T2/reverse.t2.smt2maybe32.9234
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2maybe18.5228
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2no3.54411
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2no5.19793
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2maybe3.70414
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2maybe6.72769
Integer_Transition_Systems/From_T2/rewrite.t2.smt2no0.288105
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2maybe11.2186
Integer_Transition_Systems/From_T2/rlft3.t2.smt2maybe11.2712
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2no2.86374
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2maybe4.98847
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2maybe10.4722
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2maybe48.4446
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2maybe60.0233
Integer_Transition_Systems/From_T2/s1.t2.smt2maybe54.7881
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2maybe60.0623
Integer_Transition_Systems/From_T2/s2.t2.smt2maybe0.382681
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2maybe0.381918
Integer_Transition_Systems/From_T2/s3-work.t2.smt2maybe59.6244
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2maybe50.6613
Integer_Transition_Systems/From_T2/s3.t2.smt2maybe60.0235
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2maybe60.0481
Integer_Transition_Systems/From_T2/s4.t2.smt2maybe60.0625
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2maybe60.0398
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2maybe2.72214
Integer_Transition_Systems/From_T2/sas2.t2.smt2maybe38.8355
Integer_Transition_Systems/From_T2/select.t2.smt2no12.4573
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2no11.9913
Integer_Transition_Systems/From_T2/selectSort.t2.smt2maybe2.01987
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2maybe0.242828
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2maybe0.234054
Integer_Transition_Systems/From_T2/seq.t2.smt2maybe0.357666
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2maybe0.0589371
Integer_Transition_Systems/From_T2/simple.t2.smt2no0.503522
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2maybe0.74831
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2maybe0.339779
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2maybe0.414221
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2maybe0.417102
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2maybe0.058249
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2maybe0.058636
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2maybe0.0578079
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2maybe0.0577461
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2maybe0.0592389
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2maybe0.058008
Integer_Transition_Systems/From_T2/simple_test.t2.smt2maybe1.43571
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2no0.297368
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2maybe1.6971
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2maybe2.10041
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2maybe0.376682
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2maybe0.35925
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2no27.1441
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2maybe60.1034
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2maybe51.3323
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2maybe60.0459
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2maybe51.851
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2maybe60.0339
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2no14.5297
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2no0.885539
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2no1.75362
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2no3.28673
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2no0.316584
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2no0.29896
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2maybe0.448416
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2maybe0.447427
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2no12.4186
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2no0.99886
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2no1.00012
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2no1.0288
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2no1.02759
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2no0.961856
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2no0.966564
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2no1.01774
Integer_Transition_Systems/From_T2/small01.t2.smt2no0.356253
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2maybe0.535362
Integer_Transition_Systems/From_T2/small02.t2.smt2no0.404003
Integer_Transition_Systems/From_T2/small03.t2.smt2no0.291547
Integer_Transition_Systems/From_T2/small04.t2.smt2no0.294702
Integer_Transition_Systems/From_T2/small05.t2.smt2no0.310725
Integer_Transition_Systems/From_T2/small06.t2.smt2maybe1.21329
Integer_Transition_Systems/From_T2/small07.t2.smt2maybe2.97348
Integer_Transition_Systems/From_T2/small08.t2.smt2maybe2.92688
Integer_Transition_Systems/From_T2/small09.t2.smt2maybe2.95718
Integer_Transition_Systems/From_T2/small10.t2.smt2no6.18894
Integer_Transition_Systems/From_T2/small11.t2.smt2no0.320434
Integer_Transition_Systems/From_T2/small12.t2.smt2maybe0.467687
Integer_Transition_Systems/From_T2/small13.t2.smt2maybe1.1538
Integer_Transition_Systems/From_T2/small14.t2.smt2no2.29417
Integer_Transition_Systems/From_T2/small15.t2.smt2no1.05212
Integer_Transition_Systems/From_T2/small16.t2.smt2no1.04321
Integer_Transition_Systems/From_T2/small17.t2.smt2no1.0208
Integer_Transition_Systems/From_T2/small18.t2.smt2no1.06765
Integer_Transition_Systems/From_T2/small19.t2.smt2maybe1.17553
Integer_Transition_Systems/From_T2/small20.t2.smt2maybe0.608471
Integer_Transition_Systems/From_T2/small21.t2.smt2maybe0.589811
Integer_Transition_Systems/From_T2/small22.t2.smt2no1.08087
Integer_Transition_Systems/From_T2/small23.t2.smt2no0.763747
Integer_Transition_Systems/From_T2/small24.t2.smt2no0.290531
Integer_Transition_Systems/From_T2/small26.t2.smt2maybe0.379093
Integer_Transition_Systems/From_T2/small27.t2.smt2maybe0.121841
Integer_Transition_Systems/From_T2/small28.t2.smt2maybe0.376373
Integer_Transition_Systems/From_T2/small29.t2.smt2no0.310928
Integer_Transition_Systems/From_T2/small31.t2.smt2maybe0.0882019
Integer_Transition_Systems/From_T2/small32.t2.smt2maybe0.121426
Integer_Transition_Systems/From_T2/small33.t2.smt2maybe0.120583
Integer_Transition_Systems/From_T2/small34.t2.smt2maybe0.365419
Integer_Transition_Systems/From_T2/small35.t2.smt2no0.295159
Integer_Transition_Systems/From_T2/sort.t2.smt2maybe8.0951
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2maybe8.00785
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2maybe21.6421
Integer_Transition_Systems/From_T2/spctrm.t2.smt2maybe22.8288
Integer_Transition_Systems/From_T2/spiral.t2.smt2maybe1.73954
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2maybe4.83495
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2no4.65936
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2no2.12881
Integer_Transition_Systems/From_T2/st88.t2.smt2no1.71671
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2no1.58367
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2no1.29316
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2no1.482
Integer_Transition_Systems/From_T2/statemate.t2.smt2maybe55.4375
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2maybe55.0064
Integer_Transition_Systems/From_T2/stored.t2.smt2no0.81526
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2no12.9612
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2no12.7757
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2no14.7237
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2no14.5852
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2no0.312412
Integer_Transition_Systems/From_T2/sudoku.t2.smt2maybe34.1591
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2maybe56.4085
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2maybe56.3519
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2maybe56.3694
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2maybe56.3767
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2no0.485382
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2maybe6.43583
Integer_Transition_Systems/From_T2/toeplz.t2.smt2maybe6.4011
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2maybe12.5752
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2maybe12.8394
Integer_Transition_Systems/From_T2/tqli.t2.smt2maybe12.5089
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2maybe13.1804
Integer_Transition_Systems/From_T2/traverse.t2.smt2maybe5.06215
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2maybe10.6491
Integer_Transition_Systems/From_T2/traverse2.t2.smt2maybe7.89208
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2maybe20.7193
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2maybe5.96395
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2maybe11.262
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2maybe6.23263
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2maybe20.3911
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2maybe19.6618
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2maybe16.4205
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2maybe2.54045
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2maybe1.63774
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2maybe3.60632
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2maybe2.18533
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2maybe3.60957
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2maybe3.58699
Integer_Transition_Systems/From_T2/ud.t2.smt2maybe8.09382
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2maybe6.64449
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2maybe0.0579069
Integer_Transition_Systems/From_T2/w1.t2.smt2no0.296649
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2no1.40599
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2no4.38921
Integer_Transition_Systems/From_T2/walk.t2.smt2no2.59222
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2no2.61016
Integer_Transition_Systems/From_T2/weakness.t2.smt2maybe1.69776
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2maybe0.646375
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2maybe11.9584
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2no2.18454
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2no1.24285
Integer_Transition_Systems/From_T2/wtf.t2.smt2maybe21.9678
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2maybe55.0342
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2maybe55.031
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2no13.5068
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2maybe5.55396
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2no46.3458
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2maybe16.254
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2no2.17582
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2maybe1.54877