iRankFinder

name	result	time
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2	yes	1.34588
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2	yes	2.60462
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2	yes	1.93415
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2	maybe	5.06837
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2	yes	2.32909
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2	yes	4.43314
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2	yes	2.19391
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2	yes	2.09672
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2	yes	28.3071
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2	yes	3.81897
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2	maybe	5.93847
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2	yes	4.26563
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2	maybe	6.73617
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2	yes	2.22024
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2	yes	1.52832
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2	maybe	16.4903
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2	yes	3.38185
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2	yes	3.51456
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2	maybe	14.7012
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2	maybe	60.0794
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2	yes	1.93464
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2	yes	17.5116
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2	yes	1.27872
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2	yes	2.54131
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2	yes	6.28449
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2	yes	1.6765
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2	yes	4.12227
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2	maybe	4.29013
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2	maybe	3.70403
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2	yes	1.4292
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2	yes	1.49456
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2	maybe	20.8177
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2	maybe	1.29023
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2	yes	1.48006
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2	maybe	7.42637
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2	maybe	19.9474
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2	maybe	44.7737
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2	maybe	17.5283
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2	maybe	7.43894
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2	maybe	7.7075
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2	yes	2.27697
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2	yes	3.5861
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2	yes	3.79029
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2	yes	2.41931
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2	yes	1.28988
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2	maybe	18.5338
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2	yes	4.92238
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2	maybe	60.0287
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2	maybe	60.0224
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2	yes	1.41346
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2	yes	5.58451
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2	maybe	60.0382
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2	maybe	15.4825
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2	yes	1.86852
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2	maybe	60.0282
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2	yes	1.63646
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2	yes	1.28349
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2	yes	1.27659
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2	yes	5.08305
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2	yes	1.30616
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2	yes	5.10007
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2	yes	7.8257
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2	yes	1.31989
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2	yes	1.74597
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2	yes	1.41426
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2	yes	2.61603
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2	yes	3.38893
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2	yes	1.73067
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2	yes	1.75761
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2	yes	2.92885
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2	yes	3.53708
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2	yes	3.73611
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2	yes	4.1131
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2	yes	3.72217
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2	yes	4.07121
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2	maybe	5.602
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2	yes	1.48055
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2	maybe	4.04188
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2	maybe	4.16845
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2	yes	1.48825
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2	maybe	4.21466
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2	yes	1.47771
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2	yes	2.01822
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2	yes	1.5439
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2	yes	2.31559
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2	yes	1.27732
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2	yes	2.51099
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2	yes	2.06599
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2	maybe	15.9456
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2	maybe	22.2453
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2	maybe	19.8187
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2	maybe	16.6312
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2	maybe	13.5053
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2	yes	16.2056
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2	yes	2.70166
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2	yes	2.34869
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2	yes	1.73828
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2	yes	1.7475
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2	maybe	3.76475
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2	yes	5.54481
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2	maybe	60.0508
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2	yes	5.37523
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2	yes	1.68431
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2	yes	1.27354
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2	yes	16.9919
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2	maybe	1.29131
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2	yes	2.90316
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2	yes	2.07599
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2	yes	1.48353
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2	yes	11.631
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2	yes	22.9645
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2	yes	2.61527
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2	maybe	14.7814
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2	yes	5.28758
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2	maybe	60.0327
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2	yes	1.31846
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2	maybe	41.9288
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2	maybe	60.0999
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2	maybe	6.09352
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2	maybe	8.55159
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2	maybe	3.64664
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2	yes	2.09174
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2	yes	3.29705
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2	yes	2.26626
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2	maybe	27.1683
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2	yes	1.59569
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2	yes	3.41159
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2	yes	4.09826
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2	yes	3.59699
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2	yes	1.69012
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2	yes	1.45737
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2	yes	1.54325
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2	maybe	3.36976
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2	yes	2.3596
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2	maybe	1.28333
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2	yes	1.4335
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2	maybe	4.00055
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2	maybe	60.0249
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2	maybe	19.4563
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2	maybe	25.9154
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2	maybe	20.5047
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2	maybe	10.5831
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2	maybe	20.5909
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2	maybe	60.1003
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2	yes	1.6561
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2	yes	15.548
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2	yes	1.32407
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2	yes	1.9359
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2	yes	2.65631
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2	yes	20.7302
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2	yes	5.65199
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2	yes	4.51416
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2	yes	4.58508
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2	maybe	9.92404
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2	maybe	60.0234
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2	maybe	1.2941
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2	maybe	1.28134
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2	maybe	1.29351
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2	maybe	3.45946
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2	maybe	1.29459
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2	maybe	6.36302
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2	maybe	1.29951
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2	maybe	3.63067
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2	maybe	4.99208
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2	maybe	4.76097
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2	maybe	6.09079
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2	maybe	1.28745
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2	maybe	1.72175
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2	maybe	5.0585
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2	maybe	3.71403
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2	maybe	4.10937
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2	yes	1.87787
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2	yes	1.81752
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2	yes	4.59882
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2	maybe	10.6415
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2	maybe	60.0752
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2	yes	1.27922
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2	yes	40.0348
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2	yes	6.29558
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2	yes	1.69715
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2	yes	2.92859
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2	yes	1.31328
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2	yes	1.36283
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2	yes	1.43008
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2	yes	1.37874
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2	yes	1.31349
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2	yes	1.38101
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2	yes	1.30798
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2	yes	1.79141
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2	yes	2.13657
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2	yes	1.52695
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2	yes	9.14513
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2	yes	1.84099
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2	yes	1.98884
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2	yes	1.67254
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2	yes	1.84155
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2	yes	2.47288
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2	yes	1.33355
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2	yes	1.3372
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2	yes	1.3078
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2	yes	1.46523
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2	yes	1.31467
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2	yes	1.37619
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2	yes	2.1546
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2	yes	1.70985
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2	yes	1.55048
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2	yes	1.92814
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2	yes	1.74836
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2	yes	1.6793
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2	yes	1.56558
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2	yes	1.3941
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2	yes	2.12654
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2	yes	1.31325
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2	yes	6.18536
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2	maybe	41.4878
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2	yes	12.4236
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2	maybe	60.0386
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2	maybe	60.0598
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2	yes	4.06424
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2	yes	2.7433
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2	yes	5.97895
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2	maybe	4.48767
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2	yes	1.77915
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2	maybe	12.3741
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2	yes	4.9942
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2	yes	1.53158
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2	yes	1.27069
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2	yes	1.95682
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2	yes	2.27354
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2	maybe	7.24591
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2	maybe	6.2056
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2	maybe	49.8981
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2	yes	1.29442
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2	yes	26.6905
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2	maybe	3.74351
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2	yes	1.59974
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2	yes	21.5447
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2	yes	16.623
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2	yes	3.69489
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2	yes	2.20617
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2	yes	1.27679
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2	maybe	4.12076
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2	maybe	3.61395
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2	yes	6.90948
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2	yes	3.36167
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2	yes	2.34547
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2	yes	4.42194
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2	yes	3.29329
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2	maybe	9.60995
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2	yes	4.89818
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2	yes	10.9225
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2	maybe	60.0288
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2	yes	12.6281
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2	maybe	60.0929
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2	maybe	10.094
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2	yes	2.96916
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2	yes	6.97278
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2	maybe	1.2949
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2	maybe	2.99252
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2	yes	2.3608
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2	yes	6.4023
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2	yes	6.34223
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2	maybe	22.1885
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2	yes	1.27423
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2	maybe	10.1938
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2	maybe	3.81999
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2	maybe	4.84517
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2	maybe	6.21108
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2	maybe	6.78199
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2	maybe	15.7719
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2	maybe	20.9638
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2	maybe	3.33718
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2	maybe	3.84521
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2	maybe	3.63854
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2	maybe	32.5712
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2	maybe	5.28829
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2	maybe	5.59763
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2	maybe	4.89173
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2	maybe	3.45435
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2	maybe	5.38289
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2	maybe	5.55577
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2	maybe	4.11223
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2	maybe	3.40236
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2	maybe	9.39413
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2	maybe	6.44618
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2	maybe	17.9648
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2	maybe	6.21025
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2	maybe	10.2776
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2	maybe	10.6836
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2	maybe	3.48134
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2	maybe	6.65284
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2	maybe	5.0083
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2	maybe	45.1549
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2	maybe	3.23478
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2	maybe	4.15581
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2	maybe	5.64536
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2	maybe	11.287
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2	maybe	4.308
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2	maybe	9.35458
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2	maybe	3.82353
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2	maybe	10.3344
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2	maybe	56.0001
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2	maybe	60.0905
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2	maybe	7.52156
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2	maybe	4.52015
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2	maybe	11.8599
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2	maybe	15.6365
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2	maybe	15.5487
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2	maybe	8.51679
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2	yes	1.27025
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2	maybe	3.21273
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2	maybe	3.82189
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2	maybe	5.78562
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2	maybe	5.86877
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2	maybe	3.85903
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2	maybe	5.41788
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2	maybe	49.3839
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2	maybe	4.14466
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2	yes	1.68672
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2	maybe	6.72366
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2	maybe	7.46354
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2	maybe	3.84245
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2	maybe	6.82693
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2	maybe	3.91173
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2	maybe	3.6267
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2	maybe	24.0196
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2	maybe	5.34055
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2	yes	2.77862
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2	yes	1.59884
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2	yes	1.37281
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2	yes	1.43993
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2	maybe	1.29174
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2	maybe	5.47559
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2	maybe	3.24268
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2	maybe	3.22075
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2	maybe	5.31767
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2	maybe	5.41693
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2	maybe	3.52358
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2	maybe	3.14571
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2	maybe	2.79046
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2	maybe	2.87882
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2	maybe	49.5032
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2	maybe	6.01634
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2	maybe	3.88908
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2	yes	16.0142
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2	yes	16.3442
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2	yes	20.423
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2	yes	34.2332
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2	yes	20.4682
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2	yes	15.0666
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2	yes	21.7991
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2	yes	22.1821
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2	yes	21.732
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2	yes	15.3468
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2	yes	25.7635
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2	yes	16.0767
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2	yes	2.0589
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2	yes	2.60583
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2	maybe	60.0371
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2	maybe	60.033
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2	yes	18.5404
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2	yes	2.64228
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2	yes	2.6077
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2	yes	3.24696
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2	maybe	60.0204
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2	maybe	60.1063
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2	yes	15.3942
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2	yes	3.08755
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2	maybe	60.0747
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2	yes	4.84331
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2	yes	3.60825
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2	yes	3.09186
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2	maybe	60.0938
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2	yes	2.63005
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2	yes	20.8386
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2	maybe	60.0367
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2	yes	20.9229
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2	yes	2.61803
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2	yes	2.68481
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2	yes	2.60909
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2	yes	3.05693
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2	yes	3.09425
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2	yes	3.13316
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2	yes	3.90312
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2	yes	3.86711
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2	yes	5.50002
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2	yes	3.86966
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2	yes	2.65196
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2	yes	29.1057
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2	maybe	60.0848
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2	yes	28.4377
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2	maybe	60.0976
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2	yes	3.81307
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2	maybe	60.0242
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2	yes	5.46106
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2	maybe	60.0182
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2	yes	50.5378
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2	yes	5.36589
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2	yes	1.98563
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2	yes	2.64688
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2	yes	4.44913
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2	maybe	4.33703
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2	maybe	13.2669
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2	maybe	10.3403
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2	maybe	52.358
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2	maybe	4.12228
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2	maybe	3.62199
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2	maybe	3.33945
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2	maybe	7.48306
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2	maybe	4.52923
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2	maybe	60.0435
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2	maybe	20.6806
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2	maybe	4.19225
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2	maybe	4.1461
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2	maybe	3.84981
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2	maybe	5.50025
Integer_Transition_Systems/From_T2/1.t2.smt2	maybe	27.2638
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2	maybe	60.1032
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2	maybe	60.0559
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2	maybe	60.0394
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2	maybe	60.0193
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2	maybe	60.0337
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2	maybe	60.0248
Integer_Transition_Systems/From_T2/2.t2.smt2	maybe	58.4054
Integer_Transition_Systems/From_T2/232.t2.smt2	yes	2.05782
Integer_Transition_Systems/From_T2/241.t2.smt2	yes	2.00578
Integer_Transition_Systems/From_T2/3.t2.smt2	maybe	3.28511
Integer_Transition_Systems/From_T2/5.t2.smt2	yes	1.16575
Integer_Transition_Systems/From_T2/6.t2.smt2	maybe	3.442
Integer_Transition_Systems/From_T2/7.t2.smt2	maybe	4.09187
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2	maybe	60.0314
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2	maybe	60.0608
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2	maybe	29.8388
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2	maybe	9.07021
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2	maybe	60.0239
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2	maybe	60.0745
Integer_Transition_Systems/From_T2/afagx1.t2.smt2	maybe	8.12894
Integer_Transition_Systems/From_T2/agafp.t2.smt2	maybe	60.1424
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2	maybe	60.0461
Integer_Transition_Systems/From_T2/andrey.t2.smt2	yes	1.4233
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2	maybe	60.0326
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2	maybe	60.0495
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2	maybe	60.1061
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2	maybe	60.0227
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2	maybe	60.0415
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2	maybe	60.0332
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2	maybe	60.1017
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2	maybe	60.0525
Integer_Transition_Systems/From_T2/arith.t2.smt2	yes	1.95405
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2	yes	1.68333
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2	yes	1.03105
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2	maybe	60.0475
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2	yes	3.78622
Integer_Transition_Systems/From_T2/array.t2.smt2	yes	1.11724
Integer_Transition_Systems/From_T2/array2.t2.smt2	yes	1.79005
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2	yes	1.6798
Integer_Transition_Systems/From_T2/array3.t2.smt2	yes	2.6774
Integer_Transition_Systems/From_T2/array4.t2.smt2	yes	2.51789
Integer_Transition_Systems/From_T2/array_free.t2.smt2	yes	2.5993
Integer_Transition_Systems/From_T2/array_free2.t2.smt2	yes	2.44943
Integer_Transition_Systems/From_T2/array_init.t2.smt2	yes	2.07297
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2	yes	1.81472
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2	yes	2.61021
Integer_Transition_Systems/From_T2/ase_example.t2.smt2	yes	4.94606
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2	yes	4.34396
Integer_Transition_Systems/From_T2/ax_test.t2.smt2	maybe	3.26404
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2	maybe	3.2364
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2	maybe	4.55999
Integer_Transition_Systems/From_T2/bakery.t2.smt2	maybe	60.0901
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2	maybe	60.0327
Integer_Transition_Systems/From_T2/bf10.t2.smt2	yes	14.7654
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2	yes	12.6066
Integer_Transition_Systems/From_T2/bf11.t2.smt2	yes	13.2296
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2	yes	11.7743
Integer_Transition_Systems/From_T2/bf12.t2.smt2	yes	13.5464
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2	yes	11.817
Integer_Transition_Systems/From_T2/bf13.t2.smt2	yes	13.2629
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2	yes	11.7562
Integer_Transition_Systems/From_T2/bf14.t2.smt2	yes	13.6286
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2	yes	10.7738
Integer_Transition_Systems/From_T2/bf15.t2.smt2	yes	14.1021
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2	yes	11.7695
Integer_Transition_Systems/From_T2/bf16.t2.smt2	yes	13.6519
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2	yes	11.8471
Integer_Transition_Systems/From_T2/bf17.t2.smt2	yes	13.0922
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2	yes	11.7957
Integer_Transition_Systems/From_T2/bf18.t2.smt2	yes	13.9319
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2	yes	11.8434
Integer_Transition_Systems/From_T2/bf19.t2.smt2	yes	13.2383
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2	yes	11.7276
Integer_Transition_Systems/From_T2/bf20.t2.smt2	yes	14.5631
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2	yes	11.838
Integer_Transition_Systems/From_T2/bf5.t2.smt2	yes	13.298
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2	yes	10.3184
Integer_Transition_Systems/From_T2/bf6.t2.smt2	yes	13.2592
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2	yes	11.3783
Integer_Transition_Systems/From_T2/bf7.t2.smt2	yes	16.9584
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2	yes	13.5939
Integer_Transition_Systems/From_T2/bf8.t2.smt2	yes	14.545
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2	yes	12.4286
Integer_Transition_Systems/From_T2/bf9.t2.smt2	yes	14.1295
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2	yes	12.4273
Integer_Transition_Systems/From_T2/bio.t2.smt2	maybe	60.047
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2	yes	4.60238
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2	yes	5.70769
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2	yes	4.63147
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2	yes	5.79299
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2	yes	3.79421
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2	maybe	60.0321
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2	maybe	60.0191
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2	maybe	60.0777
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2	maybe	60.02
Integer_Transition_Systems/From_T2/broydn.t2.smt2	maybe	60.0851
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2	maybe	60.0401
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2	maybe	60.035
Integer_Transition_Systems/From_T2/bs.t2.smt2	maybe	60.0236
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2	maybe	60.0564
Integer_Transition_Systems/From_T2/bsort100.t2.smt2	yes	17.9775
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2	yes	15.3596
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2	yes	5.89896
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2	yes	3.84546
Integer_Transition_Systems/From_T2/byron-1.t2.smt2	yes	1.9146
Integer_Transition_Systems/From_T2/byron-2.t2.smt2	yes	5.11922
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2	yes	5.661
Integer_Transition_Systems/From_T2/byron-3.t2.smt2	yes	1.93445
Integer_Transition_Systems/From_T2/byron-4.t2.smt2	maybe	9.88069
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2	yes	3.66156
Integer_Transition_Systems/From_T2/cfg.t2.smt2	maybe	6.77917
Integer_Transition_Systems/From_T2/cnt.t2.smt2	maybe	60.0204
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2	yes	48.2724
Integer_Transition_Systems/From_T2/collatz.t2.smt2	maybe	9.46243
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2	maybe	42.8427
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2	yes	2.36046
Integer_Transition_Systems/From_T2/compress.t2.smt2	maybe	60.0205
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2	maybe	60.0357
Integer_Transition_Systems/From_T2/constants.t2.smt2	yes	3.55643
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2	yes	3.15794
Integer_Transition_Systems/From_T2/consts1.t2.smt2	maybe	4.56138
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2	maybe	7.25073
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2	maybe	4.57497
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2	maybe	3.96431
Integer_Transition_Systems/From_T2/consts2.t2.smt2	maybe	3.90167
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2	yes	1.40093
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2	maybe	3.87166
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2	maybe	3.42858
Integer_Transition_Systems/From_T2/consts3.t2.smt2	yes	1.49393
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2	yes	1.41779
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2	maybe	3.78367
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2	maybe	3.43447
Integer_Transition_Systems/From_T2/consts4.t2.smt2	maybe	4.32035
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2	yes	1.41118
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2	maybe	4.20853
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2	maybe	3.44184
Integer_Transition_Systems/From_T2/consts5.t2.smt2	maybe	6.19247
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2	yes	2.13186
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2	maybe	6.20942
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2	maybe	3.87558
Integer_Transition_Systems/From_T2/cover.t2.smt2	maybe	60.072
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2	maybe	60.0386
Integer_Transition_Systems/From_T2/crc.t2.smt2	maybe	60.0403
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2	maybe	60.0246
Integer_Transition_Systems/From_T2/create.t2.smt2	yes	4.1431
Integer_Transition_Systems/From_T2/create_seg.t2.smt2	yes	5.06684
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2	yes	25.6585
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2	yes	28.0587
Integer_Transition_Systems/From_T2/ctl.t2.smt2	maybe	20.2203
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2	maybe	18.0736
Integer_Transition_Systems/From_T2/curious.t2.smt2	maybe	4.09792
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2	maybe	4.08154
Integer_Transition_Systems/From_T2/curious2.t2.smt2	yes	1.19696
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2	yes	1.09398
Integer_Transition_Systems/From_T2/curious4.t2.smt2	maybe	60.0538
Integer_Transition_Systems/From_T2/d.t2.smt2	maybe	4.55489
Integer_Transition_Systems/From_T2/db.t2.smt2	yes	1.69776
Integer_Transition_Systems/From_T2/db2.t2.smt2	maybe	60.0552
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2	maybe	60.0197
Integer_Transition_Systems/From_T2/db3.t2.smt2	maybe	60.0651
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2	maybe	60.0187
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2	maybe	60.1207
Integer_Transition_Systems/From_T2/defect.t2.smt2	maybe	1.45803
Integer_Transition_Systems/From_T2/destroy.t2.smt2	yes	29.1715
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2	yes	33.4712
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2	yes	36.5272
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2	yes	40.2648
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2	maybe	60.021
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2	maybe	60.0296
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2	maybe	21.8718
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2	maybe	60.0181
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2	yes	3.44734
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2	yes	1.20563
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2	maybe	60.0702
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2	yes	1.15346
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2	yes	2.84211
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2	yes	2.48556
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2	yes	1.14969
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2	yes	1.13908
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2	yes	2.64825
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2	yes	2.49823
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2	yes	1.84721
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2	yes	1.66185
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2	yes	1.15656
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2	yes	1.14863
Integer_Transition_Systems/From_T2/dummy.t2.smt2	maybe	4.02039
Integer_Transition_Systems/From_T2/dumper.t2.smt2	maybe	60.0804
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2	maybe	60.0394
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2	maybe	60.0404
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2	maybe	60.067
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2	maybe	60.018
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2	maybe	60.023
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2	maybe	60.0997
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2	maybe	60.0294
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2	maybe	8.10966
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2	maybe	21.4085
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2	maybe	21.385
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2	maybe	23.7096
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2	maybe	25.1971
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2	maybe	24.1282
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2	maybe	60.0371
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2	maybe	60.0182
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2	maybe	51.5514
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2	maybe	19.1314
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2	maybe	11.6169
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2	maybe	60.0385
Integer_Transition_Systems/From_T2/edn.t2.smt2	maybe	60.0697
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2	maybe	60.0832
Integer_Transition_Systems/From_T2/efegp.t2.smt2	maybe	60.0424
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2	maybe	60.0225
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2	yes	16.5372
Integer_Transition_Systems/From_T2/elmhes.t2.smt2	yes	17.7861
Integer_Transition_Systems/From_T2/eric.t2.smt2	maybe	27.0897
Integer_Transition_Systems/From_T2/eric1.t2.smt2	yes	3.36013
Integer_Transition_Systems/From_T2/eric2.t2.smt2	maybe	60.0295
Integer_Transition_Systems/From_T2/eric3.t2.smt2	maybe	8.45067
Integer_Transition_Systems/From_T2/ex1.t2.smt2	maybe	4.37112
Integer_Transition_Systems/From_T2/ex10.t2.smt2	maybe	34.7441
Integer_Transition_Systems/From_T2/ex11.t2.smt2	maybe	28.1913
Integer_Transition_Systems/From_T2/ex12.t2.smt2	yes	1.80255
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2	yes	1.68203
Integer_Transition_Systems/From_T2/ex13.t2.smt2	yes	1.15341
Integer_Transition_Systems/From_T2/ex14.t2.smt2	yes	1.76273
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2	yes	1.669
Integer_Transition_Systems/From_T2/ex15.t2.smt2	yes	1.23627
Integer_Transition_Systems/From_T2/ex16.t2.smt2	maybe	50.3641
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2	maybe	36.6795
Integer_Transition_Systems/From_T2/ex17.t2.smt2	yes	6.73486
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2	yes	6.1292
Integer_Transition_Systems/From_T2/ex18.t2.smt2	yes	10.3725
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2	yes	9.25541
Integer_Transition_Systems/From_T2/ex19.t2.smt2	maybe	14.904
Integer_Transition_Systems/From_T2/ex2.t2.smt2	maybe	7.81862
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2	maybe	7.08864
Integer_Transition_Systems/From_T2/ex20.t2.smt2	yes	3.94804
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2	yes	3.67545
Integer_Transition_Systems/From_T2/ex21.t2.smt2	yes	3.25604
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2	yes	2.73497
Integer_Transition_Systems/From_T2/ex22.t2.smt2	yes	58.743
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2	maybe	60.0543
Integer_Transition_Systems/From_T2/ex23.t2.smt2	yes	2.31995
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2	yes	2.01161
Integer_Transition_Systems/From_T2/ex26.t2.smt2	yes	6.10142
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2	yes	5.53173
Integer_Transition_Systems/From_T2/ex27.t2.smt2	maybe	60.0243
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2	maybe	60.0356
Integer_Transition_Systems/From_T2/ex29.t2.smt2	yes	10.2385
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2	yes	9.51815
Integer_Transition_Systems/From_T2/ex3.t2.smt2	yes	2.74924
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2	yes	2.47488
Integer_Transition_Systems/From_T2/ex30.t2.smt2	yes	3.38111
Integer_Transition_Systems/From_T2/ex31.t2.smt2	maybe	11.7658
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2	maybe	10.7949
Integer_Transition_Systems/From_T2/ex32.t2.smt2	yes	3.87954
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2	yes	3.53298
Integer_Transition_Systems/From_T2/ex33.t2.smt2	yes	2.03781
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2	yes	1.89129
Integer_Transition_Systems/From_T2/ex34.t2.smt2	yes	2.07229
Integer_Transition_Systems/From_T2/ex36.t2.smt2	maybe	60.0834
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2	maybe	60.0481
Integer_Transition_Systems/From_T2/ex4.t2.smt2	yes	7.87518
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2	yes	7.22048
Integer_Transition_Systems/From_T2/ex40.t2.smt2	maybe	8.88458
Integer_Transition_Systems/From_T2/ex6.t2.smt2	yes	1.53374
Integer_Transition_Systems/From_T2/ex7.t2.smt2	yes	2.24958
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2	yes	2.0885
Integer_Transition_Systems/From_T2/ex8.t2.smt2	maybe	26.2088
Integer_Transition_Systems/From_T2/ex9.t2.smt2	maybe	36.3696
Integer_Transition_Systems/From_T2/example.t2.smt2	yes	1.67291
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2	maybe	60.0294
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2	maybe	60.0306
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2	maybe	60.0667
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2	maybe	60.1116
Integer_Transition_Systems/From_T2/fdct.t2.smt2	yes	11.0253
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2	yes	6.35437
Integer_Transition_Systems/From_T2/fermat.t2.smt2	yes	14.6623
Integer_Transition_Systems/From_T2/fibcall.t2.smt2	yes	3.53189
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2	yes	3.19539
Integer_Transition_Systems/From_T2/fir.t2.smt2	yes	18.6458
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2	yes	13.0021
Integer_Transition_Systems/From_T2/firewire.t2.smt2	maybe	60.0915
Integer_Transition_Systems/From_T2/flipflop.t2.smt2	maybe	3.56793
Integer_Transition_Systems/From_T2/florian.t2.smt2	yes	1.3075
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2	yes	18.1103
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2	yes	4.70135
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2	yes	6.09137
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2	maybe	60.0457
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2	maybe	60.0325
Integer_Transition_Systems/From_T2/foo.t2.smt2	maybe	60.0725
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2	maybe	60.0393
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2	maybe	60.0361
Integer_Transition_Systems/From_T2/fourn.t2.smt2	maybe	60.0586
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2	yes	2.40339
Integer_Transition_Systems/From_T2/fun1.t2.smt2	maybe	60.0684
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2	maybe	60.0447
Integer_Transition_Systems/From_T2/fun10.t2.smt2	maybe	60.0984
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2	maybe	60.0243
Integer_Transition_Systems/From_T2/fun10b.t2.smt2	maybe	60.0399
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2	maybe	60.095
Integer_Transition_Systems/From_T2/fun11.t2.smt2	maybe	10.8135
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2	maybe	22.1513
Integer_Transition_Systems/From_T2/fun1b.t2.smt2	maybe	60.0859
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2	maybe	60.0503
Integer_Transition_Systems/From_T2/fun2.t2.smt2	yes	51.2835
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2	yes	35.023
Integer_Transition_Systems/From_T2/fun2b.t2.smt2	yes	50.9291
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2	yes	35.1404
Integer_Transition_Systems/From_T2/fun3.t2.smt2	yes	51.1817
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2	yes	5.67556
Integer_Transition_Systems/From_T2/fun4.t2.smt2	maybe	18.5834
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2	maybe	18.6122
Integer_Transition_Systems/From_T2/fun5.t2.smt2	maybe	60.0387
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2	maybe	60.0933
Integer_Transition_Systems/From_T2/fun6.t2.smt2	maybe	60.0685
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2	maybe	60.0436
Integer_Transition_Systems/From_T2/fun7.t2.smt2	maybe	60.0964
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2	maybe	60.0962
Integer_Transition_Systems/From_T2/fun8.t2.smt2	yes	31.0425
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2	yes	34.525
Integer_Transition_Systems/From_T2/fun9.t2.smt2	maybe	60.0483
Integer_Transition_Systems/From_T2/graycode.t2.smt2	yes	54.7853
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2	yes	54.2957
Integer_Transition_Systems/From_T2/hand7.t2.smt2	maybe	4.11568
Integer_Transition_Systems/From_T2/heidy1.t2.smt2	maybe	4.01696
Integer_Transition_Systems/From_T2/heidy10.t2.smt2	yes	2.45527
Integer_Transition_Systems/From_T2/heidy2.t2.smt2	maybe	7.35004
Integer_Transition_Systems/From_T2/heidy3.t2.smt2	maybe	4.91099
Integer_Transition_Systems/From_T2/heidy5.t2.smt2	yes	1.94073
Integer_Transition_Systems/From_T2/heidy6.t2.smt2	maybe	8.56209
Integer_Transition_Systems/From_T2/heidy7.t2.smt2	maybe	20.3945
Integer_Transition_Systems/From_T2/heidy8.t2.smt2	maybe	24.865
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2	maybe	24.6352
Integer_Transition_Systems/From_T2/heidy9.t2.smt2	yes	1.58347
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2	maybe	60.0484
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2	maybe	60.4148
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2	maybe	60.0504
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2	maybe	60.0336
Integer_Transition_Systems/From_T2/hqr.t2.smt2	maybe	60.0554
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2	maybe	60.0467
Integer_Transition_Systems/From_T2/huh.t2.smt2	yes	9.74138
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2	yes	9.22368
Integer_Transition_Systems/From_T2/iecs.t2.smt2	yes	1.51292
Integer_Transition_Systems/From_T2/insertsort.t2.smt2	maybe	10.7045
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2	maybe	8.87671
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2	maybe	15.2718
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2	yes	36.5417
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2	yes	35.9544
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2	yes	34.8751
Integer_Transition_Systems/From_T2/jacobi.t2.smt2	yes	31.2814
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2	yes	30.5141
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2	maybe	60.0467
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2	maybe	60.1079
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2	yes	4.26222
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2	yes	10.2598
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2	yes	45.5903
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2	yes	22.2585
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2	maybe	25.8369
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2	yes	2.7057
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2	yes	2.49226
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2	yes	13.3614
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2	yes	2.71553
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2	yes	2.50458
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2	maybe	60.035
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2	yes	3.92005
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2	maybe	60.0254
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2	maybe	60.0256
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2	yes	9.96612
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2	yes	5.02828
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2	yes	6.61345
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2	yes	3.23139
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2	yes	3.89389
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2	yes	6.55038
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2	yes	2.60068
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2	yes	4.52631
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2	yes	7.82338
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2	yes	3.66685
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2	yes	4.25007
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2	yes	3.73653
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2	yes	3.88416
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2	yes	5.77281
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2	yes	4.75595
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2	yes	33.251
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2	yes	4.33328
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2	yes	25.1002
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2	yes	5.33095
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2	yes	4.17234
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2	yes	7.81485
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2	yes	6.93393
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2	yes	5.79605
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2	yes	9.55106
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2	yes	8.18981
Integer_Transition_Systems/From_T2/l1.t2.smt2	maybe	4.7951
Integer_Transition_Systems/From_T2/loop3.t2.smt2	maybe	60.0345
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2	maybe	60.0385
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2	yes	1.98182
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2	yes	1.86346
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2	yes	28.782
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2	yes	29.3721
Integer_Transition_Systems/From_T2/magic.t2.smt2	maybe	60.0317
Integer_Transition_Systems/From_T2/matmul.t2.smt2	yes	10.9005
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2	yes	8.65783
Integer_Transition_Systems/From_T2/matmult.t2.smt2	yes	22.3791
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2	yes	20.1106
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2	yes	12.4686
Integer_Transition_Systems/From_T2/mc91.t2.smt2	maybe	19.2132
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2	yes	1.99563
Integer_Transition_Systems/From_T2/mc91test.t2.smt2	maybe	60.0189
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2	yes	5.20231
Integer_Transition_Systems/From_T2/minmax.t2.smt2	yes	8.32267
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2	yes	7.84518
Integer_Transition_Systems/From_T2/n-1.t2.smt2	maybe	5.99518
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2	maybe	11.3765
Integer_Transition_Systems/From_T2/n-10.t2.smt2	maybe	29.7828
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2	maybe	60.0524
Integer_Transition_Systems/From_T2/n-12.t2.smt2	maybe	7.38471
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2	maybe	8.2275
Integer_Transition_Systems/From_T2/n-12a.t2.smt2	maybe	3.58958
Integer_Transition_Systems/From_T2/n-13.t2.smt2	maybe	3.69775
Integer_Transition_Systems/From_T2/n-14.t2.smt2	maybe	7.24488
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2	maybe	8.88674
Integer_Transition_Systems/From_T2/n-15.t2.smt2	maybe	5.3269
Integer_Transition_Systems/From_T2/n-15a.t2.smt2	maybe	8.39063
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2	maybe	10.3796
Integer_Transition_Systems/From_T2/n-16a.t2.smt2	maybe	4.04896
Integer_Transition_Systems/From_T2/n-17.t2.smt2	maybe	4.7927
Integer_Transition_Systems/From_T2/n-18.t2.smt2	maybe	3.64105
Integer_Transition_Systems/From_T2/n-18a.t2.smt2	maybe	4.08904
Integer_Transition_Systems/From_T2/n-1c.t2.smt2	maybe	13.9207
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2	maybe	27.0554
Integer_Transition_Systems/From_T2/n-1d.t2.smt2	maybe	8.65445
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2	maybe	9.68975
Integer_Transition_Systems/From_T2/n-20.t2.smt2	maybe	8.28945
Integer_Transition_Systems/From_T2/n-21.t2.smt2	maybe	8.82304
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2	maybe	7.17401
Integer_Transition_Systems/From_T2/n-3.t2.smt2	maybe	5.39169
Integer_Transition_Systems/From_T2/n-32.t2.smt2	maybe	4.70594
Integer_Transition_Systems/From_T2/n-33.t2.smt2	maybe	26.5365
Integer_Transition_Systems/From_T2/n-36.t2.smt2	maybe	44.8672
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2	maybe	39.4927
Integer_Transition_Systems/From_T2/n-37.t2.smt2	maybe	7.26595
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2	maybe	7.01723
Integer_Transition_Systems/From_T2/n-38.t2.smt2	yes	1.25685
Integer_Transition_Systems/From_T2/n-3a.t2.smt2	maybe	16.7984
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2	maybe	16.5153
Integer_Transition_Systems/From_T2/n-4.t2.smt2	maybe	21.6108
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2	maybe	21.5243
Integer_Transition_Systems/From_T2/n-40.t2.smt2	maybe	22.9842
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2	maybe	26.7257
Integer_Transition_Systems/From_T2/n-46.t2.smt2	maybe	5.27849
Integer_Transition_Systems/From_T2/n-48.t2.smt2	maybe	6.92904
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2	maybe	6.94625
Integer_Transition_Systems/From_T2/n-5.t2.smt2	maybe	22.3789
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2	maybe	22.9009
Integer_Transition_Systems/From_T2/n-6.t2.smt2	maybe	13.2969
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2	maybe	29.1628
Integer_Transition_Systems/From_T2/n-6a.t2.smt2	maybe	7.63777
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2	maybe	13.9108
Integer_Transition_Systems/From_T2/n-7.t2.smt2	maybe	6.26687
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2	maybe	6.63635
Integer_Transition_Systems/From_T2/n-8.t2.smt2	maybe	20.8515
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2	maybe	43.2943
Integer_Transition_Systems/From_T2/n-8a.t2.smt2	maybe	5.59167
Integer_Transition_Systems/From_T2/n-9.t2.smt2	maybe	24.4064
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2	maybe	40.617
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2	maybe	60.1036
Integer_Transition_Systems/From_T2/nakata.t2.smt2	maybe	60.0266
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2	maybe	60.0421
Integer_Transition_Systems/From_T2/ndes.t2.smt2	maybe	60.0484
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2	maybe	60.0316
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2	maybe	60.0355
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2	maybe	60.0428
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2	maybe	60.057
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2	maybe	60.0942
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2	maybe	60.0238
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2	maybe	60.0186
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2	maybe	38.8283
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2	maybe	38.9195
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2	maybe	60.0492
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2	maybe	60.0297
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2	maybe	60.0243
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2	maybe	60.0511
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2	maybe	60.0818
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2	maybe	25.5791
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2	maybe	25.6475
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2	maybe	9.62143
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2	maybe	9.77333
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2	maybe	18.8841
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2	maybe	17.7215
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2	maybe	17.2645
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2	maybe	16.2728
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2	maybe	51.419
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2	maybe	59.6999
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2	maybe	59.8991
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2	maybe	17.5414
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2	maybe	50.4886
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2	maybe	23.8116
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2	maybe	24.6092
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2	maybe	23.4941
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2	maybe	49.6221
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2	maybe	49.4991
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2	maybe	60.031
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2	maybe	60.0251
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2	maybe	13.9392
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2	maybe	13.7681
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2	maybe	60.0525
Integer_Transition_Systems/From_T2/neg.t2.smt2	yes	1.06484
Integer_Transition_Systems/From_T2/nested.t2.smt2	yes	3.40364
Integer_Transition_Systems/From_T2/nested2.t2.smt2	yes	3.26451
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2	yes	2.93334
Integer_Transition_Systems/From_T2/non_term.t2.smt2	maybe	4.39588
Integer_Transition_Systems/From_T2/ns.t2.smt2	yes	27.065
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2	yes	20.2751
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2	maybe	4.08451
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2	maybe	60.0409
Integer_Transition_Systems/From_T2/p-1.t2.smt2	maybe	4.26076
Integer_Transition_Systems/From_T2/p-10.t2.smt2	maybe	6.46508
Integer_Transition_Systems/From_T2/p-12.t2.smt2	yes	1.62655
Integer_Transition_Systems/From_T2/p-13.t2.smt2	yes	1.30378
Integer_Transition_Systems/From_T2/p-14.t2.smt2	yes	1.60497
Integer_Transition_Systems/From_T2/p-15.t2.smt2	yes	1.58531
Integer_Transition_Systems/From_T2/p-19.t2.smt2	maybe	5.24918
Integer_Transition_Systems/From_T2/p-19a.t2.smt2	maybe	5.80719
Integer_Transition_Systems/From_T2/p-1a.t2.smt2	maybe	4.315
Integer_Transition_Systems/From_T2/p-1b.t2.smt2	yes	1.73452
Integer_Transition_Systems/From_T2/p-1c.t2.smt2	maybe	4.28954
Integer_Transition_Systems/From_T2/p-1d.t2.smt2	yes	2.91151
Integer_Transition_Systems/From_T2/p-20.t2.smt2	maybe	7.44791
Integer_Transition_Systems/From_T2/p-21.t2.smt2	yes	2.66218
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2	yes	2.20074
Integer_Transition_Systems/From_T2/p-22.t2.smt2	yes	1.84149
Integer_Transition_Systems/From_T2/p-3.t2.smt2	yes	2.51258
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2	yes	2.63318
Integer_Transition_Systems/From_T2/p-32.t2.smt2	maybe	4.75622
Integer_Transition_Systems/From_T2/p-33.t2.smt2	maybe	9.8566
Integer_Transition_Systems/From_T2/p-34.t2.smt2	maybe	60.0937
Integer_Transition_Systems/From_T2/p-36.t2.smt2	maybe	15.8532
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2	maybe	13.9914
Integer_Transition_Systems/From_T2/p-37.t2.smt2	yes	3.28601
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2	yes	3.16228
Integer_Transition_Systems/From_T2/p-38.t2.smt2	yes	5.23462
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2	yes	6.13827
Integer_Transition_Systems/From_T2/p-4.t2.smt2	yes	2.52799
Integer_Transition_Systems/From_T2/p-40.t2.smt2	yes	2.68055
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2	yes	2.50738
Integer_Transition_Systems/From_T2/p-41.t2.smt2	yes	1.15443
Integer_Transition_Systems/From_T2/p-42.t2.smt2	yes	2.20109
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2	maybe	60.0577
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2	maybe	60.0612
Integer_Transition_Systems/From_T2/p-43.t2.smt2	yes	8.64231
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2	yes	11.5588
Integer_Transition_Systems/From_T2/p-44.t2.smt2	yes	1.91394
Integer_Transition_Systems/From_T2/p-45.t2.smt2	yes	2.40002
Integer_Transition_Systems/From_T2/p-46.t2.smt2	maybe	26.2614
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2	maybe	60.0381
Integer_Transition_Systems/From_T2/p-49.t2.smt2	yes	1.64055
Integer_Transition_Systems/From_T2/p-5.t2.smt2	maybe	22.8392
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2	maybe	22.8684
Integer_Transition_Systems/From_T2/p-50.t2.smt2	yes	1.23988
Integer_Transition_Systems/From_T2/p-52.t2.smt2	maybe	6.31509
Integer_Transition_Systems/From_T2/p-53.t2.smt2	yes	1.54954
Integer_Transition_Systems/From_T2/p-55.t2.smt2	yes	4.95424
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2	yes	5.06575
Integer_Transition_Systems/From_T2/p-56.t2.smt2	yes	2.43188
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2	yes	2.64825
Integer_Transition_Systems/From_T2/p-58.t2.smt2	yes	1.97211
Integer_Transition_Systems/From_T2/p-6.t2.smt2	yes	3.18386
Integer_Transition_Systems/From_T2/p-60.t2.smt2	yes	2.4811
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2	yes	2.28316
Integer_Transition_Systems/From_T2/p-61.t2.smt2	yes	2.62436
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2	yes	2.29348
Integer_Transition_Systems/From_T2/p-62.t2.smt2	yes	1.26604
Integer_Transition_Systems/From_T2/p-63.t2.smt2	yes	2.51295
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2	yes	2.56668
Integer_Transition_Systems/From_T2/p-7.t2.smt2	yes	2.45655
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2	yes	2.58133
Integer_Transition_Systems/From_T2/p-7b.t2.smt2	yes	1.99688
Integer_Transition_Systems/From_T2/p-8.t2.smt2	maybe	5.17642
Integer_Transition_Systems/From_T2/p.t2.smt2	maybe	60.0237
Integer_Transition_Systems/From_T2/p_armc.t2.smt2	maybe	60.0221
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2	yes	4.36121
Integer_Transition_Systems/From_T2/peculiar.t2.smt2	maybe	17.4641
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2	maybe	17.5226
Integer_Transition_Systems/From_T2/pentagon.t2.smt2	maybe	60.0681
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2	maybe	22.338
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2	maybe	22.5301
Integer_Transition_Systems/From_T2/pgarch.t2.smt2	maybe	60.0357
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2	maybe	60.0326
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2	maybe	60.1013
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2	maybe	60.0894
Integer_Transition_Systems/From_T2/polling.t2.smt2	maybe	60.0323
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2	maybe	60.1129
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2	yes	1.58818
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2	maybe	4.27627
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2	maybe	12.1425
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2	maybe	14.1367
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2	maybe	14.0918
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2	yes	2.14796
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2	maybe	6.75934
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2	maybe	44.8582
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2	maybe	45.2841
Integer_Transition_Systems/From_T2/ppblock.t2.smt2	maybe	60.0831
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2	maybe	60.0298
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2	maybe	38.3102
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2	maybe	44.8235
Integer_Transition_Systems/From_T2/prime.t2.smt2	maybe	60.1
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2	maybe	60.0605
Integer_Transition_Systems/From_T2/print.t2.smt2	maybe	60.0364
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2	maybe	60.0459
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2	yes	27.4689
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2	yes	38.6266
Integer_Transition_Systems/From_T2/queens.t2.smt2	maybe	60.0438
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2	maybe	60.0365
Integer_Transition_Systems/From_T2/queue_1.t2.smt2	yes	6.70039
Integer_Transition_Systems/From_T2/queue_10.t2.smt2	yes	8.83471
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2	yes	8.23253
Integer_Transition_Systems/From_T2/queue_100.t2.smt2	yes	8.8812
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2	yes	8.32498
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2	yes	8.75694
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2	yes	8.19026
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2	maybe	60.1032
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2	yes	26.9316
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2	maybe	5.01745
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2	maybe	9.24224
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2	maybe	49.437
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2	maybe	60.0516
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2	maybe	60.0395
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2	maybe	60.0243
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2	yes	1.35913
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2	yes	1.36035
Integer_Transition_Systems/From_T2/reverse.t2.smt2	maybe	60.0536
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2	maybe	60.0315
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2	maybe	60.1043
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2	maybe	60.0971
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2	maybe	60.0259
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2	maybe	60.0179
Integer_Transition_Systems/From_T2/rewrite.t2.smt2	maybe	3.63456
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2	maybe	60.042
Integer_Transition_Systems/From_T2/rlft3.t2.smt2	maybe	60.0336
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2	maybe	60.0398
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2	maybe	60.0461
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2	maybe	60.0917
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2	maybe	60.0604
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2	maybe	60.0766
Integer_Transition_Systems/From_T2/s1.t2.smt2	maybe	60.0463
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2	maybe	60.0278
Integer_Transition_Systems/From_T2/s2.t2.smt2	yes	2.1553
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2	yes	1.95921
Integer_Transition_Systems/From_T2/s3-work.t2.smt2	maybe	60.0921
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2	maybe	60.0886
Integer_Transition_Systems/From_T2/s3.t2.smt2	maybe	60.0242
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2	maybe	60.0352
Integer_Transition_Systems/From_T2/s4.t2.smt2	maybe	60.0411
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2	maybe	60.0826
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2	yes	32.3692
Integer_Transition_Systems/From_T2/sas2.t2.smt2	maybe	60.0459
Integer_Transition_Systems/From_T2/select.t2.smt2	maybe	60.0363
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2	maybe	60.0376
Integer_Transition_Systems/From_T2/selectSort.t2.smt2	yes	9.7751
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2	maybe	60.0421
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2	maybe	60.0199
Integer_Transition_Systems/From_T2/seq.t2.smt2	yes	1.43123
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2	yes	1.63089
Integer_Transition_Systems/From_T2/simple.t2.smt2	maybe	5.09389
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2	yes	4.7801
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2	yes	1.80794
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2	yes	1.91857
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2	yes	1.80745
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2	yes	1.14836
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2	yes	1.16357
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2	yes	1.18373
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2	yes	1.17973
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2	yes	2.13396
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2	yes	1.59262
Integer_Transition_Systems/From_T2/simple_test.t2.smt2	yes	3.47054
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2	maybe	3.53799
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2	yes	23.7872
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2	yes	36.7078
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2	yes	2.43737
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2	yes	2.25752
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2	maybe	60.0452
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2	maybe	60.0317
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2	maybe	60.0413
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2	maybe	60.0877
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2	maybe	60.0772
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2	maybe	60.1127
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2	maybe	60.0422
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2	maybe	25.7894
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2	maybe	60.0223
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2	maybe	60.0642
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2	maybe	6.38505
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2	maybe	5.52601
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2	yes	21.4345
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2	yes	20.6057
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2	maybe	60.0343
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2	maybe	11.6125
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2	maybe	11.5709
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2	maybe	16.4639
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2	maybe	16.2806
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2	maybe	14.153
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2	maybe	14.0563
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2	maybe	13.9459
Integer_Transition_Systems/From_T2/small01.t2.smt2	maybe	3.7759
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2	yes	1.66153
Integer_Transition_Systems/From_T2/small02.t2.smt2	maybe	6.34304
Integer_Transition_Systems/From_T2/small03.t2.smt2	maybe	4.2143
Integer_Transition_Systems/From_T2/small04.t2.smt2	maybe	4.24097
Integer_Transition_Systems/From_T2/small05.t2.smt2	maybe	3.74279
Integer_Transition_Systems/From_T2/small06.t2.smt2	yes	2.95467
Integer_Transition_Systems/From_T2/small07.t2.smt2	yes	4.30479
Integer_Transition_Systems/From_T2/small08.t2.smt2	yes	4.77219
Integer_Transition_Systems/From_T2/small09.t2.smt2	yes	4.73129
Integer_Transition_Systems/From_T2/small10.t2.smt2	maybe	12.298
Integer_Transition_Systems/From_T2/small11.t2.smt2	maybe	1.77051
Integer_Transition_Systems/From_T2/small12.t2.smt2	yes	1.58425
Integer_Transition_Systems/From_T2/small13.t2.smt2	yes	2.00239
Integer_Transition_Systems/From_T2/small14.t2.smt2	maybe	60.028
Integer_Transition_Systems/From_T2/small15.t2.smt2	maybe	13.4496
Integer_Transition_Systems/From_T2/small16.t2.smt2	maybe	6.79797
Integer_Transition_Systems/From_T2/small17.t2.smt2	maybe	5.5475
Integer_Transition_Systems/From_T2/small18.t2.smt2	maybe	6.43014
Integer_Transition_Systems/From_T2/small19.t2.smt2	yes	2.23876
Integer_Transition_Systems/From_T2/small20.t2.smt2	yes	2.03713
Integer_Transition_Systems/From_T2/small21.t2.smt2	yes	2.0081
Integer_Transition_Systems/From_T2/small22.t2.smt2	maybe	36.7552
Integer_Transition_Systems/From_T2/small23.t2.smt2	maybe	19.8716
Integer_Transition_Systems/From_T2/small24.t2.smt2	maybe	1.73423
Integer_Transition_Systems/From_T2/small26.t2.smt2	yes	1.50449
Integer_Transition_Systems/From_T2/small27.t2.smt2	yes	1.28425
Integer_Transition_Systems/From_T2/small28.t2.smt2	yes	1.49575
Integer_Transition_Systems/From_T2/small29.t2.smt2	maybe	3.71439
Integer_Transition_Systems/From_T2/small31.t2.smt2	yes	1.20002
Integer_Transition_Systems/From_T2/small32.t2.smt2	yes	1.29409
Integer_Transition_Systems/From_T2/small33.t2.smt2	yes	1.25538
Integer_Transition_Systems/From_T2/small34.t2.smt2	yes	1.42416
Integer_Transition_Systems/From_T2/small35.t2.smt2	maybe	4.14825
Integer_Transition_Systems/From_T2/sort.t2.smt2	yes	47.8291
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2	maybe	60.0392
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2	maybe	60.112
Integer_Transition_Systems/From_T2/spctrm.t2.smt2	maybe	60.035
Integer_Transition_Systems/From_T2/spiral.t2.smt2	yes	8.31539
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2	yes	13.7247
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2	maybe	60.0979
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2	maybe	40.4161
Integer_Transition_Systems/From_T2/st88.t2.smt2	maybe	60.0833
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2	maybe	60.0352
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2	maybe	44.7813
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2	maybe	42.7494
Integer_Transition_Systems/From_T2/statemate.t2.smt2	maybe	60.0237
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2	maybe	60.0742
Integer_Transition_Systems/From_T2/stored.t2.smt2	maybe	23.5713
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2	maybe	60.0222
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2	maybe	60.0623
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2	maybe	60.0239
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2	maybe	60.0789
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2	maybe	3.93449
Integer_Transition_Systems/From_T2/sudoku.t2.smt2	maybe	60.0261
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2	maybe	60.0755
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2	maybe	60.0181
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2	maybe	60.044
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2	maybe	60.0311
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2	maybe	5.74664
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2	yes	16.772
Integer_Transition_Systems/From_T2/toeplz.t2.smt2	yes	32.9829
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2	maybe	60.0812
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2	maybe	60.0224
Integer_Transition_Systems/From_T2/tqli.t2.smt2	maybe	60.0259
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2	maybe	60.0221
Integer_Transition_Systems/From_T2/traverse.t2.smt2	maybe	60.0259
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2	maybe	60.0411
Integer_Transition_Systems/From_T2/traverse2.t2.smt2	maybe	60.0592
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2	maybe	60.0628
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2	maybe	60.0372
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2	maybe	60.0411
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2	maybe	60.094
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2	maybe	60.024
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2	maybe	60.1136
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2	maybe	60.0302
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2	yes	9.37827
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2	yes	7.89571
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2	yes	16.3428
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2	yes	12.2418
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2	yes	16.146
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2	yes	17.1919
Integer_Transition_Systems/From_T2/ud.t2.smt2	maybe	60.0265
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2	maybe	60.0338
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2	yes	1.13291
Integer_Transition_Systems/From_T2/w1.t2.smt2	maybe	3.70201
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2	maybe	42.9407
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2	maybe	60.0635
Integer_Transition_Systems/From_T2/walk.t2.smt2	maybe	40.2274
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2	maybe	40.4921
Integer_Transition_Systems/From_T2/weakness.t2.smt2	yes	1.99965
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2	yes	1.47698
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2	yes	36.1476
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2	maybe	19.1201
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2	maybe	11.3236
Integer_Transition_Systems/From_T2/wtf.t2.smt2	yes	35.0087
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2	maybe	60.0342
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2	maybe	60.0589
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2	maybe	60.0415
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2	yes	30.5185
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2	maybe	60.0221
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2	yes	35.7712
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2	maybe	19.2072
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2	yes	7.13784