Tool CPAchecker 1.7-svn 29913
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set cpaseq--termination.cpaseq cpachecker-cpaseq--termination-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -heap 10000M -benchmark -witnessValidation -witness test/results/cpaseq--termination.logfiles/cpaseq.${inputfile_name}.files/output/witness.graphml -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c 902    874    4198846464 .565 .346 42266624
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 4.10 2.30 271683584 3.72  2.05  246874112
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c 3.70 2.08 265424896 .567 .355 41291776
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 6.99 3.77 431882240 .601 .369 40468480
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 4.26 2.39 276504576 3.56  2.00  245932032
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 3.99 2.22 271183872 3.40  1.88  240316416
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 3.65 2.01 263602176 .582 .369 39763968
termination-crafted/Mysore_false-termination_true-valid-memsafety.c 11.8  6.16 777105408 .586 .361 40112128
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c 3.87 2.12 266289152 .570 .362 40783872
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 3.66 2.05 264245248 .579 .352 40677376
termination-crafted/NonTermination3_false-termination_false-valid-deref.c 902    862    4292415488 .564 .355 40296448
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 902    866    4288368640 .585 .376 39874560
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 4.14 2.29 273653760 3.66  2.00  245940224
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c 3.52 1.97 264351744 .586 .356 41234432
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c 4.17 2.31 274305024 3.64  2.01  248860672
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 4.00 2.21 275005440 3.52  1.97  243023872
termination-crafted/2Nested_true-termination_true-valid-memsafety.c 48.4  43.6  569823232 .607 .386 40873984
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 906    875    4090966016 .622 .396 41979904
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c 901    806    4317175808 .561 .358 40480768
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c 3.94 2.18 264413184 .573 .344 39960576
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 411    391    14999998464 .569 .352 41299968
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 396    375    14999998464 .567 .348 40820736
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 4.59 2.51 275197952 .575 .345 40611840
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 4.34 2.37 278687744 .576 .359 40546304
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c 154    148    496427008 .588 .365 41472000
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 7.74 4.13 428109824 .579 .348 41103360
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 5.14 2.74 280666112 .601 .387 40402944
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 4.97 2.74 276922368 .558 .348 40316928
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c 901    881    1645596672 .591 .371 40189952
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 5.09 2.75 276328448 .582 .350 40472576
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c 6.97 3.71 424488960 .555 .351 39817216
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c 6.27 3.39 414887936 .560 .349 39882752
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 908    877    4359892992 .546 .345 39813120
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c 911    874    4484059136 .552 .349 40521728
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c 6.78 3.65 433000448 .609 .386 41136128
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 901    885    2389450752 .549 .347 39456768
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 3.74 2.04 264785920 .583 .351 42061824
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 6.80 3.68 427335680 .577 .349 41099264
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 3.60 2.05 265953280 .581 .377 40075264
termination-crafted/Mysore_true-termination_true-valid-memsafety.c 5.42 2.95 305782784 .580 .354 41926656
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 3.92 2.18 264728576 .595 .381 40075264
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 3.71 2.03 264728576 .557 .348 39829504
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 3.76 2.05 265412608 .575 .368 41881600
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 3.76 2.06 265945088 .580 .353 41684992
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 5.33 2.88 280645632 .666 .405 39862272
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 5.58 3.01 280227840 .587 .377 40943616
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 5.57 3.05 281382912 .577 .349 40030208
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c 6.26 3.41 311304192 .575 .348 41144320
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c 8.20 4.34 454438912 .572 .347 40173568
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c 3.75 2.07 264286208 .565 .357 41127936
termination-crafted/Singapore_true-termination_true-valid-memsafety.c 7.02 3.77 416505856 .565 .364 40857600
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c 5.10 2.80 278917120 .576 .353 40038400
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 5.34 2.92 276688896 .582 .356 40574976
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c 5.22 2.84 278634496 .593 .359 41308160
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c 5.39 2.94 275013632 .574 .348 40280064
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 6.40 3.44 293916672 .563 .339 40034304
termination-crafted/Thun_true-termination_true-valid-memsafety.c 5.75 3.13 280166400 .582 .366 39915520
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c 6.92 3.69 377569280 .601 .379 40914944
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c 9.49 5.07 426299392 .554 .346 41357312
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 4.50 2.49 274522112 .603 .377 39907328
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 3.57 2.00 264318976 .604 .360 41279488
termination-crafted/aaron2_true-termination_true-valid-memsafety.c 5.16 2.82 278474752 .596 .387 40505344
termination-crafted/aaron3_true-termination_true-valid-memsafety.c 18.9  10.1  588161024 .559 .355 40255488
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 181    167    1778069504 .581 .368 40394752
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 5.06 2.76 276455424 .562 .347 39989248
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 4.00 2.26 274722816 3.63  2.01  244740096
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 4.15 2.34 273682432 3.76  2.06  252289024
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 4.77 2.64 282505216 4.14  2.25  250490880
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 4.15 2.30 272502784 3.75  2.06  243048448
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 4.50 2.46 272830464 3.57  1.97  242671616
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 11.8  6.19 459735040 .567 .342 40931328
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 5.88 3.19 280309760 .566 .351 40456192
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 182    167    1733779456 .589 .364 40914944
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 5.08 2.79 278265856 .607 .376 40587264
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 6.74 3.66 374976512 .572 .363 40275968
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 7.21 3.86 378093568 .588 .354 40804352
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 5.01 2.76 276488192 .630 .382 40378368
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 5.28 2.90 278122496 .565 .359 40083456
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 6.67 3.62 426614784 .575 .346 40488960
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 6.55 3.53 350924800 .569 .367 41201664
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 4.53 2.49 272531456 .566 .356 39583744
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 5.52 2.96 284065792 .568 .339 40165376
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 6.12 3.31 308928512 .656 .399 40484864
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 6.27 3.37 287936512 .605 .388 40910848
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 6.21 3.37 369311744 .568 .359 40607744
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 4.50 2.43 271859712 .584 .356 40001536
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 6.89 3.70 315555840 .552 .330 40103936
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 786    764    14999998464 .563 .353 40402944
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 5.11 2.83 276873216 .566 .355 39981056
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 182    168    1799761920 .577 .374 39780352
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 4.93 2.70 284037120 .579 .361 41291776
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 6.30 3.39 298737664 .567 .356 41046016
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 5.10 2.78 277950464 .574 .358 40984576
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 4.71 2.64 276549632 .557 .339 40255488
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 5.37 2.94 279269376 .564 .341 39575552
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 5.70 3.08 280383488 .587 .367 40009728
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 7.02 3.75 383815680 .581 .367 40374272
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 6.89 3.68 353808384 .580 .343 41238528
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 5.31 2.86 289427456 .560 .341 40140800
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 5.08 2.77 278450176 .580 .362 42192896
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 4.54 2.50 276455424 .583 .356 41345024
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 634    612    14999998464 .566 .355 40411136
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 9.09 4.82 458182656 .575 .350 40620032
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 4.72 2.62 275283968 .568 .351 41525248
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 4.93 2.69 281505792 .573 .353 40783872
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 5.09 2.82 275189760 .571 .345 40337408
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 6.50 3.52 424189952 .584 .365 39874560
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 4.75 2.62 281640960 .590 .374 40181760
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 5.14 2.80 277803008 .589 .359 41873408
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 901    821    5104119808 .562 .350 40206336
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 901    878    5408796672 .574 .346 40599552
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 3.58 1.99 260374528 .558 .335 39870464
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 3.63 2.01 264630272 .584 .355 40329216
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 4.74 2.63 275841024 .576 .355 40083456
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 5.50 3.01 287117312 .583 .351 41467904
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 5.59 3.02 332132352 .577 .352 40050688
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 5.49 3.02 301629440 .703 .431 40345600
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 4.64 2.57 274923520 .621 .394 39591936
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 5.95 3.23 290787328 .559 .348 40558592
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 5.61 3.06 282169344 .592 .378 40337408
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 597    573    14999998464 .562 .353 39911424
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 11.3  5.96 429019136 .554 .340 39755776
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 6.50 3.51 316039168 .565 .347 39956480
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 21.3  10.9  833921024 .560 .341 39694336
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 901    872    3629703168 .573 .361 40853504
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 901    879    3661066240 .601 .385 40525824
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 17.3  9.04 829022208 .567 .347 39804928
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 901    877    3670593536 .558 .339 39600128
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 901    873    3679973376 .567 .347 40120320
termination-crafted-lit/genady_true-termination_true-no-overflow.c 661    639    14999998464 .594 .353 40288256
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 22.8  11.7  935624704 .601 .379 40411136
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 3.60 2.02 266915840 .577 .355 40325120
termination-numeric/Binomial_true-termination_false-no-overflow.c 4.19 2.30 265818112 .556 .355 39882752
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 3.77 2.09 264601600 .579 .375 39682048
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 3.84 2.14 264871936 .551 .343 40157184
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 3.91 2.18 265560064 .558 .347 39968768
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 3.73 2.07 266137600 .559 .346 40194048
termination-numeric/Parts_true-termination_true-no-overflow.c 4.12 2.24 265592832 .573 .349 40189952
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 3.76 2.07 264810496 .557 .356 40914944
termination-numeric/TwoWay_true-termination_true-no-overflow.c 3.70 2.03 264998912 .558 .354 39768064
termination-numeric/gcd01_true-termination_true-no-overflow.c 3.74 2.07 265805824 .580 .359 40669184
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 9.91 5.25 485605376 .577 .371 40411136
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 3.60 1.99 266399744 .595 .366 41062400
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 3.65 2.07 264843264 .563 .351 39903232
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 3.51 2.01 265281536 .631 .386 42295296
termination-numeric/twisted_true-termination_true-no-overflow.c 901    850    4072603648 .585 .355 40239104
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c 6.24 3.40 307249152 .575 .345 40255488
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c 5.19 2.84 275480576 .583 .361 40189952
termination-restricted-15/GCD3_true-termination_true-no-overflow.c 5.40 2.91 281616384 .568 .350 42033152
termination-restricted-15/GCD4_true-termination_true-no-overflow.c 5.11 2.82 277667840 .583 .350 41000960
termination-restricted-15/IntPath_true-termination_true-no-overflow.c 3.75 2.08 269647872 .575 .365 40669184
termination-restricted-15/LogAG_true-termination_true-no-overflow.c 5.82 3.12 307486720 .569 .345 40034304
termination-restricted-15/Log_true-termination_true-no-overflow.c 6.85 3.71 369516544 .581 .372 39636992
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c 11.2  6.16 432553984 .587 .382 40714240
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c 4.86 2.69 276881408 .597 .377 40361984
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c 6.89 3.70 362823680 .577 .352 41291776
termination-restricted-15/Nested_true-termination_true-no-overflow.c 25.7  13.7  636682240 .568 .357 40071168
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c 5.17 2.82 281088000 .612 .388 41406464
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c 5.52 3.01 280354816 .590 .363 42180608
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c 4.74 2.60 275836928 .575 .362 40521728
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c 4.74 2.58 275308544 .597 .385 40177664
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c 5.69 3.03 288817152 .576 .349 41283584
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c 5.74 3.08 282750976 .575 .365 39518208
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c 5.01 2.73 278024192 .569 .352 40693760
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c 5.28 2.89 279052288 .621 .383 39821312
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c 4.48 2.49 272142336 .577 .353 40026112
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c 4.65 2.61 276828160 .576 .361 40419328
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c 4.80 2.62 274911232 .584 .346 41422848
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c 4.93 2.67 275218432 .587 .365 40751104
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c 4.93 2.71 275611648 .564 .359 40783872
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c 5.69 3.11 282951680 .580 .372 40148992
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c 5.41 2.97 277909504 .566 .360 39559168
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c 5.51 3.00 280469504 .575 .360 39849984
termination-restricted-15/Sequence_true-termination_true-no-overflow.c 116    92.6  4672503808 .572 .357 40030208
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c 4.54 2.51 274595840 .564 .340 40046592
termination-restricted-15/a.01_true-termination_true-no-overflow.c 5.57 3.03 282480640 .545 .350 40185856
termination-restricted-15/a.04_true-termination_true-no-overflow.c 4.78 2.59 274309120 .572 .365 41775104
termination-restricted-15/a.05_true-termination_true-no-overflow.c 4.68 2.56 275365888 .599 .372 40144896
termination-restricted-15/a.06_true-termination_true-no-overflow.c 5.12 2.72 277127168 .584 .353 40738816
termination-restricted-15/a.07_true-termination_true-no-overflow.c 4.76 2.65 275628032 .569 .353 41189376
termination-restricted-15/a.08_true-termination_true-no-overflow.c 5.02 2.74 278503424 .569 .340 40738816
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c 4.67 2.58 275058688 .560 .349 39821312
termination-restricted-15/a.10_true-termination.c 5.21 2.84 279396352 .558 .357 40689664
termination-restricted-15/b.01_true-termination_true-no-overflow.c 4.85 2.68 275054592 .568 .346 40103936
termination-restricted-15/b.02_true-termination_true-no-overflow.c 4.77 2.61 275677184 .574 .351 40517632
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c 4.53 2.49 271249408 .568 .340 41037824
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c 4.75 2.60 274857984 .594 .375 40099840
termination-restricted-15/b.04_true-termination_true-no-overflow.c 4.51 2.46 274460672 .578 .360 41041920
termination-restricted-15/b.05_true-termination_true-no-overflow.c 5.09 2.76 278331392 .575 .345 40239104
termination-restricted-15/b.06_true-termination_true-no-overflow.c 4.93 2.72 275947520 .569 .339 40112128
termination-restricted-15/b.07_true-termination_true-no-overflow.c 4.98 2.72 276115456 .578 .349 39829504
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c 5.47 2.99 279388160 .583 .359 40296448
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c 4.94 2.74 272437248 .561 .352 39710720
termination-restricted-15/b.10_true-termination_true-no-overflow.c 5.74 3.13 283082752 .581 .363 41209856
termination-restricted-15/b.11_true-termination_true-no-overflow.c 5.82 3.14 281378816 .567 .352 40062976
termination-restricted-15/b.12_true-termination_true-no-overflow.c 5.61 3.06 280551424 .566 .349 39780352
termination-restricted-15/b.13_true-termination_true-no-overflow.c 5.65 3.05 282415104 .623 .387 40558592
termination-restricted-15/b.14_true-termination_true-no-overflow.c 5.77 3.12 285745152 .554 .336 40083456
termination-restricted-15/b.15_true-termination_true-no-overflow.c 6.05 3.22 287825920 .565 .349 40607744
termination-restricted-15/b.16_true-termination_true-no-overflow.c 5.33 2.90 280920064 .550 .335 39981056
termination-restricted-15/b.17_true-termination_true-no-overflow.c 5.37 2.94 279961600 .576 .350 40673280
termination-restricted-15/b.18_true-termination_true-no-overflow.c 6.92 3.71 318828544 .598 .385 41766912
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c 121    104    4267827200 .568 .347 40620032
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c 7.21 3.90 389185536 .570 .347 40292352
termination-restricted-15/c.02_true-termination_true-no-overflow.c 5.87 3.16 281726976 .563 .364 39677952
termination-restricted-15/c.03_true-termination_true-no-overflow.c 6.25 3.36 281378816 .597 .375 40255488
termination-restricted-15/c.07_true-termination_true-no-overflow.c 5.01 2.77 277057536 .563 .355 40148992
termination-restricted-15/c.08_true-termination_true-no-overflow.c 5.35 2.93 278441984 .566 .345 40046592
termination-restricted-15/ex3a_true-termination_true-no-overflow.c 3.77 2.07 277364736 .569 .366 40513536
termination-restricted-15/ex3b_true-termination_true-no-overflow.c 3.73 2.06 268529664 .588 .372 39485440
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c 5.07 2.81 278020096 .605 .365 39829504
termination-restricted-15/java_Break_true-termination_true-no-overflow.c 4.86 2.67 277237760 .595 .376 41385984
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c 37.9  24.7  845565952 .561 .341 39706624
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c 12.9  6.82 447229952 .566 .357 40632320
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c 121    96.5  4387016704 .564 .338 40042496
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c 6.11 3.35 283451392 4.25  2.28  253157376
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c 4.21 2.33 276414464 3.70  2.06  244170752
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c 4.32 2.37 272310272 3.57  1.97  243757056
termination-restricted-15/Ex02_false-termination_true-no-overflow.c 4.05 2.27 272769024 3.61  2.00  244994048
termination-restricted-15/Ex03_false-termination_true-no-overflow.c 4.06 2.27 272003072 3.52  1.95  239783936
termination-restricted-15/Ex05_false-termination_true-no-overflow.c 4.00 2.26 272408576 3.52  1.94  244850688
termination-restricted-15/Ex06_false-termination_true-no-overflow.c 5.23 2.85 280809472 3.82  2.11  251277312
termination-restricted-15/Ex07_false-termination_true-no-overflow.c 6.05 3.28 282951680 3.68  2.02  243908608
termination-restricted-15/Ex08_false-termination_true-no-overflow.c 300    257    3828482048 4.40  2.38  253136896
termination-restricted-15/Flip2_false-termination_true-no-overflow.c 5.04 2.80 279977984 .577 .352 40210432
termination-restricted-15/Flip_false-termination_true-no-overflow.c 4.15 2.33 275316736 3.72  2.09  249229312
termination-restricted-15/GCD2_false-termination_true-no-overflow.c 5.16 2.81 279158784 .573 .349 39817216
termination-restricted-15/GCD_false-termination_true-no-overflow.c 5.18 2.83 277536768 .555 .353 40480768
termination-restricted-15/Loop_false-termination_true-no-overflow.c 4.14 2.30 275025920 3.60  2.01  245428224
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c 4.17 2.31 272691200 3.67  2.02  242036736
termination-restricted-15/NO_00_false-termination_true-no-overflow.c 4.15 2.33 275537920 3.42  1.88  240480256
termination-restricted-15/NO_01_false-termination_true-no-overflow.c 4.48 2.48 277037056 3.55  1.94  240103424
termination-restricted-15/NO_02_false-termination_true-no-overflow.c 4.05 2.28 273481728 3.76  2.05  246824960
termination-restricted-15/NO_03_false-termination_true-no-overflow.c 5.14 2.79 281202688 3.95  2.16  248049664
termination-restricted-15/NO_04_false-termination_true-no-overflow.c 4.51 2.46 276324352 3.88  2.10  245768192
termination-restricted-15/NO_13_false-termination_true-no-overflow.c 816    794    14999998464 .581 .367 41091072
termination-restricted-15/NO_21_false-termination_true-no-overflow.c 4.14 2.34 273870848 3.63  1.98  245051392
termination-restricted-15/NO_22_false-termination_true-no-overflow.c 767    743    14999998464 .604 .389 40525824
termination-restricted-15/NO_23_false-termination_true-no-overflow.c 5.84 3.18 300441600 3.66  1.99  243318784
termination-restricted-15/NO_24_false-termination_true-no-overflow.c 7.42 3.96 532148224 .553 .355 39636992
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c 901    884    3611627520 .564 .353 40747008
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c 901    884    1440493568 .592 .383 40517632
termination-restricted-15/Sunset_false-termination_true-no-overflow.c 7.33 3.92 360099840 3.98  2.17  249696256
termination-restricted-15/Swingers_false-termination_true-no-overflow.c 7.93 4.19 541212672 .551 .344 40554496
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c 4.14 2.30 271986688 3.82  2.08  248737792
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c 335    296    3887304704 4.51  2.46  246849536
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c 320    284    3869519872 4.36  2.36  250191872
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c 4.10 2.28 274022400 3.77  2.09  246648832
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c 4.50 2.54 273215488 3.59  1.97  238497792
termination-libowfat/atoi_true-termination.c.i 151    111    3757326336 .597 .387 41259008
termination-libowfat/atol_true-termination.c.i 96.3  57.5  3712884736 .566 .349 40632320
termination-libowfat/atoll_true-termination.c.i 133    92.9  3725668352 .573 .358 40116224
termination-libowfat/basename_true-termination.c.i 68.9  49.8  2514657280 .580 .361 41484288
termination-libowfat/build_fullname_true-termination.c.i 903    876    3921080320 .589 .372 39817216
termination-libowfat/dirname_true-termination.c.i 902    857    4306800640 .589 .381 40427520
termination-libowfat/skip_to_true-termination.c.i 9.24 4.87 453136384 .566 .349 42217472
termination-libowfat/stpcpy_true-termination.c.i 901    828    4125179904 .565 .343 40964096
termination-libowfat/strcasecmp_true-termination.c.i 901    862    4232556544 .578 .363 40845312
termination-libowfat/strcat_short_true-termination.c.i 903    853    4185747456 .580 .366 39706624
termination-libowfat/strcat_true-termination.c.i 911    868    4244021248 .553 .351 39505920
termination-libowfat/strchr_short_true-termination.c.i 9.09 4.82 465809408 .548 .353 39632896
termination-libowfat/strchr_true-termination.c.i 902    870    4091338752 .604 .382 41070592
termination-libowfat/strcmp_short_true-termination.c.i 901    875    3649417216 .575 .352 39645184
termination-libowfat/strcpy_small_true-termination.c.i 901    829    4029624320 .566 .351 40828928
termination-libowfat/strcspn_true-termination.c.i 466    431    3636535296 .565 .342 40587264
termination-libowfat/strdup_true-termination.c.i 903    870    4114235392 .566 .343 40443904
termination-libowfat/strlcat_true-termination.c.i 2.17 1.19 153051136 .551 .356 39501824
termination-libowfat/strlcpy_true-termination.c.i 2.43 1.34 157024256 .645 .391 40484864
termination-libowfat/strlen_true-termination.c.i 8.36 4.43 450355200 .584 .370 41693184
termination-libowfat/strpbrk_true-termination.c.i 447    415    3246239744 .578 .353 40644608
termination-libowfat/strrchr_short_true-termination.c.i 7.70 4.09 419590144 .575 .367 40468480
termination-libowfat/strrchr_true-termination.c.i 901    839    4465647616 .569 .346 40235008
termination-libowfat/strspn_true-termination.c.i 901    862    3818352640 .551 .340 40198144
termination-libowfat/strstr_true-termination.c.i 901    860    3794874368 .567 .344 40173568
termination-libowfat/strtok_r_true-termination.c.i 29.8  15.2  1458536448 .566 .368 40173568
termination-libowfat/strtol_true-termination.c.i 24.2  12.4  1198764032 .607 .373 41578496
termination-libowfat/strtoul_true-termination.c.i 9.42 4.98 426012672 .582 .352 39919616
termination-libowfat/strtoull_true-termination.c.i 7.40 3.92 420847616 .562 .354 40579072
termination-libowfat/wcsrchr_true-termination.c.i 7.85 4.09 413417472 .560 .340 39858176
termination-libowfat/wcsstr_true-termination.c.i 901    870    4091760640 .557 .347 40607744
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i 5.42 2.95 265019392 .553 .351 39739392
termination-memory-alloca/Velroyen-alloca_false-termination.c.i 6.64 3.51 320413696 .575 .343 40316928
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i 902    878    4058112000 .563 .351 39960576
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i 916    887    4363640832 .564 .344 39575552
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i 901    870    4053487616 .617 .385 41181184
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i 437    381    4048945152 .596 .377 40103936
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i 905    870    4180983808 .580 .350 41676800
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i 372    313    4192854016 .555 .351 39862272
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i 902    868    4071108608 .569 .355 40738816
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i 903    863    4112535552 .567 .348 40509440
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i 901    863    4077133824 .573 .347 39997440
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i 903    877    4044873728 .533 .331 39604224
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i 6.64 3.55 327319552 .599 .368 40357888
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i 912    881    4026089472 .568 .351 39665664
termination-memory-alloca/Masse-alloca_true-termination.c.i 6.49 3.47 360353792 .579 .363 40046592
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i 913    885    4060401664 .577 .362 40448000
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i 904    884    4026793984 .560 .347 40218624
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i 152    103    4026032128 .587 .355 41443328
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i 916    885    4167081984 .577 .362 40636416
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i 901    879    3987951616 .570 .353 40050688
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i 822    793    4056715264 .596 .381 40542208
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i 735    709    14999998464 .562 .349 40067072
termination-memory-alloca/Urban-alloca_true-termination.c.i 146    101    4065792000 .584 .373 39960576
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i 903    884    3966685184 .592 .373 40890368
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i 917    889    4225675264 .577 .355 40136704
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i 915    886    4241047552 .581 .375 39780352
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i 916    884    4184973312 .573 .346 42135552
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i 917    886    4262445056 .570 .354 41365504
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i 915    877    4201119744 .588 .351 41713664
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i 907    878    4086640640 .552 .349 39854080
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i 917    883    4119244800 .596 .376 42504192
termination-memory-alloca/add_last-alloca_true-termination.c.i 10.9  5.67 428277760 .592 .374 41639936
termination-memory-alloca/array01-alloca_true-termination.c.i 10.9  5.75 462487552 .560 .341 40292352
termination-memory-alloca/array02-alloca_true-termination.c.i 18.6  9.65 909148160 .571 .356 40374272
termination-memory-alloca/array03-alloca_true-termination.c.i 4.76 2.61 260141056 .562 .349 40140800
termination-memory-alloca/aviad_true-alloca_true-termination.c.i 915    881    4193673216 .571 .354 40095744
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i 916    885    4194791424 .600 .381 40726528
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i 906    877    4141682688 .578 .353 40538112
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 70.4  37.0  3110567936 .576 .361 40730624
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i 85.2  45.7  3379646464 .551 .338 40382464
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i 916    878    4238213120 .648 .399 39747584
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i 901    871    3825156096 .571 .363 40730624
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i 906    874    4133990400 .592 .380 40865792
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i 917    888    4176162816 .575 .348 40841216
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 902    874    3944742912 .616 .382 39776256
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i 902    879    4041224192 .588 .382 40701952
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i 915    883    4105875456 .561 .341 39567360
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i 915    882    4106362880 .551 .343 39817216
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i 907    872    4171722752 .590 .370 40525824
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i 902    867    4070969344 .593 .361 40456192
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i 903    878    3967901696 .596 .363 39886848
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i 901    877    3874156544 .575 .360 39477248
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i 910    877    4274221056 .555 .334 39915520
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i 902    883    3892862976 .595 .371 41140224
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i 521    452    4649295872 .559 .338 40218624
termination-memory-alloca/bubblesort-alloca_true-termination.c.i 8.28 4.42 428457984 .570 .353 42303488
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i 902    880    3933278208 .586 .365 39518208
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i 901    861    4264398848 .588 .353 41623552
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i 901    879    4042944512 .579 .358 40525824
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i 917    886    4145287168 .556 .347 40054784
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i 903    870    4071788544 .582 .372 40398848
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i 917    882    4174770176 .556 .357 40574976
termination-memory-alloca/count_down-alloca_true-termination.c.i 19.6  10.1  765583360 .574 .351 40574976
termination-memory-alloca/cstrcat-alloca_true-termination.c.i 901    856    3994288128 .571 .348 39948288
termination-memory-alloca/cstrchr-alloca_true-termination.c.i 31.4  16.1  1408270336 .592 .351 41603072
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i 901    875    3654475776 .589 .359 41410560
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i 901    834    4301070336 .568 .354 40034304
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i 901    879    3678478336 .585 .375 39981056
termination-memory-alloca/cstrlen-alloca_true-termination.c.i 23.2  12.0  966164480 .572 .364 39931904
termination-memory-alloca/cstrncat-alloca_true-termination.c.i 901    832    4291092480 .549 .346 40083456
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i 901    877    3635482624 .575 .346 40235008
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i 887    792    4398063616 .572 .364 40804352
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i 901    879    3681640448 .581 .348 41254912
termination-memory-alloca/cstrspn-alloca_true-termination.c.i 901    879    3670900736 .575 .351 39821312
termination-memory-alloca/diff-alloca_true-termination.c.i 42.2  33.7  896876544 .581 .367 40710144
termination-memory-alloca/easySum-alloca_true-termination.c.i 905    875    4085919744 .599 .374 41168896
termination-memory-alloca/ex1-alloca_true-termination.c.i 4.75 2.62 256782336 .589 .366 40681472
termination-memory-alloca/ex2-alloca_true-termination.c.i 903    880    4053635072 .592 .375 39718912
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i 4.33 2.39 257875968 .569 .346 41246720
termination-memory-alloca/ex3b-alloca_true-termination.c.i 4.13 2.28 254869504 .580 .368 40222720
termination-memory-alloca/fermat-alloca_true-termination.c.i 4.62 2.48 277696512 .561 .334 40300544
termination-memory-alloca/flag-alloca_true-termination.c.i 905    879    3998621696 .604 .378 41410560
termination-memory-alloca/gcd1-alloca_true-termination.c.i 901    871    3814830080 .583 .359 41082880
termination-memory-alloca/genady-alloca_true-termination.c.i 901    861    4000972800 .570 .351 40566784
termination-memory-alloca/insertionsort-alloca_true-termination.c.i 12.0  6.31 603766784 .583 .347 40251392
termination-memory-alloca/java_AG313-alloca_true-termination.c.i 902    872    4058259456 .572 .357 41914368
termination-memory-alloca/java_Break-alloca_true-termination.c.i 901    865    3854036992 .558 .348 39878656
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i 9.49 5.00 447172608 .605 .368 41304064
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i 400    322    4767072256 .561 .352 40210432
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i 901    864    3837296640 .572 .344 41086976
termination-memory-alloca/java_Nested-alloca_true-termination.c.i 903    874    4068732928 .556 .347 39620608
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i 912    873    4232945664 .566 .345 40022016
termination-memory-alloca/lis-alloca_true-termination.c.i 901    868    4039811072 .582 .360 40132608
termination-memory-alloca/min_rf-alloca_true-termination.c.i 905    869    4194373632 .575 .352 41115648
termination-memory-alloca/mult_array-alloca_true-termination.c.i 4.20 2.31 258183168 .588 .366 41320448
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i 7.87 4.14 429912064 .564 .353 40038400
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i 6.92 3.70 422805504 .564 .357 40247296
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i 6.81 3.62 378241024 .576 .356 40349696
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i 6.72 3.60 366444544 .591 .351 42082304
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i 397    342    4348768256 .561 .351 40574976
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i 901    836    4212264960 .566 .346 40230912
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i 901    867    3973492736 .584 .363 41508864
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i 876    838    4125515776 .565 .359 40398848
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i 486    425    4553326592 .585 .361 39710720
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i 901    873    3243630592 .587 .361 41357312
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i 901    856    3841601536 .558 .350 40308736
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i 7.95 4.20 421330944 .575 .351 39964672
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i 901    833    4221165568 .594 .379 40628224
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i 629    602    4021460992 .570 .357 40361984
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i 901    814    4539928576 .590 .362 41861120
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i 8.64 4.53 417378304 .561 .371 39972864
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i 901    878    3069685760 .565 .351 40337408
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i 901    874    3660767232 .583 .356 40640512
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i 902    852    4163010560 .589 .355 41451520
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i 4.12 2.26 248709120 .568 .354 39862272
termination-memory-alloca/selectionsort-alloca_true-termination.c.i 436    409    14999998464 .614 .395 41340928
termination-memory-alloca/stroeder1-alloca_true-termination.c.i 6.07 3.29 299499520 .580 .353 42455040
termination-memory-alloca/stroeder2-alloca_true-termination.c.i 7.55 4.00 423493632 .577 .345 40366080
termination-memory-alloca/strreplace-alloca_true-termination.c.i 33.3  17.0  1363767296 .572 .351 40534016
termination-memory-alloca/subseq-alloca_true-termination.c.i 901    878    3639599104 .592 .361 41009152
termination-memory-alloca/substring-alloca_true-termination.c.i 902    870    4085547008 .563 .343 40280064
termination-memory-alloca/twisted-alloca_true-termination.c.i 901    874    4049526784 .568 .347 40779776
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i 4.14 2.30 248012800 .545 .351 39792640
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i 4.15 2.25 250605568 .573 .350 40804352
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i 8.99 4.75 443596800 4.55  2.44  255422464
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i 84.2  47.2  3801083904 .569 .340 40075264
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i 4.02 2.21 248168448 .564 .356 40677376
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i 4.20 2.28 250441728 .573 .356 41082880
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i 3.98 2.19 247812096 .572 .344 41709568
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i 85.8  48.4  3773636608 .563 .349 40153088
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i 84.7  48.8  3791912960 .555 .334 39948288
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i 4.23 2.29 249032704 .564 .343 40296448
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i 4.74 2.60 258224128 .561 .350 39874560
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i 4.10 2.27 250986496 .570 .347 40132608
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i 4.17 2.29 251146240 .583 .374 41574400
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i 4.18 2.26 250638336 .557 .338 39813120
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i 4.69 2.59 262205440 .604 .380 40230912
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i 14.3  7.47 586989568 .567 .354 41021440
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i 8.40 4.46 428150784 .596 .360 41652224
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i 5.39 2.97 256839680 .570 .357 41029632
termination-15/add_first_alloca_true-termination.c.i 13.2  7.54 465281024 .574 .360 39718912
termination-15/array05_alloca_true-termination.c.i 7.73 4.18 315580416 .595 .365 41431040
termination-15/array06_alloca_true-termination.c.i 7.24 3.93 325636096 .607 .386 41168896
termination-15/array07_alloca_true-termination.c.i 7.12 3.87 318750720 .603 .382 41164800
termination-15/array08_alloca_true-termination.c.i 901    824    4372815872 .595 .378 39985152
termination-15/array09_alloca_true-termination.c.i 901    836    4401635328 .572 .369 40370176
termination-15/array10_alloca_true-termination.c.i 7.43 4.04 325804032 .601 .389 40378368
termination-15/array12_alloca_true-termination.c.i 901    842    4632399872 .584 .356 40919040
termination-15/array13_alloca_true-termination.c.i 901    852    4288905216 .562 .352 39972864
termination-15/array16_alloca_fixed_true-termination.c.i 906    840    4790898688 .605 .372 39878656
termination-15/array17_alloca_true-termination.c.i 11.9  6.29 500330496 .569 .368 39612416
termination-15/array18_alloca_true-termination.c.i 901    825    4340195328 .571 .353 40669184
termination-15/count_up_alloca_true-termination.c.i 26.3  13.5  729686016 .591 .374 40366080
termination-15/count_up_and_down_alloca_true-termination.c.i 15.6  8.24 577769472 .597 .356 41029632
termination-15/cstrcat_diffterm_alloca_true-termination.c.i 901    872    3980013568 .550 .337 40308736
termination-15/cstrcat_malloc_true-termination.c.i 901    871    3978780672 .561 .352 40644608
termination-15/cstrcat_mixed_alloca_true-termination.c.i 901    874    3979341824 .641 .390 40034304
termination-15/cstrcat_reverse_alloca_true-termination.c.i 904    815    5053972480 .571 .358 40456192
termination-15/cstrchr_diffterm_alloca_true-termination.c.i 24.1  12.4  918343680 .623 .398 41996288
termination-15/cstrchr_malloc_true-termination.c.i 34.4  17.7  1322721280 .570 .352 39907328
termination-15/cstrchr_reverse_alloca_true-termination.c.i 14.2  7.36 645820416 .580 .379 39591936
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i 901    880    3645636608 .602 .383 40275968
termination-15/cstrcmp_malloc_true-termination.c.i 901    876    3659526144 .568 .369 40243200
termination-15/cstrcmp_mixed_alloca_true-termination.c.i 893    867    3660840960 .573 .349 39596032
termination-15/cstrcmp_reverse_alloca_true-termination.c.i 895    869    3657973760 .573 .360 40615936
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i 149    129    3494907904 .577 .356 41037824
termination-15/cstrcpy_malloc_true-termination.c.i 150    131    3507666944 .573 .360 41693184
termination-15/cstrcpy_mixed_alloca_true-termination.c.i 149    130    3508215808 .559 .358 40308736
termination-15/cstrcpy_reverse_alloca_true-termination.c.i 152    134    3614187520 .582 .354 40964096
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i 901    878    3685609472 .557 .352 39608320
termination-15/cstrcspn_malloc_true-termination.c.i 901    874    3673681920 .578 .353 41992192
termination-15/cstrcspn_mixed_alloca_true-termination.c.i 305    276    3686014976 .558 .339 40062976
termination-15/cstrcspn_reverse_alloca_true-termination.c.i 901    877    3669139456 .578 .353 40345600
termination-15/cstrlen_diffterm_alloca_true-termination.c.i 19.3  10.0  937148416 .568 .352 40652800
termination-15/cstrlen_malloc_true-termination.c.i 27.4  14.0  976928768 .565 .351 40828928
termination-15/cstrlen_reverse_alloca_true-termination.c.i 34.8  17.9  1367986176 .589 .361 41308160
termination-15/cstrncat_diffterm_alloca_true-termination.c.i 901    830    4255326208 .576 .352 40136704
termination-15/cstrncat_malloc_true-termination.c.i 901    835    4259295232 .566 .347 40595456
termination-15/cstrncat_mixed_alloca_true-termination.c.i 901    854    3936342016 .595 .373 39927808
termination-15/cstrncat_reverse_alloca_true-termination.c.i 901    818    4349706240 .566 .347 41144320
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i 901    881    3658334208 .548 .355 39866368
termination-15/cstrncmp_malloc_true-termination.c.i 901    878    3664805888 .590 .382 39743488
termination-15/cstrncmp_mixed_alloca_true-termination.c.i 901    876    3658600448 .570 .351 40189952
termination-15/cstrncmp_reverse_alloca_true-termination.c.i 901    876    3661783040 .588 .360 40128512
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i 901    818    4274122752 .586 .366 39436288
termination-15/cstrncpy_malloc_true-termination.c.i 653    580    4174385152 .568 .355 40747008
termination-15/cstrncpy_mixed_alloca_true-termination.c.i 901    825    4175958016 .681 .417 40230912
termination-15/cstrncpy_reverse_alloca_true-termination.c.i 901    826    4194455552 .547 .335 39501824
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i 901    878    3686875136 .621 .392 41943040
termination-15/cstrpbrk_malloc_true-termination.c.i 901    880    3690848256 .587 .358 42364928
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i 306    273    3684732928 .567 .355 40660992
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i 901    871    3681222656 .565 .358 40579072
termination-15/cstrspn_diffterm_alloca_true-termination.c.i 901    874    3679883264 .612 .380 40873984
termination-15/cstrspn_malloc_true-termination.c.i 901    878    3680145408 .566 .346 41005056
termination-15/cstrspn_mixed_alloca_true-termination.c.i 296    265    3694444544 .592 .359 40173568
termination-15/cstrspn_reverse_alloca_true-termination.c.i 901    873    3681738752 .672 .409 40423424
termination-15/array04_alloca_false-termination.c.i 7.81 4.24 348311552 4.47  2.45  259411968
termination-15/array14_alloca_false-termination.c.i 901    855    4315914240 .577 .359 40837120
termination-15/array15_alloca_false-termination.c.i 901    859    4293038080 .566 .358 40386560
termination-15/array16_alloca_original_false-termination.c.i 901    813    4766396416 .593 .384 39981056
termination-15/array19_alloca_false-termination.c.i 7.36 4.03 343990272 4.41  2.38  257110016
termination-15/array20_alloca_false-termination.c.i 7.28 3.95 294133760 .603 .389 40996864
termination-recursive-malloc/chunk1_true-termination.c.i 3.64 2.02 263757824 .571 .367 40394752
termination-recursive-malloc/chunk2_true-termination.c.i 3.85 2.11 265252864 .576 .349 40243200
termination-recursive-malloc/chunk3_true-termination.c.i 3.78 2.13 265199616 .566 .343 40431616
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i 4.38 2.48 265768960 .581 .358 40034304
termination-recursive-malloc/mergeSort_true-termination.c.i 3.81 2.13 264949760 .562 .343 39841792
termination-recursive-malloc/mutual_simple2_true-termination.c.i 3.91 2.13 265080832 .567 .342 40095744
termination-recursive-malloc/mutual_simple_true-termination.c.i 3.59 2.02 264601600 .567 .355 39940096
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i 3.57 2.00 266219520 .578 .361 39686144
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i 3.79 2.11 264712192 .578 .349 42328064
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i 3.74 2.06 266018816 .557 .348 40681472
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i 3.74 2.08 265199616 .559 .351 39706624
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i 3.87 2.13 266014720 .612 .392 40697856
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i 3.79 2.08 267231232 .610 .382 41324544
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i 3.85 2.10 267571200 .581 .351 41435136
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i 3.65 2.03 265224192 .579 .350 40775680
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i 4.37 2.41 265441280 .565 .343 40345600
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i 3.82 2.10 264712192 .579 .352 39710720
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i 3.76 2.08 266256384 .580 .355 42229760
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i 3.74 2.10 262746112 .565 .346 40747008
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i 3.55 1.98 265158656 .567 .346 40984576
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i 3.57 2.01 265334784 .563 .345 40038400
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i 3.91 2.19 266084352 .570 .345 40095744
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i 3.88 2.14 266653696 .568 .352 39964672
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i 3.90 2.19 265482240 .551 .351 39333888
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i 3.80 2.10 265531392 .559 .345 39718912
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i 3.72 2.06 264163328 .592 .379 39858176
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i 4.37 2.42 266326016 .602 .371 41369600
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 3.74 2.07 265211904 .595 .372 40767488
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 3.52 1.98 264245248 .565 .369 39587840
array-examples/standard_sentinel_true-unreach-call_true-termination.i 3.61 2.02 263184384 .587 .362 40706048
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 3.51 1.98 263647232 .574 .355 41086976
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 3.62 2.02 265814016 .573 .351 40218624
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 4.19 2.33 264417280 .580 .350 40939520
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 3.62 2.04 263942144 .564 .342 40132608
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 3.69 2.01 264544256 .569 .362 40239104
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 905    875    4145405952 .575 .363 41603072
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 3.80 2.10 265502720 .569 .345 40345600
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 4.16 2.35 275714048 3.66  2.04  247406592
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 4.44 2.46 274350080 3.60  2.00  245338112
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 4.42 2.45 277716992 4.01  2.18  249589760
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 4.44 2.45 276688896 3.99  2.20  250408960
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 4.91 2.66 277098496 4.14  2.25  249106432
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 919    772    10774491136 .567 .353 40038400
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 916    768    10766589952 .590 .372 40333312
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 906    882    3871367168 .597 .372 40222720
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 82.8  77.1  497012736 .613 .381 41361408
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 62.6  32.2  2337243136 5.99  3.20  279330816
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 32.8  16.8  1396240384 5.83  3.11  275255296
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 8.54 4.53 437964800 .572 .343 41037824
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 8.00 4.25 433487872 .596 .361 40161280
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.98 4.27 423358464 .550 .351 39948288
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 8.43 4.48 427249664 .574 .347 40210432
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 7.57 4.03 421867520 .579 .348 39800832
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.86 2.11 264667136 .557 .340 40304640
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 3.54 1.99 266366976 .614 .383 41517056
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 3.59 2.01 266596352 .617 .386 40792064
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 4.01 2.21 265240576 .582 .371 40112128
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 3.54 1.98 265863168 .550 .345 40353792
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 3.65 2.02 266526720 .579 .353 42373120
bitvector-regression/signextension2_false-unreach-call_true-termination.c 3.72 2.06 264155136 .600 .383 40775680
bitvector-regression/signextension2_true-unreach-call_true-termination.c 3.68 2.06 265834496 .563 .348 40382464
bitvector-regression/signextension_false-unreach-call_true-termination.c 4.57 2.53 265625600 .579 .355 39972864
bitvector-regression/signextension_true-unreach-call_true-termination.c 3.67 2.00 258789376 .575 .345 40058880
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 904    863    4283199488 .558 .343 41164800
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.01 3.72 326385664 .556 .339 40574976
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.79 4.09 332955648 .552 .348 39743488
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 17.1  8.88 656457728 .594 .382 40165376
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.96 3.22 269897728 .614 .383 41222144
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.65 3.09 266108928 .570 .352 40718336
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.38 3.43 281161728 .571 .350 41992192
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.19 3.35 280178688 .596 .370 40284160
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.32 2.36 268333056 .578 .353 39702528
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.78 2.61 262459392 .585 .375 40558592
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.70 2.55 253837312 .588 .369 40628224
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 901    856    4075261952 .563 .345 41611264
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 901    856    4321251328 .556 .348 39788544
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 901    844    4543500288 .582 .348 41426944
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 901    836    4336189440 .571 .347 40529920
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 795    750    4162007040 9.12  4.72  407932928
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 901    857    4337160192 .570 .358 40484864
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 901    862    4145831936 .590 .363 40148992
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 19.7  10.1  628379648 5.68  3.04  286572544
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 8.44 4.46 435515392 4.59  2.47  256512000
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 901    859    3961896960 .546 .343 40091648
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 782    738    4388790272 8.52  4.44  411664384
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 901    858    4534050816 .573 .358 40701952
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 901    859    4684402688 .576 .346 41246720
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 901    846    4596137984 .560 .352 40202240
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 901    862    3113279488 .602 .383 40534016
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 902    859    4892545024 .593 .366 40665088
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 188    147    4109623296 8.96  4.66  417599488
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 902    845    4599508992 .571 .346 40218624
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 901    841    4571672576 .593 .364 41119744
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 901    841    4190162944 .587 .370 40656896
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 901    845    4313841664 .603 .370 41349120
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 901    847    4236107776 .567 .362 39591936
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 901    853    4236283904 .599 .388 40091648
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 901    839    4850712576 .594 .375 40505344
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 901    854    3984457728 .592 .379 40329216
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 13.6  7.07 577134592 4.85  2.65  253370368
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 20.1  10.4  996327424 5.05  2.72  260337664
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 24.7  13.5  1226092544 5.23  2.83  258224128
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 44.3  24.5  2324840448 5.41  2.89  258367488
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 6.19 3.32 309411840 5.23  2.81  258904064
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 70.7  43.4  3808518144 5.19  2.79  259203072
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 47.3  26.5  2191110144 5.60  3.00  274165760
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 104    74.8  4930199552 5.37  2.87  261701632
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 5.29 2.90 279568384 4.37  2.39  254898176
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 6.13 3.32 295313408 4.70  2.54  254545920
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 6.46 3.49 366878720 4.57  2.47  251686912
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 7.44 3.97 422699008 4.93  2.61  255057920
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 10.6  5.58 449867776 4.82  2.59  253689856
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 162    109    3887095808 .579 .357 40062976
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 904    844    4715610112 .570 .367 39378944
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 27.5  14.0  873078784 16.0   8.21  526708736
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 28.2  14.4  895746048 16.9   8.67  538705920
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 28.3  14.4  851255296 15.9   8.18  519106560
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 30.5  15.5  875692032 15.7   8.10  525860864
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 28.0  14.2  865837056 16.3   8.35  529088512
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 27.0  13.8  868691968 15.6   8.00  510320640
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 28.2  14.4  885694464 15.9   8.15  522600448
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 28.4  14.5  835379200 16.3   8.38  522686464
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 28.0  14.3  863506432 15.9   8.14  519806976
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 28.5  14.5  850784256 16.4   8.43  525344768
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 27.9  14.2  834260992 16.6   8.52  524107776
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 28.1  14.3  851316736 16.9   8.70  532357120
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 27.6  14.1  835436544 16.1   8.27  521134080
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 28.0  14.3  847114240 16.3   8.39  529481728
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 28.4  14.5  840499200 16.8   8.58  545009664
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 27.4  14.0  844369920 15.7   8.06  519278592
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 28.5  14.5  835469312 16.3   8.35  516210688
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 28.8  14.7  888639488 17.8   9.13  534339584
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 30.0  15.3  888520704 16.2   8.29  526614528
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 27.8  14.1  854908928 17.4   8.94  511823872
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 28.4  14.4  873648128 16.0   8.20  522702848
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 28.0  14.2  876912640 16.3   8.35  522080256
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 28.4  14.5  830730240 15.9   8.16  517005312
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 27.7  14.1  878854144 15.9   8.17  522944512
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 27.6  14.0  897241088 16.6   8.52  529084416
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 28.2  14.3  841728000 15.9   8.16  512425984
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 28.3  14.4  889303040 16.1   8.25  510054400
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 28.4  14.5  881528832 16.2   8.32  526663680
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 28.4  14.4  841588736 16.3   8.37  520318976
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 28.2  14.3  840998912 16.6   8.50  532762624
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 30.7  15.7  857554944 16.2   8.31  516177920
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 27.9  14.2  834654208 16.3   8.37  539185152
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 33.5  17.0  881762304 17.1   8.74  565448704
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 30.1  15.3  867676160 16.6   8.50  520298496
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 28.4  14.5  883851264 16.3   8.39  521154560
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 27.3  13.9  835780608 16.7   8.60  535740416
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 27.8  14.2  844509184 16.4   8.41  518631424
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 27.7  14.1  846524416 15.8   8.08  517713920
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 27.6  14.1  840859648 15.7   8.08  519467008
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 28.3  14.4  856305664 16.1   8.28  533438464
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 28.0  14.3  856612864 16.4   8.44  523935744
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 29.8  15.2  885780480 16.5   8.45  526049280
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 27.9  14.2  849850368 16.4   8.42  523071488
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 28.6  14.6  867328000 16.2   8.30  515166208
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 27.6  14.1  882987008 16.1   8.22  523530240
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 30.0  15.3  865046528 16.3   8.38  528814080
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 27.6  14.1  873525248 16.3   8.36  520683520
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 27.5  14.0  853401600 16.6   8.53  523317248
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 28.2  14.3  887787520 15.9   8.15  515252224
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 26.9  13.7  842428416 16.0   8.25  522936320
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 29.0  14.8  892215296 15.6   8.04  512704512
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 28.5  14.5  864296960 15.5   7.98  519438336
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 27.9  14.2  878104576 16.4   8.38  516886528
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 28.4  14.5  873279488 15.8   8.09  514895872
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 27.7  14.1  870756352 15.4   7.90  519380992
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 28.0  14.3  886931456 17.3   8.92  530079744
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 28.8  14.7  839598080 16.0   8.24  546869248
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 27.9  14.2  840929280 16.2   8.33  520318976
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 30.9  15.8  849297408 16.5   8.48  545533952
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 27.9  14.2  854335488 15.8   8.12  516714496
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 23.4  12.0  660172800 15.6   8.06  522907648
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 22.8  11.6  677728256 15.8   8.11  514117632
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 22.2  11.4  669523968 15.4   7.91  513695744
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 25.0  12.8  661934080 15.0   7.70  520192000
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 23.2  11.9  654655488 15.6   7.98  519254016
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 27.7  14.2  679415808 15.1   7.82  515284992
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 22.9  11.7  661078016 15.8   8.14  533352448
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 23.2  11.8  679120896 14.9   7.68  528953344
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 22.6  11.6  654520320 15.9   8.14  528891904
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 22.3  11.5  664199168 14.8   7.65  519806976
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 22.8  11.7  664969216 15.1   7.75  512417792
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 22.8  11.7  674541568 15.6   8.02  517681152
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 22.6  11.6  669843456 15.2   7.87  517951488
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 23.3  11.9  645206016 15.6   7.99  531992576
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 22.8  11.6  661995520 15.2   7.83  540729344
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 22.5  11.5  655745024 15.4   7.89  515051520
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 23.7  12.1  660025344 15.0   7.72  523894784
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 22.8  11.7  682602496 15.5   7.96  512303104
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 23.5  12.0  667889664 15.6   8.04  524353536
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 22.1  11.3  661381120 15.7   8.07  526336000
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 23.2  11.8  659447808 15.6   8.04  513871872
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 22.7  11.6  656351232 15.8   8.08  520810496
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 22.9  11.7  671678464 15.5   7.95  520269824
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 24.1  12.3  671916032 15.4   7.86  515620864
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 24.6  12.6  660639744 15.9   8.15  520142848
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 22.7  11.6  662069248 14.8   7.68  526868480
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 23.0  11.8  658296832 15.6   8.03  532058112
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 22.1  11.3  669237248 16.1   8.27  529637376
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 21.9  11.2  672022528 15.8   8.11  518205440
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 23.6  12.1  655532032 15.4   7.93  532488192
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 23.0  11.7  659750912 15.7   8.07  518451200
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 22.9  11.6  662683648 15.2   7.87  514662400
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 22.2  11.3  665518080 16.1   8.31  552222720
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 22.8  11.7  676061184 15.6   8.03  531394560
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 22.7  11.6  678600704 16.0   8.25  534536192
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 23.3  11.9  665935872 15.6   7.98  522805248
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 22.1  11.3  650960896 15.7   8.08  526024704
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 23.1  11.8  661712896 15.4   7.90  522997760
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 22.6  11.6  664694784 15.5   7.94  521265152
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 22.2  11.3  648380416 15.4   7.95  517804032
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 23.1  11.8  667947008 15.9   8.19  531423232
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 23.1  11.8  680243200 15.2   7.83  521289728
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 22.6  11.6  660901888 16.2   8.33  526520320
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 22.1  11.3  661852160 15.1   7.76  526172160
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 22.8  11.6  644972544 15.0   7.74  522313728
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 23.0  11.8  671313920 15.6   8.01  525377536
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 23.1  11.9  661610496 16.0   8.21  523993088
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 23.7  12.1  669913088 15.8   8.16  519032832
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 22.3  11.4  678010880 15.1   7.79  516653056
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 23.7  12.1  662474752 15.2   7.84  530714624
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 23.5  12.0  662360064 15.4   7.97  530006016
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 23.9  12.2  666025984 15.6   8.03  512323584
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 24.4  12.5  668921856 15.1   7.76  531050496
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 28.0  14.3  656293888 15.9   8.19  520134656
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 22.0  11.3  664952832 15.5   7.97  528261120
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 23.0  11.8  670453760 15.5   7.99  548503552
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 22.3  11.4  659795968 15.3   7.88  523837440
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 23.0  11.7  658272256 15.8   8.16  528805888
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 22.8  11.7  652627968 15.9   8.18  521162752
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 24.5  12.6  670572544 15.6   8.04  533487616
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 152    108    3909988352 85.9   46.6   2199347200
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 152    109    3841331200 83.4   45.6   2465116160
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 148    105    3699056640 83.4   45.8   2166329344
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 146    106    4001890304 84.2   46.2   2178981888
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 186    132    3605471232 81.6   44.8   2281492480
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 151    108    3718467584 90.0   48.3   2137395200
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 169    122    3801219072 84.3   45.9   1944285184
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 142    104    4101881856 88.1   47.1   2172768256
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 182    130    3595243520 82.8   45.2   2223099904
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 153    109    3603120128 99.4   54.2   2514161664
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 156    111    4039643136 95.2   50.4   2124378112
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 158    111    3890475008 85.3   46.2   2253062144
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 151    110    3729666048 80.5   44.4   2511941632
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 155    110    3906519040 87.0   47.0   2011095040
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 159    114    3803422720 84.9   46.3   2174443520
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 144    106    3841388544 85.6   46.4   2307825664
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 148    109    3773255680 85.3   46.1   2779099136
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 151    108    4047081472 91.5   48.3   2327564288
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 153    111    3820806144 86.6   46.5   2315829248
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c 901    864    3784155136 .554 .337 39038976
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c 901    861    3741388800 .563 .358 40718336
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 901    866    3614621696 .589 .367 41840640
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c 901    865    3771097088 .567 .357 40431616
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c 901    859    3729993728 .582 .355 41349120
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c 901    865    3801337856 .576 .370 40620032
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c 901    862    3769405440 .570 .359 40996864
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c 901    862    3772846080 .574 .354 40337408
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 901    862    3748958208 .567 .344 39735296
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c 902    861    3722526720 .588 .365 41144320
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 901    863    3887607808 .557 .344 40091648
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 901    860    3807563776 .579 .346 40898560
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 901    861    3761270784 .558 .343 40005632
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 901    866    3814567936 .567 .353 39395328
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 901    863    3781115904 .586 .354 42414080
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c 901    855    3780718592 .545 .341 40697856
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c 901    858    3680956416 .556 .346 40046592
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c 901    861    3779125248 .582 .380 41373696
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 901    865    3801346048 .574 .363 40460288
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c 901    865    3748491264 .585 .354 41750528
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c 901    855    3845578752 .564 .353 40112128
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c 901    863    3764736000 .581 .372 40595456
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 901    862    3761086464 .580 .367 39731200
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c 901    865    3804266496 .607 .380 40083456
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c 901    857    3708874752 .588 .385 40116224
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c 901    857    3742281728 .602 .371 41779200
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c 901    860    3724210176 .614 .396 41046016
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 901    866    3736342528 .570 .346 42598400
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 901    860    3769978880 .565 .344 40005632
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 901    863    3729866752 .568 .366 42143744
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c 901    862    3745972224 .560 .348 39268352
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 901    865    3792068608 .562 .340 40337408
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c 901    861    3876597760 .576 .348 41074688
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c 901    862    3840090112 .587 .372 40378368
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 901    860    3772301312 .575 .353 40415232
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c 901    864    3801448448 .545 .339 40677376
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c 902    864    3770994688 .553 .344 39862272
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 901    868    3749412864 .585 .349 40914944
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c 901    856    3769257984 .553 .338 39690240
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 901    862    3825831936 .567 .341 39706624
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 901    862    3783413760 .564 .344 40148992
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 901    860    3777794048 .593 .370 41672704
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c 901    862    3802652672 .566 .352 40165376
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 901    866    3778863104 .579 .373 39522304
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 901    860    3795533824 .578 .360 40079360
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c 901    862    3750006784 .580 .350 40038400
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c 901    861    3795316736 .563 .347 40316928
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c 901    866    3748999168 .548 .339 40017920
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c 901    863    3760435200 .582 .364 40824832
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c 901    860    3762782208 .561 .353 40247296
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c 901    863    3752157184 .575 .364 41590784
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c 901    864    3629809664 .600 .382 40738816
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 901    861    3787722752 .552 .340 39747584
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c 901    865    3754319872 .569 .346 41975808
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 901    865    3855032320 .633 .397 39686144
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c 901    859    3683942400 .591 .374 40869888
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 901    861    3734790144 .620 .389 41906176
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 901    861    3795677184 .579 .353 41025536
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 901    862    3776749568 .553 .338 40153088
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c 901    863    3783782400 .593 .382 41656320
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 105    59.9  3436974080 .602 .378 40083456
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c 84.4  47.1  3943350272 34.5   21.7   2295230464
psyco/psyco_io_1_true-unreach-call_false-termination.c 9.01 4.72 438706176 9.83  5.13  421511168
psyco/psyco_math_1_true-unreach-call_false-termination.c 10.7  5.61 361549824 7.16  3.74  298336256
psyco/psyco_net_1_false-unreach-call_false-termination.c 125    101    10956836864 .597 .384 40599552
psyco/psyco_security_true-unreach-call_false-termination.c 13.2  6.83 471064576 6.41  3.37  288325632
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i 3.90 2.16 265674752 .572 .365 41058304
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i 3.70 2.08 265236480 .561 .350 41009152
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i 3.66 2.02 264933376 .579 .373 41549824
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i 3.71 2.10 264773632 .575 .353 40361984
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i 3.81 2.10 265687040 .585 .372 41349120
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i 3.65 2.05 264626176 .601 .392 40525824
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i 3.79 2.11 267157504 .565 .351 40054784
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i 3.73 2.07 267366400 .599 .377 40370176
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i 3.55 2.01 263376896 .540 .331 39755776
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i 4.03 2.23 265945088 .561 .343 39989248
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i 3.61 2.02 264523776 .573 .361 40116224
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i 4.01 2.25 265043968 .598 .371 41832448
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i 3.56 2.01 259661824 .598 .374 39825408
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i 3.85 2.14 263667712 .609 .386 41017344
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i 3.72 2.05 264273920 .578 .349 40304640
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i 3.73 2.06 264413184 .560 .346 40529920
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i 3.71 2.10 266145792 .599 .355 41938944
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i 3.97 2.20 265363456 .562 .361 39542784
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i 3.79 2.11 265207808 .582 .375 40333312
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i 3.74 2.12 264986624 .596 .362 41431040
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i 3.86 2.13 266272768 .571 .355 40361984
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i 3.92 2.17 266244096 .578 .348 40521728
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i 3.72 2.06 266108928 .571 .350 40701952
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i 3.74 2.08 265682944 .596 .376 41775104
floats-cdfpl/sine_1_false-unreach-call_true-termination.i 3.70 2.05 264953856 .559 .351 39927808
floats-cdfpl/sine_2_false-unreach-call_true-termination.i 4.22 2.34 265293824 .581 .360 41418752
floats-cdfpl/sine_3_false-unreach-call_true-termination.i 3.78 2.08 265089024 .574 .347 41324544
floats-cdfpl/sine_4_true-unreach-call_true-termination.i 3.83 2.12 264445952 .612 .381 40177664
floats-cdfpl/sine_5_true-unreach-call_true-termination.i 3.59 1.99 265310208 .567 .347 40034304
floats-cdfpl/sine_6_true-unreach-call_true-termination.i 3.61 2.02 264544256 .563 .345 39989248
floats-cdfpl/sine_7_true-unreach-call_true-termination.i 3.69 2.03 265043968 .571 .351 40251392
floats-cdfpl/sine_8_true-unreach-call_true-termination.i 3.57 1.99 266014720 .569 .350 40116224
floats-cdfpl/square_1_false-unreach-call_true-termination.i 3.57 2.00 264839168 .538 .331 39436288
floats-cdfpl/square_2_false-unreach-call_true-termination.i 3.48 1.98 265089024 .577 .344 40824832
floats-cdfpl/square_3_false-unreach-call_true-termination.i 3.60 2.04 265084928 .596 .367 41562112
floats-cdfpl/square_4_true-unreach-call_true-termination.i 4.70 2.58 265293824 .636 .400 40370176
floats-cdfpl/square_5_true-unreach-call_true-termination.i 3.75 2.07 265986048 .580 .363 40919040
floats-cdfpl/square_6_true-unreach-call_true-termination.i 3.61 2.04 264073216 .629 .386 40275968
floats-cdfpl/square_7_true-unreach-call_true-termination.i 4.17 2.27 264491008 .560 .355 40566784
floats-cdfpl/square_8_true-unreach-call_true-termination.i 3.66 2.03 265510912 .588 .369 40259584
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i 4.25 2.39 263737344 .573 .375 39550976
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i 3.76 2.07 265404416 .577 .347 40484864
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i 3.77 2.08 263856128 .597 .373 41181184
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i 3.62 2.02 259760128 .561 .348 41426944
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i 3.67 2.04 265760768 .557 .336 40067072
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i 3.66 2.04 264347648 .586 .353 41422848
floats-cbmc-regression/float11_true-unreach-call_true-termination.i 3.55 1.98 264904704 .563 .350 40574976
floats-cbmc-regression/float12_true-unreach-call_true-termination.i 3.78 2.10 264245248 .563 .351 40034304
floats-cbmc-regression/float13_true-unreach-call_true-termination.i 3.65 2.03 263241728 .559 .348 41340928
floats-cbmc-regression/float1_true-unreach-call_true-termination.i 3.60 2.00 264409088 .561 .351 40824832
floats-cbmc-regression/float20_true-unreach-call_true-termination.i 3.64 2.05 264474624 .570 .348 40529920
floats-cbmc-regression/float22_true-unreach-call_true-termination.i 3.97 2.19 266485760 .570 .349 40800256
floats-cbmc-regression/float2_true-unreach-call_true-termination.i 3.65 2.02 266596352 .560 .350 39768064
floats-cbmc-regression/float3_true-unreach-call_true-termination.i 3.81 2.12 264568832 .563 .342 40054784
floats-cbmc-regression/float5_true-unreach-call_true-termination.i 3.80 2.10 264167424 .572 .347 39899136
floats-cbmc-regression/float6_true-unreach-call_true-termination.i 3.88 2.17 264822784 .572 .363 40452096
ldv-regression/1_3_true-termination.c_false-unreach-call.i 3.81 2.10 265027584 .585 .353 42094592
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 3.67 2.07 264429568 .572 .347 40648704
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 3.54 2.00 263049216 .574 .356 40042496
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 3.62 2.03 265084928 .567 .346 40247296
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 3.86 2.14 264585216 .582 .371 40787968
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 4.39 2.40 251723776 .577 .364 40484864
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 3.60 2.01 263274496 .573 .361 40370176
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 902    876    3917807616 .573 .371 39653376
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 4.16 2.26 248885248 .596 .364 40304640
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 3.69 2.08 264962048 .584 .374 40542208
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 3.62 1.99 262656000 .586 .365 41463808
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 4.00 2.23 265613312 .598 .370 42029056
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 3.69 2.04 263458816 .560 .346 40144896
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 3.73 2.08 264839168 .602 .374 40439808
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 3.68 2.03 265252864 .601 .377 40751104
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 3.59 2.00 265351168 .590 .365 40759296
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 3.75 2.09 265486336 .583 .346 41369600
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 3.76 2.11 261672960 .571 .361 40001536
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 3.79 2.08 264925184 .585 .356 40890368
ldv-regression/nested_structure_true-unreach-call_true-termination.i 3.80 2.08 264765440 .581 .361 39772160
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 3.59 2.03 264142848 .568 .346 40378368
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 3.77 2.07 265445376 .578 .358 40828928
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 3.76 2.10 267239424 .587 .368 39800832
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 3.82 2.10 267276288 .598 .389 40587264
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 3.94 2.19 267165696 .557 .346 40226816
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 4.14 2.30 250748928 .576 .343 39444480
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 4.25 2.34 250339328 .572 .361 40030208
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 4.08 2.26 250728448 .581 .372 40910848
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 4.53 2.49 249815040 .577 .356 40370176
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 3.62 2.02 264523776 .576 .359 41877504
ldv-regression/test_address_true-termination.c_true-unreach-call.i 4.09 2.24 250798080 .568 .351 40710144
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 3.59 2.02 265162752 .586 .350 40263680
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 4.12 2.29 253546496 .594 .389 39849984
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 4.14 2.28 245923840 .583 .346 40046592
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 4.15 2.30 246067200 .568 .349 40529920
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 3.81 2.10 265736192 .569 .346 41328640
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 3.71 2.05 264531968 .549 .347 39546880
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 3.70 2.07 266092544 .560 .341 39870464
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 3.50 1.96 263778304 .570 .361 39518208
ldv-regression/test_union_true-termination.c_true-unreach-call.i 3.80 2.06 265048064 .552 .342 40304640
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 3.66 2.02 266014720 .566 .358 40148992
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 5.96 3.23 284942336 .582 .378 40648704
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 4.99 2.68 277241856 .575 .366 41250816
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 3.82 2.13 266059776 .591 .367 40759296
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 3.59 1.99 263954432 .605 .384 40673280
ldv-regression/stateful_check_false-unreach-call_false-termination.i 6.49 3.51 320008192 5.59  2.98  278863872
ldv-regression/test01_true-unreach-call_true-termination.c 3.51 1.99 265674752 .578 .365 41398272
ldv-regression/test02_false-unreach-call_true-termination.c 3.71 2.07 264765440 .551 .354 39927808
ldv-regression/test03_true-unreach-call_true-termination.c 3.82 2.09 265134080 .555 .345 40169472
ldv-regression/test04_true-unreach-call_true-termination.c 3.69 2.03 265162752 .575 .352 39989248
ldv-regression/test05_true-unreach-call_true-termination.c 3.76 2.09 264663040 .582 .356 40964096
ldv-regression/test06_false-unreach-call_true-termination.c 3.78 2.08 262131712 .568 .340 40308736
ldv-regression/test07_true-unreach-call_true-termination.c 4.06 2.24 264839168 .565 .359 40534016
ldv-regression/test08_false-unreach-call_true-termination.c 3.74 2.08 264765440 .568 .343 40366080
ldv-regression/test09_true-unreach-call_true-termination.c 3.53 1.98 264519680 .579 .356 41918464
ldv-regression/test10_true-unreach-call_true-termination.c 3.57 2.02 265809920 .581 .356 40308736
ldv-regression/test11_true-unreach-call_true-termination.c 3.63 2.03 265318400 .593 .367 41291776
ldv-regression/test12_false-unreach-call_true-termination.c 3.71 2.06 264904704 .573 .348 39862272
ldv-regression/test13_true-unreach-call_true-termination.c 3.77 2.07 265072640 .560 .345 39796736
ldv-regression/test14_true-unreach-call_true-termination.c 3.68 2.06 265322496 .551 .337 40538112
ldv-regression/test15_true-unreach-call_true-termination.c 3.77 2.06 266702848 .558 .343 40493056
ldv-regression/test16_true-unreach-call_true-termination.c 3.76 2.12 263409664 .557 .351 40701952
ldv-regression/test17_true-unreach-call_true-termination.c 3.58 1.98 264519680 .564 .353 40550400
ldv-regression/test18_true-unreach-call_true-termination.c 3.66 2.05 265760768 .549 .351 39448576
ldv-regression/test19_true-unreach-call_true-termination.c 3.63 2.01 263897088 .575 .351 40964096
ldv-regression/test20_true-unreach-call_true-termination.c 3.88 2.14 264343552 .594 .353 40742912
ldv-regression/test21_false-unreach-call_true-termination.c 3.82 2.14 266502144 .577 .352 41865216
ldv-regression/test21_true-unreach-call_true-termination.c 3.76 2.12 266387456 .595 .367 41033728
ldv-regression/test24_true-unreach-call_true-termination.c 906    870    4141449216 .574 .357 40554496
ldv-regression/test25_false-unreach-call_true-termination.c 901    875    3938095104 .565 .352 39874560
ldv-regression/test26_false-unreach-call_true-termination.c 3.63 2.00 264495104 .572 .343 40726528
ldv-regression/test26_true-unreach-call_true-termination.c 3.77 2.07 264835072 .561 .339 39841792
ldv-regression/test27_false-unreach-call_true-termination.c 901    883    3872526336 .579 .373 40083456
ldv-regression/test27_true-unreach-call_true-termination.c 901    881    3896770560 .601 .372 40947712
ldv-regression/test28_false-unreach-call_true-termination.c 3.88 2.17 265302016 .554 .340 39641088
ldv-regression/test28_true-unreach-call_true-termination.c 3.58 2.00 265175040 .559 .354 41037824
ldv-regression/test29_false-unreach-call_true-termination.c 3.72 2.06 264880128 .569 .341 39915520
ldv-regression/test29_true-unreach-call_true-termination.c 3.92 2.16 267407360 .554 .339 39755776
ldv-regression/test30_false-unreach-call_true-termination.c 3.68 2.04 262574080 .580 .370 39788544
ldv-regression/test30_true-unreach-call_true-termination.c 4.13 2.23 285376512 .557 .342 40620032
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i 38.5  19.8  1802387456 .600 .373 40259584
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i 4.44 2.40 271474688 .600 .374 39596032
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i 4.13 2.26 251068416 .600 .379 39817216
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i 4.12 2.27 252317696 .559 .350 40411136
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i 4.15 2.26 268693504 .558 .351 40263680
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 904    879    4047187968 .634 .395 40202240
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 902    873    4027629568 .550 .346 39899136
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i 901    879    4051025920 .599 .381 40665088
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i 901    872    4017922048 .598 .367 41254912
ldv-sets/test_add_false-unreach-call_true-termination.i 4.88 2.62 259776512 .576 .366 39739392
ldv-sets/test_add_true-unreach-call_true-termination.i 4.76 2.63 257970176 .606 .393 41209856
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i 8.60 4.57 340598784 .552 .354 39940096
loops/for_infinite_loop_1_true-unreach-call_false-termination.i 5.70 3.07 335585280 .601 .373 40906752
loops/for_infinite_loop_2_true-unreach-call_false-termination.i 5.56 3.02 328986624 .567 .344 40976384
loops/n.c11_true-unreach-call_false-termination.i 902    860    4207050752 .607 .386 42213376
loops/nec11_false-unreach-call_false-termination.i 752    712    4171763712 .599 .364 40992768
loops/sum03_true-unreach-call_false-termination.i 11.9  6.21 575987712 .577 .356 40546304
loops/trex04_true-unreach-call_false-termination.i 4.90 2.71 276037632 5.73  3.08  278409216
loops/while_infinite_loop_1_true-unreach-call_false-termination.i 4.08 2.29 273227776 3.77  2.08  245182464
loops/while_infinite_loop_2_true-unreach-call_false-termination.i 4.19 2.32 273948672 3.58  1.96  245825536
loops/while_infinite_loop_3_true-unreach-call_false-termination.i 4.19 2.32 274579456 3.78  2.07  245764096
loops/array_false-unreach-call_true-termination.i 909    874    4308221952 .564 .353 40771584
loops/array_true-unreach-call_true-termination.i 910    876    4528918528 .712 .438 40153088
loops/bubble_sort_true-unreach-call_true-termination.i 909    881    4332359680 .561 .341 39800832
loops/count_up_down_false-unreach-call_true-termination.i 5.31 2.88 282714112 .583 .379 39505920
loops/count_up_down_true-unreach-call_true-termination.i 5.20 2.81 290816000 .579 .365 40734720
loops/eureka_01_false-unreach-call_true-termination.i 905    879    4107403264 .592 .364 41209856
loops/eureka_05_true-unreach-call_true-termination.i 901    882    3895324672 .574 .348 40529920
loops/for_bounded_loop1_false-unreach-call_true-termination.i 8.02 4.31 422342656 .563 .350 39755776
loops/insertion_sort_false-unreach-call_true-termination.i 907    878    4281733120 .587 .359 39895040
loops/insertion_sort_true-unreach-call_true-termination.i 905    875    4188348416 .572 .371 40194048
loops/invert_string_false-unreach-call_true-termination.i 902    876    4117811200 .557 .338 39567360
loops/invert_string_true-unreach-call_true-termination.i 911    885    4291072000 .577 .355 40091648
loops/matrix_false-unreach-call_true-termination.i 902    877    4114534400 .543 .333 39673856
loops/matrix_true-unreach-call_true-termination.i 902    879    4113854464 .583 .357 41164800
loops/n.c40_true-unreach-call_true-termination.i 4.24 2.36 268853248 .567 .350 41385984
loops/nec20_false-unreach-call_true-termination.i 5.93 3.20 298917888 .581 .376 39542784
loops/nec40_true-unreach-call_true-termination.i 4.24 2.34 275177472 .557 .342 40300544
loops/string_false-unreach-call_true-termination.i 920    874    4362817536 .607 .388 41054208
loops/string_true-unreach-call_true-termination.i 911    870    4622831616 .572 .363 40800256
loops/sum01_bug02_false-unreach-call_true-termination.i 6.18 3.30 291315712 .593 .362 41766912
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 901    897    566435840 .565 .355 40013824
loops/sum01_false-unreach-call_true-termination.i 5.60 3.03 285741056 .568 .348 41254912
loops/sum01_true-unreach-call_true-termination.i 5.30 2.91 282808320 .588 .373 40456192
loops/sum03_false-unreach-call_true-termination.i 15.3  8.06 481579008 .570 .353 40529920
loops/sum04_false-unreach-call_true-termination.i 9.52 5.04 429805568 .584 .366 40624128
loops/sum04_true-unreach-call_true-termination.i 8.94 4.72 386240512 .588 .362 39673856
loops/terminator_01_false-unreach-call_true-termination.i 5.43 2.92 280018944 .573 .347 40800256
loops/terminator_02_false-unreach-call_true-termination.i 5.48 3.00 279801856 .570 .350 40226816
loops/terminator_02_true-unreach-call_true-termination.i 901    898    509243392 .576 .357 39841792
loops/terminator_03_false-unreach-call_true-termination.i 4.54 2.50 275070976 .580 .348 41115648
loops/terminator_03_true-unreach-call_true-termination.i 4.80 2.66 276353024 .558 .342 40259584
loops/trex01_false-unreach-call_true-termination.i 9.85 5.17 464494592 .575 .354 39383040
loops/trex01_true-unreach-call_true-termination.i 10.8  5.69 459513856 .578 .367 41496576
loops/trex02_false-unreach-call_true-termination.i 4.65 2.58 274210816 .572 .343 40906752
loops/trex02_true-unreach-call_true-termination.i 4.84 2.68 274984960 .561 .343 40005632
loops/trex03_false-unreach-call_true-termination.i 7.44 3.96 438218752 .595 .376 40452096
loops/trex03_true-unreach-call_true-termination.i 7.70 4.09 434618368 .559 .342 39759872
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i 4.05 2.27 270495744 .559 .343 39993344
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i 902    860    4270088192 .557 .355 40411136
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i 902    864    4259545088 .578 .352 40583168
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i 3.95 2.19 270139392 .636 .397 39972864
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i 902    864    4238917632 .576 .351 40009728
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 3.89 2.15 267276288 .567 .359 42143744
loop-acceleration/array_false-unreach-call1_true-termination.i 907    871    4212506624 .566 .343 40779776
loop-acceleration/array_false-unreach-call2_true-termination.i 905    877    4100997120 .578 .359 40648704
loop-acceleration/array_false-unreach-call3_true-termination.i 905    876    4146946048 .572 .340 41009152
loop-acceleration/array_true-unreach-call1_true-termination.i 909    877    4313190400 .577 .357 40267776
loop-acceleration/array_true-unreach-call2_true-termination.i 913    886    4231708672 .590 .381 40480768
loop-acceleration/array_true-unreach-call3_true-termination.i 906    872    4277313536 .592 .370 40525824
loop-acceleration/array_true-unreach-call4_true-termination.i 388    369    14999998464 .550 .337 40001536
loop-acceleration/diamond_true-unreach-call1_true-termination.i 901    809    4572205056 .566 .343 40382464
loop-acceleration/functions_false-unreach-call1_true-termination.i 4.77 2.64 274698240 .577 .349 40411136
loop-acceleration/functions_true-unreach-call1_true-termination.i 4.65 2.60 276758528 .564 .345 39755776
loop-acceleration/multivar_false-unreach-call1_true-termination.i 5.99 3.25 347205632 .566 .360 40259584
loop-acceleration/multivar_true-unreach-call1_true-termination.i 6.33 3.36 388161536 .569 .344 40615936
loop-acceleration/simple_false-unreach-call2_true-termination.i 4.29 2.37 273248256 .599 .390 40542208
loop-acceleration/simple_false-unreach-call3_true-termination.i 4.82 2.67 275185664 .597 .371 39772160
loop-acceleration/simple_true-unreach-call2_true-termination.i 4.31 2.39 272216064 .573 .346 40620032
loop-acceleration/simple_true-unreach-call3_true-termination.i 4.74 2.62 276385792 .567 .357 40071168
loop-acceleration/underapprox_false-unreach-call1_true-termination.i 6.40 3.43 418009088 .572 .352 40017920
loop-acceleration/underapprox_false-unreach-call2_true-termination.i 7.27 3.90 412348416 .621 .388 40792064
loop-acceleration/underapprox_true-unreach-call1_true-termination.i 6.32 3.42 409047040 .568 .357 39788544
loop-acceleration/underapprox_true-unreach-call2_true-termination.i 6.91 3.68 404287488 .574 .350 41332736
loop-acceleration/phases_false-unreach-call2_false-termination.i 3.74 2.05 270966784 .576 .352 39628800
loop-acceleration/phases_true-unreach-call2_false-termination.i 3.84 2.11 270938112 .599 .364 40390656
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i 4.51 2.46 276082688 4.62  2.49  255025152
loop-invgen/string_concat-noarr_true-unreach-call_false-termination.i 902    875    5863825408 .586 .378 40964096
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i 6.43 3.54 378507264 .570 .352 40173568
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i 5.68 3.08 296177664 .573 .353 40292352
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i 34.4  17.6  1510232064 .600 .381 39677952
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i 9.74 5.10 452931584 .598 .370 40038400
loop-invgen/down_true-unreach-call_true-termination.i 6.65 3.59 353804288 .591 .349 41246720
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i 9.99 5.26 455553024 .567 .347 40062976
loop-invgen/half_2_true-unreach-call_true-termination.i 9.94 5.24 507211776 .570 .353 39841792
loop-invgen/heapsort_true-unreach-call_true-termination.i 5.41 2.97 280969216 .568 .344 41328640
loop-invgen/id_build_true-unreach-call_true-termination.i 8.51 4.56 442585088 .566 .357 40673280
loop-invgen/id_trans_false-unreach-call_true-termination.i 106    80.6  1974755328 .577 .363 40435712
loop-invgen/large_const_true-unreach-call_true-termination.i 8.07 4.27 431030272 .562 .345 41013248
loop-invgen/nest-if3_true-unreach-call_true-termination.i 7.20 3.90 420184064 .585 .350 41390080
loop-invgen/nested6_true-unreach-call_true-termination.i 9.19 4.84 440045568 .566 .350 40349696
loop-invgen/nested9_true-unreach-call_true-termination.i 12.2  6.40 451637248 .568 .343 39927808
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i 10.0  5.26 495419392 .572 .366 40247296
loop-invgen/seq_true-unreach-call_true-termination.i 18.4  9.54 818544640 .577 .345 41177088
loop-invgen/up_true-unreach-call_true-termination.i 7.02 3.78 386068480 .602 .387 39927808
loop-lit/afnp2014_true-unreach-call_true-termination.c.i 5.29 2.92 292245504 .572 .368 40005632
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i 5.79 3.15 311939072 .559 .354 39878656
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i 6.22 3.35 292888576 .553 .361 40120320
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i 5.01 2.75 286969856 .557 .341 40169472
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i 901    886    1779286016 .579 .379 40398848
loop-lit/css2003_true-unreach-call_true-termination.c.i 901    877    9275723776 .563 .346 40865792
loop-lit/gj2007_true-unreach-call_true-termination.c.i 685    663    14999998464 .578 .353 41279488
loop-lit/gj2007b_true-unreach-call_true-termination.c.i 5.52 2.97 284143616 .583 .366 42127360
loop-lit/gr2006_true-unreach-call_true-termination.c.i 483    463    14999998464 .585 .375 39854080
loop-lit/gsv2008_true-unreach-call_true-termination.c.i 9.82 5.15 443322368 .570 .364 40632320
loop-lit/hhk2008_true-unreach-call_true-termination.c.i 5.26 2.83 278048768 .578 .351 40812544
loop-lit/jm2006_true-unreach-call_true-termination.c.i 5.10 2.83 279470080 .568 .358 40767488
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i 6.02 3.33 328884224 .689 .417 40177664
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i 6.46 3.54 348930048 .567 .348 39694336
loop-lit/gcnr2008_false-unreach-call_false-termination.i 12.6  6.61 567029760 .565 .350 40636416
loop-new/count_by_1_true-unreach-call_true-termination.i 4.82 2.64 274870272 .583 .371 40783872
loop-new/count_by_1_variant_true-unreach-call_true-termination.i 4.95 2.71 277114880 .575 .363 41377792
loop-new/count_by_2_true-unreach-call_true-termination.i 4.78 2.63 275877888 .594 .369 41029632
loop-new/count_by_k_true-unreach-call_true-termination.i 4.89 2.68 275492864 .565 .350 40165376
loop-new/count_by_nondet_true-unreach-call_true-termination.i 5.59 3.01 276193280 .600 .378 41910272
loop-new/gauss_sum_true-unreach-call_true-termination.i 5.30 2.90 279023616 .614 .384 40353792
loop-new/half_true-unreach-call_true-termination.i 99.0  59.7  3792613376 .558 .340 39755776
loop-new/nested_true-unreach-call_true-termination.i 12.9  6.70 603377664 .568 .344 39784448
product-lines/elevator_spec14_product03_true-unreach-call_true-termination.cil.c 901    842    4472442880 .589 .360 40075264
product-lines/elevator_spec14_product11_true-unreach-call_true-termination.cil.c 901    843    4371070976 .571 .357 41168896
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c 520    470    4248768512 .566 .347 39927808
product-lines/elevator_spec14_product20_false-unreach-call_true-termination.cil.c 37.4  20.9  1362309120 .574 .363 40394752
product-lines/elevator_spec14_product23_true-unreach-call_true-termination.cil.c 57.4  31.5  1763090432 .546 .343 39739392
product-lines/elevator_spec14_product24_false-unreach-call_true-termination.cil.c 71.4  41.9  2495373312 .562 .343 40951808
product-lines/elevator_spec14_product27_true-unreach-call_true-termination.cil.c 623    579    4390178816 .573 .365 40013824
product-lines/elevator_spec14_product28_false-unreach-call_true-termination.cil.c 39.8  23.1  1346637824 .577 .351 40501248
product-lines/elevator_spec14_product31_true-unreach-call_true-termination.cil.c 58.8  32.2  2058780672 .596 .379 41172992
product-lines/elevator_spec14_product32_false-unreach-call_true-termination.cil.c 74.6  44.1  2295177216 .584 .362 42233856
product-lines/elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c 902    810    7100362752 .569 .354 40243200
product-lines/elevator_spec1_product01_true-unreach-call_true-termination.cil.c 161    125    2983575552 .566 .350 39772160
product-lines/elevator_spec1_product03_true-unreach-call_true-termination.cil.c 470    417    4552499200 .563 .350 40042496
product-lines/elevator_spec1_product09_true-unreach-call_true-termination.cil.c 901    862    3078492160 .564 .352 40148992
product-lines/elevator_spec1_product11_true-unreach-call_true-termination.cil.c 902    846    4369907712 .574 .353 40411136
product-lines/elevator_spec1_product17_true-unreach-call_true-termination.cil.c 901    859    4109344768 .550 .340 40235008
product-lines/elevator_spec1_product18_false-unreach-call_true-termination.cil.c 112    75.1  2585083904 .589 .357 42762240
product-lines/elevator_spec1_product19_true-unreach-call_true-termination.cil.c 902    858    3769860096 .602 .390 39632896
product-lines/elevator_spec1_product20_false-unreach-call_true-termination.cil.c 108    74.3  2176520192 .567 .355 41668608
product-lines/elevator_spec1_product21_true-unreach-call_true-termination.cil.c 901    869    2211852288 .568 .350 40419328
product-lines/elevator_spec1_product22_false-unreach-call_true-termination.cil.c 75.3  38.8  2297815040 .581 .349 39968768
product-lines/elevator_spec1_product23_true-unreach-call_true-termination.cil.c 31.3  16.2  1021083648 .563 .354 40038400
product-lines/elevator_spec1_product24_false-unreach-call_true-termination.cil.c 46.6  23.6  1478270976 .590 .364 39776256
product-lines/elevator_spec1_product25_true-unreach-call_true-termination.cil.c 901    852    3852587008 .606 .393 41230336
product-lines/elevator_spec1_product26_false-unreach-call_true-termination.cil.c 197    160    2833420288 .566 .343 40394752
product-lines/elevator_spec1_product27_true-unreach-call_true-termination.cil.c 901    859    4183871488 .545 .341 39968768
product-lines/elevator_spec1_product28_false-unreach-call_true-termination.cil.c 100    60.2  2294398976 .600 .363 41463808
product-lines/elevator_spec1_product29_true-unreach-call_true-termination.cil.c 901    871    1975500800 .572 .345 40083456
product-lines/elevator_spec1_product30_false-unreach-call_true-termination.cil.c 41.2  21.1  1374384128 .561 .344 39710720
product-lines/elevator_spec1_product31_true-unreach-call_true-termination.cil.c 35.3  18.3  1058263040 .602 .379 40960000
product-lines/elevator_spec1_product32_false-unreach-call_true-termination.cil.c 49.7  25.1  1464119296 .616 .377 42029056
product-lines/elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c 904    831    5227044864 .576 .360 40079360
product-lines/elevator_spec2_product01_true-unreach-call_true-termination.cil.c 321    288    2098475008 .590 .368 41766912
product-lines/elevator_spec2_product03_true-unreach-call_true-termination.cil.c 257    219    2507161600 .562 .340 40742912
product-lines/elevator_spec2_product09_true-unreach-call_true-termination.cil.c 426    391    2205556736 .579 .354 41099264
product-lines/elevator_spec2_product11_true-unreach-call_true-termination.cil.c 469    426    2865262592 .587 .357 40497152
product-lines/elevator_spec2_product17_true-unreach-call_true-termination.cil.c 97.8  68.6  1726996480 .587 .379 40730624
product-lines/elevator_spec2_product18_false-unreach-call_true-termination.cil.c 66.8  38.6  1903611904 .564 .346 40996864
product-lines/elevator_spec2_product19_true-unreach-call_true-termination.cil.c 124    95.2  1901293568 .564 .354 39702528
product-lines/elevator_spec2_product20_false-unreach-call_true-termination.cil.c 98.8  56.3  2969530368 .592 .362 41226240
product-lines/elevator_spec2_product21_true-unreach-call_true-termination.cil.c 52.6  26.9  1568665600 .587 .363 41046016
product-lines/elevator_spec2_product22_false-unreach-call_true-termination.cil.c 902    863    3112353792 .576 .351 39960576
product-lines/elevator_spec2_product23_true-unreach-call_true-termination.cil.c 901    874    1766584320 .573 .344 41877504
product-lines/elevator_spec2_product24_false-unreach-call_true-termination.cil.c 902    857    4571275264 .570 .354 39952384
product-lines/elevator_spec2_product25_true-unreach-call_true-termination.cil.c 99.9  73.1  1830174720 .575 .350 41287680
product-lines/elevator_spec2_product26_false-unreach-call_true-termination.cil.c 901    861    2267279360 .580 .375 40599552
product-lines/elevator_spec2_product27_true-unreach-call_true-termination.cil.c 137    105    2049691648 .592 .371 39510016
product-lines/elevator_spec2_product28_false-unreach-call_true-termination.cil.c 98.1  57.7  2885005312 .584 .365 40841216
product-lines/elevator_spec2_product29_true-unreach-call_true-termination.cil.c 57.9  29.4  1664921600 .560 .342 41541632
product-lines/elevator_spec2_product30_false-unreach-call_true-termination.cil.c 902    865    4144816128 .589 .358 41627648
product-lines/elevator_spec2_product31_true-unreach-call_true-termination.cil.c 35.9  18.2  1210941440 .559 .339 39813120
product-lines/elevator_spec2_product32_false-unreach-call_true-termination.cil.c 49.8  25.1  1489432576 .595 .382 40656896
product-lines/elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c 271    201    4349755392 .607 .362 40267776
product-lines/elevator_spec3_product01_true-unreach-call_true-termination.cil.c 363    317    4248002560 .549 .349 39387136
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c 26.0  14.2  875810816 .575 .353 39804928
product-lines/elevator_spec3_product09_true-unreach-call_true-termination.cil.c 376    334    4431523840 .586 .367 40620032
product-lines/elevator_spec3_product11_false-unreach-call_true-termination.cil.c 27.2  15.0  944893952 .577 .354 40632320
product-lines/elevator_spec3_product17_true-unreach-call_true-termination.cil.c 461    407    4911128576 .564 .357 39903232
product-lines/elevator_spec3_product18_true-unreach-call_true-termination.cil.c 702    652    5218623488 .578 .355 39981056
product-lines/elevator_spec3_product19_false-unreach-call_true-termination.cil.c 27.8  15.3  963026944 .566 .360 40792064
product-lines/elevator_spec3_product20_false-unreach-call_true-termination.cil.c 40.8  21.9  1463615488 .570 .357 40779776
product-lines/elevator_spec3_product21_true-unreach-call_true-termination.cil.c 60.9  32.4  1794404352 .577 .364 41230336
product-lines/elevator_spec3_product22_true-unreach-call_true-termination.cil.c 92.4  57.6  2996002816 .577 .373 40833024
product-lines/elevator_spec3_product23_false-unreach-call_true-termination.cil.c 70.5  44.1  2749992960 .571 .354 40599552
product-lines/elevator_spec3_product24_false-unreach-call_true-termination.cil.c 85.5  51.9  2636156928 .585 .347 40923136
product-lines/elevator_spec3_product25_true-unreach-call_true-termination.cil.c 902    855    4554129408 .573 .351 40792064
product-lines/elevator_spec3_product26_true-unreach-call_true-termination.cil.c 902    850    5006864384 .581 .366 40660992
product-lines/elevator_spec3_product27_false-unreach-call_true-termination.cil.c 27.1  15.4  1048358912 .563 .350 39841792
product-lines/elevator_spec3_product28_false-unreach-call_true-termination.cil.c 37.5  21.9  1359536128 .577 .352 40869888
product-lines/elevator_spec3_product29_true-unreach-call_true-termination.cil.c 829    781    4935991296 .564 .359 39792640
product-lines/elevator_spec3_product30_true-unreach-call_true-termination.cil.c 73.8  41.8  2172968960 .564 .359 40501248
product-lines/elevator_spec3_product31_false-unreach-call_true-termination.cil.c 77.5  48.5  2398683136 .585 .371 40431616
product-lines/elevator_spec3_product32_false-unreach-call_true-termination.cil.c 91.1  53.8  2530222080 .577 .349 41107456
product-lines/elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c 903    809    5345882112 .550 .334 41373696
product-lines/elevator_spec9_product09_true-unreach-call_true-termination.cil.c 93.1  67.9  1789235200 .584 .367 40976384
product-lines/elevator_spec9_product11_true-unreach-call_true-termination.cil.c 147    107    2804875264 .579 .346 41213952
product-lines/elevator_spec9_product25_true-unreach-call_true-termination.cil.c 902    851    4998483968 .602 .373 39686144
product-lines/elevator_spec9_product26_false-unreach-call_true-termination.cil.c 115    69.6  3143761920 .575 .366 40443904
product-lines/elevator_spec9_product27_true-unreach-call_true-termination.cil.c 106    77.0  1905995776 .571 .352 40939520
product-lines/elevator_spec9_product28_false-unreach-call_true-termination.cil.c 84.2  51.9  2281709568 .565 .343 40091648
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c 91.6  63.6  3053948928 .601 .386 40120320
product-lines/elevator_spec9_product30_false-unreach-call_true-termination.cil.c 93.4  66.7  2653896704 .579 .377 40390656
product-lines/elevator_spec9_product31_true-unreach-call_true-termination.cil.c 901    870    2197401600 .592 .384 41201664
product-lines/elevator_spec9_product32_false-unreach-call_true-termination.cil.c 113    80.7  2872369152 .556 .349 40378368
product-lines/elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c 325    287    4030812160 .559 .348 40435712
product-lines/email_spec0_product05_true-unreach-call_true-termination.cil.c 66.4  37.6  2222981120 .573 .363 40087552
product-lines/email_spec0_product09_true-unreach-call_true-termination.cil.c 70.4  40.0  2278690816 .575 .352 40316928
product-lines/email_spec0_product10_true-unreach-call_true-termination.cil.c 70.6  39.4  2289688576 .573 .357 40779776
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c 91.6  53.3  2190979072 .574 .346 41631744
product-lines/email_spec0_product16_false-unreach-call_true-termination.cil.c 84.0  48.5  2416259072 .606 .381 39690240
product-lines/email_spec0_product19_true-unreach-call_true-termination.cil.c 87.3  50.5  2289111040 .552 .345 39854080
product-lines/email_spec0_product21_false-unreach-call_true-termination.cil.c 88.7  52.4  2772631552 .603 .378 39981056
product-lines/email_spec0_product22_false-unreach-call_true-termination.cil.c 90.2  50.7  2158182400 .601 .375 39854080
product-lines/email_spec0_product24_true-unreach-call_true-termination.cil.c 92.2  53.2  2302296064 .580 .354 41132032
product-lines/email_spec0_product25_true-unreach-call_true-termination.cil.c 86.7  54.0  2712354816 .572 .350 39841792
product-lines/email_spec0_product26_false-unreach-call_true-termination.cil.c 94.4  57.1  2280460288 .597 .374 40706048
product-lines/email_spec0_product27_true-unreach-call_true-termination.cil.c 95.8  57.4  2601537536 .577 .376 40054784
product-lines/email_spec0_product31_false-unreach-call_true-termination.cil.c 86.1  51.4  2284044288 .551 .349 40562688
product-lines/email_spec0_product33_false-unreach-call_true-termination.cil.c 87.7  49.9  2261000192 .564 .362 40595456
product-lines/email_spec0_product34_false-unreach-call_true-termination.cil.c 94.8  54.9  2765819904 .582 .376 40243200
product-lines/email_spec0_product35_false-unreach-call_true-termination.cil.c 89.3  53.6  2735095808 .576 .345 41009152
product-lines/email_spec0_product36_true-unreach-call_true-termination.cil.c 85.5  47.1  2150895616 .575 .371 39944192
product-lines/email_spec0_product37_true-unreach-call_true-termination.cil.c 81.8  47.4  2318508032 .564 .344 41172992
product-lines/email_spec0_product38_true-unreach-call_true-termination.cil.c 96.9  59.2  2586423296 .588 .348 41451520
product-lines/email_spec0_product40_true-unreach-call_true-termination.cil.c 106    62.6  2607620096 .596 .360 40841216
product-lines/email_spec0_productSimulator_false-unreach-call_true-termination.cil.c 239    159    6061178880 .551 .355 40284160
product-lines/email_spec11_product03_true-unreach-call_true-termination.cil.c 61.5  34.4  2094116864 .579 .363 40210432
product-lines/email_spec11_product07_true-unreach-call_true-termination.cil.c 71.3  40.3  2212249600 .562 .340 40894464
product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c 82.6  47.4  2294980608 .581 .353 41521152
product-lines/email_spec11_product10_true-unreach-call_true-termination.cil.c 72.9  40.0  2164527104 .569 .362 40361984
product-lines/email_spec11_product15_false-unreach-call_true-termination.cil.c 94.6  54.4  2193530880 .575 .355 40673280
product-lines/email_spec11_product18_true-unreach-call_true-termination.cil.c 93.0  53.9  2641498112 .588 .358 42184704
product-lines/email_spec11_product20_false-unreach-call_true-termination.cil.c 87.7  51.7  2730090496 .543 .337 39366656
product-lines/email_spec11_product22_false-unreach-call_true-termination.cil.c 88.5  50.4  2424623104 .578 .346 41811968
product-lines/email_spec11_product23_true-unreach-call_true-termination.cil.c 95.7  57.5  2687287296 .578 .358 40538112
product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c 93.8  54.3  2491084800 .595 .364 41951232
product-lines/email_spec11_product26_false-unreach-call_true-termination.cil.c 93.3  54.8  2783707136 .574 .363 40755200
product-lines/email_spec11_product27_true-unreach-call_true-termination.cil.c 88.6  52.3  2584162304 .566 .350 40398848
product-lines/email_spec11_product30_false-unreach-call_true-termination.cil.c 78.4  47.7  2336849920 .562 .341 40718336
product-lines/email_spec11_product32_false-unreach-call_true-termination.cil.c 84.9  51.0  2521104384 .549 .341 39927808
product-lines/email_spec11_product33_false-unreach-call_true-termination.cil.c 87.7  50.4  2615889920 .550 .347 40267776
product-lines/email_spec11_product35_false-unreach-call_true-termination.cil.c 91.3  53.9  2576789504 .589 .377 41082880
product-lines/email_spec11_product36_true-unreach-call_true-termination.cil.c 74.2  43.1  2334941184 .557 .341 39792640
product-lines/email_spec11_product37_true-unreach-call_true-termination.cil.c 92.9  53.8  2250764288 .558 .340 39477248
product-lines/email_spec11_product39_true-unreach-call_true-termination.cil.c 91.8  55.6  2279174144 .597 .377 41373696
product-lines/email_spec11_product40_true-unreach-call_true-termination.cil.c 89.7  55.7  2402217984 .618 .385 39768064
product-lines/email_spec11_productSimulator_false-unreach-call_true-termination.cil.c 231    157    5726576640 .581 .365 39489536
product-lines/email_spec1_product12_true-unreach-call_true-termination.cil.c 157    119    2710011904 .571 .364 40525824
product-lines/email_spec1_product14_false-unreach-call_true-termination.cil.c 115    66.4  2570055680 .564 .345 40460288
product-lines/email_spec1_product15_false-unreach-call_true-termination.cil.c 80.6  47.7  2842750976 .558 .355 40067072
product-lines/email_spec1_product16_false-unreach-call_true-termination.cil.c 136    104    2274021376 .556 .338 40091648
product-lines/email_spec1_product20_false-unreach-call_true-termination.cil.c 194    156    2823204864 .573 .369 40681472
product-lines/email_spec1_product21_false-unreach-call_true-termination.cil.c 102    60.2  2776522752 .561 .350 40259584
product-lines/email_spec1_product22_false-unreach-call_true-termination.cil.c 92.0  51.9  2657619968 .566 .351 40099840
product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c 294    257    2795233280 .573 .367 40124416
product-lines/email_spec1_product28_true-unreach-call_true-termination.cil.c 87.3  48.8  2729021440 .574 .363 40644608
product-lines/email_spec1_product29_false-unreach-call_true-termination.cil.c 93.0  56.2  2596835328 .585 .352 41635840
product-lines/email_spec1_product30_false-unreach-call_true-termination.cil.c 85.3  50.6  2643378176 .592 .374 40562688
product-lines/email_spec1_product31_false-unreach-call_true-termination.cil.c 200    166    2749415424 .571 .342 40407040
product-lines/email_spec1_product32_false-unreach-call_true-termination.cil.c 91.4  54.0  2698113024 .585 .350 40599552
product-lines/email_spec1_product33_false-unreach-call_true-termination.cil.c 78.8  46.6  2679214080 .573 .361 40022016
product-lines/email_spec1_product34_false-unreach-call_true-termination.cil.c 96.2  57.1  2795294720 .615 .388 40591360
product-lines/email_spec1_product35_false-unreach-call_true-termination.cil.c 90.3  56.0  2570117120 .563 .350 40882176
product-lines/email_spec1_productSimulator_false-unreach-call_true-termination.cil.c 702    613    5779120128 .583 .370 40243200
product-lines/email_spec27_product13_true-unreach-call_true-termination.cil.c 117    81.4  2781237248 .589 .369 41156608
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c 84.1  50.8  2558734336 .593 .379 40521728
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c 87.9  49.6  2372415488 .588 .364 41095168
product-lines/email_spec27_product19_false-unreach-call_true-termination.cil.c 85.9  49.6  2208235520 .558 .348 39718912
product-lines/email_spec27_product23_false-unreach-call_true-termination.cil.c 91.4  53.8  2706006016 .569 .350 41623552
product-lines/email_spec27_product24_false-unreach-call_true-termination.cil.c 92.0  52.4  2237612032 .563 .359 41123840
product-lines/email_spec27_product25_false-unreach-call_true-termination.cil.c 79.6  48.8  2383454208 .568 .351 40353792
product-lines/email_spec27_product27_false-unreach-call_true-termination.cil.c 89.1  52.6  2748813312 .576 .352 39919616
product-lines/email_spec27_product28_true-unreach-call_true-termination.cil.c 118    80.5  2339254272 .599 .383 40357888
product-lines/email_spec27_product29_false-unreach-call_true-termination.cil.c 85.9  50.7  2637713408 .609 .366 39985152
product-lines/email_spec27_product30_false-unreach-call_true-termination.cil.c 87.2  49.0  2624856064 .575 .349 40157184
product-lines/email_spec27_product31_false-unreach-call_true-termination.cil.c 83.9  48.7  2211418112 .605 .383 41078784
product-lines/email_spec27_product32_false-unreach-call_true-termination.cil.c 95.7  56.0  2594304000 .572 .345 40116224
product-lines/email_spec27_product33_false-unreach-call_true-termination.cil.c 87.3  50.0  2556960768 .563 .340 40632320
product-lines/email_spec27_product34_false-unreach-call_true-termination.cil.c 93.4  54.8  2505519104 .569 .347 40148992
product-lines/email_spec27_product35_false-unreach-call_true-termination.cil.c 86.9  52.3  2721730560 .576 .367 40779776
product-lines/email_spec27_productSimulator_false-unreach-call_true-termination.cil.c 429    315    6254841856 .588 .371 40722432
product-lines/email_spec3_product13_false-unreach-call_true-termination.cil.c 79.1  44.7  2320887808 .574 .348 40202240
product-lines/email_spec3_product17_false-unreach-call_true-termination.cil.c 114    63.9  2752270336 .554 .346 40431616
product-lines/email_spec3_product18_false-unreach-call_true-termination.cil.c 86.2  48.5  2650628096 .595 .373 40439808
product-lines/email_spec3_product19_false-unreach-call_true-termination.cil.c 85.7  49.3  2429526016 .603 .367 41050112
product-lines/email_spec3_product23_false-unreach-call_true-termination.cil.c 115    66.5  2537021440 .614 .385 42086400
product-lines/email_spec3_product24_false-unreach-call_true-termination.cil.c 95.5  54.1  2901950464 .572 .349 40628224
product-lines/email_spec3_product25_false-unreach-call_true-termination.cil.c 91.6  54.4  2621116416 .581 .350 41123840
product-lines/email_spec3_product27_false-unreach-call_true-termination.cil.c 106    62.3  2590363648 .560 .345 39231488
product-lines/email_spec3_product28_false-unreach-call_true-termination.cil.c 90.9  51.4  2576199680 .708 .435 39628800
product-lines/email_spec3_product29_false-unreach-call_true-termination.cil.c 88.2  52.4  2733146112 .566 .341 40587264
product-lines/email_spec3_product30_false-unreach-call_true-termination.cil.c 177    139    2727743488 .556 .339 40792064
product-lines/email_spec3_product31_false-unreach-call_true-termination.cil.c 90.4  51.8  2690482176 .581 .381 40038400
product-lines/email_spec3_product32_false-unreach-call_true-termination.cil.c 90.2  53.3  2743820288 .556 .355 40329216
product-lines/email_spec3_product33_false-unreach-call_true-termination.cil.c 82.2  48.2  2773561344 .561 .351 39845888
product-lines/email_spec3_product34_false-unreach-call_true-termination.cil.c 212    175    2841878528 .568 .354 41291776
product-lines/email_spec3_product35_false-unreach-call_true-termination.cil.c 94.1  55.4  2593439744 .579 .359 41177088
product-lines/email_spec3_productSimulator_false-unreach-call_true-termination.cil.c 393    293    6086385664 .631 .394 40275968
product-lines/email_spec4_product13_true-unreach-call_true-termination.cil.c 120    82.6  2500206592 .561 .349 40038400
product-lines/email_spec4_product17_true-unreach-call_true-termination.cil.c 87.6  51.4  2633539584 .565 .345 40165376
product-lines/email_spec4_product18_false-unreach-call_true-termination.cil.c 84.2  47.7  2471915520 .571 .362 40312832
product-lines/email_spec4_product19_false-unreach-call_true-termination.cil.c 86.0  48.4  2362175488 .567 .359 40923136
product-lines/email_spec4_product23_false-unreach-call_true-termination.cil.c 89.7  52.8  2301493248 .567 .363 39571456
product-lines/email_spec4_product24_false-unreach-call_true-termination.cil.c 89.8  50.8  2414411776 .575 .353 41861120
product-lines/email_spec4_product25_false-unreach-call_true-termination.cil.c 96.3  57.6  2760826880 .557 .345 39829504
product-lines/email_spec4_product27_false-unreach-call_true-termination.cil.c 86.2  52.0  2581819392 .568 .359 40128512
product-lines/email_spec4_product28_true-unreach-call_true-termination.cil.c 119    81.8  2628902912 .557 .341 39698432
product-lines/email_spec4_product29_true-unreach-call_true-termination.cil.c 97.0  57.7  2324230144 .590 .371 40271872
product-lines/email_spec4_product30_false-unreach-call_true-termination.cil.c 89.4  50.0  2334674944 .592 .355 42856448
product-lines/email_spec4_product31_false-unreach-call_true-termination.cil.c