VeryMax
nameresulttime
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2yes0.0253189
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2yes0.141955
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2yes0.0988421
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2no7.35844
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2yes0.0351501
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2yes0.0671539
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2yes0.037756
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2yes0.034407
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2maybe20.6978
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2yes0.0973351
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2maybe37.4821
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2yes0.09981
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2maybe37.5191
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2yes0.048098
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2yes0.0312371
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2maybe10.7974
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2yes0.10146
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2yes0.0667959
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2maybe10.3592
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2yes0.968638
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2yes0.0417111
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2yes0.735974
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2yes0.023211
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2yes4.05245
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2yes0.133236
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2yes0.0285
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2yes0.109807
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2no23.4959
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2no6.41652
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2yes0.0242199
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2yes0.026201
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2maybe5.49533
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2no0.0413921
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2yes0.033657
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2no11.8545
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2no36.4515
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2maybe51.568
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2maybe29.2475
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2no20.6789
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2no20.8543
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2yes0.0356639
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2yes0.085958
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2yes0.1363
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2yes0.0450261
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2yes0.0246081
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2no12.9391
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2yes0.5045
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2maybe42.4462
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2maybe56.9135
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2yes0.0262399
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2yes0.079723
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2maybe59.4896
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2no11.5391
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2yes0.039799
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2maybe43.7125
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2yes0.0302751
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2yes0.022712
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2yes0.0219979
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2yes0.330584
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2yes0.025674
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2yes0.094314
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2yes0.158381
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2yes0.030499
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2yes11.2131
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2yes11.1296
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2yes0.238705
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2yes1.27777
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2yes13.2407
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2yes9.47195
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2yes31.0697
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2yes65.675
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2yes0.0796679
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2yes0.202006
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2yes0.0917479
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2yes0.330126
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2no25.2758
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2yes0.082347
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2no0.0574381
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2no1.09541
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2yes0.0343841
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2no1.11438
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2yes0.0361169
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2yes0.070697
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2yes0.027164
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2yes0.117014
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2yes0.0228411
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2yes0.47168
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2yes0.0313159
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2maybe62.0668
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2maybe66.9479
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2maybe39.6668
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2maybe56.7258
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2maybe35.8708
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2yes0.584531
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2yes0.057594
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2yes0.05043
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2yes0.0499891
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2yes0.0339491
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2maybe5.14992
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2yes0.121097
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2maybe67.3893
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2yes0.282452
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2yes0.0289591
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2yes0.022841
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2yes0.280087
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2no0.0296171
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2yes0.0731831
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2yes0.0423591
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2yes0.0314961
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2yes33.5036
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2yes1.07517
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2yes0.173679
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2no9.38744
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2yes0.116788
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2no138.536
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2yes0.0261309
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2maybe50.1868
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2maybe20.7748
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2no22.8084
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2no37.4185
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2no5.23717
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2yes0.037573
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2yes0.064734
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2yes0.049384
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2no6.63742
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2yes0.0317699
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2yes0.092317
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2yes0.101553
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2yes0.201201
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2yes0.150446
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2yes0.0257549
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2yes0.0274789
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2maybe5.16853
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2yes0.040676
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2no0.0292449
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2yes0.027542
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2no5.74911
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2maybe126.217
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2no7.17327
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2maybe97.1787
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2maybe41.2961
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2no7.30096
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2no6.09723
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2maybe192.155
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2yes0.224382
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2yes0.576638
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2yes0.0256429
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2yes0.050356
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2yes0.137809
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2maybe51.0845
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2yes0.337958
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2yes0.0846219
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2yes0.065121
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2no19.5939
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2maybe53.0483
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2no0.029688
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2no0.0296
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2no0.029784
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2no0.208628
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2no0.0292299
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2no52.5375
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2no0.0297111
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2no63.6217
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2no66.5639
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2no54.7836
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2no26.7913
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2no0.0299749
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2no0.02974
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2no7.15987
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2no25.2576
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2no5.28353
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2yes0.028412
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2yes0.418694
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2yes0.267139
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2no18.7873
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2maybe45.7058
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2yes0.024187
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2yes1.50751
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2yes0.12505
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2yes0.03083
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2yes0.055892
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2yes0.025593
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2yes0.060707
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2yes0.095833
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2yes0.0260819
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2yes0.0301199
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2yes0.026526
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2yes0.0255061
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2yes0.049594
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2yes0.512434
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2yes0.030288
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2yes0.0330631
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2yes0.0284591
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2yes0.0299079
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2yes0.0317131
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2yes0.049022
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2yes0.0303
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2yes0.0253309
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2yes0.0255009
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2yes0.0253711
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2yes0.025982
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2yes0.025483
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2yes0.027129
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2yes0.0319531
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2yes0.0407061
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2yes0.0835079
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2yes0.031459
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2yes0.0383461
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2yes0.0330919
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2yes0.0324771
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2yes0.0264731
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2yes0.0399009
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2yes0.042983
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2yes15.467
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2maybe23.5215
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2yes1.14892
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2maybe32.269
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2maybe32.6429
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2yes0.0700541
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2yes5.13334
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2yes0.133392
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2maybe36.6968
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2yes0.0324689
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2no6.15083
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2yes0.122005
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2yes0.059825
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2yes0.0238429
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2yes0.0436099
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2yes0.04635
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2no5.83558
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2maybe36.3671
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2yes1.70295
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2yes0.026127
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2yes2.46939
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2no6.01988
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2yes0.0333771
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2maybe65.271
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2maybe65.3247
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2yes0.082202
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2yes0.0763419
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2yes0.0244599
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2no5.12499
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2no18.2394
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2yes0.171653
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2yes30.5771
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2yes0.0426751
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2yes0.59275
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2yes0.137111
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2no72.8628
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2yes12.6252
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2yes0.506084
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2maybe64.9434
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2yes2.79804
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2maybe124.551
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2maybe82.5366
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2yes0.139594
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2yes0.107352
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2no0.0289261
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2no5.20719
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2yes0.040005
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2yes0.1366
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2yes0.341311
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2no64.6866
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2yes0.024653
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2no5.59578
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2no15.3776
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2no16.4455
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2no49.7059
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2maybe24.119
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2no5.34572
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2maybe5.33535
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2maybe18.4357
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2no5.10084
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2no18.3243
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2no25.9179
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2no29.8984
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2no54.9772
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2no18.2604
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2no18.1857
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2no12.3112
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2no10.9962
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2no33.3131
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2no5.13776
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2no2.11514
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2no9.14429
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2no70.3749
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2maybe9.32615
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2maybe79.8595
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2no123.571
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2no5.19462
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2no23.4595
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2no18.2313
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2no17.2548
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2no18.1939
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2no27.3043
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2no68.9983
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2no71.2563
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2no37.4014
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2no5.10991
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2no6.76628
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2no8.67373
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2no27.4509
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2maybe26.6022
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2no49.6805
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2no18.229
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2no3.40408
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2no42.9328
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2no43.174
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2no19.2049
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2yes0.044203
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2no18.1802
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2no18.3224
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2no64.2763
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2no13.2842
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2no5.09767
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2no5.69088
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2maybe13.533
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2no27.3083
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2yes0.117883
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2no12.8351
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2no90.6789
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2no15.4357
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2maybe27.2188
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2no5.103
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2no18.3218
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2no27.456
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2no29.9658
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2yes0.0387591
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2yes0.0272969
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2yes0.0265731
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2yes0.218877
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2no0.0312669
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2no226.881
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2no18.1988
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2no18.1796
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2no12.3241
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2no11.7897
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2no63.5031
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2no0.033843
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2no0.031434
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2no0.030654
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2no67.1701
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2maybe35.9652
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2no5.15334
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2maybe186.468
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2maybe189.269
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2maybe183.535
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2maybe191.607
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2maybe185.427
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2maybe187.988
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2maybe188.307
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2maybe186.8
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2maybe188.086
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2maybe164.919
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2maybe185.2
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2maybe185.418
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2yes0.031287
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2yes0.140208
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2maybe209.954
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2unknown300.072
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2yes0.57849
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2yes0.140442
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2yes0.147755
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2yes0.174384
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2yes3.39918
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2unknown300.08
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2yes0.607275
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2yes0.17315
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2yes2.86239
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2yes0.157079
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2yes0.205331
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2yes0.176248
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2yes3.46717
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2yes0.158265
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2yes0.848853
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2yes3.23235
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2yes0.843726
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2yes0.1385
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2yes0.153544
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2yes0.146162
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2yes0.236866
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2yes0.187424
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2yes0.232077
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2yes0.213226
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2yes0.215523
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2yes0.371081
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2yes0.207133
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2yes0.147361
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2yes0.904113
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2unknown300.019
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2yes0.945474
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2yes3.74798
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2yes0.206996
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2yes3.75681
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2yes0.369509
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2yes4.37386
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2yes2.61187
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2yes0.255115
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2yes0.0316329
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2yes0.141367
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2yes0.205037
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2no27.9006
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2no71.2674
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2no8.68545
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2no44.8401
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2no24.3383
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2no54.7892
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2no23.2392
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2no58.3152
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2no18.2781
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2no47.6445
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2no39.08
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2no30.4329
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2no26.1755
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2no5.09728
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2no5.78117
Integer_Transition_Systems/From_T2/1.t2.smt2no9.19672
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2no17.2685
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2no17.2716
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2no49.1886
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2no49.2409
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2no268.757
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2no268.486
Integer_Transition_Systems/From_T2/2.t2.smt2no30.8298
Integer_Transition_Systems/From_T2/232.t2.smt2yes0.0307101
Integer_Transition_Systems/From_T2/241.t2.smt2yes0.0297221
Integer_Transition_Systems/From_T2/3.t2.smt2no0.0295249
Integer_Transition_Systems/From_T2/5.t2.smt2yes0.0357301
Integer_Transition_Systems/From_T2/6.t2.smt2no0.0499579
Integer_Transition_Systems/From_T2/7.t2.smt2no5.12757
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2no124.584
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2no97.2147
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2no9.12987
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2no0.042098
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2no103.838
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2no40.0325
Integer_Transition_Systems/From_T2/afagx1.t2.smt2no0.036618
Integer_Transition_Systems/From_T2/agafp.t2.smt2unknown300.095
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2no105.825
Integer_Transition_Systems/From_T2/andrey.t2.smt2yes0.0242891
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2maybe90.0509
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2maybe240.069
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2maybe89.1122
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2maybe239.854
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2maybe179.75
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2maybe181.519
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2maybe106.64
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2maybe135.462
Integer_Transition_Systems/From_T2/arith.t2.smt2yes0.026141
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2yes0.04678
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2yes0.0184851
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2yes6.98708
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2yes0.258289
Integer_Transition_Systems/From_T2/array.t2.smt2yes0.0212761
Integer_Transition_Systems/From_T2/array2.t2.smt2yes0.0246781
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2yes0.023132
Integer_Transition_Systems/From_T2/array3.t2.smt2yes0.0298629
Integer_Transition_Systems/From_T2/array4.t2.smt2yes0.027531
Integer_Transition_Systems/From_T2/array_free.t2.smt2yes0.0338511
Integer_Transition_Systems/From_T2/array_free2.t2.smt2yes0.028546
Integer_Transition_Systems/From_T2/array_init.t2.smt2yes0.0246451
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2yes0.0234999
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2yes0.0373921
Integer_Transition_Systems/From_T2/ase_example.t2.smt2yes0.0350909
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2yes0.035058
Integer_Transition_Systems/From_T2/ax_test.t2.smt2no0.030585
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2no0.0299061
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2no0.031471
Integer_Transition_Systems/From_T2/bakery.t2.smt2unknown300.019
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2unknown300.016
Integer_Transition_Systems/From_T2/bf10.t2.smt2yes0.068259
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2yes0.063735
Integer_Transition_Systems/From_T2/bf11.t2.smt2yes0.0674509
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2yes0.0645739
Integer_Transition_Systems/From_T2/bf12.t2.smt2yes0.0677829
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2yes0.06493
Integer_Transition_Systems/From_T2/bf13.t2.smt2yes0.0686629
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2yes0.0650939
Integer_Transition_Systems/From_T2/bf14.t2.smt2yes0.0681221
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2yes0.067073
Integer_Transition_Systems/From_T2/bf15.t2.smt2yes0.0678769
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2yes0.0674731
Integer_Transition_Systems/From_T2/bf16.t2.smt2yes0.069572
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2yes0.0658931
Integer_Transition_Systems/From_T2/bf17.t2.smt2yes0.0679519
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2yes0.0793891
Integer_Transition_Systems/From_T2/bf18.t2.smt2yes0.0679159
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2yes0.067476
Integer_Transition_Systems/From_T2/bf19.t2.smt2yes0.0676689
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2yes0.0671199
Integer_Transition_Systems/From_T2/bf20.t2.smt2yes0.0684909
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2yes0.067552
Integer_Transition_Systems/From_T2/bf5.t2.smt2yes0.067816
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2yes0.0618349
Integer_Transition_Systems/From_T2/bf6.t2.smt2yes0.0681151
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2yes0.0620281
Integer_Transition_Systems/From_T2/bf7.t2.smt2yes0.067946
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2yes0.063112
Integer_Transition_Systems/From_T2/bf8.t2.smt2yes0.0685769
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2yes0.062568
Integer_Transition_Systems/From_T2/bf9.t2.smt2yes0.0683451
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2yes0.0630739
Integer_Transition_Systems/From_T2/bio.t2.smt2no216.876
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2yes0.0313109
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2yes0.0301809
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2yes0.031635
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2yes0.030514
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2yes0.064451
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2yes8.50971
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2yes6.60374
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2yes8.52203
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2yes6.70855
Integer_Transition_Systems/From_T2/broydn.t2.smt2yes11.7375
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2yes7.97365
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2maybe195.276
Integer_Transition_Systems/From_T2/bs.t2.smt2no5.81121
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2no15.5415
Integer_Transition_Systems/From_T2/bsort100.t2.smt2yes0.079426
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2yes1.02186
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2yes0.063292
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2yes0.027304
Integer_Transition_Systems/From_T2/byron-1.t2.smt2yes0.0402671
Integer_Transition_Systems/From_T2/byron-2.t2.smt2yes0.0362361
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2yes0.03868
Integer_Transition_Systems/From_T2/byron-3.t2.smt2yes0.0928541
Integer_Transition_Systems/From_T2/byron-4.t2.smt2unknown300.101
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2yes0.0461171
Integer_Transition_Systems/From_T2/cfg.t2.smt2no5.23699
Integer_Transition_Systems/From_T2/cnt.t2.smt2yes0.07649
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2yes0.089176
Integer_Transition_Systems/From_T2/collatz.t2.smt2maybe5.28107
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2maybe17.65
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2yes0.027792
Integer_Transition_Systems/From_T2/compress.t2.smt2no154.9
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2no27.0908
Integer_Transition_Systems/From_T2/constants.t2.smt2yes0.0322729
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2yes0.0310009
Integer_Transition_Systems/From_T2/consts1.t2.smt2no36.387
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2yes2.17584
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2no36.3069
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2no23.3951
Integer_Transition_Systems/From_T2/consts2.t2.smt2no5.31692
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2yes0.022515
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2no5.3341
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2no29.8891
Integer_Transition_Systems/From_T2/consts3.t2.smt2yes0.025165
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2yes0.0235679
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2no36.3756
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2no19.8525
Integer_Transition_Systems/From_T2/consts4.t2.smt2no5.36998
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2yes0.023382
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2no5.36835
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2no29.3862
Integer_Transition_Systems/From_T2/consts5.t2.smt2no18.8805
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2yes0.0196201
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2no18.8738
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2no29.8233
Integer_Transition_Systems/From_T2/cover.t2.smt2unknown300.081
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2yes39.0551
Integer_Transition_Systems/From_T2/crc.t2.smt2yes0.201658
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2yes0.198617
Integer_Transition_Systems/From_T2/create.t2.smt2yes0.0602451
Integer_Transition_Systems/From_T2/create_seg.t2.smt2yes0.068716
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2yes0.161438
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2yes0.288115
Integer_Transition_Systems/From_T2/ctl.t2.smt2no0.056173
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2no0.0486859
Integer_Transition_Systems/From_T2/curious.t2.smt2no5.15744
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2no5.17053
Integer_Transition_Systems/From_T2/curious2.t2.smt2yes0.0210671
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2yes0.01896
Integer_Transition_Systems/From_T2/curious4.t2.smt2maybe67.2371
Integer_Transition_Systems/From_T2/d.t2.smt2no16.9213
Integer_Transition_Systems/From_T2/db.t2.smt2yes0.018971
Integer_Transition_Systems/From_T2/db2.t2.smt2unknown300.074
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2maybe234.418
Integer_Transition_Systems/From_T2/db3.t2.smt2unknown300.033
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2maybe236.572
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2no36.6684
Integer_Transition_Systems/From_T2/defect.t2.smt2no0.0493879
Integer_Transition_Systems/From_T2/destroy.t2.smt2yes0.172526
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2yes0.294587
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2yes0.203603
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2yes0.35114
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2no11.9415
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2unknown300.025
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2no12.8084
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2yes10.5127
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2yes0.061155
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2yes0.0186591
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2no3.60001
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2yes0.0224381
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2yes0.0298829
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2yes0.0277611
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2yes0.019718
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2yes0.018107
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2yes0.030785
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2yes0.0290561
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2yes0.0241631
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2yes0.026371
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2yes0.0191559
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2yes0.018686
Integer_Transition_Systems/From_T2/dummy.t2.smt2no36.5726
Integer_Transition_Systems/From_T2/dumper.t2.smt2maybe61.1849
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2no17.2606
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2no17.3189
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2no17.2396
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2no49.1743
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2no49.1542
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2no49.0798
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2no49.0361
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2no5.10163
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2no5.17049
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2no5.16203
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2no0.0765979
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2no0.078076
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2no0.081393
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2no0.627693
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2no0.626057
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2no0.16903
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2no0.0527381
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2no12.4687
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2no0.0384041
Integer_Transition_Systems/From_T2/edn.t2.smt2unknown300.046
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2yes4.30682
Integer_Transition_Systems/From_T2/efegp.t2.smt2no7.07392
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2no6.84141
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2yes1.38115
Integer_Transition_Systems/From_T2/elmhes.t2.smt2yes1.44335
Integer_Transition_Systems/From_T2/eric.t2.smt2maybe9.97815
Integer_Transition_Systems/From_T2/eric1.t2.smt2yes8.60455
Integer_Transition_Systems/From_T2/eric2.t2.smt2maybe50.7273
Integer_Transition_Systems/From_T2/eric3.t2.smt2no23.2429
Integer_Transition_Systems/From_T2/ex1.t2.smt2no63.6491
Integer_Transition_Systems/From_T2/ex10.t2.smt2no18.2926
Integer_Transition_Systems/From_T2/ex11.t2.smt2no1.81499
Integer_Transition_Systems/From_T2/ex12.t2.smt2yes0.0250889
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2yes0.023852
Integer_Transition_Systems/From_T2/ex13.t2.smt2yes0.0188571
Integer_Transition_Systems/From_T2/ex14.t2.smt2yes0.024752
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2yes0.0279711
Integer_Transition_Systems/From_T2/ex15.t2.smt2yes0.0200229
Integer_Transition_Systems/From_T2/ex16.t2.smt2no51.2629
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2no51.3783
Integer_Transition_Systems/From_T2/ex17.t2.smt2yes23.3486
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2yes0.0284489
Integer_Transition_Systems/From_T2/ex18.t2.smt2yes0.040689
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2yes0.040075
Integer_Transition_Systems/From_T2/ex19.t2.smt2no54.6326
Integer_Transition_Systems/From_T2/ex2.t2.smt2no23.3141
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2no23.2456
Integer_Transition_Systems/From_T2/ex20.t2.smt2yes0.030422
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2yes0.0305121
Integer_Transition_Systems/From_T2/ex21.t2.smt2yes0.029045
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2yes0.145555
Integer_Transition_Systems/From_T2/ex22.t2.smt2yes0.247855
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2yes0.147849
Integer_Transition_Systems/From_T2/ex23.t2.smt2yes0.0275521
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2yes0.0259871
Integer_Transition_Systems/From_T2/ex26.t2.smt2yes0.030919
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2yes0.146947
Integer_Transition_Systems/From_T2/ex27.t2.smt2yes0.391856
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2yes0.222933
Integer_Transition_Systems/From_T2/ex29.t2.smt2yes0.0427581
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2yes0.075287
Integer_Transition_Systems/From_T2/ex3.t2.smt2yes0.0278129
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2yes0.024946
Integer_Transition_Systems/From_T2/ex30.t2.smt2yes0.0319301
Integer_Transition_Systems/From_T2/ex31.t2.smt2no5.26963
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2no5.23698
Integer_Transition_Systems/From_T2/ex32.t2.smt2yes0.0301001
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2yes0.029488
Integer_Transition_Systems/From_T2/ex33.t2.smt2yes0.021174
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2yes0.0214321
Integer_Transition_Systems/From_T2/ex34.t2.smt2yes0.031739
Integer_Transition_Systems/From_T2/ex36.t2.smt2unknown300.063
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2unknown300.026
Integer_Transition_Systems/From_T2/ex4.t2.smt2yes0.0440901
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2yes0.04017
Integer_Transition_Systems/From_T2/ex40.t2.smt2no23.2307
Integer_Transition_Systems/From_T2/ex6.t2.smt2yes0.026552
Integer_Transition_Systems/From_T2/ex7.t2.smt2yes0.02468
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2yes0.0239361
Integer_Transition_Systems/From_T2/ex8.t2.smt2no3.11398
Integer_Transition_Systems/From_T2/ex9.t2.smt2no3.11711
Integer_Transition_Systems/From_T2/example.t2.smt2yes0.03012
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2no2.51985
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2no1.66536
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2no6.45263
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2no6.49779
Integer_Transition_Systems/From_T2/fdct.t2.smt2yes0.0737321
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2yes0.0483669
Integer_Transition_Systems/From_T2/fermat.t2.smt2yes0.043664
Integer_Transition_Systems/From_T2/fibcall.t2.smt2yes0.0295931
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2yes0.0310499
Integer_Transition_Systems/From_T2/fir.t2.smt2yes0.0932811
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2yes0.998029
Integer_Transition_Systems/From_T2/firewire.t2.smt2maybe120.308
Integer_Transition_Systems/From_T2/flipflop.t2.smt2no0.192025
Integer_Transition_Systems/From_T2/florian.t2.smt2yes0.0229701
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2yes0.445656
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2yes0.113609
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2yes0.065737
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2unknown300.021
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2maybe85.8908
Integer_Transition_Systems/From_T2/foo.t2.smt2maybe255.663
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2maybe77.8186
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2maybe85.7947
Integer_Transition_Systems/From_T2/fourn.t2.smt2maybe135.759
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2yes0.0317701
Integer_Transition_Systems/From_T2/fun1.t2.smt2no114.595
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2no106.245
Integer_Transition_Systems/From_T2/fun10.t2.smt2no7.22317
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2no7.22556
Integer_Transition_Systems/From_T2/fun10b.t2.smt2no7.12076
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2no7.12538
Integer_Transition_Systems/From_T2/fun11.t2.smt2no36.315
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2no18.2636
Integer_Transition_Systems/From_T2/fun1b.t2.smt2no115.806
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2no106.088
Integer_Transition_Systems/From_T2/fun2.t2.smt2yes6.34274
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2yes1.9489
Integer_Transition_Systems/From_T2/fun2b.t2.smt2yes5.91131
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2yes1.86611
Integer_Transition_Systems/From_T2/fun3.t2.smt2yes6.3849
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2yes8.20262
Integer_Transition_Systems/From_T2/fun4.t2.smt2no10.386
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2yes13.2152
Integer_Transition_Systems/From_T2/fun5.t2.smt2no27.7209
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2maybe35.7035
Integer_Transition_Systems/From_T2/fun6.t2.smt2no15.7391
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2no16.588
Integer_Transition_Systems/From_T2/fun7.t2.smt2maybe43.7959
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2maybe46.8795
Integer_Transition_Systems/From_T2/fun8.t2.smt2yes0.0864959
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2yes0.247853
Integer_Transition_Systems/From_T2/fun9.t2.smt2unknown300.029
Integer_Transition_Systems/From_T2/graycode.t2.smt2yes0.738501
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2yes0.566189
Integer_Transition_Systems/From_T2/hand7.t2.smt2no33.3676
Integer_Transition_Systems/From_T2/heidy1.t2.smt2no23.2818
Integer_Transition_Systems/From_T2/heidy10.t2.smt2yes0.0283921
Integer_Transition_Systems/From_T2/heidy2.t2.smt2no1.04951
Integer_Transition_Systems/From_T2/heidy3.t2.smt2no3.1335
Integer_Transition_Systems/From_T2/heidy5.t2.smt2yes0.0235439
Integer_Transition_Systems/From_T2/heidy6.t2.smt2no23.1929
Integer_Transition_Systems/From_T2/heidy7.t2.smt2no3.11851
Integer_Transition_Systems/From_T2/heidy8.t2.smt2no3.12189
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2no3.15312
Integer_Transition_Systems/From_T2/heidy9.t2.smt2yes0.0230571
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2unknown300.027
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2maybe269.156
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2unknown300.108
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2maybe239.905
Integer_Transition_Systems/From_T2/hqr.t2.smt2maybe277.139
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2maybe259.091
Integer_Transition_Systems/From_T2/huh.t2.smt2yes0.0597529
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2yes0.060217
Integer_Transition_Systems/From_T2/iecs.t2.smt2yes0.0397611
Integer_Transition_Systems/From_T2/insertsort.t2.smt2no10.2733
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2no18.2707
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2no5.3115
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2yes0.169316
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2yes0.110551
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2yes0.111926
Integer_Transition_Systems/From_T2/jacobi.t2.smt2yes0.176675
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2yes0.112158
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2maybe240.277
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2no33.6581
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2yes0.0621049
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2yes0.744467
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2yes0.954409
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2yes0.0792539
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2yes1.45615
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2yes0.0321869
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2yes0.0312241
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2yes0.098309
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2yes0.0323399
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2yes0.030194
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2yes0.579333
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2yes0.057325
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2yes0.260368
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2yes2.35191
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2yes0.194838
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2yes0.0511169
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2yes0.055505
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2yes0.044896
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2yes0.0500449
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2yes0.0664621
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2yes0.031641
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2yes0.05528
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2yes0.093599
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2yes0.0633791
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2yes0.0484799
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2yes0.0774721
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2yes0.0929819
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2yes0.058209
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2yes0.0495201
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2yes0.185469
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2yes1.20948
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2yes7.73537
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2yes0.0609051
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2yes0.0493719
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2yes0.0796501
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2yes0.0734499
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2yes0.063209
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2yes0.0462481
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2yes0.0447089
Integer_Transition_Systems/From_T2/l1.t2.smt2no5.27954
Integer_Transition_Systems/From_T2/loop3.t2.smt2yes1.57576
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2yes1.21488
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2yes0.028334
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2yes0.0276651
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2yes0.486804
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2yes0.89562
Integer_Transition_Systems/From_T2/magic.t2.smt2yes0.978925
Integer_Transition_Systems/From_T2/matmul.t2.smt2yes0.193604
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2yes0.391015
Integer_Transition_Systems/From_T2/matmult.t2.smt2yes0.3857
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2yes0.664949
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2yes0.166298
Integer_Transition_Systems/From_T2/mc91.t2.smt2no17.0837
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2yes0.212926
Integer_Transition_Systems/From_T2/mc91test.t2.smt2no181.18
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2yes0.70379
Integer_Transition_Systems/From_T2/minmax.t2.smt2yes0.037803
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2yes0.0339619
Integer_Transition_Systems/From_T2/n-1.t2.smt2no5.08974
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2no5.26437
Integer_Transition_Systems/From_T2/n-10.t2.smt2no5.38365
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2maybe0.0511339
Integer_Transition_Systems/From_T2/n-12.t2.smt2no20.3147
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2no20.3973
Integer_Transition_Systems/From_T2/n-12a.t2.smt2no5.12675
Integer_Transition_Systems/From_T2/n-13.t2.smt2no18.1996
Integer_Transition_Systems/From_T2/n-14.t2.smt2no5.13572
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2no5.15863
Integer_Transition_Systems/From_T2/n-15.t2.smt2no33.6796
Integer_Transition_Systems/From_T2/n-15a.t2.smt2maybe15.2991
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2maybe10.2825
Integer_Transition_Systems/From_T2/n-16a.t2.smt2no5.27363
Integer_Transition_Systems/From_T2/n-17.t2.smt2no33.3247
Integer_Transition_Systems/From_T2/n-18.t2.smt2no18.2536
Integer_Transition_Systems/From_T2/n-18a.t2.smt2no5.27196
Integer_Transition_Systems/From_T2/n-1c.t2.smt2no5.38874
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2maybe0.0493191
Integer_Transition_Systems/From_T2/n-1d.t2.smt2no20.4857
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2no20.3194
Integer_Transition_Systems/From_T2/n-20.t2.smt2maybe0.0491819
Integer_Transition_Systems/From_T2/n-21.t2.smt2no185.131
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2no36.4349
Integer_Transition_Systems/From_T2/n-3.t2.smt2no36.369
Integer_Transition_Systems/From_T2/n-32.t2.smt2no5.39977
Integer_Transition_Systems/From_T2/n-33.t2.smt2unknown300.015
Integer_Transition_Systems/From_T2/n-36.t2.smt2maybe0.149886
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2maybe0.146883
Integer_Transition_Systems/From_T2/n-37.t2.smt2no43.4099
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2no43.3948
Integer_Transition_Systems/From_T2/n-38.t2.smt2yes0.019835
Integer_Transition_Systems/From_T2/n-3a.t2.smt2no15.432
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2no15.2477
Integer_Transition_Systems/From_T2/n-4.t2.smt2no21.724
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2no21.2683
Integer_Transition_Systems/From_T2/n-40.t2.smt2no122.091
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2no36.9947
Integer_Transition_Systems/From_T2/n-46.t2.smt2no171.07
Integer_Transition_Systems/From_T2/n-48.t2.smt2no32.4539
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2no32.47
Integer_Transition_Systems/From_T2/n-5.t2.smt2no21.3216
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2no17.0131
Integer_Transition_Systems/From_T2/n-6.t2.smt2no131.027
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2no71.5947
Integer_Transition_Systems/From_T2/n-6a.t2.smt2no20.328
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2no20.2763
Integer_Transition_Systems/From_T2/n-7.t2.smt2no239.807
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2no146.023
Integer_Transition_Systems/From_T2/n-8.t2.smt2no5.39226
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2maybe0.046451
Integer_Transition_Systems/From_T2/n-8a.t2.smt2no5.18237
Integer_Transition_Systems/From_T2/n-9.t2.smt2no5.67397
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2no5.77367
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2maybe113.082
Integer_Transition_Systems/From_T2/nakata.t2.smt2no158.249
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2yes4.24387
Integer_Transition_Systems/From_T2/ndes.t2.smt2yes37.4343
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2yes20.0067
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2no17.2376
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2no17.2648
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2no268.688
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2no267.974
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2no49.1051
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2no49.211
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2no9.12796
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2no9.12887
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2no17.3029
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2no49.0184
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2no49.2276
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2no49.3135
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2no49.1547
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2no5.16163
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2no5.15904
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2no5.0875
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2no5.114
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2no0.0601949
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2no0.0614701
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2no0.060256
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2no0.061877
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2no0.170422
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2no0.523961
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2no0.522462
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2no0.051085
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2no0.0374151
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2no0.0764601
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2no0.0753929
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2no0.0795261
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2no0.180041
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2no0.179174
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2no0.456398
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2no0.456728
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2no3.21176
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2no12.3053
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2no36.72
Integer_Transition_Systems/From_T2/neg.t2.smt2yes0.018013
Integer_Transition_Systems/From_T2/nested.t2.smt2yes0.0400939
Integer_Transition_Systems/From_T2/nested2.t2.smt2yes0.0419101
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2yes4.05539
Integer_Transition_Systems/From_T2/non_term.t2.smt2no32.4499
Integer_Transition_Systems/From_T2/ns.t2.smt2yes1.15952
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2yes0.846164
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2no35.1319
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2yes23.1634
Integer_Transition_Systems/From_T2/p-1.t2.smt2maybe0.037885
Integer_Transition_Systems/From_T2/p-10.t2.smt2maybe0.0380429
Integer_Transition_Systems/From_T2/p-12.t2.smt2yes0.0233011
Integer_Transition_Systems/From_T2/p-13.t2.smt2yes0.018913
Integer_Transition_Systems/From_T2/p-14.t2.smt2yes0.02491
Integer_Transition_Systems/From_T2/p-15.t2.smt2yes0.0242419
Integer_Transition_Systems/From_T2/p-19.t2.smt2maybe0.037638
Integer_Transition_Systems/From_T2/p-19a.t2.smt2maybe0.0418159
Integer_Transition_Systems/From_T2/p-1a.t2.smt2maybe0.037628
Integer_Transition_Systems/From_T2/p-1b.t2.smt2yes0.0243321
Integer_Transition_Systems/From_T2/p-1c.t2.smt2maybe0.0388801
Integer_Transition_Systems/From_T2/p-1d.t2.smt2yes0.030314
Integer_Transition_Systems/From_T2/p-20.t2.smt2maybe0.045078
Integer_Transition_Systems/From_T2/p-21.t2.smt2yes0.061872
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2yes0.0308209
Integer_Transition_Systems/From_T2/p-22.t2.smt2yes0.0245209
Integer_Transition_Systems/From_T2/p-3.t2.smt2yes0.0300931
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2yes0.0310821
Integer_Transition_Systems/From_T2/p-32.t2.smt2no5.39938
Integer_Transition_Systems/From_T2/p-33.t2.smt2unknown300.059
Integer_Transition_Systems/From_T2/p-34.t2.smt2maybe0.070474
Integer_Transition_Systems/From_T2/p-36.t2.smt2maybe0.0666549
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2maybe0.066311
Integer_Transition_Systems/From_T2/p-37.t2.smt2yes0.0600089
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2yes0.0310659
Integer_Transition_Systems/From_T2/p-38.t2.smt2yes0.0375329
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2yes0.054548
Integer_Transition_Systems/From_T2/p-4.t2.smt2yes0.031236
Integer_Transition_Systems/From_T2/p-40.t2.smt2yes0.027203
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2yes0.0256569
Integer_Transition_Systems/From_T2/p-41.t2.smt2yes0.018619
Integer_Transition_Systems/From_T2/p-42.t2.smt2yes0.029485
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2yes3.95287
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2yes6.83314
Integer_Transition_Systems/From_T2/p-43.t2.smt2yes0.294448
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2yes0.990305
Integer_Transition_Systems/From_T2/p-44.t2.smt2yes0.0272521
Integer_Transition_Systems/From_T2/p-45.t2.smt2yes0.033208
Integer_Transition_Systems/From_T2/p-46.t2.smt2no5.41406
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2no5.37157
Integer_Transition_Systems/From_T2/p-49.t2.smt2yes0.024453
Integer_Transition_Systems/From_T2/p-5.t2.smt2no21.6785
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2no23.9587
Integer_Transition_Systems/From_T2/p-50.t2.smt2yes0.0199889
Integer_Transition_Systems/From_T2/p-52.t2.smt2maybe0.0371891
Integer_Transition_Systems/From_T2/p-53.t2.smt2yes0.0202321
Integer_Transition_Systems/From_T2/p-55.t2.smt2yes0.0334779
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2yes0.0347921
Integer_Transition_Systems/From_T2/p-56.t2.smt2yes0.027623
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2yes0.0288421
Integer_Transition_Systems/From_T2/p-58.t2.smt2yes0.022619
Integer_Transition_Systems/From_T2/p-6.t2.smt2yes0.0335619
Integer_Transition_Systems/From_T2/p-60.t2.smt2yes0.0282691
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2yes0.0268881
Integer_Transition_Systems/From_T2/p-61.t2.smt2yes0.028299
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2yes0.0427389
Integer_Transition_Systems/From_T2/p-62.t2.smt2yes0.0205511
Integer_Transition_Systems/From_T2/p-63.t2.smt2yes0.0426121
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2yes0.0420179
Integer_Transition_Systems/From_T2/p-7.t2.smt2yes0.0288559
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2yes0.027605
Integer_Transition_Systems/From_T2/p-7b.t2.smt2yes0.0269849
Integer_Transition_Systems/From_T2/p-8.t2.smt2maybe0.036574
Integer_Transition_Systems/From_T2/p.t2.smt2unknown300.115
Integer_Transition_Systems/From_T2/p_armc.t2.smt2maybe44.1365
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2yes0.0367431
Integer_Transition_Systems/From_T2/peculiar.t2.smt2no3.38605
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2no3.40962
Integer_Transition_Systems/From_T2/pentagon.t2.smt2unknown300.044
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2no0.077504
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2no0.077824
Integer_Transition_Systems/From_T2/pgarch.t2.smt2maybe126.463
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2unknown300.015
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2maybe27.4496
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2maybe29.4632
Integer_Transition_Systems/From_T2/polling.t2.smt2maybe27.8089
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2maybe26.9708
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2yes0.0934371
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2yes19.0837
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2yes26.8443
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2yes34.8096
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2yes46.0491
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2yes0.295401
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2no27.564
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2no0.145822
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2no0.155871
Integer_Transition_Systems/From_T2/ppblock.t2.smt2no127.429
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2no53.0973
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2no127.353
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2no127.345
Integer_Transition_Systems/From_T2/prime.t2.smt2no23.2706
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2no23.2709
Integer_Transition_Systems/From_T2/print.t2.smt2yes0.514139
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2yes1.26136
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2yes1.0333
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2yes1.53863
Integer_Transition_Systems/From_T2/queens.t2.smt2yes3.74407
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2yes4.29548
Integer_Transition_Systems/From_T2/queue_1.t2.smt2yes0.0626169
Integer_Transition_Systems/From_T2/queue_10.t2.smt2yes0.078741
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2yes0.0666961
Integer_Transition_Systems/From_T2/queue_100.t2.smt2yes0.0794791
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2yes0.0651069
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2yes0.115993
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2yes0.0646761
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2unknown300.037
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2yes0.126449
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2no5.39031
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2no36.6194
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2no10.2177
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2no8.49086
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2no8.88025
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2no8.84766
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2yes0.020256
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2yes0.0224009
Integer_Transition_Systems/From_T2/reverse.t2.smt2yes0.603178
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2yes2.1739
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2no11.5736
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2no12.4362
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2yes0.326842
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2yes1.20178
Integer_Transition_Systems/From_T2/rewrite.t2.smt2no0.0319481
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2unknown300.014
Integer_Transition_Systems/From_T2/rlft3.t2.smt2no268.343
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2unknown300.019
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2yes0.356139
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2yes0.872298
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2maybe164.747
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2maybe180.743
Integer_Transition_Systems/From_T2/s1.t2.smt2maybe164.832
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2maybe181.273
Integer_Transition_Systems/From_T2/s2.t2.smt2yes0.029918
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2yes0.030943
Integer_Transition_Systems/From_T2/s3-work.t2.smt2yes4.2854
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2yes14.8908
Integer_Transition_Systems/From_T2/s3.t2.smt2unknown300.055
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2unknown300.022
Integer_Transition_Systems/From_T2/s4.t2.smt2unknown300.022
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2unknown300.031
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2yes0.349846
Integer_Transition_Systems/From_T2/sas2.t2.smt2maybe212.574
Integer_Transition_Systems/From_T2/select.t2.smt2no217.889
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2no49.3514
Integer_Transition_Systems/From_T2/selectSort.t2.smt2yes0.14335
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2yes0.858356
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2yes0.801282
Integer_Transition_Systems/From_T2/seq.t2.smt2yes0.022884
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2yes0.019979
Integer_Transition_Systems/From_T2/simple.t2.smt2no33.517
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2yes0.0358011
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2yes0.045749
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2yes0.0260611
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2yes0.024867
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2yes0.0184971
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2yes0.0196501
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2yes0.028911
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2yes0.020352
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2yes0.0235631
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2yes0.019426
Integer_Transition_Systems/From_T2/simple_test.t2.smt2yes0.036375
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2no0.0308461
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2yes0.184063
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2yes0.171078
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2yes0.029661
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2yes0.0280879
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2unknown300.015
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2unknown300.032
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2maybe272.479
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2unknown300.072
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2unknown300.065
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2maybe123.61
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2maybe119.379
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2no8.99062
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2no12.123
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2no133.963
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2no44.6231
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2no23.2731
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2yes0.107497
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2yes0.104148
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2maybe159.975
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2no12.3072
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2no12.3226
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2no18.2944
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2no18.339
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2no12.5474
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2no12.6472
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2no12.3025
Integer_Transition_Systems/From_T2/small01.t2.smt2no43.3883
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2yes0.0269821
Integer_Transition_Systems/From_T2/small02.t2.smt2no18.1626
Integer_Transition_Systems/From_T2/small03.t2.smt2no35.1716
Integer_Transition_Systems/From_T2/small04.t2.smt2no63.5807
Integer_Transition_Systems/From_T2/small05.t2.smt2no54.5566
Integer_Transition_Systems/From_T2/small06.t2.smt2yes0.038316
Integer_Transition_Systems/From_T2/small07.t2.smt2yes0.0771639
Integer_Transition_Systems/From_T2/small08.t2.smt2yes0.0802791
Integer_Transition_Systems/From_T2/small09.t2.smt2yes0.0821261
Integer_Transition_Systems/From_T2/small10.t2.smt2no13.1934
Integer_Transition_Systems/From_T2/small11.t2.smt2no0.0350839
Integer_Transition_Systems/From_T2/small12.t2.smt2yes0.023875
Integer_Transition_Systems/From_T2/small13.t2.smt2yes0.0283321
Integer_Transition_Systems/From_T2/small14.t2.smt2no42.8211
Integer_Transition_Systems/From_T2/small15.t2.smt2maybe84.8232
Integer_Transition_Systems/From_T2/small16.t2.smt2maybe48.5138
Integer_Transition_Systems/From_T2/small17.t2.smt2maybe35.419
Integer_Transition_Systems/From_T2/small18.t2.smt2maybe35.4038
Integer_Transition_Systems/From_T2/small19.t2.smt2yes0.0293
Integer_Transition_Systems/From_T2/small20.t2.smt2yes0.0295839
Integer_Transition_Systems/From_T2/small21.t2.smt2yes0.0301209
Integer_Transition_Systems/From_T2/small22.t2.smt2no5.17674
Integer_Transition_Systems/From_T2/small23.t2.smt2no9.17698
Integer_Transition_Systems/From_T2/small24.t2.smt2no0.0299879
Integer_Transition_Systems/From_T2/small26.t2.smt2yes0.0234611
Integer_Transition_Systems/From_T2/small27.t2.smt2yes0.0192339
Integer_Transition_Systems/From_T2/small28.t2.smt2yes0.0234071
Integer_Transition_Systems/From_T2/small29.t2.smt2no5.07522
Integer_Transition_Systems/From_T2/small31.t2.smt2yes0.018842
Integer_Transition_Systems/From_T2/small32.t2.smt2yes0.0195849
Integer_Transition_Systems/From_T2/small33.t2.smt2yes0.0225391
Integer_Transition_Systems/From_T2/small34.t2.smt2yes0.0272359
Integer_Transition_Systems/From_T2/small35.t2.smt2no161.076
Integer_Transition_Systems/From_T2/sort.t2.smt2yes0.318825
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2yes0.340525
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2yes17.7711
Integer_Transition_Systems/From_T2/spctrm.t2.smt2yes13.8913
Integer_Transition_Systems/From_T2/spiral.t2.smt2maybe39.6976
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2yes2.77116
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2no20.3743
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2no9.34628
Integer_Transition_Systems/From_T2/st88.t2.smt2no15.0039
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2no9.66117
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2no18.7606
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2no18.9233
Integer_Transition_Systems/From_T2/statemate.t2.smt2unknown300.102
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2unknown300.058
Integer_Transition_Systems/From_T2/stored.t2.smt2no0.056026
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2maybe57.6484
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2maybe79.1375
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2no21.3976
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2no20.574
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2no54.556
Integer_Transition_Systems/From_T2/sudoku.t2.smt2yes12.5514
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2maybe274.051
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2maybe269.078
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2yes34.8147
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2yes31.0416
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2no5.06693
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2yes4.10146
Integer_Transition_Systems/From_T2/toeplz.t2.smt2yes4.10135
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2no47.0148
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2no46.1978
Integer_Transition_Systems/From_T2/tqli.t2.smt2no48.0405
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2no45.9969
Integer_Transition_Systems/From_T2/traverse.t2.smt2yes0.368366
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2yes0.875968
Integer_Transition_Systems/From_T2/traverse2.t2.smt2yes0.449433
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2yes1.25581
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2yes0.486901
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2yes1.26016
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2yes0.43828
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2yes1.01766
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2yes0.633993
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2yes1.53751
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2yes0.0535039
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2yes0.0461481
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2yes0.0679029
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2yes0.058526
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2yes0.067703
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2yes0.0676881
Integer_Transition_Systems/From_T2/ud.t2.smt2yes4.63331
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2yes4.57257
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2yes0.018867
Integer_Transition_Systems/From_T2/w1.t2.smt2no0.0321191
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2no10.1917
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2no8.61025
Integer_Transition_Systems/From_T2/walk.t2.smt2no112.618
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2no112.74
Integer_Transition_Systems/From_T2/weakness.t2.smt2yes1.0669
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2yes0.04116
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2yes0.411737
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2no9.61237
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2no1.15283
Integer_Transition_Systems/From_T2/wtf.t2.smt2yes1.93984
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2maybe85.9562
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2yes4.47764
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2maybe151.398
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2yes65.1956
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2no33.0323
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2yes8.35234
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2no6.40893
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2yes0.101095