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_abvfp z3-qf_abvfp z3-qf_ufbvfp z3-q_ufbvfp
Options -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -kInduction-dfInvariants -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -stack 1000M -setprop cpa.predicate.useQuantifiersOnArrays=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -kInduction-dfInvariants -setprop cpa.predicate.useArraysForHeap=true -setprop cpa.predicate.maxArrayLength=-1 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -stack 1000M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -kInduction-dfInvariants -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -stack 1000M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -kInduction-dfInvariants -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=z3 -heap 12000M -stack 1000M -setprop cpa.predicate.useQuantifiersOnArrays=true -setprop cpa.predicate.maxArrayLength=-1
../sv-benchmarks/c/ status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J) status cputime (s) walltime (s) memory (MB) cpuenergy (J)
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 901    389     8550 9140   901    394     8630 8540   946    457     8820 11000   901    393     8600 9470  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    436     3700 6240   901    436     4400 5950   901    436     2910 6480   901    436     3500 8330  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    436     3700 5700   901    436     3450 8730   901    435     2690 6990   901    435     3520 5640  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 902    427     7290 9170   901    429     7310 10500   901    428     7300 9150   901    428     7530 9450  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 913    426     12000 9060   910    421     10500 8620   912    425     11900 8860   913    426     12800 7410  
array-examples/standard_allDiff2_false-unreach-call_ground.i 909    438     7210 7940   903    434     7000 7510   945    470     7150 7440   902    431     7120 7400  
array-examples/standard_copy1_false-unreach-call_ground.i 902    438     6170 7030   906    440     6250 9180   901    439     2280 6940   901    439     3290 8320  
array-examples/standard_copy2_false-unreach-call_ground.i 901    439     3190 7870   901    440     3740 6660   901    439     2300 6740   901    437     3580 8380  
array-examples/standard_copy3_false-unreach-call_ground.i 901    437     3750 6090   901    438     3540 9010   901    438     2160 6630   901    437     3820 5900  
array-examples/standard_copy4_false-unreach-call_ground.i 901    437     2990 6620   901    436     3670 5260   901    438     2240 7450   901    437     3720 7190  
array-examples/standard_copy5_false-unreach-call_ground.i 901    436     3800 7520   901    436     3530 7040   901    437     2370 5420   902    434     4700 5230  
array-examples/standard_copy6_false-unreach-call_ground.i 901    437     3080 5840   901    436     3090 7310   901    439     2200 6780   901    435     4110 6820  
array-examples/standard_copy7_false-unreach-call_ground.i 901    437     4620 6730   901    435     4080 7880   901    438     2170 6790   901    436     4130 6180  
array-examples/standard_copy8_false-unreach-call_ground.i 901    436     3660 7840   901    437     4010 7150   901    437     2530 8750   901    437     3950 6240  
array-examples/standard_copy9_false-unreach-call_ground.i 901    436     4200 7020   901    436     4660 7950   901    438     2330 6530   901    436     4190 7580  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    438     4580 8760   901    438     3410 7180   901    439     2350 8270   901    437     3920 8460  
array-examples/standard_init1_false-unreach-call_ground.i 901    439     3090 5950   901    439     3030 7300   901    438     2380 6390   901    439     3500 8010  
array-examples/standard_init2_false-unreach-call_ground.i 901    438     2860 6310   901    439     3110 5630   901    438     2410 7150   902    437     3760 8170  
array-examples/standard_init3_false-unreach-call_ground.i 901    439     3000 6250   901    438     3500 6270   901    438     2580 7370   901    437     3710 8040  
array-examples/standard_init4_false-unreach-call_ground.i 901    438     2810 7100   901    438     3260 5910   901    438     2480 5970   901    437     3910 8850  
array-examples/standard_init5_false-unreach-call_ground.i 901    438     2990 8080   901    438     4460 6170   901    438     2350 7710   901    437     4010 9570  
array-examples/standard_init6_false-unreach-call_ground.i 901    438     3250 8480   901    438     3390 9390   901    438     2670 7350   901    437     4090 8190  
array-examples/standard_init7_false-unreach-call_ground.i 901    437     3240 7970   901    437     3120 7200   901    437     2880 9410   901    437     4660 7870  
array-examples/standard_init8_false-unreach-call_ground.i 901    438     3470 6230   901    438     3410 6870   901    437     2420 6580   901    436     4650 8130  
array-examples/standard_init9_false-unreach-call_ground.i 901    437     3560 6080   901    437     3610 7010   901    438     2730 8630   901    436     4340 8680  
array-examples/standard_minInArray_false-unreach-call_ground.i 901    435     3990 5800   902    438     3740 5880   901    437     3270 6110   901    436     3620 6910  
array-examples/standard_partition_false-unreach-call_ground.i 901    434     4010 6060   901    435     4310 9110   901    435     5190 6360   901    433     4910 6120  
array-examples/standard_running_false-unreach-call.i 901    440     3440 8290   901    439     3470 6210   902    438     2420 5380   901    437     2840 6060  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 3.53 1.28  326 32.7 2.86 1.04  277 24.8 2.76 1.03  274 23.7 2.84 1.06  274 23.3
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 902    398     10800 8590   901    400     10700 9010   902    409     10300 8950   905    395     10700 8730  
array-examples/relax_true-unreach-call.i 902    435     4700 10500   902    434     4490 8800   902    436     4540 7780   902    434     3980 8150  
array-examples/sanfoundry_02_true-unreach-call_ground.i 902    435     4230 7110   901    435     4820 6610   901    436     3210 6320   902    436     4740 7490  
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    437     4490 8320   901    438     3090 9990   902    434     6210 6220   902    435     6040 7120  
array-examples/sanfoundry_24_true-unreach-call.i 5.97 1.57  400 45.5 6.82 1.71  471 48.6 4.59 1.36  343 33.0 6.55 1.62  431 52.3
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    437     3710 7220   901    437     3640 8640   901    438     2970 6590   901    437     4010 7050  
array-examples/sanfoundry_43_true-unreach-call_ground.i 3.17 1.03  316 27.5 3.03 1.02  314 24.5 3.32 1.10  317 24.5 3.09 1.04  320 24.8
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    436     3230 7140   901    436     3360 7850   901    436     2780 9300   901    436     3380 5440  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    431     7290 10400   903    434     7230 8670   903    433     7010 9260   903    432     7540 9380  
array-examples/standard_compareModified_true-unreach-call_ground.i 901    437     3020 5800   901    438     4560 7820   901    435     2550 5270   901    436     3620 6720  
array-examples/standard_compare_true-unreach-call_ground.i 905    440     4200 7620   903    437     4970 9100   904    438     3760 7520   902    437     4210 6890  
array-examples/standard_copy1_true-unreach-call_ground.i 901    440     3510 8830   901    439     3200 6280   901    439     3890 6230   901    438     3080 8060  
array-examples/standard_copy2_true-unreach-call_ground.i 901    439     3330 9770   901    439     3720 6690   901    439     2090 5520   901    438     3450 6370  
array-examples/standard_copy3_true-unreach-call_ground.i 901    438     4610 7560   901    438     3370 5860   901    439     2310 7860   901    436     3420 6550  
array-examples/standard_copy4_true-unreach-call_ground.i 901    437     3620 7240   901    437     4150 5800   901    439     2170 8580   901    437     3310 9170  
array-examples/standard_copy5_true-unreach-call_ground.i 901    438     4100 9050   901    437     4050 6950   901    437     2440 9260   901    435     3620 9110  
array-examples/standard_copy6_true-unreach-call_ground.i 901    438     3880 6120   901    435     3490 5670   902    436     2630 6430   901    436     3770 7330  
array-examples/standard_copy7_true-unreach-call_ground.i 901    437     4660 7970   901    436     3790 7410   901    437     2550 6940   901    434     4440 5810  
array-examples/standard_copy8_true-unreach-call_ground.i 901    436     4420 7260   901    437     4510 6900   901    437     2420 5590   901    436     3920 5380  
array-examples/standard_copy9_true-unreach-call_ground.i 901    437     4060 6660   901    435     3620 5480   901    438     2520 6300   901    435     4200 5630  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    438     2870 6480   901    438     3520 6840   901    438     2280 5530   901    437     4330 10700  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    437     3170 7970   901    437     3760 8450   901    438     2190 9350   901    436     4310 8840  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    438     3620 7570   901    437     3060 7090   901    438     2180 6770   902    437     3630 8530  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    438     3110 6260   901    438     3220 6290   901    439     2200 8600   901    438     3880 7870  
array-examples/standard_find_true-unreach-call_ground.i 901    435     4540 7660   901    436     4590 7590   910    440     6870 8200   908    438     6940 7900  
array-examples/standard_init1_true-unreach-call_ground.i 901    439     3520 8890   901    439     3040 7860   901    438     2700 6810   901    438     3810 8580  
array-examples/standard_init2_true-unreach-call_ground.i 901    439     4260 6030   901    438     2620 6230   901    438     2640 7740   901    438     3090 8790  
array-examples/standard_init3_true-unreach-call_ground.i 901    439     2620 6310   901    438     3250 6050   901    438     2240 6570   901    438     3750 8320  
array-examples/standard_init4_true-unreach-call_ground.i 901    438     3110 7170   901    438     3340 5890   901    438     2490 7840   901    436     4130 8310  
array-examples/standard_init5_true-unreach-call_ground.i 901    438     3170 9040   901    438     3090 6300   901    438     2550 6990   901    436     4640 8760  
array-examples/standard_init6_true-unreach-call_ground.i 901    437     3240 7140   901    438     4520 5880   901    437     2670 6760   901    436     4220 9440  
array-examples/standard_init7_true-unreach-call_ground.i 901    437     3680 8540   901    437     3330 6130   901    437     2480 7970   901    437     4320 8810  
array-examples/standard_init8_true-unreach-call_ground.i 901    438     4520 6990   901    436     3170 6720   901    437     2880 9710   901    437     4660 8600  
array-examples/standard_init9_true-unreach-call_ground.i 901    436     3440 6760   901    438     3410 5890   901    437     2770 7020   901    437     4660 10100  
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    436     3600 7450   901    437     3290 6300   901    438     2920 6070   902    437     3660 6560  
array-examples/standard_minInArray_true-unreach-call_ground.i 901    436     4170 5870   901    435     4180 6840   901    437     3060 6230   902    438     3920 7060  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    440     3200 7900   901    440     2850 6240   901    439     2460 8580   901    439     3130 5960  
array-examples/standard_partial_init_true-unreach-call_ground.i 901    434     3780 5220   902    434     4310 5550   902    435     4170 6530   902    434     4470 5700  
array-examples/standard_partition_original_true-unreach-call_ground.i 901    435     3730 6060   901    436     3530 7120   901    435     3180 8600   901    435     3400 5610  
array-examples/standard_partition_true-unreach-call_ground.i 901    437     3080 6920   901    437     3280 6850   901    436     2480 6780   901    435     3140 6280  
array-examples/standard_password_true-unreach-call_ground.i 901    435     4410 7460   902    435     4690 7290   902    436     3420 6270   903    437     4290 7340  
array-examples/standard_reverse_true-unreach-call_ground.i 901    440     4410 6420   901    440     3520 9610   901    440     2340 7420   901    438     3270 5450  
array-examples/standard_running_true-unreach-call.i 901    439     3290 7720   901    439     3300 6130   901    437     2200 5710   901    437     3280 6750  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    439     3300 9670   901    440     4550 8580   903    442     3880 6550   902    440     4070 7200  
array-examples/standard_seq_init_true-unreach-call_ground.i 901    439     2930 6690   901    438     3010 6100   902    439     2960 5970   901    438     3470 6420  
array-examples/standard_strcmp_true-unreach-call_ground.i 902    435     5040 8320   913    445     5060 7260   906    438     4280 7710   901    436     4620 7280  
array-examples/standard_strcpy_original_true-unreach-call.i 901    435     5650 7540   902    436     4670 6480   901    436     5710 6790   902    430     7220 9790  
array-examples/standard_strcpy_true-unreach-call_ground.i 902    436     5120 8920   902    438     5520 7100   901    435     5720 6040   908    438     7050 7240  
array-examples/standard_two_index_01_true-unreach-call.i 901    439     2300 8970   901    440     2290 5530   901    440     3700 7280   901    439     2560 6250  
array-examples/standard_two_index_02_true-unreach-call.i 901    439     3080 6420   901    440     3490 8120   901    439     2240 6090   901    438     3400 8100  
array-examples/standard_two_index_03_true-unreach-call.i 901    678     2840 6460   901    693     2520 5990   901    681     2400 7240   901    693     2690 8040  
array-examples/standard_two_index_04_true-unreach-call.i 901    439     3610 9280   901    440     3900 7320   901    439     2450 5620   901    439     3560 6750  
array-examples/standard_two_index_05_true-unreach-call.i 901    440     3460 7650   901    440     3310 7400   901    439     2580 6490   901    439     3620 7870  
array-examples/standard_two_index_06_true-unreach-call.i 901    842     2880 6520   901    838     3840 7140   901    833     3210 6670   901    829     3160 6530  
array-examples/standard_two_index_07_true-unreach-call.i 901    440     3120 8190   901    439     3530 8420   901    439     2370 7160   901    439     3630 8730  
array-examples/standard_two_index_08_true-unreach-call.i 901    440     2780 9110   901    439     3410 7230   901    439     2640 7490   901    438     3480 6410  
array-examples/standard_two_index_09_true-unreach-call.i 901    439     3850 6900   901    439     3410 8550   901    439     4250 7210   901    439     3370 6550  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 903    440     3990 9430   903    440     4890 7770   903    440     3280 10400   902    440     3340 9370  
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    440     4540 6060   901    439     3520 5930   902    438     3010 5810   902    437     3250 6760  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    441     4150 6770   901    440     2900 6060   901    440     2210 6640   901    440     3080 10200  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 5.74 1.55  447 48.5 150    70.3   15000 926   901    440     2320 6910   6.19 1.56  473 49.3
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    439     3290 6860   901    439     3110 7380   901    439     2500 5680   901    438     2960 7490  
array-industry-pattern/array_range_init_false-unreach-call.i 4.76 1.38  330 34.8 137    64.1   15000 1010   901    439     2430 7600   4.72 1.38  343 39.1
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    440     4540 7530   901    440     3590 8480   901    439     2630 6690   901    437     3530 9930  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 960    485     8010 10400   960    486     7930 9770   904    432     7930 8990   905    431     7990 10700  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    440     3300 9230   901    440     3450 8420   901    439     2350 5940   901    438     3390 7200  
array-industry-pattern/array_mul_init_true-unreach-call.i 903    439     4720 5480   903    439     4470 6780   904    439     4800 6390   904    440     5560 5910  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 901    441     2780 7690   124    57.3   15000 846   907    442     6580 7480   904    438     4220 7020  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 5.60 1.47  394 37.8 121    54.0   15000 764   901    438     2300 6240   5.41 1.46  384 41.1
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 902    439     4560 6200   901    438     4580 7830   902    438     4570 8050   902    437     4670 6450  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 5.20 1.40  342 39.9 118    53.3   15000 733   901    438     1900 5770   5.03 1.42  328 36.8
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 903    439     4420 5430   163    75.2   15000 1060   903    439     3230 5840   903    439     4370 5940  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 5.99 1.60  458 40.4 125    57.0   15000 829   902    438     2490 5530   7.72 1.85  477 57.4
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    438     3310 8770   141    66.0   15000 1070   901    438     2700 6850   901    437     3690 10000  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    439     4560 8340   123    54.7   15000 794   901    436     2330 5560   901    436     4600 6950  
array-industry-pattern/array_shadowinit_true-unreach-call.i 901    438     4400 6510   901    438     3800 9260   901    437     3390 6610   901    438     3720 6960  
reducercommutativity/rangesum05_false-unreach-call.i 903    892     5570 11800   903    891     5130 10100   195    182     3470 1580   230    218     3460 1650  
reducercommutativity/rangesum10_false-unreach-call.i 906    893     5190 5450   905    892     5140 5050   906    892     6280 4890   905    892     5460 5320  
reducercommutativity/rangesum20_false-unreach-call.i 905    890     4470 6080   905    888     4690 5470   905    889     4890 4590   905    887     4680 5580  
reducercommutativity/rangesum40_false-unreach-call.i 905    886     4820 5530   904    887     5390 7900   905    887     6900 5520   905    889     7280 4910  
reducercommutativity/rangesum60_false-unreach-call.i 904    884     4980 7180   904    885     4880 6690   904    884     4510 6850   904    884     5070 8870  
reducercommutativity/rangesum_false-unreach-call.i 904    437     5920 5560   904    436     6050 5880   775    371     6840 5260   877    420     6850 6090  
reducercommutativity/avg05_true-unreach-call.i 902    890     5120 5940   902    890     4980 6360   902    890     4560 5810   902    890     4660 6630  
reducercommutativity/avg10_true-unreach-call.i 905    892     6650 8610   902    888     5790 6080   902    887     6300 5580   902    888     7080 5610  
reducercommutativity/avg20_true-unreach-call.i 905    892     5810 7540   902    888     5560 6020   905    890     6120 6430   905    891     5990 7350  
reducercommutativity/avg40_true-unreach-call.i 901    886     3910 9680   901    886     5390 7770   905    887     6130 5770   901    882     6170 6340  
reducercommutativity/avg60_true-unreach-call.i 901    885     4270 7140   901    885     4350 6960   902    882     6590 7740   905    886     6440 6430  
reducercommutativity/avg_true-unreach-call.i 902    438     4020 6950   902    438     4000 6440   902    438     3890 6400   904    440     5070 9850  
reducercommutativity/max05_true-unreach-call_true-termination.i 901    888     1510 6210   901    889     1680 7540   901    888     1370 6410   901    888     1390 6210  
reducercommutativity/max10_true-unreach-call_true-termination.i 901    886     2870 6470   901    886     1530 6420   901    887     1480 8530   901    886     1750 7110  
reducercommutativity/max20_true-unreach-call.i 901    884     2130 6570   901    884     2200 8510   901    885     2050 7880   901    885     4070 7460  
reducercommutativity/max40_true-unreach-call.i 901    882     1870 7110   901    882     2030 8790   901    881     3400 6840   901    881     3440 7220  
reducercommutativity/max60_true-unreach-call.i 901    882     2850 9090   901    881     2310 6900   901    874     3100 9470   901    876     2670 7450  
reducercommutativity/max_true-unreach-call.i 901    433     4690 8890   901    434     4500 6460   901    434     4650 6860   901    434     4640 7630  
reducercommutativity/sep05_true-unreach-call.i 901    854     6890 9300   901    858     7080 11700   901    855     7230 9640   901    857     7080 9640  
reducercommutativity/sep10_true-unreach-call.i 904    532     7800 9660   901    483     6540 7130   901    494     6820 8930   901    489     6760 7500  
reducercommutativity/sep20_true-unreach-call.i 902    433     3410 10200   902    433     3390 7560   902    433     3090 6910   901    433     3490 6550  
reducercommutativity/sep40_true-unreach-call.i 901    435     2900 7130   901    433     2940 9180   902    435     3750 7670   901    432     3570 8730  
reducercommutativity/sep60_true-unreach-call.i 901    433     3090 7850   901    435     2970 7480   901    434     3310 7260   901    433     3440 7440  
reducercommutativity/sep_true-unreach-call.i 901    432     5310 6320   901    433     5300 7690   901    432     5220 6240   901    433     5190 6820  
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    888     2190 9200   901    890     1870 8290   901    890     2220 8160   901    889     2090 6820  
reducercommutativity/sum10_true-unreach-call.i 902    888     2470 6870   902    888     2420 6700   901    888     2570 7270   901    887     2590 6360  
reducercommutativity/sum20_true-unreach-call.i 901    887     2430 7110   901    885     2550 6840   902    887     2760 8420   901    886     2680 8500  
reducercommutativity/sum40_true-unreach-call.i 901    885     2030 8110   901    887     2000 7990   901    882     3790 8390   901    882     3720 7620  
reducercommutativity/sum60_true-unreach-call.i 901    884     2150 7350   901    885     3880 7680   901    879     3000 8550   901    879     2910 8620  
reducercommutativity/sum_true-unreach-call.i 902    435     4200 9310   902    436     3840 7290   902    435     4020 7840   902    435     4020 9150  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 11.2  2.58  587 78.5 10.6  2.44  675 80.5 12.1  2.75  626 85.0 11.8  2.63  523 91.4
bitvector/sum02_false-unreach-call_true-no-overflow.i 902    438     2950 7480   901    438     2570 5790   902    437     3010 5550   902    437     3250 6120  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 21.0  5.27  917 149   25.4  5.76  1030 172   24.0  6.04  1030 186   23.0  5.63  849 162  
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 26.0  6.14  1090 201   23.0  5.32  941 183   19.9  5.01  819 156   22.4  5.29  1020 169  
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 12.4  10.1   579 124   13.2  10.4   620 96.5 13.3  10.5   618 98.2 13.3  10.5   614 96.5
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 248    245     4890 1690   249    246     4880 1720   219    215     4760 1420   245    242     4920 1690  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 233    230     4380 2380   233    230     4380 1640   238    235     4380 1740   237    234     4420 1850  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 4.22 1.28  322 32.2 4.81 1.41  330 35.7 4.68 1.40  332 33.1 5.19 1.48  339 40.1
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 7.73 4.24  383 69.7 7.80 4.43  383 69.9 8.31 4.70  397 68.8 8.47 4.44  407 65.4
bitvector/jain_1_true-unreach-call_true-no-overflow.i 901    894     724 8550   901    895     739 10300   901    894     716 8020   901    894     723 7320  
bitvector/jain_2_true-unreach-call_true-no-overflow.i 901    895     670 7350   901    895     657 7420   901    895     685 8300   901    895     679 8870  
bitvector/jain_4_true-unreach-call_true-no-overflow.i 901    895     671 6200   901    895     691 6970   901    895     674 7090   901    894     696 7020  
bitvector/jain_5_true-unreach-call_true-no-overflow.i 902    440     3340 7360   902    439     3510 5990   902    440     3340 8550   901    439     3250 6820  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 901    894     672 7290   901    895     684 8590   901    895     679 10500   901    895     685 7510  
bitvector/jain_7_true-unreach-call_true-no-overflow.i 901    895     949 6790   901    895     930 7400   901    895     913 7280   901    895     924 8630  
bitvector/modulus_true-unreach-call_true-no-overflow.i 875    429     4210 9950   882    433     4010 10800   883    433     4280 10900   887    436     5730 10200  
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 4.50 1.32  323 31.7 5.08 1.51  339 37.3 5.46 1.48  345 38.2 4.67 1.40  330 35.4
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 10.0  2.53  591 71.0 9.82 2.47  606 78.5 10.8  2.95  638 73.6 9.89 2.59  577 73.6
bitvector/parity_true-unreach-call_true-no-overflow.i 121    116     534 1450   118    113     532 1650   119    115     531 1420   119    114     551 1420  
bitvector/sum02_true-unreach-call_true-no-overflow.i 901    438     3130 5870   902    438     3440 5720   901    438     5090 6310   902    438     3470 7050  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 58.0  18.6   1700 465   52.6  15.5   1920 457   52.2  16.6   1700 414   53.9  15.7   2360 493  
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 54.9  18.0   1870 471   57.2  19.5   2190 511   55.3  19.0   2190 471   58.1  19.8   1940 548  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 24.4  5.84  1090 171   22.2  5.03  775 165   23.4  5.77  889 180   28.8  7.45  996 205  
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 67.4  22.9   2110 607   60.6  19.4   1960 517   65.0  22.2   2090 516   63.2  21.0   1960 504  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 26.3  6.80  1080 212   29.3  7.27  1150 223   30.4  7.46  1050 225   27.3  6.62  1070 206  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 64.6  24.5   2060 604   56.9  20.7   1900 503   57.4  21.3   1980 542   61.8  23.3   1860 601  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 902    433     3190 7030   902    434     3000 7470   902    433     3340 8590   902    433     3050 9080  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 19.2  4.35  668 151   16.2  3.62  623 104   12.9  2.93  604 90.0 21.5  4.72  658 169  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 96.2  38.9   3290 866   97.1  39.6   2640 1000   97.4  39.2   2740 998   101    40.2   2550 1000  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 95.9  38.8   2900 831   97.7  39.1   2470 908   98.4  39.9   2600 913   97.2  39.0   2770 1030  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 902    433     2760 7070   902    434     2580 6370   902    434     2580 8110   902    434     2900 8270  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 902    434     2990 6270   902    434     2680 8800   902    433     2550 7330   901    434     2910 8200  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 904    853     7700 8870   903    852     7140 7710   903    851     7090 8460   901    844     8140 9200  
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 10.7  2.42  475 70.8 7.46 1.86  453 53.9 7.22 1.86  443 47.2 7.04 1.81  401 54.8
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 906    847     13000 10000   906    847     13100 10000   901    841     12700 10500   906    849     13100 12500  
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 125    91.7   3170 1430   128    94.7   3180 1710   124    90.4   2970 1490   129    93.2   3060 1320  
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 7.04 1.84  426 59.0 7.11 1.68  398 50.5 7.21 1.81  421 56.5 9.07 2.11  464 65.1
bitvector-regression/implicitfloatconversion_false-unreach-call.c 3.11 1.19  284 25.7 3.12 1.18  283 26.2 3.20 1.18  282 24.8 3.05 1.17  277 27.3
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 3.09 1.18  282 28.7 3.04 1.19  295 25.9 3.06 1.17  279 26.8 3.10 1.22  279 26.0
bitvector-regression/integerpromotion_false-unreach-call.c 3.06 1.17  281 25.4 3.13 1.22  282 29.4 3.08 1.20  279 26.8 3.01 1.15  282 28.2
bitvector-regression/recHanoi03_false-unreach-call.c 2.49 .987 266 21.7 2.66 1.01  269 21.3 2.53 .979 271 22.3 2.41 .942 271 23.3
bitvector-regression/signextension2_false-unreach-call.c 3.30 1.16  285 26.5 3.22 1.21  283 29.3 3.32 1.18  281 31.0 3.30 1.20  281 25.0
bitvector-regression/signextension_false-unreach-call.c 3.32 1.18  284 27.9 3.42 1.23  284 28.7 3.32 1.23  283 26.9 3.24 1.22  291 31.1
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.36 .915 270 19.4 2.42 .937 268 21.0 2.38 .943 270 19.5 2.41 .958 278 18.8
bitvector-regression/integerpromotion_true-unreach-call.c 2.53 .942 268 20.7 2.57 .976 286 21.6 2.32 .922 271 19.9 2.38 .937 270 19.0
bitvector-regression/signextension2_true-unreach-call.c 2.45 .962 273 20.6 2.49 .959 271 19.7 2.57 .970 272 20.1 2.57 .953 275 22.9
bitvector-regression/signextension_true-unreach-call.c 2.67 1.04  272 22.5 2.52 .961 294 22.1 2.76 1.03  271 22.0 2.65 1.01  273 21.3
bitvector-loops/diamond_false-unreach-call2.i 5.90 1.56  431 47.0 6.21 1.57  363 45.5 6.44 1.68  468 44.6 6.28 1.58  444 48.2
bitvector-loops/overflow_false-unreach-call1.i 902    440     3420 9300   901    439     3170 8720   902    440     3140 7750   901    439     3030 7130  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 16.1  8.23  605 136   15.8  8.39  594 146   15.7  7.52  599 136   15.1  7.30  599 151  
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 25.7  5.34  1040 192   26.5  5.47  1210 186   26.9  5.59  1240 191   22.9  4.78  1000 161  
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 18.8  4.07  916 129   17.7  3.89  702 129   20.8  4.46  901 160   21.4  4.50  878 143  
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 26.6  5.60  1140 198   25.2  5.33  1010 175   24.4  5.14  906 160   25.3  5.38  1010 184  
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.73 2.16  473 65.9 8.46 2.02  479 56.2 9.21 2.23  489 66.6 8.64 2.16  473 62.4
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 10.9  2.52  616 73.7 11.5  2.71  606 79.0 9.29 2.22  476 74.2 9.58 2.30  521 70.9
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 902    434     3930 8270   901    433     4200 8810   902    433     4000 8370   902    434     4180 10400  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.87 1.77  456 47.2 7.42 1.89  471 55.6 7.90 1.97  469 62.0 7.35 1.87  454 57.6
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.78 2.18  486 61.2 7.57 1.90  469 56.8 7.68 1.87  447 54.6 9.32 2.29  480 70.1
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.90 1.25  280 29.6 4.07 1.29  285 29.1 4.07 1.26  281 32.5 3.78 1.22  282 31.7
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.17 1.51  299 36.1 4.69 1.39  284 37.1 5.00 1.45  295 39.6 4.56 1.36  288 40.5
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 17.7  3.85  640 121   20.4  4.40  646 152   22.0  4.76  837 159   22.2  4.80  809 157  
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 23.3  4.97  850 163   21.2  4.54  672 150   24.3  5.20  816 180   27.2  5.89  904 179  
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 24.6  5.28  873 173   23.3  4.92  1110 162   26.7  5.78  876 180   24.9  5.35  845 182  
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 22.0  4.66  747 166   23.5  5.06  671 156   22.7  4.86  794 165   20.8  4.51  672 133  
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 6.30 1.67  402 42.6 6.31 1.67  395 41.5 6.66 1.75  415 50.4 5.71 1.56  354 43.1
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 48.7  15.1   1830 426   44.9  12.6   1540 325   49.5  14.3   1800 393   49.5  15.6   1690 413  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 33.9  8.24  1130 244   33.9  7.76  1140 225   40.4  10.4   1260 334   36.0  9.66  1150 289  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 14.4  3.17  706 91.9 15.1  3.30  639 104   15.9  3.50  640 109   14.7  3.25  663 111  
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 8.86 2.13  493 63.3 8.28 1.98  482 57.9 7.61 1.88  485 55.6 9.10 2.17  487 71.5
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 12.4  2.76  522 84.4 13.5  3.03  653 80.3 16.3  3.53  688 121   14.8  3.24  643 107  
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 13.8  3.07  708 94.0 15.0  3.34  635 108   12.8  2.90  576 91.7 13.1  2.93  510 83.3
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 6.59 1.73  392 46.3 5.92 1.58  350 45.1 5.80 1.59  338 41.6 6.57 1.70  400 47.4
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 22.3  4.89  817 144   23.2  5.10  823 170   21.0  4.56  816 153   20.3  4.41  830 147  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 20.2  4.51  737 151   20.0  4.33  808 146   21.3  4.65  819 142   20.8  4.63  812 164  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 20.0  4.36  744 148   21.2  4.87  781 161   20.3  4.36  745 142   21.9  4.94  796 178  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 20.9  4.69  750 139   21.1  4.61  790 151   20.5  4.52  750 138   21.8  5.12  788 145  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 16.1  3.57  628 113   17.1  3.74  617 122   17.2  3.85  626 119   16.7  3.63  649 111  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 4.57 1.33  289 37.0 5.34 1.43  325 39.1 5.37 1.45  328 44.9 4.87 1.38  309 39.4
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.46 1.15  283 26.7 3.49 1.17  294 26.3 3.93 1.17  324 27.7 3.41 1.16  280 25.7
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 14.2  3.22  602 101   14.2  3.20  614 96.3 13.3  3.05  576 89.2 12.6  2.85  616 96.3
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 17.6  3.92  630 125   15.3  3.39  622 100   15.3  3.40  644 102   19.2  4.21  650 137  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 14.6  3.24  630 105   16.7  3.73  642 126   21.3  4.69  687 150   16.0  3.52  661 117  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 24.7  5.61  817 184   30.2  7.20  1060 225   33.2  7.88  1160 237   34.2  7.94  1040 241  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 80.8  31.7   2340 830   83.6  32.1   2600 808   84.6  33.5   3070 849   86.2  33.9   2360 717  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 16.1  3.51  662 113   14.9  3.38  627 100   13.7  3.10  629 96.1 19.0  4.13  637 123  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 5.75 1.54  408 43.2 7.31 1.76  472 56.8 6.42 1.68  408 51.0 5.54 1.48  341 41.5
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 6.43 1.62  368 47.6 6.58 1.76  435 48.0 6.24 1.56  385 38.0 6.98 1.76  410 52.6
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 4.60 1.35  315 36.6 4.74 1.34  304 35.7 4.84 1.36  314 36.8 4.93 1.42  311 37.2
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 5.23 1.44  323 41.2 5.74 1.50  332 43.3 5.36 1.41  344 40.0 4.57 1.34  299 39.6
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 4.68 1.35  311 34.5 5.87 1.52  348 41.1 4.35 1.28  302 33.7 5.56 1.51  323 42.7
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 5.52 1.55  341 34.9 5.39 1.52  314 37.5 4.72 1.37  295 35.1 5.34 1.45  335 38.3
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 4.73 1.36  299 33.1 5.32 1.44  340 39.8 5.62 1.48  336 40.8 5.65 1.48  327 43.2
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 5.47 1.51  330 41.0 5.82 1.49  343 40.0 6.18 1.66  366 50.1 6.00 1.53  363 44.3
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 4.71 1.32  332 34.2 3.58 1.17  280 29.0 3.76 1.15  287 28.4 3.66 1.19  284 29.1
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 5.30 1.40  326 39.8 4.11 1.27  307 35.4 4.79 1.33  334 36.1 4.57 1.26  336 32.0
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 4.01 1.24  293 28.4 4.58 1.32  327 38.8 4.18 1.22  331 33.0 4.26 1.24  313 37.6
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 4.92 1.39  319 38.4 5.20 1.41  328 38.3 4.32 1.29  301 37.2 4.80 1.35  330 37.6
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 5.53 1.46  332 41.0 4.73 1.30  337 36.5 5.16 1.43  329 36.2 4.80 1.38  312 34.9
ntdrivers/cdaudio_false-unreach-call.i.cil.c 902    424     5070 8270   902    426     4990 6100   902    423     6450 8610   902    433     5910 7950  
ntdrivers/diskperf_false-unreach-call.i.cil.c 37.0  7.63  1300 250   33.1  6.85  1350 222   24.4  5.09  1240 164   26.7  5.60  1000 173  
ntdrivers/floppy_false-unreach-call.i.cil.c 960    466     7220 5980   960    467     7120 5690   72.2  22.8   2780 482   234    100     5710 2310  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 33.5  7.89  1180 244   34.0  7.92  1200 275   16.0  3.49  705 115   24.1  5.08  886 160  
ntdrivers/parport_false-unreach-call.i.cil.c 85.4  33.9   2640 578   84.0  33.2   4130 664   43.4  12.9   2170 310   105    42.9   2470 865  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 84.3  26.7   3060 701   82.7  27.0   3060 712   23.6  5.14  897 149   44.4  11.2   1730 312  
ntdrivers/diskperf_true-unreach-call.i.cil.c 902    435     4270 6390   902    433     4950 7820   903    434     5640 6850   902    434     6630 7080  
ntdrivers/floppy2_true-unreach-call.i.cil.c 902    422     9020 9730   901    420     8760 8990   902    422     9100 9520   902    424     9260 9900  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 961    474     7070 6500   961    473     7060 5580   902    410     6230 5840   902    411     6790 5760  
ntdrivers/parport_true-unreach-call.i.cil.c 901    553     8410 7530   902    577     8590 8650   901    595     9080 8910   936    598     9050 8260  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 901    435     3080 8760   901    434     2930 7850   902    434     2980 8730   187    81.6   2620 1860  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 771    369     2630 6960   795    380     2750 5800   901    434     2710 8940   98.5  38.8   2550 869  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 891    427     3170 8660   860    413     3040 8320   902    435     2730 8810   97.4  37.9   2390 930  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 901    433     2700 6800   901    434     2670 8520   902    435     2750 9230   117    46.6   2520 1020  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 57.9  20.1   1720 466   54.7  18.9   1740 472   32.6  7.64  1030 258   33.9  8.53  1200 281  
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 57.2  20.0   1820 502   76.6  28.6   2120 624   29.0  7.15  1110 212   33.6  8.30  1180 235  
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 42.4  11.2   1290 319   55.1  17.6   2090 468   42.4  12.0   1260 301   32.9  8.89  1260 248  
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 83.5  33.4   2470 756   91.7  35.8   2080 822   29.4  6.47  839 191   30.2  7.78  1330 234  
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 901    435     3210 9710   901    435     3210 9410   902    439     4580 9400   901    437     4240 8600  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 901    435     3080 9360   901    435     3200 8670   902    435     3380 8900   901    436     4070 10500  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 901    437     2630 8880   901    435     2710 8260   902    436     2580 9190   902    436     2680 9000  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 901    436     3260 8610   901    435     3220 8780   902    436     3760 8430   902    434     3360 10100  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 902    435     2640 8830   901    436     2540 8570   903    438     2570 10600   902    434     2840 9060  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 622    297     2890 5030   445    210     2900 4470   52.6  17.0   1690 421   74.2  26.0   1820 664  
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 901    436     3490 8810   901    436     2940 9530   903    437     2800 8380   901    435     2570 8910  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 901    436     2890 8490   901    435     3340 10800   902    435     3210 9200   902    435     3270 8660  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 901    434     3290 8600   901    435     3260 8070   902    435     2870 8830   901    436     3560 10300  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 901    435     2660 6790   901    434     2770 8540   902    437     2700 11200   902    436     2640 8980  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 901    436     3150 9500   901    436     3290 9380   902    436     2810 10600   902    434     3130 8460  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 25.8  5.53  831 187   25.5  5.66  867 189   27.6  5.98  839 203   27.2  5.97  858 189  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 27.5  6.88  822 181   25.3  5.60  818 185   25.4  5.59  883 165   29.4  6.47  850 186  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 24.0  5.31  811 160   27.0  6.01  1080 182   26.9  6.04  903 216   26.3  5.72  810 173  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 26.8  6.10  823 207   25.5  5.90  858 182   24.2  5.48  804 166   24.8  5.40  873 172  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 46.3  15.7   1900 384   33.2  7.34  1110 220   31.8  8.31  1050 242   28.0  7.46  1110 218  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 15.9  3.58  676 108   16.2  3.61  679 122   17.4  3.81  630 105   18.2  4.03  637 119  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 92.5  36.8   2780 832   190    84.3   3450 1590   184    81.6   3420 1780   192    85.1   3830 2070  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 81.3  31.1   2190 722   85.9  32.9   2340 760   85.0  32.9   3380 772   85.0  33.6   2750 775  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 37.2  8.90  1010 252   51.4  17.4   1590 471   31.7  7.90  1140 246   35.6  8.82  1110 238  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 83.5  32.9   2450 808   85.0  33.3   2560 765   236    107     3230 2380   86.4  33.5   2810 831  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 27.5  6.54  921 193   29.6  6.87  890 236   31.0  7.33  912 223   28.7  6.96  868 210  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 50.7  16.1   1510 406   79.2  30.7   2700 705   52.3  16.3   1980 427   82.7  31.3   2380 838  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 170    75.6   3280 1590   76.2  28.9   2290 675   82.9  30.6   2400 691   77.1  29.0   2270 692  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 34.1  8.40  1200 259   30.5  8.93  1160 204   36.5  10.1   1350 273   38.9  10.7   1190 246  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 75.6  29.5   2160 708   79.8  30.4   3070 848   84.8  33.1   2380 764   77.7  29.8   2360 749  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 53.9  18.4   1750 419   52.0  17.4   1600 415   36.8  9.58  1140 254   37.5  10.1   1140 281  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 84.0  32.4   2360 731   85.7  33.0   2270 765   184    81.4   3360 1780   89.1  35.1   2360 835  
eca-rers2012/Problem01_label15_false-unreach-call.c 32.6  7.68  1650 233   30.1  6.85  1340 225   33.1  7.43  1210 234   31.4  6.96  1350 204  
eca-rers2012/Problem01_label20_false-unreach-call.c 44.3  11.9   2050 350   43.3  10.9   1850 329   44.2  11.6   1950 336   43.4  10.9   2250 286  
eca-rers2012/Problem01_label21_false-unreach-call.c 34.4  7.72  1270 243   32.4  7.46  1420 240   29.5  6.52  1230 217   31.9  7.02  1310 218  
eca-rers2012/Problem01_label32_false-unreach-call.c 41.6  11.5   2010 315   43.8  11.7   1780 337   43.1  10.9   1980 290   45.1  12.0   1910 339  
eca-rers2012/Problem01_label33_false-unreach-call.c 39.3  9.32  1440 290   36.9  9.14  1720 261   38.6  9.37  2180 277   36.1  8.25  1530 273  
eca-rers2012/Problem01_label35_false-unreach-call.c 33.1  7.60  1300 236   33.7  7.53  1270 240   31.6  7.35  1380 206   32.1  7.11  1370 243  
eca-rers2012/Problem01_label37_false-unreach-call.c 40.1  9.58  1640 296   37.4  9.35  1730 296   35.0  8.79  1770 259   36.5  8.80  1730 258  
eca-rers2012/Problem01_label38_false-unreach-call.c 29.7  6.63  1420 220   32.6  7.53  1500 234   32.9  6.94  1350 237   32.2  7.44  1220 230  
eca-rers2012/Problem01_label44_false-unreach-call.c 26.0  5.42  898 183   26.2  5.48  934 187   23.4  4.92  1140 169   24.6  5.22  1010 187  
eca-rers2012/Problem01_label47_false-unreach-call.c 42.2  10.8   1980 289   44.4  11.7   1860 345   41.9  11.4   1910 313   42.3  10.9   2010 321  
eca-rers2012/Problem01_label50_false-unreach-call.c 30.2  6.45  1290 227   30.8  6.74  1240 226   32.3  7.16  1260 221   31.5  7.09  1390 225  
eca-rers2012/Problem01_label56_false-unreach-call.c 36.3  8.93  1600 298   38.8  9.28  1680 292   38.3  9.76  2010 273   36.6  8.88  1470 256  
eca-rers2012/Problem01_label57_false-unreach-call.c 39.0  10.1   2330 280   39.9  9.87  1610 289   35.3  8.50  1690 267   38.2  9.04  1620 319  
eca-rers2012/Problem02_label13_false-unreach-call.c 18.8  4.05  889 122   17.4  3.78  680 132   20.5  4.33  790 142   17.3  3.76  647 128  
eca-rers2012/Problem02_label16_false-unreach-call.c 17.4  3.77  663 111   17.9  3.86  869 122   17.6  3.79  653 130   17.3  3.72  683 123  
eca-rers2012/Problem02_label43_false-unreach-call.c 17.1  3.71  683 134   20.6  4.34  896 144   17.0  3.65  738 137   21.0  4.48  1140 149  
eca-rers2012/Problem02_label44_false-unreach-call.c 19.5  4.18  873 129   19.7  4.22  781 141   19.3  4.04  908 155   17.8  3.85  662 119  
eca-rers2012/Problem02_label45_false-unreach-call.c 26.6  5.61  1110 196   25.3  5.34  1190 184   25.1  5.36  898 169   24.0  5.04  936 185  
eca-rers2012/Problem02_label50_false-unreach-call.c 24.8  5.29  1130 158   25.0  5.36  1200 174   26.8  5.51  1130 178   24.9  5.64  1230 187  
eca-rers2012/Problem02_label59_false-unreach-call.c 24.0  5.03  1080 177   29.3  6.15  1230 196   27.6  5.73  905 188   26.1  5.58  1150 182  
eca-rers2012/Problem03_label09_false-unreach-call.c 87.6  28.2   3610 642   86.6  28.0   3600 678   81.4  26.3   3780 711   86.6  28.8   3840 692  
eca-rers2012/Problem03_label13_false-unreach-call.c 69.4  19.3   2970 588   65.6  19.4   3110 511   67.0  18.8   2970 531   63.4  18.6   3040 471  
eca-rers2012/Problem03_label26_false-unreach-call.c 48.2  12.1   2180 332   48.7  12.3   2190 409   53.3  13.4   2090 385   51.4  12.3   2210 370  
eca-rers2012/Problem03_label27_false-unreach-call.c 62.6  17.0   2890 472   61.3  17.4   2820 483   62.9  16.9   2840 473   67.6  18.3   3050 516  
eca-rers2012/Problem03_label28_false-unreach-call.c 65.2  17.8   2840 530   67.0  19.1   2760 498   62.5  17.1   2790 455   60.1  16.8   2700 465  
eca-rers2012/Problem03_label31_false-unreach-call.c 66.6  18.2   3040 464   67.9  19.8   3310 502   62.0  17.0   2970 472   59.0  16.8   2830 469  
eca-rers2012/Problem03_label35_false-unreach-call.c 95.4  31.7   4240 729   92.0  29.6   4110 743   84.0  27.7   3780 696   94.3  31.0   4140 734  
eca-rers2012/Problem03_label37_false-unreach-call.c 64.2  17.1   2940 538   64.0  17.3   2830 431   62.5  17.6   2900 470   62.5  17.5   3040 450  
eca-rers2012/Problem03_label39_false-unreach-call.c 79.7  25.4   3570 612   82.9  25.2   3460 612   77.8  24.9   3710 665   77.8  25.2   4350 602  
eca-rers2012/Problem03_label43_false-unreach-call.c 64.0  17.0   2820 444   64.7  18.5   3310 534   68.0  19.4   3060 511   68.6  18.4   2920 532  
eca-rers2012/Problem03_label45_false-unreach-call.c 89.0  29.3   3460 742   88.2  28.4   3890 726   89.0  28.1   3720 669   84.9  26.6   3580 671  
eca-rers2012/Problem03_label50_false-unreach-call.c 65.5  17.8   2820 447   66.0  17.4   2920 522   64.5  17.6   2940 494   64.5  17.9   2850 584  
eca-rers2012/Problem03_label52_false-unreach-call.c 94.2  30.2   3740 744   93.3  30.9   4560 775   91.8  30.3   4130 783   94.0  31.2   4080 723  
eca-rers2012/Problem04_label04_false-unreach-call.c 902    381     8400 6910   910    386     8150 5970   902    386     8210 5810   901    379     8220 6690  
eca-rers2012/Problem04_label06_false-unreach-call.c 902    381     7800 7690   902    385     7840 6940   902    383     7710 5330   912    399     7700 6150  
eca-rers2012/Problem04_label09_false-unreach-call.c 903    382     8200 6300   902    382     7990 6010   902    391     8080 6390   903    380     8120 6320  
eca-rers2012/Problem04_label11_false-unreach-call.c 901    380     8230 7360   903    381     7730 6750   902    387     7620 7620   902    383     7630 7330  
eca-rers2012/Problem04_label12_false-unreach-call.c 902    380     7710 5930   902    384     7640 7080   902    380     7770 5360   902    389     7610 6250  
eca-rers2012/Problem04_label13_false-unreach-call.c 902    381     7390 7270   915    386     7920 7280   902    383     7380 7940   902    382     7060 8640  
eca-rers2012/Problem04_label14_false-unreach-call.c 902    388     8160 7080   902    380     8110 6700   902    387     7390 6940   902    382     7610 7490  
eca-rers2012/Problem04_label15_false-unreach-call.c 902    382     7730 6620   902    379     7790 6480   903    382     7800 6070   902    381     7730 6280  
eca-rers2012/Problem04_label17_false-unreach-call.c 902    378     8140 7450   902    381     8170 6140   902    388     7480 6440   901    381     8210 6330  
eca-rers2012/Problem04_label18_false-unreach-call.c 903    386     8260 6280   902    386     7590 8120   902    383     8190 6960   903    384     7740 6920  
eca-rers2012/Problem04_label19_false-unreach-call.c 902    381     8070 5910   902    385     8160 8330   903    380     8120 6230   902    380     8080 5870  
eca-rers2012/Problem04_label26_false-unreach-call.c 903    384     7740 6300   902    384     7850 5960   902    383     7890 6450   902    383     7890 8230  
eca-rers2012/Problem04_label27_false-unreach-call.c 903    385     7970 5670   902    383     7510 7920   903    380     8180 5400   902    381     7990 6320  
eca-rers2012/Problem04_label31_false-unreach-call.c 902    381     7800 6590   902    383     7880 6360   902    384     7420 7300   902    386     7600 7240  
eca-rers2012/Problem04_label32_false-unreach-call.c 903    385     7680 6970   917    388     8000 6760   902    384     7730 7080   901    385     7620 6290  
eca-rers2012/Problem04_label35_false-unreach-call.c 902    385     7800 6810   902    379     7710 6370   902    383     7620 7480   902    380     7660 7520  
eca-rers2012/Problem04_label36_false-unreach-call.c 903    382     7790 7790   903    387     7570 6150   902    385     8060 6130   902    390     7680 6810  
eca-rers2012/Problem04_label38_false-unreach-call.c 902    382     8200 8770   901    386     8190 7530   902    381     8180 6810   902    382     8170 6910  
eca-rers2012/Problem04_label39_false-unreach-call.c 902    385     7830 6950   902    384     8060 6490   902    385     7910 8840   902    385     7950 6910  
eca-rers2012/Problem04_label40_false-unreach-call.c 903    385     8070 6530   902    385     8070 5670   902    381     8040 6510   902    390     8050 6030  
eca-rers2012/Problem04_label45_false-unreach-call.c 902    381     8250 5370   901    387     8170 6560   902    388     7960 6500   901    390     8210 6540  
eca-rers2012/Problem04_label52_false-unreach-call.c 902    381     7620 8600   902    387     8000 8180   902    381     8150 6800   902    388     8040 5560  
eca-rers2012/Problem04_label55_false-unreach-call.c 902    384     8040 7120   902    388     8170 6380   919    390     7790 6700   903    384     8180 7670  
eca-rers2012/Problem04_label58_false-unreach-call.c 902    385     7840 6410   902    383     7760 7720   902    387     7650 6220   902    383     7700 5530  
eca-rers2012/Problem05_label00_false-unreach-call.c 902    384     8390 5550   902    386     8240 6560   903    384     8270 8800   903    385     8270 6560  
eca-rers2012/Problem05_label01_false-unreach-call.c 902    386     8470 6260   902    384     8340 6310   902    386     8450 6330   902    386     8500 6640  
eca-rers2012/Problem05_label11_false-unreach-call.c 903    386     8440 5720   904    380     8670 6100   903    383     8350 6100   903    387     8420 5900  
eca-rers2012/Problem05_label13_false-unreach-call.c 902    386     8630 6860   902    385     8410 6280   903    387     8390 6570   903    387     8360 6750  
eca-rers2012/Problem05_label15_false-unreach-call.c 902    385     8730 4890   902    383     8710 5700   902    380     8210 6530   903    386     8800 7410  
eca-rers2012/Problem05_label18_false-unreach-call.c 903    386     8460 6550   902    385     8360 6480   903    385     8220 6270   902    385     8370 6210  
eca-rers2012/Problem05_label24_false-unreach-call.c 915    377     9070 6890   902    386     8310 7660   903    380     8400 6530   902    383     8680 5880  
eca-rers2012/Problem05_label26_false-unreach-call.c 903    383     8270 7060   902    383     8870 6070   902    382     8860 6140   903    383     8320 6950  
eca-rers2012/Problem05_label30_false-unreach-call.c 902    385     8720 6570   902    387     8400 6420   954    437     8380 7180   902    386     8250 6780  
eca-rers2012/Problem05_label32_false-unreach-call.c 903    381     8530 6130   902    386     8280 6140   902    385     8430 6340   902    384     8280 6580  
eca-rers2012/Problem05_label33_false-unreach-call.c 903    387     8320 6530   902    376     8630 6160   903    383     8440 5730   902    383     8370 5860  
eca-rers2012/Problem05_label36_false-unreach-call.c 903    386     8810 7710   904    383     8160 7110   903    387     8790 5750   902    383     8400 8160  
eca-rers2012/Problem05_label37_false-unreach-call.c 903    387     8330 5970   902    385     8440 6680   903    386     8360 7780   903    386     8230 7130  
eca-rers2012/Problem05_label38_false-unreach-call.c 903    385     8340 5870   902    385     8330 6260   902    385     8410 5900   902    384     8440 6040  
eca-rers2012/Problem05_label39_false-unreach-call.c 903    386     8140 7430   902    387     8310 5880   903    386     8740 6190   902    385     8810 5930  
eca-rers2012/Problem05_label40_false-unreach-call.c 902    383     8420 7190   903    385     8180 5620   903    386     8240 7520   902    385     8810 5740  
eca-rers2012/Problem05_label41_false-unreach-call.c 902    384     8450 5130   902    386     8710 6620   902    386     8390 6950   903    387     8340 6350  
eca-rers2012/Problem05_label44_false-unreach-call.c 903    385     8360 5700   903    386     8490 6380   903    387     8440 6030   903    387     8450 6040  
eca-rers2012/Problem05_label47_false-unreach-call.c 912    376     8410 6560   903    387     8430 7060   902    385     8710 5950   902    383     8300 6340  
eca-rers2012/Problem05_label48_false-unreach-call.c 902    384     8270 5940   903    386     8120 6680   903    387     8220 6410   903    385     8710 6890  
eca-rers2012/Problem05_label51_false-unreach-call.c 902    370     8700 7320   905    374     8560 6000   902    383     8280 7090   902    380     9000 6560  
eca-rers2012/Problem05_label55_false-unreach-call.c 902    385     8670 6400   902    386     8760 7790   903    384     8150 7330   902    384     8720 6110  
eca-rers2012/Problem05_label57_false-unreach-call.c 902    384     8310 7000   903    379     8520 6430   903    384     8350 6590   903    387     8330 6380  
eca-rers2012/Problem05_label58_false-unreach-call.c 902    377     8580 5520   904    386     8870 7520   902    384     8270 5800   902    387     8390 6040  
eca-rers2012/Problem06_label00_false-unreach-call.c 910    371     8300 5650   903    366     8620 7350   902    351     8760 6260   902    366     8320 6130  
eca-rers2012/Problem06_label01_false-unreach-call.c 902    349     8710 5430   902    351     8840 5940   902    352     8700 5390   902    349     8790 5680  
eca-rers2012/Problem06_label02_false-unreach-call.c 919    378     8500 6600   928    378     8350 5940   904    367     8400 5890   903    353     8680 6060  
eca-rers2012/Problem06_label04_false-unreach-call.c 902    354     8860 6030   903    347     9110 7560   902    351     8900 8060   855    328     9090 5930  
eca-rers2012/Problem06_label05_false-unreach-call.c 902    354     8560 6370   902    349     8500 5720   902    352     8560 5680   904    355     8640 5490  
eca-rers2012/Problem06_label09_false-unreach-call.c 902    354     8920 6440   902    353     8640 6690   902    349     8730 6900   903    350     8780 5560  
eca-rers2012/Problem06_label10_false-unreach-call.c 903    353     8660 6330   952    385     8440 7030   904    350     8440 5320   903    368     8220 6340  
eca-rers2012/Problem06_label11_false-unreach-call.c 903    355     8760 5820   903    352     8810 5980   902    350     8810 7050   903    354     8590 6060  
eca-rers2012/Problem06_label12_false-unreach-call.c 902    349     8620 6070   903    352     8520 4610   903    350     8600 5380   901    364     8460 5840  
eca-rers2012/Problem06_label15_false-unreach-call.c 902    347     8940 7640   904    355     8800 6330   901    349     8730 5770   902    353     8720 5940  
eca-rers2012/Problem06_label20_false-unreach-call.c 902    351     8780 5890   902    352     8940 5990   901    349     8860 5890   902    348     9000 5780  
eca-rers2012/Problem06_label21_false-unreach-call.c 903    354     8740 6770   902    347     8660 5060   903    348     8870 6430   902    354     8720 5870  
eca-rers2012/Problem06_label24_false-unreach-call.c 902    349     8780 6670   902    359     8760 5710   903    353     8640 6320   910    351     8540 5030  
eca-rers2012/Problem06_label27_false-unreach-call.c 901    341     9430 6200   902    353     8680 5560   902    350     8750 6110   902    351     8710 5810  
eca-rers2012/Problem06_label29_false-unreach-call.c 915    348     8910 6620   902    351     8830 6000   902    347     8560 5360   901    350     8540 5620  
eca-rers2012/Problem06_label33_false-unreach-call.c 902    347     8670 5450   901    351     8670 5580   902    351     8830 6030   903    351     8760 6820  
eca-rers2012/Problem06_label36_false-unreach-call.c 902    354     8760 5400   912    351     8950 6390   902    344     9060 7000   902    345     9000 7960  
eca-rers2012/Problem06_label37_false-unreach-call.c 901    353     8810 5430   902    353     8750 5690   903    350     8870 6540   902    351     8920 7100  
eca-rers2012/Problem06_label38_false-unreach-call.c 903    351     8650 5410   903    350     8640 5550   902    348     8660 5890   902    366     8620 6040  
eca-rers2012/Problem06_label44_false-unreach-call.c 902    352     8640 5240   903    349     8560 5730   902    351     8630 5380   901    350     8790 6090  
eca-rers2012/Problem06_label47_false-unreach-call.c 902    344     9210 6020   903    350     8800 5780   902    363     8520 6300   902    341     9900 7510  
eca-rers2012/Problem06_label48_false-unreach-call.c 902    350     8610 5510   902    354     8570 5570   902    351     8760 5710   902    348     9100 7470  
eca-rers2012/Problem06_label56_false-unreach-call.c 902    350     8600 5600   901    349     8870 7280   902    351     8710 6110   903    350     8750 6810  
eca-rers2012/Problem06_label58_false-unreach-call.c 902    353     8960 6770   901    349     8950 7720   901    353     8800 5350   902    350     9060 6730  
eca-rers2012/Problem06_label59_false-unreach-call.c 902    350     8880 6930   902    346     8650 5530   902    352     8630 5980   902    350     8650 5680  
eca-rers2012/Problem07_label03_false-unreach-call.c 912    396     9730 6220   913    395     9700 6130   912    398     9750 6150   912    397     9800 6480  
eca-rers2012/Problem07_label05_false-unreach-call.c 919    406     8440 6060   911    399     8520 6330   923    410     8380 5790   913    401     8470 6060  
eca-rers2012/Problem07_label06_false-unreach-call.c 961    447     8510 6240   917    399     8650 6790   910    397     8540 6110   913    401     8600 8150  
eca-rers2012/Problem07_label07_false-unreach-call.c 913    398     11000 6600   961    444     11000 6320   960    442     10900 7640   961    446     11000 7250  
eca-rers2012/Problem07_label09_false-unreach-call.c 961    446     9790 8340   961    444     9770 6980   913    395     9740 5840   918    394     9700 6350  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    396     9830 6330   913    396     9810 6100   912    396     9840 6830   913    395     9850 5830  
eca-rers2012/Problem07_label15_false-unreach-call.c 961    446     9930 7040   961    446     9910 8720   960    439     9900 7420   913    397     9930 6920  
eca-rers2012/Problem07_label18_false-unreach-call.c 911    397     8490 7420   961    457     8470 6860   913    408     8520 7200   909    395     8490 6080  
eca-rers2012/Problem07_label19_false-unreach-call.c 954    438     9750 6180   960    441     9780 6710   961    443     9800 6430   960    440     9760 6480  
eca-rers2012/Problem07_label20_false-unreach-call.c 960    450     8370 6950   960    449     8540 8470   961    451     8390 7100   961    450     8410 8280  
eca-rers2012/Problem07_label23_false-unreach-call.c 938    425     8410 6260   926    415     8420 7300   937    426     8370 6080   946    433     8420 6080  
eca-rers2012/Problem07_label30_false-unreach-call.c 901    390     8910 6810   916    401     8620 5600   902    387     8950 7010   903    391     9150 9500  
eca-rers2012/Problem07_label31_false-unreach-call.c 936    405     12600 6900   938    410     12600 7470   936    404     12500 7580   934    405     12600 7530  
eca-rers2012/Problem07_label35_false-unreach-call.c 913    401     10000 6220   942    428     10000 8400   953    436     9940 6830   959    444     9970 7170  
eca-rers2012/Problem07_label36_false-unreach-call.c 912    395     9710 6510   953    436     9790 6620   953    437     9790 6760   953    437     9780 6450  
eca-rers2012/Problem07_label37_false-unreach-call.c 908    397     8410 6530   913    398     8360 6140   908    399     8470 6310   927    414     8430 6060  
eca-rers2012/Problem07_label39_false-unreach-call.c 913    399     9730 6190   913    399     9750 6300   913    398     9710 6710   913    400     9750 6520  
eca-rers2012/Problem07_label40_false-unreach-call.c 901    386     10000 5650   901    383     9920 6170   901    385     9850 6350   901    385     10200 6320  
eca-rers2012/Problem07_label42_false-unreach-call.c 906    393     8550 5950   961    451     8520 6130   915    399     8490 5370   961    450     8520 6330  
eca-rers2012/Problem07_label44_false-unreach-call.c 901    389     8530 6200   902    389     8380 6270   901    391     8410 6180   901    389     8510 5910  
eca-rers2012/Problem07_label46_false-unreach-call.c 961    450     8410 6500   961    448     8370 6910   912    400     8390 5740   961    449     8400 6290  
eca-rers2012/Problem07_label47_false-unreach-call.c 913    397     9770 5510   961    446     9760 6850   961    445     9730 6840   912    396     9770 6380  
eca-rers2012/Problem07_label48_false-unreach-call.c 912    402     8440 7210   961    450     8390 8440   961    448     8410 5870   961    449     8390 6830  
eca-rers2012/Problem07_label58_false-unreach-call.c 930    414     9810 6100   919    404     9870 8070   913    398     9790 6410   932    417     9780 6350  
eca-rers2012/Problem08_label01_false-unreach-call.c 961    441     11200 5980   961    441     11200 6620   961    442     11200 6320   961    441     11200 6230  
eca-rers2012/Problem08_label02_false-unreach-call.c 961    445     11300 6470   961    445     11300 6120   961    444     11300 6800   961    445     11400 6560  
eca-rers2012/Problem08_label04_false-unreach-call.c 961    440     11200 6270   961    445     11200 5980   961    445     11200 5980   961    445     11200 6490  
eca-rers2012/Problem08_label05_false-unreach-call.c 961    444     11200 6140   960    435     11200 6250   961    443     11200 6310   961    445     11200 6600  
eca-rers2012/Problem08_label06_false-unreach-call.c 914    398     11400 6160   914    396     11400 6820   916    396     11500 6320   915    391     11400 6310  
eca-rers2012/Problem08_label07_false-unreach-call.c 914    399     11300 6840   915    398     11200 6030   916    399     11400 7020   915    397     11300 5630  
eca-rers2012/Problem08_label10_false-unreach-call.c 961    441     11200 6150   961    445     11300 7810   961    444     11200 6360   961    443     11200 6240  
eca-rers2012/Problem08_label13_false-unreach-call.c 961    445     11300 6720   961    446     11300 6020   961    440     11200 6810   961    446     11300 6820  
eca-rers2012/Problem08_label15_false-unreach-call.c 961    446     11200 6140   961    444     11200 6780   961    443     11300 6290   961    444     11200 6150  
eca-rers2012/Problem08_label24_false-unreach-call.c 926    404     11200 6160   915    399     11200 6250   913    397     11300 6100   910    395     11300 5730  
eca-rers2012/Problem08_label25_false-unreach-call.c 960    423     13700 8250   953    411     12800 7280   951    415     12700 6480   951    412     12800 6980  
eca-rers2012/Problem08_label26_false-unreach-call.c 961    447     11200 6140   961    444     11200 6130   961    443     11200 6030   961    446     11200 6300  
eca-rers2012/Problem08_label28_false-unreach-call.c 960    422     13800 7380   961    424     13700 7330   961    430     13800 6960   960    420     13900 8670  
eca-rers2012/Problem08_label29_false-unreach-call.c 961    441     11100 5960   961    441     11100 6530   961    444     11100 6230   961    444     11200 6710  
eca-rers2012/Problem08_label34_false-unreach-call.c 961    419     13800 7510   960    430     13800 7310   961    423     13800 6490   960    423     13800 7090  
eca-rers2012/Problem08_label37_false-unreach-call.c 914    392     11200 6230   914    394     11300 5450   916    400     11300 6040   913    396     11300 6020  
eca-rers2012/Problem08_label43_false-unreach-call.c 961    445     11500 6290   961    446     11600 6890   960    439     11500 6780   960    434     11500 5910  
eca-rers2012/Problem08_label46_false-unreach-call.c 961    444     11200 5960   961    445     11100 6040   961    443     11200 6150   961    445     11200 7010  
eca-rers2012/Problem08_label48_false-unreach-call.c 913    376     12600 7260   961    404     12600 6620   941    385     12600 6810   902    373     12500 7690  
eca-rers2012/Problem08_label49_false-unreach-call.c 961    442     11100 6190   961    440     11100 6040   961    442     11200 7720   961    445     11200 6430  
eca-rers2012/Problem08_label50_false-unreach-call.c 961    445     11200 6650   961    444     11200 6660   961    444     11200 5900   961    445     11300 7360  
eca-rers2012/Problem08_label51_false-unreach-call.c 960    423     13900 7830   961    422     13800 7070   961    420     13800 7820   960    425     13900 8960  
eca-rers2012/Problem08_label55_false-unreach-call.c 961    447     11300 6060   961    442     11300 6330   961    445     11200 6250   961    444     11300 6920  
eca-rers2012/Problem08_label59_false-unreach-call.c 961    446     11200 5730   961    445     11200 7100   961    447     11200 6930   961    444     11200 6330  
eca-rers2012/Problem09_label02_false-unreach-call.c 913    388     13000 5510   912    384     13000 5920   911    386     13100 6100   910    385     13000 5770  
eca-rers2012/Problem09_label03_false-unreach-call.c 899    367     15000 6420   922    370     14000 6460   896    359     15000 7510   909    360     15000 6320  
eca-rers2012/Problem09_label06_false-unreach-call.c 910    386     12800 5610   910    384     12600 5460   911    387     12700 7380   911    387     12800 6240  
eca-rers2012/Problem09_label08_false-unreach-call.c 910    386     13100 6690   911    382     13000 5660   910    385     13100 7220   912    392     13100 6530  
eca-rers2012/Problem09_label10_false-unreach-call.c 910    386     12600 5430   910    388     12600 5940   910    386     12500 5570   910    383     12500 6680  
eca-rers2012/Problem09_label11_false-unreach-call.c 911    385     12400 5820   911    384     12600 5590   911    387     12500 6030   911    385     12500 5340  
eca-rers2012/Problem09_label15_false-unreach-call.c 910    385     12900 6180   911    386     12900 5850   911    386     13000 5890   912    387     13000 7280  
eca-rers2012/Problem09_label19_false-unreach-call.c 910    384     12900 6650   911    386     12800 5820   910    384     12800 6620   910    387     12800 5430  
eca-rers2012/Problem09_label20_false-unreach-call.c 910    385     12400 5840   910    385     12400 5900   911    385     12300 5560   910    387     12500 6440  
eca-rers2012/Problem09_label32_false-unreach-call.c 911    384     12900 6470   911    389     12900 4780   911    385     12800 5700   911    385     12900 6390  
eca-rers2012/Problem09_label34_false-unreach-call.c 911    387     12600 6750   913    388     12500 6390   910    384     12600 6630   911    390     12600 6210  
eca-rers2012/Problem09_label35_false-unreach-call.c 911    387     13000 6770   911    385     13000 5900   911    385     13000 5900   911    387     13000 6270  
eca-rers2012/Problem09_label36_false-unreach-call.c 910    385     12900 6030   911    391     12900 5570   911    385     12900 5970   911    384     12900 6660  
eca-rers2012/Problem09_label38_false-unreach-call.c 961    436     12000 5820   961    437     11900 5530   913    390     11900 4680   961    436     12000 5680  
eca-rers2012/Problem09_label41_false-unreach-call.c 912    390     12100 5440   911    394     12100 5370   910    383     12200 5450   910    384     12300 6490  
eca-rers2012/Problem09_label44_false-unreach-call.c 902    371     13700 6450   930    369     14100 6920   902    370     13700 5970   903    372     14000 5750  
eca-rers2012/Problem09_label46_false-unreach-call.c 913    391     11700 4790   913    390     11800 5450   961    437     11700 4990   961    437     11800 5690  
eca-rers2012/Problem09_label47_false-unreach-call.c 910    386     12900 5760   911    385     13000 5990   909    384     13000 6310   911    383     12900 5910  
eca-rers2012/Problem09_label51_false-unreach-call.c 910    387     12800 7210   911    385     12800 5530   910    385     12800 7060   911    384     12800 7240  
eca-rers2012/Problem09_label53_false-unreach-call.c 961    438     11900 5240   960    433     11900 5240   961    438     12000 6540   961    445     12000 5400  
eca-rers2012/Problem09_label54_false-unreach-call.c 909    386     12700 6050   910    386     12600 5210   910    384     12500 5260   910    388     12600 5460  
eca-rers2012/Problem09_label56_false-unreach-call.c 911    387     13000 7170   911    384     13000 5740   911    387     13100 6500   910    386     13000 5260  
eca-rers2012/Problem09_label57_false-unreach-call.c 912    389     12700 5810   911    392     12800 5530   911    387     12700 5710   910    385     12600 6000  
eca-rers2012/Problem09_label59_false-unreach-call.c 902    375     13100 5940   902    376     13500 5690   902    378     13400 6870   903    380     13500 7890  
eca-rers2012/Problem10_label12_false-unreach-call.c 376    161     9390 2520   326    139     9120 1880   452    193     9580 3270   400    168     9360 2320  
eca-rers2012/Problem10_label15_false-unreach-call.c 205    86.4   8890 1270   211    89.4   8950 1510   297    126     9040 1760   284    117     9280 2550  
eca-rers2012/Problem10_label24_false-unreach-call.c 475    203     9510 2950   603    259     9720 3640   254    106     9060 2220   469    200     9530 2970  
eca-rers2012/Problem10_label26_false-unreach-call.c 348    148     9140 2570   493    210     9670 4070   369    158     9300 2270   358    151     9340 2290  
eca-rers2012/Problem10_label28_false-unreach-call.c 310    134     9080 2240   219    94.1   8880 1510   318    135     9130 1960   484    207     9850 2900  
eca-rers2012/Problem10_label29_false-unreach-call.c 308    132     9220 1980   332    143     9180 1940   449    190     9550 2990   173    72.8   8870 1050  
eca-rers2012/Problem10_label41_false-unreach-call.c 103    40.3   6260 701   76.6  27.9   4880 490   104    40.4   6140 696   116    45.9   6290 747  
eca-rers2012/Problem10_label42_false-unreach-call.c 73.6  26.3   5650 653   76.1  27.8   5560 538   95.4  36.3   5630 624   81.9  29.1   5060 569  
eca-rers2012/Problem10_label46_false-unreach-call.c 31.5  7.50  1970 198   31.1  7.41  1940 210   28.4  6.96  1900 196   31.1  7.73  2020 198  
eca-rers2012/Problem10_label47_false-unreach-call.c 85.9  31.9   5330 609   206    88.5   7070 1310   127    52.1   6890 881   201    88.1   7120 1470  
eca-rers2012/Problem10_label48_false-unreach-call.c 475    203     9570 2880   750    329     9870 4560   830    369     9940 4880   639    275     9840 3600  
eca-rers2012/Problem10_label50_false-unreach-call.c 542    234     9790 4260   362    154     9340 2300   223    95.1   8870 1430   531    233     9420 3220  
eca-rers2012/Problem10_label55_false-unreach-call.c 70.9  24.5   5020 525   91.6  35.8   5790 685   69.5  23.4   5040 514   62.5  21.4   4950 389  
eca-rers2012/Problem10_label57_false-unreach-call.c 683    300     9890 4660   485    213     9590 3230   350    145     9350 2010   663    288     9780 3970  
eca-rers2012/Problem10_label58_false-unreach-call.c 348    142     9260 2440   360    155     9290 2640   310    131     9170 1840   323    139     9150 2090  
eca-rers2012/Problem11_label00_false-unreach-call.c 505    228     15000 4720   521    238     15000 4020   534    242     15000 4050   550    250     15000 3860  
eca-rers2012/Problem11_label08_false-unreach-call.c 215    91.2   10500 1410   246    106     10600 1660   241    102     10600 1580   251    106     10600 1880  
eca-rers2012/Problem11_label14_false-unreach-call.c 905    424     11300 7230   242    104     10600 1620   249    107     10600 1410   906    423     11300 5710  
eca-rers2012/Problem11_label15_false-unreach-call.c 753    346     11200 4810   503    227     10800 3120   870    402     11100 5440   378    167     10700 2290  
eca-rers2012/Problem11_label20_false-unreach-call.c 905    421     12900 5710   905    419     13200 6170   905    420     13000 5480   905    418     13400 7090  
eca-rers2012/Problem11_label29_false-unreach-call.c 905    423     11100 5120   905    422     11200 5300   866    399     11300 5270   902    420     11200 5180  
eca-rers2012/Problem11_label31_false-unreach-call.c 903    420     13000 5220   876    403     15000 8160   905    421     11300 7360   905    422     11100 5600  
eca-rers2012/Problem11_label34_false-unreach-call.c 905    422     11000 5680   902    421     11300 6380   905    421     11400 5690   905    423     11200 5540  
eca-rers2012/Problem11_label36_false-unreach-call.c 484    221     10800 3070   737    336     11100 4660   738    338     11000 4710   736    338     11100 4580  
eca-rers2012/Problem11_label39_false-unreach-call.c 905    420     11200 5680   905    423     11100 5300   905    422     11200 6350   903    420     11200 6210  
eca-rers2012/Problem11_label42_false-unreach-call.c 588    267     11000 3610   603    276     11000 3740   581    267     10900 4460   571    261     11000 4070  
eca-rers2012/Problem11_label43_false-unreach-call.c 715    327     11200 4340   706    325     11200 4320   679    309     11200 4620   905    422     11200 5680  
eca-rers2012/Problem11_label49_false-unreach-call.c 884    409     11300 5590   889    410     11300 4990   811    373     11200 6400   784    358     11300 4750  
eca-rers2012/Problem11_label51_false-unreach-call.c 349    151     10700 2190   334    146     10800 2580   351    153     10700 2280   344    150     10700 2340  
eca-rers2012/Problem11_label58_false-unreach-call.c 905    421     11200 5500   780    359     11200 6220   905    422     11200 5740   905    419     11200 5440  
eca-rers2012/Problem12_label00_false-unreach-call.c 165    65.2   15000 1140   174    68.0   15000 1100   171    67.4   15000 1160   166    66.7   15000 1110  
eca-rers2012/Problem12_label03_false-unreach-call.c 143    55.7   15000 1220   146    56.7   15000 1050   145    56.8   15000 1140   143    56.8   15000 988  
eca-rers2012/Problem12_label06_false-unreach-call.c 203    82.8   15000 1290   201    81.4   15000 1390   208    84.8   15000 1270   202    82.4   15000 1300  
eca-rers2012/Problem12_label07_false-unreach-call.c 210    86.8   15000 1890   215    89.0   15000 1430   219    91.2   15000 1550   216    90.5   15000 1370  
eca-rers2012/Problem12_label08_false-unreach-call.c 139    52.9   15000 992   142    54.2   15000 1010   135    52.5   15000 968   139    53.7   15000 993  
eca-rers2012/Problem12_label10_false-unreach-call.c 254    103     15000 1530   254    104     15000 1550   253    103     15000 1700   254    103     15000 1720  
eca-rers2012/Problem12_label13_false-unreach-call.c 167    65.5   15000 1080   171    68.2   15000 1100   165    65.1   15000 1260   161    63.9   15000 1140  
eca-rers2012/Problem12_label19_false-unreach-call.c 150    58.8   15000 1070   154    59.6   15000 1040   153    60.7   15000 1080   152    58.3   15000 1280  
eca-rers2012/Problem12_label20_false-unreach-call.c 406    172     15000 2510   395    163     15000 3010   401    167     15000 2540   405    172     15000 2490  
eca-rers2012/Problem12_label21_false-unreach-call.c 296    123     15000 2060   294    123     15000 1790   306    127     15000 1860   300    126     15000 1950  
eca-rers2012/Problem12_label25_false-unreach-call.c 139    53.2   15000 1290   150    58.2   15000 991   140    53.9   15000 1070   153    58.1   15000 1080  
eca-rers2012/Problem12_label28_false-unreach-call.c 480    203     15000 2900   479    204     15000 3150   478    203     15000 2900   485    205     15000 2930  
eca-rers2012/Problem12_label30_false-unreach-call.c 178    72.1   15000 1490   187    75.5   15000 1250   184    74.6   15000 1360   183    74.2   15000 1170  
eca-rers2012/Problem12_label34_false-unreach-call.c 245    100     15000 1500   240    97.0   15000 1570   241    96.9   15000 1810   232    98.0   15000 1550  
eca-rers2012/Problem12_label35_false-unreach-call.c 288    118     15000 1760   278    115     15000 1700   284    117     15000 1950   280    115     15000 1750  
eca-rers2012/Problem12_label37_false-unreach-call.c 139    54.0   15000 982   140    53.9   15000 1090   142    54.6   15000 1020   140    53.3   15000 1270  
eca-rers2012/Problem12_label38_false-unreach-call.c 385    163     15000 2680   391    162     15000 2280   374    159     15000 2320   380    161     15000 2570  
eca-rers2012/Problem12_label39_false-unreach-call.c 908    408     13300 6250   908    408     13200 5820   907    404     13200 5200   907    404     13200 5020  
eca-rers2012/Problem12_label40_false-unreach-call.c 146    56.1   15000 1070   149    58.9   15000 1030   146    57.5   15000 1020   143    55.5   15000 1050  
eca-rers2012/Problem12_label42_false-unreach-call.c 625    274     15000 3600   634    277     15000 3790   631    276     15000 3720   638    278     15000 3620  
eca-rers2012/Problem12_label48_false-unreach-call.c 338    142     15000 2170   340    141     15000 2100   313    132     15000 2270   314    131     15000 2530  
eca-rers2012/Problem12_label50_false-unreach-call.c 155    62.2   15000 1110   155    61.1   15000 1100   163    63.8   15000 1040   160    62.8   15000 1220  
eca-rers2012/Problem12_label51_false-unreach-call.c 270    112     15000 1710   276    115     15000 1780   278    114     15000 2040   281    116     15000 1800  
eca-rers2012/Problem12_label52_false-unreach-call.c 244    100     15000 1630   243    99.2   15000 1530   245    99.5   15000 1640   241    97.8   15000 2060  
eca-rers2012/Problem12_label55_false-unreach-call.c 237    97.5   15000 1470   244    98.7   15000 1610   239    98.4   15000 1600   245    99.0   15000 1520  
eca-rers2012/Problem13_label04_false-unreach-call.c 101    37.5   15000 787   109    39.6   15000 840   130    49.2   15000 1130   126    47.2   15000 890  
eca-rers2012/Problem13_label06_false-unreach-call.c 132    48.7   15000 1060   138    52.6   15000 1110   148    56.5   15000 1030   153    59.6   15000 1020  
eca-rers2012/Problem13_label07_false-unreach-call.c 128    47.5   15000 1060   131    48.6   15000 975   143    54.2   15000 977   136    51.4   15000 1040  
eca-rers2012/Problem13_label11_false-unreach-call.c 117    42.5   15000 854   133    50.2   15000 955   131    49.4   15000 1010   147    56.9   15000 984  
eca-rers2012/Problem13_label12_false-unreach-call.c 135    50.5   15000 1020   134    50.9   15000 939   122    44.3   15000 847   106    39.1   15000 763  
eca-rers2012/Problem13_label16_false-unreach-call.c 157    62.0   15000 1160   98.3  35.6   15000 820   138    51.4   15000 905   97.1  34.8   15000 800  
eca-rers2012/Problem13_label19_false-unreach-call.c 147    57.6   15000 923   124    44.6   15000 756   145    56.4   15000 992   155    60.0   15000 1170  
eca-rers2012/Problem13_label21_false-unreach-call.c 152    58.9   15000 1040   147    56.3   15000 1130   133    50.6   15000 886   134    50.8   15000 1020  
eca-rers2012/Problem13_label23_false-unreach-call.c 164    64.8   15000 1100   171    67.6   15000 1410   136    52.1   15000 784   138    52.3   15000 858  
eca-rers2012/Problem13_label24_false-unreach-call.c 145    55.6   15000 882   114    42.3   15000 778   134    50.6   15000 782   117    42.9   15000 932  
eca-rers2012/Problem13_label25_false-unreach-call.c 116    42.4   15000 826   129    48.3   15000 1020   144    54.7   15000 1140   122    44.6   15000 852  
eca-rers2012/Problem13_label28_false-unreach-call.c 154    59.9   15000 1060   117    43.3   15000 784   127    47.3   15000 865   129    49.0   15000 903  
eca-rers2012/Problem13_label29_false-unreach-call.c 137    52.7   15000 965   134    51.0   15000 942   152    58.1   15000 1010   136    51.0   15000 922  
eca-rers2012/Problem13_label30_false-unreach-call.c 120    43.8   15000 918   141    54.4   15000 997   129    48.1   15000 1090   127    48.2   15000 944  
eca-rers2012/Problem13_label32_false-unreach-call.c 139    52.6   15000 895   152    59.0   15000 1040   136    51.5   15000 1030   111    40.6   15000 887  
eca-rers2012/Problem13_label35_false-unreach-call.c 118    42.9   15000 915   128    48.0   15000 1000   135    51.7   15000 989   168    66.9   15000 1130  
eca-rers2012/Problem13_label36_false-unreach-call.c 144    55.6   15000 913   129    48.3   15000 1000   123    44.2   15000 926   120    43.1   15000 844  
eca-rers2012/Problem13_label40_false-unreach-call.c 110    40.2   15000 839   111    40.3   15000 822   137    50.6   15000 1050   115    42.0   15000 943  
eca-rers2012/Problem13_label43_false-unreach-call.c 131    49.5   15000 948   131    49.6   15000 976   155    60.1   15000 1030   143    55.3   15000 953  
eca-rers2012/Problem13_label44_false-unreach-call.c 146    55.0   15000 923   155    60.1   15000 1210   104    37.5   15000 675   126    47.0   15000 898  
eca-rers2012/Problem13_label45_false-unreach-call.c 131    48.9   15000 1020   128    48.0   15000 1060   135    50.2   15000 1160   136    51.3   15000 931  
eca-rers2012/Problem13_label48_false-unreach-call.c 166    66.1   15000 1110   152    58.1   15000 1010   136    50.7   15000 998   128    48.0   15000 884  
eca-rers2012/Problem13_label51_false-unreach-call.c 132    49.3   15000 1070   140    51.5   15000 978   147    56.7   15000 1020   141    54.7   15000 932  
eca-rers2012/Problem13_label54_false-unreach-call.c 111    41.2   15000 911   152    58.4   15000 1080   133    49.7   15000 980   138    53.3   15000 941  
eca-rers2012/Problem13_label58_false-unreach-call.c 171    68.2   15000 977   129    48.3   15000 987   154    59.3   15000 993   131    49.5   15000 972  
eca-rers2012/Problem14_label02_false-unreach-call.c 904    420     11300 5050   905    421     12000 5470   904    418     11400 5230   903    418     11400 5100  
eca-rers2012/Problem14_label08_false-unreach-call.c 904    422     10400 4240