T2
nameresulttime
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2yes0.924975
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2yes1.31329
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2yes1.19118
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2no1.26086
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2yes0.95226
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2yes0.964454
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2yes0.934456
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2yes0.957482
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2yes1.40725
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2maybe51.5885
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2maybe34.8164
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2maybe49.6473
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2maybe54.3261
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2yes0.981706
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2yes0.928913
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2no7.35882
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2yes0.995719
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2yes0.999838
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2maybe26.521
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2yes16.5049
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2yes0.919311
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2yes4.99916
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2yes0.915295
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2yes1.01493
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2yes1.09663
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2yes1.28832
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2yes1.25866
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2no1.18979
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2no1.51103
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2yes0.947335
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2yes0.944065
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2maybe6.8335
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2no1.18104
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2yes0.929653
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2no1.20512
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2no1.59596
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2no1.54859
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2no1.96011
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2no1.26037
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2no1.19106
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2yes0.938138
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2yes1.04704
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2yes1.2199
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2yes0.975959
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2yes0.917269
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2maybe60.5639
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2yes1.14948
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2yes89.0431
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2no1.69886
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2yes0.931123
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2yes1.32589
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2no2.22727
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2no1.18675
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2yes0.936514
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2yes71.9922
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2yes0.927934
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2yes0.956255
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2yes0.914916
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2yes1.13104
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2yes0.925719
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2yes1.03834
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2yes1.0853
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2yes0.91053
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2yes1.255
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2yes1.1842
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2yes1.66976
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2yes2.53743
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2yes1.22165
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2yes1.40966
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2yes1.99258
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2yes2.59214
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2yes0.994961
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2yes1.02189
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2yes1.00706
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2yes0.988783
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2no1.08195
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2yes1.00509
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2no1.2154
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2no1.23953
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2yes0.941525
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2no1.2113
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2yes0.946811
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2yes1.8707
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2yes0.945634
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2yes1.01615
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2yes0.917846
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2yes1.93892
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2yes0.930837
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2no1.47188
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2no1.55506
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2no1.38185
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2no1.49519
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2no1.16439
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2yes1.09711
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2yes0.974216
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2yes0.966435
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2yes0.940173
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2yes0.950268
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2maybe1.02474
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2yes1.10116
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2maybe73.147
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2yes1.12431
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2yes0.925642
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2yes0.920938
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2yes1.51545
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2no0.957098
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2yes0.990681
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2yes0.976485
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2yes0.947028
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2yes2.38809
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2yes2.52915
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2yes1.17859
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2maybe3.52225
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2yes1.17173
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2maybe33.63
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2yes0.93036
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2no1.30607
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2no2.34861
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2no1.16878
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2no1.24634
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2no1.06575
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2yes0.963222
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2yes1.0888
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2yes0.956183
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2no1.49275
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2yes0.950546
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2yes1.08978
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2yes1.14002
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2unknown300.02
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2unknown300.025
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2yes0.922596
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2yes0.935004
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2maybe1.02893
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2yes0.958319
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2no0.947629
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2yes0.924563
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2no1.04374
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2yes2.72823
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2no1.28273
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2no1.58919
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2no1.43408
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2no1.39172
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2no2.00134
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2maybe38.0184
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2yes0.949501
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2yes1.6629
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2yes0.933856
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2yes1.16594
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2maybe228.49
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2yes1.26798
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2yes1.2523
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2yes1.02657
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2yes1.2891
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2unknown300.112
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2maybe49.3339
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2no0.941348
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2no0.968608
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2no1.02974
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2maybe3.92179
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2no0.956641
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2maybe7.28679
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2no0.950673
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2no1.04086
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2maybe1.40889
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2unknown300.029
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2no1.20759
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2no0.951654
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2no0.952269
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2no1.22222
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2maybe2.83528
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2no1.06292
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2yes0.92996
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2yes0.973432
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2unknown300.02
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2maybe7.10968
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2no1.50223
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2yes0.927359
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2yes3.70152
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2yes1.10482
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2yes0.956837
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2maybe6.38485
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2yes0.926235
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2yes1.13124
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2yes1.18321
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2yes0.92795
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2yes0.916264
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2yes0.927854
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2yes0.925704
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2yes0.942831
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2yes1.27236
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2yes0.919234
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2yes0.992428
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2yes0.976866
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2yes1.00146
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2yes0.954216
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2yes0.971273
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2yes1.00269
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2yes0.927222
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2yes0.916215
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2yes0.924294
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2yes0.925058
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2yes0.914356
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2yes0.916477
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2yes0.940998
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2yes0.998758
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2yes1.25109
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2yes0.933318
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2yes0.950684
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2yes0.921279
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2yes0.911648
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2yes0.935656
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2yes0.949135
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2yes1.10129
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2yes1.15315
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2no3.31287
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2yes1.35787
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2maybe19.0066
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2maybe1.65876
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2yes1.15022
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2yes0.970452
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2yes1.05321
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2yes1.68949
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2yes0.976212
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2no1.26181
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2yes1.05967
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2yes0.941518
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2yes0.912268
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2yes0.961151
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2yes1.00164
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2no1.05861
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2no1.24807
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2maybe100.775
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2yes1.10822
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2yes23.2583
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2no1.05584
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2yes0.938881
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2yes3.87227
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2yes3.51809
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2yes1.05681
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2yes0.954632
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2yes0.920513
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2maybe6.06631
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2no1.06916
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2yes1.25397
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2maybe1.99096
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2yes1.03801
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2yes1.49644
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2yes2.5221
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2maybe3.97731
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2maybe1.28806
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2maybe16.4024
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2maybe164.305
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2yes3.28067
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2unknown300.041
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2no1.32602
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2yes2.52089
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2yes1.34766
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2no0.952504
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2no1.02409
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2yes0.966269
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2yes1.14301
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2yes1.04631
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2no7.24443
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2yes0.916347
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2no1.0306
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2maybe6.15801
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2no1.23702
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2maybe28.756
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2maybe37.4434
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2maybe1.84987
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2maybe7.04566
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2maybe1.44153
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2no1.03897
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2no1.02497
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2maybe85.4833
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2no1.17528
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2no1.24102
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2no1.18381
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2no1.06423
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2no1.06324
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2no1.19008
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2maybe1.5315
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2no1.01189
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2no1.40924
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2no1.16449
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2maybe51.1396
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2no1.06534
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2maybe2.04678
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2maybe5.61702
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2no1.02838
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2maybe24.7076
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2no1.228
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2no1.68371
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2no1.02412
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2maybe1.59029
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2no1.07102
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2no4.35912
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2no1.21249
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2maybe1.05488
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2maybe1.0276
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2maybe1.82979
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2maybe103.828
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2maybe1.74918
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2no1.81422
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2no1.02742
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2no1.10825
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2maybe63.617
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2maybe12.5758
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2no1.06697
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2yes0.925794
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2no1.03857
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2no1.03609
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2no1.1582
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2no1.18857
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2no1.1608
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2no1.13039
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2maybe6.02764
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2maybe1.60081
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2yes1.30251
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2maybe35.2172
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2maybe47.6468
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2maybe6.77266
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2maybe23.6163
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2no1.51993
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2no1.04789
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2maybe132.865
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2no1.13668
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2yes1.01568
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2yes0.934728
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2yes0.935419
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2yes0.946921
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2no1.14302
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2no1.15592
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2no1.04318
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2no1.04345
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2no1.05133
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2no1.13154
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2no1.03697
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2no1.00618
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2no1.01763
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2no1.0065
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2maybe55.8131
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2maybe34.2508
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2no1.03087
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2yes1.61959
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2yes1.69393
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2yes1.79914
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2yes2.19457
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2yes1.80114
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2yes1.58277
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2yes2.31464
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2yes2.72036
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2yes2.31131
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2yes1.62935
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2yes1.95794
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2yes1.6312
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2yes1.11863
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2yes1.11085
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2maybe13.0584
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2maybe54.3794
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2yes1.56188
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2yes1.06357
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2yes1.05542
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2yes1.24045
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2yes6.83573
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2yes35.2823
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2yes2.16232
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2yes1.07208
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2yes4.0463
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2yes1.50246
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2yes1.07855
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2yes1.08328
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2yes6.93519
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2yes1.05213
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2yes1.71025
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2yes8.26833
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2yes1.70463
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2yes1.04168
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2yes1.05436
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2yes1.05104
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2yes1.07343
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2yes1.06796
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2yes1.0822
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2yes1.07405
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2yes1.08033
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2yes1.14811
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2yes1.08947
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2yes1.04413
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2yes2.38813
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2maybe236.684
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2yes1.78577
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2yes9.03842
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2yes1.08965
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2yes9.13509
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2yes1.14345
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2yes11.8419
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2yes4.2393
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2yes1.24023
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2yes1.09557
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2yes1.11006
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2yes1.20914
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2no1.27217
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2no1.28133
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2maybe1.81643
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2maybe4.48631
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2no1.05086
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2no1.05034
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2no1.04631
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2no1.56225
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2no1.03485
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2maybe92.8482
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2maybe51.1224
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2no1.10152
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2no1.088
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2no1.16134
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2no1.13063
Integer_Transition_Systems/From_T2/1.t2.smt2no1.29662
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2no26.9598
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2no25.9908
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2no23.3104
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2no23.4231
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2no25.9155
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2no26.3422
Integer_Transition_Systems/From_T2/2.t2.smt2no2.23737
Integer_Transition_Systems/From_T2/232.t2.smt2yes0.946283
Integer_Transition_Systems/From_T2/241.t2.smt2yes0.944128
Integer_Transition_Systems/From_T2/3.t2.smt2no1.00635
Integer_Transition_Systems/From_T2/5.t2.smt2yes0.696442
Integer_Transition_Systems/From_T2/6.t2.smt2no1.00578
Integer_Transition_Systems/From_T2/7.t2.smt2no1.0329
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2no6.80785
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2no6.78663
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2no1.17752
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2no1.16207
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2no232.05
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2no124.226
Integer_Transition_Systems/From_T2/afagx1.t2.smt2no1.07377
Integer_Transition_Systems/From_T2/agafp.t2.smt2no79.437
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2no155.343
Integer_Transition_Systems/From_T2/andrey.t2.smt2yes0.919722
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2no95.7283
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2maybe102.21
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2no93.9161
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2maybe100.319
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2maybe155.572
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2no116.096
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2no45.147
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2no48.3882
Integer_Transition_Systems/From_T2/arith.t2.smt2yes0.924991
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2yes1.18907
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2yes0.691288
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2yes30.5878
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2yes4.54629
Integer_Transition_Systems/From_T2/array.t2.smt2yes0.712539
Integer_Transition_Systems/From_T2/array2.t2.smt2yes0.925325
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2yes0.939089
Integer_Transition_Systems/From_T2/array3.t2.smt2yes0.981335
Integer_Transition_Systems/From_T2/array4.t2.smt2yes0.989714
Integer_Transition_Systems/From_T2/array_free.t2.smt2yes0.944792
Integer_Transition_Systems/From_T2/array_free2.t2.smt2yes0.955542
Integer_Transition_Systems/From_T2/array_init.t2.smt2yes0.922643
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2yes0.933131
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2yes0.952138
Integer_Transition_Systems/From_T2/ase_example.t2.smt2yes1.06615
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2yes1.04809
Integer_Transition_Systems/From_T2/ax_test.t2.smt2no1.01644
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2no1.00673
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2no1.00607
Integer_Transition_Systems/From_T2/bakery.t2.smt2no1.51254
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2no1.52057
Integer_Transition_Systems/From_T2/bf10.t2.smt2yes1.40736
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2yes1.36597
Integer_Transition_Systems/From_T2/bf11.t2.smt2yes1.39864
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2yes1.35875
Integer_Transition_Systems/From_T2/bf12.t2.smt2yes1.38961
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2yes1.35802
Integer_Transition_Systems/From_T2/bf13.t2.smt2yes1.40351
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2yes1.35657
Integer_Transition_Systems/From_T2/bf14.t2.smt2yes1.39101
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2yes1.40215
Integer_Transition_Systems/From_T2/bf15.t2.smt2yes1.40058
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2yes1.35323
Integer_Transition_Systems/From_T2/bf16.t2.smt2yes1.47068
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2yes1.35653
Integer_Transition_Systems/From_T2/bf17.t2.smt2yes1.47689
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2yes1.36631
Integer_Transition_Systems/From_T2/bf18.t2.smt2yes1.48486
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2yes1.38308
Integer_Transition_Systems/From_T2/bf19.t2.smt2yes1.48173
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2yes1.36147
Integer_Transition_Systems/From_T2/bf20.t2.smt2yes1.48399
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2yes1.36519
Integer_Transition_Systems/From_T2/bf5.t2.smt2yes1.37251
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2yes1.3814
Integer_Transition_Systems/From_T2/bf6.t2.smt2yes1.4046
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2yes1.37132
Integer_Transition_Systems/From_T2/bf7.t2.smt2yes1.39328
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2yes1.36645
Integer_Transition_Systems/From_T2/bf8.t2.smt2yes1.3913
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2yes1.3709
Integer_Transition_Systems/From_T2/bf9.t2.smt2yes1.40644
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2yes1.3504
Integer_Transition_Systems/From_T2/bio.t2.smt2unknown300.031
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2yes1.08135
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2yes1.09361
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2yes1.0974
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2yes1.13687
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2maybe6.03875
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2unknown300.047
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2unknown300.041
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2unknown300.026
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2unknown300.021
Integer_Transition_Systems/From_T2/broydn.t2.smt2unknown300.12
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2unknown300.029
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2maybe37.886
Integer_Transition_Systems/From_T2/bs.t2.smt2no1.28052
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2no1.13509
Integer_Transition_Systems/From_T2/bsort100.t2.smt2yes1.36327
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2yes1.65941
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2yes1.11172
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2yes0.973789
Integer_Transition_Systems/From_T2/byron-1.t2.smt2yes1.10058
Integer_Transition_Systems/From_T2/byron-2.t2.smt2yes0.934496
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2yes0.969783
Integer_Transition_Systems/From_T2/byron-3.t2.smt2maybe2.31844
Integer_Transition_Systems/From_T2/byron-4.t2.smt2no1.06877
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2yes1.06023
Integer_Transition_Systems/From_T2/cfg.t2.smt2no1.0382
Integer_Transition_Systems/From_T2/cnt.t2.smt2yes2.35014
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2yes2.21894
Integer_Transition_Systems/From_T2/collatz.t2.smt2maybe1.45982
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2maybe8.389
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2yes0.931441
Integer_Transition_Systems/From_T2/compress.t2.smt2no88.7191
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2maybe81.9417
Integer_Transition_Systems/From_T2/constants.t2.smt2yes0.950261
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2yes0.980094
Integer_Transition_Systems/From_T2/consts1.t2.smt2no1.02048
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2yes0.982984
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2no1.01965
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2no1.06415
Integer_Transition_Systems/From_T2/consts2.t2.smt2no1.01035
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2yes0.919647
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2no1.00044
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2no1.10167
Integer_Transition_Systems/From_T2/consts3.t2.smt2yes0.908505
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2yes0.937812
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2no1.01706
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2no1.01158
Integer_Transition_Systems/From_T2/consts4.t2.smt2no1.01984
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2yes0.927498
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2no1.01411
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2no1.01855
Integer_Transition_Systems/From_T2/consts5.t2.smt2no1.04945
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2yes0.926694
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2no1.04154
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2no1.03713
Integer_Transition_Systems/From_T2/cover.t2.smt2unknown300.046
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2unknown300.037
Integer_Transition_Systems/From_T2/crc.t2.smt2yes6.76996
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2yes6.66957
Integer_Transition_Systems/From_T2/create.t2.smt2yes1.04321
Integer_Transition_Systems/From_T2/create_seg.t2.smt2yes1.02801
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2yes1.43178
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2yes2.77125
Integer_Transition_Systems/From_T2/ctl.t2.smt2no1.14491
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2no1.134
Integer_Transition_Systems/From_T2/curious.t2.smt2no1.00035
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2no1.04025
Integer_Transition_Systems/From_T2/curious2.t2.smt2yes0.717469
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2yes0.729934
Integer_Transition_Systems/From_T2/curious4.t2.smt2unknown300.028
Integer_Transition_Systems/From_T2/d.t2.smt2no1.01551
Integer_Transition_Systems/From_T2/db.t2.smt2yes0.909823
Integer_Transition_Systems/From_T2/db2.t2.smt2unknown300.039
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2unknown300.07
Integer_Transition_Systems/From_T2/db3.t2.smt2unknown300.024
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2unknown300.025
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2no1.67415
Integer_Transition_Systems/From_T2/defect.t2.smt2no0.944462
Integer_Transition_Systems/From_T2/destroy.t2.smt2yes1.46275
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2yes2.38905
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2yes1.54757
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2yes2.58846
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2no2.20224
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2no6.94088
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2no1.00035
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2yes63.5694
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2yes2.37961
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2yes0.717353
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2no4.19475
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2yes0.7144
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2yes0.983625
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2yes1.00079
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2yes0.708603
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2yes0.71028
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2yes1.00504
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2yes1.00111
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2yes0.924048
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2yes0.945982
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2yes0.859312
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2yes0.713707
Integer_Transition_Systems/From_T2/dummy.t2.smt2no1.02033
Integer_Transition_Systems/From_T2/dumper.t2.smt2no154.603
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2no24.4241
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2no24.1262
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2no23.791
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2no20.3355
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2no20.4971
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2no20.5765
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2no20.4299
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2no1.19184
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2no1.21196
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2no1.22241
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2no1.1466
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2no1.17199
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2no1.1701
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2no1.59335
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2no1.59557
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2no1.58343
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2no1.1641
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2no1.22511
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2no1.20727
Integer_Transition_Systems/From_T2/edn.t2.smt2maybe65.414
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2yes12.5321
Integer_Transition_Systems/From_T2/efegp.t2.smt2no86.5883
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2no49.3844
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2yes7.15265
Integer_Transition_Systems/From_T2/elmhes.t2.smt2yes5.54482
Integer_Transition_Systems/From_T2/eric.t2.smt2maybe9.47652
Integer_Transition_Systems/From_T2/eric1.t2.smt2unknown300.089
Integer_Transition_Systems/From_T2/eric2.t2.smt2unknown300.03
Integer_Transition_Systems/From_T2/eric3.t2.smt2no1.12114
Integer_Transition_Systems/From_T2/ex1.t2.smt2no1.04531
Integer_Transition_Systems/From_T2/ex10.t2.smt2no1.21475
Integer_Transition_Systems/From_T2/ex11.t2.smt2maybe9.95549
Integer_Transition_Systems/From_T2/ex12.t2.smt2yes0.927974
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2yes0.940892
Integer_Transition_Systems/From_T2/ex13.t2.smt2yes0.713147
Integer_Transition_Systems/From_T2/ex14.t2.smt2yes0.924826
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2yes0.936797
Integer_Transition_Systems/From_T2/ex15.t2.smt2yes0.723293
Integer_Transition_Systems/From_T2/ex16.t2.smt2no3.31577
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2no3.85491
Integer_Transition_Systems/From_T2/ex17.t2.smt2yes1.22877
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2yes1.22247
Integer_Transition_Systems/From_T2/ex18.t2.smt2yes1.06942
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2yes1.06624
Integer_Transition_Systems/From_T2/ex19.t2.smt2no1.08786
Integer_Transition_Systems/From_T2/ex2.t2.smt2no1.07017
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2no1.06301
Integer_Transition_Systems/From_T2/ex20.t2.smt2yes0.944742
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2yes0.953827
Integer_Transition_Systems/From_T2/ex21.t2.smt2yes0.982241
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2yes0.988188
Integer_Transition_Systems/From_T2/ex22.t2.smt2yes1.95793
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2yes1.92785
Integer_Transition_Systems/From_T2/ex23.t2.smt2yes0.94153
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2yes0.945285
Integer_Transition_Systems/From_T2/ex26.t2.smt2yes0.988634
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2yes1.07241
Integer_Transition_Systems/From_T2/ex27.t2.smt2yes2.82365
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2yes2.67309
Integer_Transition_Systems/From_T2/ex29.t2.smt2yes0.760844
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2yes0.770663
Integer_Transition_Systems/From_T2/ex3.t2.smt2yes0.942401
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2yes0.99924
Integer_Transition_Systems/From_T2/ex30.t2.smt2yes1.00965
Integer_Transition_Systems/From_T2/ex31.t2.smt2no1.63995
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2no1.04002
Integer_Transition_Systems/From_T2/ex32.t2.smt2yes1.03454
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2yes1.01703
Integer_Transition_Systems/From_T2/ex33.t2.smt2yes0.733698
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2yes0.732844
Integer_Transition_Systems/From_T2/ex34.t2.smt2yes0.743719
Integer_Transition_Systems/From_T2/ex36.t2.smt2no175.068
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2no174.601
Integer_Transition_Systems/From_T2/ex4.t2.smt2yes1.09992
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2yes1.09556
Integer_Transition_Systems/From_T2/ex40.t2.smt2no1.03749
Integer_Transition_Systems/From_T2/ex6.t2.smt2yes0.719061
Integer_Transition_Systems/From_T2/ex7.t2.smt2yes0.934996
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2yes0.989165
Integer_Transition_Systems/From_T2/ex8.t2.smt2no1.19969
Integer_Transition_Systems/From_T2/ex9.t2.smt2no1.36299
Integer_Transition_Systems/From_T2/example.t2.smt2yes0.916142
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2no12.0423
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2no8.93463
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2no15.755
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2no15.1447
Integer_Transition_Systems/From_T2/fdct.t2.smt2yes1.57674
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2yes1.52506
Integer_Transition_Systems/From_T2/fermat.t2.smt2yes1.41373
Integer_Transition_Systems/From_T2/fibcall.t2.smt2yes0.985604
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2yes0.965379
Integer_Transition_Systems/From_T2/fir.t2.smt2yes2.30338
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2yes1.33784
Integer_Transition_Systems/From_T2/firewire.t2.smt2yes15.2836
Integer_Transition_Systems/From_T2/flipflop.t2.smt2no1.00626
Integer_Transition_Systems/From_T2/florian.t2.smt2yes0.907457
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2maybe7.32888
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2yes1.13328
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2yes2.53993
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2maybe71.6887
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2maybe10.1939
Integer_Transition_Systems/From_T2/foo.t2.smt2unknown300.05
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2no46.4816
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2no37.3659
Integer_Transition_Systems/From_T2/fourn.t2.smt2no37.3575
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2yes0.965751
Integer_Transition_Systems/From_T2/fun1.t2.smt2unknown300.018
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2no173.347
Integer_Transition_Systems/From_T2/fun10.t2.smt2no15.3853
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2no15.4378
Integer_Transition_Systems/From_T2/fun10b.t2.smt2no12.7499
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2no12.7759
Integer_Transition_Systems/From_T2/fun11.t2.smt2no1.06215
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2maybe2.26595
Integer_Transition_Systems/From_T2/fun1b.t2.smt2unknown300.033
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2no147.92
Integer_Transition_Systems/From_T2/fun2.t2.smt2maybe55.5821
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2maybe13.4969
Integer_Transition_Systems/From_T2/fun2b.t2.smt2maybe25.9471
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2maybe12.5064
Integer_Transition_Systems/From_T2/fun3.t2.smt2maybe217.786
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2yes7.5023
Integer_Transition_Systems/From_T2/fun4.t2.smt2no1.06937
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2yes10.6525
Integer_Transition_Systems/From_T2/fun5.t2.smt2no1.14753
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2maybe235.883
Integer_Transition_Systems/From_T2/fun6.t2.smt2no9.43891
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2no10.1324
Integer_Transition_Systems/From_T2/fun7.t2.smt2no1.36889
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2no1.44216
Integer_Transition_Systems/From_T2/fun8.t2.smt2yes1.41569
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2yes2.00089
Integer_Transition_Systems/From_T2/fun9.t2.smt2no2.58674
Integer_Transition_Systems/From_T2/graycode.t2.smt2yes2.7581
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2yes2.66144
Integer_Transition_Systems/From_T2/hand7.t2.smt2no1.05014
Integer_Transition_Systems/From_T2/heidy1.t2.smt2no1.03955
Integer_Transition_Systems/From_T2/heidy10.t2.smt2yes0.975685
Integer_Transition_Systems/From_T2/heidy2.t2.smt2maybe1.44152
Integer_Transition_Systems/From_T2/heidy3.t2.smt2no1.05322
Integer_Transition_Systems/From_T2/heidy5.t2.smt2yes0.931541
Integer_Transition_Systems/From_T2/heidy6.t2.smt2no1.11792
Integer_Transition_Systems/From_T2/heidy7.t2.smt2no1.51654
Integer_Transition_Systems/From_T2/heidy8.t2.smt2no1.15906
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2no1.18331
Integer_Transition_Systems/From_T2/heidy9.t2.smt2yes0.922282
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2unknown300.074
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2unknown300.093
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2unknown300.024
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2unknown300.024
Integer_Transition_Systems/From_T2/hqr.t2.smt2unknown300.021
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2unknown300.075
Integer_Transition_Systems/From_T2/huh.t2.smt2yes2.08028
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2yes1.38654
Integer_Transition_Systems/From_T2/iecs.t2.smt2yes1.09309
Integer_Transition_Systems/From_T2/insertsort.t2.smt2no1.19476
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2no1.21108
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2no1.06096
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2yes34.3125
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2yes34.2449
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2yes33.9046
Integer_Transition_Systems/From_T2/jacobi.t2.smt2yes20.331
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2yes20.1049
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2no2.8409
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2unknown300.023
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2yes1.00161
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2yes1.09719
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2yes1.44187
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2yes1.39758
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2maybe31.3521
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2yes0.924928
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2yes0.97122
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2yes1.29516
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2yes0.923969
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2yes0.959548
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2yes8.30816
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2yes0.979192
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2maybe106.574
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2maybe2.12151
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2yes3.49538
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2yes1.02867
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2yes1.15698
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2yes0.956146
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2yes0.96698
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2yes2.12913
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2yes0.975823
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2yes0.960683
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2yes1.08585
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2yes0.966123
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2yes0.990149
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2yes0.970022
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2yes0.945693
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2yes1.03817
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2yes1.02696
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2yes1.46655
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2yes1.37433
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2yes1.75023
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2yes1.01342
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2yes1.00231
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2yes1.09443
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2yes1.05887
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2yes1.07229
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2yes1.50714
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2yes1.53246
Integer_Transition_Systems/From_T2/l1.t2.smt2no1.1589
Integer_Transition_Systems/From_T2/loop3.t2.smt2unknown300.09
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2unknown300.035
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2yes0.934254
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2yes0.948776
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2yes19.0341
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2yes18.4216
Integer_Transition_Systems/From_T2/magic.t2.smt2yes8.23951
Integer_Transition_Systems/From_T2/matmul.t2.smt2yes1.27162
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2yes1.31895
Integer_Transition_Systems/From_T2/matmult.t2.smt2yes2.16398
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2yes2.16182
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2yes1.59668
Integer_Transition_Systems/From_T2/mc91.t2.smt2maybe3.54053
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2yes0.945849
Integer_Transition_Systems/From_T2/mc91test.t2.smt2maybe1.93236
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2yes0.988972
Integer_Transition_Systems/From_T2/minmax.t2.smt2yes0.758506
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2yes0.769545
Integer_Transition_Systems/From_T2/n-1.t2.smt2no1.0513
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2no1.10854
Integer_Transition_Systems/From_T2/n-10.t2.smt2no1.05681
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2no1.10928
Integer_Transition_Systems/From_T2/n-12.t2.smt2no1.02718
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2no1.07619
Integer_Transition_Systems/From_T2/n-12a.t2.smt2no0.986798
Integer_Transition_Systems/From_T2/n-13.t2.smt2no1.01547
Integer_Transition_Systems/From_T2/n-14.t2.smt2no1.04793
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2no1.05604
Integer_Transition_Systems/From_T2/n-15.t2.smt2no1.02569
Integer_Transition_Systems/From_T2/n-15a.t2.smt2no1.10794
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2no1.05048
Integer_Transition_Systems/From_T2/n-16a.t2.smt2no1.01798
Integer_Transition_Systems/From_T2/n-17.t2.smt2no1.11919
Integer_Transition_Systems/From_T2/n-18.t2.smt2no1.0209
Integer_Transition_Systems/From_T2/n-18a.t2.smt2no1.01314
Integer_Transition_Systems/From_T2/n-1c.t2.smt2no1.04982
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2no1.08762
Integer_Transition_Systems/From_T2/n-1d.t2.smt2no1.04171
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2no1.08109
Integer_Transition_Systems/From_T2/n-20.t2.smt2no1.11423
Integer_Transition_Systems/From_T2/n-21.t2.smt2no1.11017
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2no1.10972
Integer_Transition_Systems/From_T2/n-3.t2.smt2no1.12993
Integer_Transition_Systems/From_T2/n-32.t2.smt2no1.10512
Integer_Transition_Systems/From_T2/n-33.t2.smt2no1.06677
Integer_Transition_Systems/From_T2/n-36.t2.smt2no1.88793
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2no1.33739
Integer_Transition_Systems/From_T2/n-37.t2.smt2no1.08508
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2no1.07988
Integer_Transition_Systems/From_T2/n-38.t2.smt2yes0.72314
Integer_Transition_Systems/From_T2/n-3a.t2.smt2no1.04171
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2no1.12715
Integer_Transition_Systems/From_T2/n-4.t2.smt2no1.36819
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2no1.7577
Integer_Transition_Systems/From_T2/n-40.t2.smt2no1.36177
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2no1.55139
Integer_Transition_Systems/From_T2/n-46.t2.smt2no1.04741
Integer_Transition_Systems/From_T2/n-48.t2.smt2no1.06006
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2no1.05912
Integer_Transition_Systems/From_T2/n-5.t2.smt2no2.29622
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2no2.79536
Integer_Transition_Systems/From_T2/n-6.t2.smt2no1.0438
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2no1.06331
Integer_Transition_Systems/From_T2/n-6a.t2.smt2no1.11619
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2no1.19608
Integer_Transition_Systems/From_T2/n-7.t2.smt2no1.0537
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2no1.13106
Integer_Transition_Systems/From_T2/n-8.t2.smt2no1.044
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2no1.07647
Integer_Transition_Systems/From_T2/n-8a.t2.smt2no1.0305
Integer_Transition_Systems/From_T2/n-9.t2.smt2no1.04059
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2no1.07925
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2maybe98.8861
Integer_Transition_Systems/From_T2/nakata.t2.smt2unknown300.02
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2unknown300.023
Integer_Transition_Systems/From_T2/ndes.t2.smt2unknown300.109
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2unknown300.028
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2no26.5004
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2no27.3192
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2no24.8186
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2no24.8542
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2no22.9235
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2no23.401
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2no1.22655
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2no1.30076
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2no24.4845
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2no19.6231
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2no19.7161
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2no19.8778
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2no19.7439
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2no1.21191
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2no1.2401
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2no1.86696
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2no1.23407
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2no1.10882
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2no1.11314
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2no1.094
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2no1.10063
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2no1.58699
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2no1.71318
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2no1.53267
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2no1.15447
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2no1.24049
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2no1.20014
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2no1.21035
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2no1.13657
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2no1.57435
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2no1.56007
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2no1.58947
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2no1.59651
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2no1.13625
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2no1.28734
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2no2.09997
Integer_Transition_Systems/From_T2/neg.t2.smt2yes0.698545
Integer_Transition_Systems/From_T2/nested.t2.smt2yes1.06823
Integer_Transition_Systems/From_T2/nested2.t2.smt2yes1.01542
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2yes1.02689
Integer_Transition_Systems/From_T2/non_term.t2.smt2no1.01895
Integer_Transition_Systems/From_T2/ns.t2.smt2yes1.76861
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2yes1.7246
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2no1.03027
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2yes4.05818
Integer_Transition_Systems/From_T2/p-1.t2.smt2no1.05645
Integer_Transition_Systems/From_T2/p-10.t2.smt2no1.06742
Integer_Transition_Systems/From_T2/p-12.t2.smt2yes0.918267
Integer_Transition_Systems/From_T2/p-13.t2.smt2yes0.721871
Integer_Transition_Systems/From_T2/p-14.t2.smt2yes0.915515
Integer_Transition_Systems/From_T2/p-15.t2.smt2yes0.918668
Integer_Transition_Systems/From_T2/p-19.t2.smt2no1.06835
Integer_Transition_Systems/From_T2/p-19a.t2.smt2no1.08235
Integer_Transition_Systems/From_T2/p-1a.t2.smt2no1.08235
Integer_Transition_Systems/From_T2/p-1b.t2.smt2yes0.915907
Integer_Transition_Systems/From_T2/p-1c.t2.smt2no1.0812
Integer_Transition_Systems/From_T2/p-1d.t2.smt2yes0.916865
Integer_Transition_Systems/From_T2/p-20.t2.smt2no1.12327
Integer_Transition_Systems/From_T2/p-21.t2.smt2yes0.989814
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2yes1.00074
Integer_Transition_Systems/From_T2/p-22.t2.smt2yes0.922956
Integer_Transition_Systems/From_T2/p-3.t2.smt2yes1.02951
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2yes0.918167
Integer_Transition_Systems/From_T2/p-32.t2.smt2no1.00247
Integer_Transition_Systems/From_T2/p-33.t2.smt2no1.05156
Integer_Transition_Systems/From_T2/p-34.t2.smt2no1.95508
Integer_Transition_Systems/From_T2/p-36.t2.smt2no1.12255
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2no1.12319
Integer_Transition_Systems/From_T2/p-37.t2.smt2yes0.952525
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2yes0.952495
Integer_Transition_Systems/From_T2/p-38.t2.smt2yes0.748257
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2yes0.757576
Integer_Transition_Systems/From_T2/p-4.t2.smt2yes0.984821
Integer_Transition_Systems/From_T2/p-40.t2.smt2yes0.926573
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2yes0.947831
Integer_Transition_Systems/From_T2/p-41.t2.smt2yes0.720208
Integer_Transition_Systems/From_T2/p-42.t2.smt2yes0.919261
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2yes15.3812
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2yes18.8349
Integer_Transition_Systems/From_T2/p-43.t2.smt2yes4.76897
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2yes4.4813
Integer_Transition_Systems/From_T2/p-44.t2.smt2yes0.924457
Integer_Transition_Systems/From_T2/p-45.t2.smt2yes0.961397
Integer_Transition_Systems/From_T2/p-46.t2.smt2maybe1.72858
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2maybe12.7536
Integer_Transition_Systems/From_T2/p-49.t2.smt2yes0.922944
Integer_Transition_Systems/From_T2/p-5.t2.smt2no2.29879
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2no2.93871
Integer_Transition_Systems/From_T2/p-50.t2.smt2yes0.717404
Integer_Transition_Systems/From_T2/p-52.t2.smt2no1.10526
Integer_Transition_Systems/From_T2/p-53.t2.smt2yes0.733428
Integer_Transition_Systems/From_T2/p-55.t2.smt2yes0.924002
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2yes0.974435
Integer_Transition_Systems/From_T2/p-56.t2.smt2yes0.925265
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2yes0.986039
Integer_Transition_Systems/From_T2/p-58.t2.smt2yes0.919251
Integer_Transition_Systems/From_T2/p-6.t2.smt2yes0.971353
Integer_Transition_Systems/From_T2/p-60.t2.smt2yes0.932492
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2yes0.946449
Integer_Transition_Systems/From_T2/p-61.t2.smt2yes0.948332
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2yes0.943775
Integer_Transition_Systems/From_T2/p-62.t2.smt2yes0.720577
Integer_Transition_Systems/From_T2/p-63.t2.smt2yes1.13938
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2yes1.22032
Integer_Transition_Systems/From_T2/p-7.t2.smt2yes0.930596
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2yes0.99527
Integer_Transition_Systems/From_T2/p-7b.t2.smt2yes1.00551
Integer_Transition_Systems/From_T2/p-8.t2.smt2no1.03622
Integer_Transition_Systems/From_T2/p.t2.smt2unknown300.112
Integer_Transition_Systems/From_T2/p_armc.t2.smt2unknown300.072
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2yes1.03743
Integer_Transition_Systems/From_T2/peculiar.t2.smt2no1.44258
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2no1.4237
Integer_Transition_Systems/From_T2/pentagon.t2.smt2maybe69.843
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2no1.15035
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2no1.16506
Integer_Transition_Systems/From_T2/pgarch.t2.smt2no25.055
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2unknown300.023
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2no6.65047
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2no7.34059
Integer_Transition_Systems/From_T2/polling.t2.smt2no5.53114
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2no5.40702
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2yes1.13919
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2yes1.18786
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2yes1.44196
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2yes1.87276
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2yes3.03036
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2yes1.22469
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2no1.04771
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2no1.4609
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2no1.52349
Integer_Transition_Systems/From_T2/ppblock.t2.smt2no1.53779
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2no1.54679
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2maybe4.48475
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2maybe4.79233
Integer_Transition_Systems/From_T2/prime.t2.smt2maybe16.5527
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2maybe38.0939
Integer_Transition_Systems/From_T2/print.t2.smt2yes3.4482
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2yes13.0034
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2yes28.1878
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2yes36.812
Integer_Transition_Systems/From_T2/queens.t2.smt2yes4.93992
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2yes4.6285
Integer_Transition_Systems/From_T2/queue_1.t2.smt2yes1.16687
Integer_Transition_Systems/From_T2/queue_10.t2.smt2yes1.20852
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2yes1.19975
Integer_Transition_Systems/From_T2/queue_100.t2.smt2yes1.20238
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2yes1.19619
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2yes1.20064
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2yes1.20146
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2yes9.37159
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2yes7.39148
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2no1.00417
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2no1.1292
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2no2.09959
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2no2.26079
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2no1.8882
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2no1.82051
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2yes0.726956
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2yes0.735527
Integer_Transition_Systems/From_T2/reverse.t2.smt2yes4.15217
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2yes19.9036
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2no2.67677
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2no4.29921
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2yes2.25505
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2yes6.24434
Integer_Transition_Systems/From_T2/rewrite.t2.smt2no1.00328
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2no22.2038
Integer_Transition_Systems/From_T2/rlft3.t2.smt2no25.2064
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2maybe12.6051
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2yes2.52115
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2yes7.36708
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2no184.321
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2maybe92.638
Integer_Transition_Systems/From_T2/s1.t2.smt2no274.073
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2no151.852
Integer_Transition_Systems/From_T2/s2.t2.smt2yes0.937154
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2yes0.944773
Integer_Transition_Systems/From_T2/s3-work.t2.smt2yes15.5165
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2yes93.84
Integer_Transition_Systems/From_T2/s3.t2.smt2unknown300.088
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2unknown300.046
Integer_Transition_Systems/From_T2/s4.t2.smt2unknown300.03
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2unknown300.107
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2yes2.47682
Integer_Transition_Systems/From_T2/sas2.t2.smt2maybe80.0674
Integer_Transition_Systems/From_T2/select.t2.smt2no5.92444
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2no5.70609
Integer_Transition_Systems/From_T2/selectSort.t2.smt2yes1.33814
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2yes0.949716
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2yes0.968844
Integer_Transition_Systems/From_T2/seq.t2.smt2yes0.913514
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2yes0.795573
Integer_Transition_Systems/From_T2/simple.t2.smt2no1.09705
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2yes0.959237
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2yes1.56569
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2yes0.934115
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2yes0.936908
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2yes0.722325
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2yes0.723646
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2yes0.715749
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2yes0.719912
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2yes0.735981
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2yes0.725512
Integer_Transition_Systems/From_T2/simple_test.t2.smt2yes0.977219
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2no1.03002
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2yes2.47203
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2yes3.05948
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2yes1.84975
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2yes0.946581
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2no27.9658
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2no34.3952
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2unknown300.021
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2no39.2389
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2no279.266
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2unknown300.094
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2no9.74265
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2no2.07477
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2no1.90057
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2no10.7851
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2no1.30968
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2no1.07066
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2yes2.23758
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2yes2.20734
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2no21.9098
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2no1.2277
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2maybe1.17386
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2no1.18646
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2no1.2032
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2no1.21588
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2no1.21951
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2no1.26868
Integer_Transition_Systems/From_T2/small01.t2.smt2no1.02433
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2yes0.953779
Integer_Transition_Systems/From_T2/small02.t2.smt2no1.07064
Integer_Transition_Systems/From_T2/small03.t2.smt2no1.04868
Integer_Transition_Systems/From_T2/small04.t2.smt2no1.04299
Integer_Transition_Systems/From_T2/small05.t2.smt2no1.03163
Integer_Transition_Systems/From_T2/small06.t2.smt2yes0.971876
Integer_Transition_Systems/From_T2/small07.t2.smt2yes0.994596
Integer_Transition_Systems/From_T2/small08.t2.smt2yes1.0162
Integer_Transition_Systems/From_T2/small09.t2.smt2yes1.01265
Integer_Transition_Systems/From_T2/small10.t2.smt2no1.17856
Integer_Transition_Systems/From_T2/small11.t2.smt2no0.97358
Integer_Transition_Systems/From_T2/small12.t2.smt2yes0.92078
Integer_Transition_Systems/From_T2/small13.t2.smt2yes0.931704
Integer_Transition_Systems/From_T2/small14.t2.smt2no1.13963
Integer_Transition_Systems/From_T2/small15.t2.smt2no3.89936
Integer_Transition_Systems/From_T2/small16.t2.smt2maybe4.22683
Integer_Transition_Systems/From_T2/small17.t2.smt2no1.09354
Integer_Transition_Systems/From_T2/small18.t2.smt2no1.01135
Integer_Transition_Systems/From_T2/small19.t2.smt2yes0.946508
Integer_Transition_Systems/From_T2/small20.t2.smt2yes0.949949
Integer_Transition_Systems/From_T2/small21.t2.smt2yes0.952069
Integer_Transition_Systems/From_T2/small22.t2.smt2no1.09674
Integer_Transition_Systems/From_T2/small23.t2.smt2no1.22406
Integer_Transition_Systems/From_T2/small24.t2.smt2no0.972398
Integer_Transition_Systems/From_T2/small26.t2.smt2yes0.926738
Integer_Transition_Systems/From_T2/small27.t2.smt2yes0.914188
Integer_Transition_Systems/From_T2/small28.t2.smt2yes0.92183
Integer_Transition_Systems/From_T2/small29.t2.smt2no1.00634
Integer_Transition_Systems/From_T2/small31.t2.smt2yes0.893097
Integer_Transition_Systems/From_T2/small32.t2.smt2yes1.51221
Integer_Transition_Systems/From_T2/small33.t2.smt2yes0.905189
Integer_Transition_Systems/From_T2/small34.t2.smt2yes0.907413
Integer_Transition_Systems/From_T2/small35.t2.smt2no1.03665
Integer_Transition_Systems/From_T2/sort.t2.smt2yes3.17759
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2yes3.03454
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2unknown300.02
Integer_Transition_Systems/From_T2/spctrm.t2.smt2yes77.2293
Integer_Transition_Systems/From_T2/spiral.t2.smt2maybe20.0795
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2maybe75.337
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2no2.00984
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2no2.1677
Integer_Transition_Systems/From_T2/st88.t2.smt2maybe8.47407
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2maybe8.62561
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2no1.37375
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2no1.7833
Integer_Transition_Systems/From_T2/statemate.t2.smt2unknown300.031
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2unknown300.064
Integer_Transition_Systems/From_T2/stored.t2.smt2no1.07168
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2no16.9695
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2no17.9598
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2no9.42257
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2no9.50631
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2no1.03187
Integer_Transition_Systems/From_T2/sudoku.t2.smt2yes35.6067
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2unknown300.09
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2maybe231.456
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2unknown300.02
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2unknown300.02
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2no1.02523
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2yes5.05092
Integer_Transition_Systems/From_T2/toeplz.t2.smt2yes7.37971
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2maybe74.8276
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2unknown300.11
Integer_Transition_Systems/From_T2/tqli.t2.smt2maybe134.937
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2unknown300.072
Integer_Transition_Systems/From_T2/traverse.t2.smt2yes2.56253
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2yes7.73034
Integer_Transition_Systems/From_T2/traverse2.t2.smt2yes3.6441
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2yes13.6246
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2yes2.98877
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2yes10.862
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2yes2.576
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2yes7.52241
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2yes3.82575
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2yes14.9085
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2yes1.30323
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2yes1.30941
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2yes1.70788
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2yes1.6906
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2yes1.71671
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2yes1.68953
Integer_Transition_Systems/From_T2/ud.t2.smt2yes6.12868
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2yes5.35971
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2yes0.71473
Integer_Transition_Systems/From_T2/w1.t2.smt2no1.28389
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2no1.69104
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2no1.87072
Integer_Transition_Systems/From_T2/walk.t2.smt2maybe5.54967
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2maybe5.5992
Integer_Transition_Systems/From_T2/weakness.t2.smt2yes1.30982
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2yes1.08601
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2yes1.61023
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2no1.05226
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2no1.37366
Integer_Transition_Systems/From_T2/wtf.t2.smt2maybe15.7951
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2maybe3.19014
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2maybe15.4699
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2no3.09757
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2yes2.10176
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2no3.44058
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2yes2.69544
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2no1.27515
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2yes1.08843