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_auflira mathsat5-qf_uflira
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=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=mathsat5 -heap 11000M -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=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -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    892     997 11200   901    893     774 10800  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    894     1090 10700   901    892     957 10300  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    893     1070 12200   901    894     1070 11100  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    893     1130 10900   901    893     1090 10400  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    893     1170 11600   901    893     1040 10700  
array-examples/standard_allDiff2_false-unreach-call_ground.i 903    836     4830 9820   904    835     4760 7800  
array-examples/standard_copy1_false-unreach-call_ground.i 901    893     1260 10300   901    896     954 10300  
array-examples/standard_copy2_false-unreach-call_ground.i 901    890     1050 11200   901    893     530 10900  
array-examples/standard_copy3_false-unreach-call_ground.i 901    890     1170 10500   901    891     517 12000  
array-examples/standard_copy4_false-unreach-call_ground.i 901    889     1180 11000   901    892     461 11900  
array-examples/standard_copy5_false-unreach-call_ground.i 901    887     1680 10300   901    893     529 10500  
array-examples/standard_copy6_false-unreach-call_ground.i 901    888     1910 12400   901    892     544 10500  
array-examples/standard_copy7_false-unreach-call_ground.i 901    888     1840 11100   901    891     549 12300  
array-examples/standard_copy8_false-unreach-call_ground.i 901    888     1810 11500   901    892     660 10800  
array-examples/standard_copy9_false-unreach-call_ground.i 901    887     1830 9800   901    892     575 10700  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    890     1160 11100   901    891     448 12000  
array-examples/standard_init1_false-unreach-call_ground.i 901    894     1070 10900   901    895     958 9750  
array-examples/standard_init2_false-unreach-call_ground.i 901    893     646 9630   901    892     458 12000  
array-examples/standard_init3_false-unreach-call_ground.i 901    889     725 12700   901    890     435 12100  
array-examples/standard_init4_false-unreach-call_ground.i 901    890     756 12400   901    892     454 13400  
array-examples/standard_init5_false-unreach-call_ground.i 901    888     849 10500   901    889     619 9540  
array-examples/standard_init6_false-unreach-call_ground.i 901    890     933 13200   901    891     649 12000  
array-examples/standard_init7_false-unreach-call_ground.i 901    890     867 11900   901    890     547 11300  
array-examples/standard_init8_false-unreach-call_ground.i 901    890     853 11700   901    890     550 12300  
array-examples/standard_init9_false-unreach-call_ground.i 901    891     2860 11800   901    890     651 10700  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    893     1020 11500   901    895     991 11900  
array-examples/standard_partition_false-unreach-call_ground.i 901    889     1050 10700   901    893     522 11200  
array-examples/standard_running_false-unreach-call.i 901    889     1340 10300   901    892     581 13700  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 15.9  6.92  555 150   14.0  6.37  478 138  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    892     966 9820   901    893     783 11300  
array-examples/relax_true-unreach-call.i 3.88 1.56  278 34.3 3.44 1.40  275 31.6
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    893     1140 11600   901    893     1050 10100  
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    894     937 10200   901    894     946 13100  
array-examples/sanfoundry_24_true-unreach-call.i 2.78 1.21  274 25.6 2.41 1.03  231 21.0
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    895     1090 12000   901    894     958 9950  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.03 .870 213 21.3 2.01 .897 188 19.8
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    894     1090 9950   901    892     972 10900  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    892     1160 13000   901    893     1070 9810  
array-examples/standard_compareModified_true-unreach-call_ground.i 901    893     1070 9570   901    893     832 10500  
array-examples/standard_compare_true-unreach-call_ground.i 901    894     1240 10400   901    895     974 11300  
array-examples/standard_copy1_true-unreach-call_ground.i 901    894     1260 10800   901    896     952 11800  
array-examples/standard_copy2_true-unreach-call_ground.i 901    893     1080 12300   901    893     478 11600  
array-examples/standard_copy3_true-unreach-call_ground.i 901    890     1200 10800   901    892     502 10300  
array-examples/standard_copy4_true-unreach-call_ground.i 901    889     1150 12400   901    891     486 10700  
array-examples/standard_copy5_true-unreach-call_ground.i 901    888     1860 11800   901    890     552 11100  
array-examples/standard_copy6_true-unreach-call_ground.i 901    888     1790 12900   901    892     513 12600  
array-examples/standard_copy7_true-unreach-call_ground.i 901    888     1790 11400   901    891     564 12800  
array-examples/standard_copy8_true-unreach-call_ground.i 901    889     1780 12900   901    891     662 10900  
array-examples/standard_copy9_true-unreach-call_ground.i 901    889     1750 10700   901    891     602 10500  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    890     1060 10100   901    891     397 10500  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    888     1140 10400   901    892     548 12100  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    890     1100 11600   901    891     561 11300  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    892     1030 11700   901    893     493 11600  
array-examples/standard_find_true-unreach-call_ground.i 901    893     1160 10400   901    893     847 10900  
array-examples/standard_init1_true-unreach-call_ground.i 901    894     1090 9510   901    895     976 11100  
array-examples/standard_init2_true-unreach-call_ground.i 901    891     637 10500   901    893     613 9960  
array-examples/standard_init3_true-unreach-call_ground.i 901    890     676 12000   901    891     440 11100  
array-examples/standard_init4_true-unreach-call_ground.i 901    890     754 11600   901    892     432 12500  
array-examples/standard_init5_true-unreach-call_ground.i 901    890     865 10200   901    892     491 12200  
array-examples/standard_init6_true-unreach-call_ground.i 901    889     869 11700   901    891     517 10700  
array-examples/standard_init7_true-unreach-call_ground.i 901    890     836 12700   901    890     520 10400  
array-examples/standard_init8_true-unreach-call_ground.i 901    890     1570 12800   901    890     551 12300  
array-examples/standard_init9_true-unreach-call_ground.i 901    890     868 10600   901    892     600 12400  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    893     1020 13400   901    894     967 9730  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    893     1030 11100   901    894     999 12700  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    894     1070 10400   901    894     966 9630  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    893     1310 10000   901    894     806 10500  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    893     1290 11100   901    893     1040 9950  
array-examples/standard_partition_true-unreach-call_ground.i 901    891     1050 13200   901    892     625 10800  
array-examples/standard_password_true-unreach-call_ground.i 901    893     1230 11700   901    894     991 11900  
array-examples/standard_reverse_true-unreach-call_ground.i 901    894     1270 10500   901    896     931 11000  
array-examples/standard_running_true-unreach-call.i 901    889     1580 10600   901    891     608 11500  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 2.73 1.18  255 22.6 2.16 .972 218 18.3
array-examples/standard_seq_init_true-unreach-call_ground.i 901    894     1060 11400   901    894     1010 10300  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    891     1510 9970   901    893     1130 9080  
array-examples/standard_strcpy_original_true-unreach-call.i 901    894     1280 12600   901    895     947 10100  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    892     1610 11600   901    892     990 9840  
array-examples/standard_two_index_01_true-unreach-call.i 901    894     1020 10400   901    896     937 10900  
array-examples/standard_two_index_02_true-unreach-call.i 901    893     1240 12200   901    895     930 9980  
array-examples/standard_two_index_03_true-unreach-call.i 901    895     1000 9750   901    896     946 9840  
array-examples/standard_two_index_04_true-unreach-call.i 901    894     1210 10800   901    894     942 12900  
array-examples/standard_two_index_05_true-unreach-call.i 901    893     1240 11200   901    895     914 10700  
array-examples/standard_two_index_06_true-unreach-call.i 901    894     1020 10200   901    895     912 11500  
array-examples/standard_two_index_07_true-unreach-call.i 901    894     1220 10400   901    895     960 11100  
array-examples/standard_two_index_08_true-unreach-call.i 901    894     1240 10400   901    896     922 11100  
array-examples/standard_two_index_09_true-unreach-call.i 901    894     1250 10600   901    895     924 10300  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 2.74 1.21  262 28.8 2.19 .998 223 20.7
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    893     1250 10700   901    897     998 9850  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    895     1150 9970   901    896     966 12000  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 912    907     1410 12000   901    896     960 9830  
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    891     1080 10600   901    893     508 9990  
array-industry-pattern/array_range_init_false-unreach-call.i 912    908     1360 13800   901    893     989 11600  
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    889     1150 10000   901    891     542 11700  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    891     822 10900   901    893     780 10400  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    892     1200 10700   901    894     1050 10300  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    889     1320 11000   901    891     543 10600  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 912    907     1440 11000   901    893     978 11600  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 912    906     1440 13300   901    894     1560 10600  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    888     1020 12400   901    890     602 10500  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 912    907     1420 11300   901    894     1520 10200  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 912    908     2400 11600   901    891     657 12200  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 912    907     2410 14000   901    893     995 10800  
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 912    908     1420 11200   901    892     621 10500  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 912    907     1430 11300   901    893     1570 10400  
array-industry-pattern/array_shadowinit_true-unreach-call.i 2.17 .980 221 18.3 244    240     1270 3120  
reducercommutativity/rangesum05_false-unreach-call.i 5.57 3.47  269 55.8 3.72 1.61  267 35.4
reducercommutativity/rangesum10_false-unreach-call.i 22.9  17.1   359 271   8.05 3.42  326 78.3
reducercommutativity/rangesum20_false-unreach-call.i 44.1  35.7   482 500   26.0  17.2   470 258  
reducercommutativity/rangesum40_false-unreach-call.i 332    322     942 4400   152    142     568 1770  
reducercommutativity/rangesum60_false-unreach-call.i 857    846     637 10100   610    598     600 8010  
reducercommutativity/rangesum_false-unreach-call.i 2.81 1.20  260 24.8 3.47 1.69  263 33.7
reducercommutativity/avg05_true-unreach-call.i 14.8  12.4   270 181   8.34 5.49  271 91.4
reducercommutativity/avg10_true-unreach-call.i 81.7  73.1   458 1120   30.2  22.0   501 319  
reducercommutativity/avg20_true-unreach-call.i 912    900     774 10600   369    358     2340 4950  
reducercommutativity/avg40_true-unreach-call.i 901    889     778 13300   901    889     647 13000  
reducercommutativity/avg60_true-unreach-call.i 901    888     784 10200   901    890     788 9500  
reducercommutativity/avg_true-unreach-call.i 2.48 1.09  218 22.9 771    761     2540 8640  
reducercommutativity/max05_true-unreach-call_true-termination.i 6.43 3.75  739 68.9 912    909     5080 7780  
reducercommutativity/max10_true-unreach-call_true-termination.i 58.2  48.4   15000 665   912    903     6890 10400  
reducercommutativity/max20_true-unreach-call.i 902    891     2190 10700   901    889     1410 10900  
reducercommutativity/max40_true-unreach-call.i 901    888     826 10300   901    887     751 13700  
reducercommutativity/max60_true-unreach-call.i 901    888     773 10400   901    890     696 12100  
reducercommutativity/max_true-unreach-call.i 7.27 4.54  307 73.5 3.77 1.84  270 33.4
reducercommutativity/sep05_true-unreach-call.i 6.86 4.09  686 58.8 16.8  13.6   302 215  
reducercommutativity/sep10_true-unreach-call.i 170    162     476 1990   41.6  32.8   471 419  
reducercommutativity/sep20_true-unreach-call.i 504    491     15000 5990   738    726     700 9360  
reducercommutativity/sep40_true-unreach-call.i 901    889     802 9910   901    888     685 11100  
reducercommutativity/sep60_true-unreach-call.i 901    888     832 11600   901    890     669 10100  
reducercommutativity/sep_true-unreach-call.i 2.57 1.14  215 23.2 909    900     1980 11100  
reducercommutativity/sum05_true-unreach-call_true-termination.i 4.20 1.88  271 38.7 5.04 2.43  268 49.0
reducercommutativity/sum10_true-unreach-call.i 16.7  7.15  477 164   23.7  13.5   461 204  
reducercommutativity/sum20_true-unreach-call.i 135    125     2100 1580   279    268     910 3480  
reducercommutativity/sum40_true-unreach-call.i 901    888     751 11600   901    890     630 11000  
reducercommutativity/sum60_true-unreach-call.i 901    889     826 10400   901    891     719 10100  
reducercommutativity/sum_true-unreach-call.i 2.48 1.10  222 22.6 229    221     1010 2750  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 3.07 1.27  264 27.8 2.94 1.24  259 25.5
bitvector/sum02_false-unreach-call_true-no-overflow.i 2.15 .954 223 23.0 2.13 .968 223 19.7
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 2.88 1.24  263 26.1 3.11 1.25  264 30.5
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 3.03 1.24  263 27.7 2.99 1.24  259 29.1
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 2.16 .962 222 21.0 2.18 .968 215 20.9
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 2.26 1.01  219 20.7 2.28 1.02  216 24.2
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 2.16 .951 216 19.9 2.19 .963 219 18.7
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 2.27 1.04  219 20.5 2.36 1.08  223 22.0
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 2.67 1.16  240 26.0 2.82 1.16  248 25.6
bitvector/jain_1_true-unreach-call_true-no-overflow.i 2.00 .920 215 18.6 2.06 .942 223 20.6
bitvector/jain_2_true-unreach-call_true-no-overflow.i 2.09 .912 223 22.3 2.12 .918 222 17.4
bitvector/jain_4_true-unreach-call_true-no-overflow.i 2.09 .912 223 19.1 2.10 .944 220 19.2
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    898     2950 9300   901    898     3020 8630  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 2.16 .925 221 19.6 2.27 .992 225 20.2
bitvector/jain_7_true-unreach-call_true-no-overflow.i 2.12 .920 223 17.9 2.10 .933 223 19.5
bitvector/modulus_true-unreach-call_true-no-overflow.i 2.16 .950 215 18.5 2.16 .937 227 20.9
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 2.36 1.02  222 18.6 2.25 1.02  222 21.5
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 2.37 1.02  224 22.6 2.31 1.02  218 20.9
bitvector/parity_true-unreach-call_true-no-overflow.i 2.16 .946 214 17.6 2.12 .931 213 18.9
bitvector/sum02_true-unreach-call_true-no-overflow.i 2.20 .964 223 19.5 2.15 .970 217 19.9
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 4.73 1.81  285 41.3 4.71 1.82  285 44.2
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 5.48 2.36  288 53.1 5.44 2.37  283 44.2
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 3.44 1.34  265 28.7 3.42 1.32  267 31.6
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 4.64 1.84  280 42.5 4.67 1.81  279 38.7
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 5.56 2.32  287 46.3 5.34 2.29  283 55.3
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    889     5640 12400   901    889     5480 10800  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    887     5900 9940   901    887     6010 11800  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    889     4800 10400   902    889     4700 9420  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    890     6370 9020   901    887     6360 9630  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    889     6320 10400   902    891     6460 12800  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    892     4820 9570   901    893     4840 10000  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    893     4910 10000   901    892     5070 10100  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 3.19 1.25  270 28.2 3.29 1.23  282 27.5
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 4.55 1.59  275 41.1 4.44 1.54  279 37.4
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 4.39 1.53  280 34.8 4.44 1.52  279 35.1
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 2.90 1.18  258 26.6 2.91 1.15  263 28.4
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 5.29 1.75  295 42.7 4.49 1.53  279 36.1
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.04 .909 215 20.5 2.03 .904 215 19.1
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.13 .894 218 16.2 2.10 .884 221 19.1
bitvector-regression/integerpromotion_false-unreach-call.c 1.98 .892 216 19.4 2.04 .915 220 20.7
bitvector-regression/recHanoi03_false-unreach-call.c 1.96 .866 212 18.4 2.12 .946 221 22.0
bitvector-regression/signextension2_false-unreach-call.c 2.01 .898 217 17.5 1.96 .882 214 17.6
bitvector-regression/signextension_false-unreach-call.c 2.11 .929 220 19.2 2.02 .886 215 16.9
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.09 .918 215 18.1 2.00 .887 218 19.3
bitvector-regression/integerpromotion_true-unreach-call.c 1.97 .878 220 18.9 2.00 .915 220 17.5
bitvector-regression/signextension2_true-unreach-call.c 1.99 .897 217 17.5 2.02 .917 217 18.7
bitvector-regression/signextension_true-unreach-call.c 2.07 .937 216 19.1 2.10 .893 216 19.7
bitvector-loops/diamond_false-unreach-call2.i 2.70 1.22  222 24.1 2.65 1.21  225 25.0
bitvector-loops/overflow_false-unreach-call1.i 1.99 .899 214 20.6 2.01 .909 218 18.6
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 2.33 1.05  216 20.4 2.39 1.09  217 23.5
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.36 1.97  292 47.6 5.11 1.85  294 43.7
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 3.74 1.50  277 36.4 3.89 1.51  273 31.9
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.23 1.69  282 39.1 4.29 1.65  280 38.8
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 3.32 1.33  266 30.7 3.29 1.31  263 29.0
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.12 1.92  285 47.3 5.08 1.87  291 43.9
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.97 1.69  276 37.3 4.08 1.69  273 35.6
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.76 1.48  270 33.9 3.62 1.49  275 31.8
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.97 1.57  280 32.5 3.99 1.59  278 33.0
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2.58 1.10  217 21.9 2.56 1.11  221 21.7
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.24 1.28  261 26.9 3.34 1.29  265 26.9
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 3.68 1.45  268 36.9 3.86 1.54  274 34.9
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 3.82 1.47  279 33.6 3.94 1.58  279 35.6
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 3.86 1.50  278 33.0 3.87 1.54  278 32.5
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 3.78 1.47  278 35.3 3.94 1.53  276 33.8
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 2.92 1.17  261 26.0 3.02 1.21  260 26.9
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 4.56 1.91  287 40.3 4.36 1.87  286 38.9
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 4.26 1.76  280 38.7 4.22 1.71  277 37.3
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 3.66 1.44  272 28.7 3.62 1.43  273 31.9
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 3.25 1.25  268 27.0 3.53 1.40  274 33.3
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 3.37 1.34  266 30.3 3.39 1.35  267 29.3
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 3.52 1.37  268 29.1 3.59 1.40  271 30.4
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 2.74 1.14  228 25.5 2.88 1.14  257 25.4
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 10.8  7.33  305 117   11.3  7.40  323 125  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 40.8  35.2   577 451   41.0  35.6   565 437  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 29.4  23.1   550 308   28.1  23.0   533 372  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 30.9  25.1   560 436   31.8  25.2   580 321  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 901    891     4720 9840   901    891     4660 10700  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 4.16 1.94  276 35.4 3.90 1.91  272 36.0
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 2.45 1.09  221 24.0 2.47 1.08  222 20.6
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 901    892     5200 10600   901    893     5240 10900  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 901    893     5240 11000   901    892     4890 9640  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 901    892     5220 11300   901    892     5100 11700  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 901    893     4800 10300   901    892     4790 11800  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 901    891     5480 13100   901    892     5400 10600  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 901    890     5620 10300   901    891     5630 9770  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.48 1.07  220 21.4 2.45 1.05  222 21.1
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.41 1.05  220 21.8 2.53 1.03  218 19.8
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 2.27 .992 215 21.3 2.32 .962 216 19.7
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 2.19 .980 214 18.0 2.18 .941 219 21.1
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 2.21 .959 217 21.9 2.34 .990 218 20.8
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 2.24 1.00  215 20.6 2.39 1.03  223 20.6
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 2.39 1.13  219 21.9 2.30 1.02  215 20.0
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 2.32 1.00  213 19.2 2.29 1.01  212 20.1
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.08 .939 217 18.2 2.02 .911 213 17.3
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.23 1.01  222 22.0 2.11 .923 212 20.2
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.18 .969 214 19.8 2.16 .939 214 19.0
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 2.15 .950 217 18.8 2.19 .952 222 18.4
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 2.24 .980 213 19.0 2.23 .970 220 20.4
ntdrivers/cdaudio_false-unreach-call.i.cil.c 902    873     974 10600   902    869     941 10400  
ntdrivers/diskperf_false-unreach-call.i.cil.c 5.92 2.02  302 48.3 5.93 2.11  295 50.1
ntdrivers/floppy_false-unreach-call.i.cil.c 902    891     2270 8250   188    173     791 2240  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 4.73 1.73  285 43.3 4.94 1.73  289 44.9
ntdrivers/parport_false-unreach-call.i.cil.c 963    366     12100 5890   968    373     12000 7620  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 8.48 2.73  325 69.2 10.2  3.27  349 81.6
ntdrivers/diskperf_true-unreach-call.i.cil.c 5.56 2.09  299 48.8 5.85 2.09  298 48.6
ntdrivers/floppy2_true-unreach-call.i.cil.c 49.3  36.5   796 530   52.7  37.9   846 545  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 52.2  38.6   634 557   198    186     782 2240  
ntdrivers/parport_true-unreach-call.i.cil.c 968    354     11800 5690   968    368     11900 6660  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 5.46 2.40  297 50.8 5.23 2.15  300 45.1
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 5.96 2.92  308 64.0 4.95 1.99  300 43.5
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 5.36 2.29  296 51.5 5.12 1.99  297 43.6
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 5.96 3.01  308 62.5 4.91 1.99  291 41.9
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 4.53 1.75  290 37.5 4.20 1.62  286 37.5
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 4.55 1.77  288 42.3 4.24 1.61  290 37.9
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 4.58 1.81  288 37.9 4.24 1.60  290 40.9
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 4.46 1.71  287 34.5 4.31 1.59  285 34.8
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 4.58 1.86  292 47.3 5.59 2.05  304 48.3
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 5.43 2.31  305 49.4 5.41 2.04  300 48.5
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 5.09 2.20  304 48.3 8.80 4.16  327 86.9
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 5.47 2.37  308 50.0 5.10 1.92  288 44.1
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 6.03 2.80  309 57.2 9.23 4.71  344 90.2
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 4.96 2.01  292 44.3 5.12 1.97  290 45.5
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 4.52 1.85  291 44.2 5.11 2.00  298 43.1
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 5.46 2.37  305 54.0 5.23 2.02  292 47.9
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 4.63 1.89  292 38.8 5.44 2.13  303 53.5
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 5.02 2.24  299 47.2 8.77 4.67  332 96.3
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 4.43 1.83  288 38.6 5.49 2.08  298 42.6
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 8.07 4.36  328 74.4 108    100     788 1200  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 18.4  14.3   462 157   185    177     1080 2500  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 16.8  12.7   427 200   45.9  38.8   620 490  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 11.0  6.93  345 113   38.8  31.8   641 423  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 7.51 3.81  328 67.9 902    885     4240 11900  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 5.48 2.52  307 51.3 901    886     4650 10800  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 119    112     1430 1390   902    889     4480 9860  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 5.88 2.56  309 47.8 901    886     4700 11700  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 8.83 4.48  324 93.8 901    887     4950 9880  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 5.41 2.10  300 45.7 901    888     5330 11300  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 6.17 2.66  311 63.0 902    887     5040 10100  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 5.82 2.50  307 54.0 901    878     5350 10500  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 14.6  10.0   436 150   901    888     4560 12400  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 6.38 2.93  314 66.0 901    886     5080 12700  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 25.6  20.0   552 296   901    887     4290 10200  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 17.7  12.8   507 212   901    888     4580 11300  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 50.7  43.3   886 631   901    888     4450 10500  
eca-rers2012/Problem01_label15_false-unreach-call.c 6.95 2.20  378 56.0 7.40 2.25  376 64.0
eca-rers2012/Problem01_label20_false-unreach-call.c 8.78 2.64  480 69.2 8.91 2.66  491 62.9
eca-rers2012/Problem01_label21_false-unreach-call.c 7.02 2.19  377 61.5 7.11 2.25  378 56.1
eca-rers2012/Problem01_label32_false-unreach-call.c 9.02 2.71  507 62.0 8.41 2.60  487 67.0
eca-rers2012/Problem01_label33_false-unreach-call.c 7.92 2.43  432 72.1 7.78 2.42  422 59.2
eca-rers2012/Problem01_label35_false-unreach-call.c 6.98 2.16  372 56.4 8.19 2.48  381 62.4
eca-rers2012/Problem01_label37_false-unreach-call.c 7.70 2.43  453 62.1 8.18 2.48  432 72.0
eca-rers2012/Problem01_label38_false-unreach-call.c 7.22 2.25  376 58.4 8.03 2.48  379 53.6
eca-rers2012/Problem01_label44_false-unreach-call.c 6.93 2.19  319 48.7 6.29 2.01  338 48.9
eca-rers2012/Problem01_label47_false-unreach-call.c 8.52 2.66  466 65.7 8.48 2.58  488 67.9
eca-rers2012/Problem01_label50_false-unreach-call.c 8.46 2.55  377 55.5 8.29 2.56  383 64.8
eca-rers2012/Problem01_label56_false-unreach-call.c 8.65 2.59  459 70.0 8.13 2.41  422 63.3
eca-rers2012/Problem01_label57_false-unreach-call.c 7.51 2.35  429 62.9 7.89 2.41  446 61.1
eca-rers2012/Problem02_label13_false-unreach-call.c 5.44 1.80  302 46.6 5.32 1.79  300 46.0
eca-rers2012/Problem02_label16_false-unreach-call.c 5.30 1.75  308 49.6 5.27 1.76  312 44.0
eca-rers2012/Problem02_label43_false-unreach-call.c 5.20 1.76  299 51.4 5.48 1.78  312 44.9
eca-rers2012/Problem02_label44_false-unreach-call.c 5.43 1.80  311 43.1 5.91 1.94  309 42.6
eca-rers2012/Problem02_label45_false-unreach-call.c 6.37 2.06  329 51.4 6.00 1.95  322 50.8
eca-rers2012/Problem02_label50_false-unreach-call.c 6.14 1.93  310 48.6 6.20 1.97  314 52.6
eca-rers2012/Problem02_label59_false-unreach-call.c 6.15 1.97  324 56.1 7.11 2.28  321 56.2
eca-rers2012/Problem03_label09_false-unreach-call.c 15.2  4.94  604 116   16.8  5.17  629 133  
eca-rers2012/Problem03_label13_false-unreach-call.c 14.2  4.24  599 115   14.9  4.24  578 112  
eca-rers2012/Problem03_label26_false-unreach-call.c 12.7  3.54  531 94.0 14.0  3.69  559 106  
eca-rers2012/Problem03_label27_false-unreach-call.c 14.6  4.24  583 113   14.9  4.01  602 102  
eca-rers2012/Problem03_label28_false-unreach-call.c 15.1  4.41  596 126   16.1  4.35  603 132  
eca-rers2012/Problem03_label31_false-unreach-call.c 17.4  5.20  584 122   14.6  4.27  578 112  
eca-rers2012/Problem03_label35_false-unreach-call.c 18.1  5.97  622 162   18.8  6.43  617 137  
eca-rers2012/Problem03_label37_false-unreach-call.c 16.1  4.22  610 116   15.1  4.27  610 120  
eca-rers2012/Problem03_label39_false-unreach-call.c 16.5  4.92  617 141   15.1  4.71  621 110  
eca-rers2012/Problem03_label43_false-unreach-call.c 14.9  4.12  588 102   13.9  4.24  581 108  
eca-rers2012/Problem03_label45_false-unreach-call.c 18.8  5.01  635 130   16.0  4.91  611 121  
eca-rers2012/Problem03_label50_false-unreach-call.c 15.0  4.48  604 127   14.0  4.13  601 100  
eca-rers2012/Problem03_label52_false-unreach-call.c 16.9  5.61  638 140   16.4  5.10  622 135  
eca-rers2012/Problem04_label04_false-unreach-call.c 213    189     3980 2420   220    198     3970 1950  
eca-rers2012/Problem04_label06_false-unreach-call.c 287    253     5220 2090   277    248     5040 3370  
eca-rers2012/Problem04_label09_false-unreach-call.c 178    158     3690 1900   183    160     3650 1680  
eca-rers2012/Problem04_label11_false-unreach-call.c 197    174     3640 1640   193    171     3440 1880  
eca-rers2012/Problem04_label12_false-unreach-call.c 490    446     8830 5350   486    447     8900 4660  
eca-rers2012/Problem04_label13_false-unreach-call.c 135    117     2740 1250   140    118     2840 1280  
eca-rers2012/Problem04_label14_false-unreach-call.c 158    139     3200 1490   163    143     3270 1510  
eca-rers2012/Problem04_label15_false-unreach-call.c 163    143     3150 1480   165    143     3220 1390  
eca-rers2012/Problem04_label17_false-unreach-call.c 175    152     3310 1570   171    150     3310 1590  
eca-rers2012/Problem04_label18_false-unreach-call.c 179    157     3410 1820   179    156     3520 1700  
eca-rers2012/Problem04_label19_false-unreach-call.c 387    347     6920 3770   390    350     6580 3830  
eca-rers2012/Problem04_label26_false-unreach-call.c 171    152     3210 1840   170    150     3250 1720  
eca-rers2012/Problem04_label27_false-unreach-call.c 177    154     3180 1600   173    154     3240 1700  
eca-rers2012/Problem04_label31_false-unreach-call.c 250    226     4090 2630   247    226     4060 2360  
eca-rers2012/Problem04_label32_false-unreach-call.c 198    174     3920 1930   191    169     3900 1810  
eca-rers2012/Problem04_label35_false-unreach-call.c 191    171     3610 1850   192    172     3580 1820  
eca-rers2012/Problem04_label36_false-unreach-call.c 162    140     3330 1270   159    140     3330 1530  
eca-rers2012/Problem04_label38_false-unreach-call.c 203    181     3980 2080   214    189     3980 2220  
eca-rers2012/Problem04_label39_false-unreach-call.c 243    220     4170 2400   240    220     4170 2200  
eca-rers2012/Problem04_label40_false-unreach-call.c 338    304     5910 3310   325    297     5800 3610  
eca-rers2012/Problem04_label45_false-unreach-call.c 222    200     3940 2380   224    201     3940 2310  
eca-rers2012/Problem04_label52_false-unreach-call.c 243    219     4400 2480   249    223     4360 2190  
eca-rers2012/Problem04_label55_false-unreach-call.c 159    138     3060 1450   160    140     3140 1750  
eca-rers2012/Problem04_label58_false-unreach-call.c 274    250     4840 2390   277    249     4610 2740  
eca-rers2012/Problem05_label00_false-unreach-call.c 84.0  63.4   2140 967   87.8  64.6   2200 815  
eca-rers2012/Problem05_label01_false-unreach-call.c 86.9  64.2   2270 892   89.9  64.8   2300 781  
eca-rers2012/Problem05_label11_false-unreach-call.c 85.7  64.2   2110 845   88.5  63.6   2170 738  
eca-rers2012/Problem05_label13_false-unreach-call.c 82.8  61.0   2170 744   81.4  60.2   2130 814  
eca-rers2012/Problem05_label15_false-unreach-call.c 90.7  69.8   2310 771   98.3  70.2   2350 930  
eca-rers2012/Problem05_label18_false-unreach-call.c 89.9  66.3   2270 834   92.3  66.4   2270 932  
eca-rers2012/Problem05_label24_false-unreach-call.c 89.1  66.3   2190 768   90.1  67.2   2160 774  
eca-rers2012/Problem05_label26_false-unreach-call.c 88.7  63.5   2280 950   87.1  62.6   2180 873  
eca-rers2012/Problem05_label30_false-unreach-call.c 98.3  74.5   2210 879   99.8  74.6   2120 918  
eca-rers2012/Problem05_label32_false-unreach-call.c 85.6  64.1   2190 705   87.8  63.3   2200 933  
eca-rers2012/Problem05_label33_false-unreach-call.c 98.4  73.0   2310 857   93.4  71.7   2300 975  
eca-rers2012/Problem05_label36_false-unreach-call.c 73.8  54.9   2010 680   80.7  56.9   2090 767  
eca-rers2012/Problem05_label37_false-unreach-call.c 94.0  70.9   2230 876   93.7  70.7   2300 905  
eca-rers2012/Problem05_label38_false-unreach-call.c 94.6  69.0   2320 865   88.5  67.6   2290 898  
eca-rers2012/Problem05_label39_false-unreach-call.c 92.2  68.8   2260 793   92.2  66.8   2360 900  
eca-rers2012/Problem05_label40_false-unreach-call.c 96.4  72.6   2300 824   95.3  72.1   2270 809  
eca-rers2012/Problem05_label41_false-unreach-call.c 90.4  67.4   2230 899   89.6  66.3   2250 971  
eca-rers2012/Problem05_label44_false-unreach-call.c 87.3  62.8   2360 872   88.6  62.9   2340 873  
eca-rers2012/Problem05_label47_false-unreach-call.c 93.2  70.7   2200 772   90.5  69.2   2250 806  
eca-rers2012/Problem05_label48_false-unreach-call.c 94.5  70.8   2380 881   97.1  71.2   2380 971  
eca-rers2012/Problem05_label51_false-unreach-call.c 78.1  56.6   2130 661   80.2  57.9   2010 821  
eca-rers2012/Problem05_label55_false-unreach-call.c 81.5  59.2   2160 787   81.8  59.2   2160 750  
eca-rers2012/Problem05_label57_false-unreach-call.c 110    86.3   2490 940   106    85.0   2490 1230  
eca-rers2012/Problem05_label58_false-unreach-call.c 86.7  62.8   2170 736   88.7  64.6   2200 766  
eca-rers2012/Problem06_label00_false-unreach-call.c 135    118     15000 1310   135    119     15000 1590  
eca-rers2012/Problem06_label01_false-unreach-call.c 78.6  56.4   2350 706   76.4  55.4   2350 705  
eca-rers2012/Problem06_label02_false-unreach-call.c 149    128     5560 1510   146    128     5560 1430  
eca-rers2012/Problem06_label04_false-unreach-call.c 137    119     15000 1390   136    119     15000 1540  
eca-rers2012/Problem06_label05_false-unreach-call.c 164    145     9860 1850   168    146     9860 1810  
eca-rers2012/Problem06_label09_false-unreach-call.c 138    118     15000 1750   133    117     15000 1550  
eca-rers2012/Problem06_label10_false-unreach-call.c 133    115     15000 1680   132    115     15000 1560  
eca-rers2012/Problem06_label11_false-unreach-call.c 61.3  39.5   1780 586   55.5  38.7   1780 497  
eca-rers2012/Problem06_label12_false-unreach-call.c 136    120     15000 1660   136    120     15000 1330  
eca-rers2012/Problem06_label15_false-unreach-call.c 128    112     15000 1480   128    112     15000 1490  
eca-rers2012/Problem06_label20_false-unreach-call.c 88.7  67.2   2370 732   88.8  67.1   2330 706  
eca-rers2012/Problem06_label21_false-unreach-call.c 125    108     15000 1380   126    108     15000 1290  
eca-rers2012/Problem06_label24_false-unreach-call.c 141    124     15000 1480   141    124     15000 1550  
eca-rers2012/Problem06_label27_false-unreach-call.c 66.5  48.1   1830 590   69.1  48.4   1820 655  
eca-rers2012/Problem06_label29_false-unreach-call.c 136    119     15000 1630   137    119     15000 1460  
eca-rers2012/Problem06_label33_false-unreach-call.c 63.1  41.4   1780 566   60.8  40.5   1780 539  
eca-rers2012/Problem06_label36_false-unreach-call.c 126    110     15000 1410   126    108     15000 1630  
eca-rers2012/Problem06_label37_false-unreach-call.c 71.9  50.7   2010 703   72.8  50.7   1950 593  
eca-rers2012/Problem06_label38_false-unreach-call.c 72.4  49.8   1860 607   67.7  48.9   1840 665  
eca-rers2012/Problem06_label44_false-unreach-call.c 60.3  39.8   1760 498   62.0  40.1   1780 607  
eca-rers2012/Problem06_label47_false-unreach-call.c 63.6  41.9   1920 569   60.4  41.3   1860 529  
eca-rers2012/Problem06_label48_false-unreach-call.c 132    114     15000 1640   130    112     15000 1380  
eca-rers2012/Problem06_label56_false-unreach-call.c 134    116     15000 1380   134    116     15000 1760  
eca-rers2012/Problem06_label58_false-unreach-call.c 60.4  41.2   1800 542   65.1  42.1   1810 602  
eca-rers2012/Problem06_label59_false-unreach-call.c 135    117     15000 1800   135    116     15000 1460  
eca-rers2012/Problem07_label03_false-unreach-call.c 912    836     11500 8990   912    840     11500 9300  
eca-rers2012/Problem07_label05_false-unreach-call.c 912    842     12000 8550   912    839     12000 10300  
eca-rers2012/Problem07_label06_false-unreach-call.c 912    838     11500 9800   912    841     11500 10400  
eca-rers2012/Problem07_label07_false-unreach-call.c 912    837     11400 9090   912    837     11500 9710  
eca-rers2012/Problem07_label09_false-unreach-call.c 912    838     11600 10500   912    839     11700 11000  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    837     11800 10000   912    838     11700 11100  
eca-rers2012/Problem07_label15_false-unreach-call.c 912    835     11500 8480   912    840     11500 10800  
eca-rers2012/Problem07_label18_false-unreach-call.c 912    836     11500 9900   912    834     11500 10900  
eca-rers2012/Problem07_label19_false-unreach-call.c 912    839     11400 10600   912    838     11400 10500  
eca-rers2012/Problem07_label20_false-unreach-call.c 912    838     11600 11000   912    841     11600 9760  
eca-rers2012/Problem07_label23_false-unreach-call.c 912    833     11300 9810   912    833     11300 11000  
eca-rers2012/Problem07_label30_false-unreach-call.c 912    838     11300 12500   912    843     11400 9960  
eca-rers2012/Problem07_label31_false-unreach-call.c 912    840     11500 10900   912    840     11500 9360  
eca-rers2012/Problem07_label35_false-unreach-call.c 912    838     11900 12100   912    839     11900 11000  
eca-rers2012/Problem07_label36_false-unreach-call.c 912    841     11400 9180   912    839     11400 9760  
eca-rers2012/Problem07_label37_false-unreach-call.c 912    841     11900 8930   912    842     11900 10500  
eca-rers2012/Problem07_label39_false-unreach-call.c 912    837     11300 10000   912    840     11300 12000  
eca-rers2012/Problem07_label40_false-unreach-call.c 912    841     11700 8520   912    841     11700 9380  
eca-rers2012/Problem07_label42_false-unreach-call.c 912    834     11400 10000   912    838     11300 8930  
eca-rers2012/Problem07_label44_false-unreach-call.c 912    843     11400 9410   912    841     11400 10300  
eca-rers2012/Problem07_label46_false-unreach-call.c 912    838     11400 9550   912    840     11400 10900  
eca-rers2012/Problem07_label47_false-unreach-call.c 912    840     11300 10100   912    839     11400 10900  
eca-rers2012/Problem07_label48_false-unreach-call.c 912    837     11700 9950   912    840     11700 11100  
eca-rers2012/Problem07_label58_false-unreach-call.c 912    841     11600 9360   912    834     11600 9530  
eca-rers2012/Problem08_label01_false-unreach-call.c 944    835     11800 7960   912    823     12400 5470  
eca-rers2012/Problem08_label02_false-unreach-call.c 688    631     15000 4390   736    662     15000 4320  
eca-rers2012/Problem08_label04_false-unreach-call.c 940    828     12400 5470   917    832     12300 6700  
eca-rers2012/Problem08_label05_false-unreach-call.c 943    832     11900 4920   952    827     12800 7170  
eca-rers2012/Problem08_label06_false-unreach-call.c 863    781     15000 4500   876    788     15000 5980  
eca-rers2012/Problem08_label07_false-unreach-call.c 447    384     15000 3510   465    390     15000 2430  
eca-rers2012/Problem08_label10_false-unreach-call.c 905    813     15000 6160   900    815     15000 5890  
eca-rers2012/Problem08_label13_false-unreach-call.c 939    832     12200 5310   917    826     12300 6880  
eca-rers2012/Problem08_label15_false-unreach-call.c 837    748     15000 5630   820    734     15000 5000  
eca-rers2012/Problem08_label24_false-unreach-call.c 477    402     15000 4810   495    418     15000 3410  
eca-rers2012/Problem08_label25_false-unreach-call.c 394    323     15000 3170   391    319     15000 3450  
eca-rers2012/Problem08_label26_false-unreach-call.c 918    808     11700 5970   941    835     11600 6820  
eca-rers2012/Problem08_label28_false-unreach-call.c 954    831     13700 5970   916    811     13300 6410  
eca-rers2012/Problem08_label29_false-unreach-call.c 918    839     10300 5050   915    833     10500 5820  
eca-rers2012/Problem08_label34_false-unreach-call.c 912    827     13200 5520   942    832     13100 5500  
eca-rers2012/Problem08_label37_false-unreach-call.c 294    222     15000 2570   294    221     15000 2360  
eca-rers2012/Problem08_label43_false-unreach-call.c 917    827     12600 8040   940    829     12300 6270  
eca-rers2012/Problem08_label46_false-unreach-call.c 923    802     13300 5380   918    804     13300 6010  
eca-rers2012/Problem08_label48_false-unreach-call.c 877    792     15000 5710   887    804     15000 5820  
eca-rers2012/Problem08_label49_false-unreach-call.c 942    832     12400 7670   913    826     12400 7020  
eca-rers2012/Problem08_label50_false-unreach-call.c 776    701     15000 5290   822    743     15000 5070  
eca-rers2012/Problem08_label51_false-unreach-call.c 282    213     15000 2250   254    202     15000 2380  
eca-rers2012/Problem08_label55_false-unreach-call.c 912    828     13700 6020   922    833     13400 5880  
eca-rers2012/Problem08_label59_false-unreach-call.c 938    829     12300 5730   940    833     12300 5790  
eca-rers2012/Problem09_label02_false-unreach-call.c 895    807     15000 6430   912    832     13600 5010  
eca-rers2012/Problem09_label03_false-unreach-call.c 894    811     15000 5500   853    761     15000 6750  
eca-rers2012/Problem09_label06_false-unreach-call.c 912    827     12600 5580   921    837     12600 6100  
eca-rers2012/Problem09_label08_false-unreach-call.c 458    402     15000 3610   492    417     15000 3670  
eca-rers2012/Problem09_label10_false-unreach-call.c 913    827     11900 5340   912    843     12200 6320  
eca-rers2012/Problem09_label11_false-unreach-call.c 919    800     13100 5850   921    818     13000 5580  
eca-rers2012/Problem09_label15_false-unreach-call.c 330    268     15000 2400   343    270     15000 2760  
eca-rers2012/Problem09_label19_false-unreach-call.c 586    513     15000 4250   588    493     15000 5280  
eca-rers2012/Problem09_label20_false-unreach-call.c 921    818     13200 4690   920    820     13500 8160  
eca-rers2012/Problem09_label32_false-unreach-call.c 912    817     13200 5060   945    848     12600 7030  
eca-rers2012/Problem09_label34_false-unreach-call.c 919    833     12500 6420   912    833     12600 6070  
eca-rers2012/Problem09_label35_false-unreach-call.c 921    823     12800 5820   919    836     12800 6570  
eca-rers2012/Problem09_label36_false-unreach-call.c 579    497     15000 4710   581    492     15000 4030  
eca-rers2012/Problem09_label38_false-unreach-call.c 872    787     15000 6620   876    804     15000 5340  
eca-rers2012/Problem09_label41_false-unreach-call.c 912    831     13400 5910   912    827     13400 6040  
eca-rers2012/Problem09_label44_false-unreach-call.c 912    839     12300 6380   943    849     12400 6840  
eca-rers2012/Problem09_label46_false-unreach-call.c 921    819     13200 5610   920    800     13100 5790  
eca-rers2012/Problem09_label47_false-unreach-call.c 796    704     15000 6390   820    739     15000 6090  
eca-rers2012/Problem09_label51_false-unreach-call.c 563    510     15000 4980   591    512     15000 5710  
eca-rers2012/Problem09_label53_false-unreach-call.c 466    409     15000 5180   472    416     15000 4360  
eca-rers2012/Problem09_label54_false-unreach-call.c 653    570     15000 4920   626    556     15000 5520  
eca-rers2012/Problem09_label56_false-unreach-call.c 919    815     12700 6240   919    804     12700 6300  
eca-rers2012/Problem09_label57_false-unreach-call.c 621    552     15000 5390   726    645     15000 4620  
eca-rers2012/Problem09_label59_false-unreach-call.c 679    599     15000 5560   681    610     15000 6030  
eca-rers2012/Problem10_label12_false-unreach-call.c 93.2  89.8   307 1140   93.4  89.8   309 1200  
eca-rers2012/Problem10_label15_false-unreach-call.c 59.8  56.3   331 702   59.6  56.2   334 739  
eca-rers2012/Problem10_label24_false-unreach-call.c 48.6  45.3   311 677   48.5  45.3   311 569  
eca-rers2012/Problem10_label26_false-unreach-call.c 33.3  29.4   319 352   33.0  29.4   318 393  
eca-rers2012/Problem10_label28_false-unreach-call.c 73.7  70.3   406 863   73.8  70.2   406 844  
eca-rers2012/Problem10_label29_false-unreach-call.c 229    225     327 2630   234    231     327 2790  
eca-rers2012/Problem10_label41_false-unreach-call.c 912    908     733 12700   912    908     739 13500  
eca-rers2012/Problem10_label42_false-unreach-call.c 13.5  10.4   299 158   13.6  10.5   296 158  
eca-rers2012/Problem10_label46_false-unreach-call.c 5.35 2.55  291 51.7 5.30 2.57  284 52.7
eca-rers2012/Problem10_label47_false-unreach-call.c 11.2  8.16  301 112   11.1  8.08  299 123  
eca-rers2012/Problem10_label48_false-unreach-call.c 52.0  48.6   316 612   52.0  48.6   317 580  
eca-rers2012/Problem10_label50_false-unreach-call.c 21.1  17.5   315 241   20.7  17.3   321 259  
eca-rers2012/Problem10_label55_false-unreach-call.c 10.1  7.25  292 107   10.2  7.23  301 111  
eca-rers2012/Problem10_label57_false-unreach-call.c 10.2  7.11  301 102   9.91 7.08  293 102  
eca-rers2012/Problem10_label58_false-unreach-call.c 13.6  10.2   311 146   13.1  10.1   298 135  
eca-rers2012/Problem11_label00_false-unreach-call.c 912    906     409 10200   912    906     413 10200  
eca-rers2012/Problem11_label08_false-unreach-call.c 94.7  88.2   372 1120   91.7  87.6   347 1120  
eca-rers2012/Problem11_label14_false-unreach-call.c 86.3  80.4   490 988   84.9  80.6   486 1030  
eca-rers2012/Problem11_label15_false-unreach-call.c 177    172     338 2120   179    173     352 2370  
eca-rers2012/Problem11_label20_false-unreach-call.c 74.4  68.5   359 899   75.1  68.8   349 921  
eca-rers2012/Problem11_label29_false-unreach-call.c 122    116     399 1570   123    117     400 1370  
eca-rers2012/Problem11_label31_false-unreach-call.c 912    906     653 11300   912    907     653 10200  
eca-rers2012/Problem11_label34_false-unreach-call.c 125    119     428 1720   124    119     428 1610  
eca-rers2012/Problem11_label36_false-unreach-call.c 84.0  78.0   351 926   82.3  77.7   339 978  
eca-rers2012/Problem11_label39_false-unreach-call.c 116    110     364 1370   117    111     359 1240  
eca-rers2012/Problem11_label42_false-unreach-call.c 86.8  82.7   336 953   87.3  81.4   355 1070  
eca-rers2012/Problem11_label43_false-unreach-call.c 98.6  94.1   338 1130   100    94.4   372 1240  
eca-rers2012/Problem11_label49_false-unreach-call.c 116    112     357 1600   117    113     350 1350  
eca-rers2012/Problem11_label51_false-unreach-call.c 117    111     357 1580   117    111     361 1360  
eca-rers2012/Problem11_label58_false-unreach-call.c 84.8  80.3   339 1130   84.9  80.4   347 901  
eca-rers2012/Problem12_label00_false-unreach-call.c 904    891     3640 9360   904    890     3730 11400  
eca-rers2012/Problem12_label03_false-unreach-call.c 904    891     2900 10300   903    890     2950 10600  
eca-rers2012/Problem12_label06_false-unreach-call.c 902    889     2780 13000   905    891     2740 10400  
eca-rers2012/Problem12_label07_false-unreach-call.c 902    887     1380 12100   902    889     1390 12300  
eca-rers2012/Problem12_label08_false-unreach-call.c 19.4  8.71  702 182   19.7  8.65  692 166  
eca-rers2012/Problem12_label10_false-unreach-call.c 903    891     3330 10600   903    890     3360 11500  
eca-rers2012/Problem12_label13_false-unreach-call.c 904    893     4830 12400   905    892     4830 9420  
eca-rers2012/Problem12_label19_false-unreach-call.c 904    891     2800 11600   905    893     2780 10400  
eca-rers2012/Problem12_label20_false-unreach-call.c 902    890     2300 13500   903    889     2330 11700  
eca-rers2012/Problem12_label21_false-unreach-call.c 902    889     2000 11700   902    890     1990 9820  
eca-rers2012/Problem12_label25_false-unreach-call.c 904    890     2900 11500   903    890     2700 10900  
eca-rers2012/Problem12_label28_false-unreach-call.c 906    893     2910 10700   905    891     2870 9220  
eca-rers2012/Problem12_label30_false-unreach-call.c 906    892     3670 10400   907    893     3580 9930  
eca-rers2012/Problem12_label34_false-unreach-call.c 906    892     2480 11400   903    890     2500 11000  
eca-rers2012/Problem12_label35_false-unreach-call.c 903    889     2880 10500   903    890     2890 10800  
eca-rers2012/Problem12_label37_false-unreach-call.c 906    893     3860 9970   905    891     3870 9670  
eca-rers2012/Problem12_label38_false-unreach-call.c 902    889     2720 10300   905    892     2710 10300  
eca-rers2012/Problem12_label39_false-unreach-call.c 902    891     2310 10100   905    893     2380 11000  
eca-rers2012/Problem12_label40_false-unreach-call.c 903    888     2630 11600   903    890     2660 11100  
eca-rers2012/Problem12_label42_false-unreach-call.c 904    891     2470 10300   903    891     2580 12600  
eca-rers2012/Problem12_label48_false-unreach-call.c 430    415     1430 6210   431    418     1470 5420  
eca-rers2012/Problem12_label50_false-unreach-call.c 903    890     3630 11500   903    889     3740 11800  
eca-rers2012/Problem12_label51_false-unreach-call.c 903    890     2610 9740   903    891     2570 11000  
eca-rers2012/Problem12_label52_false-unreach-call.c 902    888     1360 12700   902    889     1360 11800  
eca-rers2012/Problem12_label55_false-unreach-call.c 903    890     2980 9700   904    893     2910 10800  
eca-rers2012/Problem13_label04_false-unreach-call.c 904    891     3650 9760   905    893     3580 10100  
eca-rers2012/Problem13_label06_false-unreach-call.c 905    891     3330 10100   906    892     3350 9540  
eca-rers2012/Problem13_label07_false-unreach-call.c 192    180     1040 2310   194    182     1050 2440  
eca-rers2012/Problem13_label11_false-unreach-call.c 903    890     2490 11600   904    892     2490 11100  
eca-rers2012/Problem13_label12_false-unreach-call.c 905    890     2330 11200   904    890     2350 10200  
eca-rers2012/Problem13_label16_false-unreach-call.c 186    175     1070 2280   186    174     1120 2240  
eca-rers2012/Problem13_label19_false-unreach-call.c 905    892     2210 11000   905    891     2180 11200  
eca-rers2012/Problem13_label21_false-unreach-call.c 903    888     2610 10600   903    890     2510 10400  
eca-rers2012/Problem13_label23_false-unreach-call.c 905    892     2100 11600   902    888     2170 11300  
eca-rers2012/Problem13_label24_false-unreach-call.c 905    890     2730 11200   903    890     2630 11000  
eca-rers2012/Problem13_label25_false-unreach-call.c 906    894     2740 10800   905    891     2590 10200  
eca-rers2012/Problem13_label28_false-unreach-call.c 906    891     3320 11500   904    891     3250 10800  
eca-rers2012/Problem13_label29_false-unreach-call.c 904    889     2720 11600   905    890     2650 9650  
eca-rers2012/Problem13_label30_false-unreach-call.c 903    889     2520 12900   903    890     2540 10100  
eca-rers2012/Problem13_label32_false-unreach-call.c 903    889     2340 10500   906    892     2420 10600  
eca-rers2012/Problem13_label35_false-unreach-call.c 904    890     2500 12600   904    890     2560 11900  
eca-rers2012/Problem13_label36_false-unreach-call.c 902    889     2240 11900   905    892     2190 10800  
eca-rers2012/Problem13_label40_false-unreach-call.c 17.2  6.08  639 135   17.6  6.37  636 153  
eca-rers2012/Problem13_label43_false-unreach-call.c 904    890     3530 9440   907    893     3560 11000  
eca-rers2012/Problem13_label44_false-unreach-call.c 905    890     2700 12100   905    892     2660 11600  
eca-rers2012/Problem13_label45_false-unreach-call.c 27.0  15.0   754 233   26.4  14.8   781 259  
eca-rers2012/Problem13_label48_false-unreach-call.c 61.5  48.6   910 597   61.2  48.7   930 604  
eca-rers2012/Problem13_label51_false-unreach-call.c 905    893     2720 12500   905    891     2670 10500  
eca-rers2012/Problem13_label54_false-unreach-call.c 904    890     2400 11700   903    890     2360 12500  
eca-rers2012/Problem13_label58_false-unreach-call.c 905    891     5070 9510   904    890     5080 10100  
eca-rers2012/Problem14_label02_false-unreach-call.c 902    894     2330 6030   902    894     2340 6100  
eca-rers2012/Problem14_label08_false-unreach-call.c 902    893     2440 6930   902    894     2390 5390  
eca-rers2012/Problem14_label10_false-unreach-call.c 318    308     1230 2640   326    317     1240 2560  
eca-rers2012/Problem14_label11_false-unreach-call.c 901    893     1550 6960   901    894     1550 7160  
eca-rers2012/Problem14_label12_false-unreach-call.c 902    894     2500 6390   902    894     2490 6450  
eca-rers2012/Problem14_label13_false-unreach-call.c 143    134     1130 1320   137    128     1120 1540  
eca-rers2012/Problem14_label14_false-unreach-call.c 28.9  25.0   321 292   29.0  25.0   325 350  
eca-rers2012/Problem14_label18_false-unreach-call.c 902    894     2310 5130   902    894     2290 5750  
eca-rers2012/Problem14_label22_false-unreach-call.c 640    631     957 8900   642    633     967 8300  
eca-rers2012/Problem14_label27_false-unreach-call.c 902    893     2410 5380   902    892     2420 6750  
eca-rers2012/Problem14_label28_false-unreach-call.c 902    893     2590 6780   902    894     2580 5760  
eca-rers2012/Problem14_label29_false-unreach-call.c 902    894     2460 6130   902    893     2430 5960  
eca-rers2012/Problem14_label31_false-unreach-call.c 902    893     2350 6170   902    894     2330 5730  
eca-rers2012/Problem14_label34_false-unreach-call.c 903    894     1410 12200   903    895     1350 11500  
eca-rers2012/Problem14_label37_false-unreach-call.c 14.1  5.87  544 124   12.9  5.74  547 113  
eca-rers2012/Problem14_label39_false-unreach-call.c 14.0  6.49  574 126   14.3  6.49  569 143  
eca-rers2012/Problem14_label40_false-unreach-call.c 742    732     1530 5100   732    722     1540 6550  
eca-rers2012/Problem14_label41_false-unreach-call.c 902    893     2080 7220   902    894     2090 6080  
eca-rers2012/Problem14_label43_false-unreach-call.c 902    894     1290 11900   902    893     1300 12200  
eca-rers2012/Problem14_label44_false-unreach-call.c 901    893     1190 13200   901    893     1190 13900  
eca-rers2012/Problem14_label52_false-unreach-call.c 259    251     1200 1990   268    260     1200 1880  
eca-rers2012/Problem14_label54_false-unreach-call.c 902    894     1520 6490   902    893     1510 6450  
eca-rers2012/Problem14_label56_false-unreach-call.c 903    894     3020 5960   902    893     3010 5450  
eca-rers2012/Problem14_label57_false-unreach-call.c 902    894     2690 5250   902    892     2660 5220  
eca-rers2012/Problem14_label58_false-unreach-call.c 332    323     1290 2350   325    317     1270 2550  
eca-rers2012/Problem15_label00_false-unreach-call.c 10.7  4.34  359 100   10.9  4.24  358 83.1
eca-rers2012/Problem15_label02_false-unreach-call.c 9.69 2.86  375 74.9 8.69 2.57  361 66.4
eca-rers2012/Problem15_label03_false-unreach-call.c 40.6  30.5   701 465   40.5  30.7   697 466  
eca-rers2012/Problem15_label07_false-unreach-call.c 14.4  6.84  498 145   15.0  6.74  544 131  
eca-rers2012/Problem15_label09_false-unreach-call.c 13.8  6.85  505 146   14.6  7.24  507 120  
eca-rers2012/Problem15_label14_false-unreach-call.c 902    894     2130 7650   902    894     2170 8910  
eca-rers2012/Problem15_label15_false-unreach-call.c 904    895     1910 12200   903    894     1860 12200  
eca-rers2012/Problem15_label18_false-unreach-call.c 903    894     1790 11000   903    895     1810 11100  
eca-rers2012/Problem15_label22_false-unreach-call.c 8.80 2.71  365 67.5 8.82 2.65  367 75.4
eca-rers2012/Problem15_label23_false-unreach-call.c 902    892     1770 9830   902    894     1740 11800  
eca-rers2012/Problem15_label25_false-unreach-call.c 902    893     1770 10600   902    895     1860 10400  
eca-rers2012/Problem15_label29_false-unreach-call.c 17.1  9.35  549 161   17.8  9.71  550 160  
eca-rers2012/Problem15_label30_false-unreach-call.c 17.0  9.28  572 144   17.5  9.42  598 150  
eca-rers2012/Problem15_label33_false-unreach-call.c 903    893     1810 10700   903    894     1770 10200  
eca-rers2012/Problem15_label34_false-unreach-call.c 904    896     1760 10500   903    894     1730 9960  
eca-rers2012/Problem15_label37_false-unreach-call.c 902    891     2050 10300   902    891     2010 11500  
eca-rers2012/Problem15_label38_false-unreach-call.c 903    892     1880 11600   903    892     1930 10700  
eca-rers2012/Problem15_label39_false-unreach-call.c 9.87 2.94  358 72.9 9.36 2.79  361 72.3
eca-rers2012/Problem15_label40_false-unreach-call.c 11.0  4.55  355 110   11.7  4.88  356 97.9
eca-rers2012/Problem15_label41_false-unreach-call.c 9.11 2.70  362 80.4 9.46 2.86  354 75.8
eca-rers2012/Problem15_label45_false-unreach-call.c 902    893     2090 11500   902    893     1940 9670  
eca-rers2012/Problem15_label47_false-unreach-call.c 902    894     1530 11500   902    894     1500 10400  
eca-rers2012/Problem15_label48_false-unreach-call.c 903    893     3590 6170   903    895     3570 8150  
eca-rers2012/Problem15_label50_false-unreach-call.c 903    896     3280 5740   903    893     3350 7020  
eca-rers2012/Problem15_label51_false-unreach-call.c 903    893     3670 6930   904    894     3800 6630  
eca-rers2012/Problem16_label00_false-unreach-call.c 16.2  9.69  339 138   15.4  9.49  334 173  
eca-rers2012/Problem16_label01_false-unreach-call.c 15.3  9.45  335 141   15.3  9.38  338 171  
eca-rers2012/Problem16_label03_false-unreach-call.c 903    892     2410 10700   903    891     2310 10700  
eca-rers2012/Problem16_label04_false-unreach-call.c 904    888     2140 10400   903    892     2140 11300  
eca-rers2012/Problem16_label05_false-unreach-call.c 905    893     2790 11300   903    892     2820 10800  
eca-rers2012/Problem16_label06_false-unreach-call.c 903    892     2580 12600   904    893     2660 10400  
eca-rers2012/Problem16_label08_false-unreach-call.c 906    894     3310 8830   906    894     3340 8540  
eca-rers2012/Problem16_label14_false-unreach-call.c 903    892     2740 10800   905    893     2730 10100  
eca-rers2012/Problem16_label15_false-unreach-call.c 903    890     2580 13400   905    893     2590 10500  
eca-rers2012/Problem16_label18_false-unreach-call.c 903    892     2540 10300   903    893     2520 9990  
eca-rers2012/Problem16_label20_false-unreach-call.c 903    892     3220 10800   903    891     3140 11500  
eca-rers2012/Problem16_label22_false-unreach-call.c 905    893     2640 10400   904    891     2530 10400  
eca-rers2012/Problem16_label27_false-unreach-call.c 903    890     2610 10200   904    893     2570 11000  
eca-rers2012/Problem16_label30_false-unreach-call.c 904    892     2950 10900   904    891     2960 13000  
eca-rers2012/Problem16_label31_false-unreach-call.c 905    893     2410 9880   904    892     2460 10600  
eca-rers2012/Problem16_label33_false-unreach-call.c 905    894     2600 10900   903    890     2680 11300  
eca-rers2012/Problem16_label37_false-unreach-call.c 904    891     2760 8430   905    893     2770 9470  
eca-rers2012/Problem16_label38_false-unreach-call.c 903    890     2540 9150   904    893     2560 11500  
eca-rers2012/Problem16_label41_false-unreach-call.c 902    890     2210 9220   904    890     2230 11000  
eca-rers2012/Problem16_label43_false-unreach-call.c 903    891     2270 11300   903    890     2370 9920  
eca-rers2012/Problem16_label44_false-unreach-call.c 903    893     2620 8930   903    891     2570 12200  
eca-rers2012/Problem16_label46_false-unreach-call.c 905    893     2400 9710   902    889     2490 11800  
eca-rers2012/Problem16_label51_false-unreach-call.c 904    893     2690 12600   905    895     2730 10700  
eca-rers2012/Problem16_label52_false-unreach-call.c 904    892     2140 10900   905    893     2110 10700  
eca-rers2012/Problem16_label54_false-unreach-call.c 904    893     2100 10800   902    891     2020 10100  
eca-rers2012/Problem17_label04_false-unreach-call.c 10.9  3.36  433 88.1 11.9  3.59  435 102  
eca-rers2012/Problem17_label07_false-unreach-call.c 11.3  3.41  425 92.2 11.3  3.57  437 93.0
eca-rers2012/Problem17_label09_false-unreach-call.c 11.1  3.44  454 98.2 11.0  3.44  438 86.4
eca-rers2012/Problem17_label13_false-unreach-call.c 11.7  3.59  456 104   13.1  4.05  454 108  
eca-rers2012/Problem17_label16_false-unreach-call.c 11.7  3.60  429 84.8 11.3  3.52  424 82.4
eca-rers2012/Problem17_label20_false-unreach-call.c 12.4  4.01  436 97.6 11.2  3.41  427 82.6
eca-rers2012/Problem17_label23_false-unreach-call.c 12.4  3.56  463 104   11.7  3.53  448 91.4
eca-rers2012/Problem17_label25_false-unreach-call.c 11.2  3.52  434 84.0 11.2  3.39  433 85.2
eca-rers2012/Problem17_label26_false-unreach-call.c 12.4  3.83  432 87.2 11.6  3.53  453 95.8
eca-rers2012/Problem17_label30_false-unreach-call.c 11.7  3.60  436 98.9 11.0  3.33  433 81.1
eca-rers2012/Problem17_label31_false-unreach-call.c 11.4  3.43  449 97.2 10.6  3.36  416 76.9
eca-rers2012/Problem17_label33_false-unreach-call.c 11.3  3.42  434 95.6 11.2  3.54  436 85.5
eca-rers2012/Problem17_label34_false-unreach-call.c 11.1  3.48  433 82.6 11.3  3.53  458 100  
eca-rers2012/Problem17_label35_false-unreach-call.c 11.4  3.52  434 83.5 11.4  3.51  456 96.7
eca-rers2012/Problem17_label37_false-unreach-call.c 12.3  3.44  451 86.3 11.2  3.27  455 93.2
eca-rers2012/Problem17_label40_false-unreach-call.c 11.6  3.67  419 91.4 11.5  3.55  447 87.0
eca-rers2012/Problem17_label46_false-unreach-call.c 10.9  3.38  429 91.4 12.2  3.71  453 92.3
eca-rers2012/Problem17_label49_false-unreach-call.c 11.3  3.47  430 91.2 12.0  3.74  448 97.0
eca-rers2012/Problem17_label50_false-unreach-call.c 11.1  3.39  440 80.9 10.6  3.38  417 81.8
eca-rers2012/Problem17_label52_false-unreach-call.c 11.0  3.51  420 91.0 10.5  3.30  418 88.9
eca-rers2012/Problem17_label53_false-unreach-call.c 11.4  3.42  441 90.2 11.6  3.56  452 92.8
eca-rers2012/Problem17_label54_false-unreach-call.c 11.7  3.56  450 97.3 11.5  3.63  453 87.4
eca-rers2012/Problem17_label55_false-unreach-call.c 11.2  3.47  454 79.1 11.7  3.74  422 92.5
eca-rers2012/Problem17_label57_false-unreach-call.c 11.2  3.48  424 90.8 11.3  3.49  459 92.3
eca-rers2012/Problem18_label00_false-unreach-call.c 902    889     2480 9990   903    891     2450 12600  
eca-rers2012/Problem18_label01_false-unreach-call.c 902    889     1350 12700   902    889     1360 11900  
eca-rers2012/Problem18_label03_false-unreach-call.c 904    890     2660 10700   904    891     2740 9200  
eca-rers2012/Problem18_label06_false-unreach-call.c 905    892     2540 10500   906    891     2440 10400  
eca-rers2012/Problem18_label08_false-unreach-call.c 902    891     1700 9740   902    891     1700 10800  
eca-rers2012/Problem18_label09_false-unreach-call.c 20.8  9.87  602 146   20.3  9.50  610 180  
eca-rers2012/Problem18_label10_false-unreach-call.c 905    893     2570 10200   902    890     2470 9130  
eca-rers2012/Problem18_label12_false-unreach-call.c 902    889     2500 11300   902    891     2500 10900  
eca-rers2012/Problem18_label19_false-unreach-call.c 903    891     4080 8320   903    890     4030 7580  
eca-rers2012/Problem18_label20_false-unreach-call.c 902    890     2140 11400   902    891     2100 11800  
eca-rers2012/Problem18_label25_false-unreach-call.c 904    891     2190 11400   903    890     2210 11500  
eca-rers2012/Problem18_label27_false-unreach-call.c 904    892     1360 11800   908    894     1330 13300  
eca-rers2012/Problem18_label31_false-unreach-call.c 905    893     2740 10400   905    892     2660 9330  
eca-rers2012/Problem18_label32_false-unreach-call.c 902    891     1090 10300   903    891     1100 9820  
eca-rers2012/Problem18_label33_false-unreach-call.c 903    891     2700 11000   906    894     2670 12300  
eca-rers2012/Problem18_label34_false-unreach-call.c 902    890     1780 7650   902    890     1770 8230  
eca-rers2012/Problem18_label35_false-unreach-call.c 902    890     2160 11000   902    890     2150 11300  
eca-rers2012/Problem18_label36_false-unreach-call.c 903    891     2600 9940   903    891     2480 11200  
eca-rers2012/Problem18_label38_false-unreach-call.c 902    891     2450 11400   905    893     2350 12200  
eca-rers2012/Problem18_label39_false-unreach-call.c 905    892     2430 11800   906    893     2420 10400  
eca-rers2012/Problem18_label45_false-unreach-call.c 902    891     1810 12300   903    892     1810 11200  
eca-rers2012/Problem18_label49_false-unreach-call.c 905    892     2540 10800   903    892     2530 11200  
eca-rers2012/Problem18_label52_false-unreach-call.c 902    889     2220 11700   902    889     2320 10600  
eca-rers2012/Problem18_label55_false-unreach-call.c 903    891     2580 10300   905    890     2570 9850  
eca-rers2012/Problem18_label57_false-unreach-call.c 902    889     1230 11100   902    889     1230 14000  
eca-rers2012/Problem19_label10_false-unreach-call.c 903    887     1790 6630   903    887     1830 6010  
eca-rers2012/Problem19_label11_false-unreach-call.c 902    885     1540 6050   903    887     1520 6050  
eca-rers2012/Problem19_label14_false-unreach-call.c 906    892     2450 9910   904    890     2570 13100  
eca-rers2012/Problem19_label17_false-unreach-call.c 903    885     1700 6160   902    885     1730 8480  
eca-rers2012/Problem19_label18_false-unreach-call.c 903    887     1650 5580   903    887     1680 5690  
eca-rers2012/Problem19_label19_false-unreach-call.c 903    887     1760 6900   903    886     1760 6610  
eca-rers2012/Problem19_label21_false-unreach-call.c 903    886     1650 5900   902    886     1670 5850  
eca-rers2012/Problem19_label22_false-unreach-call.c 903    886     1740 5680   903    886     1740 5620  
eca-rers2012/Problem19_label26_false-unreach-call.c 903    887     1710 6980   903    886     1730 7250  
eca-rers2012/Problem19_label27_false-unreach-call.c 903    887     1730 5810   902    886     1740 5980  
eca-rers2012/Problem19_label28_false-unreach-call.c 904    889     3250 10900   905    889     3160 10800  
eca-rers2012/Problem19_label29_false-unreach-call.c 902    887     1560 5940   903    885     1550 5950  
eca-rers2012/Problem19_label31_false-unreach-call.c 902    886     1730 5670   902    887     1760 4980  
eca-rers2012/Problem19_label32_false-unreach-call.c 903    887     1780 6320   903    887     1730 6270  
eca-rers2012/Problem19_label41_false-unreach-call.c 903    885     1540 5630   902    885     1540 5580  
eca-rers2012/Problem19_label42_false-unreach-call.c 902    885     1690 6440   902    886     1680 6020  
eca-rers2012/Problem19_label43_false-unreach-call.c 903    886     1820 8020   903    886     1820 5200  
eca-rers2012/Problem19_label47_false-unreach-call.c 903    887     1720 7880   903    885     1720 5900  
eca-rers2012/Problem19_label50_false-unreach-call.c 903    887     1820 5840   903    888     1810 5770  
eca-rers2012/Problem19_label51_false-unreach-call.c 903    886     1580 6040   902    886     1560 6500  
eca-rers2012/Problem19_label53_false-unreach-call.c 903    886     1690 6790   903    887     1700 6520  
eca-rers2012/Problem19_label55_false-unreach-call.c 903    887     1740 5800   903    887     1740 6630  
eca-rers2012/Problem19_label58_false-unreach-call.c 902    886     1710 5410   902    888     1710 7030  
eca-rers2012/Problem19_label59_false-unreach-call.c 27.6  16.4   654 284   27.6  16.3   655 285  
eca-rers2012/Problem01_label00_true-unreach-call.c 6.21 1.98  318 54.5 6.12 1.98  317 52.8
eca-rers2012/Problem01_label01_true-unreach-call.c 6.04 1.93  323 52.3 6.27 1.96  317 56.7
eca-rers2012/Problem01_label02_true-unreach-call.c 6.14 1.99  313 46.6 6.28 1.99  316 50.0
eca-rers2012/Problem01_label03_true-unreach-call.c 6.33 2.03  313 49.2 6.28 2.03  325 53.7
eca-rers2012/Problem01_label04_true-unreach-call.c 6.31 1.98  318 53.5 5.98 2.02  305 51.4
eca-rers2012/Problem01_label05_true-unreach-call.c 7.35 2.30  324 59.5 6.04 1.94  321 49.9
eca-rers2012/Problem01_label06_true-unreach-call.c 6.41 2.02  326 52.5 6.31 2.06  328 57.1
eca-rers2012/Problem01_label07_true-unreach-call.c 6.17 1.97  306 48.6 6.46 1.97  322 54.3
eca-rers2012/Problem01_label08_true-unreach-call.c 7.23 2.27  354 58.5 7.24 2.26  360 59.8
eca-rers2012/Problem01_label09_true-unreach-call.c 6.80 2.21  327 55.5 6.39 1.99  325 54.6
eca-rers2012/Problem01_label10_true-unreach-call.c 6.25 2.00  320 54.5 6.57 2.11  340 56.4
eca-rers2012/Problem01_label11_true-unreach-call.c 6.60 2.10  323 49.4 6.03 1.97  317 53.4
eca-rers2012/Problem01_label12_true-unreach-call.c 6.34 2.01  338 46.6 6.11 1.98  312 47.8
eca-rers2012/Problem01_label13_true-unreach-call.c 6.30 2.01  322 50.2 7.30 2.27  323 51.3
eca-rers2012/Problem01_label14_true-unreach-call.c 6.42 2.02  318 47.1 6.25 1.99  321 59.6
eca-rers2012/Problem01_label16_true-unreach-call.c 6.24 2.00  323 52.3 7.52 2.33  333 55.2
eca-rers2012/Problem01_label17_true-unreach-call.c 6.98 2.20  319 58.1 6.34 1.99  316 51.1
eca-rers2012/Problem01_label18_true-unreach-call.c 6.32 2.05  319 49.0 6.35 1.98  312 54.8
eca-rers2012/Problem01_label19_true-unreach-call.c 6.25 1.96  331 57.5 6.10 1.98  323 56.7
eca-rers2012/Problem01_label22_true-unreach-call.c 6.14 1.95  309 48.2 6.08 2.00  307 50.4
eca-rers2012/Problem01_label23_true-unreach-call.c 6.00 1.94  315 55.1 7.03 2.19  318 53.1
eca-rers2012/Problem01_label24_true-unreach-call.c 6.26 1.98  316 53.4 6.26 1.99  309 52.4
eca-rers2012/Problem01_label25_true-unreach-call.c 6.83 2.15  318 53.4 6.52 2.12  323 56.8
eca-rers2012/Problem01_label26_true-unreach-call.c 6.80 2.18  320 59.7 6.14 1.98  311 44.9
eca-rers2012/Problem01_label27_true-unreach-call.c 6.44 2.02  324 59.2 6.26 1.98  314 51.7
eca-rers2012/Problem01_label28_true-unreach-call.c 6.32 1.95  315 47.7 6.53 2.02  318 49.8
eca-rers2012/Problem01_label29_true-unreach-call.c 6.03 1.99  305 47.0 6.17 2.00  317 50.6
eca-rers2012/Problem01_label30_true-unreach-call.c 6.45 2.08  321 54.9 7.10 2.21  333 56.0
eca-rers2012/Problem01_label31_true-unreach-call.c 6.17 1.95  308 52.1 6.14 1.96  316 49.9
eca-rers2012/Problem01_label34_true-unreach-call.c 6.16 2.02  326 46.6 6.44 1.96  312 48.0
eca-rers2012/Problem01_label36_true-unreach-call.c 6.16 1.99  313 53.6 6.20 1.97  318 51.7
eca-rers2012/Problem01_label39_true-unreach-call.c 7.09 2.23  338 60.4 5.92 1.95  321 46.6
eca-rers2012/Problem01_label40_true-unreach-call.c 6.29 2.00  324 49.3 6.82 2.19  323 58.9
eca-rers2012/Problem01_label41_true-unreach-call.c 7.13 2.18  356 55.0 6.94 2.18  351 54.5
eca-rers2012/Problem01_label42_true-unreach-call.c 6.20 1.96  315 46.3 6.20 2.00  324 49.4
eca-rers2012/Problem01_label43_true-unreach-call.c 6.22 1.98  322 53.3 6.33 2.03  320 57.7
eca-rers2012/Problem01_label45_true-unreach-call.c 6.75 2.21  357 59.0 7.03 2.24  354 60.3
eca-rers2012/Problem01_label46_true-unreach-call.c 7.91 2.39  403 59.6 8.81 2.76  429 57.2
eca-rers2012/Problem01_label48_true-unreach-call.c 6.77 2.20  359 57.4 7.02 2.18  359 51.1
eca-rers2012/Problem01_label49_true-unreach-call.c 6.23 2.00  324 49.1 7.25 2.32  321 56.4
eca-rers2012/Problem01_label51_true-unreach-call.c 7.25 2.21  374 62.8 7.00 2.21  373 62.8
eca-rers2012/Problem01_label52_true-unreach-call.c 6.24 2.01  320 52.9 6.30 2.01  320 57.0
eca-rers2012/Problem01_label53_true-unreach-call.c 6.81 2.17  348 52.1 6.96 2.19  349 62.3
eca-rers2012/Problem01_label54_true-unreach-call.c 6.40 2.00  321 47.1 6.38 2.03  312 53.6
eca-rers2012/Problem01_label55_true-unreach-call.c 6.23 2.01  319 52.9 6.77 2.16  329 57.8
eca-rers2012/Problem01_label58_true-unreach-call.c 6.12 1.96  305 47.4 6.62 2.06  316 54.8
eca-rers2012/Problem01_label59_true-unreach-call.c 6.17 1.94  306 47.9 6.26 2.06  308 54.1
eca-rers2012/Problem02_label00_true-unreach-call.c 6.05 1.92  318 51.8 6.35 2.01  325 54.2
eca-rers2012/Problem02_label01_true-unreach-call.c 6.67 2.16  310 52.1 5.80 1.92  311 50.4
eca-rers2012/Problem02_label02_true-unreach-call.c 8.00 2.47  437 63.7 8.54 2.52  428 72.3
eca-rers2012/Problem02_label03_true-unreach-call.c 5.93 1.92  313 49.2 6.14 2.00  319 53.4
eca-rers2012/Problem02_label04_true-unreach-call.c 6.72 2.14  324 54.0 5.80 1.92  308 46.7
eca-rers2012/Problem02_label05_true-unreach-call.c 5.95 1.93  315 52.7 5.88 1.98  304 50.2
eca-rers2012/Problem02_label06_true-unreach-call.c 9.87 3.19  516 80.3 11.1  3.31  512 81.0
eca-rers2012/Problem02_label07_true-unreach-call.c 6.26 2.00  319 47.8 6.07 1.98  321 48.7
eca-rers2012/Problem02_label08_true-unreach-call.c 8.13 2.52  438 68.1 8.33 2.51  456 67.1
eca-rers2012/Problem02_label09_true-unreach-call.c 5.90 2.00  317 46.7 6.05 1.93  312 45.9
eca-rers2012/Problem02_label10_true-unreach-call.c 5.90 1.92  313 46.1 6.04 1.95  303 49.0
eca-rers2012/Problem02_label11_true-unreach-call.c 5.37 1.79  297 44.9 5.49 1.82  304 51.0
eca-rers2012/Problem02_label12_true-unreach-call.c 6.20 1.95  315 48.7 6.08 1.94  297 49.7
eca-rers2012/Problem02_label14_true-unreach-call.c 5.98 1.94  311 46.9 6.64 2.17  317 53.8
eca-rers2012/Problem02_label15_true-unreach-call.c 5.62 1.81  297 44.8 5.49 1.83  300 46.9
eca-rers2012/Problem02_label17_true-unreach-call.c 6.86 2.19  319 50.5 5.84 1.94  306 46.4
eca-rers2012/Problem02_label18_true-unreach-call.c 5.97 1.92  310 46.6 6.30 1.96  322 49.7
eca-rers2012/Problem02_label19_true-unreach-call.c 5.89 1.93  304 48.1 5.62 1.78  303 44.4
eca-rers2012/Problem02_label20_true-unreach-call.c 5.57 1.81  292 46.8 5.35 1.76  293 43.5
eca-rers2012/Problem02_label21_true-unreach-call.c 5.87 1.91  318 52.8 6.19 2.11  306 51.1
eca-rers2012/Problem02_label22_true-unreach-call.c 8.03 2.46  427 66.4 7.91 2.50  417 65.6
eca-rers2012/Problem02_label23_true-unreach-call.c 6.05 1.96  316 47.8 6.17 1.97  300 53.0
eca-rers2012/Problem02_label24_true-unreach-call.c 5.98 1.93  308 48.3 6.02 1.96  323 48.9
eca-rers2012/Problem02_label25_true-unreach-call.c 6.79 2.19  359 51.3 6.82 2.14  350 48.6
eca-rers2012/Problem02_label26_true-unreach-call.c 6.01 1.93  316 53.0 6.16 2.05  313 55.0
eca-rers2012/Problem02_label27_true-unreach-call.c 6.01 1.93  315 49.7 6.76 2.22  301 46.2
eca-rers2012/Problem02_label28_true-unreach-call.c 6.06 1.97  324 54.5 6.45 2.08  326 54.3
eca-rers2012/Problem02_label29_true-unreach-call.c 5.46 1.78  309 50.3 5.57 1.83  310 40.3
eca-rers2012/Problem02_label30_true-unreach-call.c 5.36 1.79  309 45.8 5.47 1.79  314 47.3
eca-rers2012/Problem02_label31_true-unreach-call.c 5.81 1.92  301 49.0 7.23 2.32  335 58.9
eca-rers2012/Problem02_label32_true-unreach-call.c 6.35 2.03  320 55.6 6.16 1.93  303 55.8
eca-rers2012/Problem02_label33_true-unreach-call.c 6.04 1.95  314 50.3 6.35 2.04  316 53.8
eca-rers2012/Problem02_label34_true-unreach-call.c 6.67 2.18  353 49.8 6.61 2.14  351 56.4
eca-rers2012/Problem02_label35_true-unreach-call.c 6.58 2.14  312 52.1 5.97 2.00  312 52.7
eca-rers2012/Problem02_label36_true-unreach-call.c 5.92 1.92  312 48.5 6.02 1.94  309 55.1
eca-rers2012/Problem02_label37_true-unreach-call.c 7.77 2.42  378 63.2 6.88 2.17  353 57.0
eca-rers2012/Problem02_label38_true-unreach-call.c 6.08 1.99  317 45.4 5.96 1.97  307 52.3
eca-rers2012/Problem02_label39_true-unreach-call.c 7.61 2.32  385 60.1 7.60 2.38  395 62.0
eca-rers2012/Problem02_label40_true-unreach-call.c 5.79 1.93  304 52.7 5.83 1.90  313 52.8
eca-rers2012/Problem02_label41_true-unreach-call.c 7.72 2.35  390 58.8 7.46 2.34  390 61.2
eca-rers2012/Problem02_label42_true-unreach-call.c 5.87 1.90  306 51.5 6.04 1.92  313 50.4
eca-rers2012/Problem02_label46_true-unreach-call.c 6.08 1.93  316 53.1 5.98 1.98  311 47.0
eca-rers2012/Problem02_label47_true-unreach-call.c 6.23 2.02  304 45.4 5.87 1.91  311 51.3
eca-rers2012/Problem02_label48_true-unreach-call.c 5.44 1.84  301 46.6 6.08 1.98  306 46.4
eca-rers2012/Problem02_label49_true-unreach-call.c 5.45 1.79  304 48.1 5.45 1.80  296 46.7
eca-rers2012/Problem02_label51_true-unreach-call.c 5.73 1.88  307 44.2 5.66 1.88  299 51.0
eca-rers2012/Problem02_label52_true-unreach-call.c 6.01 1.92  305 47.9 5.89 1.92  315 48.9
eca-rers2012/Problem02_label53_true-unreach-call.c 6.99 2.31  345 58.6 7.92 2.53  369 60.1
eca-rers2012/Problem02_label54_true-unreach-call.c 5.75 1.95  313 53.0 6.10 1.98  312 56.2
eca-rers2012/Problem02_label55_true-unreach-call.c 6.08 1.90  310 47.2 6.08 1.98  318 48.3
eca-rers2012/Problem02_label56_true-unreach-call.c 6.05 2.00  308 47.4 6.27 2.07  320 54.9
eca-rers2012/Problem02_label57_true-unreach-call.c 5.94 1.94  310 46.2 6.25 1.99  316 48.4
eca-rers2012/Problem02_label58_true-unreach-call.c 5.50 1.80  303 43.8 5.40 1.79  301 39.8
eca-rers2012/Problem03_label00_true-unreach-call.c 154    143     15000 2000   153    142     15000 1580  
eca-rers2012/Problem03_label01_true-unreach-call.c 152    142     15000 1820   154    142     15000 2050  
eca-rers2012/Problem03_label02_true-unreach-call.c 12.6  3.43  533 92.4 12.5  3.28  542 97.8
eca-rers2012/Problem03_label03_true-unreach-call.c 107    96.7   15000 1350   107    97.3   15000 1150  
eca-rers2012/Problem03_label04_true-unreach-call.c 116    105     15000 1300   115    105     15000 1220  
eca-rers2012/Problem03_label05_true-unreach-call.c 16.1  5.23  611 123   17.4  5.30  606 155  
eca-rers2012/Problem03_label06_true-unreach-call.c 12.1  3.27  557 99.5 11.3  3.11  524 85.4
eca-rers2012/Problem03_label07_true-unreach-call.c 120    109     15000 1580   119    108     15000 1430  
eca-rers2012/Problem03_label08_true-unreach-call.c 13.4  3.63  534 97.1 11.9  3.29  515 97.2
eca-rers2012/Problem03_label10_true-unreach-call.c 13.4  4.15  572 114   14.9  4.20  584 130  
eca-rers2012/Problem03_label11_true-unreach-call.c 269    257     15000 2830   266    254     15000 2580  
eca-rers2012/Problem03_label12_true-unreach-call.c 102    91.7   15000 1190   103    92.1   15000 1100  
eca-rers2012/Problem03_label14_true-unreach-call.c 10.3  2.92  490 76.9 13.0  3.47  516 97.3
eca-rers2012/Problem03_label15_true-unreach-call.c 100    90.9   15000 1130   102    92.1   15000 1180  
eca-rers2012/Problem03_label16_true-unreach-call.c 13.0  4.29  577 105   17.3  5.19  596 130  
eca-rers2012/Problem03_label17_true-unreach-call.c 29.6  16.7   837 251   27.8  15.9   824 227  
eca-rers2012/Problem03_label18_true-unreach-call.c 120    108     15000 1590   117    108     15000 1280  
eca-rers2012/Problem03_label19_true-unreach-call.c 114    102     15000 1300   114    102     15000 1350  
eca-rers2012/Problem03_label20_true-unreach-call.c 337    324     15000 3860   340    327     15000 3850  
eca-rers2012/Problem03_label21_true-unreach-call.c 902    874     6140 9490   902    880     6290 11300  
eca-rers2012/Problem03_label22_true-unreach-call.c 15.3  4.24  552 114   14.1  3.79  596 108  
eca-rers2012/Problem03_label23_true-unreach-call.c 903    873     9640 10800   902    878     9860 9000  
eca-rers2012/Problem03_label24_true-unreach-call.c 15.1  4.33  575 120   14.7  4.12  570 122  
eca-rers2012/Problem03_label25_true-unreach-call.c 24.9  12.3   793 210   24.8  12.9   792 210  
eca-rers2012/Problem03_label29_true-unreach-call.c 13.0  3.69  531 95.7 13.5  3.72  535 109  
eca-rers2012/Problem03_label30_true-unreach-call.c 12.3  3.24  537 100   12.1  3.22  524 92.8
eca-rers2012/Problem03_label32_true-unreach-call.c 14.1  3.76  581 106   12.8  4.03  546 100  
eca-rers2012/Problem03_label33_true-unreach-call.c 12.6  3.36  535 101   11.9  3.27  550 91.3
eca-rers2012/Problem03_label34_true-unreach-call.c 18.1  6.66  625 134   16.3  6.33  614 145  
eca-rers2012/Problem03_label36_true-unreach-call.c 12.4  3.28  525 93.8 13.5  3.75  537 92.6
eca-rers2012/Problem03_label38_true-unreach-call.c 12.5  3.23  529 96.0 14.0  3.89  526 107  
eca-rers2012/Problem03_label40_true-unreach-call.c 15.8  4.86  577 114   14.1  4.21  576 121  
eca-rers2012/Problem03_label41_true-unreach-call.c 24.3  13.8   814 216   24.7  13.7   814 200  
eca-rers2012/Problem03_label42_true-unreach-call.c 14.0  4.20  585 112   15.0  4.24  597 130  
eca-rers2012/Problem03_label44_true-unreach-call.c 111    99.6   15000 1280   110    99.8   15000 1270  
eca-rers2012/Problem03_label46_true-unreach-call.c 13.0  3.44  522 104   12.4  3.26  532 105  
eca-rers2012/Problem03_label47_true-unreach-call.c 145    135     15000 1650   148    135     15000 1560  
eca-rers2012/Problem03_label48_true-unreach-call.c 15.9  5.08  601 121   15.6  4.98  586 125  
eca-rers2012/Problem03_label49_true-unreach-call.c 17.8  6.15  620 156   15.6  6.11  624 143  
eca-rers2012/Problem03_label51_true-unreach-call.c 107    96.4   15000 1230   109    97.5   15000 1340  
eca-rers2012/Problem03_label53_true-unreach-call.c 101    90.9   15000 1280   102    90.5   15000 1250  
eca-rers2012/Problem03_label54_true-unreach-call.c 14.3  4.20  577 122   15.2  4.26  593 123  
eca-rers2012/Problem03_label55_true-unreach-call.c 82.2  70.3   1320 809   79.8  68.0   1270 799  
eca-rers2012/Problem03_label56_true-unreach-call.c 14.0  3.86  569 124   14.6  4.06  588 108  
eca-rers2012/Problem03_label57_true-unreach-call.c 13.2  3.75  560 98.4 14.1  3.70  564 117  
eca-rers2012/Problem03_label58_true-unreach-call.c 15.9  6.05  710 131   16.6  6.02  664 146  
eca-rers2012/Problem03_label59_true-unreach-call.c 30.7  19.1   834 278   30.5  18.5   854 290  
eca-rers2012/Problem04_label00_true-unreach-call.c 21.2  6.66  915 163   19.9  6.58  913 153  
eca-rers2012/Problem04_label01_true-unreach-call.c 19.6  6.39  920 149   22.2  6.96  919 148  
eca-rers2012/Problem04_label02_true-unreach-call.c 19.4  6.33  877 153   20.9  6.76  874 148  
eca-rers2012/Problem04_label03_true-unreach-call.c 22.5  6.53  909 183   21.8  6.47  926 160  
eca-rers2012/Problem04_label05_true-unreach-call.c 20.2  6.53  925 153   19.2  6.25  889 144  
eca-rers2012/Problem04_label07_true-unreach-call.c 19.3  5.18  788 167   21.2  5.98  778 163  
eca-rers2012/Problem04_label08_true-unreach-call.c 21.6  7.03  905 148   20.3  6.50  917 141  
eca-rers2012/Problem04_label10_true-unreach-call.c 20.9  7.44  956 167   21.5  7.49  925 174  
eca-rers2012/Problem04_label16_true-unreach-call.c 20.4  6.72  912 167   19.3  6.38  932 140  
eca-rers2012/Problem04_label20_true-unreach-call.c 21.3  5.94  795 145   17.1  5.02  786 134  
eca-rers2012/Problem04_label21_true-unreach-call.c 19.2  6.08  925 152   21.6  6.62  913 183  
eca-rers2012/Problem04_label22_true-unreach-call.c 19.2  6.11  904 165   20.1  6.45  940 162  
eca-rers2012/Problem04_label23_true-unreach-call.c 20.7  5.92  744 143   19.4  5.68  796 153  
eca-rers2012/Problem04_label24_true-unreach-call.c 21.5  6.75  900 168   20.8  6.47  929 164  
eca-rers2012/Problem04_label25_true-unreach-call.c 24.3  7.44  902 159   18.9  6.13  913 151  
eca-rers2012/Problem04_label28_true-unreach-call.c 20.2  6.63  834 157   21.5  6.54  934 171  
eca-rers2012/Problem04_label29_true-unreach-call.c 19.6  6.31  896 168   18.7  6.16  935 168  
eca-rers2012/Problem04_label30_true-unreach-call.c 18.0  5.34  814 149   20.7  5.53  803 144  
eca-rers2012/Problem04_label33_true-unreach-call.c 20.2  5.72  779 159   17.7  5.08  760 142  
eca-rers2012/Problem04_label34_true-unreach-call.c 22.9  6.42  946 165   21.0  6.40  924 154  
eca-rers2012/Problem04_label37_true-unreach-call.c 20.5  6.90  889 154   21.1  6.87  888 168  
eca-rers2012/Problem04_label41_true-unreach-call.c 20.1  6.30  939 140   19.1  6.07  895 162  
eca-rers2012/Problem04_label42_true-unreach-call.c 19.7  6.03  896 159   21.0  6.64  877 144  
eca-rers2012/Problem04_label43_true-unreach-call.c 23.7  6.83  942 162   22.6  6.62  935 197  
eca-rers2012/Problem04_label44_true-unreach-call.c 20.7  6.62  926 167   20.3  6.38  871 150  
eca-rers2012/Problem04_label46_true-unreach-call.c 18.9  5.91  901 141   18.5  6.06  881 152  
eca-rers2012/Problem04_label47_true-unreach-call.c 21.9  6.56  919 164   24.5  6.89  949 186  
eca-rers2012/Problem04_label48_true-unreach-call.c 20.5  6.51  900 141   19.5  6.33  883 166  
eca-rers2012/Problem04_label49_true-unreach-call.c 20.7  6.66  869 156   21.1  6.74  896 171  
eca-rers2012/Problem04_label50_true-unreach-call.c 21.1  7.53  960 171   21.2  7.42  977 157  
eca-rers2012/Problem04_label51_true-unreach-call.c 21.8  6.85  918 174   20.8  6.25  872 150  
eca-rers2012/Problem04_label53_true-unreach-call.c 24.0  6.65  942 170   21.4  6.76  850 146  
eca-rers2012/Problem04_label54_true-unreach-call.c 21.9  7.53  966 170   21.8  7.85  945 155  
eca-rers2012/Problem04_label56_true-unreach-call.c 20.7  6.70  934 154   20.1  6.14  924 147  
eca-rers2012/Problem04_label57_true-unreach-call.c 19.4  6.03  926 160   20.1  6.29  915 155  
eca-rers2012/Problem04_label59_true-unreach-call.c 17.5  5.14  775 132   20.4  5.52  766 149  
eca-rers2012/Problem05_label02_true-unreach-call.c 832    752     15000 9020   829    754     15000 8290  
eca-rers2012/Problem05_label03_true-unreach-call.c 129    101     2740 1280   123    100     2730 1130  
eca-rers2012/Problem05_label04_true-unreach-call.c 903    796     13700 8900   903    801     13200 7470  
eca-rers2012/Problem05_label05_true-unreach-call.c 602    537     9410 5090   605    537     9860 6670  
eca-rers2012/Problem05_label06_true-unreach-call.c 926    802     14700 8570   929    796     14800 9050  
eca-rers2012/Problem05_label07_true-unreach-call.c 903    758     13400 8410   873    784     15000 10600  
eca-rers2012/Problem05_label08_true-unreach-call.c 116    91.4   2570 1150   114    91.4   2590 994  
eca-rers2012/Problem05_label09_true-unreach-call.c 937    802     13100 8720   908    788     13100 7850  
eca-rers2012/Problem05_label10_true-unreach-call.c 154    126     3950 1580   159    128     3910 1480  
eca-rers2012/Problem05_label12_true-unreach-call.c 906    807     13400 8940   907    806     13500 8910  
eca-rers2012/Problem05_label14_true-unreach-call.c 472    413     8110 3960   472    416     8410 5080  
eca-rers2012/Problem05_label16_true-unreach-call.c 236    207     4100 2070   241    214     4110 2200  
eca-rers2012/Problem05_label17_true-unreach-call.c 504    443     7970 5640   497    438     8180 5350  
eca-rers2012/Problem05_label19_true-unreach-call.c 84.7  62.9   2350 831   89.3  65.0   2280 753  
eca-rers2012/Problem05_label20_true-unreach-call.c 903    834     12800 9090   903    834     13100 9840  
eca-rers2012/Problem05_label21_true-unreach-call.c 903    814     13500 9770   907    810     13700 9220  
eca-rers2012/Problem05_label22_true-unreach-call.c 904    827     13800 8610   906    834     13500 11500  
eca-rers2012/Problem05_label23_true-unreach-call.c 904    834     13200 7950   906    829     12900 9050  
eca-rers2012/Problem05_label25_true-unreach-call.c 131    108     2840 1240   130    106     2910 1170  
eca-rers2012/Problem05_label27_true-unreach-call.c 907    770     13900 9430   907    770     13500 8110  
eca-rers2012/Problem05_label28_true-unreach-call.c 59.7  39.0   1940 471   62.3  39.5   1900 601  
eca-rers2012/Problem05_label29_true-unreach-call.c 69.4  48.3   1960 560   68.7  47.4   1940 634  
eca-rers2012/Problem05_label31_true-unreach-call.c 54.1  33.4   1780 479   53.4  33.6   1720 455  
eca-rers2012/Problem05_label34_true-unreach-call.c 41.1  19.5   1480 343   41.4  18.6   1520 328  
eca-rers2012/Problem05_label35_true-unreach-call.c 115    90.2   2900 1360   113    91.4   2770 1080  
eca-rers2012/Problem05_label42_true-unreach-call.c 444    385     7710 4080   442    385     7780 4020  
eca-rers2012/Problem05_label43_true-unreach-call.c 99.7  74.4   2280 898   96.1  72.2   2260 796  
eca-rers2012/Problem05_label45_true-unreach-call.c 32.1  11.8   1270 254   29.4  11.3   1260 212  
eca-rers2012/Problem05_label46_true-unreach-call.c 75.7  54.0   2310 644   74.1  54.0   2320 591  
eca-rers2012/Problem05_label49_true-unreach-call.c 37.6  17.8   1540 291   36.7  18.1   1480 284  
eca-rers2012/Problem05_label50_true-unreach-call.c 905    823     13300 11300   906    837     13100 9400  
eca-rers2012/Problem05_label52_true-unreach-call.c 176    148     3380 1590   174    148     3500 1600  
eca-rers2012/Problem05_label53_true-unreach-call.c 34.2  14.5   1390 251   31.7  13.7   1420 256  
eca-rers2012/Problem05_label54_true-unreach-call.c 179    156     3410 1640   182    157     3390 1520  
eca-rers2012/Problem05_label56_true-unreach-call.c 904    789     14500 10100   904    785     14500 8480  
eca-rers2012/Problem05_label59_true-unreach-call.c 40.7  21.1   1530 361   41.1  21.4   1540 317  
eca-rers2012/Problem06_label03_true-unreach-call.c 123    106     15000 1420   125    106     15000 1270  
eca-rers2012/Problem06_label06_true-unreach-call.c 178    161     15000 1800   180    162     15000 1900  
eca-rers2012/Problem06_label07_true-unreach-call.c 197    178     15000 2510   195    178     15000 2320  
eca-rers2012/Problem06_label08_true-unreach-call.c 148    130     15000 1620   147    130     15000 1580  
eca-rers2012/Problem06_label13_true-unreach-call.c 166    150     15000 1880   165    148     15000 1800  
eca-rers2012/Problem06_label14_true-unreach-call.c 143    127     15000 1550   147    128     15000 1760  
eca-rers2012/Problem06_label16_true-unreach-call.c 200    182     15000 2160   199    182     15000 2430  
eca-rers2012/Problem06_label17_true-unreach-call.c 125    108     15000 1340   128    110     15000 1360  
eca-rers2012/Problem06_label18_true-unreach-call.c 278    260     15000 3000   277    259     15000 2830  
eca-rers2012/Problem06_label19_true-unreach-call.c 130    113     15000 1380   130    113     15000 1280  
eca-rers2012/Problem06_label22_true-unreach-call.c 127    110     15000 1490   128    110     15000 1300  
eca-rers2012/Problem06_label23_true-unreach-call.c 128    110     15000 1280   129    110     15000 1330  
eca-rers2012/Problem06_label25_true-unreach-call.c 133    117     15000 1550   136    117     15000 1410  
eca-rers2012/Problem06_label26_true-unreach-call.c 165    148     15000 1690   169    150     15000 1810  
eca-rers2012/Problem06_label28_true-unreach-call.c 139    123     15000 1760   138    120     15000 1650  
eca-rers2012/Problem06_label30_true-unreach-call.c 128    111     15000 1630   129    111     15000 1470  
eca-rers2012/Problem06_label31_true-unreach-call.c 168    150     15000 1880   169    152     15000 1870  
eca-rers2012/Problem06_label32_true-unreach-call.c 239    219     15000 2890   237    219     15000 2940  
eca-rers2012/Problem06_label34_true-unreach-call.c 123    107     15000 1380   124    107     15000 1260  
eca-rers2012/Problem06_label35_true-unreach-call.c 150    128     15000 1410   144    127     15000 1520  
eca-rers2012/Problem06_label39_true-unreach-call.c 179    163     15000 2080   184    164     15000 2010  
eca-rers2012/Problem06_label40_true-unreach-call.c 136    120     15000 1350   140    121     15000 1550  
eca-rers2012/Problem06_label41_true-unreach-call.c 146    128     15000 1450   146    129     15000 1570  
eca-rers2012/Problem06_label42_true-unreach-call.c 163    145     15000 1700   163    145     15000 1940  
eca-rers2012/Problem06_label43_true-unreach-call.c 133    116     15000 1670   132    116     15000 1390  
eca-rers2012/Problem06_label45_true-unreach-call.c 133    115     15000 1470   132    114     15000 1350  
eca-rers2012/Problem06_label46_true-unreach-call.c 128    110     15000 1530   125    109     15000 1330  
eca-rers2012/Problem06_label49_true-unreach-call.c 144    126     15000 1690   145    126     15000 1680  
eca-rers2012/Problem06_label50_true-unreach-call.c 210    191     15000 1990   208    191     15000 2310  
eca-rers2012/Problem06_label51_true-unreach-call.c 165    148     15000 1810   164    148     15000 1670  
eca-rers2012/Problem06_label52_true-unreach-call.c 155    134     15000 1870   152    133     15000 1710  
eca-rers2012/Problem06_label53_true-unreach-call.c 127    111     15000 1300   131    111     15000 1450  
eca-rers2012/Problem06_label54_true-unreach-call.c 170    150     15000 1660   167    150     15000 1940  
eca-rers2012/Problem06_label55_true-unreach-call.c 125    109     15000 1610   128    110     15000 1540  
eca-rers2012/Problem06_label57_true-unreach-call.c 30.7  10.9   1160 229   29.6  11.3   1160 243  
eca-rers2012/Problem07_label00_true-unreach-call.c 105    64.9   5870 901   106    64.9   5740 785  
eca-rers2012/Problem07_label01_true-unreach-call.c 145    99.1   6670 1010   149    97.4   6600 1230  
eca-rers2012/Problem07_label02_true-unreach-call.c 115    69.8   5860 907   112    68.4   5890 786  
eca-rers2012/Problem07_label04_true-unreach-call.c 105    66.4   5790 964   110    67.4   5690 899  
eca-rers2012/Problem07_label08_true-unreach-call.c 168    121     7510 1400   166    119     7520 1240  
eca-rers2012/Problem07_label10_true-unreach-call.c 110    65.2   5690 958   109    66.2   5810 900  
eca-rers2012/Problem07_label12_true-unreach-call.c 152    109     6480 1220   157    111     6530 1220  
eca-rers2012/Problem07_label13_true-unreach-call.c 112    71.3   5760 852   116    73.4   6120 898  
eca-rers2012/Problem07_label14_true-unreach-call.c 115    71.9   5730 870   108    69.6   6010 1020  
eca-rers2012/Problem07_label16_true-unreach-call.c 133    85.9   6420 1060   132    85.7   6570 969  
eca-rers2012/Problem07_label17_true-unreach-call.c 109    65.7   5960 1040   113    68.6   5870 955  
eca-rers2012/Problem07_label21_true-unreach-call.c 107    66.2   5750 877   105    65.9   5900 867  
eca-rers2012/Problem07_label22_true-unreach-call.c 138    92.1   6450 1110   143    92.6   6430 1140  
eca-rers2012/Problem07_label24_true-unreach-call.c 110    66.8   5870 927   106    64.8   5870 958  
eca-rers2012/Problem07_label25_true-unreach-call.c 124    82.8   5870 847   124    79.9   5820 910  
eca-rers2012/Problem07_label26_true-unreach-call.c 109    67.5   5780 979   113    69.3   5760 856  
eca-rers2012/Problem07_label27_true-unreach-call.c 152    106     6520 1260   152    107     6520 1150  
eca-rers2012/Problem07_label28_true-unreach-call.c 135    90.8   6470 1090   136    90.8   6580 1090  
eca-rers2012/Problem07_label29_true-unreach-call.c 114    70.1   5790 951   108    67.5   5750 863  
eca-rers2012/Problem07_label32_true-unreach-call.c 114    70.0   5920 1020   112    69.1   5730 866  
eca-rers2012/Problem07_label33_true-unreach-call.c 108    67.8   5840 861   108    67.1   5800 1110  
eca-rers2012/Problem07_label34_true-unreach-call.c 133    87.7   6680 1080   133    87.5   6580 1060  
eca-rers2012/Problem07_label38_true-unreach-call.c 134    87.6   6690 1320   137    89.5   6510 1130  
eca-rers2012/Problem07_label41_true-unreach-call.c 116    72.1   5880 902   113    70.7   5730 931  
eca-rers2012/Problem07_label43_true-unreach-call.c 105    65.2   5990 996   108    64.3   5720 852  
eca-rers2012/Problem07_label45_true-unreach-call.c 107    64.9   5750 872   109    65.5   5690 1020  
eca-rers2012/Problem07_label49_true-unreach-call.c 112    69.9   5730 892   112    69.0   5820 1000  
eca-rers2012/Problem07_label50_true-unreach-call.c 130    83.8   6690 1220   132    84.5   6790 1100  
eca-rers2012/Problem07_label51_true-unreach-call.c 106    63.9   5900 802   109    65.5   5820 899  
eca-rers2012/Problem07_label52_true-unreach-call.c 106    65.1   5820 966   109    66.0   5700 996  
eca-rers2012/Problem07_label53_true-unreach-call.c 107    65.0   5700 912   110    66.7   5750 920  
eca-rers2012/Problem07_label54_true-unreach-call.c 109    64.9   5740 909   111    66.5   5880 881  
eca-rers2012/Problem07_label55_true-unreach-call.c 134    86.9   6440 1100   128    84.8   6560 1170  
eca-rers2012/Problem07_label56_true-unreach-call.c 118    70.9   5900 1130   112    70.2   5900 1070  
eca-rers2012/Problem07_label57_true-unreach-call.c 106    67.0   5740 1020   112    68.6   5680 861  
eca-rers2012/Problem07_label59_true-unreach-call.c 111    67.5   5870 852   106    66.5   5810 761  
eca-rers2012/Problem08_label00_true-unreach-call.c 913    812     12100 6710   912    808     12200 7820  
eca-rers2012/Problem08_label03_true-unreach-call.c 912    827     11400 6250   912    829     11400 8160  
eca-rers2012/Problem08_label08_true-unreach-call.c 956    822     13200 5310   914    797     12900 5700  
eca-rers2012/Problem08_label09_true-unreach-call.c 917    824     11900 5650   917    825     12000 5790  
eca-rers2012/Problem08_label11_true-unreach-call.c 912    825     13200 5870   918    830     13200 5670  
eca-rers2012/Problem08_label12_true-unreach-call.c 920    831     14600 5250   882    797     15000 6050  
eca-rers2012/Problem08_label14_true-unreach-call.c 912    825     13300 7430   912    828     13300 6430  
eca-rers2012/Problem08_label16_true-unreach-call.c 917    822     11500 6360   914    813     11600 7460  
eca-rers2012/Problem08_label17_true-unreach-call.c 917    801     14000 6300   924    803     12700 5980  
eca-rers2012/Problem08_label18_true-unreach-call.c 917    827     12100 6820   952    829     12600 6220  
eca-rers2012/Problem08_label19_true-unreach-call.c 403    325     15000 2780   385    308     15000 3360  
eca-rers2012/Problem08_label20_true-unreach-call.c 917    800     14100 5730   919    829     13600 5220  
eca-rers2012/Problem08_label21_true-unreach-call.c 919    801     12900 6450   919    799     13000 5640  
eca-rers2012/Problem08_label22_true-unreach-call.c 912    824     12500 6250   918    807     12600 6380  
eca-rers2012/Problem08_label23_true-unreach-call.c 266    191     15000 2060   263    193     15000 2180  
eca-rers2012/Problem08_label27_true-unreach-call.c 930    813     12700 6710   940    826     12800 5480  
eca-rers2012/Problem08_label30_true-unreach-call.c 951    821     13100 6750   920    833     12000 5870  
eca-rers2012/Problem08_label31_true-unreach-call.c 952    832     12500 6490