Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET
Run set sv-comp19_prop-termination.Termination-MainControlFlow
Options --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c false(termination) 8.44 5.09 249176064
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) 7.63 4.58 246382592
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c false(termination) 8.81 5.28 249585664
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c unknown 70.3  60.6  594124800
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) 7.73 4.67 248332288
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) 8.27 5.23 246759424
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) 14.2  8.62 440320000
termination-crafted/Mysore_false-termination_true-valid-memsafety.c unknown 48.8  38.0  705236992
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c false(termination) 10.5  6.33 300916736
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) 18.0  12.1  509321216
termination-crafted/NonTermination3_false-termination_false-valid-deref.c false(termination) 23.9  15.5  512438272
termination-crafted/NonTermination3_true-no-overflow_false-termination.c false(termination) 23.5  15.7  516702208
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) 7.67 4.70 245329920
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c false(termination) 8.22 4.94 244858880
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c false(termination) 7.70 4.60 238309376
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) 7.50 4.49 250105856
termination-crafted/2Nested_true-termination_true-valid-memsafety.c true 9.50 5.78 265838592
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 86.8  63.0  845213696
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c true 23.3  18.7  305983488
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c out of memory 292    203    8000000000
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900    865    849117184
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900    867    882765824
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true 9.83 5.97 281657344
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 11.5  6.79 365678592
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c true 13.6  9.31 283717632
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c true 15.2  10.6  291852288
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c true 12.5  7.50 339152896
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c true 11.6  6.73 321146880
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c unknown 84.7  58.2  1224671232
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true 10.3  6.36 267898880
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c true 28.8  22.0  730996736
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c unknown 56.5  42.3  1197318144
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900    866    850280448
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c timeout 900    865    887885824
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c true 10.7  6.33 296140800
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c true 39.8  24.7  710107136
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c true 63.2  53.7  634138624
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c true 12.1  6.95 318582784
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c timeout 901    723    7436521472
termination-crafted/Mysore_true-termination_true-valid-memsafety.c true 11.8  7.87 275759104
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 36.8  25.7  671490048
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c true 13.9  8.68 470814720
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c true 22.9  14.2  585756672
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c out of memory 649    517    8000000000
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true 14.1  8.37 388894720
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true 12.2  7.27 327663616
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true 18.2  11.4  497979392
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c true 14.5  8.84 438177792
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c true 18.7  12.1  428564480
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c true 16.5  10.9  425295872
termination-crafted/Singapore_true-termination_true-valid-memsafety.c true 26.1  20.2  380375040
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c true 24.5  19.4  488697856
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true 11.2  6.71 322068480
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c true 11.0  6.54 321331200
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c true 10.8  6.50 316465152
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true 29.2  18.1  594870272
termination-crafted/Thun_true-termination_true-valid-memsafety.c true 10.1  6.03 277757952
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c true 39.0  33.0  579395584
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c true 39.5  32.9  678866944
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true 9.27 5.60 265723904
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 7.24 4.52 231763968
termination-crafted/aaron2_true-termination_true-valid-memsafety.c true 11.2  6.70 275197952
termination-crafted/aaron3_true-termination_true-valid-memsafety.c true 33.6  27.4  466616320
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 10.4  6.22 269987840
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c true 10.5  6.21 265285632
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c false(termination) 8.86 5.18 245030912
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c false(termination) 8.29 4.97 248143872
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c false(termination) 9.36 5.53 247660544
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c false(termination) 10.6  6.36 277671936
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c false(termination) 20.4  11.5  502755328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c true 20.7  13.0  513564672
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true 14.7  8.92 414318592
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 10.3  6.22 256774144
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c true 9.34 5.65 261783552
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c true 30.6  23.1  455585792
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c true 34.1  26.1  512827392
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c true 9.60 5.83 270548992
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 10.1  6.14 282386432
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true 14.8  9.13 444866560
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true 14.5  9.01 422694912
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true 14.2  8.75 432160768
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true 14.8  9.08 430170112
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true 12.5  7.63 394358784
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true 14.2  8.89 404332544
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c true 11.8  7.16 331333632
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c true 21.2  13.5  510971904
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true 14.1  8.70 423493632
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c true 18.0  11.6  441700352
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c true 11.3  7.68 275730432
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 8.69 5.26 253882368
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c true 10.4  6.25 266149888
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c true 9.08 5.63 273817600
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 10.6  6.36 286924800
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true 9.04 5.51 263753728
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true 12.5  8.37 275001344
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true 14.2  8.69 450060288
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true 16.6  10.5  481267712
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true 19.6  12.2  453320704
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true 18.8  13.6  437940224
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true 14.3  8.67 414785536
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true 18.5  12.6  408068096
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 12.8  7.82 407511040
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c true 58.0  45.2  662376448
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true 9.16 5.54 264310784
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c true 11.6  7.84 272461824
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true 10.9  6.42 268828672
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c unknown 23.5  13.2  683941888
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true 9.94 5.97 264245248
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true 9.37 5.67 265994240
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true 21.5  13.0  489775104
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c true 29.6  20.7  490831872
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c true 57.8  48.0  597495808
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c unknown 59.7  35.5  1567453184
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true 9.67 5.88 267845632
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true 11.8  7.12 345931776
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 9.64 5.79 257028096
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c true 27.7  21.7  472600576
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true 8.50 5.21 252555264
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true 13.4  8.16 385982464
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true 13.8  8.36 404975616
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c timeout 900    744    1028046848
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true 16.3  9.81 438415360
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true 16.9  10.7  475439104
termination-crafted-lit/aviad_true-termination_true-no-overflow.c true 11.6  6.80 303919104
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 16.7  10.6  516321280
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 177    147    1343561728
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 12.1  7.38 418910208
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 41.0  28.3  735981568
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 67.7  44.7  1096015872
termination-crafted-lit/genady_true-termination_true-no-overflow.c true 9.12 5.50 259575808
termination-crafted-lit/strchr_true-no-overflow_true-termination.c true 14.6  8.88 523337728
termination-numeric/Ackermann01_true-termination_true-no-overflow.c true 66.6  45.2  891842560
termination-numeric/Binomial_true-termination_false-no-overflow.c timeout 901    847    1123770368
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c true 14.5  8.80 398454784
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c out of memory 520    341    8000000000
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c true 9.64 5.87 279289856
termination-numeric/LogRecursive_true-termination_true-no-overflow.c unknown 75.0  63.3  629288960
termination-numeric/Parts_true-termination_true-no-overflow.c out of memory 511    320    8000000000
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c true 10.2  6.09 274411520
termination-numeric/TwoWay_true-termination_true-no-overflow.c true 26.4  20.7  406102016
termination-numeric/gcd01_true-termination_true-no-overflow.c true 19.7  14.0  473890816
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 9.98 6.02 274018304
termination-numeric/recHanoi02_true-termination_true-no-overflow.c true 12.2  7.31 361713664
termination-numeric/rec_counter1_true-termination_true-no-overflow.c true 15.4  9.46 453812224
termination-numeric/rec_counter3_true-termination_true-no-overflow.c true 16.2  10.0  458084352
termination-numeric/twisted_true-termination_true-no-overflow.c true 12.7  7.63 345825280
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c true 16.0  9.85 435728384
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c true 10.1  6.05 272687104
termination-restricted-15/GCD3_true-termination_true-no-overflow.c true 36.8  29.9  487452672
termination-restricted-15/GCD4_true-termination_true-no-overflow.c true 31.7  24.9  479764480
termination-restricted-15/IntPath_true-termination_true-no-overflow.c true 9.01 5.39 249147392
termination-restricted-15/LogAG_true-termination_true-no-overflow.c true 14.8  9.02 402628608
termination-restricted-15/Log_true-termination_true-no-overflow.c true 15.5  9.48 387362816
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c true 30.7  19.1  631996416
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c true 10.7  6.91 270442496
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c true 14.2  8.58 389873664
termination-restricted-15/Nested_true-termination_true-no-overflow.c true 10.9  6.40 324059136
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c true 19.7  14.0  410013696
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c true 13.7  8.28 380035072
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c true 8.88 5.46 266711040
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c true 10.0  6.07 272916480
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c true 10.2  6.10 284168192
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c true 12.7  7.79 349847552
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c true 12.0  6.98 318386176
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c true 11.7  7.00 323461120
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c true 9.22 5.61 264278016
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c true 10.8  6.45 270090240
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c true 13.7  9.98 271368192
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c true 9.30 5.51 260067328
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c true 9.64 5.88 269393920
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c true 14.4  8.71 380317696
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c true 22.0  18.0  288739328
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c true 13.8  8.33 414695424
termination-restricted-15/Sequence_true-termination_true-no-overflow.c true 10.3  6.21 295436288
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c true 10.1  6.04 265400320
termination-restricted-15/a.01_true-termination_true-no-overflow.c true 13.2  7.98 378560512
termination-restricted-15/a.04_true-termination_true-no-overflow.c true 9.36 5.76 267935744
termination-restricted-15/a.05_true-termination_true-no-overflow.c true 10.4  6.23 268963840
termination-restricted-15/a.06_true-termination_true-no-overflow.c true 12.3  7.61 358805504
termination-restricted-15/a.07_true-termination_true-no-overflow.c true 9.42 5.77 271781888
termination-restricted-15/a.08_true-termination_true-no-overflow.c true 9.22 5.52 267390976
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c true 22.7  18.4  532353024
termination-restricted-15/a.10_true-termination.c true 18.9  13.4  427331584
termination-restricted-15/b.01_true-termination_true-no-overflow.c true 9.19 5.63 257822720
termination-restricted-15/b.02_true-termination_true-no-overflow.c true 9.63 5.77 271048704
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c true 23.1  18.7  505610240
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c true 21.6  17.9  503443456
termination-restricted-15/b.04_true-termination_true-no-overflow.c true 15.2  11.2  272666624
termination-restricted-15/b.05_true-termination_true-no-overflow.c true 10.4  6.17 273281024
termination-restricted-15/b.06_true-termination_true-no-overflow.c true 10.6  6.33 268976128
termination-restricted-15/b.07_true-termination_true-no-overflow.c true 9.83 5.96 273264640
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c true 18.5  11.6  479625216
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c true 9.93 6.12 275533824
termination-restricted-15/b.10_true-termination_true-no-overflow.c true 25.2  19.9  470994944
termination-restricted-15/b.11_true-termination_true-no-overflow.c true 36.7  31.7  477110272
termination-restricted-15/b.12_true-termination_true-no-overflow.c true 11.8  7.09 342859776
termination-restricted-15/b.13_true-termination_true-no-overflow.c true 12.8  7.88 345415680
termination-restricted-15/b.14_true-termination_true-no-overflow.c true 12.1  7.35 359174144
termination-restricted-15/b.15_true-termination_true-no-overflow.c true 12.8  7.88 351408128
termination-restricted-15/b.16_true-termination_true-no-overflow.c true 10.7  6.41 320229376
termination-restricted-15/b.17_true-termination_true-no-overflow.c true 12.9  7.68 333021184
termination-restricted-15/b.18_true-termination_true-no-overflow.c true 12.2  7.25 333869056
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c true 16.7  10.1  484810752
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c true 14.0  8.39 404217856
termination-restricted-15/c.02_true-termination_true-no-overflow.c true 13.0  8.01 383221760
termination-restricted-15/c.03_true-termination_true-no-overflow.c true 35.8  31.2  555233280
termination-restricted-15/c.07_true-termination_true-no-overflow.c true 10.3  6.19 278712320
termination-restricted-15/c.08_true-termination_true-no-overflow.c true 13.8  8.38 377974784
termination-restricted-15/ex3a_true-termination_true-no-overflow.c unknown 22.7  12.5  525262848
termination-restricted-15/ex3b_true-termination_true-no-overflow.c unknown 24.3  13.4  572395520
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c true 10.6  6.24 260161536
termination-restricted-15/java_Break_true-termination_true-no-overflow.c true 10.1  6.11 270036992
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c true 11.6  6.94 339640320
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c true 18.2  11.1  463486976
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c true 12.1  7.08 331984896
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c false(termination) 15.2  9.22 465383424
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c false(termination) 8.54 5.17 244727808
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c false(termination) 10.2  6.14 286015488
termination-restricted-15/Ex02_false-termination_true-no-overflow.c false(termination) 10.1  6.15 288231424
termination-restricted-15/Ex03_false-termination_true-no-overflow.c false(termination) 10.3  6.07 291618816
termination-restricted-15/Ex05_false-termination_true-no-overflow.c false(termination) 8.09 4.88 243630080
termination-restricted-15/Ex06_false-termination_true-no-overflow.c false(termination) 11.7  7.06 346820608
termination-restricted-15/Ex07_false-termination_true-no-overflow.c false(termination) 11.6  7.03 338046976
termination-restricted-15/Ex08_false-termination_true-no-overflow.c false(termination) 46.1  29.0  737816576
termination-restricted-15/Flip2_false-termination_true-no-overflow.c false(termination) 18.8  12.2  452018176
termination-restricted-15/Flip_false-termination_true-no-overflow.c false(termination) 10.3  6.45 266526720
termination-restricted-15/GCD2_false-termination_true-no-overflow.c false(termination) 7.79 4.71 243290112
termination-restricted-15/GCD_false-termination_true-no-overflow.c false(termination) 8.27 5.04 244142080
termination-restricted-15/Loop_false-termination_true-no-overflow.c false(termination) 7.61 4.69 241995776
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c false(termination) 18.4  10.4  494059520
termination-restricted-15/NO_00_false-termination_true-no-overflow.c false(termination) 8.15 4.82 242540544
termination-restricted-15/NO_01_false-termination_true-no-overflow.c false(termination) 10.2  6.10 284872704
termination-restricted-15/NO_02_false-termination_true-no-overflow.c false(termination) 8.16 4.97 247255040
termination-restricted-15/NO_03_false-termination_true-no-overflow.c false(termination) 8.37 5.02 250355712
termination-restricted-15/NO_04_false-termination_true-no-overflow.c false(termination) 14.8  9.15 401690624
termination-restricted-15/NO_13_false-termination_true-no-overflow.c false(termination) 89.1  58.8  845012992
termination-restricted-15/NO_21_false-termination_true-no-overflow.c false(termination) 7.69 4.66 242085888
termination-restricted-15/NO_22_false-termination_true-no-overflow.c false(termination) 81.1  53.7  878108672
termination-restricted-15/NO_23_false-termination_true-no-overflow.c false(termination) 14.7  8.94 477728768
termination-restricted-15/NO_24_false-termination_true-no-overflow.c unknown 18.0  10.2  516472832
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c false(termination) 157    119    1262747648
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c false(termination) 52.2  32.5  751280128
termination-restricted-15/Sunset_false-termination_true-no-overflow.c false(termination) 24.2  15.1  589643776
termination-restricted-15/Swingers_false-termination_true-no-overflow.c unknown 28.8  22.0  515473408
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c false(termination) 8.28 5.03 248664064
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c false(termination) 54.3  35.1  845312000
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c false(termination) 53.9  34.9  793755648
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c false(termination) 8.93 5.46 277377024
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c false(termination) 9.99 6.08 285736960
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
total 249 13000 10400 142819905536
    correct results 227 4220 2850 89029877760
        correct true 176 3190 2180 68901584896
        correct false 51 1030 669 20128292864
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (249 tasks, max score: 443) 403
Run set sv-comp19_prop-termination.Termination-MainControlFlow