iRankFinder
nameresulttime
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2yes1.08067
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2yes1.99566
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2yes1.52993
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2unknown7.45192
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2yes2.02182
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2yes3.5155
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2yes1.79507
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2yes1.64641
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2yes22.4141
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2yes5.92438
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2unknown13.9951
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2yes6.02961
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2unknown15.7207
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2yes1.78509
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2yes1.23617
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2unknown28.0594
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2yes2.68534
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2yes3.35877
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2unknown28.039
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2yes98.9942
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2yes1.53695
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2yes12.171
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2yes1.03218
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2yes2.07925
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2yes4.96668
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2yes1.38486
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2yes3.37164
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2no6.04596
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2unknown6.88131
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2yes1.23342
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2yes1.25719
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2unknown292.593
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2no1.03486
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2yes1.1936
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2no2.24778
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2no5.00107
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2no6.38354
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2no3.70589
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2unknown10.6258
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2unknown11.4342
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2yes1.80387
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2yes2.81361
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2yes3.53652
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2yes1.94243
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2yes1.01721
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2no7.70556
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2yes3.74074
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2yes83.5863
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2yes1.08565
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2yes5.0286
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2no161.081
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2no3.39448
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2yes1.47155
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2yes1.2838
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2yes1.02321
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2yes1.01194
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2yes4.25421
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2yes1.03486
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2yes4.43047
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2yes6.1997
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2yes1.29121
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2yes1.38373
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2yes1.11575
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2yes1.97556
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2yes2.47516
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2yes1.35863
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2yes1.4165
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2yes2.2323
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2yes2.64253
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2yes2.80346
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2yes3.047
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2yes2.79859
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2yes3.00686
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2no2.29156
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2yes1.18567
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2unknown7.03113
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2unknown7.29659
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2yes1.20379
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2unknown7.35452
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2yes1.22475
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2yes1.55212
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2yes1.2493
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2yes1.81382
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2yes1.02114
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2yes2.09108
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2yes1.667
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2no3.47349
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2no4.1711
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2no3.68801
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2no3.69843
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2no3.29877
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2yes7.67411
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2yes2.18762
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2yes1.88789
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2yes1.37718
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2yes1.39596
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2unknown7.2136
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2yes4.43482
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2yes4.44767
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2yes1.34559
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2yes1.01299
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2yes12.8116
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2no1.03703
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2yes2.45692
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2yes1.77279
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2yes1.3299
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2yes7.97704
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2yes16.792
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2yes2.34107
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2no4.2813
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2yes4.39765
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2unknown173.752
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2yes1.04184
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2maybe299.006
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2unknown10.5353
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2unknown12.417
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2no1.52596
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2yes1.87496
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2yes2.71139
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2yes2.01317
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2unknown37.9874
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2yes1.29823
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2yes3.04125
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2yes3.64288
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2yes4.72027
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2yes1.35432
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2yes1.16721
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2yes1.23293
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2unknown6.01994
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2yes2.08527
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2no1.02906
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2yes1.10235
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2no1.32659
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2yes81.8375
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2unknown51.2517
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2unknown51.107
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2unknown47.4467
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2unknown25.2768
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2unknown56.243
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2yes1.31092
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2yes11.3094
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2yes1.03712
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2yes1.53433
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2yes1.96936
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2yes15.2951
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2yes4.73629
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2yes3.92488
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2yes4.54358
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2unknown18.5579
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2no1.03507
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2no1.04496
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2no1.04243
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2no1.34489
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2no1.03238
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2unknown28.2227
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2no1.04332
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2no1.18564
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2unknown8.22569
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2no1.71948
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2unknown11.0471
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2no1.05921
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2no1.04187
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2unknown9.24556
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2no7.52997
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2unknown7.37274
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2yes1.53281
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2yes1.43838
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2yes3.54173
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2unknown16.2
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2no19.312
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2yes1.01387
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2yes30.9176
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2yes5.08824
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2yes1.3687
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2yes2.96088
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2yes1.0501
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2yes1.0735
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2yes1.10998
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2yes1.07975
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2yes1.04175
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2yes1.07408
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2yes1.04059
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2yes1.41641
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2yes1.6838
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2yes1.24752
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2yes5.82399
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2yes1.46723
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2yes1.55766
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2yes1.34732
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2yes1.4455
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2yes1.98069
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2yes1.04517
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2yes1.0449
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2yes1.03132
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2yes1.16862
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2yes1.04012
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2yes1.1052
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2yes1.71465
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2yes1.38589
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2yes1.20798
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2yes1.49737
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2yes1.37627
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2yes1.29583
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2yes1.24441
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2yes1.09516
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2yes1.63063
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2yes1.69379
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2yes5.30134
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2yes10.6237
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2unknown171.948
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2yes3.03933
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2yes6.59333
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2yes4.82142
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2unknown8.11945
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2yes1.47346
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2unknown33.5249
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2yes3.84268
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2yes1.23499
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2yes1.01323
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2yes1.6066
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2yes2.07576
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2no11.7442
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2unknown11.5986
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2unknown110.667
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2yes1.01296
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2yes19.5741
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2unknown6.68391
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2yes1.22991
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2yes17.1913
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2yes13.7302
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2yes3.15713
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2yes1.72013
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2yes1.01652
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2no1.39459
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2no1.33823
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2yes5.64153
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2yes2.54967
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2yes1.87598
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2yes3.34986
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2yes2.50213
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2no2.6969
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2yes3.53012
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2yes7.35137
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2yes10.0719
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2unknown13.9032
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2yes2.37988
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2yes5.47038
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2no1.03957
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2unknown5.45584
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2yes1.94252
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2yes5.01016
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2yes5.10271
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2no169.607
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2yes1.02687
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2no1.91119
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2no1.49314
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2no3.42311
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2no4.36912
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2no2.6333
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2unknown291.436
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2unknown5.85246
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2no1.39066
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2no1.34694
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2unknown28.3021
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2no1.67377
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2no2.30926
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2no1.78402
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2no1.36213
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2no1.72386
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2no1.95641
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2no1.31879
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2no1.18457
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2no3.08403
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2no2.02671
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2no2.16916
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2unknown17.2329
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2unknown13.7535
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2no1.17821
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2no2.12191
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2no1.9136
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2no3.42443
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2no1.11983
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2no1.30128
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2no1.5461
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2no3.8999
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2no1.74536
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2no2.79912
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2no6.96574
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2unknown58.0375
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2unknown42.4369
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2no1.3565
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2no3.21401
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2unknown37.3421
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2unknown37.2243
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2no2.24397
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2yes1.00659
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2no1.12648
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2no1.41275
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2no1.65852
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2no1.65522
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2no1.39636
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2no1.74218
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2no4.21667
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2no1.30779
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2yes1.38193
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2no2.00063
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2no5.33856
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2no1.49489
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2no2.64378
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2no1.40386
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2no1.37887
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2unknown138.213
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2no1.6968
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2yes2.12192
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2yes1.2443
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2yes1.08954
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2yes1.11166
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2no1.14347
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2no1.97618
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2no1.13321
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2no1.1265
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2no1.6948
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2no1.72794
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2no1.16522
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2no1.11083
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2no1.09168
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2no1.07774
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2unknown15.2982
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2unknown7.63399
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2yes11.646
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2yes11.866
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2yes15.5217
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2yes24.0698
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2yes15.3518
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2yes11.0321
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2yes16.2466
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2yes16.0887
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2yes16.0569
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2yes11.4798
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2yes18.6624
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2yes11.5946
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2yes1.68895
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2yes2.21164
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2yes13.8423
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2yes2.45106
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2yes2.24124
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2yes2.80086
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2yes58.4442
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2yes108.326
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2yes11.9346
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2yes2.65801
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2yes63.713
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2yes4.08789
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2yes3.30124
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2yes2.6675
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2yes58.8354
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2yes2.31597
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2yes15.0075
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2yes99.3173
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2yes15.0312
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2yes2.25845
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2yes2.26765
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2yes2.2402
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2yes2.73746
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2yes2.68502
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2yes2.707
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2yes3.53136
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2yes3.46676
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2yes4.96353
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2yes3.43003
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2yes2.26488
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2yes21.029
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2yes20.8862
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2yes128.564
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2yes3.50334
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2yes128.537
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2yes5.01802
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2yes134.916
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2yes35.504
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2yes4.45293
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2yes1.6669
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2yes2.25755
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2yes3.63919
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2no1.76109
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2no4.7635
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2unknown59.1525
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2no1.54238
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2no1.2183
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2no1.2055
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2unknown42.4137
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2no1.35378
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2maybe299.005
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2unknown48.3759
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2no1.31945
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2no1.30192
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2no1.4096
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2no1.73218
Integer_Transition_Systems/From_T2/1.t2.smt2no11.7488
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2no83.0203
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2no77.5152
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2no86.2346
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2no85.9932
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2no86.5677
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2no86.3808
Integer_Transition_Systems/From_T2/2.t2.smt2unknown66.7107
Integer_Transition_Systems/From_T2/232.t2.smt2yes1.59412
Integer_Transition_Systems/From_T2/241.t2.smt2yes1.58951
Integer_Transition_Systems/From_T2/3.t2.smt2no1.37073
Integer_Transition_Systems/From_T2/5.t2.smt2yes0.879948
Integer_Transition_Systems/From_T2/6.t2.smt2no1.57886
Integer_Transition_Systems/From_T2/7.t2.smt2no1.59809
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2no2.6182
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2no2.66093
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2maybe299.008
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/afagx1.t2.smt2no2.42022
Integer_Transition_Systems/From_T2/agafp.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/andrey.t2.smt2yes1.16012
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2no277.707
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2no277.26
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/arith.t2.smt2yes1.49709
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2yes1.28089
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2yes0.794685
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2yes48.4961
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2yes2.70894
Integer_Transition_Systems/From_T2/array.t2.smt2yes1.03292
Integer_Transition_Systems/From_T2/array2.t2.smt2yes1.40301
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2yes1.33568
Integer_Transition_Systems/From_T2/array3.t2.smt2yes2.02673
Integer_Transition_Systems/From_T2/array4.t2.smt2yes1.9704
Integer_Transition_Systems/From_T2/array_free.t2.smt2yes2.03972
Integer_Transition_Systems/From_T2/array_free2.t2.smt2yes1.98727
Integer_Transition_Systems/From_T2/array_init.t2.smt2yes1.59392
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2yes1.47126
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2yes2.077
Integer_Transition_Systems/From_T2/ase_example.t2.smt2yes3.46089
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2yes3.1483
Integer_Transition_Systems/From_T2/ax_test.t2.smt2no1.36651
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2no1.33623
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2no1.61143
Integer_Transition_Systems/From_T2/bakery.t2.smt2no34.5157
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2no29.3157
Integer_Transition_Systems/From_T2/bf10.t2.smt2yes9.39312
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2yes8.72823
Integer_Transition_Systems/From_T2/bf11.t2.smt2yes8.60138
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2yes8.06252
Integer_Transition_Systems/From_T2/bf12.t2.smt2yes8.73166
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2yes8.14614
Integer_Transition_Systems/From_T2/bf13.t2.smt2yes8.60772
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2yes8.19305
Integer_Transition_Systems/From_T2/bf14.t2.smt2yes8.90308
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2yes7.60681
Integer_Transition_Systems/From_T2/bf15.t2.smt2yes9.05733
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2yes8.17476
Integer_Transition_Systems/From_T2/bf16.t2.smt2yes8.655
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2yes8.3627
Integer_Transition_Systems/From_T2/bf17.t2.smt2yes8.7447
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2yes8.11029
Integer_Transition_Systems/From_T2/bf18.t2.smt2yes8.55636
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2yes8.1789
Integer_Transition_Systems/From_T2/bf19.t2.smt2yes8.60122
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2yes8.148
Integer_Transition_Systems/From_T2/bf20.t2.smt2yes9.22191
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2yes8.4372
Integer_Transition_Systems/From_T2/bf5.t2.smt2yes9.13901
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2yes7.31792
Integer_Transition_Systems/From_T2/bf6.t2.smt2yes8.52954
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2yes7.91348
Integer_Transition_Systems/From_T2/bf7.t2.smt2yes10.8042
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2yes9.3377
Integer_Transition_Systems/From_T2/bf8.t2.smt2yes9.38923
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2yes8.56427
Integer_Transition_Systems/From_T2/bf9.t2.smt2yes9.48879
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2yes8.61896
Integer_Transition_Systems/From_T2/bio.t2.smt2maybe299.006
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2yes2.96406
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2yes3.79072
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2yes2.94422
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2yes3.76193
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2yes3.75501
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2yes112.698
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2yes107.881
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2yes102.562
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2yes98.9297
Integer_Transition_Systems/From_T2/broydn.t2.smt2yes234.645
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2yes222.96
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/bs.t2.smt2no13.726
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2no51.3248
Integer_Transition_Systems/From_T2/bsort100.t2.smt2yes11.3702
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2yes10.4124
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2yes4.22875
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2yes2.9298
Integer_Transition_Systems/From_T2/byron-1.t2.smt2yes1.44896
Integer_Transition_Systems/From_T2/byron-2.t2.smt2yes3.66011
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2yes4.08222
Integer_Transition_Systems/From_T2/byron-3.t2.smt2yes1.46657
Integer_Transition_Systems/From_T2/byron-4.t2.smt2no14.5586
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2yes2.82244
Integer_Transition_Systems/From_T2/cfg.t2.smt2no2.07011
Integer_Transition_Systems/From_T2/cnt.t2.smt2yes39.9989
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2yes30.0483
Integer_Transition_Systems/From_T2/collatz.t2.smt2unknown14.9342
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2unknown68.6374
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2yes1.90629
Integer_Transition_Systems/From_T2/compress.t2.smt2no252.509
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/constants.t2.smt2yes2.4828
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2yes2.23353
Integer_Transition_Systems/From_T2/consts1.t2.smt2no1.88803
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2unknown10.1602
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2no1.88334
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2no1.65272
Integer_Transition_Systems/From_T2/consts2.t2.smt2no1.43294
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2yes1.12456
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2no1.42728
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2no6.22148
Integer_Transition_Systems/From_T2/consts3.t2.smt2yes1.1511
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2yes1.1416
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2no6.6816
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2no5.36636
Integer_Transition_Systems/From_T2/consts4.t2.smt2no1.56373
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2yes1.14725
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2no1.57618
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2no6.16279
Integer_Transition_Systems/From_T2/consts5.t2.smt2no2.16223
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2yes1.08249
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2no2.17671
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2no6.08792
Integer_Transition_Systems/From_T2/cover.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/crc.t2.smt2yes101.568
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2yes95.235
Integer_Transition_Systems/From_T2/create.t2.smt2yes2.84822
Integer_Transition_Systems/From_T2/create_seg.t2.smt2yes3.12686
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2yes13.6061
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2yes16.008
Integer_Transition_Systems/From_T2/ctl.t2.smt2no8.44901
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2no7.30368
Integer_Transition_Systems/From_T2/curious.t2.smt2no1.89516
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2no1.86706
Integer_Transition_Systems/From_T2/curious2.t2.smt2yes0.908667
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2yes0.82849
Integer_Transition_Systems/From_T2/curious4.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/d.t2.smt2unknown9.39378
Integer_Transition_Systems/From_T2/db.t2.smt2yes1.35602
Integer_Transition_Systems/From_T2/db2.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2maybe299.006
Integer_Transition_Systems/From_T2/db3.t2.smt2maybe299.004
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2no11.3629
Integer_Transition_Systems/From_T2/defect.t2.smt2no1.16568
Integer_Transition_Systems/From_T2/destroy.t2.smt2yes15.2016
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2yes17.7879
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2yes18.6062
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2yes22.0129
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2no104.641
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2no165.006
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2no13.6813
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2yes3.30564
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2yes0.937055
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2no14.7369
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2yes0.903351
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2yes2.12793
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2yes1.93228
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2yes0.89864
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2yes0.891719
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2yes2.0206
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2yes1.96582
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2yes1.38464
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2yes1.31781
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2yes1.51345
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2yes0.910531
Integer_Transition_Systems/From_T2/dummy.t2.smt2no1.66091
Integer_Transition_Systems/From_T2/dumper.t2.smt2maybe299.004
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2no75.2779
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2no73.7704
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2no73.6026
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2no76.6805
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2no77.118
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2no76.8453
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2no77.3705
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2no2.65341
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2no2.8783
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2no2.8429
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2no6.76898
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2no6.8633
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2no6.58671
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2no13.0172
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2no13.0686
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2no10.7953
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2no3.77017
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2unknown17.5616
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2no3.8235
Integer_Transition_Systems/From_T2/edn.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2yes78.6903
Integer_Transition_Systems/From_T2/efegp.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2yes11.1556
Integer_Transition_Systems/From_T2/elmhes.t2.smt2yes11.787
Integer_Transition_Systems/From_T2/eric.t2.smt2yes8.19612
Integer_Transition_Systems/From_T2/eric1.t2.smt2yes2.6043
Integer_Transition_Systems/From_T2/eric2.t2.smt2yes36.697
Integer_Transition_Systems/From_T2/eric3.t2.smt2no3.58761
Integer_Transition_Systems/From_T2/ex1.t2.smt2no1.67933
Integer_Transition_Systems/From_T2/ex10.t2.smt2no11.9514
Integer_Transition_Systems/From_T2/ex11.t2.smt2unknown123.461
Integer_Transition_Systems/From_T2/ex12.t2.smt2yes1.37905
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2yes1.32734
Integer_Transition_Systems/From_T2/ex13.t2.smt2yes0.88027
Integer_Transition_Systems/From_T2/ex14.t2.smt2yes1.3543
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2yes1.28797
Integer_Transition_Systems/From_T2/ex15.t2.smt2yes0.943529
Integer_Transition_Systems/From_T2/ex16.t2.smt2no16.3011
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2no15.2918
Integer_Transition_Systems/From_T2/ex17.t2.smt2yes4.67162
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2yes4.44975
Integer_Transition_Systems/From_T2/ex18.t2.smt2yes18.6052
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2yes17.0371
Integer_Transition_Systems/From_T2/ex19.t2.smt2no4.21956
Integer_Transition_Systems/From_T2/ex2.t2.smt2no2.64991
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2no2.40188
Integer_Transition_Systems/From_T2/ex20.t2.smt2yes2.69558
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2yes2.66622
Integer_Transition_Systems/From_T2/ex21.t2.smt2yes2.25973
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2yes1.9698
Integer_Transition_Systems/From_T2/ex22.t2.smt2yes31.5683
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2yes32.5969
Integer_Transition_Systems/From_T2/ex23.t2.smt2yes1.68668
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2yes1.53985
Integer_Transition_Systems/From_T2/ex26.t2.smt2yes4.0584
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2yes3.95747
Integer_Transition_Systems/From_T2/ex27.t2.smt2yes45.6568
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2yes51.5278
Integer_Transition_Systems/From_T2/ex29.t2.smt2yes6.17852
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2yes5.78855
Integer_Transition_Systems/From_T2/ex3.t2.smt2yes1.9955
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2yes1.91068
Integer_Transition_Systems/From_T2/ex30.t2.smt2yes2.4106
Integer_Transition_Systems/From_T2/ex31.t2.smt2no2.53276
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2no2.18739
Integer_Transition_Systems/From_T2/ex32.t2.smt2yes2.83398
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2yes2.5847
Integer_Transition_Systems/From_T2/ex33.t2.smt2yes1.47303
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2yes1.49041
Integer_Transition_Systems/From_T2/ex34.t2.smt2yes1.33709
Integer_Transition_Systems/From_T2/ex36.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/ex4.t2.smt2yes5.06388
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2yes5.15294
Integer_Transition_Systems/From_T2/ex40.t2.smt2no3.76502
Integer_Transition_Systems/From_T2/ex6.t2.smt2yes1.27439
Integer_Transition_Systems/From_T2/ex7.t2.smt2yes1.63332
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2yes1.55054
Integer_Transition_Systems/From_T2/ex8.t2.smt2no5.0376
Integer_Transition_Systems/From_T2/ex9.t2.smt2no5.84457
Integer_Transition_Systems/From_T2/example.t2.smt2yes1.33091
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2no200.726
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2no162.445
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2no57.9886
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2no56.0869
Integer_Transition_Systems/From_T2/fdct.t2.smt2yes6.06441
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2yes3.35282
Integer_Transition_Systems/From_T2/fermat.t2.smt2yes8.93794
Integer_Transition_Systems/From_T2/fibcall.t2.smt2yes2.31898
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2yes2.13908
Integer_Transition_Systems/From_T2/fir.t2.smt2yes11.544
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2yes8.49678
Integer_Transition_Systems/From_T2/firewire.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/flipflop.t2.smt2unknown6.52234
Integer_Transition_Systems/From_T2/florian.t2.smt2yes1.04638
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2yes13.0475
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2yes3.43697
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2yes4.30411
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2maybe299.004
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2yes22.1859
Integer_Transition_Systems/From_T2/foo.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2no109.512
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2no109.212
Integer_Transition_Systems/From_T2/fourn.t2.smt2no183.411
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2yes2.7344
Integer_Transition_Systems/From_T2/fun1.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2maybe299.006
Integer_Transition_Systems/From_T2/fun10.t2.smt2no219.822
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2no220.078
Integer_Transition_Systems/From_T2/fun10b.t2.smt2no191.627
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2no191.634
Integer_Transition_Systems/From_T2/fun11.t2.smt2no5.17978
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2no6.84866
Integer_Transition_Systems/From_T2/fun1b.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2maybe299.004
Integer_Transition_Systems/From_T2/fun2.t2.smt2yes34.921
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2yes24.7854
Integer_Transition_Systems/From_T2/fun2b.t2.smt2yes34.6806
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2yes24.5539
Integer_Transition_Systems/From_T2/fun3.t2.smt2yes34.7683
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2yes5.35042
Integer_Transition_Systems/From_T2/fun4.t2.smt2no5.9081
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2yes12.0772
Integer_Transition_Systems/From_T2/fun5.t2.smt2no130.417
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/fun6.t2.smt2no297.731
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2maybe299.008
Integer_Transition_Systems/From_T2/fun7.t2.smt2no47.6436
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2no59.067
Integer_Transition_Systems/From_T2/fun8.t2.smt2yes16.5322
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2yes18.9826
Integer_Transition_Systems/From_T2/fun9.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/graycode.t2.smt2yes34.5771
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2yes32.4038
Integer_Transition_Systems/From_T2/hand7.t2.smt2no6.09357
Integer_Transition_Systems/From_T2/heidy1.t2.smt2no1.50331
Integer_Transition_Systems/From_T2/heidy10.t2.smt2yes1.94868
Integer_Transition_Systems/From_T2/heidy2.t2.smt2no1.72463
Integer_Transition_Systems/From_T2/heidy3.t2.smt2no1.68623
Integer_Transition_Systems/From_T2/heidy5.t2.smt2yes1.49991
Integer_Transition_Systems/From_T2/heidy6.t2.smt2no2.99155
Integer_Transition_Systems/From_T2/heidy7.t2.smt2no24.5483
Integer_Transition_Systems/From_T2/heidy8.t2.smt2no3.35804
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2no3.2894
Integer_Transition_Systems/From_T2/heidy9.t2.smt2yes1.25491
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2maybe299.004
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/hqr.t2.smt2maybe299.004
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/huh.t2.smt2yes5.56352
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2yes5.28781
Integer_Transition_Systems/From_T2/iecs.t2.smt2yes1.18509
Integer_Transition_Systems/From_T2/insertsort.t2.smt2no2.85851
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2no2.49952
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2no16.6977
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2yes19.6214
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2yes19.4546
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2yes18.8328
Integer_Transition_Systems/From_T2/jacobi.t2.smt2yes16.1574
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2yes15.8133
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2yes3.23146
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2yes7.56213
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2yes68.0051
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2yes30.0266
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2unknown44.6069
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2yes2.09978
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2yes2.01813
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2yes8.80637
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2yes2.10473
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2yes2.00162
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2yes109.832
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2yes2.81643
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2yes72.9347
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2yes55.4577
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2yes9.85284
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2yes3.77309
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2yes5.96108
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2yes2.40134
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2yes2.92335
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2yes4.74969
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2yes2.08742
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2yes3.53669
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2yes5.35157
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2yes2.80269
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2yes3.03523
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2yes2.69862
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2yes2.79163
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2yes4.08106
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2yes3.58282
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2yes21.6972
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2yes3.06071
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2yes16.4881
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2yes3.80614
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2yes3.11504
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2yes5.85458
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2yes4.93767
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2yes4.50242
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2yes5.46715
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2yes4.85168
Integer_Transition_Systems/From_T2/l1.t2.smt2no1.72916
Integer_Transition_Systems/From_T2/loop3.t2.smt2yes108.017
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2yes60.4189
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2yes1.60327
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2yes1.72196
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2yes19.2207
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2yes18.9529
Integer_Transition_Systems/From_T2/magic.t2.smt2yes184.694
Integer_Transition_Systems/From_T2/matmul.t2.smt2yes7.57403
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2yes6.43224
Integer_Transition_Systems/From_T2/matmult.t2.smt2yes13.8979
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2yes12.8827
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2yes8.74949
Integer_Transition_Systems/From_T2/mc91.t2.smt2no3.48397
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2yes1.58036
Integer_Transition_Systems/From_T2/mc91test.t2.smt2no7.80206
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2yes3.75778
Integer_Transition_Systems/From_T2/minmax.t2.smt2yes4.8296
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2yes4.65669
Integer_Transition_Systems/From_T2/n-1.t2.smt2no3.01809
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2no3.93125
Integer_Transition_Systems/From_T2/n-10.t2.smt2no8.46336
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2no10.7183
Integer_Transition_Systems/From_T2/n-12.t2.smt2no2.74632
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2no3.00843
Integer_Transition_Systems/From_T2/n-12a.t2.smt2no1.50055
Integer_Transition_Systems/From_T2/n-13.t2.smt2no1.49476
Integer_Transition_Systems/From_T2/n-14.t2.smt2no2.63391
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2no3.11465
Integer_Transition_Systems/From_T2/n-15.t2.smt2no6.94269
Integer_Transition_Systems/From_T2/n-15a.t2.smt2no13.4951
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2no3.92634
Integer_Transition_Systems/From_T2/n-16a.t2.smt2no1.75664
Integer_Transition_Systems/From_T2/n-17.t2.smt2no6.37151
Integer_Transition_Systems/From_T2/n-18.t2.smt2no6.84367
Integer_Transition_Systems/From_T2/n-18a.t2.smt2no1.61526
Integer_Transition_Systems/From_T2/n-1c.t2.smt2no4.37885
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2no5.40638
Integer_Transition_Systems/From_T2/n-1d.t2.smt2no3.21937
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2no3.50751
Integer_Transition_Systems/From_T2/n-20.t2.smt2no3.31864
Integer_Transition_Systems/From_T2/n-21.t2.smt2no3.15656
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2no2.45181
Integer_Transition_Systems/From_T2/n-3.t2.smt2no2.4518
Integer_Transition_Systems/From_T2/n-32.t2.smt2no2.01241
Integer_Transition_Systems/From_T2/n-33.t2.smt2no9.98158
Integer_Transition_Systems/From_T2/n-36.t2.smt2no21.1704
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2no19.0273
Integer_Transition_Systems/From_T2/n-37.t2.smt2no2.59166
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2no2.56389
Integer_Transition_Systems/From_T2/n-38.t2.smt2yes0.948044
Integer_Transition_Systems/From_T2/n-3a.t2.smt2no7.77581
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2no6.24847
Integer_Transition_Systems/From_T2/n-4.t2.smt2no9.79567
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2no6.92988
Integer_Transition_Systems/From_T2/n-40.t2.smt2no7.40877
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2no10.8527
Integer_Transition_Systems/From_T2/n-46.t2.smt2no2.11105
Integer_Transition_Systems/From_T2/n-48.t2.smt2no2.59885
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2no2.62437
Integer_Transition_Systems/From_T2/n-5.t2.smt2no6.41266
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2no6.4718
Integer_Transition_Systems/From_T2/n-6.t2.smt2no4.02604
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2no4.91781
Integer_Transition_Systems/From_T2/n-6a.t2.smt2no2.65061
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2no3.31124
Integer_Transition_Systems/From_T2/n-7.t2.smt2no2.99446
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2no3.12779
Integer_Transition_Systems/From_T2/n-8.t2.smt2no6.03652
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2no7.58944
Integer_Transition_Systems/From_T2/n-8a.t2.smt2no2.12911
Integer_Transition_Systems/From_T2/n-9.t2.smt2no7.21879
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2no9.29226
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2yes112.987
Integer_Transition_Systems/From_T2/nakata.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/ndes.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2no77.5122
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2no82.9008
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2no85.1264
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2no84.5734
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2no84.705
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2no84.4114
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2no2.84262
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2no2.90209
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2no75.1448
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2no75.3571
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2no75.3619
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2no75.8133
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2no75.7477
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2no3.10329
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2no3.10342
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2no2.92318
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2no2.91763
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2no5.41561
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2no5.15523
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2no5.07005
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2no4.88942
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2no10.7894
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2no12.2205
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2no12.1646
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2no3.57505
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2no3.54825
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2no6.9959
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2no6.97094
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2no6.56145
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2no10.796
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2no10.623
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2no12.1894
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2no12.1183
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2no3.16233
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2unknown20.6097
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2no11.7033
Integer_Transition_Systems/From_T2/neg.t2.smt2yes0.815606
Integer_Transition_Systems/From_T2/nested.t2.smt2yes2.40172
Integer_Transition_Systems/From_T2/nested2.t2.smt2yes2.29721
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2yes2.15067
Integer_Transition_Systems/From_T2/non_term.t2.smt2no1.61754
Integer_Transition_Systems/From_T2/ns.t2.smt2yes18.4146
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2yes13.575
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2no1.59784
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2yes168.48
Integer_Transition_Systems/From_T2/p-1.t2.smt2no1.8014
Integer_Transition_Systems/From_T2/p-10.t2.smt2no2.47447
Integer_Transition_Systems/From_T2/p-12.t2.smt2yes1.30101
Integer_Transition_Systems/From_T2/p-13.t2.smt2yes1.00991
Integer_Transition_Systems/From_T2/p-14.t2.smt2yes1.29343
Integer_Transition_Systems/From_T2/p-15.t2.smt2yes1.48836
Integer_Transition_Systems/From_T2/p-19.t2.smt2no2.05934
Integer_Transition_Systems/From_T2/p-19a.t2.smt2no2.32963
Integer_Transition_Systems/From_T2/p-1a.t2.smt2no1.7889
Integer_Transition_Systems/From_T2/p-1b.t2.smt2yes1.35277
Integer_Transition_Systems/From_T2/p-1c.t2.smt2no1.76612
Integer_Transition_Systems/From_T2/p-1d.t2.smt2yes2.24633
Integer_Transition_Systems/From_T2/p-20.t2.smt2no2.95593
Integer_Transition_Systems/From_T2/p-21.t2.smt2yes1.94817
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2yes1.75928
Integer_Transition_Systems/From_T2/p-22.t2.smt2yes1.50296
Integer_Transition_Systems/From_T2/p-3.t2.smt2yes1.97792
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2yes2.13491
Integer_Transition_Systems/From_T2/p-32.t2.smt2no2.0058
Integer_Transition_Systems/From_T2/p-33.t2.smt2no4.24062
Integer_Transition_Systems/From_T2/p-34.t2.smt2no26.5118
Integer_Transition_Systems/From_T2/p-36.t2.smt2no6.38891
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2no5.82944
Integer_Transition_Systems/From_T2/p-37.t2.smt2yes2.36292
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2yes2.37896
Integer_Transition_Systems/From_T2/p-38.t2.smt2yes2.67853
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2yes3.13306
Integer_Transition_Systems/From_T2/p-4.t2.smt2yes1.91999
Integer_Transition_Systems/From_T2/p-40.t2.smt2yes1.87711
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2yes1.80591
Integer_Transition_Systems/From_T2/p-41.t2.smt2yes0.91701
Integer_Transition_Systems/From_T2/p-42.t2.smt2yes1.74471
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2yes61.6232
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2yes77.2996
Integer_Transition_Systems/From_T2/p-43.t2.smt2yes9.79712
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2yes14.4045
Integer_Transition_Systems/From_T2/p-44.t2.smt2yes1.51291
Integer_Transition_Systems/From_T2/p-45.t2.smt2yes1.71283
Integer_Transition_Systems/From_T2/p-46.t2.smt2no110.587
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/p-49.t2.smt2yes1.31121
Integer_Transition_Systems/From_T2/p-5.t2.smt2no6.45783
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2no6.57959
Integer_Transition_Systems/From_T2/p-50.t2.smt2yes0.943827
Integer_Transition_Systems/From_T2/p-52.t2.smt2no2.44082
Integer_Transition_Systems/From_T2/p-53.t2.smt2yes1.23743
Integer_Transition_Systems/From_T2/p-55.t2.smt2yes3.68098
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2yes3.91336
Integer_Transition_Systems/From_T2/p-56.t2.smt2yes1.80282
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2yes2.01257
Integer_Transition_Systems/From_T2/p-58.t2.smt2yes1.44018
Integer_Transition_Systems/From_T2/p-6.t2.smt2yes2.45041
Integer_Transition_Systems/From_T2/p-60.t2.smt2yes1.77541
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2yes1.68103
Integer_Transition_Systems/From_T2/p-61.t2.smt2yes1.80012
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2yes1.56766
Integer_Transition_Systems/From_T2/p-62.t2.smt2yes0.967802
Integer_Transition_Systems/From_T2/p-63.t2.smt2yes1.90888
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2yes1.84328
Integer_Transition_Systems/From_T2/p-7.t2.smt2yes1.99668
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2yes2.02034
Integer_Transition_Systems/From_T2/p-7b.t2.smt2yes2.26993
Integer_Transition_Systems/From_T2/p-8.t2.smt2no2.02052
Integer_Transition_Systems/From_T2/p.t2.smt2maybe299.008
Integer_Transition_Systems/From_T2/p_armc.t2.smt2no66.0952
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2yes3.14676
Integer_Transition_Systems/From_T2/peculiar.t2.smt2no3.98664
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2no3.95594
Integer_Transition_Systems/From_T2/pentagon.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2no6.67661
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2no6.60615
Integer_Transition_Systems/From_T2/pgarch.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2no53.2246
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2no50.0966
Integer_Transition_Systems/From_T2/polling.t2.smt2no42.8801
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2no40.1718
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2yes1.2479
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2unknown7.65735
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2unknown61.4331
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2unknown51.0595
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2unknown135.044
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2yes1.63951
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2no2.28606
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2no9.87937
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2no9.82577
Integer_Transition_Systems/From_T2/ppblock.t2.smt2no32.1244
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2no22.4392
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2no9.82372
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2no12.6918
Integer_Transition_Systems/From_T2/prime.t2.smt2no38.3724
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2no35.6596
Integer_Transition_Systems/From_T2/print.t2.smt2yes50.7308
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2yes53.8009
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2yes16.3882
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2yes23.8873
Integer_Transition_Systems/From_T2/queens.t2.smt2yes229.718
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/queue_1.t2.smt2yes5.44556
Integer_Transition_Systems/From_T2/queue_10.t2.smt2yes6.65451
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2yes6.3136
Integer_Transition_Systems/From_T2/queue_100.t2.smt2yes6.7156
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2yes7.05696
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2yes6.69454
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2yes6.28658
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2yes60.497
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2yes18.3327
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2no2.32662
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2no2.75072
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2no17.304
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2no25.613
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2no25.1284
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2no25.0347
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2yes1.02893
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2yes1.02026
Integer_Transition_Systems/From_T2/reverse.t2.smt2yes104.815
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2yes101.399
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2no51.1317
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2no76.3242
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2yes43.5937
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2yes67.3744
Integer_Transition_Systems/From_T2/rewrite.t2.smt2no1.42553
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2no35.2171
Integer_Transition_Systems/From_T2/rlft3.t2.smt2no25.9514
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2no106.243
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2yes46.7243
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2yes55.2729
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2maybe299.006
Integer_Transition_Systems/From_T2/s1.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/s2.t2.smt2yes1.53993
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2yes1.4457
Integer_Transition_Systems/From_T2/s3-work.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/s3.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/s4.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2yes18.2497
Integer_Transition_Systems/From_T2/sas2.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/select.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/selectSort.t2.smt2yes6.59184
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2yes44.1559
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2yes42.2658
Integer_Transition_Systems/From_T2/seq.t2.smt2yes1.15458
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2yes1.27675
Integer_Transition_Systems/From_T2/simple.t2.smt2no1.78265
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2yes3.38184
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2yes1.48468
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2yes1.67933
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2yes1.60147
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2yes1.02253
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2yes0.932133
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2yes0.905684
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2yes0.907661
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2yes1.85627
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2yes1.26645
Integer_Transition_Systems/From_T2/simple_test.t2.smt2yes2.62342
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2no1.44049
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2yes12.911
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2yes19.8655
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2yes1.76983
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2yes1.66788
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2maybe299.008
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2no8.65502
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2no71.4874
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2no118.836
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2no10.1812
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2no9.77579
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2yes10.8972
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2yes10.6942
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2no66.6578
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2unknown17.3804
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2unknown17.5426
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2no3.8701
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2no3.86554
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2unknown20.5704
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2unknown20.6655
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2unknown20.6256
Integer_Transition_Systems/From_T2/small01.t2.smt2no1.58072
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2yes1.30812
Integer_Transition_Systems/From_T2/small02.t2.smt2no2.72092
Integer_Transition_Systems/From_T2/small03.t2.smt2no1.59657
Integer_Transition_Systems/From_T2/small04.t2.smt2no1.65297
Integer_Transition_Systems/From_T2/small05.t2.smt2no1.51405
Integer_Transition_Systems/From_T2/small06.t2.smt2yes2.27031
Integer_Transition_Systems/From_T2/small07.t2.smt2yes3.25377
Integer_Transition_Systems/From_T2/small08.t2.smt2yes3.44113
Integer_Transition_Systems/From_T2/small09.t2.smt2yes3.45908
Integer_Transition_Systems/From_T2/small10.t2.smt2no2.63302
Integer_Transition_Systems/From_T2/small11.t2.smt2no1.44476
Integer_Transition_Systems/From_T2/small12.t2.smt2yes1.24645
Integer_Transition_Systems/From_T2/small13.t2.smt2yes1.55767
Integer_Transition_Systems/From_T2/small14.t2.smt2no13.8317
Integer_Transition_Systems/From_T2/small15.t2.smt2no1.97732
Integer_Transition_Systems/From_T2/small16.t2.smt2unknown11.4213
Integer_Transition_Systems/From_T2/small17.t2.smt2unknown9.16435
Integer_Transition_Systems/From_T2/small18.t2.smt2unknown11.1412
Integer_Transition_Systems/From_T2/small19.t2.smt2yes1.69735
Integer_Transition_Systems/From_T2/small20.t2.smt2yes1.58388
Integer_Transition_Systems/From_T2/small21.t2.smt2yes1.59909
Integer_Transition_Systems/From_T2/small22.t2.smt2no4.78314
Integer_Transition_Systems/From_T2/small23.t2.smt2no4.73031
Integer_Transition_Systems/From_T2/small24.t2.smt2no1.42181
Integer_Transition_Systems/From_T2/small26.t2.smt2yes1.41204
Integer_Transition_Systems/From_T2/small27.t2.smt2yes1.01643
Integer_Transition_Systems/From_T2/small28.t2.smt2yes1.15504
Integer_Transition_Systems/From_T2/small29.t2.smt2no1.38873
Integer_Transition_Systems/From_T2/small31.t2.smt2yes0.957643
Integer_Transition_Systems/From_T2/small32.t2.smt2yes1.03716
Integer_Transition_Systems/From_T2/small33.t2.smt2yes1.01965
Integer_Transition_Systems/From_T2/small34.t2.smt2yes1.12631
Integer_Transition_Systems/From_T2/small35.t2.smt2no1.63251
Integer_Transition_Systems/From_T2/sort.t2.smt2yes29.3571
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2yes41.0067
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2yes64.4526
Integer_Transition_Systems/From_T2/spctrm.t2.smt2yes117.337
Integer_Transition_Systems/From_T2/spiral.t2.smt2yes17.385
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2yes23.999
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2no9.87296
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2no7.73198
Integer_Transition_Systems/From_T2/st88.t2.smt2no10.2947
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2no119.453
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2no9.23358
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2no9.21539
Integer_Transition_Systems/From_T2/statemate.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/stored.t2.smt2no4.93471
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2no29.5378
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2no28.259
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2no1.60137
Integer_Transition_Systems/From_T2/sudoku.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2no1.87426
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2yes10.3855
Integer_Transition_Systems/From_T2/toeplz.t2.smt2yes21.0386
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/tqli.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2maybe299.005
Integer_Transition_Systems/From_T2/traverse.t2.smt2yes48.1933
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2yes49.6256
Integer_Transition_Systems/From_T2/traverse2.t2.smt2yes70.8957
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2yes77.376
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2yes66.8136
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2yes68.9563
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2yes52.4865
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2yes65.0446
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2yes92.9505
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2yes86.2166
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2yes6.18589
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2yes5.56336
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2yes10.0309
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2yes8.10701
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2yes10.1389
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2yes10.8521
Integer_Transition_Systems/From_T2/ud.t2.smt2yes83.8084
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2yes75.8672
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2yes0.8978
Integer_Transition_Systems/From_T2/w1.t2.smt2no6.06221
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2no14.8805
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2no22.2865
Integer_Transition_Systems/From_T2/walk.t2.smt2no11.4884
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2no11.5777
Integer_Transition_Systems/From_T2/weakness.t2.smt2yes1.48128
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2yes1.17056
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2yes23.3761
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2no6.00729
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2unknown19.6509
Integer_Transition_Systems/From_T2/wtf.t2.smt2yes24.625
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2maybe299.004
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2maybe299.005
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2no24.1133
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2yes19.2967
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2no19.9337
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2yes22.4933
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2no6.52965
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2yes4.88165