Tool CPAchecker 1.7-svn 29913 ULTIMATE Automizer 0.1.24-91b1670e
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 ultimateautomizer-cpaseq--reachsafety-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false --full-output --validate 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 6.47   3.46   274767872
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 961    659    5321494528 5.74   3.20   276041728
array-examples/sorting_bubblesort_false-unreach-call_ground.i 960    659    6661308416 5.58   3.49   271495168
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 962    666    6985179136 5.44   3.45   277913600
array-examples/sorting_selectionsort_false-unreach-call_ground.i 961    666    7040835584 5.46   3.37   263811072
array-examples/standard_allDiff2_false-unreach-call_ground.i 961    663    7944601600 5.67   3.54   269549568
array-examples/standard_copy1_false-unreach-call_ground.i 934    635    6934839296 11.5    6.76   299978752
array-examples/standard_copy2_false-unreach-call_ground.i 943    639    7751450624 11.2    6.53   288681984
array-examples/standard_copy3_false-unreach-call_ground.i 943    638    8279752704 11.1    6.49   303570944
array-examples/standard_copy4_false-unreach-call_ground.i 929    632    6706860032 12.8    6.86   300036096
array-examples/standard_copy5_false-unreach-call_ground.i 932    633    8615489536 11.5    6.68   300371968
array-examples/standard_copy6_false-unreach-call_ground.i 940    636    8626196480 11.6    7.08   303546368
array-examples/standard_copy7_false-unreach-call_ground.i 935    635    8844009472 12.0    7.25   299659264
array-examples/standard_copy8_false-unreach-call_ground.i 935    635    8809566208 11.2    6.60   299778048
array-examples/standard_copy9_false-unreach-call_ground.i 932    633    8802762752 11.6    6.68   296521728
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 947    646    6667497472 12.0    7.05   295571456
array-examples/standard_init1_false-unreach-call_ground.i 958    653    8220827648 13.5    7.22   292855808
array-examples/standard_init2_false-unreach-call_ground.i 960    655    4969631744 5.45   2.97   271671296
array-examples/standard_init3_false-unreach-call_ground.i 942    643    7606865920 13.9    8.31   296730624
array-examples/standard_init4_false-unreach-call_ground.i 946    645    7784382464 13.0    7.51   299864064
array-examples/standard_init5_false-unreach-call_ground.i 953    648    7731638272 13.0    7.52   293466112
array-examples/standard_init6_false-unreach-call_ground.i 954    648    8034304000 12.6    7.45   303955968
array-examples/standard_init7_false-unreach-call_ground.i 949    644    6989246464 14.1    8.22   306102272
array-examples/standard_init8_false-unreach-call_ground.i 943    642    7808016384 13.2    8.29   308793344
array-examples/standard_init9_false-unreach-call_ground.i 942    641    7567130624 14.2    8.41   302522368
array-examples/standard_minInArray_false-unreach-call_ground.i 940    638    6868541440 11.7    7.13   305414144
array-examples/standard_partition_false-unreach-call_ground.i 961    663    6976765952 13.8    7.85   299077632
array-examples/standard_running_false-unreach-call.i 925    626    7096217600 12.7    7.63   287563776
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 93.6  87.9  2171965440 9.39   5.90   339550208
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 921    624    8400105472 11.7    7.14   291127296
array-examples/relax_true-unreach-call.i 962    488    6483148800 5.45   3.30   268460032
array-examples/sanfoundry_02_true-unreach-call_ground.i 961    664    6122463232 5.51   3.42   271204352
array-examples/sanfoundry_10_true-unreach-call_ground.i 936    636    7865159680 17.4    9.57   320909312
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 8.06 4.99 476041216 9.64   5.48   322191360
array-examples/sanfoundry_27_true-unreach-call_ground.i 928    628    6931693568 12.4    6.99   290930688
array-examples/sanfoundry_43_true-unreach-call_ground.i 93.3  88.9  2330083328 6.74   4.32   312995840
array-examples/sorting_bubblesort_true-unreach-call_ground.i 960    658    5564620800 6.67   3.63   277553152
array-examples/sorting_selectionsort_true-unreach-call_ground.i 962    665    6961852416 6.65   3.66   276971520
array-examples/standard_compareModified_true-unreach-call_ground.i 961    663    7528857600 5.96   3.62   270938112
array-examples/standard_compare_true-unreach-call_ground.i 960    666    4826988544 5.41   3.37   265302016
array-examples/standard_copy1_true-unreach-call_ground.i 936    636    6771564544 11.6    6.31   298622976
array-examples/standard_copy2_true-unreach-call_ground.i 953    645    8081428480 13.8    7.65   295907328
array-examples/standard_copy3_true-unreach-call_ground.i 929    631    6718373888 11.5    6.96   291991552
array-examples/standard_copy4_true-unreach-call_ground.i 941    639    7101087744 12.0    6.76   301600768
array-examples/standard_copy5_true-unreach-call_ground.i 939    638    8700551168 11.8    7.17   297426944
array-examples/standard_copy6_true-unreach-call_ground.i 931    632    8860438528 12.2    6.68   297103360
array-examples/standard_copy7_true-unreach-call_ground.i 945    641    9200205824 14.0    7.80   298512384
array-examples/standard_copy8_true-unreach-call_ground.i 942    639    9048924160 11.1    6.47   292655104
array-examples/standard_copy9_true-unreach-call_ground.i 938    637    9259933696 12.0    6.90   292569088
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 956    650    6650523648 12.4    7.20   302972928
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 960    651    6455558144 5.50   3.46   276054016
array-examples/standard_copyInitSum_true-unreach-call_ground.i 958    650    6679261184 12.0    6.49   299593728
array-examples/standard_copyInit_true-unreach-call_ground.i 942    643    7311925248 12.2    6.66   307093504
array-examples/standard_find_true-unreach-call_ground.i 946    643    7372611584 14.1    7.50   294637568
array-examples/standard_init1_true-unreach-call_ground.i 956    651    5117095936 11.6    6.68   298582016
array-examples/standard_init2_true-unreach-call_ground.i 943    642    7613923328 11.8    6.88   303505408
array-examples/standard_init3_true-unreach-call_ground.i 946    642    6853742592 15.9    8.85   306016256
array-examples/standard_init4_true-unreach-call_ground.i 954    647    8030801920 12.8    6.92   300343296
array-examples/standard_init5_true-unreach-call_ground.i 948    643    7001821184 15.7    9.25   304824320
array-examples/standard_init6_true-unreach-call_ground.i 945    644    7512875008 13.2    7.29   300347392
array-examples/standard_init7_true-unreach-call_ground.i 946    645    7650484224 15.3    9.35   308396032
array-examples/standard_init8_true-unreach-call_ground.i 938    638    7162593280 14.2    7.99   301608960
array-examples/standard_init9_true-unreach-call_ground.i 948    646    7533072384 13.5    8.00   309231616
array-examples/standard_maxInArray_true-unreach-call_ground.i 939    638    6872154112 11.4    7.04   295956480
array-examples/standard_minInArray_true-unreach-call_ground.i 934    634    6884544512 11.2    6.94   297381888
array-examples/standard_palindrome_true-unreach-call_ground.i 959    647    7586209792 12.0    6.48   292065280
array-examples/standard_partial_init_true-unreach-call_ground.i 951    651    6475354112 11.9    7.44   302751744
array-examples/standard_partition_original_true-unreach-call_ground.i 961    666    6965407744 5.76   3.14   266452992
array-examples/standard_partition_true-unreach-call_ground.i 961    666    6734184448 6.99   4.15   274927616
array-examples/standard_password_true-unreach-call_ground.i 961    663    4113530880 5.31   3.40   268578816
array-examples/standard_reverse_true-unreach-call_ground.i 941    638    8105078784 11.7    6.77   293076992
array-examples/standard_running_true-unreach-call.i 928    626    7074115584 12.2    6.52   296091648
array-examples/standard_sentinel_true-unreach-call_true-termination.i 8.53 5.14 483016704 14.3    9.11   523157504
array-examples/standard_seq_init_true-unreach-call_ground.i 950    643    7978639360 12.8    7.59   300900352
array-examples/standard_strcmp_true-unreach-call_ground.i 936    639    4241567744 13.7    7.66   305082368
array-examples/standard_strcpy_original_true-unreach-call.i 950    648    7326998528 12.2    6.78   291545088
array-examples/standard_strcpy_true-unreach-call_ground.i 940    638    7589629952 12.2    6.52   299868160
array-examples/standard_two_index_01_true-unreach-call.i 930    627    9756033024 13.3    7.24   296853504
array-examples/standard_two_index_02_true-unreach-call.i 944    640    7205335040 13.2    7.11   308396032
array-examples/standard_two_index_03_true-unreach-call.i 950    622    7282593792 12.0    7.31   291852288
array-examples/standard_two_index_04_true-unreach-call.i 950    644    7802748928 12.3    7.16   300924928
array-examples/standard_two_index_05_true-unreach-call.i 946    642    7231442944 11.7    6.75   289521664
array-examples/standard_two_index_06_true-unreach-call.i 960    622    6683267072 14.8    7.86   302272512
array-examples/standard_two_index_07_true-unreach-call.i 954    645    8240824320 13.1    7.41   291794944
array-examples/standard_two_index_08_true-unreach-call.i 952    647    6119051264 12.3    6.59   296701952
array-examples/standard_two_index_09_true-unreach-call.i 958    650    8476905472 13.4    7.32   295923712
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 929    564    4268068864 12.5    6.89   307400704
array-examples/standard_vector_difference_true-unreach-call_ground.i 961    649    6654414848 5.80   3.10   276807680
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c 8.21 5.07 475422720 19.1    12.4    578338816
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 930    630    6808121344 11.4    6.50   304140288
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 932    639    7783092224 15.9    8.52   610729984
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 917    619    6711001088 12.8    7.24   299790336
array-industry-pattern/array_range_init_false-unreach-call.i 934    639    6861295616 13.8    8.40   543084544
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 922    625    7128571904 12.8    7.38   302878720
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 923    623    6832316416 11.8    6.88   297185280
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 927    627    7172632576 13.8    8.17   289480704
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 936    634    6132703232 11.3    6.99   300060672
array-industry-pattern/array_of_struct_break_true-unreach-call.i 961    592    8982016000 5.50   3.52   275128320
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 914    624    7230562304 18.4    10.0    629231616
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 952    646    9227046912 11.5    7.04   296431616
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 924    632    7470260224 18.6    10.6    569004032
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 941    645    6927925248 17.8    10.2    656314368
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 920    630    6722527232 17.3    9.95   619843584
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 956    651    8468766720 15.2    8.89   617365504
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 961    667    7014490112 5.91   3.21   263917568
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 962    499    5796237312 5.35   3.32   270970880
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 97.0  88.2  671920128 19.8    11.3    502734848
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 903    883    3716157440 960      937      1877073920
reducercommutativity/rangesum20_false-unreach-call.i 903    876    3812995072 960      905      2161192960
reducercommutativity/rangesum40_false-unreach-call.i 904    872    5746757632 961      848      2055987200
reducercommutativity/rangesum60_false-unreach-call.i 904    873    7796809728 961      863      1832202240
reducercommutativity/rangesum_false-unreach-call_true-termination.i 45.4  33.6  590950400 15.4    8.83   460926976
reducercommutativity/avg05_true-unreach-call_true-termination.i 902    889    2880163840 961      923      5617016832
reducercommutativity/avg10_true-unreach-call_true-termination.i 902    886    3394838528 960      930      2557595648
reducercommutativity/avg20_true-unreach-call.i 903    881    3812548608 961      846      2063835136
reducercommutativity/avg40_true-unreach-call.i 903    879    5242388480 961      845      981651456
reducercommutativity/avg60_true-unreach-call.i 903    874    4900696064 960      926      845467648
reducercommutativity/avg_true-unreach-call_true-termination.i 227    214    1378824192 .0200 .0208 5599232
reducercommutativity/max05_true-unreach-call_true-termination.i 180    165    2731884544 960      921      1671938048
reducercommutativity/max10_true-unreach-call_true-termination.i 902    882    2750304256 961      840      3421966336
reducercommutativity/max20_true-unreach-call.i 902    873    2658332672 961      811      946913280
reducercommutativity/max40_true-unreach-call.i 902    873    3337998336 961      842      1155293184
reducercommutativity/max60_true-unreach-call.i 902    869    3906830336 960      929      852733952
reducercommutativity/max_true-unreach-call_true-termination.i 962    504    5310873600 4.95   3.24   275808256
reducercommutativity/sep05_true-unreach-call_true-termination.i 293    256    4013105152 961      911      3551576064
reducercommutativity/sep10_true-unreach-call.i 924    499    4660236288 961      819      7545688064
reducercommutativity/sep20_true-unreach-call.i 906    586    4801519616 961      829      6290481152
reducercommutativity/sep40_true-unreach-call.i 905    587    3809841152 960      921      1524310016
reducercommutativity/sep60_true-unreach-call.i 906    608    5262581760 961      918      982949888
reducercommutativity/sep_true-unreach-call_true-termination.i 930    475    4627419136 961      903      2214146048
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    887    3138670592 545      512      1406468096
reducercommutativity/sum10_true-unreach-call_true-termination.i 903    883    4697083904 961      900      1356132352
reducercommutativity/sum20_true-unreach-call.i 903    874    4392759296 961      847      1714429952
reducercommutativity/sum40_true-unreach-call.i 909    883    5740785664 961      866      801271808
reducercommutativity/sum60_true-unreach-call.i 904    874    6832746496 960      930      708960256
reducercommutativity/sum_true-unreach-call_true-termination.i 961    502    5119307776 6.05   3.79   273596416
array-tiling/mlceu_false-unreach-call.i 961    502    6456930304 5.83   3.63   273592320
array-tiling/skippedu_false-unreach-call.i 4.98 2.74 275562496 14.1    8.12   428777472
array-tiling/mbpr2_true-unreach-call.i 961    502    5586829312 5.30   3.39   274423808
array-tiling/mbpr3_true-unreach-call.i 953    492    6234124288 14.0    8.34   301973504
array-tiling/mbpr4_true-unreach-call.i 932    475    7019110400 13.4    7.78   306364416
array-tiling/mbpr5_true-unreach-call.i 920    465    6876692480 15.7    8.93   313114624
array-tiling/nr2_true-unreach-call.i 961    492    5629083648 5.60   3.46   271134720
array-tiling/nr3_true-unreach-call.i 961    494    4616937472 5.83   3.23   269033472
array-tiling/nr4_true-unreach-call.i 960    495    5892521984 14.7    8.70   301019136
array-tiling/nr5_true-unreach-call.i 961    500    4921663488 5.56   3.51   270163968
array-tiling/pnr2_true-unreach-call.i 960    499    3873796096 5.69   3.13   270651392
array-tiling/pnr3_true-unreach-call.i 960    508    6242467840 .0203 .0206 5603328
array-tiling/pnr4_true-unreach-call.i 961    501    3828916224 6.30   3.86   268447744
array-tiling/pnr5_true-unreach-call.i 960    509    5534859264 .0239 .0244 5632000
array-tiling/poly1_true-unreach-call.i 945    579    4325699584 13.6    7.71   298426368
array-tiling/poly2_true-unreach-call.i 944    482    5335531520 11.4    6.65   293101568
array-tiling/pr2_true-unreach-call.i 961    493    4189769728 5.13   3.25   264347648
array-tiling/pr3_true-unreach-call.i 961    500    3717009408 5.57   3.50   272560128
array-tiling/pr4_true-unreach-call.i 941    480    3497656320 13.1    7.99   299397120
array-tiling/pr5_true-unreach-call.i 961    501    3730145280 6.32   3.88   268935168
array-tiling/revcpyswp2_true-unreach-call.i 961    502    4402180096 5.46   3.41   273330176
array-tiling/rew_true-unreach-call.i 961    502    4864020480 5.93   3.66   270225408
array-tiling/rewnif_true-unreach-call.i 962    502    4978434048 5.63   3.54   288092160
array-tiling/rewnifrev2_true-unreach-call.i 961    504    4190220288 .0217 .0221 5545984
array-tiling/rewnifrev_true-unreach-call.i 961    501    4709232640 5.44   3.01   276619264
array-tiling/rewrev_true-unreach-call.i 961    505    4793270272 5.36   3.40   277245952
array-tiling/skipped_true-unreach-call.i 962    492    4357165056 5.71   3.56   279216128
array-tiling/tcpy_true-unreach-call.i 962    495    4474830848 5.38   3.42   269127680
array-programs/copysome1_false-unreach-call.i 938    638    8275030016 12.3    6.64   294195200
array-programs/copysome2_false-unreach-call.i 941    639    8708288512 11.3    6.14   296988672
array-programs/copysome1_true-unreach-call.i 954    647    8645308416 12.4    6.61   303013888
array-programs/copysome2_true-unreach-call.i 942    640    8610312192 11.3    6.97   295297024
array-crafted/bAnd1_true-unreach-call.i 904    872    13087821824 960      932      693604352
array-crafted/bAnd2_true-unreach-call.i 914    772    8316567552 13.7    7.67   296038400
array-crafted/bAnd3_true-unreach-call.i 944    638    7279136768 11.6    7.11   288915456
array-crafted/bAnd4_true-unreach-call.i 942    638    6899929088 11.7    6.34   289763328
array-crafted/bAnd5_true-unreach-call.i 961    501    5376569344 5.38   3.35   263290880
array-crafted/bor1_true-unreach-call.i 904    871    14526058496 960      929      920117248
array-crafted/bor2_true-unreach-call.i 912    773    8353103872 12.8    7.35   297496576
array-crafted/bor3_true-unreach-call.i 950    642    7562346496 11.9    6.36   299663360
array-crafted/bor4_true-unreach-call.i 938    636    7585390592 11.6    6.68   291221504
array-crafted/bor5_true-unreach-call.i 961    502    4785848320 5.53   3.55   273977344
array-crafted/mapavg1_true-unreach-call.i 904    875    6135300096 960      927      892837888
array-crafted/mapavg2_true-unreach-call.i 917    751    6623805440 13.0    7.48   299106304
array-crafted/mapavg3_true-unreach-call.i 947    640    4757868544 11.6    6.32   287916032
array-crafted/mapavg4_true-unreach-call.i 950    641    4971487232 13.4    7.29   314204160
array-crafted/mapavg5_true-unreach-call.i 210    205    763531264 .0192 .0195 5623808
array-crafted/mapsum1_true-unreach-call.i 904    870    8225083392 960      929      769429504
array-crafted/mapsum2_true-unreach-call.i 916    636    6877859840 13.5    7.23   301723648
array-crafted/mapsum3_true-unreach-call.i 942    632    7520354304 11.3    6.49   295997440
array-crafted/mapsum4_true-unreach-call.i 946    638    7244554240 12.3    6.62   288759808
array-crafted/mapsum5_true-unreach-call.i 961    503    4426698752 5.41   3.48   275542016
array-crafted/xor1_true-unreach-call.i 903    869    13568663552 960      928      914817024
array-crafted/xor2_true-unreach-call.i 913    693    6454595584 12.3    7.41   290312192
array-crafted/xor3_true-unreach-call.i 945    637    7256801280 11.4    6.17   301105152
array-crafted/xor4_true-unreach-call.i 946    640    8160669696 11.4    6.56   291393536
array-crafted/xor5_true-unreach-call.i 961    501    4868595712 6.27   3.91   271192064
array-crafted/zero_sum1_true-unreach-call.c 912    909    9750511616 .0280 .0285 5619712
array-crafted/zero_sum2_true-unreach-call.c 8.55 5.93 345399296 .0199 .0202 5619712
array-crafted/zero_sum3_true-unreach-call.c 13.0  10.1  396066816 .0193 .0196 5619712
array-crafted/zero_sum4_true-unreach-call.c 16.0  12.8  475086848 .0249 .0255 5611520
array-crafted/zero_sum5_true-unreach-call.c 25.9  22.3  565993472 .0267 .0275 5619712
array-crafted/zero_sum_const1_true-unreach-call.c 912    908    6461747200 .0220 .0225 5611520
array-crafted/zero_sum_const2_true-unreach-call.c 10.9  8.26 312340480 .0227 .0231 5619712
array-crafted/zero_sum_const3_true-unreach-call.c 12.2  9.17 336187392 .0245 .0250 5619712
array-crafted/zero_sum_const4_true-unreach-call.c 15.5  12.1  397160448 .0201 .0205 5611520
array-crafted/zero_sum_const5_true-unreach-call.c 18.4  14.9  405901312 .0191 .0194 5611520
array-crafted/zero_sum_const_m2_true-unreach-call.c 912    908    9169932288 .0194 .0198 5627904
array-crafted/zero_sum_const_m3_true-unreach-call.c 31.7  28.6  733704192 .0212 .0216 5615616
array-crafted/zero_sum_const_m4_true-unreach-call.c 962    593    6919692288 6.83   4.04   273858560
array-crafted/zero_sum_const_m5_true-unreach-call.c 912    909    1160187904 .0198 .0202 5615616
array-crafted/zero_sum_m2_true-unreach-call.c 801    796    14999998464 .0191 .0195 5615616
array-crafted/zero_sum_m3_true-unreach-call.c 912    909    1128775680 .0194 .0197 5611520
array-crafted/zero_sum_m4_true-unreach-call.c 912    909    1853976576 .0199 .0203 5611520
array-crafted/zero_sum_m5_true-unreach-call.c 912    909    12886220800 .0245 .0248 5611520
array-multidimensional/add-2-n-u_true-unreach-call.i 947    635    7911522304 12.0    6.39   300474368
array-multidimensional/add-3-n-u_true-unreach-call.i 931    624    7165562880 14.8    8.19   301846528
array-multidimensional/copy-2-u_true-unreach-call.i 961    654    7014543360 5.39   3.44   274587648
array-multidimensional/copy-3-n-u_true-unreach-call.i 937    628    6795800576 13.6    7.73   298053632
array-multidimensional/copy-partial-2-n-u_true-unreach-call.i 944    645    7021879296 12.4    7.01   301035520
array-multidimensional/copy-partial-3-u_true-unreach-call.i 155    143    3271368704 11.8    7.14   413736960
array-multidimensional/diff-2-n-u_true-unreach-call.i 942    632    7998324736 15.0    8.67   296505344
array-multidimensional/diff-3-n-u_true-unreach-call.i 934    625    7370551296 15.1    8.10   295985152
array-multidimensional/init-2-n-u_true-unreach-call.i 955    652    7056486400 11.7    7.27   296701952
array-multidimensional/init-3-u_true-unreach-call.i 961    657    7207788544 12.3    6.94   293949440
array-multidimensional/init-4-n-u_true-unreach-call.i 932    631    6166290432 12.9    7.37   302514176
array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i 961    503    6009417728 5.51   3.01   268476416
array-multidimensional/init-non-constant-3-u_true-unreach-call.i 945    646    6902501376 14.5    8.38   304660480
array-multidimensional/max-2-u_true-unreach-call.i 950    650    6075101184 13.3    7.23   299081728
array-multidimensional/max-3-n-u_true-unreach-call.i 941    631    6599319552 12.4    6.75   301002752
array-multidimensional/min-2-u_true-unreach-call.i 950    649    7137886208 11.7    7.12   301821952
array-multidimensional/min-3-n-u_true-unreach-call.i 934    625    6629388288 14.5    7.73   301785088
array-multidimensional/rev-2-n-u_true-unreach-call.i 957    643    7195639808 13.3    7.53   303923200
array-multidimensional/rev-3-u_true-unreach-call.i 934    627    6876250112 13.5    7.28   299749376
array-multidimensional/transpose-u_true-unreach-call.i 944    640    7115550720 14.8    8.25   290246656
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 19.3  13.4  449961984 34.2    19.9    590409728
bitvector/sum02_false-unreach-call_true-no-overflow.i 962    580    7141519360 6.53   3.59   274628608
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 14.6  8.68 485564416 960      924      999796736
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 17.1  10.6  481976320 960      927      994238464
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 9.90 7.54 292175872 960      953      606638080
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 10.3  7.93 294342656 960      952      680910848
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 103    101    308109312 960      950      947171328
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 3.25 1.81 239693824 37.3    28.8    594251776
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 12.8  7.08 448688128 146      134      637509632
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 4.45 2.47 271544320 23.0    19.6    338976768
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 5.00 2.75 276918272 18.5    14.9    334630912
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 5.53 3.06 275763200 16.4    12.2    329953280
bitvector/jain_5_true-unreach-call_true-no-overflow.i 961    650    8773910528 5.35   2.97   278138880
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 4.74 2.59 277438464 20.0    16.2    345903104
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 6.57 4.26 284213248 20.6    16.2    342523904
bitvector/modulus_true-unreach-call_true-no-overflow.i 235    218    2360074240 15.6    10.2    320032768
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 3.30 1.82 244031488 30.7    20.0    559554560
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 20.9  15.5  649236480 961      927      2192863232
bitvector/parity_true-unreach-call_true-no-overflow.i 610    595    10604621824 6.50   3.52   273657856
bitvector/sum02_true-unreach-call_true-no-overflow.i 962    581    6781042688 7.00   4.15   271880192
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 11.8  6.14 392732672 22.5    12.5    413663232
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 19.9  11.0  599580672 23.0    13.1    540995584
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 7.90 4.20 343228416 19.2    11.0    392044544
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 27.1  19.8  994689024 43.7    25.5    760053760
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 20.1  12.9  870567936 55.0    30.9    916361216
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 19.7  13.0  887521280 37.7    20.8    788103168
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 925    590    4971614208 961      846      6591164416
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 27.0  18.6  960200704 41.8    24.3    1069834240
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 66.8  56.8  1729179648 39.2    22.2    980955136
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 64.5  55.1  1782435840 31.0    17.5    908431360
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 23.2  16.0  881184768 37.3    21.3    922914816
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 23.6  16.4  898756608 42.6    23.8    960208896
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 14.5  8.90 456617984 142      120      775389184
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 154    136    2075066368 34.3    22.9    685670400
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 112    97.8  1928331264 961      890      800600064
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 181    177    422760448 334      302      838750208
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 153    137    2198142976 24.9    15.0    615694336
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.69 2.07 251736064 13.1    7.92   309538816
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 3.85 2.11 251662336 7.33   4.56   314630144
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 4.15 2.28 253308928 12.0    7.70   305041408
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 76.2  62.1  1501356032 40.1    25.8    1183457280
bitvector-regression/signextension2_false-unreach-call_true-termination.c 3.88 2.18 252575744 6.87   4.34   295903232
bitvector-regression/signextension_false-unreach-call_true-termination.c 3.87 2.16 254529536 6.59   11.7    295079936
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2.99 1.68 237957120 8.75   5.25   311513088
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 3.17 1.74 237625344 12.7    7.18   298901504
bitvector-regression/signextension2_true-unreach-call_true-termination.c 2.93 1.64 237748224 7.24   4.64   313798656
bitvector-regression/signextension_true-unreach-call_true-termination.c 3.09 1.71 239738880 7.96   4.90   311832576
bitvector-loops/diamond_false-unreach-call2.i 6.08 3.25 306425856 8.78   5.42   316878848
bitvector-loops/overflow_false-unreach-call1.i 957    651    8688619520 11.7    6.66   293330944
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 214    206    1218809856 962      576      13401387008
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.78 4.66 415399936 14.5    8.49   475525120
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.73 3.54 270823424 14.0    7.79   472096768
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.54 4.50 413810688 19.6    11.3    537382912
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.06 3.76 322109440 9.96   5.59   344633344
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 9.26 4.86 402677760 88.6    52.3    1105510400
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 100    90.4  1240510464 77.8    44.5    723599360
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 9.33 4.85 394391552 63.7    36.0    848629760
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 10.1  5.30 427925504 86.0    48.0    916471808
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.03 3.22 301477888 22.2    12.5    482983936
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.16 3.77 381153280 19.8    11.3    547086336
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 7.31 3.86 322703360 10.1    5.99   344342528
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 7.26 3.83 333697024 10.5    6.02   341352448
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 7.56 3.97 304775168 11.2    6.52   355672064
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 7.44 3.95 329756672 10.2    5.76   345448448
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 5.15 2.80 258060288 9.43   5.25   327815168
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 228    210    1148219392 12.6    6.85   477216768
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 95.1  85.9  695476224 11.3    6.58   425992192
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 7.51 3.98 282476544 12.6    7.00   356372480
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 9.67 5.16 456437760 10.1    6.04   344555520
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 7.35 3.89 312610816 9.95   5.92   367484928
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 7.43 3.95 308895744 11.0    6.31   373239808
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 6.06 3.25 261591040 9.04   5.19   319619072
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 17.7  11.0  728027136 32.1    18.1    769605632
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 18.4  11.6  690245632 39.4    21.6    1027162112
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 19.4  12.5  737505280 36.9    20.1    887132160
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 17.9  11.3  717815808 35.4    19.7    1019617280
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 19.0  12.2  741462016 54.6    30.6    1142583296
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 4.07 2.21 243826688 13.3    7.40   351768576
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.46 1.90 243867648 8.63   5.38   320487424
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 18.8  12.0  706859008 48.6    27.3    1101451264
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 18.6  12.0  726818816 56.1    31.3    981233664
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 19.5  12.2  711049216 40.6    23.1    869347328
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 102    92.1  2146410496 53.4    30.4    1630887936
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 54.1  44.6  1432346624 50.5    28.8    925618176
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 18.8  11.9  758902784 49.2    27.9    1097961472
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 5.03 2.75 260694016 10.6    6.25   357728256
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 5.23 2.83 262975488 11.1    6.59   360009728
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 18.6  13.6  690679808 19.2    10.8    669036544
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 51.1  44.1  1376518144 26.2    14.0    883908608
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 155    147    2263379968 32.0    17.9    1939857408
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 155    147    2278453248 42.0    26.0    3519438848
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 154    147    2427129856 76.3    48.8    5729525760
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 155    147    2465677312 177      111      7841689600
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 4.88 2.67 241467392 10.0    6.19   334938112
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 4.64 2.50 250368000 12.9    7.09   374870016
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 5.33 2.84 254197760 13.5    7.35   452710400
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 7.48 3.93 369356800 14.2    8.16   463757312
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 11.3  6.68 483512320 15.4    8.68   483774464
ntdrivers/cdaudio_false-unreach-call.i.cil.c 78.6  63.8  3177852928 961      904      7719759872
ntdrivers/diskperf_false-unreach-call.i.cil.c 16.3  11.2  488878080 203      186      3085488128
ntdrivers/floppy_false-unreach-call.i.cil.c 11.8  6.10 423374848 17.5    9.68   361967616
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 9.74 5.07 419168256 46.9    35.4    1473703936
ntdrivers/parport_false-unreach-call.i.cil.c 9.44 4.93 416116736 102      81.4    2962010112
ntdrivers/cdaudio_true-unreach-call.i.cil.c 15.7  8.14 568053760 665      598      3153346560
ntdrivers/diskperf_true-unreach-call.i.cil.c 102    90.2  1916215296 393      330      4067033088
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 88.7  65.7  1885696000 324      246      3916075008
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 49.0  30.1  1094389760 18.9    10.2    373137408
ntdrivers/parport_true-unreach-call.i.cil.c 124    102    3270332416 961      877      3455340544
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 104    92.8  1988468736 15.2    8.69   295997440
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 127    104    2623651840 14.1    8.24   295522304
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 102    91.9  2620968960 12.8    7.75   309805056
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 95.4  84.6  2117234688 15.5    8.86   301887488
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 43.4  33.7  1343336448 12.8    7.39   299835392
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 51.3  42.3  1526075392 16.0    9.04   304418816
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 40.8  31.9  1323757568 12.3    7.00   307277824
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 44.6  34.6  1335578624 15.9    9.08   306995200
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 58.0  29.7  1226866688 12.8    7.16   294875136
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 143    112    2910449664 13.5    7.96   307597312
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 191    99.7  3613216768 14.6    8.43   296337408
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 144    113    2926129152 12.7    7.59   294039552
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 224    115    3115266048 13.2    7.60   301461504
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 102    91.6  2202472448 12.8    7.47   302632960
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 49.2  25.3  1245429760 13.2    7.87   292638720
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 150    115    3018469376 14.5    8.35   297816064
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 52.2  27.0  1260953600 13.0    7.58   302047232
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 181    93.0  2702397440 13.3    7.63   295800832
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 55.6  28.5  1431719936 13.4    7.67   307912704
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 167    143    2432733184 14.0    8.15   300752896
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 214    191    2605797376 13.1    7.68   301219840
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 188    164    2687823872 14.9    8.55   312836096
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 243    218    2598481920 14.4    8.00   302784512
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 188    143    2971934720 13.8    7.93   305389568
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 116    98.8  2611126272 13.1    7.78   301981696
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 485    337    4387930112 13.7    7.99   305975296
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 198    142    3747618816 13.5    8.16   310841344
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 154    123    3013632000 13.2    7.51   302731264
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 197    140    3736961024 14.9    8.48   303558656
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 136    110    2791833600 14.9    8.78   308613120
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 221    153    4012388352 12.6    7.42   300244992
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 353    224    4219211776 15.1    8.76   314064896
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 141    110    2815455232 13.8    7.89   307294208
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 244    174    4014440448 13.1    7.63   304128000
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 187    139    3202240512 13.5    8.14   305610752
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 413    274    4382187520 14.9    8.36   310665216
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 10.8  5.61 425828352 14.5    8.18   487612416
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 14.4  7.41 437989376 18.0    9.88   551591936
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 11.5  5.99 457396224 15.4    8.32   483581952
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 12.2  6.32 444657664 15.2    8.59   569602048
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 11.2  5.84 472707072 17.4    9.76   478666752
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 10.6  5.56 403705856 18.3    10.1    477511680
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 11.9  6.19 457449472 15.6    8.59   489390080
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 11.4  5.96 459145216 15.6    8.67   487399424
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 9.51 5.02 408195072 18.1    10.0    564453376
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 12.2  6.30 436625408 15.7    8.51   572829696
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 10.4  5.43 404553728 16.0    8.91   476499968
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 11.7  6.08 459042816 17.2    9.55   480980992
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 14.1  7.30 447463424 15.7    8.94   479625216
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 9.45 4.94 407965696 14.8    8.26   535871488
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 7.81 4.17 334262272 15.2    8.13   475729920
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 8.51 4.49 410759168 13.6    7.65   470609920
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 8.98 4.70 427962368 14.5    8.12   492642304
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 10.9  5.68 456523776 16.8    9.43   568209408
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 10.8  5.60 404807680 15.7    8.77   562679808
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 11.7  6.07 464633856 15.3    8.57   559222784
eca-rers2012/Problem03_label09_false-unreach-call.c 19.8  10.6  747782144 24.8    13.5    734523392
eca-rers2012/Problem03_label13_false-unreach-call.c 19.3  10.1  669564928 21.5    12.0    728690688
eca-rers2012/Problem03_label26_false-unreach-call.c 16.0  8.20 576225280 22.8    12.4    729878528
eca-rers2012/Problem03_label27_false-unreach-call.c 17.9  9.32 633475072 22.5    12.6    702918656
eca-rers2012/Problem03_label28_false-unreach-call.c 18.4  9.68 777543680 21.1    11.7    747184128
eca-rers2012/Problem03_label31_false-unreach-call.c 20.0  10.4  790937600 26.8    14.5    713408512
eca-rers2012/Problem03_label35_false-unreach-call.c 22.5  12.0  860762112 25.9    14.3    884166656
eca-rers2012/Problem03_label37_false-unreach-call.c 16.0  8.22 535916544 22.0    12.2    547348480
eca-rers2012/Problem03_label39_false-unreach-call.c 20.8  11.1  813350912 26.8    14.5    704864256
eca-rers2012/Problem03_label43_false-unreach-call.c 16.1  8.37 604901376 25.4    13.9    553263104
eca-rers2012/Problem03_label45_false-unreach-call.c 20.1  10.8  844050432 26.0    14.3    834670592
eca-rers2012/Problem03_label50_false-unreach-call.c 18.4  9.82 769032192 23.5    12.8    757096448
eca-rers2012/Problem03_label52_false-unreach-call.c 21.2  11.4  876220416 23.3    13.1    891801600
eca-rers2012/Problem04_label04_false-unreach-call.c 95.3  62.7  5141311488 209      158      5802876928
eca-rers2012/Problem04_label06_false-unreach-call.c 286    227    5835563008 239      183      5895221248
eca-rers2012/Problem04_label09_false-unreach-call.c 100    64.1  4786544640 229      173      5753970688
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 95.1  61.6  4847034368 199      147      5726830592
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 309    246    7104270336 299      235      6035714048
eca-rers2012/Problem04_label13_false-unreach-call.c 96.0  62.6  5033709568 210      157      5766471680
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 105    67.6  5139275776 211      161      5807497216
eca-rers2012/Problem04_label15_false-unreach-call.c 95.2  61.0  4908326912 202      152      5757337600
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 91.6  59.8  4594688000 225      170      5689925632
eca-rers2012/Problem04_label18_false-unreach-call.c 299    240    5691265024 198      150      5739143168
eca-rers2012/Problem04_label19_false-unreach-call.c 105    68.7  5297717248 294      232      6105309184
eca-rers2012/Problem04_label26_false-unreach-call.c 245    186    6450040832 202      153      5790138368
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 105    66.1  4929462272 203      150      5702238208
eca-rers2012/Problem04_label31_false-unreach-call.c 105    67.8  4887212032 206      157      5812322304
eca-rers2012/Problem04_label32_false-unreach-call.c 92.6  60.2  4986212352 200      153      5754822656
eca-rers2012/Problem04_label35_false-unreach-call.c 98.9  63.5  4738711552 225      165      5833224192
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 94.5  61.8  4623089664 198      147      5732249600
eca-rers2012/Problem04_label38_false-unreach-call.c 101    65.3  4992352256 199      152      5770743808
eca-rers2012/Problem04_label39_false-unreach-call.c 102    67.0  5152165888 218      165      5859905536
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 106    68.3  4916256768 278      217      5911158784
eca-rers2012/Problem04_label45_false-unreach-call.c 93.9  60.6  4718747648 234      173      5815382016
eca-rers2012/Problem04_label52_false-unreach-call.c 235    174    6435549184 231      178      5959049216
eca-rers2012/Problem04_label55_false-unreach-call.c 102    66.8  4948455424 200      151      5729890304
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 99.7  65.6  5143805952 241      185      5883240448
eca-rers2012/Problem05_label00_false-unreach-call.c 274    227    5439217664 209      157      5462929408
eca-rers2012/Problem05_label01_false-unreach-call.c 266    222    5363675136 206      154      5411762176
eca-rers2012/Problem05_label11_false-unreach-call.c 250    201    5383376896 165      123      5517250560
eca-rers2012/Problem05_label13_false-unreach-call.c 276    231    5377380352 267      213      5758214144
eca-rers2012/Problem05_label15_false-unreach-call.c 258    206    5470601216 172      130      5483986944
eca-rers2012/Problem05_label18_false-unreach-call.c 256    204    5261365248 233      179      5527793664
eca-rers2012/Problem05_label24_false-unreach-call.c 262    213    5328687104 197      149      5473202176
eca-rers2012/Problem05_label26_false-unreach-call.c 279    232    5333229568 309      256      5556690944
eca-rers2012/Problem05_label30_false-unreach-call.c 255    201    5309730816 205      156      5436657664
eca-rers2012/Problem05_label32_false-unreach-call.c 277    222    5290397696 321      265      5789720576
eca-rers2012/Problem05_label33_false-unreach-call.c 282    235    5419692032 315      251      5830320128
eca-rers2012/Problem05_label36_false-unreach-call.c 255    210    5045436416 179      132      5395472384
eca-rers2012/Problem05_label37_false-unreach-call.c 255    208    5548937216 244      196      5618290688
eca-rers2012/Problem05_label38_false-unreach-call.c 356    304    5605593088 207      157      5517705216
eca-rers2012/Problem05_label39_false-unreach-call.c 268    219    5266718720 229      179      5570985984
eca-rers2012/Problem05_label40_false-unreach-call.c 276    226    5337899008 235      178      5488275456
eca-rers2012/Problem05_label41_false-unreach-call.c 315    268    5416116224 192      146      5423702016
eca-rers2012/Problem05_label44_false-unreach-call.c 329    278    5240012800 252      190      5520707584
eca-rers2012/Problem05_label47_false-unreach-call.c 267    217    5358784512 199      150      5503455232
eca-rers2012/Problem05_label48_false-unreach-call.c 291    239    5365977088 228      174      5470965760
eca-rers2012/Problem05_label51_false-unreach-call.c 267    214    5277175808 356      290      5630926848
eca-rers2012/Problem05_label55_false-unreach-call.c 278    225    5691645952 276      222      5636640768
eca-rers2012/Problem05_label57_false-unreach-call.c 258    212    5283749888 320      247      5550555136
eca-rers2012/Problem05_label58_false-unreach-call.c 271    224    5337128960 230      167      5414797312
eca-rers2012/Problem06_label00_false-unreach-call.c 226    183    5593645056 160      109      5078732800
eca-rers2012/Problem06_label01_false-unreach-call.c 228    185    5669715968 201      147      5274198016
eca-rers2012/Problem06_label02_false-unreach-call.c 269    228    5753593856 185      126      5288906752
eca-rers2012/Problem06_label04_false-unreach-call.c 254    209    5742018560 133      86.6    5045329920
eca-rers2012/Problem06_label05_false-unreach-call.c 222    182    5379751936 117      78.8    5061464064
eca-rers2012/Problem06_label09_false-unreach-call.c 98.8  74.2  4073472000 104      64.3    4607844352
eca-rers2012/Problem06_label10_false-unreach-call.c 224    183    5531242496 123      82.5    5026029568
eca-rers2012/Problem06_label11_false-unreach-call.c 230    185    5449961472 158      107      5016457216
eca-rers2012/Problem06_label12_false-unreach-call.c 221    178    5333471232 128      82.3    4903206912
eca-rers2012/Problem06_label15_false-unreach-call.c 227    185    5528276992 158      107      5124149248
eca-rers2012/Problem06_label20_false-unreach-call.c 254    209    6050217984 116      73.2    4795850752
eca-rers2012/Problem06_label21_false-unreach-call.c 254    211    5863522304 163      109      5082140672
eca-rers2012/Problem06_label24_false-unreach-call.c 262    218    6135517184 193      144      5097725952
eca-rers2012/Problem06_label27_false-unreach-call.c 232    189    5600591872 174      119      5021806592
eca-rers2012/Problem06_label29_false-unreach-call.c 104    76.9  4410945536 98.7    60.4    4603842560
eca-rers2012/Problem06_label33_false-unreach-call.c 97.4  67.7  3625205760 90.8    56.2    4645277696
eca-rers2012/Problem06_label36_false-unreach-call.c 245    204    4982312960 131      84.7    4967653376
eca-rers2012/Problem06_label37_false-unreach-call.c 249    206    5494661120 144      96.5    5079740416
eca-rers2012/Problem06_label38_false-unreach-call.c 247    204    5568835584 109      69.1    4876943360
eca-rers2012/Problem06_label44_false-unreach-call.c 232    189    5422346240 108      68.5    4899803136
eca-rers2012/Problem06_label47_false-unreach-call.c 84.4  61.8  4011126784 109      65.8    4666327040
eca-rers2012/Problem06_label48_false-unreach-call.c 237    197    5067849728 155      106      5123117056
eca-rers2012/Problem06_label56_false-unreach-call.c 82.1  59.0  4039344128 89.9    55.9    4601409536
eca-rers2012/Problem06_label58_false-unreach-call.c 236    193    5315203072 146      103      5161639936
eca-rers2012/Problem06_label59_false-unreach-call.c 242    199    5737869312 149      103      5131333632
eca-rers2012/Problem07_label03_false-unreach-call.c 961    589    9533460480 8.93   4.93   490254336
eca-rers2012/Problem07_label05_false-unreach-call.c 961    593    8837480448 8.67   5.07   492429312
eca-rers2012/Problem07_label06_false-unreach-call.c 961    591    8947245056 9.53   5.37   479543296
eca-rers2012/Problem07_label07_false-unreach-call.c 960    592    9549152256 10.4    5.52   485249024
eca-rers2012/Problem07_label09_false-unreach-call.c 962    585    9904779264 .0384 .0392 5537792
eca-rers2012/Problem07_label11_false-unreach-call.c 961    583    9205239808 8.25   4.61   491085824
eca-rers2012/Problem07_label15_false-unreach-call.c 962    593    9935872000 .0231 .0235 5435392
eca-rers2012/Problem07_label18_false-unreach-call.c 960    604    8387072000 10.2    5.63   486825984
eca-rers2012/Problem07_label19_false-unreach-call.c 961    597    8391077888 9.16   5.05   495382528
eca-rers2012/Problem07_label20_false-unreach-call.c 962    579    9454284800 8.22   4.59   489611264
eca-rers2012/Problem07_label23_false-unreach-call.c 962    588    9335250944 .0195 .0199 5619712
eca-rers2012/Problem07_label30_false-unreach-call.c 960    589    9031589888 9.75   5.71   491749376
eca-rers2012/Problem07_label31_false-unreach-call.c 961    585    8743100416 7.78   4.34   491659264
eca-rers2012/Problem07_label35_false-unreach-call.c 961    616    8196149248 9.36   5.15   486674432
eca-rers2012/Problem07_label36_false-unreach-call.c 962    571    9855090688 .0261 .0266 5627904
eca-rers2012/Problem07_label37_false-unreach-call.c 960    592    8943628288 8.17   4.50   494178304
eca-rers2012/Problem07_label39_false-unreach-call.c 961    576    9095798784 .0195 .0199 5619712
eca-rers2012/Problem07_label40_false-unreach-call.c 962    580    9409228800 7.74   4.41   487927808
eca-rers2012/Problem07_label42_false-unreach-call.c 961    575    9295241216 8.22   4.77   483946496
eca-rers2012/Problem07_label44_false-unreach-call.c 962    575    10892898304 .0191 .0194 5623808
eca-rers2012/Problem07_label46_false-unreach-call.c 960    579    9244446720 .0301 .0306 5545984
eca-rers2012/Problem07_label47_false-unreach-call.c 961    578    9418629120 8.09   4.66   492769280
eca-rers2012/Problem07_label48_false-unreach-call.c 960    593    8891596800 7.87   4.51   484061184
eca-rers2012/Problem07_label58_false-unreach-call.c 961    587    9011138560 8.25   4.78   493883392
eca-rers2012/Problem08_label01_false-unreach-call.c 962    557    11220131840 .0241 .0245 5558272
eca-rers2012/Problem08_label02_false-unreach-call.c 962    553    12593819648 .0245 .0250 5619712
eca-rers2012/Problem08_label04_false-unreach-call.c 962    548    10380664832 8.86   5.15   611852288
eca-rers2012/Problem08_label05_false-unreach-call.c 962    551    10226180096 8.72   5.36   484929536
eca-rers2012/Problem08_label06_false-unreach-call.c 962    550    10021056512 9.43   5.43   612630528
eca-rers2012/Problem08_label07_false-unreach-call.c 962    550    10967334912 .0249 .0252 5627904
eca-rers2012/Problem08_label10_false-unreach-call.c 962    546    11092434944 .0217 .0222 5595136
eca-rers2012/Problem08_label13_false-unreach-call.c 962    553    10450640896 10.3    6.03   481103872
eca-rers2012/Problem08_label15_false-unreach-call.c 962    546    10192060416 9.22   5.61   609685504
eca-rers2012/Problem08_label24_false-unreach-call.c 962    542    10181246976 8.61   4.91   489938944
eca-rers2012/Problem08_label25_false-unreach-call.c 962    561    10787672064 9.52   5.44   492892160
eca-rers2012/Problem08_label26_false-unreach-call.c 961    572    11233595392 9.64   5.64   485306368
eca-rers2012/Problem08_label28_false-unreach-call.c 962    547    10767716352 .0196 .0200 5619712
eca-rers2012/Problem08_label29_false-unreach-call.c 962    548    11448406016 .0250 .0255 5627904
eca-rers2012/Problem08_label34_false-unreach-call.c 960    565    10371919872 10.2    6.09   613744640
eca-rers2012/Problem08_label37_false-unreach-call.c 961    573    10420649984 8.89   5.20   491864064
eca-rers2012/Problem08_label43_false-unreach-call.c 962    556    10366668800 9.11   5.55   487084032
eca-rers2012/Problem08_label46_false-unreach-call.c 962    548    11104276480 10.9    6.36   613896192
eca-rers2012/Problem08_label48_false-unreach-call.c 962    548    11148554240 .0226 .0230 5615616
eca-rers2012/Problem08_label49_false-unreach-call.c 962    551    11450032128 .0192 .0196 5488640
eca-rers2012/Problem08_label50_false-unreach-call.c 962    561    12142026752 .0194 .0198 5615616
eca-rers2012/Problem08_label51_false-unreach-call.c 962    549    11086196736 8.69   4.96   494718976
eca-rers2012/Problem08_label55_false-unreach-call.c 962    553    10364260352 9.20   5.23   613117952
eca-rers2012/Problem08_label59_false-unreach-call.c 960    572    10369777664 10.5    6.13   608575488
eca-rers2012/Problem09_label02_false-unreach-call.c 962    550    11090771968 .0245 .0250 5619712
eca-rers2012/Problem09_label03_false-unreach-call.c 962    551    11083440128 .0257 .0262 5541888
eca-rers2012/Problem09_label06_false-unreach-call.c 962    540    11078197248 .0199 .0202 5619712
eca-rers2012/Problem09_label08_false-unreach-call.c 962    542    11088932864 .0244 .0248 5615616
eca-rers2012/Problem09_label10_false-unreach-call.c 961    558    11096379392 8.87   5.47   512380928
eca-rers2012/Problem09_label11_false-unreach-call.c 962    539    11088666624 .0197 .0205 5738496
eca-rers2012/Problem09_label15_false-unreach-call.c 961    547    11081998336 .0195 .0199 5615616
eca-rers2012/Problem09_label19_false-unreach-call.c 962    540    11077193728 .0247 .0256 5627904
eca-rers2012/Problem09_label20_false-unreach-call.c 962    551    11081547776 .0203 .0207 5619712
eca-rers2012/Problem09_label32_false-unreach-call.c 962    544    11086393344 .0233 .0240 5615616
eca-rers2012/Problem09_label34_false-unreach-call.c 962    541    11088494592 .0210 .0214 5623808
eca-rers2012/Problem09_label35_false-unreach-call.c 962    538    11087970304 .0193 .0200 5754880
eca-rers2012/Problem09_label36_false-unreach-call.c 961    559    11092594688 11.2    6.28   621060096
eca-rers2012/Problem09_label38_false-unreach-call.c 962    541    11084558336 .0191 .0195 5619712
eca-rers2012/Problem09_label41_false-unreach-call.c 962    542    11081674752 .0261 .0721 5545984
eca-rers2012/Problem09_label44_false-unreach-call.c 962    543    11078160384 .0254 .0261 5545984
eca-rers2012/Problem09_label46_false-unreach-call.c 960    562    11086618624 9.48   5.51   520101888
eca-rers2012/Problem09_label47_false-unreach-call.c 962    544    11091271680 .0198 .0201 5619712
eca-rers2012/Problem09_label51_false-unreach-call.c 962    544    11092647936 .0244 .0249 5615616
eca-rers2012/Problem09_label53_false-unreach-call.c 961    561    11102683136 8.77   5.44   612253696
eca-rers2012/Problem09_label54_false-unreach-call.c 962    538    11095756800 .0205 .0209 5615616
eca-rers2012/Problem09_label56_false-unreach-call.c 962    539    11085701120 .0262 .0267 5595136
eca-rers2012/Problem09_label57_false-unreach-call.c 962    539    11089899520 .0192 .0195 5623808
eca-rers2012/Problem09_label59_false-unreach-call.c 962    542    11090731008 .0271 .0280 5611520
eca-rers2012/Problem10_label12_false-unreach-call.c 12.5  6.50 443346944 15.3    8.47   556007424
eca-rers2012/Problem10_label15_false-unreach-call.c 15.0  7.92 612249600 15.2    8.55   482217984
eca-rers2012/Problem10_label24_false-unreach-call.c 16.6  8.92 584859648 14.5    7.88   543162368
eca-rers2012/Problem10_label26_false-unreach-call.c 15.9  8.93 786583552 17.8    9.82   537178112
eca-rers2012/Problem10_label28_false-unreach-call.c 14.8  7.93 612188160 14.8    8.49   519319552
eca-rers2012/Problem10_label29_false-unreach-call.c 17.8  9.30 576262144 18.4    10.1    471584768
eca-rers2012/Problem10_label41_false-unreach-call.c 10.2  5.33 448720896 13.9    7.82   478699520
eca-rers2012/Problem10_label42_false-unreach-call.c 9.33 4.90 417792000 16.6    9.24   453677056
eca-rers2012/Problem10_label46_false-unreach-call.c 7.92 4.21 322387968 13.6    7.83   402735104
eca-rers2012/Problem10_label47_false-unreach-call.c 11.7  6.12 458371072 15.4    8.74   479227904
eca-rers2012/Problem10_label48_false-unreach-call.c 15.1  8.14 591593472 16.5    9.18   481554432
eca-rers2012/Problem10_label50_false-unreach-call.c 14.4  7.44 449765376 14.5    8.28   546566144
eca-rers2012/Problem10_label55_false-unreach-call.c 11.7  6.05 465489920 14.6    8.26   478773248
eca-rers2012/Problem10_label57_false-unreach-call.c 14.1  7.58 612253696 17.4    9.44   515375104
eca-rers2012/Problem10_label58_false-unreach-call.c 15.6  8.50 582303744 14.8    8.45   483676160
eca-rers2012/Problem11_label00_false-unreach-call.c 16.6  8.88 589185024 17.7    9.96   481685504
eca-rers2012/Problem11_label08_false-unreach-call.c 14.5  7.63 545447936 18.6    10.0    558673920
eca-rers2012/Problem11_label14_false-unreach-call.c 12.3  6.37 461897728 16.4    9.43   539910144
eca-rers2012/Problem11_label15_false-unreach-call.c 13.8  7.20 553222144 16.9    9.44   544600064
eca-rers2012/Problem11_label20_false-unreach-call.c 18.2  10.6  840388608 18.7    10.5    522371072
eca-rers2012/Problem11_label29_false-unreach-call.c 13.2  6.79 445014016 19.0    10.7    474378240
eca-rers2012/Problem11_label31_false-unreach-call.c 16.0  8.66 590462976 20.1    11.2    469512192
eca-rers2012/Problem11_label34_false-unreach-call.c 16.4  8.76 613961728 16.6    9.25   527183872
eca-rers2012/Problem11_label36_false-unreach-call.c 13.2  6.91 571314176 19.3    10.8    529752064
eca-rers2012/Problem11_label39_false-unreach-call.c 18.1  10.3  858247168 19.4    10.8    520892416
eca-rers2012/Problem11_label42_false-unreach-call.c 12.3  6.35 483774464 18.2    9.98   528502784
eca-rers2012/Problem11_label43_false-unreach-call.c 13.7  7.06 571645952 21.1    11.4    548921344
eca-rers2012/Problem11_label49_false-unreach-call.c 11.4  5.92 466272256 19.4    10.6    470556672
eca-rers2012/Problem11_label51_false-unreach-call.c 15.2  8.13 631865344 17.5    9.78   538460160
eca-rers2012/Problem11_label58_false-unreach-call.c 13.7  7.17 581931008 18.5    9.93   478289920
eca-rers2012/Problem12_label00_false-unreach-call.c 571    435    14999998464 .0194 .0197 5623808
eca-rers2012/Problem12_label03_false-unreach-call.c 597    447    14999998464 .0207 .0211 5488640
eca-rers2012/Problem12_label06_false-unreach-call.c 587    442    14999998464 .0201 .0205 5595136
eca-rers2012/Problem12_label07_false-unreach-call.c 569    428    14999998464 .0192 .0198 5619712
eca-rers2012/Problem12_label08_false-unreach-call.c 599    449    14999998464 .0199 .0203 5615616
eca-rers2012/Problem12_label10_false-unreach-call.c 577    437    14999998464 .0197 .0201 5619712
eca-rers2012/Problem12_label13_false-unreach-call.c 571    435    14999998464 .0196 .0200 5623808
eca-rers2012/Problem12_label19_false-unreach-call.c 606    452    14999998464 .0243 .0248 5627904
eca-rers2012/Problem12_label20_false-unreach-call.c 63.8  47.4  3201388544 36.0    19.9    822353920
eca-rers2012/Problem12_label21_false-unreach-call.c 562    430    14999998464 .0199 .0205 5619712
eca-rers2012/Problem12_label25_false-unreach-call.c 614    454    14999998464 .0198 .0202 5492736
eca-rers2012/Problem12_label28_false-unreach-call.c 589    443    14999998464 .0308 .0313 5541888
eca-rers2012/Problem12_label30_false-unreach-call.c 605    451    14999998464 .0259 .0264 5623808
eca-rers2012/Problem12_label34_false-unreach-call.c 572    435    14999998464 .0193 .0197 5599232
eca-rers2012/Problem12_label35_false-unreach-call.c 43.8  29.0  2576920576 38.1    20.3    851329024
eca-rers2012/Problem12_label37_false-unreach-call.c 575    436    14999998464 .0262 .0267 5545984
eca-rers2012/Problem12_label38_false-unreach-call.c 571    434    14999998464 .0192 .0196 5623808
eca-rers2012/Problem12_label39_false-unreach-call.c 781    540    14999998464 .0215 .0219 5627904
eca-rers2012/Problem12_label40_false-unreach-call.c 583    435    14999998464 .0194 .0198 5615616
eca-rers2012/Problem12_label42_false-unreach-call.c 608    454    14999998464 .0259 .0264 5541888
eca-rers2012/Problem12_label48_false-unreach-call.c 573    435    14999998464 .0196 .0200 5595136
eca-rers2012/Problem12_label50_false-unreach-call.c 569    432    14999998464 .0242 .0254 5619712
eca-rers2012/Problem12_label51_false-unreach-call.c 570    436    14999998464 .0199 .0204 5623808
eca-rers2012/Problem12_label52_false-unreach-call.c 624    460    14999998464 .0200 .0205 5619712
eca-rers2012/Problem12_label55_false-unreach-call.c 78.1  58.4  3284926464 37.0    20.3    872312832
eca-rers2012/Problem13_label04_false-unreach-call.c 37.9  24.1  2037964800 38.4    21.6    941891584
eca-rers2012/Problem13_label06_false-unreach-call.c 57.8  41.2  3255185408 38.9    21.8    1178857472
eca-rers2012/Problem13_label07_false-unreach-call.c 66.2  46.7  3304017920 33.7    19.0    958820352
eca-rers2012/Problem13_label11_false-unreach-call.c 51.9  35.2  2473046016 35.9    20.1    977305600
eca-rers2012/Problem13_label12_false-unreach-call.c 470    382    14999998464 .0192 .0195 5623808
eca-rers2012/Problem13_label16_false-unreach-call.c 66.9  48.4  3618828288 43.1    24.4    956407808
eca-rers2012/Problem13_label19_false-unreach-call.c 453    372    14999998464 .0198 .0202 5623808
eca-rers2012/Problem13_label21_false-unreach-call.c 90.8  68.3  4216320000 35.8    20.2    936734720
eca-rers2012/Problem13_label23_false-unreach-call.c 681    490    14999998464 .0190 .0193 5619712
eca-rers2012/Problem13_label24_false-unreach-call.c 60.4  43.3  2986782720 34.3    19.8    955695104
eca-rers2012/Problem13_label25_false-unreach-call.c 70.5  49.6  3406057472 34.3    19.4    911450112
eca-rers2012/Problem13_label28_false-unreach-call.c 46.5  31.1  2354155520 36.1    20.0    848203776
eca-rers2012/Problem13_label29_false-unreach-call.c 66.0  48.6  3446583296 36.1    20.4    956469248
eca-rers2012/Problem13_label30_false-unreach-call.c 101    76.5  4431294464 40.8    23.1    961556480
eca-rers2012/Problem13_label32_false-unreach-call.c 66.4  48.3  3163168768 38.9    21.7    943935488
eca-rers2012/Problem13_label35_false-unreach-call.c 31.4  19.8  1512030208 38.2    21.0    941162496
eca-rers2012/Problem13_label36_false-unreach-call.c 99.6  76.9  4297756672 44.3    24.1    987320320
eca-rers2012/Problem13_label40_false-unreach-call.c 41.9  27.8  2188464128 31.3    17.5    896475136
eca-rers2012/Problem13_label43_false-unreach-call.c 644    467    14999998464 .0196 .0200 5750784
eca-rers2012/Problem13_label44_false-unreach-call.c 32.4  19.8  1573736448 32.9    18.4    897609728
eca-rers2012/Problem13_label45_false-unreach-call.c 48.9  33.6  2667266048 32.8    18.2    872378368
eca-rers2012/Problem13_label48_false-unreach-call.c 47.5  31.4  2363052032 34.7    19.3    866328576
eca-rers2012/Problem13_label51_false-unreach-call.c 463    376    14999998464 .0193 .0198 5619712
eca-rers2012/Problem13_label54_false-unreach-call.c 53.6  36.1  2476503040 34.6    19.7    961196032
eca-rers2012/Problem13_label58_false-unreach-call.c 466    380    14999998464 .0193 .0197 5619712
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 27.3  14.2  1099804672 24.0    13.4    843788288
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 23.6  12.1  1043894272 25.8    14.2    782651392
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 23.5  12.0  817627136 21.6    11.8    758362112
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 21.9  11.3  954114048 21.2    11.6    663670784
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 26.6  13.9  1077047296 26.8    14.8    833839104
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 21.6  11.2  941809664 26.1    14.3    652304384
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 19.9  10.3  779337728 20.6    11.5    647528448
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 23.8  12.2  1033793536 31.2    16.2    730451968
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 23.1  12.1  1051242496 24.5    13.6    811974656
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 28.1  14.4  810491904 20.5    11.4    717471744
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 27.5  14.2  1114259456 23.4    12.8    734093312
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 27.4  14.3  1027473408 26.7    14.6    750649344
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 21.2  11.0  934948864 23.8    13.2    727908352
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 21.1  10.9  914407424 21.4    12.0    649580544
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 22.3  11.6  1030647808 21.6    12.2    744771584
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 21.9  11.3  953982976 24.7    13.5    692088832
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 22.3  11.7  998477824 22.3    12.1    655163392
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 25.9  13.7  1068163072 22.5    12.5    1015848960
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 27.1  14.2  1043046400 27.3    14.5    719810560
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 26.2  13.7  1076125696 24.1    13.4    846315520
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 21.6  11.3  959901696 21.3    12.0    661667840
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 26.8  13.9  1073098752 25.7    13.6    733777920
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 22.3  11.5  985812992 24.6    13.6    657313792
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 20.5  10.5  784678912 20.1    11.4    722292736
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 23.3  12.1  1032179712 22.6    12.6    666746880
eca-rers2012/Problem15_label00_false-unreach-call.c 22.1  11.7  688234496 23.6    13.2    526516224
eca-rers2012/Problem15_label02_false-unreach-call.c 18.4  9.53 606986240 26.5    14.9    699936768
eca-rers2012/Problem15_label03_false-unreach-call.c 20.0  10.7  766803968 22.2    12.9    693399552
eca-rers2012/Problem15_label07_false-unreach-call.c 20.5  11.2  940539904 25.9    14.3    731426816
eca-rers2012/Problem15_label09_false-unreach-call.c 20.3  10.6  850780160 25.0    13.9    691437568
eca-rers2012/Problem15_label14_false-unreach-call.c 21.2  11.4  915574784 24.3    13.1    667602944
eca-rers2012/Problem15_label15_false-unreach-call.c 18.3  9.67 668774400 26.8    14.7    612208640
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 19.0  10.0  840409088 22.0    12.3    687656960
eca-rers2012/Problem15_label22_false-unreach-call.c 17.4  9.20 642285568 27.2    15.3    695074816
eca-rers2012/Problem15_label23_false-unreach-call.c 19.7  10.8  817016832 27.7    15.0    627552256
eca-rers2012/Problem15_label25_false-unreach-call.c 20.4  10.9  773087232 25.6    13.8    707842048
eca-rers2012/Problem15_label29_false-unreach-call.c 19.1  10.2  866545664 24.6    13.4    625655808
eca-rers2012/Problem15_label30_false-unreach-call.c 19.1  10.3  773419008 22.4    12.8    667529216
eca-rers2012/Problem15_label33_false-unreach-call.c 18.7  10.2  891297792 22.6    12.7    569630720
eca-rers2012/Problem15_label34_false-unreach-call.c 20.7  11.2  893157376 24.1    13.2    609357824
eca-rers2012/Problem15_label37_false-unreach-call.c 19.4  10.4  864198656 24.1    13.4    626044928
eca-rers2012/Problem15_label38_false-unreach-call.c 20.6  11.2  906817536 22.7    12.6    618418176
eca-rers2012/Problem15_label39_false-unreach-call.c 21.1  11.4  945926144 23.3    13.0    692035584
eca-rers2012/Problem15_label40_false-unreach-call.c 19.0  9.98 638611456 21.6    11.9    619958272
eca-rers2012/Problem15_label41_false-unreach-call.c 18.3  9.97 883388416 26.5    14.7    682930176
eca-rers2012/Problem15_label45_false-unreach-call.c 21.1  11.5  893063168 26.2    14.8    674287616
eca-rers2012/Problem15_label47_false-unreach-call.c 20.1  10.6  872071168 22.3    12.3    623681536
eca-rers2012/Problem15_label48_false-unreach-call.c 17.8  9.45 793862144 22.7    12.5    622628864
eca-rers2012/Problem15_label50_false-unreach-call.c 21.2  11.7  934588416 21.9    12.3    706076672
eca-rers2012/Problem15_label51_false-unreach-call.c 18.8  10.4  766459904 22.6    12.4    552120320
eca-rers2012/Problem16_label00_false-unreach-call.c 962    651    8086614016 .0250 .0254 5615616
eca-rers2012/Problem16_label01_false-unreach-call.c 961    653    8467226624 .0231 .0238 5627904
eca-rers2012/Problem16_label03_false-unreach-call.c 961    643    14380494848 6.60   3.97   276537344
eca-rers2012/Problem16_label04_false-unreach-call.c 901    596    14999998464 .0194 .0200 5619712
eca-rers2012/Problem16_label05_false-unreach-call.c 960    642    14072524800 961      896      5010255872
eca-rers2012/Problem16_label06_false-unreach-call.c 961    651    14230401024 .0241 .0251 5619712
eca-rers2012/Problem16_label08_false-unreach-call.c 955    642    14924136448 869      778      5045043200
eca-rers2012/Problem16_label14_false-unreach-call.c 837    566    14999998464 .0206 .0210 5619712
eca-rers2012/Problem16_label15_false-unreach-call.c 949    635    14710456320 642      566      4783026176
eca-rers2012/Problem16_label18_false-unreach-call.c 960    640    14712225792 5.97   3.51   274309120
eca-rers2012/Problem16_label20_false-unreach-call.c 948    633    14582124544 489      410      4816777216
eca-rers2012/Problem16_label22_false-unreach-call.c 961    640    13267451904 5.51   3.34   272326656
eca-rers2012/Problem16_label27_false-unreach-call.c 961    639    14671663104 6.68   3.99   268517376
eca-rers2012/Problem16_label30_false-unreach-call.c 951    635    13341798400 961      895      5102333952
eca-rers2012/Problem16_label31_false-unreach-call.c 961    643    14740840448 961      868      5286019072
eca-rers2012/Problem16_label33_false-unreach-call.c 961    641    13973700608 6.67   4.02   279580672
eca-rers2012/Problem16_label37_false-unreach-call.c 948    633    14701535232 696      597      4943396864
eca-rers2012/Problem16_label38_false-unreach-call.c 957    639    14044549120 402      325      4853567488
eca-rers2012/Problem16_label41_false-unreach-call.c 953    635    14715654144 961      878      4996755456
eca-rers2012/Problem16_label43_false-unreach-call.c 960    643    14336561152 961      887      4712820736
eca-rers2012/Problem16_label44_false-unreach-call.c 945    632    13943713792 961      845      4714405888
eca-rers2012/Problem16_label46_false-unreach-call.c 961    649    14338265088 .0251 .0255 5619712
eca-rers2012/Problem16_label51_false-unreach-call.c 961    656    13439590400 .0230 .0235 5632000
eca-rers2012/Problem16_label52_false-unreach-call.c 961    657    14352941056 .0210 .0214 5623808
eca-rers2012/Problem16_label54_false-unreach-call.c 961    651    13988524032 .0196 .0200 5619712
eca-rers2012/Problem17_label04_false-unreach-call.c 23.6  14.5  1347284992 28.3    15.7    719605760
eca-rers2012/Problem17_label07_false-unreach-call.c 28.2  16.5  1217695744 36.7    19.8    850440192
eca-rers2012/Problem17_label09_false-unreach-call.c 26.3  15.2  1318895616 32.8    18.1    814718976
eca-rers2012/Problem17_label13_false-unreach-call.c 29.2  17.4  1489264640 34.5    18.9    719052800
eca-rers2012/Problem17_label16_false-unreach-call.c 26.4  14.7  1194897408 31.3    17.5    848781312
eca-rers2012/Problem17_label20_false-unreach-call.c 27.6  16.6  1348014080 28.5    15.8    700022784
eca-rers2012/Problem17_label23_false-unreach-call.c 24.8  15.6  1365811200 28.4    15.5    686628864
eca-rers2012/Problem17_label25_false-unreach-call.c 27.5  15.7  1145389056 33.7    18.0    712339456
eca-rers2012/Problem17_label26_false-unreach-call.c 26.8  15.8  1160253440 29.5    16.6    841457664
eca-rers2012/Problem17_label30_false-unreach-call.c 23.8  13.3  1185001472 27.6    15.3    761704448
eca-rers2012/Problem17_label31_false-unreach-call.c 22.0  12.0  820985856 31.2    16.8    844435456
eca-rers2012/Problem17_label33_false-unreach-call.c 28.6  18.0  1499815936 28.0    15.6    651120640
eca-rers2012/Problem17_label34_false-unreach-call.c 25.6  15.7  1261301760 34.4    18.3    711413760
eca-rers2012/Problem17_label35_false-unreach-call.c 22.5  12.4  887115776 37.2    20.1    714715136
eca-rers2012/Problem17_label37_false-unreach-call.c 29.0  17.8  1542770688 29.0    16.1    753053696
eca-rers2012/Problem17_label40_false-unreach-call.c 23.6  13.4  1196703744 34.0    18.5    709885952
eca-rers2012/Problem17_label46_false-unreach-call.c 23.6  13.0  1113686016 27.6    15.5    702685184
eca-rers2012/Problem17_label49_false-unreach-call.c 31.8  20.0  1470423040 28.0    15.4    709513216
eca-rers2012/Problem17_label50_false-unreach-call.c 22.7  12.6  961761280 35.5    19.0    713347072
eca-rers2012/Problem17_label52_false-unreach-call.c 23.7  13.0  996593664 32.6    17.8    845627392
eca-rers2012/Problem17_label53_false-unreach-call.c 25.8  14.9  1294245888 33.0    18.2    700977152
eca-rers2012/Problem17_label54_false-unreach-call.c 28.8  17.3  1558949888 31.3    17.3    723976192
eca-rers2012/Problem17_label55_false-unreach-call.c 27.3  15.7  1352957952 34.2    18.8    854409216
eca-rers2012/Problem17_label57_false-unreach-call.c 32.0  19.5  1596207104 36.9    19.6    754778112
eca-rers2012/Problem18_label00_false-unreach-call.c 75.4  55.1  4112596992 37.3    20.7    949207040
eca-rers2012/Problem18_label01_false-unreach-call.c 75.7  58.8  3588501504 34.2    19.1    958509056
eca-rers2012/Problem18_label03_false-unreach-call.c 49.7  33.3  2431213568 39.4    22.5    957292544
eca-rers2012/Problem18_label06_false-unreach-call.c 87.8  65.9  4035051520 45.6    25.8    972292096
eca-rers2012/Problem18_label08_false-unreach-call.c 78.8  58.3  3929944064 36.0    19.9    996642816
eca-rers2012/Problem18_label09_false-unreach-call.c 57.3  39.3  3657908224 40.1    22.7    960081920
eca-rers2012/Problem18_label10_false-unreach-call.c 73.4  53.2  4159057920 32.4    18.3    931049472
eca-rers2012/Problem18_label12_false-unreach-call.c 60.5  45.1  3187458048 31.4    17.8    888717312
eca-rers2012/Problem18_label19_false-unreach-call.c 60.1  40.7  3249541120 37.3    21.4    908615680
eca-rers2012/Problem18_label20_false-unreach-call.c 56.7  37.5  3491987456 35.6    20.9    1038712832
eca-rers2012/Problem18_label25_false-unreach-call.c 56.0  39.2  3336966144 36.4    20.9    1034752000
eca-rers2012/Problem18_label27_false-unreach-call.c 43.8  28.8  2597445632 32.7    18.3    883589120
eca-rers2012/Problem18_label31_false-unreach-call.c 57.1  38.7  3493986304 34.2    19.4    961929216
eca-rers2012/Problem18_label32_false-unreach-call.c 87.6  65.4  4380200960 38.6    22.1    978644992
eca-rers2012/Problem18_label33_false-unreach-call.c 61.8  41.3  3296829440 43.9    25.2    971591680
eca-rers2012/Problem18_label34_false-unreach-call.c 54.1  35.4  2725683200 38.6    22.1    1298108416
eca-rers2012/Problem18_label35_false-unreach-call.c 57.2  38.9  3178450944 33.8    19.1    961351680
eca-rers2012/Problem18_label36_false-unreach-call.c 102    75.4  4553461760 35.5    20.3    963641344
eca-rers2012/Problem18_label38_false-unreach-call.c 72.1  51.7  3687088128 37.2    20.2    913846272
eca-rers2012/Problem18_label39_false-unreach-call.c 60.5  40.8  3524956160 38.7    21.4    921378816
eca-rers2012/Problem18_label45_false-unreach-call.c 57.7  38.1  2316795904 36.9    20.5    968654848
eca-rers2012/Problem18_label49_false-unreach-call.c 83.6  61.2  3803721728 35.5    20.1    966389760
eca-rers2012/Problem18_label52_false-unreach-call.c 63.5  47.0  3316539392 33.1    18.5    859115520
eca-rers2012/Problem18_label55_false-unreach-call.c 46.9  31.2  2748600320 32.6    18.4    866988032
eca-rers2012/Problem18_label57_false-unreach-call.c 56.1  39.5  3058622464 40.0    22.6    880619520
eca-rers2012/Problem19_label10_false-unreach-call.c 465    374    14999998464 .0248 .0252 5619712
eca-rers2012/Problem19_label11_false-unreach-call.c 468    378    14999998464 .0193 .0199 5595136
eca-rers2012/Problem19_label14_false-unreach-call.c 475    382    14999998464 .0192 .0196 5619712
eca-rers2012/Problem19_label17_false-unreach-call.c 467    377    14999998464 .0195 .0200 5619712
eca-rers2012/Problem19_label18_false-unreach-call.c 113    79.5  5012008960 87.8    56.3    1665728512
eca-rers2012/Problem19_label19_false-unreach-call.c 469    378    14999998464 .0243 .0247 5619712
eca-rers2012/Problem19_label21_false-unreach-call.c 466    377    14999998464 .0275 .0280 5619712
eca-rers2012/Problem19_label22_false-unreach-call.c 471    373    14999998464 .0190 .0194 5615616
eca-rers2012/Problem19_label26_false-unreach-call.c 467    379    14999998464 .0193 .0199 5619712
eca-rers2012/Problem19_label27_false-unreach-call.c 473    379    14999998464 .0244 .0249 5595136
eca-rers2012/Problem19_label28_false-unreach-call.c 470    378    14999998464 .0216 .0221 5615616
eca-rers2012/Problem19_label29_false-unreach-call.c 469    378    14999998464 .0216 .0220 5623808
eca-rers2012/Problem19_label31_false-unreach-call.c 471    380    14999998464 .0199 .0203 5758976
eca-rers2012/Problem19_label32_false-unreach-call.c 466    376    14999998464 .0205 .0210 5615616
eca-rers2012/Problem19_label41_false-unreach-call.c 466    378    14999998464 .0248 .0252 5623808
eca-rers2012/Problem19_label42_false-unreach-call.c 469    375    14999998464 .0249 .0256 5627904
eca-rers2012/Problem19_label43_false-unreach-call.c 465    376    14999998464 .0221 .0225 5619712
eca-rers2012/Problem19_label47_false-unreach-call.c 467    377    14999998464 .0194 .0198 5623808
eca-rers2012/Problem19_label50_false-unreach-call.c 469    377    14999998464 .0243 .0249 5541888
eca-rers2012/Problem19_label51_false-unreach-call.c 475    382    14999998464 .0250 .0255 5623808
eca-rers2012/Problem19_label53_false-unreach-call.c 466    375    14999998464 .0201 .0207 5623808
eca-rers2012/Problem19_label55_false-unreach-call.c 470    380    14999998464 .0256 .0261 5619712
eca-rers2012/Problem19_label58_false-unreach-call.c 478    385    14999998464 .0240 .0247 5615616
eca-rers2012/Problem19_label59_false-unreach-call.c 464    371    14999998464 .0194 .0198 5623808
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 15.1  8.10 864555008 24.4    14.4    626077696
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 14.8  7.96 907730944 23.3    13.5    524132352
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 14.2  7.75 905129984 25.1    14.7    532975616
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 15.4  8.20 890564608 24.1    14.1    645120000
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 15.0  8.04 871997440 21.5    12.8    537063424
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 14.8  7.97 857395200 40.2    23.8    634445824
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 15.9  8.54 915677184 30.4    17.5    733802496
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 15.2  8.17 837701632 25.5    14.9    537497600
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 15.5  8.32 892649472 33.1    19.7    617041920
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 14.3  7.88 898289664 22.8    13.2    496021504
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 14.4  7.90 914247680 23.3    13.9    534904832
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 15.5  8.24 925536256 38.9    22.4    742952960
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 14.6  7.94 898215936 20.0    11.7    549076992
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 14.8  7.97 864501760 32.6    18.8    677036032
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 15.4  8.26 883335168 31.9    18.7    728285184
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 14.6  7.90 883986432 18.0    10.6    539336704
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 14.8  8.00 891781120 31.9    18.2    717045760
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 14.6  7.96 901738496 20.8    12.4    593092608
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 14.9  8.08 926646272 21.1    12.4    604454912
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 14.6  7.93 834646016 17.7    10.6    491040768
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 15.3  8.13 915673088 25.9    15.0    542273536
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 14.5  7.89 808505344 22.2    13.2    606965760
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 16.2  8.52 914034688 34.0    19.6    585662464
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 15.1  8.11 916819968 31.9    18.8    616722432
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 15.3  8.23 822067200 28.8    16.7    695975936
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 14.4  7.80 915972096 23.7    14.1    628768768
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 15.7  8.47 900055040 31.0    18.7    614178816
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 16.1  8.45 933941248 29.7    17.5    707280896
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 14.6  8.00 867971072 17.7    10.2    474697728
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 15.1  8.14 931364864 27.3    16.2    715411456
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 15.1  8.12 912015360 24.5    14.2    587276288
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 15.3  8.25 914620416 27.6    15.9    674390016
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 14.4  7.85 833462272 23.8    14.0    619159552
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 15.7  8.33 802643968 35.4    21.5    668016640
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 15.4  8.20 848584704 28.3    16.9    584949760
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 14.4  7.91 886784000 24.1    14.0    538439680
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 16.5  8.62 930078720 30.0    17.5    679383040
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 14.8  7.98 888991744 26.0    15.2    530804736
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 14.6  7.91 877699072 25.3    14.5    524673024
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 14.5  7.85 862937088 16.3    9.28   471273472
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 15.0  8.14 871436288 22.8    13.4    539856896
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 14.7  8.03 918073344 23.8    14.1    639459328
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 16.0  8.70 860250112 35.5    20.9    758358016
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 14.5  7.86 871190528 26.6    15.8    535126016
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 14.9  8.02 833548288 31.3    18.6    732659712
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 14.8  8.04 875921408 16.6    9.78   476647424
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 14.3  7.82 832458752 26.8    15.8    543838208
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 13.2  6.85 684314624 27.4    15.4    627462144
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 12.4  6.59 676769792 26.9    15.9    698560512
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 12.5  6.63 668602368 27.4    16.1    535494656
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 13.0  6.80 678502400 29.1    17.7    719835136
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 14.1  7.28 683118592 29.7    17.2    533753856
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 12.9  6.76 663552000 31.7    18.3    596934656
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 12.8  6.77 673755136 44.0    27.2    916697088
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 13.2  6.83 649236480 21.6    12.8    532754432
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 12.4  6.57 672505856 33.5    20.5    689385472
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 12.7  6.68 673669120 33.8    19.9    740274176
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 13.7  7.08 665104384 24.7    14.6    537837568
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 12.3  6.50 663670784 33.6    19.5    543223808
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 12.8  6.72 649687040 40.9    24.0    796860416
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 12.5  6.71 690900992 35.9    21.3    733663232
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 12.9  6.85 657928192 25.8    14.6    764248064
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 13.3  7.02 653983744 28.5    16.7    719777792
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 12.3  6.49 655781888 35.2    20.8    659464192
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 15.2  7.89 657457152 22.4    13.0    501993472
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 15.9  8.19 694681600 29.4    17.2    591806464
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 13.6  7.00 665886720 30.2    18.6    733593600
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 12.7  6.68 691478528 30.4    18.0    695595008
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 12.8  6.75 669085696 40.8    23.6    772952064
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 12.9  6.71 662700032 27.2    16.0    542982144
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 13.0  6.77 656142336 25.7    15.1    594124800
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 13.9  7.16 676409344 34.8    21.1    689688576
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 13.9  7.32 652378112 22.6    12.9    505917440
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 15.5  8.16 684949504 41.5    24.0    611569664
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 14.0  7.18 666529792 28.2    16.6    732758016
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 14.5  7.66 658124800 29.9    17.8    609878016
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 12.4  6.48 665792512 31.3    18.6    561418240
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 13.8  7.11 676286464 21.5    12.8    523194368
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 13.8  7.25 662913024 36.6    21.5    787505152
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 13.1  6.74 673779712 33.3    20.2    612290560
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 12.5  6.65 669163520 32.6    19.0    709853184
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 13.1  6.80 687251456 34.6    20.1    585965568
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 12.2  6.51 669437952 18.3    10.7    489967616
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 15.6  8.14 652406784 17.7    10.3    529035264
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 13.7  7.06 671637504 44.3    28.3    907116544
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 13.1  6.78 653787136 35.1    20.7    829521920
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 12.6  6.66 679370752 28.3    16.3    543252480
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 12.5  6.59 654909440 28.7    17.4    694472704
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 12.6  6.63 647286784 31.2    18.9    584609792
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 13.0  6.80 691347456 28.7    17.2    593457152
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 13.9  7.16 685633536 39.0    23.5    701345792
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 12.2  6.55 680988672 35.7    21.0    624873472
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 13.6  7.04 672616448 33.2    19.5    752586752
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 13.2  6.89 672784384 30.1    17.8    721100800
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 13.2  6.83 670355456 36.0    21.1    643100672
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 12.6  6.61 655130624 35.6    21.4    752594944
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 13.3  6.87 675762176 37.2    22.7    837640192
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 14.4  7.49 690135040 34.4    20.5    813514752
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 12.6  6.64 664510464 21.7    12.6    610443264
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 13.2  6.85 669446144 20.9    12.0    475086848
eca-rers2012/Problem03_label00_true-unreach-call.c 28.9  19.5  1991925760 962      569      13581148160
eca-rers2012/Problem03_label01_true-unreach-call.c 30.6  20.3  1962012672 961      710      12029566976
eca-rers2012/Problem03_label02_true-unreach-call.c 32.9  21.9  1968680960 439      290      13201371136
eca-rers2012/Problem03_label03_true-unreach-call.c 29.4  19.9  1965072384 962      598      13551525888
eca-rers2012/Problem03_label04_true-unreach-call.c 29.7  19.8  1959936000 961      637      13576019968
eca-rers2012/Problem03_label05_true-unreach-call.c 28.8  19.4  1963110400 962      645      13586264064
eca-rers2012/Problem03_label06_true-unreach-call.c 29.8  19.9  1890971648 53.6    31.7    921047040
eca-rers2012/Problem03_label07_true-unreach-call.c 31.2  20.5  1918947328 962      613      13557673984
eca-rers2012/Problem03_label08_true-unreach-call.c 31.6  20.6  1870946304 48.6    28.8    918200320
eca-rers2012/Problem03_label10_true-unreach-call.c 30.9  20.3  1957093376 37.4    22.1    817991680
eca-rers2012/Problem03_label11_true-unreach-call.c 29.4  19.9  1997053952 962      569      13483405312
eca-rers2012/Problem03_label12_true-unreach-call.c 29.1  19.8  2029367296 962      557      13561073664
eca-rers2012/Problem03_label14_true-unreach-call.c 29.8  20.0  2072047616 101      63.3    3457941504
eca-rers2012/Problem03_label15_true-unreach-call.c 29.8  20.2  1930850304 962      595      13559681024
eca-rers2012/Problem03_label16_true-unreach-call.c 36.1  22.8  2035175424 88.8    55.8    3194060800
eca-rers2012/Problem03_label17_true-unreach-call.c 30.0  19.9  1852755968 754      488      13577916416
eca-rers2012/Problem03_label18_true-unreach-call.c 29.9  20.1  1988702208 961      587      13505191936
eca-rers2012/Problem03_label19_true-unreach-call.c 30.1  20.1  1856045056 962      576      13541810176
eca-rers2012/Problem03_label20_true-unreach-call.c 29.5  19.9  1902624768 962      621      13570797568
eca-rers2012/Problem03_label21_true-unreach-call.c 31.1  20.8  1979965440 962      609      13371994112
eca-rers2012/Problem03_label22_true-unreach-call.c 29.2  19.7  1944424448 58.6    34.7    1614286848
eca-rers2012/Problem03_label23_true-unreach-call.c 29.3  20.0  1976721408 336      238      8181153792
eca-rers2012/Problem03_label24_true-unreach-call.c 30.9  20.3  1862447104 80.6    47.0    1808650240
eca-rers2012/Problem03_label25_true-unreach-call.c 34.3  22.7  1876312064 458      304      9807523840
eca-rers2012/Problem03_label29_true-unreach-call.c 29.7  20.1  1987198976 79.0    46.9    2017955840
eca-rers2012/Problem03_label30_true-unreach-call.c 29.2  19.9  1948999680 40.5    23.8    788836352
eca-rers2012/Problem03_label32_true-unreach-call.c 30.9  20.4  1905131520 53.2    31.6    1450561536
eca-rers2012/Problem03_label33_true-unreach-call.c 31.2  20.7  2010378240 75.3    47.2    2714763264
eca-rers2012/Problem03_label34_true-unreach-call.c 30.6  20.5  1979604992 962      651      13491884032
eca-rers2012/Problem03_label36_true-unreach-call.c 31.9  21.2  1853624320 117      73.8    4407844864
eca-rers2012/Problem03_label38_true-unreach-call.c 28.8  19.6  1849483264 53.3    31.0    848588800
eca-rers2012/Problem03_label40_true-unreach-call.c 30.2  20.5  1915027456 44.3    25.8    969072640
eca-rers2012/Problem03_label41_true-unreach-call.c 29.7  20.0  1953226752 961      582      13537357824
eca-rers2012/Problem03_label42_true-unreach-call.c 30.6  20.2  1976250368 782      502      13484068864
eca-rers2012/Problem03_label44_true-unreach-call.c 28.8  19.6  1967661056 962      641      13440679936
eca-rers2012/Problem03_label46_true-unreach-call.c 30.8  20.4  2083627008 390      262      11407474688
eca-rers2012/Problem03_label47_true-unreach-call.c 28.9  19.6  1951490048 961      666      13070442496
eca-rers2012/Problem03_label48_true-unreach-call.c 30.3  20.1  1810751488 70.3    40.9    1196339200
eca-rers2012/Problem03_label49_true-unreach-call.c 31.6  21.0  2031235072 962      628      13412270080
eca-rers2012/Problem03_label51_true-unreach-call.c 35.3  23.4  1982238720 962      666      12730068992
eca-rers2012/Problem03_label53_true-unreach-call.c 30.6  20.5  1994235904 961      551      13545799680
eca-rers2012/Problem03_label54_true-unreach-call.c 29.8  19.9  1971298304 66.5    40.2    1447198720
eca-rers2012/Problem03_label55_true-unreach-call.c 29.4  19.6  1953738752 962      588      13583925248
eca-rers2012/Problem03_label56_true-unreach-call.c 30.0  20.2  1989730304 45.7    26.7    826249216
eca-rers2012/Problem03_label57_true-unreach-call.c 29.7  19.8  1913372672 532      358      12390629376
eca-rers2012/Problem03_label58_true-unreach-call.c 30.0  20.1  1949515776 84.1    50.9    2380902400
eca-rers2012/Problem03_label59_true-unreach-call.c 29.3  19.8  1949356032 962      586      13546827776
eca-rers2012/Problem04_label00_true-unreach-call.c 183    156    4456460288 92.6    58.8    3163525120
eca-rers2012/Problem04_label01_true-unreach-call.c 188    162    4450467840 292      204      7675097088
eca-rers2012/Problem04_label02_true-unreach-call.c 183    155    4424912896 373      280      6447738880
eca-rers2012/Problem04_label03_true-unreach-call.c 180    153    4463108096 111      74.5    2860957696
eca-rers2012/Problem04_label05_true-unreach-call.c 195    166    4415135744 117      74.9    3489509376
eca-rers2012/Problem04_label07_true-unreach-call.c 177    153    4450476032 316      238      6226075648
eca-rers2012/Problem04_label08_true-unreach-call.c 179    153    4447555584 309      223      6347042816
eca-rers2012/Problem04_label10_true-unreach-call.c 185    156    4433899520 273      196      6571917312
eca-rers2012/Problem04_label16_true-unreach-call.c 182    155    4454514688 398      310      6508077056
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 173    149    4511772672 119      80.0    4756725760
eca-rers2012/Problem04_label21_true-unreach-call.c 182    154    4452270080 271      195      6197329920
eca-rers2012/Problem04_label22_true-unreach-call.c 180    154    4453629952 216      147      5459046400
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 178    152    4446957568 172      115      4744617984
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 179    153    4432994304 543      446      5979480064
eca-rers2012/Problem04_label25_true-unreach-call.c 180    153    4442271744 154      105      5102919680
eca-rers2012/Problem04_label28_true-unreach-call.c 183    156    4415946752 155      105      4885381120
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 182    155    4438499328 353      272      5961338880
eca-rers2012/Problem04_label30_true-unreach-call.c 180    154    4432125952 156      107      5284265984
eca-rers2012/Problem04_label33_true-unreach-call.c 184    155    4397793280 166      111      5183651840
eca-rers2012/Problem04_label34_true-unreach-call.c 180    153    4457480192 215      144      6046928896
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 178    154    4480651264 324      231      6491521024
eca-rers2012/Problem04_label41_true-unreach-call.c 180    152    4417585152 210      149      5136900096
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 185    156    4424499200 223      158      5898629120
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 181    155    4451045376 196      134      5380304896
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 173    149    4453687296 271      195      5261848576
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 180    154    4482482176 95.7    58.9    2250665984
eca-rers2012/Problem04_label47_true-unreach-call.c 188    159    4425998336 236      167      6612090880
eca-rers2012/Problem04_label48_true-unreach-call.c 205    176    4410912768 154      103      5401890816
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 175    152    4455780352 258      182      5756076032
eca-rers2012/Problem04_label50_true-unreach-call.c 179    155    4480589824 102      65.5    4374749184
eca-rers2012/Problem04_label51_true-unreach-call.c 177    151    4427997184 313      226      6398464000
eca-rers2012/Problem04_label53_true-unreach-call.c 179    154    4460814336 143      95.1    4709859328
eca-rers2012/Problem04_label54_true-unreach-call.c 189    163    4451815424 202      138      5575143424
eca-rers2012/Problem04_label56_true-unreach-call.c 171    147    4459991040 207      148      5261819904
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 177    152    4459151360 219      158      6324219904
eca-rers2012/Problem04_label59_true-unreach-call.c 172    149    4470411264 149      99.7    5189070848
eca-rers2012/Problem05_label02_true-unreach-call.c 286    235    4823248896 960      708      10112860160
eca-rers2012/Problem05_label03_true-unreach-call.c 256    206    4906061824 961      749      8450088960
eca-rers2012/Problem05_label04_true-unreach-call.c 265    217    4852486144 962      687      10483171328
eca-rers2012/Problem05_label05_true-unreach-call.c 257    204    5004046336 961      686      12883382272
eca-rers2012/Problem05_label06_true-unreach-call.c 238    192    4831784960 961      734      9761796096
eca-rers2012/Problem05_label07_true-unreach-call.c 960    632    6521802752 6.42   3.46   266293248
eca-rers2012/Problem05_label08_true-unreach-call.c 277    229    4970868736 962      631      13548617728
eca-rers2012/Problem05_label09_true-unreach-call.c 251    204    4803334144 961      772      8943063040
eca-rers2012/Problem05_label10_true-unreach-call.c 240    192    4726579200 962      734      9372012544
eca-rers2012/Problem05_label12_true-unreach-call.c 961    628    6349082624 6.49   3.68   277716992
eca-rers2012/Problem05_label14_true-unreach-call.c 285    231    5184929792 961      745      10503905280
eca-rers2012/Problem05_label16_true-unreach-call.c 960    634    6774226944 6.29   3.96   271708160
eca-rers2012/Problem05_label17_true-unreach-call.c 235    189    4737617920 961      765      9154166784
eca-rers2012/Problem05_label19_true-unreach-call.c 239    193    4759121920 961      731      9736208384
eca-rers2012/Problem05_label20_true-unreach-call.c 244    197    4760928256 962      750      11734831104
eca-rers2012/Problem05_label21_true-unreach-call.c 259    211    4875214848 962      724      8717643776
eca-rers2012/Problem05_label22_true-unreach-call.c 962    627    6502432768 6.66   3.77   284622848
eca-rers2012/Problem05_label23_true-unreach-call.c 241    193    4816306176 961      704      10565566464
eca-rers2012/Problem05_label25_true-unreach-call.c 258    213    4746838016 962      691      11407478784
eca-rers2012/Problem05_label27_true-unreach-call.c 237    188    4642738176 961      759      9609334784
eca-rers2012/Problem05_label28_true-unreach-call.c 268    218    5082738688 961      725      10620260352
eca-rers2012/Problem05_label29_true-unreach-call.c 259    210    4776525824 961      743      9519173632
eca-rers2012/Problem05_label31_true-unreach-call.c 234    186    4824559616 960      744      9082986496
eca-rers2012/Problem05_label34_true-unreach-call.c 266    214    4859654144 961      738      10089398272
eca-rers2012/Problem05_label35_true-unreach-call.c 250    198    4734820352 962      677      11515633664
eca-rers2012/Problem05_label42_true-unreach-call.c 960    625    6324310016 7.62   4.18   268144640
eca-rers2012/Problem05_label43_true-unreach-call.c 267    208    4650598400 961      676      10323402752
eca-rers2012/Problem05_label45_true-unreach-call.c 252    206    4725465088 497      342      11194986496
eca-rers2012/Problem05_label46_true-unreach-call.c 255    203    4725817344 961      662      12901736448
eca-rers2012/Problem05_label49_true-unreach-call.c 274    225    4994646016 961      729      9165791232
eca-rers2012/Problem05_label50_true-unreach-call.c 961    628    6671618048 6.77   3.75   280084480
eca-rers2012/Problem05_label52_true-unreach-call.c 961    619    6570569728 6.31   3.41   279216128
eca-rers2012/Problem05_label53_true-unreach-call.c 248    196    4985090048 779      557      11472134144
eca-rers2012/Problem05_label54_true-unreach-call.c 286    234    4825997312 961      764      7960502272
eca-rers2012/Problem05_label56_true-unreach-call.c 239    190    4755664896 962      675      11201748992
eca-rers2012/Problem05_label59_true-unreach-call.c 253    203    4691365888 961      702      12730765312
eca-rers2012/Problem06_label03_true-unreach-call.c 321    274    5332189184 962      578      13523107840
eca-rers2012/Problem06_label06_true-unreach-call.c 257    208    4580261888 962      687      11814543360
eca-rers2012/Problem06_label07_true-unreach-call.c 217    174    4887752704 961      609      13504360448
eca-rers2012/Problem06_label08_true-unreach-call.c 218    173    4821889024 962      633      13509685248
eca-rers2012/Problem06_label13_true-unreach-call.c 249    204    5033275392 962      650      13082894336
eca-rers2012/Problem06_label14_true-unreach-call.c 254    205    4899524608 962      589      13060464640
eca-rers2012/Problem06_label16_true-unreach-call.c 248    203    5133193216 962      623      13387214848
eca-rers2012/Problem06_label17_true-unreach-call.c 253    206    5095235584 962      572      13539135488
eca-rers2012/Problem06_label18_true-unreach-call.c 246    199    5086994432 960      596      13167738880
eca-rers2012/Problem06_label19_true-unreach-call.c 241    194    4912537600 962      558      13517312000
eca-rers2012/Problem06_label22_true-unreach-call.c 275    228    5139234816 962      562      13534195712
eca-rers2012/Problem06_label23_true-unreach-call.c 301    257    5917335552 962      560      13524893696
eca-rers2012/Problem06_label25_true-unreach-call.c 271    224    5115899904 961      598      13384105984
eca-rers2012/Problem06_label26_true-unreach-call.c 268    217    5015371776 962      574      13526323200
eca-rers2012/Problem06_label28_true-unreach-call.c 273    229    5427224576 962      628      13517651968
eca-rers2012/Problem06_label30_true-unreach-call.c 241    197    4901527552 962      583      13509083136
eca-rers2012/Problem06_label31_true-unreach-call.c 245    202    5052485632 962      567      13520494592
eca-rers2012/Problem06_label32_true-unreach-call.c 277    229    4575526912 961      588      13530382336
eca-rers2012/Problem06_label34_true-unreach-call.c 238    190    4870897664 961      605      13616623616
eca-rers2012/Problem06_label35_true-unreach-call.c 270    225    5052149760 960      567      13535858688
eca-rers2012/Problem06_label39_true-unreach-call.c 239    194    4886990848 962      605      13457305600
eca-rers2012/Problem06_label40_true-unreach-call.c 263    216    4984553472 961      608      13439827968
eca-rers2012/Problem06_label41_true-unreach-call.c 253    208    5057146880 962      621      13547216896
eca-rers2012/Problem06_label42_true-unreach-call.c 242    196    5007224832 962      556      13338218496
eca-rers2012/Problem06_label43_true-unreach-call.c 260    215    5052534784 962      621      13529735168
eca-rers2012/Problem06_label45_true-unreach-call.c 960    703    7783497728 6.06   3.63   275886080
eca-rers2012/Problem06_label46_true-unreach-call.c 236    192    5071003648 962      630      13528985600
eca-rers2012/Problem06_label49_true-unreach-call.c 246    200    5038825472 962      599      13545373696
eca-rers2012/Problem06_label50_true-unreach-call.c 246    197    5008625664 961      592      13542076416
eca-rers2012/Problem06_label51_true-unreach-call.c 243    197    4950593536 962      592      13537091584
eca-rers2012/Problem06_label52_true-unreach-call.c 253    208    5073293312 962      633      13118144512
eca-rers2012/Problem06_label53_true-unreach-call.c 252    205    5109256192 962      568      13556305920
eca-rers2012/Problem06_label54_true-unreach-call.c 249    202    5001379840 962      603      13513621504
eca-rers2012/Problem06_label55_true-unreach-call.c 227    183    4803813376 962      596      13439418368
eca-rers2012/Problem06_label57_true-unreach-call.c 437    364    5264093184 962      609      13451300864
eca-rers2012/Problem07_label00_true-unreach-call.c 961    660    9314131968 8.71   4.89   495841280
eca-rers2012/Problem07_label01_true-unreach-call.c 953    663    8864587776 961      805      8527237120
eca-rers2012/Problem07_label02_true-unreach-call.c 962    681    7658536960 10.2    5.63   574922752
eca-rers2012/Problem07_label04_true-unreach-call.c 961    666    8018300928 961      780      9908482048
eca-rers2012/Problem07_label08_true-unreach-call.c 961    669    7968563200 8.10   4.45   486678528
eca-rers2012/Problem07_label10_true-unreach-call.c 953    673    8202960896 962      793      10156228608
eca-rers2012/Problem07_label12_true-unreach-call.c 961    655    9262317568 8.26   4.73   488730624
eca-rers2012/Problem07_label13_true-unreach-call.c 961    669    7256227840 8.98   5.03   492630016
eca-rers2012/Problem07_label14_true-unreach-call.c 961    672    7665917952 7.80   4.54   497303552
eca-rers2012/Problem07_label16_true-unreach-call.c 960    664    10104848384 8.32   4.94   491372544
eca-rers2012/Problem07_label17_true-unreach-call.c 961    651    9400819712 9.28   5.07   495218688
eca-rers2012/Problem07_label21_true-unreach-call.c 960    660    9270681600 8.26   4.49   486731776
eca-rers2012/Problem07_label22_true-unreach-call.c 957    673    8701833216 961      766      13017890816
eca-rers2012/Problem07_label24_true-unreach-call.c 960    661    10469392384 7.96   4.44   493973504
eca-rers2012/Problem07_label25_true-unreach-call.c 960    670    9318998016 7.86   4.40   482525184
eca-rers2012/Problem07_label26_true-unreach-call.c 960    671    7329853440 8.87   4.93   481247232
eca-rers2012/Problem07_label27_true-unreach-call.c 961    635    9175072768 8.20   4.62   485126144
eca-rers2012/Problem07_label28_true-unreach-call.c 961    642    11025592320 9.38   5.39   498978816
eca-rers2012/Problem07_label29_true-unreach-call.c 956    660    8117243904 962      761      13072158720
eca-rers2012/Problem07_label32_true-unreach-call.c 947    658    8970108928 960      808      8742154240
eca-rers2012/Problem07_label33_true-unreach-call.c 961    663    8006385664 8.30   4.84   483033088
eca-rers2012/Problem07_label34_true-unreach-call.c 961    637    8647000064 7.86   4.62   494948352
eca-rers2012/Problem07_label38_true-unreach-call.c 961    648    10021285888 8.50   4.87   487735296
eca-rers2012/Problem07_label41_true-unreach-call.c 960    654    9231667200 8.58   5.02   486809600
eca-rers2012/Problem07_label43_true-unreach-call.c 960    665    9290395648 10.2    5.87   500654080
eca-rers2012/Problem07_label45_true-unreach-call.c 961    655    9333006336 8.37   4.90   493817856
eca-rers2012/Problem07_label49_true-unreach-call.c 961    642    8924020736 8.19   4.56   496627712
eca-rers2012/Problem07_label50_true-unreach-call.c 961    678    9249849344 7.66   4.55   492253184
eca-rers2012/Problem07_label51_true-unreach-call.c 961    651    9531547648 9.00   5.11   490078208
eca-rers2012/Problem07_label52_true-unreach-call.c 961    631    8952819712 7.89   4.37   488144896
eca-rers2012/Problem07_label53_true-unreach-call.c 960    661    8685518848 7.69   4.36   480788480
eca-rers2012/Problem07_label54_true-unreach-call.c 962    682    7670222848 8.39   4.70   485064704
eca-rers2012/Problem07_label55_true-unreach-call.c 961    656    9210384384 960      794      8627920896
eca-rers2012/Problem07_label56_true-unreach-call.c 957    662    8089006080 961      781      10305667072
eca-rers2012/Problem07_label57_true-unreach-call.c 961    655    7740895232 10.1    5.81   487047168
eca-rers2012/Problem07_label59_true-unreach-call.c 961    651    8748363776 7.83   4.36   485277696
eca-rers2012/Problem08_label00_true-unreach-call.c 962    554    11298607104 .0197 .0202 5611520
eca-rers2012/Problem08_label03_true-unreach-call.c 962    555    10493177856 8.36   4.88   483954688
eca-rers2012/Problem08_label08_true-unreach-call.c 962    560    12194926592 .0492 .0500 5537792
eca-rers2012/Problem08_label09_true-unreach-call.c 962    549    11136794624 .0190 .0194 5619712
eca-rers2012/Problem08_label11_true-unreach-call.c 962    542    11056680960 9.55   5.61   606957568
eca-rers2012/Problem08_label12_true-unreach-call.c 959    587    10383605760 .0197 .0200 5611520
eca-rers2012/Problem08_label14_true-unreach-call.c 962    557    10396995584 9.89   5.93   485920768
eca-rers2012/Problem08_label16_true-unreach-call.c 962    542    11092500480 10.9    6.19   604786688
eca-rers2012/Problem08_label17_true-unreach-call.c 962    543    10438193152 9.38   5.70   607842304
eca-rers2012/Problem08_label18_true-unreach-call.c 956    574    10246324224 .0231 .0237 5545984
eca-rers2012/Problem08_label19_true-unreach-call.c 962    549    10413780992 .0248 .0252 5619712
eca-rers2012/Problem08_label20_true-unreach-call.c 962    561    10666979328 .0249 .0254 5533696
eca-rers2012/Problem08_label21_true-unreach-call.c 962    546    10752520192 .0205 .0214 5611520
eca-rers2012/Problem08_label22_true-unreach-call.c 962    553    10566184960 .0194 .0198 5619712
eca-rers2012/Problem08_label23_true-unreach-call.c 962    541    11046719488 9.47   5.80   604708864
eca-rers2012/Problem08_label27_true-unreach-call.c 962    543    10405437440 .0196 .0200 5742592
eca-rers2012/Problem08_label30_true-unreach-call.c 962    545    11400912896 .0193 .0197 5619712
eca-rers2012/Problem08_label31_true-unreach-call.c 961    571    10967375872 10.4    6.30   605335552
eca-rers2012/Problem08_label32_true-unreach-call.c 961    565    11214290944 9.62   5.81   613339136
eca-rers2012/Problem08_label33_true-unreach-call.c 962    542    11079995392 8.85   5.11   612933632
eca-rers2012/Problem08_label35_true-unreach-call.c 961    554    11095420928 9.45   5.35   601919488
eca-rers2012/Problem08_label36_true-unreach-call.c 961    573    11221860352 9.41   5.69   616046592
eca-rers2012/Problem08_label38_true-unreach-call.c 960    570    11085885440 .0191 .0195 5615616
eca-rers2012/Problem08_label39_true-unreach-call.c 960    572    10306297856 .0241 .0246 5607424
eca-rers2012/Problem08_label40_true-unreach-call.c 962    552    10888462336 .0192 .0196 5611520
eca-rers2012/Problem08_label41_true-unreach-call.c 962    543    11089231872 .0262 .0268 5545984
eca-rers2012/Problem08_label42_true-unreach-call.c 962    547    11240116224 .0260 .0265 5615616
eca-rers2012/Problem08_label44_true-unreach-call.c 962    543    10871308288 8.73   5.17   499290112
eca-rers2012/Problem08_label45_true-unreach-call.c 962    542    11089690624 11.3    6.63   485449728
eca-rers2012/Problem08_label47_true-unreach-call.c 960    572    11077386240 .0249 .0253 5627904
eca-rers2012/Problem08_label52_true-unreach-call.c 962    564    10401415168 9.40   5.58   612364288
eca-rers2012/Problem08_label53_true-unreach-call.c 962    558    10387349504 9.35   5.37   607027200
eca-rers2012/Problem08_label54_true-unreach-call.c 962    553    10395926528 9.11   5.21   612642816
eca-rers2012/Problem08_label56_true-unreach-call.c 962    557    10512904192 9.41   5.39   494796800
eca-rers2012/Problem08_label57_true-unreach-call.c 962    555    10080587776 8.88   5.46   484728832
eca-rers2012/Problem08_label58_true-unreach-call.c 913    526    10510573568 .0250 .0255 5615616
eca-rers2012/Problem09_label00_true-unreach-call.c 962    542    11073867776 .0255 .0259 5545984
eca-rers2012/Problem09_label01_true-unreach-call.c 962    541    11079749632 .0192 .0197 5623808
eca-rers2012/Problem09_label04_true-unreach-call.c 961    564    11082596352 8.73   5.01   610967552
eca-rers2012/Problem09_label05_true-unreach-call.c 962    537    11086028800 .0253 .0258 5619712
eca-rers2012/Problem09_label07_true-unreach-call.c 961    562    11093155840 9.03   5.21   610811904
eca-rers2012/Problem09_label09_true-unreach-call.c 962    541    11079806976 .0246 .0251 5623808
eca-rers2012/Problem09_label12_true-unreach-call.c 961    560    11056939008 8.77   5.05   614494208
eca-rers2012/Problem09_label13_true-unreach-call.c 962    542    11089424384 .0223 .0227 5611520
eca-rers2012/Problem09_label14_true-unreach-call.c 962    543    11094020096 .0250 .0255 5623808
eca-rers2012/Problem09_label16_true-unreach-call.c 962    542    11085885440 .0194 .0198 5611520
eca-rers2012/Problem09_label17_true-unreach-call.c 962    536    11088801792 .0190 .0194 5619712
eca-rers2012/Problem09_label18_true-unreach-call.c 962    540    11077341184 .0244 .0254 5615616
eca-rers2012/Problem09_label21_true-unreach-call.c 962    542    11087863808 .0275 .0280 5550080
eca-rers2012/Problem09_label22_true-unreach-call.c 961    558    11085996032 9.00   5.09   613040128
eca-rers2012/Problem09_label23_true-unreach-call.c 961    562    11086028800 9.87   5.76   526618624
eca-rers2012/Problem09_label24_true-unreach-call.c 962    540    11085217792 .0255 .0261 5529600
eca-rers2012/Problem09_label25_true-unreach-call.c 961    563    11090702336 8.94   5.43   619048960
eca-rers2012/Problem09_label26_true-unreach-call.c 962    541    11087978496 .0197 .0201 5615616
eca-rers2012/Problem09_label27_true-unreach-call.c 961    561    11092021248 10.9    6.26   609873920
eca-rers2012/Problem09_label28_true-unreach-call.c 962    545    11087622144 .0198 .0202 5595136
eca-rers2012/Problem09_label29_true-unreach-call.c 962    538    11089108992 .0249 .0254 5615616
eca-rers2012/Problem09_label30_true-unreach-call.c 962    541    11079630848 .0194 .0197 5599232
eca-rers2012/Problem09_label31_true-unreach-call.c 962    542    11082121216 .0198 .0202 5615616
eca-rers2012/Problem09_label33_true-unreach-call.c 962    543    11079421952 .0202 .0207 5615616
eca-rers2012/Problem09_label37_true-unreach-call.c 962    540    11090620416 .0294 .0299 5541888
eca-rers2012/Problem09_label39_true-unreach-call.c 962    542    11096883200 .0255 .0258 5742592
eca-rers2012/Problem09_label40_true-unreach-call.c 962    544    11095351296 .0258 .0264 5619712
eca-rers2012/Problem09_label42_true-unreach-call.c 960    563    11087888384 10.1    5.87   613093376
eca-rers2012/Problem09_label43_true-unreach-call.c 961    561    11089014784 9.00   5.51   622665728
eca-rers2012/Problem09_label45_true-unreach-call.c 961    545    11099930624 .0195 .0199 5611520
eca-rers2012/Problem09_label48_true-unreach-call.c 962    541    11090210816 .0194 .0200 5619712
eca-rers2012/Problem09_label49_true-unreach-call.c 962    541    11079999488 .0195 .0199 5611520
eca-rers2012/Problem09_label50_true-unreach-call.c 962    540    11082358784 .0193 .0197 5619712
eca-rers2012/Problem09_label52_true-unreach-call.c 962    537    11086409728 .0195 .0199 5615616
eca-rers2012/Problem09_label55_true-unreach-call.c 962    541    11094163456 .0262 .0270 5611520
eca-rers2012/Problem09_label58_true-unreach-call.c 961    562    11092652032 8.46   5.06   513830912
eca-rers2012/Problem10_label00_true-unreach-call.c 300    275    5089308672 47.5    28.4    877637632
eca-rers2012/Problem10_label01_true-unreach-call.c 378    347    5389008896 34.6    19.9    707047424
eca-rers2012/Problem10_label02_true-unreach-call.c 307    288    4848463872 30.7    18.4    719806464
eca-rers2012/Problem10_label03_true-unreach-call.c 98.6  87.5  4012716032 21.4    12.8    499228672
eca-rers2012/Problem10_label04_true-unreach-call.c 98.6  87.6  3984027648 19.5    11.4    460341248
eca-rers2012/Problem10_label05_true-unreach-call.c 99.3  87.6  4138237952 22.5    13.2    526561280
eca-rers2012/Problem10_label06_true-unreach-call.c 98.5  87.4  3994468352 18.4    11.1    481964032
eca-rers2012/Problem10_label07_true-unreach-call.c 98.3  84.4  4124385280 16.1    9.59   476798976
eca-rers2012/Problem10_label08_true-unreach-call.c 99.1  84.8  4101750784 18.6    10.5    525099008
eca-rers2012/Problem10_label09_true-unreach-call.c 100    85.5  4156878848 16.9    9.68   476413952
eca-rers2012/Problem10_label10_true-unreach-call.c 98.3  86.8  4043595776 16.3    9.36   570073088
eca-rers2012/Problem10_label11_true-unreach-call.c 376    347    5569884160 76.1    53.5    932884480
eca-rers2012/Problem10_label13_true-unreach-call.c 375    346    5539479552 86.6    68.8    924401664
eca-rers2012/Problem10_label14_true-unreach-call.c 379    344    5536612352 84.2    65.6    1036775424
eca-rers2012/Problem10_label16_true-unreach-call.c 377    345    5535211520 39.4    23.9    791150592
eca-rers2012/Problem10_label17_true-unreach-call.c 377    345    5373181952 19.3    11.4    486989824
eca-rers2012/Problem10_label18_true-unreach-call.c 245    225    4806922240 19.4    11.5    488857600
eca-rers2012/Problem10_label19_true-unreach-call.c 98.0  86.4  4004159488 36.7    21.8    741838848
eca-rers2012/Problem10_label20_true-unreach-call.c 98.3  87.1  4021108736 42.3    24.8    609071104
eca-rers2012/Problem10_label21_true-unreach-call.c 97.7  87.2  4036931584 33.7    20.1    685477888
eca-rers2012/Problem10_label22_true-unreach-call.c 98.2  87.2  4020674560 36.5    22.6    675946496
eca-rers2012/Problem10_label23_true-unreach-call.c 375    346    5398986752 63.9    46.8    949972992
eca-rers2012/Problem10_label25_true-unreach-call.c 376    346    5562015744 218      197      1079078912
eca-rers2012/Problem10_label27_true-unreach-call.c 377    346    5419401216 20.2    11.8    524562432
eca-rers2012/Problem10_label30_true-unreach-call.c 376    348    5362417664 50.9    31.4    697434112
eca-rers2012/Problem10_label31_true-unreach-call.c 98.6  87.3  4037918720 16.4    9.76   541302784
eca-rers2012/Problem10_label32_true-unreach-call.c 99.5  87.5  3665633280 20.0    11.9    544526336
eca-rers2012/Problem10_label33_true-unreach-call.c 98.3  87.1  4088008704 22.1    12.7    629399552
eca-rers2012/Problem10_label34_true-unreach-call.c 99.6  87.7  4100345856 25.3    15.0    654786560
eca-rers2012/Problem10_label35_true-unreach-call.c 99.0  87.7  4081307648 38.2    22.9    724553728
eca-rers2012/Problem10_label36_true-unreach-call.c 99.9  87.4  3732705280 33.4    19.9    704688128
eca-rers2012/Problem10_label37_true-unreach-call.c 100    85.8  3844423680 28.1    16.5    545746944
eca-rers2012/Problem10_label38_true-unreach-call.c 104    88.9  4186103808 17.7    10.5    473718784
eca-rers2012/Problem10_label39_true-unreach-call.c 378    344    5729472512 31.0    18.7    609292288
eca-rers2012/Problem10_label40_true-unreach-call.c 377    346    5590659072 33.6    19.7    706588672
eca-rers2012/Problem10_label43_true-unreach-call.c 264    247    4569907200 56.7    45.7    542711808
eca-rers2012/Problem10_label44_true-unreach-call.c 292    274    4581584896 55.0    43.3    746598400
eca-rers2012/Problem10_label45_true-unreach-call.c 375    343    5684060160 46.2    34.3    559583232
eca-rers2012/Problem10_label49_true-unreach-call.c 284    262    4843618304 58.5    38.6    1212096512
eca-rers2012/Problem10_label51_true-unreach-call.c 98.9  87.8  3949326336 28.0    17.0    594608128
eca-rers2012/Problem10_label52_true-unreach-call.c 98.8  87.4  4041887744 18.2    11.1    483250176
eca-rers2012/Problem10_label53_true-unreach-call.c 98.2  86.9  4057858048 20.9    12.4    594067456
eca-rers2012/Problem10_label54_true-unreach-call.c 100    86.0  4167671808 17.7    10.7    483176448
eca-rers2012/Problem10_label56_true-unreach-call.c 960    661    9595478016 7.16   4.30   278691840
eca-rers2012/Problem10_label59_true-unreach-call.c 414    366    5969276928 960      928      1288773632
eca-rers2012/Problem11_label01_true-unreach-call.c 424    365    7029874688 115      95.9    1077669888
eca-rers2012/Problem11_label02_true-unreach-call.c 961    654    11536908288 5.71   3.59   277168128
eca-rers2012/Problem11_label03_true-unreach-call.c 403    357    6841282560 36.0    21.6    856989696
eca-rers2012/Problem11_label04_true-unreach-call.c 417    363    6848888832 60.6    38.8    1125978112
eca-rers2012/Problem11_label05_true-unreach-call.c 961    652    10830237696 5.81   3.42   272793600
eca-rers2012/Problem11_label06_true-unreach-call.c 730    520    11538026496 248      207      2799316992
eca-rers2012/Problem11_label07_true-unreach-call.c 469    392    8038440960 36.4    22.1    640749568
eca-rers2012/Problem11_label09_true-unreach-call.c 848    588    11437621248 75.3    49.0    2061135872
eca-rers2012/Problem11_label10_true-unreach-call.c 544    435    8193114112 523      458      3976749056
eca-rers2012/Problem11_label11_true-unreach-call.c 961    654    11442307072 5.79   3.49   276557824
eca-rers2012/Problem11_label12_true-unreach-call.c 473    394    8017399808 38.7    23.6    674848768
eca-rers2012/Problem11_label13_true-unreach-call.c 421    366    6755311616 29.8    17.5    561676288
eca-rers2012/Problem11_label16_true-unreach-call.c 461    387    6913916928 103      79.7    1232457728
eca-rers2012/Problem11_label17_true-unreach-call.c 475    390    8541249536 46.5    27.9    705060864
eca-rers2012/Problem11_label18_true-unreach-call.c 414    362    6886576128 36.8    22.0    645988352
eca-rers2012/Problem11_label19_true-unreach-call.c 881    608    8582176768 961      934      1533603840
eca-rers2012/Problem11_label21_true-unreach-call.c 408    355    7058870272 66.9    43.3    1146052608
eca-rers2012/Problem11_label22_true-unreach-call.c 961    654    12782628864 7.37   4.10   277147648
eca-rers2012/Problem11_label23_true-unreach-call.c 436    373    6834524160 46.2    28.9    928055296
eca-rers2012/Problem11_label24_true-unreach-call.c 961    650    12906557440 7.21   4.21   276094976
eca-rers2012/Problem11_label25_true-unreach-call.c 961    652    10813571072 5.89   3.63   269213696
eca-rers2012/Problem11_label26_true-unreach-call.c 750    533    11513008128 241      187      3052589056
eca-rers2012/Problem11_label27_true-unreach-call.c 408    359    6857216000 40.0    24.1    761040896
eca-rers2012/Problem11_label28_true-unreach-call.c 961    654    9135652864 6.15   3.74   261292032
eca-rers2012/Problem11_label30_true-unreach-call.c 514    420    8188305408 399      338      4292788224
eca-rers2012/Problem11_label32_true-unreach-call.c 413    361    6853025792 43.0    26.0    850374656
eca-rers2012/Problem11_label33_true-unreach-call.c 399    351    7029207040 .0191 .0197 5619712
eca-rers2012/Problem11_label35_true-unreach-call.c 961    653    10805264384 5.59   3.39   276819968
eca-rers2012/Problem11_label37_true-unreach-call.c 410    356    7062183936 188      150      1890926592
eca-rers2012/Problem11_label38_true-unreach-call.c 408    358    6847397888 104      78.0    876990464
eca-rers2012/Problem11_label40_true-unreach-call.c 961    653    12356120576 5.70   3.37   264790016
eca-rers2012/Problem11_label41_true-unreach-call.c 960    649    12745994240 5.82   3.50   274407424
eca-rers2012/Problem11_label44_true-unreach-call.c 415    363    6883606528 151      126      1249447936
eca-rers2012/Problem11_label45_true-unreach-call.c 961    652    10857476096 5.44   3.54   280035328
eca-rers2012/Problem11_label46_true-unreach-call.c 961    652    12385415168 6.81   4.08   279277568
eca-rers2012/Problem11_label47_true-unreach-call.c 961    654    12375990272 5.57   3.07   275124224
eca-rers2012/Problem11_label48_true-unreach-call.c 961    654    11142500352 5.77   3.63   266240000
eca-rers2012/Problem11_label50_true-unreach-call.c 961    653    10810806272 5.37   3.28   268361728
eca-rers2012/Problem11_label52_true-unreach-call.c 961    653    11412807680 5.46   3.24   265678848
eca-rers2012/Problem11_label53_true-unreach-call.c 414    359    6754025472 39.2    22.5    654487552
eca-rers2012/Problem11_label54_true-unreach-call.c 961    653    10856579072 5.52   3.37   267616256
eca-rers2012/Problem11_label55_true-unreach-call.c 961    651    12439797760 5.82   3.53   278667264
eca-rers2012/Problem11_label56_true-unreach-call.c 961    652    11409973248 5.92   3.57   272371712
eca-rers2012/Problem11_label57_true-unreach-call.c 961    649    12752723968 5.86   3.53   266153984
eca-rers2012/Problem11_label59_true-unreach-call.c 504    412    6821490688