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_abvfp z3-qf_abvfp z3-qf_ufbvfp z3-q_ufbvfp
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=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -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 -predicateAnalysis-heaparray -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -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=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -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=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -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    892     1210 11000   901    891     1410 11700   901    892     833 12700   901    891     1280 8750  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    890     742 12700   901    890     743 12000   902    894     1410 10400   901    891     762 12800  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    890     748 12900   901    890     734 10800   901    893     739 10600   901    891     733 12700  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    890     842 11500   901    890     820 13100   901    891     1150 11500   3.65 1.39  347 32.4
array-examples/sorting_selectionsort_false-unreach-call_ground.i 904    900     1230 4780   904    901     1270 7070   904    901     1250 7790   3.70 1.44  349 29.3
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    890     739 12500   902    890     706 11800   901    890     1010 13200   904    900     4900 11100  
array-examples/standard_copy1_false-unreach-call_ground.i 901    890     1310 11700   901    891     1330 12100   901    894     717 9530   901    891     1520 11800  
array-examples/standard_copy2_false-unreach-call_ground.i 901    891     1310 11400   901    890     1220 10700   901    894     779 12000   901    890     1280 12400  
array-examples/standard_copy3_false-unreach-call_ground.i 901    889     1120 10100   901    889     1250 11100   901    893     620 9770   901    890     1210 12600  
array-examples/standard_copy4_false-unreach-call_ground.i 901    890     1230 13400   901    890     1230 9930   901    893     682 9850   901    890     1110 11900  
array-examples/standard_copy5_false-unreach-call_ground.i 901    889     1240 11300   901    890     2320 10900   901    893     669 8830   901    891     1680 11000  
array-examples/standard_copy6_false-unreach-call_ground.i 901    889     1720 12600   901    890     1910 10500   901    893     691 9550   901    890     1910 13000  
array-examples/standard_copy7_false-unreach-call_ground.i 901    889     1630 12400   901    889     1710 10800   901    893     707 9350   901    889     1680 10400  
array-examples/standard_copy8_false-unreach-call_ground.i 901    890     1760 11100   901    889     1600 10300   901    893     705 9240   901    888     1560 12800  
array-examples/standard_copy9_false-unreach-call_ground.i 901    889     1670 9650   901    889     1720 10300   901    892     709 9630   901    890     1720 11300  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    891     1270 12300   901    891     1310 11000   901    894     630 10800   901    891     1270 11400  
array-examples/standard_init1_false-unreach-call_ground.i 901    889     853 11000   901    889     823 12600   901    893     700 11900   901    890     824 11400  
array-examples/standard_init2_false-unreach-call_ground.i 901    888     853 11400   901    888     820 11200   901    893     673 13500   901    890     828 11400  
array-examples/standard_init3_false-unreach-call_ground.i 901    890     850 11200   901    890     900 11400   901    893     649 10500   901    890     845 12700  
array-examples/standard_init4_false-unreach-call_ground.i 901    889     814 10600   901    889     825 11200   901    893     690 10700   901    890     859 10900  
array-examples/standard_init5_false-unreach-call_ground.i 901    889     815 12400   901    887     872 12400   901    893     669 10200   901    890     836 11000  
array-examples/standard_init6_false-unreach-call_ground.i 901    889     818 11500   901    889     949 11200   901    893     689 10500   901    890     838 13400  
array-examples/standard_init7_false-unreach-call_ground.i 901    889     840 9940   901    889     794 11500   901    893     685 11200   901    889     833 9660  
array-examples/standard_init8_false-unreach-call_ground.i 901    889     826 12900   901    889     832 11800   901    892     685 11100   901    889     825 11900  
array-examples/standard_init9_false-unreach-call_ground.i 901    889     838 11300   901    889     837 11500   901    893     681 10600   901    889     893 11100  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    890     807 11900   901    890     804 11400   901    891     864 10300   901    890     827 10400  
array-examples/standard_partition_false-unreach-call_ground.i 901    891     1270 12300   901    891     1200 13900   901    893     699 12300   901    891     1280 9730  
array-examples/standard_running_false-unreach-call.i 901    891     1260 12600   901    891     1390 10900   901    893     737 10400   901    891     1280 11400  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    890     1000 14100   901    891     1270 11400   901    891     993 10300   901    891     1380 12200  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    891     1270 11400   901    892     1250 12800   901    892     677 8750   901    891     959 12500  
array-examples/relax_true-unreach-call.i 7.68 4.85  322 77.1 7.56 4.86  322 80.6 7.41 4.71  321 80.7 7.39 4.75  324 81.8
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    890     853 12800   901    890     837 10900   901    891     788 10200   901    891     869 11000  
array-examples/sanfoundry_10_true-unreach-call_ground.i 2.50 1.09  285 21.8 2.61 1.17  281 25.5 2.78 1.18  296 24.7 2.64 1.12  293 21.1
array-examples/sanfoundry_24_true-unreach-call.i 3.97 1.51  360 29.1 3.85 1.52  363 29.8 3.02 1.23  299 24.9 3.94 1.50  371 31.5
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    890     797 10600   901    890     809 13400   901    891     943 10600   901    890     832 13500  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.27 .971 216 22.5 2.22 .953 217 18.9 2.13 .932 219 19.8 2.16 .960 218 18.5
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    891     785 12500   901    890     728 10900   901    893     858 11000   901    890     751 12400  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 904    901     1250 5740   904    900     1250 4710   904    901     1240 7050   3.47 1.36  358 29.0
array-examples/standard_compareModified_true-unreach-call_ground.i 901    891     1280 11100   901    891     1240 11800   901    892     687 10800   901    892     1310 11900  
array-examples/standard_compare_true-unreach-call_ground.i 901    891     1330 13800   901    891     1440 10800   901    891     934 10500   901    891     1430 11000  
array-examples/standard_copy1_true-unreach-call_ground.i 901    890     1210 11500   901    891     1350 11300   901    894     615 10600   901    891     1540 11900  
array-examples/standard_copy2_true-unreach-call_ground.i 901    890     1240 10400   901    890     1210 11200   901    893     691 9190   901    891     1300 12400  
array-examples/standard_copy3_true-unreach-call_ground.i 901    890     1230 11000   901    890     1190 10200   901    893     676 9330   901    891     1190 12200  
array-examples/standard_copy4_true-unreach-call_ground.i 901    890     1260 10300   901    890     1220 10900   901    893     640 10300   901    891     1210 11500  
array-examples/standard_copy5_true-unreach-call_ground.i 901    890     2060 11400   901    890     2270 12800   901    894     679 9710   901    890     1740 11400  
array-examples/standard_copy6_true-unreach-call_ground.i 901    890     1720 11800   901    890     1860 13700   901    893     712 10400   901    891     1770 12500  
array-examples/standard_copy7_true-unreach-call_ground.i 901    889     1730 10400   901    890     1650 13500   901    893     700 8470   901    890     1720 11600  
array-examples/standard_copy8_true-unreach-call_ground.i 901    889     1610 11200   901    890     1740 10600   901    893     706 9970   901    890     1740 11000  
array-examples/standard_copy9_true-unreach-call_ground.i 901    889     1670 12100   901    890     1740 12800   901    893     731 8800   901    889     1640 11500  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    891     1240 12400   901    890     1450 10800   901    893     629 8860   901    891     1330 12500  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    890     1330 12300   901    891     1310 10300   901    893     621 11600   901    890     1250 11800  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    891     1400 10400   901    890     1280 11300   901    893     664 10800   901    891     1340 10800  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    891     1270 10900   901    891     1280 11300   901    893     613 11400   901    890     1190 10800  
array-examples/standard_find_true-unreach-call_ground.i 901    890     876 11000   901    890     870 11300   901    893     758 10400   901    890     910 12700  
array-examples/standard_init1_true-unreach-call_ground.i 901    889     824 10600   901    890     821 9970   901    893     731 13500   901    889     839 12100  
array-examples/standard_init2_true-unreach-call_ground.i 901    889     842 11700   901    889     819 11600   901    893     692 12400   901    889     813 12400  
array-examples/standard_init3_true-unreach-call_ground.i 901    889     830 11200   901    890     927 12200   901    893     689 10700   901    890     796 10400  
array-examples/standard_init4_true-unreach-call_ground.i 901    889     818 10600   901    889     868 10400   901    893     701 12200   901    890     818 11500  
array-examples/standard_init5_true-unreach-call_ground.i 901    888     836 11400   901    888     835 11300   901    893     673 12800   901    890     923 11600  
array-examples/standard_init6_true-unreach-call_ground.i 901    889     842 10700   901    889     829 12100   901    893     666 13500   901    888     870 11500  
array-examples/standard_init7_true-unreach-call_ground.i 901    889     832 10500   901    889     871 12200   901    892     595 10800   901    890     822 12600  
array-examples/standard_init8_true-unreach-call_ground.i 901    890     898 11100   901    889     879 11900   901    893     673 12200   901    889     826 12300  
array-examples/standard_init9_true-unreach-call_ground.i 901    889     832 13400   901    889     814 10800   901    892     672 9630   901    890     811 11200  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    890     832 12500   901    890     832 13100   901    891     843 10900   901    889     807 11400  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    890     810 12200   901    890     842 11500   901    891     1110 10900   901    890     811 11500  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    891     870 10700   901    891     851 10300   901    893     744 10600   901    890     1030 11000  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    892     1340 11800   901    891     1340 10900   901    894     688 11900   901    891     1300 10800  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    891     1340 10700   901    891     1330 10900   901    894     692 11800   901    891     1230 13000  
array-examples/standard_partition_true-unreach-call_ground.i 901    891     1340 10800   901    891     1340 9840   901    893     760 9750   901    891     1270 12100  
array-examples/standard_password_true-unreach-call_ground.i 901    891     1250 11100   901    891     1340 11400   901    891     814 11500   901    890     1280 11600  
array-examples/standard_reverse_true-unreach-call_ground.i 901    891     1280 11100   901    891     1310 10800   901    894     767 11700   901    891     1450 11000  
array-examples/standard_running_true-unreach-call.i 901    891     1350 11700   901    890     1350 11900   901    894     734 12300   901    891     1340 10400  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    896     582 6290   901    896     580 6470   901    897     575 6720   901    897     848 7320  
array-examples/standard_seq_init_true-unreach-call_ground.i 901    891     850 10500   901    890     866 12800   901    893     671 11300   901    891     873 11600  
array-examples/standard_strcmp_true-unreach-call_ground.i 907    903     4120 8470   907    904     4230 9090   904    902     3940 9890   905    901     4200 9650  
array-examples/standard_strcpy_original_true-unreach-call.i 901    891     1480 12100   901    890     1420 10600   901    893     756 10000   901    891     1420 10900  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    890     1390 14100   901    891     1340 9950   901    894     706 11600   901    891     1530 11100  
array-examples/standard_two_index_01_true-unreach-call.i 901    891     852 9620   901    891     859 12100   901    894     731 10900   901    891     859 10300  
array-examples/standard_two_index_02_true-unreach-call.i 901    892     1410 11800   901    891     1330 10600   901    894     662 9040   901    891     1380 12100  
array-examples/standard_two_index_03_true-unreach-call.i 901    891     824 11300   901    891     729 12700   901    894     648 9460   901    891     910 10400  
array-examples/standard_two_index_04_true-unreach-call.i 901    891     1350 11700   901    891     1390 10700   901    894     790 11600   901    892     1630 10800  
array-examples/standard_two_index_05_true-unreach-call.i 901    891     1240 10200   901    891     1320 11300   901    894     690 9390   901    891     1350 10600  
array-examples/standard_two_index_06_true-unreach-call.i 901    890     748 11600   901    891     839 12500   901    893     723 9510   901    891     933 11100  
array-examples/standard_two_index_07_true-unreach-call.i 901    892     1440 10700   901    891     1470 12200   901    894     735 11300   901    892     1410 10800  
array-examples/standard_two_index_08_true-unreach-call.i 901    890     1080 11300   901    891     1270 9850   901    893     759 9420   901    891     1460 10900  
array-examples/standard_two_index_09_true-unreach-call.i 901    892     1430 13300   901    892     1460 10400   901    894     740 12400   901    891     1400 10800  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 904    901     3680 6520   905    901     4340 8100   907    904     4340 9010   906    902     4620 9160  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    891     1300 11000   901    891     1350 11200   901    893     611 12900   901    891     1270 11600  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    889     838 10800   901    889     861 13100   901    893     592 11200   901    890     845 11800  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 4.08 1.40  333 35.4 90.4  86.3   15000 474   901    893     740 12200   901    890     1350 10500  
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    892     1400 10900   901    891     1400 11000   901    893     737 9430   901    891     1220 12100  
array-industry-pattern/array_range_init_false-unreach-call.i 3.80 1.40  309 29.5 86.3  82.5   15000 508   901    892     773 10700   901    891     1380 10900  
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    892     1150 11300   901    891     1210 10300   901    893     758 9900   912    903     1230 11200  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    892     761 11200   901    892     835 10700   901    892     753 12700   901    891     823 12800  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    891     1440 11500   901    891     1290 11300   901    893     715 9230   901    891     1370 12200  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    890     2050 12600   901    891     1460 10800   901    894     670 10000   901    891     1440 12800  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 4.54 1.45  376 38.3 89.8  84.9   15000 546   901    892     696 10900   901    889     1170 10000  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 4.00 1.31  330 29.4 91.5  86.7   15000 477   901    893     780 8760   901    892     1310 11600  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    890     1280 11800   901    890     1260 11500   901    893     805 9770   901    890     1190 11000  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 3.62 1.30  327 28.9 85.8  81.0   15000 625   901    893     711 9430   901    892     1310 11800  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 5.30 1.68  490 38.9 97.7  91.8   15000 527   901    894     649 10000   901    890     2010 10800  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 5.20 1.59  476 39.2 92.7  87.8   15000 539   901    893     970 11300   901    870     3920 12700  
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 3.71 1.30  325 29.7 89.0  84.3   15000 507   901    894     801 11600   901    891     2400 11500  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 3.86 1.31  330 29.2 82.6  77.7   15000 748   901    893     841 10100   901    892     1320 10100  
array-industry-pattern/array_shadowinit_true-unreach-call.i 901    896     2230 8850   901    897     3570 9430   901    893     724 8530   901    894     856 8300  
reducercommutativity/rangesum05_false-unreach-call.i 359    355     1760 3260   356    352     1600 3620   326    322     1490 2550   905    901     1470 4660  
reducercommutativity/rangesum10_false-unreach-call.i 904    901     1460 5180   904    900     1560 5400   904    900     1650 7460   905    902     1400 4260  
reducercommutativity/rangesum20_false-unreach-call.i 904    900     1590 5370   904    901     1700 9140   905    901     1490 4940   904    901     1390 4500  
reducercommutativity/rangesum40_false-unreach-call.i 903    900     1580 5010   904    901     1510 5410   904    900     1520 4680   904    901     1390 4750  
reducercommutativity/rangesum60_false-unreach-call.i 909    905     11100 11000   904    900     1460 5400   907    904     9040 11600   903    900     1600 6360  
reducercommutativity/rangesum_false-unreach-call.i 901    897     580 6210   901    897     579 6530   901    897     580 5580   901    897     563 6430  
reducercommutativity/avg05_true-unreach-call.i 902    899     4850 6960   902    898     9260 7220   906    902     6010 8670   902    898     5480 7470  
reducercommutativity/avg10_true-unreach-call.i 902    895     1870 8660   902    896     3580 10000   901    894     5560 7200   902    895     2050 8680  
reducercommutativity/avg20_true-unreach-call.i 902    892     1900 8570   902    892     1780 8390   902    892     1910 8580   902    892     1680 9360  
reducercommutativity/avg40_true-unreach-call.i 901    890     848 10100   901    889     921 9160   901    890     859 11800   901    889     903 11500  
reducercommutativity/avg60_true-unreach-call.i 901    889     898 10600   901    890     1120 10000   901    889     886 8990   901    889     953 9780  
reducercommutativity/avg_true-unreach-call.i 901    898     535 6020   901    897     539 9420   901    897     542 6990   901    898     547 6710  
reducercommutativity/max05_true-unreach-call_true-termination.i 901    897     636 10300   901    897     767 10600   901    897     775 10600   901    896     660 11100  
reducercommutativity/max10_true-unreach-call_true-termination.i 901    894     897 8620   901    894     741 8040   901    894     806 7920   901    894     786 10900  
reducercommutativity/max20_true-unreach-call.i 901    891     969 7060   901    892     975 7600   901    891     1230 8060   901    891     1080 8610  
reducercommutativity/max40_true-unreach-call.i 901    889     758 10900   901    889     768 11600   901    890     787 11500   901    889     799 10700  
reducercommutativity/max60_true-unreach-call.i 901    887     788 12400   901    887     740 12000   901    889     751 12900   901    887     794 11200  
reducercommutativity/max_true-unreach-call.i 901    897     509 7340   901    897     517 6610   901    897     512 5900   901    897     547 8590  
reducercommutativity/sep05_true-unreach-call.i 903    898     2710 5590   902    897     1870 6530   902    897     2040 6680   902    897     2130 6910  
reducercommutativity/sep10_true-unreach-call.i 903    896     2990 6150   903    896     2940 7330   903    896     3060 6950   903    896     3140 6010  
reducercommutativity/sep20_true-unreach-call.i 901    890     1510 7920   902    891     1650 8830   902    892     2210 9480   902    891     1700 7840  
reducercommutativity/sep40_true-unreach-call.i 901    890     800 12000   901    890     818 12200   901    890     874 12500   901    890     802 11200  
reducercommutativity/sep60_true-unreach-call.i 901    889     1010 12500   901    888     785 10800   901    890     766 11000   901    889     893 10800  
reducercommutativity/sep_true-unreach-call.i 901    897     508 6710   901    898     513 6900   901    898     511 7730   901    897     545 6310  
reducercommutativity/sum05_true-unreach-call_true-termination.i 905    901     2980 5960   902    898     1960 9850   905    901     4230 10300   902    898     2700 11500  
reducercommutativity/sum10_true-unreach-call.i 901    895     1670 11300   901    895     1590 10600   902    895     1770 11500   901    895     1410 10900  
reducercommutativity/sum20_true-unreach-call.i 901    892     1720 9900   902    892     2170 9720   902    893     2590 12900   901    892     1560 10100  
reducercommutativity/sum40_true-unreach-call.i 901    889     783 11600   901    889     815 10800   901    890     861 11100   901    889     794 12600  
reducercommutativity/sum60_true-unreach-call.i 901    889     1000 11200   901    889     762 11000   901    890     736 11800   901    888     839 13300  
reducercommutativity/sum_true-unreach-call.i 901    897     510 6960   901    897     508 5900   901    897     509 5800   901    897     550 6390  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 3.88 1.64  292 32.2 4.00 1.66  288 37.3 3.97 1.63  294 37.7 4.09 1.68  299 35.7
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    897     678 6070   901    897     678 5970   901    897     679 6660   901    898     680 6050  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 4.16 1.74  303 34.5 3.97 1.64  289 33.8 3.86 1.64  293 32.6 3.80 1.60  293 35.3
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 3.98 1.62  289 32.0 3.88 1.63  295 35.5 3.84 1.67  293 35.4 3.93 1.63  295 35.7
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 2.53 1.06  301 23.4 2.62 1.14  300 22.4 2.50 1.06  292 22.0 2.58 1.10  302 21.7
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 2.41 1.03  281 21.2 2.43 1.06  284 21.1 2.38 .992 286 21.8 2.43 1.01  278 18.7
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 2.44 .998 290 21.6 2.41 1.01  282 23.3 2.46 1.04  280 22.7 2.70 1.13  291 20.2
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 2.53 1.12  299 23.9 2.46 1.09  297 24.2 2.51 1.12  241 25.2 2.72 1.19  308 23.3
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 7.67 4.80  334 80.6 7.70 4.93  318 79.0 7.57 5.01  311 73.8 7.76 5.18  313 76.0
bitvector/jain_1_true-unreach-call_true-no-overflow.i 2.50 1.03  282 23.7 2.50 1.05  281 20.3 2.42 1.02  282 21.1 2.47 1.03  279 21.4
bitvector/jain_2_true-unreach-call_true-no-overflow.i 2.18 .935 215 22.5 2.13 .959 221 19.2 2.33 .969 224 19.4 2.32 .952 219 19.9
bitvector/jain_4_true-unreach-call_true-no-overflow.i 2.17 .962 220 18.3 2.17 .954 218 22.0 2.17 .961 218 19.8 2.13 .936 217 20.1
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    891     646 9000   901    891     631 9510   901    891     643 9310   901    891     668 9340  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 2.15 .971 218 21.8 2.18 .937 222 17.6 2.12 .944 217 18.3 2.06 .932 217 19.7
bitvector/jain_7_true-unreach-call_true-no-overflow.i 2.31 .971 230 20.5 2.28 .988 230 20.4 2.25 .963 229 22.4 2.29 .971 228 20.4
bitvector/modulus_true-unreach-call_true-no-overflow.i 3.33 2.07  271 33.1 3.34 2.09  272 35.9 3.40 2.09  276 31.7 3.46 2.10  276 36.6
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 3.72 1.68  290 33.8 3.64 1.59  294 32.7 3.73 1.60  303 35.0 3.60 1.60  288 32.5
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 3.97 1.92  298 37.1 4.12 2.00  304 36.7 3.92 1.89  299 37.2 4.16 1.99  298 42.2
bitvector/parity_true-unreach-call_true-no-overflow.i 2.18 .965 217 19.2 2.23 .959 222 19.4 2.22 .994 227 22.5 2.30 .977 224 22.4
bitvector/sum02_true-unreach-call_true-no-overflow.i 5.77 4.29  430 50.3 5.73 4.18  428 53.3 5.95 4.23  435 43.1 5.62 4.10  428 54.6
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 10.5  5.51  401 100   9.68 5.61  383 86.0 9.88 5.66  398 94.2 10.6  6.45  395 100  
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 21.4  16.2   444 244   22.3  16.4   446 257   24.0  16.4   464 236   22.2  16.2   441 264  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 4.17 1.73  298 40.3 4.31 1.73  299 36.3 4.31 1.77  305 39.6 4.26 1.77  305 37.0
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 13.2  9.25  370 143   14.0  9.79  382 173   14.2  10.2   382 166   12.0  7.99  380 134  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 17.6  13.7   342 225   17.7  13.7   340 236   901    895     697 8410   901    895     701 7650  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 5.41 2.31  322 43.5 5.28 2.29  319 53.6 5.22 2.29  317 46.8 5.24 2.27  318 52.7
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 180    177     964 1400   10.5  7.66  418 101   17.8  15.1   488 233   10.4  7.67  414 110  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 26.6  19.4   484 340   27.7  19.6   489 310   26.5  19.1   491 322   26.6  19.1   491 304  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 108    102     576 1380   104    98.3   627 1280   901    894     845 7600   105    99.5   639 1410  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 68.2  62.1   634 796   70.6  64.7   574 856   71.3  65.2   579 948   72.6  65.9   598 1020  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 5.13 2.74  352 50.2 4.99 2.71  350 46.2 5.03 2.74  347 52.2 4.92 2.71  347 51.6
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 11.0  7.83  429 109   11.2  7.96  433 118   11.2  7.87  428 118   10.9  7.88  428 115  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 3.86 1.49  321 35.0 3.54 1.42  305 29.3 3.48 1.43  291 30.3 3.42 1.44  295 29.2
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 4.44 1.53  299 38.5 4.47 1.60  301 37.8 4.60 1.59  297 42.2 4.66 1.55  300 36.5
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 4.56 1.58  304 42.6 4.51 1.53  299 39.0 4.63 1.57  295 39.9 4.56 1.55  295 44.2
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 3.59 1.59  298 33.6 3.56 1.63  291 33.0 3.69 1.66  301 33.2 3.68 1.64  301 31.4
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 4.56 1.56  298 45.0 4.57 1.54  305 42.9 4.57 1.61  302 37.6 4.68 1.56  293 31.2
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.28 1.05  219 19.8 2.11 .954 237 19.8 2.21 .952 234 20.7 2.08 .967 219 18.2
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.24 1.04  219 21.2 2.22 .967 222 20.0 2.18 .958 236 18.3 2.15 .959 219 19.0
bitvector-regression/integerpromotion_false-unreach-call.c 2.17 .963 218 17.9 2.23 .934 224 22.7 2.06 .934 221 17.6 2.22 .957 218 18.3
bitvector-regression/recHanoi03_false-unreach-call.c 2.10 .947 213 20.2 2.07 .928 217 19.4 2.12 .920 216 18.9 2.08 .940 214 18.7
bitvector-regression/signextension2_false-unreach-call.c 2.20 .989 218 20.6 2.17 .937 219 18.9 2.17 .972 218 22.3 2.16 .969 218 19.0
bitvector-regression/signextension_false-unreach-call.c 2.24 1.03  219 21.3 2.13 .966 218 20.7 2.14 .944 221 19.2 2.14 .960 220 20.0
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.13 .961 221 18.4 2.17 .947 225 19.8 2.08 .947 220 17.8 2.21 1.02  215 20.9
bitvector-regression/integerpromotion_true-unreach-call.c 2.25 .929 220 19.4 2.19 .956 235 20.5 2.12 .970 217 19.3 2.31 1.04  216 19.6
bitvector-regression/signextension2_true-unreach-call.c 2.24 .955 223 18.2 2.26 .984 219 20.8 2.16 .971 218 19.6 2.20 .982 224 19.3
bitvector-regression/signextension_true-unreach-call.c 2.08 .954 220 18.3 2.15 .947 220 19.1 2.16 .968 225 19.7 2.17 .960 221 19.0
bitvector-loops/diamond_false-unreach-call2.i 2.73 1.25  286 24.7 2.71 1.23  291 22.9 2.66 1.19  285 26.2 2.63 1.17  288 23.3
bitvector-loops/overflow_false-unreach-call1.i 901    888     736 10600   901    888     720 11000   901    888     740 11300   901    888     727 12000  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 4.15 2.12  291 40.2 4.27 2.11  299 42.5 5.07 3.03  292 56.4 4.50 2.22  290 46.2
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.44 4.41  366 96.0 9.02 4.57  372 83.8 8.40 4.52  366 76.1 9.19 4.60  397 92.3
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.84 2.72  323 53.7 6.03 2.83  326 60.3 5.91 2.74  324 60.1 5.66 2.79  324 55.3
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.12 3.67  343 68.5 7.12 3.73  338 75.9 7.04 3.66  338 75.8 7.08 3.69  341 75.5
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.35 1.85  315 35.0 4.24 1.78  312 39.2 4.43 1.83  313 37.1 4.28 1.80  315 37.5
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.62 4.90  338 81.2 8.70 4.88  339 80.1 8.55 4.88  343 93.0 8.61 4.84  340 88.4
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.56 3.39  317 65.4 6.54 3.43  321 68.1 6.45 3.42  320 65.9 6.52 3.45  323 61.0
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.70 2.77  313 53.8 6.05 2.94  316 55.7 5.76 2.83  315 66.2 5.82 2.84  317 52.9
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.08 3.48  325 64.7 6.86 3.48  325 64.3 7.18 3.51  323 59.4 6.85 3.49  319 69.8
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.23 1.39  288 28.6 3.21 1.38  292 28.0 3.16 1.38  288 29.1 3.22 1.41  288 31.6
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.09 1.68  303 36.4 4.05 1.73  302 36.6 4.24 1.67  299 38.0 4.15 1.67  304 35.0
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 9.27 5.64  327 103   9.50 5.62  328 99.8 9.34 5.72  324 99.6 9.26 5.66  323 96.8
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 6.07 2.91  324 58.1 6.02 2.86  325 58.1 6.15 2.94  322 58.5 6.21 2.93  327 51.3
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 6.05 2.95  328 52.7 6.19 3.00  325 58.9 6.03 3.00  325 58.8 6.04 2.95  323 63.8
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 6.14 2.83  325 52.7 5.99 2.80  326 56.1 6.22 2.90  326 63.7 5.91 2.78  322 56.8
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 3.18 1.33  294 29.4 3.18 1.30  292 29.6 3.18 1.28  292 27.0 3.10 1.27  294 28.3
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 712    704     714 10500   716    708     727 8350   715    706     821 10200   739    730     715 8500  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 124    118     505 1460   123    116     499 1590   122    116     500 1500   124    117     501 1570  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 6.72 3.41  321 71.7 6.90 3.37  322 64.5 6.76 3.38  318 52.7 6.51 3.31  318 66.6
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 4.79 1.95  311 38.4 4.85 1.95  309 41.2 4.90 2.02  308 46.6 4.75 1.99  311 42.0
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 4.84 2.08  314 39.6 4.75 2.05  316 45.3 4.80 2.05  319 44.9 4.90 2.12  314 47.0
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 4.21 1.83  308 39.8 4.25 1.82  308 38.8 4.35 1.84  309 36.2 4.74 2.03  309 38.3
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 3.02 1.23  288 25.8 2.94 1.19  289 24.1 2.95 1.18  294 25.6 2.94 1.24  287 26.2
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 11.4  5.80  368 104   12.1  5.91  378 113   10.8  5.91  347 110   12.8  5.87  390 115  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 67.4  59.8   572 923   66.7  60.4   545 808   66.6  60.6   551 729   66.3  60.1   536 901  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 13.2  7.55  378 121   12.4  7.36  374 133   13.2  7.45  391 120   13.0  7.47  384 120  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 19.5  12.0   409 204   17.6  11.8   383 191   18.6  11.7   409 177   17.1  11.7   387 205  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 28.0  20.6   535 275   27.5  20.5   526 328   28.3  20.6   527 275   27.2  20.1   531 301  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 6.06 2.85  308 56.6 6.00 2.75  308 59.6 6.00 2.75  310 51.9 6.06 2.76  307 55.9
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 2.85 1.20  287 28.8 2.79 1.19  282 25.5 2.96 1.25  293 26.2 2.88 1.19  294 23.2
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 101    93.6   638 1490   102    94.3   614 1450   101    93.1   620 1160   102    94.8   624 1320  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 304    295     738 3510   300    293     728 3790   301    292     695 3580   298    291     733 4000  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 42.4  35.5   517 582   43.2  36.5   523 468   42.8  36.4   507 539   42.4  35.7   530 486  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 31.1  23.5   490 397   30.2  23.5   460 368   31.4  23.7   490 328   29.7  22.8   468 340  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 21.6  17.8   377 261   21.9  18.0   378 310   21.7  17.6   377 245   21.7  17.6   378 279  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 62.9  53.7   646 709   63.7  54.3   645 747   62.0  53.4   646 727   62.1  53.3   636 745  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.93 1.18  293 26.4 2.84 1.15  287 23.5 2.87 1.15  295 27.9 2.77 1.15  285 24.0
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.76 1.16  290 24.5 2.88 1.20  289 23.1 2.83 1.17  291 25.2 2.97 1.20  300 25.7
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 2.63 1.07  281 24.7 2.68 1.13  285 26.3 2.76 1.08  291 22.6 2.59 1.06  282 22.1
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 2.82 1.22  290 23.3 2.67 1.11  281 22.9 2.59 1.06  284 23.6 2.65 1.09  283 25.6
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 2.69 1.10  286 24.2 2.70 1.10  291 23.8 2.66 1.12  282 23.1 2.71 1.10  293 25.7
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 2.73 1.13  292 25.7 2.65 1.11  288 25.4 2.75 1.10  282 22.1 2.65 1.09  288 24.0
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 2.74 1.10  297 24.0 2.77 1.11  286 26.4 2.65 1.08  283 22.3 2.69 1.10  295 27.1
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 2.64 1.10  286 21.5 2.71 1.10  294 24.3 2.83 1.14  286 25.4 2.75 1.12  295 25.7
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.54 1.04  284 22.2 2.53 1.05  279 24.2 2.59 1.08  287 23.9 2.56 1.06  288 20.0
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.58 1.05  286 22.3 2.44 1.02  284 21.8 2.55 1.05  282 24.2 2.56 1.04  285 22.7
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.61 1.08  282 23.1 2.57 1.05  282 22.6 2.50 1.04  279 20.8 2.55 1.09  282 22.6
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 2.70 1.09  279 23.7 2.66 1.09  287 20.8 2.55 1.04  280 20.1 2.72 1.10  295 23.6
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 2.81 1.13  290 20.8 2.67 1.10  281 23.7 2.60 1.07  283 22.1 2.69 1.08  285 21.7
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    855     1060 10400   902    854     1030 9680   901    856     1130 9440   901    855     1030 10900  
ntdrivers/diskperf_false-unreach-call.i.cil.c 152    147     656 1650   167    163     671 1720   15.3  10.6   495 147   15.9  10.8   531 127  
ntdrivers/floppy_false-unreach-call.i.cil.c 912    906     4720 7190   912    906     4720 6860   296    285     1140 2750   901    894     1630 6850  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 9.87 6.05  357 101   9.79 6.08  359 84.7 7.47 3.96  357 70.3 9.77 5.88  369 77.1
ntdrivers/parport_false-unreach-call.i.cil.c 19.4  11.5   460 172   19.7  11.4   461 156   17.8  9.79  460 160   20.3  12.4   449 179  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 8.48 3.32  365 74.1 8.58 3.31  355 73.0 8.47 3.36  368 70.5 8.68 3.52  369 82.5
ntdrivers/diskperf_true-unreach-call.i.cil.c 176    171     677 1480   173    168     679 1540   19.5  14.6   548 164   22.9  17.9   731 213  
ntdrivers/floppy2_true-unreach-call.i.cil.c 901    888     747 6110   901    888     710 7470   127    112     970 1010   809    795     757 4790  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 912    906     4730 8600   912    905     4740 5990   901    889     1070 7700   901    894     1450 6230  
ntdrivers/parport_true-unreach-call.i.cil.c 18.5  10.9   454 187   20.3  11.5   441 196   17.4  9.52  476 141   19.7  11.8   466 216  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 59.9  54.2   425 663   29.9  25.7   335 390   903    899     1330 9060   14.0  9.49  369 168  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 6.13 3.18  320 58.7 6.19 3.20  323 54.7 902    898     1730 9910   6.20 3.30  316 63.8
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 6.76 3.75  324 59.0 6.78 3.79  321 61.4 903    899     1530 9740   13.8  9.55  354 149  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 7.11 4.05  323 67.5 7.74 4.56  319 82.3 901    897     1200 10200   13.1  9.01  347 130  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 8.21 5.06  333 77.0 8.60 5.07  336 76.7 6.82 3.42  335 77.0 6.07 2.68  332 53.3
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 7.95 4.68  334 72.6 7.80 4.65  333 73.0 6.22 2.83  337 58.9 6.03 2.70  331 55.9
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 7.62 4.15  337 71.4 7.41 4.11  342 79.6 6.10 2.94  331 56.2 6.27 3.00  330 59.8
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 8.60 5.37  338 92.5 8.77 5.45  338 93.1 6.20 2.92  333 57.2 6.24 2.79  332 55.5
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 4.38 1.81  313 43.9 4.36 1.77  311 40.1 905    901     2180 9840   5.94 2.77  323 49.3
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 7.53 4.27  331 79.3 7.54 4.33  332 78.8 902    897     1420 12300   903    900     2990 10800  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 904    900     1910 7220   901    894     714 8850   903    899     1550 9160   904    900     2120 7070  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 8.36 5.06  342 82.7 8.26 4.99  343 85.7 901    896     1270 11000   903    899     2730 11500  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 12.0  8.52  323 159   65.6  61.0   371 941   902    898     1570 10400   904    900     2180 9240  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 7.09 3.92  316 81.4 7.28 3.93  319 71.8 12.3  7.74  346 117   904    899     2180 9310  
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 17.1  13.4   344 206   16.0  12.2   340 180   904    901     1930 9390   905    900     1470 5750  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 38.0  33.1   380 430   35.7  30.7   369 433   901    897     1250 12600   902    898     3160 11300  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 58.7  52.1   465 679   17.9  14.2   351 210   902    898     1870 9700   906    902     1840 8120  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 11.6  8.16  325 142   11.5  8.08  323 127   902    898     1500 9560   905    901     2290 8640  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 9.26 5.77  319 90.8 903    898     1410 7660   906    903     2040 9560   6.20 2.99  321 59.8
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 9.53 6.51  326 107   902    898     1500 10000   901    897     1260 10200   902    896     1540 12500  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 7.70 4.66  329 83.8 7.60 4.64  325 73.9 902    898     1330 9710   902    897     1650 11500  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 14.9  11.2   340 197   18.4  14.7   345 233   904    899     1300 9110   13.2  9.47  334 155  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 908    902     6180 9780   276    268     551 2540   902    898     1490 11000   904    900     1480 8220  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 903    898     3540 9800   70.3  65.6   378 837   902    897     1510 9990   903    899     2780 12600  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 22.6  19.2   340 249   152    147     447 1760   904    899     1460 8650   902    897     1680 9770  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 905    899     5280 9980   901    892     774 9010   126    118     513 1460   904    900     2880 11300  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 10.7  7.26  334 107   11.0  7.44  335 107   902    897     1850 8760   904    900     1650 9610  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 95.1  89.9   426 976   145    140     443 1520   902    896     1940 9790   902    898     3820 12800  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 12.0  8.34  336 103   11.8  8.30  331 136   903    897     1380 8960   903    899     2750 11300  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 905    899     6710 9200   46.3  42.2   359 548   901    896     1290 12700   903    899     2820 11000  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 904    899     1900 9750   10.7  7.22  327 127   901    896     1430 12600   902    897     1530 11900  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 904    897     4090 9900   903    897     2340 11400   10.9  7.42  332 116   904    900     2750 12500  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 42.4  37.8   375 502   10.5  7.07  328 120   903    898     1470 12000   902    898     1480 8470  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 27.1  22.7   335 311   32.8  28.6   359 424   146    138     510 1560   904    900     2900 11600  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 49.9  45.3   357 472   41.4  37.0   360 507   902    894     1120 9840   903    899     3680 12600  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 903    897     2380 9280   73.0  68.4   369 819   195    188     578 1570   902    898     2480 10600  
eca-rers2012/Problem01_label15_false-unreach-call.c 10.5  3.25  528 82.9 10.5  3.07  539 90.9 10.5  3.11  532 86.2 10.5  3.17  528 85.6
eca-rers2012/Problem01_label20_false-unreach-call.c 12.9  3.78  585 123   13.5  3.88  570 105   12.8  3.73  586 111   12.4  3.67  565 103  
eca-rers2012/Problem01_label21_false-unreach-call.c 10.4  3.12  526 84.4 10.1  3.15  526 87.0 9.90 3.10  528 88.0 10.9  3.20  535 86.8
eca-rers2012/Problem01_label32_false-unreach-call.c 12.8  3.68  585 97.3 12.8  3.86  570 79.2 12.6  3.71  576 93.1 11.8  3.62  571 93.3
eca-rers2012/Problem01_label33_false-unreach-call.c 12.0  3.48  566 96.6 11.6  3.45  561 92.6 11.7  3.47  562 90.3 11.6  3.52  561 92.9
eca-rers2012/Problem01_label35_false-unreach-call.c 10.8  3.32  535 86.8 11.1  3.29  533 85.8 10.1  3.13  529 85.2 10.5  3.13  531 72.4
eca-rers2012/Problem01_label37_false-unreach-call.c 12.0  3.69  556 103   12.0  3.56  550 95.0 12.7  3.92  553 104   13.5  4.11  550 95.7
eca-rers2012/Problem01_label38_false-unreach-call.c 10.4  3.11  531 87.5 10.9  3.27  535 89.1 10.4  3.10  523 79.5 10.7  3.15  534 84.3
eca-rers2012/Problem01_label44_false-unreach-call.c 9.23 2.80  500 79.5 9.05 2.87  490 72.2 9.73 2.95  494 84.5 9.86 3.03  493 81.4
eca-rers2012/Problem01_label47_false-unreach-call.c 12.6  3.67  569 85.6 12.6  3.84  576 97.9 12.6  3.80  574 94.8 12.1  3.77  584 90.5
eca-rers2012/Problem01_label50_false-unreach-call.c 10.3  3.12  535 89.5 10.4  3.12  538 88.5 10.4  3.13  529 90.7 10.7  3.29  539 78.6
eca-rers2012/Problem01_label56_false-unreach-call.c 12.8  3.73  553 104   11.1  3.38  558 90.9 13.0  3.91  574 108   11.5  3.49  552 84.0
eca-rers2012/Problem01_label57_false-unreach-call.c 11.9  3.68  561 95.9 11.5  3.55  551 85.6 12.0  3.63  554 102   11.7  3.43  550 88.8
eca-rers2012/Problem02_label13_false-unreach-call.c 8.60 2.75  411 71.5 7.72 2.50  394 62.9 8.04 2.42  412 69.0 7.66 2.42  394 63.1
eca-rers2012/Problem02_label16_false-unreach-call.c 7.68 2.49  395 72.0 7.83 2.44  417 60.7 7.55 2.41  383 59.2 7.49 2.44  380 65.6
eca-rers2012/Problem02_label43_false-unreach-call.c 8.08 2.57  407 68.0 8.02 2.47  387 65.2 7.72 2.46  410 65.9 7.52 2.39  405 67.6
eca-rers2012/Problem02_label44_false-unreach-call.c 7.67 2.50  401 60.4 7.66 2.45  382 59.2 7.42 2.46  403 64.3 7.69 2.43  400 73.2
eca-rers2012/Problem02_label45_false-unreach-call.c 8.86 2.81  465 75.7 8.86 2.74  480 68.1 9.18 2.75  470 82.4 9.09 2.78  471 78.2
eca-rers2012/Problem02_label50_false-unreach-call.c 8.84 2.69  464 64.9 8.95 2.76  467 82.8 8.86 2.76  459 78.5 9.08 2.77  465 75.5
eca-rers2012/Problem02_label59_false-unreach-call.c 8.98 2.71  471 70.6 8.92 2.76  472 75.4 9.64 2.99  473 81.6 9.03 2.76  475 83.2
eca-rers2012/Problem03_label09_false-unreach-call.c 23.6  7.82  792 181   22.9  7.88  798 170   23.0  7.97  814 172   23.1  7.66  791 192  
eca-rers2012/Problem03_label13_false-unreach-call.c 23.6  7.28  814 191   22.8  6.88  791 164   20.2  6.87  783 143   22.6  7.09  791 166  
eca-rers2012/Problem03_label26_false-unreach-call.c 21.7  6.51  676 149   20.9  6.13  698 167   19.0  5.91  684 149   21.8  6.34  701 176  
eca-rers2012/Problem03_label27_false-unreach-call.c 20.9  7.09  771 170   21.1  7.22  790 171   20.2  6.78  784 170   20.9  7.06  773 186  
eca-rers2012/Problem03_label28_false-unreach-call.c 23.2  7.85  772 171   20.4  6.78  803 163   22.9  6.97  798 169   22.4  7.05  776 164  
eca-rers2012/Problem03_label31_false-unreach-call.c 23.2  6.78  777 152   21.7  6.84  786 168   21.7  6.83  781 167   21.2  6.60  787 157  
eca-rers2012/Problem03_label35_false-unreach-call.c 25.9  9.06  811 188   24.7  8.54  802 171   22.8  8.11  826 179   24.6  8.48  809 193  
eca-rers2012/Problem03_label37_false-unreach-call.c 20.6  6.64  766 164   19.5  6.62  774 175   20.0  6.78  775 157   22.1  7.33  788 162  
eca-rers2012/Problem03_label39_false-unreach-call.c 23.8  7.99  803 176   20.3  7.45  796 150   23.2  7.66  802 207   20.4  7.72  777 166  
eca-rers2012/Problem03_label43_false-unreach-call.c 22.4  7.24  776 186   20.6  7.28  785 148   21.4  7.45  780 162   24.3  7.38  799 210  
eca-rers2012/Problem03_label45_false-unreach-call.c 21.2  7.54  806 173   24.1  7.96  823 192   21.0  7.87  777 159   23.4  7.89  801 202  
eca-rers2012/Problem03_label50_false-unreach-call.c 21.4  6.84  778 171   22.9  7.08  810 159   21.8  6.76  768 168   18.7  6.81  771 142  
eca-rers2012/Problem03_label52_false-unreach-call.c 23.2  8.12  819 195   21.8  8.11  762 189   22.1  7.95  820 178   21.4  8.10  787 167  
eca-rers2012/Problem04_label04_false-unreach-call.c 128    103     3810 973   126    100     3800 1050   124    101     3810 980   129    104     3810 1030  
eca-rers2012/Problem04_label06_false-unreach-call.c 127    103     3910 879   122    99.5   3820 986   122    98.2   3910 975   124    99.4   3860 1260  
eca-rers2012/Problem04_label09_false-unreach-call.c 116    93.0   3710 956   117    93.3   3710 856   114    91.5   3670 873   112    90.5   3810 940  
eca-rers2012/Problem04_label11_false-unreach-call.c 121    97.3   3670 926   119    93.8   3830 959   124    103     3630 885   125    100     3810 1140  
eca-rers2012/Problem04_label12_false-unreach-call.c 137    111     3960 1030   141    116     4130 1260   147    121     3980 1100   139    116     4000 1030  
eca-rers2012/Problem04_label13_false-unreach-call.c 100    78.6   3660 811   112    86.1   3670 906   110    86.5   3730 870   106    81.9   3730 865  
eca-rers2012/Problem04_label14_false-unreach-call.c 124    99.4   3820 924   115    92.0   3760 1030   112    90.8   3710 840   126    101     3780 1020  
eca-rers2012/Problem04_label15_false-unreach-call.c 117    92.2   3690 1170   116    94.5   3720 843   122    98.6   3780 989   124    98.4   3730 960  
eca-rers2012/Problem04_label17_false-unreach-call.c 111    89.0   3690 861   114    90.2   3600 832   117    95.7   3780 857   114    90.2   3650 966  
eca-rers2012/Problem04_label18_false-unreach-call.c 109    86.4   3670 856   112    89.6   3740 1050   117    95.2   3700 912   110    88.6   3770 902  
eca-rers2012/Problem04_label19_false-unreach-call.c 126    101     3730 879   119    96.1   3790 1160   132    105     3780 1030   127    104     3830 1150  
eca-rers2012/Problem04_label26_false-unreach-call.c 121    95.4   3730 1270   118    93.4   3780 933   118    91.8   3700 833   116    91.0   3780 929  
eca-rers2012/Problem04_label27_false-unreach-call.c 108    84.3   3620 866   111    87.1   3700 892   113    87.0   3670 861   111    87.6   3650 865  
eca-rers2012/Problem04_label31_false-unreach-call.c 127    105     3800 1030   138    112     3850 1110   138    113     3750 975   135    113     3830 1030  
eca-rers2012/Problem04_label32_false-unreach-call.c 114    89.4   4150 923   115    90.5   3770 849   115    91.3   3720 1030   114    90.6   3750 901  
eca-rers2012/Problem04_label35_false-unreach-call.c 114    91.4   3790 857   117    94.1   3720 903   115    91.5   3760 907   116    92.8   3710 821  
eca-rers2012/Problem04_label36_false-unreach-call.c 114    89.4   3740 794   106    83.2   3710 944   116    89.8   3640 801   109    85.5   3870 971  
eca-rers2012/Problem04_label38_false-unreach-call.c 119    96.1   3670 1230   125    99.4   3790 951   121    97.9   3800 968   119    97.3   3750 881  
eca-rers2012/Problem04_label39_false-unreach-call.c 129    104     3760 1100   125    103     3740 892   126    101     3830 997   122    96.0   3870 958  
eca-rers2012/Problem04_label40_false-unreach-call.c 129    107     3690 1000   123    101     3770 1170   135    109     3740 969   129    105     3790 1070  
eca-rers2012/Problem04_label45_false-unreach-call.c 108    84.5   3850 987   121    95.5   3610 1170   139    115     3770 1170   137    113     3810 1510  
eca-rers2012/Problem04_label52_false-unreach-call.c 126    102     4210 1090   124    101     3820 1010   125    99.4   3860 952   121    97.7   3890 1290  
eca-rers2012/Problem04_label55_false-unreach-call.c 113    90.4   3630 1000   113    88.1   3650 1010   113    89.5   3710 954   114    90.9   3670 1000  
eca-rers2012/Problem04_label58_false-unreach-call.c 141    118     3890 1030   146    119     3820 1110   135    111     3880 1420   141    117     3850 942  
eca-rers2012/Problem05_label00_false-unreach-call.c 171    143     3120 1380   169    140     3070 1400   172    143     3020 1240   169    143     3110 1440  
eca-rers2012/Problem05_label01_false-unreach-call.c 164    137     3150 1320   158    133     3060 1390   166    138     3120 1160   165    137     3170 1230  
eca-rers2012/Problem05_label11_false-unreach-call.c 157    126     3010 1130   154    125     3050 1080   155    123     3120 1500   154    125     3060 1290  
eca-rers2012/Problem05_label13_false-unreach-call.c 155    129     3100 1190   157    129     3160 1180   159    129     3090 1170   155    127     3060 1260  
eca-rers2012/Problem05_label15_false-unreach-call.c 166    136     3220 1310   159    133     3150 1180   167    137     3150 1300   164    133     3120 1240  
eca-rers2012/Problem05_label18_false-unreach-call.c 168    138     3100 1270   169    141     3070 1260   165    135     3070 1630   163    134     3100 1570  
eca-rers2012/Problem05_label24_false-unreach-call.c 150    123     3070 1300   149    121     2980 1510   154    124     3040 1190   148    121     3070 1260  
eca-rers2012/Problem05_label26_false-unreach-call.c 158    127     3060 1190   155    126     3100 1060   153    126     3090 1150   155    126     3130 1070  
eca-rers2012/Problem05_label30_false-unreach-call.c 147    120     3090 1340   158    129     3190 1240   153    127     3110 1230   150    123     3090 1450  
eca-rers2012/Problem05_label32_false-unreach-call.c 170    139     3090 1260   159    131     3070 1210   163    136     3130 1330   165    137     3120 1250  
eca-rers2012/Problem05_label33_false-unreach-call.c 163    134     3120 1250   166    136     3050 1360   167    137     3060 1400   167    136     3070 1180  
eca-rers2012/Problem05_label36_false-unreach-call.c 166    138     3120 1370   163    137     3180 1310   166    138     3150 1320   166    136     3140 1180  
eca-rers2012/Problem05_label37_false-unreach-call.c 155    128     3060 1170   155    130     3080 1230   159    129     3080 1400   164    131     3120 1300  
eca-rers2012/Problem05_label38_false-unreach-call.c 163    134     3070 1290   153    128     3040 1120   159    128     2990 1160   155    127     3120 1180  
eca-rers2012/Problem05_label39_false-unreach-call.c 169    139     3090 1260   165    138     3040 1200   161    135     3040 1250   165    137     3050 1290  
eca-rers2012/Problem05_label40_false-unreach-call.c 153    126     3130 1310   154    127     3150 1150   156    127     3060 1140   157    129     3150 1130  
eca-rers2012/Problem05_label41_false-unreach-call.c 166    135     3060 1270   156    131     3020 1510   163    135     3040 1310   156    130     3060 1530  
eca-rers2012/Problem05_label44_false-unreach-call.c 156    126     3170 1230   156    127     2950 1250   156    127     3060 1330   154    125     3040 1350  
eca-rers2012/Problem05_label47_false-unreach-call.c 156    129     3060 1140   149    124     3130 1080   159    129     3030 1250   163    132     3080 1020  
eca-rers2012/Problem05_label48_false-unreach-call.c 163    133     3140 1010   154    128     2990 1260   160    131     3030 1150   160    131     3050 1090  
eca-rers2012/Problem05_label51_false-unreach-call.c 162    135     3190 1230   168    138     3080 1400   164    135     3000 1330   167    139     3040 1450  
eca-rers2012/Problem05_label55_false-unreach-call.c 152    124     3210 1220   154    126     3170 1290   153    123     3130 1210   160    128     3100 1090  
eca-rers2012/Problem05_label57_false-unreach-call.c 161    134     3080 1340   173    141     3110 1190   163    135     3100 1240   167    139     2990 1460  
eca-rers2012/Problem05_label58_false-unreach-call.c 164    135     3030 1220   160    132     3060 1640   164    136     2990 1300   159    133     3090 1390  
eca-rers2012/Problem06_label00_false-unreach-call.c 92.9  67.7   2460 599   93.8  67.4   2450 778   92.9  66.6   2480 742   90.7  66.4   2420 681  
eca-rers2012/Problem06_label01_false-unreach-call.c 105    77.9   2450 790   104    78.3   2490 869   100    75.7   2490 911   102    76.6   2470 847  
eca-rers2012/Problem06_label02_false-unreach-call.c 102    75.6   2490 781   100    76.3   2520 765   99.0  73.6   2510 845   103    77.2   2480 772  
eca-rers2012/Problem06_label04_false-unreach-call.c 97.5  72.5   2530 703   99.0  74.3   2500 746   96.2  71.8   2490 733   99.0  73.2   2470 702  
eca-rers2012/Problem06_label05_false-unreach-call.c 97.0  73.2   2490 761   96.7  70.9   2520 735   95.2  70.6   2520 734   101    73.5   2510 754  
eca-rers2012/Problem06_label09_false-unreach-call.c 90.5  66.4   2440 774   94.4  68.7   2470 817   94.4  69.0   2420 701   95.2  69.8   2440 721  
eca-rers2012/Problem06_label10_false-unreach-call.c 91.7  66.8   2480 853   91.7  70.6   2480 643   89.9  67.8   2490 916   93.9  70.5   2460 745  
eca-rers2012/Problem06_label11_false-unreach-call.c 92.3  68.0   2440 749   90.2  65.9   2450 839   93.6  69.5   2490 707   91.8  66.8   2520 931  
eca-rers2012/Problem06_label12_false-unreach-call.c 103    78.7   2440 715   102    75.5   2480 823   102    77.1   2460 688   102    76.3   2420 788  
eca-rers2012/Problem06_label15_false-unreach-call.c 98.0  72.9   2460 787   97.3  71.9   2460 734   102    73.0   2450 770   98.6  74.0   2510 756  
eca-rers2012/Problem06_label20_false-unreach-call.c 101    73.4   2440 753   94.8  69.2   2450 774   93.3  70.2   2430 848   95.0  69.9   2420 887  
eca-rers2012/Problem06_label21_false-unreach-call.c 99.9  76.7   2540 756   98.4  75.1   2470 767   104    77.5   2500 755   106    78.5   2530 735  
eca-rers2012/Problem06_label24_false-unreach-call.c 93.6  70.4   2520 718   95.6  71.4   2480 704   93.4  70.3   2480 753   99.5  73.6   2460 726  
eca-rers2012/Problem06_label27_false-unreach-call.c 95.1  69.2   2430 744   91.4  68.8   2390 871   93.9  69.6   2390 760   100    69.4   2420 969  
eca-rers2012/Problem06_label29_false-unreach-call.c 95.9  70.8   2450 783   99.7  72.9   2440 861   96.9  71.8   2460 778   91.8  69.0   2420 859  
eca-rers2012/Problem06_label33_false-unreach-call.c 104    77.2   2490 816   100    75.0   2510 716   99.0  74.7   2510 862   95.1  73.5   2520 796  
eca-rers2012/Problem06_label36_false-unreach-call.c 91.8  67.5   2420 743   94.6  68.5   2300 721   94.9  67.4   2400 628   91.1  65.7   2450 703  
eca-rers2012/Problem06_label37_false-unreach-call.c 93.2  66.6   2480 798   95.0  69.8   2440 743   92.4  68.3   2430 677   92.8  67.4   2490 744  
eca-rers2012/Problem06_label38_false-unreach-call.c 109    81.8   2550 1110   107    83.0   2500 933   109    84.1   2490 871   108    81.7   2500 1000  
eca-rers2012/Problem06_label44_false-unreach-call.c 95.5  68.6   2440 679   91.9  66.5   2450 723   93.1  66.8   2490 890   90.0  66.3   2400 770  
eca-rers2012/Problem06_label47_false-unreach-call.c 92.6  66.6   2450 672   87.5  63.9   2420 784   90.6  65.1   2430 697   92.3  66.7   2430 689  
eca-rers2012/Problem06_label48_false-unreach-call.c 95.5  72.9   2440 670   102    74.3   2460 754   96.1  70.6   2490 887   99.4  74.2   2480 735  
eca-rers2012/Problem06_label56_false-unreach-call.c 105    79.1   2440 843   107    81.1   2390 858   107    81.1   2460 811   107    80.3   2410 828  
eca-rers2012/Problem06_label58_false-unreach-call.c 102    75.8   2490 838   102    75.3   2520 770   101    76.3   2510 711   101    77.3   2490 774  
eca-rers2012/Problem06_label59_false-unreach-call.c 102    76.6   2480 881   97.0  73.9   2480 847   101    74.5   2460 737   98.7  73.4   2490 851  
eca-rers2012/Problem07_label03_false-unreach-call.c 907    861     6890 8410   907    863     6440 8330   906    858     6570 8660   912    862     7000 9070  
eca-rers2012/Problem07_label05_false-unreach-call.c 904    859     6380 7780   915    867     6520 7680   907    858     6880 8500   912    865     6800 8160  
eca-rers2012/Problem07_label06_false-unreach-call.c 903    856     6350 9180   912    862     6780 9580   907    854     7030 9190   904    855     7000 7010  
eca-rers2012/Problem07_label07_false-unreach-call.c 904    854     6510 8130   905    855     6490 7480   905    853     6780 10500   912    860     6850 10500  
eca-rers2012/Problem07_label09_false-unreach-call.c 911    855     6940 8470   912    860     7100 7860   912    858     7050 7750   914    860     7120 7550  
eca-rers2012/Problem07_label11_false-unreach-call.c 913    868     6350 8170   912    871     6390 8780   912    866     6350 8160   912    871     6390 9320  
eca-rers2012/Problem07_label15_false-unreach-call.c 907    862     6200 7610   911    861     6560 7680   912    864     6900 8270   910    859     6440 8550  
eca-rers2012/Problem07_label18_false-unreach-call.c 904    860     6460 7710   912    862     6840 10700   905    855     6460 8370   905    852     6820 9190  
eca-rers2012/Problem07_label19_false-unreach-call.c 915    865     7110 7900   912    863     7040 9230   912    863     7050 10400   909    860     7040 8900  
eca-rers2012/Problem07_label20_false-unreach-call.c 905    854     6580 8830   906    853     6640 9640   913    868     6400 7970   911    860     6860 9410  
eca-rers2012/Problem07_label23_false-unreach-call.c 906    857     6860 7300   909    861     6970 7940   909    863     6400 8420   912    863     6910 9170  
eca-rers2012/Problem07_label30_false-unreach-call.c 912    870     7080 8450   912    868     7090 8640   911    871     7060 9170   910    867     7050 8240  
eca-rers2012/Problem07_label31_false-unreach-call.c 910    866     6510 10500   912    868     6310 10500   912    867     6290 10600   911    864     6450 9580  
eca-rers2012/Problem07_label35_false-unreach-call.c 912    866     6500 9300   912    869     6560 8990   911    859     6380 8430   912    868     6580 8780  
eca-rers2012/Problem07_label36_false-unreach-call.c 911    867     6500 9000   912    870     6570 8900   911    865     6790 8610   912    867     6400 9080  
eca-rers2012/Problem07_label37_false-unreach-call.c 910    864     6440 10900   912    869     6430 10900   910    868     6450 9520   912    868     6500 8860  
eca-rers2012/Problem07_label39_false-unreach-call.c 913    867     6400 9220   917    873     6470 10000   912    868     6280 9160   912    870     6440 8990  
eca-rers2012/Problem07_label40_false-unreach-call.c 912    866     6390 8800   912    868     6440 9450   912    871     6550 7950   912    865     6280 8530  
eca-rers2012/Problem07_label42_false-unreach-call.c 912    869     6360 10900   912    870     6400 10600   912    868     6420 8420   912    867     6410 10100  
eca-rers2012/Problem07_label44_false-unreach-call.c 912    867     6970 9880   912    870     7050 9870   912    867     6960 9330   912    869     6980 11100  
eca-rers2012/Problem07_label46_false-unreach-call.c 912    872     6490 8750   912    868     6450 11000   912    865     6460 9300   912    866     6530 9780  
eca-rers2012/Problem07_label47_false-unreach-call.c 912    869     6430 9830   912    871     6460 10400   916    873     6510 8670   912    867     6510 9810  
eca-rers2012/Problem07_label48_false-unreach-call.c 912    867     6570 8040   912    871     6410 8390   912    869     6280 9340   915    869     6510 9270  
eca-rers2012/Problem07_label58_false-unreach-call.c 912    863     7100 8800   912    867     6960 9000   912    864     7060 10300   912    864     6940 8660  
eca-rers2012/Problem08_label01_false-unreach-call.c 912    825     10900 5980   912    852     10900 6840   912    825     10900 6410   912    831     10900 7470  
eca-rers2012/Problem08_label02_false-unreach-call.c 910    825     10800 8440   909    840     10800 8290   910    817     10900 8430   908    813     10900 6710  
eca-rers2012/Problem08_label04_false-unreach-call.c 912    828     11000 7180   912    834     10700 6860   912    834     10600 6290   912    857     10600 7750  
eca-rers2012/Problem08_label05_false-unreach-call.c 912    817     10900 6240   912    826     10900 6640   912    825     10900 7730   912    837     10300 6170  
eca-rers2012/Problem08_label06_false-unreach-call.c 908    840     10800 7460   909    816     10900 8270   909    818     10900 7700   907    820     10600 7110  
eca-rers2012/Problem08_label07_false-unreach-call.c 912    821     11000 6550   912    820     11000 6770   912    815     10800 6770   912    829     11000 8420  
eca-rers2012/Problem08_label10_false-unreach-call.c 907    821     10800 7280   911    840     10900 6890   910    814     10900 6740   909    820     10800 7420  
eca-rers2012/Problem08_label13_false-unreach-call.c 912    836     10400 7040   912    824     10900 5990   912    840     10300 6580   912    836     10300 6130  
eca-rers2012/Problem08_label15_false-unreach-call.c 912    847     10800 8010   912    820     11000 6530   912    850     10900 6780   912    824     11000 8850  
eca-rers2012/Problem08_label24_false-unreach-call.c 912    829     11000 5430   912    829     11100 6480   912    828     11000 8880   912    829     11000 6380  
eca-rers2012/Problem08_label25_false-unreach-call.c 912    823     10900 10100   912    821     10900 8830   912    820     10900 9880   912    823     10700 7830  
eca-rers2012/Problem08_label26_false-unreach-call.c 912    853     10600 7530   912    827     10900 7410   912    833     10800 7710   912    828     10900 7340  
eca-rers2012/Problem08_label28_false-unreach-call.c 912    834     11000 7640   914    825     11000 6900   912    826     11100 5540   912    821     11000 6050  
eca-rers2012/Problem08_label29_false-unreach-call.c 912    824     10900 8100   912    848     10800 7030   912    820     10900 7460   912    821     10900 7720  
eca-rers2012/Problem08_label34_false-unreach-call.c 912    857     10700 8380   912    828     10900 8820   912    828     10900 7980   912    829     10900 8440  
eca-rers2012/Problem08_label37_false-unreach-call.c 912    821     10900 6620   912    821     10900 7390   912    820     10900 7650   912    819     10900 9470  
eca-rers2012/Problem08_label43_false-unreach-call.c 912    829     10900 7330   912    855     10800 7510   912    820     11000 6500   912    852     10600 6550  
eca-rers2012/Problem08_label46_false-unreach-call.c 908    817     10900 8550   905    813     10900 7360   909    839     10900 7020   909    813     10900 8600  
eca-rers2012/Problem08_label48_false-unreach-call.c 912    859     10900 7170   912    833     11000 7660   912    830     10900 8580   912    829     10900 6280  
eca-rers2012/Problem08_label49_false-unreach-call.c 912    859     10600 6500   912    858     10600 8350   912    856     10800 6780   912    827     10900 6140  
eca-rers2012/Problem08_label50_false-unreach-call.c 907    815     10900 8350   911    816     10900 7360   908    807     10900 7670   909    843     10800 6810  
eca-rers2012/Problem08_label51_false-unreach-call.c 912    833     10900 5950   912    835     10500 6190   912    831     10900 7540   912    846     10200 6540  
eca-rers2012/Problem08_label55_false-unreach-call.c 912    821     12000 9870   907    815     11900 8760   909    811     11800 8010   912    844     12100 8840  
eca-rers2012/Problem08_label59_false-unreach-call.c 912    820     11000 7880   912    819     11000 8120   912    842     11100 7330   912    821     11000 7080  
eca-rers2012/Problem09_label02_false-unreach-call.c 908    816     11800 8000   912    822     11900 8800   905    816     11800 7510   912    835     11700 8180  
eca-rers2012/Problem09_label03_false-unreach-call.c 912    822     11900 7390   912    823     11800 7290   912    826     11900 7610   912    828     11900 7580  
eca-rers2012/Problem09_label06_false-unreach-call.c 912    817     12100 7690   912    819     11800 9050   912    833     12100 5970   912    814     11800 6310  
eca-rers2012/Problem09_label08_false-unreach-call.c 912    847     11800 10200   912    824     11800 7710   912    827     11800 8350   912    827     11800 7670  
eca-rers2012/Problem09_label10_false-unreach-call.c 912    839     11900 8320   912    823     11900 7410   912    847     11900 10200   912    851     11700 8600  
eca-rers2012/Problem09_label11_false-unreach-call.c 912    833     11900 9060   912    830     12100 8500   908    818     11500 8610   914    833     12000 8270  
eca-rers2012/Problem09_label15_false-unreach-call.c 908    817     11900 9650   911    841     12100 8250   912    824     12000 8870   915    830     12000 8130  
eca-rers2012/Problem09_label19_false-unreach-call.c 912    849     11600 8210   912    827     11800 8190   912    828     11500 6960   912    848     11800 7110  
eca-rers2012/Problem09_label20_false-unreach-call.c 912    816     12200 9230   912    812     12200 8960   912    831     12000 8250   912    831     12000 8960  
eca-rers2012/Problem09_label32_false-unreach-call.c 912    813     12400 7210   912    816     12300 7530   912    831     12300 7700   912    811     12400 7590  
eca-rers2012/Problem09_label34_false-unreach-call.c 912    816     12300 7610   912    832     12400 8270   912    816     12100 7100   912    819     12400 7310  
eca-rers2012/Problem09_label35_false-unreach-call.c 912    813     12100 8150   912    835     12100 8230   912    836     12300 6360   912    835     12000 8370  
eca-rers2012/Problem09_label36_false-unreach-call.c 912    834     12300 8950   912    813     12400 7560   912    809     12300 7530   912    838     11900 8120  
eca-rers2012/Problem09_label38_false-unreach-call.c 912    836     12100 9220   912    811     12100 8060   912    838     12200 7520   912    815     12400 8220  
eca-rers2012/Problem09_label41_false-unreach-call.c 912    843     12000 6290   912    816     12100 8540   912    818     12400 7200   912    812     12400 7550  
eca-rers2012/Problem09_label44_false-unreach-call.c 912    816     12200 7110   912    829     12300 6770   912    833     12100 6720   912    815     11900 7140  
eca-rers2012/Problem09_label46_false-unreach-call.c 912    818     12100 10200   912    845     11700 7780   912    819     12100 7600   912    814     12100 9070  
eca-rers2012/Problem09_label47_false-unreach-call.c 912    824     11600 8310   912    847     11800 7640   912    853     11900 8020   912    818     11900 9660  
eca-rers2012/Problem09_label51_false-unreach-call.c 912    826     11600 8420   912    826     11500 6400   912    826     11800 6920   912    822     11800 8820  
eca-rers2012/Problem09_label53_false-unreach-call.c 912    847     11900 7350   912    848     11900 9210   912    844     11700 8380   912    828     11900 7900  
eca-rers2012/Problem09_label54_false-unreach-call.c 912    830     11500 6600   912    826     12000 6510   912    847     11900 6810   912    841     11700 7030  
eca-rers2012/Problem09_label56_false-unreach-call.c 912    824     11600 8040   912    825     11500 8000   912    853     11900 7890   912    850     11900 7930  
eca-rers2012/Problem09_label57_false-unreach-call.c 912    828     11900 6060   912    843     12000 5540   912    849     11800 5800   912    825     11600 5500  
eca-rers2012/Problem09_label59_false-unreach-call.c 912    831     11800 6110   912    823     11800 5640   912    827     11900 6670   912    826     11600 5850  
eca-rers2012/Problem10_label12_false-unreach-call.c 714    708     15000 4950   712    707     15000 4600   716    710     15000 4540   695    689     15000 5030  
eca-rers2012/Problem10_label15_false-unreach-call.c 730    724     15000 5430   745    739     15000 5220   739    733     15000 5590   713    708     15000 6510  
eca-rers2012/Problem10_label24_false-unreach-call.c 675    669     15000 4760   668    662     15000 4780   668    663     15000 5210   657    652     15000 4800  
eca-rers2012/Problem10_label26_false-unreach-call.c 670    664     15000 4910   690    684     15000 5030   700    694     15000 4450   682    676     15000 4800  
eca-rers2012/Problem10_label28_false-unreach-call.c 689    684     15000 4760   687    681     15000 4540   653    647     15000 5030   697    691     15000 4990  
eca-rers2012/Problem10_label29_false-unreach-call.c 690    685     15000 4800   684    679     15000 4550   671    665     15000 5250   680    674     15000 5790  
eca-rers2012/Problem10_label41_false-unreach-call.c 716    711     15000 5930   720    714     15000 5500   709    703     15000 5940   746    740     15000 5050  
eca-rers2012/Problem10_label42_false-unreach-call.c 679    673     15000 5050   679    673     15000 4980   701    695     15000 4940   675    669     15000 4330  
eca-rers2012/Problem10_label46_false-unreach-call.c 8.60 5.24  1120 65.1 8.78 5.29  1120 63.5 8.46 5.14  1120 60.7 8.53 5.13  1120 67.0
eca-rers2012/Problem10_label47_false-unreach-call.c 682    677     15000 6840   686    681     15000 4950   692    687     15000 5240   687    682     15000 6400  
eca-rers2012/Problem10_label48_false-unreach-call.c 675    669     15000 4980   680    675     15000 5130   770    765     15000 5230   704    699     15000 5440  
eca-rers2012/Problem10_label50_false-unreach-call.c 674    668     15000 5140   708    702     15000 5180   696    689     15000 5260   708    702     15000 4730  
eca-rers2012/Problem10_label55_false-unreach-call.c 715    709     15000 4820   687    682     15000 4450   707    701     15000 5140   658    653     15000 5480  
eca-rers2012/Problem10_label57_false-unreach-call.c 688    683     15000 4520   777    772     15000 5550   765    760     15000 5250   702    696     15000 4860  
eca-rers2012/Problem10_label58_false-unreach-call.c 723    717     15000 4870   733    727     15000 4320   720    715     15000 4840   731    726     15000 4890  
eca-rers2012/Problem11_label00_false-unreach-call.c 912    902     12200 6650   912    902     12100 6590   912    903     12400 6050   912    903     12600 6870  
eca-rers2012/Problem11_label08_false-unreach-call.c 912    903     11300 5880   912    902     12100 6700   912    903     11300 6150   912    903     12800 5710  
eca-rers2012/Problem11_label14_false-unreach-call.c 16.4  11.6   2340 109   17.8  11.5   2350 136   17.9  11.8   2340 126   16.3  11.9   2330 108  
eca-rers2012/Problem11_label15_false-unreach-call.c 912    902     13300 6760   912    903     12900 6050   912    903     12600 5620   912    902     12600 6020  
eca-rers2012/Problem11_label20_false-unreach-call.c 912    903     12900 6860   912    904     12500 6360   912    903     12700 5470   912    903     11700 6270  
eca-rers2012/Problem11_label29_false-unreach-call.c 912    901     13100 8690   911    902     13300 6710   912    902     13100 6590   912    901     12800 6220  
eca-rers2012/Problem11_label31_false-unreach-call.c 911    902     12400 6360   912    904     13100 7580   912    903     12100 7250   912    903     13100 7660  
eca-rers2012/Problem11_label34_false-unreach-call.c 16.6  11.9   2340 115   16.0  11.5   2330 115   17.8  11.6   2350 132   17.7  11.6   2350 129  
eca-rers2012/Problem11_label36_false-unreach-call.c 912    903     11800 7150   912    901     11400 5970   912    903     12300 6130   911    900     12600 8500  
eca-rers2012/Problem11_label39_false-unreach-call.c 16.9  10.9   2350 136   16.8  10.8   2350 150   17.1  10.9   2340 135   16.6  10.7   2340 139  
eca-rers2012/Problem11_label42_false-unreach-call.c 18.2  11.8   2350 147   17.4  11.3   2350 147   17.8  11.4   2360 131   16.0  11.8   2330 140  
eca-rers2012/Problem11_label43_false-unreach-call.c 15.6  11.4   2330 113   17.5  11.4   2350 128   17.2  11.0   2350 121   17.2  11.1   2350 117  
eca-rers2012/Problem11_label49_false-unreach-call.c 912    903     12600 10700   912    902     12900 6690   901    892     15000 6870   912    904     12200 7120  
eca-rers2012/Problem11_label51_false-unreach-call.c 912    903     12500 5890   912    901     13500 6050   912    904     12800 7270   912    902     13200 8600  
eca-rers2012/Problem11_label58_false-unreach-call.c 15.8  11.5   2330 130   17.3  11.3   2340 114   17.6  11.5   2350 123   18.3  11.9   2340 147  
eca-rers2012/Problem12_label00_false-unreach-call.c 331    316     15000 1970   327    312     15000 2760   337    322     15000 2320   326    312     15000 2460  
eca-rers2012/Problem12_label03_false-unreach-call.c 344    330     15000 2770   347    333     15000 2260   345    331     15000 2390   336    323     15000 2550  
eca-rers2012/Problem12_label06_false-unreach-call.c 322    308     15000 3620   328    313     15000 2770   309    297     15000 2280   340    326     15000 2690  
eca-rers2012/Problem12_label07_false-unreach-call.c 388    373     15000 3090   285    272     15000 2050   399    386     15000 2780   371    357     15000 4060  
eca-rers2012/Problem12_label08_false-unreach-call.c 52.4  42.8   7750 337   52.8  42.8   7770 356   51.8  42.4   7760 352   50.0  40.4   7760 425  
eca-rers2012/Problem12_label10_false-unreach-call.c 280    267     15000 1820   275    261     15000 1860   383    370     15000 3230   276    264     15000 1670  
eca-rers2012/Problem12_label13_false-unreach-call.c 348    336     15000 3360   370    357     15000 2390   362    349     15000 2650   363    348     15000 2530  
eca-rers2012/Problem12_label19_false-unreach-call.c 358    343     15000 2990   330    317     15000 2290   345    332     15000 2610   356    341     15000 3700  
eca-rers2012/Problem12_label20_false-unreach-call.c 294    280     15000 2130   364    351     15000 3200   312    298     15000 2250   295    281     15000 2010  
eca-rers2012/Problem12_label21_false-unreach-call.c 319    304     15000 3230   335    321     15000 1720   300    286     15000 1750   306    290     15000 2060  
eca-rers2012/Problem12_label25_false-unreach-call.c 331    316     15000 2150   254    240     15000 2450   270    254     15000 2070   352    336     15000 2470  
eca-rers2012/Problem12_label28_false-unreach-call.c 362    349     15000 2280   410    397     15000 3390   339    327     15000 2560   349    334     15000 3100  
eca-rers2012/Problem12_label30_false-unreach-call.c 322    309     15000 2320   324    309     15000 2320   465    452     15000 3200   333    319     15000 2420  
eca-rers2012/Problem12_label34_false-unreach-call.c 332    318     15000 3040   321    305     15000 2220   345    331     15000 2640   347    332     15000 2550  
eca-rers2012/Problem12_label35_false-unreach-call.c 373    358     15000 3080   359    345     15000 2700   313    300     15000 2200   360    345     15000 2600  
eca-rers2012/Problem12_label37_false-unreach-call.c 403    388     15000 3000   406    392     15000 3430   387    373     15000 3140   411    396     15000 2990  
eca-rers2012/Problem12_label38_false-unreach-call.c 368    355     15000 2770   335    322     15000 2560   318    306     15000 2810   336    324     15000 2340  
eca-rers2012/Problem12_label39_false-unreach-call.c 393    379     15000 2960   304    291     15000 2060   298    285     15000 2220   404    391     15000 3330  
eca-rers2012/Problem12_label40_false-unreach-call.c 410    396     15000 2880   333    319     15000 2340   333    319     15000 2400   332    318     15000 2290  
eca-rers2012/Problem12_label42_false-unreach-call.c 351    339     15000 2410   331    317     15000 2920   390    377     15000 2500   319    305     15000 2430  
eca-rers2012/Problem12_label48_false-unreach-call.c 320    306     15000 2370   323    308     15000 2260   309    295     15000 2680   316    301     15000 2630  
eca-rers2012/Problem12_label50_false-unreach-call.c 326    311     15000 2540   257    242     15000 2240   314    301     15000 2820   324    312     15000 2570  
eca-rers2012/Problem12_label51_false-unreach-call.c 268    253     15000 2810   274    260     15000 2310   286    271     15000 2170   280    267     15000 1580  
eca-rers2012/Problem12_label52_false-unreach-call.c 329    315     15000 2370   323    311     15000 3100   456    441     15000 4080   334    322     15000 3320  
eca-rers2012/Problem12_label55_false-unreach-call.c 295    281     15000 2360   326    312     15000 2690   294    280     15000 2410   321    307     15000 2450  
eca-rers2012/Problem13_label04_false-unreach-call.c 147    133     15000 762   149    136     15000 832   143    131     15000 1000   140    126     15000 1200  
eca-rers2012/Problem13_label06_false-unreach-call.c 143    129     15000 878   133    121     15000 1140   144    130     15000 787   150    137     15000 880  
eca-rers2012/Problem13_label07_false-unreach-call.c 146    134     15000 884   143    131     15000 877   145    132     15000 836   143    131     15000 963  
eca-rers2012/Problem13_label11_false-unreach-call.c 145    132     15000 828   145    133     15000 856   144    130     15000 972   147    135     15000 813  
eca-rers2012/Problem13_label12_false-unreach-call.c 143    130     15000 885   147    133     15000 1010   146    133     15000 824   138    126     15000 1010  
eca-rers2012/Problem13_label16_false-unreach-call.c 135    122     15000 756   132    119     15000 854   136    123     15000 699   138    124     15000 768  
eca-rers2012/Problem13_label19_false-unreach-call.c 98.4  88.4   12200 689   104    93.6   12200 591   105    95.3   12200 544   105    95.1   12200 512  
eca-rers2012/Problem13_label21_false-unreach-call.c 102    93.1   12200 646   104    93.8   12200 601   103    93.2   12200 577   105    95.6   12300 594  
eca-rers2012/Problem13_label23_false-unreach-call.c 101    91.0   12200 721   111    99.0   12200 568   109    98.3   12200 569   98.8  88.8   12200 624  
eca-rers2012/Problem13_label24_false-unreach-call.c 108    98.2   12200 689   106    95.7   12300 533   107    97.2   12200 645   102    91.8   12200 659  
eca-rers2012/Problem13_label25_false-unreach-call.c 105    94.5   12200 690   104    93.8   12200 585   109    98.1   12200 601   106    96.3   12200 623  
eca-rers2012/Problem13_label28_false-unreach-call.c 146    133     15000 809   145    131     15000 840   137    122     15000 1060   144    130     15000 784  
eca-rers2012/Problem13_label29_false-unreach-call.c 146    134     15000 985   145    132     15000 863   146    133     15000 871   145    133     15000 951  
eca-rers2012/Problem13_label30_false-unreach-call.c 149    135     15000 866   144    131     15000 1020   144    129     15000 895   142    130     15000 904  
eca-rers2012/Problem13_label32_false-unreach-call.c 143    130     15000 834   145    132     15000 864   144    130     15000 861   143    131     15000 828  
eca-rers2012/Problem13_label35_false-unreach-call.c 146    133     15000 907   144    132     15000 900   144    131     15000 927   144    131     15000 942  
eca-rers2012/Problem13_label36_false-unreach-call.c 143    130     15000 846   149    135     15000 902   143    130     15000 843   143    129     15000 1040  
eca-rers2012/Problem13_label40_false-unreach-call.c 84.4  74.2   12300 471   83.1  72.5   12200 490   83.4  73.2   12200 507   79.7  70.0   12200 619  
eca-rers2012/Problem13_label43_false-unreach-call.c 140    127     15000 781   141    128     15000 801   135    123     15000 943   137    123     15000 922  
eca-rers2012/Problem13_label44_false-unreach-call.c 120    108     15000 795   122    108     15000 873   121    108     15000 743   124    110     15000 762  
eca-rers2012/Problem13_label45_false-unreach-call.c 118    106     15000 775   120    107     15000 862   121    108     15000 778   120    108     15000 839  
eca-rers2012/Problem13_label48_false-unreach-call.c 136    124     15000 815   127    115     15000 972   137    125     15000 868   137    125     15000 866  
eca-rers2012/Problem13_label51_false-unreach-call.c 137    126     15000 746   138    125     15000 758   136    124     15000 821   138    126     15000 774  
eca-rers2012/Problem13_label54_false-unreach-call.c 134    122     15000 807   138    126     15000 860   134    121     15000 884   134    122     15000 856  
eca-rers2012/Problem13_label58_false-unreach-call.c 132    119     15000 1080   136    124     15000 783   137    123     15000 763   137    124     15000 918  
eca-rers2012/Problem14_label02_false-unreach-call.c 853    843     15000 5930   841    832     15000 6690   912    903     12700 7680   912    903     12000 6970  
eca-rers2012/Problem14_label08_false-unreach-call.c 912    903     12900 7790   912    902     11700 5950   912    902     13200 5830   888    878     15000 6040  
eca-rers2012/Problem14_label10_false-unreach-call.c 888    879     15000 9040   912    904     12700 5990   912    903     13300 6550   912    902     12700 5750  
eca-rers2012/Problem14_label11_false-unreach-call.c 912    903     12200 6990   912    903     13100 6590   866    856     15000 6990   912    903     10800 6730  
eca-rers2012/Problem14_label12_false-unreach-call.c 912    903     13300 8340   912    903     12300 6900   912    902     12900 6020   912    903     13100 6770  
eca-rers2012/Problem14_label13_false-unreach-call.c 901    890     15000 6910   859    849     15000 6330   861    849     15000 5220   883    873     15000 5760  
eca-rers2012/Problem14_label14_false-unreach-call.c 8.84 5.58  1120 67.8 9.04 5.50  1120 84.5 8.71 5.47  1120 87.0 8.63 5.34  1120 79.5
eca-rers2012/Problem14_label18_false-unreach-call.c 854    844     15000 6270   893    884     15000 5750