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-12 14:27:47 CET
Run set princess-q_auflia princess-qf_auflia princess-qf_uflia princess-q_uflia
Options -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=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 -setprop cpa.predicate.useQuantifiersOnArrays=true -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=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 -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=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.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=INTEGER -setprop solver.solver=princess -heap 13000M -stack 100M -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=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.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    477    5670 10200   961    474    5680 9270   961    478    5590 11500   960    475    5670 11400  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 961    487    4250 10100   961    489    3890 11500   960    489    4200 10600   961    488    3920 9910  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 961    487    4040 10700   960    488    4470 12400   960    490    4710 12400   960    489    4070 10800  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 961    477    5320 11900   961    474    5340 9500   913    430    5370 10200   961    475    5360 9700  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 960    483    4990 12000   912    435    5020 10100   960    482    5030 10200   960    484    5010 10200  
array-examples/standard_allDiff2_false-unreach-call_ground.i 960    491    4950 9830   960    490    5020 10700   960    490    4790 10700   960    489    4260 10200  
array-examples/standard_copy1_false-unreach-call_ground.i 961    488    4420 11000   961    488    4750 10800   913    441    4260 9400   961    487    4230 10600  
array-examples/standard_copy2_false-unreach-call_ground.i 961    489    4800 11000   961    485    4630 11800   961    487    4790 11500   961    486    4440 11800  
array-examples/standard_copy3_false-unreach-call_ground.i 961    486    4780 9660   912    438    4810 10200   961    484    4850 10800   961    487    3860 11800  
array-examples/standard_copy4_false-unreach-call_ground.i 961    486    4850 10500   961    485    4840 10500   960    487    5020 10000   961    486    3840 10800  
array-examples/standard_copy5_false-unreach-call_ground.i 961    485    4830 10000   961    486    4840 10800   960    479    5350 11700   960    486    4990 11900  
array-examples/standard_copy6_false-unreach-call_ground.i 960    487    3890 9670   913    439    4010 9410   960    470    5780 10300   960    486    5010 10000  
array-examples/standard_copy7_false-unreach-call_ground.i 960    485    4280 9590   961    485    4050 12000   961    453    6280 10200   960    486    5000 10800  
array-examples/standard_copy8_false-unreach-call_ground.i 960    486    5020 10500   960    486    4790 11700   961    434    7090 9700   960    484    4140 11700  
array-examples/standard_copy9_false-unreach-call_ground.i 960    485    4990 10100   960    487    5000 9810   916    348    8560 7650   948    475    4190 9740  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 961    486    4590 9330   961    485    4510 11300   960    485    4990 11700   960    486    4990 10600  
array-examples/standard_init1_false-unreach-call_ground.i 961    474    5330 10900   960    476    5330 10200   955    464    5350 11900   960    486    4850 10800  
array-examples/standard_init2_false-unreach-call_ground.i 946    460    5330 9790   926    441    5340 9650   902    418    5300 11100   960    484    4870 10900  
array-examples/standard_init3_false-unreach-call_ground.i 922    434    5350 9690   930    443    5310 8910   936    451    5380 10500   960    487    4980 10100  
array-examples/standard_init4_false-unreach-call_ground.i 923    438    5240 11400   914    431    5320 9670   909    425    5250 10300   960    486    5050 12000  
array-examples/standard_init5_false-unreach-call_ground.i 916    432    5290 9960   938    452    5250 11000   921    437    5260 10200   960    484    4980 10100  
array-examples/standard_init6_false-unreach-call_ground.i 961    471    5320 10600   960    472    5360 11100   938    450    5350 9600   960    488    5010 11800  
array-examples/standard_init7_false-unreach-call_ground.i 960    470    5440 9280   960    469    5400 10700   906    422    5290 9160   960    487    5000 10500  
array-examples/standard_init8_false-unreach-call_ground.i 964    468    5410 10600   953    462    5420 10100   907    422    5240 9600   960    472    5330 10200  
array-examples/standard_init9_false-unreach-call_ground.i 948    458    5380 10800   960    470    5360 10800   955    466    5290 10500   923    446    5020 10400  
array-examples/standard_minInArray_false-unreach-call_ground.i 961    486    3200 11800   961    486    3250 11000   961    487    3390 10100   961    484    3920 10200  
array-examples/standard_partition_false-unreach-call_ground.i 960    487    4310 9530   961    487    4030 12000   961    488    4460 10400   961    487    4430 10800  
array-examples/standard_running_false-unreach-call.i 961    487    4590 10700   961    487    4830 9840   961    486    3920 10600   961    486    4440 10100  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 4.15 1.36 330 30.5 3.58 1.29 297 32.1 3.42 1.29 298 27.8 3.70 1.37 298 32.0
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 961    472    6670 10500   961    474    6640 10900   961    476    6600 11400   961    475    6650 11400  
array-examples/relax_true-unreach-call.i 960    484    5180 10800   961    481    5170 9960   960    484    5240 10300   960    482    5170 10500  
array-examples/sanfoundry_02_true-unreach-call_ground.i 960    485    5000 11800   960    486    5010 11400   960    486    4990 11300   960    485    4980 11300  
array-examples/sanfoundry_10_true-unreach-call_ground.i 960    489    4420 12000   960    489    4820 12400   961    489    3830 12000   961    487    4810 12500  
array-examples/sanfoundry_24_true-unreach-call.i 960    477    4990 11000   960    480    4990 10000   960    480    5030 11000   960    481    4990 11700  
array-examples/sanfoundry_27_true-unreach-call_ground.i 961    484    4320 9650   961    485    4290 10600   961    486    4230 10700   961    484    3920 10800  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.97 1.14 295 25.9 3.51 1.32 296 30.7 3.48 1.22 335 29.4 3.02 1.12 294 27.4
array-examples/sorting_bubblesort_true-unreach-call_ground.i 960    488    3810 10500   960    487    4260 11000   961    490    4570 10500   960    489    4810 11800  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 960    477    5320 10200   960    476    5270 9350   961    474    5270 11400   961    472    5340 11300  
array-examples/standard_compareModified_true-unreach-call_ground.i 961    489    3690 11400   961    488    4400 9500   961    490    4350 9630   961    488    4050 11900  
array-examples/standard_compare_true-unreach-call_ground.i 961    489    3890 10500   961    489    3200 10400   961    491    3610 10000   961    489    3860 10900  
array-examples/standard_copy1_true-unreach-call_ground.i 961    488    4620 11800   961    488    4360 10100   961    488    4320 10600   961    487    4820 10200  
array-examples/standard_copy2_true-unreach-call_ground.i 961    486    4810 11000   961    487    4810 11800   961    488    4550 8640   961    487    4810 9980  
array-examples/standard_copy3_true-unreach-call_ground.i 913    439    4850 9230   961    485    4740 10900   961    484    4860 9660   961    485    3780 12200  
array-examples/standard_copy4_true-unreach-call_ground.i 961    485    4850 11500   961    485    4810 10600   960    488    4980 11000   960    487    3770 10100  
array-examples/standard_copy5_true-unreach-call_ground.i 961    485    4820 11800   961    484    4830 10600   960    481    5320 10600   960    487    4990 11800  
array-examples/standard_copy6_true-unreach-call_ground.i 961    485    4080 9530   960    488    4470 11300   960    470    5720 9130   960    486    4990 10700  
array-examples/standard_copy7_true-unreach-call_ground.i 961    484    4150 9950   961    485    3830 10900   961    448    6450 10600   960    486    4550 9930  
array-examples/standard_copy8_true-unreach-call_ground.i 960    487    4980 10700   960    486    4990 10100   960    411    7040 9500   960    485    4130 9980  
array-examples/standard_copy9_true-unreach-call_ground.i 960    488    5010 11600   960    487    5000 10100   961    366    8500 8490   960    489    4380 11000  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 960    485    4990 10600   960    486    4990 10100   960    484    5010 10700   960    486    4990 10600  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 960    488    4970 11200   960    488    4990 9970   961    485    4750 11900   960    486    4980 10300  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 961    487    4820 10200   961    488    4840 9590   961    484    4400 10600   961    486    4810 10900  
array-examples/standard_copyInit_true-unreach-call_ground.i 960    487    5000 10400   960    486    4670 10600   961    488    4810 9560   961    484    4990 11200  
array-examples/standard_find_true-unreach-call_ground.i 961    489    4010 10100   961    488    4080 12300   961    490    3790 10500   961    490    4020 10700  
array-examples/standard_init1_true-unreach-call_ground.i 960    475    5320 11500   952    467    5400 10200   948    461    5270 10300   960    487    4870 11400  
array-examples/standard_init2_true-unreach-call_ground.i 960    467    5340 11300   912    428    5250 8860   960    470    5330 9740   960    487    4860 11600  
array-examples/standard_init3_true-unreach-call_ground.i 939    453    5350 10100   941    455    5360 9550   931    447    5330 10600   960    487    4970 10600  
array-examples/standard_init4_true-unreach-call_ground.i 918    433    5320 11200   952    468    5220 9680   960    472    5360 10800   960    485    5030 10900  
array-examples/standard_init5_true-unreach-call_ground.i 960    471    5350 12000   944    456    5290 10000   910    425    5270 10500   960    485    4990 10900  
array-examples/standard_init6_true-unreach-call_ground.i 954    465    5360 10700   961    469    5310 10500   960    473    5310 11400   960    486    4980 10900  
array-examples/standard_init7_true-unreach-call_ground.i 961    472    5320 10300   960    472    5410 9390   906    421    5290 9450   960    487    5000 11000  
array-examples/standard_init8_true-unreach-call_ground.i 928    438    5390 10000   961    470    5340 10100   943    455    5260 9970   960    471    5360 9380  
array-examples/standard_init9_true-unreach-call_ground.i 947    458    5340 11100   915    424    5460 8620   912    425    5330 10100   913    435    5030 9390  
array-examples/standard_maxInArray_true-unreach-call_ground.i 961    485    4610 11700   961    485    4580 11000   961    485    4270 11000   961    485    4590 12300  
array-examples/standard_minInArray_true-unreach-call_ground.i 961    484    3710 10900   961    485    3320 12000   961    487    3310 8630   961    485    3450 10800  
array-examples/standard_palindrome_true-unreach-call_ground.i 960    487    4980 10900   961    488    4980 10100   961    487    4950 11100   961    488    5020 11400  
array-examples/standard_partial_init_true-unreach-call_ground.i 960    450    6950 10800   960    449    7080 9780   961    430    7290 9470   961    436    6900 9670  
array-examples/standard_partition_original_true-unreach-call_ground.i 913    441    4620 10100   961    486    4410 9870   961    487    4790 11100   961    489    4360 10600  
array-examples/standard_partition_true-unreach-call_ground.i 961    488    4370 11100   961    488    3850 9460   961    487    3130 9480   961    486    3710 9620  
array-examples/standard_password_true-unreach-call_ground.i 961    487    4060 10700   961    489    4000 9900   961    492    3440 11800   961    489    4390 10300  
array-examples/standard_reverse_true-unreach-call_ground.i 961    487    4990 9430   961    488    4980 10600   961    487    5010 10900   961    488    5020 9750  
array-examples/standard_running_true-unreach-call.i 961    487    4780 10100   961    485    4810 10500   961    486    4010 11200   961    485    4570 12200  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 960    488    4190 11000   960    488    4790 10600   961    486    4690 10200   961    486    4540 11800  
array-examples/standard_seq_init_true-unreach-call_ground.i 913    441    4810 10900   961    487    4690 11200   912    441    4630 9990   961    488    4270 11900  
array-examples/standard_strcmp_true-unreach-call_ground.i 913    440    4540 9150   961    488    4080 9990   913    442    4230 10900   961    487    4760 10900  
array-examples/standard_strcpy_original_true-unreach-call.i 961    488    4270 11000   961    487    4130 12000   961    488    4810 9740   961    488    4130 11100  
array-examples/standard_strcpy_true-unreach-call_ground.i 961    489    4000 11500   961    488    4160 10600   961    491    4280 9430   961    489    3910 10100  
array-examples/standard_two_index_01_true-unreach-call.i 961    490    3290 10900   961    490    3770 10100   961    488    3670 10900   961    490    3570 10300  
array-examples/standard_two_index_02_true-unreach-call.i 960    479    5770 11000   914    435    5640 10200   960    477    5810 9810   961    473    5900 10800  
array-examples/standard_two_index_03_true-unreach-call.i 960    723    5650 13000   960    722    5720 11800   913    675    5930 11400   961    718    5720 12300  
array-examples/standard_two_index_04_true-unreach-call.i 960    482    5640 9840   960    479    5710 10400   913    431    5690 9100   961    476    5940 8490  
array-examples/standard_two_index_05_true-unreach-call.i 960    479    5720 11000   912    431    5780 10500   960    480    5710 11700   961    474    5910 8580  
array-examples/standard_two_index_06_true-unreach-call.i 961    836    5710 14100   961    837    5770 12700   912    798    5800 10500   912    788    5870 12800  
array-examples/standard_two_index_07_true-unreach-call.i 960    481    5640 10200   960    479    5620 10400   960    475    5860 9950   961    474    5830 10600  
array-examples/standard_two_index_08_true-unreach-call.i 960    479    5830 11000   960    479    5650 10900   960    477    5880 10500   961    477    5920 9570  
array-examples/standard_two_index_09_true-unreach-call.i 960    480    5770 10200   912    432    5840 10700   960    480    5690 10900   961    476    5910 9720  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 960    489    4960 12000   960    490    4980 9670   960    490    4990 11000   960    490    4980 10300  
array-examples/standard_vector_difference_true-unreach-call_ground.i 961    489    4960 10600   961    489    4980 12100   961    488    4950 11400   961    489    4970 11500  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 960    488    4990 10700   918    448    4990 9810   960    488    5020 9620   959    485    5000 11100  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 8.15 2.04 493 55.8 960    493    5040 11100   914    441    5030 10500   8.40 2.09 517 67.0
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 960    484    4790 10000   960    486    4670 10500   960    486    4680 11000   960    485    5000 10200  
array-industry-pattern/array_range_init_false-unreach-call.i 7.92 2.05 521 61.5 960    494    5040 10300   960    480    5190 10600   6.57 1.80 455 53.6
array-industry-pattern/array_single_elem_init_false-unreach-call.i 960    486    4490 10300   960    485    4560 10600   960    483    5020 11300   960    485    4840 11100  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 960    481    5240 9650   960    478    5220 10600   960    480    5260 9400   960    479    5230 9840  
array-industry-pattern/array_monotonic_true-unreach-call.i 961    489    4540 12300   961    489    4160 11300   961    488    4150 10700   961    490    4410 9360  
array-industry-pattern/array_mul_init_true-unreach-call.i 960    489    4980 11600   960    489    4980 10400   960    489    4990 11600   960    488    4990 10600  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 901    863    3090 10900   960    487    5280 9830   961    486    3810 10000   961    486    4610 10300  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 9.30 2.31 525 67.1 960    489    5300 9790   960    488    5010 10500   8.36 2.09 494 60.9
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 919    397    6680 8330   933    394    6690 8600   968    198    13100 5160   968    193    12900 4790  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 9.38 2.30 531 66.2 960    487    5280 9600   913    444    3580 10700   9.00 2.22 522 62.6
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    863    3310 11900   960    489    5360 10900   960    489    4990 9590   960    487    5000 11200  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 9.59 2.35 537 75.5 912    434    5740 9900   961    485    4170 11000   8.75 2.20 523 63.5
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    864    2750 12300   960    494    5160 11400   918    409    5800 9310   944    421    5960 11000  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    859    2690 13700   960    485    5390 11600   960    486    5020 12200   960    489    4860 10200  
array-industry-pattern/array_shadowinit_true-unreach-call.i 960    489    5000 10700   960    487    5010 11500   961    486    4850 10200   960    487    5000 10900  
reducercommutativity/rangesum05_false-unreach-call.i 961    896    5130 11400   960    904    5170 11700   961    899    5080 12200   961    896    5140 12900  
reducercommutativity/rangesum10_false-unreach-call.i 961    898    5100 13000   961    899    5060 15000   961    897    5100 13200   961    899    5270 12000  
reducercommutativity/rangesum20_false-unreach-call.i 961    896    5060 11600   961    893    5380 12200   960    898    5090 12300   961    897    5060 14800  
reducercommutativity/rangesum40_false-unreach-call.i 961    888    5550 12700   960    897    5050 11500   961    894    5290 11900   961    897    5030 12200  
reducercommutativity/rangesum60_false-unreach-call.i 961    896    5160 12500   960    896    5120 12500   961    896    5130 11900   960    903    5170 12700  
reducercommutativity/rangesum_false-unreach-call.i 960    483    5220 11000   960    482    5290 9650   961    477    5210 10300   960    479    5390 11400  
reducercommutativity/avg05_true-unreach-call.i 961    906    5000 9840   961    912    5010 14800   961    906    4990 15000   960    899    3200 12300  
reducercommutativity/avg10_true-unreach-call.i 961    898    3390 11700   961    896    3150 14200   961    903    3960 11600   961    906    4180 12600  
reducercommutativity/avg20_true-unreach-call.i 960    901    3800 11000   961    907    4980 15100   960    900    3060 14300   961    900    3460 11700  
reducercommutativity/avg40_true-unreach-call.i 960    903    5020 14100   961    909    5020 15500   961    910    4990 14400   961    905    4900 12700  
reducercommutativity/avg60_true-unreach-call.i 961    904    4990 14600   960    897    4880 14800   960    895    3960 13500   960    900    4200 12900  
reducercommutativity/avg_true-unreach-call.i 960    482    5330 9540   960    483    5290 9900   960    479    5310 11800   960    482    5340 11200  
reducercommutativity/max05_true-unreach-call_true-termination.i 961    905    5020 11700   961    905    4990 12800   961    904    5000 12200   961    903    3820 14700  
reducercommutativity/max10_true-unreach-call_true-termination.i 961    906    4490 13800   961    907    4990 11700   961    905    3570 12600   960    897    3430 12300  
reducercommutativity/max20_true-unreach-call.i 961    905    3870 11900   961    904    5010 13900   961    902    3320 12300   961    903    3900 12100  
reducercommutativity/max40_true-unreach-call.i 961    909    5000 12300   961    910    5010 12700   961    903    4020 13900   960    898    4760 12700  
reducercommutativity/max60_true-unreach-call.i 961    899    5000 12200   961    900    4670 14000   960    902    2870 13200   961    898    2440 11500  
reducercommutativity/max_true-unreach-call.i 960    489    5010 10100   912    442    5000 8940   960    487    5020 10200   961    487    5020 11600  
reducercommutativity/sep05_true-unreach-call.i 961    885    4790 14000   960    883    4790 12200   960    882    4360 11300   960    884    3970 10900  
reducercommutativity/sep10_true-unreach-call.i 961    584    5230 10800   961    579    5230 10700   961    585    5220 11200   961    585    5200 12400  
reducercommutativity/sep20_true-unreach-call.i 960    480    5010 11100   960    481    5010 10700   960    487    5020 10400   960    487    4990 10600  
reducercommutativity/sep40_true-unreach-call.i 960    481    4870 10700   960    479    4890 10000   961    484    4810 10900   961    483    4820 10600  
reducercommutativity/sep60_true-unreach-call.i 960    481    4870 10400   960    481    4850 10900   960    481    5010 10200   961    484    4800 11000  
reducercommutativity/sep_true-unreach-call.i 961    482    5160 9410   912    435    5150 9430   960    483    5130 10000   960    482    5160 11000  
reducercommutativity/sum05_true-unreach-call_true-termination.i 960    903    2870 12600   912    852    2820 10300   961    906    2740 11400   961    901    2890 12300  
reducercommutativity/sum10_true-unreach-call.i 960    901    2880 12300   961    898    2610 12700   960    908    3510 11600   961    907    3390 12900  
reducercommutativity/sum20_true-unreach-call.i 961    904    3530 15200   961    902    3110 13100   961    904    2770 13300   961    904    3100 12300  
reducercommutativity/sum40_true-unreach-call.i 960    899    2470 12200   961    898    2690 14500   961    904    2760 15200   961    905    2770 13700  
reducercommutativity/sum60_true-unreach-call.i 961    901    2820 14400   961    902    3060 13700   961    906    2780 14000   960    898    2510 11900  
reducercommutativity/sum_true-unreach-call.i 960    488    4980 11000   960    488    5000 11600   960    488    4990 11400   960    488    4990 10300  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 961    841    4310 14000   961    848    4670 13800   960    853    4480 11900   960    844    3480 12600  
bitvector/sum02_false-unreach-call_true-no-overflow.i 968    252    12600 6890   962    276    13000 7840   961    246    12700 5990   968    244    13000 6820  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 960    889    3090 11700   960    886    2940 11900   960    886    2650 12400   960    887    2850 13200  
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 960    883    3040 11900   961    885    2460 12200   961    884    3100 11300   961    885    2880 11900  
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 961    912    4910 14500   961    916    4800 14900   961    916    4980 13000   961    913    4610 12000  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 960    906    2170 11500   960    907    2490 11900   960    905    2330 11400   961    903    1970 11100  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 961    907    2370 12200   960    905    2410 12400   960    904    2420 11500   960    905    2360 13600  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 5.99 1.73 341 50.5 6.45 1.90 362 47.1 6.43 1.87 347 54.0 6.26 1.78 350 45.8
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 968    264    14200 6390   968    273    14200 5260   968    270    14200 5900   968    276    14300 6570  
bitvector/jain_1_true-unreach-call_true-no-overflow.i 15.9  4.27 656 122   15.0  4.11 641 112   14.8  3.99 641 110   15.9  4.24 650 122  
bitvector/jain_2_true-unreach-call_true-no-overflow.i 26.1  6.78 895 214   25.7  6.49 854 191   24.2  6.44 876 181   24.9  6.51 919 179  
bitvector/jain_4_true-unreach-call_true-no-overflow.i 79.4  34.6  4080 715   78.6  34.9  4150 721   77.8  34.2  4260 793   75.6  33.6  3990 679  
bitvector/jain_5_true-unreach-call_true-no-overflow.i 961    486    4000 10900   961    486    3950 10400   961    486    3900 9700   961    486    4180 11800  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 960    442    12300 7550   963    438    11600 7030   960    448    12200 6960   961    450    11500 8350  
bitvector/jain_7_true-unreach-call_true-no-overflow.i 962    441    11700 7480   961    421    11700 7100   968    436    12100 7300   960    441    11700 6960  
bitvector/modulus_true-unreach-call_true-no-overflow.i 960    181    14100 5270   968    205    14200 6170   968    185    14200 6040   962    185    14100 5440  
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 961    903    4070 12200   961    904    3680 12500   961    902    3910 12500   960    900    3800 11700  
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 961    905    3070 11600   961    902    3780 12900   960    903    3350 13100   960    902    2960 11200  
bitvector/parity_true-unreach-call_true-no-overflow.i 961    905    3330 13100   912    857    3250 11100   961    910    3470 9990   961    904    3150 12700  
bitvector/sum02_true-unreach-call_true-no-overflow.i 968    249    12500 7090   968    249    12800 6420   968    248    12600 6290   968    239    12100 5640  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 961    481    5130 11000   961    481    5130 11800   961    481    5160 11400   961    480    5170 9990  
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 960    484    5000 12300   960    484    4990 9740   960    485    5050 9780   960    485    5000 11100  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 960    485    5010 10200   960    483    5030 11900   960    483    5010 9810   960    485    4980 10100  
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 961    481    5150 11400   961    482    5130 12200   961    479    5170 10800   961    481    5140 9690  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 960    484    5020 10500   960    485    4990 10500   912    436    5000 10400   960    484    4990 9790  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 960    486    5020 10300   960    485    5020 12000   584    269    4990 6080   585    269    4830 5810  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 960    377    10000 8560   961    379    9930 9840   962    393    10000 9320   963    376    10200 8820  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 960    487    5020 11000   960    486    5000 10500   960    486    4990 10100   960    486    5010 10500  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 113    40.0  4790 1010   114    40.0  4790 1100   118    40.7  4820 1080   116    40.1  4660 1020  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 116    41.8  4800 1080   114    40.8  4790 1090   121    43.3  4760 1100   120    41.4  4820 1010  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 961    339    9970 8520   968    336    10300 8350   968    328    10200 8500   961    334    10700 7750  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 920    312    10300 7610   960    334    10500 8980   961    337    10600 7260   967    331    10200 8900  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 968    331    14000 6720   966    330    13900 5890   968    328    13900 6230   968    326    13900 5750  
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 7.63 1.97 483 54.9 8.92 2.24 486 58.5 7.42 2.01 447 54.3 7.79 2.04 458 61.1
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 968    354    13700 6290   968    347    13800 6870   968    368    13900 6230   968    359    13900 7030  
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 967    332    13600 6110   960    329    13800 6860   968    326    13700 6310   968    338    13600 5830  
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 10.6  2.55 504 71.5 8.87 2.18 490 57.9 9.86 2.42 496 70.6 8.47 2.12 503 63.8
bitvector-regression/implicitfloatconversion_false-unreach-call.c 4.87 1.68 364 40.0 4.97 1.75 368 35.9 4.81 1.68 371 41.6 4.62 1.62 367 35.4
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 4.95 1.70 378 40.1 5.06 1.71 376 40.6 4.84 1.72 362 39.4 4.87 1.66 365 40.1
bitvector-regression/integerpromotion_false-unreach-call.c 6.47 2.10 410 55.7 7.11 2.24 409 56.5 6.63 2.16 400 58.6 7.31 2.22 425 59.5
bitvector-regression/recHanoi03_false-unreach-call.c 3.27 1.25 300 28.8 3.38 1.29 296 26.3 3.52 1.29 307 28.1 3.33 1.31 299 29.9
bitvector-regression/signextension2_false-unreach-call.c 5.22 1.74 365 41.0 5.30 1.84 372 45.1 5.29 1.82 367 47.6 5.08 1.76 366 41.1
bitvector-regression/signextension_false-unreach-call.c 5.22 1.76 356 46.1 5.78 1.93 358 45.5 5.59 1.86 359 44.5 5.73 1.87 377 42.6
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.85 1.11 288 25.3 2.80 1.13 283 22.6 2.94 1.10 287 28.1 2.78 1.11 276 25.9
bitvector-regression/integerpromotion_true-unreach-call.c 2.86 1.11 282 26.0 2.80 1.13 284 28.3 2.81 1.11 290 26.5 3.21 1.24 296 25.2
bitvector-regression/signextension2_true-unreach-call.c 3.47 1.26 299 28.2 4.03 1.40 318 31.7 3.74 1.35 305 32.6 3.76 1.34 298 34.0
bitvector-regression/signextension_true-unreach-call.c 3.75 1.35 305 27.8 3.67 1.30 301 32.8 4.13 1.47 333 31.5 3.75 1.37 300 33.9
bitvector-loops/diamond_false-unreach-call2.i 960    484    5030 10900   960    484    4990 11000   960    485    5020 9920   960    484    5040 10200  
bitvector-loops/overflow_false-unreach-call1.i 961    486    3420 10000   913    438    3390 9750   913    440    3510 10200   961    485    3450 9560  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 961    917    5000 12600   961    914    5000 13900   961    919    4980 11100   961    916    4930 11900  
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 961    738    4980 10800   60.5  16.4  3330 521   960    610    4990 11200   960    789    5010 13000  
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 961    483    5180 10700   960    483    5110 9560   960    484    5040 10700   960    484    5130 9390  
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 961    479    5240 9270   961    478    5180 10300   961    480    5200 10700   960    482    5220 11800  
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 960    867    5000 13500   960    866    5010 13700   961    882    5010 11500   960    867    4990 12300  
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 619    283    4990 6380   464    208    4910 4780   71.5  19.6  3810 583   573    256    4980 5660  
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 961    487    5000 12300   960    485    4980 11000   961    487    4990 11800   961    488    4990 11000  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 960    483    5110 10200   960    483    5160 10800   960    484    5160 11000   960    485    5130 9790  
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 960    480    5240 10800   960    480    5220 10400   960    482    5100 9730   961    479    5240 10700  
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.52 2.11 427 54.3 5.37 1.63 333 38.9 5.29 1.61 349 39.9 7.63 2.03 450 51.3
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 9.99 2.49 488 74.2 10.1  2.52 478 74.4 7.14 1.91 468 49.4 9.25 2.35 488 63.5
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 960    487    5030 10100   960    486    4980 9690   960    488    4990 11400   960    487    5010 11000  
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 960    487    5000 9680   960    487    5020 10800   960    486    5020 11100   960    488    4990 10200  
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 960    487    4980 10000   960    488    5000 11200   960    487    4990 10800   960    487    4990 11900  
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 960    487    5020 9830   960    488    5010 11500   960    487    5030 11500   960    486    5050 10500  
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 25.2  5.27 871 168   27.8  5.83 921 195   27.9  5.85 939 188   24.1  5.05 906 172  
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 960    486    5010 10400   960    486    5010 10600   960    487    5010 10900   960    487    5030 10000  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 960    486    5000 11100   960    484    5030 10900   960    485    5020 12500   960    485    5040 9850  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 960    483    5080 10300   960    485    5040 11100   960    485    5030 10000   960    484    5060 10700  
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 960    485    5000 11300   960    486    5020 10200   960    486    5040 10700   960    485    5040 9360  
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 960    488    5000 10600   960    487    5030 11700   960    488    4990 10700   960    490    5010 12500  
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 960    488    5000 11200   961    487    5010 11900   960    487    5000 10200   960    487    4980 11700  
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 37.7  8.16 1420 253   41.8  9.26 1550 273   37.4  7.96 1320 257   37.2  7.87 1400 251  
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 25.9  5.44 927 167   25.9  5.52 923 172   25.2  5.41 992 195   28.7  6.28 955 205  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 26.5  5.52 1100 175   22.8  4.86 849 166   25.1  5.28 898 175   24.7  5.29 864 175  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 26.7  5.67 1040 196   22.5  4.85 899 159   28.2  6.18 971 201   27.0  5.68 1020 207  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 27.9  6.06 933 178   22.0  4.81 904 151   20.6  4.41 895 153   25.0  5.31 904 186  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 85.1  28.7  4150 725   34.6  7.41 1360 240   38.7  8.15 1500 274   36.4  7.53 1450 263  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 5.21 1.55 310 38.8 5.41 1.61 326 42.4 5.74 1.68 356 43.5 4.88 1.50 311 41.2
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.89 1.35 303 34.2 4.09 1.43 308 34.3 4.15 1.44 308 32.9 4.02 1.37 311 31.1
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 17.0  3.74 663 109   13.6  3.06 616 104   14.7  3.32 650 106   15.9  3.55 670 115  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 960    487    5000 9990   802    380    4990 7920   317    139    4890 3260   960    489    5010 10300  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 824    389    5020 9260   960    489    5010 10600   437    199    4860 4750   679    317    5020 7000  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 306    134    4810 3420   304    133    4850 3180   307    136    4260 3150   308    135    4330 3190  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 960    487    5000 9510   914    440    5020 9560   960    487    4970 10900   960    486    5020 12100  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 39.6  8.38 1450 263   37.6  7.74 1650 276   38.7  7.92 1430 281   37.3  7.65 1370 250  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 21.3  4.53 901 156   22.7  4.80 964 144   22.8  4.77 955 182   23.3  4.90 994 172  
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 960    490    4990 10700   960    489    5000 9870   912    441    4990 11000   960    491    4990 11300  
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 960    491    4680 11300   960    492    4970 10400   960    492    4990 10600   960    493    4960 10800  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 960    490    4690 10700   961    486    4250 10700   961    488    4630 11000   961    489    4320 10300  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 960    492    4980 10900   960    493    4980 10700   960    491    4970 11200   960    493    4950 10800  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 960    490    4920 10700   960    490    4760 10000   960    491    3980 9980   960    490    4930 12000  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 960    492    4970 10900   912    444    4980 10600   960    491    4990 10700   960    491    4980 11600  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 960    490    4350 10700   960    489    4980 10800   960    489    4820 10600   960    490    4540 10300  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 11.4  2.63 513 78.9 11.8  2.72 553 85.7 13.0  2.95 620 93.6 11.7  2.75 527 90.6
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 27.7  5.90 1210 186   18.0  3.86 867 135   24.2  5.12 1000 171   28.2  5.99 1100 190  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 58.2  15.6  2490 483   54.1  13.6  2000 420   51.7  12.7  2210 443   48.0  11.3  2180 393  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 92.2  34.0  4220 858   92.4  34.3  3840 960   108    40.5  4040 1110   99.1  38.0  4300 1120  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 369    163    4830 3570   330    146    4750 3650   355    157    4830 3540   328    144    4780 3170  
ntdrivers/cdaudio_false-unreach-call.i.cil.c 961    311    12100 7200   961    315    12300 8030   960    348    10300 8670   961    333    10300 7760  
ntdrivers/diskperf_false-unreach-call.i.cil.c 968    314    12200 7050   968    304    11900 7240   961    310    12900 8030   968    305    12800 8520  
ntdrivers/floppy_false-unreach-call.i.cil.c 965    256    12300 6220   968    261    12400 6520   966    267    13000 7260   968    267    12600 6700  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 960    864    5010 13100   960    854    5010 11300   960    862    4990 12700   912    789    4800 11900  
ntdrivers/parport_false-unreach-call.i.cil.c 961    411    7620 9980   960    414    7730 8990   960    417    7680 9550   960    405    7630 9000  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 759    348    5020 7740   961    476    5010 9390   846    389    5000 9420   961    476    5020 10600  
ntdrivers/diskperf_true-unreach-call.i.cil.c 960    482    5020 9590   961    482    5010 10000   960    483    5010 9730   960    484    4960 10100  
ntdrivers/floppy2_true-unreach-call.i.cil.c 960    446    6160 8920   960    451    5830 9720   961    446    5680 10500   960    453    5890 10400  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 968    274    12700 7500   961    280    12300 6430   968    266    12700 7090   968    277    12900 6410  
ntdrivers/parport_true-unreach-call.i.cil.c 960    417    7730 10400   960    419    7650 9490   961    416    7650 8880   960    411    7730 8640  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 960    487    4990 11400   960    489    4980 11200   960    486    5020 10800   960    487    4980 10900  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 960    489    5000 10800   960    488    4990 11700   960    485    5030 10400   960    488    4990 10100  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 960    488    4990 11800   960    488    4980 9740   960    486    5010 11600   960    488    4990 11500  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 960    487    5000 9620   960    487    5000 10300   960    485    5020 10400   960    489    4970 11900  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 960    638    4980 11600   960    487    5000 10100   960    488    5020 11200   960    523    4970 11200  
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 960    489    4990 12500   960    488    4990 11100   960    489    5010 11500   960    488    5020 10100  
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 960    489    5000 11400   960    488    4990 10400   912    443    4990 11000   960    489    5000 11000  
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 960    488    4990 10200   960    488    4980 10800   960    488    5000 10300   960    490    5000 11100  
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 960    488    5000 12200   960    488    5000 9680   912    441    4990 9840   960    490    4990 10200  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 960    490    4980 10700   960    489    4980 11500   960    489    4980 11700   960    490    4980 11700  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 960    489    4990 10000   960    489    5000 11600   960    488    4980 10800   960    489    5000 11600  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 960    490    5000 11900   960    489    4980 10300   960    489    4990 9970   960    488    5000 12000  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 960    491    4990 10600   960    487    5000 10200   960    489    4990 9860   960    489    4980 11300  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 912    441    5000 10400   960    488    4990 9620   960    488    5010 10800   960    488    4990 10900  
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 960    488    4990 9770   960    488    5000 10700   960    488    5010 9330   960    488    4990 11200  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 960    489    5000 11300   960    489    4960 11400   960    490    5000 10900   960    489    4980 10400  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 960    489    4990 10800   960    489    5000 11600   960    488    4970 11600   960    487    4980 10400  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 960    488    5000 11000   960    489    4970 10100   960    490    4990 11200   960    488    4990 9940  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 960    488    4990 10600   960    489    4990 12000   960    488    5000 11100   960    489    4990 10200  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 30.4  6.26 1180 217   32.4  6.70 1080 221   30.6  6.33 1170 228   32.1  6.63 1280 238  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 30.4  6.29 1140 205   28.6  5.98 1120 200   28.8  6.00 1260 198   30.6  6.38 1130 227  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 28.4  5.94 1080 220   28.9  6.01 1160 238   29.1  6.08 1150 216   29.0  6.01 1210 205  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 30.2  6.29 1170 220   30.3  6.34 1260 191   29.2  6.06 1210 208   27.3  5.69 1110 194  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 64.4  17.8  2930 481   38.8  8.23 1530 265   62.9  17.4  2900 515   40.1  8.51 1500 307  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 19.5  4.28 698 131   18.1  4.07 733 120   19.3  4.18 665 132   19.9  4.30 679 135  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 198    83.3  4830 2020   101    35.6  4530 876   198    82.4  4850 1940   98.5  33.8  4730 898  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 103    34.6  4740 906   101    35.5  4580 799   91.8  30.1  4360 667   99.6  33.5  4360 900  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 42.8  9.26 1640 316   63.0  18.3  3040 554   38.7  8.29 1590 304   40.3  8.56 1500 269  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 98.5  35.2  4690 872   99.2  35.1  4770 952   98.1  33.5  4520 889   102    35.9  4800 1050  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 35.4  7.48 1300 245   37.5  7.77 1480 254   36.4  7.73 1480 249   36.9  7.81 1500 251  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 92.8  31.2  4570 802   91.6  30.5  4400 788   61.8  16.5  2870 524   99.3  34.5  4780 823  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 96.3  32.0  4540 848   176    72.2  4830 1850   94.9  31.4  4400 880   89.6  30.1  3930 730  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 43.8  9.96 1800 313   43.3  9.86 1780 288   42.0  9.95 1850 293   43.6  9.54 1840 310  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 91.6  30.5  4630 830   201    83.4  4830 1850   97.2  32.8  4420 797   190    79.0  4820 1900  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 45.5  9.85 1750 328   46.1  10.3  1820 360   63.8  18.9  3050 562   44.5  9.88 1760 334  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 196    81.1  4830 2140   98.6  33.8  4770 857   92.5  31.7  4700 823   98.2  33.7  4770 976  
eca-rers2012/Problem01_label15_false-unreach-call.c 960    836    5220 10700   960    831    5770 12400   961    844    5330 11400   961    831    5290 11800  
eca-rers2012/Problem01_label20_false-unreach-call.c 961    843    5330 13300   961    846    5320 12700   960    848    5210 12600   961    846    5330 11600  
eca-rers2012/Problem01_label21_false-unreach-call.c 960    859    5680 11600   960    862    5660 11900   961    846    5690 11800   960    836    5320 11500  
eca-rers2012/Problem01_label32_false-unreach-call.c 961    840    5290 12600   961    844    5300 11200   960    840    5260 11600   960    840    5320 11900  
eca-rers2012/Problem01_label33_false-unreach-call.c 961    853    5770 12000   960    859    5770 11200   960    856    5750 10300   960    851    5720 11700  
eca-rers2012/Problem01_label35_false-unreach-call.c 961    851    5760 11200   961    844    5750 12400   961    844    5790 12500   960    845    5750 11900  
eca-rers2012/Problem01_label37_false-unreach-call.c 961    848    5200 10700   961    840    5310 11600   960    835    5280 13200   960    836    5340 11200  
eca-rers2012/Problem01_label38_false-unreach-call.c 960    818    5400 10800   960    835    5370 12500   961    825    5400 12600   961    832    5330 11700  
eca-rers2012/Problem01_label44_false-unreach-call.c 961    837    5770 11200   960    843    5750 13400   961    844    5780 14200   960    849    5780 11900  
eca-rers2012/Problem01_label47_false-unreach-call.c 914    783    5340 12100   960    824    5340 12400   960    826    5330 11600   961    822    5330 12100  
eca-rers2012/Problem01_label50_false-unreach-call.c 961    849    5420 12400   961    847    5470 12300   961    847    5350 10500   961    849    5360 13200  
eca-rers2012/Problem01_label56_false-unreach-call.c 961    829    5600 11800   961    825    5620 11600   961    831    5320 10700   960    838    5430 10700  
eca-rers2012/Problem01_label57_false-unreach-call.c 961    847    5300 12900   961    866    5190 11000   960    863    5210 12400   918    810    5240 13500  
eca-rers2012/Problem02_label13_false-unreach-call.c 960    851    5280 13200   961    858    5250 11900   961    844    5380 12700   961    852    5280 11600  
eca-rers2012/Problem02_label16_false-unreach-call.c 961    837    5320 12700   961    844    5370 10700   960    845    5420 11600   960    851    5370 13300  
eca-rers2012/Problem02_label43_false-unreach-call.c 961    857    5220 13400   961    839    5360 13600   961    849    5260 11200   961    846    5300 10900  
eca-rers2012/Problem02_label44_false-unreach-call.c 961    839    5350 14200   960    838    5490 11700   961    837    5390 11300   960    852    5350 10900  
eca-rers2012/Problem02_label45_false-unreach-call.c 961    862    5500 12800   961    862    5520 11900   961    870    5490 11700   961    866    5500 13300  
eca-rers2012/Problem02_label50_false-unreach-call.c 961    847    5360 11200   960    842    5410 12900   960    848    5360 12000   960    849    5350 11600  
eca-rers2012/Problem02_label59_false-unreach-call.c 961    827    5700 11600   961    825    5800 11600   961    825    5790 12300   961    826    5800 12400  
eca-rers2012/Problem03_label09_false-unreach-call.c 961    654    5550 11900   961    671    5440 11800   961    524    5580 10400   960    770    5230 11600  
eca-rers2012/Problem03_label13_false-unreach-call.c 960    591    5550 10500   961    605    5540 12700   961    616    5550 10700   961    606    5530 11500  
eca-rers2012/Problem03_label26_false-unreach-call.c 960    641    5560 13300   961    671    5510 13000   961    462    5670 11200   960    771    5380 11600  
eca-rers2012/Problem03_label27_false-unreach-call.c 960    776    5210 11500   960    599    5570 11000   961    585    5700 10800   961    466    5660 9380  
eca-rers2012/Problem03_label28_false-unreach-call.c 960    733    5380 11900   960    532    5640 10900   960    630    5390 11200   960    642    5550 11300  
eca-rers2012/Problem03_label31_false-unreach-call.c 960    775    5370 13300   961    674    5530 10200   961    657    5590 12200   960    596    5550 10500  
eca-rers2012/Problem03_label35_false-unreach-call.c 960    763    5380 10900   961    712    5480 11500   960    693    5460 11500   960    603    5550 10600  
eca-rers2012/Problem03_label37_false-unreach-call.c 960    464    5630 11200   960    603    5560 10000   961    585    5550 10300   960    638    5430 11800  
eca-rers2012/Problem03_label39_false-unreach-call.c 961    667    5520 12700   960    597    5470 11200   961    627    5490 11100   961    676    5460 11700  
eca-rers2012/Problem03_label43_false-unreach-call.c 960    770    5380 12300   961    465    5640 9580   961    673    5420 12200   960    529    5640 10700  
eca-rers2012/Problem03_label45_false-unreach-call.c 961    553    5540 10300   960    600    5560 10400   961    609    5570 11900   960    599    5540 12000  
eca-rers2012/Problem03_label50_false-unreach-call.c 960    536    5510 10300   961    670    5490 11300   961    674    5400 10700   961    578    5690 12500  
eca-rers2012/Problem03_label52_false-unreach-call.c 961    661    5470 10800   961    738    5390 12800   960    643    5390 10400   961    657    5540 11100  
eca-rers2012/Problem04_label04_false-unreach-call.c 962    303    12600 7210   965    295    13200 7530   962    283    12000 7190   916    272    12400 6610  
eca-rers2012/Problem04_label06_false-unreach-call.c 968    296    12400 7370   960    281    12200 6710   916    281    12200 7210   961    289    12100 6910  
eca-rers2012/Problem04_label09_false-unreach-call.c 923    290    12000 7940   961    297    12200 6800   961    293    12100 8360   966    301    13300 7210  
eca-rers2012/Problem04_label11_false-unreach-call.c 961    307    12100 7370   961    322    11200 8580   964    286    11900 7270   968    296    12000 7190  
eca-rers2012/Problem04_label12_false-unreach-call.c 915    338    8380 7400   961    382    8250 8160   916    344    8460 8750   960    382    8270 9640  
eca-rers2012/Problem04_label13_false-unreach-call.c 961    307    12400 7200   963    302    12300 7780   961    292    12000 7980   968    293    13300 8020  
eca-rers2012/Problem04_label14_false-unreach-call.c 962    283    11800 6910   968    287    11900 7530   960    298    12000 6760   961    298    12300 7160  
eca-rers2012/Problem04_label15_false-unreach-call.c 962    297    11900 7370   961    293    12200 7870   962    299    12000 7810   961    294    12100 6900  
eca-rers2012/Problem04_label17_false-unreach-call.c 962    302    11900 7030   962    298    11800 7620   968    298    12300 7760   962    307    12200 8060  
eca-rers2012/Problem04_label18_false-unreach-call.c 923    273    11900 7150   961    280    12100 7420   963    291    12200 6980   961    289    12100 6310  
eca-rers2012/Problem04_label19_false-unreach-call.c 961    347    9050 8350   961    354    8910 8350   961    352    9000 8470   961    357    8980 9320  
eca-rers2012/Problem04_label26_false-unreach-call.c 918    294    11700 6880   916    280    11800 7070   962    276    12300 7420   968    293    12200 7330  
eca-rers2012/Problem04_label27_false-unreach-call.c 963    297    12100 7650   961    287    12100 7260   962    312    11600 7870   960    297    12100 6740  
eca-rers2012/Problem04_label31_false-unreach-call.c 961    282    12100 6890   962    301    12300 7580   961    307    12300 7050   952    280    12000 6850  
eca-rers2012/Problem04_label32_false-unreach-call.c 963    306    12300 8670   961    278    12200 7740   968    294    12900 7710   962    293    11800 6980  
eca-rers2012/Problem04_label35_false-unreach-call.c 962    263    12100 6150   962    283    12500 7780   961    287    12300 6780   966    271    12100 6680  
eca-rers2012/Problem04_label36_false-unreach-call.c 961    270    13000 6590   961    271    12100 6960   968    293    13600 7540   963    285    13100 6620  
eca-rers2012/Problem04_label38_false-unreach-call.c 918    271    11200 6720   968    292    12200 6900   920    288    11800 7360   920    279    11700 7660  
eca-rers2012/Problem04_label39_false-unreach-call.c 960    291    12100 7540   962    281    12300 7070   961    296    11700 7630   960    299    12900 6680  
eca-rers2012/Problem04_label40_false-unreach-call.c 960    291    12600 6910   968    293    13000 7010   963    284    12600 7320   961    294    12500 7370  
eca-rers2012/Problem04_label45_false-unreach-call.c 961    307    12600 8430   961    305    12600 7840   962    304    13000 8220   968    310    12400 7220  
eca-rers2012/Problem04_label52_false-unreach-call.c 961    291    12500 7910   961    297    13600 7110   960    311    12100 8100   963    293    12900 6820  
eca-rers2012/Problem04_label55_false-unreach-call.c 964    266    13200 7480   964    278    12600 7000   962    279    13300 7100   968    262    12700 6460  
eca-rers2012/Problem04_label58_false-unreach-call.c 961    277    12100 7420   964    280    13400 7970   965    294    13300 8390   968    289    13600 7430  
eca-rers2012/Problem05_label00_false-unreach-call.c 960    363    9780 7830   960    364    9700 9890   960    366    9420 7600   961    369    9550 8230  
eca-rers2012/Problem05_label01_false-unreach-call.c 960    270    12900 7030   962    283    13100 7100   968    281    12900 8170   961    272    12600 6640  
eca-rers2012/Problem05_label11_false-unreach-call.c 962    279    13300 7050   960    273    12900 6560   964    266    12800 6540   960    279    12600 7080  
eca-rers2012/Problem05_label13_false-unreach-call.c 961    289    12900 7300   962    289    13200 6570   960    271    12400 7370   967    279    12600 6300  
eca-rers2012/Problem05_label15_false-unreach-call.c 964    260    12900 6270   963    290    12300 6770   960    281    12700 7100   968    271    12400 7890  
eca-rers2012/Problem05_label18_false-unreach-call.c 962    268    12600 7160   968    266    13100 6690   965    264    13100 6730   968    261    12700 7130  
eca-rers2012/Problem05_label24_false-unreach-call.c 968    283    13200 6550   960    264    12300 6860   961    276    12500 6660   968    273    13400 6290  
eca-rers2012/Problem05_label26_false-unreach-call.c 968    275    12700 7050   962    275    12400 6410   968    282    12800 6870   963    284    13100 7760  
eca-rers2012/Problem05_label30_false-unreach-call.c 964    267    12400 7000   961    266    12500 6900   963    294    12400 7720   961    265    12200 6180  
eca-rers2012/Problem05_label32_false-unreach-call.c 960    281    12900 6730   960    279    12600 7150   960    268    12500 7240   965    272    12200 6650  
eca-rers2012/Problem05_label33_false-unreach-call.c 961    261    12800 6060   961    279    12500 6940   962    262    13100 7180   962    285    12900 7070  
eca-rers2012/Problem05_label36_false-unreach-call.c 962    268    12200 7530   961    278    12400 7500   963    276    12500 6750   968    282    12600 7310  
eca-rers2012/Problem05_label37_false-unreach-call.c 968    278    12500 6430   963    269    12200 6790   962    271    12500 6730   965    265    13000 7230  
eca-rers2012/Problem05_label38_false-unreach-call.c 968    269    13000 7290   962    279    12700 7420   960    277    13000 8040   961    276    12600 7150  
eca-rers2012/Problem05_label39_false-unreach-call.c 964    263    12700 6190   968    284    13200 7230   960    272    12900 6280   968    281    13300 6480  
eca-rers2012/Problem05_label40_false-unreach-call.c 968    269    13100 7460   962    272    12300 6490   961    284    13000 6920   961    279    13000 7160  
eca-rers2012/Problem05_label41_false-unreach-call.c 968    285    12600 6520   966    280    12700 6550   962    271    12600 6560   963    283    13000 6490  
eca-rers2012/Problem05_label44_false-unreach-call.c 961    270    12800 6880   961    279    12900 7450   968    288    13700 6370   968    267    12700 7040  
eca-rers2012/Problem05_label47_false-unreach-call.c 960    273    12800 6160   960    273    12800 7190   961    269    12900 7070   968    288    12900 6890  
eca-rers2012/Problem05_label48_false-unreach-call.c 960    286    12000 7410   968    289    12000 7170   968    301    12500 7020   960    286    12100 7230  
eca-rers2012/Problem05_label51_false-unreach-call.c 968    278    12900 6370   968    269    13000 6820   962    269    12500 6220   961    275    12500 5690  
eca-rers2012/Problem05_label55_false-unreach-call.c 961    263    12800 6730   960    265    12500 7110   968    276    12900 7540   961    283    13200 7100  
eca-rers2012/Problem05_label57_false-unreach-call.c 961    267    13000 7330   960    278    13100 6720   965    284    12800 6790   963    261    12600 6900  
eca-rers2012/Problem05_label58_false-unreach-call.c 962    288    12900 6710   967    263    12300 6890   961    277    12800 6420   963    283    12900 6580  
eca-rers2012/Problem06_label00_false-unreach-call.c 961    417    7190 9860   961    417    7310 9160   961    417    7300 9330   961    417    7260 9650  
eca-rers2012/Problem06_label01_false-unreach-call.c 961    418    7220 9560   961    419    7220 8370   961    419    7280 9770   961    418    7360 9670  
eca-rers2012/Problem06_label02_false-unreach-call.c 961    420    7210 9680   961    419    7240 9450   961    419    7280 9110   961    415    7340 10500  
eca-rers2012/Problem06_label04_false-unreach-call.c 961    420    7290 10400   914    374    7120 8470   961    418    7350 10300   961    419    7300 9240  
eca-rers2012/Problem06_label05_false-unreach-call.c 961    418    7220 9390   961    417    7200 9550   961    418    7140 9440   961    417    7190 9290  
eca-rers2012/Problem06_label09_false-unreach-call.c 961    418    7310 9760   961    418    7380 9080   961    419    7260 8930   961    416    7300 10500  
eca-rers2012/Problem06_label10_false-unreach-call.c 961    417    7300 9070   960    415    7450 9730   961    417    7280 8590   961    417    7270 10500  
eca-rers2012/Problem06_label11_false-unreach-call.c 961    414    7250 8970   961    417    7270 9000   961    418    7350 8950   960    412    7410 10000  
eca-rers2012/Problem06_label12_false-unreach-call.c 961    417    7360 9030   961    418    7270 8640   961    420    7240 9390   913    375    7090 8610  
eca-rers2012/Problem06_label15_false-unreach-call.c 961    417    7300 10100   961    417    7180 9220   961    417    7330 9590   961    418    7250 9130  
eca-rers2012/Problem06_label20_false-unreach-call.c 960    413    7370 10500   961    418    7350 8940   960    415    7280 9730   961    415    7260 10300  
eca-rers2012/Problem06_label21_false-unreach-call.c 961    419    7290 9440   961    416    7210 10300   961    419    7160 9010   961    419    7210 9780  
eca-rers2012/Problem06_label24_false-unreach-call.c 961    421    7230 9850   961    418    7300 9740   961    416    7280 9830   961    417    7210 9530  
eca-rers2012/Problem06_label27_false-unreach-call.c 960    414    7240 9130   961    418    7290 9250   961    419    7180 9490   961    417    7250 8900  
eca-rers2012/Problem06_label29_false-unreach-call.c 961    418    7200 9420   961    420    7300 9110   961    416    7310 9250   961    421    7250 10500  
eca-rers2012/Problem06_label33_false-unreach-call.c 961    418    7310 10600   961    419    7190 9060   961    416    7180 9990   961    419    7280 8620  
eca-rers2012/Problem06_label36_false-unreach-call.c 961    421    7260 10400   961    420    7220 9460   961    419    7270 9540   961    417    7340 9390  
eca-rers2012/Problem06_label37_false-unreach-call.c 961    419    7320 9600   961    419    7290 9470   961    420    7270 10100   961    419    7250 10000  
eca-rers2012/Problem06_label38_false-unreach-call.c 961    419    7190 9330   961    417    7330 10400   961    418    7300 9260   961    418    7270 10500  
eca-rers2012/Problem06_label44_false-unreach-call.c 961    416    7230 9440   961    419    7300 10600   961    417    7320 9420   961    417    7250 9010  
eca-rers2012/Problem06_label47_false-unreach-call.c 961    419    7260 9580   961    416    7370 8970   961    418    7290 9390   961    416    7330 10200  
eca-rers2012/Problem06_label48_false-unreach-call.c 961    417    7310 9640   961    417    7180 9020   961    418    7320 10200   961    417    7290 9070  
eca-rers2012/Problem06_label56_false-unreach-call.c 961    419    7280 9710   960    414    7360 9040   961    420    7250 10900   960    413    7450 9060  
eca-rers2012/Problem06_label58_false-unreach-call.c 961    420    7210 9710   961    417    7380 9750   961    419    7310 11100   961    417    7300 10800  
eca-rers2012/Problem06_label59_false-unreach-call.c 961    418    7330 8940   961    418    7240 10900   961    416    7360 9990   961    418    7280 9720  
eca-rers2012/Problem07_label03_false-unreach-call.c 962    329    8830 8960   961    351    9690 8300   961    329    8770 8530   962    325    8830 8300  
eca-rers2012/Problem07_label05_false-unreach-call.c 962    347    9020 7950   961    328    8980 9280   961    341    8840 7960   962    333    8880 8060  
eca-rers2012/Problem07_label06_false-unreach-call.c 961    330    8830 8110   960    343    9020 7900   962    346    9560 7930   961    349    8920 7690  
eca-rers2012/Problem07_label07_false-unreach-call.c 964    330    8780 8320   961    329    8870 8740   967    332    8830 7650   961    343    8840 8960  
eca-rers2012/Problem07_label09_false-unreach-call.c 962    333    8830 9010   962    345    9030 8390   967    322    8800 8360   968    332    8830 8340  
eca-rers2012/Problem07_label11_false-unreach-call.c 967    332    8850 7830   960    343    8980 7530   961    332    8860 8000   968    329    8910 7870  
eca-rers2012/Problem07_label15_false-unreach-call.c 960    342    8830 8760   961    348    8910 8940   961    352    8990 7890   960    342    8890 9170  
eca-rers2012/Problem07_label18_false-unreach-call.c 966    331    8810 7540   961    323    8820 7440   962    331    8790 7390   961    343    8940 8510  
eca-rers2012/Problem07_label19_false-unreach-call.c 961    337    9010 7740   965    330    8900 9450   960    337    8760 7310   968    346    9920 7650  
eca-rers2012/Problem07_label20_false-unreach-call.c 961    333    8740 8050   961    327    8870 8440   963    333    8820 8160   960    339    8830 9080  
eca-rers2012/Problem07_label23_false-unreach-call.c 915    323    8570 7650   960    341    8860 9260   964    329    8890 8250   960    337    8780 7480  
eca-rers2012/Problem07_label30_false-unreach-call.c 961    337    9010 8570   963    332    8820 9620   962    345    9520 8450   961    327    8850 9000  
eca-rers2012/Problem07_label31_false-unreach-call.c 961    342    8940 8260   961    347    9270 7630   918    322    8680 7790   963    328    8800 8460  
eca-rers2012/Problem07_label35_false-unreach-call.c 961    328    8860 8780   961    342    8770 8140   962    334    9310 8140   961    346    8770 7460  
eca-rers2012/Problem07_label36_false-unreach-call.c 968    347    8920 8710   964    331    8860 9230   961    345    9010 8570   960    347    8990 7940  
eca-rers2012/Problem07_label37_false-unreach-call.c 968    335    8710 8170   962    331    8810 8950   962    345    8930 9050   960    331    8820 8280  
eca-rers2012/Problem07_label39_false-unreach-call.c 960    330    8810 8100   919    320    8790 7670   962    336    8800 7660   960    344    8840 9760  
eca-rers2012/Problem07_label40_false-unreach-call.c 917    323    8750 7690   962    343    8910 8930   961    329    8890 7520   968    342    9870 9190  
eca-rers2012/Problem07_label42_false-unreach-call.c 962    346    9190 8470   961    344    9310 8630   960    335    9000 7980   965    331    8900 8360  
eca-rers2012/Problem07_label44_false-unreach-call.c 961    333    8830 8790   962    344    8980 8340   961    330    8900 7500   960    328    8530 8290  
eca-rers2012/Problem07_label46_false-unreach-call.c 961    331    8770 8110   961    330    8690 8270   968    332    8880 7550   962    347    8940 9270  
eca-rers2012/Problem07_label47_false-unreach-call.c 966    332    8750 7600   961    347    9210 7600   963    329    8800 7910   962    329    8780 7900  
eca-rers2012/Problem07_label48_false-unreach-call.c 961    350    9030 7890   918    326    8590 8650   961    331    8770 7550   960    343    9530 8810  
eca-rers2012/Problem07_label58_false-unreach-call.c 960    345    8930 8560   961    346    9380 8230   968    334    8860 7840   920    323    8550 8290  
eca-rers2012/Problem08_label01_false-unreach-call.c 960    372    8870 7960   961    376    8710 8050   960    368    8770 7500   960    370    8800 7420  
eca-rers2012/Problem08_label02_false-unreach-call.c 960    373    8860 8000   960    375    8910 8270   960    367    8840 7590   960    366    8790 7700  
eca-rers2012/Problem08_label04_false-unreach-call.c 961    350    8810 7730   968    358    8850 7880   961    365    8850 8150   960    369    8910 9080  
eca-rers2012/Problem08_label05_false-unreach-call.c 960    353    8830 7990   960    354    8790 8960   960    367    8810 7760   961    345    8760 7070  
eca-rers2012/Problem08_label06_false-unreach-call.c 961    368    8730 8200   960    365    8770 8550   961    356    8820 8390   961    351    8880 7630  
eca-rers2012/Problem08_label07_false-unreach-call.c 960    361    8780 7780   961    379    8860 7640   960    370    8780 7630   960    372    8800 7730  
eca-rers2012/Problem08_label10_false-unreach-call.c 966    361    8780 7690   960    365    8740 8170   960    367    8770 7730   960    367    8770 7320  
eca-rers2012/Problem08_label13_false-unreach-call.c 961    350    8800 8190   961    373    8760 7800   961    373    8810 8480   960    365    8790 8000  
eca-rers2012/Problem08_label15_false-unreach-call.c 968    366    8830 7400   960    365    8740 7810   960    366    8790 8870   960    363    8850 7170  
eca-rers2012/Problem08_label24_false-unreach-call.c 960    371    8800 7920   961    356    8810 7250   960    352    8780 8280   960    354    8810 7830  
eca-rers2012/Problem08_label25_false-unreach-call.c 961    372    8810 8940   960    366    8800 8110   960    364    8720 8070   961    377    8810 9180  
eca-rers2012/Problem08_label26_false-unreach-call.c 960    380    8790 8790   961    367    8790 8600   961    378    8770 8060   960    368    8800 9290  
eca-rers2012/Problem08_label28_false-unreach-call.c 961    366    8750 8220   961    354    8790 7960   960    371    8900 9070   961    352    8810 7910  
eca-rers2012/Problem08_label29_false-unreach-call.c 960    369    8740 7930   961    363    8720 8380   960    372    8840 8930   960    366    8760 9150  
eca-rers2012/Problem08_label34_false-unreach-call.c 960    370    8780 8910   960    356    8770 8370   960    368    8780 8810   960    373    8900 7960  
eca-rers2012/Problem08_label37_false-unreach-call.c 960    370    8780 8190   961    378    8810 8560   961    359    8780 7660   960    370    8750 8600  
eca-rers2012/Problem08_label43_false-unreach-call.c 960    367    8810 8170   960    364    8860 7600   961    350    8880 7770   960    365    8860 8390  
eca-rers2012/Problem08_label46_false-unreach-call.c 960    369    8720 8030   960    366    8760 7810   960    361    8740 7780   960    372    8780 8720  
eca-rers2012/Problem08_label48_false-unreach-call.c 960    367    8790 7800   960    366    8780 8980   961    378    8850 8480   961    370    8720 8080  
eca-rers2012/Problem08_label49_false-unreach-call.c 960    366    8710 8120   961    374    8810 8980   960    345    8830 7190   961    385    8840 8070  
eca-rers2012/Problem08_label50_false-unreach-call.c 961    363    8740 7990   960    363    8810 8240   961    368    8830 7900   960    353    8870 8000  
eca-rers2012/Problem08_label51_false-unreach-call.c 960    363    8830 9300   960    369    8720 7880   967    350    8720 7580   960    364    8820 7530  
eca-rers2012/Problem08_label55_false-unreach-call.c 960    367    8770 8110   960    357    8780 7870   961    354    8800 8730   960    368    8780 8200  
eca-rers2012/Problem08_label59_false-unreach-call.c 960    368    8800 7750   960    366    8790 8220   961    358    8790 8690   962    350    8700 8050  
eca-rers2012/Problem09_label02_false-unreach-call.c 968    276    11200 6330   962    270    11200 6770   968    269    11300 6200   961    264    10800 5960  
eca-rers2012/Problem09_label03_false-unreach-call.c 960    267    11200 6020   968    272    11100 6050   968    268    11200 5980   968    259    11100 6220  
eca-rers2012/Problem09_label06_false-unreach-call.c 968    267    11200 5920   968    267    11200 6040   962    277    11000 6300   968    258    11400 6050  
eca-rers2012/Problem09_label08_false-unreach-call.c 961    276    10900 6300   968    265    11100 5700   967    276    11300 5820   961    266    11100 5600  
eca-rers2012/Problem09_label10_false-unreach-call.c 968    269    11000 6090   960    249    11000 5790   968    279    11200 6410   965    267    11100 7370  
eca-rers2012/Problem09_label11_false-unreach-call.c 965    267    10900 5970   961    285    10900 6410   968    276    11100 6230   968    261    11300 5820  
eca-rers2012/Problem09_label15_false-unreach-call.c 968    267    10900 6270   968    270    11200 6350   968    269    11200 6910   961    274    11000 6550  
eca-rers2012/Problem09_label19_false-unreach-call.c 968    275    11000 5760   968    261    10800 5750   968    267    11400 6320   968    280    11000 6380  
eca-rers2012/Problem09_label20_false-unreach-call.c 968    262    11200 6560   968    271    11300 7170   962    271    11000 5930   968    266    11000 6090  
eca-rers2012/Problem09_label32_false-unreach-call.c 968    267    11100 6530   968    270    11200 5940   963    268    11100 5680   968    265    11100 6520  
eca-rers2012/Problem09_label34_false-unreach-call.c 963    280    11100 6140   968    271    11000 5730   963    256    10500 6420   961    263    10600 6020  
eca-rers2012/Problem09_label35_false-unreach-call.c 968    266    11400 6100   961    254    10800 6180   968    262    11000 6010   968    271    11200 6500  
eca-rers2012/Problem09_label36_false-unreach-call.c 961    286    10900 6220   968    265    11000 5950   964    253    11000 5750   968    268    11300 5830  
eca-rers2012/Problem09_label38_false-unreach-call.c 968    269    11000 6290   968    279    11200 6690   963    276    11100 6900   923    253    10700 6200  
eca-rers2012/Problem09_label41_false-unreach-call.c 961    279    11100 6640   962    272    10900 5940   968    268    11000 6750   968    263    11300 6830  
eca-rers2012/Problem09_label44_false-unreach-call.c 964    266    11000 6470   968    255    10900 6430   965    275    11200 6930   961    275    11000 6180  
eca-rers2012/Problem09_label46_false-unreach-call.c 961    260    11200 6320   968    269    11200 6370   922    258    10600 6030   968    265    10900 6430  
eca-rers2012/Problem09_label47_false-unreach-call.c 961    274    10800 6420   968    262    11200 6110   963    276    11000 6430   962    276    10900 6100  
eca-rers2012/Problem09_label51_false-unreach-call.c 962    269    11300 6390   968    275    11100 6110   965    272    11100 6170   961    275    11100 6040  
eca-rers2012/Problem09_label53_false-unreach-call.c 968    263    11100 6030   961    254    10800 5750   968    265    11100 5950   968    267    11100 6060  
eca-rers2012/Problem09_label54_false-unreach-call.c 960    281    10800 6500   963    266    11300 6100   968    276    11100 6380   968    265    11100 6300  
eca-rers2012/Problem09_label56_false-unreach-call.c 968    276    11200 6320   961    259    10900 6860   968    261    11300 5660   968    269    11000 6210  
eca-rers2012/Problem09_label57_false-unreach-call.c 965    260    10700 5940   963    277    11200 6850   964    258    10900 6330   963    279    10900 6780  
eca-rers2012/Problem09_label59_false-unreach-call.c 968    269    11200 6110   966    276    11000 6390   968    274    11200 6040   963    262    11000 6540  
eca-rers2012/Problem10_label12_false-unreach-call.c 960    277    12800 6870   962    270    12100 7490   962    286    13200 7250   960    278    12500 7000  
eca-rers2012/Problem10_label15_false-unreach-call.c 962    272    12400 7250   962    278    12500 6600   962    276    12800 6790   962    270    12500 6990  
eca-rers2012/Problem10_label24_false-unreach-call.c 960    288    13200 7140   962    284    12800 6470   962    275    12500 6850   961    274    12700 7050  
eca-rers2012/Problem10_label26_false-unreach-call.c 962    274    12400 7070   962    281    12700 6350   961    271    12400 7500   960    271    12500 6870  
eca-rers2012/Problem10_label28_false-unreach-call.c 960    270    12300 7060   963    275    12900 7650   961    282    12500 7150   960    280    12600 7780  
eca-rers2012/Problem10_label29_false-unreach-call.c 968    284    13100 7550   962    275    12500 6800   963    269    12200 6240   961    266    12500 6750  
eca-rers2012/Problem10_label41_false-unreach-call.c 962    280    12900 8040   961    274    12000 6840   968    275    12700 7450   961    282    12500 7190  
eca-rers2012/Problem10_label42_false-unreach-call.c 962    273    12300 7410   962    282    12800 6980   963    262    12100 5830   962    274    12800 8080  
eca-rers2012/Problem10_label46_false-unreach-call.c 961    268    12300 7440   961    282    12800 7320   961    270    12400 7830   962    264    12000 6330  
eca-rers2012/Problem10_label47_false-unreach-call.c 962    273    12900 6630   961    273    12500 6400   966    280    13500 7240   962    282    12800 6740  
eca-rers2012/Problem10_label48_false-unreach-call.c 963    272    12500 6930   962    266    12400 7150   962    275    12600 7400   968    271    12600 6700  
eca-rers2012/Problem10_label50_false-unreach-call.c 968    270    12300 6990   961    275    12500 7160   961    273    12600 7640   961    269    12600 7430  
eca-rers2012/Problem10_label55_false-unreach-call.c 961    275    12300 6720   961    272    12200 7580   961    291    13100 7620   962    279    12900 7180  
eca-rers2012/Problem10_label57_false-unreach-call.c 961    284    12800 7340   962    287    12900 8030   962    273    12200 6300   960    284    13300 7430  
eca-rers2012/Problem10_label58_false-unreach-call.c 963    278    12900 7110   963    281    12600 7290   961    273    12300 6360   962    276    12400 6900  
eca-rers2012/Problem11_label00_false-unreach-call.c 963    338    10100 7860   962    346    9750 8150   963    339    10100 8360   960    339    9930 7850  
eca-rers2012/Problem11_label08_false-unreach-call.c 968    353    10300 7610   968    349    9900 8510   961    348    10100 7060   941    343    10100 9380  
eca-rers2012/Problem11_label14_false-unreach-call.c 968    349    10100 7750   964    357    10200 9310   962    346    10000 8850   961    340    9940 8270  
eca-rers2012/Problem11_label15_false-unreach-call.c 968    359    10100 8720   968    364    9880 8710   961    363    10200 8530   968    361    10100 8270  
eca-rers2012/Problem11_label20_false-unreach-call.c 968    344    10200 8090   961    345    10100 8370   920    342    9630 7410   963    347    9840 8340  
eca-rers2012/Problem11_label29_false-unreach-call.c 962    340    9690 8960   968    357    10400 8490   966    354    10400 9490   960    348    9970 9110  
eca-rers2012/Problem11_label31_false-unreach-call.c 968    356    10300 8300   960    345    9970 9310   920    345    9320 8650   960    357    10100 9230  
eca-rers2012/Problem11_label34_false-unreach-call.c 968    359    10000 8890   961    350    9840 8790   966    353    10100 8500   965    340    9930 8910  
eca-rers2012/Problem11_label36_false-unreach-call.c 961    352    10100 7870   962    353    10500 8690   962    340    9800 7950   962    342    9690 9120  
eca-rers2012/Problem11_label39_false-unreach-call.c 963    347    9710 8420   963    359    10000 8640   960    344    9960 8590   968    360    10000 8090  
eca-rers2012/Problem11_label42_false-unreach-call.c 962    346    10100 8940   962    349    9860 7920   960    341    10200 8700   968    356    10200 8010  
eca-rers2012/Problem11_label43_false-unreach-call.c 960    338    9800 9070   964    359    10200 9600   918    344    9380 7810   962    357    10100 9200  
eca-rers2012/Problem11_label49_false-unreach-call.c 967    335    9840 9190   968    356    10500 8570   961    348    9880 8500   965    341    9950 8500  
eca-rers2012/Problem11_label51_false-unreach-call.c 968    347    9960 8070   968    356    9970 8690   962    353    10000 8160   960    342    10100 8890  
eca-rers2012/Problem11_label58_false-unreach-call.c 968    352    10200 7960   968    345    9990 8980   962    346    9810 7950   961    340    9930 8180  
eca-rers2012/Problem12_label00_false-unreach-call.c 961    454    6290 9480   961    453    6270 10700   960    449    6290 11200   961    451    6270 9560  
eca-rers2012/Problem12_label03_false-unreach-call.c 961    451    6400 10200   961    448    6340 10900   961    450    6270 9350   960    455    6380 11400  
eca-rers2012/Problem12_label06_false-unreach-call.c 960    450    6310 10800   961    450    6340 11700   961    452    6300 10400   960    449    6300 9950  
eca-rers2012/Problem12_label07_false-unreach-call.c 960    454    6400 10200   960    448    6340 10100   961    451    6340 10100   960    447    6370 11300  
eca-rers2012/Problem12_label08_false-unreach-call.c 961    452    6330 9970   961    451    6320 10500   961    451    6320 9040   960    449    6280 10800  
eca-rers2012/Problem12_label10_false-unreach-call.c 961    453    6330 9960   961    452    6350 9280   961    452    6250 8990   961    445    6270 9220  
eca-rers2012/Problem12_label13_false-unreach-call.c 960    449    6290 10600   961    451    6280 9470   960    448    6320 11300   961    449    6350 9770  
eca-rers2012/Problem12_label19_false-unreach-call.c 960    448    6320 10400   961    454    6290 10200   961    454    6250 10100   960    455    6310 9640  
eca-rers2012/Problem12_label20_false-unreach-call.c 961    453    6260 9050   961    451    6320 11000   961    451    6340 11300   961    452    6410 9550  
eca-rers2012/Problem12_label21_false-unreach-call.c 961    452    6280 10400   960    450    6300 9790   960    447    6320 9810   961    452    6290 9600  
eca-rers2012/Problem12_label25_false-unreach-call.c 961    449    6290 10400   961    453    6200 10900   961    438    6260 8840   960    439    6280 10000  
eca-rers2012/Problem12_label28_false-unreach-call.c 961    451    6360 9470   961    451    6270 9530   912    402    6310 10700   961    450    6330 11000  
eca-rers2012/Problem12_label30_false-unreach-call.c 961    452    6300 10000   960    456    6330 10500   961    451    6370 9460   960    451    6230 10500  
eca-rers2012/Problem12_label34_false-unreach-call.c 961    449    6320 11300   961    452    6330 10600   961    450    6400 10300   961    452    6310 9960  
eca-rers2012/Problem12_label35_false-unreach-call.c 960    450    6280 9860   961    452    6250 10300   961    448    6290 11400   960    448    6310 10700  
eca-rers2012/Problem12_label37_false-unreach-call.c 961    452    6320 9860   960    454    6330 9570   961    452    6340 9980   961    452    6270 11500  
eca-rers2012/Problem12_label38_false-unreach-call.c 960    446    6330 10900   960    448    6310 10000   960    447    6350 10600   961    445    6280 9730  
eca-rers2012/Problem12_label39_false-unreach-call.c 961    452    6270 10700   961    452    6290 11500   961    455    6290 10400   960    448    6270 9600  
eca-rers2012/Problem12_label40_false-unreach-call.c 961    455    6360 9700   961    453    6310 10400   961    451    6290 10200   961    448    6290 9370  
eca-rers2012/Problem12_label42_false-unreach-call.c 961    450    6340 11400   960    454    6310 9790   961    451    6300 10500   960    449    6360 11400  
eca-rers2012/Problem12_label48_false-unreach-call.c 960    448    6260 10000   960    448    6290 10500   961    451    6320 10400   913    404    6340 9630  
eca-rers2012/Problem12_label50_false-unreach-call.c 961    453    6310 9140   961    450    6300 9310   961    452    6290 10100   961    452    6330 11100  
eca-rers2012/Problem12_label51_false-unreach-call.c 961    451    6240 10500   961    452    6340 10100   961    453    6300 11400   960    449    6340 9430  
eca-rers2012/Problem12_label52_false-unreach-call.c 912    411    6260 10600   961    453    6280 11300   960    448    6310 10300   960    448    6350 9740  
eca-rers2012/Problem12_label55_false-unreach-call.c 961    449    6330 10100   960    448    6340 10000   961    452    6250 9620   961    451    6380 9420  
eca-rers2012/Problem13_label04_false-unreach-call.c 922    285    11100 6970   962    293    11500 7360   962    288    11000 6860   968    305    12000 8520  
eca-rers2012/Problem13_label06_false-unreach-call.c 968    295    12000 8450   963    302    11400 7470   961    297    11200 8210   968    289    11200 8000  
eca-rers2012/Problem13_label07_false-unreach-call.c 962    298    11300 8440   967    298    11100 7010   962    304    11400 8160   965    312    12000 7750  
eca-rers2012/Problem13_label11_false-unreach-call.c 968    304    11800 7430   967    293    11200 8500   961    299    11400 7030   968    300    11600 7230  
eca-rers2012/Problem13_label12_false-unreach-call.c 962    301    11200 6820   960    303    11300 8540   968    299    11400 6940   968    283    11200 8080  
eca-rers2012/Problem13_label16_false-unreach-call.c 968    304    11400 7950   962    290    11400 7720   963    304    11000 7740   922    286    10800 7760  
eca-rers2012/Problem13_label19_false-unreach-call.c 968    291    11800 7950   968    291    11000 7490   961    299    10900 8680   960    298    11300 7130  
eca-rers2012/Problem13_label21_false-unreach-call.c 961    297    11100 6730   961    294    11400 8230   962    303    11200 7930   961    296    11000 7660  
eca-rers2012/Problem13_label23_false-unreach-call.c 963    301    11000 7170   962    293    11400 7300   968    299    11700 7870   960    303    11000 7010  
eca-rers2012/Problem13_label24_false-unreach-call.c 963    299    11100 7670   968    292    11100 8030   960    307    11700 7080   962    303    11300 7620  
eca-rers2012/Problem13_label25_false-unreach-call.c 963    299    11100 7150   962    291    11100 7460   961    313    11200 7270   962    305    11300 7230  
eca-rers2012/Problem13_label28_false-unreach-call.c 961    301    11100 7410   961    298    11300 7440   962    286    11300 6980   962    290    11300 7150  
eca-rers2012/Problem13_label29_false-unreach-call.c 962    303    11100 7120   960    299    11000 7100   960    293    11300 7560   968    286    11300 7810  
eca-rers2012/Problem13_label30_false-unreach-call.c 960    286    11500 6820   968    295    11400 7740   962    299    11000 7420   960    301    11300 7420  
eca-rers2012/Problem13_label32_false-unreach-call.c 965    291    11300 7790   968    301    11100 7180   968    302    11400 8190   962    290    11300 8180  
eca-rers2012/Problem13_label35_false-unreach-call.c 960    297    11100 6840   960    302    11300 6920