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-11 21:25:41 CET
Run set z3-q_auflira z3-qf_auflira z3-qf_uflira z3-q_uflira
Options -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -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 -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -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.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -kInduction-dfInvariants -setprop cpa.predicate.encodeBitvectorAs=INTEGER -setprop cpa.predicate.encodeFloatAs=RATIONAL -setprop solver.solver=z3 -heap 13000M -stack 1000M -setprop cpa.predicate.encodeOverflowsWithUFs=true -setprop cpa.predicate.addRangeConstraintsForNondet=true -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -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 902    392     9260 8830   901    390     9280 9620   901    409     9720 9060   901    397     9450 9200  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 904    437     7950 7840   911    442     6090 8090   912    443     8220 7880   901    433     5580 9650  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 904    435     5510 8710   902    432     7770 8060   904    436     8160 7890   905    438     5330 8300  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 902    428     7890 10100   901    427     7990 8610   901    424     8070 9880   901    427     8200 9420  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    411     8680 9090   902    415     8660 8290   902    414     8670 9670   902    413     9070 8530  
array-examples/standard_allDiff2_false-unreach-call_ground.i 902    434     8540 8380   953    485     8780 8710   946    477     8910 10500   945    476     8980 10700  
array-examples/standard_copy1_false-unreach-call_ground.i 906    442     5190 8210   919    455     4970 7500   913    449     4410 8230   901    438     4320 8790  
array-examples/standard_copy2_false-unreach-call_ground.i 901    435     5060 9680   901    436     4870 8080   903    439     4540 7560   901    436     4580 8690  
array-examples/standard_copy3_false-unreach-call_ground.i 903    436     4680 6810   901    435     4990 9690   906    443     4930 8700   902    436     5020 8770  
array-examples/standard_copy4_false-unreach-call_ground.i 901    435     4830 7820   903    437     4330 8220   923    458     4540 8000   901    436     5390 10100  
array-examples/standard_copy5_false-unreach-call_ground.i 901    434     4690 8720   902    435     4660 7960   902    435     4740 8270   901    435     4520 9020  
array-examples/standard_copy6_false-unreach-call_ground.i 903    437     4580 9100   901    433     5030 8770   913    446     4940 8200   902    435     5340 9570  
array-examples/standard_copy7_false-unreach-call_ground.i 902    435     4870 7570   901    433     5120 8030   915    449     5110 7590   901    435     5080 9150  
array-examples/standard_copy8_false-unreach-call_ground.i 902    436     5020 8250   903    436     4550 8140   922    453     4620 8710   901    436     5280 8710  
array-examples/standard_copy9_false-unreach-call_ground.i 903    436     4480 7760   902    435     4990 7910   906    441     4950 7970   901    435     5260 9730  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 906    440     5250 7900   905    439     5340 7700   907    443     5180 7590   926    462     6380 9830  
array-examples/standard_init1_false-unreach-call_ground.i 901    438     4910 8390   905    441     4740 9910   907    443     4580 8070   904    439     5170 7590  
array-examples/standard_init2_false-unreach-call_ground.i 903    439     5350 9170   960    495     4810 10200   902    436     5000 8440   901    437     6060 8780  
array-examples/standard_init3_false-unreach-call_ground.i 902    437     5250 8700   905    440     5140 8310   906    442     4710 9440   918    453     5170 8210  
array-examples/standard_init4_false-unreach-call_ground.i 901    437     5080 8660   913    447     5590 9460   913    448     4980 7430   901    436     5330 8380  
array-examples/standard_init5_false-unreach-call_ground.i 903    439     5220 8260   901    436     5090 7670   906    441     5300 8360   905    440     5630 8380  
array-examples/standard_init6_false-unreach-call_ground.i 911    445     5230 7990   914    449     5280 9080   902    437     5040 8180   901    436     5460 8080  
array-examples/standard_init7_false-unreach-call_ground.i 924    458     5170 8770   903    437     5260 8980   903    436     5260 8050   905    439     5620 7790  
array-examples/standard_init8_false-unreach-call_ground.i 904    438     5210 8700   901    434     5080 7790   922    456     6570 8440   919    452     5470 8200  
array-examples/standard_init9_false-unreach-call_ground.i 901    436     5330 8340   901    435     5160 8170   905    439     6740 8770   904    438     5930 8880  
array-examples/standard_minInArray_false-unreach-call_ground.i 908    441     4500 8170   903    437     4750 8870   906    441     4460 9360   917    449     4850 9710  
array-examples/standard_partition_false-unreach-call_ground.i 960    492     9260 7620   942    475     9670 10000   950    481     9750 9730   904    435     9710 8630  
array-examples/standard_running_false-unreach-call.i 901    436     4540 8780   901    437     4320 9120   901    436     4220 7980   901    437     3540 10900  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 2.78 1.01  275 23.0 3.46 1.27  326 31.6 2.80 1.03  276 21.5 2.97 1.11  273 22.4
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 902    396     10400 9380   903    394     10500 7830   902    414     11400 8390   929    424     12100 8830  
array-examples/relax_true-unreach-call.i 902    424     8280 7600   903    429     8300 8190   902    429     8320 8030   902    430     8360 8430  
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    436     3810 8440   901    434     4870 8910   902    436     3830 7330   902    435     4230 8410  
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    434     5200 9690   902    436     5180 9330   902    431     8340 7850   902    434     7880 9720  
array-examples/sanfoundry_24_true-unreach-call.i 6.63 1.69  445 48.1 6.36 1.65  449 50.5 4.39 1.30  295 32.3 6.47 1.68  439 47.2
array-examples/sanfoundry_27_true-unreach-call_ground.i 903    437     5500 8870   901    436     4720 9200   915    450     4080 9260   905    440     4830 9620  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.55 .968 277 19.8 2.53 .954 273 22.1 2.61 .996 276 20.8 2.62 .978 274 21.4
array-examples/sorting_bubblesort_true-unreach-call_ground.i 908    440     5700 7330   909    442     5720 8720   917    450     8160 8010   901    433     5320 9330  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    432     8000 10600   902    431     8070 9980   901    431     8230 10500   902    432     8290 9080  
array-examples/standard_compareModified_true-unreach-call_ground.i 903    436     5990 9200   901    435     5850 7380   901    435     4910 8570   901    436     4230 8710  
array-examples/standard_compare_true-unreach-call_ground.i 905    440     5730 8840   905    438     6100 8220   906    440     5480 8510   905    440     5100 9740  
array-examples/standard_copy1_true-unreach-call_ground.i 901    437     4530 8660   901    437     4380 7620   913    450     4330 10000   901    437     4470 8640  
array-examples/standard_copy2_true-unreach-call_ground.i 901    437     4810 8120   960    496     4170 8580   901    437     4690 7640   901    437     4240 8720  
array-examples/standard_copy3_true-unreach-call_ground.i 901    435     4770 8520   901    436     4810 9670   907    442     5960 8110   901    435     4600 9120  
array-examples/standard_copy4_true-unreach-call_ground.i 901    435     4490 8390   901    435     4350 7390   902    436     4880 8260   901    435     4480 8730  
array-examples/standard_copy5_true-unreach-call_ground.i 902    436     4410 8390   903    435     5130 7720   908    442     5040 8450   901    435     4770 9940  
array-examples/standard_copy6_true-unreach-call_ground.i 901    436     5200 7950   903    438     4920 8020   923    457     4920 8040   901    435     4710 8600  
array-examples/standard_copy7_true-unreach-call_ground.i 902    434     4680 8070   902    435     4870 7100   924    456     5410 8540   901    436     4760 9380  
array-examples/standard_copy8_true-unreach-call_ground.i 902    436     4990 7900   902    437     4960 8870   921    453     4890 9590   902    437     5170 8860  
array-examples/standard_copy9_true-unreach-call_ground.i 903    435     5120 8000   902    436     4180 8480   901    435     5200 8740   901    436     4840 9370  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 903    439     4480 7910   904    440     4790 8750   908    443     5090 7850   906    441     5820 9540  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 904    440     4320 8880   902    438     4390 8280   908    444     4920 9680   901    436     5470 8240  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 902    437     4670 8820   905    440     5470 7530   901    437     4900 8150   901    436     5750 7760  
array-examples/standard_copyInit_true-unreach-call_ground.i 901    436     5260 9220   904    440     4980 9710   917    452     6070 8550   901    437     5300 8310  
array-examples/standard_find_true-unreach-call_ground.i 913    445     9010 8350   928    459     9000 7690   925    456     9120 8200   937    468     9450 8300  
array-examples/standard_init1_true-unreach-call_ground.i 904    440     4620 8510   904    440     4670 8600   907    444     5850 8100   901    438     5180 8140  
array-examples/standard_init2_true-unreach-call_ground.i 901    437     5030 9910   901    437     5630 8200   907    442     5090 8760   904    440     5530 6790  
array-examples/standard_init3_true-unreach-call_ground.i 904    439     5130 8610   901    437     4870 9970   907    442     4950 7710   904    440     5080 7350  
array-examples/standard_init4_true-unreach-call_ground.i 913    449     5460 8850   905    440     5440 9570   904    439     5120 7930   904    440     5670 8880  
array-examples/standard_init5_true-unreach-call_ground.i 901    435     5290 8190   901    437     5200 8600   924    459     5030 8160   902    435     5740 9080  
array-examples/standard_init6_true-unreach-call_ground.i 901    436     5260 9040   903    438     5220 9900   906    441     5390 8480   903    438     5570 8440  
array-examples/standard_init7_true-unreach-call_ground.i 904    437     5190 8650   904    438     5170 8210   906    440     5950 8030   901    435     5480 7610  
array-examples/standard_init8_true-unreach-call_ground.i 901    435     5270 8900   901    436     5180 8870   905    439     6120 9250   901    435     5380 7470  
array-examples/standard_init9_true-unreach-call_ground.i 901    435     5210 8330   904    438     5160 8500   901    436     5510 8160   901    435     5610 8340  
array-examples/standard_maxInArray_true-unreach-call_ground.i 903    438     4720 8340   905    439     4870 9110   901    436     3830 8050   901    436     4540 9480  
array-examples/standard_minInArray_true-unreach-call_ground.i 916    451     4870 9280   906    439     4900 9710   913    448     4330 8010   902    434     4940 8060  
array-examples/standard_palindrome_true-unreach-call_ground.i 901    439     3830 8440   901    438     4260 8710   901    438     4560 8120   901    438     4290 9060  
array-examples/standard_partial_init_true-unreach-call_ground.i 943    474     11100 9350   950    482     11000 8150   926    458     11100 8770   902    434     9290 8640  
array-examples/standard_partition_original_true-unreach-call_ground.i 903    434     8770 8550   901    434     8340 7920   901    432     9260 9880   901    434     8680 8880  
array-examples/standard_partition_true-unreach-call_ground.i 901    436     4870 9780   901    436     4280 8870   901    436     3370 7460   901    435     4130 10700  
array-examples/standard_password_true-unreach-call_ground.i 902    437     5740 8950   923    458     5860 9350   926    461     5060 8040   901    435     5470 8430  
array-examples/standard_reverse_true-unreach-call_ground.i 901    438     4410 8740   901    437     4520 9220   907    444     4680 8570   901    438     5770 8950  
array-examples/standard_running_true-unreach-call.i 901    436     4770 8650   901    436     4240 8260   901    435     3970 7820   901    437     3680 9400  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 902    439     3320 9730   902    440     4700 9240   902    440     4480 9070   902    439     3730 8370  
array-examples/standard_seq_init_true-unreach-call_ground.i 913    449     4290 7640   904    440     4630 8000   906    443     4180 7440   913    449     6470 8490  
array-examples/standard_strcmp_true-unreach-call_ground.i 912    446     5640 9260   912    446     5640 8550   908    443     4760 8570   901    435     5580 8790  
array-examples/standard_strcpy_original_true-unreach-call.i 910    443     7990 7030   910    442     7990 7080   960    489     9730 8760   915    446     9470 8710  
array-examples/standard_strcpy_true-unreach-call_ground.i 915    448     7980 7280   912    445     7310 7040   929    460     9460 10500   902    432     9570 9000  
array-examples/standard_two_index_01_true-unreach-call.i 901    438     3770 9230   901    438     3380 8750   927    464     6300 8450   901    439     3260 10500  
array-examples/standard_two_index_02_true-unreach-call.i 901    437     4430 9150   901    438     4550 10700   913    449     4820 7800   901    438     4460 10900  
array-examples/standard_two_index_03_true-unreach-call.i 901    701     3930 11700   901    701     4140 9590   908    702     5900 8980   901    704     3400 11000  
array-examples/standard_two_index_04_true-unreach-call.i 901    436     4430 9470   901    438     4370 7330   913    449     5370 8830   901    438     4300 10600  
array-examples/standard_two_index_05_true-unreach-call.i 903    439     4300 10700   903    439     4570 10700   932    468     5190 9270   901    437     3980 8940  
array-examples/standard_two_index_06_true-unreach-call.i 901    835     4570 11500   901    834     4880 10100   911    844     7050 7910   901    838     4400 10300  
array-examples/standard_two_index_07_true-unreach-call.i 901    438     4790 8420   901    438     4880 9240   911    447     5130 8290   906    443     4480 8280  
array-examples/standard_two_index_08_true-unreach-call.i 901    436     4940 8960   901    437     4510 8740   902    437     5120 9560   901    438     4580 9210  
array-examples/standard_two_index_09_true-unreach-call.i 901    438     4250 9180   901    437     4330 10100   908    444     5290 7720   901    438     4590 9330  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    434     5400 9490   901    435     4670 9320   906    439     4760 8760   913    447     5310 9560  
array-examples/standard_vector_difference_true-unreach-call_ground.i 903    438     4530 7950   903    438     4350 7950   908    444     4370 8590   901    437     4160 9560  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 901    440     3280 10600   901    440     2880 8630   901    438     2850 9550   901    440     3170 9430  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 5.50 1.50  453 41.9 510    247     15000 3160   901    438     2780 9630   6.15 1.65  444 43.7
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 901    438     3300 8740   901    437     2830 8720   901    439     2560 6460   901    852     3370 13800  
array-industry-pattern/array_range_init_false-unreach-call.i 3.88 1.22  299 29.2 494    239     15000 3060   907    443     4710 9160   4.30 1.31  323 32.9
array-industry-pattern/array_single_elem_init_false-unreach-call.i 901    438     3760 9020   901    438     3130 9570   901    438     2290 6670   901    438     4740 9250  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 917    443     8810 9400   917    440     8830 9670   917    444     9050 10600   917    445     9590 9740  
array-industry-pattern/array_monotonic_true-unreach-call.i 901    437     4620 9110   901    437     4490 8550   911    446     3500 8740   901    438     3670 8730  
array-industry-pattern/array_mul_init_true-unreach-call.i 901    440     3260 9680   901    440     3230 9640   901    440     2210 8940   901    772     3780 11100  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 901    744     3320 10700   103    46.6   15000 847   902    436     5070 8010   918    451     5650 7460  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 5.11 1.48  354 42.3 96.0  42.1   15000 704   902    436     3820 8260   4.71 1.39  328 39.5
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    436     4930 8000   902    435     4920 8270   901    435     6020 7740   902    435     5150 8620  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 4.78 1.29  339 32.7 100    44.9   15000 702   901    435     3420 7530   5.15 1.46  341 41.4
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    687     3520 10800   960    499     4700 5570   901    440     2350 9610   901    439     3170 10200  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 5.30 1.48  442 39.8 124    56.3   15000 938   901    434     4010 10100   5.46 1.49  441 35.8
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    740     3170 10100   493    240     15000 2890   918    452     5270 7630   913    449     5960 10900  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    722     2870 10400   102    44.8   15000 628   901    435     4550 9250   901    434     3540 8410  
array-industry-pattern/array_shadowinit_true-unreach-call.i 902    438     4410 9030   902    437     4910 9130   901    437     5090 8120   901    437     4710 9190  
reducercommutativity/rangesum05_false-unreach-call.i 32.3  18.3   867 340   26.6  15.0   1130 284   23.2  11.2   800 179   24.6  11.9   829 238  
reducercommutativity/rangesum10_false-unreach-call.i 49.6  35.7   1310 543   380    364     1140 5050   53.1  39.2   1260 566   46.3  34.5   1060 466  
reducercommutativity/rangesum20_false-unreach-call.i 901    884     1900 9670   901    885     2250 11300   168    150     1870 2320   549    530     1690 8110  
reducercommutativity/rangesum40_false-unreach-call.i 901    882     2270 10500   901    884     1810 12700   803    778     2850 10200   344    329     1840 4590  
reducercommutativity/rangesum60_false-unreach-call.i 901    883     2170 14200   901    885     3550 11000   901    883     2360 8900   901    875     3290 10700  
reducercommutativity/rangesum_false-unreach-call.i 106    40.5   3420 931   102    39.6   3730 963   237    107     5120 2380   96.0  36.0   3600 826  
reducercommutativity/avg05_true-unreach-call.i 25.9  14.5   1200 303   26.9  15.1   1150 321   26.0  14.4   1590 286   26.1  14.7   1040 245  
reducercommutativity/avg10_true-unreach-call.i 69.9  56.4   1650 772   72.0  57.6   1690 823   58.8  45.2   1660 602   67.5  54.6   1580 717  
reducercommutativity/avg20_true-unreach-call.i 901    884     2480 7410   902    884     2720 8990   233    217     3830 3010   287    270     2380 3200  
reducercommutativity/avg40_true-unreach-call.i 901    880     3260 10700   901    882     3000 9500   902    873     4390 9590   901    877     3740 10400  
reducercommutativity/avg60_true-unreach-call.i 901    878     3690 11200   901    878     3570 9320   914    883     5140 11600   901    878     3870 12500  
reducercommutativity/avg_true-unreach-call.i 230    104     2230 2320   227    104     2190 2310   902    440     2490 9330   901    638     2050 11500  
reducercommutativity/max05_true-unreach-call_true-termination.i 32.6  20.0   1110 310   34.2  21.7   1780 408   33.7  19.5   1140 354   33.8  22.2   1160 360  
reducercommutativity/max10_true-unreach-call_true-termination.i 139    125     1580 1580   138    124     1590 1780   119    104     1630 1320   204    190     1670 2870  
reducercommutativity/max20_true-unreach-call.i 901    883     2190 9700   901    882     2230 9850   901    879     2200 9740   901    883     2220 11200  
reducercommutativity/max40_true-unreach-call.i 901    877     2980 9930   901    878     2980 8650   901    876     3050 8270   901    880     2760 10300  
reducercommutativity/max60_true-unreach-call.i 901    873     4010 10100   901    873     5450 10500   901    872     4430 10200   901    874     3850 10600  
reducercommutativity/max_true-unreach-call.i 49.5  12.3   1940 389   47.1  12.1   1940 403   45.1  11.7   2070 365   47.7  12.8   2150 367  
reducercommutativity/sep05_true-unreach-call.i 540    496     7180 7450   547    503     6910 7400   510    466     6710 6430   511    466     6800 6140  
reducercommutativity/sep10_true-unreach-call.i 903    525     8330 9880   903    522     8130 9040   903    512     7550 9030   902    524     8280 9380  
reducercommutativity/sep20_true-unreach-call.i 901    434     4950 9070   902    432     3520 8240   902    433     3570 7690   901    432     4140 8620  
reducercommutativity/sep40_true-unreach-call.i 901    434     4130 9280   901    433     4650 7880   902    433     5330 6670   902    432     4820 9740  
reducercommutativity/sep60_true-unreach-call.i 902    433     5530 8860   902    433     4750 8050   902    432     5560 7020   902    434     5370 8190  
reducercommutativity/sep_true-unreach-call.i 902    429     6200 7090   902    430     6210 7140   902    428     6930 6800   901    843     5380 11900  
reducercommutativity/sum05_true-unreach-call_true-termination.i 26.1  14.9   1290 290   25.3  14.4   1090 250   26.6  14.8   1140 235   27.7  15.0   1460 254  
reducercommutativity/sum10_true-unreach-call.i 261    247     1670 2800   62.6  49.0   1700 835   60.9  47.0   2990 660   66.1  52.3   3050 806  
reducercommutativity/sum20_true-unreach-call.i 305    287     2540 4070   902    884     2840 7970   230    213     2440 2550   271    252     2630 3250  
reducercommutativity/sum40_true-unreach-call.i 901    878     3300 10400   901    878     3340 11100   901    870     4710 11800   901    874     4000 11000  
reducercommutativity/sum60_true-unreach-call.i 901    874     4050 12000   901    875     4070 10800   901    868     5420 10500   901    876     5750 10100  
reducercommutativity/sum_true-unreach-call.i 42.4  10.5   1760 348   39.5  10.6   2270 294   40.0  9.99  1750 325   41.3  10.7   1900 335  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 65.1  46.6   2290 726   70.5  53.5   2360 890   64.6  48.1   2620 690   66.1  46.0   2330 665  
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    440     3840 10000   901    440     2870 10600   901    440     2790 8750   901    440     2540 10300  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 41.9  22.1   1830 382   35.6  17.1   1850 378   34.2  16.2   3440 303   37.1  17.2   1760 335  
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 33.4  14.3   1860 299   32.7  13.5   1580 295   34.5  14.2   1780 273   34.2  16.3   1840 369  
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 47.6  44.1   321 690   47.2  44.0   319 671   47.0  43.9   303 596   47.0  44.1   306 611  
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 901    897     336 11700   901    899     308 11600   901    898     304 11400   901    898     319 13800  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    898     304 12300   901    898     320 13600   901    898     311 10500   901    898     307 11400  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 4.40 1.39  298 33.3 4.89 1.43  305 39.3 4.67 1.37  297 39.8 4.52 1.33  305 33.7
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 9.33 4.87  366 86.5 10.1  5.12  391 108   9.52 5.06  365 98.7 9.66 5.13  366 88.7
bitvector/jain_1_true-unreach-call_true-no-overflow.i 4.04 1.28  328 30.5 3.56 1.31  292 27.0 4.09 1.30  316 32.8 3.61 1.30  290 32.6
bitvector/jain_2_true-unreach-call_true-no-overflow.i 3.71 1.30  293 29.7 3.92 1.31  303 31.2 3.88 1.41  291 35.3 3.69 1.27  292 32.2
bitvector/jain_4_true-unreach-call_true-no-overflow.i 3.77 1.25  294 29.9 4.01 1.37  290 31.2 3.92 1.36  290 30.8 3.85 1.31  291 32.9
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    441     2860 9940   901    441     2770 8670   901    441     2830 9490   901    441     4330 9210  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 3.95 1.36  292 32.4 3.91 1.37  294 30.2 3.78 1.30  286 32.8 3.93 1.27  291 34.7
bitvector/jain_7_true-unreach-call_true-no-overflow.i 3.83 1.31  294 35.3 3.94 1.34  297 28.7 3.96 1.36  290 30.5 4.01 1.35  292 30.6
bitvector/modulus_true-unreach-call_true-no-overflow.i 6.77 1.85  564 51.9 6.85 1.82  642 51.5 7.73 1.96  559 49.1 6.98 1.85  560 57.6
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 6.53 1.83  462 45.7 6.77 1.75  371 45.1 5.90 1.72  350 49.3 6.19 1.66  469 45.1
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 13.4  4.25  849 113   14.4  4.48  982 112   13.8  4.47  895 108   13.0  4.23  845 113  
bitvector/parity_true-unreach-call_true-no-overflow.i 4.38 1.32  298 31.8 4.86 1.47  328 36.0 4.38 1.35  294 33.8 4.48 1.38  295 37.6
bitvector/sum02_true-unreach-call_true-no-overflow.i 901    440     4070 9330   901    440     2730 9550   901    440     2530 10300   901    440     2720 10700  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 901    435     2380 8960   901    845     2650 10400   901    435     2290 9520   901    435     2250 9430  
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 901    833     3140 13000   901    828     3260 10100   901    821     3020 12900   901    821     3010 11400  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 901    855     2400 13400   901    852     2490 10900   901    853     2400 10900   901    852     2240 11900  
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    841     2810 11400   901    433     2520 9270   901    628     2640 10700   901    844     2740 13400  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 901    828     3050 12400   901    830     3430 11400   901    825     2910 12500   901    832     3230 10900  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 90.0  36.9   2340 748   84.9  34.7   2170 880   82.1  33.1   2540 760   81.0  32.7   2230 732  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    436     2340 10500   901    435     2830 11300   901    434     2400 10200   901    435     2880 9250  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 17.0  3.72  608 117   14.3  3.17  627 115   15.6  3.49  632 101   14.6  3.23  620 106  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 97.0  39.6   2610 888   98.3  39.5   2840 990   94.9  38.5   2820 916   96.3  38.4   2630 953  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 98.5  39.3   2690 873   95.8  39.4   2890 1060   92.8  38.2   2710 1040   97.1  39.3   2760 847  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    432     2590 9260   901    434     2480 10100   901    433     2720 8530   901    432     2760 8540  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    433     2690 9120   901    434     2840 10300   901    433     2780 9010   901    433     2670 8560  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 11.2  2.52  513 77.9 11.2  2.56  494 76.7 11.0  2.51  500 79.3 11.4  2.62  512 84.9
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 6.59 1.73  368 48.3 6.90 1.80  378 46.2 7.70 1.84  406 53.9 8.43 2.09  440 60.5
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 902    849     13700 10900   913    862     12700 10500   901    882     1310 10400   902    853     12500 10000  
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 10.7  2.47  508 72.1 9.77 2.33  507 74.5 10.7  2.43  494 69.8 11.1  2.57  505 82.1
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 10.5  2.50  469 73.0 7.46 1.94  416 53.1 6.18 1.64  358 44.7 7.35 1.93  415 52.7
bitvector-regression/implicitfloatconversion_false-unreach-call.c 3.18 1.21  295 25.7 3.16 1.21  284 26.0 3.14 1.22  285 26.2 3.20 1.23  287 27.4
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 3.29 1.26  284 26.9 3.07 1.18  280 24.9 3.10 1.25  274 25.3 3.18 1.19  283 25.1
bitvector-regression/integerpromotion_false-unreach-call.c 3.14 1.16  283 26.0 3.04 1.16  281 26.8 3.13 1.17  283 29.2 3.15 1.18  278 30.4
bitvector-regression/recHanoi03_false-unreach-call.c 2.67 1.02  275 22.5 2.51 1.01  275 22.1 2.60 1.02  267 19.9 2.54 1.00  284 22.0
bitvector-regression/signextension2_false-unreach-call.c 3.32 1.24  284 28.7 3.23 1.19  281 27.6 3.11 1.17  282 26.7 3.42 1.26  285 29.9
bitvector-regression/signextension_false-unreach-call.c 3.25 1.20  286 26.5 3.21 1.21  284 27.7 3.38 1.26  284 30.9 3.33 1.21  284 26.2
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.40 .936 271 22.6 2.39 .956 269 20.4 2.36 .936 270 22.6 2.42 .953 282 17.1
bitvector-regression/integerpromotion_true-unreach-call.c 2.41 .951 270 19.8 2.48 .992 270 22.0 2.44 .955 271 20.1 2.35 .918 272 19.7
bitvector-regression/signextension2_true-unreach-call.c 2.60 .995 277 20.4 2.69 1.04  277 22.1 2.56 .976 272 22.5 2.64 1.04  275 24.0
bitvector-regression/signextension_true-unreach-call.c 2.69 .994 273 23.6 2.61 .983 279 24.7 2.65 1.01  270 20.6 2.48 .957 270 22.7
bitvector-loops/diamond_false-unreach-call2.i 833    796     2920 11400   800    765     3010 11700   794    759     3110 11300   788    754     3120 10100  
bitvector-loops/overflow_false-unreach-call1.i 901    441     2280 9480   901    441     2520 9440   901    441     2280 8380   901    441     2590 10600  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 19.0  10.3   538 179   18.9  10.3   546 177   14.9  7.10  518 168   19.7  10.9   524 197  
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 29.3  6.16  1190 205   30.2  6.29  1150 187   29.9  6.21  1250 210   27.8  5.80  1340 198  
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 805    763     4730 9550   818    771     4790 10400   560    518     4950 5660   901    852     4950 10900  
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 26.8  5.62  1150 190   27.2  5.72  916 161   24.1  5.03  918 165   25.9  5.44  918 192  
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 9.00 2.16  465 72.0 8.95 2.16  466 61.3 8.93 2.20  473 57.4 9.23 2.23  476 58.8
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 118    87.8   4410 1320   39.0  13.9   1990 327   191    156     4120 2380   178    144     4730 2320  
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 902    434     3950 11100   901    434     3890 9340   902    434     3390 9860   901    433     3810 10300  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.92 2.23  449 71.8 8.99 2.23  471 70.7 8.16 2.03  456 57.4 9.51 2.27  478 76.6
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 10.0  2.45  485 79.1 11.8  2.75  543 91.4 10.2  2.36  489 66.2 11.3  2.67  481 85.5
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.35 1.34  289 35.9 4.20 1.30  285 33.1 4.00 1.26  284 32.5 4.33 1.33  284 30.5
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.74 1.53  309 39.2 5.29 1.50  291 44.7 5.23 1.49  294 38.9 5.01 1.45  290 38.8
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 21.7  4.73  658 161   19.5  4.22  647 139   22.9  4.94  783 137   20.5  4.60  627 145  
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 22.6  4.82  792 176   24.4  5.24  839 194   20.7  4.45  641 139   27.4  5.88  790 183  
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 901    862     4810 11600   901    859     4810 11500   901    858     4840 14000   901    857     4720 12200  
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 901    857     4210 12300   901    858     4510 14100   901    858     4820 13700   901    863     4970 11100  
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 6.77 1.75  468 48.0 6.18 1.62  402 40.8 6.03 1.61  336 46.3 7.06 1.81  472 49.7
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 901    844     3740 10800   901    840     3100 12100   901    844     3050 13000   901    842     3420 12500  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 901    851     3460 12500   901    849     2940 11600   901    849     3720 13100   901    851     3920 12800  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 901    854     2390 11500   901    856     2630 11100   901    855     2430 11800   901    856     2850 11400  
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 9.19 2.18  483 59.4 9.09 2.20  486 68.5 9.21 2.20  479 62.5 8.90 2.11  472 67.4
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 13.0  2.93  511 104   14.5  3.24  622 105   13.3  2.97  637 93.9 14.0  3.10  626 91.5
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 16.1  3.57  634 112   15.1  3.36  695 117   12.6  2.82  507 91.5 12.5  2.77  500 78.1
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 6.44 1.68  403 52.5 5.55 1.53  347 43.8 6.82 1.76  405 46.3 6.16 1.64  384 41.9
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 22.4  4.93  841 155   24.2  5.53  848 165   23.2  5.07  819 165   21.2  4.63  807 150  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 22.8  5.00  914 149   23.1  5.22  825 172   21.0  4.59  818 142   19.8  4.34  813 143  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 22.3  5.01  789 153   21.1  4.59  762 151   21.6  4.74  849 157   21.6  4.90  750 157  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 10.6  2.46  483 74.6 11.6  2.65  496 90.9 12.5  2.85  500 83.9 12.1  2.73  494 87.5
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 16.2  3.57  645 124   17.5  3.88  649 122   16.6  3.67  642 110   15.8  3.51  627 107  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 4.80 1.38  304 36.3 4.63 1.35  292 32.8 4.87 1.42  293 37.2 4.99 1.39  296 40.6
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 3.30 1.12  279 23.6 3.53 1.17  284 31.3 4.05 1.22  331 30.8 3.32 1.13  276 28.5
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 16.4  3.62  620 102   16.1  3.59  623 112   15.3  3.37  623 103   13.9  3.11  601 97.4
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 19.6  4.32  654 137   15.1  3.37  677 108   16.9  3.78  618 108   15.0  3.32  617 104  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 15.7  3.49  622 108   15.9  3.54  628 131   17.5  3.89  619 107   23.2  4.97  841 144  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 33.9  9.36  1600 204   25.2  5.61  840 178   30.6  7.41  1070 223   31.9  7.93  1160 268  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 92.2  37.6   2610 868   102    40.4   2520 987   40.3  11.2   1450 299   36.9  9.74  1270 284  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 15.7  3.44  617 103   15.8  3.50  537 113   15.4  3.42  638 120   14.2  3.15  640 113  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 6.52 1.67  458 53.6 6.68 1.73  405 51.7 5.60 1.50  337 41.8 6.56 1.71  452 50.6
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 6.55 1.64  371 41.0 6.43 1.61  403 46.3 6.89 1.75  427 49.6 6.72 1.76  468 55.6
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 5.42 1.46  320 37.1 4.54 1.33  294 34.7 5.31 1.48  304 40.0 4.58 1.35  294 38.4
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 5.03 1.49  313 39.0 4.95 1.41  308 39.3 4.93 1.37  315 36.1 4.60 1.37  299 33.4
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 5.65 1.57  320 42.3 4.99 1.39  296 36.4 5.24 1.47  315 35.9 5.25 1.44  305 42.4
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 5.83 1.59  311 39.9 6.13 1.58  340 41.3 6.17 1.64  368 44.1 5.85 1.49  336 39.4
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 5.66 1.52  326 38.1 6.31 1.64  411 46.5 5.73 1.51  352 41.8 5.74 1.55  381 40.9
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 6.21 1.63  411 44.8 5.74 1.56  348 46.6 5.23 1.46  308 39.3 6.09 1.61  354 40.9
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 3.86 1.21  289 30.9 4.29 1.31  304 32.5 3.91 1.26  287 31.0 4.20 1.29  304 31.3
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 4.71 1.38  323 32.6 4.40 1.35  309 35.5 3.94 1.23  285 28.6 4.31 1.31  294 31.9
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 4.67 1.35  310 37.1 4.37 1.29  311 32.9 4.88 1.33  323 33.8 4.56 1.30  291 36.4
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 4.48 1.31  316 33.5 4.49 1.34  302 38.5 4.36 1.29  299 35.4 4.80 1.36  300 36.6
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 4.83 1.33  299 32.4 5.25 1.43  326 38.8 4.41 1.30  309 32.3 4.87 1.35  333 36.3
ntdrivers/cdaudio_false-unreach-call.i.cil.c 902    428     5110 8860   902    425     5150 9510   902    424     6340 9830   902    424     6480 9600  
ntdrivers/diskperf_false-unreach-call.i.cil.c 26.5  5.56  870 190   30.5  6.29  1220 212   24.5  5.14  859 172   22.2  4.68  886 168  
ntdrivers/floppy_false-unreach-call.i.cil.c 904    407     7020 8710   904    407     7000 8940   38.9  8.02  1240 284   277    121     5650 2430  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 12.7  2.86  563 90.9 11.3  2.60  502 77.6 11.8  2.67  501 80.5 12.1  2.74  499 87.6
ntdrivers/parport_false-unreach-call.i.cil.c 545    225     6470 5350   537    224     6510 5550   34.7  8.71  1660 284   39.2  10.3   1910 276  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 23.9  5.10  1150 168   24.2  5.08  790 180   18.1  3.90  746 128   24.6  5.22  1150 189  
ntdrivers/diskperf_true-unreach-call.i.cil.c 901    434     3800 8740   901    433     3690 9860   901    435     4910 10000   901    434     3850 9900  
ntdrivers/floppy2_true-unreach-call.i.cil.c 902    424     9800 9740   902    421     9930 9200   902    423     9800 9120   902    425     9890 10200  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 915    418     7060 8560   915    417     7010 8860   904    399     7140 9650   901    402     6580 8560  
ntdrivers/parport_true-unreach-call.i.cil.c 907    596     8840 9660   901    632     8950 8540   933    618     9010 9060   907    589     8910 9350  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 161    68.5   2730 1580   160    67.1   2850 1370   78.5  29.5   2150 753   112    44.9   2390 1090  
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 69.9  23.6   2050 643   71.4  24.6   2320 686   44.3  11.4   1310 328   67.3  22.7   1950 598  
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 77.0  26.8   1930 620   74.8  25.6   1950 604   44.6  12.3   1310 333   65.9  21.8   1830 586  
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 79.3  27.6   2210 637   85.1  31.1   2220 748   45.3  12.2   1270 373   71.5  23.6   2000 637  
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 27.2  5.87  901 162   27.2  5.76  840 193   20.1  4.35  682 144   26.3  5.76  832 160  
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 22.1  4.93  828 167   23.0  4.92  664 165   17.1  3.76  635 122   26.7  5.75  932 188  
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 24.5  5.37  942 175   28.9  6.42  830 206   19.1  4.09  696 142   25.3  5.52  867 179  
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 24.1  5.25  834 170   24.0  5.04  784 153   22.2  4.68  672 159   26.6  5.80  811 198  
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 85.3  32.1   2340 737   77.4  28.5   2390 707   44.5  12.2   1540 341   76.0  26.9   2350 645  
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 70.3  24.7   2140 571   78.0  29.3   2500 745   36.0  8.57  1220 265   71.8  25.5   2450 591  
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 701    335     2950 7230   676    321     2700 7990   189    83.3   2880 1810   518    244     3070 4940  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 58.1  18.6   1750 473   65.1  21.3   2140 570   38.2  8.53  1220 278   68.7  23.0   2090 591  
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 629    300     2900 6700   683    325     2710 6330   177    75.9   2650 1660   529    249     3140 5630  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 48.2  13.8   1550 380   40.7  11.7   1660 357   29.9  6.37  942 189   42.7  12.4   1360 343  
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 76.1  26.5   2310 691   73.5  26.4   2120 653   41.4  11.1   1480 297   69.4  23.8   2370 637  
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 73.4  24.8   2170 631   72.8  24.2   2560 620   43.6  10.8   1120 294   68.9  23.9   2400 561  
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 65.8  21.8   2060 544   65.3  21.9   2240 621   44.5  11.9   1550 308   72.4  26.3   2280 650  
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 645    306     2820 6010   650    308     2690 7510   203    89.9   2980 1830   534    252     2910 5450  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 73.4  27.1   2320 629   77.0  27.0   2300 688   41.4  11.5   1600 337   68.7  22.5   2120 593  
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 26.0  5.67  785 188   24.1  5.38  849 188   24.0  5.48  805 167   24.9  5.46  847 181  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 27.5  6.21  842 187   27.9  6.40  828 209   26.9  6.10  874 205   21.7  5.20  842 170  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 23.1  5.52  826 157   27.8  6.15  827 183   26.0  5.58  842 185   27.6  6.08  849 190  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 23.6  5.56  866 186   26.6  6.00  887 190   25.6  5.64  1010 211   29.1  6.46  893 204  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 30.5  7.64  1080 223   34.9  9.54  1100 224   34.0  8.24  1100 262   32.5  7.92  1100 241  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 19.3  4.19  667 140   16.9  3.68  631 111   16.8  3.72  635 116   17.1  3.74  662 123  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 82.2  31.9   2450 766   176    78.1   3050 1850   95.0  36.3   2640 867   87.2  33.3   2590 810  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 78.7  30.8   2480 756   90.1  34.5   2740 868   88.6  33.8   2660 788   82.6  32.8   2840 805  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 32.5  7.88  1180 242   37.5  9.21  1240 280   50.3  16.1   1610 399   55.3  17.8   1900 496  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 80.9  29.1   2360 702   85.3  33.1   2650 855   90.5  34.5   2770 843   84.2  32.9   2490 784  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 26.9  6.73  940 189   33.4  7.88  890 240   30.5  7.34  881 224   55.0  17.3   1590 448  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 46.4  14.6   1710 417   46.0  14.7   1640 421   75.7  28.2   2470 694   87.8  33.1   2540 841  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 170    74.6   3480 1670   74.4  28.0   2260 707   85.5  31.0   2240 871   99.8  38.0   2300 814  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 35.8  9.84  1280 264   33.4  8.65  1160 247   30.1  7.83  1250 221   34.9  8.93  1140 252  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 178    78.8   3360 1840   79.5  29.9   2470 681   84.1  31.8   2460 778   82.4  31.3   2410 739  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 37.9  9.91  1140 273   34.8  9.50  1280 267   37.2  9.27  1160 286   37.4  9.43  1270 265  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 86.1  32.8   2330 707   77.4  30.0   2440 645   85.9  33.0   3480 928   87.2  33.3   2510 777  
eca-rers2012/Problem01_label15_false-unreach-call.c 38.2  9.37  1790 296   39.0  9.36  1580 290   40.3  9.38  1690 284   39.0  9.63  1670 287  
eca-rers2012/Problem01_label20_false-unreach-call.c 60.3  17.7   2820 530   60.7  18.4   2430 504   55.7  17.0   2770 448   52.4  17.6   2390 439  
eca-rers2012/Problem01_label21_false-unreach-call.c 38.8  9.38  2240 297   40.5  9.60  2280 313   43.9  10.4   1710 340   38.9  9.20  1570 300  
eca-rers2012/Problem01_label32_false-unreach-call.c 56.6  18.0   2460 474   55.0  17.3   2370 425   51.4  17.3   2350 478   56.4  17.3   2760 469  
eca-rers2012/Problem01_label33_false-unreach-call.c 45.6  12.5   2340 351   46.4  12.2   2090 387   47.6  12.6   2390 382   46.1  12.6   1970 366  
eca-rers2012/Problem01_label35_false-unreach-call.c 41.6  9.72  1730 301   39.5  9.52  1800 296   39.8  9.74  1800 280   42.1  10.7   1820 312  
eca-rers2012/Problem01_label37_false-unreach-call.c 45.1  12.9   2070 340   47.0  13.0   2350 405   48.4  12.5   2110 363   46.9  13.4   2270 404  
eca-rers2012/Problem01_label38_false-unreach-call.c 41.5  10.2   1920 306   37.5  9.32  1670 313   37.7  9.13  1610 291   42.1  9.96  1820 313  
eca-rers2012/Problem01_label44_false-unreach-call.c 30.5  6.91  1220 215   37.2  8.19  1380 255   33.5  7.16  1320 232   34.6  7.66  1340 235  
eca-rers2012/Problem01_label47_false-unreach-call.c 55.5  17.1   2690 463   57.8  17.6   2500 446   60.7  17.9   2760 455   59.1  17.4   3030 481  
eca-rers2012/Problem01_label50_false-unreach-call.c 38.9  9.43  1860 269   37.4  8.94  1850 274   41.8  10.2   1810 296   41.2  9.54  1920 291  
eca-rers2012/Problem01_label56_false-unreach-call.c 43.9  12.1   2120 351   45.8  12.3   2290 370   47.2  12.7   2030 398   45.1  12.4   1900 355  
eca-rers2012/Problem01_label57_false-unreach-call.c 47.2  12.4   1920 355   48.1  12.6   2300 383   47.6  12.6   2320 336   46.7  12.7   2140 393  
eca-rers2012/Problem02_label13_false-unreach-call.c 25.3  5.26  890 183   24.3  5.12  925 172   23.8  5.06  911 157   22.0  4.62  837 143  
eca-rers2012/Problem02_label16_false-unreach-call.c 23.8  5.09  872 167   23.2  4.92  848 180   21.3  4.55  837 127   21.6  4.60  849 169  
eca-rers2012/Problem02_label43_false-unreach-call.c 23.7  4.98  941 168   23.0  4.87  877 163   25.9  5.57  1120 177   22.9  4.96  841 160  
eca-rers2012/Problem02_label44_false-unreach-call.c 26.8  5.57  1080 198   20.9  4.46  856 146   26.5  5.59  890 184   24.4  5.06  946 148  
eca-rers2012/Problem02_label45_false-unreach-call.c 30.8  6.49  1140 217   32.7  7.51  1190 224   32.2  6.84  1210 221   28.3  6.36  1290 201  
eca-rers2012/Problem02_label50_false-unreach-call.c 31.1  6.66  1280 234   30.8  6.74  1370 227   31.9  6.99  1330 200   31.6  6.82  1260 201  
eca-rers2012/Problem02_label59_false-unreach-call.c 30.2  6.53  1260 202   29.2  6.63  1150 231   33.3  7.57  1190 242   32.3  6.98  1260 237  
eca-rers2012/Problem03_label09_false-unreach-call.c 161    61.8   5260 1500   168    64.2   5310 1460   160    62.6   5400 1470   164    63.7   5410 1500  
eca-rers2012/Problem03_label13_false-unreach-call.c 90.4  30.2   4130 692   96.1  31.5   3860 766   92.2  30.2   3960 692   85.4  28.9   3900 667  
eca-rers2012/Problem03_label26_false-unreach-call.c 62.4  17.3   2650 459   63.7  17.9   2930 561   70.5  18.7   2820 543   63.0  17.1   2770 520  
eca-rers2012/Problem03_label27_false-unreach-call.c 101    34.1   4060 792   87.1  28.8   4160 699   92.5  31.4   4250 746   101    32.4   4160 756  
eca-rers2012/Problem03_label28_false-unreach-call.c 95.5  32.5   4250 842   98.0  33.7   4240 758   95.8  31.1   3710 760   96.4  32.7   4230 752  
eca-rers2012/Problem03_label31_false-unreach-call.c 93.6  29.8   3770 735   88.9  28.6   3690 696   88.3  29.0   3810 666   88.6  26.8   3340 666  
eca-rers2012/Problem03_label35_false-unreach-call.c 158    60.6   5230 1400   160    62.8   5230 1240   167    64.9   5420 1340   175    67.5   5410 1320  
eca-rers2012/Problem03_label37_false-unreach-call.c 84.9  26.6   3650 692   87.3  27.7   3660 789   89.3  28.2   3590 747   90.2  29.7   3830 694  
eca-rers2012/Problem03_label39_false-unreach-call.c 133    49.5   5180 1050   134    50.3   5250 1300   144    54.5   5330 1180   127    46.3   4850 1060  
eca-rers2012/Problem03_label43_false-unreach-call.c 98.4  33.4   4660 794   95.0  32.3   4380 743   94.3  32.0   4300 761   97.2  31.3   4250 828  
eca-rers2012/Problem03_label45_false-unreach-call.c 146    55.1   5260 1250   146    54.2   5160 1200   146    55.6   5220 1290   141    54.0   5380 1080  
eca-rers2012/Problem03_label50_false-unreach-call.c 88.1  28.1   3740 688   91.6  29.4   3810 740   96.6  31.2   3940 761   92.2  29.0   3890 762  
eca-rers2012/Problem03_label52_false-unreach-call.c 155    58.4   5200 1260   160    60.8   5270 1340   156    59.3   5380 1430   155    60.7   5460 1390  
eca-rers2012/Problem04_label04_false-unreach-call.c 903    385     8060 6000   902    385     7990 8010   903    386     8210 6550   904    384     8180 6560  
eca-rers2012/Problem04_label06_false-unreach-call.c 903    389     8100 7480   904    391     8300 6360   902    387     8450 6510   903    388     8310 6730  
eca-rers2012/Problem04_label09_false-unreach-call.c 904    382     8180 7530   902    382     7880 6710   903    388     8250 6220   904    384     8090 7090  
eca-rers2012/Problem04_label11_false-unreach-call.c 903    382     7970 6730   902    389     7960 5550   903    381     8190 7140   902    382     8030 6260  
eca-rers2012/Problem04_label12_false-unreach-call.c 902    391     7710 5710   902    387     8040 8030   902    388     8370 6200   902    390     7990 5640  
eca-rers2012/Problem04_label13_false-unreach-call.c 903    391     7590 5890   903    381     8060 6460   903    389     8050 6690   901    381     8200 7990  
eca-rers2012/Problem04_label14_false-unreach-call.c 902    379     8230 7910   903    379     8160 5600   903    385     8300 7010   903    386     8360 8190  
eca-rers2012/Problem04_label15_false-unreach-call.c 903    388     8010 6600   903    389     8150 6010   911    386     8300 6700   903    387     8170 6330  
eca-rers2012/Problem04_label17_false-unreach-call.c 903    384     7970 6010   903    384     7940 6800   905    381     8200 5970   918    388     8500 6120  
eca-rers2012/Problem04_label18_false-unreach-call.c 903    384     7880 7680   903    384     8310 6950   920    387     8300 5990   903    387     8200 6720  
eca-rers2012/Problem04_label19_false-unreach-call.c 902    388     7960 6430   917    391     8290 6360   904    390     8050 5580   903    391     8110 7310  
eca-rers2012/Problem04_label26_false-unreach-call.c 903    383     8050 8260   904    382     8060 6460   903    387     8210 6910   917    388     8240 7210  
eca-rers2012/Problem04_label27_false-unreach-call.c 903    381     8040 6500   903    384     7960 6620   902    385     8210 6330   903    380     8290 6720  
eca-rers2012/Problem04_label31_false-unreach-call.c 903    387     7930 6100   903    383     8170 6670   904    390     8170 6350   903    384     8230 8760  
eca-rers2012/Problem04_label32_false-unreach-call.c 903    386     8030 5840   903    383     8370 7400   903    384     8680 8380   903    379     8350 6810  
eca-rers2012/Problem04_label35_false-unreach-call.c 903    389     8220 6280   903    396     7770 6130   904    389     8220 6070   906    384     8440 6620  
eca-rers2012/Problem04_label36_false-unreach-call.c 904    382     8240 8210   903    383     8100 7870   902    381     8350 8080   904    387     8490 5780  
eca-rers2012/Problem04_label38_false-unreach-call.c 960    445     8080 6570   903    380     8040 8090   903    381     8210 6760   903    391     8090 6380  
eca-rers2012/Problem04_label39_false-unreach-call.c 904    390     8010 6330   906    385     8050 5780   901    382     8280 7280   915    389     8230 6890  
eca-rers2012/Problem04_label40_false-unreach-call.c 903    389     8330 5700   903    388     7940 6270   902    390     7840 5950   902    382     8210 7140  
eca-rers2012/Problem04_label45_false-unreach-call.c 901    379     8080 6870   903    386     8340 6250   903    384     8470 6200   904    382     8200 8840  
eca-rers2012/Problem04_label52_false-unreach-call.c 903    387     8210 5940   902    383     7560 6760   903    385     8240 7190   903    385     8160 6110  
eca-rers2012/Problem04_label55_false-unreach-call.c 904    380     8100 6170   903    388     7970 6300   906    381     8230 6680   903    385     8180 6270  
eca-rers2012/Problem04_label58_false-unreach-call.c 903    390     8020 6030   960    439     8050 6530   904    390     8140 5960   904    386     8370 5950  
eca-rers2012/Problem05_label00_false-unreach-call.c 905    384     9290 5660   904    389     9040 6360   905    380     9500 6830   905    382     9490 5940  
eca-rers2012/Problem05_label01_false-unreach-call.c 905    387     8830 7300   905    387     8710 5990   905    389     9170 6990   909    375     9330 7430  
eca-rers2012/Problem05_label11_false-unreach-call.c 905    388     8650 5860   905    388     8770 6820   905    387     8960 6500   906    389     8880 6270  
eca-rers2012/Problem05_label13_false-unreach-call.c 905    388     8720 6070   905    383     8940 7020   905    385     8920 5390   905    388     8830 6360  
eca-rers2012/Problem05_label15_false-unreach-call.c 905    388     8630 5540   905    384     9010 6690   905    390     9090 6020   905    390     8910 5900  
eca-rers2012/Problem05_label18_false-unreach-call.c 905    389     8700 7640   905    388     8670 6960   905    388     8970 6890   905    381     9110 5960  
eca-rers2012/Problem05_label24_false-unreach-call.c 909    376     9070 7040   906    389     8810 7230   904    387     8940 5900   905    387     8910 6300  
eca-rers2012/Problem05_label26_false-unreach-call.c 905    390     8730 5570   912    393     8730 6300   905    388     8850 7730   905    385     8780 6610  
eca-rers2012/Problem05_label30_false-unreach-call.c 960    429     9000 6090   916    383     8910 6250   905    389     8800 6040   904    388     8910 6470  
eca-rers2012/Problem05_label32_false-unreach-call.c 906    390     8760 6120   904    388     8760 5280   904    388     8920 6560   903    382     8950 6350  
eca-rers2012/Problem05_label33_false-unreach-call.c 905    388     8750 5510   904    379     8870 5880   906    390     8880 5930   905    389     8860 6150  
eca-rers2012/Problem05_label36_false-unreach-call.c 905    388     8690 6250   904    382     8830 6000   905    381     8980 5830   905    381     9030 6670  
eca-rers2012/Problem05_label37_false-unreach-call.c 905    390     8680 6580   905    380     8910 5620   905    388     8840 6940   905    375     9200 6910  
eca-rers2012/Problem05_label38_false-unreach-call.c 904    375     9000 7360   905    384     8980 6210   905    388     8790 6700   904    384     9070 6730  
eca-rers2012/Problem05_label39_false-unreach-call.c 905    382     8830 5870   903    377     8710 6630   905    389     8750 6620   904    389     8870 7110  
eca-rers2012/Problem05_label40_false-unreach-call.c 905    383     9000 6990   905    387     8780 5410   906    390     8840 6150   905    386     9000 5810  
eca-rers2012/Problem05_label41_false-unreach-call.c 905    384     9010 6340   905    384     9010 6550   904    388     9030 5800   905    384     9200 6080  
eca-rers2012/Problem05_label44_false-unreach-call.c 905    382     8800 6990   923    381     8860 7340   905    379     8930 6320   906    384     8970 5700  
eca-rers2012/Problem05_label47_false-unreach-call.c 905    388     8750 6030   905    389     8840 7450   905    388     8920 5530   905    387     8810 5780  
eca-rers2012/Problem05_label48_false-unreach-call.c 905    386     8980 6190   904    388     8680 6790   905    383     9010 5280   906    380     9050 5910  
eca-rers2012/Problem05_label51_false-unreach-call.c 905    390     8620 5780   905    390     8710 5790   905    388     8860 6190   905    387     8820 7430  
eca-rers2012/Problem05_label55_false-unreach-call.c 905    386     8810 5890   905    390     8770 6050   906    388     8850 5650   905    386     9090 6480  
eca-rers2012/Problem05_label57_false-unreach-call.c 905    378     8970 6050   904    387     8670 6200   904    385     9070 6660   905    386     8830 5980  
eca-rers2012/Problem05_label58_false-unreach-call.c 904    389     8660 5970   904    390     8680 6350   906    389     8880 5710   906    389     8790 6130  
eca-rers2012/Problem06_label00_false-unreach-call.c 902    366     8630 6210   902    358     8850 5800   960    410     9300 8220   902    351     8910 5680  
eca-rers2012/Problem06_label01_false-unreach-call.c 902    354     8860 5310   902    357     8830 6200   902    363     8900 7560   902    363     8810 6170  
eca-rers2012/Problem06_label02_false-unreach-call.c 902    356     8820 5780   904    358     9090 6720   902    364     8940 5800   902    368     8850 6140  
eca-rers2012/Problem06_label04_false-unreach-call.c 902    356     8830 5490   901    357     8870 5690   902    354     9100 6120   902    356     9060 5560  
eca-rers2012/Problem06_label05_false-unreach-call.c 961    424     8850 6040   902    366     8750 5890   903    367     8990 6820   902    366     8890 6460  
eca-rers2012/Problem06_label09_false-unreach-call.c 902    364     8630 6870   902    365     8700 5770   903    355     9530 7790   902    364     9050 6330  
eca-rers2012/Problem06_label10_false-unreach-call.c 903    355     8980 6670   902    354     8770 5520   903    367     8810 5670   904    368     8810 6730  
eca-rers2012/Problem06_label11_false-unreach-call.c 903    360     8680 7690   902    368     8660 6410   902    361     8850 5710   904    366     8730 6320  
eca-rers2012/Problem06_label12_false-unreach-call.c 902    354     8790 6100   902    357     8820 6170   961    421     9140 7670   903    362     8900 6600  
eca-rers2012/Problem06_label15_false-unreach-call.c 902    370     8580 6050   902    364     8710 6130   902    370     8770 5750   902    367     8840 5890  
eca-rers2012/Problem06_label20_false-unreach-call.c 902    355     9080 6460   902    365     8680 6070   902    353     9430 7690   903    354     9140 5990  
eca-rers2012/Problem06_label21_false-unreach-call.c 902    365     8730 6330   903    366     8660 5830   902    359     9050 5680   902    368     8870 5820  
eca-rers2012/Problem06_label24_false-unreach-call.c 903    368     8660 5110   902    366     8840 7580   902    353     9150 6720   902    358     9040 5830  
eca-rers2012/Problem06_label27_false-unreach-call.c 902    356     9040 5330   902    365     8720 5720   902    355     9110 6210   902    354     9140 5540  
eca-rers2012/Problem06_label29_false-unreach-call.c 903    366     8800 6820   902    364     8760 5450   902    363     8960 6780   902    365     8840 5650  
eca-rers2012/Problem06_label33_false-unreach-call.c 903    370     8730 5630   903    367     8800 5840   902    366     9030 6660   903    366     8910 5630  
eca-rers2012/Problem06_label36_false-unreach-call.c 902    369     8750 5660   902    367     8740 5830   902    369     8970 6550   903    359     9280 5880  
eca-rers2012/Problem06_label37_false-unreach-call.c 961    426     8780 5780   902    364     8660 5860   903    368     8810 6370   903    367     8920 6350  
eca-rers2012/Problem06_label38_false-unreach-call.c 902    356     9080 6190   902    367     8770 5900   902    360     9000 5740   903    369     8880 5940  
eca-rers2012/Problem06_label44_false-unreach-call.c 904    369     8740 5520   902    368     8740 5750   902    365     8920 5760   901    365     9070 6830  
eca-rers2012/Problem06_label47_false-unreach-call.c 961    424     8880 6220   901    365     8730 5460   902    367     8940 5820   902    366     8820 5610  
eca-rers2012/Problem06_label48_false-unreach-call.c 903    367     8940 8260   903    366     8760 5850   904    366     8990 6280   903    366     8940 5760  
eca-rers2012/Problem06_label56_false-unreach-call.c 961    426     8810 6360   903    366     8770 7430   903    368     8910 5770   903    367     9010 7490  
eca-rers2012/Problem06_label58_false-unreach-call.c 902    365     8620 6630   902    356     9110 6940   902    365     8730 6170   902    369     8880 6160  
eca-rers2012/Problem06_label59_false-unreach-call.c 902    363     8840 5730   902    357     8970 5430   903    353     9130 6190   902    366     8940 6040  
eca-rers2012/Problem07_label03_false-unreach-call.c 902    387     10100 6800   903    392     10400 6770   902    387     10200 7020   902    391     10400 6830  
eca-rers2012/Problem07_label05_false-unreach-call.c 951    430     12300 7660   913    400     12300 7480   952    436     12500 8040   951    439     12500 8050  
eca-rers2012/Problem07_label06_false-unreach-call.c 954    434     12300 7300   953    436     12300 8350   953    438     12500 7390   953    437     12500 7540  
eca-rers2012/Problem07_label07_false-unreach-call.c 959    447     12400 7610   961    446     12300 7650   912    397     12500 6620   912    396     12500 7040  
eca-rers2012/Problem07_label09_false-unreach-call.c 902    386     10300 7490   902    385     10100 6790   902    389     10300 7070   902    387     10200 6670  
eca-rers2012/Problem07_label11_false-unreach-call.c 961    448     12100 7270   960    440     12200 8310   960    445     12300 9550   953    436     12000 8390  
eca-rers2012/Problem07_label15_false-unreach-call.c 960    444     12200 8170   913    396     12200 7680   960    440     12400 8030   960    445     12400 8200  
eca-rers2012/Problem07_label18_false-unreach-call.c 960    443     12300 7820   960    444     12300 7670   960    438     12500 7900   914    399     12400 8590  
eca-rers2012/Problem07_label19_false-unreach-call.c 960    439     12200 9050   960    445     12200 8670   960    442     12400 8260   960    441     12400 7380  
eca-rers2012/Problem07_label20_false-unreach-call.c 956    443     10400 7430   960    445     12200 8270   960    445     12400 8690   961    449     12300 8770  
eca-rers2012/Problem07_label23_false-unreach-call.c 954    439     12300 7420   913    396     12300 7870   955    439     12400 7680   955    436     12400 7460  
eca-rers2012/Problem07_label30_false-unreach-call.c 961    447     12300 7780   960    444     12300 8380   960    444     12500 7880   960    440     12500 7500  
eca-rers2012/Problem07_label31_false-unreach-call.c 955    434     12300 8400   956    441     12200 7860   955    432     12500 7200   954    433     12500 8880  
eca-rers2012/Problem07_label35_false-unreach-call.c 952    435     12300 8490   953    435     12300 7880   954    437     12500 9860   954    437     12500 7540  
eca-rers2012/Problem07_label36_false-unreach-call.c 960    444     12200 8330   913    400     12200 8350   960    447     12400 7720   960    444     12400 7240  
eca-rers2012/Problem07_label37_false-unreach-call.c 955    437     10400 8190   961    449     12200 7450   903    385     10400 6260   903    390     10600 6730  
eca-rers2012/Problem07_label39_false-unreach-call.c 960    444     12100 8660   960    447     12200 7560   960    445     12400 8150   913    401     12300 6930  
eca-rers2012/Problem07_label40_false-unreach-call.c 913    399     9440 7460   929    418     9510 7430   927    423     9690 8800   925    409     9650 7270  
eca-rers2012/Problem07_label42_false-unreach-call.c 955    439     12400 8520   954    437     12300 8280   953    437     12500 7630   954    439     12500 7850  
eca-rers2012/Problem07_label44_false-unreach-call.c 960    443     12200 7550   960    445     12200 7450   960    444     12400 8720   960    444     12400 8460  
eca-rers2012/Problem07_label46_false-unreach-call.c 961    448     12300 8880   960    439     12300 7360   961    448     12500 9620   960    442     12500 7250  
eca-rers2012/Problem07_label47_false-unreach-call.c 961    448     12200 7580   960    442     12100 7540   913    393     12300 7680   913    399     12400 6930  
eca-rers2012/Problem07_label48_false-unreach-call.c 957    442     12200 7850   956    440     12300 8480   955    439     12500 8170   914    400     12400 7940  
eca-rers2012/Problem07_label58_false-unreach-call.c 954    439     12400 7330   954    435     12400 8400   954    437     12500 7530   954    436     12500 8580  
eca-rers2012/Problem08_label01_false-unreach-call.c 960    441     13200 8520   961    441     13100 9760   961    441     13100 7280   961    442     13200 7210  
eca-rers2012/Problem08_label02_false-unreach-call.c 961    443     12900 7630   961    440     13000 7240   961    443     13000 6910   961    443     13100 7160  
eca-rers2012/Problem08_label04_false-unreach-call.c 961    439     13100 8620   961    442     13000 7630   961    441     13200 8790   961    443     13200 7280  
eca-rers2012/Problem08_label05_false-unreach-call.c 961    442     13100 9100   961    440     13000 7980   961    441     13200 6420   961    443     13300 7380  
eca-rers2012/Problem08_label06_false-unreach-call.c 961    443     12900 6760   961    441     13000 6600   961    441     13100 6970   961    442     13100 6780  
eca-rers2012/Problem08_label07_false-unreach-call.c 961    442     13000 7180   960    436     13000 7640   961    442     13200 7760   961    438     13200 7480  
eca-rers2012/Problem08_label10_false-unreach-call.c 961    442     13000 8540   961    442     13000 8020   961    442     13200 7310   961    441     13100 6990  
eca-rers2012/Problem08_label13_false-unreach-call.c 961    443     13100 6820   961    443     13100 7480   961    443     13300 7630   961    438     13300 6850  
eca-rers2012/Problem08_label15_false-unreach-call.c 961    442     13100 7260   961    443     13000 7540   961    439     13200 7220   961    442     13100 7200  
eca-rers2012/Problem08_label24_false-unreach-call.c 961    439     13000 7320   961    441     12900 5690   960    438     13200 8160   961    441     13100 6560  
eca-rers2012/Problem08_label25_false-unreach-call.c 961    439     12900 7260   961    441     13000 7640   961    443     13200 7720   961    443     13000 7120  
eca-rers2012/Problem08_label26_false-unreach-call.c 961    442     13000 7170   961    443     12900 7320   961    438     13100 7020   961    442     13100 7240  
eca-rers2012/Problem08_label28_false-unreach-call.c 961    444     13000 7230   961    436     12900 8110   961    442     13100 6670   961    442     13100 7390  
eca-rers2012/Problem08_label29_false-unreach-call.c 961    444     13000 7430   961    442     13000 8300   961    446     13100 7480   961    441     13100 7070  
eca-rers2012/Problem08_label34_false-unreach-call.c 961    442     13100 9130   961    440     13000 7430   961    441     13200 6980   961    440     13300 8510  
eca-rers2012/Problem08_label37_false-unreach-call.c 961    442     12900 6720   961    441     12900 7690   961    444     13200 7430   961    442     13100 8010  
eca-rers2012/Problem08_label43_false-unreach-call.c 961    444     13000 8080   961    443     13000 7340   960    437     13200 7480   961    441     13200 9560  
eca-rers2012/Problem08_label46_false-unreach-call.c 961    443     12900 7100   961    439     12900 6810   961    444     13200 7470   960    436     13100 7030  
eca-rers2012/Problem08_label48_false-unreach-call.c 961    442     13000 7600   961    442     13000 6150   961    441     13200 7190   961    445     13100 7570  
eca-rers2012/Problem08_label49_false-unreach-call.c 961    441     12900 6900   960    440     13000 7100   961    443     13100 8850   961    441     13100 7770  
eca-rers2012/Problem08_label50_false-unreach-call.c 961    442     13000 6310   960    436     13000 7760   961    440     13100 6710   961    441     13100 7260  
eca-rers2012/Problem08_label51_false-unreach-call.c 961    442     13000 7060   960    437     13000 7450   961    440     13200 6890   961    441     13200 7930  
eca-rers2012/Problem08_label55_false-unreach-call.c 961    444     13100 7310   961    442     13000 6890   960    439     13300 7400   961    444     13300 8450  
eca-rers2012/Problem08_label59_false-unreach-call.c 961    443     13000 7870   960    439     13000 7470   961    440     13200 7840   961    446     13100 7510  
eca-rers2012/Problem09_label02_false-unreach-call.c 954    435     14700 7140   955    426     14500 8020   953    431     14900 7170   954    427     14800 8150  
eca-rers2012/Problem09_label03_false-unreach-call.c 913    387     14100 6020   955    428     14200 7190   913    387     14200 6160   956    430     14200 6970  
eca-rers2012/Problem09_label06_false-unreach-call.c 949    423     14600 6990   952    421     14500 6940   949    422     14600 6740   949    419     15000 8430  
eca-rers2012/Problem09_label08_false-unreach-call.c 956    428     14600 6820   955    429     14600 8260   954    426     14700 6910   913    386     14700 6570  
eca-rers2012/Problem09_label10_false-unreach-call.c 950    430     14300 6970   951    433     14200 6680   949    422     14500 8830   951    420     14400 6900  
eca-rers2012/Problem09_label11_false-unreach-call.c 949    423     14700 8660   954    424     14500 6580   951    423     14700 6300   949    421     14800 6950  
eca-rers2012/Problem09_label15_false-unreach-call.c 956    425     14700 6500   957    430     14800 9130   954    426     15000 8220   957    436     14900 7430  
eca-rers2012/Problem09_label19_false-unreach-call.c 956    426     14100 6860   956    431     14000 6790   913    386     14400 7810   955    437     14600 8490  
eca-rers2012/Problem09_label20_false-unreach-call.c 956    424     14700 7050   955    427     14500 7850   957    427     14700 6600   913    385     14800 6440  
eca-rers2012/Problem09_label32_false-unreach-call.c 952    433     14300 7190   953    422     14400 6870   952    428     14500 7320   953    427     14600 7050  
eca-rers2012/Problem09_label34_false-unreach-call.c 954    427     14000 6860   913    386     13900 6160   954    427     14200 7400   954    430     14100 6680  
eca-rers2012/Problem09_label35_false-unreach-call.c 956    429     14600 7310   957    430     14500 6060   955    429     14800 7570   954    438     14800 7010  
eca-rers2012/Problem09_label36_false-unreach-call.c 949    421     14300 6700   952    420     14200 6850   950    420     14500 6940   949    421     14400 6300  
eca-rers2012/Problem09_label38_false-unreach-call.c 949    422     14300 8240   950    419     14300 6910   949    424     14500 7020   950    420     14500 6280  
eca-rers2012/Problem09_label41_false-unreach-call.c 960    430     14200 6210   953    424     14500 8340   957    428     14500 6650   953    436     14600 6890  
eca-rers2012/Problem09_label44_false-unreach-call.c 953    424     14100 6470   949    420     14200 6820   950    424     14300 7870   950    420     14300 6810  
eca-rers2012/Problem09_label46_false-unreach-call.c 955    428     14100 6850   955    426     14100 6790   956    436     14400 7590   956    429     14300 7560  
eca-rers2012/Problem09_label47_false-unreach-call.c 956    429     14900 9400   957    431     14500 6660   957    436     14900 6900   956    429     14800 6650  
eca-rers2012/Problem09_label51_false-unreach-call.c 955    428     14000 7740   956    430     14000 7210   957    427     14100 6430   955    429     14200 7380  
eca-rers2012/Problem09_label53_false-unreach-call.c 959    431     14500 6390   913    386     14400 6170   956    430     14800 7410   954    427     14800 7790  
eca-rers2012/Problem09_label54_false-unreach-call.c 913    386     14200 5850   950    422     14100 6600   950    432     14400 6810   950    431     14400 6440  
eca-rers2012/Problem09_label56_false-unreach-call.c 955    428     14100 6410   954    433     14200 6690   914    385     14200 5960   956    428     14500 8110  
eca-rers2012/Problem09_label57_false-unreach-call.c 954    426     14200 6720   954    425     14200 6310   956    430     14400 7120   954    425     14300 7020  
eca-rers2012/Problem09_label59_false-unreach-call.c 913    386     14100 6070   913    385     14200 7040   951    419     14400 7460   948    422     14500 7930  
eca-rers2012/Problem10_label12_false-unreach-call.c 901    405     5700 8410   901    408     5720 9270   901    405     5900 9720   901    405     6030 9880  
eca-rers2012/Problem10_label15_false-unreach-call.c 50.0  14.9   2330 399   46.8  13.2   2180 379   44.7  13.1   1750 376   44.0  12.7   1960 356  
eca-rers2012/Problem10_label24_false-unreach-call.c 125    49.6   4770 1260   141    57.4   4830 1490   127    50.7   4920 1180   205    87.0   5030 2040  
eca-rers2012/Problem10_label26_false-unreach-call.c 901    407     5690 9600   902    404     5710 9070   901    407     5810 8640   901    404     5920 9130  
eca-rers2012/Problem10_label28_false-unreach-call.c 50.6  14.7   1990 403   46.6  13.6   2210 365   52.6  15.8   2210 435   48.1  13.6   2120 385  
eca-rers2012/Problem10_label29_false-unreach-call.c 48.9  14.9   2010 381   58.1  18.0   2280 487   50.0  14.5   2220 435   50.0  14.9   2020 386  
eca-rers2012/Problem10_label41_false-unreach-call.c 31.5  7.53  1370 236   35.4  8.43  1430 272   33.1  7.52  1530 267   33.4  8.29  1370 273  
eca-rers2012/Problem10_label42_false-unreach-call.c 29.9  6.67  1190 197   28.6  6.37  1220 217   31.6  7.10  1210 230   29.8  6.59  1220 192  
eca-rers2012/Problem10_label46_false-unreach-call.c 20.7  4.37  887 154   21.5  4.48  819 152   19.2  4.13  854 134   19.1  4.10  657 139  
eca-rers2012/Problem10_label47_false-unreach-call.c 29.4  6.20  1160 203   29.7  6.17  1030 227   28.0  6.21  1180 192   30.3  6.66  1190 217  
eca-rers2012/Problem10_label48_false-unreach-call.c 901    408     5670 9030   901    407     5680 9670   901    406     5870 8320   901    407     5880 9910  
eca-rers2012/Problem10_label50_false-unreach-call.c 147    60.3   4820 1550   42.4  11.3   1810 310   47.8  13.8   2420 394   43.7  11.0   1730 330  
eca-rers2012/Problem10_label55_false-unreach-call.c 29.3  6.37  1200 216   31.4  6.90  1050 219   26.6  5.73  929 198   30.2  6.51  1430 200  
eca-rers2012/Problem10_label57_false-unreach-call.c 55.8  16.3   2230 466   39.5  10.2   1920 322   44.3  11.3   1680 343   43.8  11.5   1630 367  
eca-rers2012/Problem10_label58_false-unreach-call.c 43.5  11.8   1830 333   45.5  12.1   1710 348   43.9  11.9   1890 377   44.1  11.5   1700 353  
eca-rers2012/Problem11_label00_false-unreach-call.c 150    59.7   4970 1520   160    64.6   4970 1460   153    61.8   5160 1290   157    62.6   5100 1430  
eca-rers2012/Problem11_label08_false-unreach-call.c 45.8  11.1   1640 335   49.6  13.6   1980 391   54.4  14.7   1760 436   50.9  14.0   2050 385  
eca-rers2012/Problem11_label14_false-unreach-call.c 55.6  16.6   2390 453   46.2  12.6   1740 363   60.0  17.6   2200 469   55.7  16.5   2280 461  
eca-rers2012/Problem11_label15_false-unreach-call.c 49.3  12.8   1970 410   50.4  12.7   2030 395   58.6  16.1   2260 418   57.5  16.8   2410 467  
eca-rers2012/Problem11_label20_false-unreach-call.c 161    64.6   5000 1370   147    58.8   4700 1290   147    56.7   5150 1280   154    61.6   5090 1490  
eca-rers2012/Problem11_label29_false-unreach-call.c 75.2  25.4   3220 689   74.3  24.7   3260 722   79.7  26.1   2580 654   77.3  26.1   3170 673  
eca-rers2012/Problem11_label31_false-unreach-call.c 133    51.1   4840 1320   112    42.6   4100 968   131    50.2   4260 1170   117    42.5   4040 1110  
eca-rers2012/Problem11_label34_false-unreach-call.c 166    66.5   4980 1440   302    129     5210 2840   177    73.3   5240 1740   157    62.9   5180 1480  
eca-rers2012/Problem11_label36_false-unreach-call.c 57.0  17.7   2800 486   64.1  18.6   2470 495   60.3  18.6   2700 453   62.4  19.6   2430 576  
eca-rers2012/Problem11_label39_false-unreach-call.c 113    42.0   4310 1140   177    71.5   5000 1620   141    56.6   5130 1340   141    56.4   5130 1520  
eca-rers2012/Problem11_label42_false-unreach-call.c 60.3  17.8   2320 443   61.2  17.9   2140 496   52.5  13.9   1990 393   58.7  17.9   2100 496  
eca-rers2012/Problem11_label43_false-unreach-call.c 902    414     5700 9000   911    416     5750 8610   902    419     5780 8520   901    414     5900 8220  
eca-rers2012/Problem11_label49_false-unreach-call.c 57.2  16.3   2190 449   57.1  15.6   2240 428   73.9  23.5   2520 633   69.4  22.7   3030 546  
eca-rers2012/Problem11_label51_false-unreach-call.c 902    417     5530 9420   906    414     5790 8470   902    416     5830 8740   902    414     5890 10100  
eca-rers2012/Problem11_label58_false-unreach-call.c 55.9  14.8   2020 470   53.3  14.3   1800 409   56.5  15.0   2110 435   56.0  15.7   2110 423  
eca-rers2012/Problem12_label00_false-unreach-call.c 902    385     7630 8000   902    396     7360 6370   902    394     7420 8350   902    395     7720 7250  
eca-rers2012/Problem12_label03_false-unreach-call.c 902    393     7460 7460   903    383     7700 7310   903    379     7930 8070   901    395     7620 7280  
eca-rers2012/Problem12_label06_false-unreach-call.c 901    396     7210 7260   903    396     7210 7650   903    397     7180 6550   902    396     7350 6490  
eca-rers2012/Problem12_label07_false-unreach-call.c 902    390     7320 8160   902    395     7310 8040   902    394     7420 7470   902    397     7690 5680  
eca-rers2012/Problem12_label08_false-unreach-call.c 924    391     7100 7150   901    388     7210 7880   919    387     7430 7580   901    383     7410 7810  
eca-rers2012/Problem12_label10_false-unreach-call.c 902    391     7540 6140   915    393     7580 8980   911    382     7770 6600   904    384     7810 7940  
eca-rers2012/Problem12_label13_false-unreach-call.c 902    395     7140 7320   901    390     7550 6490   921    396     7430 9050   902    397     7200 6920  
eca-rers2012/Problem12_label19_false-unreach-call.c 902    399     7070 6770   902    396     7240 8130   902    397     7600 7520   902    396     7260 6830  
eca-rers2012/Problem12_label20_false-unreach-call.c 902    391     7570 6600   902    382     7660 7030   902    389     7720 6990   934    396     7850 7110  
eca-rers2012/Problem12_label21_false-unreach-call.c 902    381     7460 7100   902    393     7180 6940   902    392     7430 7360   903    396     7290 6470  
eca-rers2012/Problem12_label25_false-unreach-call.c 902    383     7700 7180   902    380     7720 9130   902    392     7720 6390   916    389     7870 8860  
eca-rers2012/Problem12_label28_false-unreach-call.c 902    396     7230 6280   902    394     7560 7900   902    392     7460 7010   902    394     7360 5990  
eca-rers2012/Problem12_label30_false-unreach-call.c 902    392     7400 5900   902    379     7750 7950   901    395     7320 6850   902    396     7430 7640  
eca-rers2012/Problem12_label34_false-unreach-call.c 902    404     7360 7590   901    393     7600 7090   903    397     7620 7510   902    397     7520 6630  
eca-rers2012/Problem12_label35_false-unreach-call.c 902    396     7540 7470   902    392     7610 8990   922    397     7710 7770   903    397     7730 6750  
eca-rers2012/Problem12_label37_false-unreach-call.c 911    391     7560 8170   902    392     7570 5930   902    380     7840 8620   902    389     7660 6320  
eca-rers2012/Problem12_label38_false-unreach-call.c 902    395     7560 6890   901    396     7470 8380   902    378     7970 8560   902    389     7860 7150  
eca-rers2012/Problem12_label39_false-unreach-call.c 902    383     7630 6860   909    384     7350 5700   907    392     7450 8080   902    394     7390 8250  
eca-rers2012/Problem12_label40_false-unreach-call.c 903    391     7580 6180   902    393     7640 6330   902    384     7960 8100   924    392     7970 6670  
eca-rers2012/Problem12_label42_false-unreach-call.c 902    387     6650 7930   902    393     6640 7640   902    396     7240 6830   902    381     7920 7250  
eca-rers2012/Problem12_label48_false-unreach-call.c 902    390     7260 9240   902    399     7150 7150   902    392     7840 7000   903    379     7640 7790  
eca-rers2012/Problem12_label50_false-unreach-call.c 919    392     7510 6260   902    379     7690 7040   902    379     7790 7390   902    381     7780 7090  
eca-rers2012/Problem12_label51_false-unreach-call.c 901    395     7250 6410   902    394     7270 7170   923    389     7840 6740   902    398     7370 6450  
eca-rers2012/Problem12_label52_false-unreach-call.c 902    379     7620 6720   902    396     7300 6050   902    396     7320 7260   908    391     7450 7890  
eca-rers2012/Problem12_label55_false-unreach-call.c 913    389     7660 7330   905    383     7740 7450   902    390     7830 7450   902    396     7610 7950  
eca-rers2012/Problem13_label04_false-unreach-call.c 902    385     7090 7420   902    383     7120 7410   913    378     7350 7830   902    382     7100 5770  
eca-rers2012/Problem13_label06_false-unreach-call.c 902    385     7730 6440   902    385     7740 5680   903    384     8080 7990   912    383     8130 7730  
eca-rers2012/Problem13_label07_false-unreach-call.c 902    387     7750 6000   903    389     7800 6030   902    386     7880 6560   903    384     7750 5520  
eca-rers2012/Problem13_label11_false-unreach-call.c 902    391     7070 9290   902    391     6980 7660   902    390     7200 7330   902    389     7150 6350  
eca-rers2012/Problem13_label12_false-unreach-call.c 902    391     7080 8300   916    392     7050 7380   902    390     7210 8760   902    391     7110 7590  
eca-rers2012/Problem13_label16_false-unreach-call.c 902    391     7050 6770   902    391     7100 7470   902    392     7190 7140   902    390     7310 7880  
eca-rers2012/Problem13_label19_false-unreach-call.c 902    390     7190 5920   902    393     7190 6540   902    389     7440 7310   902    391     7430 7490  
eca-rers2012/Problem13_label21_false-unreach-call.c 903    384     7360 6340   902    386     7520 7150   902    383     7630 6930   902    382     7690 7250  
eca-rers2012/Problem13_label23_false-unreach-call.c 902    384     7410 7620   902    382     7440 7670   901    385     7370 6790   902    384     7500 6810  
eca-rers2012/Problem13_label24_false-unreach-call.c 902    391     7040 9170   902    391     6970 6660   902    391     7060 6920   903    384     8100 7350  
eca-rers2012/Problem13_label25_false-unreach-call.c 902    392     7220 7290   903    385     7370 8210   902    391     7290 6280   901    390     7400 7120  
eca-rers2012/Problem13_label28_false-unreach-call.c 902    392     7250 6030   901    389     7300 7150   902    390     7470 7060   902    390     7340 6080  
eca-rers2012/Problem13_label29_false-unreach-call.c 901    386     7270 7170   902    383     7240 6610   902    383     7550 8550   902    384     7550 7730  
eca-rers2012/Problem13_label30_false-unreach-call.c 926    386     7410 7050   929    383     7450 7480   902    384     7570 8050   902    384     7540 7470  
eca-rers2012/Problem13_label32_false-unreach-call.c 902    383     7400 6140   920    383     7640 8270   903    383     7620 6710   920    387     7660 7410  
eca-rers2012/Problem13_label35_false-unreach-call.c 902    392     6890 6410   902    389     7050 8120   902    391     7190 7260   902    393     6990 5890  
eca-rers2012/Problem13_label36_false-unreach-call.c 913    377     7470 7410   908    376     7410 6830   902    384     7530 7750   902    385     7560 7220  
eca-rers2012/Problem13_label40_false-unreach-call.c 902    393     7280 6630   902    392     6980 6170   902    390     7240 8670   902    391     7380 6030  
eca-rers2012/Problem13_label43_false-unreach-call.c 902    391     7800 6500