LoAT LB

name	result	time
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2	maybe	0.198691
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2	maybe	0.947364
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2	maybe	0.570879
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2	no	0.595931
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2	maybe	0.724963
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2	maybe	2.19344
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2	maybe	0.992366
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2	maybe	0.731883
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2	maybe	16.812
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2	maybe	0.755453
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2	maybe	0.751053
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2	maybe	0.815387
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2	maybe	0.821209
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2	maybe	1.05042
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2	maybe	0.428478
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2	maybe	3.69071
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2	maybe	1.29385
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2	maybe	2.14312
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2	maybe	4.29018
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2	maybe	17.6736
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2	maybe	3.35728
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2	maybe	4.01419
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2	maybe	0.182097
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2	maybe	0.470211
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2	maybe	2.36982
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2	maybe	0.399473
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2	maybe	1.30196
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2	maybe	0.253406
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2	no	0.266495
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2	maybe	3.82003
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2	maybe	3.76187
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2	maybe	0.567823
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2	no	0.130632
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2	maybe	0.377835
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2	maybe	0.889633
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2	no	3.19679
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2	maybe	8.00459
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2	maybe	4.12051
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2	maybe	1.45309
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2	maybe	1.51461
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2	maybe	0.500132
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2	maybe	1.61063
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2	maybe	1.25874
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2	maybe	0.78168
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2	maybe	0.296928
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2	no	1.80939
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2	maybe	1.1286
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2	maybe	26.2049
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2	maybe	6.15361
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2	maybe	0.201822
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2	maybe	0.550628
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2	maybe	47.21
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2	maybe	4.15362
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2	maybe	0.670258
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2	maybe	50.4829
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2	maybe	0.356306
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2	maybe	0.18943
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2	maybe	0.187727
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2	maybe	2.45983
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2	maybe	0.257496
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2	maybe	3.35468
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2	maybe	3.52867
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2	maybe	0.353347
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2	maybe	0.301118
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2	maybe	0.201427
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2	maybe	0.463204
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2	maybe	0.499963
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2	maybe	0.299946
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2	maybe	0.338682
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2	maybe	0.579588
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2	maybe	0.63122
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2	maybe	0.934798
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2	maybe	0.979459
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2	maybe	0.789429
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2	maybe	0.825576
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2	no	0.425807
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2	maybe	0.391634
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2	maybe	0.248573
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2	maybe	0.253129
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2	maybe	0.377734
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2	maybe	0.268656
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2	maybe	0.378207
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2	maybe	0.357706
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2	maybe	0.355401
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2	maybe	1.02265
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2	maybe	0.18785
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2	maybe	0.427449
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2	maybe	0.721463
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2	maybe	3.79733
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2	no	5.90497
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2	maybe	4.04667
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2	maybe	3.27133
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2	maybe	3.25418
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2	maybe	2.96479
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2	maybe	0.790761
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2	maybe	0.680424
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2	maybe	0.423711
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2	maybe	0.424962
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2	maybe	0.34851
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2	maybe	2.5911
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2	maybe	23.2509
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2	maybe	2.99311
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2	maybe	0.311921
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2	maybe	0.18641
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2	maybe	9.20388
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2	no	0.129591
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2	maybe	0.970948
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2	maybe	0.569039
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2	maybe	0.324873
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2	maybe	1.16614
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2	maybe	3.20738
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2	maybe	1.54164
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2	maybe	1.7326
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2	maybe	3.64325
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2	maybe	2.13041
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2	maybe	0.353619
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2	no	4.84131
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2	maybe	13.6185
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2	no	0.8642
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2	no	3.46157
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2	no	0.354825
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2	maybe	0.782147
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2	maybe	4.71016
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2	maybe	0.545386
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2	maybe	5.73138
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2	maybe	0.458236
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2	maybe	2.124
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2	maybe	3.11984
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2	maybe	0.42116
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2	maybe	0.757126
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2	maybe	0.303966
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2	maybe	0.253804
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2	maybe	0.173745
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2	maybe	0.476881
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2	no	0.131341
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2	maybe	0.240872
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2	maybe	0.239284
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2	maybe	52.224
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2	maybe	2.47916
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2	maybe	3.35346
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2	maybe	3.30101
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2	maybe	2.48118
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2	maybe	5.10641
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2	maybe	9.33338
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2	maybe	1.22605
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2	maybe	12.7739
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2	maybe	0.233261
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2	maybe	0.386115
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2	maybe	0.638313
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2	maybe	6.84611
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2	maybe	2.63306
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2	maybe	2.84384
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2	maybe	0.550088
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2	no	0.392695
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2	maybe	8.80819
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2	no	0.131193
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2	no	0.129943
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2	no	0.130289
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2	no	0.6128
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2	no	0.131217
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2	maybe	0.685854
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2	no	0.130987
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2	no	0.211976
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2	maybe	0.282739
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2	no	0.477322
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2	maybe	0.398257
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2	no	0.129745
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2	no	0.131255
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2	no	0.455443
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2	maybe	0.271686
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2	maybe	0.19756
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2	maybe	0.536419
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2	maybe	0.342813
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2	maybe	1.42248
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2	maybe	0.469773
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2	maybe	10.7219
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2	maybe	0.0466489
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2	maybe	33.913
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2	maybe	3.74094
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2	maybe	0.372495
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2	maybe	0.388645
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2	maybe	0.23608
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2	maybe	0.201725
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2	maybe	0.207414
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2	maybe	0.365776
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2	maybe	0.235851
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2	maybe	0.203337
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2	maybe	0.233614
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2	maybe	0.368149
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2	maybe	0.426495
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2	maybe	0.44044
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2	maybe	0.566503
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2	maybe	0.38163
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2	maybe	0.386335
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2	maybe	0.473797
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2	maybe	0.486683
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2	maybe	0.682284
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2	maybe	0.238669
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2	maybe	0.202394
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2	maybe	0.196782
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2	maybe	0.258929
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2	maybe	0.352361
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2	maybe	0.36931
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2	maybe	0.570831
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2	maybe	0.676618
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2	maybe	0.246745
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2	maybe	0.487689
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2	maybe	0.738355
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2	maybe	0.41198
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2	maybe	0.292021
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2	maybe	0.204579
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2	maybe	0.578339
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2	maybe	0.198453
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2	maybe	2.38868
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2	no	1.3881
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2	maybe	6.64593
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2	maybe	14.6518
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2	maybe	3.11267
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2	maybe	1.22292
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2	maybe	0.304491
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2	maybe	2.67571
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2	maybe	0.333051
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2	maybe	0.95656
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2	no	4.98311
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2	maybe	3.5877
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2	maybe	0.294911
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2	maybe	0.288686
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2	maybe	0.714047
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2	maybe	0.595602
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2	no	0.962355
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2	no	1.05733
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2	maybe	10.4186
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2	maybe	0.214017
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2	maybe	55.0486
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2	no	0.209876
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2	maybe	0.45191
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2	maybe	7.11054
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2	maybe	7.6173
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2	maybe	1.94205
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2	maybe	0.598361
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2	maybe	0.229582
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2	no	0.434456
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2	no	0.364121
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2	maybe	4.73048
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2	maybe	0.430118
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2	maybe	1.69564
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2	maybe	0.666192
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2	maybe	0.528321
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2	no	1.4606
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2	maybe	0.598864
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2	maybe	9.69984
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2	maybe	36.1342
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2	maybe	7.8545
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2	maybe	5.1574
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2	maybe	1.9452
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2	maybe	1.04798
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2	maybe	6.19315
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2	no	0.132681
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2	no	0.3077
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2	maybe	0.900741
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2	maybe	2.73333
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2	maybe	2.59886
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2	no	1.39629
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2	maybe	0.228957
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2	no	1.40813
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2	maybe	0.277191
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2	maybe	0.916414
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2	maybe	0.700264
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2	maybe	0.992135
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2	maybe	0.489024
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2	maybe	0.544235
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2	maybe	0.178041
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2	no	0.324526
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2	no	0.318354
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2	maybe	1.14701
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2	no	0.470455
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2	maybe	0.322552
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2	maybe	0.538875
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2	no	0.282677
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2	no	0.468734
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2	no	0.535546
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2	no	0.235098
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2	no	0.228789
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2	no	2.23378
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2	no	0.824297
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2	maybe	2.04251
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2	maybe	0.29349
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2	no	0.313793
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2	no	0.337747
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2	no	0.228198
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2	maybe	0.484658
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2	no	0.52428
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2	no	1.30301
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2	no	0.224482
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2	no	0.234262
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2	no	0.324617
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2	no	0.79166
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2	no	0.672075
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2	no	0.494811
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2	maybe	0.278636
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2	maybe	1.1382
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2	maybe	3.76402
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2	maybe	1.97979
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2	no	1.73375
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2	no	0.305177
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2	no	1.17647
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2	maybe	1.31665
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2	maybe	1.31412
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2	no	0.882163
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2	maybe	0.229241
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2	no	0.225468
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2	no	0.554874
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2	no	0.386734
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2	no	0.387976
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2	no	0.320856
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2	no	0.468166
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2	maybe	1.06394
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2	no	0.235744
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2	maybe	0.460514
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2	maybe	0.413721
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2	maybe	0.482302
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2	maybe	0.276986
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2	maybe	1.00504
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2	no	0.317336
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2	no	0.317732
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2	maybe	1.65105
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2	no	0.471286
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2	maybe	0.429582
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2	maybe	0.562518
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2	maybe	0.260621
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2	maybe	0.261252
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2	no	0.129773
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2	no	0.36009
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2	no	0.227061
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2	no	0.227888
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2	no	0.469906
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2	no	0.47096
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2	no	0.226771
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2	no	0.217443
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2	no	0.200116
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2	no	0.198953
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2	maybe	2.27675
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2	maybe	0.477339
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2	no	0.22917
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2	maybe	7.55993
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2	maybe	7.63486
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2	maybe	11.0812
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2	maybe	12.6358
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2	maybe	11.043
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2	maybe	7.46408
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2	maybe	12.0551
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2	maybe	12.0982
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2	maybe	12.0793
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2	maybe	7.99388
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2	maybe	9.16077
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2	maybe	7.69686
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2	maybe	0.669447
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2	maybe	0.947056
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2	maybe	13.4567
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2	maybe	47.9118
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2	maybe	4.22645
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2	maybe	0.942393
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2	maybe	0.947182
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2	maybe	1.26854
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2	maybe	47.4178
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2	maybe	47.6908
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2	maybe	5.94682
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2	maybe	1.06407
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2	maybe	32.6087
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2	maybe	1.49157
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2	maybe	1.08769
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2	maybe	1.06196
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2	maybe	47.4331
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2	maybe	0.999912
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2	maybe	6.63987
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2	maybe	47.386
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2	maybe	6.63935
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2	maybe	0.94234
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2	maybe	0.943622
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2	maybe	0.946961
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2	maybe	1.06295
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2	maybe	1.05863
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2	maybe	1.05828
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2	maybe	1.07147
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2	maybe	1.06731
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2	maybe	1.09619
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2	maybe	1.0736
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2	maybe	0.968354
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2	maybe	4.73832
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2	maybe	47.74
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2	maybe	4.9892
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2	maybe	47.512
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2	maybe	1.09444
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2	maybe	47.4213
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2	maybe	1.09675
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2	maybe	47.4515
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2	maybe	13.7914
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2	maybe	1.80269
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2	maybe	0.702645
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2	maybe	0.941603
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2	maybe	2.52605
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2	no	0.934731
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2	no	0.89837
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2	maybe	1.12672
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2	maybe	4.17907
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2	no	0.385509
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2	no	0.232966
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2	no	0.281328
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2	no	1.66338
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2	no	0.328225
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2	maybe	3.86002
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2	maybe	1.33819
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2	no	0.380429
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2	no	0.380641
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2	no	0.319515
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2	no	0.469514
Integer_Transition_Systems/From_T2/1.t2.smt2	no	0.857769
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2	no	20.6768
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2	no	16.1687
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2	no	14.5926
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2	no	14.4927
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2	no	15.3119
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2	no	15.4682
Integer_Transition_Systems/From_T2/2.t2.smt2	no	1.37478
Integer_Transition_Systems/From_T2/232.t2.smt2	maybe	0.424599
Integer_Transition_Systems/From_T2/241.t2.smt2	maybe	0.42806
Integer_Transition_Systems/From_T2/3.t2.smt2	no	0.258477
Integer_Transition_Systems/From_T2/5.t2.smt2	maybe	0.156161
Integer_Transition_Systems/From_T2/6.t2.smt2	no	0.259175
Integer_Transition_Systems/From_T2/7.t2.smt2	no	0.26504
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2	maybe	8.35611
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2	maybe	8.33609
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2	no	0.845173
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2	maybe	0.557294
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2	maybe	60.0355
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2	maybe	60.0363
Integer_Transition_Systems/From_T2/afagx1.t2.smt2	no	0.5829
Integer_Transition_Systems/From_T2/agafp.t2.smt2	no	53.5248
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2	no	54.7889
Integer_Transition_Systems/From_T2/andrey.t2.smt2	maybe	0.244601
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2	maybe	58.7171
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2	maybe	60.0871
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2	maybe	58.7322
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2	maybe	60.0162
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2	maybe	60.0153
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2	maybe	60.0213
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2	maybe	60.0411
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2	maybe	60.0351
Integer_Transition_Systems/From_T2/arith.t2.smt2	maybe	0.280942
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2	maybe	0.273556
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2	maybe	0.027103
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2	maybe	60.057
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2	maybe	0.360994
Integer_Transition_Systems/From_T2/array.t2.smt2	maybe	0.064929
Integer_Transition_Systems/From_T2/array2.t2.smt2	maybe	0.296769
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2	maybe	0.267726
Integer_Transition_Systems/From_T2/array3.t2.smt2	maybe	0.511069
Integer_Transition_Systems/From_T2/array4.t2.smt2	maybe	0.424087
Integer_Transition_Systems/From_T2/array_free.t2.smt2	maybe	0.536202
Integer_Transition_Systems/From_T2/array_free2.t2.smt2	maybe	0.499817
Integer_Transition_Systems/From_T2/array_init.t2.smt2	maybe	0.289991
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2	maybe	0.263975
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2	maybe	0.425652
Integer_Transition_Systems/From_T2/ase_example.t2.smt2	maybe	0.785255
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2	maybe	0.726894
Integer_Transition_Systems/From_T2/ax_test.t2.smt2	no	0.258758
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2	no	0.257279
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2	no	0.371711
Integer_Transition_Systems/From_T2/bakery.t2.smt2	no	5.40962
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2	no	5.39224
Integer_Transition_Systems/From_T2/bf10.t2.smt2	maybe	1.94414
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2	maybe	1.91794
Integer_Transition_Systems/From_T2/bf11.t2.smt2	maybe	1.96741
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2	maybe	1.91775
Integer_Transition_Systems/From_T2/bf12.t2.smt2	maybe	1.93952
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2	maybe	1.91794
Integer_Transition_Systems/From_T2/bf13.t2.smt2	maybe	1.93703
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2	maybe	1.91244
Integer_Transition_Systems/From_T2/bf14.t2.smt2	maybe	1.93147
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2	maybe	1.90624
Integer_Transition_Systems/From_T2/bf15.t2.smt2	maybe	1.9302
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2	maybe	1.90872
Integer_Transition_Systems/From_T2/bf16.t2.smt2	maybe	1.94028
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2	maybe	1.9164
Integer_Transition_Systems/From_T2/bf17.t2.smt2	maybe	1.96535
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2	maybe	1.89255
Integer_Transition_Systems/From_T2/bf18.t2.smt2	maybe	1.95985
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2	maybe	1.89017
Integer_Transition_Systems/From_T2/bf19.t2.smt2	maybe	1.97107
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2	maybe	1.88877
Integer_Transition_Systems/From_T2/bf20.t2.smt2	maybe	1.95677
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2	maybe	1.90178
Integer_Transition_Systems/From_T2/bf5.t2.smt2	maybe	1.9506
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2	maybe	1.87784
Integer_Transition_Systems/From_T2/bf6.t2.smt2	maybe	1.97144
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2	maybe	1.90262
Integer_Transition_Systems/From_T2/bf7.t2.smt2	maybe	1.96959
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2	maybe	1.8709
Integer_Transition_Systems/From_T2/bf8.t2.smt2	maybe	1.95303
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2	maybe	1.90858
Integer_Transition_Systems/From_T2/bf9.t2.smt2	maybe	1.95003
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2	maybe	1.91389
Integer_Transition_Systems/From_T2/bio.t2.smt2	maybe	49.1069
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2	maybe	0.658332
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2	maybe	0.636465
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2	maybe	0.660679
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2	maybe	0.626456
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2	maybe	0.592752
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2	maybe	60.0208
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2	maybe	55.4749
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2	maybe	60.013
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2	maybe	55.4745
Integer_Transition_Systems/From_T2/broydn.t2.smt2	maybe	57.3655
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2	maybe	55.4722
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2	maybe	60.044
Integer_Transition_Systems/From_T2/bs.t2.smt2	no	1.04454
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2	no	1.02297
Integer_Transition_Systems/From_T2/bsort100.t2.smt2	maybe	1.44029
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2	maybe	1.2398
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2	maybe	1.03696
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2	maybe	0.583531
Integer_Transition_Systems/From_T2/byron-1.t2.smt2	maybe	0.284404
Integer_Transition_Systems/From_T2/byron-2.t2.smt2	maybe	0.695952
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2	maybe	1.20047
Integer_Transition_Systems/From_T2/byron-3.t2.smt2	maybe	0.275818
Integer_Transition_Systems/From_T2/byron-4.t2.smt2	no	0.514943
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2	maybe	0.82126
Integer_Transition_Systems/From_T2/cfg.t2.smt2	maybe	0.3724
Integer_Transition_Systems/From_T2/cnt.t2.smt2	maybe	1.94601
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2	maybe	1.5498
Integer_Transition_Systems/From_T2/collatz.t2.smt2	maybe	0.577577
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2	maybe	1.15768
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2	maybe	0.343536
Integer_Transition_Systems/From_T2/compress.t2.smt2	no	52.2346
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2	maybe	16.3953
Integer_Transition_Systems/From_T2/constants.t2.smt2	maybe	0.371679
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2	maybe	0.335527
Integer_Transition_Systems/From_T2/consts1.t2.smt2	no	0.314259
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2	maybe	0.409355
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2	no	0.315373
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2	no	0.42301
Integer_Transition_Systems/From_T2/consts2.t2.smt2	maybe	0.271792
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2	maybe	0.287903
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2	maybe	0.27194
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2	no	0.282763
Integer_Transition_Systems/From_T2/consts3.t2.smt2	maybe	0.290837
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2	maybe	0.285463
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2	no	0.284405
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2	no	0.283823
Integer_Transition_Systems/From_T2/consts4.t2.smt2	maybe	0.276613
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2	maybe	0.288413
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2	maybe	0.276958
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2	no	0.282692
Integer_Transition_Systems/From_T2/consts5.t2.smt2	maybe	0.286736
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2	maybe	0.254856
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2	maybe	0.286198
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2	no	0.28595
Integer_Transition_Systems/From_T2/cover.t2.smt2	maybe	51.7244
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2	maybe	49.4672
Integer_Transition_Systems/From_T2/crc.t2.smt2	maybe	7.58481
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2	maybe	6.52871
Integer_Transition_Systems/From_T2/create.t2.smt2	maybe	0.458618
Integer_Transition_Systems/From_T2/create_seg.t2.smt2	maybe	0.475889
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2	maybe	1.83577
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2	maybe	3.22137
Integer_Transition_Systems/From_T2/ctl.t2.smt2	no	1.10235
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2	no	0.948033
Integer_Transition_Systems/From_T2/curious.t2.smt2	no	0.38236
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2	no	0.425819
Integer_Transition_Systems/From_T2/curious2.t2.smt2	maybe	0.065242
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2	maybe	0.0652849
Integer_Transition_Systems/From_T2/curious4.t2.smt2	no	50.0356
Integer_Transition_Systems/From_T2/d.t2.smt2	no	0.3447
Integer_Transition_Systems/From_T2/db.t2.smt2	maybe	0.143466
Integer_Transition_Systems/From_T2/db2.t2.smt2	maybe	55.4324
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2	maybe	56.6221
Integer_Transition_Systems/From_T2/db3.t2.smt2	maybe	55.404
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2	maybe	55.2765
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2	no	1.09421
Integer_Transition_Systems/From_T2/defect.t2.smt2	no	0.16109
Integer_Transition_Systems/From_T2/destroy.t2.smt2	maybe	1.90125
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2	maybe	3.29397
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2	maybe	2.10536
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2	maybe	3.55731
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2	no	3.18869
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2	no	3.86171
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2	no	1.28072
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2	maybe	60.0259
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2	maybe	0.428245
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2	maybe	0.065293
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2	no	5.74327
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2	maybe	0.0660999
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2	maybe	0.509148
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2	maybe	0.437836
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2	maybe	0.064554
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2	maybe	0.064942
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2	maybe	0.502055
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2	maybe	0.42963
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2	maybe	0.294273
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2	maybe	0.266796
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2	maybe	0.0648031
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2	maybe	0.065956
Integer_Transition_Systems/From_T2/dummy.t2.smt2	no	0.288697
Integer_Transition_Systems/From_T2/dumper.t2.smt2	no	51.9221
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2	no	17.796
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2	no	17.1268
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2	no	16.0399
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2	no	13.765
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2	no	13.9402
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2	no	13.8972
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2	no	13.941
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2	no	0.62549
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2	no	0.753329
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2	no	0.748967
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2	no	1.27768
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2	no	1.30525
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2	no	1.27048
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2	no	2.51125
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2	no	2.52352
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2	no	1.73608
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2	no	0.846135
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2	no	0.706641
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2	no	1.30006
Integer_Transition_Systems/From_T2/edn.t2.smt2	maybe	10.1973
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2	maybe	3.38425
Integer_Transition_Systems/From_T2/efegp.t2.smt2	no	26.9964
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2	no	38.435
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2	maybe	4.1637
Integer_Transition_Systems/From_T2/elmhes.t2.smt2	maybe	4.13879
Integer_Transition_Systems/From_T2/eric.t2.smt2	maybe	0.80386
Integer_Transition_Systems/From_T2/eric1.t2.smt2	maybe	1.09111
Integer_Transition_Systems/From_T2/eric2.t2.smt2	maybe	6.18417
Integer_Transition_Systems/From_T2/eric3.t2.smt2	no	0.516817
Integer_Transition_Systems/From_T2/ex1.t2.smt2	no	0.264151
Integer_Transition_Systems/From_T2/ex10.t2.smt2	maybe	0.642458
Integer_Transition_Systems/From_T2/ex11.t2.smt2	no	1.27181
Integer_Transition_Systems/From_T2/ex12.t2.smt2	maybe	0.296487
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2	maybe	0.265477
Integer_Transition_Systems/From_T2/ex13.t2.smt2	maybe	0.064727
Integer_Transition_Systems/From_T2/ex14.t2.smt2	maybe	0.298288
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2	maybe	0.280078
Integer_Transition_Systems/From_T2/ex15.t2.smt2	maybe	0.0660119
Integer_Transition_Systems/From_T2/ex16.t2.smt2	no	1.78214
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2	no	1.67462
Integer_Transition_Systems/From_T2/ex17.t2.smt2	maybe	1.27177
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2	maybe	1.01086
Integer_Transition_Systems/From_T2/ex18.t2.smt2	maybe	1.04528
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2	maybe	1.20883
Integer_Transition_Systems/From_T2/ex19.t2.smt2	no	0.475259
Integer_Transition_Systems/From_T2/ex2.t2.smt2	no	0.56595
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2	no	0.566838
Integer_Transition_Systems/From_T2/ex20.t2.smt2	maybe	0.602148
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2	maybe	0.577712
Integer_Transition_Systems/From_T2/ex21.t2.smt2	maybe	0.516365
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2	maybe	0.435891
Integer_Transition_Systems/From_T2/ex22.t2.smt2	maybe	9.02693
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2	maybe	6.47457
Integer_Transition_Systems/From_T2/ex23.t2.smt2	maybe	0.348983
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2	maybe	0.317623
Integer_Transition_Systems/From_T2/ex26.t2.smt2	maybe	0.828916
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2	maybe	0.734661
Integer_Transition_Systems/From_T2/ex27.t2.smt2	maybe	55.6562
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2	maybe	55.2182
Integer_Transition_Systems/From_T2/ex29.t2.smt2	maybe	0.0993071
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2	maybe	0.095091
Integer_Transition_Systems/From_T2/ex3.t2.smt2	maybe	0.352521
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2	maybe	0.324352
Integer_Transition_Systems/From_T2/ex30.t2.smt2	maybe	0.518256
Integer_Transition_Systems/From_T2/ex31.t2.smt2	no	0.516
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2	no	0.498469
Integer_Transition_Systems/From_T2/ex32.t2.smt2	maybe	0.821769
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2	maybe	0.681317
Integer_Transition_Systems/From_T2/ex33.t2.smt2	maybe	0.0669341
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2	maybe	0.0674069
Integer_Transition_Systems/From_T2/ex34.t2.smt2	maybe	0.073792
Integer_Transition_Systems/From_T2/ex36.t2.smt2	maybe	57.4713
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2	maybe	52.45
Integer_Transition_Systems/From_T2/ex4.t2.smt2	maybe	1.45563
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2	maybe	1.06863
Integer_Transition_Systems/From_T2/ex40.t2.smt2	no	0.340944
Integer_Transition_Systems/From_T2/ex6.t2.smt2	maybe	0.065703
Integer_Transition_Systems/From_T2/ex7.t2.smt2	maybe	0.305014
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2	maybe	0.275275
Integer_Transition_Systems/From_T2/ex8.t2.smt2	no	0.869633
Integer_Transition_Systems/From_T2/ex9.t2.smt2	no	1.17487
Integer_Transition_Systems/From_T2/example.t2.smt2	maybe	0.549124
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2	no	49.5753
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2	maybe	60.0346
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2	no	23.7094
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2	no	20.3569
Integer_Transition_Systems/From_T2/fdct.t2.smt2	maybe	0.735298
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2	maybe	0.553964
Integer_Transition_Systems/From_T2/fermat.t2.smt2	maybe	0.87387
Integer_Transition_Systems/From_T2/fibcall.t2.smt2	maybe	0.291084
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2	maybe	0.286887
Integer_Transition_Systems/From_T2/fir.t2.smt2	maybe	1.87024
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2	maybe	2.00046
Integer_Transition_Systems/From_T2/firewire.t2.smt2	maybe	47.8631
Integer_Transition_Systems/From_T2/flipflop.t2.smt2	no	0.282941
Integer_Transition_Systems/From_T2/florian.t2.smt2	maybe	0.240214
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2	maybe	2.41339
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2	maybe	1.65313
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2	maybe	1.93591
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2	maybe	16.079
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2	maybe	1.89843
Integer_Transition_Systems/From_T2/foo.t2.smt2	maybe	11.3647
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2	maybe	11.9817
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2	no	13.1593
Integer_Transition_Systems/From_T2/fourn.t2.smt2	no	11.8502
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2	maybe	0.522333
Integer_Transition_Systems/From_T2/fun1.t2.smt2	no	8.90621
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2	no	3.25121
Integer_Transition_Systems/From_T2/fun10.t2.smt2	no	32.0157
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2	no	32.0655
Integer_Transition_Systems/From_T2/fun10b.t2.smt2	no	19.5324
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2	no	19.7535
Integer_Transition_Systems/From_T2/fun11.t2.smt2	no	0.576669
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2	no	0.754711
Integer_Transition_Systems/From_T2/fun1b.t2.smt2	no	8.82328
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2	no	3.24115
Integer_Transition_Systems/From_T2/fun2.t2.smt2	maybe	31.9293
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2	maybe	4.58921
Integer_Transition_Systems/From_T2/fun2b.t2.smt2	maybe	31.9857
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2	maybe	4.57492
Integer_Transition_Systems/From_T2/fun3.t2.smt2	maybe	32.1031
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2	maybe	1.22104
Integer_Transition_Systems/From_T2/fun4.t2.smt2	no	0.610238
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2	maybe	1.50148
Integer_Transition_Systems/From_T2/fun5.t2.smt2	no	5.81257
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2	maybe	51.1752
Integer_Transition_Systems/From_T2/fun6.t2.smt2	no	30.2661
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2	no	24.6192
Integer_Transition_Systems/From_T2/fun7.t2.smt2	no	3.15923
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2	no	4.67764
Integer_Transition_Systems/From_T2/fun8.t2.smt2	maybe	1.85037
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2	maybe	2.787
Integer_Transition_Systems/From_T2/fun9.t2.smt2	maybe	8.36248
Integer_Transition_Systems/From_T2/graycode.t2.smt2	maybe	5.97319
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2	maybe	5.77088
Integer_Transition_Systems/From_T2/hand7.t2.smt2	no	0.36884
Integer_Transition_Systems/From_T2/heidy1.t2.smt2	no	0.26562
Integer_Transition_Systems/From_T2/heidy10.t2.smt2	maybe	0.561811
Integer_Transition_Systems/From_T2/heidy2.t2.smt2	no	0.350954
Integer_Transition_Systems/From_T2/heidy3.t2.smt2	no	0.469407
Integer_Transition_Systems/From_T2/heidy5.t2.smt2	maybe	0.345688
Integer_Transition_Systems/From_T2/heidy6.t2.smt2	no	0.701117
Integer_Transition_Systems/From_T2/heidy7.t2.smt2	no	0.779146
Integer_Transition_Systems/From_T2/heidy8.t2.smt2	no	0.7926
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2	no	0.79416
Integer_Transition_Systems/From_T2/heidy9.t2.smt2	maybe	0.289606
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2	maybe	56.5333
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2	maybe	56.627
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2	maybe	56.5659
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2	maybe	56.9051
Integer_Transition_Systems/From_T2/hqr.t2.smt2	maybe	56.5025
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2	maybe	59.1477
Integer_Transition_Systems/From_T2/huh.t2.smt2	maybe	0.660791
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2	maybe	0.644768
Integer_Transition_Systems/From_T2/iecs.t2.smt2	maybe	0.272618
Integer_Transition_Systems/From_T2/insertsort.t2.smt2	no	0.503397
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2	no	0.48141
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2	no	0.51868
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2	maybe	11.3355
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2	maybe	11.687
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2	maybe	11.5643
Integer_Transition_Systems/From_T2/jacobi.t2.smt2	maybe	11.2932
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2	maybe	11.3731
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2	no	4.86706
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2	maybe	3.10933
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2	maybe	0.690518
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2	maybe	5.47577
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2	maybe	5.26768
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2	maybe	1.90008
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2	maybe	1.25496
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2	maybe	0.575322
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2	maybe	0.560128
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2	maybe	4.51434
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2	maybe	0.571035
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2	maybe	0.572405
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2	maybe	5.19163
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2	maybe	0.586339
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2	maybe	3.34952
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2	maybe	2.5484
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2	maybe	1.14442
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2	maybe	1.12661
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2	maybe	1.15899
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2	maybe	0.619482
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2	maybe	0.67917
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2	maybe	1.02647
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2	maybe	0.519025
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2	maybe	1.48264
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2	maybe	0.913874
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2	maybe	0.669322
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2	maybe	0.686724
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2	maybe	0.61899
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2	maybe	0.646972
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2	maybe	1.9811
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2	maybe	1.29602
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2	maybe	5.3438
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2	maybe	0.57578
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2	maybe	2.98782
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2	maybe	1.29199
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2	maybe	0.938138
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2	maybe	1.60796
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2	maybe	1.57069
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2	maybe	1.34462
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2	maybe	0.922525
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2	maybe	0.740584
Integer_Transition_Systems/From_T2/l1.t2.smt2	maybe	0.286832
Integer_Transition_Systems/From_T2/loop3.t2.smt2	maybe	59.4237
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2	maybe	16.1186
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2	maybe	0.573616
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2	maybe	0.561349
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2	maybe	14.9914
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2	maybe	14.4912
Integer_Transition_Systems/From_T2/magic.t2.smt2	maybe	14.0799
Integer_Transition_Systems/From_T2/matmul.t2.smt2	maybe	1.50927
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2	maybe	1.09412
Integer_Transition_Systems/From_T2/matmult.t2.smt2	maybe	2.12768
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2	maybe	1.62529
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2	maybe	1.4544
Integer_Transition_Systems/From_T2/mc91.t2.smt2	maybe	0.417989
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2	maybe	0.762861
Integer_Transition_Systems/From_T2/mc91test.t2.smt2	maybe	0.718407
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2	maybe	1.78445
Integer_Transition_Systems/From_T2/minmax.t2.smt2	maybe	0.091219
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2	maybe	0.0898159
Integer_Transition_Systems/From_T2/n-1.t2.smt2	no	0.385872
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2	no	0.503888
Integer_Transition_Systems/From_T2/n-10.t2.smt2	no	0.540237
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2	no	0.728425
Integer_Transition_Systems/From_T2/n-12.t2.smt2	no	0.513523
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2	no	0.844015
Integer_Transition_Systems/From_T2/n-12a.t2.smt2	no	0.289475
Integer_Transition_Systems/From_T2/n-13.t2.smt2	no	0.283359
Integer_Transition_Systems/From_T2/n-14.t2.smt2	no	0.519769
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2	no	0.816244
Integer_Transition_Systems/From_T2/n-15.t2.smt2	no	0.407682
Integer_Transition_Systems/From_T2/n-15a.t2.smt2	no	0.728991
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2	maybe	0.876999
Integer_Transition_Systems/From_T2/n-16a.t2.smt2	maybe	0.279554
Integer_Transition_Systems/From_T2/n-17.t2.smt2	no	0.433293
Integer_Transition_Systems/From_T2/n-18.t2.smt2	no	0.28621
Integer_Transition_Systems/From_T2/n-18a.t2.smt2	maybe	0.275652
Integer_Transition_Systems/From_T2/n-1c.t2.smt2	no	0.526181
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2	no	0.712518
Integer_Transition_Systems/From_T2/n-1d.t2.smt2	no	0.525853
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2	no	0.828243
Integer_Transition_Systems/From_T2/n-20.t2.smt2	no	0.426523
Integer_Transition_Systems/From_T2/n-21.t2.smt2	no	0.429816
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2	no	0.419432
Integer_Transition_Systems/From_T2/n-3.t2.smt2	no	0.415318
Integer_Transition_Systems/From_T2/n-32.t2.smt2	no	0.497723
Integer_Transition_Systems/From_T2/n-33.t2.smt2	no	1.16886
Integer_Transition_Systems/From_T2/n-36.t2.smt2	no	0.830149
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2	no	0.804151
Integer_Transition_Systems/From_T2/n-37.t2.smt2	no	0.27724
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2	no	0.276498
Integer_Transition_Systems/From_T2/n-38.t2.smt2	maybe	0.0669491
Integer_Transition_Systems/From_T2/n-3a.t2.smt2	no	0.998668
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2	no	2.30765
Integer_Transition_Systems/From_T2/n-4.t2.smt2	no	2.00811
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2	no	3.60511
Integer_Transition_Systems/From_T2/n-40.t2.smt2	no	2.60572
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2	maybe	3.0521
Integer_Transition_Systems/From_T2/n-46.t2.smt2	no	0.309087
Integer_Transition_Systems/From_T2/n-48.t2.smt2	maybe	0.341172
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2	maybe	0.337689
Integer_Transition_Systems/From_T2/n-5.t2.smt2	no	1.52981
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2	no	1.58415
Integer_Transition_Systems/From_T2/n-6.t2.smt2	no	0.524929
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2	no	0.833298
Integer_Transition_Systems/From_T2/n-6a.t2.smt2	no	0.491126
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2	no	0.73822
Integer_Transition_Systems/From_T2/n-7.t2.smt2	no	0.398375
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2	no	0.443145
Integer_Transition_Systems/From_T2/n-8.t2.smt2	no	0.51932
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2	no	0.708653
Integer_Transition_Systems/From_T2/n-8a.t2.smt2	no	0.304902
Integer_Transition_Systems/From_T2/n-9.t2.smt2	no	0.631599
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2	no	1.31481
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2	maybe	19.1269
Integer_Transition_Systems/From_T2/nakata.t2.smt2	maybe	9.2185
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2	maybe	48.8431
Integer_Transition_Systems/From_T2/ndes.t2.smt2	maybe	57.9723
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2	maybe	50.7031
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2	no	17.324
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2	no	20.9187
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2	no	14.9683
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2	no	15.0189
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2	no	14.4571
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2	no	14.4704
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2	no	0.857858
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2	no	0.862607
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2	no	17.8691
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2	no	13.7814
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2	no	13.8107
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2	no	13.7065
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2	no	13.7636
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2	no	0.755719
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2	no	0.755481
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2	no	0.639567
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2	no	0.638707
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2	no	1.21827
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2	no	1.21643
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2	no	1.19961
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2	no	1.18755
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2	no	1.74047
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2	no	2.49062
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2	no	2.47808
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2	no	0.833287
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2	no	1.26854
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2	no	1.27903
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2	no	1.28025
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2	no	1.27382
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2	no	1.72071
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2	no	1.72738
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2	no	2.1864
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2	no	2.20914
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2	no	0.713959
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2	no	0.713468
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2	no	1.18586
Integer_Transition_Systems/From_T2/neg.t2.smt2	maybe	0.02673
Integer_Transition_Systems/From_T2/nested.t2.smt2	maybe	0.519562
Integer_Transition_Systems/From_T2/nested2.t2.smt2	maybe	0.457539
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2	maybe	0.444021
Integer_Transition_Systems/From_T2/non_term.t2.smt2	maybe	0.281515
Integer_Transition_Systems/From_T2/ns.t2.smt2	maybe	1.416
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2	maybe	1.03378
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2	no	0.261328
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2	maybe	27.4897
Integer_Transition_Systems/From_T2/p-1.t2.smt2	no	0.303033
Integer_Transition_Systems/From_T2/p-10.t2.smt2	no	0.311698
Integer_Transition_Systems/From_T2/p-12.t2.smt2	maybe	0.303451
Integer_Transition_Systems/From_T2/p-13.t2.smt2	maybe	0.0643521
Integer_Transition_Systems/From_T2/p-14.t2.smt2	maybe	0.286969
Integer_Transition_Systems/From_T2/p-15.t2.smt2	maybe	0.287177
Integer_Transition_Systems/From_T2/p-19.t2.smt2	no	0.301903
Integer_Transition_Systems/From_T2/p-19a.t2.smt2	no	0.312786
Integer_Transition_Systems/From_T2/p-1a.t2.smt2	no	0.308443
Integer_Transition_Systems/From_T2/p-1b.t2.smt2	maybe	0.293975
Integer_Transition_Systems/From_T2/p-1c.t2.smt2	no	0.307829
Integer_Transition_Systems/From_T2/p-1d.t2.smt2	maybe	0.642316
Integer_Transition_Systems/From_T2/p-20.t2.smt2	no	0.367252
Integer_Transition_Systems/From_T2/p-21.t2.smt2	maybe	0.552857
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2	maybe	0.534989
Integer_Transition_Systems/From_T2/p-22.t2.smt2	maybe	0.340071
Integer_Transition_Systems/From_T2/p-3.t2.smt2	maybe	0.56766
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2	maybe	0.553373
Integer_Transition_Systems/From_T2/p-32.t2.smt2	no	0.496766
Integer_Transition_Systems/From_T2/p-33.t2.smt2	no	0.831468
Integer_Transition_Systems/From_T2/p-34.t2.smt2	no	0.755666
Integer_Transition_Systems/From_T2/p-36.t2.smt2	no	0.483812
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2	no	0.478586
Integer_Transition_Systems/From_T2/p-37.t2.smt2	maybe	0.342391
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2	maybe	0.334308
Integer_Transition_Systems/From_T2/p-38.t2.smt2	maybe	0.087275
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2	maybe	0.0907231
Integer_Transition_Systems/From_T2/p-4.t2.smt2	maybe	0.544703
Integer_Transition_Systems/From_T2/p-40.t2.smt2	maybe	0.362438
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2	maybe	0.357369
Integer_Transition_Systems/From_T2/p-41.t2.smt2	maybe	0.065436
Integer_Transition_Systems/From_T2/p-42.t2.smt2	maybe	0.541447
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2	maybe	6.62871
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2	maybe	9.18245
Integer_Transition_Systems/From_T2/p-43.t2.smt2	maybe	0.516541
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2	maybe	0.793874
Integer_Transition_Systems/From_T2/p-44.t2.smt2	maybe	0.281643
Integer_Transition_Systems/From_T2/p-45.t2.smt2	maybe	0.419212
Integer_Transition_Systems/From_T2/p-46.t2.smt2	no	0.698086
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2	no	1.26977
Integer_Transition_Systems/From_T2/p-49.t2.smt2	maybe	0.292853
Integer_Transition_Systems/From_T2/p-5.t2.smt2	no	1.53302
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2	no	1.58454
Integer_Transition_Systems/From_T2/p-50.t2.smt2	maybe	0.067984
Integer_Transition_Systems/From_T2/p-52.t2.smt2	no	0.308982
Integer_Transition_Systems/From_T2/p-53.t2.smt2	maybe	0.0659039
Integer_Transition_Systems/From_T2/p-55.t2.smt2	maybe	0.617995
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2	maybe	1.20394
Integer_Transition_Systems/From_T2/p-56.t2.smt2	maybe	0.365063
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2	maybe	0.661282
Integer_Transition_Systems/From_T2/p-58.t2.smt2	maybe	0.131114
Integer_Transition_Systems/From_T2/p-6.t2.smt2	maybe	0.897698
Integer_Transition_Systems/From_T2/p-60.t2.smt2	maybe	0.359196
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2	maybe	0.327094
Integer_Transition_Systems/From_T2/p-61.t2.smt2	maybe	0.314677
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2	maybe	0.281577
Integer_Transition_Systems/From_T2/p-62.t2.smt2	maybe	0.0678091
Integer_Transition_Systems/From_T2/p-63.t2.smt2	maybe	0.339993
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2	maybe	0.339271
Integer_Transition_Systems/From_T2/p-7.t2.smt2	maybe	0.406148
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2	maybe	0.450409
Integer_Transition_Systems/From_T2/p-7b.t2.smt2	maybe	0.303398
Integer_Transition_Systems/From_T2/p-8.t2.smt2	no	0.302707
Integer_Transition_Systems/From_T2/p.t2.smt2	maybe	4.84749
Integer_Transition_Systems/From_T2/p_armc.t2.smt2	no	2.67469
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2	maybe	0.933188
Integer_Transition_Systems/From_T2/peculiar.t2.smt2	no	2.32077
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2	no	2.29795
Integer_Transition_Systems/From_T2/pentagon.t2.smt2	maybe	0.826345
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2	no	1.24543
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2	no	1.25734
Integer_Transition_Systems/From_T2/pgarch.t2.smt2	maybe	60.0444
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2	maybe	48.9191
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2	no	42.3935
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2	no	28.3382
Integer_Transition_Systems/From_T2/polling.t2.smt2	no	14.8692
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2	no	9.57373
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2	maybe	0.273612
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2	maybe	0.277646
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2	maybe	0.406073
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2	maybe	0.405927
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2	maybe	0.486195
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2	maybe	0.450719
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2	no	0.369899
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2	no	1.65529
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2	no	1.66059
Integer_Transition_Systems/From_T2/ppblock.t2.smt2	no	0.932189
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2	no	1.07768
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2	maybe	0.515661
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2	no	0.950396
Integer_Transition_Systems/From_T2/prime.t2.smt2	no	2.12665
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2	no	2.10016
Integer_Transition_Systems/From_T2/print.t2.smt2	maybe	24.3944
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2	maybe	21.2989
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2	maybe	4.30057
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2	maybe	4.25834
Integer_Transition_Systems/From_T2/queens.t2.smt2	maybe	5.00193
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2	maybe	4.85659
Integer_Transition_Systems/From_T2/queue_1.t2.smt2	maybe	1.61674
Integer_Transition_Systems/From_T2/queue_10.t2.smt2	maybe	1.71113
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2	maybe	1.61645
Integer_Transition_Systems/From_T2/queue_100.t2.smt2	maybe	1.72885
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2	maybe	1.61821
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2	maybe	1.7007
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2	maybe	1.61486
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2	maybe	2.83677
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2	maybe	2.92749
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2	maybe	0.370598
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2	no	0.498486
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2	no	1.44226
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2	no	2.71317
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2	no	2.28072
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2	no	2.2732
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2	maybe	0.0657451
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2	maybe	0.065806
Integer_Transition_Systems/From_T2/reverse.t2.smt2	maybe	60.0986
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2	maybe	31.2747
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2	no	3.68323
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2	maybe	4.84476
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2	maybe	4.04236
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2	maybe	5.37529
Integer_Transition_Systems/From_T2/rewrite.t2.smt2	no	0.263767
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2	no	5.28823
Integer_Transition_Systems/From_T2/rlft3.t2.smt2	no	5.26911
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2	no	2.36262
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2	maybe	5.33129
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2	maybe	7.5681
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2	maybe	59.9955
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2	maybe	51.9634
Integer_Transition_Systems/From_T2/s1.t2.smt2	maybe	48.4491
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2	maybe	51.623
Integer_Transition_Systems/From_T2/s2.t2.smt2	maybe	0.288352
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2	maybe	0.277554
Integer_Transition_Systems/From_T2/s3-work.t2.smt2	maybe	59.7332
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2	maybe	53.4295
Integer_Transition_Systems/From_T2/s3.t2.smt2	maybe	60.0357
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2	maybe	60.1006
Integer_Transition_Systems/From_T2/s4.t2.smt2	maybe	60.0159
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2	maybe	60.022
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2	maybe	1.49826
Integer_Transition_Systems/From_T2/sas2.t2.smt2	maybe	16.0962
Integer_Transition_Systems/From_T2/select.t2.smt2	no	10.5417
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2	no	9.65389
Integer_Transition_Systems/From_T2/selectSort.t2.smt2	maybe	1.51071
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2	maybe	0.554743
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2	maybe	0.530145
Integer_Transition_Systems/From_T2/seq.t2.smt2	maybe	0.292925
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2	maybe	0.067326
Integer_Transition_Systems/From_T2/simple.t2.smt2	no	0.382935
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2	maybe	0.621688
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2	maybe	0.263143
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2	maybe	0.336796
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2	maybe	0.434751
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2	maybe	0.0643749
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2	maybe	0.064764
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2	maybe	0.066168
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2	maybe	0.065007
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2	maybe	0.06708
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2	maybe	0.0670401
Integer_Transition_Systems/From_T2/simple_test.t2.smt2	maybe	0.976436
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2	no	0.27207
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2	maybe	1.45531
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2	maybe	2.3174
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2	maybe	0.303782
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2	maybe	0.277629
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2	maybe	55.4076
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2	maybe	60.0149
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2	maybe	50.6752
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2	maybe	60.0137
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2	maybe	53.1073
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2	maybe	60.0178
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2	no	3.3915
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2	no	0.808544
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2	no	1.83196
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2	maybe	2.62938
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2	no	0.301895
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2	no	0.285853
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2	maybe	0.53182
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2	maybe	0.524249
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2	no	4.10293
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2	no	0.705526
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2	no	0.706261
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2	no	0.726144
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2	no	0.727411
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2	no	0.722426
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2	no	0.711585
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2	no	0.711618
Integer_Transition_Systems/From_T2/small01.t2.smt2	no	0.328185
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2	maybe	0.43078
Integer_Transition_Systems/From_T2/small02.t2.smt2	no	0.37723
Integer_Transition_Systems/From_T2/small03.t2.smt2	no	0.260949
Integer_Transition_Systems/From_T2/small04.t2.smt2	no	0.264308
Integer_Transition_Systems/From_T2/small05.t2.smt2	no	0.281242
Integer_Transition_Systems/From_T2/small06.t2.smt2	maybe	0.742407
Integer_Transition_Systems/From_T2/small07.t2.smt2	maybe	1.66466
Integer_Transition_Systems/From_T2/small08.t2.smt2	maybe	1.7346
Integer_Transition_Systems/From_T2/small09.t2.smt2	maybe	1.70674
Integer_Transition_Systems/From_T2/small10.t2.smt2	maybe	0.551494
Integer_Transition_Systems/From_T2/small11.t2.smt2	no	0.249561
Integer_Transition_Systems/From_T2/small12.t2.smt2	maybe	0.372561
Integer_Transition_Systems/From_T2/small13.t2.smt2	maybe	0.587594
Integer_Transition_Systems/From_T2/small14.t2.smt2	no	1.04883
Integer_Transition_Systems/From_T2/small15.t2.smt2	no	0.486095
Integer_Transition_Systems/From_T2/small16.t2.smt2	no	0.489129
Integer_Transition_Systems/From_T2/small17.t2.smt2	no	0.474632
Integer_Transition_Systems/From_T2/small18.t2.smt2	no	0.533452
Integer_Transition_Systems/From_T2/small19.t2.smt2	maybe	0.548016
Integer_Transition_Systems/From_T2/small20.t2.smt2	maybe	0.427527
Integer_Transition_Systems/From_T2/small21.t2.smt2	maybe	0.433643
Integer_Transition_Systems/From_T2/small22.t2.smt2	no	0.784778
Integer_Transition_Systems/From_T2/small23.t2.smt2	no	0.568432
Integer_Transition_Systems/From_T2/small24.t2.smt2	no	0.260332
Integer_Transition_Systems/From_T2/small26.t2.smt2	maybe	0.292995
Integer_Transition_Systems/From_T2/small27.t2.smt2	maybe	0.129163
Integer_Transition_Systems/From_T2/small28.t2.smt2	maybe	0.295384
Integer_Transition_Systems/From_T2/small29.t2.smt2	no	0.280163
Integer_Transition_Systems/From_T2/small31.t2.smt2	maybe	0.089709
Integer_Transition_Systems/From_T2/small32.t2.smt2	maybe	0.129206
Integer_Transition_Systems/From_T2/small33.t2.smt2	maybe	0.128745
Integer_Transition_Systems/From_T2/small34.t2.smt2	maybe	0.28634
Integer_Transition_Systems/From_T2/small35.t2.smt2	no	0.267169
Integer_Transition_Systems/From_T2/sort.t2.smt2	maybe	4.43906
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2	maybe	4.40533
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2	maybe	16.1061
Integer_Transition_Systems/From_T2/spctrm.t2.smt2	maybe	16.3227
Integer_Transition_Systems/From_T2/spiral.t2.smt2	maybe	1.22558
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2	maybe	3.15246
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2	no	1.67654
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2	no	1.99194
Integer_Transition_Systems/From_T2/st88.t2.smt2	no	1.31094
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2	no	1.21186
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2	no	1.08406
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2	no	1.04411
Integer_Transition_Systems/From_T2/statemate.t2.smt2	maybe	54.8563
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2	maybe	54.7285
Integer_Transition_Systems/From_T2/stored.t2.smt2	no	0.703967
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2	no	12.8134
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2	no	12.6513
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2	no	13.7951
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2	no	13.597
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2	no	0.282623
Integer_Transition_Systems/From_T2/sudoku.t2.smt2	maybe	17.4675
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2	maybe	57.7687
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2	maybe	56.4702
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2	maybe	58.6311
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2	maybe	56.4148
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2	no	0.44115
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2	maybe	3.88927
Integer_Transition_Systems/From_T2/toeplz.t2.smt2	maybe	3.84716
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2	maybe	7.52016
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2	maybe	7.06233
Integer_Transition_Systems/From_T2/tqli.t2.smt2	maybe	7.5527
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2	maybe	7.12012
Integer_Transition_Systems/From_T2/traverse.t2.smt2	maybe	5.44138
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2	maybe	7.65438
Integer_Transition_Systems/From_T2/traverse2.t2.smt2	maybe	13.4314
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2	maybe	14.2297
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2	maybe	7.65066
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2	maybe	8.89371
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2	maybe	5.94209
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2	maybe	8.66145
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2	maybe	55.3492
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2	maybe	20.5464
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2	maybe	1.59054
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2	maybe	1.11455
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2	maybe	2.13462
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2	maybe	1.48788
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2	maybe	2.13741
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2	maybe	2.141
Integer_Transition_Systems/From_T2/ud.t2.smt2	maybe	4.70084
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2	maybe	4.08695
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2	maybe	0.065117
Integer_Transition_Systems/From_T2/w1.t2.smt2	no	0.288449
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2	no	1.34511
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2	no	2.59923
Integer_Transition_Systems/From_T2/walk.t2.smt2	no	0.975876
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2	no	0.97985
Integer_Transition_Systems/From_T2/weakness.t2.smt2	maybe	0.278322
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2	maybe	0.273467
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2	maybe	7.53877
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2	no	0.897633
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2	no	0.960968
Integer_Transition_Systems/From_T2/wtf.t2.smt2	maybe	4.58105
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2	maybe	9.18993
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2	maybe	9.34394
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2	maybe	5.55266
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2	maybe	6.28588
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2	maybe	29.6774
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2	maybe	17.3475
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2	maybe	1.3934
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2	maybe	1.84328