Tool ULTIMATE Automizer 0.1.24-91b1670e 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 ultimateautomizer--termination.ultimateautomizer cpachecker-ultimateautomizer--termination-validation.witnessValidation
Options --full-output -heap 10000M -benchmark -witnessValidation -witness test/results/ultimateautomizer--termination.logfiles/ultimateautomizer.${inputfile_name}.files/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 8.70 5.23 313253888 902     873     4237676544
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 7.10 4.55 313671680 4.84  2.62  268693504
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c 8.21 5.20 319811584 3.78  2.08  247586816
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 67.2  59.4  580931584 .594 .377 40292352
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 7.23 4.58 309751808 4.86  2.65  276074496
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 7.50 4.40 317923328 3.63  2.00  241152000
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 11.9  6.97 456790016 4.26  2.32  248381440
termination-crafted/Mysore_false-termination_true-valid-memsafety.c 42.7  34.5  596226048 .581 .348 40869888
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c 8.94 5.55 327880704 3.98  2.18  243195904
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 14.3  9.02 517074944 4.08  2.25  247980032
termination-crafted/NonTermination3_false-termination_false-valid-deref.c 19.7  12.7  483135488 902     865     4332064768
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 19.6  12.3  490274816 902     867     4332011520
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 8.17 4.93 314945536 4.77  2.63  274382848
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c 8.45 4.77 321650688 3.97  2.20  246046720
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c 9.25 5.54 316133376 3.52  1.98  243404800
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 7.05 3.95 312995840 3.39  1.88  237641728
termination-crafted/2Nested_true-termination_true-valid-memsafety.c 8.15 5.21 315813888 .579 .350 41332736
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 44.3  30.2  631709696 .578 .360 40947712
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c 21.7  17.5  343502848 .579 .372 40534016
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c 961    539    13518983168 .607 .399 41041920
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 961    924    830087168 .558 .347 41943040
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 960    928    712003584 .615 .387 40439808
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 9.03 5.69 316551168 .579 .353 40726528
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 9.75 5.97 381501440 .566 .348 40558592
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c 11.1  7.42 326868992 .592 .392 40493056
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 12.9  9.42 328773632 .567 .348 40165376
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 10.7  6.11 348360704 .591 .358 42233856
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 10.0  5.64 348905472 .577 .351 40161280
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c 68.3  49.6  1215057920 .575 .350 40730624
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 8.84 5.76 325574656 .558 .356 39972864
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c 26.9  20.6  765046784 .572 .351 40480768
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c 49.6  38.6  1125445632 .566 .356 40292352
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 960    927    857489408 .592 .356 39985152
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c 960    926    750821376 .571 .349 41435136
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c 9.30 5.84 328998912 .582 .359 39583744
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 30.1  18.0  558772224 .581 .352 40579072
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 56.4  48.5  545284096 .557 .351 40529920
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 10.4  5.89 367128576 .583 .354 40038400
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 962    780    8119214080 .562 .349 41181184
termination-crafted/Mysore_true-termination_true-valid-memsafety.c 10.6  7.44 321843200 .575 .349 40378368
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 28.4  19.2  503218176 .595 .369 42037248
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 11.4  7.26 472375296 .583 .358 39874560
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 17.0  10.7  587440128 .588 .353 39927808
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 961    777    11654561792 .578 .375 39387136
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 11.1  6.86 407756800 .577 .355 40620032
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 9.93 6.16 350576640 .565 .348 40566784
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 13.9  8.39 511545344 .568 .344 41074688
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c 11.4  6.72 441266176 .568 .351 40497152
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c 14.5  9.80 457830400 .573 .357 40378368
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c 13.3  8.50 444887040 .583 .351 42786816
termination-crafted/Singapore_true-termination_true-valid-memsafety.c 26.6  20.4  401469440 .581 .357 41279488
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c 24.3  19.3  550842368 .568 .352 39821312
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 9.80 5.64 335695872 .571 .347 40660992
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c 9.60 5.85 331902976 .589 .352 40931328
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c 9.44 5.81 321036288 .606 .395 40738816
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 18.0  11.1  576126976 .575 .358 41033728
termination-crafted/Thun_true-termination_true-valid-memsafety.c 9.03 5.69 320753664 .566 .356 40202240
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c 36.1  31.1  628457472 .577 .349 40689664
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c 33.6  28.2  699674624 .570 .339 39436288
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 8.17 4.77 316559360 .560 .335 40087552
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 6.73 4.29 302043136 .576 .355 41119744
termination-crafted/aaron2_true-termination_true-valid-memsafety.c 9.19 5.36 330657792 .586 .360 41783296
termination-crafted/aaron3_true-termination_true-valid-memsafety.c 27.1  22.1  487493632 .591 .375 41218048
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 8.96 5.31 326848512 .564 .364 40341504
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 8.22 5.04 313786368 .594 .355 42061824
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c 8.13 4.56 312496128 4.90  2.69  281907200
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c 8.22 5.03 312782848 4.98  2.73  277508096
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c 7.20 4.62 314015744 5.22  2.86  265125888
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c 8.73 5.46 316764160 4.34  2.40  257073152
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c 14.1  7.92 464625664 6.31  3.43  320761856
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c 15.2  9.74 473288704 .563 .347 40079360
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c 11.0  6.98 447012864 .580 .354 40026112
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c 8.08 5.13 316071936 .562 .357 40673280
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c 10.6  6.33 315142144 .590 .374 40783872
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c 26.8  21.7  478707712 .574 .355 40370176
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c 29.4  23.1  494772224 .581 .354 40706048
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c 8.96 5.13 320786432 .550 .334 39780352
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c 11.9  6.74 328118272 .582 .345 40566784
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c 11.8  7.53 442470400 .579 .353 41021440
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c 11.8  7.47 452653056 .597 .370 41418752
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c 11.6  7.37 452141056 .584 .352 40558592
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c 13.4  7.75 462327808 .569 .347 40230912
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c 12.0  7.42 396406784 .573 .352 39661568
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c 14.1  8.42 435957760 .562 .361 39964672
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c 12.0  7.19 359276544 .597 .370 40751104
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c 16.7  10.7  486125568 .599 .359 40964096
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c 12.3  7.31 433426432 .560 .343 39706624
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c 14.7  9.08 460939264 .590 .367 41668608
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c 11.6  7.89 315813888 .559 .352 40558592
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c 8.26 4.80 316456960 .578 .348 41361408
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c 9.44 5.72 316776448 .594 .358 41439232
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c 8.82 5.48 316411904 .571 .345 40263680
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c 9.11 5.71 323751936 .558 .340 40357888
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c 8.41 5.28 316026880 .574 .362 40517632
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c 10.7  7.59 324100096 .556 .353 40226816
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c 12.7  7.62 458760192 .586 .348 40321024
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c 13.1  8.33 453799936 .597 .351 40554496
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c 13.5  8.21 466644992 .582 .348 40747008
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c 16.0  11.5  440082432 .602 .379 40366080
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c 11.7  7.31 452386816 .564 .353 40382464
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c 13.8  9.81 426893312 .569 .373 42217472
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c 11.3  6.62 421396480 .568 .352 40570880
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c 48.6  39.0  671019008 .584 .342 41263104
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c 8.35 4.80 316653568 .596 .366 40181760
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c 10.3  7.26 317734912 .573 .349 41132032
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c 8.86 5.17 324808704 .587 .352 41119744
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c 19.7  11.2  687874048 .575 .355 40996864
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c 8.59 5.38 322056192 .618 .387 42946560
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c 8.47 5.30 315629568 .595 .375 41816064
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c 21.8  13.1  543539200 .574 .348 40693760
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c 25.5  18.1  489762816 .577 .350 42274816
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c 48.7  41.4  559693824 .569 .365 40144896
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c 40.5  24.9  1682300928 .572 .345 40247296
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c 8.54 4.93 315060224 .590 .365 41369600
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c 12.4  7.37 363864064 .576 .350 39989248
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c 8.00 5.08 314155008 .582 .363 40615936
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c 25.5  19.9  437735424 .568 .345 41668608
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c 8.75 5.45 323448832 .567 .349 40218624
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c 13.5  7.78 408629248 .560 .341 40222720
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c 11.3  7.18 436670464 .568 .353 41709568
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c 961    775    1230884864 .578 .348 40579072
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c 14.5  8.38 493850624 .577 .349 40890368
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c 13.4  8.52 467161088 .576 .357 40968192
termination-crafted-lit/aviad_true-termination_true-no-overflow.c 10.5  6.21 324874240 .585 .352 40677376
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c 12.6  7.94 471699456 .608 .389 40714240
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c 108    98.4  681467904 .600 .376 40038400
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c 10.2  5.92 407474176 .624 .411 42536960
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c 24.0  15.5  558559232 .579 .350 41402368
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c 24.5  15.3  558673920 .578 .347 41447424
termination-crafted-lit/genady_true-termination_true-no-overflow.c 8.49 5.35 320434176 .546 .350 39649280
termination-crafted-lit/strchr_true-no-overflow_true-termination.c 14.8  8.81 501460992 .580 .350 41005056
termination-numeric/Ackermann01_true-termination_true-no-overflow.c 48.1  31.2  703066112 .580 .351 41209856
termination-numeric/Binomial_true-termination_false-no-overflow.c 960    919    1825800192 .555 .343 39944192
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c 12.5  7.44 437317632 .593 .372 40890368
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c 961    567    13546823680 .568 .353 40402944
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c 8.93 5.14 328028160 .568 .348 39956480
termination-numeric/LogRecursive_true-termination_true-no-overflow.c 56.7  48.3  549494784 .604 .396 41717760
termination-numeric/Parts_true-termination_true-no-overflow.c 99.8  67.3  734019584 .574 .360 39919616
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c 9.86 5.92 325861376 .601 .372 42070016
termination-numeric/TwoWay_true-termination_true-no-overflow.c 27.4  20.7  423653376 .572 .349 40660992
termination-numeric/gcd01_true-termination_true-no-overflow.c 16.1  11.0  475443200 .559 .355 39649280
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c 8.43 5.31 316411904 .590 .357 41037824
termination-numeric/recHanoi02_true-termination_true-no-overflow.c 13.3  7.91 376041472 .568 .355 40349696
termination-numeric/rec_counter1_true-termination_true-no-overflow.c 12.6  7.95 493572096 .580 .356 41721856
termination-numeric/rec_counter3_true-termination_true-no-overflow.c 13.4  7.95 459341824 .569 .351 40038400
termination-numeric/twisted_true-termination_true-no-overflow.c 10.4  6.50 366522368 .571 .342 40067072
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c 12.5  7.94 467927040 .576 .357 40624128
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c 8.54 5.36 318521344 .596 .364 39792640
termination-restricted-15/GCD3_true-termination_true-no-overflow.c 29.8  24.2  526024704 .574 .347 41234432
termination-restricted-15/GCD4_true-termination_true-no-overflow.c 25.2  20.2  498610176 .607 .390 40083456
termination-restricted-15/IntPath_true-termination_true-no-overflow.c 7.48 4.26 316284928 .575 .349 41222144
termination-restricted-15/LogAG_true-termination_true-no-overflow.c 11.5  6.77 426360832 .585 .359 40472576
termination-restricted-15/Log_true-termination_true-no-overflow.c 13.8  8.49 428675072 .587 .359 40931328
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c 24.3  14.5  619986944 .581 .351 40902656
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c 9.04 5.73 323477504 .574 .361 39809024
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c 10.9  6.44 384434176 .581 .378 39833600
termination-restricted-15/Nested_true-termination_true-no-overflow.c 9.63 5.50 343203840 .588 .352 41136128
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c 15.5  11.1  432492544 .571 .363 40423424
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c 11.0  6.55 401092608 .592 .373 40394752
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c 8.88 5.58 319377408 .562 .358 42360832
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c 8.65 5.49 321626112 .563 .341 40202240
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c 11.1  6.29 323461120 .571 .345 40550400
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c 10.7  6.62 379670528 .558 .341 40828928
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c 11.5  6.42 342560768 .573 .360 40501248
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c 9.78 6.06 342798336 .567 .354 40079360
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c 8.30 4.91 320266240 .550 .349 39378944
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c 8.12 4.74 321015808 .562 .358 39989248
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c 11.8  8.09 340287488 .589 .370 39612416
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c 7.73 4.93 313511936 .562 .339 40050688
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c 8.68 5.10 319320064 .591 .382 39895040
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c 11.3  7.20 391639040 .594 .382 40108032
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c 20.1  16.3  350113792 .587 .348 41054208
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c 11.6  7.27 438915072 .576 .351 40054784
termination-restricted-15/Sequence_true-termination_true-no-overflow.c 9.59 5.42 333664256 .564 .347 40046592
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c 9.25 5.27 312971264 .586 .373 40747008
termination-restricted-15/a.01_true-termination_true-no-overflow.c 11.2  6.98 390942720 .572 .357 39854080
termination-restricted-15/a.04_true-termination_true-no-overflow.c 8.28 5.22 320602112 .578 .350 41803776
termination-restricted-15/a.05_true-termination_true-no-overflow.c 8.72 5.47 314970112 .562 .343 39559168
termination-restricted-15/a.06_true-termination_true-no-overflow.c 10.3  6.15 417103872 .566 .347 39972864
termination-restricted-15/a.07_true-termination_true-no-overflow.c 9.28 5.77 317739008 .593 .369 40960000
termination-restricted-15/a.08_true-termination_true-no-overflow.c 8.82 5.02 322523136 .566 .356 39776256
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c 20.3  17.2  613855232 .576 .355 40517632
termination-restricted-15/a.10_true-termination.c 15.2  11.0  442384384 .580 .362 40824832
termination-restricted-15/b.01_true-termination_true-no-overflow.c 8.40 4.95 325410816 .578 .347 40767488
termination-restricted-15/b.02_true-termination_true-no-overflow.c 8.98 5.05 317521920 .550 .345 39821312
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c 21.6  18.0  580988928 .562 .341 40378368
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c 20.0  17.1  569053184 .578 .348 39993344
termination-restricted-15/b.04_true-termination_true-no-overflow.c 12.4  8.81 334557184 .600 .396 40792064
termination-restricted-15/b.05_true-termination_true-no-overflow.c 9.00 5.16 320421888 .568 .352 40255488
termination-restricted-15/b.06_true-termination_true-no-overflow.c 9.66 5.83 322277376 .583 .352 42123264
termination-restricted-15/b.07_true-termination_true-no-overflow.c 8.68 5.49 319078400 .585 .347 40763392
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c 14.9  9.55 489725952 .578 .347 39989248
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c 8.74 5.10 323796992 .595 .366 41779200
termination-restricted-15/b.10_true-termination_true-no-overflow.c 25.8  21.5  483508224 .574 .382 39587840
termination-restricted-15/b.11_true-termination_true-no-overflow.c 43.1  38.8  518643712 .602 .383 40574976
termination-restricted-15/b.12_true-termination_true-no-overflow.c 11.6  6.91 349622272 .581 .350 41144320
termination-restricted-15/b.13_true-termination_true-no-overflow.c 10.5  6.76 363114496 .587 .352 40837120
termination-restricted-15/b.14_true-termination_true-no-overflow.c 10.6  6.11 391196672 .598 .369 39501824
termination-restricted-15/b.15_true-termination_true-no-overflow.c 10.5  6.70 381763584 .562 .353 40398848
termination-restricted-15/b.16_true-termination_true-no-overflow.c 10.0  5.67 357220352 .560 .338 39739392
termination-restricted-15/b.17_true-termination_true-no-overflow.c 9.75 6.16 348946432 .571 .350 40693760
termination-restricted-15/b.18_true-termination_true-no-overflow.c 10.2  5.85 349376512 .577 .363 40263680
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c 16.8  9.94 454295552 .591 .369 39698432
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c 11.4  7.11 423268352 .564 .342 41140224
termination-restricted-15/c.02_true-termination_true-no-overflow.c 11.3  7.01 407257088 .560 .343 40390656
termination-restricted-15/c.03_true-termination_true-no-overflow.c 34.1  30.3  586158080 .595 .381 40042496
termination-restricted-15/c.07_true-termination_true-no-overflow.c 10.8  6.46 327229440 .574 .346 39919616
termination-restricted-15/c.08_true-termination_true-no-overflow.c 11.0  6.89 390639616 .596 .365 41521152
termination-restricted-15/ex3a_true-termination_true-no-overflow.c 19.9  10.8  520757248 .576 .348 40914944
termination-restricted-15/ex3b_true-termination_true-no-overflow.c 18.4  10.5  497295360 .589 .375 41435136
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c 8.20 5.19 316350464 .581 .350 40529920
termination-restricted-15/java_Break_true-termination_true-no-overflow.c 8.81 5.49 318070784 .571 .355 40210432
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c 10.1  5.85 343052288 .561 .353 40988672
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c 16.2  9.81 479879168 .592 .355 40783872
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c 10.0  6.19 356028416 .584 .357 41054208
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c 11.8  7.45 459124736 7.30  3.95  357031936
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c 7.20 4.61 316321792 4.81  2.65  280567808
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c 8.71 5.52 323137536 4.15  2.30  253706240
termination-restricted-15/Ex02_false-termination_true-no-overflow.c 8.68 5.48 321302528 4.39  2.39  253788160
termination-restricted-15/Ex03_false-termination_true-no-overflow.c 8.55 5.44 326475776 4.43  2.47  254144512
termination-restricted-15/Ex05_false-termination_true-no-overflow.c 7.20 4.54 316645376 3.62  2.01  244428800
termination-restricted-15/Ex06_false-termination_true-no-overflow.c 9.87 6.16 371183616 5.12  2.80  268644352
termination-restricted-15/Ex07_false-termination_true-no-overflow.c 10.4  6.01 356716544 5.39  2.92  263979008
termination-restricted-15/Ex08_false-termination_true-no-overflow.c 33.0  20.5  714358784 60.3   33.3   2850271232
termination-restricted-15/Flip2_false-termination_true-no-overflow.c 17.4  10.9  446410752 9.60  5.05  448462848
termination-restricted-15/Flip_false-termination_true-no-overflow.c 10.2  5.87 326696960 5.15  2.81  277024768
termination-restricted-15/GCD2_false-termination_true-no-overflow.c 10.0  5.65 319270912 6.61  3.57  357244928
termination-restricted-15/GCD_false-termination_true-no-overflow.c 7.37 4.71 318525440 6.43  3.47  355860480
termination-restricted-15/Loop_false-termination_true-no-overflow.c 7.11 4.56 312578048 4.59  2.57  269791232
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c 16.5  9.12 534183936 6.34  3.44  312131584
termination-restricted-15/NO_00_false-termination_true-no-overflow.c 7.38 4.51 318189568 4.61  2.57  269467648
termination-restricted-15/NO_01_false-termination_true-no-overflow.c 8.74 5.46 320741376 5.31  2.95  281165824
termination-restricted-15/NO_02_false-termination_true-no-overflow.c 7.48 4.65 319504384 4.89  2.67  274186240
termination-restricted-15/NO_03_false-termination_true-no-overflow.c 7.35 4.77 313659392 6.33  3.43  310497280
termination-restricted-15/NO_04_false-termination_true-no-overflow.c 11.3  7.04 420302848 5.60  3.04  295444480
termination-restricted-15/NO_13_false-termination_true-no-overflow.c 68.1  43.5  800100352 331     310     14999998464
termination-restricted-15/NO_21_false-termination_true-no-overflow.c 8.61 5.25 312614912 4.83  2.65  270376960
termination-restricted-15/NO_22_false-termination_true-no-overflow.c 58.3  37.8  755613696 325     305     14999998464
termination-restricted-15/NO_23_false-termination_true-no-overflow.c 12.5  7.68 499212288 6.85  3.69  363651072
termination-restricted-15/NO_24_false-termination_true-no-overflow.c 15.1  8.41 459792384 .592 .349 41476096
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c 111    78.9  1327869952 902     896     506425344
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c 35.0  21.7  601571328 901     886     1163657216
termination-restricted-15/Sunset_false-termination_true-no-overflow.c 18.1  10.9  497299456 16.0   8.31  512094208
termination-restricted-15/Swingers_false-termination_true-no-overflow.c 28.0  21.0  528531456 .587 .357 40509440
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c 7.74 4.90 319315968 6.83  3.70  355520512
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c 39.6  24.9  870363136 325     289     3885682688
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c 43.3  26.4  619290624 110     76.0   4137615360
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c 8.35 5.31 316506112 4.07  2.25  253665280
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c 9.18 5.58 330915840 4.37  2.41  254464000
termination-libowfat/atoi_true-termination.c.i 13.6  7.68 421163008 .579 .344 40558592
termination-libowfat/atol_true-termination.c.i 11.0  6.43 405643264 .613 .388 41873408
termination-libowfat/atoll_true-termination.c.i 10.8  6.23 416890880 .581 .350 40734720
termination-libowfat/basename_true-termination.c.i 961    651    13627822080 .566 .342 41009152
termination-libowfat/build_fullname_true-termination.c.i 36.6  23.7  654868480 .572 .359 40034304
termination-libowfat/dirname_true-termination.c.i 962    712    11504795648 .592 .359 40697856
termination-libowfat/skip_to_true-termination.c.i 65.9  36.8  2679414784 .582 .375 40148992
termination-libowfat/stpcpy_true-termination.c.i 12.7  7.77 468996096 .572 .359 40288256
termination-libowfat/strcasecmp_true-termination.c.i 13.4  8.13 467693568 .582 .360 42545152
termination-libowfat/strcat_short_true-termination.c.i 20.0  12.5  518156288 .571 .361 39825408
termination-libowfat/strcat_true-termination.c.i 18.8  11.4  475648000 .570 .355 40509440
termination-libowfat/strchr_short_true-termination.c.i 11.8  6.81 488534016 .578 .344 39784448
termination-libowfat/strchr_true-termination.c.i 19.9  13.7  620716032 .566 .343 40374272
termination-libowfat/strcmp_short_true-termination.c.i 12.8  7.89 520650752 .566 .349 40235008
termination-libowfat/strcpy_small_true-termination.c.i 15.6  9.19 505487360 .577 .353 40210432
termination-libowfat/strcspn_true-termination.c.i 24.9  15.8  574177280 .589 .349 40775680
termination-libowfat/strdup_true-termination.c.i 16.9  10.1  627724288 .584 .356 41426944
termination-libowfat/strlcat_true-termination.c.i 20.3  13.1  697442304 .568 .351 40058880
termination-libowfat/strlcpy_true-termination.c.i 20.2  12.5  516997120 .564 .347 40775680
termination-libowfat/strlen_true-termination.c.i 11.2  6.76 393969664 .586 .356 40509440
termination-libowfat/strpbrk_true-termination.c.i 34.4  18.8  872525824 .599 .360 42237952
termination-libowfat/strrchr_short_true-termination.c.i 12.5  7.53 506523648 .546 .354 40259584
termination-libowfat/strrchr_true-termination.c.i 14.3  8.65 480870400 .560 .339 40828928
termination-libowfat/strspn_true-termination.c.i 20.4  12.6  513568768 .548 .351 39636992
termination-libowfat/strstr_true-termination.c.i 47.1  31.1  747716608 .587 .356 40857600
termination-libowfat/strtok_r_true-termination.c.i 59.8  40.9  991440896 .569 .347 39944192
termination-libowfat/strtol_true-termination.c.i 19.9  12.2  493211648 .579 .371 39604224
termination-libowfat/strtoul_true-termination.c.i 13.2  8.01 515780608 .552 .346 40476672
termination-libowfat/strtoull_true-termination.c.i 13.1  7.94 533667840 .567 .355 40288256
termination-libowfat/wcsrchr_true-termination.c.i 12.4  7.40 449015808 .584 .353 39882752
termination-libowfat/wcsstr_true-termination.c.i 9.75 5.88 315469824 .547 .346 40005632
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i 8.65 5.32 321957888 5.93  3.18  310366208
termination-memory-alloca/Velroyen-alloca_false-termination.c.i 11.8  6.90 464748544 7.85  4.16  366174208
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i 19.6  12.5  584040448 .582 .351 41095168
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i 29.0  18.6  571650048 .573 .370 40198144
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i 960    900    1074302976 .570 .357 39641088
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i 11.1  6.75 427261952 .590 .354 41172992
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i 14.9  8.94 484777984 .581 .354 40099840
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i 19.1  11.8  639619072 .567 .358 40435712
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i 75.2  57.6  698535936 .582 .371 40390656
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i 268    242    942198784 .587 .368 40247296
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i 961    869    1368121344 .584 .375 40255488
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i 37.4  23.9  725016576 .577 .361 42131456
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i 11.8  7.06 369147904 .586 .361 40894464
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i 15.7  9.67 481808384 .567 .343 39804928
termination-memory-alloca/Masse-alloca_true-termination.c.i 20.3  11.2  675414016 .568 .355 39981056
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i 56.8  42.2  855977984 .566 .349 40701952
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i 598    546    13119143936 .557 .353 40058880
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i 961    698    7741579264 .579 .353 40386560
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i 17.8  10.7  585699328 .610 .371 40722432
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i 43.7  28.4  572362752 .559 .356 40378368
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i 25.9  16.5  669732864 .576 .359 40488960
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i 960    787    1030193152 .595 .389 39882752
termination-memory-alloca/Urban-alloca_true-termination.c.i 29.4  18.7  735404032 .576 .348 41443328
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i 33.5  22.0  710508544 .577 .355 41099264
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i 15.3  8.93 493363200 .574 .358 40042496
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i 12.2  7.52 476499968 .574 .349 40378368
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i 27.1  17.0  565399552 .558 .354 39649280
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i 14.4  9.04 535543808 .598 .369 41836544
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i 14.2  8.44 459612160 .583 .373 40214528
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i 13.8  8.38 522719232 .565 .360 40140800
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i 20.0  12.0  498663424 .599 .372 42323968
termination-memory-alloca/add_last-alloca_true-termination.c.i 11.5  6.92 425476096 .596 .377 40243200
termination-memory-alloca/array01-alloca_true-termination.c.i 16.2  9.35 482549760 .570 .351 40960000
termination-memory-alloca/array02-alloca_true-termination.c.i 18.9  11.6  511049728 .557 .349 40017920
termination-memory-alloca/array03-alloca_true-termination.c.i 25.8  15.0  496648192 .560 .346 40620032
termination-memory-alloca/aviad_true-alloca_true-termination.c.i 14.3  8.86 470609920 .585 .347 41009152
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i 11.5  7.04 497971200 .566 .348 39952384
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i 11.9  7.31 484122624 .547 .347 39436288
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 12.1  7.41 485351424 .574 .354 40865792
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i 12.4  7.11 473575424 .576 .365 39837696
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i 14.4  8.21 533569536 .575 .356 41299968
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i 13.4  7.72 476205056 .580 .347 40747008
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i 13.6  7.89 506175488 .596 .362 40198144
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i 14.9  9.25 475635712 .574 .348 39972864
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 43.1  24.0  1349693440 .581 .359 40869888
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i 28.5  18.0  572223488 .544 .347 39727104
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i 18.6  11.5  508817408 .574 .343 41443328
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i 30.5  18.4  586948608 .553 .362 40222720
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i 22.8  13.7  584953856 .595 .379 40652800
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i 26.4  16.3  559476736 .600 .375 40218624
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i 29.5  19.7  677900288 .569 .344 40255488
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i 17.8  11.3  509460480 .561 .350 39796736
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i 17.3  10.4  529940480 .566 .355 40534016
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i 24.8  15.4  528269312 .584 .362 40263680
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i 24.8  15.2  660520960 .575 .345 39952384
termination-memory-alloca/bubblesort-alloca_true-termination.c.i 17.4  10.3  572669952 .606 .377 41299968
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i 961    920    849620992 .589 .355 40132608
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i 43.3  28.8  776880128 .623 .383 41062400
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i 960    913    787509248 .580 .363 40591360
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i 20.5  12.7  509067264 .583 .347 41656320
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i 20.7  12.4  545771520 .572 .364 39055360
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i 961    910    930459648 .570 .361 40349696
termination-memory-alloca/count_down-alloca_true-termination.c.i 19.1  11.1  483512320 .571 .363 41357312
termination-memory-alloca/cstrcat-alloca_true-termination.c.i 15.4  8.97 504143872 .554 .340 39514112
termination-memory-alloca/cstrchr-alloca_true-termination.c.i 12.3  7.45 515047424 .581 .355 41082880
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i 13.5  8.16 475049984 .570 .355 41213952
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i 12.9  7.87 473890816 .585 .367 41320448
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i 123    106    1192677376 .587 .365 40980480
termination-memory-alloca/cstrlen-alloca_true-termination.c.i 10.7  6.51 399613952 .598 .363 40710144
termination-memory-alloca/cstrncat-alloca_true-termination.c.i 12.8  7.80 471691264 .595 .363 40423424
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i 13.0  7.59 461066240 .560 .344 40280064
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i 16.3  10.1  576434176 .592 .379 39915520
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i 34.3  21.1  758132736 .574 .342 39948288
termination-memory-alloca/cstrspn-alloca_true-termination.c.i 23.8  15.2  676048896 .592 .371 40148992
termination-memory-alloca/diff-alloca_true-termination.c.i 26.3  15.5  519577600 .574 .362 40181760
termination-memory-alloca/easySum-alloca_true-termination.c.i 13.0  8.02 542822400 .561 .345 40427520
termination-memory-alloca/ex1-alloca_true-termination.c.i 14.9  8.86 512323584 .562 .352 40022016
termination-memory-alloca/ex2-alloca_true-termination.c.i 55.4  32.5  989642752 .563 .354 39723008
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i 31.7  17.0  592740352 .606 .388 41140224
termination-memory-alloca/ex3b-alloca_true-termination.c.i 29.0  16.0  740536320 .579 .351 40423424
termination-memory-alloca/fermat-alloca_true-termination.c.i 960    940    630849536 .567 .344 41025536
termination-memory-alloca/flag-alloca_true-termination.c.i 21.5  12.6  575549440 .575 .349 40341504
termination-memory-alloca/gcd1-alloca_true-termination.c.i 73.9  51.6  769839104 .579 .358 40730624
termination-memory-alloca/genady-alloca_true-termination.c.i 11.7  7.16 448675840 .560 .361 40120320
termination-memory-alloca/insertionsort-alloca_true-termination.c.i 16.6  10.2  481550336 .574 .348 40390656
termination-memory-alloca/java_AG313-alloca_true-termination.c.i 15.0  9.23 481632256 .562 .342 40038400
termination-memory-alloca/java_Break-alloca_true-termination.c.i 10.7  6.27 400871424 .572 .360 40169472
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i 19.1  11.3  487280640 .582 .348 39575552
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i 52.8  35.5  791654400 .592 .354 41172992
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i 11.5  6.95 466079744 .609 .402 40509440
termination-memory-alloca/java_Nested-alloca_true-termination.c.i 125    102    662536192 .568 .345 39358464
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i 961    859    914743296 .568 .362 40513536
termination-memory-alloca/lis-alloca_true-termination.c.i 960    918    1111875584 .568 .351 40783872
termination-memory-alloca/min_rf-alloca_true-termination.c.i 235    201    7994769408 .585 .346 40452096
termination-memory-alloca/mult_array-alloca_true-termination.c.i 16.3  9.88 520429568 .592 .354 40824832
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i 11.7  7.18 439316480 .588 .353 40747008
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i 12.5  7.16 460361728 .585 .372 40763392
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i 11.7  7.14 465141760 .587 .363 40660992
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i 11.7  7.12 464990208 .565 .341 40325120
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i 12.0  7.39 470675456 .574 .352 39636992
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i 27.3  19.9  504557568 .557 .340 40054784
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i 12.4  7.54 470532096 .577 .351 41496576
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i 12.9  7.89 526254080 .605 .385 41017344
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i 13.5  8.11 530751488 .564 .360 41361408
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i 37.0  20.6  1373470720 .553 .335 39895040
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i 20.5  12.0  578289664 .585 .355 41893888
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i 11.8  6.71 413835264 .569 .350 39948288
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i 13.8  7.95 473939968 .570 .357 40128512
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i 13.2  8.15 478625792 .600 .387 41828352
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i 15.7  9.50 580050944 .583 .367 40685568
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i 14.8  8.59 465670144 .580 .363 40812544
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i 33.8  25.9  524226560 .561 .350 39456768
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i 40.3  22.4  1528074240 .596 .360 41553920
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i 41.8  27.9  902926336 .576 .352 40132608
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i 11.0  6.27 370348032 .574 .344 41041920
termination-memory-alloca/selectionsort-alloca_true-termination.c.i 26.4  15.6  507387904 .583 .350 41156608
termination-memory-alloca/stroeder1-alloca_true-termination.c.i 10.7  6.51 374595584 .582 .351 41496576
termination-memory-alloca/stroeder2-alloca_true-termination.c.i 14.3  8.41 505909248 .595 .357 41320448
termination-memory-alloca/strreplace-alloca_true-termination.c.i 13.7  8.37 512544768 .584 .359 41668608
termination-memory-alloca/subseq-alloca_true-termination.c.i 13.1  8.01 470425600 .556 .344 39919616
termination-memory-alloca/substring-alloca_true-termination.c.i 23.1  14.3  685293568 .585 .359 40079360
termination-memory-alloca/twisted-alloca_true-termination.c.i 29.1  17.8  705404928 .546 .342 40030208
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i 40.0  21.9  749457408 .543 .347 39854080
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i 13.4  8.27 496832512 5.00  2.68  257359872
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i 13.7  8.45 469213184 10.1   5.28  450547712
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i 14.3  8.32 473575424 7.36  3.89  390057984
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i 19.9  12.0  549744640 4.89  2.62  251113472
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i 41.3  24.0  1149202432 4.77  2.58  250339328
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i 26.2  14.9  556400640 .581 .375 40321024
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i 29.4  17.0  830783488 14.8   7.61  792772608
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i 30.9  17.8  1091297280 7.45  3.96  410632192
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i 12.3  7.58 472584192 .581 .352 40943616
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i 372    347    1462964224 .565 .364 39571456
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i 264    248    1544359936 .588 .353 40644608
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i 381    336    2005524480 .588 .363 41054208
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i 11.0  6.71 416571392 .558 .359 39944192
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i 242    210    1631875072 .579 .357 41025536
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i 50.1  30.0  1160212480 .605 .385 39735296
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i 54.2  32.1  1652736000 .575 .344 40792064
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i 355    314    2977693696 .575 .356 39768064
termination-15/add_first_alloca_true-termination.c.i 11.0  6.70 402358272 .572 .344 40611840
termination-15/array05_alloca_true-termination.c.i 20.1  11.3  659206144 .581 .355 42094592
termination-15/array06_alloca_true-termination.c.i 13.6  7.75 484020224 .580 .345 39845888
termination-15/array07_alloca_true-termination.c.i 13.2  7.60 487669760 .593 .387 39723008
termination-15/array08_alloca_true-termination.c.i 30.6  16.4  701693952 .572 .360 40550400
termination-15/array09_alloca_true-termination.c.i 28.9  15.9  764825600 .589 .354 40792064
termination-15/array10_alloca_true-termination.c.i 24.3  13.1  708038656 .611 .378 40984576
termination-15/array12_alloca_true-termination.c.i 960    852    957059072 .581 .363 40288256
termination-15/array13_alloca_true-termination.c.i 960    841    2483167232 .567 .344 39985152
termination-15/array16_alloca_fixed_true-termination.c.i 961    856    2161012736 .583 .355 41828352
termination-15/array17_alloca_true-termination.c.i 961    852    1085353984 .575 .345 39915520
termination-15/array18_alloca_true-termination.c.i 26.5  14.9  573968384 .568 .344 39841792
termination-15/count_up_alloca_true-termination.c.i 16.1  9.92 472764416 .580 .357 40681472
termination-15/count_up_and_down_alloca_true-termination.c.i 17.0  10.2  478220288 .600 .384 40812544
termination-15/cstrcat_diffterm_alloca_true-termination.c.i 12.3  7.07 509222912 .582 .353 40292352
termination-15/cstrcat_malloc_true-termination.c.i 13.0  7.93 511959040 .581 .365 40431616
termination-15/cstrcat_mixed_alloca_true-termination.c.i 14.6  8.72 516374528 .578 .345 40112128
termination-15/cstrcat_reverse_alloca_true-termination.c.i 15.4  8.95 463683584 .584 .349 40427520
termination-15/cstrchr_diffterm_alloca_true-termination.c.i 11.7  7.20 467111936 .586 .368 39886848
termination-15/cstrchr_malloc_true-termination.c.i 12.9  7.79 468934656 .610 .392 41676800
termination-15/cstrchr_reverse_alloca_true-termination.c.i 12.6  7.62 468623360 .582 .362 41308160
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i 12.0  7.03 529743872 .584 .356 40742912
termination-15/cstrcmp_malloc_true-termination.c.i 13.3  7.67 524701696 .600 .377 41349120
termination-15/cstrcmp_mixed_alloca_true-termination.c.i 15.8  9.25 465944576 .576 .350 39817216
termination-15/cstrcmp_reverse_alloca_true-termination.c.i 12.9  7.80 474628096 .550 .337 39661568
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i 12.1  7.45 516337664 .570 .353 41103360
termination-15/cstrcpy_malloc_true-termination.c.i 12.2  7.50 473505792 .601 .378 41263104
termination-15/cstrcpy_mixed_alloca_true-termination.c.i 12.1  7.37 520421376 .546 .344 39452672
termination-15/cstrcpy_reverse_alloca_true-termination.c.i 13.0  7.54 532226048 .563 .360 39948288
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i 34.8  27.1  676376576 .597 .355 41431040
termination-15/cstrcspn_malloc_true-termination.c.i 111    102    581332992 .553 .340 39788544
termination-15/cstrcspn_mixed_alloca_true-termination.c.i 137    127    626864128 .578 .350 40316928
termination-15/cstrcspn_reverse_alloca_true-termination.c.i 25.3  16.0  722165760 .586 .355 41689088
termination-15/cstrlen_diffterm_alloca_true-termination.c.i 10.9  6.56 410714112 .583 .356 41934848
termination-15/cstrlen_malloc_true-termination.c.i 14.6  8.39 406802432 .597 .376 40804352
termination-15/cstrlen_reverse_alloca_true-termination.c.i 11.0  6.66 407322624 .560 .340 40390656
termination-15/cstrncat_diffterm_alloca_true-termination.c.i 12.3  7.47 541220864 .565 .348 40644608
termination-15/cstrncat_malloc_true-termination.c.i 12.7  7.36 518336512 .577 .362 40546304
termination-15/cstrncat_mixed_alloca_true-termination.c.i 14.6  8.62 546484224 .568 .349 40333312
termination-15/cstrncat_reverse_alloca_true-termination.c.i 13.2  7.71 514670592 .581 .350 42459136
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i 14.3  8.27 467394560 .603 .387 40390656
termination-15/cstrncmp_malloc_true-termination.c.i 12.9  8.00 470228992 .591 .374 40357888
termination-15/cstrncmp_mixed_alloca_true-termination.c.i 12.8  7.88 531509248 .555 .335 40046592
termination-15/cstrncmp_reverse_alloca_true-termination.c.i 12.2  7.24 467668992 .568 .346 40062976
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i 17.3  10.2  499888128 .561 .353 40087552
termination-15/cstrncpy_malloc_true-termination.c.i 18.5  11.2  588165120 .589 .352 41508864
termination-15/cstrncpy_mixed_alloca_true-termination.c.i 19.6  11.9  607457280 .586 .358 40656896
termination-15/cstrncpy_reverse_alloca_true-termination.c.i 16.5  10.1  487849984 .549 .351 39485440
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i 43.6  26.6  1313652736 .577 .348 41279488
termination-15/cstrpbrk_malloc_true-termination.c.i 46.5  29.2  1385095168 .574 .343 40075264
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i 24.4  15.2  562360320 .567 .347 40660992
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i 24.5  16.4  608911360 .560 .346 39874560
termination-15/cstrspn_diffterm_alloca_true-termination.c.i 26.0  16.3  541782016 .587 .357 40337408
termination-15/cstrspn_malloc_true-termination.c.i 25.2  15.7  557965312 .569 .353 40804352
termination-15/cstrspn_mixed_alloca_true-termination.c.i 22.8  14.6  558837760 .584 .368 41615360
termination-15/cstrspn_reverse_alloca_true-termination.c.i 23.2  14.8  699236352 .588 .359 40701952
termination-15/array04_alloca_false-termination.c.i 13.2  7.70 410296320 10.7   5.64  440647680
termination-15/array14_alloca_false-termination.c.i 17.6  10.6  523366400 10.6   5.73  436072448
termination-15/array15_alloca_false-termination.c.i 17.3  10.4  483987456 10.8   5.74  442515456
termination-15/array16_alloca_original_false-termination.c.i 24.5  14.3  506613760 901     824     4948324352
termination-15/array19_alloca_false-termination.c.i 11.7  7.11 400621568 10.6   5.56  444198912
termination-15/array20_alloca_false-termination.c.i 13.8  8.23 465653760 8.67  4.58  398471168
termination-recursive-malloc/chunk1_true-termination.c.i 10.4  6.37 375070720 .570 .351 40263680
termination-recursive-malloc/chunk2_true-termination.c.i 91.6  73.7  1120174080 .579 .354 42369024
termination-recursive-malloc/chunk3_true-termination.c.i 210    186    1326428160 .578 .357 40411136
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i 35.9  22.6  618627072 .585 .354 41713664
termination-recursive-malloc/mergeSort_true-termination.c.i 51.5  34.4  1005322240 .574 .351 40939520
termination-recursive-malloc/mutual_simple2_true-termination.c.i 12.6  7.45 490606592 .569 .343 41525248
termination-recursive-malloc/mutual_simple_true-termination.c.i 11.5  6.69 423792640 .574 .348 39936000
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i 16.2  9.67 478777344 .563 .344 40665088
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i 24.4  15.7  517414912 .579 .354 41480192
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i 25.1  16.4  565903360 .593 .373 41226240
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i 25.4  16.4  559558656 .570 .352 40513536
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i 26.5  17.1  555462656 .588 .364 41603072
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i 960    938    833523712 .559 .348 40288256
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i 29.6  19.8  614252544 .573 .354 39890944
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i 25.3  15.7  691437568 .592 .358 39870464
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i 16.2  9.91 474243072 .564 .348 39841792
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i 960    942    1654759424 .565 .354 39792640
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i 27.1  17.4  711176192 .565 .351 40034304
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i 45.9  26.7  1028009984 .586 .352 40677376
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i 12.7  7.56 461090816 .569 .349 40316928
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i 38.6  21.1  1032044544 .578 .349 41893888
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i 46.1  26.2  1047621632 .590 .358 41705472
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i 960    934    939155456 .584 .368 42295296
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i 15.9  9.96 482025472 .575 .351 39899136
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i 14.7  8.56 539897856 .588 .353 41107456
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i 10.8  6.19 370130944 .596 .374 41082880
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i 23.5  14.5  697974784 .581 .362 40759296
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 14.0  8.72 489238528 .558 .346 40501248
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 19.1  11.3  588603392 .594 .355 41144320
array-examples/standard_sentinel_true-unreach-call_true-termination.i 9.77 5.97 334270464 .565 .337 41369600
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 11.4  7.03 424759296 .566 .338 40648704
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 13.3  7.73 457994240 .575 .354 41000960
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 961    927    1881522176 .574 .350 40366080
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 960    929    722300928 .579 .353 41324544
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 15.7  8.82 426151936 .585 .372 41062400
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 11.3  7.00 439062528 .571 .345 39243776
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 12.5  7.63 441610240 .571 .346 40710144
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 7.66 4.78 317923328 3.54  1.96  248098816
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 7.42 4.24 312868864 3.83  2.08  245350400
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 7.35 4.70 310722560 3.70  2.04  246554624
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 7.23 4.11 312451072 3.56  1.99  245166080
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 9.11 5.18 317288448 3.80  2.10  245215232
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 147    123    1507909632 .579 .360 40378368
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 132    106    711012352 .571 .355 40226816
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 99.6  66.7  822050816 .595 .372 41639936
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 16.5  10.3  481701888 .592 .352 39583744
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 16.2  9.71 488734720 39.6   20.2   1722257408
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 16.5  9.55 533090304 43.4   22.1   1648365568
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 16.6  9.91 460316672 .551 .346 39677952
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 18.5  11.2  502042624 .577 .344 40419328
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 14.8  9.25 512049152 .579 .357 40529920
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 13.6  8.26 510189568 .584 .348 39899136
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 15.4  9.48 504356864 .565 .356 39788544
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 7.83 4.73 296919040 .568 .359 40345600
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 6.57 3.76 298831872 .557 .354 39276544
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 6.46 4.17 304549888 .581 .351 40579072
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 6.83 4.40 305000448 .576 .351 39878656
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 8.11 4.87 301035520 .572 .348 40112128
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 11.1  6.21 372408320 .557 .350 40316928
bitvector-regression/signextension2_false-unreach-call_true-termination.c 7.35 4.22 309420032 .568 .348 39890944
bitvector-regression/signextension2_true-unreach-call_true-termination.c 6.29 4.07 295014400 .561 .343 40071168
bitvector-regression/signextension_false-unreach-call_true-termination.c 6.55 3.78 300638208 .581 .363 40669184
bitvector-regression/signextension_true-unreach-call_true-termination.c 7.74 4.72 304099328 .563 .348 39706624
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 26.8  18.9  589107200 .582 .363 42627072
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 18.4  10.9  548380672 .576 .361 40845312
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 20.2  11.8  543920128 .574 .345 40697856
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 13.9  8.09 453324800 .575 .347 39702528
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 15.6  8.94 497156096 .576 .350 39936000
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 14.7  8.50 466833408 .574 .347 41021440
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 17.4  9.84 550957056 .585 .364 41222144
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 16.6  9.86 540504064 .553 .350 40337408
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.30 5.12 317800448 .551 .334 40144896
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 12.0  7.16 343101440 .572 .361 40361984
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 10.5  6.24 345202688 .577 .346 40022016
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 136    113    1121816576 902     853     4138033152
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 51.1  30.1  1051566080 902     853     4573560832
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 56.1  33.7  1199665152 902     866     3908337664
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 50.9  30.1  1047674880 901     811     5051428864
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 62.2  36.7  1565421568 902     823     5123706880
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 44.6  25.5  912736256 902     862     4540817408
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 44.5  25.7  1072193536 901     859     4454096896
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 25.1  14.8  519569408 34.1   17.8   855801856
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 12.6  7.83 457805824 9.64  5.08  435597312
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 53.4  30.5  957685760 902     854     5151490048
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 64.0  36.9  1397014528 902     854     4673781760
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 51.9  29.8  934838272 901     855     4565123072
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 49.1  28.4  1124225024 902     850     4412502016
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 50.9  29.5  1376186368 902     853     4236759040
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 51.5  29.5  1145950208 902     859     3985809408
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 47.2  27.1  987541504 902     864     2977685504
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 52.4  30.2  981929984 902     855     4434984960
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 46.0  25.3  682422272 .619 .375 41324544
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 44.5  24.5  714481664 .569 .352 39727104
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 44.2  25.4  948998144 .603 .373 40566784
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 44.9  25.7  753819648 .566 .350 39952384
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 46.2  26.6  727154688 .573 .345 41725952
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 96.7  55.6  978423808 .570 .343 40058880
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 45.0  25.6  725856256 .584 .364 40050688
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 47.3  26.9  765808640 .587 .355 40828928
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 14.2  8.22 564076544 33.0   21.8   1176580096
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 15.3  8.86 479969280 39.3   27.1   1462657024
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 19.0  10.2  729554944 47.8   34.5   1689403392
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 19.7  11.1  1140178944 60.3   45.7   2251694080
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 16.9  9.57 737697792 63.3   48.3   2302668800
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 27.5  15.9  2517151744 73.8   57.9   2406514688
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 20.9  11.8  1284800512 73.8   59.3   2395734016
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 46.6  27.6  3623960576 88.6   71.8   2891022336
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 9.09 5.21 317198336 13.3   6.86  483430400
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 9.61 5.37 334315520 15.8   8.64  540151808
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 9.56 5.74 335908864 19.7   10.9   683167744
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 10.6  6.42 366411776 21.8   13.2   803655680
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 13.2  7.26 456761344 26.8   17.0   925106176
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 44.8  25.7  951132160 .623 .391 41287680
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 72.7  56.4  1109020672 .561 .339 40337408
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 962    505    13455282176 .610 .384 41979904
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 962    504    13382860800 .558 .355 40611840
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 962    504    13545209856 .567 .356 39956480
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 962    501    13541302272 .584 .358 41791488
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 962    501    13548400640 .565 .349 40472576
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 962    502    13542940672 .584 .363 40960000
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 962    502    13555953664 .579 .387 39804928
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 962    501    13351972864 .571 .348 40050688
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 962    500    13387509760 .567 .344 40480768
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 962    505    13385027584 .566 .349 40046592
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 962    502    13351661568 .579 .361 40177664
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 962    504    13358985216 .590 .361 40943616
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 962    507    13535866880 .566 .344 40148992
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 962    502    13340938240 .569 .352 39866368
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 962    503    13335523328 .557 .347 39878656
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 962    503    13351952384 .578 .367 41893888
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 962    501    13541720064 .586 .352 40583168
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 962    501    13344964608 .561 .362 40558592
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 962    508    13516566528 .581 .371 39677952
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 962    507    13482344448 .568 .350 40460288
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 962    500    13285027840 .572 .351 41996288
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 962    504    13335322624 .576 .363 40652800
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 962    505    13327286272 .573 .356 39907328
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 962    502    13382799360 .560 .342 39641088
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 962    504    13457612800 .557 .359 39849984
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 962    504    13537554432 .564 .360 40292352
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 962    508    13477457920 .593 .376 40583168
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 962    508    13464403968 .607 .371 40517632
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 962    505    13551587328 .558 .351 40767488
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 962    501    13516918784 .552 .341 39591936
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 962    503    13542264832 .557 .345 40828928
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 962    504    13467463680 .560 .344 40185856
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 962    501    13288407040 .564 .351 40415232
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 962    501    13534752768 .578 .349 40235008
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 962    500    13533286400 .554 .352 40210432
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 962    502    13561413632 .560 .340 39178240
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 962    500    13535027200 .576 .349 41684992
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 962    501    13349244928 .575 .343 40009728
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 962    506    13449658368 .596 .381 41140224
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 962    500    13349978112 .575 .347 40153088
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 962    503    13305171968 .574 .348 39890944
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 962    501    13333671936 .576 .366 40378368
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 962    501    13550149632 .566 .344 39956480
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 962    501    13540417536 .575 .357 40591360
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 962    501    13554094080 .632 .402 41156608
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 962    505    13497827328 .574 .361 39784448
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 962    503    13324709888 .553 .341 39981056
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 962    505    13528838144 .581 .368 40284160
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 962    506    13356064768 .594 .353 39936000
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 962    505    13391413248 .586 .350 41115648
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 962    506    13327716352 .577 .353 40968192
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 962    505    13553745920 .572 .344 41000960
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 962    503    13541208064 .590 .351 40742912
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 962    502    13362065408 .585 .368 40239104
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 962    503    13532274688 .606 .381 40554496
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 962    502    13539352576 .581 .361 40628224
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 962    503    13560373248 .560 .337 40402944
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 962    501    13538582528 .585 .356 40898560
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 962    501    13346521088 .578 .355 41373696
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 962    505    13425090560 .596 .368 40779776
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 40.1  23.4  660770816 18.0   9.25  570322944
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 42.2  24.5  827228160 18.8   9.60  572186624
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 40.3  24.0  792887296 18.9   9.74  547315712
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 41.7  24.0  797655040 19.1   9.75  581365760
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 46.6  27.3  664760320 18.5   9.51  557309952
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 46.2  27.1  659476480 18.2   9.38  571842560
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 40.5  23.7  788197376 18.3   9.38  594862080
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 37.2  21.8  659304448 19.0   9.79  585588736
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 40.6  23.8  669937664 19.0   9.73  573157376
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 40.3  23.8  682168320 19.7   10.1   581447680
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 39.6  23.3  791687168 18.4   9.43  574185472
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 42.7  24.4  796332032 18.9   9.73  718716928
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 47.5  27.8  811261952 18.4   9.44  597364736
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 51.3  29.2  661929984 18.7   9.56  565743616
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 48.2  28.1  805629952 17.8   9.15  554852352
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 38.2  22.6  792932352 18.3   9.41  571236352
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 41.1  23.8  790933504 19.2   9.84  548110336
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 49.8  28.7  664125440 18.8   9.61  555933696
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 38.6  22.4  661807104 18.7   9.58  565886976
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 35.0  20.6  683659264 18.7   9.57  590790656
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 36.3  21.1  669016064 18.4   9.43  601526272
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 38.4  22.3  669446144 17.7   9.11  571211776
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 39.8  23.0  799195136 18.9   9.63  549683200
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 39.1  23.0  665579520 18.7   9.63  591880192
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 38.2  22.1  649240576 18.4   9.42  570167296
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 39.4  22.9  803868672 19.7   10.1   593829888
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 39.6  23.0  788611072 16.8   8.59  561025024
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 42.8  24.5  781680640 18.2   9.35  581468160
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 37.8  22.5  803524608 18.8   9.63  589139968
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 39.2  22.6  790863872 17.6   9.01  537870336
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 39.2  22.9  677351424 18.4   9.49  577445888
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 47.8  27.8  796073984 18.5   9.52  561700864
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 39.1  22.6  648548352 17.6   9.07  583540736
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 40.1  23.5  681529344 17.9   9.19  574853120
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 36.7  21.8  669102080 17.7   9.07  559800320
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 38.4  22.4  791560192 18.0   9.27  576671744
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 37.2  22.2  793931776 17.7   9.11  566382592
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 42.9  25.2  793415680 18.5   9.46  583188480
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 35.5  20.9  667557888 19.0   9.68  568807424
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 38.1  22.4  798900224 18.4   9.47  557670400
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 39.2  23.1  676048896 19.2   9.82  580341760
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 37.2  22.0  797544448 18.9   9.67  561725440
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 38.3  22.8  826470400 18.3   9.40  583135232
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 39.8  23.2  803885056 17.9   9.19  589332480
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 39.0  22.9  674803712 18.8   9.65  552910848
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 38.0  22.2  649904128 19.8   10.1   586870784
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 44.5  26.2  806637568 20.0   10.2   586739712
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 35.6  21.3  666267648 18.3   9.40  588398592
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 46.9  27.2  806305792 19.8   10.2   604258304
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 42.5  24.7  675516416 18.1   9.27  574042112
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 50.4  29.1  789381120 18.8   9.64  582995968
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 38.1  22.4  667492352 17.8   9.14  571260928
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 41.2  24.0  676286464 19.2   9.83  569139200
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 40.7  23.8  824393728 18.0   9.26  559943680
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 43.9  26.0  787562496 18.2   9.39  580960256
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 42.5  25.1  662429696 18.5   9.48  553390080
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 38.2  22.2  667881472 18.5   9.51  578183168
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 35.6  21.1  685723648 19.2   9.86  566185984
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 37.1  22.1  661151744 18.4   9.42  587358208
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 43.6  25.2  798150656 18.5   9.48  592445440
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 962    598    13402152960 .594 .378 40128512
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 961    568    13423489024 .555 .342 39731200
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 962    596    13348638720 .566 .341 40103936
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 962    596    13361008640 .570 .346 40669184
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 962    614    13441716224 .565 .349 40214528
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 962    595    13349883904 .568 .350 40128512
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 962    584    13422968832 .597 .377 40378368
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 962    596    13389623296 .605 .384 42045440
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 962    591    13308096512 .582 .360 41869312
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 962    593    13391773696 .574 .352 40255488
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 962    614    13406167040 .575 .355 40353792
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 962    590    13535055872 .598 .385 39665664
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 962    593    13352222720 .564 .347 40194048
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 962    579    13343588352 .549 .350 39485440
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 962    599    13389684736 .571 .344 39854080
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 962    591    13424689152 .571 .351 39968768
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 962    594    13356933120 .550 .343 40472576
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 962    616    13239017472 .569 .342 40796160
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 962    588    13361156096 .601 .376 40210432
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c 311    238    4221456384 .560 .341 39833600
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c 288    218    3734306816 .538 .342 39301120
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 324    243    3588685824 .571 .344 40022016
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c 298    225    3634094080 .570 .353 41525248
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c 305    232    3159842816 .562 .343 40194048
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c 307    231    4011094016 .592 .394 40161280
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c 315    244    3553218560 .598 .366 41603072
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c 310    237    3433021440 .552 .338 39567360
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 285    217    3425689600 .565 .349 39919616
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c 305    232    4177489920 .583 .362 41041920
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 341    254    3633152000 .560 .335 40923136
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 379    291    4176486400 .578 .358 40321024
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 317    240    3996057600 .558 .341 40546304
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 357    272    3737624576 .577 .360 40849408
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 329    253    3681591296 .573 .349 40534016
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c 341    255    4037931008 .573 .348 40853504
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c 283    215    3380129792 .596 .361 41115648
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c 313    237    3490463744 .574 .348 40534016
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 299    230    3790999552 .612 .396 40239104
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c 297    228    3603513344 .571 .359 39845888
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c 322    244    3608535040 .566 .355 40013824
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c 323    247    3369545728 .576 .362 41447424
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 349    263    3803500544 .571 .339 40243200
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c 382    289    3578929152 .582 .362 40255488
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c 300    227    4037713920 .590 .363 42172416
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c 380    284    3959488512 .569 .344 39546880
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c 334    255    3419049984 .573 .352 40538112
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 290    220    3429351424 .562 .355 39768064
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 326    248    3705847808 .584 .368 40722432
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 296    223    3438780416 .566 .342 40644608
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c 316    238    3870138368 .593 .368 40456192
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 304    232    3194589184 .567 .356 41324544
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c 319    246    3637518336 .578 .356 41750528
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c 301    230    3519643648 .603 .390 41312256
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 339    254    3980513280 .586 .359 41283584
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c 298    224    3618357248 .583 .367 40439808
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c 290    220    4062478336 .573 .347 40026112
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 293    223    4314148864 .582 .348 41947136
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c 305    231    3693387776 .570 .347 40017920
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 309    236    3559673856 .559 .355 40755200
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 288    218    3427962880 .573 .359 41119744
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 328    252    3504230400 .559 .341 39821312
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c 307    234    3098505216 .580 .355 42070016
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 339    260    3477864448 .603 .382 42151936
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 312    238    3467673600 .607 .380 40075264
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c 299    228    3582193664 .566 .352 40198144
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c 296    221    4070498304 .553 .346 39866368
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c 301    226    3866906624 .570 .365 39985152
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c 304    233    3559460864 .577 .347 39845888
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c 317    239    3325325312 .575 .358 40165376
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c 327    246    3644354560 .600 .385 41033728
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c 333    255    3473571840 .566 .358 40185856
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 366    275    3846479872 .578 .365 40640512
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c 360    274    3764473856 .566 .351 40665088
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 286    217    3266490368 .565 .345 41238528
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c 304    233    3511799808 .558 .343 39866368
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 318    246    3312070656 .586 .362 40603648
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 303    233    3330093056 .563 .343 40189952
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 314    243    3463077888 .569 .355 40357888
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c 346    260    3308777472 .557 .347 40382464
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 961    871    5450375168 .573 .352 40112128
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c 20.8  11.4  601268224 110     69.0   3798007808
psyco/psyco_io_1_true-unreach-call_false-termination.c 9.42 5.75 319459328 12.5   6.51  475566080
psyco/psyco_math_1_true-unreach-call_false-termination.c 10.4  6.26 347660288 13.7   7.13  488902656
psyco/psyco_net_1_false-unreach-call_false-termination.c 52.0  31.1  2034835456 133     105     10799112192
psyco/psyco_security_true-unreach-call_false-termination.c 11.5  6.43 318185472 16.1   8.32  610516992
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i 6.46 4.19 299061248 .591 .358 40333312
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i 6.23 4.08 298700800 .566 .340 39403520
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i 6.50 4.15 295137280 .565 .351 40718336
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i 7.83 4.44 296644608 .568 .352 39833600
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i 6.40 4.11 303566848 .572 .360 40411136
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i 6.42 3.76 297828352 .585 .367 40771584
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i 6.48 3.82 296972288 .557 .348 39919616
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i 6.27 4.08 298778624 .591 .356 42266624
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i 6.35 4.14 293699584 .591 .366 41316352
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i 7.55 4.28 305655808 .568 .346 40046592
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i 6.59 4.23 304250880 .586 .352 41828352
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i 7.15 4.46 302841856 .556 .336 40251392
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i 6.58 4.26 311717888 .553 .340 40222720
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i 6.77 3.91 306868224 .566 .350 40083456
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i 6.75 3.85 310960128 .615 .394 41320448
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i 8.69 5.15 303529984 .575 .363 40226816
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i 8.27 4.98 305438720 .568 .341 40570880
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i 6.40 4.15 302456832 .574 .356 40624128
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i 6.62 4.23 302923776 .585 .359 41132032
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i 6.83 4.31 305844224 .571 .339 39931904
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i 6.36 4.12 303943680 .570 .357 39686144
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i 6.58 4.18 311246848 .579 .354 40644608
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i 6.74 4.31 313122816 .584 .357 40509440
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i 8.56 4.76 313892864 .578 .357 40222720
floats-cdfpl/sine_1_false-unreach-call_true-termination.i 7.99 4.35 308191232 .568 .345 39505920
floats-cdfpl/sine_2_false-unreach-call_true-termination.i 6.47 4.13 293359616 .616 .395 39665664
floats-cdfpl/sine_3_false-unreach-call_true-termination.i 6.40 3.70 299724800 .582 .357 40812544
floats-cdfpl/sine_4_true-unreach-call_true-termination.i 8.20 4.64 300552192 .581 .355 40284160
floats-cdfpl/sine_5_true-unreach-call_true-termination.i 6.58 4.19 300175360 .583 .354 40038400
floats-cdfpl/sine_6_true-unreach-call_true-termination.i 6.55 4.23 295657472 .581 .360 40984576
floats-cdfpl/sine_7_true-unreach-call_true-termination.i 6.48 4.14 304631808 .575 .359 40353792
floats-cdfpl/sine_8_true-unreach-call_true-termination.i 6.10 4.02 293916672 .569 .345 39653376
floats-cdfpl/square_1_false-unreach-call_true-termination.i 8.09 4.54 301711360 .594 .349 40222720
floats-cdfpl/square_2_false-unreach-call_true-termination.i 7.88 4.42 307421184 .572 .356 40255488
floats-cdfpl/square_3_false-unreach-call_true-termination.i 6.59 4.20 300142592 .563 .344 39931904
floats-cdfpl/square_4_true-unreach-call_true-termination.i 6.58 4.26 303378432 .569 .347 40435712
floats-cdfpl/square_5_true-unreach-call_true-termination.i 8.05 4.55 302755840 .566 .342 40198144
floats-cdfpl/square_6_true-unreach-call_true-termination.i 6.40 4.18 299171840 .592 .379 40271872
floats-cdfpl/square_7_true-unreach-call_true-termination.i 8.73 4.93 305545216 .578 .346 41922560
floats-cdfpl/square_8_true-unreach-call_true-termination.i 6.55 4.20 294850560 .576 .349 41635840
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i 6.52 4.22 299958272 .589 .368 39727104
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i 6.96 3.93 301694976 .563 .344 39854080
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i 7.06 3.98 302153728 .590 .389 40185856
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i 7.11 4.05 293445632 .595 .365 39923712
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i 6.61 4.16 295088128 .595 .383 39710720
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i 7.57 4.23 312172544 .602 .392 40927232
floats-cbmc-regression/float11_true-unreach-call_true-termination.i 6.75 4.41 307634176 .555 .349 39657472
floats-cbmc-regression/float12_true-unreach-call_true-termination.i 6.76 3.92 294514688 .596 .360 41725952
floats-cbmc-regression/float13_true-unreach-call_true-termination.i 6.71 4.35 304091136 .580 .354 40062976
floats-cbmc-regression/float1_true-unreach-call_true-termination.i 6.51 4.18 292929536 .567 .359 40185856
floats-cbmc-regression/float20_true-unreach-call_true-termination.i 7.38 4.16 317616128 .582 .379 40443904
floats-cbmc-regression/float22_true-unreach-call_true-termination.i 7.92 4.45 315961344 .572 .344 40247296
floats-cbmc-regression/float2_true-unreach-call_true-termination.i 6.65 4.29 301301760 .561 .346 40054784
floats-cbmc-regression/float3_true-unreach-call_true-termination.i 8.10 4.89 306249728 .583 .361 41873408
floats-cbmc-regression/float5_true-unreach-call_true-termination.i 7.11 4.47 307650560 .577 .358 40259584
floats-cbmc-regression/float6_true-unreach-call_true-termination.i 7.65 4.79 312778752 .571 .349 39886848
ldv-regression/1_3_true-termination.c_false-unreach-call.i 8.64 4.70 312532992 .575 .352 40325120
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 6.62 4.25 310599680 .585 .360 40837120
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 8.66 4.78 304328704 .578 .346 39858176
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 6.36 3.70 306184192 .559 .351 40656896
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 8.26 4.69 304017408 .568 .373 39821312
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 8.51 4.73 311410688 .564 .355 40443904
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 6.97 3.85 305377280 .557 .343 39763968
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 127    114    551325696 .568 .345 41644032
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 7.31 4.57 311058432 .574 .352 40620032
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 7.49 4.63 303980544 .561 .359 39927808
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 7.77 4.32 316837888 .567 .359 39833600
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 6.63 4.23 306651136 .569 .349 41504768
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 6.82 4.28 309182464 .574 .364 40321024
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 6.53 4.15 303681536 .598 .381 39997440
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 6.43 4.19 303931392 .600 .389 40865792
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 6.40 4.22 308502528 .577 .347 40194048
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 6.89 4.39 311209984 .587 .360 40894464
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 7.61 4.77 305508352 .602 .382 40656896
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 8.38 4.69 311578624 .558 .351 39960576
ldv-regression/nested_structure_true-unreach-call_true-termination.i 6.82 4.29 308912128 .566 .342 40435712
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 6.43 4.13 296312832 .552 .354 39464960
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 8.21 4.59 297889792 .586 .373 41177088
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 7.15 4.09 311062528 .577 .348 40189952
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 6.78 4.39 306061312 .577 .367 41623552
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 7.42 4.56 308281344 .571 .344 39784448
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 8.05 4.94 325427200 .585 .353 40169472
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 7.60 4.75 309415936 .592 .355 42618880
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 8.11 4.56 319836160 .579 .346 40820736
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 7.11 4.09 308170752 .564 .347 39731200
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 6.68 4.27 311779328 .611 .376 41189376
ldv-regression/test_address_true-termination.c_true-unreach-call.i 8.11 5.02 309243904 .601 .388 41201664
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 6.38 4.13 298319872 .586 .356 40697856
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 7.32 4.52 307834880 .562 .355 40235008
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 7.41 4.21 313397248 .574 .360 40878080
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 7.12 4.63 311353344 .600 .380 41279488
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 6.83 4.30 316841984 .578 .350 40439808
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 6.46 4.18 304132096 .558 .351 40783872
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 8.10 4.61 305086464 .571 .348 40112128
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 7.62 4.69 297037824 .569 .352 40312832
ldv-regression/test_union_true-termination.c_true-unreach-call.i 6.21 4.07 296050688 .592 .357 41529344
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 6.62 3.85 308412416 .575 .360 40030208
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 9.32 5.42 323436544 .561 .340 40394752
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 8.22 4.81 319557632 .582 .360 41226240
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 6.57 4.20 308097024 .570 .346 39915520
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 7.82 4.39 313217024 .567 .350 40464384
ldv-regression/stateful_check_false-unreach-call_false-termination.i 8.30 5.22 315990016 6.45  3.47  276463616
ldv-regression/test01_true-unreach-call_true-termination.c 6.81 4.34 305381376 .564 .351 40263680
ldv-regression/test02_false-unreach-call_true-termination.c 6.77 4.30 313470976 .581 .352 39960576
ldv-regression/test03_true-unreach-call_true-termination.c 6.67 4.23 313274368 .558 .345 39968768
ldv-regression/test04_true-unreach-call_true-termination.c 6.70 4.24 312004608 .601 .381 40665088
ldv-regression/test05_true-unreach-call_true-termination.c 7.31 4.16 313647104 .563 .348 40177664
ldv-regression/test06_false-unreach-call_true-termination.c 7.33 4.13 309874688 .568 .350 40046592
ldv-regression/test07_true-unreach-call_true-termination.c 7.72 4.76 305737728 .571 .345 39809024
ldv-regression/test08_false-unreach-call_true-termination.c 8.30 4.64 307736576 .574 .350 40464384
ldv-regression/test09_true-unreach-call_true-termination.c 7.58 4.29 312553472 .583 .368 39645184
ldv-regression/test10_true-unreach-call_true-termination.c 7.21 4.11 313528320 .556 .351 40292352
ldv-regression/test11_true-unreach-call_true-termination.c 8.81 4.92 307036160 .548 .336 39493632
ldv-regression/test12_false-unreach-call_true-termination.c 7.63 4.64 298618880 .600 .366 42037248
ldv-regression/test13_true-unreach-call_true-termination.c 6.77 4.32 308662272 .577 .360 40448000
ldv-regression/test14_true-unreach-call_true-termination.c 9.07 5.32 315428864 .594 .385 41213952
ldv-regression/test15_true-unreach-call_true-termination.c 6.81 4.33 305029120 .570 .360 40103936
ldv-regression/test16_true-unreach-call_true-termination.c 6.69 3.80 300503040 .566 .363 40837120
ldv-regression/test17_true-unreach-call_true-termination.c 6.79 4.31 311504896 .609 .387 41058304
ldv-regression/test18_true-unreach-call_true-termination.c 8.22 4.66 309424128 .567 .356 39833600
ldv-regression/test19_true-unreach-call_true-termination.c 7.74 4.33 313716736 .585 .367 41185280
ldv-regression/test20_true-unreach-call_true-termination.c 6.63 4.21 301756416 .560 .356 40067072
ldv-regression/test21_false-unreach-call_true-termination.c 8.22 4.97 309977088 .563 .357 39579648
ldv-regression/test21_true-unreach-call_true-termination.c 7.00 4.40 308789248 .571 .347 41922560
ldv-regression/test24_true-unreach-call_true-termination.c 12.2  7.39 378081280 .588 .382 40501248
ldv-regression/test25_false-unreach-call_true-termination.c 960    951    522600448 .612 .385 40837120
ldv-regression/test26_false-unreach-call_true-termination.c 6.64 4.30 308830208 .609 .384 40202240
ldv-regression/test26_true-unreach-call_true-termination.c 6.35 4.08 300347392 .572 .345 40181760
ldv-regression/test27_false-unreach-call_true-termination.c 960    949    634474496 .575 .376 42856448
ldv-regression/test27_true-unreach-call_true-termination.c 960    947    656134144 .603 .375 41869312
ldv-regression/test28_false-unreach-call_true-termination.c 6.98 4.44 314499072 .564 .338 39702528
ldv-regression/test28_true-unreach-call_true-termination.c 6.81 4.36 310210560 .574 .365 40751104
ldv-regression/test29_false-unreach-call_true-termination.c 7.43 4.29 311398400 .577 .347 40361984
ldv-regression/test29_true-unreach-call_true-termination.c 6.68 3.84 306061312 .572 .363 40443904
ldv-regression/test30_false-unreach-call_true-termination.c 6.91 4.35 306876416 .584 .362 40087552
ldv-regression/test30_true-unreach-call_true-termination.c 6.90 3.98 303792128 .591 .362 40235008
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i 15.7  9.26 548245504 .568 .352 39682048
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i 7.38 4.50 308572160 .591 .368 42225664
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i 7.25 4.51 321150976 .568 .343 40439808
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i 8.50 4.98 311394304 .563 .347 40972288
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i 7.52 4.62 313049088 .554 .342 40165376
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 34.6  23.7  698646528 .568 .354 41005056
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 27.1  19.4  564219904 .622 .390 39882752
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i 12.4  7.50 464138240 902     889     904634368
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i 12.6  7.71 454225920 902     878     4045000704
ldv-sets/test_add_false-unreach-call_true-termination.i 11.0  6.59 379637760 .588 .350 40108032
ldv-sets/test_add_true-unreach-call_true-termination.i 11.6  6.92 374386688 .561 .344 39940096
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i 16.9  10.2  535371776 .579 .354 40378368
loops/for_infinite_loop_1_true-unreach-call_false-termination.i 11.4  6.47 322080768 3.59  2.00  245252096
loops/for_infinite_loop_2_true-unreach-call_false-termination.i 8.84 5.15 321179648 3.65  2.02  238092288
loops/n.c11_true-unreach-call_false-termination.i 15.4  10.6  424472576 902     867     4218683392
loops/nec11_false-unreach-call_false-termination.i 10.2  5.81 344186880 892     856     4234792960
loops/sum03_true-unreach-call_false-termination.i 84.4  68.0  1128452096 .560 .338 40022016
loops/trex04_true-unreach-call_false-termination.i 16.9  12.8  377991168 5.72  3.11  304951296
loops/while_infinite_loop_1_true-unreach-call_false-termination.i 6.99 4.39 314470400 3.67  2.00  246697984
loops/while_infinite_loop_2_true-unreach-call_false-termination.i 8.63 5.26 311345152 3.50  1.95  242262016
loops/while_infinite_loop_3_true-unreach-call_false-termination.i 7.34 4.69 314523648 4.42  2.41  253476864
loops/array_false-unreach-call_true-termination.i 23.0  12.4  683474944 .565 .347 41070592
loops/array_true-unreach-call_true-termination.i 20.9  11.8  544698368 .606 .381 40742912
loops/bubble_sort_true-unreach-call_true-termination.i 647    627    961548288 .586 .374 40005632
loops/count_up_down_false-unreach-call_true-termination.i 59.8  50.2  605577216 .585 .370 40820736
loops/count_up_down_true-unreach-call_true-termination.i 64.7  54.1  593166336 .569 .344 40030208
loops/eureka_01_false-unreach-call_true-termination.i 961    904    1683824640 .562 .345 39575552
loops/eureka_05_true-unreach-call_true-termination.i 960    951    935456768 .584 .370 39919616
loops/for_bounded_loop1_false-unreach-call_true-termination.i 10.1  6.18 342175744 .567 .349 40845312
loops/insertion_sort_false-unreach-call_true-termination.i 21.6  13.5  508981248 .571 .343 40845312
loops/insertion_sort_true-unreach-call_true-termination.i 22.5  13.8  509353984 .560 .346 40120320
loops/invert_string_false-unreach-call_true-termination.i 19.2  11.9  562319360 .585 .367 40214528
loops/invert_string_true-unreach-call_true-termination.i 45.9  33.9  533106688 .598 .377 39669760
loops/matrix_false-unreach-call_true-termination.i 56.3  42.9  663425024 .615 .380 41242624
loops/matrix_true-unreach-call_true-termination.i 312    299    2083323904 .564 .351 40624128
loops/n.c40_true-unreach-call_true-termination.i 8.05 5.02 316092416 .560 .341 40456192
loops/nec20_false-unreach-call_true-termination.i 8.22 5.23 317657088 .602 .376 40869888
loops/nec40_true-unreach-call_true-termination.i 7.98 4.63 314896384 .609 .390 40271872
loops/string_false-unreach-call_true-termination.i 62.7  45.6  832135168 .570 .345 39497728
loops/string_true-unreach-call_true-termination.i 85.6  64.5  904159232 .551 .344 40280064
loops/sum01_bug02_false-unreach-call_true-termination.i 10.5  6.61 360992768 .588 .368 41971712
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 13.1  7.38 360230912 .573 .351 40792064
loops/sum01_false-unreach-call_true-termination.i 9.39 5.90 338403328 .567 .342 39845888
loops/sum01_true-unreach-call_true-termination.i 8.96 5.13 318930944 .602 .395 40075264
loops/sum03_false-unreach-call_true-termination.i 960    952    876867584 .576 .352 40263680
loops/sum04_false-unreach-call_true-termination.i 8.66 5.48 323256320 .588 .373 40030208
loops/sum04_true-unreach-call_true-termination.i 8.39 5.29 313724928 .573 .348 41201664
loops/terminator_01_false-unreach-call_true-termination.i 9.87 6.10 338354176 .595 .369 41328640
loops/terminator_02_false-unreach-call_true-termination.i 12.7  7.96 455741440 .584 .351 41123840
loops/terminator_02_true-unreach-call_true-termination.i 15.1  8.74 463446016 .580 .366 40144896
loops/terminator_03_false-unreach-call_true-termination.i 10.9  6.57 325021696 .584 .352 40497152
loops/terminator_03_true-unreach-call_true-termination.i 20.4  17.3  427331584 .564 .361 41213952
loops/trex01_false-unreach-call_true-termination.i 57.6  45.9  734687232 .567 .353 39755776
loops/trex01_true-unreach-call_true-termination.i 151    140    730361856 .565 .354 40529920
loops/trex02_false-unreach-call_true-termination.i 9.31 5.30 324321280 .577 .357 40366080
loops/trex02_true-unreach-call_true-termination.i 9.03 5.59 320573440 .561 .341 40988672
loops/trex03_false-unreach-call_true-termination.i 47.2  37.7  644927488 .587 .352 40693760
loops/trex03_true-unreach-call_true-termination.i 43.1  34.5  567111680 .563 .353 40124416
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i 10.4  6.47 406175744 .563 .340 40148992
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i 50.0  35.0  700993536 .574 .354 39915520
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i 18.9  10.4  639746048 .597 .367 42483712
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i 10.8  6.60 402325504 .562 .345 40157184
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i 23.6  14.5  528244736 .578 .345 40026112
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 6.90 4.43 312844288 .572 .342 39546880
loop-acceleration/array_false-unreach-call1_true-termination.i 9.78 5.97 316719104 .581 .347 40972288
loop-acceleration/array_false-unreach-call2_true-termination.i 10.1  6.26 342016000 .603 .379 41107456
loop-acceleration/array_false-unreach-call3_true-termination.i 960    928    943616000 .567 .354 40148992
loop-acceleration/array_true-unreach-call1_true-termination.i 9.21 5.75 314404864 .564 .347 39796736
loop-acceleration/array_true-unreach-call2_true-termination.i 10.7  6.29 339193856 .576 .348 40005632
loop-acceleration/array_true-unreach-call3_true-termination.i 960    925    688820224 .603 .373 40960000
loop-acceleration/array_true-unreach-call4_true-termination.i 961    929    943218688 .558 .354 39710720
loop-acceleration/diamond_true-unreach-call1_true-termination.i 66.3  58.5  625885184 .568 .341 40783872
loop-acceleration/functions_false-unreach-call1_true-termination.i 73.3  63.7  1174007808 .582 .359 40402944
loop-acceleration/functions_true-unreach-call1_true-termination.i 72.3  63.0  1134923776 .614 .401 42426368
loop-acceleration/multivar_false-unreach-call1_true-termination.i 66.1  58.1  641937408 .589 .360 39809024
loop-acceleration/multivar_true-unreach-call1_true-termination.i 64.8  57.1  662597632 .578 .369 40914944
loop-acceleration/simple_false-unreach-call2_true-termination.i 42.5  36.7  532279296 .576 .346 40226816
loop-acceleration/simple_false-unreach-call3_true-termination.i 70.9  63.6  671113216 .549 .339 39936000
loop-acceleration/simple_true-unreach-call2_true-termination.i 43.3  37.2  518660096 .597 .380 40730624
loop-acceleration/simple_true-unreach-call3_true-termination.i 71.6  63.5  619290624 .570 .358 40013824
loop-acceleration/underapprox_false-unreach-call1_true-termination.i 79.9  67.5  756117504 .550 .350 40079360
loop-acceleration/underapprox_false-unreach-call2_true-termination.i 68.5  53.9  683368448 .593 .352 40640512
loop-acceleration/underapprox_true-unreach-call1_true-termination.i 79.0  67.7  687992832 .581 .350 41111552
loop-acceleration/underapprox_true-unreach-call2_true-termination.i 63.6  52.1  787656704 .572 .341 39624704
loop-acceleration/phases_false-unreach-call2_false-termination.i 8.34 5.44 317960192 4.92  2.79  270475264
loop-acceleration/phases_true-unreach-call2_false-termination.i 8.01 5.16 316809216 5.11  2.87  278339584
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i 7.89 4.50 318345216 5.95  3.20  320495616
loop-invgen/string_concat-noarr_true-unreach-call_false-termination.i 375    284    842248192 280     264     10029326336
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i 9.32 5.79 333848576 .573 .365 39944192
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i 8.73 5.50 320155648 .568 .345 40972288
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i 10.7  6.58 368812032 .565 .359 40747008
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i 9.66 6.01 342429696 .578 .354 41742336
loop-invgen/down_true-unreach-call_true-termination.i 10.3  6.37 362737664 .594 .369 39936000
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i 10.2  6.14 381652992 .575 .357 40538112
loop-invgen/half_2_true-unreach-call_true-termination.i 11.1  6.93 424169472 .560 .353 39968768
loop-invgen/heapsort_true-unreach-call_true-termination.i 28.1  17.6  639315968 .574 .343 39731200
loop-invgen/id_build_true-unreach-call_true-termination.i 960    951    2478592000 .581 .363 40706048
loop-invgen/id_trans_false-unreach-call_true-termination.i 12.6  7.70 491347968 .568 .363 39718912
loop-invgen/large_const_true-unreach-call_true-termination.i 10.8  6.27 381689856 .558 .339 40071168
loop-invgen/nest-if3_true-unreach-call_true-termination.i 13.9  8.15 439648256 .573 .356 39813120
loop-invgen/nested6_true-unreach-call_true-termination.i 14.8  9.57 522924032 .557 .351 39948288
loop-invgen/nested9_true-unreach-call_true-termination.i 45.2  31.2  613883904 .577 .351 40677376
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i 9.94 6.14 349224960 .579 .346 41148416
loop-invgen/seq_true-unreach-call_true-termination.i 12.8  8.57 389181440 .605 .356 42098688
loop-invgen/up_true-unreach-call_true-termination.i 10.5  6.61 381501440 .596 .355 40431616
loop-lit/afnp2014_true-unreach-call_true-termination.c.i 8.31 4.77 318476288 .571 .351 39849984
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i 9.10 5.71 328237056 .559 .349 40083456
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i 8.41 5.30 322543616 .576 .347 40689664
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i 8.61 5.31 313376768 .593 .372 40452096
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i 12.8  8.42 433790976 .569 .344 40960000
loop-lit/css2003_true-unreach-call_true-termination.c.i 9.64 5.88 329121792 .559 .360 40390656
loop-lit/gj2007_true-unreach-call_true-termination.c.i 10.8  6.19 323772416 .561 .356 39841792
loop-lit/gj2007b_true-unreach-call_true-termination.c.i 8.02 5.05 315228160 .597 .370 41705472
loop-lit/gr2006_true-unreach-call_true-termination.c.i 11.2  6.99 398520320 .565 .351 40439808
loop-lit/gsv2008_true-unreach-call_true-termination.c.i 11.7  7.14 323670016 .583 .364 40587264
loop-lit/hhk2008_true-unreach-call_true-termination.c.i 8.44 4.91 317960192 .594 .364 39858176
loop-lit/jm2006_true-unreach-call_true-termination.c.i 10.8  6.62 356311040 .585 .358 40693760
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i 12.6  8.44 411664384 .563 .356 39903232
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i 12.3  7.63 482951168 .571 .353 40701952
loop-lit/gcnr2008_false-unreach-call_false-termination.i 69.1  58.4  757071872 901     843     4099661824
loop-new/count_by_1_true-unreach-call_true-termination.i 8.37 4.83 322621440 .587 .354 41799680
loop-new/count_by_1_variant_true-unreach-call_true-termination.i 9.42 5.40 333074432 .579 .345 41213952
loop-new/count_by_2_true-unreach-call_true-termination.i 8.78 5.41 315867136 .582 .368 39841792
loop-new/count_by_k_true-unreach-call_true-termination.i 36.8  31.3  524873728 .593 .383 40288256
loop-new/count_by_nondet_true-unreach-call_true-termination.i 21.0  17.6  445140992 .568 .348 39960576
loop-new/gauss_sum_true-unreach-call_true-termination.i 10.4  5.91 325894144 .595 .374 40730624
loop-new/half_true-unreach-call_true-termination.i 9.43 5.91 332247040 .574 .350 39952384
loop-new/nested_true-unreach-call_true-termination.i 10.6  6.30 380571648 .579 .359 41848832
product-lines/elevator_spec14_product03_true-unreach-call_true-termination.cil.c 347    234    8437710848 .557 .352 39698432
product-lines/elevator_spec14_product11_true-unreach-call_true-termination.cil.c 112    71.1  5106827264 .564 .362 39796736
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c 407    280    8817729536 .573 .345 40001536
product-lines/elevator_spec14_product20_false-unreach-call_true-termination.cil.c 74.9  47.6  2805051392 .586 .367 42340352
product-lines/elevator_spec14_product23_true-unreach-call_true-termination.cil.c 155    105    6251421696 .569 .353 41590784
product-lines/elevator_spec14_product24_false-unreach-call_true-termination.cil.c 99.9  66.3  4040765440 .584 .364 40120320
product-lines/elevator_spec14_product27_true-unreach-call_true-termination.cil.c 400    278    8682610688 .576 .346 41086976
product-lines/elevator_spec14_product28_false-unreach-call_true-termination.cil.c 87.6  59.5  3032829952 .548 .348 40251392
product-lines/elevator_spec14_product31_true-unreach-call_true-termination.cil.c 962    640    12333981696 .563 .363 42004480
product-lines/elevator_spec14_product32_false-unreach-call_true-termination.cil.c 103    68.5  3848445952 .589 .372 40423424
product-lines/elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c 366    267    7435120640 .565 .357 39727104
product-lines/elevator_spec1_product01_true-unreach-call_true-termination.cil.c 962    606    13556191232 .551 .346 39690240
product-lines/elevator_spec1_product03_true-unreach-call_true-termination.cil.c 47.6  27.8  1131499520 .579 .358 41107456
product-lines/elevator_spec1_product09_true-unreach-call_true-termination.cil.c 961    602    13486628864 .579 .355 41480192
product-lines/elevator_spec1_product11_true-unreach-call_true-termination.cil.c 48.0  28.2  1168486400 .574 .366 40468480
product-lines/elevator_spec1_product17_true-unreach-call_true-termination.cil.c 961    630    12708020224 .616 .403 42328064
product-lines/elevator_spec1_product18_false-unreach-call_true-termination.cil.c 38.4  22.1  805703680 .587 .350 41168896
product-lines/elevator_spec1_product19_true-unreach-call_true-termination.cil.c 46.1  26.8  1309687808 .562 .358 40402944
product-lines/elevator_spec1_product20_false-unreach-call_true-termination.cil.c 56.3  37.4  866504704 .579 .349 40706048
product-lines/elevator_spec1_product21_true-unreach-call_true-termination.cil.c 961    550    13412958208 .553 .348 40353792
product-lines/elevator_spec1_product22_false-unreach-call_true-termination.cil.c 47.5  33.1  982249472 .551 .337 39653376
product-lines/elevator_spec1_product23_true-unreach-call_true-termination.cil.c 60.7  35.9  1445093376 .600 .362 41975808
product-lines/elevator_spec1_product24_false-unreach-call_true-termination.cil.c 47.2  32.9  1024913408 .604 .379 41451520
product-lines/elevator_spec1_product25_true-unreach-call_true-termination.cil.c 961    593    13481484288 .577 .348 40460288
product-lines/elevator_spec1_product26_false-unreach-call_true-termination.cil.c 35.6  20.9  815652864 .609 .377 41160704
product-lines/elevator_spec1_product27_true-unreach-call_true-termination.cil.c 60.8  35.0  1131601920 .603 .377 39821312
product-lines/elevator_spec1_product28_false-unreach-call_true-termination.cil.c 54.0  36.0  886906880 .566 .356 39976960
product-lines/elevator_spec1_product29_true-unreach-call_true-termination.cil.c 962    546    13391855616 .572 .347 40640512
product-lines/elevator_spec1_product30_false-unreach-call_true-termination.cil.c 47.4  33.3  1114099712 .570 .359 39948288
product-lines/elevator_spec1_product31_true-unreach-call_true-termination.cil.c 962    621    12369588224 .569 .341 39981056
product-lines/elevator_spec1_product32_false-unreach-call_true-termination.cil.c 51.8  35.7  1052434432 .578 .367 40448000
product-lines/elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c 59.9  37.5  2267037696 .563 .341 40144896
product-lines/elevator_spec2_product01_true-unreach-call_true-termination.cil.c 962    636    12341755904 .577 .350 41054208
product-lines/elevator_spec2_product03_true-unreach-call_true-termination.cil.c 53.9  31.5  1003995136 .563 .342 40243200
product-lines/elevator_spec2_product09_true-unreach-call_true-termination.cil.c 962    622    13474160640 .577 .350 40402944
product-lines/elevator_spec2_product11_true-unreach-call_true-termination.cil.c 52.4  30.3  1068703744 .555 .338 39510016
product-lines/elevator_spec2_product17_true-unreach-call_true-termination.cil.c 962    626    13342498816 .596 .373 40927232
product-lines/elevator_spec2_product18_false-unreach-call_true-termination.cil.c 40.7  23.1  868507648 .580 .350 40468480
product-lines/elevator_spec2_product19_true-unreach-call_true-termination.cil.c 54.7  31.8  1062666240 .555 .340 40071168
product-lines/elevator_spec2_product20_false-unreach-call_true-termination.cil.c 33.9  19.8  861466624 .578 .359 40321024
product-lines/elevator_spec2_product21_true-unreach-call_true-termination.cil.c 962    551    13578743808 .575 .356 39952384
product-lines/elevator_spec2_product22_false-unreach-call_true-termination.cil.c 50.9  34.8  1130831872 .565 .353 40038400
product-lines/elevator_spec2_product23_true-unreach-call_true-termination.cil.c 56.0  33.6  1208930304 .569 .348 40280064
product-lines/elevator_spec2_product24_false-unreach-call_true-termination.cil.c 35.8  21.4  1021276160 .574 .345 39800832
product-lines/elevator_spec2_product25_true-unreach-call_true-termination.cil.c 961    630    12339920896 .583 .367 40292352
product-lines/elevator_spec2_product26_false-unreach-call_true-termination.cil.c 33.4  20.1  865148928 .566 .363 39792640
product-lines/elevator_spec2_product27_true-unreach-call_true-termination.cil.c 47.7  28.1  1138622464 .553 .338 40005632
product-lines/elevator_spec2_product28_false-unreach-call_true-termination.cil.c 34.2  20.1  883802112 .582 .369 39550976
product-lines/elevator_spec2_product29_true-unreach-call_true-termination.cil.c 962    555    13490049024 .560 .336 39862272
product-lines/elevator_spec2_product30_false-unreach-call_true-termination.cil.c 47.4  33.2  988086272 .555 .351 40312832
product-lines/elevator_spec2_product31_true-unreach-call_true-termination.cil.c 59.0  35.2  1256775680 .583 .354 42061824
product-lines/elevator_spec2_product32_false-unreach-call_true-termination.cil.c 52.6  35.9  1083826176 .549 .339 40378368
product-lines/elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c 56.2  35.5  1973043200 .561 .342 40013824
product-lines/elevator_spec3_product01_true-unreach-call_true-termination.cil.c 189    126    6783524864 .571 .357 40452096
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c 75.7  47.0  2299580416 .582 .367 39473152
product-lines/elevator_spec3_product09_true-unreach-call_true-termination.cil.c 771    495    12292403200 .577 .349 40620032
product-lines/elevator_spec3_product11_false-unreach-call_true-termination.cil.c 105    69.5  4159471616 .587 .363 40443904
product-lines/elevator_spec3_product17_true-unreach-call_true-termination.cil.c 143    96.2  7048298496 .588 .353 41291776
product-lines/elevator_spec3_product18_true-unreach-call_true-termination.cil.c 68.2  39.6  1697120256 .576 .356 40239104
product-lines/elevator_spec3_product19_false-unreach-call_true-termination.cil.c 100    65.1  3859374080 .577 .360 41025536
product-lines/elevator_spec3_product20_false-unreach-call_true-termination.cil.c 53.9  32.4  1840648192 .564 .351 40742912
product-lines/elevator_spec3_product21_true-unreach-call_true-termination.cil.c 238    160    6853664768 .583 .348 41246720
product-lines/elevator_spec3_product22_true-unreach-call_true-termination.cil.c 67.5  40.7  2260086784 .578 .363 42233856
product-lines/elevator_spec3_product23_false-unreach-call_true-termination.cil.c 962    558    13455740928 .555 .351 40464384
product-lines/elevator_spec3_product24_false-unreach-call_true-termination.cil.c 66.7  40.1  2759184384 .561 .352 40443904
product-lines/elevator_spec3_product25_true-unreach-call_true-termination.cil.c 149    98.5  6385872896 .575 .342 39874560
product-lines/elevator_spec3_product26_true-unreach-call_true-termination.cil.c 80.2  51.2  1792552960 .587 .364 41275392
product-lines/elevator_spec3_product27_false-unreach-call_true-termination.cil.c 133    85.4  4530016256 .577 .357 40071168
product-lines/elevator_spec3_product28_false-unreach-call_true-termination.cil.c 78.6  50.5  1987678208 .583 .355 42106880
product-lines/elevator_spec3_product29_true-unreach-call_true-termination.cil.c 195    140    6406279168 .567 .355 40767488
product-lines/elevator_spec3_product30_true-unreach-call_true-termination.cil.c 69.3  41.3  2344501248 .576 .360 41037824
product-lines/elevator_spec3_product31_false-unreach-call_true-termination.cil.c 94.2  60.8  3282817024 .551 .342 39673856
product-lines/elevator_spec3_product32_false-unreach-call_true-termination.cil.c 75.7  44.8  2955272192 .577 .343 41508864
product-lines/elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c 145    90.9  5693915136 .575 .359 40415232
product-lines/elevator_spec9_product09_true-unreach-call_true-termination.cil.c 72.3  43.8  1552900096 .560 .341 40083456
product-lines/elevator_spec9_product11_true-unreach-call_true-termination.cil.c 45.2  25.6  851456000 .594 .356 40566784
product-lines/elevator_spec9_product25_true-unreach-call_true-termination.cil.c 962    548    13512769536 .547 .342 40357888
product-lines/elevator_spec9_product26_false-unreach-call_true-termination.cil.c 49.3  28.3  951390208 .557 .356 40271872
product-lines/elevator_spec9_product27_true-unreach-call_true-termination.cil.c 143    95.6  5715869696 .568 .351 39645184
product-lines/elevator_spec9_product28_false-unreach-call_true-termination.cil.c 56.0  37.2  992309248 .545 .336 39530496
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c 923    531    13573799936 .561 .355 39727104
product-lines/elevator_spec9_product30_false-unreach-call_true-termination.cil.c 60.6  40.1  1205243904 .582 .358 40652800
product-lines/elevator_spec9_product31_true-unreach-call_true-termination.cil.c 81.3  48.3  1632911360 .572 .358 39833600
product-lines/elevator_spec9_product32_false-unreach-call_true-termination.cil.c 49.8  28.7  1349820416 .579 .358 41066496
product-lines/elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c 74.1  45.7  2495213568 .597 .379 40456192
product-lines/email_spec0_product05_true-unreach-call_true-termination.cil.c 18.6  10.7  473489408 .559 .345 39321600
product-lines/email_spec0_product09_true-unreach-call_true-termination.cil.c 22.0  12.4  505872384 .561 .354 40411136
product-lines/email_spec0_product10_true-unreach-call_true-termination.cil.c 15.7  9.14 530157568 .572 .350 40071168
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c 19.3  11.0  537833472 .619 .389 41820160
product-lines/email_spec0_product16_false-unreach-call_true-termination.cil.c 17.7  10.3  535228416 .569 .349 40599552
product-lines/email_spec0_product19_true-unreach-call_true-termination.cil.c 19.4  11.0  516624384 .563 .360 40763392
product-lines/email_spec0_product21_false-unreach-call_true-termination.cil.c 21.3  12.1  667987968 .559 .355 39989248
product-lines/email_spec0_product22_false-unreach-call_true-termination.cil.c 17.1  9.89 538456064 .565 .355 40546304
product-lines/email_spec0_product24_true-unreach-call_true-termination.cil.c 19.9  11.4  531984384 .569 .348 41701376
product-lines/email_spec0_product25_true-unreach-call_true-termination.cil.c 22.8  12.9  528605184 .582 .357 40669184
product-lines/email_spec0_product26_false-unreach-call_true-termination.cil.c 20.0  11.5  520232960 .568 .370 39886848
product-lines/email_spec0_product27_true-unreach-call_true-termination.cil.c 18.7  10.8  515809280 .576 .349 39866368
product-lines/email_spec0_product31_false-unreach-call_true-termination.cil.c 21.7  12.3  510296064 .580 .355 40841216
product-lines/email_spec0_product33_false-unreach-call_true-termination.cil.c 17.9  10.3  536420352 .571 .349 39948288
product-lines/email_spec0_product34_false-unreach-call_true-termination.cil.c 35.4  19.3  590966784 .579 .361 40202240
product-lines/email_spec0_product35_false-unreach-call_true-termination.cil.c 20.8  11.8  535093248 .572 .353 40194048
product-lines/email_spec0_product36_true-unreach-call_true-termination.cil.c 18.5  10.5  533192704 .581 .357 40042496
product-lines/email_spec0_product37_true-unreach-call_true-termination.cil.c 17.0  9.89 533958656 .579 .359 41037824
product-lines/email_spec0_product38_true-unreach-call_true-termination.cil.c 20.2  11.7  557248512 .591 .370 40341504
product-lines/email_spec0_product40_true-unreach-call_true-termination.cil.c 16.4  9.65 531132416 .578 .364 40189952
product-lines/email_spec0_productSimulator_false-unreach-call_true-termination.cil.c 111    68.5  4476149760 .563 .357 39772160
product-lines/email_spec11_product03_true-unreach-call_true-termination.cil.c 14.8  8.68 536162304 .570 .352 39919616
product-lines/email_spec11_product07_true-unreach-call_true-termination.cil.c 22.7  12.5  529985536 .571 .346 40263680
product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c 19.2  10.7  554287104 .596 .371 42315776
product-lines/email_spec11_product10_true-unreach-call_true-termination.cil.c 17.1  10.0  481513472 .576 .355 41607168
product-lines/email_spec11_product15_false-unreach-call_true-termination.cil.c 17.1  9.81 536702976 .564 .339 39731200
product-lines/email_spec11_product18_true-unreach-call_true-termination.cil.c 17.6  10.3  483516416 .585 .360 40558592
product-lines/email_spec11_product20_false-unreach-call_true-termination.cil.c 20.2  11.6  548134912 .582 .359 40210432
product-lines/email_spec11_product22_false-unreach-call_true-termination.cil.c 17.1  9.96 524529664 .577 .366 40255488
product-lines/email_spec11_product23_true-unreach-call_true-termination.cil.c 22.5  12.6  511492096 .571 .355 40312832
product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c 18.5  10.7  524283904 .590 .361 42262528
product-lines/email_spec11_product26_false-unreach-call_true-termination.cil.c 19.6  11.3  509935616 .565 .378 39800832
product-lines/email_spec11_product27_true-unreach-call_true-termination.cil.c 18.4  10.8  552017920 .567 .358 40652800
product-lines/email_spec11_product30_false-unreach-call_true-termination.cil.c 19.5  11.0  551161856 .579 .351 40337408
product-lines/email_spec11_product32_false-unreach-call_true-termination.cil.c 19.8  11.4  525488128 .576 .355 41947136
product-lines/email_spec11_product33_false-unreach-call_true-termination.cil.c 19.9  11.6  473829376 .567 .342 40402944
product-lines/email_spec11_product35_false-unreach-call_true-termination.cil.c 21.6  12.3  521392128 .584 .352 40775680
product-lines/email_spec11_product36_true-unreach-call_true-termination.cil.c 18.3  10.6  522723328 .563 .353 39849984
product-lines/email_spec11_product37_true-unreach-call_true-termination.cil.c 17.4  10.2  547147776 .590 .379 39964672
product-lines/email_spec11_product39_true-unreach-call_true-termination.cil.c 20.4  11.6  548847616 .600 .375 39854080
product-lines/email_spec11_product40_true-unreach-call_true-termination.cil.c 15.4  9.29 539779072 .575 .353 40837120
product-lines/email_spec11_productSimulator_false-unreach-call_true-termination.cil.c 103    65.3  4613668864 .590 .353 41361408
product-lines/email_spec1_product12_true-unreach-call_true-termination.cil.c 18.0  10.3  506216448 .562 .345 40562688
product-lines/email_spec1_product14_false-unreach-call_true-termination.cil.c 21.1  12.0  516972544 .577 .366 39989248
product-lines/email_spec1_product15_false-unreach-call_true-termination.cil.c 18.4  10.4  536944640 .580 .365 40521728
product-lines/email_spec1_product16_false-unreach-call_true-termination.cil.c 19.8  11.2  500924416 .570 .368 40087552
product-lines/email_spec1_product20_false-unreach-call_true-termination.cil.c 19.4  11.1  547074048 .596 .369 41627648
product-lines/email_spec1_product21_false-unreach-call_true-termination.cil.c 21.6  12.4  515731456 .580 .372 39501824
product-lines/email_spec1_product22_false-unreach-call_true-termination.cil.c 22.5  12.5  478003200 .589 .378 40415232
product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c 22.0  12.7  520458240 .566 .339 40267776
product-lines/email_spec1_product28_true-unreach-call_true-termination.cil.c 20.3  11.5  530317312 .574 .347 40800256
product-lines/email_spec1_product29_false-unreach-call_true-termination.cil.c 26.9  15.1  670740480 .560 .349 40058880
product-lines/email_spec1_product30_false-unreach-call_true-termination.cil.c 19.5  11.2  493645824 .580 .376 39968768
product-lines/email_spec1_product31_false-unreach-call_true-termination.cil.c 19.9  11.0  514994176 .561 .346 39616512
product-lines/email_spec1_product32_false-unreach-call_true-termination.cil.c 21.0  12.0  576122880 .602 .378 41242624
product-lines/email_spec1_product33_false-unreach-call_true-termination.cil.c 19.7  11.1  496418816 .582 .359 40398848
product-lines/email_spec1_product34_false-unreach-call_true-termination.cil.c 26.3  14.9  594198528 .611 .364 41316352
product-lines/email_spec1_product35_false-unreach-call_true-termination.cil.c 29.5  16.5  695898112 .581 .350 40640512
product-lines/email_spec1_productSimulator_false-unreach-call_true-termination.cil.c 117    74.7  4594360320 .566 .348 40550400
product-lines/email_spec27_product13_true-unreach-call_true-termination.cil.c 21.3  12.0  565149696 .579 .350 40448000
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c 23.0  12.9  510734336 .561 .351 40583168
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c 20.8  11.6  533442560