Tool CPAchecker 1.6.1-svn 24567
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-71-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-03-31 11:14:51 CEST
Run set z3-q_abvfp z3-qf_abvfp z3-qf_ufbvfp z3-q_ufbvfp
Options -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -stack 1000M -setprop cpa.predicate.useQuantifiersOnArrays=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=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -stack 1000M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -stack 1000M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -stack 1000M -setprop cpa.predicate.useQuantifiersOnArrays=true -setprop cpa.predicate.maxArrayLength=-1
../sv-benchmarks/c/ status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J)
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 901    895     617 11500   901    896     618 11100   901    896     489 11400   901    895     633 13100  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    897     421 11300   901    896     423 12400   901    897     377 11100   901    896     417 9920  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    897     415 12500   901    896     427 10800   901    897     380 10800   901    896     426 13000  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    896     582 12500   901    895     589 12800   901    896     521 10700   2.85 1.24  283 25.0
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    896     581 11700   901    895     587 11200   901    896     551 11300   2.85 1.25  282 25.6
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    892     618 11300   901    893     633 11300   901    894     535 10800   901    893     643 10700  
array-examples/standard_copy1_false-unreach-call_ground.i 901    896     440 11300   901    896     439 11200   901    897     355 11800   901    896     757 10500  
array-examples/standard_copy2_false-unreach-call_ground.i 901    896     519 12000   901    895     526 11300   901    897     389 11800   901    895     619 11300  
array-examples/standard_copy3_false-unreach-call_ground.i 901    896     546 11100   901    895     546 10700   901    897     425 10500   901    896     733 12900  
array-examples/standard_copy4_false-unreach-call_ground.i 901    895     556 11200   901    895     556 11200   901    897     454 10700   901    894     715 13500  
array-examples/standard_copy5_false-unreach-call_ground.i 901    894     625 12500   901    895     619 12100   901    897     450 12100   912    906     1300 11800  
array-examples/standard_copy6_false-unreach-call_ground.i 901    894     715 11600   901    894     720 11200   901    897     449 12100   901    894     823 11100  
array-examples/standard_copy7_false-unreach-call_ground.i 901    894     727 12300   901    894     726 10900   901    897     483 11500   901    893     848 9810  
array-examples/standard_copy8_false-unreach-call_ground.i 901    894     735 11900   901    893     735 12900   901    897     497 13100   901    893     840 11200  
array-examples/standard_copy9_false-unreach-call_ground.i 901    892     741 11500   901    893     750 13100   901    897     499 10600   901    893     870 13700  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    896     500 10600   901    896     502 13900   901    898     372 11200   901    896     517 10700  
array-examples/standard_init1_false-unreach-call_ground.i 901    896     427 11300   901    896     419 10000   901    897     342 10500   901    896     447 10700  
array-examples/standard_init2_false-unreach-call_ground.i 901    896     427 13200   901    897     428 12800   901    897     342 12600   901    897     453 13000  
array-examples/standard_init3_false-unreach-call_ground.i 901    897     449 12200   901    897     440 11700   901    897     359 12500   901    896     472 11800  
array-examples/standard_init4_false-unreach-call_ground.i 901    896     449 10600   901    897     441 11700   901    897     354 12700   901    896     461 13300  
array-examples/standard_init5_false-unreach-call_ground.i 901    896     451 11700   901    897     448 10800   901    898     355 11300   901    896     474 11400  
array-examples/standard_init6_false-unreach-call_ground.i 901    896     462 11300   901    896     462 10900   901    897     343 11500   901    896     478 13000  
array-examples/standard_init7_false-unreach-call_ground.i 901    896     460 12000   901    896     458 13100   901    898     352 11200   901    897     480 11700  
array-examples/standard_init8_false-unreach-call_ground.i 901    897     469 13100   901    896     470 11400   901    897     345 11900   901    896     489 13300  
array-examples/standard_init9_false-unreach-call_ground.i 901    897     482 14300   901    896     483 12800   901    897     353 11200   901    896     502 14100  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    896     437 11100   901    896     440 10500   901    897     351 11600   901    896     434 11700  
array-examples/standard_partition_false-unreach-call_ground.i 901    895     549 12300   901    895     555 10400   901    897     426 11200   901    895     544 11300  
array-examples/standard_running_false-unreach-call.i 901    896     504 11200   901    896     514 11800   901    897     382 13400   901    895     508 9970  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 4.32 1.66  379 37.5 4.16 1.65  377 34.6 2.67 1.20  266 22.4 3.78 1.62  358 34.6
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    895     606 11900   901    895     621 10700   901    895     500 9800   901    895     628 10600  
array-examples/relax_true-unreach-call.i 3.32 1.35  279 32.0 3.25 1.34  279 27.6 3.28 1.30  278 29.5 3.20 1.28  277 26.9
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    895     488 11300   901    896     493 11300   901    896     411 12700   901    896     493 11500  
array-examples/sanfoundry_10_true-unreach-call_ground.i 2.28 .974 225 19.3 2.16 .975 221 20.1 2.26 .995 227 19.8 2.29 .993 225 23.0
array-examples/sanfoundry_24_true-unreach-call.i 906    902     4050 9790   906    903     4020 7420   907    904     4020 10000   906    903     4320 9120  
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    896     441 10500   901    897     429 11100   901    897     359 11100   901    897     435 12600  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.12 .916 222 17.7 2.19 .943 222 19.4 2.23 .900 223 22.6 2.08 .920 222 18.5
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    896     431 10400   901    897     423 12600   901    897     377 12800   901    896     425 9830  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    896     587 10600   901    895     588 11300   901    896     517 11600   2.88 1.26  284 25.6
array-examples/standard_compareModified_true-unreach-call_ground.i 901    895     549 11200   901    895     547 11100   901    897     393 11200   901    895     594 12800  
array-examples/standard_compare_true-unreach-call_ground.i 901    896     478 8900   901    896     482 11000   901    897     354 14100   901    896     484 11200  
array-examples/standard_copy1_true-unreach-call_ground.i 901    896     499 11400   901    896     492 11100   901    898     376 11000   901    896     593 9980  
array-examples/standard_copy2_true-unreach-call_ground.i 901    896     518 13600   901    896     520 11600   901    897     391 10600   901    896     660 12900  
array-examples/standard_copy3_true-unreach-call_ground.i 901    895     554 11700   901    895     548 10800   901    897     416 13200   901    895     726 11600  
array-examples/standard_copy4_true-unreach-call_ground.i 901    895     552 12600   901    895     553 14200   901    897     441 10700   901    895     709 10800  
array-examples/standard_copy5_true-unreach-call_ground.i 901    895     628 11300   901    895     631 11200   901    897     454 12000   901    894     792 14100  
array-examples/standard_copy6_true-unreach-call_ground.i 901    894     743 11700   901    894     729 11600   901    897     461 9760   901    894     831 12800  
array-examples/standard_copy7_true-unreach-call_ground.i 901    893     741 12900   901    894     731 14100   901    896     484 10900   901    894     850 11600  
array-examples/standard_copy8_true-unreach-call_ground.i 901    894     740 12000   901    893     733 11900   901    897     488 11100   901    893     840 13900  
array-examples/standard_copy9_true-unreach-call_ground.i 901    893     751 13300   901    893     747 11000   901    897     512 9920   901    893     846 12500  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    896     498 10700   901    896     501 11700   901    897     368 9700   901    896     514 11500  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    896     513 11700   901    896     493 11400   901    898     369 10800   901    896     519 11100  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    896     494 11600   901    896     500 12100   901    897     369 10600   901    896     508 9840  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    896     491 11700   901    896     492 11200   901    897     368 11200   901    896     500 12700  
array-examples/standard_find_true-unreach-call_ground.i 901    896     433 11300   901    896     432 12000   901    897     343 10600   901    896     557 11000  
array-examples/standard_init1_true-unreach-call_ground.i 901    896     410 10900   901    897     425 10700   901    898     344 13000   901    897     418 12000  
array-examples/standard_init2_true-unreach-call_ground.i 901    896     430 10900   901    896     431 11300   901    897     340 11700   901    897     456 11400  
array-examples/standard_init3_true-unreach-call_ground.i 901    896     441 12700   901    896     435 11500   901    897     357 11000   901    896     468 11300  
array-examples/standard_init4_true-unreach-call_ground.i 901    896     447 10800   901    896     445 11000   901    897     361 11100   901    897     460 13600  
array-examples/standard_init5_true-unreach-call_ground.i 901    896     448 13500   901    896     445 9970   901    898     335 10500   901    896     474 12700  
array-examples/standard_init6_true-unreach-call_ground.i 901    896     462 12300   901    897     453 10600   901    897     353 11300   901    896     476 10500  
array-examples/standard_init7_true-unreach-call_ground.i 901    896     458 11800   901    897     466 10700   901    897     355 11200   901    896     491 10900  
array-examples/standard_init8_true-unreach-call_ground.i 901    896     467 11000   901    896     477 13900   901    897     352 10700   901    896     496 10500  
array-examples/standard_init9_true-unreach-call_ground.i 901    896     482 11300   901    896     477 11500   901    897     346 12200   901    896     493 10900  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    896     443 11700   901    896     427 10700   901    897     349 11100   901    896     433 12400  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    896     435 11200   901    896     429 11100   901    897     353 12300   901    896     443 12900  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    896     424 11700   901    897     425 11100   901    897     342 11700   901    897     725 11000  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    895     554 9800   901    896     541 12000   901    897     444 11800   901    895     548 11000  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    896     592 11800   901    895     588 10400   901    897     461 9500   901    895     598 11500  
array-examples/standard_partition_true-unreach-call_ground.i 901    896     540 11300   901    896     521 11900   901    897     402 10800   901    895     525 12400  
array-examples/standard_password_true-unreach-call_ground.i 901    896     488 10700   901    896     482 13200   901    897     356 11900   901    896     478 14100  
array-examples/standard_reverse_true-unreach-call_ground.i 901    896     470 14000   901    896     472 11900   901    898     369 12400   901    896     571 11100  
array-examples/standard_running_true-unreach-call.i 901    897     510 10900   901    896     505 12100   901    897     391 11500   901    895     501 10700  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    897     1010 10300   901    898     1280 9210   112    110     659 1350   111    108     748 1100  
array-examples/standard_seq_init_true-unreach-call_ground.i 901    897     466 11800   901    896     466 10700   901    897     337 12500   901    896     535 11300  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    896     516 11300   901    896     519 11500   901    897     386 10800   901    896     549 12400  
array-examples/standard_strcpy_original_true-unreach-call.i 901    896     504 10800   901    896     496 10600   901    897     356 11900   901    896     610 11800  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    896     492 11400   901    896     493 10800   901    897     362 11400   901    896     621 10800  
array-examples/standard_two_index_01_true-unreach-call.i 901    897     362 12500   901    896     362 10300   901    898     358 13800   901    897     446 12700  
array-examples/standard_two_index_02_true-unreach-call.i 901    896     498 11500   901    897     495 10700   901    897     380 13300   901    896     578 12300  
array-examples/standard_two_index_03_true-unreach-call.i 901    897     357 11800   901    897     352 13300   901    897     372 10900   901    897     498 11000  
array-examples/standard_two_index_04_true-unreach-call.i 901    896     490 10700   901    896     496 10900   901    897     376 13900   901    897     604 11600  
array-examples/standard_two_index_05_true-unreach-call.i 901    896     500 12900   901    896     489 12400   901    897     372 10600   901    896     601 11600  
array-examples/standard_two_index_06_true-unreach-call.i 901    896     348 9800   901    897     348 11200   901    897     378 10300   901    897     492 10400  
array-examples/standard_two_index_07_true-unreach-call.i 901    896     489 13100   901    896     502 12700   901    897     369 11100   901    897     628 11500  
array-examples/standard_two_index_08_true-unreach-call.i 901    896     491 11500   901    896     498 11800   901    897     369 11400   901    896     615 12200  
array-examples/standard_two_index_09_true-unreach-call.i 901    896     493 13200   901    896     492 11300   901    897     377 10300   901    896     621 11100  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 911    905     402 11400   901    895     399 11100   907    902     326 10500   901    895     546 10800  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    896     596 11900   901    895     613 11100   901    897     438 12500   901    896     698 11100  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    897     397 8980   901    896     402 11400   901    898     354 10300   901    897     430 10900  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 901    895     386 11100   91.5  87.5   15000 467   901    898     357 12100   901    896     393 12000  
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    896     476 10400   901    897     462 11600   901    897     415 10900   901    896     486 11600  
array-industry-pattern/array_range_init_false-unreach-call.i 901    896     363 12100   85.4  82.0   15000 563   901    897     345 11000   901    896     444 13000  
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    896     506 11200   901    896     511 10700   901    897     515 11100   901    895     516 11700  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    893     514 10200   901    895     502 10600   901    893     525 11000   901    894     521 12900  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    896     486 12900   901    895     501 11100   901    897     417 10300   901    896     476 11800  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    896     518 13200   901    896     525 8950   901    897     418 11700   901    895     524 11200  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 901    895     433 11400   86.7  82.2   15000 608   901    897     357 12400   901    895     454 9840  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 901    896     474 11400   86.5  82.4   15000 545   901    897     505 11000   901    896     560 11700  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    896     532 11300   901    896     531 11700   901    897     425 10800   901    896     606 10600  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 901    896     469 11900   88.8  84.6   15000 472   901    898     540 12300   901    896     554 12600  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    894     532 13800   90.5  85.6   15000 587   901    897     399 8570   901    894     790 11000  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 901    863     3690 10600   97.1  92.8   15000 512   901    897     727 10600   901    862     3020 11000  
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    896     372 11600   91.5  87.4   15000 490   901    897     353 9960   901    897     384 11600  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    896     536 11400   92.0  87.9   15000 441   901    897     519 10700   901    896     569 10800  
array-industry-pattern/array_shadowinit_true-unreach-call.i 7.28 5.50  265 94.1 7.32 5.44  267 78.8 911    906     337 9560   2.28 1.08  222 20.4
reducercommutativity/rangesum05_false-unreach-call.i 29.3  27.2   660 216   32.0  29.9   649 244   29.9  27.8   656 207   28.3  25.9   739 232  
reducercommutativity/rangesum10_false-unreach-call.i 132    129     709 1060   142    138     786 962   129    126     701 1030   120    117     762 914  
reducercommutativity/rangesum20_false-unreach-call.i 873    868     1590 6230   901    897     1250 8060   901    896     1210 6040   760    755     1750 6250  
reducercommutativity/rangesum40_false-unreach-call.i 901    896     874 6100   901    896     735 7570   903    898     805 6500   901    896     817 6580  
reducercommutativity/rangesum60_false-unreach-call.i 901    897     799 9140   911    907     974 7110   901    896     832 7220   901    897     783 7090  
reducercommutativity/rangesum_false-unreach-call.i 901    891     709 8440   905    894     591 6380   901    891     721 8210   901    892     711 7200  
reducercommutativity/avg05_true-unreach-call.i 902    899     4890 8010   902    898     5500 7350   902    899     2100 7020   902    898     6480 6420  
reducercommutativity/avg10_true-unreach-call.i 901    898     1570 7010   901    898     2030 8650   902    898     2990 8550   902    898     10900 7460  
reducercommutativity/avg20_true-unreach-call.i 902    897     1480 11100   902    897     1480 8900   901    897     1690 10500   901    897     1550 9030  
reducercommutativity/avg40_true-unreach-call.i 901    895     1280 8240   902    896     1320 10500   902    895     1140 11300   902    896     1520 6510  
reducercommutativity/avg60_true-unreach-call.i 912    905     988 12100   901    893     954 10100   901    895     868 10700   903    894     1070 10300  
reducercommutativity/avg_true-unreach-call.i 901    893     542 8240   901    893     530 9440   901    892     528 9240   904    894     578 9490  
reducercommutativity/max05_true-unreach-call_true-termination.i 901    898     625 8000   901    898     557 11700   901    898     618 11100   901    898     701 8500  
reducercommutativity/max10_true-unreach-call_true-termination.i 901    898     628 7430   901    898     635 8040   901    898     759 7920   901    898     636 8460  
reducercommutativity/max20_true-unreach-call.i 901    896     745 6340   901    897     739 7130   901    897     749 8200   901    897     800 7520  
reducercommutativity/max40_true-unreach-call.i 904    898     2770 9480   901    895     1280 9970   838    829     1010 8070   901    895     1000 9010  
reducercommutativity/max60_true-unreach-call.i 901    894     636 12600   901    893     635 11600   901    893     584 11100   901    893     693 11700  
reducercommutativity/max_true-unreach-call.i 902    891     805 12100   901    892     723 10800   901    890     760 11400   902    891     767 12500  
reducercommutativity/sep05_true-unreach-call.i 902    899     1680 7690   902    899     1670 6560   903    900     2850 7020   903    900     2770 6370  
reducercommutativity/sep10_true-unreach-call.i 903    899     2800 6400   903    900     2830 8000   904    900     3650 6240   904    900     3390 6870  
reducercommutativity/sep20_true-unreach-call.i 902    897     1780 7100   902    897     1370 6530   901    896     1400 7540   902    897     1780 5870  
reducercommutativity/sep40_true-unreach-call.i 901    894     1280 8410   901    894     1260 9620   901    895     1010 10600   901    894     1440 9810  
reducercommutativity/sep60_true-unreach-call.i 901    894     842 10900   901    894     859 10600   901    894     871 10300   912    905     974 10900  
reducercommutativity/sep_true-unreach-call.i 901    891     915 10200   901    890     847 11200   901    891     843 11800   901    891     812 11800  
reducercommutativity/sum05_true-unreach-call_true-termination.i 902    899     2240 9750   901    898     2410 12600   902    899     2380 12800   902    899     1730 11000  
reducercommutativity/sum10_true-unreach-call.i 901    898     1280 10000   901    898     971 9870   901    898     1370 10700   902    898     1490 10400  
reducercommutativity/sum20_true-unreach-call.i 901    897     1140 8390   902    897     1050 6760   901    897     2460 11400   901    897     1920 9740  
reducercommutativity/sum40_true-unreach-call.i 901    895     1490 9220   901    895     1150 10100   901    895     1120 11200   902    896     2080 8150  
reducercommutativity/sum60_true-unreach-call.i 901    894     745 10900   901    894     743 11200   901    894     623 10900   901    894     847 10600  
reducercommutativity/sum_true-unreach-call.i 901    893     601 12600   901    892     618 9470   903    894     584 13600   901    892     663 12700  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 2.96 1.30  261 28.0 2.96 1.25  266 27.4 3.01 1.28  269 25.1 2.94 1.26  270 24.5
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    897     330 11700   901    898     333 10300   901    897     339 10600   901    897     331 12200  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 2.94 1.27  267 26.9 2.94 1.26  266 29.5 3.05 1.31  270 29.2 2.98 1.31  262 26.8
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 2.98 1.31  269 24.2 3.02 1.28  264 27.3 3.03 1.30  268 27.1 3.10 1.38  270 27.3
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 2.15 .993 236 20.0 2.22 1.04  236 22.9 2.13 .990 235 20.7 2.26 .998 240 22.9
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 2.27 .959 226 17.7 2.19 .961 222 21.0 2.34 1.03  229 21.5 2.17 .953 225 21.1
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 2.21 .955 223 22.2 2.16 .949 226 21.2 2.14 .953 224 17.8 2.16 .946 224 18.9
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 2.29 1.03  239 19.9 2.23 1.04  241 20.5 2.18 1.01  234 21.0 2.35 1.06  238 22.1
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 5.23 3.41  285 54.7 4.59 3.02  279 49.0 5.36 3.69  302 65.2 5.49 3.65  293 50.6
bitvector/jain_1_true-unreach-call_true-no-overflow.i 2.17 .980 222 20.4 2.12 .964 223 21.7 2.11 .953 223 19.7 2.17 .953 225 17.9
bitvector/jain_2_true-unreach-call_true-no-overflow.i 2.31 1.01  225 19.0 2.11 .909 224 18.8 2.19 .972 226 18.9 2.18 1.02  223 18.4
bitvector/jain_4_true-unreach-call_true-no-overflow.i 2.15 .967 223 18.8 2.21 .964 225 21.0 2.11 .930 226 18.4 2.10 .919 223 21.8
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    897     307 11700   901    897     313 13200   901    897     322 11400   901    897     314 12300  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 2.06 .918 222 19.4 2.22 .919 225 20.4 2.07 .923 225 21.0 2.18 .991 222 19.9
bitvector/jain_7_true-unreach-call_true-no-overflow.i 2.17 .921 226 18.7 2.21 1.01  227 20.1 2.17 .973 230 19.7 2.13 .922 223 18.9
bitvector/modulus_true-unreach-call_true-no-overflow.i 3.27 2.07  279 31.6 3.36 2.11  275 36.1 3.32 2.08  275 32.0 3.24 2.06  275 30.5
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 2.68 1.27  229 25.9 2.59 1.25  223 24.6 2.58 1.27  227 23.4 2.60 1.26  227 27.4
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 2.90 1.58  230 29.2 2.87 1.57  234 28.1 2.83 1.55  232 27.0 2.93 1.57  233 30.3
bitvector/parity_true-unreach-call_true-no-overflow.i 2.25 .999 227 20.8 2.16 .941 223 21.6 2.15 .946 225 19.1 2.14 .949 221 19.5
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.52 2.28  365 28.1 3.44 2.23  363 31.9 3.42 2.16  368 29.3 3.42 2.19  369 32.2
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 8.78 5.65  345 85.5 8.30 5.22  347 86.8 9.68 6.37  344 98.8 8.83 5.63  347 93.3
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 14.1  10.8   320 181   13.5  10.0   329 156   13.1  9.61  317 135   12.9  9.50  316 146  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 3.56 1.50  277 30.7 3.69 1.48  278 32.5 3.51 1.48  278 31.1 3.77 1.65  277 32.5
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 7.73 4.88  333 89.3 9.78 6.76  340 100   12.0  8.91  342 125   12.1  8.89  349 127  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 5.29 2.87  289 55.8 5.31 2.96  286 60.2 5.14 2.82  288 54.3 5.33 2.90  288 53.2
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 3.48 1.46  278 32.7 3.55 1.53  276 34.2 3.82 1.61  279 35.4 3.48 1.45  275 29.3
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 16.4  14.2   614 175   26.8  24.0   627 254   19.9  17.5   521 173   16.4  14.2   473 183  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 696    691     824 6260   55.5  52.3   387 673   843    838     925 6650   902    894     1010 7840  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 6.10 3.70  294 66.1 6.16 3.68  296 55.3 6.11 3.65  292 63.0 6.05 3.71  295 69.8
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 14.8  11.7   319 169   7.58 5.02  300 72.2 7.83 5.15  301 84.7 15.6  12.4   319 178  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 7.59 5.19  384 71.9 4.90 2.67  341 44.8 8.27 5.67  389 88.0 14.4  11.5   436 157  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 4.74 2.56  332 43.6 4.86 2.67  340 44.5 4.76 2.63  336 45.1 4.73 2.56  335 41.4
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 3.36 1.33  282 31.9 3.31 1.34  290 30.1 3.43 1.33  284 29.4 3.48 1.37  289 30.4
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 5.18 1.75  298 46.8 5.00 1.69  300 42.3 4.78 1.67  284 42.7 4.46 1.54  275 41.6
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 4.63 1.60  279 38.8 4.63 1.62  281 41.2 4.51 1.58  278 37.4 4.65 1.64  279 38.3
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 3.18 1.41  274 29.3 3.26 1.41  273 30.6 3.40 1.42  280 30.5 3.23 1.41  272 29.0
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 4.75 1.69  277 36.4 4.52 1.58  280 39.6 4.50 1.59  280 34.4 4.65 1.65  289 40.5
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.04 .938 220 17.8 2.11 .922 221 20.8 2.12 .927 222 18.3 2.01 .905 223 20.3
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.03 .933 220 19.5 2.22 1.03  222 19.2 2.10 .928 226 21.1 2.16 .995 220 19.4
bitvector-regression/integerpromotion_false-unreach-call.c 2.13 .952 226 21.5 2.09 .934 222 18.8 2.18 .959 225 20.7 2.43 1.06  234 18.5
bitvector-regression/recHanoi03_false-unreach-call.c 2.04 .890 219 16.6 2.16 .912 228 18.7 2.03 .889 213 18.3 2.12 .898 218 17.5
bitvector-regression/signextension2_false-unreach-call.c 2.14 .968 225 21.5 2.09 .929 220 18.9 2.13 .937 225 22.4 2.20 .949 222 18.0
bitvector-regression/signextension_false-unreach-call.c 2.19 .944 226 19.5 2.20 .996 224 18.9 2.21 .965 223 18.8 2.16 1.01  221 18.7
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.06 .918 222 20.0 2.08 .926 221 20.8 2.08 .909 220 19.8 2.04 .910 222 18.0
bitvector-regression/integerpromotion_true-unreach-call.c 2.16 .953 226 18.6 2.12 .941 224 18.8 2.14 .902 222 18.4 2.26 .956 228 20.9
bitvector-regression/signextension2_true-unreach-call.c 2.04 .912 220 17.0 2.07 .910 221 20.8 2.27 1.01  224 19.1 2.02 .915 225 18.3
bitvector-regression/signextension_true-unreach-call.c 2.19 .989 225 22.8 2.06 .938 222 17.0 2.26 1.03  222 20.7 2.14 .948 228 17.9
bitvector-loops/diamond_false-unreach-call2.i 2.39 1.06  264 22.1 2.48 1.06  267 25.0 2.49 1.12  267 24.3 2.56 1.07  273 22.0
bitvector-loops/overflow_false-unreach-call1.i 901    897     295 12800   901    897     308 10500   901    897     298 11200   901    897     301 11600  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 3.07 1.52  263 29.4 3.03 1.54  261 28.8 3.47 1.84  271 34.7 3.12 1.62  266 34.2
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.04 3.31  342 61.4 6.84 3.22  343 56.0 6.67 3.11  342 63.8 7.37 3.33  346 60.0
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.16 1.93  286 41.9 4.33 1.98  283 37.8 4.21 1.91  288 43.1 4.24 1.95  287 42.1
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.22 2.49  295 49.0 5.20 2.49  298 50.2 5.16 2.49  300 46.5 5.19 2.50  296 56.8
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 3.70 1.55  286 34.7 3.93 1.66  287 35.7 3.76 1.58  282 32.1 3.79 1.56  285 32.6
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.51 3.20  319 58.9 6.54 3.13  321 72.9 6.60 3.18  320 60.3 6.71 3.18  324 57.2
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 901    893     457 12100   901    895     463 12400   901    894     475 10000   901    894     455 12500  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 37.8  33.4   323 502   182    175     422 2140   204    197     430 2690   17.7  14.4   299 201  
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.18 2.56  297 48.0 5.27 2.52  298 45.3 5.18 2.55  297 46.7 5.33 2.52  292 49.7
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2.94 1.23  267 24.5 2.83 1.22  266 24.3 2.84 1.24  265 25.9 2.88 1.21  266 23.9
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.48 1.44  271 31.3 3.42 1.44  274 29.9 3.43 1.44  272 31.6 3.39 1.43  274 30.8
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 4.92 2.27  295 42.3 4.68 2.18  300 46.1 4.60 2.14  294 47.9 4.55 2.14  293 46.8
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 5.08 2.34  303 51.5 4.79 2.31  293 43.5 5.01 2.32  304 51.5 5.02 2.30  299 44.7
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 5.14 2.53  307 44.8 5.21 2.58  306 57.3 5.11 2.52  304 45.8 5.13 2.53  306 49.8
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 5.13 2.36  302 45.8 4.86 2.33  298 46.3 4.98 2.33  300 45.0 5.04 2.32  302 46.4
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 3.21 1.28  273 29.6 3.12 1.25  274 30.2 3.06 1.26  274 28.7 3.28 1.29  274 30.8
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 8.66 5.65  308 107   8.61 5.61  305 89.9 8.74 5.66  306 94.4 8.75 5.69  311 83.6
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 5.93 3.43  293 53.5 5.98 3.49  293 58.2 5.95 3.50  291 58.2 6.10 3.53  290 59.7
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 4.48 1.92  295 38.0 4.39 1.94  296 44.6 4.44 1.95  296 44.6 4.40 1.91  298 36.6
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 3.57 1.41  286 30.4 3.45 1.38  280 32.9 3.51 1.37  281 29.5 3.51 1.43  282 29.6
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 3.96 1.72  287 34.3 3.99 1.75  287 34.2 4.01 1.68  289 41.2 3.89 1.67  287 35.4
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 3.99 1.64  282 33.3 3.97 1.64  290 35.3 3.83 1.64  285 35.0 3.78 1.63  283 31.3
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 2.93 1.16  270 23.1 2.80 1.16  269 25.7 2.85 1.15  266 25.5 2.84 1.18  270 25.2
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 4.78 2.48  287 45.1 4.80 2.43  287 49.8 4.88 2.46  286 46.8 4.66 2.41  286 49.8
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 8.66 5.79  313 81.3 8.50 5.63  308 102   8.46 5.67  310 91.9 8.47 5.56  306 88.4
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 6.15 3.46  304 58.1 5.98 3.38  303 58.5 6.06 3.53  302 56.7 5.81 3.35  308 57.2
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 87.1  83.2   403 871   23.4  19.8   328 323   901    894     1010 9620   901    895     811 7530  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 250    245     541 2500   29.3  26.1   329 340   901    893     861 7370   901    893     851 6700  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 2.81 1.22  266 25.2 2.84 1.22  268 24.6 2.81 1.21  266 25.1 2.95 1.25  279 23.5
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 2.40 1.08  223 20.1 2.28 1.01  225 18.6 2.22 .990 223 22.4 2.28 .981 221 23.6
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 267    263     500 2260   911    904     864 7410   471    465     794 4500   26.7  23.4   331 309  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 15.1  11.9   319 166   8.20 5.54  304 91.9 367    361     619 3590   8.25 5.56  307 89.5
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 901    895     838 8150   111    107     491 1340   622    616     811 6500   47.3  43.6   348 518  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 902    895     1100 5680   901    894     1210 9450   912    906     1540 7710   901    894     1050 7890  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 3.43 1.44  275 31.8 3.38 1.39  276 31.9 3.45 1.44  278 34.2 3.34 1.40  275 28.2
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 185    180     547 1640   535    528     851 4340   101    97.3   490 1200   23.8  20.4   329 265  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.72 1.13  266 22.6 2.76 1.21  268 23.6 2.59 1.11  264 24.9 2.53 1.08  266 21.1
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.65 1.14  267 23.6 2.79 1.15  271 24.7 2.66 1.13  266 24.4 2.75 1.20  267 24.9
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 2.33 1.05  226 21.2 2.29 .972 221 20.3 2.30 .981 221 22.6 2.28 .955 219 21.5
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 2.32 .977 225 23.8 2.30 1.01  222 23.0 2.40 1.00  223 20.0 2.33 .981 224 22.4
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 2.30 1.02  223 22.5 2.24 .988 224 20.1 2.49 1.01  225 20.8 2.33 1.02  226 23.3
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 2.38 1.01  224 22.2 2.35 1.04  224 21.5 2.38 1.04  223 23.8 2.30 1.03  225 20.2
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 2.41 1.03  230 23.2 2.32 1.02  224 20.7 2.33 1.03  223 22.5 2.43 1.03  224 22.8
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 2.37 1.04  225 20.5 2.43 1.05  226 24.1 2.40 1.03  226 22.2 2.40 1.03  224 22.0
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.12 .946 222 18.5 2.23 .971 220 21.1 2.14 .952 223 19.8 2.25 .964 222 20.3
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.23 .978 226 20.5 2.13 .941 220 20.7 2.24 .963 220 21.9 2.20 .953 222 18.2
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.31 1.02  225 19.4 2.27 .977 221 21.8 2.34 .971 222 22.8 2.26 .956 221 20.2
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 2.22 .960 222 20.5 2.22 .959 222 21.0 2.44 .995 232 20.9 2.50 .973 233 22.1
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 2.30 .990 222 19.1 2.31 .967 224 19.9 2.45 1.05  228 24.4 2.24 .991 225 21.1
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    884     675 13800   901    884     676 10500   901    883     675 9560   901    882     710 9820  
ntdrivers/diskperf_false-unreach-call.i.cil.c 909    902     6630 7720   901    894     6610 5870   901    893     6570 8150   901    892     6750 9060  
ntdrivers/floppy_false-unreach-call.i.cil.c 912    905     2080 6180   912    905     2090 5490   902    883     1190 6670   754    739     1280 5400  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 12.2  8.92  343 112   11.9  8.52  339 114   6.38 3.07  343 55.5 8.44 5.18  354 78.3
ntdrivers/parport_false-unreach-call.i.cil.c 961    394     14800 6710   968    407     14900 7020   968    413     14800 7060   968    413     15000 6060  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 7.45 2.62  339 57.0 7.27 2.54  334 57.5 7.47 2.68  343 60.4 7.60 2.71  340 63.3
ntdrivers/diskperf_true-unreach-call.i.cil.c 901    894     6750 8920   908    899     6830 8920   911    904     6590 6330   908    902     6630 6190  
ntdrivers/floppy2_true-unreach-call.i.cil.c 902    892     3490 11800   902    891     3890 9510   903    892     3680 9770   903    892     3970 11400  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 912    905     2080 6400   912    905     2090 6400   901    883     1120 6610   346    334     911 2620  
ntdrivers/parport_true-unreach-call.i.cil.c 968    406     14900 6530   968    410     14800 6620   943    405     15000 7090   968    424     15000 7030  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 40.8  37.1   358 469   52.9  49.4   363 484   902    898     1260 12700   10.2  6.83  324 117  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 5.89 3.32  301 69.9 5.93 3.32  300 63.7 901    898     1260 11500   29.3  26.2   450 377  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 4.06 1.67  295 33.7 4.13 1.70  294 34.6 904    900     1460 10300   8.21 5.23  315 83.5
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 10.9  7.61  327 112   10.7  7.34  329 105   901    897     1270 9780   7.31 4.35  321 85.0
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 7.38 4.43  318 72.8 7.36 4.46  320 73.6 5.70 2.72  315 52.0 5.53 2.52  315 46.9
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 5.80 2.77  315 46.8 6.27 3.17  321 59.0 5.22 2.33  310 49.6 5.35 2.30  310 51.8
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 7.95 5.15  318 82.7 7.93 4.93  321 72.1 5.11 2.32  312 45.1 5.23 2.19  318 50.9
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 7.86 5.03  320 80.4 7.82 4.99  321 90.7 5.45 2.39  333 50.5 5.16 2.25  308 47.3
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 9.45 6.51  322 103   9.22 6.49  323 98.4 904    900     1590 8860   5.37 2.64  300 47.9
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 5.67 2.98  301 56.3 5.51 2.90  305 54.6 904    900     1920 8290   903    899     1230 9760  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 5.26 2.69  299 49.3 5.38 2.71  298 41.1 903    899     1550 9430   902    898     1650 11600  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 902    898     1450 9050   902    898     1450 9020   903    899     1700 8830   901    897     1110 12200  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 3.81 1.51  292 33.3 3.84 1.49  288 29.5 902    899     1430 11400   6.64 3.66  303 64.5
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 12.0  8.66  336 123   13.9  10.6   334 152   6.52 3.40  316 65.1 6.83 3.72  319 73.6
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 8.49 5.61  338 94.2 28.0  24.2   359 304   901    899     1280 12400   901    897     1100 10900  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 4.97 2.31  298 46.2 5.03 2.33  302 52.2 901    898     1170 11800   902    899     1270 11100  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 8.79 5.93  340 104   8.80 6.03  328 88.1 903    899     2130 10100   902    898     1160 9890  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 3.74 1.43  296 31.6 3.73 1.46  295 34.3 901    898     1340 10200   903    899     1290 9110  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 8.87 5.88  332 100   8.80 6.04  334 91.4 902    899     1500 10200   4.43 1.80  298 39.2
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 4.44 2.06  294 40.4 4.52 2.04  298 38.4 4.80 2.13  304 44.0 11.3  8.35  316 126  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 22.7  19.5   341 286   43.5  40.0   359 475   903    899     1460 8190   7.52 4.78  311 78.6
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 9.09 6.37  304 97.2 9.28 6.49  307 115   902    898     1520 9530   13.9  10.8   317 164  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 5.85 3.19  298 57.8 5.61 3.11  298 53.6 902    898     1220 7680   21.9  18.4   328 242  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 17.1  14.0   336 227   17.1  13.7   324 209   905    900     1480 9520   5.15 2.45  302 52.3
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 904    900     5010 10200   31.1  27.7   339 361   901    898     1110 12000   902    897     1150 9910  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 9.62 6.78  310 103   9.51 6.73  310 110   16.7  13.2   329 202   40.7  37.6   386 506  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 17.8  14.4   326 162   12.6  9.48  322 148   5.86 2.99  313 53.9 902    897     839 11800  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 6.07 3.19  305 60.8 5.86 3.13  306 55.8 4.82 2.11  304 44.6 32.5  28.5   349 415  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 7.54 4.79  311 63.9 8.75 6.03  309 95.7 5.92 3.04  313 57.5 87.0  84.0   426 1280  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 6.94 4.33  305 79.8 7.15 4.30  308 87.7 902    897     1250 12200   17.1  13.8   329 195  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 4.91 2.42  294 43.8 4.97 2.36  296 46.2 903    898     1310 7040   5.03 2.34  306 48.2
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 33.2  29.8   343 384   10.8  7.84  352 111   72.5  68.2   371 1010   12.6  9.21  321 128  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 6.60 3.71  309 58.6 13.2  10.0   321 178   901    898     1220 11900   6.15 3.27  307 66.8
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 14.2  10.9   316 152   11.7  8.82  313 134   907    902     1650 10600   14.7  11.3   332 164  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 10.3  7.34  319 114   10.2  7.29  319 107   901    897     811 10000   25.4  22.5   340 370  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 18.4  15.4   332 206   903    898     5060 8500   5.42 2.61  309 56.0 26.3  22.4   353 335  
eca-rers2012/Problem01_label15_false-unreach-call.c 9.46 4.09  432 82.0 9.21 4.04  432 81.2 10.0  4.14  443 81.4 9.64 4.05  426 75.8
eca-rers2012/Problem01_label20_false-unreach-call.c 17.7  10.0   556 154   18.6  10.4   554 148   18.4  10.4   557 153   18.1  10.9   539 149  
eca-rers2012/Problem01_label21_false-unreach-call.c 9.92 4.21  435 83.9 9.76 4.20  433 85.1 9.64 4.23  429 85.3 10.4  4.57  435 84.9
eca-rers2012/Problem01_label32_false-unreach-call.c 19.2  11.2   554 173   19.0  11.5   562 182   18.6  10.5   563 199   18.6  11.2   562 159  
eca-rers2012/Problem01_label33_false-unreach-call.c 13.4  6.54  527 119   13.3  6.53  506 107   14.9  7.03  549 113   14.3  6.64  519 117  
eca-rers2012/Problem01_label35_false-unreach-call.c 9.83 4.06  454 94.0 10.2  4.25  443 90.2 9.83 4.16  436 91.2 10.7  4.29  449 77.0
eca-rers2012/Problem01_label37_false-unreach-call.c 13.4  6.15  534 115   14.1  7.08  503 127   13.2  6.29  506 116   13.4  6.24  521 133  
eca-rers2012/Problem01_label38_false-unreach-call.c 9.79 4.15  438 91.2 9.97 4.10  445 86.5 10.1  4.30  438 92.1 9.56 4.09  433 84.5
eca-rers2012/Problem01_label44_false-unreach-call.c 8.11 2.93  376 67.1 8.06 2.88  389 70.5 7.79 2.92  397 62.0 8.10 2.94  388 75.7
eca-rers2012/Problem01_label47_false-unreach-call.c 18.3  10.9   559 176   18.3  10.9   528 158   19.4  11.2   561 168   19.0  11.2   531 153  
eca-rers2012/Problem01_label50_false-unreach-call.c 10.1  4.32  440 92.4 9.91 4.25  440 84.8 9.70 4.20  438 86.2 9.56 4.32  431 87.0
eca-rers2012/Problem01_label56_false-unreach-call.c 14.9  7.08  545 127   13.2  6.39  543 120   12.5  6.84  499 106   14.3  6.55  523 125  
eca-rers2012/Problem01_label57_false-unreach-call.c 13.3  6.58  521 129   14.1  6.79  537 105   13.7  6.64  531 116   13.6  6.37  527 128  
eca-rers2012/Problem02_label13_false-unreach-call.c 6.83 2.19  333 60.9 6.36 2.06  316 58.1 6.32 2.09  329 54.2 6.99 2.42  331 51.6
eca-rers2012/Problem02_label16_false-unreach-call.c 6.19 2.09  325 56.2 6.08 2.05  315 48.4 6.19 2.02  319 55.1 6.37 2.10  327 53.0
eca-rers2012/Problem02_label43_false-unreach-call.c 6.16 2.03  324 49.4 6.42 2.15  317 55.5 6.17 2.02  318 48.4 6.24 2.13  315 45.7
eca-rers2012/Problem02_label44_false-unreach-call.c 6.37 2.18  320 50.8 6.21 2.07  322 49.5 6.33 2.14  322 55.2 6.14 2.10  319 58.6
eca-rers2012/Problem02_label45_false-unreach-call.c 8.31 2.92  362 69.0 7.83 2.71  355 72.1 7.65 2.69  368 65.2 7.48 2.72  359 64.5
eca-rers2012/Problem02_label50_false-unreach-call.c 7.62 2.77  359 69.2 7.59 2.73  362 66.9 7.36 2.71  353 68.5 7.41 2.67  361 65.1
eca-rers2012/Problem02_label59_false-unreach-call.c 7.58 2.75  379 65.5 7.51 2.70  364 61.2 7.62 2.79  357 73.3 7.63 2.71  368 57.3
eca-rers2012/Problem03_label09_false-unreach-call.c 35.0  22.4   760 271   33.5  22.2   748 287   34.1  21.5   732 273   34.6  21.3   738 297  
eca-rers2012/Problem03_label13_false-unreach-call.c 23.9  11.2   704 186   24.0  11.9   701 189   23.7  12.2   706 199   23.0  11.1   693 180  
eca-rers2012/Problem03_label26_false-unreach-call.c 17.6  6.71  628 132   16.9  6.10  640 137   17.9  6.47  644 127   17.2  6.10  635 144  
eca-rers2012/Problem03_label27_false-unreach-call.c 23.9  11.4   693 180   21.0  10.8   683 182   26.4  12.2   724 206   23.2  12.1   684 183  
eca-rers2012/Problem03_label28_false-unreach-call.c 22.0  10.7   692 189   23.3  11.1   704 188   25.6  12.5   697 190   21.8  10.9   688 176  
eca-rers2012/Problem03_label31_false-unreach-call.c 24.0  11.7   702 212   24.0  11.8   713 197   25.0  12.0   714 204   24.6  11.6   685 187  
eca-rers2012/Problem03_label35_false-unreach-call.c 38.9  25.8   768 311   38.1  25.6   762 272   34.4  22.8   741 281   38.7  26.9   783 351  
eca-rers2012/Problem03_label37_false-unreach-call.c 23.1  11.2   694 211   22.4  10.8   700 198   24.3  11.2   703 191   23.0  11.3   700 171  
eca-rers2012/Problem03_label39_false-unreach-call.c 32.6  20.5   729 282   33.0  20.2   736 260   32.0  19.4   769 257   34.5  21.8   751 261  
eca-rers2012/Problem03_label43_false-unreach-call.c 23.7  11.6   704 188   22.9  11.1   702 175   24.8  12.0   704 196   25.0  12.2   717 195  
eca-rers2012/Problem03_label45_false-unreach-call.c 30.3  18.9   740 271   31.2  19.8   717 255   33.3  21.2   739 280   32.7  20.6   712 250  
eca-rers2012/Problem03_label50_false-unreach-call.c 25.1  11.9   720 218   23.9  11.6   690 191   22.8  11.4   704 208   23.5  12.6   678 167  
eca-rers2012/Problem03_label52_false-unreach-call.c 38.0  25.2   753 308   39.3  25.9   777 300   35.6  23.7   763 296   35.4  25.1   768 304  
eca-rers2012/Problem04_label04_false-unreach-call.c 909    892     3770 7160   906    890     3780 7150   909    893     3710 6940   907    891     3830 8120  
eca-rers2012/Problem04_label06_false-unreach-call.c 908    892     3370 6270   906    887     5690 8980   910    894     3930 7200   908    891     5420 8960  
eca-rers2012/Problem04_label09_false-unreach-call.c 905    887     3640 7490   911    893     4820 7270   906    890     3670 7730   904    886     3710 7100  
eca-rers2012/Problem04_label11_false-unreach-call.c 904    886     3520 7810   903    887     3710 7860   903    886     3450 7250   905    888     3920 8250  
eca-rers2012/Problem04_label12_false-unreach-call.c 908    892     3670 6610   909    892     3690 5550   906    890     3690 6910   905    889     3720 9120  
eca-rers2012/Problem04_label13_false-unreach-call.c 905    887     3560 9450   908    890     6500 6820   912    896     6490 9690   909    891     4260 6480  
eca-rers2012/Problem04_label14_false-unreach-call.c 905    887     3980 7050   908    891     3950 7260   903    887     3990 7850   904    888     3950 7870  
eca-rers2012/Problem04_label15_false-unreach-call.c 910    893     5590 8440   908    892     5560 7680   903    886     3570 8150   909    891     5610 8730  
eca-rers2012/Problem04_label17_false-unreach-call.c 905    885     3890 7630   904    888     3690 7120   906    888     3720 7580   906    886     3670 6200  
eca-rers2012/Problem04_label18_false-unreach-call.c 909    889     3980 7340   906    887     4020 7670   905    888     4030 7670   908    892     4020 8730  
eca-rers2012/Problem04_label19_false-unreach-call.c 907    892     3010 7950   906    888     3280 6110   903    888     3410 7130   903    886     3070 6320  
eca-rers2012/Problem04_label26_false-unreach-call.c 909    893     5560 7920   906    889     4380 7520   912    898     6070 9280   911    893     5570 7170  
eca-rers2012/Problem04_label27_false-unreach-call.c 904    886     3660 7550   907    892     3660 7900   906    889     3060 6530   907    890     3700 6640  
eca-rers2012/Problem04_label31_false-unreach-call.c 904    888     3480 6790   905    887     3380 7120   905    887     3440 6920   904    887     3380 7620  
eca-rers2012/Problem04_label32_false-unreach-call.c 906    889     4320 7680   907    891     4350 7890   905    886     3860 6690   903    886     3450 6670  
eca-rers2012/Problem04_label35_false-unreach-call.c 904    887     4320 8810   905    889     4070 7620   908    891     4080 10200   910    893     4060 8870  
eca-rers2012/Problem04_label36_false-unreach-call.c 907    890     5330 7030   906    887     3640 7730   909    893     5430 7760   910    891     4500 6600  
eca-rers2012/Problem04_label38_false-unreach-call.c 904    889     2900 8220   909    888     4290 7410   906    889     4240 7120   904    887     3020 7180  
eca-rers2012/Problem04_label39_false-unreach-call.c 903    887     4420 7750   906    890     4450 7320   905    890     4430 7050   904    887     4400 8850  
eca-rers2012/Problem04_label40_false-unreach-call.c 905    890     3460 8380   906    886     4180 7990   906    891     4160 9060   904    888     4170 7690  
eca-rers2012/Problem04_label45_false-unreach-call.c 905    887     5060 7330   908    892     3130 6700   905    887     3200 7810   907    890     3340 7490  
eca-rers2012/Problem04_label52_false-unreach-call.c 905    887     3400 6420   907    889     3590 6790   903    886     2940 6830   904    888     3460 7380  
eca-rers2012/Problem04_label55_false-unreach-call.c 904    886     3420 6630   905    888     3680 7610   909    893     3560 10500   903    887     3580 7170  
eca-rers2012/Problem04_label58_false-unreach-call.c 912    896     5720 9020   911    893     5350 7880   909    893     5380 7090   904    887     3850 7290  
eca-rers2012/Problem05_label00_false-unreach-call.c 451    427     15000 3700   912    893     11500 10400   912    886     11500 8360   451    431     15000 4360  
eca-rers2012/Problem05_label01_false-unreach-call.c 726    698     3760 5590   908    884     8600 9350   738    712     3740 5560   912    890     12200 8220  
eca-rers2012/Problem05_label11_false-unreach-call.c 899    875     7250 6940   904    877     7260 8050   530    502     3100 3570   591    566     3410 3180  
eca-rers2012/Problem05_label13_false-unreach-call.c 908    884     9970 7730   912    889     14000 9030   912    892     13900 9020   274    253     15000 2290  
eca-rers2012/Problem05_label15_false-unreach-call.c 343    322     15000 2620   691    665     3950 5040   731    707     3860 5460   912    889     10800 10300  
eca-rers2012/Problem05_label18_false-unreach-call.c 673    650     4070 4460   912    887     5820 8710   912    890     8370 8660   729    703     3590 5240  
eca-rers2012/Problem05_label24_false-unreach-call.c 597    572     3690 4790   605    577     3370 3960   611    584     3400 4630   768    740     4360 8760  
eca-rers2012/Problem05_label26_false-unreach-call.c 304    280     15000 2980   303    280     15000 2240   297    276     15000 2960   912    890     8260 11500  
eca-rers2012/Problem05_label30_false-unreach-call.c 589    562     3220 4390   589    562     3240 4230   604    577     3450 5610   905    879     6960 9220  
eca-rers2012/Problem05_label32_false-unreach-call.c 841    815     6580 7330   874    848     6810 7000   912    890     7740 9390   878    849     6780 6430  
eca-rers2012/Problem05_label33_false-unreach-call.c 326    307     15000 3260   909    890     11700 8420   907    884     9650 8030   912    892     12000 7370  
eca-rers2012/Problem05_label36_false-unreach-call.c 912    890     11900 10700   912    887     11900 8700   569    546     15000 4730   912    891     11900 8800  
eca-rers2012/Problem05_label37_false-unreach-call.c 912    891     10200 7910   910    888     11500 8970   912    894     8640 11500   871    846     5350 6470  
eca-rers2012/Problem05_label38_false-unreach-call.c 912    892     14200 8550   912    892     12200 8130   912    890     12300 7820   911    890     12500 9080  
eca-rers2012/Problem05_label39_false-unreach-call.c 631    604     3310 4610   601    579     3320 3930   620    600     15000 5450   593    566     3370 5620  
eca-rers2012/Problem05_label40_false-unreach-call.c 606    582     3890 4230   298    280     15000 2320   304    283     15000 2180   273    252     15000 2180  
eca-rers2012/Problem05_label41_false-unreach-call.c 156    138     15000 1660   709    682     4720 5460   664    639     4700 4870   854    828     4720 7340  
eca-rers2012/Problem05_label44_false-unreach-call.c 911    886     9000 9380   381    362     15000 4260   909    885     9030 8310   912    888     9000 7390  
eca-rers2012/Problem05_label47_false-unreach-call.c 912    891     7900 7110   912    890     7930 7480   906    884     7910 6790   913    889     7890 8000  
eca-rers2012/Problem05_label48_false-unreach-call.c 912    889     10000 8650   911    888     10000 8500   904    880     10100 8660   910    887     10100 8150  
eca-rers2012/Problem05_label51_false-unreach-call.c 277    259     15000 2160   913    892     7280 10400   909    885     9040 9420   909    885     9020 8680  
eca-rers2012/Problem05_label55_false-unreach-call.c 616    591     3460 4350   791    764     4730 5940   912    893     13500 10300   322    298     15000 2620  
eca-rers2012/Problem05_label57_false-unreach-call.c 635    608     3440 4790   738    715     4930 5920   634    609     3930 5350   640    616     3390 4750  
eca-rers2012/Problem05_label58_false-unreach-call.c 910    889     6510 8500   912    888     6480 7970   912    893     12300 9600   912    891     12200 9060  
eca-rers2012/Problem06_label00_false-unreach-call.c 189    167     2600 1730   160    138     2590 1250   198    178     2720 1520   198    177     2710 1610  
eca-rers2012/Problem06_label01_false-unreach-call.c 158    137     2550 1670   159    138     2570 1430   184    160     3030 1320   180    157     3080 1630  
eca-rers2012/Problem06_label02_false-unreach-call.c 171    150     2630 1350   180    158     2610 1510   178    158     2620 1420   180    155     2660 1780  
eca-rers2012/Problem06_label04_false-unreach-call.c 198    172     2600 1380   179    159     2550 1550   187    164     2530 1460   196    173     2640 1660  
eca-rers2012/Problem06_label05_false-unreach-call.c 180    158     2960 1540   183    160     3050 1600   194    170     3030 1880   187    166     3030 1360  
eca-rers2012/Problem06_label09_false-unreach-call.c 165    142     2640 1480   165    144     2620 1330   169    147     2530 1280   169    146     2650 1260  
eca-rers2012/Problem06_label10_false-unreach-call.c 161    139     2570 1200   164    144     2550 1180   164    142     2550 1280   167    143     2510 1180  
eca-rers2012/Problem06_label11_false-unreach-call.c 178    156     3050 1690   181    157     3050 1410   142    121     2480 1070   185    162     3030 1430  
eca-rers2012/Problem06_label12_false-unreach-call.c 201    180     3060 1690   205    184     3090 1640   201    179     2980 1640   194    170     3120 1500  
eca-rers2012/Problem06_label15_false-unreach-call.c 260    237     4330 2280   146    125     2510 1170   144    120     2520 1480   152    131     2580 1180  
eca-rers2012/Problem06_label20_false-unreach-call.c 242    219     4470 2160   264    242     4500 2460   259    237     4500 2480   165    143     2610 1420  
eca-rers2012/Problem06_label21_false-unreach-call.c 164    143     2700 1310   158    138     2540 1260   148    128     2460 1070   146    123     2420 1320  
eca-rers2012/Problem06_label24_false-unreach-call.c 236    214     3110 2070   228    206     3110 1840   235    213     3140 1880   234    212     3110 2190  
eca-rers2012/Problem06_label27_false-unreach-call.c 152    131     2570 1210   183    160     2770 1350   168    146     2680 1210   183    159     2780 1430  
eca-rers2012/Problem06_label29_false-unreach-call.c 188    166     3010 1440   225    202     3000 1780   190    167     2990 1770   196    172     3010 1480  
eca-rers2012/Problem06_label33_false-unreach-call.c 148    126     2530 1300   158    132     2480 1100   153    133     2470 1060   168    144     2630 1180  
eca-rers2012/Problem06_label36_false-unreach-call.c 170    147     3180 1450   152    130     2590 1270   159    139     2660 1280   158    136     2620 1160  
eca-rers2012/Problem06_label37_false-unreach-call.c 157    135     2550 1330   150    129     2470 1160   157    133     2420 1100   155    129     2480 1210  
eca-rers2012/Problem06_label38_false-unreach-call.c 158    138     2580 1460   165    141     2590 1250   169    148     2660 1330   161    142     2620 1190  
eca-rers2012/Problem06_label44_false-unreach-call.c 131    107     2310 971   232    208     4040 2190   127    106     2320 1020   142    120     2470 1030  
eca-rers2012/Problem06_label47_false-unreach-call.c 149    127     2530 1140   151    129     2540 1360   134    113     2460 1050   136    114     2540 1170  
eca-rers2012/Problem06_label48_false-unreach-call.c 216    195     3240 1960   201    177     3290 1540   205    181     3240 1650   204    180     3260 1710  
eca-rers2012/Problem06_label56_false-unreach-call.c 292    268     4830 3130   198    175     2530 1390   287    263     4840 2520   203    181     2630 1640  
eca-rers2012/Problem06_label58_false-unreach-call.c 164    143     2780 1230   152    129     2550 1090   164    143     2680 1400   169    146     2740 1350  
eca-rers2012/Problem06_label59_false-unreach-call.c 165    143     2770 1550   175    152     2690 1440   179    159     2810 1460   176    154     2710 1510  
eca-rers2012/Problem07_label03_false-unreach-call.c 912    870     11800 7160   912    873     11900 8700   912    872     11800 6320   912    874     12000 6340  
eca-rers2012/Problem07_label05_false-unreach-call.c 912    872     11700 6920   912    871     11800 6330   912    872     12300 8730   911    870     11700 7870  
eca-rers2012/Problem07_label06_false-unreach-call.c 283    244     15000 2290   288    249     15000 2300   263    225     15000 2690   266    230     15000 1990  
eca-rers2012/Problem07_label07_false-unreach-call.c 913    870     11900 6030   912    870     11700 5360   913    867     11800 6860   912    873     12000 6790  
eca-rers2012/Problem07_label09_false-unreach-call.c 912    868     12000 5930   912    869     11900 6380   912    872     11900 5920   912    871     11900 7050  
eca-rers2012/Problem07_label11_false-unreach-call.c 913    873     11900 6940   914    862     12100 5990   913    871     11700 6910   912    870     11900 6980  
eca-rers2012/Problem07_label15_false-unreach-call.c 913    874     12900 8270   911    870     13000 6580   913    871     12900 8490   913    871     13000 4900  
eca-rers2012/Problem07_label18_false-unreach-call.c 912    873     11900 7740   912    869     12100 7250   912    874     12000 8560   912    872     11900 6790  
eca-rers2012/Problem07_label19_false-unreach-call.c 912    868     12200 9200   912    871     12200 6840   912    873     12000 6610   913    872     12200 6320  
eca-rers2012/Problem07_label20_false-unreach-call.c 912    873     12800 9020   913    870     12900 6730   912    870     12700 8170   912    873     12800 8370  
eca-rers2012/Problem07_label23_false-unreach-call.c 912    874     11700 7320   912    870     12100 5840   911    870     12200 5950   912    868     11900 7250  
eca-rers2012/Problem07_label30_false-unreach-call.c 912    873     12400 7460   913    871     12600 7280   782    741     15000 6510   912    870     12600 7510  
eca-rers2012/Problem07_label31_false-unreach-call.c 592    551     15000 5120   912    873     11900 6500   912    866     12000 6570   912    871     11800 5360  
eca-rers2012/Problem07_label35_false-unreach-call.c 912    870     12000 7620   912    869     12000 7130   912    873     11900 7090   913    871     11800 7060  
eca-rers2012/Problem07_label36_false-unreach-call.c 912    869     11800 5570   916    870     11800 8160   912    872     11800 6240   912    871     11900 6120  
eca-rers2012/Problem07_label37_false-unreach-call.c 914    867     11900 9020   912    868     11800 5600   912    871     11900 6330   913    873     11900 5080  
eca-rers2012/Problem07_label39_false-unreach-call.c 912    868     12000 6620   912    870     11900 6360   912    873     11800 8680   916    866     11700 7120  
eca-rers2012/Problem07_label40_false-unreach-call.c 912    871     13000 9250   913    870     12000 6400   913    871     12900 6930   913    869     12900 7580  
eca-rers2012/Problem07_label42_false-unreach-call.c 328    293     15000 2430   297    261     15000 2220   311    270     15000 2140   912    866     11900 6490  
eca-rers2012/Problem07_label44_false-unreach-call.c 912    869     12500 8040   913    870     12500 8360   912    871     12700 7410   911    868     12500 7160  
eca-rers2012/Problem07_label46_false-unreach-call.c 912    872     11700 6080   912    872     11800 6120   912    871     11700 7520   912    869     11800 5200  
eca-rers2012/Problem07_label47_false-unreach-call.c 912    870     12700 6490   913    870     11900 6520   912    869     11900 6710   912    872     12600 6190  
eca-rers2012/Problem07_label48_false-unreach-call.c 913    869     11900 5950   913    871     13300 6110   912    870     11900 5920   912    868     11900 6420  
eca-rers2012/Problem07_label58_false-unreach-call.c 912    871     12400 6470   911    869     12500 7150   913    873     12500 6270   912    870     12500 8900  
eca-rers2012/Problem08_label01_false-unreach-call.c 481    427     15000 3890   473    404     15000 3530   498    424     15000 3910   477    405     15000 3520  
eca-rers2012/Problem08_label02_false-unreach-call.c 479    429     15000 3890   511    438     15000 4510   478    427     15000 3520   505    433     15000 3660  
eca-rers2012/Problem08_label04_false-unreach-call.c 477    402     15000 3650   496    422     15000 3600   470    401     15000 3890   476    402     15000 3630  
eca-rers2012/Problem08_label05_false-unreach-call.c 456    382     15000 3950   456    382     15000 3280   485    416     15000 4060   456    385     15000 4080  
eca-rers2012/Problem08_label06_false-unreach-call.c 464    410     15000 3400   480    409     15000 3550   449    377     15000 3810   487    414     15000 3630  
eca-rers2012/Problem08_label07_false-unreach-call.c 512    438     15000 3910   496    439     15000 3770   474    423     15000 3700   525    450     15000 4630  
eca-rers2012/Problem08_label10_false-unreach-call.c 460    389     15000 3560   482    409     15000 3300   455    383     15000 3420   459    387     15000 3590  
eca-rers2012/Problem08_label13_false-unreach-call.c 506    431     15000 3580   487    415     15000 3800   476    406     15000 4020   447    392     15000 3600  
eca-rers2012/Problem08_label15_false-unreach-call.c 460    387     15000 4550   442    372     15000 3370   474    402     15000 4690   479    423     15000 3490  
eca-rers2012/Problem08_label24_false-unreach-call.c 483    411     15000 4130   467    393     15000 3500   493    417     15000 3860   503    429     15000 3690  
eca-rers2012/Problem08_label25_false-unreach-call.c 446    375     15000 3550   442    367     15000 3330   448    375     15000 3290   435    365     15000 2920  
eca-rers2012/Problem08_label26_false-unreach-call.c 413    361     15000 3300   461    389     15000 3620   453    374     15000 3530   427    357     15000 3340  
eca-rers2012/Problem08_label28_false-unreach-call.c 422    346     15000 3750   470    401     15000 3280   445    371     15000 3060   456    386     15000 3150  
eca-rers2012/Problem08_label29_false-unreach-call.c 448    376     15000 3390   422    367     15000 2790   439    368     15000 3250   422    350     15000 4630  
eca-rers2012/Problem08_label34_false-unreach-call.c 445    372     15000 3420   418    364     15000 3120   440    391     15000 3570   466    389     15000 3910  
eca-rers2012/Problem08_label37_false-unreach-call.c 477    404     15000 3370   505    432     15000 3940   490    415     15000 4030   493    426     15000 4560  
eca-rers2012/Problem08_label43_false-unreach-call.c 324    258     15000 2250   493    424     15000 3610   326    258     15000 2520   462    410     15000 4330  
eca-rers2012/Problem08_label46_false-unreach-call.c 444    372     15000 3260   484    408     15000 3310   452    380     15000 2810   448    374     15000 3510  
eca-rers2012/Problem08_label48_false-unreach-call.c 485    411     15000 3550   424    351     15000 3340   415    344     15000 4170   401    348     15000 4120  
eca-rers2012/Problem08_label49_false-unreach-call.c 451    382     15000 3700   466    396     15000 4670   466    390     15000 3520   408    359     15000 3440  
eca-rers2012/Problem08_label50_false-unreach-call.c 471    401     15000 3900   471    400     15000 3370   441    372     15000 3980   413    364     15000 3050  
eca-rers2012/Problem08_label51_false-unreach-call.c 447    376     15000 4750   472    399     15000 3970   473    400     15000 3290   479    403     15000 4530  
eca-rers2012/Problem08_label55_false-unreach-call.c 313    245     15000 2370   293    245     15000 2230   298    233     15000 2280   279    229     15000 2500  
eca-rers2012/Problem08_label59_false-unreach-call.c 472    402     15000 4420   464    391     15000 3410   436    381     15000 4000   473    401     15000 3930  
eca-rers2012/Problem09_label02_false-unreach-call.c 323    253     15000 2430   302    250     15000 2250   301    247     15000 2460   337    263     15000 2370  
eca-rers2012/Problem09_label03_false-unreach-call.c 297    248     15000 2330   338    280     15000 2350   317    251     15000 2330   281    232     15000 2800  
eca-rers2012/Problem09_label06_false-unreach-call.c 396    326     15000 3530   394    328     15000 3350   379    328     15000 3570   400    330     15000 3520  
eca-rers2012/Problem09_label08_false-unreach-call.c 378    311     15000 3070   341    289     15000 3050   376    306     15000 2930   386    316     15000 2250  
eca-rers2012/Problem09_label10_false-unreach-call.c 317    262     15000 2330   312    260     15000 2360   323    257     15000 2630   277    226     15000 2630  
eca-rers2012/Problem09_label11_false-unreach-call.c 327    275     15000 3200   331    283     15000 2540   307    257     15000 2130   349    277     15000 2890  
eca-rers2012/Problem09_label15_false-unreach-call.c 297    244     15000 2230   309    262     15000 2490   318    246     15000 2090   309    261     15000 2330  
eca-rers2012/Problem09_label19_false-unreach-call.c 385    313     15000 3390   356    301     15000 2940   378    320     15000 2990   367    297     15000 2990  
eca-rers2012/Problem09_label20_false-unreach-call.c 342    274     15000 2090   285    232     15000 2640   329    263     15000 2350   302    251     15000 2260  
eca-rers2012/Problem09_label32_false-unreach-call.c 318    249     15000 2510   327    254     15000 2440   317    247     15000 2480   316    263     15000 2350  
eca-rers2012/Problem09_label34_false-unreach-call.c 358    288     15000 2260   330    260     15000 2530   311    259     15000 2190   351    285     15000 2490  
eca-rers2012/Problem09_label35_false-unreach-call.c 301    236     15000 2700   304    233     15000 2740   294    226     15000 2430   269    216     15000 2080  
eca-rers2012/Problem09_label36_false-unreach-call.c 294    245     15000 3300   307    258     15000 2460   286    238     15000 2010   338    270     15000 2420  
eca-rers2012/Problem09_label38_false-unreach-call.c 275    223     15000 2080   294    227     15000 2650   325    253     15000 2330   279    227     15000 2520  
eca-rers2012/Problem09_label41_false-unreach-call.c 291    224     15000 2020   273    219     15000 2080   282    216     15000 2250   277    221     15000 2280  
eca-rers2012/Problem09_label44_false-unreach-call.c 364    307     15000 3440   360    310     15000 2890   384    336     15000 3350   382    332     15000 3300  
eca-rers2012/Problem09_label46_false-unreach-call.c 306    252     15000 2450   296    245     15000 2590   283    216     15000 2300   314    243     15000 2780  
eca-rers2012/Problem09_label47_false-unreach-call.c 326    260     15000 2590   306    253     15000 2280   293    244     15000 2060   314    246     15000 2220  
eca-rers2012/Problem09_label51_false-unreach-call.c 344    273     15000 3310   366    297     15000 2660   379    307     15000 2680   349    279     15000 2720  
eca-rers2012/Problem09_label53_false-unreach-call.c 310    263     15000 2260   311    239     15000 2230   336    264     15000 2680   326    259     15000 2490  
eca-rers2012/Problem09_label54_false-unreach-call.c 342    273     15000 2810   321    251     15000 3340   323    272     15000 2360   349    300     15000 2510  
eca-rers2012/Problem09_label56_false-unreach-call.c 305    251     15000 2300   311    244     15000 2440   271    219     15000 2090   285    215     15000 2830  
eca-rers2012/Problem09_label57_false-unreach-call.c 331    280     15000 2330   332    263     15000 2840   332    283     15000 2470   323    272     15000 2450  
eca-rers2012/Problem09_label59_false-unreach-call.c 333    266     15000 3470   322    269     15000 3090   354    282     15000 2640   307    256     15000 2370  
eca-rers2012/Problem10_label12_false-unreach-call.c 29.7  24.5   1970 227   30.5  25.1   1960 221   29.3  24.5   1930 232   27.8  23.1   1940 273  
eca-rers2012/Problem10_label15_false-unreach-call.c 31.7  25.3   1980 204   31.2  25.6   1950 233   30.2  25.0   2010 227   31.1  24.5   1980 231  
eca-rers2012/Problem10_label24_false-unreach-call.c 17.6  14.1   1150 143   17.6  14.0   1160 140   17.2  13.5   1150 156   18.2  14.5   1150 137  
eca-rers2012/Problem10_label26_false-unreach-call.c 16.8  13.1   1140 165   18.0  14.3   1150 132   17.6  13.9   1140 123   17.7  14.2   1140 152  
eca-rers2012/Problem10_label28_false-unreach-call.c 17.9  14.3   1150 117   17.9  14.4   1160 136   18.6  14.7   1150 135   17.8  14.2   1170 143  
eca-rers2012/Problem10_label29_false-unreach-call.c 18.1  14.5   1150 131   18.2  14.7   1160 132   18.5  14.6   1160 137   17.9  14.3   1160 164  
eca-rers2012/Problem10_label41_false-unreach-call.c 17.4  12.9   1160 125   16.9  12.2   1140 131   17.5  12.8   1150 121   16.7  12.5   1140 137  
eca-rers2012/Problem10_label42_false-unreach-call.c 16.9  12.4   1130 120   16.0  12.1   1140 131   16.7  12.3   1160 130   16.3  12.1   1140 108  
eca-rers2012/Problem10_label46_false-unreach-call.c 4.82 1.57  298 39.0 4.59 1.64  296 38.8 4.56 1.60  297 38.0 4.63 1.57  295 39.2
eca-rers2012/Problem10_label47_false-unreach-call.c 16.6  12.2   1150 126   16.0  11.7   1140 123   16.2  11.9   1140 127   16.5  12.1   1140 117  
eca-rers2012/Problem10_label48_false-unreach-call.c 17.8  14.1   1190 130   16.9  13.8   1190 159   17.8  14.3   1150 123   17.8  14.2   1150 160  
eca-rers2012/Problem10_label50_false-unreach-call.c 18.4  15.2   1150 161   19.4  15.7   1170 141   19.4  15.9   1150 137   19.3  15.2   1150 142  
eca-rers2012/Problem10_label55_false-unreach-call.c 16.2  11.8   1160 123   16.4  12.4   1140 123   15.7  11.8   1150 141   16.5  12.3   1110 116  
eca-rers2012/Problem10_label57_false-unreach-call.c 17.5  14.0   1150 140   18.1  14.7   1140 123   18.4  14.9   1160 136   17.9  14.3   1170 160  
eca-rers2012/Problem10_label58_false-unreach-call.c 17.7  14.2   1160 131   18.2  14.6   1150 142   17.6  14.0   1150 152   17.8  14.4   1160 143  
eca-rers2012/Problem11_label00_false-unreach-call.c 46.2  41.5   2330 395   46.1  41.4   2360 372   47.2  42.5   2360 316   47.0  42.0   2370 399  
eca-rers2012/Problem11_label08_false-unreach-call.c 39.1  31.5   2350 359   41.6  34.1   2320 332   39.3  33.1   2330 279   41.6  33.2   2370 284  
eca-rers2012/Problem11_label14_false-unreach-call.c 6.85 2.11  334 53.6 7.56 2.20  351 53.8 6.01 1.83  330 46.0 6.60 1.83  345 48.5
eca-rers2012/Problem11_label15_false-unreach-call.c 39.3  32.9   2330 418   40.6  32.4   2340 314   40.9  34.3   2330 281   43.0  35.3   2350 294  
eca-rers2012/Problem11_label20_false-unreach-call.c 46.5  41.5   2320 300   46.3  39.6   2360 397   45.4  40.5   2310 339   48.1  41.1   2380 356  
eca-rers2012/Problem11_label29_false-unreach-call.c 42.3  33.6   2350 296   39.3  33.1   2330 265   42.2  34.0   2340 287   41.3  33.7   2320 271  
eca-rers2012/Problem11_label31_false-unreach-call.c 46.9  41.8   2380 347   46.8  40.0   2370 327   45.7  39.3   2360 296   47.6  40.9   2360 420  
eca-rers2012/Problem11_label34_false-unreach-call.c 6.31 1.88  340 45.2 6.62 2.00  337 47.4 6.06 1.88  336 45.5 6.78 2.02  341 50.4
eca-rers2012/Problem11_label36_false-unreach-call.c 38.6  32.6   2320 294   42.4  34.2   2340 281   37.7  31.3   2360 384   40.4  34.1   2310 301  
eca-rers2012/Problem11_label39_false-unreach-call.c 6.70 2.01  338 55.1 5.59 1.77  331 46.2 6.59 2.03  338 49.6 5.61 1.77  330 46.9
eca-rers2012/Problem11_label42_false-unreach-call.c 7.04 2.02  339 54.4 6.45 1.99  336 49.2 6.05 1.84  336 42.8 5.75 1.79  340 45.7
eca-rers2012/Problem11_label43_false-unreach-call.c 6.82 1.94  346 47.9 6.34 1.91  340 50.0 5.57 1.75  329 49.0 6.09 2.03  328 49.0
eca-rers2012/Problem11_label49_false-unreach-call.c 39.5  31.5   2320 298   40.4  34.9   2320 292   39.9  33.9   2320 292   37.6  32.1   2310 256  
eca-rers2012/Problem11_label51_false-unreach-call.c 38.7  32.9   2310 239   40.2  32.6   2320 255   45.0  37.2   2330 297   40.1  32.6   2320 283  
eca-rers2012/Problem11_label58_false-unreach-call.c 5.69 1.79  335 45.4 5.52 1.75  327 44.1 5.86 1.80  334 46.7 6.68 1.99  347 53.6
eca-rers2012/Problem12_label00_false-unreach-call.c 161    150     7910 1030   165    154     7940 1050   179    169     7900 829   158    147     7940 1120  
eca-rers2012/Problem12_label03_false-unreach-call.c 152    141     7940 1050   150    138     7970 1030   156    144     7940 1160   153    143     7950 1200  
eca-rers2012/Problem12_label06_false-unreach-call.c 155    144     7930 1130   152    141     8040 1340   154    143     7910 1210   153    141     8010 1350  
eca-rers2012/Problem12_label07_false-unreach-call.c 165    153     8150 1260   158    147     7900 1040   156    145     8150 1130   158    147     7910 1050  
eca-rers2012/Problem12_label08_false-unreach-call.c 11.5  3.45  566 89.1 11.0  3.31  553 87.6 11.8  3.49  553 75.5 12.0  3.53  563 91.9
eca-rers2012/Problem12_label10_false-unreach-call.c 172    161     7970 1060   175    164     7990 819   162    151     7970 1200   262    250     15000 2260  
eca-rers2012/Problem12_label13_false-unreach-call.c 268    256     15000 1490   171    160     9270 1620   173    162     7930 1140   272    260     15000 1690  
eca-rers2012/Problem12_label19_false-unreach-call.c 183    172     7950 1160   190    180     7870 1130   184    174     7960 1210   180    169     7940 1460  
eca-rers2012/Problem12_label20_false-unreach-call.c 159    148     7910 1430   156    144     8000 906   166    153     8420 1200   168    155     7940 1210  
eca-rers2012/Problem12_label21_false-unreach-call.c 164    152     8000 1410   171    159     8930 1330   172    161     8000 1020   173    163     7990 1140  
eca-rers2012/Problem12_label25_false-unreach-call.c 173    162     7940 1180   162    149     7950 1020   156    146     7910 1060   159    147     7910 1260  
eca-rers2012/Problem12_label28_false-unreach-call.c 158    147     8070 1240   154    142     8030 1430   155    143     8030 1510   167    155     7890 1070  
eca-rers2012/Problem12_label30_false-unreach-call.c 164    153     7910 1070   178    167     8110 1190   163    153     8130 1490   170    159     7930 978  
eca-rers2012/Problem12_label34_false-unreach-call.c 167    157     7980 1120   164    153     7980 1010   159    148     7960 1190   160    149     7940 1160  
eca-rers2012/Problem12_label35_false-unreach-call.c 299    286     15000 2210   310    298     15000 2040   289    277     15000 2500   176    165     8150 1080  
eca-rers2012/Problem12_label37_false-unreach-call.c 168    156     7980 1080   154    144     7910 1110   155    144     7910 1070   164    153     7940 1030  
eca-rers2012/Problem12_label38_false-unreach-call.c 271    260     15000 1680   167    156     7970 1060   287    274     15000 1960   313    301     15000 2130  
eca-rers2012/Problem12_label39_false-unreach-call.c 302    290     15000 1730   312    299     15000 1950   173    162     8310 1110   163    151     7980 1060  
eca-rers2012/Problem12_label40_false-unreach-call.c 167    156     7950 1110   166    156     7900 1010   165    154     7960 1040   168    157     7940 1210  
eca-rers2012/Problem12_label42_false-unreach-call.c 168    156     7940 1040   174    163     8000 1050   173    162     8260 1050   170    159     8250 1220  
eca-rers2012/Problem12_label48_false-unreach-call.c 343    332     15000 2740   183    171     8330 1090   315    301     15000 2980   177    166     8350 1260  
eca-rers2012/Problem12_label50_false-unreach-call.c 166    155     7890 1070   183    170     7970 1030   272    258     15000 1910   281    269     15000 1710  
eca-rers2012/Problem12_label51_false-unreach-call.c 251    239     15000 2550   289    277     15000 1750   259    246     15000 2210   283    271     15000 2370  
eca-rers2012/Problem12_label52_false-unreach-call.c 162    151     7900 1070   159    147     7930 978   162    151     7890 1030   161    151     7930 1070  
eca-rers2012/Problem12_label55_false-unreach-call.c 163    152     7910 1180   162    151     7920 1150   171    160     8360 1030   174    163     7940 1000  
eca-rers2012/Problem13_label04_false-unreach-call.c 368    354     12500 2230   319    306     12400 2770   272    261     12400 1880   269    256     12600 2330  
eca-rers2012/Problem13_label06_false-unreach-call.c 298    283     12500 1690   275    261     12400 1840   281    269     12500 1880   296    284     12400 1650  
eca-rers2012/Problem13_label07_false-unreach-call.c 293    279     12400 1840   331    319     12400 1720   324    310     12400 2530   292    277     12400 2350  
eca-rers2012/Problem13_label11_false-unreach-call.c 388    373     15000 2550   402    387     15000 2670   397    384     15000 2510   275    262     12400 1830  
eca-rers2012/Problem13_label12_false-unreach-call.c 301    287     13100 1740   316    304     12500 2140   263    251     12500 2000   267    254     12400 1810  
eca-rers2012/Problem13_label16_false-unreach-call.c 292    278     12400 1600   283    270     12300 1770   287    274     12500 1620   278    266     12400 1790  
eca-rers2012/Problem13_label19_false-unreach-call.c 13.2  3.72  640 102   12.8  3.92  609 85.7 12.6  3.84  620 95.4 12.3  3.66  620 91.1
eca-rers2012/Problem13_label21_false-unreach-call.c 12.2  3.61  619 86.3 14.3  4.03  626 116   13.7  4.07  634 93.3 12.6  3.65  620 84.4
eca-rers2012/Problem13_label23_false-unreach-call.c 13.2  3.89  624 106   12.0  3.64  607 82.7 13.9  3.73  645 107   14.0  3.97  638 106  
eca-rers2012/Problem13_label24_false-unreach-call.c 14.4  4.17  626 107   14.3  4.04  630 108   12.4  3.84  610 83.3 12.4  3.80  614 84.9
eca-rers2012/Problem13_label25_false-unreach-call.c 13.5  3.65  636 109   13.8  4.13  631 98.1 14.7  4.25  623 111   12.7  3.77  632 97.4
eca-rers2012/Problem13_label28_false-unreach-call.c 303    288     12400 1860   307    296     12400 1860   301    287     12500 2280   313    298     12400 1880  
eca-rers2012/Problem13_label29_false-unreach-call.c 305    291     13900 1790   291    277     12500 1550   299    286     13800 1580   300    287     13900 2450  
eca-rers2012/Problem13_label30_false-unreach-call.c 302    287     12400 1700   271    258     12400 1620   279    266     12400 2300   283    270     12400 1560  
eca-rers2012/Problem13_label32_false-unreach-call.c 286    272     12400 1610   275    262     12400 1660   278    265     12400 1790   332    320     12400 1790  
eca-rers2012/Problem13_label35_false-unreach-call.c 328    316     12500 1840   275    262     12400 1690   276    262     12400 1410   318    305     12400 2020  
eca-rers2012/Problem13_label36_false-unreach-call.c 303    289     12500 1850   318    307     13400 2540   288    276     12400 1770   334    321     13400 1820  
eca-rers2012/Problem13_label40_false-unreach-call.c 13.7  3.72  641 123   13.5  3.80  631 113   13.0  3.94  625 98.0 12.9  3.68  634 104  
eca-rers2012/Problem13_label43_false-unreach-call.c 297    284     12400 1710   284    270     12400 2550   294    281     12500 1710   268    256     12400 1880  
eca-rers2012/Problem13_label44_false-unreach-call.c 273    260     12400 1840   266    252     12400 1700   365    352     12400 1830   372    359     12500 1950  
eca-rers2012/Problem13_label45_false-unreach-call.c 263    250     12500 1850   291    279     12400 1930   308    296     12400 1950   269    257     12400 1940  
eca-rers2012/Problem13_label48_false-unreach-call.c 286    273     12400 1610   276    264     12400 1190   272    258     12400 1510   270    255     12400 2090  
eca-rers2012/Problem13_label51_false-unreach-call.c 259    247     12400 2170   274    261     13200 1660   269    255     13200 2270   269    257     12400 1830  
eca-rers2012/Problem13_label54_false-unreach-call.c 276    264     12500 1500   304    291     12400 1810   277    263     12400 1680   274    260     12400 1830  
eca-rers2012/Problem13_label58_false-unreach-call.c 294    281     12400 1940   267    252     12700 1730   277    263     12700 1620   275    262     12700 1830  
eca-rers2012/Problem14_label02_false-unreach-call.c 17.8  14.0   1160 141   18.6  14.4   1180 137   18.9  14.9   1170 153   18.7  14.9   1200 142  
eca-rers2012/Problem14_label08_false-unreach-call.c 18.6  14.9   1170 163   35.3  30.8   2040 354   36.4  32.0   2010 274   19.3  15.3   1160 145  
eca-rers2012/Problem14_label10_false-unreach-call.c 18.9  15.1   1170 163   33.8  28.6   2010 264   18.4  14.7   1170 134   18.4  14.5   1180 156  
eca-rers2012/Problem14_label11_false-unreach-call.c 18.7  14.8   1190 130   18.9  15.0   1150 123   19.3  15.5   1160 131   18.1  14.2   1160 163  
eca-rers2012/Problem14_label12_false-unreach-call.c 18.3  14.5   1170 155   18.5  14.7   1150 123   35.8  31.2   1980 280   18.2  14.5   1170 146  
eca-rers2012/Problem14_label13_false-unreach-call.c 19.0  15.4   1170 144   18.5  14.3   1190 165   19.5  15.8   1180 148   20.1  16.4   1150 145  
eca-rers2012/Problem14_label14_false-unreach-call.c 4.55 1.60  309 37.0 4.49 1.58  306 39.0 4.48 1.63  302 33.8 5.05 1.67  311 39.0
eca-rers2012/Problem14_label18_false-unreach-call.c 17.8  14.1   1190 163   18.7  15.0   1160 149   18.2  14.2   1190 165   19.2  14.8   1230 146  
eca-rers2012/Problem14_label22_false-unreach-call.c 18.9  15.0   1170 133   18.3  14.6   1180 140   18.7  14.9   1180 147   18.6  14.7   1180 140  
eca-rers2012/Problem14_label27_false-unreach-call.c 18.1  14.2   1140 128   18.7  14.8   1150 155   19.3  15.1   1170 136   18.8  14.9   1160 162  
eca-rers2012/Problem14_label28_false-unreach-call.c 33.8  29.4   1980 295   33.5  28.5   1990 355   68.0  61.0   3160 392   34.0  29.1   2030 262  
eca-rers2012/Problem14_label29_false-unreach-call.c 19.3  15.2   1160 172   18.7  15.1   1190 150   19.2  15.3   1170 142   18.9  15.1   1160 160  
eca-rers2012/Problem14_label31_false-unreach-call.c 18.9  15.0   1160 143   18.9  15.2   1170 168   19.5  15.6   1170 154