Ultimate
nameresulttime
C_Integer/Stroeder_15/2Nested_true-termination.cyes6.98945
C_Integer/Stroeder_15/4NestedWith3Variables_true-termination.cyes6.07859
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.cyes8.25998
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.cyes7.20934
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.cyes9.44538
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.cyes7.19575
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.cyes8.97321
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.cyes7.60571
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.cyes7.23773
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.cyes6.4889
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.cyes9.53065
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.cyes5.43225
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.cyes8.0337
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.cyes5.66516
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.cyes6.0566
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.cyes8.68912
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.cyes6.88519
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.cyes8.11515
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.cyes6.73434
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.cyes6.11107
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.cyes6.2823
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.cyes7.13926
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.cyes7.1991
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.cyes7.36082
C_Integer/Stroeder_15/AlternDiv.cno8.69372
C_Integer/Stroeder_15/AlternDivWide.cno7.15896
C_Integer/Stroeder_15/AlternDivWidening.cno7.87653
C_Integer/Stroeder_15/AlternKonv.cno8.10718
C_Integer/Stroeder_15/Avery-FLOPS2006-Table1_true-termination.cyes5.94906
C_Integer/Stroeder_15/Bangalore_true-termination.cyes5.9478
C_Integer/Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.cyes8.3218
C_Integer/Stroeder_15/Benghazi_true-termination.cyes6.13148
C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.cno6.86991
C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.cyes9.40703
C_Integer/Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.cyes7.30485
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.cyes7.18217
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.cyes8.1183
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.cyes7.38667
C_Integer/Stroeder_15/Cairo_true-termination.cyes5.46125
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.cmaybe7.82878
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.cyes6.11487
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.cyes8.14566
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.cyes6.82516
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.cyes6.47275
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.cyes6.37668
C_Integer/Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.cno6.18076
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.cmaybe5.52659
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.cyes5.16678
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.cyes6.29268
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.cyes6.7892
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.cyes7.3734
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.cyes6.68204
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.cmaybe7.3821
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.cno5.83405
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.cno5.75458
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.cmaybe8.33218
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.cyes6.41316
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.cyes6.65119
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.cyes6.7085
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.cyes5.55045
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.cmaybe60.1133
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.cno7.15217
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.cyes6.06152
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.cno7.5573
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.cno5.80251
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.cyes7.05418
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.cno6.09353
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.cyes6.40081
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.cyes6.21343
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.cyes6.4328
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.cyes6.57378
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.cyes8.3285
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.cyes6.61077
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.cno6.51959
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.cyes6.39487
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.cyes6.56785
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.cyes6.39584
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.cmaybe8.00239
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.cyes6.43454
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.cyes5.06745
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.cyes5.84233
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.cyes5.54573
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.cyes6.72217
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.cyes6.01976
C_Integer/Stroeder_15/Choose.cno5.62367
C_Integer/Stroeder_15/ChooseLife.cmaybe7.60837
C_Integer/Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.cyes6.09026
C_Integer/Stroeder_15/ComplInterv.cmaybe7.37986
C_Integer/Stroeder_15/ComplInterv2.cno5.61189
C_Integer/Stroeder_15/ComplInterv3.cno5.873
C_Integer/Stroeder_15/ComplxStruc.cno9.44792
C_Integer/Stroeder_15/ConvLower.cno5.18979
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.cyes7.53002
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.cyes7.919
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.cyes8.72422
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.cyes5.68619
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.cyes7.23441
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.cyes8.30678
C_Integer/Stroeder_15/Copenhagen_true-termination.cyes6.48873
C_Integer/Stroeder_15/Cousot.cno6.83382
C_Integer/Stroeder_15/DivMinus.cyes6.12987
C_Integer/Stroeder_15/DivMinus2.cyes7.38615
C_Integer/Stroeder_15/DivWithoutMinus.cno7.613
C_Integer/Stroeder_15/DoubleNeg.cmaybe7.13752
C_Integer/Stroeder_15/Et1.cyes6.14574
C_Integer/Stroeder_15/Et2.cno6.12332
C_Integer/Stroeder_15/Et4.cno5.55518
C_Integer/Stroeder_15/Even.cno6.58524
C_Integer/Stroeder_15/Ex01.cno6.33435
C_Integer/Stroeder_15/Ex02.cno8.23644
C_Integer/Stroeder_15/Ex03.cno5.71266
C_Integer/Stroeder_15/Ex04.cno5.73624
C_Integer/Stroeder_15/Ex05.cno6.38584
C_Integer/Stroeder_15/Ex06.cno5.15883
C_Integer/Stroeder_15/Ex07.cno5.97908
C_Integer/Stroeder_15/Ex08.cno36.0592
C_Integer/Stroeder_15/Factorial.cmaybe8.5152
C_Integer/Stroeder_15/Fibonacci.cmaybe8.13507
C_Integer/Stroeder_15/Flip.cno6.09231
C_Integer/Stroeder_15/Flip2.cno7.90572
C_Integer/Stroeder_15/GCD.cno6.24085
C_Integer/Stroeder_15/GCD2.cno5.20367
C_Integer/Stroeder_15/GCD3.cyes8.38875
C_Integer/Stroeder_15/GCD4.cyes7.38647
C_Integer/Stroeder_15/Gauss.cmaybe9.26999
C_Integer/Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.cyes8.26713
C_Integer/Stroeder_15/Gothenburg_true-termination.cyes7.53378
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.cyes7.3124
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.cyes6.74866
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.cyes5.76224
C_Integer/Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.cmaybe60.0415
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.cyes6.66053
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.cyes6.21299
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.cyes5.67474
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.cmaybe5.67975
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.cmaybe8.02122
C_Integer/Stroeder_15/IntPath.cyes6.42882
C_Integer/Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.cyes6.0345
C_Integer/Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.cyes10.1464
C_Integer/Stroeder_15/Lcm.cno6.21898
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.cyes6.6875
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.cyes8.28228
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.cyes6.77329
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.cyes6.14129
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.cyes5.63964
C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.cmaybe8.01519
C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.cno6.4
C_Integer/Stroeder_15/Lobnya-Boolean-Reordered_true-termination.cyes7.94154
C_Integer/Stroeder_15/Log.cyes7.47424
C_Integer/Stroeder_15/LogAG.cyes6.77278
C_Integer/Stroeder_15/LogMult.cmaybe12.6413
C_Integer/Stroeder_15/Loop.cno5.74369
C_Integer/Stroeder_15/Madrid_false-termination.cno6.85039
C_Integer/Stroeder_15/Marbie1.cno4.90639
C_Integer/Stroeder_15/Marbie2.cno5.93211
C_Integer/Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.cyes6.88448
C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.cyes7.89627
C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.cmaybe7.52689
C_Integer/Stroeder_15/McCarthyIterative.cyes10.7984
C_Integer/Stroeder_15/MenloPark_true-termination.cyes6.41568
C_Integer/Stroeder_15/Middle.cno6.03577
C_Integer/Stroeder_15/MinusBuiltIn.cyes8.28555
C_Integer/Stroeder_15/MinusMin.cyes6.83616
C_Integer/Stroeder_15/MinusUserDefined.cyes7.33431
C_Integer/Stroeder_15/MirrorInterv.cmaybe7.45511
C_Integer/Stroeder_15/MirrorIntervSim.cno7.59827
C_Integer/Stroeder_15/Mysore_true-termination.cyes5.32544
C_Integer/Stroeder_15/NO_00.cno6.72602
C_Integer/Stroeder_15/NO_01.cno6.3979
C_Integer/Stroeder_15/NO_02.cno5.73256
C_Integer/Stroeder_15/NO_03.cno5.77462
C_Integer/Stroeder_15/NO_04.cno7.36059
C_Integer/Stroeder_15/NO_10.cno4.49798
C_Integer/Stroeder_15/NO_12.cno11.1317
C_Integer/Stroeder_15/NO_13.cno39.7535
C_Integer/Stroeder_15/NO_21.cno6.31172
C_Integer/Stroeder_15/NO_22.cno37.1471
C_Integer/Stroeder_15/NO_23.cno7.33789
C_Integer/Stroeder_15/NO_24.cmaybe8.66618
C_Integer/Stroeder_15/NarrowKonv.cmaybe60.0666
C_Integer/Stroeder_15/Narrowing.cno20.029
C_Integer/Stroeder_15/Nested.cyes4.97851
C_Integer/Stroeder_15/NonTermination1_false-termination.cno5.69386
C_Integer/Stroeder_15/NonTermination2_false-termination.cmaybe8.55855
C_Integer/Stroeder_15/NonTermination4_false-termination.cno5.69918
C_Integer/Stroeder_15/NonTerminationSimple2_false-termination.cno4.29049
C_Integer/Stroeder_15/NonTerminationSimple3_false-termination.cno7.73682
C_Integer/Stroeder_15/NonTerminationSimple4_false-termination.cno6.60534
C_Integer/Stroeder_15/NonTerminationSimple5_false-termination.cno5.41965
C_Integer/Stroeder_15/NonTerminationSimple6_false-termination.cno6.5913
C_Integer/Stroeder_15/NonTerminationSimple7_false-termination.cno5.99371
C_Integer/Stroeder_15/NonTerminationSimple8_false-termination.cno7.74808
C_Integer/Stroeder_15/NonTerminationSimple9_false-termination.cno5.74447
C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.cyes6.11675
C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.cyes7.91799
C_Integer/Stroeder_15/Nyala-2lex_true-termination.cyes7.72556
C_Integer/Stroeder_15/Overflow.cyes6.87219
C_Integer/Stroeder_15/Parallel_true-termination.cyes6.69414
C_Integer/Stroeder_15/PastaA1.cyes8.29074
C_Integer/Stroeder_15/PastaA10.cyes7.62633
C_Integer/Stroeder_15/PastaA4.cyes4.6911
C_Integer/Stroeder_15/PastaA5.cyes7.48157
C_Integer/Stroeder_15/PastaA6.cyes5.52705
C_Integer/Stroeder_15/PastaA7.cyes5.80903
C_Integer/Stroeder_15/PastaA8.cyes6.15605
C_Integer/Stroeder_15/PastaA9.cyes6.57851
C_Integer/Stroeder_15/PastaB1.cyes5.63965
C_Integer/Stroeder_15/PastaB11.cyes6.63727
C_Integer/Stroeder_15/PastaB14.cyes6.34642
C_Integer/Stroeder_15/PastaB15.cyes6.84325
C_Integer/Stroeder_15/PastaB16.cyes6.02294
C_Integer/Stroeder_15/PastaB17.cyes5.89559
C_Integer/Stroeder_15/PastaB2.cyes7.48398
C_Integer/Stroeder_15/PastaB3.cyes7.12277
C_Integer/Stroeder_15/PastaB4.cyes5.21862
C_Integer/Stroeder_15/PastaB6.cyes6.7646
C_Integer/Stroeder_15/PastaB7.cyes6.84674
C_Integer/Stroeder_15/PastaC1.cyes8.60089
C_Integer/Stroeder_15/PastaC10.cno5.85529
C_Integer/Stroeder_15/PastaC2.cyes8.42153
C_Integer/Stroeder_15/PastaC3.cyes8.86424
C_Integer/Stroeder_15/PastaC7.cyes5.95629
C_Integer/Stroeder_15/PastaC9.cyes7.62135
C_Integer/Stroeder_15/Piecewise_true-termination.cyes7.658
C_Integer/Stroeder_15/PlusSwap.cyes5.56344
C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.cyes7.8335
C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.cmaybe60.0653
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.cyes5.07991
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.cyes7.30379
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.cyes5.67075
C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.cyes8.03714
C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.cmaybe8.17735
C_Integer/Stroeder_15/Pure2Phase_true-termination.cyes7.41888
C_Integer/Stroeder_15/Pure3Phase_true-termination.cmaybe60.0398
C_Integer/Stroeder_15/Rotation180_false-termination.cno6.98857
C_Integer/Stroeder_15/Sequence.cyes6.43874
C_Integer/Stroeder_15/Stockholm_true-termination.cyes6.75205
C_Integer/Stroeder_15/Sunset.cno11.5933
C_Integer/Stroeder_15/Swingers.cmaybe7.23623
C_Integer/Stroeder_15/TelAviv-Amir-Minimum_true-termination.cyes8.85915
C_Integer/Stroeder_15/Thun_true-termination.cyes6.77182
C_Integer/Stroeder_15/Toulouse-BranchesToLoop_true-termination.cyes6.78607
C_Integer/Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.cyes8.23517
C_Integer/Stroeder_15/TrueDiv.cno6.30969
C_Integer/Stroeder_15/TwoFloatInterv.cno7.77092
C_Integer/Stroeder_15/UpAndDown.cno21.0402
C_Integer/Stroeder_15/UpAndDownIneq.cno20.31
C_Integer/Stroeder_15/Urban-WST2013-Fig1_false-termination.cno5.63872
C_Integer/Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.cmaybe60.0531
C_Integer/Stroeder_15/Urban-WST2013-Fig2_true-termination.cyes7.06428
C_Integer/Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.cyes9.10373
C_Integer/Stroeder_15/Velroyen_false-termination.cno7.20454
C_Integer/Stroeder_15/Waldkirch_true-termination.cyes6.2007
C_Integer/Stroeder_15/WhileDecr.cyes5.75526
C_Integer/Stroeder_15/WhileFalse_true-termination.cyes5.98532
C_Integer/Stroeder_15/WhileIncr.cno4.66289
C_Integer/Stroeder_15/WhileIncrPart.cno6.01267
C_Integer/Stroeder_15/WhileNested.cno9.70382
C_Integer/Stroeder_15/WhileNestedOffset.cno6.76996
C_Integer/Stroeder_15/WhilePart.cno5.7241
C_Integer/Stroeder_15/WhileSingle.cno6.87613
C_Integer/Stroeder_15/WhileTrue.cno7.2423
C_Integer/Stroeder_15/WhileTrue_false-termination.cno6.13194
C_Integer/Stroeder_15/aaron2_true-termination.cyes6.59103
C_Integer/Stroeder_15/aaron3_true-termination.cyes8.68722
C_Integer/Stroeder_15/collatz.cmaybe60.0489
C_Integer/Stroeder_15/easy1_true-termination.cyes7.57571
C_Integer/Stroeder_15/easy2_true-termination.cyes6.13643
C_Integer/Stroeder_15/gcd1_true-termination.cyes8.91436
C_Integer/Stroeder_15/genady_true-termination.cyes7.13743
C_Integer/Stroeder_15/min_rf_true-termination.cyes11.1968
C_Integer/Stroeder_15/svcomp_a.01.cyes6.58256
C_Integer/Stroeder_15/svcomp_a.04.cyes5.4989
C_Integer/Stroeder_15/svcomp_a.05.cyes5.67433
C_Integer/Stroeder_15/svcomp_a.06.cyes6.85837
C_Integer/Stroeder_15/svcomp_a.07.cyes5.65054
C_Integer/Stroeder_15/svcomp_a.08.cyes5.87462
C_Integer/Stroeder_15/svcomp_a.09_assume.cyes6.25356
C_Integer/Stroeder_15/svcomp_a.10.cyes8.06455
C_Integer/Stroeder_15/svcomp_b.01.cyes5.43535
C_Integer/Stroeder_15/svcomp_b.02.cyes6.01168
C_Integer/Stroeder_15/svcomp_b.03-no-inv_assume.cyes4.59496
C_Integer/Stroeder_15/svcomp_b.03_assume.cyes5.49512
C_Integer/Stroeder_15/svcomp_b.04.cyes6.21158
C_Integer/Stroeder_15/svcomp_b.05.cyes5.91037
C_Integer/Stroeder_15/svcomp_b.06.cyes6.44578
C_Integer/Stroeder_15/svcomp_b.07.cyes5.5468
C_Integer/Stroeder_15/svcomp_b.09-no-inv_assume.cyes8.43368
C_Integer/Stroeder_15/svcomp_b.09_assume.cyes7.3735
C_Integer/Stroeder_15/svcomp_b.10.cyes5.75579
C_Integer/Stroeder_15/svcomp_b.11.cyes6.45083
C_Integer/Stroeder_15/svcomp_b.12.cyes6.49379
C_Integer/Stroeder_15/svcomp_b.13.cyes7.18065
C_Integer/Stroeder_15/svcomp_b.14.cyes6.48518
C_Integer/Stroeder_15/svcomp_b.15.cyes7.25297
C_Integer/Stroeder_15/svcomp_b.16.cyes6.53921
C_Integer/Stroeder_15/svcomp_b.17.cyes7.95559
C_Integer/Stroeder_15/svcomp_b.18.cyes6.7893
C_Integer/Stroeder_15/svcomp_c.01-no-inv.cyes13.2797
C_Integer/Stroeder_15/svcomp_c.01_assume.cyes8.13071
C_Integer/Stroeder_15/svcomp_c.02.cyes7.19616
C_Integer/Stroeder_15/svcomp_c.03.cyes8.77416
C_Integer/Stroeder_15/svcomp_c.07.cyes8.59541
C_Integer/Stroeder_15/svcomp_c.08.cyes7.06545
C_Integer/Stroeder_15/svcomp_easySum.cyes4.68296
C_Integer/Stroeder_15/svcomp_ex1.cyes7.06626
C_Integer/Stroeder_15/svcomp_ex2.cmaybe7.93023
C_Integer/Stroeder_15/svcomp_ex3a.cmaybe6.89918
C_Integer/Stroeder_15/svcomp_ex3b.cmaybe7.29971
C_Integer/Stroeder_15/svcomp_fermat.cmaybe60.03
C_Integer/Stroeder_15/svcomp_flag.cyes7.12927
C_Integer/Stroeder_15/svcomp_java_AG313.cyes7.94389
C_Integer/Stroeder_15/svcomp_java_Break.cyes6.55282
C_Integer/Stroeder_15/svcomp_java_Continue1.cyes6.52792
C_Integer/Stroeder_15/svcomp_java_Nested.cyes9.16153
C_Integer/Stroeder_15/svcomp_java_Sequence.cyes6.07611
C_Integer/Ton_Chanh_15/2Nested_false-termination.cmaybe7.86482
C_Integer/Ton_Chanh_15/Bangalore_false-termination.cno6.02983
C_Integer/Ton_Chanh_15/Bangalore_v2_false-termination.cno6.01882
C_Integer/Ton_Chanh_15/Bangalore_v3_false-termination.cno6.93082
C_Integer/Ton_Chanh_15/Bangalore_v4_true-termination.cyes7.05514
C_Integer/Ton_Chanh_15/Benghazi_nondet_true-termination.cyes6.85762
C_Integer/Ton_Chanh_15/Cairo_nondet_false-termination.cno6.1712
C_Integer/Ton_Chanh_15/Cairo_step2_false-termination.cno7.2774
C_Integer/Ton_Chanh_15/Copenhagen_disj_true-termination.cmaybe9.19569
C_Integer/Ton_Chanh_15/Gothenburg_v2_true-termination.cmaybe9.98244
C_Integer/Ton_Chanh_15/Hanoi_2vars_false-termination.cmaybe7.5936
C_Integer/Ton_Chanh_15/Hanoi_3vars_false-termination.cmaybe7.93883
C_Integer/Ton_Chanh_15/Hanoi_plus_false-termination.cmaybe8.97216
C_Integer/Ton_Chanh_15/McCarthy91_Iteration_true-termination.cyes11.3834
C_Integer/Ton_Chanh_15/Mysore_false-termination.cmaybe8.49189
C_Integer/Ton_Chanh_15/Singapore_plus_false-termination.cmaybe19.8838
C_Integer/Ton_Chanh_15/Singapore_true-termination.cyes7.09684
C_Integer/Ton_Chanh_15/Singapore_v1_false-termination.cno6.22902
C_Integer/Ton_Chanh_15/Singapore_v2_false-termination.cmaybe15.6171