LoAT '22
nameresulttime
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2unknown0.188573
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2unknown0.233099
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2unknown0.101301
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2no0.134998
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2unknown0.240887
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2unknown0.327007
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2unknown0.172272
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2unknown0.138287
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2unknown4.5881
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2unknown0.116588
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2unknown0.12092
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2unknown0.13492
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2unknown0.134987
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2unknown0.1785
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2unknown0.086516
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2no1.30595
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2unknown0.232386
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2unknown0.492572
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2unknown1.80467
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2unknown253.997
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2unknown0.160456
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2unknown4.11335
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2unknown0.0272651
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2unknown0.104024
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2unknown1.82532
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2unknown0.0569249
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2unknown0.305469
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2unknown0.053517
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2no0.0367361
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2unknown0.042352
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2unknown0.0431221
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2unknown0.283071
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2no0.0238919
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2unknown0.060982
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2no0.143577
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2no0.826054
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2no4.4816
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2no2.17392
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2no0.292758
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2no0.317149
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2unknown0.124467
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2unknown0.436287
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2unknown0.229111
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2unknown0.121357
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2unknown0.0362249
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2no0.265611
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2unknown0.224964
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2unknown15.2264
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2no6.19602
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2unknown0.176488
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2unknown0.233209
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2no98.8556
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2no0.47146
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2unknown0.338633
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2unknown252.355
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2unknown0.065471
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2unknown0.0275109
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2unknown0.027631
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2unknown0.365996
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2unknown0.125534
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2unknown0.814085
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2unknown1.74798
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2unknown0.0533451
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2unknown0.237513
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2unknown0.198645
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2unknown0.32452
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2unknown0.381326
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2unknown0.243728
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2unknown0.288703
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2unknown0.48725
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2unknown0.55352
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2unknown0.403297
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2unknown0.38818
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2unknown0.528364
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2unknown0.395349
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2no0.065566
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2unknown0.309304
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2no0.0750381
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2no0.079782
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2unknown0.059294
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2no0.0778231
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2unknown0.0585089
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2unknown0.120856
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2unknown0.045954
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2unknown0.227943
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2unknown0.0282681
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2unknown0.254629
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2unknown0.11382
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2no1.84378
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2no2.23288
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2no1.87368
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2no2.98143
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2no1.61026
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2unknown2.43226
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2unknown1.89594
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2unknown1.54681
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2unknown1.46263
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2unknown1.46872
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2unknown0.370194
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2unknown1.45379
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2unknown12.7424
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2unknown0.507361
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2unknown0.046565
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2unknown0.028719
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2unknown4.55705
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2no0.0232609
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2unknown0.260578
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2unknown0.117411
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2unknown0.0924399
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2unknown0.465951
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2unknown1.18561
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2unknown0.423549
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2unknown0.527516
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2unknown0.969557
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2unknown2.06817
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2unknown0.052576
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2no2.24679
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2no10.046
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2no0.238223
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2no0.412196
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2no0.0622589
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2unknown0.102016
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2unknown0.417221
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2unknown0.206568
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2no2.28423
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2unknown0.0790061
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2unknown0.883077
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2unknown1.3132
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2unknown0.0638051
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2unknown0.087746
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2unknown0.0508759
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2unknown0.526549
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2unknown0.225172
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2unknown0.588097
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2no0.0234591
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2unknown0.046389
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2no0.182462
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2unknown159.112
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2no1.23953
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2no1.5615
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2no1.35548
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2no0.904031
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2no2.09954
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2no6.2252
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2unknown0.493469
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2unknown1.6476
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2unknown0.0368811
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2unknown0.059508
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2unknown0.18473
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2unknown2.8245
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2unknown0.497745
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2unknown0.723211
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2unknown0.22949
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2no0.064691
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2unknown1.82593
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2no0.0235301
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2no0.0238569
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2no0.024208
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2no0.0600401
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2no0.023482
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2unknown0.101924
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2no0.023726
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2no0.0310699
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2no0.0851029
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2no0.136247
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2no0.171604
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2no0.0229199
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2no0.024425
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2no0.134144
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2no0.0642109
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2no0.0432539
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2unknown0.0655671
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2unknown0.0529839
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2unknown0.320338
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2no0.30983
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2no5.58831
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2unknown0.0342741
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2unknown8.23262
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2unknown252.052
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2unknown0.060239
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2unknown0.066754
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2unknown0.0365551
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2unknown0.0437001
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2unknown0.0537611
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2unknown0.0564059
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2unknown0.037792
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2unknown0.227875
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2unknown0.0364549
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2unknown0.122547
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2unknown0.183926
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2unknown0.080669
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2unknown0.112974
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2unknown0.0686219
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2unknown0.0775629
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2unknown0.102035
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2unknown0.121214
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2unknown0.100542
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2unknown0.0397429
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2unknown0.155791
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2unknown0.0308489
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2unknown0.05272
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2unknown0.0499271
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2unknown0.057799
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2unknown0.16247
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2unknown0.175464
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2unknown0.143937
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2unknown0.0778051
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2unknown0.0592921
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2unknown0.142389
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2unknown2.02336
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2unknown0.0482311
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2unknown0.120497
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2unknown0.0488711
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2unknown0.789674
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2no0.342146
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2unknown2.62705
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2unknown252.12
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2no18.4662
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2unknown0.251985
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2unknown0.04803
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2unknown1.49759
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2unknown0.073101
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2unknown0.0716721
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2no1.73764
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2unknown1.04755
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2unknown0.0492251
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2unknown0.0289659
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2unknown0.103991
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2unknown0.105395
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2no0.142954
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2no0.234081
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2unknown0.886144
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2unknown0.0340549
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2unknown2.1082
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2no0.0362741
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2unknown0.099564
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2unknown12.333
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2unknown9.82817
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2unknown0.298885
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2unknown0.101577
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2unknown0.0321841
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2no0.0873749
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2no0.0537361
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2unknown0.983674
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2unknown1.18307
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2unknown0.144553
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2unknown4.89842
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2unknown2.94771
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2no0.36756
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2unknown0.365022
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2unknown1.08742
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2no27.3702
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2unknown1.61466
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2unknown57.8386
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2no0.367626
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2unknown0.172713
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2unknown0.728004
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2no0.0242309
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2no0.043734
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2unknown0.114782
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2unknown2.35189
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2unknown2.35319
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2no0.623582
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2unknown0.0326791
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2no0.401066
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2no0.068411
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2no0.0980249
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2no0.142523
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2no0.20661
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2unknown0.124921
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2unknown0.282907
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2no0.284584
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2no0.0543881
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2no0.050514
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2unknown0.872668
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2no0.080957
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2no0.330713
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2no0.100237
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2no0.0490149
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2no0.101221
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2no0.101259
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2no0.042214
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2no0.0407039
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2no0.229199
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2no0.162561
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2unknown0.183406
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2no0.220123
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2no1.08381
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2unknown0.0828851
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2no0.0378281
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2unknown0.0839929
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2no0.086918
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2no5.41396
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2no0.034741
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2no0.0408951
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2no0.201003
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2no0.219585
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2no0.0739809
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2no0.324489
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2unknown0.430483
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2unknown0.131384
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2unknown0.480501
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2no0.418851
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2no0.156775
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2no0.0545931
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2no0.147327
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2unknown0.132027
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2unknown0.130893
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2no0.0860289
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2unknown0.0322511
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2no0.033682
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2no0.0544171
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2no0.061804
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2no0.0702791
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2no0.05697
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2no0.0828359
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2no0.298496
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2no0.04097
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2unknown0.06877
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2no0.122582
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2no0.136413
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2no0.0705279
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2no0.208823
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2no0.0554921
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2no0.050577
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2unknown0.552355
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2no0.0815589
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2unknown0.169888
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2unknown0.058596
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2unknown0.055877
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2unknown0.056057
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2no0.022854
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2no0.282794
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2no0.036475
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2no0.0365219
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2no0.0832881
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2no0.079938
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2no0.0373711
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2no0.0319621
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2no0.0301621
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2no0.0304559
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2unknown0.250002
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2unknown0.072975
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2no0.037983
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2unknown4.01829
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2unknown3.34352
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2unknown4.6118
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2unknown4.79932
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2unknown4.56929
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2unknown3.22599
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2unknown5.87617
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2unknown5.89181
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2unknown5.87292
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2unknown2.95842
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2unknown6.6452
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2unknown3.37126
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2unknown0.504469
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2unknown0.477494
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2unknown8.27654
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2unknown39.1611
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2unknown1.69038
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2unknown0.474611
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2unknown0.475565
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2unknown0.517439
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2unknown21.5031
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2unknown36.3326
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2unknown3.64345
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2unknown0.559516
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2unknown26.4812
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2unknown0.885451
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2unknown0.566584
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2unknown0.557576
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2unknown21.4459
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2unknown0.472206
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2unknown3.248
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2unknown32.0119
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2unknown3.25074
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2unknown0.475142
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2unknown0.477156
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2unknown0.475547
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2unknown0.559575
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2unknown0.558447
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2unknown0.555821
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2unknown0.56974
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2unknown0.568916
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2unknown0.589208
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2unknown0.563621
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2unknown0.477504
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2unknown2.66778
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2unknown90.8305
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2unknown2.59541
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2unknown36.9902
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2unknown0.56674
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2unknown36.6536
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2unknown0.590245
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2unknown36.5447
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2unknown12.9497
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2unknown0.797784
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2unknown0.504217
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2unknown0.475021
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2unknown0.952364
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2no0.128359
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2no0.243961
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2unknown0.13
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2unknown0.558726
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2no0.058853
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2no0.0426951
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2no0.0377739
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2no0.156486
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2no0.0539011
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2unknown0.499031
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2unknown0.157629
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2no0.073644
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2no0.065037
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2no0.0549481
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2no0.0881541
Integer_Transition_Systems/From_T2/1.t2.smt2no0.694772
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2no5.99012
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2no5.24845
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2no5.00417
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2no5.1184
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2no5.05719
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2no5.25094
Integer_Transition_Systems/From_T2/2.t2.smt2no0.384423
Integer_Transition_Systems/From_T2/232.t2.smt2unknown0.0523921
Integer_Transition_Systems/From_T2/241.t2.smt2unknown0.054019
Integer_Transition_Systems/From_T2/3.t2.smt2no0.0282301
Integer_Transition_Systems/From_T2/5.t2.smt2unknown0.0153599
Integer_Transition_Systems/From_T2/6.t2.smt2no0.028466
Integer_Transition_Systems/From_T2/7.t2.smt2no0.0342541
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2no0.889433
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2no1.75498
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2no0.227831
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2no0.233152
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2no13.4094
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2no14.7219
Integer_Transition_Systems/From_T2/afagx1.t2.smt2no0.072954
Integer_Transition_Systems/From_T2/agafp.t2.smt2no44.4894
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2no43.8543
Integer_Transition_Systems/From_T2/andrey.t2.smt2unknown0.0313009
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2no13.0062
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2no11.4842
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2no13.0515
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2no11.5191
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2no19.4235
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2no17.2734
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2no13.2375
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2no11.7059
Integer_Transition_Systems/From_T2/arith.t2.smt2unknown0.0424769
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2unknown0.0404079
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2unknown0.010615
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2unknown117.988
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2unknown0.105468
Integer_Transition_Systems/From_T2/array.t2.smt2unknown0.025713
Integer_Transition_Systems/From_T2/array2.t2.smt2unknown0.0375599
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2unknown0.03757
Integer_Transition_Systems/From_T2/array3.t2.smt2unknown0.0657859
Integer_Transition_Systems/From_T2/array4.t2.smt2unknown0.058537
Integer_Transition_Systems/From_T2/array_free.t2.smt2unknown0.095436
Integer_Transition_Systems/From_T2/array_free2.t2.smt2unknown0.0854819
Integer_Transition_Systems/From_T2/array_init.t2.smt2unknown0.0365821
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2unknown0.0360811
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2unknown0.057586
Integer_Transition_Systems/From_T2/ase_example.t2.smt2unknown0.096912
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2unknown0.0946421
Integer_Transition_Systems/From_T2/ax_test.t2.smt2no0.030274
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2no0.0279529
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2no0.0348771
Integer_Transition_Systems/From_T2/bakery.t2.smt2no2.20509
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2no2.22484
Integer_Transition_Systems/From_T2/bf10.t2.smt2unknown0.33777
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2unknown0.329999
Integer_Transition_Systems/From_T2/bf11.t2.smt2unknown0.336202
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2unknown0.33386
Integer_Transition_Systems/From_T2/bf12.t2.smt2unknown0.339421
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2unknown0.307009
Integer_Transition_Systems/From_T2/bf13.t2.smt2unknown0.332739
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2unknown0.333187
Integer_Transition_Systems/From_T2/bf14.t2.smt2unknown0.338118
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2unknown0.311476
Integer_Transition_Systems/From_T2/bf15.t2.smt2unknown0.332299
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2unknown0.323316
Integer_Transition_Systems/From_T2/bf16.t2.smt2unknown0.332742
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2unknown0.315486
Integer_Transition_Systems/From_T2/bf17.t2.smt2unknown0.330961
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2unknown0.312054
Integer_Transition_Systems/From_T2/bf18.t2.smt2unknown0.330812
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2unknown0.332389
Integer_Transition_Systems/From_T2/bf19.t2.smt2unknown0.340201
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2unknown0.330182
Integer_Transition_Systems/From_T2/bf20.t2.smt2unknown0.414816
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2unknown0.318595
Integer_Transition_Systems/From_T2/bf5.t2.smt2unknown0.344014
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2unknown0.322289
Integer_Transition_Systems/From_T2/bf6.t2.smt2unknown0.340637
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2unknown0.319704
Integer_Transition_Systems/From_T2/bf7.t2.smt2unknown0.335278
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2unknown0.336003
Integer_Transition_Systems/From_T2/bf8.t2.smt2unknown0.339147
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2unknown0.331727
Integer_Transition_Systems/From_T2/bf9.t2.smt2unknown0.338276
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2unknown0.331465
Integer_Transition_Systems/From_T2/bio.t2.smt2unknown254.35
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2unknown0.112276
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2unknown0.100489
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2unknown0.111103
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2unknown0.0997419
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2unknown0.0785641
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2unknown7.47281
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2unknown7.40583
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2unknown7.30012
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2unknown7.67973
Integer_Transition_Systems/From_T2/broydn.t2.smt2unknown7.35516
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2unknown7.15502
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2unknown255.587
Integer_Transition_Systems/From_T2/bs.t2.smt2no0.211771
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2no0.196926
Integer_Transition_Systems/From_T2/bsort100.t2.smt2unknown0.451896
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2unknown0.329975
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2unknown0.181304
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2unknown0.0877241
Integer_Transition_Systems/From_T2/byron-1.t2.smt2unknown0.169045
Integer_Transition_Systems/From_T2/byron-2.t2.smt2unknown0.111449
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2unknown0.221393
Integer_Transition_Systems/From_T2/byron-3.t2.smt2unknown0.172792
Integer_Transition_Systems/From_T2/byron-4.t2.smt2no0.0733969
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2unknown0.117544
Integer_Transition_Systems/From_T2/cfg.t2.smt2no0.361716
Integer_Transition_Systems/From_T2/cnt.t2.smt2unknown0.425106
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2unknown0.267741
Integer_Transition_Systems/From_T2/collatz.t2.smt2unknown0.215329
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2unknown0.396694
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2unknown0.040281
Integer_Transition_Systems/From_T2/compress.t2.smt2no86.8122
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2unknown5.00915
Integer_Transition_Systems/From_T2/constants.t2.smt2unknown0.0589339
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2unknown0.0558901
Integer_Transition_Systems/From_T2/consts1.t2.smt2no0.041666
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2unknown0.0580491
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2no0.039295
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2no0.056053
Integer_Transition_Systems/From_T2/consts2.t2.smt2no0.16709
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2unknown0.0374399
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2no0.16515
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2no0.0350861
Integer_Transition_Systems/From_T2/consts3.t2.smt2unknown0.0377311
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2unknown0.034857
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2no0.037745
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2no0.0346911
Integer_Transition_Systems/From_T2/consts4.t2.smt2no0.1734
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2unknown0.038152
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2no0.171975
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2no0.0348991
Integer_Transition_Systems/From_T2/consts5.t2.smt2no0.183994
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2unknown0.038019
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2no0.189264
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2no0.041027
Integer_Transition_Systems/From_T2/cover.t2.smt2unknown255.092
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2unknown7.1662
Integer_Transition_Systems/From_T2/crc.t2.smt2unknown1.4968
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2unknown1.29764
Integer_Transition_Systems/From_T2/create.t2.smt2unknown0.0916011
Integer_Transition_Systems/From_T2/create_seg.t2.smt2unknown0.0984289
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2unknown0.657446
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2unknown0.98602
Integer_Transition_Systems/From_T2/ctl.t2.smt2no0.173158
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2no0.129722
Integer_Transition_Systems/From_T2/curious.t2.smt2no0.046831
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2no0.0458701
Integer_Transition_Systems/From_T2/curious2.t2.smt2unknown0.0142191
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2unknown0.010434
Integer_Transition_Systems/From_T2/curious4.t2.smt2no11.9367
Integer_Transition_Systems/From_T2/d.t2.smt2no0.0677339
Integer_Transition_Systems/From_T2/db.t2.smt2unknown0.011423
Integer_Transition_Systems/From_T2/db2.t2.smt2no214.558
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2no213.169
Integer_Transition_Systems/From_T2/db3.t2.smt2no214.645
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2no213.021
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2no0.23826
Integer_Transition_Systems/From_T2/defect.t2.smt2no0.0323079
Integer_Transition_Systems/From_T2/destroy.t2.smt2unknown0.665042
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2unknown0.958435
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2unknown0.808935
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2unknown1.08284
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2no1.64207
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2no1.43616
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2no0.220994
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2unknown253.467
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2unknown0.0538629
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2unknown0.010876
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2no1.23007
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2unknown0.0108041
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2unknown0.0652791
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2unknown0.065163
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2unknown0.016585
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2unknown0.010002
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2unknown0.06414
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2unknown0.0562159
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2unknown0.0400859
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2unknown0.0369121
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2unknown0.0248951
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2unknown0.0212731
Integer_Transition_Systems/From_T2/dummy.t2.smt2no0.053176
Integer_Transition_Systems/From_T2/dumper.t2.smt2no13.3258
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2no5.24593
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2no5.63998
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2no5.68938
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2no4.32457
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2no4.46808
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2no4.32653
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2no4.49987
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2no0.0793999
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2no0.113586
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2no0.102314
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2no0.21719
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2no0.224727
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2no0.218531
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2no0.501455
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2no0.498051
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2no0.339265
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2no0.139255
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2no0.111039
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2no0.276339
Integer_Transition_Systems/From_T2/edn.t2.smt2no2.36713
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2unknown1.08944
Integer_Transition_Systems/From_T2/efegp.t2.smt2no4.77343
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2no5.129
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2unknown0.894615
Integer_Transition_Systems/From_T2/elmhes.t2.smt2unknown0.89061
Integer_Transition_Systems/From_T2/eric.t2.smt2unknown0.377039
Integer_Transition_Systems/From_T2/eric1.t2.smt2unknown0.179746
Integer_Transition_Systems/From_T2/eric2.t2.smt2unknown5.10477
Integer_Transition_Systems/From_T2/eric3.t2.smt2no0.0862211
Integer_Transition_Systems/From_T2/ex1.t2.smt2no0.034449
Integer_Transition_Systems/From_T2/ex10.t2.smt2no0.09847
Integer_Transition_Systems/From_T2/ex11.t2.smt2no0.22761
Integer_Transition_Systems/From_T2/ex12.t2.smt2unknown0.040321
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2unknown0.038228
Integer_Transition_Systems/From_T2/ex13.t2.smt2unknown0.021642
Integer_Transition_Systems/From_T2/ex14.t2.smt2unknown0.037575
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2unknown0.036996
Integer_Transition_Systems/From_T2/ex15.t2.smt2unknown0.01103
Integer_Transition_Systems/From_T2/ex16.t2.smt2no0.324038
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2no0.297653
Integer_Transition_Systems/From_T2/ex17.t2.smt2unknown0.134605
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2unknown0.101597
Integer_Transition_Systems/From_T2/ex18.t2.smt2unknown0.108972
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2unknown0.112239
Integer_Transition_Systems/From_T2/ex19.t2.smt2no0.0624399
Integer_Transition_Systems/From_T2/ex2.t2.smt2no0.0752789
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2no0.068769
Integer_Transition_Systems/From_T2/ex20.t2.smt2unknown0.0618171
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2unknown0.058541
Integer_Transition_Systems/From_T2/ex21.t2.smt2unknown0.071942
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2unknown0.0612421
Integer_Transition_Systems/From_T2/ex22.t2.smt2unknown1.23377
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2unknown0.889768
Integer_Transition_Systems/From_T2/ex23.t2.smt2unknown0.049019
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2unknown0.0402169
Integer_Transition_Systems/From_T2/ex26.t2.smt2unknown0.109798
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2unknown0.093273
Integer_Transition_Systems/From_T2/ex27.t2.smt2unknown2.03571
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2unknown1.5561
Integer_Transition_Systems/From_T2/ex29.t2.smt2unknown0.0341729
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2unknown0.0322181
Integer_Transition_Systems/From_T2/ex3.t2.smt2unknown0.045864
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2unknown0.043992
Integer_Transition_Systems/From_T2/ex30.t2.smt2unknown0.0683411
Integer_Transition_Systems/From_T2/ex31.t2.smt2no0.256663
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2no0.25073
Integer_Transition_Systems/From_T2/ex32.t2.smt2unknown0.0821449
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2unknown0.083666
Integer_Transition_Systems/From_T2/ex33.t2.smt2unknown0.022481
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2unknown0.024467
Integer_Transition_Systems/From_T2/ex34.t2.smt2unknown0.0143411
Integer_Transition_Systems/From_T2/ex36.t2.smt2no22.5984
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2no16.4785
Integer_Transition_Systems/From_T2/ex4.t2.smt2unknown0.181171
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2unknown0.166166
Integer_Transition_Systems/From_T2/ex40.t2.smt2no0.040421
Integer_Transition_Systems/From_T2/ex6.t2.smt2unknown0.0176769
Integer_Transition_Systems/From_T2/ex7.t2.smt2unknown0.0424661
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2unknown0.0500901
Integer_Transition_Systems/From_T2/ex8.t2.smt2no0.117632
Integer_Transition_Systems/From_T2/ex9.t2.smt2no0.158294
Integer_Transition_Systems/From_T2/example.t2.smt2unknown0.103483
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2no31.3459
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2no18.3216
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2no4.32832
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2no3.9243
Integer_Transition_Systems/From_T2/fdct.t2.smt2unknown0.182203
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2unknown0.107902
Integer_Transition_Systems/From_T2/fermat.t2.smt2unknown0.149671
Integer_Transition_Systems/From_T2/fibcall.t2.smt2unknown0.0408031
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2unknown0.0380001
Integer_Transition_Systems/From_T2/fir.t2.smt2unknown0.727944
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2unknown0.718166
Integer_Transition_Systems/From_T2/firewire.t2.smt2unknown11.0614
Integer_Transition_Systems/From_T2/flipflop.t2.smt2no0.0715499
Integer_Transition_Systems/From_T2/florian.t2.smt2unknown0.0307521
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2unknown0.457433
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2unknown0.353627
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2unknown0.231084
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2unknown12.6569
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2unknown0.952988
Integer_Transition_Systems/From_T2/foo.t2.smt2unknown3.15267
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2no252.175
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2no252.174
Integer_Transition_Systems/From_T2/fourn.t2.smt2no252.339
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2unknown0.114005
Integer_Transition_Systems/From_T2/fun1.t2.smt2no254.656
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2no16.9692
Integer_Transition_Systems/From_T2/fun10.t2.smt2no8.76155
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2no8.80278
Integer_Transition_Systems/From_T2/fun10b.t2.smt2no7.28663
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2no7.30868
Integer_Transition_Systems/From_T2/fun11.t2.smt2no0.0751829
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2no0.113798
Integer_Transition_Systems/From_T2/fun1b.t2.smt2no254.253
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2no15.8904
Integer_Transition_Systems/From_T2/fun2.t2.smt2unknown295.571
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2unknown13.1563
Integer_Transition_Systems/From_T2/fun2b.t2.smt2unknown295.379
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2unknown13.0789
Integer_Transition_Systems/From_T2/fun3.t2.smt2unknown294.973
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2unknown0.311799
Integer_Transition_Systems/From_T2/fun4.t2.smt2no0.442219
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2unknown0.0989531
Integer_Transition_Systems/From_T2/fun5.t2.smt2no8.98084
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2unknown5.89151
Integer_Transition_Systems/From_T2/fun6.t2.smt2no94.2465
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2no121.358
Integer_Transition_Systems/From_T2/fun7.t2.smt2no1.42406
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2no1.77175
Integer_Transition_Systems/From_T2/fun8.t2.smt2unknown0.706181
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2unknown1.09306
Integer_Transition_Systems/From_T2/fun9.t2.smt2unknown1.72866
Integer_Transition_Systems/From_T2/graycode.t2.smt2unknown1.06569
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2unknown1.02245
Integer_Transition_Systems/From_T2/hand7.t2.smt2no0.0513869
Integer_Transition_Systems/From_T2/heidy1.t2.smt2no0.0297099
Integer_Transition_Systems/From_T2/heidy10.t2.smt2unknown0.108556
Integer_Transition_Systems/From_T2/heidy2.t2.smt2no0.0473739
Integer_Transition_Systems/From_T2/heidy3.t2.smt2no0.0601729
Integer_Transition_Systems/From_T2/heidy5.t2.smt2unknown0.0434381
Integer_Transition_Systems/From_T2/heidy6.t2.smt2no0.102129
Integer_Transition_Systems/From_T2/heidy7.t2.smt2no0.115762
Integer_Transition_Systems/From_T2/heidy8.t2.smt2no0.123518
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2no0.125187
Integer_Transition_Systems/From_T2/heidy9.t2.smt2unknown0.03695
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2unknown10.087
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2unknown9.32356
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2unknown9.96879
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2unknown9.30319
Integer_Transition_Systems/From_T2/hqr.t2.smt2unknown10.2332
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2unknown9.38335
Integer_Transition_Systems/From_T2/huh.t2.smt2unknown0.156661
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2unknown0.148279
Integer_Transition_Systems/From_T2/iecs.t2.smt2unknown0.174084
Integer_Transition_Systems/From_T2/insertsort.t2.smt2no0.065227
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2no0.0617239
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2no0.113431
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2unknown6.73571
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2unknown3.63091
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2unknown3.7102
Integer_Transition_Systems/From_T2/jacobi.t2.smt2unknown2.94789
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2unknown3.59783
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2no254.188
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2unknown0.434208
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2unknown0.325518
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2unknown0.550541
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2unknown0.734472
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2unknown0.307838
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2unknown0.235493
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2unknown0.072287
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2unknown0.0667361
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2unknown0.865642
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2unknown0.0681921
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2unknown0.067639
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2unknown0.834335
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2unknown0.263522
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2unknown1.40535
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2unknown0.374791
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2unknown0.134303
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2unknown0.122112
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2unknown0.130968
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2unknown0.174221
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2unknown0.098151
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2unknown0.14594
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2unknown0.0545039
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2unknown0.371175
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2unknown0.166154
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2unknown0.09333
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2unknown0.0986281
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2unknown0.0824821
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2unknown0.0855949
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2unknown0.208198
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2unknown0.164429
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2unknown0.731658
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2unknown0.11068
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2unknown0.47492
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2unknown0.133677
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2unknown0.127055
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2unknown0.210816
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2unknown0.190347
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2unknown0.17627
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2unknown0.142838
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2unknown0.130921
Integer_Transition_Systems/From_T2/l1.t2.smt2no0.176077
Integer_Transition_Systems/From_T2/loop3.t2.smt2unknown77.1096
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2unknown61.2197
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2unknown0.066592
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2unknown0.066422
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2unknown1.62286
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2unknown1.64434
Integer_Transition_Systems/From_T2/magic.t2.smt2unknown2.26434
Integer_Transition_Systems/From_T2/matmul.t2.smt2unknown0.275774
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2unknown0.136051
Integer_Transition_Systems/From_T2/matmult.t2.smt2unknown0.424797
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2unknown0.254525
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2unknown0.288391
Integer_Transition_Systems/From_T2/mc91.t2.smt2no2.19481
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2unknown0.725241
Integer_Transition_Systems/From_T2/mc91test.t2.smt2no3.51631
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2unknown1.36861
Integer_Transition_Systems/From_T2/minmax.t2.smt2unknown0.031161
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2unknown0.0291389
Integer_Transition_Systems/From_T2/n-1.t2.smt2no0.0515779
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2no0.0794969
Integer_Transition_Systems/From_T2/n-10.t2.smt2no0.13287
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2no0.137036
Integer_Transition_Systems/From_T2/n-12.t2.smt2no0.0796211
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2no0.116796
Integer_Transition_Systems/From_T2/n-12a.t2.smt2no0.0410029
Integer_Transition_Systems/From_T2/n-13.t2.smt2no0.0626881
Integer_Transition_Systems/From_T2/n-14.t2.smt2no0.0901001
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2no0.117718
Integer_Transition_Systems/From_T2/n-15.t2.smt2no0.062652
Integer_Transition_Systems/From_T2/n-15a.t2.smt2no0.232391
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2no0.174524
Integer_Transition_Systems/From_T2/n-16a.t2.smt2no0.2278
Integer_Transition_Systems/From_T2/n-17.t2.smt2no0.0581721
Integer_Transition_Systems/From_T2/n-18.t2.smt2no0.0356961
Integer_Transition_Systems/From_T2/n-18a.t2.smt2no0.159819
Integer_Transition_Systems/From_T2/n-1c.t2.smt2no0.125703
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2no0.13115
Integer_Transition_Systems/From_T2/n-1d.t2.smt2no0.0886491
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2no0.120447
Integer_Transition_Systems/From_T2/n-20.t2.smt2no0.0726871
Integer_Transition_Systems/From_T2/n-21.t2.smt2no0.071826
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2no0.0635321
Integer_Transition_Systems/From_T2/n-3.t2.smt2no0.061705
Integer_Transition_Systems/From_T2/n-32.t2.smt2no0.118555
Integer_Transition_Systems/From_T2/n-33.t2.smt2no1.13181
Integer_Transition_Systems/From_T2/n-36.t2.smt2no0.237978
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2no0.20834
Integer_Transition_Systems/From_T2/n-37.t2.smt2no0.039334
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2no0.03915
Integer_Transition_Systems/From_T2/n-38.t2.smt2unknown0.0242131
Integer_Transition_Systems/From_T2/n-3a.t2.smt2no0.25709
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2no0.284408
Integer_Transition_Systems/From_T2/n-4.t2.smt2no0.272478
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2no0.383384
Integer_Transition_Systems/From_T2/n-40.t2.smt2no0.431268
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2unknown0.295557
Integer_Transition_Systems/From_T2/n-46.t2.smt2no0.0462711
Integer_Transition_Systems/From_T2/n-48.t2.smt2no0.173588
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2no0.179475
Integer_Transition_Systems/From_T2/n-5.t2.smt2no0.297862
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2no0.309094
Integer_Transition_Systems/From_T2/n-6.t2.smt2no0.116462
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2no0.124916
Integer_Transition_Systems/From_T2/n-6a.t2.smt2no0.143184
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2no0.123698
Integer_Transition_Systems/From_T2/n-7.t2.smt2no0.062663
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2no0.0660141
Integer_Transition_Systems/From_T2/n-8.t2.smt2no0.11614
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2no0.130802
Integer_Transition_Systems/From_T2/n-8a.t2.smt2no0.0444459
Integer_Transition_Systems/From_T2/n-9.t2.smt2no0.236054
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2no0.694085
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2unknown5.7941
Integer_Transition_Systems/From_T2/nakata.t2.smt2unknown3.09933
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2unknown27.8667
Integer_Transition_Systems/From_T2/ndes.t2.smt2unknown42.639
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2unknown35.0142
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2no5.43672
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2no6.23087
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2no4.95862
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2no5.1316
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2no4.84225
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2no5.05369
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2no0.24068
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2no0.241076
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2no5.25189
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2no4.30329
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2no4.53472
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2no4.36777
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2no4.4187
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2no0.110443
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2no0.119597
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2no0.0857941
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2no0.0871029
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2no0.197758
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2no0.190531
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2no0.185207
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2no0.181941
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2no0.348072
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2no0.490677
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2no0.479833
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2no0.135533
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2no0.240641
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2no0.209253
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2no0.212762
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2no0.201347
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2no0.336192
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2no0.341932
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2no0.428219
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2no0.409248
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2no0.116101
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2no0.114877
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2no0.209938
Integer_Transition_Systems/From_T2/neg.t2.smt2unknown0.0301239
Integer_Transition_Systems/From_T2/nested.t2.smt2unknown0.182732
Integer_Transition_Systems/From_T2/nested2.t2.smt2unknown0.20326
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2unknown0.0637969
Integer_Transition_Systems/From_T2/non_term.t2.smt2no0.173143
Integer_Transition_Systems/From_T2/ns.t2.smt2unknown0.24482
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2unknown0.145923
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2no0.0304731
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2unknown3.01349
Integer_Transition_Systems/From_T2/p-1.t2.smt2no0.043627
Integer_Transition_Systems/From_T2/p-10.t2.smt2no0.0463659
Integer_Transition_Systems/From_T2/p-12.t2.smt2unknown0.0369481
Integer_Transition_Systems/From_T2/p-13.t2.smt2unknown0.0102441
Integer_Transition_Systems/From_T2/p-14.t2.smt2unknown0.0373509
Integer_Transition_Systems/From_T2/p-15.t2.smt2unknown0.035615
Integer_Transition_Systems/From_T2/p-19.t2.smt2no0.0429789
Integer_Transition_Systems/From_T2/p-19a.t2.smt2no0.046244
Integer_Transition_Systems/From_T2/p-1a.t2.smt2no0.0452331
Integer_Transition_Systems/From_T2/p-1b.t2.smt2unknown0.0387141
Integer_Transition_Systems/From_T2/p-1c.t2.smt2no0.0473011
Integer_Transition_Systems/From_T2/p-1d.t2.smt2unknown0.095752
Integer_Transition_Systems/From_T2/p-20.t2.smt2no0.0537289
Integer_Transition_Systems/From_T2/p-21.t2.smt2unknown0.126821
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2unknown0.102036
Integer_Transition_Systems/From_T2/p-22.t2.smt2unknown0.0432099
Integer_Transition_Systems/From_T2/p-3.t2.smt2unknown0.0703739
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2unknown0.546628
Integer_Transition_Systems/From_T2/p-32.t2.smt2no0.119477
Integer_Transition_Systems/From_T2/p-33.t2.smt2no0.50489
Integer_Transition_Systems/From_T2/p-34.t2.smt2no0.216478
Integer_Transition_Systems/From_T2/p-36.t2.smt2no0.1171
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2no0.104188
Integer_Transition_Systems/From_T2/p-37.t2.smt2unknown0.0580569
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2unknown0.105248
Integer_Transition_Systems/From_T2/p-38.t2.smt2unknown0.0289701
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2unknown0.0322751
Integer_Transition_Systems/From_T2/p-4.t2.smt2unknown0.118086
Integer_Transition_Systems/From_T2/p-40.t2.smt2unknown0.06316
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2unknown0.044277
Integer_Transition_Systems/From_T2/p-41.t2.smt2unknown0.028437
Integer_Transition_Systems/From_T2/p-42.t2.smt2unknown0.0853959
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2unknown2.31805
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2unknown2.10928
Integer_Transition_Systems/From_T2/p-43.t2.smt2unknown0.111557
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2unknown0.161285
Integer_Transition_Systems/From_T2/p-44.t2.smt2unknown0.0471239
Integer_Transition_Systems/From_T2/p-45.t2.smt2unknown0.0543039
Integer_Transition_Systems/From_T2/p-46.t2.smt2no0.13234
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2no0.459016
Integer_Transition_Systems/From_T2/p-49.t2.smt2unknown0.035944
Integer_Transition_Systems/From_T2/p-5.t2.smt2no0.29714
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2no0.305565
Integer_Transition_Systems/From_T2/p-50.t2.smt2unknown0.0127049
Integer_Transition_Systems/From_T2/p-52.t2.smt2no0.086272
Integer_Transition_Systems/From_T2/p-53.t2.smt2unknown0.0310509
Integer_Transition_Systems/From_T2/p-55.t2.smt2unknown0.398197
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2unknown0.151031
Integer_Transition_Systems/From_T2/p-56.t2.smt2unknown0.0526039
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2unknown0.094767
Integer_Transition_Systems/From_T2/p-58.t2.smt2unknown0.0138069
Integer_Transition_Systems/From_T2/p-6.t2.smt2unknown0.145382
Integer_Transition_Systems/From_T2/p-60.t2.smt2unknown0.0569211
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2unknown0.052288
Integer_Transition_Systems/From_T2/p-61.t2.smt2unknown0.05109
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2unknown0.0447671
Integer_Transition_Systems/From_T2/p-62.t2.smt2unknown0.01538
Integer_Transition_Systems/From_T2/p-63.t2.smt2unknown0.168499
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2unknown0.171546
Integer_Transition_Systems/From_T2/p-7.t2.smt2unknown0.0655239
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2unknown0.067697
Integer_Transition_Systems/From_T2/p-7b.t2.smt2unknown0.0501291
Integer_Transition_Systems/From_T2/p-8.t2.smt2no0.044809
Integer_Transition_Systems/From_T2/p.t2.smt2unknown4.2616
Integer_Transition_Systems/From_T2/p_armc.t2.smt2no0.791323
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2unknown0.127045
Integer_Transition_Systems/From_T2/peculiar.t2.smt2no0.382092
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2no0.392383
Integer_Transition_Systems/From_T2/pentagon.t2.smt2unknown0.322148
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2no0.210281
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2no0.212935
Integer_Transition_Systems/From_T2/pgarch.t2.smt2no127.291
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2no134.121
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2no4.2463
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2no3.81428
Integer_Transition_Systems/From_T2/polling.t2.smt2no3.69549
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2no3.31482
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2unknown0.164076
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2unknown0.04806
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2unknown1.8548
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2unknown0.925943
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2unknown0.121819
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2unknown1.04332
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2no0.101544
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2no0.315961
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2no0.304205
Integer_Transition_Systems/From_T2/ppblock.t2.smt2no0.196606
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2no0.3243
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2no0.132868
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2no0.178531
Integer_Transition_Systems/From_T2/prime.t2.smt2no0.557697
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2no0.526186
Integer_Transition_Systems/From_T2/print.t2.smt2unknown4.4981
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2unknown3.58156
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2unknown1.61729
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2unknown1.2354
Integer_Transition_Systems/From_T2/queens.t2.smt2unknown1.19822
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2unknown1.01232
Integer_Transition_Systems/From_T2/queue_1.t2.smt2unknown0.236838
Integer_Transition_Systems/From_T2/queue_10.t2.smt2unknown0.272016
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2unknown0.239764
Integer_Transition_Systems/From_T2/queue_100.t2.smt2unknown0.271329
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2unknown0.250997
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2unknown0.271614
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2unknown0.248043
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2unknown2.088
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2unknown2.34131
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2no0.171431
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2no0.231067
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2no0.379199
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2no0.585216
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2no0.484948
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2no0.495344
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2unknown0.0184519
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2unknown0.0280249
Integer_Transition_Systems/From_T2/reverse.t2.smt2unknown7.39608
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2unknown4.61637
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2no1.35038
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2no1.33278
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2unknown2.25506
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2unknown1.99243
Integer_Transition_Systems/From_T2/rewrite.t2.smt2no0.0322219
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2no1.59515
Integer_Transition_Systems/From_T2/rlft3.t2.smt2no1.56501
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2no0.541892
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2unknown2.79583
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2unknown2.04529
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2no26.1856
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2no57.6064
Integer_Transition_Systems/From_T2/s1.t2.smt2no25.623
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2no56.0454
Integer_Transition_Systems/From_T2/s2.t2.smt2unknown0.0481171
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2unknown0.044077
Integer_Transition_Systems/From_T2/s3-work.t2.smt2unknown83.1593
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2unknown21.1607
Integer_Transition_Systems/From_T2/s3.t2.smt2unknown273.702
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2unknown270.918
Integer_Transition_Systems/From_T2/s4.t2.smt2unknown300.113
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2unknown300.086
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2unknown0.900029
Integer_Transition_Systems/From_T2/sas2.t2.smt2unknown12.7677
Integer_Transition_Systems/From_T2/select.t2.smt2no1.60768
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2no1.5627
Integer_Transition_Systems/From_T2/selectSort.t2.smt2unknown0.240663
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2unknown0.234289
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2unknown0.308538
Integer_Transition_Systems/From_T2/seq.t2.smt2unknown0.0346899
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2unknown0.0136171
Integer_Transition_Systems/From_T2/simple.t2.smt2no0.0658289
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2unknown0.0928501
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2unknown0.035036
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2unknown0.0447431
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2unknown0.0444739
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2unknown0.0185389
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2unknown0.026344
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2unknown0.0124041
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2unknown0.013597
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2unknown0.0201321
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2unknown0.0128511
Integer_Transition_Systems/From_T2/simple_test.t2.smt2unknown0.122663
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2no0.033552
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2unknown0.420804
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2unknown0.629659
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2unknown0.044246
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2unknown0.039763
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2no9.96381
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2unknown260.667
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2no83.9125
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2unknown260.977
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2no90.205
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2unknown257.983
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2no2.74597
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2no0.216299
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2no0.670088
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2no0.707028
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2no0.0432771
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2no0.0375921
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2unknown0.142876
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2unknown0.134413
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2no2.72155
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2no0.111088
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2no0.113329
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2no0.119244
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2no0.116741
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2no0.121053
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2no0.117389
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2no0.108963
Integer_Transition_Systems/From_T2/small01.t2.smt2no0.061707
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2unknown0.057663
Integer_Transition_Systems/From_T2/small02.t2.smt2no0.0433939
Integer_Transition_Systems/From_T2/small03.t2.smt2no0.029795
Integer_Transition_Systems/From_T2/small04.t2.smt2no0.031453
Integer_Transition_Systems/From_T2/small05.t2.smt2no0.0340289
Integer_Transition_Systems/From_T2/small06.t2.smt2unknown0.117877
Integer_Transition_Systems/From_T2/small07.t2.smt2unknown0.320697
Integer_Transition_Systems/From_T2/small08.t2.smt2unknown0.335487
Integer_Transition_Systems/From_T2/small09.t2.smt2unknown0.338292
Integer_Transition_Systems/From_T2/small10.t2.smt2no2.31942
Integer_Transition_Systems/From_T2/small11.t2.smt2no0.0507521
Integer_Transition_Systems/From_T2/small12.t2.smt2unknown0.0541499
Integer_Transition_Systems/From_T2/small13.t2.smt2unknown0.094435
Integer_Transition_Systems/From_T2/small14.t2.smt2no1.05897
Integer_Transition_Systems/From_T2/small15.t2.smt2no0.169972
Integer_Transition_Systems/From_T2/small16.t2.smt2no0.162819
Integer_Transition_Systems/From_T2/small17.t2.smt2no0.145853
Integer_Transition_Systems/From_T2/small18.t2.smt2no0.151239
Integer_Transition_Systems/From_T2/small19.t2.smt2unknown0.0958381
Integer_Transition_Systems/From_T2/small20.t2.smt2unknown0.058134
Integer_Transition_Systems/From_T2/small21.t2.smt2unknown0.0548429
Integer_Transition_Systems/From_T2/small22.t2.smt2no0.199661
Integer_Transition_Systems/From_T2/small23.t2.smt2no0.0904131
Integer_Transition_Systems/From_T2/small24.t2.smt2no0.030194
Integer_Transition_Systems/From_T2/small26.t2.smt2unknown0.041838
Integer_Transition_Systems/From_T2/small27.t2.smt2unknown0.01496
Integer_Transition_Systems/From_T2/small28.t2.smt2unknown0.0336151
Integer_Transition_Systems/From_T2/small29.t2.smt2no0.0395771
Integer_Transition_Systems/From_T2/small31.t2.smt2unknown0.0183639
Integer_Transition_Systems/From_T2/small32.t2.smt2unknown0.0346701
Integer_Transition_Systems/From_T2/small33.t2.smt2unknown0.012744
Integer_Transition_Systems/From_T2/small34.t2.smt2unknown0.0384681
Integer_Transition_Systems/From_T2/small35.t2.smt2no0.032148
Integer_Transition_Systems/From_T2/sort.t2.smt2unknown0.855438
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2unknown0.838446
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2unknown4.67946
Integer_Transition_Systems/From_T2/spctrm.t2.smt2unknown4.82414
Integer_Transition_Systems/From_T2/spiral.t2.smt2unknown0.234647
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2unknown0.336959
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2no0.551802
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2no1.46953
Integer_Transition_Systems/From_T2/st88.t2.smt2no0.788959
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2no0.210795
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2no0.215318
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2no0.173404
Integer_Transition_Systems/From_T2/statemate.t2.smt2unknown258.285
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2unknown258.507
Integer_Transition_Systems/From_T2/stored.t2.smt2no0.122052
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2no2.85738
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2no2.86978
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2no3.56179
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2no3.49563
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2no0.0358039
Integer_Transition_Systems/From_T2/sudoku.t2.smt2unknown4.36729
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2unknown23.0696
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2unknown30.8879
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2unknown22.405
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2unknown21.7652
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2no0.060075
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2unknown0.647961
Integer_Transition_Systems/From_T2/toeplz.t2.smt2unknown0.65187
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2unknown1.7385
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2unknown1.69289
Integer_Transition_Systems/From_T2/tqli.t2.smt2unknown1.77225
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2unknown1.6425
Integer_Transition_Systems/From_T2/traverse.t2.smt2unknown2.87421
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2unknown2.10178
Integer_Transition_Systems/From_T2/traverse2.t2.smt2unknown4.66506
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2unknown3.69575
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2unknown3.82269
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2unknown3.0191
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2unknown3.14234
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2unknown2.63993
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2unknown6.27106
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2unknown3.58296
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2unknown0.194612
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2unknown0.161843
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2unknown0.897345
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2unknown0.219019
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2unknown0.240283
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2unknown0.23342
Integer_Transition_Systems/From_T2/ud.t2.smt2unknown0.995336
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2unknown0.893431
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2unknown0.010856
Integer_Transition_Systems/From_T2/w1.t2.smt2no0.041929
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2no0.334946
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2no0.526765
Integer_Transition_Systems/From_T2/walk.t2.smt2no0.434298
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2no0.416379
Integer_Transition_Systems/From_T2/weakness.t2.smt2unknown0.218799
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2unknown0.139283
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2unknown1.50564
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2no0.318158
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2no0.2056
Integer_Transition_Systems/From_T2/wtf.t2.smt2unknown13.1249
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2unknown11.7692
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2unknown12.5783
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2no4.41138
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2unknown0.905538
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2no1.93
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2unknown0.868526
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2no0.419745
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2unknown0.151038