VeryMax
nameresulttime
C_Integer/Stroeder_15/2Nested_true-termination.cyes0.099466
C_Integer/Stroeder_15/4NestedWith3Variables_true-termination.cmaybe40.6008
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.cyes0.183608
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.cyes0.048768
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.cyes0.37603
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.cyes1.61414
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.cyes0.225414
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.cyes0.18024
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.cyes0.0366471
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.cyes0.0293319
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.cyes0.168698
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.cyes0.0262529
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.cyes0.257382
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.cyes0.035105
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.cyes0.065784
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.cyes0.070768
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.cyes0.272118
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.cyes0.0612311
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.cyes0.040084
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.cyes0.0651741
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.cyes0.029893
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.cyes0.065691
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.cyes0.037533
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.cyes0.0693991
C_Integer/Stroeder_15/AlternDiv.cno9.48257
C_Integer/Stroeder_15/AlternDivWide.cno11.9245
C_Integer/Stroeder_15/AlternDivWidening.cno21.3494
C_Integer/Stroeder_15/AlternKonv.cmaybe8.02163
C_Integer/Stroeder_15/Avery-FLOPS2006-Table1_true-termination.cyes0.035636
C_Integer/Stroeder_15/Bangalore_true-termination.cyes0.04493
C_Integer/Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.cyes0.0847349
C_Integer/Stroeder_15/Benghazi_true-termination.cyes0.0652031
C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.cno4.65766
C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.cyes0.086477
C_Integer/Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.cyes3.35337
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.cyes0.0365859
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.cyes0.07046
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.cyes0.042819
C_Integer/Stroeder_15/Cairo_true-termination.cyes0.0311329
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.cmaybe21.2106
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.cyes0.0684249
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.cyes0.567555
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.cyes0.0459701
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.cyes0.036088
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.cyes0.0645909
C_Integer/Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.cno4.24234
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.cmaybe9.35246
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.cyes0.0291469
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.cyes0.0293281
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.cyes0.0274411
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.cyes0.027901
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.cyes0.178022
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.cno21.0
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.cno5.47267
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.cno5.41117
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.cmaybe16.1013
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.cyes0.462394
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.cyes0.114942
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.cyes1.16151
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.cyes0.0290721
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.cmaybe37.3582
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.cno12.1691
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.cyes0.231941
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.cmaybe10.2829
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.cno4.288
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.cyes0.403273
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.cno8.95046
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.cyes0.168104
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.cyes0.118904
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.cyes0.0306971
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.cyes1.28968
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.cyes0.273726
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.cyes0.116287
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.cno7.08479
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.cyes8.01204
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.cyes0.181766
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.cyes0.230699
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.cno34.148
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.cyes1.42744
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.cyes0.527292
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.cyes0.14675
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.cyes0.029091
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.cyes2.80996
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.cyes1.58493
C_Integer/Stroeder_15/Choose.cno13.732
C_Integer/Stroeder_15/ChooseLife.cno4.93076
C_Integer/Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.cyes0.0309501
C_Integer/Stroeder_15/ComplInterv.cmaybe8.37861
C_Integer/Stroeder_15/ComplInterv2.cno4.24296
C_Integer/Stroeder_15/ComplInterv3.cno8.80009
C_Integer/Stroeder_15/ComplxStruc.cno27.368
C_Integer/Stroeder_15/ConvLower.cno0.120027
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.cyes0.0340791
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.cyes0.0386799
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.cyes0.0490769
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.cyes0.056806
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.cyes0.0486849
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.cyes0.082376
C_Integer/Stroeder_15/Copenhagen_true-termination.cyes0.028109
C_Integer/Stroeder_15/Cousot.cno25.0667
C_Integer/Stroeder_15/DivMinus.cyes0.028831
C_Integer/Stroeder_15/DivMinus2.cyes0.059644
C_Integer/Stroeder_15/DivWithoutMinus.cno31.5793
C_Integer/Stroeder_15/DoubleNeg.cmaybe25.3727
C_Integer/Stroeder_15/Et1.cyes0.234749
C_Integer/Stroeder_15/Et2.cno4.24318
C_Integer/Stroeder_15/Et4.cno6.11801
C_Integer/Stroeder_15/Even.cno8.50443
C_Integer/Stroeder_15/Ex01.cno8.37392
C_Integer/Stroeder_15/Ex02.cno0.13141
C_Integer/Stroeder_15/Ex03.cno0.133056
C_Integer/Stroeder_15/Ex04.cno8.31379
C_Integer/Stroeder_15/Ex05.cno0.0341899
C_Integer/Stroeder_15/Ex06.cno0.15566
C_Integer/Stroeder_15/Ex07.cno0.0744009
C_Integer/Stroeder_15/Ex08.cno5.84231
C_Integer/Stroeder_15/Factorial.cmaybe25.1821
C_Integer/Stroeder_15/Fibonacci.cno26.613
C_Integer/Stroeder_15/Flip.cno12.7019
C_Integer/Stroeder_15/Flip2.cno14.2266
C_Integer/Stroeder_15/GCD.cno22.3625
C_Integer/Stroeder_15/GCD2.cno6.8278
C_Integer/Stroeder_15/GCD3.cyes0.0700861
C_Integer/Stroeder_15/GCD4.cyes0.0543861
C_Integer/Stroeder_15/Gauss.cno20.9838
C_Integer/Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.cyes0.0824731
C_Integer/Stroeder_15/Gothenburg_true-termination.cyes0.126164
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.cyes0.0372019
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.cyes0.0336659
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.cyes0.0276169
C_Integer/Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.cmaybe60.0521
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.cyes0.0419539
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.cyes0.027654
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.cyes0.0282229
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.cyes0.048782
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.cyes0.103657
C_Integer/Stroeder_15/IntPath.cyes0.0281141
C_Integer/Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.cyes0.0295821
C_Integer/Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.cyes2.65127
C_Integer/Stroeder_15/Lcm.cno8.6216
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.cyes0.0325399
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.cyes1.2825
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.cyes0.0328631
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.cyes0.036318
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.cyes0.18112
C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.cno9.92561
C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.cno17.1084
C_Integer/Stroeder_15/Lobnya-Boolean-Reordered_true-termination.cyes0.0748599
C_Integer/Stroeder_15/Log.cyes0.0287139
C_Integer/Stroeder_15/LogAG.cyes0.034549
C_Integer/Stroeder_15/LogMult.cmaybe23.0416
C_Integer/Stroeder_15/Loop.cno0.0627981
C_Integer/Stroeder_15/Madrid_false-termination.cno0.036028
C_Integer/Stroeder_15/Marbie1.cno8.37782
C_Integer/Stroeder_15/Marbie2.cno8.33012
C_Integer/Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.cyes0.0324929
C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.cyes0.0334409
C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.cmaybe14.2714
C_Integer/Stroeder_15/McCarthyIterative.cyes0.211175
C_Integer/Stroeder_15/MenloPark_true-termination.cyes0.0730161
C_Integer/Stroeder_15/Middle.cno26.0878
C_Integer/Stroeder_15/MinusBuiltIn.cyes0.0286049
C_Integer/Stroeder_15/MinusMin.cyes0.0389389
C_Integer/Stroeder_15/MinusUserDefined.cyes0.040841
C_Integer/Stroeder_15/MirrorInterv.cmaybe60.0755
C_Integer/Stroeder_15/MirrorIntervSim.cno7.09391
C_Integer/Stroeder_15/Mysore_true-termination.cyes0.0646089
C_Integer/Stroeder_15/NO_00.cno0.0618399
C_Integer/Stroeder_15/NO_01.cno0.0650241
C_Integer/Stroeder_15/NO_02.cno0.066561
C_Integer/Stroeder_15/NO_03.cno0.238642
C_Integer/Stroeder_15/NO_04.cno13.8255
C_Integer/Stroeder_15/NO_10.cno30.095
C_Integer/Stroeder_15/NO_12.cno29.1354
C_Integer/Stroeder_15/NO_13.cno11.9197
C_Integer/Stroeder_15/NO_21.cno0.062292
C_Integer/Stroeder_15/NO_22.cno4.23396
C_Integer/Stroeder_15/NO_23.cno16.7166
C_Integer/Stroeder_15/NO_24.cno1.09333
C_Integer/Stroeder_15/NarrowKonv.cno0.690984
C_Integer/Stroeder_15/Narrowing.cno28.2681
C_Integer/Stroeder_15/Nested.cyes0.0571679
C_Integer/Stroeder_15/NonTermination1_false-termination.cno8.60567
C_Integer/Stroeder_15/NonTermination2_false-termination.cno28.0312
C_Integer/Stroeder_15/NonTermination4_false-termination.cno28.1452
C_Integer/Stroeder_15/NonTerminationSimple2_false-termination.cno8.36836
C_Integer/Stroeder_15/NonTerminationSimple3_false-termination.cno4.33968
C_Integer/Stroeder_15/NonTerminationSimple4_false-termination.cno24.92
C_Integer/Stroeder_15/NonTerminationSimple5_false-termination.cno4.32942
C_Integer/Stroeder_15/NonTerminationSimple6_false-termination.cno8.37033
C_Integer/Stroeder_15/NonTerminationSimple7_false-termination.cno4.28983
C_Integer/Stroeder_15/NonTerminationSimple8_false-termination.cno9.28785
C_Integer/Stroeder_15/NonTerminationSimple9_false-termination.cno4.26699
C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.cyes0.0384801
C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.cyes0.0373729
C_Integer/Stroeder_15/Nyala-2lex_true-termination.cyes0.032244
C_Integer/Stroeder_15/Overflow.cyes0.027159
C_Integer/Stroeder_15/Parallel_true-termination.cyes0.032417
C_Integer/Stroeder_15/PastaA1.cyes0.0337351
C_Integer/Stroeder_15/PastaA10.cyes0.062407
C_Integer/Stroeder_15/PastaA4.cyes0.0271531
C_Integer/Stroeder_15/PastaA5.cyes0.0277349
C_Integer/Stroeder_15/PastaA6.cyes0.0283999
C_Integer/Stroeder_15/PastaA7.cyes0.0308431
C_Integer/Stroeder_15/PastaA8.cyes0.0274689
C_Integer/Stroeder_15/PastaA9.cyes0.0474209
C_Integer/Stroeder_15/PastaB1.cyes0.0273749
C_Integer/Stroeder_15/PastaB11.cyes0.038207
C_Integer/Stroeder_15/PastaB14.cyes0.0322641
C_Integer/Stroeder_15/PastaB15.cyes0.0342149
C_Integer/Stroeder_15/PastaB16.cyes0.0322121
C_Integer/Stroeder_15/PastaB17.cyes0.0390121
C_Integer/Stroeder_15/PastaB2.cyes0.0272859
C_Integer/Stroeder_15/PastaB3.cyes0.0442481
C_Integer/Stroeder_15/PastaB4.cyes0.028017
C_Integer/Stroeder_15/PastaB6.cyes0.0280029
C_Integer/Stroeder_15/PastaB7.cyes0.0306289
C_Integer/Stroeder_15/PastaC1.cyes0.0655481
C_Integer/Stroeder_15/PastaC10.cno4.25652
C_Integer/Stroeder_15/PastaC2.cyes0.041166
C_Integer/Stroeder_15/PastaC3.cyes0.034777
C_Integer/Stroeder_15/PastaC7.cyes0.0294461
C_Integer/Stroeder_15/PastaC9.cyes0.0351481
C_Integer/Stroeder_15/Piecewise_true-termination.cyes0.0464699
C_Integer/Stroeder_15/PlusSwap.cyes4.25277
C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.cyes0.0646211
C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.cyes7.95403
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.cyes0.025898
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.cyes0.0334839
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.cyes0.0343599
C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.cyes0.0425539
C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.cmaybe9.33237
C_Integer/Stroeder_15/Pure2Phase_true-termination.cyes0.0343709
C_Integer/Stroeder_15/Pure3Phase_true-termination.cyes9.00991
C_Integer/Stroeder_15/Rotation180_false-termination.cno4.15527
C_Integer/Stroeder_15/Sequence.cyes0.030061
C_Integer/Stroeder_15/Stockholm_true-termination.cyes0.051514
C_Integer/Stroeder_15/Sunset.cno24.851
C_Integer/Stroeder_15/Swingers.cno4.83317
C_Integer/Stroeder_15/TelAviv-Amir-Minimum_true-termination.cyes0.0667531
C_Integer/Stroeder_15/Thun_true-termination.cyes1.26851
C_Integer/Stroeder_15/Toulouse-BranchesToLoop_true-termination.cyes0.096194
C_Integer/Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.cyes0.122574
C_Integer/Stroeder_15/TrueDiv.cno8.39056
C_Integer/Stroeder_15/TwoFloatInterv.cno2.67065
C_Integer/Stroeder_15/UpAndDown.cno5.75488
C_Integer/Stroeder_15/UpAndDownIneq.cno5.88968
C_Integer/Stroeder_15/Urban-WST2013-Fig1_false-termination.cno4.1798
C_Integer/Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.cyes4.17372
C_Integer/Stroeder_15/Urban-WST2013-Fig2_true-termination.cyes4.14498
C_Integer/Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.cyes0.0989799
C_Integer/Stroeder_15/Velroyen_false-termination.cno10.0675
C_Integer/Stroeder_15/Waldkirch_true-termination.cyes0.0259411
C_Integer/Stroeder_15/WhileDecr.cyes0.0260359
C_Integer/Stroeder_15/WhileFalse_true-termination.cyes0.0213119
C_Integer/Stroeder_15/WhileIncr.cno8.36492
C_Integer/Stroeder_15/WhileIncrPart.cno8.44316
C_Integer/Stroeder_15/WhileNested.cno13.509
C_Integer/Stroeder_15/WhileNestedOffset.cno13.494
C_Integer/Stroeder_15/WhilePart.cno4.19688
C_Integer/Stroeder_15/WhileSingle.cno0.129319
C_Integer/Stroeder_15/WhileTrue.cno8.31249
C_Integer/Stroeder_15/WhileTrue_false-termination.cno0.033368
C_Integer/Stroeder_15/aaron2_true-termination.cyes0.03394
C_Integer/Stroeder_15/aaron3_true-termination.cyes0.921488
C_Integer/Stroeder_15/collatz.cmaybe17.693
C_Integer/Stroeder_15/easy1_true-termination.cyes0.040837
C_Integer/Stroeder_15/easy2_true-termination.cyes0.0275259
C_Integer/Stroeder_15/gcd1_true-termination.cyes0.0577289
C_Integer/Stroeder_15/genady_true-termination.cyes0.0271019
C_Integer/Stroeder_15/min_rf_true-termination.cyes0.0895749
C_Integer/Stroeder_15/svcomp_a.01.cyes0.036297
C_Integer/Stroeder_15/svcomp_a.04.cyes0.0280169
C_Integer/Stroeder_15/svcomp_a.05.cyes0.0281419
C_Integer/Stroeder_15/svcomp_a.06.cyes0.179071
C_Integer/Stroeder_15/svcomp_a.07.cyes0.03031
C_Integer/Stroeder_15/svcomp_a.08.cyes0.029341
C_Integer/Stroeder_15/svcomp_a.09_assume.cyes0.028677
C_Integer/Stroeder_15/svcomp_a.10.cyes0.0749001
C_Integer/Stroeder_15/svcomp_b.01.cyes0.0280051
C_Integer/Stroeder_15/svcomp_b.02.cyes0.0278831
C_Integer/Stroeder_15/svcomp_b.03-no-inv_assume.cyes0.04502
C_Integer/Stroeder_15/svcomp_b.03_assume.cyes0.0288981
C_Integer/Stroeder_15/svcomp_b.04.cyes0.027069
C_Integer/Stroeder_15/svcomp_b.05.cyes0.0287789
C_Integer/Stroeder_15/svcomp_b.06.cyes0.029002
C_Integer/Stroeder_15/svcomp_b.07.cyes0.030222
C_Integer/Stroeder_15/svcomp_b.09-no-inv_assume.cyes0.0652759
C_Integer/Stroeder_15/svcomp_b.09_assume.cyes0.035324
C_Integer/Stroeder_15/svcomp_b.10.cyes0.034369
C_Integer/Stroeder_15/svcomp_b.11.cyes0.039891
C_Integer/Stroeder_15/svcomp_b.12.cyes0.035143
C_Integer/Stroeder_15/svcomp_b.13.cyes0.0389169
C_Integer/Stroeder_15/svcomp_b.14.cyes0.0342119
C_Integer/Stroeder_15/svcomp_b.15.cyes0.0359351
C_Integer/Stroeder_15/svcomp_b.16.cyes0.0364969
C_Integer/Stroeder_15/svcomp_b.17.cyes0.039672
C_Integer/Stroeder_15/svcomp_b.18.cyes0.036419
C_Integer/Stroeder_15/svcomp_c.01-no-inv.cyes0.0786049
C_Integer/Stroeder_15/svcomp_c.01_assume.cyes0.0484321
C_Integer/Stroeder_15/svcomp_c.02.cyes0.036178
C_Integer/Stroeder_15/svcomp_c.03.cyes0.038348
C_Integer/Stroeder_15/svcomp_c.07.cyes0.0311219
C_Integer/Stroeder_15/svcomp_c.08.cyes0.035791
C_Integer/Stroeder_15/svcomp_easySum.cyes0.028078
C_Integer/Stroeder_15/svcomp_ex1.cyes0.0257439
C_Integer/Stroeder_15/svcomp_ex2.cmaybe60.0815
C_Integer/Stroeder_15/svcomp_ex3a.cmaybe15.5143
C_Integer/Stroeder_15/svcomp_ex3b.cmaybe25.8792
C_Integer/Stroeder_15/svcomp_fermat.cyes4.16841
C_Integer/Stroeder_15/svcomp_flag.cyes0.056381
C_Integer/Stroeder_15/svcomp_java_AG313.cyes0.0316561
C_Integer/Stroeder_15/svcomp_java_Break.cyes0.0266211
C_Integer/Stroeder_15/svcomp_java_Continue1.cyes0.0432319
C_Integer/Stroeder_15/svcomp_java_Nested.cyes0.537348
C_Integer/Stroeder_15/svcomp_java_Sequence.cyes0.0689449
C_Integer/Ton_Chanh_15/2Nested_false-termination.cno20.9523
C_Integer/Ton_Chanh_15/Bangalore_false-termination.cno4.24044
C_Integer/Ton_Chanh_15/Bangalore_v2_false-termination.cno4.30233
C_Integer/Ton_Chanh_15/Bangalore_v3_false-termination.cno4.2837
C_Integer/Ton_Chanh_15/Bangalore_v4_true-termination.cyes0.0454911
C_Integer/Ton_Chanh_15/Benghazi_nondet_true-termination.cyes2.62337
C_Integer/Ton_Chanh_15/Cairo_nondet_false-termination.cno8.39375
C_Integer/Ton_Chanh_15/Cairo_step2_false-termination.cmaybe19.487
C_Integer/Ton_Chanh_15/Copenhagen_disj_true-termination.cmaybe35.972
C_Integer/Ton_Chanh_15/Gothenburg_v2_true-termination.cyes0.167938
C_Integer/Ton_Chanh_15/Hanoi_2vars_false-termination.cno21.023
C_Integer/Ton_Chanh_15/Hanoi_3vars_false-termination.cno31.8422
C_Integer/Ton_Chanh_15/Hanoi_plus_false-termination.cno31.6242
C_Integer/Ton_Chanh_15/McCarthy91_Iteration_true-termination.cyes0.225613
C_Integer/Ton_Chanh_15/Mysore_false-termination.cno21.0319
C_Integer/Ton_Chanh_15/Singapore_plus_false-termination.cno21.0435
C_Integer/Ton_Chanh_15/Singapore_true-termination.cyes0.149781
C_Integer/Ton_Chanh_15/Singapore_v1_false-termination.cno21.0544
C_Integer/Ton_Chanh_15/Singapore_v2_false-termination.cno21.2791