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-67-generic Linux 4.4.0-66-generic Linux 4.4.0-71-generic Linux 4.4.0-67-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-17 08:36:49 CET 2017-03-11 00:07:51 CET 2017-03-30 08:12:30 CEST 2017-03-20 21:20:46 CET
Run set bmc-solver-theories.mathsat5-qf_ufbvfp induction-solver-theories.mathsat5-qf_ufbvfp impact-solver-theories.mathsat5-qf_ufbvfp predabs-solver-theories.mathsat5-qf_ufbvfp
Options -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -bmc -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=mathsat5 -heap 11000M -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=mathsat5 -heap 11000M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -predicateAnalysis-ImpactRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=mathsat5 -heap 11000M -noout -disable-java-assertions -setprop cfa.showDeadCode=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop analysis.checkCounterexamples=false -setprop cpa.predicate.abortOnLargeArrays=false -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -predicateAnalysis-PredAbsRefiner-ABEl -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop cpa.predicate.handleFieldAccess=true -setprop solver.solver=mathsat5 -heap 11000M
../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 909    900     10400 5440   901    416     6220 8740   901    894     733 10800   901    884     6760 10100  
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 906    902     9320 7900   902    437     3650 5800   901    897     1240 10800   901    891     1600 10600  
array-examples/sorting_bubblesort_false-unreach-call_ground.i 912    908     9300 8540   902    436     3840 6210   901    896     1250 11100   901    892     1630 11100  
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 912    909     11400 7200   947    478     4640 10500   901    894     659 11600   901    879     5640 10300  
array-examples/sorting_selectionsort_false-unreach-call_ground.i 911    908     11600 7620   902    415     6510 8910   901    894     601 12800   901    879     5520 11000  
array-examples/standard_allDiff2_false-unreach-call_ground.i 908    903     9130 9080   902    438     6230 7360   901    893     1170 10900   485    466     15000 6470  
array-examples/standard_copy1_false-unreach-call_ground.i 490    487     15000 4770   904    442     5210 6410   901    898     977 11200   901    887     2380 9980  
array-examples/standard_copy2_false-unreach-call_ground.i 505    501     15000 6120   904    443     6340 7160   901    897     1140 10300   901    890     1760 6760  
array-examples/standard_copy3_false-unreach-call_ground.i 565    562     15000 5340   904    442     6270 7570   902    897     1390 10000   901    892     1450 8100  
array-examples/standard_copy4_false-unreach-call_ground.i 568    565     15000 5540   903    440     6670 6830   902    897     1610 10600   901    893     1360 7930  
array-examples/standard_copy5_false-unreach-call_ground.i 634    631     15000 5930   904    439     7180 7160   901    896     1770 10000   901    894     1250 8710  
array-examples/standard_copy6_false-unreach-call_ground.i 633    630     15000 5530   904    441     6420 6590   902    897     1900 9540   901    893     1270 7470  
array-examples/standard_copy7_false-unreach-call_ground.i 683    679     15000 6370   904    441     6670 7000   902    898     2060 9800   901    893     1240 7070  
array-examples/standard_copy8_false-unreach-call_ground.i 685    682     15000 6560   904    441     5920 6530   901    896     2240 9140   901    894     1220 7800  
array-examples/standard_copy9_false-unreach-call_ground.i 753    750     15000 7570   905    442     5840 7000   901    896     2390 11100   901    894     1250 10500  
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 642    639     15000 7600   904    443     5570 7310   901    897     960 10800   901    888     2290 11300  
array-examples/standard_init1_false-unreach-call_ground.i 766    762     15000 9330   903    442     5040 6540   901    897     732 11200   901    881     4980 9760  
array-examples/standard_init2_false-unreach-call_ground.i 757    753     15000 7910   903    441     5060 6760   901    897     715 11000   901    896     497 10700  
array-examples/standard_init3_false-unreach-call_ground.i 759    755     15000 8520   903    441     5480 8210   901    897     719 12500   901    882     4760 9780  
array-examples/standard_init4_false-unreach-call_ground.i 761    757     15000 8080   903    440     5640 6880   901    897     709 11700   901    881     4710 10600  
array-examples/standard_init5_false-unreach-call_ground.i 754    750     15000 9110   903    440     5250 6870   901    897     688 11500   901    882     4630 10500  
array-examples/standard_init6_false-unreach-call_ground.i 758    754     15000 7930   903    440     5340 6070   901    897     672 12800   901    882     4520 10200  
array-examples/standard_init7_false-unreach-call_ground.i 770    766     15000 8200   903    439     5710 6940   901    896     721 12500   901    882     4520 11700  
array-examples/standard_init8_false-unreach-call_ground.i 767    763     15000 9230   903    438     6220 7290   901    897     710 10900   901    882     4420 11200  
array-examples/standard_init9_false-unreach-call_ground.i 764    760     15000 7920   903    440     5760 6660   901    896     723 11100   901    882     4280 12600  
array-examples/standard_minInArray_false-unreach-call_ground.i 906    901     8840 9480   902    439     3290 6610   901    897     477 13900   901    879     5690 10800  
array-examples/standard_partition_false-unreach-call_ground.i 907    903     9950 7310   903    436     6630 7730   902    897     1650 10300   901    892     1980 10000  
array-examples/standard_running_false-unreach-call.i 909    905     9900 8560   905    441     7580 6890   901    896     956 12200   901    887     2230 7580  
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    896     977 11700   3.40 1.14  304 29.1 901    894     1090 12000   902    886     6400 12000  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 905    895     5410 4820   931    441     7160 8910   901    894     962 10400   901    884     6630 10800  
array-examples/relax_true-unreach-call.i 936    883     5830 9520   916    439     5640 8470   901    894     701 11600   901    865     13400 10200  
array-examples/sanfoundry_02_true-unreach-call_ground.i 903    899     3290 8540   902    439     4000 7240   901    896     523 10700   901    879     5620 11800  
array-examples/sanfoundry_10_true-unreach-call_ground.i 923    877     7380 8090   904    436     7640 8160   901    897     820 10900   901    889     2620 12700  
array-examples/sanfoundry_24_true-unreach-call.i 903    894     3170 7710   4.45 1.27  313 34.1 2.31 .973 230 23.1 2.30 .984 207 21.9
array-examples/sanfoundry_27_true-unreach-call_ground.i 905    900     5740 8620   902    440     3090 6520   901    897     484 11200   901    880     5720 11000  
array-examples/sanfoundry_43_true-unreach-call_ground.i 2.03 .887 216 17.2 3.03 .982 305 26.6 2.11 .878 224 19.0 2.08 .923 223 18.5
array-examples/sorting_bubblesort_true-unreach-call_ground.i 912    908     12000 8210   902    437     3810 9090   902    897     1240 12200   901    892     1660 10700  
array-examples/sorting_selectionsort_true-unreach-call_ground.i 912    908     11200 6990   902    432     4650 8880   901    893     601 11500   901    879     5580 10100  
array-examples/standard_compareModified_true-unreach-call_ground.i 906    902     9220 6750   903    439     4320 7170   901    896     1060 10600   901    891     1760 9250  
array-examples/standard_compare_true-unreach-call_ground.i 806    800     15000 8870   903    441     4430 5650   901    893     521 10200   901    896     494 12800  
array-examples/standard_copy1_true-unreach-call_ground.i 511    507     15000 4760   904    443     6040 7900   901    897     939 12200   901    887     2290 8940  
array-examples/standard_copy2_true-unreach-call_ground.i 522    518     15000 5040   904    443     6260 7230   901    897     1160 11100   901    890     1780 9850  
array-examples/standard_copy3_true-unreach-call_ground.i 558    555     15000 6000   904    441     6220 6890   902    897     1370 11900   901    892     1430 7620  
array-examples/standard_copy4_true-unreach-call_ground.i 577    573     15000 5040   904    441     6120 6510   901    897     1540 10800   901    893     1410 11200  
array-examples/standard_copy5_true-unreach-call_ground.i 622    618     15000 5600   903    438     6290 8000   902    897     1740 10700   901    894     1230 7770  
array-examples/standard_copy6_true-unreach-call_ground.i 639    635     15000 5310   904    441     6730 7340   901    897     1890 10500   901    894     1260 10100  
array-examples/standard_copy7_true-unreach-call_ground.i 694    690     15000 6420   903    440     6850 7440   902    897     2120 10000   901    894     1210 7390  
array-examples/standard_copy8_true-unreach-call_ground.i 675    671     15000 7370   903    440     6690 8160   902    898     2270 8730   901    894     1240 9900  
array-examples/standard_copy9_true-unreach-call_ground.i 732    729     15000 8870   904    440     5790 7740   902    895     2430 9930   901    895     1220 10600  
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 637    633     15000 6970   903    441     5590 7080   901    898     989 10800   901    887     2210 9320  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 642    638     15000 7710   902    439     5160 6870   901    897     921 12700   901    888     2240 9710  
array-examples/standard_copyInitSum_true-unreach-call_ground.i 635    631     15000 6640   903    441     5300 7240   901    897     957 12000   901    887     2230 9460  
array-examples/standard_copyInit_true-unreach-call_ground.i 638    634     15000 5890   904    442     5310 6350   901    898     976 11600   901    887     2160 9670  
array-examples/standard_find_true-unreach-call_ground.i 460    456     15000 4680   902    435     5640 7380   901    897     726 10900   901    881     4990 10700  
array-examples/standard_init1_true-unreach-call_ground.i 760    756     15000 7280   903    441     4950 6610   901    897     722 12600   901    896     501 12400  
array-examples/standard_init2_true-unreach-call_ground.i 765    761     15000 8220   903    442     5350 7070   901    897     726 11200   901    881     4970 12900  
array-examples/standard_init3_true-unreach-call_ground.i 760    756     15000 7710   902    440     5530 6950   901    897     740 11100   901    881     4770 10400  
array-examples/standard_init4_true-unreach-call_ground.i 759    755     15000 8580   903    441     5500 6970   901    897     750 11500   901    882     4750 10700  
array-examples/standard_init5_true-unreach-call_ground.i 755    751     15000 8920   903    440     4950 6550   901    897     715 11800   901    883     4630 10800  
array-examples/standard_init6_true-unreach-call_ground.i 768    763     15000 7750   903    440     5140 6580   901    897     721 10600   901    882     4580 9860  
array-examples/standard_init7_true-unreach-call_ground.i 775    771     15000 8630   903    440     5210 6380   901    897     693 10500   901    881     4500 10800  
array-examples/standard_init8_true-unreach-call_ground.i 766    762     15000 8800   903    439     5530 8690   901    896     732 12900   901    882     4380 10400  
array-examples/standard_init9_true-unreach-call_ground.i 761    757     15000 7760   903    439     5140 6450   901    896     728 12300   901    882     4260 10900  
array-examples/standard_maxInArray_true-unreach-call_ground.i 906    901     5960 8610   902    440     3330 5950   901    897     485 11000   901    879     5590 11300  
array-examples/standard_minInArray_true-unreach-call_ground.i 906    901     8840 8870   903    441     5010 6310   901    898     491 10900   901    879     5560 10400  
array-examples/standard_palindrome_true-unreach-call_ground.i 444    440     15000 4940   904    442     6770 6720   901    898     745 12700   901    882     5050 8160  
array-examples/standard_partial_init_true-unreach-call_ground.i 907    903     9810 6530   902    439     3150 6970   902    897     1710 10700   901    891     1900 9720  
array-examples/standard_partition_original_true-unreach-call_ground.i 906    902     7140 6450   902    436     6640 8850   901    897     2640 11400   901    892     1850 9540  
array-examples/standard_partition_true-unreach-call_ground.i 906    903     9930 9150   904    439     5760 6000   902    898     1490 10500   901    887     2400 8810  
array-examples/standard_password_true-unreach-call_ground.i 827    821     15000 9640   903    441     5570 7770   901    893     654 12600   901    897     443 12600  
array-examples/standard_reverse_true-unreach-call_ground.i 480    477     15000 5380   905    444     8540 7380   901    897     1000 13800   901    887     2260 9930  
array-examples/standard_running_true-unreach-call.i 910    906     9840 8450   906    441     7680 7330   901    896     924 10200   901    888     2190 9270  
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    898     752 11300   902    440     2770 9640   49.6  47.5   295 700   3.32 1.55  284 30.3
array-examples/standard_seq_init_true-unreach-call_ground.i 684    680     15000 7180   903    442     5660 8400   901    897     762 10300   901    880     5050 10400  
array-examples/standard_strcmp_true-unreach-call_ground.i 467    460     15000 5950   904    442     5370 6410   901    892     564 10700   901    895     559 12600  
array-examples/standard_strcpy_original_true-unreach-call.i 463    459     15000 5410   903    439     4020 8120   901    896     976 10700   901    885     2280 10500  
array-examples/standard_strcpy_true-unreach-call_ground.i 463    460     15000 5020   903    436     6250 7770   901    897     982 10900   901    886     2250 9970  
array-examples/standard_two_index_01_true-unreach-call.i 508    504     15000 3680   903    442     4340 7730   901    898     1020 11600   901    888     2030 8630  
array-examples/standard_two_index_02_true-unreach-call.i 492    489     15000 4970   903    442     4720 6420   901    897     1000 10300   901    888     2120 8960  
array-examples/standard_two_index_03_true-unreach-call.i 481    477     15000 5630   903    688     4620 7260   901    897     1010 11900   901    888     2100 9510  
array-examples/standard_two_index_04_true-unreach-call.i 473    469     15000 5540   903    442     5550 7660   901    897     1020 13100   901    889     2070 10900  
array-examples/standard_two_index_05_true-unreach-call.i 484    480     15000 4560   905    444     5550 6460   901    897     1000 11000   901    890     2160 12100  
array-examples/standard_two_index_06_true-unreach-call.i 469    466     15000 4650   903    840     5650 8260   901    898     996 10200   901    888     2000 9350  
array-examples/standard_two_index_07_true-unreach-call.i 468    465     15000 5190   903    442     4750 7150   901    897     1020 10700   901    889     2070 10800  
array-examples/standard_two_index_08_true-unreach-call.i 467    463     15000 4900   903    442     5440 6990   901    897     990 11300   901    888     1960 8660  
array-examples/standard_two_index_09_true-unreach-call.i 478    475     15000 4530   903    442     5530 8250   901    897     1000 10000   901    889     2060 9620  
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 927    866     12900 8380   903    438     5670 6450   901    895     1600 10400   901    894     568 10400  
array-examples/standard_vector_difference_true-unreach-call_ground.i 912    909     9300 9730   903    442     5910 6510   901    898     1190 10100   901    891     1740 9620  
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i 759    755     15000 7750   903    443     5280 8160   901    898     705 13500   901    880     5060 12600  
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 670    666     15000 6670   903    442     5350 8960   901    898     707 9770   901    880     5080 12100  
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i 903    899     3780 6830   903    442     4650 6220   902    897     1650 9230   902    893     2110 11900  
array-industry-pattern/array_range_init_false-unreach-call.i 670    666     15000 6410   903    442     5070 6310   901    896     730 11700   901    880     4860 11700  
array-industry-pattern/array_single_elem_init_false-unreach-call.i 905    901     5710 6380   903    441     4830 5660   901    897     2260 8180   901    893     2060 9310  
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 905    894     5430 7460   914    445     4550 10300   901    893     1120 9890   902    883     6280 12100  
array-industry-pattern/array_monotonic_true-unreach-call.i 904    900     5460 8030   903    441     4360 7270   901    897     1330 9250   901    889     2130 10900  
array-industry-pattern/array_mul_init_true-unreach-call.i 777    773     15000 7470   904    440     6270 7850   902    896     1470 10900   902    890     2700 9370  
array-industry-pattern/array_of_struct_break_true-unreach-call.i 904    896     5650 6140   903    441     4670 6950   901    897     732 12500   901    894     649 11900  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 904    900     3570 5520   903    440     4250 8880   901    896     3710 8210   901    894     1140 7690  
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 903    899     4690 8710   905    440     8900 7800   901    897     969 12600   901    886     3310 11100  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 904    900     4480 6740   902    441     4070 9640   903    898     3060 8770   901    894     1030 6450  
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 601    596     15000 4930   904    441     5120 6150   902    897     1390 10400   902    884     3880 12000  
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 912    908     12600 8670   904    439     6670 8640   902    897     1810 12000   901    886     2610 10000  
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 571    567     15000 6210   903    440     4820 6670   901    897     714 12000   901    881     4760 11700  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 902    898     2260 5720   902    439     4400 6500   901    897     9360 9420   901    894     2620 7530  
array-industry-pattern/array_shadowinit_true-unreach-call.i 906    897     6520 5790   903    441     5920 6100   626    620     658 8850   901    894     533 11600  
reducercommutativity/rangesum05_false-unreach-call.i 4.18 2.49  384 35.5 164    153     2670 1440   25.4  23.0   374 305   31.8  27.6   436 331  
reducercommutativity/rangesum10_false-unreach-call.i 5.93 3.86  436 53.8 903    891     4850 8250   103    96.9   436 1130   108    102     666 1220  
reducercommutativity/rangesum20_false-unreach-call.i 9.67 7.17  652 88.6 903    890     6360 7630   507    499     588 5270   636    626     1140 6950  
reducercommutativity/rangesum40_false-unreach-call.i 19.4  16.6   1010 174   904    888     4970 8840   901    893     616 9500   901    889     1430 8280  
reducercommutativity/rangesum60_false-unreach-call.i 36.5  32.8   1550 355   903    885     4270 8040   901    892     648 10000   901    889     1770 8460  
reducercommutativity/rangesum_false-unreach-call.i 269    259     2490 1510   865    416     5580 5950   901    893     624 9020   22.6  19.5   400 244  
reducercommutativity/avg05_true-unreach-call.i 901    898     884 7920   901    891     2390 8160   901    898     1940 8350   901    897     1910 9230  
reducercommutativity/avg10_true-unreach-call.i 901    898     1240 8490   902    889     4040 8740   901    898     2100 8330   901    895     758 10600  
reducercommutativity/avg20_true-unreach-call.i 901    898     1530 9210   903    887     4590 5880   901    897     2340 8650   901    894     696 9510  
reducercommutativity/avg40_true-unreach-call.i 58.4  54.7   1890 620   904    884     5260 10500   159    151     701 1980   901    893     817 10200  
reducercommutativity/avg60_true-unreach-call.i 130    126     3260 1380   905    881     3860 11100   357    347     918 3980   901    892     963 9800  
reducercommutativity/avg_true-unreach-call.i 902    895     1930 7150   902    439     3710 7940   901    893     592 10600   901    897     463 6030  
reducercommutativity/max05_true-unreach-call_true-termination.i 9.40 7.82  335 101   63.9  53.9   1380 755   912    909     1100 11200   912    907     1230 12100  
reducercommutativity/max10_true-unreach-call_true-termination.i 901    899     1170 9120   901    887     2570 8450   902    899     2620 7550   902    896     3030 6470  
reducercommutativity/max20_true-unreach-call.i 902    898     1750 9280   902    885     4830 8810   902    896     5030 7070   902    891     5160 9780  
reducercommutativity/max40_true-unreach-call.i 902    898     1780 10200   902    878     1960 9770   235    227     894 2310   901    882     8050 9730  
reducercommutativity/max60_true-unreach-call.i 902    898     1550 8020   902    865     3150 12200   609    599     1340 5400   901    883     9220 12000  
reducercommutativity/max_true-unreach-call.i 902    890     2670 5590   902    436     5680 6800   901    893     727 12300   26.4  23.5   580 250  
reducercommutativity/sep05_true-unreach-call.i 5.05 3.44  325 51.1 937    884     2540 12200   9.46 7.08  307 119   901    894     649 10600  
reducercommutativity/sep10_true-unreach-call.i 23.4  21.4   467 218   960    574     5080 9110   168    164     594 1910   901    891     810 12600  
reducercommutativity/sep20_true-unreach-call.i 315    312     1050 1940   901    435     4170 11000   902    896     1690 4030   901    890     2580 8060  
reducercommutativity/sep40_true-unreach-call.i 902    898     1800 7040   902    437     3020 8230   249    239     853 2900   901    884     5440 12400  
reducercommutativity/sep60_true-unreach-call.i 902    898     2570 10800   902    435     2990 8850   657    647     1130 8120   901    884     6720 10900  
reducercommutativity/sep_true-unreach-call.i 905    892     2170 8040   902    434     5080 6970   901    895     442 10800   901    896     511 10900  
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    899     724 10500   901    891     2560 9870   901    899     1420 11800   912    908     9390 9980  
reducercommutativity/sum10_true-unreach-call.i 901    898     1200 11000   901    888     2670 10100   901    898     1650 9810   901    894     1720 9810  
reducercommutativity/sum20_true-unreach-call.i 901    899     1350 11400   903    884     6670 7720   901    897     2150 8880   901    892     3460 12500  
reducercommutativity/sum40_true-unreach-call.i 45.9  42.3   1760 446   903    878     4960 8430   127    119     791 1350   901    886     7050 12400  
reducercommutativity/sum60_true-unreach-call.i 91.7  87.3   3190 901   903    869     4270 12600   308    298     939 3660   901    884     8370 10800  
reducercommutativity/sum_true-unreach-call.i 903    893     3570 9730   902    436     5000 7010   901    892     579 10100   901    893     1160 9490  
bitvector/byte_add_false-unreach-call_true-no-overflow.i 3.01 1.27  277 26.3 7.87 1.98  462 56.3 3.19 1.36  270 28.0 13.5  9.81  426 147  
bitvector/sum02_false-unreach-call_true-no-overflow.i 870    861     15000 8870   903    440     5370 8000   901    897     469 10900   901    875     3190 8910  
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i 2.98 1.28  267 26.7 11.1  2.51  559 85.9 4.42 2.32  274 43.4 8.70 4.72  421 74.8
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i 3.05 1.29  261 27.1 11.5  2.65  566 83.8 4.47 2.36  280 43.4 10.0  6.06  436 92.1
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 4.26 3.00  240 50.0 5.43 3.12  299 55.5 45.4  43.4   536 515   5.83 4.52  243 61.8
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 123    121     361 1290   108    105     500 1000   428    426     364 4770   6.55 5.00  283 83.3
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 116    115     364 1030   104    101     488 1200   684    682     388 7260   153    151     316 1700  
bitvector/gcd_4_true-unreach-call_true-no-overflow.i 2.31 1.00  217 20.0 4.97 1.38  351 36.2 4.20 2.80  244 51.7 4.39 2.48  306 44.3
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 2.43 1.02  230 22.2 5.50 2.07  352 42.6 3.57 1.96  264 36.5 5.55 2.46  332 49.1
bitvector/jain_1_true-unreach-call_true-no-overflow.i 509    502     15000 5390   603    595     15000 7230   2.04 .935 232 17.6 2.14 .946 233 20.7
bitvector/jain_2_true-unreach-call_true-no-overflow.i 277    272     15000 2620   475    467     15000 4330   2.16 .944 229 18.5 2.31 1.05  233 23.3
bitvector/jain_4_true-unreach-call_true-no-overflow.i 238    234     15000 2180   419    411     15000 3770   2.13 .969 230 21.4 2.41 1.05  237 20.0
bitvector/jain_5_true-unreach-call_true-no-overflow.i 902    887     667 9480   904    442     6940 7950   901    898     387 9870   901    879     5440 11900  
bitvector/jain_6_true-unreach-call_true-no-overflow.i 241    236     15000 2660   426    418     15000 3650   2.17 .984 224 20.2 2.38 1.01  238 20.3
bitvector/jain_7_true-unreach-call_true-no-overflow.i 544    538     15000 6370   647    638     15000 5730   6.49 5.32  232 71.6 3.86 2.55  243 41.4
bitvector/modulus_true-unreach-call_true-no-overflow.i 209    201     930 1980   25.2  10.0   1980 259   6.66 5.44  244 70.1 901    899     465 12200  
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 2.36 .987 229 20.6 4.50 1.25  311 32.6 2.36 1.12  220 24.6 3.22 1.36  288 27.8
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 2.44 1.05  224 25.2 4.29 1.24  318 27.6 5.78 4.10  241 59.7 13.1  10.0   445 123  
bitvector/parity_true-unreach-call_true-no-overflow.i 8.79 6.88  280 109   12.4  8.30  333 125   15.9  13.8   277 197   117    112     546 1700  
bitvector/sum02_true-unreach-call_true-no-overflow.i 879    870     15000 10500   904    441     6500 6600   901    898     466 10900   901    877     3110 7890  
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 5.73 2.43  331 41.4 22.7  4.82  756 156   5.61 2.55  319 46.8 7.11 3.47  339 78.4
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 6.58 2.90  336 67.0 28.5  6.20  1340 195   6.02 2.90  309 56.7 15.4  10.1   477 170  
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 4.33 1.70  293 36.9 15.2  3.35  619 103   4.08 1.75  283 40.4 5.06 1.96  306 47.0
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 12.9  8.92  512 145   32.3  8.37  1200 245   901    889     5190 10300   901    894     685 13100  
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 9.17 5.21  403 96.2 18.2  3.98  648 126   901    893     5460 9780   30.5  24.7   492 444  
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 9.48 5.58  413 83.5 17.6  3.81  688 116   901    894     4140 10200   901    892     717 11800  
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 904    896     5250 6370   902    433     3240 8870   901    893     3060 10600   901    897     485 10400  
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 904    896     3650 7310   13.0  2.96  632 85.4 901    893     5870 13200   12.6  5.43  500 117  
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 903    894     2990 9080   100    40.6   3150 877   901    883     6770 9660   110    102     759 1470  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c 903    895     2920 6810   104    40.9   3400 1030   901    881     7040 9920   901    891     972 12100  
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 904    896     5230 6000   904    436     5950 6870   901    893     5140 9010   21.5  14.3   564 217  
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 904    896     5210 5820   903    435     5720 6850   902    893     5090 12200   17.6  10.5   549 175  
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c 155    134     3440 1570   920    854     5210 10400   902    893     686 10400   9.91 6.64  311 120  
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c 125    102     3480 1330   8.00 1.92  445 58.1 26.1  15.4   491 272   110    97.4   1010 1360  
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c 157    137     3370 1330   902    852     3970 11100   151    142     771 1770   106    95.0   974 1340  
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c 904    893     1090 11000   213    180     2290 2700   909    905     907 11200   85.2  82.6   488 1090  
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c 131    105     3480 1230   7.72 1.91  413 55.3 21.6  13.9   491 206   109    97.6   1090 1520  
bitvector-regression/implicitfloatconversion_false-unreach-call.c 2.11 .921 225 20.8 3.05 1.13  267 26.9 2.02 .914 216 18.1 2.07 .936 207 19.9
bitvector-regression/implicitunsignedconversion_false-unreach-call.c 2.02 .915 218 19.4 3.12 1.18  268 24.8 2.15 .926 226 20.1 2.13 .961 221 19.1
bitvector-regression/integerpromotion_false-unreach-call.c 2.06 .923 217 18.5 3.00 1.17  267 26.8 1.97 .883 212 18.8 2.11 .941 226 19.7
bitvector-regression/recHanoi03_false-unreach-call.c 2.12 .916 226 19.9 2.72 1.01  257 22.1 1.95 .867 217 17.4 2.21 .956 225 15.6
bitvector-regression/signextension2_false-unreach-call.c 2.10 .952 224 19.6 3.17 1.16  271 28.1 2.03 .922 218 18.8 2.22 .991 224 21.0
bitvector-regression/signextension_false-unreach-call.c 2.17 .952 220 19.2 3.26 1.17  267 25.4 2.02 .905 213 18.3 2.06 .938 223 19.3
bitvector-regression/implicitunsignedconversion_true-unreach-call.c 2.14 .920 222 17.8 2.36 .916 259 20.2 1.94 .872 211 16.6 2.11 .957 223 18.0
bitvector-regression/integerpromotion_true-unreach-call.c 2.21 .944 223 18.5 2.28 .905 261 20.7 2.22 .974 218 18.9 2.09 .923 226 19.1
bitvector-regression/signextension2_true-unreach-call.c 2.08 .910 221 19.8 2.57 .998 257 24.7 2.05 .920 215 20.6 2.10 .913 208 18.9
bitvector-regression/signextension_true-unreach-call.c 2.23 .955 227 19.1 2.49 .975 255 20.1 2.16 .920 218 19.3 2.15 .953 207 19.7
bitvector-loops/diamond_false-unreach-call2.i 2.67 1.15  268 24.8 6.26 1.59  380 40.4 2.20 .997 221 20.1 2.50 1.07  279 22.9
bitvector-loops/overflow_false-unreach-call1.i 902    878     783 12700   909    447     10800 8810   901    898     388 11200   901    881     6020 10400  
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 3.43 1.45  290 28.0 12.8  5.73  533 114   4.98 3.14  297 50.4 901    897     794 12200  
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.11 2.16  364 56.1 22.3  4.70  941 157   6.64 3.19  330 71.8 8.60 4.52  361 85.0
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 4.93 1.67  306 39.4 17.3  3.75  839 125   4.57 2.18  296 42.9 5.42 2.79  314 50.9
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 6.02 1.93  331 54.7 21.6  4.56  926 160   5.44 2.83  318 47.8 6.55 3.53  327 67.1
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 3.95 1.48  283 31.1 8.83 2.21  460 61.9 3.55 1.53  277 35.4 4.21 1.77  301 37.3
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 6.69 2.17  346 49.2 9.81 2.30  515 68.1 6.47 3.19  332 54.5 8.92 5.25  364 85.7
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 877    859     15000 9440   904    436     8010 8040   5.15 2.88  312 46.9 7.63 4.58  358 76.3
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.31 1.60  287 37.9 7.26 1.82  438 50.8 4.36 2.13  289 39.0 5.64 2.84  314 52.6
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 5.35 1.74  326 44.4 9.06 2.20  476 66.7 5.02 2.56  307 45.5 7.21 3.71  344 70.9
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.36 1.25  267 28.3 3.95 1.23  277 34.9 2.63 1.18  226 25.2 3.19 1.40  273 29.5
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.80 1.47  266 33.6 4.79 1.38  280 34.9 3.39 1.44  269 33.1 4.02 1.70  294 35.5
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 4.53 1.71  295 35.3 16.3  3.57  634 118   4.10 1.71  287 33.3 5.58 2.11  310 51.0
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 4.46 1.75  300 35.0 14.2  3.18  620 99.2 4.10 1.74  292 36.5 5.07 2.03  308 44.8
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 4.69 1.79  308 39.8 17.4  3.79  664 114   4.30 1.83  301 39.3 5.48 2.34  323 47.6
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 4.43 1.68  301 41.1 16.1  3.50  620 113   4.23 1.73  292 36.7 4.82 1.88  306 43.0
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 3.14 1.24  268 25.1 6.82 1.74  417 50.8 2.93 1.24  263 24.5 3.11 1.27  282 25.5
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 5.68 2.45  336 50.3 22.4  4.76  870 154   5.18 2.41  314 53.1 25.2  17.5   498 278  
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 5.51 2.27  322 49.8 17.5  3.83  654 124   4.92 2.17  304 44.3 18.1  12.1   473 183  
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 4.40 1.70  293 34.8 13.6  2.98  572 88.2 4.04 1.65  289 33.7 6.15 2.46  312 54.7
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 3.37 1.29  266 29.9 7.68 1.93  458 55.2 3.35 1.34  272 30.3 4.41 1.64  295 40.9
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 4.22 1.62  289 32.0 11.5  2.62  504 80.2 3.69 1.53  283 33.7 4.31 1.75  303 43.5
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 3.94 1.53  283 33.6 11.2  2.53  487 80.4 3.65 1.52  280 31.6 4.38 1.78  301 42.6
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 3.41 1.39  272 27.5 6.22 1.65  358 45.3 2.83 1.13  258 27.4 2.84 1.17  277 23.2
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 9.27 5.69  422 88.3 17.9  3.92  673 129   51.9  45.3   679 547   13.3  7.45  490 131  
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 9.89 5.91  449 93.1 16.6  3.66  668 121   24.9  18.4   596 296   22.9  16.8   493 221  
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 11.1  7.25  515 105   18.9  4.21  802 150   28.2  22.8   616 332   21.4  15.3   517 241  
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 9.82 6.03  429 105   20.9  4.52  751 141   14.2  9.63  444 169   16.6  11.4   496 184  
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 904    893     5090 7790   13.0  2.93  529 93.9 901    891     4670 9910   15.2  6.78  530 136  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 907    899     8990 7520   4.40 1.34  284 34.6 97.9  92.2   1430 1120   5.61 2.04  299 47.3
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 557    550     15000 5680   3.37 1.11  267 26.3 2.43 1.14  222 23.2 2.77 1.18  270 24.7
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 903    895     5060 6170   12.6  2.85  630 86.0 901    892     5200 10400   22.9  14.9   670 229  
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 904    896     5040 6420   14.0  3.10  625 101   901    892     5090 10600   18.3  11.1   615 199  
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 904    894     5060 6370   18.1  3.97  685 146   901    891     5290 9900   16.3  9.07  515 176  
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 904    894     5070 5810   30.1  6.52  1140 211   901    891     5680 11600   24.1  17.0   598 263  
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 904    895     5050 6340   26.5  6.41  937 197   901    892     5790 11900   26.5  18.4   584 324  
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 904    896     5050 6550   17.0  3.76  650 113   901    892     5420 9830   21.3  13.4   599 231  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 2.85 1.21  269 28.2 7.20 1.73  455 52.1 2.43 1.05  221 23.7 2.39 1.05  231 21.1
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 2.91 1.21  270 27.1 7.12 1.82  457 55.9 2.46 1.07  222 22.4 2.48 1.09  215 24.8
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 396    390     15000 4450   5.76 1.48  320 43.9 2.26 .949 225 23.8 2.41 1.02  229 23.3
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 401    394     15000 3830   5.37 1.42  322 41.2 2.18 .977 220 22.8 2.33 .999 225 23.2
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 391    385     15000 4280   5.64 1.53  335 46.9 2.33 .989 215 23.7 2.42 1.08  210 20.4
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 409    402     15000 2920   4.87 1.36  291 36.6 2.31 1.01  220 22.8 2.43 1.05  234 20.3
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 396    390     15000 4260   5.51 1.54  313 39.8 2.27 1.00  224 20.1 2.35 1.03  216 22.2
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 410    403     15000 3560   5.56 1.43  329 40.4 2.31 1.02  221 21.7 2.41 1.06  226 22.6
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 393    387     15000 3640   4.28 1.26  287 33.5 2.09 .961 215 21.1 2.23 .986 226 21.9
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 406    400     15000 4020   4.62 1.32  300 36.9 2.24 .950 212 18.0 2.31 .995 228 19.9
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 383    377     15000 5000   4.46 1.31  303 32.5 2.19 .939 215 19.1 2.34 .991 229 21.5
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 408    401     15000 4040   5.06 1.38  327 35.1 2.21 .962 222 19.9 2.42 .989 230 20.1
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 403    397     15000 4280   5.50 1.40  318 43.8 2.41 1.05  222 21.0 2.31 .992 232 17.5
ntdrivers/cdaudio_false-unreach-call.i.cil.c 34.9  21.7   1110 385   902    424     5680 8110   901    883     780 9300   901    856     2460 7280  
ntdrivers/diskperf_false-unreach-call.i.cil.c 8.65 3.21  433 69.9 30.2  6.38  1280 207   9.09 5.21  442 95.1 12.8  8.38  467 133  
ntdrivers/floppy_false-unreach-call.i.cil.c 20.6  11.1   1140 186   54.8  15.0   2080 426   148    134     1030 1570   64.7  53.7   1110 643  
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 5.88 2.07  335 48.4 12.6  2.81  510 90.9 5.96 2.71  316 55.5 6.95 3.51  331 66.3
ntdrivers/parport_false-unreach-call.i.cil.c 17.0  6.66  609 153   42.5  11.5   1900 328   963    529     9970 8950   12.2  4.34  476 112  
ntdrivers/cdaudio_true-unreach-call.i.cil.c 9.91 3.06  470 80.6 26.2  5.49  807 214   17.6  10.1   562 175   16.2  9.03  567 150  
ntdrivers/diskperf_true-unreach-call.i.cil.c 908    901     9800 5020   907    438     11800 7380   11.9  8.09  550 128   15.2  10.6   463 149  
ntdrivers/floppy2_true-unreach-call.i.cil.c 906    888     6700 6380   926    449     4850 9900   76.0  63.1   1070 881   57.9  45.0   1120 628  
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 909    895     10100 7010   904    405     8890 7750   172    160     1020 2020   80.1  69.7   1130 893  
ntdrivers/parport_true-unreach-call.i.cil.c 960    722     8530 9430   932    604     8500 10500   968    537     9830 8830   12.6  4.32  502 109  
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 8.82 4.56  467 72.4 33.0  7.41  1150 241   6.26 2.89  339 58.7 9.89 4.43  467 93.5
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 7.50 3.47  384 68.0 28.8  6.03  890 191   5.61 2.48  321 53.1 7.44 3.23  359 63.0
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 7.87 3.60  399 73.1 29.7  6.25  900 192   5.57 2.47  322 52.2 7.25 3.12  355 70.9
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 7.47 3.39  386 68.6 26.3  5.55  939 173   5.38 2.46  317 51.6 7.68 3.47  355 71.5
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 6.16 2.60  334 57.9 20.6  4.37  689 146   4.80 1.91  307 38.8 5.72 2.29  326 55.1
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 5.91 2.42  331 52.8 19.1  4.09  695 132   4.74 1.94  307 44.1 5.60 2.25  322 48.7
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 5.89 2.37  333 51.5 19.5  4.17  675 129   4.73 1.92  307 40.4 5.73 2.32  324 53.1
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 6.07 2.45  337 55.2 19.1  4.15  669 124   4.77 1.90  307 42.1 5.67 2.27  321 50.8
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 8.12 3.59  428 77.3 28.8  6.32  913 221   6.14 2.61  329 52.5 10.9  4.52  461 97.8
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 7.92 3.53  423 75.7 28.8  5.99  860 195   5.67 2.48  322 51.6 9.40 3.74  374 77.0
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 13.6  7.96  596 98.1 44.3  11.9   1480 331   10.2  5.46  489 101   13.5  6.38  524 114  
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 7.97 3.48  425 74.6 28.4  5.98  918 209   5.87 2.54  321 55.1 7.20 3.11  367 61.8
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 14.4  8.32  602 116   46.2  12.1   1320 355   9.71 5.28  460 109   13.6  6.34  535 128  
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 7.06 2.96  369 58.9 24.2  5.16  873 175   5.50 2.29  315 46.7 7.02 2.83  348 71.9
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 7.85 3.57  421 67.5 26.1  5.50  865 179   5.91 2.57  322 62.0 8.74 3.68  423 75.1
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 7.87 3.50  426 73.3 29.6  6.26  960 221   5.90 2.49  328 48.8 7.84 3.20  378 70.9
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 8.08 3.73  425 69.7 26.3  5.61  909 184   6.07 2.59  330 53.4 10.2  4.36  439 95.7
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 14.0  7.84  611 143   45.5  12.4   1540 332   9.81 5.18  474 87.5 18.6  11.9   532 200  
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 7.81 3.58  419 73.2 27.8  5.92  951 218   6.00 2.56  328 54.6 10.8  4.36  460 94.6
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 29.2  22.6   846 272   26.5  5.64  919 206   41.1  34.7   715 463   32.2  25.9   546 366  
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 23.2  17.1   854 189   30.2  6.90  993 206   29.2  23.7   621 382   28.1  20.8   583 338  
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 21.5  16.0   813 193   25.1  5.37  879 174   32.0  27.3   598 384   22.9  15.3   609 240  
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 22.7  16.9   811 252   24.0  5.23  886 185   11.9  7.77  481 112   28.1  21.7   594 367  
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 903    893     3370 7160   35.3  8.51  1150 279   901    886     4400 10200   25.2  15.0   691 238  
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 903    892     3110 6130   17.5  3.86  662 117   901    885     4740 9570   24.6  14.5   716 273  
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 903    893     3120 6530   197    86.8   4290 1760   901    884     5000 10000   76.2  67.0   832 797  
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 903    893     3030 6060   100    37.7   2980 795   902    880     5450 9260   32.0  21.2   667 361  
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 903    893     3060 6810   54.7  18.0   1890 449   902    886     5050 10300   192    180     930 2480  
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 903    893     3020 6800   87.4  33.4   2870 712   901    887     5140 11000   26.6  17.2   647 307  
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 903    893     3100 8440   29.7  7.31  1150 196   901    884     5230 11300   21.5  12.1   674 239  
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 903    894     3040 7480   82.1  29.7   2600 673   901    878     5890 9510   31.8  21.2   719 325  
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 903    894     3060 6480   88.7  33.3   2780 699   901    887     5030 12900   35.4  25.7   737 354  
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 903    894     3090 6310   37.3  8.90  1390 280   901    886     5210 10200   30.4  19.5   672 359  
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 903    893     3150 7420   88.4  32.2   2820 697   469    459     15000 5220   31.3  21.9   623 364  
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 903    893     3110 5610   35.3  9.08  1400 264   902    885     5000 11000   31.4  21.5   662 357  
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 903    893     3070 5970   84.2  32.6   2910 757   902    888     5160 9210   259    249     847 3750  
eca-rers2012/Problem01_label15_false-unreach-call.c 10.3  3.38  456 83.9 30.4  6.43  1140 219   8.51 2.88  458 72.5 10.0  2.98  500 83.5
eca-rers2012/Problem01_label20_false-unreach-call.c 11.7  4.20  475 86.0 37.0  9.31  1640 255   11.3  3.84  495 100   13.0  3.71  522 87.6
eca-rers2012/Problem01_label21_false-unreach-call.c 10.5  3.04  464 85.3 30.9  6.68  1220 229   8.77 2.84  463 78.8 10.9  3.20  505 83.0
eca-rers2012/Problem01_label32_false-unreach-call.c 11.9  4.10  477 112   39.2  9.76  1630 289   10.5  3.37  490 91.4 14.3  4.32  530 118  
eca-rers2012/Problem01_label33_false-unreach-call.c 11.2  3.66  479 89.5 34.7  8.33  1580 254   10.0  3.14  496 73.7 10.9  3.35  527 88.6
eca-rers2012/Problem01_label35_false-unreach-call.c 10.4  3.01  454 74.9 30.5  6.65  1140 205   8.12 2.71  448 70.9 9.81 2.92  499 76.8
eca-rers2012/Problem01_label37_false-unreach-call.c 10.5  3.54  482 96.0 32.0  6.88  1430 220   10.7  3.35  494 83.7 12.2  3.49  523 104  
eca-rers2012/Problem01_label38_false-unreach-call.c 9.54 3.04  446 83.9 28.4  6.38  1170 193   8.04 2.81  444 67.3 11.0  3.20  499 77.7
eca-rers2012/Problem01_label44_false-unreach-call.c 8.90 2.68  455 70.7 25.4  5.25  1110 173   7.65 2.46  438 64.9 9.85 2.93  492 78.6
eca-rers2012/Problem01_label47_false-unreach-call.c 11.7  3.99  488 96.2 35.7  8.47  1530 287   11.0  3.44  496 90.3 12.3  3.65  533 94.9
eca-rers2012/Problem01_label50_false-unreach-call.c 10.8  3.18  460 90.9 32.0  6.64  1180 234   8.34 2.73  450 78.1 13.1  3.79  508 100  
eca-rers2012/Problem01_label56_false-unreach-call.c 10.7  3.41  473 103   33.4  7.46  1550 253   9.85 3.07  506 75.8 12.6  3.63  523 108  
eca-rers2012/Problem01_label57_false-unreach-call.c 11.0  3.45  483 94.0 35.6  7.63  1240 238   9.59 3.04  464 90.0 12.7  3.60  525 110  
eca-rers2012/Problem02_label13_false-unreach-call.c 6.75 2.11  339 60.9 17.8  3.82  676 137   6.37 2.06  332 56.3 7.19 2.24  446 61.8
eca-rers2012/Problem02_label16_false-unreach-call.c 6.59 2.09  334 53.1 19.0  4.05  839 127   6.20 2.11  321 52.4 7.48 2.37  444 66.9
eca-rers2012/Problem02_label43_false-unreach-call.c 6.86 2.14  337 62.3 18.3  3.85  830 118   6.31 2.21  325 60.0 7.48 2.29  427 58.9
eca-rers2012/Problem02_label44_false-unreach-call.c 6.71 2.13  336 55.7 18.7  4.01  706 144   6.55 2.21  335 60.1 7.43 2.38  435 56.5
eca-rers2012/Problem02_label45_false-unreach-call.c 8.29 2.41  450 74.1 22.1  4.68  858 147   7.65 2.40  428 56.4 9.84 2.93  482 73.3
eca-rers2012/Problem02_label50_false-unreach-call.c 7.95 2.43  425 71.3 23.6  5.04  1100 165   7.48 2.37  397 56.2 9.10 2.71  481 78.3
eca-rers2012/Problem02_label59_false-unreach-call.c 8.10 2.42  448 66.8 24.4  5.14  871 156   7.19 2.36  412 67.5 8.62 2.58  473 67.7
eca-rers2012/Problem03_label09_false-unreach-call.c 18.2  7.53  772 160   62.9  17.5   2890 540   18.3  6.84  825 178   22.9  7.87  773 172  
eca-rers2012/Problem03_label13_false-unreach-call.c 15.9  6.01  759 135   56.8  14.4   2210 429   16.5  5.68  688 130   22.5  6.61  686 189  
eca-rers2012/Problem03_label26_false-unreach-call.c 15.3  4.93  676 124   44.5  10.1   1780 322   14.5  4.84  568 133   19.2  6.14  678 153  
eca-rers2012/Problem03_label27_false-unreach-call.c 17.4  6.73  765 140   53.7  14.5   2580 365   16.6  5.61  710 151   20.1  6.99  677 151  
eca-rers2012/Problem03_label28_false-unreach-call.c 16.9  6.24  762 153   58.6  15.0   2180 476   18.4  5.90  624 162   19.6  7.11  657 164  
eca-rers2012/Problem03_label31_false-unreach-call.c 16.0  6.28  752 135   53.1  13.1   2220 375   17.5  5.54  662 139   21.3  7.18  692 177  
eca-rers2012/Problem03_label35_false-unreach-call.c 18.8  8.00  787 167   66.0  18.3   2570 486   19.5  7.66  843 175   21.1  8.09  730 209  
eca-rers2012/Problem03_label37_false-unreach-call.c 16.4  6.34  751 139   51.2  13.4   2260 433   16.8  5.84  643 153   18.5  6.16  676 154  
eca-rers2012/Problem03_label39_false-unreach-call.c 19.4  7.81  780 170   62.5  17.0   2480 503   18.0  6.83  840 154   20.0  7.11  738 163  
eca-rers2012/Problem03_label43_false-unreach-call.c 17.9  6.59  762 133   54.7  14.3   2540 412   16.5  5.73  702 156   19.4  6.44  722 182  
eca-rers2012/Problem03_label45_false-unreach-call.c 19.8  7.98  778 173   65.9  19.0   2870 453   17.1  6.57  674 144   25.1  9.26  796 209  
eca-rers2012/Problem03_label50_false-unreach-call.c 18.7  6.34  754 156   56.4  13.8   2420 459   16.1  6.06  664 153   20.9  7.52  702 168  
eca-rers2012/Problem03_label52_false-unreach-call.c 19.7  8.63  780 161   69.1  19.0   2700 480   19.2  7.67  689 159   21.6  7.31  727 146  
eca-rers2012/Problem04_label04_false-unreach-call.c 405    382     2280 4630   901    385     6480 7580   232    205     3810 2170   96.5  70.6   2980 868  
eca-rers2012/Problem04_label06_false-unreach-call.c 510    488     2290 5090   901    382     6510 8130   247    222     4060 2280   108    83.4   3240 1130  
eca-rers2012/Problem04_label09_false-unreach-call.c 331    310     2180 3260   901    387     6540 8280   170    147     3150 1600   84.1  60.3   2820 973  
eca-rers2012/Problem04_label11_false-unreach-call.c 444    422     2230 4280   901    385     6570 8470   205    181     3590 2110   158    133     3200 1710  
eca-rers2012/Problem04_label12_false-unreach-call.c 873    849     2630 11000   901    381     6740 8740   427    395     6650 3680   129    101     3790 1340  
eca-rers2012/Problem04_label13_false-unreach-call.c 350    328     2140 3320   902    383     6610 8520   171    147     3100 1780   121    95.8   2940 1120  
eca-rers2012/Problem04_label14_false-unreach-call.c 299    277     2400 3030   901    387     6550 7860   192    167     3610 1860   84.8  61.7   2840 974  
eca-rers2012/Problem04_label15_false-unreach-call.c 373    351     2160 3310   901    390     6420 7510   184    161     3330 1950   80.7  56.8   2850 808  
eca-rers2012/Problem04_label17_false-unreach-call.c 341    320     2240 3300   901    383     6590 7400   151    130     3040 1650   90.6  64.1   2740 920  
eca-rers2012/Problem04_label18_false-unreach-call.c 382    359     2160 3980   901    384     6490 7660   230    201     4280 2620   83.5  58.9   2740 897  
eca-rers2012/Problem04_label19_false-unreach-call.c 595    571     3440 6430   901    386     6390 7690   315    287     5260 3070   116    91.2   3620 1010  
eca-rers2012/Problem04_label26_false-unreach-call.c 461    438     2210 4840   902    385     6350 7350   211    188     3890 2520   95.3  69.3   2930 985  
eca-rers2012/Problem04_label27_false-unreach-call.c 367    346     2190 3800   901    385     6550 7620   176    152     3070 1710   85.3  60.7   2850 954  
eca-rers2012/Problem04_label31_false-unreach-call.c 727    705     2370 8140   902    388     6460 7710   307    277     5050 3110   95.1  69.3   3100 955  
eca-rers2012/Problem04_label32_false-unreach-call.c 324    303     2340 3090   901    385     6620 9410   181    156     3640 1780   89.9  66.8   2680 1040  
eca-rers2012/Problem04_label35_false-unreach-call.c 362    340     2390 3480   902    384     6490 8490   194    169     3660 2490   86.4  60.8   2740 844  
eca-rers2012/Problem04_label36_false-unreach-call.c 506    483     2140 5190   902    383     6560 9480   183    160     3520 1770   81.2  57.0   2810 749  
eca-rers2012/Problem04_label38_false-unreach-call.c 640    618     2270 6190   902    387     6370 7460   203    180     3450 1830   87.8  64.9   3000 867  
eca-rers2012/Problem04_label39_false-unreach-call.c 531    506     2400 5510   901    386     6410 8240   245    220     4180 3140   103    78.9   2970 1030  
eca-rers2012/Problem04_label40_false-unreach-call.c 431    408     3640 3760   901    384     6580 7750   320    281     6050 3570   95.0  71.7   2980 918  
eca-rers2012/Problem04_label45_false-unreach-call.c 439    416     2270 4450   901    382     6580 8000   202    180     3660 2150   90.6  66.3   3090 854  
eca-rers2012/Problem04_label52_false-unreach-call.c 572    550     2420 6270   902    383     6770 8490   248    221     4470 2320   107    82.1   2960 1310  
eca-rers2012/Problem04_label55_false-unreach-call.c 397    374     2240 3760   901    384     6300 7300   151    127     2790 1650   82.0  58.3   2890 825  
eca-rers2012/Problem04_label58_false-unreach-call.c 489    464     2470 5130   901    380     6700 8260   276    250     4520 2800   111    82.6   2960 1060  
eca-rers2012/Problem05_label00_false-unreach-call.c 136    117     2870 1330   664    257     6970 5940   109    83.8   2500 940   119    92.4   2600 1180  
eca-rers2012/Problem05_label01_false-unreach-call.c 132    111     2950 1620   587    228     6390 4570   111    87.3   2540 1190   118    88.5   2500 1120  
eca-rers2012/Problem05_label11_false-unreach-call.c 143    123     2740 1600   901    318     9280 7030   111    87.8   2920 1130   112    87.2   2470 1040  
eca-rers2012/Problem05_label13_false-unreach-call.c 138    119     2890 1400   875    304     9530 6380   100    76.7   2520 1030   124    95.8   2500 1420  
eca-rers2012/Problem05_label15_false-unreach-call.c 142    121     3030 1490   903    325     9430 7110   109    85.9   2560 1040   121    94.9   2510 1240  
eca-rers2012/Problem05_label18_false-unreach-call.c 125    105     2700 1250   675    264     6620 5120   101    75.4   2350 987   103    76.0   2470 951  
eca-rers2012/Problem05_label24_false-unreach-call.c 149    129     2720 1730   645    259     6380 5600   106    77.1   2350 957   120    92.5   2600 1300  
eca-rers2012/Problem05_label26_false-unreach-call.c 129    109     2700 1280   890    293     9800 6210   103    77.5   2460 944   125    95.1   2570 1260  
eca-rers2012/Problem05_label30_false-unreach-call.c 134    114     2910 1350   664    259     6670 5580   102    78.8   2380 958   106    79.3   2360 1020  
eca-rers2012/Problem05_label32_false-unreach-call.c 139    119     2970 1760   917    341     9350 7370   100    78.1   2310 1080   142    113     2580 1550  
eca-rers2012/Problem05_label33_false-unreach-call.c 127    108     2770 1380   896    316     9840 7470   101    78.1   2430 964   138    110     2560 1330  
eca-rers2012/Problem05_label36_false-unreach-call.c 149    129     2830 1390   541    212     6200 4850   101    77.6   2450 1130   108    82.2   2480 1100  
eca-rers2012/Problem05_label37_false-unreach-call.c 132    113     2950 1390   731    289     6760 5860   104    79.9   2460 1040   134    107     2490 1460  
eca-rers2012/Problem05_label38_false-unreach-call.c 138    119     2880 1380   658    254     7080 5440   99.1  75.1   2470 1100   184    157     2540 2190  
eca-rers2012/Problem05_label39_false-unreach-call.c 124    104     3110 1250   665    260     6700 6170   105    81.4   2300 1130   163    136     2520 1490  
eca-rers2012/Problem05_label40_false-unreach-call.c 144    125     2970 1440   603    239     6250 4910   107    79.2   2500 1250   123    94.9   2590 1280  
eca-rers2012/Problem05_label41_false-unreach-call.c 149    131     2800 1440   592    223     6610 4530   107    83.1   2520 998   157    131     2530 1760  
eca-rers2012/Problem05_label44_false-unreach-call.c 112    92.7   2880 1110   901    370     6750 7530   96.1  73.6   2320 927   154    121     2470 1460  
eca-rers2012/Problem05_label47_false-unreach-call.c 141    120     2710 1340   594    236     6250 4590   114    88.8   2520 1100   114    84.8   2600 1120  
eca-rers2012/Problem05_label48_false-unreach-call.c 132    111     2770 1260   924    355     8640 7870   105    80.0   2280 1130   135    106     2540 1410  
eca-rers2012/Problem05_label51_false-unreach-call.c 120    100     2730 1390   892    313     9540 7290   90.8  68.4   2300 814   137    108     2460 1420  
eca-rers2012/Problem05_label55_false-unreach-call.c 144    126     3040 1860   808    321     7260 6620   102    77.1   2340 911   119    87.5   2590 1170  
eca-rers2012/Problem05_label57_false-unreach-call.c 139    120     2880 1630   789    306     7280 6510   98.3  76.2   2330 891   114    87.5   2480 1300  
eca-rers2012/Problem05_label58_false-unreach-call.c 129    110     2890 1360   936    402     6780 7630   107    82.8   2520 971   141    114     2630 1740  
eca-rers2012/Problem06_label00_false-unreach-call.c 96.1  78.6   2790 1070   531    182     7300 3800   142    125     15000 1520   78.7  56.6   2320 773  
eca-rers2012/Problem06_label01_false-unreach-call.c 91.1  73.4   2390 1050   445    155     6640 3160   81.7  58.9   2090 864   86.7  62.2   2270 909  
eca-rers2012/Problem06_label02_false-unreach-call.c 92.8  73.7   2270 820   515    173     7270 4050   88.6  66.7   2190 756   113    88.8   2410 1100  
eca-rers2012/Problem06_label04_false-unreach-call.c 113    95.1   2380 1040   472    165     6550 3700   140    124     15000 1500   105    80.5   2510 1060  
eca-rers2012/Problem06_label05_false-unreach-call.c 106    88.0   2390 1020   410    149     5940 3450   81.9  58.4   1880 694   74.3  50.8   2130 784  
eca-rers2012/Problem06_label09_false-unreach-call.c 108    89.9   2730 932   520    185     6910 3900   137    119     15000 1790   91.3  62.9   2160 860  
eca-rers2012/Problem06_label10_false-unreach-call.c 94.5  75.9   2520 1100   388    137     5870 3120   123    106     15000 1430   84.4  57.4   2150 783  
eca-rers2012/Problem06_label11_false-unreach-call.c 88.2  70.2   2370 1000   442    151     6600 3380   75.1  51.7   1910 760   86.9  63.2   2160 766  
eca-rers2012/Problem06_label12_false-unreach-call.c 93.6  74.6   2290 998   385    135     5990 3050   109    87.0   2230 950   110    85.5   2550 1070  
eca-rers2012/Problem06_label15_false-unreach-call.c 86.8  67.3   2550 988   403    136     6290 3190   73.7  52.5   1960 663   84.1  57.7   2080 733  
eca-rers2012/Problem06_label20_false-unreach-call.c 111    92.9   2680 1130   431    157     6060 3190   139    121     15000 1540   96.1  74.4   2690 908  
eca-rers2012/Problem06_label21_false-unreach-call.c 95.1  77.7   2800 1050   459    159     6520 3730   85.5  66.3   2230 924   103    79.2   2500 968  
eca-rers2012/Problem06_label24_false-unreach-call.c 119    102     2620 1310   538    192     6960 4200   147    127     15000 1460   102    75.0   2700 863  
eca-rers2012/Problem06_label27_false-unreach-call.c 92.8  74.8   2520 796   492    174     6720 3710   73.1  55.1   2020 686   85.9  62.3   2290 791  
eca-rers2012/Problem06_label29_false-unreach-call.c 110    93.1   2780 1070   543    190     6890 4310   134    118     15000 1700   92.1  68.5   2540 809  
eca-rers2012/Problem06_label33_false-unreach-call.c 93.3  75.9   2760 952   467    163     6780 3730   128    112     15000 1410   98.8  71.5   2240 970  
eca-rers2012/Problem06_label36_false-unreach-call.c 87.2  69.7   2670 973   490    168     7020 3620   77.0  56.1   1920 720   97.4  69.2   2280 1070  
eca-rers2012/Problem06_label37_false-unreach-call.c 101    82.7   2350 1070   515    174     7140 4610   136    120     15000 1480   94.7  68.6   2280 978  
eca-rers2012/Problem06_label38_false-unreach-call.c 93.0  74.3   2400 1040   506    171     7200 4160   81.7  58.5   1990 747   91.5  68.7   2280 913  
eca-rers2012/Problem06_label44_false-unreach-call.c 94.7  77.3   2770 1140   454    159     6550 3570   72.4  51.5   1800 825   89.7  65.4   2060 837  
eca-rers2012/Problem06_label47_false-unreach-call.c 93.4  74.8   2410 989   493    163     7120 4220   64.3  44.7   1830 659   73.2  49.5   2050 685  
eca-rers2012/Problem06_label48_false-unreach-call.c 95.4  78.0   2380 965   512    172     7320 4160   140    121     15000 1510   85.9  63.6   2330 848  
eca-rers2012/Problem06_label56_false-unreach-call.c 107    89.0   2750 921   545    189     7210 4620   139    123     15000 1680   103    77.6   2450 988  
eca-rers2012/Problem06_label58_false-unreach-call.c 83.2  64.9   2420 947   429    147     6490 3210   69.7  46.6   1820 641   85.3  59.5   2070 804  
eca-rers2012/Problem06_label59_false-unreach-call.c 118    101     2710 1300   477    170     6630 3860   137    120     15000 1620   90.1  65.3   2470 876  
eca-rers2012/Problem07_label03_false-unreach-call.c 912    852     6340 5750   913    385     8950 7750   912    840     11600 9690   908    817     5420 8410  
eca-rers2012/Problem07_label05_false-unreach-call.c 912    843     7450 12300   902    372     8870 7810   912    841     11700 10500   908    817     5150 9150  
eca-rers2012/Problem07_label06_false-unreach-call.c 912    841     7420 9440   911    381     8940 7640   912    842     11300 10800   908    824     5450 8290  
eca-rers2012/Problem07_label07_false-unreach-call.c 912    853     6330 8110   921    393     8920 6950   912    839     11300 10100   907    824     5480 9830  
eca-rers2012/Problem07_label09_false-unreach-call.c 912    843     7410 9380   902    367     9280 8330   912    841     11000 9090   910    854     5110 7540  
eca-rers2012/Problem07_label11_false-unreach-call.c 912    852     6390 10400   903    373     8950 7850   912    842     11600 9580   912    857     4670 10900  
eca-rers2012/Problem07_label15_false-unreach-call.c 912    851     6670 7240   903    372     8970 7740   912    843     11200 11200   912    857     5110 8140  
eca-rers2012/Problem07_label18_false-unreach-call.c 912    846     6810 8460   903    371     9250 9170   912    843     11300 10100   907    839     6000 8140  
eca-rers2012/Problem07_label19_false-unreach-call.c 909    843     6310 8250   901    370     9200 8680   912    842     11400 10600   905    804     8370 7860  
eca-rers2012/Problem07_label20_false-unreach-call.c 908    844     6840 9790   907    367     8900 7020   912    837     11200 12100   909    822     5420 8500  
eca-rers2012/Problem07_label23_false-unreach-call.c 914    844     6780 7230   901    374     8870 7670   912    843     11200 9730   908    821     5770 10100  
eca-rers2012/Problem07_label30_false-unreach-call.c 912    858     5600 8230   901    375     8040 7340   912    836     11300 9560   912    828     5490 9250  
eca-rers2012/Problem07_label31_false-unreach-call.c 912    837     7500 11100   911    385     8920 7090   912    840     11400 9860   907    845     5350 8050  
eca-rers2012/Problem07_label35_false-unreach-call.c 912    837     7530 8650   960    429     8890 7370   912    841     11100 11000   908    843     5220 8190  
eca-rers2012/Problem07_label36_false-unreach-call.c 914    853     5840 7210   901    366     9260 8870   912    842     11000 11800   915    824     5470 7140  
eca-rers2012/Problem07_label37_false-unreach-call.c 909    852     5690 7170   961    429     8950 8430   912    844     11100 9200   916    853     4750 10000  
eca-rers2012/Problem07_label39_false-unreach-call.c 912    841     6740 8110   902    374     8130 7660   912    843     11500 7850   911    816     8330 8880  
eca-rers2012/Problem07_label40_false-unreach-call.c 911    838     6830 8610   926    395     8900 7930   912    840     11500 10100   912    874     3870 7730  
eca-rers2012/Problem07_label42_false-unreach-call.c 919    864     4890 12200   911    382     8890 7710   912    843     11200 12700   909    816     5790 9010  
eca-rers2012/Problem07_label44_false-unreach-call.c 912    841     7460 10500   960    433     8970 7520   912    841     11500 12500   912    818     5480 8830  
eca-rers2012/Problem07_label46_false-unreach-call.c 912    839     7480 10700   901    371     9070 8100   912    841     11000 11900   910    849     5200 6750  
eca-rers2012/Problem07_label47_false-unreach-call.c 912    839     7470 8630   907    378     8910 7380   912    840     11200 11500   908    818     5550 8570  
eca-rers2012/Problem07_label48_false-unreach-call.c 912    840     7430 10600   903    373     8870 8190   912    841     11000 10200   907    846     5250 8960  
eca-rers2012/Problem07_label58_false-unreach-call.c 909    845     6120 8720   901    370     8890 7250   912    841     11300 9430   909    820     5470 8120  
eca-rers2012/Problem08_label01_false-unreach-call.c 912    851     6500 6990   902    363     9560 7800   915    807     12700 8000   909    776     6980 6640  
eca-rers2012/Problem08_label02_false-unreach-call.c 912    867     5190 6310   961    423     9550 7510   912    819     13100 9080   907    747     9460 8500  
eca-rers2012/Problem08_label04_false-unreach-call.c 912    831     6660 8380   932    388     9210 9020   912    835     10400 6960   909    770     6960 8700  
eca-rers2012/Problem08_label05_false-unreach-call.c 912    857     4920 6140   915    383     9130 7190   916    806     12300 6650   908    831     6390 9180  
eca-rers2012/Problem08_label06_false-unreach-call.c 910    818     6960 6730   961    420     9590 9120   919    810     12600 6260   914    825     6310 7280  
eca-rers2012/Problem08_label07_false-unreach-call.c 915    822     8100 7120   902    367     9290 7240   891    799     15000 6990   912    823     6230 6700  
eca-rers2012/Problem08_label10_false-unreach-call.c 912    816     8140 5990   902    366     9460 8370   912    835     10100 6510   909    772     7030 6270  
eca-rers2012/Problem08_label13_false-unreach-call.c 914    866     5300 10900   928    394     9240 7370   916    809     11500 7450   953    777     7160 8900  
eca-rers2012/Problem08_label15_false-unreach-call.c 912    806     8040 9100   943    410     9300 7820   912    827     12000 7360   916    783     6950 7680  
eca-rers2012/Problem08_label24_false-unreach-call.c 911    812     7340 6750   903    373     9200 7940   912    836     13100 8390   908    748     9970 8090  
eca-rers2012/Problem08_label25_false-unreach-call.c 911    811     7380 6860   901    365     9260 7780   915    806     12000 7770   912    820     6390 7910  
eca-rers2012/Problem08_label26_false-unreach-call.c 912    816     7270 6700   916    382     9170 7240   913    808     12600 6900   908    741     9300 7680  
eca-rers2012/Problem08_label28_false-unreach-call.c 913    806     8030 7230   910    374     9160 7430   915    808     12400 6470   906    763     9300 7580  
eca-rers2012/Problem08_label29_false-unreach-call.c 909    817     6970 9020   904    370     9190 8090   915    799     13300 8280   912    770     9360 7100  
eca-rers2012/Problem08_label34_false-unreach-call.c 911    814     7410 8320   903    358     9160 6670   916    812     13100 6780   913    744     9560 8200  
eca-rers2012/Problem08_label37_false-unreach-call.c 912    831     6670 7410   902    356     9140 7340   944    835     12000 7730   912    780     6790 7260  
eca-rers2012/Problem08_label43_false-unreach-call.c 912    866     5320 7240   903    366     9180 7550   915    809     11300 6920   910    772     6950 9380  
eca-rers2012/Problem08_label46_false-unreach-call.c 912    864     5370 7170   903    369     9280 6610   916    808     11400 6920   907    737     9400 8860  
eca-rers2012/Problem08_label48_false-unreach-call.c 912    804     7120 6950   902    360     9490 8320   916    813     12400 7760   912    766     9110 7370  
eca-rers2012/Problem08_label49_false-unreach-call.c 912    810     7300 7630   901    368     9260 6550   912    824     13000 6390   909    775     7010 7780  
eca-rers2012/Problem08_label50_false-unreach-call.c 909    846     6550 8910   903    368     9230 7180   909    824     11500 5910   910    751     9390 7810  
eca-rers2012/Problem08_label51_false-unreach-call.c 912    821     7970 7190   920    387     9220 6930   915    809     11700 6250   909    780     6840 9960  
eca-rers2012/Problem08_label55_false-unreach-call.c 912    852     6700 7190   902    362     9710 7960   911    800     12400 8510   912    768     9170 8310  
eca-rers2012/Problem08_label59_false-unreach-call.c 918    777     8680 7560   901    364     9160 8790   682    607     15000 5620   911    817     6250 6980  
eca-rers2012/Problem09_label02_false-unreach-call.c 965    803     8250 8430   903    374     8610 7820   854    766     15000 7260   913    741     7700 8080  
eca-rers2012/Problem09_label03_false-unreach-call.c 913    782     8540 9570   903    358     9860 6840   918    815     12300 7920   912    770     7280 8870  
eca-rers2012/Problem09_label06_false-unreach-call.c 915    781     8400 8580   901    351     10000 6900   913    820     14800 8600   916    707     10900 7440  
eca-rers2012/Problem09_label08_false-unreach-call.c 961    804     8180 6660   912    382     8650 8100   910    810     15000 5490   908    726     7580 7420  
eca-rers2012/Problem09_label10_false-unreach-call.c 912    819     7590 8450   904    360     9800 7110   534    462     15000 5370   912    830     6820 7000  
eca-rers2012/Problem09_label11_false-unreach-call.c 912    804     8290 7000   904    359     9800 7600   709    617     15000 5070   912    730     11000 7630  
eca-rers2012/Problem09_label15_false-unreach-call.c 958    811     8400 7850   906    376     8700 7680   514    424     15000 4990   910    714     7810 8900  
eca-rers2012/Problem09_label19_false-unreach-call.c 962    806     8580 7460   903    356     9930 7750   912    810     14600 7360   912    716     11000 8070  
eca-rers2012/Problem09_label20_false-unreach-call.c 912    803     8550 7540   909    385     8680 6960   917    825     13900 8080   912    813     6840 6460  
eca-rers2012/Problem09_label32_false-unreach-call.c 913    803     8340 8230   902    379     8680 7790   882    780     15000 6310   912    742     7440 8260  
eca-rers2012/Problem09_label34_false-unreach-call.c 914    771     8470 7940   903    360     9730 6880   912    810     13500 7280   911    723     7670 8580  
eca-rers2012/Problem09_label35_false-unreach-call.c 961    807     8440 7700   903    361     9660 7430   912    808     13700 6450   908    725     7510 8110  
eca-rers2012/Problem09_label36_false-unreach-call.c 912    821     7570 8150   903    352     9960 7130   431    359     15000 4420   915    772     8270 7300  
eca-rers2012/Problem09_label38_false-unreach-call.c 912    804     8330 7670   904    361     9830 7170   916    813     12100 6880   912    735     7400 7990  
eca-rers2012/Problem09_label41_false-unreach-call.c 964    809     8580 9780   902    380     8530 7070   880    778     15000 7710   912    722     10800 7910  
eca-rers2012/Problem09_label44_false-unreach-call.c 963    808     8510 7750   903    356     9990 7000   800    698     15000 5420   910    735     7950 6970  
eca-rers2012/Problem09_label46_false-unreach-call.c 912    823     7470 10200   903    372     8580 6480   421    347     15000 3520   911    736     7800 9970  
eca-rers2012/Problem09_label47_false-unreach-call.c 964    808     8460 7610   903    379     8700 6920   755    664     15000 6430   911    734     7450 7280  
eca-rers2012/Problem09_label51_false-unreach-call.c 914    773     8560 8790   904    356     9920 6990   421    348     15000 4460   912    710     7950 8410  
eca-rers2012/Problem09_label53_false-unreach-call.c 961    807     8440 7020   902    370     8910 7520   919    814     14000 6330   916    753     7480 8190  
eca-rers2012/Problem09_label54_false-unreach-call.c 968    810     8190 8190   904    357     9910 7560   540    479     15000 4630   909    751     7380 7280  
eca-rers2012/Problem09_label56_false-unreach-call.c 912    821     7270 9300   904    356     9920 7640   914    813     11200 7940   912    727     7630 7480  
eca-rers2012/Problem09_label57_false-unreach-call.c 963    803     8540 9370   901    356     9850 7670   918    827     13500 7000   911    740     7580 7390  
eca-rers2012/Problem09_label59_false-unreach-call.c 960    811     8370 6430   918    371     9990 7080   914    821     11300 6830   910    749     7360 7500  
eca-rers2012/Problem10_label12_false-unreach-call.c 15.6  9.26  1060 147   58.1  19.9   3470 444   34.3  29.7   991 265   55.0  47.1   1180 561  
eca-rers2012/Problem10_label15_false-unreach-call.c 14.1  8.37  1030 132   55.3  18.4   3530 490   35.5  31.1   989 258   48.8  40.0   1210 426  
eca-rers2012/Problem10_label24_false-unreach-call.c 14.3  8.46  1050 131   58.5  18.7   3430 488   35.6  31.2   988 264   67.5  59.6   1180 661  
eca-rers2012/Problem10_label26_false-unreach-call.c 14.1  8.24  1050 120   61.9  20.0   3440 458   35.7  30.9   993 314   60.4  51.8   1170 441  
eca-rers2012/Problem10_label28_false-unreach-call.c 15.8  9.18  1050 124   58.9  19.4   3460 425   34.8  29.9   995 287   115    107     1180 940  
eca-rers2012/Problem10_label29_false-unreach-call.c 15.6  9.25  1060 135   60.0  19.5   3600 479   36.8  31.9   994 263   55.7  47.2   1180 480  
eca-rers2012/Problem10_label41_false-unreach-call.c 9.43 3.87  655 84.4 41.7  11.3   2120 304   20.0  16.1   725 161   28.1  23.0   800 245  
eca-rers2012/Problem10_label42_false-unreach-call.c 9.69 3.95  644 75.7 38.9  10.9   2230 284   20.6  16.2   746 153   29.8  24.3   770 238  
eca-rers2012/Problem10_label46_false-unreach-call.c 6.40 2.01  311 50.9 23.5  5.03  1120 185   8.33 5.57  498 84.9 9.50 6.15  509 77.4
eca-rers2012/Problem10_label47_false-unreach-call.c 9.80 4.08  673 88.4 38.4  10.5   2100 286   19.7  15.6   730 175   22.9  17.9   806 237  
eca-rers2012/Problem10_label48_false-unreach-call.c 14.4  8.68  1030 117   69.5  22.9   3650 596   36.6  31.8   1000 325   59.4  51.2   1120 436  
eca-rers2012/Problem10_label50_false-unreach-call.c 15.3  8.20  1040 127   72.7  26.0   4090 561   37.4  32.8   989 303   58.8  50.8   1140 433  
eca-rers2012/Problem10_label55_false-unreach-call.c 10.0  4.29  667 78.0 37.2  9.79  2110 300   20.0  15.6   728 174   23.2  18.5   797 222  
eca-rers2012/Problem10_label57_false-unreach-call.c 15.3  8.68  1040 134   58.6  20.0   3870 451   34.2  29.5   983 254   54.2  46.3   1150 425  
eca-rers2012/Problem10_label58_false-unreach-call.c 15.0  8.90  1050 131   56.2  18.6   3360 441   37.5  32.6   991 325   67.9  59.9   1150 586  
eca-rers2012/Problem11_label00_false-unreach-call.c 31.9  21.9   2050 265   121    46.3   6620 984   173    166     2140 1360   318    308     2190 2410  
eca-rers2012/Problem11_label08_false-unreach-call.c 17.8  8.36  1250 136   62.8  19.1   3930 481   89.9  81.7   1530 694   102    93.4   1640 732  
eca-rers2012/Problem11_label14_false-unreach-call.c 17.6  8.20  1260 158   83.6  30.3   4820 672   90.4  83.2   1530 664   116    108     1640 770  
eca-rers2012/Problem11_label15_false-unreach-call.c 17.2  7.23  1220 144   67.1  19.8   3620 480   86.6  79.7   1520 589   100    90.7   1640 749  
eca-rers2012/Problem11_label20_false-unreach-call.c 32.2  21.1   2050 254   134    52.2   7070 1100   184    177     2140 1310   362    352     2190 2590  
eca-rers2012/Problem11_label29_false-unreach-call.c 15.5  8.55  1230 145   65.5  20.0   3820 478   80.6  72.0   1520 629   98.1  88.3   1650 926  
eca-rers2012/Problem11_label31_false-unreach-call.c 34.0  24.8   2050 291   130    49.5   7030 1010   174    165     2170 1130   901    889     1550 6010  
eca-rers2012/Problem11_label34_false-unreach-call.c 39.0  30.0   2060 363   165    66.4   7110 1350   188    180     2150 1500   902    891     2160 6240  
eca-rers2012/Problem11_label36_false-unreach-call.c 14.9  7.29  1210 127   65.5  20.4   3840 541   82.2  74.3   1520 614   100    90.6   1640 768  
eca-rers2012/Problem11_label39_false-unreach-call.c 35.4  26.4   2050 312   134    51.6   7090 1230   195    187     2040 1470   420    409     2190 3960  
eca-rers2012/Problem11_label42_false-unreach-call.c 17.0  7.21  1220 143   64.6  19.2   3680 465   88.3  79.5   1540 605   104    95.0   1640 821  
eca-rers2012/Problem11_label43_false-unreach-call.c 18.1  8.25  1260 138   92.9  32.4   4290 696   85.4  77.0   1550 583   124    114     1640 913  
eca-rers2012/Problem11_label49_false-unreach-call.c 18.3  9.14  1240 142   66.5  20.2   4000 491   80.0  72.9   1520 642   99.4  92.0   1620 731  
eca-rers2012/Problem11_label51_false-unreach-call.c 17.1  7.93  1230 154   67.0  21.8   3830 551   86.1  77.9   1520 656   102    92.3   1640 812  
eca-rers2012/Problem11_label58_false-unreach-call.c 17.4  7.86  1260 159   68.8  22.3   3650 582   86.3  79.2   1530 635   103    92.9   1650 867  
eca-rers2012/Problem12_label00_false-unreach-call.c 165    151     8310 1420   578    251     15000 3900   907    893     8660 7950   903    888     4600 5630  
eca-rers2012/Problem12_label03_false-unreach-call.c 141    127     8320 1480   492    211     15000 3970   908    894     8650 5280   903    888     6640 6700  
eca-rers2012/Problem12_label06_false-unreach-call.c 157    143     8280 1770   519    224     15000 3780   908    892     8640 5400   903    889     4560 5470  
eca-rers2012/Problem12_label07_false-unreach-call.c 203    189     8280 1610   504    217     15000 3600   908    893     8650 5210   903    887     4620 6390  
eca-rers2012/Problem12_label08_false-unreach-call.c 330    314     8310 2110   904    402     11500 7020   908    893     8770 5540   903    888     4630 7900  
eca-rers2012/Problem12_label10_false-unreach-call.c 227    212     8280 1620   553    239     15000 4680   908    894     8650 5240   903    889     4580 7590  
eca-rers2012/Problem12_label13_false-unreach-call.c 144    129     8470 1240   341    138     15000 3010   908    892     8670 5330   903    887     6650 6350  
eca-rers2012/Problem12_label19_false-unreach-call.c 169    156     8420 1670   421    176     15000 3320   908    893     8670 5320   903    888     4450 5330  
eca-rers2012/Problem12_label20_false-unreach-call.c 188    174     8270 1490   468    199     15000 3640   908    893     8650 5680   903    889     4590 6680  
eca-rers2012/Problem12_label21_false-unreach-call.c 152    138     8410 1330   405    168     15000 3510   908    894     8620 8400   903    888     4530 7790  
eca-rers2012/Problem12_label25_false-unreach-call.c 164    150     8430 1480   412    174     15000 2970   907    893     8640 8370   903    884     4570 6750  
eca-rers2012/Problem12_label28_false-unreach-call.c 184    170     8430 1650   549    231     15000 4330   908    893     8650 5270   903    889     6640 8750  
eca-rers2012/Problem12_label30_false-unreach-call.c 194    179     8410 1710   622    271     15000 4110   908    893     8660 5380   903    888     6660 6780  
eca-rers2012/Problem12_label34_false-unreach-call.c 187    172     8400 1380   489    209     15000 3680   908    893     8650 5070   903    888     4520 6590  
eca-rers2012/Problem12_label35_false-unreach-call.c 138    125     8280 1340   423    178     15000 3340   908    895     8720 5500   903    888     4580 6340  
eca-rers2012/Problem12_label37_false-unreach-call.c 179    165     8300 1570   475    202     15000 3490   907    893     8680 8060   903    888     4500 5780  
eca-rers2012/Problem12_label38_false-unreach-call.c 170    155     8320 1350   344    140     15000 2980   907    894     8640 6400   903    887     6680 6850  
eca-rers2012/Problem12_label39_false-unreach-call.c 200    185     8310 1500   522    224     15000 3800   907    893     8670 9050   903    887     4590 6740  
eca-rers2012/Problem12_label40_false-unreach-call.c 186    172     8270 1650   335    140     15000 2600   907    893     8650 8810   903    888     4590 6150  
eca-rers2012/Problem12_label42_false-unreach-call.c 226    213     8310 1690   532    230     15000 4100   907    893     8690 8330   906    892     6570 6280  
eca-rers2012/Problem12_label48_false-unreach-call.c 167    153     8310 1220   395    163     15000 3210   908    893     8620 5760   903    888     6680 5880  
eca-rers2012/Problem12_label50_false-unreach-call.c 138    124     8280 1190   415    174     15000 3590   908    892     8630 6000   903    886     4570 5630  
eca-rers2012/Problem12_label51_false-unreach-call.c 207    193     8260 2210   386    160     15000 3590   908    893     8660 5560   903    885     6670 8640  
eca-rers2012/Problem12_label52_false-unreach-call.c 154    141     8270 1240   410    170     15000 3510   908    895     8660 5890   903    888     4630 5650  
eca-rers2012/Problem12_label55_false-unreach-call.c 184    170     8290 1370   428    181     15000 3050   908    892     8650 5390   903    887     3290 5440  
eca-rers2012/Problem13_label04_false-unreach-call.c 421    406     11400 2700   651    287     15000 4390   911    896     13500 5520   904    888     7160 5380  
eca-rers2012/Problem13_label06_false-unreach-call.c 381    367     11400 2950   585    253     15000 4300   911    896     13600 5720   904    887     7070 5930  
eca-rers2012/Problem13_label07_false-unreach-call.c 241    227     11400 2170   503    214     15000 3650   911    897     13500 5890   904    886     7170 5160  
eca-rers2012/Problem13_label11_false-unreach-call.c 256    241     11400 2010   614    266     15000 4550   912    896     13500 6150   904    888     7140 5930  
eca-rers2012/Problem13_label12_false-unreach-call.c 276    261     11400 2230   549    236     15000 3980   912    895     13500 6650   904    888     7150 6160  
eca-rers2012/Problem13_label16_false-unreach-call.c 861    845     11400 6270   589    256     15000 4810   911    897     13400 6070   904    888     7160 5670  
eca-rers2012/Problem13_label19_false-unreach-call.c 302    287     11400 2440   713    316     15000 4770   912    896     13400 6860   904    888     7190 6970  
eca-rers2012/Problem13_label21_false-unreach-call.c 336    322     11400 2300   360    146     15000 2660   911    897     13400 6160   904    889     7170 6010  
eca-rers2012/Problem13_label23_false-unreach-call.c 525    509     11400 3470   728    315     15000 5030   912    895     13500 6140   904    889     5070 5780  
eca-rers2012/Problem13_label24_false-unreach-call.c 278    262     11400 2450   372    156     15000 2820   911    896     13400 7110   904    888     5220 5860  
eca-rers2012/Problem13_label25_false-unreach-call.c 340    326     11400 2340   906    403     13900 6440   911    896     13500 6170   904    888     5210 6000  
eca-rers2012/Problem13_label28_false-unreach-call.c 500    486     11400 4810   483    204     15000 3840   912    896     13400 5790   904    887     5100 5690  
eca-rers2012/Problem13_label29_false-unreach-call.c 223    208     11400 1800   441    182     15000 3240   911    896     13400 5590   904    887     7200 6150  
eca-rers2012/Problem13_label30_false-unreach-call.c 267    253     11400 2030   491    210     15000 3780   912    896     13400 7060   904    887     7140 6030  
eca-rers2012/Problem13_label32_false-unreach-call.c 464    449     11400 3640   546    236     15000 3970   912    897     13500 6850   904    886     5230 6310  
eca-rers2012/Problem13_label35_false-unreach-call.c 319    305     11400 2490   387    158     15000 2930   912    895     13500 5910   904    887     7160 8080  
eca-rers2012/Problem13_label36_false-unreach-call.c 431    417     11400 3010   421    175     15000 3240   911    898     13400 6480   904    887     7230 6160  
eca-rers2012/Problem13_label40_false-unreach-call.c 299    284     11400 2470   482    205     15000 3680   911    895     13500 7380   904    886     7220 6730  
eca-rers2012/Problem13_label43_false-unreach-call.c 348    334     11400 2380   607    264     15000 4300   911    897     13400 7410   904    887     7170 5570  
eca-rers2012/Problem13_label44_false-unreach-call.c 493    478     11400 3280   362    148     15000 3350   911    894     13500 5610   904    888     7180 6030  
eca-rers2012/Problem13_label45_false-unreach-call.c 278    263     11400 2080   495    210     15000 3730   911    896     13500 5910   904    890     6960 5950  
eca-rers2012/Problem13_label48_false-unreach-call.c 289    275     11400 2530   567    246     15000 4050   912    897     13400 7090