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_auflira z3-qf_auflira z3-qf_uflira z3-q_uflira
Options -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 12500M -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=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 12500M -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=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 13000M -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=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    895     547 13000   901    895     552 11400   901    896     435 11500   901    896     547 11900  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    896     381 11300   901    897     382 12400   901    897     316 10300   901    897     386 12200  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    896     383 11900   901    896     375 11100   901    898     318 12800   901    897     376 12300  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    895     512 11700   901    895     508 10600   901    896     482 11800   2.77 1.19  284 23.5
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    894     507 11000   901    894     519 10700   901    895     512 11600   2.75 1.20  284 22.6
array-examples/standard_allDiff2_false-unreach-call_ground.i 911    900     744 13200   902    890     813 10600   901    889     664 10700   902    886     837 10500  
array-examples/standard_copy1_false-unreach-call_ground.i 901    897     414 9720   901    897     409 10600   901    898     309 11300   901    896     545 10100  
array-examples/standard_copy2_false-unreach-call_ground.i 901    896     613 10700   901    896     613 14100   901    897     319 11000   901    896     737 11100  
array-examples/standard_copy3_false-unreach-call_ground.i 901    896     632 11100   901    896     641 11900   901    898     319 10600   901    896     709 10600  
array-examples/standard_copy4_false-unreach-call_ground.i 901    895     658 12700   901    895     651 11400   901    897     318 11800   901    895     728 11000  
array-examples/standard_copy5_false-unreach-call_ground.i 901    895     697 11100   901    895     678 11500   901    897     319 11100   901    895     784 11600  
array-examples/standard_copy6_false-unreach-call_ground.i 901    894     753 11900   901    894     757 12400   901    897     325 10300   901    895     864 11500  
array-examples/standard_copy7_false-unreach-call_ground.i 901    894     768 11900   901    894     770 9700   901    897     336 12300   901    894     923 10500  
array-examples/standard_copy8_false-unreach-call_ground.i 901    894     803 13400   901    893     814 10500   901    897     332 12800   901    894     941 11800  
array-examples/standard_copy9_false-unreach-call_ground.i 901    893     847 11200   901    893     863 11200   901    897     317 10700   901    893     946 10700  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    896     459 10500   901    896     438 9940   901    897     311 11300   901    896     477 12200  
array-examples/standard_init1_false-unreach-call_ground.i 901    897     420 12400   901    897     408 11500   901    898     309 10300   901    897     458 12900  
array-examples/standard_init2_false-unreach-call_ground.i 901    897     409 10300   901    897     413 11900   901    898     306 11800   901    897     447 11800  
array-examples/standard_init3_false-unreach-call_ground.i 901    897     423 11900   901    897     419 11000   901    897     311 13300   901    897     461 12000  
array-examples/standard_init4_false-unreach-call_ground.i 901    896     431 11400   901    897     448 11200   901    898     313 11400   901    897     469 11900  
array-examples/standard_init5_false-unreach-call_ground.i 901    896     440 12800   901    896     441 11100   901    897     312 11800   901    897     478 13400  
array-examples/standard_init6_false-unreach-call_ground.i 901    896     444 11600   901    896     443 13000   901    898     307 13500   901    896     483 9920  
array-examples/standard_init7_false-unreach-call_ground.i 901    897     460 11500   901    896     455 10100   901    897     321 13800   901    896     495 10700  
array-examples/standard_init8_false-unreach-call_ground.i 901    896     470 10500   901    896     477 13000   901    897     308 8830   901    896     508 13800  
array-examples/standard_init9_false-unreach-call_ground.i 901    896     488 11300   901    896     485 10700   901    897     316 10700   901    896     531 10700  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    897     380 10200   901    897     387 10600   901    897     311 11000   901    897     389 11800  
array-examples/standard_partition_false-unreach-call_ground.i 901    896     451 13900   901    896     441 12200   901    898     319 10500   901    896     433 11300  
array-examples/standard_running_false-unreach-call.i 901    896     429 11800   901    896     412 11900   901    898     310 10400   901    896     404 12300  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    892     647 9800   901    892     629 11100   901    893     544 14100   901    893     612 12500  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    895     548 11800   901    895     553 13500   901    897     443 10600   901    895     551 11400  
array-examples/relax_true-unreach-call.i 5.61 2.68  281 57.1 5.67 2.69  287 57.4 5.49 2.62  285 56.5 5.50 2.62  288 51.3
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    896     397 12900   901    896     396 12900   901    897     323 12600   901    896     395 12200  
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    897     551 9850   901    898     539 11500   901    898     316 10700   901    897     579 12400  
array-examples/sanfoundry_24_true-unreach-call.i 3.70 1.56  352 32.6 3.70 1.53  355 31.3 2.83 1.23  284 27.3 3.57 1.51  361 31.2
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    897     396 8820   901    897     390 11600   901    897     303 11400   901    897     388 11700  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.05 .931 223 17.7 2.07 .900 224 20.5 2.09 .941 221 19.3 2.31 1.04  221 21.7
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    897     387 12600   901    896     385 12900   901    898     315 12300   901    896     379 11600  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    894     581 10700   901    894     554 13000   901    894     507 12700   2.73 1.19  284 23.3
array-examples/standard_compareModified_true-unreach-call_ground.i 901    896     546 11500   901    896     554 11100   901    897     311 10600   912    907     668 10000  
array-examples/standard_compare_true-unreach-call_ground.i 901    896     412 14100   901    896     405 11200   901    897     311 11300   901    897     399 10400  
array-examples/standard_copy1_true-unreach-call_ground.i 901    897     559 11500   901    896     552 10500   901    897     311 11900   901    897     666 10600  
array-examples/standard_copy2_true-unreach-call_ground.i 901    897     608 14100   901    896     612 14000   901    898     309 11700   901    896     694 11800  
array-examples/standard_copy3_true-unreach-call_ground.i 901    896     633 11500   901    896     632 12600   901    898     312 11900   901    896     698 11500  
array-examples/standard_copy4_true-unreach-call_ground.i 901    895     647 9700   901    895     648 11700   901    897     315 11400   901    895     734 11300  
array-examples/standard_copy5_true-unreach-call_ground.i 901    895     704 11200   901    895     672 11200   901    897     321 10900   901    895     775 12300  
array-examples/standard_copy6_true-unreach-call_ground.i 901    895     759 10600   901    894     752 11600   901    897     329 11600   901    894     867 12100  
array-examples/standard_copy7_true-unreach-call_ground.i 901    894     776 14000   901    894     768 10700   901    897     338 9820   901    894     917 11700  
array-examples/standard_copy8_true-unreach-call_ground.i 901    893     824 11600   901    894     813 11400   901    897     331 10900   901    894     938 11100  
array-examples/standard_copy9_true-unreach-call_ground.i 901    893     865 11400   901    893     841 10300   901    897     317 10400   901    894     944 10600  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    896     443 12500   901    896     434 11500   901    897     311 11000   901    896     482 10700  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    896     449 11400   901    896     466 12600   901    897     314 11700   901    896     522 11800  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    896     434 10300   901    896     439 12000   901    898     313 12600   901    896     496 11000  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    896     439 12000   901    896     457 11200   901    898     311 12200   901    897     504 10200  
array-examples/standard_find_true-unreach-call_ground.i 901    897     415 11200   901    896     415 12200   901    898     316 10400   901    897     471 9710  
array-examples/standard_init1_true-unreach-call_ground.i 901    897     418 13200   901    897     410 11500   901    897     317 13600   901    897     459 10600  
array-examples/standard_init2_true-unreach-call_ground.i 901    897     411 10500   901    897     413 11600   901    898     311 10400   901    897     447 10700  
array-examples/standard_init3_true-unreach-call_ground.i 901    897     427 11300   901    897     421 10600   901    898     306 11300   901    897     453 13100  
array-examples/standard_init4_true-unreach-call_ground.i 901    896     436 11100   901    896     433 11200   901    898     309 9910   901    897     463 11000  
array-examples/standard_init5_true-unreach-call_ground.i 901    896     441 12400   901    897     444 10600   901    897     311 11400   901    897     483 11900  
array-examples/standard_init6_true-unreach-call_ground.i 901    896     447 11300   901    896     444 12000   901    897     306 13200   901    896     482 11100  
array-examples/standard_init7_true-unreach-call_ground.i 901    896     453 10900   901    896     463 11200   901    897     317 13200   901    896     497 14100  
array-examples/standard_init8_true-unreach-call_ground.i 901    896     469 10700   901    896     469 10500   901    898     308 10400   901    897     501 12600  
array-examples/standard_init9_true-unreach-call_ground.i 901    896     483 10700   901    896     481 13400   901    897     309 12000   901    896     517 11600  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    897     386 12500   901    897     388 12300   901    898     310 11700   901    897     387 12400  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    897     393 10200   901    897     391 12800   901    897     300 13400   901    897     390 11400  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    897     607 11700   901    897     611 13100   901    898     310 12900   901    897     662 12300  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    896     456 9780   901    896     454 12900   901    897     317 11100   901    896     449 11500  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    896     433 11400   901    896     431 11100   901    897     325 12100   901    896     432 12000  
array-examples/standard_partition_true-unreach-call_ground.i 901    896     403 11000   901    897     396 12500   901    897     307 11400   901    896     395 12000  
array-examples/standard_password_true-unreach-call_ground.i 901    896     399 11000   901    896     407 11000   901    898     314 10500   901    896     393 10400  
array-examples/standard_reverse_true-unreach-call_ground.i 901    897     542 11500   901    897     534 12500   901    898     313 11300   901    897     672 12600  
array-examples/standard_running_true-unreach-call.i 901    896     421 11800   901    896     428 11100   901    898     315 10200   901    896     409 12900  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 3.44 1.43  335 29.4 3.28 1.41  332 31.4 901    899     345 12000   3.85 1.68  350 38.4
array-examples/standard_seq_init_true-unreach-call_ground.i 901    897     380 11900   901    897     371 11500   901    898     318 12900   901    897     534 11000  
array-examples/standard_strcmp_true-unreach-call_ground.i 901    895     548 10300   901    895     552 12500   901    895     441 11400   901    895     557 12200  
array-examples/standard_strcpy_original_true-unreach-call.i 901    896     438 12500   901    896     438 11400   901    897     314 11300   901    896     511 12200  
array-examples/standard_strcpy_true-unreach-call_ground.i 901    896     437 11000   901    896     438 11600   901    897     313 11500   901    896     499 13200  
array-examples/standard_two_index_01_true-unreach-call.i 901    897     353 12200   901    897     360 11900   901    898     316 10500   901    897     541 10700  
array-examples/standard_two_index_02_true-unreach-call.i 901    896     460 11100   901    897     458 10500   901    898     305 10800   901    896     629 11500  
array-examples/standard_two_index_03_true-unreach-call.i 901    897     360 9900   901    897     361 12200   901    898     309 13500   901    897     531 12300  
array-examples/standard_two_index_04_true-unreach-call.i 901    896     463 9940   901    896     472 10700   901    898     310 10300   901    896     630 10300  
array-examples/standard_two_index_05_true-unreach-call.i 901    896     458 13300   901    897     464 11200   901    898     301 11500   901    896     626 11300  
array-examples/standard_two_index_06_true-unreach-call.i 901    897     364 9910   901    897     371 10400   901    897     307 12800   901    897     529 9800  
array-examples/standard_two_index_07_true-unreach-call.i 901    897     471 10800   901    897     457 11900   901    897     303 10900   901    896     629 10300  
array-examples/standard_two_index_08_true-unreach-call.i 901    897     467 10600   901    896     478 10700   901    897     312 12900   901    897     625 11400  
array-examples/standard_two_index_09_true-unreach-call.i 901    897     465 12000   901    897     455 10700   901    898     305 10400   901    897     620 11900  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    897     428 14300   901    897     425 10800   901    898     351 11800   901    897     441 11000  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    897     696 11900   907    901     1120 12800   901    897     315 10600   901    896     1040 11300  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    897     412 10300   901    897     418 11900   901    898     311 11500   901    897     449 10900  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 4.05 1.34  331 31.9 287    283     15000 1760   901    897     311 11600   4.36 1.43  354 37.0
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    896     415 10300   901    896     406 13300   901    897     327 10600   901    897     402 11800  
array-industry-pattern/array_range_init_false-unreach-call.i 3.34 1.19  292 28.0 276    273     15000 1710   901    897     304 11300   3.42 1.22  291 25.3
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    897     462 12000   901    897     444 10900   901    897     340 10900   901    896     461 12100  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    893     466 11500   901    895     454 11000   901    893     470 13000   901    894     465 12000  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    896     412 10700   901    896     417 12900   901    897     325 11000   901    896     402 10800  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    896     441 10300   901    896     435 10600   901    898     323 10900   901    896     489 12700  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 4.99 1.68  335 36.7 275    270     15000 1840   901    897     315 10900   4.33 1.41  332 39.3
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 901    896     318 10600   279    275     15000 1520   901    897     328 10200   901    896     321 13000  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    896     462 13600   901    896     463 11000   901    897     317 9850   901    896     499 11900  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 901    896     325 11800   277    273     15000 1640   901    898     322 10800   901    897     333 10400  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    895     476 10400   912    906     2240 3520   901    897     320 11100   901    895     512 10500  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 5.08 1.61  468 38.4 912    906     2240 3660   901    898     309 9480   4.82 1.61  461 40.9
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    896     353 10500   273    269     15000 1660   901    897     311 11500   901    896     409 12600  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    896     340 10700   272    268     15000 1500   901    897     328 12400   901    896     327 12700  
array-industry-pattern/array_shadowinit_true-unreach-call.i 901    898     359 13800   901    897     361 11500   901    897     355 10100   901    898     358 12700  
reducercommutativity/rangesum05_false-unreach-call.i 6.14 3.37  286 59.4 5.87 3.26  281 63.9 5.71 3.16  282 51.4 6.15 3.36  283 71.3
reducercommutativity/rangesum10_false-unreach-call.i 23.8  17.0   417 287   23.0  17.0   384 225   29.9  23.8   414 335   25.0  18.9   388 294  
reducercommutativity/rangesum20_false-unreach-call.i 279    271     532 3390   279    271     529 3280   526    518     546 6180   316    307     581 3850  
reducercommutativity/rangesum40_false-unreach-call.i 901    893     532 10900   901    893     546 11100   901    894     455 12100   901    893     549 11900  
reducercommutativity/rangesum60_false-unreach-call.i 901    894     461 11400   901    894     457 10700   901    896     410 11200   901    894     481 12300  
reducercommutativity/rangesum_false-unreach-call.i 6.11 3.60  279 69.9 6.41 3.67  278 56.9 5.53 3.19  273 52.6 6.64 3.94  279 66.7
reducercommutativity/avg05_true-unreach-call.i 119    117     314 1820   119    116     315 1510   28.2  25.9   278 342   126    123     333 1540  
reducercommutativity/avg10_true-unreach-call.i 901    898     362 13000   901    898     355 13600   270    267     338 3870   901    898     359 10200  
reducercommutativity/avg20_true-unreach-call.i 901    898     338 12300   901    897     336 11200   901    897     342 11000   901    897     339 11500  
reducercommutativity/avg40_true-unreach-call.i 901    896     518 11300   901    896     500 11400   565    559     439 6860   901    896     509 11200  
reducercommutativity/avg60_true-unreach-call.i 901    893     686 11100   901    893     703 12900   901    895     470 11000   901    894     687 12400  
reducercommutativity/avg_true-unreach-call.i 901    893     503 11000   901    894     499 11400   901    893     548 11100   901    893     367 11000  
reducercommutativity/max05_true-unreach-call_true-termination.i 144    141     319 1800   153    150     316 1840   26.6  24.1   294 394   71.5  68.8   301 1120  
reducercommutativity/max10_true-unreach-call_true-termination.i 901    898     361 11600   901    898     358 13100   438    435     469 5910   901    898     387 14300  
reducercommutativity/max20_true-unreach-call.i 901    897     372 12500   901    897     376 10700   901    896     386 11400   901    896     396 12300  
reducercommutativity/max40_true-unreach-call.i 901    895     557 11300   901    895     567 10700   612    604     483 7020   901    895     650 13200  
reducercommutativity/max60_true-unreach-call.i 901    894     643 11800   901    894     635 11900   901    894     444 9900   901    893     715 9650  
reducercommutativity/max_true-unreach-call.i 45.9  40.3   365 585   47.8  42.3   370 531   901    892     686 14000   912    904     4490 10100  
reducercommutativity/sep05_true-unreach-call.i 158    156     370 1910   173    170     371 2220   62.6  60.0   297 796   117    114     314 1520  
reducercommutativity/sep10_true-unreach-call.i 901    898     391 11800   901    898     382 13100   912    908     657 12200   901    897     383 9920  
reducercommutativity/sep20_true-unreach-call.i 912    908     2050 8240   912    908     2040 8720   912    907     1970 8620   912    907     2030 8040  
reducercommutativity/sep40_true-unreach-call.i 904    897     1300 11300   904    897     1290 11100   901    893     497 12500   904    897     1230 11300  
reducercommutativity/sep60_true-unreach-call.i 901    896     436 10500   901    895     438 11000   901    895     451 11100   901    895     445 10700  
reducercommutativity/sep_true-unreach-call.i 21.0  17.5   300 269   26.2  22.9   303 315   145    138     455 1980   117    110     489 1400  
reducercommutativity/sum05_true-unreach-call_true-termination.i 86.3  84.3   286 1020   86.5  84.5   285 1090   13.7  11.7   275 164   54.9  52.8   282 713  
reducercommutativity/sum10_true-unreach-call.i 901    898     356 13000   901    898     355 12600   192    190     302 2500   901    898     360 11400  
reducercommutativity/sum20_true-unreach-call.i 901    897     334 11700   901    898     338 11500   901    897     381 13000   901    897     340 12300  
reducercommutativity/sum40_true-unreach-call.i 901    896     497 11400   901    896     504 11500   559    552     442 7110   901    895     507 12200  
reducercommutativity/sum60_true-unreach-call.i 901    893     706 11000   901    893     718 12000   901    894     476 10700   901    894     701 11500  
reducercommutativity/sum_true-unreach-call.i 901    893     536 10400   901    894     514 10900   901    892     509 12800   901    894     502 11400  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 3.20 1.38  270 27.8 3.17 1.36  272 33.0 3.25 1.40  274 29.0 3.18 1.37  267 28.5
bitvector/sum02_false-unreach-call_true-no-overflow.i 83.9  81.2   292 958   84.0  81.3   296 954   84.4  81.7   291 1200   84.2  81.4   294 1300  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 3.12 1.36  273 26.5 3.21 1.40  267 29.9 3.25 1.48  267 26.1 3.24 1.42  267 27.8
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 3.21 1.37  266 31.2 3.13 1.37  271 31.7 3.16 1.36  267 26.3 3.23 1.39  270 31.0
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 130    129     252 2050   128    127     249 1610   128    127     245 1640   129    127     246 1610  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 4.10 2.56  270 47.8 4.18 2.59  269 48.2 4.20 2.60  267 43.4 4.19 2.60  264 38.3
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 2.13 .952 233 20.0 2.28 .972 232 18.5 2.17 .977 231 20.6 2.15 .962 232 18.7
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 4.36 2.66  273 42.4 4.48 2.64  272 48.3 4.39 2.62  269 45.1 4.50 2.65  270 49.5
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 3.88 1.91  287 31.6 3.85 1.96  287 37.8 3.48 1.91  267 33.0 3.65 1.90  277 34.4
bitvector/jain_1_true-unreach-call_true-no-overflow.i 2.13 .958 226 19.2 2.19 .978 225 18.0 2.18 .990 222 19.7 2.16 .970 230 20.5
bitvector/jain_2_true-unreach-call_true-no-overflow.i 2.28 1.02  227 22.6 2.14 .965 227 19.5 2.27 .998 230 18.5 2.30 1.06  229 20.9
bitvector/jain_4_true-unreach-call_true-no-overflow.i 2.12 .983 231 19.6 2.23 1.02  225 20.3 2.27 1.00  228 21.3 2.30 1.03  223 21.4
bitvector/jain_5_true-unreach-call_true-no-overflow.i 911    907     335 11900   911    907     338 13600   901    897     340 12500   911    907     340 13700  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 2.18 .989 226 19.0 2.16 .982 224 19.7 2.28 .996 227 23.5 2.13 .974 223 20.3
bitvector/jain_7_true-unreach-call_true-no-overflow.i 2.26 1.04  229 19.6 2.25 1.00  227 20.9 2.29 1.03  228 20.7 2.39 1.10  222 21.6
bitvector/modulus_true-unreach-call_true-no-overflow.i 2.24 .974 231 19.7 2.28 .972 223 21.6 2.25 1.02  226 22.1 2.14 .969 225 21.6
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 2.74 1.22  269 28.5 2.65 1.23  270 26.8 2.65 1.22  266 28.5 2.79 1.28  268 23.9
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 2.80 1.26  265 25.2 2.78 1.23  271 28.9 2.70 1.24  262 27.3 2.67 1.24  263 23.0
bitvector/parity_true-unreach-call_true-no-overflow.i 2.12 .954 226 19.5 2.16 .952 225 19.8 2.12 .963 223 17.7 2.27 .965 226 19.8
bitvector/sum02_true-unreach-call_true-no-overflow.i 2.27 1.04  232 19.5 2.14 .991 230 18.4 2.19 .991 227 19.2 2.20 1.02  231 21.5
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 6.53 3.30  294 63.6 6.19 3.25  293 60.9 6.40 3.36  296 65.9 6.54 3.30  296 60.8
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 13.8  10.4   308 160   13.8  10.4   309 137   13.5  10.3   308 158   13.8  10.5   308 152  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 3.72 1.45  274 32.9 3.57 1.43  276 29.8 3.62 1.45  273 34.5 3.69 1.46  273 31.5
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 6.57 3.22  303 59.7 6.57 3.23  294 65.0 6.36 3.23  297 68.9 6.62 3.28  291 60.4
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 12.0  8.50  304 148   11.4  8.14  303 125   11.9  8.59  300 118   11.8  8.47  300 140  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 53.8  50.5   358 563   901    896     1020 7900   901    896     967 8140   901    896     1080 9330  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 179    175     524 1590   273    269     590 2150   145    141     501 1220   115    111     491 1090  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    895     919 8910   901    893     989 8310   901    894     1180 8560   901    894     868 8370  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 118    114     554 1150   901    896     1020 9130   131    127     568 1530   119    115     558 1640  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    896     858 8220   224    220     611 1870   901    896     843 8500   901    896     858 8620  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    893     645 7110   901    895     594 7330   911    904     589 7410   901    894     640 6840  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    894     636 6520   901    895     601 8050   901    894     630 7200   901    895     614 7020  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 3.25 1.25  278 27.7 3.36 1.25  286 29.2 3.22 1.23  274 26.5 3.42 1.28  275 26.4
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 4.54 1.59  281 34.6 4.52 1.58  280 40.1 4.60 1.61  277 39.0 4.68 1.62  280 39.9
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 4.57 1.62  284 38.3 4.56 1.58  283 39.4 4.67 1.60  284 44.5 4.72 1.69  282 40.7
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 2.87 1.20  271 25.8 2.93 1.21  270 26.5 2.90 1.21  272 24.6 3.07 1.23  270 25.4
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 4.65 1.65  283 42.2 4.65 1.61  284 36.0 4.50 1.59  283 42.3 4.91 1.71  291 43.3
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.12 .920 227 18.7 2.13 .939 227 20.7 2.22 .931 228 19.6 2.08 .949 228 18.9
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.12 .906 230 20.4 2.10 .941 226 18.9 2.04 .914 223 18.2 2.09 .948 226 18.8
bitvector-regression/integerpromotion_false-unreach-call.c 2.08 .942 226 17.0 2.20 .995 228 21.3 2.26 .942 234 20.4 2.10 .942 224 17.3
bitvector-regression/recHanoi03_false-unreach-call.c 2.02 .899 224 19.2 2.14 .952 225 18.5 2.11 .947 222 21.1 1.98 .897 218 17.3
bitvector-regression/signextension2_false-unreach-call.c 2.09 .945 227 18.2 2.10 .923 226 20.3 2.07 .933 224 18.0 2.08 .906 222 19.7
bitvector-regression/signextension_false-unreach-call.c 2.04 .910 223 19.8 2.16 .941 225 19.2 2.13 .928 229 17.9 2.10 .934 226 19.6
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.04 .907 230 17.3 2.18 .925 229 18.3 2.10 .922 224 17.6 2.11 .943 224 20.8
bitvector-regression/integerpromotion_true-unreach-call.c 2.08 .920 225 19.3 2.21 .998 224 19.6 2.04 .927 224 17.8 2.22 .916 230 22.9
bitvector-regression/signextension2_true-unreach-call.c 2.08 .938 225 19.2 2.13 .941 223 21.3 2.07 .942 223 19.7 2.06 .928 223 17.4
bitvector-regression/signextension_true-unreach-call.c 2.15 .940 230 18.2 2.09 .953 226 19.6 2.12 .940 224 21.3 2.29 .933 231 18.7
bitvector-loops/diamond_false-unreach-call2.i 4.01 2.28  271 38.2 3.96 2.30  271 37.0 3.98 2.32  265 37.5 4.05 2.29  270 34.9
bitvector-loops/overflow_false-unreach-call1.i 2.17 .960 231 22.0 2.12 .961 225 20.5 2.17 .953 223 17.9 2.21 .958 225 18.4
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 2.94 1.42  266 22.0 3.01 1.48  264 26.5 3.34 1.72  264 30.7 3.02 1.52  262 26.3
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.10 2.43  304 47.4 5.62 2.17  301 53.5 5.64 2.16  297 48.6 5.74 2.16  298 49.1
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.36 1.86  281 44.3 4.41 1.90  286 37.4 4.29 1.85  281 34.6 4.28 1.86  280 41.9
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.95 2.12  291 43.2 5.03 2.07  291 45.7 4.96 2.09  290 49.9 5.10 2.17  290 43.7
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 3.47 1.43  272 32.5 3.55 1.45  278 29.8 3.48 1.42  273 33.6 3.47 1.41  269 33.1
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.79 2.38  300 49.0 5.92 2.37  299 48.2 5.49 2.25  298 57.3 5.79 2.34  299 47.4
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.48 1.95  288 36.0 4.51 2.00  283 43.9 4.29 1.93  284 44.0 4.48 1.98  285 45.7
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.35 1.89  286 39.0 4.25 1.83  280 40.6 4.20 1.84  282 38.7 4.26 1.83  283 40.6
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.84 2.08  294 48.7 4.94 2.06  291 43.3 4.87 2.10  291 41.1 4.94 2.10  289 40.4
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2.90 1.27  270 25.6 2.82 1.19  267 26.2 2.79 1.21  266 25.5 2.82 1.19  266 24.5
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.43 1.38  273 29.1 3.30 1.38  271 29.0 3.40 1.38  273 28.5 3.40 1.37  268 30.3
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 4.33 1.82  280 38.2 4.45 1.86  281 38.1 4.39 1.87  281 44.0 4.53 1.95  279 35.9
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 4.31 1.84  286 36.0 4.43 1.89  288 43.6 4.53 1.88  285 42.7 4.57 1.98  288 36.7
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 4.40 1.89  287 38.9 4.43 1.85  292 42.1 4.50 1.86  287 41.1 4.40 1.83  287 39.9
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 4.21 1.85  286 37.4 4.45 1.82  290 36.8 4.28 1.80  285 34.9 4.25 1.79  283 35.6
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 3.12 1.24  271 26.8 3.15 1.23  268 28.9 3.04 1.21  267 24.4 3.09 1.24  267 27.7
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 7.16 4.12  304 72.6 7.20 4.12  300 69.1 7.03 4.04  295 68.8 7.35 4.12  303 73.6
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 5.88 2.83  298 55.1 5.63 2.73  301 51.6 5.55 2.74  290 48.8 5.70 2.77  299 48.8
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 3.93 1.58  282 34.8 4.16 1.65  284 36.7 4.04 1.62  279 40.4 3.99 1.59  279 37.7
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 3.33 1.30  273 28.2 3.39 1.36  273 29.4 3.27 1.29  277 27.9 3.53 1.38  272 33.6
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 3.64 1.48  278 30.3 3.75 1.46  275 33.9 3.62 1.45  279 31.2 3.59 1.47  280 33.3
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 3.63 1.45  275 35.4 3.79 1.49  276 36.1 3.70 1.45  274 32.7 3.57 1.44  273 29.1
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 2.82 1.15  269 24.0 2.87 1.16  270 22.6 2.88 1.16  264 24.2 2.87 1.20  269 25.3
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 901    894     752 9810   901    894     755 7820   901    893     790 8920   902    895     839 7650  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 902    895     879 6150   901    893     810 8220   902    896     842 8360   901    893     839 8440  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 901    895     841 7930   911    905     986 8610   904    898     856 9760   911    905     932 8220  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 901    894     798 7150   901    894     768 9950   901    893     886 7810   901    894     764 8990  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 901    894     946 7140   901    895     991 6940   902    895     1000 8930   901    893     940 6760  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 65.2  62.1   303 628   28.8  26.1   302 342   69.6  66.4   302 1030   67.3  64.1   307 865  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.26 1.49  270 26.3 3.08 1.49  268 29.0 3.05 1.50  267 26.5 3.03 1.49  263 25.8
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 901    895     1050 8550   901    895     1050 10200   901    895     899 7670   901    895     980 7930  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 902    896     946 8970   902    896     949 7290   901    896     1090 7880   912    906     1090 7010  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 901    896     1020 7560   902    895     967 8770   901    895     1100 6280   901    895     955 8310  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 911    905     1230 8760   902    896     1260 7210   901    895     1050 8650   901    896     1340 9360  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 901    895     1540 9630   902    897     1400 7710   911    906     1260 7280   912    906     1150 7320  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 901    896     1150 7930   902    895     1100 10200   901    894     1270 8740   902    894     1220 9950  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.62 1.10  267 21.6 2.56 1.09  268 25.9 2.65 1.11  263 20.5 2.70 1.10  265 25.5
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.62 1.13  268 24.9 2.64 1.08  267 24.5 2.56 1.09  264 25.7 2.63 1.12  268 24.3
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 2.32 .979 228 20.5 2.33 1.01  227 20.2 2.29 .992 222 22.2 2.30 .973 228 20.8
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 2.31 1.01  228 21.3 2.32 1.02  229 22.2 2.40 1.07  223 21.4 2.31 .999 226 22.1
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 2.31 1.02  227 20.9 2.31 1.02  228 21.9 2.34 1.02  227 21.1 2.32 .976 228 24.9
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 2.38 1.04  228 20.5 2.32 1.04  226 23.7 2.37 1.04  226 23.0 2.32 1.01  227 21.3
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 2.41 1.03  227 24.0 2.33 1.02  227 23.8 2.37 1.01  228 21.1 2.41 1.04  227 21.2
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 2.40 1.03  230 23.5 2.50 1.04  230 23.4 2.56 1.05  224 21.5 2.34 1.02  225 19.3
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 2.16 .986 224 20.4 2.16 .951 224 18.1 2.21 .983 221 18.9 2.26 .960 224 18.3
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 2.31 1.00  226 19.9 2.24 .962 229 18.8 2.20 .971 224 20.4 2.19 .979 223 21.3
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 2.20 .961 226 20.8 2.17 .964 226 19.7 2.27 .988 225 20.4 2.25 .971 227 22.8
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 2.27 .967 218 19.2 2.39 .966 228 20.0 2.38 1.05  225 19.2 2.32 .971 228 18.3
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 2.33 .996 224 23.7 2.32 .973 227 20.4 2.36 1.02  229 19.4 2.33 .988 223 23.6
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    879     714 11700   901    880     723 10300   901    879     679 11200   168    151     595 1900  
ntdrivers/diskperf_false-unreach-call.i.cil.c 6.38 2.42  305 53.8 6.50 2.42  310 53.2 6.30 2.25  300 59.7 6.66 2.45  303 64.2
ntdrivers/floppy_false-unreach-call.i.cil.c 908    892     1850 9410   909    892     1940 10100   268    249     737 2980   299    282     1330 3480  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 5.01 1.75  296 40.3 4.95 1.78  293 38.9 5.00 1.80  297 41.5 5.07 1.90  299 40.3
ntdrivers/parport_false-unreach-call.i.cil.c 921    512     14200 7450   912    511     13900 8140   920    529     14400 8490   920    503     14400 9230  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 11.5  4.53  350 102   13.4  4.69  383 112   15.2  5.03  412 125   9.87 3.33  331 89.3
ntdrivers/diskperf_true-unreach-call.i.cil.c 6.23 2.43  306 54.0 6.29 2.44  307 51.7 6.55 2.51  304 59.6 6.67 2.64  307 57.6
ntdrivers/floppy2_true-unreach-call.i.cil.c 333    314     1190 3170   313    296     1190 3560   294    276     1150 3140   372    353     1130 4050  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 910    895     1890 12400   902    885     1920 10200   350    334     812 4250   202    187     724 2360  
ntdrivers/parport_true-unreach-call.i.cil.c 921    460     13900 7030   920    478     13900 7430   919    452     14400 7030   920    460     14300 8490  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 7.60 3.99  306 75.5 7.32 3.81  302 69.6 6.44 3.04  304 68.4 8.53 5.04  312 86.9
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 5.45 2.40  298 49.9 5.46 2.36  296 58.8 5.49 2.29  301 51.2 6.63 3.32  306 66.2
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 5.69 2.47  298 47.3 5.59 2.45  301 50.9 5.35 2.18  297 53.8 5.57 2.46  296 56.7
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 5.52 2.40  298 51.4 5.48 2.45  296 47.7 5.69 2.34  296 47.8 5.76 2.65  298 50.6
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 4.66 1.81  294 36.2 4.57 1.68  292 40.6 4.56 1.68  288 40.7 4.82 1.84  296 40.6
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 4.37 1.64  290 38.2 4.37 1.64  291 42.7 4.47 1.71  289 41.4 4.57 1.71  289 38.4
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 4.66 1.71  292 38.6 4.56 1.70  292 40.2 4.44 1.64  289 43.3 4.71 1.74  286 42.7
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 4.51 1.68  292 40.5 4.73 1.77  291 37.1 4.54 1.69  290 35.0 4.62 1.74  292 41.8
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 8.04 4.16  310 78.0 7.62 3.87  316 84.8 6.35 2.77  302 53.7 6.17 2.86  301 53.3
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 6.43 3.05  304 56.3 6.21 2.90  305 58.9 5.78 2.47  303 56.2 6.74 3.29  307 61.5
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 96.2  91.2   634 1020   76.6  71.7   567 867   24.2  19.5   355 291   26.7  22.4   362 301  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 6.24 2.81  310 57.7 5.95 2.77  307 58.1 5.89 2.46  305 52.3 6.01 2.86  298 59.3
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 102    97.2   644 1020   119    114     626 1190   21.4  16.6   335 216   40.8  36.4   459 388  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 5.05 2.06  301 43.5 5.21 2.06  296 40.5 5.31 2.09  299 41.7 5.14 2.17  298 42.8
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 6.74 3.26  305 68.8 6.88 3.35  302 63.5 6.26 2.89  299 57.7 6.00 2.76  301 54.3
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 6.63 3.10  306 59.0 6.40 3.06  305 60.6 6.03 2.61  298 47.4 6.30 2.95  306 65.3
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 7.17 3.67  312 66.1 7.05 3.52  305 67.5 6.03 2.59  298 54.5 6.64 3.14  310 65.8
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 170    166     1180 2000   148    143     934 1460   21.5  17.0   332 284   26.8  22.2   364 355  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 7.12 3.70  305 61.9 7.00 3.57  306 77.3 6.18 2.62  298 49.5 6.45 3.11  300 57.4
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 902    896     1730 8510   902    896     1440 8680   901    895     1050 6890   901    894     914 9460  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 901    896     1320 7750   901    895     1180 7540   902    896     1090 7770   901    895     1220 7940  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 901    895     1650 7730   912    906     1200 8940   901    895     1080 8740   901    894     1160 9420  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 902    897     1430 7890   901    895     1240 7640   912    906     1370 6950   901    895     1080 7840  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 902    896     1930 8180   902    896     1430 8480   901    895     1200 6600   901    894     1090 9240  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 902    896     1260 8510   911    906     1910 8320   902    895     1310 9610   902    896     1240 8590  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 912    906     4840 8360   901    895     1650 7280   905    898     1610 8120   901    894     1550 7940  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 902    897     1600 8460   903    897     1870 7800   911    905     1480 7600   901    895     1560 8740  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 912    907     1860 7050   907    901     2030 7190   901    894     1120 7750   901    895     1680 7990  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 903    898     1810 9410   902    897     1990 8620   911    905     1300 8570   901    895     2220 7020  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 902    895     1660 8130   904    898     1870 7380   901    895     1230 8600   901    896     1310 8350  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 911    906     1630 10300   904    898     1690 8800   902    896     1240 7430   907    901     1340 7340  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 905    899     1750 7140   902    896     2320 7780   901    895     2360 7960   901    895     1300 8850  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 912    906     2360 8390   902    896     1620 7940   901    895     1560 7600   901    896     1310 8950  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 902    897     2500 8960   901    896     1610 9520   912    904     1350 10300   901    896     1440 7560  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 901    895     1280 7700   912    906     1340 7370   902    894     756 7360   901    895     1150 7910  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 912    906     1990 7830   905    899     2640 10400   903    897     1120 7710   902    896     1460 7820  
eca-rers2012/Problem01_label15_false-unreach-call.c 9.72 4.22  438 82.1 9.54 4.10  442 77.5 9.44 4.02  442 82.9 9.31 4.12  420 95.7
eca-rers2012/Problem01_label20_false-unreach-call.c 18.6  9.83  564 142   16.7  9.75  525 154   17.3  10.6   532 169   18.8  9.96  555 179  
eca-rers2012/Problem01_label21_false-unreach-call.c 9.35 4.04  429 88.4 9.33 4.06  421 83.0 9.28 3.85  418 70.1 9.49 4.13  431 85.1
eca-rers2012/Problem01_label32_false-unreach-call.c 19.0  12.1   555 191   19.9  12.0   565 186   18.3  11.7   557 181   18.0  11.5   536 155  
eca-rers2012/Problem01_label33_false-unreach-call.c 13.4  6.79  516 106   13.5  6.20  516 116   13.8  6.32  522 119   12.4  6.35  483 104  
eca-rers2012/Problem01_label35_false-unreach-call.c 9.46 4.10  425 78.9 9.82 4.27  444 85.8 9.44 4.02  422 78.8 9.65 4.06  420 76.6
eca-rers2012/Problem01_label37_false-unreach-call.c 13.8  6.40  508 107   13.3  6.51  521 110   13.3  6.85  511 111   13.6  6.40  501 116  
eca-rers2012/Problem01_label38_false-unreach-call.c 9.44 4.17  425 91.1 8.95 4.00  421 88.8 9.33 4.02  424 88.0 9.32 3.98  418 84.4
eca-rers2012/Problem01_label44_false-unreach-call.c 7.48 2.67  376 62.2 7.60 2.67  373 66.3 7.49 2.73  377 61.3 7.70 2.75  370 61.6
eca-rers2012/Problem01_label47_false-unreach-call.c 18.2  10.7   561 149   18.1  10.7   543 150   18.3  10.6   563 148   18.7  10.6   530 164  
eca-rers2012/Problem01_label50_false-unreach-call.c 9.18 3.93  427 84.8 9.42 4.10  424 77.2 9.46 4.04  421 81.3 9.47 3.88  434 81.2
eca-rers2012/Problem01_label56_false-unreach-call.c 13.2  6.80  485 101   13.1  6.56  523 126   12.8  6.25  498 135   13.4  6.74  512 127  
eca-rers2012/Problem01_label57_false-unreach-call.c 13.6  6.43  526 109   12.9  6.67  506 118   13.2  6.32  499 92.8 12.2  6.26  498 121  
eca-rers2012/Problem02_label13_false-unreach-call.c 6.75 2.34  320 50.3 6.01 2.05  316 55.7 6.07 1.99  314 44.4 6.09 2.05  327 48.8
eca-rers2012/Problem02_label16_false-unreach-call.c 6.10 2.04  323 52.5 6.30 2.06  328 52.4 6.09 2.02  314 47.7 6.36 2.16  329 52.0
eca-rers2012/Problem02_label43_false-unreach-call.c 5.95 1.95  319 49.6 6.07 1.98  330 46.5 5.91 2.01  316 48.6 6.04 1.98  313 56.5
eca-rers2012/Problem02_label44_false-unreach-call.c 7.21 2.39  336 51.7 6.06 2.00  319 50.6 6.07 2.01  325 49.2 6.16 2.05  327 47.6
eca-rers2012/Problem02_label45_false-unreach-call.c 7.20 2.60  359 60.0 7.65 2.66  357 59.4 7.35 2.72  353 63.7 7.86 2.83  360 64.7
eca-rers2012/Problem02_label50_false-unreach-call.c 7.23 2.66  356 62.7 7.46 2.57  360 72.4 7.80 2.76  367 58.9 7.14 2.61  348 57.4
eca-rers2012/Problem02_label59_false-unreach-call.c 7.88 2.95  377 65.7 7.31 2.93  357 56.1 8.07 2.90  351 67.8 7.60 3.00  351 67.1
eca-rers2012/Problem03_label09_false-unreach-call.c 36.2  22.5   747 285   35.9  21.1   731 289   34.7  21.4   767 215   34.5  22.3   736 280  
eca-rers2012/Problem03_label13_false-unreach-call.c 22.1  10.3   670 167   21.8  10.8   666 187   23.7  11.1   692 199   22.1  10.9   673 162  
eca-rers2012/Problem03_label26_false-unreach-call.c 17.6  6.29  636 134   18.3  6.82  639 145   18.1  6.35  639 138   18.3  6.57  638 142  
eca-rers2012/Problem03_label27_false-unreach-call.c 22.0  11.4   687 183   22.8  11.1   692 181   25.5  12.4   684 175   23.5  10.6   686 172  
eca-rers2012/Problem03_label28_false-unreach-call.c 23.2  11.6   667 172   22.0  11.7   669 186   22.5  10.5   665 167   23.3  11.7   684 212  
eca-rers2012/Problem03_label31_false-unreach-call.c 23.2  12.1   670 186   23.4  10.9   690 208   23.7  11.7   676 167   21.4  10.2   686 197  
eca-rers2012/Problem03_label35_false-unreach-call.c 36.5  23.7   732 315   35.0  22.1   749 341   36.5  23.6   730 305   35.2  22.3   746 266  
eca-rers2012/Problem03_label37_false-unreach-call.c 20.4  10.6   658 181   21.8  10.5   673 188   21.9  10.4   693 189   23.9  10.9   682 176  
eca-rers2012/Problem03_label39_false-unreach-call.c 33.2  21.5   735 263   33.2  20.5   738 286   34.8  21.4   746 260   32.5  20.7   743 256  
eca-rers2012/Problem03_label43_false-unreach-call.c 23.4  11.9   688 180   25.2  12.3   687 185   24.4  11.7   708 187   24.1  11.8   698 192  
eca-rers2012/Problem03_label45_false-unreach-call.c 37.3  24.7   766 302   36.8  25.2   753 288   35.4  23.4   756 339   35.5  23.8   758 337  
eca-rers2012/Problem03_label50_false-unreach-call.c 25.3  11.4   700 181   22.9  11.2   717 178   24.4  11.9   725 185   24.3  11.2   700 188  
eca-rers2012/Problem03_label52_false-unreach-call.c 34.0  21.1   731 253   31.3  20.8   732 242   33.3  21.6   741 285   32.9  19.9   739 285  
eca-rers2012/Problem04_label04_false-unreach-call.c 905    890     3380 8140   904    887     3370 7280   912    893     5720 7430   906    888     3380 8190  
eca-rers2012/Problem04_label06_false-unreach-call.c 909    893     4470 8100   907    891     4380 7780   907    888     4410 7480   905    887     4440 8230  
eca-rers2012/Problem04_label09_false-unreach-call.c 906    890     4410 8320   904    887     4360 8070   908    891     4440 7210   905    890     4420 7420  
eca-rers2012/Problem04_label11_false-unreach-call.c 904    887     3640 6580   904    886     3710 6820   904    887     3630 8160   909    893     3630 7570  
eca-rers2012/Problem04_label12_false-unreach-call.c 906    889     3280 6270   904    886     3200 5790   907    889     3200 6870   905    887     3180 7270  
eca-rers2012/Problem04_label13_false-unreach-call.c 910    892     3760 7850   907    890     3720 8520   907    890     3700 6830   904    888     3660 8420  
eca-rers2012/Problem04_label14_false-unreach-call.c 905    887     3720 7360   904    886     3720 6610   910    893     3730 8050   905    887     3660 7530  
eca-rers2012/Problem04_label15_false-unreach-call.c 909    893     7000 6070   912    897     6980 6930   904    885     7030 6680   911    896     6960 7930  
eca-rers2012/Problem04_label17_false-unreach-call.c 907    889     4450 8430   906    888     4460 7880   910    893     4510 6820   905    889     4470 7970  
eca-rers2012/Problem04_label18_false-unreach-call.c 905    888     5070 7160   905    888     4980 6880   910    894     4940 6640   912    896     4930 8020  
eca-rers2012/Problem04_label19_false-unreach-call.c 905    887     3530 6740   903    888     3620 7870   904    887     3580 7780   904    888     3620 6740  
eca-rers2012/Problem04_label26_false-unreach-call.c 908    893     4900 7700   909    894     4870 8340   910    892     4890 7090   911    894     4910 7660  
eca-rers2012/Problem04_label27_false-unreach-call.c 904    886     4120 6870   906    887     4130 7100   905    887     4140 7230   905    886     4070 7040  
eca-rers2012/Problem04_label31_false-unreach-call.c 903    886     3230 7760   904    888     3180 7180   903    888     3240 7490   905    889     3220 7950  
eca-rers2012/Problem04_label32_false-unreach-call.c 910    895     4370 7300   908    887     4370 7290   904    888     3750 7580   909    893     4340 7320  
eca-rers2012/Problem04_label35_false-unreach-call.c 906    889     3780 7340   907    890     3740 7450   906    890     3800 7460   904    887     3770 9700  
eca-rers2012/Problem04_label36_false-unreach-call.c 910    893     3730 7040   905    888     3740 7010   908    890     3760 6330   906    889     3740 5230  
eca-rers2012/Problem04_label38_false-unreach-call.c 903    886     4510 8090   908    891     4480 7410   904    886     4460 7220   911    893     4510 8700  
eca-rers2012/Problem04_label39_false-unreach-call.c 909    892     5500 7320   911    894     5500 8770   909    891     5480 7380   907    890     5490 6660  
eca-rers2012/Problem04_label40_false-unreach-call.c 908    889     3740 8530   908    890     3760 6200   904    885     3800 6900   906    890     3790 5850  
eca-rers2012/Problem04_label45_false-unreach-call.c 906    889     3120 6240   903    886     3100 7880   905    890     3080 7060   904    886     3140 8170  
eca-rers2012/Problem04_label52_false-unreach-call.c 905    889     3860 9380   910    891     3940 7650   907    890     3960 10200   904    888     3890 6980  
eca-rers2012/Problem04_label55_false-unreach-call.c 905    888     3460 8000   906    889     3380 6160   906    886     3480 7290   908    891     3400 6600  
eca-rers2012/Problem04_label58_false-unreach-call.c 908    893     6510 8080   912    895     6440 7520   908    892     6470 7580   910    894     6450 6600  
eca-rers2012/Problem05_label00_false-unreach-call.c 911    890     7460 7460   905    882     7320 8210   904    877     7270 7740   897    871     7490 6600  
eca-rers2012/Problem05_label01_false-unreach-call.c 492    471     15000 3750   496    476     15000 4060   484    463     15000 3620   488    468     15000 3980  
eca-rers2012/Problem05_label11_false-unreach-call.c 912    889     10700 8270   912    890     10800 10600   911    888     10800 8430   912    889     10800 9340  
eca-rers2012/Problem05_label13_false-unreach-call.c 912    893     10700 7950   912    890     10700 10800   912    889     10700 8360   912    895     10700 8230  
eca-rers2012/Problem05_label15_false-unreach-call.c 912    891     9860 8080   912    891     9860 8940   912    892     9850 8030   912    891     9800 7360  
eca-rers2012/Problem05_label18_false-unreach-call.c 824    795     5740 6640   822    794     5780 6980   812    785     5870 6500   806    782     5880 6810  
eca-rers2012/Problem05_label24_false-unreach-call.c 716    690     4580 5460   711    684     4560 6160   690    667     4620 6420   710    685     4650 5340  
eca-rers2012/Problem05_label26_false-unreach-call.c 624    600     3270 4490   636    612     3270 5420   637    612     3340 5080   604    579     3330 5670  
eca-rers2012/Problem05_label30_false-unreach-call.c 604    579     3820 4570   647    623     3730 5480   640    615     3660 4200   628    603     3690 5470  
eca-rers2012/Problem05_label32_false-unreach-call.c 912    890     5660 7740   906    885     5650 6920   911    890     5680 7520   912    890     5680 7450  
eca-rers2012/Problem05_label33_false-unreach-call.c 908    884     7160 8050   906    885     7210 7860   903    878     7190 7190   905    884     7240 6940  
eca-rers2012/Problem05_label36_false-unreach-call.c 911    890     8910 7640   912    889     8900 10300   912    887     8920 9170   909    887     8920 7230  
eca-rers2012/Problem05_label37_false-unreach-call.c 299    276     15000 1990   278    255     15000 2390   280    260     15000 2420   297    273     15000 2530  
eca-rers2012/Problem05_label38_false-unreach-call.c 912    892     14000 7310   912    893     14000 10200   912    892     13900 7830   913    892     14000 8130  
eca-rers2012/Problem05_label39_false-unreach-call.c 912    891     10900 7840   913    891     10900 9870   912    891     10900 7930   911    891     10900 7450  
eca-rers2012/Problem05_label40_false-unreach-call.c 842    817     6780 6290   871    845     6740 8750   893    866     6790 7260   903    873     6720 7390  
eca-rers2012/Problem05_label41_false-unreach-call.c 912    891     13000 7940   912    891     13000 10200   912    890     13000 8240   911    892     13100 9890  
eca-rers2012/Problem05_label44_false-unreach-call.c 288    267     15000 2100   277    258     15000 2020   263    241     15000 1980   286    264     15000 2140  
eca-rers2012/Problem05_label47_false-unreach-call.c 656    629     3430 5180   648    621     3480 4530   666    642     3360 4960   667    638     3430 4730  
eca-rers2012/Problem05_label48_false-unreach-call.c 911    890     12100 7730   912    891     12100 8680   912    889     12200 8570   912    893     12200 10600  
eca-rers2012/Problem05_label51_false-unreach-call.c 910    888     12800 8030   911    892     12800 9330   914    893     12800 8880   911    890     12900 8170  
eca-rers2012/Problem05_label55_false-unreach-call.c 532    507     3150 3750   500    476     3130 4230   510    488     3190 3900   555    532     3190 3830  
eca-rers2012/Problem05_label57_false-unreach-call.c 623    596     3430 4350   575    552     3380 4880   624    596     3440 4490   612    588     3300 4760  
eca-rers2012/Problem05_label58_false-unreach-call.c 583    557     3760 4670   608    582     3730 4290   620    595     3720 3270   625    598     3750 4490  
eca-rers2012/Problem06_label00_false-unreach-call.c 191    166     2640 1320   186    165     2680 1510   183    162     2670 1570   180    158     2560 1160  
eca-rers2012/Problem06_label01_false-unreach-call.c 151    130     2450 1090   154    130     2390 1120   153    130     2430 1070   138    117     2320 1170  
eca-rers2012/Problem06_label02_false-unreach-call.c 154    133     2470 1140   163    138     2500 1330   160    139     2470 1150   152    129     2490 1400  
eca-rers2012/Problem06_label04_false-unreach-call.c 251    229     3680 2330   263    243     3730 2130   255    234     3720 2290   252    230     3720 2220  
eca-rers2012/Problem06_label05_false-unreach-call.c 147    123     2440 1480   143    122     2420 1170   152    128     2460 1020   140    118     2420 1350  
eca-rers2012/Problem06_label09_false-unreach-call.c 185    164     2580 1280   191    168     2610 1480   171    149     2540 1190   186    163     2590 1440  
eca-rers2012/Problem06_label10_false-unreach-call.c 188    165     2490 1230   189    167     2440 1360   190    167     2460 1040   201    179     2560 1510  
eca-rers2012/Problem06_label11_false-unreach-call.c 135    115     2390 1010   132    109     2360 943   137    115     2380 1090   136    114     2370 1020  
eca-rers2012/Problem06_label12_false-unreach-call.c 241    219     4020 2090   244    223     4020 2240   247    225     4030 2060   246    224     4030 1990  
eca-rers2012/Problem06_label15_false-unreach-call.c 131    111     2380 1070   136    115     2380 990   135    113     2350 1010   131    107     2310 919  
eca-rers2012/Problem06_label20_false-unreach-call.c 187    163     3130 1570   194    172     3200 1550   197    175     3250 1510   183    162     3140 1500  
eca-rers2012/Problem06_label21_false-unreach-call.c 190    170     3120 1530   195    174     3110 1580   191    172     3130 1660   192    171     3150 1870  
eca-rers2012/Problem06_label24_false-unreach-call.c 203    182     2680 1880   201    179     2600 1520   205    183     2650 1650   203    178     2660 1540  
eca-rers2012/Problem06_label27_false-unreach-call.c 152    131     2590 1110   153    131     2590 1170   167    144     2590 1130   141    120     2480 1380  
eca-rers2012/Problem06_label29_false-unreach-call.c 155    136     2510 1460   173    151     2490 1340   165    144     2550 1240   168    144     2570 1250  
eca-rers2012/Problem06_label33_false-unreach-call.c 167    144     2870 1300   171    147     2890 1300   170    147     2810 1430   166    145     2850 1200  
eca-rers2012/Problem06_label36_false-unreach-call.c 249    227     4520 2260   257    233     4520 2060   260    239     4500 2080   262    241     4590 2170  
eca-rers2012/Problem06_label37_false-unreach-call.c 153    133     2460 1160   159    138     2440 1240   158    135     2450 1120   161    139     2430 1110  
eca-rers2012/Problem06_label38_false-unreach-call.c 158    136     2720 1540   167    145     2770 1630   165    145     2720 1380   162    141     2750 1200  
eca-rers2012/Problem06_label44_false-unreach-call.c 139    118     2460 1030   151    130     2560 1040   149    127     2590 1080   145    125     2550 1080  
eca-rers2012/Problem06_label47_false-unreach-call.c 135    113     2410 1390   129    105     2450 992   132    113     2420 978   124    103     2330 904  
eca-rers2012/Problem06_label48_false-unreach-call.c 216    194     2940 1800   215    192     2940 1640   216    195     3060 1600   204    183     3120 2210  
eca-rers2012/Problem06_label56_false-unreach-call.c 167    145     2500 1320   166    144     2550 1530   186    163     2520 1310   177    155     2480 1590  
eca-rers2012/Problem06_label58_false-unreach-call.c 175    153     2890 1320   175    151     2970 1270   179    155     2890 1810   176    154     2950 1350  
eca-rers2012/Problem06_label59_false-unreach-call.c 151    129     2460 1010   142    120     2290 1040   152    130     2450 1180   153    130     2490 1320  
eca-rers2012/Problem07_label03_false-unreach-call.c 912    871     11500 6260   912    869     11700 7080   912    873     11800 6130   912    872     11700 6100  
eca-rers2012/Problem07_label05_false-unreach-call.c 912    866     11900 5580   912    873     11700 5270   912    870     11700 6180   913    868     11700 7030  
eca-rers2012/Problem07_label06_false-unreach-call.c 912    872     11700 5930   912    870     11700 6370   912    873     11600 6310   912    867     11600 6180  
eca-rers2012/Problem07_label07_false-unreach-call.c 912    872     11600 6280   912    868     11600 7640   912    871     11600 9260   912    871     11500 8770  
eca-rers2012/Problem07_label09_false-unreach-call.c 911    870     12100 7550   912    872     12100 5820   912    873     12200 6660   912    871     12100 6430  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    864     11900 6180   913    870     11900 7730   912    868     11800 5930   912    872     11900 5610  
eca-rers2012/Problem07_label15_false-unreach-call.c 295    258     15000 2930   310    269     15000 2250   308    268     15000 2640   298    260     15000 2570  
eca-rers2012/Problem07_label18_false-unreach-call.c 912    873     11600 8240   912    872     11400 7080   912    868     11600 6810   912    871     11500 5310  
eca-rers2012/Problem07_label19_false-unreach-call.c 912    874     11500 8240   908    860     11500 9160   912    869     11600 7330   913    872     11900 7550  
eca-rers2012/Problem07_label20_false-unreach-call.c 912    868     14200 7320   912    869     14300 6400   912    869     14400 7740   913    874     14100 6090  
eca-rers2012/Problem07_label23_false-unreach-call.c 912    871     11600 5990   912    874     11300 7600   912    870     11600 7190   912    869     11400 6950  
eca-rers2012/Problem07_label30_false-unreach-call.c 912    870     12200 6460   912    871     12200 8810   912    868     12400 6050   913    870     12200 6320  
eca-rers2012/Problem07_label31_false-unreach-call.c 906    861     11600 8130   912    872     11400 5670   912    871     11500 6070   912    872     11500 7030  
eca-rers2012/Problem07_label35_false-unreach-call.c 912    874     11600 6000   912    868     11600 8160   912    870     11700 6200   912    875     11900 8620  
eca-rers2012/Problem07_label36_false-unreach-call.c 912    872     11700 6070   912    868     11900 7120   912    868     11900 6970   915    870     11500 5850  
eca-rers2012/Problem07_label37_false-unreach-call.c 912    868     11800 8310   913    869     11700 5910   912    872     11700 5680   912    870     11700 7010  
eca-rers2012/Problem07_label39_false-unreach-call.c 912    871     11600 6040   911    874     11600 8570   912    868     11800 6420   913    870     11800 6000  
eca-rers2012/Problem07_label40_false-unreach-call.c 297    258     15000 2370   287    251     15000 2320   295    260     15000 2320   298    263     15000 2220  
eca-rers2012/Problem07_label42_false-unreach-call.c 580    539     15000 4230   545    502     15000 4730   597    554     15000 3070   611    566     15000 5670  
eca-rers2012/Problem07_label44_false-unreach-call.c 912    869     14900 6550   913    874     14900 7000   913    871     14800 5710   912    871     14800 6060  
eca-rers2012/Problem07_label46_false-unreach-call.c 912    872     11400 7070   912    868     11500 7440   912    871     11500 7430   912    870     11400 7030  
eca-rers2012/Problem07_label47_false-unreach-call.c 912    867     11600 6020   912    873     11600 6840   912    873     11600 6280   908    863     11500 5980  
eca-rers2012/Problem07_label48_false-unreach-call.c 287    250     15000 2180   268    229     15000 2250   270    232     15000 2220   297    256     15000 2130  
eca-rers2012/Problem07_label58_false-unreach-call.c 912    868     11800 6370   912    868     11700 6210   912    874     11700 7040   912    870     11700 6340  
eca-rers2012/Problem08_label01_false-unreach-call.c 455    384     15000 3600   443    369     15000 3410   455    379     15000 3090   482    407     15000 3830  
eca-rers2012/Problem08_label02_false-unreach-call.c 455    377     15000 4350   481    405     15000 3560   456    383     15000 3400   490    412     15000 4620  
eca-rers2012/Problem08_label04_false-unreach-call.c 448    373     15000 3340   443    364     15000 2800   456    382     15000 4690   452    376     15000 3980  
eca-rers2012/Problem08_label05_false-unreach-call.c 451    380     15000 3670   489    415     15000 3740   490    414     15000 3690   506    435     15000 3820  
eca-rers2012/Problem08_label06_false-unreach-call.c 484    412     15000 3110   436    384     15000 3610   463    392     15000 3150   446    367     15000 3420  
eca-rers2012/Problem08_label07_false-unreach-call.c 465    390     15000 3450   472    400     15000 3070   473    402     15000 3920   511    441     15000 3580  
eca-rers2012/Problem08_label10_false-unreach-call.c 233    180     15000 1880   256    188     15000 1950   243    191     15000 1850   235    182     15000 1780  
eca-rers2012/Problem08_label13_false-unreach-call.c 464    410     15000 3400   434    381     15000 3550   481    407     15000 3200   444    391     15000 3620  
eca-rers2012/Problem08_label15_false-unreach-call.c 439    389     15000 3280   466    391     15000 3090   486    410     15000 4210   476    401     15000 3800  
eca-rers2012/Problem08_label24_false-unreach-call.c 473    394     15000 3250   438    363     15000 3330   457    386     15000 4220   438    365     15000 3190  
eca-rers2012/Problem08_label25_false-unreach-call.c 432    357     15000 4140   454    380     15000 2850   441    373     15000 4340   463    387     15000 3810  
eca-rers2012/Problem08_label26_false-unreach-call.c 480    405     15000 3540   444    376     15000 3540   469    396     15000 3460   465    390     15000 3520  
eca-rers2012/Problem08_label28_false-unreach-call.c 452    397     15000 3900   473    401     15000 3790   472    399     15000 3370   477    405     15000 3480  
eca-rers2012/Problem08_label29_false-unreach-call.c 252    180     15000 1830   239    185     15000 1670   247    193     15000 1930   245    177     15000 2280  
eca-rers2012/Problem08_label34_false-unreach-call.c 501    450     15000 3690   521    447     15000 3540   544    476     15000 4040   589    510     15000 3710  
eca-rers2012/Problem08_label37_false-unreach-call.c 473    402     15000 3580   485    410     15000 3890   470    396     15000 3340   449    381     15000 3910  
eca-rers2012/Problem08_label43_false-unreach-call.c 500    427     15000 3690   494    418     15000 3350   466    409     15000 3800   467    398     15000 3420  
eca-rers2012/Problem08_label46_false-unreach-call.c 459    384     15000 3400   444    370     15000 3310   452    382     15000 3610   453    379     15000 3270  
eca-rers2012/Problem08_label48_false-unreach-call.c 413    360     15000 3470   443    371     15000 3770   433    359     15000 3050   473    400     15000 3310  
eca-rers2012/Problem08_label49_false-unreach-call.c 456    387     15000 3510   459    404     15000 3540   473    394     15000 3640   464    387     15000 3510  
eca-rers2012/Problem08_label50_false-unreach-call.c 447    376     15000 3610   413    361     15000 3030   430    357     15000 3510   462    392     15000 3620  
eca-rers2012/Problem08_label51_false-unreach-call.c 440    367     15000 3690   436    362     15000 3230   447    373     15000 3900   452    378     15000 3570  
eca-rers2012/Problem08_label55_false-unreach-call.c 281    212     15000 2100   283    215     15000 2180   253    204     15000 1980   251    203     15000 1900  
eca-rers2012/Problem08_label59_false-unreach-call.c 435    363     15000 3230   446    375     15000 3300   452    384     15000 3650   432    359     15000 3490  
eca-rers2012/Problem09_label02_false-unreach-call.c 302    230     15000 2160   269    220     15000 2210   263    207     15000 2300   273    218     15000 2460  
eca-rers2012/Problem09_label03_false-unreach-call.c 297    243     15000 2210   280    227     15000 2180   290    239     15000 2610   293    221     15000 2040  
eca-rers2012/Problem09_label06_false-unreach-call.c 361    308     15000 3020   364    290     15000 2930   364    292     15000 3480   396    324     15000 2770  
eca-rers2012/Problem09_label08_false-unreach-call.c 327    259     15000 2360   338    265     15000 2810   327    259     15000 2810   310    258     15000 2570  
eca-rers2012/Problem09_label10_false-unreach-call.c 282    213     15000 2420   266    215     15000 1960   286    213     15000 2170   290    222     15000 2430  
eca-rers2012/Problem09_label11_false-unreach-call.c 278    227     15000 2020   311    242     15000 2610   300    251     15000 2190   314    245     15000 2070  
eca-rers2012/Problem09_label15_false-unreach-call.c 289    236     15000 2030   306    237     15000 2260   313    242     15000 2520   305    235     15000 2210  
eca-rers2012/Problem09_label19_false-unreach-call.c 300    230     15000 2860   286    218     15000 2370   296    244     15000 2430   301    235     15000 2430  
eca-rers2012/Problem09_label20_false-unreach-call.c 299    227     15000 2110   289    235     15000 2410   278    212     15000 2100   292    242     15000 2330  
eca-rers2012/Problem09_label32_false-unreach-call.c 319    247     15000 2090   304    249     15000 2090   267    216     15000 2320   290    240     15000 2390  
eca-rers2012/Problem09_label34_false-unreach-call.c 336    260     15000 2640   333    261     15000 2440   310    258     15000 2380   352    280     15000 2380  
eca-rers2012/Problem09_label35_false-unreach-call.c 280    230     15000 2140   280    228     15000 2000   280    227     15000 2020   309    256     15000 2220  
eca-rers2012/Problem09_label36_false-unreach-call.c 317    272     15000 2440   346    290     15000 2560   368    299     15000 2690   329    275     15000 2290  
eca-rers2012/Problem09_label38_false-unreach-call.c 301    252     15000 2510   294    242     15000 2560   300    232     15000 2180   303    232     15000 1880  
eca-rers2012/Problem09_label41_false-unreach-call.c 333    283     15000 2550   317    266     15000 2460   326    258     15000 2570   342    269     15000 3180  
eca-rers2012/Problem09_label44_false-unreach-call.c 282    229     15000 2080   290    235     15000 2840   276    226     15000 2410   297    227     15000 2750  
eca-rers2012/Problem09_label46_false-unreach-call.c 297    246     15000 2280   343    273     15000 2280   293    241     15000 1990   312    261     15000 2360  
eca-rers2012/Problem09_label47_false-unreach-call.c 285    232     15000 2450   300    246     15000 2020   294    224     15000 2480   274    219     15000 2280  
eca-rers2012/Problem09_label51_false-unreach-call.c 505    453     15000 3420   482    429     15000 3190   525    453     15000 2780   504    451     15000 2840  
eca-rers2012/Problem09_label53_false-unreach-call.c 304    234     15000 2080   302    236     15000 2430   287    232     15000 2200   322    257     15000 2100  
eca-rers2012/Problem09_label54_false-unreach-call.c 283    233     15000 2140   321    253     15000 2220   321    253     15000 2330   282    232     15000 2120  
eca-rers2012/Problem09_label56_false-unreach-call.c 313    243     15000 2410   291    221     15000 2310   261    209     15000 2570   281    213     15000 2470  
eca-rers2012/Problem09_label57_false-unreach-call.c 496    440     15000 3370   507    438     15000 4020   536    464     15000 3700   509    436     15000 3810  
eca-rers2012/Problem09_label59_false-unreach-call.c 280    227     15000 1950   304    231     15000 2140   292    225     15000 2100   292    222     15000 2680  
eca-rers2012/Problem10_label12_false-unreach-call.c 902    897     397 11100   901    897     390 9700   902    898     396 11800   902    897     384 12300  
eca-rers2012/Problem10_label15_false-unreach-call.c 8.02 3.55  353 71.7 9.37 4.65  348 91.5 7.97 3.43  348 74.0 8.13 3.53  347 75.7
eca-rers2012/Problem10_label24_false-unreach-call.c 7.44 2.82  346 63.1 7.46 2.97  345 62.0 7.95 3.02  345 69.0 8.42 3.21  349 72.6
eca-rers2012/Problem10_label26_false-unreach-call.c 7.49 2.94  352 68.6 7.51 2.86  351 68.7 7.54 2.96  344 63.2 7.50 2.93  349 67.9
eca-rers2012/Problem10_label28_false-unreach-call.c 8.31 3.64  357 70.4 8.63 3.76  357 77.2 8.32 3.60  354 68.2 8.22 3.67  346 74.7
eca-rers2012/Problem10_label29_false-unreach-call.c 7.35 2.80  350 63.2 7.69 2.99  352 57.0 7.39 2.84  345 63.1 7.35 2.77  343 67.2
eca-rers2012/Problem10_label41_false-unreach-call.c 5.88 2.01  324 54.3 5.87 2.02  314 51.4 5.59 1.96  308 50.4 5.78 1.97  323 48.1
eca-rers2012/Problem10_label42_false-unreach-call.c 6.34 2.19  320 50.0 5.68 1.99  314 46.7 5.85 2.03  321 49.8 5.80 2.03  309 47.0
eca-rers2012/Problem10_label46_false-unreach-call.c 4.75 1.57  301 43.0 4.47 1.54  298 39.0 4.46 1.58  291 34.5 4.47 1.57  293 40.1
eca-rers2012/Problem10_label47_false-unreach-call.c 5.82 2.05  311 51.0 5.82 1.97  319 44.4 5.67 1.93  314 50.9 5.82 1.95  309 42.8
eca-rers2012/Problem10_label48_false-unreach-call.c 791    786     422 9600   791    785     424 12100   789    784     422 9860   7.72 3.13  346 64.0
eca-rers2012/Problem10_label50_false-unreach-call.c 7.65 2.88  347 64.7 7.04 2.69  344 61.5 7.12 2.71  348 55.3 7.61 2.85  356 61.8
eca-rers2012/Problem10_label55_false-unreach-call.c 5.69 1.98  322 52.8 5.62 1.94  310 47.5 5.74 2.03  308 45.7 5.89 2.02  310 51.7
eca-rers2012/Problem10_label57_false-unreach-call.c 7.56 3.17  360 61.6 7.47 3.17  369 75.0 7.51 3.19  366 61.5 8.01 3.25  371 61.5
eca-rers2012/Problem10_label58_false-unreach-call.c 7.74 3.08  355 73.0 7.49 3.12  354 70.6 7.71 3.03  357 61.0 7.56 3.09  355 70.2
eca-rers2012/Problem11_label00_false-unreach-call.c 12.0  4.58  506 97.4 13.4  5.57  484 114   10.4  4.52  481 90.4 11.0  4.59  471 86.7
eca-rers2012/Problem11_label08_false-unreach-call.c 9.96 2.77  397 69.2 9.71 2.74  386 80.1 9.36 2.62  377 75.6 8.01 2.66  361 63.3
eca-rers2012/Problem11_label14_false-unreach-call.c 9.60 2.74  383 74.3 8.11 2.56  376 61.3 10.4  2.98  387 75.8 7.93 2.58  364 75.0
eca-rers2012/Problem11_label15_false-unreach-call.c 8.27 2.55  366 65.9 9.59 2.69  386 78.2 8.18 2.59  369 70.3 8.09 2.59  369 65.1
eca-rers2012/Problem11_label20_false-unreach-call.c 13.3  4.72  528 112   12.9  4.77  512 114   12.3  5.59  495 108   12.8  4.67  525 103  
eca-rers2012/Problem11_label29_false-unreach-call.c 8.24 2.78  374 68.6 9.78 2.83  398 74.6 8.52 2.79  377 74.8 8.91 2.91  376 77.8
eca-rers2012/Problem11_label31_false-unreach-call.c 12.2  4.31  481 102   11.1  4.30  469 90.2 10.6  4.30  470 91.7 13.9  5.03  492 117  
eca-rers2012/Problem11_label34_false-unreach-call.c 13.6  5.05  493 111   13.3  5.02  504 102   13.3  5.09  512 112   11.6  5.16  477 96.4
eca-rers2012/Problem11_label36_false-unreach-call.c 9.50 2.57  382 71.8 9.17 2.68  381 70.2 8.18 2.59  360 67.8 7.92 2.62  364 57.9
eca-rers2012/Problem11_label39_false-unreach-call.c 12.7  4.39  511 100   11.4  4.30  490 88.3 13.4  4.86  513 115   12.8  4.79  487 103  
eca-rers2012/Problem11_label42_false-unreach-call.c 9.69 2.67  383 66.5 8.53 2.68  372 63.1 8.22 2.64  367 70.6 7.83 2.57  369 59.7
eca-rers2012/Problem11_label43_false-unreach-call.c 9.73 2.83  391 85.8 8.88 2.80  377 68.9 8.52 2.76  383 72.6 9.78 2.81  387 87.1
eca-rers2012/Problem11_label49_false-unreach-call.c 7.76 2.55  369 65.9 7.86 2.56  362 61.4 8.26 2.65  371 69.1 9.82 2.79  392 79.3
eca-rers2012/Problem11_label51_false-unreach-call.c 8.27 2.68  366 73.0 9.76 2.76  391 72.6 10.4  2.92  382 82.3 10.2  2.89  389 75.6
eca-rers2012/Problem11_label58_false-unreach-call.c 9.51 2.81  392 82.1 8.37 2.80  372 69.1 10.2  2.82  390 83.2 7.96 2.71  374 66.6
eca-rers2012/Problem12_label00_false-unreach-call.c 121    108     3130 1130   120    107     3150 1080   115    103     3120 1050   116    103     3140 1010  
eca-rers2012/Problem12_label03_false-unreach-call.c 86.5  73.2   2450 676   85.4  71.5   2440 733   85.4  71.7   2380 827   83.6  69.9   2390 827  
eca-rers2012/Problem12_label06_false-unreach-call.c 73.8  60.4   1440 658   73.0  57.3   1430 615   67.7  54.3   1490 561   70.6  56.9   1420 593  
eca-rers2012/Problem12_label07_false-unreach-call.c 902    888     2950 8890   902    888     2920 8040   902    888     2920 9310   902    888     2920 9720  
eca-rers2012/Problem12_label08_false-unreach-call.c 471    457     2990 4690   254    240     2640 2490   314    301     2630 2980   376    362     2660 4420  
eca-rers2012/Problem12_label10_false-unreach-call.c 902    888     5180 9200   902    889     5150 11200   902    890     5190 9270   902    887     5160 10100  
eca-rers2012/Problem12_label13_false-unreach-call.c 306    292     2950 3220   135    120     2960 1230   306    292     2970 3080   298    284     2960 2890  
eca-rers2012/Problem12_label19_false-unreach-call.c 97.1  82.3   2580 859   93.7  79.7   2590 811   97.4  83.5   2540 1090   98.2  84.1   2540 1090  
eca-rers2012/Problem12_label20_false-unreach-call.c 70.4  56.6   1520 564   902    889     1490 9600   902    889     1500 9930   902    888     1460 9840  
eca-rers2012/Problem12_label21_false-unreach-call.c 163    149     5240 1380   171    157     5260 1880   166    152     5320 1600   165    152     5280 1770  
eca-rers2012/Problem12_label25_false-unreach-call.c 902    888     1720 8830   902    888     1710 9770   902    888     1700 9950   902    887     1730 10200  
eca-rers2012/Problem12_label28_false-unreach-call.c 65.2  51.7   1490 566   61.3  48.3   1450 493   57.7  45.1   1430 587   64.1  49.6   1500 514  
eca-rers2012/Problem12_label30_false-unreach-call.c 902    887     1510 12200   284    272     1460 3370   144    131     1450 1320   286    271     1540 3640  
eca-rers2012/Problem12_label34_false-unreach-call.c 309    297     3580 2390   284    269     3670 2950   282    270     3600 2790   387    374     3620 3590  
eca-rers2012/Problem12_label35_false-unreach-call.c 353    339     11200 3580   349    333     11200 3560   342    329     11200 4330   347    331     11200 3570  
eca-rers2012/Problem12_label37_false-unreach-call.c 100    87.7   3520 1120   101    87.3   3510 1030   106    91.2   3540 1060   105    92.6   3590 905  
eca-rers2012/Problem12_label38_false-unreach-call.c 512    498     1930 6010   902    887     1840 9110   901    888     1850 9850   122    109     1880 1200  
eca-rers2012/Problem12_label39_false-unreach-call.c 76.6  60.9   1410 663   73.6  60.7   1380 782   81.4  68.2   1440 642   70.6  56.4   1410 687  
eca-rers2012/Problem12_label40_false-unreach-call.c 520    506     1880 5420   124    109     1920 1080   282    268     1910 2730   143    128     1890 1690  
eca-rers2012/Problem12_label42_false-unreach-call.c 901    888     3960 10000   577    565     4030 7040   350    337     4020 4270   276    263     3960 2820  
eca-rers2012/Problem12_label48_false-unreach-call.c 145    132     1770 1360   138    122     1970 1190   194    180     1930 1870   149    133     1900 1370  
eca-rers2012/Problem12_label50_false-unreach-call.c 60.9  46.5   1500 478   58.0  45.0   1490 542   62.6  46.9   1500 492   59.3  46.9   1500 477  
eca-rers2012/Problem12_label51_false-unreach-call.c 69.3  56.5   1650 621   67.6  53.8   1730 663   70.8  57.8   1660 613   72.7  58.2   1700 621  
eca-rers2012/Problem12_label52_false-unreach-call.c 60.5  47.5   1450 573   64.3  49.2   1480 528   61.1  48.2   1490 586   60.7  46.6   1470 519  
eca-rers2012/Problem12_label55_false-unreach-call.c 902    887     1800 9750   902    889     1800 10000   902    887     1820 10500   902    888     1810 9700  
eca-rers2012/Problem13_label04_false-unreach-call.c 902    887     1320 9720   902    888     1280 11500   902    888     1310 8860   902    886     1310 7220  
eca-rers2012/Problem13_label06_false-unreach-call.c 902    887     1280 8810   902    888     1320 10200   902    887     1310 7590   902    886     1300 8120  
eca-rers2012/Problem13_label07_false-unreach-call.c 94.0  79.1   1580 782   91.8  76.7   1650 777   95.4  79.6   1670 776   99.6  84.4   1690 766  
eca-rers2012/Problem13_label11_false-unreach-call.c 902    887     1420 8350   902    886     1400 7610   902    887     1380 7450   902    886     1390 8220  
eca-rers2012/Problem13_label12_false-unreach-call.c 381    365     1490 3880   180    165     1520 1480   481    466     1470 4920   797    782     1490 8250  
eca-rers2012/Problem13_label16_false-unreach-call.c 90.8  76.8   1600 844   164    148     1670 1490   142    126     1630 1340   244    228     1700 2260  
eca-rers2012/Problem13_label19_false-unreach-call.c 96.5  81.8   2160 750   115    99.4   2130 967   131    113     2170 1190   119    105     2130 959  
eca-rers2012/Problem13_label21_false-unreach-call.c 110    95.6   2650 1030   108    93.1   2590 1020   110    95.2   2560 1030   101    86.5   2640 868  
eca-rers2012/Problem13_label23_false-unreach-call.c 902    886     2100 8230   902    889     2020 11800   902    889     2060 8770   902    887     2060 8960  
eca-rers2012/Problem13_label24_false-unreach-call.c 902    888     1250 11500   902    887     1290 9000   902    887     1280 10300   902    888     1260 9600  
eca-rers2012/Problem13_label25_false-unreach-call.c 94.6  79.0   1500 922   752    736     1490 8740   902    886     1340 8670   94.2  77.3   1550 703  
eca-rers2012/Problem13_label28_false-unreach-call.c 902    887     2010 9260   902    888     2040 11500   902    887     2050 8250   902    887     2020 7930  
eca-rers2012/Problem13_label29_false-unreach-call.c 902    885     1510 8550   902    887     1490 6970   902    888     1490 8470   902    887     1510 10000  
eca-rers2012/Problem13_label30_false-unreach-call.c 902    888     2010 8360   902    887     2040 9710   902    886     2080 8470   902    888     2000 7530  
eca-rers2012/Problem13_label32_false-unreach-call.c 185    170     1650 2120   217    203     1650 2100   534    520     1650 4170   766    750     1580 9560  
eca-rers2012/Problem13_label35_false-unreach-call.c 902    888     3440 10400   902    888     3430 8850   902    886     3460 7510   902    887     3450 7750  
eca-rers2012/Problem13_label36_false-unreach-call.c 902    887     2350 9580   811    795     2540 7980   902    888     2380 8970   902    885     2390 10500  
eca-rers2012/Problem13_label40_false-unreach-call.c 902    887     1650 10700   629    613     1500 6400   902    888     1290 8570   902    886     2180 11900  
eca-rers2012/Problem13_label43_false-unreach-call.c 88.8  74.3   1620 759   95.2  80.0   1660 740   96.8  80.7   1640 719   102    87.1   1610 835  
eca-rers2012/Problem13_label44_false-unreach-call.c 902    888     1440 11600   902    887     1490 8640   902    885     1480 8100   902    886     1470 9240  
eca-rers2012/Problem13_label45_false-unreach-call.c 172    155     1580 1370   902    887     1440 8540   296    281     1590 2020   902    886     1450 10400  
eca-rers2012/Problem13_label48_false-unreach-call.c 902    886     1680 9490   902    887     1710 8800   902    887     2290 10100   902    887     1720 11400  
eca-rers2012/Problem13_label51_false-unreach-call.c 91.3  75.1   1560 960   87.1  71.1   1550 757   79.9  66.0   1500 726   85.8  71.0   1650 618  
eca-rers2012/Problem13_label54_false-unreach-call.c 862    846     1640 8050   604    588     1640 6670   584    568     1590 4660   472    457     1590 4500  
eca-rers2012/Problem13_label58_false-unreach-call.c 82.5  66.5   1510 646   75.2  61.0   1540 825   74.8  60.4   1530 597   78.3  61.2   1530 602  
eca-rers2012/Problem14_label02_false-unreach-call.c 901    891     1540 9390   902    893     1510 10800   902    892     1580 6700   902    893     1960 7150  
eca-rers2012/Problem14_label08_false-unreach-call.c 904    895     1750 7860   906    897     1620 9320   902    892     2050 10900   902    894     1800 8280  
eca-rers2012/Problem14_label10_false-unreach-call.c 901    891     1620 9440   901    892     1360 8880   901    890     1160 10100   901    891     1390 9450  
eca-rers2012/Problem14_label11_false-unreach-call.c 902    893     1640 7460   902    893     1620 10100   903    893     1410 9040   902    892     1380 6930  
eca-rers2012/Problem14_label12_false-unreach-call.c 903    892     1570 7680   902    894     1830 7860   902    892     1650 7220   903    891     1660 7540  
eca-rers2012/Problem14_label13_false-unreach-call.c 903    895     1890 8040   903    894     2120 7360   903    894     1900 7420   902    892     1930 8090  
eca-rers2012/Problem14_label14_false-unreach-call.c 902    892     1610 10700   902    894     1960 8440   904    897     2530 7960   903    894     2060 7830  
eca-rers2012/Problem14_label18_false-unreach-ca