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-67-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-22 12:01:44 CET
Run set z3-q_auflira z3-qf_auflira z3-qf_uflira z3-q_uflira
Options -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -predicateAnalysis-heaparray -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 12500M -stack 1000M -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 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -predicateAnalysis-heaparray -setprop solver.solver=z3 -heap 12500M -stack 1000M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -predicateAnalysis-PredAbsRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 13000M -stack 1000M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -predicateAnalysis-PredAbsRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 13000M -stack 1000M -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 901    891     1450 11200   901    891     1730 11800   901    891     738 12300   901    891     1530 11300  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    891     764 10600   901    890     715 12800   901    894     654 11000   901    891     744 11900  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    890     703 11100   901    891     717 12500   901    894     612 9480   901    891     710 10400  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    887     796 12400   901    887     781 11900   901    887     933 11600   3.55 1.36  349 31.3
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    886     752 12800   901    886     770 11200   901    881     961 10800   3.84 1.38  347 30.0
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    871     1490 10400   901    871     1520 11000   901    872     1280 10400   901    872     1180 10700  
array-examples/standard_copy1_false-unreach-call_ground.i 901    890     1600 10900   901    889     1080 9950   901    893     729 10500   901    890     1410 12600  
array-examples/standard_copy2_false-unreach-call_ground.i 901    890     1390 10900   901    890     1490 12800   901    894     675 12300   901    890     1580 12300  
array-examples/standard_copy3_false-unreach-call_ground.i 901    888     1160 13500   901    890     1340 12200   901    894     624 10400   901    890     1470 12200  
array-examples/standard_copy4_false-unreach-call_ground.i 901    889     1180 12600   901    889     1180 10500   901    894     630 12800   901    890     1280 12000  
array-examples/standard_copy5_false-unreach-call_ground.i 901    888     1220 10900   901    889     1180 11400   901    894     607 10200   901    889     1240 11800  
array-examples/standard_copy6_false-unreach-call_ground.i 901    890     2020 12100   901    890     1800 10800   901    894     603 9890   901    890     1830 9970  
array-examples/standard_copy7_false-unreach-call_ground.i 901    889     1920 11000   901    889     1740 12400   901    894     622 9450   901    889     1860 12700  
array-examples/standard_copy8_false-unreach-call_ground.i 901    889     1790 13900   901    887     1590 11100   901    894     635 12100   901    889     1840 10600  
array-examples/standard_copy9_false-unreach-call_ground.i 901    888     1690 10400   901    888     1640 11700   901    893     612 10500   901    889     1820 11300  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    891     1930 11800   901    890     1440 11300   901    893     662 12700   901    890     1700 11200  
array-examples/standard_init1_false-unreach-call_ground.i 901    887     787 11300   901    887     824 11400   901    893     669 11300   901    888     828 9790  
array-examples/standard_init2_false-unreach-call_ground.i 901    888     755 10900   901    887     778 12500   901    894     929 10900   901    889     814 11900  
array-examples/standard_init3_false-unreach-call_ground.i 901    887     780 12100   901    888     804 11000   901    894     665 12300   901    889     883 10500  
array-examples/standard_init4_false-unreach-call_ground.i 901    889     867 13600   901    888     794 12000   901    894     741 12500   901    889     825 10500  
array-examples/standard_init5_false-unreach-call_ground.i 901    888     815 11400   901    888     822 10500   901    894     734 10300   901    889     790 11000  
array-examples/standard_init6_false-unreach-call_ground.i 901    888     784 10200   901    888     764 12100   901    894     665 10600   901    889     909 11200  
array-examples/standard_init7_false-unreach-call_ground.i 901    888     784 11200   901    888     802 11100   901    894     1050 11200   901    889     786 10600  
array-examples/standard_init8_false-unreach-call_ground.i 901    887     790 11200   901    888     775 11300   901    893     739 12300   901    889     780 12500  
array-examples/standard_init9_false-unreach-call_ground.i 901    888     803 10900   901    888     798 13100   901    893     710 10400   901    889     771 11100  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    890     809 10800   901    889     846 10800   901    890     658 10400   901    889     769 10500  
array-examples/standard_partition_false-unreach-call_ground.i 901    892     1350 10900   901    891     1270 11900   901    894     660 10800   901    891     1280 11100  
array-examples/standard_running_false-unreach-call.i 901    891     1400 11900   901    891     1440 11100   901    894     813 12300   901    890     860 11400  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    889     1450 10400   901    890     1450 13400   901    889     904 10600   901    889     1070 12600  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    890     1040 11800   901    891     1620 13800   901    891     649 10400   901    891     1330 11800  
array-examples/relax_true-unreach-call.i 4.29 1.76  297 35.9 4.31 1.75  300 38.9 4.73 1.95  305 38.1 4.66 1.89  301 35.8
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    890     810 13400   901    889     760 11000   901    891     755 9770   901    889     742 11800  
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    890     1180 11000   901    890     964 11100   901    894     658 10900   901    891     964 11000  
array-examples/sanfoundry_24_true-unreach-call.i 3.86 1.47  360 29.7 3.79 1.43  353 27.4 2.81 1.14  299 22.8 3.84 1.43  358 32.9
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    889     803 13400   901    889     787 11700   901    890     744 11400   901    889     736 13100  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.15 .941 217 21.1 2.31 1.02  238 23.5 2.18 .950 213 21.6 2.20 .941 217 22.3
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    891     726 11400   901    891     759 10400   901    894     825 11500   901    891     698 11900  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    886     757 9880   901    886     763 14000   901    883     1160 9730   3.63 1.36  350 30.0
array-examples/standard_compareModified_true-unreach-call_ground.i 901    891     1340 11500   901    890     1290 12600   901    893     732 10800   901    891     1500 10800  
array-examples/standard_compare_true-unreach-call_ground.i 901    890     1550 11000   901    890     1330 12600   901    889     664 11200   901    890     1330 10700  
array-examples/standard_copy1_true-unreach-call_ground.i 901    890     1380 12600   901    890     1650 10500   901    894     697 12200   901    891     1710 8720  
array-examples/standard_copy2_true-unreach-call_ground.i 901    890     1540 10300   901    890     1460 12600   901    895     703 12900   901    891     1570 12200  
array-examples/standard_copy3_true-unreach-call_ground.i 901    888     1150 11700   901    888     1140 11300   901    894     640 9630   901    889     1250 12300  
array-examples/standard_copy4_true-unreach-call_ground.i 901    889     1180 9820   901    889     1270 11500   901    893     611 12900   901    889     1240 14000  
array-examples/standard_copy5_true-unreach-call_ground.i 901    889     1230 11300   901    888     1170 11500   901    894     701 10000   901    890     1240 10900  
array-examples/standard_copy6_true-unreach-call_ground.i 901    889     1680 11400   901    889     1670 10500   901    894     615 10300   901    890     1990 11400  
array-examples/standard_copy7_true-unreach-call_ground.i 901    889     1790 12900   901    890     1850 10800   901    894     602 11900   901    889     1820 11800  
array-examples/standard_copy8_true-unreach-call_ground.i 901    888     1680 11500   901    889     1660 12400   901    894     612 11500   901    888     1730 11400  
array-examples/standard_copy9_true-unreach-call_ground.i 901    888     1690 12600   901    889     1750 11200   901    894     624 12200   901    889     1750 10600  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    891     1360 11200   901    890     1300 12400   901    893     870 13800   901    890     1360 11300  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    890     1420 11300   901    890     1410 13000   901    894     668 10500   901    890     1270 10400  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    890     1460 11500   901    890     1360 10900   901    894     701 10500   901    891     1380 9720  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    890     1350 11600   901    890     1350 10400   901    894     654 12200   901    891     1430 11200  
array-examples/standard_find_true-unreach-call_ground.i 901    888     817 11300   901    888     848 11900   901    894     735 11100   901    889     851 10200  
array-examples/standard_init1_true-unreach-call_ground.i 901    887     779 11000   901    887     759 11400   901    893     823 12400   901    889     819 12200  
array-examples/standard_init2_true-unreach-call_ground.i 901    888     785 12100   901    888     757 11800   901    894     744 12000   901    889     810 13700  
array-examples/standard_init3_true-unreach-call_ground.i 901    888     771 10400   901    887     797 10200   901    893     744 10300   901    889     816 11800  
array-examples/standard_init4_true-unreach-call_ground.i 901    887     796 12200   901    888     764 11100   901    893     653 12500   901    889     838 12700  
array-examples/standard_init5_true-unreach-call_ground.i 901    888     778 11800   901    888     774 11800   901    893     729 11700   901    889     816 10300  
array-examples/standard_init6_true-unreach-call_ground.i 901    888     774 11900   901    887     791 11600   901    894     688 10800   901    889     864 11300  
array-examples/standard_init7_true-unreach-call_ground.i 901    888     823 10200   901    888     751 11400   901    893     676 10200   901    889     780 11200  
array-examples/standard_init8_true-unreach-call_ground.i 901    888     825 12400   901    888     815 10100   901    893     641 10900   901    888     806 10700  
array-examples/standard_init9_true-unreach-call_ground.i 901    887     834 10400   901    887     805 10700   901    893     757 10500   901    889     815 11800  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    889     762 13700   901    889     804 11800   901    890     746 11300   901    889     745 11800  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    889     762 12600   901    889     747 11600   901    890     775 11100   901    889     763 11000  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    890     992 12300   901    890     993 11200   901    893     718 10400   901    891     1380 10900  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    891     1210 11200   901    891     1240 11000   901    894     704 10000   901    891     1360 11000  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    891     1350 9800   901    890     1290 12100   901    894     631 10700   901    891     1130 9850  
array-examples/standard_partition_true-unreach-call_ground.i 901    891     1410 10700   901    891     1240 12800   901    894     710 11300   901    891     1270 10400  
array-examples/standard_password_true-unreach-call_ground.i 901    891     1710 11800   901    891     2560 11400   901    889     695 10200   901    890     1250 13000  
array-examples/standard_reverse_true-unreach-call_ground.i 901    890     1530 10900   901    891     1490 11000   901    893     870 11300   901    891     1730 11400  
array-examples/standard_running_true-unreach-call.i 901    890     1310 11100   901    890     1380 11300   901    894     690 11800   901    891     1340 12400  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 3.82 1.43  338 33.1 3.90 1.44  341 32.9 2.82 1.20  282 27.2 3.86 1.46  349 31.4
array-examples/standard_seq_init_true-unreach-call_ground.i 901    890     799 10900   901    889     788 11000   901    894     700 10600   901    891     896 11100  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    889     1170 12700   901    890     1490 10400   901    889     999 12800   901    889     1480 11200  
array-examples/standard_strcpy_original_true-unreach-call.i 901    891     1410 12300   901    890     1350 13200   901    894     708 12500   901    891     1450 11300  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    890     1400 12000   901    890     1670 12600   901    894     688 10400   901    891     1450 10600  
array-examples/standard_two_index_01_true-unreach-call.i 901    889     816 11400   901    889     819 11600   901    894     674 9650   901    891     1040 9680  
array-examples/standard_two_index_02_true-unreach-call.i 901    890     1370 11300   901    890     1410 12800   901    894     636 12300   901    891     1530 8750  
array-examples/standard_two_index_03_true-unreach-call.i 901    889     817 10700   901    889     846 11300   901    894     701 13100   912    902     921 12400  
array-examples/standard_two_index_04_true-unreach-call.i 901    890     1500 10200   901    891     1410 11400   901    894     670 9610   901    891     1480 12600  
array-examples/standard_two_index_05_true-unreach-call.i 901    890     1540 11700   901    890     1380 10600   901    894     696 12700   901    891     1660 10500  
array-examples/standard_two_index_06_true-unreach-call.i 901    889     804 12400   901    889     814 11700   901    894     700 10000   901    890     903 11200  
array-examples/standard_two_index_07_true-unreach-call.i 901    891     1460 12000   901    891     1470 12600   901    894     770 11000   912    903     1590 10600  
array-examples/standard_two_index_08_true-unreach-call.i 901    890     1280 11200   901    891     1500 12800   901    894     720 11100   901    891     1660 11300  
array-examples/standard_two_index_09_true-unreach-call.i 901    890     1380 10400   901    890     1400 10600   901    894     675 10800   901    891     1670 11200  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    892     751 9720   901    893     746 11300   901    893     695 12100   901    893     744 9970  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    890     1420 10800   901    890     1380 10400   901    894     783 12500   901    891     1800 10700  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    888     791 9800   901    888     754 11900   901    893     674 13000   901    889     821 13700  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 4.06 1.40  332 31.0 265    260     15000 1920   901    894     698 13000   901    889     1330 12600  
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    892     1320 11000   901    892     1300 12100   901    894     600 10000   901    892     1190 10900  
array-industry-pattern/array_range_init_false-unreach-call.i 3.80 1.31  326 31.2 257    253     15000 1890   901    893     781 11600   901    883     1610 9930  
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    893     1210 11300   901    892     1170 12600   901    894     624 10500   901    893     1150 11000  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    890     692 11200   901    890     725 12700   901    890     689 12500   901    890     822 11000  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    891     1690 10400   901    891     1360 10200   901    894     653 12000   901    891     1370 11200  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    890     1400 10200   901    889     1100 10300   901    894     725 11000   901    890     1540 13600  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 4.65 1.61  365 32.8 273    268     15000 1750   901    893     668 10500   901    886     1070 11300  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 3.59 1.26  325 27.8 259    254     15000 2060   901    894     686 10300   901    891     1410 11400  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    890     1330 10500   901    890     1190 11200   901    894     678 12000   901    891     1390 13000  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 3.58 1.25  325 32.3 274    269     15000 1650   901    894     626 9440   901    892     1430 11600  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 5.44 1.65  490 40.6 912    903     2250 3940   901    893     755 10800   901    890     2040 11400  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 4.63 1.51  477 37.4 912    906     2260 3700   901    894     667 9970   901    887     2030 11000  
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 3.50 1.24  330 27.7 282    278     15000 1520   901    893     699 12100   901    890     1350 11400  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 3.77 1.30  323 29.0 268    263     15000 1900   901    893     669 9570   901    892     1310 10700  
array-industry-pattern/array_shadowinit_true-unreach-call.i 911    903     822 12800   901    893     884 11700   901    892     984 13300   901    894     891 11100  
reducercommutativity/rangesum05_false-unreach-call.i 664    660     299 8210   690    687     298 7890   6.15 3.17  302 55.9 2.77 1.08  287 21.1
reducercommutativity/rangesum10_false-unreach-call.i 339    335     318 4210   494    490     315 6450   366    362     317 5000   2.77 1.15  289 21.6
reducercommutativity/rangesum20_false-unreach-call.i 901    897     318 11700   901    897     318 12300   904    898     458 11200   2.74 1.11  288 20.9
reducercommutativity/rangesum40_false-unreach-call.i 919    913     508 11200   901    898     305 11100   901    897     311 12900   2.72 1.07  286 22.0
reducercommutativity/rangesum60_false-unreach-call.i 960    956     391 11800   702    695     571 8620   901    897     304 11100   2.71 1.08  290 24.4
reducercommutativity/rangesum_false-unreach-call.i 901    897     317 12400   901    897     315 11900   901    898     298 11400   2.74 1.08  289 23.1
reducercommutativity/avg05_true-unreach-call.i 901    897     1110 8720   219    216     796 2000   901    897     530 11400   78.4  75.1   345 957  
reducercommutativity/avg10_true-unreach-call.i 901    897     382 12100   901    897     380 12600   901    897     511 10600   901    897     380 12200  
reducercommutativity/avg20_true-unreach-call.i 901    894     493 11900   901    894     493 11200   901    894     532 10800   901    894     497 11400  
reducercommutativity/avg40_true-unreach-call.i 901    891     900 12900   901    892     802 10900   266    256     883 3390   901    892     757 12400  
reducercommutativity/avg60_true-unreach-call.i 901    890     871 12900   901    889     882 11100   901    890     704 10100   901    890     868 11100  
reducercommutativity/avg_true-unreach-call.i 205    202     306 2430   901    898     325 11400   3.92 1.79  286 34.7 18.0  15.7   299 230  
reducercommutativity/max05_true-unreach-call_true-termination.i 901    896     706 8450   901    895     708 9140   901    896     709 10000   901    895     746 11600  
reducercommutativity/max10_true-unreach-call_true-termination.i 901    897     393 10700   901    896     398 11400   911    904     959 13000   901    897     448 10500  
reducercommutativity/max20_true-unreach-call.i 901    894     533 12200   901    893     531 12500   901    893     541 12000   901    893     553 10800  
reducercommutativity/max40_true-unreach-call.i 901    891     947 11800   901    892     920 12000   268    258     735 2980   901    891     1380 10900  
reducercommutativity/max60_true-unreach-call.i 901    889     966 10900   901    889     908 13100   901    890     692 11600   901    889     1010 11600  
reducercommutativity/max_true-unreach-call.i 901    895     896 12900   901    894     847 10700   901    896     714 9270   901    895     858 10700  
reducercommutativity/sep05_true-unreach-call.i 427    423     779 3820   180    176     536 2090   901    896     652 9690   116    112     464 1470  
reducercommutativity/sep10_true-unreach-call.i 901    895     456 10600   901    895     446 12900   884    879     542 11900   901    896     417 12500  
reducercommutativity/sep20_true-unreach-call.i 912    904     1870 7460   912    904     2230 6740   912    904     2140 7490   912    905     2190 8200  
reducercommutativity/sep40_true-unreach-call.i 908    898     2010 8460   910    899     2040 9810   312    302     695 4500   910    900     2150 8880  
reducercommutativity/sep60_true-unreach-call.i 904    893     1460 11400   904    893     1680 9570   901    890     895 12400   903    891     1450 11500  
reducercommutativity/sep_true-unreach-call.i 901    896     729 8760   901    896     697 10000   901    896     647 8780   6.78 4.53  290 67.3
reducercommutativity/sum05_true-unreach-call_true-termination.i 169    165     502 1750   150    146     462 1660   901    897     571 7360   230    226     333 3190  
reducercommutativity/sum10_true-unreach-call.i 901    897     386 11700   901    897     387 11000   901    896     708 9470   901    897     386 11200  
reducercommutativity/sum20_true-unreach-call.i 901    894     493 11500   901    894     489 11300   901    894     529 13500   901    894     486 12700  
reducercommutativity/sum40_true-unreach-call.i 901    892     766 11900   901    892     846 10800   262    253     721 3060   901    891     854 12400  
reducercommutativity/sum60_true-unreach-call.i 901    890     966 14000   901    890     867 10500   901    890     695 13300   901    889     812 11500  
reducercommutativity/sum_true-unreach-call.i 110    106     465 1360   111    107     478 1500   901    896     672 7760   158    154     473 1890  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 4.09 1.62  293 40.1 3.93 1.62  293 33.6 3.88 1.62  289 31.7 4.14 1.71  292 32.6
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    898     306 11900   901    899     297 10400   901    898     301 9800   901    898     300 11600  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 4.03 1.62  291 38.4 3.95 1.63  294 38.7 4.14 1.65  293 41.4 4.13 1.65  288 34.7
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 4.02 1.62  297 36.4 4.05 1.71  296 35.0 3.97 1.73  289 35.4 3.94 1.63  290 35.2
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 901    900     392 9960   901    899     383 11300   901    899     379 11600   901    899     384 11100  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 2.68 1.17  279 23.4 2.67 1.10  283 26.0 2.62 1.11  285 23.7 2.77 1.15  285 23.7
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 2.54 1.06  289 25.3 2.49 1.04  287 21.9 2.48 1.08  283 23.0 2.41 1.05  288 21.2
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 6.37 3.14  306 65.4 6.36 3.16  310 60.4 6.60 3.21  313 65.2 6.19 3.12  306 64.2
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 4.95 2.29  293 47.5 5.24 2.29  312 51.6 4.92 2.27  295 47.4 5.02 2.29  297 46.0
bitvector/jain_1_true-unreach-call_true-no-overflow.i 2.62 1.10  283 24.2 2.46 1.05  277 21.6 2.47 1.05  279 22.1 2.52 1.08  276 23.6
bitvector/jain_2_true-unreach-call_true-no-overflow.i 2.57 1.11  281 22.1 2.56 1.11  280 22.5 2.52 1.08  275 22.2 2.53 1.08  282 22.6
bitvector/jain_4_true-unreach-call_true-no-overflow.i 2.62 1.13  282 22.3 2.65 1.14  282 25.1 2.68 1.15  279 26.2 2.67 1.14  277 27.0
bitvector/jain_5_true-unreach-call_true-no-overflow.i 2.68 1.20  289 22.1 2.71 1.16  282 24.7 2.85 1.20  276 26.3 2.77 1.20  274 23.3
bitvector/jain_6_true-unreach-call_true-no-overflow.i 2.83 1.18  282 21.6 2.70 1.13  280 22.6 2.77 1.18  277 27.0 2.63 1.13  278 24.7
bitvector/jain_7_true-unreach-call_true-no-overflow.i 912    910     303 10300   905    903     320 11500   905    903     310 10600   905    903     307 12100  
bitvector/modulus_true-unreach-call_true-no-overflow.i 2.53 1.03  283 23.0 2.47 1.02  279 24.4 2.54 1.03  280 24.6 2.52 1.04  284 19.5
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 3.19 1.44  288 31.7 3.16 1.42  282 31.0 3.22 1.44  286 26.6 3.24 1.43  278 30.2
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 3.19 1.41  279 31.2 3.23 1.42  280 30.6 3.40 1.44  289 28.7 3.47 1.47  283 30.9
bitvector/parity_true-unreach-call_true-no-overflow.i 2.36 1.01  278 21.2 2.48 1.03  276 20.7 2.48 1.05  284 19.8 2.52 1.04  280 23.7
bitvector/sum02_true-unreach-call_true-no-overflow.i 2.74 1.13  298 25.5 2.65 1.11  282 22.1 2.69 1.14  291 25.5 2.68 1.11  289 23.0
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 6.86 2.70  326 54.0 6.61 2.54  317 62.6 6.70 2.56  329 52.0 6.74 2.54  320 54.8
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 12.9  7.32  437 131   13.7  7.34  447 150   13.6  7.31  446 129   13.7  7.34  448 155  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 4.28 1.66  296 37.5 4.14 1.54  298 34.6 4.16 1.55  296 35.5 4.14 1.61  289 38.6
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 5.30 2.03  309 47.8 5.18 1.98  319 50.6 5.42 2.00  313 41.1 5.57 2.19  308 42.6
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 9.67 5.58  353 99.1 9.81 5.59  355 98.1 9.85 5.54  348 101   9.83 5.55  351 106  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    895     867 7940   901    893     865 8180   901    894     859 9890   901    892     900 8270  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    894     798 9970   901    894     771 9460   901    894     772 10900   901    894     761 10200  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 12.5  4.95  466 115   13.0  4.93  506 110   10.8  4.92  468 107   12.9  5.07  499 113  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 28.0  20.8   503 333   27.2  20.5   490 273   28.1  20.5   534 285   27.9  20.5   512 331  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 127    118     876 1510   127    117     863 1440   127    118     882 1490   129    119     823 1700  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 21.2  13.3   503 210   22.5  13.7   519 225   20.6  13.2   493 210   23.7  13.3   526 243  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 19.3  8.32  517 164   16.8  8.36  500 127   15.7  8.30  501 156   18.1  8.24  491 155  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 3.59 1.31  306 31.3 3.22 1.26  288 29.2 3.37 1.28  287 32.9 3.51 1.37  283 33.5
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 4.58 1.65  297 35.1 4.86 1.74  298 43.5 4.58 1.58  295 42.0 4.61 1.55  292 37.7
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 4.70 1.58  294 34.9 4.56 1.57  295 35.6 4.80 1.60  292 40.5 4.73 1.56  299 39.3
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 3.10 1.21  282 28.8 3.06 1.28  284 24.5 3.13 1.24  289 29.8 3.01 1.21  288 27.7
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 4.42 1.57  296 33.2 4.59 1.58  296 36.5 4.79 1.65  303 37.1 4.69 1.56  295 37.8
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.31 .973 275 20.6 2.45 .986 282 24.1 2.29 .985 275 21.5 2.28 .982 278 20.4
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.12 .934 237 21.4 2.17 .937 218 18.0 2.22 .959 224 18.3 2.25 .966 221 19.4
bitvector-regression/integerpromotion_false-unreach-call.c 2.10 .948 220 17.8 2.08 .945 220 19.8 2.15 .964 217 18.7 2.12 .931 219 17.2
bitvector-regression/recHanoi03_false-unreach-call.c 2.11 .912 215 19.5 2.17 .943 221 18.5 2.19 .909 220 19.6 2.19 .935 213 18.5
bitvector-regression/signextension2_false-unreach-call.c 2.25 1.01  218 18.9 2.11 .955 218 18.4 2.15 .963 224 20.6 2.25 .993 239 18.4
bitvector-regression/signextension_false-unreach-call.c 2.17 .967 221 18.9 2.27 1.05  218 20.4 2.17 .970 221 20.7 2.26 .980 221 20.1
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.04 .926 218 17.3 2.27 .942 218 20.5 2.14 .955 220 20.6 2.24 1.03  222 22.3
bitvector-regression/integerpromotion_true-unreach-call.c 2.19 .967 218 20.2 2.12 .935 220 19.3 2.07 .965 217 18.9 2.15 .959 219 21.5
bitvector-regression/signextension2_true-unreach-call.c 2.14 .949 236 20.0 2.24 .971 219 19.4 2.17 .965 219 21.6 2.40 1.02  224 19.9
bitvector-regression/signextension_true-unreach-call.c 2.21 .979 218 18.9 2.11 .952 216 18.2 2.22 .990 221 20.8 2.24 .975 224 21.8
bitvector-loops/diamond_false-unreach-call2.i 4.06 1.90  293 36.4 4.13 1.87  293 39.6 4.16 1.90  292 37.8 4.01 1.83  288 38.5
bitvector-loops/overflow_false-unreach-call1.i 2.40 1.02  282 19.8 2.47 1.04  281 23.8 2.39 1.01  278 21.4 2.43 1.02  276 22.8
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 3.48 1.56  287 35.1 3.64 1.65  287 34.6 3.77 1.77  284 34.9 3.72 1.60  285 33.1
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.95 2.87  326 61.3 6.80 2.71  327 59.5 6.95 2.81  324 66.2 6.44 2.71  323 58.9
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.16 2.01  311 49.8 4.99 1.97  313 43.8 4.82 1.94  310 42.2 4.89 1.99  304 41.2
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.72 2.32  310 46.4 5.76 2.32  312 52.4 5.64 2.28  314 52.9 5.71 2.24  310 53.4
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.12 1.59  300 36.9 4.20 1.60  299 33.1 4.12 1.57  302 33.3 4.05 1.59  297 35.1
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.88 3.17  320 61.6 7.05 3.14  322 63.5 6.87 3.13  318 68.9 6.87 3.16  319 67.9
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.58 2.35  313 47.5 5.63 2.33  309 55.9 5.42 2.32  306 48.5 5.44 2.34  306 48.2
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.79 1.93  308 46.6 4.94 1.94  308 40.6 4.87 1.95  305 43.7 4.71 1.98  302 41.4
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.56 2.22  313 49.4 5.65 2.23  311 49.2 5.39 2.20  310 46.1 5.49 2.24  312 46.0
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.22 1.33  289 24.9 3.42 1.39  285 26.7 3.11 1.31  279 29.1 3.13 1.34  286 28.0
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.97 1.56  296 31.5 3.86 1.55  295 33.2 3.84 1.54  299 34.4 3.91 1.54  294 36.5
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 5.44 2.17  313 49.4 5.87 2.39  313 44.3 5.62 2.30  314 49.0 5.67 2.20  310 51.2
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 5.39 1.97  311 42.7 5.46 2.07  309 44.3 5.31 2.04  304 47.9 5.40 2.02  308 40.9
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 5.63 2.14  315 49.7 5.47 1.98  313 49.2 5.78 2.01  307 49.8 5.82 2.24  314 49.7
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 5.81 2.17  310 49.1 5.62 2.04  313 50.9 5.55 2.07  308 48.7 5.85 2.15  313 45.7
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 3.05 1.26  289 26.9 3.21 1.26  287 29.4 3.20 1.26  287 26.6 3.20 1.27  285 27.5
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 43.5  36.2   624 598   44.1  36.4   609 450   44.0  36.4   620 483   44.3  36.5   592 578  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 6.01 2.24  317 49.5 6.11 2.28  319 47.8 5.80 2.27  318 46.9 6.25 2.44  320 49.3
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 11.7  4.44  457 107   10.1  4.39  404 95.1 11.6  4.42  428 92.4 11.4  4.41  429 101  
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 4.16 1.54  296 37.2 4.16 1.55  300 40.2 4.26 1.53  302 41.4 4.27 1.58  294 40.9
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 4.31 1.65  302 34.4 4.06 1.53  302 34.9 3.98 1.56  292 34.3 4.09 1.53  303 37.2
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 4.11 1.51  306 34.5 3.97 1.58  296 36.7 4.24 1.59  300 35.7 4.12 1.52  299 31.6
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 2.93 1.18  287 29.8 3.00 1.21  285 25.9 2.98 1.19  287 25.8 2.96 1.18  289 23.9
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 30.2  22.1   517 368   29.1  22.3   524 322   28.9  22.2   533 299   30.4  22.3   519 355  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 8.21 3.63  369 71.2 8.42 3.70  363 77.7 8.33 3.65  348 84.7 8.51 3.68  359 77.4
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 30.8  22.6   525 349   28.5  22.1   524 328   29.9  22.2   526 307   29.3  22.6   515 299  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 9.85 4.05  366 92.4 9.71 4.06  388 94.1 9.57 4.12  379 89.0 9.48 4.03  381 88.2
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 31.9  22.3   644 304   30.9  22.1   640 386   31.6  22.2   634 322   32.0  22.3   662 347  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 11.6  4.73  451 97.5 12.3  4.92  433 111   11.6  4.81  451 103   11.5  4.66  443 97.7
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.08 1.23  281 27.5 3.23 1.29  290 26.2 3.07 1.25  283 28.1 3.18 1.28  292 30.1
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 14.5  5.71  516 142   14.2  5.74  507 118   13.7  5.82  519 120   14.5  5.85  509 124  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 21.5  13.5   626 232   21.4  13.7   624 236   22.5  13.7   634 217   22.5  13.5   636 219  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 14.2  6.82  468 125   15.7  6.68  510 147   14.5  6.75  506 144   15.3  6.62  504 134  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 21.7  13.1   540 215   20.4  13.3   506 234   22.5  13.7   540 253   21.7  13.2   536 222  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 124    116     639 1590   127    117     666 1460   126    116     676 1560   125    116     652 1690  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 14.9  6.23  503 117   12.9  6.33  479 120   15.5  6.26  505 148   13.2  6.17  483 121  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.67 1.11  280 24.3 2.73 1.14  285 24.2 2.81 1.12  281 26.8 2.80 1.15  284 22.2
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.79 1.16  283 25.0 2.82 1.16  284 24.1 2.80 1.17  282 23.3 2.88 1.16  279 24.1
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 2.54 1.08  280 22.9 2.74 1.08  284 23.9 2.71 1.08  275 20.4 2.69 1.07  281 24.6
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 2.61 1.07  284 23.3 2.67 1.10  282 25.5 2.69 1.10  278 23.6 2.59 1.09  281 22.8
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 2.71 1.11  281 24.8 2.56 1.08  284 21.8 2.59 1.10  282 22.0 2.58 1.10  281 23.9
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 2.67 1.09  288 23.8 2.68 1.09  287 20.5 2.78 1.13  277 22.9 2.60 1.08  280 25.1
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 2.69 1.09  283 22.9 2.76 1.11  284 22.8 2.81 1.12  279 25.7 2.63 1.09  279 24.0
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 2.67 1.10  288 25.6 2.75 1.16  280 21.5 2.70 1.12  283 21.3 2.93 1.14  282 27.1
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.60 1.12  277 20.1 2.55 1.06  275 20.2 2.53 1.05  284 25.6 2.54 1.06  277 23.5
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.71 1.04  280 22.6 2.51 1.04  276 22.6 2.58 1.05  275 22.8 2.58 1.08  282 22.8
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.55 1.06  283 20.5 2.53 1.03  286 24.6 2.56 1.04  274 24.2 2.59 1.07  278 22.7
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 2.53 1.07  285 21.0 2.56 1.08  280 24.8 2.67 1.09  282 23.8 2.73 1.06  276 25.5
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 2.68 1.10  281 23.1 2.59 1.09  284 24.1 2.56 1.08  279 24.1 2.58 1.09  276 23.8
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    855     1390 10100   901    851     1210 10300   901    854     1250 9960   901    857     1170 11200  
ntdrivers/diskperf_false-unreach-call.i.cil.c 7.45 2.75  319 63.6 7.83 2.97  320 73.8 7.32 2.76  318 57.6 7.70 3.03  319 70.6
ntdrivers/floppy_false-unreach-call.i.cil.c 912    904     1800 5260   912    902     1810 5810   57.4  43.2   831 709   901    891     1920 7450  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 5.87 2.01  311 47.4 5.60 2.00  311 48.8 5.73 2.07  303 46.4 5.98 2.26  317 49.7
ntdrivers/parport_false-unreach-call.i.cil.c 9.76 2.75  382 67.7 10.2  2.88  376 84.1 10.2  2.80  379 72.0 10.5  2.86  403 89.3
ntdrivers/cdaudio_true-unreach-call.i.cil.c 14.1  5.16  518 129   15.5  5.25  524 141   14.0  5.61  494 115   15.0  5.64  537 126  
ntdrivers/diskperf_true-unreach-call.i.cil.c 7.49 3.02  322 64.4 7.49 3.03  324 61.0 7.88 3.19  322 75.1 8.01 3.34  325 78.2
ntdrivers/floppy2_true-unreach-call.i.cil.c 113    94.2   1620 1270   80.0  60.1   1520 917   24.9  12.0   822 209   902    889     1330 7500  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 912    903     1800 5550   912    903     1810 5160   65.7  52.5   850 907   901    892     1760 8060  
ntdrivers/parport_true-unreach-call.i.cil.c 10.2  2.82  394 83.7 9.56 2.71  366 75.3 9.88 2.85  395 75.2 10.9  3.08  421 87.4
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 9.54 3.78  369 87.5 9.01 3.84  340 87.9 8.32 3.36  354 67.9 7.82 3.33  347 69.2
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 6.89 2.64  322 58.6 6.58 2.57  316 64.3 6.34 2.37  317 49.7 6.59 2.61  322 60.2
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 6.67 2.62  318 60.4 7.11 2.62  321 57.4 6.48 2.28  317 54.3 6.67 2.83  319 60.0
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 6.52 2.38  316 54.4 6.41 2.37  321 55.1 6.72 2.45  330 58.2 6.71 2.72  318 63.3
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 5.52 1.97  312 39.4 5.43 1.99  313 44.5 5.21 1.86  309 48.3 4.94 1.80  314 43.6
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 4.96 1.72  306 40.1 5.09 1.83  311 40.2 4.86 1.72  304 38.8 5.12 1.81  306 40.8
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 5.07 1.77  314 41.3 4.86 1.76  311 39.3 4.96 1.74  309 41.9 4.95 1.74  309 40.0
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 5.02 1.81  310 45.8 4.93 1.75  309 39.2 4.91 1.72  312 42.6 5.47 1.93  309 42.7
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 7.55 2.95  323 71.4 7.64 3.00  326 62.0 8.40 3.23  341 77.2 11.5  5.22  384 119  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 7.81 3.28  322 70.3 8.01 3.22  325 70.1 8.16 3.16  334 66.8 29.3  23.6   467 333  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 34.5  27.4   515 384   33.7  25.7   528 368   19.2  11.5   481 193   14.4  7.18  425 136  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 8.87 4.25  320 79.5 8.66 4.18  321 87.5 8.22 3.10  357 70.3 8.49 3.39  344 77.1
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 117    110     621 1570   116    109     626 1430   14.8  7.13  488 137   30.2  22.7   505 392  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 6.43 2.48  314 63.3 6.46 2.56  314 58.7 6.33 2.16  320 49.9 6.58 2.41  325 53.9
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 8.60 3.72  322 70.8 8.27 3.71  329 74.5 7.85 3.01  333 69.3 9.09 3.84  344 80.5
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 10.2  4.80  359 104   10.1  4.71  356 86.1 7.86 2.98  327 75.8 7.06 2.90  319 55.9
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 8.73 4.07  327 74.9 8.78 4.05  327 77.9 8.73 3.20  356 69.1 9.84 4.52  337 83.3
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 33.2  26.0   497 358   217    209     788 2670   20.2  12.1   488 209   33.4  25.6   541 367  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 11.7  6.88  372 132   12.1  7.07  390 119   8.48 3.48  346 78.9 10.3  4.18  363 91.3
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 14.6  6.72  502 127   14.2  6.65  497 137   172    165     751 1990   40.2  32.2   525 417  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 901    891     1300 9900   901    892     1100 10500   159    150     739 1940   901    892     773 6580  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 19.3  12.8   479 236   20.0  12.9   511 210   902    893     1240 9340   906    897     2760 8990  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 10.1  4.11  389 82.5 10.6  4.22  416 84.9 869    861     1020 8850   784    773     1060 7850  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 155    143     867 1740   156    145     798 1960   377    365     1030 3770   20.6  10.9   535 196  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 153    143     912 1420   901    891     1110 9940   902    893     2760 9090   38.9  30.2   656 406  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 901    891     1010 10800   901    892     976 11200   903    895     4420 10200   901    893     977 9520  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 479    467     895 6450   901    893     865 10600   40.6  29.0   651 490   901    890     1000 9180  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 912    905     2060 8480   912    904     1970 8450   902    891     1680 8300   76.9  66.7   699 878  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 491    481     964 5670   348    335     971 4410   19.5  11.0   523 200   901    892     851 10900  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 240    229     894 3450   241    229     870 2940   105    96.1   736 999   901    891     1060 8740  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 901    894     935 11800   905    895     900 10500   113    103     859 1190   901    894     668 9510  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 369    359     967 5280   374    363     918 4530   901    891     1040 9300   901    894     776 11900  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 901    891     944 10600   911    900     1010 10800   29.1  17.4   619 280   901    891     769 9320  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 901    891     1400 8710   901    893     1250 10100   901    893     1060 9740   903    893     3830 7320  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 177    166     844 2300   175    165     813 2100   579    567     894 4540   902    892     1360 10800  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 901    892     1020 12700   901    894     1270 9460   902    892     1430 7520   911    902     623 11500  
eca-rers2012/Problem01_label15_false-unreach-call.c 9.84 2.91  530 79.6 10.1  3.04  532 76.3 10.0  2.97  535 81.8 9.65 2.97  537 85.3
eca-rers2012/Problem01_label20_false-unreach-call.c 11.5  3.48  559 91.1 11.4  3.40  571 103   12.1  3.63  565 106   11.8  3.52  574 86.0
eca-rers2012/Problem01_label21_false-unreach-call.c 9.40 2.87  525 78.1 10.3  3.04  535 75.6 10.2  3.13  529 78.2 10.1  3.00  538 73.4
eca-rers2012/Problem01_label32_false-unreach-call.c 11.7  3.43  569 86.7 12.1  3.63  556 93.7 11.2  3.35  554 80.4 11.4  3.47  549 91.4
eca-rers2012/Problem01_label33_false-unreach-call.c 11.1  3.20  556 85.3 11.4  3.48  551 95.0 10.6  3.21  554 94.8 10.4  3.19  537 86.1
eca-rers2012/Problem01_label35_false-unreach-call.c 10.2  3.03  538 87.2 9.72 2.91  520 73.6 9.66 2.88  534 73.4 9.78 2.93  536 79.2
eca-rers2012/Problem01_label37_false-unreach-call.c 12.6  3.88  560 91.2 11.0  3.25  549 91.7 10.4  3.21  549 85.7 10.8  3.22  544 87.2
eca-rers2012/Problem01_label38_false-unreach-call.c 9.75 2.89  530 67.8 9.79 2.95  533 77.4 9.55 2.95  533 90.9 9.79 2.94  532 77.3
eca-rers2012/Problem01_label44_false-unreach-call.c 8.83 2.69  499 78.8 8.87 2.71  489 71.2 8.87 2.67  488 66.2 10.5  3.17  489 77.8
eca-rers2012/Problem01_label47_false-unreach-call.c 12.1  3.46  567 103   11.4  3.48  569 92.9 11.3  3.45  570 103   12.6  3.77  561 95.9
eca-rers2012/Problem01_label50_false-unreach-call.c 9.57 2.88  539 77.3 9.79 2.91  528 80.0 9.82 2.98  536 72.4 9.77 2.98  529 71.0
eca-rers2012/Problem01_label56_false-unreach-call.c 10.4  3.17  557 90.2 10.8  3.22  550 92.3 11.3  3.23  551 86.1 11.0  3.17  543 76.3
eca-rers2012/Problem01_label57_false-unreach-call.c 11.1  3.26  549 80.1 10.6  3.22  544 86.7 10.5  3.20  550 95.0 11.1  3.22  552 76.1
eca-rers2012/Problem02_label13_false-unreach-call.c 7.59 2.36  406 61.4 7.79 2.49  386 61.9 7.75 2.39  410 64.4 7.40 2.39  380 58.8
eca-rers2012/Problem02_label16_false-unreach-call.c 7.16 2.31  386 55.7 7.37 2.36  412 62.6 7.49 2.34  376 55.3 7.51 2.34  365 54.1
eca-rers2012/Problem02_label43_false-unreach-call.c 7.25 2.30  374 59.7 7.44 2.36  376 59.9 7.41 2.35  406 62.9 7.55 2.39  379 57.7
eca-rers2012/Problem02_label44_false-unreach-call.c 7.59 2.34  376 56.9 7.30 2.37  374 57.6 7.43 2.37  370 57.2 7.47 2.36  384 64.0
eca-rers2012/Problem02_label45_false-unreach-call.c 9.00 2.81  468 82.4 8.33 2.57  461 64.2 8.50 2.59  443 70.6 9.00 2.72  460 72.9
eca-rers2012/Problem02_label50_false-unreach-call.c 8.56 2.63  464 72.8 8.76 2.63  459 75.1 8.73 2.64  462 68.6 8.49 2.58  452 69.5
eca-rers2012/Problem02_label59_false-unreach-call.c 9.35 2.88  474 78.2 8.63 2.59  461 68.0 10.0  3.08  458 79.2 8.50 2.65  466 65.0
eca-rers2012/Problem03_label09_false-unreach-call.c 21.0  7.09  792 170   22.7  7.22  798 179   22.6  7.17  817 178   22.9  7.02  788 173  
eca-rers2012/Problem03_label13_false-unreach-call.c 25.2  7.87  776 178   23.0  6.51  750 170   20.7  6.25  772 170   22.2  6.26  748 162  
eca-rers2012/Problem03_label26_false-unreach-call.c 19.9  6.13  691 154   21.9  5.95  686 160   20.2  5.73  674 150   20.6  6.06  699 151  
eca-rers2012/Problem03_label27_false-unreach-call.c 21.4  6.21  758 157   22.2  6.24  729 154   21.0  6.20  745 157   21.0  6.13  749 153  
eca-rers2012/Problem03_label28_false-unreach-call.c 19.8  6.24  748 148   22.5  6.80  774 168   23.5  7.06  773 181   18.9  6.46  732 154  
eca-rers2012/Problem03_label31_false-unreach-call.c 21.0  6.30  738 173   20.2  6.24  736 156   20.0  6.24  741 161   21.3  6.44  751 162  
eca-rers2012/Problem03_label35_false-unreach-call.c 22.9  7.00  843 156   21.7  7.26  763 151   22.9  7.33  797 174   22.5  7.53  806 155  
eca-rers2012/Problem03_label37_false-unreach-call.c 22.9  6.53  738 171   18.5  6.43  710 144   21.4  6.85  748 166   21.5  6.76  714 183  
eca-rers2012/Problem03_label39_false-unreach-call.c 20.4  7.31  791 177   22.6  7.26  796 181   24.0  7.38  781 161   23.1  7.08  779 184  
eca-rers2012/Problem03_label43_false-unreach-call.c 21.4  6.62  704 158   22.7  7.36  756 158   19.4  6.46  715 152   20.1  6.10  719 173  
eca-rers2012/Problem03_label45_false-unreach-call.c 21.0  6.94  771 166   22.9  7.12  795 163   21.0  6.98  803 159   20.0  7.00  824 168  
eca-rers2012/Problem03_label50_false-unreach-call.c 21.6  6.42  795 177   22.2  6.50  776 147   21.9  6.50  782 167   23.4  6.91  741 158  
eca-rers2012/Problem03_label52_false-unreach-call.c 23.4  7.88  780 176   23.5  7.59  807 173   21.2  7.54  799 165   20.7  7.26  788 172  
eca-rers2012/Problem04_label04_false-unreach-call.c 115    89.3   3730 1210   113    90.5   3620 958   117    92.3   3710 968   117    93.0   3760 1010  
eca-rers2012/Problem04_label06_false-unreach-call.c 117    94.1   3570 921   116    91.6   3660 981   120    94.6   3670 953   116    93.7   3810 865  
eca-rers2012/Problem04_label09_false-unreach-call.c 103    80.8   3130 884   104    81.4   3080 932   103    80.3   3130 860   104    81.4   3000 899  
eca-rers2012/Problem04_label11_false-unreach-call.c 119    97.0   3690 922   116    93.3   3640 1030   119    95.2   3660 947   117    93.2   3670 911  
eca-rers2012/Problem04_label12_false-unreach-call.c 131    106     3910 1020   124    100     3910 1300   130    105     3830 768   130    104     3790 1010  
eca-rers2012/Problem04_label13_false-unreach-call.c 105    80.4   2980 1050   106    82.2   3410 726   98.7  77.1   3200 1030   98.4  76.8   3050 1090  
eca-rers2012/Problem04_label14_false-unreach-call.c 103    81.2   3070 782   101    78.7   3100 781   103    80.7   3050 778   100    78.1   2970 984  
eca-rers2012/Problem04_label15_false-unreach-call.c 108    86.4   3670 960   110    87.9   3570 828   109    87.1   3650 863   109    87.4   3680 1030  
eca-rers2012/Problem04_label17_false-unreach-call.c 111    90.2   3040 824   112    89.5   3050 786   112    89.1   3130 1010   112    88.9   3120 901  
eca-rers2012/Problem04_label18_false-unreach-call.c 111    88.5   3600 797   109    86.1   3610 980   113    88.1   3630 856   107    82.9   3650 960  
eca-rers2012/Problem04_label19_false-unreach-call.c 125    102     3810 740   124    103     3760 977   128    102     3760 894   122    99.2   3800 962  
eca-rers2012/Problem04_label26_false-unreach-call.c 109    88.0   3560 893   112    87.7   3650 794   115    89.9   3600 866   113    88.8   3640 997  
eca-rers2012/Problem04_label27_false-unreach-call.c 108    85.1   3600 816   108    85.7   3620 783   108    84.6   3620 764   107    84.6   3600 859  
eca-rers2012/Problem04_label31_false-unreach-call.c 116    92.0   3630 991   121    95.1   3760 857   114    89.5   3720 1050   117    93.3   3670 913  
eca-rers2012/Problem04_label32_false-unreach-call.c 109    86.0   3050 746   103    80.4   3070 1060   103    82.8   3030 875   108    84.8   3020 922  
eca-rers2012/Problem04_label35_false-unreach-call.c 104    82.2   3040 786   104    80.3   2960 788   105    79.9   3230 822   103    81.4   3150 836  
eca-rers2012/Problem04_label36_false-unreach-call.c 105    82.9   3570 829   110    86.2   3620 836   104    82.0   3580 825   109    86.1   3590 793  
eca-rers2012/Problem04_label38_false-unreach-call.c 115    89.6   3630 928   109    87.8   3590 932   114    90.3   3630 872   116    91.2   3590 786  
eca-rers2012/Problem04_label39_false-unreach-call.c 122    98.9   3720 935   122    97.5   3750 1200   117    95.1   3670 937   121    96.9   3820 1190  
eca-rers2012/Problem04_label40_false-unreach-call.c 113    90.9   3660 736   110    85.6   3610 1050   111    87.8   3670 1010   113    90.4   3670 673  
eca-rers2012/Problem04_label45_false-unreach-call.c 107    85.7   3590 859   104    80.7   3710 1010   113    87.1   3670 904   111    85.3   3650 839  
eca-rers2012/Problem04_label52_false-unreach-call.c 124    99.5   3730 973   121    96.6   3760 993   121    97.1   3630 951   125    98.6   3670 899  
eca-rers2012/Problem04_label55_false-unreach-call.c 101    78.0   3070 716   98.8  75.7   3180 962   99.0  76.6   2970 770   97.8  75.2   3030 776  
eca-rers2012/Problem04_label58_false-unreach-call.c 130    103     3850 1230   129    102     3690 1010   125    101     3740 1030   129    103     3680 1090  
eca-rers2012/Problem05_label00_false-unreach-call.c 164    135     3060 1190   168    138     3100 1370   164    135     2990 1390   161    133     3060 1290  
eca-rers2012/Problem05_label01_false-unreach-call.c 157    129     3100 1370   153    127     3000 1090   153    126     3020 1200   154    127     3030 1270  
eca-rers2012/Problem05_label11_false-unreach-call.c 154    126     2940 1180   153    126     2960 1120   155    126     2950 1320   151    124     2950 1260  
eca-rers2012/Problem05_label13_false-unreach-call.c 158    130     3050 1170   153    125     2940 1470   156    129     3080 1250   155    128     3070 1260  
eca-rers2012/Problem05_label15_false-unreach-call.c 156    129     3020 1110   162    131     3020 1340   161    131     3010 1330   154    126     3010 1520  
eca-rers2012/Problem05_label18_false-unreach-call.c 154    124     3070 1380   155    127     2980 1310   151    127     2950 1170   156    128     3020 1290  
eca-rers2012/Problem05_label24_false-unreach-call.c 155    127     2950 1500   156    127     2960 1520   161    131     2920 1220   160    132     2940 1130  
eca-rers2012/Problem05_label26_false-unreach-call.c 156    127     3040 1050   153    126     2900 1120   157    127     2990 1190   155    125     2950 1230  
eca-rers2012/Problem05_label30_false-unreach-call.c 165    134     2940 1250   157    129     2950 1200   158    129     2960 1250   158    129     2910 1520  
eca-rers2012/Problem05_label32_false-unreach-call.c 149    123     2940 1170   157    126     2970 1170   155    125     2990 1080   155    126     2840 1320  
eca-rers2012/Problem05_label33_false-unreach-call.c 158    130     3000 1250   163    133     3030 1160   157    129     3030 1150   154    130     2970 1130  
eca-rers2012/Problem05_label36_false-unreach-call.c 150    123     2930 1020   153    124     2910 1190   149    124     2890 1210   149    121     2910 1200  
eca-rers2012/Problem05_label37_false-unreach-call.c 161    132     3080 1380   165    134     3070 1330   163    134     3180 1460   162    131     3210 1400  
eca-rers2012/Problem05_label38_false-unreach-call.c 156    129     2930 1140   162    132     2940 1240   159    130     2950 1080   154    128     2880 1400  
eca-rers2012/Problem05_label39_false-unreach-call.c 157    130     3030 1190   157    130     3000 1110   160    131     3000 1100   156    128     3120 1270  
eca-rers2012/Problem05_label40_false-unreach-call.c 149    122     2920 1400   155    125     3050 1460   152    122     2920 1470   152    125     2940 1500  
eca-rers2012/Problem05_label41_false-unreach-call.c 165    135     3010 1240   158    131     2990 1370   164    135     3120 1280   163    135     2980 1290  
eca-rers2012/Problem05_label44_false-unreach-call.c 153    126     2990 1150   155    126     2950 1220   154    124     2970 1490   154    127     3000 1310  
eca-rers2012/Problem05_label47_false-unreach-call.c 147    119     3000 1530   148    120     2910 1370   151    123     2960 1230   150    123     3040 1180  
eca-rers2012/Problem05_label48_false-unreach-call.c 165    136     2970 1270   156    129     3010 1530   158    129     2920 1470   163    134     2940 1390  
eca-rers2012/Problem05_label51_false-unreach-call.c 158    129     3040 1250   157    128     2910 1150   156    127     2950 1100   160    129     3060 1160  
eca-rers2012/Problem05_label55_false-unreach-call.c 150    121     3080 1140   148    119     2940 1380   151    121     3070 1180   145    120     3030 1160  
eca-rers2012/Problem05_label57_false-unreach-call.c 170    140     3010 1170   170    137     2950 1210   167    138     3080 1260   167    138     3010 1240  
eca-rers2012/Problem05_label58_false-unreach-call.c 154    126     2970 1220   157    128     3020 1210   156    128     3020 1290   154    127     2940 1190  
eca-rers2012/Problem06_label00_false-unreach-call.c 101    75.9   2380 753   101    76.8   2390 892   100    75.6   2400 918   104    78.3   2370 751  
eca-rers2012/Problem06_label01_false-unreach-call.c 90.5  65.2   2410 646   94.2  66.4   2430 633   86.6  64.6   2380 642   89.1  64.4   2410 784  
eca-rers2012/Problem06_label02_false-unreach-call.c 97.9  71.8   2440 724   94.2  69.4   2400 728   92.4  68.8   2460 657   93.8  69.0   2430 650  
eca-rers2012/Problem06_label04_false-unreach-call.c 84.4  61.2   2360 684   88.6  63.0   2370 603   84.3  59.7   2400 765   84.1  60.0   2390 579  
eca-rers2012/Problem06_label05_false-unreach-call.c 89.2  64.8   2410 747   88.5  63.5   2440 838   84.4  64.8   2380 481   90.2  64.7   2420 798  
eca-rers2012/Problem06_label09_false-unreach-call.c 89.7  66.9   2350 761   92.5  67.4   2380 621   91.2  66.2   2390 692   90.1  65.4   2410 602  
eca-rers2012/Problem06_label10_false-unreach-call.c 102    76.0   2390 756   98.7  74.7   2370 741   98.5  73.8   2400 683   99.8  74.6   2410 811  
eca-rers2012/Problem06_label11_false-unreach-call.c 87.7  62.7   2410 626   86.8  62.6   2410 752   88.5  63.0   2400 721   92.0  63.2   2400 694  
eca-rers2012/Problem06_label12_false-unreach-call.c 84.8  62.1   2400 629   84.5  60.2   2400 626   85.7  61.1   2450 684   85.6  61.2   2380 665  
eca-rers2012/Problem06_label15_false-unreach-call.c 83.6  59.4   2360 679   84.9  59.0   2390 649   79.5  56.8   2330 587   83.4  57.9   2420 562  
eca-rers2012/Problem06_label20_false-unreach-call.c 91.6  68.3   2420 636   90.4  66.7   2440 655   92.7  66.7   2440 720   91.1  66.4   2440 750  
eca-rers2012/Problem06_label21_false-unreach-call.c 96.0  70.9   2470 749   94.7  69.7   2440 851   94.9  70.1   2390 736   96.9  71.5   2420 717  
eca-rers2012/Problem06_label24_false-unreach-call.c 90.9  66.8   2460 651   95.3  68.9   2430 686   89.9  66.7   2450 654   88.1  65.4   2460 642  
eca-rers2012/Problem06_label27_false-unreach-call.c 86.0  60.2   2400 626   85.5  60.9   2390 587   86.5  60.9   2380 681   84.2  60.4   2400 654  
eca-rers2012/Problem06_label29_false-unreach-call.c 87.0  62.7   2440 664   85.4  63.5   2340 642   86.6  62.4   2400 752   85.2  61.9   2380 650  
eca-rers2012/Problem06_label33_false-unreach-call.c 85.7  62.7   2360 816   91.6  65.6   2370 699   88.6  62.2   2380 701   88.6  64.5   2420 645  
eca-rers2012/Problem06_label36_false-unreach-call.c 90.2  64.9   2400 718   84.6  62.8   2380 643   89.0  64.9   2420 720   89.2  65.4   2420 640  
eca-rers2012/Problem06_label37_false-unreach-call.c 90.9  68.2   2430 631   97.2  67.8   2490 656   91.7  66.8   2460 749   96.1  69.8   2430 685  
eca-rers2012/Problem06_label38_false-unreach-call.c 92.2  68.0   2420 697   91.5  66.9   2440 738   95.3  69.7   2430 665   94.9  68.9   2440 641  
eca-rers2012/Problem06_label44_false-unreach-call.c 92.0  66.9   2420 717   90.8  66.0   2410 805   90.8  66.5   2480 744   93.6  67.4   2420 637  
eca-rers2012/Problem06_label47_false-unreach-call.c 83.1  58.4   2370 575   82.7  58.4   2370 638   83.5  58.5   2360 626   86.1  59.8   2380 653  
eca-rers2012/Problem06_label48_false-unreach-call.c 91.0  66.3   2470 805   92.6  67.9   2430 722   92.7  67.4   2460 739   91.2  66.6   2380 721  
eca-rers2012/Problem06_label56_false-unreach-call.c 95.2  69.7   2430 712   97.9  72.5   2420 722   97.4  72.5   2410 725   94.4  70.4   2410 738  
eca-rers2012/Problem06_label58_false-unreach-call.c 94.1  69.1   2370 672   92.6  67.3   2460 673   90.0  68.8   2350 562   94.0  68.7   2410 710  
eca-rers2012/Problem06_label59_false-unreach-call.c 89.2  63.8   2430 749   89.5  64.2   2400 629   86.5  62.4   2460 645   88.8  63.2   2450 651  
eca-rers2012/Problem07_label03_false-unreach-call.c 911    864     6550 10100   913    868     6560 10100   912    863     6580 9600   913    865     6560 8930  
eca-rers2012/Problem07_label05_false-unreach-call.c 912    870     6420 7700   912    870     6340 8680   912    869     6390 9390   912    869     6460 9710  
eca-rers2012/Problem07_label06_false-unreach-call.c 913    867     6510 8090   912    869     6450 8280   912    868     6440 8460   912    871     6420 9330  
eca-rers2012/Problem07_label07_false-unreach-call.c 912    867     6470 9620   912    872     6350 9720   913    868     6580 9890   912    867     6430 8290  
eca-rers2012/Problem07_label09_false-unreach-call.c 912    862     6390 7400   912    868     6530 7310   912    870     6240 8380   914    868     6300 10200  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    870     6380 8550   912    866     6390 7510   912    861     6370 7800   912    868     6540 8710  
eca-rers2012/Problem07_label15_false-unreach-call.c 912    866     6390 8180   912    863     6480 9630   913    865     6600 8800   912    867     6610 10700  
eca-rers2012/Problem07_label18_false-unreach-call.c 913    866     6850 9040   912    864     6540 8210   913    868     6480 9310   915    869     6700 9060  
eca-rers2012/Problem07_label19_false-unreach-call.c 912    871     6380 8820   912    871     6360 8320   912    869     6450 7700   912    870     6490 8190  
eca-rers2012/Problem07_label20_false-unreach-call.c 912    865     6450 8160   912    869     6470 8300   912    865     6240 9260   912    866     6410 8610  
eca-rers2012/Problem07_label23_false-unreach-call.c 912    871     6550 7850   912    867     6370 8740   912    869     6440 7760   912    871     6190 8110  
eca-rers2012/Problem07_label30_false-unreach-call.c 909    860     7370 8800   909    858     7430 8910   907    858     7640 10600   912    863     7490 9460  
eca-rers2012/Problem07_label31_false-unreach-call.c 911    863     6370 9520   913    872     6670 9120   913    868     6550 9400   912    864     6610 9850  
eca-rers2012/Problem07_label35_false-unreach-call.c 912    864     6480 9190   912    864     6490 9530   912    864     6470 9280   916    867     6530 9050  
eca-rers2012/Problem07_label36_false-unreach-call.c 912    869     6510 11300   912    863     6470 9570   912    865     6390 9470   912    868     6310 8530  
eca-rers2012/Problem07_label37_false-unreach-call.c 913    866     6570 9220   915    873     6480 9010   912    872     6480 8860   912    866     6520 9500  
eca-rers2012/Problem07_label39_false-unreach-call.c 915    874     6550 9000   910    867     6420 12300   913    869     6660 8800   910    867     6330 9260  
eca-rers2012/Problem07_label40_false-unreach-call.c 914    870     6500 9250   913    867     6460 11300   912    868     6560 10400   916    867     6580 8560  
eca-rers2012/Problem07_label42_false-unreach-call.c 913    870     6680 8800   913    870     6540 11700   911    864     6580 9000   913    868     6660 10800  
eca-rers2012/Problem07_label44_false-unreach-call.c 906    853     7290 8840   904    855     6930 9730   914    864     7510 9620   913    857     7460 9440  
eca-rers2012/Problem07_label46_false-unreach-call.c 912    868     6530 9550   912    868     6460 11500   912    866     6470 10400   912    866     6460 9480  
eca-rers2012/Problem07_label47_false-unreach-call.c 912    864     6560 9420   911    865     6410 10500   911    869     6420 9580   911    868     6540 11900  
eca-rers2012/Problem07_label48_false-unreach-call.c 910    870     6780 8060   912    867     6500 9900   912    866     6550 11400   912    867     6620 9470  
eca-rers2012/Problem07_label58_false-unreach-call.c 912    866     7080 9470   913    862     7240 9050   914    865     7400 9170   911    862     7130 9620  
eca-rers2012/Problem08_label01_false-unreach-call.c 912    837     10400 7800   912    829     11100 7500   912    828     11000 6980   912    830     10700 6770  
eca-rers2012/Problem08_label02_false-unreach-call.c 912    834     10500 7150   912    835     10500 7720   912    837     10500 10200   912    836     10200 8510  
eca-rers2012/Problem08_label04_false-unreach-call.c 912    831     10900 7550   912    834     10900 8650   912    830     11100 8130   912    852     10800 6460  
eca-rers2012/Problem08_label05_false-unreach-call.c 912    853     10900 6150   912    829     10800 6430   912    831     11000 7030   912    828     11000 6680  
eca-rers2012/Problem08_label06_false-unreach-call.c 912    858     10800 10100   912    833     10500 8270   912    833     11000 7380   912    859     10800 7020  
eca-rers2012/Problem08_label07_false-unreach-call.c 912    822     11100 9070   912    824     11200 8880   912    824     11100 9500   912    825     11300 8690  
eca-rers2012/Problem08_label10_false-unreach-call.c 912    827     11000 7620   912    852     10700 7140   912    833     10400 8010   912    834     11000 8860  
eca-rers2012/Problem08_label13_false-unreach-call.c 912    851     11000 6900   912    827     11000 6730   912    829     11000 7410   912    828     11200 8020  
eca-rers2012/Problem08_label15_false-unreach-call.c 912    825     10900 9550   912    828     11000 8500   912    825     11400 8270   912    825     11100 11000  
eca-rers2012/Problem08_label24_false-unreach-call.c 912    828     11100 9440   912    825     10900 7450   912    823     11000 7930   912    833     10500 7530  
eca-rers2012/Problem08_label25_false-unreach-call.c 912    825     11000 7350   912    824     10800 8800   912    857     10400 8130   912    828     10900 7160  
eca-rers2012/Problem08_label26_false-unreach-call.c 912    824     10800 7680   912    816     11000 8150   912    813     11200 7360   912    823     11000 8140  
eca-rers2012/Problem08_label28_false-unreach-call.c 912    827     11100 8250   912    857     10400 6950   912    829     11000 7630   912    833     10500 8230  
eca-rers2012/Problem08_label29_false-unreach-call.c 912    831     10800 8350   912    833     10600 7470   912    828     11200 8460   912    828     11000 7140  
eca-rers2012/Problem08_label34_false-unreach-call.c 912    824     10800 8060   912    826     10700 9080   912    821     11000 7050   919    820     11000 8700  
eca-rers2012/Problem08_label37_false-unreach-call.c 912    831     10400 9200   912    829     11000 9110   912    853     10600 7560   912    828     11200 8860  
eca-rers2012/Problem08_label43_false-unreach-call.c 912    827     11100 9040   912    833     10700 9380   912    829     11300 8570   912    829     11100 8630  
eca-rers2012/Problem08_label46_false-unreach-call.c 912    827     11000 7290   912    854     10500 6250   912    835     11000 7990   912    827     10900 9280  
eca-rers2012/Problem08_label48_false-unreach-call.c 912    843     11100 8930   912    823     11100 7160   912    824     11300 7240   912    842     11000 7520  
eca-rers2012/Problem08_label49_false-unreach-call.c 912    830     10800 7570   912    832     10800 6860   912    830     10900 7040   912    826     11200 6420  
eca-rers2012/Problem08_label50_false-unreach-call.c 912    825     11000 8510   912    836     10800 6720   912    851     10800 8180   912    854     10900 6820  
eca-rers2012/Problem08_label51_false-unreach-call.c 912    825     11100 11000   912    830     11100 11000   912    856     10700 10300   912    829     11200 9450  
eca-rers2012/Problem08_label55_false-unreach-call.c 912    831     11900 7230   912    834     11500 6770   912    829     12200 6140   912    853     11900 6850  
eca-rers2012/Problem08_label59_false-unreach-call.c 912    823     11100 8310   912    818     11100 7220   912    846     10800 8290   912    826     11100 8480  
eca-rers2012/Problem09_label02_false-unreach-call.c 912    841     11900 6340   912    819     12000 8490   912    837     12000 10100   912    828     12000 9290  
eca-rers2012/Problem09_label03_false-unreach-call.c 912    842     11300 9040   912    823     11600 7630   912    832     12000 8020   912    849     12000 9310  
eca-rers2012/Problem09_label06_false-unreach-call.c 912    821     11900 8060   912    826     11600 10300   912    820     12000 7980   912    851     11700 7160  
eca-rers2012/Problem09_label08_false-unreach-call.c 912    813     12100 7880   912    828     12100 7080   912    839     12000 10400   912    815     11900 9230  
eca-rers2012/Problem09_label10_false-unreach-call.c 912    839     11600 7950   912    814     11700 8250   912    842     11700 8320   912    842     12000 8350  
eca-rers2012/Problem09_label11_false-unreach-call.c 912    816     11700 7000   912    843     11600 8750   912    815     11900 7470   912    841     12100 7950  
eca-rers2012/Problem09_label15_false-unreach-call.c 912    833     12100 6490   912    819     12200 7990   912    836     12000 6110   912    818     12000 7610  
eca-rers2012/Problem09_label19_false-unreach-call.c 912    827     11900 8410   912    826     11800 7820   912    823     11900 7850   912    839     12200 7850  
eca-rers2012/Problem09_label20_false-unreach-call.c 912    824     12100 7450   912    825     12100 8380   912    829     12300 7790   912    818     11900 6990  
eca-rers2012/Problem09_label32_false-unreach-call.c 912    812     12000 8040   912    819     12100 9160   920    820     12100 8970   912    818     11800 9910  
eca-rers2012/Problem09_label34_false-unreach-call.c 912    838     11600 9250   912    814     12100 7560   912    817     11800 7650   912    818     11900 10800  
eca-rers2012/Problem09_label35_false-unreach-call.c 912    817     11800 7260   912    818     12000 9880   912    820     12200 7600   912    817     11800 8540  
eca-rers2012/Problem09_label36_false-unreach-call.c 922    824     12000 9270   912    814     11700 8590   912    818     12100 8010   912    818     12200 8080  
eca-rers2012/Problem09_label38_false-unreach-call.c 912    816     12000 7560   912    835     11900 7660   912    813     12100 7640   912    820     11800 8360  
eca-rers2012/Problem09_label41_false-unreach-call.c 912    839     11600 8120   912    837     12000 7810   912    829     11900 7720   912    834     12000 8520  
eca-rers2012/Problem09_label44_false-unreach-call.c 912    815     11800 7440   912    836     11700 7020   912    825     11900 7390   912    823     11800 6730  
eca-rers2012/Problem09_label46_false-unreach-call.c 912    850     11500 7740   912    843     11600 9330   912    843     11500 7600   912    846     11700 7570  
eca-rers2012/Problem09_label47_false-unreach-call.c 912    834     12000 8330   912    829     11900 8440   912    807     12100 8530   912    834     12100 8720  
eca-rers2012/Problem09_label51_false-unreach-call.c 912    849     11700 8620   912    844     11500 8590   912    821     11700 7430   912    822     12000 8680  
eca-rers2012/Problem09_label53_false-unreach-call.c 912    813     12100 8260   912    823     12200 9480   912    830     12200 7960   912    817     12200 9290  
eca-rers2012/Problem09_label54_false-unreach-call.c 912    827     11600 10100   912    849     12000 8090   912    844     12100 7780   912    831     12000 7160  
eca-rers2012/Problem09_label56_false-unreach-call.c 912    838     11700 7930   912    816     12100 8010   912    835     12000 9730   912    815     11900 8330  
eca-rers2012/Problem09_label57_false-unreach-call.c 912    845     11900 8520   912    852     12000 9450   912    831     12000 9210   912    826     11800 9220  
eca-rers2012/Problem09_label59_false-unreach-call.c 912    816     12100 8520   912    837     11900 8370   912    829     12200 9630   912    828     11800 7340  
eca-rers2012/Problem10_label12_false-unreach-call.c 901    897     507 13900   901    896     506 12800   902    899     486 9770   901    896     811 11000  
eca-rers2012/Problem10_label15_false-unreach-call.c 901    896     496 12700   901    896     513 11200   901    897     496 10800   901    896     493 11100  
eca-rers2012/Problem10_label24_false-unreach-call.c 901    896     826 11200   901    897     509 10400   901    896     503 11000   901    897     524 10100  
eca-rers2012/Problem10_label26_false-unreach-call.c 901    897     492 10600   902    898     502 13300   901    897     499 12100   901    897     491 12000  
eca-rers2012/Problem10_label28_false-unreach-call.c 901    896     720 12600   901    896     720 12200   901    896     685 10100   901    897     692 10700  
eca-rers2012/Problem10_label29_false-unreach-call.c 901    896     659 10300   902    896     898 11500   902    897     497 12600   902    896     786 11000  
eca-rers2012/Problem10_label41_false-unreach-call.c 901    896     515 11700   902    897     498 12200   901    897     476 10400   901    896     496 11600  
eca-rers2012/Problem10_label42_false-unreach-call.c 902    897     957 13800   901    896     704 11400   901    896     610 13200   901    896     651 12900  
eca-rers2012/Problem10_label46_false-unreach-call.c 4.83 1.64  314 39.0 4.91 1.65  314 38.5 5.26 1.71  315 38.7 4.86 1.69  308 40.3
eca-rers2012/Problem10_label47_false-unreach-call.c 901    896     485 10200   901    896     784 10800   901    896     788 12500   901    897     775 10800  
eca-rers2012/Problem10_label48_false-unreach-call.c 902    898     525 12500   903    898     543 13500   901    897     523 11700   901    897     548 11800  
eca-rers2012/Problem10_label50_false-unreach-call.c 901    897     484 10300   901    896     523 10800   903    898     525 11100   901    897     481 10600  
eca-rers2012/Problem10_label55_false-unreach-call.c 901    897     785 12400   901    896     745 9680   901    896     780 9550   901    896     782 12300  
eca-rers2012/Problem10_label57_false-unreach-call.c 901    897     541 9810   902    898     538 13500   901    896     535 9640   901    897     529 11600  
eca-rers2012/Problem10_label58_false-unreach-call.c 901    896     524 11600   902    897     901 11100   902    896     902 11100   901    896     797 10100  
eca-rers2012/Problem11_label00_false-unreach-call.c 902    895     1040 10800   902    893     1070 10900   901    893     952 9310   902    892     954 10200  
eca-rers2012/Problem11_label08_false-unreach-call.c 901    892     971 9430   901    893     947 12500   902    891     1050 10300   901    893     983 11500  
eca-rers2012/Problem11_label14_false-unreach-call.c 902    893     1060 9970   901    895     533 9690   902    891     1040 10300   901    895     544 10800  
eca-rers2012/Problem11_label15_false-unreach-call.c 902    891     868 12100   901    891     918 9380   901    894     1010 10300   901    893     939 11800  
eca-rers2012/Problem11_label20_false-unreach-call.c 902    893     977 13100   902    894     957 10600   901    893     859 11400   901    891     985 10500  
eca-rers2012/Problem11_label29_false-unreach-call.c 902    891     1020 11800   902    894     1020 10500   902    893     976 11800   902    891     1020 11400  
eca-rers2012/Problem11_label31_false-unreach-call.c 901    894     931 11500   902    894     982 13700   902    893     985 10700   902    893     1010 9850  
eca-rers2012/Problem11_label34_false-unreach-call.c 901    894     984 11300   902    893     994 10100   902    894     1010 11500   902    894     933 10700  
eca-rers2012/Problem11_label36_false-unreach-call.c 902    893     1060 11300   902    893     958 11400   901    895     987 11100   901    893     896 11000  
eca-rers2012/Problem11_label39_false-unreach-call.c 901    893     886 10100   901    895     886 10500   902    891     1020 10100   901    893     997 11800  
eca-rers2012/Problem11_label42_false-unreach-call.c 901    892     939 13300   902    891     977 11100   902    893     972 11500   902    893     900 10500  
eca-rers2012/Problem11_label43_false-unreach-call.c 902    894     1000 10900   902    892     981 9900   901    891     996 13500   902    893     956 11400  
eca-rers2012/Problem11_label49_false-unreach-call.c 902    894     1030 10500   902    893     1060 10300   901    893     929 10000   902    892     1020 11000  
eca-rers2012/Problem11_label51_false-unreach-call.c 902    893     991 11700   902    893     963 10600   902    892     979 10400   902    892     998 10800  
eca-rers2012/Problem11_label58_false-unreach-call.c 902    892     1060 10900   902    891     1010 12100   902    891     1020 10700   902    893     1020 12000  
eca-rers2012/Problem12_label00_false-unreach-call.c 902    890     1010 10300   902    889     1000 12500   902    889     1000 9530   902    889     1020 10600  
eca-rers2012/Problem12_label03_false-unreach-call.c 902    889     1020 9450   902    890     1060 10200   902    890     992 12700   902    889     1000 10500  
eca-rers2012/Problem12_label06_false-unreach-call.c 902    890     1000 10100   902    889     1020 10800   902    888     1060 10300   902    887     1020 9740  
eca-rers2012/Problem12_label07_false-unreach-call.c 902    888     1100 12000   902    889     1080 9890   902    889     1080 9950   902    890     1070 8840  
eca-rers2012/Problem12_label08_false-unreach-call.c 902    891     1130 10200   902    889     1040 10900   902    889     1140 12100   902    890     1010 10400  
eca-rers2012/Problem12_label10_false-unreach-call.c 902    890     1110 10700   902    890     1020 10600   902    889     998 11100   902    888     1140 10600  
eca-rers2012/Problem12_label13_false-unreach-call.c 902    890     1060 11500   902    889     1060 12000   902    891     1070 9680   902    889     1050 9880  
eca-rers2012/Problem12_label19_false-unreach-call.c 902    888     1040 9950   902    890     1080 11200   902    890     1100 12700   902    889     1060 10900  
eca-rers2012/Problem12_label20_false-unreach-call.c 902    888     1130 10500   902    889     1060 11000   902    889     1120 9950   902    889     1080 12500  
eca-rers2012/Problem12_label21_false-unreach-call.c 902    889     1170 11900   902    888     993 11700   902    889     974 12700   902    889     1190 10400  
eca-rers2012/Problem12_label25_false-unreach-call.c 902    889     1120 9740   902    889     1050 9870   902    889     1070 10100   902    888     975 9960  
eca-rers2012/Problem12_label28_false-unreach-call.c 902    890     1050 12600   902    889     1070 10200   902    888     1040 10300   902    889     1050 10700  
eca-rers2012/Problem12_label30_false-unreach-call.c 902    888     1090 11100   902    890     1080 11200   902    890     1020 9890   902    890     1030 9570  
eca-rers2012/Problem12_label34_false-unreach-call.c 902    889     1010 10700   902    889     988 10900   902    889     1020 11200   902    888     1010 10700  
eca-rers2012/Problem12_label35_false-unreach-call.c 902    889     1060 12900   902    889     1090 10800   902    889     1180 11600   902    889     1050 12200  
eca-rers2012/Problem12_label37_false-unreach-call.c 902    888     1060 11200   902    889     1070 10900   902    890     1140 9990   902    890     1130 12200  
eca-rers2012/Problem12_label38_false-unreach-call.c 902    890     1010 12600   902    889     1060 10000   902    889     990 10800   902    890     1030 11000  
eca-rers2012/Problem12_label39_false-unreach-call.c 902    889     1040 10100   902    889     1000 9390   902    888     1010 10200   902    889     1090 11300  
eca-rers2012/Problem12_label40_false-unreach-call.c 902    890     1100 12300   902    888     1040 10100   902    889     1070 10600   902    890     1080 10200  
eca-rers2012/Problem12_label42_false-unreach-call.c 902    888     993 10400   902    890     1010 12800   902    890     964 11500   902    890     1010 11100  
eca-rers2012/Problem12_label48_false-unreach-call.c 902    889     1070 12100   902    889     1070 10500   902    888     1060 11600   902    889     996 11400  
eca-rers2012/Problem12_label50_false-unreach-call.c 902    889     1120 9290   902    889     1020 12500   902    888     1030 8110   902    888     1120 12600  
eca-rers2012/Problem12_label51_false-unreach-call.c 902    889     1020 10600   902    889     941 11500   902    889     1090 10800   902    889     1110 9660  
eca-rers2012/Problem12_label52_false-unreach-call.c 902    889     1030 10700   902    890     1080 13200   902    889     1090 10000   902    890     1020 9730  
eca-rers2012/Problem12_label55_false-unreach-call.c 902    889     1010 9990   902    888     1050 9820   902    889     1050 10800   902    889     1060 10500  
eca-rers2012/Problem13_label04_false-unreach-call.c 902    888     1330 7850   902    887     1400 9430   902    889     1380 12800   902    887     1350 8210  
eca-rers2012/Problem13_label06_false-unreach-call.c 902    889     1320 7370   902    889     1320 12000   902    888     1450 8480   902    888     1470 9120  
eca-rers2012/Problem13_label07_false-unreach-call.c 902    888     1350 9410   902    889     1320 10800   902    888     1370 9090   902    888     1360 8690  
eca-rers2012/Problem13_label11_false-unreach-call.c 902    889     1380 9670   902    889     1350 10600   902    889     1370 8430   902    890     1350 9480  
eca-rers2012/Problem13_label12_false-unreach-call.c 902    886     1380 11900   902    887     1360 10400   902    889     1360 9300   902    889     1360 8880  
eca-rers2012/Problem13_label16_false-unreach-call.c 902    890     1340 9380   902    889     1330 8120   902    889     1350 8060   902    888     1440 11100  
eca-rers2012/Problem13_label19_false-unreach-call.c 902    887     1380 8430   902    886     1340 10400   902    887     1330 8620   902    886     1330 8460  
eca-rers2012/Problem13_label21_false-unreach-call.c 902    889     1390 8100   902    889     1350 9700   902    888     1380 10900   902    888     1330 10400  
eca-rers2012/Problem13_label23_false-unreach-call.c 902    890     1460 10800   902    887     1460 9640   903    887     1410 7860   902    889     1490 10800  
eca-rers2012/Problem13_label24_false-unreach-call.c 902    889     1310 8180   902    888     1290 8950   902    887     1370 10100   902    889     1320 9170  
eca-rers2012/Problem13_label25_false-unreach-call.c 902    890     1430 9700   902    888     1410 8610   902    889     1370 11100   902    889     1410 8380  
eca-rers2012/Problem13_label28_false-unreach-call.c 902    886     1380 8560   902    886     1340 8630   902    885     1390 8900   902    888     1360 11700  
eca-rers2012/Problem13_label29_false-unreach-call.c 902    886     1330 10100   902    889     1410 8830   902    888     1330 12200   902    886     1420 10400  
eca-rers2012/Problem13_label30_false-unreach-call.c 902    888     1380 9030   902    885     1410 11100   902    887     1330 8280   902    889     1340 9680  
eca-rers2012/Problem13_label32_false-unreach-call.c 902    886     1370 9890   902    888     1390 8580   902    887     1350 12000   902    888     1340 9650  
eca-rers2012/Problem13_label35_false-unreach-call.c 902    888     1400 9400   902    889     1470 11400   902    889     1400 9270   902    886     1410 9770  
eca-rers2012/Problem13_label36_false-unreach-call.c 902    889     1370 7970   902    888     1370 10800   902    887     1260 11000   902    889     1420 11000  
eca-rers2012/Problem13_label40_false-unreach-call.c 902    890     1430 9560   902    889     1370 7790   902    887     1380 8450   902    889     1460 10500  
eca-rers2012/Problem13_label43_false-unreach-call.c 902    887     1340 8290   902    887     1530 10500   902    889     1470 9570   902    886     1270 8730  
eca-rers2012/Problem13_label44_false-unreach-call.c 902    888     1420 10600   902    886     1370 8740   902    887     1380 11100   902    889     1360 9770  
eca-rers2012/Problem13_label45_false-unreach-call.c 902    888     1350 11600   902    889     1350 10600   902    889     1350 9770   902    888     1370 9930  
eca-rers2012/Problem13_label48_false-unreach-call.c 902    889     1350 9840   902    888     1370 7310   902    888     1340 9420   902    889     1370 9080  
eca-rers2012/Problem13_label51_false-unreach-call.c 902    888     1310 8840   902    888     1440 9240   902    888     1380 8430   902    888     1370 8800  
eca-rers2012/Problem13_label54_false-unreach-call.c 901    892     963 12400   901    892     975 8720   901    890     977 8620   902    891     972 9020  
eca-rers2012/Problem13_label58_false-unreach-call.c 902    892     975 8900   902    891     973 10200   902    891     972 8750   902    891     965 8870  
eca-rers2012/Problem14_label02_false-unreach-call.c 901    894     560 10700   901    894     541 10800   901    896     520 10300   901    895     531 9970  
eca-rers2012/Problem14_label08_false-unreach-call.c 901    896     535 12100   901    895     536 11000   901    894     571 9610   901    894     580 10900  
eca-rers2012/Problem14_label10_false-unreach-call.c 901    894     551 11200   902    897     537 12600   901    895     561 12600   901    895     525 13100  
eca-rers2012/Problem14_label11_false-unreach-call.c 901    893     626 10100   901    893     634 10100   901    895     572 10500   901    892     659 12100  
eca-rers2012/Problem14_label12_false-unreach-call.c 901    894     551 11900   901    895     536 11000   901    894     567 12100   901    894     546 11300  
eca-rers2012/Problem14_label13_false-unreach-call.c 901    895     586 10700   901    895     540 11300   901    895     548 10600   901    896     559 11600  
eca-rers2012/Problem14_label14_false-unreach-call.c 901    895     565 11800   901    895     578 12400   901    895     512 10300   901