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-66-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-11 12:11:03 CET
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 -kInduction-dfInvariants -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 -kInduction-dfInvariants -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 -kInduction-dfInvariants -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 -kInduction-dfInvariants -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 961    416    8340 9040   968    406    8470 8760   961    393    8820 9930   960    389    9350 8280  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 920    379    7330 9340   934    387    7240 9800   913    355    6980 8060   926    365    7060 7560  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 957    395    7540 8880   946    403    7310 8930   956    374    6850 8440   938    376    7090 8910  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 961    457    5770 9920   961    459    5860 9180   960    464    5600 11300   961    460    5440 9590  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 968    356    9310 7680   968    358    9430 8280   968    359    9340 8060   962    374    8350 8530  
array-examples/standard_allDiff2_false-unreach-call_ground.i 960    487    5000 10300   960    486    5030 10500   960    486    5030 10900   960    487    5010 11300  
array-examples/standard_copy1_false-unreach-call_ground.i 917    423    5430 9600   903    409    5450 8800   903    369    6670 8260   902    362    6950 7660  
array-examples/standard_copy2_false-unreach-call_ground.i 945    420    5770 10500   910    398    6010 8840   915    381    6330 9490   901    362    6910 8130  
array-examples/standard_copy3_false-unreach-call_ground.i 939    421    5910 10200   922    399    5890 9530   901    391    6000 9160   901    363    6680 8100  
array-examples/standard_copy4_false-unreach-call_ground.i 910    398    5960 9590   918    407    5900 8400   917    409    6200 8330   907    371    6940 7970  
array-examples/standard_copy5_false-unreach-call_ground.i 925    404    5900 9690   931    412    6020 9040   914    399    5490 9150   906    368    6910 9030  
array-examples/standard_copy6_false-unreach-call_ground.i 941    421    5930 10700   929    409    5970 8390   915    382    5690 7970   912    373    6830 8260  
array-examples/standard_copy7_false-unreach-call_ground.i 901    393    5850 9220   939    417    6130 10000   935    378    6660 10200   907    373    6730 8330  
array-examples/standard_copy8_false-unreach-call_ground.i 921    405    6040 9380   955    425    6180 9520   961    375    7750 9600   910    375    6540 8120  
array-examples/standard_copy9_false-unreach-call_ground.i 926    410    6000 9140   913    399    6050 8810   920    332    7790 7070   907    378    6570 8270  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 908    376    6350 9540   918    385    6280 9310   904    383    5270 7930   905    358    6580 8460  
array-examples/standard_init1_false-unreach-call_ground.i 902    385    6120 9380   915    396    6150 8610   913    385    6670 8260   911    385    6690 8290  
array-examples/standard_init2_false-unreach-call_ground.i 901    385    6090 9340   906    391    6050 9300   903    374    6270 8740   914    380    5310 8260  
array-examples/standard_init3_false-unreach-call_ground.i 912    395    6290 8040   927    403    6040 10400   911    385    6520 9160   916    393    6740 8980  
array-examples/standard_init4_false-unreach-call_ground.i 905    385    6180 9040   919    400    6050 8850   911    383    6440 8560   907    374    6430 9020  
array-examples/standard_init5_false-unreach-call_ground.i 904    391    6080 8800   904    390    5260 8910   911    385    6460 8760   919    387    6130 8190  
array-examples/standard_init6_false-unreach-call_ground.i 926    405    6240 9340   902    389    5820 8620   902    383    6000 8540   905    380    6330 9420  
array-examples/standard_init7_false-unreach-call_ground.i 901    390    5600 8470   922    409    6260 9320   914    395    6230 8840   918    393    6540 8680  
array-examples/standard_init8_false-unreach-call_ground.i 905    394    6080 8900   907    399    6230 8290   920    398    6510 7800   911    391    6350 9130  
array-examples/standard_init9_false-unreach-call_ground.i 906    396    6090 8060   908    399    6160 9280   910    393    6310 8870   906    387    6390 8080  
array-examples/standard_minInArray_false-unreach-call_ground.i 913    395    5300 8880   918    397    6420 9400   902    390    5920 9110   901    387    6030 8570  
array-examples/standard_partition_false-unreach-call_ground.i 960    478    5310 9430   904    428    5210 8970   960    479    5290 9770   960    479    5290 10200  
array-examples/standard_running_false-unreach-call.i 903    401    5770 8960   915    406    5620 10200   902    412    5330 8600   904    403    5930 9800  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 3.66 1.34 301 30.4 3.62 1.32 299 28.1 3.70 1.38 296 31.6 3.20 1.22 298 25.7
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 960    423    9450 8260   960    400    9680 9060   968    315    11700 8040   968    364    11000 8060  
array-examples/relax_true-unreach-call.i 82.9  22.6  3490 675   81.3  22.4  3080 702   81.5  22.3  3390 624   81.1  22.2  3360 726  
array-examples/sanfoundry_02_true-unreach-call_ground.i 944    403    6890 8770   911    380    6260 8590   926    398    6220 8870   945    404    6740 9900  
array-examples/sanfoundry_10_true-unreach-call_ground.i 961    457    5820 10600   913    412    5800 8710   960    462    5700 9190   961    459    5650 10700  
array-examples/sanfoundry_24_true-unreach-call.i 26.8  5.58 1370 194   28.9  5.92 1240 208   25.2  5.21 1200 168   28.4  5.90 1340 211  
array-examples/sanfoundry_27_true-unreach-call_ground.i 903    387    6220 8460   911    392    6380 9030   903    391    6230 9220   921    404    6460 8500  
array-examples/sanfoundry_43_true-unreach-call_ground.i 3.52 1.17 320 30.8 3.05 1.18 296 25.0 3.65 1.28 323 29.5 3.15 1.22 294 25.9
array-examples/sorting_bubblesort_true-unreach-call_ground.i 913    357    6890 7570   936    386    7240 8940   924    360    7000 7460   904    350    7180 7910  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 962    416    6720 9810   961    460    5850 9650   960    459    5840 10200   961    467    5260 10900  
array-examples/standard_compareModified_true-unreach-call_ground.i 904    378    6720 10200   931    381    6470 8460   904    371    6430 8260   940    375    6980 9180  
array-examples/standard_compare_true-unreach-call_ground.i 905    397    6440 7940   923    408    6620 8320   916    397    6310 9060   905    388    6280 7850  
array-examples/standard_copy1_true-unreach-call_ground.i 904    393    5840 9780   907    401    5750 8890   921    377    6600 8810   914    376    7060 8180  
array-examples/standard_copy2_true-unreach-call_ground.i 921    405    5830 9430   907    395    5980 8370   908    387    6250 8740   907    369    5370 8050  
array-examples/standard_copy3_true-unreach-call_ground.i 936    411    5930 10200   913    401    5970 10300   909    401    6180 8040   916    372    7010 8280  
array-examples/standard_copy4_true-unreach-call_ground.i 951    426    6000 9630   937    418    6010 8550   907    402    6060 10000   916    376    6680 9240  
array-examples/standard_copy5_true-unreach-call_ground.i 921    407    5920 8450   945    427    5910 9440   902    394    5380 9170   914    378    6730 8290  
array-examples/standard_copy6_true-unreach-call_ground.i 931    414    6040 9500   934    416    5880 8910   902    374    5730 9100   905    368    6540 9180  
array-examples/standard_copy7_true-unreach-call_ground.i 919    399    5900 9870   945    428    6050 9680   929    355    7120 8880   902    366    6750 7480  
array-examples/standard_copy8_true-unreach-call_ground.i 906    395    5970 8110   947    429    6040 9200   911    345    7330 8410   904    372    6710 7540  
array-examples/standard_copy9_true-unreach-call_ground.i 920    404    6010 9260   903    393    5930 9320   942    334    8490 7910   907    374    6730 7680  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 908    396    6090 9620   916    400    6200 9090   905    375    6210 8560   910    384    6820 7820  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 931    437    5610 9390   901    410    5580 9690   912    390    6380 9590   916    382    6920 10000  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 921    405    6140 9050   927    404    6130 9170   910    381    6550 8560   917    392    6870 9490  
array-examples/standard_copyInit_true-unreach-call_ground.i 947    447    5630 11200   946    449    5650 10400   901    378    6280 9210   913    377    6960 7830  
array-examples/standard_find_true-unreach-call_ground.i 949    404    7020 8980   939    388    7200 8920   915    357    7020 7450   915    353    7110 8080  
array-examples/standard_init1_true-unreach-call_ground.i 903    382    6170 8330   920    402    6310 8410   914    387    6310 8620   927    391    6820 9280  
array-examples/standard_init2_true-unreach-call_ground.i 917    401    6230 10100   911    395    6150 8390   910    385    6340 7710   908    382    7020 8270  
array-examples/standard_init3_true-unreach-call_ground.i 915    400    6180 9960   916    398    6030 9540   908    380    6210 9220   908    390    6510 9010  
array-examples/standard_init4_true-unreach-call_ground.i 901    386    5980 8990   909    399    5200 8500   902    382    6770 8610   901    372    6590 9290  
array-examples/standard_init5_true-unreach-call_ground.i 912    393    5260 9510   910    394    5330 9520   908    388    5250 8560   914    391    6670 8870  
array-examples/standard_init6_true-unreach-call_ground.i 916    397    6180 8160   907    394    6220 7930   918    397    6390 8210   901    373    6480 7800  
array-examples/standard_init7_true-unreach-call_ground.i 901    392    6050 8580   907    394    6160 8720   908    391    5820 8640   904    379    6570 7990  
array-examples/standard_init8_true-unreach-call_ground.i 903    395    5350 8810   909    401    5960 8590   902    386    6240 9310   903    382    6390 8350  
array-examples/standard_init9_true-unreach-call_ground.i 913    405    5950 9400   913    402    6060 9020   904    393    6270 8920   918    399    6580 7860  
array-examples/standard_maxInArray_true-unreach-call_ground.i 914    398    6210 8450   902    387    5940 9640   902    387    6130 8430   906    392    5870 8950  
array-examples/standard_minInArray_true-unreach-call_ground.i 916    398    6220 8490   913    395    5350 9530   906    392    6110 8440   908    391    5930 9590  
array-examples/standard_palindrome_true-unreach-call_ground.i 914    408    5820 9500   917    405    5880 9130   910    386    6680 8690   902    369    6750 8430  
array-examples/standard_partial_init_true-unreach-call_ground.i 961    476    5590 9060   961    477    5510 9330   941    397    6760 8180   960    475    5450 10900  
array-examples/standard_partition_original_true-unreach-call_ground.i 960    354    7590 7580   902    324    7410 7360   932    370    7120 8740   920    352    7220 8890  
array-examples/standard_partition_true-unreach-call_ground.i 908    399    5970 9050   913    405    6110 10300   902    403    5570 9630   902    384    6250 8880  
array-examples/standard_password_true-unreach-call_ground.i 902    393    6310 9290   915    399    5470 8210   914    397    6220 9050   925    404    6710 9310  
array-examples/standard_reverse_true-unreach-call_ground.i 909    384    6240 8620   943    409    6150 8900   914    379    6850 9350   948    401    6790 8560  
array-examples/standard_running_true-unreach-call.i 907    403    5690 8730   904    402    5250 9670   902    410    5450 8280   903    401    6050 8090  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    423    4900 8640   902    423    4880 9110   901    422    4930 9980   904    421    4920 9230  
array-examples/standard_seq_init_true-unreach-call_ground.i 910    393    6020 8770   915    399    6050 9400   906    379    6470 8980   903    369    6950 8390  
array-examples/standard_strcmp_true-unreach-call_ground.i 902    395    6450 9370   922    412    6230 9840   914    401    6390 8450   924    397    6100 8610  
array-examples/standard_strcpy_original_true-unreach-call.i 960    353    7490 7470   961    359    7450 7750   920    355    7400 7960   955    363    7290 9280  
array-examples/standard_strcpy_true-unreach-call_ground.i 924    357    7270 8790   910    348    7360 9080   912    346    7360 7460   919    323    7670 7480  
array-examples/standard_two_index_01_true-unreach-call.i 968    141    13900 4250   968    140    13700 3680   968    142    13900 3530   962    140    13900 3990  
array-examples/standard_two_index_02_true-unreach-call.i 965    148    14200 4050   965    147    14100 3580   968    156    13600 3860   968    148    13700 3670  
array-examples/standard_two_index_03_true-unreach-call.i 968    139    13900 3510   968    141    14000 3990   968    141    13900 4110   966    139    13900 3710  
array-examples/standard_two_index_04_true-unreach-call.i 968    148    13800 3450   968    147    13600 3810   968    160    14000 4060   964    147    14100 3790  
array-examples/standard_two_index_05_true-unreach-call.i 964    146    13800 3300   962    147    13600 3570   965    156    13700 4000   962    145    14100 3730  
array-examples/standard_two_index_06_true-unreach-call.i 968    147    13500 3650   968    148    13900 4160   968    157    13000 3750   968    146    14000 3550  
array-examples/standard_two_index_07_true-unreach-call.i 968    147    14200 3650   968    146    13500 4020   968    160    13800 3690   964    146    13900 3620  
array-examples/standard_two_index_08_true-unreach-call.i 968    150    14300 3760   964    145    14100 3580   968    160    13900 3610   964    145    14100 3550  
array-examples/standard_two_index_09_true-unreach-call.i 968    141    13900 3520   964    138    14000 3580   962    140    13800 3720   966    139    13500 3970  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 910    391    6300 9770   915    404    6110 9270   928    404    6080 9450   917    400    6390 9300  
array-examples/standard_vector_difference_true-unreach-call_ground.i 908    393    6050 9050   917    397    6090 8910   906    380    6380 8840   903    358    7110 9060  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 933    460    4990 10100   904    432    4990 10600   901    423    4890 9670   908    424    4850 9170  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 7.51 1.95 482 53.6 960    494    5060 9390   913    433    4840 9070   8.10 2.07 533 59.7
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 913    422    4970 9120   908    419    4900 8500   901    390    5830 8540   902    416    5390 9630  
array-industry-pattern/array_range_init_false-unreach-call.i 6.25 1.72 484 45.2 960    494    4950 10500   924    395    6230 8740   6.91 1.88 502 49.2
array-industry-pattern/array_single_elem_init_false-unreach-call.i 961    486    4830 9860   961    486    4720 10400   914    374    6630 8960   961    485    4810 10200  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 961    394    7490 9850   960    470    5370 11400   960    392    7720 9860   968    391    8170 8690  
array-industry-pattern/array_monotonic_true-unreach-call.i 914    396    6110 8400   909    391    6110 8290   905    367    6810 8030   916    357    7000 7520  
array-industry-pattern/array_mul_init_true-unreach-call.i 960    380    6890 8990   904    352    6690 8570   931    324    7630 7730   917    318    7620 8020  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 901    866    2920 13400   960    489    5250 12600   961    448    6110 10500   948    447    5780 10700  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 8.19 2.03 498 54.8 960    490    5190 10200   962    348    8690 7600   7.38 1.94 501 53.9
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 912    390    6500 8740   905    380    6790 8270   913    377    6670 8690   905    377    6880 8420  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 6.91 1.86 498 51.5 960    488    5380 11100   963    307    10500 6560   8.82 2.15 521 63.2
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    863    3210 10600   960    489    5520 9660   916    322    7190 7790   960    487    4920 10800  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 8.64 2.19 526 57.5 912    434    5740 8680   903    373    5220 8440   8.32 2.15 531 59.4
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    866    2940 11900   960    495    4970 11000   916    388    6520 7940   914    383    6510 9490  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    862    2680 11700   960    487    5350 11200   914    357    7330 8880   924    371    7040 7980  
array-industry-pattern/array_shadowinit_true-unreach-call.i 905    399    5940 9930   905    397    5780 8590   911    418    5590 9450   914    400    5630 9430  
reducercommutativity/rangesum05_false-unreach-call.i 42.5  12.5  1190 329   38.7  12.1  1230 364   40.2  11.8  1210 333   39.6  12.0  1200 352  
reducercommutativity/rangesum10_false-unreach-call.i 960    905    4870 12300   960    907    4710 12500   60.9  27.1  2180 559   63.8  29.8  2200 564  
reducercommutativity/rangesum20_false-unreach-call.i 961    897    5210 13900   961    894    5200 11700   147    102    4670 1530   162    114    4850 1770  
reducercommutativity/rangesum40_false-unreach-call.i 914    785    5580 11500   905    779    5460 10900   580    502    4970 5950   769    642    6010 10400  
reducercommutativity/rangesum60_false-unreach-call.i 905    798    5140 11900   902    781    5780 10200   910    780    5880 11800   902    759    6240 10400  
reducercommutativity/rangesum_false-unreach-call.i 961    480    5060 9820   961    478    5070 10200   961    486    4860 10700   913    431    5090 9400  
reducercommutativity/avg05_true-unreach-call.i 39.4  14.5  1480 358   41.8  14.4  1380 356   39.5  13.6  1380 350   42.5  14.3  1560 409  
reducercommutativity/avg10_true-unreach-call.i 79.7  44.0  2270 801   79.0  43.7  2400 853   69.7  35.3  2590 715   76.3  39.4  3500 749  
reducercommutativity/avg20_true-unreach-call.i 256    204    4950 3340   260    207    4930 2840   183    137    4860 1850   202    150    4890 2120  
reducercommutativity/avg40_true-unreach-call.i 914    793    5830 10900   915    813    5050 14000   784    689    5160 9900   907    777    5910 10600  
reducercommutativity/avg60_true-unreach-call.i 914    817    5410 13500   902    805    5560 13400   916    810    5660 11500   912    799    5910 9440  
reducercommutativity/avg_true-unreach-call.i 968    166    14000 4780   966    160    14100 4190   968    163    14000 4480   968    164    14000 4480  
reducercommutativity/max05_true-unreach-call_true-termination.i 50.2  19.8  1680 399   49.9  19.2  1710 497   45.7  16.7  1680 420   53.0  18.7  1690 502  
reducercommutativity/max10_true-unreach-call_true-termination.i 350    300    4880 4320   352    302    4910 4190   138    95.1  4730 1510   100    54.3  3590 1030  
reducercommutativity/max20_true-unreach-call.i 960    855    5620 11700   960    850    5640 11600   960    875    5490 11300   961    895    5170 11800  
reducercommutativity/max40_true-unreach-call.i 965    140    14100 3420   965    140    14100 3540   965    140    14200 3700   964    140    14100 3570  
reducercommutativity/max60_true-unreach-call.i 964    140    13900 3030   965    139    13700 3200   965    140    14200 3570   965    140    14100 3320  
reducercommutativity/max_true-unreach-call.i 960    480    5120 10200   961    480    5120 10300   960    485    5000 11000   961    480    5100 10300  
reducercommutativity/sep05_true-unreach-call.i 931    723    7360 10500   918    707    7320 9800   866    632    7430 8930   888    667    7320 10800  
reducercommutativity/sep10_true-unreach-call.i 921    338    7570 7540   938    337    7610 7460   938    337    7620 7400   933    366    7200 8090  
reducercommutativity/sep20_true-unreach-call.i 917    297    9950 7600   910    258    11400 6480   962    311    11100 6950   947    287    11500 7260  
reducercommutativity/sep40_true-unreach-call.i 968    376    8640 8440   968    375    8770 8320   960    378    8000 9050   961    376    8230 9410  
reducercommutativity/sep60_true-unreach-call.i 962    423    7400 8960   960    422    7110 9120   960    406    6910 8640   961    416    7560 10400  
reducercommutativity/sep_true-unreach-call.i 960    476    5220 11400   960    477    5200 10100   960    476    5180 9760   960    480    5140 11900  
reducercommutativity/sum05_true-unreach-call_true-termination.i 41.3  14.8  1470 353   40.0  14.7  1460 367   38.1  12.9  1380 342   44.5  15.5  1420 380  
reducercommutativity/sum10_true-unreach-call.i 79.9  46.1  2280 775   79.6  45.8  2180 742   70.0  36.5  2630 636   80.0  40.3  2380 728  
reducercommutativity/sum20_true-unreach-call.i 277    225    4010 2880   265    215    4880 3170   185    141    4650 2300   212    155    5030 2310  
reducercommutativity/sum40_true-unreach-call.i 913    816    5420 12900   908    805    5470 11000   795    706    5380 10100   914    791    6130 11000  
reducercommutativity/sum60_true-unreach-call.i 903    819    5110 11400   903    812    5160 12000   902    796    5810 10800   901    793    5770 11500  
reducercommutativity/sum_true-unreach-call.i 960    483    5020 10600   960    483    5030 11300   960    485    5000 9720   924    448    4980 10500  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 88.4  53.4  3710 984   76.7  46.1  3220 766   79.1  49.6  3640 833   84.0  51.5  3700 942  
bitvector/sum02_false-unreach-call_true-no-overflow.i 968    184    14100 4450   960    190    14100 5230   968    169    14000 4570   965    168    14100 4810  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 69.1  18.4  2700 550   69.9  18.7  2650 583   71.6  19.4  2670 543   72.1  21.4  2720 558  
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 66.4  18.6  2610 572   74.5  20.4  2680 592   65.1  18.1  2770 522   71.1  18.7  2650 537  
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 966    175    14200 4710   968    172    14300 5020   968    176    14200 4510   966    171    14200 4700  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 960    781    5600 12900   960    772    5400 9990   961    764    5560 10400   960    772    5590 10500  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 968    175    14100 4830   960    171    14200 3870   967    175    14300 4500   963    172    14200 4760  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 5.28 1.58 339 38.6 7.92 2.10 431 60.5 5.37 1.60 344 37.3 5.06 1.58 348 40.7
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 39.2  17.4  2630 343   38.9  17.2  2350 294   43.2  18.4  2410 439   41.4  18.1  2410 355  
bitvector/jain_1_true-unreach-call_true-no-overflow.i 910    867    4990 14300   902    862    4990 12700   910    868    4990 10900   917    875    4990 11400  
bitvector/jain_2_true-unreach-call_true-no-overflow.i 911    864    5010 11800   916    871    4990 11900   912    869    4980 14400   907    866    4990 13000  
bitvector/jain_4_true-unreach-call_true-no-overflow.i 939    900    4990 12100   914    873    4990 12100   902    862    4980 11400   909    868    5000 11100  
bitvector/jain_5_true-unreach-call_true-no-overflow.i 7.70 1.91 492 54.2 7.76 1.96 515 56.2 7.35 1.85 488 52.7 7.69 1.96 495 54.0
bitvector/jain_6_true-unreach-call_true-no-overflow.i 906    864    4990 11000   911    872    4990 11600   911    870    4990 11700   901    863    4970 11700  
bitvector/jain_7_true-unreach-call_true-no-overflow.i 932    890    4990 12100   925    882    5010 11200   942    900    5000 10700   918    877    4970 14400  
bitvector/modulus_true-unreach-call_true-no-overflow.i 961    181    14100 5230   968    164    14300 4600   968    164    14300 4950   968    163    14300 4560  
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 10.2  2.44 505 75.4 12.3  2.87 654 78.0 12.0  2.74 641 88.1 12.2  2.79 626 81.4
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 18.9  4.82 1150 139   19.0  5.03 1250 136   19.4  5.14 1200 154   19.3  4.82 1130 137  
bitvector/parity_true-unreach-call_true-no-overflow.i 6.95 1.99 418 52.0 6.10 1.88 376 49.6 5.88 1.92 385 47.0 6.38 1.98 372 53.8
bitvector/sum02_true-unreach-call_true-no-overflow.i 960    408    5950 8210   960    409    5880 8650   961    411    5820 8660   915    370    5850 7490  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 960    482    5010 11400   960    483    5010 10900   960    483    5000 10100   960    479    5020 11700  
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 960    484    5030 10500   960    483    5040 9900   960    486    4990 10200   960    479    5030 10300  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 901    845    4610 11500   901    847    3500 12300   901    844    3870 11500   901    845    4830 13100  
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 960    479    5020 10800   960    484    5010 11100   960    481    5020 10700   960    483    5000 10300  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 960    486    4990 9590   960    483    5020 10700   960    483    5040 12300   960    487    4990 12100  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 595    276    4650 6270   960    486    5010 10700   587    273    4800 6760   960    486    4990 9720  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 968    161    14200 4760   968    162    14100 4530   963    162    14100 4670   963    165    14200 4660  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 960    485    5040 11100   960    485    5030 11800   232    97.1  4820 2220   183    71.1  4810 1690  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 112    40.1  3960 1060   110    40.1  3940 1120   111    41.0  4150 972   115    41.1  3960 999  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 111    40.1  3870 1070   110    40.9  3650 1060   120    44.8  4030 1130   109    39.7  3930 1050  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 960    482    5000 10500   960    479    5010 9550   960    480    5010 10600   960    478    5010 10700  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 961    475    5030 10300   960    483    5010 9790   960    482    5050 11400   960    478    5010 9260  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 24.2  5.09 694 145   25.0  5.17 732 153   22.4  4.70 678 165   21.5  4.57 688 139  
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 17.8  4.94 830 124   9.06 2.21 512 63.4 21.2  5.61 822 157   8.00 2.03 452 57.2
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 961    904    5000 14400   960    895    5070 14600   961    904    5000 11200   961    903    5000 10900  
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 101    48.0  2610 893   96.4  48.1  3090 943   94.3  45.3  3180 905   95.0  47.8  3290 935  
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 9.19 2.28 491 65.0 21.7  5.77 849 161   17.2  4.90 857 141   8.77 2.22 480 57.2
bitvector-regression/implicitfloatconversion_false-unreach-call.c 4.76 1.63 376 37.9 5.02 1.67 375 40.6 4.50 1.64 364 38.7 4.80 1.75 358 39.9
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 3.28 1.28 289 30.8 3.35 1.28 301 33.0 3.42 1.30 295 30.0 3.32 1.25 296 29.6
bitvector-regression/integerpromotion_false-unreach-call.c 4.66 1.62 352 38.6 4.55 1.64 350 38.0 4.88 1.69 357 39.3 4.68 1.59 364 42.6
bitvector-regression/recHanoi03_false-unreach-call.c 3.32 1.24 303 30.3 3.27 1.29 295 26.6 3.52 1.35 299 29.5 3.40 1.27 303 27.4
bitvector-regression/signextension2_false-unreach-call.c 3.63 1.29 298 30.0 3.80 1.35 311 27.8 3.79 1.45 307 33.5 3.67 1.42 312 30.9
bitvector-regression/signextension_false-unreach-call.c 3.68 1.30 301 31.7 3.65 1.30 300 30.7 3.58 1.29 296 30.1 3.62 1.30 302 28.8
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.67 1.12 284 22.7 2.80 1.09 288 24.2 2.90 1.10 282 27.1 2.88 1.12 284 21.3
bitvector-regression/integerpromotion_true-unreach-call.c 2.99 1.21 283 27.0 2.77 1.11 286 24.7 2.83 1.16 281 25.4 2.80 1.09 283 23.4
bitvector-regression/signextension2_true-unreach-call.c 3.84 1.34 308 35.4 3.68 1.33 298 29.7 3.66 1.34 298 30.3 3.61 1.33 303 27.4
bitvector-regression/signextension_true-unreach-call.c 3.31 1.23 295 28.4 3.61 1.33 302 33.2 3.94 1.44 309 29.8 3.62 1.34 299 34.4
bitvector-loops/diamond_false-unreach-call2.i 137    53.1  4850 1300   135    52.6  4800 1360   127    48.4  4810 1110   121    45.2  4820 1120  
bitvector-loops/overflow_false-unreach-call1.i 7.29 1.89 494 51.0 7.26 1.91 482 53.4 6.64 1.78 479 50.2 7.60 1.94 494 55.0
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 27.5  6.83 815 208   26.6  7.11 853 182   25.1  6.60 830 189   26.2  6.78 864 176  
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 56.5  12.9  2180 449   62.3  14.3  2630 434   58.0  12.9  2390 466   53.5  13.1  2160 405  
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 39.2  8.07 1250 280   37.6  7.88 1200 249   35.7  7.39 1170 267   37.3  7.78 1170 268  
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 70.4  18.2  2610 543   69.0  17.9  2780 508   70.1  19.3  2770 543   75.2  20.0  2750 604  
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 14.4  3.34 617 90.4 13.7  3.10 557 84.3 13.6  3.14 558 90.3 14.2  3.24 568 101  
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 65.5  16.8  3270 497   58.5  15.9  2950 470   57.3  15.9  2780 497   56.8  15.7  2930 482  
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 902    405    5620 8640   902    405    5590 9110   902    402    5710 9920   903    404    5640 10600  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 39.3  8.21 1380 286   36.7  7.61 1370 261   40.2  8.57 1550 297   38.7  8.24 1450 273  
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 121    45.6  4480 1230   129    48.8  4760 1170   124    46.3  4780 1180   128    48.4  4310 1320  
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.27 1.76 368 44.8 6.76 1.91 391 50.6 6.44 1.75 415 43.0 6.07 1.75 334 51.0
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.53 1.99 484 54.8 7.82 2.05 481 56.7 6.74 1.89 418 46.7 7.85 2.06 485 58.7
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 960    486    5010 9680   960    485    5000 10400   960    485    5000 10100   960    486    4970 9540  
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 960    489    4990 10700   960    486    5030 11600   960    488    5000 12100   960    485    5010 9700  
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 960    487    4970 11600   960    485    5010 10400   960    485    5000 11400   960    486    5000 10100  
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 960    486    4980 11100   960    487    5000 10200   960    484    4990 10100   960    486    4990 11600  
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 8.46 2.14 532 60.6 9.55 2.38 527 67.3 9.26 2.25 520 64.1 8.43 2.19 502 58.2
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 960    487    5000 10100   960    487    4990 9670   960    488    4980 10400   960    487    5000 10600  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 960    488    4990 9740   960    484    5010 11900   960    486    4990 10800   960    487    5010 10600  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 960    485    5000 9490   960    487    4980 11200   960    487    4990 11800   960    485    5000 10300  
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 57.5  15.5  2400 428   55.7  14.6  2250 430   55.7  14.7  2340 451   66.9  18.4  2550 572  
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 620    288    5000 6570   960    488    5000 11300   960    487    5000 10900   960    487    4980 10700  
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 666    310    5000 6580   708    331    5000 7370   519    239    4810 5650   660    309    5000 8150  
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 8.35 2.13 518 57.1 8.55 2.17 534 60.9 8.43 2.10 514 61.3 8.86 2.19 489 59.0
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 26.5  5.53 899 183   25.0  5.19 848 159   23.9  4.98 883 164   26.3  5.52 851 191  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 22.9  4.86 840 184   23.4  4.92 868 167   28.1  5.94 1100 208   23.4  4.90 881 175  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 25.0  5.26 894 177   23.0  4.86 857 178   22.9  4.83 855 166   25.8  5.39 855 171  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 25.1  5.28 852 163   22.9  4.93 869 166   24.0  5.03 850 168   26.0  5.41 1080 184  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 33.8  7.07 1270 241   36.1  8.00 1420 253   35.7  7.60 1440 260   36.6  8.09 1290 261  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 4.87 1.50 309 37.4 4.88 1.49 315 38.8 6.24 1.71 351 45.8 5.12 1.55 336 37.8
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 4.24 1.37 317 33.3 3.93 1.37 305 34.2 4.01 1.38 304 30.0 3.96 1.35 306 32.9
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 14.8  3.29 675 103   14.4  3.19 638 107   14.8  3.26 633 105   16.1  3.55 644 115  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 960    486    5020 10400   960    488    4980 11100   960    487    4990 9560   946    472    5000 9510  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 960    486    5010 10700   940    468    5010 11500   960    487    5000 11700   332    148    4370 3510  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 301    134    4350 3040   306    134    4150 3030   305    135    4350 3170   311    139    4370 3360  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 960    488    5010 10700   960    486    5000 10100   960    486    4990 10600   960    486    5010 11200  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 36.6  7.66 1230 287   87.5  28.8  3560 808   36.1  7.78 1410 262   36.0  7.91 1350 242  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 10.7  2.50 524 83.2 10.1  2.39 502 70.1 11.0  2.64 539 84.1 9.94 2.39 510 75.9
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 11.1  2.61 543 83.4 10.8  2.53 536 80.9 10.1  2.37 530 70.6 11.1  2.60 530 80.1
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 63.7  20.7  2880 492   65.6  21.3  3060 643   64.6  20.5  2990 621   62.7  20.4  2940 596  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 106    40.1  3350 1040   99.2  37.2  3940 950   97.9  36.1  3820 1070   95.3  35.3  3970 820  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 180    74.8  4750 1890   179    76.6  4280 2130   175    73.8  4800 1820   170    72.1  4400 1640  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 517    242    4190 5950   492    230    4650 5160   501    235    4510 5370   506    236    4620 6010  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 761    362    4800 9610   749    357    4800 8110   780    372    4570 9250   770    366    4790 8350  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 961    490    4970 10700   961    487    4310 10400   960    488    4980 11400   960    489    4990 10100  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 10.7  2.55 527 75.8 9.68 2.38 512 63.5 9.90 2.38 507 75.3 11.8  2.64 520 83.8
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 20.1  4.36 818 142   20.4  4.38 850 132   21.3  4.54 836 145   20.4  4.30 844 137  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 26.5  5.57 1040 169   26.3  5.55 1060 159   26.1  5.48 1330 181   24.2  5.14 1070 159  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 32.5  7.08 1450 259   28.5  6.34 1320 199   32.0  6.94 1380 206   31.7  7.20 1290 223  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 53.1  15.2  2210 477   52.9  15.2  2260 439   52.2  15.1  2260 444   51.2  14.6  2320 416  
ntdrivers/cdaudio_false-unreach-call.i.cil.c 961    472    5270 10100   961    463    5690 9660   909    356    7310 7770   902    360    6750 8250  
ntdrivers/diskperf_false-unreach-call.i.cil.c 36.6  7.35 1270 236   37.2  7.48 1230 239   32.5  6.64 1290 227   32.7  6.65 1280 215  
ntdrivers/floppy_false-unreach-call.i.cil.c 961    451    6280 10700   966    449    6280 9290   961    450    6650 10100   960    440    6330 10400  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 960    599    10200 10200   961    652    9020 9880   35.1  7.12 1340 262   25.1  5.22 911 162  
ntdrivers/parport_false-unreach-call.i.cil.c 961    424    7550 9330   960    424    7620 10200   960    434    7680 8500   961    431    7770 9690  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 960    474    5080 10500   960    475    5050 11300   960    479    5030 10200   590    262    4990 6050  
ntdrivers/diskperf_true-unreach-call.i.cil.c 960    183    14200 4860   968    186    14100 4950   968    174    13300 4500   961    186    14100 5040  
ntdrivers/floppy2_true-unreach-call.i.cil.c 960    373    9760 7640   960    464    5280 9750   960    462    5430 10600   961    468    5360 9010  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 960    460    6310 11100   961    456    6380 9110   961    448    6740 8890   961    458    6280 10000  
ntdrivers/parport_true-unreach-call.i.cil.c 960    424    7550 8950   960    429    7540 8760   964    432    7830 10100   961    437    7720 9170  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 961    483    4990 10100   960    483    5010 10300   960    483    5060 10300   960    484    5020 10200  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 960    483    4990 9830   960    483    5000 9220   960    484    5000 10000   960    480    5020 9540  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 960    482    5000 10700   960    484    5030 9820   960    480    5020 11900   960    480    5000 9060  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 960    481    5030 11600   960    482    5000 10400   960    484    5000 9480   960    479    5010 12000  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 960    491    5020 12200   960    482    5020 10800   961    548    4990 10400   912    435    5010 10100  
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 938    461    4990 9620   920    443    5000 10800   960    484    5060 10300   960    481    5130 9970  
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 938    460    5010 10600   914    437    5000 9590   960    484    5020 10300   910    433    5120 9200  
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 953    476    4980 10900   952    474    5000 10100   960    485    5000 10700   942    463    5060 9140  
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 960    482    5020 11200   958    480    5000 9840   960    485    5010 10400   225    87.3  4890 2270  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 960    483    5000 10100   960    483    4990 10200   960    483    5000 11900   960    479    5030 10600  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 960    483    5020 11800   960    480    4990 10200   960    485    4990 11000   208    81.7  4850 1920  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 960    482    4990 10300   960    483    5010 11600   960    484    5020 9960   960    481    5010 10800  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 960    483    4980 10700   912    435    5000 9840   960    485    4990 12100   224    88.7  4860 2260  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 960    485    5000 11700   960    482    5000 10900   960    485    4990 10400   960    481    5030 10300  
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 934    455    5000 9400   946    467    5030 10500   960    482    4980 10800   216    84.4  4860 2030  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 960    484    5010 10200   960    484    5010 9530   960    483    5000 10800   960    483    5010 9860  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 912    437    5010 9890   943    465    5000 10300   960    485    5000 9900   216    84.7  4880 1960  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 960    481    4990 9900   960    483    4990 11000   960    486    5010 9410   237    95.5  4870 2430  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 960    481    5010 10100   960    482    5000 9420   960    482    5020 11400   216    83.5  4880 2270  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 32.8  6.84 1140 211   30.9  6.37 1090 203   31.6  6.60 1040 231   29.5  6.14 892 199  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 30.1  6.31 1090 204   31.3  6.45 1200 224   35.3  7.30 1190 256   33.3  6.83 1050 234  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 30.1  6.25 1090 205   31.4  6.50 1060 217   29.9  6.20 1120 200   34.9  7.12 1080 250  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 31.0  6.48 1200 208   32.7  6.73 1120 226   31.0  6.43 1100 232   28.9  5.95 880 198  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 72.2  18.7  2630 568   73.2  19.4  2530 520   39.6  8.40 1240 250   43.2  8.83 1380 329  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 19.4  4.20 667 135   20.3  4.25 702 143   20.0  4.26 675 135   19.4  4.19 678 138  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 220    89.0  4820 2010   98.0  33.0  4090 820   211    88.0  4810 2110   207    81.7  4850 1970  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 88.3  26.6  3620 721   104    34.2  4000 933   114    39.1  4140 903   107    34.6  4260 916  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 66.0  18.2  2610 559   46.7  9.90 1430 332   39.2  8.52 1430 295   44.8  9.10 1200 298  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 102    32.0  4300 943   99.2  32.8  3880 924   106    35.7  4030 932   111    35.8  3380 944  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 63.6  17.7  2590 511   39.3  8.27 1280 254   36.8  7.64 1290 248   39.1  8.15 1260 253  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 69.7  17.7  2520 558   65.1  15.9  2580 542   103    34.8  3810 1040   110    34.7  4090 966  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 100    32.3  3760 958   189    73.4  4840 1730   205    83.4  4820 2020   102    31.1  4350 820  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 44.6  9.70 1680 346   50.2  10.9  1530 378   47.0  10.5  1730 321   54.5  11.8  1750 344  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 205    82.1  4840 2170   95.5  31.8  3980 868   102    34.4  4010 865   109    34.3  4280 923  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 72.3  20.9  2830 549   50.3  10.2  1450 361   42.7  9.29 1470 316   70.3  19.1  2820 505  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 97.7  32.1  4020 914   105    36.0  3950 954   197    80.9  4810 2050   106    33.2  4060 863  
eca-rers2012/Problem01_label15_false-unreach-call.c 961    843    5260 14400   961    843    5270 11600   961    847    5270 12400   961    858    5240 12400  
eca-rers2012/Problem01_label20_false-unreach-call.c 961    836    5310 11500   961    842    5340 11600   961    836    5300 11300   961    837    5370 13300  
eca-rers2012/Problem01_label21_false-unreach-call.c 961    834    5270 12100   961    835    5320 12300   960    825    5430 14300   961    839    5320 13300  
eca-rers2012/Problem01_label32_false-unreach-call.c 960    850    5440 12200   961    857    5280 12200   960    861    5260 13000   960    855    5260 13400  
eca-rers2012/Problem01_label33_false-unreach-call.c 961    838    5320 12400   960    840    5330 11700   960    834    5350 13400   961    842    5290 11700  
eca-rers2012/Problem01_label35_false-unreach-call.c 960    845    5290 11600   960    848    5250 12500   961    856    5230 12300   961    842    5320 13500  
eca-rers2012/Problem01_label37_false-unreach-call.c 960    838    5300 11100   961    840    5300 11500   961    840    5470 10500   961    837    5310 12000  
eca-rers2012/Problem01_label38_false-unreach-call.c 960    842    5390 11800   961    860    5240 13200   961    852    5170 11600   961    853    5230 11100  
eca-rers2012/Problem01_label44_false-unreach-call.c 961    845    5290 12200   961    841    5290 13300   961    837    5280 11600   961    841    5280 11500  
eca-rers2012/Problem01_label47_false-unreach-call.c 960    847    5240 11700   960    846    5250 13800   960    841    5440 11900   961    847    5230 12200  
eca-rers2012/Problem01_label50_false-unreach-call.c 960    843    5260 11500   960    866    5280 12000   960    850    5310 13500   960    845    5250 14600  
eca-rers2012/Problem01_label56_false-unreach-call.c 961    857    5220 11000   961    865    5250 11200   960    859    5240 13700   961    848    5260 11600  
eca-rers2012/Problem01_label57_false-unreach-call.c 964    833    5550 14400   960    836    5380 12100   960    842    5410 11800   961    833    5300 13400  
eca-rers2012/Problem02_label13_false-unreach-call.c 961    829    5650 10700   960    824    5570 12500   960    828    5520 11300   960    816    5560 13800  
eca-rers2012/Problem02_label16_false-unreach-call.c 961    831    5580 10900   961    825    5620 11600   961    824    5370 11000   960    821    5480 12900  
eca-rers2012/Problem02_label43_false-unreach-call.c 961    824    5740 14200   960    822    5790 11200   960    817    6000 11500   961    816    5970 12100  
eca-rers2012/Problem02_label44_false-unreach-call.c 422    340    5300 5360   423    336    5200 5030   436    344    5360 4850   370    292    5300 4230  
eca-rers2012/Problem02_label45_false-unreach-call.c 961    816    5730 11400   961    819    5480 11800   961    818    5540 10700   961    816    5500 12800  
eca-rers2012/Problem02_label50_false-unreach-call.c 961    827    5640 12900   961    828    5510 10800   960    827    5620 11300   960    825    5660 11000  
eca-rers2012/Problem02_label59_false-unreach-call.c 961    834    5390 13300   913    780    6040 11000   961    827    5530 11800   961    827    5640 11900  
eca-rers2012/Problem03_label09_false-unreach-call.c 961    518    5840 10900   961    667    5710 11700   960    723    5680 13100   961    736    5590 11900  
eca-rers2012/Problem03_label13_false-unreach-call.c 960    554    5860 11100   961    450    6100 9000   960    528    5900 10200   960    531    5850 10400  
eca-rers2012/Problem03_label26_false-unreach-call.c 960    494    5910 9660   961    572    5930 10200   960    583    5850 8640   961    504    5970 10800  
eca-rers2012/Problem03_label27_false-unreach-call.c 961    625    5740 11300   961    619    5740 10900   960    630    5730 9770   961    591    5790 12200  
eca-rers2012/Problem03_label28_false-unreach-call.c 960    627    5780 11800   961    618    5770 10900   961    658    5760 11600   960    495    5850 10500  
eca-rers2012/Problem03_label31_false-unreach-call.c 960    617    5740 9810   961    542    5860 10900   961    717    5510 11100   961    616    5840 12300  
eca-rers2012/Problem03_label35_false-unreach-call.c 960    567    6110 11300   961    480    5980 11100   961    541    6260 10800   960    580    6020 10100  
eca-rers2012/Problem03_label37_false-unreach-call.c 960    575    5950 11900   961    713    5890 10500   962    435    6330 9790   960    538    6240 9800  
eca-rers2012/Problem03_label39_false-unreach-call.c 960    483    5980 9170   960    545    5830 11700   961    652    5900 10800   961    606    5900 12100  
eca-rers2012/Problem03_label43_false-unreach-call.c 960    704    5960 9990   961    700    5850 11400   961    473    6500 10200   960    597    6170 11700  
eca-rers2012/Problem03_label45_false-unreach-call.c 960    561    5880 10200   960    473    6040 9640   960    549    5820 9460   961    684    5750 11000  
eca-rers2012/Problem03_label50_false-unreach-call.c 960    566    5910 10900   961    647    5710 11500   961    581    5900 11700   960    614    5870 11200  
eca-rers2012/Problem03_label52_false-unreach-call.c 960    418    6710 8580   961    532    5810 11800   961    556    5890 10900   960    452    5950 9420  
eca-rers2012/Problem04_label04_false-unreach-call.c 963    264    10300 6910   961    258    10100 6750   961    258    10100 7270   961    251    10100 7130  
eca-rers2012/Problem04_label06_false-unreach-call.c 920    244    10300 6100   966    253    10200 6680   966    247    10300 6700   960    247    10300 6250  
eca-rers2012/Problem04_label09_false-unreach-call.c 968    258    11000 6140   965    268    11100 7340   965    261    10900 6290   961    252    10300 7160  
eca-rers2012/Problem04_label11_false-unreach-call.c 961    291    11300 7080   968    271    10900 7220   960    278    11800 7120   961    291    11200 6960  
eca-rers2012/Problem04_label12_false-unreach-call.c 961    266    10700 6570   964    268    11000 6370   968    272    11300 6700   960    291    10500 6880  
eca-rers2012/Problem04_label13_false-unreach-call.c 968    250    9870 7700   960    250    10500 6470   963    244    10300 5960   968    260    10400 6260  
eca-rers2012/Problem04_label14_false-unreach-call.c 962    276    11400 7010   961    267    12300 6130   962    268    11800 6960   961    275    11400 6970  
eca-rers2012/Problem04_label15_false-unreach-call.c 961    285    12100 7260   961    276    11500 6910   963    285    11800 7070   960    286    11700 8060  
eca-rers2012/Problem04_label17_false-unreach-call.c 924    234    12600 6690   963    253    11900 6010   968    252    12300 6190   961    254    11900 6220  
eca-rers2012/Problem04_label18_false-unreach-call.c 961    253    10600 6240   962    275    9830 7380   961    240    9920 6140   955    239    9890 6760  
eca-rers2012/Problem04_label19_false-unreach-call.c 963    257    10600 6910   968    249    10700 6700   967    256    10100 6850   964    250    10400 6040  
eca-rers2012/Problem04_label26_false-unreach-call.c 961    256    10800 7110   922    240    10000 6530   962    261    10500 6300   967    257    10700 5930  
eca-rers2012/Problem04_label27_false-unreach-call.c 963    253    10200 6120   961    246    11000 5840   962    240    10200 7080   968    244    11000 6100  
eca-rers2012/Problem04_label31_false-unreach-call.c 963    266    10700 6550   961    236    10400 6490   960    253    10800 6200   964    240    10400 6540  
eca-rers2012/Problem04_label32_false-unreach-call.c 965    255    10400 6950   962    244    10700 5980   968    266    10100 6950   961    262    10200 7010  
eca-rers2012/Problem04_label35_false-unreach-call.c 968    258    12300 6980   968    257    11900 6570   964    256    12200 6570   968    254    12300 6260  
eca-rers2012/Problem04_label36_false-unreach-call.c 968    252    9810 7330   941    252    9710 6150   963    254    10600 6980   960    251    10700 6750  
eca-rers2012/Problem04_label38_false-unreach-call.c 961    294    11000 8360   962    303    10500 7050   916    273    10500 7630   960    300    10900 6510  
eca-rers2012/Problem04_label39_false-unreach-call.c 961    252    10000 6600   967    248    10200 6280   968    263    10300 7000   962    247    10600 6950  
eca-rers2012/Problem04_label40_false-unreach-call.c 961    284    11600 6160   965    283    11400 6530   961    287    11300 6690   961    284    11800 7090  
eca-rers2012/Problem04_label45_false-unreach-call.c 962    243    11300 7210   955    245    11000 6950   960    238    10500 6200   962    239    11300 6300  
eca-rers2012/Problem04_label52_false-unreach-call.c 963    264    10000 7080   960    253    9720 6670   962    240    9770 6240   962    251    9960 7270  
eca-rers2012/Problem04_label55_false-unreach-call.c 961    246    9910 6850   968    251    10700 6030   961    251    9860 6490   968    241    10100 5470  
eca-rers2012/Problem04_label58_false-unreach-call.c 968    261    10300 6960   960    261    9980 6370   967    239    10400 6810   962    258    10500 7090  
eca-rers2012/Problem05_label00_false-unreach-call.c 968    202    14100 5590   968    203    14200 5900   968    199    14200 5850   968    200    14100 6270  
eca-rers2012/Problem05_label01_false-unreach-call.c 968    203    14200 4790   968    238    14300 6400   963    201    14200 5570   968    206    14200 5900  
eca-rers2012/Problem05_label11_false-unreach-call.c 968    200    14100 5430   968    203    14300 5830   968    201    14200 5760   968    200    14100 5330  
eca-rers2012/Problem05_label13_false-unreach-call.c 968    179    14300 5730   965    184    14000 5680   968    182    14200 5430   964    186    14100 5330  
eca-rers2012/Problem05_label15_false-unreach-call.c 968    196    14000 5720   961    198    14300 5690   968    207    14200 5390   968    197    14100 6480  
eca-rers2012/Problem05_label18_false-unreach-call.c 962    182    14100 4890   964    185    14200 6100   964    183    14100 5320   961    182    14100 5730  
eca-rers2012/Problem05_label24_false-unreach-call.c 961    178    14100 5860   963    182    14200 5630   962    183    14100 4730   968    181    14000 5370  
eca-rers2012/Problem05_label26_false-unreach-call.c 968    204    14100 5250   961    192    14200 5250   968    203    14200 5800   968    200    14100 5690  
eca-rers2012/Problem05_label30_false-unreach-call.c 968    195    14200 6260   968    193    14200 5230   962    192    14300 5310   968    198    14200 5900  
eca-rers2012/Problem05_label32_false-unreach-call.c 968    196    14300 6210   968    202    14000 5810   968    197    14100 5800   968    195    14200 5780  
eca-rers2012/Problem05_label33_false-unreach-call.c 962    180    14100 5330   968    181    14000 5570   962    179    14000 5510   965    183    14100 5330  
eca-rers2012/Problem05_label36_false-unreach-call.c 968    201    14100 5930   968    198    14100 5140   968    200    14200 6530   968    202    14100 6080  
eca-rers2012/Problem05_label37_false-unreach-call.c 968    199    14200 5800   968    201    14300 6050   961    195    14200 5540   968    193    14200 5670  
eca-rers2012/Problem05_label38_false-unreach-call.c 962    182    14000 4830   961    184    14200 5450   968    182    14100 5760   968    181    14100 5560  
eca-rers2012/Problem05_label39_false-unreach-call.c 961    180    14000 6060   961    182    14100 5060   961    181    14200 5930   965    184    14000 5360  
eca-rers2012/Problem05_label40_false-unreach-call.c 963    200    14200 6530   968    202    14300 5970   968    196    14000 5850   968    200    14100 5540  
eca-rers2012/Problem05_label41_false-unreach-call.c 968    202    14200 5910   968    198    14300 5280   968    201    14200 6340   968    191    14200 5880  
eca-rers2012/Problem05_label44_false-unreach-call.c 968    207    14100 5650   962    183    14100 5520   968    186    14200 5270   961    178    14000 5630  
eca-rers2012/Problem05_label47_false-unreach-call.c 968    202    14300 6490   968    195    14200 5780   968    200    14200 5280   968    197    14200 5180  
eca-rers2012/Problem05_label48_false-unreach-call.c 960    181    14000 4690   963    181    14100 4370   968    190    14000 5680   960    182    14100 4910  
eca-rers2012/Problem05_label51_false-unreach-call.c 967    202    14300 5940   968    194    14200 5660   968    200    14100 5920   968    197    14300 5390  
eca-rers2012/Problem05_label55_false-unreach-call.c 968    199    14000 6320   968    190    14300 5560   968    201    14200 5520   968    197    14200 6170  
eca-rers2012/Problem05_label57_false-unreach-call.c 968    194    14200 5890   968    202    14200 5960   968    199    14200 5310   967    198    14300 5350  
eca-rers2012/Problem05_label58_false-unreach-call.c 962    183    14000 5050   962    181    14100 5110   962    182    14000 5560   964    182    14100 5360  
eca-rers2012/Problem06_label00_false-unreach-call.c 968    216    13400 5890   968    226    12900 6280   968    227    13400 6260   962    230    13100 6980  
eca-rers2012/Problem06_label01_false-unreach-call.c 961    229    13000 6940   963    216    12500 5810   961    226    12800 6830   968    231    14000 5620  
eca-rers2012/Problem06_label02_false-unreach-call.c 968    228    12800 5770   968    220    13200 5930   961    233    11900 6030   962    231    12600 6270  
eca-rers2012/Problem06_label04_false-unreach-call.c 960    234    12200 6520   967    238    12800 6360   960    228    12800 6460   961    250    11900 6540  
eca-rers2012/Problem06_label05_false-unreach-call.c 960    227    13400 6490   961    211    13000 5110   968    225    13500 5500   968    227    13100 6300  
eca-rers2012/Problem06_label09_false-unreach-call.c 968    247    12100 6690   961    241    12100 6510   963    240    11500 6030   960    250    12000 6780  
eca-rers2012/Problem06_label10_false-unreach-call.c 968    230    12000 5600   961    237    12400 5800   963    225    12800 5760   968    231    12800 7000  
eca-rers2012/Problem06_label11_false-unreach-call.c 961    213    13700 5890   968    224    13500 6160   962    226    13200 5630   961    221    13600 5950  
eca-rers2012/Problem06_label12_false-unreach-call.c 961    227    12900 6450   964    230    13000 6250   960    225    12500 6470   960    226    13000 5510  
eca-rers2012/Problem06_label15_false-unreach-call.c 961    223    13200 6070   965    225    12800 5770   960    223    13200 5620   962    231    12900 6020  
eca-rers2012/Problem06_label20_false-unreach-call.c 968    226    12900 5930   960    231    13200 6810   961    231    12900 6250   962    215    13000 5730  
eca-rers2012/Problem06_label21_false-unreach-call.c 962    224    13500 5890   965    220    12700 6850   968    231    13400 6710   962    225    13500 6520  
eca-rers2012/Problem06_label24_false-unreach-call.c 962    230    11700 6630   961    209    11700 5610   962    234    12500 6550   968    218    13000 6750  
eca-rers2012/Problem06_label27_false-unreach-call.c 962    226    13200 5690   968    229    12900 6190   961    218    13300 6600   963    223    12100 6470  
eca-rers2012/Problem06_label29_false-unreach-call.c 961    230    13500 6320   968    210    13100 5240   962    210    12000 5610   962    222    13600 6670  
eca-rers2012/Problem06_label33_false-unreach-call.c 960    213    13900 5540   961    224    12700 6340   961    222    13900 6080   968    220    13800 5820  
eca-rers2012/Problem06_label36_false-unreach-call.c 968    233    13000 6800   960    229    12700 6080   968    225    13700 6310   968    234    13800 6690  
eca-rers2012/Problem06_label37_false-unreach-call.c 968    229    13700 5740   962    231    12900 6040   961    222    13300 5510   968    218    13800 5520  
eca-rers2012/Problem06_label38_false-unreach-call.c 961    222    13000 5830   968    225    13600 5740   961    232    13900 6680   968    227    12900 6590  
eca-rers2012/Problem06_label44_false-unreach-call.c 968    228    13700 6120   965    229    13500 6640   960    220    13500 5930   960    225    13000 5930  
eca-rers2012/Problem06_label47_false-unreach-call.c 968    230    12800 6750   968    215    11700 5780   964    214    12600 5630   963    217    11600 6510  
eca-rers2012/Problem06_label48_false-unreach-call.c 961    233    12900 5780   960    227    13000 6180   968    227    12900 6360   968    227    13400 6440  
eca-rers2012/Problem06_label56_false-unreach-call.c 961    225    13200 5980   963    231    12900 5690   968    220    13100 6080   968    226    12800 5260  
eca-rers2012/Problem06_label58_false-unreach-call.c 966    230    13100 6460   961    217    13400 6320   961    224    13100 6090   963    223    12900 6420  
eca-rers2012/Problem06_label59_false-unreach-call.c 961    224    12700 6470   968    222    13100 5990   964    225    13400 5450   968    215    13000 6180  
eca-rers2012/Problem07_label03_false-unreach-call.c 966    252    13300 6620   934    248    13500 5930   928    244    12600 6440   968    252    13600 6550  
eca-rers2012/Problem07_label05_false-unreach-call.c 966    255    14000 6840   961    250    12700 6880   960    245    12300 5730   968    245    13900 6940  
eca-rers2012/Problem07_label06_false-unreach-call.c 968    252    13800 6370   968    257    13800 6740   963    254    13700 6260   968    255    13700 6800  
eca-rers2012/Problem07_label07_false-unreach-call.c 968    248    13800 6710   968    253    13800 6050   968    246    13900 5940   964    252    13700 6710  
eca-rers2012/Problem07_label09_false-unreach-call.c 968    249    14100 5980   968    245    13600 6230   960    246    13800 7160   962    248    13600 6580  
eca-rers2012/Problem07_label11_false-unreach-call.c 968    252    13800 6000   968    254    13500 6060   963    255    13900 6520   961    255    13600 6990  
eca-rers2012/Problem07_label15_false-unreach-call.c 962    253    12900 6280   933    244    12400 7370   962    253    13800 6760   962    254    12500 6900  
eca-rers2012/Problem07_label18_false-unreach-call.c 961    254    13600 6620   961    240    12200 5680   967    251    13900 7150   961    251    12600 6690  
eca-rers2012/Problem07_label19_false-unreach-call.c 960    247    13300 6200   968    248    13800 6450   966    248    13800 6550   968    249    13800 7450  
eca-rers2012/Problem07_label20_false-unreach-call.c 962    252    13700 6270   968    256    13300 6460   960    256    13500 7150   962    251    13400 5860  
eca-rers2012/Problem07_label23_false-unreach-call.c 968    253    13900 7280   968    255    14000 6710   968    254    14100 6680   968    256    14000 6520  
eca-rers2012/Problem07_label30_false-unreach-call.c 968    265    14000 6540   968    256    13600 7160   968    258    13700 6340   968    246    12200 5980  
eca-rers2012/Problem07_label31_false-unreach-call.c 968    248    13700 7210   968    249    14000 6680   921    248    13500 6980   961    242    12400 6150  
eca-rers2012/Problem07_label35_false-unreach-call.c 961    245    12600 6060   961    249    12700 6190   963    254    13400 5920   968    243    12600 6200  
eca-rers2012/Problem07_label36_false-unreach-call.c 968    246    13700 6180   961    245    13400 6210   968    249    13800 5400   961    249    13000 6940  
eca-rers2012/Problem07_label37_false-unreach-call.c 968    251    12800 6330   924    251    12300 7060   968    249    13600 6490   968    251    13400 6590  
eca-rers2012/Problem07_label39_false-unreach-call.c 968    248    13700 5920   968    249    13700 6150   968    248    13600 6800   961    250    12700 6840  
eca-rers2012/Problem07_label40_false-unreach-call.c 968    250    13500 6700   968    240    11900 5890   961    249    12800 6650   968    253    14000 5960  
eca-rers2012/Problem07_label42_false-unreach-call.c 968    255    14000 7520   965    251    13400 5970   960    246    13100 6240   968    249    13900 6840  
eca-rers2012/Problem07_label44_false-unreach-call.c 968    256    13800 6450   968    257    13600 6370   968    260    13800 7250   963    256    13200 7290  
eca-rers2012/Problem07_label46_false-unreach-call.c 960    245    12400 5850   968    255    13800 6950   967    242    12300 6070   968    253    13600 6370  
eca-rers2012/Problem07_label47_false-unreach-call.c 968    249    13500 6670   960    246    12600 6680   968    252    13400 6440   944    246    12400 5740  
eca-rers2012/Problem07_label48_false-unreach-call.c 961    254    12900 7220   963    244    12600 6520   964    253    12600 6580   968    248    14000 6790  
eca-rers2012/Problem07_label58_false-unreach-call.c 968    250    13700 6170   968    254    13600 6470   968    246    13300 6070   968    246    14100 7360  
eca-rers2012/Problem08_label01_false-unreach-call.c 964    294    10700 7980   968    291    11100 7540   968    294    11600 6940   961    291    10900 7200  
eca-rers2012/Problem08_label02_false-unreach-call.c 968    283    11000 7400   961    281    11000 7100   968    296    11500 7290   960    282    10700 6700  
eca-rers2012/Problem08_label04_false-unreach-call.c 961    286    10800 7270   962    282    10600 6650   968    289    11200 6980   961    290    11100 8220  
eca-rers2012/Problem08_label05_false-unreach-call.c 960    292    11000 7850   963    292    11400 7600   960    286    11000 7120   966    286    11100 7370  
eca-rers2012/Problem08_label06_false-unreach-call.c 961    285    10900 7020   961    285    10800 7530   960    287    10500 7170   968    294    11700 7040  
eca-rers2012/Problem08_label07_false-unreach-call.c 968    289    11200 7120   964    289    11000 7210   968    292    11100 7800   960    289    10600 6560  
eca-rers2012/Problem08_label10_false-unreach-call.c 968    284    11000 7590   960    298    11000 6630   963    283    11000 6790   960    284    10700 7090  
eca-rers2012/Problem08_label13_false-unreach-call.c 964    281    10700 8110   961    296    10900 6950   963    294    11100 6880   961    287    10500 7190  
eca-rers2012/Problem08_label15_false-unreach-call.c 961    294    11300 6940   960    293    10700 6490   961    295    11300 7960   962    293    10700 6840  
eca-rers2012/Problem08_label24_false-unreach-call.c 962    295    10700 7540   960    289    11400 6550   961    287    10700 7230   962    293    10700 7630  
eca-rers2012/Problem08_label25_false-unreach-call.c 968    295    11400 8210   961    294    10800 7540   962    284    11400 7250   962    293    10500 6450  
eca-rers2012/Problem08_label26_false-unreach-call.c 961    284    10800 7120   963    293    10500 7040   966    294    11100 7080   968    297    11300 7300  
eca-rers2012/Problem08_label28_false-unreach-call.c 961    283    11100 6820   962    292    11100 7100   968    300    11000 6730   968    292    11500 6550  
eca-rers2012/Problem08_label29_false-unreach-call.c 961    293    11500 7180   962    287    11300 7110   961    288    10400 7300   963    293    10500 7430  
eca-rers2012/Problem08_label34_false-unreach-call.c 963    294    10700 7070   963    282    10900 6390   963    285    10700 6710   961    289    10700 6580  
eca-rers2012/Problem08_label37_false-unreach-call.c 961    296    11000 7690   960    284    10900 6560   960    288    11300 6580   963    291    10700 6760  
eca-rers2012/Problem08_label43_false-unreach-call.c 960    295    10900 6900   968    283    11300 7190   963    280    11500 6920   968    284    11400 7400  
eca-rers2012/Problem08_label46_false-unreach-call.c 968    282    11000 7240   962    290    10500 6350   962    299    10900 6700   960    288    11000 7580  
eca-rers2012/Problem08_label48_false-unreach-call.c 962    292    10900 6890   961    285    11300 6940   961    291    11200 7760   968    287    11000 7010  
eca-rers2012/Problem08_label49_false-unreach-call.c 960    294    11100 6550   960    299    10900 7080   965    276    10900 6670   960    293    11400 6950  
eca-rers2012/Problem08_label50_false-unreach-call.c 963    287    10600 7240   965    288    11000 6910   963    297    10900 7990   964    294    10900 7950  
eca-rers2012/Problem08_label51_false-unreach-call.c 960    293    11400 7620   968    279    10900 6640   960    285    11300 6900   968    294    11400 7090  
eca-rers2012/Problem08_label55_false-unreach-call.c 968    294    11400 7060   961    293    10600 7890   962    297    11400 7060   961    282    10900 6910  
eca-rers2012/Problem08_label59_false-unreach-call.c 962    290    10700 7710   961    281    11100 8140   963    296    10600 7300   968    287    10900 7060  
eca-rers2012/Problem09_label02_false-unreach-call.c 961    284    11200 6510   960    280    11300 6980   961    275    11200 7340   962    281    11600 7640  
eca-rers2012/Problem09_label03_false-unreach-call.c 960    283    11300 7430   961    278    11200 7060   968    279    11600 7230   960    275    11500 6830  
eca-rers2012/Problem09_label06_false-unreach-call.c 960    277    11100 6480   962    278    11100 6390   961    275    11600 7010   961    275    10900 6620  
eca-rers2012/Problem09_label08_false-unreach-call.c 960    274    11200 5770   963    282    11100 6780   962    286    11300 6530   968    278    11700 7520  
eca-rers2012/Problem09_label10_false-unreach-call.c 961    276    11200 6770   961    278    11600 7210   963    283    11200 6770   962    281    11200 6920  
eca-rers2012/Problem09_label11_false-unreach-call.c 960    269    11700 6090   962    276    11600 6070   962    279    11300 6640   968    274    11700 6160  
eca-rers2012/Problem09_label15_false-unreach-call.c 960    273    11200 6020   960    273    11100 6290   961    279    11200 6090   965    276    11700 6140  
eca-rers2012/Problem09_label19_false-unreach-call.c 965    274    11600 6090   962    279    11400 6800   962    276    11600 6170   961    281    11800 6590  
eca-rers2012/Problem09_label20_false-unreach-call.c 962    274    11100 6360   960    276    11200 6590   963    278    11200 6320   960    274    11200 7040  
eca-rers2012/Problem09_label32_false-unreach-call.c 968    260    11300 6280   961    273    11800 6050   960    277    11100 6340   962    275    11100 7040  
eca-rers2012/Problem09_label34_false-unreach-call.c 962    266    10800 5990   961    269    11500 7250   961    272    11200 6630   960    277    11200 6570  
eca-rers2012/Problem09_label35_false-unreach-call.c 968    277    11600 6800   961    278    11500 6700   963    278    11700 6870   962    279    11200 6570  
eca-rers2012/Problem09_label36_false-unreach-call.c 962    279    11400 7180   961    277    11200 6030   961    273    11200 6320   963    277    11200 7050  
eca-rers2012/Problem09_label38_false-unreach-call.c 961    277    11100 6830   963    277    11100 6510   960    280    11300 6940   961    285    11300 6570  
eca-rers2012/Problem09_label41_false-unreach-call.c 961    277    11400 6320   965    269    11800 6710   961    274    11200 6460   968    263    11200 6510  
eca-rers2012/Problem09_label44_false-unreach-call.c 962    278    11500 6350   968    281    11600 6380   960    275    11500 6110   963    282    11600 6130  
eca-rers2012/Problem09_label46_false-unreach-call.c 960    279    11200 6940   960    280    11400 6150   962    277    11200 6250   968    279    11500 6560  
eca-rers2012/Problem09_label47_false-unreach-call.c 968    274    11600 6300   962    281    11200 6350   962    253    11200 5590   961    281    11200 6010  
eca-rers2012/Problem09_label51_false-unreach-call.c 960    272    10900 6170   962    272    10900 6080   961    279    11300 6000   960    272    11500 6450  
eca-rers2012/Problem09_label53_false-unreach-call.c 968    264    11600 6520   960    276    11000 6110   962    283    11200 6440   968    277    11500 6230  
eca-rers2012/Problem09_label54_false-unreach-call.c 961    277    11100 6070   961    279    11300 6420   962    280    11300 6030   961    282    11800 6710  
eca-rers2012/Problem09_label56_false-unreach-call.c 967    278    11800 6790   961    276    11300 7780   962    278    11200 5350   961    275    11200 6720  
eca-rers2012/Problem09_label57_false-unreach-call.c 961    276    11200 6390   960    278    10900 6560   961    269    11500 6320   962    275    11000 7610  
eca-rers2012/Problem09_label59_false-unreach-call.c 960    281    11100 6370   961    276    11600 6770   963    276    11000 6030   961    276    11200 7200  
eca-rers2012/Problem10_label12_false-unreach-call.c 961    460    5800 9680   961    461    5850 11700   961    455    5860 10100   960    457    5800 11700  
eca-rers2012/Problem10_label15_false-unreach-call.c 961    454    5840 10400   912    410    5910 10500   912    415    5810 11300   961    460    5830 9960  
eca-rers2012/Problem10_label24_false-unreach-call.c 961    463    5780 9760   961    465    5760 9240   962    460    5800 10600   960    461    5810 10300  
eca-rers2012/Problem10_label26_false-unreach-call.c 912    417    5760 9270   961    462    5850 10800   960    456    6110 9430   961    459    5870 9960  
eca-rers2012/Problem10_label28_false-unreach-call.c 961    461    5820 10100   961    464    5800 9750   961    462    5780 11700   961    461    6030 11200  
eca-rers2012/Problem10_label29_false-unreach-call.c 961    461    5850 10100   961    461    5840 10900   961    461    5810 9710   960    459    5840 9910  
eca-rers2012/Problem10_label41_false-unreach-call.c 960    455    5950 10800   963    456    5890 9630   961    460    5880 10400   912    415    5860 8750  
eca-rers2012/Problem10_label42_false-unreach-call.c 913    410    5830 8550   960    456    5840 11200   913    409    5900 9160   960    456    5990 9340  
eca-rers2012/Problem10_label46_false-unreach-call.c 961    455    5770 10900   961    459    5820 9930   960    459    5800 9790   961    463    5840 10700  
eca-rers2012/Problem10_label47_false-unreach-call.c 960    453    5810 11700   961    462    5860 11400   961    461    5860 10200   961    459    5870 10800  
eca-rers2012/Problem10_label48_false-unreach-call.c 961    462    5810 9190   961    459    5830 9820   960    458    6060 9980   963    459    5840 9410  
eca-rers2012/Problem10_label50_false-unreach-call.c 961    453    5760 9310   961    461    5840 10000   961    462    5770 10100   960    453    5960 10200  
eca-rers2012/Problem10_label55_false-unreach-call.c 960    457    5820 10600   960    457    5820 9890   961    464    5790 10500   961    465    6060 10700  
eca-rers2012/Problem10_label57_false-unreach-call.c 961    465    5770 10200   961    463    5830 10700   961    459    5860 9190   960    463    5850 9280  
eca-rers2012/Problem10_label58_false-unreach-call.c 961    459    5830 11000   960    456    5880 11000   960    454    5800 9180   912    405    5840 9660  
eca-rers2012/Problem11_label00_false-unreach-call.c 912    416    5880 8890   913    413    6060 9720   961    459    5980 11000   961    460    5890 9410  
eca-rers2012/Problem11_label08_false-unreach-call.c 961    457    6010 10700   960    455    5980 11100   960    461    5850 10400   960    460    5970 10300  
eca-rers2012/Problem11_label14_false-unreach-call.c 960    456    5920 11000   913    408    5880 8700   912    415    5920 10600   960    461    5920 9490  
eca-rers2012/Problem11_label15_false-unreach-call.c 960    461    5970 10300   960    456    5960 9620   960    453    5970 10300   913    411    5970 10100  
eca-rers2012/Problem11_label20_false-unreach-call.c 914    415    5800 8810   960    459    5940 10300   912    409    5920 9550   961    457    5990 11100  
eca-rers2012/Problem11_label29_false-unreach-call.c 960    463    5950 9230   913    410    5940 9500   961    456    6010 9980   960    461    5960 10200  
eca-rers2012/Problem11_label31_false-unreach-call.c 912    413    5840 10400   960    460    6030 10700   960    455    6010 9330   960    460    5990 9780  
eca-rers2012/Problem11_label34_false-unreach-call.c 960    457    6010 10100   960    458    5880 11100   913    412    5970 9150   961    457    5990 10500  
eca-rers2012/Problem11_label36_false-unreach-call.c 913    415    5850 9470   961    456    5990 9260   960    459    5980 9810   913    419    5830 9440  
eca-rers2012/Problem11_label39_false-unreach-call.c 960    457    5980 11400   960    461    5960 10600   912    410    6020 8740   912    412    6000 9590  
eca-rers2012/Problem11_label42_false-unreach-call.c 960    456    6060 8950   961    456    5940 10700   960    455    5940 9520   960    460    6030 10500  
eca-rers2012/Problem11_label43_false-unreach-call.c 960    458    6010 10900   960    453    5980 9880   960    458    5990 9810   960    453    5950 9400  
eca-rers2012/Problem11_label49_false-unreach-call.c 960    460    5870 10800   960    456    6010 9340   913    415    5780 9200   961    454    5960 10500  
eca-rers2012/Problem11_label51_false-unreach-call.c 960    455    6020 10100   912    413    5930 8660   913    414    5870 9520   960    460    6090 11100  
eca-rers2012/Problem11_label58_false-unreach-call.c 961    457    6040 9400   960    460    6020 9950   960    456    6030 10600   961    453    6000 10500  
eca-rers2012/Problem12_label00_false-unreach-call.c 960    415    7290 9700   961    405    7430 9060   960    418    7330 10100   960    417    7180 9580  
eca-rers2012/Problem12_label03_false-unreach-call.c 961    403    7560 10200   961    406    7560 10700   916    363    7600 8490   961    398    7580 8900  
eca-rers2012/Problem12_label06_false-unreach-call.c 960    411    7280 9330   960    412    7490 9720   960    415    7300 9640   960    414    7210 9250  
eca-rers2012/Problem12_label07_false-unreach-call.c 960    417    7540 8640   960    408    7420 10300   960    412    7390 8100   961    404    7500 9030  
eca-rers2012/Problem12_label08_false-unreach-call.c 961    410    7460 10400   961    416    7250 10300   961    411    7260 9220   961    419    7380 10400  
eca-rers2012/Problem12_label10_false-unreach-call.c 960    414    7360 8890   960    417    7390 8710   961    410    7400 9900   961    408    7400 9000  
eca-rers2012/Problem12_label13_false-unreach-call.c 961    414    7270 8770   961    413    7340 8550   960    417    7290 9650   961    416    7400 8550  
eca-rers2012/Problem12_label19_false-unreach-call.c 961    415    7290 8670   960    414    7300 10900   960    418    7370 9730   960    419    7300 9860  
eca-rers2012/Problem12_label20_false-unreach-call.c 962    419    7350 9340   960    418    7300 9850   960    418    7290 8310   960    421    7330 8750  
eca-rers2012/Problem12_label21_false-unreach-call.c 960    412    7350 9670   960    411    7340 10400   961    411    7280 9310   960    408    7410 8760  
eca-rers2012/Problem12_label25_false-unreach-call.c 961    414    7430 9180   960    417    7350 10200   961    413    7430 9120   961    413    7380 9720  
eca-rers2012/Problem12_label28_false-unreach-call.c 961    409    7360 9440   960    416    7360 10000   961    408    7310 9600   961    414    7450 10900  
eca-rers2012/Problem12_label30_false-unreach-call.c 961    393    7640 9440   961    397    7580 8600   960    389    7610 9910   960    404    7530 8900  
eca-rers2012/Problem12_label34_false-unreach-call.c 960    401    7450 8410   961    411    7320 8660   960    415    7280 10000   961    412    7300 9870  
eca-rers2012/Problem12_label35_false-unreach-call.c 960    413    7360 8620   963    415    7450 9300   961    417    7360 9670   960    413    7390 9750  
eca-rers2012/Problem12_label37_false-unreach-call.c 914    370    7260 8020   961    412    7410 10600   961    412    7320 9000   961    415    7320 9000  
eca-rers2012/Problem12_label38_false-unreach-call.c 960    414    7380 8820   961    411    7460 8800   961    416    7420 10400   961    413    7480 9110  
eca-rers2012/Problem12_label39_false-unreach-call.c 961    416    7250 8980   961    416    7250 9970   960    418    7260 8950   960    416    7290 9240  
eca-rers2012/Problem12_label40_false-unreach-call.c 960    416    7220 9790   961    417    7400 9210   961    413    7300 8380   960    419    7290 9200  
eca-rers2012/Problem12_label42_false-unreach-call.c 961    413    7370 9130   961    411    7340 9750   961    416    7460 9590   961    414    7460 8800  
eca-rers2012/Problem12_label48_false-unreach-call.c 960    418    7250 9890   960    419    7300 10800   960    416    7150 9570   960    418    7270 9650  
eca-rers2012/Problem12_label50_false-unreach-call.c 961    415    7260 9810   961    410    7210 10200   961    413    7310 9570   961    413    7270 9990  
eca-rers2012/Problem12_label51_false-unreach-call.c 961    417    7310 10200   961    414    7290 9960   960    413    7350 9880   961    415    7220 9670  
eca-rers2012/Problem12_label52_false-unreach-call.c 961    415    7390 10400   960    420    7260 8830   960    416    7270 9590   960    422    7310 9550  
eca-rers2012/Problem12_label55_false-unreach-call.c 961    412    7290 10100   961    414    7480 8490   961    410    7450 8120   960    411    7350 8170  
eca-rers2012/Problem13_label04_false-unreach-call.c 960    402    7780 9630   961    404    7690 10000   961    404    7660 9270   961    402    7690 10200  
eca-rers2012/Problem13_label06_false-unreach-call.c 960    400    8030 9370   961    398    7660 10200   960    400    8270 9730   961    394    8250 9120  
eca-rers2012/Problem13_label07_false-unreach-call.c 961    396    7690 8660   960    406    7770 9240   960    398    8210 8300   961    407    7630 8320  
eca-rers2012/Problem13_label11_false-unreach-call.c 961    401    7740 9150   960    408    7570 9110   961    402    8190 10000   961    402    8440 9430  
eca-rers2012/Problem13_label12_false-unreach-call.c 961    401    8400 9360   961    407    7760 8650   960    404    8090 9460   961    401    7670 10000  
eca-rers2012/Problem13_label16_false-unreach-call.c 961    402    7760 8860   960    389    7650 8260   961    402    8320 9230   960    389    7650 7250  
eca-rers2012/Problem13_label19_false-unreach-call.c 960    409    7630 9250   960    404    7790 9060   960    405    7720 8570   960    399    8360 8920  
eca-rers2012/Problem13_label21_false-unreach-call.c 961    405    7690 8170   960    400    8360 10500   961    405    7730 8520   961    400    7640 9930  
eca-rers2012/Problem13_label23_false-unreach-call.c 961    402    7740 9080   960    406    8150 8980   961    392    8380 9080   961    400    8390 9220  
eca-rers2012/Problem13_label24_false-unreach-call.c 961    398    8410 9110   960    392    7720 9050   961    406    7760 8620   960    391    7630 7890  
eca-rers2012/Problem13_label25_false-unreach-call.c 961    404    7710 9270   961    399    8340 8460   960    401    7920 9830   960    403    7950 9040  
eca-rers2012/Problem13_label28_false-unreach-call.c 961    403    8450 9120   961    402    8420 8810   960    401    8030 8840   961    403    7940 8820  
eca-rers2012/Problem13_label29_false-unreach-call.c 961    387    7690 8360   961    398    7720 8740   960    401    8240 9630   960    407    7610 9960  
eca-rers2012/Problem13_label30_false-unreach-call.c 960    404    8340 9000   961    390    8520 9390   960    403    8190 10200   960    406    7650 8500  
eca-rers2012/Problem13_label32_false-unreach-call.c 960    405    8220 9330   961    397    8410 9330   960    405    7680 10100   960    402    7650 9380  
eca-rers2012/Problem13_label35_false-unreach-call.c 961    383    7680 8760   960    402    8260 10500   960    402    7740 10200   960    407    7600 9420  
eca-rers2012/Problem13_label36_false-unreach-call.c 961    399    7620 9470   960    402    7990 10000   961    397    8510 7930   960    403    7800 8750  
eca-rers2012/Problem13_label40_false-unreach-call.c 961    406    7660 8490   961    385    7740 8660   961    393    8410 7920   960    408    7630 9580  
eca-rers2012/Problem13_label43_false-unreach-call.c 961    404    7650 10000   960    395    7660 10300   961    404    7750 10100   960    395    7650 10100  
eca-rers2012/Problem13_label44_false-unreach-call.c 913    353    8320 9370   961    397    8190 9160   961    401    8240 8290   961    388    7700 9430  
eca-rers2012/Problem13_label45_false-unreach-call.c 960    404    7760 8850   961    406    7690 9110   961    403    7620 9270   960    404    7610 9480  
eca-rers2012/Problem13_label48_false-unreach-call.c 961    399    8310 8290   961    399    8040 8690   960    399    8030 10400   961    407    7630 10000  
eca-rers2012/Problem13_label51_false-unreach-call.c 960    406    8160 8330   961    402    8430 7500   961    405    7640 8640   960    402    7710 9920  
eca-rers2012/Problem13_label54_false-unreach-call.c 961    408    7630 9000   961    404    8530 8690   960    403    7720 9350   960    403    7770 8130  
eca-rers2012/Problem13_label58_false-unreach-call.c 960    402    8210 9580   961    404    7720 8780   961    399    8400 8630   961    398    7710 9260  
eca-rers2012/Problem14_label02_false-unreach-call.c 961    462    5720 9760