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-04-01 09:42:50 CEST
Run set mathsat5-qf_auflira mathsat5-qf_uflira
Options -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -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 -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -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    895     732 8680   901    896     505 10500  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    898     413 13700   901    898     407 12300  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    897     418 11100   901    897     407 11400  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    896     658 12000   901    896     677 11400  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    893     760 8660   901    895     844 12000  
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    890     610 10400   901    890     617 10900  
array-examples/standard_copy1_false-unreach-call_ground.i 901    897     676 11700   901    898     411 10300  
array-examples/standard_copy2_false-unreach-call_ground.i 901    897     678 9670   901    898     421 10200  
array-examples/standard_copy3_false-unreach-call_ground.i 901    896     711 11600   901    898     428 12300  
array-examples/standard_copy4_false-unreach-call_ground.i 901    896     740 12200   901    898     434 12900  
array-examples/standard_copy5_false-unreach-call_ground.i 901    896     875 10200   901    898     433 10500  
array-examples/standard_copy6_false-unreach-call_ground.i 901    896     882 11600   901    898     460 11400  
array-examples/standard_copy7_false-unreach-call_ground.i 901    895     926 11000   901    898     469 10500  
array-examples/standard_copy8_false-unreach-call_ground.i 901    894     943 11500   901    897     489 11200  
array-examples/standard_copy9_false-unreach-call_ground.i 901    894     954 10900   901    897     504 12700  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    897     693 11000   901    897     395 11700  
array-examples/standard_init1_false-unreach-call_ground.i 901    898     421 13200   901    898     389 10900  
array-examples/standard_init2_false-unreach-call_ground.i 901    897     413 10600   901    898     391 11000  
array-examples/standard_init3_false-unreach-call_ground.i 901    897     556 12300   901    899     386 12100  
array-examples/standard_init4_false-unreach-call_ground.i 901    897     545 11700   901    898     382 11400  
array-examples/standard_init5_false-unreach-call_ground.i 901    897     410 12900   901    898     378 12200  
array-examples/standard_init6_false-unreach-call_ground.i 901    897     421 11900   901    898     381 11100  
array-examples/standard_init7_false-unreach-call_ground.i 901    898     460 13500   901    898     391 10400  
array-examples/standard_init8_false-unreach-call_ground.i 901    897     411 13100   901    897     397 10100  
array-examples/standard_init9_false-unreach-call_ground.i 901    896     461 12600   901    897     390 11400  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    898     420 13300   901    898     368 11200  
array-examples/standard_partition_false-unreach-call_ground.i 901    898     765 12600   901    898     410 11700  
array-examples/standard_running_false-unreach-call.i 901    896     676 10200   901    897     444 9720  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    896     806 10400   901    896     511 12600  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    896     802 10700   901    896     510 10500  
array-examples/relax_true-unreach-call.i 901    893     686 11500   901    893     696 10300  
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    897     408 12000   901    898     350 12600  
array-examples/sanfoundry_10_true-unreach-call_ground.i 902    899     401 11100   901    898     558 11100  
array-examples/sanfoundry_24_true-unreach-call.i 2.93 1.22  288 27.4 2.50 1.03  247 20.8
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    898     402 12300   901    898     344 11800  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.02 .889 217 19.4 1.99 .915 187 17.5
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    897     428 11000   901    897     413 12300  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    892     741 13100   901    895     721 11500  
array-examples/standard_compareModified_true-unreach-call_ground.i 901    896     748 11400   901    898     395 11500  
array-examples/standard_compare_true-unreach-call_ground.i 901    897     736 12700   901    898     372 11000  
array-examples/standard_copy1_true-unreach-call_ground.i 901    897     679 10800   901    898     404 10900  
array-examples/standard_copy2_true-unreach-call_ground.i 901    897     703 11100   901    898     418 11100  
array-examples/standard_copy3_true-unreach-call_ground.i 901    897     750 11300   901    898     428 12100  
array-examples/standard_copy4_true-unreach-call_ground.i 901    896     731 13100   901    898     427 12000  
array-examples/standard_copy5_true-unreach-call_ground.i 901    896     886 13400   901    898     433 11000  
array-examples/standard_copy6_true-unreach-call_ground.i 901    895     903 10300   901    898     460 12900  
array-examples/standard_copy7_true-unreach-call_ground.i 901    895     922 11400   901    898     470 11100  
array-examples/standard_copy8_true-unreach-call_ground.i 901    894     959 10600   901    897     484 11900  
array-examples/standard_copy9_true-unreach-call_ground.i 901    895     954 10300   901    897     494 11300  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    897     687 11600   901    897     401 10800  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    897     733 10800   901    898     401 10900  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    897     720 12900   901    898     407 11500  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    897     582 10500   901    898     408 12100  
array-examples/standard_find_true-unreach-call_ground.i 901    898     413 12800   901    898     391 12400  
array-examples/standard_init1_true-unreach-call_ground.i 901    897     422 11700   901    898     400 10400  
array-examples/standard_init2_true-unreach-call_ground.i 901    897     421 11700   901    898     386 11600  
array-examples/standard_init3_true-unreach-call_ground.i 901    897     553 12400   901    898     390 10600  
array-examples/standard_init4_true-unreach-call_ground.i 901    898     423 11400   901    898     385 12000  
array-examples/standard_init5_true-unreach-call_ground.i 901    898     416 11400   901    898     383 12800  
array-examples/standard_init6_true-unreach-call_ground.i 901    897     423 11800   901    898     390 13200  
array-examples/standard_init7_true-unreach-call_ground.i 901    897     472 11400   901    897     394 11000  
array-examples/standard_init8_true-unreach-call_ground.i 901    897     418 11000   901    897     399 10600  
array-examples/standard_init9_true-unreach-call_ground.i 901    897     461 10200   901    897     399 13300  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    898     416 10700   901    898     370 11300  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    898     425 10400   901    898     369 12500  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    897     546 12600   901    898     365 11300  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    897     789 10600   901    898     419 11900  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    897     780 10200   901    897     422 12400  
array-examples/standard_partition_true-unreach-call_ground.i 901    897     705 12400   901    898     395 11700  
array-examples/standard_password_true-unreach-call_ground.i 901    897     765 13000   901    898     367 12000  
array-examples/standard_reverse_true-unreach-call_ground.i 901    897     573 10400   901    898     397 11400  
array-examples/standard_running_true-unreach-call.i 901    896     665 8710   901    896     430 12300  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 2.76 1.33  264 27.7 2.38 1.10  226 22.4
array-examples/standard_seq_init_true-unreach-call_ground.i 901    898     399 10000   901    898     367 12400  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    896     643 12900   901    897     463 11700  
array-examples/standard_strcpy_original_true-unreach-call.i 901    898     723 10800   901    898     397 10600  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    897     718 10300   901    898     407 12500  
array-examples/standard_two_index_01_true-unreach-call.i 901    898     391 11700   901    898     406 10600  
array-examples/standard_two_index_02_true-unreach-call.i 901    897     440 12900   901    898     371 11500  
array-examples/standard_two_index_03_true-unreach-call.i 901    898     345 10400   901    898     372 10900  
array-examples/standard_two_index_04_true-unreach-call.i 901    898     445 10800   901    898     369 11900  
array-examples/standard_two_index_05_true-unreach-call.i 901    897     392 10500   901    898     371 11100  
array-examples/standard_two_index_06_true-unreach-call.i 901    898     347 13300   901    898     373 9700  
array-examples/standard_two_index_07_true-unreach-call.i 901    897     395 13300   901    898     370 12100  
array-examples/standard_two_index_08_true-unreach-call.i 901    897     402 9590   901    898     368 11800  
array-examples/standard_two_index_09_true-unreach-call.i 901    897     440 10900   901    898     371 10900  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    896     2490 10500   901    896     3090 12700  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    897     674 12100   901    898     419 12900  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    897     400 11400   901    898     396 12300  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 901    895     1460 11900   901    898     391 11800  
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    898     427 10900   901    898     458 11700  
array-industry-pattern/array_range_init_false-unreach-call.i 906    900     1460 12600   901    899     370 10800  
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    897     481 13600   901    898     515 10600  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 382    372     15000 4860   901    889     1210 11000  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    897     750 10500   901    898     419 11100  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    897     712 11800   901    898     421 11400  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 905    899     1480 11100   901    898     393 13500  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 910    905     1440 11600   901    897     605 11900  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    897     801 10300   901    897     710 9840  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 912    906     1450 14000   901    898     593 11200  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 913    907     2420 11700   901    898     438 12000  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 912    907     2410 13000   901    898     424 10100  
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 904    899     1440 11000   901    898     386 11500  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 912    907     1430 12500   901    897     646 12900  
array-industry-pattern/array_shadowinit_true-unreach-call.i 2.37 1.10  224 23.5 901    896     2030 12400  
reducercommutativity/rangesum05_false-unreach-call.i 68.2  66.3   15000 730   47.1  45.2   15000 538  
reducercommutativity/rangesum10_false-unreach-call.i 593    590     15000 6970   364    362     15000 4280  
reducercommutativity/rangesum20_false-unreach-call.i 912    908     4670 8400   912    908     2640 12100  
reducercommutativity/rangesum40_false-unreach-call.i 912    905     2720 10500   912    906     725 9890  
reducercommutativity/rangesum60_false-unreach-call.i 901    894     611 10700   901    895     629 11400  
reducercommutativity/rangesum_false-unreach-call.i 901    890     1410 11100   902    890     1280 10900  
reducercommutativity/avg05_true-unreach-call.i 23.9  22.0   293 280   912    910     4590 10700  
reducercommutativity/avg10_true-unreach-call.i 498    496     301 5510   201    199     354 2460  
reducercommutativity/avg20_true-unreach-call.i 912    908     402 10500   636    632     15000 7060  
reducercommutativity/avg40_true-unreach-call.i 912    907     1630 13500   912    906     1790 10400  
reducercommutativity/avg60_true-unreach-call.i 901    895     575 13100   901    895     591 13500  
reducercommutativity/avg_true-unreach-call.i 901    892     1000 12200   901    892     983 10900  
reducercommutativity/max05_true-unreach-call_true-termination.i 29.0  27.1   273 402   10.1  7.63  313 104  
reducercommutativity/max10_true-unreach-call_true-termination.i 27.0  24.5   748 288   129    126     871 1560  
reducercommutativity/max20_true-unreach-call.i 901    897     491 9750   901    897     4880 10200  
reducercommutativity/max40_true-unreach-call.i 912    905     1100 11400   901    894     593 13300  
reducercommutativity/max60_true-unreach-call.i 901    893     497 10400   901    894     603 12100  
reducercommutativity/max_true-unreach-call.i 901    891     1040 11900   901    891     1070 13200  
reducercommutativity/sep05_true-unreach-call.i 245    243     297 3120   255    251     758 2620  
reducercommutativity/sep10_true-unreach-call.i 71.2  68.6   15000 934   610    606     15000 7130  
reducercommutativity/sep20_true-unreach-call.i 912    908     568 11600   901    896     551 11700  
reducercommutativity/sep40_true-unreach-call.i 901    893     596 10600   901    894     618 10300  
reducercommutativity/sep60_true-unreach-call.i 901    892     664 10100   901    894     662 10100  
reducercommutativity/sep_true-unreach-call.i 901    892     1030 10600   901    891     971 10800  
reducercommutativity/sum05_true-unreach-call_true-termination.i 6.74 4.99  359 68.4 912    910     4600 10100  
reducercommutativity/sum10_true-unreach-call.i 76.1  73.6   1620 944   912    910     4580 12300  
reducercommutativity/sum20_true-unreach-call.i 912    908     410 13000   164    161     425 2110  
reducercommutativity/sum40_true-unreach-call.i 912    906     1690 8650   901    895     1190 10200  
reducercommutativity/sum60_true-unreach-call.i 901    895     558 10500   901    896     601 12200  
reducercommutativity/sum_true-unreach-call.i 901    892     886 12100   901    892     1000 10800  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 5.13 3.11  276 51.2 5.12 3.12  266 47.5
bitvector/sum02_false-unreach-call_true-no-overflow.i 2.14 .985 221 18.1 2.28 1.02  215 20.4
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 4.75 2.85  269 52.4 4.64 2.79  271 43.7
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 4.73 2.86  273 43.0 4.72 2.84  270 46.6
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 2.20 1.02  217 20.2 2.22 .986 217 20.7
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 2.53 1.23  220 26.4 2.49 1.20  221 23.5
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 2.14 .955 220 19.5 2.20 .961 217 19.9
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 2.50 1.14  223 21.5 2.51 1.16  225 23.6
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 53.2  51.2   364 580   53.2  51.2   366 598  
bitvector/jain_1_true-unreach-call_true-no-overflow.i 2.12 .933 223 21.3 2.20 .943 222 18.7
bitvector/jain_2_true-unreach-call_true-no-overflow.i 2.23 1.09  223 23.6 2.21 1.06  222 23.8
bitvector/jain_4_true-unreach-call_true-no-overflow.i 2.10 .934 218 21.6 2.21 .964 216 22.0
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    898     650 10100   901    898     663 10500  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 2.15 .965 222 17.9 2.21 .942 222 19.2
bitvector/jain_7_true-unreach-call_true-no-overflow.i 2.09 .955 218 18.0 2.13 .926 225 19.3
bitvector/modulus_true-unreach-call_true-no-overflow.i 2.16 .991 213 19.6 2.13 .955 222 18.6
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 3.33 1.97  231 36.7 3.44 1.98  236 33.3
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 3.31 1.97  233 37.7 3.37 1.96  232 36.5
bitvector/parity_true-unreach-call_true-no-overflow.i 588    587     15000 6070   590    588     15000 6870  
bitvector/sum02_true-unreach-call_true-no-overflow.i 2.22 1.01  225 22.2 2.26 1.00  225 20.8
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 14.2  10.3   309 149   13.9  10.3   300 160  
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 45.9  42.5   314 544   46.0  42.4   315 584  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 6.22 3.91  286 63.4 6.13 3.86  282 65.0
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 16.3  12.4   317 178   16.2  12.5   318 199  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 47.6  44.2   310 525   48.1  44.6   310 610  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    878     5850 8800   901    882     5880 12600  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 251    247     15000 3450   248    244     15000 3550  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 507    500     15000 5760   506    497     15000 7690  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    889     5570 10600   901    887     5770 9750  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    888     5230 10600   901    887     5440 10100  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    890     4720 12500   901    889     4680 10100  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 304    296     15000 3570   302    296     15000 4180  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 3.75 1.43  274 29.9 3.64 1.40  284 30.1
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 9.84 3.27  323 84.8 11.6  3.77  336 97.7
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 8.14 3.61  337 83.1 7.78 3.50  330 76.8
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 3.35 1.61  269 32.4 3.31 1.58  268 29.7
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 11.3  3.36  363 94.5 10.0  3.11  341 75.4
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.00 .906 191 19.4 2.02 .902 188 17.3
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.06 .923 213 16.2 2.12 .905 218 21.8
bitvector-regression/integerpromotion_false-unreach-call.c 2.09 .911 221 18.3 2.16 .906 218 19.9
bitvector-regression/recHanoi03_false-unreach-call.c 2.00 .900 213 19.2 2.07 .891 214 17.9
bitvector-regression/signextension2_false-unreach-call.c 2.12 .940 216 20.0 2.05 .951 217 18.0
bitvector-regression/signextension_false-unreach-call.c 2.21 .950 224 22.6 2.23 .967 220 20.8
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.06 .911 218 18.5 2.21 .928 232 22.4
bitvector-regression/integerpromotion_true-unreach-call.c 2.20 .968 228 20.7 2.16 .970 220 22.1
bitvector-regression/signextension2_true-unreach-call.c 2.09 .922 220 22.4 2.11 .913 217 17.3
bitvector-regression/signextension_true-unreach-call.c 2.07 .913 220 19.4 2.20 .933 226 20.3
bitvector-loops/diamond_false-unreach-call2.i 2.41 1.06  226 22.0 2.35 1.05  223 21.0
bitvector-loops/overflow_false-unreach-call1.i 901    898     377 10600   901    899     369 10100  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 5.95 4.14  287 68.0 6.48 4.53  288 66.0
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.17 3.30  316 74.5 6.96 3.28  309 62.3
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.22 2.59  285 47.4 4.99 2.48  286 45.8
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.08 3.23  293 57.4 6.17 3.32  297 54.3
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 3.66 1.60  273 31.7 3.70 1.63  271 31.4
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.04 4.18  309 83.6 7.96 4.04  314 70.0
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.79 4.32  285 64.5 6.88 4.32  289 73.8
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.97 2.44  280 44.7 4.70 2.35  282 47.3
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.58 2.87  289 51.1 5.63 2.94  289 48.6
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2.88 1.22  260 27.4 2.96 1.28  260 25.2
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.38 1.43  267 33.3 3.41 1.42  262 33.5
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 4.37 1.98  286 40.1 4.42 1.97  285 42.4
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 4.73 2.18  290 46.0 4.80 2.19  290 48.2
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 16.0  13.3   298 204   16.0  13.2   301 217  
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 4.65 2.19  294 48.8 4.94 2.22  291 43.6
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 3.32 1.31  267 29.5 3.26 1.29  273 26.3
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 85.1  81.9   321 1050   84.9  81.8   322 976  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 84.5  81.2   329 1010   84.5  81.1   331 1120  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 5.11 2.40  290 45.8 4.92 2.29  285 40.9
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 3.79 1.64  273 34.2 3.87 1.59  271 34.2
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 8.50 6.05  287 84.2 8.43 6.04  291 91.1
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 7.45 5.06  281 80.9 7.55 5.03  281 74.6
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 3.00 1.17  258 25.6 2.88 1.16  262 24.7
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 137    130     919 2010   138    131     913 1960  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 70.2  63.1   733 952   70.9  63.0   736 818  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 49.6  43.6   621 641   49.7  43.3   647 667  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 246    238     15000 3360   249    242     15000 3080  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 901    890     4240 8570   901    890     4150 11900  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 23.3  19.9   495 314   22.9  19.9   493 302  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 2.56 1.16  218 21.2 2.48 1.10  221 22.6
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 314    307     15000 3740   317    309     15000 3820  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 304    296     15000 4270   300    293     15000 3560  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 892    882     15000 10700   888    878     15000 9420  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 388    380     15000 4960   384    377     15000 5330  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 596    587     15000 8280   596    586     15000 7180  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 319    312     15000 3570   321    313     15000 4400  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.51 1.05  225 23.8 2.54 1.09  223 24.0
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.45 1.09  222 21.6 2.45 1.07  217 25.2
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 2.33 1.02  219 21.9 2.28 .974 221 19.6
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 2.30 1.02  219 19.5 2.30 .993 221 23.1
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 2.32 .990 226 20.9 2.48 1.07  224 25.3
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 2.36 1.01  226 20.5 2.31 1.02  220 19.7
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 2.30 1.00  219 22.9 2.36 1.03  216 22.2
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 2.34 1.01  219 21.5 2.43 1.03  221 21.4
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.24 .967 221 17.6 2.17 .977 213 19.9
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.16 .965 217 20.6 2.17 .959 218 20.7
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.27 1.00  219 19.9 2.29 .979 222 18.3
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 2.30 .966 218 21.9 2.23 .986 220 16.6
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 2.26 .960 217 21.7 2.22 .968 220 21.0
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    885     704 10000   901    884     685 11100  
ntdrivers/diskperf_false-unreach-call.i.cil.c 8.38 4.29  313 84.6 8.29 4.13  316 86.4
ntdrivers/floppy_false-unreach-call.i.cil.c 902    890     2170 7590   88.1  76.6   641 1030  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 5.21 2.07  292 43.8 5.42 2.13  294 51.5
ntdrivers/parport_false-unreach-call.i.cil.c 922    516     10100 7980   916    521     10100 8140  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 14.5  6.21  352 125   13.7  6.30  374 129  
ntdrivers/diskperf_true-unreach-call.i.cil.c 8.63 4.66  314 79.2 8.49 4.67  313 88.0
ntdrivers/floppy2_true-unreach-call.i.cil.c 134    119     707 1710   118    105     696 1300  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 107    92.1   634 1230   363    349     789 4610  
ntdrivers/parport_true-unreach-call.i.cil.c 925    512     10400 8190   923    489     9890 8070  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 17.7  14.2   365 182   77.5  73.9   321 906  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 46.7  43.5   314 559   16.4  13.0   308 178  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 54.5  51.3   314 602   37.7  34.6   308 433  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 35.0  31.8   315 396   16.7  13.3   307 169  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 25.3  22.4   301 320   8.63 5.45  297 78.5
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 28.9  26.0   307 357   5.19 2.19  293 44.0
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 26.7  23.6   307 294   8.82 5.80  293 80.4
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 25.7  23.0   302 307   8.88 6.22  297 104  
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 65.0  61.1   334 775   17.5  13.6   315 204  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 64.8  61.2   316 743   18.2  14.6   312 186  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 12.3  8.08  346 121   158    153     445 1820  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 62.2  58.6   325 743   19.1  15.6   309 194  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 16.3  12.5   367 164   140    135     419 1680  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 44.0  40.8   306 526   13.3  9.96  307 158  
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 70.8  67.0   327 824   17.5  13.8   314 208  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 62.7  59.1   324 776   17.3  13.9   308 214  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 56.2  52.3   332 719   17.7  14.0   307 186  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 16.9  12.6   406 178   17.7  12.7   440 171  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 65.6  61.7   333 898   43.2  39.5   324 483  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 110    105     1060 1210   320    314     15000 4130  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 114    110     15000 1310   271    266     15000 3480  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 105    100     15000 1210   293    288     15000 3720  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 107    102     2580 1290   393    386     15000 4930  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 29.9  25.2   434 333   636    625     15000 7340  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 12.5  8.75  340 122   246    242     15000 2680  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 289    278     15000 3320   859    838     15000 10500  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 17.7  13.1   391 190   494    485     15000 5630  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 31.4  25.8   495 320   830    816     15000 9060  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 10.2  6.21  344 116   532    521     15000 6260  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 12.4  8.09  349 138   912    892     13000 10800  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 17.7  13.1   377 198   410    402     15000 4610  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 95.2  90.4   15000 1070   370    360     15000 4130  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 8.11 4.26  325 81.0 912    899     12900 10800  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 115    109     15000 1290   563    553     15000 6580  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 99.0  94.0   15000 1160   549    540     15000 7680  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 161    153     15000 1490   912    896     12700 10100  
eca-rers2012/Problem01_label15_false-unreach-call.c 9.46 2.78  498 72.1 9.96 2.95  504 84.3
eca-rers2012/Problem01_label20_false-unreach-call.c 11.9  3.66  512 92.6 12.9  3.63  523 97.1
eca-rers2012/Problem01_label21_false-unreach-call.c 9.58 2.89  494 75.4 9.48 2.74  477 66.8
eca-rers2012/Problem01_label32_false-unreach-call.c 13.6  5.32  513 120   15.2  5.26  513 113  
eca-rers2012/Problem01_label33_false-unreach-call.c 10.6  3.11  503 86.9 10.8  3.13  498 81.2
eca-rers2012/Problem01_label35_false-unreach-call.c 9.75 2.86  478 70.0 9.97 2.92  491 81.6
eca-rers2012/Problem01_label37_false-unreach-call.c 84.7  78.6   15000 980   84.3  78.5   15000 961  
eca-rers2012/Problem01_label38_false-unreach-call.c 9.24 2.74  478 75.9 9.21 2.74  491 72.4
eca-rers2012/Problem01_label44_false-unreach-call.c 8.11 2.40  437 71.1 9.64 2.84  442 71.7
eca-rers2012/Problem01_label47_false-unreach-call.c 12.5  3.72  515 87.7 12.2  3.78  508 98.4
eca-rers2012/Problem01_label50_false-unreach-call.c 9.37 2.81  472 88.2 9.43 2.76  477 68.1
eca-rers2012/Problem01_label56_false-unreach-call.c 9.99 3.08  484 82.3 10.9  3.17  518 89.3
eca-rers2012/Problem01_label57_false-unreach-call.c 10.9  3.19  486 82.3 10.8  3.16  487 79.3
eca-rers2012/Problem02_label13_false-unreach-call.c 6.91 2.18  365 52.1 7.47 2.26  375 59.8
eca-rers2012/Problem02_label16_false-unreach-call.c 6.94 2.15  352 51.4 6.71 2.09  349 48.1
eca-rers2012/Problem02_label43_false-unreach-call.c 6.69 2.10  354 52.9 6.92 2.11  363 62.3
eca-rers2012/Problem02_label44_false-unreach-call.c 6.86 2.10  359 58.1 6.59 2.05  357 55.1
eca-rers2012/Problem02_label45_false-unreach-call.c 8.45 2.49  442 65.5 8.28 2.41  433 65.2
eca-rers2012/Problem02_label50_false-unreach-call.c 8.10 2.49  448 55.3 8.26 2.48  432 65.9
eca-rers2012/Problem02_label59_false-unreach-call.c 8.11 2.45  426 63.1 7.93 2.37  441 63.2
eca-rers2012/Problem03_label09_false-unreach-call.c 22.0  9.49  725 198   23.1  9.55  723 210  
eca-rers2012/Problem03_label13_false-unreach-call.c 18.7  6.79  664 159   20.0  6.63  661 147  
eca-rers2012/Problem03_label26_false-unreach-call.c 15.6  4.91  565 117   18.8  5.59  576 109  
eca-rers2012/Problem03_label27_false-unreach-call.c 18.9  6.22  662 144   17.5  6.09  697 145  
eca-rers2012/Problem03_label28_false-unreach-call.c 21.5  7.02  684 165   19.2  6.34  699 160  
eca-rers2012/Problem03_label31_false-unreach-call.c 19.8  6.32  682 138   18.7  6.13  692 169  
eca-rers2012/Problem03_label35_false-unreach-call.c 29.5  17.3   1070 280   31.5  17.6   1060 325  
eca-rers2012/Problem03_label37_false-unreach-call.c 21.2  6.34  703 153   18.8  6.54  682 133  
eca-rers2012/Problem03_label39_false-unreach-call.c 21.0  7.86  717 181   20.6  7.90  703 165  
eca-rers2012/Problem03_label43_false-unreach-call.c 19.9  6.43  704 161   19.1  6.45  661 136  
eca-rers2012/Problem03_label45_false-unreach-call.c 23.2  8.61  729 182   24.4  9.26  723 216  
eca-rers2012/Problem03_label50_false-unreach-call.c 29.4  16.7   1610 316   31.3  17.2   1640 318  
eca-rers2012/Problem03_label52_false-unreach-call.c 23.3  9.43  747 207   24.2  10.1   761 183  
eca-rers2012/Problem04_label04_false-unreach-call.c 351    329     3770 2970   342    318     3680 3800  
eca-rers2012/Problem04_label06_false-unreach-call.c 508    479     4280 5060   505    478     4320 4510  
eca-rers2012/Problem04_label09_false-unreach-call.c 263    239     3330 2350   265    241     3250 2420  
eca-rers2012/Problem04_label11_false-unreach-call.c 452    432     15000 4250   444    426     15000 3970  
eca-rers2012/Problem04_label12_false-unreach-call.c 561    536     4860 5000   547    519     4870 6130  
eca-rers2012/Problem04_label13_false-unreach-call.c 357    335     4130 3260   361    337     4330 3380  
eca-rers2012/Problem04_label14_false-unreach-call.c 369    345     4020 3360   370    345     3980 3370  
eca-rers2012/Problem04_label15_false-unreach-call.c 393    371     4300 3740   398    373     4240 3310  
eca-rers2012/Problem04_label17_false-unreach-call.c 358    332     3480 3380   363    338     3490 3340  
eca-rers2012/Problem04_label18_false-unreach-call.c 293    271     3530 2500   294    269     3560 2370  
eca-rers2012/Problem04_label19_false-unreach-call.c 500    473     4130 3980   500    472     4120 4910  
eca-rers2012/Problem04_label26_false-unreach-call.c 398    376     4060 3370   395    370     4010 4310  
eca-rers2012/Problem04_label27_false-unreach-call.c 424    398     5070 3560   419    393     5100 3680  
eca-rers2012/Problem04_label31_false-unreach-call.c 507    481     4770 4450   502    477     4620 4600  
eca-rers2012/Problem04_label32_false-unreach-call.c 347    322     3860 3830   345    321     3800 3040  
eca-rers2012/Problem04_label35_false-unreach-call.c 398    373     4070 3370   398    373     3930 3980  
eca-rers2012/Problem04_label36_false-unreach-call.c 532    506     11100 5150   523    499     11100 5410  
eca-rers2012/Problem04_label38_false-unreach-call.c 417    391     3980 3970   405    382     4050 4230  
eca-rers2012/Problem04_label39_false-unreach-call.c 456    429     4030 3890   455    430     4080 3820  
eca-rers2012/Problem04_label40_false-unreach-call.c 391    366     3720 3810   397    371     3660 4360  
eca-rers2012/Problem04_label45_false-unreach-call.c 97.4  82.6   15000 1100   99.0  83.3   15000 1100  
eca-rers2012/Problem04_label52_false-unreach-call.c 546    517     5170 5610   552    526     4990 4240  
eca-rers2012/Problem04_label55_false-unreach-call.c 165    150     15000 1680   168    150     15000 1610  
eca-rers2012/Problem04_label58_false-unreach-call.c 518    490     4660 4550   524    496     4750 5180  
eca-rers2012/Problem05_label00_false-unreach-call.c 214    185     3350 1970   216    189     3410 2090  
eca-rers2012/Problem05_label01_false-unreach-call.c 225    197     3710 2130   224    196     3730 1660  
eca-rers2012/Problem05_label11_false-unreach-call.c 228    200     3150 2010   234    207     3180 2230  
eca-rers2012/Problem05_label13_false-unreach-call.c 266    243     15000 2410   262    241     15000 2550  
eca-rers2012/Problem05_label15_false-unreach-call.c 283    254     3330 3030   291    260     3360 2100  
eca-rers2012/Problem05_label18_false-unreach-call.c 160    139     15000 1600   161    140     15000 1610  
eca-rers2012/Problem05_label24_false-unreach-call.c 198    171     3150 1620   201    172     3010 1770  
eca-rers2012/Problem05_label26_false-unreach-call.c 209    180     3210 1710   207    178     3260 1750  
eca-rers2012/Problem05_label30_false-unreach-call.c 176    148     3040 1690   173    148     3000 1690  
eca-rers2012/Problem05_label32_false-unreach-call.c 229    202     3260 1970   231    205     3210 2390  
eca-rers2012/Problem05_label33_false-unreach-call.c 186    159     2850 1760   183    157     2940 1410  
eca-rers2012/Problem05_label36_false-unreach-call.c 221    196     3310 2060   223    195     3200 1920  
eca-rers2012/Problem05_label37_false-unreach-call.c 201    177     15000 2130   200    177     15000 2220  
eca-rers2012/Problem05_label38_false-unreach-call.c 188    163     3000 1670   185    157     2930 1660  
eca-rers2012/Problem05_label39_false-unreach-call.c 196    170     3140 1640   200    171     3100 1650  
eca-rers2012/Problem05_label40_false-unreach-call.c 303    275     3950 2580   305    277     3970 2460  
eca-rers2012/Problem05_label41_false-unreach-call.c 230    201     2970 1950   230    200     3060 1980  
eca-rers2012/Problem05_label44_false-unreach-call.c 157    136     15000 1410   163    138     15000 1600  
eca-rers2012/Problem05_label47_false-unreach-call.c 240    216     15000 2600   242    217     15000 2310  
eca-rers2012/Problem05_label48_false-unreach-call.c 202    175     2980 1760   201    174     2960 1510  
eca-rers2012/Problem05_label51_false-unreach-call.c 174    145     2950 1790   171    145     2940 1580  
eca-rers2012/Problem05_label55_false-unreach-call.c 116    95.6   15000 1310   115    95.2   15000 1240  
eca-rers2012/Problem05_label57_false-unreach-call.c 227    198     3410 2050   227    199     3550 1910  
eca-rers2012/Problem05_label58_false-unreach-call.c 123    103     15000 1560   129    106     15000 1490  
eca-rers2012/Problem06_label00_false-unreach-call.c 146    126     15000 1740   147    127     15000 1430  
eca-rers2012/Problem06_label01_false-unreach-call.c 119    96.7   2530 933   121    96.8   2510 1130  
eca-rers2012/Problem06_label02_false-unreach-call.c 126    108     15000 1510   126    108     15000 1470  
eca-rers2012/Problem06_label04_false-unreach-call.c 117    96.6   15000 1200   123    100     15000 1570  
eca-rers2012/Problem06_label05_false-unreach-call.c 145    120     2910 1210   147    120     2920 1300  
eca-rers2012/Problem06_label09_false-unreach-call.c 144    123     15000 1320   143    124     15000 1480  
eca-rers2012/Problem06_label10_false-unreach-call.c 117    98.1   15000 1180   118    98.5   15000 1180  
eca-rers2012/Problem06_label11_false-unreach-call.c 115    90.5   2310 1160   114    91.4   2260 960  
eca-rers2012/Problem06_label12_false-unreach-call.c 124    99.9   2270 1280   124    102     2280 1100  
eca-rers2012/Problem06_label15_false-unreach-call.c 111    86.3   2290 929   108    83.8   2320 983  
eca-rers2012/Problem06_label20_false-unreach-call.c 121    99.4   15000 1310   117    98.6   15000 1240  
eca-rers2012/Problem06_label21_false-unreach-call.c 115    94.6   15000 1200   113    94.2   15000 1320  
eca-rers2012/Problem06_label24_false-unreach-call.c 121    102     15000 1360   122    103     15000 1430  
eca-rers2012/Problem06_label27_false-unreach-call.c 105    82.0   2240 980   107    83.1   2280 860  
eca-rers2012/Problem06_label29_false-unreach-call.c 120    101     15000 1230   122    101     15000 1410  
eca-rers2012/Problem06_label33_false-unreach-call.c 116    96.4   15000 1200   119    97.3   15000 1300  
eca-rers2012/Problem06_label36_false-unreach-call.c 117    97.9   15000 1250   116    97.4   15000 1230  
eca-rers2012/Problem06_label37_false-unreach-call.c 108    84.4   2160 967   111    85.6   2240 900  
eca-rers2012/Problem06_label38_false-unreach-call.c 119    97.6   15000 1360   116    96.8   15000 1300  
eca-rers2012/Problem06_label44_false-unreach-call.c 99.1  77.7   2280 877   102    77.8   2240 916  
eca-rers2012/Problem06_label47_false-unreach-call.c 117    97.2   15000 1290   117    97.3   15000 1240  
eca-rers2012/Problem06_label48_false-unreach-call.c 271    250     15000 3210   270    250     15000 3310  
eca-rers2012/Problem06_label56_false-unreach-call.c 151    132     15000 1520   158    134     15000 1640  
eca-rers2012/Problem06_label58_false-unreach-call.c 98.8  71.9   2110 801   94.6  71.7   2220 852  
eca-rers2012/Problem06_label59_false-unreach-call.c 121    99.2   15000 1240   118    98.3   15000 1140  
eca-rers2012/Problem07_label03_false-unreach-call.c 912    867     9210 6920   910    861     8900 5680  
eca-rers2012/Problem07_label05_false-unreach-call.c 910    839     9770 8520   911    841     10000 6090  
eca-rers2012/Problem07_label06_false-unreach-call.c 911    840     10200 5980   911    842     9890 6110  
eca-rers2012/Problem07_label07_false-unreach-call.c 912    845     9010 9870   910    844     8980 7930  
eca-rers2012/Problem07_label09_false-unreach-call.c 188    153     15000 1700   190    151     15000 1640  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    839     10900 7630   911    840     10200 6340  
eca-rers2012/Problem07_label15_false-unreach-call.c 909    862     9770 6690   910    861     9630 7640  
eca-rers2012/Problem07_label18_false-unreach-call.c 910    842     10900 6080   911    843     10600 6480  
eca-rers2012/Problem07_label19_false-unreach-call.c 186    149     15000 1430   182    148     15000 1660  
eca-rers2012/Problem07_label20_false-unreach-call.c 911    858     10800 6460   912    863     10600 6310  
eca-rers2012/Problem07_label23_false-unreach-call.c 916    846     9740 6890   914    842     9760 5770  
eca-rers2012/Problem07_label30_false-unreach-call.c 910    858     7260 8210   910    860     7100 6920  
eca-rers2012/Problem07_label31_false-unreach-call.c 913    844     10000 6210   912    838     10100 7230  
eca-rers2012/Problem07_label35_false-unreach-call.c 222    186     15000 1980   214    180     15000 2040  
eca-rers2012/Problem07_label36_false-unreach-call.c 912    866     10900 5570   912    859     11000 4990  
eca-rers2012/Problem07_label37_false-unreach-call.c 911    841     10200 6140   912    849     10300 6230  
eca-rers2012/Problem07_label39_false-unreach-call.c 912    845     11900 6450   912    841     11700 7400  
eca-rers2012/Problem07_label40_false-unreach-call.c 222    183     15000 2230   220    182     15000 2600  
eca-rers2012/Problem07_label42_false-unreach-call.c 909    841     8320 11600   908    839     7950 10100  
eca-rers2012/Problem07_label44_false-unreach-call.c 193    157     15000 2010   201    161     15000 1970  
eca-rers2012/Problem07_label46_false-unreach-call.c 911    842     10900 7000   910    841     11100 8060  
eca-rers2012/Problem07_label47_false-unreach-call.c 912    848     11500 6280   913    842     11200 6300  
eca-rers2012/Problem07_label48_false-unreach-call.c 916    871     12800 9010   912    866     12700 6320  
eca-rers2012/Problem07_label58_false-unreach-call.c 234    196     15000 2260   243    203     15000 2460  
eca-rers2012/Problem08_label01_false-unreach-call.c 463    401     15000 3030   491    422     15000 3160  
eca-rers2012/Problem08_label02_false-unreach-call.c 317    253     15000 2460   310    242     15000 2940  
eca-rers2012/Problem08_label04_false-unreach-call.c 268    202     15000 2920   274    210     15000 2490  
eca-rers2012/Problem08_label05_false-unreach-call.c 910    843     9630 4670   912    847     9600 4530  
eca-rers2012/Problem08_label06_false-unreach-call.c 449    381     15000 3480   452    388     15000 2730  
eca-rers2012/Problem08_label07_false-unreach-call.c 364    298     15000 3170   385    319     15000 3430  
eca-rers2012/Problem08_label10_false-unreach-call.c 360    292     15000 2360   365    295     15000 2960  
eca-rers2012/Problem08_label13_false-unreach-call.c 319    252     15000 2560   319    256     15000 2720  
eca-rers2012/Problem08_label15_false-unreach-call.c 356    293     15000 2470   353    291     15000 2610  
eca-rers2012/Problem08_label24_false-unreach-call.c 529    465     15000 3380   532    463     15000 3740  
eca-rers2012/Problem08_label25_false-unreach-call.c 911    857     9670 4840   910    841     9160 4260  
eca-rers2012/Problem08_label26_false-unreach-call.c 456    385     15000 4200   453    385     15000 4340  
eca-rers2012/Problem08_label28_false-unreach-call.c 912    843     7480 6380   912    842     7410 7790  
eca-rers2012/Problem08_label29_false-unreach-call.c 362    293     15000 2700   361    292     15000 2540  
eca-rers2012/Problem08_label34_false-unreach-call.c 333    271     15000 2510   338    271     15000 2520  
eca-rers2012/Problem08_label37_false-unreach-call.c 437    373     15000 3500   446    375     15000 2890  
eca-rers2012/Problem08_label43_false-unreach-call.c 367    304     15000 2980   375    307     15000 3190  
eca-rers2012/Problem08_label46_false-unreach-call.c 910    840     9990 7430   909    839     7770 4550  
eca-rers2012/Problem08_label48_false-unreach-call.c 332    264     15000 2500   334    265     15000 2870  
eca-rers2012/Problem08_label49_false-unreach-call.c 563    497     15000 4270   566    500     15000 4180  
eca-rers2012/Problem08_label50_false-unreach-call.c 312    247     15000 2830   307    241     15000 2250  
eca-rers2012/Problem08_label51_false-unreach-call.c 420    352     15000 2600   396    347     15000 2910  
eca-rers2012/Problem08_label55_false-unreach-call.c 524    460     15000 3050   534    467     15000 3440  
eca-rers2012/Problem08_label59_false-unreach-call.c 346    280     15000 2720   350    285     15000 2650  
eca-rers2012/Problem09_label02_false-unreach-call.c 462    386     15000 3390   461    392     15000 4120  
eca-rers2012/Problem09_label03_false-unreach-call.c 912    844     14600 5960   912    845     14600 6630  
eca-rers2012/Problem09_label06_false-unreach-call.c 428    371     15000 4260   458    390     15000 3050  
eca-rers2012/Problem09_label08_false-unreach-call.c 434    362     15000 3000   419    360     15000 3750  
eca-rers2012/Problem09_label10_false-unreach-call.c 771    715     15000 5890   736    679     15000 6090  
eca-rers2012/Problem09_label11_false-unreach-call.c 935    828     12700 8020   938    826     12600 6760  
eca-rers2012/Problem09_label15_false-unreach-call.c 815    745     15000 7280   888    829     15000 5520  
eca-rers2012/Problem09_label19_false-unreach-call.c 915    836     13000 6510   915    843     12700 6250  
eca-rers2012/Problem09_label20_false-unreach-call.c 343    282     15000 2520   352    281     15000 2610  
eca-rers2012/Problem09_label32_false-unreach-call.c 913    833     12200 5550   914    835     12100 5920  
eca-rers2012/Problem09_label34_false-unreach-call.c 915    838     14600 6490   915    837     14600 6060  
eca-rers2012/Problem09_label35_false-unreach-call.c 915    834     12100 6620   913    842     12000 5380  
eca-rers2012/Problem09_label36_false-unreach-call.c 912    827     11100 6710   912    820     11300 7570  
eca-rers2012/Problem09_label38_false-unreach-call.c 912    842     11400 5680   912    858     11200 5470  
eca-rers2012/Problem09_label41_false-unreach-call.c 379    324     15000 2920   378    308     15000 3300  
eca-rers2012/Problem09_label44_false-unreach-call.c 912    830     10900 6600   912    836     10800 6700  
eca-rers2012/Problem09_label46_false-unreach-call.c 695    629     15000 4750   666    609     15000 5640  
eca-rers2012/Problem09_label47_false-unreach-call.c 912    838     8090 5650   912    853     8020 6460  
eca-rers2012/Problem09_label51_false-unreach-call.c 912    854     12900 5960   912    844     12700 5370  
eca-rers2012/Problem09_label53_false-unreach-call.c 911    833     10200 8240   913    834     10200 7640  
eca-rers2012/Problem09_label54_false-unreach-call.c 322    253     15000 2720   302    245     15000 2520  
eca-rers2012/Problem09_label56_false-unreach-call.c 912    821     10300 6440   912    834     9830 6880  
eca-rers2012/Problem09_label57_false-unreach-call.c 421    363     15000 3370   411    353     15000 4140  
eca-rers2012/Problem09_label59_false-unreach-call.c 916    837     13300 5860   912    835     13400 6550  
eca-rers2012/Problem10_label12_false-unreach-call.c 912    906     414 11100   912    907     422 11100  
eca-rers2012/Problem10_label15_false-unreach-call.c 912    907     460 11700   912    907     448 11100  
eca-rers2012/Problem10_label24_false-unreach-call.c 912    906     428 11300   912    907     421 11300  
eca-rers2012/Problem10_label26_false-unreach-call.c 912    907     670 12100   912    907     647 10900  
eca-rers2012/Problem10_label28_false-unreach-call.c 912    907     1820 10100   912    908     1800 11500  
eca-rers2012/Problem10_label29_false-unreach-call.c 912    906     419 10800   912    907     420 13100  
eca-rers2012/Problem10_label41_false-unreach-call.c 912    908     385 11000   912    908     376 11300  
eca-rers2012/Problem10_label42_false-unreach-call.c 912    907     391 12300   912    907     390 11900  
eca-rers2012/Problem10_label46_false-unreach-call.c 912    909     339 11900   912    909     335 9510  
eca-rers2012/Problem10_label47_false-unreach-call.c 912    907     623 10300   912    907     663 11900  
eca-rers2012/Problem10_label48_false-unreach-call.c 912    906     433 10600   912    907     448 9430  
eca-rers2012/Problem10_label50_false-unreach-call.c 912    907     441 12600   912    906     451 10600  
eca-rers2012/Problem10_label55_false-unreach-call.c 912    907     386 11500   912    908     381 10200  
eca-rers2012/Problem10_label57_false-unreach-call.c 912    908     390 9870   912    907     390 9820  
eca-rers2012/Problem10_label58_false-unreach-call.c 912    908     378 11200   912    908     383 10500  
eca-rers2012/Problem11_label00_false-unreach-call.c 912    904     549 10900   912    906     549 12200  
eca-rers2012/Problem11_label08_false-unreach-call.c 912    906     529 9260   912    904     530 9770  
eca-rers2012/Problem11_label14_false-unreach-call.c 912    905     526 10600   912    904     526 10300  
eca-rers2012/Problem11_label15_false-unreach-call.c 912    906     492 11800   912    904     521 8330  
eca-rers2012/Problem11_label20_false-unreach-call.c 912    906     543 10500   912    905     557 10300  
eca-rers2012/Problem11_label29_false-unreach-call.c 912    905     1300 10900   912    906     1330 12300  
eca-rers2012/Problem11_label31_false-unreach-call.c 912    905     539 11200   912    904     534 11200  
eca-rers2012/Problem11_label34_false-unreach-call.c 912    906     543 11700   912    906     538 10500  
eca-rers2012/Problem11_label36_false-unreach-call.c 912    906     559 10900   912    904     553 10800  
eca-rers2012/Problem11_label39_false-unreach-call.c 912    905     548 8330   912    904     544 10500  
eca-rers2012/Problem11_label42_false-unreach-call.c 912    905     531 10800   912    907     514 9880  
eca-rers2012/Problem11_label43_false-unreach-call.c 912    905     527 11400   912    904     535 13000  
eca-rers2012/Problem11_label49_false-unreach-call.c 912    906     531 12600   912    905     534 11700  
eca-rers2012/Problem11_label51_false-unreach-call.c 912    906     517 9160   912    904     529 10400  
eca-rers2012/Problem11_label58_false-unreach-call.c 912    906     555 11800   912    905     559 13300  
eca-rers2012/Problem12_label00_false-unreach-call.c 903    887     1780 6950   902    887     1790 7990  
eca-rers2012/Problem12_label03_false-unreach-call.c 902    888     1640 8860   902    888     1650 9840  
eca-rers2012/Problem12_label06_false-unreach-call.c 903    887     1870 8360   903    887     1870 6650  
eca-rers2012/Problem12_label07_false-unreach-call.c 912    898     1390 8580   912    899     1380 8460  
eca-rers2012/Problem12_label08_false-unreach-call.c 912    898     1050 11200   908    895     1030 12200  
eca-rers2012/Problem12_label10_false-unreach-call.c 912    899     1360 9910   912    899     1360 9290  
eca-rers2012/Problem12_label13_false-unreach-call.c 902    888     1650 9270   902    888     1650 8660  
eca-rers2012/Problem12_label19_false-unreach-call.c 912    897     1410 9510   912    898     1400 7500  
eca-rers2012/Problem12_label20_false-unreach-call.c 912    899     1250 9540   912    898     1280 11400  
eca-rers2012/Problem12_label21_false-unreach-call.c 912    897     1390 9620   912    898     1340 7770  
eca-rers2012/Problem12_label25_false-unreach-call.c 912    897     1230 11900   912    899     1220 11300  
eca-rers2012/Problem12_label28_false-unreach-call.c 902    885     1620 8400   902    887     1610 9360  
eca-rers2012/Problem12_label30_false-unreach-call.c 912    898     1260 10600   912    898     1260 11100  
eca-rers2012/Problem12_label34_false-unreach-call.c 902    886     1600 9520   902    887     1560 10900  
eca-rers2012/Problem12_label35_false-unreach-call.c 912    898     1240 11700   912    899     1240 10300  
eca-rers2012/Problem12_label37_false-unreach-call.c 902    887     1780 6870   903    884     1790 6920  
eca-rers2012/Problem12_label38_false-unreach-call.c 912    899     1250 8840   912    900     1260 11300  
eca-rers2012/Problem12_label39_false-unreach-call.c 912    895     1520 7220   912    897     1490 7730  
eca-rers2012/Problem12_label40_false-unreach-call.c 912    899     1290 10200   912    898     1280 10900  
eca-rers2012/Problem12_label42_false-unreach-call.c 912    898     1370 9000   912    898     1350 9390  
eca-rers2012/Problem12_label48_false-unreach-call.c 912    898     1350 8680   912    896     1370 9810  
eca-rers2012/Problem12_label50_false-unreach-call.c 903    888     1810 9190   903    888     1810 7020  
eca-rers2012/Problem12_label51_false-unreach-call.c 912    899     1360 10300   912    896     1380 11300  
eca-rers2012/Problem12_label52_false-unreach-call.c 912    898     1350 9150   912    899     1350 8540  
eca-rers2012/Problem12_label55_false-unreach-call.c 912    898     1400 9110   912    898     1390 8800  
eca-rers2012/Problem13_label04_false-unreach-call.c 902    886     1860 7410   902    886     1780 7450  
eca-rers2012/Problem13_label06_false-unreach-call.c 902    886     1830 6860   902    888     1800 7410  
eca-rers2012/Problem13_label07_false-unreach-call.c 912    898     1280 9330   912    897     1300 9150  
eca-rers2012/Problem13_label11_false-unreach-call.c 902    887     1820 6520   903    883     1820 7430  
eca-rers2012/Problem13_label12_false-unreach-call.c 903    887     1840 6640   903    886     1880 6680  
eca-rers2012/Problem13_label16_false-unreach-call.c 912    897     1250 9620   912    898     1230 10900  
eca-rers2012/Problem13_label19_false-unreach-call.c 903    887     1830 7430   903    887     1870 6860  
eca-rers2012/Problem13_label21_false-unreach-call.c 902    887     1850 7690   903    887     1850 6340  
eca-rers2012/Problem13_label23_false-unreach-call.c 903    887     1830 6610   902    887     1790 9290  
eca-rers2012/Problem13_label24_false-unreach-call.c 902    887     1870 8620   902    886     1880 8740  
eca-rers2012/Problem13_label25_false-unreach-call.c 903    886     1820 7850   902    886     1860 9410  
eca-rers2012/Problem13_label28_false-unreach-call.c 903    884     1850 7500   903    887     1850 7440  
eca-rers2012/Problem13_label29_false-unreach-call.c 902    887     1770 6610   903    886     1770 6810  
eca-rers2012/Problem13_label30_false-unreach-call.c 902    888     1760 7150   902    886     1810 6220  
eca-rers2012/Problem13_label32_false-unreach-call.c 902    886     1790 7280   902    886     1810 6820  
eca-rers2012/Problem13_label35_false-unreach-call.c 903    884     1840 6570   902    887     1860 8730  
eca-rers2012/Problem13_label36_false-unreach-call.c 903    887     1860 5940   902    887     1840 7190  
eca-rers2012/Problem13_label40_false-unreach-call.c 912    900     811 9110   912    901     807 10200  
eca-rers2012/Problem13_label43_false-unreach-call.c 902    886     1780 7350   903    887     1830 7100  
eca-rers2012/Problem13_label44_false-unreach-call.c 902    887     1800 7590   902    888     1720 7580  
eca-rers2012/Problem13_label45_false-unreach-call.c 908    893     1320 9020   902    887     1330 9020  
eca-rers2012/Problem13_label48_false-unreach-call.c 912    896     1280 8730   912    897     1280 9710  
eca-rers2012/Problem13_label51_false-unreach-call.c 902    885     1830 6570   903    887     1830 7330  
eca-rers2012/Problem13_label54_false-unreach-call.c 903    887     1870 6980   903    885     1870 6680  
eca-rers2012/Problem13_label58_false-unreach-call.c 903    888     1900 8810   903    886     1860 7220  
eca-rers2012/Problem14_label02_false-unreach-call.c 906    897     3690 10100   903    891     3690 10300  
eca-rers2012/Problem14_label08_false-unreach-call.c 912    902     3980 9840   912    901     3990 10500  
eca-rers2012/Problem14_label10_false-unreach-call.c 912    903     3830 10600   912    903     3760 12700  
eca-rers2012/Problem14_label11_false-unreach-call.c 912    902     936 10300   912    902     938 12100  
eca-rers2012/Problem14_label12_false-unreach-call.c 912    902     1190 13600   912    903     1190 11100  
eca-rers2012/Problem14_label13_false-unreach-call.c 912    903     782 10300   912    902     788 11000  
eca-rers2012/Problem14_label14_false-unreach-call.c 912    907     470 12600   912    906     478 11400  
eca-rers2012/Problem14_label18_false-unreach-call.c 905    893     5470 11400   904    895     5450 10300  
eca-rers2012/Problem14_label22_false-unreach-call.c 912    904     857 13600   912    903     830 10500  
eca-rers2012/Problem14_label27_false-unreach-call.c 912    903     742 9830   912    904     752 10300  
eca-rers2012/Problem14_label28_false-unreach-call.c 912    903     1480 12500   912    901     1500 10600  
eca-rers2012/Problem14_label29_false-unreach-call.c 912    900     2760 10300   912    903     2730 9160  
eca-rers2012/Problem14_label31_false-unreach-call.c 912    903     1120 10200   912    902     1100 9910  
eca-rers2012/Problem14_label34_false-unreach-call.c 905    894     5360 9810   905    894     5390 10100  
eca-rers2012/Problem14_label37_false-unreach-call.c 903    892     1350 10600   902    889     1350 11600  
eca-rers2012/Problem14_label39_false-unreach-call.c 912    902     3120 10800   912    901     3170 11400  
eca-rers2012/Problem14_label40_false-unreach-call.c 903    894     1830 10800   902    892     1830 10200  
eca-rers2012/Problem14_label41_false-unreach-call.c 912    903     800 10100   912    903     818 10100  
eca-rers2012/Problem14_label43_false-unreach-call.c 904    895     2950 12200   903    894     3010 10900  
eca-rers2012/Problem14_label44_false-unreach-call.c 912    903     3680 11500   912    901     3570 10600  
eca-rers2012/Problem14_label52_false-unreach-call.c 912    903     2000 10600   912    903     2020 11600  
eca-rers2012/Problem14_label54_false-unreach-call.c 912    902     3560 12300   912    902     3420 10900  
eca-rers2012/Problem14_label56_false-unreach-call.c 902    892     2700 9250   903    892     2730 10900  
eca-rers2012/Problem14_label57_false-unreach-call.c 912    902     1930 10600   912    903     1860 13100  
eca-rers2012/Problem14_label58_false-unreach-call.c 912    904     762 10100   912    905     776 9160  
eca-rers2012/Problem15_label00_false-unreach-call.c 912    905     523 10200   912    904     535 10200  
eca-rers2012/Problem15_label02_false-unreach-call.c 912    904     525 10700   912    904     531 9940  
eca-rers2012/Problem15_label03_false-unreach-call.c 902    890     925 10400   906    895     914 9710  
eca-rers2012/Problem15_label07_false-unreach-call.c 903    892     749 10800   902    891     757 11700  
eca-rers2012/Problem15_label09_false-unreach-call.c 912    902     730 12700   912    901     746 11400  
eca-rers2012/Problem15_label14_false-unreach-call.c 912    900     907 9850   912    899     924 10600  
eca-rers2012/Problem15_label15_false-unreach-call.c 912    901     898 9670   912    900     920 10700  
eca-rers2012/Problem15_label18_false-unreach-call.c 901    891     902 11900   904    893     892 9860  
eca-rers2012/Problem15_label22_false-unreach-call.c 912    905     524 10800   912    905     529 12300  
eca-rers2012/Problem15_label23_false-unreach-call.c 912    902     873 9720   912    901     865 10200  
eca-rers2012/Problem15_label25_false-unreach-call.c 912    900     934 11300   912    902     943 10000  
eca-rers2012/Problem15_label29_false-unreach-call.c 902    893     702 10800   902    892     756 9680  
eca-rers2012/Problem15_label30_false-unreach-call.c 912    903     715 12100   912    903     720 9490  
eca-rers2012/Problem15_label33_false-unreach-call.c 902    888     903 10400   912    902     895 10500  
eca-rers2012/Problem15_label34_false-unreach-call.c 902    889     908 9870   902    890     921 10400  
eca-rers2012/Problem15_label37_false-unreach-call.c 912    902     880 11900   912    901     863 10200  
eca-rers2012/Problem15_label38_false-unreach-call.c 912    902     888 10700   912    900     907 10900  
eca-rers2012/Problem15_label39_false-unreach-call.c 912    905     520 9770   912    904     529 9760  
eca-rers2012/Problem15_label40_false-unreach-call.c 912    904     520 12500   912    904     525 10500  
eca-rers2012/Problem15_label41_false-unreach-call.c 912    905     527 10200   912    905     534 11900  
eca-rers2012/Problem15_label45_false-unreach-call.c 912    901     908 10900   912    900     883 9690  
eca-rers2012/Problem15_label47_false-unreach-call.c 912    903     753 10800   912    904     741 11900  
eca-rers2012/Problem15_label48_false-unreach-call.c 902    892     755 11000   902    893     746 8900  
eca-rers2012/Problem15_label50_false-unreach-call.c 910    900     760 12700   902    892     741 11000  
eca-rers2012/Problem15_label51_false-unreach-call.c 906    895     894 10100   909    898     918 9680  
eca-rers2012/Problem16_label00_false-unreach-call.c 912    905     422 10100   912    905     416 12200  
eca-rers2012/Problem16_label01_false-unreach-call.c 912    905     423 11800   912    906     422 11600  
eca-rers2012/Problem16_label03_false-unreach-call.c 902    887     1520 8850   902    889     1550 8170  
eca-rers2012/Problem16_label04_false-unreach-call.c 912    899     1450 8090   912    898     1460 7520  
eca-rers2012/Problem16_label05_false-unreach-call.c 912    899     1430 8460   912    901     1430 10300  
eca-rers2012/Problem16_label06_false-unreach-call.c 912    899     1590 8350   912    898     1560 8290  
eca-rers2012/Problem16_label08_false-unreach-call.c 902    887     1640 8970   902    889     1640 8220  
eca-rers2012/Problem16_label14_false-unreach-call.c 912    898     1640 7490   912    900     1640 8170  
eca-rers2012/Problem16_label15_false-unreach-call.c 912    899     1530 8440   912    899     1540 8430  
eca-rers2012/Problem16_label18_false-unreach-call.c 912    902     1260 9430   912    900     1280 9390  
eca-rers2012/Problem16_label20_false-unreach-call.c 912    900     1570 8730   912    897     1590 8050  
eca-rers2012/Problem16_label22_false-unreach-call.c 902    890     1590 7430   902    890     1680 8650  
eca-rers2012/Problem16_label27_false-unreach-call.c 902    888     1550 10600   902    890     1550 8870  
eca-rers2012/Problem16_label30_false-unreach-call.c 912    898     1610 7640   912    899     1650 8280  
eca-rers2012/Problem16_label31_false-unreach-call.c 912    899     1530 7490   912    899     1540 8150  
eca-rers2012/Problem16_label33_false-unreach-call.c 912    899     1540 7940   912    899     1570 8000  
eca-rers2012/Problem16_label37_false-unreach-call.c 912    899     1570 9390   912    900     1540 7720  
eca-rers2012/Problem16_label38_false-unreach-call.c 902    890     1720 8370   902    889     1650 8400  
eca-rers2012/Problem16_label41_false-unreach-call.c 912    899     1590 8060   912    898     1600 7590  
eca-rers2012/Problem16_label43_false-unreach-call.c 902    889     1400 9440   902    888     1420 7520  
eca-rers2012/Problem16_label44_false-unreach-call.c 912    900     1430 9220   912    900     1450 8680  
eca-rers2012/Problem16_label46_false-unreach-call.c 912    899     1360 9280   912    900     1340 9620  
eca-rers2012/Problem16_label51_false-unreach-call.c 912    901     1460 8120   912    900     1490 8290  
eca-rers2012/Problem16_label52_false-unreach-call.c 912    899     1420 8750   912    899     1400 10300  
eca-rers2012/Problem16_label54_false-unreach-call.c 912    897     1470 9240   912    900     1460 7880  
eca-rers2012/Problem17_label04_false-unreach-call.c 902    894     685 9960   902    894     690 10700  
eca-rers2012/Problem17_label07_false-unreach-call.c 912    904     689 9780   912    904     661 10500  
eca-rers2012/Problem17_label09_false-unreach-call.c 912    904     668 11800   912    903     673 10600  
eca-rers2012/Problem17_label13_false-unreach-call.c 902    894     682 10800   902    893     681 10300  
eca-rers2012/Problem17_label16_false-unreach-call.c 903    895     689 11600   902    894     690 12000  
eca-rers2012/Problem17_label20_false-unreach-call.c 912    903     686 11900   912    904     677 9210  
eca-rers2012/Problem17_label23_false-unreach-call.c 901    893     688 9490   901    893     689 11000  
eca-rers2012/Problem17_label25_false-unreach-call.c 912    905     680 10100   912    904     682 11600  
eca-rers2012/Problem17_label26_false-unreach-call.c 912    904     687 9750   912    903     683 10400  
eca-rers2012/Problem17_label30_false-unreach-call.c 912    904     665 10000   912    904     677 9580  
eca-rers2012/Problem17_label31_false-unreach-call.c 912    904     685 12000   912    903     677 11300  
eca-rers2012/Problem17_label33_false-unreach-call.c 912    903     697 9700   912    904     692 10100  
eca-rers2012/Problem17_label34_false-unreach-call.c 903    895     679 10000   902    895     680 10400  
eca-rers2012/Problem17_label35_false-unreach-call.c 912    904     676 11700   912    904     660 9840  
eca-rers2012/Problem17_label37_false-unreach-call.c 912    904     672 13200   912    905     685 9690  
eca-rers2012/Problem17_label40_false-unreach-call.c 912    903     690 11200   912    904     662 10900  
eca-rers2012/Problem17_label46_false-unreach-call.c 912    904     686 11400   903    895     659 9470  
eca-rers2012/Problem17_label49_false-unreach-call.c 912    904     683 12600   912    903     695 11900  
eca-rers2012/Problem17_label50_false-unreach-call.c 912    904     682 9450   912    904     671 9650  
eca-rers2012/Problem17_label52_false-unreach-call.c 912    904     689 10900   912    904     685 10500  
eca-rers2012/Problem17_label53_false-unreach-call.c 912    905     697 10200   912    904     694 10300  
eca-rers2012/Problem17_label54_false-unreach-call.c 912    904     682 11200   912    904     687 11700  
eca-rers2012/Problem17_label55_false-unreach-call.c 912    904     693 11700   912    904     704 11500  
eca-rers2012/Problem17_label57_false-unreach-call.c 912    904     698 12400   912    904     677 9920  
eca-rers2012/Problem18_label00_false-unreach-call.c 912    899     1280 9110   912    898     1260 9570  
eca-rers2012/Problem18_label01_false-unreach-call.c 912    900     1240 10800   912    898     1260 11000  
eca-rers2012/Problem18_label03_false-unreach-call.c 912    897     1280 11700   912    898     1300 12300  
eca-rers2012/Problem18_label06_false-unreach-call.c 912    897     1280 10000   912    899     1260 11100  
eca-rers2012/Problem18_label08_false-unreach-call.c 912    898     1290 11300   912    899     1300 10000  
eca-rers2012/Problem18_label09_false-unreach-call.c 912    900     944 9930   912    900     890 9080  
eca-rers2012/Problem18_label10_false-unreach-call.c 912    898     1280 10500   912    897     1270 11500  
eca-rers2012/Problem18_label12_false-unreach-call.c 912    898     1300 11200   912    897     1290 10200  
eca-rers2012/Problem18_label19_false-unreach-call.c 912    900     1050 9090   912    899     1050 9710  
eca-rers2012/Problem18_label20_false-unreach-call.c 912    899     1040 9910   912    900     1020 11600  
eca-rers2012/Problem18_label25_false-unreach-call.c 912    898     1150 11000   912    898     1120 9920  
eca-rers2012/Problem18_label27_false-unreach-call.c 912    899     1180 10800   912    899     1170 10100  
eca-rers2012/Problem18_label31_false-unreach-call.c 912    897     1250 10600   912    899     1230 9910  
eca-rers2012/Problem18_label32_false-unreach-call.c 912    897     1170 10200   912    898     1120 12600  
eca-rers2012/Problem18_label33_false-unreach-call.c 912    898     1150 11600   912    898     1170 12000  
eca-rers2012/Problem18_label34_false-unreach-call.c 912    899     1150 12000   912    898     1160 11000  
eca-rers2012/Problem18_label35_false-unreach-call.c 912    899     1130 10900   912    898     1140 10200  
eca-rers2012/Problem18_label36_false-unreach-call.c 912    897     1250 11100   912    899     1260 10600  
eca-rers2012/Problem18_label38_false-unreach-call.c 912    899     1280 9200   912    900     1280 10700  
eca-rers2012/Problem18_label39_false-unreach-call.c 912    899     1270 9770   912    900     1270 12900  
eca-rers2012/Problem18_label45_false-unreach-call.c 912    899     1140 10100   912    899     1140 10800  
eca-rers2012/Problem18_label49_false-unreach-call.c 912    901     696 11200   912    901     743 11200  
eca-rers2012/Problem18_label52_false-unreach-call.c 912    900     1280 9450   912    897     1260 11200  
eca-rers2012/Problem18_label55_false-unreach-call.c 912    901     1160 10800   912    898     1140 10800  
eca-rers2012/Problem18_label57_false-unreach-call.c 912    900     1120 11500   912    899     1160 11800  
eca-rers2012/Problem19_label10_false-unreach-call.c 912    897     2250 10400   912    895     2260 10100  
eca-rers2012/Problem19_label11_false-unreach-call.c 912    894     2270 11800   912    895     2290 12100  
eca-rers2012/Problem19_label14_false-unreach-call.c 912    898     1890 8860   912    897     1860 9030  
eca-rers2012/Problem19_label17_false-unreach-call.c 912    896     2250 12900   912    895     2260 11000  
eca-rers2012/Problem19_label18_false-unreach-call.c 902    888     2360 12100   903    882     2270 11300  
eca-rers2012/Problem19_label19_false-unreach-call.c 912    896     2320 10400   912    895     2340 8880  
eca-rers2012/Problem19_label21_false-unreach-call.c 912    896     2260 12800   912    895     2260 10700  
eca-rers2012/Problem19_label22_false-unreach-call.c 912    895     2270 10500   912    896     2250 11000  
eca-rers2012/Problem19_label26_false-unreach-call.c 912    896     2240 9940   912    897     2260 10600  
eca-rers2012/Problem19_label27_false-unreach-call.c 902    886     2280 10600   903    884     2330 11900  
eca-rers2012/Problem19_label28_false-unreach-call.c 903    883     1940 12200   903    886     1930 12300  
eca-rers2012/Problem19_label29_false-unreach-call.c 912    893     2310 9990   912    895     2300 11100  
eca-rers2012/Problem19_label31_false-unreach-call.c 912    895     2270 10300   912    895     2260 9930  
eca-rers2012/Problem19_label32_false-unreach-call.c 912    895     2280 10500   912    897     2250 12400  
eca-rers2012/Problem19_label41_false-unreach-call.c 912    896     2270 10400   912    897     2300 10100  
eca-rers2012/Problem19_label42_false-unreach-call.c 912    897     2360 9700   912    896     2370 8940  
eca-rers2012/Problem19_label43_false-unreach-call.c 903    884     2380 9360   903    886     2420 9460  
eca-rers2012/Problem19_label47_false-unreach-call.c 912    894     2390 9100   912    896     2370 10600  
eca-rers2012/Problem19_label50_false-unreach-call.c 903    886     2340 10200   903    886     2350 10000  
eca-rers2012/Problem19_label51_false-unreach-call.c 912    896     2270 10200   912    897     2260 9890  
eca-rers2012/Problem19_label53_false-unreach-call.c 903    883     2280 9880   903    885     2330 9360  
eca-rers2012/Problem19_label55_false-unreach-call.c 912    895     2400 9770   912    896     2400 10700  
eca-rers2012/Problem19_label58_false-unreach-call.c 904    884     2320 10600   902    886     2290 9990  
eca-rers2012/Problem19_label59_false-unreach-call.c 912    899     1130 11000   912    899     1120 9810  
eca-rers2012/Problem01_label00_true-unreach-call.c 16.4  7.79  530 148   18.2  7.95  527 149  
eca-rers2012/Problem01_label01_true-unreach-call.c 14.8  5.68  543 145   13.7  5.55  520 124  
eca-rers2012/Problem01_label02_true-unreach-call.c 21.0  12.1   600 194   21.0  12.2   612 212  
eca-rers2012/Problem01_label03_true-unreach-call.c 18.3  6.78  557 152   19.4  6.72  561 175  
eca-rers2012/Problem01_label04_true-unreach-call.c 39.9  28.8   808 460   40.2  28.7   819 419  
eca-rers2012/Problem01_label05_true-unreach-call.c 34.3  23.9   755 351   35.2  23.7   733 404  
eca-rers2012/Problem01_label06_true-unreach-call.c 25.0  15.2   651 239   24.8  15.2   654 248  
eca-rers2012/Problem01_label07_true-unreach-call.c 45.0  34.4   800 510   44.3  33.2   825 488  
eca-rers2012/Problem01_label08_true-unreach-call.c 31.0  20.7   752 320   30.2  20.8   748 347  
eca-rers2012/Problem01_label09_true-unreach-call.c 17.2  7.03  512 128   16.8  6.36  530 143  
eca-rers2012/Problem01_label10_true-unreach-call.c 21.9  10.8   673 188   21.7  10.2   647 178  
eca-rers2012/Problem01_label11_true-unreach-call.c 15.9  5.45  538 129   16.8  5.14  543 136  
eca-rers2012/Problem01_label12_true-unreach-call.c 22.9  11.4   628 224   22.9  11.8   629 214  
eca-rers2012/Problem01_label13_true-unreach-call.c 22.2  12.7   659 207   23.9  12.7   688 247  
eca-rers2012/Problem01_label14_true-unreach-call.c 15.6  4.79  531 116   13.2  4.86  501 107  
eca-rers2012/Problem01_label16_true-unreach-call.c 15.1  6.88  534 139   19.1  7.08  528 161  
eca-rers2012/Problem01_label17_true-unreach-call.c 21.7  11.4   643 232   21.5  11.3   637 222  
eca-rers2012/Problem01_label18_true-unreach-call.c 21.7  10.9   654 210   22.2  10.5   650 210  
eca-rers2012/Problem01_label19_true-unreach-call.c 15.3  6.11  531 126   14.7  6.10  525 140  
eca-rers2012/Problem01_label22_true-unreach-call.c 16.9  7.88  543 178   17.2  7.92  542 160  
eca-rers2012/Problem01_label23_true-unreach-call.c 36.5  25.4   727 451   35.4  25.0   754 358  
eca-rers2012/Problem01_label24_true-unreach-call.c 23.6  14.1   664 247   24.5  14.1   647 264  
eca-rers2012/Problem01_label25_true-unreach-call.c 25.5  15.5   679 266   26.0  15.7   688 302  
eca-rers2012/Problem01_label26_true-unreach-call.c 51.8  40.8   929 545   50.9  39.7   955 560  
eca-rers2012/Problem01_label27_true-unreach-call.c 31.7  21.5   697 348   32.8  21.7   693 298  
eca-rers2012/Problem01_label28_true-unreach-call.c 20.9  10.3   573 204   19.5  10.2   572 179  
eca-rers2012/Problem01_label29_true-unreach-call.c 75.8  63.9   1070 1020   75.4  64.0   1050 765  
eca-rers2012/Problem01_label30_true-unreach-call.c 16.9  7.54  512 150   15.8  7.24  515 146  
eca-rers2012/Problem01_label31_true-unreach-call.c 30.8  20.0   702 364   28.8  19.9   723 315  
eca-rers2012/Problem01_label34_true-unreach-call.c 50.4  40.4   839 572   50.9  40.0   861 513  
eca-rers2012/Problem01_label36_true-unreach-call.c 14.1  4.61  514 125   15.0  4.64  514 112  
eca-rers2012/Problem01_label39_true-unreach-call.c 17.1  6.19  545 144   16.7  6.31  539 129  
eca-rers2012/Problem01_label40_true-unreach-call.c 47.5  36.6   826 504   47.9  36.9   844 551  
eca-rers2012/Problem01_label41_true-unreach-call.c 63.6  49.8   1010 636   58.0  48.7   1010 637  
eca-rers2012/Problem01_label42_true-unreach-call.c 22.5  11.2   668 235   22.4  11.1   670 203  
eca-rers2012/Problem01_label43_true-unreach-call.c 19.8  9.86  550 195   20.0  9.44  549 176  
eca-rers2012/Problem01_label45_true-unreach-call.c 16.6  5.48  526 131   15.1  5.39  514 128  
eca-rers2012/Problem01_label46_true-unreach-call.c 16.5  6.17  530 157   16.0  5.96  537 144  
eca-rers2012/Problem01_label48_true-unreach-call.c 16.5  6.46  535 141   17.2  6.39  553 147  
eca-rers2012/Problem01_label49_true-unreach-call.c 44.2  33.4   838 519   42.2  33.4   821 429  
eca-rers2012/Problem01_label51_true-unreach-call.c 12.6  4.52  484 122   12.8  4.53  509 113  
eca-rers2012/Problem01_label52_true-unreach-call.c 10.6  3.49  476 95.3 10.9  3.37  485 85.5
eca-rers2012/Problem01_label53_true-unreach-call.c 18.7  6.71  562 150   16.7  6.75  529 153  
eca-rers2012/Problem01_label54_true-unreach-call.c 14.7  4.63  520 112   15.9  4.81  518 124  
eca-rers2012/Problem01_label55_true-unreach-call.c 15.5  5.51  525 132   15.4  5.42  515 126  
eca-rers2012/Problem01_label58_true-unreach-call.c 17.4  7.71  542 164   16.9  7.59  548 160  
eca-rers2012/Problem01_label59_true-unreach-call.c 27.4  17.1   698 308   28.0  17.4   702 259  
eca-rers2012/Problem02_label00_true-unreach-call.c 24.9  15.2   650 232   26.1  15.4   658 237  
eca-rers2012/Problem02_label01_true-unreach-call.c 23.4  14.7   659 258   23.9  15.0   661 236  
eca-rers2012/Problem02_label02_true-unreach-call.c 13.1  4.01  492 97.5 15.1  4.66  504 125  
eca-rers2012/Problem02_label03_true-unreach-call.c 18.3  8.98  548 183   19.3  9.06  557 176  
eca-rers2012/Problem02_label04_true-unreach-call.c 14.6  5.35  497 125   13.1  4.77  497 112  
eca-rers2012/Problem02_label05_true-unreach-call.c 12.3  3.55  496 89.3 10.3  3.11  466 86.8
eca-rers2012/Problem02_label06_true-unreach-call.c 47.2  37.5   854 506   47.7  37.8   897 482  
eca-rers2012/Problem02_label07_true-unreach-call.c 17.7  7.64  512 144   18.9  7.40  533 156  
eca-rers2012/Problem02_label08_true-unreach-call.c 15.5  7.00  537 152   16.6  7.03  533 157  
eca-rers2012/Problem02_label09_true-unreach-call.c 92.9  83.8   15000 1040   91.9  83.6   15000 1120  
eca-rers2012/Problem02_label10_true-unreach-call.c 20.0  8.03  529 191   18.9  8.04  549 195  
eca-rers2012/Problem02_label11_true-unreach-call.c 20.1  9.86  536 192   19.5  9.65  547 185  
eca-rers2012/Problem02_label12_true-unreach-call.c 17.1  6.04  511 142   15.0  5.51  535 139  
eca-rers2012/Problem02_label14_true-unreach-call.c 12.5  3.71  488 88.0 13.0  4.29  525 109  
eca-rers2012/Problem02_label15_true-unreach-call.c 18.8  9.38  735 199   19.1  9.40  734 168  
eca-rers2012/Problem02_label17_true-unreach-call.c 15.7  6.59  516 157   17.7  7.07  518 153  
eca-rers2012/Problem02_label18_true-unreach-call.c 19.8  8.83  547 147   18.0  8.73  534 178  
eca-rers2012/Problem02_label19_true-unreach-call.c 9.28 2.70  472 64.4 8.70 2.66  460 71.9
eca-rers2012/Problem02_label20_true-unreach-call.c 16.0  6.24  536 140   16.1  6.65  513 134  
eca-rers2012/Problem02_label21_true-unreach-call.c 22.8  12.2   656 220   21.1  12.4   628 199  
eca-rers2012/Problem02_label22_true-unreach-call.c 13.0  4.23  493 101   13.9  4.32  502 118  
eca-rers2012/Problem02_label23_true-unreach-call.c 11.3  3.46  490 88.4 11.8  3.55  493 101  
eca-rers2012/Problem02_label24_true-unreach-call.c 17.2  5.29  530 136   15.5  5.45  496 130  
eca-rers2012/Problem02_label25_true-unreach-call.c 12.2  3.82  492 99.5 11.4  3.56  484 99.1
eca-rers2012/Problem02_label26_true-unreach-call.c 24.4  13.5   548 236   22.1  12.6   561 254  
eca-rers2012/Problem02_label27_true-unreach-call.c 35.7  24.3   712 393   34.9  24.2   708 275  
eca-rers2012/Problem02_label28_true-unreach-call.c 20.4  10.2   554 180   18.3  10.1   550 176  
eca-rers2012/Problem02_label29_true-unreach-call.c 16.6  6.82  542 145   16.2  6.93  539 150  
eca-rers2012/Problem02_label30_true-unreach-call.c 13.8  4.10  509 97.7 11.3  3.35  499 86.5
eca-rers2012/Problem02_label31_true-unreach-call.c 15.5  5.19  523 126   14.4  5.07  519 127  
eca-rers2012/Problem02_label32_true-unreach-call.c 16.3  7.38  540 139   15.7  7.44  537 148  
eca-rers2012/Problem02_label33_true-unreach-call.c 12.4  3.72  499 108   12.4  3.68  490 96.4
eca-rers2012/Problem02_label34_true-unreach-call.c 18.5  7.88  544 162   20.9  8.18  561 190  
eca-rers2012/Problem02_label35_true-unreach-call.c 8.80 2.64  472 71.9 8.73 2.65  469 68.0
eca-rers2012/Problem02_label36_true-unreach-call.c 11.8  3.52  495 95.1 11.3  3.28  491 85.0
eca-rers2012/Problem02_label37_true-unreach-call.c 13.8  5.44  502 120   15.1  5.45  535 144  
eca-rers2012/Problem02_label38_true-unreach-call.c 13.6  4.73  503 110   14.2  4.67  499 114  
eca-rers2012/Problem02_label39_true-unreach-call.c 38.8  28.9   831 445   39.4  29.2   832 476  
eca-rers2012/Problem02_label40_true-unreach-call.c 13.7  4.77  513 125   15.5  5.07  525 132  
eca-rers2012/Problem02_label41_true-unreach-call.c 26.8  14.8   661 260   26.7  14.5   666 251  
eca-rers2012/Problem02_label42_true-unreach-call.c 15.3  5.94  516 149   14.4  5.99  501 130  
eca-rers2012/Problem02_label46_true-unreach-call.c 13.6  4.84  509 108   13.5  4.85  503 114  
eca-rers2012/Problem02_label47_true-unreach-call.c 14.8  5.00  494 119   13.4  4.73  492 118  
eca-rers2012/Problem02_label48_true-unreach-call.c 15.9  5.55  506 127   15.1  5.46  514 126  
eca-rers2012/Problem02_label49_true-unreach-call.c 20.3  10.4   569 194   19.8  10.5   562 179  
eca-rers2012/Problem02_label51_true-unreach-call.c 10.7  3.24  479 99.7 10.4  3.19  461 79.8
eca-rers2012/Problem02_label52_true-unreach-call.c 16.1  4.94  510 130   13.3  4.76  504 121  
eca-rers2012/Problem02_label53_true-unreach-call.c 26.8  16.7   675 265   26.0  16.2   674 267  
eca-rers2012/Problem02_label54_true-unreach-call.c 15.0  6.41  520 128   17.8  6.75  528 132  
eca-rers2012/Problem02_label55_true-unreach-call.c 13.6  5.00  503 126   15.0  5.12  500 124  
eca-rers2012/Problem02_label56_true-unreach-call.c 16.0  6.16  538 122   16.0  6.05  529 132  
eca-rers2012/Problem02_label57_true-unreach-call.c 8.72 2.67  475 71.1 10.7  3.25  479 86.6
eca-rers2012/Problem02_label58_true-unreach-call.c 20.1  9.12  582 182   18.5  8.85  533 150  
eca-rers2012/Problem03_label00_true-unreach-call.c 912    876     11000 9050   912    880     11600 12000  
eca-rers2012/Problem03_label01_true-unreach-call.c 100    86.8   15000 1240   97.3  85.6   15000 1220  
eca-rers2012/Problem03_label02_true-unreach-call.c 112    100     9260 1230   112    99.5   9260 1260  
eca-rers2012/Problem03_label03_true-unreach-call.c 104    92.2   15000 1210   106    92.8   15000 1220  
eca-rers2012/Problem03_label04_true-unreach-call.c 103    90.7   15000 1200   101    88.7   15000 1120  
eca-rers2012/Problem03_label05_true-unreach-call.c 161    148     15000 1760   161    149     15000 1990  
eca-rers2012/Problem03_label06_true-unreach-call.c 37.4  24.3   937 407   37.2  24.1   905 357  
eca-rers2012/Problem03_label07_true-unreach-call.c 93.0  81.5   15000 1080   92.5  81.6   15000 1150  
eca-rers2012/Problem03_label08_true-unreach-call.c 30.6  16.8   769 252   30.0  16.7   774 273  
eca-rers2012/Problem03_label10_true-unreach-call.c 94.4  82.5   15000 1070   94.4  82.2   15000 1070  
eca-rers2012/Problem03_label11_true-unreach-call.c 108    94.9   15000 1180   108    95.0   15000 1280  
eca-rers2012/Problem03_label12_true-unreach-call.c 107    94.7   15000 1320   107    94.7   15000 1290  
eca-rers2012/Problem03_label14_true-unreach-call.c 113    101     5060 1300   118    103     5080 1140  
eca-rers2012/Problem03_label15_true-unreach-call.c 902    814     13200 8160   902    785     13300 9570  
eca-rers2012/Problem03_label16_true-unreach-call.c 94.1  83.1   15000 1010   93.4  83.3   15000 937  
eca-rers2012/Problem03_label17_true-unreach-call.c 97.6  85.9   15000 1120   97.0  85.9   15000 1050  
eca-rers2012/Problem03_label18_true-unreach-call.c 107    94.9   15000 1140   107    95.3   15000 1150  
eca-rers2012/Problem03_label19_true-unreach-call.c 93.1  82.3   15000 959   92.6  81.8   15000 1260  
eca-rers2012/Problem03_label20_true-unreach-call.c 126    113     15000 1430   125    113     15000 1370  
eca-rers2012/Problem03_label21_true-unreach-call.c 103    91.8   15000 918   105    92.2   15000 1250  
eca-rers2012/Problem03_label22_true-unreach-call.c 129    115     1460 1270   127    113     1500 1280  
eca-rers2012/Problem03_label23_true-unreach-call.c 107    95.1   15000 1280   105    95.0   15000 1360  
eca-rers2012/Problem03_label24_true-unreach-call.c 95.8  83.5   15000 1020   94.9  83.4   15000 1310  
eca-rers2012/Problem03_label25_true-unreach-call.c 98.6  85.8   15000 950   98.4  86.8   15000 1180  
eca-rers2012/Problem03_label29_true-unreach-call.c 101    89.7   15000 1070   102    90.0   15000 1250  
eca-rers2012/Problem03_label30_true-unreach-call.c 99.3  86.0   3100 919   99.2  86.1   3090 965  
eca-rers2012/Problem03_label32_true-unreach-call.c 905    818     13300 10100   902    817     13200 8610  
eca-rers2012/Problem03_label33_true-unreach-call.c 100    87.4   15000 1120   99.2  87.6   15000 1150  
eca-rers2012/Problem03_label34_true-unreach-call.c 122    109     15000 1450   121    109     15000 1310  
eca-rers2012/Problem03_label36_true-unreach-call.c 103    89.7   15000 1240   102    90.4   15000 1350  
eca-rers2012/Problem03_label38_true-unreach-call.c 96.5  83.6   15000 1060   94.5  83.2   15000 1170  
eca-rers2012/Problem03_label40_true-unreach-call.c 902    840     10600 10100   902    844     10500 10100  
eca-rers2012/Problem03_label41_true-unreach-call.c 901    842     8760 9340   901    848     8780 9350  
eca-rers2012/Problem03_label42_true-unreach-call.c 124    111     15000 1490   123    112     15000 1350  
eca-rers2012/Problem03_label44_true-unreach-call.c 97.5  85.3   15000 1180   97.7  85.5   15000 1230  
eca-rers2012/Problem03_label46_true-unreach-call.c 205    190     1640 2060   200    184     1690 1830  
eca-rers2012/Problem03_label47_true-unreach-call.c 97.7  86.4   15000 1150   97.8  85.9   15000 1170  
eca-rers2012/Problem03_label48_true-unreach-call.c 104    90.7   15000 1230   103    91.1   15000 1080  
eca-rers2012/Problem03_label49_true-unreach-call.c 108    97.5   15000 1130   111    98.3   15000 1210  
eca-rers2012/Problem03_label51_true-unreach-call.c 116    102     15000 1430   115    102     15000 1280  
eca-rers2012/Problem03_label53_true-unreach-call.c 102    92.1   15000 1220   105    92.1   15000 1160  
eca-rers2012/Problem03_label54_true-unreach-call.c 902    798     13800 8110   902    786     13500 9620  
eca-rers2012/Problem03_label55_true-unreach-call.c 99.4  87.8   15000 1090   100    88.0   15000 1070  
eca-rers2012/Problem03_label56_true-unreach-call.c 103    90.7   15000 1130   105    90.8   15000 1100  
eca-rers2012/Problem03_label57_true-unreach-call.c 157    143     15000 1790   157    144     15000 1800  
eca-rers2012/Problem03_label58_true-unreach-call.c 101    88.0   15000 1280   99.2  87.8   15000 1240  
eca-rers2012/Problem03_label59_true-unreach-call.c 142    128     15000 1580   143    129     15000 1540  
eca-rers2012/Problem04_label00_true-unreach-call.c 33.1  16.1   1210 276   32.5  16.1   1160 275  
eca-rers2012/Problem04_label01_true-unreach-call.c 36.2  18.3   1170 302   34.3  18.1   1250 265  
eca-rers2012/Problem04_label02_true-unreach-call.c 64.4  45.3   1510 540   63.3  45.4   1470 612  
eca-rers2012/Problem04_label03_true-unreach-call.c 32.9  16.4   1250 274   31.7  16.5   1230 303  
eca-rers2012/Problem04_label05_true-unreach-call.c 40.3  24.2   1290 377   41.7  23.8   1360 373  
eca-rers2012/Problem04_label07_true-unreach-call.c 34.6  16.5   1240 325   31.6  15.7   1210 281  
eca-rers2012/Problem04_label08_true-unreach-call.c 51.7  33.1   1450 395   47.8  32.0   1430 413  
eca-rers2012/Problem04_label10_true-unreach-call.c 28.9  12.9   1120 259   31.0  13.5   1120 269  
eca-rers2012/Problem04_label16_true-unreach-call.c 35.5  18.4   1210 326   35.9  18.1   1130 294  
eca-rers2012/Problem04_label20_true-unreach-call.c 35.5  18.3   1170 319   36.9  18.2   1210 316  
eca-rers2012/Problem04_label21_true-unreach-call.c 51.5  33.3   1360 464   50.1  32.0   1380 438  
eca-rers2012/Problem04_label22_true-unreach-call.c 37.0  19.5   1250 347   35.1  19.2   1250 379  
eca-rers2012/Problem04_label23_true-unreach-call.c 38.7  21.9   1260 356   37.8  21.8   1240 311  
eca-rers2012/Problem04_label24_true-unreach-call.c 104    88.4   15000 1160   105    88.8   15000 1120  
eca-rers2012/Problem04_label25_true-unreach-call.c 62.7  45.6   1640 567   66.5  46.6   1680 650  
eca-rers2012/Problem04_label28_true-unreach-call.c 37.6  19.8   1250 301   37.9  19.2   1250 361  
eca-rers2012/Problem04_label29_true-unreach-call.c 40.3  24.7   1290 354   40.8  24.7   1270 343  
eca-rers2012/Problem04_label30_true-unreach-call.c 30.6  13.9   1150 271   30.0  14.1   1160 241  
eca-rers2012/Problem04_label33_true-unreach-call.c 34.5  18.0   1230 283   33.1  17.8   1200 267  
eca-rers2012/Problem04_label34_true-unreach-call.c 52.1  33.6   1460 428   52.4  33.5   1430 507  
eca-rers2012/Problem04_label37_true-unreach-call.c 36.5  17.6   1160 318   33.0  17.4   1180 308  
eca-rers2012/Problem04_label41_true-unreach-call.c 27.5  12.0   1010 246   28.1  12.4   1000 234  
eca-rers2012/Problem04_label42_true-unreach-call.c 48.9  30.3   1970 519   46.9  30.2   1960 434  
eca-rers2012/Problem04_label43_true-unreach-call.c 71.6  54.0   1760 782   72.6  55.3   1700 592  
eca-rers2012/Problem04_label44_true-unreach-call.c 46.4  28.1   1420 404   45.1  27.5   1400 373  
eca-rers2012/Problem04_label46_true-unreach-call.c 45.6  26.3   1340 378   42.9  25.7   1410 378  
eca-rers2012/Problem04_label47_true-unreach-call.c 70.5  54.6   1630 656   70.9  53.8   1660 717  
eca-rers2012/Problem04_label48_true-unreach-call.c 58.7  40.4   1470 547   59.6  41.0   1430 505  
eca-rers2012/Problem04_label49_true-unreach-call.c 40.4  23.5   1310 350   40.7  23.6   1350 334  
eca-rers2012/Problem04_label50_true-unreach-call.c 38.4  20.8   1300 337   42.2  22.0   1340 362  
eca-rers2012/Problem04_label51_true-unreach-call.c 43.0  26.4   2040 402   43.6  26.6   2000 378  
eca-rers2012/Problem04_label53_true-unreach-call.c 34.2  16.5   1200 289   32.9  16.6   1220 271  
eca-rers2012/Problem04_label54_true-unreach-call.c 47.6  29.9   1370 371   46.8  30.4   1320 460  
eca-rers2012/Problem04_label56_true-unreach-call.c 104    89.6   15000 1280   106    89.6   15000 1060  
eca-rers2012/Problem04_label57_true-unreach-call.c 30.4  14.2   1140 270   33.9  15.1   1170 250  
eca-rers2012/Problem04_label59_true-unreach-call.c 27.9  12.3   1010 220   28.9  12.4   1010 239  
eca-rers2012/Problem05_label02_true-unreach-call.c 860    828     15000 7290   862    831     15000 7740  
eca-rers2012/Problem05_label03_true-unreach-call.c 905    870     5820 7300   905    870     5920 8690  
eca-rers2012/Problem05_label04_true-unreach-call.c 803    774     15000 6970   784    755     15000 9300  
eca-rers2012/Problem05_label05_true-unreach-call.c 115    95.0   15000 1480   118    96.2   15000 1220  
eca-rers2012/Problem05_label06_true-unreach-call.c 495    468     15000 5980   509    483     15000 5210  
eca-rers2012/Problem05_label07_true-unreach-call.c 116    92.6   15000 1200   111    91.9   15000 1170  
eca-rers2012/Problem05_label08_true-unreach-call.c 880    851     15000 10800   907    876     15000 8590  
eca-rers2012/Problem05_label09_true-unreach-call.c 906    872     9600 9180   909    877     9630 7920  
eca-rers2012/Problem05_label10_true-unreach-call.c 597    570     15000 4780   596    569     15000 5460  
eca-rers2012/Problem05_label12_true-unreach-call.c 742    713     15000 7230   740    709     15000 6370  
eca-rers2012/Problem05_label14_true-unreach-call.c 904    870     6610 7350   904    871     6610 7080  
eca-rers2012/Problem05_label16_true-unreach-call.c 905    870     5750 8420   905    872     5880 8100  
eca-rers2012/Problem05_label17_true-unreach-call.c 591    562     15000 5580   578    550     15000 5210  
eca-rers2012/Problem05_label19_true-unreach-call.c 905    873     5120 8100   906    872     5340 9560  
eca-rers2012/Problem05_label20_true-unreach-call.c 694    666     15000 6770   688    659     15000 6570  
eca-rers2012/Problem05_label21_true-unreach-call.c 896    868     15000 8040   904    872     15000 8980  
eca-rers2012/Problem05_label22_true-unreach-call.c 383    357     15000 3650   383    357     15000 3300  
eca-rers2012/Problem05_label23_true-unreach-call.c 905    871     6650 8980   905    869     6510 7490  
eca-rers2012/Problem05_label25_true-unreach-call.c 827    796     15000 7440   818    789     15000 9360  
eca-rers2012/Problem05_label27_true-unreach-call.c 703    676     15000 5860   700    675     15000 6610  
eca-rers2012/Problem05_label28_true-unreach-call.c 906    872     5760 9380   904    870     5610 8320  
eca-rers2012/Problem05_label29_true-unreach-call.c 904    868     7510 7470   904    869     7580 7480  
eca-rers2012/Problem05_label31_true-unreach-call.c 912    881     6430 8390   910    881     6560 7720  
eca-rers2012/Problem05_label34_true-unreach-call.c 607    579     15000 5360   600    574     15000 5110  
eca-rers2012/Problem05_label35_true-unreach-call.c 328    302     15000 3370   333    308     15000 2830  
eca-rers2012/Problem05_label42_true-unreach-call.c 904    873     7800 8630   904    869     7800 9820  
eca-rers2012/Problem05_label43_true-unreach-call.c 905    871     7540 7430   905    869     7490 8190  
eca-rers2012/Problem05_label45_true-unreach-call.c 126    103     2170 1050   127    104     2270 904  
eca-rers2012/Problem05_label46_true-unreach-call.c 905    873     5360 7890   905    871     5420 6290  
eca-rers2012/Problem05_label49_true-unreach-call.c 531    502     3880 4400   535    506     3810 4060  
eca-rers2012/Problem05_label50_true-unreach-call.c 908    874     6530 7980   909    877     6610 7920  
eca-rers2012/Problem05_label52_true-unreach-call.c 905    874     8010 9710   909    878     8310 9200  
eca-rers2012/Problem05_label53_true-unreach-call.c 208    182     2660 1790   211    185     2660 2040  
eca-rers2012/Problem05_label54_true-unreach-call.c 905    873     5540 9160   906    873     5540 7330  
eca-rers2012/Problem05_label56_true-unreach-call.c 903    870     6510 7420   903    869     6660 5930  
eca-rers2012/Problem05_label59_true-unreach-call.c 905    871     4950 7050   904    872     4960 7010  
eca-rers2012/Problem06_label03_true-unreach-call.c 108    89.5   15000 1040   110    89.7   15000 1090  
eca-rers2012/Problem06_label06_true-unreach-call.c 154    135     15000 1720   156    136     15000 1550  
eca-rers2012/Problem06_label07_true-unreach-call.c 154    134     15000 1600   156    134     15000 1390  
eca-rers2012/Problem06_label08_true-unreach-call.c 907    876     13200 7150   908    877     13000 6510  
eca-rers2012/Problem06_label13_true-unreach-call.c 903    855     9560 8050   905    868     9340 9850  
eca-rers2012/Problem06_label14_true-unreach-call.c 906    876     9770 8980   905    874     9770 9010  
eca-rers2012/Problem06_label16_true-unreach-call.c 123    101     15000 1280   120    100     15000 1310  
eca-rers2012/Problem06_label17_true-unreach-call.c 133    112     15000 1400   133    113     15000 1300  
eca-rers2012/Problem06_label18_true-unreach-call.c 120    99.2   15000 1240   119    98.4   15000 1310  
eca-rers2012/Problem06_label19_true-unreach-call.c 110    90.2   15000 1230   109    89.0   15000 1200  
eca-rers2012/Problem06_label22_true-unreach-call.c 118    96.9   15000 1380   118    96.5   15000 1220  
eca-rers2012/Problem06_label23_true-unreach-call.c 913    881     10300 7950   912    874     10700 8690  
eca-rers2012/Problem06_label25_true-unreach-call.c 120    99.4   15000 1250   119    99.3   15000 1240  
eca-rers2012/Problem06_label26_true-unreach-call.c 117    98.6   15000 1200   120    99.7   15000 1410  
eca-rers2012/Problem06_label28_true-unreach-call.c 905    870     8790 8830   905    868     8700 7310  
eca-rers2012/Problem06_label30_true-unreach-call.c 912    885     10600 8260   912    884     10600 8500  
eca-rers2012/Problem06_label31_true-unreach-call.c 912    876     10500 6630   913    878     10400 7460  
eca-rers2012/Problem06_label32_true-unreach-call.c 905    854     11300 7510   914    848     11100 8980  
eca-rers2012/Problem06_label34_true-unreach-call.c 192    172     15000 1790   193    171     15000 1900  
eca-rers2012/Problem06_label35_true-unreach-call.c 112    93.8   15000 1270   111    93.2   15000 1260  
eca-rers2012/Problem06_label39_true-unreach-call.c 117    100     15000 1190   121    101     15000 1250  
eca-rers2012/Problem06_label40_true-unreach-call.c 114    95.2   15000 1250   114    94.9   15000 1100  
eca-rers2012/Problem06_label41_true-unreach-call.c 903    867     8000 7630   903    865     8230 7620  
eca-rers2012/Problem06_label42_true-unreach-call.c 117    97.5   15000 1160   112    93.9   15000 1070  
eca-rers2012/Problem06_label43_true-unreach-call.c 904    873     10400 8330   906    871     9900 7710  
eca-rers2012/Problem06_label45_true-unreach-call.c 115    95.9   15000 1240   117    96.5   15000 1140  
eca-rers2012/Problem06_label46_true-unreach-call.c 906    870     12800 7720   908    874     13400 8090  
eca-rers2012/Problem06_label49_true-unreach-call.c 116    97.0   15000 1220   117    98.1   15000 1280  
eca-rers2012/Problem06_label50_true-unreach-call.c 118    98.5   15000 1400   117    98.4   15000 1300  
eca-rers2012/Problem06_label51_true-unreach-call.c 141    121     15000 1650   142    122     15000 1340  
eca-rers2012/Problem06_label52_true-unreach-call.c 904    870     8920 7120   904    870     9030 7160  
eca-rers2012/Problem06_label53_true-unreach-call.c 912    886     9600 8400   912    886     9410 10600  
eca-rers2012/Problem06_label54_true-unreach-call.c 116    95.2   15000 1370   113    94.7   15000 1410  
eca-rers2012/Problem06_label55_true-unreach-call.c 130    109     15000 1480   129    108     15000 1470  
eca-rers2012/Problem06_label57_true-unreach-call.c 70.5  48.3   1640 653   70.4  49.1   1650 574  
eca-rers2012/Problem07_label00_true-unreach-call.c 269    231     15000 2480   267    228     15000 2980  
eca-rers2012/Problem07_label01_true-unreach-call.c 910    839     9490 6340   909    836     8790 6070  
eca-rers2012/Problem07_label02_true-unreach-call.c 913    841     11400 7330   913    841     11200 8040  
eca-rers2012/Problem07_label04_true-unreach-call.c 911    837     11100 6810   912    842     11100 9040  
eca-rers2012/Problem07_label08_true-unreach-call.c 202    164     15000 2370   206    168     15000 1830  
eca-rers2012/Problem07_label10_true-unreach-call.c 911    841     9790 7090   909    837     10200 7660  
eca-rers2012/Problem07_label12_true-unreach-call.c 913    865     11800 4430   912    867     12000 6190  
eca-rers2012/Problem07_label13_true-unreach-call.c 910    858     8010 8590   916    863     8220 6270  
eca-rers2012/Problem07_label14_true-unreach-call.c 916    865     9160 6230   917    868     9060 6110  
eca-rers2012/Problem07_label16_true-unreach-call.c 927    855     12100 6010   909    840     11800 6480  
eca-rers2012/Problem07_label17_true-unreach-call.c 912    859     11200 5670   912    845     11100 5860  
eca-rers2012/Problem07_label21_true-unreach-call.c 912    840     9090 6510   910    840     9380 6580  
eca-rers2012/Problem07_label22_true-unreach-call.c 629    585     15000 3990   583    545     15000 5670  
eca-rers2012/Problem07_label24_true-unreach-call.c 915    864     9790 8180   916    866     9930 6760  
eca-rers2012/Problem07_label25_true-unreach-call.c 910    843     12800 6920   910    843     12800 8850  
eca-rers2012/Problem07_label26_true-unreach-call.c 912    844     9820 6190   916    842     9900 5550  
eca-rers2012/Problem07_label27_true-unreach-call.c 910    858     9090 5890   912    862     9000 6550  
eca-rers2012/Problem07_label28_true-unreach-call.c 911    841     10500 5490   912    837     10500 6770  
eca-rers2012/Problem07_label29_true-unreach-call.c 911    837     9850 6190   911    841     9800 6320  
eca-rers2012/Problem07_label32_true-unreach-call.c 911    844     10100 8730   912    846     10100 6950  
eca-rers2012/Problem07_label33_true-unreach-call.c 204    167     15000 1700   200    164     15000 1900  
eca-rers2012/Problem07_label34_true-unreach-call.c 911    838     11000 5710   912    844     11300 5590  
eca-rers2012/Problem07_label38_true-unreach-call.c 196    157     15000 1850   193    157     15000 1700  
eca-rers2012/Problem07_label41_true-unreach-call.c 277    238     15000 2190   274    233     15000 2170  
eca-rers2012/Problem07_label43_true-unreach-call.c 912    842     9430 5830   912    841     9510 5800  
eca-rers2012/Problem07_label45_true-u