Tool CPAchecker 1.7-svn 29913 ULTIMATE Automizer 0.1.24-91b1670e
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set cpaseq--termination.cpaseq ultimateautomizer-cpaseq--termination-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false --full-output --validate test/results/cpaseq--termination.logfiles/cpaseq.${inputfile_name}.files/output/witness.graphml
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c 902    874    4198846464 .0257 .0264 5603328
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 4.10 2.30 271683584 6.84   4.38   311046144
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c 3.70 2.08 265424896 .0198 .0201 5591040
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 6.99 3.77 431882240 .0195 .0198 5623808
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 4.26 2.39 276504576 7.32   4.25   319033344
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 3.99 2.22 271183872 7.00   4.48   310575104
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 3.65 2.01 263602176 .0195 .0199 5599232
termination-crafted/Mysore_false-termination_true-valid-memsafety.c 11.8  6.16 777105408 .0199 .0203 5607424
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c 3.87 2.12 266289152 .0274 .0278 5529600
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 3.66 2.05 264245248 .0220 .0224 5619712
termination-crafted/NonTermination3_false-termination_false-valid-deref.c 902    862    4292415488 .0364 .0372 5599232
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 902    866    4288368640 .0198 .0202 5615616
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 4.14 2.29 273653760 7.32   4.23   317620224
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c 3.52 1.97 264351744 .0240 .0245 5619712
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c 4.17 2.31 274305024 7.58   4.85   318582784
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 4.00 2.21 275005440 6.37   4.12   304721920
termination-crafted/2Nested_true-termination_true-valid-memsafety.c 48.4  43.6  569823232 .0195 .0198 5607424
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 906    875    4090966016 .0271 .0278 5595136
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c 901    806    4317175808 .0250 .0274 5611520
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c 3.94 2.18 264413184 .0198 .0204 5611520
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 411    391    14999998464 .0452 .0461 5677056
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 396    375    14999998464 .0466 .0480 5537792
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 4.59 2.51 275197952 .0197 .0202 5607424
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 4.34 2.37 278687744 .0198 .0203 5619712
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c 154    148    496427008 .0195 .0201 5611520
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 7.74 4.13 428109824 .0195 .0199 5615616
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 5.14 2.74 280666112 .0198 .0202 5611520
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 4.97 2.74 276922368 .0499 .0507 5537792
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c 901    881    1645596672 .0197 .0201 5607424
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 5.09 2.75 276328448 .0201 .0206 5599232
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c 6.97 3.71 424488960 .0197 .0200 5615616
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c 6.27 3.39 414887936 .0201 .0205 5599232
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 908    877    4359892992 .0194 .0197 5615616
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c 911    874    4484059136 .0197 .0201 5615616
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c 6.78 3.65 433000448 .0202 .0206 5607424
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 901    885    2389450752 .0283 .0288 5607424
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 3.74 2.04 264785920 .0375 .0381 5644288
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 6.80 3.68 427335680 .0190 .0195 5599232
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 3.60 2.05 265953280 .0198 .0202 5586944
termination-crafted/Mysore_true-termination_true-valid-memsafety.c 5.42 2.95 305782784 .0199 .0205 5611520
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 3.92 2.18 264728576 .0197 .0201 5619712
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 3.71 2.03 264728576 .0195 .0199 5591040
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 3.76 2.05 265412608 .0532 .0540 5537792
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 3.76 2.06 265945088 .0360 .0389 5738496
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 5.33 2.88 280645632 .0196 .0201 5615616
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 5.58 3.01 280227840 .0200 .0204 5619712
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 5.57 3.05 281382912 .0447 .0462 5537792
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c 6.26 3.41 311304192 .0302 .0307 5599232
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c 8.20 4.34 454438912 .0440 .0447 5529600
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c 3.75 2.07 264286208 .0195 .0199 5615616
termination-crafted/Singapore_true-termination_true-valid-memsafety.c 7.02 3.77 416505856 .0259 .0266 5611520
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c 5.10 2.80 278917120 .0205 .0210 5591040
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 5.34 2.92 276688896 .0335 .0342 5603328
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c 5.22 2.84 278634496 .0196 .0199 5611520
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c 5.39 2.94 275013632 .0199 .0208 5615616
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 6.40 3.44 293916672 .0199 .0205 5615616
termination-crafted/Thun_true-termination_true-valid-memsafety.c 5.75 3.13 280166400 .0273 .0288 5611520
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c 6.92 3.69 377569280 .0196 .0200 5746688
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c 9.49 5.07 426299392 .0196 .0199 5627904
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 4.50 2.49 274522112 .0201 .0205 5484544
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 3.57 2.00 264318976 .0197 .0201 5599232
termination-crafted/aaron2_true-termination_true-valid-memsafety.c 5.16 2.82 278474752 .0196 .0200 5537792
termination-crafted/aaron3_true-termination_true-valid-memsafety.c 18.9  10.1  588161024 .0197 .0201 5615616
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 181    167    1778069504 .0241 .0248 5627904
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 5.06 2.76 276455424 .0454 .0466 5541888
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 4.00 2.26 274722816 12.5    7.61   420536320
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 4.15 2.34 273682432 7.50   4.79   320573440
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 4.77 2.64 282505216 10.2    5.98   351023104
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 4.15 2.30 272502784 9.96   6.22   363995136
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 4.50 2.46 272830464 10.3    5.79   360349696
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 11.8  6.19 459735040 .0198 .0206 5566464
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 5.88 3.19 280309760 .0382 .0388 5541888
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 182    167    1733779456 .0277 .0293 5591040
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 5.08 2.79 278265856 .0510 .0519 5509120
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 6.74 3.66 374976512 .0270 .0285 5607424
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 7.21 3.86 378093568 .0195 .0200 5611520
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 5.01 2.76 276488192 .0192 .0198 5619712
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 5.28 2.90 278122496 .0201 .0206 5611520
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 6.67 3.62 426614784 .0252 .0283 5730304
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 6.55 3.53 350924800 .0232 .0239 5533696
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 4.53 2.49 272531456 .0372 .0380 5533696
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 5.52 2.96 284065792 .0508 .0517 5537792
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 6.12 3.31 308928512 .0198 .0202 5619712
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 6.27 3.37 287936512 .0243 .0248 5595136
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 6.21 3.37 369311744 .0197 .0201 5611520
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 4.50 2.43 271859712 .0286 .0293 5627904
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 6.89 3.70 315555840 .0219 .0223 5615616
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 786    764    14999998464 .0217 .0221 5607424
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 5.11 2.83 276873216 .0203 .0207 5615616
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 182    168    1799761920 .0194 .0198 5615616
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 4.93 2.70 284037120 .0194 .0197 5537792
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 6.30 3.39 298737664 .0194 .0197 5611520
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 5.10 2.78 277950464 .0263 .0270 5550080
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 4.71 2.64 276549632 .0295 .0301 5521408
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 5.37 2.94 279269376 .0501 .0515 5652480
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 5.70 3.08 280383488 .0197 .0201 5611520
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 7.02 3.75 383815680 .0205 .0209 5623808
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 6.89 3.68 353808384 .0235 .0243 5607424
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 5.31 2.86 289427456 .0270 .0282 5742592
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 5.08 2.77 278450176 .0518 .0528 5554176
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 4.54 2.50 276455424 .0198 .0207 5750784
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 634    612    14999998464 .0199 .0203 5615616
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 9.09 4.82 458182656 .0534 .0542 5525504
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 4.72 2.62 275283968 .0196 .0200 5599232
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 4.93 2.69 281505792 .0266 .0278 5603328
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 5.09 2.82 275189760 .0209 .0214 5595136
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 6.50 3.52 424189952 .0495 .0502 5607424
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 4.75 2.62 281640960 .0198 .0202 5615616
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 5.14 2.80 277803008 .0199 .0203 5599232
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 901    821    5104119808 .0195 .0198 5619712
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 901    878    5408796672 .0292 .0298 5537792
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 3.58 1.99 260374528 .0196 .0200 5599232
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 3.63 2.01 264630272 .0196 .0199 5599232
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 4.74 2.63 275841024 .0481 .0490 5545984
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 5.50 3.01 287117312 .0518 .0526 5537792
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 5.59 3.02 332132352 .0200 .0203 5611520
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 5.49 3.02 301629440 .0197 .0201 5615616
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 4.64 2.57 274923520 .0227 .0234 5525504
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 5.95 3.23 290787328 .0199 .0201 5599232
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 5.61 3.06 282169344 .0289 .0294 5529600
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 597    573    14999998464 .0314 .0319 5529600
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 11.3  5.96 429019136 .0199 .0203 5615616
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 6.50 3.51 316039168 .0236 .0241 5615616
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 21.3  10.9  833921024 .0197 .0202 5607424
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 901    872    3629703168 .0201 .0205 5476352
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 901    879    3661066240 .0528 .0547 5668864
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 17.3  9.04 829022208 .0192 .0196 5607424
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 901    877    3670593536 .0198 .0201 5607424
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 901    873    3679973376 .0200 .0204 5611520
termination-crafted-lit/genady_true-termination_true-no-overflow.c 661    639    14999998464 .0200 .0206 5586944
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 22.8  11.7  935624704 .0201 .0204 5603328
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 3.60 2.02 266915840 .0196 .0200 5619712
termination-numeric/Binomial_true-termination_false-no-overflow.c 4.19 2.30 265818112 .0429 .0438 5533696
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 3.77 2.09 264601600 .0194 .0198 5627904
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 3.84 2.14 264871936 .0195 .0199 5619712
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 3.91 2.18 265560064 .0321 .0328 5591040
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 3.73 2.07 266137600 .0195 .0199 5611520
termination-numeric/Parts_true-termination_true-no-overflow.c 4.12 2.24 265592832 .0196 .0200 5730304
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 3.76 2.07 264810496 .0198 .0200 5611520
termination-numeric/TwoWay_true-termination_true-no-overflow.c 3.70 2.03 264998912 .0201 .0205 5615616
termination-numeric/gcd01_true-termination_true-no-overflow.c 3.74 2.07 265805824 .0198 .0203 5599232
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 9.91 5.25 485605376 .0377 .0383 5529600
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 3.60 1.99 266399744 .0323 .0339 5627904
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 3.65 2.07 264843264 .0198 .0202 5611520
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 3.51 2.01 265281536 .0252 .0264 5533696
termination-numeric/twisted_true-termination_true-no-overflow.c 901    850    4072603648 .0370 .0380 5541888
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c 6.24 3.40 307249152 .0192 .0195 5615616
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c 5.19 2.84 275480576 .0375 .0385 5607424
termination-restricted-15/GCD3_true-termination_true-no-overflow.c 5.40 2.91 281616384 .0199 .0203 5623808
termination-restricted-15/GCD4_true-termination_true-no-overflow.c 5.11 2.82 277667840 .0192 .0196 5607424
termination-restricted-15/IntPath_true-termination_true-no-overflow.c 3.75 2.08 269647872 .0196 .0202 5599232
termination-restricted-15/LogAG_true-termination_true-no-overflow.c 5.82 3.12 307486720 .0199 .0209 5599232
termination-restricted-15/Log_true-termination_true-no-overflow.c 6.85 3.71 369516544 .0194 .0200 5603328
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c 11.2  6.16 432553984 .0198 .0202 5595136
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c 4.86 2.69 276881408 .0195 .0199 5615616
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c 6.89 3.70 362823680 .0202 .0208 5746688
termination-restricted-15/Nested_true-termination_true-no-overflow.c 25.7  13.7  636682240 .0423 .0437 5521408
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c 5.17 2.82 281088000 .0201 .0206 5599232
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c 5.52 3.01 280354816 .0237 .0243 5537792
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c 4.74 2.60 275836928 .0198 .0202 5603328
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c 4.74 2.58 275308544 .0196 .0200 5619712
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c 5.69 3.03 288817152 .0306 .0318 5529600
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c 5.74 3.08 282750976 .0198 .0204 5599232
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c 5.01 2.73 278024192 .0204 .0208 5488640
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c 5.28 2.89 279052288 .0195 .0199 5599232
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c 4.48 2.49 272142336 .0322 .0328 5533696
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c 4.65 2.61 276828160 .0194 .0198 5603328
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c 4.80 2.62 274911232 .0194 .0197 5619712
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c 4.93 2.67 275218432 .0217 .0222 5611520
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c 4.93 2.71 275611648 .0200 .0204 5599232
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c 5.69 3.11 282951680 .0303 .0308 5652480
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c 5.41 2.97 277909504 .0195 .0199 5619712
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c 5.51 3.00 280469504 .0253 .0267 5607424
termination-restricted-15/Sequence_true-termination_true-no-overflow.c 116    92.6  4672503808 .0234 .0240 5529600
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c 4.54 2.51 274595840 .0198 .0202 5591040
termination-restricted-15/a.01_true-termination_true-no-overflow.c 5.57 3.03 282480640 .0201 .0206 5611520
termination-restricted-15/a.04_true-termination_true-no-overflow.c 4.78 2.59 274309120 .0264 .0271 5619712
termination-restricted-15/a.05_true-termination_true-no-overflow.c 4.68 2.56 275365888 .0199 .0203 5611520
termination-restricted-15/a.06_true-termination_true-no-overflow.c 5.12 2.72 277127168 .0198 .0202 5603328
termination-restricted-15/a.07_true-termination_true-no-overflow.c 4.76 2.65 275628032 .0193 .0197 5599232
termination-restricted-15/a.08_true-termination_true-no-overflow.c 5.02 2.74 278503424 .0507 .0517 5529600
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c 4.67 2.58 275058688 .0458 .0465 5533696
termination-restricted-15/a.10_true-termination.c 5.21 2.84 279396352 .0266 .0271 5550080
termination-restricted-15/b.01_true-termination_true-no-overflow.c 4.85 2.68 275054592 .0196 .0200 5611520
termination-restricted-15/b.02_true-termination_true-no-overflow.c 4.77 2.61 275677184 .0219 .0224 5685248
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c 4.53 2.49 271249408 .0196 .0200 5611520
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c 4.75 2.60 274857984 .0199 .0204 5611520
termination-restricted-15/b.04_true-termination_true-no-overflow.c 4.51 2.46 274460672 .0196 .0203 5607424
termination-restricted-15/b.05_true-termination_true-no-overflow.c 5.09 2.76 278331392 .0534 .0541 5533696
termination-restricted-15/b.06_true-termination_true-no-overflow.c 4.93 2.72 275947520 .0315 .0322 5525504
termination-restricted-15/b.07_true-termination_true-no-overflow.c 4.98 2.72 276115456 .0199 .0203 5603328
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c 5.47 2.99 279388160 .0209 .0218 5607424
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c 4.94 2.74 272437248 .0266 .0270 5611520
termination-restricted-15/b.10_true-termination_true-no-overflow.c 5.74 3.13 283082752 .0203 .0208 5607424
termination-restricted-15/b.11_true-termination_true-no-overflow.c 5.82 3.14 281378816 .0197 .0201 5623808
termination-restricted-15/b.12_true-termination_true-no-overflow.c 5.61 3.06 280551424 .0189 .0193 5607424
termination-restricted-15/b.13_true-termination_true-no-overflow.c 5.65 3.05 282415104 .0203 .0209 5611520
termination-restricted-15/b.14_true-termination_true-no-overflow.c 5.77 3.12 285745152 .0252 .0260 5545984
termination-restricted-15/b.15_true-termination_true-no-overflow.c 6.05 3.22 287825920 .0255 .0259 5623808
termination-restricted-15/b.16_true-termination_true-no-overflow.c 5.33 2.90 280920064 .0200 .0205 5611520
termination-restricted-15/b.17_true-termination_true-no-overflow.c 5.37 2.94 279961600 .0194 .0197 5603328
termination-restricted-15/b.18_true-termination_true-no-overflow.c 6.92 3.71 318828544 .0199 .0202 5619712
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c 121    104    4267827200 .0200 .0204 5615616
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c 7.21 3.90 389185536 .0227 .0231 5615616
termination-restricted-15/c.02_true-termination_true-no-overflow.c 5.87 3.16 281726976 .0268 .0277 5697536
termination-restricted-15/c.03_true-termination_true-no-overflow.c 6.25 3.36 281378816 .0200 .0204 5619712
termination-restricted-15/c.07_true-termination_true-no-overflow.c 5.01 2.77 277057536 .0197 .0200 5603328
termination-restricted-15/c.08_true-termination_true-no-overflow.c 5.35 2.93 278441984 .0193 .0197 5603328
termination-restricted-15/ex3a_true-termination_true-no-overflow.c 3.77 2.07 277364736 .0317 .0321 5611520
termination-restricted-15/ex3b_true-termination_true-no-overflow.c 3.73 2.06 268529664 .0198 .0202 5611520
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c 5.07 2.81 278020096 .0278 .0285 5537792
termination-restricted-15/java_Break_true-termination_true-no-overflow.c 4.86 2.67 277237760 .0201 .0205 5611520
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c 37.9  24.7  845565952 .0524 .0533 5529600
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c 12.9  6.82 447229952 .0196 .0203 5611520
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c 121    96.5  4387016704 .0198 .0202 5607424
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c 6.11 3.35 283451392 9.97   6.21   353263616
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c 4.21 2.33 276414464 7.25   4.71   312995840
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c 4.32 2.37 272310272 10.3    6.39   374038528
termination-restricted-15/Ex02_false-termination_true-no-overflow.c 4.05 2.27 272769024 10.2    6.39   391806976
termination-restricted-15/Ex03_false-termination_true-no-overflow.c 4.06 2.27 272003072 10.3    6.42   392183808
termination-restricted-15/Ex05_false-termination_true-no-overflow.c 4.00 2.26 272408576 7.26   4.26   312336384
termination-restricted-15/Ex06_false-termination_true-no-overflow.c 5.23 2.85 280809472 8.82   5.07   327921664
termination-restricted-15/Ex07_false-termination_true-no-overflow.c 6.05 3.28 282951680 9.23   5.88   329093120
termination-restricted-15/Ex08_false-termination_true-no-overflow.c 300    257    3828482048 46.8    26.5    1001021440
termination-restricted-15/Flip2_false-termination_true-no-overflow.c 5.04 2.80 279977984 .0262 .0271 5603328
termination-restricted-15/Flip_false-termination_true-no-overflow.c 4.15 2.33 275316736 7.06   4.52   314331136
termination-restricted-15/GCD2_false-termination_true-no-overflow.c 5.16 2.81 279158784 .0255 .0263 5607424
termination-restricted-15/GCD_false-termination_true-no-overflow.c 5.18 2.83 277536768 .0304 .0312 5623808
termination-restricted-15/Loop_false-termination_true-no-overflow.c 4.14 2.30 275025920 7.50   4.34   314494976
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c 4.17 2.31 272691200 9.89   6.14   364896256
termination-restricted-15/NO_00_false-termination_true-no-overflow.c 4.15 2.33 275537920 7.33   4.27   312086528
termination-restricted-15/NO_01_false-termination_true-no-overflow.c 4.48 2.48 277037056 7.34   4.25   323633152
termination-restricted-15/NO_02_false-termination_true-no-overflow.c 4.05 2.28 273481728 7.30   4.69   312774656
termination-restricted-15/NO_03_false-termination_true-no-overflow.c 5.14 2.79 281202688 7.93   4.97   320311296
termination-restricted-15/NO_04_false-termination_true-no-overflow.c 4.51 2.46 276324352 7.78   4.90   325148672
termination-restricted-15/NO_13_false-termination_true-no-overflow.c 816    794    14999998464 .0198 .0201 5591040
termination-restricted-15/NO_21_false-termination_true-no-overflow.c 4.14 2.34 273870848 7.41   4.71   315498496
termination-restricted-15/NO_22_false-termination_true-no-overflow.c 767    743    14999998464 .0396 .0405 5521408
termination-restricted-15/NO_23_false-termination_true-no-overflow.c 5.84 3.18 300441600 11.4    6.61   433872896
termination-restricted-15/NO_24_false-termination_true-no-overflow.c 7.42 3.96 532148224 .0441 .0454 5529600
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c 901    884    3611627520 .0199 .0202 5599232
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c 901    884    1440493568 .0275 .0281 5591040
termination-restricted-15/Sunset_false-termination_true-no-overflow.c 7.33 3.92 360099840 19.8    12.2    492748800
termination-restricted-15/Swingers_false-termination_true-no-overflow.c 7.93 4.19 541212672 .0198 .0202 5611520
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c 4.14 2.30 271986688 8.06   5.00   314130432
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c 335    296    3887304704 33.0    19.1    886661120
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c 320    284    3869519872 42.1    24.1    1239384064
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c 4.10 2.28 274022400 10.0    6.26   357519360
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c 4.50 2.54 273215488 10.4    6.11   388788224
termination-libowfat/atoi_true-termination.c.i 151    111    3757326336 .0402 .0412 5533696
termination-libowfat/atol_true-termination.c.i 96.3  57.5  3712884736 .0328 .0333 5533696
termination-libowfat/atoll_true-termination.c.i 133    92.9  3725668352 .0197 .0201 5599232
termination-libowfat/basename_true-termination.c.i 68.9  49.8  2514657280 .0197 .0200 5738496
termination-libowfat/build_fullname_true-termination.c.i 903    876    3921080320 .0194 .0198 5619712
termination-libowfat/dirname_true-termination.c.i 902    857    4306800640 .0196 .0200 5615616
termination-libowfat/skip_to_true-termination.c.i 9.24 4.87 453136384 .0207 .0219 5611520
termination-libowfat/stpcpy_true-termination.c.i 901    828    4125179904 .0197 .0200 5619712
termination-libowfat/strcasecmp_true-termination.c.i 901    862    4232556544 .0197 .0201 5615616
termination-libowfat/strcat_short_true-termination.c.i 903    853    4185747456 .0197 .0201 5623808
termination-libowfat/strcat_true-termination.c.i 911    868    4244021248 .0229 .0238 5607424
termination-libowfat/strchr_short_true-termination.c.i 9.09 4.82 465809408 .0195 .0199 5615616
termination-libowfat/strchr_true-termination.c.i 902    870    4091338752 .0198 .0202 5603328
termination-libowfat/strcmp_short_true-termination.c.i 901    875    3649417216 .0423 .0437 5541888
termination-libowfat/strcpy_small_true-termination.c.i 901    829    4029624320 .0199 .0202 5627904
termination-libowfat/strcspn_true-termination.c.i 466    431    3636535296 .0540 .0547 5545984
termination-libowfat/strdup_true-termination.c.i 903    870    4114235392 .0285 .0292 5615616
termination-libowfat/strlcat_true-termination.c.i 2.17 1.19 153051136 .0195 .0199 5615616
termination-libowfat/strlcpy_true-termination.c.i 2.43 1.34 157024256 .0198 .0201 5611520
termination-libowfat/strlen_true-termination.c.i 8.36 4.43 450355200 .0194 .0198 5615616
termination-libowfat/strpbrk_true-termination.c.i 447    415    3246239744 .0195 .0198 5611520
termination-libowfat/strrchr_short_true-termination.c.i 7.70 4.09 419590144 .0194 .0203 5623808
termination-libowfat/strrchr_true-termination.c.i 901    839    4465647616 .0194 .0201 5742592
termination-libowfat/strspn_true-termination.c.i 901    862    3818352640 .0263 .0270 5718016
termination-libowfat/strstr_true-termination.c.i 901    860    3794874368 .0434 .0449 5656576
termination-libowfat/strtok_r_true-termination.c.i 29.8  15.2  1458536448 .0514 .0528 5533696
termination-libowfat/strtol_true-termination.c.i 24.2  12.4  1198764032 .0192 .0197 5599232
termination-libowfat/strtoul_true-termination.c.i 9.42 4.98 426012672 .0308 .0313 5607424
termination-libowfat/strtoull_true-termination.c.i 7.40 3.92 420847616 .0201 .0205 5607424
termination-libowfat/wcsrchr_true-termination.c.i 7.85 4.09 413417472 .0190 .0193 5607424
termination-libowfat/wcsstr_true-termination.c.i 901    870    4091760640 .0201 .0204 5615616
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i 5.42 2.95 265019392 .0201 .0205 5615616
termination-memory-alloca/Velroyen-alloca_false-termination.c.i 6.64 3.51 320413696 .0197 .0202 5607424
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i 902    878    4058112000 .0192 .0197 5619712
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i 916    887    4363640832 .0197 .0201 5603328
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i 901    870    4053487616 .0200 .0204 5611520
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i 437    381    4048945152 .0199 .0206 5734400
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i 905    870    4180983808 .0197 .0201 5615616
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i 372    313    4192854016 .0486 .0511 5603328
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i 902    868    4071108608 .0198 .0202 5611520
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i 903    863    4112535552 .0197 .0203 5611520
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i 901    863    4077133824 .0200 .0204 5599232
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i 903    877    4044873728 .0533 .0542 5537792
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i 6.64 3.55 327319552 .0194 .0198 5611520
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i 912    881    4026089472 .0197 .0201 5619712
termination-memory-alloca/Masse-alloca_true-termination.c.i 6.49 3.47 360353792 .0260 .0267 5615616
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i 913    885    4060401664 .0372 .0379 5603328
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i 904    884    4026793984 .0197 .0201 5595136
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i 152    103    4026032128 .0194 .0197 5615616
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i 916    885    4167081984 .0199 .0203 5595136
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i 901    879    3987951616 .0196 .0202 5586944
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i 822    793    4056715264 .0201 .0206 5619712
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i 735    709    14999998464 .0200 .0204 5611520
termination-memory-alloca/Urban-alloca_true-termination.c.i 146    101    4065792000 .0244 .0251 5738496
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i 903    884    3966685184 .0394 .0400 5533696
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i 917    889    4225675264 .0199 .0203 5607424
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i 915    886    4241047552 .0191 .0195 5615616
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i 916    884    4184973312 .0196 .0200 5603328
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i 917    886    4262445056 .0200 .0204 5619712
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i 915    877    4201119744 .0195 .0201 5599232
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i 907    878    4086640640 .0195 .0201 5611520
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i 917    883    4119244800 .0196 .0200 5603328
termination-memory-alloca/add_last-alloca_true-termination.c.i 10.9  5.67 428277760 .0284 .0292 5586944
termination-memory-alloca/array01-alloca_true-termination.c.i 10.9  5.75 462487552 .0199 .0203 5599232
termination-memory-alloca/array02-alloca_true-termination.c.i 18.6  9.65 909148160 .0196 .0199 5611520
termination-memory-alloca/array03-alloca_true-termination.c.i 4.76 2.61 260141056 .0199 .0207 5574656
termination-memory-alloca/aviad_true-alloca_true-termination.c.i 915    881    4193673216 .0194 .0198 5599232
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i 916    885    4194791424 .0194 .0198 5603328
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i 906    877    4141682688 .0244 .0251 5603328
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 70.4  37.0  3110567936 .0245 .0253 5611520
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i 85.2  45.7  3379646464 .0224 .0232 5603328
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i 916    878    4238213120 .0197 .0203 5611520
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i 901    871    3825156096 .0482 .0497 5533696
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i 906    874    4133990400 .0203 .0207 5611520
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i 917    888    4176162816 .0204 .0208 5615616
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 902    874    3944742912 .0199 .0202 5603328
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i 902    879    4041224192 .0286 .0296 5525504
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i 915    883    4105875456 .0194 .0198 5599232
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i 915    882    4106362880 .0391 .0417 5726208
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i 907    872    4171722752 .0228 .0249 5599232
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i 902    867    4070969344 .0198 .0202 5599232
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i 903    878    3967901696 .0197 .0201 5607424
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i 901    877    3874156544 .0481 .0490 5541888
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i 910    877    4274221056 .0284 .0291 5607424
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i 902    883    3892862976 .0200 .0205 5607424
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i 521    452    4649295872 .0196 .0200 5619712
termination-memory-alloca/bubblesort-alloca_true-termination.c.i 8.28 4.42 428457984 .0304 .0309 5545984
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i 902    880    3933278208 .0227 .0235 5603328
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i 901    861    4264398848 .0241 .0250 5525504
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i 901    879    4042944512 .0198 .0203 5607424
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i 917    886    4145287168 .0198 .0201 5619712
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i 903    870    4071788544 .0413 .0422 5529600
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i 917    882    4174770176 .0192 .0196 5611520
termination-memory-alloca/count_down-alloca_true-termination.c.i 19.6  10.1  765583360 .0197 .0201 5623808
termination-memory-alloca/cstrcat-alloca_true-termination.c.i 901    856    3994288128 .0197 .0202 5615616
termination-memory-alloca/cstrchr-alloca_true-termination.c.i 31.4  16.1  1408270336 .0513 .0532 5529600
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i 901    875    3654475776 .0200 .0204 5615616
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i 901    834    4301070336 .0200 .0204 5615616
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i 901    879    3678478336 .0197 .0201 5615616
termination-memory-alloca/cstrlen-alloca_true-termination.c.i 23.2  12.0  966164480 .0196 .0200 5615616
termination-memory-alloca/cstrncat-alloca_true-termination.c.i 901    832    4291092480 .0200 .0204 5595136
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i 901    877    3635482624 .0199 .0203 5611520
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i 887    792    4398063616 .0198 .0202 5607424
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i 901    879    3681640448 .0199 .0203 5603328
termination-memory-alloca/cstrspn-alloca_true-termination.c.i 901    879    3670900736 .0256 .0277 5533696
termination-memory-alloca/diff-alloca_true-termination.c.i 42.2  33.7  896876544 .0197 .0201 5746688
termination-memory-alloca/easySum-alloca_true-termination.c.i 905    875    4085919744 .0264 .0271 5533696
termination-memory-alloca/ex1-alloca_true-termination.c.i 4.75 2.62 256782336 .0496 .0503 5550080
termination-memory-alloca/ex2-alloca_true-termination.c.i 903    880    4053635072 .0195 .0199 5623808
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i 4.33 2.39 257875968 .0200 .0206 5750784
termination-memory-alloca/ex3b-alloca_true-termination.c.i 4.13 2.28 254869504 .0194 .0200 5619712
termination-memory-alloca/fermat-alloca_true-termination.c.i 4.62 2.48 277696512 .0198 .0201 5468160
termination-memory-alloca/flag-alloca_true-termination.c.i 905    879    3998621696 .0196 .0200 5619712
termination-memory-alloca/gcd1-alloca_true-termination.c.i 901    871    3814830080 .0289 .0293 5623808
termination-memory-alloca/genady-alloca_true-termination.c.i 901    861    4000972800 .0199 .0203 5607424
termination-memory-alloca/insertionsort-alloca_true-termination.c.i 12.0  6.31 603766784 .0196 .0199 5615616
termination-memory-alloca/java_AG313-alloca_true-termination.c.i 902    872    4058259456 .0204 .0212 5599232
termination-memory-alloca/java_Break-alloca_true-termination.c.i 901    865    3854036992 .0195 .0199 5619712
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i 9.49 5.00 447172608 .0198 .0209 5599232
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i 400    322    4767072256 .0260 .0268 5627904
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i 901    864    3837296640 .0195 .0200 5595136
termination-memory-alloca/java_Nested-alloca_true-termination.c.i 903    874    4068732928 .0264 .0272 5525504
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i 912    873    4232945664 .0280 .0288 5619712
termination-memory-alloca/lis-alloca_true-termination.c.i 901    868    4039811072 .0199 .0207 5615616
termination-memory-alloca/min_rf-alloca_true-termination.c.i 905    869    4194373632 .0206 .0210 5591040
termination-memory-alloca/mult_array-alloca_true-termination.c.i 4.20 2.31 258183168 .0196 .0199 5603328
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i 7.87 4.14 429912064 .0191 .0195 5611520
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i 6.92 3.70 422805504 .0198 .0202 5607424
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i 6.81 3.62 378241024 .0198 .0202 5476352
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i 6.72 3.60 366444544 .0225 .0239 5615616
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i 397    342    4348768256 .0195 .0201 5603328
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i 901    836    4212264960 .0232 .0242 5607424
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i 901    867    3973492736 .0196 .0200 5599232
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i 876    838    4125515776 .0505 .0515 5537792
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i 486    425    4553326592 .0198 .0201 5607424
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i 901    873    3243630592 .0194 .0200 5615616
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i 901    856    3841601536 .0199 .0203 5611520
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i 7.95 4.20 421330944 .0200 .0207 5615616
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i 901    833    4221165568 .0241 .0245 5607424
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i 629    602    4021460992 .0445 .0460 5525504
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i 901    814    4539928576 .0197 .0201 5615616
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i 8.64 4.53 417378304 .0200 .0208 5681152
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i 901    878    3069685760 .0200 .0204 5619712
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i 901    874    3660767232 .0429 .0442 5607424
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i 902    852    4163010560 .0195 .0199 5623808
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i 4.12 2.26 248709120 .0197 .0201 5599232
termination-memory-alloca/selectionsort-alloca_true-termination.c.i 436    409    14999998464 .0199 .0204 5599232
termination-memory-alloca/stroeder1-alloca_true-termination.c.i 6.07 3.29 299499520 .0195 .0201 5595136
termination-memory-alloca/stroeder2-alloca_true-termination.c.i 7.55 4.00 423493632 .0196 .0200 5619712
termination-memory-alloca/strreplace-alloca_true-termination.c.i 33.3  17.0  1363767296 .0199 .0203 5619712
termination-memory-alloca/subseq-alloca_true-termination.c.i 901    878    3639599104 .0305 .0314 5742592
termination-memory-alloca/substring-alloca_true-termination.c.i 902    870    4085547008 .0526 .0541 5545984
termination-memory-alloca/twisted-alloca_true-termination.c.i 901    874    4049526784 .0196 .0199 5603328
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i 4.14 2.30 248012800 .0195 .0198 5607424
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i 4.15 2.25 250605568 .0292 .0299 5664768
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i 8.99 4.75 443596800 11.1    6.38   404979712
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i 84.2  47.2  3801083904 .0412 .0420 5533696
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i 4.02 2.21 248168448 .0203 .0207 5615616
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i 4.20 2.28 250441728 .0196 .0199 5607424
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i 3.98 2.19 247812096 .0198 .0204 5746688
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i 85.8  48.4  3773636608 .0399 .0407 5533696
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i 84.7  48.8  3791912960 .0194 .0198 5607424
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i 4.23 2.29 249032704 .0192 .0200 5615616
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i 4.74 2.60 258224128 .0206 .0212 5734400
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i 4.10 2.27 250986496 .0197 .0201 5611520
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i 4.17 2.29 251146240 .0383 .0395 5529600
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i 4.18 2.26 250638336 .0200 .0204 5611520
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i 4.69 2.59 262205440 .0265 .0272 5619712
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i 14.3  7.47 586989568 .0259 .0265 5611520
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i 8.40 4.46 428150784 .0195 .0200 5742592
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i 5.39 2.97 256839680 .0201 .0205 5611520
termination-15/add_first_alloca_true-termination.c.i 13.2  7.54 465281024 .0202 .0206 5619712
termination-15/array05_alloca_true-termination.c.i 7.73 4.18 315580416 .0259 .0275 5607424
termination-15/array06_alloca_true-termination.c.i 7.24 3.93 325636096 .0410 .0418 5615616
termination-15/array07_alloca_true-termination.c.i 7.12 3.87 318750720 .0199 .0204 5607424
termination-15/array08_alloca_true-termination.c.i 901    824    4372815872 .0197 .0202 5611520
termination-15/array09_alloca_true-termination.c.i 901    836    4401635328 .0195 .0199 5623808
termination-15/array10_alloca_true-termination.c.i 7.43 4.04 325804032 .0221 .0225 5537792
termination-15/array12_alloca_true-termination.c.i 901    842    4632399872 .0190 .0194 5611520
termination-15/array13_alloca_true-termination.c.i 901    852    4288905216 .0198 .0202 5599232
termination-15/array16_alloca_fixed_true-termination.c.i 906    840    4790898688 .0193 .0197 5595136
termination-15/array17_alloca_true-termination.c.i 11.9  6.29 500330496 .0416 .0424 5550080
termination-15/array18_alloca_true-termination.c.i 901    825    4340195328 .0546 .0556 5537792
termination-15/count_up_alloca_true-termination.c.i 26.3  13.5  729686016 .0347 .0354 5623808
termination-15/count_up_and_down_alloca_true-termination.c.i 15.6  8.24 577769472 .0439 .0452 5521408
termination-15/cstrcat_diffterm_alloca_true-termination.c.i 901    872    3980013568 .0196 .0200 5611520
termination-15/cstrcat_malloc_true-termination.c.i 901    871    3978780672 .0195 .0198 5611520
termination-15/cstrcat_mixed_alloca_true-termination.c.i 901    874    3979341824 .0196 .0200 5619712
termination-15/cstrcat_reverse_alloca_true-termination.c.i 904    815    5053972480 .0196 .0200 5595136
termination-15/cstrchr_diffterm_alloca_true-termination.c.i 24.1  12.4  918343680 .0198 .0202 5619712
termination-15/cstrchr_malloc_true-termination.c.i 34.4  17.7  1322721280 .0199 .0203 5611520
termination-15/cstrchr_reverse_alloca_true-termination.c.i 14.2  7.36 645820416 .0195 .0199 5607424
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i 901    880    3645636608 .0290 .0299 5525504
termination-15/cstrcmp_malloc_true-termination.c.i 901    876    3659526144 .0197 .0201 5615616
termination-15/cstrcmp_mixed_alloca_true-termination.c.i 893    867    3660840960 .0257 .0264 5545984
termination-15/cstrcmp_reverse_alloca_true-termination.c.i 895    869    3657973760 .0441 .0451 5541888
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i 149    129    3494907904 .0199 .0203 5607424
termination-15/cstrcpy_malloc_true-termination.c.i 150    131    3507666944 .0204 .0208 5623808
termination-15/cstrcpy_mixed_alloca_true-termination.c.i 149    130    3508215808 .0259 .0266 5623808
termination-15/cstrcpy_reverse_alloca_true-termination.c.i 152    134    3614187520 .0204 .0210 5611520
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i 901    878    3685609472 .0329 .0335 5537792
termination-15/cstrcspn_malloc_true-termination.c.i 901    874    3673681920 .0196 .0199 5627904
termination-15/cstrcspn_mixed_alloca_true-termination.c.i 305    276    3686014976 .0197 .0203 5595136
termination-15/cstrcspn_reverse_alloca_true-termination.c.i 901    877    3669139456 .0208 .0217 5689344
termination-15/cstrlen_diffterm_alloca_true-termination.c.i 19.3  10.0  937148416 .0194 .0198 5591040
termination-15/cstrlen_malloc_true-termination.c.i 27.4  14.0  976928768 .0191 .0195 5615616
termination-15/cstrlen_reverse_alloca_true-termination.c.i 34.8  17.9  1367986176 .0197 .0207 5730304
termination-15/cstrncat_diffterm_alloca_true-termination.c.i 901    830    4255326208 .0197 .0201 5595136
termination-15/cstrncat_malloc_true-termination.c.i 901    835    4259295232 .0197 .0201 5619712
termination-15/cstrncat_mixed_alloca_true-termination.c.i 901    854    3936342016 .0202 .0206 5615616
termination-15/cstrncat_reverse_alloca_true-termination.c.i 901    818    4349706240 .0195 .0199 5591040
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i 901    881    3658334208 .0513 .0521 5541888
termination-15/cstrncmp_malloc_true-termination.c.i 901    878    3664805888 .0337 .0352 5545984
termination-15/cstrncmp_mixed_alloca_true-termination.c.i 901    876    3658600448 .0289 .0297 5607424
termination-15/cstrncmp_reverse_alloca_true-termination.c.i 901    876    3661783040 .0537 .0545 5541888
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i 901    818    4274122752 .0200 .0206 5599232
termination-15/cstrncpy_malloc_true-termination.c.i 653    580    4174385152 .0517 .0526 5550080
termination-15/cstrncpy_mixed_alloca_true-termination.c.i 901    825    4175958016 .0196 .0200 5623808
termination-15/cstrncpy_reverse_alloca_true-termination.c.i 901    826    4194455552 .0199 .0203 5615616
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i 901    878    3686875136 .0291 .0296 5533696
termination-15/cstrpbrk_malloc_true-termination.c.i 901    880    3690848256 .0292 .0308 5529600
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i 306    273    3684732928 .0196 .0200 5615616
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i 901    871    3681222656 .0197 .0201 5591040
termination-15/cstrspn_diffterm_alloca_true-termination.c.i 901    874    3679883264 .0233 .0242 5619712
termination-15/cstrspn_malloc_true-termination.c.i 901    878    3680145408 .0202 .0205 5611520
termination-15/cstrspn_mixed_alloca_true-termination.c.i 296    265    3694444544 .0200 .0205 5689344
termination-15/cstrspn_reverse_alloca_true-termination.c.i 901    873    3681738752 .0199 .0203 5599232
termination-15/array04_alloca_false-termination.c.i 7.81 4.24 348311552 9.35   5.33   332038144
termination-15/array14_alloca_false-termination.c.i 901    855    4315914240 .0197 .0200 5521408
termination-15/array15_alloca_false-termination.c.i 901    859    4293038080 .0262 .0270 5615616
termination-15/array16_alloca_original_false-termination.c.i 901    813    4766396416 .0197 .0201 5599232
termination-15/array19_alloca_false-termination.c.i 7.36 4.03 343990272 9.56   5.50   335298560
termination-15/array20_alloca_false-termination.c.i 7.28 3.95 294133760 .0195 .0199 5623808
termination-recursive-malloc/chunk1_true-termination.c.i 3.64 2.02 263757824 .0202 .0206 5619712
termination-recursive-malloc/chunk2_true-termination.c.i 3.85 2.11 265252864 .0192 .0196 5480448
termination-recursive-malloc/chunk3_true-termination.c.i 3.78 2.13 265199616 .0195 .0198 5492736
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i 4.38 2.48 265768960 .0197 .0201 5607424
termination-recursive-malloc/mergeSort_true-termination.c.i 3.81 2.13 264949760 .0195 .0198 5623808
termination-recursive-malloc/mutual_simple2_true-termination.c.i 3.91 2.13 265080832 .0418 .0424 5541888
termination-recursive-malloc/mutual_simple_true-termination.c.i 3.59 2.02 264601600 .0441 .0450 5521408
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i 3.57 2.00 266219520 .0231 .0243 5619712
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i 3.79 2.11 264712192 .0309 .0314 5533696
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i 3.74 2.06 266018816 .0200 .0203 5607424
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i 3.74 2.08 265199616 .0269 .0275 5537792
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i 3.87 2.13 266014720 .0290 .0304 5586944
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i 3.79 2.08 267231232 .0197 .0201 5619712
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i 3.85 2.10 267571200 .0236 .0241 5525504
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i 3.65 2.03 265224192 .0198 .0202 5603328
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i 4.37 2.41 265441280 .0198 .0201 5603328
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i 3.82 2.10 264712192 .0196 .0200 5619712
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i 3.76 2.08 266256384 .0239 .0249 5566464
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i 3.74 2.10 262746112 .0512 .0522 5529600
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i 3.55 1.98 265158656 .0199 .0205 5554176
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i 3.57 2.01 265334784 .0196 .0199 5619712
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i 3.91 2.19 266084352 .0200 .0204 5595136
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i 3.88 2.14 266653696 .0194 .0203 5603328
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i 3.90 2.19 265482240 .0436 .0448 5537792
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i 3.80 2.10 265531392 .0238 .0244 5599232
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i 3.72 2.06 264163328 .0483 .0497 5533696
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i 4.37 2.42 266326016 .0271 .0278 5533696
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 3.74 2.07 265211904 .0195 .0200 5627904
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 3.52 1.98 264245248 .0213 .0226 5591040
array-examples/standard_sentinel_true-unreach-call_true-termination.i 3.61 2.02 263184384 .0203 .0207 5595136
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 3.51 1.98 263647232 .0504 .0519 5529600
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 3.62 2.02 265814016 .0289 .0294 5537792
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 4.19 2.33 264417280 .0195 .0199 5619712
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 3.62 2.04 263942144 .0197 .0201 5607424
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 3.69 2.01 264544256 .0195 .0199 5607424
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 905    875    4145405952 .0195 .0199 5611520
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 3.80 2.10 265502720 .0198 .0206 5595136
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 4.16 2.35 275714048 7.54   4.40   314847232
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 4.44 2.46 274350080 68.7    65.3    356663296
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 4.42 2.45 277716992 21.4    17.4    355188736
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 4.44 2.45 276688896 20.7    17.4    321032192
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 4.91 2.66 277098496 160      156      365699072
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 919    772    10774491136 .0198 .0205 5758976
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 916    768    10766589952 .0197 .0206 5746688
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 906    882    3871367168 .0203 .0207 5611520
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 82.8  77.1  497012736 .0254 .0263 5722112
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 62.6  32.2  2337243136 14.2    8.38   554176512
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 32.8  16.8  1396240384 15.0    8.65   508764160
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 8.54 4.53 437964800 .0195 .0205 5603328
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 8.00 4.25 433487872 .0247 .0253 5603328
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.98 4.27 423358464 .0452 .0465 5529600
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 8.43 4.48 427249664 .0519 .0528 5537792
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.57 4.03 421867520 .0196 .0200 5603328
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.86 2.11 264667136 .0196 .0200 5603328
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 3.54 1.99 266366976 .0199 .0204 5599232
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 3.59 2.01 266596352 .0520 .0530 5541888
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 4.01 2.21 265240576 .0271 .0283 5529600
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 3.54 1.98 265863168 .0205 .0210 5533696
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 3.65 2.02 266526720 .0199 .0203 5623808
bitvector-regression/signextension2_false-unreach-call_true-termination.c 3.72 2.06 264155136 .0229 .0234 5611520
bitvector-regression/signextension2_true-unreach-call_true-termination.c 3.68 2.06 265834496 .0197 .0208 5595136
bitvector-regression/signextension_false-unreach-call_true-termination.c 4.57 2.53 265625600 .0236 .0241 5607424
bitvector-regression/signextension_true-unreach-call_true-termination.c 3.67 2.00 258789376 .0197 .0201 5611520
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 904    863    4283199488 .0200 .0204 5615616
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.01 3.72 326385664 .0264 .0273 5603328
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.79 4.09 332955648 .0200 .0205 5603328
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 17.1  8.88 656457728 .0195 .0199 5611520
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.96 3.22 269897728 .0195 .0200 5595136
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.65 3.09 266108928 .0197 .0201 5595136
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.38 3.43 281161728 .0195 .0202 5754880
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.19 3.35 280178688 .0196 .0200 5591040
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.32 2.36 268333056 .0489 .0521 5660672
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.78 2.61 262459392 .0193 .0199 5603328
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.70 2.55 253837312 .0198 .0201 5615616
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 901    856    4075261952 .0196 .0205 5746688
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 901    856    4321251328 .0241 .0251 5611520
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 901    844    4543500288 .0198 .0208 5595136
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 901    836    4336189440 .0227 .0235 5611520
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 795    750    4162007040 962      622      13591400448
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 901    857    4337160192 .0501 .0509 5533696
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 901    862    4145831936 .0196 .0204 5591040
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 19.7  10.1  628379648 25.6    14.9    772210688
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 8.44 4.46 435515392 16.2    9.25   525537280
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 901    859    3961896960 .0534 .0543 5394432
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 782    738    4388790272 77.6    46.0    2853568512
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 901    858    4534050816 .0197 .0201 5591040
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 901    859    4684402688 .0449 .0457 5525504
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 901    846    4596137984 .0424 .0434 5533696
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 901    862    3113279488 .0195 .0199 5595136
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 902    859    4892545024 .0192 .0195 5591040
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 188    147    4109623296 251      185      6464823296
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 902    845    4599508992 .0199 .0207 5566464
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 901    841    4571672576 .0210 .0214 5599232
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 901    841    4190162944 .0535 .0543 5537792
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 901    845    4313841664 .0542 .0553 5517312
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 901    847    4236107776 .0196 .0200 5591040
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 901    853    4236283904 .0188 .0196 5677056
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 901    839    4850712576 .0199 .0203 5615616
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 901    854    3984457728 .0198 .0202 5619712
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 13.6  7.07 577134592 17.1    9.82   489480192
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 20.1  10.4  996327424 18.7    10.9    504528896
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 24.7  13.5  1226092544 20.3    11.4    497336320
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 44.3  24.5  2324840448 23.7    13.8    546897920
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 6.19 3.32 309411840 30.6    17.9    2514841600
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 70.7  43.4  3808518144 25.7    15.1    673857536
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 47.3  26.5  2191110144 22.4    12.5    564961280
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 104    74.8  4930199552 25.7    14.9    789991424
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 5.29 2.90 279568384 11.7    7.08   434028544
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 6.13 3.32 295313408 12.3    7.13   490057728
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 6.46 3.49 366878720 13.4    8.02   480362496
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 7.44 3.97 422699008 14.5    8.31   527499264
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 10.6  5.58 449867776 15.4    9.22   489357312
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 162    109    3887095808 .0200 .0204 5607424
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 904    844    4715610112 .0416 .0439 5492736
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 27.5  14.0  873078784 44.4    26.1    990957568
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 28.2  14.4  895746048 48.6    27.6    973484032
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 28.3  14.4  851255296 44.1    25.8    1018892288
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 30.5  15.5  875692032 46.0    26.8    1004507136
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 28.0  14.2  865837056 45.2    26.3    991141888
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 27.0  13.8  868691968 46.0    26.3    1024983040
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 28.2  14.4  885694464 44.0    25.9    996184064
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 28.4  14.5  835379200 46.3    26.7    982179840
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 28.0  14.3  863506432 45.4    26.5    1005502464
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 28.5  14.5  850784256 43.4    25.4    1015767040
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 27.9  14.2  834260992 47.4    27.4    1015939072
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 28.1  14.3  851316736 46.1    26.8    971988992
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 27.6  14.1  835436544 45.1    26.4    984522752
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 28.0  14.3  847114240 46.2    26.9    1008427008
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 28.4  14.5  840499200 45.4    26.0    988557312
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 27.4  14.0  844369920 48.3    27.6    968585216
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 28.5  14.5  835469312 45.6    26.3    980045824
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 28.8  14.7  888639488 44.0    25.6    989544448
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 30.0  15.3  888520704 43.6    25.6    991354880
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 27.8  14.1  854908928 43.0    25.2    1021829120
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 28.4  14.4  873648128 49.2    28.4    994344960
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 28.0  14.2  876912640 47.0    27.3    976707584
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 28.4  14.5  830730240 46.6    27.1    978206720
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 27.7  14.1  878854144 44.3    26.0    1013940224
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 27.6  14.0  897241088 47.3    27.1    1014165504
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 28.2  14.3  841728000 44.9    26.3    983146496
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 28.3  14.4  889303040 44.2    25.9    977420288
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 28.4  14.5  881528832 46.9    27.2    1010610176
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 28.4  14.4  841588736 45.7    26.6    986611712
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 28.2  14.3  840998912 46.7    27.2    1015234560
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 30.7  15.7  857554944 46.7    26.8    1015083008
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 27.9  14.2  834654208 45.2    26.1    994607104
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 33.5  17.0  881762304 44.2    25.5    967860224
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 30.1  15.3  867676160 46.6    26.6    1016692736
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 28.4  14.5  883851264 44.9    26.0    996188160
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 27.3  13.9  835780608 49.1    28.3    1003585536
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 27.8  14.2  844509184 42.5    25.1    1002737664
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 27.7  14.1  846524416 44.0    25.7    1015140352
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 27.6  14.1  840859648 44.6    25.6    968822784
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 28.3  14.4  856305664 43.2    25.1    971411456
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 28.0  14.3  856612864 44.8    26.1    1028866048
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 29.8  15.2  885780480 42.0    24.8    979378176
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 27.9  14.2  849850368 45.6    26.7    1017552896
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 28.6  14.6  867328000 43.8    25.3    1002737664
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 27.6  14.1  882987008 45.1    26.4    1021992960
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 30.0  15.3  865046528 46.4    26.9    1020350464
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 27.6  14.1  873525248 43.8    25.8    986300416
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 27.5  14.0  853401600 45.8    27.0    955318272
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 28.2  14.3  887787520 48.6    28.2    951455744
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 26.9  13.7  842428416 46.2    27.0    1019994112
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 29.0  14.8  892215296 44.8    26.0    988827648
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 28.5  14.5  864296960 46.0    26.8    988971008
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 27.9  14.2  878104576 50.6    29.0    1035964416
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 28.4  14.5  873279488 46.6    26.8    942415872
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 27.7  14.1  870756352 46.9    27.0    1018925056
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 28.0  14.3  886931456 44.2    25.8    964124672
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 28.8  14.7  839598080 45.1    26.4    1003511808
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 27.9  14.2  840929280 47.8    27.6    1009401856
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 30.9  15.8  849297408 44.7    26.0    1007349760
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 27.9  14.2  854335488 47.0    27.1    995508224
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 23.4  12.0  660172800 40.1    23.0    954642432
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 22.8  11.6  677728256 40.9    23.5    886132736
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 22.2  11.4  669523968 40.3    23.0    930131968
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 25.0  12.8  661934080 41.0    23.4    932536320
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 23.2  11.9  654655488 41.0    23.6    879226880
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 27.7  14.2  679415808 39.6    22.4    871190528
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 22.9  11.7  661078016 39.2    22.5    893792256
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 23.2  11.8  679120896 41.3    23.6    932249600
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 22.6  11.6  654520320 40.1    22.9    918110208
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 22.3  11.5  664199168 37.3    21.3    884903936
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 22.8  11.7  664969216 40.2    23.0    887705600
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 22.8  11.7  674541568 38.7    22.3    889307136
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 22.6  11.6  669843456 37.3    21.7    900104192
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 23.3  11.9  645206016 39.6    22.4    926728192
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 22.8  11.6  661995520 37.9    21.5    872660992
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 22.5  11.5  655745024 43.9    24.8    929325056
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 23.7  12.1  660025344 39.5    22.9    906223616
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 22.8  11.7  682602496 39.7    22.5    884170752
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 23.5  12.0  667889664 37.0    21.4    876044288
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 22.1  11.3  661381120 39.1    22.6    879927296
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 23.2  11.8  659447808 39.9    22.8    948621312
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 22.7  11.6  656351232 39.2    22.4    947351552
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 22.9  11.7  671678464 37.6    21.8    950902784
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 24.1  12.3  671916032 39.7    22.9    892882944
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 24.6  12.6  660639744 38.3    22.2    928952320
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 22.7  11.6  662069248 40.4    23.3    878592000
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 23.0  11.8  658296832 38.5    22.2    893849600
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 22.1  11.3  669237248 40.6    23.4    916135936
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 21.9  11.2  672022528 41.2    23.6    958451712
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 23.6  12.1  655532032 37.7    21.9    901349376
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 23.0  11.7  659750912 39.3    22.7    924827648
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 22.9  11.6  662683648 39.7    22.8    898605056
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 22.2  11.3  665518080 40.2    23.1    873439232
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 22.8  11.7  676061184 39.9    22.8    908230656
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 22.7  11.6  678600704 40.6    23.2    940302336
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 23.3  11.9  665935872 40.4    23.1    889524224
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 22.1  11.3  650960896 41.2    23.5    941260800
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 23.1  11.8  661712896 42.2    23.9    898129920
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 22.6  11.6  664694784 38.3    22.1    935702528
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 22.2  11.3  648380416 39.3    22.9    902213632
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 23.1  11.8  667947008 42.8    24.5    926793728
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 23.1  11.8  680243200 41.2    23.1    895512576
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 22.6  11.6  660901888 42.5    23.9    931471360
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 22.1  11.3  661852160 39.0    22.7    869568512
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 22.8  11.6  644972544 39.2    22.5    928219136
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 23.0  11.8  671313920 40.5    22.9    882348032
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 23.1  11.9  661610496 39.2    22.5    878567424
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 23.7  12.1  669913088 39.8    22.7    955441152
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 22.3  11.4  678010880 41.5    23.4    866398208
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 23.7  12.1  662474752 40.4    23.2    918093824
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 23.5  12.0  662360064 40.6    23.2    919879680
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 23.9  12.2  666025984 40.2    23.1    924594176
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 24.4  12.5  668921856 39.7    23.0    862232576
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 28.0  14.3  656293888 39.8    23.0    881283072
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 22.0  11.3  664952832 42.2    23.7    888414208
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 23.0  11.8  670453760 39.4    22.6    959361024
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 22.3  11.4  659795968 41.0    23.1    929529856
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 23.0  11.7  658272256 42.0    24.1    896499712
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 22.8  11.7  652627968 40.7    23.3    960270336
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 24.5  12.6  670572544 39.3    22.4    895434752
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 152    108    3909988352 184      128      5158334464
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 152    109    3841331200 178      124      4924915712
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 148    105    3699056640 188      129      4947345408
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 146    106    4001890304 185      128      4937089024
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 186    132    3605471232 191      131      4944986112
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 151    108    3718467584 183      127      4940636160
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 169    122    3801219072 186      128      4981649408
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 142    104    4101881856 188      129      4958048256
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 182    130    3595243520 185      128      4971778048
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 153    109    3603120128 190      130      4929687552
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 156    111    4039643136 178      124      4966821888
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 158    111    3890475008 185      128      4879269888
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 151    110    3729666048 182      126      4950806528
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 155    110    3906519040 184      126      4969820160
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 159    114    3803422720 189      129      4888354816
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 144    106    3841388544 180      125      4926337024
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 148    109    3773255680 185      128      4907290624
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 151    108    4047081472 189      130      5018476544
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 153    111    3820806144 187      129      5227102208
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c 901    864    3784155136 .0236 .0242 5611520
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c 901    861    3741388800 .0196 .0200 5599232
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 901    866    3614621696 .0198 .0202 5603328
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c 901    865    3771097088 .0199 .0203 5595136
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c 901    859    3729993728 .0201 .0205 5603328
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c 901    865    3801337856 .0200 .0205 5611520
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c 901    862    3769405440 .0530 .0569 5644288
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c 901    862    3772846080 .0194 .0198 5591040
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 901    862    3748958208 .0348 .0354 5537792
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c 902    861    3722526720 .0298 .0303 5603328
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 901    863    3887607808 .0200 .0204 5611520
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 901    860    3807563776 .0200 .0204 5607424
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 901    861    3761270784 .0193 .0197 5595136
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 901    866    3814567936 .0245 .0252 5603328
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 901    863    3781115904 .0197 .0201 5607424
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c 901    855    3780718592 .0518 .0527 5517312
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c 901    858    3680956416 .0194 .0198 5603328
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c 901    861    3779125248 .0195 .0199 5611520
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 901    865    3801346048 .0290 .0295 5607424
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c 901    865    3748491264 .0193 .0198 5607424
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c 901    855    3845578752 .0198 .0202 5607424
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c 901    863    3764736000 .0196 .0200 5607424
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 901    862    3761086464 .0197 .0201 5611520
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c 901    865    3804266496 .0202 .0206 5611520
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c 901    857    3708874752 .0486 .0494 5595136
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c 901    857    3742281728 .0241 .0246 5586944
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c 901    860    3724210176 .0500 .0508 5533696
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 901    866    3736342528 .0424 .0440 5734400
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 901    860    3769978880 .0199 .0203 5586944
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 901    863    3729866752 .0199 .0203 5738496
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c 901    862    3745972224 .0241 .0249 5611520
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 901    865    3792068608 .0196 .0200 5611520
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c 901    861    3876597760 .0359 .0369 5595136
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c 901    862    3840090112 .0196 .0200 5611520
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 901    860    3772301312 .0399 .0431 5599232
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c 901    864    3801448448 .0195 .0199 5611520
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c 902    864    3770994688 .0199 .0202 5591040
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 901    868    3749412864 .0203 .0209 5607424
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c 901    856    3769257984 .0194 .0198 5611520
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 901    862    3825831936 .0264 .0271 5607424
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 901    862    3783413760 .0198 .0202 5607424
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 901    860    3777794048 .0192 .0196 5595136
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c 901    862    3802652672 .0406 .0414 5529600
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 901    866    3778863104 .0197 .0201 5603328
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 901    860    3795533824 .0197 .0201 5611520
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c 901    862    3750006784 .0201 .0205 5722112
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c 901    861    3795316736 .0216 .0222 5599232
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c 901    866    3748999168 .0200 .0203 5591040
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c 901    863    3760435200 .0196 .0200 5611520
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c 901    860    3762782208 .0191 .0194 5611520
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c 901    863    3752157184 .0249 .0256 5591040
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c 901    864    3629809664 .0492 .0507 5537792
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 901    861    3787722752 .0191 .0195 5599232
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c 901    865    3754319872 .0193 .0201 5722112
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 901    865    3855032320 .0198 .0201 5472256
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c 901    859    3683942400 .0282 .0290 5603328
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 901    861    3734790144 .0203 .0206 5607424
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 901    861    3795677184 .0194 .0198 5595136
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 901    862    3776749568 .0193 .0202 5603328
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c 901    863    3783782400 .0198 .0202 5591040
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 105    59.9  3436974080 .0191 .0197 5607424
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c 84.4  47.1  3943350272 15.5    8.65   552542208
psyco/psyco_io_1_true-unreach-call_false-termination.c 9.01 4.72 438706176 8.20   4.91   317579264
psyco/psyco_math_1_true-unreach-call_false-termination.c 10.7  5.61 361549824 7.97   4.56   316342272
psyco/psyco_net_1_false-unreach-call_false-termination.c 125    101    10956836864 .0191 .0195 5599232
psyco/psyco_security_true-unreach-call_false-termination.c 13.2  6.83 471064576 7.56   4.74   312946688
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i 3.90 2.16 265674752 .0205 .0212 5742592
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i 3.70 2.08 265236480 .0201 .0205 5607424
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i 3.66 2.02 264933376 .0286 .0311 5591040
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i 3.71 2.10 264773632 .0203 .0208 5529600
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i 3.81 2.10 265687040 .0195 .0199 5611520
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i 3.65 2.05 264626176 .0194 .0197 5607424
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i 3.79 2.11 267157504 .0293 .0299 5545984
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i 3.73 2.07 267366400 .0304 .0309 5607424
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i 3.55 2.01 263376896 .0198 .0202 5595136
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i 4.03 2.23 265945088 .0511 .0519 5386240
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i 3.61 2.02 264523776 .0199 .0205 5599232
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i 4.01 2.25 265043968 .0245 .0265 5828608
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i 3.56 2.01 259661824 .0445 .0455 5517312
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i 3.85 2.14 263667712 .0199 .0202 5582848
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i 3.72 2.05 264273920 .0195 .0198 5607424
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i 3.73 2.06 264413184 .0389 .0397 5525504
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i 3.71 2.10 266145792 .0257 .0272 5525504
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i 3.97 2.20 265363456 .0200 .0207 5599232
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i 3.79 2.11 265207808 .0190 .0194 5599232
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i 3.74 2.12 264986624 .0199 .0203 5615616
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i 3.86 2.13 266272768 .0196 .0200 5599232
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i 3.92 2.17 266244096 .0198 .0202 5607424
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i 3.72 2.06 266108928 .0265 .0272 5623808
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i 3.74 2.08 265682944 .0201 .0207 5603328
floats-cdfpl/sine_1_false-unreach-call_true-termination.i 3.70 2.05 264953856 .0197 .0201 5599232
floats-cdfpl/sine_2_false-unreach-call_true-termination.i 4.22 2.34 265293824 .0199 .0203 5599232
floats-cdfpl/sine_3_false-unreach-call_true-termination.i 3.78 2.08 265089024 .0198 .0202 5619712
floats-cdfpl/sine_4_true-unreach-call_true-termination.i 3.83 2.12 264445952 .0196 .0199 5611520
floats-cdfpl/sine_5_true-unreach-call_true-termination.i 3.59 1.99 265310208 .0516 .0525 5521408
floats-cdfpl/sine_6_true-unreach-call_true-termination.i 3.61 2.02 264544256 .0199 .0203 5615616
floats-cdfpl/sine_7_true-unreach-call_true-termination.i 3.69 2.03 265043968 .0191 .0195 5611520
floats-cdfpl/sine_8_true-unreach-call_true-termination.i 3.57 1.99 266014720 .0207 .0212 5619712
floats-cdfpl/square_1_false-unreach-call_true-termination.i 3.57 2.00 264839168 .0196 .0199 5599232
floats-cdfpl/square_2_false-unreach-call_true-termination.i 3.48 1.98 265089024 .0260 .0265 5611520
floats-cdfpl/square_3_false-unreach-call_true-termination.i 3.60 2.04 265084928 .0484 .0495 5525504
floats-cdfpl/square_4_true-unreach-call_true-termination.i 4.70 2.58 265293824 .0199 .0203 5623808
floats-cdfpl/square_5_true-unreach-call_true-termination.i 3.75 2.07 265986048 .0317 .0325 5533696
floats-cdfpl/square_6_true-unreach-call_true-termination.i 3.61 2.04 264073216 .0191 .0198 5746688
floats-cdfpl/square_7_true-unreach-call_true-termination.i 4.17 2.27 264491008 .0195 .0199 5619712
floats-cdfpl/square_8_true-unreach-call_true-termination.i 3.66 2.03 265510912 .0379 .0398 5685248
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i 4.25 2.39 263737344 .0461 .0474 5529600
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i 3.76 2.07 265404416 .0203 .0207 5619712
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i 3.77 2.08 263856128 .0270 .0289 5607424
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i 3.62 2.02 259760128 .0425 .0435 5533696
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i 3.67 2.04 265760768 .0194 .0198 5611520
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i 3.66 2.04 264347648 .0331 .0341 5541888
floats-cbmc-regression/float11_true-unreach-call_true-termination.i 3.55 1.98 264904704 .0462 .0472 5668864
floats-cbmc-regression/float12_true-unreach-call_true-termination.i 3.78 2.10 264245248 .0196 .0200 5611520
floats-cbmc-regression/float13_true-unreach-call_true-termination.i 3.65 2.03 263241728 .0198 .0202 5607424
floats-cbmc-regression/float1_true-unreach-call_true-termination.i 3.60 2.00 264409088 .0197 .0201 5603328
floats-cbmc-regression/float20_true-unreach-call_true-termination.i 3.64 2.05 264474624 .0196 .0204 5566464
floats-cbmc-regression/float22_true-unreach-call_true-termination.i 3.97 2.19 266485760 .0201 .0205 5603328
floats-cbmc-regression/float2_true-unreach-call_true-termination.i 3.65 2.02 266596352 .0203 .0207 5488640
floats-cbmc-regression/float3_true-unreach-call_true-termination.i 3.81 2.12 264568832 .0266 .0285 5738496
floats-cbmc-regression/float5_true-unreach-call_true-termination.i 3.80 2.10 264167424 .0196 .0200 5607424
floats-cbmc-regression/float6_true-unreach-call_true-termination.i 3.88 2.17 264822784 .0194 .0198 5611520
ldv-regression/1_3_true-termination.c_false-unreach-call.i 3.81 2.10 265027584 .0194 .0198 5595136
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 3.67 2.07 264429568 .0475 .0499 5533696
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 3.54 2.00 263049216 .0200 .0204 5603328
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 3.62 2.03 265084928 .0501 .0511 5529600
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 3.86 2.14 264585216 .0195 .0201 5742592
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 4.39 2.40 251723776 .0251 .0255 5595136
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 3.60 2.01 263274496 .0422 .0430 5529600
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 902    876    3917807616 .0200 .0204 5738496
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 4.16 2.26 248885248 .0199 .0203 5607424
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 3.69 2.08 264962048 .0193 .0197 5619712
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 3.62 1.99 262656000 .0194 .0198 5607424
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 4.00 2.23 265613312 .0196 .0200 5611520
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 3.69 2.04 263458816 .0199 .0203 5611520
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 3.73 2.08 264839168 .0199 .0203 5619712
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 3.68 2.03 265252864 .0192 .0197 5611520
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 3.59 2.00 265351168 .0540 .0552 5574656
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 3.75 2.09 265486336 .0532 .0543 5525504
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 3.76 2.11 261672960 .0274 .0283 5599232
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 3.79 2.08 264925184 .0197 .0204 5591040
ldv-regression/nested_structure_true-unreach-call_true-termination.i 3.80 2.08 264765440 .0200 .0206 5615616
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 3.59 2.03 264142848 .0198 .0202 5615616
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 3.77 2.07 265445376 .0192 .0196 5607424
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 3.76 2.10 267239424 .0200 .0203 5611520
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 3.82 2.10 267276288 .0195 .0201 5607424
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 3.94 2.19 267165696 .0194 .0198 5599232
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 4.14 2.30 250748928 .0196 .0200 5595136
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 4.25 2.34 250339328 .0250 .0260 5611520
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 4.08 2.26 250728448 .0425 .0433 5550080
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 4.53 2.49 249815040 .0206 .0214 5599232
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 3.62 2.02 264523776 .0199 .0203 5603328
ldv-regression/test_address_true-termination.c_true-unreach-call.i 4.09 2.24 250798080 .0244 .0308 5595136
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 3.59 2.02 265162752 .0195 .0201 5611520
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 4.12 2.29 253546496 .0430 .0439 5525504
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 4.14 2.28 245923840 .0201 .0205 5599232
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 4.15 2.30 246067200 .0196 .0200 5615616
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 3.81 2.10 265736192 .0196 .0199 5607424
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 3.71 2.05 264531968 .0197 .0201 5591040
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 3.70 2.07 266092544 .0236 .0241 5607424
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 3.50 1.96 263778304 .0198 .0206 5607424
ldv-regression/test_union_true-termination.c_true-unreach-call.i 3.80 2.06 265048064 .0413 .0421 5533696
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 3.66 2.02 266014720 .0223 .0225 5603328
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 5.96 3.23 284942336 .0370 .0411 5595136
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 4.99 2.68 277241856 .0196 .0200 5607424
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 3.82 2.13 266059776 .0199 .0203 5615616
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 3.59 1.99 263954432 .0289 .0302 5586944
ldv-regression/stateful_check_false-unreach-call_false-termination.i 6.49 3.51 320008192 13.7    8.05   475676672
ldv-regression/test01_true-unreach-call_true-termination.c 3.51 1.99 265674752 .0200 .0204 5607424
ldv-regression/test02_false-unreach-call_true-termination.c 3.71 2.07 264765440 .0195 .0199 5599232
ldv-regression/test03_true-unreach-call_true-termination.c 3.82 2.09 265134080 .0196 .0200 5619712
ldv-regression/test04_true-unreach-call_true-termination.c 3.69 2.03 265162752 .0199 .0203 5595136
ldv-regression/test05_true-unreach-call_true-termination.c 3.76 2.09 264663040 .0210 .0214 5607424
ldv-regression/test06_false-unreach-call_true-termination.c 3.78 2.08 262131712 .0195 .0199 5603328
ldv-regression/test07_true-unreach-call_true-termination.c 4.06 2.24 264839168 .0197 .0201 5599232
ldv-regression/test08_false-unreach-call_true-termination.c 3.74 2.08 264765440 .0194 .0202 5595136
ldv-regression/test09_true-unreach-call_true-termination.c 3.53 1.98 264519680 .0199 .0203 5619712
ldv-regression/test10_true-unreach-call_true-termination.c 3.57 2.02 265809920 .0195 .0199 5615616
ldv-regression/test11_true-unreach-call_true-termination.c 3.63 2.03 265318400 .0194 .0198 5615616
ldv-regression/test12_false-unreach-call_true-termination.c 3.71 2.06 264904704 .0535 .0545 5525504
ldv-regression/test13_true-unreach-call_true-termination.c 3.77 2.07 265072640 .0511 .0521 5537792
ldv-regression/test14_true-unreach-call_true-termination.c 3.68 2.06 265322496 .0197 .0203 5599232
ldv-regression/test15_true-unreach-call_true-termination.c 3.77 2.06 266702848 .0307 .0313 5533696
ldv-regression/test16_true-unreach-call_true-termination.c 3.76 2.12 263409664 .0207 .0211 5615616
ldv-regression/test17_true-unreach-call_true-termination.c 3.58 1.98 264519680 .0200 .0203 5603328
ldv-regression/test18_true-unreach-call_true-termination.c 3.66 2.05 265760768 .0477 .0507 5525504
ldv-regression/test19_true-unreach-call_true-termination.c 3.63 2.01 263897088 .0198 .0202 5623808
ldv-regression/test20_true-unreach-call_true-termination.c 3.88 2.14 264343552 .0312 .0318 5541888
ldv-regression/test21_false-unreach-call_true-termination.c 3.82 2.14 266502144 .0529 .0540 5517312
ldv-regression/test21_true-unreach-call_true-termination.c 3.76 2.12 266387456 .0197 .0201 5619712
ldv-regression/test24_true-unreach-call_true-termination.c 906    870    4141449216 .0197 .0200 5619712
ldv-regression/test25_false-unreach-call_true-termination.c 901    875    3938095104 .0191 .0195 5615616
ldv-regression/test26_false-unreach-call_true-termination.c 3.63 2.00 264495104 .0189 .0194 5611520
ldv-regression/test26_true-unreach-call_true-termination.c 3.77 2.07 264835072 .0302 .0307 5607424
ldv-regression/test27_false-unreach-call_true-termination.c 901    883    3872526336 .0197 .0201 5607424
ldv-regression/test27_true-unreach-call_true-termination.c 901    881    3896770560 .0434 .0443 5537792
ldv-regression/test28_false-unreach-call_true-termination.c 3.88 2.17 265302016 .0479 .0490 5541888
ldv-regression/test28_true-unreach-call_true-termination.c 3.58 2.00 265175040 .0298 .0303 5603328
ldv-regression/test29_false-unreach-call_true-termination.c 3.72 2.06 264880128 .0444 .0459 5525504
ldv-regression/test29_true-unreach-call_true-termination.c 3.92 2.16 267407360 .0196 .0200 5599232
ldv-regression/test30_false-unreach-call_true-termination.c 3.68 2.04 262574080 .0263 .0271 5595136
ldv-regression/test30_true-unreach-call_true-termination.c 4.13 2.23 285376512 .0212 .0216 5599232
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i 38.5  19.8  1802387456 .0298 .0306 5521408
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i 4.44 2.40 271474688 .0473 .0483 5525504
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i 4.13 2.26 251068416 .0399 .0407 5533696
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i 4.12 2.27 252317696 .0264 .0269 5607424
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i 4.15 2.26 268693504 .0198 .0201 5615616
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 904    879    4047187968 .0503 .0595 5607424
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 902    873    4027629568 .0205 .0209 5607424
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i 901    879    4051025920 .0200 .0205 5627904
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i 901    872    4017922048 .0307 .0315 5607424
ldv-sets/test_add_false-unreach-call_true-termination.i 4.88 2.62 259776512 .0202 .0206 5611520
ldv-sets/test_add_true-unreach-call_true-termination.i 4.76 2.63 257970176 .0201 .0205 5595136
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i 8.60 4.57 340598784 .0496 .0504 5545984
loops/for_infinite_loop_1_true-unreach-call_false-termination.i 5.70 3.07 335585280 .0199 .0203 5603328
loops/for_infinite_loop_2_true-unreach-call_false-termination.i 5.56 3.02 328986624 .0195 .0199 5611520
loops/n.c11_true-unreach-call_false-termination.i 902    860    4207050752 .0209 .0213 5677056
loops/nec11_false-unreach-call_false-termination.i 752    712    4171763712 .0200 .0205 5611520
loops/sum03_true-unreach-call_false-termination.i 11.9  6.21 575987712 .0278 .0287 5513216
loops/trex04_true-unreach-call_false-termination.i 4.90 2.71 276037632 6.75   3.91   308420608
loops/while_infinite_loop_1_true-unreach-call_false-termination.i 4.08 2.29 273227776 7.48   4.67   312770560
loops/while_infinite_loop_2_true-unreach-call_false-termination.i 4.19 2.32 273948672 7.15   4.61   311762944
loops/while_infinite_loop_3_true-unreach-call_false-termination.i 4.19 2.32 274579456 7.25   4.21   313217024
loops/array_false-unreach-call_true-termination.i 909    874    4308221952 .0227 .0233 5615616
loops/array_true-unreach-call_true-termination.i 910    876    4528918528 .0195 .0199 5615616
loops/bubble_sort_true-unreach-call_true-termination.i 909    881    4332359680 .0200 .0203 5599232
loops/count_up_down_false-unreach-call_true-termination.i 5.31 2.88 282714112 .0195 .0198 5627904
loops/count_up_down_true-unreach-call_true-termination.i 5.20 2.81 290816000 .0199 .0204 5619712
loops/eureka_01_false-unreach-call_true-termination.i 905    879    4107403264 .0368 .0478 5603328
loops/eureka_05_true-unreach-call_true-termination.i 901    882    3895324672 .0386 .0392 5607424
loops/for_bounded_loop1_false-unreach-call_true-termination.i 8.02 4.31 422342656 .0200 .0204 5615616
loops/insertion_sort_false-unreach-call_true-termination.i 907    878    4281733120 .0273 .0285 5718016
loops/insertion_sort_true-unreach-call_true-termination.i 905    875    4188348416 .0202 .0208 5607424
loops/invert_string_false-unreach-call_true-termination.i 902    876    4117811200 .0292 .0298 5529600
loops/invert_string_true-unreach-call_true-termination.i 911    885    4291072000 .0304 .0309 5599232
loops/matrix_false-unreach-call_true-termination.i 902    877    4114534400 .0197 .0201 5615616
loops/matrix_true-unreach-call_true-termination.i 902    879    4113854464 .0318 .0325 5529600
loops/n.c40_true-unreach-call_true-termination.i 4.24 2.36 268853248 .0210 .0214 5611520
loops/nec20_false-unreach-call_true-termination.i 5.93 3.20 298917888 .0255 .0261 5615616
loops/nec40_true-unreach-call_true-termination.i 4.24 2.34 275177472 .0196 .0200 5619712
loops/string_false-unreach-call_true-termination.i 920    874    4362817536 .0197 .0201 5619712
loops/string_true-unreach-call_true-termination.i 911    870    4622831616 .0201 .0206 5607424
loops/sum01_bug02_false-unreach-call_true-termination.i 6.18 3.30 291315712 .0195 .0199 5533696
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 901    897    566435840 .0307 .0312 5619712
loops/sum01_false-unreach-call_true-termination.i 5.60 3.03 285741056 .0198 .0202 5611520
loops/sum01_true-unreach-call_true-termination.i 5.30 2.91 282808320 .0189 .0193 5611520
loops/sum03_false-unreach-call_true-termination.i 15.3  8.06 481579008 .0198 .0202 5595136
loops/sum04_false-unreach-call_true-termination.i 9.52 5.04 429805568 .0308 .0324 5615616
loops/sum04_true-unreach-call_true-termination.i 8.94 4.72 386240512 .0444 .0452 5529600
loops/terminator_01_false-unreach-call_true-termination.i 5.43 2.92 280018944 .0238 .0244 5627904
loops/terminator_02_false-unreach-call_true-termination.i 5.48 3.00 279801856 .0514 .0538 5533696
loops/terminator_02_true-unreach-call_true-termination.i 901    898    509243392 .0198 .0202 5599232
loops/terminator_03_false-unreach-call_true-termination.i 4.54 2.50 275070976 .0195 .0199 5627904
loops/terminator_03_true-unreach-call_true-termination.i 4.80 2.66 276353024 .0200 .0206 5619712
loops/trex01_false-unreach-call_true-termination.i 9.85 5.17 464494592 .0410 .0419 5533696
loops/trex01_true-unreach-call_true-termination.i 10.8  5.69 459513856 .0198 .0209 5763072
loops/trex02_false-unreach-call_true-termination.i 4.65 2.58 274210816 .0200 .0205 5586944
loops/trex02_true-unreach-call_true-termination.i 4.84 2.68 274984960 .0521 .0530 5537792
loops/trex03_false-unreach-call_true-termination.i 7.44 3.96 438218752 .0195 .0199 5611520
loops/trex03_true-unreach-call_true-termination.i 7.70 4.09 434618368 .0198 .0202 5611520
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i 4.05 2.27 270495744 .0197 .0201 5619712
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i 902    860    4270088192 .0198 .0202 5591040
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i 902    864    4259545088 .0196 .0200 5603328
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i 3.95 2.19 270139392 .0194 .0197 5607424
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i 902    864    4238917632 .0194 .0198 5603328
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 3.89 2.15 267276288 .0198 .0202 5607424
loop-acceleration/array_false-unreach-call1_true-termination.i 907    871    4212506624 .0197 .0202 5595136
loop-acceleration/array_false-unreach-call2_true-termination.i 905    877    4100997120 .0294 .0306 5525504
loop-acceleration/array_false-unreach-call3_true-termination.i 905    876    4146946048 .0216 .0220 5607424
loop-acceleration/array_true-unreach-call1_true-termination.i 909    877    4313190400 .0195 .0199 5607424
loop-acceleration/array_true-unreach-call2_true-termination.i 913    886    4231708672 .0237 .0241 5521408
loop-acceleration/array_true-unreach-call3_true-termination.i 906    872    4277313536 .0195 .0199 5599232
loop-acceleration/array_true-unreach-call4_true-termination.i 388    369    14999998464 .0198 .0204 5746688
loop-acceleration/diamond_true-unreach-call1_true-termination.i 901    809    4572205056 .0201 .0207 5607424
loop-acceleration/functions_false-unreach-call1_true-termination.i 4.77 2.64 274698240 .0423 .0432 5525504
loop-acceleration/functions_true-unreach-call1_true-termination.i 4.65 2.60 276758528 .0199 .0204 5619712
loop-acceleration/multivar_false-unreach-call1_true-termination.i 5.99 3.25 347205632 .0200 .0204 5619712
loop-acceleration/multivar_true-unreach-call1_true-termination.i 6.33 3.36 388161536 .0194 .0200 5619712
loop-acceleration/simple_false-unreach-call2_true-termination.i 4.29 2.37 273248256 .0198 .0202 5591040
loop-acceleration/simple_false-unreach-call3_true-termination.i 4.82 2.67 275185664 .0320 .0325 5537792
loop-acceleration/simple_true-unreach-call2_true-termination.i 4.31 2.39 272216064 .0196 .0200 5599232
loop-acceleration/simple_true-unreach-call3_true-termination.i 4.74 2.62 276385792 .0198 .0205 5730304
loop-acceleration/underapprox_false-unreach-call1_true-termination.i 6.40 3.43 418009088 .0202 .0206 5611520
loop-acceleration/underapprox_false-unreach-call2_true-termination.i 7.27 3.90 412348416 .0486 .0497 5533696
loop-acceleration/underapprox_true-unreach-call1_true-termination.i 6.32 3.42 409047040 .0204 .0208 5607424
loop-acceleration/underapprox_true-unreach-call2_true-termination.i 6.91 3.68 404287488 .0535 .0545 5533696
loop-acceleration/phases_false-unreach-call2_false-termination.i 3.74 2.05 270966784 .0198 .0204 5599232
loop-acceleration/phases_true-unreach-call2_false-termination.i 3.84 2.11 270938112 .0197 .0201 5607424
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i 4.51 2.46 276082688 7.56   4.33   312692736
loop-invgen/string_concat-noarr_true-unreach-call_false-termination.i 902    875    5863825408 .0348 .0364 5525504
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i 6.43 3.54 378507264 .0210 .0214 5484544
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i 5.68 3.08 296177664 .0198 .0202 5591040
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i 34.4  17.6  1510232064 .0199 .0203 5615616
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i 9.74 5.10 452931584 .0198 .0204 5599232
loop-invgen/down_true-unreach-call_true-termination.i 6.65 3.59 353804288 .0485 .0504 5410816
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i 9.99 5.26 455553024 .0246 .0254 5607424
loop-invgen/half_2_true-unreach-call_true-termination.i 9.94 5.24 507211776 .0241 .0245 5595136
loop-invgen/heapsort_true-unreach-call_true-termination.i 5.41 2.97 280969216 .0199 .0203 5595136
loop-invgen/id_build_true-unreach-call_true-termination.i 8.51 4.56 442585088 .0201 .0206 5754880
loop-invgen/id_trans_false-unreach-call_true-termination.i 106    80.6  1974755328 .0200 .0205 5611520
loop-invgen/large_const_true-unreach-call_true-termination.i 8.07 4.27 431030272 .0200 .0203 5603328
loop-invgen/nest-if3_true-unreach-call_true-termination.i 7.20 3.90 420184064 .0198 .0204 5595136
loop-invgen/nested6_true-unreach-call_true-termination.i 9.19 4.84 440045568 .0198 .0202 5623808
loop-invgen/nested9_true-unreach-call_true-termination.i 12.2  6.40 451637248 .0197 .0204 5492736
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i 10.0  5.26 495419392 .0197 .0201 5595136
loop-invgen/seq_true-unreach-call_true-termination.i 18.4  9.54 818544640 .0202 .0206 5595136
loop-invgen/up_true-unreach-call_true-termination.i 7.02 3.78 386068480 .0236 .0244 5619712
loop-lit/afnp2014_true-unreach-call_true-termination.c.i 5.29 2.92 292245504 .0263 .0270 5615616
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i 5.79 3.15 311939072 .0195 .0198 5623808
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i 6.22 3.35 292888576 .0201 .0204 5611520
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i 5.01 2.75 286969856 .0193 .0203 5603328
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i 901    886    1779286016 .0409 .0425 5545984
loop-lit/css2003_true-unreach-call_true-termination.c.i 901    877    9275723776 .0288 .0296 5648384
loop-lit/gj2007_true-unreach-call_true-termination.c.i 685    663    14999998464 .0200 .0204 5603328
loop-lit/gj2007b_true-unreach-call_true-termination.c.i 5.52 2.97 284143616 .0239 .0246 5619712
loop-lit/gr2006_true-unreach-call_true-termination.c.i 483    463    14999998464 .0198 .0204 5742592
loop-lit/gsv2008_true-unreach-call_true-termination.c.i 9.82 5.15 443322368 .0327 .0341 5545984
loop-lit/hhk2008_true-unreach-call_true-termination.c.i 5.26 2.83 278048768 .0199 .0203 5730304
loop-lit/jm2006_true-unreach-call_true-termination.c.i 5.10 2.83 279470080 .0202 .0207 5615616
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i 6.02 3.33 328884224 .0194 .0197 5595136
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i 6.46 3.54 348930048 .0198 .0204 5615616
loop-lit/gcnr2008_false-unreach-call_false-termination.i 12.6  6.61 567029760 .0493 .0502 5525504
loop-new/count_by_1_true-unreach-call_true-termination.i 4.82 2.64 274870272 .0198 .0202 5619712
loop-new/count_by_1_variant_true-unreach-call_true-termination.i 4.95 2.71 277114880 .0202 .0206 5586944
loop-new/count_by_2_true-unreach-call_true-termination.i 4.78 2.63 275877888 .0198 .0202 5599232
loop-new/count_by_k_true-unreach-call_true-termination.i 4.89 2.68 275492864 .0201 .0222 5611520
loop-new/count_by_nondet_true-unreach-call_true-termination.i 5.59 3.01 276193280 .0532 .0540 5529600
loop-new/gauss_sum_true-unreach-call_true-termination.i 5.30 2.90 279023616 .0333 .0343 5599232
loop-new/half_true-unreach-call_true-termination.i 99.0  59.7  3792613376 .0440 .0447 5533696
loop-new/nested_true-unreach-call_true-termination.i 12.9  6.70 603377664 .0531 .0547 5537792
product-lines/elevator_spec14_product03_true-unreach-call_true-termination.cil.c 901    842    4472442880 .0194 .0198 5615616
product-lines/elevator_spec14_product11_true-unreach-call_true-termination.cil.c 901    843    4371070976 .0473 .0488 5529600
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c 520    470    4248768512 .0193 .0197 5611520
product-lines/elevator_spec14_product20_false-unreach-call_true-termination.cil.c 37.4  20.9  1362309120 .0315 .0323 5611520
product-lines/elevator_spec14_product23_true-unreach-call_true-termination.cil.c 57.4  31.5  1763090432 .0192 .0195 5615616
product-lines/elevator_spec14_product24_false-unreach-call_true-termination.cil.c 71.4  41.9  2495373312 .0199 .0205 5746688
product-lines/elevator_spec14_product27_true-unreach-call_true-termination.cil.c 623    579    4390178816 .0201 .0207 5611520
product-lines/elevator_spec14_product28_false-unreach-call_true-termination.cil.c 39.8  23.1  1346637824 .0211 .0215 5619712
product-lines/elevator_spec14_product31_true-unreach-call_true-termination.cil.c 58.8  32.2  2058780672 .0292 .0297 5603328
product-lines/elevator_spec14_product32_false-unreach-call_true-termination.cil.c 74.6  44.1  2295177216 .0272 .0278 5525504
product-lines/elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c 902    810    7100362752 .0195 .0199 5611520
product-lines/elevator_spec1_product01_true-unreach-call_true-termination.cil.c 161    125    2983575552 .0198 .0202 5603328
product-lines/elevator_spec1_product03_true-unreach-call_true-termination.cil.c 470    417    4552499200 .0200 .0204 5742592
product-lines/elevator_spec1_product09_true-unreach-call_true-termination.cil.c 901    862    3078492160 .0201 .0205 5615616
product-lines/elevator_spec1_product11_true-unreach-call_true-termination.cil.c 902    846    4369907712 .0197 .0201 5607424
product-lines/elevator_spec1_product17_true-unreach-call_true-termination.cil.c 901    859    4109344768 .0342 .0350 5533696
product-lines/elevator_spec1_product18_false-unreach-call_true-termination.cil.c 112    75.1  2585083904 .0203 .0222 5607424
product-lines/elevator_spec1_product19_true-unreach-call_true-termination.cil.c 902    858    3769860096 .0189 .0193 5681152
product-lines/elevator_spec1_product20_false-unreach-call_true-termination.cil.c 108    74.3  2176520192 .0197 .0202 5615616
product-lines/elevator_spec1_product21_true-unreach-call_true-termination.cil.c 901    869    2211852288 .0274 .0284 5603328
product-lines/elevator_spec1_product22_false-unreach-call_true-termination.cil.c 75.3  38.8  2297815040 .0196 .0200 5615616
product-lines/elevator_spec1_product23_true-unreach-call_true-termination.cil.c 31.3  16.2  1021083648 .0197 .0201 5615616
product-lines/elevator_spec1_product24_false-unreach-call_true-termination.cil.c 46.6  23.6  1478270976 .0414 .0421 5537792
product-lines/elevator_spec1_product25_true-unreach-call_true-termination.cil.c 901    852    3852587008 .0197 .0201 5615616
product-lines/elevator_spec1_product26_false-unreach-call_true-termination.cil.c 197    160    2833420288 .0200 .0203 5615616
product-lines/elevator_spec1_product27_true-unreach-call_true-termination.cil.c 901    859    4183871488 .0198 .0202 5611520
product-lines/elevator_spec1_product28_false-unreach-call_true-termination.cil.c 100    60.2  2294398976 .0196 .0200 5615616
product-lines/elevator_spec1_product29_true-unreach-call_true-termination.cil.c 901    871    1975500800 .0199 .0203 5615616
product-lines/elevator_spec1_product30_false-unreach-call_true-termination.cil.c 41.2  21.1  1374384128 .0199 .0207 5611520
product-lines/elevator_spec1_product31_true-unreach-call_true-termination.cil.c 35.3  18.3  1058263040 .0196 .0199 5611520
product-lines/elevator_spec1_product32_false-unreach-call_true-termination.cil.c 49.7  25.1  1464119296 .0201 .0205 5619712
product-lines/elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c 904    831    5227044864 .0204 .0208 5611520
product-lines/elevator_spec2_product01_true-unreach-call_true-termination.cil.c 321    288    2098475008 .0334 .0342 5525504
product-lines/elevator_spec2_product03_true-unreach-call_true-termination.cil.c 257    219    2507161600 .0294 .0303 5537792
product-lines/elevator_spec2_product09_true-unreach-call_true-termination.cil.c 426    391    2205556736 .0194 .0198 5615616
product-lines/elevator_spec2_product11_true-unreach-call_true-termination.cil.c 469    426    2865262592 .0208 .0218 5533696
product-lines/elevator_spec2_product17_true-unreach-call_true-termination.cil.c 97.8  68.6  1726996480 .0518 .0527 5537792
product-lines/elevator_spec2_product18_false-unreach-call_true-termination.cil.c 66.8  38.6  1903611904 .0420 .0428 5545984
product-lines/elevator_spec2_product19_true-unreach-call_true-termination.cil.c 124    95.2  1901293568 .0284 .0289 5607424
product-lines/elevator_spec2_product20_false-unreach-call_true-termination.cil.c 98.8  56.3  2969530368 .0198 .0202 5619712
product-lines/elevator_spec2_product21_true-unreach-call_true-termination.cil.c 52.6  26.9  1568665600 .0408 .0420 5529600
product-lines/elevator_spec2_product22_false-unreach-call_true-termination.cil.c 902    863    3112353792 .0247 .0253 5537792
product-lines/elevator_spec2_product23_true-unreach-call_true-termination.cil.c 901    874    1766584320 .0196 .0199 5615616
product-lines/elevator_spec2_product24_false-unreach-call_true-termination.cil.c 902    857    4571275264 .0201 .0205 5754880
product-lines/elevator_spec2_product25_true-unreach-call_true-termination.cil.c 99.9  73.1  1830174720 .0201 .0220 5619712
product-lines/elevator_spec2_product26_false-unreach-call_true-termination.cil.c 901    861    2267279360 .0224 .0228 5615616
product-lines/elevator_spec2_product27_true-unreach-call_true-termination.cil.c 137    105    2049691648 .0199 .0203 5595136
product-lines/elevator_spec2_product28_false-unreach-call_true-termination.cil.c 98.1  57.7  2885005312 .0199 .0205 5615616
product-lines/elevator_spec2_product29_true-unreach-call_true-termination.cil.c 57.9  29.4  1664921600 .0202 .0206 5615616
product-lines/elevator_spec2_product30_false-unreach-call_true-termination.cil.c 902    865    4144816128 .0201 .0205 5611520
product-lines/elevator_spec2_product31_true-unreach-call_true-termination.cil.c 35.9  18.2  1210941440 .0372 .0380 5529600
product-lines/elevator_spec2_product32_false-unreach-call_true-termination.cil.c 49.8  25.1  1489432576 .0336 .0343 5533696
product-lines/elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c 271    201    4349755392 .0200 .0204 5615616
product-lines/elevator_spec3_product01_true-unreach-call_true-termination.cil.c 363    317    4248002560 .0197 .0203 5615616
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c 26.0  14.2  875810816 .0313 .0318 5615616
product-lines/elevator_spec3_product09_true-unreach-call_true-termination.cil.c 376    334    4431523840 .0203 .0207 5615616
product-lines/elevator_spec3_product11_false-unreach-call_true-termination.cil.c 27.2  15.0  944893952 .0203 .0207 5619712
product-lines/elevator_spec3_product17_true-unreach-call_true-termination.cil.c 461    407    4911128576 .0195 .0199 5623808
product-lines/elevator_spec3_product18_true-unreach-call_true-termination.cil.c 702    652    5218623488 .0279 .0284 5615616
product-lines/elevator_spec3_product19_false-unreach-call_true-termination.cil.c 27.8  15.3  963026944 .0258 .0265 5615616
product-lines/elevator_spec3_product20_false-unreach-call_true-termination.cil.c 40.8  21.9  1463615488 .0510 .0517 5541888
product-lines/elevator_spec3_product21_true-unreach-call_true-termination.cil.c 60.9  32.4  1794404352 .0255 .0262 5603328
product-lines/elevator_spec3_product22_true-unreach-call_true-termination.cil.c 92.4  57.6  2996002816 .0303 .0308 5550080
product-lines/elevator_spec3_product23_false-unreach-call_true-termination.cil.c 70.5  44.1  2749992960 .0199 .0203 5742592
product-lines/elevator_spec3_product24_false-unreach-call_true-termination.cil.c 85.5  51.9  2636156928 .0502 .0510 5541888
product-lines/elevator_spec3_product25_true-unreach-call_true-termination.cil.c 902    855    4554129408 .0226 .0229 5607424
product-lines/elevator_spec3_product26_true-unreach-call_true-termination.cil.c 902    850    5006864384 .0220 .0227 5623808
product-lines/elevator_spec3_product27_false-unreach-call_true-termination.cil.c 27.1  15.4  1048358912 .0525 .0538 5668864
product-lines/elevator_spec3_product28_false-unreach-call_true-termination.cil.c 37.5  21.9  1359536128 .0507 .0517 5533696
product-lines/elevator_spec3_product29_true-unreach-call_true-termination.cil.c 829    781    4935991296 .0538 .0547 5525504
product-lines/elevator_spec3_product30_true-unreach-call_true-termination.cil.c 73.8  41.8  2172968960 .0242 .0247 5607424
product-lines/elevator_spec3_product31_false-unreach-call_true-termination.cil.c 77.5  48.5  2398683136 .0537 .0548 5529600
product-lines/elevator_spec3_product32_false-unreach-call_true-termination.cil.c 91.1  53.8  2530222080 .0202 .0208 5615616
product-lines/elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c 903    809    5345882112 .0413 .0421 5525504
product-lines/elevator_spec9_product09_true-unreach-call_true-termination.cil.c 93.1  67.9  1789235200 .0266 .0274 5603328
product-lines/elevator_spec9_product11_true-unreach-call_true-termination.cil.c 147    107    2804875264 .0194 .0200 5611520
product-lines/elevator_spec9_product25_true-unreach-call_true-termination.cil.c 902    851    4998483968 .0194 .0198 5611520
product-lines/elevator_spec9_product26_false-unreach-call_true-termination.cil.c 115    69.6  3143761920 .0321 .0326 5603328
product-lines/elevator_spec9_product27_true-unreach-call_true-termination.cil.c 106    77.0  1905995776 .0239 .0243 5541888
product-lines/elevator_spec9_product28_false-unreach-call_true-termination.cil.c 84.2  51.9  2281709568 .0199 .0207 5619712
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c 91.6  63.6  3053948928 .0194 .0198 5746688
product-lines/elevator_spec9_product30_false-unreach-call_true-termination.cil.c 93.4  66.7  2653896704 .0193 .0196 5599232
product-lines/elevator_spec9_product31_true-unreach-call_true-termination.cil.c 901    870    2197401600 .0351 .0359 5611520
product-lines/elevator_spec9_product32_false-unreach-call_true-termination.cil.c 113    80.7  2872369152 .0198 .0202 5615616
product-lines/elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c 325    287    4030812160 .0194 .0199 5615616
product-lines/email_spec0_product05_true-unreach-call_true-termination.cil.c 66.4  37.6  2222981120 .0194 .0197 5615616
product-lines/email_spec0_product09_true-unreach-call_true-termination.cil.c 70.4  40.0  2278690816 .0495 .0512 5554176
product-lines/email_spec0_product10_true-unreach-call_true-termination.cil.c 70.6  39.4  2289688576 .0235 .0241 5545984
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c 91.6  53.3  2190979072 .0272 .0285 5611520
product-lines/email_spec0_product16_false-unreach-call_true-termination.cil.c 84.0  48.5  2416259072 .0190 .0195 5615616
product-lines/email_spec0_product19_true-unreach-call_true-termination.cil.c 87.3  50.5  2289111040 .0196 .0200 5632000
product-lines/email_spec0_product21_false-unreach-call_true-termination.cil.c 88.7  52.4  2772631552 .0194 .0200 5603328
product-lines/email_spec0_product22_false-unreach-call_true-termination.cil.c 90.2  50.7  2158182400 .0195 .0199 5615616
product-lines/email_spec0_product24_true-unreach-call_true-termination.cil.c 92.2  53.2  2302296064 .0303 .0368 5484544
product-lines/email_spec0_product25_true-unreach-call_true-termination.cil.c 86.7  54.0  2712354816 .0199 .0203 5599232
product-lines/email_spec0_product26_false-unreach-call_true-termination.cil.c 94.4  57.1  2280460288 .0200 .0204 5607424
product-lines/email_spec0_product27_true-unreach-call_true-termination.cil.c 95.8  57.4  2601537536 .0199 .0202 5615616
product-lines/email_spec0_product31_false-unreach-call_true-termination.cil.c 86.1  51.4  2284044288 .0198 .0202 5488640
product-lines/email_spec0_product33_false-unreach-call_true-termination.cil.c 87.7  49.9  2261000192 .0528 .0550 5677056
product-lines/email_spec0_product34_false-unreach-call_true-termination.cil.c 94.8  54.9  2765819904 .0199 .0203 5619712
product-lines/email_spec0_product35_false-unreach-call_true-termination.cil.c 89.3  53.6  2735095808 .0323 .0330 5537792
product-lines/email_spec0_product36_true-unreach-call_true-termination.cil.c 85.5  47.1  2150895616 .0194 .0200 5632000
product-lines/email_spec0_product37_true-unreach-call_true-termination.cil.c 81.8  47.4  2318508032 .0197 .0201 5611520
product-lines/email_spec0_product38_true-unreach-call_true-termination.cil.c 96.9  59.2  2586423296 .0198 .0204 5615616
product-lines/email_spec0_product40_true-unreach-call_true-termination.cil.c 106    62.6  2607620096 .0245 .0253 5603328
product-lines/email_spec0_productSimulator_false-unreach-call_true-termination.cil.c 239    159    6061178880 .0196 .0200 5599232
product-lines/email_spec11_product03_true-unreach-call_true-termination.cil.c 61.5  34.4  2094116864 .0196 .0199 5615616
product-lines/email_spec11_product07_true-unreach-call_true-termination.cil.c 71.3  40.3  2212249600 .0244 .0251 5615616
product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c 82.6  47.4  2294980608 .0195 .0198 5615616
product-lines/email_spec11_product10_true-unreach-call_true-termination.cil.c 72.9  40.0  2164527104 .0401 .0408 5406720
product-lines/email_spec11_product15_false-unreach-call_true-termination.cil.c 94.6  54.4  2193530880 .0194 .0201 5750784
product-lines/email_spec11_product18_true-unreach-call_true-termination.cil.c 93.0  53.9  2641498112 .0195 .0198 5607424
product-lines/email_spec11_product20_false-unreach-call_true-termination.cil.c 87.7  51.7  2730090496 .0195 .0200 5746688
product-lines/email_spec11_product22_false-unreach-call_true-termination.cil.c 88.5  50.4  2424623104 .0201 .0205 5599232
product-lines/email_spec11_product23_true-unreach-call_true-termination.cil.c 95.7  57.5  2687287296 .0239 .0244 5615616
product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c 93.8  54.3  2491084800 .0200 .0204 5611520
product-lines/email_spec11_product26_false-unreach-call_true-termination.cil.c 93.3  54.8  2783707136 .0195 .0201 5619712
product-lines/email_spec11_product27_true-unreach-call_true-termination.cil.c 88.6  52.3  2584162304 .0192 .0196 5615616
product-lines/email_spec11_product30_false-unreach-call_true-termination.cil.c 78.4  47.7  2336849920 .0202 .0206 5619712
product-lines/email_spec11_product32_false-unreach-call_true-termination.cil.c 84.9  51.0  2521104384 .0193 .0197 5619712
product-lines/email_spec11_product33_false-unreach-call_true-termination.cil.c 87.7  50.4  2615889920 .0429 .0437 5537792
product-lines/email_spec11_product35_false-unreach-call_true-termination.cil.c 91.3  53.9  2576789504 .0529 .0538 5545984
product-lines/email_spec11_product36_true-unreach-call_true-termination.cil.c 74.2  43.1  2334941184 .0517 .0533 5541888
product-lines/email_spec11_product37_true-unreach-call_true-termination.cil.c 92.9  53.8  2250764288 .0195 .0203 5742592
product-lines/email_spec11_product39_true-unreach-call_true-termination.cil.c 91.8  55.6  2279174144 .0312 .0321 5611520
product-lines/email_spec11_product40_true-unreach-call_true-termination.cil.c 89.7  55.7  2402217984 .0201 .0205 5619712
product-lines/email_spec11_productSimulator_false-unreach-call_true-termination.cil.c 231    157    5726576640 .0200 .0206 5619712
product-lines/email_spec1_product12_true-unreach-call_true-termination.cil.c 157    119    2710011904 .0200 .0204 5627904
product-lines/email_spec1_product14_false-unreach-call_true-termination.cil.c 115    66.4  2570055680 .0198 .0208 5619712
product-lines/email_spec1_product15_false-unreach-call_true-termination.cil.c 80.6  47.7  2842750976 .0267 .0275 5615616
product-lines/email_spec1_product16_false-unreach-call_true-termination.cil.c 136    104    2274021376 .0470 .0486 5545984
product-lines/email_spec1_product20_false-unreach-call_true-termination.cil.c 194    156    2823204864 .0196 .0199 5750784
product-lines/email_spec1_product21_false-unreach-call_true-termination.cil.c 102    60.2  2776522752 .0238 .0244 5603328
product-lines/email_spec1_product22_false-unreach-call_true-termination.cil.c 92.0  51.9  2657619968 .0236 .0242 5619712
product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c 294    257    2795233280 .0249 .0263 5537792
product-lines/email_spec1_product28_true-unreach-call_true-termination.cil.c 87.3  48.8  2729021440 .0204 .0207 5611520
product-lines/email_spec1_product29_false-unreach-call_true-termination.cil.c 93.0  56.2  2596835328 .0201 .0205 5611520
product-lines/email_spec1_product30_false-unreach-call_true-termination.cil.c 85.3  50.6  2643378176 .0194 .0198 5619712
product-lines/email_spec1_product31_false-unreach-call_true-termination.cil.c 200    166    2749415424 .0270 .0278 5595136
product-lines/email_spec1_product32_false-unreach-call_true-termination.cil.c 91.4  54.0  2698113024 .0189 .0192 5615616
product-lines/email_spec1_product33_false-unreach-call_true-termination.cil.c 78.8  46.6  2679214080 .0201 .0210 5611520
product-lines/email_spec1_product34_false-unreach-call_true-termination.cil.c 96.2  57.1  2795294720 .0196 .0200 5615616
product-lines/email_spec1_product35_false-unreach-call_true-termination.cil.c 90.3  56.0  2570117120 .0315 .0321 5537792
product-lines/email_spec1_productSimulator_false-unreach-call_true-termination.cil.c 702    613    5779120128 .0489 .0505 5521408
product-lines/email_spec27_product13_true-unreach-call_true-termination.cil.c 117    81.4  2781237248 .0192 .0196 5615616
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c 84.1  50.8  2558734336 .0194 .0198 5607424
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c 87.9  49.6  2372415488 .0417 .0425 5533696
product-lines/email_spec27_product19_false-unreach-call_true-termination.cil.c 85.9  49.6  2208235520 .0199 .0205 5746688
product-lines/email_spec27_product23_false-unreach-call_true-termination.cil.c 91.4  53.8  2706006016 .0198 .0202 5746688
product-lines/email_spec27_product24_false-unreach-call_true-termination.cil.c 92.0  52.4  2237612032 .0196 .0200 5615616
product-lines/email_spec27_product25_false-unreach-call_true-termination.cil.c 79.6  48.8  2383454208 .0536 .0546 5541888
product-lines/email_spec27_product27_false-unreach-call_true-termination.cil.c 89.1  52.6  2748813312 .0226 .0233 5541888
product-lines/email_spec27_product28_true-unreach-call_true-termination.cil.c 118    80.5  2339254272 .0196 .0202 5619712
product-lines/email_spec27_product29_false-unreach-call_true-termination.cil.c 85.9  50.7  2637713408 .0198 .0202 5615616
product-lines/email_spec27_product30_false-unreach-call_true-termination.cil.c 87.2  49.0  2624856064 .0280 .0289 5615616
product-lines/email_spec27_product31_false-unreach-call_true-termination.cil.c 83.9  48.7  2211418112 .0202 .0207 5615616
product-lines/email_spec27_product32_false-unreach-call_true-termination.cil.c 95.7  56.0  2594304000 .0197 .0201 5615616
product-lines/email_spec27_product33_false-unreach-call_true-termination.cil.c 87.3  50.0  2556960768 .0192 .0197 5619712
product-lines/email_spec27_product34_false-unreach-call_true-termination.cil.c 93.4  54.8  2505519104 .0398 .0409 5533696
product-lines/email_spec27_product35_false-unreach-call_true-termination.cil.c 86.9  52.3  2721730560 .0308 .0317 5619712
product-lines/email_spec27_productSimulator_false-unreach-call_true-termination.cil.c 429    315    6254841856 .0260 .0271 5533696
product-lines/email_spec3_product13_false-unreach-call_true-termination.cil.c 79.1  44.7  2320887808 .0229 .0237 5582848
product-lines/email_spec3_product17_false-unreach-call_true-termination.cil.c 114    63.9  2752270336 .0246 .0250 5615616
product-lines/email_spec3_product18_false-unreach-call_true-termination.cil.c 86.2  48.5  2650628096 .0310 .0315 5541888
product-lines/email_spec3_product19_false-unreach-call_true-termination.cil.c 85.7  49.3  2429526016 .0202 .0206 5615616
product-lines/email_spec3_product23_false-unreach-call_true-termination.cil.c 115    66.5  2537021440 .0426 .0440 5533696
product-lines/email_spec3_product24_false-unreach-call_true-termination.cil.c 95.5  54.1  2901950464 .0193 .0199 5615616
product-lines/email_spec3_product25_false-unreach-call_true-termination.cil.c 91.6  54.4  2621116416 .0194 .0199 5615616
product-lines/email_spec3_product27_false-unreach-call_true-termination.cil.c 106    62.3  2590363648 .0307 .0316 5541888
product-lines/email_spec3_product28_false-unreach-call_true-termination.cil.c 90.9  51.4  2576199680 .0195 .0199 5615616
product-lines/email_spec3_product29_false-unreach-call_true-termination.cil.c 88.2  52.4  2733146112 .0250 .0260 5619712
product-lines/email_spec3_product30_false-unreach-call_true-termination.cil.c 177    139    2727743488 .0237 .0241 5734400
product-lines/email_spec3_product31_false-unreach-call_true-termination.cil.c 90.4  51.8  2690482176 .0489 .0497 5545984
product-lines/email_spec3_product32_false-unreach-call_true-termination.cil.c 90.2  53.3  2743820288 .0241 .0245 5611520
product-lines/email_spec3_product33_false-unreach-call_true-termination.cil.c 82.2  48.2  2773561344 .0199 .0206 5746688
product-lines/email_spec3_product34_false-unreach-call_true-termination.cil.c 212    175    2841878528 .0199 .0203 5611520
product-lines/email_spec3_product35_false-unreach-call_true-termination.cil.c 94.1  55.4  2593439744 .0195 .0204 5746688
product-lines/email_spec3_productSimulator_false-unreach-call_true-termination.cil.c 393    293    6086385664 .0428 .0437 5541888
product-lines/email_spec4_product13_true-unreach-call_true-termination.cil.c 120    82.6  2500206592 .0198 .0203 5599232
product-lines/email_spec4_product17_true-unreach-call_true-termination.cil.c 87.6  51.4  2633539584 .0203 .0206 5623808
product-lines/email_spec4_product18_false-unreach-call_true-termination.cil.c 84.2  47.7  2471915520 .0196 .0205 5578752
product-lines/email_spec4_product19_false-unreach-call_true-termination.cil.c 86.0  48.4  2362175488 .0202 .0207 5484544
product-lines/email_spec4_product23_false-unreach-call_true-termination.cil.c 89.7  52.8  2301493248 .0225 .0233 5537792
product-lines/email_spec4_product24_false-unreach-call_true-termination.cil.c 89.8  50.8  2414411776 .0320 .0329 5550080
product-lines/email_spec4_product25_false-unreach-call_true-termination.cil.c 96.3  57.6  2760826880 .0195 .0202 5603328
product-lines/email_spec4_product27_false-unreach-call_true-termination.cil.c 86.2  52.0  2581819392 .0202 .0206 5619712
product-lines/email_spec4_product28_true-unreach-call_true-termination.cil.c 119    81.8  2628902912 .0196 .0200 5611520
product-lines/email_spec4_product29_true-unreach-call_true-termination.cil.c 97.0  57.7  2324230144 .0197 .0202 5599232
product-lines/email_spec4_product30_false-unreach-call_true-termination.cil.c 89.4  50.0  2334674944 .0196 .0204 5566464
product-lines/email_spec4_product31_false-unreach-call_true-termination.cil.c 81.3  47.3  2256867328 .0196 .0202 5615616
product-lines/email_spec4_product32_false-unreach-call_true-termination.cil.c 92.2  53.4  2759176192 .0432 .0442 5525504
product-lines/email_spec4_product33_false-unreach-call_true-termination.cil.c 90.0  50.7  2304774144 .0199 .0204 5619712
product-lines/email_spec4_product34_false-unreach-call_true-termination.cil.c 99.0  57.1  2772824064 .0268 .0284 5619712
product-lines/email_spec4_product35_false-unreach-call_true-termination.cil.c 93.4  55.4  2825965568 .0254 .0262 5611520
product-lines/email_spec4_productSimulator_false-unreach-call_true-termination.cil.c 485    381    5756801024 .0250