LoAT
nameresulttime
C_Integer/Stroeder_15/2Nested_true-termination.cmaybe2.49098
C_Integer/Stroeder_15/4NestedWith3Variables_true-termination.cmaybe2.14891
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.cmaybe4.33512
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.cmaybe2.96484
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.cmaybe9.50516
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.cmaybe5.14768
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.cmaybe5.80207
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.cmaybe5.10297
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.cmaybe3.15622
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.cmaybe2.14832
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.cmaybe2.92244
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.cmaybe1.90462
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.cmaybe4.09007
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.cmaybe2.62994
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.cmaybe6.25451
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.cmaybe2.93409
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.cmaybe4.1477
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.cmaybe2.85097
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.cmaybe2.77467
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.cmaybe3.8539
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.cmaybe2.1069
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.cmaybe2.62009
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.cmaybe2.577
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.cmaybe2.47707
C_Integer/Stroeder_15/AlternDiv.cno2.33421
C_Integer/Stroeder_15/AlternDivWide.cno4.02056
C_Integer/Stroeder_15/AlternDivWidening.cno4.10774
C_Integer/Stroeder_15/AlternKonv.cno3.68445
C_Integer/Stroeder_15/Avery-FLOPS2006-Table1_true-termination.cmaybe2.49523
C_Integer/Stroeder_15/Bangalore_true-termination.cmaybe2.20814
C_Integer/Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.cmaybe11.9152
C_Integer/Stroeder_15/Benghazi_true-termination.cmaybe2.86355
C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.cno3.3344
C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.cmaybe3.40121
C_Integer/Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.cmaybe3.48196
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.cmaybe2.75909
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.cmaybe5.45974
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.cmaybe2.23873
C_Integer/Stroeder_15/Cairo_true-termination.cmaybe2.00667
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.cmaybe4.89806
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.cmaybe8.77351
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.cmaybe21.7125
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.cmaybe4.60305
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.cmaybe2.71462
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.cmaybe6.16796
C_Integer/Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.cno2.81516
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.cmaybe1.86325
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.cmaybe2.67905
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.cmaybe2.68774
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.cmaybe4.43684
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.cmaybe5.55008
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.cmaybe2.9152
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.cno2.47583
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.cno1.95965
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.cno1.94395
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.cmaybe2.00629
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.cmaybe1.99269
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.cmaybe3.29601
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.cmaybe2.09782
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.cmaybe1.97024
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.cno1.92338
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.cno3.22277
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.cmaybe1.97961
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.cno1.96788
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.cno2.38146
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.cmaybe3.15497
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.cno2.77576
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.cmaybe1.98271
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.cmaybe2.16885
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.cmaybe5.98672
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.cmaybe2.02948
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.cmaybe3.26833
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.cmaybe3.21557
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.cno2.0465
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.cmaybe2.04878
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.cmaybe2.03127
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.cmaybe4.64119
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.cmaybe2.05059
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.cmaybe2.59525
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.cmaybe2.13811
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.cmaybe2.84219
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.cmaybe2.56952
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.cmaybe3.55418
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.cmaybe2.5857
C_Integer/Stroeder_15/Choose.cmaybe2.41131
C_Integer/Stroeder_15/ChooseLife.cno3.33785
C_Integer/Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.cmaybe2.11422
C_Integer/Stroeder_15/ComplInterv.cno2.11706
C_Integer/Stroeder_15/ComplInterv2.cno3.11184
C_Integer/Stroeder_15/ComplInterv3.cno2.83756
C_Integer/Stroeder_15/ComplxStruc.cno5.88779
C_Integer/Stroeder_15/ConvLower.cno2.3947
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.cmaybe3.00825
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.cmaybe3.9711
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.cmaybe4.77692
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.cmaybe2.4314
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.cmaybe2.37394
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.cmaybe3.04218
C_Integer/Stroeder_15/Copenhagen_true-termination.cmaybe3.40367
C_Integer/Stroeder_15/Cousot.cno2.24902
C_Integer/Stroeder_15/DivMinus.cmaybe2.00866
C_Integer/Stroeder_15/DivMinus2.cmaybe3.03609
C_Integer/Stroeder_15/DivWithoutMinus.cno2.99655
C_Integer/Stroeder_15/DoubleNeg.cmaybe1.96662
C_Integer/Stroeder_15/Et1.cmaybe3.04658
C_Integer/Stroeder_15/Et2.cno2.04149
C_Integer/Stroeder_15/Et4.cno2.42495
C_Integer/Stroeder_15/Even.cno2.05555
C_Integer/Stroeder_15/Ex01.cno1.74716
C_Integer/Stroeder_15/Ex02.cno2.3874
C_Integer/Stroeder_15/Ex03.cno2.37059
C_Integer/Stroeder_15/Ex04.cno1.77298
C_Integer/Stroeder_15/Ex05.cno1.66828
C_Integer/Stroeder_15/Ex06.cno2.5908
C_Integer/Stroeder_15/Ex07.cno2.58684
C_Integer/Stroeder_15/Ex08.cmaybe5.99954
C_Integer/Stroeder_15/Factorial.cmaybe2.49719
C_Integer/Stroeder_15/Fibonacci.cno5.97428
C_Integer/Stroeder_15/Flip.cno2.45641
C_Integer/Stroeder_15/Flip2.cmaybe3.39034
C_Integer/Stroeder_15/GCD.cno6.47593
C_Integer/Stroeder_15/GCD2.cno6.29055
C_Integer/Stroeder_15/GCD3.cmaybe7.15773
C_Integer/Stroeder_15/GCD4.cmaybe4.72697
C_Integer/Stroeder_15/Gauss.cno2.078
C_Integer/Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.cmaybe2.45637
C_Integer/Stroeder_15/Gothenburg_true-termination.cmaybe3.16572
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.cmaybe2.862
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.cmaybe2.46104
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.cmaybe1.98013
C_Integer/Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.cmaybe3.74046
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.cmaybe2.26082
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.cmaybe1.91897
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.cmaybe4.2584
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.cmaybe2.22282
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.cmaybe2.58692
C_Integer/Stroeder_15/IntPath.cmaybe2.08883
C_Integer/Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.cmaybe2.45115
C_Integer/Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.cmaybe3.60352
C_Integer/Stroeder_15/Lcm.cno3.62539
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.cmaybe2.40444
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.cmaybe1.92628
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.cmaybe2.54115
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.cmaybe2.70045
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.cmaybe2.89811
C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.cno2.52636
C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.cno1.87132
C_Integer/Stroeder_15/Lobnya-Boolean-Reordered_true-termination.cmaybe3.31043
C_Integer/Stroeder_15/Log.cmaybe2.51566
C_Integer/Stroeder_15/LogAG.cmaybe2.93803
C_Integer/Stroeder_15/LogMult.cmaybe3.20087
C_Integer/Stroeder_15/Loop.cno1.9003
C_Integer/Stroeder_15/Madrid_false-termination.cno1.78855
C_Integer/Stroeder_15/Marbie1.cno1.75703
C_Integer/Stroeder_15/Marbie2.cno1.76826
C_Integer/Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.cmaybe2.51007
C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.cmaybe2.36827
C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.cmaybe2.95282
C_Integer/Stroeder_15/McCarthyIterative.cmaybe2.64827
C_Integer/Stroeder_15/MenloPark_true-termination.cmaybe2.86516
C_Integer/Stroeder_15/Middle.cno2.06184
C_Integer/Stroeder_15/MinusBuiltIn.cmaybe1.99748
C_Integer/Stroeder_15/MinusMin.cmaybe2.96415
C_Integer/Stroeder_15/MinusUserDefined.cmaybe4.30447
C_Integer/Stroeder_15/MirrorInterv.cno3.1759
C_Integer/Stroeder_15/MirrorIntervSim.cno3.47862
C_Integer/Stroeder_15/Mysore_true-termination.cmaybe2.25168
C_Integer/Stroeder_15/NO_00.cno1.80787
C_Integer/Stroeder_15/NO_01.cno3.17813
C_Integer/Stroeder_15/NO_02.cno2.02201
C_Integer/Stroeder_15/NO_03.cno2.1646
C_Integer/Stroeder_15/NO_04.cno3.57962
C_Integer/Stroeder_15/NO_10.cno1.87675
C_Integer/Stroeder_15/NO_12.cno2.5158
C_Integer/Stroeder_15/NO_13.cno2.74645
C_Integer/Stroeder_15/NO_21.cno1.84928
C_Integer/Stroeder_15/NO_22.cno2.51735
C_Integer/Stroeder_15/NO_23.cno2.4655
C_Integer/Stroeder_15/NO_24.cno1.95306
C_Integer/Stroeder_15/NarrowKonv.cmaybe3.57858
C_Integer/Stroeder_15/Narrowing.cmaybe11.9861
C_Integer/Stroeder_15/Nested.cmaybe2.56087
C_Integer/Stroeder_15/NonTermination1_false-termination.cno1.7769
C_Integer/Stroeder_15/NonTermination2_false-termination.cmaybe4.09218
C_Integer/Stroeder_15/NonTermination4_false-termination.cno1.87586
C_Integer/Stroeder_15/NonTerminationSimple2_false-termination.cno1.75478
C_Integer/Stroeder_15/NonTerminationSimple3_false-termination.cno2.32665
C_Integer/Stroeder_15/NonTerminationSimple4_false-termination.cno1.89421
C_Integer/Stroeder_15/NonTerminationSimple5_false-termination.cno2.17352
C_Integer/Stroeder_15/NonTerminationSimple6_false-termination.cno2.18995
C_Integer/Stroeder_15/NonTerminationSimple7_false-termination.cno2.19805
C_Integer/Stroeder_15/NonTerminationSimple8_false-termination.cno3.28964
C_Integer/Stroeder_15/NonTerminationSimple9_false-termination.cno2.2853
C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.cmaybe2.66008
C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.cmaybe2.90788
C_Integer/Stroeder_15/Nyala-2lex_true-termination.cmaybe3.42438
C_Integer/Stroeder_15/Overflow.cmaybe1.81771
C_Integer/Stroeder_15/Parallel_true-termination.cmaybe2.89758
C_Integer/Stroeder_15/PastaA1.cmaybe2.23462
C_Integer/Stroeder_15/PastaA10.cmaybe2.43005
C_Integer/Stroeder_15/PastaA4.cmaybe1.86475
C_Integer/Stroeder_15/PastaA5.cmaybe1.87803
C_Integer/Stroeder_15/PastaA6.cmaybe1.9885
C_Integer/Stroeder_15/PastaA7.cmaybe2.01596
C_Integer/Stroeder_15/PastaA8.cmaybe1.94242
C_Integer/Stroeder_15/PastaA9.cmaybe2.38785
C_Integer/Stroeder_15/PastaB1.cmaybe1.89203
C_Integer/Stroeder_15/PastaB11.cmaybe3.62503
C_Integer/Stroeder_15/PastaB14.cmaybe2.33487
C_Integer/Stroeder_15/PastaB15.cmaybe2.38853
C_Integer/Stroeder_15/PastaB16.cmaybe2.55221
C_Integer/Stroeder_15/PastaB17.cmaybe2.58827
C_Integer/Stroeder_15/PastaB2.cmaybe1.9473
C_Integer/Stroeder_15/PastaB3.cmaybe2.192
C_Integer/Stroeder_15/PastaB4.cmaybe1.8713
C_Integer/Stroeder_15/PastaB6.cmaybe1.98517
C_Integer/Stroeder_15/PastaB7.cmaybe2.01727
C_Integer/Stroeder_15/PastaC1.cmaybe3.73471
C_Integer/Stroeder_15/PastaC10.cno2.66266
C_Integer/Stroeder_15/PastaC2.cmaybe2.28139
C_Integer/Stroeder_15/PastaC3.cmaybe2.76549
C_Integer/Stroeder_15/PastaC7.cmaybe2.80709
C_Integer/Stroeder_15/PastaC9.cmaybe3.09059
C_Integer/Stroeder_15/Piecewise_true-termination.cmaybe8.9713
C_Integer/Stroeder_15/PlusSwap.cmaybe2.18027
C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.cmaybe3.81304
C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.cmaybe2.80929
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.cmaybe1.80559
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.cmaybe2.57396
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.cmaybe3.00318
C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.cmaybe3.67402
C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.cmaybe1.86549
C_Integer/Stroeder_15/Pure2Phase_true-termination.cmaybe2.94017
C_Integer/Stroeder_15/Pure3Phase_true-termination.cmaybe3.3104
C_Integer/Stroeder_15/Rotation180_false-termination.cno1.90286
C_Integer/Stroeder_15/Sequence.cmaybe2.27905
C_Integer/Stroeder_15/Stockholm_true-termination.cmaybe2.26447
C_Integer/Stroeder_15/Sunset.cno3.4164
C_Integer/Stroeder_15/Swingers.cno1.94638
C_Integer/Stroeder_15/TelAviv-Amir-Minimum_true-termination.cmaybe14.4592
C_Integer/Stroeder_15/Thun_true-termination.cmaybe1.99077
C_Integer/Stroeder_15/Toulouse-BranchesToLoop_true-termination.cmaybe3.05523
C_Integer/Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.cmaybe5.64095
C_Integer/Stroeder_15/TrueDiv.cno2.06037
C_Integer/Stroeder_15/TwoFloatInterv.cno3.44284
C_Integer/Stroeder_15/UpAndDown.cmaybe4.7468
C_Integer/Stroeder_15/UpAndDownIneq.cmaybe3.88879
C_Integer/Stroeder_15/Urban-WST2013-Fig1_false-termination.cno2.10384
C_Integer/Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.cmaybe2.27402
C_Integer/Stroeder_15/Urban-WST2013-Fig2_true-termination.cmaybe2.2752
C_Integer/Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.cmaybe4.98139
C_Integer/Stroeder_15/Velroyen_false-termination.cno3.50657
C_Integer/Stroeder_15/Waldkirch_true-termination.cmaybe2.22599
C_Integer/Stroeder_15/WhileDecr.cmaybe1.81622
C_Integer/Stroeder_15/WhileFalse_true-termination.cmaybe1.45763
C_Integer/Stroeder_15/WhileIncr.cno1.73471
C_Integer/Stroeder_15/WhileIncrPart.cno2.16145
C_Integer/Stroeder_15/WhileNested.cno2.16091
C_Integer/Stroeder_15/WhileNestedOffset.cno2.16667
C_Integer/Stroeder_15/WhilePart.cno2.1822
C_Integer/Stroeder_15/WhileSingle.cno2.36822
C_Integer/Stroeder_15/WhileTrue.cno1.75871
C_Integer/Stroeder_15/WhileTrue_false-termination.cno1.60026
C_Integer/Stroeder_15/aaron2_true-termination.cmaybe2.71294
C_Integer/Stroeder_15/aaron3_true-termination.cmaybe6.13094
C_Integer/Stroeder_15/collatz.cmaybe3.55359
C_Integer/Stroeder_15/easy1_true-termination.cmaybe2.83207
C_Integer/Stroeder_15/easy2_true-termination.cmaybe2.06677
C_Integer/Stroeder_15/gcd1_true-termination.cmaybe5.59368
C_Integer/Stroeder_15/genady_true-termination.cmaybe1.98973
C_Integer/Stroeder_15/min_rf_true-termination.cmaybe3.94266
C_Integer/Stroeder_15/svcomp_a.01.cmaybe2.40517
C_Integer/Stroeder_15/svcomp_a.04.cmaybe2.03
C_Integer/Stroeder_15/svcomp_a.05.cmaybe2.02741
C_Integer/Stroeder_15/svcomp_a.06.cmaybe2.14786
C_Integer/Stroeder_15/svcomp_a.07.cmaybe2.17662
C_Integer/Stroeder_15/svcomp_a.08.cmaybe2.04567
C_Integer/Stroeder_15/svcomp_a.09_assume.cmaybe1.97852
C_Integer/Stroeder_15/svcomp_a.10.cmaybe2.58295
C_Integer/Stroeder_15/svcomp_b.01.cmaybe2.04718
C_Integer/Stroeder_15/svcomp_b.02.cmaybe2.0612
C_Integer/Stroeder_15/svcomp_b.03-no-inv_assume.cmaybe2.21293
C_Integer/Stroeder_15/svcomp_b.03_assume.cmaybe1.89797
C_Integer/Stroeder_15/svcomp_b.04.cmaybe1.96438
C_Integer/Stroeder_15/svcomp_b.05.cmaybe3.24613
C_Integer/Stroeder_15/svcomp_b.06.cmaybe2.12215
C_Integer/Stroeder_15/svcomp_b.07.cmaybe2.15217
C_Integer/Stroeder_15/svcomp_b.09-no-inv_assume.cmaybe3.10381
C_Integer/Stroeder_15/svcomp_b.09_assume.cmaybe2.6252
C_Integer/Stroeder_15/svcomp_b.10.cmaybe3.04596
C_Integer/Stroeder_15/svcomp_b.11.cmaybe3.76217
C_Integer/Stroeder_15/svcomp_b.12.cmaybe3.24375
C_Integer/Stroeder_15/svcomp_b.13.cmaybe3.34542
C_Integer/Stroeder_15/svcomp_b.14.cmaybe2.42349
C_Integer/Stroeder_15/svcomp_b.15.cmaybe3.28487
C_Integer/Stroeder_15/svcomp_b.16.cmaybe2.66511
C_Integer/Stroeder_15/svcomp_b.17.cmaybe2.78675
C_Integer/Stroeder_15/svcomp_b.18.cmaybe3.05277
C_Integer/Stroeder_15/svcomp_c.01-no-inv.cmaybe4.08447
C_Integer/Stroeder_15/svcomp_c.01_assume.cmaybe3.24246
C_Integer/Stroeder_15/svcomp_c.02.cmaybe2.68306
C_Integer/Stroeder_15/svcomp_c.03.cmaybe2.94564
C_Integer/Stroeder_15/svcomp_c.07.cmaybe2.28566
C_Integer/Stroeder_15/svcomp_c.08.cmaybe2.63494
C_Integer/Stroeder_15/svcomp_easySum.cmaybe2.00934
C_Integer/Stroeder_15/svcomp_ex1.cmaybe2.01922
C_Integer/Stroeder_15/svcomp_ex2.cmaybe5.61441
C_Integer/Stroeder_15/svcomp_ex3a.cmaybe3.44367
C_Integer/Stroeder_15/svcomp_ex3b.cmaybe2.06814
C_Integer/Stroeder_15/svcomp_fermat.cmaybe50.8953
C_Integer/Stroeder_15/svcomp_flag.cmaybe3.3625
C_Integer/Stroeder_15/svcomp_java_AG313.cmaybe2.17117
C_Integer/Stroeder_15/svcomp_java_Break.cmaybe1.93438
C_Integer/Stroeder_15/svcomp_java_Continue1.cmaybe2.3818
C_Integer/Stroeder_15/svcomp_java_Nested.cmaybe2.37712
C_Integer/Stroeder_15/svcomp_java_Sequence.cmaybe2.39698
C_Integer/Ton_Chanh_15/2Nested_false-termination.cno2.32586
C_Integer/Ton_Chanh_15/Bangalore_false-termination.cno2.16754
C_Integer/Ton_Chanh_15/Bangalore_v2_false-termination.cno2.20967
C_Integer/Ton_Chanh_15/Bangalore_v3_false-termination.cno2.38792
C_Integer/Ton_Chanh_15/Bangalore_v4_true-termination.cmaybe2.43368
C_Integer/Ton_Chanh_15/Benghazi_nondet_true-termination.cmaybe3.67975
C_Integer/Ton_Chanh_15/Cairo_nondet_false-termination.cno2.0506
C_Integer/Ton_Chanh_15/Cairo_step2_false-termination.cmaybe1.99323
C_Integer/Ton_Chanh_15/Copenhagen_disj_true-termination.cmaybe2.45093
C_Integer/Ton_Chanh_15/Gothenburg_v2_true-termination.cmaybe4.14162
C_Integer/Ton_Chanh_15/Hanoi_2vars_false-termination.cno2.47717
C_Integer/Ton_Chanh_15/Hanoi_3vars_false-termination.cmaybe2.05346
C_Integer/Ton_Chanh_15/Hanoi_plus_false-termination.cmaybe2.07707
C_Integer/Ton_Chanh_15/McCarthy91_Iteration_true-termination.cmaybe2.62768
C_Integer/Ton_Chanh_15/Mysore_false-termination.cno2.21779
C_Integer/Ton_Chanh_15/Singapore_plus_false-termination.cno2.32653
C_Integer/Ton_Chanh_15/Singapore_true-termination.cmaybe2.31296
C_Integer/Ton_Chanh_15/Singapore_v1_false-termination.cno2.21382
C_Integer/Ton_Chanh_15/Singapore_v2_false-termination.cno2.256