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-24 23:45:37 CET
Run set z3-q_auflira z3-qf_auflira z3-qf_uflira z3-q_uflira
Options -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -predicateAnalysis-heaparray -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 12500M -stack 1000M -setprop cpa.predicate.useQuantifiersOnArrays=true -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -predicateAnalysis-heaparray -setprop solver.solver=z3 -heap 12500M -stack 1000M -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -predicateAnalysis-PredAbsRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 13000M -stack 1000M -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -predicateAnalysis-PredAbsRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 13000M -stack 1000M -setprop cpa.predicate.useQuantifiersOnArrays=true -setprop cpa.predicate.maxArrayLength=-1
../sv-benchmarks/c/ status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J)
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 901    891     1020 10900   901    892     1340 12000   901    892     680 11400   901    892     1310 11400  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    889     693 11500   901    889     708 12700   901    891     669 12700   901    889     682 10600  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    889     704 10700   901    890     712 10400   901    892     963 10200   901    889     709 12600  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    895     687 9670   901    896     673 9090   901    896     706 13000   3.70 1.43  349 29.3
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    895     695 8300   901    895     672 8010   901    896     682 12000   3.56 1.48  343 30.6
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    891     712 11200   901    890     702 11300   901    891     676 10900   901    890     688 9850  
array-examples/standard_copy1_false-unreach-call_ground.i 901    892     1310 11600   901    892     1290 12700   901    893     652 12100   901    892     1280 10900  
array-examples/standard_copy2_false-unreach-call_ground.i 901    891     1190 11100   901    891     1200 10600   901    893     622 10400   901    891     1140 11600  
array-examples/standard_copy3_false-unreach-call_ground.i 901    891     1080 12000   901    892     1100 10900   901    893     646 11400   901    891     1060 12800  
array-examples/standard_copy4_false-unreach-call_ground.i 901    891     980 11400   901    891     976 12000   901    894     630 11200   901    890     964 12000  
array-examples/standard_copy5_false-unreach-call_ground.i 901    890     953 11400   901    890     1040 12000   901    893     598 12700   901    890     962 11400  
array-examples/standard_copy6_false-unreach-call_ground.i 901    890     1380 12300   901    890     1570 12000   901    893     620 10500   901    889     1280 11500  
array-examples/standard_copy7_false-unreach-call_ground.i 901    890     1450 9870   901    889     1370 12800   901    893     601 10300   901    889     1360 11200  
array-examples/standard_copy8_false-unreach-call_ground.i 901    889     1410 12700   901    890     1430 9000   901    893     708 10200   901    889     1400 11600  
array-examples/standard_copy9_false-unreach-call_ground.i 901    889     1400 11100   901    890     1400 10000   901    893     590 10500   901    890     1440 9930  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    891     1340 13000   901    891     1190 13100   901    894     639 10300   901    892     1120 10500  
array-examples/standard_init1_false-unreach-call_ground.i 901    891     702 11200   901    891     694 11400   901    893     684 10800   901    891     693 12200  
array-examples/standard_init2_false-unreach-call_ground.i 901    890     724 11900   901    890     754 11700   901    893     772 11100   901    891     679 13300  
array-examples/standard_init3_false-unreach-call_ground.i 901    891     718 13100   901    891     726 9990   901    894     658 10500   901    891     703 11100  
array-examples/standard_init4_false-unreach-call_ground.i 901    891     729 12400   901    890     704 10100   901    893     664 11300   901    891     714 13800  
array-examples/standard_init5_false-unreach-call_ground.i 901    891     697 10900   901    891     700 11200   901    893     641 10600   901    891     688 11400  
array-examples/standard_init6_false-unreach-call_ground.i 901    891     734 11400   901    891     717 10400   901    892     691 12400   901    890     710 12700  
array-examples/standard_init7_false-unreach-call_ground.i 901    890     682 12400   901    890     726 11000   901    893     644 11100   901    890     720 11500  
array-examples/standard_init8_false-unreach-call_ground.i 901    890     699 11500   901    891     712 11400   901    893     652 10900   901    891     743 10400  
array-examples/standard_init9_false-unreach-call_ground.i 901    890     689 11100   901    891     701 12300   901    893     619 11200   901    890     714 11400  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    891     730 10800   901    890     694 12000   901    892     671 12000   901    891     702 11300  
array-examples/standard_partition_false-unreach-call_ground.i 901    891     1240 13600   901    892     1230 11500   901    893     638 11100   901    892     1140 9910  
array-examples/standard_running_false-unreach-call.i 901    891     1280 11400   901    891     1170 10800   901    893     660 10400   901    891     1230 11600  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    891     1490 14000   901    891     1380 12100   901    891     682 11500   901    891     1440 11200  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    892     1530 13000   901    891     736 9770   901    892     647 10900   901    892     1140 12700  
array-examples/relax_true-unreach-call.i 901    894     730 10300   901    895     738 8980   901    895     781 9820   901    894     776 12200  
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    892     705 12400   901    892     697 11900   901    892     673 11300   901    891     670 11500  
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    895     680 8510   901    895     648 7950   901    896     643 8110   901    896     678 10900  
array-examples/sanfoundry_24_true-unreach-call.i 4.12 1.49  361 32.3 3.96 1.47  358 30.7 3.07 1.20  290 26.8 3.88 1.47  351 31.9
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    891     707 11000   901    891     687 10800   901    892     677 10700   901    891     698 13000  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.27 .998 216 21.0 2.35 .993 219 18.7 2.21 .940 214 21.2 2.26 .990 215 20.8
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    889     708 12100   901    889     719 11300   901    892     674 11100   901    889     686 10400  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    895     669 11000   901    895     680 9370   901    896     667 10700   3.50 1.36  346 30.0
array-examples/standard_compareModified_true-unreach-call_ground.i 901    891     1120 13700   901    891     1090 10700   901    892     678 10300   901    891     1140 11600  
array-examples/standard_compare_true-unreach-call_ground.i 901    892     1300 13300   901    892     1310 11400   901    892     653 13200   901    891     1360 13800  
array-examples/standard_copy1_true-unreach-call_ground.i 901    892     1310 12700   901    892     1250 10400   901    893     726 11200   901    892     1220 12100  
array-examples/standard_copy2_true-unreach-call_ground.i 901    891     1200 12100   901    891     1120 10400   901    893     611 10700   901    891     1240 10800  
array-examples/standard_copy3_true-unreach-call_ground.i 901    891     964 12500   901    891     973 12100   901    894     634 12700   901    892     1120 11300  
array-examples/standard_copy4_true-unreach-call_ground.i 901    891     1060 12500   901    890     973 11200   901    894     689 11400   901    891     962 11800  
array-examples/standard_copy5_true-unreach-call_ground.i 901    891     975 10400   901    890     957 11100   901    893     672 10500   901    890     966 10700  
array-examples/standard_copy6_true-unreach-call_ground.i 901    890     1380 11300   901    891     1500 11200   901    893     613 11900   901    890     1410 11700  
array-examples/standard_copy7_true-unreach-call_ground.i 901    890     1440 10400   901    890     1420 12400   901    892     590 11000   901    889     1420 12000  
array-examples/standard_copy8_true-unreach-call_ground.i 901    890     1430 11600   901    889     1360 11400   901    893     589 9790   901    889     1470 12900  
array-examples/standard_copy9_true-unreach-call_ground.i 901    890     1390 11200   901    889     1400 10600   901    893     585 10200   901    889     1350 12800  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    891     1150 11300   901    891     1170 11100   901    893     796 11900   901    891     935 11200  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    891     1230 10800   901    891     1250 12900   901    893     699 10400   901    891     1170 11500  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    892     1230 12600   901    892     1180 11300   901    893     896 11100   901    892     1130 10900  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    891     1380 11900   901    891     1250 12200   901    893     655 10500   901    892     1220 12800  
array-examples/standard_find_true-unreach-call_ground.i 901    892     720 11400   901    891     713 11300   901    893     641 11200   901    891     679 11300  
array-examples/standard_init1_true-unreach-call_ground.i 901    891     797 10100   901    891     667 10800   901    894     619 11200   901    891     663 10900  
array-examples/standard_init2_true-unreach-call_ground.i 901    891     706 8950   901    891     726 11500   901    893     611 10300   901    889     702 11200  
array-examples/standard_init3_true-unreach-call_ground.i 901    891     713 12700   901    891     700 10700   901    893     691 11300   901    891     705 10800  
array-examples/standard_init4_true-unreach-call_ground.i 901    890     693 12400   901    891     693 11400   901    893     654 13500   901    891     719 12300  
array-examples/standard_init5_true-unreach-call_ground.i 901    891     717 10900   901    891     691 13400   901    893     666 10600   901    891     696 11900  
array-examples/standard_init6_true-unreach-call_ground.i 901    890     731 12500   901    891     709 11700   901    893     619 12700   901    891     690 11700  
array-examples/standard_init7_true-unreach-call_ground.i 901    890     751 12100   901    890     701 13000   901    893     636 10900   901    891     689 11900  
array-examples/standard_init8_true-unreach-call_ground.i 901    890     732 10900   901    890     690 12200   901    892     680 11100   901    891     741 12300  
array-examples/standard_init9_true-unreach-call_ground.i 901    890     694 11900   901    890     720 11600   901    893     636 10300   901    890     699 10100  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    891     710 11400   901    891     690 11300   901    892     672 10800   901    891     675 10400  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    891     690 11900   901    891     735 11700   901    892     711 11000   901    891     707 14200  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    892     734 12100   901    892     711 11800   901    893     729 11000   901    893     726 11400  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    891     1100 11800   901    891     961 11800   901    893     612 12000   901    892     1180 11900  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    892     1170 10700   901    892     1150 10400   901    893     631 10300   901    892     1200 13500  
array-examples/standard_partition_true-unreach-call_ground.i 901    892     1320 11600   901    892     1310 11000   901    893     690 12000   901    892     1150 11700  
array-examples/standard_password_true-unreach-call_ground.i 901    891     1190 10800   901    891     941 9980   901    892     690 11300   901    891     1370 11300  
array-examples/standard_reverse_true-unreach-call_ground.i 901    892     1460 12400   901    892     1130 13400   901    893     628 11900   901    893     1210 13300  
array-examples/standard_running_true-unreach-call.i 901    890     941 12200   901    891     1210 11000   901    893     709 9680   901    891     1230 11100  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    896     647 7340   901    896     658 9270   901    896     573 6810   901    896     694 7350  
array-examples/standard_seq_init_true-unreach-call_ground.i 901    892     712 11100   901    892     706 10700   901    893     631 11600   901    892     687 12600  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    896     671 6890   901    896     652 6860   901    897     585 7450   901    896     737 8680  
array-examples/standard_strcpy_original_true-unreach-call.i 901    892     1400 11500   901    891     1090 13500   901    893     913 10900   901    891     1220 10600  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    891     1270 11600   901    892     1220 10900   901    893     637 13200   901    891     1270 11300  
array-examples/standard_two_index_01_true-unreach-call.i 901    892     710 11800   901    892     644 10800   901    894     650 11200   901    892     667 11100  
array-examples/standard_two_index_02_true-unreach-call.i 901    892     1300 11400   901    892     1340 10400   901    894     647 11900   901    893     1300 11100  
array-examples/standard_two_index_03_true-unreach-call.i 901    892     665 11200   901    892     695 11100   901    894     636 12100   901    893     835 12600  
array-examples/standard_two_index_04_true-unreach-call.i 901    892     1240 12900   901    892     779 12300   901    893     730 9580   901    893     1190 9910  
array-examples/standard_two_index_05_true-unreach-call.i 901    892     1280 11400   901    892     1190 10700   901    893     627 10600   901    892     1350 11100  
array-examples/standard_two_index_06_true-unreach-call.i 901    892     663 11400   901    892     637 11300   901    894     625 10900   901    892     641 11000  
array-examples/standard_two_index_07_true-unreach-call.i 901    892     1150 10800   901    893     1270 10800   901    894     649 10100   901    892     1290 10600  
array-examples/standard_two_index_08_true-unreach-call.i 901    892     1320 11000   901    892     1180 11900   901    894     645 10700   901    892     1160 13400  
array-examples/standard_two_index_09_true-unreach-call.i 901    892     1240 10800   901    892     1190 13700   901    893     683 11300   901    892     1200 11100  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    892     827 10800   901    892     838 9570   901    893     940 10100   901    892     850 13200  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    892     1210 13300   901    892     1150 10500   901    893     636 11500   901    892     1110 13400  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    891     717 10500   901    891     748 12000   901    893     649 12000   901    891     675 11600  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 4.04 1.39  330 32.2 302    296     15000 1500   901    893     618 11100   901    888     1230 10900  
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    892     1780 12000   901    892     1240 11000   901    893     728 11000   901    892     1180 11200  
array-industry-pattern/array_range_init_false-unreach-call.i 3.49 1.22  329 28.6 270    265     15000 1450   901    893     722 10500   901    887     1340 11000  
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    892     1090 10900   901    891     908 10900   901    893     604 9410   901    891     927 12900  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    892     679 13200   901    891     662 11300   901    891     663 11400   901    892     698 10600  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    891     1180 10800   901    892     1210 13700   901    893     596 10800   901    892     1190 11300  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    892     1240 11700   901    891     1260 11200   901    893     661 10700   901    891     1310 11900  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 4.59 1.46  380 34.4 272    266     15000 2250   901    896     566 5910   901    882     1270 12700  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 3.96 1.30  324 35.9 266    260     15000 1880   901    893     769 10100   901    892     1130 13200  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    889     1340 12200   901    888     1350 11600   901    890     869 12900   901    889     1090 12000  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 3.71 1.29  322 28.9 277    271     15000 1540   901    893     652 10100   901    892     1370 10500  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 5.57 1.78  488 39.9 912    904     2280 4510   901    892     663 10900   901    889     2000 10400  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 5.21 1.59  482 44.4 912    904     2270 7090   901    894     673 10000   901    888     2210 12200  
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 3.60 1.26  325 28.9 256    251     15000 2210   901    893     725 11200   901    891     1260 11500  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 3.74 1.30  325 32.1 270    266     15000 1650   901    893     694 10600   901    892     1380 9720  
array-industry-pattern/array_shadowinit_true-unreach-call.i 901    895     810 11000   901    895     805 11500   901    894     770 8640   3.29 1.30  297 26.5
reducercommutativity/rangesum05_false-unreach-call.i 901    897     330 11200   901    897     326 12700   454    451     331 5650   3.84 1.59  300 36.7
reducercommutativity/rangesum10_false-unreach-call.i 901    897     330 13400   901    897     331 11300   901    897     332 11400   3.95 1.64  299 33.6
reducercommutativity/rangesum20_false-unreach-call.i 840    837     340 10100   901    897     324 10700   901    897     328 10200   3.77 1.55  299 32.4
reducercommutativity/rangesum40_false-unreach-call.i 901    898     332 11000   901    897     330 11000   901    897     329 12100   3.70 1.59  289 34.8
reducercommutativity/rangesum60_false-unreach-call.i 901    897     335 10800   901    897     333 10400   901    898     324 11300   4.03 1.71  294 39.3
reducercommutativity/rangesum_false-unreach-call.i 901    897     328 12400   901    897     330 13100   250    246     329 3220   7.08 4.23  301 78.8
reducercommutativity/avg05_true-unreach-call.i 909    903     6850 6640   909    902     6590 6630   901    895     588 6890   11.8  8.64  343 129  
reducercommutativity/avg10_true-unreach-call.i 491    484     561 6470   901    892     890 11000   901    893     570 12200   48.2  41.0   557 654  
reducercommutativity/avg20_true-unreach-call.i 901    891     767 11500   901    891     778 12100   901    891     784 12200   200    189     697 2600  
reducercommutativity/avg40_true-unreach-call.i 901    879     757 12600   901    879     716 12100   901    881     690 11600   901    879     709 12200  
reducercommutativity/avg60_true-unreach-call.i 901    884     973 10900   901    883     712 11500   901    887     756 11000   901    883     707 10700  
reducercommutativity/avg_true-unreach-call.i 86.6  84.0   302 1110   86.8  84.3   295 1060   269    266     303 3930   4.94 2.82  293 52.4
reducercommutativity/max05_true-unreach-call_true-termination.i 901    895     792 10700   901    895     769 10800   901    895     694 10900   16.4  11.9   442 204  
reducercommutativity/max10_true-unreach-call_true-termination.i 901    893     732 9080   901    892     720 10100   901    893     723 12700   55.2  47.9   605 647  
reducercommutativity/max20_true-unreach-call.i 904    893     898 9420   901    890     1080 9350   901    889     1110 9970   457    446     898 5440  
reducercommutativity/max40_true-unreach-call.i 901    879     744 12000   901    879     892 11900   901    879     773 10000   901    879     746 11100  
reducercommutativity/max60_true-unreach-call.i 901    882     753 11300   901    882     838 10500   901    887     643 11400   901    881     722 11400  
reducercommutativity/max_true-unreach-call.i 5.57 2.68  304 53.7 5.56 2.66  303 55.7 5.96 2.82  310 56.0 6.00 2.87  304 54.4
reducercommutativity/sep05_true-unreach-call.i 901    895     693 10400   901    895     706 11000   905    898     638 10200   911    905     662 11400  
reducercommutativity/sep10_true-unreach-call.i 901    892     668 10400   901    893     656 13800   901    892     681 10800   901    893     654 10800  
reducercommutativity/sep20_true-unreach-call.i 901    890     772 11700   901    891     766 12000   901    890     739 11700   901    890     686 11000  
reducercommutativity/sep40_true-unreach-call.i 901    881     781 12800   901    880     670 10600   901    881     712 11500   901    881     679 11800  
reducercommutativity/sep60_true-unreach-call.i 901    884     706 11500   901    884     823 12300   901    888     667 12200   901    884     741 12300  
reducercommutativity/sep_true-unreach-call.i 901    897     724 10200   901    896     699 9580   901    896     771 7860   9.65 6.56  311 99.9
reducercommutativity/sum05_true-unreach-call_true-termination.i 75.8  72.0   361 981   75.2  71.5   366 1130   901    895     557 7410   11.0  7.55  348 117  
reducercommutativity/sum10_true-unreach-call.i 901    893     564 11400   901    893     861 13300   901    892     703 11800   40.7  34.1   517 493  
reducercommutativity/sum20_true-unreach-call.i 901    890     851 10600   901    890     796 10600   901    888     763 14000   191    182     749 2340  
reducercommutativity/sum40_true-unreach-call.i 901    880     740 13600   901    880     712 11600   901    881     681 11000   901    879     716 12900  
reducercommutativity/sum60_true-unreach-call.i 901    882     819 12400   901    883     686 13400   901    888     649 13300   901    884     690 11300  
reducercommutativity/sum_true-unreach-call.i 5.38 2.60  292 54.9 5.38 2.61  303 52.7 5.64 2.73  300 54.9 5.56 2.67  306 52.4
bitvector/byte_add_false-unreach-call_true-no-overflow.i 6.75 3.13  306 70.0 6.51 3.12  307 57.3 6.70 3.13  304 57.2 6.71 3.16  308 61.8
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    899     295 10500   901    899     288 11100   901    898     291 14300   901    898     293 11800  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 5.59 2.53  306 46.7 5.94 2.55  305 57.2 5.84 2.55  300 52.9 5.60 2.55  302 49.9
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 5.72 2.56  312 53.7 5.74 2.55  303 50.2 5.53 2.50  300 49.4 5.76 2.53  303 52.2
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 3.87 2.01  290 38.1 3.93 1.99  293 34.6 3.72 1.96  285 37.6 3.94 2.00  287 38.3
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 3.06 1.46  280 28.7 3.10 1.46  284 31.4 3.13 1.46  281 28.0 3.15 1.51  284 30.0
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 2.56 1.14  284 21.2 2.68 1.16  285 22.3 2.67 1.16  282 22.9 2.65 1.16  281 24.3
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 8.23 4.52  433 90.9 9.09 5.63  451 94.1 8.21 4.97  410 90.9 8.95 5.27  423 85.8
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 12.3  8.64  428 137   11.9  8.53  428 147   12.0  8.61  427 117   12.0  8.61  430 147  
bitvector/jain_1_true-unreach-call_true-no-overflow.i 2.40 1.02  274 19.3 2.38 1.00  275 18.5 2.31 .974 274 21.8 2.33 1.01  280 19.7
bitvector/jain_2_true-unreach-call_true-no-overflow.i 2.38 1.01  277 21.2 2.43 1.01  278 22.4 2.33 1.03  278 21.8 2.39 .992 276 21.4
bitvector/jain_4_true-unreach-call_true-no-overflow.i 2.46 1.03  283 21.0 2.44 1.00  278 20.6 2.32 .992 273 19.4 2.42 1.02  274 21.8
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    893     652 10800   901    892     653 12300   901    892     637 11300   901    892     645 10100  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 2.43 .996 292 21.3 2.30 .996 277 19.1 2.44 1.02  281 24.9 2.43 1.03  276 21.6
bitvector/jain_7_true-unreach-call_true-no-overflow.i 2.49 1.07  279 20.6 2.40 1.03  277 19.7 2.47 1.06  275 20.0 2.40 1.02  280 21.6
bitvector/modulus_true-unreach-call_true-no-overflow.i 2.85 1.66  222 29.8 2.94 1.63  224 28.8 2.85 1.59  225 28.2 2.93 1.62  222 29.4
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 4.61 2.05  296 40.0 4.48 2.06  295 37.9 4.44 2.04  294 46.2 4.50 2.04  297 43.4
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 4.60 2.09  299 42.0 4.49 2.03  298 40.4 4.65 2.18  295 43.1 4.35 1.99  291 38.6
bitvector/parity_true-unreach-call_true-no-overflow.i 2.45 1.04  281 21.5 2.45 1.06  279 20.5 2.41 1.05  275 21.6 2.46 1.04  278 20.4
bitvector/sum02_true-unreach-call_true-no-overflow.i 901    897     402 11700   901    897     390 12500   901    898     389 12400   901    897     392 11900  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 21.1  14.7   481 216   21.2  14.6   491 216   20.7  14.6   487 193   20.6  14.6   486 208  
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 901    894     812 8500   901    894     845 8550   901    894     806 7980   901    894     847 8120  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 4.95 1.97  317 39.2 4.98 2.04  313 48.4 4.89 1.92  311 38.7 5.21 1.99  316 42.0
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 586    580     387 7770   585    578     387 7790   589    582     396 7000   571    564     399 8680  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 23.7  16.0   493 250   22.6  15.9   495 226   22.7  16.2   493 258   24.0  16.3   496 238  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    892     776 7500   901    892     765 10600   901    893     744 8230   901    893     725 8780  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    896     908 13500   901    896     916 10700   901    896     907 11900   901    896     913 10700  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 407    397     787 5500   411    400     1030 5260   409    398     824 5450   416    406     816 5210  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    892     784 10700   901    891     770 9890   901    892     907 10100   901    892     775 10200  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    893     777 8460   901    893     830 9040   901    893     778 8350   901    892     817 7280  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    896     381 13100   901    894     524 11400   901    895     370 12200   902    892     819 11200  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 199    190     785 2650   195    185     725 2630   199    189     747 2460   199    189     853 2580  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 3.77 1.44  297 36.1 3.91 1.45  301 35.5 3.71 1.42  287 37.1 3.88 1.48  294 34.2
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 8.77 2.73  360 70.0 8.19 2.68  346 72.0 7.19 2.32  345 59.8 6.89 2.37  314 63.4
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 10.7  6.33  329 105   10.5  6.19  339 118   10.1  6.05  317 115   10.4  6.04  344 104  
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 3.53 1.44  285 31.1 3.26 1.32  288 30.8 3.22 1.32  286 27.7 3.31 1.34  288 29.2
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 6.89 2.44  316 60.5 7.29 2.41  358 62.3 7.30 2.49  345 60.3 6.67 2.38  323 61.7
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.17 .948 222 21.7 2.25 .990 283 18.0 2.35 .983 276 19.7 2.35 1.00  277 20.4
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.30 1.03  225 20.1 2.27 1.04  221 23.0 2.30 .975 220 20.6 2.19 .960 220 18.4
bitvector-regression/integerpromotion_false-unreach-call.c 2.12 .938 220 21.2 2.12 .931 220 22.1 2.12 .971 220 22.3 2.28 1.03  222 18.7
bitvector-regression/recHanoi03_false-unreach-call.c 2.12 .938 216 19.0 2.14 .941 214 19.2 2.16 .942 214 21.3 2.14 .939 215 18.4
bitvector-regression/signextension2_false-unreach-call.c 2.24 .956 220 19.2 2.35 .958 221 19.2 2.22 1.02  221 20.4 2.30 .978 218 19.3
bitvector-regression/signextension_false-unreach-call.c 2.19 .958 214 19.8 2.27 .979 220 20.6 2.14 .944 218 19.3 2.22 .964 219 21.1
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.18 .940 217 19.4 2.29 .966 225 20.4 2.11 .954 219 19.9 2.20 .974 222 21.7
bitvector-regression/integerpromotion_true-unreach-call.c 2.09 .929 218 19.2 2.15 .939 219 17.9 2.17 .951 219 19.7 2.10 .937 220 20.7
bitvector-regression/signextension2_true-unreach-call.c 2.25 .970 215 19.9 2.20 .967 220 19.3 2.20 .987 217 21.6 2.31 1.05  224 20.2
bitvector-regression/signextension_true-unreach-call.c 2.40 1.02  280 22.5 2.38 .997 277 22.3 2.30 1.01  274 23.2 2.28 .978 226 24.5
bitvector-loops/diamond_false-unreach-call2.i 2.75 1.20  286 25.4 2.75 1.18  287 26.7 2.77 1.20  281 20.0 2.79 1.21  275 22.3
bitvector-loops/overflow_false-unreach-call1.i 901    891     628 12600   901    891     631 12700   901    891     636 11600   901    891     622 13600  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 62.0  57.0   468 723   207    202     566 2600   72.5  67.8   469 981   21.1  17.3   406 264  
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 9.05 4.57  370 102   9.44 4.56  369 78.9 9.17 4.50  365 84.2 8.94 4.54  367 86.2
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.23 4.06  312 80.2 7.29 4.04  315 70.3 7.23 4.08  307 73.8 7.10 4.01  311 69.0
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.59 4.85  327 84.6 8.58 4.96  324 86.5 8.56 4.85  326 92.4 8.31 4.85  321 81.8
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.93 2.07  307 41.6 4.60 1.96  306 44.7 4.84 2.10  306 42.2 4.58 1.95  307 40.4
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 12.5  8.03  386 143   12.5  7.93  385 144   12.8  8.18  418 129   12.3  7.85  414 137  
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 10.9  7.46  326 119   11.0  7.44  324 114   10.7  7.49  317 132   10.8  7.44  323 115  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.19 4.19  307 68.6 7.28 4.17  317 77.4 7.04 4.18  307 81.1 7.26 4.11  312 76.8
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.48 4.99  324 94.0 8.52 5.00  321 82.0 8.69 5.04  320 88.1 8.58 5.01  317 92.9
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.60 1.51  293 34.0 3.69 1.51  303 31.1 3.61 1.49  293 32.2 3.55 1.47  293 32.2
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.34 1.85  302 39.8 4.37 1.88  303 44.0 4.39 1.87  299 38.8 4.44 1.95  301 43.8
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 6.61 2.78  328 54.0 6.33 2.61  328 55.6 6.30 2.72  312 53.8 7.02 2.67  349 54.0
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 6.20 2.61  315 55.7 5.97 2.54  323 48.7 5.98 2.63  317 49.9 6.15 2.60  317 55.9
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 18.3  13.6   384 216   18.0  13.5   377 215   18.0  13.5   372 196   18.1  13.6   373 212  
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 9.18 4.76  329 86.6 8.86 4.58  329 90.9 8.75 4.55  326 79.5 8.80 4.67  328 92.5
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 3.35 1.35  292 28.8 3.35 1.36  293 29.3 3.33 1.35  295 29.1 3.44 1.40  288 30.2
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 901    895     720 9920   901    895     688 10200   901    895     678 10600   901    895     698 8550  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 65.3  56.6   648 840   65.0  57.0   614 798   65.4  57.1   608 738   66.5  56.8   652 900  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 6.50 3.10  329 59.5 6.56 3.02  323 66.2 6.69 2.87  324 68.9 6.52 2.84  320 54.0
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 5.11 2.06  314 45.7 5.23 2.03  321 48.1 5.03 2.05  307 47.6 4.94 2.03  308 44.7
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 5.37 2.24  314 48.0 5.32 2.36  312 44.4 5.41 2.42  310 47.4 5.37 2.37  313 49.3
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 4.78 1.95  310 45.8 4.75 1.94  316 42.8 4.78 2.00  311 42.2 5.01 2.07  312 38.3
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 3.06 1.22  286 28.5 2.96 1.22  286 24.6 3.04 1.21  289 27.6 3.14 1.25  285 24.5
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 901    894     796 9240   911    903     702 12200   901    892     850 9370   901    892     795 10500  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 901    895     708 8740   901    894     708 8550   901    894     707 11000   901    894     720 8350  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 901    892     895 9940   901    892     1010 9840   901    892     883 8840   901    892     909 10500  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 636    627     777 7610   631    620     828 7900   633    622     801 7990   633    623     796 7600  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 901    896     685 7470   901    895     685 6520   901    895     701 8820   901    895     682 6610  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 901    894     732 7550   901    894     759 8260   901    894     700 6940   901    893     716 6710  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.68 1.49  292 36.7 3.77 1.51  300 31.7 4.17 1.64  296 33.0 3.90 1.58  295 31.7
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 209    197     780 2320   209    197     757 2540   210    199     771 2910   210    198     760 2710  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 901    895     813 7740   901    895     887 8110   190    182     855 2560   66.5  57.1   778 816  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 375    366     802 4380   369    360     812 3550   378    368     800 4630   376    366     831 4870  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 903    893     2530 8710   908    898     3990 9610   903    891     4390 10900   902    890     1750 8730  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 901    892     853 10600   901    893     839 12900   901    894     817 11000   901    893     814 12100  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 44.4  34.1   692 543   44.3  34.0   702 449   45.4  34.3   717 542   45.1  34.9   709 463  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.84 1.16  286 22.6 2.97 1.19  289 24.7 2.80 1.18  283 23.8 2.95 1.19  282 22.5
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.88 1.20  280 22.6 2.88 1.18  287 24.7 2.86 1.18  278 26.9 2.80 1.18  279 26.2
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 2.69 1.10  286 21.6 2.72 1.12  290 21.3 2.64 1.10  278 21.7 2.70 1.11  279 21.2
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 2.76 1.13  283 22.6 2.77 1.13  284 26.6 2.67 1.10  278 25.2 2.67 1.11  279 21.5
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 2.74 1.16  282 24.4 2.74 1.12  287 24.6 2.87 1.17  289 26.1 2.65 1.14  287 26.6
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 2.77 1.19  284 26.5 2.90 1.25  285 23.9 2.71 1.15  278 24.8 2.80 1.16  280 22.2
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 2.87 1.17  280 26.9 2.89 1.24  290 25.5 2.79 1.16  280 24.3 2.88 1.18  286 24.6
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 2.73 1.15  282 24.9 2.78 1.21  284 26.7 2.73 1.18  288 24.7 2.75 1.17  284 25.0
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.59 1.05  287 22.2 2.58 1.07  281 21.7 2.59 1.09  276 24.6 2.55 1.09  285 22.3
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.55 1.08  282 23.2 2.56 1.07  279 21.4 2.57 1.07  276 23.1 2.58 1.08  288 26.1
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.70 1.13  281 25.0 2.60 1.07  286 20.6 2.70 1.15  276 23.7 2.75 1.15  277 24.0
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 2.70 1.13  287 25.9 2.64 1.11  283 21.4 2.64 1.12  281 22.9 2.65 1.11  280 23.3
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 2.68 1.13  282 22.2 2.77 1.19  281 25.4 2.74 1.09  289 20.2 2.65 1.09  283 21.4
ntdrivers/cdaudio_false-unreach-call.i.cil.c 911    889     701 9170   901    878     703 10400   901    880     663 9600   901    880     683 10000  
ntdrivers/diskperf_false-unreach-call.i.cil.c 12.6  7.61  340 121   12.6  7.60  344 143   12.7  7.91  340 125   12.6  7.73  352 117  
ntdrivers/floppy_false-unreach-call.i.cil.c 908    900     1650 7330   905    898     1650 7310   41.8  29.8   679 436   901    891     1700 7430  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 6.28 2.56  314 55.3 6.29 2.54  317 61.7 6.38 2.63  312 56.3 6.67 2.85  324 61.6
ntdrivers/parport_false-unreach-call.i.cil.c 17.0  6.03  512 146   15.9  6.08  509 136   56.8  46.7   509 667   314    304     496 3660  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 17.1  7.54  547 185   15.7  7.52  483 150   16.7  7.45  544 145   17.1  8.01  557 147  
ntdrivers/diskperf_true-unreach-call.i.cil.c 901    896     368 13000   901    896     377 12900   60.4  55.5   359 796   13.8  9.03  366 153  
ntdrivers/floppy2_true-unreach-call.i.cil.c 901    888     912 5810   901    886     834 7210   87.4  72.7   895 897   444    429     1050 3840  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 912    905     1620 7100   912    905     1630 8410   901    885     848 8160   901    890     1170 9140  
ntdrivers/parport_true-unreach-call.i.cil.c 16.7  6.10  506 127   16.1  6.16  504 127   328    318     513 4150   20.1  9.88  499 212  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 95.0  87.7   566 1270   200    193     646 2280   13.1  6.68  391 124   11.8  6.62  368 117  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 9.60 4.85  337 85.8 9.82 4.90  344 103   9.52 4.44  334 84.1 260    254     643 3000  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 9.76 5.07  339 104   9.58 4.99  338 105   8.16 3.58  332 77.0 21.6  16.3   437 248  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 11.8  6.49  368 125   11.6  6.55  362 111   7.83 3.61  332 71.8 7.14 3.31  334 64.4
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 5.91 2.32  322 46.6 5.76 2.28  320 49.6 6.11 2.39  318 57.4 5.93 2.43  325 52.6
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 5.76 2.22  321 57.9 5.68 2.23  325 47.8 6.18 2.42  319 55.9 5.79 2.33  325 56.9
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 6.10 2.49  324 59.7 6.15 2.48  319 53.1 5.79 2.26  316 50.4 6.38 2.55  318 54.8
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 6.21 2.51  316 50.0 6.28 2.48  320 57.5 5.45 2.04  317 43.4 6.28 2.59  320 50.4
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 11.3  5.95  373 111   11.1  5.98  371 104   10.5  5.09  383 108   18.8  12.7   363 208  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 10.5  5.14  386 96.6 10.3  4.95  379 86.0 9.64 4.77  363 91.6 17.2  11.2   454 188  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 901    895     815 12500   901    894     827 9760   122    113     680 1330   28.3  19.8   561 302  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 10.5  5.38  347 102   10.5  5.60  345 101   10.0  4.66  374 100   11.9  6.42  384 116  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 52.9  44.5   567 609   54.9  46.4   593 646   27.4  18.5   580 290   901    893     837 10300  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 7.32 3.11  333 66.0 7.37 3.14  328 73.7 7.34 3.15  329 67.6 9.55 4.53  363 97.3
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 9.86 4.86  351 83.0 10.2  5.35  351 103   8.92 4.06  360 88.1 11.4  5.70  384 117  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 21.8  15.4   474 232   21.8  15.7   473 217   9.96 4.62  365 83.3 11.5  5.98  380 122  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 27.7  21.4   476 303   27.8  22.0   471 300   21.5  15.1   482 278   16.3  9.78  473 160  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 753    743     884 8540   835    825     929 8600   31.6  23.0   558 370   901    893     799 9680  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 209    201     662 2490   207    200     647 2260   12.4  6.08  421 107   58.1  51.4   532 726  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 901    895     690 9620   901    895     738 9580   901    893     857 9720   901    892     853 10200  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 901    893     860 10800   275    267     888 3170   901    893     868 11000   901    893     795 10600  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 901    893     907 10900   901    892     859 10900   901    891     817 10100   901    893     798 10400  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 901    893     721 10000   901    894     709 8950   901    893     719 7110   901    895     720 10400  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 901    892     718 9750   901    894     720 8560   360    346     927 3690   901    894     861 9600  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 901    892     771 7960   901    893     755 8730   901    890     854 10200   901    893     812 10300  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 901    891     946 10800   901    890     878 8270   902    890     1320 10100   901    891     861 10200  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 901    893     733 10100   901    892     797 10600   901    890     913 12900   901    892     861 11600  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 901    892     752 11500   901    892     745 10700   901    890     968 9330   901    890     917 10900  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 901    893     773 11900   901    893     817 9950   821    807     871 11000   901    892     779 11000  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 42.7  34.1   554 422   901    893     753 13500   901    891     925 9770   901    893     757 10100  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 901    892     871 10800   901    891     891 9200   901    889     1060 9500   901    893     780 12500  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 901    892     785 8220   901    891     869 10800   901    890     991 11100   901    891     876 9710  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 901    894     819 9610   901    895     777 12700   901    891     771 9920   602    591     847 7460  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 911    902     751 11300   901    891     847 11500   901    890     831 11400   903    894     1240 7190  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 901    891     817 10200   901    891     797 10100   901    890     901 10000   901    892     926 11000  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 901    890     827 10500   901    891     846 10600   901    891     956 10700   901    890     1190 9170  
eca-rers2012/Problem01_label15_false-unreach-call.c 17.0  6.47  570 130   17.1  6.60  587 134   18.4  6.69  570 160   17.4  6.65  576 155  
eca-rers2012/Problem01_label20_false-unreach-call.c 21.5  11.3   624 205   22.9  11.8   639 186   24.7  11.7   621 212   25.3  11.7   617 216  
eca-rers2012/Problem01_label21_false-unreach-call.c 16.6  6.70  575 145   16.5  6.29  573 160   18.4  6.61  574 149   16.1  6.42  571 147  
eca-rers2012/Problem01_label32_false-unreach-call.c 35.5  21.6   673 381   35.2  22.8   661 363   34.1  22.9   657 325   36.1  23.3   647 363  
eca-rers2012/Problem01_label33_false-unreach-call.c 18.4  8.26  602 164   21.9  8.35  603 157   19.9  8.29  599 177   20.5  8.44  605 183  
eca-rers2012/Problem01_label35_false-unreach-call.c 18.7  6.52  574 163   18.5  7.10  572 148   16.4  6.32  569 134   15.3  6.32  557 138  
eca-rers2012/Problem01_label37_false-unreach-call.c 17.9  6.99  593 153   19.1  6.95  588 160   17.4  6.87  596 152   19.3  6.82  603 149  
eca-rers2012/Problem01_label38_false-unreach-call.c 17.0  5.09  569 145   15.6  5.15  571 131   15.4  4.99  568 129   16.3  5.14  559 124  
eca-rers2012/Problem01_label44_false-unreach-call.c 11.5  3.45  550 101   10.9  3.33  530 105   10.7  3.30  534 88.4 10.8  3.28  535 93.4
eca-rers2012/Problem01_label47_false-unreach-call.c 21.3  7.92  637 186   18.3  7.95  611 166   20.8  8.10  617 178   18.7  7.97  608 167  
eca-rers2012/Problem01_label50_false-unreach-call.c 20.1  7.31  606 167   19.3  7.68  595 154   20.4  7.05  592 146   18.5  7.24  580 166  
eca-rers2012/Problem01_label56_false-unreach-call.c 21.2  7.22  615 159   19.1  6.95  614 145   18.7  7.18  606 161   19.8  7.31  607 187  
eca-rers2012/Problem01_label57_false-unreach-call.c 17.6  6.84  583 142   17.9  7.28  588 155   17.0  6.75  590 144   17.4  6.70  589 162  
eca-rers2012/Problem02_label13_false-unreach-call.c 10.6  3.30  492 79.3 10.1  3.10  498 78.7 10.2  3.04  499 85.2 10.3  3.11  486 79.6
eca-rers2012/Problem02_label16_false-unreach-call.c 10.7  3.10  499 97.3 10.0  3.01  498 84.8 9.52 3.09  473 70.5 10.6  3.34  495 86.7
eca-rers2012/Problem02_label43_false-unreach-call.c 9.60 2.99  485 84.4 10.3  3.27  503 86.6 9.86 2.99  493 80.2 10.0  3.11  493 84.4
eca-rers2012/Problem02_label44_false-unreach-call.c 9.85 3.08  492 82.3 10.6  3.39  504 92.8 11.3  3.32  500 94.6 10.5  3.16  497 87.9
eca-rers2012/Problem02_label45_false-unreach-call.c 15.7  4.90  528 118   14.3  4.49  538 115   14.8  4.49  535 125   14.9  4.53  539 122  
eca-rers2012/Problem02_label50_false-unreach-call.c 15.0  4.68  528 118   15.9  4.96  533 123   14.4  4.68  546 116   14.7  4.55  531 124  
eca-rers2012/Problem02_label59_false-unreach-call.c 14.8  4.62  542 130   15.9  4.70  558 111   15.6  4.75  537 122   15.6  4.84  550 144  
eca-rers2012/Problem03_label09_false-unreach-call.c 35.9  17.4   1000 311   32.7  17.2   1010 270   34.0  17.8   1000 262   31.8  16.4   977 278  
eca-rers2012/Problem03_label13_false-unreach-call.c 32.3  15.3   831 292   33.3  16.1   820 243   31.7  15.4   832 268   30.9  14.7   821 260  
eca-rers2012/Problem03_label26_false-unreach-call.c 28.3  13.6   824 277   26.9  13.3   819 232   30.5  13.0   816 239   26.5  12.3   824 255  
eca-rers2012/Problem03_label27_false-unreach-call.c 32.2  14.6   840 254   29.1  13.9   821 243   29.9  14.6   826 258   31.4  14.8   797 268  
eca-rers2012/Problem03_label28_false-unreach-call.c 31.4  15.0   833 257   31.1  14.7   843 265   30.3  14.8   863 283   29.8  14.9   820 256  
eca-rers2012/Problem03_label31_false-unreach-call.c 31.7  13.6   854 252   29.7  13.7   820 294   30.9  14.4   823 310   37.0  16.4   832 267  
eca-rers2012/Problem03_label35_false-unreach-call.c 41.7  22.4   1000 349   36.7  21.8   974 371   42.0  23.2   983 334   39.8  21.6   987 396  
eca-rers2012/Problem03_label37_false-unreach-call.c 30.6  14.2   819 266   29.2  13.7   828 234   28.0  13.5   811 255   30.1  13.4   823 282  
eca-rers2012/Problem03_label39_false-unreach-call.c 38.3  22.2   1000 320   37.4  21.0   994 411   34.6  20.5   990 377   37.6  22.2   972 328  
eca-rers2012/Problem03_label43_false-unreach-call.c 31.0  14.7   858 256   31.2  15.0   849 302   29.8  14.6   842 241   33.8  15.9   845 284  
eca-rers2012/Problem03_label45_false-unreach-call.c 52.5  36.9   1030 466   53.0  35.9   1070 454   51.4  34.8   1050 446   51.3  34.1   1130 417  
eca-rers2012/Problem03_label50_false-unreach-call.c 31.2  14.8   832 318   31.3  14.8   860 299   33.2  15.2   849 257   29.8  14.1   839 290  
eca-rers2012/Problem03_label52_false-unreach-call.c 36.2  22.1   1020 344   38.6  22.8   982 343   39.1  22.8   1050 333   39.9  22.0   1030 342  
eca-rers2012/Problem04_label04_false-unreach-call.c 907    879     3130 6730   906    881     3130 6570   903    867     3990 6510   907    878     3130 7090  
eca-rers2012/Problem04_label06_false-unreach-call.c 209    176     4490 2140   224    192     4450 1890   213    182     4360 1590   282    251     4630 2460  
eca-rers2012/Problem04_label09_false-unreach-call.c 902    878     2240 9330   903    877     2560 6840   902    878     2380 6020   903    878     2400 7070  
eca-rers2012/Problem04_label11_false-unreach-call.c 293    260     4180 2110   286    256     4190 2250   276    246     4110 3050   294    263     4180 2110  
eca-rers2012/Problem04_label12_false-unreach-call.c 903    880     2170 6720   903    877     2240 6280   903    877     2190 6690   902    878     2420 7050  
eca-rers2012/Problem04_label13_false-unreach-call.c 251    222     3960 2030   267    238     4030 2680   273    241     4100 2300   256    226     4120 2230  
eca-rers2012/Problem04_label14_false-unreach-call.c 242    213     4190 2150   229    201     4100 1880   215    190     4080 1600   205    175     4120 2010  
eca-rers2012/Problem04_label15_false-unreach-call.c 219    193     4080 1720   245    214     4200 1820   219    188     4170 2230   238    208     4230 1990  
eca-rers2012/Problem04_label17_false-unreach-call.c 265    235     3970 1990   282    253     4080 2250   276    244     4030 1920   288    255     4180 1940  
eca-rers2012/Problem04_label18_false-unreach-call.c 194    165     4140 2200   211    179     4210 1780   198    168     4100 1670   216    187     4060 1770  
eca-rers2012/Problem04_label19_false-unreach-call.c 320    286     4350 2730   304    272     4370 3020   298    268     4430 2250   301    270     4330 2270  
eca-rers2012/Problem04_label26_false-unreach-call.c 507    474     4040 3950   525    492     4050 3970   520    484     4110 3820   501    470     4020 4470  
eca-rers2012/Problem04_label27_false-unreach-call.c 845    815     3970 5950   842    812     3910 6180   867    835     3950 6000   850    818     3830 6330  
eca-rers2012/Problem04_label31_false-unreach-call.c 218    188     4430 2390   238    209     4480 1810   227    195     4270 1820   237    206     4540 2040  
eca-rers2012/Problem04_label32_false-unreach-call.c 241    210     4180 1810   240    209     4150 1910   253    224     4180 2200   229    199     4080 1800  
eca-rers2012/Problem04_label35_false-unreach-call.c 255    225     4130 2260   258    230     4140 2040   238    209     4190 1890   239    208     4080 1970  
eca-rers2012/Problem04_label36_false-unreach-call.c 311    280     4070 2300   309    279     4000 2520   309    280     4140 2460   315    285     4030 2360  
eca-rers2012/Problem04_label38_false-unreach-call.c 253    223     4250 1980   229    197     4220 2410   245    211     4220 1910   238    205     4220 1930  
eca-rers2012/Problem04_label39_false-unreach-call.c 901    877     3500 8310   901    877     3490 5990   902    877     3360 6340   902    875     3230 7400  
eca-rers2012/Problem04_label40_false-unreach-call.c 245    213     4120 1750   258    228     4290 2090   260    227     4260 2040   238    207     4230 1930  
eca-rers2012/Problem04_label45_false-unreach-call.c 902    878     1980 6810   251    221     4240 1970   253    221     4260 2420   261    227     4290 1970  
eca-rers2012/Problem04_label52_false-unreach-call.c 247    217     4480 2230   256    225     4410 1960   270    237     4430 2030   256    227     4400 2020  
eca-rers2012/Problem04_label55_false-unreach-call.c 905    878     4500 6900   906    881     4520 5050   901    877     4590 8760   908    884     4490 6430  
eca-rers2012/Problem04_label58_false-unreach-call.c 280    247     4370 2230   252    222     4320 2470   262    230     4330 2080   262    229     4350 2070  
eca-rers2012/Problem05_label00_false-unreach-call.c 904    873     2600 5880   903    873     2450 6610   904    872     2550 6310   904    872     2700 6050  
eca-rers2012/Problem05_label01_false-unreach-call.c 903    873     2970 7350   903    870     2880 8060   903    872     2980 8550   903    872     2880 6720  
eca-rers2012/Problem05_label11_false-unreach-call.c 569    531     4030 3870   547    510     3990 3850   547    513     4040 3920   551    514     4050 3640  
eca-rers2012/Problem05_label13_false-unreach-call.c 433    396     4010 3330   430    393     4120 4570   432    399     4030 4180   438    403     4100 4500  
eca-rers2012/Problem05_label15_false-unreach-call.c 904    872     3000 7020   573    537     4040 4300   903    873     2900 6500   540    506     4050 5150  
eca-rers2012/Problem05_label18_false-unreach-call.c 904    869     2540 6120   904    875     2470 5610   904    875     2510 6250   904    871     2560 6720  
eca-rers2012/Problem05_label24_false-unreach-call.c 903    874     2860 5910   903    873     2880 6370   903    875     2870 6480   903    871     2840 6050  
eca-rers2012/Problem05_label26_false-unreach-call.c 904    877     2890 8690   903    871     2920 7070   903    873     2910 6280   903    873     2920 7700  
eca-rers2012/Problem05_label30_false-unreach-call.c 466    431     4070 4390   476    441     4080 3240   472    437     4030 3510   468    432     4000 3320  
eca-rers2012/Problem05_label32_false-unreach-call.c 904    872     2460 5920   903    872     2560 6420   903    874     2590 6910   904    871     2500 7240  
eca-rers2012/Problem05_label33_false-unreach-call.c 601    566     4100 5990   604    572     4090 4080   605    567     4080 5050   586    550     4060 5410  
eca-rers2012/Problem05_label36_false-unreach-call.c 613    579     4000 3740   615    584     4030 4410   629    592     4050 4150   617    579     4120 4260  
eca-rers2012/Problem05_label37_false-unreach-call.c 370    330     4080 2720   361    327     4040 3090   361    325     4070 2680   365    328     4090 2590  
eca-rers2012/Problem05_label38_false-unreach-call.c 904    875     2680 7220   903    873     2680 8250   904    875     2560 7240   903    874     2570 6970  
eca-rers2012/Problem05_label39_false-unreach-call.c 564    529     4050 4050   566    530     4100 4100   570    535     4040 4080   567    528     4060 5320  
eca-rers2012/Problem05_label40_false-unreach-call.c 903    872     2910 6080   903    873     2880 7710   903    873     2870 6650   904    873     2920 6630  
eca-rers2012/Problem05_label41_false-unreach-call.c 419    384     4040 3080   416    380     4080 3060   415    376     4070 2880   427    388     4030 3190  
eca-rers2012/Problem05_label44_false-unreach-call.c 912    882     3030 7680   903    872     3010 6070   903    873     3030 7310   903    869     3070 7250  
eca-rers2012/Problem05_label47_false-unreach-call.c 903    872     2810 6430   904    875     2920 6680   912    880     2880 6930   903    871     2860 6730  
eca-rers2012/Problem05_label48_false-unreach-call.c 348    315     4090 2400   331    298     4060 2470   333    301     4090 2990   342    308     4080 2680  
eca-rers2012/Problem05_label51_false-unreach-call.c 903    873     2830 6720   903    873     2870 7190   903    871     2900 7530   903    874     2900 7050  
eca-rers2012/Problem05_label55_false-unreach-call.c 903    874     2800 7040   903    874     2940 7180   912    884     2870 6150   903    875     2880 6050  
eca-rers2012/Problem05_label57_false-unreach-call.c 903    873     2890 5540   903    877     2860 6770   903    873     2900 5520   904    874     2810 7200  
eca-rers2012/Problem05_label58_false-unreach-call.c 903    875     2960 6600   904    874     2970 6270   903    875     3000 7070   903    875     3050 6010  
eca-rers2012/Problem06_label00_false-unreach-call.c 172    142     2960 1560   169    140     2910 1200   170    142     2850 1310   177    144     2930 1170  
eca-rers2012/Problem06_label01_false-unreach-call.c 903    875     2550 7340   903    873     2490 6340   903    874     2230 9020   903    874     2250 6150  
eca-rers2012/Problem06_label02_false-unreach-call.c 315    285     2830 2210   306    274     2800 2290   313    283     2890 2380   315    286     2890 2440  
eca-rers2012/Problem06_label04_false-unreach-call.c 251    219     2890 2500   251    219     2880 1810   255    221     2930 2170   250    218     2870 1810  
eca-rers2012/Problem06_label05_false-unreach-call.c 903    874     2570 10000   902    875     2290 7460   903    872     2300 7370   903    874     2600 8370  
eca-rers2012/Problem06_label09_false-unreach-call.c 366    337     2810 2590   343    312     2880 3040   344    313     2880 2550   363    331     2780 2820  
eca-rers2012/Problem06_label10_false-unreach-call.c 511    483     2850 4520   539    506     2860 3780   508    476     2860 4000   503    469     2780 4250  
eca-rers2012/Problem06_label11_false-unreach-call.c 216    187     2870 1880   221    189     2840 1640   211    184     2840 1990   219    189     2850 1770  
eca-rers2012/Problem06_label12_false-unreach-call.c 336    301     2770 2500   315    285     2870 2610   329    298     2790 2380   329    299     2730 2420  
eca-rers2012/Problem06_label15_false-unreach-call.c 136    107     2960 1140   142    109     2890 1250   138    108     2860 1200   136    105     2820 1380  
eca-rers2012/Problem06_label20_false-unreach-call.c 439    409     2790 3570   436    403     2860 3860   436    403     2800 3410   435    405     2820 3540  
eca-rers2012/Problem06_label21_false-unreach-call.c 179    150     2900 1450   190    159     2880 1510   193    162     2900 1650   178    148     2890 1390  
eca-rers2012/Problem06_label24_false-unreach-call.c 147    117     2920 1170   141    110     2890 1260   137    107     2980 1100   134    104     2920 1220  
eca-rers2012/Problem06_label27_false-unreach-call.c 142    111     2940 1140   140    110     2930 1190   146    112     2930 1200   138    108     2930 1400  
eca-rers2012/Problem06_label29_false-unreach-call.c 486    454     2790 4020   502    471     2810 3870   495    465     2760 3630   478    446     2810 3740  
eca-rers2012/Problem06_label33_false-unreach-call.c 190    156     2840 1480   188    158     2920 1520   190    158     2920 1530   184    154     2880 1490  
eca-rers2012/Problem06_label36_false-unreach-call.c 186    156     2940 1420   195    165     2860 1900   187    159     2840 1510   199    168     2900 1690  
eca-rers2012/Problem06_label37_false-unreach-call.c 312    279     3040 2370   294    262     2920 2330   303    271     2860 2400   307    276     3030 2340  
eca-rers2012/Problem06_label38_false-unreach-call.c 543    512     2880 4520   545    514     2880 4420   521    491     2930 5420   549    518     2880 4880  
eca-rers2012/Problem06_label44_false-unreach-call.c 319    287     2850 2700   327    298     2880 2530   309    279     2900 2140   311    278     2890 3050  
eca-rers2012/Problem06_label47_false-unreach-call.c 144    113     2940 1170   146    116     2970 1190   140    112     2920 1150   147    113     2990 1240  
eca-rers2012/Problem06_label48_false-unreach-call.c 198    167     2890 1590   213    183     3000 1730   205    175     2940 1740   203    172     2950 1610  
eca-rers2012/Problem06_label56_false-unreach-call.c 132    102     2890 1280   132    103     2960 1120   137    106     2880 1060   133    104     2880 1150  
eca-rers2012/Problem06_label58_false-unreach-call.c 200    168     2920 1830   194    162     2900 1590   188    156     2910 1580   191    159     2910 1470  
eca-rers2012/Problem06_label59_false-unreach-call.c 138    108     2920 1180   139    107     2770 1250   136    107     2860 1230   132    101     2850 1240  
eca-rers2012/Problem07_label03_false-unreach-call.c 912    863     8430 9020   912    857     8410 7110   912    856     8630 7850   912    859     8460 6800  
eca-rers2012/Problem07_label05_false-unreach-call.c 912    857     7990 8000   912    856     8440 7320   912    855     8270 7620   912    858     8150 7390  
eca-rers2012/Problem07_label06_false-unreach-call.c 912    858     8160 8350   912    854     8300 8470   912    857     8130 7490   912    856     8300 11300  
eca-rers2012/Problem07_label07_false-unreach-call.c 912    855     8180 7600   912    856     7870 7850   912    852     8050 8730   912    854     8180 9730  
eca-rers2012/Problem07_label09_false-unreach-call.c 912    855     8210 10700   912    856     8350 8800   912    855     7990 9240   912    856     8280 8550  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    855     7880 9850   912    856     8220 7830   912    853     8130 8190   912    854     8020 8310  
eca-rers2012/Problem07_label15_false-unreach-call.c 912    851     8470 9320   912    860     8360 8880   912    860     8400 8510   912    856     8070 8510  
eca-rers2012/Problem07_label18_false-unreach-call.c 912    856     8290 7040   912    855     7870 7930   912    855     8410 7500   912    854     7960 8340  
eca-rers2012/Problem07_label19_false-unreach-call.c 912    857     8240 9270   912    857     8590 7350   912    857     8440 7480   912    855     8090 9210  
eca-rers2012/Problem07_label20_false-unreach-call.c 912    856     8240 7180   912    849     8470 9030   912    855     8240 8200   912    852     8520 7140  
eca-rers2012/Problem07_label23_false-unreach-call.c 912    862     8280 7950   912    855     8110 10500   912    861     8040 8620   912    860     8070 8670  
eca-rers2012/Problem07_label30_false-unreach-call.c 912    853     11600 8650   912    859     11900 9680   912    856     11600 8290   912    849     11800 9460  
eca-rers2012/Problem07_label31_false-unreach-call.c 912    854     10700 7760   912    850     10800 7460   912    858     10600 8150   912    857     10600 7640  
eca-rers2012/Problem07_label35_false-unreach-call.c 912    859     8310 7980   912    856     8120 6910   912    852     8170 7110   912    852     8360 6510  
eca-rers2012/Problem07_label36_false-unreach-call.c 912    853     11000 8240   912    856     10800 7950   912    854     10900 7820   912    853     10900 9250  
eca-rers2012/Problem07_label37_false-unreach-call.c 912    852     10800 8310   912    849     10800 6660   906    847     10500 7400   906    844     10700 8850  
eca-rers2012/Problem07_label39_false-unreach-call.c 912    857     10800 7430   912    854     10800 10000   912    855     11000 9580   912    854     10900 7220  
eca-rers2012/Problem07_label40_false-unreach-call.c 912    858     10700 8970   912    864     10500 9500   912    860     10400 9160   912    861     10600 8140  
eca-rers2012/Problem07_label42_false-unreach-call.c 912    856     10800 7470   912    858     11100 7390   912    858     10900 7760   912    860     10800 8810  
eca-rers2012/Problem07_label44_false-unreach-call.c 908    847     10900 8540   916    853     10900 9620   907    841     10900 8460   912    860     11100 8990  
eca-rers2012/Problem07_label46_false-unreach-call.c 912    854     10800 9400   904    843     10800 7630   912    851     10800 11100   908    846     11200 8150  
eca-rers2012/Problem07_label47_false-unreach-call.c 912    859     10500 7250   912    862     10400 9350   912    857     10400 10200   912    853     10700 8690  
eca-rers2012/Problem07_label48_false-unreach-call.c 912    855     10600 7170   912    856     10500 7830   912    863     10400 8850   912    859     10600 9320  
eca-rers2012/Problem07_label58_false-unreach-call.c 912    858     10800 7840   912    852     10700 8190   912    856     10800 7340   912    861     10800 7740  
eca-rers2012/Problem08_label01_false-unreach-call.c 909    814     13900 9820   908    819     13700 8610   909    823     13600 9220   906    820     13700 7880  
eca-rers2012/Problem08_label02_false-unreach-call.c 912    851     13600 7660   912    834     13700 7860   912    851     13900 7700   912    832     13900 7770  
eca-rers2012/Problem08_label04_false-unreach-call.c 912    832     13600 6530   912    828     13600 6060   914    833     12500 5270   912    832     13600 6040  
eca-rers2012/Problem08_label05_false-unreach-call.c 909    818     13700 7580   915    823     13100 9450   905    823     13600 8890   911    826     13700 7830  
eca-rers2012/Problem08_label06_false-unreach-call.c 912    831     13700 7430   912    833     13700 8680   906    827     13500 8210   907    821     12700 9500  
eca-rers2012/Problem08_label07_false-unreach-call.c 907    828     13600 10800   907    825     13600 8170   915    822     13800 8850   917    841     13400 7610  
eca-rers2012/Problem08_label10_false-unreach-call.c 912    835     13200 9130   912    835     13700 8360   912    847     13800 9260   912    837     13600 8490  
eca-rers2012/Problem08_label13_false-unreach-call.c 912    834     13600 8150   912    832     13200 9010   912    832     13700 8490   912    832     13400 8760  
eca-rers2012/Problem08_label15_false-unreach-call.c 907    821     13600 9330   908    819     13200 8080   907    825     13000 7740   914    820     13300 8170  
eca-rers2012/Problem08_label24_false-unreach-call.c 912    818     13300 8290   912    821     13300 8850   912    818     13400 7010   912    824     14000 7150  
eca-rers2012/Problem08_label25_false-unreach-call.c 912    851     13700 10200   912    835     13600 8690   912    835     13600 10100   912    830     12600 8700  
eca-rers2012/Problem08_label26_false-unreach-call.c 640    556     15000 5220   648    564     15000 5840   604    535     15000 6800   613    543     15000 5700  
eca-rers2012/Problem08_label28_false-unreach-call.c 912    826     13700 10300   912    822     13200 7210   912    822     13500 7150   912    822     13500 6610  
eca-rers2012/Problem08_label29_false-unreach-call.c 912    832     13700 8600   907    823     13200 11400   912    832     13200 8110   912    831     13200 8130  
eca-rers2012/Problem08_label34_false-unreach-call.c 912    851     13500 9580   912    833     13700 8420   912    830     13200 8380   912    836     13200 8530  
eca-rers2012/Problem08_label37_false-unreach-call.c 912    850     13500 9200   912    832     13300 8000   907    829     13100 7510   912    832     13600 8470  
eca-rers2012/Problem08_label43_false-unreach-call.c 912    851     13700 6310   912    832     13500 6030   912    831     12800 7160   912    832     13400 6780  
eca-rers2012/Problem08_label46_false-unreach-call.c 912    832     13200 6380   912    833     13200 7990   912    854     13400 7180   912    830     13900 7200  
eca-rers2012/Problem08_label48_false-unreach-call.c 909    816     13900 7600   909    818     13800 8660   909    835     13300 7780   908    818     13500 7210  
eca-rers2012/Problem08_label49_false-unreach-call.c 908    823     13700 8080   912    838     14100 8620   906    821     13700 8430   912    840     14200 10500  
eca-rers2012/Problem08_label50_false-unreach-call.c 677    590     15000 5650   659    579     15000 5520   658    579     15000 5690   636    557     15000 6320  
eca-rers2012/Problem08_label51_false-unreach-call.c 912    830     13000 5460   912    832     13000 6450   912    849     13500 6100   912    834     13100 6470  
eca-rers2012/Problem08_label55_false-unreach-call.c 912    826     14800 9600   913    824     14800 7480   912    827     14900 7360   912    840     14700 7760  
eca-rers2012/Problem08_label59_false-unreach-call.c 912    832     13600 7290   912    849     13400 6190   912    835     13100 6270   912    830     13800 5690  
eca-rers2012/Problem09_label02_false-unreach-call.c 912    824     14500 6450   912    831     14500 6500   374    299     15000 3310   912    829     14700 6480  
eca-rers2012/Problem09_label03_false-unreach-call.c 370    290     15000 3290   373    293     15000 3300   374    297     15000 3410   912    828     14700 8470  
eca-rers2012/Problem09_label06_false-unreach-call.c 391    310     15000 3530   365    286     15000 3750   912    823     14800 7480   912    824     14800 8140  
eca-rers2012/Problem09_label08_false-unreach-call.c 373    291     15000 3970   912    827     14400 9190   350    280     15000 3110   352    277     15000 3690  
eca-rers2012/Problem09_label10_false-unreach-call.c 353    277     15000 3450   362    289     15000 4020   912    844     14500 7010   350    283     15000 3180  
eca-rers2012/Problem09_label11_false-unreach-call.c 354    272     15000 3790   358    286     15000 2970   353    279     15000 2890   824    730     15000 6660  
eca-rers2012/Problem09_label15_false-unreach-call.c 912    824     14600 7600   391    310     15000 3450   375    296     15000 3350   912    825     14700 7610  
eca-rers2012/Problem09_label19_false-unreach-call.c 351    279     15000 3260   357    283     15000 3130   368    290     15000 3450   912    846     14600 6660  
eca-rers2012/Problem09_label20_false-unreach-call.c 827    724     15000 8270   384    308     15000 3260   828    731     15000 7340   356    287     15000 3270  
eca-rers2012/Problem09_label32_false-unreach-call.c 348    290     15000 3180   365    286     15000 3560   369    293     15000 3100   355    281     15000 2910  
eca-rers2012/Problem09_label34_false-unreach-call.c 912    827     14500 6320   912    826     14500 6140   912    822     14700 6140   912    831     14600 5700  
eca-rers2012/Problem09_label35_false-unreach-call.c 353    293     15000 3230   373    295     15000 2540   366    291     15000 3340   912    828     14700 6180  
eca-rers2012/Problem09_label36_false-unreach-call.c 358    287     15000 3720   912    822     14700 7930   353    289     15000 3520   363    288     15000 3190  
eca-rers2012/Problem09_label38_false-unreach-call.c 912    827     14500 6340   359    280     15000 3820   364    291     15000 3220   912    828     14600 6680  
eca-rers2012/Problem09_label41_false-unreach-call.c 365    285     15000 2990   336    277     15000 2820   792    699     15000 7410   358    281     15000 3300  
eca-rers2012/Problem09_label44_false-unreach-call.c 829    724     15000 7500   392    325     15000 3420   413    333     15000 3590   809    721     15000 8930  
eca-rers2012/Problem09_label46_false-unreach-call.c 410    329     15000 3150   381    306     15000 4500   908    821     14800 9870   391    313     15000 4170  
eca-rers2012/Problem09_label47_false-unreach-call.c 879    795     15000 6990   872    774     15000 9220   857    768     15000 7620   914    807     14900 6500  
eca-rers2012/Problem09_label51_false-unreach-call.c 381    323     15000 3690   912    819     14700 9690   912    814     14800 7430   419    338     15000 3900  
eca-rers2012/Problem09_label53_false-unreach-call.c 884    789     15000 7320   419    342     15000 2910   427    349     15000 3530   435    349     15000 3740  
eca-rers2012/Problem09_label54_false-unreach-call.c 413    333     15000 3900   398    326     15000 3260   908    807     14800 7160   412    337     15000 3440  
eca-rers2012/Problem09_label56_false-unreach-call.c 917    808     14700 7470   398    321     15000 4270   884    783     15000 6050   403    328     15000 4040  
eca-rers2012/Problem09_label57_false-unreach-call.c 414    336     15000 3110   408    332     15000 3440   410    335     15000 3820   909    815     14700 6720  
eca-rers2012/Problem09_label59_false-unreach-call.c 400    338     15000 3800   912    812     14900 8220   400    327     15000 3540   831    729     15000 7050  
eca-rers2012/Problem10_label12_false-unreach-call.c 901    892     538 11000   902    893     592 12900   901    894     486 9800   905    898     539 11300  
eca-rers2012/Problem10_label15_false-unreach-call.c 901    893     531 10300   901    894     546 11700   901    891     732 13200   901    892     734 11400  
eca-rers2012/Problem10_label24_false-unreach-call.c 901    891     710 11100   902    895     483 12600   902    896     464 11700   901    891     690 10600  
eca-rers2012/Problem10_label26_false-unreach-call.c 901    892     713 11500   902    891     680 11900   901    893     669 12400   901    892     724 10500  
eca-rers2012/Problem10_label28_false-unreach-call.c 901    893     521 11200   901    892     683 11200   901    891     653 10900   902    895     475 13600  
eca-rers2012/Problem10_label29_false-unreach-call.c 901    890     695 12900   901    891     718 11400   23.5  13.0   571 218   901    890     694 10200  
eca-rers2012/Problem10_label41_false-unreach-call.c 901    895     497 11100   11.1  5.21  436 98.3 11.7  5.23  451 96.1 12.5  6.19  446 120  
eca-rers2012/Problem10_label42_false-unreach-call.c 901    895     505 12900   901    895     505 10600   901    895     493 10900   911    905     515 12200  
eca-rers2012/Problem10_label46_false-unreach-call.c 6.12 2.02  328 49.2 6.13 2.08  333 53.3 6.22 2.08  328 52.2 6.14 2.06  333 56.7
eca-rers2012/Problem10_label47_false-unreach-call.c 901    895     491 13500   11.0  4.14  466 83.4 10.6  4.63  451 96.4 10.8  4.58  444 109  
eca-rers2012/Problem10_label48_false-unreach-call.c 901    893     562 10600   901    896     475 11000   901    894     563 12000   901    894     563 13200  
eca-rers2012/Problem10_label50_false-unreach-call.c 902    896     520 10200   902    895     541 10500   901    895     460 12000   901    895     511 12500  
eca-rers2012/Problem10_label55_false-unreach-call.c 14.4  7.31  447 157   901    896     473 11500   901    895     467 12900   901    894     472 11300  
eca-rers2012/Problem10_label57_false-unreach-call.c 901    892     674 12600   902    894     572 11100   901    891     688 11800   901    894     545 11200  
eca-rers2012/Problem10_label58_false-unreach-call.c 901    895     462 13600   901    893     569 12100   902    895     504 10400   901    892     674 12100  
eca-rers2012/Problem11_label00_false-unreach-call.c 901    889     714 12400   901    889     715 10900   901    889     722 10800   901    889     720 9510  
eca-rers2012/Problem11_label08_false-unreach-call.c 28.1  17.6   594 279   901    892     767 9960   29.4  17.7   578 317   28.3  17.6   591 271  
eca-rers2012/Problem11_label14_false-unreach-call.c 901    890     735 11200   29.4  20.0   585 295   283    271     669 3090   30.2  18.9   595 336  
eca-rers2012/Problem11_label15_false-unreach-call.c 66.6  56.3   604 752   67.3  56.9   613 722   35.3  22.0   597 345   33.2  22.0   596 401  
eca-rers2012/Problem11_label20_false-unreach-call.c 901    891     751 11900   901    890     719 12100   901    888     817 11400   901    891     724 10800  
eca-rers2012/Problem11_label29_false-unreach-call.c 901    891     726 10500   901    889     725 9670   901    890     719 11200   903    892     705 12000  
eca-rers2012/Problem11_label31_false-unreach-call.c 901    892     721 10700   901    888     711 11500   901    888     712 11000   901    892     703 10800  
eca-rers2012/Problem11_label34_false-unreach-call.c 901    890     730 11200   901    891     733 12400   901    887     700 11000   902    888     743 12700  
eca-rers2012/Problem11_label36_false-unreach-call.c 23.5  13.3   575 240   25.1  13.5   593 225   24.1  12.6   597 216   23.7  12.7   595 217  
eca-rers2012/Problem11_label39_false-unreach-call.c 901    889     725 8480   901    887     777 10000   901    888     759 10300   901    891     715 12600  
eca-rers2012/Problem11_label42_false-unreach-call.c 30.1  19.7   595 282   31.8  20.7   609 268   901    891     690 10400   30.0  19.5   607 284  
eca-rers2012/Problem11_label43_false-unreach-call.c 34.1  22.3   602 375   901    891     763 8510   31.7  21.5   594 360   901    889     754 11200  
eca-rers2012/Problem11_label49_false-unreach-call.c 901    891     748 10700   901    892     737 11200   901    892     740 12100   901    892     749 11800  
eca-rers2012/Problem11_label51_false-unreach-call.c 27.9  15.4   604 271   25.9  15.7   595 249   29.7  16.6   592 249   28.2  16.6   594 322  
eca-rers2012/Problem11_label58_false-unreach-call.c 29.2  17.1   597 298   26.7  16.6   597 249   28.3  16.9   591 249   901    892     747 11500  
eca-rers2012/Problem12_label00_false-unreach-call.c 902    884     1350 11200   902    882     1510 11000   902    884     1350 9040   902    883     1340 9360  
eca-rers2012/Problem12_label03_false-unreach-call.c 902    884     1540 10700   902    885     1540 9790   902    884     1550 10200   902    885     1550 10400  
eca-rers2012/Problem12_label06_false-unreach-call.c 902    886     1400 9470   902    885     1400 9880   902    885     1410 11900   902    883     1430 8720  
eca-rers2012/Problem12_label07_false-unreach-call.c 902    883     1550 7230   902    882     1540 8080   902    884     1530 8790   902    883     1550 7630  
eca-rers2012/Problem12_label08_false-unreach-call.c 902    884     1500 7410   902    884     1550 10500   902    886     1550 8230   902    884     1560 10100  
eca-rers2012/Problem12_label10_false-unreach-call.c 902    886     1360 8410   902    884     1350 9080   902    886     1150 10800   902    886     1180 9510  
eca-rers2012/Problem12_label13_false-unreach-call.c 902    886     1130 11600   902    887     1690 9070   902    884     1700 8730   902    886     1710 9480  
eca-rers2012/Problem12_label19_false-unreach-call.c 902    884     1100 12400   902    884     1540 10600   902    884     1590 11300   902    886     1080 11700  
eca-rers2012/Problem12_label20_false-unreach-call.c 902    884     1430 8620   902    885     1460 9660   902    883     1490 8440   902    885     1110 10300  
eca-rers2012/Problem12_label21_false-unreach-call.c 902    886     2780 9650   902    885     1140 8100   902    886     2850 9380   902    884     2850 6650  
eca-rers2012/Problem12_label25_false-unreach-call.c 902    885     1090 10000   902    884     1100 10100   902    886     1110 10900   902    885     1110 10900  
eca-rers2012/Problem12_label28_false-unreach-call.c 902    882     1360 7090   902    884     1380 8710   902    884     1380 8090   902    884     1380 7750  
eca-rers2012/Problem12_label30_false-unreach-call.c 902    885     1140 10300   902    886     1130 9360   902    887     1130 9450   902    886     1130 9890  
eca-rers2012/Problem12_label34_false-unreach-call.c 902    883     1500 11600   902    882     1130 11200   902    885     1140 8030   902    885     1120 11900  
eca-rers2012/Problem12_label35_false-unreach-call.c 902    885     1360 7930   902    885     1430 6860   902    885     1390 9140   902    886     1420 6590  
eca-rers2012/Problem12_label37_false-unreach-call.c 902    885     1380 8950   902    881     1400 9240   902    884     1380 7140   902    885     1090 9660  
eca-rers2012/Problem12_label38_false-unreach-call.c 902    884     1330 12100   902    886     1330 9600   902    882     1350 9040   902    884     1340 10900  
eca-rers2012/Problem12_label39_false-unreach-call.c 902    886     1410 7510   902    885     1380 7710   902    886     1410 8220   902    886     1390 7110  
eca-rers2012/Problem12_label40_false-unreach-call.c 902    883     1350 10100   902    885     1370 11800   902    884     1390 7100   902    881     1410 7820  
eca-rers2012/Problem12_label42_false-unreach-call.c 902    886     1350 9000   902    885     1350 8600   902    886     1420 7180   902    887     1370 7960  
eca-rers2012/Problem12_label48_false-unreach-call.c 902    885     1380 5750   902    882     1420 7250   902    886     1380 7020   902    884     1410 8470  
eca-rers2012/Problem12_label50_false-unreach-call.c 902    885     1120 10000   902    885     1430 7010   902    885     1360 6880   902    885     1340 7220  
eca-rers2012/Problem12_label51_false-unreach-call.c 902    884     1670 8030   902    883     1690 12000   902    884     1660 6200   902    883     1670 7730  
eca-rers2012/Problem12_label52_false-unreach-call.c 902    886     1380 8810   902    886     1400 6670   902    888     1370 8130   902    884     1400 8090  
eca-rers2012/Problem12_label55_false-unreach-call.c 902    885     1390 8040   902    884     1380 7160   902    884     1390 6330   902    886     1380 7260  
eca-rers2012/Problem13_label04_false-unreach-call.c 902    885     1350 8960   902    883     1350 9550   902    884     1290 8670   902    884     1300 8050  
eca-rers2012/Problem13_label06_false-unreach-call.c 902    884     1350 6510   902    882     1390 6980   902    885     1340 9690   902    882     1300 8510  
eca-rers2012/Problem13_label07_false-unreach-call.c 902    884     1310 10200   902    885     1330 7790   902    886     1340 7990   902    886     1300 7860  
eca-rers2012/Problem13_label11_false-unreach-call.c 902    883     1360 6830   902    884     1360 7110   902    884     1350 6730   902    883     1310 6910  
eca-rers2012/Problem13_label12_false-unreach-call.c 902    884     1340 8650   902    886     1350 11800   902    885     1360 7860   902    884     1320 9080  
eca-rers2012/Problem13_label16_false-unreach-call.c 902    884     1360 7610   902    886     1370 7870   902    883     1330 8860   902    886     1370 5600  
eca-rers2012/Problem13_label19_false-unreach-call.c 902    880     1320 11600   902    886     1240 7310   903    887     1250 8370   902    885     1240 8040  
eca-rers2012/Problem13_label21_false-unreach-call.c 902    885     1270 9190   902    881     1360 7890   902    884     1290 7040   902    884     1270 8100  
eca-rers2012/Problem13_label23_false-unreach-call.c 902    885     1300 8030   902    885     1300 7930   902    883     1330 6950   902    886     1280 8040  
eca-rers2012/Problem13_label24_false-unreach-call.c 902    884     1390 8060   902    884     1420 8150   902    884     1350 9250   902    885     1340 7160  
eca-rers2012/Problem13_label25_false-unreach-call.c 902    882     1330 7740   902    881     1310 9290   902    882     1330 6510   902    884     1290 8390  
eca-rers2012/Problem13_label28_false-unreach-call.c 902    884     1290 8360   902    884     1300 8400   902    883     1360 10300   902    884     1290 6790  
eca-rers2012/Problem13_label29_false-unreach-call.c 902    883     1310 7780   902    883     1350 10700   902    884     1350 7850   902    885     1300 8860  
eca-rers2012/Problem13_label30_false-unreach-call.c 902    883     1340 8000   902    884     1300 10300   902    882     1370 7260   902    886     1350 8120  
eca-rers2012/Problem13_label32_false-unreach-call.c 902    883     1340 7400   902    881     1410 7590   902    885     1300 9740   902    884     1340 7690  
eca-rers2012/Problem13_label35_false-unreach-call.c 902    880     1270 6700   902    880     1320 8480   902    884     1290 8460   902    884     1290 8710  
eca-rers2012/Problem13_label36_false-unreach-call.c 902    884     1310 9590   902    883     1270 6430   902    886     1290 8670   902    883     1360 7270  
eca-rers2012/Problem13_label40_false-unreach-call.c 902    885     1280 8080   902    886     1310 8270   902    884     1300 8720   902    883     1310 8150  
eca-rers2012/Problem13_label43_false-unreach-call.c 902    885     1340 8320   902    882     1400 10600   902    883     1370 10000   902