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-14 06:50:03 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 -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.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=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.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=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.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 -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 904    893     3180 6650   904    892     2970 6490   903    892     2820 7170   903    892     2670 8870  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    897     661 10400   901    897     657 12300   901    897     436 8350   901    897     495 11800  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    897     685 10300   901    897     673 10300   901    897     454 9680   901    897     508 11300  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    897     474 10200   901    897     459 9580   901    898     455 11000   901    897     494 9110  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    897     470 9940   901    897     466 11400   901    898     410 10700   901    897     477 7850  
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    897     433 9110   901    897     437 11800   901    897     372 10200   901    897     445 12100  
array-examples/standard_copy1_false-unreach-call_ground.i 901    897     688 10600   901    897     690 10900   901    897     857 10800   901    897     555 10600  
array-examples/standard_copy2_false-unreach-call_ground.i 901    897     646 10600   901    897     646 12500   901    897     780 11400   901    897     627 9710  
array-examples/standard_copy3_false-unreach-call_ground.i 901    897     627 9610   901    897     634 11000   912    908     808 11500   901    897     680 11300  
array-examples/standard_copy4_false-unreach-call_ground.i 901    897     780 11100   901    897     781 11200   901    897     829 10200   901    898     750 10900  
array-examples/standard_copy5_false-unreach-call_ground.i 901    897     797 10800   901    897     797 11200   901    897     870 11700   901    897     771 11200  
array-examples/standard_copy6_false-unreach-call_ground.i 901    897     854 9300   901    897     859 10100   901    897     832 9360   901    897     796 11000  
array-examples/standard_copy7_false-unreach-call_ground.i 901    897     790 12800   901    897     786 12500   901    896     849 11400   901    897     850 11300  
array-examples/standard_copy8_false-unreach-call_ground.i 901    897     847 12400   901    897     853 9980   901    897     835 10800   901    897     849 10900  
array-examples/standard_copy9_false-unreach-call_ground.i 901    897     931 14100   901    897     930 12000   901    897     889 11100   901    897     891 11000  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    897     490 10800   901    897     492 11400   901    897     797 10300   901    897     574 10700  
array-examples/standard_init1_false-unreach-call_ground.i 901    897     525 13100   901    897     525 11400   901    897     760 10800   901    897     590 12000  
array-examples/standard_init2_false-unreach-call_ground.i 901    897     525 11800   901    897     528 10400   901    897     772 12100   901    897     595 10000  
array-examples/standard_init3_false-unreach-call_ground.i 901    897     528 10700   901    897     528 11100   901    897     781 11000   901    898     586 11300  
array-examples/standard_init4_false-unreach-call_ground.i 901    897     523 13800   901    897     526 12900   901    897     766 12800   901    897     590 12000  
array-examples/standard_init5_false-unreach-call_ground.i 901    897     529 13400   901    897     529 12500   901    897     763 10600   901    897     593 11100  
array-examples/standard_init6_false-unreach-call_ground.i 901    898     527 11200   901    897     526 13400   901    897     761 10100   901    897     588 9820  
array-examples/standard_init7_false-unreach-call_ground.i 901    897     526 11900   901    897     525 13000   901    897     763 11300   901    897     591 10400  
array-examples/standard_init8_false-unreach-call_ground.i 901    897     528 11900   901    897     530 10700   901    897     756 12100   901    897     593 11700  
array-examples/standard_init9_false-unreach-call_ground.i 901    897     526 12600   901    897     525 11400   901    897     763 9660   901    897     591 11600  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    897     458 10100   901    897     459 9570   901    898     407 10900   901    897     484 11500  
array-examples/standard_partition_false-unreach-call_ground.i 901    897     600 11100   901    897     591 9960   901    897     433 6490   901    897     577 11400  
array-examples/standard_running_false-unreach-call.i 901    897     578 10400   901    897     577 11200   901    897     471 7950   901    897     598 10200  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    893     1450 9640   901    893     1460 12300   905    897     1300 10100   901    895     909 11200  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 903    891     3190 6770   904    891     3130 5840   902    891     2540 5380   903    892     3220 6220  
array-examples/relax_true-unreach-call.i 943    882     8480 6470   938    878     8580 8920   946    881     8200 6920   922    889     8080 6350  
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    897     456 10900   901    897     448 10100   901    898     389 10000   901    897     453 8880  
array-examples/sanfoundry_10_true-unreach-call_ground.i 902    889     1970 8300   902    891     1870 8590   907    882     7090 6500   916    884     6300 7040  
array-examples/sanfoundry_24_true-unreach-call.i 902    893     788 9250   902    892     786 7310   902    893     767 8090   6.35 3.57  369 64.1
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    897     466 9740   901    897     465 10600   901    897     429 10600   901    897     490 11300  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.15 .922 228 18.5 1.98 .894 219 19.2 2.19 .972 219 18.3 2.04 .906 219 17.5
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    897     685 10600   901    897     686 10100   901    897     456 10500   901    898     492 12000  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    897     490 10200   901    897     493 11200   901    898     415 8750   901    897     486 11800  
array-examples/standard_compareModified_true-unreach-call_ground.i 901    897     738 12200   901    897     731 10200   901    897     440 7870   901    897     556 11600  
array-examples/standard_compare_true-unreach-call_ground.i 901    896     739 11400   901    895     748 7910   901    897     631 7260   901    897     724 10100  
array-examples/standard_copy1_true-unreach-call_ground.i 901    897     605 11100   901    897     605 12800   901    897     854 10500   901    897     630 11100  
array-examples/standard_copy2_true-unreach-call_ground.i 901    897     687 13400   901    897     684 11000   901    897     825 10200   901    897     648 11300  
array-examples/standard_copy3_true-unreach-call_ground.i 901    897     638 12900   901    897     654 11100   901    897     791 10800   901    897     688 12200  
array-examples/standard_copy4_true-unreach-call_ground.i 901    897     763 10800   901    897     776 10800   901    897     821 10800   901    898     769 11700  
array-examples/standard_copy5_true-unreach-call_ground.i 901    897     799 12600   901    897     799 9730   911    907     859 10500   901    897     772 12800  
array-examples/standard_copy6_true-unreach-call_ground.i 901    898     854 11500   901    897     858 13100   901    897     847 11700   901    897     800 11900  
array-examples/standard_copy7_true-unreach-call_ground.i 901    897     713 10300   901    897     788 14000   901    897     854 10300   901    897     851 11000  
array-examples/standard_copy8_true-unreach-call_ground.i 901    897     857 8320   901    897     859 13200   901    897     841 9690   901    897     899 11100  
array-examples/standard_copy9_true-unreach-call_ground.i 901    897     930 12200   901    897     930 14100   901    897     878 9100   901    897     888 10500  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    897     491 11800   901    897     491 11200   901    897     809 11800   901    897     573 12000  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    897     485 11300   901    898     485 12700   901    897     817 12100   901    897     578 11000  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    897     542 9770   901    897     543 11600   901    898     753 11700   901    897     578 11600  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    897     489 11200   901    898     492 12500   901    897     788 10900   901    897     585 10200  
array-examples/standard_find_true-unreach-call_ground.i 901    897     499 11100   901    897     495 11300   901    897     755 12100   901    897     560 10600  
array-examples/standard_init1_true-unreach-call_ground.i 901    897     525 11700   901    897     530 11700   901    897     768 9980   901    897     592 10200  
array-examples/standard_init2_true-unreach-call_ground.i 901    897     530 9980   901    897     526 11200   901    897     755 11200   901    897     591 10800  
array-examples/standard_init3_true-unreach-call_ground.i 901    897     526 11300   901    897     526 10800   901    897     761 10100   901    897     594 9980  
array-examples/standard_init4_true-unreach-call_ground.i 901    897     526 11600   901    897     530 11300   901    897     781 11600   901    897     599 11900  
array-examples/standard_init5_true-unreach-call_ground.i 901    897     533 11400   901    897     524 11800   901    897     766 10700   901    897     591 9410  
array-examples/standard_init6_true-unreach-call_ground.i 901    898     525 13100   901    897     528 11100   901    897     783 10900   901    897     594 14100  
array-examples/standard_init7_true-unreach-call_ground.i 901    897     527 12200   901    897     526 11100   901    897     768 9860   901    897     589 11500  
array-examples/standard_init8_true-unreach-call_ground.i 901    898     526 11500   901    897     532 11700   901    897     787 12000   901    897     595 10000  
array-examples/standard_init9_true-unreach-call_ground.i 901    897     532 10900   901    897     527 11600   901    897     782 11600   901    897     598 14100  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    897     475 10200   901    897     464 11800   901    898     412 9160   901    897     541 9340  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    897     482 9090   901    897     459 11900   901    897     406 11700   901    897     469 9740  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    897     540 10300   901    897     537 12100   901    897     734 9580   901    897     605 11400  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    897     643 10400   901    897     652 9220   901    897     448 8120   901    897     586 10000  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    897     647 10400   901    897     647 10400   901    897     482 7320   901    897     626 10600  
array-examples/standard_partition_true-unreach-call_ground.i 901    898     651 10000   901    898     657 11900   901    897     431 6410   901    898     585 10900  
array-examples/standard_password_true-unreach-call_ground.i 901    895     747 9420   901    895     746 9430   901    896     662 8480   901    897     717 9260  
array-examples/standard_reverse_true-unreach-call_ground.i 901    897     583 11700   901    897     590 12400   901    897     793 10800   901    897     642 11200  
array-examples/standard_running_true-unreach-call.i 901    897     578 11300   901    897     565 12500   901    897     482 8130   901    897     588 9630  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    896     528 11500   901    897     526 11700   901    897     602 10700   901    896     602 12100  
array-examples/standard_seq_init_true-unreach-call_ground.i 901    898     513 10700   901    897     511 11900   901    897     643 13700   901    897     599 10500  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    892     1420 10500   901    893     1430 11600   901    892     1360 12400   901    897     680 11200  
array-examples/standard_strcpy_original_true-unreach-call.i 901    897     485 13000   901    897     483 14100   901    897     801 10300   901    897     589 10600  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    897     479 13200   901    897     482 11900   901    897     797 9830   901    897     588 12900  
array-examples/standard_two_index_01_true-unreach-call.i 901    898     508 10900   901    898     512 11500   901    897     740 10600   901    897     470 12100  
array-examples/standard_two_index_02_true-unreach-call.i 901    898     595 12300   901    897     597 11800   901    897     731 8870   901    897     578 10300  
array-examples/standard_two_index_03_true-unreach-call.i 901    897     477 11600   901    897     476 12900   901    897     798 9340   901    897     470 10800  
array-examples/standard_two_index_04_true-unreach-call.i 901    897     552 11100   901    898     556 10500   901    897     777 11700   901    898     598 10100  
array-examples/standard_two_index_05_true-unreach-call.i 901    897     540 13000   901    897     553 9810   901    897     782 9570   901    897     573 9970  
array-examples/standard_two_index_06_true-unreach-call.i 901    897     516 11000   901    897     513 11000   901    897     774 9990   901    897     490 10800  
array-examples/standard_two_index_07_true-unreach-call.i 901    897     559 11800   901    897     561 11200   901    897     783 9410   901    897     554 10400  
array-examples/standard_two_index_08_true-unreach-call.i 901    897     569 12000   901    897     565 13800   901    897     787 13200   901    897     573 10500  
array-examples/standard_two_index_09_true-unreach-call.i 901    897     560 11700   901    897     558 9990   901    897     775 9160   901    897     592 10600  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 905    893     1220 11000   913    902     1210 11300   905    893     1240 9200   904    893     1240 8460  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    897     719 8640   901    897     722 11800   901    897     764 10900   901    897     601 9800  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    897     489 11100   901    897     492 11100   901    897     778 11000   901    897     578 9760  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 5.27 1.54  346 38.4 266    260     15000 2530   901    897     808 10700   4.44 1.47  331 35.5
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    897     637 10300   901    897     630 10000   901    897     391 7170   12.5  10.1   369 168  
array-industry-pattern/array_range_init_false-unreach-call.i 3.38 1.22  292 29.9 258    254     15000 1970   901    896     615 9800   3.42 1.23  287 29.6
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    897     769 12300   901    897     772 9840   901    897     459 8530   730    726     613 10100  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 903    892     2580 5770   903    892     2590 7170   902    891     2470 5260   904    893     2800 6640  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    897     589 11100   901    897     591 12200   901    897     472 7510   901    897     576 11300  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    897     583 13500   901    897     579 10200   901    897     800 11200   901    897     677 9930  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 132    128     603 1540   79.6  73.3   15000 550   903    879     1860 6690   912    883     2100 6960  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 3.96 1.32  309 30.1 73.3  68.6   15000 493   901    897     612 8270   4.10 1.35  307 33.2
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    898     520 10200   901    897     508 11900   901    897     645 10500   901    898     624 10600  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 4.09 1.41  312 33.6 72.6  68.1   15000 452   901    897     509 7490   4.23 1.40  306 35.9
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 197    193     603 2050   912    905     2210 3410   901    896     833 9240   901    895     547 10500  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 5.27 1.64  416 39.5 80.1  74.5   15000 545   901    897     569 6980   5.25 1.58  386 36.2
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 132    130     577 1550   273    268     15000 1750   901    897     764 11200   901    897     503 11900  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 144    141     554 1660   72.8  68.7   15000 426   901    896     535 6820   901    896     510 7380  
array-industry-pattern/array_shadowinit_true-unreach-call.i 902    891     1610 8960   902    892     1660 11000   905    892     2490 10500   902    891     1590 9980  
reducercommutativity/rangesum05_false-unreach-call.i 6.91 5.10  298 79.0 6.90 5.12  292 74.4 5.59 3.81  291 63.2 4.79 2.96  289 52.2
reducercommutativity/rangesum10_false-unreach-call.i 11.6  9.38  329 125   11.4  9.29  328 134   16.8  14.6   348 197   17.4  15.2   344 246  
reducercommutativity/rangesum20_false-unreach-call.i 100    96.8   574 1080   99.2  96.1   575 1180   49.6  46.7   425 600   132    129     553 1610  
reducercommutativity/rangesum40_false-unreach-call.i 901    898     656 10800   901    898     659 10800   55.8  51.7   520 706   901    897     695 10900  
reducercommutativity/rangesum60_false-unreach-call.i 901    898     1520 12000   901    898     1520 10600   239    233     1000 2650   901    897     892 10200  
reducercommutativity/rangesum_false-unreach-call.i 36.6  25.7   589 393   35.7  25.4   604 357   109    98.9   635 1170   31.8  20.2   690 304  
reducercommutativity/avg05_true-unreach-call.i 3.67 2.08  282 40.4 3.70 2.08  281 40.9 3.84 2.01  290 38.9 3.90 2.30  281 44.1
reducercommutativity/avg10_true-unreach-call.i 9.64 7.88  300 106   9.73 7.91  301 115   7.15 5.31  294 74.0 12.6  10.7   307 136  
reducercommutativity/avg20_true-unreach-call.i 76.4  74.1   377 888   76.6  74.1   375 1050   42.1  39.7   355 496   91.8  89.3   401 1130  
reducercommutativity/avg40_true-unreach-call.i 902    899     505 10900   901    898     506 11700   146    142     603 1850   912    909     688 12400  
reducercommutativity/avg60_true-unreach-call.i 901    897     573 11800   901    897     574 10300   791    784     851 8590   901    897     552 9040  
reducercommutativity/avg_true-unreach-call.i 43.6  38.7   407 511   44.4  39.0   419 567   11.5  6.21  433 118   29.5  24.2   417 324  
reducercommutativity/max05_true-unreach-call_true-termination.i 8.29 6.62  285 87.2 8.38 6.67  284 108   7.48 5.77  280 94.0 10.8  9.03  285 151  
reducercommutativity/max10_true-unreach-call_true-termination.i 83.2  81.0   321 1000   84.2  82.2   320 1160   65.0  63.0   314 834   150    148     330 1890  
reducercommutativity/max20_true-unreach-call.i 901    897     419 11400   901    897     421 11300   901    897     405 8630   901    898     408 10200  
reducercommutativity/max40_true-unreach-call.i 901    897     452 9980   901    898     453 9710   901    897     415 9270   901    898     447 10100  
reducercommutativity/max60_true-unreach-call.i 901    897     565 12000   901    898     565 9760   901    897     464 6890   901    897     572 11200  
reducercommutativity/max_true-unreach-call.i 9.89 3.87  455 85.2 10.8  3.88  464 94.1 10.7  4.01  484 98.2 12.5  4.88  489 103  
reducercommutativity/sep05_true-unreach-call.i 23.5  21.7   299 310   23.4  21.5   297 315   20.8  19.0   306 241   30.1  28.3   305 335  
reducercommutativity/sep10_true-unreach-call.i 901    898     463 10000   897    894     474 10900   738    735     465 10200   901    898     431 10000  
reducercommutativity/sep20_true-unreach-call.i 901    898     425 10100   901    898     425 9190   901    898     418 9300   901    898     422 9590  
reducercommutativity/sep40_true-unreach-call.i 901    898     494 6730   901    898     499 6500   901    898     465 6320   901    897     583 8830  
reducercommutativity/sep60_true-unreach-call.i 902    899     554 7140   902    898     550 8040   901    897     516 5900   902    898     633 8440  
reducercommutativity/sep_true-unreach-call.i 902    889     1530 7890   902    889     1530 7570   902    888     1910 5920   6.28 2.64  309 55.5
reducercommutativity/sum05_true-unreach-call_true-termination.i 3.48 1.75  276 33.2 3.27 1.66  274 31.6 3.32 1.67  275 31.7 3.52 1.95  282 36.6
reducercommutativity/sum10_true-unreach-call.i 6.61 4.82  299 72.9 6.65 4.84  296 74.3 5.97 4.02  297 66.9 8.32 6.52  300 91.7
reducercommutativity/sum20_true-unreach-call.i 45.6  43.2   386 621   45.9  43.5   386 614   32.6  30.1   352 345   65.1  62.6   389 825  
reducercommutativity/sum40_true-unreach-call.i 901    897     557 12300   901    897     548 11200   141    137     611 1650   901    897     607 10400  
reducercommutativity/sum60_true-unreach-call.i 901    897     617 11800   901    898     613 10400   780    773     834 8040   901    897     578 11200  
reducercommutativity/sum_true-unreach-call.i 8.13 3.01  383 71.2 8.36 3.06  401 78.2 8.08 3.09  396 71.0 8.54 3.42  374 83.4
bitvector/byte_add_false-unreach-call_true-no-overflow.i 3.31 1.49  277 31.5 3.40 1.57  276 34.4 3.45 1.56  277 29.6 3.52 1.62  280 30.5
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    895     719 11500   901    896     735 11000   901    896     712 10700   901    895     717 11200  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 3.66 1.69  284 29.1 3.53 1.71  280 33.2 3.60 1.70  275 36.4 3.60 1.74  276 32.1
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 3.51 1.62  283 29.6 3.62 1.67  283 36.0 3.60 1.62  277 32.1 3.56 1.62  283 29.0
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 45.4  43.9   275 538   45.4  43.8   272 574   45.3  43.8   269 554   45.5  44.0   274 649  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 901    899     293 12700   901    899     289 11000   901    899     290 13600   901    899     292 11300  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    899     293 11900   901    900     292 11500   901    899     289 11800   901    899     286 11200  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 2.71 1.09  268 25.5 2.49 1.05  265 22.2 2.65 1.09  265 22.7 2.55 1.08  265 21.1
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 4.54 2.55  303 44.9 4.57 2.57  307 50.2 4.51 2.57  294 42.9 4.40 2.54  296 48.5
bitvector/jain_1_true-unreach-call_true-no-overflow.i 2.48 1.08  268 21.1 2.41 1.03  266 19.0 2.34 1.01  263 21.3 2.38 1.04  267 21.3
bitvector/jain_2_true-unreach-call_true-no-overflow.i 2.48 1.06  270 21.7 2.33 1.04  267 20.4 2.45 1.06  267 20.0 2.55 1.10  267 20.2
bitvector/jain_4_true-unreach-call_true-no-overflow.i 2.50 1.05  267 22.3 2.39 1.04  275 21.6 2.45 1.06  265 21.2 2.53 1.09  263 21.9
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    897     662 11400   901    897     669 10200   901    897     661 12000   901    897     666 12200  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 2.45 1.08  271 22.6 2.45 1.08  272 20.7 2.54 1.09  264 22.9 2.45 1.11  262 21.7
bitvector/jain_7_true-unreach-call_true-no-overflow.i 2.45 1.08  271 21.7 2.48 1.07  268 21.6 2.50 1.06  263 19.7 2.44 1.05  264 21.9
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    898     355 11100   901    898     359 11700   901    898     355 13200   901    899     355 11000  
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 2.64 1.18  265 22.3 2.61 1.14  267 25.1 2.77 1.18  264 25.0 2.68 1.21  266 26.1
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 3.04 1.42  273 26.7 3.05 1.42  272 29.3 3.09 1.50  274 31.6 2.96 1.42  275 27.1
bitvector/parity_true-unreach-call_true-no-overflow.i 2.54 1.10  270 24.7 2.48 1.10  270 24.1 2.52 1.11  267 20.7 2.55 1.14  270 24.0
bitvector/sum02_true-unreach-call_true-no-overflow.i 901    896     737 9330   901    896     760 10200   901    896     744 10200   901    896     733 11000  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 7.09 3.48  308 70.7 7.46 3.71  311 65.1 7.42 3.60  308 62.1 7.21 3.51  307 69.1
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 14.3  10.1   334 178   14.4  10.2   327 146   14.8  10.2   330 167   14.5  10.1   325 157  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 3.95 1.49  280 38.0 3.98 1.53  282 38.1 4.08 1.55  280 38.4 4.16 1.57  277 37.8
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 7.26 3.54  308 69.9 7.17 3.52  308 63.5 7.26 3.55  304 65.9 7.03 3.50  305 71.0
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 14.4  9.87  325 146   14.0  9.63  321 171   14.2  9.68  322 150   13.9  9.54  333 165  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    895     538 7190   901    895     557 7870   901    896     533 7780   901    895     562 8490  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    898     346 12400   901    897     345 10400   901    897     349 9920   901    897     348 13500  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    892     761 7270   901    892     740 7570   901    893     748 7130   901    893     734 9900  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    894     687 8810   901    892     719 8840   901    893     715 7570   901    893     688 9780  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    894     668 9130   901    894     670 8190   901    893     674 7370   901    893     673 7560  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    891     720 6930   901    891     723 7960   901    892     701 9770   901    891     727 7950  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    893     668 7180   901    892     677 7840   901    891     703 8110   901    890     726 6910  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 4.12 1.70  293 40.6 4.06 1.64  294 35.3 4.01 1.64  294 39.3 4.40 1.75  299 39.0
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 928    863     5440 8620   929    866     5500 6980   910    850     5500 8110   906    849     5580 10500  
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 12.3  4.15  589 102   11.6  4.11  589 97.0 11.0  4.02  564 88.1 11.3  4.00  568 91.8
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 3.90 1.55  286 34.3 3.89 1.60  291 32.8 3.88 1.59  285 32.8 3.85 1.55  284 37.7
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 905    846     6040 11200   907    837     5110 7840   906    846     5330 8640   910    849     5830 9130  
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.28 1.01  266 18.7 2.28 .990 266 20.7 2.35 .998 264 22.2 2.36 1.07  262 19.7
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.33 .999 267 19.3 2.30 1.02  272 22.8 2.27 .994 259 22.4 2.33 1.01  266 20.3
bitvector-regression/integerpromotion_false-unreach-call.c 2.34 .998 272 20.7 2.31 1.02  267 18.8 2.41 1.01  265 20.8 2.24 .986 271 20.5
bitvector-regression/recHanoi03_false-unreach-call.c 2.10 .940 222 19.5 2.36 .958 236 19.2 2.09 .943 223 19.1 2.19 .965 225 21.7
bitvector-regression/signextension2_false-unreach-call.c 2.29 .987 266 21.8 2.48 .994 270 22.5 2.39 1.03  265 22.2 2.40 1.04  261 22.3
bitvector-regression/signextension_false-unreach-call.c 2.49 1.09  273 23.4 2.35 1.04  265 22.2 2.39 1.01  264 23.7 2.29 1.01  266 19.6
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.20 .953 230 17.7 2.05 .940 226 18.9 2.08 .916 221 19.7 2.28 1.01  226 20.3
bitvector-regression/integerpromotion_true-unreach-call.c 2.17 1.00  226 20.7 2.07 .954 224 17.8 2.18 .951 230 21.6 2.03 .943 220 17.9
bitvector-regression/signextension2_true-unreach-call.c 2.07 .948 226 19.5 2.18 .960 223 19.8 2.22 1.02  226 19.4 2.16 .960 224 18.7
bitvector-regression/signextension_true-unreach-call.c 2.13 .985 229 21.0 2.12 .957 225 18.6 2.19 .970 233 19.0 2.24 .958 230 21.4
bitvector-loops/diamond_false-unreach-call2.i 2.78 1.19  273 23.8 2.82 1.21  274 25.3 2.75 1.17  272 22.5 2.81 1.21  271 26.5
bitvector-loops/overflow_false-unreach-call1.i 901    897     713 11000   901    898     702 10700   909    905     702 9550   901    897     711 11600  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 9.38 7.19  307 109   9.28 7.15  310 119   6.32 4.15  305 69.8 9.78 7.60  310 113  
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.74 3.37  392 81.1 8.46 3.14  393 69.7 8.42 3.19  384 80.9 9.19 3.15  389 82.3
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.60 2.04  302 50.9 5.98 2.08  306 51.2 5.89 2.14  298 54.0 6.03 2.14  297 48.4
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.94 2.39  332 58.3 6.89 2.37  332 61.4 6.82 2.47  330 56.2 6.77 2.38  332 55.3
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.35 1.57  290 40.2 4.20 1.55  289 35.1 4.30 1.58  283 39.3 4.17 1.56  284 33.4
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.73 2.28  389 69.5 7.81 2.28  374 63.0 7.63 2.26  372 55.7 7.27 2.27  376 64.8
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 901    890     985 11900   901    889     1020 11000   901    890     989 11200   901    891     973 12700  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.79 1.80  297 38.3 4.72 1.76  293 40.7 4.79 1.77  293 38.1 4.66 1.75  292 40.5
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.26 2.28  324 54.0 5.65 2.02  322 47.8 5.71 2.03  316 47.0 5.78 2.04  315 53.8
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.41 1.37  269 30.4 3.38 1.30  271 26.2 3.35 1.30  270 26.7 3.33 1.27  270 30.9
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.08 1.46  273 33.9 3.84 1.40  275 34.3 3.89 1.49  274 32.5 3.84 1.41  275 31.8
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 5.14 1.99  293 45.0 5.24 2.10  294 45.5 4.96 2.01  294 48.8 5.25 1.97  295 48.3
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 5.08 1.91  296 40.0 5.05 1.94  297 48.5 4.95 1.90  294 41.1 5.04 1.89  294 41.6
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 5.81 2.32  305 54.7 5.73 2.28  303 50.2 5.73 2.30  301 44.2 5.60 2.29  302 50.7
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 5.15 2.01  299 40.5 5.04 1.90  298 45.6 5.22 1.94  296 48.3 5.19 1.95  300 46.4
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 3.31 1.29  271 27.6 3.25 1.26  273 25.0 3.48 1.43  274 32.5 3.17 1.28  272 28.8
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 10.8  6.97  320 120   10.8  7.07  322 110   10.9  6.91  321 126   11.0  7.00  324 118  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 7.78 3.98  315 83.4 7.90 3.93  317 72.2 7.67 4.07  321 75.0 7.86 3.99  318 75.0
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 4.84 1.85  294 44.6 5.03 1.97  297 44.0 4.95 1.85  298 38.7 5.00 1.88  292 40.1
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 3.56 1.46  278 30.5 3.37 1.33  278 26.9 3.49 1.33  280 29.5 3.46 1.34  283 27.3
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 4.49 1.68  287 38.5 4.44 1.69  289 41.3 4.51 1.68  285 37.8 4.49 1.68  288 42.4
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 4.51 1.70  290 37.7 4.57 1.70  289 35.3 4.34 1.66  286 38.5 4.51 1.68  287 40.0
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 3.26 1.32  276 25.9 3.25 1.29  276 32.5 3.25 1.29  273 31.2 3.25 1.30  270 28.5
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 110    105     393 1320   114    110     398 1370   112    107     397 1290   113    109     400 1430  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 107    103     390 1200   108    103     399 1350   104    99.2   394 1430   104    99.9   395 1260  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 144    139     456 1710   149    144     452 1590   150    145     467 1540   150    144     479 1540  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 95.8  91.3   389 992   95.3  91.1   390 1340   97.5  92.9   388 1010   99.5  95.0   389 1180  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 901    891     768 6690   901    893     747 6150   901    892     784 7290   901    893     771 9470  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 901    892     671 7650   901    892     689 6910   901    893     692 7570   901    892     705 7610  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 901    894     561 7490   901    893     587 7280   901    893     574 11400   901    894     558 8850  
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 901    893     727 9590   901    892     725 7430   901    892     737 9070   901    893     718 6380  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 901    893     588 6510   901    893     713 7360   901    893     710 8860   901    892     711 7540  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 901    893     709 7430   901    892     724 8000   901    893     708 6940   901    892     717 6290  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 901    892     732 5110   901    892     738 7310   901    892     728 7070   901    891     740 6960  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 901    893     703 7280   901    893     712 7510   901    892     700 8920   901    893     717 7510  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 901    894     724 10400   901    892     728 6500   901    893     714 6570   901    893     708 7130  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 3.28 1.29  277 23.9 3.06 1.26  276 27.6 3.19 1.31  279 26.5 3.04 1.26  271 25.9
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.95 1.23  276 28.0 3.07 1.23  277 27.8 2.99 1.23  275 26.6 3.12 1.31  269 26.2
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 904    895     1140 7650   903    893     1030 7350   902    892     1180 6740   901    891     1130 8130  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 903    890     1030 6610   903    890     1070 6310   903    891     1220 9250   902    890     1070 6150  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 903    893     1220 7950   902    892     1050 8840   902    891     1050 6850   903    893     1240 7730  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 901    890     1210 7530   903    891     1110 8540   901    890     1120 6310   901    890     1180 8010  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 902    891     1090 6130   903    891     1130 6160   903    892     1090 8580   903    892     1120 7150  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 903    891     1210 6340   903    892     1120 8760   901    892     1090 6860   903    890     1130 8820  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 902    890     1030 6560   902    890     1110 6050   901    891     1030 7070   904    893     1040 6760  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 902    890     977 6710   901    892     1030 7710   901    890     1040 7180   904    893     1040 7930  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 902    893     948 7660   902    893     969 6550   902    892     985 7360   902    892     971 6070  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 902    891     1050 8230   903    891     1030 7400   902    892     1070 6810   903    892     1130 7780  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 902    892     1010 8760   903    892     1060 6650   903    892     1020 6610   903    892     1040 7020  
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    894     1160 10500   901    894     1170 9630   901    894     1100 10700   901    894     974 7490  
ntdrivers/diskperf_false-unreach-call.i.cil.c 9.21 3.16  388 74.6 8.53 3.00  373 75.1 8.64 2.75  376 71.9 7.92 2.32  366 71.4
ntdrivers/floppy_false-unreach-call.i.cil.c 907    899     1710 10800   909    900     1720 10800   13.6  4.09  626 107   203    193     1220 1990  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 5.93 1.93  308 49.4 6.03 1.94  306 51.2 5.87 1.98  301 52.4 6.14 2.02  310 51.7
ntdrivers/parport_false-unreach-call.i.cil.c 240    229     958 3030   241    229     965 2850   15.4  4.14  546 121   18.4  6.34  551 159  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 9.90 2.96  400 77.2 10.5  3.21  404 80.8 10.4  3.00  403 90.1 10.2  3.14  388 79.6
ntdrivers/diskperf_true-unreach-call.i.cil.c 901    895     421 11200   901    895     431 10200   901    891     678 9910   901    895     419 10600  
ntdrivers/floppy2_true-unreach-call.i.cil.c 510    494     1010 4470   902    883     1440 7840   902    884     1450 8210   902    884     1350 7060  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 906    898     1760 10000   908    899     1760 10900   902    885     1440 8440   901    889     1150 10600  
ntdrivers/parport_true-unreach-call.i.cil.c 961    671     9940 9670   961    660     10000 8720   961    665     10300 8910   968    671     10400 9560  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 55.7  51.0   374 643   55.5  50.4   383 660   29.4  24.9   363 335   38.1  33.4   366 424  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 19.8  15.4   332 233   20.4  15.9   334 233   12.6  8.33  325 123   18.7  14.2   338 201  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 22.2  17.9   330 252   22.7  18.0   333 250   13.6  9.08  330 173   18.6  14.1   335 227  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 25.5  21.0   347 269   25.5  20.9   348 343   14.0  9.37  326 146   18.4  14.0   331 176  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 6.92 3.10  311 69.8 6.76 2.95  310 62.5 6.59 2.68  311 61.4 6.82 2.96  316 56.8
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 6.64 2.76  313 55.1 6.47 2.78  310 58.2 6.28 2.45  305 56.5 7.00 2.96  316 64.3
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 7.01 3.18  313 71.5 6.95 3.15  310 66.3 6.45 2.53  306 59.8 6.63 2.92  313 60.1
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 6.68 2.84  306 60.9 6.69 2.79  309 64.0 6.68 2.69  305 64.5 6.60 2.75  311 66.0
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 22.2  17.2   363 253   22.6  17.3   370 279   13.9  8.80  360 160   19.3  14.0   381 209  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 20.7  16.0   344 227   20.7  16.0   342 229   10.4  5.71  334 105   14.9  9.98  351 163  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 226    219     564 2910   229    222     553 2450   79.6  73.1   497 1060   165    157     536 1990  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 14.6  9.88  347 171   14.2  9.69  334 142   10.2  5.30  339 104   15.0  10.3   334 170  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 208    201     574 2120   213    206     559 2190   72.6  65.6   502 802   172    165     535 2320  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 10.3  5.91  323 98.2 10.2  5.83  327 123   8.20 4.00  321 73.3 9.82 5.54  324 93.4
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 18.8  14.3   348 206   19.1  14.3   340 194   12.7  8.07  353 122   18.4  13.5   366 213  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 17.8  12.8   343 206   17.4  12.6   348 170   11.1  6.39  341 115   15.0  10.4   336 145  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 16.7  11.8   340 181   16.6  11.7   338 177   13.1  8.24  342 129   18.8  13.9   360 196  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 216    208     556 2120   206    197     557 2490   82.7  76.4   505 854   175    167     548 1890  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 21.6  16.4   363 238   21.3  16.4   355 233   12.7  7.62  352 123   17.2  12.1   355 196  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 901    894     587 7380   901    895     608 9210   901    893     617 6190   901    895     596 8640  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 901    894     622 8040   901    894     614 8660   901    894     541 7360   901    894     594 7560  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 901    894     571 8030   901    894     552 10200   901    894     558 8230   850    843     610 8060  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 901    893     569 7430   901    895     550 10300   901    894     531 8260   901    893     636 7110  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 901    893     693 8380   901    893     711 6570   901    894     608 9020   901    892     746 6690  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 901    893     672 7670   901    892     691 9360   901    893     569 7150   901    890     734 8930  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 901    893     643 7530   901    894     670 9370   901    893     661 6260   901    893     670 8270  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 901    893     650 7080   901    892     680 7120   901    893     626 7000   901    893     639 6570  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 901    893     628 8740   901    893     641 7730   901    893     663 6960   901    893     689 7660  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 901    893     683 7670   901    892     675 7140   901    893     676 9990   901    893     681 7580  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 901    893     629 7620   901    892     627 8900   901    893     671 7070   901    893     658 8860  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 901    893     687 7730   901    893     684 5790   901    893     675 8130   901    894     634 7970  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 901    894     670 7280   901    894     645 8160   901    890     675 6960   901    893     640 8030  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 901    893     668 7350   901    894     650 8470   901    893     632 6960   901    893     679 7400  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 901    892     622 6520   901    893     643 9030   901    892     690 7780   901    892     676 6820  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 901    893     643 8180   901    893     644 8120   901    893     669 7340   901    893     675 6390  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 901    893     675 7830   901    893     668 7490   901    893     680 7140   901    893     635 7710  
eca-rers2012/Problem01_label15_false-unreach-call.c 15.2  5.16  533 115   15.5  4.97  535 117   14.3  4.56  533 120   15.8  4.67  540 126  
eca-rers2012/Problem01_label20_false-unreach-call.c 20.5  8.93  600 180   21.0  9.02  604 178   18.8  8.78  594 200   19.9  8.94  584 180  
eca-rers2012/Problem01_label21_false-unreach-call.c 14.7  4.53  528 117   14.2  4.67  532 114   14.6  4.59  515 118   14.2  4.48  515 117  
eca-rers2012/Problem01_label32_false-unreach-call.c 18.7  8.42  575 168   17.3  8.40  570 172   18.0  8.50  580 157   18.6  8.39  588 186  
eca-rers2012/Problem01_label33_false-unreach-call.c 14.6  5.90  569 119   16.0  6.11  568 135   17.0  6.13  565 146   15.0  5.94  557 120  
eca-rers2012/Problem01_label35_false-unreach-call.c 13.6  4.29  528 114   15.1  4.38  523 138   14.9  4.54  543 124   13.7  4.54  520 117  
eca-rers2012/Problem01_label37_false-unreach-call.c 16.4  6.26  573 133   15.4  6.11  563 144   18.1  6.31  581 142   15.4  6.21  562 131  
eca-rers2012/Problem01_label38_false-unreach-call.c 14.4  4.51  529 123   12.7  4.35  515 107   13.1  4.60  512 112   15.2  4.59  527 118  
eca-rers2012/Problem01_label44_false-unreach-call.c 11.5  3.63  501 103   11.9  3.47  511 94.5 12.3  3.56  509 103   11.5  3.41  502 94.4
eca-rers2012/Problem01_label47_false-unreach-call.c 21.0  8.82  598 186   19.4  9.07  593 179   18.5  8.78  594 165   21.1  9.12  591 183  
eca-rers2012/Problem01_label50_false-unreach-call.c 14.6  4.40  532 113   13.6  4.34  527 105   14.4  4.31  528 119   14.9  4.63  531 107  
eca-rers2012/Problem01_label56_false-unreach-call.c 16.6  6.14  573 119   16.0  6.19  555 133   16.5  6.18  567 132   17.2  6.35  581 151  
eca-rers2012/Problem01_label57_false-unreach-call.c 16.7  6.11  576 132   18.2  6.62  582 147   16.8  6.02  573 141   16.6  5.94  559 148  
eca-rers2012/Problem02_label13_false-unreach-call.c 8.30 2.45  405 63.2 8.39 2.48  417 67.2 8.28 2.52  416 63.0 8.07 2.42  416 71.5
eca-rers2012/Problem02_label16_false-unreach-call.c 8.21 2.49  410 74.2 7.98 2.36  400 66.6 8.06 2.40  417 61.4 8.10 2.39  396 59.4
eca-rers2012/Problem02_label43_false-unreach-call.c 8.25 2.43  406 62.2 7.90 2.36  411 65.1 8.21 2.42  397 74.0 8.17 2.37  421 60.5
eca-rers2012/Problem02_label44_false-unreach-call.c 8.23 2.48  403 66.2 8.75 2.61  424 66.9 8.00 2.39  401 67.7 8.31 2.38  413 64.6
eca-rers2012/Problem02_label45_false-unreach-call.c 10.3  3.01  481 80.8 10.5  3.04  489 92.6 10.4  3.00  483 81.0 10.2  3.02  498 87.1
eca-rers2012/Problem02_label50_false-unreach-call.c 10.8  3.14  485 78.3 11.0  3.19  496 77.4 10.0  2.97  491 74.5 10.2  3.02  485 88.6
eca-rers2012/Problem02_label59_false-unreach-call.c 10.7  3.08  484 83.7 10.7  3.21  480 79.5 10.5  3.17  498 91.2 10.8  3.15  488 90.8
eca-rers2012/Problem03_label09_false-unreach-call.c 45.9  30.3   860 497   48.2  33.1   852 408   44.0  31.8   840 412   42.5  31.1   835 412  
eca-rers2012/Problem03_label13_false-unreach-call.c 25.4  13.4   770 229   27.0  13.8   812 239   26.0  13.3   774 221   30.2  14.0   801 237  
eca-rers2012/Problem03_label26_false-unreach-call.c 18.8  7.17  702 164   19.2  7.37  703 186   19.3  7.30  702 172   18.5  7.33  667 177  
eca-rers2012/Problem03_label27_false-unreach-call.c 23.9  12.8   778 221   24.7  12.6   807 211   25.6  12.8   806 204   25.3  13.1   760 227  
eca-rers2012/Problem03_label28_false-unreach-call.c 26.5  13.9   808 229   27.4  14.6   807 221   27.4  14.1   827 240   28.6  14.0   814 256  
eca-rers2012/Problem03_label31_false-unreach-call.c 23.8  11.3   824 204   24.6  11.5   784 225   26.6  12.1   767 253   24.7  11.7   783 201  
eca-rers2012/Problem03_label35_false-unreach-call.c 42.6  30.1   850 375   42.3  29.6   861 417   44.1  30.0   841 388   42.9  29.2   862 418  
eca-rers2012/Problem03_label37_false-unreach-call.c 23.9  10.7   748 218   25.4  11.5   762 204   22.1  10.6   791 197   23.4  10.6   784 221  
eca-rers2012/Problem03_label39_false-unreach-call.c 35.1  21.4   843 321   34.2  20.5   863 298   36.0  20.3   869 298   34.7  21.0   844 295  
eca-rers2012/Problem03_label43_false-unreach-call.c 25.4  13.3   782 230   26.7  13.5   802 221   26.5  13.6   789 216   26.1  13.3   750 224  
eca-rers2012/Problem03_label45_false-unreach-call.c 41.0  27.0   860 304   39.1  26.3   823 334   41.0  26.5   851 362   40.8  26.1   830 340  
eca-rers2012/Problem03_label50_false-unreach-call.c 26.2  12.1   764 220   23.3  11.6   764 206   25.9  11.7   788 214   26.3  12.4   813 204  
eca-rers2012/Problem03_label52_false-unreach-call.c 41.2  26.9   885 430   42.4  27.9   852 375   39.4  27.3   835 347   39.9  26.1   845 423  
eca-rers2012/Problem04_label04_false-unreach-call.c 904    884     3300 6810   904    883     3320 6400   903    883     3350 6630   904    881     3420 6880  
eca-rers2012/Problem04_label06_false-unreach-call.c 904    885     3230 6630   904    884     3280 6150   904    885     3230 6860   912    893     3190 6130  
eca-rers2012/Problem04_label09_false-unreach-call.c 903    883     3000 5620   904    885     3070 6370   904    885     3040 5900   904    885     3010 6170  
eca-rers2012/Problem04_label11_false-unreach-call.c 904    885     3170 5540   903    884     3130 7470   904    884     3180 6460   904    884     3100 5980  
eca-rers2012/Problem04_label12_false-unreach-call.c 904    883     3220 8020   905    884     3090 6220   904    885     3140 5880   904    883     3180 7770  
eca-rers2012/Problem04_label13_false-unreach-call.c 904    884     3140 5620   904    884     3120 6030   904    884     3290 6060   904    883     3280 7600  
eca-rers2012/Problem04_label14_false-unreach-call.c 903    884     2680 5220   904    885     2760 5660   904    883     2950 6180   903    885     2740 4840  
eca-rers2012/Problem04_label15_false-unreach-call.c 904    884     3040 5570   904    885     3060 5640   905    885     3110 4940   904    884     3090 5680  
eca-rers2012/Problem04_label17_false-unreach-call.c 903    885     2870 5070   912    894     2960 5300   903    881     2960 5230   904    884     2900 5170  
eca-rers2012/Problem04_label18_false-unreach-call.c 904    883     3270 4930   904    885     3340 5380   904    886     3320 5060   904    884     3330 5300  
eca-rers2012/Problem04_label19_false-unreach-call.c 904    885     2960 5480   904    884     3060 7480   904    883     2980 6540   904    884     3010 5110  
eca-rers2012/Problem04_label26_false-unreach-call.c 904    883     2910 7620   905    884     2870 5190   904    885     2850 5330   904    884     2870 5480  
eca-rers2012/Problem04_label27_false-unreach-call.c 904    882     3020 5470   904    885     2960 7800   904    885     3000 5520   904    885     3130 5660  
eca-rers2012/Problem04_label31_false-unreach-call.c 904    885     3040 6760   903    884     3090 5440   903    884     3130 5200   904    884     3100 5490  
eca-rers2012/Problem04_label32_false-unreach-call.c 904    883     3520 6260   904    886     3380 5740   904    883     3380 5270   904    885     3370 5760  
eca-rers2012/Problem04_label35_false-unreach-call.c 904    885     3270 7790   904    883     3270 6020   904    885     3400 5370   904    884     3260 5440  
eca-rers2012/Problem04_label36_false-unreach-call.c 904    885     3060 5510   904    885     3000 5850   904    881     3100 6770   905    885     3170 6420  
eca-rers2012/Problem04_label38_false-unreach-call.c 904    884     3050 6210   909    889     2980 6360   905    885     3030 5970   904    886     2920 5230  
eca-rers2012/Problem04_label39_false-unreach-call.c 904    885     2920 6040   904    886     3130 7620   904    886     3050 5620   904    884     2910 5320  
eca-rers2012/Problem04_label40_false-unreach-call.c 903    883     2930 5410   903    886     2820 5250   904    885     2980 6790   903    885     2930 6330  
eca-rers2012/Problem04_label45_false-unreach-call.c 904    883     3120 5530   904    883     3200 8610   904    885     3180 6010   904    884     3130 5710  
eca-rers2012/Problem04_label52_false-unreach-call.c 904    884     3260 7200   904    884     3320 5430   903    883     3400 5480   903    883     3330 7560  
eca-rers2012/Problem04_label55_false-unreach-call.c 904    884     3120 5840   904    885     3000 5350   904    885     3060 6130   904    885     3050 5370  
eca-rers2012/Problem04_label58_false-unreach-call.c 905    885     2940 5220   903    883     3050 6290   903    883     3060 5640   904    884     2980 5680  
eca-rers2012/Problem05_label00_false-unreach-call.c 904    880     3480 6720   905    882     3450 6210   905    882     3480 5660   904    884     3560 6280  
eca-rers2012/Problem05_label01_false-unreach-call.c 905    880     3480 8020   905    883     3500 5930   906    882     3610 5830   905    882     3460 6850  
eca-rers2012/Problem05_label11_false-unreach-call.c 873    847     3590 5520   802    777     3790 6400   870    844     3540 4930   816    790     3710 6740  
eca-rers2012/Problem05_label13_false-unreach-call.c 867    842     3630 5700   879    854     3610 4870   857    831     3530 6200   850    825     3610 6560  
eca-rers2012/Problem05_label15_false-unreach-call.c 883    859     3810 7750   905    880     3620 6190   890    862     3830 8090   905    880     3580 6210  
eca-rers2012/Problem05_label18_false-unreach-call.c 904    882     3330 5090   894    869     3730 5910   868    840     3470 6400   845    819     3720 6910  
eca-rers2012/Problem05_label24_false-unreach-call.c 889    864     3540 6010   904    882     3330 5820   905    880     3370 5220   899    873     3620 5940  
eca-rers2012/Problem05_label26_false-unreach-call.c 873    848     3400 7640   888    860     3530 5670   857    829     3400 6780   864    839     3450 6580  
eca-rers2012/Problem05_label30_false-unreach-call.c 871    846     3560 7730   890    864     3640 6790   906    883     3420 4990   906    881     3370 4980  
eca-rers2012/Problem05_label32_false-unreach-call.c 889    863     3600 5280   881    855     3660 5060   877    850     3560 5340   889    862     3660 5250  
eca-rers2012/Problem05_label33_false-unreach-call.c 864    838     3590 6110   891    864     3720 4680   890    863     3570 5320   876    850     3690 5310  
eca-rers2012/Problem05_label36_false-unreach-call.c 895    870     3760 5030   836    811     3910 6570   894    866     3660 6090   886    860     3850 5150  
eca-rers2012/Problem05_label37_false-unreach-call.c 900    873     3610 5610   904    880     3400 5060   905    881     3290 4300   890    865     3620 5210  
eca-rers2012/Problem05_label38_false-unreach-call.c 831    805     3710 6750   866    841     3750 5750   891    863     3760 6240   905    878     3720 5360  
eca-rers2012/Problem05_label39_false-unreach-call.c 904    879     3530 6040   906    883     3630 6260   905    883     3500 5670   904    881     3660 7210  
eca-rers2012/Problem05_label40_false-unreach-call.c 862    836     3760 6610   905    880     3230 5890   906    882     3230 6110   905    882     3250 5700  
eca-rers2012/Problem05_label41_false-unreach-call.c 889    865     3670 5580   905    881     3390 5510   905    883     3410 5530   883    856     3600 7900  
eca-rers2012/Problem05_label44_false-unreach-call.c 853    828     3630 5330   887    859     3610 5830   825    800     3610 5960   869    843     3640 5670  
eca-rers2012/Problem05_label47_false-unreach-call.c 846    822     3450 6080   867    842     3700 6140   875    850     3680 5820   873    846     3480 6350  
eca-rers2012/Problem05_label48_false-unreach-call.c 875    850     3690 7910   906    882     3490 5970   882    856     3740 7210   908    883     3710 6650  
eca-rers2012/Problem05_label51_false-unreach-call.c 884    858     3610 6720   899    871     3880 6280   825    799     3710 7250   842    817     3680 7440  
eca-rers2012/Problem05_label55_false-unreach-call.c 865    838     3730 5460   810    783     3570 5870   848    821     3670 5220   822    794     3730 6620  
eca-rers2012/Problem05_label57_false-unreach-call.c 889    861     3950 6230   905    881     3430 5830   905    882     3510 5150   907    883     3410 5460  
eca-rers2012/Problem05_label58_false-unreach-call.c 905    881     3360 6780   890    864     3810 5530   848    822     3700 6430   905    879     3560 5550  
eca-rers2012/Problem06_label00_false-unreach-call.c 296    275     2750 2020   292    268     2710 1960   301    280     2690 1960   300    278     2780 2200  
eca-rers2012/Problem06_label01_false-unreach-call.c 300    278     2690 1720   302    280     2700 1550   301    279     2680 2110   297    274     2740 2120  
eca-rers2012/Problem06_label02_false-unreach-call.c 288    265     2780 2000   285    262     2700 2030   288    265     2740 1920   275    253     2730 2340  
eca-rers2012/Problem06_label04_false-unreach-call.c 313    289     2640 1910   313    293     2810 2410   302    280     2780 1940   307    286     2760 1980  
eca-rers2012/Problem06_label05_false-unreach-call.c 279    257     2710 1840   277    254     2690 2160   274    251     2730 1970   283    261     2750 1420  
eca-rers2012/Problem06_label09_false-unreach-call.c 311    289     2780 2060   293    271     2900 2250   310    287     2800 2010   304    283     2770 2380  
eca-rers2012/Problem06_label10_false-unreach-call.c 323    300     2760 2420   334    312     2800 1830   317    295     2830 2550   334    313     2810 2300  
eca-rers2012/Problem06_label11_false-unreach-call.c 276    254     2720 1860   263    242     2770 2160   278    258     2710 1870   263    241     2750 1930  
eca-rers2012/Problem06_label12_false-unreach-call.c 290    268     2740 1980   281    258     2790 2080   297    273     2850 2110   282    261     2790 2020  
eca-rers2012/Problem06_label15_false-unreach-call.c 278    255     2700 1850   282    257     2760 1930   267    244     2790 2070   279    257     2770 1880  
eca-rers2012/Problem06_label20_false-unreach-call.c 312    291     2770 2280   308    288     2840 2440   323    301     2900 2170   316    296     2820 2310  
eca-rers2012/Problem06_label21_false-unreach-call.c 256    233     2790 1850   257    234     2800 2190   267    245     2820 1790   265    242     2830 1760  
eca-rers2012/Problem06_label24_false-unreach-call.c 327    304     2720 2220   325    302     2760 2190   317    296     2700 2380   315    291     2760 2680  
eca-rers2012/Problem06_label27_false-unreach-call.c 278    255     2640 2010   277    255     2710 1780   262    239     2720 2030   270    248     2670 2150  
eca-rers2012/Problem06_label29_false-unreach-call.c 264    242     2770 2110   275    248     2820 1880   266    244     2730 1760   258    236     2710 1800  
eca-rers2012/Problem06_label33_false-unreach-call.c 211    189     2690 1570   211    190     2670 1580   219    196     2740 1490   215    194     2680 1510  
eca-rers2012/Problem06_label36_false-unreach-call.c 274    252     2680 2010   285    262     2730 2010   286    262     2740 1850   274    251     2700 2010  
eca-rers2012/Problem06_label37_false-unreach-call.c 263    242     2750 1750   262    240     2780 1580   262    239     2740 1690   266    243     2820 1830  
eca-rers2012/Problem06_label38_false-unreach-call.c 282    259     2870 1820   275    254     2740 1920   283    259     2710 1780   274    253     2700 2150  
eca-rers2012/Problem06_label44_false-unreach-call.c 277    255     2790 1850   259    238     2880 2370   262    241     2810 1980   276    254     2870 2150  
eca-rers2012/Problem06_label47_false-unreach-call.c 252    228     2770 1820   253    231     2630 1830   254    233     2730 1900   263    240     2660 1430  
eca-rers2012/Problem06_label48_false-unreach-call.c 273    252     2790 1790   259    237     2740 2080   275    250     2760 1780   272    250     2720 1800  
eca-rers2012/Problem06_label56_false-unreach-call.c 263    239     2760 1800   271    249     2860 1680   252    228     2820 1960   263    241     2770 1630  
eca-rers2012/Problem06_label58_false-unreach-call.c 283    260     2770 1980   283    261     2700 1930   270    248     2820 2190   290    267     2690 2300  
eca-rers2012/Problem06_label59_false-unreach-call.c 287    264     2770 2130   266    244     2780 2380   285    261     2740 2130   279    258     2760 1880  
eca-rers2012/Problem07_label03_false-unreach-call.c 912    873     7190 6360   912    869     7480 5340   912    872     7140 5440   912    871     7130 5500  
eca-rers2012/Problem07_label05_false-unreach-call.c 912    858     7500 6260   912    858     7460 5670   912    859     7560 7300   912    872     7110 5870  
eca-rers2012/Problem07_label06_false-unreach-call.c 912    858     7570 5540   912    870     7700 5520   912    870     7580 5960   912    873     7420 5740  
eca-rers2012/Problem07_label07_false-unreach-call.c 912    869     7790 5850   912    858     7590 5810   912    856     7650 5790   912    870     7430 7890  
eca-rers2012/Problem07_label09_false-unreach-call.c 912    870     7570 7720   912    858     7480 6180   912    868     7440 5930   912    869     7440 6480  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    867     7610 9300   912    871     7260 6240   912    867     7510 7050   912    869     7270 8450  
eca-rers2012/Problem07_label15_false-unreach-call.c 912    868     7440 6080   912    872     7040 5770   912    869     7410 6190   912    872     7100 6350  
eca-rers2012/Problem07_label18_false-unreach-call.c 912    868     7670 5530   912    870     7420 7450   912    870     7620 5950   912    872     7490 5300  
eca-rers2012/Problem07_label19_false-unreach-call.c 910    867     6710 6530   911    854     6710 8220   924    865     7110 7690   911    855     6750 7070  
eca-rers2012/Problem07_label20_false-unreach-call.c 910    864     6550 5510   910    864     6740 5280   910    856     6810 4970   912    868     7540 8140  
eca-rers2012/Problem07_label23_false-unreach-call.c 922    865     6820 5540   912    868     7540 6970   920    862     6760 6080   909    866     6480 6810  
eca-rers2012/Problem07_label30_false-unreach-call.c 912    872     7270 5620   912    867     7600 6830   912    870     7270 5690   912    874     7200 7840  
eca-rers2012/Problem07_label31_false-unreach-call.c 909    863     6960 8030   909    863     7030 5950   909    853     7120 6130   922    865     6830 6170  
eca-rers2012/Problem07_label35_false-unreach-call.c 912    858     7630 5040   912    870     7710 7180   912    870     7440 8040   912    868     7790 5820  
eca-rers2012/Problem07_label36_false-unreach-call.c 912    858     7620 5780   912    868     7560 6220   912    871     7290 7180   912    867     7530 5410  
eca-rers2012/Problem07_label37_false-unreach-call.c 909    865     6950 6010   909    861     6840 5290   922    863     7160 6620   909    866     6690 6490  
eca-rers2012/Problem07_label39_false-unreach-call.c 912    869     7490 6400   912    868     7430 7210   912    868     7680 6700   912    858     7720 6150  
eca-rers2012/Problem07_label40_false-unreach-call.c 910    868     6490 5730   923    866     6830 6090   909    852     6730 4960   922    866     6750 6210  
eca-rers2012/Problem07_label42_false-unreach-call.c 912    867     7490 5570   912    868     7510 5900   912    869     7580 6670   912    873     7290 7220  
eca-rers2012/Problem07_label44_false-unreach-call.c 912    873     7210 5830   912    872     7160 6220   912    867     7360 5650   912    868     7390 7440  
eca-rers2012/Problem07_label46_false-unreach-call.c 912    857     7750 6200   904    862     6700 5760   912    873     7420 6660   912    870     7370 8550  
eca-rers2012/Problem07_label47_false-unreach-call.c 911    863     6700 6630   909    852     6580 6410   910    866     6480 6710   910    864     6570 6070  
eca-rers2012/Problem07_label48_false-unreach-call.c 912    869     7320 5610   922    863     6870 5390   912    869     7700 7270   912    869     7490 8300  
eca-rers2012/Problem07_label58_false-unreach-call.c 912    873     7410 6300   912    867     7680 6300   912    870     7640 5440   912    858     7760 5960  
eca-rers2012/Problem08_label01_false-unreach-call.c 912    862     8070 6310   912    861     8640 6430   912    860     8750 7550   912    864     8950 7930  
eca-rers2012/Problem08_label02_false-unreach-call.c 912    864     8250 5960   912    863     8030 4780   912    863     8300 6400   912    853     7940 5370  
eca-rers2012/Problem08_label04_false-unreach-call.c 912    864     8250 7560   912    854     8070 8270   912    863     8440 6230   912    865     8510 5490  
eca-rers2012/Problem08_label05_false-unreach-call.c 913    856     7840 6230   912    865     8340 5120   912    862     8060 6110   912    863     8100 7110  
eca-rers2012/Problem08_label06_false-unreach-call.c 912    855     8330 6700   912    853     8370 6970   912    863     8660 7060   912    860     8710 8450  
eca-rers2012/Problem08_label07_false-unreach-call.c 912    853     7600 7500   912    856     7660 6540   912    865     8260 6610   912    860     8370 9070  
eca-rers2012/Problem08_label10_false-unreach-call.c 912    854     7450 6890   912    863     7840 7920   912    862     8100 7830   912    867     7610 8810  
eca-rers2012/Problem08_label13_false-unreach-call.c 912    861     8540 6260   912    865     8420 6190   912    861     8230 5050   912    863     8110 5730  
eca-rers2012/Problem08_label15_false-unreach-call.c 912    861     8520 6250   912    860     8810 7040   912    862     8410 7330   912    856     7770 6290  
eca-rers2012/Problem08_label24_false-unreach-call.c 912    860     8800 7490   912    863     8390 8150   912    860     8630 5380   912    863     8330 5100  
eca-rers2012/Problem08_label25_false-unreach-call.c 912    860     8640 5890   912    862     7900 6000   912    864     8630 5700   912    862     8150 5470  
eca-rers2012/Problem08_label26_false-unreach-call.c 912    860     8250 5680   912    864     8480 6300   912    862     8610 6200   912    865     8360 6090  
eca-rers2012/Problem08_label28_false-unreach-call.c 912    860     8550 5680   912    865     8600 6110   912    854     7830 7350   912    862     8450 5350  
eca-rers2012/Problem08_label29_false-unreach-call.c 912    864     8660 6050   912    864     8120 6170   912    862     8330 9300   912    860     8710 7760  
eca-rers2012/Problem08_label34_false-unreach-call.c 912    859     8460 6320   912    862     8640 6700   912    860     8550 5800   912    860     8470 5420  
eca-rers2012/Problem08_label37_false-unreach-call.c 912    853     8310 7710   912    862     9020 9020   912    860     9040 6220   912    862     8810 6780  
eca-rers2012/Problem08_label43_false-unreach-call.c 912    861     8550 6270   912    860     8350 5970   912    861     8120 6800   912    863     8320 6640  
eca-rers2012/Problem08_label46_false-unreach-call.c 912    862     8550 7930   912    856     8200 8760   912    860     8730 5910   912    855     8110 7750  
eca-rers2012/Problem08_label48_false-unreach-call.c 912    859     8820 6550   912    863     8260 6820   912    860     8660 7390   912    860     8690 8610  
eca-rers2012/Problem08_label49_false-unreach-call.c 912    862     8730 8350   912    860     8930 5950   912    854     8090 5800   912    863     8460 5960  
eca-rers2012/Problem08_label50_false-unreach-call.c 912    854     7670 6320   912    865     8240 6530   912    853     7810 7360   912    864     7990 6590  
eca-rers2012/Problem08_label51_false-unreach-call.c 912    861     10200 8150   912    864     9980 8260   912    854     9700 6880   912    865     10100 7760  
eca-rers2012/Problem08_label55_false-unreach-call.c 912    859     8140 6720   912    861     8000 6510   912    859     7940 6780   912    865     8260 6580  
eca-rers2012/Problem08_label59_false-unreach-call.c 912    858     8710 7090   912    860     8670 6170   912    860     8730 5920   912    862     8400 6130  
eca-rers2012/Problem09_label02_false-unreach-call.c 912    862     10700 5500   912    854     10800 5640   912    854     11000 5700   912    851     10700 5450  
eca-rers2012/Problem09_label03_false-unreach-call.c 912    851     10800 7450   912    854     10800 10100   912    856     10800 7810   912    854     10800 10100  
eca-rers2012/Problem09_label06_false-unreach-call.c 912    857     9720 6610   912    852     10700 7560   912    854     10900 6470   912    852     10900 7120  
eca-rers2012/Problem09_label08_false-unreach-call.c 912    854     9360 7440   912    852     9340 7100   912    852     9630 8300   912    850     9500 8160  
eca-rers2012/Problem09_label10_false-unreach-call.c 912    854     10600 6550   912    851     10400 5910   912    853     10800 6130   912    853     10600 6820  
eca-rers2012/Problem09_label11_false-unreach-call.c 912    855     10800 8620   912    853     10900 8410   912    854     11100 7140   912    854     10900 8540  
eca-rers2012/Problem09_label15_false-unreach-call.c 912    852     8860 5940   912    855     9410 6080   912    853     9550 7870   912    854     9450 5630  
eca-rers2012/Problem09_label19_false-unreach-call.c 912    854     10800 6380   912    855     10900 6130   912    851     11000 6040   912    853     11000 7180  
eca-rers2012/Problem09_label20_false-unreach-call.c 912    853     9450 5590   912    856     9500 4810   912    851     9590 4960   912    853     9610 4850  
eca-rers2012/Problem09_label32_false-unreach-call.c 912    856     10800 6260   912    856     10800 6330   912    852     10200 5940   912    854     10900 5700  
eca-rers2012/Problem09_label34_false-unreach-call.c 912    855     10900 6250   912    855     10900 6130   912    852     11000 6340   912    851     11100 8310  
eca-rers2012/Problem09_label35_false-unreach-call.c 912    852     9220 7810   912    853     9180 7050   912    852     9300 6530   912    859     8020 9230  
eca-rers2012/Problem09_label36_false-unreach-call.c 912    858     9430 7450   912    854     9380 7990   912    853     9560 7700   912    856     9640 9570  
eca-rers2012/Problem09_label38_false-unreach-call.c 912    854     10700 8490   912    854     10700 6760   912    854     10700 5920   912    854     10800 6300  
eca-rers2012/Problem09_label41_false-unreach-call.c 912    854     10800 6550   912    850     10700 6540   912    853     11000 7230   912    858     9700 7630  
eca-rers2012/Problem09_label44_false-unreach-call.c 912    853     9150 6350   912    855     9230 7120   912    853     9340 6410   912    861     9240 6150  
eca-rers2012/Problem09_label46_false-unreach-call.c 912    847     9120 6090   912    850     9010 6350   912    856     9090 7420   912    855     9250 7120  
eca-rers2012/Problem09_label47_false-unreach-call.c 912    856     9070 6950   912    852     9130 6350   912    855     9050 6120   912    855     9310 6550  
eca-rers2012/Problem09_label51_false-unreach-call.c 912    854     10800 6560   912    856     10700 6140   912    852     10800 5790   912    856     11000 5820  
eca-rers2012/Problem09_label53_false-unreach-call.c 912    854     9070 7040   912    854     9100 5850   912    855     9260 6310   912    855     9220 6550  
eca-rers2012/Problem09_label54_false-unreach-call.c 912    854     9470 7370   912    854     9480 7490   912    852     9560 5940   912    853     9660 5890  
eca-rers2012/Problem09_label56_false-unreach-call.c 912    857     9290 7280   912    851     9260 7280   912    854     9430 7060   912    856     9240 7240  
eca-rers2012/Problem09_label57_false-unreach-call.c 912    853     9080 8810   912    854     9110 8040   912    857     9120 7390   912    856     9290 8320  
eca-rers2012/Problem09_label59_false-unreach-call.c 912    854     10700 6010   912    855     10700 8130   912    854     10800 8320   912    855     10700 7610  
eca-rers2012/Problem10_label12_false-unreach-call.c 901    893     559 10800   901    892     573 10400   901    893     567 10800   902    893     550 11300  
eca-rers2012/Problem10_label15_false-unreach-call.c 15.5  8.00  532 150   17.1  8.11  523 147   16.7  8.04  535 150   16.9  8.11  520 175  
eca-rers2012/Problem10_label24_false-unreach-call.c 50.1  41.8   541 492   50.9  42.0   567 508   51.0  41.9   549 530   50.7  42.3   556 524  
eca-rers2012/Problem10_label26_false-unreach-call.c 901    894     590 13200   901    893     593 10700   901    894     597 11300   901    894     593 12700  
eca-rers2012/Problem10_label28_false-unreach-call.c 18.6  8.47  531 163   17.1  8.38  542 163   17.2  8.48  529 181   16.2  8.37  540 165  
eca-rers2012/Problem10_label29_false-unreach-call.c 17.7  8.86  542 169   17.1  8.85  519 164   18.2  8.88  528 177   17.8  8.82  525 181  
eca-rers2012/Problem10_label41_false-unreach-call.c 11.6  4.43  491 95.5 11.4  4.52  491 102   11.8  4.58  497 98.7 11.9  4.48  479 109  
eca-rers2012/Problem10_label42_false-unreach-call.c 10.5  3.22  474 80.5 9.44 3.18  442 86.5 10.5  3.21  475 77.1 10.2  3.19  462 85.4
eca-rers2012/Problem10_label46_false-unreach-call.c 7.16 2.13  335 59.7 7.20 2.18  347 59.8 7.09 2.15  328 59.1 7.52 2.33  333 58.2
eca-rers2012/Problem10_label47_false-unreach-call.c 9.64 2.92  474 76.1 9.74 2.91  487 86.4 9.83 2.98  458 75.3 9.61 2.89  471 73.7
eca-rers2012/Problem10_label48_false-unreach-call.c 575    564     665 6890   574    563     656 6950   571    561     651 8520   576    565     668 7490  
eca-rers2012/Problem10_label50_false-unreach-call.c 14.3  5.98  519 128   16.1  6.23  532 136   14.5  5.95  534 131   14.1  5.86  534 123  
eca-rers2012/Problem10_label55_false-unreach-call.c 10.5  3.13  474 89.2 10.6  3.25  476 79.7 10.8  3.21  482 88.9 9.91 3.21  476 83.3
eca-rers2012/Problem10_label57_false-unreach-call.c 14.3  5.69  519 117   14.1  5.66  520 117   14.1  5.67  532 137   14.9  5.71  532 124  
eca-rers2012/Problem10_label58_false-unreach-call.c 15.3  6.13  536 137   14.2  5.95  531 128   14.7  5.95  528 120   15.0  6.38  530 140  
eca-rers2012/Problem11_label00_false-unreach-call.c 39.0  26.9   666 476   40.6  26.8   667 432   41.1  28.2   660 389   38.6  27.4   647 373  
eca-rers2012/Problem11_label08_false-unreach-call.c 16.8  5.37  567 142   16.0  4.81  562 117   14.1  4.74  544 111   14.8  4.72  551 121  
eca-rers2012/Problem11_label14_false-unreach-call.c 16.5  5.78  560 138   16.9  5.90  566 148   17.5  5.92  569 146   17.4  6.01  561 132  
eca-rers2012/Problem11_label15_false-unreach-call.c 16.2  5.25  558 117   15.0  5.14  551 122   16.7  5.38  558 141   16.3  5.49  554 135  
eca-rers2012/Problem11_label20_false-unreach-call.c 26.9  15.2   674 236   29.6  15.2   662 243   27.2  15.9   646 241   26.7  16.2   641 232  
eca-rers2012/Problem11_label29_false-unreach-call.c 16.3  5.67  560 135   16.9  5.63  571 154   16.6  5.66  569 136   16.5  6.20  559 140  
eca-rers2012/Problem11_label31_false-unreach-call.c 28.5  17.6   651 278   29.1  17.7   640 265   33.6  19.2   667 268   28.2  17.2   653 252  
eca-rers2012/Problem11_label34_false-unreach-call.c 31.2  17.6   663 241   32.9  17.4   667 288   28.3  17.1   650 254   28.0  17.1   649 245  
eca-rers2012/Problem11_label36_false-unreach-call.c 17.2  5.77  544 144   19.1  6.60  562 135   18.0  6.22  549 137   17.9  6.34  553 143  
eca-rers2012/Problem11_label39_false-unreach-call.c 29.4  16.9   659 272   31.5  17.5   664 322   30.5  18.2   662 266   29.4  17.8   654 251  
eca-rers2012/Problem11_label42_false-unreach-call.c 15.6  4.83  554 120   16.7  4.96  566 137   15.2  4.80  544 113   15.9  4.84  556 129  
eca-rers2012/Problem11_label43_false-unreach-call.c 15.7  5.69  544 117   15.7  5.67  562 136   19.3  6.27  569 155   18.1  5.77  561 143  
eca-rers2012/Problem11_label49_false-unreach-call.c 18.1  5.66  577 136   14.1  5.05  547 109   16.8  5.35  559 139   16.2  5.36  553 129  
eca-rers2012/Problem11_label51_false-unreach-call.c 17.4  5.49  557 142   15.6  5.27  559 129   15.5  5.25  555 134   16.3  5.41  552 139  
eca-rers2012/Problem11_label58_false-unreach-call.c 14.4  4.97  554 115   17.0  5.11  562 139   17.6  5.35  583 135   17.5  5.22  558 138  
eca-rers2012/Problem12_label00_false-unreach-call.c 902    888     1880 6640   902    886     1840 6140   902    886     1800 8870   902    885     1830 7140  
eca-rers2012/Problem12_label03_false-unreach-call.c 902    886     1850 7580   902    886     1820 7980   902    885     1800 6350   902    885     1800 8040  
eca-rers2012/Problem12_label06_false-unreach-call.c 902    885     1800 7170   902    886     1850 5230   902    886     1740 7250   902    886     1780 8580  
eca-rers2012/Problem12_label07_false-unreach-call.c 902    886     1840 6940   902    886     1860 6960   902    885     1890 6870   902    887     1990 6870  
eca-rers2012/Problem12_label08_false-unreach-call.c 902    886     1820 6640   902    885     1810 7560   902    886     1820 5670   902    886     1700 7410  
eca-rers2012/Problem12_label10_false-unreach-call.c 902    886     1830 8730   902    886     1760 7710   902    887     1870 6880   902    885     1840 5970  
eca-rers2012/Problem12_label13_false-unreach-call.c 902    885     1870 7460   902    886     1820 7820   902    886     1870 6700   902    886     1980 6960  
eca-rers2012/Problem12_label19_false-unreach-call.c 902    886     1950 6210   902    886     2010 6950   902    887     1850 6710   902    886     1880 6490  
eca-rers2012/Problem12_label20_false-unreach-call.c 902    886     1800 6680   902    887     1900 8950   902    885     1820 8860   902    886     1820 8980  
eca-rers2012/Problem12_label21_false-unreach-call.c 902    886     1740 6650   902    886     1750 8730   902    886     1770 7240   902    884     1810 7300  
eca-rers2012/Problem12_label25_false-unreach-call.c 902    885     1810 7950   902    886     1820 8220   902    884     1840 6450   902    886     1820 8240  
eca-rers2012/Problem12_label28_false-unreach-call.c 902    885     1930 8130   902    885     1830 6480   902    887     1880 8000   902    885     1740 6230  
eca-rers2012/Problem12_label30_false-unreach-call.c 902    887     1750 6770   902    885     1890 6400   902    886     1800 6410   902    886     1820 7130  
eca-rers2012/Problem12_label34_false-unreach-call.c 902    885     1880 7110   902    887     1880 7370   902    886     1840 6910   902    886     1790 7300  
eca-rers2012/Problem12_label35_false-unreach-call.c 902    885     1890 6970   902    885     1800 7540   902    886     1810 7250   902    886     1780 6240  
eca-rers2012/Problem12_label37_false-unreach-call.c 902    886     1840 6970   902    885     1790 6460   902    886     1830 6800   902    885     1850 7070  
eca-rers2012/Problem12_label38_false-unreach-call.c 612    593     1920 3740   603    587     1820 6010   602    584     1830 5220   590    573     1870 4370  
eca-rers2012/Problem12_label39_false-unreach-call.c 902    885     1770 8060   902    887     1810 9630   902    886     1810 8500   902    886     1820 7100  
eca-rers2012/Problem12_label40_false-unreach-call.c 902    885     1880 6710   902    886     1930 7220   902    885     1810 6250   903    886     1930 9050  
eca-rers2012/Problem12_label42_false-unreach-call.c 902    886     1940 7340   902    885     1940 6250   902    886     1870 6550   902    886     1880 6340  
eca-rers2012/Problem12_label48_false-unreach-call.c 902    887     1910 6830   902    886     1780 6740   902    886     1880 6660   902    886     1840 7110  
eca-rers2012/Problem12_label50_false-unreach-call.c 902    883     1830 6870   902    887     1850 7140   902    885     1790 6720   902    887     1820 7770  
eca-rers2012/Problem12_label51_false-unreach-call.c 902    885     1800 8910   902    886     1880 6030   902    885     1860 6570   902    886     1870 6830  
eca-rers2012/Problem12_label52_false-unreach-call.c 902    887     1870 6700   902    886     1890 7690   903    887     1770 6310   902    884     1860 6930  
eca-rers2012/Problem12_label55_false-unreach-call.c 902    885     1820 6510   902    883     1820 6400   902    885     1810 5850   903    887     1920 7590  
eca-rers2012/Problem13_label04_false-unreach-call.c 902    885     1980 7320   902    887     1930 7390   902    887     1940 7300   903    886     1970 7410  
eca-rers2012/Problem13_label06_false-unreach-call.c 902    886     1830 8020   902    885     1840 6190   902    885     1890 6900   902    885     1840 7020  
eca-rers2012/Problem13_label07_false-unreach-call.c 902    886     1890 8030   902    886     1910 8600   902    887     1880 9790   902    885     1860 8170  
eca-rers2012/Problem13_label11_false-unreach-call.c 902    887     1860 6760   902    887     1880 7220   902    885     1900 7390   902    886     1840 6980  
eca-rers2012/Problem13_label12_false-unreach-call.c 902    886     1760 7840   902    886     1790 6650   902    887     1790 9160   902    886     1800 6760  
eca-rers2012/Problem13_label16_false-unreach-call.c 902    886     1900 5930   902    886     1910 6790   902    886     1960 7690   902    885     1900 6730  
eca-rers2012/Problem13_label19_false-unreach-call.c 902    886     1780 8670   902    885     1770 9330   902    887     1770 7700   902    885     1800 7060  
eca-rers2012/Problem13_label21_false-unreach-call.c 902    885     1800 6870   902    886     1800 8190   902    886     1790 6650   902    887     1790 6880  
eca-rers2012/Problem13_label23_false-unreach-call.c 902    886     1740 6380   902    886     1790 7120   902    885     1760 6760   902    886     1750 8500  
eca-rers2012/Problem13_label24_false-unreach-call.c 902    886     1880 6790   903    886     1900 8380   902    886     1880 6250   902    886     1860 6640  
eca-rers2012/Problem13_label25_false-unreach-call.c 902    885     1860 5950   902    886     1810 7980   902    887     1860 6560   903    885     1890 6280  
eca-rers2012/Problem13_label28_false-unreach-call.c 902    887     1500 7050   902    887     1450 8630   902    887     1470 6600   902    887     1510 9520  
eca-rers2012/Problem13_label29_false-unreach-call.c 902    886     1520 5610   902    885     1510 7470   902    887     1500 7170   902    885     1470 7640  
eca-rers2012/Problem13_label30_false-unreach-call.c 902    886     1320 6820   902    886     1310 7310   902    886     1370 6790   902    884     1370 6770  
eca-rers2012/Problem13_label32_false-unreach-call.c 903    886     1850 8500   902    884     1840 5620   902    886     1880 7430   902    886     1830 8140  
eca-rers2012/Problem13_label35_false-unreach-call.c 902    887     1470 8320   902    884     1440 7540   902    886     1430 8650   902    888     1440 11400  
eca-rers2012/Problem13_label36_false-unreach-call.c 902    887     1310 7260   902    886     1330 7890   902    887     1390 10600   902    885     1360 8320  
eca-rers2012/Problem13_label40_false-unreach-call.c 902    887     1850 6280   902    887     1820 6680   903    886     1880 5920   902    886     1840 6720  
eca-rers2012/Problem13_label43_false-unreach-call.c 902    886     1890 6360   902    885     1840 7120   902    887     1830 7890   902    884     1880 6670  
eca-rers2012/Problem13_label44_false-unreach-call.c 902    885     1800 6110   902    887     1810 6570   902    885     1790 6420   902    886     1780 6520  
eca-rers2012/Problem13_label45_false-unreach-call.c 902    886     1890 6610   902    888     1910 7760   902    886     1930 6310   902    886     1920 6490  
eca-rers2012/Problem13_label48_false-unreach-call.c 902    887     1870 6990   902    885     1880 7560   902    886     1900 6440   902    887     1880 6750  
eca-rers2012/Problem13_label51_false-unreach-call.c 902    887     1870 6940   902    885     1850 6750   902    886     1810 5550   902    885     1820 6670  
eca-rers2012/Problem13_label54_false-unreach-call.c 902  &#