Tool 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 ultimateautomizer--termination.ultimateautomizer ultimateautomizer-ultimateautomizer--termination-validation.witnessValidation
Options --full-output --full-output --validate test/results/ultimateautomizer--termination.logfiles/ultimateautomizer.${inputfile_name}.files/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 8.70 5.23 313253888 7.79   4.54   317468672
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 7.10 4.55 313671680 7.89   4.93   314679296
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c 8.21 5.20 319811584 9.17   5.22   311422976
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 67.2  59.4  580931584 .0200 .0204 5537792
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 7.23 4.58 309751808 7.48   4.27   321052672
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 7.50 4.40 317923328 8.62   5.31   319098880
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 11.9  6.97 456790016 960      949      5618892800
termination-crafted/Mysore_false-termination_true-valid-memsafety.c 42.7  34.5  596226048 .0241 .0246 5550080
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c 8.94 5.55 327880704 15.9    9.01   471023616
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 14.3  9.02 517074944 12.5    7.27   361111552
termination-crafted/NonTermination3_false-termination_false-valid-deref.c 19.7  12.7  483135488 12.6    8.14   399695872
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 19.6  12.3  490274816 15.2    9.42   404742144
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 8.17 4.93 314945536 8.12   4.57   313102336
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c 8.45 4.77 321650688 7.60   4.87   312135680
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c 9.25 5.54 316133376 7.62   4.36   310292480
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 7.05 3.95 312995840 6.58   3.81   297005056
termination-crafted/2Nested_true-termination_true-valid-memsafety.c 8.15 5.21 315813888 .0234 .0243 5611520
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 44.3  30.2  631709696 .0246 .0252 5607424
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c 21.7  17.5  343502848 .0192 .0201 5623808
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c 961    539    13518983168 .0199 .0203 5607424
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 961    924    830087168 .0194 .0198 5615616
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 960    928    712003584 .0238 .0243 5603328
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 9.03 5.69 316551168 .0199 .0203 5603328
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 9.75 5.97 381501440 .0197 .0201 5595136
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c 11.1  7.42 326868992 .0195 .0198 5615616
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 12.9  9.42 328773632 .0194 .0198 5603328
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 10.7  6.11 348360704 .0238 .0245 5619712
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 10.0  5.64 348905472 .0195 .0199 5677056
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c 68.3  49.6  1215057920 .0192 .0196 5619712
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 8.84 5.76 325574656 .0192 .0196 5611520
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c 26.9  20.6  765046784 .0227 .0231 5619712
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c 49.6  38.6  1125445632 .0195 .0215 5615616
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 960    927    857489408 .0192 .0200 5746688
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c 960    926    750821376 .0233 .0238 5615616
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c 9.30 5.84 328998912 .0196 .0200 5591040
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 30.1  18.0  558772224 .0199 .0203 5611520
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 56.4  48.5  545284096 .0227 .0234 5599232
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 10.4  5.89 367128576 .0192 .0196 5611520
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 962    780    8119214080 .0266 .0271 5611520
termination-crafted/Mysore_true-termination_true-valid-memsafety.c 10.6  7.44 321843200 .0250 .0255 5619712
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 28.4  19.2  503218176 .0251 .0258 5619712
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 11.4  7.26 472375296 .0196 .0199 5599232
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 17.0  10.7  587440128 .0241 .0246 5611520
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 961    777    11654561792 .0192 .0196 5607424
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 11.1  6.86 407756800 .0193 .0196 5599232
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 9.93 6.16 350576640 .0232 .0236 5513216
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 13.9  8.39 511545344 .0252 .0257 5615616
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c 11.4  6.72 441266176 .0240 .0245 5603328
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c 14.5  9.80 457830400 .0262 .0267 5521408
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c 13.3  8.50 444887040 .0202 .0206 5591040
termination-crafted/Singapore_true-termination_true-valid-memsafety.c 26.6  20.4  401469440 .0299 .0304 5521408
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c 24.3  19.3  550842368 .0195 .0199 5615616
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 9.80 5.64 335695872 .0198 .0202 5607424
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c 9.60 5.85 331902976 .0216 .0220 5623808
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c 9.44 5.81 321036288 .0248 .0253 5615616
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 18.0  11.1  576126976 .0190 .0193 5615616
termination-crafted/Thun_true-termination_true-valid-memsafety.c 9.03 5.69 320753664 .0266 .0271 5591040
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c 36.1  31.1  628457472 .0253 .0258 5591040
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c 33.6  28.2  699674624 .0194 .0198 5599232
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 8.17 4.77 316559360 .0263 .0268 5623808
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 6.73 4.29 302043136 .0250 .0257 5525504
termination-crafted/aaron2_true-termination_true-valid-memsafety.c 9.19 5.36 330657792 .0194 .0203 5742592
termination-crafted/aaron3_true-termination_true-valid-memsafety.c 27.1  22.1  487493632 .0212 .0217 5599232
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 8.96 5.31 326848512 .0192 .0196 5623808
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 8.22 5.04 313786368 .0191 .0200 5619712
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 8.13 4.56 312496128 7.28   4.69   313069568
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 8.22 5.03 312782848 7.49   4.41   315576320
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 7.20 4.62 314015744 8.65   5.22   311623680
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 8.73 5.46 316764160 11.0    6.73   364830720
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 14.1  7.92 464625664 7.11   4.49   313057280
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 15.2  9.74 473288704 .0206 .0210 5607424
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 11.0  6.98 447012864 .0255 .0260 5611520
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 8.08 5.13 316071936 .0192 .0196 5611520
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 10.6  6.33 315142144 .0189 .0192 5619712
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 26.8  21.7  478707712 .0211 .0215 5611520
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 29.4  23.1  494772224 .0197 .0201 5603328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 8.96 5.13 320786432 .0244 .0249 5603328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 11.9  6.74 328118272 .0193 .0201 5591040
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 11.8  7.53 442470400 .0205 .0213 5591040
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 11.8  7.47 452653056 .0193 .0197 5607424
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 11.6  7.37 452141056 .0264 .0269 5619712
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 13.4  7.75 462327808 .0195 .0199 5615616
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 12.0  7.42 396406784 .0226 .0231 5529600
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 14.1  8.42 435957760 .0258 .0263 5607424
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 12.0  7.19 359276544 .0196 .0200 5603328
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 16.7  10.7  486125568 .0198 .0202 5603328
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 12.3  7.31 433426432 .0193 .0197 5591040
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 14.7  9.08 460939264 .0195 .0199 5615616
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 11.6  7.89 315813888 .0252 .0256 5591040
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 8.26 4.80 316456960 .0189 .0194 5615616
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 9.44 5.72 316776448 .0225 .0230 5529600
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 8.82 5.48 316411904 .0196 .0200 5607424
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 9.11 5.71 323751936 .0190 .0194 5611520
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 8.41 5.28 316026880 .0294 .0300 5533696
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 10.7  7.59 324100096 .0194 .0198 5607424
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 12.7  7.62 458760192 .0199 .0203 5730304
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 13.1  8.33 453799936 .0193 .0197 5591040
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 13.5  8.21 466644992 .0244 .0248 5611520
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 16.0  11.5  440082432 .0253 .0259 5541888
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 11.7  7.31 452386816 .0201 .0222 5533696
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 13.8  9.81 426893312 .0193 .0197 5607424
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 11.3  6.62 421396480 .0249 .0254 5533696
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 48.6  39.0  671019008 .0244 .0248 5619712
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 8.35 4.80 316653568 .0261 .0266 5545984
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 10.3  7.26 317734912 .0248 .0252 5521408
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 8.86 5.17 324808704 .0266 .0272 5607424
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 19.7  11.2  687874048 .0190 .0196 5603328
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 8.59 5.38 322056192 .0258 .0263 5611520
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 8.47 5.30 315629568 .0201 .0205 5603328
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 21.8  13.1  543539200 .0194 .0198 5611520
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 25.5  18.1  489762816 .0200 .0207 5611520
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 48.7  41.4  559693824 .0193 .0197 5619712
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 40.5  24.9  1682300928 .0248 .0255 5525504
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 8.54 4.93 315060224 .0249 .0256 5595136
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 12.4  7.37 363864064 .0252 .0259 5599232
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 8.00 5.08 314155008 .0475 .0482 5541888
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 25.5  19.9  437735424 .0198 .0202 5611520
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 8.75 5.45 323448832 .0194 .0198 5615616
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 13.5  7.78 408629248 .0194 .0199 5742592
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 11.3  7.18 436670464 .0195 .0198 5615616
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 961    775    1230884864 .0194 .0200 5619712
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 14.5  8.38 493850624 .0195 .0198 5623808
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 13.4  8.52 467161088 .0216 .0220 5623808
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 10.5  6.21 324874240 .0197 .0201 5611520
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 12.6  7.94 471699456 .0465 .0473 5513216
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 108    98.4  681467904 .0246 .0252 5615616
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 10.2  5.92 407474176 .0194 .0200 5611520
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 24.0  15.5  558559232 .0195 .0198 5615616
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 24.5  15.3  558673920 .0197 .0202 5742592
termination-crafted-lit/genady_true-termination_true-no-overflow.c 8.49 5.35 320434176 .0312 .0319 5545984
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 14.8  8.81 501460992 .0240 .0243 5603328
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 48.1  31.2  703066112 .0194 .0198 5615616
termination-numeric/Binomial_true-termination_false-no-overflow.c 960    919    1825800192 .0252 .0257 5533696
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 12.5  7.44 437317632 .0210 .0214 5611520
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 961    567    13546823680 .0332 .0338 5525504
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 8.93 5.14 328028160 .0193 .0197 5607424
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 56.7  48.3  549494784 .0248 .0254 5619712
termination-numeric/Parts_true-termination_true-no-overflow.c 99.8  67.3  734019584 .0194 .0198 5582848
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 9.86 5.92 325861376 .0204 .0208 5603328
termination-numeric/TwoWay_true-termination_true-no-overflow.c 27.4  20.7  423653376 .0191 .0195 5603328
termination-numeric/gcd01_true-termination_true-no-overflow.c 16.1  11.0  475443200 .0194 .0198 5591040
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 8.43 5.31 316411904 .0192 .0198 5603328
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 13.3  7.91 376041472 .0333 .0342 5599232
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 12.6  7.95 493572096 .0190 .0194 5623808
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 13.4  7.95 459341824 .0275 .0283 5619712
termination-numeric/twisted_true-termination_true-no-overflow.c 10.4  6.50 366522368 .0192 .0196 5603328
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c 12.5  7.94 467927040 .0257 .0269 5537792
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c 8.54 5.36 318521344 .0246 .0251 5603328
termination-restricted-15/GCD3_true-termination_true-no-overflow.c 29.8  24.2  526024704 .0246 .0250 5533696
termination-restricted-15/GCD4_true-termination_true-no-overflow.c 25.2  20.2  498610176 .0195 .0198 5607424
termination-restricted-15/IntPath_true-termination_true-no-overflow.c 7.48 4.26 316284928 .0245 .0249 5537792
termination-restricted-15/LogAG_true-termination_true-no-overflow.c 11.5  6.77 426360832 .0193 .0197 5591040
termination-restricted-15/Log_true-termination_true-no-overflow.c 13.8  8.49 428675072 .0194 .0198 5603328
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c 24.3  14.5  619986944 .0247 .0252 5607424
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c 9.04 5.73 323477504 .0200 .0205 5619712
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c 10.9  6.44 384434176 .0292 .0310 5607424
termination-restricted-15/Nested_true-termination_true-no-overflow.c 9.63 5.50 343203840 .0226 .0230 5603328
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c 15.5  11.1  432492544 .0201 .0205 5619712
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c 11.0  6.55 401092608 .0212 .0218 5615616
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c 8.88 5.58 319377408 .0245 .0251 5615616
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c 8.65 5.49 321626112 .0199 .0203 5607424
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c 11.1  6.29 323461120 .0202 .0208 5619712
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c 10.7  6.62 379670528 .0195 .0199 5599232
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c 11.5  6.42 342560768 .0196 .0200 5619712
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c 9.78 6.06 342798336 .0196 .0201 5603328
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c 8.30 4.91 320266240 .0199 .0202 5611520
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c 8.12 4.74 321015808 .0257 .0262 5537792
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c 11.8  8.09 340287488 .0192 .0196 5615616
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c 7.73 4.93 313511936 .0194 .0198 5603328
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c 8.68 5.10 319320064 .0196 .0202 5623808
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c 11.3  7.20 391639040 .0192 .0197 5611520
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c 20.1  16.3  350113792 .0192 .0196 5615616
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c 11.6  7.27 438915072 .0251 .0256 5414912
termination-restricted-15/Sequence_true-termination_true-no-overflow.c 9.59 5.42 333664256 .0195 .0199 5599232
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c 9.25 5.27 312971264 .0192 .0196 5611520
termination-restricted-15/a.01_true-termination_true-no-overflow.c 11.2  6.98 390942720 .0197 .0201 5607424
termination-restricted-15/a.04_true-termination_true-no-overflow.c 8.28 5.22 320602112 .0251 .0256 5533696
termination-restricted-15/a.05_true-termination_true-no-overflow.c 8.72 5.47 314970112 .0197 .0202 5595136
termination-restricted-15/a.06_true-termination_true-no-overflow.c 10.3  6.15 417103872 .0195 .0199 5611520
termination-restricted-15/a.07_true-termination_true-no-overflow.c 9.28 5.77 317739008 .0196 .0201 5611520
termination-restricted-15/a.08_true-termination_true-no-overflow.c 8.82 5.02 322523136 .0200 .0204 5591040
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c 20.3  17.2  613855232 .0225 .0229 5603328
termination-restricted-15/a.10_true-termination.c 15.2  11.0  442384384 .0192 .0196 5623808
termination-restricted-15/b.01_true-termination_true-no-overflow.c 8.40 4.95 325410816 .0194 .0197 5595136
termination-restricted-15/b.02_true-termination_true-no-overflow.c 8.98 5.05 317521920 .0193 .0197 5595136
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c 21.6  18.0  580988928 .0249 .0254 5521408
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c 20.0  17.1  569053184 .0197 .0201 5603328
termination-restricted-15/b.04_true-termination_true-no-overflow.c 12.4  8.81 334557184 .0196 .0200 5607424
termination-restricted-15/b.05_true-termination_true-no-overflow.c 9.00 5.16 320421888 .0246 .0250 5591040
termination-restricted-15/b.06_true-termination_true-no-overflow.c 9.66 5.83 322277376 .0195 .0199 5591040
termination-restricted-15/b.07_true-termination_true-no-overflow.c 8.68 5.49 319078400 .0232 .0236 5607424
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c 14.9  9.55 489725952 .0204 .0208 5623808
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c 8.74 5.10 323796992 .0196 .0200 5623808
termination-restricted-15/b.10_true-termination_true-no-overflow.c 25.8  21.5  483508224 .0261 .0266 5607424
termination-restricted-15/b.11_true-termination_true-no-overflow.c 43.1  38.8  518643712 .0192 .0196 5607424
termination-restricted-15/b.12_true-termination_true-no-overflow.c 11.6  6.91 349622272 .0201 .0212 5742592
termination-restricted-15/b.13_true-termination_true-no-overflow.c 10.5  6.76 363114496 .0190 .0194 5611520
termination-restricted-15/b.14_true-termination_true-no-overflow.c 10.6  6.11 391196672 .0246 .0250 5611520
termination-restricted-15/b.15_true-termination_true-no-overflow.c 10.5  6.70 381763584 .0216 .0222 5607424
termination-restricted-15/b.16_true-termination_true-no-overflow.c 10.0  5.67 357220352 .0247 .0251 5595136
termination-restricted-15/b.17_true-termination_true-no-overflow.c 9.75 6.16 348946432 .0193 .0197 5607424
termination-restricted-15/b.18_true-termination_true-no-overflow.c 10.2  5.85 349376512 .0231 .0236 5513216
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c 16.8  9.94 454295552 .0215 .0219 5619712
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c 11.4  7.11 423268352 .0196 .0200 5603328
termination-restricted-15/c.02_true-termination_true-no-overflow.c 11.3  7.01 407257088 .0190 .0193 5591040
termination-restricted-15/c.03_true-termination_true-no-overflow.c 34.1  30.3  586158080 .0243 .0248 5607424
termination-restricted-15/c.07_true-termination_true-no-overflow.c 10.8  6.46 327229440 .0218 .0222 5607424
termination-restricted-15/c.08_true-termination_true-no-overflow.c 11.0  6.89 390639616 .0226 .0230 5607424
termination-restricted-15/ex3a_true-termination_true-no-overflow.c 19.9  10.8  520757248 .0246 .0253 5595136
termination-restricted-15/ex3b_true-termination_true-no-overflow.c 18.4  10.5  497295360 .0217 .0221 5611520
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c 8.20 5.19 316350464 .0200 .0206 5615616
termination-restricted-15/java_Break_true-termination_true-no-overflow.c 8.81 5.49 318070784 .0196 .0200 5619712
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c 10.1  5.85 343052288 .0192 .0197 5615616
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c 16.2  9.81 479879168 .0191 .0194 5611520
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c 10.0  6.19 356028416 .0253 .0258 5611520
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c 11.8  7.45 459124736 26.4    21.0    455991296
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c 7.20 4.61 316321792 6.89   4.47   312360960
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c 8.71 5.52 323137536 10.2    5.98   369733632
termination-restricted-15/Ex02_false-termination_true-no-overflow.c 8.68 5.48 321302528 10.6    6.57   379408384
termination-restricted-15/Ex03_false-termination_true-no-overflow.c 8.55 5.44 326475776 9.99   6.26   391917568
termination-restricted-15/Ex05_false-termination_true-no-overflow.c 7.20 4.54 316645376 6.99   4.49   309522432
termination-restricted-15/Ex06_false-termination_true-no-overflow.c 9.87 6.16 371183616 10.2    6.29   358682624
termination-restricted-15/Ex07_false-termination_true-no-overflow.c 10.4  6.01 356716544 10.1    5.84   352083968
termination-restricted-15/Ex08_false-termination_true-no-overflow.c 33.0  20.5  714358784 12.4    7.32   517718016
termination-restricted-15/Flip2_false-termination_true-no-overflow.c 17.4  10.9  446410752 9.69   5.73   314310656
termination-restricted-15/Flip_false-termination_true-no-overflow.c 10.2  5.87 326696960 10.2    5.86   330448896
termination-restricted-15/GCD2_false-termination_true-no-overflow.c 10.0  5.65 319270912 7.57   4.36   316841984
termination-restricted-15/GCD_false-termination_true-no-overflow.c 7.37 4.71 318525440 9.66   5.34   315375616
termination-restricted-15/Loop_false-termination_true-no-overflow.c 7.11 4.56 312578048 8.58   5.28   316641280
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c 16.5  9.12 534183936 7.94   4.97   312926208
termination-restricted-15/NO_00_false-termination_true-no-overflow.c 7.38 4.51 318189568 8.50   4.70   312684544
termination-restricted-15/NO_01_false-termination_true-no-overflow.c 8.74 5.46 320741376 7.81   4.93   319488000
termination-restricted-15/NO_02_false-termination_true-no-overflow.c 7.48 4.65 319504384 9.39   5.31   319586304
termination-restricted-15/NO_03_false-termination_true-no-overflow.c 7.35 4.77 313659392 7.20   4.55   313495552
termination-restricted-15/NO_04_false-termination_true-no-overflow.c 11.3  7.04 420302848 7.65   4.40   315154432
termination-restricted-15/NO_13_false-termination_true-no-overflow.c 68.1  43.5  800100352 121      83.9    4330029056
termination-restricted-15/NO_21_false-termination_true-no-overflow.c 8.61 5.25 312614912 8.49   5.15   311902208
termination-restricted-15/NO_22_false-termination_true-no-overflow.c 58.3  37.8  755613696 116      81.2    4263604224
termination-restricted-15/NO_23_false-termination_true-no-overflow.c 12.5  7.68 499212288 9.53   5.96   324968448
termination-restricted-15/NO_24_false-termination_true-no-overflow.c 15.1  8.41 459792384 .0226 .0236 5742592
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c 111    78.9  1327869952 57.3    41.8    1985003520
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c 35.0  21.7  601571328 26.2    15.8    771727360
termination-restricted-15/Sunset_false-termination_true-no-overflow.c 18.1  10.9  497299456 9.45   5.45   324710400
termination-restricted-15/Swingers_false-termination_true-no-overflow.c 28.0  21.0  528531456 .0197 .0201 5615616
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c 7.74 4.90 319315968 7.84   4.90   317214720
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c 39.6  24.9  870363136 19.7    11.4    538923008
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c 43.3  26.4  619290624 961      899      3488604160
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c 8.35 5.31 316506112 11.3    6.64   357871616
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c 9.18 5.58 330915840 10.5    6.52   392343552
termination-libowfat/atoi_true-termination.c.i 13.6  7.68 421163008 .0251 .0255 5599232
termination-libowfat/atol_true-termination.c.i 11.0  6.43 405643264 .0247 .0251 5611520
termination-libowfat/atoll_true-termination.c.i 10.8  6.23 416890880 .0188 .0191 5611520
termination-libowfat/basename_true-termination.c.i 961    651    13627822080 .0240 .0245 5591040
termination-libowfat/build_fullname_true-termination.c.i 36.6  23.7  654868480 .0246 .0250 5611520
termination-libowfat/dirname_true-termination.c.i 962    712    11504795648 .0255 .0259 5607424
termination-libowfat/skip_to_true-termination.c.i 65.9  36.8  2679414784 .0193 .0197 5611520
termination-libowfat/stpcpy_true-termination.c.i 12.7  7.77 468996096 .0266 .0271 5537792
termination-libowfat/strcasecmp_true-termination.c.i 13.4  8.13 467693568 .0189 .0192 5595136
termination-libowfat/strcat_short_true-termination.c.i 20.0  12.5  518156288 .0263 .0268 5550080
termination-libowfat/strcat_true-termination.c.i 18.8  11.4  475648000 .0251 .0257 5746688
termination-libowfat/strchr_short_true-termination.c.i 11.8  6.81 488534016 .0272 .0278 5410816
termination-libowfat/strchr_true-termination.c.i 19.9  13.7  620716032 .0193 .0196 5607424
termination-libowfat/strcmp_short_true-termination.c.i 12.8  7.89 520650752 .0201 .0204 5619712
termination-libowfat/strcpy_small_true-termination.c.i 15.6  9.19 505487360 .0241 .0245 5615616
termination-libowfat/strcspn_true-termination.c.i 24.9  15.8  574177280 .0194 .0197 5595136
termination-libowfat/strdup_true-termination.c.i 16.9  10.1  627724288 .0262 .0267 5529600
termination-libowfat/strlcat_true-termination.c.i 20.3  13.1  697442304 .0200 .0203 5607424
termination-libowfat/strlcpy_true-termination.c.i 20.2  12.5  516997120 .0194 .0199 5611520
termination-libowfat/strlen_true-termination.c.i 11.2  6.76 393969664 .0191 .0194 5615616
termination-libowfat/strpbrk_true-termination.c.i 34.4  18.8  872525824 .0197 .0200 5611520
termination-libowfat/strrchr_short_true-termination.c.i 12.5  7.53 506523648 .0247 .0254 5607424
termination-libowfat/strrchr_true-termination.c.i 14.3  8.65 480870400 .0248 .0255 5586944
termination-libowfat/strspn_true-termination.c.i 20.4  12.6  513568768 .0248 .0253 5713920
termination-libowfat/strstr_true-termination.c.i 47.1  31.1  747716608 .0197 .0200 5611520
termination-libowfat/strtok_r_true-termination.c.i 59.8  40.9  991440896 .0187 .0192 5607424
termination-libowfat/strtol_true-termination.c.i 19.9  12.2  493211648 .0223 .0229 5615616
termination-libowfat/strtoul_true-termination.c.i 13.2  8.01 515780608 .0188 .0192 5595136
termination-libowfat/strtoull_true-termination.c.i 13.1  7.94 533667840 .0187 .0191 5607424
termination-libowfat/wcsrchr_true-termination.c.i 12.4  7.40 449015808 .0249 .0253 5607424
termination-libowfat/wcsstr_true-termination.c.i 9.75 5.88 315469824 .0193 .0197 5607424
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i 8.65 5.32 321957888 9.56   5.34   318300160
termination-memory-alloca/Velroyen-alloca_false-termination.c.i 11.8  6.90 464748544 9.30   5.58   330256384
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i 19.6  12.5  584040448 .0194 .0197 5607424
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i 29.0  18.6  571650048 .0255 .0260 5533696
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i 960    900    1074302976 .0193 .0199 5595136
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i 11.1  6.75 427261952 .0287 .0301 5640192
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i 14.9  8.94 484777984 .0216 .0226 5591040
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i 19.1  11.8  639619072 .0193 .0197 5619712
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i 75.2  57.6  698535936 .0246 .0251 5545984
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i 268    242    942198784 .0239 .0243 5615616
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i 961    869    1368121344 .0196 .0200 5615616
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i 37.4  23.9  725016576 .0199 .0203 5599232
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i 11.8  7.06 369147904 .0194 .0203 5599232
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i 15.7  9.67 481808384 .0267 .0279 5718016
termination-memory-alloca/Masse-alloca_true-termination.c.i 20.3  11.2  675414016 .0238 .0243 5595136
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i 56.8  42.2  855977984 .0207 .0211 5615616
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i 598    546    13119143936 .0194 .0198 5615616
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i 961    698    7741579264 .0195 .0199 5599232
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i 17.8  10.7  585699328 .0255 .0260 5537792
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i 43.7  28.4  572362752 .0247 .0252 5603328
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i 25.9  16.5  669732864 .0481 .0489 5541888
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i 960    787    1030193152 .0192 .0196 5623808
termination-memory-alloca/Urban-alloca_true-termination.c.i 29.4  18.7  735404032 .0199 .0203 5607424
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i 33.5  22.0  710508544 .0250 .0256 5541888
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i 15.3  8.93 493363200 .0271 .0276 5615616
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i 12.2  7.52 476499968 .0247 .0252 5603328
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i 27.1  17.0  565399552 .0196 .0201 5603328
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i 14.4  9.04 535543808 .0196 .0200 5607424
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i 14.2  8.44 459612160 .0191 .0200 5734400
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i 13.8  8.38 522719232 .0195 .0199 5603328
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i 20.0  12.0  498663424 .0199 .0203 5599232
termination-memory-alloca/add_last-alloca_true-termination.c.i 11.5  6.92 425476096 .0245 .0249 5619712
termination-memory-alloca/array01-alloca_true-termination.c.i 16.2  9.35 482549760 .0248 .0253 5582848
termination-memory-alloca/array02-alloca_true-termination.c.i 18.9  11.6  511049728 .0193 .0196 5611520
termination-memory-alloca/array03-alloca_true-termination.c.i 25.8  15.0  496648192 .0193 .0197 5611520
termination-memory-alloca/aviad_true-alloca_true-termination.c.i 14.3  8.86 470609920 .0192 .0196 5595136
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i 11.5  7.04 497971200 .0193 .0197 5603328
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i 11.9  7.31 484122624 .0195 .0198 5623808
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 12.1  7.41 485351424 .0346 .0352 5537792
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i 12.4  7.11 473575424 .0246 .0250 5607424
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i 14.4  8.21 533569536 .0201 .0206 5611520
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i 13.4  7.72 476205056 .0225 .0237 5615616
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i 13.6  7.89 506175488 .0239 .0244 5599232
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i 14.9  9.25 475635712 .0189 .0193 5603328
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 43.1  24.0  1349693440 .0192 .0195 5615616
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i 28.5  18.0  572223488 .0247 .0252 5599232
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i 18.6  11.5  508817408 .0246 .0251 5599232
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i 30.5  18.4  586948608 .0253 .0258 5599232
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i 22.8  13.7  584953856 .0256 .0264 5611520
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i 26.4  16.3  559476736 .0191 .0194 5603328
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i 29.5  19.7  677900288 .0191 .0194 5627904
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i 17.8  11.3  509460480 .0250 .0254 5627904
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i 17.3  10.4  529940480 .0496 .0505 5529600
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i 24.8  15.4  528269312 .0196 .0201 5599232
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i 24.8  15.2  660520960 .0195 .0199 5611520
termination-memory-alloca/bubblesort-alloca_true-termination.c.i 17.4  10.3  572669952 .0231 .0233 5513216
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i 961    920    849620992 .0195 .0200 5607424
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i 43.3  28.8  776880128 .0306 .0320 5521408
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i 960    913    787509248 .0503 .0517 5533696
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i 20.5  12.7  509067264 .0239 .0243 5603328
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i 20.7  12.4  545771520 .0197 .0200 5619712
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i 961    910    930459648 .0253 .0260 5529600
termination-memory-alloca/count_down-alloca_true-termination.c.i 19.1  11.1  483512320 .0191 .0195 5607424
termination-memory-alloca/cstrcat-alloca_true-termination.c.i 15.4  8.97 504143872 .0273 .0279 5607424
termination-memory-alloca/cstrchr-alloca_true-termination.c.i 12.3  7.45 515047424 .0196 .0200 5615616
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i 13.5  8.16 475049984 .0249 .0254 5611520
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i 12.9  7.87 473890816 .0305 .0312 5525504
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i 123    106    1192677376 .0200 .0204 5619712
termination-memory-alloca/cstrlen-alloca_true-termination.c.i 10.7  6.51 399613952 .0196 .0200 5607424
termination-memory-alloca/cstrncat-alloca_true-termination.c.i 12.8  7.80 471691264 .0196 .0200 5615616
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i 13.0  7.59 461066240 .0199 .0203 5595136
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i 16.3  10.1  576434176 .0242 .0249 5595136
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i 34.3  21.1  758132736 .0270 .0276 5513216
termination-memory-alloca/cstrspn-alloca_true-termination.c.i 23.8  15.2  676048896 .0196 .0200 5607424
termination-memory-alloca/diff-alloca_true-termination.c.i 26.3  15.5  519577600 .0246 .0253 5611520
termination-memory-alloca/easySum-alloca_true-termination.c.i 13.0  8.02 542822400 .0192 .0195 5607424
termination-memory-alloca/ex1-alloca_true-termination.c.i 14.9  8.86 512323584 .0246 .0249 5599232
termination-memory-alloca/ex2-alloca_true-termination.c.i 55.4  32.5  989642752 .0219 .0223 5611520
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i 31.7  17.0  592740352 .0244 .0248 5615616
termination-memory-alloca/ex3b-alloca_true-termination.c.i 29.0  16.0  740536320 .0246 .0251 5521408
termination-memory-alloca/fermat-alloca_true-termination.c.i 960    940    630849536 .0249 .0254 5586944
termination-memory-alloca/flag-alloca_true-termination.c.i 21.5  12.6  575549440 .0191 .0197 5537792
termination-memory-alloca/gcd1-alloca_true-termination.c.i 73.9  51.6  769839104 .0258 .0262 5537792
termination-memory-alloca/genady-alloca_true-termination.c.i 11.7  7.16 448675840 .0245 .0251 5607424
termination-memory-alloca/insertionsort-alloca_true-termination.c.i 16.6  10.2  481550336 .0255 .0259 5599232
termination-memory-alloca/java_AG313-alloca_true-termination.c.i 15.0  9.23 481632256 .0191 .0195 5611520
termination-memory-alloca/java_Break-alloca_true-termination.c.i 10.7  6.27 400871424 .0270 .0275 5607424
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i 19.1  11.3  487280640 .0193 .0196 5607424
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i 52.8  35.5  791654400 .0226 .0230 5611520
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i 11.5  6.95 466079744 .0225 .0229 5533696
termination-memory-alloca/java_Nested-alloca_true-termination.c.i 125    102    662536192 .0193 .0196 5607424
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i 961    859    914743296 .0246 .0251 5529600
termination-memory-alloca/lis-alloca_true-termination.c.i 960    918    1111875584 .0191 .0197 5521408
termination-memory-alloca/min_rf-alloca_true-termination.c.i 235    201    7994769408 .0196 .0200 5607424
termination-memory-alloca/mult_array-alloca_true-termination.c.i 16.3  9.88 520429568 .0219 .0223 5611520
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i 11.7  7.18 439316480 .0257 .0262 5611520
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i 12.5  7.16 460361728 .0194 .0198 5615616
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i 11.7  7.14 465141760 .0255 .0260 5615616
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i 11.7  7.12 464990208 .0290 .0295 5541888
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i 12.0  7.39 470675456 .0243 .0248 5615616
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i 27.3  19.9  504557568 .0254 .0258 5603328
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i 12.4  7.54 470532096 .0297 .0304 5754880
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i 12.9  7.89 526254080 .0249 .0255 5746688
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i 13.5  8.11 530751488 .0196 .0200 5611520
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i 37.0  20.6  1373470720 .0293 .0299 5611520
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i 20.5  12.0  578289664 .0251 .0256 5615616
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i 11.8  6.71 413835264 .0195 .0201 5619712
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i 13.8  7.95 473939968 .0192 .0195 5615616
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i 13.2  8.15 478625792 .0192 .0196 5603328
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i 15.7  9.50 580050944 .0193 .0196 5599232
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i 14.8  8.59 465670144 .0191 .0195 5619712
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i 33.8  25.9  524226560 .0194 .0198 5599232
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i 40.3  22.4  1528074240 .0245 .0249 5619712
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i 41.8  27.9  902926336 .0194 .0198 5595136
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i 11.0  6.27 370348032 .0192 .0196 5611520
termination-memory-alloca/selectionsort-alloca_true-termination.c.i 26.4  15.6  507387904 .0190 .0194 5611520
termination-memory-alloca/stroeder1-alloca_true-termination.c.i 10.7  6.51 374595584 .0194 .0198 5599232
termination-memory-alloca/stroeder2-alloca_true-termination.c.i 14.3  8.41 505909248 .0226 .0231 5607424
termination-memory-alloca/strreplace-alloca_true-termination.c.i 13.7  8.37 512544768 .0195 .0198 5599232
termination-memory-alloca/subseq-alloca_true-termination.c.i 13.1  8.01 470425600 .0227 .0232 5607424
termination-memory-alloca/substring-alloca_true-termination.c.i 23.1  14.3  685293568 .0199 .0203 5615616
termination-memory-alloca/twisted-alloca_true-termination.c.i 29.1  17.8  705404928 .0196 .0202 5607424
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i 40.0  21.9  749457408 .0485 .0494 5509120
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i 13.4  8.27 496832512 11.3    6.58   429645824
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i 13.7  8.45 469213184 11.2    6.32   400527360
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i 14.3  8.32 473575424 11.9    6.70   384696320
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i 19.9  12.0  549744640 14.3    8.95   477310976
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i 41.3  24.0  1149202432 15.1    9.57   529350656
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i 26.2  14.9  556400640 .0251 .0256 5615616
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i 29.4  17.0  830783488 13.6    8.13   420519936
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i 30.9  17.8  1091297280 11.0    6.54   382406656
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i 12.3  7.58 472584192 .0250 .0255 5615616
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i 372    347    1462964224 .0200 .0203 5722112
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i 264    248    1544359936 .0202 .0208 5599232
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i 381    336    2005524480 .0199 .0203 5611520
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i 11.0  6.71 416571392 .0249 .0254 5509120
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i 242    210    1631875072 .0207 .0217 5742592
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i 50.1  30.0  1160212480 .0256 .0277 5619712
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i 54.2  32.1  1652736000 .0199 .0203 5611520
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i 355    314    2977693696 .0221 .0225 5599232
termination-15/add_first_alloca_true-termination.c.i 11.0  6.70 402358272 .0255 .0260 5607424
termination-15/array05_alloca_true-termination.c.i 20.1  11.3  659206144 .0259 .0265 5595136
termination-15/array06_alloca_true-termination.c.i 13.6  7.75 484020224 .0220 .0225 5619712
termination-15/array07_alloca_true-termination.c.i 13.2  7.60 487669760 .0311 .0316 5586944
termination-15/array08_alloca_true-termination.c.i 30.6  16.4  701693952 .0223 .0227 5615616
termination-15/array09_alloca_true-termination.c.i 28.9  15.9  764825600 .0211 .0214 5599232
termination-15/array10_alloca_true-termination.c.i 24.3  13.1  708038656 .0195 .0204 5742592
termination-15/array12_alloca_true-termination.c.i 960    852    957059072 .0192 .0196 5603328
termination-15/array13_alloca_true-termination.c.i 960    841    2483167232 .0188 .0192 5586944
termination-15/array16_alloca_fixed_true-termination.c.i 961    856    2161012736 .0240 .0244 5611520
termination-15/array17_alloca_true-termination.c.i 961    852    1085353984 .0251 .0259 5660672
termination-15/array18_alloca_true-termination.c.i 26.5  14.9  573968384 .0193 .0199 5595136
termination-15/count_up_alloca_true-termination.c.i 16.1  9.92 472764416 .0193 .0201 5611520
termination-15/count_up_and_down_alloca_true-termination.c.i 17.0  10.2  478220288 .0242 .0245 5611520
termination-15/cstrcat_diffterm_alloca_true-termination.c.i 12.3  7.07 509222912 .0192 .0196 5607424
termination-15/cstrcat_malloc_true-termination.c.i 13.0  7.93 511959040 .0190 .0193 5615616
termination-15/cstrcat_mixed_alloca_true-termination.c.i 14.6  8.72 516374528 .0194 .0199 5615616
termination-15/cstrcat_reverse_alloca_true-termination.c.i 15.4  8.95 463683584 .0197 .0201 5603328
termination-15/cstrchr_diffterm_alloca_true-termination.c.i 11.7  7.20 467111936 .0210 .0214 5591040
termination-15/cstrchr_malloc_true-termination.c.i 12.9  7.79 468934656 .0262 .0267 5537792
termination-15/cstrchr_reverse_alloca_true-termination.c.i 12.6  7.62 468623360 .0229 .0233 5607424
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i 12.0  7.03 529743872 .0193 .0199 5607424
termination-15/cstrcmp_malloc_true-termination.c.i 13.3  7.67 524701696 .0252 .0257 5619712
termination-15/cstrcmp_mixed_alloca_true-termination.c.i 15.8  9.25 465944576 .0245 .0249 5525504
termination-15/cstrcmp_reverse_alloca_true-termination.c.i 12.9  7.80 474628096 .0189 .0193 5599232
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i 12.1  7.45 516337664 .0200 .0204 5607424
termination-15/cstrcpy_malloc_true-termination.c.i 12.2  7.50 473505792 .0192 .0196 5619712
termination-15/cstrcpy_mixed_alloca_true-termination.c.i 12.1  7.37 520421376 .0196 .0200 5595136
termination-15/cstrcpy_reverse_alloca_true-termination.c.i 13.0  7.54 532226048 .0245 .0252 5521408
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i 34.8  27.1  676376576 .0192 .0197 5615616
termination-15/cstrcspn_malloc_true-termination.c.i 111    102    581332992 .0228 .0232 5619712
termination-15/cstrcspn_mixed_alloca_true-termination.c.i 137    127    626864128 .0220 .0225 5619712
termination-15/cstrcspn_reverse_alloca_true-termination.c.i 25.3  16.0  722165760 .0207 .0213 5607424
termination-15/cstrlen_diffterm_alloca_true-termination.c.i 10.9  6.56 410714112 .0251 .0256 5595136
termination-15/cstrlen_malloc_true-termination.c.i 14.6  8.39 406802432 .0246 .0250 5615616
termination-15/cstrlen_reverse_alloca_true-termination.c.i 11.0  6.66 407322624 .0253 .0257 5615616
termination-15/cstrncat_diffterm_alloca_true-termination.c.i 12.3  7.47 541220864 .0255 .0259 5521408
termination-15/cstrncat_malloc_true-termination.c.i 12.7  7.36 518336512 .0328 .0336 5521408
termination-15/cstrncat_mixed_alloca_true-termination.c.i 14.6  8.62 546484224 .0192 .0195 5619712
termination-15/cstrncat_reverse_alloca_true-termination.c.i 13.2  7.71 514670592 .0193 .0197 5607424
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i 14.3  8.27 467394560 .0190 .0194 5599232
termination-15/cstrncmp_malloc_true-termination.c.i 12.9  8.00 470228992 .0196 .0200 5611520
termination-15/cstrncmp_mixed_alloca_true-termination.c.i 12.8  7.88 531509248 .0194 .0199 5599232
termination-15/cstrncmp_reverse_alloca_true-termination.c.i 12.2  7.24 467668992 .0244 .0249 5537792
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i 17.3  10.2  499888128 .0222 .0227 5611520
termination-15/cstrncpy_malloc_true-termination.c.i 18.5  11.2  588165120 .0191 .0197 5623808
termination-15/cstrncpy_mixed_alloca_true-termination.c.i 19.6  11.9  607457280 .0269 .0274 5619712
termination-15/cstrncpy_reverse_alloca_true-termination.c.i 16.5  10.1  487849984 .0259 .0268 5607424
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i 43.6  26.6  1313652736 .0250 .0254 5603328
termination-15/cstrpbrk_malloc_true-termination.c.i 46.5  29.2  1385095168 .0246 .0251 5619712
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i 24.4  15.2  562360320 .0243 .0247 5615616
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i 24.5  16.4  608911360 .0253 .0265 5607424
termination-15/cstrspn_diffterm_alloca_true-termination.c.i 26.0  16.3  541782016 .0306 .0314 5607424
termination-15/cstrspn_malloc_true-termination.c.i 25.2  15.7  557965312 .0231 .0236 5595136
termination-15/cstrspn_mixed_alloca_true-termination.c.i 22.8  14.6  558837760 .0255 .0260 5595136
termination-15/cstrspn_reverse_alloca_true-termination.c.i 23.2  14.8  699236352 .0272 .0286 5611520
termination-15/array04_alloca_false-termination.c.i 13.2  7.70 410296320 9.58   5.81   325255168
termination-15/array14_alloca_false-termination.c.i 17.6  10.6  523366400 10.9    6.50   351506432
termination-15/array15_alloca_false-termination.c.i 17.3  10.4  483987456 12.4    7.32   349446144
termination-15/array16_alloca_original_false-termination.c.i 24.5  14.3  506613760 13.2    7.72   459915264
termination-15/array19_alloca_false-termination.c.i 11.7  7.11 400621568 10.6    5.94   335405056
termination-15/array20_alloca_false-termination.c.i 13.8  8.23 465653760 10.5    6.28   360005632
termination-recursive-malloc/chunk1_true-termination.c.i 10.4  6.37 375070720 .0197 .0200 5615616
termination-recursive-malloc/chunk2_true-termination.c.i 91.6  73.7  1120174080 .0199 .0202 5599232
termination-recursive-malloc/chunk3_true-termination.c.i 210    186    1326428160 .0245 .0249 5619712
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i 35.9  22.6  618627072 .0277 .0282 5619712
termination-recursive-malloc/mergeSort_true-termination.c.i 51.5  34.4  1005322240 .0247 .0252 5615616
termination-recursive-malloc/mutual_simple2_true-termination.c.i 12.6  7.45 490606592 .0195 .0198 5599232
termination-recursive-malloc/mutual_simple_true-termination.c.i 11.5  6.69 423792640 .0260 .0267 5541888
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i 16.2  9.67 478777344 .0216 .0220 5611520
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i 24.4  15.7  517414912 .0338 .0347 5525504
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i 25.1  16.4  565903360 .0244 .0251 5668864
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i 25.4  16.4  559558656 .0200 .0204 5619712
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i 26.5  17.1  555462656 .0258 .0262 5591040
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i 960    938    833523712 .0199 .0203 5599232
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i 29.6  19.8  614252544 .0259 .0264 5525504
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i 25.3  15.7  691437568 .0251 .0258 5619712
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i 16.2  9.91 474243072 .0248 .0252 5529600
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i 960    942    1654759424 .0215 .0219 5607424
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i 27.1  17.4  711176192 .0262 .0267 5603328
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i 45.9  26.7  1028009984 .0193 .0197 5619712
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i 12.7  7.56 461090816 .0251 .0255 5595136
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i 38.6  21.1  1032044544 .0202 .0206 5607424
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i 46.1  26.2  1047621632 .0213 .0219 5611520
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i 960    934    939155456 .0193 .0197 5599232
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i 15.9  9.96 482025472 .0193 .0198 5734400
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i 14.7  8.56 539897856 .0252 .0257 5591040
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i 10.8  6.19 370130944 .0192 .0197 5615616
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i 23.5  14.5  697974784 .0246 .0250 5611520
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 14.0  8.72 489238528 .0253 .0258 5517312
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 19.1  11.3  588603392 .0192 .0197 5619712
array-examples/standard_sentinel_true-unreach-call_true-termination.i 9.77 5.97 334270464 .0192 .0197 5607424
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 11.4  7.03 424759296 .0194 .0198 5615616
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 13.3  7.73 457994240 .0198 .0202 5619712
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 961    927    1881522176 .0252 .0257 5619712
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 960    929    722300928 .0193 .0198 5607424
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 15.7  8.82 426151936 .0192 .0195 5611520
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 11.3  7.00 439062528 .0194 .0197 5619712
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 12.5  7.63 441610240 .0254 .0259 5537792
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 7.66 4.78 317923328 8.42   5.11   313798656
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 7.42 4.24 312868864 9.32   5.57   318365696
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 7.35 4.70 310722560 8.23   4.65   317603840
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 7.23 4.11 312451072 7.89   4.46   321654784
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 9.11 5.18 317288448 8.92   4.92   315752448
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 147    123    1507909632 .0243 .0250 5607424
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 132    106    711012352 .0258 .0265 5525504
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 99.6  66.7  822050816 .0224 .0228 5599232
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 16.5  10.3  481701888 .0252 .0257 5533696
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 16.2  9.71 488734720 20.4    12.1    533569536
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 16.5  9.55 533090304 20.4    12.3    553648128
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 16.6  9.91 460316672 .0189 .0193 5615616
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 18.5  11.2  502042624 .0192 .0197 5595136
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 14.8  9.25 512049152 .0193 .0197 5615616
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 13.6  8.26 510189568 .0246 .0253 5611520
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 15.4  9.48 504356864 .0251 .0256 5603328
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 7.83 4.73 296919040 .0190 .0194 5627904
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 6.57 3.76 298831872 .0193 .0197 5615616
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 6.46 4.17 304549888 .0195 .0199 5595136
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 6.83 4.40 305000448 .0195 .0198 5603328
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 8.11 4.87 301035520 .0194 .0198 5611520
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 11.1  6.21 372408320 .0189 .0193 5623808
bitvector-regression/signextension2_false-unreach-call_true-termination.c 7.35 4.22 309420032 .0194 .0197 5603328
bitvector-regression/signextension2_true-unreach-call_true-termination.c 6.29 4.07 295014400 .0196 .0199 5603328
bitvector-regression/signextension_false-unreach-call_true-termination.c 6.55 3.78 300638208 .0193 .0196 5603328
bitvector-regression/signextension_true-unreach-call_true-termination.c 7.74 4.72 304099328 .0193 .0197 5619712
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 26.8  18.9  589107200 .0251 .0257 5615616
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 18.4  10.9  548380672 .0201 .0205 5611520
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 20.2  11.8  543920128 .0216 .0220 5582848
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 13.9  8.09 453324800 .0192 .0195 5607424
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 15.6  8.94 497156096 .0195 .0199 5607424
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 14.7  8.50 466833408 .0193 .0197 5603328
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 17.4  9.84 550957056 .0240 .0244 5586944
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 16.6  9.86 540504064 .0249 .0254 5619712
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.30 5.12 317800448 .0227 .0231 5607424
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 12.0  7.16 343101440 .0303 .0308 5607424
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 10.5  6.24 345202688 .0191 .0195 5615616
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 136    113    1121816576 26.5    15.6    816885760
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 51.1  30.1  1051566080 22.9    13.5    716484608
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 56.1  33.7  1199665152 29.2    17.1    836050944
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 50.9  30.1  1047674880 26.4    15.2    775880704
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 62.2  36.7  1565421568 47.6    37.7    814297088
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 44.6  25.5  912736256 20.8    12.1    792240128
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 44.5  25.7  1072193536 21.4    12.8    687333376
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 25.1  14.8  519569408 14.2    8.43   540835840
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 12.6  7.83 457805824 10.6    6.50   367726592
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 53.4  30.5  957685760 21.2    12.2    705032192
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 64.0  36.9  1397014528 21.0    12.2    792461312
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 51.9  29.8  934838272 28.0    16.0    783933440
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 49.1  28.4  1124225024 23.0    13.5    784121856
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 50.9  29.5  1376186368 24.3    14.3    833224704
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 51.5  29.5  1145950208 26.6    15.1    798908416
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 47.2  27.1  987541504 26.8    15.3    702754816
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 52.4  30.2  981929984 22.3    12.8    789889024
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 46.0  25.3  682422272 .0424 .0438 5545984
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 44.5  24.5  714481664 .0256 .0261 5545984
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 44.2  25.4  948998144 .0192 .0196 5603328
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 44.9  25.7  753819648 .0243 .0250 5607424
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 46.2  26.6  727154688 .0195 .0200 5623808
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 96.7  55.6  978423808 .0197 .0200 5607424
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 45.0  25.6  725856256 .0272 .0279 5615616
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 47.3  26.9  765808640 .0197 .0201 5619712
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 14.2  8.22 564076544 14.3    8.18   556298240
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 15.3  8.86 479969280 15.5    8.46   494075904
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 19.0  10.2  729554944 19.2    10.6    728248320
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 19.7  11.1  1140178944 21.8    12.0    1239289856
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 16.9  9.57 737697792 17.3    9.79   721678336
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 27.5  15.9  2517151744 27.3    15.9    2284175360
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 20.9  11.8  1284800512 21.5    12.1    1305956352
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 46.6  27.6  3623960576 48.1    28.9    3359625216
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 9.09 5.21 317198336 9.06   5.56   321310720
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 9.61 5.37 334315520 10.2    6.16   326057984
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 9.56 5.74 335908864 9.24   5.29   338989056
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 10.6  6.42 366411776 12.7    7.09   382926848
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 13.2  7.26 456761344 11.3    6.73   461123584
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 44.8  25.7  951132160 .0192 .0200 5607424
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 72.7  56.4  1109020672 .0236 .0240 5607424
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 962    505    13455282176 .0240 .0244 5599232
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 962    504    13382860800 .0257 .0268 5603328
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 962    504    13545209856 .0255 .0263 5603328
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 962    501    13541302272 .0195 .0201 5627904
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 962    501    13548400640 .0206 .0210 5468160
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 962    502    13542940672 .0230 .0235 5603328
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 962    502    13555953664 .0252 .0256 5611520
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 962    501    13351972864 .0220 .0225 5607424
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 962    500    13387509760 .0195 .0199 5615616
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 962    505    13385027584 .0221 .0227 5599232
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 962    502    13351661568 .0197 .0200 5615616
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 962    504    13358985216 .0194 .0198 5615616
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 962    507    13535866880 .0199 .0208 5603328
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 962    502    13340938240 .0249 .0252 5632000
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 962    503    13335523328 .0201 .0206 5632000
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 962    503    13351952384 .0199 .0205 5619712
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 962    501    13541720064 .0194 .0198 5603328
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 962    501    13344964608 .0250 .0255 5623808
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 962    508    13516566528 .0193 .0196 5615616
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 962    507    13482344448 .0247 .0252 5599232
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 962    500    13285027840 .0245 .0250 5615616
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 962    504    13335322624 .0199 .0205 5599232
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 962    505    13327286272 .0255 .0260 5615616
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 962    502    13382799360 .0248 .0253 5611520
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 962    504    13457612800 .0261 .0266 5615616
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 962    504    13537554432 .0192 .0195 5599232
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 962    508    13477457920 .0255 .0259 5537792
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 962    508    13464403968 .0192 .0196 5603328
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 962    505    13551587328 .0189 .0193 5627904
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 962    501    13516918784 .0191 .0196 5599232
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 962    503    13542264832 .0193 .0198 5611520
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 962    504    13467463680 .0242 .0246 5525504
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 962    501    13288407040 .0247 .0252 5619712
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 962    501    13534752768 .0198 .0202 5619712
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 962    500    13533286400 .0259 .0264 5668864
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 962    502    13561413632 .0302 .0308 5550080
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 962    500    13535027200 .0194 .0198 5611520
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 962    501    13349244928 .0192 .0196 5619712
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 962    506    13449658368 .0193 .0197 5619712
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 962    500    13349978112 .0193 .0197 5599232
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 962    503    13305171968 .0239 .0243 5599232
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 962    501    13333671936 .0197 .0201 5611520
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 962    501    13550149632 .0258 .0262 5537792
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 962    501    13540417536 .0242 .0250 5611520
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 962    501    13554094080 .0193 .0197 5619712
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 962    505    13497827328 .0248 .0253 5603328
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 962    503    13324709888 .0250 .0255 5632000
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 962    505    13528838144 .0267 .0272 5541888
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 962    506    13356064768 .0249 .0256 5615616
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 962    505    13391413248 .0254 .0259 5627904
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 962    506    13327716352 .0200 .0205 5619712
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 962    505    13553745920 .0242 .0246 5627904
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 962    503    13541208064 .0243 .0249 5607424
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 962    502    13362065408 .0245 .0259 5681152
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 962    503    13532274688 .0210 .0222 5615616
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 962    502    13539352576 .0242 .0247 5615616
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 962    503    13560373248 .0250 .0255 5619712
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 962    501    13538582528 .0230 .0235 5607424
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 962    501    13346521088 .0234 .0238 5619712
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 962    505    13425090560 .0223 .0228 5632000
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 40.1  23.4  660770816 20.7    11.6    513495040
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 42.2  24.5  827228160 18.5    10.7    502108160
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 40.3  24.0  792887296 18.1    10.5    499105792
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 41.7  24.0  797655040 18.1    10.6    517976064
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 46.6  27.3  664760320 21.2    12.2    533733376
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 46.2  27.1  659476480 17.4    10.2    497680384
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 40.5  23.7  788197376 20.0    11.8    515465216
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 37.2  21.8  659304448 20.0    11.7    505237504
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 40.6  23.8  669937664 19.4    11.5    506503168
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 40.3  23.8  682168320 18.2    10.5    527585280
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 39.6  23.3  791687168 18.2    10.6    500985856
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 42.7  24.4  796332032 18.3    10.6    527147008
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 47.5  27.8  811261952 19.0    11.1    481636352
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 51.3  29.2  661929984 18.7    10.8    501383168
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 48.2  28.1  805629952 20.4    11.9    482766848
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 38.2  22.6  792932352 17.7    10.2    498364416
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 41.1  23.8  790933504 19.7    11.3    508235776
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 49.8  28.7  664125440 18.1    10.8    492752896
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 38.6  22.4  661807104 22.3    12.5    499122176
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 35.0  20.6  683659264 17.9    10.6    493043712
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 36.3  21.1  669016064 20.8    12.1    504283136
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 38.4  22.3  669446144 18.2    10.7    494989312
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 39.8  23.0  799195136 16.9    9.84   502439936
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 39.1  23.0  665579520 19.6    11.4    527712256
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 38.2  22.1  649240576 18.9    11.0    507867136
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 39.4  22.9  803868672 18.0    10.5    531849216
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 39.6  23.0  788611072 22.0    12.4    526393344
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 42.8  24.5  781680640 18.2    10.7    493473792
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 37.8  22.5  803524608 19.3    11.4    512438272
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 39.2  22.6  790863872 17.3    10.1    495996928
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 39.2  22.9  677351424 22.8    13.2    525459456
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 47.8  27.8  796073984 19.3    11.1    496066560
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 39.1  22.6  648548352 20.8    11.8    510296064
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 40.1  23.5  681529344 17.1    9.97   518008832
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 36.7  21.8  669102080 19.4    11.2    501055488
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 38.4  22.4  791560192 20.5    11.7    493887488
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 37.2  22.2  793931776 18.5    10.7    520286208
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 42.9  25.2  793415680 19.2    11.0    517812224
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 35.5  20.9  667557888 17.0    10.0    495947776
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 38.1  22.4  798900224 20.8    11.8    496123904
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 39.2  23.1  676048896 18.0    10.4    525635584
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 37.2  22.0  797544448 18.2    10.8    518365184
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 38.3  22.8  826470400 21.0    12.1    524820480
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 39.8  23.2  803885056 18.5    10.8    510263296
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 39.0  22.9  674803712 16.9    9.91   527024128
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 38.0  22.2  649904128 19.9    11.5    499179520
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 44.5  26.2  806637568 17.9    10.5    517767168
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 35.6  21.3  666267648 18.0    10.5    528015360
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 46.9  27.2  806305792 16.6    9.44   495742976
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 42.5  24.7  675516416 17.2    10.2    496418816
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 50.4  29.1  789381120 18.2    10.8    519213056
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 38.1  22.4  667492352 18.4    10.8    500973568
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 41.2  24.0  676286464 17.6    10.3    506306560
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 40.7  23.8  824393728 19.8    11.4    508866560
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 43.9  26.0  787562496 17.0    10.0    498987008
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 42.5  25.1  662429696 21.1    12.2    528490496
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 38.2  22.2  667881472 17.3    10.0    519520256
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 35.6  21.1  685723648 21.0    12.3    496734208
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 37.1  22.1  661151744 19.0    11.0    511614976
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 43.6  25.2  798150656 18.3    10.6    500576256
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 962    598    13402152960 .0231 .0236 5619712
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 961    568    13423489024 .0258 .0264 5537792
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 962    596    13348638720 .0192 .0201 5615616
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 962    596    13361008640 .0196 .0199 5615616
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 962    614    13441716224 .0196 .0200 5627904
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 962    595    13349883904 .0196 .0199 5525504
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 962    584    13422968832 .0251 .0256 5533696
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 962    596    13389623296 .0250 .0254 5619712
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 962    591    13308096512 .0196 .0200 5619712
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 962    593    13391773696 .0199 .0203 5619712
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 962    614    13406167040 .0197 .0201 5685248
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 962    590    13535055872 .0225 .0230 5623808
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 962    593    13352222720 .0258 .0262 5599232
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 962    579    13343588352 .0194 .0197 5627904
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 962    599    13389684736 .0192 .0196 5611520
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 962    591    13424689152 .0207 .0211 5615616
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 962    594    13356933120 .0255 .0260 5599232
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 962    616    13239017472 .0193 .0197 5611520
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 962    588    13361156096 .0195 .0199 5599232
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c 311    238    4221456384 .0259 .0264 5632000
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c 288    218    3734306816 .0308 .0314 5627904
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 324    243    3588685824 .0245 .0252 5619712
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c 298    225    3634094080 .0196 .0200 5599232
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c 305    232    3159842816 .0191 .0194 5611520
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c 307    231    4011094016 .0253 .0259 5603328
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c 315    244    3553218560 .0192 .0195 5611520
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c 310    237    3433021440 .0262 .0267 5599232
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 285    217    3425689600 .0209 .0214 5488640
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c 305    232    4177489920 .0200 .0206 5632000
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 341    254    3633152000 .0194 .0198 5619712
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 379    291    4176486400 .0246 .0252 5615616
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 317    240    3996057600 .0258 .0266 5615616
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 357    272    3737624576 .0196 .0201 5619712
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 329    253    3681591296 .0195 .0199 5746688
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c 341    255    4037931008 .0194 .0197 5599232
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c 283    215    3380129792 .0250 .0255 5611520
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c 313    237    3490463744 .0238 .0242 5627904
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 299    230    3790999552 .0247 .0252 5611520
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c 297    228    3603513344 .0199 .0203 5619712
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c 322    244    3608535040 .0193 .0199 5627904
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c 323    247    3369545728 .0308 .0314 5611520
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 349    263    3803500544 .0194 .0198 5615616
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c 382    289    3578929152 .0191 .0195 5603328
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c 300    227    4037713920 .0260 .0265 5550080
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c 380    284    3959488512 .0249 .0253 5406720
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c 334    255    3419049984 .0194 .0198 5615616
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 290    220    3429351424 .0219 .0225 5615616
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 326    248    3705847808 .0235 .0240 5615616
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 296    223    3438780416 .0198 .0202 5615616
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c 316    238    3870138368 .0248 .0253 5603328
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 304    232    3194589184 .0259 .0267 5545984
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c 319    246    3637518336 .0250 .0254 5525504
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c 301    230    3519643648 .0197 .0202 5685248
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 339    254    3980513280 .0193 .0197 5615616
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c 298    224    3618357248 .0191 .0195 5627904
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c 290    220    4062478336 .0231 .0236 5599232
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 293    223    4314148864 .0195 .0200 5615616
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c 305    231    3693387776 .0190 .0193 5603328
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 309    236    3559673856 .0198 .0202 5615616
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 288    218    3427962880 .0198 .0204 5615616
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 328    252    3504230400 .0232 .0237 5619712
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c 307    234    3098505216 .0200 .0203 5619712
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 339    260    3477864448 .0195 .0203 5742592
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 312    238    3467673600 .0261 .0266 5537792
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c 299    228    3582193664 .0267 .0272 5615616
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c 296    221    4070498304 .0196 .0202 5615616
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c 301    226    3866906624 .0242 .0247 5603328
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c 304    233    3559460864 .0194 .0198 5603328
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c 317    239    3325325312 .0201 .0204 5607424
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c 327    246    3644354560 .0261 .0266 5550080
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c 333    255    3473571840 .0244 .0249 5558272
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 366    275    3846479872 .0193 .0197 5750784
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c 360    274    3764473856 .0249 .0254 5619712
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 286    217    3266490368 .0246 .0250 5619712
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c 304    233    3511799808 .0198 .0201 5611520
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 318    246    3312070656 .0192 .0196 5619712
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 303    233    3330093056 .0249 .0254 5615616
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 314    243    3463077888 .0193 .0197 5615616
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c 346    260    3308777472 .0192 .0198 5627904
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 961    871    5450375168 .0193 .0197 5607424
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c 20.8  11.4  601268224 16.3    9.10   483684352
psyco/psyco_io_1_true-unreach-call_false-termination.c 9.42 5.75 319459328 8.47   5.15   309956608
psyco/psyco_math_1_true-unreach-call_false-termination.c 10.4  6.26 347660288 8.87   5.26   311779328
psyco/psyco_net_1_false-unreach-call_false-termination.c 52.0  31.1  2034835456 41.6    24.8    1909661696
psyco/psyco_security_true-unreach-call_false-termination.c 11.5  6.43 318185472 7.55   4.68   321589248
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i 6.46 4.19 299061248 .0235 .0240 5537792
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i 6.23 4.08 298700800 .0260 .0265 5615616
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i 6.50 4.15 295137280 .0277 .0282 5529600
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i 7.83 4.44 296644608 .0238 .0242 5537792
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i 6.40 4.11 303566848 .0193 .0196 5619712
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i 6.42 3.76 297828352 .0254 .0261 5550080
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i 6.48 3.82 296972288 .0190 .0196 5611520
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i 6.27 4.08 298778624 .0200 .0203 5611520
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i 6.35 4.14 293699584 .0193 .0197 5603328
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i 7.55 4.28 305655808 .0198 .0202 5599232
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i 6.59 4.23 304250880 .0196 .0200 5611520
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i 7.15 4.46 302841856 .0231 .0235 5619712
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i 6.58 4.26 311717888 .0191 .0198 5611520
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i 6.77 3.91 306868224 .0200 .0204 5619712
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i 6.75 3.85 310960128 .0193 .0197 5623808
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i 8.69 5.15 303529984 .0196 .0200 5615616
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i 8.27 4.98 305438720 .0330 .0336 5595136
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i 6.40 4.15 302456832 .0251 .0261 5537792
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i 6.62 4.23 302923776 .0200 .0206 5554176
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i 6.83 4.31 305844224 .0196 .0201 5599232
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i 6.36 4.12 303943680 .0275 .0280 5484544
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i 6.58 4.18 311246848 .0208 .0212 5611520
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i 6.74 4.31 313122816 .0282 .0288 5611520
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i 8.56 4.76 313892864 .0264 .0269 5545984
floats-cdfpl/sine_1_false-unreach-call_true-termination.i 7.99 4.35 308191232 .0190 .0196 5611520
floats-cdfpl/sine_2_false-unreach-call_true-termination.i 6.47 4.13 293359616 .0194 .0198 5603328
floats-cdfpl/sine_3_false-unreach-call_true-termination.i 6.40 3.70 299724800 .0426 .0433 5529600
floats-cdfpl/sine_4_true-unreach-call_true-termination.i 8.20 4.64 300552192 .0198 .0202 5627904
floats-cdfpl/sine_5_true-unreach-call_true-termination.i 6.58 4.19 300175360 .0255 .0259 5611520
floats-cdfpl/sine_6_true-unreach-call_true-termination.i 6.55 4.23 295657472 .0194 .0199 5611520
floats-cdfpl/sine_7_true-unreach-call_true-termination.i 6.48 4.14 304631808 .0250 .0255 5525504
floats-cdfpl/sine_8_true-unreach-call_true-termination.i 6.10 4.02 293916672 .0189 .0192 5623808
floats-cdfpl/square_1_false-unreach-call_true-termination.i 8.09 4.54 301711360 .0190 .0194 5595136
floats-cdfpl/square_2_false-unreach-call_true-termination.i 7.88 4.42 307421184 .0194 .0198 5611520
floats-cdfpl/square_3_false-unreach-call_true-termination.i 6.59 4.20 300142592 .0270 .0276 5611520
floats-cdfpl/square_4_true-unreach-call_true-termination.i 6.58 4.26 303378432 .0193 .0197 5611520
floats-cdfpl/square_5_true-unreach-call_true-termination.i 8.05 4.55 302755840 .0193 .0197 5603328
floats-cdfpl/square_6_true-unreach-call_true-termination.i 6.40 4.18 299171840 .0248 .0253 5529600
floats-cdfpl/square_7_true-unreach-call_true-termination.i 8.73 4.93 305545216 .0244 .0249 5599232
floats-cdfpl/square_8_true-unreach-call_true-termination.i 6.55 4.20 294850560 .0193 .0195 5464064
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i 6.52 4.22 299958272 .0193 .0197 5607424
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i 6.96 3.93 301694976 .0193 .0197 5619712
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i 7.06 3.98 302153728 .0265 .0270 5611520
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i 7.11 4.05 293445632 .0192 .0196 5488640
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i 6.61 4.16 295088128 .0192 .0195 5607424
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i 7.57 4.23 312172544 .0232 .0243 5615616
floats-cbmc-regression/float11_true-unreach-call_true-termination.i 6.75 4.41 307634176 .0193 .0197 5623808
floats-cbmc-regression/float12_true-unreach-call_true-termination.i 6.76 3.92 294514688 .0192 .0196 5603328
floats-cbmc-regression/float13_true-unreach-call_true-termination.i 6.71 4.35 304091136 .0248 .0253 5611520
floats-cbmc-regression/float1_true-unreach-call_true-termination.i 6.51 4.18 292929536 .0295 .0301 5533696
floats-cbmc-regression/float20_true-unreach-call_true-termination.i 7.38 4.16 317616128 .0192 .0196 5607424
floats-cbmc-regression/float22_true-unreach-call_true-termination.i 7.92 4.45 315961344 .0245 .0252 5615616
floats-cbmc-regression/float2_true-unreach-call_true-termination.i 6.65 4.29 301301760 .0248 .0252 5537792
floats-cbmc-regression/float3_true-unreach-call_true-termination.i 8.10 4.89 306249728 .0218 .0222 5611520
floats-cbmc-regression/float5_true-unreach-call_true-termination.i 7.11 4.47 307650560 .0250 .0259 5623808
floats-cbmc-regression/float6_true-unreach-call_true-termination.i 7.65 4.79 312778752 .0193 .0197 5611520
ldv-regression/1_3_true-termination.c_false-unreach-call.i 8.64 4.70 312532992 .0258 .0262 5595136
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 6.62 4.25 310599680 .0255 .0263 5615616
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 8.66 4.78 304328704 .0247 .0253 5545984
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 6.36 3.70 306184192 .0198 .0202 5611520
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 8.26 4.69 304017408 .0249 .0254 5619712
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 8.51 4.73 311410688 .0194 .0198 5615616
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 6.97 3.85 305377280 .0196 .0202 5619712
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 127    114    551325696 .0225 .0229 5607424
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 7.31 4.57 311058432 .0198 .0202 5595136
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 7.49 4.63 303980544 .0194 .0198 5603328
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 7.77 4.32 316837888 .0191 .0195 5619712
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 6.63 4.23 306651136 .0190 .0194 5619712
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 6.82 4.28 309182464 .0190 .0196 5607424
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 6.53 4.15 303681536 .0248 .0253 5611520
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 6.43 4.19 303931392 .0191 .0194 5603328
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 6.40 4.22 308502528 .0202 .0206 5619712
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 6.89 4.39 311209984 .0196 .0200 5615616
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 7.61 4.77 305508352 .0193 .0196 5615616
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 8.38 4.69 311578624 .0194 .0197 5619712
ldv-regression/nested_structure_true-unreach-call_true-termination.i 6.82 4.29 308912128 .0250 .0255 5627904
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 6.43 4.13 296312832 .0253 .0257 5603328
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 8.21 4.59 297889792 .0195 .0201 5615616
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 7.15 4.09 311062528 .0193 .0196 5599232
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 6.78 4.39 306061312 .0421 .0429 5529600
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 7.42 4.56 308281344 .0244 .0250 5672960
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 8.05 4.94 325427200 .0196 .0199 5615616
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 7.60 4.75 309415936 .0193 .0197 5615616
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 8.11 4.56 319836160 .0193 .0199 5623808
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 7.11 4.09 308170752 .0187 .0195 5603328
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 6.68 4.27 311779328 .0250 .0254 5545984
ldv-regression/test_address_true-termination.c_true-unreach-call.i 8.11 5.02 309243904 .0196 .0202 5607424
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 6.38 4.13 298319872 .0200 .0204 5627904
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 7.32 4.52 307834880 .0195 .0199 5603328
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 7.41 4.21 313397248 .0256 .0260 5607424
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 7.12 4.63 311353344 .0193 .0196 5615616
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 6.83 4.30 316841984 .0190 .0194 5615616
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 6.46 4.18 304132096 .0195 .0199 5599232
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 8.10 4.61 305086464 .0199 .0203 5627904
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 7.62 4.69 297037824 .0198 .0203 5615616
ldv-regression/test_union_true-termination.c_true-unreach-call.i 6.21 4.07 296050688 .0253 .0261 5623808
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 6.62 3.85 308412416 .0193 .0197 5603328
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 9.32 5.42 323436544 .0256 .0265 5627904
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 8.22 4.81 319557632 .0245 .0249 5619712
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 6.57 4.20 308097024 .0195 .0198 5611520
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 7.82 4.39 313217024 .0197 .0200 5545984
ldv-regression/stateful_check_false-unreach-call_false-termination.i 8.30 5.22 315990016 8.41   4.66   314097664
ldv-regression/test01_true-unreach-call_true-termination.c 6.81 4.34 305381376 .0259 .0265 5611520
ldv-regression/test02_false-unreach-call_true-termination.c 6.77 4.30 313470976 .0246 .0250 5521408
ldv-regression/test03_true-unreach-call_true-termination.c 6.67 4.23 313274368 .0217 .0221 5595136
ldv-regression/test04_true-unreach-call_true-termination.c 6.70 4.24 312004608 .0227 .0231 5615616
ldv-regression/test05_true-unreach-call_true-termination.c 7.31 4.16 313647104 .0195 .0198 5611520
ldv-regression/test06_false-unreach-call_true-termination.c 7.33 4.13 309874688 .0240 .0247 5599232
ldv-regression/test07_true-unreach-call_true-termination.c 7.72 4.76 305737728 .0255 .0259 5595136
ldv-regression/test08_false-unreach-call_true-termination.c 8.30 4.64 307736576 .0248 .0253 5607424
ldv-regression/test09_true-unreach-call_true-termination.c 7.58 4.29 312553472 .0193 .0197 5615616
ldv-regression/test10_true-unreach-call_true-termination.c 7.21 4.11 313528320 .0190 .0194 5611520
ldv-regression/test11_true-unreach-call_true-termination.c 8.81 4.92 307036160 .0193 .0199 5611520
ldv-regression/test12_false-unreach-call_true-termination.c 7.63 4.64 298618880 .0222 .0226 5619712
ldv-regression/test13_true-unreach-call_true-termination.c 6.77 4.32 308662272 .0218 .0224 5595136
ldv-regression/test14_true-unreach-call_true-termination.c 9.07 5.32 315428864 .0192 .0196 5611520
ldv-regression/test15_true-unreach-call_true-termination.c 6.81 4.33 305029120 .0264 .0269 5513216
ldv-regression/test16_true-unreach-call_true-termination.c 6.69 3.80 300503040 .0198 .0202 5615616
ldv-regression/test17_true-unreach-call_true-termination.c 6.79 4.31 311504896 .0189 .0194 5595136
ldv-regression/test18_true-unreach-call_true-termination.c 8.22 4.66 309424128 .0245 .0249 5615616
ldv-regression/test19_true-unreach-call_true-termination.c 7.74 4.33 313716736 .0255 .0263 5595136
ldv-regression/test20_true-unreach-call_true-termination.c 6.63 4.21 301756416 .0206 .0209 5611520
ldv-regression/test21_false-unreach-call_true-termination.c 8.22 4.97 309977088 .0193 .0196 5591040
ldv-regression/test21_true-unreach-call_true-termination.c 7.00 4.40 308789248 .0198 .0207 5595136
ldv-regression/test24_true-unreach-call_true-termination.c 12.2  7.39 378081280 .0494 .0503 5517312
ldv-regression/test25_false-unreach-call_true-termination.c 960    951    522600448 .0245 .0249 5607424
ldv-regression/test26_false-unreach-call_true-termination.c 6.64 4.30 308830208 .0191 .0195 5611520
ldv-regression/test26_true-unreach-call_true-termination.c 6.35 4.08 300347392 .0232 .0239 5611520
ldv-regression/test27_false-unreach-call_true-termination.c 960    949    634474496 .0191 .0195 5611520
ldv-regression/test27_true-unreach-call_true-termination.c 960    947    656134144 .0250 .0256 5603328
ldv-regression/test28_false-unreach-call_true-termination.c 6.98 4.44 314499072 .0250 .0255 5599232
ldv-regression/test28_true-unreach-call_true-termination.c 6.81 4.36 310210560 .0258 .0265 5525504
ldv-regression/test29_false-unreach-call_true-termination.c 7.43 4.29 311398400 .0195 .0199 5591040
ldv-regression/test29_true-unreach-call_true-termination.c 6.68 3.84 306061312 .0200 .0204 5611520
ldv-regression/test30_false-unreach-call_true-termination.c 6.91 4.35 306876416 .0192 .0195 5611520
ldv-regression/test30_true-unreach-call_true-termination.c 6.90 3.98 303792128 .0195 .0198 5611520
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i 15.7  9.26 548245504 .0195 .0199 5615616
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i 7.38 4.50 308572160 .0259 .0271 5619712
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i 7.25 4.51 321150976 .0195 .0199 5734400
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i 8.50 4.98 311394304 .0200 .0204 5611520
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i 7.52 4.62 313049088 .0194 .0198 5603328
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 34.6  23.7  698646528 .0194 .0203 5632000
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 27.1  19.4  564219904 .0190 .0199 5599232
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i 12.4  7.50 464138240 57.6    39.4    901779456
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i 12.6  7.71 454225920 74.0    49.6    1016659968
ldv-sets/test_add_false-unreach-call_true-termination.i 11.0  6.59 379637760 .0248 .0259 5599232
ldv-sets/test_add_true-unreach-call_true-termination.i 11.6  6.92 374386688 .0192 .0196 5611520
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i 16.9  10.2  535371776 .0242 .0249 5627904
loops/for_infinite_loop_1_true-unreach-call_false-termination.i 11.4  6.47 322080768 10.1    5.85   326848512
loops/for_infinite_loop_2_true-unreach-call_false-termination.i 8.84 5.15 321179648 10.7    6.08   345133056
loops/n.c11_true-unreach-call_false-termination.i 15.4  10.6  424472576 13.6    8.41   357724160
loops/nec11_false-unreach-call_false-termination.i 10.2  5.81 344186880 8.96   5.60   331980800
loops/sum03_true-unreach-call_false-termination.i 84.4  68.0  1128452096 .0256 .0260 5611520
loops/trex04_true-unreach-call_false-termination.i 16.9  12.8  377991168 17.6    13.1    376881152
loops/while_infinite_loop_1_true-unreach-call_false-termination.i 6.99 4.39 314470400 9.19   5.48   318070784
loops/while_infinite_loop_2_true-unreach-call_false-termination.i 8.63 5.26 311345152 7.52   4.68   310525952
loops/while_infinite_loop_3_true-unreach-call_false-termination.i 7.34 4.69 314523648 9.36   5.60   318828544
loops/array_false-unreach-call_true-termination.i 23.0  12.4  683474944 .0190 .0196 5599232
loops/array_true-unreach-call_true-termination.i 20.9  11.8  544698368 .0244 .0248 5611520
loops/bubble_sort_true-unreach-call_true-termination.i 647    627    961548288 .0270 .0275 5615616
loops/count_up_down_false-unreach-call_true-termination.i 59.8  50.2  605577216 .0192 .0199 5619712
loops/count_up_down_true-unreach-call_true-termination.i 64.7  54.1  593166336 .0204 .0209 5619712
loops/eureka_01_false-unreach-call_true-termination.i 961    904    1683824640 .0259 .0265 5611520
loops/eureka_05_true-unreach-call_true-termination.i 960    951    935456768 .0275 .0281 5623808
loops/for_bounded_loop1_false-unreach-call_true-termination.i 10.1  6.18 342175744 .0232 .0236 5615616
loops/insertion_sort_false-unreach-call_true-termination.i 21.6  13.5  508981248 .0194 .0199 5607424
loops/insertion_sort_true-unreach-call_true-termination.i 22.5  13.8  509353984 .0211 .0215 5623808
loops/invert_string_false-unreach-call_true-termination.i 19.2  11.9  562319360 .0224 .0228 5603328
loops/invert_string_true-unreach-call_true-termination.i 45.9  33.9  533106688 .0192 .0196 5619712
loops/matrix_false-unreach-call_true-termination.i 56.3  42.9  663425024 .0264 .0272 5742592
loops/matrix_true-unreach-call_true-termination.i 312    299    2083323904 .0273 .0278 5599232
loops/n.c40_true-unreach-call_true-termination.i 8.05 5.02 316092416 .0252 .0256 5607424
loops/nec20_false-unreach-call_true-termination.i 8.22 5.23 317657088 .0245 .0252 5529600
loops/nec40_true-unreach-call_true-termination.i 7.98 4.63 314896384 .0202 .0206 5603328
loops/string_false-unreach-call_true-termination.i 62.7  45.6  832135168 .0213 .0217 5611520
loops/string_true-unreach-call_true-termination.i 85.6  64.5  904159232 .0193 .0197 5611520
loops/sum01_bug02_false-unreach-call_true-termination.i 10.5  6.61 360992768 .0279 .0284 5537792
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 13.1  7.38 360230912 .0194 .0199 5615616
loops/sum01_false-unreach-call_true-termination.i 9.39 5.90 338403328 .0193 .0198 5599232
loops/sum01_true-unreach-call_true-termination.i 8.96 5.13 318930944 .0204 .0208 5595136
loops/sum03_false-unreach-call_true-termination.i 960    952    876867584 .0190 .0193 5603328
loops/sum04_false-unreach-call_true-termination.i 8.66 5.48 323256320 .0198 .0202 5615616
loops/sum04_true-unreach-call_true-termination.i 8.39 5.29 313724928 .0195 .0199 5615616
loops/terminator_01_false-unreach-call_true-termination.i 9.87 6.10 338354176 .0245 .0252 5623808
loops/terminator_02_false-unreach-call_true-termination.i 12.7  7.96 455741440 .0190 .0195 5607424
loops/terminator_02_true-unreach-call_true-termination.i 15.1  8.74 463446016 .0194 .0198 5603328
loops/terminator_03_false-unreach-call_true-termination.i 10.9  6.57 325021696 .0238 .0245 5623808
loops/terminator_03_true-unreach-call_true-termination.i 20.4  17.3  427331584 .0259 .0265 5603328
loops/trex01_false-unreach-call_true-termination.i 57.6  45.9  734687232 .0237 .0242 5619712
loops/trex01_true-unreach-call_true-termination.i 151    140    730361856 .0193 .0197 5595136
loops/trex02_false-unreach-call_true-termination.i 9.31 5.30 324321280 .0250 .0262 5611520
loops/trex02_true-unreach-call_true-termination.i 9.03 5.59 320573440 .0249 .0254 5599232
loops/trex03_false-unreach-call_true-termination.i 47.2  37.7  644927488 .0199 .0202 5611520
loops/trex03_true-unreach-call_true-termination.i 43.1  34.5  567111680 .0452 .0459 5525504
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i 10.4  6.47 406175744 .0191 .0194 5595136
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i 50.0  35.0  700993536 .0224 .0230 5746688
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i 18.9  10.4  639746048 .0249 .0254 5615616
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i 10.8  6.60 402325504 .0188 .0192 5623808
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i 23.6  14.5  528244736 .0196 .0199 5607424
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 6.90 4.43 312844288 .0222 .0227 5615616
loop-acceleration/array_false-unreach-call1_true-termination.i 9.78 5.97 316719104 .0192 .0196 5595136
loop-acceleration/array_false-unreach-call2_true-termination.i 10.1  6.26 342016000 .0197 .0201 5615616
loop-acceleration/array_false-unreach-call3_true-termination.i 960    928    943616000 .0197 .0201 5521408
loop-acceleration/array_true-unreach-call1_true-termination.i 9.21 5.75 314404864 .0190 .0198 5742592
loop-acceleration/array_true-unreach-call2_true-termination.i 10.7  6.29 339193856 .0246 .0251 5603328
loop-acceleration/array_true-unreach-call3_true-termination.i 960    925    688820224 .0254 .0260 5607424
loop-acceleration/array_true-unreach-call4_true-termination.i 961    929    943218688 .0199 .0202 5607424
loop-acceleration/diamond_true-unreach-call1_true-termination.i 66.3  58.5  625885184 .0199 .0203 5611520
loop-acceleration/functions_false-unreach-call1_true-termination.i 73.3  63.7  1174007808 .0239 .0243 5607424
loop-acceleration/functions_true-unreach-call1_true-termination.i 72.3  63.0  1134923776 .0240 .0245 5541888
loop-acceleration/multivar_false-unreach-call1_true-termination.i 66.1  58.1  641937408 .0245 .0249 5525504
loop-acceleration/multivar_true-unreach-call1_true-termination.i 64.8  57.1  662597632 .0253 .0258 5611520
loop-acceleration/simple_false-unreach-call2_true-termination.i 42.5  36.7  532279296 .0249 .0254 5615616
loop-acceleration/simple_false-unreach-call3_true-termination.i 70.9  63.6  671113216 .0236 .0241 5541888
loop-acceleration/simple_true-unreach-call2_true-termination.i 43.3  37.2  518660096 .0192 .0200 5562368
loop-acceleration/simple_true-unreach-call3_true-termination.i 71.6  63.5  619290624 .0252 .0257 5615616
loop-acceleration/underapprox_false-unreach-call1_true-termination.i 79.9  67.5  756117504 .0195 .0199 5603328
loop-acceleration/underapprox_false-unreach-call2_true-termination.i 68.5  53.9  683368448 .0194 .0198 5603328
loop-acceleration/underapprox_true-unreach-call1_true-termination.i 79.0  67.7  687992832 .0267 .0273 5611520
loop-acceleration/underapprox_true-unreach-call2_true-termination.i 63.6  52.1  787656704 .0296 .0302 5615616
loop-acceleration/phases_false-unreach-call2_false-termination.i 8.34 5.44 317960192 8.28   4.95   316055552
loop-acceleration/phases_true-unreach-call2_false-termination.i 8.01 5.16 316809216 9.28   5.55   313245696
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i 7.89 4.50 318345216 7.18   4.50   308977664
loop-invgen/string_concat-noarr_true-unreach-call_false-termination.i 375    284    842248192 962      770      9453461504
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i 9.32 5.79 333848576 .0191 .0195 5615616
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i 8.73 5.50 320155648 .0194 .0197 5615616
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i 10.7  6.58 368812032 .0290 .0294 5619712
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i 9.66 6.01 342429696 .0264 .0269 5615616
loop-invgen/down_true-unreach-call_true-termination.i 10.3  6.37 362737664 .0247 .0259 5611520
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i 10.2  6.14 381652992 .0192 .0195 5615616
loop-invgen/half_2_true-unreach-call_true-termination.i 11.1  6.93 424169472 .0243 .0252 5619712
loop-invgen/heapsort_true-unreach-call_true-termination.i 28.1  17.6  639315968 .0196 .0200 5615616
loop-invgen/id_build_true-unreach-call_true-termination.i 960    951    2478592000 .0210 .0214 5599232
loop-invgen/id_trans_false-unreach-call_true-termination.i 12.6  7.70 491347968 .0190 .0195 5615616
loop-invgen/large_const_true-unreach-call_true-termination.i 10.8  6.27 381689856 .0198 .0203 5599232
loop-invgen/nest-if3_true-unreach-call_true-termination.i 13.9  8.15 439648256 .0193 .0199 5595136
loop-invgen/nested6_true-unreach-call_true-termination.i 14.8  9.57 522924032 .0198 .0202 5611520
loop-invgen/nested9_true-unreach-call_true-termination.i 45.2  31.2  613883904 .0248 .0253 5603328
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i 9.94 6.14 349224960 .0194 .0198 5615616
loop-invgen/seq_true-unreach-call_true-termination.i 12.8  8.57 389181440 .0198 .0202 5603328
loop-invgen/up_true-unreach-call_true-termination.i 10.5  6.61 381501440 .0197 .0201 5615616
loop-lit/afnp2014_true-unreach-call_true-termination.c.i 8.31 4.77 318476288 .0219 .0224 5599232
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i 9.10 5.71 328237056 .0267 .0272 5541888
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i 8.41 5.30 322543616 .0258 .0262 5623808
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i 8.61 5.31 313376768 .0193 .0197 5615616
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i 12.8  8.42 433790976 .0194 .0198 5623808
loop-lit/css2003_true-unreach-call_true-termination.c.i 9.64 5.88 329121792 .0262 .0267 5615616
loop-lit/gj2007_true-unreach-call_true-termination.c.i 10.8  6.19 323772416 .0228 .0234 5550080
loop-lit/gj2007b_true-unreach-call_true-termination.c.i 8.02 5.05 315228160 .0266 .0271 5599232
loop-lit/gr2006_true-unreach-call_true-termination.c.i 11.2  6.99 398520320 .0244 .0248 5599232
loop-lit/gsv2008_true-unreach-call_true-termination.c.i 11.7  7.14 323670016 .0191 .0195 5611520
loop-lit/hhk2008_true-unreach-call_true-termination.c.i 8.44 4.91 317960192 .0261 .0266 5529600
loop-lit/jm2006_true-unreach-call_true-termination.c.i 10.8  6.62 356311040 .0195 .0199 5615616
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i 12.6  8.44 411664384 .0193 .0197 5599232
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i 12.3  7.63 482951168 .0193 .0197 5619712
loop-lit/gcnr2008_false-unreach-call_false-termination.i 69.1  58.4  757071872 48.4    39.2    537513984
loop-new/count_by_1_true-unreach-call_true-termination.i 8.37 4.83 322621440 .0199 .0203 5615616
loop-new/count_by_1_variant_true-unreach-call_true-termination.i 9.42 5.40 333074432 .0194 .0198 5607424
loop-new/count_by_2_true-unreach-call_true-termination.i 8.78 5.41 315867136 .0216 .0220 5623808
loop-new/count_by_k_true-unreach-call_true-termination.i 36.8  31.3  524873728 .0240 .0244 5615616
loop-new/count_by_nondet_true-unreach-call_true-termination.i 21.0  17.6  445140992 .0239 .0246 5615616
loop-new/gauss_sum_true-unreach-call_true-termination.i 10.4  5.91 325894144 .0192 .0195 5615616
loop-new/half_true-unreach-call_true-termination.i 9.43 5.91 332247040 .0251 .0255 5533696
loop-new/nested_true-unreach-call_true-termination.i 10.6  6.30 380571648 .0259 .0265 5615616
product-lines/elevator_spec14_product03_true-unreach-call_true-termination.cil.c 347    234    8437710848 .0198 .0202 5627904
product-lines/elevator_spec14_product11_true-unreach-call_true-termination.cil.c 112    71.1  5106827264 .0193 .0197 5591040
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c 407    280    8817729536 .0195 .0198 5599232
product-lines/elevator_spec14_product20_false-unreach-call_true-termination.cil.c 74.9  47.6  2805051392 .0194 .0198 5595136
product-lines/elevator_spec14_product23_true-unreach-call_true-termination.cil.c 155    105    6251421696 .0260 .0268 5513216
product-lines/elevator_spec14_product24_false-unreach-call_true-termination.cil.c 99.9  66.3  4040765440 .0196 .0200 5615616
product-lines/elevator_spec14_product27_true-unreach-call_true-termination.cil.c 400    278    8682610688 .0238 .0242 5619712
product-lines/elevator_spec14_product28_false-unreach-call_true-termination.cil.c 87.6  59.5  3032829952 .0194 .0198 5619712
product-lines/elevator_spec14_product31_true-unreach-call_true-termination.cil.c 962    640    12333981696 .0192 .0196 5599232
product-lines/elevator_spec14_product32_false-unreach-call_true-termination.cil.c 103    68.5  3848445952 .0193 .0197 5623808
product-lines/elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c 366    267    7435120640 .0195 .0199 5738496
product-lines/elevator_spec1_product01_true-unreach-call_true-termination.cil.c 962    606    13556191232 .0200 .0204 5611520
product-lines/elevator_spec1_product03_true-unreach-call_true-termination.cil.c 47.6  27.8  1131499520 .0239 .0243 5607424
product-lines/elevator_spec1_product09_true-unreach-call_true-termination.cil.c 961    602    13486628864 .0193 .0197 5627904
product-lines/elevator_spec1_product11_true-unreach-call_true-termination.cil.c 48.0  28.2  1168486400 .0191 .0195 5496832
product-lines/elevator_spec1_product17_true-unreach-call_true-termination.cil.c 961    630    12708020224 .0194 .0197 5627904
product-lines/elevator_spec1_product18_false-unreach-call_true-termination.cil.c 38.4  22.1  805703680 .0193 .0197 5509120
product-lines/elevator_spec1_product19_true-unreach-call_true-termination.cil.c 46.1  26.8  1309687808 .0296 .0302 5537792
product-lines/elevator_spec1_product20_false-unreach-call_true-termination.cil.c 56.3  37.4  866504704 .0254 .0264 5517312
product-lines/elevator_spec1_product21_true-unreach-call_true-termination.cil.c 961    550    13412958208 .0251 .0256 5619712
product-lines/elevator_spec1_product22_false-unreach-call_true-termination.cil.c 47.5  33.1  982249472 .0194 .0198 5615616
product-lines/elevator_spec1_product23_true-unreach-call_true-termination.cil.c 60.7  35.9  1445093376 .0229 .0239 5754880
product-lines/elevator_spec1_product24_false-unreach-call_true-termination.cil.c 47.2  32.9  1024913408 .0191 .0194 5615616
product-lines/elevator_spec1_product25_true-unreach-call_true-termination.cil.c 961    593    13481484288 .0193 .0196 5623808
product-lines/elevator_spec1_product26_false-unreach-call_true-termination.cil.c 35.6  20.9  815652864 .0258 .0265 5591040
product-lines/elevator_spec1_product27_true-unreach-call_true-termination.cil.c 60.8  35.0  1131601920 .0196 .0200 5627904
product-lines/elevator_spec1_product28_false-unreach-call_true-termination.cil.c 54.0  36.0  886906880 .0195 .0199 5603328
product-lines/elevator_spec1_product29_true-unreach-call_true-termination.cil.c 962    546    13391855616 .0249 .0253 5537792
product-lines/elevator_spec1_product30_false-unreach-call_true-termination.cil.c 47.4  33.3  1114099712 .0249 .0253 5619712
product-lines/elevator_spec1_product31_true-unreach-call_true-termination.cil.c 962    621    12369588224 .0292 .0298 5623808
product-lines/elevator_spec1_product32_false-unreach-call_true-termination.cil.c 51.8  35.7  1052434432 .0248 .0252 5611520
product-lines/elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c 59.9  37.5  2267037696 .0254 .0259 5591040
product-lines/elevator_spec2_product01_true-unreach-call_true-termination.cil.c 962    636    12341755904 .0246 .0251 5627904
product-lines/elevator_spec2_product03_true-unreach-call_true-termination.cil.c 53.9  31.5  1003995136 .0199 .0203 5615616
product-lines/elevator_spec2_product09_true-unreach-call_true-termination.cil.c 962    622    13474160640 .0258 .0263 5554176
product-lines/elevator_spec2_product11_true-unreach-call_true-termination.cil.c 52.4  30.3  1068703744 .0196 .0200 5619712
product-lines/elevator_spec2_product17_true-unreach-call_true-termination.cil.c 962    626    13342498816 .0190 .0198 5742592
product-lines/elevator_spec2_product18_false-unreach-call_true-termination.cil.c 40.7  23.1  868507648 .0221 .0226 5619712
product-lines/elevator_spec2_product19_true-unreach-call_true-termination.cil.c 54.7  31.8  1062666240 .0198 .0203 5619712
product-lines/elevator_spec2_product20_false-unreach-call_true-termination.cil.c 33.9  19.8  861466624 .0199 .0203 5591040
product-lines/elevator_spec2_product21_true-unreach-call_true-termination.cil.c 962    551    13578743808 .0191 .0195 5619712
product-lines/elevator_spec2_product22_false-unreach-call_true-termination.cil.c 50.9  34.8  1130831872 .0194 .0198 5619712
product-lines/elevator_spec2_product23_true-unreach-call_true-termination.cil.c 56.0  33.6  1208930304 .0252 .0260 5615616
product-lines/elevator_spec2_product24_false-unreach-call_true-termination.cil.c 35.8  21.4  1021276160 .0192 .0196 5591040
product-lines/elevator_spec2_product25_true-unreach-call_true-termination.cil.c 961    630    12339920896 .0196 .0200 5619712
product-lines/elevator_spec2_product26_false-unreach-call_true-termination.cil.c 33.4  20.1  865148928 .0249 .0254 5545984
product-lines/elevator_spec2_product27_true-unreach-call_true-termination.cil.c 47.7  28.1  1138622464 .0228 .0233 5615616
product-lines/elevator_spec2_product28_false-unreach-call_true-termination.cil.c 34.2  20.1  883802112 .0193 .0199 5591040
product-lines/elevator_spec2_product29_true-unreach-call_true-termination.cil.c 962    555    13490049024 .0190 .0194 5619712
product-lines/elevator_spec2_product30_false-unreach-call_true-termination.cil.c 47.4  33.2  988086272 .0201 .0205 5603328
product-lines/elevator_spec2_product31_true-unreach-call_true-termination.cil.c 59.0  35.2  1256775680 .0194 .0198 5599232
product-lines/elevator_spec2_product32_false-unreach-call_true-termination.cil.c 52.6  35.9  1083826176 .0231 .0235 5591040
product-lines/elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c 56.2  35.5  1973043200 .0247 .0252 5672960
product-lines/elevator_spec3_product01_true-unreach-call_true-termination.cil.c 189    126    6783524864 .0419 .0425 5525504
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c 75.7  47.0  2299580416 .0485 .0498 5513216
product-lines/elevator_spec3_product09_true-unreach-call_true-termination.cil.c 771    495    12292403200 .0225 .0229 5615616
product-lines/elevator_spec3_product11_false-unreach-call_true-termination.cil.c 105    69.5  4159471616 .0486 .0496 5521408
product-lines/elevator_spec3_product17_true-unreach-call_true-termination.cil.c 143    96.2  7048298496 .0197 .0201 5545984
product-lines/elevator_spec3_product18_true-unreach-call_true-termination.cil.c 68.2  39.6  1697120256 .0248 .0252 5627904
product-lines/elevator_spec3_product19_false-unreach-call_true-termination.cil.c 100    65.1  3859374080 .0250 .0255 5591040
product-lines/elevator_spec3_product20_false-unreach-call_true-termination.cil.c 53.9  32.4  1840648192 .0192 .0195 5591040
product-lines/elevator_spec3_product21_true-unreach-call_true-termination.cil.c 238    160    6853664768 .0242 .0249 5623808
product-lines/elevator_spec3_product22_true-unreach-call_true-termination.cil.c 67.5  40.7  2260086784 .0223 .0235 5545984
product-lines/elevator_spec3_product23_false-unreach-call_true-termination.cil.c 962    558    13455740928 .0261 .0266 5619712
product-lines/elevator_spec3_product24_false-unreach-call_true-termination.cil.c 66.7  40.1  2759184384 .0251 .0260 5750784
product-lines/elevator_spec3_product25_true-unreach-call_true-termination.cil.c 149    98.5  6385872896 .0193 .0197 5623808
product-lines/elevator_spec3_product26_true-unreach-call_true-termination.cil.c 80.2  51.2  1792552960 .0193 .0197 5607424
product-lines/elevator_spec3_product27_false-unreach-call_true-termination.cil.c 133    85.4  4530016256 .0200 .0204 5591040
product-lines/elevator_spec3_product28_false-unreach-call_true-termination.cil.c 78.6  50.5  1987678208 .0243 .0247 5619712
product-lines/elevator_spec3_product29_true-unreach-call_true-termination.cil.c 195    140    6406279168 .0224 .0229 5545984
product-lines/elevator_spec3_product30_true-unreach-call_true-termination.cil.c 69.3  41.3  2344501248 .0261 .0266 5615616
product-lines/elevator_spec3_product31_false-unreach-call_true-termination.cil.c 94.2  60.8  3282817024 .0245 .0250 5607424
product-lines/elevator_spec3_product32_false-unreach-call_true-termination.cil.c 75.7  44.8  2955272192 .0332 .0343 5517312
product-lines/elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c 145    90.9  5693915136 .0201 .0205 5619712
product-lines/elevator_spec9_product09_true-unreach-call_true-termination.cil.c 72.3  43.8  1552900096 .0196 .0198 5488640
product-lines/elevator_spec9_product11_true-unreach-call_true-termination.cil.c 45.2  25.6  851456000 .0247 .0254 5623808
product-lines/elevator_spec9_product25_true-unreach-call_true-termination.cil.c 962    548    13512769536 .0246 .0251 5550080
product-lines/elevator_spec9_product26_false-unreach-call_true-termination.cil.c 49.3  28.3  951390208 .0197 .0200 5619712
product-lines/elevator_spec9_product27_true-unreach-call_true-termination.cil.c 143    95.6  5715869696 .0196 .0200 5619712
product-lines/elevator_spec9_product28_false-unreach-call_true-termination.cil.c 56.0  37.2  992309248 .0231 .0238 5619712
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c 923    531    13573799936 .0261 .0268 5541888
product-lines/elevator_spec9_product30_false-unreach-call_true-termination.cil.c 60.6  40.1  1205243904 .0202 .0208 5615616
product-lines/elevator_spec9_product31_true-unreach-call_true-termination.cil.c 81.3  48.3  1632911360 .0193 .0199 5619712
product-lines/elevator_spec9_product32_false-unreach-call_true-termination.cil.c 49.8  28.7  1349820416 .0291 .0299 5591040
product-lines/elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c 74.1  45.7  2495213568 .0253 .0258 5615616
product-lines/email_spec0_product05_true-unreach-call_true-termination.cil.c 18.6  10.7  473489408 .0256 .0261 5599232
product-lines/email_spec0_product09_true-unreach-call_true-termination.cil.c 22.0  12.4  505872384 .0197 .0201 5615616
product-lines/email_spec0_product10_true-unreach-call_true-termination.cil.c 15.7  9.14 530157568 .0190 .0194 5603328
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c 19.3  11.0  537833472 .0196 .0200 5603328
product-lines/email_spec0_product16_false-unreach-call_true-termination.cil.c 17.7  10.3  535228416 .0192 .0195 5599232
product-lines/email_spec0_product19_true-unreach-call_true-termination.cil.c 19.4  11.0  516624384 .0194 .0197 5599232
product-lines/email_spec0_product21_false-unreach-call_true-termination.cil.c 21.3  12.1  667987968 .0197 .0202 5599232
product-lines/email_spec0_product22_false-unreach-call_true-termination.cil.c 17.1  9.89 538456064 .0250 .0256 5623808
product-lines/email_spec0_product24_true-unreach-call_true-termination.cil.c 19.9  11.4  531984384 .0196 .0200 5607424
product-lines/email_spec0_product25_true-unreach-call_true-termination.cil.c 22.8  12.9  528605184 .0194 .0199 5603328
product-lines/email_spec0_product26_false-unreach-call_true-termination.cil.c 20.0  11.5  520232960 .0196 .0200 5599232
product-lines/email_spec0_product27_true-unreach-call_true-termination.cil.c 18.7  10.8  515809280 .0217 .0222 5529600
product-lines/email_spec0_product31_false-unreach-call_true-termination.cil.c 21.7  12.3  510296064 .0251 .0256 5529600
product-lines/email_spec0_product33_false-unreach-call_true-termination.cil.c 17.9  10.3  536420352 .0249 .0253 5611520
product-lines/email_spec0_product34_false-unreach-call_true-termination.cil.c 35.4  19.3  590966784 .0193 .0197 5623808
product-lines/email_spec0_product35_false-unreach-call_true-termination.cil.c 20.8  11.8  535093248 .0192 .0195 5603328
product-lines/email_spec0_product36_true-unreach-call_true-termination.cil.c 18.5  10.5  533192704 .0248 .0253 5611520
product-lines/email_spec0_product37_true-unreach-call_true-termination.cil.c 17.0  9.89 533958656 .0242 .0246 5599232
product-lines/email_spec0_product38_true-unreach-call_true-termination.cil.c 20.2  11.7  557248512 .0223 .0227 5603328
product-lines/email_spec0_product40_true-unreach-call_true-termination.cil.c 16.4  9.65 531132416 .0509 .0518 5525504
product-lines/email_spec0_productSimulator_false-unreach-call_true-termination.cil.c 111    68.5  4476149760 .0197 .0201 5599232
product-lines/email_spec11_product03_true-unreach-call_true-termination.cil.c 14.8  8.68 536162304 .0446 .0453 5521408
product-lines/email_spec11_product07_true-unreach-call_true-termination.cil.c 22.7  12.5  529985536 .0196 .0200 5623808
product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c 19.2  10.7  554287104 .0193 .0197 5603328
product-lines/email_spec11_product10_true-unreach-call_true-termination.cil.c 17.1  10.0  481513472 .0198 .0203 5603328
product-lines/email_spec11_product15_false-unreach-call_true-termination.cil.c 17.1  9.81 536702976 .0194 .0200 5615616
product-lines/email_spec11_product18_true-unreach-call_true-termination.cil.c 17.6  10.3  483516416 .0195 .0201 5603328
product-lines/email_spec11_product20_false-unreach-call_true-termination.cil.c 20.2  11.6  548134912 .0263 .0274 5689344
product-lines/email_spec11_product22_false-unreach-call_true-termination.cil.c 17.1  9.96 524529664 .0258 .0262 5627904
product-lines/email_spec11_product23_true-unreach-call_true-termination.cil.c 22.5  12.6  511492096 .0194 .0198 5603328
product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c 18.5  10.7  524283904 .0254 .0259 5603328
product-lines/email_spec11_product26_false-unreach-call_true-termination.cil.c 19.6  11.3  509935616 .0249 .0254 5619712
product-lines/email_spec11_product27_true-unreach-call_true-termination.cil.c 18.4  10.8  552017920 .0190 .0194 5603328
product-lines/email_spec11_product30_false-unreach-call_true-termination.cil.c 19.5  11.0  551161856 .0192 .0196 5623808
product-lines/email_spec11_product32_false-unreach-call_true-termination.cil.c 19.8  11.4  525488128 .0192 .0196 5603328
product-lines/email_spec11_product33_false-unreach-call_true-termination.cil.c 19.9  11.6  473829376 .0193 .0198 5627904
product-lines/email_spec11_product35_false-unreach-call_true-termination.cil.c 21.6  12.3  521392128 .0212 .0216 5611520
product-lines/email_spec11_product36_true-unreach-call_true-termination.cil.c 18.3  10.6  522723328 .0194 .0198 5603328
product-lines/email_spec11_product37_true-unreach-call_true-termination.cil.c 17.4  10.2  547147776 .0196 .0199 5599232
product-lines/email_spec11_product39_true-unreach-call_true-termination.cil.c 20.4  11.6  548847616 .0199 .0203 5619712
product-lines/email_spec11_product40_true-unreach-call_true-termination.cil.c 15.4  9.29 539779072 .0194 .0198 5603328
product-lines/email_spec11_productSimulator_false-unreach-call_true-termination.cil.c 103    65.3  4613668864 .0249 .0254 5599232
product-lines/email_spec1_product12_true-unreach-call_true-termination.cil.c 18.0  10.3  506216448 .0194 .0198 5607424
product-lines/email_spec1_product14_false-unreach-call_true-termination.cil.c 21.1  12.0  516972544 .0245 .0252 5599232
product-lines/email_spec1_product15_false-unreach-call_true-termination.cil.c 18.4  10.4  536944640 .0257 .0262 5599232
product-lines/email_spec1_product16_false-unreach-call_true-termination.cil.c 19.8  11.2  500924416 .0192 .0195 5603328
product-lines/email_spec1_product20_false-unreach-call_true-termination.cil.c 19.4  11.1  547074048 .0246 .0250 5529600
product-lines/email_spec1_product21_false-unreach-call_true-termination.cil.c 21.6  12.4  515731456 .0244 .0248 5603328
product-lines/email_spec1_product22_false-unreach-call_true-termination.cil.c 22.5  12.5  478003200 .0244 .0248 5603328
product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c 22.0  12.7  520458240 .0198 .0203 5603328
product-lines/email_spec1_product28_true-unreach-call_true-termination.cil.c 20.3  11.5  530317312 .0244 .0249 5603328
product-lines/email_spec1_product29_false-unreach-call_true-termination.cil.c 26.9  15.1  670740480 .0194 .0198 5599232
product-lines/email_spec1_product30_false-unreach-call_true-termination.cil.c 19.5  11.2  493645824 .0247 .0254 5595136
product-lines/email_spec1_product31_false-unreach-call_true-termination.cil.c 19.9  11.0  514994176 .0198 .0202 5607424
product-lines/email_spec1_product32_false-unreach-call_true-termination.cil.c 21.0  12.0  576122880 .0196 .0200 5750784
product-lines/email_spec1_product33_false-unreach-call_true-termination.cil.c 19.7  11.1  496418816 .0191 .0196 5603328
product-lines/email_spec1_product34_false-unreach-call_true-termination.cil.c 26.3  14.9  594198528 .0194 .0197 5603328
product-lines/email_spec1_product35_false-unreach-call_true-termination.cil.c 29.5  16.5  695898112 .0247 .0252 5599232
product-lines/email_spec1_productSimulator_false-unreach-call_true-termination.cil.c 117    74.7  4594360320 .0245 .0250 5599232
product-lines/email_spec27_product13_true-unreach-call_true-termination.cil.c 21.3  12.0  565149696 .0252 .0256 5619712
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c 23.0  12.9  510734336 .0191 .0197 5619712
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c 20.8  11.6  533442560 .0242 .0246 5525504
product-lines/email_spec27_product19_false-unreach-call_true-termination.cil.c 23.0  13.0  502161408 .0195 .0199 5615616
product-lines/email_spec27_product23_false-unreach-call_true-termination.cil.c 19.6  11.4  529489920 .0195 .0201 5627904
product-lines/email_spec27_product24_false-unreach-call_true-termination.cil.c 18.2  10.7  475385856 .0247 .0254 5623808
product-lines/email_spec27_product25_false-unreach-call_true-termination.cil.c 23.5  13.1  522346496 .0195 .0199 5623808
product-lines/email_spec27_product27_false-unreach-call_true-termination.cil.c 22.9  12.9  537935872 .0239 .0243 5615616
product-lines/email_spec27_product28_true-unreach-call_true-termination.cil.c 20.3  11.6  503390208 .0233 .0240 5603328
product-lines/email_spec27_product29_false-unreach-call_true-termination.cil.c 23.1  13.0  546717696 .0242 .0247 5619712
product-lines/email_spec27_product30_false-unreach-call_true-termination.cil.c