Tool CPAchecker 1.7-svn 29913 CPA-witness2test 1.7-svn 29913
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set cpaseq--reachsafety.cpaseq cpaw2t-cpaseq--reachsafety-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -heap 10000M -setprop cfa.simplifyCfa=false -setprop cfa.allowBranchSwapping=false -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -benchmark -witness2test -witness test/results/cpaseq--reachsafety.logfiles/cpaseq.${inputfile_name}.files/output/witness.graphml -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 961    649    8288395264 .942 .623 48812032
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 961    659    5321494528 .971 .627 49700864
array-examples/sorting_bubblesort_false-unreach-call_ground.i 960    659    6661308416 .986 .639 49217536
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 962    666    6985179136 .998 .626 49729536
array-examples/sorting_selectionsort_false-unreach-call_ground.i 961    666    7040835584 1.09  .708 48771072
array-examples/standard_allDiff2_false-unreach-call_ground.i 961    663    7944601600 .955 .624 49139712
array-examples/standard_copy1_false-unreach-call_ground.i 934    635    6934839296 .985 .632 50016256
array-examples/standard_copy2_false-unreach-call_ground.i 943    639    7751450624 .952 .614 49692672
array-examples/standard_copy3_false-unreach-call_ground.i 943    638    8279752704 .996 .630 49889280
array-examples/standard_copy4_false-unreach-call_ground.i 929    632    6706860032 .968 .614 49205248
array-examples/standard_copy5_false-unreach-call_ground.i 932    633    8615489536 1.00  .627 49569792
array-examples/standard_copy6_false-unreach-call_ground.i 940    636    8626196480 1.02  .652 50286592
array-examples/standard_copy7_false-unreach-call_ground.i 935    635    8844009472 .995 .631 49287168
array-examples/standard_copy8_false-unreach-call_ground.i 935    635    8809566208 1.03  .648 51228672
array-examples/standard_copy9_false-unreach-call_ground.i 932    633    8802762752 1.02  .648 50561024
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 947    646    6667497472 1.01  .648 49848320
array-examples/standard_init1_false-unreach-call_ground.i 958    653    8220827648 .986 .627 49807360
array-examples/standard_init2_false-unreach-call_ground.i 960    655    4969631744 .958 .600 48861184
array-examples/standard_init3_false-unreach-call_ground.i 942    643    7606865920 .971 .622 50327552
array-examples/standard_init4_false-unreach-call_ground.i 946    645    7784382464 .988 .639 51044352
array-examples/standard_init5_false-unreach-call_ground.i 953    648    7731638272 .986 .641 49528832
array-examples/standard_init6_false-unreach-call_ground.i 954    648    8034304000 .987 .628 49119232
array-examples/standard_init7_false-unreach-call_ground.i 949    644    6989246464 .990 .643 49954816
array-examples/standard_init8_false-unreach-call_ground.i 943    642    7808016384 1.03  .654 50470912
array-examples/standard_init9_false-unreach-call_ground.i 942    641    7567130624 1.03  .678 49426432
array-examples/standard_minInArray_false-unreach-call_ground.i 940    638    6868541440 .961 .607 49016832
array-examples/standard_partition_false-unreach-call_ground.i 961    663    6976765952 1.10  .689 54030336
array-examples/standard_running_false-unreach-call.i 925    626    7096217600 1.01  .649 50515968
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 93.6  87.9  2171965440 1.01  .641 50057216
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 921    624    8400105472 1.05  .670 50966528
array-examples/relax_true-unreach-call.i 962    488    6483148800 .957 .623 49496064
array-examples/sanfoundry_02_true-unreach-call_ground.i 961    664    6122463232 .946 .605 48635904
array-examples/sanfoundry_10_true-unreach-call_ground.i 936    636    7865159680 1.11  .691 55140352
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 8.06 4.99 476041216 .980 .619 48885760
array-examples/sanfoundry_27_true-unreach-call_ground.i 928    628    6931693568 1.01  .657 50462720
array-examples/sanfoundry_43_true-unreach-call_ground.i 93.3  88.9  2330083328 .978 .620 48828416
array-examples/sorting_bubblesort_true-unreach-call_ground.i 960    658    5564620800 .955 .616 48586752
array-examples/sorting_selectionsort_true-unreach-call_ground.i 962    665    6961852416 .913 .612 47960064
array-examples/standard_compareModified_true-unreach-call_ground.i 961    663    7528857600 .956 .608 49135616
array-examples/standard_compare_true-unreach-call_ground.i 960    666    4826988544 .941 .594 47730688
array-examples/standard_copy1_true-unreach-call_ground.i 936    636    6771564544 .966 .616 48963584
array-examples/standard_copy2_true-unreach-call_ground.i 953    645    8081428480 1.00  .631 49397760
array-examples/standard_copy3_true-unreach-call_ground.i 929    631    6718373888 .950 .615 49274880
array-examples/standard_copy4_true-unreach-call_ground.i 941    639    7101087744 .993 .652 49721344
array-examples/standard_copy5_true-unreach-call_ground.i 939    638    8700551168 1.01  .646 50348032
array-examples/standard_copy6_true-unreach-call_ground.i 931    632    8860438528 1.05  .671 50106368
array-examples/standard_copy7_true-unreach-call_ground.i 945    641    9200205824 .994 .626 50122752
array-examples/standard_copy8_true-unreach-call_ground.i 942    639    9048924160 1.00  .631 50429952
array-examples/standard_copy9_true-unreach-call_ground.i 938    637    9259933696 1.02  .655 50290688
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 956    650    6650523648 .980 .614 49508352
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 960    651    6455558144 .937 .606 48750592
array-examples/standard_copyInitSum_true-unreach-call_ground.i 958    650    6679261184 1.02  .642 51519488
array-examples/standard_copyInit_true-unreach-call_ground.i 942    643    7311925248 1.00  .632 50049024
array-examples/standard_find_true-unreach-call_ground.i 946    643    7372611584 .981 .632 51945472
array-examples/standard_init1_true-unreach-call_ground.i 956    651    5117095936 .973 .628 50298880
array-examples/standard_init2_true-unreach-call_ground.i 943    642    7613923328 .998 .623 49590272
array-examples/standard_init3_true-unreach-call_ground.i 946    642    6853742592 .987 .629 50122752
array-examples/standard_init4_true-unreach-call_ground.i 954    647    8030801920 1.02  .659 50249728
array-examples/standard_init5_true-unreach-call_ground.i 948    643    7001821184 .968 .621 49160192
array-examples/standard_init6_true-unreach-call_ground.i 945    644    7512875008 1.01  .650 49844224
array-examples/standard_init7_true-unreach-call_ground.i 946    645    7650484224 .977 .638 49840128
array-examples/standard_init8_true-unreach-call_ground.i 938    638    7162593280 .966 .614 48676864
array-examples/standard_init9_true-unreach-call_ground.i 948    646    7533072384 1.01  .633 51208192
array-examples/standard_maxInArray_true-unreach-call_ground.i 939    638    6872154112 1.05  .661 49745920
array-examples/standard_minInArray_true-unreach-call_ground.i 934    634    6884544512 .979 .625 51478528
array-examples/standard_palindrome_true-unreach-call_ground.i 959    647    7586209792 .985 .624 50098176
array-examples/standard_partial_init_true-unreach-call_ground.i 951    651    6475354112 1.09  .698 52150272
array-examples/standard_partition_original_true-unreach-call_ground.i 961    666    6965407744 .932 .596 48164864
array-examples/standard_partition_true-unreach-call_ground.i 961    666    6734184448 .932 .608 48783360
array-examples/standard_password_true-unreach-call_ground.i 961    663    4113530880 .939 .603 49160192
array-examples/standard_reverse_true-unreach-call_ground.i 941    638    8105078784 .995 .639 49438720
array-examples/standard_running_true-unreach-call.i 928    626    7074115584 .984 .626 50417664
array-examples/standard_sentinel_true-unreach-call_true-termination.i 8.53 5.14 483016704 .990 .623 49659904
array-examples/standard_seq_init_true-unreach-call_ground.i 950    643    7978639360 .985 .621 51347456
array-examples/standard_strcmp_true-unreach-call_ground.i 936    639    4241567744 .999 .654 50409472
array-examples/standard_strcpy_original_true-unreach-call.i 950    648    7326998528 1.05  .683 51212288
array-examples/standard_strcpy_true-unreach-call_ground.i 940    638    7589629952 .958 .609 49070080
array-examples/standard_two_index_01_true-unreach-call.i 930    627    9756033024 .984 .627 49364992
array-examples/standard_two_index_02_true-unreach-call.i 944    640    7205335040 .986 .649 49246208
array-examples/standard_two_index_03_true-unreach-call.i 950    622    7282593792 1.02  .662 50622464
array-examples/standard_two_index_04_true-unreach-call.i 950    644    7802748928 .989 .637 50065408
array-examples/standard_two_index_05_true-unreach-call.i 946    642    7231442944 1.02  .659 50933760
array-examples/standard_two_index_06_true-unreach-call.i 960    622    6683267072 1.00  .639 49426432
array-examples/standard_two_index_07_true-unreach-call.i 954    645    8240824320 .992 .639 49434624
array-examples/standard_two_index_08_true-unreach-call.i 952    647    6119051264 .993 .636 49672192
array-examples/standard_two_index_09_true-unreach-call.i 958    650    8476905472 .962 .631 49770496
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 929    564    4268068864 1.08  .676 54824960
array-examples/standard_vector_difference_true-unreach-call_ground.i 961    649    6654414848 .919 .581 47968256
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c 8.21 5.07 475422720 .953 .605 48214016
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 930    630    6808121344 .974 .625 48910336
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 932    639    7783092224 .984 .649 49938432
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 917    619    6711001088 .984 .621 49606656
array-industry-pattern/array_range_init_false-unreach-call.i 934    639    6861295616 1.00  .625 50270208
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 922    625    7128571904 1.02  .645 52248576
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 923    623    6832316416 1.09  .681 53485568
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 927    627    7172632576 .989 .623 51212288
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 936    634    6132703232 .984 .623 50335744
array-industry-pattern/array_of_struct_break_true-unreach-call.i 961    592    8982016000 .929 .596 48177152
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 914    624    7230562304 .974 .629 49115136
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 952    646    9227046912 1.00  .650 49131520
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 924    632    7470260224 .968 .620 51724288
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 941    645    6927925248 1.02  .646 50429952
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 920    630    6722527232 .980 .634 50372608
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 956    651    8468766720 .979 .626 50143232
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 961    667    7014490112 .938 .605 48611328
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 962    499    5796237312 .933 .610 49049600
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 97.0  88.2  671920128 4.36  2.48  260304896
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 903    883    3716157440 .996 .640 48549888
reducercommutativity/rangesum20_false-unreach-call.i 903    876    3812995072 1.05  .670 50081792
reducercommutativity/rangesum40_false-unreach-call.i 904    872    5746757632 1.03  .665 49414144
reducercommutativity/rangesum60_false-unreach-call.i 904    873    7796809728 1.01  .637 52477952
reducercommutativity/rangesum_false-unreach-call_true-termination.i 45.4  33.6  590950400 4.40  2.52  256929792
reducercommutativity/avg05_true-unreach-call_true-termination.i 902    889    2880163840 .949 .615 48488448
reducercommutativity/avg10_true-unreach-call_true-termination.i 902    886    3394838528 .971 .617 49602560
reducercommutativity/avg20_true-unreach-call.i 903    881    3812548608 .983 .625 49242112
reducercommutativity/avg40_true-unreach-call.i 903    879    5242388480 1.00  .644 50298880
reducercommutativity/avg60_true-unreach-call.i 903    874    4900696064 1.02  .647 49782784
reducercommutativity/avg_true-unreach-call_true-termination.i 227    214    1378824192 .892 .584 46710784
reducercommutativity/max05_true-unreach-call_true-termination.i 180    165    2731884544 .971 .609 48582656
reducercommutativity/max10_true-unreach-call_true-termination.i 902    882    2750304256 .973 .619 51843072
reducercommutativity/max20_true-unreach-call.i 902    873    2658332672 .988 .641 49033216
reducercommutativity/max40_true-unreach-call.i 902    873    3337998336 1.24  .783 49012736
reducercommutativity/max60_true-unreach-call.i 902    869    3906830336 .999 .641 50319360
reducercommutativity/max_true-unreach-call_true-termination.i 962    504    5310873600 .943 .620 48590848
reducercommutativity/sep05_true-unreach-call_true-termination.i 293    256    4013105152 1.04  .684 50216960
reducercommutativity/sep10_true-unreach-call.i 924    499    4660236288 1.06  .676 51945472
reducercommutativity/sep20_true-unreach-call.i 906    586    4801519616 .996 .644 50040832
reducercommutativity/sep40_true-unreach-call.i 905    587    3809841152 .974 .616 51314688
reducercommutativity/sep60_true-unreach-call.i 906    608    5262581760 .971 .629 48783360
reducercommutativity/sep_true-unreach-call_true-termination.i 930    475    4627419136 1.08  .664 52715520
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    887    3138670592 .990 .634 50208768
reducercommutativity/sum10_true-unreach-call_true-termination.i 903    883    4697083904 .994 .620 49045504
reducercommutativity/sum20_true-unreach-call.i 903    874    4392759296 .989 .627 51757056
reducercommutativity/sum40_true-unreach-call.i 909    883    5740785664 1.00  .625 51896320
reducercommutativity/sum60_true-unreach-call.i 904    874    6832746496 .989 .636 49287168
reducercommutativity/sum_true-unreach-call_true-termination.i 961    502    5119307776 .913 .592 48287744
array-tiling/mlceu_false-unreach-call.i 961    502    6456930304 .934 .618 47828992
array-tiling/skippedu_false-unreach-call.i 4.98 2.74 275562496 3.61  2.05  246308864
array-tiling/mbpr2_true-unreach-call.i 961    502    5586829312 .924 .598 47915008
array-tiling/mbpr3_true-unreach-call.i 953    492    6234124288 1.15  .715 58306560
array-tiling/mbpr4_true-unreach-call.i 932    475    7019110400 1.26  .764 62746624
array-tiling/mbpr5_true-unreach-call.i 920    465    6876692480 1.25  .760 62787584
array-tiling/nr2_true-unreach-call.i 961    492    5629083648 .948 .620 48254976
array-tiling/nr3_true-unreach-call.i 961    494    4616937472 .908 .582 48406528
array-tiling/nr4_true-unreach-call.i 960    495    5892521984 1.18  .737 61673472
array-tiling/nr5_true-unreach-call.i 961    500    4921663488 .944 .611 48345088
array-tiling/pnr2_true-unreach-call.i 960    499    3873796096 .938 .608 49135616
array-tiling/pnr3_true-unreach-call.i 960    508    6242467840 .889 .577 46436352
array-tiling/pnr4_true-unreach-call.i 961    501    3828916224 .928 .597 48173056
array-tiling/pnr5_true-unreach-call.i 960    509    5534859264 .873 .565 46301184
array-tiling/poly1_true-unreach-call.i 945    579    4325699584 1.03  .657 49831936
array-tiling/poly2_true-unreach-call.i 944    482    5335531520 .985 .624 50675712
array-tiling/pr2_true-unreach-call.i 961    493    4189769728 .954 .616 49184768
array-tiling/pr3_true-unreach-call.i 961    500    3717009408 .995 .634 48594944
array-tiling/pr4_true-unreach-call.i 941    480    3497656320 1.21  .752 62431232
array-tiling/pr5_true-unreach-call.i 961    501    3730145280 .912 .591 48283648
array-tiling/revcpyswp2_true-unreach-call.i 961    502    4402180096 .918 .597 47767552
array-tiling/rew_true-unreach-call.i 961    502    4864020480 .937 .604 48189440
array-tiling/rewnif_true-unreach-call.i 962    502    4978434048 .922 .605 48689152
array-tiling/rewnifrev2_true-unreach-call.i 961    504    4190220288 .926 .612 47595520
array-tiling/rewnifrev_true-unreach-call.i 961    501    4709232640 .910 .599 48336896
array-tiling/rewrev_true-unreach-call.i 961    505    4793270272 1.01  .643 49094656
array-tiling/skipped_true-unreach-call.i 962    492    4357165056 .927 .582 48144384
array-tiling/tcpy_true-unreach-call.i 962    495    4474830848 .970 .635 48558080
array-programs/copysome1_false-unreach-call.i 938    638    8275030016 .991 .678 50302976
array-programs/copysome2_false-unreach-call.i 941    639    8708288512 1.00  .630 50610176
array-programs/copysome1_true-unreach-call.i 954    647    8645308416 .967 .627 48971776
array-programs/copysome2_true-unreach-call.i 942    640    8610312192 1.00  .637 49319936
array-crafted/bAnd1_true-unreach-call.i 904    872    13087821824 .955 .605 49475584
array-crafted/bAnd2_true-unreach-call.i 914    772    8316567552 .989 .640 49008640
array-crafted/bAnd3_true-unreach-call.i 944    638    7279136768 .977 .631 48984064
array-crafted/bAnd4_true-unreach-call.i 942    638    6899929088 1.00  .633 49717248
array-crafted/bAnd5_true-unreach-call.i 961    501    5376569344 .953 .618 49033216
array-crafted/bor1_true-unreach-call.i 904    871    14526058496 .998 .624 49078272
array-crafted/bor2_true-unreach-call.i 912    773    8353103872 .979 .610 51056640
array-crafted/bor3_true-unreach-call.i 950    642    7562346496 1.01  .655 49467392
array-crafted/bor4_true-unreach-call.i 938    636    7585390592 .974 .619 49623040
array-crafted/bor5_true-unreach-call.i 961    502    4785848320 .935 .618 48955392
array-crafted/mapavg1_true-unreach-call.i 904    875    6135300096 1.00  .638 49213440
array-crafted/mapavg2_true-unreach-call.i 917    751    6623805440 1.10  .698 54222848
array-crafted/mapavg3_true-unreach-call.i 947    640    4757868544 1.01  .649 51093504
array-crafted/mapavg4_true-unreach-call.i 950    641    4971487232 1.01  .648 51687424
array-crafted/mapavg5_true-unreach-call.i 210    205    763531264 .904 .604 46174208
array-crafted/mapsum1_true-unreach-call.i 904    870    8225083392 1.00  .642 51036160
array-crafted/mapsum2_true-unreach-call.i 916    636    6877859840 1.09  .688 53104640
array-crafted/mapsum3_true-unreach-call.i 942    632    7520354304 1.02  .636 50995200
array-crafted/mapsum4_true-unreach-call.i 946    638    7244554240 .997 .613 49541120
array-crafted/mapsum5_true-unreach-call.i 961    503    4426698752 .941 .604 49274880
array-crafted/xor1_true-unreach-call.i 903    869    13568663552 .997 .634 50020352
array-crafted/xor2_true-unreach-call.i 913    693    6454595584 1.02  .652 49917952
array-crafted/xor3_true-unreach-call.i 945    637    7256801280 .959 .613 49602560
array-crafted/xor4_true-unreach-call.i 946    640    8160669696 .971 .613 49324032
array-crafted/xor5_true-unreach-call.i 961    501    4868595712 .937 .620 49557504
array-crafted/zero_sum1_true-unreach-call.c 912    909    9750511616 .897 .594 46596096
array-crafted/zero_sum2_true-unreach-call.c 8.55 5.93 345399296 .897 .581 46809088
array-crafted/zero_sum3_true-unreach-call.c 13.0  10.1  396066816 .900 .592 46190592
array-crafted/zero_sum4_true-unreach-call.c 16.0  12.8  475086848 .881 .567 46755840
array-crafted/zero_sum5_true-unreach-call.c 25.9  22.3  565993472 .906 .594 46837760
array-crafted/zero_sum_const1_true-unreach-call.c 912    908    6461747200 .874 .573 46137344
array-crafted/zero_sum_const2_true-unreach-call.c 10.9  8.26 312340480 .919 .610 47046656
array-crafted/zero_sum_const3_true-unreach-call.c 12.2  9.17 336187392 .884 .569 46739456
array-crafted/zero_sum_const4_true-unreach-call.c 15.5  12.1  397160448 .942 .596 47677440
array-crafted/zero_sum_const5_true-unreach-call.c 18.4  14.9  405901312 .898 .578 46731264
array-crafted/zero_sum_const_m2_true-unreach-call.c 912    908    9169932288 .898 .567 46161920
array-crafted/zero_sum_const_m3_true-unreach-call.c 31.7  28.6  733704192 .908 .589 47558656
array-crafted/zero_sum_const_m4_true-unreach-call.c 962    593    6919692288 .920 .604 49336320
array-crafted/zero_sum_const_m5_true-unreach-call.c 912    909    1160187904 .895 .587 47263744
array-crafted/zero_sum_m2_true-unreach-call.c 801    796    14999998464 .936 .602 46919680
array-crafted/zero_sum_m3_true-unreach-call.c 912    909    1128775680 .910 .592 47333376
array-crafted/zero_sum_m4_true-unreach-call.c 912    909    1853976576 .878 .578 46776320
array-crafted/zero_sum_m5_true-unreach-call.c 912    909    12886220800 .898 .592 46055424
array-multidimensional/add-2-n-u_true-unreach-call.i 947    635    7911522304 1.05  .676 54140928
array-multidimensional/add-3-n-u_true-unreach-call.i 931    624    7165562880 1.07  .682 51560448
array-multidimensional/copy-2-u_true-unreach-call.i 961    654    7014543360 .919 .595 48074752
array-multidimensional/copy-3-n-u_true-unreach-call.i 937    628    6795800576 1.05  .678 53239808
array-multidimensional/copy-partial-2-n-u_true-unreach-call.i 944    645    7021879296 1.08  .680 52637696
array-multidimensional/copy-partial-3-u_true-unreach-call.i 155    143    3271368704 .978 .624 49565696
array-multidimensional/diff-2-n-u_true-unreach-call.i 942    632    7998324736 1.04  .667 52318208
array-multidimensional/diff-3-n-u_true-unreach-call.i 934    625    7370551296 1.06  .668 51884032
array-multidimensional/init-2-n-u_true-unreach-call.i 955    652    7056486400 1.11  .687 53579776
array-multidimensional/init-3-u_true-unreach-call.i 961    657    7207788544 1.09  .663 52305920
array-multidimensional/init-4-n-u_true-unreach-call.i 932    631    6166290432 1.08  .671 51814400
array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i 961    503    6009417728 .912 .592 47775744
array-multidimensional/init-non-constant-3-u_true-unreach-call.i 945    646    6902501376 1.08  .665 54595584
array-multidimensional/max-2-u_true-unreach-call.i 950    650    6075101184 1.04  .681 53354496
array-multidimensional/max-3-n-u_true-unreach-call.i 941    631    6599319552 1.09  .672 51941376
array-multidimensional/min-2-u_true-unreach-call.i 950    649    7137886208 1.06  .678 52404224
array-multidimensional/min-3-n-u_true-unreach-call.i 934    625    6629388288 1.11  .697 55259136
array-multidimensional/rev-2-n-u_true-unreach-call.i 957    643    7195639808 1.07  .682 53243904
array-multidimensional/rev-3-u_true-unreach-call.i 934    627    6876250112 1.05  .662 51683328
array-multidimensional/transpose-u_true-unreach-call.i 944    640    7115550720 1.11  .672 55181312
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 19.3  13.4  449961984 4.40  2.47  271679488
bitvector/sum02_false-unreach-call_true-no-overflow.i 962    580    7141519360 .995 .648 49025024
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 14.6  8.68 485564416 .981 .645 49238016
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 17.1  10.6  481976320 1.03  .637 50884608
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 9.90 7.54 292175872 1.00  .638 49504256
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 10.3  7.93 294342656 .957 .621 48824320
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 103    101    308109312 .983 .636 50229248
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 3.25 1.81 239693824 .967 .615 49065984
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 12.8  7.08 448688128 .961 .630 48889856
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 4.45 2.47 271544320 .938 .610 48222208
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 5.00 2.75 276918272 .960 .618 48943104
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 5.53 3.06 275763200 .947 .618 48242688
bitvector/jain_5_true-unreach-call_true-no-overflow.i 961    650    8773910528 .964 .619 50642944
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 4.74 2.59 277438464 .976 .623 50622464
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 6.57 4.26 284213248 .996 .663 49369088
bitvector/modulus_true-unreach-call_true-no-overflow.i 235    218    2360074240 .940 .602 48508928
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 3.30 1.82 244031488 .982 .624 49012736
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 20.9  15.5  649236480 .962 .626 48275456
bitvector/parity_true-unreach-call_true-no-overflow.i 610    595    10604621824 .937 .604 48742400
bitvector/sum02_true-unreach-call_true-no-overflow.i 962    581    6781042688 .942 .609 48930816
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 11.8  6.14 392732672 5.36  2.96  289136640
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 19.9  11.0  599580672 5.46  3.05  271605760
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 7.90 4.20 343228416 5.06  2.79  282222592
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 27.1  19.8  994689024 1.04  .659 50114560
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 20.1  12.9  870567936 1.04  .659 52113408
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 19.7  13.0  887521280 1.09  .707 50540544
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 925    590    4971614208 1.12  .695 52768768
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 27.0  18.6  960200704 1.08  .699 50139136
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 66.8  56.8  1729179648 1.02  .641 49979392
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 64.5  55.1  1782435840 1.11  .685 53219328
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 23.2  16.0  881184768 1.04  .672 50356224
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 23.6  16.4  898756608 1.07  .672 50978816
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 14.5  8.90 456617984 1.07  .696 51130368
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 154    136    2075066368 1.04  .648 52039680
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 112    97.8  1928331264 1.00  .638 49037312
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 181    177    422760448 1.06  .667 50884608
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 153    137    2198142976 1.01  .641 49004544
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.69 2.07 251736064 3.31  1.92  246796288
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 3.85 2.11 251662336 3.45  1.97  248307712
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 4.15 2.28 253308928 3.53  2.04  247115776
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 76.2  62.1  1501356032 4.74  2.63  268673024
bitvector-regression/signextension2_false-unreach-call_true-termination.c 3.88 2.18 252575744 3.50  2.03  247873536
bitvector-regression/signextension_false-unreach-call_true-termination.c 3.87 2.16 254529536 3.53  2.03  246288384
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2.99 1.68 237957120 .926 .600 48959488
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 3.17 1.74 237625344 .944 .622 49557504
bitvector-regression/signextension2_true-unreach-call_true-termination.c 2.93 1.64 237748224 .987 .635 49758208
bitvector-regression/signextension_true-unreach-call_true-termination.c 3.09 1.71 239738880 .960 .609 49291264
bitvector-loops/diamond_false-unreach-call2.i 6.08 3.25 306425856 3.68  2.11  246906880
bitvector-loops/overflow_false-unreach-call1.i 957    651    8688619520 .991 .626 49836032
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 214    206    1218809856 4.49  2.55  255868928
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.78 4.66 415399936 5.41  3.03  280641536
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.73 3.54 270823424 4.91  2.79  262463488
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.54 4.50 413810688 5.26  2.96  278634496
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.06 3.76 322109440 4.66  2.63  257503232
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 9.26 4.86 402677760 1.16  .716 52330496
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 100    90.4  1240510464 1.14  .719 52125696
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 9.33 4.85 394391552 1.13  .707 51490816
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 10.1  5.30 427925504 1.17  .707 54329344
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.03 3.22 301477888 1.07  .672 49897472
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.16 3.77 381153280 1.13  .702 51560448
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 7.31 3.86 322703360 4.94  2.77  281284608
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 7.26 3.83 333697024 4.87  2.71  277725184
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 7.56 3.97 304775168 4.68  2.64  268427264
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 7.44 3.95 329756672 5.05  2.81  279674880
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 5.15 2.80 258060288 4.45  2.53  264777728
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 228    210    1148219392 5.78  3.18  296144896
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 95.1  85.9  695476224 6.02  3.27  294739968
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 7.51 3.98 282476544 4.98  2.77  278200320
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 9.67 5.16 456437760 4.84  2.72  276271104
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 7.35 3.89 312610816 5.38  2.97  288903168
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 7.43 3.95 308895744 5.27  2.89  285773824
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 6.06 3.25 261591040 4.06  2.33  259477504
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 17.7  11.0  728027136 1.04  .671 51146752
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 18.4  11.6  690245632 1.07  .701 50151424
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 19.4  12.5  737505280 1.08  .677 50753536
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 17.9  11.3  717815808 1.07  .683 51752960
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 19.0  12.2  741462016 1.10  .702 51654656
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 4.07 2.21 243826688 1.01  .655 50372608
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.46 1.90 243867648 .996 .638 50073600
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 18.8  12.0  706859008 1.10  .704 50257920
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 18.6  12.0  726818816 1.06  .654 50143232
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 19.5  12.2  711049216 1.08  .688 50462720
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 102    92.1  2146410496 1.08  .687 50585600
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 54.1  44.6  1432346624 1.09  .682 53243904
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 18.8  11.9  758902784 1.11  .720 50610176
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 5.03 2.75 260694016 4.48  2.54  268378112
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 5.23 2.83 262975488 4.29  2.48  270094336
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 18.6  13.6  690679808 .985 .632 49721344
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 51.1  44.1  1376518144 1.01  .638 52166656
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 155    147    2263379968 1.03  .660 50192384
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 155    147    2278453248 1.01  .656 51130368
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 154    147    2427129856 .984 .618 49287168
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 155    147    2465677312 1.03  .651 49635328
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 4.88 2.67 241467392 1.00  .645 50577408
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 4.64 2.50 250368000 .983 .619 48840704
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 5.33 2.84 254197760 1.06  .679 49790976
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 7.48 3.93 369356800 .999 .639 50470912
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 11.3  6.68 483512320 .979 .632 49909760
ntdrivers/cdaudio_false-unreach-call.i.cil.c 78.6  63.8  3177852928 14.1   7.46  568492032
ntdrivers/diskperf_false-unreach-call.i.cil.c 16.3  11.2  488878080 5.93  3.31  286265344
ntdrivers/floppy_false-unreach-call.i.cil.c 11.8  6.10 423374848 7.41  4.09  284581888
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 9.74 5.07 419168256 5.91  3.29  280915968
ntdrivers/parport_false-unreach-call.i.cil.c 9.44 4.93 416116736 7.66  4.23  298823680
ntdrivers/cdaudio_true-unreach-call.i.cil.c 15.7  8.14 568053760 1.25  .785 60088320
ntdrivers/diskperf_true-unreach-call.i.cil.c 102    90.2  1916215296 1.20  .751 53153792
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 88.7  65.7  1885696000 1.38  .847 63184896
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 49.0  30.1  1094389760 1.32  .800 61550592
ntdrivers/parport_true-unreach-call.i.cil.c 124    102    3270332416 1.38  .840 63762432
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 104    92.8  1988468736 5.92  3.24  288751616
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 127    104    2623651840 5.95  3.27  293867520
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 102    91.9  2620968960 5.67  3.14  270618624
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 95.4  84.6  2117234688 5.61  3.07  289120256
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 43.4  33.7  1343336448 5.71  3.16  286150656
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 51.3  42.3  1526075392 5.56  3.04  290574336
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 40.8  31.9  1323757568 5.83  3.37  290545664
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 44.6  34.6  1335578624 5.63  3.10  291217408
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 58.0  29.7  1226866688 6.14  3.35  299134976
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 143    112    2910449664 6.55  3.59  302845952
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 191    99.7  3613216768 6.74  3.67  294985728
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 144    113    2926129152 6.27  3.43  291446784
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 224    115    3115266048 6.38  3.49  289521664
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 102    91.6  2202472448 5.53  3.04  291160064
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 49.2  25.3  1245429760 6.42  3.49  304873472
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 150    115    3018469376 6.20  3.39  300756992
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 52.2  27.0  1260953600 6.15  3.40  302526464
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 181    93.0  2702397440 6.70  3.64  309571584
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 55.6  28.5  1431719936 6.15  3.38  303218688
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 167    143    2432733184 1.05  .667 49836032
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 214    191    2605797376 1.07  .675 50839552
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 188    164    2687823872 1.03  .664 49508352
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 243    218    2598481920 1.09  .676 50749440
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 188    143    2971934720 1.11  .697 52899840
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 116    98.8  2611126272 1.08  .681 50089984
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 485    337    4387930112 1.10  .682 50700288
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 198    142    3747618816 1.08  .696 52916224
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 154    123    3013632000 1.13  .708 51367936
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 197    140    3736961024 1.09  .679 51286016
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 136    110    2791833600 1.09  .677 50716672
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 221    153    4012388352 1.11  .703 52314112
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 353    224    4219211776 1.10  .684 51167232
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 141    110    2815455232 1.10  .692 51277824
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 244    174    4014440448 1.13  .696 51232768
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 187    139    3202240512 1.09  .692 51494912
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 413    274    4382187520 1.17  .744 52998144
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 10.8  5.61 425828352 6.67  3.60  305197056
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 14.4  7.41 437989376 7.03  3.78  305704960
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 11.5  5.99 457396224 6.25  3.43  276795392
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 12.2  6.32 444657664 6.71  3.65  302886912
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 11.2  5.84 472707072 6.78  3.65  305434624
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 10.6  5.56 403705856 6.47  3.50  299122688
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 11.9  6.19 457449472 6.56  3.56  278716416
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 11.4  5.96 459145216 6.91  3.75  309526528
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 9.51 5.02 408195072 6.21  3.38  300032000
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 12.2  6.30 436625408 6.56  3.56  303726592
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 10.4  5.43 404553728 6.75  3.63  303357952
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 11.7  6.08 459042816 6.56  3.51  303124480
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 14.1  7.30 447463424 7.19  3.87  310919168
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 9.45 4.94 407965696 6.30  3.40  298295296
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 7.81 4.17 334262272 5.49  2.98  290287616
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 8.51 4.49 410759168 6.01  3.26  290168832
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 8.98 4.70 427962368 6.33  3.43  295182336
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 10.9  5.68 456523776 6.49  3.54  300179456
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 10.8  5.60 404807680 5.83  3.21  271093760
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 11.7  6.07 464633856 6.09  3.33  272932864
eca-rers2012/Problem03_label09_false-unreach-call.c 19.8  10.6  747782144 9.08  4.80  366129152
eca-rers2012/Problem03_label13_false-unreach-call.c 19.3  10.1  669564928 9.46  5.00  359469056
eca-rers2012/Problem03_label26_false-unreach-call.c 16.0  8.20 576225280 8.81  4.69  349073408
eca-rers2012/Problem03_label27_false-unreach-call.c 17.9  9.32 633475072 8.67  4.63  348549120
eca-rers2012/Problem03_label28_false-unreach-call.c 18.4  9.68 777543680 8.34  4.48  312864768
eca-rers2012/Problem03_label31_false-unreach-call.c 20.0  10.4  790937600 9.05  4.81  348762112
eca-rers2012/Problem03_label35_false-unreach-call.c 22.5  12.0  860762112 9.51  5.04  384008192
eca-rers2012/Problem03_label37_false-unreach-call.c 16.0  8.22 535916544 8.73  4.64  358342656
eca-rers2012/Problem03_label39_false-unreach-call.c 20.8  11.1  813350912 9.17  4.85  354992128
eca-rers2012/Problem03_label43_false-unreach-call.c 16.1  8.37 604901376 8.19  4.36  338173952
eca-rers2012/Problem03_label45_false-unreach-call.c 20.1  10.8  844050432 9.47  5.03  384307200
eca-rers2012/Problem03_label50_false-unreach-call.c 18.4  9.82 769032192 9.13  4.87  353402880
eca-rers2012/Problem03_label52_false-unreach-call.c 21.2  11.4  876220416 9.23  4.89  373841920
eca-rers2012/Problem04_label04_false-unreach-call.c 95.3  62.7  5141311488 31.7   16.4   2006388736
eca-rers2012/Problem04_label06_false-unreach-call.c 286    227    5835563008 33.4   17.3   2000388096
eca-rers2012/Problem04_label09_false-unreach-call.c 100    64.1  4786544640 31.4   16.2   1848356864
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 95.1  61.6  4847034368 31.5   16.2   1850978304
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 309    246    7104270336 46.2   23.8   2449371136
eca-rers2012/Problem04_label13_false-unreach-call.c 96.0  62.6  5033709568 31.6   16.3   1874378752
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 105    67.6  5139275776 32.1   16.5   1917952000
eca-rers2012/Problem04_label15_false-unreach-call.c 95.2  61.0  4908326912 33.6   17.2   1879212032
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 91.6  59.8  4594688000 30.3   15.6   1810239488
eca-rers2012/Problem04_label18_false-unreach-call.c 299    240    5691265024 32.9   16.9   1862238208
eca-rers2012/Problem04_label19_false-unreach-call.c 105    68.7  5297717248 38.0   19.5   2398375936
eca-rers2012/Problem04_label26_false-unreach-call.c 245    186    6450040832 32.1   16.5   1901596672
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 105    66.1  4929462272 31.9   16.4   1852841984
eca-rers2012/Problem04_label31_false-unreach-call.c 105    67.8  4887212032 31.9   16.5   1910784000
eca-rers2012/Problem04_label32_false-unreach-call.c 92.6  60.2  4986212352 31.0   15.9   1975676928
eca-rers2012/Problem04_label35_false-unreach-call.c 98.9  63.5  4738711552 31.3   16.2   1848496128
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 94.5  61.8  4623089664 32.1   16.5   1860243456
eca-rers2012/Problem04_label38_false-unreach-call.c 101    65.3  4992352256 31.4   16.2   1889173504
eca-rers2012/Problem04_label39_false-unreach-call.c 102    67.0  5152165888 32.9   16.8   1957511168
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 106    68.3  4916256768 32.5   17.0   1986019328
eca-rers2012/Problem04_label45_false-unreach-call.c 93.9  60.6  4718747648 30.5   15.7   1838444544
eca-rers2012/Problem04_label52_false-unreach-call.c 235    174    6435549184 34.7   17.9   2016952320
eca-rers2012/Problem04_label55_false-unreach-call.c 102    66.8  4948455424 32.8   16.8   1864126464
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 99.7  65.6  5143805952 33.2   17.2   1964359680
eca-rers2012/Problem05_label00_false-unreach-call.c 274    227    5439217664 34.3   991     2030759936
eca-rers2012/Problem05_label01_false-unreach-call.c 266    222    5363675136 32.2   991     1994919936
eca-rers2012/Problem05_label11_false-unreach-call.c 250    201    5383376896 34.2   991     2086187008
eca-rers2012/Problem05_label13_false-unreach-call.c 276    231    5377380352 48.6   991     2565132288
eca-rers2012/Problem05_label15_false-unreach-call.c 258    206    5470601216 45.4   991     2252746752
eca-rers2012/Problem05_label18_false-unreach-call.c 256    204    5261365248 34.6   991     2100428800
eca-rers2012/Problem05_label24_false-unreach-call.c 262    213    5328687104 32.7   991     1996419072
eca-rers2012/Problem05_label26_false-unreach-call.c 279    232    5333229568 36.9   991     2135859200
eca-rers2012/Problem05_label30_false-unreach-call.c 255    201    5309730816 33.7   991     1974677504
eca-rers2012/Problem05_label32_false-unreach-call.c 277    222    5290397696 46.0   991     2284593152
eca-rers2012/Problem05_label33_false-unreach-call.c 282    235    5419692032 45.6   991     2256228352
eca-rers2012/Problem05_label36_false-unreach-call.c 255    210    5045436416 32.3   991     1944498176
eca-rers2012/Problem05_label37_false-unreach-call.c 255    208    5548937216 47.1   991     2267824128
eca-rers2012/Problem05_label38_false-unreach-call.c 356    304    5605593088 33.6   991     2029162496
eca-rers2012/Problem05_label39_false-unreach-call.c 268    219    5266718720 46.7   991     2253520896
eca-rers2012/Problem05_label40_false-unreach-call.c 276    226    5337899008 44.4   991     2228695040
eca-rers2012/Problem05_label41_false-unreach-call.c 315    268    5416116224 34.2   991     2003714048
eca-rers2012/Problem05_label44_false-unreach-call.c 329    278    5240012800 44.4   991     2231971840
eca-rers2012/Problem05_label47_false-unreach-call.c 267    217    5358784512 42.6   991     2232057856
eca-rers2012/Problem05_label48_false-unreach-call.c 291    239    5365977088 34.9   991     2109575168
eca-rers2012/Problem05_label51_false-unreach-call.c 267    214    5277175808 47.4   991     2278506496
eca-rers2012/Problem05_label55_false-unreach-call.c 278    225    5691645952 43.8   991     2266361856
eca-rers2012/Problem05_label57_false-unreach-call.c 258    212    5283749888 34.8   991     2102407168
eca-rers2012/Problem05_label58_false-unreach-call.c 271    224    5337128960 32.8   991     1981091840
eca-rers2012/Problem06_label00_false-unreach-call.c 226    183    5593645056 19.9   991     997326848
eca-rers2012/Problem06_label01_false-unreach-call.c 228    185    5669715968 25.7   991     1084465152
eca-rers2012/Problem06_label02_false-unreach-call.c 269    228    5753593856 20.4   991     1024229376
eca-rers2012/Problem06_label04_false-unreach-call.c 254    209    5742018560 23.6   991     1003708416
eca-rers2012/Problem06_label05_false-unreach-call.c 222    182    5379751936 19.3   991     979984384
eca-rers2012/Problem06_label09_false-unreach-call.c 98.8  74.2  4073472000 20.2   991     994787328
eca-rers2012/Problem06_label10_false-unreach-call.c 224    183    5531242496 22.8   991     1004736512
eca-rers2012/Problem06_label11_false-unreach-call.c 230    185    5449961472 18.3   991     1044832256
eca-rers2012/Problem06_label12_false-unreach-call.c 221    178    5333471232 24.9   991     1006673920
eca-rers2012/Problem06_label15_false-unreach-call.c 227    185    5528276992 19.3   991     992972800
eca-rers2012/Problem06_label20_false-unreach-call.c 254    209    6050217984 17.6   991     910499840
eca-rers2012/Problem06_label21_false-unreach-call.c 254    211    5863522304 19.1   991     1034608640
eca-rers2012/Problem06_label24_false-unreach-call.c 262    218    6135517184 19.5   991     1013002240
eca-rers2012/Problem06_label27_false-unreach-call.c 232    189    5600591872 17.9   991     1033428992
eca-rers2012/Problem06_label29_false-unreach-call.c 104    76.9  4410945536 20.7   991     991260672
eca-rers2012/Problem06_label33_false-unreach-call.c 97.4  67.7  3625205760 16.7   991     946606080
eca-rers2012/Problem06_label36_false-unreach-call.c 245    204    4982312960 24.2   991     1059389440
eca-rers2012/Problem06_label37_false-unreach-call.c 249    206    5494661120 23.8   991     1053507584
eca-rers2012/Problem06_label38_false-unreach-call.c 247    204    5568835584 22.1   991     1044434944
eca-rers2012/Problem06_label44_false-unreach-call.c 232    189    5422346240 24.1   991     998842368
eca-rers2012/Problem06_label47_false-unreach-call.c 84.4  61.8  4011126784 15.9   991     690028544
eca-rers2012/Problem06_label48_false-unreach-call.c 237    197    5067849728 21.0   991     1002278912
eca-rers2012/Problem06_label56_false-unreach-call.c 82.1  59.0  4039344128 20.4   991     987705344
eca-rers2012/Problem06_label58_false-unreach-call.c 236    193    5315203072 25.1   991     1025675264
eca-rers2012/Problem06_label59_false-unreach-call.c 242    199    5737869312 20.0   991     999858176
eca-rers2012/Problem07_label03_false-unreach-call.c 961    589    9533460480 .902 .593 48091136
eca-rers2012/Problem07_label05_false-unreach-call.c 961    593    8837480448 .917 .597 47616000
eca-rers2012/Problem07_label06_false-unreach-call.c 961    591    8947245056 .954 .621 49057792
eca-rers2012/Problem07_label07_false-unreach-call.c 960    592    9549152256 .937 .606 48439296
eca-rers2012/Problem07_label09_false-unreach-call.c 962    585    9904779264 .902 .582 46231552
eca-rers2012/Problem07_label11_false-unreach-call.c 961    583    9205239808 .943 .617 48619520
eca-rers2012/Problem07_label15_false-unreach-call.c 962    593    9935872000 .910 .588 46813184
eca-rers2012/Problem07_label18_false-unreach-call.c 960    604    8387072000 .913 .588 48046080
eca-rers2012/Problem07_label19_false-unreach-call.c 961    597    8391077888 .930 .593 48406528
eca-rers2012/Problem07_label20_false-unreach-call.c 962    579    9454284800 .963 .631 49094656
eca-rers2012/Problem07_label23_false-unreach-call.c 962    588    9335250944 .911 .584 47398912
eca-rers2012/Problem07_label30_false-unreach-call.c 960    589    9031589888 .899 .590 47972352
eca-rers2012/Problem07_label31_false-unreach-call.c 961    585    8743100416 .955 .608 49008640
eca-rers2012/Problem07_label35_false-unreach-call.c 961    616    8196149248 .927 .613 49381376
eca-rers2012/Problem07_label36_false-unreach-call.c 962    571    9855090688 .925 .591 47353856
eca-rers2012/Problem07_label37_false-unreach-call.c 960    592    8943628288 .939 .593 49090560
eca-rers2012/Problem07_label39_false-unreach-call.c 961    576    9095798784 .882 .579 46637056
eca-rers2012/Problem07_label40_false-unreach-call.c 962    580    9409228800 .949 .617 49631232
eca-rers2012/Problem07_label42_false-unreach-call.c 961    575    9295241216 .956 .619 48033792
eca-rers2012/Problem07_label44_false-unreach-call.c 962    575    10892898304 .918 .604 47030272
eca-rers2012/Problem07_label46_false-unreach-call.c 960    579    9244446720 .923 .600 47443968
eca-rers2012/Problem07_label47_false-unreach-call.c 961    578    9418629120 .933 .608 48623616
eca-rers2012/Problem07_label48_false-unreach-call.c 960    593    8891596800 .926 .622 48709632
eca-rers2012/Problem07_label58_false-unreach-call.c 961    587    9011138560 .935 .598 48529408
eca-rers2012/Problem08_label01_false-unreach-call.c 962    557    11220131840 .906 .588 46288896
eca-rers2012/Problem08_label02_false-unreach-call.c 962    553    12593819648 .919 .585 47456256
eca-rers2012/Problem08_label04_false-unreach-call.c 962    548    10380664832 .946 .615 48644096
eca-rers2012/Problem08_label05_false-unreach-call.c 962    551    10226180096 .926 .594 48357376
eca-rers2012/Problem08_label06_false-unreach-call.c 962    550    10021056512 .951 .617 47947776
eca-rers2012/Problem08_label07_false-unreach-call.c 962    550    10967334912 .903 .573 46161920
eca-rers2012/Problem08_label10_false-unreach-call.c 962    546    11092434944 .883 .564 45813760
eca-rers2012/Problem08_label13_false-unreach-call.c 962    553    10450640896 .948 .624 48095232
eca-rers2012/Problem08_label15_false-unreach-call.c 962    546    10192060416 .954 .602 49274880
eca-rers2012/Problem08_label24_false-unreach-call.c 962    542    10181246976 .952 .611 48537600
eca-rers2012/Problem08_label25_false-unreach-call.c 962    561    10787672064 .938 .613 48164864
eca-rers2012/Problem08_label26_false-unreach-call.c 961    572    11233595392 .925 .592 48320512
eca-rers2012/Problem08_label28_false-unreach-call.c 962    547    10767716352 .906 .610 47022080
eca-rers2012/Problem08_label29_false-unreach-call.c 962    548    11448406016 .909 .584 46358528
eca-rers2012/Problem08_label34_false-unreach-call.c 960    565    10371919872 .939 .598 48091136
eca-rers2012/Problem08_label37_false-unreach-call.c 961    573    10420649984 .935 .604 48652288
eca-rers2012/Problem08_label43_false-unreach-call.c 962    556    10366668800 .974 .633 48996352
eca-rers2012/Problem08_label46_false-unreach-call.c 962    548    11104276480 .948 .630 49192960
eca-rers2012/Problem08_label48_false-unreach-call.c 962    548    11148554240 .910 .619 46108672
eca-rers2012/Problem08_label49_false-unreach-call.c 962    551    11450032128 .908 .569 46837760
eca-rers2012/Problem08_label50_false-unreach-call.c 962    561    12142026752 .891 .570 46419968
eca-rers2012/Problem08_label51_false-unreach-call.c 962    549    11086196736 .965 .616 49184768
eca-rers2012/Problem08_label55_false-unreach-call.c 962    553    10364260352 .919 .596 48934912
eca-rers2012/Problem08_label59_false-unreach-call.c 960    572    10369777664 .929 .612 48697344
eca-rers2012/Problem09_label02_false-unreach-call.c 962    550    11090771968 .888 .584 46505984
eca-rers2012/Problem09_label03_false-unreach-call.c 962    551    11083440128 .875 .576 45785088
eca-rers2012/Problem09_label06_false-unreach-call.c 962    540    11078197248 .888 .564 46358528
eca-rers2012/Problem09_label08_false-unreach-call.c 962    542    11088932864 .878 .590 46915584
eca-rers2012/Problem09_label10_false-unreach-call.c 961    558    11096379392 .960 .620 47738880
eca-rers2012/Problem09_label11_false-unreach-call.c 962    539    11088666624 .912 .582 47714304
eca-rers2012/Problem09_label15_false-unreach-call.c 961    547    11081998336 .907 .593 47321088
eca-rers2012/Problem09_label19_false-unreach-call.c 962    540    11077193728 .883 .573 45703168
eca-rers2012/Problem09_label20_false-unreach-call.c 962    551    11081547776 .895 .586 46731264
eca-rers2012/Problem09_label32_false-unreach-call.c 962    544    11086393344 .901 .598 46088192
eca-rers2012/Problem09_label34_false-unreach-call.c 962    541    11088494592 .929 .601 47476736
eca-rers2012/Problem09_label35_false-unreach-call.c 962    538    11087970304 .905 .609 47386624
eca-rers2012/Problem09_label36_false-unreach-call.c 961    559    11092594688 .953 .610 48967680
eca-rers2012/Problem09_label38_false-unreach-call.c 962    541    11084558336 .922 .592 46567424
eca-rers2012/Problem09_label41_false-unreach-call.c 962    542    11081674752 .878 .569 46759936
eca-rers2012/Problem09_label44_false-unreach-call.c 962    543    11078160384 .884 .568 46174208
eca-rers2012/Problem09_label46_false-unreach-call.c 960    562    11086618624 .988 .643 49532928
eca-rers2012/Problem09_label47_false-unreach-call.c 962    544    11091271680 .894 .578 46682112
eca-rers2012/Problem09_label51_false-unreach-call.c 962    544    11092647936 .910 .591 46514176
eca-rers2012/Problem09_label53_false-unreach-call.c 961    561    11102683136 .926 .605 48939008
eca-rers2012/Problem09_label54_false-unreach-call.c 962    538    11095756800 .872 .562 46022656
eca-rers2012/Problem09_label56_false-unreach-call.c 962    539    11085701120 .899 .582 46583808
eca-rers2012/Problem09_label57_false-unreach-call.c 962    539    11089899520 .936 .612 48414720
eca-rers2012/Problem09_label59_false-unreach-call.c 962    542    11090731008 .902 .583 46645248
eca-rers2012/Problem10_label12_false-unreach-call.c 12.5  6.50 443346944 6.94  3.72  316112896
eca-rers2012/Problem10_label15_false-unreach-call.c 15.0  7.92 612249600 6.29  3.45  284848128
eca-rers2012/Problem10_label24_false-unreach-call.c 16.6  8.92 584859648 7.13  3.86  314200064
eca-rers2012/Problem10_label26_false-unreach-call.c 15.9  8.93 786583552 7.05  3.81  315662336
eca-rers2012/Problem10_label28_false-unreach-call.c 14.8  7.93 612188160 6.70  3.64  285315072
eca-rers2012/Problem10_label29_false-unreach-call.c 17.8  9.30 576262144 6.98  3.78  309481472
eca-rers2012/Problem10_label41_false-unreach-call.c 10.2  5.33 448720896 6.19  3.40  280051712
eca-rers2012/Problem10_label42_false-unreach-call.c 9.33 4.90 417792000 6.54  3.54  320811008
eca-rers2012/Problem10_label46_false-unreach-call.c 7.92 4.21 322387968 5.68  3.08  287776768
eca-rers2012/Problem10_label47_false-unreach-call.c 11.7  6.12 458371072 6.65  3.61  307073024
eca-rers2012/Problem10_label48_false-unreach-call.c 15.1  8.14 591593472 6.70  3.64  309698560
eca-rers2012/Problem10_label50_false-unreach-call.c 14.4  7.44 449765376 7.50  4.06  320057344
eca-rers2012/Problem10_label55_false-unreach-call.c 11.7  6.05 465489920 6.73  3.64  303702016
eca-rers2012/Problem10_label57_false-unreach-call.c 14.1  7.58 612253696 6.30  3.43  281706496
eca-rers2012/Problem10_label58_false-unreach-call.c 15.6  8.50 582303744 6.38  3.51  295243776
eca-rers2012/Problem11_label00_false-unreach-call.c 16.6  8.88 589185024 7.99  4.28  320274432
eca-rers2012/Problem11_label08_false-unreach-call.c 14.5  7.63 545447936 7.17  3.86  307810304
eca-rers2012/Problem11_label14_false-unreach-call.c 12.3  6.37 461897728 7.28  3.90  313155584
eca-rers2012/Problem11_label15_false-unreach-call.c 13.8  7.20 553222144 6.85  3.71  301551616
eca-rers2012/Problem11_label20_false-unreach-call.c 18.2  10.6  840388608 7.71  4.14  345612288
eca-rers2012/Problem11_label29_false-unreach-call.c 13.2  6.79 445014016 7.46  4.01  320442368
eca-rers2012/Problem11_label31_false-unreach-call.c 16.0  8.66 590462976 7.78  4.18  342290432
eca-rers2012/Problem11_label34_false-unreach-call.c 16.4  8.76 613961728 7.71  4.13  345288704
eca-rers2012/Problem11_label36_false-unreach-call.c 13.2  6.91 571314176 7.04  3.79  307077120
eca-rers2012/Problem11_label39_false-unreach-call.c 18.1  10.3  858247168 7.54  4.05  315985920
eca-rers2012/Problem11_label42_false-unreach-call.c 12.3  6.35 483774464 7.42  3.98  314195968
eca-rers2012/Problem11_label43_false-unreach-call.c 13.7  7.06 571645952 7.09  3.84  304779264
eca-rers2012/Problem11_label49_false-unreach-call.c 11.4  5.92 466272256 6.73  3.65  306733056
eca-rers2012/Problem11_label51_false-unreach-call.c 15.2  8.13 631865344 7.63  4.11  317530112
eca-rers2012/Problem11_label58_false-unreach-call.c 13.7  7.17 581931008 7.20  3.89  310640640
eca-rers2012/Problem12_label00_false-unreach-call.c 571    435    14999998464 .906 .573 46989312
eca-rers2012/Problem12_label03_false-unreach-call.c 597    447    14999998464 .895 .589 46981120
eca-rers2012/Problem12_label06_false-unreach-call.c 587    442    14999998464 .928 .596 47431680
eca-rers2012/Problem12_label07_false-unreach-call.c 569    428    14999998464 .907 .589 48058368
eca-rers2012/Problem12_label08_false-unreach-call.c 599    449    14999998464 .874 .574 46362624
eca-rers2012/Problem12_label10_false-unreach-call.c 577    437    14999998464 .894 .564 46960640
eca-rers2012/Problem12_label13_false-unreach-call.c 571    435    14999998464 .885 .579 46264320
eca-rers2012/Problem12_label19_false-unreach-call.c 606    452    14999998464 .939 .630 47931392
eca-rers2012/Problem12_label20_false-unreach-call.c 63.8  47.4  3201388544 12.9   6.82  599261184
eca-rers2012/Problem12_label21_false-unreach-call.c 562    430    14999998464 .897 .576 46612480
eca-rers2012/Problem12_label25_false-unreach-call.c 614    454    14999998464 .891 .586 46112768
eca-rers2012/Problem12_label28_false-unreach-call.c 589    443    14999998464 .919 .590 47759360
eca-rers2012/Problem12_label30_false-unreach-call.c 605    451    14999998464 .895 .578 45993984
eca-rers2012/Problem12_label34_false-unreach-call.c 572    435    14999998464 .893 .579 46645248
eca-rers2012/Problem12_label35_false-unreach-call.c 43.8  29.0  2576920576 11.6   6.32  445186048
eca-rers2012/Problem12_label37_false-unreach-call.c 575    436    14999998464 .947 .626 48230400
eca-rers2012/Problem12_label38_false-unreach-call.c 571    434    14999998464 .962 .666 47042560
eca-rers2012/Problem12_label39_false-unreach-call.c 781    540    14999998464 .915 .601 45899776
eca-rers2012/Problem12_label40_false-unreach-call.c 583    435    14999998464 .917 .598 48750592
eca-rers2012/Problem12_label42_false-unreach-call.c 608    454    14999998464 .910 .599 46579712
eca-rers2012/Problem12_label48_false-unreach-call.c 573    435    14999998464 .927 .620 47091712
eca-rers2012/Problem12_label50_false-unreach-call.c 569    432    14999998464 .916 .578 47112192
eca-rers2012/Problem12_label51_false-unreach-call.c 570    436    14999998464 .881 .580 46108672
eca-rers2012/Problem12_label52_false-unreach-call.c 624    460    14999998464 .891 .594 46473216
eca-rers2012/Problem12_label55_false-unreach-call.c 78.1  58.4  3284926464 11.8   6.23  597741568
eca-rers2012/Problem13_label04_false-unreach-call.c 37.9  24.1  2037964800 15.3   8.10  620818432
eca-rers2012/Problem13_label06_false-unreach-call.c 57.8  41.2  3255185408 13.0   6.85  616673280
eca-rers2012/Problem13_label07_false-unreach-call.c 66.2  46.7  3304017920 16.1   8.43  626638848
eca-rers2012/Problem13_label11_false-unreach-call.c 51.9  35.2  2473046016 13.8   7.30  625520640
eca-rers2012/Problem13_label12_false-unreach-call.c 470    382    14999998464 .922 .597 48439296
eca-rers2012/Problem13_label16_false-unreach-call.c 66.9  48.4  3618828288 14.1   7.43  618414080
eca-rers2012/Problem13_label19_false-unreach-call.c 453    372    14999998464 .890 .586 47050752
eca-rers2012/Problem13_label21_false-unreach-call.c 90.8  68.3  4216320000 13.7   7.25  624738304
eca-rers2012/Problem13_label23_false-unreach-call.c 681    490    14999998464 .923 .599 47685632
eca-rers2012/Problem13_label24_false-unreach-call.c 60.4  43.3  2986782720 14.1   7.41  629776384
eca-rers2012/Problem13_label25_false-unreach-call.c 70.5  49.6  3406057472 16.1   8.44  624656384
eca-rers2012/Problem13_label28_false-unreach-call.c 46.5  31.1  2354155520 12.1   6.45  585740288
eca-rers2012/Problem13_label29_false-unreach-call.c 66.0  48.6  3446583296 15.8   8.33  626999296
eca-rers2012/Problem13_label30_false-unreach-call.c 101    76.5  4431294464 17.0   8.85  632373248
eca-rers2012/Problem13_label32_false-unreach-call.c 66.4  48.3  3163168768 16.2   8.50  620032000
eca-rers2012/Problem13_label35_false-unreach-call.c 31.4  19.8  1512030208 12.4   6.59  601944064
eca-rers2012/Problem13_label36_false-unreach-call.c 99.6  76.9  4297756672 13.5   7.12  620666880
eca-rers2012/Problem13_label40_false-unreach-call.c 41.9  27.8  2188464128 12.6   6.67  597729280
eca-rers2012/Problem13_label43_false-unreach-call.c 644    467    14999998464 .885 .574 46444544
eca-rers2012/Problem13_label44_false-unreach-call.c 32.4  19.8  1573736448 13.0   6.86  612294656
eca-rers2012/Problem13_label45_false-unreach-call.c 48.9  33.6  2667266048 12.7   6.72  590966784
eca-rers2012/Problem13_label48_false-unreach-call.c 47.5  31.4  2363052032 13.8   7.28  628273152
eca-rers2012/Problem13_label51_false-unreach-call.c 463    376    14999998464 .910 .580 46497792
eca-rers2012/Problem13_label54_false-unreach-call.c 53.6  36.1  2476503040 16.7   8.70  627597312
eca-rers2012/Problem13_label58_false-unreach-call.c 466    380    14999998464 .889 .571 45969408
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 27.3  14.2  1099804672 13.9   7.24  650338304
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 23.6  12.1  1043894272 13.7   7.12  643710976
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 23.5  12.0  817627136 10.1   5.33  403509248
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 21.9  11.3  954114048 10.6   5.57  596746240
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 26.6  13.9  1077047296 13.1   6.84  636481536
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 21.6  11.2  941809664 12.5   6.60  622432256
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 19.9  10.3  779337728 12.2   6.40  604282880
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 23.8  12.2  1033793536 11.0   5.82  620126208
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 23.1  12.1  1051242496 12.8   6.73  636121088
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 28.1  14.4  810491904 9.88  5.27  582090752
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 27.5  14.2  1114259456 13.8   7.17  653045760
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 27.4  14.3  1027473408 10.8   5.67  610869248
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 21.2  11.0  934948864 10.7   5.61  600444928
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 21.1  10.9  914407424 9.88  5.23  592084992
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 22.3  11.6  1030647808 10.9   5.78  538292224
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 21.9  11.3  953982976 12.7   6.63  623271936
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 22.3  11.7  998477824 10.8   5.69  464269312
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 25.9  13.7  1068163072 14.0   7.33  645828608
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 27.1  14.2  1043046400 11.4   6.05  525684736
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 26.2  13.7  1076125696 11.6   6.09  539672576
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 21.6  11.3  959901696 12.7   6.71  555868160
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 26.8  13.9  1073098752 14.0   7.27  653012992
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 22.3  11.5  985812992 10.8   5.63  518860800
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 20.5  10.5  784678912 10.1   5.31  408788992
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 23.3  12.1  1032179712 13.3   6.96  641802240
eca-rers2012/Problem15_label00_false-unreach-call.c 22.1  11.7  688234496 8.56  4.58  344649728
eca-rers2012/Problem15_label02_false-unreach-call.c 18.4  9.53 606986240 9.36  5.18  356589568
eca-rers2012/Problem15_label03_false-unreach-call.c 20.0  10.7  766803968 12.8   6.86  361811968
eca-rers2012/Problem15_label07_false-unreach-call.c 20.5  11.2  940539904 9.57  5.05  397885440
eca-rers2012/Problem15_label09_false-unreach-call.c 20.3  10.6  850780160 9.55  5.09  377556992
eca-rers2012/Problem15_label14_false-unreach-call.c 21.2  11.4  915574784 9.36  4.99  355926016
eca-rers2012/Problem15_label15_false-unreach-call.c 18.3  9.67 668774400 9.72  5.15  378925056
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 19.0  10.0  840409088 9.20  4.88  362778624
eca-rers2012/Problem15_label22_false-unreach-call.c 17.4  9.20 642285568 9.02  4.81  352837632
eca-rers2012/Problem15_label23_false-unreach-call.c 19.7  10.8  817016832 9.36  4.96  383856640
eca-rers2012/Problem15_label25_false-unreach-call.c 20.4  10.9  773087232 9.63  5.13  392699904
eca-rers2012/Problem15_label29_false-unreach-call.c 19.1  10.2  866545664 9.57  5.06  368091136
eca-rers2012/Problem15_label30_false-unreach-call.c 19.1  10.3  773419008 8.51  4.54  339648512
eca-rers2012/Problem15_label33_false-unreach-call.c 18.7  10.2  891297792 9.05  4.83  349675520
eca-rers2012/Problem15_label34_false-unreach-call.c 20.7  11.2  893157376 9.32  4.93  365101056
eca-rers2012/Problem15_label37_false-unreach-call.c 19.4  10.4  864198656 9.63  5.11  396804096
eca-rers2012/Problem15_label38_false-unreach-call.c 20.6  11.2  906817536 9.67  5.14  389611520
eca-rers2012/Problem15_label39_false-unreach-call.c 21.1  11.4  945926144 9.71  5.15  395862016
eca-rers2012/Problem15_label40_false-unreach-call.c 19.0  9.98 638611456 9.41  4.96  369377280
eca-rers2012/Problem15_label41_false-unreach-call.c 18.3  9.97 883388416 9.16  4.88  344391680
eca-rers2012/Problem15_label45_false-unreach-call.c 21.1  11.5  893063168 9.70  5.13  371638272
eca-rers2012/Problem15_label47_false-unreach-call.c 20.1  10.6  872071168 9.34  4.96  367812608
eca-rers2012/Problem15_label48_false-unreach-call.c 17.8  9.45 793862144 8.92  4.72  351592448
eca-rers2012/Problem15_label50_false-unreach-call.c 21.2  11.7  934588416 9.02  4.79  368578560
eca-rers2012/Problem15_label51_false-unreach-call.c 18.8  10.4  766459904 8.80  4.66  342904832
eca-rers2012/Problem16_label00_false-unreach-call.c 962    651    8086614016 .902 .593 46800896
eca-rers2012/Problem16_label01_false-unreach-call.c 961    653    8467226624 .904 .574 46112768
eca-rers2012/Problem16_label03_false-unreach-call.c 961    643    14380494848 .945 .604 48168960
eca-rers2012/Problem16_label04_false-unreach-call.c 901    596    14999998464 .882 .561 45645824
eca-rers2012/Problem16_label05_false-unreach-call.c 960    642    14072524800 1.34  .811 64921600
eca-rers2012/Problem16_label06_false-unreach-call.c 961    651    14230401024 .908 .575 46960640
eca-rers2012/Problem16_label08_false-unreach-call.c 955    642    14924136448 1.34  .812 63758336
eca-rers2012/Problem16_label14_false-unreach-call.c 837    566    14999998464 .874 .568 46854144
eca-rers2012/Problem16_label15_false-unreach-call.c 949    635    14710456320 1.38  .852 64053248
eca-rers2012/Problem16_label18_false-unreach-call.c 960    640    14712225792 .959 .635 48242688
eca-rers2012/Problem16_label20_false-unreach-call.c 948    633    14582124544 1.34  .813 62361600
eca-rers2012/Problem16_label22_false-unreach-call.c 961    640    13267451904 .938 .610 49045504
eca-rers2012/Problem16_label27_false-unreach-call.c 961    639    14671663104 .955 .628 48390144
eca-rers2012/Problem16_label30_false-unreach-call.c 951    635    13341798400 1.35  .809 63774720
eca-rers2012/Problem16_label31_false-unreach-call.c 961    643    14740840448 1.32  .792 64802816
eca-rers2012/Problem16_label33_false-unreach-call.c 961    641    13973700608 .974 .640 49672192
eca-rers2012/Problem16_label37_false-unreach-call.c 948    633    14701535232 1.37  .837 64983040
eca-rers2012/Problem16_label38_false-unreach-call.c 957    639    14044549120 1.34  .821 62836736
eca-rers2012/Problem16_label41_false-unreach-call.c 953    635    14715654144 1.31  .808 63909888
eca-rers2012/Problem16_label43_false-unreach-call.c 960    643    14336561152 1.28  .790 60055552
eca-rers2012/Problem16_label44_false-unreach-call.c 945    632    13943713792 1.35  .817 63037440
eca-rers2012/Problem16_label46_false-unreach-call.c 961    649    14338265088 .888 .573 45854720
eca-rers2012/Problem16_label51_false-unreach-call.c 961    656    13439590400 .904 .594 46657536
eca-rers2012/Problem16_label52_false-unreach-call.c 961    657    14352941056 .913 .595 46784512
eca-rers2012/Problem16_label54_false-unreach-call.c 961    651    13988524032 .879 .567 46137344
eca-rers2012/Problem17_label04_false-unreach-call.c 23.6  14.5  1347284992 9.41  4.98  344031232
eca-rers2012/Problem17_label07_false-unreach-call.c 28.2  16.5  1217695744 11.7   6.17  598745088
eca-rers2012/Problem17_label09_false-unreach-call.c 26.3  15.2  1318895616 11.4   6.04  581435392
eca-rers2012/Problem17_label13_false-unreach-call.c 29.2  17.4  1489264640 11.1   5.85  591564800
eca-rers2012/Problem17_label16_false-unreach-call.c 26.4  14.7  1194897408 11.2   5.93  582914048
eca-rers2012/Problem17_label20_false-unreach-call.c 27.6  16.6  1348014080 11.3   5.92  586104832
eca-rers2012/Problem17_label23_false-unreach-call.c 24.8  15.6  1365811200 9.25  4.94  353976320
eca-rers2012/Problem17_label25_false-unreach-call.c 27.5  15.7  1145389056 10.9   5.81  562671616
eca-rers2012/Problem17_label26_false-unreach-call.c 26.8  15.8  1160253440 11.3   5.96  579375104
eca-rers2012/Problem17_label30_false-unreach-call.c 23.8  13.3  1185001472 10.7   5.66  439078912
eca-rers2012/Problem17_label31_false-unreach-call.c 22.0  12.0  820985856 11.3   5.97  552988672
eca-rers2012/Problem17_label33_false-unreach-call.c 28.6  18.0  1499815936 9.73  5.19  404803584
eca-rers2012/Problem17_label34_false-unreach-call.c 25.6  15.7  1261301760 9.90  5.24  357593088
eca-rers2012/Problem17_label35_false-unreach-call.c 22.5  12.4  887115776 11.4   6.04  583094272
eca-rers2012/Problem17_label37_false-unreach-call.c 29.0  17.8  1542770688 9.98  5.28  391020544
eca-rers2012/Problem17_label40_false-unreach-call.c 23.6  13.4  1196703744 10.0   5.31  437006336
eca-rers2012/Problem17_label46_false-unreach-call.c 23.6  13.0  1113686016 11.3   6.01  577130496
eca-rers2012/Problem17_label49_false-unreach-call.c 31.8  20.0  1470423040 9.84  5.26  386928640
eca-rers2012/Problem17_label50_false-unreach-call.c 22.7  12.6  961761280 11.3   5.96  570040320
eca-rers2012/Problem17_label52_false-unreach-call.c 23.7  13.0  996593664 12.0   6.30  597180416
eca-rers2012/Problem17_label53_false-unreach-call.c 25.8  14.9  1294245888 10.6   5.62  560254976
eca-rers2012/Problem17_label54_false-unreach-call.c 28.8  17.3  1558949888 13.5   7.06  622706688
eca-rers2012/Problem17_label55_false-unreach-call.c 27.3  15.7  1352957952 11.1   5.89  588136448
eca-rers2012/Problem17_label57_false-unreach-call.c 32.0  19.5  1596207104 9.89  5.28  420433920
eca-rers2012/Problem18_label00_false-unreach-call.c 75.4  55.1  4112596992 13.5   7.13  631341056
eca-rers2012/Problem18_label01_false-unreach-call.c 75.7  58.8  3588501504 13.5   7.06  625065984
eca-rers2012/Problem18_label03_false-unreach-call.c 49.7  33.3  2431213568 15.3   8.04  639655936
eca-rers2012/Problem18_label06_false-unreach-call.c 87.8  65.9  4035051520 16.1   8.39  747307008
eca-rers2012/Problem18_label08_false-unreach-call.c 78.8  58.3  3929944064 15.3   7.94  640811008
eca-rers2012/Problem18_label09_false-unreach-call.c 57.3  39.3  3657908224 16.3   8.52  630681600
eca-rers2012/Problem18_label10_false-unreach-call.c 73.4  53.2  4159057920 15.9   8.31  613691392
eca-rers2012/Problem18_label12_false-unreach-call.c 60.5  45.1  3187458048 15.4   8.04  570421248
eca-rers2012/Problem18_label19_false-unreach-call.c 60.1  40.7  3249541120 15.8   8.21  726216704
eca-rers2012/Problem18_label20_false-unreach-call.c 56.7  37.5  3491987456 16.9   8.85  789004288
eca-rers2012/Problem18_label25_false-unreach-call.c 56.0  39.2  3336966144 17.2   8.90  765427712
eca-rers2012/Problem18_label27_false-unreach-call.c 43.8  28.8  2597445632 15.0   7.80  645509120
eca-rers2012/Problem18_label31_false-unreach-call.c 57.1  38.7  3493986304 16.3   8.44  633556992
eca-rers2012/Problem18_label32_false-unreach-call.c 87.6  65.4  4380200960 16.8   8.73  767721472
eca-rers2012/Problem18_label33_false-unreach-call.c 61.8  41.3  3296829440 16.8   8.76  781967360
eca-rers2012/Problem18_label34_false-unreach-call.c 54.1  35.4  2725683200 15.8   8.23  640106496
eca-rers2012/Problem18_label35_false-unreach-call.c 57.2  38.9  3178450944 16.5   8.54  605941760
eca-rers2012/Problem18_label36_false-unreach-call.c 102    75.4  4553461760 16.0   8.36  733986816
eca-rers2012/Problem18_label38_false-unreach-call.c 72.1  51.7  3687088128 15.2   7.94  641331200
eca-rers2012/Problem18_label39_false-unreach-call.c 60.5  40.8  3524956160 15.4   8.04  567631872
eca-rers2012/Problem18_label45_false-unreach-call.c 57.7  38.1  2316795904 15.7   8.18  641105920
eca-rers2012/Problem18_label49_false-unreach-call.c 83.6  61.2  3803721728 16.1   8.37  662167552
eca-rers2012/Problem18_label52_false-unreach-call.c 63.5  47.0  3316539392 14.8   7.72  636243968
eca-rers2012/Problem18_label55_false-unreach-call.c 46.9  31.2  2748600320 16.5   8.60  582520832
eca-rers2012/Problem18_label57_false-unreach-call.c 56.1  39.5  3058622464 16.4   8.55  638992384
eca-rers2012/Problem19_label10_false-unreach-call.c 465    374    14999998464 .892 .600 46940160
eca-rers2012/Problem19_label11_false-unreach-call.c 468    378    14999998464 .888 .583 46829568
eca-rers2012/Problem19_label14_false-unreach-call.c 475    382    14999998464 .899 .575 46145536
eca-rers2012/Problem19_label17_false-unreach-call.c 467    377    14999998464 .928 .603 48885760
eca-rers2012/Problem19_label18_false-unreach-call.c 113    79.5  5012008960 27.1   14.1   1365819392
eca-rers2012/Problem19_label19_false-unreach-call.c 469    378    14999998464 .902 .608 46407680
eca-rers2012/Problem19_label21_false-unreach-call.c 466    377    14999998464 .903 .583 46129152
eca-rers2012/Problem19_label22_false-unreach-call.c 471    373    14999998464 .890 .581 46772224
eca-rers2012/Problem19_label26_false-unreach-call.c 467    379    14999998464 .906 .585 45948928
eca-rers2012/Problem19_label27_false-unreach-call.c 473    379    14999998464 .898 .591 46219264
eca-rers2012/Problem19_label28_false-unreach-call.c 470    378    14999998464 .893 .596 45965312
eca-rers2012/Problem19_label29_false-unreach-call.c 469    378    14999998464 .889 .593 47636480
eca-rers2012/Problem19_label31_false-unreach-call.c 471    380    14999998464 .907 .585 46993408
eca-rers2012/Problem19_label32_false-unreach-call.c 466    376    14999998464 .941 .607 48254976
eca-rers2012/Problem19_label41_false-unreach-call.c 466    378    14999998464 .952 .623 47595520
eca-rers2012/Problem19_label42_false-unreach-call.c 469    375    14999998464 .914 .600 45875200
eca-rers2012/Problem19_label43_false-unreach-call.c 465    376    14999998464 .886 .579 46145536
eca-rers2012/Problem19_label47_false-unreach-call.c 467    377    14999998464 .900 .579 46632960
eca-rers2012/Problem19_label50_false-unreach-call.c 469    377    14999998464 .872 .573 46518272
eca-rers2012/Problem19_label51_false-unreach-call.c 475    382    14999998464 .896 .586 46301184
eca-rers2012/Problem19_label53_false-unreach-call.c 466    375    14999998464 .977 .644 46837760
eca-rers2012/Problem19_label55_false-unreach-call.c 470    380    14999998464 .913 .594 46837760
eca-rers2012/Problem19_label58_false-unreach-call.c 478    385    14999998464 .900 .568 46665728
eca-rers2012/Problem19_label59_false-unreach-call.c 464    371    14999998464 .885 .582 46813184
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 15.1  8.10 864555008 1.22  .756 57593856
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 14.8  7.96 907730944 1.21  .751 58322944
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 14.2  7.75 905129984 1.23  .739 57470976
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 15.4  8.20 890564608 1.24  .786 59490304
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 15.0  8.04 871997440 1.21  .760 59142144
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 14.8  7.97 857395200 1.23  .760 59781120
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 15.9  8.54 915677184 1.23  .748 58032128
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 15.2  8.17 837701632 1.47  .884 58036224
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 15.5  8.32 892649472 1.14  .728 56156160
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 14.3  7.88 898289664 1.24  .742 59035648
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 14.4  7.90 914247680 1.25  .784 58105856
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 15.5  8.24 925536256 1.26  .769 58920960
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 14.6  7.94 898215936 1.26  .766 59912192
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 14.8  7.97 864501760 1.20  .748 57593856
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 15.4  8.26 883335168 1.24  .760 59199488
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 14.6  7.90 883986432 1.20  .728 58548224
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 14.8  8.00 891781120 1.20  .772 58462208
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 14.6  7.96 901738496 1.23  .767 58478592
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 14.9  8.08 926646272 1.24  .770 58740736
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 14.6  7.93 834646016 1.32  .819 59260928
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 15.3  8.13 915673088 1.17  .739 58736640
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 14.5  7.89 808505344 1.23  .757 57204736
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 16.2  8.52 914034688 1.27  .780 58368000
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 15.1  8.11 916819968 1.22  .764 58793984
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 15.3  8.23 822067200 1.26  .772 57171968
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 14.4  7.80 915972096 1.22  .742 54276096
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 15.7  8.47 900055040 1.24  .779 59822080
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 16.1  8.45 933941248 1.28  .781 60096512
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 14.6  8.00 867971072 1.19  .732 56467456
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 15.1  8.14 931364864 1.20  .732 56745984
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 15.1  8.12 912015360 1.23  .762 58699776
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 15.3  8.25 914620416 1.27  .793 59748352
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 14.4  7.85 833462272 1.23  .767 57352192
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 15.7  8.33 802643968 1.26  .765 58163200
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 15.4  8.20 848584704 1.30  .794 59330560
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 14.4  7.91 886784000 1.27  .787 57110528
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 16.5  8.62 930078720 1.21  .742 57905152
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 14.8  7.98 888991744 1.20  .742 54956032
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 14.6  7.91 877699072 1.17  .733 56729600
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 14.5  7.85 862937088 1.23  .747 58982400
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 15.0  8.14 871436288 1.20  .746 58793984
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 14.7  8.03 918073344 1.26  .780 58540032
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 16.0  8.70 860250112 1.29  .811 58363904
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 14.5  7.86 871190528 1.22  .764 58687488
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 14.9  8.02 833548288 1.20  .764 55898112
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 14.8  8.04 875921408 1.31  .796 60375040
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 14.3  7.82 832458752 1.26  .790 58396672
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 13.2  6.85 684314624 1.28  .784 59219968
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 12.4  6.59 676769792 1.28  .775 59527168
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 12.5  6.63 668602368 1.24  .773 56451072
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 13.0  6.80 678502400 1.27  .776 58978304
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 14.1  7.28 683118592 1.26  .772 59723776
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 12.9  6.76 663552000 1.23  .778 59269120
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 12.8  6.77 673755136 1.24  .755 58195968
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 13.2  6.83 649236480 1.25  .773 58662912
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 12.4  6.57 672505856 1.26  .782 58404864
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 12.7  6.68 673669120 1.45  .891 58613760
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 13.7  7.08 665104384 1.24  .763 59613184
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 12.3  6.50 663670784 1.18  .734 57315328
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 12.8  6.72 649687040 1.26  .780 56397824
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 12.5  6.71 690900992 1.25  .756 58081280
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 12.9  6.85 657928192 1.24  .752 59076608
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 13.3  7.02 653983744 1.29  .796 59465728
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 12.3  6.49 655781888 1.19  .741 59445248
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 15.2  7.89 657457152 1.35  .838 57487360
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 15.9  8.19 694681600 1.23  .765 58064896
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 13.6  7.00 665886720 1.19  .768 57851904
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 12.7  6.68 691478528 1.22  .759 58163200
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 12.8  6.75 669085696 1.23  .776 57733120
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 12.9  6.71 662700032 1.20  .735 57225216
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 13.0  6.77 656142336 1.20  .741 58109952
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 13.9  7.16 676409344 1.20  .744 59252736
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 13.9  7.32 652378112 1.23  .768 59990016
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 15.5  8.16 684949504 1.25  .786 59080704
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 14.0  7.18 666529792 1.23  .767 56979456
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 14.5  7.66 658124800 1.18  .746 54415360
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 12.4  6.48 665792512 1.21  .767 58212352
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 13.8  7.11 676286464 1.24  .765 59293696
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 13.8  7.25 662913024 1.19  .736 58056704
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 13.1  6.74 673779712 1.18  .744 56692736
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 12.5  6.65 669163520 1.25  .782 57929728
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 13.1  6.80 687251456 1.23  .784 57888768
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 12.2  6.51 669437952 1.25  .772 57688064
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 15.6  8.14 652406784 1.21  .744 57155584
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 13.7  7.06 671637504 1.19  .724 56541184
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 13.1  6.78 653787136 1.23  .769 59494400
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 12.6  6.66 679370752 1.25  .772 59535360
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 12.5  6.59 654909440 1.19  .743 58224640
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 12.6  6.63 647286784 1.29  .791 59731968
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 13.0  6.80 691347456 1.29  .791 59179008
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 13.9  7.16 685633536 1.35  .841 61169664
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 12.2  6.55 680988672 1.24  .761 58564608
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 13.6  7.04 672616448 1.24  .786 58540032
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 13.2  6.89 672784384 1.23  .771 59138048
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 13.2  6.83 670355456 1.23  .765 59072512
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 12.6  6.61 655130624 1.23  .766 58073088
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 13.3  6.87 675762176 1.21  .740 55828480
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 14.4  7.49 690135040 1.24  .768 59449344
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 12.6  6.64 664510464 1.21  .742 57380864
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 13.2  6.85 669446144 1.26  .785 60899328
eca-rers2012/Problem03_label00_true-unreach-call.c 28.9  19.5  1991925760 1.38  .839 67153920
eca-rers2012/Problem03_label01_true-unreach-call.c 30.6  20.3  1962012672 1.32  .819 63733760
eca-rers2012/Problem03_label02_true-unreach-call.c 32.9  21.9  1968680960 1.34  .820 63758336
eca-rers2012/Problem03_label03_true-unreach-call.c 29.4  19.9  1965072384 1.32  .811 64806912
eca-rers2012/Problem03_label04_true-unreach-call.c 29.7  19.8  1959936000 1.34  .822 63508480
eca-rers2012/Problem03_label05_true-unreach-call.c 28.8  19.4  1963110400 1.36  .841 64557056
eca-rers2012/Problem03_label06_true-unreach-call.c 29.8  19.9  1890971648 1.33  .812 63676416
eca-rers2012/Problem03_label07_true-unreach-call.c 31.2  20.5  1918947328 1.38  .838 65196032
eca-rers2012/Problem03_label08_true-unreach-call.c 31.6  20.6  1870946304 1.37  .838 64843776
eca-rers2012/Problem03_label10_true-unreach-call.c 30.9  20.3  1957093376 1.38  .850 64385024
eca-rers2012/Problem03_label11_true-unreach-call.c 29.4  19.9  1997053952 1.42  .840 64688128
eca-rers2012/Problem03_label12_true-unreach-call.c 29.1  19.8  2029367296 1.35  .820 66379776
eca-rers2012/Problem03_label14_true-unreach-call.c 29.8  20.0  2072047616 1.40  .856 66207744
eca-rers2012/Problem03_label15_true-unreach-call.c 29.8  20.2  1930850304 1.36  .824 64999424
eca-rers2012/Problem03_label16_true-unreach-call.c 36.1  22.8  2035175424 1.41  .851 64397312
eca-rers2012/Problem03_label17_true-unreach-call.c 30.0  19.9  1852755968 1.36  .834 66162688
eca-rers2012/Problem03_label18_true-unreach-call.c 29.9  20.1  1988702208 1.41  .871 65990656
eca-rers2012/Problem03_label19_true-unreach-call.c 30.1  20.1  1856045056 1.37  .816 65847296
eca-rers2012/Problem03_label20_true-unreach-call.c 29.5  19.9  1902624768 1.38  .853 66117632
eca-rers2012/Problem03_label21_true-unreach-call.c 31.1  20.8  1979965440 1.33  .812 64729088
eca-rers2012/Problem03_label22_true-unreach-call.c 29.2  19.7  1944424448 1.43  .873 65392640
eca-rers2012/Problem03_label23_true-unreach-call.c 29.3  20.0  1976721408 1.39  .848 66301952
eca-rers2012/Problem03_label24_true-unreach-call.c 30.9  20.3  1862447104 1.35  .846 64892928
eca-rers2012/Problem03_label25_true-unreach-call.c 34.3  22.7  1876312064 1.35  .827 66392064
eca-rers2012/Problem03_label29_true-unreach-call.c 29.7  20.1  1987198976 1.44  .872 65966080
eca-rers2012/Problem03_label30_true-unreach-call.c 29.2  19.9  1948999680 1.36  .835 64421888
eca-rers2012/Problem03_label32_true-unreach-call.c 30.9  20.4  1905131520 1.38  .848 65740800
eca-rers2012/Problem03_label33_true-unreach-call.c 31.2  20.7  2010378240 1.27  .792 62382080
eca-rers2012/Problem03_label34_true-unreach-call.c 30.6  20.5  1979604992 1.33  .801 65372160
eca-rers2012/Problem03_label36_true-unreach-call.c 31.9  21.2  1853624320 1.35  .831 65044480
eca-rers2012/Problem03_label38_true-unreach-call.c 28.8  19.6  1849483264 1.36  .825 64954368
eca-rers2012/Problem03_label40_true-unreach-call.c 30.2  20.5  1915027456 1.52  .919 65548288
eca-rers2012/Problem03_label41_true-unreach-call.c 29.7  20.0  1953226752 1.36  .834 64385024
eca-rers2012/Problem03_label42_true-unreach-call.c 30.6  20.2  1976250368 1.40  .841 64675840
eca-rers2012/Problem03_label44_true-unreach-call.c 28.8  19.6  1967661056 1.40  .834 65699840
eca-rers2012/Problem03_label46_true-unreach-call.c 30.8  20.4  2083627008 1.35  .820 64831488
eca-rers2012/Problem03_label47_true-unreach-call.c 28.9  19.6  1951490048 1.33  .800 64622592
eca-rers2012/Problem03_label48_true-unreach-call.c 30.3  20.1  1810751488 1.40  .848 64700416
eca-rers2012/Problem03_label49_true-unreach-call.c 31.6  21.0  2031235072 1.36  .825 64532480
eca-rers2012/Problem03_label51_true-unreach-call.c 35.3  23.4  1982238720 1.26  .787 60633088
eca-rers2012/Problem03_label53_true-unreach-call.c 30.6  20.5  1994235904 1.36  .838 64925696
eca-rers2012/Problem03_label54_true-unreach-call.c 29.8  19.9  1971298304 1.34  .819 64839680
eca-rers2012/Problem03_label55_true-unreach-call.c 29.4  19.6  1953738752 1.31  .792 64618496
eca-rers2012/Problem03_label56_true-unreach-call.c 30.0  20.2  1989730304 1.34  .804 65253376
eca-rers2012/Problem03_label57_true-unreach-call.c 29.7  19.8  1913372672 1.40  .856 65236992
eca-rers2012/Problem03_label58_true-unreach-call.c 30.0  20.1  1949515776 1.41  .865 66457600
eca-rers2012/Problem03_label59_true-unreach-call.c 29.3  19.8  1949356032 1.41  .841 64462848
eca-rers2012/Problem04_label00_true-unreach-call.c 183    156    4456460288 1.75  1.01  88346624
eca-rers2012/Problem04_label01_true-unreach-call.c 188    162    4450467840 1.75  1.03  88244224
eca-rers2012/Problem04_label02_true-unreach-call.c 183    155    4424912896 1.83  1.07  88973312
eca-rers2012/Problem04_label03_true-unreach-call.c 180    153    4463108096 1.99  1.15  88092672
eca-rers2012/Problem04_label05_true-unreach-call.c 195    166    4415135744 1.66  .984 88559616
eca-rers2012/Problem04_label07_true-unreach-call.c 177    153    4450476032 1.77  1.03  88678400
eca-rers2012/Problem04_label08_true-unreach-call.c 179    153    4447555584 1.82  1.05  89145344
eca-rers2012/Problem04_label10_true-unreach-call.c 185    156    4433899520 1.76  1.03  88125440
eca-rers2012/Problem04_label16_true-unreach-call.c 182    155    4454514688 1.76  1.02  87334912
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 173    149    4511772672 1.75  1.05  89968640
eca-rers2012/Problem04_label21_true-unreach-call.c 182    154    4452270080 1.85  1.08  88985600
eca-rers2012/Problem04_label22_true-unreach-call.c 180    154    4453629952 1.81  1.06  89690112
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 178    152    4446957568 1.70  .994 88186880
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 179    153    4432994304 1.79  1.03  88584192
eca-rers2012/Problem04_label25_true-unreach-call.c 180    153    4442271744 1.74  1.01  88252416
eca-rers2012/Problem04_label28_true-unreach-call.c 183    156    4415946752 1.75  1.02  87080960
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 182    155    4438499328 1.85  1.06  88641536
eca-rers2012/Problem04_label30_true-unreach-call.c 180    154    4432125952 1.76  1.01  88449024
eca-rers2012/Problem04_label33_true-unreach-call.c 184    155    4397793280 1.79  1.06  87212032
eca-rers2012/Problem04_label34_true-unreach-call.c 180    153    4457480192 1.69  .986 87797760
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 178    154    4480651264 1.88  1.10  89989120
eca-rers2012/Problem04_label41_true-unreach-call.c 180    152    4417585152 1.75  1.02  88715264
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 185    156    4424499200 1.87  1.08  89292800
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 181    155    4451045376 1.74  1.01  87851008
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 173    149    4453687296 1.72  1.00  89989120
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 180    154    4482482176 1.76  1.03  88981504
eca-rers2012/Problem04_label47_true-unreach-call.c 188    159    4425998336 1.85  1.08  88371200
eca-rers2012/Problem04_label48_true-unreach-call.c 205    176    4410912768 1.81  1.06  87633920
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 175    152    4455780352 1.76  1.03  89575424
eca-rers2012/Problem04_label50_true-unreach-call.c 179    155    4480589824 1.74  1.01  88481792
eca-rers2012/Problem04_label51_true-unreach-call.c 177    151    4427997184 1.73  1.01  87453696
eca-rers2012/Problem04_label53_true-unreach-call.c 179    154    4460814336 1.77  1.05  89169920
eca-rers2012/Problem04_label54_true-unreach-call.c 189    163    4451815424 1.79  1.04  88461312
eca-rers2012/Problem04_label56_true-unreach-call.c 171    147    4459991040 1.74  1.01  88285184
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 177    152    4459151360 1.71  .997 88076288
eca-rers2012/Problem04_label59_true-unreach-call.c 172    149    4470411264 1.79  1.05  89714688
eca-rers2012/Problem05_label02_true-unreach-call.c 286    235    4823248896 2.30  1.31  126951424
eca-rers2012/Problem05_label03_true-unreach-call.c 256    206    4906061824 2.26  1.29  128008192
eca-rers2012/Problem05_label04_true-unreach-call.c 265    217    4852486144 2.27  1.27  125980672
eca-rers2012/Problem05_label05_true-unreach-call.c 257    204    5004046336 2.24  1.27  127610880
eca-rers2012/Problem05_label06_true-unreach-call.c 238    192    4831784960 2.20  1.27  125882368
eca-rers2012/Problem05_label07_true-unreach-call.c 960    632    6521802752 .964 .614 48717824
eca-rers2012/Problem05_label08_true-unreach-call.c 277    229    4970868736 2.22  1.23  125767680
eca-rers2012/Problem05_label09_true-unreach-call.c 251    204    4803334144 2.17  1.24  126504960
eca-rers2012/Problem05_label10_true-unreach-call.c 240    192    4726579200 2.27  1.28  126967808
eca-rers2012/Problem05_label12_true-unreach-call.c 961    628    6349082624 .971 .618 50761728
eca-rers2012/Problem05_label14_true-unreach-call.c 285    231    5184929792 2.13  1.20  125812736
eca-rers2012/Problem05_label16_true-unreach-call.c 960    634    6774226944 .932 .596 48427008
eca-rers2012/Problem05_label17_true-unreach-call.c 235    189    4737617920 2.19  1.23  126308352
eca-rers2012/Problem05_label19_true-unreach-call.c 239    193    4759121920 2.23  1.27  126140416
eca-rers2012/Problem05_label20_true-unreach-call.c 244    197    4760928256 2.26  1.27  125108224
eca-rers2012/Problem05_label21_true-unreach-call.c 259    211    4875214848 2.23  1.24  126996480
eca-rers2012/Problem05_label22_true-unreach-call.c 962    627    6502432768 .912 .608 48394240
eca-rers2012/Problem05_label23_true-unreach-call.c 241    193    4816306176 2.29  1.30  126873600
eca-rers2012/Problem05_label25_true-unreach-call.c 258    213    4746838016 2.22  1.24  126451712
eca-rers2012/Problem05_label27_true-unreach-call.c 237    188    4642738176 2.21  1.25  126136320
eca-rers2012/Problem05_label28_true-unreach-call.c 268    218    5082738688 2.23  1.25  126922752
eca-rers2012/Problem05_label29_true-unreach-call.c 259    210    4776525824 2.16  1.23  127574016
eca-rers2012/Problem05_label31_true-unreach-call.c 234    186    4824559616 2.21  1.27  127037440
eca-rers2012/Problem05_label34_true-unreach-call.c 266    214    4859654144 2.22  1.27  126615552
eca-rers2012/Problem05_label35_true-unreach-call.c 250    198    4734820352 2.10  1.20  125554688
eca-rers2012/Problem05_label42_true-unreach-call.c 960    625    6324310016 .938 .609 48267264
eca-rers2012/Problem05_label43_true-unreach-call.c 267    208    4650598400 2.24  1.26  125894656
eca-rers2012/Problem05_label45_true-unreach-call.c 252    206    4725465088 2.15  1.23  126988288
eca-rers2012/Problem05_label46_true-unreach-call.c 255    203    4725817344 2.16  1.22  127852544
eca-rers2012/Problem05_label49_true-unreach-call.c 274    225    4994646016 2.25  1.27  127156224
eca-rers2012/Problem05_label50_true-unreach-call.c 961    628    6671618048 .980 .650 49168384
eca-rers2012/Problem05_label52_true-unreach-call.c 961    619    6570569728 .948 .621 48758784
eca-rers2012/Problem05_label53_true-unreach-call.c 248    196    4985090048 2.24  1.25  127885312
eca-rers2012/Problem05_label54_true-unreach-call.c 286    234    4825997312 2.27  1.27  127553536
eca-rers2012/Problem05_label56_true-unreach-call.c 239    190    4755664896 2.18  1.25  126726144
eca-rers2012/Problem05_label59_true-unreach-call.c 253    203    4691365888 2.25  1.26  126959616
eca-rers2012/Problem06_label03_true-unreach-call.c 321    274    5332189184 2.05  1.16  107950080
eca-rers2012/Problem06_label06_true-unreach-call.c 257    208    4580261888 2.06  1.17  107646976
eca-rers2012/Problem06_label07_true-unreach-call.c 217    174    4887752704 2.01  1.15  109383680
eca-rers2012/Problem06_label08_true-unreach-call.c 218    173    4821889024 2.04  1.17  108515328
eca-rers2012/Problem06_label13_true-unreach-call.c 249    204    5033275392 2.06  1.16  109330432
eca-rers2012/Problem06_label14_true-unreach-call.c 254    205    4899524608 2.04  1.16  109133824
eca-rers2012/Problem06_label16_true-unreach-call.c 248    203    5133193216 2.02  1.14  107528192
eca-rers2012/Problem06_label17_true-unreach-call.c 253    206    5095235584 1.96  1.10  109035520
eca-rers2012/Problem06_label18_true-unreach-call.c 246    199    5086994432 2.07  1.20  110428160
eca-rers2012/Problem06_label19_true-unreach-call.c 241    194    4912537600 2.06  1.19  109412352
eca-rers2012/Problem06_label22_true-unreach-call.c 275    228    5139234816 2.11  1.20  108277760
eca-rers2012/Problem06_label23_true-unreach-call.c 301    257    5917335552 2.06  1.19  108175360
eca-rers2012/Problem06_label25_true-unreach-call.c 271    224    5115899904 2.09  1.19  108941312
eca-rers2012/Problem06_label26_true-unreach-call.c 268    217    5015371776 1.99  1.15  108277760
eca-rers2012/Problem06_label28_true-unreach-call.c 273    229    5427224576 2.05  1.16  107524096
eca-rers2012/Problem06_label30_true-unreach-call.c 241    197    4901527552 2.09  1.18  106852352
eca-rers2012/Problem06_label31_true-unreach-call.c 245    202    5052485632 2.11  1.19  108109824
eca-rers2012/Problem06_label32_true-unreach-call.c 277    229    4575526912 2.04  1.18  108974080
eca-rers2012/Problem06_label34_true-unreach-call.c 238    190    4870897664 2.09  1.18  110080000
eca-rers2012/Problem06_label35_true-unreach-call.c 270    225    5052149760 2.14  1.22  108040192
eca-rers2012/Problem06_label39_true-unreach-call.c 239    194    4886990848 2.10  1.20  108769280
eca-rers2012/Problem06_label40_true-unreach-call.c 263    216    4984553472 1.97  1.14  107606016
eca-rers2012/Problem06_label41_true-unreach-call.c 253    208    5057146880 2.06  1.20  110202880
eca-rers2012/Problem06_label42_true-unreach-call.c 242    196    5007224832 1.99  1.14  108781568
eca-rers2012/Problem06_label43_true-unreach-call.c 260    215    5052534784 2.14  1.22  109547520
eca-rers2012/Problem06_label45_true-unreach-call.c 960    703    7783497728 .918 .589 47734784
eca-rers2012/Problem06_label46_true-unreach-call.c 236    192    5071003648 2.02  1.16  109191168
eca-rers2012/Problem06_label49_true-unreach-call.c 246    200    5038825472 1.98  1.12  108634112
eca-rers2012/Problem06_label50_true-unreach-call.c 246    197    5008625664 2.04  1.15  109129728
eca-rers2012/Problem06_label51_true-unreach-call.c 243    197    4950593536 1.96  1.12  107782144
eca-rers2012/Problem06_label52_true-unreach-call.c 253    208    5073293312 2.02  1.16  109195264
eca-rers2012/Problem06_label53_true-unreach-call.c 252    205    5109256192 2.02  1.15  108933120
eca-rers2012/Problem06_label54_true-unreach-call.c 249    202    5001379840 2.02  1.15  107298816
eca-rers2012/Problem06_label55_true-unreach-call.c 227    183    4803813376 2.11  1.21  108539904
eca-rers2012/Problem06_label57_true-unreach-call.c 437    364    5264093184 1.95  1.12  107454464
eca-rers2012/Problem07_label00_true-unreach-call.c 961    660    9314131968 .938 .606 48136192
eca-rers2012/Problem07_label01_true-unreach-call.c 953    663    8864587776 9.61  5.23  849170432
eca-rers2012/Problem07_label02_true-unreach-call.c 962    681    7658536960 2.30  1.33  286064640
eca-rers2012/Problem07_label04_true-unreach-call.c 961    666    8018300928 9.67  5.23  849948672
eca-rers2012/Problem07_label08_true-unreach-call.c 961    669    7968563200 .930 .603 48734208
eca-rers2012/Problem07_label10_true-unreach-call.c 953    673    8202960896 9.39  5.12  847282176
eca-rers2012/Problem07_label12_true-unreach-call.c 961    655    9262317568 .951 .611 48336896
eca-rers2012/Problem07_label13_true-unreach-call.c 961    669    7256227840 .931 .621 48476160
eca-rers2012/Problem07_label14_true-unreach-call.c 961    672    7665917952 .972 .646 48648192
eca-rers2012/Problem07_label16_true-unreach-call.c 960    664    10104848384 .926 .602 48500736
eca-rers2012/Problem07_label17_true-unreach-call.c 961    651    9400819712 .958 .627 49262592
eca-rers2012/Problem07_label21_true-unreach-call.c 960    660    9270681600 .959 .630 49086464
eca-rers2012/Problem07_label22_true-unreach-call.c 957    673    8701833216 9.85  5.32  847970304
eca-rers2012/Problem07_label24_true-unreach-call.c 960    661    10469392384 .936 .598 49012736
eca-rers2012/Problem07_label25_true-unreach-call.c 960    670    9318998016 1.16  .730 47996928
eca-rers2012/Problem07_label26_true-unreach-call.c 960    671    7329853440 .984 .645 49049600
eca-rers2012/Problem07_label27_true-unreach-call.c 961    635    9175072768 .939 .605 48680960
eca-rers2012/Problem07_label28_true-unreach-call.c 961    642    11025592320 1.05  .662 49139712
eca-rers2012/Problem07_label29_true-unreach-call.c 956    660    8117243904 9.50  5.18  846860288
eca-rers2012/Problem07_label32_true-unreach-call.c 947    658    8970108928 9.98  5.40  847048704
eca-rers2012/Problem07_label33_true-unreach-call.c 961    663    8006385664 1.01  .665 49385472
eca-rers2012/Problem07_label34_true-unreach-call.c 961    637    8647000064 .927 .601 48369664
eca-rers2012/Problem07_label38_true-unreach-call.c 961    648    10021285888 .922 .595 48263168
eca-rers2012/Problem07_label41_true-unreach-call.c 960    654    9231667200 .944 .612 48865280
eca-rers2012/Problem07_label43_true-unreach-call.c 960    665    9290395648 .945 .603 49221632
eca-rers2012/Problem07_label45_true-unreach-call.c 961    655    9333006336 .965 .619 49553408
eca-rers2012/Problem07_label49_true-unreach-call.c 961    642    8924020736 .980 .633 48693248
eca-rers2012/Problem07_label50_true-unreach-call.c 961    678    9249849344 .947 .605 48529408
eca-rers2012/Problem07_label51_true-unreach-call.c 961    651    9531547648 .945 .601 48726016
eca-rers2012/Problem07_label52_true-unreach-call.c 961    631    8952819712 .953 .611 48099328
eca-rers2012/Problem07_label53_true-unreach-call.c 960    661    8685518848 .901 .591 48656384
eca-rers2012/Problem07_label54_true-unreach-call.c 962    682    7670222848 .910 .590 47771648
eca-rers2012/Problem07_label55_true-unreach-call.c 961    656    9210384384 10.0   5.41  847388672
eca-rers2012/Problem07_label56_true-unreach-call.c 957    662    8089006080 9.55  5.20  850702336
eca-rers2012/Problem07_label57_true-unreach-call.c 961    655    7740895232 .919 .588 48242688
eca-rers2012/Problem07_label59_true-unreach-call.c 961    651    8748363776 .924 .605 48603136
eca-rers2012/Problem08_label00_true-unreach-call.c 962    554    11298607104 .895 .580 46604288
eca-rers2012/Problem08_label03_true-unreach-call.c 962    555    10493177856 .930 .590 48050176
eca-rers2012/Problem08_label08_true-unreach-call.c 962    560    12194926592 .924 .617 46936064
eca-rers2012/Problem08_label09_true-unreach-call.c 962    549    11136794624 .906 .581 47296512
eca-rers2012/Problem08_label11_true-unreach-call.c 962    542    11056680960 .906 .611 48246784
eca-rers2012/Problem08_label12_true-unreach-call.c 959    587    10383605760 .901 .602 46034944
eca-rers2012/Problem08_label14_true-unreach-call.c 962    557    10396995584 .919 .592 48615424
eca-rers2012/Problem08_label16_true-unreach-call.c 962    542    11092500480 .987 .631 49631232
eca-rers2012/Problem08_label17_true-unreach-call.c 962    543    10438193152 .907 .577 47857664
eca-rers2012/Problem08_label18_true-unreach-call.c 956    574    10246324224 .954 .609 48291840
eca-rers2012/Problem08_label19_true-unreach-call.c 962    549    10413780992 .987 .638 46358528
eca-rers2012/Problem08_label20_true-unreach-call.c 962    561    10666979328 .891 .571 46632960
eca-rers2012/Problem08_label21_true-unreach-call.c 962    546    10752520192 .919 .590 47345664
eca-rers2012/Problem08_label22_true-unreach-call.c 962    553    10566184960 .890 .572 46063616
eca-rers2012/Problem08_label23_true-unreach-call.c 962    541    11046719488 .950 .601 48435200
eca-rers2012/Problem08_label27_true-unreach-call.c 962    543    10405437440 .972 .632 47910912
eca-rers2012/Problem08_label30_true-unreach-call.c 962    545    11400912896 .895 .594 46469120
eca-rers2012/Problem08_label31_true-unreach-call.c 961    571    10967375872 .891 .586 47820800
eca-rers2012/Problem08_label32_true-unreach-call.c 961    565    11214290944 .920 .618 48005120
eca-rers2012/Problem08_label33_true-unreach-call.c 962    542    11079995392 .926 .594 48439296
eca-rers2012/Problem08_label35_true-unreach-call.c 961    554    11095420928 .923 .599 48406528
eca-rers2012/Problem08_label36_true-unreach-call.c 961    573    11221860352 .930 .596 48070656
eca-rers2012/Problem08_label38_true-unreach-call.c 960    570    11085885440 .870 .580 46313472
eca-rers2012/Problem08_label39_true-unreach-call.c 960    572    10306297856 .872 .589 47030272
eca-rers2012/Problem08_label40_true-unreach-call.c 962    552    10888462336 .914 .596 46559232
eca-rers2012/Problem08_label41_true-unreach-call.c 962    543    11089231872 .896 .593 46796800
eca-rers2012/Problem08_label42_true-unreach-call.c 962    547    11240116224 .894 .586 46796800
eca-rers2012/Problem08_label44_true-unreach-call.c 962    543    10871308288 .962 .604 48570368
eca-rers2012/Problem08_label45_true-unreach-call.c 962    542    11089690624 .945 .592 48386048
eca-rers2012/Problem08_label47_true-unreach-call.c 960    572    11077386240 .876 .591 46338048
eca-rers2012/Problem08_label52_true-unreach-call.c 962    564    10401415168 .924 .616 48766976
eca-rers2012/Problem08_label53_true-unreach-call.c 962    558    10387349504 .958 .614 49946624
eca-rers2012/Problem08_label54_true-unreach-call.c 962    553    10395926528 .951 .606 48463872
eca-rers2012/Problem08_label56_true-unreach-call.c 962    557    10512904192 .958 .637 48762880
eca-rers2012/Problem08_label57_true-unreach-call.c 962    555    10080587776 .940 .615 48840704
eca-rers2012/Problem08_label58_true-unreach-call.c 913    526    10510573568 .880 .586 45432832
eca-rers2012/Problem09_label00_true-unreach-call.c 962    542    11073867776 .921 .601 47665152
eca-rers2012/Problem09_label01_true-unreach-call.c 962    541    11079749632 .895 .564 46362624
eca-rers2012/Problem09_label04_true-unreach-call.c 961    564    11082596352 .955 .633 49999872
eca-rers2012/Problem09_label05_true-unreach-call.c 962    537    11086028800 .917 .579 46022656
eca-rers2012/Problem09_label07_true-unreach-call.c 961    562    11093155840 .950 .600 49082368
eca-rers2012/Problem09_label09_true-unreach-call.c 962    541    11079806976 .910 .589 46436352
eca-rers2012/Problem09_label12_true-unreach-call.c 961    560    11056939008 .902 .578 47988736
eca-rers2012/Problem09_label13_true-unreach-call.c 962    542    11089424384 .909 .607 45682688
eca-rers2012/Problem09_label14_true-unreach-call.c 962    543    11094020096 .911 .600 46661632
eca-rers2012/Problem09_label16_true-unreach-call.c 962    542    11085885440 .960 .635 48025600
eca-rers2012/Problem09_label17_true-unreach-call.c 962    536    11088801792 .926 .599 47616000
eca-rers2012/Problem09_label18_true-unreach-call.c 962    540    11077341184 .897 .580 46288896
eca-rers2012/Problem09_label21_true-unreach-call.c 962    542    11087863808 .909 .580 46448640
eca-rers2012/Problem09_label22_true-unreach-call.c 961    558    11085996032 .956 .608 49012736
eca-rers2012/Problem09_label23_true-unreach-call.c 961    562    11086028800 .948 .622 48955392
eca-rers2012/Problem09_label24_true-unreach-call.c 962    540    11085217792 1.05  .676 47239168
eca-rers2012/Problem09_label25_true-unreach-call.c 961    563    11090702336 .877 .585 47927296
eca-rers2012/Problem09_label26_true-unreach-call.c 962    541    11087978496 .890 .575 45989888
eca-rers2012/Problem09_label27_true-unreach-call.c 961    561    11092021248 .925 .585 47763456
eca-rers2012/Problem09_label28_true-unreach-call.c 962    545    11087622144 .900 .583 46030848
eca-rers2012/Problem09_label29_true-unreach-call.c 962    538    11089108992 .880 .595 45867008
eca-rers2012/Problem09_label30_true-unreach-call.c 962    541    11079630848 .873 .577 46755840
eca-rers2012/Problem09_label31_true-unreach-call.c 962    542    11082121216 .924 .598 47546368
eca-rers2012/Problem09_label33_true-unreach-call.c 962    543    11079421952 .915 .608 46481408
eca-rers2012/Problem09_label37_true-unreach-call.c 962    540    11090620416 .908 .601 47251456
eca-rers2012/Problem09_label39_true-unreach-call.c 962    542    11096883200 .900 .580 48316416
eca-rers2012/Problem09_label40_true-unreach-call.c 962    544    11095351296 .876 .562 46120960
eca-rers2012/Problem09_label42_true-unreach-call.c 960    563    11087888384 .942 .606 48021504
eca-rers2012/Problem09_label43_true-unreach-call.c 961    561    11089014784 .941 .630 49082368
eca-rers2012/Problem09_label45_true-unreach-call.c 961    545    11099930624 .945 .617 47116288
eca-rers2012/Problem09_label48_true-unreach-call.c 962    541    11090210816 .898 .582 46821376
eca-rers2012/Problem09_label49_true-unreach-call.c 962    541    11079999488 .901 .594 46465024
eca-rers2012/Problem09_label50_true-unreach-call.c 962    540    11082358784 .910 .584 46669824
eca-rers2012/Problem09_label52_true-unreach-call.c 962    537    11086409728 .895 .590 47644672
eca-rers2012/Problem09_label55_true-unreach-call.c 962    541    11094163456 .952 .628 47403008
eca-rers2012/Problem09_label58_true-unreach-call.c 961    562    11092652032 .984 .640 48525312
eca-rers2012/Problem10_label00_true-unreach-call.c 300    275    5089308672 1.20  .751 57790464
eca-rers2012/Problem10_label01_true-unreach-call.c 378    347    5389008896 1.20  .778 57647104
eca-rers2012/Problem10_label02_true-unreach-call.c 307    288    4848463872 1.28  .827 59097088
eca-rers2012/Problem10_label03_true-unreach-call.c 98.6  87.5  4012716032 1.25  .776 57442304
eca-rers2012/Problem10_label04_true-unreach-call.c 98.6  87.6  3984027648 1.19  .756 58138624
eca-rers2012/Problem10_label05_true-unreach-call.c 99.3  87.6  4138237952 1.24  .754 57884672
eca-rers2012/Problem10_label06_true-unreach-call.c 98.5  87.4  3994468352 1.27  .780 59805696
eca-rers2012/Problem10_label07_true-unreach-call.c 98.3  84.4  4124385280 1.19  .741 56954880
eca-rers2012/Problem10_label08_true-unreach-call.c 99.1  84.8  4101750784 1.15  .717 55877632
eca-rers2012/Problem10_label09_true-unreach-call.c 100    85.5  4156878848 1.25  .756 58925056
eca-rers2012/Problem10_label10_true-unreach-call.c 98.3  86.8  4043595776 1.21  .748 56328192
eca-rers2012/Problem10_label11_true-unreach-call.c 376    347    5569884160 1.16  .737 58212352
eca-rers2012/Problem10_label13_true-unreach-call.c 375    346    5539479552 1.25  .773 57688064
eca-rers2012/Problem10_label14_true-unreach-call.c 379    344    5536612352 1.23  .761 57860096
eca-rers2012/Problem10_label16_true-unreach-call.c 377    345    5535211520 1.24  .764 59383808
eca-rers2012/Problem10_label17_true-unreach-call.c 377    345    5373181952 1.20  .740 58564608
eca-rers2012/Problem10_label18_true-unreach-call.c 245    225    4806922240 1.29  .799 61059072
eca-rers2012/Problem10_label19_true-unreach-call.c 98.0  86.4  4004159488 1.24  .778 59064320
eca-rers2012/Problem10_label20_true-unreach-call.c 98.3  87.1  4021108736 1.19  .735 58482688
eca-rers2012/Problem10_label21_true-unreach-call.c 97.7  87.2  4036931584 1.20  .741 58212352
eca-rers2012/Problem10_label22_true-unreach-call.c 98.2  87.2  4020674560 1.22  .744 57675776
eca-rers2012/Problem10_label23_true-unreach-call.c 375    346    5398986752 1.25  .798 58613760
eca-rers2012/Problem10_label25_true-unreach-call.c 376    346    5562015744 1.23  .769 57217024
eca-rers2012/Problem10_label27_true-unreach-call.c 377    346    5419401216 1.23  .780 58388480
eca-rers2012/Problem10_label30_true-unreach-call.c 376    348    5362417664 1.23  .762 58318848
eca-rers2012/Problem10_label31_true-unreach-call.c 98.6  87.3  4037918720 1.25  .780 58236928
eca-rers2012/Problem10_label32_true-unreach-call.c 99.5  87.5  3665633280 1.22  .760 58847232
eca-rers2012/Problem10_label33_true-unreach-call.c 98.3  87.1  4088008704 1.22  .756 59961344
eca-rers2012/Problem10_label34_true-unreach-call.c 99.6  87.7  4100345856 1.20  .754 56569856
eca-rers2012/Problem10_label35_true-unreach-call.c 99.0  87.7  4081307648 1.16  .728 57245696
eca-rers2012/Problem10_label36_true-unreach-call.c 99.9  87.4  3732705280 1.18  .736 55816192
eca-rers2012/Problem10_label37_true-unreach-call.c 100    85.8  3844423680 1.22  .767 56786944
eca-rers2012/Problem10_label38_true-unreach-call.c 104    88.9  4186103808 1.28  .776 60637184
eca-rers2012/Problem10_label39_true-unreach-call.c 378    344    5729472512 1.24  .773 59105280
eca-rers2012/Problem10_label40_true-unreach-call.c 377    346    5590659072 1.27  .785 57712640
eca-rers2012/Problem10_label43_true-unreach-call.c 264    247    4569907200 1.26  .784 58531840
eca-rers2012/Problem10_label44_true-unreach-call.c 292    274    4581584896 1.30  .786 61190144
eca-rers2012/Problem10_label45_true-unreach-call.c 375    343    5684060160 1.23  .770 58515456
eca-rers2012/Problem10_label49_true-unreach-call.c 284    262    4843618304 1.21  .756 57696256
eca-rers2012/Problem10_label51_true-unreach-call.c 98.9  87.8  3949326336 1.18  .719 55377920
eca-rers2012/Problem10_label52_true-unreach-call.c 98.8  87.4  4041887744 1.26  .780 56684544
eca-rers2012/Problem10_label53_true-unreach-call.c 98.2  86.9  4057858048 1.24  .769 59273216
eca-rers2012/Problem10_label54_true-unreach-call.c 100    86.0  4167671808 1.22  .764 58376192
eca-rers2012/Problem10_label56_true-unreach-call.c 960    661    9595478016 .943 .606 48721920
eca-rers2012/Problem10_label59_true-unreach-call.c 414    366    5969276928 1.30  .800 58986496
eca-rers2012/Problem11_label01_true-unreach-call.c 424    365    7029874688 1.25  .778 61267968
eca-rers2012/Problem11_label02_true-unreach-call.c 961    654    11536908288 .936 .607 48992256
eca-rers2012/Problem11_label03_true-unreach-call.c 403    357    6841282560 1.33  .786 62025728
eca-rers2012/Problem11_label04_true-unreach-call.c 417    363    6848888832 1.25  .782 60542976
eca-rers2012/Problem11_label05_true-unreach-call.c 961    652    10830237696 .913 .594 48324608
eca-rers2012/Problem11_label06_true-unreach-call.c 730    520    11538026496 1.34  .810 61014016
eca-rers2012/Problem11_label07_true-unreach-call.c 469    392    8038440960 1.39  .824 62709760
eca-rers2012/Problem11_label09_true-unreach-call.c 848    588    11437621248 1.56  .930 60981248
eca-rers2012/Problem11_label10_true-unreach-call.c 544    435    8193114112 1.35  .832 61722624
eca-rers2012/Problem11_label11_true-unreach-call.c 961    654    11442307072 .959 .624 48984064
eca-rers2012/Problem11_label12_true-unreach-call.c 473    394    8017399808 1.31  .778 60993536
eca-rers2012/Problem11_label13_true-unreach-call.c 421    366    6755311616 1.33  .804 61116416
eca-rers2012/Problem11_label16_true-unreach-call.c 461    387    6913916928 1.31  .776 60968960
eca-rers2012/Problem11_label17_true-unreach-call.c 475    390    8541249536 1.31  .799 61693952
eca-rers2012/Problem11_label18_true-unreach-call.c 414    362    6886576128 1.25  .787 57176064
eca-rers2012/Problem11_label19_true-unreach-call.c 881    608    8582176768 1.33  .808 60776448
eca-rers2012/Problem11_label21_true-unreach-call.c 408    355    7058870272 1.31  .808 60854272
eca-rers2012/Problem11_label22_true-unreach-call.c 961    654    12782628864 .909 .594 48459776
eca-rers2012/Problem11_label23_true-unreach-call.c 436    373    6834524160 1.31  .790 60952576
eca-rers2012/Problem11_label24_true-unreach-call.c 961    650    12906557440 .942 .601 48795648
eca-rers2012/Problem11_label25_true-unreach-call.c 961    652    10813571072 .950 .618 48144384
eca-rers2012/Problem11_label26_true-unreach-call.c 750    533    11513008128 1.38  .837 61046784
eca-rers2012/Problem11_label27_true-unreach-call.c 408    359    6857216000 1.25  .767 60108800
eca-rers2012/Problem11_label28_true-unreach-call.c 961    654    9135652864 .944 .615 48046080
eca-rers2012/Problem11_label30_true-unreach-call.c 514    420    8188305408 1.32  .813 61480960
eca-rers2012/Problem11_label32_true-unreach-call.c 413    361    6853025792 1.35  .830 62140416
eca-rers2012/Problem11_label33_true-unreach-call.c 399    351    7029207040 .923 .603 46563328
eca-rers2012/Problem11_label35_true-unreach-call.c 961    653    10805264384 .950 .615 50089984
eca-rers2012/Problem11_label37_true-unreach-call.c 410    356    7062183936 1.23  .750 61239296
eca-rers2012/Problem11_label38_true-unreach-call.c 408    358    6847397888 1.35  .828 61669376
eca-rers2012/Problem11_label40_true-unreach-call.c 961    653    12356120576 1.04  .661 48365568
eca-rers2012/Problem11_label41_true-unreach-call.c 960    649    12745994240 .943 .597 48316416
eca-rers2012/Problem11_label44_true-unreach-call.c 415    363    6883606528 1.23  .767 60424192
eca-rers2012/Problem11_label45_true-unreach-call.c 961    652    10857476096 .933 .614 48697344
eca-rers2012/Problem11_label46_true-unreach-call.c 961    652    12385415168 .949 .623 49311744
eca-rers2012/Problem11_label47_true-unreach-call.c 961    654    12375990272 .950 .604 48836608
eca-rers2012/Problem11_label48_true-unreach-call.c 961    654    11142500352 .924 .602 48123904
eca-rers2012/Problem11_label50_true-unreach-call.c 961    653    10810806272 .961 .631 48271360
eca-rers2012/Problem11_label52_true-unreach-call.c 961    653    11412807680 .974 .627 48807936
eca-rers2012/Problem11_label53_true-unreach-call.c 414    359    6754025472 1.26  .753 58437632
eca-rers2012/Problem11_label54_true-unreach-call.c 961    653    10856579072 .936 .611 49188864
eca-rers2012/Problem11_label55_true-unreach-call.c 961    651    12439797760 .914 .586 48197632
eca-rers2012/Problem11_label56_true-unreach-call.c 961    652    11409973248 1.01  .643 48271360
eca-rers2012/Problem11_label57_true-unreach-call.c 961    649    12752723968 .951 .635 48386048
eca-rers2012/Problem11_label59_true-unreach-call.c 504    412    6821490688 1.30  .804 61333504
eca-rers2012/Problem12_label01_true-unreach-call.c 629    463    14999998464 .894 .569 46792704
eca-rers2012/Problem12_label02_true-unreach-call.c 658    475    14999998464 .877 .572 46886912
eca-rers2012/Problem12_label04_true-unreach-call.c 577    438    14999998464 .939 .602 48271360
eca-rers2012/Problem12_label05_true-unreach-call.c 630    465    14999998464 .903 .584 47845376
eca-rers2012/Problem12_label09_true-unreach-call.c 601    449    14999998464 .869 .558 46530560
eca-rers2012/Problem12_label11_true-unreach-call.c 601    447    14999998464 .919 .609 47362048
eca-rers2012/Problem12_label12_true-unreach-call.c 515    413    12472455168 1.66  .960 79384576
eca-rers2012/Problem12_label14_true-unreach-call.c 647    475    14999998464 .896 .583 46080000
eca-rers2012/Problem12_label15_true-unreach-call.c 565    441    12506570752 1.69  .985 79667200
eca-rers2012/Problem12_label16_true-unreach-call.c 510    410    12579700736 1.63  .963 78823424
eca-rers2012/Problem12_label17_true-unreach-call.c 584    442    14999998464 .891 .564 45633536
eca-rers2012/Problem12_label18_true-unreach-call.c 528    418    12794552320 1.69  .991 80580608
eca-rers2012/Problem12_label22_true-unreach-call.c 496    401    12552515584 1.63  .950 79384576
eca-rers2012/Problem12_label23_true-unreach-call.c 496    400    12464996352 1.63  .943 79110144
eca-rers2012/Problem12_label24_true-unreach-call.c 544    430    12822577152 1.67  .977 80072704
eca-rers2012/Problem12_label26_true-unreach-call.c 506    405    12691517440 1.72  .986 79990784
eca-rers2012/Problem12_label27_true-unreach-call.c 717    516    12716908544 1.68  .991 80220160
eca-rers2012/Problem12_label29_true-unreach-call.c 498    398    12815405056 1.62  .959 79368192
eca-rers2012/Problem12_label31_true-unreach-call.c 521    415    12628025344 1.62  .953 80670720
eca-rers2012/Problem12_label32_true-unreach-call.c 529    419    12743622656 1.67  .963 79273984
eca-rers2012/Problem12_label33_true-unreach-call.c 527    418    12581564416 1.68  .994 79900672
eca-rers2012/Problem12_label36_true-unreach-call.c 585    455    11886129152 1.63  .951 79921152
eca-rers2012/Problem12_label41_true-unreach-call.c 610    452    14999998464 .934 .614 47083520
eca-rers2012/Problem12_label43_true-unreach-call.c 512    410    12583092224 1.67  .962 79339520
eca-rers2012/Problem12_label44_true-unreach-call.c 611    453    14999998464 .909 .593 46460928
eca-rers2012/Problem12_label45_true-unreach-call.c 545    426    11702398976 1.70  .993 78802944
eca-rers2012/Problem12_label46_true-unreach-call.c 512    410    12857233408 1.67  .987 79548416
eca-rers2012/Problem12_label47_true-unreach-call.c 488    395    12864364544 1.69  .995 79364096
eca-rers2012/Problem12_label49_true-unreach-call.c 501    404    11603951616 1.65  .976 81137664
eca-rers2012/Problem12_label53_true-unreach-call.c 507    407    11599667200 1.60  .938 78086144
eca-rers2012/Problem12_label54_true-unreach-call.c 490    396    12452839424 1.70  1.00  80277504
eca-rers2012/Problem12_label56_true-unreach-call.c 505    406    11553570816 1.69  .984 79552512
eca-rers2012/Problem12_label57_true-unreach-call.c 509    410    11554889728 1.72  1.01  80060416
eca-rers2012/Problem12_label58_true-unreach-call.c 496    400    11552038912 1.77  1.03  80367616
eca-rers2012/Problem12_label59_true-unreach-call.c 760    543    11816046592 1.65  .974 81399808
eca-rers2012/Problem13_label00_true-unreach-call.c 961    649    14859128832 .962 .616 48635904
eca-rers2012/Problem13_label01_true-unreach-call.c 832    562    14999998464 .905 .580 47751168
eca-rers2012/Problem13_label02_true-unreach-call.c 551    422    14999998464 .884 .574 46387200
eca-rers2012/Problem13_label03_true-unreach-call.c 690    492    14999998464 .989 .625 46878720
eca-rers2012/Problem13_label05_true-unreach-call.c 927    671    14982025216 1.79  1.03  84828160
eca-rers2012/Problem13_label08_true-unreach-call.c 458    375    14999998464 .939 .608 49061888
eca-rers2012/Problem13_label09_true-unreach-call.c 463    377    14999998464 .869 .569 45973504
eca-rers2012/Problem13_label10_true-unreach-call.c 462    378    14999998464 .908 .589 45867008
eca-rers2012/Problem13_label13_true-unreach-call.c 460    377    14999998464 .880 .559 47214592
eca-rers2012/Problem13_label14_true-unreach-call.c 467    381    14999998464 .906 .578 46596096
eca-rers2012/Problem13_label15_true-unreach-call.c 460    380    14999998464 .879 .571 46522368
eca-rers2012/Problem13_label17_true-unreach-call.c 463    380    14999998464 .907 .596 47603712
eca-rers2012/Problem13_label18_true-unreach-call.c 465    378    14999998464 .900 .569 46247936
eca-rers2012/Problem13_label20_true-unreach-call.c 456    375    14999998464 .896 .573 46481408
eca-rers2012/Problem13_label22_true-unreach-call.c 454    375    14999998464 .900 .589 46854144
eca-rers2012/Problem13_label26_true-unreach-call.c 695    497    14999998464 .897 .583 46514176
eca-rers2012/Problem13_label27_true-unreach-call.c 535    412    14999998464 .907 .589 46153728
eca-rers2012/Problem13_label31_true-unreach-call.c 882    588    14999998464 .883 .582 46604288
eca-rers2012/Problem13_label33_true-unreach-call.c 621    458    14999998464 .893 .572 46436352
eca-rers2012/Problem13_label34_true-unreach-call.c 558    423    14999998464 .888 .592 46329856
eca-rers2012/Problem13_label37_true-unreach-call.c 456    377    14999998464 .914 .594 47161344
eca-rers2012/Problem13_label38_true-unreach-call.c 466    382    14999998464 .898 .599 46563328
eca-rers2012/Problem13_label39_true-unreach-call.c 454    373    14999998464 .890 .592 45928448
eca-rers2012/Problem13_label41_true-unreach-call.c 542    415    14999998464 .890 .581 46751744
eca-rers2012/Problem13_label42_true-unreach-call.c 595    449    14999998464 .890 .576 46239744
eca-rers2012/Problem13_label46_true-unreach-call.c 643    471    14999998464 .870 .563 45625344
eca-rers2012/Problem13_label47_true-unreach-call.c 456    376    14999998464 .895 .581 46489600
eca-rers2012/Problem13_label49_true-unreach-call.c 458    371    14999998464 .911 .591 46804992
eca-rers2012/Problem13_label50_true-unreach-call.c 449    368    14999998464 .900 .582 46870528
eca-rers2012/Problem13_label52_true-unreach-call.c