LoAT '19
nameresulttime
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2unknown0.334072
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2unknown1.66686
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2unknown1.17866
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2no3.65126
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2unknown1.35965
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2unknown2.9578
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2unknown1.52047
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2unknown1.63906
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2unknown25.1362
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2unknown1.56553
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2unknown1.53441
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2unknown1.63039
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2unknown1.61914
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2unknown1.17315
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2unknown0.810482
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2no31.5358
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2unknown2.00204
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2unknown2.46252
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2unknown7.88371
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2unknown41.1076
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2unknown1.62691
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2unknown6.90884
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2unknown0.270633
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2unknown1.41784
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2unknown3.76567
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2unknown0.608585
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2unknown1.73601
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2unknown0.385347
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2no0.240775
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2unknown0.365278
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2unknown0.383162
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2unknown1.14321
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2no0.171879
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2unknown0.554416
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2no1.13579
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2no3.86689
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2no37.356
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2no25.8865
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2no2.07631
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2no2.15017
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2unknown0.885641
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2unknown3.92529
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2unknown1.43356
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2unknown1.16809
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2unknown0.313653
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2no4.65726
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2unknown1.63726
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2unknown86.1094
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2no15.2776
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2unknown0.367386
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2unknown0.866842
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2no287.153
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2no2.01888
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2unknown1.17901
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2unknown154.005
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2unknown0.632253
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2unknown0.271177
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2unknown0.270801
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2unknown6.23568
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2unknown0.393192
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2unknown8.40031
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2unknown13.5099
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2unknown0.372788
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2unknown0.459818
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2unknown0.31224
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2unknown2.70998
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2unknown4.0757
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2unknown1.2036
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2unknown1.17548
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2unknown2.81528
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2unknown7.99789
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2unknown3.77798
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2unknown4.4501
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2unknown3.19581
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2unknown3.71525
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2no0.529752
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2unknown0.649903
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2unknown0.372133
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2unknown0.373922
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2unknown0.553856
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2unknown0.370632
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2unknown0.553766
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2unknown1.8476
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2unknown0.535683
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2unknown1.18934
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2unknown0.27847
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2unknown2.06878
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2unknown1.27786
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2no25.7812
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2no27.4033
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2no22.325
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2no20.2687
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2no10.2164
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2unknown12.7279
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2unknown2.88208
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2unknown2.74532
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2unknown3.37527
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2unknown2.63876
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2unknown1.9179
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2unknown5.51052
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2unknown47.2112
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2unknown8.19739
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2unknown0.410461
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2unknown0.275861
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2unknown37.2366
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2no0.171045
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2unknown2.0545
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2unknown0.777978
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2unknown0.497751
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2unknown5.49766
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2unknown5.39476
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2unknown2.95353
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2unknown3.17521
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2unknown6.85315
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2unknown7.20465
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2unknown0.371412
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2no47.374
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2no34.0357
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2no5.20384
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2no10.6543
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2no0.490518
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2unknown0.926661
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2unknown3.6846
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2unknown1.35565
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2no24.101
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2unknown0.600243
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2unknown3.09902
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2unknown4.39928
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2unknown0.625285
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2unknown0.976553
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2unknown0.383254
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2unknown0.439655
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2unknown0.38265
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2unknown0.714557
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2no0.171765
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2unknown0.377845
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2no0.456597
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2unknown295.243
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2no6.71152
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2no7.697
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2no7.62663
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2no6.21909
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2no9.04408
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2no31.0464
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2unknown0.720479
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2unknown12.2163
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2unknown0.311247
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2unknown0.889047
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2unknown2.18756
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2unknown18.8343
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2unknown9.71077
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2unknown7.73155
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2unknown0.842583
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2no0.486224
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2unknown24.3921
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2no0.171222
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2no0.171561
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2no0.172392
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2no0.681022
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2no0.173686
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2unknown1.14957
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2no0.172529
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2no0.23629
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2unknown0.371941
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2no0.860113
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2no0.827776
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2no0.172344
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2no0.173185
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2no0.746489
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2no0.645681
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2no0.238232
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2unknown0.878844
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2unknown0.519211
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2unknown3.2022
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2no0.850002
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2no39.9272
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2unknown0.0425931
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2unknown34.6815
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2unknown11.4216
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2unknown0.542065
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2unknown0.609279
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2unknown0.314036
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2unknown0.731036
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2unknown0.876006
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2unknown0.374913
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2unknown0.308688
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2unknown0.386348
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2unknown0.309434
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2unknown3.16428
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2unknown3.43053
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2unknown0.684967
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2unknown0.755665
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2unknown0.625423
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2unknown0.635935
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2unknown0.821718
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2unknown0.874431
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2unknown1.1466
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2unknown0.31016
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2unknown0.355896
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2unknown0.178429
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2unknown0.425737
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2unknown0.372558
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2unknown0.375265
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2unknown0.966041
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2unknown1.00271
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2unknown0.999984
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2unknown0.711974
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2unknown0.538592
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2unknown0.948638
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2unknown0.856509
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2unknown1.09442
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2unknown1.45502
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2unknown0.367874
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2unknown4.31477
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2no2.29104
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2unknown31.1524
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2unknown31.8335
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2no28.1788
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2unknown1.96244
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2unknown0.320166
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2unknown5.84019
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2unknown2.08359
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2unknown0.609266
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2no25.3584
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2unknown29.6438
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2unknown0.556763
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2unknown0.314481
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2unknown1.0193
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2unknown0.790813
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2no0.870805
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2no2.19047
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2unknown5.5673
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2unknown0.411422
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2unknown12.5789
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2no0.238439
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2unknown2.79194
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2unknown20.1966
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2unknown22.8849
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2unknown4.71291
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2unknown0.896877
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2unknown0.30341
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2no0.702101
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2no0.472424
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2unknown8.86737
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2unknown4.41013
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2unknown1.2806
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2unknown12.2626
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2unknown2.08625
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2no7.23891
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2unknown3.99227
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2unknown12.2095
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2no236.946
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2unknown9.9282
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2unknown12.7776
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2no2.88107
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2unknown5.2896
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2unknown5.18533
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2no0.171077
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2no0.865043
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2unknown1.20408
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2unknown22.6551
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2unknown11.9721
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2no1.93518
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2unknown0.322063
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2no0.921057
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2no0.461079
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2no1.20459
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2no1.80418
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2no1.45893
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2unknown0.948141
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2unknown1.12382
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2no0.413562
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2no0.444806
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2no0.44989
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2unknown3.09626
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2no0.691639
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2no0.461467
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2no0.679281
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2no0.30879
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2no0.687623
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2no0.743721
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2no0.25565
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2no0.257648
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2no1.24278
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2no0.999791
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2unknown2.10454
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2no3.60923
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2no0.690908
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2no0.772348
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2no0.251016
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2unknown1.01269
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2no0.658196
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2no2.11328
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2no0.250194
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2no0.256873
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2no0.444017
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2no1.1029
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2no0.692273
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2no0.692981
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2unknown1.16939
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2unknown1.1052
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2unknown4.93216
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2unknown3.81356
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2no1.45626
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2no0.35744
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2no1.22249
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2unknown1.52299
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2unknown1.52305
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2no0.756664
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2unknown0.307533
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2no0.251991
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2no0.445473
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2no0.515371
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2no0.504526
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2no0.447046
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2no0.702342
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2no8.83523
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2no0.261639
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2unknown1.04195
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2no0.825955
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2no1.39163
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2no0.460063
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2no1.43761
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2no0.446298
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2no0.449852
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2unknown7.57557
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2no0.688108
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2unknown0.966163
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2unknown0.607908
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2unknown0.40747
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2unknown1.18667
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2no0.172142
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2no0.539369
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2no0.254647
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2no0.256603
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2no0.691515
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2no0.684338
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2no0.249884
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2no0.248331
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2no0.237585
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2no0.238582
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2unknown2.98936
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2unknown0.990417
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2no0.25606
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2unknown22.3419
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2unknown30.9786
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2unknown30.7316
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2unknown27.3227
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2unknown29.3819
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2unknown35.5837
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2unknown33.1248
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2unknown33.41
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2unknown33.0781
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2unknown24.332
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2unknown37.3616
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2unknown22.1548
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2unknown1.7399
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2unknown2.68542
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2unknown28.4699
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2unknown107.258
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2unknown11.1667
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2unknown2.64665
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2unknown2.70469
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2unknown3.03298
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2unknown81.6814
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2unknown164.868
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2unknown10.727
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2unknown2.9566
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2unknown90.9451
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2unknown3.61869
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2unknown2.96357
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2unknown2.95429
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2unknown82.5966
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2unknown2.63706
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2unknown17.9325
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2unknown95.9916
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2unknown18.1099
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2unknown2.68727
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2unknown2.64656
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2unknown2.67932
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2unknown2.93901
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2unknown2.96447
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2unknown2.95366
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2unknown2.94007
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2unknown2.93659
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2unknown3.01532
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2unknown2.95276
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2unknown2.64967
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2unknown12.3418
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2unknown271.592
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2unknown12.9878
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2unknown106.123
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2unknown2.94781
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2unknown105.958
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2unknown3.01076
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2unknown109.559
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2unknown91.5901
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2unknown4.15765
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2unknown1.72969
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2unknown2.66085
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2unknown3.66691
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2no0.679047
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2no1.30079
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2unknown1.12759
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2unknown5.376
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2no0.504517
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2no0.262588
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2no0.394972
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2no1.44269
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2no0.358805
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2unknown5.28994
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2unknown1.72624
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2no0.513311
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2no0.509774
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2no0.446577
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2no0.707903
Integer_Transition_Systems/From_T2/1.t2.smt2no0.970292
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2no12.9679
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2no10.2428
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2no10.9453
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2no11.0209
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2no12.1715
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2no12.3142
Integer_Transition_Systems/From_T2/2.t2.smt2no2.85235
Integer_Transition_Systems/From_T2/232.t2.smt2unknown0.597368
Integer_Transition_Systems/From_T2/241.t2.smt2unknown0.598762
Integer_Transition_Systems/From_T2/3.t2.smt2no0.296166
Integer_Transition_Systems/From_T2/5.t2.smt2unknown0.029081
Integer_Transition_Systems/From_T2/6.t2.smt2no0.291072
Integer_Transition_Systems/From_T2/7.t2.smt2no0.299812
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2no11.825
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2no11.8779
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2no2.04602
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2no1.76436
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2unknown300.022
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2unknown300.041
Integer_Transition_Systems/From_T2/afagx1.t2.smt2no0.691667
Integer_Transition_Systems/From_T2/agafp.t2.smt2unknown300.019
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2unknown297.933
Integer_Transition_Systems/From_T2/andrey.t2.smt2unknown0.323428
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2unknown300.024
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2unknown290.592
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2unknown300.058
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2unknown291.27
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2unknown294.682
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2unknown300.028
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2unknown300.019
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2unknown300.041
Integer_Transition_Systems/From_T2/arith.t2.smt2unknown0.38926
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2unknown0.630072
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2unknown0.029629
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2unknown300.044
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2unknown1.43902
Integer_Transition_Systems/From_T2/array.t2.smt2unknown0.0608761
Integer_Transition_Systems/From_T2/array2.t2.smt2unknown0.367977
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2unknown0.355291
Integer_Transition_Systems/From_T2/array3.t2.smt2unknown0.702775
Integer_Transition_Systems/From_T2/array4.t2.smt2unknown0.597386
Integer_Transition_Systems/From_T2/array_free.t2.smt2unknown0.613263
Integer_Transition_Systems/From_T2/array_free2.t2.smt2unknown0.583991
Integer_Transition_Systems/From_T2/array_init.t2.smt2unknown0.370463
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2unknown0.349302
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2unknown0.613465
Integer_Transition_Systems/From_T2/ase_example.t2.smt2unknown1.099
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2unknown0.993651
Integer_Transition_Systems/From_T2/ax_test.t2.smt2no0.290551
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2no0.290789
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2no0.398228
Integer_Transition_Systems/From_T2/bakery.t2.smt2no13.3162
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2no13.2746
Integer_Transition_Systems/From_T2/bf10.t2.smt2unknown3.46757
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2unknown3.06661
Integer_Transition_Systems/From_T2/bf11.t2.smt2unknown3.50412
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2unknown3.08193
Integer_Transition_Systems/From_T2/bf12.t2.smt2unknown3.46277
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2unknown3.08548
Integer_Transition_Systems/From_T2/bf13.t2.smt2unknown3.46753
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2unknown3.08217
Integer_Transition_Systems/From_T2/bf14.t2.smt2unknown3.48403
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2unknown3.08401
Integer_Transition_Systems/From_T2/bf15.t2.smt2unknown3.46761
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2unknown3.08497
Integer_Transition_Systems/From_T2/bf16.t2.smt2unknown3.47441
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2unknown3.08859
Integer_Transition_Systems/From_T2/bf17.t2.smt2unknown3.48116
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2unknown3.06769
Integer_Transition_Systems/From_T2/bf18.t2.smt2unknown3.48293
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2unknown3.06603
Integer_Transition_Systems/From_T2/bf19.t2.smt2unknown3.47519
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2unknown3.07372
Integer_Transition_Systems/From_T2/bf20.t2.smt2unknown3.51141
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2unknown3.04983
Integer_Transition_Systems/From_T2/bf5.t2.smt2unknown3.34582
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2unknown2.99442
Integer_Transition_Systems/From_T2/bf6.t2.smt2unknown3.48176
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2unknown3.00816
Integer_Transition_Systems/From_T2/bf7.t2.smt2unknown3.48972
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2unknown3.0523
Integer_Transition_Systems/From_T2/bf8.t2.smt2unknown3.47178
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2unknown3.07444
Integer_Transition_Systems/From_T2/bf9.t2.smt2unknown3.47108
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2unknown3.06678
Integer_Transition_Systems/From_T2/bio.t2.smt2unknown300.055
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2unknown0.804764
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2unknown0.784271
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2unknown0.795406
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2unknown0.779391
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2unknown0.82583
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2unknown55.7517
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2unknown51.8001
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2unknown55.6389
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2unknown52.0125
Integer_Transition_Systems/From_T2/broydn.t2.smt2unknown43.6153
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2unknown42.4242
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2unknown300.04
Integer_Transition_Systems/From_T2/bs.t2.smt2no2.55437
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2no2.46445
Integer_Transition_Systems/From_T2/bsort100.t2.smt2unknown3.58215
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2unknown2.5956
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2unknown1.61339
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2unknown0.744652
Integer_Transition_Systems/From_T2/byron-1.t2.smt2unknown0.657666
Integer_Transition_Systems/From_T2/byron-2.t2.smt2unknown0.895176
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2unknown1.78915
Integer_Transition_Systems/From_T2/byron-3.t2.smt2unknown1.51361
Integer_Transition_Systems/From_T2/byron-4.t2.smt2no0.53037
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2unknown0.929045
Integer_Transition_Systems/From_T2/cfg.t2.smt2no1.67491
Integer_Transition_Systems/From_T2/cnt.t2.smt2unknown2.66715
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2unknown1.99835
Integer_Transition_Systems/From_T2/collatz.t2.smt2unknown4.14782
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2unknown2.19266
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2unknown0.430919
Integer_Transition_Systems/From_T2/compress.t2.smt2unknown300.026
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2unknown19.4841
Integer_Transition_Systems/From_T2/constants.t2.smt2unknown1.87728
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2unknown1.87048
Integer_Transition_Systems/From_T2/consts1.t2.smt2no0.343528
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2unknown0.518888
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2no0.345998
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2no0.533232
Integer_Transition_Systems/From_T2/consts2.t2.smt2no0.876304
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2unknown0.372881
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2no0.877249
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2no0.310721
Integer_Transition_Systems/From_T2/consts3.t2.smt2unknown0.369528
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2unknown0.367467
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2no0.3106
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2no0.310845
Integer_Transition_Systems/From_T2/consts4.t2.smt2no0.946312
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2unknown0.369352
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2no0.903548
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2no0.31002
Integer_Transition_Systems/From_T2/consts5.t2.smt2no1.19515
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2unknown0.282477
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2no1.195
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2no0.314194
Integer_Transition_Systems/From_T2/cover.t2.smt2unknown293.658
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2unknown111.222
Integer_Transition_Systems/From_T2/crc.t2.smt2unknown8.78742
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2unknown7.35628
Integer_Transition_Systems/From_T2/create.t2.smt2unknown0.546144
Integer_Transition_Systems/From_T2/create_seg.t2.smt2unknown0.549903
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2unknown1.95093
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2unknown4.63959
Integer_Transition_Systems/From_T2/ctl.t2.smt2no1.1766
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2no1.08124
Integer_Transition_Systems/From_T2/curious.t2.smt2no0.409954
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2no0.451269
Integer_Transition_Systems/From_T2/curious2.t2.smt2unknown0.062442
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2unknown0.06057
Integer_Transition_Systems/From_T2/curious4.t2.smt2no292.328
Integer_Transition_Systems/From_T2/d.t2.smt2no1.16914
Integer_Transition_Systems/From_T2/db.t2.smt2unknown0.139375
Integer_Transition_Systems/From_T2/db2.t2.smt2unknown300.035
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2unknown300.087
Integer_Transition_Systems/From_T2/db3.t2.smt2unknown300.08
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2unknown300.123
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2no1.29891
Integer_Transition_Systems/From_T2/defect.t2.smt2no0.203203
Integer_Transition_Systems/From_T2/destroy.t2.smt2unknown1.91331
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2unknown4.55389
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2unknown2.11013
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2unknown4.75583
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2no2.87974
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2no4.35478
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2no2.33953
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2unknown300.022
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2unknown0.691416
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2unknown0.061012
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2no7.32447
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2unknown0.0616941
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2unknown0.684074
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2unknown0.609122
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2unknown0.061575
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2unknown0.0612359
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2unknown0.689759
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2unknown0.59367
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2unknown0.375908
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2unknown0.350921
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2unknown0.0610149
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2unknown0.0618841
Integer_Transition_Systems/From_T2/dummy.t2.smt2no0.318141
Integer_Transition_Systems/From_T2/dumper.t2.smt2unknown300.031
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2no10.8201
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2no10.2778
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2no10.3458
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2no8.49689
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2no8.38551
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2no8.48687
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2no8.4587
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2no0.691365
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2no1.32137
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2no1.37707
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2no1.26339
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2no1.26855
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2no1.26909
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2no2.34819
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2no2.34424
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2no1.85849
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2no1.15148
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2no1.00221
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2no1.54933
Integer_Transition_Systems/From_T2/edn.t2.smt2no9.35536
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2unknown4.5879
Integer_Transition_Systems/From_T2/efegp.t2.smt2no16.2969
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2no17.4179
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2unknown7.38507
Integer_Transition_Systems/From_T2/elmhes.t2.smt2unknown7.35392
Integer_Transition_Systems/From_T2/eric.t2.smt2unknown2.25861
Integer_Transition_Systems/From_T2/eric1.t2.smt2unknown1.89447
Integer_Transition_Systems/From_T2/eric2.t2.smt2unknown11.3955
Integer_Transition_Systems/From_T2/eric3.t2.smt2no0.631188
Integer_Transition_Systems/From_T2/ex1.t2.smt2no0.297921
Integer_Transition_Systems/From_T2/ex10.t2.smt2no0.738701
Integer_Transition_Systems/From_T2/ex11.t2.smt2no2.01611
Integer_Transition_Systems/From_T2/ex12.t2.smt2unknown0.375556
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2unknown0.36473
Integer_Transition_Systems/From_T2/ex13.t2.smt2unknown0.0610271
Integer_Transition_Systems/From_T2/ex14.t2.smt2unknown0.378546
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2unknown0.35099
Integer_Transition_Systems/From_T2/ex15.t2.smt2unknown0.062344
Integer_Transition_Systems/From_T2/ex16.t2.smt2no1.86596
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2no1.75126
Integer_Transition_Systems/From_T2/ex17.t2.smt2unknown1.30996
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2unknown1.06496
Integer_Transition_Systems/From_T2/ex18.t2.smt2unknown1.25424
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2unknown1.24077
Integer_Transition_Systems/From_T2/ex19.t2.smt2no0.559827
Integer_Transition_Systems/From_T2/ex2.t2.smt2no0.598806
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2no0.594397
Integer_Transition_Systems/From_T2/ex20.t2.smt2unknown0.70035
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2unknown0.680143
Integer_Transition_Systems/From_T2/ex21.t2.smt2unknown0.69847
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2unknown0.614398
Integer_Transition_Systems/From_T2/ex22.t2.smt2unknown10.0381
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2unknown7.04325
Integer_Transition_Systems/From_T2/ex23.t2.smt2unknown0.428828
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2unknown0.428779
Integer_Transition_Systems/From_T2/ex26.t2.smt2unknown0.995286
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2unknown0.913676
Integer_Transition_Systems/From_T2/ex27.t2.smt2unknown34.8619
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2unknown10.4688
Integer_Transition_Systems/From_T2/ex29.t2.smt2unknown0.0730839
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2unknown0.0710391
Integer_Transition_Systems/From_T2/ex3.t2.smt2unknown0.426713
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2unknown0.405006
Integer_Transition_Systems/From_T2/ex30.t2.smt2unknown0.707326
Integer_Transition_Systems/From_T2/ex31.t2.smt2no1.47155
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2no1.719
Integer_Transition_Systems/From_T2/ex32.t2.smt2unknown1.00149
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2unknown0.860262
Integer_Transition_Systems/From_T2/ex33.t2.smt2unknown0.0619139
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2unknown0.061692
Integer_Transition_Systems/From_T2/ex34.t2.smt2unknown0.0653151
Integer_Transition_Systems/From_T2/ex36.t2.smt2unknown300.113
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2unknown297.315
Integer_Transition_Systems/From_T2/ex4.t2.smt2unknown2.03075
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2unknown1.45669
Integer_Transition_Systems/From_T2/ex40.t2.smt2no0.375116
Integer_Transition_Systems/From_T2/ex6.t2.smt2unknown0.0614599
Integer_Transition_Systems/From_T2/ex7.t2.smt2unknown0.374738
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2unknown0.363983
Integer_Transition_Systems/From_T2/ex8.t2.smt2no1.04554
Integer_Transition_Systems/From_T2/ex9.t2.smt2no1.37649
Integer_Transition_Systems/From_T2/example.t2.smt2unknown0.811286
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2no289.518
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2no289.642
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2no21.9138
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2no21.6767
Integer_Transition_Systems/From_T2/fdct.t2.smt2unknown0.858858
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2unknown0.706809
Integer_Transition_Systems/From_T2/fermat.t2.smt2unknown1.09855
Integer_Transition_Systems/From_T2/fibcall.t2.smt2unknown0.401423
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2unknown0.398976
Integer_Transition_Systems/From_T2/fir.t2.smt2unknown4.39485
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2unknown3.37893
Integer_Transition_Systems/From_T2/firewire.t2.smt2unknown67.7274
Integer_Transition_Systems/From_T2/flipflop.t2.smt2no0.308651
Integer_Transition_Systems/From_T2/florian.t2.smt2unknown0.319252
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2unknown4.26488
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2unknown2.59874
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2unknown2.62668
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2unknown39.4782
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2unknown6.08649
Integer_Transition_Systems/From_T2/foo.t2.smt2unknown14.2956
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2no66.7597
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2no96.8815
Integer_Transition_Systems/From_T2/fourn.t2.smt2no90.1575
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2unknown0.971468
Integer_Transition_Systems/From_T2/fun1.t2.smt2no290.626
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2no20.5072
Integer_Transition_Systems/From_T2/fun10.t2.smt2no20.3473
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2no20.3017
Integer_Transition_Systems/From_T2/fun10b.t2.smt2no16.124
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2no16.1451
Integer_Transition_Systems/From_T2/fun11.t2.smt2no0.569485
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2no0.782881
Integer_Transition_Systems/From_T2/fun1b.t2.smt2no290.384
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2no20.3683
Integer_Transition_Systems/From_T2/fun2.t2.smt2unknown295.059
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2unknown22.6308
Integer_Transition_Systems/From_T2/fun2b.t2.smt2unknown295.06
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2unknown21.8865
Integer_Transition_Systems/From_T2/fun3.t2.smt2unknown295.06
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2unknown0.806784
Integer_Transition_Systems/From_T2/fun4.t2.smt2no0.829248
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2unknown0.8336
Integer_Transition_Systems/From_T2/fun5.t2.smt2no9.61861
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2unknown10.0999
Integer_Transition_Systems/From_T2/fun6.t2.smt2no163.791
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2no134.163
Integer_Transition_Systems/From_T2/fun7.t2.smt2no16.9127
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2no31.4089
Integer_Transition_Systems/From_T2/fun8.t2.smt2unknown1.94128
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2unknown12.8413
Integer_Transition_Systems/From_T2/fun9.t2.smt2unknown17.0403
Integer_Transition_Systems/From_T2/graycode.t2.smt2unknown10.8842
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2unknown10.0633
Integer_Transition_Systems/From_T2/hand7.t2.smt2no0.392701
Integer_Transition_Systems/From_T2/heidy1.t2.smt2no0.295262
Integer_Transition_Systems/From_T2/heidy10.t2.smt2unknown0.875832
Integer_Transition_Systems/From_T2/heidy2.t2.smt2no0.408806
Integer_Transition_Systems/From_T2/heidy3.t2.smt2no0.657197
Integer_Transition_Systems/From_T2/heidy5.t2.smt2unknown0.424971
Integer_Transition_Systems/From_T2/heidy6.t2.smt2no0.870758
Integer_Transition_Systems/From_T2/heidy7.t2.smt2no1.04951
Integer_Transition_Systems/From_T2/heidy8.t2.smt2no1.05916
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2no1.06095
Integer_Transition_Systems/From_T2/heidy9.t2.smt2unknown0.363527
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2unknown296.032
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2unknown224.224
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2unknown279.322
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2unknown300.116
Integer_Transition_Systems/From_T2/hqr.t2.smt2unknown222.452
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2unknown263.572
Integer_Transition_Systems/From_T2/huh.t2.smt2unknown0.852216
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2unknown0.828697
Integer_Transition_Systems/From_T2/iecs.t2.smt2unknown0.642114
Integer_Transition_Systems/From_T2/insertsort.t2.smt2no0.627921
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2no0.609113
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2no1.50665
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2unknown20.4282
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2unknown19.2935
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2unknown21.0711
Integer_Transition_Systems/From_T2/jacobi.t2.smt2unknown18.1123
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2unknown19.9993
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2unknown100.355
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2no7.58316
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2unknown0.846272
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2unknown4.92557
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2unknown5.11719
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2unknown3.58182
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2unknown1.9651
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2unknown0.676033
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2unknown0.651415
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2unknown6.01156
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2unknown0.668153
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2unknown0.655962
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2unknown6.82833
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2unknown0.71736
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2unknown9.85868
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2unknown3.65581
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2unknown1.32962
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2unknown1.30669
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2unknown1.38345
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2unknown0.801926
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2unknown0.715538
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2unknown1.23578
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2unknown0.610528
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2unknown1.57065
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2unknown1.23896
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2unknown0.702143
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2unknown0.695643
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2unknown0.68559
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2unknown0.716852
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2unknown2.87359
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2unknown1.59962
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2unknown6.82321
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2unknown0.824352
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2unknown3.99849
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2unknown1.34055
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2unknown1.25995
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2unknown2.24508
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2unknown1.93333
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2unknown1.68257
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2unknown1.20441
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2unknown0.959513
Integer_Transition_Systems/From_T2/l1.t2.smt2no6.38623
Integer_Transition_Systems/From_T2/loop3.t2.smt2unknown156.998
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2unknown32.0415
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2unknown0.71445
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2unknown0.714228
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2unknown12.701
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2unknown12.3827
Integer_Transition_Systems/From_T2/magic.t2.smt2unknown23.2526
Integer_Transition_Systems/From_T2/matmul.t2.smt2unknown2.4186
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2unknown1.51279
Integer_Transition_Systems/From_T2/matmult.t2.smt2unknown3.32166
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2unknown2.21684
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2unknown2.42108
Integer_Transition_Systems/From_T2/mc91.t2.smt2no2.20855
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2unknown0.82244
Integer_Transition_Systems/From_T2/mc91test.t2.smt2no3.82222
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2unknown2.23967
Integer_Transition_Systems/From_T2/minmax.t2.smt2unknown0.0721649
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2unknown0.069265
Integer_Transition_Systems/From_T2/n-1.t2.smt2no0.415503
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2no0.549792
Integer_Transition_Systems/From_T2/n-10.t2.smt2no0.586573
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2no0.859384
Integer_Transition_Systems/From_T2/n-12.t2.smt2no0.628014
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2no1.10506
Integer_Transition_Systems/From_T2/n-12a.t2.smt2no0.307435
Integer_Transition_Systems/From_T2/n-13.t2.smt2no0.310626
Integer_Transition_Systems/From_T2/n-14.t2.smt2no0.629093
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2no1.10537
Integer_Transition_Systems/From_T2/n-15.t2.smt2no0.513483
Integer_Transition_Systems/From_T2/n-15a.t2.smt2no1.83747
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2no3.19092
Integer_Transition_Systems/From_T2/n-16a.t2.smt2no0.873033
Integer_Transition_Systems/From_T2/n-17.t2.smt2no0.523492
Integer_Transition_Systems/From_T2/n-18.t2.smt2no0.317623
Integer_Transition_Systems/From_T2/n-18a.t2.smt2no0.867392
Integer_Transition_Systems/From_T2/n-1c.t2.smt2no0.571166
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2no0.830638
Integer_Transition_Systems/From_T2/n-1d.t2.smt2no0.637029
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2no1.0961
Integer_Transition_Systems/From_T2/n-20.t2.smt2no0.446781
Integer_Transition_Systems/From_T2/n-21.t2.smt2no0.485077
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2no0.477808
Integer_Transition_Systems/From_T2/n-3.t2.smt2no0.535083
Integer_Transition_Systems/From_T2/n-32.t2.smt2no1.5566
Integer_Transition_Systems/From_T2/n-33.t2.smt2no4.64241
Integer_Transition_Systems/From_T2/n-36.t2.smt2no0.916759
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2no0.893409
Integer_Transition_Systems/From_T2/n-37.t2.smt2no0.309963
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2no0.306251
Integer_Transition_Systems/From_T2/n-38.t2.smt2unknown0.062984
Integer_Transition_Systems/From_T2/n-3a.t2.smt2no1.23183
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2no3.0041
Integer_Transition_Systems/From_T2/n-4.t2.smt2no2.24058
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2no4.12471
Integer_Transition_Systems/From_T2/n-40.t2.smt2no3.01939
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2unknown4.01758
Integer_Transition_Systems/From_T2/n-46.t2.smt2no0.323626
Integer_Transition_Systems/From_T2/n-48.t2.smt2no0.697077
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2no0.716531
Integer_Transition_Systems/From_T2/n-5.t2.smt2no2.57091
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2no2.63718
Integer_Transition_Systems/From_T2/n-6.t2.smt2no0.643942
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2no1.10238
Integer_Transition_Systems/From_T2/n-6a.t2.smt2no0.582487
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2no0.987005
Integer_Transition_Systems/From_T2/n-7.t2.smt2no0.423268
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2no0.459465
Integer_Transition_Systems/From_T2/n-8.t2.smt2no0.55956
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2no0.840009
Integer_Transition_Systems/From_T2/n-8a.t2.smt2no0.323949
Integer_Transition_Systems/From_T2/n-9.t2.smt2no1.67509
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2no3.79229
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2unknown36.5297
Integer_Transition_Systems/From_T2/nakata.t2.smt2unknown15.3144
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2unknown95.8353
Integer_Transition_Systems/From_T2/ndes.t2.smt2unknown298.646
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2unknown289.041
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2no10.2175
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2no12.9876
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2no11.2037
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2no11.0813
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2no10.2565
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2no10.2066
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2no2.1413
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2no2.15138
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2no10.7932
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2no8.45879
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2no8.47695
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2no8.42499
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2no8.41129
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2no1.36778
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2no1.36334
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2no0.675177
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2no0.678442
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2no1.23476
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2no1.21039
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2no1.2104
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2no1.19024
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2no1.85982
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2no2.27899
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2no2.28569
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2no1.14442
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2no1.55446
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2no1.26878
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2no1.24612
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2no1.26146
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2no1.84834
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2no1.84872
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2no2.12334
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2no2.11175
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2no1.01543
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2no1.02405
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2no2.75652
Integer_Transition_Systems/From_T2/neg.t2.smt2unknown0.0293001
Integer_Transition_Systems/From_T2/nested.t2.smt2unknown0.645656
Integer_Transition_Systems/From_T2/nested2.t2.smt2unknown0.630446
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2unknown0.621423
Integer_Transition_Systems/From_T2/non_term.t2.smt2no0.709456
Integer_Transition_Systems/From_T2/ns.t2.smt2unknown2.1962
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2unknown1.38233
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2no0.296951
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2unknown26.298
Integer_Transition_Systems/From_T2/p-1.t2.smt2no0.325139
Integer_Transition_Systems/From_T2/p-10.t2.smt2no0.331426
Integer_Transition_Systems/From_T2/p-12.t2.smt2unknown0.367717
Integer_Transition_Systems/From_T2/p-13.t2.smt2unknown0.0626371
Integer_Transition_Systems/From_T2/p-14.t2.smt2unknown0.369288
Integer_Transition_Systems/From_T2/p-15.t2.smt2unknown0.36597
Integer_Transition_Systems/From_T2/p-19.t2.smt2no0.328728
Integer_Transition_Systems/From_T2/p-19a.t2.smt2no0.340626
Integer_Transition_Systems/From_T2/p-1a.t2.smt2no0.332093
Integer_Transition_Systems/From_T2/p-1b.t2.smt2unknown0.375731
Integer_Transition_Systems/From_T2/p-1c.t2.smt2no0.332523
Integer_Transition_Systems/From_T2/p-1d.t2.smt2unknown0.807643
Integer_Transition_Systems/From_T2/p-20.t2.smt2no0.386181
Integer_Transition_Systems/From_T2/p-21.t2.smt2unknown0.9329
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2unknown0.907167
Integer_Transition_Systems/From_T2/p-22.t2.smt2unknown0.413495
Integer_Transition_Systems/From_T2/p-3.t2.smt2unknown0.715267
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2unknown0.706886
Integer_Transition_Systems/From_T2/p-32.t2.smt2no1.48708
Integer_Transition_Systems/From_T2/p-33.t2.smt2no2.91524
Integer_Transition_Systems/From_T2/p-34.t2.smt2no0.847174
Integer_Transition_Systems/From_T2/p-36.t2.smt2no0.532156
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2no0.512847
Integer_Transition_Systems/From_T2/p-37.t2.smt2unknown1.36546
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2unknown1.87021
Integer_Transition_Systems/From_T2/p-38.t2.smt2unknown0.0698089
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2unknown0.069986
Integer_Transition_Systems/From_T2/p-4.t2.smt2unknown2.28326
Integer_Transition_Systems/From_T2/p-40.t2.smt2unknown0.43599
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2unknown0.428884
Integer_Transition_Systems/From_T2/p-41.t2.smt2unknown0.062385
Integer_Transition_Systems/From_T2/p-42.t2.smt2unknown0.721943
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2unknown23.4995
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2unknown64.407
Integer_Transition_Systems/From_T2/p-43.t2.smt2unknown3.6114
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2unknown8.04145
Integer_Transition_Systems/From_T2/p-44.t2.smt2unknown1.7368
Integer_Transition_Systems/From_T2/p-45.t2.smt2unknown0.424825
Integer_Transition_Systems/From_T2/p-46.t2.smt2no0.813975
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2no4.96477
Integer_Transition_Systems/From_T2/p-49.t2.smt2unknown0.372931
Integer_Transition_Systems/From_T2/p-5.t2.smt2no2.57399
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2no2.6274
Integer_Transition_Systems/From_T2/p-50.t2.smt2unknown0.0619891
Integer_Transition_Systems/From_T2/p-52.t2.smt2no0.33012
Integer_Transition_Systems/From_T2/p-53.t2.smt2unknown0.0618019
Integer_Transition_Systems/From_T2/p-55.t2.smt2unknown0.827463
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2unknown1.71194
Integer_Transition_Systems/From_T2/p-56.t2.smt2unknown0.432862
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2unknown0.812714
Integer_Transition_Systems/From_T2/p-58.t2.smt2unknown0.126374
Integer_Transition_Systems/From_T2/p-6.t2.smt2unknown1.4655
Integer_Transition_Systems/From_T2/p-60.t2.smt2unknown0.442859
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2unknown0.430896
Integer_Transition_Systems/From_T2/p-61.t2.smt2unknown0.404799
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2unknown0.378125
Integer_Transition_Systems/From_T2/p-62.t2.smt2unknown0.06183
Integer_Transition_Systems/From_T2/p-63.t2.smt2unknown0.704578
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2unknown0.716552
Integer_Transition_Systems/From_T2/p-7.t2.smt2unknown0.502341
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2unknown0.531548
Integer_Transition_Systems/From_T2/p-7b.t2.smt2unknown0.396218
Integer_Transition_Systems/From_T2/p-8.t2.smt2no0.320687
Integer_Transition_Systems/From_T2/p.t2.smt2unknown8.09204
Integer_Transition_Systems/From_T2/p_armc.t2.smt2no4.22403
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2unknown1.44174
Integer_Transition_Systems/From_T2/peculiar.t2.smt2no3.06649
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2no3.0716
Integer_Transition_Systems/From_T2/pentagon.t2.smt2unknown1.35616
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2no1.23538
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2no1.23162
Integer_Transition_Systems/From_T2/pgarch.t2.smt2unknown300.031
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2unknown300.063
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2no27.1967
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2no21.7681
Integer_Transition_Systems/From_T2/polling.t2.smt2no21.49
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2no21.5064
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2unknown1.5212
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2unknown0.402579
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2unknown7.39834
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2unknown2.25996
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2unknown0.730864
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2unknown1.61267
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2no0.439555
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2no1.83689
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2no1.83831
Integer_Transition_Systems/From_T2/ppblock.t2.smt2no1.16025
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2no1.31115
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2no0.651368
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2no1.14642
Integer_Transition_Systems/From_T2/prime.t2.smt2no2.11451
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2no2.04321
Integer_Transition_Systems/From_T2/print.t2.smt2unknown10.364
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2unknown22.9293
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2unknown7.13567
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2unknown7.13114
Integer_Transition_Systems/From_T2/queens.t2.smt2unknown10.0329
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2unknown9.51379
Integer_Transition_Systems/From_T2/queue_1.t2.smt2unknown1.87385
Integer_Transition_Systems/From_T2/queue_10.t2.smt2unknown1.95806
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2unknown1.88314
Integer_Transition_Systems/From_T2/queue_100.t2.smt2unknown1.98402
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2unknown1.87815
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2unknown1.98729
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2unknown1.86863
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2unknown5.41197
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2unknown6.22675
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2no0.95961
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2no0.634403
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2no1.48652
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2no4.5858
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2no3.71058
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2no3.7631
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2unknown0.0628379
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2unknown0.0629011
Integer_Transition_Systems/From_T2/reverse.t2.smt2unknown32.9344
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2unknown18.9239
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2no3.55246
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2no5.21421
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2unknown3.67876
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2unknown6.70706
Integer_Transition_Systems/From_T2/rewrite.t2.smt2no0.292461
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2unknown11.2948
Integer_Transition_Systems/From_T2/rlft3.t2.smt2unknown11.2897
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2no2.86907
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2unknown4.95234
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2unknown10.4673
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2unknown295.802
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2unknown295.947
Integer_Transition_Systems/From_T2/s1.t2.smt2unknown295.8
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2unknown295.795
Integer_Transition_Systems/From_T2/s2.t2.smt2unknown0.385295
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2unknown0.385117
Integer_Transition_Systems/From_T2/s3-work.t2.smt2unknown300.091
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2unknown300.048
Integer_Transition_Systems/From_T2/s3.t2.smt2unknown300.019
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2unknown300.019
Integer_Transition_Systems/From_T2/s4.t2.smt2unknown300.02
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2unknown300.084
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2unknown2.75134
Integer_Transition_Systems/From_T2/sas2.t2.smt2unknown38.7968
Integer_Transition_Systems/From_T2/select.t2.smt2no12.633
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2no11.939
Integer_Transition_Systems/From_T2/selectSort.t2.smt2unknown2.01797
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2unknown0.234936
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2unknown0.233346
Integer_Transition_Systems/From_T2/seq.t2.smt2unknown0.363257
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2unknown0.0625879
Integer_Transition_Systems/From_T2/simple.t2.smt2no0.508968
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2unknown0.758251
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2unknown0.345292
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2unknown0.420576
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2unknown0.420055
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2unknown0.061007
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2unknown0.062285
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2unknown0.061532
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2unknown0.0609219
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2unknown0.062913
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2unknown0.0626871
Integer_Transition_Systems/From_T2/simple_test.t2.smt2unknown1.44639
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2no0.301298
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2unknown1.70118
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2unknown2.10795
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2unknown0.379638
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2unknown0.363386
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2no27.2484
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2unknown300.039
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2unknown294.718
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2unknown300.034
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2unknown292.941
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2unknown300.03
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2no14.4728
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2no0.893654
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2no1.76729
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2no3.29272
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2no0.322749
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2no0.302998
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2unknown0.442352
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2unknown0.437413
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2no12.4438
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2no1.00111
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2no1.00214
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2no1.03473
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2no1.03592
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2no0.969964
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2no0.973951
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2no1.02685
Integer_Transition_Systems/From_T2/small01.t2.smt2no0.434115
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2unknown0.539554
Integer_Transition_Systems/From_T2/small02.t2.smt2no0.407001
Integer_Transition_Systems/From_T2/small03.t2.smt2no0.295721
Integer_Transition_Systems/From_T2/small04.t2.smt2no0.298567
Integer_Transition_Systems/From_T2/small05.t2.smt2no0.316642
Integer_Transition_Systems/From_T2/small06.t2.smt2unknown1.19996
Integer_Transition_Systems/From_T2/small07.t2.smt2unknown2.9868
Integer_Transition_Systems/From_T2/small08.t2.smt2unknown2.93362
Integer_Transition_Systems/From_T2/small09.t2.smt2unknown2.95029
Integer_Transition_Systems/From_T2/small10.t2.smt2no6.20063
Integer_Transition_Systems/From_T2/small11.t2.smt2no0.325844
Integer_Transition_Systems/From_T2/small12.t2.smt2unknown0.471952
Integer_Transition_Systems/From_T2/small13.t2.smt2unknown1.15627
Integer_Transition_Systems/From_T2/small14.t2.smt2no2.24966
Integer_Transition_Systems/From_T2/small15.t2.smt2no1.07359
Integer_Transition_Systems/From_T2/small16.t2.smt2no1.05159
Integer_Transition_Systems/From_T2/small17.t2.smt2no1.02561
Integer_Transition_Systems/From_T2/small18.t2.smt2no1.07122
Integer_Transition_Systems/From_T2/small19.t2.smt2unknown1.1885
Integer_Transition_Systems/From_T2/small20.t2.smt2unknown0.595617
Integer_Transition_Systems/From_T2/small21.t2.smt2unknown0.595235
Integer_Transition_Systems/From_T2/small22.t2.smt2no1.1036
Integer_Transition_Systems/From_T2/small23.t2.smt2no0.767564
Integer_Transition_Systems/From_T2/small24.t2.smt2no0.295292
Integer_Transition_Systems/From_T2/small26.t2.smt2unknown0.383683
Integer_Transition_Systems/From_T2/small27.t2.smt2unknown0.125748
Integer_Transition_Systems/From_T2/small28.t2.smt2unknown0.381854
Integer_Transition_Systems/From_T2/small29.t2.smt2no0.314315
Integer_Transition_Systems/From_T2/small31.t2.smt2unknown0.0948471
Integer_Transition_Systems/From_T2/small32.t2.smt2unknown0.12752
Integer_Transition_Systems/From_T2/small33.t2.smt2unknown0.125518
Integer_Transition_Systems/From_T2/small34.t2.smt2unknown0.374027
Integer_Transition_Systems/From_T2/small35.t2.smt2no0.298606
Integer_Transition_Systems/From_T2/sort.t2.smt2unknown8.09952
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2unknown8.03152
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2unknown21.669
Integer_Transition_Systems/From_T2/spctrm.t2.smt2unknown22.8465
Integer_Transition_Systems/From_T2/spiral.t2.smt2unknown1.74785
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2unknown4.87009
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2no4.68055
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2no2.13487
Integer_Transition_Systems/From_T2/st88.t2.smt2no1.72484
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2no1.58991
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2no1.29358
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2no1.49066
Integer_Transition_Systems/From_T2/statemate.t2.smt2unknown295.427
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2unknown298.758
Integer_Transition_Systems/From_T2/stored.t2.smt2no0.820701
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2no12.9788
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2no12.8187
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2no14.746
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2no14.6472
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2no0.319063
Integer_Transition_Systems/From_T2/sudoku.t2.smt2unknown34.3034
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2unknown279.16
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2unknown228.259
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2unknown296.692
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2unknown298.304
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2no0.489137
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2unknown6.53221
Integer_Transition_Systems/From_T2/toeplz.t2.smt2unknown6.41939
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2unknown12.568
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2unknown12.9667
Integer_Transition_Systems/From_T2/tqli.t2.smt2unknown12.5195
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2unknown13.1688
Integer_Transition_Systems/From_T2/traverse.t2.smt2unknown5.06885
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2unknown10.6551
Integer_Transition_Systems/From_T2/traverse2.t2.smt2unknown7.81242
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2unknown20.6859
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2unknown5.93538
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2unknown11.2895
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2unknown6.26157
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2unknown20.4377
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2unknown19.6339
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2unknown16.4119
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2unknown2.54555
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2unknown1.6394
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2unknown3.60869
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2unknown2.18867
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2unknown3.61068
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2unknown3.58865
Integer_Transition_Systems/From_T2/ud.t2.smt2unknown8.10061
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2unknown6.85488
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2unknown0.061212
Integer_Transition_Systems/From_T2/w1.t2.smt2no0.301047
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2no1.40518
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2no4.42858
Integer_Transition_Systems/From_T2/walk.t2.smt2no2.60671
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2no2.6121
Integer_Transition_Systems/From_T2/weakness.t2.smt2unknown1.69963
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2unknown0.649534
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2unknown11.9702
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2no2.19161
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2no1.24422
Integer_Transition_Systems/From_T2/wtf.t2.smt2unknown22.0555
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2unknown68.407
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2unknown76.4527
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2no13.5868
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2unknown5.55229
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2no46.7979
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2unknown16.2038
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2no2.17846
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2unknown1.54983