Tool CPAchecker 1.6.1-svn 24567
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-66-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-03-15 02:00:47 CET
Run set z3-q_auflira z3-qf_auflira z3-qf_uflira z3-q_uflira
Options -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -bmc -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 12500M -stack 1000M -setprop cpa.predicate.useQuantifiersOnArrays=true -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -bmc -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 12500M -stack 1000M -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -bmc -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 13000M -stack 1000M -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -bmc -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 913    881     9670 8240   911    877     9560 9560   912    875     8050 8560   912    883     8160 8380  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    897     1500 9180   901    897     1500 10800   901    896     604 9280   901    897     791 7320  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 902    898     1630 10600   901    897     1640 10800   901    896     609 10700   902    897     733 9220  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    897     530 10900   901    897     513 11300   901    897     600 9930   901    897     468 12300  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    897     561 9790   901    897     556 11400   901    897     566 8220   901    897     502 12200  
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    896     517 11700   901    896     518 12300   901    897     453 11400   901    896     526 9450  
array-examples/standard_copy1_false-unreach-call_ground.i 901    892     914 10600   901    892     825 10600   901    896     767 10800   901    897     505 10900  
array-examples/standard_copy2_false-unreach-call_ground.i 901    897     1000 5380   901    897     987 6120   901    896     850 10200   901    897     564 11600  
array-examples/standard_copy3_false-unreach-call_ground.i 901    897     1080 6060   901    896     1080 6140   901    897     816 12600   901    898     620 12200  
array-examples/standard_copy4_false-unreach-call_ground.i 901    897     1190 6020   901    897     1180 5930   901    896     829 10100   901    897     681 10500  
array-examples/standard_copy5_false-unreach-call_ground.i 901    897     1200 6160   901    897     1200 6210   905    900     865 11300   901    898     699 11700  
array-examples/standard_copy6_false-unreach-call_ground.i 901    897     1210 8780   901    897     1210 6620   901    896     854 10700   901    897     800 9990  
array-examples/standard_copy7_false-unreach-call_ground.i 901    897     1220 6820   901    897     1220 5850   904    900     852 10000   901    897     782 9880  
array-examples/standard_copy8_false-unreach-call_ground.i 901    897     1310 6030   901    897     1300 6430   901    897     839 10100   901    897     819 9980  
array-examples/standard_copy9_false-unreach-call_ground.i 901    897     1310 8090   901    897     1310 8020   901    897     880 9480   901    897     826 10600  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    897     808 5020   901    897     814 5450   901    896     782 13100   901    897     737 11200  
array-examples/standard_init1_false-unreach-call_ground.i 901    897     789 4510   901    897     792 4990   901    896     801 10600   901    898     736 11700  
array-examples/standard_init2_false-unreach-call_ground.i 901    897     790 6480   901    897     788 5370   901    896     803 12100   901    898     733 10200  
array-examples/standard_init3_false-unreach-call_ground.i 901    897     790 4920   901    897     789 4970   901    896     778 11500   901    897     738 10100  
array-examples/standard_init4_false-unreach-call_ground.i 901    897     791 5640   901    897     789 5090   901    896     790 11200   901    897     730 12400  
array-examples/standard_init5_false-unreach-call_ground.i 901    897     793 5470   901    897     781 4860   901    896     796 10600   901    898     730 10300  
array-examples/standard_init6_false-unreach-call_ground.i 901    897     790 6530   901    897     789 6080   901    896     741 11600   901    897     732 10300  
array-examples/standard_init7_false-unreach-call_ground.i 901    897     790 5740   901    897     793 5260   901    896     758 10700   901    898     738 10300  
array-examples/standard_init8_false-unreach-call_ground.i 901    897     789 5770   901    897     792 5790   901    896     775 11300   901    897     733 13200  
array-examples/standard_init9_false-unreach-call_ground.i 901    897     807 7860   901    897     805 5090   901    897     754 13700   901    897     731 10700  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    892     1280 9830   901    891     1280 9080   901    893     1330 10400   901    895     992 12000  
array-examples/standard_partition_false-unreach-call_ground.i 901    897     868 14000   901    897     864 11800   901    897     547 9140   901    897     663 10400  
array-examples/standard_running_false-unreach-call.i 901    897     1170 7170   901    897     1180 6860   901    896     559 11500   901    898     836 10100  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    893     1320 9390   901    893     1390 10500   902    894     1240 10000   901    895     749 11700  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 903    892     2750 6630   904    891     2790 6150   904    893     2850 5810   903    891     2880 5050  
array-examples/relax_true-unreach-call.i 4.69 1.64  287 34.7 4.69 1.63  288 43.1 4.81 1.67  291 41.8 4.90 1.71  298 37.5
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    895     1010 9830   901    892     1020 10000   901    894     986 10100   901    894     947 10000  
array-examples/sanfoundry_10_true-unreach-call_ground.i 902    885     3850 8310   902    885     4200 6720   916    867     7360 6600   904    863     6360 7970  
array-examples/sanfoundry_24_true-unreach-call.i 901    893     893 10800   901    894     886 8320   901    894     770 9990   7.09 3.07  376 63.0
array-examples/sanfoundry_27_true-unreach-call_ground.i 902    892     1390 9110   903    894     1440 8840   901    892     1250 9000   901    895     1020 10300  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.03 .939 221 17.6 2.05 .911 224 18.9 2.06 .905 222 19.5 2.06 .910 220 20.2
array-examples/sorting_bubblesort_true-unreach-call_ground.i 903    898     2010 11900   902    898     2020 13800   901    896     602 9210   901    896     1190 7500  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    897     603 9520   901    897     601 9130   901    897     568 10200   901    897     510 10300  
array-examples/standard_compareModified_true-unreach-call_ground.i 901    897     1370 4910   901    897     1420 6050   901    897     552 10400   901    897     569 10100  
array-examples/standard_compare_true-unreach-call_ground.i 901    891     1410 9180   901    892     1410 9070   906    897     1680 9260   901    897     619 11500  
array-examples/standard_copy1_true-unreach-call_ground.i 901    897     1020 6270   901    897     1020 7150   901    896     784 10700   901    897     580 9140  
array-examples/standard_copy2_true-unreach-call_ground.i 901    897     1060 6770   901    897     1070 7110   901    896     794 12400   901    897     562 10100  
array-examples/standard_copy3_true-unreach-call_ground.i 901    897     1090 7210   901    896     1070 6130   901    897     851 10400   901    898     615 11800  
array-examples/standard_copy4_true-unreach-call_ground.i 901    898     1160 6550   901    897     1190 8290   901    896     829 9980   901    897     720 10700  
array-examples/standard_copy5_true-unreach-call_ground.i 901    897     1190 6510   901    897     1210 5680   901    896     854 10100   901    897     702 10400  
array-examples/standard_copy6_true-unreach-call_ground.i 901    897     1190 6460   901    897     1210 5570   901    896     829 9620   901    897     802 10400  
array-examples/standard_copy7_true-unreach-call_ground.i 901    897     1200 6220   901    897     1220 6130   901    896     842 9600   901    897     779 10500  
array-examples/standard_copy8_true-unreach-call_ground.i 901    897     1310 8220   901    897     1300 6260   901    896     832 9660   901    897     775 11900  
array-examples/standard_copy9_true-unreach-call_ground.i 901    897     1330 6710   901    897     1310 6180   901    896     848 9040   901    897     827 10400  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    897     805 6550   901    897     826 5810   901    896     772 9620   901    897     733 11800  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    898     824 5360   901    897     822 5090   901    896     790 11300   901    898     731 11900  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    897     813 5260   901    897     808 6070   901    896     796 11100   901    897     713 12000  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    897     812 5290   901    897     806 5470   901    896     771 11200   901    897     733 12000  
array-examples/standard_find_true-unreach-call_ground.i 901    897     752 5480   901    897     756 4920   901    897     785 10700   901    898     623 11000  
array-examples/standard_init1_true-unreach-call_ground.i 901    897     790 5580   901    897     791 4960   901    897     766 12400   901    897     735 11200  
array-examples/standard_init2_true-unreach-call_ground.i 901    897     794 6060   901    897     791 5790   901    897     751 10500   901    898     734 10700  
array-examples/standard_init3_true-unreach-call_ground.i 901    897     785 4950   901    897     790 7190   901    896     778 10800   901    897     739 12800  
array-examples/standard_init4_true-unreach-call_ground.i 901    897     793 5850   901    897     789 5110   901    896     758 11600   901    897     736 10900  
array-examples/standard_init5_true-unreach-call_ground.i 901    897     790 5540   901    897     787 5260   901    897     751 11500   901    897     738 8260  
array-examples/standard_init6_true-unreach-call_ground.i 901    897     790 5020   901    897     790 4860   901    896     762 11300   901    897     732 12900  
array-examples/standard_init7_true-unreach-call_ground.i 901    897     790 5110   901    897     795 7480   901    896     751 10300   901    897     732 10700  
array-examples/standard_init8_true-unreach-call_ground.i 901    897     792 4980   901    897     786 5370   901    896     769 10700   901    898     736 10600  
array-examples/standard_init9_true-unreach-call_ground.i 901    897     806 6810   901    897     810 5890   901    896     755 12800   901    897     738 9550  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    893     1310 9750   902    894     1340 9860   901    893     1730 11100   901    895     1070 11300  
array-examples/standard_minInArray_true-unreach-call_ground.i 903    894     1270 12400   902    893     1300 9860   901    892     1500 9070   901    895     1040 11500  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    898     1200 7520   901    897     1200 8110   901    897     794 10500   901    898     536 9990  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    897     891 12700   901    897     870 9910   901    897     542 9060   901    898     599 10600  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    897     836 10800   901    897     838 10300   901    897     581 8620   901    897     777 10200  
array-examples/standard_partition_true-unreach-call_ground.i 901    897     704 11900   901    897     706 11300   901    897     525 9680   901    898     805 9930  
array-examples/standard_password_true-unreach-call_ground.i 901    892     1400 8120   901    891     1400 8920   901    892     1620 9960   901    897     613 11300  
array-examples/standard_reverse_true-unreach-call_ground.i 901    897     1120 7150   901    897     1120 7650   901    896     806 10300   901    897     555 9720  
array-examples/standard_running_true-unreach-call.i 901    897     1180 6940   901    897     1180 9380   901    896     563 10400   901    897     817 7660  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    895     587 11400   901    895     604 12400   901    894     542 12400   901    896     497 11200  
array-examples/standard_seq_init_true-unreach-call_ground.i 901    897     678 10200   901    897     669 8790   901    897     870 10800   901    897     668 10700  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    891     1500 10200   902    892     1530 10300   901    892     1420 9930   901    897     466 12000  
array-examples/standard_strcpy_original_true-unreach-call.i 901    897     767 6510   901    897     771 7010   906    902     809 11400   901    898     621 11200  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    897     769 7060   901    897     772 6600   905    900     797 11600   901    897     624 9680  
array-examples/standard_two_index_01_true-unreach-call.i 901    897     577 11600   901    897     575 11200   901    896     828 9480   901    898     437 11900  
array-examples/standard_two_index_02_true-unreach-call.i 901    897     665 11500   901    897     666 11300   901    896     864 9570   901    897     540 10600  
array-examples/standard_two_index_03_true-unreach-call.i 901    897     581 11300   901    897     585 11200   901    896     871 10300   901    897     442 10200  
array-examples/standard_two_index_04_true-unreach-call.i 901    897     654 10400   901    897     654 12000   901    896     849 10500   901    897     544 10400  
array-examples/standard_two_index_05_true-unreach-call.i 901    897     652 13100   901    897     652 10700   901    896     834 12200   901    897     536 10300  
array-examples/standard_two_index_06_true-unreach-call.i 901    897     585 13000   901    898     570 11600   901    897     851 12600   901    898     442 10500  
array-examples/standard_two_index_07_true-unreach-call.i 901    898     651 12600   901    897     650 11500   901    896     854 9320   901    897     536 10600  
array-examples/standard_two_index_08_true-unreach-call.i 901    897     650 11300   901    897     651 12100   901    896     832 12400   901    897     541 10600  
array-examples/standard_two_index_09_true-unreach-call.i 901    898     651 12500   901    897     641 11000   901    896     861 12000   901    898     539 11600  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 913    880     1900 9880   913    880     1890 10300   913    881     1960 11700   910    882     1370 13100  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    897     1360 6430   901    897     1350 4890   901    896     804 11000   902    897     2170 9380  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    897     790 4810   901    897     791 3860   901    897     755 10300   901    897     687 13400  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 5.52 1.67  351 37.9 282    277     15000 1770   901    896     780 11000   4.13 1.41  318 32.4
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    896     1040 8800   901    896     1040 10500   901    897     481 9030   75.7  73.0   406 889  
array-industry-pattern/array_range_init_false-unreach-call.i 3.40 1.24  294 27.2 267    263     15000 1690   901    895     925 10300   3.24 1.17  287 28.3
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    896     1340 8820   901    896     1340 8480   901    897     549 5820   241    238     477 2370  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 904    891     2750 5840   903    892     2600 5280   904    892     2690 5050   904    892     2850 6620  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    897     1210 8180   901    897     1200 6710   901    896     596 7690   901    897     741 10300  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    897     1420 7370   901    897     1410 5530   904    898     942 8390   901    898     757 9250  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 143    140     615 1280   75.9  71.1   15000 485   966    876     6300 8570   910    871     6440 7170  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 4.29 1.38  310 34.0 72.8  68.2   15000 473   901    897     717 8900   4.32 1.38  309 29.8
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    896     855 4960   901    897     846 4740   901    896     668 11100   901    897     730 10400  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 4.25 1.50  322 29.2 71.5  67.2   15000 632   901    897     461 7020   4.08 1.36  312 33.5
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 203    199     632 1970   912    905     2140 4510   901    896     937 9310   901    895     497 9450  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 4.97 1.53  379 37.5 74.9  69.7   15000 736   901    896     634 10100   4.03 1.41  362 30.4
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 4.88 1.81  311 36.6 283    278     15000 1290   901    896     798 11600   901    897     456 13100  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 153    150     558 1850   72.2  67.8   15000 422   901    897     609 7030   901    896     501 8850  
array-industry-pattern/array_shadowinit_true-unreach-call.i 916    892     1960 6950   917    891     2000 6090   903    880     1680 7820   902    892     1510 8500  
reducercommutativity/rangesum05_false-unreach-call.i 2.91 1.22  272 28.9 2.89 1.23  270 25.6 2.95 1.25  272 27.0 3.28 1.53  272 29.0
reducercommutativity/rangesum10_false-unreach-call.i 3.55 1.58  281 30.9 3.73 1.62  290 30.7 3.49 1.52  276 34.6 4.72 2.66  292 49.0
reducercommutativity/rangesum20_false-unreach-call.i 6.11 3.80  305 60.7 6.11 3.79  300 61.7 4.99 2.66  295 52.6 18.7  16.3   312 226  
reducercommutativity/rangesum40_false-unreach-call.i 27.9  24.6   501 372   27.7  24.6   491 324   7.32 4.56  326 71.3 469    465     537 6240  
reducercommutativity/rangesum60_false-unreach-call.i 551    546     769 6710   552    547     766 6530   12.7  9.11  460 143   901    898     518 10100  
reducercommutativity/rangesum_false-unreach-call.i 17.0  9.05  503 180   17.5  9.11  505 180   13.1  5.13  512 131   14.2  5.32  534 117  
reducercommutativity/avg05_true-unreach-call.i 2.85 1.29  267 23.0 2.81 1.25  268 26.2 2.77 1.20  265 25.0 3.22 1.55  269 28.9
reducercommutativity/avg10_true-unreach-call.i 3.32 1.60  274 32.6 3.25 1.59  273 31.1 3.22 1.49  273 30.0 7.98 6.10  287 78.3
reducercommutativity/avg20_true-unreach-call.i 5.82 3.90  298 60.5 5.81 3.87  302 60.7 5.01 3.07  287 48.1 144    142     336 1960  
reducercommutativity/avg40_true-unreach-call.i 40.7  38.5   439 461   41.6  39.4   436 469   12.7  9.67  455 136   901    898     537 11500  
reducercommutativity/avg60_true-unreach-call.i 901    898     758 10200   901    898     762 7270   25.5  21.3   499 308   901    898     509 10900  
reducercommutativity/avg_true-unreach-call.i 901    890     926 11600   901    892     932 11300   913    884     4500 8130   910    881     4160 6530  
reducercommutativity/max05_true-unreach-call_true-termination.i 3.01 1.39  270 27.8 3.11 1.40  269 30.6 2.96 1.35  268 30.8 3.70 2.07  269 30.8
reducercommutativity/max10_true-unreach-call_true-termination.i 5.40 3.57  284 58.1 5.39 3.53  284 56.3 4.15 2.34  280 37.3 23.8  22.0   283 289  
reducercommutativity/max20_true-unreach-call.i 54.8  52.7   332 730   54.7  52.6   334 728   23.5  21.4   316 313   607    604     358 7540  
reducercommutativity/max40_true-unreach-call.i 901    898     468 11100   901    898     467 11100   83.5  79.8   465 900   901    898     359 10400  
reducercommutativity/max60_true-unreach-call.i 901    898     644 9850   901    898     639 10100   472    466     534 5240   901    898     472 8960  
reducercommutativity/max_true-unreach-call.i 902    891     1590 10300   902    891     1600 10000   909    889     2980 6810   909    889     2930 6530  
reducercommutativity/sep05_true-unreach-call.i 3.77 2.11  274 37.4 4.04 2.27  276 39.4 3.72 1.99  281 32.7 4.98 3.25  274 47.6
reducercommutativity/sep10_true-unreach-call.i 22.2  20.3   292 256   22.4  20.4   288 343   23.0  20.8   298 284   43.4  41.5   294 476  
reducercommutativity/sep20_true-unreach-call.i 902    898     536 11300   902    898     540 9210   902    899     578 9880   901    898     411 10200  
reducercommutativity/sep40_true-unreach-call.i 901    897     499 9150   901    898     496 9130   283    278     507 2770   142    140     361 1660  
reducercommutativity/sep60_true-unreach-call.i 901    897     531 10300   901    897     519 10900   901    896     534 10200   901    898     506 9350  
reducercommutativity/sep_true-unreach-call.i 902    891     957 12500   902    891     958 11600   903    889     2830 8330   5.66 2.13  297 49.7
reducercommutativity/sum05_true-unreach-call_true-termination.i 2.71 1.19  272 24.3 2.84 1.20  276 24.2 2.80 1.24  268 25.0 2.96 1.42  267 27.2
reducercommutativity/sum10_true-unreach-call.i 3.22 1.53  275 31.1 3.18 1.52  277 28.5 3.11 1.44  269 26.5 6.55 4.85  278 78.3
reducercommutativity/sum20_true-unreach-call.i 5.49 3.58  301 65.5 5.53 3.62  301 59.0 4.80 2.84  286 48.4 133    131     330 1270  
reducercommutativity/sum40_true-unreach-call.i 33.0  30.7   440 415   33.1  30.9   439 443   11.7  8.33  450 127   901    898     516 10100  
reducercommutativity/sum60_true-unreach-call.i 841    838     757 5550   840    837     758 6000   22.5  18.5   486 247   901    898     499 9410  
reducercommutativity/sum_true-unreach-call.i 902    893     827 10700   901    892     828 11000   915    881     4770 7780   912    881     4420 7080  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 3.07 1.23  276 25.6 3.15 1.29  273 25.2 3.07 1.29  270 28.1 2.93 1.23  274 23.6
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    897     629 11500   901    896     633 11200   901    897     623 10500   901    897     624 11400  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 2.88 1.21  273 23.7 3.08 1.26  277 26.4 2.97 1.21  271 24.3 2.92 1.22  275 28.7
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 3.04 1.26  270 28.2 3.18 1.31  273 30.8 2.94 1.22  269 27.4 2.93 1.24  271 26.5
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 901    899     281 10600   901    899     278 10900   901    899     278 13600   901    899     281 12700  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 901    898     346 11200   901    898     344 11600   901    898     346 13000   901    898     344 11100  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    899     364 13900   901    899     358 11500   901    899     358 11000   901    899     357 11500  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 2.46 1.03  264 21.5 2.58 1.08  264 22.6 2.59 1.07  264 21.2 2.58 1.06  265 20.5
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 2.86 1.19  280 25.0 2.87 1.15  287 26.8 2.85 1.15  281 26.3 2.79 1.17  272 26.5
bitvector/jain_1_true-unreach-call_true-no-overflow.i 901    894     519 12000   901    894     511 12000   901    894     530 10700   901    894     528 11300  
bitvector/jain_2_true-unreach-call_true-no-overflow.i 901    897     469 10600   901    897     473 11100   901    898     467 11200   901    897     461 11200  
bitvector/jain_4_true-unreach-call_true-no-overflow.i 901    899     365 10900   901    899     365 11800   901    899     364 12800   901    899     366 12600  
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    894     816 10400   903    895     793 11000   901    893     818 9790   901    893     800 10400  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 903    901     328 12100   903    901     326 12200   903    901     325 11000   902    900     324 12900  
bitvector/jain_7_true-unreach-call_true-no-overflow.i 909    907     302 10900   905    903     297 10900   906    904     293 11900   905    903     294 10600  
bitvector/modulus_true-unreach-call_true-no-overflow.i 2.50 1.07  269 18.1 2.46 1.06  264 22.0 2.46 1.07  266 20.5 2.45 1.04  265 20.8
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 2.54 1.06  265 22.7 2.50 1.07  266 22.0 2.47 1.05  265 19.8 2.48 1.06  262 20.9
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 2.64 1.15  273 25.8 2.76 1.14  271 24.2 2.70 1.10  270 24.0 2.71 1.17  266 23.6
bitvector/parity_true-unreach-call_true-no-overflow.i 2.44 1.08  274 23.3 2.43 1.04  266 20.9 2.40 1.06  261 20.2 2.44 1.07  261 22.8
bitvector/sum02_true-unreach-call_true-no-overflow.i 901    897     656 10200   901    897     667 10900   901    897     657 12400   901    897     659 11300  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 5.46 2.24  299 50.6 5.58 2.23  299 50.7 5.75 2.30  300 53.4 5.52 2.22  295 50.6
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 6.84 3.20  298 64.0 6.83 3.27  295 65.5 6.94 3.20  297 66.2 6.93 3.23  297 62.7
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 3.89 1.43  276 36.5 3.68 1.35  275 32.0 3.79 1.40  276 36.5 3.86 1.48  280 33.7
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 5.48 2.23  293 47.3 5.63 2.24  298 48.4 5.50 2.27  291 49.1 5.50 2.24  293 48.4
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 7.82 4.26  307 75.2 8.28 4.32  299 80.9 8.12 4.14  300 82.3 7.89 4.27  297 86.9
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    894     647 11700   901    894     647 10800   901    893     651 9030   901    893     630 10800  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    894     657 11300   901    894     654 10500   901    894     655 12800   901    894     653 11100  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    893     641 11000   901    894     644 7950   901    894     649 9770   901    893     658 10300  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    893     672 10600   901    893     658 10100   901    894     656 9080   901    893     675 9490  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    892     679 11100   901    893     664 10200   901    892     675 9810   901    894     663 10300  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    894     681 10300   901    893     683 9510   901    893     670 11900   901    893     688 10300  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    893     632 8830   901    893     649 8800   901    893     638 9180   901    893     646 10200  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 3.79 1.38  296 34.1 3.74 1.40  296 29.9 3.83 1.41  287 29.0 3.69 1.42  280 32.1
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 7.54 2.32  482 60.8 7.42 2.33  451 54.4 7.92 2.45  490 71.0 7.22 2.30  467 60.3
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 7.34 2.30  451 57.0 7.20 2.30  457 67.9 7.45 2.36  447 61.8 8.68 2.64  494 71.0
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 3.46 1.36  276 34.1 3.55 1.42  278 31.6 3.52 1.42  277 30.6 3.55 1.44  273 32.3
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 7.63 2.34  476 62.1 7.52 2.36  455 57.2 7.30 2.37  457 58.3 8.19 2.51  488 64.5
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.27 .983 268 22.3 2.29 1.00  268 20.5 2.35 1.01  261 21.8 2.27 .994 259 18.6
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.10 1.01  225 20.2 2.12 .962 227 18.2 2.08 .946 225 19.5 2.12 .930 229 20.1
bitvector-regression/integerpromotion_false-unreach-call.c 2.28 .984 259 20.3 2.31 1.01  266 22.9 2.36 1.00  266 20.2 2.26 .979 265 19.1
bitvector-regression/recHanoi03_false-unreach-call.c 2.27 .945 224 23.1 2.03 .947 228 20.2 2.18 .933 226 20.2 2.09 .912 222 19.1
bitvector-regression/signextension2_false-unreach-call.c 2.14 .971 225 20.7 2.15 .936 225 20.8 2.13 .955 222 18.3 2.15 .948 222 18.4
bitvector-regression/signextension_false-unreach-call.c 2.22 .964 229 18.1 2.11 .950 223 20.4 2.07 .966 224 19.3 2.22 .981 228 19.0
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.06 .954 227 18.1 2.14 .926 227 18.5 2.15 .973 226 18.0 2.28 .952 229 18.3
bitvector-regression/integerpromotion_true-unreach-call.c 2.07 .924 225 19.1 2.03 .913 226 17.8 2.09 .935 224 20.2 2.22 .989 225 20.4
bitvector-regression/signextension2_true-unreach-call.c 2.08 .926 226 20.7 2.18 .936 227 18.5 2.18 .970 229 18.8 2.10 .953 225 17.5
bitvector-regression/signextension_true-unreach-call.c 2.26 1.03  225 20.9 2.12 .922 228 18.6 2.16 .956 224 20.3 2.26 1.04  228 20.8
bitvector-loops/diamond_false-unreach-call2.i 902    894     1770 9350   902    893     1850 9220   902    895     1770 9800   902    894     1800 9040  
bitvector-loops/overflow_false-unreach-call1.i 901    894     824 13700   901    895     1010 14200   901    894     815 11800   902    894     827 11000  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 2.75 1.17  268 24.3 2.81 1.16  271 25.3 2.84 1.21  269 27.2 2.85 1.24  268 26.3
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.88 1.99  357 50.1 6.52 1.94  342 53.8 7.07 2.08  337 54.8 6.56 1.94  344 58.0
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.96 1.63  291 41.6 4.91 1.61  297 40.4 4.88 1.63  290 36.7 5.17 1.76  291 45.8
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.73 1.76  304 42.7 5.66 1.74  309 46.4 5.74 1.77  315 44.7 6.31 1.97  297 51.9
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.04 1.47  277 30.8 3.99 1.41  279 35.9 3.96 1.43  276 32.5 4.13 1.51  275 36.2
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.71 1.77  312 50.7 6.39 1.98  327 49.9 6.72 2.12  310 58.6 6.62 2.07  327 52.1
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 903    893     997 8700   902    892     1090 9080   902    893     1040 10800   902    891     979 8090  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.29 1.46  286 32.3 4.31 1.47  288 36.2 4.33 1.47  286 36.5 4.31 1.48  286 39.6
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.92 1.62  296 42.4 5.25 1.62  310 46.9 5.27 1.67  305 48.2 5.38 1.70  311 41.0
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.25 1.28  273 25.5 3.18 1.23  270 30.7 3.36 1.29  270 28.5 3.05 1.22  266 24.4
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.82 1.40  277 30.9 3.80 1.35  274 31.7 3.72 1.36  272 31.9 3.73 1.40  267 31.8
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 4.56 1.62  286 42.5 4.80 1.85  289 38.8 4.32 1.63  285 37.4 4.31 1.61  282 37.8
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 4.79 1.74  288 38.0 4.72 1.79  289 39.7 4.72 1.63  289 38.2 4.48 1.61  288 39.6
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 4.51 1.59  288 37.9 4.73 1.65  294 38.1 4.56 1.62  290 42.5 4.59 1.60  290 42.7
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 4.44 1.59  289 42.9 4.46 1.60  292 37.0 4.36 1.61  285 36.2 4.79 1.81  288 35.2
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 3.18 1.25  270 26.2 3.05 1.22  271 25.7 3.16 1.27  275 25.3 3.18 1.25  269 27.6
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 6.42 2.90  299 58.4 6.59 2.81  303 60.4 6.22 2.75  297 57.8 6.32 2.77  297 61.5
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 5.39 2.12  296 44.2 5.41 2.14  297 48.4 5.74 2.13  295 46.3 5.41 2.15  292 48.9
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 4.22 1.50  286 33.9 4.30 1.54  288 35.6 4.13 1.49  285 32.9 4.31 1.54  289 41.4
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 3.24 1.24  270 29.8 3.36 1.30  274 27.7 3.38 1.30  275 25.7 3.47 1.41  270 32.1
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 4.20 1.50  284 34.4 4.10 1.52  285 33.0 4.16 1.52  279 37.6 3.98 1.44  276 36.0
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 4.06 1.49  280 35.7 4.01 1.49  282 31.1 3.97 1.45  280 30.2 4.10 1.54  277 34.0
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 3.26 1.26  269 25.7 3.22 1.26  271 27.5 3.44 1.42  271 31.8 3.28 1.33  272 25.1
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 27.6  23.8   325 377   28.1  23.9   335 316   27.4  23.7   326 352   27.6  23.7   329 381  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 29.0  24.4   337 327   28.0  24.1   328 333   27.9  24.1   328 340   27.6  23.8   327 326  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 31.3  27.1   339 360   31.6  27.4   348 402   31.9  27.2   347 412   31.2  27.3   336 375  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 28.0  24.2   332 369   27.9  24.0   330 322   27.9  23.9   324 308   27.9  23.9   327 346  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 901    892     695 8840   901    892     696 11700   901    893     662 10100   901    892     700 10800  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 901    894     844 10500   901    893     838 7420   901    893     825 8370   902    893     827 7900  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 901    893     774 8340   901    894     750 8600   901    894     772 8100   901    893     758 8990  
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 901    893     666 10800   902    893     675 9640   901    893     678 10400   901    891     691 9480  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 901    893     690 10700   901    893     691 10300   901    893     691 10800   901    892     693 11000  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 901    891     692 10500   901    893     684 10200   901    893     686 10400   901    893     694 10500  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 901    892     674 10700   901    893     662 10700   901    894     660 11200   901    894     659 12000  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 901    891     718 12800   901    894     693 10600   901    894     698 13000   901    893     695 10100  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 901    893     681 10600   901    892     684 11000   901    893     669 11600   901    894     669 11100  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.97 1.22  272 26.5 2.89 1.17  271 25.9 2.92 1.19  270 25.5 3.03 1.29  268 24.0
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 3.04 1.18  272 28.1 3.09 1.29  275 26.1 2.87 1.20  273 25.6 2.96 1.20  270 25.5
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 902    891     1060 6490   904    893     1010 6360   904    892     1120 6310   903    893     1050 6810  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 902    890     1280 6020   903    892     1500 7100   902    891     1070 6840   904    894     1110 7080  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 902    892     1080 7890   904    892     1120 6140   904    893     1120 7890   904    894     1170 9560  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 905    892     1100 6320   902    890     1190 7330   904    893     1080 6020   902    892     1230 7490  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 903    893     1350 6920   902    891     1130 6950   904    892     1370 6290   904    891     1330 5700  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 903    891     1140 5910   902    891     1110 8100   904    893     1390 9620   903    892     1160 7670  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 902    893     962 8970   903    892     924 8740   902    892     1100 7510   904    893     1060 7150  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 902    892     997 7380   902    893     1330 6040   904    893     1010 5900   902    891     1340 5820  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 903    893     1120 7020   902    892     931 6370   902    893     1130 7200   902    892     991 5750  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 904    893     1040 6570   903    891     974 6400   902    892     1280 6570   902    892     1040 7120  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 901    893     1190 6310   903    894     1260 6090   903    893     1150 5950   902    892     1180 6290  
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    894     721 7940   901    894     713 9860   70.9  57.7   971 872   901    894     865 10100  
ntdrivers/diskperf_false-unreach-call.i.cil.c 7.46 2.13  352 66.8 8.14 2.34  367 58.4 7.41 2.11  362 64.9 7.47 2.16  351 58.6
ntdrivers/floppy_false-unreach-call.i.cil.c 910    902     1700 5590   912    903     1690 5150   13.1  3.73  576 99.7 311    302     1580 3740  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 5.37 1.75  299 40.4 5.67 1.80  295 47.1 5.63 1.84  297 42.9 5.57 1.86  302 48.4
ntdrivers/parport_false-unreach-call.i.cil.c 14.2  3.73  540 108   13.8  3.60  526 118   13.7  3.55  512 103   14.4  3.85  528 117  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 8.45 2.35  364 67.7 9.90 2.74  362 73.9 9.27 2.58  381 75.8 9.37 2.52  380 66.1
ntdrivers/diskperf_true-unreach-call.i.cil.c 901    894     563 11100   901    895     564 11300   901    892     601 11600   901    894     599 9190  
ntdrivers/floppy2_true-unreach-call.i.cil.c 902    883     1590 11800   912    893     1810 10100   904    879     2250 9250   902    883     1700 8620  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 910    900     1810 5440   903    892     1830 5220   908    884     1470 8250   901    891     1180 9000  
ntdrivers/parport_true-unreach-call.i.cil.c 912    684     13200 8650   912    680     13100 8490   912    685     13600 8660   912    669     13400 8750  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 16.0  11.9   323 188   16.3  12.0   323 190   10.7  6.50  308 98.0 13.2  8.86  326 129  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 10.3  6.21  312 107   9.96 6.11  317 102   7.53 3.53  306 73.5 8.70 4.92  312 91.2
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 11.7  7.24  322 119   11.2  7.23  321 114   9.65 5.46  308 93.2 9.18 5.07  319 84.8
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 9.25 5.12  313 104   9.09 4.96  309 90.8 7.76 3.54  309 72.3 9.35 5.41  316 104  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 6.35 2.59  299 48.6 6.13 2.50  299 54.3 5.86 2.01  297 45.4 5.69 2.11  303 49.1
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 6.03 2.42  300 48.5 5.78 2.38  298 55.6 5.59 1.96  295 53.0 5.56 2.10  302 46.3
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 5.69 2.17  296 48.1 5.99 2.19  301 43.7 5.72 2.00  298 55.2 5.39 1.98  297 48.3
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 5.73 2.09  302 49.8 5.58 2.06  297 51.0 5.69 2.00  294 46.8 5.69 2.06  297 51.8
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 12.5  8.17  319 143   12.2  8.08  317 120   8.62 4.11  308 77.5 11.2  7.04  319 110  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 11.3  7.00  312 126   11.1  7.06  316 139   6.80 2.73  308 60.7 8.85 4.69  315 92.8
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 68.7  63.3   402 794   69.1  63.9   398 815   20.8  15.3   389 225   42.6  37.5   384 490  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 9.98 5.87  313 103   10.1  5.89  318 104   7.15 3.11  301 72.2 9.47 5.36  310 95.3
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 64.3  59.2   418 774   64.6  59.4   404 890   21.6  16.4   381 217   47.5  42.2   402 681  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 7.88 4.01  306 72.0 7.84 4.00  308 74.2 6.33 2.26  302 49.8 7.35 3.24  305 66.2
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 14.1  10.1   320 166   14.3  10.1   318 162   7.73 3.59  312 78.3 9.45 5.02  312 90.5
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 9.62 5.64  311 88.7 9.84 5.70  317 91.1 7.00 2.76  307 59.0 10.2  6.13  320 108  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 10.6  6.43  316 110   10.6  6.33  318 105   7.43 3.30  310 67.8 10.1  5.53  320 97.5
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 73.2  67.3   466 906   74.2  67.5   485 847   25.7  20.2   394 265   46.8  41.3   398 588  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 13.5  9.35  319 159   13.9  9.49  327 140   7.68 3.28  311 69.0 10.2  5.96  315 108  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 325    319     511 3710   329    323     484 4010   656    650     498 7790   241    235     504 2720  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 249    243     484 3200   248    242     472 2890   568    561     413 6890   217    211     502 2740  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 265    259     517 3260   265    260     497 3680   585    578     535 6630   206    200     471 2010  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 259    254     496 3190   260    253     525 3530   564    558     511 7220   224    217     488 2790  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 901    894     654 12400   901    893     683 11400   901    894     601 10500   901    893     679 12700  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 901    894     767 13700   901    894     749 11200   901    894     622 10800   901    891     677 11800  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 901    894     697 11500   901    893     720 12700   901    892     609 12000   901    893     671 11400  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 901    894     673 11000   901    894     674 12200   901    893     608 10700   901    893     682 11400  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 901    894     744 12700   901    894     742 11300   901    893     606 11900   901    894     580 10900  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 901    894     667 13600   901    895     674 11400   901    893     592 10200   901    894     700 10500  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 901    895     726 11800   901    894     758 12700   901    893     588 11100   901    894     669 11800  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 901    895     755 9630   901    894     750 11400   901    893     605 10800   901    892     707 9810  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 901    894     789 12400   901    894     783 11400   901    893     598 10200   901    893     702 12000  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 901    895     747 11700   901    894     748 10500   901    893     585 9800   901    893     665 11300  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 901    894     748 10400   901    894     752 10300   901    892     610 11900   901    893     675 11700  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 901    893     786 10800   901    895     755 9790   901    893     608 10400   901    893     808 11600  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 902    893     768 12200   901    894     761 11300   901    892     612 10800   901    893     663 10700  
eca-rers2012/Problem01_label15_false-unreach-call.c 9.73 2.99  492 84.7 9.66 3.01  491 80.8 9.93 3.03  493 85.4 9.62 2.99  494 78.1
eca-rers2012/Problem01_label20_false-unreach-call.c 13.5  4.81  544 124   12.9  4.73  556 96.3 13.7  4.99  553 108   12.2  4.63  536 109  
eca-rers2012/Problem01_label21_false-unreach-call.c 9.85 3.03  505 86.3 11.7  3.45  486 89.0 9.99 3.00  503 81.6 10.9  3.13  502 79.8
eca-rers2012/Problem01_label32_false-unreach-call.c 13.5  4.81  547 104   13.4  4.92  563 115   13.1  4.82  574 106   13.1  5.22  573 105  
eca-rers2012/Problem01_label33_false-unreach-call.c 11.5  3.58  517 104   12.1  3.73  526 93.9 12.1  3.69  528 100   11.8  3.63  515 95.0
eca-rers2012/Problem01_label35_false-unreach-call.c 10.0  3.00  502 79.2 9.77 3.04  491 75.2 9.88 3.02  498 69.2 11.1  3.31  502 85.7
eca-rers2012/Problem01_label37_false-unreach-call.c 12.1  3.72  518 91.3 12.3  3.77  520 98.8 12.7  4.06  505 99.3 12.8  4.14  527 93.5
eca-rers2012/Problem01_label38_false-unreach-call.c 10.2  3.16  490 72.1 11.7  3.44  513 98.4 10.1  3.03  495 71.4 9.95 3.03  502 69.0
eca-rers2012/Problem01_label44_false-unreach-call.c 8.29 2.48  461 72.6 8.48 2.55  460 68.7 8.84 2.61  483 77.4 9.25 2.71  492 70.3
eca-rers2012/Problem01_label47_false-unreach-call.c 13.5  4.95  546 116   15.0  5.15  582 122   13.3  5.18  551 106   13.3  4.86  557 104  
eca-rers2012/Problem01_label50_false-unreach-call.c 10.0  2.98  504 79.2 9.86 2.96  496 78.2 10.2  3.01  490 77.4 10.3  2.98  505 76.1
eca-rers2012/Problem01_label56_false-unreach-call.c 11.7  3.74  514 93.5 12.3  3.79  515 86.8 12.0  3.92  506 91.2 11.7  3.87  512 106  
eca-rers2012/Problem01_label57_false-unreach-call.c 11.8  3.77  520 88.4 13.1  4.13  514 99.4 12.1  3.68  522 102   12.8  3.78  531 96.6
eca-rers2012/Problem02_label13_false-unreach-call.c 6.50 1.96  334 51.3 6.47 1.99  335 50.5 6.49 1.96  321 53.2 6.65 2.00  334 57.9
eca-rers2012/Problem02_label16_false-unreach-call.c 7.41 2.25  328 50.2 6.44 1.91  330 53.2 6.76 2.02  331 49.6 6.65 2.05  329 59.1
eca-rers2012/Problem02_label43_false-unreach-call.c 7.37 2.23  331 61.2 6.75 2.00  332 53.7 6.74 2.10  332 61.3 6.51 1.92  332 50.9
eca-rers2012/Problem02_label44_false-unreach-call.c 6.63 1.99  333 50.0 6.58 1.95  333 51.7 6.72 2.06  330 59.3 6.76 2.07  334 53.7
eca-rers2012/Problem02_label45_false-unreach-call.c 7.56 2.30  425 55.0 7.61 2.28  424 65.6 7.88 2.30  420 58.8 8.60 2.56  418 60.3
eca-rers2012/Problem02_label50_false-unreach-call.c 9.16 2.77  424 60.1 7.93 2.45  424 59.3 7.77 2.38  416 64.3 7.45 2.29  408 58.8
eca-rers2012/Problem02_label59_false-unreach-call.c 7.77 2.32  426 66.8 7.82 2.33  437 62.6 8.07 2.42  434 67.1 8.36 2.53  428 70.8
eca-rers2012/Problem03_label09_false-unreach-call.c 20.5  9.86  735 174   20.6  9.98  761 197   22.4  10.3   791 184   20.4  10.1   745 176  
eca-rers2012/Problem03_label13_false-unreach-call.c 17.7  6.26  708 144   16.6  6.12  673 149   16.8  6.21  674 134   16.5  6.28  662 135  
eca-rers2012/Problem03_label26_false-unreach-call.c 16.0  4.55  588 113   14.3  4.63  570 113   15.3  4.47  561 124   14.9  4.47  563 110  
eca-rers2012/Problem03_label27_false-unreach-call.c 18.3  6.51  688 144   17.0  6.49  653 129   18.7  6.47  684 162   18.5  6.49  670 131  
eca-rers2012/Problem03_label28_false-unreach-call.c 19.2  6.90  714 155   17.8  6.68  696 145   18.3  6.94  701 153   16.6  6.40  705 147  
eca-rers2012/Problem03_label31_false-unreach-call.c 18.2  6.65  676 141   16.6  6.41  654 134   18.0  6.56  695 172   18.9  6.96  670 138  
eca-rers2012/Problem03_label35_false-unreach-call.c 27.7  14.2   797 223   25.5  14.6   809 226   24.7  14.1   797 228   25.4  14.3   778 230  
eca-rers2012/Problem03_label37_false-unreach-call.c 19.5  7.59  697 159   17.6  7.26  692 147   19.8  7.67  721 161   19.5  7.65  707 159  
eca-rers2012/Problem03_label39_false-unreach-call.c 21.8  10.7   779 192   20.8  10.3   738 198   24.1  10.9   768 200   21.4  10.8   767 188  
eca-rers2012/Problem03_label43_false-unreach-call.c 17.1  6.88  678 151   18.0  6.84  692 147   19.2  6.89  710 157   17.8  6.61  711 156  
eca-rers2012/Problem03_label45_false-unreach-call.c 25.1  13.5   805 211   25.3  14.1   801 216   25.1  13.7   808 195   24.4  13.1   787 252  
eca-rers2012/Problem03_label50_false-unreach-call.c 20.4  7.87  731 163   18.6  7.70  727 154   18.9  8.02  709 145   17.5  7.73  700 139  
eca-rers2012/Problem03_label52_false-unreach-call.c 27.3  13.4   794 197   24.6  13.1   788 211   24.4  12.8   752 225   24.5  12.7   778 229  
eca-rers2012/Problem04_label04_false-unreach-call.c 904    886     2880 6980   903    887     2860 7210   904    886     2920 5200   904    885     2840 6130  
eca-rers2012/Problem04_label06_false-unreach-call.c 903    886     3020 6660   903    885     2900 6140   904    887     3050 6870   903    886     2920 4900  
eca-rers2012/Problem04_label09_false-unreach-call.c 904    887     2620 4940   903    885     2700 6170   904    886     2760 6020   904    886     2700 5040  
eca-rers2012/Problem04_label11_false-unreach-call.c 904    886     2990 5730   904    887     2890 5430   904    886     2950 5530   903    885     3030 7400  
eca-rers2012/Problem04_label12_false-unreach-call.c 903    883     3050 5670   912    895     3000 5640   903    886     2980 5840   904    885     3000 5580  
eca-rers2012/Problem04_label13_false-unreach-call.c 904    886     2840 6050   904    887     2780 6010   904    886     2830 5650   904    885     2930 9080  
eca-rers2012/Problem04_label14_false-unreach-call.c 903    886     2790 6350   904    886     2970 6390   903    887     3000 6620   903    887     2970 7340  
eca-rers2012/Problem04_label15_false-unreach-call.c 903    887     2670 5120   904    887     2760 5710   903    887     2740 5150   904    886     2730 5410  
eca-rers2012/Problem04_label17_false-unreach-call.c 903    886     2940 6560   904    887     2820 6030   904    885     2860 6870   904    885     2870 5990  
eca-rers2012/Problem04_label18_false-unreach-call.c 904    884     3100 6030   903    886     2920 5070   904    886     2870 6410   903    885     3090 7030  
eca-rers2012/Problem04_label19_false-unreach-call.c 903    884     3090 5830   903    885     3060 6140   903    885     3070 4870   903    884     3130 6040  
eca-rers2012/Problem04_label26_false-unreach-call.c 904    885     2840 5070   903    887     2960 5680   903    887     2930 6090   904    886     3170 7800  
eca-rers2012/Problem04_label27_false-unreach-call.c 903    884     2720 6280   903    886     2770 6140   903    886     2730 5710   903    885     2760 6740  
eca-rers2012/Problem04_label31_false-unreach-call.c 903    886     2990 4900   904    886     3110 7480   903    885     3140 5590   903    886     3050 5290  
eca-rers2012/Problem04_label32_false-unreach-call.c 904    884     3220 5610   903    884     3190 5350   903    886     3170 7690   903    886     3270 6320  
eca-rers2012/Problem04_label35_false-unreach-call.c 904    885     2770 5390   904    887     2850 7690   903    885     2800 6650   903    886     2800 7650  
eca-rers2012/Problem04_label36_false-unreach-call.c 904    884     2910 5460   903    885     3040 6690   904    885     2980 5370   903    886     3020 6000  
eca-rers2012/Problem04_label38_false-unreach-call.c 903    887     2970 5140   903    884     2790 5150   903    884     2960 5900   903    884     3100 6850  
eca-rers2012/Problem04_label39_false-unreach-call.c 904    886     3000 6450   903    884     2990 5400   904    886     3000 7340   904    885     3040 5970  
eca-rers2012/Problem04_label40_false-unreach-call.c 904    885     2960 5580   903    885     3050 5470   903    886     2950 5740   903    886     2930 5310  
eca-rers2012/Problem04_label45_false-unreach-call.c 905    887     3210 5280   904    887     3350 5430   904    886     3210 5580   904    887     3420 6350  
eca-rers2012/Problem04_label52_false-unreach-call.c 904    885     2940 6340   904    884     2900 5560   903    885     3000 6070   904    887     2850 4760  
eca-rers2012/Problem04_label55_false-unreach-call.c 904    885     3030 6150   904    886     3020 6410   904    885     3130 6060   903    885     3180 6180  
eca-rers2012/Problem04_label58_false-unreach-call.c 904    885     3000 5100   904    885     3030 5270   903    886     3150 5450   904    886     3110 7050  
eca-rers2012/Problem05_label00_false-unreach-call.c 588    566     3340 3460   608    586     3280 3700   574    552     3250 3830   572    551     3210 4720  
eca-rers2012/Problem05_label01_false-unreach-call.c 557    535     3120 3410   525    504     3270 4180   554    534     3290 3640   542    521     3170 3920  
eca-rers2012/Problem05_label11_false-unreach-call.c 537    516     3360 3570   533    512     3450 3580   545    522     3490 3430   531    507     3440 3530  
eca-rers2012/Problem05_label13_false-unreach-call.c 386    364     2970 3240   388    365     3000 2540   380    359     3050 2750   390    368     2950 3050  
eca-rers2012/Problem05_label15_false-unreach-call.c 413    392     2940 2710   414    392     2910 2710   408    386     3050 3410   407    384     3020 3160  
eca-rers2012/Problem05_label18_false-unreach-call.c 506    483     3340 2960   515    494     3390 3190   502    481     3260 3180   489    466     3320 4290  
eca-rers2012/Problem05_label24_false-unreach-call.c 569    545     3210 4200   563    541     3290 3810   576    554     3210 3650   570    548     3440 3900  
eca-rers2012/Problem05_label26_false-unreach-call.c 605    584     3490 4500   602    579     3440 3760   580    558     3470 3950   586    564     3420 4100  
eca-rers2012/Problem05_label30_false-unreach-call.c 665    642     3210 4540   654    632     3170 4850   655    632     3410 5360   661    639     3170 4630  
eca-rers2012/Problem05_label32_false-unreach-call.c 546    522     3320 3630   527    505     3180 3570   534    512     3170 4130   536    513     3200 3940  
eca-rers2012/Problem05_label33_false-unreach-call.c 527    506     3280 4020   549    525     3270 3420   545    523     3270 3550   549    527     3280 3650  
eca-rers2012/Problem05_label36_false-unreach-call.c 407    386     3070 2800   410    388     3190 2710   411    389     3070 2790   405    384     3020 2610  
eca-rers2012/Problem05_label37_false-unreach-call.c 576    554     3280 4640   567    543     3260 3630   581    558     3230 3510   571    549     3250 4050  
eca-rers2012/Problem05_label38_false-unreach-call.c 500    478     3390 2470   491    469     3450 3510   508    485     3370 3060   489    466     3470 3240  
eca-rers2012/Problem05_label39_false-unreach-call.c 590    567     3240 3450   570    548     3140 3920   585    562     3190 4520   577    554     3180 3820  
eca-rers2012/Problem05_label40_false-unreach-call.c 511    488     3270 3870   499    478     3290 3510   499    476     3270 3220   511    487     3310 3610  
eca-rers2012/Problem05_label41_false-unreach-call.c 498    475     3210 3200   500    478     3270 3740   491    469     3270 3360   494    471     3230 3170  
eca-rers2012/Problem05_label44_false-unreach-call.c 572    549     3240 3810   570    547     3200 3560   563    541     3260 3850   536    516     3250 5010  
eca-rers2012/Problem05_label47_false-unreach-call.c 594    571     3180 4050   569    547     3270 3590   585    562     3200 3690   565    543     3290 4590  
eca-rers2012/Problem05_label48_false-unreach-call.c 476    453     3160 4040   495    472     3190 3210   491    467     3170 3490   468    446     3190 4120  
eca-rers2012/Problem05_label51_false-unreach-call.c 394    373     3120 3260   395    373     3230 3390   398    377     3230 2960   411    389     3120 2660  
eca-rers2012/Problem05_label55_false-unreach-call.c 491    469     3250 3120   477    454     3340 3150   472    450     3300 3530   466    441     3380 3350  
eca-rers2012/Problem05_label57_false-unreach-call.c 564    543     3440 3710   587    565     3330 4240   579    556     3420 4030   575    554     3320 4000  
eca-rers2012/Problem05_label58_false-unreach-call.c 520    497     3150 4010   539    513     3080 3240   565    542     3160 3340   525    502     3200 4560  
eca-rers2012/Problem06_label00_false-unreach-call.c 167    146     2270 1070   161    141     2220 1380   156    138     2230 1380   163    144     2240 1170  
eca-rers2012/Problem06_label01_false-unreach-call.c 175    154     2250 1300   168    150     2220 1210   174    154     2230 1170   170    152     2270 1140  
eca-rers2012/Problem06_label02_false-unreach-call.c 190    169     2210 1400   188    167     2250 1390   187    166     2280 1400   187    168     2220 1300  
eca-rers2012/Problem06_label04_false-unreach-call.c 210    190     2460 1460   208    189     2460 1640   206    187     2500 1560   213    194     2480 1370  
eca-rers2012/Problem06_label05_false-unreach-call.c 160    140     2160 1310   162    143     2150 1140   161    142     2210 1190   165    147     2240 1180  
eca-rers2012/Problem06_label09_false-unreach-call.c 183    164     2480 1240   183    164     2460 1180   175    157     2460 1300   182    163     2450 1200  
eca-rers2012/Problem06_label10_false-unreach-call.c 183    163     2620 1290   181    162     2630 1250   180    161     2630 1240   185    166     2470 1370  
eca-rers2012/Problem06_label11_false-unreach-call.c 149    130     2240 1090   150    130     2240 1180   151    132     2220 969   152    133     2160 1020  
eca-rers2012/Problem06_label12_false-unreach-call.c 191    172     2550 1300   200    181     2500 1380   198    179     2490 1290   194    174     2510 1420  
eca-rers2012/Problem06_label15_false-unreach-call.c 147    129     2180 1230   144    124     2170 984   144    123     2220 1030   145    125     2130 922  
eca-rers2012/Problem06_label20_false-unreach-call.c 165    146     2180 1230   163    145     2150 1440   166    146     2200 1370   164    144     2190 1380  
eca-rers2012/Problem06_label21_false-unreach-call.c 178    158     2260 1090   167    147     2260 1420   173    153     2280 1180   167    148     2210 1390  
eca-rers2012/Problem06_label24_false-unreach-call.c 179    159     2170 1620   185    165     2160 1400   177    157     2200 1400   182    162     2220 1340  
eca-rers2012/Problem06_label27_false-unreach-call.c 157    139     2180 1170   161    140     2200 1170   159    141     2250 1130   164    143     2120 1290  
eca-rers2012/Problem06_label29_false-unreach-call.c 204    184     2540 1320   202    183     2510 1370   200    179     2470 1350   190    171     2550 1610  
eca-rers2012/Problem06_label33_false-unreach-call.c 152    132     2090 1330   149    130     2210 1170   144    126     2150 1130   153    131     2160 1150  
eca-rers2012/Problem06_label36_false-unreach-call.c 160    142     2230 1530   161    142     2170 1150   163    144     2250 1270   165    146     2200 1240  
eca-rers2012/Problem06_label37_false-unreach-call.c 155    137     2120 1040   157    138     2140 1140   154    135     2160 1130   156    137     2120 945  
eca-rers2012/Problem06_label38_false-unreach-call.c 169    150     2140 1200   166    148     2130 1290   163    143     2180 1170   163    144     2220 1020  
eca-rers2012/Problem06_label44_false-unreach-call.c 154    135     2150 1000   155    136     2270 1080   149    130     2150 1260   158    138     2260 1200  
eca-rers2012/Problem06_label47_false-unreach-call.c 136    116     2180 1010   133    115     2080 1090   135    116     2150 906   135    116     2110 1060  
eca-rers2012/Problem06_label48_false-unreach-call.c 198    178     2190 1260   202    181     2210 1400   191    172     2180 1420   193    173     2220 1300  
eca-rers2012/Problem06_label56_false-unreach-call.c 166    148     2240 1110   171    152     2260 1320   166    146     2220 1370   168    150     2230 1170  
eca-rers2012/Problem06_label58_false-unreach-call.c 169    148     2120 1140   170    150     2200 1100   173    152     2250 1250   168    149     2230 1300  
eca-rers2012/Problem06_label59_false-unreach-call.c 162    143     2230 1370   159    140     2230 1170   161    143     2160 1290   161    142     2180 1160  
eca-rers2012/Problem07_label03_false-unreach-call.c 908    869     7080 5000   909    869     7360 5990   909    869     7100 6190   910    868     7320 6760  
eca-rers2012/Problem07_label05_false-unreach-call.c 912    872     7230 5840   910    867     7050 7070   911    872     7010 7400   911    870     7120 6260  
eca-rers2012/Problem07_label06_false-unreach-call.c 912    852     9730 7920   912    867     9620 6450   912    867     9500 5750   912    865     9760 5510  
eca-rers2012/Problem07_label07_false-unreach-call.c 909    869     7380 6360   909    873     6740 5470   909    869     7240 6160   911    871     7390 5610  
eca-rers2012/Problem07_label09_false-unreach-call.c 910    869     7370 6080   912    872     7390 6010   912    871     7300 5910   909    870     7070 5730  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    852     9570 5620   912    868     9500 5920   912    868     9520 5630   912    852     9890 5830  
eca-rers2012/Problem07_label15_false-unreach-call.c 909    869     7420 6340   910    871     7460 6060   910    870     7390 6340   912    870     7690 6080  
eca-rers2012/Problem07_label18_false-unreach-call.c 912    873     7070 5950   914    870     6740 6340   912    872     6910 5240   912    869     7010 6230  
eca-rers2012/Problem07_label19_false-unreach-call.c 910    867     7020 7100   908    868     7030 7420   910    867     7260 5750   910    869     6900 5600  
eca-rers2012/Problem07_label20_false-unreach-call.c 912    874     6820 5830   912    873     6840 6270   912    874     6860 5960   912    874     6780 6210  
eca-rers2012/Problem07_label23_false-unreach-call.c 909    868     7280 6830   910    871     6950 5210   910    869     7170 6930   909    868     7320 6190  
eca-rers2012/Problem07_label30_false-unreach-call.c 910    870     7330 8100   909    868     7260 8060   910    870     7080 6040   908    867     7140 5920  
eca-rers2012/Problem07_label31_false-unreach-call.c 910    869     6910 7550   911    870     7390 6350   910    869     7110 6470   908    867     7110 5670  
eca-rers2012/Problem07_label35_false-unreach-call.c 911    872     6890 6550   908    869     6920 6750   909    871     7140 5800   910    870     6910 5790  
eca-rers2012/Problem07_label36_false-unreach-call.c 912    873     6670 6460   909    867     7010 6010   909    868     7040 6370   909    869     7000 5750  
eca-rers2012/Problem07_label37_false-unreach-call.c 909    867     6930 6460   911    872     7030 6750   908    867     6940 7180   909    868     6880 6610  
eca-rers2012/Problem07_label39_false-unreach-call.c 910    861     8160 5330   912    868     9380 5560   911    849     8000 5180   912    868     9400 7820  
eca-rers2012/Problem07_label40_false-unreach-call.c 909    868     7090 6350   910    872     7090 5990   910    869     7090 8570   910    868     7040 5750  
eca-rers2012/Problem07_label42_false-unreach-call.c 909    869     7040 6330   910    871     7230 8090   911    869     7250 6250   912    871     7540 6350  
eca-rers2012/Problem07_label44_false-unreach-call.c 912    853     9510 5420   912    866     9380 6570   912    867     9360 5590   932    869     9350 6960  
eca-rers2012/Problem07_label46_false-unreach-call.c 915    868     9530 4970   914    852     9880 6320   917    871     9510 6010   912    850     10000 6380  
eca-rers2012/Problem07_label47_false-unreach-call.c 911    849     8010 7230   913    865     7900 6920   911    849     7660 6160   912    849     8020 6470  
eca-rers2012/Problem07_label48_false-unreach-call.c 909    860     8090 6720   910    847     8020 5850   911    863     7790 5940   910    846     8190 5310  
eca-rers2012/Problem07_label58_false-unreach-call.c 912    876     6840 6320   915    874     7090 5810   912    873     7030 6400   912    872     7230 5850  
eca-rers2012/Problem08_label01_false-unreach-call.c 912    854     10000 4690   912    852     9990 5060   912    857     10200 6700   912    850     10100 5360  
eca-rers2012/Problem08_label02_false-unreach-call.c 912    852     10000 5070   912    846     9970 5240   912    857     10200 5180   912    852     10200 3950  
eca-rers2012/Problem08_label04_false-unreach-call.c 912    851     10100 6160   912    854     9920 6370   912    855     10400 5720   915    846     8640 5820  
eca-rers2012/Problem08_label05_false-unreach-call.c 912    851     9880 6710   912    846     9890 7890   912    852     10000 6940   912    852     10000 5280  
eca-rers2012/Problem08_label06_false-unreach-call.c 917    852     8530 5330   917    854     8550 5780   917    855     8710 5290   917    854     8590 5940  
eca-rers2012/Problem08_label07_false-unreach-call.c 912    852     10000 5310   912    856     10000 5860   912    853     10100 6030   912    851     10100 5360  
eca-rers2012/Problem08_label10_false-unreach-call.c 912    849     10100 5170   912    855     10100 7470   912    855     10300 5540   912    852     10300 6000  
eca-rers2012/Problem08_label13_false-unreach-call.c 912    850     10100 4930   912    855     10000 4140   912    852     10100 4490   912    845     10300 6400  
eca-rers2012/Problem08_label15_false-unreach-call.c 912    854     10300 5750   912    850     10200 4660   912    854     10500 5050   912    849     10200 7250  
eca-rers2012/Problem08_label24_false-unreach-call.c 912    855     10100 5890   912    852     10000 4510   912    854     10300 4510   912    853     10200 6670  
eca-rers2012/Problem08_label25_false-unreach-call.c 912    854     10100 4790   912    852     10100 5160   912    852     10200 4610   912    854     10300 5050  
eca-rers2012/Problem08_label26_false-unreach-call.c 912    845     9880 5360   912    853     9920 5720   912    853     10200 5590   912    854     10100 5630  
eca-rers2012/Problem08_label28_false-unreach-call.c 911    864     7510 8060   912    867     7260 7740   912    862     7480 8160   912    864     7120 7650  
eca-rers2012/Problem08_label29_false-unreach-call.c 912    850     9970 4920   912    855     10000 4640   912    851     10100 5030   912    846     10100 5110  
eca-rers2012/Problem08_label34_false-unreach-call.c 912    851     9930 5920   912    846     9940 5360   912    853     10100 8730   912    852     10100 5560  
eca-rers2012/Problem08_label37_false-unreach-call.c 912    851     10100 5480   912    846     10100 5220   912    853     10400 7080   912    853     10300 5640  
eca-rers2012/Problem08_label43_false-unreach-call.c 912    851     10100 7920   912    854     10100 6280   912    852     10200 4080   912    852     10200 5140  
eca-rers2012/Problem08_label46_false-unreach-call.c 912    854     10300 5630   912    852     10300 7540   912    855     10500 4930   912    853     10400 5800  
eca-rers2012/Problem08_label48_false-unreach-call.c 912    851     9870 5970   912    852     9960 7900   912    853     10000 6850   912    853     10200 6760  
eca-rers2012/Problem08_label49_false-unreach-call.c 916    857     8390 7000   917    858     8440 5080   914    854     8450 7460   916    847     8450 6480  
eca-rers2012/Problem08_label50_false-unreach-call.c 912    864     7650 8280   912    866     7260 8110   912    865     7260 8160   912    863     7610 8950  
eca-rers2012/Problem08_label51_false-unreach-call.c 912    849     10000 6160   912    850     9960 5380   912    852     10100 5590   912    856     10200 5380  
eca-rers2012/Problem08_label55_false-unreach-call.c 912    849     9930 8480   912    851     9940 7980   912    852     10000 7180   912    852     10100 8740  
eca-rers2012/Problem08_label59_false-unreach-call.c 912    850     10100 5170   912    853     10000 5480   912    845     10200 4500   912    852     10300 5830  
eca-rers2012/Problem09_label02_false-unreach-call.c 912    857     8300 5680   918    860     8340 6470   911    858     8470 6090   912    858     8500 8610  
eca-rers2012/Problem09_label03_false-unreach-call.c 912    858     8270 7780   912    859     8250 5900   912    857     8460 7020   912    858     8450 6180  
eca-rers2012/Problem09_label06_false-unreach-call.c 943    842     10600 8150   941    843     10600 7170   917    816     10800 6350   917    839     10400 8450  
eca-rers2012/Problem09_label08_false-unreach-call.c 946    855     10600 6240   944    841     10700 5410   941    843     10800 6730   942    843     10900 6270  
eca-rers2012/Problem09_label10_false-unreach-call.c 913    856     8510 6790   913    859     8490 7750   914    856     8760 5870   913    855     8670 5780  
eca-rers2012/Problem09_label11_false-unreach-call.c 912    855     8510 4930   913    857     8420 5890   913    855     8720 5850   913    857     8700 5260  
eca-rers2012/Problem09_label15_false-unreach-call.c 943    841     10900 6670   916    813     10700 5460   916    813     10900 5330   943    843     10900 5220  
eca-rers2012/Problem09_label19_false-unreach-call.c 912    856     8670 8350   914    859     8660 6560   915    859     8880 6490   913    858     8860 7370  
eca-rers2012/Problem09_label20_false-unreach-call.c 910    809     9540 5370   944    842     10600 5710   916    839     10700 6520   916    839     10700 5610  
eca-rers2012/Problem09_label32_false-unreach-call.c 916    861     7930 6650   914    859     7900 6760   912    858     8140 7720   914    858     8250 7480  
eca-rers2012/Problem09_label34_false-unreach-call.c 913    858     8460 6200   912    858     8460 6670   912    855     8630 6680   912    861     8600 6680  
eca-rers2012/Problem09_label35_false-unreach-call.c 910    855     8160 6370   913    858     8060 6710   913    859     8210 4410   912    858     8150 5730  
eca-rers2012/Problem09_label36_false-unreach-call.c 913    857     8650 6040   913    860     8610 5700   913    857     8820 5430   911    858     8750 6130  
eca-rers2012/Problem09_label38_false-unreach-call.c 912    859     8650 5880   912    858     8630 7110   912    857     8820 8430   912    858     8790 6320  
eca-rers2012/Problem09_label41_false-unreach-call.c 905    849     8460 4880   912    838     9270 6730   909    844     8740 5770   908    844     8710 6810  
eca-rers2012/Problem09_label44_false-unreach-call.c 912    860     8110 6460   910    855     7960 7010   912    857     8150 6880   912    855     8200 9520  
eca-rers2012/Problem09_label46_false-unreach-call.c 912    857     8040 5560   911    855     8170 5650   913    859     8420 5390   912    857     8370 5320  
eca-rers2012/Problem09_label47_false-unreach-call.c 912    857     8170 6420   912    858     8190 6830   912    856     8340 5180   912    858     8340 6270  
eca-rers2012/Problem09_label51_false-unreach-call.c 943    843     10600 8620   944    841     10500 5800   915    846     10300 5790   916    839     10600 5690  
eca-rers2012/Problem09_label53_false-unreach-call.c 913    860     8760 8110   916    858     8620 5840   917    860     8960 6200   911    856     8800 5550  
eca-rers2012/Problem09_label54_false-unreach-call.c 911    847     8410 6020   911    855     8740 6170   912    857     8830 8900   913    856     8900 6200  
eca-rers2012/Problem09_label56_false-unreach-call.c 913    857     8710 6220   912    838     9390 8980   913    857     8830 6300   912    857     8820 5050  
eca-rers2012/Problem09_label57_false-unreach-call.c 912    837     11600 6910   912    840     11700 5610   912    840     11800 6020   912    841     11800 4070  
eca-rers2012/Problem09_label59_false-unreach-call.c 912    859     8030 5000   910    857     8030 7870   913    858     8230 6070   913    855     8200 5000  
eca-rers2012/Problem10_label12_false-unreach-call.c 902    896     463 11300   901    896     460 9930   902    897     461 12600   902    897     462 11800  
eca-rers2012/Problem10_label15_false-unreach-call.c 354    348     504 3380   355    348     543 4120   355    347     517 4320   356    348     514 4090  
eca-rers2012/Problem10_label24_false-unreach-call.c 9.91 3.94  446 89.6 9.90 3.94  442 98.7 10.0  3.93  454 94.2 10.5  3.99  459 89.9
eca-rers2012/Problem10_label26_false-unreach-call.c 703    697     611 9900   705    699     603 7610   703    696     606 9740   701    695     601 9130  
eca-rers2012/Problem10_label28_false-unreach-call.c 370    363     533 4420   372    364     554 5720   370    363     541 4430   373    367     528 4540  
eca-rers2012/Problem10_label29_false-unreach-call.c 185    180     520 2520   185    179     511 2260   185    179     505 1770   186    180     527 2320  
eca-rers2012/Problem10_label41_false-unreach-call.c 7.16 2.18  355 57.0 7.22 2.22  352 57.1 6.80 2.07  352 50.3 7.14 2.17  358 57.0
eca-rers2012/Problem10_label42_false-unreach-call.c 7.05 2.14  357 61.4 7.16 2.24  356 59.5 7.23 2.20  350 53.8 7.36 2.27  360 64.1
eca-rers2012/Problem10_label46_false-unreach-call.c 5.73 1.75  299 40.1 5.96 1.80  296 44.6 6.02 1.92  298 52.0 6.01 1.87  302 43.3
eca-rers2012/Problem10_label47_false-unreach-call.c 7.04 2.16  357 58.9 7.26 2.15  364 59.2 7.21 2.17  353 55.2 6.97 2.16  358 51.8
eca-rers2012/Problem10_label48_false-unreach-call.c 43.0  36.5   468 565   42.0  36.4   456 483   42.0  36.3   480 484   42.3  36.3   473 554  
eca-rers2012/Problem10_label50_false-unreach-call.c 8.70 2.94  456 66.5 9.12 3.06  465 80.3 8.81 3.00  460 80.3 8.99 3.04  442 71.5
eca-rers2012/Problem10_label55_false-unreach-call.c 7.21 2.20  354 53.3 7.19 2.26  360 64.1 6.94 2.18  357 52.1 7.19 2.20  355 57.7
eca-rers2012/Problem10_label57_false-unreach-call.c 76.1  70.5   484 848   76.4  70.7   477 850   77.1  70.7   494 1030   76.8  70.9   486 899  
eca-rers2012/Problem10_label58_false-unreach-call.c 8.48 2.85  458 76.4 8.45 2.81  451 69.5 9.14 2.87  454 72.4 8.30 2.80  451 65.3
eca-rers2012/Problem11_label00_false-unreach-call.c 12.4  3.96  518 105   14.0  4.14  532 120   13.0  4.03  518 101   15.6  4.42  546 126  
eca-rers2012/Problem11_label08_false-unreach-call.c 10.6  2.99  490 83.1 10.1  2.94  499 90.8 9.66 2.87  476 76.7 10.1  2.97  476 90.5
eca-rers2012/Problem11_label14_false-unreach-call.c 11.0  2.90  503 81.4 9.88 2.77  473 74.4 9.83 2.73  474 75.2 11.1  2.95  498 85.8
eca-rers2012/Problem11_label15_false-unreach-call.c 11.6  3.05  510 81.8 10.8  2.90  498 84.7 9.63 2.80  468 81.1 9.79 2.74  482 66.6
eca-rers2012/Problem11_label20_false-unreach-call.c 18.7  9.20  555 163   18.4  9.34  543 160   19.0  9.65  520 180   18.3  9.26  527 155  
eca-rers2012/Problem11_label29_false-unreach-call.c 11.7  3.48  494 91.5 10.5  3.47  480 88.6 10.4  3.47  475 88.5 11.5  3.60  492 94.4
eca-rers2012/Problem11_label31_false-unreach-call.c 13.8  4.98  515 122   14.4  5.11  520 104   14.2  5.05  510 107   14.6  5.09  520 116  
eca-rers2012/Problem11_label34_false-unreach-call.c 16.2  6.67  522 132   16.7  6.72  532 141   15.3  6.65  523 132   17.6  6.91  518 138  
eca-rers2012/Problem11_label36_false-unreach-call.c 10.8  3.57  477 88.8 12.1  3.82  485 101   11.6  3.66  475 91.7 10.5  3.55  470 85.2
eca-rers2012/Problem11_label39_false-unreach-call.c 18.8  8.56  531 172   19.0  8.72  539 181   20.0  8.73  544 169   18.1  8.43  535 165  
eca-rers2012/Problem11_label42_false-unreach-call.c 12.0  3.45  495 96.2 11.4  3.28  482 89.3 11.1  3.22  485 84.7 11.7  3.37  479 87.8
eca-rers2012/Problem11_label43_false-unreach-call.c 11.9  3.35  500 101   11.5  3.39  497 93.4 10.4  3.14  493 92.4 10.6  3.14  503 88.6
eca-rers2012/Problem11_label49_false-unreach-call.c 11.7  3.42  494 92.8 10.1  3.29  470 88.7 11.6  3.55  488 92.4 10.1  3.26  472 78.1
eca-rers2012/Problem11_label51_false-unreach-call.c 10.4  2.88  496 87.9 11.4  2.99  512 83.1 11.2  3.15  487 83.9 10.3  2.95  486 81.2
eca-rers2012/Problem11_label58_false-unreach-call.c 11.2  3.05  489 94.0 9.87 2.98  477 67.9 11.8  3.19  503 87.3 11.0  3.08  489 85.1
eca-rers2012/Problem12_label00_false-unreach-call.c 902    888     1170 9650   902    888     1140 9730   902    889     1140 8560   902    888     1170 8250  
eca-rers2012/Problem12_label03_false-unreach-call.c 902    887     1140 9560   902    887     1130 10200   901    887     1140 9670   902    889     1140 10200  
eca-rers2012/Problem12_label06_false-unreach-call.c 901    888     1170 12000   902    889     1160 11100   902    888     1180 8850   902    889     1200 8410  
eca-rers2012/Problem12_label07_false-unreach-call.c 902    889     1050 9730   902    889     1090 10500   902    888     1080 8690   902    889     1060 9850  
eca-rers2012/Problem12_label08_false-unreach-call.c 902    887     1480 8240   902    888     1490 8750   902    888     1500 8020   902    888     1460 8230  
eca-rers2012/Problem12_label10_false-unreach-call.c 901    889     1060 9840   902    889     1040 9630   902    888     1060 11800   902    888     1070 9470  
eca-rers2012/Problem12_label13_false-unreach-call.c 902    889     1130 9850   902    890     1120 9640   902    889     1150 8940   902    889     1140 9120  
eca-rers2012/Problem12_label19_false-unreach-call.c 902    889     1150 9730   902    889     1130 9360   902    889     1170 9470   902    888     1120 9640  
eca-rers2012/Problem12_label20_false-unreach-call.c 902    889     1110 12100   901    886     1110 8780   902    888     1140 10300   902    889     1130 10000  
eca-rers2012/Problem12_label21_false-unreach-call.c 902    889     1020 9860   902    887     1050 10600   902    889     1060 9710   902    888     1070 10500  
eca-rers2012/Problem12_label25_false-unreach-call.c 902    890     1010 10400   902    889     1070 10300   902    888     1070 10800   902    889     1050 10300  
eca-rers2012/Problem12_label28_false-unreach-call.c 902    889     1080 9540   902    889     1110 9820   902    889     1120 12100   902    887     1090 10100  
eca-rers2012/Problem12_label30_false-unreach-call.c 901    891     704 11500   901    890     725 13000   901    891     701 11600   901    891     702 11000  
eca-rers2012/Problem12_label34_false-unreach-call.c 901    890     1120 11800   902    889     1120 9230   902    887     1130 8920   902    889     1130 12900  
eca-rers2012/Problem12_label35_false-unreach-call.c 902    888     1050 10600   901    888     1050 10600   902    890     1040 8650   902    889     1060 8790  
eca-rers2012/Problem12_label37_false-unreach-call.c 901    887     1030 9300   902    889     1030 11400   901    889     1060 11100   901    888     1080 9670  
eca-rers2012/Problem12_label38_false-unreach-call.c 902    889     1060 9560   902    888     1060 8980   901    889     1040 8550   901    888     1080 9320  
eca-rers2012/Problem12_label39_false-unreach-call.c 902    889     1080 12900   902    887     1070 9750   901    888     1090 9210   902    887     1060 8400  
eca-rers2012/Problem12_label40_false-unreach-call.c 902    889     1120 9580   902    887     1130 9970   902    888     1120 9080   902    888     1150 9050  
eca-rers2012/Problem12_label42_false-unreach-call.c 902    888     1080 10200   901    889     1060 11700   901    889     1060 9460   901    887     1060 9400  
eca-rers2012/Problem12_label48_false-unreach-call.c 902    887     1170 9410   902    889     1150 8770   902    890     1170 11300   902    887     1170 9020  
eca-rers2012/Problem12_label50_false-unreach-call.c 902    887     1160 9910   902    888     1120 9290   902    887     1160 8200   902    888     1150 9740  
eca-rers2012/Problem12_label51_false-unreach-call.c 902    889     1110 10700   902    888     1110 9720   902    888     1100 9040   902    889     1060 9210  
eca-rers2012/Problem12_label52_false-unreach-call.c 902    889     1140 9910   902    888     1150 10600   902    889     1160 9850   902    889     1160 9730  
eca-rers2012/Problem12_label55_false-unreach-call.c 901    889     1030 9660   902    888     1090 12800   902    889     1090 9920   902    888     1100 12600  
eca-rers2012/Problem13_label04_false-unreach-call.c 901    889     759 11800   901    890     771 10100   901    890     765 11300   901    890     766 10700  
eca-rers2012/Problem13_label06_false-unreach-call.c 902    889     1050 9530   902    889     1070 11000   901    888     1090 10900   902    888     1040 10600  
eca-rers2012/Problem13_label07_false-unreach-call.c 902    888     1140 8940   902    887     1140 10100   902    888     1180 9460   902    889     1150 11200  
eca-rers2012/Problem13_label11_false-unreach-call.c 902    888     1230 9780   902    889     1210 11600   902    889     1220 9450   902    887     1250 9110  
eca-rers2012/Problem13_label12_false-unreach-call.c 902    889     1110 8540   902    888     1160 9870   902    888     1160 9510   902    889     1140 8870  
eca-rers2012/Problem13_label16_false-unreach-call.c 902    888     1100 8710   902    887     1160 12800   902    888     1130 10000   902    887     1170 10700  
eca-rers2012/Problem13_label19_false-unreach-call.c 902    888     1200 11200   902    887     1190 9400   902    889     1180 8320   902    888     1200 10400  
eca-rers2012/Problem13_label21_false-unreach-call.c 901    888     1190 10100   902    888     1200 9390   902    888     1230 8580   902    888     1220 8960  
eca-rers2012/Problem13_label23_false-unreach-call.c 902    888     1330 7640   902    888     1290 12900   902    888     1360 9490   902    887     1380 9800  
eca-rers2012/Problem13_label24_false-unreach-call.c 902    887     1230 9450   902    887     1230 8330   901    888     1220 8470   902    888     1250 8180  
eca-rers2012/Problem13_label25_false-unreach-call.c 902    888     1300 9690   902    889     1280 10800   902    888     1320 9800   902    888     1300 10800  
eca-rers2012/Problem13_label28_false-unreach-call.c 902    888     1140 10100   902    888     1120 8340   901    888     1150 11300   902    888     1130 9870  
eca-rers2012/Problem13_label29_false-unreach-call.c 902    888     1170 12100   902    889     1150 10300   902    888     1170 9990   902    889     1180 9690  
eca-rers2012/Problem13_label30_false-unreach-call.c 902    888     1220 10600   902    889     1190 9230   902    888     1220 12800   902    888     1180 8310  
eca-rers2012/Problem13_label32_false-unreach-call.c 902    887     1220 9110   902    889     1170 8590   902    888     1190 6910   902    889     1220 11100  
eca-rers2012/Problem13_label35_false-unreach-call.c 902    887     1220 8460   902    887     1190 11700   902    888     1190 8720   901    889     1170 11100  
eca-rers2012/Problem13_label36_false-unreach-call.c 902    888     1270 11200   902    888     1230 10500   902    887     1280 9270   902    888     1240 9720  
eca-rers2012/Problem13_label40_false-unreach-call.c 902    888     1210 9700   902    888     1210 9500   902    888     1230 10400   902    887     1200 9920  
eca-rers2012/Problem13_label43_false-unreach-call.c 901    890     755 10400   901    889     774 10300   901    889     758 10100   901    889     767 10300  
eca-rers2012/Problem13_label44_false-unreach-call.c 901    890     753 10300   901    891     752 13500   901    890     763 11000   901    890     753 11000  
eca-rers2012/Problem13_label45_false-unreach-call.c 902    888     1050 11600   901    886     1060 11500   901    888     1090 12000   902    889     1050 12000  
eca-rers2012/Problem13_label48_false-unreach-call.c 901    888     1220 12900   902    888     1200 8990   902    889     1230 11700   902    888     1220 9630  
eca-rers2012/Problem13_label51_false-unreach-call.c 902    887     1440 7970   902    888     1400 7410   902    887     1420 7590   902    887     1450 7740  
eca-rers2012/Problem13_label54_false-unreach-call.c 902    888     1140 10000   902    888     1160 8580   902    889     1150 10800   902    888     1160 9830  
eca-rers2012/Problem13_label58_false-unreach-call.c 902    888     1220 10400   902    888     1210 11600   902    888     1230 7750   902    888     1200 10100  
eca-rers2012/Problem14_label02_false-unreach-call.c 901    892     678 11400   901    892     698 9720   901    894     658 11400   901    890     696 11400  
eca-rers2012/Problem14_label08_false-unreach-call.c 901    891     704 12400   901    892     713 11200   901    892     681 10700   901    892     677 11200  
eca-rers2012/Problem14_label10_false-unreach-call.c 901    892     700 12100   901    893     694 11000   901    891     713 11200   901    892     699 9720  
eca-rers2012/Problem14_label11_false-unreach-call.c 901    892     766 10800   901    893     750 11200   901    892     736 8610   901    892     741 10500  
eca-rers2012/Problem14_label12_false-unreach-call.c 901    892     698 11300   901    892     692 11100   901    891     698 10300   901    891     701 11000  
eca-rers2012/Problem14_label13_false-unreach-call.c 901    892     688 10900   901    892     709 9590   901    890     720 13300   901    892     690 9600  
eca-rers2012/Problem14_label14_false-unreach-call.c 901    893     644 10300   901    892     652 11000   901    892     646 10500   901    893     635 10400  
eca-rers2012/Problem14_label18_false-unreach-call.c 901    892     708 11000   901    892     716 10800   902    892     724 10200   901    892     736 11600  
eca-rers2012/Problem14_label22_false-unreach-call.c 901    892   Ȁ