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-20 05:51:52 CET
Run set princess-q_auflia princess-qf_auflia princess-qf_uflia princess-q_uflia
Options -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -bmc -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=INTEGER -setprop solver.solver=princess -heap 13000M -stack 100M -setprop cpa.predicate.useQuantifiersOnArrays=true -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -bmc -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=INTEGER -setprop solver.solver=princess -heap 13000M -stack 100M -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=INTEGER -setprop solver.solver=princess -heap 13000M -stack 100M -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=INTEGER -setprop solver.solver=princess -heap 13000M -stack 100M -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 908    466    8350 7240   903    456    7860 7160   902    465    8240 8080   903    476    8490 9150  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    810    5000 11100   901    806    4860 12700   910    825    4820 10200   904    830    4900 11400  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    802    4960 10500   901    807    4920 10700   906    817    4860 10100   907    830    4960 11400  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 903    821    4790 13000   902    822    4750 11100   901    819    4830 12200   902    811    4740 10900  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 902    819    4800 11200   901    820    4770 10400   903    820    4780 10700   901    813    4850 11000  
array-examples/standard_allDiff2_false-unreach-call_ground.i 904    866    4960 12000   901    861    4930 13100   903    862    4960 11200   904    866    4940 12300  
array-examples/standard_copy1_false-unreach-call_ground.i 901    824    4760 11300   901    823    4760 11700   901    844    2190 12700   901    826    3930 11800  
array-examples/standard_copy2_false-unreach-call_ground.i 901    825    4780 10700   901    825    4830 10800   901    826    4820 12100   901    833    4920 11700  
array-examples/standard_copy3_false-unreach-call_ground.i 901    827    4840 12500   901    825    4840 12900   901    817    4760 10800   901    828    4830 11500  
array-examples/standard_copy4_false-unreach-call_ground.i 901    825    4860 13000   901    824    4750 11800   901    792    4930 10200   901    831    4140 10300  
array-examples/standard_copy5_false-unreach-call_ground.i 901    823    4860 9080   901    825    4840 10800   901    763    5170 12300   901    830    4740 11600  
array-examples/standard_copy6_false-unreach-call_ground.i 901    824    4840 11200   901    826    4840 11300   901    708    5640 9650   901    827    4750 13200  
array-examples/standard_copy7_false-unreach-call_ground.i 901    826    4840 11800   901    826    4840 12500   901    590    7180 9940   901    829    4790 11100  
array-examples/standard_copy8_false-unreach-call_ground.i 901    826    4880 10900   901    823    4830 10700   901    579    7110 8260   901    829    4490 11500  
array-examples/standard_copy9_false-unreach-call_ground.i 901    826    4870 13600   901    836    4920 13000   901    515    8620 7770   901    829    4830 12100  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    848    1690 12200   901    851    2960 12200   901    846    2410 11700   901    863    4950 12700  
array-examples/standard_init1_false-unreach-call_ground.i 901    855    3580 12400   901    847    2800 11800   901    843    1520 10700   901    863    4950 11700  
array-examples/standard_init2_false-unreach-call_ground.i 901    847    2510 12200   901    847    1940 11500   901    842    2290 10100   901    861    4960 12800  
array-examples/standard_init3_false-unreach-call_ground.i 901    849    3410 12200   901    848    1760 12600   902    844    1580 11700   902    857    5040 12900  
array-examples/standard_init4_false-unreach-call_ground.i 901    855    4360 11000   901    847    1780 12900   901    844    1440 12700   901    861    4940 13100  
array-examples/standard_init5_false-unreach-call_ground.i 901    851    2780 14800   901    849    1780 12500   901    844    2800 11800   901    860    4970 13000  
array-examples/standard_init6_false-unreach-call_ground.i 901    847    1700 11500   901    849    2580 10700   901    844    2450 11900   901    861    4940 13400  
array-examples/standard_init7_false-unreach-call_ground.i 901    847    2790 12000   901    847    2120 11500   901    844    2700 12500   901    864    4940 11900  
array-examples/standard_init8_false-unreach-call_ground.i 901    851    3520 10700   901    849    2640 12200   903    845    2450 13000   901    859    4950 11900  
array-examples/standard_init9_false-unreach-call_ground.i 901    848    3060 11700   901    851    3450 11700   901    844    2880 10200   901    860    4970 14900  
array-examples/standard_minInArray_false-unreach-call_ground.i 902    820    4820 10600   901    820    4850 10700   902    821    4770 11400   901    814    4790 14000  
array-examples/standard_partition_false-unreach-call_ground.i 901    820    4860 10800   901    813    4810 9970   909    823    4810 10700   902    824    4850 11800  
array-examples/standard_running_false-unreach-call.i 901    818    4810 11400   901    820    4900 10600   901    829    4720 11100   901    826    4740 11900  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    867    4940 12700   901    869    4930 11100   901    869    4940 13700   901    865    4930 13200  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    857    4940 12400   901    853    5020 12200   901    850    4750 10200   901    858    4930 11900  
array-examples/relax_true-unreach-call.i 11.5  3.23 503 92.9 12.6  3.54 495 93.2 13.7  3.66 525 99.6 10.9  3.08 486 84.0
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    822    4850 10900   901    826    4910 11500   901    819    4910 11700   903    817    4860 12400  
array-examples/sanfoundry_10_true-unreach-call_ground.i 907    807    5560 12500   906    799    5460 12600   906    801    5650 12300   907    807    5400 11400  
array-examples/sanfoundry_24_true-unreach-call.i 901    859    4930 11100   901    856    5020 11800   901    861    4930 11400   901    862    4930 11700  
array-examples/sanfoundry_27_true-unreach-call_ground.i 904    819    4770 11400   904    820    4850 10700   901    813    4820 11000   901    806    4820 9880  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.46 1.10 264 22.8 2.48 1.12 274 24.0 2.64 1.14 290 23.6 2.63 1.12 275 22.1
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    808    4880 11400   901    805    4850 9880   912    822    4780 11900   906    831    4950 11700  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    817    4780 12800   901    817    4730 11400   901    818    4750 13400   901    811    4780 13700  
array-examples/standard_compareModified_true-unreach-call_ground.i 901    804    4860 11400   901    806    4880 12500   910    823    4760 11500   904    774    5600 12700  
array-examples/standard_compare_true-unreach-call_ground.i 901    825    4780 11900   904    828    4800 11600   901    823    4860 10600   901    819    4810 10700  
array-examples/standard_copy1_true-unreach-call_ground.i 901    828    4820 11500   901    823    4960 12200   901    843    1580 12600   901    829    4750 11900  
array-examples/standard_copy2_true-unreach-call_ground.i 901    826    4870 12600   901    826    4840 12100   901    830    3330 12400   901    831    4700 14300  
array-examples/standard_copy3_true-unreach-call_ground.i 901    828    4820 10300   901    820    4760 12600   901    816    4810 12200   901    830    4720 12400  
array-examples/standard_copy4_true-unreach-call_ground.i 901    824    4830 10800   901    824    4820 13800   901    802    4800 13300   901    829    4690 13000  
array-examples/standard_copy5_true-unreach-call_ground.i 901    840    4900 11700   901    826    4820 11100   901    763    5180 10500   901    831    4740 14500  
array-examples/standard_copy6_true-unreach-call_ground.i 901    837    4990 10900   901    825    4820 12200   901    709    5630 9630   901    829    4720 12600  
array-examples/standard_copy7_true-unreach-call_ground.i 901    822    4870 12400   901    823    4840 10800   901    603    6870 8860   901    829    4780 14300  
array-examples/standard_copy8_true-unreach-call_ground.i 901    824    4860 14000   901    826    4870 12900   901    580    7240 9140   901    828    4790 10800  
array-examples/standard_copy9_true-unreach-call_ground.i 901    835    4950 10900   901    826    4830 11600   913    538    8410 8650   901    828    4810 11600  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    850    3090 12300   901    850    3230 10200   903    848    2480 10700   901    860    4960 12700  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    848    1800 14500   901    851    3120 11900   901    847    3060 12100   902    863    4930 12300  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    848    1860 12200   901    849    3220 11900   901    846    1550 10300   901    859    4960 13600  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    848    3070 12300   901    854    3750 10400   901    846    2300 11400   901    859    4940 12000  
array-examples/standard_find_true-unreach-call_ground.i 901    843    1790 11900   901    844    1760 11300   902    844    1980 12900   901    860    4940 13800  
array-examples/standard_init1_true-unreach-call_ground.i 901    849    3220 11900   901    853    3680 10700   902    845    2340 11300   901    863    4960 12000  
array-examples/standard_init2_true-unreach-call_ground.i 901    848    2800 13800   901    850    1790 12200   901    843    2500 10200   901    861    4970 12300  
array-examples/standard_init3_true-unreach-call_ground.i 901    848    2630 11400   901    848    2590 11700   902    842    1470 11500   902    864    4930 15100  
array-examples/standard_init4_true-unreach-call_ground.i 901    852    4000 12200   901    847    2610 11700   902    846    2250 11700   901    858    4960 11500  
array-examples/standard_init5_true-unreach-call_ground.i 901    848    1930 12500   901    852    3560 14700   901    845    3460 11700   902    864    4960 12900  
array-examples/standard_init6_true-unreach-call_ground.i 901    853    3250 11700   901    848    3040 11200   902    844    2170 11000   901    856    5040 9560  
array-examples/standard_init7_true-unreach-call_ground.i 901    854    3990 12100   901    846    2380 13300   901    841    2300 11300   901    861    4950 11400  
array-examples/standard_init8_true-unreach-call_ground.i 901    848    2850 10200   901    849    2900 11900   902    844    2270 13800   901    862    4940 12200  
array-examples/standard_init9_true-unreach-call_ground.i 901    848    2430 13300   901    850    3150 12800   902    845    2230 11700   901    860    4960 10600  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    820    4760 11500   901    817    4760 12500   901    813    4790 11200   901    814    4770 12100  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    820    4770 11500   901    819    4810 10600   901    815    4840 11700   902    813    4830 10600  
array-examples/standard_palindrome_true-unreach-call_ground.i 902    827    4840 11000   901    827    4800 12500   901    840    2600 12900   901    828    4770 11900  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    809    4800 12600   901    813    4860 11600   901    753    5770 10800   901    822    4900 10900  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    821    4900 10800   901    812    4950 13800   920    780    5260 10500   903    825    4920 11300  
array-examples/standard_partition_true-unreach-call_ground.i 901    815    4810 10000   901    819    4930 10900   911    836    4890 11900   901    827    4920 11900  
array-examples/standard_password_true-unreach-call_ground.i 901    824    4800 10700   904    827    4810 13400   904    822    4850 12800   901    815    4820 11800  
array-examples/standard_reverse_true-unreach-call_ground.i 901    823    4690 10900   901    825    4790 11400   901    844    1620 10800   901    827    4720 13200  
array-examples/standard_running_true-unreach-call.i 901    816    4840 11900   901    819    4840 11500   907    836    4720 12600   901    825    4810 11700  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    850    4130 11700   901    840    2140 12700   901    861    4950 11800   901    864    4930 13700  
array-examples/standard_seq_init_true-unreach-call_ground.i 901    863    4930 14600   901    862    4970 12400   901    842    1590 10600   901    862    4960 12300  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    867    4940 10500   901    864    5020 12400   901    870    4940 13000   901    864    5010 12000  
array-examples/standard_strcpy_original_true-unreach-call.i 901    851    3330 11900   901    844    1770 11800   901    845    2270 13700   901    860    4940 13600  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    849    2800 13800   901    847    3270 12200   901    846    3300 12700   901    857    5020 12600  
array-examples/standard_two_index_01_true-unreach-call.i 901    823    4830 12000   901    822    4760 12900   901    844    2320 12900   901    827    4780 11000  
array-examples/standard_two_index_02_true-unreach-call.i 901    827    4820 12400   901    826    4820 12200   901    843    1670 11300   901    826    4790 12000  
array-examples/standard_two_index_03_true-unreach-call.i 901    826    4850 12400   901    820    4830 11500   903    848    3280 11200   901    826    4640 11000  
array-examples/standard_two_index_04_true-unreach-call.i 902    827    4850 11300   901    827    4780 12000   901    844    2220 11000   901    828    4740 11200  
array-examples/standard_two_index_05_true-unreach-call.i 901    824    4840 12600   901    825    4840 12600   901    845    2520 12600   901    827    4730 12300  
array-examples/standard_two_index_06_true-unreach-call.i 901    823    4820 12000   901    824    4840 11300   901    844    2230 13200   901    827    4670 12200  
array-examples/standard_two_index_07_true-unreach-call.i 901    824    4800 11300   901    823    4790 12400   901    844    2720 13100   901    828    4770 12000  
array-examples/standard_two_index_08_true-unreach-call.i 901    826    4810 11500   901    826    4870 10700   901    845    1640 11800   901    826    4730 13100  
array-examples/standard_two_index_09_true-unreach-call.i 901    824    4810 10900   901    827    4860 11800   901    844    1780 11800   901    827    4740 13400  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 902    855    5020 13100   906    855    5000 13200   902    858    5030 13800   907    855    5060 12400  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    807    4850 11300   901    812    4770 13300   901    823    4780 12600   901    822    4770 10000  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    847    2110 10800   901    848    1830 10900   902    845    2210 12700   901    857    5040 11300  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 5.25 1.80 482 40.3 901    877    5000 10800   901    845    3530 12500   5.01 1.76 464 44.5
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 912    821    4870 10900   913    821    4820 12000   915    704    5840 8550   907    822    5090 11600  
array-industry-pattern/array_range_init_false-unreach-call.i 4.36 1.62 364 35.6 901    873    5000 12000   901    845    2580 13900   4.30 1.57 377 39.7
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    847    1670 11900   901    848    1780 11600   901    571    6940 8890   901    850    2790 11900  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    854    5040 11600   901    862    4950 13100   901    862    4940 10700   901    862    4940 11800  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    820    4780 11800   903    819    4810 10500   908    832    4770 12800   906    836    5000 11800  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    858    4800 12500   901    848    1790 11500   901    849    2540 12200   901    858    5020 11800  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 5.58 1.93 476 46.4 901    868    5190 10100   901    726    6120 11800   901    760    5690 12800  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 4.84 1.72 382 38.1 901    866    5280 12900   908    414    9440 6900   4.83 1.73 377 37.4
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    867    4550 11700   901    867    4860 11100   901    848    1420 13700   901    862    4950 12900  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 5.43 1.93 385 46.1 901    867    5180 13000   901    678    6700 9910   4.75 1.71 377 41.7
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 5.81 1.97 476 43.4 911    883    3160 3730   901    849    2240 12300   901    861    4970 11900  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 5.63 1.90 473 46.6 901    854    5400 4850   906    839    4350 11600   5.59 1.84 471 45.7
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 4.68 1.70 379 39.6 901    877    5030 12500   901    846    3230 12000   901    861    4950 11000  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 6.26 2.18 415 46.9 901    861    5180 13000   901    806    4820 10700   910    821    4940 12800  
array-industry-pattern/array_shadowinit_true-unreach-call.i 907    775    5890 9250   908    766    6000 10300   905    822    4970 11100   907    779    5660 10500  
reducercommutativity/rangesum05_false-unreach-call.i 10.5  2.98 498 86.7 10.0  2.93 405 80.3 9.01 2.65 465 67.8 9.43 2.77 497 75.4
reducercommutativity/rangesum10_false-unreach-call.i 901    854    3060 13000   901    855    2920 13200   13.5  3.70 496 99.8 12.5  3.42 484 111  
reducercommutativity/rangesum20_false-unreach-call.i 901    858    4390 11800   901    860    3490 10200   22.9  6.18 1030 178   19.4  5.09 654 157  
reducercommutativity/rangesum40_false-unreach-call.i 901    733    8900 10300   901    713    9050 10900   36.3  13.2  1380 313   39.3  13.8  1550 308  
reducercommutativity/rangesum60_false-unreach-call.i 924    487    14300 7710   919    482    14300 7640   49.3  22.0  2080 481   64.5  34.9  2450 653  
reducercommutativity/rangesum_false-unreach-call.i 901    856    4940 11600   901    854    4950 11700   901    856    2660 12200   901    855    4960 11400  
reducercommutativity/avg05_true-unreach-call.i 10.1  2.90 403 80.8 10.8  3.16 497 77.1 8.51 2.50 500 69.6 10.9  3.09 500 85.9
reducercommutativity/avg10_true-unreach-call.i 18.1  5.09 686 161   19.3  5.17 699 173   16.2  4.37 476 132   14.3  3.89 509 125  
reducercommutativity/avg20_true-unreach-call.i 36.2  17.6  1040 342   37.8  18.3  1640 342   32.3  11.3  1330 256   25.2  7.10 983 174  
reducercommutativity/avg40_true-unreach-call.i 264    230    4830 3310   256    223    4060 2930   57.8  29.5  2190 616   50.8  23.4  2460 525  
reducercommutativity/avg60_true-unreach-call.i 901    824    4910 11200   901    827    4920 12300   103    69.2  4690 1170   79.1  44.8  2360 952  
reducercommutativity/avg_true-unreach-call.i 901    853    5000 13000   901    851    4970 12000   901    851    3390 10300   901    852    4970 10400  
reducercommutativity/max05_true-unreach-call_true-termination.i 15.3  4.21 486 126   14.8  4.06 510 108   14.1  3.92 513 107   11.5  3.19 501 94.8
reducercommutativity/max10_true-unreach-call_true-termination.i 261    234    1200 2590   252    226    2130 3170   72.1  53.1  2350 897   22.9  5.96 714 195  
reducercommutativity/max20_true-unreach-call.i 901    851    2730 11700   901    853    4670 12100   901    849    2950 12700   901    851    3180 10900  
reducercommutativity/max40_true-unreach-call.i 901    857    2880 11100   901    860    3460 11700   901    854    3290 14500   901    857    3460 11700  
reducercommutativity/max60_true-unreach-call.i 901    860    4370 13900   901    863    4940 13900   901    845    3350 14300   901    850    3590 13700  
reducercommutativity/max_true-unreach-call.i 901    833    5200 11300   901    832    5220 12900   901    857    3160 11600   901    852    4950 12200  
reducercommutativity/sep05_true-unreach-call.i 48.4  27.0  3080 439   53.7  33.1  1460 570   29.8  11.9  1560 264   29.5  10.6  1510 283  
reducercommutativity/sep10_true-unreach-call.i 901    856    4940 11700   901    858    4950 12500   901    856    5040 12900   59.1  33.4  2900 580  
reducercommutativity/sep20_true-unreach-call.i 901    845    5040 11200   901    838    5050 11400   901    852    4960 13300   214    170    4940 2460  
reducercommutativity/sep40_true-unreach-call.i 901    806    5180 11300   901    800    5290 10200   902    791    4870 11800   901    771    5790 11600  
reducercommutativity/sep60_true-unreach-call.i 905    714    5620 12500   909    733    5180 11300   901    762    5160 9830   901    751    5500 10200  
reducercommutativity/sep_true-unreach-call.i 901    858    4970 10700   901    853    4960 11700   901    849    3100 10700   901    847    1540 12200  
reducercommutativity/sum05_true-unreach-call_true-termination.i 9.56 2.84 505 87.0 9.13 2.72 509 75.5 7.86 2.42 385 57.2 9.43 2.75 484 67.0
reducercommutativity/sum10_true-unreach-call.i 16.1  4.38 697 134   17.9  4.85 677 149   13.8  3.82 621 100   14.7  4.01 508 114  
reducercommutativity/sum20_true-unreach-call.i 33.3  14.2  1660 269   34.6  14.9  1720 261   24.9  8.96 1550 217   26.8  6.99 943 203  
reducercommutativity/sum40_true-unreach-call.i 171    143    3730 1920   175    145    3140 1870   49.9  25.9  1130 519   50.4  21.9  1090 476  
reducercommutativity/sum60_true-unreach-call.i 833    761    3450 12900   797    746    4930 9790   79.5  53.0  2960 871   65.6  35.7  1400 602  
reducercommutativity/sum_true-unreach-call.i 901    854    5030 10800   901    851    5050 11700   901    856    3590 11800   901    845    2230 12300  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 7.14 2.20 364 54.8 7.12 2.24 385 54.5 6.81 2.19 365 54.1 7.32 2.27 366 57.5
bitvector/sum02_false-unreach-call_true-no-overflow.i 902    853    3580 10500   902    853    2050 11000   901    853    2200 11500   902    852    1990 13400  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 8.15 2.50 391 56.5 7.68 2.34 403 63.8 7.91 2.46 384 59.4 7.79 2.47 411 60.3
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 8.06 2.45 398 64.7 7.73 2.37 423 61.0 8.11 2.48 402 62.4 7.78 2.41 401 64.7
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 953    174    14300 4150   946    171    14200 4370   939    168    14200 4630   920    170    14300 4470  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 954    193    14200 4630   918    178    14200 4650   902    186    14300 4510   943    189    14200 4450  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 945    172    14200 4450   926    166    14300 4900   909    166    14200 4720   948    168    14100 4930  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 3.35 1.40 294 27.5 3.54 1.47 310 29.4 3.35 1.40 292 28.5 3.50 1.46 293 31.2
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 33.3  15.0  2440 334   31.9  14.5  2520 269   33.1  14.8  2560 297   35.0  15.2  2620 295  
bitvector/jain_1_true-unreach-call_true-no-overflow.i 903    845    2200 10700   902    845    1150 12000   903    849    4700 11600   902    848    2230 10400  
bitvector/jain_2_true-unreach-call_true-no-overflow.i 903    853    4900 13100   903    846    2970 12300   901    849    4470 10900   902    854    4910 12200  
bitvector/jain_4_true-unreach-call_true-no-overflow.i 901    865    4890 12200   902    870    4920 12300   904    862    4990 11600   903    866    4910 11100  
bitvector/jain_5_true-unreach-call_true-no-overflow.i 902    857    2080 14200   902    858    2150 11500   902    858    2150 11900   902    857    1270 11000  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 902    845    3990 11800   903    869    4920 12000   903    867    4910 11500   902    864    4920 13000  
bitvector/jain_7_true-unreach-call_true-no-overflow.i 903    861    4900 11600   904    866    4900 11300   901    870    4910 11900   903    867    4920 12300  
bitvector/modulus_true-unreach-call_true-no-overflow.i 909    165    14000 4160   953    170    14200 4340   909    163    13900 4130   908    164    14200 4430  
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 4.48 1.63 350 36.7 4.53 1.69 351 39.7 4.11 1.59 331 32.4 4.05 1.59 318 39.1
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 6.48 2.08 375 48.1 7.11 2.19 382 53.7 6.38 2.04 397 51.8 7.49 2.33 389 67.2
bitvector/parity_true-unreach-call_true-no-overflow.i 4.12 1.57 336 33.9 3.96 1.58 319 34.7 4.11 1.61 327 38.5 4.30 1.69 336 38.2
bitvector/sum02_true-unreach-call_true-no-overflow.i 901    852    2850 12300   902    853    2570 10800   901    852    1350 12800   902    853    2360 11100  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 77.5  49.6  2080 852   76.0  49.7  2030 778   77.9  49.6  2130 877   77.6  49.8  2080 851  
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 58.9  38.2  2420 671   57.7  37.9  2100 661   61.1  37.3  2350 612   58.9  37.8  2390 639  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 7.76 2.32 396 56.8 7.10 2.21 361 59.2 7.15 2.26 350 62.3 6.96 2.21 372 63.5
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 77.7  50.5  2190 874   76.7  50.1  2190 826   77.6  50.0  2110 813   76.8  50.1  2110 734  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 61.5  38.4  2340 773   59.3  38.5  2420 598   59.3  38.2  2230 637   57.8  37.3  2430 625  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    863    4940 13600   901    862    4960 11600   901    862    4950 12000   901    864    4940 13800  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 924    163    14300 4640   943    169    14200 4490   906    163    14200 4310   912    165    14200 4540  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    858    4960 10900   901    860    4940 10900   901    859    4940 12000   901    860    4950 12300  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    864    4940 13000   901    865    4950 13600   901    860    4970 12600   901    862    4960 10700  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    865    4950 13500   901    865    4930 14200   901    865    4950 11500   901    863    4960 13300  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    851    4960 11200   901    852    4980 12200   901    853    4970 13000   901    854    4970 12200  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    852    5030 12000   901    852    5030 12100   901    853    5030 11800   901    851    5050 12600  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 12.0  3.37 481 88.9 11.8  3.39 479 85.1 12.2  3.42 473 96.3 13.2  3.74 476 110  
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 50.4  17.5  2100 433   49.2  17.4  2060 418   52.6  18.8  2140 471   50.5  17.8  2140 443  
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 50.1  17.4  2220 398   52.3  17.8  2320 480   51.9  18.1  2370 427   51.8  18.1  2080 468  
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 64.9  42.8  1920 705   64.2  41.9  1950 700   65.1  42.9  2890 676   66.3  43.7  3240 745  
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 49.7  17.7  2180 449   53.7  18.7  2360 477   44.6  17.4  2110 453   48.2  17.4  2040 395  
bitvector-regression/implicitfloatconversion_false-unreach-call.c 3.37 1.38 301 30.4 3.19 1.35 294 32.0 3.33 1.35 296 28.2 3.30 1.37 299 28.8
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.93 1.27 288 26.1 2.88 1.25 278 26.2 2.89 1.27 286 24.9 3.02 1.35 282 21.6
bitvector-regression/integerpromotion_false-unreach-call.c 3.27 1.35 293 28.8 3.13 1.37 294 31.9 3.30 1.35 297 27.1 3.17 1.34 297 28.1
bitvector-regression/recHanoi03_false-unreach-call.c 2.84 1.24 279 24.9 2.90 1.27 284 24.1 2.99 1.27 282 24.8 2.94 1.31 283 23.2
bitvector-regression/signextension2_false-unreach-call.c 2.92 1.26 282 27.6 3.03 1.30 281 27.0 2.97 1.26 279 26.2 3.02 1.32 281 25.2
bitvector-regression/signextension_false-unreach-call.c 2.87 1.27 281 24.1 2.91 1.26 281 23.4 3.02 1.28 282 25.7 2.95 1.30 281 29.5
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.74 1.21 274 25.2 2.90 1.26 277 22.6 2.94 1.29 278 27.1 3.00 1.24 300 26.3
bitvector-regression/integerpromotion_true-unreach-call.c 2.86 1.26 278 23.6 2.92 1.24 278 24.7 2.94 1.26 280 25.8 3.04 1.37 275 23.6
bitvector-regression/signextension2_true-unreach-call.c 2.86 1.26 282 25.4 3.14 1.33 281 26.6 2.95 1.32 284 27.3 2.94 1.25 278 27.0
bitvector-regression/signextension_true-unreach-call.c 2.93 1.26 281 23.2 2.91 1.26 285 24.6 3.02 1.29 285 26.6 2.91 1.25 282 26.2
bitvector-loops/diamond_false-unreach-call2.i 910    869    4920 13400   911    871    4910 11500   910    870    4900 10800   911    871    4910 10800  
bitvector-loops/overflow_false-unreach-call1.i 902    861    2030 13300   901    862    1860 10800   901    866    4170 11500   901    860    1080 12800  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 8.46 2.54 369 68.7 8.25 2.52 441 66.5 9.24 2.73 475 79.4 7.63 2.36 394 65.0
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 25.5  9.32 1170 256   26.9  9.32 1220 215   25.8  9.44 1350 211   25.2  9.26 1270 208  
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 14.4  3.96 638 119   15.3  4.18 651 124   15.2  4.15 648 107   15.2  4.17 617 106  
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 29.5  13.4  1450 292   30.2  13.5  1540 295   28.9  12.9  1560 269   31.0  13.7  1490 282  
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.83 2.44 390 61.2 8.02 2.47 386 58.2 7.52 2.32 379 61.0 7.82 2.45 388 60.8
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 30.6  14.1  1580 299   29.2  13.6  1550 286   29.8  14.1  1670 245   28.5  13.9  1500 302  
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 902    860    3150 8040   902    859    3070 13400   902    858    3740 12600   902    853    3310 11100  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 16.9  5.62 862 158   17.7  5.88 864 152   18.5  5.86 844 154   18.6  5.76 799 143  
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 58.7  42.2  2320 627   58.1  41.1  2280 646   58.1  42.5  2360 732   59.0  42.2  2160 621  
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.54 1.72 325 39.8 4.56 1.68 327 35.8 4.51 1.64 320 41.9 4.58 1.69 314 42.6
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.34 1.90 337 47.0 5.21 1.82 331 43.1 5.47 1.95 332 46.6 5.00 1.79 327 43.3
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 13.5  3.74 512 110   14.3  3.96 499 103   13.6  3.79 491 97.6 13.0  3.61 492 99.6
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 14.1  3.90 532 107   14.1  3.89 515 107   13.5  3.73 497 103   13.4  3.71 497 110  
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 14.7  4.04 535 106   14.5  3.91 545 108   14.8  3.99 551 119   15.1  4.10 519 111  
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 14.1  3.84 495 120   14.2  3.86 498 122   14.4  3.88 497 112   13.9  3.80 494 114  
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 4.68 1.77 333 39.5 4.42 1.67 328 39.8 4.49 1.72 339 38.3 4.63 1.70 329 38.8
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 29.4  11.6  1560 277   28.7  11.6  1240 267   29.9  11.7  1480 289   28.5  11.4  1380 251  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 63.3  43.9  2330 648   65.3  45.0  2680 846   62.3  43.6  2840 809   63.8  43.5  2380 760  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 17.3  4.64 612 140   18.8  5.11 640 130   16.3  4.44 657 113   17.6  4.76 645 150  
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 5.39 1.87 355 48.9 5.42 1.88 355 41.6 5.73 1.85 378 55.1 5.28 1.86 342 50.3
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 8.52 2.52 474 69.0 8.87 2.63 457 62.9 8.80 2.57 467 64.3 8.60 2.56 491 62.5
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 8.32 2.51 456 61.3 8.20 2.46 484 66.0 8.55 2.54 493 72.8 8.65 2.57 471 65.0
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 4.71 1.68 326 36.9 4.69 1.71 329 35.8 4.49 1.70 327 41.6 4.57 1.68 327 40.7
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 777    740    4940 9560   764    727    4940 10000   723    690    4950 10500   738    701    4950 9010  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 730    695    4940 10100   717    678    4970 10400   709    678    4940 9080   713    680    4950 9010  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 901    866    4930 14400   901    864    4920 12800   901    865    4930 11400   901    867    4920 11900  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 686    649    4950 9770   664    629    4940 9030   647    613    4940 9510   677    645    4930 11000  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 901    864    4940 12300   901    864    4960 12900   901    862    4970 12000   901    862    4950 11800  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 902    857    4920 13600   901    854    5010 10400   901    857    4920 11100   901    858    4940 11400  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 901    818    4960 12100   902    824    4910 10600   902    819    4910 10900   901    830    4940 10400  
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 901    865    4970 10600   901    863    4950 11800   901    863    4960 10700   901    864    4950 11700  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 901    863    4940 10100   901    863    4940 11600   901    863    4950 11600   901    863    4950 10700  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 901    864    4950 11000   901    865    4940 10800   901    866    4920 12500   901    864    4950 12300  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 901    857    4960 10900   901    861    4940 12500   901    858    4950 11600   901    861    4960 11900  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 901    860    4950 11700   901    863    4960 12300   901    862    4960 14100   901    865    4940 10900  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 901    859    4940 11400   901    862    4950 10800   901    863    4940 10800   901    863    4970 11700  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 5.68 1.88 339 48.3 5.91 1.96 333 48.6 5.75 1.93 332 45.4 5.66 1.97 331 51.6
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 6.16 2.01 339 51.8 5.91 1.93 340 49.6 5.78 1.91 332 49.0 5.66 1.89 329 49.4
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 902    723    5740 9560   902    746    5240 11000   903    738    5320 10500   902    735    5560 10100  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 901    726    5230 11600   902    721    6140 10900   903    728    5470 10600   903    724    5970 10700  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 903    747    5700 11200   902    754    5150 10500   901    743    5980 10600   901    748    5670 10700  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 901    728    5640 11500   909    713    6130 10600   903    715    5960 8110   902    713    5860 10000  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 902    775    4730 11600   901    759    5520 10900   901    765    5420 13000   902    770    5510 12300  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 902    822    5130 11400   901    821    5170 12300   901    823    5130 11400   902    823    5120 12600  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 902    763    5930 10700   902    778    5770 10500   901    777    5770 11100   904    774    6020 10700  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 903    762    5930 11400   901    767    5870 10600   902    758    5920 9910   902    757    5910 12800  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 904    738    6040 10800   902    741    5990 11600   901    736    6110 10700   901    733    5910 10700  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 902    738    6390 12300   906    733    6090 10300   902    766    4880 11300   908    730    6130 11300  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 908    717    6450 12400   902    743    5590 10800   902    757    5190 11000   902    757    5300 11000  
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    856    5020 11100   901    854    4710 12200   304    255    2260 3950   621    557    4810 6310  
ntdrivers/diskperf_false-unreach-call.i.cil.c 15.7  4.13 547 133   16.3  4.25 532 132   14.9  3.95 523 101   17.0  4.37 522 131  
ntdrivers/floppy_false-unreach-call.i.cil.c 902    849    5030 13300   902    852    5020 11000   902    830    5330 11100   902    852    5040 14000  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 901    701    9810 9920   901    688    9660 9850   17.0  4.53 617 140   15.0  4.00 511 127  
ntdrivers/parport_false-unreach-call.i.cil.c 903    850    5060 10000   903    847    5040 12700   903    853    5010 11800   903    845    5020 10500  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 46.8  24.9  2320 450   48.2  26.4  2230 538   901    859    4660 11900   276    241    3490 3790  
ntdrivers/diskperf_true-unreach-call.i.cil.c 906    719    5940 11300   902    715    5980 11100   911    847    5020 10100   901    792    4830 11900  
ntdrivers/floppy2_true-unreach-call.i.cil.c 904    546    10600 8120   903    833    5120 11000   904    835    5260 10500   903    836    4990 12800  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 902    853    5000 11000   902    854    5030 12000   902    832    5330 11800   902    851    5020 12900  
ntdrivers/parport_true-unreach-call.i.cil.c 903    848    5010 12000   903    849    5030 11800   903    850    5030 10900   902    847    5060 12200  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 901    859    4960 10300   901    854    4960 11700   901    859    4950 10800   901    855    3760 13100  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 901    856    4970 11800   901    854    4970 11500   901    858    4980 11800   901    852    3090 11700  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 901    853    4990 12000   901    853    4970 12700   901    857    4960 11100   901    853    3730 10900  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 901    852    4960 11100   901    851    4960 13200   901    861    4970 11300   901    852    3200 11600  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 420    379    1890 6160   421    380    1990 4940   901    858    3620 12900   721    673    2660 7870  
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 480    436    2140 6590   481    437    1980 6660   901    853    3110 11300   463    422    2140 6170  
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 476    433    2080 5700   479    437    2240 6850   901    856    3200 11500   381    343    2160 4410  
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 492    448    1680 7410   501    458    1990 6100   901    856    3270 11500   437    395    2100 6140  
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 901    852    4960 10600   901    852    4960 13000   901    857    3790 11000   79.6  53.3  2290 814  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 901    853    4200 11700   901    853    4150 10100   901    856    3490 10800   901    855    3720 10900  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 901    852    4250 11800   901    856    4370 12900   901    854    3240 11300   70.0  44.4  2030 805  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 901    853    4270 13900   901    854    4290 11900   901    855    3840 11400   901    855    4130 12400  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 901    854    4010 11600   901    855    4190 13000   901    858    3970 11600   68.4  44.0  2040 774  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 901    851    4230 10600   901    853    4390 13500   901    853    3350 10500   901    853    3930 10900  
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 901    855    4960 10600   901    855    4950 11700   901    856    3960 10600   76.7  52.1  1780 939  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 901    854    4890 11200   901    854    4810 11500   901    854    3520 12800   901    856    4100 11600  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 901    853    4980 11600   901    856    4950 10600   901    859    4550 13700   77.6  52.1  2190 784  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 901    851    3930 12200   901    854    4490 11500   901    855    3130 11400   71.2  45.7  2360 729  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 901    854    4430 11300   901    852    4960 11500   901    860    4190 13000   78.2  53.7  2110 837  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 901    856    4980 11900   901    854    4960 12800   901    861    4960 13400   901    853    2890 11700  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 901    856    4980 13500   901    853    4970 11500   901    857    4980 11200   901    850    2900 10100  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 901    852    4970 11800   901    855    4970 11600   901    860    4970 10200   901    852    3240 13400  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 901    854    4960 11000   901    856    4990 10600   901    857    4990 12200   901    849    3510 12800  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 901    853    4340 12900   901    853    4300 12500   901    856    3750 11600   901    855    3860 11100  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 901    853    4010 12000   901    855    4560 12100   901    855    3370 11500   901    854    4130 11800  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 901    854    4950 12300   901    854    4950 12000   901    857    4130 9990   901    852    4740 11900  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 901    850    4010 12300   901    853    4500 11700   901    855    3630 11200   901    855    4010 11100  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 901    855    4090 12100   901    853    4200 11800   901    852    3470 10500   901    855    4070 12400  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 901    852    4470 13100   901    853    4600 9980   901    853    3370 10800   901    854    3760 13100  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 901    852    4180 11400   901    852    4280 11400   901    856    3660 12000   901    853    3370 12200  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 901    854    4660 13200   901    852    4500 10800   901    853    3540 12000   901    853    3530 12500  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 901    853    4960 12700   901    855    4960 11500   901    857    4230 12000   901    855    4150 12300  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 901    852    4860 12500   901    851    4290 11700   901    857    3990 11300   901    854    3910 11400  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 901    852    4970 9990   901    856    4950 11300   901    855    4720 12800   901    854    4230 11400  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 901    854    4920 13000   901    855    4400 12200   901    855    3590 13400   901    853    3210 11100  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 901    850    4720 10600   901    853    4990 11700   901    852    3860 10700   901    855    4700 12000  
eca-rers2012/Problem01_label15_false-unreach-call.c 901    841    5070 11600   901    841    5050 10500   901    841    5090 10700   901    842    5070 13700  
eca-rers2012/Problem01_label20_false-unreach-call.c 901    848    5000 12700   901    843    5050 11700   901    841    5060 11700   901    843    5030 13400  
eca-rers2012/Problem01_label21_false-unreach-call.c 901    842    5030 10600   901    840    5080 11300   901    842    5060 10600   901    841    5040 13300  
eca-rers2012/Problem01_label32_false-unreach-call.c 901    839    4980 12800   901    840    5010 13400   901    843    5040 10300   901    841    5030 11400  
eca-rers2012/Problem01_label33_false-unreach-call.c 901    842    5080 10900   901    844    4990 12900   901    843    4990 11600   901    842    5060 10100  
eca-rers2012/Problem01_label35_false-unreach-call.c 901    841    5090 11600   901    840    5150 11500   901    841    5070 13500   901    840    5050 11900  
eca-rers2012/Problem01_label37_false-unreach-call.c 901    843    5040 13400   901    843    5010 10700   901    843    5010 11500   901    842    5040 10800  
eca-rers2012/Problem01_label38_false-unreach-call.c 901    842    5050 11800   901    843    5100 11700   901    843    5100 11100   901    840    5060 11400  
eca-rers2012/Problem01_label44_false-unreach-call.c 163    133    4780 2160   167    136    4750 2040   164    134    4780 2250   161    133    4750 2220  
eca-rers2012/Problem01_label47_false-unreach-call.c 901    842    5030 10900   901    845    5010 11000   901    844    5030 9170   901    843    5000 11900  
eca-rers2012/Problem01_label50_false-unreach-call.c 901    843    5000 11400   901    839    5000 11000   901    841    5080 10400   901    839    5130 11900  
eca-rers2012/Problem01_label56_false-unreach-call.c 901    842    5060 13600   901    841    5130 11300   901    843    5000 12300   901    843    5010 12000  
eca-rers2012/Problem01_label57_false-unreach-call.c 901    845    5020 11700   901    843    5000 11400   901    841    5000 11800   901    844    5020 10500  
eca-rers2012/Problem02_label13_false-unreach-call.c 25.3  7.29 838 209   22.5  6.47 886 193   25.4  7.33 866 182   22.7  6.87 812 196  
eca-rers2012/Problem02_label16_false-unreach-call.c 22.8  6.54 848 164   24.7  7.23 853 188   21.9  6.35 840 182   22.1  6.42 833 187  
eca-rers2012/Problem02_label43_false-unreach-call.c 24.3  7.05 857 170   22.1  6.32 873 195   21.5  6.25 902 163   22.7  6.53 830 148  
eca-rers2012/Problem02_label44_false-unreach-call.c 24.4  7.40 1250 186   25.2  7.57 1100 208   26.5  8.23 1080 196   23.6  7.32 1110 186  
eca-rers2012/Problem02_label45_false-unreach-call.c 91.1  64.9  4330 1020   91.1  64.8  4370 931   93.0  65.6  4150 981   92.0  65.8  4280 994  
eca-rers2012/Problem02_label50_false-unreach-call.c 87.5  63.3  4170 1000   89.5  63.5  4560 1030   87.1  62.1  4340 1070   88.0  61.7  4310 1010  
eca-rers2012/Problem02_label59_false-unreach-call.c 88.2  62.7  4400 997   90.7  62.9  4220 1150   86.8  62.6  4200 1020   89.9  63.7  4370 1160  
eca-rers2012/Problem03_label09_false-unreach-call.c 901    825    5010 11300   901    826    5020 11300   901    828    4980 12400   901    823    5050 11300  
eca-rers2012/Problem03_label13_false-unreach-call.c 901    829    5050 13200   901    824    5020 13400   901    826    5000 13600   901    828    5070 11700  
eca-rers2012/Problem03_label26_false-unreach-call.c 902    833    5030 11500   902    829    5020 13000   902    829    5010 11000   901    829    5010 13300  
eca-rers2012/Problem03_label27_false-unreach-call.c 901    826    5110 11400   901    828    5100 11000   901    829    5100 12100   901    827    5120 11800  
eca-rers2012/Problem03_label28_false-unreach-call.c 902    830    5040 10800   902    830    5060 12900   901    832    5000 11200   902    832    4990 11700  
eca-rers2012/Problem03_label31_false-unreach-call.c 902    835    5010 12300   902    835    5000 10200   901    832    4960 12400   902    831    5020 12100  
eca-rers2012/Problem03_label35_false-unreach-call.c 902    829    5050 11000   902    832    5010 11400   901    831    5120 11800   901    833    5080 10000  
eca-rers2012/Problem03_label37_false-unreach-call.c 901    829    5100 13900   901    825    5110 12000   901    828    5150 11200   901    826    5180 11200  
eca-rers2012/Problem03_label39_false-unreach-call.c 901    830    4990 11500   902    828    5030 11600   901    835    5030 11500   901    831    5040 11800  
eca-rers2012/Problem03_label43_false-unreach-call.c 901    818    5140 11800   901    821    5160 12700   901    823    5110 11200   901    824    5120 11200  
eca-rers2012/Problem03_label45_false-unreach-call.c 902    834    5020 12800   901    833    4980 10800   901    835    4980 11700   901    833    5000 14000  
eca-rers2012/Problem03_label50_false-unreach-call.c 901    827    5020 11400   901    829    4990 11800   902    828    5010 10700   902    829    5010 11300  
eca-rers2012/Problem03_label52_false-unreach-call.c 902    829    5000 11200   902    838    5020 12800   901    831    5030 12800   901    835    5020 11600  
eca-rers2012/Problem04_label04_false-unreach-call.c 901    557    7390 10800   902    584    7120 9360   901    580    7550 9120   901    565    7820 9710  
eca-rers2012/Problem04_label06_false-unreach-call.c 901    568    7320 8990   901    555    7470 9140   901    579    7160 10200   901    564    7580 8290  
eca-rers2012/Problem04_label09_false-unreach-call.c 901    576    7330 7950   901    582    7560 8760   901    567    7180 8990   901    569    7270 9620  
eca-rers2012/Problem04_label11_false-unreach-call.c 901    600    7310 9350   902    591    7440 9510   901    588    7450 9080   901    586    7370 8810  
eca-rers2012/Problem04_label12_false-unreach-call.c 901    573    7510 9130   902    576    7410 8440   901    585    7580 10400   902    575    7390 9340  
eca-rers2012/Problem04_label13_false-unreach-call.c 901    554    7480 8830   902    597    7410 10500   901    564    7500 9300   901    576    7760 9060  
eca-rers2012/Problem04_label14_false-unreach-call.c 906    596    7410 9980   901    588    7460 10200   929    589    7510 9230   903    574    7440 8100  
eca-rers2012/Problem04_label15_false-unreach-call.c 901    568    7420 9070   901    584    7760 8770   901    595    7620 9540   901    600    7310 9260  
eca-rers2012/Problem04_label17_false-unreach-call.c 912    595    7670 7330   902    603    7680 9780   906    596    7480 10600   902    608    7620 10300  
eca-rers2012/Problem04_label18_false-unreach-call.c 901    572    7730 9330   902    573    7420 9260   901    559    7680 9060   902    579    7220 8450  
eca-rers2012/Problem04_label19_false-unreach-call.c 901    571    7440 8330   901    568    7530 9070   901    567    7340 8230   901    587    7400 9580  
eca-rers2012/Problem04_label26_false-unreach-call.c 901    560    7530 9170   901    584    7150 9580   901    575    7670 8820   901    580    7400 10200  
eca-rers2012/Problem04_label27_false-unreach-call.c 901    562    7820 8160   902    585    8060 8960   901    545    7580 9810   902    565    7190 8130  
eca-rers2012/Problem04_label31_false-unreach-call.c 902    577    7560 9600   901    571    7330 9620   901    581    7720 9640   902    572    7570 10300  
eca-rers2012/Problem04_label32_false-unreach-call.c 901    561    7620 9860   902    584    8210 9950   901    596    7520 8620   902    542    7630 7560  
eca-rers2012/Problem04_label35_false-unreach-call.c 902    584    7510 8890   902    599    7520 8390   902    607    7520 9120   902    609    7430 9580  
eca-rers2012/Problem04_label36_false-unreach-call.c 901    561    7610 9270   902    572    7340 9900   901    572    7620 8830   901    559    7220 8950  
eca-rers2012/Problem04_label38_false-unreach-call.c 912    571    7210 9170   908    566    7350 10000   901    569    7230 8650   904    567    7410 8870  
eca-rers2012/Problem04_label39_false-unreach-call.c 901    573    7660 8790   901    578    7570 9660   902    557    7430 8730   902    578    7130 9200  
eca-rers2012/Problem04_label40_false-unreach-call.c 901    589    7710 9830   901    602    7440 9260   901    633    7190 8860   901    605    7210 9350  
eca-rers2012/Problem04_label45_false-unreach-call.c 902    557    7620 9410   901    593    7340 9000   901    576    7430 8360   901    575    7570 9080  
eca-rers2012/Problem04_label52_false-unreach-call.c 901    620    6880 10900   901    613    6960 9290   902    606    7540 10600   901    618    7230 10700  
eca-rers2012/Problem04_label55_false-unreach-call.c 901    573    7720 8390   901    583    7170 10500   901    588    7080 10400   901    591    7570 9530  
eca-rers2012/Problem04_label58_false-unreach-call.c 901    552    7400 8960   901    566    7700 7800   901    591    7480 8950   901    572    7420 9300  
eca-rers2012/Problem05_label00_false-unreach-call.c 915    486    10000 9160   902    516    8760 8970   903    491    9890 9290   928    493    9610 8170  
eca-rers2012/Problem05_label01_false-unreach-call.c 918    499    9100 9270   923    503    9450 7740   918    496    9600 7660   914    499    9550 9200  
eca-rers2012/Problem05_label11_false-unreach-call.c 916    499    9530 7800   902    480    9790 8110   903    473    9600 8460   902    483    9830 8130  
eca-rers2012/Problem05_label13_false-unreach-call.c 904    503    9290 7310   902    501    9120 8960   916    505    9210 8350   903    489    9370 7900  
eca-rers2012/Problem05_label15_false-unreach-call.c 902    490    9920 8460   902    502    9600 8140   902    495    9650 8660   902    514    9590 7960  
eca-rers2012/Problem05_label18_false-unreach-call.c 902    492    9160 8470   923    500    9260 9040   903    513    8560 8200   923    516    8360 8190  
eca-rers2012/Problem05_label24_false-unreach-call.c 903    502    8980 9420   902    498    9300 7840   902    503    8540 8410   903    502    8340 8790  
eca-rers2012/Problem05_label26_false-unreach-call.c 922    499    9010 8150   915    501    9810 8620   904    489    9650 8210   914    496    9550 8310  
eca-rers2012/Problem05_label30_false-unreach-call.c 904    494    9230 9200   903    493    9640 7800   904    484    9670 7160   903    498    9730 8140  
eca-rers2012/Problem05_label32_false-unreach-call.c 912    483    9630 7880   909    485    8930 9440   902    497    9770 8030   930    511    9520 8180  
eca-rers2012/Problem05_label33_false-unreach-call.c 902    499    10100 7910   923    494    9710 9330   902    513    9560 7940   904    499    9040 9750  
eca-rers2012/Problem05_label36_false-unreach-call.c 910    476    9550 9150   915    508    9450 8120   902    506    9820 7860   902    475    9790 8840  
eca-rers2012/Problem05_label37_false-unreach-call.c 902    490    9560 8010   902    494    9680 8350   914    496    9690 9000   920    499    9400 8790  
eca-rers2012/Problem05_label38_false-unreach-call.c 903    493    9090 8120   952    495    9220 8600   905    502    9300 9180   904    506    8960 9850  
eca-rers2012/Problem05_label39_false-unreach-call.c 903    503    8770 8340   902    491    9310 8310   903    516    8320 7910   903    509    9180 9460  
eca-rers2012/Problem05_label40_false-unreach-call.c 902    502    9560 7760   909    485    9870 9220   903    490    9500 7960   911    494    9610 8720  
eca-rers2012/Problem05_label41_false-unreach-call.c 902    505    8700 8190   904    481    9390 8180   902    493    9480 8740   930    500    8990 8020  
eca-rers2012/Problem05_label44_false-unreach-call.c 903    502    9550 8610   903    497    8920 8160   905    513    8250 9050   904    504    8880 7980  
eca-rers2012/Problem05_label47_false-unreach-call.c 902    493    9700 8260   909    494    9060 8700   902    484    9790 7540   905    497    9300 8530  
eca-rers2012/Problem05_label48_false-unreach-call.c 902    518    8550 10100   914    515    9030 8550   902    514    8970 7910   903    505    9250 9320  
eca-rers2012/Problem05_label51_false-unreach-call.c 914    485    9530 7780   903    499    9700 9440   904    486    9490 8910   903    490    9690 8030  
eca-rers2012/Problem05_label55_false-unreach-call.c 932    501    9260 8370   912    504    9410 9300   931    492    9510 9490   903    496    9300 7340  
eca-rers2012/Problem05_label57_false-unreach-call.c 905    502    9890 8320   931    504    9710 9360   902    495    9770 7360   902    494    9670 9410  
eca-rers2012/Problem05_label58_false-unreach-call.c 906    498    9160 9430   902    492    9500 8680   902    492    9840 8170   927    505    9300 7670  
eca-rers2012/Problem06_label00_false-unreach-call.c 901    599    7330 11300   908    608    8330 9790   914    603    7930 10500   901    615    7840 10900  
eca-rers2012/Problem06_label01_false-unreach-call.c 903    600    7560 9930   928    616    7800 10200   914    602    8260 10500   902    617    7910 9880  
eca-rers2012/Problem06_label02_false-unreach-call.c 903    616    7610 10100   907    600    8380 9380   904    614    7370 10100   901    609    7450 8750  
eca-rers2012/Problem06_label04_false-unreach-call.c 902    728    6940 9180   908    655    7370 11100   902    666    7960 9510   902    634    7960 9720  
eca-rers2012/Problem06_label05_false-unreach-call.c 905    613    7940 9570   912    621    7780 9450   902    608    7700 9720   903    620    7510 8830  
eca-rers2012/Problem06_label09_false-unreach-call.c 906    622    7430 9100   902    636    7470 8740   902    652    7930 9580   902    655    7880 10900  
eca-rers2012/Problem06_label10_false-unreach-call.c 901    617    7660 9780   901    600    8270 9470   901    602    7730 9220   913    626    7540 8700  
eca-rers2012/Problem06_label11_false-unreach-call.c 901    617    7730 10600   927    623    7770 9090   901    630    7640 9280   927    608    7430 9290  
eca-rers2012/Problem06_label12_false-unreach-call.c 901    610    7760 10000   902    594    7800 10300   928    607    7920 10400   928    609    7830 9190  
eca-rers2012/Problem06_label15_false-unreach-call.c 903    599    7710 10100   903    622    7500 8940   917    610    7920 9810   902    597    7910 9880  
eca-rers2012/Problem06_label20_false-unreach-call.c 901    602    7870 8530   912    604    7970 8220   916    604    7500 8960   902    603    7650 9330  
eca-rers2012/Problem06_label21_false-unreach-call.c 902    599    8060 9610   902    606    7800 10600   903    604    7770 10800   901    602    7630 9380  
eca-rers2012/Problem06_label24_false-unreach-call.c 902    694    7680 10000   902    632    8010 9620   902    632    7470 10900   907    616    7850 10100  
eca-rers2012/Problem06_label27_false-unreach-call.c 909    614    7520 9970   913    610    7840 8670   916    610    7650 10400   903    604    7500 9680  
eca-rers2012/Problem06_label29_false-unreach-call.c 932    653    7970 11100   902    649    7610 10900   913    647    7360 10800   902    674    8030 10600  
eca-rers2012/Problem06_label33_false-unreach-call.c 902    610    7680 9200   901    627    7460 9860   904    583    8010 9000   903    595    7540 9520  
eca-rers2012/Problem06_label36_false-unreach-call.c 901    638    7880 9630   923    615    8700 10500   908    601    8100 8940   907    623    7530 10300  
eca-rers2012/Problem06_label37_false-unreach-call.c 929    608    7900 9380   903    619    7530 9200   902    611    7750 9720   906    583    8160 9810  
eca-rers2012/Problem06_label38_false-unreach-call.c 902    620    8010 10800   902    619    7630 8930   901    613    8080 9320   903    629    8060 10800  
eca-rers2012/Problem06_label44_false-unreach-call.c 902    621    7770 9120   902    629    7500 11600   902    633    7810 9590   902    622    7760 9140  
eca-rers2012/Problem06_label47_false-unreach-call.c 901    610    7540 10500   902    613    7890 8550   932    618    8270 9870   934    601    8160 9620  
eca-rers2012/Problem06_label48_false-unreach-call.c 924    605    8210 10500   903    600    8100 8810   901    599    7640 10600   903    584    7970 9120  
eca-rers2012/Problem06_label56_false-unreach-call.c 916    616    8330 10100   912    604    8190 9130   904    606    8010 8960   902    638    8280 9460  
eca-rers2012/Problem06_label58_false-unreach-call.c 901    629    8040 9600   901    698    7300 11200   902    613    8200 10600   904    617    8330 9860  
eca-rers2012/Problem06_label59_false-unreach-call.c 907    651    7120 10900   902    670    7460 10200   903    679    7810 10000   902    662    7930 9620  
eca-rers2012/Problem07_label03_false-unreach-call.c 968    229    14000 5300   904    279    13600 5210   904    233    14100 5440   968    233    14200 4860  
eca-rers2012/Problem07_label05_false-unreach-call.c 904    233    14100 5240   968    231    14100 4900   937    294    14000 6200   968    230    14100 5690  
eca-rers2012/Problem07_label06_false-unreach-call.c 968    237    14100 5520   914    292    14100 5520   904    285    14000 6100   925    225    14000 4830  
eca-rers2012/Problem07_label07_false-unreach-call.c 907    246    14100 5700   928    232    14100 5160   947    292    14100 5860   905    284    14000 5720  
eca-rers2012/Problem07_label09_false-unreach-call.c 904    265    14100 5500   923    221    14000 5050   912    288    14000 6550   929    229    14100 5340  
eca-rers2012/Problem07_label11_false-unreach-call.c 906    232    14100 5350   957    295    14100 6240   920    291    14200 6210   968    231    14000 4930  
eca-rers2012/Problem07_label15_false-unreach-call.c 904    257    13700 5760   955    256    14000 6370   951    266    13200 5900   906    252    13600 6220  
eca-rers2012/Problem07_label18_false-unreach-call.c 912    264    13300 6540   932    258    13500 6310   904    269    13600 5060   968    259    14300 6300  
eca-rers2012/Problem07_label19_false-unreach-call.c 904    232    14100 5460   908    231    14100 4620   911    233    14100 5750   968    227    14100 5640  
eca-rers2012/Problem07_label20_false-unreach-call.c 968    228    14100 5100   929    288    14100 5640   905    290    13700 5810   922    296    14000 5480  
eca-rers2012/Problem07_label23_false-unreach-call.c 968    234    14000 5040   968    231    14000 5070   906    285    14000 6020   968    240    14100 6110  
eca-rers2012/Problem07_label30_false-unreach-call.c 920    249    14200 6180   905    252    14100 5060   939    263    14200 5330   911    181    14000 5240  
eca-rers2012/Problem07_label31_false-unreach-call.c 919    253    14100 5520   938    186    14000 4920   938    186    14000 4350   927    253    14100 5970  
eca-rers2012/Problem07_label35_false-unreach-call.c 931    257    14100 5900   936    185    14100 4760   968    189    14100 4910   945    259    14100 5760  
eca-rers2012/Problem07_label36_false-unreach-call.c 916    251    14100 6130   968    191    14000 4950   904    204    14000 4920   944    252    14200 5920  
eca-rers2012/Problem07_label37_false-unreach-call.c 937    254    14200 5160   930    186    14100 4630   926    186    14000 5250   934    186    14100 4800  
eca-rers2012/Problem07_label39_false-unreach-call.c 911    184    14100 4740   968    189    14100 5160   924    184    14100 4430   968    188    14000 4170  
eca-rers2012/Problem07_label40_false-unreach-call.c 915    251    14200 5110   968    257    14200 6060   905    222    14100 5410   905    183    14100 5020  
eca-rers2012/Problem07_label42_false-unreach-call.c 930    185    14100 4310   908    253    14100 5670   961    195    14000 4710   905    238    14100 5850  
eca-rers2012/Problem07_label44_false-unreach-call.c 932    184    14000 4790   911    246    14100 5440   968    188    14100 4900   968    191    14100 5190  
eca-rers2012/Problem07_label46_false-unreach-call.c 935    259    14100 5630   931    258    14100 5210   938    184    14100 4910   923    255    14100 5430  
eca-rers2012/Problem07_label47_false-unreach-call.c 940    185    14000 4840   942    256    14100 5830   960    189    14000 4650   934    258    14100 6350  
eca-rers2012/Problem07_label48_false-unreach-call.c 968    190    14100 4990   909    247    14100 5730   944    258    14100 5460   935    220    14000 5480  
eca-rers2012/Problem07_label58_false-unreach-call.c 968    232    14000 5190   968    235    13900 5600   941    297    14000 6390   968    231    14100 4440  
eca-rers2012/Problem08_label01_false-unreach-call.c 938    197    14100 5470   937    196    14200 5250   923    193    14000 4580   913    194    14100 4720  
eca-rers2012/Problem08_label02_false-unreach-call.c 904    396    14100 6750   905    392    14100 8050   904    394    14200 6370   909    396    14100 6720  
eca-rers2012/Problem08_label04_false-unreach-call.c 904    404    14100 7290   917    407    14100 6650   921    403    14100 6600   929    406    14100 7500  
eca-rers2012/Problem08_label05_false-unreach-call.c 937    198    14100 4610   939    200    14100 5500   909    192    14100 5230   927    195    14200 4890  
eca-rers2012/Problem08_label06_false-unreach-call.c 925    400    14000 7110   916    396    14100 6540   920    396    14100 7650   944    399    14100 6680  
eca-rers2012/Problem08_label07_false-unreach-call.c 953    197    14100 5670   944    199    14000 5180   921    193    14100 5040   964    195    14000 5150  
eca-rers2012/Problem08_label10_false-unreach-call.c 922    389    14100 8300   910    394    14100 6800   954    398    14100 6930   937    401    14100 7130  
eca-rers2012/Problem08_label13_false-unreach-call.c 929    194    14100 5490   914    194    14100 4740   931    197    14200 4710   924    195    14100 5350  
eca-rers2012/Problem08_label15_false-unreach-call.c 932    193    14100 4600   930    194    14100 5020   933    196    14100 5210   953    196    14100 5360  
eca-rers2012/Problem08_label24_false-unreach-call.c 940    393    14100 7370   921    393    14100 6740   927    400    14200 7250   907    405    14100 7410  
eca-rers2012/Problem08_label25_false-unreach-call.c 944    419    14000 7760   937    404    14100 6570   933    411    14200 7200   922    403    14100 6760  
eca-rers2012/Problem08_label26_false-unreach-call.c 911    401    14100 6400   906    391    14100 6490   917    416    14100 8130   954    396    14100 6360  
eca-rers2012/Problem08_label28_false-unreach-call.c 905    404    14200 7090   910    399    14100 6780   951    410    14100 6620   939    393    14200 6790  
eca-rers2012/Problem08_label29_false-unreach-call.c 947    196    14100 5730   912    193    14100 4880   936    196    14200 5010   927    193    14100 4940  
eca-rers2012/Problem08_label34_false-unreach-call.c 927    401    14100 6770   917    392    14100 6990   921    408    14100 7360   936    415    14100 7660  
eca-rers2012/Problem08_label37_false-unreach-call.c 950    417    14100 6680   922    405    14100 6630   920    411    14100 6900   950    418    14100 7670  
eca-rers2012/Problem08_label43_false-unreach-call.c 941    199    14200 5740   910    194    14100 4860   932    196    14100 5350   928    195    14000 4860  
eca-rers2012/Problem08_label46_false-unreach-call.c 918    394    14100 6550   955    404    14200 7100   935    399    14100 7270   906    397    14000 8130  
eca-rers2012/Problem08_label48_false-unreach-call.c 911    399    14100 7460   944    395    14200 8120   943    410    14100 8240   919    397    14100 7470  
eca-rers2012/Problem08_label49_false-unreach-call.c 929    422    14100 7950   927    399    14100 7800   921    394    14100 7110   915    412    14100 6910  
eca-rers2012/Problem08_label50_false-unreach-call.c 940    404    14200 7370   947    402    14100 6980   922    410    14100 7150   906    399    14000 6400  
eca-rers2012/Problem08_label51_false-unreach-call.c 909    388    14100 6820   949    393    14000 8020   903    401    14100 6120   946    387    14100 6990  
eca-rers2012/Problem08_label55_false-unreach-call.c 953    407    14100 7470   934    407    14100 7690   935    398    14100 7010   942    399    14100 6940  
eca-rers2012/Problem08_label59_false-unreach-call.c 936    389    14100 8370   905    401    14300 7330   909    405    14200 7740   927    404    14100 6760  
eca-rers2012/Problem09_label02_false-unreach-call.c 910    207    14100 5430   961    213    14000 6130   917    208    14100 4940   930    206    14100 5630  
eca-rers2012/Problem09_label03_false-unreach-call.c 949    211    14000 5730   960    216    14100 5270   913    207    14100 5630   959    213    14100 5260  
eca-rers2012/Problem09_label06_false-unreach-call.c 935    211    14100 5420   935    212    14100 5130   952    211    14100 5830   960    212    14100 5250  
eca-rers2012/Problem09_label08_false-unreach-call.c 916    211    14000 4970   926    210    14100 5530   951    212    14100 5490   945    211    14200 4750  
eca-rers2012/Problem09_label10_false-unreach-call.c 905    611    9690 10100   924    627    9700 9000   927    627    9450 9420   902    618    9590 9310  
eca-rers2012/Problem09_label11_false-unreach-call.c 958    212    14000 5050   937    211    14100 5300   962    214    14100 5620   950    212    14100 5070  
eca-rers2012/Problem09_label15_false-unreach-call.c 931    681    8410 11300   921    689    8490 10100   933    679    8170 11100   952    675    8150 9660  
eca-rers2012/Problem09_label19_false-unreach-call.c 945    212    14100 5490   916    207    14200 5580   921    207    14100 4800   926    209    14100 4600  
eca-rers2012/Problem09_label20_false-unreach-call.c 910    208    14100 5180   948    210    14100 5350   910    206    14100 5100   942    210    14000 5320  
eca-rers2012/Problem09_label32_false-unreach-call.c 933    210    14100 4960   949    210    14100 5310   953    213    14100 5280   931    212    14100 5340  
eca-rers2012/Problem09_label34_false-unreach-call.c 938    212    14100 5210   934    209    14000 4980   923    208    14100 4740   912    209    14100 5520  
eca-rers2012/Problem09_label35_false-unreach-call.c 924    209    14100 5200   951    212    14100 5100   936    211    14100 5180   951    212    14200 5610  
eca-rers2012/Problem09_label36_false-unreach-call.c 916    203    14200 4840   944    214    14100 5020   910    206    14100 4870   958    211    14100 5880  
eca-rers2012/Problem09_label38_false-unreach-call.c 942    684    8410 8870   918    673    8320 9490   912    663    8010 8460   942    697    8060 9700  
eca-rers2012/Problem09_label41_false-unreach-call.c 906    677    7060 9910   940    664    8250 9660   927    672    8140 9170   922    675    8070 9680  
eca-rers2012/Problem09_label44_false-unreach-call.c 904    591    10300 9370   904    603    10700 10100   902    606    9300 10600   904    618    10200 10900  
eca-rers2012/Problem09_label46_false-unreach-call.c 940    208    14100 4830   946    210    14100 5160   956    213    14100 5190   933    209    14100 5360  
eca-rers2012/Problem09_label47_false-unreach-call.c 916    205    14100 4960   950    212    14100 5120   936    210    14100 5380   941    209    14100 4900  
eca-rers2012/Problem09_label51_false-unreach-call.c 930    213    14100 4740   935    209    14100 4890   909    212    14100 4680   953    213    14100 5050  
eca-rers2012/Problem09_label53_false-unreach-call.c 903    620    9920 8180   903    602    9850 9620   902    608    10100 8460   968    605    10800 10400  
eca-rers2012/Problem09_label54_false-unreach-call.c 937    623    9330 8660   926    640    9530 10600   906    614    9300 9830   932    633    9310 9440  
eca-rers2012/Problem09_label56_false-unreach-call.c 916    609    9530 8860   920    613    9400 9030   921    624    9720 9350   903    607    9350 9270  
eca-rers2012/Problem09_label57_false-unreach-call.c 912    613    9550 7890   903    604    10100 10100   966    621    9980 9310   931    630    9650 9390  
eca-rers2012/Problem09_label59_false-unreach-call.c 904    635    8660 8680   904    689    7970 9380   925    673    8310 10600   943    675    8270 10600  
eca-rers2012/Problem10_label12_false-unreach-call.c 901    858    4970 11500   901    857    4970 11200   901    855    4950 13400   901    857    4960 12500  
eca-rers2012/Problem10_label15_false-unreach-call.c 901    859    4960 11200   901    858    4970 12000   901    858    4950 12700   901    857    4970 12200  
eca-rers2012/Problem10_label24_false-unreach-call.c 901    860    4960 12800   901    860    4970 12100   901    858    4950 10700   901    856    5000 13800  
eca-rers2012/Problem10_label26_false-unreach-call.c 901    859    4950 14200   901    857    4960 10700   901    854    4970 12900   901    857    4960 12200  
eca-rers2012/Problem10_label28_false-unreach-call.c 901    857    4980 13200   901    855    4960 11800   901    858    4960 11300   901    858    4970 13200  
eca-rers2012/Problem10_label29_false-unreach-call.c 901    858    4960 11700   901    858    4960 11600   901    856    4960 13300   901    855    4990 13800  
eca-rers2012/Problem10_label41_false-unreach-call.c 901    859    4960 11600   901    858    4960 11500   901    857    4960 12400   901    857    4950 12400  
eca-rers2012/Problem10_label42_false-unreach-call.c 901    856    4960 14200   901    855    4960 13600   901    857    4970 11100   901    856    4980 11100  
eca-rers2012/Problem10_label46_false-unreach-call.c 11.6  3.29 497 92.8 11.6  3.25 494 94.5 11.7  3.32 498 90.8 12.6  3.49 502 106  
eca-rers2012/Problem10_label47_false-unreach-call.c 901    860    4960 13300   901    858    4980 10600   901    858    4960 13800   901    857    4960 12500  
eca-rers2012/Problem10_label48_false-unreach-call.c 901    855    4970 12400   901    859    4970 10300   901    859    4990 9350   901    861    4960 11100  
eca-rers2012/Problem10_label50_false-unreach-call.c 901    856    4970 11000   901    857    4950 13800   901    854    4960 11400   901    857    4970 11200  
eca-rers2012/Problem10_label55_false-unreach-call.c 901    857    4960 11000   901    860    4960 11800   901    859    4960 12700   901    857    4960 12300  
eca-rers2012/Problem10_label57_false-unreach-call.c 901    858    4960 11800   901    857    4970 13300   901    855    4980 13300   901    856    4950 11800  
eca-rers2012/Problem10_label58_false-unreach-call.c 901    861    4940 12300   901    856    4970 10700   901    856    4980 13100   901    856    4950 13700  
eca-rers2012/Problem11_label00_false-unreach-call.c 901    857    4990 12300   901    856    4990 11400   901    847    4950 11700   901    849    5000 13100  
eca-rers2012/Problem11_label08_false-unreach-call.c 901    857    4990 12800   901    857    4980 11800   901    846    4920 12800   901    862    4970 13900  
eca-rers2012/Problem11_label14_false-unreach-call.c 901    854    4980 10800   901    860    4990 10900   901    849    5010 12000   901    845    4930 11500  
eca-rers2012/Problem11_label15_false-unreach-call.c 901    853    5000 11200   901    855    4990 12400   901    854    4990 10700   901    856    4970 13000  
eca-rers2012/Problem11_label20_false-unreach-call.c 901    859    4980 11900   901    857    4970 11900   901    854    4980 12200   901    857    4980 12200  
eca-rers2012/Problem11_label29_false-unreach-call.c 901    846    4920 12600   901    854    4990 13000   901    850    4990 12300   901    851    4980 10600  
eca-rers2012/Problem11_label31_false-unreach-call.c 901    859    4980 11300   901    853    5000 12300   901    855    4990 10900   901    857    4990 12200  
eca-rers2012/Problem11_label34_false-unreach-call.c 901    857    5000 11600   901    853    4970 12500   901    855    5020 10800   901    859    4960 11600  
eca-rers2012/Problem11_label36_false-unreach-call.c 901    859    4970 11800   901    857    4970 11400   901    847    4920 13100   901    853    4990 13400  
eca-rers2012/Problem11_label39_false-unreach-call.c 901    860    4980 13300   901    852    4990 10700   901    856    4970 11900   901    855    4980 10500  
eca-rers2012/Problem11_label42_false-unreach-call.c 901    856    4980 9910   901    855    4970 11300   901    858    4970 11700   901    857    4980 12400  
eca-rers2012/Problem11_label43_false-unreach-call.c 901    858    5010 11300   901    854    5000 11900   901    856    4980 12700   901    853    4990 11000  
eca-rers2012/Problem11_label49_false-unreach-call.c 901    852    4990 14300   901    854    4990 11700   901    855    4980 12000   901    857    4980 9940  
eca-rers2012/Problem11_label51_false-unreach-call.c 901    849    4930 12500   901    854    4980 10700   901    860    4980 12700   901    856    4980 12000  
eca-rers2012/Problem11_label58_false-unreach-call.c 901    854    4970 11100   901    851    5000 11400   901    858    4990 10900   901    845    4930 13100  
eca-rers2012/Problem12_label00_false-unreach-call.c 901    798    5590 12500   901    803    5490 10300   901    801    5560 10800   901    797    5540 10200  
eca-rers2012/Problem12_label03_false-unreach-call.c 901    795    5560 12300   901    796    5570 12200   901    798    5340 11000   901    800    5380 11400  
eca-rers2012/Problem12_label06_false-unreach-call.c 901    791    5300 10700   901    800    5260 10700   901    798    5380 11900   901    796    5460 9530  
eca-rers2012/Problem12_label07_false-unreach-call.c 901    797    5370 10300   901    799    5260 10300   901    796    5530 13600   901    797    5570 10600  
eca-rers2012/Problem12_label08_false-unreach-call.c 901    802    5500 10200   901    792    5250 10100   901    798    5470 10500   901    795    5600 11300  
eca-rers2012/Problem12_label10_false-unreach-call.c 901    789    5260 11400   901    797    5560 12400   901    801    5490 12500   901    795    5340 11300  
eca-rers2012/Problem12_label13_false-unreach-call.c 901    798    5280 12700   901    798    5560 12600   901    799    5540 11200   901    802    5250 12100  
eca-rers2012/Problem12_label19_false-unreach-call.c 901    796    5400 12000   901    791    5390 10800   901    798    5320 10800   901    799    5480 11100  
eca-rers2012/Problem12_label20_false-unreach-call.c 901    803    5480 11200   901    796    5580 10200   901    796    5520 11300   901    794    5620 10100  
eca-rers2012/Problem12_label21_false-unreach-call.c 901    800    5510 11700   901    793    5550 10900   901    801    5520 11300   901    800    5520 10700  
eca-rers2012/Problem12_label25_false-unreach-call.c 901    794    5370 11600   901    800    5570 11900   901    801    5490 11300   901    805    5240 11400  
eca-rers2012/Problem12_label28_false-unreach-call.c 901    788    5280 11000   901    793    5450 13200   901    792    5290 10000   901    793    5330 10800  
eca-rers2012/Problem12_label30_false-unreach-call.c 901    803    5370 11100   901    799    5440 12900   902    793    5330 11500   901    795    5580 13000  
eca-rers2012/Problem12_label34_false-unreach-call.c 901    803    5460 10100   901    788    5290 11100   901    800    5400 11200   901    795    5560 11600  
eca-rers2012/Problem12_label35_false-unreach-call.c 901    800    5480 12000   901    801    5520 11600   901    803    5490 11100   901    801    5400 10800  
eca-rers2012/Problem12_label37_false-unreach-call.c 901    802    5550 12300   901    795    5360 12200   901    786    5370 11500   901    798    5490 12100  
eca-rers2012/Problem12_label38_false-unreach-call.c 901    798    5520 10800   901    794    5250 10200   901    802    5510 11200   901    805    5430 10800  
eca-rers2012/Problem12_label39_false-unreach-call.c 901    801    5270 11500   901    800    5310 11200   901    800    5400 9570   901    798    5320 11000  
eca-rers2012/Problem12_label40_false-unreach-call.c 901    793    5570 10700   901    794    5310 12900   901    794    5590 10900   901    802    5580 13300  
eca-rers2012/Problem12_label42_false-unreach-call.c 901    793    5230 10500   901    788    5510 10400   901    801    5450 10300   901    800    5250 12400  
eca-rers2012/Problem12_label48_false-unreach-call.c 901    798    5580 12100   901    798    5530 10200   901    793    5310 11600   901    789    5280 11200  
eca-rers2012/Problem12_label50_false-unreach-call.c 901    807    5480 10800   901    798    5330 10600   901    801    5620 12200   901    797    5610 11200  
eca-rers2012/Problem12_label51_false-unreach-call.c 901    798    5270 12500   901    798    5340 13400   901    798    5570 10900   901    798    5320 13100  
eca-rers2012/Problem12_label52_false-unreach-call.c 901    793    5380 11300   901    794    5620 11100   901    803    5410 12400   901    798    5300 11200  
eca-rers2012/Problem12_label55_false-unreach-call.c 901    801    5490 10400   901    800    5320 11300   901    794    5410 10800   901    795    5580 12400  
eca-rers2012/Problem13_label04_false-unreach-call.c 901    800    5800 11000   901    798    5780 10900   901    797    5830 12500   901    799    5780 12500  
eca-rers2012/Problem13_label06_false-unreach-call.c 901    804    5750 10500   901    793    5830 11100   901    794    5860 11200   901    801    5770 9810  
eca-rers2012/Problem13_label07_false-unreach-call.c 901    806    5810 10500   901    801    5850 10100   901    796    5750 12000   901    796    5780 9560  
eca-rers2012/Problem13_label11_false-unreach-call.c 901    798    5830 10800   901    798    5810 12900   901    798    5800 12700   901    802    5770 10800  
eca-rers2012/Problem13_label12_false-unreach-call.c 901    798    5760 12700   901    803    5610 10900   901    798    5770 10500   901    800    5820 12800  
eca-rers2012/Problem13_label16_false-unreach-call.c 901    804    5810 11200   901    798    5730 9930   901    803    5740 10700   901    801    5830 12400  
eca-rers2012/Problem13_label19_false-unreach-call.c 901    799    5790 10100   901    797    5830 12100   901    801    5740 10200   901    792    5840 10900  
eca-rers2012/Problem13_label21_false-unreach-call.c 901    804    5800 11200   901    799    5750 12000   901    805    5810 12500   901    800    5850 11700  
eca-rers2012/Problem13_label23_false-unreach-call.c 901    802    5790 9730   901    796    5770 9540   901    809    5790 10200   901    796    5810 11400  
eca-rers2012/Problem13_label24_false-unreach-call.c 901    796    5770 11500   901    800    5830 11500   901    794    5720 11500   901    801    5740 11000  
eca-rers2012/Problem13_label25_false-unreach-call.c 901    799    5670 11300   901    796    5880 12700   901    795    5780 11600   901    802    5770 12400  
eca-rers2012/Problem13_label28_false-unreach-call.c 901    793    5860 13200   901    800    5850 11100   901    799    5740 10800   901    803    5490 11500  
eca-rers2012/Problem13_label29_false-unreach-call.c 902    803    5810 11600   901    807    5760 11400   901    798    5740 11000   901    796    5840 10900  
eca-rers2012/Problem13_label30_false-unreach-call.c 901    795    5720 11400   901    796    5750 10800   901    795    5760 12300   901    799    5750 10400  
eca-rers2012/Problem13_label32_false-unreach-call.c 901    797    5780 10400   901    798    5800 12200   902    795    5780 11100   901    796    5840 11100  
eca-rers2012/Problem13_label35_false-unreach-call.c 901    803    5750 9730   901    797    5850 9980   901    806    5840 11500   901    805    5820 10400  
eca-rers2012/Problem13_label36_false-unreach-call.c 901    804    5780 12000   901    801    5790 13600   901    800    5730 10300   901    803    5750 11100  
eca-rers2012/Problem13_label40_false-unreach-call.c 901    793    5740 10700   901    800    5650 11600   901    794    5790 10200   901    798    5680 10500  
eca-rers2012/Problem13_label43_false-unreach-call.c 901    802    5770 11100   901    793    5810 11100   901    805    5730 12200   901    805    5820 12100  
eca-rers2012/Problem13_label44_false-unreach-call.c 901    797    5810 11100   901    799    5860 13200   901    801    5800 13300   901    793    5750 11400  
eca-rers2012/Problem13_label45_false-unreach-call.c 901    796    5800 11600   901    804    5820 11000   901    801    5800 10300   901    801    5720 11800  
eca-rers2012/Problem13_label48_false-unreach-call.c 901    800    5800 11800   901    800    5780 11000   901    801    5860 11400   901    803    5710 11600  
eca-rers2012/Problem13_label51_false-unreach-call.c 901    799    5720 12700   901    806    5830 12300   901    799    5810 11200   901    802    5750 12500  
eca-rers2012/Problem13_label54_false-unreach-call.c 901    798    5810 12300   901    806    5770 12900   901    800    5800 10200   901    801    5820 12100  
eca-rers2012/Problem13_label58_false-unreach-call.c 901    806    5840 11000   901    795    5810 12700   901    799    5710 10300   901    805    5730 12600  
eca-rers2012/Problem14_label02_false-unreach-call.c 901    848    4990 11800   901    846    4990 11000   901    849    5000 12200   901    847    4970 11400  
eca-rers2012/Problem14_label08_false-unreach-call.c 901    849    4980 12100   901    850    4970 10900   901    850    4970 10200   901    849    4970 10200  
eca-rers2012/Problem14_label10_false-unreach-call.c 901    850    4980 11200   901    848    4990 13100   901    849    5000 12300   901    849    5000 11300  
eca-rers2012/Problem14_label11_false-unreach-call.c 901    848    5000 13200   901    848    4980 11800   901    849    5000 11800   901    850    4950 12200  
eca-rers2012/Problem14_label12_false-unreach-call.c 901    850    4980 11900   901    847    5000 11700   901    848    4960 14400   901    848    4970 11800  
eca-rers2012/Problem14_label13_false-unreach-call.c 901    850    4950 12000   901    850    5000 11500   901    848    5020 13100   901    845    4980 11400