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-71-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-30 08:12:30 CEST
Run set mathsat5-qf_abvfp mathsat5-qf_ufbvfp
Options -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=mathsat5 -heap 10000M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=mathsat5 -heap 11000M
../sv-benchmarks/c/ status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J)
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 901    893     830 10700   901    894     733 10800  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    896     576 10400   901    897     1240 10800  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    896     583 11300   901    896     1250 11100  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    894     805 11200   901    894     659 11600  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    893     745 11100   901    894     601 12800  
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    892     1400 10600   901    893     1170 10900  
array-examples/standard_copy1_false-unreach-call_ground.i 901    897     650 9830   901    898     977 11200  
array-examples/standard_copy2_false-unreach-call_ground.i 901    895     713 12900   901    897     1140 10300  
array-examples/standard_copy3_false-unreach-call_ground.i 901    896     779 10300   902    897     1390 10000  
array-examples/standard_copy4_false-unreach-call_ground.i 901    896     982 12700   902    897     1610 10600  
array-examples/standard_copy5_false-unreach-call_ground.i 901    895     1040 10000   901    896     1770 10000  
array-examples/standard_copy6_false-unreach-call_ground.i 901    895     1060 10200   902    897     1900 9540  
array-examples/standard_copy7_false-unreach-call_ground.i 901    894     1100 11900   902    898     2060 9800  
array-examples/standard_copy8_false-unreach-call_ground.i 901    894     1140 10200   901    896     2240 9140  
array-examples/standard_copy9_false-unreach-call_ground.i 901    893     1400 12700   901    896     2390 11100  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    896     662 10100   901    897     960 10800  
array-examples/standard_init1_false-unreach-call_ground.i 901    897     527 13000   901    897     732 11200  
array-examples/standard_init2_false-unreach-call_ground.i 901    897     502 13100   901    897     715 11000  
array-examples/standard_init3_false-unreach-call_ground.i 901    897     511 11600   901    897     719 12500  
array-examples/standard_init4_false-unreach-call_ground.i 901    896     543 12700   901    897     709 11700  
array-examples/standard_init5_false-unreach-call_ground.i 901    895     580 10200   901    897     688 11500  
array-examples/standard_init6_false-unreach-call_ground.i 901    896     527 10700   901    897     672 12800  
array-examples/standard_init7_false-unreach-call_ground.i 901    896     550 12300   901    896     721 12500  
array-examples/standard_init8_false-unreach-call_ground.i 901    895     594 10900   901    897     710 10900  
array-examples/standard_init9_false-unreach-call_ground.i 901    896     583 12300   901    896     723 11100  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    896     551 12500   901    897     477 13900  
array-examples/standard_partition_false-unreach-call_ground.i 901    895     769 10400   902    897     1650 10300  
array-examples/standard_running_false-unreach-call.i 901    895     693 12000   901    896     956 12200  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    893     1080 9510   901    894     1090 12000  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    893     1150 11800   901    894     962 10400  
array-examples/relax_true-unreach-call.i 901    894     683 11500   901    894     701 11600  
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    896     632 10000   901    896     523 10700  
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    897     530 11600   901    897     820 10900  
array-examples/sanfoundry_24_true-unreach-call.i 3.74 1.69  308 31.5 2.31 .973 230 23.1
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    896     581 10900   901    897     484 11200  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.05 .907 213 18.0 2.11 .878 224 19.0
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    896     562 10600   902    897     1240 12200  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    894     773 10100   901    893     601 11500  
array-examples/standard_compareModified_true-unreach-call_ground.i 901    895     716 10800   901    896     1060 10600  
array-examples/standard_compare_true-unreach-call_ground.i 901    894     930 10900   901    893     521 10200  
array-examples/standard_copy1_true-unreach-call_ground.i 901    897     627 10500   901    897     939 12200  
array-examples/standard_copy2_true-unreach-call_ground.i 901    896     692 11700   901    897     1160 11100  
array-examples/standard_copy3_true-unreach-call_ground.i 901    896     785 11500   902    897     1370 11900  
array-examples/standard_copy4_true-unreach-call_ground.i 901    895     977 9700   901    897     1540 10800  
array-examples/standard_copy5_true-unreach-call_ground.i 901    895     1020 10500   902    897     1740 10700  
array-examples/standard_copy6_true-unreach-call_ground.i 901    895     1060 10600   901    897     1890 10500  
array-examples/standard_copy7_true-unreach-call_ground.i 901    895     1090 10400   902    897     2120 10000  
array-examples/standard_copy8_true-unreach-call_ground.i 901    894     1140 11100   902    898     2270 8730  
array-examples/standard_copy9_true-unreach-call_ground.i 901    893     1390 10100   902    895     2430 9930  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    896     660 11300   901    898     989 10800  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    896     675 11300   901    897     921 12700  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    896     665 10500   901    897     957 12000  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    896     668 11400   901    898     976 11600  
array-examples/standard_find_true-unreach-call_ground.i 901    897     502 12300   901    897     726 10900  
array-examples/standard_init1_true-unreach-call_ground.i 901    897     568 10300   901    897     722 12600  
array-examples/standard_init2_true-unreach-call_ground.i 901    897     523 11900   901    897     726 11200  
array-examples/standard_init3_true-unreach-call_ground.i 901    896     520 11200   901    897     740 11100  
array-examples/standard_init4_true-unreach-call_ground.i 901    896     522 11500   901    897     750 11500  
array-examples/standard_init5_true-unreach-call_ground.i 901    895     570 10700   901    897     715 11800  
array-examples/standard_init6_true-unreach-call_ground.i 901    896     538 10700   901    897     721 10600  
array-examples/standard_init7_true-unreach-call_ground.i 901    897     566 11200   901    897     693 10500  
array-examples/standard_init8_true-unreach-call_ground.i 901    896     512 10700   901    896     732 12900  
array-examples/standard_init9_true-unreach-call_ground.i 901    895     559 10700   901    896     728 12300  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    897     555 11900   901    897     485 11000  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    897     555 10900   901    898     491 10900  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    897     523 10300   901    898     745 12700  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    896     768 9380   902    897     1710 10700  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    895     795 10700   901    897     2640 11400  
array-examples/standard_partition_true-unreach-call_ground.i 901    896     755 9440   902    898     1490 10500  
array-examples/standard_password_true-unreach-call_ground.i 901    892     969 11500   901    893     654 12600  
array-examples/standard_reverse_true-unreach-call_ground.i 901    897     642 10700   901    897     1000 13800  
array-examples/standard_running_true-unreach-call.i 901    894     730 10900   901    896     924 10200  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 3.50 1.74  297 32.2 49.6  47.5   295 700  
array-examples/standard_seq_init_true-unreach-call_ground.i 901    896     545 12000   901    897     762 10300  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    891     1280 9570   901    892     564 10700  
array-examples/standard_strcpy_original_true-unreach-call.i 901    896     669 10200   901    896     976 10700  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    896     684 9800   901    897     982 10900  
array-examples/standard_two_index_01_true-unreach-call.i 901    897     495 13900   901    898     1020 11600  
array-examples/standard_two_index_02_true-unreach-call.i 901    896     653 11400   901    897     1000 10300  
array-examples/standard_two_index_03_true-unreach-call.i 901    897     476 11300   901    897     1010 11900  
array-examples/standard_two_index_04_true-unreach-call.i 901    896     666 9930   901    897     1020 13100  
array-examples/standard_two_index_05_true-unreach-call.i 901    897     665 11100   901    897     1000 11000  
array-examples/standard_two_index_06_true-unreach-call.i 901    897     486 11000   901    898     996 10200  
array-examples/standard_two_index_07_true-unreach-call.i 901    897     652 12500   901    897     1020 10700  
array-examples/standard_two_index_08_true-unreach-call.i 901    896     668 11300   901    897     990 11300  
array-examples/standard_two_index_09_true-unreach-call.i 901    897     668 10700   901    897     1000 10000  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    895     1480 9180   901    895     1600 10400  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    896     680 10300   901    898     1190 10100  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    897     585 10700   901    898     705 13500  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 901    897     1910 13400   901    898     707 9770  
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    894     718 12200   902    897     1650 9230  
array-industry-pattern/array_range_init_false-unreach-call.i 902    898     1580 13800   901    896     730 11700  
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    893     787 10000   901    897     2260 8180  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    892     1020 11000   901    893     1120 9890  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    896     681 11800   901    897     1330 9250  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    896     667 12900   902    896     1470 10900  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 901    895     1940 11700   901    897     732 12500  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 901    895     1800 11000   901    896     3710 8210  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    896     712 10700   901    897     969 12600  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 901    896     1780 11400   903    898     3060 8770  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 902    897     3110 12800   902    897     1390 10400  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 902    896     3090 10100   902    897     1810 12000  
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    897     1740 10700   901    897     714 12000  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    896     1900 13500   901    897     9360 9420  
array-industry-pattern/array_shadowinit_true-unreach-call.i 2.43 1.14  222 22.2 626    620     658 8850  
reducercommutativity/rangesum05_false-unreach-call.i 26.5  24.0   376 273   25.4  23.0   374 305  
reducercommutativity/rangesum10_false-unreach-call.i 857    850     2260 8370   103    96.9   436 1130  
reducercommutativity/rangesum20_false-unreach-call.i 902    893     1320 7430   507    499     588 5270  
reducercommutativity/rangesum40_false-unreach-call.i 901    892     576 10500   901    893     616 9500  
reducercommutativity/rangesum60_false-unreach-call.i 901    892     554 10400   901    892     648 10000  
reducercommutativity/rangesum_false-unreach-call.i 901    893     596 8620   901    893     624 9020  
reducercommutativity/avg05_true-unreach-call.i 901    898     2100 9090   901    898     1940 8350  
reducercommutativity/avg10_true-unreach-call.i 901    898     2300 5230   901    898     2100 8330  
reducercommutativity/avg20_true-unreach-call.i 902    898     4130 5130   901    897     2340 8650  
reducercommutativity/avg40_true-unreach-call.i 279    273     15000 2980   159    151     701 1980  
reducercommutativity/avg60_true-unreach-call.i 492    485     15000 4980   357    347     918 3980  
reducercommutativity/avg_true-unreach-call.i 901    893     615 10500   901    893     592 10600  
reducercommutativity/max05_true-unreach-call_true-termination.i 52.3  50.3   726 508   912    909     1100 11200  
reducercommutativity/max10_true-unreach-call_true-termination.i 902    898     2990 6710   902    899     2620 7550  
reducercommutativity/max20_true-unreach-call.i 901    898     1360 7570   902    896     5030 7070  
reducercommutativity/max40_true-unreach-call.i 902    895     2400 8220   235    227     894 2310  
reducercommutativity/max60_true-unreach-call.i 902    894     1820 7210   609    599     1340 5400  
reducercommutativity/max_true-unreach-call.i 901    892     727 10800   901    893     727 12300  
reducercommutativity/sep05_true-unreach-call.i 4.96 3.11  303 46.0 9.46 7.08  307 119  
reducercommutativity/sep10_true-unreach-call.i 41.8  39.3   3310 363   168    164     594 1910  
reducercommutativity/sep20_true-unreach-call.i 901    896     1020 5520   902    896     1690 4030  
reducercommutativity/sep40_true-unreach-call.i 903    896     3980 6200   249    239     853 2900  
reducercommutativity/sep60_true-unreach-call.i 905    896     5130 7310   657    647     1130 8120  
reducercommutativity/sep_true-unreach-call.i 901    895     420 12300   901    895     442 10800  
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    898     3880 7770   901    899     1420 11800  
reducercommutativity/sum10_true-unreach-call.i 901    898     3290 7900   901    898     1650 9810  
reducercommutativity/sum20_true-unreach-call.i 903    899     5340 7540   901    897     2150 8880  
reducercommutativity/sum40_true-unreach-call.i 229    223     15000 2620   127    119     791 1350  
reducercommutativity/sum60_true-unreach-call.i 883    873     15000 7900   308    298     939 3660  
reducercommutativity/sum_true-unreach-call.i 901    892     692 11700   901    892     579 10100  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 3.09 1.34  273 28.7 3.19 1.36  270 28.0
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    897     474 13800   901    897     469 10900  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 4.49 2.34  290 42.5 4.42 2.32  274 43.4
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 4.41 2.36  280 43.9 4.47 2.36  280 43.4
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 44.9  42.9   537 504   45.4  43.4   536 515  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 424    422     359 4390   428    426     364 4770  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 664    661     400 8350   684    682     388 7260  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 4.23 2.81  244 45.5 4.20 2.80  244 51.7
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 3.47 1.93  245 32.2 3.57 1.96  264 36.5
bitvector/jain_1_true-unreach-call_true-no-overflow.i 2.15 .973 218 19.3 2.04 .935 232 17.6
bitvector/jain_2_true-unreach-call_true-no-overflow.i 2.13 .968 225 16.1 2.16 .944 229 18.5
bitvector/jain_4_true-unreach-call_true-no-overflow.i 2.09 .957 220 21.5 2.13 .969 230 21.4
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    899     423 9780   901    898     387 9870  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 2.21 1.00  228 19.3 2.17 .984 224 20.2
bitvector/jain_7_true-unreach-call_true-no-overflow.i 6.52 5.32  223 75.4 6.49 5.32  232 71.6
bitvector/modulus_true-unreach-call_true-no-overflow.i 6.67 5.41  245 72.1 6.66 5.44  244 70.1
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 2.40 1.12  222 24.4 2.36 1.12  220 24.6
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 5.86 4.10  239 65.4 5.78 4.10  241 59.7
bitvector/parity_true-unreach-call_true-no-overflow.i 15.9  13.9   283 185   15.9  13.8   277 197  
bitvector/sum02_true-unreach-call_true-no-overflow.i 901    897     456 11700   901    898     466 10900  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 5.68 2.55  324 52.6 5.61 2.55  319 46.8
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 6.12 2.98  313 63.8 6.02 2.90  309 56.7
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 4.05 1.77  282 32.8 4.08 1.75  283 40.4
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    889     5170 10100   901    889     5190 10300  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    893     5500 11200   901    893     5460 9780  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    893     4180 12300   901    894     4140 10200  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    892     2980 10600   901    893     3060 10600  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 902    893     5890 10100   901    893     5870 13200  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    887     6880 11400   901    883     6770 9660  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    879     6890 9470   901    881     7040 9920  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    892     4670 9560   901    893     5140 9010  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    892     4930 12600   902    893     5090 12200  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 902    895     637 12100   902    893     686 10400  
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 23.6  15.5   489 268   26.1  15.4   491 272  
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 153    143     792 1780   151    142     771 1770  
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 912    908     916 11700   909    905     907 11200  
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 22.8  13.7   489 211   21.6  13.9   491 206  
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.01 .902 219 20.9 2.02 .914 216 18.1
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.09 .932 215 19.0 2.15 .926 226 20.1
bitvector-regression/integerpromotion_false-unreach-call.c 2.12 .895 218 19.4 1.97 .883 212 18.8
bitvector-regression/recHanoi03_false-unreach-call.c 2.04 .898 211 20.3 1.95 .867 217 17.4
bitvector-regression/signextension2_false-unreach-call.c 2.06 .917 215 18.9 2.03 .922 218 18.8
bitvector-regression/signextension_false-unreach-call.c 2.12 .925 214 20.7 2.02 .905 213 18.3
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.03 .878 212 17.0 1.94 .872 211 16.6
bitvector-regression/integerpromotion_true-unreach-call.c 1.96 .880 213 17.5 2.22 .974 218 18.9
bitvector-regression/signextension2_true-unreach-call.c 2.06 .896 211 18.4 2.05 .920 215 20.6
bitvector-regression/signextension_true-unreach-call.c 2.04 .927 213 18.6 2.16 .920 218 19.3
bitvector-loops/diamond_false-unreach-call2.i 2.19 .980 218 20.9 2.20 .997 221 20.1
bitvector-loops/overflow_false-unreach-call1.i 901    898     395 13000   901    898     388 11200  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 4.95 3.19  294 49.3 4.98 3.14  297 50.4
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.67 3.16  334 62.6 6.64 3.19  330 71.8
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.46 2.18  297 46.8 4.57 2.18  296 42.9
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.54 2.77  315 50.9 5.44 2.83  318 47.8
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 3.82 1.62  278 31.4 3.55 1.53  277 35.4
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.46 3.27  333 64.4 6.47 3.19  332 54.5
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.25 2.88  314 55.6 5.15 2.88  312 46.9
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.40 2.14  295 40.8 4.36 2.13  289 39.0
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.92 2.50  310 49.8 5.02 2.56  307 45.5
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2.80 1.26  227 23.8 2.63 1.18  226 25.2
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.65 1.58  278 27.4 3.39 1.44  269 33.1
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 4.13 1.72  290 37.5 4.10 1.71  287 33.3
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 4.19 1.75  293 33.9 4.10 1.74  292 36.5
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 4.32 1.86  301 35.9 4.30 1.83  301 39.3
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 4.20 1.79  295 36.2 4.23 1.73  292 36.7
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 2.96 1.22  263 25.4 2.93 1.24  263 24.5
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 5.11 2.39  316 48.4 5.18 2.41  314 53.1
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 4.88 2.22  306 48.1 4.92 2.17  304 44.3
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 4.12 1.63  288 37.4 4.04 1.65  289 33.7
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 3.51 1.42  280 34.3 3.35 1.34  272 30.3
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 3.67 1.53  285 34.5 3.69 1.53  283 33.7
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 3.73 1.53  282 34.5 3.65 1.52  280 31.6
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 2.76 1.11  220 23.9 2.83 1.13  258 27.4
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 51.3  45.0   684 621   51.9  45.3   679 547  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 24.1  18.5   591 262   24.9  18.4   596 296  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 28.5  22.8   626 248   28.2  22.8   616 332  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 14.4  9.65  450 171   14.2  9.63  444 169  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 901    892     5100 11100   901    891     4670 9910  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 98.4  92.2   1370 1090   97.9  92.2   1430 1120  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 2.53 1.12  222 21.3 2.43 1.14  222 23.2
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 901    892     5350 13000   901    892     5200 10400  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 901    892     5080 11100   901    892     5090 10600  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 901    891     5260 10400   901    891     5290 9900  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 901    892     5860 9940   901    891     5680 11600  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 901    891     5710 10000   901    892     5790 11900  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 901    891     5430 10800   901    892     5420 9830  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.37 1.04  219 23.8 2.43 1.05  221 23.7
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.41 1.06  222 22.6 2.46 1.07  222 22.4
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 2.30 .979 217 22.7 2.26 .949 225 23.8
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 2.24 .975 213 19.3 2.18 .977 220 22.8
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 2.42 1.08  221 25.0 2.33 .989 215 23.7
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 2.26 1.01  216 20.9 2.31 1.01  220 22.8
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 2.33 .983 220 19.2 2.27 1.00  224 20.1
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 2.30 1.03  216 20.1 2.31 1.02  221 21.7
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.14 .941 217 18.8 2.09 .961 215 21.1
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.26 .986 214 20.3 2.24 .950 212 18.0
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.22 .962 223 23.3 2.19 .939 215 19.1
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 2.28 .938 217 19.8 2.21 .962 222 19.9
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 2.40 1.04  218 21.6 2.41 1.05  222 21.0
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    882     763 10600   901    883     780 9300  
ntdrivers/diskperf_false-unreach-call.i.cil.c 8.41 4.54  354 71.1 9.09 5.21  442 95.1
ntdrivers/floppy_false-unreach-call.i.cil.c 909    899     10300 10900   148    134     1030 1570  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 5.80 2.72  345 53.4 5.96 2.71  316 55.5
ntdrivers/parport_false-unreach-call.i.cil.c 925    516     10300 7700   963    529     9970 8950  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 12.4  5.61  395 118   17.6  10.1   562 175  
ntdrivers/diskperf_true-unreach-call.i.cil.c 8.78 5.00  364 75.6 11.9  8.09  550 128  
ntdrivers/floppy2_true-unreach-call.i.cil.c 74.3  61.1   1080 813   76.0  63.1   1070 881  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 43.3  32.6   554 474   172    160     1020 2020  
ntdrivers/parport_true-unreach-call.i.cil.c 922    506     9890 8610   968    537     9830 8830  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 7.31 4.27  384 65.9 6.26 2.89  339 58.7
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 7.22 4.23  383 65.9 5.61 2.48  321 53.1
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 6.81 3.74  366 63.8 5.57 2.47  322 52.2
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 7.43 4.27  378 53.4 5.38 2.46  317 51.6
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 5.40 2.55  345 46.9 4.80 1.91  307 38.8
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 5.13 2.44  345 44.5 4.74 1.94  307 44.1
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 5.16 2.39  345 47.2 4.73 1.92  307 40.4
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 5.36 2.42  346 55.8 4.77 1.90  307 42.1
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 8.66 4.95  412 75.2 6.14 2.61  329 52.5
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 7.28 4.05  395 67.2 5.67 2.48  322 51.6
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 6.44 3.37  404 58.3 10.2  5.46  489 101  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 7.23 3.93  392 68.0 5.87 2.54  321 55.1
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 7.69 4.39  458 65.7 9.71 5.28  460 109  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 6.01 2.90  364 60.2 5.50 2.29  315 46.7
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 7.57 4.29  409 67.8 5.91 2.57  322 62.0
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 7.28 4.05  410 64.3 5.90 2.49  328 48.8
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 7.36 4.08  402 74.2 6.07 2.59  330 53.4
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 6.12 3.17  417 57.3 9.81 5.18  474 87.5
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 7.56 4.26  413 67.8 6.00 2.56  328 54.6
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 14.3  10.6   587 141   41.1  34.7   715 463  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 19.8  15.6   668 211   29.2  23.7   621 382  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 17.1  13.1   653 173   32.0  27.3   598 384  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 19.7  15.4   672 215   11.9  7.77  481 112  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 8.22 4.35  456 74.8 901    886     4400 10200  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 7.70 4.54  450 71.2 901    885     4740 9570  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 164    154     2540 1910   901    884     5000 10000  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 11.2  7.12  547 102   902    880     5450 9260  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 11.8  7.52  575 107   902    886     5050 10300  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 7.14 3.92  430 78.2 901    887     5140 11000  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 11.6  7.84  562 98.8 901    884     5230 11300  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 10.0  6.36  528 103   901    878     5890 9510  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 13.9  9.63  674 136   901    887     5030 12900  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 7.59 4.01  443 80.4 901    886     5210 10200  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 28.8  22.2   904 340   469    459     15000 5220  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 17.5  12.8   692 211   902    885     5000 11000  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 53.4  47.4   1270 552   902    888     5160 9210  
eca-rers2012/Problem01_label15_false-unreach-call.c 8.51 2.74  464 65.4 8.51 2.88  458 72.5
eca-rers2012/Problem01_label20_false-unreach-call.c 10.3  3.46  504 91.8 11.3  3.84  495 100  
eca-rers2012/Problem01_label21_false-unreach-call.c 8.01 2.77  446 76.6 8.77 2.84  463 78.8
eca-rers2012/Problem01_label32_false-unreach-call.c 10.6  3.35  473 79.0 10.5  3.37  490 91.4
eca-rers2012/Problem01_label33_false-unreach-call.c 9.44 2.97  478 76.7 10.0  3.14  496 73.7
eca-rers2012/Problem01_label35_false-unreach-call.c 8.50 2.77  459 71.7 8.12 2.71  448 70.9
eca-rers2012/Problem01_label37_false-unreach-call.c 9.06 3.05  475 72.3 10.7  3.35  494 83.7
eca-rers2012/Problem01_label38_false-unreach-call.c 8.32 2.71  457 70.4 8.04 2.81  444 67.3
eca-rers2012/Problem01_label44_false-unreach-call.c 7.46 2.42  426 62.2 7.65 2.46  438 64.9
eca-rers2012/Problem01_label47_false-unreach-call.c 11.0  3.36  502 89.8 11.0  3.44  496 90.3
eca-rers2012/Problem01_label50_false-unreach-call.c 8.17 2.67  452 67.1 8.34 2.73  450 78.1
eca-rers2012/Problem01_label56_false-unreach-call.c 9.77 3.10  476 74.1 9.85 3.07  506 75.8
eca-rers2012/Problem01_label57_false-unreach-call.c 9.45 3.05  467 79.9 9.59 3.04  464 90.0
eca-rers2012/Problem02_label13_false-unreach-call.c 6.27 2.08  337 50.4 6.37 2.06  332 56.3
eca-rers2012/Problem02_label16_false-unreach-call.c 6.21 2.10  325 43.5 6.20 2.11  321 52.4
eca-rers2012/Problem02_label43_false-unreach-call.c 6.52 2.13  329 47.8 6.31 2.21  325 60.0
eca-rers2012/Problem02_label44_false-unreach-call.c 6.25 2.06  321 50.5 6.55 2.21  335 60.1
eca-rers2012/Problem02_label45_false-unreach-call.c 6.78 2.42  397 54.5 7.65 2.40  428 56.4
eca-rers2012/Problem02_label50_false-unreach-call.c 7.59 2.39  443 62.4 7.48 2.37  397 56.2
eca-rers2012/Problem02_label59_false-unreach-call.c 7.76 2.40  417 67.0 7.19 2.36  412 67.5
eca-rers2012/Problem03_label09_false-unreach-call.c 21.1  6.87  833 161   18.3  6.84  825 178  
eca-rers2012/Problem03_label13_false-unreach-call.c 17.4  5.98  647 153   16.5  5.68  688 130  
eca-rers2012/Problem03_label26_false-unreach-call.c 16.7  5.26  682 144   14.5  4.84  568 133  
eca-rers2012/Problem03_label27_false-unreach-call.c 17.2  5.91  635 135   16.6  5.61  710 151  
eca-rers2012/Problem03_label28_false-unreach-call.c 17.2  6.08  648 130   18.4  5.90  624 162  
eca-rers2012/Problem03_label31_false-unreach-call.c 15.7  5.60  647 133   17.5  5.54  662 139  
eca-rers2012/Problem03_label35_false-unreach-call.c 20.2  7.81  837 170   19.5  7.66  843 175  
eca-rers2012/Problem03_label37_false-unreach-call.c 16.5  5.50  656 138   16.8  5.84  643 153  
eca-rers2012/Problem03_label39_false-unreach-call.c 17.7  7.05  798 135   18.0  6.83  840 154  
eca-rers2012/Problem03_label43_false-unreach-call.c 16.4  5.78  645 136   16.5  5.73  702 156  
eca-rers2012/Problem03_label45_false-unreach-call.c 16.7  6.90  811 147   17.1  6.57  674 144  
eca-rers2012/Problem03_label50_false-unreach-call.c 16.1  5.58  707 139   16.1  6.06  664 153  
eca-rers2012/Problem03_label52_false-unreach-call.c 18.5  7.02  856 154   19.2  7.67  689 159  
eca-rers2012/Problem04_label04_false-unreach-call.c 225    201     3830 2250   232    205     3810 2170  
eca-rers2012/Problem04_label06_false-unreach-call.c 244    219     4050 3050   247    222     4060 2280  
eca-rers2012/Problem04_label09_false-unreach-call.c 170    147     3170 1490   170    147     3150 1600  
eca-rers2012/Problem04_label11_false-unreach-call.c 202    177     3570 2130   205    181     3590 2110  
eca-rers2012/Problem04_label12_false-unreach-call.c 432    399     6830 4660   427    395     6650 3680  
eca-rers2012/Problem04_label13_false-unreach-call.c 171    147     3110 1570   171    147     3100 1780  
eca-rers2012/Problem04_label14_false-unreach-call.c 186    163     3730 1770   192    167     3610 1860  
eca-rers2012/Problem04_label15_false-unreach-call.c 184    162     3510 1700   184    161     3330 1950  
eca-rers2012/Problem04_label17_false-unreach-call.c 158    131     3020 1340   151    130     3040 1650  
eca-rers2012/Problem04_label18_false-unreach-call.c 228    200     4340 2140   230    201     4280 2620  
eca-rers2012/Problem04_label19_false-unreach-call.c 317    290     5350 3430   315    287     5260 3070  
eca-rers2012/Problem04_label26_false-unreach-call.c 218    191     3850 2460   211    188     3890 2520  
eca-rers2012/Problem04_label27_false-unreach-call.c 169    148     3170 1600   176    152     3070 1710  
eca-rers2012/Problem04_label31_false-unreach-call.c 299    269     5230 3660   307    277     5050 3110  
eca-rers2012/Problem04_label32_false-unreach-call.c 177    153     3460 1770   181    156     3640 1780  
eca-rers2012/Problem04_label35_false-unreach-call.c 195    172     3540 1970   194    169     3660 2490  
eca-rers2012/Problem04_label36_false-unreach-call.c 186    162     3530 2040   183    160     3520 1770  
eca-rers2012/Problem04_label38_false-unreach-call.c 203    180     3520 2030   203    180     3450 1830  
eca-rers2012/Problem04_label39_false-unreach-call.c 248    223     4300 2350   245    220     4180 3140  
eca-rers2012/Problem04_label40_false-unreach-call.c 320    286     5840 3480   320    281     6050 3570  
eca-rers2012/Problem04_label45_false-unreach-call.c 206    182     3600 2300   202    180     3660 2150  
eca-rers2012/Problem04_label52_false-unreach-call.c 249    221     4510 2290   248    221     4470 2320  
eca-rers2012/Problem04_label55_false-unreach-call.c 152    128     2820 1410   151    127     2790 1650  
eca-rers2012/Problem04_label58_false-unreach-call.c 277    250     4440 2600   276    250     4520 2800  
eca-rers2012/Problem05_label00_false-unreach-call.c 113    84.1   2510 1080   109    83.8   2500 940  
eca-rers2012/Problem05_label01_false-unreach-call.c 111    87.9   2470 1030   111    87.3   2540 1190  
eca-rers2012/Problem05_label11_false-unreach-call.c 116    88.0   2910 1040   111    87.8   2920 1130  
eca-rers2012/Problem05_label13_false-unreach-call.c 102    77.6   2460 1050   100    76.7   2520 1030  
eca-rers2012/Problem05_label15_false-unreach-call.c 111    87.4   2450 975   109    85.9   2560 1040  
eca-rers2012/Problem05_label18_false-unreach-call.c 97.2  74.0   2380 933   101    75.4   2350 987  
eca-rers2012/Problem05_label24_false-unreach-call.c 105    79.1   2340 940   106    77.1   2350 957  
eca-rers2012/Problem05_label26_false-unreach-call.c 100    76.7   2460 986   103    77.5   2460 944  
eca-rers2012/Problem05_label30_false-unreach-call.c 100    78.1   2300 965   102    78.8   2380 958  
eca-rers2012/Problem05_label32_false-unreach-call.c 99.3  76.5   2460 1070   100    78.1   2310 1080  
eca-rers2012/Problem05_label33_false-unreach-call.c 102    78.2   2420 1020   101    78.1   2430 964  
eca-rers2012/Problem05_label36_false-unreach-call.c 102    78.4   2480 978   101    77.6   2450 1130  
eca-rers2012/Problem05_label37_false-unreach-call.c 102    79.1   2410 971   104    79.9   2460 1040  
eca-rers2012/Problem05_label38_false-unreach-call.c 101    75.1   2400 970   99.1  75.1   2470 1100  
eca-rers2012/Problem05_label39_false-unreach-call.c 106    84.2   2340 987   105    81.4   2300 1130  
eca-rers2012/Problem05_label40_false-unreach-call.c 104    79.7   2450 958   107    79.2   2500 1250  
eca-rers2012/Problem05_label41_false-unreach-call.c 109    83.7   2500 1180   107    83.1   2520 998  
eca-rers2012/Problem05_label44_false-unreach-call.c 96.6  74.4   2330 985   96.1  73.6   2320 927  
eca-rers2012/Problem05_label47_false-unreach-call.c 109    89.1   2670 998   114    88.8   2520 1100  
eca-rers2012/Problem05_label48_false-unreach-call.c 110    80.2   2450 1170   105    80.0   2280 1130  
eca-rers2012/Problem05_label51_false-unreach-call.c 91.4  69.0   2350 723   90.8  68.4   2300 814  
eca-rers2012/Problem05_label55_false-unreach-call.c 103    76.1   2360 1210   102    77.1   2340 911  
eca-rers2012/Problem05_label57_false-unreach-call.c 101    76.3   2350 867   98.3  76.2   2330 891  
eca-rers2012/Problem05_label58_false-unreach-call.c 107    83.0   2420 974   107    82.8   2520 971  
eca-rers2012/Problem06_label00_false-unreach-call.c 141    125     15000 1680   142    125     15000 1520  
eca-rers2012/Problem06_label01_false-unreach-call.c 78.2  59.1   2100 760   81.7  58.9   2090 864  
eca-rers2012/Problem06_label02_false-unreach-call.c 86.7  67.2   2100 834   88.6  66.7   2190 756  
eca-rers2012/Problem06_label04_false-unreach-call.c 139    124     15000 1500   140    124     15000 1500  
eca-rers2012/Problem06_label05_false-unreach-call.c 78.1  58.7   1910 729   81.9  58.4   1880 694  
eca-rers2012/Problem06_label09_false-unreach-call.c 136    119     15000 1430   137    119     15000 1790  
eca-rers2012/Problem06_label10_false-unreach-call.c 124    106     15000 1630   123    106     15000 1430  
eca-rers2012/Problem06_label11_false-unreach-call.c 71.6  51.8   1910 631   75.1  51.7   1910 760  
eca-rers2012/Problem06_label12_false-unreach-call.c 86.6  65.4   2280 858   109    87.0   2230 950  
eca-rers2012/Problem06_label15_false-unreach-call.c 70.9  52.1   1940 816   73.7  52.5   1960 663  
eca-rers2012/Problem06_label20_false-unreach-call.c 138    120     15000 1710   139    121     15000 1540  
eca-rers2012/Problem06_label21_false-unreach-call.c 89.8  66.9   2230 778   85.5  66.3   2230 924  
eca-rers2012/Problem06_label24_false-unreach-call.c 147    127     15000 1830   147    127     15000 1460  
eca-rers2012/Problem06_label27_false-unreach-call.c 76.0  54.8   2090 870   73.1  55.1   2020 686  
eca-rers2012/Problem06_label29_false-unreach-call.c 136    118     15000 1720   134    118     15000 1700  
eca-rers2012/Problem06_label33_false-unreach-call.c 129    113     15000 1430   128    112     15000 1410  
eca-rers2012/Problem06_label36_false-unreach-call.c 75.5  56.0   2050 811   77.0  56.1   1920 720  
eca-rers2012/Problem06_label37_false-unreach-call.c 137    117     15000 1670   136    120     15000 1480  
eca-rers2012/Problem06_label38_false-unreach-call.c 76.5  57.6   1990 882   81.7  58.5   1990 747  
eca-rers2012/Problem06_label44_false-unreach-call.c 71.8  51.7   1860 731   72.4  51.5   1800 825  
eca-rers2012/Problem06_label47_false-unreach-call.c 64.6  44.6   1830 721   64.3  44.7   1830 659  
eca-rers2012/Problem06_label48_false-unreach-call.c 137    121     15000 1540   140    121     15000 1510  
eca-rers2012/Problem06_label56_false-unreach-call.c 140    123     15000 1510   139    123     15000 1680  
eca-rers2012/Problem06_label58_false-unreach-call.c 69.2  47.0   1800 652   69.7  46.6   1820 641  
eca-rers2012/Problem06_label59_false-unreach-call.c 137    120     15000 1650   137    120     15000 1620  
eca-rers2012/Problem07_label03_false-unreach-call.c 912    843     11700 11400   912    840     11600 9690  
eca-rers2012/Problem07_label05_false-unreach-call.c 912    843     11900 9650   912    841     11700 10500  
eca-rers2012/Problem07_label06_false-unreach-call.c 912    840     11300 9830   912    842     11300 10800  
eca-rers2012/Problem07_label07_false-unreach-call.c 912    844     11400 9420   912    839     11300 10100  
eca-rers2012/Problem07_label09_false-unreach-call.c 912    842     11200 10500   912    841     11000 9090  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    840     11400 10300   912    842     11600 9580  
eca-rers2012/Problem07_label15_false-unreach-call.c 912    842     11400 9990   912    843     11200 11200  
eca-rers2012/Problem07_label18_false-unreach-call.c 912    842     11300 8810   912    843     11300 10100  
eca-rers2012/Problem07_label19_false-unreach-call.c 912    840     11300 11400   912    842     11400 10600  
eca-rers2012/Problem07_label20_false-unreach-call.c 912    840     11400 10700   912    837     11200 12100  
eca-rers2012/Problem07_label23_false-unreach-call.c 912    840     11000 9940   912    843     11200 9730  
eca-rers2012/Problem07_label30_false-unreach-call.c 912    843     11400 11100   912    836     11300 9560  
eca-rers2012/Problem07_label31_false-unreach-call.c 912    840     11300 9220   912    840     11400 9860  
eca-rers2012/Problem07_label35_false-unreach-call.c 912    841     11300 9940   912    841     11100 11000  
eca-rers2012/Problem07_label36_false-unreach-call.c 912    841     11100 10100   912    842     11000 11800  
eca-rers2012/Problem07_label37_false-unreach-call.c 912    837     11300 9530   912    844     11100 9200  
eca-rers2012/Problem07_label39_false-unreach-call.c 912    841     11100 7850   912    843     11500 7850  
eca-rers2012/Problem07_label40_false-unreach-call.c 912    840     11500 10200   912    840     11500 10100  
eca-rers2012/Problem07_label42_false-unreach-call.c 912    845     11100 9170   912    843     11200 12700  
eca-rers2012/Problem07_label44_false-unreach-call.c 912    840     11500 12000   912    841     11500 12500  
eca-rers2012/Problem07_label46_false-unreach-call.c 912    841     11100 11700   912    841     11000 11900  
eca-rers2012/Problem07_label47_false-unreach-call.c 912    843     11300 10300   912    840     11200 11500  
eca-rers2012/Problem07_label48_false-unreach-call.c 912    842     11100 10400   912    841     11000 10200  
eca-rers2012/Problem07_label58_false-unreach-call.c 912    839     11300 9300   912    841     11300 9430  
eca-rers2012/Problem08_label01_false-unreach-call.c 915    806     12500 7820   915    807     12700 8000  
eca-rers2012/Problem08_label02_false-unreach-call.c 918    810     12200 6520   912    819     13100 9080  
eca-rers2012/Problem08_label04_false-unreach-call.c 912    833     10100 6930   912    835     10400 6960  
eca-rers2012/Problem08_label05_false-unreach-call.c 915    810     11900 6920   916    806     12300 6650  
eca-rers2012/Problem08_label06_false-unreach-call.c 917    812     12300 5450   919    810     12600 6260  
eca-rers2012/Problem08_label07_false-unreach-call.c 919    811     13600 6220   891    799     15000 6990  
eca-rers2012/Problem08_label10_false-unreach-call.c 912    836     9780 6500   912    835     10100 6510  
eca-rers2012/Problem08_label13_false-unreach-call.c 917    810     11300 8760   916    809     11500 7450  
eca-rers2012/Problem08_label15_false-unreach-call.c 912    833     11400 6810   912    827     12000 7360  
eca-rers2012/Problem08_label24_false-unreach-call.c 915    835     12200 6330   912    836     13100 8390  
eca-rers2012/Problem08_label25_false-unreach-call.c 915    822     11900 8070   915    806     12000 7770  
eca-rers2012/Problem08_label26_false-unreach-call.c 912    804     11900 7600   913    808     12600 6900  
eca-rers2012/Problem08_label28_false-unreach-call.c 914    807     12100 6160   915    808     12400 6470  
eca-rers2012/Problem08_label29_false-unreach-call.c 917    803     13000 8050   915    799     13300 8280  
eca-rers2012/Problem08_label34_false-unreach-call.c 917    808     12600 7380   916    812     13100 6780  
eca-rers2012/Problem08_label37_false-unreach-call.c 916    809     11400 6130   944    835     12000 7730  
eca-rers2012/Problem08_label43_false-unreach-call.c 915    807     11000 6060   915    809     11300 6920  
eca-rers2012/Problem08_label46_false-unreach-call.c 916    806     11400 6700   916    808     11400 6920  
eca-rers2012/Problem08_label48_false-unreach-call.c 912    807     12100 6100   916    813     12400 7760  
eca-rers2012/Problem08_label49_false-unreach-call.c 916    821     12800 7180   912    824     13000 6390  
eca-rers2012/Problem08_label50_false-unreach-call.c 911    808     11200 8090   909    824     11500 5910  
eca-rers2012/Problem08_label51_false-unreach-call.c 915    810     11600 6940   915    809     11700 6250  
eca-rers2012/Problem08_label55_false-unreach-call.c 910    803     12000 6420   911    800     12400 8510  
eca-rers2012/Problem08_label59_false-unreach-call.c 688    609     15000 5050   682    607     15000 5620  
eca-rers2012/Problem09_label02_false-unreach-call.c 912    809     14800 6960   854    766     15000 7260  
eca-rers2012/Problem09_label03_false-unreach-call.c 912    814     12000 6800   918    815     12300 7920  
eca-rers2012/Problem09_label06_false-unreach-call.c 912    814     14400 8980   913    820     14800 8600  
eca-rers2012/Problem09_label08_false-unreach-call.c 909    807     13400 6650   910    810     15000 5490  
eca-rers2012/Problem09_label10_false-unreach-call.c 526    463     15000 5340   534    462     15000 5370  
eca-rers2012/Problem09_label11_false-unreach-call.c 757    655     15000 5820   709    617     15000 5070  
eca-rers2012/Problem09_label15_false-unreach-call.c 494    421     15000 4020   514    424     15000 4990  
eca-rers2012/Problem09_label19_false-unreach-call.c 913    825     14400 5990   912    810     14600 7360  
eca-rers2012/Problem09_label20_false-unreach-call.c 919    816     13000 7870   917    825     13900 8080  
eca-rers2012/Problem09_label32_false-unreach-call.c 884    792     15000 7030   882    780     15000 6310  
eca-rers2012/Problem09_label34_false-unreach-call.c 911    814     13100 6630   912    810     13500 7280  
eca-rers2012/Problem09_label35_false-unreach-call.c 912    819     13300 6790   912    808     13700 6450  
eca-rers2012/Problem09_label36_false-unreach-call.c 433    358     15000 4110   431    359     15000 4420  
eca-rers2012/Problem09_label38_false-unreach-call.c 917    823     12000 8450   916    813     12100 6880  
eca-rers2012/Problem09_label41_false-unreach-call.c 910    808     12100 7740   880    778     15000 7710  
eca-rers2012/Problem09_label44_false-unreach-call.c 803    702     15000 5870   800    698     15000 5420  
eca-rers2012/Problem09_label46_false-unreach-call.c 416    346     15000 3540   421    347     15000 3520  
eca-rers2012/Problem09_label47_false-unreach-call.c 736    645     15000 6540   755    664     15000 6430  
eca-rers2012/Problem09_label51_false-unreach-call.c 434    363     15000 3930   421    348     15000 4460  
eca-rers2012/Problem09_label53_false-unreach-call.c 912    812     13700 7420   919    814     14000 6330  
eca-rers2012/Problem09_label54_false-unreach-call.c 556    484     15000 4410   540    479     15000 4630  
eca-rers2012/Problem09_label56_false-unreach-call.c 914    824     11000 9230   914    813     11200 7940  
eca-rers2012/Problem09_label57_false-unreach-call.c 917    828     13000 5870   918    827     13500 7000  
eca-rers2012/Problem09_label59_false-unreach-call.c 914    822     10900 6870   914    821     11300 6830  
eca-rers2012/Problem10_label12_false-unreach-call.c 33.9  29.3   989 315   34.3  29.7   991 265  
eca-rers2012/Problem10_label15_false-unreach-call.c 35.6  31.1   990 278   35.5  31.1   989 258  
eca-rers2012/Problem10_label24_false-unreach-call.c 36.1  31.1   1010 301   35.6  31.2   988 264  
eca-rers2012/Problem10_label26_false-unreach-call.c 36.6  31.3   1010 277   35.7  30.9   993 314  
eca-rers2012/Problem10_label28_false-unreach-call.c 34.9  30.3   985 248   34.8  29.9   995 287  
eca-rers2012/Problem10_label29_false-unreach-call.c 36.7  31.7   1000 272   36.8  31.9   994 263  
eca-rers2012/Problem10_label41_false-unreach-call.c 20.4  16.2   737 153   20.0  16.1   725 161  
eca-rers2012/Problem10_label42_false-unreach-call.c 19.7  15.9   718 147   20.6  16.2   746 153  
eca-rers2012/Problem10_label46_false-unreach-call.c 8.49 5.65  495 80.6 8.33 5.57  498 84.9
eca-rers2012/Problem10_label47_false-unreach-call.c 19.9  15.6   728 155   19.7  15.6   730 175  
eca-rers2012/Problem10_label48_false-unreach-call.c 37.0  31.9   1000 283   36.6  31.8   1000 325  
eca-rers2012/Problem10_label50_false-unreach-call.c 37.8  33.1   995 313   37.4  32.8   989 303  
eca-rers2012/Problem10_label55_false-unreach-call.c 20.6  16.2   732 175   20.0  15.6   728 174  
eca-rers2012/Problem10_label57_false-unreach-call.c 34.0  29.6   980 253   34.2  29.5   983 254  
eca-rers2012/Problem10_label58_false-unreach-call.c 37.2  32.6   996 298   37.5  32.6   991 325  
eca-rers2012/Problem11_label00_false-unreach-call.c 174    164     2190 1190   173    166     2140 1360  
eca-rers2012/Problem11_label08_false-unreach-call.c 89.3  83.7   1510 603   89.9  81.7   1530 694  
eca-rers2012/Problem11_label14_false-unreach-call.c 87.9  82.7   1510 686   90.4  83.2   1530 664  
eca-rers2012/Problem11_label15_false-unreach-call.c 87.8  80.2   1530 583   86.6  79.7   1520 589  
eca-rers2012/Problem11_label20_false-unreach-call.c 187    181     2160 1310   184    177     2140 1310  
eca-rers2012/Problem11_label29_false-unreach-call.c 77.6  71.4   1530 620   80.6  72.0   1520 629  
eca-rers2012/Problem11_label31_false-unreach-call.c 171    163     2160 1600   174    165     2170 1130  
eca-rers2012/Problem11_label34_false-unreach-call.c 186    177     2150 1250   188    180     2150 1500  
eca-rers2012/Problem11_label36_false-unreach-call.c 84.3  77.1   1520 536   82.2  74.3   1520 614  
eca-rers2012/Problem11_label39_false-unreach-call.c 197    188     2160 1440   195    187     2040 1470  
eca-rers2012/Problem11_label42_false-unreach-call.c 84.6  79.4   1500 808   88.3  79.5   1540 605  
eca-rers2012/Problem11_label43_false-unreach-call.c 85.0  77.1   1540 680   85.4  77.0   1550 583  
eca-rers2012/Problem11_label49_false-unreach-call.c 80.2  73.1   1510 587   80.0  72.9   1520 642  
eca-rers2012/Problem11_label51_false-unreach-call.c 83.9  77.2   1520 556   86.1  77.9   1520 656  
eca-rers2012/Problem11_label58_false-unreach-call.c 85.2  78.9   1520 591   86.3  79.2   1530 635  
eca-rers2012/Problem12_label00_false-unreach-call.c 908    892     8650 5450   907    893     8660 7950  
eca-rers2012/Problem12_label03_false-unreach-call.c 908    895     8670 6200   908    894     8650 5280  
eca-rers2012/Problem12_label06_false-unreach-call.c 908    892     8640 5460   908    892     8640 5400  
eca-rers2012/Problem12_label07_false-unreach-call.c 907    893     8650 6940   908    893     8650 5210  
eca-rers2012/Problem12_label08_false-unreach-call.c 908    892     8770 6770   908    893     8770 5540  
eca-rers2012/Problem12_label10_false-unreach-call.c 907    892     8640 6210   908    894     8650 5240  
eca-rers2012/Problem12_label13_false-unreach-call.c 908    892     8650 5200   908    892     8670 5330  
eca-rers2012/Problem12_label19_false-unreach-call.c 908    895     8660 5090   908    893     8670 5320  
eca-rers2012/Problem12_label20_false-unreach-call.c 908    893     8670 5780   908    893     8650 5680  
eca-rers2012/Problem12_label21_false-unreach-call.c 908    894     8650 5390   908    894     8620 8400  
eca-rers2012/Problem12_label25_false-unreach-call.c 908    894     8640 6070   907    893     8640 8370  
eca-rers2012/Problem12_label28_false-unreach-call.c 908    892     8660 5900   908    893     8650 5270  
eca-rers2012/Problem12_label30_false-unreach-call.c 908    892     8660 5310   908    893     8660 5380  
eca-rers2012/Problem12_label34_false-unreach-call.c 908    892     8650 8220   908    893     8650 5070  
eca-rers2012/Problem12_label35_false-unreach-call.c 907    892     8740 8260   908    895     8720 5500  
eca-rers2012/Problem12_label37_false-unreach-call.c 908    894     8630 5970   907    893     8680 8060  
eca-rers2012/Problem12_label38_false-unreach-call.c 908    895     8640 7020   907    894     8640 6400  
eca-rers2012/Problem12_label39_false-unreach-call.c 908    892     8670 5350   907    893     8670 9050  
eca-rers2012/Problem12_label40_false-unreach-call.c 908    893     8640 6410   907    893     8650 8810  
eca-rers2012/Problem12_label42_false-unreach-call.c 908    893     8670 5710   907    893     8690 8330  
eca-rers2012/Problem12_label48_false-unreach-call.c 908    893     8640 6260   908    893     8620 5760  
eca-rers2012/Problem12_label50_false-unreach-call.c 908    893     8650 5740   908    892     8630 6000  
eca-rers2012/Problem12_label51_false-unreach-call.c 908    892     8680 6220   908    893     8660 5560  
eca-rers2012/Problem12_label52_false-unreach-call.c 908    893     8670 6530   908    895     8660 5890  
eca-rers2012/Problem12_label55_false-unreach-call.c 908    894     8640 6440   908    892     8650 5390  
eca-rers2012/Problem13_label04_false-unreach-call.c 911    897     13500 5560   911    896     13500 5520  
eca-rers2012/Problem13_label06_false-unreach-call.c 911    894     13500 6850   911    896     13600 5720  
eca-rers2012/Problem13_label07_false-unreach-call.c 911    896     13500 6110   911    897     13500 5890  
eca-rers2012/Problem13_label11_false-unreach-call.c 911    895     13500 7420   912    896     13500 6150  
eca-rers2012/Problem13_label12_false-unreach-call.c 911    896     13500 8220   912    895     13500 6650  
eca-rers2012/Problem13_label16_false-unreach-call.c 912    897     13400 6960   911    897     13400 6070  
eca-rers2012/Problem13_label19_false-unreach-call.c 911    897     13400 8020   912    896     13400 6860  
eca-rers2012/Problem13_label21_false-unreach-call.c 911    896     13400 6760   911    897     13400 6160  
eca-rers2012/Problem13_label23_false-unreach-call.c 911    895     13400 6120   912    895     13500 6140  
eca-rers2012/Problem13_label24_false-unreach-call.c 911    896     13400 6160   911    896     13400 7110  
eca-rers2012/Problem13_label25_false-unreach-call.c 911    897     13500 6360   911    896     13500 6170  
eca-rers2012/Problem13_label28_false-unreach-call.c 912    895     13400 5860   912    896     13400 5790  
eca-rers2012/Problem13_label29_false-unreach-call.c 911    897     13500 8460   911    896     13400 5590  
eca-rers2012/Problem13_label30_false-unreach-call.c 912    897     13400 5920   912    896     13400 7060  
eca-rers2012/Problem13_label32_false-unreach-call.c 911    898     13400 6030   912    897     13500 6850  
eca-rers2012/Problem13_label35_false-unreach-call.c 911    895     13400 5860   912    895     13500 5910  
eca-rers2012/Problem13_label36_false-unreach-call.c 912    897     13400 5570   911    898     13400 6480  
eca-rers2012/Problem13_label40_false-unreach-call.c 911    896     13500 6890   911    895     13500 7380  
eca-rers2012/Problem13_label43_false-unreach-call.c 912    896     13500 6040   911    897     13400 7410  
eca-rers2012/Problem13_label44_false-unreach-call.c 911    896     13500 5560   911    894     13500 5610  
eca-rers2012/Problem13_label45_false-unreach-call.c 912    897     13500 5910   911    896     13500 5910  
eca-rers2012/Problem13_label48_false-unreach-call.c 912    894     13500 6440   912    897     13400 7090  
eca-rers2012/Problem13_label51_false-unreach-call.c 911    895     13400 5100   912    897     13400 6500  
eca-rers2012/Problem13_label54_false-unreach-call.c 911    896     13500 7160   911    895     13600 7390  
eca-rers2012/Problem13_label58_false-unreach-call.c 911    897     13500 5880   911    895     13500 5870  
eca-rers2012/Problem14_label02_false-unreach-call.c 472    463     3930 3620   474    464     3920 3630  
eca-rers2012/Problem14_label08_false-unreach-call.c 421    411     3690 3140   406    398     3680 2880  
eca-rers2012/Problem14_label10_false-unreach-call.c 225    217     2980 1850   224    214     2970 1840  
eca-rers2012/Problem14_label11_false-unreach-call.c 284    276     3260 2340   289    281     3230 2340  
eca-rers2012/Problem14_label12_false-unreach-call.c 468    459     3930 3830   475    465     3930 3400  
eca-rers2012/Problem14_label13_false-unreach-call.c 279    269     3280 2210   272    263     3260 2420  
eca-rers2012/Problem14_label14_false-unreach-call.c 306    298     2990 2430   311    303     3010 2370  
eca-rers2012/Problem14_label18_false-unreach-call.c 328    318     3470 2710   323    315     3460 3590  
eca-rers2012/Problem14_label22_false-unreach-call.c 426    418     3710 3380   421    413     3700 3400  
eca-rers2012/Problem14_label27_false-unreach-call.c 226    218     2980 1790   230    221     2990 1800  
eca-rers2012/Problem14_label28_false-unreach-call.c 500    490     3950 3890   503    494     3890 3840  
eca-rers2012/Problem14_label29_false-unreach-call.c 353    343     3500 2700   357    348     3460 2610  
eca-rers2012/Problem14_label31_false-unreach-call.c 294    286     3260 2140   288    280     3260 2270  
eca-rers2012/Problem14_label34_false-unreach-call.c 227    218     2990 2050   234    226     3030 1630  
eca-rers2012/Problem14_label37_false-unreach-call.c 344    335     3460 2690   346    337     3450 2640  
eca-rers2012/Problem14_label39_false-unreach-call.c 294    286     3230 2470   289    280     3270 2960  
eca-rers2012/Problem14_label40_false-unreach-call.c 329    322     3440 3010   343    335     3440 2700  
eca-rers2012/Problem14_label41_false-unreach-call.c 488    479     3920 3530   471    462     3900 4230  
eca-rers2012/Problem14_label43_false-unreach-call.c 426    416     3680 2620   421    413     3660 3520  
eca-rers2012/Problem14_label44_false-unreach-call.c 508    499     3890 3310   502    492     3930 4040  
eca-rers2012/Problem14_label52_false-unreach-call.c 293    284     3250 2370   296    287     3240 2440  
eca-rers2012/Problem14_label54_false-unreach-call.c 497    488     3920 3820   493    484     3940 3510  
eca-rers2012/Problem14_label56_false-unreach-call.c 334    325     3440 2620   327    319     3430 2650  
eca-rers2012/Problem14_label57_false-unreach-call.c 226    218     2960 1550   223    215     2960 1680  
eca-rers2012/Problem14_label58_false-unreach-call.c 426    417     3640 3160   418    408     3660 3420  
eca-rers2012/Problem15_label00_false-unreach-call.c 906    895     6020 6350   905    894     6050 6720  
eca-rers2012/Problem15_label02_false-unreach-call.c 905    894     6000 6090   906    895     6020 6310  
eca-rers2012/Problem15_label03_false-unreach-call.c 905    895     6000 5560   905    894     6000 7800  
eca-rers2012/Problem15_label07_false-unreach-call.c 905    894     6020 7200   906    896     5990 5990  
eca-rers2012/Problem15_label09_false-unreach-call.c 906    893     6040 7220   906    895     6000 5680  
eca-rers2012/Problem15_label14_false-unreach-call.c 905    896     5990 6290   906    894     6010 6330  
eca-rers2012/Problem15_label15_false-unreach-call.c 905    893     5990 6520   906    895     5970 6430  
eca-rers2012/Problem15_label18_false-unreach-call.c 905    894     6020 8750   905    894     6000 6560  
eca-rers2012/Problem15_label22_false-unreach-call.c 906    894     6050 6120   905    896     6010 6250  
eca-rers2012/Problem15_label23_false-unreach-call.c 905    895     6000 6040   906    895     6020 6060  
eca-rers2012/Problem15_label25_false-unreach-call.c 905    895     6000 6390   906    896     6010 6180  
eca-rers2012/Problem15_label29_false-unreach-call.c 905    895     5990 5970   905    894     6000 7340  
eca-rers2012/Problem15_label30_false-unreach-call.c 906    895     6000 5910   905    897     6000 6530  
eca-rers2012/Problem15_label33_false-unreach-call.c 905    895     6000 6100   905    893     6040 5930  
eca-rers2012/Problem15_label34_false-unreach-call.c 906    893     6040 5690   906    895     5990 6370  
eca-rers2012/Problem15_label37_false-unreach-call.c 906    895     5990 5960   906    895     5990 5910  
eca-rers2012/Problem15_label38_false-unreach-call.c 906    895     5990 7010   905    894     6000 8360  
eca-rers2012/Problem15_label39_false-unreach-call.c 905    893     6030 8060   905    894     6050 6220  
eca-rers2012/Problem15_label40_false-unreach-call.c 905    894     6040 8710   906    894     6020 6930  
eca-rers2012/Problem15_label41_false-unreach-call.c 905    895     6000 6720   906    894     6030 6430  
eca-rers2012/Problem15_label45_false-unreach-call.c 905    894     6000 7350   906    894     5990 6040  
eca-rers2012/Problem15_label47_false-unreach-call.c 905    895     6000 6860   905    895     5990 5760  
eca-rers2012/Problem15_label48_false-unreach-call.c 905    894     6020 6480   905    895     6010 6720  
eca-rers2012/Problem15_label50_false-unreach-call.c 905    895     6010 7330   906    895     5990 5660  
eca-rers2012/Problem15_label51_false-unreach-call.c 906    895     6000 6520   905    894     6010 7620  
eca-rers2012/Problem16_label00_false-unreach-call.c 904    893     4490 6410   904    893     4470 7030  
eca-rers2012/Problem16_label01_false-unreach-call.c 904    893     4490 6340   904    891     4520 6460  
eca-rers2012/Problem16_label03_false-unreach-call.c 907    896     7700 6060   906    896     7770 6830  
eca-rers2012/Problem16_label04_false-unreach-call.c 906    895     6600 7380   906    894     6550 6560  
eca-rers2012/Problem16_label05_false-unreach-call.c 907    895     7710 6820   907    894     7800 6910  
eca-rers2012/Problem16_label06_false-unreach-call.c 907    896     7650 6690   906    893     7630 7260  
eca-rers2012/Problem16_label08_false-unreach-call.c 907    895     7620 7390   906    895     7580 7100  
eca-rers2012/Problem16_label14_false-unreach-call.c 907    896     7620 6070   907    896     7560 6510  
eca-rers2012/Problem16_label15_false-unreach-call.c 906    894     6910 8660   906    894     6910 5910  
eca-rers2012/Problem16_label18_false-unreach-call.c 907    896     8070 6380   907    897     8220 7150  
eca-rers2012/Problem16_label20_false-unreach-call.c 906    892     7010 6920   906    894     7050 6680  
eca-rers2012/Problem16_label22_false-unreach-call.c 907    895     7720 5490   907    896     7790 6490  
eca-rers2012/Problem16_label27_false-unreach-call.c 906    894     7730 7650   906    895     7750 8570  
eca-rers2012/Problem16_label30_false-unreach-call.c 906    894     7710 8080   907    896     7730 7140  
eca-rers2012/Problem16_label31_false-unreach-call.c 907    895     8180 6700   907    895     8170 6540  
eca-rers2012/Problem16_label33_false-unreach-call.c 906    896     6950 6060   906    894     6970 9290  
eca-rers2012/Problem16_label37_false-unreach-call.c 906    895     7070 6600   906    895     6980 6650  
eca-rers2012/Problem16_label38_false-unreach-call.c 907    896     7560 7040   907    894     7550 6830  
eca-rers2012/Problem16_label41_false-unreach-call.c 906    895     7000 6210   906    895     7000 6350  
eca-rers2012/Problem16_label43_false-unreach-call.c 907    896     7710 7250   907    894     7710 6600  
eca-rers2012/Problem16_label44_false-unreach-call.c 906    893     6520 6740   906    894     6540 6780  
eca-rers2012/Problem16_label46_false-unreach-call.c 906    895     7640 7050   907    894     7730 6340  
eca-rers2012/Problem16_label51_false-unreach-call.c 907    896     7640 7290   907    895     7580 7190  
eca-rers2012/Problem16_label52_false-unreach-call.c 906    895     6440 7790   906    896     6480 7780  
eca-rers2012/Problem16_label54_false-unreach-call.c 906    894     7140 6750   906    893     7030 7240  
eca-rers2012/Problem17_label04_false-unreach-call.c 908    895     9640 6950   908    896     9630 6390  
eca-rers2012/Problem17_label07_false-unreach-call.c 908    897     9640 6480   908    896     9610 7910  
eca-rers2012/Problem17_label09_false-unreach-call.c 908    895     9630 6370   908    896     9630 6390  
eca-rers2012/Problem17_label13_false-unreach-call.c 908    897     9630 6220   908    895     9630 5860  
eca-rers2012/Problem17_label16_false-unreach-call.c 908    896     9600 5990   908    897     9600 7680  
eca-rers2012/Problem17_label20_false-unreach-call.c 909    894     9640 6100   908    896     9610 6120  
eca-rers2012/Problem17_label23_false-unreach-call.c 908    893     9650 6680   908    894     9670 6770  
eca-rers2012/Problem17_label25_false-unreach-call.c 908    894     9650 8680   908    896     9650 6920  
eca-rers2012/Problem17_label26_false-unreach-call.c 908    896     9650 7060   908    894     9630 9220  
eca-rers2012/Problem17_label30_false-unreach-call.c 908    897     9630 5860   908    895     9630 6750  
eca-rers2012/Problem17_label31_false-unreach-call.c 908    896     9610 6190   908    896     9640 7170  
eca-rers2012/Problem17_label33_false-unreach-call.c 908    897     9600 7240   909    894     9610 5780  
eca-rers2012/Problem17_label34_false-unreach-call.c 908    896     9630 5860   908    894     9640 6310  
eca-rers2012/Problem17_label35_false-unreach-call.c 908    896     9650 5770   908    896     9630 6520  
eca-rers2012/Problem17_label37_false-unreach-call.c 908    893     9650 6770   908    892     9630 6720  
eca-rers2012/Problem17_label40_false-unreach-call.c 908    892     9660 7320   908    897     9600 6300  
eca-rers2012/Problem17_label46_false-unreach-call.c 908    895     9620 6670   908    893     9640 8170  
eca-rers2012/Problem17_label49_false-unreach-call.c 908    897     9610 6260   908    893     9620 7360  
eca-rers2012/Problem17_label50_false-unreach-call.c 908    894     9680 6690   908    897     9620 6470  
eca-rers2012/Problem17_label52_false-unreach-call.c 908    896     9610 7200   908    896     9620 5880  
eca-rers2012/Problem17_label53_false-unreach-call.c 908    896     9620 6940   908    897     9610 5800  
eca-rers2012/Problem17_label54_false-unreach-call.c 908    896     9620 6560   908    894     9640 6310  
eca-rers2012/Problem17_label55_false-unreach-call.c 908    895     9650 6620   908    894     9650 7280  
eca-rers2012/Problem17_label57_false-unreach-call.c 908    896     9650 6050   908    895     9660 6220  
eca-rers2012/Problem18_label00_false-unreach-call.c 907    894     7790 5380   907    895     7790 5900  
eca-rers2012/Problem18_label01_false-unreach-call.c 907    895     7720 5870   907    894     7730 5420  
eca-rers2012/Problem18_label03_false-unreach-call.c 907    894     7800 5030   907    893     7780 7680  
eca-rers2012/Problem18_label06_false-unreach-call.c 907    894     7790 6270   907    895     7770 5290  
eca-rers2012/Problem18_label08_false-unreach-call.c 907    893     7730 6470   907    894     7710 6250  
eca-rers2012/Problem18_label09_false-unreach-call.c 907    893     7930 6180   907    894     7910 8400  
eca-rers2012/Problem18_label10_false-unreach-call.c 906    893     7860 6670   907    895     7830 6030  
eca-rers2012/Problem18_label12_false-unreach-call.c 907    893     7780 6500   907    893     7780 5870  
eca-rers2012/Problem18_label19_false-unreach-call.c 907    893     7850 7530   907    893     7810 6610  
eca-rers2012/Problem18_label20_false-unreach-call.c 907    894     7860 5530   907    893     7840 5900  
eca-rers2012/Problem18_label25_false-unreach-call.c 907    893     7770 6200   907    894     7770 6500  
eca-rers2012/Problem18_label27_false-unreach-call.c 907    895     7840 5780   907    895     7910 5080  
eca-rers2012/Problem18_label31_false-unreach-call.c 906    893     7770 7200   907    892     7770 6530  
eca-rers2012/Problem18_label32_false-unreach-call.c 907    895     7740 6540   906    894     7790 7340  
eca-rers2012/Problem18_label33_false-unreach-call.c 907    894     7820 8330   907    894     7800 5850  
eca-rers2012/Problem18_label34_false-unreach-call.c 907    895     7780 6080   907    894     7800 8850  
eca-rers2012/Problem18_label35_false-unreach-call.c 907    895     7800 6830   907    893     7780 5550  
eca-rers2012/Problem18_label36_false-unreach-call.c 907    894     7820 7270   906    893     7810 7090  
eca-rers2012/Problem18_label38_false-unreach-call.c 907    894     7810 6570   907    895     7730 6220  
eca-rers2012/Problem18_label39_false-unreach-call.c 907    895     7790 5680   906    893     7780 7410  
eca-rers2012/Problem18_label45_false-unreach-call.c 906    894     7820 5730   906    895     7800 8160  
eca-rers2012/Problem18_label49_false-unreach-call.c 907    894     7810 8830   907    894     7820 6260  
eca-rers2012/Problem18_label52_false-unreach-call.c 907    894     7820 7340   907    896     7810 5470  
eca-rers2012/Problem18_label55_false-unreach-call.c 907    894     7720 6510   907    893     7720 6920  
eca-rers2012/Problem18_label57_false-unreach-call.c 907    894     7860 7090   907    894     7820 6300  
eca-rers2012/Problem19_label10_false-unreach-call.c 311    294     15000 2670   298    282     15000 3180  
eca-rers2012/Problem19_label11_false-unreach-call.c 325    310     15000 2760   328    314     15000 2590  
eca-rers2012/Problem19_label14_false-unreach-call.c 411    397     15000 2800   437    420     15000 3560  
eca-rers2012/Problem19_label17_false-unreach-call.c 307    291     15000 2450   298    283     15000 2630  
eca-rers2012/Problem19_label18_false-unreach-call.c 323    307     15000 3030   347    330     15000 3070  
eca-rers2012/Problem19_label19_false-unreach-call.c 314    300     15000 2660   309    294     15000 3110  
eca-rers2012/Problem19_label21_false-unreach-call.c 249    233     15000 1930   309    294     15000 2690  
eca-rers2012/Problem19_label22_false-unreach-call.c 304    288     15000 3050   319    304     15000 2670  
eca-rers2012/Problem19_label26_false-unreach-call.c 312    298     15000 3120   309    293     15000 3470  
eca-rers2012/Problem19_label27_false-unreach-call.c 341    323     15000 2770   328    313     15000 3100  
eca-rers2012/Problem19_label28_false-unreach-call.c 304    289     15000 2830   302    285     15000 3400  
eca-rers2012/Problem19_label29_false-unreach-call.c 318    301     15000 2600   314    298     15000 2490  
eca-rers2012/Problem19_label31_false-unreach-call.c 325    311     15000 2500   265    250     15000 2260  
eca-rers2012/Problem19_label32_false-unreach-call.c 217    200     15000 1900   256    240     15000 1900  
eca-rers2012/Problem19_label41_false-unreach-call.c 339    324     15000 2730   353    338     15000 2850  
eca-rers2012/Problem19_label42_false-unreach-call.c 298    281     15000 2610   298    281     15000 2590  
eca-rers2012/Problem19_label43_false-unreach-call.c 241    227     15000 1890   312    297     15000 2760  
eca-rers2012/Problem19_label47_false-unreach-call.c 296    280     15000 2380   292    277     15000 2620  
eca-rers2012/Problem19_label50_false-unreach-call.c 243    228     15000 2520   250    236     15000 2280  
eca-rers2012/Problem19_label51_false-unreach-call.c 342    327     15000 2800   339    324     15000 2860  
eca-rers2012/Problem19_label53_false-unreach-call.c 298    282     15000 2420   296    281     15000 2140  
eca-rers2012/Problem19_label55_false-unreach-call.c 239    225     15000 2140   307    289     15000 2440  
eca-rers2012/Problem19_label58_false-unreach-call.c 283    268     15000 2780   297    282     15000 2500  
eca-rers2012/Problem19_label59_false-unreach-call.c 365    350     15000 2920   292    277     15000 2530  
eca-rers2012/Problem01_label00_true-unreach-call.c 7.61 2.46  405 59.1 7.43 2.38  408 63.8
eca-rers2012/Problem01_label01_true-unreach-call.c 7.20 2.31  398 56.1 7.43 2.38  402 61.6
eca-rers2012/Problem01_label02_true-unreach-call.c 7.66 2.38  413 64.0 7.60 2.38  407 69.5
eca-rers2012/Problem01_label03_true-unreach-call.c 7.63 2.39  399 67.6 7.52 2.48  399 63.8
eca-rers2012/Problem01_label04_true-unreach-call.c 7.44 2.34  395 60.9 7.36 2.37  410 60.8
eca-rers2012/Problem01_label05_true-unreach-call.c 7.57 2.36  416 64.7 7.87 2.46  412 70.0
eca-rers2012/Problem01_label06_true-unreach-call.c 7.69 2.40  405 63.5 7.64 2.41  397 70.5
eca-rers2012/Problem01_label07_true-unreach-call.c 7.79 2.53  407 60.6 7.39 2.42  397 60.9
eca-rers2012/Problem01_label08_true-unreach-call.c 7.37 2.59  407 64.9 7.53 2.36  397 60.0
eca-rers2012/Problem01_label09_true-unreach-call.c 7.52 2.43  396 61.7 7.35 2.37  395 64.8
eca-rers2012/Problem01_label10_true-unreach-call.c 8.03 2.55  405 66.1 7.47 2.51  401 62.5
eca-rers2012/Problem01_label11_true-unreach-call.c 7.44 2.40  417 57.2 7.26 2.34  403 63.4
eca-rers2012/Problem01_label12_true-unreach-call.c 7.12 2.50  401 66.5 7.57 2.44  397 56.3
eca-rers2012/Problem01_label13_true-unreach-call.c 7.19 2.44  402 64.6 7.79 2.61  397 68.3
eca-rers2012/Problem01_label14_true-unreach-call.c 7.61 2.46  420 62.3 7.61 2.40  400 58.3
eca-rers2012/Problem01_label16_true-unreach-call.c 7.38 2.39  389 58.3 7.27 2.38  404 65.2
eca-rers2012/Problem01_label17_true-unreach-call.c 7.74 2.44  405 60.9 7.47 2.38  394 65.0
eca-rers2012/Problem01_label18_true-unreach-call.c 7.44 2.41  392 63.3 7.49 2.41  397 60.8
eca-rers2012/Problem01_label19_true-unreach-call.c 8.06 2.71  413 69.2 7.51 2.36  416 59.0
eca-rers2012/Problem01_label22_true-unreach-call.c 7.61 2.52  403 68.9 7.46 2.41  402 62.0
eca-rers2012/Problem01_label23_true-unreach-call.c 7.57 2.40  413 55.4 7.35 2.40  397 70.6
eca-rers2012/Problem01_label24_true-unreach-call.c 7.64 2.37  406 62.2 7.74 2.42  410 58.4
eca-rers2012/Problem01_label25_true-unreach-call.c 7.52 2.38  401 61.2 7.31 2.36  398 62.4
eca-rers2012/Problem01_label26_true-unreach-call.c 7.27 2.33  408 64.0 7.41 2.40  393 59.1
eca-rers2012/Problem01_label27_true-unreach-call.c 7.14 2.39  408 62.0 7.24 2.33  409 57.1
eca-rers2012/Problem01_label28_true-unreach-call.c 7.48 2.37  412 57.8 7.80 2.44  403 63.8
eca-rers2012/Problem01_label29_true-unreach-call.c 7.45 2.41  405 68.2 8.01 2.48  405 69.3
eca-rers2012/Problem01_label30_true-unreach-call.c 7.40 2.39  405 67.0 7.52 2.38  394 64.5
eca-rers2012/Problem01_label31_true-unreach-call.c 7.42 2.42  393 61.5 7.71 2.33  395 60.6
eca-rers2012/Problem01_label34_true-unreach-call.c 7.15 2.38  386 59.3 7.62 2.38  398 64.7
eca-rers2012/Problem01_label36_true-unreach-call.c 7.33 2.37  409 70.3 7.70 2.45  406 57.8
eca-rers2012/Problem01_label39_true-unreach-call.c 7.36 2.40  403 68.2 7.59 2.42  404 66.4
eca-rers2012/Problem01_label40_true-unreach-call.c 9.29 2.93  471 78.0 9.29 3.10  491 80.4
eca-rers2012/Problem01_label41_true-unreach-call.c 8.57 2.73  463 75.0 8.04 2.61  448 68.1
eca-rers2012/Problem01_label42_true-unreach-call.c 7.36 2.35  400 65.8 7.58 2.36  399 64.4
eca-rers2012/Problem01_label43_true-unreach-call.c 7.58 2.39  404 60.3 7.13 2.38  390 57.8
eca-rers2012/Problem01_label45_true-unreach-call.c 8.75 2.90  462 71.6 8.58 2.67  456 64.8
eca-rers2012/Problem01_label46_true-unreach-call.c 8.08 2.70  466 74.7 8.51 2.70  456 70.6
eca-rers2012/Problem01_label48_true-unreach-call.c 8.36 2.67  485 74.5 8.61 2.72  469 69.3
eca-rers2012/Problem01_label49_true-unreach-call.c 7.60 2.51  407 61.7 7.43 2.37  395 63.8
eca-rers2012/Problem01_label51_true-unreach-call.c 7.17 2.35  399 62.2 7.47 2.40  392 62.0
eca-rers2012/Problem01_label52_true-unreach-call.c 8.02 2.60  391 61.6 7.24 2.41  401 67.9
eca-rers2012/Problem01_label53_true-unreach-call.c 8.41 2.66  463 68.1 8.55 2.65  460 68.0
eca-rers2012/Problem01_label54_true-unreach-call.c 7.47 2.39  395 62.9 7.58 2.41  400 61.4
eca-rers2012/Problem01_label55_true-unreach-call.c 7.80 2.48  409 67.5 7.35 2.39  394 61.1
eca-rers2012/Problem01_label58_true-unreach-call.c 7.74 2.40  411 66.3 7.44 2.35  403 64.8
eca-rers2012/Problem01_label59_true-unreach-call.c 7.27 2.32  395 64.6 7.57 2.52  342 66.8
eca-rers2012/Problem02_label00_true-unreach-call.c 6.99 2.28  389 59.1 6.90 2.29  397 61.0
eca-rers2012/Problem02_label01_true-unreach-call.c 7.19 2.30  392 61.1 7.45 2.43  407 57.6
eca-rers2012/Problem02_label02_true-unreach-call.c 10.3  3.20  490 73.9 9.73 3.18  472 78.0
eca-rers2012/Problem02_label03_true-unreach-call.c 7.35 2.34  394 56.3 7.43 2.32  385 68.3
eca-rers2012/Problem02_label04_true-unreach-call.c 7.85 2.53  474 67.4 8.03 2.56  449 63.5
eca-rers2012/Problem02_label05_true-unreach-call.c 7.24 2.44  373 57.2 7.42 2.35  398 64.3
eca-rers2012/Problem02_label06_true-unreach-call.c 9.27 3.05  464 86.3 10.0  3.09  475 84.7
eca-rers2012/Problem02_label07_true-unreach-call.c 7.46 2.37  402 64.5 7.26 2.33  374 63.1
eca-rers2012/Problem02_label08_true-unreach-call.c 9.16 2.88  470 65.7 8.48 2.79  465 73.2
eca-rers2012/Problem02_label09_true-unreach-call.c 7.46 2.34  403 57.9 6.97 2.31  383 55.2
eca-rers2012/Problem02_label10_true-unreach-call.c 7.15 2.37  410 68.4 7.21 2.29  384 59.6
eca-rers2012/Problem02_label11_true-unreach-call.c 6.31 2.10  332 52.4 6.32 2.05  321 47.4
eca-rers2012/Problem02_label12_true-unreach-call.c 7.37 2.33  388 59.5 7.42 2.38  396 67.8
eca-rers2012/Problem02_label14_true-unreach-call.c 7.37 2.42  407 64.2 7.20 2.33  394 59.8
eca-rers2012/Problem02_label15_true-unreach-call.c 6.41 2.08  324 56.9 6.35 2.08  311 52.0
eca-rers2012/Problem02_label17_true-unreach-call.c 7.12 2.30  415 68.5 6.87 2.30  369 56.2
eca-rers2012/Problem02_label18_true-unreach-call.c 7.35 2.35  407 55.7 7.01 2.40  385 61.8
eca-rers2012/Problem02_label19_true-unreach-call.c 6.09 2.05  328 58.6 6.29 2.07  331 53.4
eca-rers2012/Problem02_label20_true-unreach-call.c 6.42 2.18  339 54.8 6.41 2.18  332 50.6
eca-rers2012/Problem02_label21_true-unreach-call.c 7.19 2.31  394 63.2 7.14 2.42  403 55.7
eca-rers2012/Problem02_label22_true-unreach-call.c 8.77 3.11  458 62.5 11.2  3.40  482 77.0
eca-rers2012/Problem02_label23_true-unreach-call.c 7.43 2.32  395 62.7 7.38 2.41  376 59.3
eca-rers2012/Problem02_label24_true-unreach-call.c 7.68 2.47  401 53.4 7.08 2.30  394 54.1
eca-rers2012/Problem02_label25_true-unreach-call.c 7.84 2.53  447 63.5 8.45 2.59  464 77.0
eca-rers2012/Problem02_label26_true-unreach-call.c 7.38 2.32  394 66.9 7.42 2.31  385 58.8
eca-rers2012/Problem02_label27_true-unreach-call.c 8.83 2.80  474 72.4 9.06 2.94  477 78.4
eca-rers2012/Problem02_label28_true-unreach-call.c 7.89 2.57  413 67.0 7.28 2.32  386 59.5
eca-rers2012/Problem02_label29_true-unreach-call.c 6.32 2.09  329 51.1 6.35 2.13  333 54.8
eca-rers2012/Problem02_label30_true-unreach-call.c 6.33 2.15  331 59.5 6.63 2.18  322 51.7
eca-rers2012/Problem02_label31_true-unreach-call.c 6.98 2.29  392 56.2 7.17 2.32  396 60.4
eca-rers2012/Problem02_label32_true-unreach-call.c 7.11 2.34  395 57.1 7.28 2.33  394 54.1
eca-rers2012/Problem02_label33_true-unreach-call.c 7.18 2.30  383 63.3 7.32 2.31  390 61.0
eca-rers2012/Problem02_label34_true-unreach-call.c 10.0  3.20  475 86.9 9.50 3.26  472 85.3
eca-rers2012/Problem02_label35_true-unreach-call.c 7.00 2.33  384 59.9 7.17 2.28  400 57.0
eca-rers2012/Problem02_label36_true-unreach-call.c 7.04 2.35  399 59.5 7.56 2.41  400 58.6
eca-rers2012/Problem02_label37_true-unreach-call.c 8.19 2.64  470 69.1 8.56 2.81  456 68.9
eca-rers2012/Problem02_label38_true-unreach-call.c 7.12 2.32  383 56.0 7.25 2.41  392 53.2
eca-rers2012/Problem02_label39_true-unreach-call.c 10.4  3.16  484 86.8 10.4  3.32  488 87.2
eca-rers2012/Problem02_label40_true-unreach-call.c 7.12 2.37  387 55.6 7.27 2.25  382 62.4
eca-rers2012/Problem02_label41_true-unreach-call.c 10.2  3.22  475 80.6 9.83 3.13  470 82.3
eca-rers2012/Problem02_label42_true-unreach-call.c 7.01 2.25  372 58.6 7.14 2.28  378 66.6
eca-rers2012/Problem02_label46_true-unreach-call.c 7.15 2.34  401 64.2 7.18 2.39  384 60.5
eca-rers2012/Problem02_label47_true-unreach-call.c 7.72 2.67  384 64.0 7.41 2.33  384 63.7
eca-rers2012/Problem02_label48_true-unreach-call.c 6.34 2.10  347 49.9 6.27 2.19  337 50.4
eca-rers2012/Problem02_label49_true-unreach-call.c 6.38 2.11  319 51.5 6.40 2.10  318 57.8
eca-rers2012/Problem02_label51_true-unreach-call.c 7.13 2.29  388 53.4 7.11 2.30  400 65.8
eca-rers2012/Problem02_label52_true-unreach-call.c 7.05 2.29  395 55.2 7.33 2.33  389 68.5
eca-rers2012/Problem02_label53_true-unreach-call.c 9.29 2.87  466 78.0 9.28 2.86  481 70.6
eca-rers2012/Problem02_label54_true-unreach-call.c 7.29 2.38  395 55.3 7.10 2.30  394 57.8
eca-rers2012/Problem02_label55_true-unreach-call.c 6.99 2.33  408 63.6 7.16 2.31  392 64.1
eca-rers2012/Problem02_label56_true-unreach-call.c 7.12 2.31  409 66.4 7.20 2.30  383 62.0
eca-rers2012/Problem02_label57_true-unreach-call.c 6.84 2.28  400 51.8 6.99 2.28  386 56.0
eca-rers2012/Problem02_label58_true-unreach-call.c 6.39 2.22  335 57.9 6.24 2.13  335 60.1
eca-rers2012/Problem03_label00_true-unreach-call.c 134    124     15000 1520   132    123     15000 1770  
eca-rers2012/Problem03_label01_true-unreach-call.c 120    108     15000 1340   120    108     15000 1460  
eca-rers2012/Problem03_label02_true-unreach-call.c 13.4  4.35  638 126   15.7  4.66  579 125  
eca-rers2012/Problem03_label03_true-unreach-call.c 111    102     15000 1160   112    101     15000 1330  
eca-rers2012/Problem03_label04_true-unreach-call.c 118    105     15000 1380   110    100     15000 1260  
eca-rers2012/Problem03_label05_true-unreach-call.c 19.3  6.36  720 139   16.0  6.40  654 129  
eca-rers2012/Problem03_label06_true-unreach-call.c 15.9  4.37  559 116   13.5  4.35  537 107  
eca-rers2012/Problem03_label07_true-unreach-call.c 107    95.7   15000 1170   105    94.6   15000 1230  
eca-rers2012/Problem03_label08_true-unreach-call.c 15.5  4.47  562 126   14.4  4.35  646 117  
eca-rers2012/Problem03_label10_true-unreach-call.c 15.4  5.95  662 122   16.9  5.81  664 137  
eca-rers2012/Problem03_label11_true-unreach-call.c 152    142     15000 1760   154    143     15000 1800  
eca-rers2012/Problem03_label12_true-unreach-call.c 115    105     15000 1300   118    108     15000 1410  
eca-rers2012/Problem03_label14_true-unreach-call.c 13.1  3.89  521 100   12.4  3.77  520 103  
eca-rers2012/Problem03_label15_true-unreach-call.c 109    99.8   15000 1300   111    99.9   15000 1310  
eca-rers2012/Problem03_label16_true-unreach-call.c 15.9  6.13  625 133   16.6  5.99  685 135  
eca-rers2012/Problem03_label17_true-unreach-call.c 52.0  41.1   1150 610   52.4  41.6   1210 508  
eca-rers2012/Problem03_label18_true-unreach-call.c 142    131     15000 1420   140    130     15000 1760  
eca-rers2012/Problem03_label19_true-unreach-call.c 112    102     15000 1440   112    101     15000 1230  
eca-rers2012/Problem03_label20_true-unreach-call.c 244    233     15000 2810   246    232     15000 2470  
eca-rers2012/Problem03_label21_true-unreach-call.c 902    884     6790 10700   902    881     6880 9480  
eca-rers2012/Problem03_label22_true-unreach-call.c 14.8  5.25  656 125   17.3  5.68  690 136  
eca-rers2012/Problem03_label23_true-unreach-call.c 121    111     15000 1650   124    112     15000 1350  
eca-rers2012/Problem03_label24_true-unreach-call.c 15.4  5.61  649 124   15.9  5.28  636 132  
eca-rers2012/Problem03_label25_true-unreach-call.c 27.4  17.4   890 267   29.2  17.5   1070 321  
eca-rers2012/Problem03_label29_true-unreach-call.c 13.3  4.31  545 110   14.4  4.27  632 120  
eca-rers2012/Problem03_label30_true-unreach-call.c 14.8  4.42  552 112   13.9  4.48  615 107  
eca-rers2012/Problem03_label32_true-unreach-call.c 16.1  5.82  708 143   17.9  6.14  655 147  
eca-rers2012/Problem03_label33_true-unreach-call.c 15.5  4.44  652 130   15.2  4.52  542 132  
eca-rers2012/Problem03_label34_true-unreach-call.c 20.8  9.88  727 185   20.1  9.69  727 189  
eca-rers2012/Problem03_label36_true-unreach-call.c 13.6  4.43  629 130   13.8  4.47  545 107  
eca-rers2012/Problem03_label38_true-unreach-call.c 15.0  4.99  670 114   15.6  4.78  678 125  
eca-rers2012/Problem03_label40_true-unreach-call.c 18.6  7.05  687 152   17.8  6.92  797 167  
eca-rers2012/Problem03_label41_true-unreach-call.c 21.7  10.3   744 196   21.0  10.6   772 218  
eca-rers2012/Problem03_label42_true-unreach-call.c 17.0  7.18  766 145   18.3  7.29  694 140  
eca-rers2012/Problem03_label44_true-unreach-call.c 123    111     15000 1350   123    113     15000 1580  
eca-rers2012/Problem03_label46_true-unreach-call.c 15.9  4.59  578 140   15.3  4.36  580 132  
eca-rers2012/Problem03_label47_true-unreach-call.c 902    871     9230 11100   902    870     9390 10900  
eca-rers2012/Problem03_label48_true-unreach-call.c 18.0  7.74  856 153   20.7  8.07  710 169  
eca-rers2012/Problem03_label49_true-unreach-call.c 17.1  8.04  825 177   19.2  8.14  709 183  
eca-rers2012/Problem03_label51_true-unreach-call.c 107    98.3   15000 1380   107    98.4   15000 1190  
eca-rers2012/Problem03_label53_true-unreach-call.c 130    119     15000 1560   131    118     15000 1500  
eca-rers2012/Problem03_label54_true-unreach-call.c 16.4  6.91  753 132   17.4  6.70  780 155  
eca-rers2012/Problem03_label55_true-unreach-call.c 17.8  6.62  628 139   18.0  6.68  651 141  
eca-rers2012/Problem03_label56_true-unreach-call.c 16.0  5.06  672 128   15.6  5.02  677 134  
eca-rers2012/Problem03_label57_true-unreach-call.c 14.1  5.02  667 123   16.8  5.13  638 137  
eca-rers2012/Problem03_label58_true-unreach-call.c 162    149     9330 1800   153    143     9240 2080  
eca-rers2012/Problem03_label59_true-unreach-call.c 39.6  29.4   961 372   39.9  29.9   1150 381  
eca-rers2012/Problem04_label00_true-unreach-call.c 26.2  9.63  971 211   25.3  9.28  950 211  
eca-rers2012/Problem04_label01_true-unreach-call.c 25.6  9.74  945 198   24.5  9.39  932 188  
eca-rers2012/Problem04_label02_true-unreach-call.c 24.0  9.46  962 220   24.6  9.59  943 194  
eca-rers2012/Problem04_label03_true-unreach-call.c 24.1  9.08  956 213   24.4  9.13  949 226  
eca-rers2012/Problem04_label05_true-unreach-call.c 24.5  9.61  959 195   25.4  9.73  950 211  
eca-rers2012/Problem04_label07_true-unreach-call.c 23.8  7.57  897 166   21.7  7.48  859 194  
eca-rers2012/Problem04_label08_true-unreach-call.c 23.7  9.25  957 216   25.2  9.82  945 216  
eca-rers2012/Problem04_label10_true-unreach-call.c 26.8  11.1   1000 235   26.2  10.7   976 236  
eca-rers2012/Problem04_label16_true-unreach-call.c 27.2  11.4   1030 233   26.3  11.3   1000 257  
eca-rers2012/Problem04_label20_true-unreach-call.c 23.3  7.53  879 187   23.8  7.78  885 209  
eca-rers2012/Problem04_label21_true-unreach-call.c 21.2  7.44  865 172   22.0  7.36  862 172  
eca-rers2012/Problem04_label22_true-unreach-call.c 25.0  9.41  946 204   24.7  9.13  922 216  
eca-rers2012/Problem04_label23_true-unreach-call.c 22.2  9.02  951 192   24.5  9.03  976 233  
eca-rers2012/Problem04_label24_true-unreach-call.c 23.7  9.53  947 162   25.9  9.77  932 239  
eca-rers2012/Problem04_label25_true-unreach-call.c 22.3  7.54  864 169   23.8  8.00  879 177  
eca-rers2012/Problem04_label28_true-unreach-call.c 25.6  9.64  964 215   25.8  9.44  941 201  
eca-rers2012/Problem04_label29_true-unreach-call.c 26.1  9.55  954 210   25.2  9.29  936 213  
eca-rers2012/Problem04_label30_true-unreach-call.c 22.8  7.83  873 189   21.8  7.50  857 169  
eca-rers2012/Problem04_label33_true-unreach-call.c 24.9  9.19  953 204   27.2  9.68  956 216  
eca-rers2012/Problem04_label34_true-unreach-call.c 26.6  10.2   955 196   24.2  9.06  973 210  
eca-rers2012/Problem04_label37_true-unreach-call.c 25.2  9.41  961 226   26.1  10.0   940 203  
eca-rers2012/Problem04_label41_true-unreach-call.c 29.7  10.8   976 216   25.0  9.48  954 210  
eca-rers2012/Problem04_label42_true-unreach-call.c 27.1  9.44  947 196   25.4  9.89  940 216  
eca-rers2012/Problem04_label43_true-unreach-call.c 26.1  9.18  970 199   24.3  9.69  938 218  
eca-rers2012/Problem04_label44_true-unreach-call.c 24.3  9.13  939 191   24.2  9.25  932 190  
eca-rers2012/Problem04_label46_true-unreach-call.c 26.0  9.44  970 197   23.8  9.27  942 196  
eca-rers2012/Problem04_label47_true-unreach-call.c 24.2  9.27  947 196   27.1  9.65  990 240  
eca-rers2012/Problem04_label48_true-unreach-call.c 24.1  9.15  936 179   23.3  9.16  966 195  
eca-rers2012/Problem04_label49_true-unreach-call.c 23.6  9.31  951 212   24.9  9.62  903 202  
eca-rers2012/Problem04_label50_true-unreach-call.c 24.8  9.69  956 202   26.9  10.1   951 223  
eca-rers2012/Problem04_label51_true-unreach-call.c 26.1  9.29  960 210   24.6  9.19  936 195  
eca-rers2012/Problem04_label53_true-unreach-call.c 24.2  9.22  956 235   24.3  9.49  982 204  
eca-rers2012/Problem04_label54_true-unreach-call.c 26.5  11.0   970 228   27.3  11.1   988 239  
eca-rers2012/Problem04_label56_true-unreach-call.c 24.6  9.20  981 190   25.6  9.40  955 205  
eca-rers2012/Problem04_label57_true-unreach-call.c 25.4  9.44  950 243   25.1  9.22  951 220  
eca-rers2012/Problem04_label59_true-unreach-call.c 24.8  9.02  937 220   25.1  9.59  967 212  
eca-rers2012/Problem05_label02_true-unreach-call.c 948    773     13400 9470   917    778     13400 8100  
eca-rers2012/Problem05_label03_true-unreach-call.c 143    119     2900 1320   144    120     2930 1220  
eca-rers2012/Problem05_label04_true-unreach-call.c 932    833     12400 8310   910    811     12800 8720  
eca-rers2012/Problem05_label05_true-unreach-call.c 695    623     10500 5110   684    611     10600 8450  
eca-rers2012/Problem05_label06_true-unreach-call.c 904    808     12700 8710   903    801     12900 9230  
eca-rers2012/Problem05_label07_true-unreach-call.c 903    749     15000 8200   904    747     15000 7910  
eca-rers2012/Problem05_label08_true-unreach-call.c 551    484     8820 5240   548    488     9070 5370  
eca-rers2012/Problem05_label09_true-unreach-call.c 904    837     12100 9900   904    834     12400 9060  
eca-rers2012/Problem05_label10_true-unreach-call.c 243    210     4360 2220   248    217     4420 2290  
eca-rers2012/Problem05_label12_true-unreach-call.c 907    828     13100 9510   909    830     13500 9310  
eca-rers2012/Problem05_label14_true-unreach-call.c 750    682     9910 7520   760    693     9930 7980  
eca-rers2012/Problem05_label16_true-unreach-call.c 175    153     3000 1700   179    152     3100 1890  
eca-rers2012/Problem05_label17_true-unreach-call.c 499    440     7850 4920   501    439     7680 5470  
eca-rers2012/Problem05_label19_true-unreach-call.c 67.0  47.5   1990 626   70.4  48.3   2010 554  
eca-rers2012/Problem05_label20_true-unreach-call.c 923    793     12100 8370   903    781     12600 9840  
eca-rers2012/Problem05_label21_true-unreach-call.c 903    769     14300 8550   904    748     14700 9530  
eca-rers2012/Problem05_label22_true-unreach-call.c 905    808     12400 8360   903    805     12500 8770  
eca-rers2012/Problem05_label23_true-unreach-call.c 904    773     14100 8050   906    761     14000 8180  
eca-rers2012/Problem05_label25_true-unreach-call.c 144    120     3050 1430   149    125     3040 1390  
eca-rers2012/Problem05_label27_true-unreach-call.c 932    721     14100 8580   903    720     14600 8880  
eca-rers2012/Problem05_label28_true-unreach-call.c 67.8  44.4   2000 676   64.7  44.5   1960 660  
eca-rers2012/Problem05_label29_true-unreach-call.c 99.6  78.5   2550 1000   103    80.4   2520 1010  
eca-rers2012/Problem05_label31_true-unreach-call.c 80.0  60.1   2230 770   80.1  59.5   2190 828  
eca-rers2012/Problem05_label34_true-unreach-call.c 47.9  28.7   1640 430   47.1  28.5   1590 452  
eca-rers2012/Problem05_label35_true-unreach-call.c 150    124     3100 1480   150    125     3000 1260  
eca-rers2012/Problem05_label42_true-unreach-call.c 256    222     4420 2370   255    222     4690 2630  
eca-rers2012/Problem05_label43_true-unreach-call.c 95.7  71.8   2300 898   94.0  70.9   2230 833  
eca-rers2012/Problem05_label45_true-unreach-call.c 35.8  17.7   1380 338   35.8  17.6   1380 321  
eca-rers2012/Problem05_label46_true-unreach-call.c 89.4  68.9   2330 847   90.2  68.6   2340 931  
eca-rers2012/Problem05_label49_true-unreach-call.c 47.0  26.9   1630 450   50.2  27.0   1640 416  
eca-rers2012/Problem05_label50_true-unreach-call.c 904    826     13000 8490   905    809     12800 9660  
eca-rers2012/Problem05_label52_true-unreach-call.c 198    170     3920 1870   203    171     3980 1790  
eca-rers2012/Problem05_label53_true-unreach-call.c 47.4  26.6   1630 459   47.2  26.4   1670 425  
eca-rers2012/Problem05_label54_true-unreach-call.c 144    117     3140 1430   143    118     3060 1220  
eca-rers2012/Problem05_label56_true-unreach-call.c 904    777     13600 9520   903    778     14000 8900  
eca-rers2012/Problem05_label59_true-unreach-call.c 56.2  35.3   1890 514   57.7  36.2   1850 539  
eca-rers2012/Problem06_label03_true-unreach-call.c 136    120     15000 1550   137    120     15000 1380  
eca-rers2012/Problem06_label06_true-unreach-call.c 160    140     15000 1700   155    139     15000 2040  
eca-rers2012/Problem06_label07_true-unreach-call.c 137    120     15000 1540   141    121     15000 1550  
eca-rers2012/Problem06_label08_true-unreach-call.c 135    118     15000 1340   138    120     15000 1630  
eca-rers2012/Problem06_label13_true-unreach-call.c 135    116     15000 1320   132    116     15000 1620  
eca-rers2012/Problem06_label14_true-unreach-call.c 138    121     15000 1570   138    121     15000 1820  
eca-rers2012/Problem06_label16_true-unreach-call.c 170    154     15000 2110   172    154     15000 1790  
eca-rers2012/Problem06_label17_true-unreach-call.c 134    116     15000 1640   135    116     15000 1510  
eca-rers2012/Problem06_label18_true-unreach-call.c 129    113     15000 1560   133    114     15000 1570  
eca-rers2012/Problem06_label19_true-unreach-call.c 169    150     15000 2220   167    150     15000 2020  
eca-rers2012/Problem06_label22_true-unreach-call.c 157    138     15000 1910   157    137     15000 1810  
eca-rers2012/Problem06_label23_true-unreach-call.c 142    126     15000 1530   143    126     15000 1580  
eca-rers2012/Problem06_label25_true-unreach-call.c 162    145     15000 1850   162    145     15000 1970  
eca-rers2012/Problem06_label26_true-unreach-call.c 129    113     15000 1420   130    112     15000 1540  
eca-rers2012/Problem06_label28_true-unreach-call.c 158    140     15000 1830   157    140     15000 1660  
eca-rers2012/Problem06_label30_true-unreach-call.c 134    116     15000 1560   130    114     15000 1470  
eca-rers2012/Problem06_label31_true-unreach-call.c 136    120     15000 1480   139    120     15000 1540  
eca-rers2012/Problem06_label32_true-unreach-call.c 168    151     15000 1850   169    152     15000 1900  
eca-rers2012/Problem06_label34_true-unreach-call.c 259    242     15000 2730   258    240     15000 2910  
eca-rers2012/Problem06_label35_true-unreach-call.c 162    145     15000 1630   162    145     15000 2030  
eca-rers2012/Problem06_label39_true-unreach-call.c 202    183     15000 2660   202    183     15000 2210  
eca-rers2012/Problem06_label40_true-unreach-call.c 168    145     15000 1970   161    144     15000 1720  
eca-rers2012/Problem06_label41_true-unreach-call.c 157    137     15000 1860   157    138     15000 1610  
eca-rers2012/Problem06_label42_true-unreach-call.c 174    158     15000 1690   178    161     15000 2060  
eca-rers2012/Problem06_label43_true-unreach-call.c 181    163     15000 2130   183    162     15000 2160  
eca-rers2012/Problem06_label45_true-unreach-call.c 136    119     15000 1430   134    118     15000 1690  
eca-rers2012/Problem06_label46_true-unreach-call.c 140    122     15000 1550   139    122     15000 1530  
eca-rers2012/Problem06_label49_true-unreach-call.c 153    132     15000 1460   148    130     15000 1580  
eca-rers2012/Problem06_label50_true-unreach-call.c 135    119     15000 1500   136    120     15000 1690  
eca-rers2012/Problem06_label51_true-unreach-call.c 130    110     15000 1370   128    109     15000 1590  
eca-rers2012/Problem06_label52_true-unreach-call.c 185    167     15000 1890   185    166     15000 1890  
eca-rers2012/Problem06_label53_true-unreach-call.c 166    146     15000 1750   164    144     15000 2140  
eca-rers2012/Problem06_label54_true-unreach-call.c 171    154     15000 2330   173    154     15000 1980  
eca-rers2012/Problem06_label55_true-unreach-call.c 398    380     15000 4280   394    377     15000 4150  
eca-rers2012/Problem06_label57_true-unreach-call.c 36.2  17.9   1330 329   34.3  17.5   1320 354  
eca-rers2012/Problem07_label00_true-unreach-call.c 165    120     5840 1600   165    121     5790 1530  
eca-rers2012/Problem07_label01_true-unreach-call.c 211    149     6390 2100   208    149     6340 1740  
eca-rers2012/Problem07_label02_true-unreach-call.c 175    127     6200 1690   172    126     5900 1790  
eca-rers2012/Problem07_label04_true-unreach-call.c 164    118     5820 1590   159    117     5790 1520  
eca-rers2012/Problem07_label08_true-unreach-call.c 217    157     6520 2250   213    155     6530 1930  
eca-rers2012/Problem07_label10_true-unreach-call.c 242    179     7230 2850   244    184     7340 2240  
eca-rers2012/Problem07_label12_true-unreach-call.c 164    121     5870 1820   166    121     5860 1550  
eca-rers2012/Problem07_label13_true-unreach-call.c 159    116     6030 1720   160    116     5670 1500  
eca-rers2012/Problem07_label14_true-unreach-call.c 158    115     6000 1930   163    118     5750 1630  
eca-rers2012/Problem07_label16_true-unreach-call.c 210    149     6380 1890   208    149     6370 1940  
eca-rers2012/Problem07_label17_true-unreach-call.c 158    115     5750 1470   159    114     5710 1770  
eca-rers2012/Problem07_label21_true-unreach-call.c 161    119     5810 1410   160    119     5910 1570  
eca-rers2012/Problem07_label22_true-unreach-call.c 246    182     7300 2320   249    186     7300 2340  
eca-rers2012/Problem07_label24_true-unreach-call.c 159    114     5900 1700   158    115     5800 1870  
eca-rers2012/Problem07_label25_true-unreach-call.c 224    162     6690 2030   218    160     6400 1910  
eca-rers2012/Problem07_label26_true-unreach-call.c 162    119     6010 1680   160    117     5870 1660  
eca-rers2012/Problem07_label27_true-unreach-call.c 210    148     6620 1980   208    148     6420 2170  
eca-rers2012/Problem07_label28_true-unreach-call.c 168    124     5780 1660   168    124     5780 1530  
eca-rers2012/Problem07_label29_true-unreach-call.c 206    146     6480 2290   206    147     6560 2090  
eca-rers2012/Problem07_label32_true-unreach-call.c 163    123     6160 1610   165    121     5780 1860  
eca-rers2012/Problem07_label33_true-unreach-call.c 208    150     6580 1940   210    150     6410 1870  
eca-rers2012/Problem07_label34_true-unreach-call.c 157    114     5780 1570   156    113     5930 1530  
eca-rers2012/Problem07_label38_true-unreach-call.c 157    114     5710 1520   161    113     5990 1700  
eca-rers2012/Problem07_label41_true-unreach-call.c 164    117     5470 1530   159    116     5630 1450  
eca-rers2012/Problem07_label43_true-unreach-call.c 215    152     6480 2170   210    152     6540 1740  
eca-rers2012/Problem07_label45_true-unreach-call.c 303    239     7380 2710   305    239     7270 2500  
eca-rers2012/Problem07_label49_true-unreach-call.c 169    123     5680 1780   162    121     5930 1940  
eca-rers2012/Problem07_label50_true-unreach-call.c 154    113     5800 1350   156    113     5850 1560  
eca-rers2012/Problem07_label51_true-unreach-call.c 158    115     5720 1690   156    114     5700 1530  
eca-rers2012/Problem07_label52_true-unreach-call.c 207    145     6480 2050   207    148     6610 1860  
eca-rers2012/Problem07_label53_true-unreach-call.c 158    116     5840 1730   161    116     5810 1670  
eca-rers2012/Problem07_label54_true-unreach-call.c 159    117     5770 1530   160    114     5620 1530  
eca-rers2012/Problem07_label55_true-unreach-call.c 208    150     6600 1920   206    148     6400 1870  
eca-rers2012/Problem07_label56_true-unreach-call.c 215    149     6410 2130   216    154     6570 2000  
eca-rers2012/Problem07_label57_true-unreach-call.c 211    149     6370 1910   207    149     6420 1820  
eca-rers2012/Problem07_label59_true-unreach-call.c 160    115     5850 1560   160    115     5650 1440  
eca-rers2012/Problem08_label00_true-unreach-call.c 918    820     12100 6460   918    812     12500 6610  
eca-rers2012/Problem08_label03_true-unreach-call.c 911    799     11900 6310   911    799     12200 6150  
eca-rers2012/Problem08_label08_true-unreach-call.c 912    808     12900 7190   912    821     13200 7220  
eca-rers2012/Problem08_label09_true-unreach-call.c 917    804     12700 6990   916    812     12800 7190  
eca-rers2012/Problem08_label11_true-unreach-call.c 916    808     12300 6710   912    803     13200 6850  
eca-rers2012/Problem08_label12_true-unreach-call.c 916    809     11400 7390   940    834     11600 7960  
eca-rers2012/Problem08_label14_true-unreach-call.c 918    805     13000 8010   918    804     13000 5920  
eca-rers2012/Problem08_label16_true-unreach-call.c 917    825     11600 5830   912    811     11900 6540  
eca-rers2012/Problem08_label17_true-unreach-call.c 919    812     11400 6460   918    808     11700 7220  
eca-rers2012/Problem08_label18_true-unreach-call.c 918    827     14100 6620   916    810     14500 6700  
eca-rers2012/Problem08_label19_true-unreach-call.c