Tool CPAchecker 1.6.1-svn 24567
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-71-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-03-30 19:26:02 CEST
Run set princess-q_auflia princess-qf_auflia princess-qf_uflia princess-q_uflia
Options -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=INTEGER -setprop solver.solver=princess -heap 13000M -stack 100M -setprop cpa.predicate.useQuantifiersOnArrays=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=INTEGER -setprop solver.solver=princess -heap 13000M -stack 100M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=INTEGER -setprop solver.solver=princess -heap 13000M -stack 100M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=INTEGER -setprop solver.solver=princess -heap 13000M -stack 100M -setprop cpa.predicate.useQuantifiersOnArrays=true -setprop cpa.predicate.maxArrayLength=-1
../sv-benchmarks/c/ status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J)
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 910    421    11900 6560   908    420    12000 7330   908    412    11900 6920   906    414    12300 7100  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 228    90.8  8970 1460   269    97.7  9150 1630   937    353    12800 7070   628    236    12700 4280  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 269    97.7  9030 1770   283    99.4  8990 1870   928    356    12800 6110   615    233    12400 3690  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 368    173    9090 2920   352    173    9270 2760   571    252    11200 4520   452    207    10000 3250  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 190    92.1  7940 1580   211    92.2  8110 1580   317    138    9360 2280   326    146    9060 2840  
array-examples/standard_allDiff2_false-unreach-call_ground.i 230    115    7750 2310   220    114    7850 2020   184    98.4  7540 1610   202    104    7670 1930  
array-examples/standard_copy1_false-unreach-call_ground.i 104    49.9  6840 980   135    53.6  7490 892   918    452    11900 7960   276    119    8950 2110  
array-examples/standard_copy2_false-unreach-call_ground.i 176    79.3  8050 1250   179    79.4  7920 1640   904    446    11300 7220   399    176    9890 2850  
array-examples/standard_copy3_false-unreach-call_ground.i 182    83.0  8030 1420   166    81.8  8050 1600   901    425    11000 6130   397    181    9950 3470  
array-examples/standard_copy4_false-unreach-call_ground.i 200    87.7  8050 1590   177    86.4  8100 1610   901    429    10900 6690   378    177    9820 2910  
array-examples/standard_copy5_false-unreach-call_ground.i 179    90.8  8130 1620   198    93.0  8090 1460   901    450    10900 6230   384    187    9870 3040  
array-examples/standard_copy6_false-unreach-call_ground.i 211    99.0  8240 1530   200    97.7  8180 1500   903    465    11400 7770   437    201    10100 3290  
array-examples/standard_copy7_false-unreach-call_ground.i 212    108    8250 1790   210    108    8200 2030   902    455    11100 7340   453    216    10100 3370  
array-examples/standard_copy8_false-unreach-call_ground.i 302    177    8800 3010   338    179    8900 3280   968    447    10900 6420   615    314    11100 5040  
array-examples/standard_copy9_false-unreach-call_ground.i 473    258    10000 3810   489    260    9810 4860   902    480    11100 7950   782    402    11900 7270  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 190    78.7  8090 1530   177    75.5  8040 1580   903    417    11600 6790   406    175    9890 3620  
array-examples/standard_init1_false-unreach-call_ground.i 111    37.8  6500 739   105    36.8  6860 745   550    294    10600 4290   292    111    9080 2160  
array-examples/standard_init2_false-unreach-call_ground.i 127    48.8  7270 859   142    50.1  7910 1050   906    420    12700 7830   390    153    9600 2620  
array-examples/standard_init3_false-unreach-call_ground.i 145    52.8  7790 985   125    50.0  7530 1020   910    404    12300 6600   401    158    9590 2670  
array-examples/standard_init4_false-unreach-call_ground.i 157    58.0  7850 1190   123    51.2  7590 972   966    453    13300 7260   389    155    9550 2910  
array-examples/standard_init5_false-unreach-call_ground.i 137    57.1  7790 1110   161    61.0  7920 1310   907    400    11900 6790   404    163    9820 3160  
array-examples/standard_init6_false-unreach-call_ground.i 140    60.8  7580 957   140    61.3  7680 1090   967    439    13000 6460   356    159    9860 2740  
array-examples/standard_init7_false-unreach-call_ground.i 133    65.0  7600 1240   151    67.8  7640 1170   942    432    12700 7200   422    179    9900 3480  
array-examples/standard_init8_false-unreach-call_ground.i 172    102    7650 1670   183    102    7410 1640   966    436    12300 8350   493    242    9940 4250  
array-examples/standard_init9_false-unreach-call_ground.i 233    141    7670 2060   234    141    7600 2290   908    404    11800 6930   567    298    10200 5570  
array-examples/standard_minInArray_false-unreach-call_ground.i 133    54.0  7450 972   127    53.2  6710 1100   128    53.8  6920 939   138    55.2  7520 1020  
array-examples/standard_partition_false-unreach-call_ground.i 264    110    8840 1750   273    111    8940 1870   901    394    11500 7080   468    195    10500 3650  
array-examples/standard_running_false-unreach-call.i 237    115    8610 1920   250    115    8820 2190   906    407    13000 7030   330    158    9340 3190  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 959    341    12600 6120   907    345    13000 6130   907    352    13300 5850   906    337    12700 5630  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 906    418    12300 6880   907    436    12400 7290   908    410    12400 7100   907    439    12900 7250  
array-examples/relax_true-unreach-call.i 11.9  3.29 605 90.7 12.0  3.26 591 104   11.7  3.22 603 89.4 12.3  3.36 609 93.2
array-examples/sanfoundry_02_true-unreach-call_ground.i 157    64.2  7880 1030   145    63.6  7920 1170   164    63.8  8050 1100   141    61.9  7820 1140  
array-examples/sanfoundry_10_true-unreach-call_ground.i 149    75.3  7610 1290   154    74.7  7640 1300   879    439    11800 7020   310    146    9010 2470  
array-examples/sanfoundry_24_true-unreach-call.i 5.69 1.92 359 48.7 5.42 1.92 338 41.3 5.34 1.78 334 50.0 6.02 1.95 352 45.8
array-examples/sanfoundry_27_true-unreach-call_ground.i 134    54.2  7240 984   121    52.0  7510 856   127    52.4  7500 980   121    52.3  7510 948  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.43 1.07 270 22.6 2.50 1.11 263 21.0 2.58 1.16 261 21.6 2.41 1.11 258 22.4
array-examples/sorting_bubblesort_true-unreach-call_ground.i 226    91.7  9140 1700   241    92.7  9000 1610   919    365    12700 6330   637    233    12400 4440  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 166    84.2  7870 1460   207    88.8  8130 1600   336    135    9340 1940   345    150    9250 2720  
array-examples/standard_compareModified_true-unreach-call_ground.i 216    109    8150 1750   202    107    8260 1530   927    492    10700 5860   418    187    9710 2880  
array-examples/standard_compare_true-unreach-call_ground.i 150    61.9  7930 1060   138    60.0  7610 1100   144    61.1  7820 958   131    59.6  7540 1010  
array-examples/standard_copy1_true-unreach-call_ground.i 124    51.8  7590 889   128    52.0  7460 912   859    449    11800 6710   259    116    8920 2130  
array-examples/standard_copy2_true-unreach-call_ground.i 176    77.9  8030 1420   165    76.6  7930 1270   968    470    11700 6840   435    178    9880 3370  
array-examples/standard_copy3_true-unreach-call_ground.i 195    84.4  8480 1440   168    80.0  8010 1340   904    414    10500 6280   397    181    9830 2920  
array-examples/standard_copy4_true-unreach-call_ground.i 165    85.2  8060 1550   194    87.7  8060 1620   903    439    10900 7750   431    188    10200 3160  
array-examples/standard_copy5_true-unreach-call_ground.i 189    91.5  8050 1600   183    90.7  8290 1690   923    438    11000 8240   466    201    10500 3460  
array-examples/standard_copy6_true-unreach-call_ground.i 200    97.1  8080 1670   172    93.1  8130 1530   968    453    11400 6670   426    198    9830 3330  
array-examples/standard_copy7_true-unreach-call_ground.i 216    108    8150 1980   197    108    8260 1750   905    445    11700 6860   463    215    10200 3920  
array-examples/standard_copy8_true-unreach-call_ground.i 321    179    8790 3470   323    179    8710 2720   960    461    11300 7970   587    310    11200 5640  
array-examples/standard_copy9_true-unreach-call_ground.i 488    259    9770 4470   445    255    9830 4030   902    473    10800 8180   708    394    11900 6480  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 180    76.1  8010 1200   169    74.7  8030 1340   909    403    11200 6010   414    174    9640 3060  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 171    81.8  8000 1450   162    81.7  8040 1530   905    456    12500 7680   415    182    10100 3140  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 175    74.9  8130 1510   172    75.3  8040 1300   902    430    11700 6110   346    167    9620 2910  
array-examples/standard_copyInit_true-unreach-call_ground.i 171    72.6  7960 1260   147    69.6  7950 1180   903    467    12500 7210   358    164    9780 3070  
array-examples/standard_find_true-unreach-call_ground.i 113    38.5  6510 787   153    44.2  7400 924   548    274    10500 5020   335    117    9800 1950  
array-examples/standard_init1_true-unreach-call_ground.i 95.0  35.6  7120 636   111    37.7  6880 730   590    301    10700 4810   256    106    8730 1910  
array-examples/standard_init2_true-unreach-call_ground.i 126    48.6  7130 821   127    48.3  7000 969   968    425    12700 6640   337    144    9790 2690  
array-examples/standard_init3_true-unreach-call_ground.i 123    50.6  7600 916   130    50.8  7430 986   905    420    12600 6730   364    154    9560 2590  
array-examples/standard_init4_true-unreach-call_ground.i 126    52.7  7660 942   154    55.9  7910 1070   908    403    12400 6330   359    155    9550 2520  
array-examples/standard_init5_true-unreach-call_ground.i 132    58.1  7710 1130   158    61.2  7900 1040   904    407    12000 6490   396    163    9550 2800  
array-examples/standard_init6_true-unreach-call_ground.i 144    62.5  7630 1050   166    63.9  7990 1170   959    408    12000 6500   417    168    9840 2770  
array-examples/standard_init7_true-unreach-call_ground.i 172    72.2  8060 1270   151    68.0  7900 1210   952    411    11800 7280   385    173    9840 2710  
array-examples/standard_init8_true-unreach-call_ground.i 199    106    7790 1880   187    105    7550 1730   952    429    12500 7260   482    233    9940 4460  
array-examples/standard_init9_true-unreach-call_ground.i 227    144    7660 2530   218    140    7680 2040   925    428    12900 7470   556    298    10300 4720  
array-examples/standard_maxInArray_true-unreach-call_ground.i 118    52.3  7570 979   115    51.7  7370 928   130    52.9  7090 1040   131    53.6  7110 1020  
array-examples/standard_minInArray_true-unreach-call_ground.i 133    54.6  7140 1050   147    55.8  7840 1020   119    51.3  7450 868   126    53.1  7670 1040  
array-examples/standard_palindrome_true-unreach-call_ground.i 122    51.7  7310 927   127    52.1  7580 1140   623    302    10800 5920   342    126    9470 2390  
array-examples/standard_partial_init_true-unreach-call_ground.i 171    72.1  8230 1320   193    73.7  8190 1440   908    458    12000 8060   331    139    9310 2140  
array-examples/standard_partition_original_true-unreach-call_ground.i 189    75.7  8360 1270   199    76.4  8440 1390   904    415    12000 7540   363    140    9870 2550  
array-examples/standard_partition_true-unreach-call_ground.i 200    92.0  8360 1750   170    86.9  8070 1570   968    378    13100 6720   342    146    9520 2930  
array-examples/standard_password_true-unreach-call_ground.i 131    57.5  7620 1060   129    57.8  7650 1110   138    59.5  7750 1040   141    61.2  7520 1140  
array-examples/standard_reverse_true-unreach-call_ground.i 121    51.8  7410 949   129    52.4  7310 903   899    451    11800 7430   292    124    9270 2140  
array-examples/standard_running_true-unreach-call.i 259    118    8790 1890   250    115    8820 2010   928    389    12900 6210   373    166    9770 2660  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 968    357    14800 7110   921    355    14500 6820   633    284    11700 4750   731    298    13600 5210  
array-examples/standard_seq_init_true-unreach-call_ground.i 121    50.7  7470 804   125    51.1  7520 870   591    300    10700 5100   263    117    8940 2060  
array-examples/standard_strcmp_true-unreach-call_ground.i 100    43.7  6610 871   105    44.4  6820 798   95.6  42.5  7010 849   96.6  42.9  6630 711  
array-examples/standard_strcpy_original_true-unreach-call.i 122    41.3  6870 753   118    40.2  6870 902   866    436    12200 7040   285    114    9020 2010  
array-examples/standard_strcpy_true-unreach-call_ground.i 136    42.3  7720 820   153    44.3  7320 835   873    416    12000 6780   268    106    9040 1840  
array-examples/standard_two_index_01_true-unreach-call.i 179    65.3  8000 1270   166    65.0  7960 1230   907    430    11500 5430   355    138    9450 2500  
array-examples/standard_two_index_02_true-unreach-call.i 159    76.1  8020 1240   190    81.0  8170 1300   907    462    11500 8190   378    155    10100 3080  
array-examples/standard_two_index_03_true-unreach-call.i 155    74.5  8000 1220   184    79.7  8110 1410   904    454    11300 8510   373    154    10100 3020  
array-examples/standard_two_index_04_true-unreach-call.i 183    79.7  8170 1440   194    80.4  8270 1430   958    471    11400 7410   407    158    9590 2750  
array-examples/standard_two_index_05_true-unreach-call.i 197    81.9  8220 1470   183    80.3  7990 1660   905    484    11700 7980   378    155    9590 2580  
array-examples/standard_two_index_06_true-unreach-call.i 185    80.3  8060 1370   181    78.9  8150 1540   905    434    11400 6800   326    147    9610 2450  
array-examples/standard_two_index_07_true-unreach-call.i 188    80.0  8000 1410   187    79.9  8090 1670   968    488    11800 7190   384    155    9540 2510  
array-examples/standard_two_index_08_true-unreach-call.i 191    80.0  8050 1360   187    80.9  8000 1340   905    471    11600 7610   357    153    9500 2740  
array-examples/standard_two_index_09_true-unreach-call.i 161    75.5  8130 1560   197    80.4  8150 1380   968    469    11600 6960   370    155    9360 3030  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 293    126    8740 1940   235    116    8680 1790   338    173    9240 2960   334    173    9180 3350  
array-examples/standard_vector_difference_true-unreach-call_ground.i 123    56.7  7580 914   124    57.2  7610 1030   905    467    11500 7710   261    126    9230 2190  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 104    36.5  6920 736   101    36.0  6460 759   520    284    10500 4190   224    100    8900 1720  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 108    37.6  6640 708   901    858    5410 10500   603    297    10400 4710   253    106    8750 1990  
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 159    67.0  7910 1190   133    63.0  7640 1160   157    68.9  7680 1100   160    69.5  7930 1360  
array-industry-pattern/array_range_init_false-unreach-call.i 124    53.9  7380 1000   911    864    5610 11100   645    313    10600 4860   281    119    9010 2250  
array-industry-pattern/array_single_elem_init_false-unreach-call.i 135    64.0  7670 1070   132    63.4  7620 1130   125    65.7  7540 1100   151    68.2  7680 1280  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 953    505    11100 9010   905    488    11000 7370   960    503    10700 7300   920    476    11100 6980  
array-industry-pattern/array_monotonic_true-unreach-call.i 200    91.9  8530 1580   253    101    8620 1780   903    451    11200 6780   661    255    12000 5170  
array-industry-pattern/array_mul_init_true-unreach-call.i 248    85.4  8860 1850   257    87.1  8870 1640   926    414    11400 6290   728    286    13100 5910  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 116    42.9  6630 868   908    865    5370 11400   811    476    11800 7560   332    126    9490 2230  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 387    132    10100 2380   902    855    5480 11300   905    493    11000 8680   928    304    13600 5460  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 861    507    10900 8400   838    503    10900 8010   902    364    11300 6450   961    553    11700 8270  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 553    189    11700 3440   911    864    5340 12800   901    487    11800 7360   910    316    14100 5740  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 244    85.1  9200 1670   912    880    3500 5560   904    413    11300 6790   730    280    12900 5380  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 220    62.1  8970 1240   915    879    4460 7170   907    460    12000 6850   463    146    11000 3250  
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 167    58.5  7790 1040   911    871    5450 10100   968    409    12700 6560   311    139    9710 2140  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 563    239    11500 3920   912    847    5550 10100   906    445    11000 7040   915    353    13600 7220  
array-industry-pattern/array_shadowinit_true-unreach-call.i 139    49.6  6730 892   134    49.0  6960 901   123    64.6  7350 1110   94.2  42.9  5960 787  
reducercommutativity/rangesum05_false-unreach-call.i 18.4  4.88 793 135   18.7  4.83 588 156   18.2  4.78 764 145   19.5  5.04 793 145  
reducercommutativity/rangesum10_false-unreach-call.i 901    837    2910 10000   901    845    3930 11700   37.2  10.9  1560 304   40.0  11.1  1540 326  
reducercommutativity/rangesum20_false-unreach-call.i 901    830    5730 11600   901    827    5660 12000   108    54.6  5480 912   72.8  32.2  4950 626  
reducercommutativity/rangesum40_false-unreach-call.i 901    445    12300 8190   927    446    11500 7000   901    476    11800 8400   588    342    9850 5750  
reducercommutativity/rangesum60_false-unreach-call.i 908    483    12500 6900   905    456    12000 8490   902    430    11700 6670   905    481    12300 7720  
reducercommutativity/rangesum_false-unreach-call.i 54.4  17.6  2240 476   52.8  17.5  2620 418   62.4  21.4  2680 519   55.2  19.0  2790 391  
reducercommutativity/avg05_true-unreach-call.i 28.4  7.16 1070 223   28.3  7.09 855 234   35.6  9.15 922 248   19.4  5.23 776 147  
reducercommutativity/avg10_true-unreach-call.i 65.1  20.3  2100 484   64.3  19.5  2460 547   80.6  30.7  3890 710   40.7  14.1  2260 351  
reducercommutativity/avg20_true-unreach-call.i 169    88.5  5900 1750   183    90.3  5890 1530   446    252    7550 4000   96.2  47.5  5170 911  
reducercommutativity/avg40_true-unreach-call.i 942    688    9000 10700   903    685    8760 10400   903    413    12000 6260   312    176    7260 3160  
reducercommutativity/avg60_true-unreach-call.i 446    274    9110 4360   464    283    9050 4110   905    374    12700 6200   761    431    11300 7010  
reducercommutativity/avg_true-unreach-call.i 166    73.6  7770 1340   166    74.7  7800 1340   241    105    8220 2040   31.4  7.80 1280 245  
reducercommutativity/max05_true-unreach-call_true-termination.i 51.4  15.0  1890 428   53.1  14.9  1400 386   111    61.3  5170 1210   20.9  5.42 796 151  
reducercommutativity/max10_true-unreach-call_true-termination.i 968    519    13000 8090   924    512    12700 8670   915    765    7380 10700   45.5  14.4  2270 395  
reducercommutativity/max20_true-unreach-call.i 901    717    7640 11800   901    716    7610 10100   901    567    9500 8620   93.9  40.8  4470 727  
reducercommutativity/max40_true-unreach-call.i 902    671    8990 11000   902    683    9000 10800   929    375    12100 6610   385    202    8760 3630  
reducercommutativity/max60_true-unreach-call.i 353    166    9170 2960   368    169    9220 2820   904    367    12600 6450   599    259    11100 4450  
reducercommutativity/max_true-unreach-call.i 911    835    5990 13200   911    823    6000 13000   901    757    7210 10300   25.6  6.62 1020 196  
reducercommutativity/sep05_true-unreach-call.i 63.1  22.4  3210 518   63.1  22.1  2710 540   80.3  29.5  3160 765   37.2  12.3  1440 305  
reducercommutativity/sep10_true-unreach-call.i 908    464    10900 8400   901    464    11100 7760   911    671    8800 10100   114    53.2  5450 1050  
reducercommutativity/sep20_true-unreach-call.i 908    569    8730 9820   901    581    8770 9010   961    427    11800 6910   363    217    6850 3170  
reducercommutativity/sep40_true-unreach-call.i 945    531    10400 8410   967    546    10500 8660   902    453    11300 7990   968    542    10400 8500  
reducercommutativity/sep60_true-unreach-call.i 906    547    10800 8700   906    557    10900 9000   902    419    11400 6750   907    483    11100 7120  
reducercommutativity/sep_true-unreach-call.i 932    521    10600 8830   965    531    10800 8280   912    686    9440 9270   34.0  10.3  1650 244  
reducercommutativity/sum05_true-unreach-call_true-termination.i 23.2  5.92 869 183   21.9  5.62 751 176   25.3  6.36 991 201   19.8  5.10 801 144  
reducercommutativity/sum10_true-unreach-call.i 50.8  14.0  1790 424   50.1  14.0  2030 424   67.1  23.1  3250 588   40.8  12.7  1570 357  
reducercommutativity/sum20_true-unreach-call.i 117    46.9  5780 969   123    48.8  5740 1110   319    157    7760 2750   86.6  40.4  4890 720  
reducercommutativity/sum40_true-unreach-call.i 480    230    9640 3710   415    220    9030 3700   960    409    12000 7500   301    165    7480 2800  
reducercommutativity/sum60_true-unreach-call.i 907    546    11000 7650   960    555    11100 8730   901    437    12100 7760   903    585    10600 9760  
reducercommutativity/sum_true-unreach-call.i 154    49.1  6740 949   143    48.4  6480 1090   186    69.1  8270 1470   29.2  7.55 1260 205  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 9.56 2.78 550 81.7 9.17 2.77 551 74.2 10.2  2.89 564 77.4 9.98 2.91 538 76.2
bitvector/sum02_false-unreach-call_true-no-overflow.i 138    50.1  7220 921   125    48.2  6700 853   130    48.5  7140 868   140    50.0  6710 943  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 10.4  2.99 550 92.2 10.2  2.97 541 71.8 10.0  2.88 544 79.4 9.31 2.76 541 69.9
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 9.73 2.86 533 77.9 9.38 2.74 535 75.9 10.2  2.91 539 77.7 10.0  2.96 546 75.1
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 930    188    14200 4350   924    191    14300 4200   934    186    14200 4630   930    195    14300 4430  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 35.3  12.8  1920 295   37.2  12.9  1570 358   38.5  13.3  1690 306   37.1  12.8  1550 343  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 943    179    14300 3680   915    181    14200 4230   968    183    14200 4170   901    170    14300 3790  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 14.2  3.83 599 111   15.1  4.08 613 121   13.7  3.71 559 100   13.7  3.77 626 107  
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 904    261    14200 5210   942    262    14100 6390   906    253    14100 5950   904    256    14200 6160  
bitvector/jain_1_true-unreach-call_true-no-overflow.i 3.96 1.61 346 35.6 3.83 1.50 333 33.3 3.98 1.58 345 33.7 3.72 1.51 313 35.4
bitvector/jain_2_true-unreach-call_true-no-overflow.i 4.32 1.62 348 42.0 4.02 1.60 322 32.1 3.92 1.55 322 29.8 4.39 1.64 356 39.4
bitvector/jain_4_true-unreach-call_true-no-overflow.i 4.23 1.64 347 39.4 4.25 1.59 348 37.6 4.42 1.67 385 38.6 4.43 1.74 353 38.2
bitvector/jain_5_true-unreach-call_true-no-overflow.i 102    30.3  5520 724   91.3  28.4  5660 528   93.9  29.2  5760 649   92.8  29.0  5600 584  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 4.35 1.62 361 35.6 4.23 1.63 351 35.4 4.38 1.65 354 39.8 4.48 1.67 355 39.4
bitvector/jain_7_true-unreach-call_true-no-overflow.i 4.49 1.63 353 37.8 4.16 1.61 338 40.2 4.53 1.72 355 41.0 4.30 1.61 353 36.1
bitvector/modulus_true-unreach-call_true-no-overflow.i 924    182    14200 3960   944    180    14200 4030   961    187    14200 4200   910    174    14300 4050  
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 8.18 2.42 586 65.9 9.09 2.62 588 67.9 8.42 2.48 580 73.9 8.38 2.48 456 62.6
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 8.39 2.47 587 64.6 8.39 2.52 577 61.5 7.88 2.40 463 58.3 8.47 2.49 586 77.3
bitvector/parity_true-unreach-call_true-no-overflow.i 4.34 1.67 342 44.3 4.22 1.58 332 38.2 4.25 1.60 326 35.2 4.57 1.76 339 34.0
bitvector/sum02_true-unreach-call_true-no-overflow.i 142    50.7  7040 986   119    47.8  7310 852   118    47.4  6630 900   124    48.6  6610 891  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 69.5  28.6  3330 582   72.2  31.0  4090 671   68.0  28.8  3680 571   65.6  27.8  3650 599  
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 83.6  48.0  4570 850   82.2  46.5  4600 655   85.6  47.6  4890 947   83.4  47.9  4550 743  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 18.6  4.96 726 144   20.8  5.63 757 166   19.0  5.05 710 144   21.5  5.66 729 161  
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 69.2  30.3  3380 636   68.2  30.2  3480 637   66.7  26.9  3030 635   66.5  28.7  3670 593  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 84.9  48.7  4990 794   87.0  49.7  5010 856   89.1  50.5  4830 900   89.2  51.5  5040 989  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 947    449    11500 7410   946    462    11200 9160   967    467    10500 8780   968    462    11500 8400  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 909    423    12700 7390   904    402    12900 7420   968    386    14100 6440   925    409    12700 6800  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 922    551    10800 9220   955    556    9790 8830   961    524    10200 7740   901    544    9980 8320  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    523    11300 8920   901    504    11100 7610   903    460    11300 7830   911    486    10900 8310  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 926    447    12100 7380   917    498    11300 9530   906    479    11500 7420   901    527    11000 8060  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 968    547    10500 8520   968    541    9590 8950   961    539    9520 9350   961    523    9260 9570  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 968    547    10000 8240   920    558    10500 9310   921    537    9830 7710   962    554    10400 8690  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 6.97 2.19 368 58.3 6.55 2.20 368 57.5 6.38 2.10 368 58.8 6.94 2.26 378 61.0
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 10.2  2.93 479 85.7 9.57 2.90 501 77.4 10.2  2.94 521 89.0 9.97 2.88 484 80.0
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 10.4  3.02 511 82.8 10.8  3.14 524 84.8 10.3  3.09 515 81.8 10.3  2.93 501 90.2
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 6.17 2.10 362 56.4 6.68 2.18 370 56.5 5.97 2.05 362 52.3 6.17 2.05 362 48.4
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 9.65 2.87 509 71.5 10.5  3.05 481 92.6 10.3  2.96 483 87.0 9.90 3.00 510 77.9
bitvector-regression/implicitfloatconversion_false-unreach-call.c 3.18 1.33 288 27.2 3.27 1.35 289 27.3 3.14 1.33 282 29.4 3.32 1.35 290 29.8
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 3.08 1.31 278 28.9 3.39 1.42 297 27.5 3.09 1.31 279 31.5 3.05 1.32 281 25.0
bitvector-regression/integerpromotion_false-unreach-call.c 3.28 1.37 303 30.9 3.42 1.37 294 31.2 3.22 1.40 292 32.8 3.39 1.42 298 26.6
bitvector-regression/recHanoi03_false-unreach-call.c 2.54 1.13 261 20.8 2.43 1.10 261 19.9 2.38 1.09 260 19.4 2.41 1.10 261 22.1
bitvector-regression/signextension2_false-unreach-call.c 3.07 1.33 284 27.7 3.31 1.45 281 26.8 3.05 1.32 282 25.1 3.14 1.39 285 26.2
bitvector-regression/signextension_false-unreach-call.c 3.08 1.34 276 27.5 3.21 1.34 283 27.0 3.06 1.31 279 25.6 2.92 1.30 275 26.5
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 3.14 1.34 289 30.4 3.26 1.33 293 26.6 3.08 1.32 293 28.9 3.26 1.41 291 27.6
bitvector-regression/integerpromotion_true-unreach-call.c 3.42 1.36 297 28.6 3.42 1.48 291 30.0 3.16 1.40 290 31.3 3.16 1.37 301 27.3
bitvector-regression/signextension2_true-unreach-call.c 3.55 1.47 311 28.6 3.47 1.43 311 34.4 3.46 1.46 314 30.8 3.23 1.41 295 29.8
bitvector-regression/signextension_true-unreach-call.c 3.55 1.52 309 32.8 3.49 1.47 310 34.1 3.46 1.45 310 29.4 3.20 1.36 287 28.6
bitvector-loops/diamond_false-unreach-call2.i 27.0  8.65 1630 203   27.6  9.01 1480 226   27.2  8.83 975 202   28.2  8.64 1400 218  
bitvector-loops/overflow_false-unreach-call1.i 4.73 1.69 364 40.1 4.41 1.67 343 31.1 4.38 1.64 347 40.4 4.54 1.68 372 40.3
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 8.25 2.44 594 64.1 8.26 2.47 593 63.5 10.7  3.01 614 86.0 9.75 2.79 494 78.0
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 35.5  15.1  2290 308   37.3  15.5  2180 342   35.8  15.3  2130 324   35.7  15.6  2160 296  
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 19.5  5.48 754 160   20.0  5.60 734 157   22.1  5.98 814 183   20.2  5.59 784 187  
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 26.5  9.69 1300 209   28.9  9.65 1400 250   27.1  9.14 1360 258   28.2  9.92 1350 279  
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 12.2  3.42 533 85.8 11.6  3.24 571 90.3 10.6  3.09 536 81.1 10.9  3.15 532 85.1
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 39.9  20.0  2640 358   40.8  20.1  2610 384   41.2  20.1  2610 420   42.3  20.7  2540 429  
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 30.1  11.6  1770 259   30.9  12.1  1890 283   32.0  11.7  1780 253   32.4  11.8  1990 276  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 19.7  5.41 777 155   18.7  5.10 784 151   18.5  5.06 751 122   19.2  5.21 780 150  
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 27.6  9.52 1410 242   26.9  9.86 1390 211   28.5  9.61 1440 240   27.1  9.45 1370 224  
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.16 2.12 358 50.0 6.55 2.14 387 49.8 6.73 2.19 387 52.0 6.18 2.05 390 51.5
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.58 2.36 522 54.5 8.11 2.51 529 64.4 8.30 2.57 533 67.4 8.19 2.49 529 63.8
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 16.6  4.40 746 132   17.0  4.55 739 138   17.6  4.74 761 138   17.4  4.73 738 145  
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 17.4  4.73 759 135   17.2  4.57 744 122   16.6  4.53 762 124   16.4  4.38 752 129  
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 17.7  4.69 780 130   16.9  4.62 763 115   17.3  4.62 736 145   16.8  4.49 745 122  
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 17.3  4.70 774 148   17.2  4.51 788 132   17.4  4.70 811 132   16.8  4.48 763 115  
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 6.43 2.09 341 58.2 6.25 2.11 354 45.0 6.52 2.13 359 48.3 6.30 2.04 334 49.2
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 44.2  16.8  2120 362   40.9  16.1  2090 345   41.3  16.2  2040 384   42.2  16.3  2060 390  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 52.0  23.8  3010 464   55.6  23.8  2880 493   54.0  22.9  2610 530   57.7  24.0  2820 468  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 18.4  4.88 680 127   19.1  5.10 700 148   18.9  5.21 671 157   19.2  5.17 699 163  
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 9.27 2.75 475 74.7 9.29 2.73 482 75.0 9.97 2.95 473 76.1 9.58 2.80 480 79.5
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 12.3  3.45 535 88.2 12.2  3.35 549 103   14.1  3.93 549 107   12.6  3.51 549 98.5
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 12.0  3.37 556 86.7 12.3  3.46 546 93.2 11.8  3.30 562 92.2 11.2  3.19 553 89.2
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 4.33 1.72 328 34.3 4.21 1.64 309 32.8 4.47 1.70 337 38.8 4.42 1.65 323 41.5
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 901    502    10100 9110   907    481    11100 7230   940    492    10800 9500   904    502    10300 7760  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 932    481    10600 8080   915    487    9840 7340   943    514    10100 7600   961    477    11000 7710  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 901    538    10900 8440   962    564    10100 8250   906    435    12000 6650   901    525    11300 8280  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 911    482    10700 6830   908    502    10600 8310   901    518    10100 8400   913    447    10800 6980  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 929    381    13200 6270   968    458    11800 6980   939    414    11600 7170   945    422    11900 8050  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 37.9  13.9  2450 332   37.8  13.7  2360 309   37.0  13.5  2350 319   39.0  14.0  2260 318  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 11.8  3.24 500 95.0 11.9  3.32 594 91.3 10.9  3.07 597 84.5 11.8  3.23 587 91.8
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 968    359    14100 6260   968    363    14100 6880   928    374    13800 6440   968    377    14100 7280  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 953    359    13500 6660   968    385    14100 7440   947    379    13700 7370   968    374    14000 7020  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 960    345    14200 5900   962    350    14200 6550   926    359    13800 6320   968    359    14200 7600  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 968    463    10900 6840   961    433    11700 8570   968    468    10800 8630   932    430    11800 7270  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 928    445    11400 7740   940    452    12400 7380   926    449    12000 7450   953    440    12300 8740  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 962    476    11000 8060   919    474    10200 8870   961    500    9760 8650   919    481    9190 8750  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 5.93 1.94 332 52.4 6.12 2.02 347 57.6 5.72 2.00 357 49.3 6.29 2.06 344 55.0
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 5.93 1.99 321 52.2 6.30 2.06 344 49.9 6.04 2.03 355 46.9 6.14 2.04 341 47.0
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 10.5  3.08 506 72.7 11.3  3.33 528 101   10.8  3.18 533 85.0 10.8  3.17 509 88.1
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 13.9  4.07 532 115   13.7  4.02 565 108   13.1  3.73 519 105   11.3  3.36 545 95.6
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 13.7  4.10 718 110   13.7  4.26 763 106   13.5  3.95 726 113   12.8  3.92 723 94.9
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 18.9  6.06 1130 156   17.6  5.75 1010 145   18.1  5.53 1160 131   17.5  5.55 1170 142  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 20.4  6.89 1080 183   19.7  6.86 1180 184   20.5  6.80 1310 177   19.8  6.81 1300 173  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 19.9  6.86 1230 173   20.4  6.58 1140 146   19.5  6.67 1190 152   22.2  7.58 1200 146  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 4.72 1.79 343 41.3 5.08 1.73 361 45.6 4.35 1.64 330 41.7 4.98 1.73 353 41.1
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 5.26 1.82 352 43.3 5.19 1.78 359 48.5 5.50 1.91 350 41.6 5.30 1.83 345 38.7
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 6.42 2.02 350 49.8 6.08 2.00 347 56.7 6.09 1.98 354 49.6 5.94 2.00 373 46.0
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 7.80 2.43 443 64.6 7.80 2.37 441 63.8 7.67 2.31 434 70.0 7.27 2.25 354 61.5
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 9.57 2.81 495 76.1 9.33 2.77 474 80.7 8.42 2.59 506 61.8 8.97 2.64 474 73.8
ntdrivers/cdaudio_false-unreach-call.i.cil.c 902    503    10700 7130   902    501    10800 9100   902    485    11000 7280   902    530    10700 9490  
ntdrivers/diskperf_false-unreach-call.i.cil.c 34.1  9.45 1220 274   35.5  9.64 1250 271   34.5  9.89 1310 302   38.3  11.0  1360 293  
ntdrivers/floppy_false-unreach-call.i.cil.c 946    487    12400 8150   901    504    13000 8680   835    514    9130 8860   181    103    6340 1720  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 901    487    12400 8420   901    509    12500 8580   25.1  6.78 943 207   24.2  6.36 702 179  
ntdrivers/parport_false-unreach-call.i.cil.c 12.0  3.24 504 96.3 13.5  3.69 501 94.8 13.9  3.67 495 122   13.3  3.52 513 111  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 69.1  25.6  2820 562   68.8  25.1  2790 589   115    66.4  5100 1060   103    50.2  4380 957  
ntdrivers/diskperf_true-unreach-call.i.cil.c 43.9  15.5  1920 356   41.2  15.2  1890 337   44.8  17.0  1990 373   52.6  20.6  2420 493  
ntdrivers/floppy2_true-unreach-call.i.cil.c 342    131    8190 2340   333    130    8290 2430   372    152    8480 3260   424    176    8600 3600  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 191    103    6610 1700   201    106    6450 1770   902    566    9220 8810   198    108    6500 1680  
ntdrivers/parport_true-unreach-call.i.cil.c 13.3  3.60 515 110   12.5  3.35 533 105   12.6  3.35 501 108   14.5  3.72 539 106  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 247    179    5480 3200   278    194    5810 2700   67.9  34.0  3370 672   75.7  38.6  3640 717  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 74.7  36.8  3660 675   74.7  37.7  3640 827   39.9  13.6  1610 298   40.1  13.0  1520 337  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 71.5  35.0  3310 695   71.9  35.3  3480 736   39.2  13.7  1670 349   39.0  13.2  1610 370  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 70.4  35.8  3440 664   72.5  37.2  3510 644   39.9  14.2  1660 325   37.6  12.8  1560 332  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 30.6  9.96 1410 251   30.1  9.81 1380 260   29.5  8.58 1000 238   22.3  5.81 708 167  
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 28.5  8.98 1310 276   29.3  8.87 1520 241   25.2  6.77 918 199   20.6  5.43 689 151  
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 30.1  9.26 1400 252   30.9  9.63 1320 252   24.9  6.90 882 219   19.9  5.20 675 136  
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 28.8  9.06 1250 245   29.9  9.79 1340 246   25.8  7.16 962 243   19.7  5.14 679 162  
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 344    214    7080 3240   383    227    7780 4070   290    193    6120 3300   314    145    8010 2450  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 193    95.5  6110 1650   219    101    6370 1810   171    77.1  5840 1390   230    102    6720 1660  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 968    336    14100 6500   968    324    14200 6890   968    457    12900 7390   538    258    9310 5150  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 120    59.6  4510 1180   124    58.1  4730 1080   172    87.0  6070 1700   218    98.4  6830 1590  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 961    496    10700 8280   966    522    11100 8090   916    413    13400 6890   968    271    14100 5470  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 49.7  18.6  2350 433   54.8  19.5  2420 522   42.9  17.3  1910 369   36.8  11.4  1380 307  
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 272    180    6270 2590   275    176    6540 2540   265    162    6370 2780   241    115    6960 1760  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 331    152    7920 2850   264    121    6840 2070   245    126    7050 2010   196    81.6  6400 1690  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 372    232    7160 3420   371    238    7130 4080   326    220    6110 3360   283    131    7610 2360  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 968    332    14100 5750   968    332    14300 6410   955    463    11300 8480   482    228    8960 4310  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 386    244    7390 3600   473    268    8390 5040   374    226    6840 3280   295    144    7680 2330  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 911    410    13800 7250   911    451    12600 7670   915    527    10300 8240   961    296    14000 6620  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 962    549    10100 9760   915    520    9350 8130   911    534    10600 7810   968    345    14100 7410  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 915    561    8710 8710   921    520    8790 8870   968    349    13800 5880   918    454    11900 8590  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 917    551    9580 8980   966    572    9110 8980   902    545    9020 8230   901    472    11400 8520  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 967    235    14200 5830   968    228    14100 5320   968    277    14200 5590   968    227    14200 5280  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 968    256    14200 5480   964    248    14200 6390   968    336    14200 6640   965    236    14100 5420  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 968    341    14400 6520   968    346    14200 7410   955    355    13000 6470   968    367    14100 7130  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 968    379    14100 7310   965    361    14000 7550   962    260    14100 6180   968    374    12900 6830  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 968    382    12700 7770   968    326    14100 7200   968    332    14200 7320   968    335    14200 5950  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 967    329    14200 6770   968    323    14200 5510   968    311    14200 6210   968    346    14100 6700  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 911    319    14000 6630   915    245    14100 5330   963    351    14100 6690   968    325    14100 6990  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 924    413    11900 7480   920    414    11100 7030   968    316    14200 6920   918    360    12200 7440  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 968    338    14200 6420   968    352    14300 5800   968    309    14100 6100   968    428    12900 8000  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 968    380    13900 6630   962    378    13900 7850   968    285    14200 5510   968    360    14100 7680  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 968    344    14200 7320   968    330    14300 5980   968    313    14100 6260   968    378    13200 6390  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 968    335    14200 5850   968    340    14100 5320   904    458    13000 7830   911    311    14300 6960  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 968    351    14400 6570   967    348    14000 6900   968    307    14200 6450   918    413    11900 7580  
eca-rers2012/Problem01_label15_false-unreach-call.c 741    522    7310 8580   740    523    6780 8090   760    539    7580 8630   764    541    7330 8040  
eca-rers2012/Problem01_label20_false-unreach-call.c 911    726    7230 10800   901    674    8570 9830   940    768    7070 11400   901    673    8200 10800  
eca-rers2012/Problem01_label21_false-unreach-call.c 485    347    6360 5620   474    341    6350 4890   492    361    6190 4990   498    355    6320 5380  
eca-rers2012/Problem01_label32_false-unreach-call.c 912    699    8460 9700   912    687    8370 11200   913    695    8510 10800   913    682    8420 10200  
eca-rers2012/Problem01_label33_false-unreach-call.c 911    696    8210 10700   914    651    8470 8860   913    697    7970 11300   911    695    8230 11500  
eca-rers2012/Problem01_label35_false-unreach-call.c 848    619    7190 9870   845    627    7350 10200   819    622    6890 10000   831    622    7420 10900  
eca-rers2012/Problem01_label37_false-unreach-call.c 902    748    6740 10000   901    757    6690 10200   901    724    6940 11000   901    717    7000 10900  
eca-rers2012/Problem01_label38_false-unreach-call.c 835    591    7550 8280   812    578    7380 6910   895    636    8020 9070   855    600    8180 9500  
eca-rers2012/Problem01_label44_false-unreach-call.c 64.5  31.9  3660 550   67.4  33.9  3970 634   68.9  33.3  3780 604   66.1  33.1  4170 610  
eca-rers2012/Problem01_label47_false-unreach-call.c 907    649    8850 9680   901    696    8190 11000   901    679    8290 9500   912    637    8480 11300  
eca-rers2012/Problem01_label50_false-unreach-call.c 897    645    7570 11800   857    622    7460 9850   865    622    7420 8160   843    624    7420 9170  
eca-rers2012/Problem01_label56_false-unreach-call.c 939    770    6910 11500   901    734    7140 10700   911    747    7130 10600   912    719    7580 11100  
eca-rers2012/Problem01_label57_false-unreach-call.c 914    801    6560 12000   913    779    6620 11600   914    791    6750 12200   939    788    7010 11100  
eca-rers2012/Problem02_label13_false-unreach-call.c 47.2  22.0  3230 380   49.9  22.6  3240 451   45.8  22.0  3280 474   44.4  21.5  2760 448  
eca-rers2012/Problem02_label16_false-unreach-call.c 40.0  15.7  2150 357   39.4  15.6  2040 378   42.5  15.6  2210 375   38.5  15.7  2040 350  
eca-rers2012/Problem02_label43_false-unreach-call.c 56.8  26.7  3090 534   55.6  26.5  3420 530   55.5  26.5  3430 532   55.6  26.1  3360 539  
eca-rers2012/Problem02_label44_false-unreach-call.c 48.3  22.5  3130 428   45.0  21.8  2870 345   48.5  22.6  2580 488   48.7  22.9  3220 509  
eca-rers2012/Problem02_label45_false-unreach-call.c 138    95.2  5300 1570   160    104    5410 1570   152    99.0  5360 1530   151    99.8  5270 1510  
eca-rers2012/Problem02_label50_false-unreach-call.c 202    135    5570 2140   192    130    5520 1890   193    131    5300 1960   196    131    5550 1960  
eca-rers2012/Problem02_label59_false-unreach-call.c 131    89.0  5410 1380   142    90.9  5340 1740   131    88.3  5170 1320   136    91.6  5140 1480  
eca-rers2012/Problem03_label09_false-unreach-call.c 950    512    10200 8770   917    502    10500 8160   916    517    10300 9860   929    510    9830 7810  
eca-rers2012/Problem03_label13_false-unreach-call.c 901    507    9930 8720   901    523    9450 8470   902    515    9960 8700   921    498    10100 7870  
eca-rers2012/Problem03_label26_false-unreach-call.c 902    549    9870 8770   957    549    10200 8770   901    519    9620 9950   921    524    10100 7800  
eca-rers2012/Problem03_label27_false-unreach-call.c 901    545    9570 7590   901    521    9970 9480   923    550    10200 9180   927    536    10100 8800  
eca-rers2012/Problem03_label28_false-unreach-call.c 901    520    10600 7870   903    489    10300 7420   957    534    10300 9840   901    545    9900 7500  
eca-rers2012/Problem03_label31_false-unreach-call.c 901    536    10100 7450   901    527    10100 8600   901    532    10100 8320   958    557    10300 9750  
eca-rers2012/Problem03_label35_false-unreach-call.c 901    509    10200 8270   958    562    10300 9370   902    514    10200 9880   902    535    10200 8730  
eca-rers2012/Problem03_label37_false-unreach-call.c 902    522    10300 8160   901    527    10600 8050   901    509    10800 8450   904    495    10200 8400  
eca-rers2012/Problem03_label39_false-unreach-call.c 903    493    10100 7520   902    490    10400 7530   901    483    9990 7640   901    500    10300 7700  
eca-rers2012/Problem03_label43_false-unreach-call.c 901    543    9470 8450   901    550    9380 8110   901    542    9580 8740   902    563    9800 10500  
eca-rers2012/Problem03_label45_false-unreach-call.c 901    523    9870 8100   925    517    10300 8550   963    539    10200 8460   964    532    9980 8870  
eca-rers2012/Problem03_label50_false-unreach-call.c 902    501    10100 7530   901    523    10200 9380   901    508    10200 8580   901    495    10000 9060  
eca-rers2012/Problem03_label52_false-unreach-call.c 901    509    9930 7440   946    536    9980 8570   935    530    10200 8820   953    549    10200 8130  
eca-rers2012/Problem04_label04_false-unreach-call.c 902    604    6480 9300   901    616    6400 9820   901    613    6890 8840   902    602    6700 10200  
eca-rers2012/Problem04_label06_false-unreach-call.c 901    593    7080 8740   901    568    7250 8850   923    583    7130 9190   901    584    7140 9000  
eca-rers2012/Problem04_label09_false-unreach-call.c 901    567    7480 8700   901    556    7420 8820   901    542    7280 8590   901    552    7560 9560  
eca-rers2012/Problem04_label11_false-unreach-call.c 903    577    6770 8170   901    584    6800 8520   902    574    7210 9040   901    577    6800 9250  
eca-rers2012/Problem04_label12_false-unreach-call.c 901    661    6360 10100   901    544    7260 9510   901    556    7250 8380   903    541    7560 9750  
eca-rers2012/Problem04_label13_false-unreach-call.c 901    565    7230 8680   901    570    7130 7600   916    584    7260 8310   901    553    7090 7560  
eca-rers2012/Problem04_label14_false-unreach-call.c 901    584    6800 9530   908    580    6880 9430   901    592    6840 8850   901    581    6970 8030  
eca-rers2012/Problem04_label15_false-unreach-call.c 902    575    7090 8920   908    564    7310 8720   901    552    7340 9180   901    571    7090 9420  
eca-rers2012/Problem04_label17_false-unreach-call.c 901    547    7110 8560   901    561    7450 6810   901    527    6700 8610   902    539    7280 7520  
eca-rers2012/Problem04_label18_false-unreach-call.c 901    581    7310 7750   901    616    6750 10500   901    611    6960 8970   917    617    6980 9230  
eca-rers2012/Problem04_label19_false-unreach-call.c 901    665    6520 8780   904    560    7100 9200   901    654    6700 9450   905    550    7170 8040  
eca-rers2012/Problem04_label26_false-unreach-call.c 901    534    7560 8190   901    551    7670 8520   902    546    7440 8520   901    531    7490 9560  
eca-rers2012/Problem04_label27_false-unreach-call.c 901    572    6600 8130   901    557    7240 8850   903    569    6990 8050   902    552    7430 9090  
eca-rers2012/Problem04_label31_false-unreach-call.c 901    512    7420 9430   901    637    6600 9940   901    536    6990 8260   902    508    7540 7640  
eca-rers2012/Problem04_label32_false-unreach-call.c 902    546    7110 9500   901    553    7370 8340   914    541    7150 9050   901    554    7450 8750  
eca-rers2012/Problem04_label35_false-unreach-call.c 901    569    7250 8660   902    587    6720 10100   902    573    6880 7970   902    563    7360 8730  
eca-rers2012/Problem04_label36_false-unreach-call.c 901    572    7220 9180   901    600    6830 9570   901    589    7100 9010   902    585    6940 8320  
eca-rers2012/Problem04_label38_false-unreach-call.c 902    550    7270 8790   901    548    7170 10300   901    555    7280 9130   902    567    6920 8890  
eca-rers2012/Problem04_label39_false-unreach-call.c 902    560    7390 9350   901    565    7380 8660   901    557    7430 8850   901    565    6920 7740  
eca-rers2012/Problem04_label40_false-unreach-call.c 902    603    7470 7820   901    583    7130 10300   903    592    6900 8680   901    568    7300 10500  
eca-rers2012/Problem04_label45_false-unreach-call.c 901    558    6930 8780   901    621    7460 8410   901    553    6970 9490   901    538    7300 9760  
eca-rers2012/Problem04_label52_false-unreach-call.c 903    565    6960 8720   901    570    6910 7760   901    562    7120 8820   903    648    6970 9120  
eca-rers2012/Problem04_label55_false-unreach-call.c 901    555    7500 7990   901    568    7120 8620   903    568    7210 9290   902    566    6990 9920  
eca-rers2012/Problem04_label58_false-unreach-call.c 901    616    7490 10100   901    615    6410 8920   902    610    6490 11000   902    622    6800 8900  
eca-rers2012/Problem05_label00_false-unreach-call.c 901    458    7600 7100   901    447    8270 7270   907    448    8100 6920   904    459    7650 8040  
eca-rers2012/Problem05_label01_false-unreach-call.c 904    460    7990 7510   902    457    8030 7260   902    462    7530 8230   902    464    7710 7360  
eca-rers2012/Problem05_label11_false-unreach-call.c 903    468    7900 7570   912    454    7900 8750   903    471    8010 8850   908    471    8150 8060  
eca-rers2012/Problem05_label13_false-unreach-call.c 903    482    8100 7680   903    493    8060 6410   904    509    8170 8580   903    503    7820 7790  
eca-rers2012/Problem05_label15_false-unreach-call.c 908    456    8690 7400   901    449    8000 7160   902    445    7810 6010   902    441    8220 6830  
eca-rers2012/Problem05_label18_false-unreach-call.c 902    489    8440 7370   901    481    7680 7790   901    498    7490 8320   901    483    7710 6890  
eca-rers2012/Problem05_label24_false-unreach-call.c 901    480    8160 8140   902    486    7560 8100   913    472    8060 7870   917    464    7920 7730  
eca-rers2012/Problem05_label26_false-unreach-call.c 902    448    8040 7380   902    446    8490 7680   901    545    7390 9150   901    453    8070 7180  
eca-rers2012/Problem05_label30_false-unreach-call.c 904    484    7560 8800   936    483    8410 7610   902    483    7640 8780   929    486    8190 7700  
eca-rers2012/Problem05_label32_false-unreach-call.c 901    474    7970 7810   901    486    7860 8190   901    484    7910 8980   901    476    7790 8850  
eca-rers2012/Problem05_label33_false-unreach-call.c 901    562    7250 8090   901    475    8280 8690   902    472    7610 7480   902    492    7600 7670  
eca-rers2012/Problem05_label36_false-unreach-call.c 901    480    7370 8610   901    490    7520 9020   903    475    7720 8050   902    480    7560 7690  
eca-rers2012/Problem05_label37_false-unreach-call.c 901    480    6880 8340   901    467    8240 7020   902    463    7800 7560   901    480    6830 8730  
eca-rers2012/Problem05_label38_false-unreach-call.c 906    470    7650 7270   901    474    7630 9070   902    476    8560 7200   902    473    7910 8080  
eca-rers2012/Problem05_label39_false-unreach-call.c 918    473    7770 7190   904    480    8290 7270   914    488    8190 7400   904    463    7770 9330  
eca-rers2012/Problem05_label40_false-unreach-call.c 902    472    8470 7740   901    438    8210 6800   901    468    8130 7460   901    473    8080 7370  
eca-rers2012/Problem05_label41_false-unreach-call.c 902    456    8060 7620   901    468    7490 8210   903    444    7910 7490   901    460    7800 7550  
eca-rers2012/Problem05_label44_false-unreach-call.c 901    465    8300 7480   901    555    6800 9050   901    470    7990 7480   901    468    7820 7800  
eca-rers2012/Problem05_label47_false-unreach-call.c 902    478    7870 7260   901    559    7680 7550   902    462    7880 7650   902    467    7830 8010  
eca-rers2012/Problem05_label48_false-unreach-call.c 902    478    8230 9320   903    473    8240 7550   902    472    8500 8230   901    482    8130 7930  
eca-rers2012/Problem05_label51_false-unreach-call.c 901    475    7950 8380   903    461    7790 6900   932    493    8640 8010   901    462    8100 6850  
eca-rers2012/Problem05_label55_false-unreach-call.c 901    475    7310 9280   902    481    7520 7240   902    477    7440 8470   902    481    7700 7980  
eca-rers2012/Problem05_label57_false-unreach-call.c 901    470    7900 7860   901    473    7630 7610   902    467    7710 7350   902    465    7720 7100  
eca-rers2012/Problem05_label58_false-unreach-call.c 902    461    7950 7280   902    463    8450 7500   902    474    7920 8210   930    489    8550 8120  
eca-rers2012/Problem06_label00_false-unreach-call.c 921    464    8090 8440   906    464    8070 7430   901    462    8030 7760   912    473    8450 8430  
eca-rers2012/Problem06_label01_false-unreach-call.c 901    477    8270 7120   913    483    8020 8000   901    485    8110 7570   901    490    8150 7760  
eca-rers2012/Problem06_label02_false-unreach-call.c 902    467    8040 7950   925    457    8370 8310   929    465    8250 7760   917    480    7870 7730  
eca-rers2012/Problem06_label04_false-unreach-call.c 901    490    8210 8950   902    602    7230 8350   902    489    7820 8140   916    492    8030 8490  
eca-rers2012/Problem06_label05_false-unreach-call.c 901    566    7840 9150   912    449    8340 8020   902    449    8420 8150   902    451    8400 7900  
eca-rers2012/Problem06_label09_false-unreach-call.c 901    590    7890 7750   901    569    7550 9090   917    481    7720 7580   903    467    8400 7690  
eca-rers2012/Problem06_label10_false-unreach-call.c 901    459    8450 8130   902    466    8280 7920   901    465    7910 8520   904    541    7910 8020  
eca-rers2012/Problem06_label11_false-unreach-call.c 902    508    8030 9150   901    504    8100 7750   912    488    8120 7880   901    501    8060 7640  
eca-rers2012/Problem06_label12_false-unreach-call.c 901    447    7990 8040   902    460    8760 7930   902    545    7730 8220   901    453    8040 6920  
eca-rers2012/Problem06_label15_false-unreach-call.c 905    463    8440 7210   902    568    7610 8300   928    481    7940 8100   901    478    8460 8330  
eca-rers2012/Problem06_label20_false-unreach-call.c 902    575    7480 7810   902    571    7590 8430   901    474    8600 7720   905    476    8180 7760  
eca-rers2012/Problem06_label21_false-unreach-call.c 911    494    7700 8200   927    489    7950 8120   915    485    7860 8930   901    476    8160 8730  
eca-rers2012/Problem06_label24_false-unreach-call.c 919    501    7970 7070   903    585    7130 8330   901    492    8070 8020   902    487    8050 7850  
eca-rers2012/Problem06_label27_false-unreach-call.c 902    511    7800 7760   913    491    7790 7550   901    486    7900 9590   902    490    7960 8550  
eca-rers2012/Problem06_label29_false-unreach-call.c 904    558    7580 8720   901    482    7780 8130   901    582    7280 10200   902    479    8060 7850  
eca-rers2012/Problem06_label33_false-unreach-call.c 921    553    7910 8020   928    477    8340 6340   903    462    8510 7650   901    446    8640 6960  
eca-rers2012/Problem06_label36_false-unreach-call.c 903    512    7600 7590   902    483    7840 8480   901    505    7560 8280   903    499    7960 7540  
eca-rers2012/Problem06_label37_false-unreach-call.c 901    469    8060 7270   901    476    8130 7780   902    484    7840 7210   902    474    7850 8840  
eca-rers2012/Problem06_label38_false-unreach-call.c 901    578    7380 9850   902    486    7870 7750   901    489    8100 7460   901    477    7960 8180  
eca-rers2012/Problem06_label44_false-unreach-call.c 901    471    8320 7510   907    487    8290 8550   902    479    7680 7230   902    483    8060 7640  
eca-rers2012/Problem06_label47_false-unreach-call.c 901    529    8260 8410   928    505    8480 7960   901    563    7590 8700   902    607    7370 8320  
eca-rers2012/Problem06_label48_false-unreach-call.c 902    477    7880 7940   903    469    8350 7670   901    495    7800 7860   902    471    8160 7180  
eca-rers2012/Problem06_label56_false-unreach-call.c 916    472    8120 7600   901    491    7610 7010   902    481    8270 8930   902    475    8000 9270  
eca-rers2012/Problem06_label58_false-unreach-call.c 901    599    7240 8690   901    613    6870 9300   901    485    8360 8370   901    484    8190 7530  
eca-rers2012/Problem06_label59_false-unreach-call.c 902    490    8400 8400   903    512    7430 7870   902    496    7670 7490   901    485    8200 8650  
eca-rers2012/Problem07_label03_false-unreach-call.c 968    282    13900 4730   941    298    13900 5120   945    286    14000 5580   968    292    14000 5020  
eca-rers2012/Problem07_label05_false-unreach-call.c 909    281    13900 4730   965    290    13900 5100   960    278    14000 5630   925    275    14000 5210  
eca-rers2012/Problem07_label06_false-unreach-call.c 968    289    14200 5450   914    287    14100 5150   940    291    14100 5210   913    290    14000 5620  
eca-rers2012/Problem07_label07_false-unreach-call.c 937    280    14100 5550   907    275    13900 5350   968    294    14000 5440   906    281    14100 4890  
eca-rers2012/Problem07_label09_false-unreach-call.c 938    286    14100 4960   968    287    14100 4820   959    279    14000 4600   919    290    14000 4900  
eca-rers2012/Problem07_label11_false-unreach-call.c 910    270    13900 4960   925    295    14100 5140   967    282    14100 6030   963    292    14200 5610  
eca-rers2012/Problem07_label15_false-unreach-call.c 968    287    14000 5040   968    293    14100 5310   926    293    14000 5080   950    284    14000 5440  
eca-rers2012/Problem07_label18_false-unreach-call.c 946    285    14100 5220   915    284    14000 5710   945    291    14100 4680   926    284    14100 4870  
eca-rers2012/Problem07_label19_false-unreach-call.c 921    291    14000 5260   968    282    14100 4590   966    295    14100 5120   968    287    14200 5040  
eca-rers2012/Problem07_label20_false-unreach-call.c 917    284    14000 5610   968    287    14000 5640   938    290    14100 4780   946    291    14100 5010  
eca-rers2012/Problem07_label23_false-unreach-call.c 954    299    14000 5070   968    306    14000 5070   929    289    14200 4650   957    298    13900 4830  
eca-rers2012/Problem07_label30_false-unreach-call.c 944    296    14200 5920   938    280    14100 4520   908    279    14100 5550   965    282    13800 4800  
eca-rers2012/Problem07_label31_false-unreach-call.c 921    279    14100 4840   950    287    14100 4690   919    281    14000 5960   922    288    14100 4720  
eca-rers2012/Problem07_label35_false-unreach-call.c 968    295    14200 5530   962    298    14100 5070   944    292    14200 4570   916    285    14100 4640  
eca-rers2012/Problem07_label36_false-unreach-call.c 961    282    14000 4890   967    279    14100 5030   918    285    14100 4490   941    287    14100 4550  
eca-rers2012/Problem07_label37_false-unreach-call.c 908    290    14300 5110   960    294    14000 6270   967    286    14100 4850   968    296    14100 5300  
eca-rers2012/Problem07_label39_false-unreach-call.c 939    292    14100 4450   932    286    14100 5090   968    296    14100 5170   909    279    14000 5430  
eca-rers2012/Problem07_label40_false-unreach-call.c 934    283    14100 4950   958    290    14000 5560   932    290    14000 5730   931    277    14000 5330  
eca-rers2012/Problem07_label42_false-unreach-call.c 968    289    14100 4820   959    285    14100 5230   958    283    14100 5480   911    282    14000 4810  
eca-rers2012/Problem07_label44_false-unreach-call.c 956    295    14100 5200   903    278    14000 4450   963    297    14100 4820   964    293    14100 5090  
eca-rers2012/Problem07_label46_false-unreach-call.c 926    277    14000 5960   968    292    14100 5180   915    295    14100 5550   924    282    14000 5120  
eca-rers2012/Problem07_label47_false-unreach-call.c 968    287    14100 4830   968    289    14200 5630   968    302    14100 5900   959    301    14000 6210  
eca-rers2012/Problem07_label48_false-unreach-call.c 948    277    14000 5710   919    280    14000 5530   968    297    14000 5250   968    288    14100 4750  
eca-rers2012/Problem07_label58_false-unreach-call.c 918    288    14000 4680   931    290    14100 5750   943    289    14000 4640   961    300    14000 5330  
eca-rers2012/Problem08_label01_false-unreach-call.c 943    348    13600 6400   968    348    13900 6370   968    347    14000 5820   968    354    14000 5150  
eca-rers2012/Problem08_label02_false-unreach-call.c 913    327    13800 5260   919    331    14000 6290   907    340    13400 5250   968    343    14000 5660  
eca-rers2012/Problem08_label04_false-unreach-call.c 968    343    13600 6160   960    346    14100 5770   930    332    13400 6170   934    333    13800 5910  
eca-rers2012/Problem08_label05_false-unreach-call.c 968    347    14100 5770   968    343    13900 5850   966    339    13700 5400   912    335    12800 5640  
eca-rers2012/Problem08_label06_false-unreach-call.c 957    355    14000 5540   930    349    14100 5810   968    351    14100 5980   925    337    13100 5330  
eca-rers2012/Problem08_label07_false-unreach-call.c 966    345    14000 5760   920    339    13500 5720   966    343    14100 5790   933    352    14100 5580  
eca-rers2012/Problem08_label10_false-unreach-call.c 906    341    13300 6050   968    346    14000 5450   954    349    13700 6090   967    348    14100 5930  
eca-rers2012/Problem08_label13_false-unreach-call.c 962    347    13700 6550   905    345    13300 5970   968    352    13800 6060   968    345    13900 5930  
eca-rers2012/Problem08_label15_false-unreach-call.c 964    349    13900 5730   968    348    14100 6030   943    353    13900 5770   904    336    13700 5970  
eca-rers2012/Problem08_label24_false-unreach-call.c 950    346    13700 6490   945    349    13600 5450   904    337    12900 6610   961    348    13400 5250  
eca-rers2012/Problem08_label25_false-unreach-call.c 946    345    13700 5860   956    346    14000 6700   968    351    14000 6670   962    354    14100 5850  
eca-rers2012/Problem08_label26_false-unreach-call.c 968    351    14000 6210   966    347    13400 6020   920    345    13400 5250   967    353    14100 6070  
eca-rers2012/Problem08_label28_false-unreach-call.c 951    356    14000 6400   968    358    14100 5610   960    348    13900 6320   913    341    13800 5820  
eca-rers2012/Problem08_label29_false-unreach-call.c 944    346    13900 5820   943    344    14000 5840   906    335    13500 6080   962    344    13800 5540  
eca-rers2012/Problem08_label34_false-unreach-call.c 962    356    14000 6420   967    356    14100 5770   968    346    13900 5750   968    371    14300 7340  
eca-rers2012/Problem08_label37_false-unreach-call.c 968    349    14100 5900   906    338    13400 6140   968    348    13700 5650   964    352    14100 5480  
eca-rers2012/Problem08_label43_false-unreach-call.c 967    353    13700 6580   960    356    14000 6360   968    354    13600 6340   964    357    13900 5990  
eca-rers2012/Problem08_label46_false-unreach-call.c 932    357    13700 5830   968    353    13700 6010   968    359    14000 5800   968    357    14000 6620  
eca-rers2012/Problem08_label48_false-unreach-call.c 949    342    13600 6140   955    353    13800 6420   968    347    14100 5720   905    340    13200 5720  
eca-rers2012/Problem08_label49_false-unreach-call.c 948    350    14000 5800   941    353    14000 5810   952    348    14000 5530   925    346    13500 5180  
eca-rers2012/Problem08_label50_false-unreach-call.c 943    355    14100 5330   937    353    13700 5540   928    346    13900 5960   941    350    13200 5460  
eca-rers2012/Problem08_label51_false-unreach-call.c 962    414    13300 7400   948    409    13000 5530   931    414    13500 6370   945    415    13300 6840  
eca-rers2012/Problem08_label55_false-unreach-call.c 945    413    13000 6130   905    400    13300 6330   905    401    12700 5530   909    397    12800 6190  
eca-rers2012/Problem08_label59_false-unreach-call.c 968    346    14200 5820   968    344    14000 5880   968    354    14100 6610   932    347    14100 6340  
eca-rers2012/Problem09_label02_false-unreach-call.c 968    363    13900 5780   907    354    13300 6050   941    367    14000 6040   930    344    12800 5760  
eca-rers2012/Problem09_label03_false-unreach-call.c 927    349    13200 6000   906    346    13300 5640   954    352    13900 5780   906    349    13100 5520  
eca-rers2012/Problem09_label06_false-unreach-call.c 968    359    14000 6670   961    338    12900 6340   968    354    13700 6750   968    353    13600 5740  
eca-rers2012/Problem09_label08_false-unreach-call.c 939    352    13200 5320   909    345    13500 6350   965    362    13600 6630   968    346    13200 6480  
eca-rers2012/Problem09_label10_false-unreach-call.c 906    347    13400 5920   917    337    12700 5890   905    353    12900 5680   906    341    12900 5620  
eca-rers2012/Problem09_label11_false-unreach-call.c 905    339    13600 6330   966    355    14000 5740   961    344    13800 6110   967    361    13900 5840  
eca-rers2012/Problem09_label15_false-unreach-call.c 911    359    13200 6130   905    375    13500 6130   943    372    13800 6070   906    369    12900 6010  
eca-rers2012/Problem09_label19_false-unreach-call.c 961    350    13400 7230   959    362    13700 6550   918    347    13700 5820   961    351    13200 6370  
eca-rers2012/Problem09_label20_false-unreach-call.c 956    357    13600 6010   968    372    13100 6690   941    342    13500 6260   919    347    13300 6070  
eca-rers2012/Problem09_label32_false-unreach-call.c 907    345    12900 6000   905    356    13200 5930   905    354    13100 5600   907    347    12800 6510  
eca-rers2012/Problem09_label34_false-unreach-call.c 950    363    13400 5580   961    367    13800 5690   906    356    13600 6610   960    384    13700 6410  
eca-rers2012/Problem09_label35_false-unreach-call.c 948    371    13800 6010   934    348    13400 5980   905    351    12900 5840   961    347    13300 6030  
eca-rers2012/Problem09_label36_false-unreach-call.c 906    347    12900 5710   966    360    13300 6620   905    349    12700 6850   968    357    13900 6270  
eca-rers2012/Problem09_label38_false-unreach-call.c 967    370    13600 6520   905    343    13000 5620   922    339    12500 5580   968    351    12800 6600  
eca-rers2012/Problem09_label41_false-unreach-call.c 905    356    13400 5940   904    350    13400 5850   968    358    14000 5950   905    339    13100 6060  
eca-rers2012/Problem09_label44_false-unreach-call.c 907    362    13300 6630   968    355    14100 6430   924    347    12800 6000   907    348    13500 6470  
eca-rers2012/Problem09_label46_false-unreach-call.c 941    368    14100 6720   906    353    13400 5520   906    350    13300 6410   940    350    13900 6190  
eca-rers2012/Problem09_label47_false-unreach-call.c 914    349    13200 5920   908    354    13500 5710   905    353    13400 6180   961    350    13800 5610  
eca-rers2012/Problem09_label51_false-unreach-call.c 906    353    13700 6030   905    357    13300 5650   906    355    13200 5970   968    366    13900 6240  
eca-rers2012/Problem09_label53_false-unreach-call.c 906    356    13400 5960   913    356    13200 6110   965    364    14000 6150   961    361    14100 7420  
eca-rers2012/Problem09_label54_false-unreach-call.c 933    361    13000 5830   914    357    13400 5390   963    367    13500 6730   966    367    13800 5830  
eca-rers2012/Problem09_label56_false-unreach-call.c 961    370    13700 6170   905    355    13200 5510   920    344    12800 6720   968    366    14000 7050  
eca-rers2012/Problem09_label57_false-unreach-call.c 968    361    14000 6720   906    349    12400 5860   908    355    13200 6150   968    372    13500 6140  
eca-rers2012/Problem09_label59_false-unreach-call.c 968    357    13700 6940   968    358    13700 6250   968    366    13700 6170   968    363    14100 6120  
eca-rers2012/Problem10_label12_false-unreach-call.c 901    737    6320 12300   901    724    6850 10300   901    733    6170 11900   901    738    6250 9920  
eca-rers2012/Problem10_label15_false-unreach-call.c 148    91.4  5110 1590   144    89.9  5130 1430   145    91.2  5230 1590   145    91.4  5090 1570  
eca-rers2012/Problem10_label24_false-unreach-call.c 420    322    5720 4400   485    381    5780 6210   482    379    5810 5520   477    374    5780 5580  
eca-rers2012/Problem10_label26_false-unreach-call.c 475    370    5700 5160   427    326    5730 4990   436    332    5720 4920   484    380    5690 6160  
eca-rers2012/Problem10_label28_false-unreach-call.c 130    76.1  5070 1300   128    74.6  5060 1450   125    72.4  5200 1250   125    73.6  5140 1430  
eca-rers2012/Problem10_label29_false-unreach-call.c 464    348    5690 5190   448    335    6170 5060   425    326    5700 4800   477    365    6180 5840  
eca-rers2012/Problem10_label41_false-unreach-call.c 56.7  24.8  3080 524   60.8  25.8  3180 547   56.1  24.8  2910 518   56.7  25.1  2820 594  
eca-rers2012/Problem10_label42_false-unreach-call.c 61.0  27.7  3180 584   64.3  27.4  3010 579   63.0  27.8  3240 552   59.9  27.5  2860 577  
eca-rers2012/Problem10_label46_false-unreach-call.c 29.4  7.94 939 241   28.3  7.77 928 234   27.5  7.67 937 236   28.4  7.89 947 198  
eca-rers2012/Problem10_label47_false-unreach-call.c 53.7  20.9  2440 498   52.8  20.4  2250 513   52.2  20.6  2360 526   50.6  19.5  2330 461  
eca-rers2012/Problem10_label48_false-unreach-call.c 183    126    5180 2040   197    129    5190 1910   201    129    5280 2390   191    131    5180 1890  
eca-rers2012/Problem10_label50_false-unreach-call.c 225    158    5250 2670   222    156    5190 2370   232    159    5350 2580   229    158    5240 2420  
eca-rers2012/Problem10_label55_false-unreach-call.c 52.4  19.6  2420 415   48.7  19.5  2360 422   50.3  20.1  2360 417   54.6  20.5  2490 471  
eca-rers2012/Problem10_label57_false-unreach-call.c 757    600    6270 8760   737    576    6280 10100   692    535    6260 7960   700    545    6240 7180  
eca-rers2012/Problem10_label58_false-unreach-call.c 364    271    5710 4050   362    270    5700 3960   353    267    5330 4320   399    301    5700 4530  
eca-rers2012/Problem11_label00_false-unreach-call.c 901    681    7770 10800   901    742    6470 12700   901    731    6740 12300   902    697    7340 10800  
eca-rers2012/Problem11_label08_false-unreach-call.c 296    224    5490 3040   266    195    5540 3050   271    198    5470 2970   275    207    5530 2860  
eca-rers2012/Problem11_label14_false-unreach-call.c 269    201    5510 2840   306    233    5460 3870   279    204    5450 3160   282    211    5490 3620  
eca-rers2012/Problem11_label15_false-unreach-call.c 268    195    5530 2810   269    191    5500 3070   265    189    5500 3170   272    193    5590 3020  
eca-rers2012/Problem11_label20_false-unreach-call.c 901    720    7180 12900   901    695    7410 10300   901    694    7520 9990   901    693    7430 10600  
eca-rers2012/Problem11_label29_false-unreach-call.c 280    205    5480 2920   289    218    5460 3240   285    215    5450 3120   310    240    5440 3640  
eca-rers2012/Problem11_label31_false-unreach-call.c 901    690    8120 11700   913    672    9240 9630   901    689    8300 10100   901    678    8540 10300  
eca-rers2012/Problem11_label34_false-unreach-call.c 915    583    9550 8690   913    633    9890 9820   932    612    9940 9410   912    644    9210 10600  
eca-rers2012/Problem11_label36_false-unreach-call.c 338    255    5540 4100   337    256    5470 4140   363    265    6000 3970   369    284    5890 4220  
eca-rers2012/Problem11_label39_false-unreach-call.c 902    667    8880 9590   901    673    8800 10600   901    659    8820 9710   902    660    8790 9340  
eca-rers2012/Problem11_label42_false-unreach-call.c 286    211    5610 2990   298    224    5480 3390   299    218    5600 3290   294    219    5500 3240  
eca-rers2012/Problem11_label43_false-unreach-call.c 347    266    5580 3890   317    242    5490 3460   327    243    5520 3670   313    231    5560 3960  
eca-rers2012/Problem11_label49_false-unreach-call.c 380    306    5490 4260   367    288    5540 4300   343    261    5470 4010   359    279    5630 3960  
eca-rers2012/Problem11_label51_false-unreach-call.c 315    231    5580 3990   328    245    5560 3510   317    242    5510 3450   330    245    5530 4020  
eca-rers2012/Problem11_label58_false-unreach-call.c 482    374    6050 5540   460    343    6180 5310   518    403    5620 6390   529    414    5680 6620  
eca-rers2012/Problem12_label00_false-unreach-call.c 901    555    8460 8080   901    568    7760 9310   901    575    8640 8640   902    624    7680 7020  
eca-rers2012/Problem12_label03_false-unreach-call.c 924    597    8750 9630   901    593    8230 8560   901    595    8500 8670   901    591    8600 9660  
eca-rers2012/Problem12_label06_false-unreach-call.c 901    584    8410 9610   902    582    8000 9500   917    570    8450 8830   901    570    8160 8930  
eca-rers2012/Problem12_label07_false-unreach-call.c 901    583    8020 8750   901    649    7320 10200   901    621    7940 10500   944    611    7780 8740  
eca-rers2012/Problem12_label08_false-unreach-call.c 901    586    8230 9380   901    550    8120 8000   901    576    8330 9180   901    571    8070 9450  
eca-rers2012/Problem12_label10_false-unreach-call.c 901    582    8270 9240   901    588    8060 8680   901    602    8010 7290   901    614    8110 9330  
eca-rers2012/Problem12_label13_false-unreach-call.c 925    596    8780 10900   901    599    7830 8370   901    565    8520 8640   902    600    8420 9440  
eca-rers2012/Problem12_label19_false-unreach-call.c 902    561    8240 8130   901    546    8280 8360   902    557    8450 8510   901    569    8410 9450  
eca-rers2012/Problem12_label20_false-unreach-call.c 901    583    8400 8830   901    571    8670 8460   901    588    7990 11000   901    647    7770 8720  
eca-rers2012/Problem12_label21_false-unreach-call.c 901    557    8550 9820   901    602    8190 8050   901    586    8420 8900   901    597    8090 8690  
eca-rers2012/Problem12_label25_false-unreach-call.c 918    580    9090 8720   901    656    7100 10200   937    577    8500 10500   929    572    8620 9730  
eca-rers2012/Problem12_label28_false-unreach-call.c 901    572    8350 8550   926    575    8730 9550   901    569    8600 9360   902    578    8320 8480  
eca-rers2012/Problem12_label30_false-unreach-call.c 901    599    7710 9420   902    580    8440 9170   901    559    8480 9580   901    560    8520 8940  
eca-rers2012/Problem12_label34_false-unreach-call.c 901    533    8550 8200   901    527    8240 10200   901    568    8600 9440   901    541    8360 8920  
eca-rers2012/Problem12_label35_false-unreach-call.c 901    530    8940 8620   901    563    8740 9120   901    572    8400 9620   901    545    8620 10400  
eca-rers2012/Problem12_label37_false-unreach-call.c 901    605    8060 10300   901    663    7300 10300   901    621    7910 9940   901    610    8090 8670  
eca-rers2012/Problem12_label38_false-unreach-call.c 901    576    8370 7860   901    578    8090 8660   901    587    8030 10300   901    583    8290 8680  
eca-rers2012/Problem12_label39_false-unreach-call.c 924    592    8270 9030   901    593    8070 9260   901    588    8570 9370   901    590    8210 9090  
eca-rers2012/Problem12_label40_false-unreach-call.c 901    588    8460 8590   901    587    7970 9260   901    655    7180 8710   902    604    8090 9290  
eca-rers2012/Problem12_label42_false-unreach-call.c 901    590    7930 8450   901    585    8230 8550   901    585    8080 8750   902    593    8090 9860  
eca-rers2012/Problem12_label48_false-unreach-call.c 901    583    7760 9460   901    607    7700 9340   901    611    7850 11000   901    606    8030 9030  
eca-rers2012/Problem12_label50_false-unreach-call.c 901    576    8240 8820   901    583    8340 10800   901    578    8510 8210   901    577    8250 9430  
eca-rers2012/Problem12_label51_false-unreach-call.c 910    591    8110 9170   901    668    7360 8760   901    573    8170 9950   901    612    8260 9120  
eca-rers2012/Problem12_label52_false-unreach-call.c 901    586    8370 9600   902    595    8350 10100   901    592    8310 10500   901    590    8220 10000  
eca-rers2012/Problem12_label55_false-unreach-call.c 933    587    8700 9090   907    583    8970 10200   901    598    8210 10000   901    636    7510 9210  
eca-rers2012/Problem13_label04_false-unreach-call.c 901    560    8420 9530   902    558    8660 8020   901    564    8370 9670   901    568    8210 8760  
eca-rers2012/Problem13_label06_false-unreach-call.c 914    571    8330 8740   901    555    8290 8810   901    555    8430 9170   901    550    8340 9550  
eca-rers2012/Problem13_label07_false-unreach-call.c 901    572    8240 7060   901    559    8000 9040   901    552    8360 8830   901    562    8110 8850  
eca-rers2012/Problem13_label11_false-unreach-call.c 919    567    8870 9920   909    569    8410 10500   901    550    8660 8690   902    568    8120 10000  
eca-rers2012/Problem13_label12_false-unreach-call.c 901    577    8320 8310   902    539    8890 8890   901    562    8610 10400   901    547    8240 9160  
eca-rers2012/Problem13_label16_false-unreach-call.c 901    518    9110 7880   901    559    9100 9310   901    558    8770 8600   902    546    8720 8540  
eca-rers2012/Problem13_label19_false-unreach-call.c 902    594    8300 8780   902    575    8420 9060   901    586    8040 8230   902    599    7810 9040  
eca-rers2012/Problem13_label21_false-unreach-call.c 902    548    8360 8580   901    545    8540 9210   902    552    8790 9330   901    558    8170 9860  
eca-rers2012/Problem13_label23_false-unreach-call.c 902    574    8720 8410   901    581    8730 8120   901    583    8250 9350   901    560    8720 9780  
eca-rers2012/Problem13_label24_false-unreach-call.c 908    559    8810 9030   902    552    8290 8890   901    560    8090 8730   922    566    8390 8130  
eca-rers2012/Problem13_label25_false-unreach-call.c 901    583    7910 9420   901    558    8170 8180   901    582    8060 8780   901    575    8270 9820  
eca-rers2012/Problem13_label28_false-unreach-call.c 902    561    8330 8600   902    552    8590 8670   901    562    8260 8120   901    570    8500 9250  
eca-rers2012/Problem13_label29_false-unreach-call.c 901    563    8470 8980   902    581    8520 10400   901    587    8410 9210   902    552    8290 7880  
eca-rers2012/Problem13_label30_false-unreach-call.c 901    553    8580 8560   901    565    8900 8890   901    557    8910 9680   901    550    8690 8580  
eca-rers2012/Problem13_label32_false-unreach-call.c 901    555    8530 8020   901    544    8760 9710   902    555    8900 7950   901    570    8590 10000  
eca-rers2012/Problem13_label35_false-unreach-call.c 902    576    8480 9990   926    575    8630 9570   901    556    8510 9570   901    560    8390 8940  
eca-rers2012/Problem13_label36_false-unreach-call.c 902    581    8220 8910   901    588    8090 9370   901    569    8360 9420   901    567    8400 8390  
eca-rers2012/Problem13_label40_false-unreach-call.c 902    547    8430 8220   901    578    8360 9920   902    553    8550 9670   901    567    8670 8210  
eca-rers2012/Problem13_label43_false-unreach-call.c 901    571    8180 8880   902    559    8560 7970   901    574    8580 8400   901    572    8100 9060  
eca-rers2012/Problem13_label44_false-unreach-call.c 901    563    8230 8650   901    561    8320 7620   902    562    8480 9440   902    568    8400 8450  
eca-rers2012/Problem13_label45_false-unreach-call.c 902    550    8490 9800   901    549    8950 9460   901    551    8500 8710   901    549    8740 8960  
eca-rers2012/Problem13_label48_false-unreach-call.c 901    562    8640 7990   901    577    8590 8950   901    579    8470 8070   901    550    8290 9530  
eca-rers2012/Problem13_label51_false-unreach-call.c 901    571    8460 10200   901    583    8180 9060   901    574    8310 9090   902    564    8360 8600  
eca-rers2012/Problem13_label54_false-unreach-call.c 901    566    8260 8390   903    549    8580 9460   901    557    8630 8960   929    563    8760 8430  
eca-rers2012/Problem13_label58_false-unreach-call.c 901    568    8630 9530   901    558    8570 9020   902    544    8750 7800   901    561    8500 8740  
eca-rers2012/Problem14_label02_false-unreach-call.c 901    775    6160 9580   901    783    5870 11800   901    774    6050 10100   901    794    5740 10500  
eca-rers2012/Problem14_label08_false-unreach-call.c 918    728    7470 10300   913    721    7610 10400   954    744    7830 11600   913    741    7410 11400  
eca-rers2012/Problem14_label10_false-unreach-call.c 901    729    6750 12700   901    745    6460 11100   901    734    6620 10600   901    735    6910 12800  
eca-rers2012/Problem14_label11_false-unreach-call.c 901    691    7800 9510   901    710    7600 10400