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-03 00:02:24 CEST
Run set z3-q_auflira z3-qf_auflira z3-qf_uflira z3-q_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=z3 -heap 12500M -stack 1000M -setprop cpa.predicate.useQuantifiersOnArrays=true -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=z3 -heap 12500M -stack 1000M -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=z3 -heap 13000M -stack 1000M -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=z3 -heap 13000M -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    894     557 10900   901    894     545 11400   901    895     452 10500   901    894     548 10800  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    896     444 12700   901    896     432 11600   901    896     324 10900   901    895     438 11200  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    896     432 13300   901    896     430 9800   901    896     321 12900   901    895     455 11000  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    895     507 9970   901    895     510 11200   901    895     448 12400   2.91 1.23  283 25.4
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    895     504 12100   901    895     497 12600   901    896     437 10800   2.81 1.23  286 25.7
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    892     629 11300   901    891     640 12700   902    893     553 11500   901    891     643 11400  
array-examples/standard_copy1_false-unreach-call_ground.i 901    896     473 10700   901    896     492 10500   901    896     341 12200   901    895     470 13700  
array-examples/standard_copy2_false-unreach-call_ground.i 901    896     527 11700   901    895     535 10200   901    896     338 11100   901    895     528 12000  
array-examples/standard_copy3_false-unreach-call_ground.i 901    896     549 11600   901    896     559 10900   901    896     330 10900   901    895     547 13500  
array-examples/standard_copy4_false-unreach-call_ground.i 901    895     565 13600   901    895     570 11300   901    896     322 12800   901    894     560 11600  
array-examples/standard_copy5_false-unreach-call_ground.i 901    894     590 10900   901    894     591 10600   901    897     324 9970   901    894     584 11800  
array-examples/standard_copy6_false-unreach-call_ground.i 901    894     660 12400   901    894     655 11700   901    897     321 10300   901    894     660 11100  
array-examples/standard_copy7_false-unreach-call_ground.i 901    893     671 12000   901    893     668 10800   901    897     317 10100   901    893     678 10200  
array-examples/standard_copy8_false-unreach-call_ground.i 901    893     693 12500   901    893     689 11400   901    897     320 10300   901    893     776 12700  
array-examples/standard_copy9_false-unreach-call_ground.i 901    893     742 10500   901    892     749 11200   901    897     326 9310   901    892     742 13200  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    895     484 12100   901    895     479 12200   901    896     318 11900   901    896     471 11200  
array-examples/standard_init1_false-unreach-call_ground.i 901    896     440 11300   901    896     438 9930   901    897     331 10900   901    896     436 13600  
array-examples/standard_init2_false-unreach-call_ground.i 901    896     449 10800   901    896     448 10900   901    897     324 11100   901    896     446 11200  
array-examples/standard_init3_false-unreach-call_ground.i 901    896     453 11900   901    896     451 12400   901    896     316 12000   901    896     449 14200  
array-examples/standard_init4_false-unreach-call_ground.i 901    897     451 11600   901    896     458 11500   901    896     337 10900   901    896     460 10800  
array-examples/standard_init5_false-unreach-call_ground.i 901    896     459 11300   901    896     459 10800   901    896     353 12900   901    896     459 11700  
array-examples/standard_init6_false-unreach-call_ground.i 901    896     470 12500   901    896     471 13200   901    896     337 12400   901    896     467 9010  
array-examples/standard_init7_false-unreach-call_ground.i 901    896     473 11900   901    896     471 11200   901    896     353 10600   901    896     474 11700  
array-examples/standard_init8_false-unreach-call_ground.i 901    896     476 12500   901    896     479 10900   901    896     360 11100   901    896     468 10800  
array-examples/standard_init9_false-unreach-call_ground.i 901    896     485 10900   901    895     472 12800   901    896     336 13200   901    895     480 14200  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    896     436 10400   901    896     429 11600   901    897     357 11500   901    896     441 10400  
array-examples/standard_partition_false-unreach-call_ground.i 901    895     517 9800   901    895     509 10800   901    897     327 10900   901    895     518 11200  
array-examples/standard_running_false-unreach-call.i 901    895     470 11300   901    895     466 12200   901    896     343 12100   901    896     460 11300  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    893     560 9980   901    894     551 9010   901    895     463 11400   901    894     545 11300  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    895     534 13900   901    894     550 12000   901    895     445 12900   901    895     533 10700  
array-examples/relax_true-unreach-call.i 901    892     559 11500   901    892     570 12200   901    892     576 11700   901    892     573 11500  
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    896     464 12300   901    895     455 11000   901    897     382 11500   901    896     467 10900  
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    899     432 13400   901    897     450 13200   901    897     439 11500   901    898     458 12000  
array-examples/sanfoundry_24_true-unreach-call.i 901    895     557 11000   901    894     571 11500   901    895     479 12300   901    894     576 13200  
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    896     436 12100   901    896     440 11400   901    897     361 12500   901    896     443 11600  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.11 .938 221 21.3 2.16 .951 225 19.5 2.09 .928 221 18.8 2.05 .905 219 18.8
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    896     431 10500   901    896     435 12500   901    896     335 12100   901    896     438 11000  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    895     503 13100   901    895     502 11600   901    896     436 12600   2.71 1.21  283 24.2
array-examples/standard_compareModified_true-unreach-call_ground.i 901    895     591 10400   901    895     589 11700   901    896     358 10100   901    895     593 12800  
array-examples/standard_compare_true-unreach-call_ground.i 901    896     450 11400   901    895     462 13600   901    897     360 11700   901    896     464 13000  
array-examples/standard_copy1_true-unreach-call_ground.i 901    896     496 10900   901    895     486 12900   901    896     334 12100   901    896     455 10500  
array-examples/standard_copy2_true-unreach-call_ground.i 901    895     534 12300   901    896     527 11400   901    896     337 11100   901    895     525 12800  
array-examples/standard_copy3_true-unreach-call_ground.i 901    895     559 10800   901    895     550 10000   901    896     335 10800   901    895     552 10600  
array-examples/standard_copy4_true-unreach-call_ground.i 901    895     566 9980   901    895     559 11700   901    896     322 9960   901    895     566 12100  
array-examples/standard_copy5_true-unreach-call_ground.i 901    894     583 10800   901    894     593 10500   901    897     320 10500   901    894     582 12400  
array-examples/standard_copy6_true-unreach-call_ground.i 901    894     657 10000   901    894     658 11300   901    897     326 11200   901    895     661 13200  
array-examples/standard_copy7_true-unreach-call_ground.i 901    894     667 12100   901    893     664 11300   901    897     321 10200   901    894     674 13400  
array-examples/standard_copy8_true-unreach-call_ground.i 901    893     691 11000   901    893     689 11500   901    897     323 11900   901    893     766 11200  
array-examples/standard_copy9_true-unreach-call_ground.i 901    893     750 10800   901    893     737 9930   901    897     321 10700   901    892     760 13900  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    895     473 11200   901    896     470 12100   901    896     319 13800   901    896     469 13800  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    896     463 10800   901    895     466 11200   901    896     333 10300   901    895     475 10000  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    896     469 11000   901    896     476 10100   901    896     336 13800   901    895     470 10900  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    896     462 12000   901    896     457 10900   901    896     342 11800   901    896     462 12500  
array-examples/standard_find_true-unreach-call_ground.i 901    896     453 11200   901    896     457 10900   901    897     330 11200   901    896     454 10500  
array-examples/standard_init1_true-unreach-call_ground.i 901    896     438 13200   901    896     437 10000   901    897     309 11400   901    896     439 11100  
array-examples/standard_init2_true-unreach-call_ground.i 901    896     453 11800   901    896     451 11200   901    896     330 11600   901    896     439 11600  
array-examples/standard_init3_true-unreach-call_ground.i 901    896     449 12800   901    896     457 13300   901    897     322 11500   901    896     452 13300  
array-examples/standard_init4_true-unreach-call_ground.i 901    896     455 10600   901    896     451 11500   901    896     321 12300   901    896     448 12900  
array-examples/standard_init5_true-unreach-call_ground.i 901    896     467 10700   901    896     464 13000   901    896     341 11800   901    896     465 11800  
array-examples/standard_init6_true-unreach-call_ground.i 901    896     468 14200   901    895     472 11300   901    896     349 12100   901    896     469 11100  
array-examples/standard_init7_true-unreach-call_ground.i 901    896     472 11900   901    896     474 12100   901    896     355 11500   901    896     474 12700  
array-examples/standard_init8_true-unreach-call_ground.i 901    896     467 11500   901    896     472 12700   901    896     355 11800   901    896     475 11600  
array-examples/standard_init9_true-unreach-call_ground.i 901    895     487 12700   901    895     489 11800   901    896     345 10900   901    895     476 10500  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    896     440 11100   901    896     439 14000   901    897     359 14200   901    896     436 11100  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    897     434 10700   901    896     431 12500   901    897     362 10500   901    896     430 11200  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    897     428 12500   901    896     426 10600   901    896     327 10400   901    896     441 10200  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    895     509 11700   901    895     514 13400   901    897     328 11100   901    895     506 14100  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    895     511 10400   901    895     501 12800   901    897     325 11400   901    895     513 10400  
array-examples/standard_partition_true-unreach-call_ground.i 901    895     448 12100   901    895     443 11200   901    896     335 11900   901    896     439 10500  
array-examples/standard_password_true-unreach-call_ground.i 901    896     448 13600   901    896     455 12400   901    897     354 11400   901    895     457 12400  
array-examples/standard_reverse_true-unreach-call_ground.i 901    895     439 12000   901    896     440 12800   901    897     322 10500   901    896     434 10300  
array-examples/standard_running_true-unreach-call.i 901    895     464 10600   901    896     462 10600   901    897     329 11100   901    896     461 11100  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 909    904     641 10100   909    905     635 11700   911    907     474 10400   901    896     532 12400  
array-examples/standard_seq_init_true-unreach-call_ground.i 901    896     412 10500   901    896     412 12600   901    897     313 11300   901    896     406 13300  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    896     484 9920   901    896     464 12100   901    896     383 10700   901    895     467 12400  
array-examples/standard_strcpy_original_true-unreach-call.i 901    896     466 10600   901    896     464 11200   901    896     328 11000   901    895     495 12600  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    896     460 12800   901    896     463 13400   901    897     326 11000   901    896     489 12900  
array-examples/standard_two_index_01_true-unreach-call.i 901    896     332 10900   901    896     372 10900   901    897     334 10900   901    896     336 11400  
array-examples/standard_two_index_02_true-unreach-call.i 901    896     451 11600   901    896     452 13100   901    897     329 12000   901    896     435 11100  
array-examples/standard_two_index_03_true-unreach-call.i 901    896     335 11600   901    896     342 10600   901    896     335 11700   901    896     357 11100  
array-examples/standard_two_index_04_true-unreach-call.i 901    895     476 10800   901    896     452 11500   901    896     329 11200   901    896     438 12400  
array-examples/standard_two_index_05_true-unreach-call.i 901    895     442 12300   901    896     451 10800   901    896     333 10800   901    896     446 11200  
array-examples/standard_two_index_06_true-unreach-call.i 901    896     372 10500   901    896     376 11700   901    896     335 11300   901    896     335 11600  
array-examples/standard_two_index_07_true-unreach-call.i 901    896     474 11500   901    896     447 10400   901    896     335 12200   901    896     445 11200  
array-examples/standard_two_index_08_true-unreach-call.i 901    895     470 11300   901    895     458 11100   901    896     337 11000   901    895     466 10500  
array-examples/standard_two_index_09_true-unreach-call.i 901    896     447 11300   901    896     466 11600   901    896     319 12100   901    895     470 11200  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    895     605 11700   901    894     612 11200   911    905     484 13700   901    894     609 12000  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    895     517 10700   901    895     518 11900   901    897     326 13200   901    895     510 11800  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    896     444 13200   901    896     431 10100   901    896     322 10200   902    897     519 12900  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 4.59 1.47  337 37.4 288    283     15000 1570   901    896     323 12600   4.30 1.41  351 37.2
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    896     419 12000   901    896     426 10500   901    897     332 12600   901    895     439 11500  
array-industry-pattern/array_range_init_false-unreach-call.i 3.47 1.25  288 29.8 267    263     15000 1640   901    896     338 11200   3.42 1.21  291 26.5
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    895     486 8730   901    895     481 9750   901    897     350 8000   901    895     498 11600  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    895     431 11100   901    895     445 11500   901    895     450 11800   901    895     438 11700  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    896     464 13200   901    895     456 11300   901    896     335 13000   901    896     460 13100  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    895     473 12700   901    895     485 10900   901    896     330 10900   901    895     497 10500  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 5.61 1.71  360 40.5 283    278     15000 1850   901    896     365 10900   4.85 1.62  341 41.6
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 901    895     381 12800   275    270     15000 1490   901    896     350 12100   901    895     383 12700  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    895     525 10000   901    895     522 10600   901    896     376 11200   901    896     517 11500  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 901    896     367 12600   264    260     15000 1800   901    896     358 10200   901    896     382 10600  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    894     492 10000   912    905     2280 3740   901    896     331 12300   901    894     531 10300  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 5.28 1.64  465 34.8 912    905     2280 3880   901    896     346 11700   5.12 1.61  463 42.5
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    896     396 10700   274    269     15000 1640   901    896     332 12300   901    895     382 11300  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    895     369 12100   268    263     15000 1570   901    896     346 9930   901    896     368 11300  
array-industry-pattern/array_shadowinit_true-unreach-call.i 904    899     493 12400   908    903     493 13100   911    907     484 11400   2.52 1.11  262 23.1
reducercommutativity/rangesum05_false-unreach-call.i 74.4  72.5   273 960   498    496     274 6030   156    153     294 1950   395    392     297 4660  
reducercommutativity/rangesum10_false-unreach-call.i 197    194     289 2330   270    268     285 3590   401    398     313 5470   380    376     312 4460  
reducercommutativity/rangesum20_false-unreach-call.i 324    321     297 4550   402    399     287 5900   901    897     345 12100   901    898     424 11900  
reducercommutativity/rangesum40_false-unreach-call.i 799    796     293 9630   665    661     296 8310   901    896     478 11700   901    898     292 10700  
reducercommutativity/rangesum60_false-unreach-call.i 901    897     365 11700   901    897     305 10800   901    897     314 11900   901    897     289 11300  
reducercommutativity/rangesum_false-unreach-call.i 901    890     623 11000   901    890     622 11900   901    890     710 11400   901    890     635 12000  
reducercommutativity/avg05_true-unreach-call.i 912    908     10900 4930   906    902     5490 9550   117    114     330 1490   8.49 6.36  281 101  
reducercommutativity/avg10_true-unreach-call.i 906    901     5560 11100   902    898     467 12900   902    899     333 10900   35.7  32.3   331 461  
reducercommutativity/avg20_true-unreach-call.i 901    896     557 11900   901    895     560 13700   901    895     479 11600   137    132     404 1710  
reducercommutativity/avg40_true-unreach-call.i 901    894     474 11600   901    894     478 13900   901    893     470 11500   901    894     473 9930  
reducercommutativity/avg60_true-unreach-call.i 901    893     480 10100   901    894     478 11200   901    895     450 13000   901    894     460 12000  
reducercommutativity/avg_true-unreach-call.i 901    892     591 10900   901    892     567 10700   901    892     561 13000   901    892     566 11200  
reducercommutativity/max05_true-unreach-call_true-termination.i 902    897     984 8210   901    897     1060 5750   46.0  42.7   327 513   6.50 4.27  295 72.0
reducercommutativity/max10_true-unreach-call_true-termination.i 510    506     527 6090   901    896     1180 7740   487    483     587 6670   31.7  28.2   350 380  
reducercommutativity/max20_true-unreach-call.i 901    895     627 10400   901    895     689 9650   901    895     620 9310   352    347     622 3750  
reducercommutativity/max40_true-unreach-call.i 901    893     483 12400   901    893     473 12100   901    894     473 10700   901    893     476 11100  
reducercommutativity/max60_true-unreach-call.i 901    892     477 13500   901    893     446 12900   901    894     463 11200   901    893     453 11200  
reducercommutativity/max_true-unreach-call.i 901    892     584 11100   901    891     588 11900   901    892     566 13000   901    892     554 10800  
reducercommutativity/sep05_true-unreach-call.i 902    897     6660 10300   901    897     338 14300   901    897     340 11700   77.0  74.6   337 940  
reducercommutativity/sep10_true-unreach-call.i 902    897     1590 10100   901    897     1290 11000   901    897     1370 11600   902    897     1450 10300  
reducercommutativity/sep20_true-unreach-call.i 903    897     1030 7970   903    897     1030 7940   903    896     1030 7860   903    896     1060 7350  
reducercommutativity/sep40_true-unreach-call.i 901    892     495 11400   901    892     493 11400   901    893     467 13500   901    893     468 11500  
reducercommutativity/sep60_true-unreach-call.i 901    893     478 13200   901    893     472 11200   901    893     474 10300   901    892     486 12800  
reducercommutativity/sep_true-unreach-call.i 901    893     585 10700   901    892     561 11700   901    892     584 11800   901    892     581 11600  
reducercommutativity/sum05_true-unreach-call_true-termination.i 912    909     12700 7790   901    898     1130 8040   90.0  86.6   324 1160   14.5  12.3   285 170  
reducercommutativity/sum10_true-unreach-call.i 901    896     573 11600   909    904     7540 11100   824    820     338 9890   30.0  26.4   316 366  
reducercommutativity/sum20_true-unreach-call.i 901    895     561 10900   901    896     555 11400   901    896     491 12300   125    120     402 1530  
reducercommutativity/sum40_true-unreach-call.i 901    894     472 11600   901    893     476 12700   901    894     464 11100   901    893     490 13200  
reducercommutativity/sum60_true-unreach-call.i 901    893     483 9980   901    894     458 12700   901    895     445 11800   901    894     472 13900  
reducercommutativity/sum_true-unreach-call.i 901    891     556 12700   901    891     637 11500   901    892     569 12100   901    892     571 12900  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 4.15 1.97  277 41.5 4.23 1.99  278 42.9 4.11 1.95  275 36.0 4.18 1.96  274 37.3
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    898     280 13200   901    898     278 14100   901    899     271 12400   901    899     279 11300  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 4.27 1.98  278 36.2 4.17 2.00  278 38.6 4.24 2.01  273 39.0 4.24 2.05  278 44.0
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 4.31 2.05  277 38.8 4.19 2.04  278 40.7 4.48 2.11  278 41.2 4.35 2.05  278 41.4
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 2.72 1.21  269 25.2 2.58 1.17  267 23.9 2.65 1.20  262 24.2 2.59 1.21  269 23.3
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 3.94 2.13  274 35.0 162    160     282 1920   90.1  88.0   278 1200   148    146     281 1790  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 2.29 1.01  231 22.9 2.17 1.01  231 19.6 2.25 1.03  230 18.8 2.28 1.00  236 20.9
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 7.01 4.99  283 86.7 6.29 4.18  280 63.4 7.50 5.24  282 83.2 6.33 4.42  280 78.3
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 8.83 6.38  288 106   9.08 6.45  299 103   8.80 6.34  293 102   8.99 6.48  295 97.0
bitvector/jain_1_true-unreach-call_true-no-overflow.i 2.19 .934 225 20.3 2.14 .945 226 17.7 2.08 .923 224 18.5 2.06 .917 226 21.2
bitvector/jain_2_true-unreach-call_true-no-overflow.i 2.31 1.04  226 21.6 2.20 .974 224 19.4 2.12 .955 225 20.4 2.17 .967 224 19.8
bitvector/jain_4_true-unreach-call_true-no-overflow.i 2.20 .975 224 21.9 2.17 .972 225 19.1 2.13 .948 224 20.0 2.20 .978 225 19.5
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    897     322 10500   901    897     309 13800   901    897     316 11100   901    897     305 13700  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 2.15 .951 232 20.1 2.33 .956 229 20.9 2.20 .983 227 21.1 2.12 .957 222 17.8
bitvector/jain_7_true-unreach-call_true-no-overflow.i 2.22 1.00  225 20.6 2.17 .958 225 18.9 2.20 .963 224 20.6 2.21 .958 227 21.4
bitvector/modulus_true-unreach-call_true-no-overflow.i 2.76 1.61  230 29.6 2.83 1.60  231 26.8 2.88 1.59  233 28.7 2.80 1.60  228 26.8
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 3.24 1.60  271 33.7 3.30 1.57  268 28.8 3.18 1.57  269 30.5 3.15 1.57  272 29.8
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 3.14 1.56  269 32.3 3.19 1.58  270 28.6 3.22 1.60  268 31.1 3.15 1.55  271 32.9
bitvector/parity_true-unreach-call_true-no-overflow.i 2.41 1.02  266 21.3 2.39 1.03  266 23.5 2.44 1.01  262 21.8 2.44 1.03  263 24.9
bitvector/sum02_true-unreach-call_true-no-overflow.i 901    896     307 12000   901    897     304 12100   901    896     422 11600   901    897     301 11500  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 9.02 5.42  321 86.5 9.02 5.43  329 93.3 9.02 5.48  317 102   8.95 5.37  321 87.9
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 17.3  13.7   329 183   19.2  15.0   334 204   18.9  15.3   322 228   18.9  15.1   325 220  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 4.23 1.74  284 36.6 4.15 1.73  282 35.0 4.24 1.74  283 37.3 4.28 1.76  280 35.9
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 10.6  6.46  323 119   10.6  6.33  336 104   13.6  8.61  328 152   10.4  6.28  320 100  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 17.5  13.8   326 239   17.2  13.5   329 222   17.7  13.6   328 200   17.6  13.7   330 197  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    896     932 10700   901    896     899 9420   901    895     1130 7950   151    147     473 1920  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 278    273     662 3410   325    320     618 2590   333    328     619 2520   311    306     621 2890  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    894     832 5830   901    892     889 6960   901    893     1040 7510   902    894     875 7120  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    895     1240 7300   912    906     1180 6570   901    895     1070 7850   902    893     1110 8860  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    895     953 8230   901    895     1050 8040   901    894     1230 11300   901    895     820 9790  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 908    899     647 6430   901    893     647 6720   901    893     644 8990   901    893     652 6360  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    895     611 7140   902    894     661 8320   901    892     821 6750   901    893     726 6790  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 3.96 1.52  282 32.2 3.77 1.49  291 33.3 3.81 1.44  290 31.4 3.89 1.46  277 32.2
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 902    888     780 10300   902    889     803 11100   902    885     806 13000   902    889     786 10700  
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 10.8  6.23  367 113   11.3  6.43  355 118   11.9  6.32  363 124   11.2  6.32  353 99.2
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 3.20 1.31  271 25.3 3.16 1.30  273 29.2 3.16 1.31  271 27.3 3.13 1.30  268 29.8
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 902    887     799 13600   902    885     956 12300   902    886     925 11400   902    887     781 10900  
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.12 .919 233 17.9 2.16 .930 231 19.0 2.17 .946 225 20.6 2.04 .931 223 17.2
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.11 .920 226 19.3 2.13 .945 225 19.2 2.08 .921 221 17.7 2.32 1.00  231 18.1
bitvector-regression/integerpromotion_false-unreach-call.c 2.05 .933 226 20.7 2.13 .958 225 19.6 2.14 .941 227 21.9 2.10 .929 226 19.3
bitvector-regression/recHanoi03_false-unreach-call.c 2.13 .948 228 19.6 2.03 .904 221 17.6 2.04 .883 218 20.5 2.08 .910 222 18.6
bitvector-regression/signextension2_false-unreach-call.c 2.12 .926 227 20.2 2.24 .962 225 22.0 2.15 .931 228 18.0 2.25 .950 224 19.8
bitvector-regression/signextension_false-unreach-call.c 2.26 1.03  226 19.3 2.22 .952 226 17.9 2.18 .979 229 21.9 2.08 .952 225 19.8
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.07 .925 225 19.1 2.08 .926 226 17.9 2.05 .915 223 19.3 2.14 .936 225 17.0
bitvector-regression/integerpromotion_true-unreach-call.c 2.12 .940 229 19.1 2.12 .962 226 21.9 2.08 .944 224 17.7 2.23 1.04  225 21.6
bitvector-regression/signextension2_true-unreach-call.c 2.19 .950 229 19.9 2.27 .955 226 19.0 2.12 .942 221 19.6 2.16 .941 222 19.9
bitvector-regression/signextension_true-unreach-call.c 2.18 .958 228 22.6 2.16 .932 228 22.8 2.22 .998 225 19.3 2.21 .996 225 19.3
bitvector-loops/diamond_false-unreach-call2.i 2.62 1.09  272 22.1 2.74 1.22  273 23.6 2.62 1.11  263 23.1 2.61 1.13  271 22.5
bitvector-loops/overflow_false-unreach-call1.i 901    897     311 10100   901    897     308 13700   901    897     307 11600   901    897     309 10900  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 20.8  18.2   300 253   15.7  13.5   287 201   19.5  17.1   293 234   3.74 2.15  274 38.7
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.26 3.37  320 64.9 7.58 3.48  326 77.9 7.45 3.40  321 64.3 7.58 3.40  322 67.8
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.71 3.08  295 61.4 5.62 3.01  295 59.0 5.72 3.02  289 53.0 5.66 2.99  294 54.7
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.92 4.00  303 63.0 6.99 4.00  301 64.6 6.89 3.95  300 68.5 6.92 3.94  297 67.8
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 3.92 1.68  281 34.7 3.85 1.70  282 39.4 3.94 1.68  279 29.5 3.94 1.68  280 38.3
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.53 4.57  324 85.5 8.54 4.58  322 81.9 8.74 4.61  324 87.8 8.50 4.62  321 91.5
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 901    892     496 12200   901    892     490 11100   901    894     465 11100   901    892     488 13400  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.35 2.93  292 58.6 5.38 2.91  295 51.5 5.50 2.89  290 60.1 5.31 2.92  288 55.3
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.82 3.98  300 66.8 6.72 3.99  300 66.3 6.78 3.97  300 69.4 6.69 3.98  302 70.0
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.16 1.36  271 27.2 3.16 1.32  266 24.7 2.96 1.31  268 26.5 3.10 1.31  272 28.8
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.60 1.55  281 29.2 3.84 1.64  278 30.3 3.61 1.56  272 34.1 3.64 1.54  275 33.7
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 5.85 2.94  297 58.9 5.35 2.76  293 48.6 5.68 2.86  297 55.7 5.46 2.80  293 50.5
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 5.83 3.05  302 51.3 6.10 3.11  304 55.7 6.08 3.16  306 64.1 6.20 3.21  297 58.0
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 6.21 3.25  307 65.4 5.94 3.18  309 56.3 5.94 3.00  305 57.5 5.89 3.00  307 54.3
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 6.09 3.32  302 61.4 5.80 3.10  301 60.9 5.93 3.16  299 55.7 5.85 3.07  300 57.2
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 3.27 1.32  271 29.7 3.22 1.29  271 26.8 3.44 1.38  279 32.4 3.34 1.30  278 28.5
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 14.2  10.4   338 159   14.2  10.6   340 156   13.7  10.1   334 142   13.9  10.2   332 154  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 9.83 6.31  332 103   11.4  7.70  335 129   10.3  6.44  332 104   9.86 6.27  327 113  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 5.13 2.41  297 54.5 5.14 2.50  297 46.5 5.24 2.44  296 46.5 5.34 2.44  294 47.6
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 3.89 1.53  282 33.5 3.75 1.53  282 32.1 3.67 1.53  278 33.4 4.01 1.60  279 32.3
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 4.44 1.88  289 41.0 4.33 1.82  287 37.9 4.26 1.76  291 40.1 4.20 1.76  285 37.6
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 4.36 1.95  287 42.8 4.32 1.90  287 41.8 4.34 1.90  290 36.7 4.43 1.94  291 43.6
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 2.97 1.20  272 28.5 2.94 1.21  269 23.4 2.90 1.21  267 23.3 2.98 1.20  271 25.0
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 901    894     749 7420   901    892     704 6910   901    894     702 6590   901    893     703 7780  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 901    893     795 6830   901    892     823 8240   902    893     857 7260   901    895     842 7960  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 553    547     598 4510   749    743     633 5430   792    785     846 6130   901    891     883 6500  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 790    781     853 7030   901    892     704 6910   901    892     668 7600   674    667     653 5310  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 901    893     1240 7150   901    893     826 7500   911    902     815 6650   902    893     1000 6870  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 358    353     464 3870   120    116     441 1620   362    357     467 4340   680    675     511 8350  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 5.78 3.59  287 60.0 4.74 2.73  282 44.6 4.69 2.71  275 49.2 4.74 2.73  275 42.0
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 901    894     789 9210   901    892     887 6320   901    894     1080 8330   901    894     1010 5750  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 901    895     851 8520   901    894     956 6630   901    895     810 7240   901    895     1000 7610  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 901    893     828 6930   901    894     1070 7650   901    893     864 7520   911    903     890 6220  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 902    894     1160 7070   903    894     1340 7390   901    894     1130 9920   901    893     1110 8070  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 901    895     977 7080   901    894     1110 8220   901    894     985 7220   901    895     924 6670  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 911    902     1050 6520   912    902     1300 10600   901    891     1020 8040   901    892     914 8170  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.70 1.12  268 21.8 2.85 1.21  272 28.7 2.90 1.24  266 24.7 2.66 1.14  262 23.9
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.74 1.13  270 23.6 2.74 1.14  269 22.9 2.74 1.17  268 24.0 2.74 1.16  266 25.2
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 2.34 1.01  227 21.0 2.32 1.02  228 22.4 2.33 1.04  226 24.1 2.39 1.04  225 21.3
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 2.36 1.05  225 22.7 2.34 1.02  225 23.7 2.33 1.01  228 21.4 2.37 1.01  226 23.8
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 2.36 1.03  226 19.9 2.41 1.05  227 21.9 2.54 1.11  226 21.8 2.37 1.03  226 23.3
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 2.47 1.06  231 24.4 2.38 1.07  229 24.2 2.38 1.06  227 23.4 2.49 1.07  227 21.9
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 2.35 1.06  231 23.3 2.45 1.08  230 21.6 2.47 1.06  231 24.0 2.43 1.07  230 20.1
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 2.40 1.05  227 22.4 2.51 1.07  231 23.0 2.59 1.12  232 23.8 2.41 1.08  230 21.7
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.33 1.04  229 18.2 2.18 .975 226 22.8 2.24 .963 221 20.7 2.31 .985 222 19.7
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.22 .983 225 18.9 2.25 .995 223 21.4 2.28 1.00  227 18.2 2.23 .979 222 20.7
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.27 .976 225 22.9 2.32 .997 233 20.6 2.27 .992 229 21.1 2.23 .999 222 20.8
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 2.31 .996 228 19.5 2.40 1.00  223 22.1 2.27 .996 225 18.7 2.32 1.00  229 21.0
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 2.39 1.03  224 21.7 2.34 1.05  225 20.9 2.37 1.07  224 21.5 2.36 1.02  231 21.5
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    882     602 11200   901    882     622 11900   901    881     598 11900   901    880     624 11000  
ntdrivers/diskperf_false-unreach-call.i.cil.c 901    891     515 9220   901    891     557 11200   901    891     545 8430   901    891     560 8670  
ntdrivers/floppy_false-unreach-call.i.cil.c 903    895     1570 9590   906    898     1560 9780   514    495     749 6070   554    538     1260 5690  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 5.55 2.12  302 54.6 5.84 2.26  305 47.9 5.55 2.13  304 50.2 5.78 2.39  303 54.1
ntdrivers/parport_false-unreach-call.i.cil.c 916    601     11800 9050   917    585     11500 9570   918    594     11600 9860   918    616     11900 9380  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 15.4  6.78  376 131   15.5  6.82  383 141   16.9  6.53  422 142   18.9  8.07  434 178  
ntdrivers/diskperf_true-unreach-call.i.cil.c 901    890     556 9820   901    890     564 8080   901    891     535 9450   901    890     548 8840  
ntdrivers/floppy2_true-unreach-call.i.cil.c 104    90.8   753 1090   208    192     893 2470   182    167     860 2050   292    277     906 3280  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 910    903     1570 10600   903    896     1560 10000   586    572     676 8000   422    406     678 5120  
ntdrivers/parport_true-unreach-call.i.cil.c 920    609     11700 8660   920    562     11000 9370   937    568     11200 8210   916    634     12200 9330  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 9.99 6.28  334 109   9.97 6.29  327 102   8.94 5.05  324 102   9.45 5.83  322 95.8
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 7.21 3.95  314 69.6 7.25 3.94  315 75.4 6.87 3.27  316 69.9 7.62 4.31  308 87.6
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 8.83 5.57  318 79.8 9.15 5.70  320 89.7 6.78 3.35  311 66.6 7.53 4.18  313 70.6
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 7.04 3.67  312 64.8 7.02 3.61  314 64.3 7.00 3.38  315 70.8 7.20 3.95  311 71.3
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 5.31 2.17  306 47.3 5.41 2.24  303 44.9 5.16 2.03  295 47.8 5.29 2.09  304 45.3
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 5.39 2.14  299 49.8 5.28 2.22  300 39.5 5.12 2.04  301 48.8 5.28 2.26  306 50.9
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 5.67 2.31  300 46.2 5.24 2.16  300 47.7 5.16 2.06  302 51.3 5.32 2.17  300 51.7
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 5.18 2.05  299 44.2 5.24 2.08  306 53.1 5.34 2.17  299 50.6 5.12 2.14  300 49.0
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 9.35 5.48  325 90.7 9.45 5.52  325 91.4 8.77 4.79  326 83.4 9.20 5.40  323 95.9
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 8.78 4.81  324 84.3 8.44 4.69  323 83.3 7.88 3.92  315 73.5 7.97 4.49  343 80.7
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 65.0  59.0   492 681   67.5  61.7   490 754   46.2  40.3   455 429   56.2  50.7   472 535  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 8.25 4.58  324 78.1 8.11 4.53  315 79.4 7.99 4.01  319 76.6 8.00 4.38  316 82.2
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 62.8  56.8   513 601   71.8  66.5   477 858   40.5  34.7   426 423   49.1  43.7   423 537  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 6.41 2.96  306 53.1 6.29 2.85  307 61.0 6.28 2.66  314 62.0 6.71 3.28  312 71.5
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 8.32 4.63  326 90.2 8.47 4.86  321 95.3 8.03 4.23  318 70.8 9.20 5.43  325 89.4
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 8.62 4.79  318 81.3 8.32 4.57  317 79.6 7.64 3.63  315 73.3 8.17 4.52  316 92.6
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 8.90 5.02  324 78.3 8.71 5.01  325 83.0 8.35 4.40  316 78.8 9.35 5.57  323 92.6
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 24.7  20.4   438 312   56.5  50.2   462 554   37.5  32.0   405 389   55.7  50.0   460 512  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 9.46 5.57  322 87.1 9.34 5.29  322 93.2 8.19 4.44  321 79.9 10.6  6.83  337 107  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 904    897     1020 7930   416    411     721 3980   901    895     935 7510   901    895     913 6980  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 902    896     849 9170   901    894     911 8240   908    901     990 9000   901    894     877 6860  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 901    894     841 7150   901    895     853 7850   280    275     654 2570   901    894     800 6610  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 13.7  10.1   337 154   13.5  10.1   341 173   901    895     1120 8080   901    895     742 7750  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 901    894     938 9230   901    893     961 10100   901    893     852 8340   843    834     957 6910  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 159    154     763 1420   912    906     2390 7620   15.9  11.9   354 165   901    894     954 8010  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 902    896     1040 8070   853    846     1160 6770   901    893     949 8460   190    184     655 1500  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 911    905     736 8540   903    896     938 8620   440    434     710 4300   901    894     1260 6350  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 901    895     1110 10300   794    786     1060 6170   901    893     853 8320   901    895     1110 10900  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 902    895     933 9010   904    897     995 7490   86.2  80.9   484 753   901    894     1080 6890  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 902    895     909 8150   206    201     650 2180   901    892     961 9330   901    893     988 8320  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 901    895     1100 10800   901    895     907 8530   901    892     958 6840   901    895     1020 9680  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 901    895     886 10600   901    895     914 9750   802    794     804 6160   901    894     1250 7130  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 901    894     1200 9050   903    897     807 9330   292    286     683 2500   901    894     1110 7460  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 902    895     1040 8570   901    894     929 11800   905    897     882 7040   902    895     1540 7740  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 905    897     1210 7260   902    893     1350 8040   902    892     824 7610   902    891     960 7460  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 902    896     920 9490   912    906     1750 5800   901    891     921 8810   901    893     1340 7520  
eca-rers2012/Problem01_label15_false-unreach-call.c 14.4  5.92  553 128   14.8  6.28  548 121   13.1  5.75  535 116   14.4  6.10  556 130  
eca-rers2012/Problem01_label20_false-unreach-call.c 26.3  15.8   614 213   25.7  15.6   617 240   27.8  17.2   598 224   26.1  16.7   616 239  
eca-rers2012/Problem01_label21_false-unreach-call.c 12.5  5.64  533 118   15.0  6.24  554 124   13.6  6.09  535 113   13.4  5.64  553 131  
eca-rers2012/Problem01_label32_false-unreach-call.c 24.8  16.9   578 197   25.4  15.9   602 228   24.3  16.1   569 214   27.6  17.4   599 263  
eca-rers2012/Problem01_label33_false-unreach-call.c 17.6  9.05  549 141   17.2  9.71  535 151   19.1  9.13  553 155   18.4  8.90  581 150  
eca-rers2012/Problem01_label35_false-unreach-call.c 13.7  5.94  533 118   14.7  6.04  548 125   15.0  6.00  548 126   14.2  5.95  542 117  
eca-rers2012/Problem01_label37_false-unreach-call.c 18.9  9.21  568 178   17.9  9.17  562 161   17.0  9.29  549 155   16.7  9.44  534 148  
eca-rers2012/Problem01_label38_false-unreach-call.c 13.3  6.25  535 126   12.7  5.94  522 108   13.6  5.75  546 120   15.1  6.21  552 131  
eca-rers2012/Problem01_label44_false-unreach-call.c 10.5  3.88  490 78.2 11.1  3.95  509 81.5 10.7  3.86  493 87.5 12.0  4.04  518 88.4
eca-rers2012/Problem01_label47_false-unreach-call.c 22.7  15.0   561 236   22.1  14.1   576 211   25.1  15.6   602 248   25.3  14.8   598 269  
eca-rers2012/Problem01_label50_false-unreach-call.c 14.5  6.04  548 118   12.5  5.81  542 114   15.4  5.83  550 130   12.9  5.87  535 126  
eca-rers2012/Problem01_label56_false-unreach-call.c 17.6  9.22  546 181   17.8  9.52  558 174   19.5  9.65  579 163   17.1  9.31  558 163  
eca-rers2012/Problem01_label57_false-unreach-call.c 17.3  8.94  565 185   19.7  9.74  569 162   18.6  9.20  563 189   19.9  9.31  569 165  
eca-rers2012/Problem02_label13_false-unreach-call.c 8.69 2.61  427 72.5 8.43 2.69  415 75.1 8.92 2.77  408 80.5 8.39 2.58  405 67.7
eca-rers2012/Problem02_label16_false-unreach-call.c 8.53 2.69  412 74.3 8.52 2.73  390 71.5 8.18 2.68  397 67.9 8.78 2.76  407 71.8
eca-rers2012/Problem02_label43_false-unreach-call.c 8.80 2.72  414 77.7 8.66 2.68  423 61.4 9.22 2.74  410 72.5 8.35 2.61  411 75.2
eca-rers2012/Problem02_label44_false-unreach-call.c 8.43 2.69  419 71.2 8.33 2.69  423 66.9 8.38 2.71  397 69.3 8.75 2.64  433 70.3
eca-rers2012/Problem02_label45_false-unreach-call.c 10.8  3.75  489 93.1 11.1  3.81  491 97.0 10.7  3.79  495 83.2 10.7  3.60  481 82.3
eca-rers2012/Problem02_label50_false-unreach-call.c 10.8  3.75  494 91.1 11.5  4.06  483 92.7 11.5  3.76  492 105   11.6  3.86  476 105  
eca-rers2012/Problem02_label59_false-unreach-call.c 10.4  3.59  501 95.6 11.1  3.66  497 90.0 11.3  3.83  488 88.3 11.3  3.69  488 87.8
eca-rers2012/Problem03_label09_false-unreach-call.c 54.9  38.0   1040 418   54.9  39.5   1070 419   50.9  35.9   1030 462   51.4  38.8   1010 448  
eca-rers2012/Problem03_label13_false-unreach-call.c 29.7  15.9   832 289   32.3  16.4   847 285   31.6  17.3   824 266   32.8  17.3   839 269  
eca-rers2012/Problem03_label26_false-unreach-call.c 23.5  10.3   721 165   24.8  10.2   764 202   21.7  10.0   723 189   21.9  9.61  730 188  
eca-rers2012/Problem03_label27_false-unreach-call.c 32.3  17.8   826 291   30.6  16.8   836 287   31.2  15.3   891 285   28.8  16.1   828 227  
eca-rers2012/Problem03_label28_false-unreach-call.c 31.8  18.0   832 267   32.5  17.1   877 252   31.9  15.8   862 257   27.9  15.8   807 289  
eca-rers2012/Problem03_label31_false-unreach-call.c 33.7  17.1   809 259   27.4  16.1   813 258   30.3  17.2   819 266   28.3  15.1   816 269  
eca-rers2012/Problem03_label35_false-unreach-call.c 52.1  36.8   1010 431   43.9  30.7   952 472   51.8  36.6   1010 441   44.0  30.3   975 381  
eca-rers2012/Problem03_label37_false-unreach-call.c 30.7  17.0   819 265   28.0  16.3   807 227   28.2  17.0   812 244   33.1  17.9   823 267  
eca-rers2012/Problem03_label39_false-unreach-call.c 47.7  31.1   994 405   48.5  33.5   988 355   46.8  30.0   973 416   44.8  32.1   975 402  
eca-rers2012/Problem03_label43_false-unreach-call.c 29.3  17.2   816 276   29.0  16.1   833 279   29.8  16.4   851 270   30.4  16.3   821 265  
eca-rers2012/Problem03_label45_false-unreach-call.c 44.6  29.9   987 376   45.8  32.9   946 394   46.7  33.3   955 410   44.7  30.7   991 374  
eca-rers2012/Problem03_label50_false-unreach-call.c 30.7  18.1   829 263   31.9  16.8   833 276   30.8  16.4   835 252   29.2  16.4   816 235  
eca-rers2012/Problem03_label52_false-unreach-call.c 49.3  35.1   982 438   46.4  33.1   944 420   46.6  34.1   969 415   45.5  30.3   993 338  
eca-rers2012/Problem04_label04_false-unreach-call.c 906    885     3980 9110   904    883     3140 7380   907    886     3140 8580   907    884     3980 7270  
eca-rers2012/Problem04_label06_false-unreach-call.c 908    888     3410 8840   905    885     2980 5110   906    884     2710 4440   905    884     2800 6420  
eca-rers2012/Problem04_label09_false-unreach-call.c 906    886     2870 6410   906    884     2730 6800   904    884     2910 6030   904    883     2700 7220  
eca-rers2012/Problem04_label11_false-unreach-call.c 904    883     2850 7200   904    883     3010 5940   905    885     2810 6020   904    883     2820 5880  
eca-rers2012/Problem04_label12_false-unreach-call.c 907    887     2810 7120   902    882     2770 6930   905    884     2870 7020   906    887     2820 6570  
eca-rers2012/Problem04_label13_false-unreach-call.c 907    888     3040 6770   905    883     3030 6470   904    882     3060 7560   905    885     3090 8010  
eca-rers2012/Problem04_label14_false-unreach-call.c 905    883     2840 5700   905    883     2750 8700   906    884     2700 5300   903    882     2790 7280  
eca-rers2012/Problem04_label15_false-unreach-call.c 904    883     2850 4480   907    886     2840 6930   905    884     2770 6490   904    884     2830 7420  
eca-rers2012/Problem04_label17_false-unreach-call.c 908    887     3610 7520   904    882     3560 5270   904    885     3530 8790   904    884     3570 5790  
eca-rers2012/Problem04_label18_false-unreach-call.c 905    885     2880 5200   906    884     3030 6270   907    887     3010 5520   906    883     2940 6820  
eca-rers2012/Problem04_label19_false-unreach-call.c 905    885     3040 5980   906    884     2780 6780   906    886     2770 6530   907    885     2790 5680  
eca-rers2012/Problem04_label26_false-unreach-call.c 906    885     2850 5860   906    885     2970 6060   905    884     2810 5870   904    885     2930 6880  
eca-rers2012/Problem04_label27_false-unreach-call.c 904    883     3010 6050   906    888     4220 9400   902    882     2750 6140   905    885     2790 6650  
eca-rers2012/Problem04_label31_false-unreach-call.c 904    885     2760 7030   907    887     2820 7240   904    884     2760 6840   906    886     2880 7530  
eca-rers2012/Problem04_label32_false-unreach-call.c 906    885     2880 6740   906    886     2960 7650   905    883     3320 7630   905    885     2850 5810  
eca-rers2012/Problem04_label35_false-unreach-call.c 903    883     2770 5830   904    884     2770 6250   905    884     2780 6820   906    884     2870 6670  
eca-rers2012/Problem04_label36_false-unreach-call.c 905    885     3590 6870   908    888     2770 6230   904    884     2970 6120   903    883     2950 6640  
eca-rers2012/Problem04_label38_false-unreach-call.c 904    883     3040 6810   904    885     2890 5930   907    886     2900 6670   904    883     2810 7330  
eca-rers2012/Problem04_label39_false-unreach-call.c 906    886     3150 7910   904    884     3140 6800   907    887     3650 6890   907    887     3080 5650  
eca-rers2012/Problem04_label40_false-unreach-call.c 905    884     2890 6150   908    886     2830 6640   905    883     2840 6340   905    886     2850 5890  
eca-rers2012/Problem04_label45_false-unreach-call.c 903    884     5080 9020   903    883     5010 9310   904    883     2820 6050   904    884     5130 7350  
eca-rers2012/Problem04_label52_false-unreach-call.c 904    883     2890 6260   904    884     2870 6600   904    886     3240 9010   912    890     2860 6030  
eca-rers2012/Problem04_label55_false-unreach-call.c 905    885     2920 6070   905    884     2820 5950   907    886     2870 7360   905    883     2800 6110  
eca-rers2012/Problem04_label58_false-unreach-call.c 905    884     2940 7240   904    882     2930 6220   905    887     2890 6660   906    885     2950 6080  
eca-rers2012/Problem05_label00_false-unreach-call.c 906    880     4450 6400   907    880     4440 6810   828    799     4790 6300   912    885     7320 8010  
eca-rers2012/Problem05_label01_false-unreach-call.c 906    881     5290 6190   912    888     5700 7490   912    888     5910 9230   914    885     5330 7530  
eca-rers2012/Problem05_label11_false-unreach-call.c 911    885     6960 8180   802    771     4630 5300   912    887     6130 7930   911    885     7020 7130  
eca-rers2012/Problem05_label13_false-unreach-call.c 869    841     5020 7490   640    613     4540 5810   908    886     5950 7240   903    875     5110 7070  
eca-rers2012/Problem05_label15_false-unreach-call.c 912    889     5490 7150   909    883     5480 6780   908    882     5520 7890   908    881     5500 7180  
eca-rers2012/Problem05_label18_false-unreach-call.c 807    777     4520 5440   912    889     7700 6830   912    887     6040 6290   909    887     7660 7780  
eca-rers2012/Problem05_label24_false-unreach-call.c 905    879     5620 7040   906    879     5030 7880   907    881     5020 7800   902    876     4870 7210  
eca-rers2012/Problem05_label26_false-unreach-call.c 906    882     5410 7310   905    876     5430 8680   906    879     5430 6760   906    881     5410 7750  
eca-rers2012/Problem05_label30_false-unreach-call.c 905    881     4780 10600   770    744     4840 6340   912    889     5510 9320   903    878     4270 6040  
eca-rers2012/Problem05_label32_false-unreach-call.c 909    887     5610 6660   908    882     5660 7820   911    887     5590 7360   903    874     5390 7770  
eca-rers2012/Problem05_label33_false-unreach-call.c 860    828     4710 6350   764    737     4540 5930   859    829     4940 7670   906    878     5010 5840  
eca-rers2012/Problem05_label36_false-unreach-call.c 847    819     4730 6400   772    743     4480 5320   906    880     4890 7490   795    764     4720 7250  
eca-rers2012/Problem05_label37_false-unreach-call.c 908    884     6880 10700   906    878     4840 8760   907    880     4810 6500   912    889     6930 9000  
eca-rers2012/Problem05_label38_false-unreach-call.c 829    797     4940 6020   843    814     4910 6970   907    883     5610 7250   906    880     5360 5780  
eca-rers2012/Problem05_label39_false-unreach-call.c 906    880     5860 8100   907    881     5850 8060   905    879     5850 7450   908    883     5830 7510  
eca-rers2012/Problem05_label40_false-unreach-call.c 821    789     4520 5650   790    760     4530 5750   789    760     4490 7020   810    777     4530 7240  
eca-rers2012/Problem05_label41_false-unreach-call.c 847    816     5030 6290   826    796     5120 7040   837    807     5030 8340   870    840     4990 7570  
eca-rers2012/Problem05_label44_false-unreach-call.c 904    878     5080 6780   871    841     5080 7040   906    878     4420 7070   891    861     5110 7420  
eca-rers2012/Problem05_label47_false-unreach-call.c 906    880     7590 7420   874    841     4800 6930   913    886     7500 8790   863    833     4800 6800  
eca-rers2012/Problem05_label48_false-unreach-call.c 911    886     5430 9680   908    884     6380 6960   909    884     6420 9540   910    886     5440 10400  
eca-rers2012/Problem05_label51_false-unreach-call.c 860    828     4980 6550   847    820     5060 6510   821    792     5080 7680   847    819     4950 6420  
eca-rers2012/Problem05_label55_false-unreach-call.c 907    883     6430 7740   910    886     6430 7450   910    884     6460 7610   909    887     6500 6950  
eca-rers2012/Problem05_label57_false-unreach-call.c 906    881     5440 8300   909    882     5530 9840   907    881     5490 6630   908    879     5400 7710  
eca-rers2012/Problem05_label58_false-unreach-call.c 795    767     4630 7340   801    772     4680 6290   724    696     4400 7180   794    764     4690 6080  
eca-rers2012/Problem06_label00_false-unreach-call.c 381    354     5620 3520   362    335     5770 3490   377    351     5750 3350   361    338     5680 3470  
eca-rers2012/Problem06_label01_false-unreach-call.c 220    195     2940 2010   219    193     2980 2090   227    201     2950 1880   227    200     2910 1800  
eca-rers2012/Problem06_label02_false-unreach-call.c 284    257     3510 2340   258    234     3320 2070   289    262     3470 2560   244    220     3280 2500  
eca-rers2012/Problem06_label04_false-unreach-call.c 302    277     3690 2520   306    280     3780 2550   293    264     3760 2840   305    281     3730 2440  
eca-rers2012/Problem06_label05_false-unreach-call.c 204    178     2770 1470   212    184     2860 2170   200    174     2860 1910   212    187     2860 1580  
eca-rers2012/Problem06_label09_false-unreach-call.c 233    204     2980 1720   236    210     2960 1960   246    220     3020 1980   228    201     2990 2200  
eca-rers2012/Problem06_label10_false-unreach-call.c 222    196     3150 1760   237    209     3120 1920   205    181     2970 2170   230    203     3180 1600  
eca-rers2012/Problem06_label11_false-unreach-call.c 209    184     3020 2060   218    192     3000 1860   209    183     3040 2170   203    179     2980 1680  
eca-rers2012/Problem06_label12_false-unreach-call.c 231    204     2960 1840   228    204     2940 1960   216    190     2830 1950   211    185     2880 1960  
eca-rers2012/Problem06_label15_false-unreach-call.c 201    173     2810 1650   202    176     2840 1550   199    175     2780 1780   208    185     2810 1560  
eca-rers2012/Problem06_label20_false-unreach-call.c 215    188     3170 1740   230    202     3100 2060   229    204     3110 1720   237    210     3060 1950  
eca-rers2012/Problem06_label21_false-unreach-call.c 192    165     2770 1590   209    182     2850 1620   197    172     2730 1490   217    190     2850 1920  
eca-rers2012/Problem06_label24_false-unreach-call.c 237    212     3040 2310   246    218     3110 2120   232    205     3070 1980   252    227     3110 2260  
eca-rers2012/Problem06_label27_false-unreach-call.c 195    170     2790 1550   195    167     2820 1830   189    162     2760 1410   172    147     2690 1570  
eca-rers2012/Problem06_label29_false-unreach-call.c 218    191     3040 1780   225    197     2950 2050   224    197     3010 1780   224    199     2950 2130  
eca-rers2012/Problem06_label33_false-unreach-call.c 195    173     2810 1500   194    169     2870 1440   177    152     2750 1480   213    185     2840 1530  
eca-rers2012/Problem06_label36_false-unreach-call.c 212    184     2810 1670   197    173     2860 1530   205    178     2820 1730   206    178     2840 1780  
eca-rers2012/Problem06_label37_false-unreach-call.c 210    185     3120 2330   221    195     3150 2000   203    175     2980 1610   231    203     3100 1790  
eca-rers2012/Problem06_label38_false-unreach-call.c 217    189     2810 1740   210    186     2820 1560   205    182     2800 1630   179    154     2730 1850  
eca-rers2012/Problem06_label44_false-unreach-call.c 215    191     2990 1750   206    181     2930 1640   213    185     2950 1880   221    194     2910 1970  
eca-rers2012/Problem06_label47_false-unreach-call.c 301    278     4290 2560   288    262     4270 2740   291    270     4250 2880   301    275     4350 3400  
eca-rers2012/Problem06_label48_false-unreach-call.c 228    202     3070 2260   227    200     3070 1840   217    190     3070 1840   218    192     3050 1750  
eca-rers2012/Problem06_label56_false-unreach-call.c 214    185     2870 1830   197    172     2860 1520   206    181     2880 1360   196    170     2830 1820  
eca-rers2012/Problem06_label58_false-unreach-call.c 219    190     2910 1690   187    160     2800 1600   216    192     2950 1350   219    194     2910 2070  
eca-rers2012/Problem06_label59_false-unreach-call.c 242    218     2990 1950   217    192     2940 1960   228    202     2920 1770   229    205     2950 1970  
eca-rers2012/Problem07_label03_false-unreach-call.c 490    448     15000 4220   462    418     15000 4250   455    412     15000 4730   465    422     15000 4510  
eca-rers2012/Problem07_label05_false-unreach-call.c 912    864     12700 8970   912    865     12800 7380   912    870     12800 8320   912    866     12700 8830  
eca-rers2012/Problem07_label06_false-unreach-call.c 912    864     12900 6930   912    868     13200 7510   912    866     13100 6950   912    865     12900 7080  
eca-rers2012/Problem07_label07_false-unreach-call.c 912    873     12400 7570   913    872     12500 7140   912    872     12300 9170   913    868     12600 6870  
eca-rers2012/Problem07_label09_false-unreach-call.c 912    866     12900 6910   912    866     13000 8160   912    865     12900 7260   911    866     15000 7840  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    864     12800 6980   912    863     12900 6850   888    841     15000 7160   912    864     12800 8080  
eca-rers2012/Problem07_label15_false-unreach-call.c 203    166     15000 1790   207    167     15000 1800   206    167     15000 2020   211    173     15000 1930  
eca-rers2012/Problem07_label18_false-unreach-call.c 908    865     15000 8610   912    869     13100 8290   912    865     12800 6850   912    866     12800 7490  
eca-rers2012/Problem07_label19_false-unreach-call.c 427    387     15000 5020   289    254     15000 2630   245    207     15000 1910   254    216     15000 2430  
eca-rers2012/Problem07_label20_false-unreach-call.c 912    864     13000 7980   912    871     12900 7250   912    867     12900 7610   912    866     12700 6920  
eca-rers2012/Problem07_label23_false-unreach-call.c 912    864     12900 7080   912    865     13000 8230   912    867     13000 6920   912    864     12900 7710  
eca-rers2012/Problem07_label30_false-unreach-call.c 561    520     15000 5310   525    483     15000 4450   548    504     15000 4900   520    476     15000 5480  
eca-rers2012/Problem07_label31_false-unreach-call.c 912    863     12900 7410   912    867     12900 8520   912    866     13100 7890   912    870     13000 7160  
eca-rers2012/Problem07_label35_false-unreach-call.c 912    866     12900 7250   864    823     15000 8060   912    869     13000 7960   904    857     15000 7640  
eca-rers2012/Problem07_label36_false-unreach-call.c 505    463     15000 4050   893    847     15000 7670   501    461     15000 5110   525    482     15000 3530  
eca-rers2012/Problem07_label37_false-unreach-call.c 912    867     12800 8880   912    866     13000 7960   878    835     15000 6670   912    865     12900 7750  
eca-rers2012/Problem07_label39_false-unreach-call.c 448    409     15000 5340   481    438     15000 3840   490    449     15000 4120   462    420     15000 4140  
eca-rers2012/Problem07_label40_false-unreach-call.c 912    868     12900 7570   883    838     15000 6180   856    810     15000 6990   910    866     15000 7490  
eca-rers2012/Problem07_label42_false-unreach-call.c 912    868     15000 7490   869    820     15000 6170   830    786     15000 6930   852    805     15000 9060  
eca-rers2012/Problem07_label44_false-unreach-call.c 523    480     15000 4170   554    514     15000 4920   536    492     15000 4940   544    502     15000 4760  
eca-rers2012/Problem07_label46_false-unreach-call.c 870    822     15000 10000   906    861     15000 7400   817    769     15000 7270   843    799     15000 7650  
eca-rers2012/Problem07_label47_false-unreach-call.c 912    869     13200 6960   847    802     15000 10100   866    823     15000 8640   912    866     13300 7010  
eca-rers2012/Problem07_label48_false-unreach-call.c 912    867     12900 8520   912    868     13000 7810   912    864     12900 8460   912    867     12800 7330  
eca-rers2012/Problem07_label58_false-unreach-call.c 912    864     12800 7490   912    867     12900 8290   912    865     12900 7130   912    864     12900 7640  
eca-rers2012/Problem08_label01_false-unreach-call.c 403    338     15000 4040   410    345     15000 3870   393    325     15000 3770   410    341     15000 4220  
eca-rers2012/Problem08_label02_false-unreach-call.c 346    278     15000 2830   380    312     15000 4260   384    320     15000 3330   385    318     15000 3420  
eca-rers2012/Problem08_label04_false-unreach-call.c 364    294     15000 3180   361    298     15000 3210   362    295     15000 3260   375    306     15000 3260  
eca-rers2012/Problem08_label05_false-unreach-call.c 351    287     15000 3630   349    284     15000 3100   349    282     15000 3940   349    283     15000 3230  
eca-rers2012/Problem08_label06_false-unreach-call.c 378    309     15000 3030   418    350     15000 3420   354    286     15000 4180   366    298     15000 3220  
eca-rers2012/Problem08_label07_false-unreach-call.c 341    290     15000 3370   366    300     15000 3070   382    316     15000 3320   390    323     15000 3370  
eca-rers2012/Problem08_label10_false-unreach-call.c 372    306     15000 3570   376    308     15000 3060   356    299     15000 3320   362    308     15000 3180  
eca-rers2012/Problem08_label13_false-unreach-call.c 387    318     15000 3330   360    297     15000 3130   348    296     15000 2880   336    283     15000 3160  
eca-rers2012/Problem08_label15_false-unreach-call.c 352    297     15000 3530   408    339     15000 3970   395    329     15000 3800   406    336     15000 4060  
eca-rers2012/Problem08_label24_false-unreach-call.c 374    308     15000 3330   370    305     15000 3230   374    304     15000 3640   362    299     15000 3210  
eca-rers2012/Problem08_label25_false-unreach-call.c 409    339     15000 3560   386    320     15000 3130   402    333     15000 3600   366    299     15000 3730  
eca-rers2012/Problem08_label26_false-unreach-call.c 465    400     15000 4610   425    361     15000 3940   425    358     15000 3700   432    362     15000 3600  
eca-rers2012/Problem08_label28_false-unreach-call.c 403    333     15000 3860   400    333     15000 3680   367    299     15000 3080   394    325     15000 4570  
eca-rers2012/Problem08_label29_false-unreach-call.c 380    313     15000 3260   372    309     15000 2910   361    308     15000 3510   365    302     15000 3900  
eca-rers2012/Problem08_label34_false-unreach-call.c 362    292     15000 2930   358    295     15000 3160   360    293     15000 3030   403    339     15000 3540  
eca-rers2012/Problem08_label37_false-unreach-call.c 405    339     15000 2700   354    292     15000 3880   356    293     15000 3350   367    300     15000 3150  
eca-rers2012/Problem08_label43_false-unreach-call.c 354    301     15000 3310   374    307     15000 3170   357    292     15000 3140   381    314     15000 3010  
eca-rers2012/Problem08_label46_false-unreach-call.c 365    297     15000 3210   359    292     15000 3040   362    292     15000 3240   358    292     15000 3240  
eca-rers2012/Problem08_label48_false-unreach-call.c 396    329     15000 3370   353    288     15000 3220   365    297     15000 3110   370    304     15000 3360  
eca-rers2012/Problem08_label49_false-unreach-call.c 384    317     15000 3510   354    285     15000 3130   342    289     15000 2800   354    289     15000 2930  
eca-rers2012/Problem08_label50_false-unreach-call.c 398    330     15000 3420   358    304     15000 4000   382    313     15000 3390   424    358     15000 3570  
eca-rers2012/Problem08_label51_false-unreach-call.c 397    325     15000 4100   365    297     15000 3150   355    286     15000 3120   347    283     15000 3640  
eca-rers2012/Problem08_label55_false-unreach-call.c 396    329     15000 2940   388    323     15000 3870   392    327     15000 3840   388    321     15000 3430  
eca-rers2012/Problem08_label59_false-unreach-call.c 348    280     15000 3480   389    320     15000 3490   355    286     15000 3010   347    280     15000 3620  
eca-rers2012/Problem09_label02_false-unreach-call.c 240    194     15000 2310   450    384     15000 3770   260    196     15000 2420   442    385     15000 3710  
eca-rers2012/Problem09_label03_false-unreach-call.c 266    198     15000 2390   779    713     15000 7510   801    731     15000 6970   250    199     15000 2420  
eca-rers2012/Problem09_label06_false-unreach-call.c 499    434     15000 5540   243    200     15000 2830   260    198     15000 2490   239    196     15000 2070  
eca-rers2012/Problem09_label08_false-unreach-call.c 264    202     15000 2700   260    198     15000 2680   257    195     15000 2690   265    195     15000 2700  
eca-rers2012/Problem09_label10_false-unreach-call.c 257    195     15000 2370   258    195     15000 2300   651    598     15000 5470   692    620     15000 5790  
eca-rers2012/Problem09_label11_false-unreach-call.c 267    202     15000 2360   268    202     15000 2780   263    199     15000 2330   438    383     15000 4610  
eca-rers2012/Problem09_label15_false-unreach-call.c 458    388     15000 4330   250    197     15000 2630   264    199     15000 2370   261    198     15000 2630  
eca-rers2012/Problem09_label19_false-unreach-call.c 272    203     15000 2320   260    196     15000 2390   416    348     15000 3810   263    202     15000 2700  
eca-rers2012/Problem09_label20_false-unreach-call.c 258    197     15000 2200   260    197     15000 2290   481    410     15000 5470   278    212     15000 2290  
eca-rers2012/Problem09_label32_false-unreach-call.c 428    360     15000 3890   412    352     15000 3570   261    197     15000 2250   261    196     15000 2960  
eca-rers2012/Problem09_label34_false-unreach-call.c 440    368     15000 3990   258    195     15000 2280   430    360     15000 3510   435    364     15000 4530  
eca-rers2012/Problem09_label35_false-unreach-call.c 266    200     15000 2400   259    208     15000 2430   258    192     15000 2790   402    344     15000 3780  
eca-rers2012/Problem09_label36_false-unreach-call.c 260    198     15000 2390   431    372     15000 3630   259    197     15000 2500   261    200     15000 2350  
eca-rers2012/Problem09_label38_false-unreach-call.c 423    354     15000 3770   430    360     15000 4380   426    359     15000 4330   258    196     15000 2300  
eca-rers2012/Problem09_label41_false-unreach-call.c 436    367     15000 4700   466    396     15000 3870   430    377     15000 4570   255    195     15000 2370  
eca-rers2012/Problem09_label44_false-unreach-call.c 262    198     15000 2420   264    198     15000 2370   265    200     15000 2760   257    194     15000 2280  
eca-rers2012/Problem09_label46_false-unreach-call.c 265    203     15000 2490   259    197     15000 2400   268    206     15000 2520   685    615     15000 5310  
eca-rers2012/Problem09_label47_false-unreach-call.c 260    198     15000 2290   419    364     15000 4260   262    195     15000 2280   257    194     15000 2270  
eca-rers2012/Problem09_label51_false-unreach-call.c 262    197     15000 2900   260    196     15000 2260   259    197     15000 2340   243    197     15000 2530  
eca-rers2012/Problem09_label53_false-unreach-call.c 258    196     15000 2360   270    205     15000 2870   270    204     15000 2440   254    193     15000 2480  
eca-rers2012/Problem09_label54_false-unreach-call.c 254    194     15000 2630   269    201     15000 2690   249    200     15000 2350   263    198     15000 2360  
eca-rers2012/Problem09_label56_false-unreach-call.c 423    353     15000 4180   433    370     15000 3810   257    194     15000 2690   243    193     15000 2100  
eca-rers2012/Problem09_label57_false-unreach-call.c 257    196     15000 2760   259    195     15000 2790   260    196     15000 2490   450    382     15000 4390  
eca-rers2012/Problem09_label59_false-unreach-call.c 466    399     15000 3910   252    191     15000 3020   262    202     15000 2360   466    405     15000 3860  
eca-rers2012/Problem10_label12_false-unreach-call.c 902    895     483 11300   902    896     485 11500   902    895     484 11800   901    895     483 12400  
eca-rers2012/Problem10_label15_false-unreach-call.c 12.1  4.55  480 95.1 12.1  5.21  493 111   11.9  4.38  479 79.2 10.7  4.39  480 97.8
eca-rers2012/Problem10_label24_false-unreach-call.c 11.7  4.95  493 97.0 11.5  4.64  493 107   11.3  4.31  488 96.9 11.4  4.47  484 97.8
eca-rers2012/Problem10_label26_false-unreach-call.c 11.1  4.31  493 106   10.9  4.49  492 92.9 10.9  4.45  476 76.3 11.7  4.36  491 102  
eca-rers2012/Problem10_label28_false-unreach-call.c 12.5  5.30  488 110   10.8  4.51  487 88.3 13.3  6.10  469 119   11.9  5.08  483 104  
eca-rers2012/Problem10_label29_false-unreach-call.c 11.2  4.73  493 97.0 11.5  4.70  493 99.2 11.7  4.71  483 107   11.7  4.70  475 95.7
eca-rers2012/Problem10_label41_false-unreach-call.c 8.17 2.75  389 76.8 8.34 2.78  395 73.4 8.21 2.79  387 64.1 8.57 2.78  381 64.2
eca-rers2012/Problem10_label42_false-unreach-call.c 8.06 2.97  378 67.5 8.33 2.77  382 68.9 8.54 2.93  384 69.5 7.96 2.70  375 71.2
eca-rers2012/Problem10_label46_false-unreach-call.c 5.60 1.87  325 45.6 5.57 1.89  316 46.4 5.83 1.97  336 48.0 5.48 1.89  316 43.0
eca-rers2012/Problem10_label47_false-unreach-call.c 8.05 2.74  392 57.6 8.67 2.89  396 76.3 8.36 2.85  381 70.9 8.73 2.82  391 82.1
eca-rers2012/Problem10_label48_false-unreach-call.c 11.7  4.84  481 89.4 12.3  4.89  484 102   12.5  4.95  486 108   12.1  4.77  484 103  
eca-rers2012/Problem10_label50_false-unreach-call.c 11.8  5.13  500 96.1 11.7  5.10  499 101   12.3  5.17  505 103   12.0  5.04  496 96.6
eca-rers2012/Problem10_label55_false-unreach-call.c 8.33 2.74  385 67.6 8.07 2.78  389 69.6 8.30 2.89  389 76.5 8.22 2.67  377 68.3
eca-rers2012/Problem10_label57_false-unreach-call.c 11.6  4.68  500 89.5 10.9  4.76  493 105   11.2  4.59  483 104   11.8  4.69  477 103  
eca-rers2012/Problem10_label58_false-unreach-call.c 12.6  4.71  491 98.9 11.1  4.59  502 99.0 11.2  4.71  490 89.8 11.8  4.65  498 95.4
eca-rers2012/Problem11_label00_false-unreach-call.c 20.8  9.44  672 161   18.6  9.29  651 161   22.0  10.6   665 174   20.0  10.7   654 162  
eca-rers2012/Problem11_label08_false-unreach-call.c 12.4  4.56  557 96.6 11.5  4.35  549 96.7 14.1  4.71  565 115   12.3  4.36  540 112  
eca-rers2012/Problem11_label14_false-unreach-call.c 14.5  5.17  558 116   12.1  4.40  553 109   13.5  4.55  575 102   13.4  4.34  564 106  
eca-rers2012/Problem11_label15_false-unreach-call.c 12.7  4.19  547 105   11.4  4.27  565 99.3 11.5  4.35  539 109   11.5  4.11  557 102  
eca-rers2012/Problem11_label20_false-unreach-call.c 21.2  9.91  665 188   21.5  9.63  665 179   18.9  10.1   655 162   19.5  9.10  679 170  
eca-rers2012/Problem11_label29_false-unreach-call.c 12.1  4.62  569 110   14.2  4.66  574 110   12.1  4.98  570 123   11.8  4.74  563 100  
eca-rers2012/Problem11_label31_false-unreach-call.c 22.2  11.5   660 172   20.8  10.5   666 179   24.2  12.3   666 232   21.5  11.3   661 172  
eca-rers2012/Problem11_label34_false-unreach-call.c 20.4  11.6   653 180   22.9  12.0   663 186   24.7  13.0   672 199   22.0  10.7   661 213  
eca-rers2012/Problem11_label36_false-unreach-call.c 12.7  4.36  561 108   11.6  4.52  559 97.5 11.5  4.32  538 96.4 11.9  4.50  549 107  
eca-rers2012/Problem11_label39_false-unreach-call.c 27.3  16.3   666 276   20.5  11.4   646 168   25.5  15.6   660 262   21.4  10.8   662 176  
eca-rers2012/Problem11_label42_false-unreach-call.c 13.9  4.63  560 120   14.3  4.68  573 114   13.4  4.88  552 102   11.5  4.53  551 103  
eca-rers2012/Problem11_label43_false-unreach-call.c 13.0  4.30  553 103   12.7  4.48  553 112   14.4  4.98  563 113   14.3  4.59  553 101  
eca-rers2012/Problem11_label49_false-unreach-call.c 14.3  4.57  574 106   13.6  4.60  562 103   15.2  5.09  567 118   14.3  4.69  572 113  
eca-rers2012/Problem11_label51_false-unreach-call.c 13.4  4.70  575 107   14.4  4.63  550 110   13.3  4.45  566 111   12.6  4.44  548 101  
eca-rers2012/Problem11_label58_false-unreach-call.c 12.0  4.53  563 96.0 12.5  4.69  554 105   12.7  4.54  554 97.5 12.5  4.52  553 98.2
eca-rers2012/Problem12_label00_false-unreach-call.c 130    113     2770 1190   132    115     2630 1010   127    110     2680 1180   231    213     5500 1930  
eca-rers2012/Problem12_label03_false-unreach-call.c 114    96.0   2040 841   121    104     2040 1030   112    95.3   1990 1020   118    101     1990 899  
eca-rers2012/Problem12_label06_false-unreach-call.c 140    121     2400 1120   162    144     2200 1170   134    119     2360 1240   148    133     2350 1210  
eca-rers2012/Problem12_label07_false-unreach-call.c 139    122     2510 1140   184    167     2480 1870   183    166     2400 1450   158    141     2600 1600  
eca-rers2012/Problem12_label08_false-unreach-call.c 461    443     3680 3270   215    199     3920 2030   457    440     3780 4510   390    373     3970 3330  
eca-rers2012/Problem12_label10_false-unreach-call.c 117    99.3   2050 1040   112    96.2   1870 879   126    109     2200 1040   131    115     1840 1170  
eca-rers2012/Problem12_label13_false-unreach-call.c 173    157     3390 1490   139    123     2570 1040   151    135     3280 1230   136    118     2700 1040  
eca-rers2012/Problem12_label19_false-unreach-call.c 174    156     3860 1550   172    155     3960 1800   133    117     2300 1130   128    109     2300 1100  
eca-rers2012/Problem12_label20_false-unreach-call.c 104    89.7   2010 912   110    93.7   2010 932   93.4  76.7   1990 764   107    90.6   2060 867  
eca-rers2012/Problem12_label21_false-unreach-call.c 196    178     3190 1830   183    166     3260 1540   191    174     2940 1810   182    164     3070 1510  
eca-rers2012/Problem12_label25_false-unreach-call.c 228    213     4470 2030   121    104     2640 1130   198    181     4490 1990   192    177     4610 1740  
eca-rers2012/Problem12_label28_false-unreach-call.c 121    104     2010 971   117    101     1970 1160   114    98.1   2010 876   116    99.4   1970 904  
eca-rers2012/Problem12_label30_false-unreach-call.c 164    147     1930 1400   148    132     2350 910   154    137     1950 1120   153    135     1970 1210  
eca-rers2012/Problem12_label34_false-unreach-call.c 129    111     1900 942   109    91.4   1870 772   105    88.3   1890 1040   131    116     1880 1310  
eca-rers2012/Problem12_label35_false-unreach-call.c 126    109     2570 1050   142    126     2380 1110   131    116     2470 1350   130    112     2430 1020  
eca-rers2012/Problem12_label37_false-unreach-call.c 119    104     2180 1090   116    98.3   2270 935   117    98.8   2190 912   112    96.0   2200 1140  
eca-rers2012/Problem12_label38_false-unreach-call.c 129    110     2180 958   144    128     1820 1080   281    263     5840 2570   207    192     4790 2490  
eca-rers2012/Problem12_label39_false-unreach-call.c 141    124     1880 1260   148    132     2700 1300   202    185     3030 1670   148    131     2000 1170  
eca-rers2012/Problem12_label40_false-unreach-call.c 247    231     5190 2470   321    303     5050 3150   252    234     5060 2250   264    247     5010 2210  
eca-rers2012/Problem12_label42_false-unreach-call.c 165    147     2430 1470   170    154     2420 1440   203    187     2600 1690   175    158     2350 1370  
eca-rers2012/Problem12_label48_false-unreach-call.c 134    117     2320 1100   127    111     2340 1170   140    123     2340 1320   126    110     2230 1320  
eca-rers2012/Problem12_label50_false-unreach-call.c 118    101     2280 918   117    99.6   2280 926   116    99.8   2230 1050   114    96.3   2350 1030  
eca-rers2012/Problem12_label51_false-unreach-call.c 120    104     2250 883   119    100     2050 1230   118    101     2240 1050   125    107     2060 945  
eca-rers2012/Problem12_label52_false-unreach-call.c 150    132     2640 1650   148    130     2780 1220   125    108     2470 1140   129    111     2670 1110  
eca-rers2012/Problem12_label55_false-unreach-call.c 148    132     1840 1190   144    125     2020 1330   141    124     2010 1430   179    162     2080 1740  
eca-rers2012/Problem13_label04_false-unreach-call.c 312    293     2860 2270   329    311     2870 2470   397    381     2860 3350   410    392     2900 3300  
eca-rers2012/Problem13_label06_false-unreach-call.c 696    679     3570 6020   314    296     3550 2540   283    266     3250 2470   274    257     2380 2340  
eca-rers2012/Problem13_label07_false-unreach-call.c 228    209     2410 1700   282    261     4800 2390   192    176     2480 1640   205    188     2540 1680  
eca-rers2012/Problem13_label11_false-unreach-call.c 258    240     2440 1950   178    160     2450 1430   255    237     2470 1940   295    276     2480 2810  
eca-rers2012/Problem13_label12_false-unreach-call.c 602    584     2460 4670   902    885     2470 9790   845    826     2480 6210   904    888     2460 7690  
eca-rers2012/Problem13_label16_false-unreach-call.c 254    237     3100 1730   238    218     3150 1870   241    222     3130 1790   241    225     3060 1670  
eca-rers2012/Problem13_label19_false-unreach-call.c 273    254     4500 2850   261    244     4470 2390   293    272     4480 2670   262    241     4520 2090  
eca-rers2012/Problem13_label21_false-unreach-call.c 230    214     4480 1900   238    221     4510 2690   221    203     4540 1770   220    201     4490 1930  
eca-rers2012/Problem13_label23_false-unreach-call.c 359    340     2570 2760   346    329     2320 3460   339    318     2580 2260   358    341     2260 2290  
eca-rers2012/Problem13_label24_false-unreach-call.c 473    456     2250 3430   664    646     2230 4990   466    448     2240 3610   623    606     2260 5280  
eca-rers2012/Problem13_label25_false-unreach-call.c 329    313     3590 2650   339    321     2290 2140   274    256     2290 2190   273    255     3580 2220  
eca-rers2012/Problem13_label28_false-unreach-call.c 699    681     2270 5350   591    573     2330 4790   602    585     2320 4610   329    311     2470 3100  
eca-rers2012/Problem13_label29_false-unreach-call.c 671    654     2230 7060   364    347     2350 2530   509    492     2300 3730   378    359     2250 3170  
eca-rers2012/Problem13_label30_false-unreach-call.c 319    301     2330 2300   304    288     2310 2780   350    331     2420 2460   365    347     2400 2460  
eca-rers2012/Problem13_label32_false-unreach-call.c 329    312     2340 2370   350    332     2350 2430   526    507     2310 3550   269    252     2310 1940  
eca-rers2012/Problem13_label35_false-unreach-call.c 255    236     2340 1860   234    217     2320 1930   240    222     2300 2120   228    210     2350 1580  
eca-rers2012/Problem13_label36_false-unreach-call.c 903    886     2850 6580   902    884     2300 8760   902    884     2510 7580   902    886     2280 6210  
eca-rers2012/Problem13_label40_false-unreach-call.c 827    810     3350 5140   874    855     3370 6110   793    775     3330 7900   902    885     3590 9990  
eca-rers2012/Problem13_label43_false-unreach-call.c 247    229     2340 1870   259    242     2920 1840   239    223     2700 1690   242    224     2300 1690  
eca-rers2012/Problem13_label44_false-unreach-call.c 319    302     3950 3000   377    360     4720 3260   347    329     3670 2470