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-66-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-10 07:38:54 CET
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 -kInduction-dfInvariants -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 -kInduction-dfInvariants -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 -kInduction-dfInvariants -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 -kInduction-dfInvariants -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 903    397     9130 8090   903    396     9150 8730   905    412     8880 8590   904    398     9300 8360  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 921    449     7510 7900   941    470     8130 8970   928    453     8160 8270   903    431     7780 8930  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 921    449     7360 7590   902    430     7500 8110   902    429     7490 7920   914    442     7690 7780  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 902    424     7520 9190   902    424     7550 8830   901    425     7640 8780   901    424     7950 9540  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 912    424     11800 7890   912    424     11800 8600   909    420     12000 8490   913    426     13400 7850  
array-examples/standard_allDiff2_false-unreach-call_ground.i 938    463     7990 8480   934    457     8020 8570   937    461     8130 8410   935    459     8260 8860  
array-examples/standard_copy1_false-unreach-call_ground.i 902    436     5360 8530   910    445     5290 9900   919    455     5370 8490   901    437     3650 8820  
array-examples/standard_copy2_false-unreach-call_ground.i 902    438     4860 6610   901    438     4220 9880   901    434     5330 8360   902    438     3650 9010  
array-examples/standard_copy3_false-unreach-call_ground.i 901    435     4270 9070   902    436     4760 9170   902    435     5480 7880   901    436     3840 10300  
array-examples/standard_copy4_false-unreach-call_ground.i 902    436     3840 10200   902    435     3980 9540   909    443     6600 8320   902    435     4410 9820  
array-examples/standard_copy5_false-unreach-call_ground.i 901    436     4340 9080   901    435     4440 8710   901    434     6590 8660   901    435     4310 8850  
array-examples/standard_copy6_false-unreach-call_ground.i 901    437     4250 9560   901    436     4530 8420   909    443     6570 9410   901    437     4530 8770  
array-examples/standard_copy7_false-unreach-call_ground.i 901    436     4290 8940   901    435     4440 9890   901    433     6590 9110   901    435     4300 8820  
array-examples/standard_copy8_false-unreach-call_ground.i 901    437     3930 9440   901    436     3890 9350   906    437     6210 8240   901    434     4890 9300  
array-examples/standard_copy9_false-unreach-call_ground.i 901    436     4530 8550   901    437     4060 9680   904    435     6190 8930   902    435     5170 10300  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 902    438     3910 9420   902    437     4570 8380   901    435     5410 8780   903    438     4440 8750  
array-examples/standard_init1_false-unreach-call_ground.i 904    439     4900 6910   903    439     5030 6660   902    437     5040 8820   901    438     4320 8140  
array-examples/standard_init2_false-unreach-call_ground.i 903    440     5180 7000   903    438     5290 6280   910    444     5290 9100   901    437     4820 9970  
array-examples/standard_init3_false-unreach-call_ground.i 903    438     5190 6520   903    439     5160 7110   901    436     6640 9560   904    439     4980 8310  
array-examples/standard_init4_false-unreach-call_ground.i 903    438     5160 6730   904    439     5150 7520   910    444     6630 8360   903    438     5180 8000  
array-examples/standard_init5_false-unreach-call_ground.i 903    438     5230 7260   903    439     5200 7670   907    442     6570 10200   903    438     5260 8310  
array-examples/standard_init6_false-unreach-call_ground.i 903    437     5860 6720   903    439     5820 7300   906    440     6570 7910   903    438     5670 7720  
array-examples/standard_init7_false-unreach-call_ground.i 903    438     5850 7370   903    437     5800 6930   914    447     6600 9050   903    438     5370 8830  
array-examples/standard_init8_false-unreach-call_ground.i 902    437     5630 7510   903    436     5840 7620   901    434     6260 9070   904    438     6240 8150  
array-examples/standard_init9_false-unreach-call_ground.i 902    436     5680 7390   902    437     5680 7500   913    447     6170 10500   903    437     6030 8220  
array-examples/standard_minInArray_false-unreach-call_ground.i 908    441     5130 7680   918    451     5100 7540   917    451     5340 6980   908    442     5370 9640  
array-examples/standard_partition_false-unreach-call_ground.i 902    435     5260 7980   902    435     5240 7970   941    464     8450 8870   904    427     8740 8650  
array-examples/standard_running_false-unreach-call.i 901    437     5680 6330   901    437     5580 7840   901    433     5560 10300   902    437     4950 8920  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 2.74 1.02  277 21.4 2.85 1.04  273 25.8 3.18 1.01  317 24.3 2.87 1.04  275 24.0
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 902    398     10900 8730   901    391     10800 8930   902    403     10400 8680   902    391     10900 8120  
array-examples/relax_true-unreach-call.i 64.1  21.7   2860 556   74.2  25.5   2540 577   65.6  21.2   2640 540   66.6  22.1   3720 591  
array-examples/sanfoundry_02_true-unreach-call_ground.i 905    437     6630 7790   903    433     6470 6770   905    438     6730 9340   901    432     6810 7180  
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    434     5820 9330   901    433     5810 9770   901    424     7810 8350   901    423     7450 10200  
array-examples/sanfoundry_24_true-unreach-call.i 5.80 1.52  381 41.9 6.77 1.69  423 52.7 3.78 1.21  285 32.6 5.88 1.62  378 40.0
array-examples/sanfoundry_27_true-unreach-call_ground.i 905    438     5090 7710   903    437     5120 7840   908    441     5150 9620   902    435     5310 7790  
array-examples/sanfoundry_43_true-unreach-call_ground.i 3.06 1.01  326 24.4 2.56 .974 272 23.6 3.03 .991 319 23.4 2.60 .954 271 22.1
array-examples/sorting_bubblesort_true-unreach-call_ground.i 902    430     7490 7610   902    430     7480 8110   912    440     7380 7810   902    430     7800 9650  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    428     7520 9780   902    427     7570 8590   902    434     7120 9340   902    428     8140 10700  
array-examples/standard_compareModified_true-unreach-call_ground.i 902    435     4870 9790   902    435     4740 9180   909    441     6620 8690   901    436     4040 9310  
array-examples/standard_compare_true-unreach-call_ground.i 904    437     5100 8260   910    443     5710 8170   910    444     5260 9470   902    437     4770 9530  
array-examples/standard_copy1_true-unreach-call_ground.i 902    438     5170 8970   902    438     4950 7330   919    455     5030 8810   902    438     4030 8650  
array-examples/standard_copy2_true-unreach-call_ground.i 902    437     4980 9960   902    437     4750 8400   909    444     5460 8300   901    437     4010 8910  
array-examples/standard_copy3_true-unreach-call_ground.i 901    437     3390 8990   901    436     3800 8760   918    451     6670 9460   902    438     3550 9450  
array-examples/standard_copy4_true-unreach-call_ground.i 901    437     3980 9290   901    436     4220 9210   917    449     6430 8620   901    436     4260 9160  
array-examples/standard_copy5_true-unreach-call_ground.i 901    434     4790 9660   901    436     4780 8930   916    447     6600 8630   902    435     4040 9100  
array-examples/standard_copy6_true-unreach-call_ground.i 901    436     3470 10300   902    437     3830 9590   912    446     6550 8040   902    435     5010 10200  
array-examples/standard_copy7_true-unreach-call_ground.i 901    436     3930 10300   901    436     3870 10900   901    434     6580 9260   901    435     4940 9180  
array-examples/standard_copy8_true-unreach-call_ground.i 901    435     4800 9780   901    437     4040 9640   901    433     6240 7950   901    436     4500 9970  
array-examples/standard_copy9_true-unreach-call_ground.i 901    434     4770 8970   901    436     4210 8560   901    435     6180 8640   901    434     5140 8700  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 902    437     4820 8730   902    437     4660 8240   902    436     5460 8350   903    438     4670 8460  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 902    437     4860 10200   903    438     4270 9150   901    436     6710 8730   902    436     5050 9530  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 902    437     4440 8650   902    437     4460 8160   904    437     5390 8660   903    438     4860 8660  
array-examples/standard_copyInit_true-unreach-call_ground.i 902    438     4540 8010   902    437     5200 8530   904    438     5440 8590   901    437     4980 7880  
array-examples/standard_find_true-unreach-call_ground.i 901    423     8310 8890   913    436     8300 8750   901    421     8320 7840   914    438     7640 8820  
array-examples/standard_init1_true-unreach-call_ground.i 902    439     4640 6420   903    439     4740 6530   913    449     5400 9830   913    450     3850 7750  
array-examples/standard_init2_true-unreach-call_ground.i 903    438     5260 8240   903    439     5210 8030   919    453     5430 8500   902    437     4940 7880  
array-examples/standard_init3_true-unreach-call_ground.i 903    438     5280 7630   903    438     5140 8130   901    436     6620 8740   904    439     4730 7660  
array-examples/standard_init4_true-unreach-call_ground.i 903    437     5200 6910   903    438     5220 8820   917    451     6610 8000   904    439     5190 8840  
array-examples/standard_init5_true-unreach-call_ground.i 903    437     5190 7780   903    438     5200 8260   916    450     6540 9230   913    447     5210 7800  
array-examples/standard_init6_true-unreach-call_ground.i 903    439     5830 8100   903    438     5770 9260   916    449     6570 8650   903    437     6290 9960  
array-examples/standard_init7_true-unreach-call_ground.i 902    438     5260 7450   902    437     5650 8910   907    440     6610 8340   901    436     6300 7990  
array-examples/standard_init8_true-unreach-call_ground.i 903    438     5810 9520   902    438     5780 7040   914    447     6270 9380   919    452     6270 7800  
array-examples/standard_init9_true-unreach-call_ground.i 903    436     5910 9130   903    436     5880 8130   901    434     6200 9420   901    435     6300 8360  
array-examples/standard_maxInArray_true-unreach-call_ground.i 917    449     5170 7510   901    434     5210 7930   917    451     5210 8340   904    437     5350 10000  
array-examples/standard_minInArray_true-unreach-call_ground.i 917    450     5140 9400   903    436     5180 8920   917    450     5030 6780   908    441     5330 8150  
array-examples/standard_palindrome_true-unreach-call_ground.i 902    438     4550 8610   901    437     4850 6570   919    453     5040 8520   901    439     3250 9710  
array-examples/standard_partial_init_true-unreach-call_ground.i 905    429     8410 9070   903    426     8400 8140   906    429     8480 9050   920    446     8510 7630  
array-examples/standard_partition_original_true-unreach-call_ground.i 905    439     4830 8890   905    439     4830 9960   902    425     8510 9260   918    443     8520 8170  
array-examples/standard_partition_true-unreach-call_ground.i 901    433     5330 10200   901    435     5780 9840   901    434     6520 7860   901    432     5290 8320  
array-examples/standard_password_true-unreach-call_ground.i 918    451     5130 8500   907    439     5250 10300   911    447     5290 10000   901    435     4770 9450  
array-examples/standard_reverse_true-unreach-call_ground.i 902    438     3370 8090   902    438     3790 9630   906    441     4560 8870   902    438     5060 9160  
array-examples/standard_running_true-unreach-call.i 901    437     5010 6180   901    437     5040 6200   901    433     5550 8960   901    436     4170 9520  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    438     3310 8950   901    437     3160 10600   901    437     2690 9410   901    439     2990 9420  
array-examples/standard_seq_init_true-unreach-call_ground.i 902    439     3870 9870   902    438     3880 8430   909    445     5110 8450   903    439     4460 8390  
array-examples/standard_strcmp_true-unreach-call_ground.i 902    434     5290 8960   902    435     5120 9410   907    439     5280 7900   901    435     4860 9920  
array-examples/standard_strcpy_original_true-unreach-call.i 901    427     7260 7010   908    435     6940 9500   924    444     8340 8660   901    428     7610 7220  
array-examples/standard_strcpy_true-unreach-call_ground.i 960    482     8550 8900   906    432     7330 8060   901    425     8320 8620   901    426     7430 7540  
array-examples/standard_two_index_01_true-unreach-call.i 903    440     3550 9260   901    439     2510 10400   901    437     5270 8010   901    439     2820 8850  
array-examples/standard_two_index_02_true-unreach-call.i 902    438     4530 8220   902    438     4150 8780   904    439     5120 8050   901    438     3900 9980  
array-examples/standard_two_index_03_true-unreach-call.i 902    702     4170 8730   902    697     3220 12200   912    701     6120 10800   902    714     3030 10500  
array-examples/standard_two_index_04_true-unreach-call.i 902    438     3990 8700   902    437     3910 8740   902    438     5090 7700   902    439     3580 8550  
array-examples/standard_two_index_05_true-unreach-call.i 902    439     4880 9500   902    438     4920 7990   901    436     4730 7350   901    439     3420 9090  
array-examples/standard_two_index_06_true-unreach-call.i 902    836     4680 10600   901    837     4140 11900   901    830     7030 9390   901    840     4110 10500  
array-examples/standard_two_index_07_true-unreach-call.i 902    438     4850 9120   902    439     4590 9230   901    437     5380 10100   902    439     3580 9280  
array-examples/standard_two_index_08_true-unreach-call.i 902    438     4810 8450   903    438     4750 7670   910    447     5200 8760   901    439     4420 8550  
array-examples/standard_two_index_09_true-unreach-call.i 902    438     4090 8710   902    437     4190 9670   907    442     5120 8610   901    438     3930 10300  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 905    438     6670 9500   910    444     6700 8420   910    441     6730 8480   909    442     6750 8760  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    438     3300 9240   902    439     3650 9560   906    442     4730 6890   902    438     4310 7980  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 902    439     3490 6900   902    440     3140 7980   902    439     3020 8870   901    440     3300 9130  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 5.77 1.60  442 42.2 517    252     15000 3390   903    440     2590 8490   5.95 1.61  448 45.9
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    436     3920 9370   901    437     4350 8430   901    437     4410 8140   901    782     3040 12200  
array-industry-pattern/array_range_init_false-unreach-call.i 4.58 1.34  341 36.9 503    245     15000 3100   904    437     5280 7810   4.54 1.33  338 38.0
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    438     4420 7740   902    438     4560 7330   901    437     2710 7310   901    646     3640 9760  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    428     7960 9890   904    432     7880 10500   904    432     8140 9910   902    428     8310 9800  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    439     3880 8620   902    439     3720 8640   902    435     5870 7120   901    436     4490 9480  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    860     3110 11700   901    729     3340 13200   901    438     4330 9280   901    852     3120 12000  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 901    734     3240 10700   103    47.2   15000 708   908    443     6890 8110   904    438     5540 7240  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 5.21 1.41  347 37.2 96.8  42.9   15000 875   902    436     5010 7320   5.15 1.44  352 37.0
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 902    432     6040 6990   901    431     6090 8140   902    431     6110 7240   903    436     5590 9950  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 4.98 1.43  348 37.7 104    45.9   15000 677   902    436     2930 6590   4.66 1.37  318 29.6
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    682     3130 11900   960    499     4510 5130   901    436     4670 9690   901    437     3990 9500  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 6.11 1.63  459 44.4 120    54.6   15000 711   907    440     5820 7210   5.57 1.52  443 46.6
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    865     2660 11000   504    245     15000 2700   904    438     5510 8630   901    437     4580 9600  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    715     2770 10100   107    45.9   15000 662   901    434     4090 6570   901    435     4940 9210  
array-industry-pattern/array_shadowinit_true-unreach-call.i 901    436     6420 8610   906    440     6420 8300   911    444     6660 7180   904    436     5320 8470  
reducercommutativity/rangesum05_false-unreach-call.i 17.9  7.39  800 176   16.6  6.87  828 170   18.8  7.13  753 180   17.6  7.29  757 170  
reducercommutativity/rangesum10_false-unreach-call.i 901    888     1340 10100   901    890     1260 13000   29.9  16.9   1300 312   31.0  18.1   1430 324  
reducercommutativity/rangesum20_false-unreach-call.i 901    887     1440 9750   901    888     1530 11900   72.3  56.8   2230 864   90.1  73.4   1890 1210  
reducercommutativity/rangesum40_false-unreach-call.i 901    885     2240 12800   901    884     2330 10900   271    247     2510 3470   732    708     2460 8830  
reducercommutativity/rangesum60_false-unreach-call.i 901    880     4320 10300   901    880     2760 10000   882    846     5600 11600   901    873     3420 11900  
reducercommutativity/rangesum_false-unreach-call.i 62.0  18.8   2700 524   59.3  18.6   2870 485   53.0  15.1   2290 408   55.1  16.0   2450 445  
reducercommutativity/avg05_true-unreach-call.i 23.4  13.4   937 244   902    891     1340 12000   22.9  11.3   1590 223   22.0  11.7   980 220  
reducercommutativity/avg10_true-unreach-call.i 903    888     3190 12600   901    889     1670 10600   45.2  32.1   2710 486   50.0  36.6   1460 636  
reducercommutativity/avg20_true-unreach-call.i 901    888     2090 13400   902    889     2440 11100   129    115     1950 1760   271    255     2010 3680  
reducercommutativity/avg40_true-unreach-call.i 901    885     2620 10800   901    885     2750 11100   514    482     4700 7190   901    879     3250 10200  
reducercommutativity/avg60_true-unreach-call.i 902    880     3440 9740   902    882     6720 10900   901    859     9020 11000   901    876     3420 10900  
reducercommutativity/avg_true-unreach-call.i 901    436     5030 9120   901    436     4970 10600   904    432     8830 8520   955    482     9060 8670  
reducercommutativity/max05_true-unreach-call_true-termination.i 901    890     1310 11500   901    887     1420 10400   24.6  12.9   1110 246   23.3  13.4   1740 197  
reducercommutativity/max10_true-unreach-call_true-termination.i 903    890     3000 11900   915    902     1760 10400   50.6  36.4   1670 538   70.3  56.9   1750 873  
reducercommutativity/max20_true-unreach-call.i 901    886     2630 9650   901    884     2490 10700   171    152     2260 2140   750    730     2360 9570  
reducercommutativity/max40_true-unreach-call.i 901    881     2760 12500   905    885     3160 11500   701    661     7120 7960   901    878     2850 11000  
reducercommutativity/max60_true-unreach-call.i 901    875     3920 9210   902    876     4040 13200   901    856     10500 9950   901    873     3980 10100  
reducercommutativity/max_true-unreach-call.i 904    437     5250 9670   902    431     5980 9020   910    430     7670 6170   902    424     7600 6310  
reducercommutativity/sep05_true-unreach-call.i 901    858     6720 10500   902    861     6300 12300   453    410     6350 5860   520    475     6930 6850  
reducercommutativity/sep10_true-unreach-call.i 903    539     5660 8960   901    539     5520 9890   206    87.6   5640 2320   251    110     5670 2410  
reducercommutativity/sep20_true-unreach-call.i 901    432     3260 10700   901    433     3700 10300   901    432     6760 9630   901    433     5290 8470  
reducercommutativity/sep40_true-unreach-call.i 902    433     5000 9450   902    433     4590 8630   901    433     6950 8630   901    602     5230 10300  
reducercommutativity/sep60_true-unreach-call.i 903    435     5240 7900   902    433     6030 9060   902    431     7470 7980   902    432     5080 9000  
reducercommutativity/sep_true-unreach-call.i 902    430     5580 8400   902    431     5600 9310   902    419     7770 7330   903    836     5390 10900  
reducercommutativity/sum05_true-unreach-call_true-termination.i 29.3  18.5   1120 364   27.0  16.6   1100 262   22.3  12.2   1130 235   23.1  12.3   1070 238  
reducercommutativity/sum10_true-unreach-call.i 901    887     1720 10400   902    890     1580 12900   47.0  34.5   1520 574   51.8  38.3   1740 675  
reducercommutativity/sum20_true-unreach-call.i 901    887     2180 11200   901    888     1920 10900   139    122     2140 1630   266    251     2050 3510  
reducercommutativity/sum40_true-unreach-call.i 901    881     2720 10700   901    883     2590 12600   545    509     4820 6780   901    876     3400 11200  
reducercommutativity/sum60_true-unreach-call.i 901    877     3680 13300   902    876     3650 13100   901    859     9600 10600   901    876     3750 11800  
reducercommutativity/sum_true-unreach-call.i 902    435     4830 8790   902    435     4830 10600   923    448     8940 9780   901    425     8900 8830  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 64.0  47.5   2350 843   64.4  48.1   2680 756   66.7  51.1   2290 877   60.6  44.9   2830 790  
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    852     2500 11600   901    859     4140 13400   901    853     2380 10800   901    855     2190 10500  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 33.7  16.6   1640 342   33.2  16.5   1860 310   32.2  17.1   2200 327   34.9  16.9   1840 381  
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 33.0  14.4   2500 294   32.0  13.7   1510 301   32.0  14.3   1510 290   30.9  14.3   1690 320  
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 901    898     292 11700   901    898     291 10700   901    899     289 12300   901    898     290 13000  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 901    897     447 11200   901    898     428 12400   901    898     300 11200   901    898     301 12700  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    897     370 10500   901    898     328 10300   901    898     305 11200   901    897     342 10300  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 3.99 1.28  301 29.9 3.98 1.23  290 28.8 3.64 1.19  280 29.3 3.87 1.23  281 30.1
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 5.79 1.85  308 53.2 5.98 1.85  318 49.4 6.15 1.83  334 49.3 5.53 1.80  302 51.5
bitvector/jain_1_true-unreach-call_true-no-overflow.i 901    893     896 11700   901    893     915 11000   903    896     928 12800   901    894     976 11800  
bitvector/jain_2_true-unreach-call_true-no-overflow.i 901    894     588 11900   901    894     605 10200   901    895     581 12200   901    895     571 13200  
bitvector/jain_4_true-unreach-call_true-no-overflow.i 901    898     346 10500   901    898     345 12700   901    898     339 9750   901    898     340 10800  
bitvector/jain_5_true-unreach-call_true-no-overflow.i 4.03 1.20  321 30.7 3.50 1.18  282 30.9 3.62 1.16  280 30.3 3.51 1.14  283 31.7
bitvector/jain_6_true-unreach-call_true-no-overflow.i 911    908     315 12200   911    908     319 11000   911    908     316 12200   910    908     319 11000  
bitvector/jain_7_true-unreach-call_true-no-overflow.i 902    899     299 10500   903    900     299 11600   903    900     298 12700   903    900     315 9820  
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    871     2650 15100   902    873     2730 11300   901    872     2620 15100   901    873     2730 13900  
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 3.68 1.18  284 28.3 3.72 1.22  312 29.6 3.56 1.18  278 29.7 3.69 1.21  298 28.1
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 12.8  4.53  938 104   12.9  4.58  846 101   13.0  4.16  903 114   12.6  4.21  934 119  
bitvector/parity_true-unreach-call_true-no-overflow.i 4.29 1.39  290 34.3 4.89 1.44  330 36.4 4.35 1.36  305 31.6 4.26 1.29  289 33.0
bitvector/sum02_true-unreach-call_true-no-overflow.i 901    860     2980 13200   901    865     4550 12500   901    865     4370 10900   901    867     4730 10500  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 901    851     3050 13500   901    848     2480 11700   901    854     3190 12800   901    851     3040 12600  
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 901    849     2570 11700   901    855     4380 13400   901    852     2890 13100   901    849     3550 12800  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 901    855     2310 10300   901    852     2450 13900   901    856     2540 12400   901    853     2290 11300  
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    836     4620 13800   901    850     2620 10900   901    853     2800 10900   901    850     2570 11500  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    848     3070 10900   901    848     2880 11700   901    851     3450 13100   901    851     3530 11700  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 20.3  4.59  1050 142   21.2  4.87  819 176   21.0  4.92  906 156   21.8  4.82  795 154  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    434     2330 10600   901    435     2590 11000   901    436     3380 10200   901    433     2570 9790  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 13.9  3.13  610 101   18.2  3.91  656 122   17.4  3.80  621 115   13.9  3.15  609 102  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 95.0  38.5   2800 976   99.0  41.7   2890 1070   97.0  38.9   2920 1060   97.3  38.5   2710 877  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 97.7  39.2   2600 887   102    39.7   2830 1060   98.8  39.2   2870 924   102    40.4   2470 1030  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    432     2560 10300   901    433     2890 10000   901    432     2870 8660   901    432     2650 8310  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    433     2620 9590   901    433     2570 9490   901    432     3820 8790   901    434     2890 8970  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 9.40 2.20  471 64.0 9.56 2.24  483 67.6 9.30 2.20  485 68.8 9.99 2.35  482 67.9
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 6.88 1.75  438 51.2 6.85 1.76  410 51.5 10.4  2.41  470 69.5 6.59 1.72  420 49.3
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 902    836     13400 10000   901    839     13400 9620   901    836     13500 11700   901    836     13500 10900  
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 9.19 2.29  469 65.6 8.70 2.04  461 65.9 8.87 2.15  449 62.5 8.84 2.13  454 69.5
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 7.17 1.81  418 54.7 6.41 1.67  390 49.9 6.53 1.71  414 48.2 7.23 1.85  399 54.2
bitvector-regression/implicitfloatconversion_false-unreach-call.c 3.11 1.19  292 24.8 3.17 1.20  282 26.6 3.10 1.18  282 25.4 3.21 1.23  294 27.6
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.61 1.00  275 20.9 2.55 .981 278 21.9 2.52 .960 269 23.6 2.59 .998 273 20.0
bitvector-regression/integerpromotion_false-unreach-call.c 3.11 1.17  283 26.2 3.09 1.18  282 24.6 3.12 1.18  284 26.2 3.00 1.16  294 24.6
bitvector-regression/recHanoi03_false-unreach-call.c 2.72 .987 292 20.3 2.61 .978 273 22.9 2.44 .960 270 22.3 2.51 .997 277 24.6
bitvector-regression/signextension2_false-unreach-call.c 2.58 .989 276 19.7 2.71 1.06  272 24.1 2.62 .992 274 21.9 2.56 .968 273 22.5
bitvector-regression/signextension_false-unreach-call.c 2.45 .970 277 21.7 2.64 1.04  279 20.1 2.78 1.07  278 24.6 2.65 1.02  287 22.3
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.50 .943 271 20.2 2.37 .898 275 19.9 2.44 .934 282 20.8 2.36 .943 269 18.0
bitvector-regression/integerpromotion_true-unreach-call.c 2.42 .970 283 20.4 2.49 1.01  274 21.4 2.39 .937 268 19.2 2.39 .932 274 22.6
bitvector-regression/signextension2_true-unreach-call.c 2.63 1.00  274 21.1 2.61 1.00  273 22.3 2.58 .954 271 21.8 2.51 .974 273 21.2
bitvector-regression/signextension_true-unreach-call.c 2.74 1.07  284 24.1 2.57 .987 278 21.8 2.70 1.00  274 24.3 2.62 .979 275 22.7
bitvector-loops/diamond_false-unreach-call2.i 6.53 1.71  449 46.4 6.01 1.60  358 41.5 6.49 1.68  449 53.5 7.01 1.77  455 52.2
bitvector-loops/overflow_false-unreach-call1.i 2.88 1.05  279 23.1 3.02 1.10  278 23.3 2.95 1.07  280 23.3 3.30 1.06  325 23.7
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 8.79 2.61  440 71.2 8.06 2.59  434 62.6 8.92 2.61  441 72.6 8.74 2.54  436 62.8
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 22.4  4.69  921 157   20.7  4.37  923 162   20.9  4.42  935 135   22.9  4.81  954 160  
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 18.0  3.89  891 124   18.7  3.99  888 145   16.1  3.54  730 105   17.8  3.87  876 128  
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 22.7  4.84  944 156   20.5  4.32  883 160   22.4  4.79  863 169   21.0  4.47  861 143  
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.16 2.03  461 53.2 8.52 2.13  464 57.9 8.32 2.11  455 65.6 7.59 1.87  451 52.3
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.71 2.15  463 65.6 9.53 2.31  476 78.9 9.86 2.29  464 65.1 9.73 2.36  465 65.1
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 901    432     4730 8520   905    437     4260 8980   902    434     3960 9150   905    437     4150 8560  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.78 1.75  444 51.3 6.94 1.80  444 54.1 6.30 1.64  429 52.1 6.90 1.78  428 57.4
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.90 2.02  440 58.3 7.09 1.82  430 47.4 6.86 1.78  430 57.3 8.03 2.00  436 54.6
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.75 1.23  283 27.5 4.17 1.31  286 32.8 4.08 1.27  282 34.3 4.10 1.32  287 31.1
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.75 1.38  286 40.9 4.56 1.37  290 35.2 4.90 1.42  289 33.2 4.83 1.42  288 40.2
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 15.3  3.33  612 113   15.3  3.36  571 107   12.9  2.87  674 99.3 13.5  3.01  559 102  
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 12.1  2.75  502 86.4 13.7  3.09  691 106   12.4  2.78  498 83.9 12.4  2.82  505 86.1
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 13.9  3.07  624 89.4 14.3  3.22  644 99.1 13.1  2.93  505 90.2 12.2  2.82  520 86.0
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 12.4  2.83  537 89.6 14.1  3.11  617 102   11.8  2.67  501 79.3 14.3  3.18  616 110  
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 6.51 1.73  398 43.7 6.05 1.66  386 44.3 6.39 1.66  417 47.6 5.91 1.62  380 43.5
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 901    854     3280 11600   901    855     3500 13100   901    855     2810 11500   901    855     3090 12900  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 901    856     2940 12800   901    857     3100 11200   901    860     3630 11700   901    859     2990 13000  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 11.9  2.70  492 78.2 12.6  2.89  513 89.4 11.7  2.65  496 83.5 11.9  2.70  498 87.8
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 7.88 2.03  482 61.9 7.50 1.86  479 59.8 8.72 2.08  492 62.1 7.59 1.90  483 49.4
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 10.5  2.40  499 72.7 11.5  2.63  505 78.8 11.1  2.54  502 86.1 8.53 2.07  468 51.1
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 10.9  2.51  492 72.6 10.7  2.49  497 81.0 10.2  2.34  504 67.0 10.9  2.47  489 75.4
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 6.66 1.73  417 50.7 5.60 1.52  330 41.0 6.17 1.62  355 45.8 6.33 1.66  409 49.5
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 16.0  3.52  628 108   18.7  4.06  747 134   15.4  3.40  613 107   16.4  3.65  599 117  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 19.5  4.24  629 125   17.3  3.77  626 127   16.5  3.67  609 133   18.3  3.99  631 140  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 19.5  4.24  640 135   17.7  3.87  759 117   17.9  3.92  636 138   20.3  4.38  634 143  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 9.77 2.28  482 69.0 10.7  2.48  489 72.8 10.3  2.43  487 69.6 11.1  2.53  542 73.7
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 12.1  2.75  509 88.7 11.7  2.68  495 86.2 10.7  2.55  494 80.2 13.0  2.93  500 93.6
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 4.55 1.34  294 35.0 4.98 1.42  296 32.3 5.62 1.51  329 43.0 4.57 1.37  292 41.2
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.38 1.14  281 25.8 3.33 1.17  279 28.0 3.29 1.11  282 31.5 3.19 1.10  276 24.9
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 14.9  3.34  612 108   13.8  3.12  609 89.7 15.4  3.40  638 110   13.1  3.00  607 99.3
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 18.9  4.09  649 126   15.0  3.34  628 105   16.4  3.62  665 108   18.1  3.94  656 118  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 18.0  3.99  624 117   15.9  3.50  720 113   15.8  3.50  618 113   18.7  4.15  640 131  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 26.7  5.77  879 190   33.4  8.18  1140 238   27.3  6.05  909 204   27.1  5.92  868 199  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 42.6  12.5   1510 360   44.4  12.6   1580 407   40.3  10.7   1330 326   42.7  12.2   1730 340  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 13.2  3.01  562 90.8 15.0  3.32  504 89.9 14.3  3.19  618 100   16.0  3.55  624 106  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 5.39 1.46  336 37.2 6.67 1.71  430 47.6 5.44 1.50  327 42.5 6.65 1.73  403 44.9
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 5.55 1.50  312 43.2 5.54 1.53  329 40.4 6.22 1.64  409 51.8 6.25 1.66  437 51.5
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 4.77 1.34  310 39.1 4.94 1.42  295 43.0 4.82 1.38  295 35.2 4.89 1.41  296 37.8
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 4.55 1.31  292 36.5 4.89 1.40  318 39.4 4.39 1.30  286 32.1 4.94 1.34  324 34.6
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 4.86 1.38  312 35.5 4.81 1.39  304 40.3 5.02 1.42  322 38.4 4.69 1.33  289 38.0
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 5.60 1.45  338 42.8 5.44 1.53  326 41.9 4.96 1.39  310 41.3 4.46 1.30  288 37.6
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 4.75 1.33  326 39.6 5.13 1.44  308 37.8 4.96 1.37  318 33.0 5.83 1.50  329 42.7
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 5.64 1.53  364 42.8 5.39 1.45  333 37.5 4.77 1.36  316 35.8 5.51 1.49  317 41.3
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 3.55 1.17  280 26.0 3.75 1.21  282 29.0 3.56 1.12  283 27.0 3.73 1.19  279 26.8
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 3.82 1.19  282 30.4 3.69 1.19  281 28.2 4.03 1.24  289 31.4 3.63 1.20  284 32.9
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 4.63 1.29  315 33.9 4.94 1.40  321 35.2 4.01 1.23  287 29.8 4.34 1.34  287 33.2
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 4.55 1.34  290 32.3 3.99 1.22  285 30.0 4.85 1.38  316 40.0 4.19 1.29  286 29.9
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 4.69 1.38  299 33.9 4.52 1.30  289 34.6 4.37 1.30  303 35.7 4.08 1.25  289 34.6
ntdrivers/cdaudio_false-unreach-call.i.cil.c 902    426     5210 9490   901    426     5180 9210   902    423     6230 9180   902    423     5490 8350  
ntdrivers/diskperf_false-unreach-call.i.cil.c 23.3  4.99  1140 177   21.7  4.62  883 140   20.0  4.30  789 142   21.6  4.56  802 146  
ntdrivers/floppy_false-unreach-call.i.cil.c 916    424     6850 5300   922    431     6780 5780   31.7  6.51  1150 246   336    146     5670 3140  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 11.4  2.68  502 79.3 11.3  2.61  494 82.1 9.99 2.35  470 75.2 11.4  2.62  516 84.3
ntdrivers/parport_false-unreach-call.i.cil.c 34.5  8.17  1560 264   34.9  8.65  1560 254   33.7  8.01  1560 258   34.8  8.36  1590 271  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 902    431     4890 9730   901    429     4880 10300   14.1  3.10  591 105   15.4  3.34  695 96.1
ntdrivers/diskperf_true-unreach-call.i.cil.c 902    435     4040 9700   901    434     3770 8470   901    432     3940 8960   901    432     3740 8860  
ntdrivers/floppy2_true-unreach-call.i.cil.c 902    422     9570 9510   902    424     10000 10400   902    422     10500 10600   901    421     9740 9460  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 905    408     6940 6240   911    411     6890 6590   907    399     7190 8030   902    398     6590 8120  
ntdrivers/parport_true-unreach-call.i.cil.c 903    605     8750 8640   904    602     8740 10700   910    601     9050 10900   928    597     9060 9220  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 53.1  16.3   1660 416   52.0  15.0   1440 430   38.1  8.99  1100 316   45.7  13.0   1270 377  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 36.0  8.76  1080 295   38.6  9.32  1100 305   28.7  5.98  869 195   35.5  8.20  1190 242  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 44.2  10.9   1110 327   41.6  10.7   1280 311   37.2  8.02  1040 266   38.2  9.56  1110 268  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 33.3  7.67  1060 253   34.5  7.66  1110 280   27.8  5.85  833 198   36.6  8.79  1070 276  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 20.3  4.37  676 146   20.2  4.38  644 146   14.4  3.22  632 96.2 19.9  4.28  657 152  
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 16.9  3.66  668 120   18.7  4.01  698 134   15.4  3.39  649 106   15.7  3.45  636 109  
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 16.0  3.53  656 120   16.9  3.73  636 117   14.0  3.11  521 99.2 17.8  3.87  651 115  
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 16.5  3.61  636 122   15.9  3.50  649 120   12.9  2.86  514 84.8 18.0  3.90  634 123  
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 42.5  12.0   1540 337   42.8  12.5   1540 345   28.1  6.58  871 188   48.0  13.7   1480 402  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 44.3  13.1   1450 304   44.1  12.1   1580 340   22.0  4.67  653 144   46.1  11.6   1380 354  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 189    83.7   2930 1930   191    84.4   2880 2140   56.0  18.3   1740 429   144    60.5   2910 1300  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 41.6  11.3   1660 328   42.6  11.2   1310 325   22.8  4.80  698 156   50.2  14.8   1680 385  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 185    81.5   2790 1780   178    78.8   4710 1720   61.6  20.0   1670 517   152    64.8   2840 1540  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 33.4  7.63  1010 214   37.2  7.97  978 241   16.0  3.49  635 104   30.6  6.78  868 221  
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 52.4  14.7   1580 454   49.0  14.1   2090 395   25.7  5.56  792 184   39.4  10.9   1250 330  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 42.5  11.0   1420 336   42.0  9.91  1360 350   19.1  4.12  761 137   42.5  12.4   1580 327  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 39.1  10.6   1610 295   41.8  11.1   1290 343   21.3  4.55  721 139   37.2  10.1   1530 315  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 196    87.0   2830 2180   197    88.0   2920 1860   65.3  23.1   2240 587   157    65.7   2680 1600  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 46.5  14.2   1560 374   45.2  13.4   1750 340   23.9  5.18  647 152   42.8  11.9   1670 325  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 27.1  5.97  885 202   25.5  5.87  899 205   24.9  5.73  879 186   25.7  5.84  806 188  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 24.9  5.71  756 179   22.8  5.40  822 157   24.5  5.45  822 188   24.8  5.66  836 169  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 25.4  5.63  808 186   25.2  5.74  820 198   27.5  6.00  907 198   24.1  5.75  815 176  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 26.5  5.86  815 189   27.0  6.08  870 182   27.2  6.22  846 191   26.4  6.32  828 193  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 30.9  7.59  1080 228   30.4  6.87  1080 247   47.2  15.0   1580 389   50.3  15.6   1730 446  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 17.0  3.69  599 118   17.1  3.71  605 125   19.7  4.30  659 141   18.5  4.08  696 135  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 177    79.2   4700 1960   198    86.9   3430 1900   181    79.3   3760 2020   187    82.7   3430 1940  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 88.3  34.9   2490 770   89.3  34.6   2640 913   88.1  34.0   2940 785   204    90.4   3140 1970  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 32.2  8.22  1080 263   51.5  16.8   1680 484   54.4  17.7   1670 497   49.0  16.2   1680 413  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 79.1  29.7   2030 630   81.5  31.4   2570 717   88.7  34.3   3530 788   74.7  27.0   2170 654  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 50.2  16.6   1580 464   30.4  7.28  848 234   30.8  7.07  949 203   48.6  15.5   1610 391  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 82.4  31.3   2620 789   80.7  29.2   2190 804   45.3  14.5   1630 407   48.5  15.2   1590 427  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 83.2  30.2   2380 715   80.8  30.0   2310 662   170    73.5   3730 1930   82.7  30.9   2490 688  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 36.4  8.88  1270 281   32.5  8.44  1140 245   35.4  9.01  1180 245   30.2  8.36  1300 236  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 181    78.9   3400 1950   83.5  31.7   2460 712   179    78.7   3710 1790   83.6  31.3   2590 752  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 54.4  18.3   1730 541   36.2  9.57  1210 289   38.3  10.8   1190 323   39.6  11.6   1140 314  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 87.0  33.1   2560 831   179    78.6   4260 2020   182    80.8   3620 1920   88.0  33.2   2480 892  
eca-rers2012/Problem01_label15_false-unreach-call.c 31.6  6.77  1220 245   30.8  6.68  1270 218   32.1  6.82  1320 219   29.5  6.39  1260 219  
eca-rers2012/Problem01_label20_false-unreach-call.c 39.6  10.1   1990 308   40.6  9.94  1910 294   38.9  9.92  2190 297   40.4  10.7   1920 294  
eca-rers2012/Problem01_label21_false-unreach-call.c 31.0  6.68  1380 232   30.3  6.57  1270 218   28.7  6.17  1320 232   31.4  6.95  1200 232  
eca-rers2012/Problem01_label32_false-unreach-call.c 40.9  10.7   1990 317   41.9  11.0   1910 311   44.7  10.8   1930 316   42.8  10.4   1970 315  
eca-rers2012/Problem01_label33_false-unreach-call.c 35.8  8.54  1530 293   35.1  8.08  1600 238   33.9  8.15  1470 248   34.9  7.90  1710 231  
eca-rers2012/Problem01_label35_false-unreach-call.c 32.4  7.08  1260 210   30.7  6.61  1310 216   27.7  6.08  1280 204   31.1  6.88  1370 229  
eca-rers2012/Problem01_label37_false-unreach-call.c 35.3  8.03  1690 255   34.5  8.21  1560 266   36.5  8.57  1600 263   35.7  8.45  1620 246  
eca-rers2012/Problem01_label38_false-unreach-call.c 30.6  6.47  1360 237   31.7  6.79  1340 230   29.5  6.40  1230 204   31.5  6.83  1460 237  
eca-rers2012/Problem01_label44_false-unreach-call.c 22.8  4.79  946 172   24.9  5.25  1010 174   24.6  5.24  1160 199   24.0  5.01  980 167  
eca-rers2012/Problem01_label47_false-unreach-call.c 39.6  10.1   2000 322   41.0  10.3   1990 326   42.5  10.8   2000 328   41.7  10.5   1870 306  
eca-rers2012/Problem01_label50_false-unreach-call.c 29.6  6.22  1310 205   31.6  6.91  1470 211   30.9  6.50  1250 203   26.3  5.88  1300 196  
eca-rers2012/Problem01_label56_false-unreach-call.c 34.5  7.78  1430 276   35.8  8.17  1760 265   38.8  8.20  1560 257   35.5  8.53  1610 253  
eca-rers2012/Problem01_label57_false-unreach-call.c 33.2  7.79  1610 248   33.7  7.59  1590 226   34.3  7.76  1560 231   36.8  8.47  1740 245  
eca-rers2012/Problem02_label13_false-unreach-call.c 16.3  3.53  659 124   16.5  3.57  739 118   16.6  3.63  658 131   18.8  4.12  902 132  
eca-rers2012/Problem02_label16_false-unreach-call.c 17.6  3.81  696 131   16.4  3.52  635 117   15.7  3.38  639 114   16.0  3.48  657 114  
eca-rers2012/Problem02_label43_false-unreach-call.c 18.4  3.98  871 119   16.2  3.51  659 126   18.6  3.97  898 122   18.2  3.81  698 133  
eca-rers2012/Problem02_label44_false-unreach-call.c 15.6  3.38  671 126   15.9  3.48  651 111   16.3  3.55  673 117   16.8  3.64  713 129  
eca-rers2012/Problem02_label45_false-unreach-call.c 23.9  5.04  959 162   22.6  4.72  966 139   22.2  4.76  1090 160   23.6  4.97  970 173  
eca-rers2012/Problem02_label50_false-unreach-call.c 23.7  4.99  996 190   22.7  4.76  936 149   24.1  5.13  952 168   23.3  4.84  970 171  
eca-rers2012/Problem02_label59_false-unreach-call.c 24.9  5.23  935 176   23.8  5.20  948 164   24.9  5.23  948 171   23.8  4.99  957 162  
eca-rers2012/Problem03_label09_false-unreach-call.c 82.9  25.5   3440 651   79.0  23.5   3470 611   78.1  24.3   3750 648   77.4  23.8   3410 676  
eca-rers2012/Problem03_label13_false-unreach-call.c 58.1  14.6   2820 471   56.0  14.9   2520 432   53.6  14.2   2670 418   58.2  15.2   2630 416  
eca-rers2012/Problem03_label26_false-unreach-call.c 48.0  11.4   1870 341   44.2  10.6   1930 318   45.0  10.3   1740 339   44.5  10.4   1720 330  
eca-rers2012/Problem03_label27_false-unreach-call.c 57.1  15.0   2670 484   57.7  15.1   2640 461   57.7  14.8   2590 485   61.5  16.5   2600 513  
eca-rers2012/Problem03_label28_false-unreach-call.c 59.8  15.6   2740 429   59.8  16.2   2760 473   59.1  15.6   2650 453   59.8  16.4   2740 430  
eca-rers2012/Problem03_label31_false-unreach-call.c 58.1  15.3   2570 415   60.0  16.2   2610 414   57.7  14.7   2590 463   60.4  15.2   2520 428  
eca-rers2012/Problem03_label35_false-unreach-call.c 88.5  28.9   4110 697   91.2  29.7   4020 835   94.9  30.1   3710 772   86.9  28.2   3660 703  
eca-rers2012/Problem03_label37_false-unreach-call.c 61.6  16.2   2820 445   60.8  16.0   2840 468   62.2  17.4   2770 425   62.9  16.5   2800 464  
eca-rers2012/Problem03_label39_false-unreach-call.c 78.6  23.6   3340 604   78.8  24.2   3540 644   76.6  23.3   3470 582   77.8  23.1   3030 574  
eca-rers2012/Problem03_label43_false-unreach-call.c 58.7  16.0   2830 465   64.9  17.5   3660 487   59.9  16.2   2760 428   63.9  17.8   2860 521  
eca-rers2012/Problem03_label45_false-unreach-call.c 88.8  26.8   3960 646   79.5  25.8   3640 654   85.3  27.5   3870 692   81.7  26.0   3630 621  
eca-rers2012/Problem03_label50_false-unreach-call.c 61.7  16.1   2640 435   61.6  16.7   2750 432   62.2  17.7   2850 432   64.1  17.5   2750 448  
eca-rers2012/Problem03_label52_false-unreach-call.c 81.4  26.2   3570 598   83.1  26.4   3750 633   85.3  28.7   3910 630   85.9  28.5   3660 729  
eca-rers2012/Problem04_label04_false-unreach-call.c 902    384     8150 7280   902    379     8220 6290   902    384     8270 6540   902    384     8300 5770  
eca-rers2012/Problem04_label06_false-unreach-call.c 902    382     8120 5230   902    390     7840 5860   902    381     8390 5990   915    388     8400 6890  
eca-rers2012/Problem04_label09_false-unreach-call.c 902    380     7970 7130   902    389     7450 7060   920    389     8220 6340   902    388     8120 7320  
eca-rers2012/Problem04_label11_false-unreach-call.c 919    392     8220 7620   902    389     8260 6890   902    382     8400 8640   903    382     8350 5610  
eca-rers2012/Problem04_label12_false-unreach-call.c 902    381     8000 6260   902    386     7890 5530   902    390     7760 6200   902    386     8090 6440  
eca-rers2012/Problem04_label13_false-unreach-call.c 901    389     7890 7780   902    385     7550 8680   902    383     8080 7640   903    385     8110 6800  
eca-rers2012/Problem04_label14_false-unreach-call.c 902    381     8620 6490   901    382     8340 8820   902    387     8690 7160   902    382     8620 6650  
eca-rers2012/Problem04_label15_false-unreach-call.c 902    384     8130 7590   902    391     7930 5660   902    384     8340 6260   902    382     8310 6030  
eca-rers2012/Problem04_label17_false-unreach-call.c 901    384     8280 6460   901    391     7990 6610   902    384     8450 6200   902    381     8360 6470  
eca-rers2012/Problem04_label18_false-unreach-call.c 902    389     8200 7910   901    386     8180 6290   902    389     8130 6810   902    385     8350 7430  
eca-rers2012/Problem04_label19_false-unreach-call.c 902    379     7910 7760   902    378     7990 5720   904    384     8510 5770   902    382     8170 6800  
eca-rers2012/Problem04_label26_false-unreach-call.c 901    381     7800 5830   902    382     7590 7960   902    383     8170 6780   902    379     8250 8220  
eca-rers2012/Problem04_label27_false-unreach-call.c 902    382     7890 7050   902    383     7930 6540   901    390     7860 6430   902    384     8270 7230  
eca-rers2012/Problem04_label31_false-unreach-call.c 902    381     7970 7180   902    386     8310 5660   902    385     8120 5480   903    383     8170 6340  
eca-rers2012/Problem04_label32_false-unreach-call.c 901    386     8200 8340   902    386     8270 5970   902    386     8480 6540   915    388     8520 6600  
eca-rers2012/Problem04_label35_false-unreach-call.c 902    381     7980 8230   915    388     8000 6290   902    385     7860 6800   905    381     8200 6160  
eca-rers2012/Problem04_label36_false-unreach-call.c 903    392     7650 6390   902    380     8180 5930   902    391     7840 6060   902    389     8060 5800  
eca-rers2012/Problem04_label38_false-unreach-call.c 902    381     7980 8410   903    384     7870 6250   903    386     8120 8350   902    384     7940 6320  
eca-rers2012/Problem04_label39_false-unreach-call.c 901    383     8050 6990   902    380     8260 6480   902    390     8260 7690   903    385     8350 7860  
eca-rers2012/Problem04_label40_false-unreach-call.c 902    384     7950 6250   902    380     7960 6110   902    377     8070 7930   902    386     7890 6450  
eca-rers2012/Problem04_label45_false-unreach-call.c 902    378     7900 6530   902    382     7990 6880   960    440     8510 8670   903    383     8180 6710  
eca-rers2012/Problem04_label52_false-unreach-call.c 903    383     8270 6850   903    380     8380 6060   902    383     8370 7800   902    382     8260 7280  
eca-rers2012/Problem04_label55_false-unreach-call.c 902    382     7970 5940   902    384     7940 6690   904    382     8230 6500   902    380     8170 5870  
eca-rers2012/Problem04_label58_false-unreach-call.c 911    384     7940 7570   901    380     8050 8260   902    384     8080 5620   902    391     7870 6370  
eca-rers2012/Problem05_label00_false-unreach-call.c 902    385     8590 6100   902    386     8510 5580   903    386     8500 5930   903    387     8570 6220  
eca-rers2012/Problem05_label01_false-unreach-call.c 902    382     8930 6040   902    376     9070 6690   902    376     8870 6060   902    378     8900 5680  
eca-rers2012/Problem05_label11_false-unreach-call.c 902    379     8660 6190   902    380     8930 5930   904    385     8960 4910   926    383     9240 6900  
eca-rers2012/Problem05_label13_false-unreach-call.c 902    386     8420 6720   902    383     8400 7770   903    386     8720 6600   903    386     8630 6240  
eca-rers2012/Problem05_label15_false-unreach-call.c 903    373     8770 5830   903    378     8700 5670   903    380     8870 5850   903    386     8810 6390  
eca-rers2012/Problem05_label18_false-unreach-call.c 904    380     8580 6730   960    434     8790 6220   903    379     8900 5460   903    380     8620 6910  
eca-rers2012/Problem05_label24_false-unreach-call.c 903    378     8720 6410   903    375     8860 7750   904    377     8990 5610   904    385     8790 5770  
eca-rers2012/Problem05_label26_false-unreach-call.c 903    385     8800 6330   903    385     8790 5550   921    383     9250 6400   902    379     8920 7130  
eca-rers2012/Problem05_label30_false-unreach-call.c 902    382     8320 6130   902    382     8580 6610   903    381     8580 7050   902    380     9300 7190  
eca-rers2012/Problem05_label32_false-unreach-call.c 902    376     8980 6890   903    385     8880 5770   902    377     9240 5840   903    386     9100 6290  
eca-rers2012/Problem05_label33_false-unreach-call.c 903    385     8780 7510   902    386     8390 6210   903    385     9070 7100   903    384     8810 8370  
eca-rers2012/Problem05_label36_false-unreach-call.c 903    373     8740 6180   904    382     8430 6240   903    385     8510 8200   904    371     8850 7690  
eca-rers2012/Problem05_label37_false-unreach-call.c 903    387     8500 6860   902    386     8490 6750   903    384     8470 6670   903    386     8480 6630  
eca-rers2012/Problem05_label38_false-unreach-call.c 902    379     8710 7240   903    370     8720 6830   923    379     8960 6380   902    380     8820 6010  
eca-rers2012/Problem05_label39_false-unreach-call.c 903    384     8580 8380   902    386     8490 7040   902    385     8680 6650   904    386     8620 6590  
eca-rers2012/Problem05_label40_false-unreach-call.c 902    385     8470 5350   903    380     8840 6110   903    385     8790 7560   903    386     8630 5920  
eca-rers2012/Problem05_label41_false-unreach-call.c 902    387     8820 7550   903    386     8420 7550   903    386     8460 6580   903    385     9060 7140  
eca-rers2012/Problem05_label44_false-unreach-call.c 902    380     8740 5770   903    383     8840 6160   904    374     8780 5890   903    381     8950 6040  
eca-rers2012/Problem05_label47_false-unreach-call.c 903    384     8360 8120   902    385     8470 6800   903    387     8580 8000   902    383     8680 6220  
eca-rers2012/Problem05_label48_false-unreach-call.c 903    377     9050 6040   903    370     9310 6780   902    385     9260 8020   902    377     9520 7460  
eca-rers2012/Problem05_label51_false-unreach-call.c 901    383     8650 5260   961    445     9030 6290   902    385     8750 5580   904    376     8780 5660  
eca-rers2012/Problem05_label55_false-unreach-call.c 902    381     8490 6250   903    384     8750 7250   960    436     8550 6450   904    373     8950 5980  
eca-rers2012/Problem05_label57_false-unreach-call.c 902    387     8410 6580   902    387     8540 6840   902    386     8630 6360   902    386     8650 7080  
eca-rers2012/Problem05_label58_false-unreach-call.c 903    387     8850 6610   903    375     8490 6510   902    376     8750 6300   903    378     9120 5980  
eca-rers2012/Problem06_label00_false-unreach-call.c 902    358     8750 5700   903    360     8730 6180   903    363     8880 5460   901    363     8770 5480  
eca-rers2012/Problem06_label01_false-unreach-call.c 902    351     8820 5530   902    348     8870 4600   902    353     9010 6110   902    353     8870 6100  
eca-rers2012/Problem06_label02_false-unreach-call.c 902    349     9000 6650   902    352     8920 6590   902    348     8980 7040   903    358     8830 5910  
eca-rers2012/Problem06_label04_false-unreach-call.c 903    364     8670 5660   901    365     8550 5710   902    352     9300 6900   902    361     8900 6150  
eca-rers2012/Problem06_label05_false-unreach-call.c 902    350     8880 5890   902    360     8720 6230   902    351     9000 5630   902    359     8940 7370  
eca-rers2012/Problem06_label09_false-unreach-call.c 902    353     8770 5370   902    350     8950 6630   902    354     8950 5590   902    355     8980 6320  
eca-rers2012/Problem06_label10_false-unreach-call.c 902    351     8650 5910   902    347     8970 6640   902    350     9010 5530   903    356     8920 5500  
eca-rers2012/Problem06_label11_false-unreach-call.c 903    342     9410 6210   902    350     8750 5700   902    352     8930 5480   902    355     8950 6050  
eca-rers2012/Problem06_label12_false-unreach-call.c 901    352     8780 5410   902    363     8940 5930   901    364     8760 5590   903    369     8590 4690  
eca-rers2012/Problem06_label15_false-unreach-call.c 915    351     9000 5820   903    345     9250 6040   926    353     9510 6240   926    359     9530 5650  
eca-rers2012/Problem06_label20_false-unreach-call.c 905    354     9040 5380   902    356     8770 5890   902    346     9060 6930   902    348     8890 6300  
eca-rers2012/Problem06_label21_false-unreach-call.c 902    361     8540 5970   902    358     8770 6310   902    359     8790 5450   903    359     8850 6890  
eca-rers2012/Problem06_label24_false-unreach-call.c 902    351     8760 6040   902    351     8670 5830   901    352     8920 5800   902    352     8990 6380  
eca-rers2012/Problem06_label27_false-unreach-call.c 926    346     10400 7090   902    345     9470 6060   915    352     9410 5940   901    345     9450 6050  
eca-rers2012/Problem06_label29_false-unreach-call.c 927    356     9440 6430   902    366     8420 5350   902    367     8720 5480   902    356     8980 6000  
eca-rers2012/Problem06_label33_false-unreach-call.c 928    351     9350 6050   904    349     9340 6040   902    349     9020 6270   909    352     9330 5910  
eca-rers2012/Problem06_label36_false-unreach-call.c 902    355     8780 5040   903    356     9020 6300   930    348     9640 6730   901    361     8990 5940  
eca-rers2012/Problem06_label37_false-unreach-call.c 919    346     9250 5790   903    345     9420 5960   918    346     9510 5900   923    351     9500 5270  
eca-rers2012/Problem06_label38_false-unreach-call.c 902    351     8950 6070   902    349     9060 7860   904    353     9280 6490   902    353     9140 5620  
eca-rers2012/Problem06_label44_false-unreach-call.c 932    361     9160 5830   904    356     8840 5900   902    356     8800 5670   914    350     9390 6060  
eca-rers2012/Problem06_label47_false-unreach-call.c 811    308     9310 5610   721    272     9040 5200   803    299     9290 4430   778    284     9450 5480  
eca-rers2012/Problem06_label48_false-unreach-call.c 902    355     8810 5710   900    332     10100 6120   901    355     9200 6320   931    361     9600 6240  
eca-rers2012/Problem06_label56_false-unreach-call.c 913    339     9350 7550   901    353     9170 6260   902    361     8860 7660   902    362     8610 5780  
eca-rers2012/Problem06_label58_false-unreach-call.c 902    357     8680 5740   901    346     8940 6240   901    339     10100 8050   918    355     9400 7550  
eca-rers2012/Problem06_label59_false-unreach-call.c 902    350     8850 5730   902    359     8540 5550   903    360     8910 5820   917    347     9450 7460  
eca-rers2012/Problem07_label03_false-unreach-call.c 923    390     12000 7160   922    390     12000 6640   922    398     12000 6930   921    401     12100 7270  
eca-rers2012/Problem07_label05_false-unreach-call.c 961    445     8540 8300   961    446     8490 7710   961    447     8710 9110   961    439     8730 7850  
eca-rers2012/Problem07_label06_false-unreach-call.c 936    419     12000 8430   960    442     12100 7870   936    416     12200 9510   960    439     12400 7620  
eca-rers2012/Problem07_label07_false-unreach-call.c 950    436     8490 7680   951    439     8450 6080   942    429     8730 7560   944    429     8660 7860  
eca-rers2012/Problem07_label09_false-unreach-call.c 938    424     9750 6690   942    427     9700 7410   947    433     9880 6740   944    428     9920 6920  
eca-rers2012/Problem07_label11_false-unreach-call.c 961    448     8460 6300   961    458     8460 6850   961    448     8550 6970   961    448     8640 6560  
eca-rers2012/Problem07_label15_false-unreach-call.c 919    404     9460 6330   913    398     9500 6310   916    401     9130 5710   913    402     9680 7520  
eca-rers2012/Problem07_label18_false-unreach-call.c 903    385     11300 6750   912    389     11200 6750   961    444     12200 7070   913    395     11500 6980  
eca-rers2012/Problem07_label19_false-unreach-call.c 961    447     8410 9280   913    403     8410 8260   961    447     8540 9240   961    449     8560 9090  
eca-rers2012/Problem07_label20_false-unreach-call.c 912    398     10900 7950   960    444     11000 6300   912    399     11100 6690   960    442     11100 6500  
eca-rers2012/Problem07_label23_false-unreach-call.c 960    448     8410 7770   960    449     8430 5200   912    400     8630 6190   960    445     8560 6160  
eca-rers2012/Problem07_label30_false-unreach-call.c 913    385     12200 6460   933    405     12200 8080   934    409     12300 7690   933    403     12400 6390  
eca-rers2012/Problem07_label31_false-unreach-call.c 961    448     8330 6550   960    447     8360 6800   961    448     8500 5840   961    452     8570 6600  
eca-rers2012/Problem07_label35_false-unreach-call.c 923    406     9470 6530   922    405     9530 7470   923    407     9660 6470   923    409     9700 6330  
eca-rers2012/Problem07_label36_false-unreach-call.c 902    384     10900 5760   932    410     11000 6350   902    380     11100 5840   902    383     11100 6840  
eca-rers2012/Problem07_label37_false-unreach-call.c 913    397     8340 5870   953    439     8380 6350   957    443     8570 5800   946    435     8580 6850  
eca-rers2012/Problem07_label39_false-unreach-call.c 904    391     10900 6390   905    390     10900 6550   907    389     11100 6300   905    386     11100 6780  
eca-rers2012/Problem07_label40_false-unreach-call.c 961    447     8410 8420   961    447     8410 9770   961    446     8590 8490   961    448     8610 8920  
eca-rers2012/Problem07_label42_false-unreach-call.c 912    392     10700 6610   913    395     10800 6980   913    396     10900 6700   912    396     10900 6310  
eca-rers2012/Problem07_label44_false-unreach-call.c 961    449     10700 7020   961    446     10700 6880   961    446     10900 6470   961    444     10900 6420  
eca-rers2012/Problem07_label46_false-unreach-call.c 908    394     8380 5990   908    395     8390 6410   905    396     8600 6070   908    395     8560 5560  
eca-rers2012/Problem07_label47_false-unreach-call.c 918    399     11000 7680   914    395     11000 6420   921    404     11300 7530   913    395     11100 6770  
eca-rers2012/Problem07_label48_false-unreach-call.c 906    394     8400 6000   905    392     8360 5430   906    394     8640 6520   910    399     8510 5920  
eca-rers2012/Problem07_label58_false-unreach-call.c 913    392     11900 6060   921    393     12000 6990   927    397     12200 7410   921    392     12200 6890  
eca-rers2012/Problem08_label01_false-unreach-call.c 961    444     11100 5940   961    445     11100 6800   961    444     11200 7000   961    443     11200 5720  
eca-rers2012/Problem08_label02_false-unreach-call.c 961    445     11000 6690   961    444     11000 7060   961    446     11200 6110   961    446     11200 6370  
eca-rers2012/Problem08_label04_false-unreach-call.c 961    440     10900 5570   961    444     10900 5930   961    446     11100 7740   961    446     11100 6670  
eca-rers2012/Problem08_label05_false-unreach-call.c 945    409     13600 7930   952    416     13500 7720   945    408     13700 7300   954    414     13700 7720  
eca-rers2012/Problem08_label06_false-unreach-call.c 961    442     10900 6300   961    445     11000 6110   961    444     11200 7500   961    445     11100 6530  
eca-rers2012/Problem08_label07_false-unreach-call.c 961    446     11000 7600   961    444     11000 5960   961    445     11100 5600   961    445     11100 5790  
eca-rers2012/Problem08_label10_false-unreach-call.c 937    401     13400 7090   937    397     13400 7150   938    383     13600 6980   937    390     13600 7200  
eca-rers2012/Problem08_label13_false-unreach-call.c 961    445     11000 5880   960    435     11000 6530   960    439     11100 6140   961    446     11100 6090  
eca-rers2012/Problem08_label15_false-unreach-call.c 961    442     11100 7090   961    444     11100 6740   961    444     11200 7470   960    437     11200 6890  
eca-rers2012/Problem08_label24_false-unreach-call.c 961    443     11000 6030   961    446     10900 6130   961    444     11200 7530   961    444     11100 5820  
eca-rers2012/Problem08_label25_false-unreach-call.c 961    447     11200 7790   961    444     11200 6960   961    440     11300 7110   961    441     11300 6530  
eca-rers2012/Problem08_label26_false-unreach-call.c 940    424     11400 8720   961    445     11400 9040   961    445     11500 8220   944    426     11500 8660  
eca-rers2012/Problem08_label28_false-unreach-call.c 955    437     11000 6490   936    421     11000 7540   948    429     11100 5870   953    437     11200 7110  
eca-rers2012/Problem08_label29_false-unreach-call.c 961    446     11000 5940   961    445     11100 6250   961    444     11200 6510   961    445     11200 6860  
eca-rers2012/Problem08_label34_false-unreach-call.c 961    444     10900 5790   961    444     10900 5710   961    446     11100 6290   961    444     11100 6530  
eca-rers2012/Problem08_label37_false-unreach-call.c 936    395     13500 7020   935    398     13600 7550   936    399     13800 7320   935    399     13800 7780  
eca-rers2012/Problem08_label43_false-unreach-call.c 961    447     10900 6170   961    443     11000 6260   961    444     11100 5800   961    446     11200 7800  
eca-rers2012/Problem08_label46_false-unreach-call.c 961    441     11000 5910   961    447     11000 5740   960    439     11100 5940   961    444     11200 6170  
eca-rers2012/Problem08_label48_false-unreach-call.c 961    443     10900 5800   961    443     11000 6520   960    438     11100 6030   960    437     11100 6150  
eca-rers2012/Problem08_label49_false-unreach-call.c 961    445     11000 5900   961    444     11000 6530   961    446     11100 6220   961    441     11200 6540  
eca-rers2012/Problem08_label50_false-unreach-call.c 961    446     11000 6660   961    443     11100 6490   961    443     11200 5580   961    444     11100 6100  
eca-rers2012/Problem08_label51_false-unreach-call.c 940    402     13600 6950   961    391     13600 6920   954    414     13700 6820   948    408     13700 8130  
eca-rers2012/Problem08_label55_false-unreach-call.c 961    443     10800 5890   961    445     10900 6110   961    442     11200 6740   961    445     11100 7040  
eca-rers2012/Problem08_label59_false-unreach-call.c 961    445     10900 6460   961    445     10900 5740   961    442     11100 7090   961    445     11100 6600  
eca-rers2012/Problem09_label02_false-unreach-call.c 913    390     11500 6610   961    436     11500 8130   961    435     11700 5550   961    437     11600 6030  
eca-rers2012/Problem09_label03_false-unreach-call.c 960    434     11400 6050   960    432     11500 7930   960    434     11600 5770   912    390     11600 5470  
eca-rers2012/Problem09_label06_false-unreach-call.c 913    393     11500 5840   961    437     11500 5580   960    435     11600 5830   961    437     11600 6840  
eca-rers2012/Problem09_label08_false-unreach-call.c 960    434     11500 7540   961    436     11500 7040   960    435     11500 6090   960    432     11700 7670  
eca-rers2012/Problem09_label10_false-unreach-call.c 914    389     11500 6750   960    433     11400 5840   960    434     11500 6610   961    436     11700 7030  
eca-rers2012/Problem09_label11_false-unreach-call.c 912    386     11300 5460   961    437     11400 5640   913    388     11700 5760   961    434     11600 5640  
eca-rers2012/Problem09_label15_false-unreach-call.c 961    437     11400 5510   961    436     11400 5090   961    438     11600 6480   960    436     11600 5790  
eca-rers2012/Problem09_label19_false-unreach-call.c 960    434     11500 7000   960    434     11400 5940   913    390     11600 5870   960    436     11600 6070  
eca-rers2012/Problem09_label20_false-unreach-call.c 913    385     11400 7130   960    435     11400 5890   961    436     11500 6570   961    435     11500 5290  
eca-rers2012/Problem09_label32_false-unreach-call.c 961    439     11600 7770   912    390     11500 5340   961    436     11600 5860   960    433     11500 5420  
eca-rers2012/Problem09_label34_false-unreach-call.c 961    437     11400 5930   961    435     11300 5580   961    437     11500 5400   961    437     11500 5310  
eca-rers2012/Problem09_label35_false-unreach-call.c 961    437     11400 6510   960    435     11400 5470   914    388     11600 5510   961    443     11600 6410  
eca-rers2012/Problem09_label36_false-unreach-call.c 960    434     11400 5510   961    441     11500 7300   913    388     11600 5940   960    433     11500 5780  
eca-rers2012/Problem09_label38_false-unreach-call.c 961    437     11400 5350   960    432     11400 5700   960    433     11600 5700   960    433     11500 6730  
eca-rers2012/Problem09_label41_false-unreach-call.c 961    438     11500 6850   961    436     11400 5730   961    436     11500 4600   961    436     11600 5440  
eca-rers2012/Problem09_label44_false-unreach-call.c 960    432     11500 7630   960    435     11500 7730   961    443     11600 5880   961    438     11500 5350  
eca-rers2012/Problem09_label46_false-unreach-call.c 960    433     11300 5710   960    433     11400 5670   960    434     11700 6200   961    439     11600 5710  
eca-rers2012/Problem09_label47_false-unreach-call.c 961    439     11500 5970   961    436     11500 6220   961    435     11700 6090   960    432     11700 7550  
eca-rers2012/Problem09_label51_false-unreach-call.c 961    436     11400 5540   961    438     11400 6260   960    435     11600 6470   960    435     11500 7210  
eca-rers2012/Problem09_label53_false-unreach-call.c 914    390     11400 5540   961    435     11400 6610   961    441     11600 5540   961    442     11700 5900  
eca-rers2012/Problem09_label54_false-unreach-call.c 961    438     11400 5410   961    440     11500 5800   961    444     11600 6280   961    440     11600 6440  
eca-rers2012/Problem09_label56_false-unreach-call.c 960    435     11400 5620   961    442     11500 6730   960    435     11600 5920   960    435     11600 4900  
eca-rers2012/Problem09_label57_false-unreach-call.c 960    433     11400 5320   913    388     11500 5630   960    434     11500 5630   913    385     11600 5600  
eca-rers2012/Problem09_label59_false-unreach-call.c 961    431     11400 5760   961    437     11400 5820   961    436     11700 6260   960    434     11600 6250  
eca-rers2012/Problem10_label12_false-unreach-call.c 901    407     5570 10600   901    406     5550 9030   901    408     5710 9480   901    407     5760 9460  
eca-rers2012/Problem10_label15_false-unreach-call.c 816    364     5540 8340   901    407     5620 9360   901    408     5800 7950   901    408     5780 9480  
eca-rers2012/Problem10_label24_false-unreach-call.c 901    408     5650 8140   44.8  12.5   1800 359   901    407     5830 8630   901    405     5910 8930  
eca-rers2012/Problem10_label26_false-unreach-call.c 901    407     5620 8980   901    407     5640 9860   901    406     5790 9290   901    407     5820 9950  
eca-rers2012/Problem10_label28_false-unreach-call.c 854    387     5590 8260   843    382     5580 8450   835    383     5760 8410   859    384     5800 8430  
eca-rers2012/Problem10_label29_false-unreach-call.c 449    192     5450 4890   454    193     5430 4510   459    196     5590 4830   450    192     5570 4260  
eca-rers2012/Problem10_label41_false-unreach-call.c 17.4  3.76  680 117   16.5  3.53  663 110   15.9  3.45  658 114   16.5  3.59  676 134  
eca-rers2012/Problem10_label42_false-unreach-call.c 19.2  4.05  773 135   18.9  4.04  700 137   16.9  3.61  714 116   18.4  3.98  700 127  
eca-rers2012/Problem10_label46_false-unreach-call.c 11.9  2.71  617 82.5 11.8  2.67  605 85.2 14.1  3.14  635 107   12.7  2.82  611 88.1
eca-rers2012/Problem10_label47_false-unreach-call.c 15.3  3.36  671 117   17.5  3.80  687 133   17.6  3.82  870 136   18.2  3.94  677 130  
eca-rers2012/Problem10_label48_false-unreach-call.c 901    409     5650 10000   901    409     5610 8620   901    411     5810 10400   901    406     5840 9610  
eca-rers2012/Problem10_label50_false-unreach-call.c 26.3  5.80  1190 177   24.7  5.46  961 179   26.7  5.88  995 194   23.7  5.28  952 157  
eca-rers2012/Problem10_label55_false-unreach-call.c 18.7  3.95  739 129   20.1  4.27  875 144   17.4  3.76  686 132   18.4  3.99  704 130  
eca-rers2012/Problem10_label57_false-unreach-call.c 184    77.8   4790 1940   181    77.5   4740 1820   901    407     5770 9140   181    77.0   5020 1760  
eca-rers2012/Problem10_label58_false-unreach-call.c 901    409     5660 9160   31.8  7.00  1240 224   29.3  6.24  1270 212   29.8  6.74  1220 241  
eca-rers2012/Problem11_label00_false-unreach-call.c 39.2  9.30  1720 289   40.7  9.29  1340 288   40.3  9.37  1480 310   39.8  9.69  1330 273  
eca-rers2012/Problem11_label08_false-unreach-call.c 901    413     5590 9550   34.0  7.28  1180 225   36.4  7.61  1230 248   33.3  7.14  1270 249  
eca-rers2012/Problem11_label14_false-unreach-call.c 26.5  5.40  877 168   26.3  5.49  929 163   27.1  5.59  938 194   29.8  6.07  1080 190  
eca-rers2012/Problem11_label15_false-unreach-call.c 29.3  6.08  1200 212   27.6  5.72  1100 202   25.7  5.30  1150 192   27.4  5.57  920 179  
eca-rers2012/Problem11_label20_false-unreach-call.c 902    414     5700 8920   77.8  25.3   2520 605   901    413     5880 9770   80.9  26.0   2750 669  
eca-rers2012/Problem11_label29_false-unreach-call.c 903    415     5670 9080   911    418     5640 10400   901    415     5690 8880   901    414     5770 10300  
eca-rers2012/Problem11_label31_false-unreach-call.c 902    414     5660 9260   902    414     5640 9700   902    414     5820 8470   901    416     5870 8760  
eca-rers2012/Problem11_label34_false-unreach-call.c 901    415     5670 9300   51.9  14.3   2340 407   52.9  14.1   1970 415   902    419     5790 8930  
eca-rers2012/Problem11_label36_false-unreach-call.c 901    414     5610 9060   901    418     5550 9100   901    421     5550 8930   901    418     5700 10100  
eca-rers2012/Problem11_label39_false-unreach-call.c 57.5  16.2   2230 463   74.6  24.6   2670 593   64.1  19.5   2440 474   73.4  23.7   2790 596  
eca-rers2012/Problem11_label42_false-unreach-call.c 31.4  6.46  1090 218   30.3  6.17  917 202   29.6  6.12  1150 219   30.7  6.53  1030 206  
eca-rers2012/Problem11_label43_false-unreach-call.c 909    418     5570 9390   901    414     5550 9940   901    415     5680 8960   901    416     5660 9600  
eca-rers2012/Problem11_label49_false-unreach-call.c 41.0  9.87  1430 307   36.9  8.08  1290 268   39.0  9.44  1370 266   37.4  9.02  1400 289  
eca-rers2012/Problem11_label51_false-unreach-call.c 904    417     5570 10500   901    414     5540 9960   907    418     5780 8860   901    417     5780 9170  
eca-rers2012/Problem11_label58_false-unreach-call.c 902    414     5560 9890   901    413     5610 8940   901    415     5760 10100   901    416     5750 10300  
eca-rers2012/Problem12_label00_false-unreach-call.c 901    388     6430 8670   901    394     6420 8450   902    390     6580 8530   901    394     6510 9440  
eca-rers2012/Problem12_label03_false-unreach-call.c 901    398     6590 8390   901    390     6650 9130   901    384     6830 8240   902    394     6780 7680  
eca-rers2012/Problem12_label06_false-unreach-call.c 901    397     6290 7570   902    394     6460 9630   901    394     6530 7580   901    396     6510 7850  
eca-rers2012/Problem12_label07_false-unreach-call.c 902    388     6400 8860   901    396     6200 7390   901    394     6470 8060   917    392     6610 8130  
eca-rers2012/Problem12_label08_false-unreach-call.c 902    388     6840 7850   901    395     6790 7780   902    387     7130 8030   901    389     7020 7510  
eca-rers2012/Problem12_label10_false-unreach-call.c 901    394     6360 8010   901    394     6390 9290   901    393     6500 8050   901    393     6570 8120  
eca-rers2012/Problem12_label13_false-unreach-call.c 901    395     6530 8190   901    395     6540 8400   901    394     6770 7780   902    395     6740 8180  
eca-rers2012/Problem12_label19_false-unreach-call.c 901    396     6330 8070   901    387     6390 9130   901    397     6520 7910   901    394     6580 8820  
eca-rers2012/Problem12_label20_false-unreach-call.c 901    387     6300 9670   901    395     6240 8780   902    394     6390 9400   901    396     6290 10000  
eca-rers2012/Problem12_label21_false-unreach-call.c 902    387     6550 8330   901    385     6610 8230   901    395     6660 8520   901    396     6700 8470  
eca-rers2012/Problem12_label25_false-unreach-call.c 901    396     6250 8100   901    393     6260 8760   901    394     6420 9230   908    389     6460 8790  
eca-rers2012/Problem12_label28_false-unreach-call.c 901    394     6590 8350   914    389     6610 8340   901    396     6690 7930   902    384     6790 8950  
eca-rers2012/Problem12_label30_false-unreach-call.c 933    397     6340 8820   911    387     6300 8000   901    395     6370 8730   901    394     6340 9390  
eca-rers2012/Problem12_label34_false-unreach-call.c 901    396     6250 8740   901    395     6210 8740   901    393     6440 8460   902    388     6440 7130  
eca-rers2012/Problem12_label35_false-unreach-call.c 902    396     6520 7650   914    392     6560 9250   911    391     6750 8660   901    394     6730 8250  
eca-rers2012/Problem12_label37_false-unreach-call.c 901    393     6550 9260   907    389     6620 7570   901    388     6690 8290   901    398     6680 9660  
eca-rers2012/Problem12_label38_false-unreach-call.c 901    393     6440 7590   901    393     6580 8510   901    393     6760 8300   901    394     6620 8480  
eca-rers2012/Problem12_label39_false-unreach-call.c 901    394     6510 8000   910    393     6490 8000   901    394     6650 8260   901    394     6710 8380  
eca-rers2012/Problem12_label40_false-unreach-call.c 901    389     6630 7960   901    394     6650 9970   923    396     6820 8310   901    394     6750 9030  
eca-rers2012/Problem12_label42_false-unreach-call.c 902    397     6130 8990   901    394     6210 8800   901    397     6330 7190   901    397     6330 8780  
eca-rers2012/Problem12_label48_false-unreach-call.c 901    394     6400 8820   901    394     6310 8460   901    389     6480 8110   902    388     6550 8780  
eca-rers2012/Problem12_label50_false-unreach-call.c 901    394     6590 7470   902    396     6500 8140   902    390     6780 7920   901    396     6700 9400  
eca-rers2012/Problem12_label51_false-unreach-call.c 901    385     6610 7890   902    390     6590 7810   901    389     6710 8110   901    395     6650 8630  
eca-rers2012/Problem12_label52_false-unreach-call.c 901    395     6560 8680   901    395     6550 7590   901    394     6820 8580   902    394     6780 9030  
eca-rers2012/Problem12_label55_false-unreach-call.c 919    394     6590 7950   902    388     6530 6830   902    391     6670 8590   915    393     6760 10100  
eca-rers2012/Problem13_label04_false-unreach-call.c 901    394     6270 7950   901    393     6300 8030   901    391     6440 9120   901    392     6420 9500  
eca-rers2012/Problem13_label06_false-unreach-call.c 901    393     6320 8550   901    390     6340 8200   901    390     6520 8760   917    390     6560 8810  
eca-rers2012/Problem13_label07_false-unreach-call.c 901    392     6580 7820   901    390     6530 7340   901    390     6720 7270   901    392     6740 8760  
eca-rers2012/Problem13_label11_false-unreach-call.c 901    391     6590 9260   901    392     6610 7430   901    392     6770 9090   901    391     6620 7230  
eca-rers2012/Problem13_label12_false-unreach-call.c 901    391     6620 7740   901    390     6560 9510   901    390     6800 7900   901    391     6720 6710  
eca-rers2012/Problem13_label16_false-unreach-call.c 901    391     6540 7690   901    391     6510 7540   901    391     6750 7990   901    391     6740 7950  
eca-rers2012/Problem13_label19_false-unreach-call.c 902    390     6430 7250   901    394     6560 8420   901    392     6710 7350   902    391     6700 8010  
eca-rers2012/Problem13_label21_false-unreach-call.c 902    388     6590 7830   901    391     6530 7980   901    391     6710 7500   901    392     6750 9280  
eca-rers2012/Problem13_label23_false-unreach-call.c 901    391     6610 8120   901    391     6630 8360   901    391     6770 8370   901    390     6740 7340  
eca-rers2012/Problem13_label24_false-unreach-call.c 901    392     6620 8530   902    386     6650 8940   901    393     6770 8150   901    390     6800 8220  
eca-rers2012/Problem13_label25_false-unreach-call.c 928    386     6930 9460   901    381     6870 7450   901    392     6900 6930   925    383     7160 8610  
eca-rers2012/Problem13_label28_false-unreach-call.c 901    391     6530 7430   902    392     6480 6630   901    392     6820 8490   901    390     6770 8480  
eca-rers2012/Problem13_label29_false-unreach-call.c 901    392     6580 8050   901    390     6600 7540   901    390     6770 8250   901    391     6830 8420  
eca-rers2012/Problem13_label30_false-unreach-call.c 902    385     6630 7930   901    391     6540 7990   901    390     6720 7680   901    390     6720 7740  
eca-rers2012/Problem13_label32_false-unreach-call.c 901    390     6760 8190   901    390     6760 7350   902    387     6990 7350   901    388     6950 8990  
eca-rers2012/Problem13_label35_false-unreach-call.c 901    389     6630 7530   901    390     6690 8360   901    391     6790 8760   901    390     6850 8140  
eca-rers2012/Problem13_label36_false-unreach-call.c 901    392     6560 7180   901    390     6570 7680   901    390     6780 7290   901    391     6740 9210  
eca-rers2012/Problem13_label40_false-unreach-call.c 901    392     6540 7360   901    391     6450 6400   901    391     6740 7690   901    389     6720 7420  
eca-rers2012/Problem13_label43_false-unreach-call.c 901    391     6350 8260   901    391     6360 9640   901    391     6520 8440   901    391     6520 8000  
eca-rers2012/Problem13_label44_false-unreach-call.c 901    392     6410 8310   901    389     6380 8590   908    389     6560 8550   901    392     6530 9440  
eca-rers2012/Problem13_label45_false-unreach-call.c 901    392     6360 8450   901    392     6320 7990   901    391     6510 8540   901    391     6530 8990  
eca-rers2012/Problem13_label48_false-unreach-call.c 901    391     6480 7240   902    392     6510 8490   901    391     6730 8000   901    391     6770 9410  
eca-rers2012/Problem13_label51_false-unreach-call.c 901    392     6580 7980   901    391     6570 7380   901    391     6660 6710   901    391     6740 8240  
eca-rers2012/Problem13_label54_false-unreach-call.c 916    390     6630 8970   902    392     6520 7670   901    389     6710 8800   901    390     6730 8400  
eca-rers2012/Problem13_label58_false-unreach-call.c 901    393     6560 8220   902    391     6520 7190   901    388     6790 9080   901    391     6650 7200  
eca-rers2012/Problem14_label02_false-unreach-call.c 901    418     5450 8510   901    418     5450 10700   901    419     5630 10100   901    418     5630 9620  
eca-rers2012/Problem14_label08_false-unreach-call.c 901    418     5500 9440   901    418     5520 9050   901    419     5670 9220   901    418     5660 8930  
eca-rers2012/Problem14_label10_false-unreach-call.c 901    418     5530 8910