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
Options --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c 8.44 5.09 249176064
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 7.63 4.58 246382592
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c 8.81 5.28 249585664
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 70.3  60.6  594124800
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 7.73 4.67 248332288
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 8.27 5.23 246759424
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 14.2  8.62 440320000
termination-crafted/Mysore_false-termination_true-valid-memsafety.c 48.8  38.0  705236992
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c 10.5  6.33 300916736
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 18.0  12.1  509321216
termination-crafted/NonTermination3_false-termination_false-valid-deref.c 23.9  15.5  512438272
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 23.5  15.7  516702208
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 7.67 4.70 245329920
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c 8.22 4.94 244858880
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c 7.70 4.60 238309376
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 7.50 4.49 250105856
termination-crafted/2Nested_true-termination_true-valid-memsafety.c 9.50 5.78 265838592
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 86.8  63.0  845213696
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c 23.3  18.7  305983488
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c 292    203    8000000000
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 900    865    849117184
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 900    867    882765824
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 9.83 5.97 281657344
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 11.5  6.79 365678592
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c 13.6  9.31 283717632
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 15.2  10.6  291852288
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 12.5  7.50 339152896
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 11.6  6.73 321146880
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c 84.7  58.2  1224671232
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 10.3  6.36 267898880
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c 28.8  22.0  730996736
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c 56.5  42.3  1197318144
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 900    866    850280448
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c 900    865    887885824
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c 10.7  6.33 296140800
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 39.8  24.7  710107136
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 63.2  53.7  634138624
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 12.1  6.95 318582784
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 901    723    7436521472
termination-crafted/Mysore_true-termination_true-valid-memsafety.c 11.8  7.87 275759104
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 36.8  25.7  671490048
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 13.9  8.68 470814720
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 22.9  14.2  585756672
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 649    517    8000000000
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 14.1  8.37 388894720
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 12.2  7.27 327663616
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 18.2  11.4  497979392
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c 14.5  8.84 438177792
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c 18.7  12.1  428564480
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c 16.5  10.9  425295872
termination-crafted/Singapore_true-termination_true-valid-memsafety.c 26.1  20.2  380375040
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c 24.5  19.4  488697856
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 11.2  6.71 322068480
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c 11.0  6.54 321331200
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c 10.8  6.50 316465152
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 29.2  18.1  594870272
termination-crafted/Thun_true-termination_true-valid-memsafety.c 10.1  6.03 277757952
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c 39.0  33.0  579395584
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c 39.5  32.9  678866944
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 9.27 5.60 265723904
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 7.24 4.52 231763968
termination-crafted/aaron2_true-termination_true-valid-memsafety.c 11.2  6.70 275197952
termination-crafted/aaron3_true-termination_true-valid-memsafety.c 33.6  27.4  466616320
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 10.4  6.22 269987840
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 10.5  6.21 265285632
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 8.86 5.18 245030912
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 8.29 4.97 248143872
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 9.36 5.53 247660544
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 10.6  6.36 277671936
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 20.4  11.5  502755328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 20.7  13.0  513564672
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 14.7  8.92 414318592
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 10.3  6.22 256774144
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 9.34 5.65 261783552
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 30.6  23.1  455585792
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 34.1  26.1  512827392
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 9.60 5.83 270548992
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 10.1  6.14 282386432
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 14.8  9.13 444866560
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 14.5  9.01 422694912
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 14.2  8.75 432160768
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 14.8  9.08 430170112
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 12.5  7.63 394358784
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 14.2  8.89 404332544
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 11.8  7.16 331333632
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 21.2  13.5  510971904
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 14.1  8.70 423493632
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 18.0  11.6  441700352
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 11.3  7.68 275730432
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 8.69 5.26 253882368
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 10.4  6.25 266149888
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 9.08 5.63 273817600
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 10.6  6.36 286924800
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 9.04 5.51 263753728
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 12.5  8.37 275001344
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 14.2  8.69 450060288
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 16.6  10.5  481267712
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 19.6  12.2  453320704
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 18.8  13.6  437940224
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 14.3  8.67 414785536
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 18.5  12.6  408068096
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 12.8  7.82 407511040
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 58.0  45.2  662376448
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 9.16 5.54 264310784
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 11.6  7.84 272461824
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 10.9  6.42 268828672
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 23.5  13.2  683941888
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 9.94 5.97 264245248
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 9.37 5.67 265994240
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 21.5  13.0  489775104
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 29.6  20.7  490831872
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 57.8  48.0  597495808
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 59.7  35.5  1567453184
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 9.67 5.88 267845632
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 11.8  7.12 345931776
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 9.64 5.79 257028096
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 27.7  21.7  472600576
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 8.50 5.21 252555264
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 13.4  8.16 385982464
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 13.8  8.36 404975616
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 900    744    1028046848
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 16.3  9.81 438415360
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 16.9  10.7  475439104
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 11.6  6.80 303919104
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 16.7  10.6  516321280
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 177    147    1343561728
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 12.1  7.38 418910208
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 41.0  28.3  735981568
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 67.7  44.7  1096015872
termination-crafted-lit/genady_true-termination_true-no-overflow.c 9.12 5.50 259575808
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 14.6  8.88 523337728
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 66.6  45.2  891842560
termination-numeric/Binomial_true-termination_false-no-overflow.c 901    847    1123770368
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 14.5  8.80 398454784
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 520    341    8000000000
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 9.64 5.87 279289856
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 75.0  63.3  629288960
termination-numeric/Parts_true-termination_true-no-overflow.c 511    320    8000000000
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 10.2  6.09 274411520
termination-numeric/TwoWay_true-termination_true-no-overflow.c 26.4  20.7  406102016
termination-numeric/gcd01_true-termination_true-no-overflow.c 19.7  14.0  473890816
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 9.98 6.02 274018304
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 12.2  7.31 361713664
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 15.4  9.46 453812224
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 16.2  10.0  458084352
termination-numeric/twisted_true-termination_true-no-overflow.c 12.7  7.63 345825280
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c 16.0  9.85 435728384
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c 10.1  6.05 272687104
termination-restricted-15/GCD3_true-termination_true-no-overflow.c 36.8  29.9  487452672
termination-restricted-15/GCD4_true-termination_true-no-overflow.c 31.7  24.9  479764480
termination-restricted-15/IntPath_true-termination_true-no-overflow.c 9.01 5.39 249147392
termination-restricted-15/LogAG_true-termination_true-no-overflow.c 14.8  9.02 402628608
termination-restricted-15/Log_true-termination_true-no-overflow.c 15.5  9.48 387362816
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c 30.7  19.1  631996416
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c 10.7  6.91 270442496
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c 14.2  8.58 389873664
termination-restricted-15/Nested_true-termination_true-no-overflow.c 10.9  6.40 324059136
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c 19.7  14.0  410013696
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c 13.7  8.28 380035072
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c 8.88 5.46 266711040
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c 10.0  6.07 272916480
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c 10.2  6.10 284168192
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c 12.7  7.79 349847552
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c 12.0  6.98 318386176
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c 11.7  7.00 323461120
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c 9.22 5.61 264278016
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c 10.8  6.45 270090240
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c 13.7  9.98 271368192
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c 9.30 5.51 260067328
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c 9.64 5.88 269393920
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c 14.4  8.71 380317696
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c 22.0  18.0  288739328
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c 13.8  8.33 414695424
termination-restricted-15/Sequence_true-termination_true-no-overflow.c 10.3  6.21 295436288
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c 10.1  6.04 265400320
termination-restricted-15/a.01_true-termination_true-no-overflow.c 13.2  7.98 378560512
termination-restricted-15/a.04_true-termination_true-no-overflow.c 9.36 5.76 267935744
termination-restricted-15/a.05_true-termination_true-no-overflow.c 10.4  6.23 268963840
termination-restricted-15/a.06_true-termination_true-no-overflow.c 12.3  7.61 358805504
termination-restricted-15/a.07_true-termination_true-no-overflow.c 9.42 5.77 271781888
termination-restricted-15/a.08_true-termination_true-no-overflow.c 9.22 5.52 267390976
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c 22.7  18.4  532353024
termination-restricted-15/a.10_true-termination.c 18.9  13.4  427331584
termination-restricted-15/b.01_true-termination_true-no-overflow.c 9.19 5.63 257822720
termination-restricted-15/b.02_true-termination_true-no-overflow.c 9.63 5.77 271048704
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c 23.1  18.7  505610240
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c 21.6  17.9  503443456
termination-restricted-15/b.04_true-termination_true-no-overflow.c 15.2  11.2  272666624
termination-restricted-15/b.05_true-termination_true-no-overflow.c 10.4  6.17 273281024
termination-restricted-15/b.06_true-termination_true-no-overflow.c 10.6  6.33 268976128
termination-restricted-15/b.07_true-termination_true-no-overflow.c 9.83 5.96 273264640
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c 18.5  11.6  479625216
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c 9.93 6.12 275533824
termination-restricted-15/b.10_true-termination_true-no-overflow.c 25.2  19.9  470994944
termination-restricted-15/b.11_true-termination_true-no-overflow.c 36.7  31.7  477110272
termination-restricted-15/b.12_true-termination_true-no-overflow.c 11.8  7.09 342859776
termination-restricted-15/b.13_true-termination_true-no-overflow.c 12.8  7.88 345415680
termination-restricted-15/b.14_true-termination_true-no-overflow.c 12.1  7.35 359174144
termination-restricted-15/b.15_true-termination_true-no-overflow.c 12.8  7.88 351408128
termination-restricted-15/b.16_true-termination_true-no-overflow.c 10.7  6.41 320229376
termination-restricted-15/b.17_true-termination_true-no-overflow.c 12.9  7.68 333021184
termination-restricted-15/b.18_true-termination_true-no-overflow.c 12.2  7.25 333869056
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c 16.7  10.1  484810752
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c 14.0  8.39 404217856
termination-restricted-15/c.02_true-termination_true-no-overflow.c 13.0  8.01 383221760
termination-restricted-15/c.03_true-termination_true-no-overflow.c 35.8  31.2  555233280
termination-restricted-15/c.07_true-termination_true-no-overflow.c 10.3  6.19 278712320
termination-restricted-15/c.08_true-termination_true-no-overflow.c 13.8  8.38 377974784
termination-restricted-15/ex3a_true-termination_true-no-overflow.c 22.7  12.5  525262848
termination-restricted-15/ex3b_true-termination_true-no-overflow.c 24.3  13.4  572395520
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c 10.6  6.24 260161536
termination-restricted-15/java_Break_true-termination_true-no-overflow.c 10.1  6.11 270036992
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c 11.6  6.94 339640320
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c 18.2  11.1  463486976
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c 12.1  7.08 331984896
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c 15.2  9.22 465383424
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c 8.54 5.17 244727808
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c 10.2  6.14 286015488
termination-restricted-15/Ex02_false-termination_true-no-overflow.c 10.1  6.15 288231424
termination-restricted-15/Ex03_false-termination_true-no-overflow.c 10.3  6.07 291618816
termination-restricted-15/Ex05_false-termination_true-no-overflow.c 8.09 4.88 243630080
termination-restricted-15/Ex06_false-termination_true-no-overflow.c 11.7  7.06 346820608
termination-restricted-15/Ex07_false-termination_true-no-overflow.c 11.6  7.03 338046976
termination-restricted-15/Ex08_false-termination_true-no-overflow.c 46.1  29.0  737816576
termination-restricted-15/Flip2_false-termination_true-no-overflow.c 18.8  12.2  452018176
termination-restricted-15/Flip_false-termination_true-no-overflow.c 10.3  6.45 266526720
termination-restricted-15/GCD2_false-termination_true-no-overflow.c 7.79 4.71 243290112
termination-restricted-15/GCD_false-termination_true-no-overflow.c 8.27 5.04 244142080
termination-restricted-15/Loop_false-termination_true-no-overflow.c 7.61 4.69 241995776
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c 18.4  10.4  494059520
termination-restricted-15/NO_00_false-termination_true-no-overflow.c 8.15 4.82 242540544
termination-restricted-15/NO_01_false-termination_true-no-overflow.c 10.2  6.10 284872704
termination-restricted-15/NO_02_false-termination_true-no-overflow.c 8.16 4.97 247255040
termination-restricted-15/NO_03_false-termination_true-no-overflow.c 8.37 5.02 250355712
termination-restricted-15/NO_04_false-termination_true-no-overflow.c 14.8  9.15 401690624
termination-restricted-15/NO_13_false-termination_true-no-overflow.c 89.1  58.8  845012992
termination-restricted-15/NO_21_false-termination_true-no-overflow.c 7.69 4.66 242085888
termination-restricted-15/NO_22_false-termination_true-no-overflow.c 81.1  53.7  878108672
termination-restricted-15/NO_23_false-termination_true-no-overflow.c 14.7  8.94 477728768
termination-restricted-15/NO_24_false-termination_true-no-overflow.c 18.0  10.2  516472832
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c 157    119    1262747648
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c 52.2  32.5  751280128
termination-restricted-15/Sunset_false-termination_true-no-overflow.c 24.2  15.1  589643776
termination-restricted-15/Swingers_false-termination_true-no-overflow.c 28.8  22.0  515473408
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c 8.28 5.03 248664064
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c 54.3  35.1  845312000
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c 53.9  34.9  793755648
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c 8.93 5.46 277377024
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c 9.99 6.08 285736960
termination-libowfat/atoi_true-termination.c.i 15.6  9.16 423333888
termination-libowfat/atol_true-termination.c.i 12.7  7.55 427016192
termination-libowfat/atoll_true-termination.c.i 13.6  8.10 411340800
termination-libowfat/basename_true-termination.c.i 679    507    8000000000
termination-libowfat/build_fullname_true-termination.c.i 53.8  36.8  833486848
termination-libowfat/dirname_true-termination.c.i 686    540    8000004096
termination-libowfat/skip_to_true-termination.c.i 72.5  40.6  2317811712
termination-libowfat/stpcpy_true-termination.c.i 15.5  9.32 512466944
termination-libowfat/strcasecmp_true-termination.c.i 17.8  10.8  522412032
termination-libowfat/strcat_short_true-termination.c.i 24.5  15.2  601284608
termination-libowfat/strcat_true-termination.c.i 23.3  14.6  594128896
termination-libowfat/strchr_short_true-termination.c.i 14.3  8.54 500977664
termination-libowfat/strchr_true-termination.c.i 30.3  21.3  734416896
termination-libowfat/strcmp_short_true-termination.c.i 15.3  9.33 517283840
termination-libowfat/strcpy_small_true-termination.c.i 14.8  9.06 516571136
termination-libowfat/strcspn_true-termination.c.i 36.2  23.9  778829824
termination-libowfat/strdup_true-termination.c.i 30.9  20.0  675282944
termination-libowfat/strlcat_true-termination.c.i 28.3  18.6  696401920
termination-libowfat/strlcpy_true-termination.c.i 29.0  18.4  691113984
termination-libowfat/strlen_true-termination.c.i 12.3  7.26 393252864
termination-libowfat/strpbrk_true-termination.c.i 43.7  25.0  1053569024
termination-libowfat/strrchr_short_true-termination.c.i 14.9  8.85 519254016
termination-libowfat/strrchr_true-termination.c.i 90.0  55.6  3430821888
termination-libowfat/strspn_true-termination.c.i 30.0  18.9  693628928
termination-libowfat/strstr_true-termination.c.i 76.8  51.8  922185728
termination-libowfat/strtok_r_true-termination.c.i 117    84.7  1176780800
termination-libowfat/strtol_true-termination.c.i 23.9  15.2  597016576
termination-libowfat/strtoul_true-termination.c.i 15.6  9.53 535138304
termination-libowfat/strtoull_true-termination.c.i 16.5  9.84 515461120
termination-libowfat/wcsrchr_true-termination.c.i 13.8  8.13 449093632
termination-libowfat/wcsstr_true-termination.c.i 8.95 5.17 257626112
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i 9.43 5.38 258498560
termination-memory-alloca/Velroyen-alloca_false-termination.c.i 14.4  8.69 485482496
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i 33.3  21.0  667938816
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i 42.7  28.6  741863424
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i 901    725    2186014720
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i 13.6  8.13 440754176
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i 18.6  11.1  512438272
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i 25.7  16.1  591048704
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i 111    87.5  944963584
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i 415    383    1144455168
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i 900    797    1198133248
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i 370    347    897458176
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i 14.2  8.34 370757632
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i 22.8  13.6  535375872
termination-memory-alloca/Masse-alloca_true-termination.c.i 20.4  11.4  678502400
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i 133    110    1023688704
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i 197    163    1580265472
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i 671    545    8000000000
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i 34.1  22.8  672067584
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i 58.3  41.3  760565760
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i 33.8  21.8  653697024
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i 901    750    927621120
termination-memory-alloca/Urban-alloca_true-termination.c.i 43.9  29.0  771870720
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i 46.9  32.4  776560640
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i 14.9  9.07 529600512
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i 16.1  9.71 523436032
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i 19.5  12.6  577118208
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i 19.6  12.5  582123520
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i 16.3  9.97 517001216
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i 16.3  10.1  519774208
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i 26.2  16.2  592605184
termination-memory-alloca/add_last-alloca_true-termination.c.i 13.4  7.78 437149696
termination-memory-alloca/array01-alloca_true-termination.c.i 18.6  11.2  525045760
termination-memory-alloca/array02-alloca_true-termination.c.i 26.1  15.8  626094080
termination-memory-alloca/array03-alloca_true-termination.c.i 23.3  13.7  605536256
termination-memory-alloca/aviad_true-alloca_true-termination.c.i 18.5  11.5  515493888
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i 16.3  9.74 523296768
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i 14.9  9.16 517767168
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 15.3  9.13 515317760
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i 15.5  9.20 519041024
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i 15.9  9.75 515342336
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i 15.6  9.48 519278592
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i 15.6  9.58 515485696
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i 23.4  14.8  591314944
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 65.1  37.2  1677053952
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i 41.4  27.6  744062976
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i 25.4  16.2  640794624
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i 42.4  27.4  774336512
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i 28.2  17.7  612335616
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i 39.8  25.9  712777728
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i 41.8  29.8  705196032
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i 30.1  19.4  682209280
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i 21.4  13.6  593252352
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i 44.4  28.8  753283072
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i 31.5  19.9  672579584
termination-memory-alloca/bubblesort-alloca_true-termination.c.i 23.7  14.4  586874880
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i 900    858    963432448
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i 62.0  42.2  752754688
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i 901    844    901652480
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i 35.5  22.7  676401152
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i 26.6  17.5  643100672
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i 901    842    974450688
termination-memory-alloca/count_down-alloca_true-termination.c.i 23.6  14.3  577925120
termination-memory-alloca/cstrcat-alloca_true-termination.c.i 15.9  9.58 514899968
termination-memory-alloca/cstrchr-alloca_true-termination.c.i 15.2  9.14 509349888
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i 15.4  9.54 515776512
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i 15.7  9.56 516001792
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i 123    111    727158784
termination-memory-alloca/cstrlen-alloca_true-termination.c.i 12.7  7.51 414371840
termination-memory-alloca/cstrncat-alloca_true-termination.c.i 15.4  9.28 514785280
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i 16.5  10.2  525549568
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i 23.6  14.8  631676928
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i 33.4  22.3  666673152
termination-memory-alloca/cstrspn-alloca_true-termination.c.i 37.6  24.1  713863168
termination-memory-alloca/diff-alloca_true-termination.c.i 32.8  21.3  684302336
termination-memory-alloca/easySum-alloca_true-termination.c.i 15.4  9.65 518373376
termination-memory-alloca/ex1-alloca_true-termination.c.i 16.1  9.89 518426624
termination-memory-alloca/ex2-alloca_true-termination.c.i 73.9  46.4  1556156416
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i 33.2  18.6  754720768
termination-memory-alloca/ex3b-alloca_true-termination.c.i 35.8  20.7  809996288
termination-memory-alloca/fermat-alloca_true-termination.c.i 900    875    775643136
termination-memory-alloca/flag-alloca_true-termination.c.i 31.4  18.5  743444480
termination-memory-alloca/gcd1-alloca_true-termination.c.i 102    76.9  922992640
termination-memory-alloca/genady-alloca_true-termination.c.i 14.0  8.43 459980800
termination-memory-alloca/insertionsort-alloca_true-termination.c.i 20.9  12.9  546512896
termination-memory-alloca/java_AG313-alloca_true-termination.c.i 18.9  11.8  520077312
termination-memory-alloca/java_Break-alloca_true-termination.c.i 13.1  7.86 441798656
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i 25.3  15.5  614821888
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i 77.8  53.5  798605312
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i 14.2  8.48 493318144
termination-memory-alloca/java_Nested-alloca_true-termination.c.i 140    118    861548544
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i 901    793    959840256
termination-memory-alloca/lis-alloca_true-termination.c.i 900    864    3179831296
termination-memory-alloca/min_rf-alloca_true-termination.c.i 309    265    7376719872
termination-memory-alloca/mult_array-alloca_true-termination.c.i 19.6  12.1  526708736
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i 13.2  7.82 429731840
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i 15.1  8.94 501243904
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i 14.1  8.51 475824128
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i 14.2  8.49 461307904
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i 14.4  8.84 507809792
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i 42.2  31.5  683151360
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i 15.2  9.20 511447040
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i 16.2  9.86 513777664
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i 15.2  9.32 536436736
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i 53.1  30.6  1337446400
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i 30.0  18.9  681496576
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i 13.6  8.06 418729984
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i 17.6  10.5  524337152
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i 16.8  10.3  515301376
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i 18.4  11.1  520495104
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i 14.2  8.56 451293184
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i 52.7  41.4  693256192
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i 55.5  31.7  1435586560
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i 51.8  36.3  868175872
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i 12.7  7.55 390565888
termination-memory-alloca/selectionsort-alloca_true-termination.c.i 21.3  13.1  591699968
termination-memory-alloca/stroeder1-alloca_true-termination.c.i 12.8  7.51 370688000
termination-memory-alloca/stroeder2-alloca_true-termination.c.i 18.8  11.4  526966784
termination-memory-alloca/strreplace-alloca_true-termination.c.i 17.2  10.5  523902976
termination-memory-alloca/subseq-alloca_true-termination.c.i 16.2  9.93 509853696
termination-memory-alloca/substring-alloca_true-termination.c.i 30.9  20.4  703033344
termination-memory-alloca/twisted-alloca_true-termination.c.i 124    96.0  927301632
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i 17.2  10.6  516276224
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i 16.6  10.1  515047424
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i 16.2  9.73 529162240
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i 21.0  13.2  602066944
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i 60.7  34.9  1047851008
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i 29.2  16.8  724791296
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i 39.3  22.6  837959680
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i 43.2  24.7  1088491520
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i 15.6  9.50 523653120
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i 570    536    1834979328
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i 126    106    1564073984
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i 539    510    2076561408
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i 13.1  7.76 409513984
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i 377    321    4867657728
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i 78.9  48.7  1617383424
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i 75.3  46.8  2236727296
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i 611    544    5286113280
termination-15/add_first_alloca_true-termination.c.i 12.6  7.42 412991488
termination-15/array05_alloca_true-termination.c.i 25.7  14.3  657530880
termination-15/array06_alloca_true-termination.c.i 15.3  8.99 496279552
termination-15/array07_alloca_true-termination.c.i 15.4  8.99 501911552
termination-15/array08_alloca_true-termination.c.i 36.3  20.2  752398336
termination-15/array09_alloca_true-termination.c.i 34.4  19.2  756178944
termination-15/array10_alloca_true-termination.c.i 23.6  13.3  654815232
termination-15/array12_alloca_true-termination.c.i 900    801    1052368896
termination-15/array13_alloca_true-termination.c.i 901    790    869863424
termination-15/array16_alloca_fixed_true-termination.c.i 900    799    1322082304
termination-15/array17_alloca_true-termination.c.i 900    806    794628096
termination-15/array18_alloca_true-termination.c.i 32.5  18.3  750501888
termination-15/count_up_alloca_true-termination.c.i 22.4  13.7  573378560
termination-15/count_up_and_down_alloca_true-termination.c.i 19.8  11.8  513060864
termination-15/cstrcat_diffterm_alloca_true-termination.c.i 15.2  9.13 508612608
termination-15/cstrcat_malloc_true-termination.c.i 16.0  9.51 519524352
termination-15/cstrcat_mixed_alloca_true-termination.c.i 14.9  9.09 520208384
termination-15/cstrcat_reverse_alloca_true-termination.c.i 15.1  9.07 515497984
termination-15/cstrchr_diffterm_alloca_true-termination.c.i 14.2  8.58 463376384
termination-15/cstrchr_malloc_true-termination.c.i 15.3  8.97 503922688
termination-15/cstrchr_reverse_alloca_true-termination.c.i 13.6  8.23 462315520
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i 16.1  9.86 519819264
termination-15/cstrcmp_malloc_true-termination.c.i 15.3  9.30 523665408
termination-15/cstrcmp_mixed_alloca_true-termination.c.i 16.1  9.68 511913984
termination-15/cstrcmp_reverse_alloca_true-termination.c.i 15.5  9.44 518004736
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i 15.1  9.10 507404288
termination-15/cstrcpy_malloc_true-termination.c.i 15.4  9.38 521203712
termination-15/cstrcpy_mixed_alloca_true-termination.c.i 16.2  9.74 521486336
termination-15/cstrcpy_reverse_alloca_true-termination.c.i 15.3  9.23 511381504
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i 47.6  36.0  714489856
termination-15/cstrcspn_malloc_true-termination.c.i 123    112    719327232
termination-15/cstrcspn_mixed_alloca_true-termination.c.i 153    138    754393088
termination-15/cstrcspn_reverse_alloca_true-termination.c.i 38.9  24.7  689762304
termination-15/cstrlen_diffterm_alloca_true-termination.c.i 13.7  7.95 390070272
termination-15/cstrlen_malloc_true-termination.c.i 12.7  7.54 410206208
termination-15/cstrlen_reverse_alloca_true-termination.c.i 12.3  7.30 389357568
termination-15/cstrncat_diffterm_alloca_true-termination.c.i 15.2  9.25 510754816
termination-15/cstrncat_malloc_true-termination.c.i 15.1  9.18 519958528
termination-15/cstrncat_mixed_alloca_true-termination.c.i 16.2  9.74 510140416
termination-15/cstrncat_reverse_alloca_true-termination.c.i 15.6  9.31 514019328
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i 16.0  9.85 516259840
termination-15/cstrncmp_malloc_true-termination.c.i 16.9  10.2  527527936
termination-15/cstrncmp_mixed_alloca_true-termination.c.i 17.3  10.4  511688704
termination-15/cstrncmp_reverse_alloca_true-termination.c.i 16.6  10.1  502624256
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i 21.7  13.7  594214912
termination-15/cstrncpy_malloc_true-termination.c.i 20.6  13.2  596410368
termination-15/cstrncpy_mixed_alloca_true-termination.c.i 21.3  13.5  606642176
termination-15/cstrncpy_reverse_alloca_true-termination.c.i 21.6  13.7  618401792
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i 31.2  21.1  672096256
termination-15/cstrpbrk_malloc_true-termination.c.i 29.9  20.2  674873344
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i 64.7  42.4  1295810560
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i 31.9  21.2  673837056
termination-15/cstrspn_diffterm_alloca_true-termination.c.i 32.6  21.6  678158336
termination-15/cstrspn_malloc_true-termination.c.i 35.8  23.2  701943808
termination-15/cstrspn_mixed_alloca_true-termination.c.i 33.5  22.2  679763968
termination-15/cstrspn_reverse_alloca_true-termination.c.i 68.3  44.4  1387991040
termination-15/array04_alloca_false-termination.c.i 14.0  7.99 397271040
termination-15/array14_alloca_false-termination.c.i 21.6  13.0  520232960
termination-15/array15_alloca_false-termination.c.i 21.9  13.2  518533120
termination-15/array16_alloca_original_false-termination.c.i 33.9  21.1  697061376
termination-15/array19_alloca_false-termination.c.i 13.1  7.81 411381760
termination-15/array20_alloca_false-termination.c.i 16.8  9.65 439345152
termination-recursive-malloc/chunk1_true-termination.c.i 12.4  7.49 397832192
termination-recursive-malloc/chunk2_true-termination.c.i 137    110    1758638080
termination-recursive-malloc/chunk3_true-termination.c.i 294    263    1977843712
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i 51.3  33.5  740700160
termination-recursive-malloc/mergeSort_true-termination.c.i 86.6  59.6  1381040128
termination-recursive-malloc/mutual_simple2_true-termination.c.i 15.7  9.88 512311296
termination-recursive-malloc/mutual_simple_true-termination.c.i 13.6  8.21 424599552
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i 17.8  11.1  526516224
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i 34.3  22.5  697462784
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i 36.5  24.8  693501952
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i 37.4  25.4  703832064
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i 39.9  26.3  673804288
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i 716    694    1280364544
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i 66.8  46.2  1160134656
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i 33.5  22.3  689065984
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i 17.1  10.8  508526592
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i 900    871    2263293952
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i 72.9  56.6  959729664
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i 60.7  35.6  1064837120
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i 15.1  9.55 504348672
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i 53.3  30.1  1079042048
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i 66.3  38.5  1482588160
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i 900    873    826560512
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i 20.1  12.7  579485696
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i 15.7  9.73 520146944
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i 12.9  7.66 376446976
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i 31.7  19.6  700145664
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 17.2  10.5  513974272
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 22.5  14.0  609591296
array-examples/standard_sentinel_true-unreach-call_true-termination.i 10.9  6.48 324513792
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 13.4  8.13 425164800
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 15.3  9.28 482045952
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 900    858    892067840
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 900    865    889622528
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 14.4  8.51 431091712
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 13.2  8.07 448212992
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 16.1  9.54 464453632
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 7.08 4.44 245501952
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 8.24 4.87 243687424
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 7.74 4.72 245211136
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 8.20 4.95 244690944
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 7.53 4.61 247971840
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 198    168    1518260224
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 152    123    862814208
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 100    70.3  844374016
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 20.5  12.7  503492608
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 20.0  11.9  503963648
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 20.4  12.0  513748992
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 16.6  10.1  472678400
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 19.0  11.6  473038848
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 19.1  11.6  486424576
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 16.3  9.77 473538560
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 19.4  11.9  478904320
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 6.75 4.18 222404608
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 6.62 4.13 224395264
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 6.90 4.23 226668544
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 6.81 4.18 225349632
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 6.42 4.02 225480704
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 12.3  7.32 355856384
bitvector-regression/signextension2_false-unreach-call_true-termination.c 7.22 4.38 219103232
bitvector-regression/signextension2_true-unreach-call_true-termination.c 6.50 4.11 221036544
bitvector-regression/signextension_false-unreach-call_true-termination.c 6.85 4.16 226619392
bitvector-regression/signextension_true-unreach-call_true-termination.c 6.63 4.09 223891456
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 31.4  22.7  578326528
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 24.8  14.1  559661056
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 25.1  14.4  546222080
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 15.3  8.94 453132288
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 18.9  11.1  519913472
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 18.2  10.8  510943232
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 20.1  11.7  530997248
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 19.8  11.7  536522752
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 9.58 5.70 257232896
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 11.1  6.50 324702208
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 11.8  6.87 323399680
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 86.3  61.1  1102860288
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 68.5  41.9  1263054848
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 71.3  44.3  1533935616
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 66.8  40.6  1191563264
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 78.4  48.3  1582432256
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 57.3  33.1  904007680
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 57.9  34.0  975384576
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 29.4  17.4  608038912
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 15.3  9.36 469073920
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 59.0  34.5  893235200
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 76.1  45.0  1371189248
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 63.3  37.7  974929920
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 65.3  38.9  1098248192
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 68.7  40.6  1502531584
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 65.7  38.8  1227661312
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 58.2  34.5  942833664
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 68.4  41.8  1101856768
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 45.7  26.0  852619264
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 44.7  25.6  824975360
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 55.4  32.1  901316608
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 60.7  35.1  911753216
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 59.1  34.7  874233856
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 105    62.7  979337216
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 56.7  32.7  896303104
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 63.6  36.2  961531904
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 16.2  9.01 553811968
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 16.6  9.32 542679040
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 21.5  11.7  743149568
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 24.3  13.5  1146613760
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 22.9  12.3  765190144
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 35.8  20.3  2355535872
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 27.1  15.0  1183334400
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 58.7  35.2  3624976384
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 9.73 5.61 267542528
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 9.50 5.69 298086400
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 10.8  6.36 316727296
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 12.4  7.20 364490752
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 12.8  7.47 448999424
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 53.5  32.4  925622272
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 85.6  64.6  1151922176
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 158    118    8000004096
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 180    118    8000000000
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 154    111    8000000000
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 169    103    8000000000
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 127    86.8  8000000000
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 154    118    8000000000
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 135    86.3  8000000000
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 170    113    8000000000
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 160    100    8000000000
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 171    106    8000000000
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 168    112    8000000000
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 150    112    8000000000
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 159    102    8000000000
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 161    107    8000000000
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 168    117    8000000000
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 151    102    8000000000
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 131    96.7  8000000000
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 163    107    8000000000
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 161    101    8000000000
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 174    111    8000000000
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 146    96.0  8000000000
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 163    101    8000000000
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 159    101    8000000000
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 154    96.6  8000000000
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 169    112    8000000000
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 147    101    8000000000
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 158    102    8000000000
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 174    109    8000000000
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 165    112    8000000000
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 165    107    8000004096
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 130    80.9  8000000000
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 149    96.2  8000000000
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 159    112    8000004096
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 162    101    8000000000
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 165    112    8000000000
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 145    101    8000000000
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 128    86.4  8000000000
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 166    112    8000000000
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 137    91.2  8000000000
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 133    91.5  8000000000
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 138    96.6  8000000000
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 168    112    8000000000
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 135    86.4  8000000000
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 158    112    8000000000
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 163    122    8000000000
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 158    106    8000000000
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 165    117    8000000000
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 184    122    8000000000
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 160    105    8000000000
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 154    96.7  8000000000
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 171    103    8000000000
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 157    107    8000000000
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 157    96.3  8000000000
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 167    105    8000000000
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 163    117    8000000000
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 168    105    8000000000
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 147    106    8000000000
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 139    86.0  8000000000
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 148    96.3  8000000000
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 149    96.6  8000000000
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 52.9  31.3  790556672
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 54.2  32.1  787382272
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 49.9  30.0  776151040
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 47.1  28.7  797659136
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 49.9  30.0  816881664
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 47.1  28.5  787906560
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 49.7  29.9  794210304
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 48.8  29.4  788836352
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 51.6  30.8  792969216
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 49.4  29.8  802680832
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 48.6  29.4  795254784
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 48.7  29.7  790011904
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 49.3  29.6  788508672
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 48.8  29.5  776396800
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 47.0  28.7  772759552
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 50.9  30.5  786128896
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 50.0  30.1  796205056
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 51.3  30.6  790028288
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 48.1  29.2  802340864
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 47.7  29.0  809000960
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 51.7  31.0  796712960
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 51.5  30.9  805486592
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 47.8  29.2  789151744
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 50.7  30.5  780562432
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 49.2  29.7  783769600
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 49.3  29.6  802979840
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 52.1  31.1  797851648
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 47.8  29.1  800325632
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 51.3  30.6  791474176
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 48.5  29.3  803950592
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 50.7  30.5  790114304
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 51.2  30.6  796708864
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 50.2  30.2  793931776
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 50.8  30.3  799997952
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 47.5  29.0  796405760
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 49.8  30.1  814604288
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 48.5  29.5  787251200
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 48.3  29.4  795377664
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 48.1  29.2  787382272
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 51.4  30.7  789594112
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 48.8  29.5  795574272
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 46.3  28.4  790528000
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 48.8  29.5  797814784
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 47.6  28.7  802291712
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 49.2  29.8  799723520
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 53.3  31.6  807088128
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 50.6  30.2  793341952
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 49.9  30.1  773865472
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 53.8  31.8  796774400
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 49.6  29.9  791470080
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 48.0  29.1  813391872
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 49.0  29.6  801865728
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 52.3  31.2  779538432
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 47.7  29.2  793923584
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 51.4  30.6  795496448
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 51.8  30.9  789315584
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 53.3  31.8  778571776
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 49.3  30.0  800014336
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 48.5  29.3  799760384
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 51.1  30.5  788578304
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 397    340    8000000000
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 386    334    8000000000
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 388    306    8000000000
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 377    310    8000000000
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 375    310    8000000000
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 375    315    8000000000
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 363    293    8000000000
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 361    306    8000000000
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 377    304    8000000000
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 366    294    8000000000
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 389    317    8000000000
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 380    311    8000000000
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 393    327    8000000000
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 391    320    8000004096
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 363    296    8000000000
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 393    311    8000000000
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 419    332    8000004096
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 382    317    8000000000
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 365    301    8000000000
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c 382    296    3128086528
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c 382    296    3553595392
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 404    314    2657280000
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c 394    304    2923053056
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c 388    303    3155570688
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c 396    305    3038601216
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c 427    337    2632933376
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c 416    320    2792366080
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 416    325    2753077248
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c 399    312    2883407872
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 394    307    2727043072
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 441    347    2653196288
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 419    328    2717474816
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 408    313    3221454848
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 406    309    3172409344
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c 416    329    2882023424
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c 422    331    3213127680
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c 411    319    3142836224
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 414    321    3031949312
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c 434    337    2620981248
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c 419    330    3204444160
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c 403    308    3437400064
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 402    309    2512375808
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c 418    323    3449978880
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c 389    300    3377197056
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c 428    332    3421376512
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c 422    329    2930569216
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 419    321    2755219456
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 398    305    2849538048
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 411    318    2823176192
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c 406    312    3381862400
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 409    312    3371470848
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c 403    309    2908504064
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c 412    320    3171790848
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 402    310    2879692800
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c 421    327    3295375360
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c 426    332    3068891136
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 426    329    2362314752
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c 396    305    3013865472
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 414    312    3124596736
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 427    329    3086426112
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 419    330    3035627520
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c 405    313    3680841728
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 424    325    3146854400
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 405    312    4021104640
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c 406    310    2847674368
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c 389    299    2776784896
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c 407    320    3244134400
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c 413    320    2978320384
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c 400    308    3174387712
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c 396    307    3450355712
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c 404    314    3474329600
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 404    311    2617737216
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c 411    319    2748674048
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 394    305    2804387840
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c 406    309    2709635072
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 414    318    4392620032
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 420    329    2842198016
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 400    307    2981945344
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c 411    315    3285528576
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 900    780    5953708032
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c 24.5  13.0  571437056
psyco/psyco_io_1_true-unreach-call_false-termination.c 9.85 5.80 272887808
psyco/psyco_math_1_true-unreach-call_false-termination.c 11.4  6.72 322588672
psyco/psyco_net_1_false-unreach-call_false-termination.c 73.1  44.9  2121900032
psyco/psyco_security_true-unreach-call_false-termination.c 9.58 5.77 265515008
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i 6.68 4.21 226836480
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i 7.05 4.35 228233216
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i 6.84 4.29 225398784
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i 6.68 4.10 230920192
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i 6.64 4.07 226131968
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i 6.94 4.32 227151872
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i 6.70 4.12 224358400
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i 6.63 4.10 223608832
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i 6.70 4.17 233156608
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i 6.84 4.23 232628224
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i 6.67 4.16 228171776
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i 6.70 4.20 223952896
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i 6.78 4.19 237101056
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i 6.66 4.08 233492480
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i 7.10 4.23 236384256
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i 7.43 4.46 237137920
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i 6.99 4.34 239902720
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i 6.65 4.27 241369088
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i 7.19 4.32 234418176
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i 6.60 4.07 236310528
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i 7.00 4.28 227266560
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i 6.74 4.22 235827200
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i 6.93 4.20 237178880
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i 6.93 4.25 236666880
floats-cdfpl/sine_1_false-unreach-call_true-termination.i 6.63 4.06 225636352
floats-cdfpl/sine_2_false-unreach-call_true-termination.i 6.28 3.99 225648640
floats-cdfpl/sine_3_false-unreach-call_true-termination.i 6.65 4.03 229036032
floats-cdfpl/sine_4_true-unreach-call_true-termination.i 6.52 4.07 228380672
floats-cdfpl/sine_5_true-unreach-call_true-termination.i 6.92 4.25 222711808
floats-cdfpl/sine_6_true-unreach-call_true-termination.i 6.28 3.96 221499392
floats-cdfpl/sine_7_true-unreach-call_true-termination.i 6.79 4.16 223490048
floats-cdfpl/sine_8_true-unreach-call_true-termination.i 6.95 4.20 225521664
floats-cdfpl/square_1_false-unreach-call_true-termination.i 6.93 4.25 228265984
floats-cdfpl/square_2_false-unreach-call_true-termination.i 6.70 4.16 225751040
floats-cdfpl/square_3_false-unreach-call_true-termination.i 6.73 4.19 224632832
floats-cdfpl/square_4_true-unreach-call_true-termination.i 6.24 3.94 221822976
floats-cdfpl/square_5_true-unreach-call_true-termination.i 7.01 4.33 228380672
floats-cdfpl/square_6_true-unreach-call_true-termination.i 6.38 4.09 224514048
floats-cdfpl/square_7_true-unreach-call_true-termination.i 6.66 4.09 226299904
floats-cdfpl/square_8_true-unreach-call_true-termination.i 6.73 4.19 222097408
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i 6.37 4.04 226017280
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i 6.42 3.96 223412224
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i 6.47 4.09 228511744
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i 6.72 4.16 225697792
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i 7.02 4.28 224587776
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i 6.70 4.08 231223296
floats-cbmc-regression/float11_true-unreach-call_true-termination.i 7.24 4.46 241573888
floats-cbmc-regression/float12_true-unreach-call_true-termination.i 6.62 4.10 219467776
floats-cbmc-regression/float13_true-unreach-call_true-termination.i 7.11 4.34 238080000
floats-cbmc-regression/float1_true-unreach-call_true-termination.i 6.77 4.16 227708928
floats-cbmc-regression/float20_true-unreach-call_true-termination.i 7.07 4.33 236404736
floats-cbmc-regression/float22_true-unreach-call_true-termination.i 8.45 5.04 244498432
floats-cbmc-regression/float2_true-unreach-call_true-termination.i 6.77 4.16 230903808
floats-cbmc-regression/float3_true-unreach-call_true-termination.i 6.90 4.27 222822400
floats-cbmc-regression/float5_true-unreach-call_true-termination.i 6.46 4.16 222568448
floats-cbmc-regression/float6_true-unreach-call_true-termination.i 7.49 4.49 244068352
ldv-regression/1_3_true-termination.c_false-unreach-call.i 7.36 4.47 241602560
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 6.92 4.29 236531712
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 6.64 4.17 226779136
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 6.78 4.20 239316992
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 6.57 4.04 237379584
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 8.08 4.71 248090624
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 6.89 4.23 224227328
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 158    141    760967168
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 8.11 4.75 241766400
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 6.56 3.80 226041856
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 7.35 4.39 240041984
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 7.20 4.45 231383040
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 7.04 4.36 238796800
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 6.59 4.16 241274880
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 6.48 4.08 234352640
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 6.64 4.10 236105728
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 6.81 4.19 241262592
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 6.78 4.21 238247936
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 7.11 4.37 237670400
ldv-regression/nested_structure_true-unreach-call_true-termination.i 7.20 4.40 228696064
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 6.58 4.13 227659776
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 6.71 4.14 227344384
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 7.64 4.60 241537024
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 7.57 4.67 241917952
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 7.80 4.55 242769920
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 8.22 4.81 247316480
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 8.11 4.72 245891072
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 8.19 4.86 239947776
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 7.45 4.42 253796352
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 7.02 4.30 235802624
ldv-regression/test_address_true-termination.c_true-unreach-call.i 7.91 4.61 250368000
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 6.33 3.98 218718208
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 7.77 4.62 251187200
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 7.93 4.61 250183680
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 8.29 4.80 247259136
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 7.17 4.40 238571520
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 7.84 4.72 239042560
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 7.01 4.28 236822528
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 7.07 4.34 236969984
ldv-regression/test_union_true-termination.c_true-unreach-call.i 6.84 4.15 237985792
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 7.07 4.36 229285888
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 11.1  6.61 299925504
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 8.61 5.31 267841536
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 7.45 4.42 237891584
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 6.95 4.28 239067136
ldv-regression/stateful_check_false-unreach-call_false-termination.i 8.98 4.99 254500864
ldv-regression/test01_true-unreach-call_true-termination.c 7.39 4.41 238788608
ldv-regression/test02_false-unreach-call_true-termination.c 6.75 4.17 233811968
ldv-regression/test03_true-unreach-call_true-termination.c 6.43 4.00 228257792
ldv-regression/test04_true-unreach-call_true-termination.c 6.77 4.22 237121536
ldv-regression/test05_true-unreach-call_true-termination.c 6.97 4.26 244240384
ldv-regression/test06_false-unreach-call_true-termination.c 7.41 4.50 243138560
ldv-regression/test07_true-unreach-call_true-termination.c 7.02 4.23 230031360
ldv-regression/test08_false-unreach-call_true-termination.c 6.90 4.25 230129664
ldv-regression/test09_true-unreach-call_true-termination.c 6.95 4.20 226451456
ldv-regression/test10_true-unreach-call_true-termination.c 7.36 4.51 242323456
ldv-regression/test11_true-unreach-call_true-termination.c 7.34 4.39 241405952
ldv-regression/test12_false-unreach-call_true-termination.c 6.66 4.15 234229760
ldv-regression/test13_true-unreach-call_true-termination.c 6.75 4.21 229437440
ldv-regression/test14_true-unreach-call_true-termination.c 7.09 4.29 238780416
ldv-regression/test15_true-unreach-call_true-termination.c 6.92 4.28 232919040
ldv-regression/test16_true-unreach-call_true-termination.c 7.09 4.37 237809664
ldv-regression/test17_true-unreach-call_true-termination.c 7.06 4.33 238673920
ldv-regression/test18_true-unreach-call_true-termination.c 6.82 4.16 240209920
ldv-regression/test19_true-unreach-call_true-termination.c 7.56 4.55 239321088
ldv-regression/test20_true-unreach-call_true-termination.c 6.71 4.19 240943104
ldv-regression/test21_false-unreach-call_true-termination.c 7.53 4.52 239849472
ldv-regression/test21_true-unreach-call_true-termination.c 7.17 4.38 239763456
ldv-regression/test24_true-unreach-call_true-termination.c 12.8  7.47 383127552
ldv-regression/test25_false-unreach-call_true-termination.c 900    892    547901440
ldv-regression/test26_false-unreach-call_true-termination.c 6.98 4.30 241197056
ldv-regression/test26_true-unreach-call_true-termination.c 7.25 4.37 230760448
ldv-regression/test27_false-unreach-call_true-termination.c 900    888    627847168
ldv-regression/test27_true-unreach-call_true-termination.c 900    888    637231104
ldv-regression/test28_false-unreach-call_true-termination.c 6.92 3.94 233320448
ldv-regression/test28_true-unreach-call_true-termination.c 7.31 4.41 238276608
ldv-regression/test29_false-unreach-call_true-termination.c 7.26 4.34 241340416
ldv-regression/test29_true-unreach-call_true-termination.c 6.88 4.28 241164288
ldv-regression/test30_false-unreach-call_true-termination.c 6.70 4.13 238415872
ldv-regression/test30_true-unreach-call_true-termination.c 7.05 4.27 239816704
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i 18.5  11.3  519999488
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i 7.95 4.61 254521344
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i 7.49 4.48 249311232
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i 7.46 4.37 245346304
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i 7.64 4.51 251318272
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 42.4  31.1  759468032
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 44.4  32.6  732213248
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i 16.1  9.36 457887744
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i 14.9  8.83 447676416
ldv-sets/test_add_false-unreach-call_true-termination.i 13.2  7.59 366637056
ldv-sets/test_add_true-unreach-call_true-termination.i 12.6  7.43 374730752
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i 21.8  12.9  529743872
loops/for_infinite_loop_1_true-unreach-call_false-termination.i 10.2  6.18 277426176
loops/for_infinite_loop_2_true-unreach-call_false-termination.i 9.73 5.94 275046400
loops/n.c11_true-unreach-call_false-termination.i 19.1  13.1  411299840
loops/nec11_false-unreach-call_false-termination.i 11.0  6.70 335323136
loops/sum03_true-unreach-call_false-termination.i 90.9  71.9  1241595904
loops/trex04_true-unreach-call_false-termination.i 22.7  17.0  355598336
loops/while_infinite_loop_1_true-unreach-call_false-termination.i 7.95 5.02 243253248
loops/while_infinite_loop_2_true-unreach-call_false-termination.i 7.64 4.66 248209408
loops/while_infinite_loop_3_true-unreach-call_false-termination.i 8.02 4.87 244695040
loops/array_false-unreach-call_true-termination.i 23.6  13.2  695558144
loops/array_true-unreach-call_true-termination.i 23.0  12.9  644100096
loops/bubble_sort_true-unreach-call_true-termination.i 670    649    967495680
loops/count_up_down_false-unreach-call_true-termination.i 69.9  57.3  605081600
loops/count_up_down_true-unreach-call_true-termination.i 65.6  55.2  596639744
loops/eureka_01_false-unreach-call_true-termination.i 901    841    1275715584
loops/eureka_05_true-unreach-call_true-termination.i 900    888    932491264
loops/for_bounded_loop1_false-unreach-call_true-termination.i 12.5  7.38 317353984
loops/insertion_sort_false-unreach-call_true-termination.i 33.0  20.3  617758720
loops/insertion_sort_true-unreach-call_true-termination.i 29.0  17.9  590794752
loops/invert_string_false-unreach-call_true-termination.i 24.3  15.3  599605248
loops/invert_string_true-unreach-call_true-termination.i 53.0  36.3  675696640
loops/matrix_false-unreach-call_true-termination.i 64.5  48.3  760541184
loops/matrix_true-unreach-call_true-termination.i 398    383    1998622720
loops/n.c40_true-unreach-call_true-termination.i 9.88 5.85 250241024
loops/nec20_false-unreach-call_true-termination.i 9.74 5.88 256835584
loops/nec40_true-unreach-call_true-termination.i 9.64 5.74 248471552
loops/string_false-unreach-call_true-termination.i 89.6  66.8  844505088
loops/string_true-unreach-call_true-termination.i 85.3  64.2  826961920
loops/sum01_bug02_false-unreach-call_true-termination.i 11.9  7.17 342081536
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 11.6  6.98 341700608
loops/sum01_false-unreach-call_true-termination.i 10.0  6.02 320471040
loops/sum01_true-unreach-call_true-termination.i 8.90 5.46 264568832
loops/sum03_false-unreach-call_true-termination.i 900    895    838004736
loops/sum04_false-unreach-call_true-termination.i 9.96 6.06 298905600
loops/sum04_true-unreach-call_true-termination.i 8.98 5.47 265924608
loops/terminator_01_false-unreach-call_true-termination.i 10.9  6.55 342814720
loops/terminator_02_false-unreach-call_true-termination.i 14.3  8.83 457330688
loops/terminator_02_true-unreach-call_true-termination.i 14.5  8.87 446242816
loops/terminator_03_false-unreach-call_true-termination.i 9.42 5.76 272441344
loops/terminator_03_true-unreach-call_true-termination.i 21.8  17.9  363167744
loops/trex01_false-unreach-call_true-termination.i 63.5  50.6  702451712
loops/trex01_true-unreach-call_true-termination.i 162    148    740655104
loops/trex02_false-unreach-call_true-termination.i 9.64 5.81 275750912
loops/trex02_true-unreach-call_true-termination.i 8.82 5.44 274292736
loops/trex03_false-unreach-call_true-termination.i 50.8  39.9  624439296
loops/trex03_true-unreach-call_true-termination.i 48.0  37.5  607956992
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i 13.9  8.30 439537664
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i 62.8  45.5  715186176
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i 23.7  12.9  644775936
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i 12.6  7.69 431407104
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i 32.6  20.1  690855936
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 7.70 4.66 243937280
loop-acceleration/array_false-unreach-call1_true-termination.i 10.3  6.16 283566080
loop-acceleration/array_false-unreach-call2_true-termination.i 11.6  6.97 351559680
loop-acceleration/array_false-unreach-call3_true-termination.i 900    865    842342400
loop-acceleration/array_true-unreach-call1_true-termination.i 10.0  5.95 280322048
loop-acceleration/array_true-unreach-call2_true-termination.i 13.4  7.86 351580160
loop-acceleration/array_true-unreach-call3_true-termination.i 900    863    875851776
loop-acceleration/array_true-unreach-call4_true-termination.i 901    866    871514112
loop-acceleration/diamond_true-unreach-call1_true-termination.i 70.5  60.4  601038848
loop-acceleration/functions_false-unreach-call1_true-termination.i 73.6  62.6  1183174656
loop-acceleration/functions_true-unreach-call1_true-termination.i 81.6  66.6  1194962944
loop-acceleration/multivar_false-unreach-call1_true-termination.i 68.8  57.0  664457216
loop-acceleration/multivar_true-unreach-call1_true-termination.i 66.1  56.6  642523136
loop-acceleration/simple_false-unreach-call2_true-termination.i 48.4  41.4  511692800
loop-acceleration/simple_false-unreach-call3_true-termination.i 69.7  60.0  646791168
loop-acceleration/simple_true-unreach-call2_true-termination.i 47.3  40.6  515747840
loop-acceleration/simple_true-unreach-call3_true-termination.i 68.3  59.5  613089280
loop-acceleration/underapprox_false-unreach-call1_true-termination.i 110    94.5  785428480
loop-acceleration/underapprox_false-unreach-call2_true-termination.i 72.8  58.3  820555776
loop-acceleration/underapprox_true-unreach-call1_true-termination.i 97.4  83.4  802574336
loop-acceleration/underapprox_true-unreach-call2_true-termination.i 76.0  61.3  770203648
loop-acceleration/phases_false-unreach-call2_false-termination.i 8.53 5.34 243806208
loop-acceleration/phases_true-unreach-call2_false-termination.i 8.25 5.29 248549376
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i 8.07 4.63 250208256
loop-invgen/string_concat-noarr_true-unreach-call_false-termination.i 524    419    977936384
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i 11.8  7.01 291618816
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i 11.0  6.56 282521600
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i 14.0  8.22 337428480
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i 11.4  6.96 328941568
loop-invgen/down_true-unreach-call_true-termination.i 12.6  7.52 347779072
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i 12.9  7.93 377327616
loop-invgen/half_2_true-unreach-call_true-termination.i 14.1  8.51 404455424
loop-invgen/heapsort_true-unreach-call_true-termination.i 36.3  22.2  666693632
loop-invgen/id_build_true-unreach-call_true-termination.i 900    894    2602823680
loop-invgen/id_trans_false-unreach-call_true-termination.i 17.8  10.4  496279552
loop-invgen/large_const_true-unreach-call_true-termination.i 13.8  8.13 362582016
loop-invgen/nest-if3_true-unreach-call_true-termination.i 14.1  8.63 408862720
loop-invgen/nested6_true-unreach-call_true-termination.i 20.0  12.7  504877056
loop-invgen/nested9_true-unreach-call_true-termination.i 901    858    5112786944
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i 12.2  7.30 323473408
loop-invgen/seq_true-unreach-call_true-termination.i 15.7  10.2  369328128
loop-invgen/up_true-unreach-call_true-termination.i 13.0  7.84 351780864
loop-lit/afnp2014_true-unreach-call_true-termination.c.i 9.72 5.87 262180864
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i 10.1  6.13 274628608
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i 9.19 5.57 251113472
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i 10.2  6.07 270209024
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i 17.0  11.0  403230720
loop-lit/css2003_true-unreach-call_true-termination.c.i 10.5  6.17 290861056
loop-lit/gj2007_true-unreach-call_true-termination.c.i 10.8  6.52 287506432
loop-lit/gj2007b_true-unreach-call_true-termination.c.i 9.45 5.74 261218304
loop-lit/gr2006_true-unreach-call_true-termination.c.i 13.9  8.31 386678784
loop-lit/gsv2008_true-unreach-call_true-termination.c.i 9.86 6.41 256245760
loop-lit/hhk2008_true-unreach-call_true-termination.c.i 9.55 5.68 253009920
loop-lit/jm2006_true-unreach-call_true-termination.c.i 12.2  7.34 346066944
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i 16.0  10.5  353239040
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i 16.1  9.54 487051264
loop-lit/gcnr2008_false-unreach-call_false-termination.i 100    79.1  865976320
loop-new/count_by_1_true-unreach-call_true-termination.i 8.44 5.19 256110592
loop-new/count_by_1_variant_true-unreach-call_true-termination.i 9.72 5.84 281251840
loop-new/count_by_2_true-unreach-call_true-termination.i 8.56 5.15 251658240
loop-new/count_by_k_true-unreach-call_true-termination.i 37.3  31.8  528769024
loop-new/count_by_nondet_true-unreach-call_true-termination.i 25.1  21.1  370585600
loop-new/gauss_sum_true-unreach-call_true-termination.i 9.11 5.48 261263360
loop-new/half_true-unreach-call_true-termination.i 11.7  6.92 285528064
loop-new/nested_true-unreach-call_true-termination.i 13.2  8.14 387432448
product-lines/elevator_spec14_product03_true-unreach-call_true-termination.cil.c 502    357    7675207680
product-lines/elevator_spec14_product11_true-unreach-call_true-termination.cil.c 147    100    4881334272
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c 498    365    8000000000
product-lines/elevator_spec14_product20_false-unreach-call_true-termination.cil.c 103    69.5  2862202880
product-lines/elevator_spec14_product23_true-unreach-call_true-termination.cil.c 225    163    6023299072
product-lines/elevator_spec14_product24_false-unreach-call_true-termination.cil.c 138    98.2  3768815616
product-lines/elevator_spec14_product27_true-unreach-call_true-termination.cil.c 489    354    8000000000
product-lines/elevator_spec14_product28_false-unreach-call_true-termination.cil.c 114    80.3  2719469568
product-lines/elevator_spec14_product31_true-unreach-call_true-termination.cil.c 487    373    8000000000
product-lines/elevator_spec14_product32_false-unreach-call_true-termination.cil.c 151    106    4110233600
product-lines/elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c 483    381    7497342976
product-lines/elevator_spec1_product01_true-unreach-call_true-termination.cil.c 513    354    8000000000
product-lines/elevator_spec1_product03_true-unreach-call_true-termination.cil.c 59.7  35.6  1151946752
product-lines/elevator_spec1_product09_true-unreach-call_true-termination.cil.c 317    219    8000000000
product-lines/elevator_spec1_product11_true-unreach-call_true-termination.cil.c 62.9  37.1  1184714752
product-lines/elevator_spec1_product17_true-unreach-call_true-termination.cil.c 320    226    8000000000
product-lines/elevator_spec1_product18_false-unreach-call_true-termination.cil.c 52.1  30.3  868995072
product-lines/elevator_spec1_product19_true-unreach-call_true-termination.cil.c 64.4  38.4  1164005376
product-lines/elevator_spec1_product20_false-unreach-call_true-termination.cil.c 59.2  39.7  862822400
product-lines/elevator_spec1_product21_true-unreach-call_true-termination.cil.c 303    216    8000000000
product-lines/elevator_spec1_product22_false-unreach-call_true-termination.cil.c 59.5  41.5  1133654016
product-lines/elevator_spec1_product23_true-unreach-call_true-termination.cil.c 78.7  48.4  1634631680
product-lines/elevator_spec1_product24_false-unreach-call_true-termination.cil.c 61.3  41.7  1197252608
product-lines/elevator_spec1_product25_true-unreach-call_true-termination.cil.c 506    360    8000000000
product-lines/elevator_spec1_product26_false-unreach-call_true-termination.cil.c 49.6  29.3  882196480
product-lines/elevator_spec1_product27_true-unreach-call_true-termination.cil.c 66.8  39.4  1095454720
product-lines/elevator_spec1_product28_false-unreach-call_true-termination.cil.c 59.7  41.0  888332288
product-lines/elevator_spec1_product29_true-unreach-call_true-termination.cil.c 311    230    8000000000
product-lines/elevator_spec1_product30_false-unreach-call_true-termination.cil.c 62.7  42.3  1134022656
product-lines/elevator_spec1_product31_true-unreach-call_true-termination.cil.c 407    298    8000000000
product-lines/elevator_spec1_product32_false-unreach-call_true-termination.cil.c 69.9  47.4  1036427264
product-lines/elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c 93.3  62.1  2069733376
product-lines/elevator_spec2_product01_true-unreach-call_true-termination.cil.c 349    248    8000000000
product-lines/elevator_spec2_product03_true-unreach-call_true-termination.cil.c 62.0  36.9  1069600768
product-lines/elevator_spec2_product09_true-unreach-call_true-termination.cil.c 226    162    8000000000
product-lines/elevator_spec2_product11_true-unreach-call_true-termination.cil.c 68.5  40.1  1077993472
product-lines/elevator_spec2_product17_true-unreach-call_true-termination.cil.c 251    177    8000000000
product-lines/elevator_spec2_product18_false-unreach-call_true-termination.cil.c 45.6  26.7  862806016
product-lines/elevator_spec2_product19_true-unreach-call_true-termination.cil.c 63.1  37.5  1137553408
product-lines/elevator_spec2_product20_false-unreach-call_true-termination.cil.c 48.9  28.7  870354944
product-lines/elevator_spec2_product21_true-unreach-call_true-termination.cil.c 247    172    8000000000
product-lines/elevator_spec2_product22_false-unreach-call_true-termination.cil.c 62.4  42.8  1111904256
product-lines/elevator_spec2_product23_true-unreach-call_true-termination.cil.c 77.3  49.5  1272020992
product-lines/elevator_spec2_product24_false-unreach-call_true-termination.cil.c 49.7  30.2  1111265280
product-lines/elevator_spec2_product25_true-unreach-call_true-termination.cil.c 379    260    8000000000
product-lines/elevator_spec2_product26_false-unreach-call_true-termination.cil.c 47.5  28.5  870756352
product-lines/elevator_spec2_product27_true-unreach-call_true-termination.cil.c 62.7  37.8  1092284416
product-lines/elevator_spec2_product28_false-unreach-call_true-termination.cil.c 46.0  27.2  872529920
product-lines/elevator_spec2_product29_true-unreach-call_true-termination.cil.c 286    208    8000000000
product-lines/elevator_spec2_product30_false-unreach-call_true-termination.cil.c 62.1  43.6  1111457792
product-lines/elevator_spec2_product31_true-unreach-call_true-termination.cil.c 78.1  49.0  1344798720
product-lines/elevator_spec2_product32_false-unreach-call_true-termination.cil.c 63.9  43.0  1019318272
product-lines/elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c 83.3  54.2  2267451392
product-lines/elevator_spec3_product01_true-unreach-call_true-termination.cil.c 255    176    6797496320
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c 104    68.5  2033041408
product-lines/elevator_spec3_product09_true-unreach-call_true-termination.cil.c 305    213    8000000000
product-lines/elevator_spec3_product11_false-unreach-call_true-termination.cil.c 163    113    4110745600
product-lines/elevator_spec3_product17_true-unreach-call_true-termination.cil.c 213    147    6799175680
product-lines/elevator_spec3_product18_true-unreach-call_true-termination.cil.c 79.7  47.8  1725894656
product-lines/elevator_spec3_product19_false-unreach-call_true-termination.cil.c 141    98.4  3229122560
product-lines/elevator_spec3_product20_false-unreach-call_true-termination.cil.c 85.1  51.2  2021892096
product-lines/elevator_spec3_product21_true-unreach-call_true-termination.cil.c 304    222    6869909504
product-lines/elevator_spec3_product22_true-unreach-call_true-termination.cil.c 115    71.5  2825150464
product-lines/elevator_spec3_product23_false-unreach-call_true-termination.cil.c 303    220    8000000000
product-lines/elevator_spec3_product24_false-unreach-call_true-termination.cil.c 94.5  58.4  2826346496
product-lines/elevator_spec3_product25_true-unreach-call_true-termination.cil.c 223    151    6736080896
product-lines/elevator_spec3_product26_true-unreach-call_true-termination.cil.c 99.7  65.8  1802448896
product-lines/elevator_spec3_product27_false-unreach-call_true-termination.cil.c 204    139    4627722240
product-lines/elevator_spec3_product28_false-unreach-call_true-termination.cil.c 101    65.7  2053148672
product-lines/elevator_spec3_product29_true-unreach-call_true-termination.cil.c 324    241    6719787008
product-lines/elevator_spec3_product30_true-unreach-call_true-termination.cil.c 92.0  56.6  2259361792
product-lines/elevator_spec3_product31_false-unreach-call_true-termination.cil.c 137    93.9  3288268800
product-lines/elevator_spec3_product32_false-unreach-call_true-termination.cil.c 96.5  59.8  2703421440
product-lines/elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c 198    132    6341132288
product-lines/elevator_spec9_product09_true-unreach-call_true-termination.cil.c 90.9  57.3  1564438528
product-lines/elevator_spec9_product11_true-unreach-call_true-termination.cil.c 53.4  30.6  826499072
product-lines/elevator_spec9_product25_true-unreach-call_true-termination.cil.c 352    247    8000000000
product-lines/elevator_spec9_product26_false-unreach-call_true-termination.cil.c 61.5  35.3  1044598784
product-lines/elevator_spec9_product27_true-unreach-call_true-termination.cil.c 217    144    6582218752
product-lines/elevator_spec9_product28_false-unreach-call_true-termination.cil.c 70.9  46.0  1056595968
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c 297    206    8000000000
product-lines/elevator_spec9_product30_false-unreach-call_true-termination.cil.c 74.8  49.0  1337552896
product-lines/elevator_spec9_product31_true-unreach-call_true-termination.cil.c 93.8  59.9  1585373184
product-lines/elevator_spec9_product32_false-unreach-call_true-termination.cil.c 66.4  39.0  1326018560
product-lines/elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c 106    70.9  2685669376
product-lines/email_spec0_product05_true-unreach-call_true-termination.cil.c 23.4  13.1  526848000
product-lines/email_spec0_product09_true-unreach-call_true-termination.cil.c 28.1  15.6  620576768
product-lines/email_spec0_product10_true-unreach-call_true-termination.cil.c 18.5  10.4  511737856
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c 25.6  14.1  525275136
product-lines/email_spec0_product16_false-unreach-call_true-termination.cil.c 24.6  13.7  531173376
product-lines/email_spec0_product19_true-unreach-call_true-termination.cil.c 25.0  13.9  549998592
product-lines/email_spec0_product21_false-unreach-call_true-termination.cil.c 29.7  16.6  665485312
product-lines/email_spec0_product22_false-unreach-call_true-termination.cil.c 22.7  12.6  529829888
product-lines/email_spec0_product24_true-unreach-call_true-termination.cil.c 22.9  12.6  528240640
product-lines/email_spec0_product25_true-unreach-call_true-termination.cil.c 26.1  14.6  656678912
product-lines/email_spec0_product26_false-unreach-call_true-termination.cil.c 22.4  12.8  539430912
product-lines/email_spec0_product27_true-unreach-call_true-termination.cil.c 23.5  13.3  546127872
product-lines/email_spec0_product31_false-unreach-call_true-termination.cil.c 23.6  13.3  542932992
product-lines/email_spec0_product33_false-unreach-call_true-termination.cil.c 24.0  13.3  551235584
product-lines/email_spec0_product34_false-unreach-call_true-termination.cil.c 33.1  18.5  693587968
product-lines/email_spec0_product35_false-unreach-call_true-termination.cil.c 25.7  14.6  665788416
product-lines/email_spec0_product36_true-unreach-call_true-termination.cil.c 24.4  13.5  524644352
product-lines/email_spec0_product37_true-unreach-call_true-termination.cil.c 18.7  10.5  526565376
product-lines/email_spec0_product38_true-unreach-call_true-termination.cil.c 27.1  14.9  552189952
product-lines/email_spec0_product40_true-unreach-call_true-termination.cil.c 21.6  12.2  535990272
product-lines/email_spec0_productSimulator_false-unreach-call_true-termination.cil.c 157    103    4450066432
product-lines/email_spec11_product03_true-unreach-call_true-termination.cil.c 18.9  10.7  506843136
product-lines/email_spec11_product07_true-unreach-call_true-termination.cil.c 21.9  12.3  534777856
product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c 20.3  11.3  547598336
product-lines/email_spec11_product10_true-unreach-call_true-termination.cil.c 21.3  11.8  509673472
product-lines/email_spec11_product15_false-unreach-call_true-termination.cil.c 21.6  12.0  532611072
product-lines/email_spec11_product18_true-unreach-call_true-termination.cil.c 22.0  12.2  545865728
product-lines/email_spec11_product20_false-unreach-call_true-termination.cil.c 24.3  13.6  552378368
product-lines/email_spec11_product22_false-unreach-call_true-termination.cil.c 21.8  12.1  546971648
product-lines/email_spec11_product23_true-unreach-call_true-termination.cil.c 23.1  12.9  534065152
product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c 20.5  11.5  543694848
product-lines/email_spec11_product26_false-unreach-call_true-termination.cil.c 23.3  13.2  540209152
product-lines/email_spec11_product27_true-unreach-call_true-termination.cil.c 25.8  14.5  558530560
product-lines/email_spec11_product30_false-unreach-call_true-termination.cil.c 24.9  13.7  555921408
product-lines/email_spec11_product32_false-unreach-call_true-termination.cil.c 23.8  13.7  556662784
product-lines/email_spec11_product33_false-unreach-call_true-termination.cil.c 22.7  12.7  545214464
product-lines/email_spec11_product35_false-unreach-call_true-termination.cil.c 26.4  14.9  673165312
product-lines/email_spec11_product36_true-unreach-call_true-termination.cil.c 22.9  12.8  527769600
product-lines/email_spec11_product37_true-unreach-call_true-termination.cil.c 21.0  11.6  526508032
product-lines/email_spec11_product39_true-unreach-call_true-termination.cil.c 19.7  11.2  544432128
product-lines/email_spec11_product40_true-unreach-call_true-termination.cil.c 24.3  13.6  542978048
product-lines/email_spec11_productSimulator_false-unreach-call_true-termination.cil.c 164    107    4387770368
product-lines/email_spec1_product12_true-unreach-call_true-termination.cil.c 25.7  14.2  552734720
product-lines/email_spec1_product14_false-unreach-call_true-termination.cil.c 26.1  14.7  568541184
product-lines/email_spec1_product15_false-unreach-call_true-termination.cil.c 21.3  11.9  524779520
product-lines/email_spec1_product16_false-unreach-call_true-termination.cil.c 23.1  13.0  538681344
product-lines/email_spec1_product20_false-unreach-call_true-termination.cil.c 24.7  13.8  551096320
product-lines/email_spec1_product21_false-unreach-call_true-termination.cil.c 28.3  15.8  637943808
product-lines/email_spec1_product22_false-unreach-call_true-termination.cil.c 23.7  13.1  535465984
product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c 24.3  13.8  546488320
product-lines/email_spec1_product28_true-unreach-call_true-termination.cil.c 25.3  14.0  526327808
product-lines/email_spec1_product29_false-unreach-call_true-termination.cil.c 30.4  16.9  674529280
product-lines/email_spec1_product30_false-unreach-call_true-termination.cil.c 20.1  11.4  554565632
product-lines/email_spec1_product31_false-unreach-call_true-termination.cil.c 23.5  13.2  548945920
product-lines/email_spec1_product32_false-unreach-call_true-termination.cil.c 29.6  16.4  572305408
product-lines/email_spec1_product33_false-unreach-call_true-termination.cil.c 25.5  14.0  561299456
product-lines/email_spec1_product34_false-unreach-call_true-termination.cil.c 31.5  17.7  697536512
product-lines/email_spec1_product35_false-unreach-call_true-termination.cil.c 28.6  16.0  699056128
product-lines/email_spec1_productSimulator_false-unreach-call_true-termination.cil.c 144    94.9  4396470272
product-lines/email_spec27_product13_true-unreach-call_true-termination.cil.c 25.4  14.0  531349504
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c 26.3  14.7  618397696
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c 19.8  11.3  529215488
product-lines/email_spec27_product19_false-unreach-call_true-termination.cil.c 25.3  13.9  532213760
product-lines/email_spec27_product23_false-unreach-call_true-termination.cil.c 20.7  12.0  547319808
product-lines/email_spec27_product24_false-unreach-call_true-termination.cil.c 22.9  12.8  540700672
product-lines/email_spec27_product25_false-unreach-call_true-termination.cil.c 29.8  16.6  676380672
product-lines/email_spec27_product27_false-unreach-call_true-termination.cil.c 25.2  14.5  549175296
product-lines/email_spec27_product28_true-unreach-call_true-termination.cil.c 23.5  13.2  533217280
product-lines/email_spec27_product29_false-unreach-call_true-termination.cil.c 32.3  17.9  695934976
product-lines/email_spec27_product30_false-unreach-call_true-termination.cil.c 20.5  11.6  562302976
product-lines/email_spec27_product31_false-unreach-call_true-termination.cil.c 24.7  13.8  562950144
product-lines/email_spec27_product32_false-unreach-call_true-termination.cil.c 27.0  15.1  592453632
product-lines/email_spec27_product33_false-unreach-call_true-termination.cil.c 23.6  13.2  547954688
product-lines/email_spec27_product34_false-unreach-call_true-termination.cil.c 31.5  17.7  670986240
product-lines/email_spec27_product35_false-unreach-call_true-termination.cil.c 28.5  16.1  693436416
product-lines/email_spec27_productSimulator_false-unreach-call_true-termination.cil.c 163    111    5412442112
product-lines/email_spec3_product13_false-unreach-call_true-termination.cil.c 28.5  15.5  566321152
product-lines/email_spec3_product17_false-unreach-call_true-termination.cil.c 28.3  15.7  645136384
product-lines/email_spec3_product18_false-unreach-call_true-termination.cil.c 21.8  12.1  530685952
product-lines/email_spec3_product19_false-unreach-call_true-termination.cil.c 30.3  16.5  568209408
product-lines/email_spec3_product23_false-unreach-call_true-termination.cil.c 23.3  13.2  541372416
product-lines/email_spec3_product24_false-unreach-call_true-termination.cil.c 22.5  12.6  549425152
product-lines/email_spec3_product25_false-unreach-call_true-termination.cil.c 30.5  17.1  691032064
product-lines/email_spec3_product27_false-unreach-call_true-termination.cil.c 26.7  14.9  588824576
product-lines/email_spec3_product28_false-unreach-call_true-termination.cil.c 24.3  13.5  551546880
product-lines/email_spec3_product29_false-unreach-call_true-termination.cil.c 31.6  17.4  673079296
product-lines/email_spec3_product30_false-unreach-call_true-termination.cil.c 22.6  12.6  548139008
product-lines/email_spec3_product31_false-unreach-call_true-termination.cil.c 25.2  14.1  568000512
product-lines/email_spec3_product32_false-unreach-call_true-termination.cil.c 26.3  14.8  633278464
product-lines/email_spec3_product33_false-unreach-call_true-termination.cil.c 24.1  13.3  540426240
product-lines/email_spec3_product34_false-unreach-call_true-termination.cil.c 33.6  18.6  697430016
product-lines/email_spec3_product35_false-unreach-call_true-termination.cil.c 29.2  16.5  660205568
product-lines/email_spec3_productSimulator_false-unreach-call_true-termination.cil.c 142    94.7  4412715008
product-lines/email_spec4_product13_true-unreach-call_true-termination.cil.c 22.7  12.6  525549568
product-lines/email_spec4_product17_true-unreach-call_true-termination.cil.c 27.6  15.4  571850752
product-lines/email_spec4_product18_false-unreach-call_true-termination.cil.c 22.9  12.7  527331328
product-lines/email_spec4_product19_false-unreach-call_true-termination.cil.c 23.9  13.4  514834432
product-lines/email_spec4_product23_false-unreach-call_true-termination.cil.c 23.5  13.1  544538624
product-lines/email_spec4_product24_false-unreach-call_true-termination.cil.c 22.1  12.3  548896768
product-lines/email_spec4_product25_false-unreach-call_true-termination.cil.c 30.7  17.1  649506816
product-lines/email_spec4_product27_false-unreach-call_true-termination.cil.c 26.7  14.7  554684416
product-lines/email_spec4_product28_true-unreach-call_true-termination.cil.c 24.8  13.7  532860928
product-lines/email_spec4_product29_true-unreach-call_true-termination.cil.c 31.0  17.5  672796672
product-lines/email_spec4_product30_false-unreach-call_true-termination.cil.c 21.8  12.1  548249600
product-lines/email_spec4_product31_false-unreach-call_true-termination.cil.c 23.0  13.0  546394112
product-lines/email_spec4_product32_false-unreach-call_true-termination.cil.c 22.3  13.0  546570240
product-lines/email_spec4_product33_false-unreach-call_true-termination.cil.c 22.4  12.5  543195136
product-lines/email_spec4_product34_false-unreach-call_true-termination.cil.c 30.9  17.5  668303360
product-lines/email_spec4_product35_false-unreach-call_true-termination.cil.c 26.5  15.0  687755264
product-lines/email_spec4_productSimulator_false-unreach-call_true-termination.cil.c 151    99.3  4578553856
product-lines/email_spec6_product12_false-unreach-call_true-termination.cil.c 24.3  13.5  538419200
product-lines/email_spec6_product14_false-unreach-call_true-termination.cil.c 29.4  16.3  669188096
product-lines/email_spec6_product15_false-unreach-call_true-termination.cil.c 23.6  12.9  545484800
product-lines/email_spec6_product16_false-unreach-call_true-termination.cil.c 24.5  13.5  531054592
product-lines/email_spec6_product20_false-unreach-call_true-termination.cil.c 23.7  13.3  546418688
product-lines/email_spec6_product21_false-unreach-call_true-termination.cil.c 27.3  15.5  661417984
product-lines/email_spec6_product22_false-unreach-call_true-termination.cil.c 23.8  13.1  543227904
product-lines/email_spec6_product26_false-unreach-call_true-termination.cil.c 26.4  14.9  558845952
product-lines/email_spec6_product28_false-unreach-call_true-termination.cil.c 24.7  13.8  546648064
product-lines/email_spec6_product29_false-unreach-call_true-termination.cil.c 28.6  16.1  668553216
product-lines/email_spec6_product30_false-unreach-call_true-termination.cil.c 24.2  13.4  548069376
product-lines/email_spec6_product31_false-unreach-call_true-termination.cil.c 25.8  14.4  558223360
product-lines/email_spec6_product32_false-unreach-call_true-termination.cil.c 25.9  15.1  586170368
product-lines/email_spec6_product33_false-unreach-call_true-termination.cil.c 24.6  13.5  569843712
product-lines/email_spec6_product34_false-unreach-call_true-termination.cil.c 34.0  18.7  731938816
product-lines/email_spec6_product35_false-unreach-call_true-termination.cil.c 28.2  15.9  674177024
product-lines/email_spec6_productSimulator_false-unreach-call_true-termination.cil.c 147    97.3  4471189504
product-lines/email_spec7_product13_true-unreach-call_true-termination.cil.c 26.6  14.7  547016704
product-lines/email_spec7_product17_true-unreach-call_true-termination.cil.c 25.0  14.0  551641088
product-lines/email_spec7_product18_true-unreach-call_true-termination.cil.c 24.4  13.3  543973376
product-lines/email_spec7_product19_true-unreach-call_true-termination.cil.c 25.9  14.3  541929472
product-lines/email_spec7_product23_true-unreach-call_true-termination.cil.c 22.7  12.8  551788544
product-lines/email_spec7_product24_true-unreach-call_true-termination.cil.c 25.2  13.8  536342528
product-lines/email_spec7_product25_true-unreach-call_true-termination.cil.c 26.4  14.8  629825536
product-lines/email_spec7_product27_true-unreach-call_true-termination.cil.c 24.0  13.6  549642240
product-lines/email_spec7_product28_false-unreach-call_true-termination.cil.c 23.0  13.0  536965120
product-lines/email_spec7_product29_false-unreach-call_true-termination.cil.c 31.8  17.5  649682944
product-lines/email_spec7_product30_false-unreach-call_true-termination.cil.c 23.9  13.2  546955264
product-lines/email_spec7_product31_false-unreach-call_true-termination.cil.c 25.7  14.4  556482560
product-lines/email_spec7_product32_false-unreach-call_true-termination.cil.c 23.8  13.6  544292864
product-lines/email_spec7_product33_false-unreach-call_true-termination.cil.c 22.3  12.3  548421632
product-lines/email_spec7_product34_false-unreach-call_true-termination.cil.c 32.8  18.2  687697920
product-lines/email_spec7_product35_false-unreach-call_true-termination.cil.c 28.3  16.0  689762304
product-lines/email_spec7_productSimulator_false-unreach-call_true-termination.cil.c 143    95.1  4806561792
product-lines/email_spec8_product12_true-unreach-call_true-termination.cil.c 25.9  14.3  538308608
product-lines/email_spec8_product14_true-unreach-call_true-termination.cil.c 29.4  16.3  623341568
product-lines/email_spec8_product15_false-unreach-call_true-termination.cil.c 22.9  12.7  532377600
product-lines/email_spec8_product16_false-unreach-call_true-termination.cil.c 23.8  13.1  531931136
product-lines/email_spec8_product20_false-unreach-call_true-termination.cil.c 23.3  13.2  540344320
product-lines/email_spec8_product21_false-unreach-call_true-termination.cil.c 29.8  16.6  677642240
product-lines/email_spec8_product22_false-unreach-call_true-termination.cil.c 23.5  13.0  545943552
product-lines/email_spec8_product26_false-unreach-call_true-termination.cil.c 25.1  14.1  553562112
product-lines/email_spec8_product28_true-unreach-call_true-termination.cil.c 24.5  13.7  547717120
product-lines/email_spec8_product29_true-unreach-call_true-termination.cil.c 27.9  15.7  656297984
product-lines/email_spec8_product30_false-unreach-call_true-termination.cil.c 22.4  12.4  563351552
product-lines/email_spec8_product31_false-unreach-call_true-termination.cil.c 25.1  14.1  547913728
product-lines/email_spec8_product32_false-unreach-call_true-termination.cil.c 22.7  12.9  561750016
product-lines/email_spec8_product33_false-unreach-call_true-termination.cil.c 20.9  11.8  545443840
product-lines/email_spec8_product34_false-unreach-call_true-termination.cil.c 32.7  18.2  714031104
product-lines/email_spec8_product35_false-unreach-call_true-termination.cil.c 29.8  16.4  667238400
product-lines/email_spec8_productSimulator_false-unreach-call_true-termination.cil.c 144    95.2  4076621824
product-lines/email_spec9_product12_true-unreach-call_true-termination.cil.c 24.1  13.4  542003200
product-lines/email_spec9_product14_true-unreach-call_true-termination.cil.c 29.3  16.3  618196992
product-lines/email_spec9_product15_false-unreach-call_true-termination.cil.c 23.0  12.8  543875072
product-lines/email_spec9_product16_false-unreach-call_true-termination.cil.c 27.4  15.1  536752128
product-lines/email_spec9_product20_false-unreach-call_true-termination.cil.c 24.9  13.8  549781504
product-lines/email_spec9_product21_false-unreach-call_true-termination.cil.c 28.9  16.1  660275200
product-lines/email_spec9_product22_false-unreach-call_true-termination.cil.c 20.3  11.3  545177600
product-lines/email_spec9_product26_false-unreach-call_true-termination.cil.c 24.1  13.6  547536896
product-lines/email_spec9_product28_true-unreach-call_true-termination.cil.c 24.7  13.7  521134080
product-lines/email_spec9_product29_true-unreach-call_true-termination.cil.c 28.6  16.0  655773696
product-lines/email_spec9_product30_false-unreach-call_true-termination.cil.c 23.9  13.3  544292864
product-lines/email_spec9_product31_false-unreach-call_true-termination.cil.c 26.0  14.4  556134400
product-lines/email_spec9_product32_false-unreach-call_true-termination.cil.c 25.1  14.2  580399104
product-lines/email_spec9_product33_false-unreach-call_true-termination.cil.c 22.9  12.9  550744064
product-lines/email_spec9_product34_false-unreach-call_true-termination.cil.c 32.0  17.8  719179776
product-lines/email_spec9_product35_false-unreach-call_true-termination.cil.c 27.7  15.7  689799168
product-lines/email_spec9_productSimulator_false-unreach-call_true-termination.cil.c 140    92.5  4383584256
product-lines/elevator_spec13_product21_true-unreach-call_false-termination.cil.c 319    213    8000000000
product-lines/elevator_spec13_product22_true-unreach-call_false-termination.cil.c 254    168    8000000000
product-lines/elevator_spec13_product23_true-unreach-call_false-termination.cil.c 363    275    8000000000
product-lines/elevator_spec13_product24_true-unreach-call_false-termination.cil.c 441    340    8000000000
product-lines/elevator_spec13_product29_true-unreach-call_false-termination.cil.c 215    144    8000000000
product-lines/elevator_spec13_product30_true-unreach-call_false-termination.cil.c 252    169    8000000000
product-lines/elevator_spec13_product31_true-unreach-call_false-termination.cil.c 256    174    8000000000
product-lines/elevator_spec13_product32_true-unreach-call_false-termination.cil.c 291    210    8000000000
product-lines/elevator_spec13_productSimulator_true-unreach-call_false-termination.cil.c 334    236    8000000000
product-lines/minepump_spec1_product01_true-unreach-call_false-termination.cil.c 44.2  35.8  656781312
product-lines/minepump_spec1_product02_true-unreach-call_false-termination.cil.c 56.9  47.7  678092800
product-lines/minepump_spec1_product03_true-unreach-call_false-termination.cil.c 59.1  49.6  673775616
product-lines/minepump_spec1_product04_true-unreach-call_false-termination.cil.c 55.2  46.9  667312128
product-lines/minepump_spec1_product05_true-unreach-call_false-termination.cil.c 57.4  47.1  689188864
product-lines/minepump_spec1_product06_true-unreach-call_false-termination.cil.c 55.9  47.0  662511616
product-lines/minepump_spec1_product07_true-unreach-call_false-termination.cil.c 59.3  50.7  659513344
product-lines/minepump_spec1_product08_true-unreach-call_false-termination.cil.c 56.4  47.4  668106752
product-lines/minepump_spec1_product09_true-unreach-call_false-termination.cil.c 60.4  51.3  691703808
product-lines/minepump_spec1_product10_true-unreach-call_false-termination.cil.c 61.0  51.8  662831104
product-lines/minepump_spec1_product11_true-unreach-call_false-termination.cil.c 55.0  45.5  682369024
product-lines/minepump_spec1_product12_true-unreach-call_false-termination.cil.c 59.2  50.0  688529408
product-lines/minepump_spec1_product13_true-unreach-call_false-termination.cil.c 56.0  46.9  688517120
product-lines/minepump_spec1_product14_true-unreach-call_false-termination.cil.c 61.2  52.2  671252480
product-lines/minepump_spec1_product15_true-unreach-call_false-termination.cil.c 57.4  47.5  700002304
product-lines/minepump_spec1_product16_true-unreach-call_false-termination.cil.c 59.2  49.8  691040256
product-lines/minepump_spec1_product17_true-unreach-call_false-termination.cil.c 56.2  46.9  699052032
product-lines/minepump_spec1_product18_true-unreach-call_false-termination.cil.c 51.6  42.1  695681024
product-lines/minepump_spec1_product19_true-unreach-call_false-termination.cil.c 60.8  51.4  685453312
product-lines/minepump_spec1_product20_true-unreach-call_false-termination.cil.c 52.3  43.0  698703872
product-lines/minepump_spec1_product21_true-unreach-call_false-termination.cil.c 57.1  48.4  654770176
product-lines/minepump_spec1_product22_true-unreach-call_false-termination.cil.c 60.4  51.7  659558400
product-lines/minepump_spec1_product23_true-unreach-call_false-termination.cil.c 54.3  45.0  694116352
product-lines/minepump_spec1_product24_true-unreach-call_false-termination.cil.c 57.2  47.3  691683328
product-lines/minepump_spec1_product25_true-unreach-call_false-termination.cil.c 59.5  49.2  668233728
product-lines/minepump_spec1_product26_true-unreach-call_false-termination.cil.c 52.0  43.1  688648192
product-lines/minepump_spec1_product27_true-unreach-call_false-termination.cil.c 60.8  49.9  701231104
product-lines/minepump_spec1_product28_true-unreach-call_false-termination.cil.c 55.1  45.6  690335744
product-lines/minepump_spec1_product29_true-unreach-call_false-termination.cil.c 61.1  51.2  693235712
product-lines/minepump_spec1_product30_true-unreach-call_false-termination.cil.c 55.6  46.5  684183552
product-lines/minepump_spec1_product31_true-unreach-call_false-termination.cil.c 55.1  44.6  672518144
product-lines/minepump_spec1_product32_true-unreach-call_false-termination.cil.c 51.6  42.1  678596608
product-lines/minepump_spec1_product33_false-unreach-call_false-termination.cil.c 57.9  46.6  704495616
product-lines/minepump_spec1_product34_false-unreach-call_false-termination.cil.c 58.6  48.4  694960128
product-lines/minepump_spec1_product35_false-unreach-call_false-termination.cil.c 60.7  50.8  699211776
product-lines/minepump_spec1_product36_false-unreach-call_false-termination.cil.c 60.3  50.6  689631232
product-lines/minepump_spec1_product37_false-unreach-call_false-termination.cil.c 64.8  54.1  705277952
product-lines/minepump_spec1_product38_false-unreach-call_false-termination.cil.c 60.3  49.6  689180672
product-lines/minepump_spec1_product39_false-unreach-call_false-termination.cil.c 56.4  45.1  711958528
product-lines/minepump_spec1_product40_false-unreach-call_false-termination.cil.c 62.8  52.3  700309504
product-lines/minepump_spec1_product41_false-unreach-call_false-termination.cil.c 54.9  45.0  688533504
product-lines/minepump_spec1_product42_false-unreach-call_false-termination.cil.c 55.5  45.2  675610624
product-lines/minepump_spec1_product43_false-unreach-call_false-termination.cil.c 61.8  51.4  694996992
product-lines/minepump_spec1_product44_false-unreach-call_false-termination.cil.c 57.8  47.8  698785792
product-lines/minepump_spec1_product45_true-unreach-call_false-termination.cil.c 60.1  50.4  650645504
product-lines/minepump_spec1_product46_true-unreach-call_false-termination.cil.c 63.7  53.7  681578496
product-lines/minepump_spec1_product47_true-unreach-call_false-termination.cil.c 55.8  44.3  713367552
product-lines/minepump_spec1_product48_true-unreach-call_false-termination.cil.c 61.9  49.1  722571264
product-lines/minepump_spec1_product49_false-unreach-call_false-termination.cil.c 63.2  53.3  694792192
product-lines/minepump_spec1_product50_false-unreach-call_false-termination.cil.c 62.9  53.4  691200000
product-lines/minepump_spec1_product51_false-unreach-call_false-termination.cil.c 57.9  47.6  662261760
product-lines/minepump_spec1_product52_false-unreach-call_false-termination.cil.c 59.5  50.2  697008128
product-lines/minepump_spec1_product53_false-unreach-call_false-termination.cil.c 61.7  50.9  707289088
product-lines/minepump_spec1_product54_false-unreach-call_false-termination.cil.c 66.0  54.1  709472256
product-lines/minepump_spec1_product55_false-unreach-call_false-termination.cil.c 56.1  46.2  687005696
product-lines/minepump_spec1_product56_false-unreach-call_false-termination.cil.c 54.0  42.6  721985536
product-lines/minepump_spec1_product57_true-unreach-call_false-termination.cil.c 51.3  41.3  688521216
product-lines/minepump_spec1_product58_true-unreach-call_false-termination.cil.c 61.2  51.5  697753600
product-lines/minepump_spec1_product59_true-unreach-call_false-termination.cil.c 58.1  47.5  707993600
product-lines/minepump_spec1_product60_true-unreach-call_false-termination.cil.c 54.0  43.8  698818560
product-lines/minepump_spec1_product61_true-unreach-call_false-termination.cil.c 62.6  52.4  714338304
product-lines/minepump_spec1_product62_true-unreach-call_false-termination.cil.c 58.7  47.4  711770112
product-lines/minepump_spec1_product63_true-unreach-call_false-termination.cil.c 58.4  48.7  707059712
product-lines/minepump_spec1_product64_true-unreach-call_false-termination.cil.c 62.5  50.5  726802432
product-lines/minepump_spec1_productSimulator_false-unreach-call_false-termination.cil.c 60.4  49.6  744099840
product-lines/minepump_spec2_product01_true-unreach-call_false-termination.cil.c 57.7  49.1  683720704
product-lines/minepump_spec2_product02_true-unreach-call_false-termination.cil.c 52.0  42.9  655626240
product-lines/minepump_spec2_product03_true-unreach-call_false-termination.cil.c 58.1  48.3  678260736
product-lines/minepump_spec2_product04_true-unreach-call_false-termination.cil.c 56.1  47.7  655036416
product-lines/minepump_spec2_product05_true-unreach-call_false-termination.cil.c 54.6  45.3  698028032
product-lines/minepump_spec2_product06_true-unreach-call_false-termination.cil.c 50.2  41.6  672550912
product-lines/minepump_spec2_product07_true-unreach-call_false-termination.cil.c 56.5  46.7  655499264
product-lines/minepump_spec2_product08_true-unreach-call_false-termination.cil.c 50.8  42.0  688758784
product-lines/minepump_spec2_product09_true-unreach-call_false-termination.cil.c 53.9  45.3  670978048
product-lines/minepump_spec2_product10_true-unreach-call_false-termination.cil.c 50.6  42.8  667394048
product-lines/minepump_spec2_product11_true-unreach-call_false-termination.cil.c 56.1  47.1  699154432
product-lines/minepump_spec2_product12_true-unreach-call_false-termination.cil.c 46.6  38.6  681332736
product-lines/minepump_spec2_product13_true-unreach-call_false-termination.cil.c 56.1  48.2  658456576
product-lines/minepump_spec2_product14_true-unreach-call_false-termination.cil.c 62.7  53.4  694480896
product-lines/minepump_spec2_product15_true-unreach-call_false-termination.cil.c 62.6  52.5  699277312
product-lines/minepump_spec2_product16_true-unreach-call_false-termination.cil.c 56.8  48.0  673349632
product-lines/minepump_spec2_product17_true-unreach-call_false-termination.cil.c 55.0  44.5  696492032
product-lines/minepump_spec2_product18_true-unreach-call_false-termination.cil.c 63.2  52.7  666779648
product-lines/minepump_spec2_product19_true-unreach-call_false-termination.cil.c 61.5  51.6  679895040
product-lines/minepump_spec2_product20_true-unreach-call_false-termination.cil.c 60.2  50.9  673288192
product-lines/minepump_spec2_product21_true-unreach-call_false-termination.cil.c 59.6  50.5  666120192
product-lines/minepump_spec2_product22_true-unreach-call_false-termination.cil.c 58.6  49.2  679669760
product-lines/minepump_spec2_product23_true-unreach-call_false-termination.cil.c 61.4  50.9  698884096
product-lines/minepump_spec2_product24_true-unreach-call_false-termination.cil.c 56.3  48.1  656224256
product-lines/minepump_spec2_product25_true-unreach-call_false-termination.cil.c 54.0  45.0  688222208
product-lines/minepump_spec2_product26_true-unreach-call_false-termination.cil.c 54.0  43.8  692076544
product-lines/minepump_spec2_product27_true-unreach-call_false-termination.cil.c 51.3  41.6  695709696
product-lines/minepump_spec2_product28_true-unreach-call_false-termination.cil.c 53.2  43.4  692006912
product-lines/minepump_spec2_product29_true-unreach-call_false-termination.cil.c 63.1  52.9  685436928
product-lines/minepump_spec2_product30_true-unreach-call_false-termination.cil.c 60.8  51.3  677113856
product-lines/minepump_spec2_product31_true-unreach-call_false-termination.cil.c 56.9  46.5  701661184
product-lines/minepump_spec2_product32_true-unreach-call_false-termination.cil.c 59.2  49.8  706924544
product-lines/minepump_spec2_product33_false-unreach-call_false-termination.cil.c 55.2  45.2  743485440
product-lines/minepump_spec2_product34_false-unreach-call_false-termination.cil.c 63.1  53.5  686616576
product-lines/minepump_spec2_product35_false-unreach-call_false-termination.cil.c 62.9  51.8  693280768
product-lines/minepump_spec2_product36_false-unreach-call_false-termination.cil.c 59.6  48.9  702685184
product-lines/minepump_spec2_product37_true-unreach-call_false-termination.cil.c 66.9  53.6  711843840
product-lines/minepump_spec2_product38_true-unreach-call_false-termination.cil.c 64.2  53.9  699121664
product-lines/minepump_spec2_product39_true-unreach-call_false-termination.cil.c 62.4  50.8  686440448
product-lines/minepump_spec2_product40_true-unreach-call_false-termination.cil.c 60.9  50.8  702697472
product-lines/minepump_spec2_product41_false-unreach-call_false-termination.cil.c 57.7  47.6  681754624
product-lines/minepump_spec2_product42_false-unreach-call_false-termination.cil.c 60.7  50.2  684290048
product-lines/minepump_spec2_product43_false-unreach-call_false-termination.cil.c 64.6  54.4  695521280
product-lines/minepump_spec2_product44_false-unreach-call_false-termination.cil.c 58.6  49.1  702078976
product-lines/minepump_spec2_product45_true-unreach-call_false-termination.cil.c 66.0  54.0  711823360
product-lines/minepump_spec2_product46_true-unreach-call_false-termination.cil.c 58.1  47.1  686870528
product-lines/minepump_spec2_product47_true-unreach-call_false-termination.cil.c 55.0  45.2  664072192
product-lines/minepump_spec2_product48_true-unreach-call_false-termination.cil.c 56.1  45.9  707039232
product-lines/minepump_spec2_product49_true-unreach-call_false-termination.cil.c 53.5  43.5  690487296
product-lines/minepump_spec2_product50_true-unreach-call_false-termination.cil.c 55.0  45.7  705806336
product-lines/minepump_spec2_product51_true-unreach-call_false-termination.cil.c 64.3  53.9  689840128
product-lines/minepump_spec2_product52_true-unreach-call_false-termination.cil.c 59.7  49.6  680964096
product-lines/minepump_spec2_product53_true-unreach-call_false-termination.cil.c 57.7  47.0  704331776
product-lines/minepump_spec2_product54_true-unreach-call_false-termination.cil.c 60.8  49.6  717471744
product-lines/minepump_spec2_product55_true-unreach-call_false-termination.cil.c 50.6  40.4  713674752
product-lines/minepump_spec2_product56_true-unreach-call_false-termination.cil.c 50.7  40.2  713416704
product-lines/minepump_spec2_product57_true-unreach-call_false-termination.cil.c 55.4  43.4  695648256
product-lines/minepump_spec2_product58_true-unreach-call_false-termination.cil.c 60.9  48.3  723832832
product-lines/minepump_spec2_product59_true-unreach-call_false-termination.cil.c 64.8  54.2  688214016
product-lines/minepump_spec2_product60_true-unreach-call_false-termination.cil.c 63.2  51.3  714018816
product-lines/minepump_spec2_product61_true-unreach-call_false-termination.cil.c 64.4  52.7  705740800
product-lines/minepump_spec2_product62_true-unreach-call_false-termination.cil.c 67.4  54.9  722337792
product-lines/minepump_spec2_product63_true-unreach-call_false-termination.cil.c 63.2  51.7  712482816
product-lines/minepump_spec2_product64_true-unreach-call_false-termination.cil.c 62.2  50.6  700923904
product-lines/minepump_spec2_productSimulator_false-unreach-call_false-termination.cil.c 68.9  56.5  751722496
product-lines/minepump_spec3_product01_false-unreach-call_false-termination.cil.c 55.0  45.1  683962368
product-lines/minepump_spec3_product02_false-unreach-call_false-termination.cil.c 60.8  51.5  702099456
product-lines/minepump_spec3_product03_false-unreach-call_false-termination.cil.c 64.1  53.2  684572672
product-lines/minepump_spec3_product04_false-unreach-call_false-termination.cil.c 51.3  41.9  687280128
product-lines/minepump_spec3_product05_false-unreach-call_false-termination.cil.c 63.6  52.8  686985216
product-lines/minepump_spec3_product06_false-unreach-call_false-termination.cil.c 52.7  42.9  660533248
product-lines/minepump_spec3_product07_false-unreach-call_false-termination.cil.c 55.5  45.3  669392896
product-lines/minepump_spec3_product08_false-unreach-call_false-termination.cil.c 57.3  47.2  702853120
product-lines/minepump_spec3_product09_false-unreach-call_false-termination.cil.c 50.5  42.0  661553152
product-lines/minepump_spec3_product10_false-unreach-call_false-termination.cil.c 54.5  45.3  670322688
product-lines/minepump_spec3_product11_false-unreach-call_false-termination.cil.c 56.1  46.5  684593152
product-lines/minepump_spec3_product12_false-unreach-call_false-termination.cil.c 59.9  50.5  647675904
product-lines/minepump_spec3_product13_false-unreach-call_false-termination.cil.c 60.3  51.7  667361280
product-lines/minepump_spec3_product14_false-unreach-call_false-termination.cil.c 48.2  39.9  654655488
product-lines/minepump_spec3_product15_false-unreach-call_false-termination.cil.c 56.8  46.1  702246912
product-lines/minepump_spec3_product16_false-unreach-call_false-termination.cil.c 50.8  41.2  687972352
product-lines/minepump_spec3_product17_false-unreach-call_false-termination.cil.c 49.5  40.3  655994880
product-lines/minepump_spec3_product18_false-unreach-call_false-termination.cil.c 51.8  41.9  688283648
product-lines/minepump_spec3_product19_false-unreach-call_false-termination.cil.c 60.9  50.0  681529344
product-lines/minepump_spec3_product20_false-unreach-call_false-termination.cil.c 61.5  51.0  679583744
product-lines/minepump_spec3_product21_false-unreach-call_false-termination.cil.c 59.8  48.9  694276096
product-lines/minepump_spec3_product22_false-unreach-call_false-termination.cil.c 59.9  49.7  699011072
product-lines/minepump_spec3_product23_false-unreach-call_false-termination.cil.c 58.9  48.8  671711232
product-lines/minepump_spec3_product24_false-unreach-call_false-termination.cil.c 63.8  52.5  695169024
product-lines/minepump_spec3_product25_false-unreach-call_false-termination.cil.c 63.0  51.9  699817984
product-lines/minepump_spec3_product26_false-unreach-call_false-termination.cil.c 54.9  44.3  674533376
product-lines/minepump_spec3_product27_false-unreach-call_false-termination.cil.c 51.8  41.9  686071808
product-lines/minepump_spec3_product28_false-unreach-call_false-termination.cil.c 61.6  51.0  687513600
product-lines/minepump_spec3_product29_false-unreach-call_false-termination.cil.c 65.9  54.3  675229696
product-lines/minepump_spec3_product30_false-unreach-call_false-termination.cil.c 56.7  46.6  704983040
product-lines/minepump_spec3_product31_false-unreach-call_false-termination.cil.c 56.1  45.5  705581056
product-lines/minepump_spec3_product32_false-unreach-call_false-termination.cil.c 57.5  47.2  703176704
product-lines/minepump_spec3_product33_true-unreach-call_false-termination.cil.c 60.5  49.6  678715392
product-lines/minepump_spec3_product34_true-unreach-call_false-termination.cil.c 57.2  46.7  687386624
product-lines/minepump_spec3_product35_false-unreach-call_false-termination.cil.c 66.6  55.6  709689344
product-lines/minepump_spec3_product36_false-unreach-call_false-termination.cil.c 58.0  47.6  705474560
product-lines/minepump_spec3_product37_true-unreach-call_false-termination.cil.c 59.5  49.6  664457216
product-lines/minepump_spec3_product38_true-unreach-call_false-termination.cil.c 60.7  49.9  707866624
product-lines/minepump_spec3_product39_false-unreach-call_false-termination.cil.c 64.7  53.2  706453504
product-lines/minepump_spec3_product40_false-unreach-call_false-termination.cil.c 59.8  48.8  716050432
product-lines/minepump_spec3_product41_true-unreach-call_false-termination.cil.c 64.1  51.6  697012224
product-lines/minepump_spec3_product42_true-unreach-call_false-termination.cil.c 60.2  48.0  696774656
product-lines/minepump_spec3_product43_false-unreach-call_false-termination.cil.c 67.6  55.3  718831616
product-lines/minepump_spec3_product44_false-unreach-call_false-termination.cil.c 58.1  47.8  707637248
product-lines/minepump_spec3_product45_true-unreach-call_false-termination.cil.c 58.2  46.2  704012288
product-lines/minepump_spec3_product46_true-unreach-call_false-termination.cil.c 57.8  45.5  713875456
product-lines/minepump_spec3_product47_false-unreach-call_false-termination.cil.c 60.2  46.5  709447680
product-lines/minepump_spec3_product48_false-unreach-call_false-termination.cil.c 69.9  55.9  722862080
product-lines/minepump_spec3_product49_true-unreach-call_false-termination.cil.c 52.3  41.2  699707392
product-lines/minepump_spec3_product50_true-unreach-call_false-termination.cil.c 63.5  51.8  703528960
product-lines/minepump_spec3_product51_false-unreach-call_false-termination.cil.c 60.4  50.1  708124672
product-lines/minepump_spec3_product52_false-unreach-call_false-termination.cil.c 59.5  47.2  696295424
product-lines/minepump_spec3_product53_true-unreach-call_false-termination.cil.c 57.5  45.9  701804544
product-lines/minepump_spec3_product54_true-unreach-call_false-termination.cil.c 72.2  58.5  704679936
product-lines/minepump_spec3_product55_false-unreach-call_false-termination.cil.c 62.5  52.2  708374528
product-lines/minepump_spec3_product56_false-unreach-call_false-termination.cil.c 59.5  46.3  720982016
product-lines/minepump_spec3_product57_true-unreach-call_false-termination.cil.c 58.9  46.6  720007168
product-lines/minepump_spec3_product58_true-unreach-call_false-termination.cil.c 63.7  51.1  720257024
product-lines/minepump_spec3_product59_false-unreach-call_false-termination.cil.c 68.7  55.1  667488256
product-lines/minepump_spec3_product60_false-unreach-call_false-termination.cil.c 62.3  50.3  727617536
product-lines/minepump_spec3_product61_true-unreach-call_false-termination.cil.c 65.0  53.3  732626944
product-lines/minepump_spec3_product62_true-unreach-call_false-termination.cil.c 65.1  51.3  703422464
product-lines/minepump_spec3_product63_false-unreach-call_false-termination.cil.c 60.5  48.4  725467136
product-lines/minepump_spec3_product64_false-unreach-call_false-termination.cil.c 62.2  49.9  714121216
product-lines/minepump_spec3_productSimulator_false-unreach-call_false-termination.cil.c 73.8  59.6  752123904
product-lines/minepump_spec4_product01_true-unreach-call_false-termination.cil.c 50.9  43.1  667357184
product-lines/minepump_spec4_product02_true-unreach-call_false-termination.cil.c 56.6  48.4  656777216
product-lines/minepump_spec4_product03_true-unreach-call_false-termination.cil.c 52.2  43.6  675409920
product-lines/minepump_spec4_product04_true-unreach-call_false-termination.cil.c 54.2  44.5  671723520
product-lines/minepump_spec4_product05_true-unreach-call_false-termination.cil.c 53.2  43.5  699060224
product-lines/minepump_spec4_product06_true-unreach-call_false-termination.cil.c 50.9  42.2  670588928
product-lines/minepump_spec4_product07_true-unreach-call_false-termination.cil.c 54.3  44.7  673726464
product-lines/minepump_spec4_product08_true-unreach-call_false-termination.cil.c 58.6  49.2  665497600
product-lines/minepump_spec4_product09_true-unreach-call_false-termination.cil.c 54.3  45.9  686780416
product-lines/minepump_spec4_product10_true-unreach-call_false-termination.cil.c 59.3  50.8  655618048
product-lines/minepump_spec4_product11_true-unreach-call_false-termination.cil.c 56.0  45.5  699551744
product-lines/minepump_spec4_product12_true-unreach-call_false-termination.cil.c 55.4  46.6  678944768
product-lines/minepump_spec4_product13_true-unreach-call_false-termination.cil.c 52.6  43.5  661311488
product-lines/minepump_spec4_product14_true-unreach-call_false-termination.cil.c 51.7  43.1  669700096
product-lines/minepump_spec4_product15_true-unreach-call_false-termination.cil.c 56.0  47.1  668590080
product-lines/minepump_spec4_product16_true-unreach-call_false-termination.cil.c 57.6  48.1  673861632
product-lines/minepump_spec4_product17_true-unreach-call_false-termination.cil.c 57.6  48.7  661905408
product-lines/minepump_spec4_product18_true-unreach-call_false-termination.cil.c 58.3  49.9  665579520
product-lines/minepump_spec4_product19_true-unreach-call_false-termination.cil.c 54.1  44.6  658341888
product-lines/minepump_spec4_product20_true-unreach-call_false-termination.cil.c 48.9  39.8  685015040
product-lines/minepump_spec4_product21_true-unreach-call_false-termination.cil.c 55.9  47.0  666312704
product-lines/minepump_spec4_product22_true-unreach-call_false-termination.cil.c 58.4  49.6  659931136
product-lines/minepump_spec4_product23_true-unreach-call_false-termination.cil.c 56.1  46.8  708112384
product-lines/minepump_spec4_product24_true-unreach-call_false-termination.cil.c 50.2  40.9  674906112
product-lines/minepump_spec4_product25_true-unreach-call_false-termination.cil.c 61.8  51.4  677916672
product-lines/minepump_spec4_product26_true-unreach-call_false-termination.cil.c 56.2  46.9  688398336
product-lines/minepump_spec4_product27_true-unreach-call_false-termination.cil.c 50.0  40.1  678879232
product-lines/minepump_spec4_product28_true-unreach-call_false-termination.cil.c 56.8  47.3  704745472
product-lines/minepump_spec4_product29_true-unreach-call_false-termination.cil.c 56.6  48.1  699711488
product-lines/minepump_spec4_product30_true-unreach-call_false-termination.cil.c 49.6  40.1  680878080
product-lines/minepump_spec4_product31_true-unreach-call_false-termination.cil.c 49.7  39.7  692568064
product-lines/minepump_spec4_product32_true-unreach-call_false-termination.cil.c 63.4  53.3  684486656
product-lines/minepump_spec4_product33_false-unreach-call_false-termination.cil.c 58.8  49.2  710266880
product-lines/minepump_spec4_product34_false-unreach-call_false-termination.cil.c 61.7  52.0  692310016
product-lines/minepump_spec4_product35_false-unreach-call_false-termination.cil.c 59.4  48.8  697647104
product-lines/minepump_spec4_product36_false-unreach-call_false-termination.cil.c 58.1  49.1  685338624
product-lines/minepump_spec4_product37_false-unreach-call_false-termination.cil.c 59.4  50.0  701022208
product-lines/minepump_spec4_product38_false-unreach-call_false-termination.cil.c 56.1  45.2  710123520
product-lines/minepump_spec4_product39_false-unreach-call_false-termination.cil.c 57.3  47.1  708481024
product-lines/minepump_spec4_product40_false-unreach-call_false-termination.cil.c 55.1  44.8  693178368
product-lines/minepump_spec4_product41_false-unreach-call_false-termination.cil.c 63.2  52.8  694587392
product-lines/minepump_spec4_product42_false-unreach-call_false-termination.cil.c 62.0  52.5  705081344
product-lines/minepump_spec4_product43_false-unreach-call_false-termination.cil.c 61.8  50.3  712253440
product-lines/minepump_spec4_product44_false-unreach-call_false-termination.cil.c 53.6  44.4  705024000
product-lines/minepump_spec4_product45_false-unreach-call_false-termination.cil.c 59.4  48.7  702488576
product-lines/minepump_spec4_product46_false-unreach-call_false-termination.cil.c 54.6  44.2  693305344
product-lines/minepump_spec4_product47_false-unreach-call_false-termination.cil.c 60.1  49.4  692477952
product-lines/minepump_spec4_product48_false-unreach-call_false-termination.cil.c 62.2  51.0  687607808
product-lines/minepump_spec4_product49_true-unreach-call_false-termination.cil.c 61.8  52.4  684294144
product-lines/minepump_spec4_product50_true-unreach-call_false-termination.cil.c 59.2  48.0  678227968
product-lines/minepump_spec4_product51_true-unreach-call_false-termination.cil.c 66.5  55.5  686284800
product-lines/minepump_spec4_product52_true-unreach-call_false-termination.cil.c 62.0  52.0  695988224
product-lines/minepump_spec4_product53_true-unreach-call_false-termination.cil.c 52.4  42.9  714108928
product-lines/minepump_spec4_product54_true-unreach-call_false-termination.cil.c 57.4  46.5  685600768
product-lines/minepump_spec4_product55_true-unreach-call_false-termination.cil.c 63.0  51.5  709136384
product-lines/minepump_spec4_product56_true-unreach-call_false-termination.cil.c 57.0  47.0  679682048
product-lines/minepump_spec4_product57_true-unreach-call_false-termination.cil.c 60.3  50.2  707919872
product-lines/minepump_spec4_product58_true-unreach-call_false-termination.cil.c 63.0  52.8  698941440
product-lines/minepump_spec4_product59_true-unreach-call_false-termination.cil.c 56.3  45.2  693702656
product-lines/minepump_spec4_product60_true-unreach-call_false-termination.cil.c 56.6  46.2  695783424
product-lines/minepump_spec4_product61_true-unreach-call_false-termination.cil.c 56.0  45.7  690880512
product-lines/minepump_spec4_product62_true-unreach-call_false-termination.cil.c 59.2  48.2  685551616
product-lines/minepump_spec4_product63_true-unreach-call_false-termination.cil.c 62.0  51.7  737980416
product-lines/minepump_spec4_product64_true-unreach-call_false-termination.cil.c 56.8  45.7  707182592
product-lines/minepump_spec4_productSimulator_false-unreach-call_false-termination.cil.c 62.0  50.7  751796224
product-lines/minepump_spec5_product01_true-unreach-call_false-termination.cil.c 54.7  45.8  692428800
product-lines/minepump_spec5_product02_true-unreach-call_false-termination.cil.c 59.5  50.1  677040128
product-lines/minepump_spec5_product03_true-unreach-call_false-termination.cil.c 58.3  49.5  680275968
product-lines/minepump_spec5_product04_true-unreach-call_false-termination.cil.c 62.9  53.1  676544512
product-lines/minepump_spec5_product05_true-unreach-call_false-termination.cil.c 60.1  49.1  693940224
product-lines/minepump_spec5_product06_true-unreach-call_false-termination.cil.c 58.7  48.5  697798656
product-lines/minepump_spec5_product07_true-unreach-call_false-termination.cil.c 61.9  50.7  677662720
product-lines/minepump_spec5_product08_true-unreach-call_false-termination.cil.c 60.7  49.1  693293056
product-lines/minepump_spec5_product09_true-unreach-call_false-termination.cil.c 60.5  50.4  684310528
product-lines/minepump_spec5_product10_true-unreach-call_false-termination.cil.c 56.2  47.6  700854272
product-lines/minepump_spec5_product11_true-unreach-call_false-termination.cil.c 54.9  45.3  674074624
product-lines/minepump_spec5_product12_true-unreach-call_false-termination.cil.c 58.2  49.6  695705600
product-lines/minepump_spec5_product13_true-unreach-call_false-termination.cil.c 56.5  46.6  677380096
product-lines/minepump_spec5_product14_true-unreach-call_false-termination.cil.c 54.7  43.5  692133888
product-lines/minepump_spec5_product15_true-unreach-call_false-termination.cil.c 58.6  49.8  664723456
product-lines/minepump_spec5_product16_true-unreach-call_false-termination.cil.c 60.6  50.6  706539520
product-lines/minepump_spec5_product17_true-unreach-call_false-termination.cil.c 59.7  49.9  679567360
product-lines/minepump_spec5_product18_true-unreach-call_false-termination.cil.c 56.2  46.3  687427584
product-lines/minepump_spec5_product19_true-unreach-call_false-termination.cil.c 59.3  49.3  692584448
product-lines/minepump_spec5_product20_true-unreach-call_false-termination.cil.c 57.4  48.5  674541568
product-lines/minepump_spec5_product21_true-unreach-call_false-termination.cil.c 64.3  54.6  681660416
product-lines/minepump_spec5_product22_true-unreach-call_false-termination.cil.c 63.0  53.0  700424192
product-lines/minepump_spec5_product23_true-unreach-call_false-termination.cil.c 62.6  52.2  706301952
product-lines/minepump_spec5_product24_true-unreach-call_false-termination.cil.c 58.8  48.1  672124928
product-lines/minepump_spec5_product25_true-unreach-call_false-termination.cil.c 61.3  51.7  691552256
product-lines/minepump_spec5_product26_true-unreach-call_false-termination.cil.c 58.8  48.9  668520448
product-lines/minepump_spec5_product27_true-unreach-call_false-termination.cil.c 58.1  48.0  714686464
product-lines/minepump_spec5_product28_true-unreach-call_false-termination.cil.c 61.6  51.0  673128448
product-lines/minepump_spec5_product29_true-unreach-call_false-termination.cil.c 47.6  37.5  689033216
product-lines/minepump_spec5_product30_true-unreach-call_false-termination.cil.c 51.6  41.2  696315904
product-lines/minepump_spec5_product31_true-unreach-call_false-termination.cil.c 62.7  52.1  701661184
product-lines/minepump_spec5_product32_true-unreach-call_false-termination.cil.c 55.2  44.7  690323456
product-lines/minepump_spec5_product33_true-unreach-call_false-termination.cil.c 62.6  50.3  697716736
product-lines/minepump_spec5_product34_true-unreach-call_false-termination.cil.c 64.5  53.1  703467520
product-lines/minepump_spec5_product35_true-unreach-call_false-termination.cil.c 63.3  53.0  689065984
product-lines/minepump_spec5_product36_true-unreach-call_false-termination.cil.c 56.3  45.1  688656384
product-lines/minepump_spec5_product37_true-unreach-call_false-termination.cil.c 66.6  56.1  711352320
product-lines/minepump_spec5_product38_true-unreach-call_false-termination.cil.c 56.1  45.8  685428736
product-lines/minepump_spec5_product39_true-unreach-call_false-termination.cil.c 66.0  54.0  682065920
product-lines/minepump_spec5_product40_true-unreach-call_false-termination.cil.c 66.0  54.1  704765952
product-lines/minepump_spec5_product41_true-unreach-call_false-termination.cil.c 61.8  51.2  702222336
product-lines/minepump_spec5_product42_true-unreach-call_false-termination.cil.c 62.4  51.5  692420608
product-lines/minepump_spec5_product43_true-unreach-call_false-termination.cil.c 65.5  53.4  681771008
product-lines/minepump_spec5_product44_true-unreach-call_false-termination.cil.c 62.6  50.9  711790592
product-lines/minepump_spec5_product45_true-unreach-call_false-termination.cil.c 48.1  38.6  684077056
product-lines/minepump_spec5_product46_true-unreach-call_false-termination.cil.c 67.0  55.8  718192640
product-lines/minepump_spec5_product47_true-unreach-call_false-termination.cil.c 69.7  57.6  718897152
product-lines/minepump_spec5_product48_true-unreach-call_false-termination.cil.c 64.3  52.0  698601472
product-lines/minepump_spec5_product49_true-unreach-call_false-termination.cil.c 61.8  49.8  711970816
product-lines/minepump_spec5_product50_true-unreach-call_false-termination.cil.c 60.4  46.9  698253312
product-lines/minepump_spec5_product51_true-unreach-call_false-termination.cil.c 64.0  52.5  677797888
product-lines/minepump_spec5_product52_true-unreach-call_false-termination.cil.c 65.0  52.5  706727936
product-lines/minepump_spec5_product53_true-unreach-call_false-termination.cil.c 62.9  50.6  707883008
product-lines/minepump_spec5_product54_true-unreach-call_false-termination.cil.c 66.0  53.3  707514368
product-lines/minepump_spec5_product55_true-unreach-call_false-termination.cil.c 70.3  56.4  719298560
product-lines/minepump_spec5_product56_true-unreach-call_false-termination.cil.c 62.4  48.9  727154688
product-lines/minepump_spec5_product57_true-unreach-call_false-termination.cil.c 63.0  50.8  722149376
product-lines/minepump_spec5_product58_true-unreach-call_false-termination.cil.c 59.4  47.7  706748416
product-lines/minepump_spec5_product59_true-unreach-call_false-termination.cil.c 56.1  45.0  722071552
product-lines/minepump_spec5_product60_true-unreach-call_false-termination.cil.c 55.1  42.8  725938176
product-lines/minepump_spec5_product61_true-unreach-call_false-termination.cil.c 56.7  45.5  713416704
product-lines/minepump_spec5_product62_true-unreach-call_false-termination.cil.c 59.0  48.0  703062016
product-lines/minepump_spec5_product63_true-unreach-call_false-termination.cil.c 72.2  59.7  706023424
product-lines/minepump_spec5_product64_true-unreach-call_false-termination.cil.c 65.6  53.3  723251200
product-lines/minepump_spec5_productSimulator_true-unreach-call_false-termination.cil.c 74.2  59.6  767549440
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c 34.3  23.4  685912064
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c 64.5  44.1  897114112
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c 23.7  18.4  400711680
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c 23.2  18.1  391507968
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c 25.9  20.4  421740544
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c 17.5  10.2  537632768
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c 14.6  8.82 402563072
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c 14.6  8.93 396636160
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c 33.2  22.6  677490688
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c 677    445    8000000000
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c 780    561    8000000000
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c 662    473    8000000000
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c 62.3  53.4  665214976
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c 62.3  53.5  635752448
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c 16.8  10.6  480907264
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c 20.1  14.3  480423936
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c 67.2  56.7  764223488
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c 162    112    8000000000
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c 12.4  7.38 365195264
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c 13.1  7.71 364097536
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c 11.9  6.98 326062080
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c 11.5  6.91 330756096
recursive-simple/afterrec_false-unreach-call_true-termination.c 9.42 5.71 263819264
recursive-simple/afterrec_true-unreach-call_true-termination.c 9.27 5.58 270979072
recursive-simple/fibo_10_false-unreach-call_true-termination.c 64.7  46.4  731873280
recursive-simple/fibo_10_true-unreach-call_true-termination.c 67.3  48.6  716210176
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c 13.2  7.89 369803264
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c 15.7  9.24 363028480
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c 902    746    6630203392
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c 901    743    6607978496
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c 54.5  35.6  715317248
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c 48.0  31.7  698765312
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c 51.5  32.0  702119936
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c 41.2  26.5  702083072
recursive-simple/fibo_2calls_8_false-unreach-call_true-termination.c 41.3  26.5  684359680
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c 41.4  26.6  698515456
recursive-simple/fibo_5_false-unreach-call_true-termination.c 32.4  20.0  615751680
recursive-simple/fibo_5_true-unreach-call_true-termination.c 30.5  18.8  611930112
recursive-simple/fibo_7_false-unreach-call_true-termination.c 47.8  34.0  683876352
recursive-simple/fibo_7_true-unreach-call_true-termination.c 44.3  31.3  699060224
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 85.2  68.9  736022528
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 84.5  68.5  711008256
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 91.3  77.9  693764096
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 93.7  73.2  740761600
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c 17.3  10.4  392253440
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c 14.6  8.81 389869568
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 79.6  65.5  594096128
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 76.8  65.0  691294208
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 81.7  67.9  704917504
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 92.6  75.3  704393216
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c 15.3  9.01 339632128
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c 15.3  8.97 340930560
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c 15.0  8.80 352071680
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c 14.5  8.54 343343104
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c 12.7  7.52 339935232
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c 15.3  8.99 344076288
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c 13.4  7.95 340406272
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c 13.0  7.75 346034176
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c 11.9  7.23 341479424
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c 13.6  8.16 341299200
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c 82.2  66.2  610013184
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c 79.4  64.9  593383424
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c 78.0  64.2  604160000
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c 74.6  63.9  599343104
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c 76.0  65.3  597893120
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c 74.5  64.9  600133632
recursive-simple/sum_10x0_false-unreach-call_true-termination.c 11.8  6.96 278286336
recursive-simple/sum_10x0_true-unreach-call_true-termination.c 11.2  6.68 279519232
recursive-simple/sum_15x0_false-unreach-call_true-termination.c 11.1  6.70 277749760
recursive-simple/sum_15x0_true-unreach-call_true-termination.c 11.6  6.83 288141312
recursive-simple/sum_20x0_false-unreach-call_true-termination.c 12.7  7.42 285061120
recursive-simple/sum_20x0_true-unreach-call_true-termination.c 11.2  6.67 282034176
recursive-simple/sum_25x0_false-unreach-call_true-termination.c 10.9  6.53 276340736
recursive-simple/sum_25x0_true-unreach-call_true-termination.c 12.5  7.27 279887872
recursive-simple/sum_2x3_false-unreach-call_true-termination.c 9.92 5.95 286507008
recursive-simple/sum_2x3_true-unreach-call_true-termination.c 10.8  6.42 284835840
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c 75.8  60.6  657846272
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c 71.4  57.5  627650560
systemc/bist_cell_true-unreach-call_false-termination.cil.c 44.3  24.9  713478144
systemc/kundu1_false-unreach-call_false-termination.cil.c 21.1  11.9  506900480
systemc/kundu2_false-unreach-call_false-termination.cil.c 53.9  29.2  745029632
systemc/kundu_true-unreach-call_false-termination.cil.c 54.9  29.7  734846976
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 31.8  17.7  646709248
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 34.9  19.5  688746496
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 28.6  16.2  652382208
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 28.4  16.1  652865536
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 32.1  18.0  671518720
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 42.2  23.3  677388288
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 17.2  9.79 350044160
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 36.3  20.6  582397952
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 20.6  11.5  530382848
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 23.3  13.0  531763200
systemc/pipeline_false-unreach-call_false-termination.cil.c 218    141    8000000000
systemc/pipeline_true-unreach-call_false-termination.cil.c 276    171    8000000000
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 31.3  17.9  592814080
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 36.4  21.2  634064896
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 31.4  17.4  547172352
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 25.5  14.3  518479872
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 48.0  25.6  730726400
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 37.8  20.4  732188672
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 39.3  21.8  790712320
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 46.8  25.8  777261056
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 49.3  27.2  1240379392
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 57.0  31.7  1031581696
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 318    202    7377436672
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 171    103    6917988352
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 257    160    7205756928
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 251    157    7133573120
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 436    296    8000000000
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 255    175    8000000000
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 282    195    8000000000
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 270    171    8000000000
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 264    179    8000000000
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 307    199    8000000000
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 237    158    8000000000
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 306    212    8000000000
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 298    195    8000000000
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 242    163    8000000000
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 369    260    8000000000
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 445    299    8000000000
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 302    204    8000000000
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 340    229    8000000000
systemc/toy1_false-unreach-call_false-termination.cil.c 41.6  23.6  755478528
systemc/toy2_false-unreach-call_false-termination.cil.c 41.5  23.3  879652864
systemc/toy_true-unreach-call_false-termination.cil.c 38.1  22.4  754196480
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 32.3  18.1  518852608
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 40.3  23.0  710250496
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 47.0  26.9  737947648
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 49.0  27.6  864432128
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 61.9  35.1  1174163456
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 67.4  38.9  2764632064
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 128    78.9  5538529280
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 279    187    8000000000
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 256    181    8000000000
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 284    194    8000000000
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 275    194    8000000000
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 436    289    8000000000
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 242    169    8000000000
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 335    214    8000000000
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 272    170    8000000000
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 269    212    1819701248
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 687    558    2094411776
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 490    394    1844264960
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 20.1  12.0  533331968
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 20.0  11.9  539303936
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 22.2  12.9  531542016
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 20.4  11.9  530923520
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 20.1  12.0  534605824
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 25.3  15.3  599908352
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 25.4  15.1  619782144
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 23.8  14.5  610877440
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 24.2  14.2  627212288
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 22.8  13.9  627425280
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 33.2  19.9  729767936
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 32.1  19.0  729059328
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 36.9  21.5  742629376
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 30.8  18.5  742449152
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 31.0  18.7  743522304
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 17.7  10.9  530141184
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 17.1  10.6  526098432
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 17.0  10.5  514211840
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 19.1  11.9  519315456
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 18.2  11.1  522973184
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 18.8  11.8  515067904
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 21.5  13.3  582733824
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 19.2  11.7  527511552
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 21.0  12.9  609869824
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 23.8  14.8  577351680
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 22.4  14.0  579158016
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 20.6  13.1  585064448
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 29.1  20.6  681975808
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 22.2  14.0  603369472
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 35.7  25.9  749387776
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 22.3  14.8  637272064
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 139    118    1138868224
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 156    134    1015152640
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 49.1  35.4  883458048
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 175    150    1204932608
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 298    238    8000000000
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c 901    820    2094612480
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c 338    268    8000000000
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c 901    821    3428982784
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 20.3  12.1  541175808
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 20.1  12.1  558149632
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 20.5  12.1  524455936
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 20.4  11.9  525090816
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 19.2  11.5  530083840
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 23.2  14.1  606408704
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 23.4  13.9  633430016
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 23.3  14.0  605343744
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 23.5  14.0  617095168
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 23.4  13.9  607887360
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 34.6  20.3  747663360
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 33.7  20.0  750256128
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 33.2  19.6  749015040
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 29.8  18.1  728137728
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 33.0  19.8  721485824
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c 408    321    6778667008
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c 305    227    8000000000
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c 400    317    6142423040
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c 396    317    6478929920
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c 328    246    8000000000
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c 151    86.5  8000000000
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c 337    276    5772337152
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c 491    411    6443966464
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c 359    289    5325451264
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c 353    290    5757231104
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c 532    440    6546399232
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c 683    572    7067250688
seq-pthread/cs_lazy_false-unreach-call_true-termination.i 900    886    681029632
seq-pthread/cs_stateful_false-unreach-call_true-termination.i 900    886    742010880
reducercommutativity/avg05_true-unreach-call_true-termination.i 245    211    8000000000
reducercommutativity/avg10_true-unreach-call_true-termination.i 501    470    2613305344
reducercommutativity/avg_true-unreach-call_true-termination.i 38.5  26.0  704704512
reducercommutativity/max05_true-unreach-call_true-termination.i 36.0  22.8  695623680
reducercommutativity/max10_true-unreach-call_true-termination.i 84.5  63.5  761495552
reducercommutativity/max_true-unreach-call_true-termination.i 43.9  29.3  737910784
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 60.0  45.1  748216320
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 102    83.6  882114560
reducercommutativity/rangesum_false-unreach-call_true-termination.i 29.9  19.1  663179264
reducercommutativity/sep05_true-unreach-call_true-termination.i 57.9  40.6  1016287232
reducercommutativity/sep_true-unreach-call_true-termination.i 49.1  32.2  743448576
reducercommutativity/sum05_true-unreach-call_true-termination.i 60.1  47.6  723304448
reducercommutativity/sum10_true-unreach-call_true-termination.i 102    81.5  764932096
reducercommutativity/sum_true-unreach-call_true-termination.i 43.9  33.2  709042176
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i 13.9  8.18 417792000
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i 18.9  11.4  526860288
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i 28.2  16.8  609554432
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i 22.7  13.7  597848064
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i 23.2  14.0  563572736
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i 21.0  12.8  556343296
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i 14.8  9.05 511291392
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i 14.7  8.72 494141440
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i 14.9  9.17 511729664
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i 16.4  9.97 514674688
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i 121    109    745361408
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i 12.8  7.47 392798208
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i 17.4  10.4  537624576
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i 15.7  9.69 513781760
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i 23.2  14.5  584359936
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i 32.0  21.5  699805696
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i 33.6  22.5  690905088
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i 35.3  22.0  693927936
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i 21.9  13.2  542310400
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i 26.0  15.8  596160512
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i 821    757    1661558784
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i 20.9  12.9  536268800
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i 13.7  8.11 431427584
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i 15.2  8.86 462438400
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i 15.8  9.66 502341632
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i 13.8  8.33 464945152
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i 14.7  8.98 527822848
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i 30.7  21.8  679010304
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i 15.0  9.12 523464704
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i 15.6  9.76 512360448
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i 14.7  9.08 520327168
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i 54.0  31.0  1408548864
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i 31.6  19.6  675655680
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i 12.0  7.14 409907200
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i 16.1  9.91 513658880
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i 16.1  9.85 519114752
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i 21.6  13.8  574443520
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i 13.4  7.98 441606144
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i 47.5  35.9  672346112
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i 55.3  31.5  1344503808
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i 53.1  36.9  883138560
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i 11.4  6.75 367005696
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i 21.1  12.8  569815040
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i 12.5  7.37 370380800
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i 17.5  10.7  528433152
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i 16.7  10.1  520159232
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i 15.0  9.36 510525440
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i 32.4  21.3  692146176
memsafety/test-0019_false-valid-memtrack_true-termination.i 7.86 4.63 253714432
memsafety/test-0019_true-valid-memsafety_true-termination.i 8.04 4.66 245997568
memsafety/test-0158_false-valid-memtrack_true-termination.i 7.33 4.45 244408320
memsafety/test-0158_true-valid-memsafety_true-termination.i 7.59 4.56 247189504
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i 24.0  15.8  577138688
memsafety/test-0214_true-valid-memsafety_false-termination.i 10.7  6.18 291328000
memsafety/test-0217_true-valid-memsafety_false-termination.i 10.4  6.03 296407040
memsafety/test-0218_true-valid-memsafety_false-termination.i 10.4  5.99 291307520
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i 13.5  7.99 419020800
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i 14.1  8.26 412491776
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i 13.8  8.11 419213312
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i 13.4  7.80 420708352
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c 901    816    4692766720
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c 901    814    4759113728
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c 901    838    1000562688
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c 7.11 4.38 236945408
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c 9.29 5.52 262881280
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c 8.44 5.21 259796992
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c 8.40 5.12 260771840
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c 9.08 5.48 262262784
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c 8.06 5.05 256327680
ldv-memsafety/memset_true-valid-memsafety_true-termination.c 8.75 5.33 259911680
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i 8.31 4.82 245747712
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i 8.54 4.91 242958336
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i 8.81 5.04 255115264
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i 8.67 5.03 250179584
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i 8.73 5.09 255438848
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i 6.85 3.87 223305728
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i 9.34 5.34 261591040
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i 8.19 4.92 248225792
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i 7.87 4.57 247328768
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i 8.39 4.91 249430016
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i 477    455    754704384
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i 42.4  27.2  703705088
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i 20.8  12.8  617472000
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i 23.1  13.8  600977408
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i 15.7  9.35 534355968
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i 24.4  14.7  619589632
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i 8.04 4.77 252674048
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i 8.16 4.75 248578048
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i 8.05 4.64 249159680
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i 8.21 4.71 246906880
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i 7.85 4.65 248152064
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i 8.16 4.90 245219328
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i 8.32 4.83 254287872
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i 16.6  9.84 546910208
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i 17.0  10.1  516538368
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i 15.6  9.23 528343040
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i 15.8  9.59 527724544
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i 17.0  10.0  530202624
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i 16.4  9.80 522997760
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i 7.58 4.50 246562816
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i 7.91 4.63 247152640
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i 8.14 4.82 249315328
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i 7.93 4.66 246165504
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i 8.28 4.80 247992320
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i 8.66 4.98 246210560
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i 8.05 4.73 251994112
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i 7.94 4.72 246837248
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i 8.07 4.74 247132160
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i 7.90 4.68 253521920
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i 8.28 4.83 249475072
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i 8.40 4.85 246247424
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i 7.91 4.56 247566336
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i 7.95 4.69 251170816
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i 8.32 4.78 248606720
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i 8.15 4.79 250449920
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i 7.23 4.31 239865856
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i 16.1  9.85 521605120
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i 15.8  9.73 514990080
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i 14.4  8.49 480432128
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i 16.7  10.1  502878208
pthread-atomic/gcd_true-unreach-call_true-termination.i 7.37 4.34 231919616
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
total 2007 184000 144000 2731532779520
local summary 108000 10700
    correct results 1658 67400 48700 1174726021120
        correct true 1104 39200 27300 767681253376
        correct false 554 28300 21400 407044767744
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (2007 tasks, max score: 3280) 2762
Run set sv-comp19_prop-termination