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 kInduction--reachsafety.kInduction cpaw2t-kInduction--reachsafety-validation.witnessValidation
Options -heap 10000M -svcomp18--kInduction -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/kInduction--reachsafety.logfiles/kInduction.${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    502    7202160640 .931 .613 48807936
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 961    498    4891045888 .936 .602 48869376
array-examples/sorting_bubblesort_false-unreach-call_ground.i 961    497    4354113536 .943 .616 49258496
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 961    504    5908123648 .990 .628 49254400
array-examples/sorting_selectionsort_false-unreach-call_ground.i 961    505    5598072832 .936 .621 48136192
array-examples/standard_allDiff2_false-unreach-call_ground.i 962    503    5294239744 .970 .644 48025600
array-examples/standard_copy1_false-unreach-call_ground.i 961    490    6824558592 1.17  .763 48381952
array-examples/standard_copy2_false-unreach-call_ground.i 955    485    5413478400 1.02  .666 51048448
array-examples/standard_copy3_false-unreach-call_ground.i 949    482    5338820608 1.03  .657 50933760
array-examples/standard_copy4_false-unreach-call_ground.i 957    485    5225680896 1.02  .646 49545216
array-examples/standard_copy5_false-unreach-call_ground.i 955    485    5423677440 .969 .622 50192384
array-examples/standard_copy6_false-unreach-call_ground.i 950    483    5149265920 .978 .628 49360896
array-examples/standard_copy7_false-unreach-call_ground.i 962    485    5544820736 .954 .604 48578560
array-examples/standard_copy8_false-unreach-call_ground.i 941    474    5093724160 1.03  .651 49766400
array-examples/standard_copy9_false-unreach-call_ground.i 955    484    5144281088 1.02  .661 49913856
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 961    487    5969883136 .935 .601 48734208
array-examples/standard_init1_false-unreach-call_ground.i 960    488    6071074816 1.01  .643 48640000
array-examples/standard_init2_false-unreach-call_ground.i 962    489    6809853952 .943 .615 49061888
array-examples/standard_init3_false-unreach-call_ground.i 962    488    7177793536 1.03  .653 48467968
array-examples/standard_init4_false-unreach-call_ground.i 962    487    7619346432 .942 .597 48840704
array-examples/standard_init5_false-unreach-call_ground.i 961    487    6808166400 .969 .631 48893952
array-examples/standard_init6_false-unreach-call_ground.i 961    488    5948358656 .989 .652 48390144
array-examples/standard_init7_false-unreach-call_ground.i 961    487    6953091072 1.08  .697 47755264
array-examples/standard_init8_false-unreach-call_ground.i 962    488    6530375680 .963 .644 49229824
array-examples/standard_init9_false-unreach-call_ground.i 962    487    6956994560 .953 .624 48394240
array-examples/standard_minInArray_false-unreach-call_ground.i 961    493    4300156928 1.01  .651 49885184
array-examples/standard_partition_false-unreach-call_ground.i 961    502    4678586368 .895 .591 48177152
array-examples/standard_running_false-unreach-call.i 960    489    5681111040 1.20  .767 50167808
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 5.64 3.28 422473728 .991 .633 49954816
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 929    473    6329233408 1.12  .694 51331072
array-examples/relax_true-unreach-call.i 960    489    6143516672 .930 .601 48340992
array-examples/sanfoundry_02_true-unreach-call_ground.i 961    500    4169584640 1.17  .758 48586752
array-examples/sanfoundry_10_true-unreach-call_ground.i 957    490    6269132800 1.35  .808 54923264
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 9.83 5.13 486629376 .952 .611 48549888
array-examples/sanfoundry_27_true-unreach-call_ground.i 945    479    4228427776 .995 .646 48959488
array-examples/sanfoundry_43_true-unreach-call_ground.i 3.37 1.89 260444160 .975 .626 49410048
array-examples/sorting_bubblesort_true-unreach-call_ground.i 961    497    5067894784 1.17  .756 48762880
array-examples/sorting_selectionsort_true-unreach-call_ground.i 961    500    6378381312 1.15  .747 48594944
array-examples/standard_compareModified_true-unreach-call_ground.i 961    496    5474979840 .938 .611 48619520
array-examples/standard_compare_true-unreach-call_ground.i 961    493    6221398016 .919 .616 48640000
array-examples/standard_copy1_true-unreach-call_ground.i 961    486    6329753600 1.16  .727 49532928
array-examples/standard_copy2_true-unreach-call_ground.i 946    478    5934817280 1.03  .636 50495488
array-examples/standard_copy3_true-unreach-call_ground.i 962    487    6422024192 .926 .598 48861184
array-examples/standard_copy4_true-unreach-call_ground.i 962    487    6510096384 .959 .646 48480256
array-examples/standard_copy5_true-unreach-call_ground.i 960    487    5858529280 .958 .603 49090560
array-examples/standard_copy6_true-unreach-call_ground.i 962    487    6149738496 1.00  .658 48418816
array-examples/standard_copy7_true-unreach-call_ground.i 954    484    5776920576 1.00  .639 50749440
array-examples/standard_copy8_true-unreach-call_ground.i 943    476    5308747776 1.01  .650 49967104
array-examples/standard_copy9_true-unreach-call_ground.i 944    476    5043458048 1.05  .671 51486720
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 962    488    6030245888 .937 .610 48103424
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 962    486    5272825856 1.15  .747 48697344
array-examples/standard_copyInitSum_true-unreach-call_ground.i 962    486    5900881920 .970 .631 50937856
array-examples/standard_copyInit_true-unreach-call_ground.i 962    486    6288093184 .960 .639 49045504
array-examples/standard_find_true-unreach-call_ground.i 961    490    7175536640 .992 .650 49238016
array-examples/standard_init1_true-unreach-call_ground.i 962    488    7297232896 .904 .601 48185344
array-examples/standard_init2_true-unreach-call_ground.i 961    487    6473293824 .933 .609 47726592
array-examples/standard_init3_true-unreach-call_ground.i 962    488    6843322368 .912 .592 48074752
array-examples/standard_init4_true-unreach-call_ground.i 962    488    6828396544 1.07  .693 48959488
array-examples/standard_init5_true-unreach-call_ground.i 961    487    6348922880 .964 .631 47943680
array-examples/standard_init6_true-unreach-call_ground.i 962    488    7276675072 .954 .610 49115136
array-examples/standard_init7_true-unreach-call_ground.i 960    488    7646429184 .930 .591 48168960
array-examples/standard_init8_true-unreach-call_ground.i 962    488    6833606656 .937 .630 48164864
array-examples/standard_init9_true-unreach-call_ground.i 961    490    5995921408 .937 .606 48189440
array-examples/standard_maxInArray_true-unreach-call_ground.i 961    493    4723630080 .975 .649 48713728
array-examples/standard_minInArray_true-unreach-call_ground.i 959    492    5202276352 .986 .630 49491968
array-examples/standard_palindrome_true-unreach-call_ground.i 961    489    7362125824 1.05  .671 50409472
array-examples/standard_partial_init_true-unreach-call_ground.i 961    501    4279099392 .969 .621 48525312
array-examples/standard_partition_original_true-unreach-call_ground.i 961    505    4628635648 .954 .623 48185344
array-examples/standard_partition_true-unreach-call_ground.i 962    502    4587438080 .976 .617 48312320
array-examples/standard_password_true-unreach-call_ground.i 962    493    6230085632 .895 .581 47722496
array-examples/standard_reverse_true-unreach-call_ground.i 961    487    7285014528 .977 .628 49614848
array-examples/standard_running_true-unreach-call.i 961    491    5977808896 .966 .620 50024448
array-examples/standard_sentinel_true-unreach-call_true-termination.i 962    504    4263923712 1.00  .646 50286592
array-examples/standard_seq_init_true-unreach-call_ground.i 961    486    5582671872 1.21  .760 48869376
array-examples/standard_strcmp_true-unreach-call_ground.i 956    487    5908848640 .977 .633 49389568
array-examples/standard_strcpy_original_true-unreach-call.i 962    486    5986496512 .946 .616 48947200
array-examples/standard_strcpy_true-unreach-call_ground.i 961    492    7103696896 .950 .611 48041984
array-examples/standard_two_index_01_true-unreach-call.i 962    488    6348193792 1.01  .652 48611328
array-examples/standard_two_index_02_true-unreach-call.i 961    487    6885859328 1.09  .706 48242688
array-examples/standard_two_index_03_true-unreach-call.i 962    487    5753884672 .982 .641 48607232
array-examples/standard_two_index_04_true-unreach-call.i 962    487    6358298624 .915 .595 48193536
array-examples/standard_two_index_05_true-unreach-call.i 961    487    6343659520 .927 .603 48238592
array-examples/standard_two_index_06_true-unreach-call.i 960    487    6140616704 .951 .599 47935488
array-examples/standard_two_index_07_true-unreach-call.i 960    487    5932310528 1.19  .757 48988160
array-examples/standard_two_index_08_true-unreach-call.i 962    487    7256584192 .962 .598 49053696
array-examples/standard_two_index_09_true-unreach-call.i 962    488    7009800192 1.04  .667 49049600
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 941    477    5951381504 1.10  .697 53522432
array-examples/standard_vector_difference_true-unreach-call_ground.i 961    488    6714699776 1.06  .671 48996352
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c 961    489    3816558592 .926 .596 48111616
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 956    484    7430078464 .995 .627 49827840
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 961    488    7888572416 .997 .656 49012736
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 916    461    5017681920 .992 .621 49565696
array-industry-pattern/array_range_init_false-unreach-call.i 956    485    6198251520 1.05  .689 51691520
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 944    480    4960399360 1.22  .769 49188864
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 922    468    6667640832 1.40  .880 51150848
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 947    479    5219057664 1.02  .644 50114560
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 962    486    5712355328 1.18  .756 50143232
array-industry-pattern/array_of_struct_break_true-unreach-call.i 960    487    7334133760 .952 .620 48979968
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 915    460    5735411712 1.04  .674 50114560
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 962    487    6049906688 .942 .611 48869376
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 912    458    5952569344 .945 .601 49881088
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 962    487    6560673792 1.02  .662 48467968
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 925    467    6886043648 1.02  .653 50532352
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 962    488    7606620160 .996 .635 49049600
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 961    495    5687013376 .964 .614 48295936
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 961    502    5807992832 1.18  .758 48992256
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 441    430    2710089728 4.47  2.53  257089536
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 903    893    3345727488 .992 .643 49258496
reducercommutativity/rangesum20_false-unreach-call.i 904    890    3601162240 1.18  .757 50692096
reducercommutativity/rangesum40_false-unreach-call.i 904    887    5005516800 .975 .626 49037312
reducercommutativity/rangesum60_false-unreach-call.i 905    888    5037158400 1.11  .709 48816128
reducercommutativity/rangesum_false-unreach-call_true-termination.i 961    501    6052978688 .907 .594 47628288
reducercommutativity/avg05_true-unreach-call_true-termination.i 902    893    1977151488 .968 .606 50630656
reducercommutativity/avg10_true-unreach-call_true-termination.i 903    892    2931777536 .967 .622 49205248
reducercommutativity/avg20_true-unreach-call.i 903    892    3227803648 .979 .626 48607232
reducercommutativity/avg40_true-unreach-call.i 904    889    4568473600 1.00  .635 49848320
reducercommutativity/avg60_true-unreach-call.i 904    890    4635570176 1.17  .759 50315264
reducercommutativity/avg_true-unreach-call_true-termination.i 25.6  13.0  1103273984 .957 .612 45703168
reducercommutativity/max05_true-unreach-call_true-termination.i 277    267    1556316160 .998 .624 50241536
reducercommutativity/max10_true-unreach-call_true-termination.i 902    891    2082271232 .947 .614 49233920
reducercommutativity/max20_true-unreach-call.i 902    889    2148864000 1.05  .669 49225728
reducercommutativity/max40_true-unreach-call.i 903    888    2236395520 1.02  .638 51875840
reducercommutativity/max60_true-unreach-call.i 903    887    2148581376 .978 .614 48996352
reducercommutativity/max_true-unreach-call_true-termination.i 962    501    5062459392 .997 .651 49016832
reducercommutativity/sep05_true-unreach-call_true-termination.i 24.8  12.6  858320896 .952 .623 47325184
reducercommutativity/sep10_true-unreach-call.i 930    474    4408975360 1.03  .654 51707904
reducercommutativity/sep20_true-unreach-call.i 909    457    3070996480 .990 .631 52400128
reducercommutativity/sep40_true-unreach-call.i 907    455    3623911424 1.01  .649 52133888
reducercommutativity/sep60_true-unreach-call.i 908    455    2938437632 1.09  .686 49233920
reducercommutativity/sep_true-unreach-call_true-termination.i 929    475    4953567232 1.10  .678 53141504
reducercommutativity/sum05_true-unreach-call_true-termination.i 902    892    1491243008 1.25  .792 49451008
reducercommutativity/sum10_true-unreach-call_true-termination.i 904    892    4343332864 .955 .617 48922624
reducercommutativity/sum20_true-unreach-call.i 904    892    4813332480 .994 .647 51302400
reducercommutativity/sum40_true-unreach-call.i 904    889    4741099520 1.23  .764 49401856
reducercommutativity/sum60_true-unreach-call.i 904    888    4520902656 .987 .620 48885760
reducercommutativity/sum_true-unreach-call_true-termination.i 961    500    4945027072 1.25  .805 49963008
array-tiling/mlceu_false-unreach-call.i 962    503    6589308928 .945 .610 49213440
array-tiling/skippedu_false-unreach-call.i 5.47 2.93 285937664 3.52  2.05  248459264
array-tiling/mbpr2_true-unreach-call.i 955    494    5575053312 1.16  .736 57974784
array-tiling/mbpr3_true-unreach-call.i 960    497    6195257344 1.06  .683 49446912
array-tiling/mbpr4_true-unreach-call.i 918    464    6906404864 1.31  .813 61792256
array-tiling/mbpr5_true-unreach-call.i 924    466    6816141312 1.26  .780 62910464
array-tiling/nr2_true-unreach-call.i 960    490    4749824000 .975 .623 48513024
array-tiling/nr3_true-unreach-call.i 961    493    4692475904 .920 .613 47755264
array-tiling/nr4_true-unreach-call.i 962    494    5313818624 .942 .619 48525312
array-tiling/nr5_true-unreach-call.i 960    498    4721942528 .983 .636 49852416
array-tiling/pnr2_true-unreach-call.i 961    499    3718553600 .898 .603 48087040
array-tiling/pnr3_true-unreach-call.i 960    508    6217568256 .918 .585 46673920
array-tiling/pnr4_true-unreach-call.i 961    500    3719794688 .962 .626 49311744
array-tiling/pnr5_true-unreach-call.i 961    506    5517377536 1.06  .679 45993984
array-tiling/poly1_true-unreach-call.i 960    496    5637713920 1.11  .704 48287744
array-tiling/poly2_true-unreach-call.i 939    478    4490842112 1.07  .680 48922624
array-tiling/pr2_true-unreach-call.i 961    491    3718438912 .949 .603 48676864
array-tiling/pr3_true-unreach-call.i 961    498    3471241216 .990 .626 48185344
array-tiling/pr4_true-unreach-call.i 951    487    3376971776 1.28  .792 64479232
array-tiling/pr5_true-unreach-call.i 961    502    3207000064 .976 .637 48758784
array-tiling/revcpyswp2_true-unreach-call.i 960    499    4112338944 .964 .637 48680960
array-tiling/rew_true-unreach-call.i 961    501    4557565952 .918 .607 48390144
array-tiling/rewnif_true-unreach-call.i 961    503    4733317120 .946 .598 49299456
array-tiling/rewnifrev2_true-unreach-call.i 961    503    4512206848 .903 .594 46772224
array-tiling/rewnifrev_true-unreach-call.i 961    500    4487213056 .936 .600 48320512
array-tiling/rewrev_true-unreach-call.i 961    508    4543643648 .915 .597 46346240
array-tiling/skipped_true-unreach-call.i 960    489    3789197312 1.03  .662 49057792
array-tiling/tcpy_true-unreach-call.i 961    491    3855286272 1.04  .666 50483200
array-programs/copysome1_false-unreach-call.i 951    483    5816315904 1.02  .648 51150848
array-programs/copysome2_false-unreach-call.i 960    490    5233885184 1.04  .690 48467968
array-programs/copysome1_true-unreach-call.i 962    487    5744140288 .972 .644 49721344
array-programs/copysome2_true-unreach-call.i 959    491    5123416064 1.01  .656 50200576
array-crafted/bAnd1_true-unreach-call.i 905    887    5025505280 .986 .620 51712000
array-crafted/bAnd2_true-unreach-call.i 916    802    4500856832 1.10  .695 50552832
array-crafted/bAnd3_true-unreach-call.i 962    486    5888774144 .943 .615 47968256
array-crafted/bAnd4_true-unreach-call.i 961    486    6788517888 .938 .624 49872896
array-crafted/bAnd5_true-unreach-call.i 960    500    5513531392 .907 .579 48480256
array-crafted/bor1_true-unreach-call.i 905    887    4858449920 .962 .629 50061312
array-crafted/bor2_true-unreach-call.i 917    804    5267075072 .981 .613 50188288
array-crafted/bor3_true-unreach-call.i 944    477    5264658432 .969 .634 49324032
array-crafted/bor4_true-unreach-call.i 961    488    5511692288 1.10  .736 49803264
array-crafted/bor5_true-unreach-call.i 960    500    5156315136 .983 .638 48394240
array-crafted/mapavg1_true-unreach-call.i 905    890    5026631680 .988 .636 52301824
array-crafted/mapavg2_true-unreach-call.i 922    806    5670952960 1.13  .714 53915648
array-crafted/mapavg3_true-unreach-call.i 962    487    5375590400 1.05  .696 48861184
array-crafted/mapavg4_true-unreach-call.i 961    487    6280798208 1.01  .656 50339840
array-crafted/mapavg5_true-unreach-call.i 9.55 4.98 580476928 .917 .594 47013888
array-crafted/mapsum1_true-unreach-call.i 905    887    5261946880 .997 .630 52219904
array-crafted/mapsum2_true-unreach-call.i 930    705    4768677888 1.11  .720 54292480
array-crafted/mapsum3_true-unreach-call.i 962    487    5505368064 .938 .608 48648192
array-crafted/mapsum4_true-unreach-call.i 962    487    6071599104 .947 .615 49377280
array-crafted/mapsum5_true-unreach-call.i 960    499    4514885632 .910 .586 48132096
array-crafted/xor1_true-unreach-call.i 905    885    5505757184 .977 .624 48877568
array-crafted/xor2_true-unreach-call.i 916    705    4548272128 1.06  .679 49328128
array-crafted/xor3_true-unreach-call.i 960    486    5796610048 .914 .602 48820224
array-crafted/xor4_true-unreach-call.i 952    482    5534674944 .990 .651 49836032
array-crafted/xor5_true-unreach-call.i 961    500    5209583616 .944 .597 49299456
array-crafted/zero_sum1_true-unreach-call.c 962    501    3612258304 .961 .635 46428160
array-crafted/zero_sum2_true-unreach-call.c 961    488    5236854784 .957 .603 49037312
array-crafted/zero_sum3_true-unreach-call.c 962    489    6442356736 .979 .625 49405952
array-crafted/zero_sum4_true-unreach-call.c 962    490    7235637248 .945 .600 48115712
array-crafted/zero_sum5_true-unreach-call.c 961    490    6733656064 .973 .628 49246208
array-crafted/zero_sum_const1_true-unreach-call.c 961    502    5772087296 .960 .636 50647040
array-crafted/zero_sum_const2_true-unreach-call.c 960    500    5605588992 .961 .619 49410048
array-crafted/zero_sum_const3_true-unreach-call.c 961    501    6846423040 .936 .597 47984640
array-crafted/zero_sum_const4_true-unreach-call.c 949    493    6520639488 1.50  .931 61243392
array-crafted/zero_sum_const5_true-unreach-call.c 935    479    6684696576 1.53  .932 63340544
array-crafted/zero_sum_const_m2_true-unreach-call.c 960    491    6350528512 1.01  .651 49491968
array-crafted/zero_sum_const_m3_true-unreach-call.c 962    490    7285198848 1.16  .740 49696768
array-crafted/zero_sum_const_m4_true-unreach-call.c 960    493    6911070208 .990 .653 49602560
array-crafted/zero_sum_const_m5_true-unreach-call.c 962    491    6724800512 .952 .622 48795648
array-crafted/zero_sum_m2_true-unreach-call.c 962    488    4778717184 .951 .613 48279552
array-crafted/zero_sum_m3_true-unreach-call.c 962    489    4556513280 1.15  .765 49422336
array-crafted/zero_sum_m4_true-unreach-call.c 961    488    6170169344 1.08  .708 49061888
array-crafted/zero_sum_m5_true-unreach-call.c 962    492    7358627840 .910 .608 47730688
array-multidimensional/add-2-n-u_true-unreach-call.i 960    498    7173234688 .941 .606 47738880
array-multidimensional/add-3-n-u_true-unreach-call.i 961    494    6562373632 1.12  .720 49287168
array-multidimensional/copy-2-u_true-unreach-call.i 961    499    7898828800 .933 .606 48459776
array-multidimensional/copy-3-n-u_true-unreach-call.i 960    497    6216478720 .948 .603 49213440
array-multidimensional/copy-partial-2-n-u_true-unreach-call.i 961    495    7630147584 .951 .606 48078848
array-multidimensional/copy-partial-3-u_true-unreach-call.i 26.7  13.6  1289936896 1.03  .637 49364992
array-multidimensional/diff-2-n-u_true-unreach-call.i 960    497    7037751296 .949 .598 49012736
array-multidimensional/diff-3-n-u_true-unreach-call.i 947    486    6568267776 1.14  .711 53612544
array-multidimensional/init-2-n-u_true-unreach-call.i 962    498    7126368256 1.15  .730 48816128
array-multidimensional/init-3-u_true-unreach-call.i 961    501    7884054528 .911 .594 47968256
array-multidimensional/init-4-n-u_true-unreach-call.i 954    492    8351727616 1.11  .692 53473280
array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i 961    503    5721010176 .973 .618 49090560
array-multidimensional/init-non-constant-3-u_true-unreach-call.i 962    502    8128544768 .939 .611 49864704
array-multidimensional/max-2-u_true-unreach-call.i 962    501    5520216064 1.01  .658 48521216
array-multidimensional/max-3-n-u_true-unreach-call.i 961    496    5578321920 .927 .599 49111040
array-multidimensional/min-2-u_true-unreach-call.i 961    498    6173863936 1.04  .670 50728960
array-multidimensional/min-3-n-u_true-unreach-call.i 962    494    5738479616 .961 .605 48631808
array-multidimensional/rev-2-n-u_true-unreach-call.i 961    496    6407421952 .928 .594 48287744
array-multidimensional/rev-3-u_true-unreach-call.i 960    498    5977047040 .909 .598 47960064
array-multidimensional/transpose-u_true-unreach-call.i 962    499    6820433920 .967 .622 48689152
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 8.24 4.31 409677824 5.67  3.19  270127104
bitvector/sum02_false-unreach-call_true-no-overflow.i 962    491    7770619904 .974 .632 48500736
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 10.7  5.56 437673984 1.03  .666 50061312
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 13.8  7.17 620134400 1.07  .674 49954816
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 6.99 4.61 301076480 1.03  .664 51429376
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 125    122    549957632 1.09  .675 52158464
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 104    102    547749888 .979 .618 50061312
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 6.74 3.59 306102272 1.26  .789 50319360
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 10.9  6.35 374575104 1.21  .763 49414144
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 908    895    8185692160 1.13  .717 48742400
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 910    899    9186680832 .964 .607 48824320
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 910    896    10237562880 1.10  .696 49451008
bitvector/jain_5_true-unreach-call_true-no-overflow.i 961    488    6851063808 1.26  .798 49811456
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 909    896    12878794752 1.15  .733 49766400
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 910    898    11302387712 1.01  .641 48861184
bitvector/modulus_true-unreach-call_true-no-overflow.i 30.8  15.6  1471008768 .986 .627 51470336
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 5.58 2.97 288944128 1.21  .762 50782208
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 6.11 3.24 307089408 .993 .640 48996352
bitvector/parity_true-unreach-call_true-no-overflow.i 17.7  12.4  374267904 .940 .625 48771072
bitvector/sum02_true-unreach-call_true-no-overflow.i 962    491    7889739776 .965 .602 48881664
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 32.0  17.9  1239867392 6.40  3.52  300183552
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 35.3  17.9  938500096 6.68  3.67  281161728
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 22.6  11.6  582946816 4.99  2.79  268685312
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 50.6  26.0  1269260288 1.07  .670 50569216
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 30.9  15.7  1030410240 1.14  .709 53841920
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 24.0  12.3  749912064 1.09  .700 51208192
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 930    473    3167588352 1.21  .749 54968320
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 16.1  8.27 609542144 1.31  .821 50397184
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 202    102    3643105280 1.18  .748 52510720
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 244    123    3480203264 1.13  .716 51654656
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 956    500    5627179008 1.19  .758 52625408
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 960    509    5295038464 .902 .594 46473216
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 914    852    6525706240 1.02  .660 49483776
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 8.54 4.45 398254080 1.09  .689 49446912
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 907    828    8623489024 1.16  .723 50065408
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 113    85.0  1677922304 1.21  .773 49131520
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 8.57 4.48 414695424 1.04  .648 49860608
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.70 2.04 254476288 3.51  2.01  247406592
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 4.16 2.23 259534848 3.40  1.97  245608448
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 4.28 2.36 257044480 3.49  2.03  247717888
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 3.97 2.16 253190144 1.10  .705 47140864
bitvector-regression/signextension2_false-unreach-call_true-termination.c 3.82 2.08 256729088 3.42  1.95  246300672
bitvector-regression/signextension_false-unreach-call_true-termination.c 3.64 1.98 256294912 3.39  1.96  247959552
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 4.22 2.31 252895232 .974 .630 49405952
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 3.50 1.94 254222336 .936 .597 48906240
bitvector-regression/signextension2_true-unreach-call_true-termination.c 3.47 1.91 251326464 1.04  .676 48357376
bitvector-regression/signextension_true-unreach-call_true-termination.c 3.69 1.99 254537728 .950 .593 48156672
bitvector-loops/diamond_false-unreach-call2.i 5.31 2.82 285331456 3.77  2.12  249352192
bitvector-loops/overflow_false-unreach-call1.i 962    488    7414251520 1.03  .660 50335744
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 12.3  7.12 497143808 4.28  2.42  260251648
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 20.2  10.3  924307456 5.28  2.94  261844992
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 12.8  6.59 551194624 5.28  2.96  290676736
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 19.5  9.98 730148864 6.69  3.75  291934208
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.16 4.29 431476736 4.77  2.69  275025920
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 19.5  10.1  928473088 1.19  .756 53350400
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 915    460    7703928832 1.22  .760 56041472
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 12.1  6.26 537698304 1.17  .744 51597312
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 12.8  6.60 569044992 1.15  .717 54054912
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.28 3.28 342556672 1.05  .664 51097600
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.80 4.59 403214336 1.10  .707 51326976
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 16.4  8.40 576016384 6.43  3.48  284504064
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 14.2  7.30 558080000 5.13  2.84  281337856
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 17.7  9.05 608382976 5.93  3.26  286216192
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 14.7  7.55 601534464 5.35  2.97  289193984
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 6.82 3.59 317239296 4.38  2.51  256471040
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 23.2  11.8  815484928 5.37  2.98  276979712
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 19.0  9.70 747974656 5.85  3.20  296620032
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 12.9  6.67 558452736 5.54  3.06  286023680
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 8.73 4.57 434298880 5.38  3.01  271585280
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 13.1  6.73 596787200 5.48  3.04  290779136
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 13.9  7.15 587182080 5.21  2.90  270262272
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 8.18 4.28 312975360 4.31  2.45  262881280
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 19.7  10.1  730017792 1.31  .809 52441088
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 19.4  9.91 744894464 1.07  .675 51212288
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 22.3  11.4  843259904 1.34  .839 51212288
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 22.9  11.7  787021824 1.08  .696 50761728
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 13.5  6.95 586625024 1.14  .718 51384320
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 9.73 5.05 433369088 1.06  .663 49967104
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 4.56 2.47 263606272 1.16  .747 49631232
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 16.2  8.28 597647360 1.13  .704 50679808
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 21.1  10.9  762830848 1.09  .681 50065408
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 18.3  9.35 760885248 1.31  .812 51892224
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 28.7  14.6  881676288 1.13  .708 52006912
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 36.7  18.6  1086009344 1.23  .784 51965952
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 17.5  8.93 712364032 1.08  .664 50663424
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 5.53 2.94 288890880 4.37  2.50  256385024
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 7.24 3.81 288661504 4.32  2.43  259727360
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 5.82 3.10 312131584 1.09  .675 49311744
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 6.21 3.31 298938368 1.02  .655 50188288
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 5.41 2.90 298147840 .985 .636 49324032
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 6.77 3.56 350830592 1.03  .652 51838976
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 6.32 3.35 338108416 1.01  .652 51937280
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 6.42 3.40 322682880 1.06  .683 50831360
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 4.61 2.50 269209600 1.07  .683 50733056
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 5.00 2.69 289107968 1.01  .654 49029120
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 5.57 2.99 296685568 1.00  .646 51380224
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 5.54 2.95 295403520 1.01  .637 49836032
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 5.29 2.83 296923136 .988 .637 48828416
ntdrivers/cdaudio_false-unreach-call.i.cil.c 926    470    4323622912 1.34  .817 60645376
ntdrivers/diskperf_false-unreach-call.i.cil.c 20.8  10.6  831004672 7.36  4.08  291352576
ntdrivers/floppy_false-unreach-call.i.cil.c 51.1  26.8  1639518208 7.18  3.96  295104512
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 14.1  7.23 568856576 5.77  3.20  281260032
ntdrivers/parport_false-unreach-call.i.cil.c 961    859    5672161280 1.21  .779 48812032
ntdrivers/cdaudio_true-unreach-call.i.cil.c 49.1  25.1  1536872448 1.43  .868 57753600
ntdrivers/diskperf_true-unreach-call.i.cil.c 940    898    3965718528 1.17  .713 52416512
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 962    504    5110104064 1.22  .779 47886336
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 957    496    4879884288 1.48  .915 61198336
ntdrivers/parport_true-unreach-call.i.cil.c 960    871    6033162240 .935 .595 48513024
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 55.5  28.1  1199460352 6.00  3.31  295505920
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 31.6  16.0  963149824 5.74  3.13  292757504
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 150    132    3010924544 5.55  3.06  287850496
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 33.4  16.9  872710144 5.73  3.13  288468992
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 18.3  9.33 585527296 5.34  3.01  269471744
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 19.6  10.0  607502336 5.99  3.33  292229120
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 17.7  9.08 571510784 5.85  3.21  292859904
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 19.0  9.73 599732224 7.68  4.19  294490112
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 54.1  27.3  1215975424 6.21  3.39  299126784
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 60.2  30.4  1362411520 6.66  3.64  299921408
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 164    82.5  2585837568 6.54  3.57  293617664
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 49.3  24.9  1289240576 6.21  3.40  303599616
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 139    69.7  2591473664 6.82  3.70  302239744
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 43.9  22.2  929869824 6.13  3.38  293093376
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 40.8  20.6  1074294784 6.18  3.38  289685504
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 58.8  29.6  1253658624 6.08  3.32  300482560
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 45.0  22.8  1109663744 6.35  3.46  302665728
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 207    104    3281350656 6.38  3.51  294838272
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 39.3  19.9  960147456 7.39  4.01  301580288
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 27.6  14.0  776171520 1.21  .765 50520064
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 24.6  12.5  757379072 1.06  .672 50425856
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 24.9  12.6  751472640 1.07  .687 50737152
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 25.6  13.0  1043767296 1.05  .665 51597312
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 61.9  31.3  1552293888 1.10  .717 50475008
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 16.8  8.60 580685824 1.05  .662 50552832
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 253    127    3826929664 1.18  .724 52686848
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 121    60.7  2296942592 1.11  .701 50769920
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 36.3  18.4  1320742912 1.04  .654 50110464
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 102    51.2  1996439552 1.21  .748 50393088
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 33.2  16.8  988270592 1.14  .719 51847168
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 111    55.6  2193793024 1.08  .683 51130368
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 279    140    3380453376 1.15  .732 55734272
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 39.5  20.0  1175216128 1.18  .752 51810304
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 111    56.0  2212270080 1.13  .712 51404800
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 73.8  37.2  1410027520 1.14  .703 50806784
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 251    126    3763998720 1.13  .699 53047296
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 36.5  18.8  1303572480 8.69  4.68  306335744
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 71.7  45.4  2843078656 7.06  3.84  314798080
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 41.8  22.1  1801981952 6.98  3.77  310935552
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 39.8  20.2  1466572800 7.12  3.81  309641216
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 51.1  29.1  2125234176 7.00  3.77  306843648
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 36.6  19.4  1407221760 6.88  3.72  304275456
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 45.7  24.3  1668874240 7.45  4.05  310542336
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 40.1  21.2  1483825152 6.81  3.68  306163712
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 25.0  12.7  938926080 6.66  3.61  298266624
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 83.0  50.5  2898874368 7.24  3.90  307531776
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 32.5  16.7  1116065792 6.63  3.61  303337472
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 53.2  29.9  2143875072 6.66  3.63  301719552
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 56.0  31.9  2224750592 6.83  3.69  307425280
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 19.9  10.1  715964416 6.19  3.35  299769856
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 20.6  10.5  671092736 5.69  3.13  289112064
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 19.5  9.94 682872832 5.96  3.22  291147776
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 18.8  9.61 690507776 6.73  3.65  296820736
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 36.3  18.7  1299603456 7.00  3.79  302301184
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 27.0  13.9  1685024768 6.77  3.65  299204608
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 28.2  14.5  1060777984 6.69  3.63  301219840
eca-rers2012/Problem03_label09_false-unreach-call.c 106    58.1  3619741696 10.2   5.37  359936000
eca-rers2012/Problem03_label13_false-unreach-call.c 86.2  45.2  2590609408 9.44  5.01  360787968
eca-rers2012/Problem03_label26_false-unreach-call.c 68.2  35.1  2020446208 10.2   5.45  360427520
eca-rers2012/Problem03_label27_false-unreach-call.c 89.9  47.7  2850496512 8.80  4.70  345866240
eca-rers2012/Problem03_label28_false-unreach-call.c 83.5  44.7  2861879296 9.83  5.22  366759936
eca-rers2012/Problem03_label31_false-unreach-call.c 74.7  39.3  2589212672 9.60  5.08  359116800
eca-rers2012/Problem03_label35_false-unreach-call.c 118    66.4  3872374784 10.4   5.56  374202368
eca-rers2012/Problem03_label37_false-unreach-call.c 73.7  38.6  2376888320 8.50  4.52  356102144
eca-rers2012/Problem03_label39_false-unreach-call.c 133    72.6  3735756800 9.80  5.24  361947136
eca-rers2012/Problem03_label43_false-unreach-call.c 82.0  43.4  2844209152 8.02  4.30  311336960
eca-rers2012/Problem03_label45_false-unreach-call.c 113    61.4  3774967808 12.0   6.35  392146944
eca-rers2012/Problem03_label50_false-unreach-call.c 92.9  48.8  2899251200 11.8   6.22  359149568
eca-rers2012/Problem03_label52_false-unreach-call.c 129    71.6  3868196864 12.4   6.56  368832512
eca-rers2012/Problem04_label04_false-unreach-call.c 961    494    6142906368 1.09  .708 49090560
eca-rers2012/Problem04_label06_false-unreach-call.c 961    501    5847785472 .950 .606 49086464
eca-rers2012/Problem04_label09_false-unreach-call.c 960    496    6106910720 .921 .583 48177152
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 961    501    6116679680 .936 .590 47755264
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 960    496    6059118592 .955 .649 47742976
eca-rers2012/Problem04_label13_false-unreach-call.c 961    495    6113456128 .948 .606 49319936
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 961    502    6113673216 1.07  .698 50987008
eca-rers2012/Problem04_label15_false-unreach-call.c 961    494    6170624000 .952 .625 49410048
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 961    497    6165327872 .943 .608 48123904
eca-rers2012/Problem04_label18_false-unreach-call.c 961    501    5960454144 .950 .610 49004544
eca-rers2012/Problem04_label19_false-unreach-call.c 961    499    6099238912 .930 .597 48590848
eca-rers2012/Problem04_label26_false-unreach-call.c 961    497    5789638656 .992 .639 48701440
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 960    496    6109315072 .991 .635 48136192
eca-rers2012/Problem04_label31_false-unreach-call.c 961    497    5868240896 1.00  .652 50098176
eca-rers2012/Problem04_label32_false-unreach-call.c 961    496    6115397632 1.19  .749 49090560
eca-rers2012/Problem04_label35_false-unreach-call.c 961    495    6196199424 1.05  .679 49364992
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 961    501    5955473408 .941 .608 47939584
eca-rers2012/Problem04_label38_false-unreach-call.c 961    495    6104698880 .928 .605 48984064
eca-rers2012/Problem04_label39_false-unreach-call.c 961    495    6058037248 .904 .577 47517696
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 960    496    6211031040 1.20  .759 48119808
eca-rers2012/Problem04_label45_false-unreach-call.c 961    495    6130581504 .940 .636 48160768
eca-rers2012/Problem04_label52_false-unreach-call.c 960    495    6183583744 .959 .634 48828416
eca-rers2012/Problem04_label55_false-unreach-call.c 961    501    5736542208 .943 .606 48250880
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 961    499    6138437632 .916 .593 48037888
eca-rers2012/Problem05_label00_false-unreach-call.c 960    499    6370676736 .986 .645 49119232
eca-rers2012/Problem05_label01_false-unreach-call.c 960    497    6193745920 .942 .612 48021504
eca-rers2012/Problem05_label11_false-unreach-call.c 847    448    6025785344 45.7   991     2239094784
eca-rers2012/Problem05_label13_false-unreach-call.c 844    449    6088769536 55.7   991     2278346752
eca-rers2012/Problem05_label15_false-unreach-call.c 961    526    6507401216 .948 .623 48144384
eca-rers2012/Problem05_label18_false-unreach-call.c 962    529    6362107904 .909 .603 48328704
eca-rers2012/Problem05_label24_false-unreach-call.c 960    497    6247301120 .937 .595 47890432
eca-rers2012/Problem05_label26_false-unreach-call.c 909    496    6276321280 46.2   991     2247589888
eca-rers2012/Problem05_label30_false-unreach-call.c 962    527    6321274880 1.05  .659 48107520
eca-rers2012/Problem05_label32_false-unreach-call.c 961    490    6211047424 .948 .613 49307648
eca-rers2012/Problem05_label33_false-unreach-call.c 961    522    6276845568 .965 .613 49922048
eca-rers2012/Problem05_label36_false-unreach-call.c 961    510    6406791168 .920 .589 48144384
eca-rers2012/Problem05_label37_false-unreach-call.c 961    537    6657650688 1.00  .650 48717824
eca-rers2012/Problem05_label38_false-unreach-call.c 961    502    6196461568 .916 .598 48185344
eca-rers2012/Problem05_label39_false-unreach-call.c 961    492    6136578048 1.06  .693 49872896
eca-rers2012/Problem05_label40_false-unreach-call.c 961    528    6556155904 1.17  .761 49766400
eca-rers2012/Problem05_label41_false-unreach-call.c 961    500    6360276992 .968 .622 48156672
eca-rers2012/Problem05_label44_false-unreach-call.c 794    414    6142185472 50.5   991     2243043328
eca-rers2012/Problem05_label47_false-unreach-call.c 961    500    6477697024 .908 .587 48054272
eca-rers2012/Problem05_label48_false-unreach-call.c 961    529    6376140800 .953 .604 48971776
eca-rers2012/Problem05_label51_false-unreach-call.c 960    497    6231228416 .946 .614 48066560
eca-rers2012/Problem05_label55_false-unreach-call.c 960    515    6292185088 .977 .624 48435200
eca-rers2012/Problem05_label57_false-unreach-call.c 945    520    6349066240 44.5   991     2245046272
eca-rers2012/Problem05_label58_false-unreach-call.c 896    487    6242910208 41.5   991     2269712384
eca-rers2012/Problem06_label00_false-unreach-call.c 535    290    5210849280 20.3   991     986525696
eca-rers2012/Problem06_label01_false-unreach-call.c 518    280    5245693952 27.1   991     1018040320
eca-rers2012/Problem06_label02_false-unreach-call.c 584    321    5271187456 22.7   991     1028796416
eca-rers2012/Problem06_label04_false-unreach-call.c 749    452    6025953280 19.3   991     972238848
eca-rers2012/Problem06_label05_false-unreach-call.c 792    475    5881073664 24.4   991     980291584
eca-rers2012/Problem06_label09_false-unreach-call.c 714    429    6000467968 17.1   991     680718336
eca-rers2012/Problem06_label10_false-unreach-call.c 574    326    5474955264 24.2   991     1000448000
eca-rers2012/Problem06_label11_false-unreach-call.c 454    229    4960567296 23.6   991     1060704256
eca-rers2012/Problem06_label12_false-unreach-call.c 558    311    5431033856 23.5   991     1072226304
eca-rers2012/Problem06_label15_false-unreach-call.c 440    222    4968341504 23.6   991     1064693760
eca-rers2012/Problem06_label20_false-unreach-call.c 727    436    5916712960 18.6   991     1007546368
eca-rers2012/Problem06_label21_false-unreach-call.c 652    372    5495263232 25.0   991     1004240896
eca-rers2012/Problem06_label24_false-unreach-call.c 829    520    6334066688 19.5   991     973598720
eca-rers2012/Problem06_label27_false-unreach-call.c 621    330    5244870656 23.4   991     1045807104
eca-rers2012/Problem06_label29_false-unreach-call.c 752    458    5985779712 21.7   991     993124352
eca-rers2012/Problem06_label33_false-unreach-call.c 595    335    5482618880 17.2   991     959311872
eca-rers2012/Problem06_label36_false-unreach-call.c 498    266    5233004544 23.3   991     1060311040
eca-rers2012/Problem06_label37_false-unreach-call.c 691    407    5895421952 23.4   991     1054699520
eca-rers2012/Problem06_label38_false-unreach-call.c 469    242    5148352512 24.1   991     983502848
eca-rers2012/Problem06_label44_false-unreach-call.c 574    308    5279547392 25.0   991     999088128
eca-rers2012/Problem06_label47_false-unreach-call.c 542    299    5373796352 21.0   991     701771776
eca-rers2012/Problem06_label48_false-unreach-call.c 681    388    5578080256 25.0   991     1018748928
eca-rers2012/Problem06_label56_false-unreach-call.c 775    461    5929586688 22.1   991     982265856
eca-rers2012/Problem06_label58_false-unreach-call.c 489    259    5245452288 28.1   991     1058607104
eca-rers2012/Problem06_label59_false-unreach-call.c 794    482    6079684608 24.6   991     1027883008
eca-rers2012/Problem07_label03_false-unreach-call.c 962    488    8746942464 1.08  .712 45752320
eca-rers2012/Problem07_label05_false-unreach-call.c 961    498    8135696384 .930 .603 48439296
eca-rers2012/Problem07_label06_false-unreach-call.c 962    488    8136531968 1.09  .700 49385472
eca-rers2012/Problem07_label07_false-unreach-call.c 961    501    8030384128 .943 .611 48631808
eca-rers2012/Problem07_label09_false-unreach-call.c 962    488    9090600960 .918 .604 46407680
eca-rers2012/Problem07_label11_false-unreach-call.c 961    491    8713711616 .904 .605 46616576
eca-rers2012/Problem07_label15_false-unreach-call.c 962    490    8955637760 .958 .617 48791552
eca-rers2012/Problem07_label18_false-unreach-call.c 960    498    8111697920 .959 .640 48762880
eca-rers2012/Problem07_label19_false-unreach-call.c 962    488    8848781312 .964 .622 48312320
eca-rers2012/Problem07_label20_false-unreach-call.c 961    488    9002119168 1.06  .705 48050176
eca-rers2012/Problem07_label23_false-unreach-call.c 961    493    8284622848 1.26  .801 48726016
eca-rers2012/Problem07_label30_false-unreach-call.c 961    501    8030625792 .945 .609 49348608
eca-rers2012/Problem07_label31_false-unreach-call.c 961    492    8228302848 1.10  .694 49692672
eca-rers2012/Problem07_label35_false-unreach-call.c 960    499    7955210240 1.00  .649 49790976
eca-rers2012/Problem07_label36_false-unreach-call.c 962    488    9916137472 1.12  .719 46477312
eca-rers2012/Problem07_label37_false-unreach-call.c 962    488    8403869696 .926 .596 47566848
eca-rers2012/Problem07_label39_false-unreach-call.c 961    490    9051779072 .888 .564 46305280
eca-rers2012/Problem07_label40_false-unreach-call.c 961    492    8782229504 1.21  .794 48275456
eca-rers2012/Problem07_label42_false-unreach-call.c 962    488    9649926144 .940 .601 46219264
eca-rers2012/Problem07_label44_false-unreach-call.c 962    488    8855330816 1.06  .705 49586176
eca-rers2012/Problem07_label46_false-unreach-call.c 961    492    8556527616 .912 .592 48070656
eca-rers2012/Problem07_label47_false-unreach-call.c 961    493    8334630912 1.12  .731 49012736
eca-rers2012/Problem07_label48_false-unreach-call.c 960    500    7330226176 1.25  .794 49168384
eca-rers2012/Problem07_label58_false-unreach-call.c 961    501    8024104960 .988 .627 49438720
eca-rers2012/Problem08_label01_false-unreach-call.c 962    490    10626883584 .930 .625 45965312
eca-rers2012/Problem08_label02_false-unreach-call.c 962    490    10730696704 1.00  .642 46116864
eca-rers2012/Problem08_label04_false-unreach-call.c 962    490    10486423552 .967 .632 46592000
eca-rers2012/Problem08_label05_false-unreach-call.c 962    494    11325939712 .871 .572 45858816
eca-rers2012/Problem08_label06_false-unreach-call.c 960    488    8552407040 .899 .592 46575616
eca-rers2012/Problem08_label07_false-unreach-call.c 962    489    9797820416 .998 .634 46272512
eca-rers2012/Problem08_label10_false-unreach-call.c 962    490    10665164800 .939 .608 47534080
eca-rers2012/Problem08_label13_false-unreach-call.c 961    501    7628111872 .924 .604 48087040
eca-rers2012/Problem08_label15_false-unreach-call.c 961    501    8120283136 1.02  .677 49889280
eca-rers2012/Problem08_label24_false-unreach-call.c 962    490    9955610624 .899 .598 48287744
eca-rers2012/Problem08_label25_false-unreach-call.c 962    491    10416406528 .997 .645 46624768
eca-rers2012/Problem08_label26_false-unreach-call.c 962    491    10323070976 .875 .568 46555136
eca-rers2012/Problem08_label28_false-unreach-call.c 962    488    8590811136 .940 .613 46538752
eca-rers2012/Problem08_label29_false-unreach-call.c 961    492    11695869952 .952 .619 48394240
eca-rers2012/Problem08_label34_false-unreach-call.c 961    503    8050417664 1.07  .702 49225728
eca-rers2012/Problem08_label37_false-unreach-call.c 961    502    8270561280 .921 .606 47853568
eca-rers2012/Problem08_label43_false-unreach-call.c 962    491    10225213440 .965 .610 47144960
eca-rers2012/Problem08_label46_false-unreach-call.c 962    489    10133516288 .886 .568 46194688
eca-rers2012/Problem08_label48_false-unreach-call.c 962    490    10797129728 .931 .610 47124480
eca-rers2012/Problem08_label49_false-unreach-call.c 962    494    11795431424 .976 .627 47947776
eca-rers2012/Problem08_label50_false-unreach-call.c 962    488    10481127424 .905 .590 47091712
eca-rers2012/Problem08_label51_false-unreach-call.c 961    494    8333475840 .932 .602 48443392
eca-rers2012/Problem08_label55_false-unreach-call.c 961    500    7923175424 .908 .585 48787456
eca-rers2012/Problem08_label59_false-unreach-call.c 962    492    10080714752 .898 .576 46305280
eca-rers2012/Problem09_label02_false-unreach-call.c 962    490    10406338560 .937 .615 47808512
eca-rers2012/Problem09_label03_false-unreach-call.c 961    495    9720815616 .899 .591 46206976
eca-rers2012/Problem09_label06_false-unreach-call.c 962    491    10141433856 .906 .588 46895104
eca-rers2012/Problem09_label08_false-unreach-call.c 960    499    8704303104 .975 .628 48668672
eca-rers2012/Problem09_label10_false-unreach-call.c 961    503    8647499776 .956 .621 48664576
eca-rers2012/Problem09_label11_false-unreach-call.c 961    500    8280043520 1.02  .646 49213440
eca-rers2012/Problem09_label15_false-unreach-call.c 962    496    9611079680 .892 .590 46530560
eca-rers2012/Problem09_label19_false-unreach-call.c 961    490    9856761856 .906 .583 47075328
eca-rers2012/Problem09_label20_false-unreach-call.c 962    491    10179661824 1.05  .656 46395392
eca-rers2012/Problem09_label32_false-unreach-call.c 961    506    8265334784 .944 .638 49029120
eca-rers2012/Problem09_label34_false-unreach-call.c 960    502    8587886592 .946 .604 49680384
eca-rers2012/Problem09_label35_false-unreach-call.c 961    503    8593317888 .939 .610 49020928
eca-rers2012/Problem09_label36_false-unreach-call.c 961    499    8413736960 .957 .609 49147904
eca-rers2012/Problem09_label38_false-unreach-call.c 961    499    8303677440 .925 .590 47681536
eca-rers2012/Problem09_label41_false-unreach-call.c 961    501    8670855168 1.01  .640 48037888
eca-rers2012/Problem09_label44_false-unreach-call.c 962    489    9551949824 .935 .604 46669824
eca-rers2012/Problem09_label46_false-unreach-call.c 962    489    10569797632 .899 .584 46637056
eca-rers2012/Problem09_label47_false-unreach-call.c 960    492    11114737664 .876 .576 46505984
eca-rers2012/Problem09_label51_false-unreach-call.c 962    491    9378828288 .891 .566 46133248
eca-rers2012/Problem09_label53_false-unreach-call.c 961    500    8380030976 .903 .600 48259072
eca-rers2012/Problem09_label54_false-unreach-call.c 960    503    8699236352 1.02  .673 48390144
eca-rers2012/Problem09_label56_false-unreach-call.c 962    501    8348151808 .982 .615 48398336
eca-rers2012/Problem09_label57_false-unreach-call.c 961    504    8596004864 .936 .619 49750016
eca-rers2012/Problem09_label59_false-unreach-call.c 962    492    9525272576 .915 .594 46858240
eca-rers2012/Problem10_label12_false-unreach-call.c 112    58.8  4426403840 7.36  4.00  313614336
eca-rers2012/Problem10_label15_false-unreach-call.c 113    58.8  4178497536 6.93  3.77  314966016
eca-rers2012/Problem10_label24_false-unreach-call.c 97.2  50.8  4175462400 7.75  4.17  316481536
eca-rers2012/Problem10_label26_false-unreach-call.c 104    54.5  4266971136 6.75  3.68  292978688
eca-rers2012/Problem10_label28_false-unreach-call.c 107    55.8  4339695616 6.58  3.61  308543488
eca-rers2012/Problem10_label29_false-unreach-call.c 109    57.1  4505833472 7.01  3.77  309682176
eca-rers2012/Problem10_label41_false-unreach-call.c 73.3  37.0  2435825664 7.03  3.77  307453952
eca-rers2012/Problem10_label42_false-unreach-call.c 65.3  33.2  2712928256 5.73  3.16  274571264
eca-rers2012/Problem10_label46_false-unreach-call.c 32.6  16.6  1289674752 5.98  3.27  288169984
eca-rers2012/Problem10_label47_false-unreach-call.c 80.4  41.2  3086020608 6.86  3.73  306999296
eca-rers2012/Problem10_label48_false-unreach-call.c 107    57.9  4595462144 8.65  4.67  310247424
eca-rers2012/Problem10_label50_false-unreach-call.c 128    64.8  4793503744 7.29  3.92  319459328
eca-rers2012/Problem10_label55_false-unreach-call.c 65.9  33.7  2618626048 6.61  3.59  304574464
eca-rers2012/Problem10_label57_false-unreach-call.c 104    56.0  4691824640 8.09  4.34  315064320
eca-rers2012/Problem10_label58_false-unreach-call.c 103    55.7  4789764096 6.86  3.73  314937344
eca-rers2012/Problem11_label00_false-unreach-call.c 280    162    7399473152 7.98  4.27  328077312
eca-rers2012/Problem11_label08_false-unreach-call.c 132    69.8  5388189696 7.29  3.95  311750656
eca-rers2012/Problem11_label14_false-unreach-call.c 129    68.6  5133783040 7.62  4.07  318377984
eca-rers2012/Problem11_label15_false-unreach-call.c 162    89.6  5440053248 8.64  4.61  310243328
eca-rers2012/Problem11_label20_false-unreach-call.c 261    149    7447486464 7.88  4.22  346206208
eca-rers2012/Problem11_label29_false-unreach-call.c 122    64.6  4775702528 7.79  4.18  352223232
eca-rers2012/Problem11_label31_false-unreach-call.c 301    172    7447322624 8.06  4.29  321409024
eca-rers2012/Problem11_label34_false-unreach-call.c 436    226    8100032512 9.55  5.14  344809472
eca-rers2012/Problem11_label36_false-unreach-call.c 172    95.5  5654679552 6.93  3.77  306556928
eca-rers2012/Problem11_label39_false-unreach-call.c 393    227    7509803008 7.83  4.20  326053888
eca-rers2012/Problem11_label42_false-unreach-call.c 127    67.8  5234126848 8.51  4.55  322482176
eca-rers2012/Problem11_label43_false-unreach-call.c 206    115    6157529088 7.09  3.84  305754112
eca-rers2012/Problem11_label49_false-unreach-call.c 133    70.8  5272252416 7.24  3.89  312123392
eca-rers2012/Problem11_label51_false-unreach-call.c 138    75.4  5302648832 7.35  3.96  317497344
eca-rers2012/Problem11_label58_false-unreach-call.c 130    69.6  5283815424 7.15  3.88  311234560
eca-rers2012/Problem12_label00_false-unreach-call.c 562    282    14999998464 .912 .595 46678016
eca-rers2012/Problem12_label03_false-unreach-call.c 660    331    14999998464 1.04  .670 45953024
eca-rers2012/Problem12_label06_false-unreach-call.c 485    243    14999998464 .891 .563 45801472
eca-rers2012/Problem12_label07_false-unreach-call.c 499    250    14999998464 .936 .606 47497216
eca-rers2012/Problem12_label08_false-unreach-call.c 532    267    14999998464 .916 .581 46518272
eca-rers2012/Problem12_label10_false-unreach-call.c 443    222    14999998464 .890 .582 46649344
eca-rers2012/Problem12_label13_false-unreach-call.c 465    233    14999998464 .908 .576 46424064
eca-rers2012/Problem12_label19_false-unreach-call.c 435    218    14999998464 .990 .642 46002176
eca-rers2012/Problem12_label20_false-unreach-call.c 602    302    14999998464 .914 .598 47869952
eca-rers2012/Problem12_label21_false-unreach-call.c 501    251    14999998464 .983 .630 46088192
eca-rers2012/Problem12_label25_false-unreach-call.c 446    224    14999998464 .948 .639 47681536
eca-rers2012/Problem12_label28_false-unreach-call.c 474    238    14999998464 1.04  .672 47620096
eca-rers2012/Problem12_label30_false-unreach-call.c 633    317    14999998464 1.15  .761 47050752
eca-rers2012/Problem12_label34_false-unreach-call.c 519    260    14999998464 1.09  .701 47050752
eca-rers2012/Problem12_label35_false-unreach-call.c 451    226    14999998464 .919 .601 47419392
eca-rers2012/Problem12_label37_false-unreach-call.c 464    233    14999998464 1.08  .702 46260224
eca-rers2012/Problem12_label38_false-unreach-call.c 452    227    14999998464 1.03  .671 46137344
eca-rers2012/Problem12_label39_false-unreach-call.c 576    288    14999998464 .884 .573 45744128
eca-rers2012/Problem12_label40_false-unreach-call.c 573    287    14999998464 .973 .620 46481408
eca-rers2012/Problem12_label42_false-unreach-call.c 568    285    14999998464 1.03  .645 46792704
eca-rers2012/Problem12_label48_false-unreach-call.c 462    232    14999998464 .910 .586 46612480
eca-rers2012/Problem12_label50_false-unreach-call.c 437    219    14999998464 .960 .614 47378432
eca-rers2012/Problem12_label51_false-unreach-call.c 428    215    14999998464 .931 .590 46579712
eca-rers2012/Problem12_label52_false-unreach-call.c 452    227    14999998464 .922 .604 47476736
eca-rers2012/Problem12_label55_false-unreach-call.c 455    228    14999998464 .935 .607 46415872
eca-rers2012/Problem13_label04_false-unreach-call.c 334    168    14999998464 1.20  .772 47161344
eca-rers2012/Problem13_label06_false-unreach-call.c 384    193    14999998464 .889 .579 46952448
eca-rers2012/Problem13_label07_false-unreach-call.c 351    176    14999998464 .906 .591 46342144
eca-rers2012/Problem13_label11_false-unreach-call.c 338    170    14999998464 .888 .576 48140288
eca-rers2012/Problem13_label12_false-unreach-call.c 318    160    14999998464 .938 .616 47718400
eca-rers2012/Problem13_label16_false-unreach-call.c 312    157    14999998464 .913 .604 46952448
eca-rers2012/Problem13_label19_false-unreach-call.c 371    186    14999998464 1.21  .789 46440448
eca-rers2012/Problem13_label21_false-unreach-call.c 347    174    14999998464 1.13  .750 47136768
eca-rers2012/Problem13_label23_false-unreach-call.c 468    235    14999998464 .900 .580 45957120
eca-rers2012/Problem13_label24_false-unreach-call.c 357    179    14999998464 1.15  .738 46751744
eca-rers2012/Problem13_label25_false-unreach-call.c 364    182    14999998464 .931 .605 46931968
eca-rers2012/Problem13_label28_false-unreach-call.c 322    162    14999998464 1.15  .745 47673344
eca-rers2012/Problem13_label29_false-unreach-call.c 350    176    14999998464 .910 .595 46616576
eca-rers2012/Problem13_label30_false-unreach-call.c 331    166    14999998464 .956 .626 46530560
eca-rers2012/Problem13_label32_false-unreach-call.c 345    173    14999998464 .903 .580 46317568
eca-rers2012/Problem13_label35_false-unreach-call.c 379    190    14999998464 .901 .588 46436352
eca-rers2012/Problem13_label36_false-unreach-call.c 351    176    14999998464 1.06  .688 46043136
eca-rers2012/Problem13_label40_false-unreach-call.c 323    162    14999998464 .961 .619 47931392
eca-rers2012/Problem13_label43_false-unreach-call.c 362    181    14999998464 .902 .587 46342144
eca-rers2012/Problem13_label44_false-unreach-call.c 348    175    14999998464 .890 .591 47067136
eca-rers2012/Problem13_label45_false-unreach-call.c 334    168    14999998464 .895 .566 47321088
eca-rers2012/Problem13_label48_false-unreach-call.c 368    185    14999998464 1.04  .649 48168960
eca-rers2012/Problem13_label51_false-unreach-call.c 345    173    14999998464 .976 .632 46620672
eca-rers2012/Problem13_label54_false-unreach-call.c 352    177    14999998464 .879 .575 46444544
eca-rers2012/Problem13_label58_false-unreach-call.c 416    209    14999998464 .900 .581 46694400
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 961    498    9761366016 .929 .598 48205824
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 961    500    9849892864 1.16  .751 49938432
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 961    500    9836056576 .961 .600 48148480
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 961    499    9943810048 .927 .589 48484352
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 961    498    9958350848 1.05  .668 47906816
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 962    500    9939464192 .932 .600 49102848
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 961    498    9405284352 1.12  .720 49795072
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 962    495    9907232768 .941 .615 49717248
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 961    498    9918922752 1.13  .733 49029120
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 961    501    9936842752 .998 .640 50167808
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 960    498    10009284608 1.05  .666 49659904
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 962    497    9920856064 1.02  .648 48955392
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 960    498    9874182144 .971 .622 50176000
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 962    498    9864429568 1.18  .767 49020928
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 961    499    10009776128 1.05  .666 49074176
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 960    498    9781301248 .972 .637 49512448
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 961    499    10003714048 1.05  .668 50405376
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 961    499    11605291008 .930 .620 48197632
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 962    498    9863102464 .941 .607 49364992
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 960    498    9899798528 .960 .627 49737728
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 962    499    10627534848 .953 .626 48254976
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 962    495    10925940736 .969 .617 48840704
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 962    499    9806790656 1.04  .649 48177152
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 962    498    9831755776 .953 .630 48361472
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 961    500    9950543872 1.20  .779 49250304
eca-rers2012/Problem15_label00_false-unreach-call.c 928    469    12487507968 1.31  .808 63217664
eca-rers2012/Problem15_label02_false-unreach-call.c 816    409    14999998464 .907 .576 46231552
eca-rers2012/Problem15_label03_false-unreach-call.c 923    468    12471083008 1.52  .901 64802816
eca-rers2012/Problem15_label07_false-unreach-call.c 927    469    13957341184 1.46  .891 63537152
eca-rers2012/Problem15_label09_false-unreach-call.c 597    299    14999998464 .884 .586 45633536
eca-rers2012/Problem15_label14_false-unreach-call.c 925    467    14180679680 1.33  .805 64188416
eca-rers2012/Problem15_label15_false-unreach-call.c 926    468    13929283584 1.37  .854 65433600
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 790    396    14999998464 .893 .580 46804992
eca-rers2012/Problem15_label22_false-unreach-call.c 928    470    12603006976 1.49  .889 63664128
eca-rers2012/Problem15_label23_false-unreach-call.c 926    467    13738307584 1.58  .977 65454080
eca-rers2012/Problem15_label25_false-unreach-call.c 802    402    14999998464 .926 .596 46190592
eca-rers2012/Problem15_label29_false-unreach-call.c 929    470    12583911424 1.38  .829 64937984
eca-rers2012/Problem15_label30_false-unreach-call.c 932    472    12497424384 1.35  .812 60743680
eca-rers2012/Problem15_label33_false-unreach-call.c 923    468    14309662720 1.46  .878 63991808
eca-rers2012/Problem15_label34_false-unreach-call.c 726    364    14999998464 .899 .572 46239744
eca-rers2012/Problem15_label37_false-unreach-call.c 897    449    14999998464 .902 .590 47775744
eca-rers2012/Problem15_label38_false-unreach-call.c 832    417    14999998464 1.15  .759 45883392
eca-rers2012/Problem15_label39_false-unreach-call.c 926    469    12582342656 1.63  .995 63266816
eca-rers2012/Problem15_label40_false-unreach-call.c 556    279    14999998464 .880 .567 46764032
eca-rers2012/Problem15_label41_false-unreach-call.c 806    404    14999998464 .899 .574 46673920
eca-rers2012/Problem15_label45_false-unreach-call.c 570    286    14999998464 .949 .620 46678016
eca-rers2012/Problem15_label47_false-unreach-call.c 931    471    14226407424 1.54  .946 64434176
eca-rers2012/Problem15_label48_false-unreach-call.c 637    319    14999998464 .918 .598 47194112
eca-rers2012/Problem15_label50_false-unreach-call.c 768    385    14999998464 1.10  .710 46997504
eca-rers2012/Problem15_label51_false-unreach-call.c 869    435    14999998464 .918 .592 46108672
eca-rers2012/Problem16_label00_false-unreach-call.c 961    501    6732894208 .953 .624 48836608
eca-rers2012/Problem16_label01_false-unreach-call.c 906    455    7806844928 1.36  .852 63844352
eca-rers2012/Problem16_label03_false-unreach-call.c 961    503    12885925888 .957 .611 48922624
eca-rers2012/Problem16_label04_false-unreach-call.c 961    503    14248833024 1.04  .670 50020352
eca-rers2012/Problem16_label05_false-unreach-call.c 911    458    12761264128 1.36  .820 63041536
eca-rers2012/Problem16_label06_false-unreach-call.c 961    503    12789108736 .971 .621 50565120
eca-rers2012/Problem16_label08_false-unreach-call.c 940    480    11917660160 1.37  .848 64446464
eca-rers2012/Problem16_label14_false-unreach-call.c 946    487    12990291968 1.78  1.06  65036288
eca-rers2012/Problem16_label15_false-unreach-call.c 952    486    12541288448 1.55  .941 63635456
eca-rers2012/Problem16_label18_false-unreach-call.c 961    503    12138553344 .960 .626 48504832
eca-rers2012/Problem16_label20_false-unreach-call.c 961    504    13245317120 .936 .593 48168960
eca-rers2012/Problem16_label22_false-unreach-call.c 961    503    11134611456 1.06  .683 47648768
eca-rers2012/Problem16_label27_false-unreach-call.c 961    503    13305442304 1.07  .684 48984064
eca-rers2012/Problem16_label30_false-unreach-call.c 920    464    12410843136 1.33  .799 63959040
eca-rers2012/Problem16_label31_false-unreach-call.c 945    484    12497498112 1.31  .799 65048576
eca-rers2012/Problem16_label33_false-unreach-call.c 961    500    12777541632 .912 .582 48070656
eca-rers2012/Problem16_label37_false-unreach-call.c 955    491    13826449408 1.36  .826 63021056
eca-rers2012/Problem16_label38_false-unreach-call.c 961    501    12152840192 .967 .616 49016832
eca-rers2012/Problem16_label41_false-unreach-call.c 961    497    12776538112 .917 .588 48238592
eca-rers2012/Problem16_label43_false-unreach-call.c 919    463    12098162688 1.34  .808 62623744
eca-rers2012/Problem16_label44_false-unreach-call.c 942    482    12411265024 1.41  .845 65093632
eca-rers2012/Problem16_label46_false-unreach-call.c 961    502    12121456640 .925 .585 47734784
eca-rers2012/Problem16_label51_false-unreach-call.c 962    495    10639765504 .910 .589 47681536
eca-rers2012/Problem16_label52_false-unreach-call.c 961    497    12617179136 1.37  .840 64585728
eca-rers2012/Problem16_label54_false-unreach-call.c 960    500    13502660608 1.61  .986 64638976
eca-rers2012/Problem17_label04_false-unreach-call.c 362    182    14999998464 1.15  .736 46235648
eca-rers2012/Problem17_label07_false-unreach-call.c 961    508    14921527296 .955 .606 47587328
eca-rers2012/Problem17_label09_false-unreach-call.c 795    398    14999998464 1.00  .632 47521792
eca-rers2012/Problem17_label13_false-unreach-call.c 571    286    14999998464 .883 .585 45957120
eca-rers2012/Problem17_label16_false-unreach-call.c 379    190    14999998464 .921 .598 47566848
eca-rers2012/Problem17_label20_false-unreach-call.c 897    449    14999998464 .895 .580 46444544
eca-rers2012/Problem17_label23_false-unreach-call.c 386    194    14999998464 .874 .558 46030848
eca-rers2012/Problem17_label25_false-unreach-call.c 688    345    14999998464 .951 .605 46878720
eca-rers2012/Problem17_label26_false-unreach-call.c 961    506    14877204480 .893 .579 46194688
eca-rers2012/Problem17_label30_false-unreach-call.c 400    201    14999998464 .915 .596 46530560
eca-rers2012/Problem17_label31_false-unreach-call.c 961    505    14906273792 .882 .573 46559232
eca-rers2012/Problem17_label33_false-unreach-call.c 441    221    14999998464 1.17  .753 46788608
eca-rers2012/Problem17_label34_false-unreach-call.c 506    254    14999998464 1.13  .746 45514752
eca-rers2012/Problem17_label35_false-unreach-call.c 961    505    14928707584 .890 .583 46551040
eca-rers2012/Problem17_label37_false-unreach-call.c 779    390    14999998464 .891 .570 46510080
eca-rers2012/Problem17_label40_false-unreach-call.c 565    283    14999998464 .950 .604 47529984
eca-rers2012/Problem17_label46_false-unreach-call.c 663    332    14999998464 1.02  .675 46342144
eca-rers2012/Problem17_label49_false-unreach-call.c 961    506    14896742400 .921 .612 46632960
eca-rers2012/Problem17_label50_false-unreach-call.c 635    318    14999998464 .894 .570 46772224
eca-rers2012/Problem17_label52_false-unreach-call.c 531    266    14999998464 .871 .563 46313472
eca-rers2012/Problem17_label53_false-unreach-call.c 416    209    14999998464 .959 .635 46592000
eca-rers2012/Problem17_label54_false-unreach-call.c 760    381    14999998464 .942 .633 46043136
eca-rers2012/Problem17_label55_false-unreach-call.c 961    506    14852517888 1.13  .741 46370816
eca-rers2012/Problem17_label57_false-unreach-call.c 961    509    14809952256 .903 .595 46686208
eca-rers2012/Problem18_label00_false-unreach-call.c 960    495    14565224448 .999 .655 49893376
eca-rers2012/Problem18_label01_false-unreach-call.c 785    393    14999998464 .916 .587 46571520
eca-rers2012/Problem18_label03_false-unreach-call.c 961    496    11518693376 .919 .597 48480256
eca-rers2012/Problem18_label06_false-unreach-call.c 839    420    14999998464 .890 .584 46215168
eca-rers2012/Problem18_label08_false-unreach-call.c 896    449    14999998464 .968 .634 49020928
eca-rers2012/Problem18_label09_false-unreach-call.c 961    496    13584510976 1.11  .706 48828416
eca-rers2012/Problem18_label10_false-unreach-call.c 960    497    13769310208 1.05  .679 47923200
eca-rers2012/Problem18_label12_false-unreach-call.c 962    495    13654880256 1.26  .798 48664576
eca-rers2012/Problem18_label19_false-unreach-call.c 786    393    14999998464 .938 .621 47476736
eca-rers2012/Problem18_label20_false-unreach-call.c 693    347    14999998464 .928 .623 46628864
eca-rers2012/Problem18_label25_false-unreach-call.c 789    395    14999998464 .908 .600 46505984
eca-rers2012/Problem18_label27_false-unreach-call.c 961    501    13376724992 .939 .606 48291840
eca-rers2012/Problem18_label31_false-unreach-call.c 901    451    14999998464 .887 .588 45809664
eca-rers2012/Problem18_label32_false-unreach-call.c 734    368    14999998464 .980 .624 47837184
eca-rers2012/Problem18_label33_false-unreach-call.c 732    367    14999998464 1.11  .713 46391296
eca-rers2012/Problem18_label34_false-unreach-call.c 961    496    13641412608 .952 .612 50630656
eca-rers2012/Problem18_label35_false-unreach-call.c 817    409    14999998464 1.02  .664 47439872
eca-rers2012/Problem18_label36_false-unreach-call.c 961    496    14540808192 .933 .596 48549888
eca-rers2012/Problem18_label38_false-unreach-call.c 884    443    14999998464 .989 .629 46055424
eca-rers2012/Problem18_label39_false-unreach-call.c 838    420    14999998464 .970 .623 46387200
eca-rers2012/Problem18_label45_false-unreach-call.c 790    396    14999998464 .917 .581 45895680
eca-rers2012/Problem18_label49_false-unreach-call.c 893    447    14999998464 .924 .589 46600192
eca-rers2012/Problem18_label52_false-unreach-call.c 961    509    14695370752 1.14  .757 45862912
eca-rers2012/Problem18_label55_false-unreach-call.c 961    496    13601964032 .911 .593 48476160
eca-rers2012/Problem18_label57_false-unreach-call.c 760    381    14999998464 .908 .595 46596096
eca-rers2012/Problem19_label10_false-unreach-call.c 169    85.1  14999998464 1.04  .684 46080000
eca-rers2012/Problem19_label11_false-unreach-call.c 180    90.4  14999998464 .939 .602 47063040
eca-rers2012/Problem19_label14_false-unreach-call.c 173    87.3  14999998464 1.14  .736 46485504
eca-rers2012/Problem19_label17_false-unreach-call.c 176    88.6  14999998464 .988 .644 46960640
eca-rers2012/Problem19_label18_false-unreach-call.c 178    89.6  14999998464 .884 .593 45953024
eca-rers2012/Problem19_label19_false-unreach-call.c 198    99.8  14999998464 .932 .587 46637056
eca-rers2012/Problem19_label21_false-unreach-call.c 182    91.5  14999998464 1.08  .706 46194688
eca-rers2012/Problem19_label22_false-unreach-call.c 195    98.0  14999998464 .960 .626 46673920
eca-rers2012/Problem19_label26_false-unreach-call.c 181    91.1  14999998464 .923 .584 46329856
eca-rers2012/Problem19_label27_false-unreach-call.c 188    94.6  14999998464 .894 .595 46759936
eca-rers2012/Problem19_label28_false-unreach-call.c 185    93.0  15000002560 1.13  .743 46149632
eca-rers2012/Problem19_label29_false-unreach-call.c 178    89.3  14999998464 .891 .567 46288896
eca-rers2012/Problem19_label31_false-unreach-call.c 182    91.5  14999998464 .950 .618 48062464
eca-rers2012/Problem19_label32_false-unreach-call.c 179    90.4  15000002560 .901 .590 46141440
eca-rers2012/Problem19_label41_false-unreach-call.c 195    98.2  14999998464 .915 .591 46800896
eca-rers2012/Problem19_label42_false-unreach-call.c 185    93.3  14999998464 1.04  .673 46534656
eca-rers2012/Problem19_label43_false-unreach-call.c 173    86.9  14999998464 1.07  .682 47652864
eca-rers2012/Problem19_label47_false-unreach-call.c 185    93.0  14999998464 .896 .582 45715456
eca-rers2012/Problem19_label50_false-unreach-call.c 177    88.8  14999998464 .898 .586 46301184
eca-rers2012/Problem19_label51_false-unreach-call.c 178    89.6  14999998464 1.02  .653 46211072
eca-rers2012/Problem19_label53_false-unreach-call.c 184    92.6  14999998464 .901 .603 47828992
eca-rers2012/Problem19_label55_false-unreach-call.c 185    93.0  14999998464 .904 .580 46903296
eca-rers2012/Problem19_label58_false-unreach-call.c 232    116    14999998464 .883 .598 46563328
eca-rers2012/Problem19_label59_false-unreach-call.c 176    88.7  14999998464 1.02  .663 46432256
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 14.6  7.49 525688832 1.31  .788 59707392
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 14.3  7.36 520761344 1.64  1.00  56893440
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 14.3  7.37 541519872 1.34  .839 57610240
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 12.7  6.53 621518848 1.28  .789 58163200
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 10.5  5.45 426119168 .898 .579 46260224
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 18.1  9.29 534388736 1.41  .885 55861248
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 14.5  7.46 523128832 1.19  .728 54026240
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 13.0  6.69 501305344 1.34  .829 57057280
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 13.9  7.12 514940928 1.35  .849 59199488
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 14.7  7.57 541581312 1.23  .767 58265600
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 14.4  7.40 527187968 1.65  1.01  59277312
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 14.9  7.65 537673728 1.21  .751 59105280
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 14.5  7.45 527933440 1.25  .761 57892864
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 13.3  6.84 508329984 1.28  .781 57290752
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 13.3  6.88 468873216 1.21  .762 57282560
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 10.2  5.31 428814336 .878 .566 46276608
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 13.4  6.91 510193664 1.26  .779 57950208
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 11.0  5.68 429805568 .911 .579 46927872
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 14.2  7.32 529784832 1.27  .803 57978880
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 14.5  7.43 522600448 1.25  .792 58392576
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 14.7  7.55 534773760 1.30  .800 58851328
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 13.7  7.06 530878464 1.55  .958 58613760
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 14.6  7.46 530968576 1.26  .780 58798080
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 11.9  6.12 488402944 1.19  .726 55926784
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 14.1  7.24 528166912 1.28  .781 58343424
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 13.6  7.01 516571136 1.27  .796 59568128
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 11.7  6.01 512577536 1.43  .880 56901632
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 13.7  7.07 534003712 1.23  .746 57741312
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 11.7  6.07 440692736 1.51  .934 57929728
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 13.7  7.05 535605248 1.26  .767 58560512
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 14.7  7.55 532668416 1.33  .808 55607296
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 11.9  6.15 477376512 1.20  .727 54693888
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 10.5  5.45 426954752 .956 .613 46166016
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 13.9  7.13 499552256 1.49  .907 58617856
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 12.3  6.33 507281408 1.21  .748 57769984
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 14.3  7.35 539181056 1.25  .773 58974208
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 11.1  5.74 422658048 .909 .598 46673920
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 13.3  6.86 527687680 1.38  .858 58806272
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 14.4  7.39 537411584 1.21  .747 56459264
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 15.7  8.06 517017600 1.31  .796 55058432
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 14.0  7.19 518176768 1.30  .790 59514880
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 13.7  7.05 512438272 1.31  .802 57520128
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 14.6  7.47 525148160 1.33  .830 60248064
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 13.5  6.92 521633792 1.41  .848 57544704
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 12.6  6.50 517492736 1.50  .905 57290752
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 14.9  7.66 530948096 1.25  .781 58146816
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 17.0  8.70 518901760 1.25  .781 56942592
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 11.3  5.87 425709568 1.33  .812 59420672
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 12.7  6.56 530784256 1.52  .947 60129280
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 16.3  8.39 775528448 1.41  .874 54845440
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 13.3  6.87 671272960 1.38  .872 57200640
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 13.9  7.14 701464576 1.23  .764 59179008
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 12.3  6.33 535187456 1.31  .817 58871808
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 19.2  9.76 684572672 1.18  .732 58126336
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 12.4  6.40 520470528 1.27  .796 57802752
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 17.6  9.02 696745984 1.26  .782 58073088
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 12.7  6.55 509345792 1.22  .755 56958976
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 14.0  7.20 515248128 1.27  .788 58605568
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 16.0  8.26 512954368 1.22  .750 58834944
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 14.7  7.56 530518016 1.19  .739 56487936
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 11.7  6.04 461955072 1.33  .821 58830848
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 16.3  8.35 527335424 1.21  .761 58372096
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 15.5  7.97 523169792 1.52  .939 59822080
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 14.7  7.56 502530048 1.22  .766 54767616
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 12.1  6.24 453054464 1.32  .808 60198912
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 12.1  6.23 444448768 1.57  .962 57389056
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 12.5  6.41 510529536 1.29  .792 58191872
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 19.3  9.85 708022272 1.23  .765 57921536
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 14.2  7.32 515629056 1.23  .762 56692736
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 15.8  8.12 543322112 1.25  .764 57561088
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 13.4  6.93 513130496 1.40  .857 57999360
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 12.3  6.36 504598528 1.22  .740 57942016
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 17.9  9.20 692404224 1.28  .788 58523648
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 13.2  6.80 505024512 1.28  .816 59703296
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 12.3  6.37 516427776 1.23  .772 57421824
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 11.9  6.16 430051328 1.26  .789 59449344
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 13.1  6.75 520728576 1.28  .800 57790464
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 12.6  6.47 515850240 1.19  .744 59949056
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 12.2  6.31 476520448 1.22  .758 57786368
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 20.3  10.4  665165824 1.30  .797 59527168
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 13.9  7.16 504811520 1.22  .746 56205312
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 13.8  7.12 623910912 1.29  .770 59564032
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 15.7  8.08 526512128 1.23  .768 57896960
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 11.8  6.08 446136320 1.49  .930 57737216
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 19.3  9.87 641839104 1.24  .756 58273792
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 13.9  7.14 514805760 1.25  .771 58589184
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 17.2  8.83 647983104 1.19  .748 57171968
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 13.6  7.00 510197760 1.23  .760 56578048
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 11.1  5.75 425533440 1.29  .791 58691584
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 13.2  6.81 521850880 1.32  .796 60153856
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 13.1  6.78 535392256 1.22  .757 56131584
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 13.3  6.85 619937792 1.27  .779 59502592
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 13.9  7.12 513949696 1.27  .794 59604992
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 12.8  6.61 508514304 1.28  .780 58122240
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 18.5  9.46 660561920 1.29  .808 58798080
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 13.4  6.89 509054976 1.21  .748 57348096
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 13.5  6.95 519090176 1.18  .735 58228736
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 13.2  6.82 530755584 1.21  .752 57634816
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 14.3  7.35 526974976 1.54  .956 54489088
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 11.8  6.09 477708288 1.26  .781 60178432
eca-rers2012/Problem03_label00_true-unreach-call.c 66.1  37.8  2975571968 1.42  .850 65916928
eca-rers2012/Problem03_label01_true-unreach-call.c 62.6  36.1  2941001728 1.37  .824 66318336
eca-rers2012/Problem03_label02_true-unreach-call.c 35.4  18.3  984023040 1.35  .811 61251584
eca-rers2012/Problem03_label03_true-unreach-call.c 80.5  46.1  3807109120 1.49  .893 65679360
eca-rers2012/Problem03_label04_true-unreach-call.c 64.4  36.5  3027054592 1.46  .882 66469888
eca-rers2012/Problem03_label05_true-unreach-call.c 63.5  36.4  3720736768 1.41  .856 65458176
eca-rers2012/Problem03_label06_true-unreach-call.c 33.5  17.1  969035776 1.39  .842 66183168
eca-rers2012/Problem03_label07_true-unreach-call.c 61.4  35.3  2855456768 1.48  .893 66736128
eca-rers2012/Problem03_label08_true-unreach-call.c 44.5  23.2  1295896576 1.45  .862 65953792
eca-rers2012/Problem03_label10_true-unreach-call.c 40.1  21.0  1487802368 1.41  .861 63729664
eca-rers2012/Problem03_label11_true-unreach-call.c 66.8  37.8  2915975168 1.45  .876 65417216
eca-rers2012/Problem03_label12_true-unreach-call.c 79.1  45.0  3028824064 1.44  .866 64655360
eca-rers2012/Problem03_label14_true-unreach-call.c 31.7  16.4  1033678848 1.33  .801 65581056
eca-rers2012/Problem03_label15_true-unreach-call.c 65.5  37.0  2774310912 1.36  .834 65826816
eca-rers2012/Problem03_label16_true-unreach-call.c 66.6  37.5  3102183424 1.44  .860 65904640
eca-rers2012/Problem03_label17_true-unreach-call.c 59.3  34.6  2846216192 1.42  .853 65564672
eca-rers2012/Problem03_label18_true-unreach-call.c 65.4  37.1  2836238336 1.39  .851 64593920
eca-rers2012/Problem03_label19_true-unreach-call.c 71.7  40.9  2889912320 1.41  .851 65773568
eca-rers2012/Problem03_label20_true-unreach-call.c 63.3  36.3  2954928128 1.65  1.01  65667072
eca-rers2012/Problem03_label21_true-unreach-call.c 68.6  38.9  2932142080 1.48  .897 66125824
eca-rers2012/Problem03_label22_true-unreach-call.c 57.9  31.5  2086375424 1.39  .827 65327104
eca-rers2012/Problem03_label23_true-unreach-call.c 64.8  36.9  2948743168 1.45  .880 63537152
eca-rers2012/Problem03_label24_true-unreach-call.c 41.7  22.2  1673330688 1.48  .906 66719744
eca-rers2012/Problem03_label25_true-unreach-call.c 64.4  36.9  2731675648 1.49  .912 66445312
eca-rers2012/Problem03_label29_true-unreach-call.c 39.3  20.2  939433984 1.35  .828 64638976
eca-rers2012/Problem03_label30_true-unreach-call.c 31.7  16.2  979640320 1.56  .948 63954944
eca-rers2012/Problem03_label32_true-unreach-call.c 44.7  23.9  1839181824 1.38  .842 64507904
eca-rers2012/Problem03_label33_true-unreach-call.c 31.1  16.0  955469824 1.35  .839 65236992
eca-rers2012/Problem03_label34_true-unreach-call.c 62.5  35.7  2949132288 1.46  .865 65818624
eca-rers2012/Problem03_label36_true-unreach-call.c 35.3  18.1  959438848 1.66  1.00  62951424
eca-rers2012/Problem03_label38_true-unreach-call.c 28.6  14.9  942141440 1.67  .998 66273280
eca-rers2012/Problem03_label40_true-unreach-call.c 46.7  25.3  2068578304 1.45  .864 65089536
eca-rers2012/Problem03_label41_true-unreach-call.c 46.3  24.5  1718611968 1.55  .932 64647168
eca-rers2012/Problem03_label42_true-unreach-call.c 43.5  22.9  1673084928 1.57  .956 64729088
eca-rers2012/Problem03_label44_true-unreach-call.c 64.0  36.4  2905206784 1.38  .844 66142208
eca-rers2012/Problem03_label46_true-unreach-call.c 33.8  17.5  1562038272 1.74  1.05  65093632
eca-rers2012/Problem03_label47_true-unreach-call.c 66.8  37.9  2932084736 1.43  .851 65036288
eca-rers2012/Problem03_label48_true-unreach-call.c 63.1  36.1  2884571136 1.51  .928 65769472
eca-rers2012/Problem03_label49_true-unreach-call.c 43.0  23.2  1781829632 1.63  .997 66019328
eca-rers2012/Problem03_label51_true-unreach-call.c 63.7  36.0  3058831360 1.46  .893 65179648
eca-rers2012/Problem03_label53_true-unreach-call.c 65.3  37.2  2823671808 1.39  .844 65306624
eca-rers2012/Problem03_label54_true-unreach-call.c 47.3  25.3  1699389440 1.35  .816 64380928
eca-rers2012/Problem03_label55_true-unreach-call.c 62.3  35.6  2947018752 1.44  .867 65024000
eca-rers2012/Problem03_label56_true-unreach-call.c 46.4  24.6  2191249408 1.61  .978 65183744
eca-rers2012/Problem03_label57_true-unreach-call.c 45.8  24.3  1676890112 1.54  .932 64598016
eca-rers2012/Problem03_label58_true-unreach-call.c 45.4  24.2  1754320896 1.48  .896 65548288
eca-rers2012/Problem03_label59_true-unreach-call.c 64.0  36.6  3035049984 1.38  .867 65712128
eca-rers2012/Problem04_label00_true-unreach-call.c 55.8  28.8  1691803648 1.78  1.03  88891392
eca-rers2012/Problem04_label01_true-unreach-call.c 54.1  27.8  1813049344 1.86  1.08  89096192
eca-rers2012/Problem04_label02_true-unreach-call.c 57.2  29.3  1717678080 1.80  1.06  87085056
eca-rers2012/Problem04_label03_true-unreach-call.c 54.7  28.7  1884688384 1.78  1.03  87560192
eca-rers2012/Problem04_label05_true-unreach-call.c 51.5  26.9  1683492864 1.84  1.05  89001984
eca-rers2012/Problem04_label07_true-unreach-call.c 57.6  29.5  1766412288 1.78  1.01  86949888
eca-rers2012/Problem04_label08_true-unreach-call.c 51.1  26.6  1833455616 1.81  1.04  87588864
eca-rers2012/Problem04_label10_true-unreach-call.c 52.0  27.0  2051424256 1.79  1.04  86925312
eca-rers2012/Problem04_label16_true-unreach-call.c 51.8  26.7  1797726208 1.71  .991 87543808
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 49.7  25.7  1764372480 1.88  1.10  88035328
eca-rers2012/Problem04_label21_true-unreach-call.c 51.3  27.0  1840750592 1.78  1.03  88186880
eca-rers2012/Problem04_label22_true-unreach-call.c 54.0  28.1  1990152192 1.81  1.07  88596480
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 52.4  26.8  1795366912 2.35  1.37  87646208
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 53.0  27.5  1921712128 1.73  1.02  85897216
eca-rers2012/Problem04_label25_true-unreach-call.c 57.7  29.9  1915494400 1.89  1.11  86216704
eca-rers2012/Problem04_label28_true-unreach-call.c 50.1  26.1  1724801024 1.83  1.05  88363008
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 53.6  28.2  1817272320 1.81  1.04  88158208
eca-rers2012/Problem04_label30_true-unreach-call.c 60.0  31.0  1748230144 1.71  1.01  88240128
eca-rers2012/Problem04_label33_true-unreach-call.c 68.0  35.0  1827897344 1.89  1.08  89178112
eca-rers2012/Problem04_label34_true-unreach-call.c 56.2  29.0  1929097216 1.78  1.05  88768512
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 54.6  28.3  1993531392 1.82  1.06  86630400
eca-rers2012/Problem04_label41_true-unreach-call.c 63.9  33.4  1828745216 1.76  1.00  87773184
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 56.5  28.8  2509484032 1.89  1.07  87793664
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 54.6  28.1  2071601152 1.79  1.03  87318528
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 60.1  31.0  1764864000 1.81  1.04  87867392
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 55.3  28.9  1878458368 1.80  1.03  87785472
eca-rers2012/Problem04_label47_true-unreach-call.c 56.2  29.2  1926733824 1.93  1.13  87633920
eca-rers2012/Problem04_label48_true-unreach-call.c 59.8  31.1  1927557120 1.92  1.11  87859200
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 57.4  29.6  1615675392 2.27  1.31  87724032
eca-rers2012/Problem04_label50_true-unreach-call.c 53.7  27.9  1824550912 1.94  1.15  88829952
eca-rers2012/Problem04_label51_true-unreach-call.c 55.4  28.4  1893347328 2.11  1.23  88338432
eca-rers2012/Problem04_label53_true-unreach-call.c 59.1  30.2  1660035072 1.91  1.11  88424448
eca-rers2012/Problem04_label54_true-unreach-call.c 54.8  28.4  1859026944 1.85  1.08  88432640
eca-rers2012/Problem04_label56_true-unreach-call.c 53.5  28.0  1833451520 1.96  1.13  89325568
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 52.5  27.2  1700241408 1.79  1.03  87674880
eca-rers2012/Problem04_label59_true-unreach-call.c 69.4  36.1  1875374080 1.77  1.04  88412160
eca-rers2012/Problem05_label02_true-unreach-call.c 961    617    6397820928 .953 .604 48603136
eca-rers2012/Problem05_label03_true-unreach-call.c 542    364    5343883264 2.18  1.24  127692800
eca-rers2012/Problem05_label04_true-unreach-call.c 961    595    6260502528 .919 .594 48078848
eca-rers2012/Problem05_label05_true-unreach-call.c 960    575    6212452352 .914 .605 48803840
eca-rers2012/Problem05_label06_true-unreach-call.c 961    610    6248239104 1.16  .761 48185344
eca-rers2012/Problem05_label07_true-unreach-call.c 961    607    6288429056 .929 .596 49561600
eca-rers2012/Problem05_label08_true-unreach-call.c 961    604    6301487104 .944 .606 49201152
eca-rers2012/Problem05_label09_true-unreach-call.c 961    619    6444490752 .961 .612 48488448
eca-rers2012/Problem05_label10_true-unreach-call.c 961    616    6231109632 .954 .628 48189440
eca-rers2012/Problem05_label12_true-unreach-call.c 961    605    6258069504 .998 .621 50434048
eca-rers2012/Problem05_label14_true-unreach-call.c 961    582    6161559552 .960 .608 48353280
eca-rers2012/Problem05_label16_true-unreach-call.c 961    579    6323937280 1.08  .684 48136192
eca-rers2012/Problem05_label17_true-unreach-call.c 961    614    6575603712 1.00  .638 49688576
eca-rers2012/Problem05_label19_true-unreach-call.c 191    110    4292800512 2.27  1.26  126873600
eca-rers2012/Problem05_label20_true-unreach-call.c 961    594    6192590848 .948 .604 49553408
eca-rers2012/Problem05_label21_true-unreach-call.c 961    607    6430957568 1.07  .686 48029696
eca-rers2012/Problem05_label22_true-unreach-call.c 961    600    6346477568 1.16  .757 48488448
eca-rers2012/Problem05_label23_true-unreach-call.c 961    619    6559580160 .983 .629 49119232
eca-rers2012/Problem05_label25_true-unreach-call.c 961    603    6248075264 .989 .641 48910336
eca-rers2012/Problem05_label27_true-unreach-call.c 960    617    6541123584 1.01  .637 49795072
eca-rers2012/Problem05_label28_true-unreach-call.c 483    315    4896526336 2.33  1.32  127410176
eca-rers2012/Problem05_label29_true-unreach-call.c 755    533    5719789568 2.27  1.29  127852544
eca-rers2012/Problem05_label31_true-unreach-call.c 202    116    4285173760 2.21  1.25  127778816
eca-rers2012/Problem05_label34_true-unreach-call.c 136    73.6  3964792832 2.17  1.23  126132224
eca-rers2012/Problem05_label35_true-unreach-call.c 374    239    4840030208 2.25  1.28  126881792
eca-rers2012/Problem05_label42_true-unreach-call.c 961    611    6342868992 .938 .623 49225728
eca-rers2012/Problem05_label43_true-unreach-call.c 469    310    5324115968 2.18  1.24  126763008
eca-rers2012/Problem05_label45_true-unreach-call.c 88.7  47.5  3303460864 2.59  1.48  127426560
eca-rers2012/Problem05_label46_true-unreach-call.c 221    127    4322045952 2.68  1.49  126738432
eca-rers2012/Problem05_label49_true-unreach-call.c 148    81.6  3987877888 2.28  1.30  127754240
eca-rers2012/Problem05_label50_true-unreach-call.c 961    597    6223425536 .978 .644 48570368
eca-rers2012/Problem05_label52_true-unreach-call.c 961    599    6443409408 .976 .628 49102848
eca-rers2012/Problem05_label53_true-unreach-call.c 120    65.4  3963244544 2.25  1.29  126754816
eca-rers2012/Problem05_label54_true-unreach-call.c 961    591    6407725056 .937 .601 49516544
eca-rers2012/Problem05_label56_true-unreach-call.c 961    623    6376767488 .932 .609 48717824
eca-rers2012/Problem05_label59_true-unreach-call.c 130    71.6  4027875328 2.28  1.29  127451136
eca-rers2012/Problem06_label03_true-unreach-call.c 960    681    6792085504 .921 .592 48058368
eca-rers2012/Problem06_label06_true-unreach-call.c 961    694    6879420416 .945 .600 49639424
eca-rers2012/Problem06_label07_true-unreach-call.c 961    692    6941954048 .951 .605 48291840
eca-rers2012/Problem06_label08_true-unreach-call.c 961    696    6953594880 .968 .630 49242112
eca-rers2012/Problem06_label13_true-unreach-call.c 961    686    6812356608 .939 .611 48431104
eca-rers2012/Problem06_label14_true-unreach-call.c 961    695    6849089536 .973 .628 49217536
eca-rers2012/Problem06_label16_true-unreach-call.c 960    697    7034847232 .948 .603 48513024
eca-rers2012/Problem06_label17_true-unreach-call.c 961    692    6982295552 .923 .607 48635904
eca-rers2012/Problem06_label18_true-unreach-call.c 961    686    6575800320 1.22  .797 48455680
eca-rers2012/Problem06_label19_true-unreach-call.c 960    695    6997790720 .910 .598 48738304
eca-rers2012/Problem06_label22_true-unreach-call.c 961    695    7012429824 .966 .627 48259072
eca-rers2012/Problem06_label23_true-unreach-call.c 960    692    6858104832 .917 .595 48263168
eca-rers2012/Problem06_label25_true-unreach-call.c 961    695    6984544256 1.02  .657 49135616
eca-rers2012/Problem06_label26_true-unreach-call.c 961    695    6990098432 .940 .610 49111040
eca-rers2012/Problem06_label28_true-unreach-call.c 961    696    7044915200 .955 .612 48820224
eca-rers2012/Problem06_label30_true-unreach-call.c 961    679    6623703040 .964 .616 48181248
eca-rers2012/Problem06_label31_true-unreach-call.c 961    669    6571630592 .949 .624 48812032
eca-rers2012/Problem06_label32_true-unreach-call.c 961    692    6933131264 .927 .588 48373760
eca-rers2012/Problem06_label34_true-unreach-call.c 961    684    6753951744 1.04  .678 48988160
eca-rers2012/Problem06_label35_true-unreach-call.c 960    687    6754680832 1.03  .652 47689728
eca-rers2012/Problem06_label39_true-unreach-call.c 961    688    6867066880 .905 .597 47730688
eca-rers2012/Problem06_label40_true-unreach-call.c 962    667    6501789696 .965 .634 49369088
eca-rers2012/Problem06_label41_true-unreach-call.c 960    692    6970335232 1.21  .779 48758784
eca-rers2012/Problem06_label42_true-unreach-call.c 961    670    6727860224 .907 .593 47554560
eca-rers2012/Problem06_label43_true-unreach-call.c 961    699    7042797568 .938 .602 47923200
eca-rers2012/Problem06_label45_true-unreach-call.c 961    698    6938451968 1.15  .761 49242112
eca-rers2012/Problem06_label46_true-unreach-call.c 961    685    6726733824 1.26  .822 49295360
eca-rers2012/Problem06_label49_true-unreach-call.c 961    679    6783762432 .966 .635 48807936
eca-rers2012/Problem06_label50_true-unreach-call.c 960    688    6931116032 .965 .623 49876992
eca-rers2012/Problem06_label51_true-unreach-call.c 961    684    6890102784 .951 .606 49176576
eca-rers2012/Problem06_label52_true-unreach-call.c 961    689    6918721536 1.07  .684 47669248
eca-rers2012/Problem06_label53_true-unreach-call.c 960    693    6871437312 .964 .611 49008640
eca-rers2012/Problem06_label54_true-unreach-call.c 961    688    7003131904 .950 .601 49090560
eca-rers2012/Problem06_label55_true-unreach-call.c 961    680    6837571584 .926 .598 48443392
eca-rers2012/Problem06_label57_true-unreach-call.c 94.5  53.9  3589902336 2.06  1.17  107761664
eca-rers2012/Problem07_label00_true-unreach-call.c 726    464    7525904384 9.64  5.25  847163392
eca-rers2012/Problem07_label01_true-unreach-call.c 671    435    8226824192 10.5   5.68  848519168
eca-rers2012/Problem07_label02_true-unreach-call.c 670    437    7468662784 10.1   5.48  847257600
eca-rers2012/Problem07_label04_true-unreach-call.c 594    390    6001041408 10.6   5.75  848027648
eca-rers2012/Problem07_label08_true-unreach-call.c 637    416    6153482240 10.0   5.43  847712256
eca-rers2012/Problem07_label10_true-unreach-call.c 644    417    7455703040 11.2   6.01  847372288
eca-rers2012/Problem07_label12_true-unreach-call.c 802    514    6941904896 12.5   6.76  846000128
eca-rers2012/Problem07_label13_true-unreach-call.c 719    467    6992519168 9.47  5.14  845778944
eca-rers2012/Problem07_label14_true-unreach-call.c 666    432    6817398784 9.81  5.34  848138240
eca-rers2012/Problem07_label16_true-unreach-call.c 705    453    7503908864 12.0   6.44  847392768
eca-rers2012/Problem07_label17_true-unreach-call.c 698    466    6149627904 9.74  5.29  847986688
eca-rers2012/Problem07_label21_true-unreach-call.c 662    432    6139949056 9.75  5.31  848519168
eca-rers2012/Problem07_label22_true-unreach-call.c 639    418    6120701952 9.76  5.32  846753792
eca-rers2012/Problem07_label24_true-unreach-call.c 624    405    6978347008 10.2   5.49  852180992
eca-rers2012/Problem07_label25_true-unreach-call.c 647    422    6145019904 10.2   5.58  848961536
eca-rers2012/Problem07_label26_true-unreach-call.c 693    447    7477456896 10.5   5.69  848728064
eca-rers2012/Problem07_label27_true-unreach-call.c 727    465    7492067328 10.0   5.42  847986688
eca-rers2012/Problem07_label28_true-unreach-call.c 724    474    7507410944 9.71  5.27  847933440
eca-rers2012/Problem07_label29_true-unreach-call.c 606    394    6191542272 9.64  5.26  847441920
eca-rers2012/Problem07_label32_true-unreach-call.c 606    400    6147661824 9.79  5.31  847892480
eca-rers2012/Problem07_label33_true-unreach-call.c 630    410    6122995712 9.94  5.39  847708160
eca-rers2012/Problem07_label34_true-unreach-call.c 692    450    6126776320 9.80  5.31  846585856
eca-rers2012/Problem07_label38_true-unreach-call.c 622    408    6269407232 9.88  5.35  848523264
eca-rers2012/Problem07_label41_true-unreach-call.c 678    442    6239891456 10.3   5.60  847503360
eca-rers2012/Problem07_label43_true-unreach-call.c 721    456    8253612032 10.3   5.59  847626240
eca-rers2012/Problem07_label45_true-unreach-call.c 641    419    6208143360 9.53  5.18  849219584
eca-rers2012/Problem07_label49_true-unreach-call.c 667    435    8286793728 11.4   6.17  845131776
eca-rers2012/Problem07_label50_true-unreach-call.c 760    496    8326770688 9.54  5.19  847413248
eca-rers2012/Problem07_label51_true-unreach-call.c 684    443    8309088256 9.77  5.30  849297408
eca-rers2012/Problem07_label52_true-unreach-call.c 771    495    7374675968 9.94  5.36  852213760
eca-rers2012/Problem07_label53_true-unreach-call.c 753    489    6097989632 10.1   5.44  846884864
eca-rers2012/Problem07_label54_true-unreach-call.c 612    396    6197956608 10.3   5.57  851914752
eca-rers2012/Problem07_label55_true-unreach-call.c 655    430    6157348864 9.61  5.25  847978496
eca-rers2012/Problem07_label56_true-unreach-call.c 634    408    5995868160 9.70  5.29  848285696
eca-rers2012/Problem07_label57_true-unreach-call.c 643    421    6138195968 10.1   5.45  848650240
eca-rers2012/Problem07_label59_true-unreach-call.c 774    493    8443748352 9.93  5.38  846577664
eca-rers2012/Problem08_label00_true-unreach-call.c 961    493    10215374848 1.00  .648 46084096
eca-rers2012/Problem08_label03_true-unreach-call.c 961    489    10897580032 .902 .578 46288896
eca-rers2012/Problem08_label08_true-unreach-call.c 961    495    9693274112 .924 .593 47124480
eca-rers2012/Problem08_label09_true-unreach-call.c 962    491    11077349376 .954 .604 46022656
eca-rers2012/Problem08_label11_true-unreach-call.c 961    501    8051658752 .941 .619 49164288
eca-rers2012/Problem08_label12_true-unreach-call.c 961    503    7862337536 .983 .615 49205248
eca-rers2012/Problem08_label14_true-unreach-call.c 961    504    7645863936 .956 .620 48349184
eca-rers2012/Problem08_label16_true-unreach-call.c 961    500    8127209472 .931 .631 48922624
eca-rers2012/Problem08_label17_true-unreach-call.c 961    503    8087207936 .963 .645 51163136
eca-rers2012/Problem08_label18_true-unreach-call.c 961    499    7871426560 .984 .615 49430528
eca-rers2012/Problem08_label19_true-unreach-call.c 962    490    10522783744 .897 .588 46940160
eca-rers2012/Problem08_label20_true-unreach-call.c 962    490    9794514944 .877 .581 46571520
eca-rers2012/Problem08_label21_true-unreach-call.c 961    489    9996726272 .897 .587 45928448
eca-rers2012/Problem08_label22_true-unreach-call.c 962    491    11116871680 .973 .635 46338048
eca-rers2012/Problem08_label23_true-unreach-call.c 962    489    9114165248 .888 .588 46268416
eca-rers2012/Problem08_label27_true-unreach-call.c 962    489    10325827584 .941 .609 47984640
eca-rers2012/Problem08_label30_true-unreach-call.c 960    490    10569023488 .912 .595 46788608
eca-rers2012/Problem08_label31_true-unreach-call.c 961    505    8240259072 .942 .603 48570368
eca-rers2012/Problem08_label32_true-unreach-call.c 960    497    8180953088 1.29  .831 49623040
eca-rers2012/Problem08_label33_true-unreach-call.c 961    505    8252948480 1.08  .694 48156672
eca-rers2012/Problem08_label35_true-unreach-call.c 961    502    8011980800 .939 .615 50606080
eca-rers2012/Problem08_label36_true-unreach-call.c 960    498    8048009216 .919 .601 48549888
eca-rers2012/Problem08_label38_true-unreach-call.c 961    502    8027746304 .921 .598 48697344
eca-rers2012/Problem08_label39_true-unreach-call.c 962    492    11837870080 .919 .593 46579712
eca-rers2012/Problem08_label40_true-unreach-call.c 961    488    9662218240 .898 .576 46833664
eca-rers2012/Problem08_label41_true-unreach-call.c 962    489    9794768896 .980 .636 48889856
eca-rers2012/Problem08_label42_true-unreach-call.c 962    489    10236768256 .891 .581 46329856
eca-rers2012/Problem08_label44_true-unreach-call.c 962    492    9759342592 1.13  .721 46870528
eca-rers2012/Problem08_label45_true-unreach-call.c 962    495    11122102272 .952 .615 48095232
eca-rers2012/Problem08_label47_true-unreach-call.c 962    491    10247417856 .907 .604 46473216
eca-rers2012/Problem08_label52_true-unreach-call.c 961    497    8030695424 .934 .627 49913856
eca-rers2012/Problem08_label53_true-unreach-call.c 961    503    8102846464 .953 .595 48656384
eca-rers2012/Problem08_label54_true-unreach-call.c 961    503    8296947712 .972 .642 49025024
eca-rers2012/Problem08_label56_true-unreach-call.c 961    500    8306483200 1.09  .698 48005120
eca-rers2012/Problem08_label57_true-unreach-call.c 960    497    8146124800 .956 .619 49561600
eca-rers2012/Problem08_label58_true-unreach-call.c 961    504    8117522432 .942 .602 48107520
eca-rers2012/Problem09_label00_true-unreach-call.c 961    494    10151333888 .894 .573 47280128
eca-rers2012/Problem09_label01_true-unreach-call.c 962    491    8458051584 .920 .604 49074176
eca-rers2012/Problem09_label04_true-unreach-call.c 961    492    10823909376 .883 .571 46211072
eca-rers2012/Problem09_label05_true-unreach-call.c 962    491    9067429888 .989 .644 48664576
eca-rers2012/Problem09_label07_true-unreach-call.c 962    490    9474007040 .922 .600 46399488
eca-rers2012/Problem09_label09_true-unreach-call.c 961    496    8832602112 .965 .633 47902720
eca-rers2012/Problem09_label12_true-unreach-call.c 962    498    8290603008 .939 .608 49008640
eca-rers2012/Problem09_label13_true-unreach-call.c 961    499    8384831488 .940 .600 48013312
eca-rers2012/Problem09_label14_true-unreach-call.c 962    490    9498918912 .930 .604 46579712
eca-rers2012/Problem09_label16_true-unreach-call.c 962    492    10468601856 .904 .597 46137344
eca-rers2012/Problem09_label17_true-unreach-call.c 962    491    11242995712 .887 .567 46432256
eca-rers2012/Problem09_label18_true-unreach-call.c 962    491    10637959168 1.14  .736 47194112
eca-rers2012/Problem09_label21_true-unreach-call.c 962    494    11434991616 .998 .653 46428160
eca-rers2012/Problem09_label22_true-unreach-call.c 962    492    8652525568 .967 .629 48164864
eca-rers2012/Problem09_label23_true-unreach-call.c 961    503    8599695360 1.05  .656 49180672
eca-rers2012/Problem09_label24_true-unreach-call.c 960    498    8498806784 .930 .616 48439296
eca-rers2012/Problem09_label25_true-unreach-call.c 962    491    8415674368 .934 .604 48189440
eca-rers2012/Problem09_label26_true-unreach-call.c 960    494    8412524544 .966 .618 49037312
eca-rers2012/Problem09_label27_true-unreach-call.c 961    503    8160694272 1.12  .728 48386048
eca-rers2012/Problem09_label28_true-unreach-call.c 962    490    8424222720 .964 .627 49659904
eca-rers2012/Problem09_label29_true-unreach-call.c 962    491    8508055552 .919 .589 47628288
eca-rers2012/Problem09_label30_true-unreach-call.c 961    504    8476839936 1.03  .659 49364992
eca-rers2012/Problem09_label31_true-unreach-call.c 961    504    8800464896 .998 .640 50352128
eca-rers2012/Problem09_label33_true-unreach-call.c 962    502    8360476672 .911 .591 48058368
eca-rers2012/Problem09_label37_true-unreach-call.c 962    494    8410255360 .970 .624 48480256
eca-rers2012/Problem09_label39_true-unreach-call.c 961    498    8506454016 .942 .592 48971776
eca-rers2012/Problem09_label40_true-unreach-call.c 961    502    8413413376 .960 .614 49000448
eca-rers2012/Problem09_label42_true-unreach-call.c 961    499    8431398912 .978 .632 49483776
eca-rers2012/Problem09_label43_true-unreach-call.c 961    502    8418971648 1.19  .772 48680960
eca-rers2012/Problem09_label45_true-unreach-call.c 962    498    9652789248 1.07  .672 47161344
eca-rers2012/Problem09_label48_true-unreach-call.c 962    493    11061936128 .953 .614 47673344
eca-rers2012/Problem09_label49_true-unreach-call.c 962    490    10181996544 .921 .604 46137344
eca-rers2012/Problem09_label50_true-unreach-call.c 962    494    10730016768 1.04  .664 47181824
eca-rers2012/Problem09_label52_true-unreach-call.c 961    499    8360865792 .926 .608 48410624
eca-rers2012/Problem09_label55_true-unreach-call.c 961    504    8403460096 .947 .599 49414144
eca-rers2012/Problem09_label58_true-unreach-call.c 962    503    8718036992 .950 .598 48533504
eca-rers2012/Problem10_label00_true-unreach-call.c 29.8  15.2  1310699520 1.25  .767 57901056
eca-rers2012/Problem10_label01_true-unreach-call.c 31.6  16.1  1393254400 1.25  .776 56365056
eca-rers2012/Problem10_label02_true-unreach-call.c 31.2  15.9  1264955392 1.23  .766 56057856
eca-rers2012/Problem10_label03_true-unreach-call.c 30.5  15.5  1366794240 1.30  .805 60035072
eca-rers2012/Problem10_label04_true-unreach-call.c 28.7  14.7  1370206208 1.21  .761 57880576
eca-rers2012/Problem10_label05_true-unreach-call.c 32.7  16.6  1263677440 1.67  1.01  58605568
eca-rers2012/Problem10_label06_true-unreach-call.c 29.5  15.0  1272713216 1.27  .775 57847808
eca-rers2012/Problem10_label07_true-unreach-call.c 31.5  16.1  1464205312 1.63  .980 59932672
eca-rers2012/Problem10_label08_true-unreach-call.c 29.2  15.0  1538473984 1.49  .925 58089472
eca-rers2012/Problem10_label09_true-unreach-call.c 28.8  14.6  1354420224 1.31  .822 58331136
eca-rers2012/Problem10_label10_true-unreach-call.c 28.7  14.6  1309818880 1.47  .917 58413056
eca-rers2012/Problem10_label11_true-unreach-call.c 29.2  14.8  1291329536 1.19  .749 58478592
eca-rers2012/Problem10_label13_true-unreach-call.c 30.0  15.3  1405014016 1.21  .759 57061376
eca-rers2012/Problem10_label14_true-unreach-call.c 30.7  15.7  1352278016 1.22  .767 57323520
eca-rers2012/Problem10_label16_true-unreach-call.c 31.5  16.2  1426685952 1.22  .746 56049664
eca-rers2012/Problem10_label17_true-unreach-call.c 30.3  15.4  1315467264 1.26  .780 58724352
eca-rers2012/Problem10_label18_true-unreach-call.c 29.1  14.8  1288425472 1.25  .780 58384384
eca-rers2012/Problem10_label19_true-unreach-call.c 26.9  13.7  1292222464 1.25  .770 58478592
eca-rers2012/Problem10_label20_true-unreach-call.c 29.1  14.8  1662443520 1.27  .775 59088896
eca-rers2012/Problem10_label21_true-unreach-call.c 35.7  18.1  1317593088 1.57  .974 59002880
eca-rers2012/Problem10_label22_true-unreach-call.c 27.3  13.9  1420152832 1.36  .841 59109376
eca-rers2012/Problem10_label23_true-unreach-call.c 32.1  16.3  1314889728 1.31  .813 58552320
eca-rers2012/Problem10_label25_true-unreach-call.c 29.2  14.9  1303015424 1.46  .877 57708544
eca-rers2012/Problem10_label27_true-unreach-call.c 28.1  14.3  1322291200 1.17  .737 56733696
eca-rers2012/Problem10_label30_true-unreach-call.c 28.0  14.4  1291612160 1.43  .865 58748928
eca-rers2012/Problem10_label31_true-unreach-call.c 26.8  13.6  1149423616 1.20  .742 58769408
eca-rers2012/Problem10_label32_true-unreach-call.c 26.4  13.5  1325453312 1.51  .941 58408960
eca-rers2012/Problem10_label33_true-unreach-call.c 30.5  15.5  1337331712 1.56  .948 58122240
eca-rers2012/Problem10_label34_true-unreach-call.c 29.4  15.0  1382150144 1.25  .771 59523072
eca-rers2012/Problem10_label35_true-unreach-call.c 26.9  13.7  1215238144 1.25  .771 59510784
eca-rers2012/Problem10_label36_true-unreach-call.c 28.9  14.8  1327730688 1.25  .768 54104064
eca-rers2012/Problem10_label37_true-unreach-call.c 29.8  15.2  1247424512 1.41  .869 55537664
eca-rers2012/Problem10_label38_true-unreach-call.c 32.8  16.7  1364750336 1.23  .764 57372672
eca-rers2012/Problem10_label39_true-unreach-call.c 34.6  17.6  1332785152 1.25  .775 57221120
eca-rers2012/Problem10_label40_true-unreach-call.c 35.5  18.1  1463939072 1.29  .796 56008704
eca-rers2012/Problem10_label43_true-unreach-call.c 29.5  15.0  1313837056 1.19  .750 56143872
eca-rers2012/Problem10_label44_true-unreach-call.c 31.6  16.1  1401102336 1.21  .756 58470400
eca-rers2012/Problem10_label45_true-unreach-call.c 29.8  15.2  1318653952 1.20  .732 57122816
eca-rers2012/Problem10_label49_true-unreach-call.c 28.0  14.4  1337094144 1.21  .764 58212352
eca-rers2012/Problem10_label51_true-unreach-call.c 29.7  15.1  1296007168 1.42  .850 58269696
eca-rers2012/Problem10_label52_true-unreach-call.c 28.9  14.8  1355534336 1.50  .907 57016320
eca-rers2012/Problem10_label53_true-unreach-call.c 29.5  15.1  1295773696 1.25  .772 58527744
eca-rers2012/Problem10_label54_true-unreach-call.c 27.4  13.9  1314639872 1.51  .936 59609088
eca-rers2012/Problem10_label56_true-unreach-call.c 961    498    10520432640 .945 .604 48140288
eca-rers2012/Problem10_label59_true-unreach-call.c 66.7  34.2  2726019072 1.25  .765 58101760
eca-rers2012/Problem11_label01_true-unreach-call.c 71.2  36.2  2877345792 1.37  .832 62779392
eca-rers2012/Problem11_label02_true-unreach-call.c 937    479    11863334912 1.31  .798 59219968
eca-rers2012/Problem11_label03_true-unreach-call.c 56.5  28.6  2611068928 1.33  .812 60346368
eca-rers2012/Problem11_label04_true-unreach-call.c 51.6  26.1  2541903872 1.44  .894 59957248
eca-rers2012/Problem11_label05_true-unreach-call.c 954    495    11309703168 1.26  .778 60882944
eca-rers2012/Problem11_label06_true-unreach-call.c 394    202    9891508224 1.32  .799 61046784
eca-rers2012/Problem11_label07_true-unreach-call.c 109    57.8  5483479040 1.31  .807 60579840
eca-rers2012/Problem11_label09_true-unreach-call.c 419    218    9426939904 1.65  .998 60223488
eca-rers2012/Problem11_label10_true-unreach-call.c 185    102    6123790336 1.27  .777 62042112
eca-rers2012/Problem11_label11_true-unreach-call.c 943    482    11232534528 1.41  .868 62107648
eca-rers2012/Problem11_label12_true-unreach-call.c 136    71.3  4788383744 1.33  .821 60678144
eca-rers2012/Problem11_label13_true-unreach-call.c 54.3  27.4  2494894080 1.37  .836 60608512
eca-rers2012/Problem11_label16_true-unreach-call.c 104    54.4  4047511552 1.35  .812 59817984
eca-rers2012/Problem11_label17_true-unreach-call.c 128    67.1  4809101312 1.34  .835 61358080
eca-rers2012/Problem11_label18_true-unreach-call.c 56.9  29.5  2681311232 1.23  .760 60235776
eca-rers2012/Problem11_label19_true-unreach-call.c 603    316    6536572928 1.32  .815 61063168
eca-rers2012/Problem11_label21_true-unreach-call.c 56.0  28.5  2329391104 1.31  .787 61349888
eca-rers2012/Problem11_label22_true-unreach-call.c 936    477    11201961984 1.47  .900 60223488
eca-rers2012/Problem11_label23_true-unreach-call.c 88.1  45.5  3539578880 1.50  .920 59805696
eca-rers2012/Problem11_label24_true-unreach-call.c 955    494    12849410048 1.45  .866 61349888
eca-rers2012/Problem11_label25_true-unreach-call.c 960    497    10246930432 .921 .596 48115712
eca-rers2012/Problem11_label26_true-unreach-call.c 395    202    9351241728 1.61  .997 60764160
eca-rers2012/Problem11_label27_true-unreach-call.c 58.7  30.1  2641457152 1.26  .760 60313600
eca-rers2012/Problem11_label28_true-unreach-call.c 940    479    7981699072 1.26  .792 58089472
eca-rers2012/Problem11_label30_true-unreach-call.c 172    93.6  5358952448 1.36  .846 59785216
eca-rers2012/Problem11_label32_true-unreach-call.c 61.5  31.1  2752843776 1.36  .833 60760064
eca-rers2012/Problem11_label33_true-unreach-call.c 56.2  28.5  2469482496 1.26  .768 59936768
eca-rers2012/Problem11_label35_true-unreach-call.c 960    508    9783451648 .922 .590 46604288
eca-rers2012/Problem11_label37_true-unreach-call.c 57.2  29.0  2441515008 1.29  .788 60510208
eca-rers2012/Problem11_label38_true-unreach-call.c 58.8  30.2  2680709120 1.49  .915 60932096
eca-rers2012/Problem11_label40_true-unreach-call.c 961    500    11923935232 .973 .622 49291264
eca-rers2012/Problem11_label41_true-unreach-call.c 939    480    11512868864 1.27  .804 61362176
eca-rers2012/Problem11_label44_true-unreach-call.c 66.7  33.8  2800562176 1.31  .801 61095936
eca-rers2012/Problem11_label45_true-unreach-call.c 958    498    9793892352 1.56  .961 60788736
eca-rers2012/Problem11_label46_true-unreach-call.c 960    498    11879391232 1.30  .800 60891136
eca-rers2012/Problem11_label47_true-unreach-call.c 948    483    11486158848 1.42  .876 62140416
eca-rers2012/Problem11_label48_true-unreach-call.c 940    479    9715412992 1.32  .812 62607360
eca-rers2012/Problem11_label50_true-unreach-call.c 709    375    10013814784 1.59  .978 61444096
eca-rers2012/Problem11_label52_true-unreach-call.c 943    482    11460595712 1.43  .877 61345792
eca-rers2012/Problem11_label53_true-unreach-call.c 61.1  30.9  2496212992 1.26  .780 61284352
eca-rers2012/Problem11_label54_true-unreach-call.c 941    481    11257090048 1.30  .791 61890560
eca-rers2012/Problem11_label55_true-unreach-call.c 961    509    13589905408 .980 .632 46292992
eca-rers2012/Problem11_label56_true-unreach-call.c 961    500    11559022592 .967 .621 49016832
eca-rers2012/Problem11_label57_true-unreach-call.c 962    498    11834634240 .949 .613 48148480
eca-rers2012/Problem11_label59_true-unreach-call.c 146    80.1  4722778112 1.33  .824 62296064
eca-rers2012/Problem12_label01_true-unreach-call.c 726    430    12679704576 1.68  .984 81256448
eca-rers2012/Problem12_label02_true-unreach-call.c 961    498    14965895168 .927 .610 49971200
eca-rers2012/Problem12_label04_true-unreach-call.c 492    275    12620804096 1.67  .987 80834560
eca-rers2012/Problem12_label05_true-unreach-call.c 482    242    14999998464 .927 .591 47038464
eca-rers2012/Problem12_label09_true-unreach-call.c 480    241    14999998464 .892 .577 46780416
eca-rers2012/Problem12_label11_true-unreach-call.c 497    274    12483371008 1.70  .997 80318464
eca-rers2012/Problem12_label12_true-unreach-call.c 172    92.5  8949522432 2.08  1.23  79548416
eca-rers2012/Problem12_label14_true-unreach-call.c 837    498    12860133376 2.18  1.28  80203776
eca-rers2012/Problem12_label15_true-unreach-call.c 235    128    8833413120 1.65  .975 79728640
eca-rers2012/Problem12_label16_true-unreach-call.c 173    91.3  7957360640 1.92  1.13  80330752
eca-rers2012/Problem12_label17_true-unreach-call.c 526    298    12635172864 1.83  1.08  80691200
eca-rers2012/Problem12_label18_true-unreach-call.c 187    99.6  8961363968 1.83  1.08  80470016
eca-rers2012/Problem12_label22_true-unreach-call.c 150    79.3  7986688000 1.64  .964 79073280
eca-rers2012/Problem12_label23_true-unreach-call.c 154    82.5  8005738496 1.70  .997 80850944
eca-rers2012/Problem12_label24_true-unreach-call.c 210    114    8799232000 1.66  .963 79790080
eca-rers2012/Problem12_label26_true-unreach-call.c 166    87.8  8066273280 1.75  1.04  79118336
eca-rers2012/Problem12_label27_true-unreach-call.c 391    209    9064796160 1.86  1.07  81391616
eca-rers2012/Problem12_label29_true-unreach-call.c 163    86.6  7638003712 1.74  1.02  80355328
eca-rers2012/Problem12_label31_true-unreach-call.c 166    89.6  8083546112 1.67  .989 79159296
eca-rers2012/Problem12_label32_true-unreach-call.c 185    99.0  8290627584 1.69  .987 79556608
eca-rers2012/Problem12_label33_true-unreach-call.c 185    99.6  8488095744 1.67  .988 80011264
eca-rers2012/Problem12_label36_true-unreach-call.c 278    154    8846888960 1.77  1.04  79872000
eca-rers2012/Problem12_label41_true-unreach-call.c 482    242    14999998464 1.13  .740 45965312
eca-rers2012/Problem12_label43_true-unreach-call.c 161    86.5  8155271168 1.93  1.13  79499264
eca-rers2012/Problem12_label44_true-unreach-call.c 476    239    14999998464 .971 .629 46448640
eca-rers2012/Problem12_label45_true-unreach-call.c 207    112    8644780032 1.66  .984 79900672
eca-rers2012/Problem12_label46_true-unreach-call.c 173    91.7  7990362112 1.75  1.02  80343040
eca-rers2012/Problem12_label47_true-unreach-call.c 138    73.0  7621406720 1.71  1.00  80224256
eca-rers2012/Problem12_label49_true-unreach-call.c 149    79.0  7773908992 1.89  1.09  79683584
eca-rers2012/Problem12_label53_true-unreach-call.c 151    79.9  8111943680 1.69  .998 80846848
eca-rers2012/Problem12_label54_true-unreach-call.c 146    77.4  8008613888 1.87  1.10  79572992
eca-rers2012/Problem12_label56_true-unreach-call.c 165    86.8  7845199872 1.90  1.11  79536128
eca-rers2012/Problem12_label57_true-unreach-call.c 159    84.4  8196534272 1.61  .948 79265792
eca-rers2012/Problem12_label58_true-unreach-call.c 149    79.0  7672672256 2.10  1.23  80941056
eca-rers2012/Problem12_label59_true-unreach-call.c 462    246    9134477312 1.67  .979 81633280
eca-rers2012/Problem13_label00_true-unreach-call.c 925    467    12133175296 1.79  1.06  84865024
eca-rers2012/Problem13_label01_true-unreach-call.c 956    493    12778790912 1.82  1.07  85614592
eca-rers2012/Problem13_label02_true-unreach-call.c 323    162    14999998464 .959 .632 46886912
eca-rers2012/Problem13_label03_true-unreach-call.c 448    225    14999998464 .982 .638 46374912
eca-rers2012/Problem13_label05_true-unreach-call.c 597    374    11562405888 1.75  1.02  85315584
eca-rers2012/Problem13_label08_true-unreach-call.c 431    216    14999998464 .895 .572 46669824
eca-rers2012/Problem13_label09_true-unreach-call.c 387    195    14999998464 .906 .597 46239744
eca-rers2012/Problem13_label10_true-unreach-call.c 431    216    14999998464 1.13  .743 45740032
eca-rers2012/Problem13_label13_true-unreach-call.c 374    188    14999998464 1.02  .671 48615424
eca-rers2012/Problem13_label14_true-unreach-call.c 617    309    14999998464 .913 .608 46227456
eca-rers2012/Problem13_label15_true-unreach-call.c 364    183    14999998464 .890 .589 46522368
eca-rers2012/Problem13_label17_true-unreach-call.c 339    170    14999998464 1.14  .731 46997504
eca-rers2012/Problem13_label18_true-unreach-call.c 452    227    14999998464 .900 .585 46120960
eca-rers2012/Problem13_label20_true-unreach-call.c