AProVE
nameresulttime
C_Integer/Stroeder_15/2Nested_true-termination.cyes2.61915
C_Integer/Stroeder_15/4NestedWith3Variables_true-termination.cyes7.2931
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.cyes7.80615
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.cyes2.50555
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.cyes4.46337
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.cyes3.39729
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.cyes6.83409
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.cyes3.28151
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.cyes2.48292
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.cyes2.83502
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.cyes3.63019
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.cyes1.97459
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.cyes3.47741
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.cyes2.62027
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.cyes3.80209
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.cyes5.29631
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.cyes3.63438
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.cyes3.20899
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.cyes6.69595
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.cyes8.24211
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.cyes2.25374
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.cyes3.05104
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.cyes2.82272
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.cyes5.39815
C_Integer/Stroeder_15/AlternDiv.cno4.2602
C_Integer/Stroeder_15/AlternDivWide.cno8.66303
C_Integer/Stroeder_15/AlternDivWidening.cno8.46064
C_Integer/Stroeder_15/AlternKonv.cno6.22494
C_Integer/Stroeder_15/Avery-FLOPS2006-Table1_true-termination.cyes2.57155
C_Integer/Stroeder_15/Bangalore_true-termination.cyes3.45872
C_Integer/Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.cyes4.2864
C_Integer/Stroeder_15/Benghazi_true-termination.cyes3.57458
C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.cno3.51009
C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.cyes3.61066
C_Integer/Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.cyes4.87465
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.cyes2.18744
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.cyes15.933
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.cyes3.32901
C_Integer/Stroeder_15/Cairo_true-termination.cyes3.14458
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.cyes11.0735
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.cyes3.81628
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.cyes28.1318
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.cyes3.40125
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.cyes2.50275
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.cyes3.84297
C_Integer/Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.cno3.05917
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.cyes2.12091
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.cyes2.01367
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.cyes2.46009
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.cyes2.03702
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.cyes2.00089
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.cyes2.87613
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.cno8.29292
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.cno3.06811
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.cno3.22515
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.cmaybe60.0871
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.cyes2.73093
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.cyes2.9592
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.cyes3.08652
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.cyes2.06875
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.cmaybe60.0529
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.cno3.38145
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.cyes2.06059
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.cno3.60657
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.cno3.35959
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.cyes2.59277
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.cno3.75871
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.cyes6.17464
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.cyes2.67887
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.cyes1.91014
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.cyes6.77087
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.cyes2.52163
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.cyes2.47198
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.cno3.60376
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.cyes3.72308
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.cyes2.93011
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.cyes2.82092
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.cno10.096
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.cyes2.47106
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.cyes2.31045
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.cyes2.19825
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.cyes1.98507
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.cyes2.93512
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.cyes2.41757
C_Integer/Stroeder_15/Choose.cno4.25716
C_Integer/Stroeder_15/ChooseLife.cno3.68482
C_Integer/Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.cyes2.24152
C_Integer/Stroeder_15/ComplInterv.cmaybe5.80018
C_Integer/Stroeder_15/ComplInterv2.cno3.71818
C_Integer/Stroeder_15/ComplInterv3.cno3.25149
C_Integer/Stroeder_15/ComplxStruc.cmaybe8.30346
C_Integer/Stroeder_15/ConvLower.cno2.8678
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.cyes2.59088
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.cyes2.79357
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.cyes4.68762
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.cyes4.88042
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.cyes3.81623
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.cyes6.56976
C_Integer/Stroeder_15/Copenhagen_true-termination.cyes1.96687
C_Integer/Stroeder_15/Cousot.cno3.26385
C_Integer/Stroeder_15/DivMinus.cyes2.1169
C_Integer/Stroeder_15/DivMinus2.cyes3.54072
C_Integer/Stroeder_15/DivWithoutMinus.cno11.113
C_Integer/Stroeder_15/DoubleNeg.cmaybe17.4146
C_Integer/Stroeder_15/Et1.cyes2.84418
C_Integer/Stroeder_15/Et2.cno6.23164
C_Integer/Stroeder_15/Et4.cno5.95742
C_Integer/Stroeder_15/Even.cno3.19254
C_Integer/Stroeder_15/Ex01.cno6.09987
C_Integer/Stroeder_15/Ex02.cno3.46049
C_Integer/Stroeder_15/Ex03.cno3.10273
C_Integer/Stroeder_15/Ex04.cno2.48097
C_Integer/Stroeder_15/Ex05.cno2.19102
C_Integer/Stroeder_15/Ex06.cno3.46442
C_Integer/Stroeder_15/Ex07.cno3.20743
C_Integer/Stroeder_15/Ex08.cno16.0223
C_Integer/Stroeder_15/Factorial.cmaybe60.0999
C_Integer/Stroeder_15/Fibonacci.cno3.49114
C_Integer/Stroeder_15/Flip.cno3.30523
C_Integer/Stroeder_15/Flip2.cno7.82794
C_Integer/Stroeder_15/GCD.cno3.7309
C_Integer/Stroeder_15/GCD2.cno3.64862
C_Integer/Stroeder_15/GCD3.cyes8.67557
C_Integer/Stroeder_15/GCD4.cyes2.74129
C_Integer/Stroeder_15/Gauss.cno3.40452
C_Integer/Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.cyes2.47934
C_Integer/Stroeder_15/Gothenburg_true-termination.cyes11.819
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.cyes2.26133
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.cyes2.28056
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.cyes1.9606
C_Integer/Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.cmaybe60.0674
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.cyes2.79277
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.cyes2.1266
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.cyes2.04684
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.cyes3.20272
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.cyes6.0856
C_Integer/Stroeder_15/IntPath.cyes2.32987
C_Integer/Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.cyes1.95778
C_Integer/Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.cyes8.46137
C_Integer/Stroeder_15/Lcm.cno3.85336
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.cyes2.25757
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.cyes2.29151
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.cyes2.55547
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.cyes3.10769
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.cyes3.47544
C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.cno4.30777
C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.cno3.06653
C_Integer/Stroeder_15/Lobnya-Boolean-Reordered_true-termination.cyes2.16584
C_Integer/Stroeder_15/Log.cyes2.48221
C_Integer/Stroeder_15/LogAG.cyes2.05179
C_Integer/Stroeder_15/LogMult.cmaybe60.1329
C_Integer/Stroeder_15/Loop.cno2.72535
C_Integer/Stroeder_15/Madrid_false-termination.cno2.2966
C_Integer/Stroeder_15/Marbie1.cno2.78607
C_Integer/Stroeder_15/Marbie2.cno2.94241
C_Integer/Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.cyes2.48254
C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.cyes2.15316
C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.cmaybe60.0972
C_Integer/Stroeder_15/McCarthyIterative.cyes2.45978
C_Integer/Stroeder_15/MenloPark_true-termination.cmaybe14.1404
C_Integer/Stroeder_15/Middle.cno3.20829
C_Integer/Stroeder_15/MinusBuiltIn.cyes2.81141
C_Integer/Stroeder_15/MinusMin.cyes2.27787
C_Integer/Stroeder_15/MinusUserDefined.cyes3.23098
C_Integer/Stroeder_15/MirrorInterv.cno5.947
C_Integer/Stroeder_15/MirrorIntervSim.cno3.9386
C_Integer/Stroeder_15/Mysore_true-termination.cyes3.27284
C_Integer/Stroeder_15/NO_00.cno2.23955
C_Integer/Stroeder_15/NO_01.cno2.56715
C_Integer/Stroeder_15/NO_02.cno2.53667
C_Integer/Stroeder_15/NO_03.cno2.86955
C_Integer/Stroeder_15/NO_04.cno5.78556
C_Integer/Stroeder_15/NO_10.cno3.19337
C_Integer/Stroeder_15/NO_12.cno3.6549
C_Integer/Stroeder_15/NO_13.cno3.33653
C_Integer/Stroeder_15/NO_21.cno3.7967
C_Integer/Stroeder_15/NO_22.cno3.76635
C_Integer/Stroeder_15/NO_23.cno2.37614
C_Integer/Stroeder_15/NO_24.cno3.27493
C_Integer/Stroeder_15/NarrowKonv.cmaybe60.0761
C_Integer/Stroeder_15/Narrowing.cmaybe17.0621
C_Integer/Stroeder_15/Nested.cyes2.51583
C_Integer/Stroeder_15/NonTermination1_false-termination.cno2.51942
C_Integer/Stroeder_15/NonTermination2_false-termination.cmaybe11.0169
C_Integer/Stroeder_15/NonTermination4_false-termination.cno6.9923
C_Integer/Stroeder_15/NonTerminationSimple2_false-termination.cno2.92446
C_Integer/Stroeder_15/NonTerminationSimple3_false-termination.cno3.84784
C_Integer/Stroeder_15/NonTerminationSimple4_false-termination.cno3.38514
C_Integer/Stroeder_15/NonTerminationSimple5_false-termination.cno3.1775
C_Integer/Stroeder_15/NonTerminationSimple6_false-termination.cno3.90855
C_Integer/Stroeder_15/NonTerminationSimple7_false-termination.cno2.49764
C_Integer/Stroeder_15/NonTerminationSimple8_false-termination.cno3.23026
C_Integer/Stroeder_15/NonTerminationSimple9_false-termination.cno3.22667
C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.cyes2.88864
C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.cyes2.95816
C_Integer/Stroeder_15/Nyala-2lex_true-termination.cyes2.45028
C_Integer/Stroeder_15/Overflow.cyes1.81229
C_Integer/Stroeder_15/Parallel_true-termination.cyes2.72364
C_Integer/Stroeder_15/PastaA1.cyes2.2806
C_Integer/Stroeder_15/PastaA10.cyes11.1478
C_Integer/Stroeder_15/PastaA4.cyes1.9312
C_Integer/Stroeder_15/PastaA5.cyes1.98803
C_Integer/Stroeder_15/PastaA6.cyes1.97993
C_Integer/Stroeder_15/PastaA7.cyes2.20972
C_Integer/Stroeder_15/PastaA8.cyes4.89171
C_Integer/Stroeder_15/PastaA9.cyes4.76341
C_Integer/Stroeder_15/PastaB1.cyes1.9584
C_Integer/Stroeder_15/PastaB11.cyes2.45393
C_Integer/Stroeder_15/PastaB14.cyes2.44082
C_Integer/Stroeder_15/PastaB15.cyes2.33074
C_Integer/Stroeder_15/PastaB16.cyes2.30903
C_Integer/Stroeder_15/PastaB17.cyes2.27742
C_Integer/Stroeder_15/PastaB2.cyes2.02065
C_Integer/Stroeder_15/PastaB3.cyes3.54728
C_Integer/Stroeder_15/PastaB4.cyes2.23701
C_Integer/Stroeder_15/PastaB6.cyes3.29395
C_Integer/Stroeder_15/PastaB7.cyes2.04295
C_Integer/Stroeder_15/PastaC1.cyes3.39603
C_Integer/Stroeder_15/PastaC10.cno5.32778
C_Integer/Stroeder_15/PastaC2.cyes2.39813
C_Integer/Stroeder_15/PastaC3.cyes2.17944
C_Integer/Stroeder_15/PastaC7.cyes3.03033
C_Integer/Stroeder_15/PastaC9.cyes2.8066
C_Integer/Stroeder_15/Piecewise_true-termination.cmaybe0.0
C_Integer/Stroeder_15/PlusSwap.cyes1.95746
C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.cyes6.52718
C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.cyes21.1685
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.cyes1.89581
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.cyes6.91683
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.cyes2.38675
C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.cyes2.5398
C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.cyes1.99783
C_Integer/Stroeder_15/Pure2Phase_true-termination.cyes6.71798
C_Integer/Stroeder_15/Pure3Phase_true-termination.cyes7.65329
C_Integer/Stroeder_15/Rotation180_false-termination.cno2.97371
C_Integer/Stroeder_15/Sequence.cyes2.39879
C_Integer/Stroeder_15/Stockholm_true-termination.cyes3.43344
C_Integer/Stroeder_15/Sunset.cno9.31248
C_Integer/Stroeder_15/Swingers.cno2.97053
C_Integer/Stroeder_15/TelAviv-Amir-Minimum_true-termination.cmaybe60.1088
C_Integer/Stroeder_15/Thun_true-termination.cyes2.77649
C_Integer/Stroeder_15/Toulouse-BranchesToLoop_true-termination.cyes6.22579
C_Integer/Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.cyes6.58455
C_Integer/Stroeder_15/TrueDiv.cno2.98551
C_Integer/Stroeder_15/TwoFloatInterv.cno3.4506
C_Integer/Stroeder_15/UpAndDown.cmaybe60.1498
C_Integer/Stroeder_15/UpAndDownIneq.cno27.1785
C_Integer/Stroeder_15/Urban-WST2013-Fig1_false-termination.cno2.91882
C_Integer/Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.cyes2.48653
C_Integer/Stroeder_15/Urban-WST2013-Fig2_true-termination.cyes2.32589
C_Integer/Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.cmaybe16.6654
C_Integer/Stroeder_15/Velroyen_false-termination.cno3.65594
C_Integer/Stroeder_15/Waldkirch_true-termination.cyes1.75113
C_Integer/Stroeder_15/WhileDecr.cyes1.94748
C_Integer/Stroeder_15/WhileFalse_true-termination.cyes1.58103
C_Integer/Stroeder_15/WhileIncr.cno2.74061
C_Integer/Stroeder_15/WhileIncrPart.cno3.32707
C_Integer/Stroeder_15/WhileNested.cno3.24903
C_Integer/Stroeder_15/WhileNestedOffset.cno3.55729
C_Integer/Stroeder_15/WhilePart.cno2.81093
C_Integer/Stroeder_15/WhileSingle.cno3.15757
C_Integer/Stroeder_15/WhileTrue.cno2.73883
C_Integer/Stroeder_15/WhileTrue_false-termination.cno2.10255
C_Integer/Stroeder_15/aaron2_true-termination.cyes2.81105
C_Integer/Stroeder_15/aaron3_true-termination.cyes4.92581
C_Integer/Stroeder_15/collatz.cmaybe60.1074
C_Integer/Stroeder_15/easy1_true-termination.cyes2.60303
C_Integer/Stroeder_15/easy2_true-termination.cyes1.91761
C_Integer/Stroeder_15/gcd1_true-termination.cyes5.95894
C_Integer/Stroeder_15/genady_true-termination.cyes2.28969
C_Integer/Stroeder_15/min_rf_true-termination.cyes8.42485
C_Integer/Stroeder_15/svcomp_a.01.cyes2.4941
C_Integer/Stroeder_15/svcomp_a.04.cyes2.18232
C_Integer/Stroeder_15/svcomp_a.05.cyes2.26368
C_Integer/Stroeder_15/svcomp_a.06.cyes1.95008
C_Integer/Stroeder_15/svcomp_a.07.cyes2.16543
C_Integer/Stroeder_15/svcomp_a.08.cyes1.95529
C_Integer/Stroeder_15/svcomp_a.09_assume.cyes2.33249
C_Integer/Stroeder_15/svcomp_a.10.cyes2.43309
C_Integer/Stroeder_15/svcomp_b.01.cyes1.98704
C_Integer/Stroeder_15/svcomp_b.02.cyes2.07068
C_Integer/Stroeder_15/svcomp_b.03-no-inv_assume.cyes3.27197
C_Integer/Stroeder_15/svcomp_b.03_assume.cyes6.15119
C_Integer/Stroeder_15/svcomp_b.04.cyes2.23914
C_Integer/Stroeder_15/svcomp_b.05.cyes2.0606
C_Integer/Stroeder_15/svcomp_b.06.cyes2.33756
C_Integer/Stroeder_15/svcomp_b.07.cyes2.01893
C_Integer/Stroeder_15/svcomp_b.09-no-inv_assume.cyes2.51339
C_Integer/Stroeder_15/svcomp_b.09_assume.cyes2.49849
C_Integer/Stroeder_15/svcomp_b.10.cyes2.41122
C_Integer/Stroeder_15/svcomp_b.11.cyes2.79897
C_Integer/Stroeder_15/svcomp_b.12.cyes3.25423
C_Integer/Stroeder_15/svcomp_b.13.cyes3.41447
C_Integer/Stroeder_15/svcomp_b.14.cyes2.36905
C_Integer/Stroeder_15/svcomp_b.15.cyes2.18319
C_Integer/Stroeder_15/svcomp_b.16.cyes2.15596
C_Integer/Stroeder_15/svcomp_b.17.cyes2.5414
C_Integer/Stroeder_15/svcomp_b.18.cyes3.12923
C_Integer/Stroeder_15/svcomp_c.01-no-inv.cyes3.46823
C_Integer/Stroeder_15/svcomp_c.01_assume.cyes2.59362
C_Integer/Stroeder_15/svcomp_c.02.cyes2.46639
C_Integer/Stroeder_15/svcomp_c.03.cyes2.35617
C_Integer/Stroeder_15/svcomp_c.07.cyes2.50615
C_Integer/Stroeder_15/svcomp_c.08.cyes5.3391
C_Integer/Stroeder_15/svcomp_easySum.cyes2.0572
C_Integer/Stroeder_15/svcomp_ex1.cyes2.02187
C_Integer/Stroeder_15/svcomp_ex2.cyes3.54331
C_Integer/Stroeder_15/svcomp_ex3a.cyes1.99358
C_Integer/Stroeder_15/svcomp_ex3b.cyes2.05236
C_Integer/Stroeder_15/svcomp_fermat.cyes9.48231
C_Integer/Stroeder_15/svcomp_flag.cyes2.61784
C_Integer/Stroeder_15/svcomp_java_AG313.cyes2.16826
C_Integer/Stroeder_15/svcomp_java_Break.cyes1.93491
C_Integer/Stroeder_15/svcomp_java_Continue1.cyes2.67056
C_Integer/Stroeder_15/svcomp_java_Nested.cyes2.45821
C_Integer/Stroeder_15/svcomp_java_Sequence.cyes2.3752
C_Integer/Ton_Chanh_15/2Nested_false-termination.cno6.31829
C_Integer/Ton_Chanh_15/Bangalore_false-termination.cno2.80591
C_Integer/Ton_Chanh_15/Bangalore_v2_false-termination.cno5.06019
C_Integer/Ton_Chanh_15/Bangalore_v3_false-termination.cno3.20949
C_Integer/Ton_Chanh_15/Bangalore_v4_true-termination.cyes2.2789
C_Integer/Ton_Chanh_15/Benghazi_nondet_true-termination.cyes3.68171
C_Integer/Ton_Chanh_15/Cairo_nondet_false-termination.cno3.25363
C_Integer/Ton_Chanh_15/Cairo_step2_false-termination.cno3.33352
C_Integer/Ton_Chanh_15/Copenhagen_disj_true-termination.cyes7.60039
C_Integer/Ton_Chanh_15/Gothenburg_v2_true-termination.cmaybe60.0301
C_Integer/Ton_Chanh_15/Hanoi_2vars_false-termination.cno5.82346
C_Integer/Ton_Chanh_15/Hanoi_3vars_false-termination.cno8.51951
C_Integer/Ton_Chanh_15/Hanoi_plus_false-termination.cno11.196
C_Integer/Ton_Chanh_15/McCarthy91_Iteration_true-termination.cyes2.32487
C_Integer/Ton_Chanh_15/Mysore_false-termination.cno3.22806
C_Integer/Ton_Chanh_15/Singapore_plus_false-termination.cno5.49062
C_Integer/Ton_Chanh_15/Singapore_true-termination.cmaybe60.1014
C_Integer/Ton_Chanh_15/Singapore_v1_false-termination.cmaybe48.7964
C_Integer/Ton_Chanh_15/Singapore_v2_false-termination.cmaybe60.1294