Tool CPAchecker 1.7-svn 29913 CProver witness2test 0.1
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set cpaseq--reachsafety.cpaseq fshellw2t-cpaseq--reachsafety-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false --graphml-witness test/results/cpaseq--reachsafety.logfiles/cpaseq.${inputfile_name}.files/output/witness.graphml
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 961    649    8288395264 .00161 .00207 536576
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 961    659    5321494528 .00183 .00267 491520
array-examples/sorting_bubblesort_false-unreach-call_ground.i 960    659    6661308416 .00142 .00155 389120
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 962    666    6985179136 .00178 .00215 520192
array-examples/sorting_selectionsort_false-unreach-call_ground.i 961    666    7040835584 .00184 .00222 524288
array-examples/standard_allDiff2_false-unreach-call_ground.i 961    663    7944601600 .00178 .00274 487424
array-examples/standard_copy1_false-unreach-call_ground.i 934    635    6934839296 .0706  .0708  11468800
array-examples/standard_copy2_false-unreach-call_ground.i 943    639    7751450624 .0732  .0728  12152832
array-examples/standard_copy3_false-unreach-call_ground.i 943    638    8279752704 .0752  .0749  11509760
array-examples/standard_copy4_false-unreach-call_ground.i 929    632    6706860032 .0713  .0708  11390976
array-examples/standard_copy5_false-unreach-call_ground.i 932    633    8615489536 .0735  .0734  11755520
array-examples/standard_copy6_false-unreach-call_ground.i 940    636    8626196480 .0782  .0782  10989568
array-examples/standard_copy7_false-unreach-call_ground.i 935    635    8844009472 .0689  .0690  11485184
array-examples/standard_copy8_false-unreach-call_ground.i 935    635    8809566208 .0717  .0711  11894784
array-examples/standard_copy9_false-unreach-call_ground.i 932    633    8802762752 .0781  .0775  12189696
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 947    646    6667497472 .0738  .0731  11382784
array-examples/standard_init1_false-unreach-call_ground.i 958    653    8220827648 .0727  .0729  12238848
array-examples/standard_init2_false-unreach-call_ground.i 960    655    4969631744 .00198 .00246 532480
array-examples/standard_init3_false-unreach-call_ground.i 942    643    7606865920 .0712  .0948  11632640
array-examples/standard_init4_false-unreach-call_ground.i 946    645    7784382464 .0715  .0714  11362304
array-examples/standard_init5_false-unreach-call_ground.i 953    648    7731638272 .0739  .0735  12083200
array-examples/standard_init6_false-unreach-call_ground.i 954    648    8034304000 .0686  .0687  11198464
array-examples/standard_init7_false-unreach-call_ground.i 949    644    6989246464 .0726  .0728  11698176
array-examples/standard_init8_false-unreach-call_ground.i 943    642    7808016384 .0765  .0769  12013568
array-examples/standard_init9_false-unreach-call_ground.i 942    641    7567130624 .0729  .0721  10899456
array-examples/standard_minInArray_false-unreach-call_ground.i 940    638    6868541440 .0725  .0725  12103680
array-examples/standard_partition_false-unreach-call_ground.i 961    663    6976765952 .0742  .0735  11096064
array-examples/standard_running_false-unreach-call.i 925    626    7096217600 .0744  .0747  12075008
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 93.6  87.9  2171965440 .0723  .0723  11366400
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 921    624    8400105472 .0750  .0745  11501568
array-examples/relax_true-unreach-call.i 962    488    6483148800 .00168 .00208 532480
array-examples/sanfoundry_02_true-unreach-call_ground.i 961    664    6122463232 .00191 .00352 503808
array-examples/sanfoundry_10_true-unreach-call_ground.i 936    636    7865159680 .0701  .0731  11878400
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 8.06 4.99 476041216 .0893  .108   10780672
array-examples/sanfoundry_27_true-unreach-call_ground.i 928    628    6931693568 .0707  .0706  11112448
array-examples/sanfoundry_43_true-unreach-call_ground.i 93.3  88.9  2330083328 .0696  .0700  11083776
array-examples/sorting_bubblesort_true-unreach-call_ground.i 960    658    5564620800 .00343 .00453 520192
array-examples/sorting_selectionsort_true-unreach-call_ground.i 962    665    6961852416 .00166 .00204 528384
array-examples/standard_compareModified_true-unreach-call_ground.i 961    663    7528857600 .00160 .00242 417792
array-examples/standard_compare_true-unreach-call_ground.i 960    666    4826988544 .00178 .00231 524288
array-examples/standard_copy1_true-unreach-call_ground.i 936    636    6771564544 .0711  .0711  11583488
array-examples/standard_copy2_true-unreach-call_ground.i 953    645    8081428480 .0726  .0734  11681792
array-examples/standard_copy3_true-unreach-call_ground.i 929    631    6718373888 .0710  .0707  12132352
array-examples/standard_copy4_true-unreach-call_ground.i 941    639    7101087744 .0730  .0736  11075584
array-examples/standard_copy5_true-unreach-call_ground.i 939    638    8700551168 .0717  .0712  10928128
array-examples/standard_copy6_true-unreach-call_ground.i 931    632    8860438528 .0686  .0686  11653120
array-examples/standard_copy7_true-unreach-call_ground.i 945    641    9200205824 .0832  .0830  11018240
array-examples/standard_copy8_true-unreach-call_ground.i 942    639    9048924160 .0721  .0715  11063296
array-examples/standard_copy9_true-unreach-call_ground.i 938    637    9259933696 .0727  .0727  11780096
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 956    650    6650523648 .0733  .0726  11141120
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 960    651    6455558144 .00175 .00216 528384
array-examples/standard_copyInitSum_true-unreach-call_ground.i 958    650    6679261184 .0737  .0734  11399168
array-examples/standard_copyInit_true-unreach-call_ground.i 942    643    7311925248 .0735  .0916  13582336
array-examples/standard_find_true-unreach-call_ground.i 946    643    7372611584 .0706  .0704  10919936
array-examples/standard_init1_true-unreach-call_ground.i 956    651    5117095936 .0711  .0706  11755520
array-examples/standard_init2_true-unreach-call_ground.i 943    642    7613923328 .0707  .0710  11124736
array-examples/standard_init3_true-unreach-call_ground.i 946    642    6853742592 .0692  .0684  11657216
array-examples/standard_init4_true-unreach-call_ground.i 954    647    8030801920 .0744  .0743  11018240
array-examples/standard_init5_true-unreach-call_ground.i 948    643    7001821184 .0718  .0717  11010048
array-examples/standard_init6_true-unreach-call_ground.i 945    644    7512875008 .0819  .0807  11014144
array-examples/standard_init7_true-unreach-call_ground.i 946    645    7650484224 .0725  .0720  11075584
array-examples/standard_init8_true-unreach-call_ground.i 938    638    7162593280 .0723  .0718  11231232
array-examples/standard_init9_true-unreach-call_ground.i 948    646    7533072384 .0755  .0756  11743232
array-examples/standard_maxInArray_true-unreach-call_ground.i 939    638    6872154112 .0697  .0693  11018240
array-examples/standard_minInArray_true-unreach-call_ground.i 934    634    6884544512 .0731  .0728  11051008
array-examples/standard_palindrome_true-unreach-call_ground.i 959    647    7586209792 .0683  .0677  11415552
array-examples/standard_partial_init_true-unreach-call_ground.i 951    651    6475354112 .0719  .0719  12152832
array-examples/standard_partition_original_true-unreach-call_ground.i 961    666    6965407744 .00190 .00270 499712
array-examples/standard_partition_true-unreach-call_ground.i 961    666    6734184448 .00148 .00157 389120
array-examples/standard_password_true-unreach-call_ground.i 961    663    4113530880 .00169 .00206 520192
array-examples/standard_reverse_true-unreach-call_ground.i 941    638    8105078784 .0734  .0732  12173312
array-examples/standard_running_true-unreach-call.i 928    626    7074115584 .0720  .0718  10883072
array-examples/standard_sentinel_true-unreach-call_true-termination.i 8.53 5.14 483016704 .0674  .0672  10661888
array-examples/standard_seq_init_true-unreach-call_ground.i 950    643    7978639360 .0730  .0738  11702272
array-examples/standard_strcmp_true-unreach-call_ground.i 936    639    4241567744 .0732  .0738  10842112
array-examples/standard_strcpy_original_true-unreach-call.i 950    648    7326998528 .0689  .0681  11665408
array-examples/standard_strcpy_true-unreach-call_ground.i 940    638    7589629952 .0731  .0736  11472896
array-examples/standard_two_index_01_true-unreach-call.i 930    627    9756033024 .0944  .0940  10964992
array-examples/standard_two_index_02_true-unreach-call.i 944    640    7205335040 .0736  .0740  11685888
array-examples/standard_two_index_03_true-unreach-call.i 950    622    7282593792 .0724  .0721  11939840
array-examples/standard_two_index_04_true-unreach-call.i 950    644    7802748928 .0726  .0726  11960320
array-examples/standard_two_index_05_true-unreach-call.i 946    642    7231442944 .0708  .0714  11800576
array-examples/standard_two_index_06_true-unreach-call.i 960    622    6683267072 .0727  .0723  12251136
array-examples/standard_two_index_07_true-unreach-call.i 954    645    8240824320 .0890  .0873  10739712
array-examples/standard_two_index_08_true-unreach-call.i 952    647    6119051264 .0718  .0722  11755520
array-examples/standard_two_index_09_true-unreach-call.i 958    650    8476905472 .0739  .0735  11816960
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 929    564    4268068864 .0739  .0749  11481088
array-examples/standard_vector_difference_true-unreach-call_ground.i 961    649    6654414848 .00199 .00244 520192
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c 8.21 5.07 475422720 .0695  .0691  11288576
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 930    630    6808121344 .0733  .0731  12185600
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 932    639    7783092224 .0729  .0734  12144640
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 917    619    6711001088 .0728  .0729  12177408
array-industry-pattern/array_range_init_false-unreach-call.i 934    639    6861295616 .0673  .0671  11714560
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 922    625    7128571904 .0672  .0671  10780672
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 923    623    6832316416 .0724  .0724  11935744
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 927    627    7172632576 .0738  .0745  11882496
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 936    634    6132703232 .0776  .0777  11485184
array-industry-pattern/array_of_struct_break_true-unreach-call.i 961    592    8982016000 .00325 .00399 528384
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 914    624    7230562304 .0698  .0695  10850304
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 952    646    9227046912 .0737  .0732  11571200
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 924    632    7470260224 .0718  .0721  12173312
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 941    645    6927925248 .0711  .0712  11083776
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 920    630    6722527232 .0933  .111   11350016
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 956    651    8468766720 .0725  .0733  12230656
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 961    667    7014490112 .00520 .00610 520192
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 962    499    5796237312 .00163 .00200 405504
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 97.0  88.2  671920128 .675   .674   21381120
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 903    883    3716157440 .0728  .0732  11276288
reducercommutativity/rangesum20_false-unreach-call.i 903    876    3812995072 .0729  .0727  12136448
reducercommutativity/rangesum40_false-unreach-call.i 904    872    5746757632 .0725  .0724  11309056
reducercommutativity/rangesum60_false-unreach-call.i 904    873    7796809728 .0728  .0726  12115968
reducercommutativity/rangesum_false-unreach-call_true-termination.i 45.4  33.6  590950400 .615   .614   21090304
reducercommutativity/avg05_true-unreach-call_true-termination.i 902    889    2880163840 .0698  .0699  11444224
reducercommutativity/avg10_true-unreach-call_true-termination.i 902    886    3394838528 .0719  .0729  11526144
reducercommutativity/avg20_true-unreach-call.i 903    881    3812548608 .0700  .0696  11558912
reducercommutativity/avg40_true-unreach-call.i 903    879    5242388480 .0702  .0712  11304960
reducercommutativity/avg60_true-unreach-call.i 903    874    4900696064 .0700  .0700  11145216
reducercommutativity/avg_true-unreach-call_true-termination.i 227    214    1378824192 .00187 .00231 520192
reducercommutativity/max05_true-unreach-call_true-termination.i 180    165    2731884544 .0712  .0714  11214848
reducercommutativity/max10_true-unreach-call_true-termination.i 902    882    2750304256 .0705  .0702  11530240
reducercommutativity/max20_true-unreach-call.i 902    873    2658332672 .0721  .0722  11677696
reducercommutativity/max40_true-unreach-call.i 902    873    3337998336 .0730  .0732  11649024
reducercommutativity/max60_true-unreach-call.i 902    869    3906830336 .0729  .0725  11800576
reducercommutativity/max_true-unreach-call_true-termination.i 962    504    5310873600 .00175 .00217 520192
reducercommutativity/sep05_true-unreach-call_true-termination.i 293    256    4013105152 .0994  .0990  10952704
reducercommutativity/sep10_true-unreach-call.i 924    499    4660236288 .0712  .0706  10973184
reducercommutativity/sep20_true-unreach-call.i 906    586    4801519616 .0694  .0694  10674176
reducercommutativity/sep40_true-unreach-call.i 905    587    3809841152 .0731  .0724  12169216
reducercommutativity/sep60_true-unreach-call.i 906    608    5262581760 .0803  .0811  10919936
reducercommutativity/sep_true-unreach-call_true-termination.i 930    475    4627419136 .0751  .0748  12361728
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    887    3138670592 .0731  .0733  12066816
reducercommutativity/sum10_true-unreach-call_true-termination.i 903    883    4697083904 .0737  .0740  12017664
reducercommutativity/sum20_true-unreach-call.i 903    874    4392759296 .0726  .0726  12050432
reducercommutativity/sum40_true-unreach-call.i 909    883    5740785664 .0702  .0696  10846208
reducercommutativity/sum60_true-unreach-call.i 904    874    6832746496 .0745  .0741  12165120
reducercommutativity/sum_true-unreach-call_true-termination.i 961    502    5119307776 .00174 .00216 520192
array-tiling/mlceu_false-unreach-call.i 961    502    6456930304 .00176 .00215 528384
array-tiling/skippedu_false-unreach-call.i 4.98 2.74 275562496 .604   .604   20541440
array-tiling/mbpr2_true-unreach-call.i 961    502    5586829312 .00550 .00665 401408
array-tiling/mbpr3_true-unreach-call.i 953    492    6234124288 .0780  .0781  12046336
array-tiling/mbpr4_true-unreach-call.i 932    475    7019110400 .0808  .0810  11603968
array-tiling/mbpr5_true-unreach-call.i 920    465    6876692480 .0804  .0842  12943360
array-tiling/nr2_true-unreach-call.i 961    492    5629083648 .00182 .00225 532480
array-tiling/nr3_true-unreach-call.i 961    494    4616937472 .00186 .00268 495616
array-tiling/nr4_true-unreach-call.i 960    495    5892521984 .0733  .0739  11612160
array-tiling/nr5_true-unreach-call.i 961    500    4921663488 .00180 .00287 499712
array-tiling/pnr2_true-unreach-call.i 960    499    3873796096 .00165 .00205 401408
array-tiling/pnr3_true-unreach-call.i 960    508    6242467840 .00587 .00710 401408
array-tiling/pnr4_true-unreach-call.i 961    501    3828916224 .00156 .00179 401408
array-tiling/pnr5_true-unreach-call.i 960    509    5534859264 .00179 .00243 532480
array-tiling/poly1_true-unreach-call.i 945    579    4325699584 .0830  .0837  12005376
array-tiling/poly2_true-unreach-call.i 944    482    5335531520 .0727  .0735  11145216
array-tiling/pr2_true-unreach-call.i 961    493    4189769728 .00172 .00215 524288
array-tiling/pr3_true-unreach-call.i 961    500    3717009408 .00364 .00448 524288
array-tiling/pr4_true-unreach-call.i 941    480    3497656320 .0798  .0802  11689984
array-tiling/pr5_true-unreach-call.i 961    501    3730145280 .00195 .00265 524288
array-tiling/revcpyswp2_true-unreach-call.i 961    502    4402180096 .00176 .00295 495616
array-tiling/rew_true-unreach-call.i 961    502    4864020480 .00182 .00223 532480
array-tiling/rewnif_true-unreach-call.i 962    502    4978434048 .00211 .00257 401408
array-tiling/rewnifrev2_true-unreach-call.i 961    504    4190220288 .00141 .00153 397312
array-tiling/rewnifrev_true-unreach-call.i 961    501    4709232640 .00189 .00230 520192
array-tiling/rewrev_true-unreach-call.i 961    505    4793270272 .00162 .00197 528384
array-tiling/skipped_true-unreach-call.i 962    492    4357165056 .00185 .00225 532480
array-tiling/tcpy_true-unreach-call.i 962    495    4474830848 .00161 .00202 528384
array-programs/copysome1_false-unreach-call.i 938    638    8275030016 .103   .101   10854400
array-programs/copysome2_false-unreach-call.i 941    639    8708288512 .0744  .0743  11304960
array-programs/copysome1_true-unreach-call.i 954    647    8645308416 .0740  .0737  12222464
array-programs/copysome2_true-unreach-call.i 942    640    8610312192 .0825  .0813  10891264
array-crafted/bAnd1_true-unreach-call.i 904    872    13087821824 .0716  .0714  11313152
array-crafted/bAnd2_true-unreach-call.i 914    772    8316567552 .0706  .0703  11018240
array-crafted/bAnd3_true-unreach-call.i 944    638    7279136768 .0703  .0703  12173312
array-crafted/bAnd4_true-unreach-call.i 942    638    6899929088 .0727  .0729  12275712
array-crafted/bAnd5_true-unreach-call.i 961    501    5376569344 .00187 .00280 430080
array-crafted/bor1_true-unreach-call.i 904    871    14526058496 .0958  .0930  10809344
array-crafted/bor2_true-unreach-call.i 912    773    8353103872 .0742  .0743  11620352
array-crafted/bor3_true-unreach-call.i 950    642    7562346496 .0705  .0706  11317248
array-crafted/bor4_true-unreach-call.i 938    636    7585390592 .0732  .0725  10809344
array-crafted/bor5_true-unreach-call.i 961    502    4785848320 .00178 .00222 532480
array-crafted/mapavg1_true-unreach-call.i 904    875    6135300096 .0703  .0700  10903552
array-crafted/mapavg2_true-unreach-call.i 917    751    6623805440 .0691  .0803  11042816
array-crafted/mapavg3_true-unreach-call.i 947    640    4757868544 .0713  .0706  11497472
array-crafted/mapavg4_true-unreach-call.i 950    641    4971487232 .0737  .0731  11497472
array-crafted/mapavg5_true-unreach-call.i 210    205    763531264 .00175 .00256 503808
array-crafted/mapsum1_true-unreach-call.i 904    870    8225083392 .0706  .0702  11878400
array-crafted/mapsum2_true-unreach-call.i 916    636    6877859840 .0725  .0724  11472896
array-crafted/mapsum3_true-unreach-call.i 942    632    7520354304 .0730  .0739  10883072
array-crafted/mapsum4_true-unreach-call.i 946    638    7244554240 .0735  .0746  11894784
array-crafted/mapsum5_true-unreach-call.i 961    503    4426698752 .00183 .00225 532480
array-crafted/xor1_true-unreach-call.i 903    869    13568663552 .0719  .0724  12021760
array-crafted/xor2_true-unreach-call.i 913    693    6454595584 .0707  .0707  11427840
array-crafted/xor3_true-unreach-call.i 945    637    7256801280 .0738  .0746  11608064
array-crafted/xor4_true-unreach-call.i 946    640    8160669696 .0741  .0739  11481088
array-crafted/xor5_true-unreach-call.i 961    501    4868595712 .00153 .00172 401408
array-crafted/zero_sum1_true-unreach-call.c 912    909    9750511616 .00149 .00164 389120
array-crafted/zero_sum2_true-unreach-call.c 8.55 5.93 345399296 .00174 .00227 524288
array-crafted/zero_sum3_true-unreach-call.c 13.0  10.1  396066816 .00141 .00195 520192
array-crafted/zero_sum4_true-unreach-call.c 16.0  12.8  475086848 .00468 .00589 528384
array-crafted/zero_sum5_true-unreach-call.c 25.9  22.3  565993472 .00176 .00247 499712
array-crafted/zero_sum_const1_true-unreach-call.c 912    908    6461747200 .00175 .00259 499712
array-crafted/zero_sum_const2_true-unreach-call.c 10.9  8.26 312340480 .00157 .00194 536576
array-crafted/zero_sum_const3_true-unreach-call.c 12.2  9.17 336187392 .00186 .00232 524288
array-crafted/zero_sum_const4_true-unreach-call.c 15.5  12.1  397160448 .00181 .00224 528384
array-crafted/zero_sum_const5_true-unreach-call.c 18.4  14.9  405901312 .00189 .00232 524288
array-crafted/zero_sum_const_m2_true-unreach-call.c 912    908    9169932288 .00150 .00205 528384
array-crafted/zero_sum_const_m3_true-unreach-call.c 31.7  28.6  733704192 .00181 .00225 532480
array-crafted/zero_sum_const_m4_true-unreach-call.c 962    593    6919692288 .00180 .00218 528384
array-crafted/zero_sum_const_m5_true-unreach-call.c 912    909    1160187904 .00173 .00212 528384
array-crafted/zero_sum_m2_true-unreach-call.c 801    796    14999998464 .00195 .00249 524288
array-crafted/zero_sum_m3_true-unreach-call.c 912    909    1128775680 .00202 .00283 491520
array-crafted/zero_sum_m4_true-unreach-call.c 912    909    1853976576 .00185 .00251 524288
array-crafted/zero_sum_m5_true-unreach-call.c 912    909    12886220800 .00155 .00192 528384
array-multidimensional/add-2-n-u_true-unreach-call.i 947    635    7911522304 .0754  .0758  12255232
array-multidimensional/add-3-n-u_true-unreach-call.i 931    624    7165562880 .0748  .0763  12107776
array-multidimensional/copy-2-u_true-unreach-call.i 961    654    7014543360 .00189 .00232 405504
array-multidimensional/copy-3-n-u_true-unreach-call.i 937    628    6795800576 .0728  .0730  11669504
array-multidimensional/copy-partial-2-n-u_true-unreach-call.i 944    645    7021879296 .0750  .0742  11411456
array-multidimensional/copy-partial-3-u_true-unreach-call.i 155    143    3271368704 .0681  .0675  10776576
array-multidimensional/diff-2-n-u_true-unreach-call.i 942    632    7998324736 .0729  .0723  11776000
array-multidimensional/diff-3-n-u_true-unreach-call.i 934    625    7370551296 .0759  .0764  12292096
array-multidimensional/init-2-n-u_true-unreach-call.i 955    652    7056486400 .0735  .0745  11677696
array-multidimensional/init-3-u_true-unreach-call.i 961    657    7207788544 .0750  .0748  12173312
array-multidimensional/init-4-n-u_true-unreach-call.i 932    631    6166290432 .0693  .0692  11493376
array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i 961    503    6009417728 .00187 .00233 528384
array-multidimensional/init-non-constant-3-u_true-unreach-call.i 945    646    6902501376 .0753  .0752  11960320
array-multidimensional/max-2-u_true-unreach-call.i 950    650    6075101184 .0724  .0721  11747328
array-multidimensional/max-3-n-u_true-unreach-call.i 941    631    6599319552 .0729  .0744  11591680
array-multidimensional/min-2-u_true-unreach-call.i 950    649    7137886208 .0750  .0758  11517952
array-multidimensional/min-3-n-u_true-unreach-call.i 934    625    6629388288 .0695  .0694  11526144
array-multidimensional/rev-2-n-u_true-unreach-call.i 957    643    7195639808 .0722  .0725  11821056
array-multidimensional/rev-3-u_true-unreach-call.i 934    627    6876250112 .0749  .0746  11403264
array-multidimensional/transpose-u_true-unreach-call.i 944    640    7115550720 .0746  .0744  11362304
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 19.3  13.4  449961984 .701   .698   21164032
bitvector/sum02_false-unreach-call_true-no-overflow.i 962    580    7141519360 .00178 .00193 393216
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 14.6  8.68 485564416 .0717  .0716  11395072
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 17.1  10.6  481976320 .0739  .0731  12034048
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 9.90 7.54 292175872 .0747  .0740  11526144
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 10.3  7.93 294342656 .0719  .0732  12058624
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 103    101    308109312 .0815  .0828  10596352
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 3.25 1.81 239693824 .0666  .0668  11075584
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 12.8  7.08 448688128 .0694  .0694  11218944
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 4.45 2.47 271544320 .0697  .0690  11042816
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 5.00 2.75 276918272 .0710  .0708  12001280
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 5.53 3.06 275763200 .0804  .0794  10780672
bitvector/jain_5_true-unreach-call_true-no-overflow.i 961    650    8773910528 .00183 .00297 491520
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 4.74 2.59 277438464 .0714  .0713  12095488
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 6.57 4.26 284213248 .0738  .0739  11362304
bitvector/modulus_true-unreach-call_true-no-overflow.i 235    218    2360074240 .0692  .0689  10928128
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 3.30 1.82 244031488 .0742  .0742  10784768
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 20.9  15.5  649236480 .0720  .0716  11640832
bitvector/parity_true-unreach-call_true-no-overflow.i 610    595    10604621824 .00165 .00272 495616
bitvector/sum02_true-unreach-call_true-no-overflow.i 962    581    6781042688 .00172 .00208 532480
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 11.8  6.14 392732672 .779   .784   22196224
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 19.9  11.0  599580672 .801   .799   23490560
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 7.90 4.20 343228416 .743   .741   21733376
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 27.1  19.8  994689024 .109   .107   10665984
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 20.1  12.9  870567936 .0779  .0772  11538432
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 19.7  13.0  887521280 .0781  .0774  11243520
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 925    590    4971614208 .0875  .0868  10932224
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 27.0  18.6  960200704 .0785  .0783  11513856
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 66.8  56.8  1729179648 .0820  .0819  11874304
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 64.5  55.1  1782435840 .0773  .0780  11214848
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 23.2  16.0  881184768 .0831  .0834  11915264
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 23.6  16.4  898756608 .0789  .0795  11849728
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 14.5  8.90 456617984 .0727  .0725  11350016
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 154    136    2075066368 .0720  .0720  11689984
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 112    97.8  1928331264 .0816  .0809  10633216
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 181    177    422760448 .0735  .0734  10973184
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 153    137    2198142976 .0753  .0755  12144640
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.69 2.07 251736064 .560   .559   20127744
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 3.85 2.11 251662336 .633   .633   20238336
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 4.15 2.28 253308928 .587   .587   20168704
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 76.2  62.1  1501356032 .617   .634   21155840
bitvector-regression/signextension2_false-unreach-call_true-termination.c 3.88 2.18 252575744 .562   .563   20144128
bitvector-regression/signextension_false-unreach-call_true-termination.c 3.87 2.16 254529536 .591   .591   20291584
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2.99 1.68 237957120 .0687  .0684  10731520
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 3.17 1.74 237625344 .0692  .0689  12038144
bitvector-regression/signextension2_true-unreach-call_true-termination.c 2.93 1.64 237748224 .0683  .0679  10977280
bitvector-regression/signextension_true-unreach-call_true-termination.c 3.09 1.71 239738880 .0957  .102   11849728
bitvector-loops/diamond_false-unreach-call2.i 6.08 3.25 306425856 .590   .590   20582400
bitvector-loops/overflow_false-unreach-call1.i 957    651    8688619520 .0694  .0693  11956224
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 214    206    1218809856 .643   .648   21172224
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.78 4.66 415399936 .891   .891   21266432
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.73 3.54 270823424 .793   .792   21250048
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.54 4.50 413810688 .835   .835   21512192
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.06 3.76 322109440 .759   .759   21180416
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 9.26 4.86 402677760 .102   .101   13377536
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 100    90.4  1240510464 .0847  .0847  11640832
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 9.33 4.85 394391552 .0857  .0851  11468800
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 10.1  5.30 427925504 .0910  .0910  12349440
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.03 3.22 301477888 .0775  .0773  11911168
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.16 3.77 381153280 .0856  .0860  11743232
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 7.31 3.86 322703360 .748   .746   21667840
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 7.26 3.83 333697024 .748   .763   21491712
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 7.56 3.97 304775168 .767   .766   21721088
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 7.44 3.95 329756672 .746   .740   21491712
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 5.15 2.80 258060288 .750   .750   20688896
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 228    210    1148219392 .799   .797   22929408
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 95.1  85.9  695476224 .854   .856   22740992
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 7.51 3.98 282476544 .745   .743   21540864
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 9.67 5.16 456437760 .730   .729   21250048
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 7.35 3.89 312610816 .783   .783   22044672
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 7.43 3.95 308895744 .747   .745   21880832
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 6.06 3.25 261591040 .693   .692   20459520
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 17.7  11.0  728027136 .0775  .0771  12115968
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 18.4  11.6  690245632 .0751  .0746  11886592
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 19.4  12.5  737505280 .0806  .0799  11476992
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 17.9  11.3  717815808 .0803  .0813  12210176
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 19.0  12.2  741462016 .0879  .0845  10932224
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 4.07 2.21 243826688 .0780  .0788  10870784
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.46 1.90 243867648 .0712  .0716  10903552
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 18.8  12.0  706859008 .0787  .0782  11218944
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 18.6  12.0  726818816 .0817  .0814  11833344
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 19.5  12.2  711049216 .0807  .0805  10915840
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 102    92.1  2146410496 .101   .0994  10919936
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 54.1  44.6  1432346624 .0823  .0836  11268096
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 18.8  11.9  758902784 .0792  .0787  11931648
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 5.03 2.75 260694016 .697   .695   20996096
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 5.23 2.83 262975488 .688   .686   20955136
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 18.6  13.6  690679808 .0722  .0721  11702272
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 51.1  44.1  1376518144 .0727  .0722  11759616
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 155    147    2263379968 .0757  .0761  11857920
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 155    147    2278453248 .0700  .0695  11522048
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 154    147    2427129856 .0739  .0744  11808768
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 155    147    2465677312 .0733  .0744  11657216
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 4.88 2.67 241467392 .0695  .0704  11685888
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 4.64 2.50 250368000 .0755  .0766  11268096
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 5.33 2.84 254197760 .0715  .0715  11653120
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 7.48 3.93 369356800 .0744  .0753  11382784
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 11.3  6.68 483512320 .0745  .0747  12001280
ntdrivers/cdaudio_false-unreach-call.i.cil.c 78.6  63.8  3177852928 2.05    2.05    45891584
ntdrivers/diskperf_false-unreach-call.i.cil.c 16.3  11.2  488878080 960       960       21004288
ntdrivers/floppy_false-unreach-call.i.cil.c 11.8  6.10 423374848 960       960       21630976
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 9.74 5.07 419168256 .951   .956   21430272
ntdrivers/parport_false-unreach-call.i.cil.c 9.44 4.93 416116736 1.38    1.38    24641536
ntdrivers/cdaudio_true-unreach-call.i.cil.c 15.7  8.14 568053760 .138   .139   18137088
ntdrivers/diskperf_true-unreach-call.i.cil.c 102    90.2  1916215296 .0964  .0966  12853248
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 88.7  65.7  1885696000 .184   .183   23089152
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 49.0  30.1  1094389760 .159   .159   20242432
ntdrivers/parport_true-unreach-call.i.cil.c 124    102    3270332416 .194   .196   23695360
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 104    92.8  1988468736 .860   .857   21917696
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 127    104    2623651840 .839   .838   22261760
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 102    91.9  2620968960 .818   .815   22093824
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 95.4  84.6  2117234688 .850   .851   21721088
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 43.4  33.7  1343336448 .835   .832   21970944
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 51.3  42.3  1526075392 .841   .840   21999616
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 40.8  31.9  1323757568 .863   .862   21970944
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 44.6  34.6  1335578624 .845   .843   21913600
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 58.0  29.7  1226866688 .876   .874   23072768
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 143    112    2910449664 .884   .890   23146496
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 191    99.7  3613216768 .935   .937   24416256
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 144    113    2926129152 .887   .889   23412736
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 224    115    3115266048 .928   .926   24821760
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 102    91.6  2202472448 .828   .827   22040576
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 49.2  25.3  1245429760 .905   .906   23441408
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 150    115    3018469376 .872   .870   23224320
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 52.2  27.0  1260953600 .953   .952   23412736
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 181    93.0  2702397440 .909   .907   24932352
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 55.6  28.5  1431719936 .899   .902   23420928
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 167    143    2432733184 .0807  .0810  11726848
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 214    191    2605797376 .0854  .0868  11063296
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 188    164    2687823872 .0780  .0786  10846208
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 243    218    2598481920 .0808  .0803  11100160
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 188    143    2971934720 .0812  .0807  10940416
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 116    98.8  2611126272 .0827  .0827  11067392
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 485    337    4387930112 .0831  .0846  11755520
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 198    142    3747618816 .0796  .0791  11030528
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 154    123    3013632000 .0798  .0799  12025856
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 197    140    3736961024 .0814  .0812  11370496
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 136    110    2791833600 .0811  .0811  12062720
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 221    153    4012388352 .0794  .0794  10952704
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 353    224    4219211776 .0786  .0793  11231232
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 141    110    2815455232 .0824  .0820  11046912
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 244    174    4014440448 .0823  .0837  10973184
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 187    139    3202240512 .0797  .0794  11304960
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 413    274    4382187520 .0835  .0833  12185600
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 10.8  5.61 425828352 .861   .861   24137728
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 14.4  7.41 437989376 .845   .845   24924160
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 11.5  5.99 457396224 .878   .880   24891392
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 12.2  6.32 444657664 .837   .837   24346624
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 11.2  5.84 472707072 .859   .859   23998464
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 10.6  5.56 403705856 .825   .824   23601152
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 11.9  6.19 457449472 .857   .857   24858624
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 11.4  5.96 459145216 .855   .854   24559616
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 9.51 5.02 408195072 .852   .852   23498752
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 12.2  6.30 436625408 .845   .845   24604672
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 10.4  5.43 404553728 .859   .859   23838720
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 11.7  6.08 459042816 .850   .850   24506368
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 14.1  7.30 447463424 .904   .904   24731648
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 9.45 4.94 407965696 .872   .875   23265280
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 7.81 4.17 334262272 .794   .794   22085632
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 8.51 4.49 410759168 .781   .782   22183936
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 8.98 4.70 427962368 .817   .816   22962176
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 10.9  5.68 456523776 .838   .837   24182784
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 10.8  5.60 404807680 .836   .835   23932928
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 11.7  6.07 464633856 .832   .832   24285184
eca-rers2012/Problem03_label09_false-unreach-call.c 19.8  10.6  747782144 1.41    1.41    31715328
eca-rers2012/Problem03_label13_false-unreach-call.c 19.3  10.1  669564928 1.32    1.32    30404608
eca-rers2012/Problem03_label26_false-unreach-call.c 16.0  8.20 576225280 1.28    1.28    27779072
eca-rers2012/Problem03_label27_false-unreach-call.c 17.9  9.32 633475072 1.28    1.28    29179904
eca-rers2012/Problem03_label28_false-unreach-call.c 18.4  9.68 777543680 1.34    1.33    29523968
eca-rers2012/Problem03_label31_false-unreach-call.c 20.0  10.4  790937600 1.34    1.33    30588928
eca-rers2012/Problem03_label35_false-unreach-call.c 22.5  12.0  860762112 1.40    1.41    32489472
eca-rers2012/Problem03_label37_false-unreach-call.c 16.0  8.22 535916544 1.25    1.25    26939392
eca-rers2012/Problem03_label39_false-unreach-call.c 20.8  11.1  813350912 1.36    1.36    31334400
eca-rers2012/Problem03_label43_false-unreach-call.c 16.1  8.37 604901376 1.24    1.24    27013120
eca-rers2012/Problem03_label45_false-unreach-call.c 20.1  10.8  844050432 1.41    1.41    33148928
eca-rers2012/Problem03_label50_false-unreach-call.c 18.4  9.82 769032192 1.35    1.35    30576640
eca-rers2012/Problem03_label52_false-unreach-call.c 21.2  11.4  876220416 1.39    1.39    32808960
eca-rers2012/Problem04_label04_false-unreach-call.c 95.3  62.7  5141311488 5.31    5.32    162594816
eca-rers2012/Problem04_label06_false-unreach-call.c 286    227    5835563008 5.55    5.55    178089984
eca-rers2012/Problem04_label09_false-unreach-call.c 100    64.1  4786544640 5.32    5.32    155717632
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 95.1  61.6  4847034368 5.12    5.12    156397568
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 309    246    7104270336 5.64    5.64    188248064
eca-rers2012/Problem04_label13_false-unreach-call.c 96.0  62.6  5033709568 5.14    5.14    160935936
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 105    67.6  5139275776 5.30    5.31    165437440
eca-rers2012/Problem04_label15_false-unreach-call.c 95.2  61.0  4908326912 5.07    5.07    159084544
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 91.6  59.8  4594688000 4.85    4.85    150220800
eca-rers2012/Problem04_label18_false-unreach-call.c 299    240    5691265024 5.06    5.06    159719424
eca-rers2012/Problem04_label19_false-unreach-call.c 105    68.7  5297717248 5.72    5.72    184025088
eca-rers2012/Problem04_label26_false-unreach-call.c 245    186    6450040832 5.12    5.12    164483072
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 105    66.1  4929462272 5.17    5.17    159072256
eca-rers2012/Problem04_label31_false-unreach-call.c 105    67.8  4887212032 5.32    5.32    166809600
eca-rers2012/Problem04_label32_false-unreach-call.c 92.6  60.2  4986212352 5.17    5.17    159891456
eca-rers2012/Problem04_label35_false-unreach-call.c 98.9  63.5  4738711552 4.99    4.99    154718208
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 94.5  61.8  4623089664 5.01    5.02    158191616
eca-rers2012/Problem04_label38_false-unreach-call.c 101    65.3  4992352256 5.24    5.25    163180544
eca-rers2012/Problem04_label39_false-unreach-call.c 102    67.0  5152165888 5.33    5.33    171819008
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 106    68.3  4916256768 5.27    5.27    173531136
eca-rers2012/Problem04_label45_false-unreach-call.c 93.9  60.6  4718747648 4.96    4.96    155807744
eca-rers2012/Problem04_label52_false-unreach-call.c 235    174    6435549184 5.69    5.69    178626560
eca-rers2012/Problem04_label55_false-unreach-call.c 102    66.8  4948455424 5.25    5.26    158507008
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 99.7  65.6  5143805952 5.49    5.49    174686208
eca-rers2012/Problem05_label00_false-unreach-call.c 274    227    5439217664 6.79    6.79    173314048
eca-rers2012/Problem05_label01_false-unreach-call.c 266    222    5363675136 6.87    6.87    169144320
eca-rers2012/Problem05_label11_false-unreach-call.c 250    201    5383376896 7.25    7.25    184512512
eca-rers2012/Problem05_label13_false-unreach-call.c 276    231    5377380352 7.45    7.45    207110144
eca-rers2012/Problem05_label15_false-unreach-call.c 258    206    5470601216 7.37    7.37    188194816
eca-rers2012/Problem05_label18_false-unreach-call.c 256    204    5261365248 7.34    7.34    184987648
eca-rers2012/Problem05_label24_false-unreach-call.c 262    213    5328687104 6.58    6.59    170147840
eca-rers2012/Problem05_label26_false-unreach-call.c 279    232    5333229568 7.15    7.15    190525440
eca-rers2012/Problem05_label30_false-unreach-call.c 255    201    5309730816 6.55    6.55    167784448
eca-rers2012/Problem05_label32_false-unreach-call.c 277    222    5290397696 7.72    7.72    205180928
eca-rers2012/Problem05_label33_false-unreach-call.c 282    235    5419692032 7.21    7.22    191381504
eca-rers2012/Problem05_label36_false-unreach-call.c 255    210    5045436416 6.48    6.48    159178752
eca-rers2012/Problem05_label37_false-unreach-call.c 255    208    5548937216 7.55    7.55    194682880
eca-rers2012/Problem05_label38_false-unreach-call.c 356    304    5605593088 6.71    6.71    175927296
eca-rers2012/Problem05_label39_false-unreach-call.c 268    219    5266718720 7.48    7.48    192872448
eca-rers2012/Problem05_label40_false-unreach-call.c 276    226    5337899008 6.96    6.96    179380224
eca-rers2012/Problem05_label41_false-unreach-call.c 315    268    5416116224 6.65    6.65    170450944
eca-rers2012/Problem05_label44_false-unreach-call.c 329    278    5240012800 7.09    7.09    178761728
eca-rers2012/Problem05_label47_false-unreach-call.c 267    217    5358784512 6.96    6.96    172212224
eca-rers2012/Problem05_label48_false-unreach-call.c 291    239    5365977088 7.12    7.12    184348672
eca-rers2012/Problem05_label51_false-unreach-call.c 267    214    5277175808 7.51    7.51    204451840
eca-rers2012/Problem05_label55_false-unreach-call.c 278    225    5691645952 7.28    7.28    184438784
eca-rers2012/Problem05_label57_false-unreach-call.c 258    212    5283749888 7.15    7.15    186568704
eca-rers2012/Problem05_label58_false-unreach-call.c 271    224    5337128960 6.61    6.61    165556224
eca-rers2012/Problem06_label00_false-unreach-call.c 226    183    5593645056 4.90    4.90    88739840
eca-rers2012/Problem06_label01_false-unreach-call.c 228    185    5669715968 4.74    4.74    94732288
eca-rers2012/Problem06_label02_false-unreach-call.c 269    228    5753593856 4.91    4.91    95035392
eca-rers2012/Problem06_label04_false-unreach-call.c 254    209    5742018560 4.82    4.82    88268800
eca-rers2012/Problem06_label05_false-unreach-call.c 222    182    5379751936 4.84    4.84    87568384
eca-rers2012/Problem06_label09_false-unreach-call.c 98.8  74.2  4073472000 4.25    4.25    73068544
eca-rers2012/Problem06_label10_false-unreach-call.c 224    183    5531242496 4.41    4.41    80257024
eca-rers2012/Problem06_label11_false-unreach-call.c 230    185    5449961472 4.55    4.55    80187392
eca-rers2012/Problem06_label12_false-unreach-call.c 221    178    5333471232 4.68    4.68    86368256
eca-rers2012/Problem06_label15_false-unreach-call.c 227    185    5528276992 4.90    4.90    91328512
eca-rers2012/Problem06_label20_false-unreach-call.c 254    209    6050217984 4.40    4.40    75304960
eca-rers2012/Problem06_label21_false-unreach-call.c 254    211    5863522304 4.75    4.75    89223168
eca-rers2012/Problem06_label24_false-unreach-call.c 262    218    6135517184 4.88    4.89    87773184
eca-rers2012/Problem06_label27_false-unreach-call.c 232    189    5600591872 4.61    4.61    79736832
eca-rers2012/Problem06_label29_false-unreach-call.c 104    76.9  4410945536 4.19    4.20    72757248
eca-rers2012/Problem06_label33_false-unreach-call.c 97.4  67.7  3625205760 4.36    4.36    72683520
eca-rers2012/Problem06_label36_false-unreach-call.c 245    204    4982312960 4.64    4.65    79405056
eca-rers2012/Problem06_label37_false-unreach-call.c 249    206    5494661120 4.76    4.76    81870848
eca-rers2012/Problem06_label38_false-unreach-call.c 247    204    5568835584 4.46    4.46    79667200
eca-rers2012/Problem06_label44_false-unreach-call.c 232    189    5422346240 4.83    4.84    89739264
eca-rers2012/Problem06_label47_false-unreach-call.c 84.4  61.8  4011126784 4.30    4.30    72957952
eca-rers2012/Problem06_label48_false-unreach-call.c 237    197    5067849728 4.73    4.73    92946432
eca-rers2012/Problem06_label56_false-unreach-call.c 82.1  59.0  4039344128 4.33    4.33    72859648
eca-rers2012/Problem06_label58_false-unreach-call.c 236    193    5315203072 4.81    4.82    95719424
eca-rers2012/Problem06_label59_false-unreach-call.c 242    199    5737869312 4.69    4.70    91172864
eca-rers2012/Problem07_label03_false-unreach-call.c 961    589    9533460480 .00173 .00231 528384
eca-rers2012/Problem07_label05_false-unreach-call.c 961    593    8837480448 .00576 .00707 532480
eca-rers2012/Problem07_label06_false-unreach-call.c 961    591    8947245056 .00177 .00215 532480
eca-rers2012/Problem07_label07_false-unreach-call.c 960    592    9549152256 .00200 .00247 524288
eca-rers2012/Problem07_label09_false-unreach-call.c 962    585    9904779264 .00174 .00218 524288
eca-rers2012/Problem07_label11_false-unreach-call.c 961    583    9205239808 .00185 .00289 417792
eca-rers2012/Problem07_label15_false-unreach-call.c 962    593    9935872000 .00168 .00212 524288
eca-rers2012/Problem07_label18_false-unreach-call.c 960    604    8387072000 .00171 .00217 524288
eca-rers2012/Problem07_label19_false-unreach-call.c 961    597    8391077888 .00168 .00206 532480
eca-rers2012/Problem07_label20_false-unreach-call.c 962    579    9454284800 .00186 .00227 524288
eca-rers2012/Problem07_label23_false-unreach-call.c 962    588    9335250944 .00151 .00236 532480
eca-rers2012/Problem07_label30_false-unreach-call.c 960    589    9031589888 .00151 .00194 524288
eca-rers2012/Problem07_label31_false-unreach-call.c 961    585    8743100416 .00170 .00285 495616
eca-rers2012/Problem07_label35_false-unreach-call.c 961    616    8196149248 .00178 .00273 499712
eca-rers2012/Problem07_label36_false-unreach-call.c 962    571    9855090688 .00181 .00308 503808
eca-rers2012/Problem07_label37_false-unreach-call.c 960    592    8943628288 .00562 .00704 524288
eca-rers2012/Problem07_label39_false-unreach-call.c 961    576    9095798784 .00144 .00178 393216
eca-rers2012/Problem07_label40_false-unreach-call.c 962    580    9409228800 .00181 .00246 524288
eca-rers2012/Problem07_label42_false-unreach-call.c 961    575    9295241216 .00166 .00269 532480
eca-rers2012/Problem07_label44_false-unreach-call.c 962    575    10892898304 .00169 .00235 532480
eca-rers2012/Problem07_label46_false-unreach-call.c 960    579    9244446720 .00164 .00245 499712
eca-rers2012/Problem07_label47_false-unreach-call.c 961    578    9418629120 .00174 .00288 524288
eca-rers2012/Problem07_label48_false-unreach-call.c 960    593    8891596800 .00171 .00210 520192
eca-rers2012/Problem07_label58_false-unreach-call.c 961    587    9011138560 .00179 .00248 524288
eca-rers2012/Problem08_label01_false-unreach-call.c 962    557    11220131840 .00179 .00218 524288
eca-rers2012/Problem08_label02_false-unreach-call.c 962    553    12593819648 .00169 .00212 524288
eca-rers2012/Problem08_label04_false-unreach-call.c 962    548    10380664832 .00200 .00242 524288
eca-rers2012/Problem08_label05_false-unreach-call.c 962    551    10226180096 .00188 .00232 524288
eca-rers2012/Problem08_label06_false-unreach-call.c 962    550    10021056512 .00171 .00233 532480
eca-rers2012/Problem08_label07_false-unreach-call.c 962    550    10967334912 .00193 .00253 532480
eca-rers2012/Problem08_label10_false-unreach-call.c 962    546    11092434944 .00171 .00211 532480
eca-rers2012/Problem08_label13_false-unreach-call.c 962    553    10450640896 .00184 .00231 524288
eca-rers2012/Problem08_label15_false-unreach-call.c 962    546    10192060416 .00159 .00204 524288
eca-rers2012/Problem08_label24_false-unreach-call.c 962    542    10181246976 .00182 .00226 524288
eca-rers2012/Problem08_label25_false-unreach-call.c 962    561    10787672064 .00171 .00209 532480
eca-rers2012/Problem08_label26_false-unreach-call.c 961    572    11233595392 .00204 .00271 532480
eca-rers2012/Problem08_label28_false-unreach-call.c 962    547    10767716352 .00168 .00206 524288
eca-rers2012/Problem08_label29_false-unreach-call.c 962    548    11448406016 .00170 .00296 487424
eca-rers2012/Problem08_label34_false-unreach-call.c 960    565    10371919872 .00175 .00210 528384
eca-rers2012/Problem08_label37_false-unreach-call.c 961    573    10420649984 .00206 .00285 409600
eca-rers2012/Problem08_label43_false-unreach-call.c 962    556    10366668800 .00179 .00282 499712
eca-rers2012/Problem08_label46_false-unreach-call.c 962    548    11104276480 .00185 .00228 524288
eca-rers2012/Problem08_label48_false-unreach-call.c 962    548    11148554240 .00182 .00228 524288
eca-rers2012/Problem08_label49_false-unreach-call.c 962    551    11450032128 .00164 .00202 524288
eca-rers2012/Problem08_label50_false-unreach-call.c 962    561    12142026752 .00179 .00253 528384
eca-rers2012/Problem08_label51_false-unreach-call.c 962    549    11086196736 .00153 .00165 393216
eca-rers2012/Problem08_label55_false-unreach-call.c 962    553    10364260352 .00167 .00207 524288
eca-rers2012/Problem08_label59_false-unreach-call.c 960    572    10369777664 .00179 .00219 524288
eca-rers2012/Problem09_label02_false-unreach-call.c 962    550    11090771968 .00173 .00263 491520
eca-rers2012/Problem09_label03_false-unreach-call.c 962    551    11083440128 .00168 .00207 524288
eca-rers2012/Problem09_label06_false-unreach-call.c 962    540    11078197248 .00159 .00209 532480
eca-rers2012/Problem09_label08_false-unreach-call.c 962    542    11088932864 .00199 .00245 524288
eca-rers2012/Problem09_label10_false-unreach-call.c 961    558    11096379392 .00182 .00219 524288
eca-rers2012/Problem09_label11_false-unreach-call.c 962    539    11088666624 .00166 .00213 413696
eca-rers2012/Problem09_label15_false-unreach-call.c 961    547    11081998336 .00176 .00247 495616
eca-rers2012/Problem09_label19_false-unreach-call.c 962    540    11077193728 .00175 .00283 499712
eca-rers2012/Problem09_label20_false-unreach-call.c 962    551    11081547776 .00157 .00167 401408
eca-rers2012/Problem09_label32_false-unreach-call.c 962    544    11086393344 .00169 .00189 393216
eca-rers2012/Problem09_label34_false-unreach-call.c 962    541    11088494592 .00169 .00206 524288
eca-rers2012/Problem09_label35_false-unreach-call.c 962    538    11087970304 .00189 .00232 524288
eca-rers2012/Problem09_label36_false-unreach-call.c 961    559    11092594688 .00192 .00237 532480
eca-rers2012/Problem09_label38_false-unreach-call.c 962    541    11084558336 .00207 .00258 532480
eca-rers2012/Problem09_label41_false-unreach-call.c 962    542    11081674752 .00165 .00204 524288
eca-rers2012/Problem09_label44_false-unreach-call.c 962    543    11078160384 .00182 .00219 524288
eca-rers2012/Problem09_label46_false-unreach-call.c 960    562    11086618624 .00182 .00228 524288
eca-rers2012/Problem09_label47_false-unreach-call.c 962    544    11091271680 .00161 .00218 524288
eca-rers2012/Problem09_label51_false-unreach-call.c 962    544    11092647936 .00189 .00232 401408
eca-rers2012/Problem09_label53_false-unreach-call.c 961    561    11102683136 .00168 .00178 393216
eca-rers2012/Problem09_label54_false-unreach-call.c 962    538    11095756800 .00189 .00234 524288
eca-rers2012/Problem09_label56_false-unreach-call.c 962    539    11085701120 .00194 .00256 524288
eca-rers2012/Problem09_label57_false-unreach-call.c 962    539    11089899520 .00435 .00534 532480
eca-rers2012/Problem09_label59_false-unreach-call.c 962    542    11090731008 .00181 .00220 524288
eca-rers2012/Problem10_label12_false-unreach-call.c 12.5  6.50 443346944 .912   .914   25645056
eca-rers2012/Problem10_label15_false-unreach-call.c 15.0  7.92 612249600 .896   .895   25354240
eca-rers2012/Problem10_label24_false-unreach-call.c 16.6  8.92 584859648 .912   .911   25677824
eca-rers2012/Problem10_label26_false-unreach-call.c 15.9  8.93 786583552 .965   .965   25763840
eca-rers2012/Problem10_label28_false-unreach-call.c 14.8  7.93 612188160 .876   .876   25407488
eca-rers2012/Problem10_label29_false-unreach-call.c 17.8  9.30 576262144 .906   .908   25219072
eca-rers2012/Problem10_label41_false-unreach-call.c 10.2  5.33 448720896 .859   .860   24637440
eca-rers2012/Problem10_label42_false-unreach-call.c 9.33 4.90 417792000 .826   .826   23244800
eca-rers2012/Problem10_label46_false-unreach-call.c 7.92 4.21 322387968 .810   .810   21647360
eca-rers2012/Problem10_label47_false-unreach-call.c 11.7  6.12 458371072 .884   .885   24866816
eca-rers2012/Problem10_label48_false-unreach-call.c 15.1  8.14 591593472 .936   .939   25018368
eca-rers2012/Problem10_label50_false-unreach-call.c 14.4  7.44 449765376 .888   .901   26148864
eca-rers2012/Problem10_label55_false-unreach-call.c 11.7  6.05 465489920 .876   .878   24596480
eca-rers2012/Problem10_label57_false-unreach-call.c 14.1  7.58 612253696 .895   .894   25063424
eca-rers2012/Problem10_label58_false-unreach-call.c 15.6  8.50 582303744 .885   .885   26001408
eca-rers2012/Problem11_label00_false-unreach-call.c 16.6  8.88 589185024 1.08    1.08    27398144
eca-rers2012/Problem11_label08_false-unreach-call.c 14.5  7.63 545447936 1.06    1.06    24862720
eca-rers2012/Problem11_label14_false-unreach-call.c 12.3  6.37 461897728 1.04    1.04    25305088
eca-rers2012/Problem11_label15_false-unreach-call.c 13.8  7.20 553222144 1.00    1.00    23990272
eca-rers2012/Problem11_label20_false-unreach-call.c 18.2  10.6  840388608 1.07    1.07    26791936
eca-rers2012/Problem11_label29_false-unreach-call.c 13.2  6.79 445014016 1.09    1.11    26324992
eca-rers2012/Problem11_label31_false-unreach-call.c 16.0  8.66 590462976 1.14    1.14    26927104
eca-rers2012/Problem11_label34_false-unreach-call.c 16.4  8.76 613961728 1.08    1.08    26968064
eca-rers2012/Problem11_label36_false-unreach-call.c 13.2  6.91 571314176 .992   .992   23494656
eca-rers2012/Problem11_label39_false-unreach-call.c 18.1  10.3  858247168 1.07    1.06    26226688
eca-rers2012/Problem11_label42_false-unreach-call.c 12.3  6.35 483774464 1.07    1.07    25694208
eca-rers2012/Problem11_label43_false-unreach-call.c 13.7  7.06 571645952 1.02    1.02    24350720
eca-rers2012/Problem11_label49_false-unreach-call.c 11.4  5.92 466272256 1.02    1.02    24211456
eca-rers2012/Problem11_label51_false-unreach-call.c 15.2  8.13 631865344 1.07    1.07    25739264
eca-rers2012/Problem11_label58_false-unreach-call.c 13.7  7.17 581931008 .992   .992   24195072
eca-rers2012/Problem12_label00_false-unreach-call.c 571    435    14999998464 .00187 .00230 524288
eca-rers2012/Problem12_label03_false-unreach-call.c 597    447    14999998464 .00176 .00216 524288
eca-rers2012/Problem12_label06_false-unreach-call.c 587    442    14999998464 .00190 .00272 524288
eca-rers2012/Problem12_label07_false-unreach-call.c 569    428    14999998464 .00147 .00183 532480
eca-rers2012/Problem12_label08_false-unreach-call.c 599    449    14999998464 .00182 .00234 524288
eca-rers2012/Problem12_label10_false-unreach-call.c 577    437    14999998464 .00181 .00224 524288
eca-rers2012/Problem12_label13_false-unreach-call.c 571    435    14999998464 .00160 .00268 430080
eca-rers2012/Problem12_label19_false-unreach-call.c 606    452    14999998464 .00452 .00624 532480
eca-rers2012/Problem12_label20_false-unreach-call.c 63.8  47.4  3201388544 2.67    2.67    48623616
eca-rers2012/Problem12_label21_false-unreach-call.c 562    430    14999998464 .00420 .00511 532480
eca-rers2012/Problem12_label25_false-unreach-call.c 614    454    14999998464 .00503 .00600 413696
eca-rers2012/Problem12_label28_false-unreach-call.c 589    443    14999998464 .00172 .00208 532480
eca-rers2012/Problem12_label30_false-unreach-call.c 605    451    14999998464 .00188 .00234 524288
eca-rers2012/Problem12_label34_false-unreach-call.c 572    435    14999998464 .00174 .00207 524288
eca-rers2012/Problem12_label35_false-unreach-call.c 43.8  29.0  2576920576 2.40    2.40    48320512
eca-rers2012/Problem12_label37_false-unreach-call.c 575    436    14999998464 .00462 .00564 524288
eca-rers2012/Problem12_label38_false-unreach-call.c 571    434    14999998464 .00175 .00216 524288
eca-rers2012/Problem12_label39_false-unreach-call.c 781    540    14999998464 .00164 .00198 524288
eca-rers2012/Problem12_label40_false-unreach-call.c 583    435    14999998464 .00184 .00224 524288
eca-rers2012/Problem12_label42_false-unreach-call.c 608    454    14999998464 .00185 .00224 532480
eca-rers2012/Problem12_label48_false-unreach-call.c 573    435    14999998464 .00180 .00225 413696
eca-rers2012/Problem12_label50_false-unreach-call.c 569    432    14999998464 .00174 .00265 491520
eca-rers2012/Problem12_label51_false-unreach-call.c 570    436    14999998464 .00190 .00298 491520
eca-rers2012/Problem12_label52_false-unreach-call.c 624    460    14999998464 .00168 .00208 524288
eca-rers2012/Problem12_label55_false-unreach-call.c 78.1  58.4  3284926464 2.53    2.53    48607232
eca-rers2012/Problem13_label04_false-unreach-call.c 37.9  24.1  2037964800 3.08    3.08    62308352
eca-rers2012/Problem13_label06_false-unreach-call.c 57.8  41.2  3255185408 3.14    3.15    65441792
eca-rers2012/Problem13_label07_false-unreach-call.c 66.2  46.7  3304017920 3.08    3.08    62648320
eca-rers2012/Problem13_label11_false-unreach-call.c 51.9  35.2  2473046016 3.19    3.19    62701568
eca-rers2012/Problem13_label12_false-unreach-call.c 470    382    14999998464 .00163 .00202 524288
eca-rers2012/Problem13_label16_false-unreach-call.c 66.9  48.4  3618828288 3.20    3.20    63021056
eca-rers2012/Problem13_label19_false-unreach-call.c 453    372    14999998464 .00165 .00203 524288
eca-rers2012/Problem13_label21_false-unreach-call.c 90.8  68.3  4216320000 3.06    3.07    62590976
eca-rers2012/Problem13_label23_false-unreach-call.c 681    490    14999998464 .00180 .00255 524288
eca-rers2012/Problem13_label24_false-unreach-call.c 60.4  43.3  2986782720 3.16    3.16    62689280
eca-rers2012/Problem13_label25_false-unreach-call.c 70.5  49.6  3406057472 3.21    3.21    62496768
eca-rers2012/Problem13_label28_false-unreach-call.c 46.5  31.1  2354155520 2.91    2.91    62558208
eca-rers2012/Problem13_label29_false-unreach-call.c 66.0  48.6  3446583296 3.08    3.08    62636032
eca-rers2012/Problem13_label30_false-unreach-call.c 101    76.5  4431294464 3.38    3.38    62967808
eca-rers2012/Problem13_label32_false-unreach-call.c 66.4  48.3  3163168768 3.20    3.20    62693376
eca-rers2012/Problem13_label35_false-unreach-call.c 31.4  19.8  1512030208 3.00    3.00    62316544
eca-rers2012/Problem13_label36_false-unreach-call.c 99.6  76.9  4297756672 3.07    3.06    62603264
eca-rers2012/Problem13_label40_false-unreach-call.c 41.9  27.8  2188464128 2.95    2.95    62226432
eca-rers2012/Problem13_label43_false-unreach-call.c 644    467    14999998464 .00173 .00212 524288
eca-rers2012/Problem13_label44_false-unreach-call.c 32.4  19.8  1573736448 3.10    3.10    62332928
eca-rers2012/Problem13_label45_false-unreach-call.c 48.9  33.6  2667266048 2.98    2.98    62201856
eca-rers2012/Problem13_label48_false-unreach-call.c 47.5  31.4  2363052032 3.08    3.08    62418944
eca-rers2012/Problem13_label51_false-unreach-call.c 463    376    14999998464 .00190 .00284 430080
eca-rers2012/Problem13_label54_false-unreach-call.c 53.6  36.1  2476503040 3.26    3.26    62840832
eca-rers2012/Problem13_label58_false-unreach-call.c 466    380    14999998464 .00173 .00285 491520
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 27.3  14.2  1099804672 1.55    1.55    52944896
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 23.6  12.1  1043894272 1.45    1.47    49258496
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 23.5  12.0  817627136 1.39    1.39    43679744
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 21.9  11.3  954114048 1.43    1.43    44367872
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 26.6  13.9  1077047296 1.52    1.52    50880512
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 21.6  11.2  941809664 1.39    1.39    44503040
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 19.9  10.3  779337728 1.30    1.30    42872832
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 23.8  12.2  1033793536 1.52    1.53    47869952
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 23.1  12.1  1051242496 1.45    1.45    48648192
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 28.1  14.4  810491904 1.32    1.32    42455040
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 27.5  14.2  1114259456 1.56    1.56    51474432
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 27.4  14.3  1027473408 1.45    1.46    46129152
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 21.2  11.0  934948864 1.46    1.46    44384256
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 21.1  10.9  914407424 1.37    1.37    44150784
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 22.3  11.6  1030647808 1.41    1.41    47386624
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 21.9  11.3  953982976 1.40    1.40    44617728
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 22.3  11.7  998477824 1.41    1.41    46899200
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 25.9  13.7  1068163072 1.50    1.50    50028544
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 27.1  14.2  1043046400 1.45    1.45    48455680
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 26.2  13.7  1076125696 1.54    1.54    51597312
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 21.6  11.3  959901696 1.42    1.42    45805568
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 26.8  13.9  1073098752 1.53    1.53    50753536
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 22.3  11.5  985812992 1.43    1.44    47243264
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 20.5  10.5  784678912 1.34    1.34    43028480
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 23.3  12.1  1032179712 1.46    1.46    48562176
eca-rers2012/Problem15_label00_false-unreach-call.c 22.1  11.7  688234496 1.48    1.48    36229120
eca-rers2012/Problem15_label02_false-unreach-call.c 18.4  9.53 606986240 1.49    1.49    36376576
eca-rers2012/Problem15_label03_false-unreach-call.c 20.0  10.7  766803968 1.50    1.50    36347904
eca-rers2012/Problem15_label07_false-unreach-call.c 20.5  11.2  940539904 1.55    1.55    36347904
eca-rers2012/Problem15_label09_false-unreach-call.c 20.3  10.6  850780160 1.58    1.58    36417536
eca-rers2012/Problem15_label14_false-unreach-call.c 21.2  11.4  915574784 1.51    1.51    36278272
eca-rers2012/Problem15_label15_false-unreach-call.c 18.3  9.67 668774400 1.46    1.47    36274176
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 19.0  10.0  840409088 1.49    1.49    36319232
eca-rers2012/Problem15_label22_false-unreach-call.c 17.4  9.20 642285568 1.53    1.53    36560896
eca-rers2012/Problem15_label23_false-unreach-call.c 19.7  10.8  817016832 1.54    1.54    36478976
eca-rers2012/Problem15_label25_false-unreach-call.c 20.4  10.9  773087232 1.64    1.65    36757504
eca-rers2012/Problem15_label29_false-unreach-call.c 19.1  10.2  866545664 1.63    1.63    36417536
eca-rers2012/Problem15_label30_false-unreach-call.c 19.1  10.3  773419008 1.57    1.57    36098048
eca-rers2012/Problem15_label33_false-unreach-call.c 18.7  10.2  891297792 1.51    1.51    36384768
eca-rers2012/Problem15_label34_false-unreach-call.c 20.7  11.2  893157376 1.51    1.51    36388864
eca-rers2012/Problem15_label37_false-unreach-call.c 19.4  10.4  864198656 1.61    1.61    36438016
eca-rers2012/Problem15_label38_false-unreach-call.c 20.6  11.2  906817536 1.59    1.59    36417536
eca-rers2012/Problem15_label39_false-unreach-call.c 21.1  11.4  945926144 1.59    1.60    36503552
eca-rers2012/Problem15_label40_false-unreach-call.c 19.0  9.98 638611456 1.55    1.55    36454400
eca-rers2012/Problem15_label41_false-unreach-call.c 18.3  9.97 883388416 1.50    1.50    36356096
eca-rers2012/Problem15_label45_false-unreach-call.c 21.1  11.5  893063168 1.52    1.52    36311040
eca-rers2012/Problem15_label47_false-unreach-call.c 20.1  10.6  872071168 1.52    1.51    36384768
eca-rers2012/Problem15_label48_false-unreach-call.c 17.8  9.45 793862144 1.57    1.57    36151296
eca-rers2012/Problem15_label50_false-unreach-call.c 21.2  11.7  934588416 1.51    1.51    36343808
eca-rers2012/Problem15_label51_false-unreach-call.c 18.8  10.4  766459904 1.47    1.47    36335616
eca-rers2012/Problem16_label00_false-unreach-call.c 962    651    8086614016 .00170 .00205 401408
eca-rers2012/Problem16_label01_false-unreach-call.c 961    653    8467226624 .00175 .00215 413696
eca-rers2012/Problem16_label03_false-unreach-call.c 961    643    14380494848 .00174 .00339 491520
eca-rers2012/Problem16_label04_false-unreach-call.c 901    596    14999998464 .00186 .00226 413696
eca-rers2012/Problem16_label05_false-unreach-call.c 960    642    14072524800 .189   .189   23326720
eca-rers2012/Problem16_label06_false-unreach-call.c 961    651    14230401024 .00276 .00340 401408
eca-rers2012/Problem16_label08_false-unreach-call.c 955    642    14924136448 .204   .203   23396352
eca-rers2012/Problem16_label14_false-unreach-call.c 837    566    14999998464 .00179 .00221 524288
eca-rers2012/Problem16_label15_false-unreach-call.c 949    635    14710456320 .209   .210   23179264
eca-rers2012/Problem16_label18_false-unreach-call.c 960    640    14712225792 .00184 .00226 532480
eca-rers2012/Problem16_label20_false-unreach-call.c 948    633    14582124544 .190   .191   23412736
eca-rers2012/Problem16_label22_false-unreach-call.c 961    640    13267451904 .00175 .00254 430080
eca-rers2012/Problem16_label27_false-unreach-call.c 961    639    14671663104 .00178 .00217 528384
eca-rers2012/Problem16_label30_false-unreach-call.c 951    635    13341798400 .214   .213   23314432
eca-rers2012/Problem16_label31_false-unreach-call.c 961    643    14740840448 .190   .190   23105536
eca-rers2012/Problem16_label33_false-unreach-call.c 961    641    13973700608 .00159 .00238 454656
eca-rers2012/Problem16_label37_false-unreach-call.c 948    633    14701535232 .185   .185   23535616
eca-rers2012/Problem16_label38_false-unreach-call.c 957    639    14044549120 .185   .185   23482368
eca-rers2012/Problem16_label41_false-unreach-call.c 953    635    14715654144 .190   .191   23449600
eca-rers2012/Problem16_label43_false-unreach-call.c 960    643    14336561152 .193   .193   23388160
eca-rers2012/Problem16_label44_false-unreach-call.c 945    632    13943713792 .185   .185   23248896
eca-rers2012/Problem16_label46_false-unreach-call.c 961    649    14338265088 .00172 .00214 532480
eca-rers2012/Problem16_label51_false-unreach-call.c 961    656    13439590400 .00160 .00197 524288
eca-rers2012/Problem16_label52_false-unreach-call.c 961    657    14352941056 .00186 .00233 524288
eca-rers2012/Problem16_label54_false-unreach-call.c 961    651    13988524032 .00173 .00275 495616
eca-rers2012/Problem17_label04_false-unreach-call.c 23.6  14.5  1347284992 1.79    1.79    43933696
eca-rers2012/Problem17_label07_false-unreach-call.c 28.2  16.5  1217695744 2.10    2.10    45092864
eca-rers2012/Problem17_label09_false-unreach-call.c 26.3  15.2  1318895616 2.04    2.05    44417024
eca-rers2012/Problem17_label13_false-unreach-call.c 29.2  17.4  1489264640 2.17    2.18    44470272
eca-rers2012/Problem17_label16_false-unreach-call.c 26.4  14.7  1194897408 2.09    2.09    44453888
eca-rers2012/Problem17_label20_false-unreach-call.c 27.6  16.6  1348014080 2.06    2.06    44437504
eca-rers2012/Problem17_label23_false-unreach-call.c 24.8  15.6  1365811200 1.87    1.87    44298240
eca-rers2012/Problem17_label25_false-unreach-call.c 27.5  15.7  1145389056 2.03    2.03    44527616
eca-rers2012/Problem17_label26_false-unreach-call.c 26.8  15.8  1160253440 2.02    2.02    44449792
eca-rers2012/Problem17_label30_false-unreach-call.c 23.8  13.3  1185001472 2.01    2.01    44351488
eca-rers2012/Problem17_label31_false-unreach-call.c 22.0  12.0  820985856 1.97    1.97    44462080
eca-rers2012/Problem17_label33_false-unreach-call.c 28.6  18.0  1499815936 1.95    1.95    44228608
eca-rers2012/Problem17_label34_false-unreach-call.c 25.6  15.7  1261301760 1.91    1.91    44285952
eca-rers2012/Problem17_label35_false-unreach-call.c 22.5  12.4  887115776 2.01    2.01    44380160
eca-rers2012/Problem17_label37_false-unreach-call.c 29.0  17.8  1542770688 1.95    1.95    44216320
eca-rers2012/Problem17_label40_false-unreach-call.c 23.6  13.4  1196703744 1.95    1.95    44220416
eca-rers2012/Problem17_label46_false-unreach-call.c 23.6  13.0  1113686016 2.08    2.08    44408832
eca-rers2012/Problem17_label49_false-unreach-call.c 31.8  20.0  1470423040 2.01    2.01    44236800
eca-rers2012/Problem17_label50_false-unreach-call.c 22.7  12.6  961761280 2.10    2.10    44400640
eca-rers2012/Problem17_label52_false-unreach-call.c 23.7  13.0  996593664 2.16    2.15    44806144
eca-rers2012/Problem17_label53_false-unreach-call.c 25.8  14.9  1294245888 1.96    1.96    44306432
eca-rers2012/Problem17_label54_false-unreach-call.c 28.8  17.3  1558949888 2.15    2.15    45252608
eca-rers2012/Problem17_label55_false-unreach-call.c 27.3  15.7  1352957952 2.11    2.11    44515328
eca-rers2012/Problem17_label57_false-unreach-call.c 32.0  19.5  1596207104 2.00    2.00    44388352
eca-rers2012/Problem18_label00_false-unreach-call.c 75.4  55.1  4112596992 2.51    2.51    59080704
eca-rers2012/Problem18_label01_false-unreach-call.c 75.7  58.8  3588501504 2.45    2.45    56819712
eca-rers2012/Problem18_label03_false-unreach-call.c 49.7  33.3  2431213568 2.60    2.60    58888192
eca-rers2012/Problem18_label06_false-unreach-call.c 87.8  65.9  4035051520 2.56    2.56    62582784
eca-rers2012/Problem18_label08_false-unreach-call.c 78.8  58.3  3929944064 2.39    2.39    56897536
eca-rers2012/Problem18_label09_false-unreach-call.c 57.3  39.3  3657908224 2.49    2.50    59613184
eca-rers2012/Problem18_label10_false-unreach-call.c 73.4  53.2  4159057920 2.59    2.59    58929152
eca-rers2012/Problem18_label12_false-unreach-call.c 60.5  45.1  3187458048 2.29    2.29    51470336
eca-rers2012/Problem18_label19_false-unreach-call.c 60.1  40.7  3249541120 2.56    2.56    58806272
eca-rers2012/Problem18_label20_false-unreach-call.c 56.7  37.5  3491987456 2.76    2.77    68362240
eca-rers2012/Problem18_label25_false-unreach-call.c 56.0  39.2  3336966144 2.70    2.70    65155072
eca-rers2012/Problem18_label27_false-unreach-call.c 43.8  28.8  2597445632 2.34    2.34    54468608
eca-rers2012/Problem18_label31_false-unreach-call.c 57.1  38.7  3493986304 2.56    2.59    59027456
eca-rers2012/Problem18_label32_false-unreach-call.c 87.6  65.4  4380200960 2.62    2.62    64737280
eca-rers2012/Problem18_label33_false-unreach-call.c 61.8  41.3  3296829440 2.74    2.75    66756608
eca-rers2012/Problem18_label34_false-unreach-call.c 54.1  35.4  2725683200 2.51    2.51    59666432
eca-rers2012/Problem18_label35_false-unreach-call.c 57.2  38.9  3178450944 2.49    2.49    57839616
eca-rers2012/Problem18_label36_false-unreach-call.c 102    75.4  4553461760 2.67    2.68    60936192
eca-rers2012/Problem18_label38_false-unreach-call.c 72.1  51.7  3687088128 2.32    2.32    52183040
eca-rers2012/Problem18_label39_false-unreach-call.c 60.5  40.8  3524956160 2.40    2.40    53579776
eca-rers2012/Problem18_label45_false-unreach-call.c 57.7  38.1  2316795904 2.54    2.54    59387904
eca-rers2012/Problem18_label49_false-unreach-call.c 83.6  61.2  3803721728 2.55    2.55    61673472
eca-rers2012/Problem18_label52_false-unreach-call.c 63.5  47.0  3316539392 2.26    2.25    51277824
eca-rers2012/Problem18_label55_false-unreach-call.c 46.9  31.2  2748600320 2.47    2.47    56635392
eca-rers2012/Problem18_label57_false-unreach-call.c 56.1  39.5  3058622464 2.48    2.47    60268544
eca-rers2012/Problem19_label10_false-unreach-call.c 465    374    14999998464 .00378 .00472 524288
eca-rers2012/Problem19_label11_false-unreach-call.c 468    378    14999998464 .00177 .00225 524288
eca-rers2012/Problem19_label14_false-unreach-call.c 475    382    14999998464 .00479 .00584 524288
eca-rers2012/Problem19_label17_false-unreach-call.c 467    377    14999998464 .00223 .00270 524288
eca-rers2012/Problem19_label18_false-unreach-call.c 113    79.5  5012008960 5.63    5.66    121622528
eca-rers2012/Problem19_label19_false-unreach-call.c 469    378    14999998464 .00176 .00212 524288
eca-rers2012/Problem19_label21_false-unreach-call.c 466    377    14999998464 .00541 .00657 532480
eca-rers2012/Problem19_label22_false-unreach-call.c 471    373    14999998464 .00481 .00600 528384
eca-rers2012/Problem19_label26_false-unreach-call.c 467    379    14999998464 .00185 .00281 495616
eca-rers2012/Problem19_label27_false-unreach-call.c 473    379    14999998464 .00171 .00210 524288
eca-rers2012/Problem19_label28_false-unreach-call.c 470    378    14999998464 .00333 .00423 528384
eca-rers2012/Problem19_label29_false-unreach-call.c 469    378    14999998464 .00131 .00148 393216
eca-rers2012/Problem19_label31_false-unreach-call.c 471    380    14999998464 .00514 .00590 393216
eca-rers2012/Problem19_label32_false-unreach-call.c 466    376    14999998464 .00178 .00296 495616
eca-rers2012/Problem19_label41_false-unreach-call.c 466    378    14999998464 .00176 .00235 524288
eca-rers2012/Problem19_label42_false-unreach-call.c 469    375    14999998464 .00185 .00251 524288
eca-rers2012/Problem19_label43_false-unreach-call.c 465    376    14999998464 .00557 .00674 524288
eca-rers2012/Problem19_label47_false-unreach-call.c 467    377    14999998464 .00165 .00229 524288
eca-rers2012/Problem19_label50_false-unreach-call.c 469    377    14999998464 .00168 .00233 524288
eca-rers2012/Problem19_label51_false-unreach-call.c 475    382    14999998464 .00164 .00202 524288
eca-rers2012/Problem19_label53_false-unreach-call.c 466    375    14999998464 .00165 .00199 528384
eca-rers2012/Problem19_label55_false-unreach-call.c 470    380    14999998464 .00195 .00241 524288
eca-rers2012/Problem19_label58_false-unreach-call.c 478    385    14999998464 .00185 .00229 524288
eca-rers2012/Problem19_label59_false-unreach-call.c 464    371    14999998464 .00497 .00628 524288
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 15.1  8.10 864555008 .131   .131   16224256
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 14.8  7.96 907730944 .130   .130   16162816
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 14.2  7.75 905129984 .121   .120   16195584
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 15.4  8.20 890564608 .131   .131   16076800
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 15.0  8.04 871997440 .127   .127   16224256
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 14.8  7.97 857395200 .124   .124   16269312
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 15.9  8.54 915677184 .146   .146   16306176
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 15.2  8.17 837701632 .129   .129   16236544
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 15.5  8.32 892649472 .130   .130   16171008
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 14.3  7.88 898289664 .126   .126   16269312
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 14.4  7.90 914247680 .135   .135   16142336
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 15.5  8.24 925536256 .125   .125   16257024
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 14.6  7.94 898215936 .125   .125   16232448
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 14.8  7.97 864501760 .126   .126   16216064
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 15.4  8.26 883335168 .149   .147   16297984
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 14.6  7.90 883986432 .126   .126   15953920
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 14.8  8.00 891781120 .125   .125   16318464
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 14.6  7.96 901738496 .129   .129   16232448
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 14.9  8.08 926646272 .125   .127   16113664
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 14.6  7.93 834646016 .128   .128   16130048
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 15.3  8.13 915673088 .126   .126   16134144
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 14.5  7.89 808505344 .132   .131   16191488
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 16.2  8.52 914034688 .133   .133   16134144
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 15.1  8.11 916819968 .127   .127   16216064
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 15.3  8.23 822067200 .129   .130   16175104
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 14.4  7.80 915972096 .125   .125   16097280
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 15.7  8.47 900055040 .130   .129   16142336
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 16.1  8.45 933941248 .129   .129   16142336
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 14.6  8.00 867971072 .131   .131   16265216
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 15.1  8.14 931364864 .130   .130   16297984
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 15.1  8.12 912015360 .126   .129   16220160
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 15.3  8.25 914620416 .127   .127   16277504
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 14.4  7.85 833462272 .128   .128   16146432
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 15.7  8.33 802643968 .129   .130   16359424
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 15.4  8.20 848584704 .125   .124   16105472
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 14.4  7.91 886784000 .131   .132   16142336
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 16.5  8.62 930078720 .129   .129   16240640
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 14.8  7.98 888991744 .129   .130   16244736
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 14.6  7.91 877699072 .129   .129   16187392
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 14.5  7.85 862937088 .120   .120   16142336
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 15.0  8.14 871436288 .124   .124   16007168
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 14.7  8.03 918073344 .129   .141   16924672
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 16.0  8.70 860250112 .126   .126   16244736
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 14.5  7.86 871190528 .119   .120   16105472
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 14.9  8.02 833548288 .124   .124   16162816
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 14.8  8.04 875921408 .146   .146   16113664
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 14.3  7.82 832458752 .125   .125   16175104
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 13.2  6.85 684314624 .124   .124   15986688
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 12.4  6.59 676769792 .124   .123   15806464
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 12.5  6.63 668602368 .127   .127   16175104
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 13.0  6.80 678502400 .123   .123   16064512
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 14.1  7.28 683118592 .128   .128   16019456
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 12.9  6.76 663552000 .123   .123   16150528
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 12.8  6.77 673755136 .128   .127   16117760
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 13.2  6.83 649236480 .123   .123   15986688
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 12.4  6.57 672505856 .133   .133   16027648
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 12.7  6.68 673669120 .123   .131   15941632
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 13.7  7.08 665104384 .145   .143   16105472
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 12.3  6.50 663670784 .127   .128   15941632
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 12.8  6.72 649687040 .135   .134   16138240
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 12.5  6.71 690900992 .127   .127   16003072
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 12.9  6.85 657928192 .124   .123   16064512
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 13.3  7.02 653983744 .124   .124   16027648
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 12.3  6.49 655781888 .123   .122   16162816
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 15.2  7.89 657457152 .133   .132   15912960
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 15.9  8.19 694681600 .127   .129   16121856
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 13.6  7.00 665886720 .128   .128   16044032
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 12.7  6.68 691478528 .128   .128   16068608
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 12.8  6.75 669085696 .121   .122   16166912
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 12.9  6.71 662700032 .130   .130   16105472
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 13.0  6.77 656142336 .149   .147   15839232
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 13.9  7.16 676409344 .128   .128   16101376
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 13.9  7.32 652378112 .128   .128   15884288
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 15.5  8.16 684949504 .128   .128   15917056
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 14.0  7.18 666529792 .128   .129   16187392
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 14.5  7.66 658124800 .135   .132   16080896
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 12.4  6.48 665792512 .124   .124   15982592
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 13.8  7.11 676286464 .131   .131   15978496
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 13.8  7.25 662913024 .124   .123   16162816
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 13.1  6.74 673779712 .127   .127   16142336
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 12.5  6.65 669163520 .128   .129   16195584
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 13.1  6.80 687251456 .126   .126   16052224
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 12.2  6.51 669437952 .128   .128   16056320
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 15.6  8.14 652406784 .123   .123   16015360
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 13.7  7.06 671637504 .128   .127   16252928
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 13.1  6.78 653787136 .125   .125   15929344
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 12.6  6.66 679370752 .128   .128   16121856
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 12.5  6.59 654909440 .129   .128   16121856
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 12.6  6.63 647286784 .152   .148   16105472
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 13.0  6.80 691347456 .127   .128   16097280
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 13.9  7.16 685633536 .128   .128   16125952
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 12.2  6.55 680988672 .156   .171   16003072
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 13.6  7.04 672616448 .123   .122   16003072
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 13.2  6.89 672784384 .128   .128   16039936
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 13.2  6.83 670355456 .127   .127   16080896
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 12.6  6.61 655130624 .128   .127   16027648
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 13.3  6.87 675762176 .155   .152   16105472
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 14.4  7.49 690135040 .118   .119   16052224
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 12.6  6.64 664510464 .123   .125   15958016
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 13.2  6.85 669446144 .129   .129   16105472
eca-rers2012/Problem03_label00_true-unreach-call.c 28.9  19.5  1991925760 .204   .203   25190400
eca-rers2012/Problem03_label01_true-unreach-call.c 30.6  20.3  1962012672 .203   .202   25407488
eca-rers2012/Problem03_label02_true-unreach-call.c 32.9  21.9  1968680960 .195   .195   25419776
eca-rers2012/Problem03_label03_true-unreach-call.c 29.4  19.9  1965072384 .224   .225   25366528
eca-rers2012/Problem03_label04_true-unreach-call.c 29.7  19.8  1959936000 .197   .196   25382912
eca-rers2012/Problem03_label05_true-unreach-call.c 28.8  19.4  1963110400 .209   .209   25456640
eca-rers2012/Problem03_label06_true-unreach-call.c 29.8  19.9  1890971648 .209   .209   25423872
eca-rers2012/Problem03_label07_true-unreach-call.c 31.2  20.5  1918947328 .203   .202   25456640
eca-rers2012/Problem03_label08_true-unreach-call.c 31.6  20.6  1870946304 .209   .209   25374720
eca-rers2012/Problem03_label10_true-unreach-call.c 30.9  20.3  1957093376 .204   .204   25374720
eca-rers2012/Problem03_label11_true-unreach-call.c 29.4  19.9  1997053952 .229   .228   25595904
eca-rers2012/Problem03_label12_true-unreach-call.c 29.1  19.8  2029367296 .199   .200   25341952
eca-rers2012/Problem03_label14_true-unreach-call.c 29.8  20.0  2072047616 .210   .211   25358336
eca-rers2012/Problem03_label15_true-unreach-call.c 29.8  20.2  1930850304 .207   .206   25305088
eca-rers2012/Problem03_label16_true-unreach-call.c 36.1  22.8  2035175424 .210   .210   25440256
eca-rers2012/Problem03_label17_true-unreach-call.c 30.0  19.9  1852755968 .203   .203   25448448
eca-rers2012/Problem03_label18_true-unreach-call.c 29.9  20.1  1988702208 .196   .196   25419776
eca-rers2012/Problem03_label19_true-unreach-call.c 30.1  20.1  1856045056 .201   .200   25370624
eca-rers2012/Problem03_label20_true-unreach-call.c 29.5  19.9  1902624768 .214   .215   25350144
eca-rers2012/Problem03_label21_true-unreach-call.c 31.1  20.8  1979965440 .197   .197   25403392
eca-rers2012/Problem03_label22_true-unreach-call.c 29.2  19.7  1944424448 .199   .198   25288704
eca-rers2012/Problem03_label23_true-unreach-call.c 29.3  20.0  1976721408 .202   .203   25452544
eca-rers2012/Problem03_label24_true-unreach-call.c 30.9  20.3  1862447104 .212   .213   25391104
eca-rers2012/Problem03_label25_true-unreach-call.c 34.3  22.7  1876312064 .205   .205   25489408
eca-rers2012/Problem03_label29_true-unreach-call.c 29.7  20.1  1987198976 .205   .206   25362432
eca-rers2012/Problem03_label30_true-unreach-call.c 29.2  19.9  1948999680 .206   .205   25141248
eca-rers2012/Problem03_label32_true-unreach-call.c 30.9  20.4  1905131520 .204   .206   25468928
eca-rers2012/Problem03_label33_true-unreach-call.c 31.2  20.7  2010378240 .208   .208   25202688
eca-rers2012/Problem03_label34_true-unreach-call.c 30.6  20.5  1979604992 .200   .200   25382912
eca-rers2012/Problem03_label36_true-unreach-call.c 31.9  21.2  1853624320 .202   .203   25452544
eca-rers2012/Problem03_label38_true-unreach-call.c 28.8  19.6  1849483264 .201   .201   25399296
eca-rers2012/Problem03_label40_true-unreach-call.c 30.2  20.5  1915027456 .202   .201   25325568
eca-rers2012/Problem03_label41_true-unreach-call.c 29.7  20.0  1953226752 .210   .211   25313280
eca-rers2012/Problem03_label42_true-unreach-call.c 30.6  20.2  1976250368 .205   .204   25214976
eca-rers2012/Problem03_label44_true-unreach-call.c 28.8  19.6  1967661056 .209   .209   25370624
eca-rers2012/Problem03_label46_true-unreach-call.c 30.8  20.4  2083627008 .203   .203   25464832
eca-rers2012/Problem03_label47_true-unreach-call.c 28.9  19.6  1951490048 .231   .230   25366528
eca-rers2012/Problem03_label48_true-unreach-call.c 30.3  20.1  1810751488 .227   .226   25493504
eca-rers2012/Problem03_label49_true-unreach-call.c 31.6  21.0  2031235072 .209   .210   25464832
eca-rers2012/Problem03_label51_true-unreach-call.c 35.3  23.4  1982238720 .202   .202   25448448
eca-rers2012/Problem03_label53_true-unreach-call.c 30.6  20.5  1994235904 .206   .206   25391104
eca-rers2012/Problem03_label54_true-unreach-call.c 29.8  19.9  1971298304 .206   .206   25452544
eca-rers2012/Problem03_label55_true-unreach-call.c 29.4  19.6  1953738752 .203   .202   25452544
eca-rers2012/Problem03_label56_true-unreach-call.c 30.0  20.2  1989730304 .233   .233   25526272
eca-rers2012/Problem03_label57_true-unreach-call.c 29.7  19.8  1913372672 .209   .208   25264128
eca-rers2012/Problem03_label58_true-unreach-call.c 30.0  20.1  1949515776 .201   .200   25407488
eca-rers2012/Problem03_label59_true-unreach-call.c 29.3  19.8  1949356032 .211   .210   25350144
eca-rers2012/Problem04_label00_true-unreach-call.c 183    156    4456460288 .592   .593   60420096
eca-rers2012/Problem04_label01_true-unreach-call.c 188    162    4450467840 .527   .527   60575744
eca-rers2012/Problem04_label02_true-unreach-call.c 183    155    4424912896 .539   .539   60440576
eca-rers2012/Problem04_label03_true-unreach-call.c 180    153    4463108096 .543   .543   60526592
eca-rers2012/Problem04_label05_true-unreach-call.c 195    166    4415135744 .548   .548   60485632
eca-rers2012/Problem04_label07_true-unreach-call.c 177    153    4450476032 .551   .552   60489728
eca-rers2012/Problem04_label08_true-unreach-call.c 179    153    4447555584 .556   .556   60452864
eca-rers2012/Problem04_label10_true-unreach-call.c 185    156    4433899520 .533   .534   60465152
eca-rers2012/Problem04_label16_true-unreach-call.c 182    155    4454514688 .516   .516   60514304
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 173    149    4511772672 .538   .538   60370944
eca-rers2012/Problem04_label21_true-unreach-call.c 182    154    4452270080 .530   .530   60375040
eca-rers2012/Problem04_label22_true-unreach-call.c 180    154    4453629952 .555   .555   60424192
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 178    152    4446957568 .533   .532   60424192
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 179    153    4432994304 .556   .556   60829696
eca-rers2012/Problem04_label25_true-unreach-call.c 180    153    4442271744 .556   .556   60547072
eca-rers2012/Problem04_label28_true-unreach-call.c 183    156    4415946752 .548   .548   60575744
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 182    155    4438499328 .549   .550   60469248
eca-rers2012/Problem04_label30_true-unreach-call.c 180    154    4432125952 .529   .528   60465152
eca-rers2012/Problem04_label33_true-unreach-call.c 184    155    4397793280 .526   .526   60452864
eca-rers2012/Problem04_label34_true-unreach-call.c 180    153    4457480192 .534   .534   60497920
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 178    154    4480651264 .538   .538   60567552
eca-rers2012/Problem04_label41_true-unreach-call.c 180    152    4417585152 .569   .569   60465152
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 185    156    4424499200 .519   .519   60350464
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 181    155    4451045376 .530   .531   60231680
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 173    149    4453687296 .549   .549   60403712
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 180    154    4482482176 .535   .534   60510208
eca-rers2012/Problem04_label47_true-unreach-call.c 188    159    4425998336 .532   .531   60547072
eca-rers2012/Problem04_label48_true-unreach-call.c 205    176    4410912768 .532   .533   60473344
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 175    152    4455780352 .536   .536   60563456
eca-rers2012/Problem04_label50_true-unreach-call.c 179    155    4480589824 .558   .559   60440576
eca-rers2012/Problem04_label51_true-unreach-call.c 177    151    4427997184 .555   .556   60588032
eca-rers2012/Problem04_label53_true-unreach-call.c 179    154    4460814336 .546   .546   60428288
eca-rers2012/Problem04_label54_true-unreach-call.c 189    163    4451815424 .546   .547   60506112
eca-rers2012/Problem04_label56_true-unreach-call.c 171    147    4459991040 .534   .535   60526592
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 177    152    4459151360 .522   .522   60440576
eca-rers2012/Problem04_label59_true-unreach-call.c 172    149    4470411264 .550   .550   60301312
eca-rers2012/Problem05_label02_true-unreach-call.c 286    235    4823248896 1.17    1.17    118550528
eca-rers2012/Problem05_label03_true-unreach-call.c 256    206    4906061824 1.18    1.18    118849536
eca-rers2012/Problem05_label04_true-unreach-call.c 265    217    4852486144 1.14    1.14    118853632
eca-rers2012/Problem05_label05_true-unreach-call.c 257    204    5004046336 1.16    1.16    118632448
eca-rers2012/Problem05_label06_true-unreach-call.c 238    192    4831784960 1.15    1.15    118792192
eca-rers2012/Problem05_label07_true-unreach-call.c 960    632    6521802752 .00192 .00234 520192
eca-rers2012/Problem05_label08_true-unreach-call.c 277    229    4970868736 1.16    1.16    118616064
eca-rers2012/Problem05_label09_true-unreach-call.c 251    204    4803334144 1.18    1.18    118587392
eca-rers2012/Problem05_label10_true-unreach-call.c 240    192    4726579200 1.19    1.19    118796288
eca-rers2012/Problem05_label12_true-unreach-call.c 961    628    6349082624 .00169 .00204 536576
eca-rers2012/Problem05_label14_true-unreach-call.c 285    231    5184929792 1.21    1.21    118845440
eca-rers2012/Problem05_label16_true-unreach-call.c 960    634    6774226944 .00197 .00275 491520
eca-rers2012/Problem05_label17_true-unreach-call.c 235    189    4737617920 1.15    1.15    118804480
eca-rers2012/Problem05_label19_true-unreach-call.c 239    193    4759121920 1.17    1.16    118796288
eca-rers2012/Problem05_label20_true-unreach-call.c 244    197    4760928256 1.15    1.15    118824960
eca-rers2012/Problem05_label21_true-unreach-call.c 259    211    4875214848 1.18    1.19    118943744
eca-rers2012/Problem05_label22_true-unreach-call.c 962    627    6502432768 .00154 .00187 524288
eca-rers2012/Problem05_label23_true-unreach-call.c 241    193    4816306176 1.19    1.19    118759424
eca-rers2012/Problem05_label25_true-unreach-call.c 258    213    4746838016 1.14    1.14    118779904
eca-rers2012/Problem05_label27_true-unreach-call.c 237    188    4642738176 1.18    1.19    118808576
eca-rers2012/Problem05_label28_true-unreach-call.c 268    218    5082738688 1.17    1.17    118853632
eca-rers2012/Problem05_label29_true-unreach-call.c 259    210    4776525824 1.16    1.16    118882304
eca-rers2012/Problem05_label31_true-unreach-call.c 234    186    4824559616 1.19    1.19    118870016
eca-rers2012/Problem05_label34_true-unreach-call.c 266    214    4859654144 1.14    1.14    118747136
eca-rers2012/Problem05_label35_true-unreach-call.c 250    198    4734820352 1.10    1.10    118775808
eca-rers2012/Problem05_label42_true-unreach-call.c 960    625    6324310016 .00149 .00187 528384
eca-rers2012/Problem05_label43_true-unreach-call.c 267    208    4650598400 1.17    1.17    118714368
eca-rers2012/Problem05_label45_true-unreach-call.c 252    206    4725465088 1.17    1.17    118972416
eca-rers2012/Problem05_label46_true-unreach-call.c 255    203    4725817344 1.22    1.22    118759424
eca-rers2012/Problem05_label49_true-unreach-call.c 274    225    4994646016 1.19    1.19    118833152
eca-rers2012/Problem05_label50_true-unreach-call.c 961    628    6671618048 .00139 .00155 393216
eca-rers2012/Problem05_label52_true-unreach-call.c 961    619    6570569728 .00176 .00213 524288
eca-rers2012/Problem05_label53_true-unreach-call.c 248    196    4985090048 1.19    1.19    118898688
eca-rers2012/Problem05_label54_true-unreach-call.c 286    234    4825997312 1.26    1.26    118808576
eca-rers2012/Problem05_label56_true-unreach-call.c 239    190    4755664896 1.18    1.19    118607872
eca-rers2012/Problem05_label59_true-unreach-call.c 253    203    4691365888 1.19    1.19    118800384
eca-rers2012/Problem06_label03_true-unreach-call.c 321    274    5332189184 .862   .862   91869184
eca-rers2012/Problem06_label06_true-unreach-call.c 257    208    4580261888 .856   .855   91926528
eca-rers2012/Problem06_label07_true-unreach-call.c 217    174    4887752704 .852   .855   91942912
eca-rers2012/Problem06_label08_true-unreach-call.c 218    173    4821889024 .837   .837   91897856
eca-rers2012/Problem06_label13_true-unreach-call.c 249    204    5033275392 .816   .816   91856896
eca-rers2012/Problem06_label14_true-unreach-call.c 254    205    4899524608 .846   .847   91684864
eca-rers2012/Problem06_label16_true-unreach-call.c 248    203    5133193216 .826   .826   91865088
eca-rers2012/Problem06_label17_true-unreach-call.c 253    206    5095235584 .844   .845   91877376
eca-rers2012/Problem06_label18_true-unreach-call.c 246    199    5086994432 .887   .889   91779072
eca-rers2012/Problem06_label19_true-unreach-call.c 241    194    4912537600 .857   .858   91975680
eca-rers2012/Problem06_label22_true-unreach-call.c 275    228    5139234816 .895   .895   91869184
eca-rers2012/Problem06_label23_true-unreach-call.c 301    257    5917335552 .847   .847   91856896
eca-rers2012/Problem06_label25_true-unreach-call.c 271    224    5115899904 .835   .834   91996160
eca-rers2012/Problem06_label26_true-unreach-call.c 268    217    5015371776 .917   .917   91811840
eca-rers2012/Problem06_label28_true-unreach-call.c 273    229    5427224576 .852   .851   91828224
eca-rers2012/Problem06_label30_true-unreach-call.c 241    197    4901527552 .846   .846   91709440
eca-rers2012/Problem06_label31_true-unreach-call.c 245    202    5052485632 .891   .888   92164096
eca-rers2012/Problem06_label32_true-unreach-call.c 277    229    4575526912 .833   .835   91574272
eca-rers2012/Problem06_label34_true-unreach-call.c 238    190    4870897664 .841   .842   91811840
eca-rers2012/Problem06_label35_true-unreach-call.c 270    225    5052149760 .833   .834   91832320
eca-rers2012/Problem06_label39_true-unreach-call.c 239    194    4886990848 .829   .829   91889664
eca-rers2012/Problem06_label40_true-unreach-call.c 263    216    4984553472 .849   .849   91648000
eca-rers2012/Problem06_label41_true-unreach-call.c 253    208    5057146880 .842   .840   91688960
eca-rers2012/Problem06_label42_true-unreach-call.c 242    196    5007224832 .832   .833   91860992
eca-rers2012/Problem06_label43_true-unreach-call.c 260    215    5052534784 .840   .840   91877376
eca-rers2012/Problem06_label45_true-unreach-call.c 960    703    7783497728 .00164 .00249 540672
eca-rers2012/Problem06_label46_true-unreach-call.c 236    192    5071003648 .836   .836   91828224
eca-rers2012/Problem06_label49_true-unreach-call.c 246    200    5038825472 .834   .848   91840512
eca-rers2012/Problem06_label50_true-unreach-call.c 246    197    5008625664 .840   .841   91779072
eca-rers2012/Problem06_label51_true-unreach-call.c 243    197    4950593536 .843   .844   91959296
eca-rers2012/Problem06_label52_true-unreach-call.c 253    208    5073293312 .938   .940   91770880
eca-rers2012/Problem06_label53_true-unreach-call.c 252    205    5109256192 .854   .853   91770880
eca-rers2012/Problem06_label54_true-unreach-call.c 249    202    5001379840 .826   .827   91930624
eca-rers2012/Problem06_label55_true-unreach-call.c 227    183    4803813376 .850   .851   91918336
eca-rers2012/Problem06_label57_true-unreach-call.c 437    364    5264093184 .826   .827   91729920
eca-rers2012/Problem07_label00_true-unreach-call.c 961    660    9314131968 .00186 .00226 524288
eca-rers2012/Problem07_label01_true-unreach-call.c 953    663    8864587776 8.37    8.37    826208256
eca-rers2012/Problem07_label02_true-unreach-call.c 962    681    7658536960 4.13    4.13    409387008
eca-rers2012/Problem07_label04_true-unreach-call.c 961    666    8018300928 8.92    8.92    826277888
eca-rers2012/Problem07_label08_true-unreach-call.c 961    669    7968563200 .00192 .00261 524288
eca-rers2012/Problem07_label10_true-unreach-call.c 953    673    8202960896 8.67    8.67    826433536
eca-rers2012/Problem07_label12_true-unreach-call.c 961    655    9262317568 .00149 .00247 430080
eca-rers2012/Problem07_label13_true-unreach-call.c 961    669    7256227840 .00182 .00216 520192
eca-rers2012/Problem07_label14_true-unreach-call.c 961    672    7665917952 .00181 .00221 528384
eca-rers2012/Problem07_label16_true-unreach-call.c 960    664    10104848384 .00185 .00231 524288
eca-rers2012/Problem07_label17_true-unreach-call.c 961    651    9400819712 .00184 .00221 520192
eca-rers2012/Problem07_label21_true-unreach-call.c 960    660    9270681600 .00172 .00211 524288
eca-rers2012/Problem07_label22_true-unreach-call.c 957    673    8701833216 8.28    8.28    826368000
eca-rers2012/Problem07_label24_true-unreach-call.c 960    661    10469392384 .00187 .00240 524288
eca-rers2012/Problem07_label25_true-unreach-call.c 960    670    9318998016 .00177 .00255 495616
eca-rers2012/Problem07_label26_true-unreach-call.c 960    671    7329853440 .00192 .00256 524288
eca-rers2012/Problem07_label27_true-unreach-call.c 961    635    9175072768 .00180 .00217 528384
eca-rers2012/Problem07_label28_true-unreach-call.c 961    642    11025592320 .00184 .00269 524288
eca-rers2012/Problem07_label29_true-unreach-call.c 956    660    8117243904 8.63    8.64    826458112
eca-rers2012/Problem07_label32_true-unreach-call.c 947    658    8970108928 8.53    8.53    826462208
eca-rers2012/Problem07_label33_true-unreach-call.c 961    663    8006385664 .00487 .00580 524288
eca-rers2012/Problem07_label34_true-unreach-call.c 961    637    8647000064 .00203 .00253 524288
eca-rers2012/Problem07_label38_true-unreach-call.c 961    648    10021285888 .00184 .00225 524288
eca-rers2012/Problem07_label41_true-unreach-call.c 960    654    9231667200 .00179 .00296 491520
eca-rers2012/Problem07_label43_true-unreach-call.c 960    665    9290395648 .00210 .00259 524288
eca-rers2012/Problem07_label45_true-unreach-call.c 961    655    9333006336 .00176 .00221 524288
eca-rers2012/Problem07_label49_true-unreach-call.c 961    642    8924020736 .00185 .00223 524288
eca-rers2012/Problem07_label50_true-unreach-call.c 961    678    9249849344 .00197 .00241 520192
eca-rers2012/Problem07_label51_true-unreach-call.c 961    651    9531547648 .00193 .00238 528384
eca-rers2012/Problem07_label52_true-unreach-call.c 961    631    8952819712 .00186 .00231 528384
eca-rers2012/Problem07_label53_true-unreach-call.c 960    661    8685518848 .00189 .00247 536576
eca-rers2012/Problem07_label54_true-unreach-call.c 962    682    7670222848 .00180 .00267 548864
eca-rers2012/Problem07_label55_true-unreach-call.c 961    656    9210384384 8.77    8.77    826408960
eca-rers2012/Problem07_label56_true-unreach-call.c 957    662    8089006080 8.25    8.25    826413056
eca-rers2012/Problem07_label57_true-unreach-call.c 961    655    7740895232 .00197 .00240 520192
eca-rers2012/Problem07_label59_true-unreach-call.c 961    651    8748363776 .00175 .00260 430080
eca-rers2012/Problem08_label00_true-unreach-call.c 962    554    11298607104 .00427 .00525 524288
eca-rers2012/Problem08_label03_true-unreach-call.c 962    555    10493177856 .00189 .00233 524288
eca-rers2012/Problem08_label08_true-unreach-call.c 962    560    12194926592 .00163 .00200 520192
eca-rers2012/Problem08_label09_true-unreach-call.c 962    549    11136794624 .00179 .00260 499712
eca-rers2012/Problem08_label11_true-unreach-call.c 962    542    11056680960 .00174 .00240 499712
eca-rers2012/Problem08_label12_true-unreach-call.c 959    587    10383605760 .00176 .00237 528384
eca-rers2012/Problem08_label14_true-unreach-call.c 962    557    10396995584 .00169 .00227 524288
eca-rers2012/Problem08_label16_true-unreach-call.c 962    542    11092500480 .00142 .00154 393216
eca-rers2012/Problem08_label17_true-unreach-call.c 962    543    10438193152 .00414 .00525 528384
eca-rers2012/Problem08_label18_true-unreach-call.c 956    574    10246324224 .00354 .00442 524288
eca-rers2012/Problem08_label19_true-unreach-call.c 962    549    10413780992 .00180 .00234 528384
eca-rers2012/Problem08_label20_true-unreach-call.c 962    561    10666979328 .00155 .00274 483328
eca-rers2012/Problem08_label21_true-unreach-call.c 962    546    10752520192 .00171 .00233 524288
eca-rers2012/Problem08_label22_true-unreach-call.c 962    553    10566184960 .00179 .00227 524288
eca-rers2012/Problem08_label23_true-unreach-call.c 962    541    11046719488 .00184 .00224 520192
eca-rers2012/Problem08_label27_true-unreach-call.c 962    543    10405437440 .00212 .00261 524288
eca-rers2012/Problem08_label30_true-unreach-call.c 962    545    11400912896 .00188 .00276 483328
eca-rers2012/Problem08_label31_true-unreach-call.c 961    571    10967375872 .00603 .00814 520192
eca-rers2012/Problem08_label32_true-unreach-call.c 961    565    11214290944 .00190 .00233 524288
eca-rers2012/Problem08_label33_true-unreach-call.c 962    542    11079995392 .00185 .00226 524288
eca-rers2012/Problem08_label35_true-unreach-call.c 961    554    11095420928 .00192 .00238 524288
eca-rers2012/Problem08_label36_true-unreach-call.c 961    573    11221860352 .00168 .00258 430080
eca-rers2012/Problem08_label38_true-unreach-call.c 960    570    11085885440 .00183 .00224 520192
eca-rers2012/Problem08_label39_true-unreach-call.c 960    572    10306297856 .00184 .00227 524288
eca-rers2012/Problem08_label40_true-unreach-call.c 962    552    10888462336 .00464 .00581 528384
eca-rers2012/Problem08_label41_true-unreach-call.c 962    543    11089231872 .00159 .00214 524288
eca-rers2012/Problem08_label42_true-unreach-call.c 962    547    11240116224 .00175 .00217 520192
eca-rers2012/Problem08_label44_true-unreach-call.c 962    543    10871308288 .00171 .00212 524288
eca-rers2012/Problem08_label45_true-unreach-call.c 962    542    11089690624 .00171 .00266 430080
eca-rers2012/Problem08_label47_true-unreach-call.c 960    572    11077386240 .00197 .00266 524288
eca-rers2012/Problem08_label52_true-unreach-call.c 962    564    10401415168 .00157 .00195 524288
eca-rers2012/Problem08_label53_true-unreach-call.c 962    558    10387349504 .00164 .00250 430080
eca-rers2012/Problem08_label54_true-unreach-call.c 962    553    10395926528 .00172 .00206 524288
eca-rers2012/Problem08_label56_true-unreach-call.c 962    557    10512904192 .00184 .00224 528384
eca-rers2012/Problem08_label57_true-unreach-call.c 962    555    10080587776 .00172 .00243 495616
eca-rers2012/Problem08_label58_true-unreach-call.c 913    526    10510573568 .00172 .00212 524288
eca-rers2012/Problem09_label00_true-unreach-call.c 962    542    11073867776 .00182 .00225 524288
eca-rers2012/Problem09_label01_true-unreach-call.c 962    541    11079749632 .00168 .00247 499712
eca-rers2012/Problem09_label04_true-unreach-call.c 961    564    11082596352 .00200 .00241 524288
eca-rers2012/Problem09_label05_true-unreach-call.c 962    537    11086028800 .00174 .00213 524288
eca-rers2012/Problem09_label07_true-unreach-call.c 961    562    11093155840 .00192 .00232 524288
eca-rers2012/Problem09_label09_true-unreach-call.c 962    541    11079806976 .00180 .00224 524288
eca-rers2012/Problem09_label12_true-unreach-call.c 961    560    11056939008 .00171 .00255 524288
eca-rers2012/Problem09_label13_true-unreach-call.c 962    542    11089424384 .00189 .00237 528384
eca-rers2012/Problem09_label14_true-unreach-call.c 962    543    11094020096 .00181 .00219 524288
eca-rers2012/Problem09_label16_true-unreach-call.c 962    542    11085885440 .00190 .00285 495616
eca-rers2012/Problem09_label17_true-unreach-call.c 962    536    11088801792 .00160 .00245 495616
eca-rers2012/Problem09_label18_true-unreach-call.c 962    540    11077341184 .00147 .00187 520192
eca-rers2012/Problem09_label21_true-unreach-call.c 962    542    11087863808 .00174 .00234 524288
eca-rers2012/Problem09_label22_true-unreach-call.c 961    558    11085996032 .00258 .00321 528384
eca-rers2012/Problem09_label23_true-unreach-call.c 961    562    11086028800 .00156 .00256 430080
eca-rers2012/Problem09_label24_true-unreach-call.c 962    540    11085217792 .00187 .00281 495616
eca-rers2012/Problem09_label25_true-unreach-call.c 961    563    11090702336 .00185 .00286 495616
eca-rers2012/Problem09_label26_true-unreach-call.c 962    541    11087978496 .00171 .00271 507904
eca-rers2012/Problem09_label27_true-unreach-call.c 961    561    11092021248 .00171 .00229 520192
eca-rers2012/Problem09_label28_true-unreach-call.c 962    545    11087622144 .00173 .00231 528384
eca-rers2012/Problem09_label29_true-unreach-call.c 962    538    11089108992 .00162 .00201 528384
eca-rers2012/Problem09_label30_true-unreach-call.c 962    541    11079630848 .00184 .00295 503808
eca-rers2012/Problem09_label31_true-unreach-call.c 962    542    11082121216 .00185 .00228 520192
eca-rers2012/Problem09_label33_true-unreach-call.c 962    543    11079421952 .00163 .00202 524288
eca-rers2012/Problem09_label37_true-unreach-call.c 962    540    11090620416 .00433 .00531 524288
eca-rers2012/Problem09_label39_true-unreach-call.c 962    542    11096883200 .00166 .00232 524288
eca-rers2012/Problem09_label40_true-unreach-call.c 962    544    11095351296 .00167 .00206 524288
eca-rers2012/Problem09_label42_true-unreach-call.c 960    563    11087888384 .00209 .00257 520192
eca-rers2012/Problem09_label43_true-unreach-call.c 961    561    11089014784 .00199 .00242 524288
eca-rers2012/Problem09_label45_true-unreach-call.c 961    545    11099930624 .00531 .00640 528384
eca-rers2012/Problem09_label48_true-unreach-call.c 962    541    11090210816 .00570 .00754 524288
eca-rers2012/Problem09_label49_true-unreach-call.c 962    541    11079999488 .00170 .00213 528384
eca-rers2012/Problem09_label50_true-unreach-call.c 962    540    11082358784 .00189 .00251 520192
eca-rers2012/Problem09_label52_true-unreach-call.c 962    537    11086409728 .00185 .00312 507904
eca-rers2012/Problem09_label55_true-unreach-call.c 962    541    11094163456 .00382 .00481 528384
eca-rers2012/Problem09_label58_true-unreach-call.c 961    562    11092652032 .00177 .00225 524288
eca-rers2012/Problem10_label00_true-unreach-call.c 300    275    5089308672 .119   .119   15601664
eca-rers2012/Problem10_label01_true-unreach-call.c 378    347    5389008896 .113   .113   15495168
eca-rers2012/Problem10_label02_true-unreach-call.c 307    288    4848463872 .123   .124   15630336
eca-rers2012/Problem10_label03_true-unreach-call.c 98.6  87.5  4012716032 .120   .120   15552512
eca-rers2012/Problem10_label04_true-unreach-call.c 98.6  87.6  3984027648 .120   .120   15556608
eca-rers2012/Problem10_label05_true-unreach-call.c 99.3  87.6  4138237952 .119   .119   15556608
eca-rers2012/Problem10_label06_true-unreach-call.c 98.5  87.4  3994468352 .124   .124   15663104
eca-rers2012/Problem10_label07_true-unreach-call.c 98.3  84.4  4124385280 .116   .116   15577088
eca-rers2012/Problem10_label08_true-unreach-call.c 99.1  84.8  4101750784 .121   .120   15642624
eca-rers2012/Problem10_label09_true-unreach-call.c 100    85.5  4156878848 .124   .123   15478784
eca-rers2012/Problem10_label10_true-unreach-call.c 98.3  86.8  4043595776 .123   .124   15470592
eca-rers2012/Problem10_label11_true-unreach-call.c 376    347    5569884160 .120   .120   15417344
eca-rers2012/Problem10_label13_true-unreach-call.c 375    346    5539479552 .128   .127   15593472
eca-rers2012/Problem10_label14_true-unreach-call.c 379    344    5536612352 .130   .131   15478784
eca-rers2012/Problem10_label16_true-unreach-call.c 377    345    5535211520 .123   .123   15515648
eca-rers2012/Problem10_label17_true-unreach-call.c 377    345    5373181952 .123   .124   15486976
eca-rers2012/Problem10_label18_true-unreach-call.c 245    225    4806922240 .124   .124   15663104
eca-rers2012/Problem10_label19_true-unreach-call.c 98.0  86.4  4004159488 .120   .120   15396864
eca-rers2012/Problem10_label20_true-unreach-call.c 98.3  87.1  4021108736 .120   .120   15380480
eca-rers2012/Problem10_label21_true-unreach-call.c 97.7  87.2  4036931584 .115   .115   15667200
eca-rers2012/Problem10_label22_true-unreach-call.c 98.2  87.2  4020674560 .119   .120   15663104
eca-rers2012/Problem10_label23_true-unreach-call.c 375    346    5398986752 .120   .121   15331328
eca-rers2012/Problem10_label25_true-unreach-call.c 376    346    5562015744 .121   .121   15675392
eca-rers2012/Problem10_label27_true-unreach-call.c 377    346    5419401216 .123   .123   15613952
eca-rers2012/Problem10_label30_true-unreach-call.c 376    348    5362417664 .128   .126   15409152
eca-rers2012/Problem10_label31_true-unreach-call.c 98.6  87.3  4037918720 .115   .115   15540224
eca-rers2012/Problem10_label32_true-unreach-call.c 99.5  87.5  3665633280 .146   .145   15450112
eca-rers2012/Problem10_label33_true-unreach-call.c 98.3  87.1  4088008704 .119   .119   15540224
eca-rers2012/Problem10_label34_true-unreach-call.c 99.6  87.7  4100345856 .151   .148   15462400
eca-rers2012/Problem10_label35_true-unreach-call.c 99.0  87.7  4081307648 .124   .124   15593472
eca-rers2012/Problem10_label36_true-unreach-call.c 99.9  87.4  3732705280 .119   .118   15511552
eca-rers2012/Problem10_label37_true-unreach-call.c 100    85.8  3844423680 .120   .120   15425536
eca-rers2012/Problem10_label38_true-unreach-call.c 104    88.9  4186103808 .123   .123   15507456
eca-rers2012/Problem10_label39_true-unreach-call.c 378    344    5729472512 .124   .125   15499264
eca-rers2012/Problem10_label40_true-unreach-call.c 377    346    5590659072 .123   .123   15695872
eca-rers2012/Problem10_label43_true-unreach-call.c 264    247    4569907200 .118   .118   15556608
eca-rers2012/Problem10_label44_true-unreach-call.c 292    274    4581584896 .120   .120   15622144
eca-rers2012/Problem10_label45_true-unreach-call.c 375    343    5684060160 .136   .136   15519744
eca-rers2012/Problem10_label49_true-unreach-call.c 284    262    4843618304 .124   .124   15626240
eca-rers2012/Problem10_label51_true-unreach-call.c 98.9  87.8  3949326336 .121   .120   15515648
eca-rers2012/Problem10_label52_true-unreach-call.c 98.8  87.4  4041887744 .124   .124   15495168
eca-rers2012/Problem10_label53_true-unreach-call.c 98.2  86.9  4057858048 .118   .118   15556608
eca-rers2012/Problem10_label54_true-unreach-call.c 100    86.0  4167671808 .150   .154   15355904
eca-rers2012/Problem10_label56_true-unreach-call.c 960    661    9595478016 .00184 .00244 524288
eca-rers2012/Problem10_label59_true-unreach-call.c 414    366    5969276928 .127   .127   15450112
eca-rers2012/Problem11_label01_true-unreach-call.c 424    365    7029874688 .152   .152   19329024
eca-rers2012/Problem11_label02_true-unreach-call.c 961    654    11536908288 .00185 .00227 524288
eca-rers2012/Problem11_label03_true-unreach-call.c 403    357    6841282560 .155   .155   19283968
eca-rers2012/Problem11_label04_true-unreach-call.c 417    363    6848888832 .151   .151   19341312
eca-rers2012/Problem11_label05_true-unreach-call.c 961    652    10830237696 .00164 .00263 483328
eca-rers2012/Problem11_label06_true-unreach-call.c 730    520    11538026496 .153   .153   19476480
eca-rers2012/Problem11_label07_true-unreach-call.c 469    392    8038440960 .153   .153   19369984
eca-rers2012/Problem11_label09_true-unreach-call.c 848    588    11437621248 .153   .153   19210240
eca-rers2012/Problem11_label10_true-unreach-call.c 544    435    8193114112 .155   .155   19222528
eca-rers2012/Problem11_label11_true-unreach-call.c 961    654    11442307072 .00195 .00240 524288
eca-rers2012/Problem11_label12_true-unreach-call.c 473    394    8017399808 .155   .155   19345408
eca-rers2012/Problem11_label13_true-unreach-call.c 421    366    6755311616 .150   .150   19140608
eca-rers2012/Problem11_label16_true-unreach-call.c 461    387    6913916928 .151   .150   19406848
eca-rers2012/Problem11_label17_true-unreach-call.c 475    390    8541249536 .150   .150   19087360
eca-rers2012/Problem11_label18_true-unreach-call.c 414    362    6886576128 .155   .155   19128320
eca-rers2012/Problem11_label19_true-unreach-call.c 881    608    8582176768 .151   .151   19259392
eca-rers2012/Problem11_label21_true-unreach-call.c 408    355    7058870272 .156   .157   19247104
eca-rers2012/Problem11_label22_true-unreach-call.c 961    654    12782628864 .00162 .00196 524288
eca-rers2012/Problem11_label23_true-unreach-call.c 436    373    6834524160 .153   .155   19369984
eca-rers2012/Problem11_label24_true-unreach-call.c 961    650    12906557440 .00203 .00252 520192
eca-rers2012/Problem11_label25_true-unreach-call.c 961    652    10813571072 .00160 .00222 524288
eca-rers2012/Problem11_label26_true-unreach-call.c 750    533    11513008128 .155   .155   19574784
eca-rers2012/Problem11_label27_true-unreach-call.c 408    359    6857216000 .150   .150   19337216
eca-rers2012/Problem11_label28_true-unreach-call.c 961    654    9135652864 .00176 .00213 528384
eca-rers2012/Problem11_label30_true-unreach-call.c 514    420    8188305408 .152   .153   19357696
eca-rers2012/Problem11_label32_true-unreach-call.c 413    361    6853025792 .150   .150   19333120
eca-rers2012/Problem11_label33_true-unreach-call.c 399    351    7029207040 .00166 .00238 528384
eca-rers2012/Problem11_label35_true-unreach-call.c 961    653    10805264384 .00193 .00236 524288
eca-rers2012/Problem11_label37_true-unreach-call.c 410    356    7062183936 .154   .155   19324928
eca-rers2012/Problem11_label38_true-unreach-call.c 408    358    6847397888 .154   .156   19267584
eca-rers2012/Problem11_label40_true-unreach-call.c 961    653    12356120576 .00167 .00201 393216
eca-rers2012/Problem11_label41_true-unreach-call.c 960    649    12745994240 .00167 .00206 524288
eca-rers2012/Problem11_label44_true-unreach-call.c 415    363    6883606528 .154   .154   19296256
eca-rers2012/Problem11_label45_true-unreach-call.c 961    652    10857476096 .00183 .00227 524288
eca-rers2012/Problem11_label46_true-unreach-call.c 961    652    12385415168 .00183 .00269 487424
eca-rers2012/Problem11_label47_true-unreach-call.c 961    654    12375990272 .00166 .00271 499712
eca-rers2012/Problem11_label48_true-unreach-call.c 961    654    11142500352 .00168 .00282 499712
eca-rers2012/Problem11_label50_true-unreach-call.c 961    653    10810806272 .00184 .00237 524288
eca-rers2012/Problem11_label52_true-unreach-call.c 961    653    11412807680 .00187 .00223 520192
eca-rers2012/Problem11_label53_true-unreach-call.c 414    359    6754025472 .156   .155   19353600
eca-rers2012/Problem11_label54_true-unreach-call.c 961    653    10856579072 .00173 .00210 520192
eca-rers2012/Problem11_label55_true-unreach-call.c 961    651    12439797760 .00179 .00219 524288
eca-rers2012/Problem11_label56_true-unreach-call.c 961    652    11409973248 .00171 .00229 520192
eca-rers2012/Problem11_label57_true-unreach-call.c 961    649    12752723968 .00146 .00234 524288
eca-rers2012/Problem11_label59_true-unreach-call.c 504    412    6821490688 .152   .152   19419136
eca-rers2012/Problem12_label01_true-unreach-call.c 629    463    14999998464 .00172 .00213 524288
eca-rers2012/Problem12_label02_true-unreach-call.c 658    475    14999998464 .00165 .00245 434176
eca-rers2012/Problem12_label04_true-unreach-call.c 577    438    14999998464 .00182 .00326 499712
eca-rers2012/Problem12_label05_true-unreach-call.c 630    465    14999998464 .00166 .00222 528384
eca-rers2012/Problem12_label09_true-unreach-call.c 601    449    14999998464 .00179 .00220 528384
eca-rers2012/Problem12_label11_true-unreach-call.c 601    447    14999998464 .00186 .00252 524288
eca-rers2012/Problem12_label12_true-unreach-call.c 515    413    12472455168 .415   .415   48205824
eca-rers2012/Problem12_label14_true-unreach-call.c 647    475    14999998464 .00167 .00269 495616
eca-rers2012/Problem12_label15_true-unreach-call.c 565    441    12506570752 .394   .394   48033792
eca-rers2012/Problem12_label16_true-unreach-call.c 510    410    12579700736 .434   .436   48193536
eca-rers2012/Problem12_label17_true-unreach-call.c 584    442    14999998464 .00166 .00205 524288
eca-rers2012/Problem12_label18_true-unreach-call.c 528    418    12794552320 .399   .399   48246784
eca-rers2012/Problem12_label22_true-unreach-call.c 496    401    12552515584 .416   .417   48349184
eca-rers2012/Problem12_label23_true-unreach-call.c 496    400    12464996352 .409   .409   48095232
eca-rers2012/Problem12_label24_true-unreach-call.c 544    430    12822577152 .408   .409   48267264
eca-rers2012/Problem12_label26_true-unreach-call.c 506    405    12691517440 .414   .414   48263168
eca-rers2012/Problem12_label27_true-unreach-call.c 717    516    12716908544 .420   .420   48189440
eca-rers2012/Problem12_label29_true-unreach-call.c 498    398    12815405056 .434   .436   48234496
eca-rers2012/Problem12_label31_true-unreach-call.c 521    415    12628025344 .424   .424   48091136
eca-rers2012/Problem12_label32_true-unreach-call.c 529    419    12743622656 .400   .400   48140288
eca-rers2012/Problem12_label33_true-unreach-call.c 527    418    12581564416 .424   .423   48279552
eca-rers2012/Problem12_label36_true-unreach-call.c 585    455    11886129152 .396   .396   48152576
eca-rers2012/Problem12_label41_true-unreach-call.c 610    452    14999998464 .00159 .00216 524288
eca-rers2012/Problem12_label43_true-unreach-call.c 512    410    12583092224 .409   .409   48111616
eca-rers2012/Problem12_label44_true-unreach-call.c 611    453    14999998464 .00168 .00243 524288
eca-rers2012/Problem12_label45_true-unreach-call.c 545    426    11702398976 .423   .424   48185344
eca-rers2012/Problem12_label46_true-unreach-call.c 512    410    12857233408 .414   .414   48201728
eca-rers2012/Problem12_label47_true-unreach-call.c 488    395    12864364544 .413   .413   48119808
eca-rers2012/Problem12_label49_true-unreach-call.c 501    404    11603951616 .419   .419   48197632
eca-rers2012/Problem12_label53_true-unreach-call.c 507    407    11599667200 .431   .430   47976448
eca-rers2012/Problem12_label54_true-unreach-call.c 490    396    12452839424 .395   .395   48201728
eca-rers2012/Problem12_label56_true-unreach-call.c 505    406    11553570816 .408   .408   48242688
eca-rers2012/Problem12_label57_true-unreach-call.c 509    410    11554889728 .412   .412   48181248
eca-rers2012/Problem12_label58_true-unreach-call.c 496    400    11552038912 .432   .432   48246784
eca-rers2012/Problem12_label59_true-unreach-call.c 760    543    11816046592 .428   .428   48164864
eca-rers2012/Problem13_label00_true-unreach-call.c 961    649    14859128832 .00519 .00615 520192
eca-rers2012/Problem13_label01_true-unreach-call.c 832    562    14999998464 .00196 .00241 524288
eca-rers2012/Problem13_label02_true-unreach-call.c 551    422    14999998464 .00188 .00284 520192
eca-rers2012/Problem13_label03_true-unreach-call.c 690    492    14999998464 .00192 .00255 524288
eca-rers2012/Problem13_label05_true-unreach-call.c 927    671    14982025216 .508   .509   55832576
eca-rers2012/Problem13_label08_true-unreach-call.c 458    375    14999998464 .00139 .00150 389120
eca-rers2012/Problem13_label09_true-unreach-call.c 463    377    14999998464 .00143 .00155 393216
eca-rers2012/Problem13_label10_true-unreach-call.c 462    378    14999998464 .00167 .00230 520192
eca-rers2012/Problem13_label13_true-unreach-call.c 460    377    14999998464 .00183 .00227 524288
eca-rers2012/Problem13_label14_true-unreach-call.c 467    381    14999998464 .00499 .00602 528384
eca-rers2012/Problem13_label15_true-unreach-call.c 460    380    14999998464 .00179 .00218 524288
eca-rers2012/Problem13_label17_true-unreach-call.c 463    380    14999998464 .00175 .00214 524288
eca-rers2012/Problem13_label18_true-unreach-call.c 465