Tool ULTIMATE Automizer 0.1.23-635dfa2a CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-08 07:42:40 CET 2018-12-09 20:30:54 CET 2018-12-09 21:05:03 CET
Run set uautomizer.sv-comp19_prop-termination.Termination-Other cpa-seq-validate-violation-witnesses-uautomizer.sv-comp19_prop-termination.Termination-Other uautomizer-validate-violation-witnesses-uautomizer.sv-comp19_prop-termination.Termination-Other
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/uautomizer.2018-12-08_0742.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/uautomizer.2018-12-08_0742.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 2 11   4.4 500 100 .66 0      - -
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 2 16   5.4 530 140 .66 0      - -
array-examples/standard_sentinel_true-unreach-call_true-termination.i 2 9.7 3.2 380 79 .66 0      - -
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 2 11   3.6 470 84 .66 0      - -
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 2 13   4.5 500 100 .66 0      - -
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 0 900   870   810 10000 .63 0      - -
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 0 900   870   810 11000 .63 0      - -
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 2 11   4.0 470 98 .66 .14   - -
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 2 11   3.5 490 93 .66 0      - -
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 2 10   3.7 460 90 .66 0      - -
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 1 7.7 2.6 370 57 .66 0      1 4.9  2.7  240 .033  0      1 7.3   4.2   310   .62  0     
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 1 7.9 3.0 380 67 .66 0      1 3.9  2.2  250 .033  0      1 7.5   4.7   310   .62  0     
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 1 7.9 2.7 360 62 .66 0      1 5.1  2.8  250 .033  0      1 7.6   4.8   310   .66  0     
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 1 8.2 3.1 370 57 .66 0      1 5.0  2.7  250 .033  0      1 7.3   4.6   310   .66  0     
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 1 8.0 2.6 360 58 .66 0      1 4.1  2.3  250 .033  0      1 7.4   4.5   300   .62  .0041
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 0 130   99   1600 1400 .62 0      - -
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 2 110   83   940 1300 .62 0      - -
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 2 66   34   930 660 .62 0      - -
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 2 15   5.4 570 130 .66 0      - -
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 1 15   5.2 560 130 .66 0      1 43    22    1600 .0082 0      1 19     12     540   .62  0     
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 1 14   4.4 560 120 .66 0      1 60    30    1600 .0082 0      1 19     12     550   .62  0     
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 2 13   4.6 490 95 .66 0      - -
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 2 13   4.8 550 110 .66 0      - -
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 2 13   4.8 520 120 .66 0      - -
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 2 12   4.5 480 97 .66 0      - -
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 2 12   5.0 490 120 .66 0      - -
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 2 6.8 2.8 330 53 .66 0      - -
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 2 6.9 2.4 340 53 .65 .0041 - -
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2 7.9 2.6 350 63 .65 0      - -
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 2 7.8 2.6 360 55 .66 0      - -
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 2 7.4 2.5 360 64 .66 0      - -
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 2 9.8 3.7 390 79 .66 0      - -
bitvector-regression/signextension2_false-unreach-call_true-termination.c 2 7.4 2.5 360 64 .66 .12   - -
bitvector-regression/signextension2_true-unreach-call_true-termination.c 2 7.9 2.6 370 60 .66 0      - -
bitvector-regression/signextension_false-unreach-call_true-termination.c 2 7.4 2.5 360 52 .66 0      - -
bitvector-regression/signextension_true-unreach-call_true-termination.c 2 7.9 2.9 350 65 .66 0      - -
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 2 23   12   510 220 .66 0      - -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 2 18   5.3 550 150 .66 0      - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 17   5.2 590 130 .66 0      - -
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 13   4.3 480 95 .66 .38   - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 2 15   4.4 520 110 .66 0      - -
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 15   4.6 610 110 .66 0      - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 2 16   4.8 590 130 .66 0      - -
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 16   4.9 590 120 .66 0      - -
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 9.3 3.3 360 70 .66 0      - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 2 10   3.1 380 81 .66 0      - -
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 10   3.2 390 76 .66 0      - -
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 1 66   36   1200 680 .62 0      0 92    47    2000 .0082 0      1 23     14     830   .62  0     
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 1 45   15   1100 390 .66 0      0 92    51    2100 .0082 0      1 24     14     790   .62  0     
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 1 48   16   1400 420 .66 0      0 91    53    2000 .0082 0      1 28     16     830   .62  0     
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 1 42   14   1100 360 .66 0      0 92    57    1400 .0082 0      1 24     14     780   .62  .0041
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 1 55   19   1600 450 .66 .35   0 92    54    2000 .0082 0      1 60     50     890   .62  0     
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 1 36   10   870 310 .66 0      0 91    47    2100 .0082 0      1 22     13     790   .62  0     
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 1 38   12   1100 330 .66 0      0 91    48    2100 .0082 0      1 23     14     690   .62  0     
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 1 18   5.9 690 150 .66 0      1 40    21    810 .0082 0      1 14     8.4   520   .62  .58  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 1 11   4.0 470 82 .66 0      1 12    6.0  430 .0082 0      1 11     6.8   380   .62  .0082
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 1 37   11   940 310 .66 0      0 93    51    2100 .0082 0      1 22     13     800   .62  .045 
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 1 48   16   1500 440 .66 0      0 92    47    2000 .0082 0      1 22     13     780   .62  0     
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 1 41   13   1100 320 .66 1.0    0 92    47    2100 .0082 0      1 23     13     690   .62  .049 
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 1 41   13   1300 350 .66 0      0 92    47    2000 .0082 0      1 22     12     780   .62  0     
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 1 47   13   1300 360 .66 0      0 92    49    2100 .0082 .049  1 25     15     830   .62  0     
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 1 45   13   1300 390 .66 0      0 92    48    2100 .0082 1.1    1 25     14     810   .62  0     
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 1 38   12   1200 320 .66 0      0 92    46    2000 .0082 1.1    1 24     14     790   .62  0     
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 1 44   14   1100 390 .66 0      0 92    47    2100 .0082 0      1 22     12     780   .62  0     
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 2 29   8.2 900 240 .66 0      - -
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 2 28   8.1 810 220 .66 0      - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 2 35   10   1000 290 .66 0      - -
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 2 35   10   1000 280 .66 0      - -
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 2 36   11   880 300 .66 0      - -
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 2 60   19   1200 490 .62 0      - -
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 2 36   11   920 290 .66 0      - -
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 2 36   11   900 280 .66 0      - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 1 13   3.9 500 120 .66 0      1 41    27    1200 .033  0      1 14     7.9   550   .66  .0041
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 1 13   4.0 590 110 .66 0      1 46    32    1300 .033  0      1 14     8.1   550   .62  .0041
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 1 16   4.6 790 120 .66 .0082 1 60    44    1700 .033  0      1 18     9.9   640   .62  0     
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 1 18   5.8 1000 160 .66 0      1 74    58    1900 .033  .0082 1 21     11     1200   .62  0     
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 1 16   4.9 830 130 .66 0      1 83    64    2100 .033  0      1 17     9.8   740   .62  0     
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 1 28   9.2 2300 220 .66 0      0 91    72    2200 .033  0      1 28     16     2400   .62  .19  
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 1 20   6.2 1300 160 .66 0      1 79    63    2100 .033  0      1 23     12     1200   .62  0     
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 1 49   16   3600 300 .66 0      0 92    77    2300 .033  0      1 46     28     3800   .62  0     
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 1 9.3 3.4 360 73 .66 0      1 15    8.0  450 .033  0      1 8.9   5.0   310   .62  0     
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 1 9.1 3.3 380 69 .66 0      1 18    9.5  560 .033  0      1 9.5   5.4   320   .23  .0041
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 1 9.8 3.2 380 75 .66 0      1 22    12    640 .033  .0082 1 10     5.7   320   .66  0     
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 1 11   3.5 440 90 .66 .0041 1 33    19    830 .033  0      1 11     6.2   380   .62  0     
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 1 11   3.4 510 100 .66 0      1 29    18    830 .033  0      1 12     7.1   470   .62  .0041
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 2 38   12   960 300 .66 0      - -
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 2 75   49   1100 870 .62 0      - -
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 0 910   160   13000 4300 .63 0      0 .61 .36 42 0      0      0 .020 .021 5.6 0     0     
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 0 910   150   14000 4300 .63 0      0 .60 .36 40 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 0 910   150   14000 4000 .63 0      0 .61 .37 42 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 0 910   150   14000 4300 .63 0      0 .57 .36 40 0      0      0 .022 .024 5.7 0     0     
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 0 910   150   13000 4300 .63 0      0 .66 .42 40 0      0      0 .021 .021 5.7 0     0     
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 0 910   150   13000 4400 .63 0      0 .62 .38 43 0      0      0 .023 .024 5.6 0     0     
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 0 910   150   14000 4800 .63 0      0 .66 .40 42 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 0 910   150   14000 4200 .63 0      0 .72 .44 41 0      0      0 .025 .025 5.6 0     0     
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 0 910   150   14000 4900 .63 0      0 .90 .56 42 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 0 910   150   13000 4300 .63 0      0 .71 .43 42 0      0      0 .023 .025 5.7 0     0     
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 0 910   150   14000 4100 .63 0      0 .62 .39 43 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 0 910   150   14000 4200 .63 .025  0 .73 .47 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 0 900   150   13000 4200 .63 0      0 .70 .43 41 0      0      0 .022 .022 5.6 0     0     
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 0 910   150   14000 4700 .63 0      0 .75 .46 42 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 0 910   150   13000 4800 .63 0      0 .60 .38 40 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 0 910   150   13000 4400 .63 0      0 .62 .38 42 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 0 910   150   14000 4400 .63 0      0 .75 .47 40 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 0 910   150   13000 4900 .63 0      0 .71 .44 40 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 0 910   150   14000 4200 .63 0      0 .60 .38 40 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 0 900   160   14000 4800 .63 0      0 .60 .36 41 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 0 900   150   13000 4100 .63 0      0 .59 .36 42 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 0 910   150   13000 4200 .63 0      0 .67 .42 40 0      0      0 .022 .025 5.6 0     0     
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 0 910   150   14000 4600 .63 0      0 .68 .42 40 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 0 910   150   14000 4500 .63 0      0 .77 .47 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 0 910   150   14000 4000 .63 0      0 .84 .52 42 0      0      0 .022 .024 5.6 0     0     
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 0 910   150   13000 4200 .63 0      0 .71 .44 41 0      0      0 .023 .024 5.6 0     0     
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 0 910   150   14000 4500 .63 0      0 .59 .35 41 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 0 910   150   13000 4300 .63 0      0 .61 .39 40 0      0      0 .021 .032 5.6 0     0     
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 0 910   150   14000 4300 .63 0      0 .74 .45 42 0      0      0 .024 .024 5.6 0     0     
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 0 910   150   14000 4400 .63 .71   0 .70 .44 42 0      0      0 .020 .021 5.7 0     0     
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 0 910   150   14000 4500 .63 0      0 .59 .37 41 0      0      0 .024 .024 5.6 0     0     
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 0 910   150   14000 4800 .63 0      0 .64 .39 40 0      0      0 .024 .026 5.6 0     0     
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 0 910   150   14000 4200 .63 0      0 .73 .46 41 0      0      0 .021 .022 5.7 0     0     
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 0 910   150   14000 4500 .63 0      0 .75 .46 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 0 910   150   13000 4100 .63 0      0 .77 .47 43 0      0      0 .021 .022 5.7 0     0     
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 0 910   160   13000 4500 .63 0      0 .70 .43 42 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 0 910   150   13000 4900 .63 0      0 .74 .46 40 0      0      0 .020 .020 5.6 0     0     
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 0 910   150   14000 4700 .63 0      0 .70 .43 42 0      0      0 .025 .026 5.7 0     0     
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 0 910   150   13000 4800 .63 0      0 .75 .47 41 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 0 910   160   14000 4900 .63 .13   0 .77 .46 40 0      0      0 .020 .021 5.6 0     0     
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 0 910   150   14000 4500 .63 0      0 .76 .47 41 0      0      0 .021 .023 5.6 0     0     
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 0 910   150   14000 4200 .63 .89   0 .75 .46 40 0      0      0 .024 .025 5.6 0     0     
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 0 910   150   13000 4300 .63 0      0 .64 .40 42 0      0      0 .022 .024 5.7 0     0     
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 0 910   150   14000 4800 .63 .42   0 .72 .46 40 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 0 910   150   14000 5100 .63 0      0 .74 .46 42 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 0 910   150   14000 4500 .63 0      0 .61 .38 41 0      0      0 .022 .025 5.6 0     0     
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 0 910   150   14000 4300 .63 0      0 .60 .37 42 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 0 910   150   14000 4100 .63 .95   0 .66 .41 40 0      0      0 .020 .021 5.6 0     0     
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 0 910   150   13000 4500 .63 0      0 .64 .40 42 0      0      0 .023 .025 5.7 0     0     
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 0 910   150   13000 4200 .63 0      0 .62 .39 41 0      0      0 .020 .020 5.6 0     0     
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 0 910   150   14000 4200 .63 0      0 .69 .44 42 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 0 910   150   13000 4400 .63 0      0 .77 .46 42 0      0      0 .027 .028 5.6 0     0     
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 0 910   150   13000 4700 .63 0      0 .79 .49 43 0      0      0 .028 .030 5.6 0     0     
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 0 910   150   14000 4000 .62 .16   0 .62 .39 41 0      0      0 .021 .022 5.7 0     0     
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 0 910   150   14000 4400 .63 0      0 .73 .46 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 0 910   150   14000 4800 .63 0      0 .62 .39 42 0      0      0 .021 .022 5.7 0     0     
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 0 910   150   14000 5000 .63 0      0 .65 .39 42 0      0      0 .022 .024 5.6 0     0     
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 0 910   150   14000 4900 .63 0      0 .76 .45 40 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 0 910   150   13000 4500 .63 0      0 .76 .46 43 0      0      0 .020 .021 5.6 0     0     
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 0 910   150   14000 4200 .63 0      0 .71 .43 40 0      0      0 .025 .026 5.6 0     0     
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 1 32   10   850 280 .66 0      0 22    11    570 .0082 0      1 20     12     520   .62  0     
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 1 33   10   850 270 .66 0      0 24    12    570 .0082 0      1 19     11     480   .62  0     
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 1 32   10   770 290 .66 0      0 24    12    580 .0082 0      1 19     11     490   .66  .14  
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 1 32   10   840 260 .66 0      0 24    12    560 .0082 .016  1 20     11     500   .62  .18  
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 1 33   11   850 250 .66 0      0 21    11    580 .0082 0      1 20     11     490   .62  .14  
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 1 32   10   760 270 .66 0      0 22    11    570 .0082 .025  1 20     12     500   .62  0     
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 1 33   10   830 260 .66 0      0 23    12    580 .0082 0      1 18     11     520   .62  0     
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 1 32   10   850 230 .66 0      0 24    12    570 .0082 0      1 19     11     510   .62  0     
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 1 32   10   790 270 .66 0      0 20    10    590 .0082 0      1 17     9.8   490   .62  0     
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 1 32   10   820 260 .66 .025  0 21    11    560 .0082 0      1 19     11     490   .62  0     
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 1 34   11   790 290 .66 0      0 21    11    590 .0082 0      1 17     9.9   500   .62  0     
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 1 33   10   850 290 .66 .30   0 23    12    600 .0082 0      1 17     10     520   .62  0     
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 1 34   11   820 310 .66 0      0 24    12    560 .0082 0      1 19     11     520   .62  0     
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 1 33   10   770 260 .66 0      0 24    12    590 .0082 0      1 18     10     520   .62  0     
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 1 33   10   750 250 .66 0      0 24    12    620 .0082 0      1 19     11     470   .62  0     
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 1 32   10   770 250 .66 .48   0 24    13    580 .0082 0      1 17     9.6   520   .62  0     
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 1 32   10   840 260 .66 .16   0 24    12    580 .0082 0      1 18     10     510   .62  0     
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 1 32   11   770 290 .66 0      0 24    12    530 .0082 .053  1 18     10     520   .62  0     
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 1 32   10   860 300 .66 0      0 21    11    590 .0082 0      1 18     10     500   .62  0     
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 1 32   11   830 260 .66 0      0 23    12    580 .0082 0      1 18     10     490   .62  0     
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 1 33   10   830 300 .66 .48   0 24    12    610 .0082 0      1 18     10     490   .62  0     
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 1 32   10   840 270 .66 0      0 24    12    560 .0082 0      1 18     10     500   .66  0     
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 1 32   10   840 250 .62 0      0 25    13    560 .0082 0      1 18     11     510   .62  0     
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 1 33   11   830 260 .66 .025  0 19    9.7  570 .0082 0      1 19     11     510   .62  0     
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 1 33   10   850 270 .66 0      0 18    9.5  570 .0082 0      1 19     11     530   .62  0     
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 1 32   10   780 270 .66 0      0 24    12    580 .0082 0      1 16     9.8   520   .62  0     
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 1 33   11   840 290 .66 0      0 23    12    560 .0082 0      1 18     10     490   .62  0     
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 1 34   10   840 270 .66 0      0 23    12    580 .0082 .025  1 19     11     510   .62  .0041
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 1 31   10   780 260 .66 0      0 21    11    580 .0082 1.0    1 19     11     510   .62  0     
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 1 33   10   770 250 .66 0      0 21    11    580 .0082 0      1 19     11     520   .62  0     
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 1 34   10   840 250 .66 0      0 23    12    570 .0082 0      1 18     11     490   .62  0     
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 1 34   10   830 270 .66 0      0 24    12    560 .0082 0      1 19     11     520   .62  0     
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 1 32   10   780 270 .66 0      0 22    11    590 .0082 0      1 18     10     510   .62  0     
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 1 34   11   840 270 .66 0      0 20    10    600 .0082 0      1 20     11     510   .62  .0041
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 1 33   10   830 300 .62 0      0 21    11    570 .0082 0      1 19     11     520   .62  0     
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 1 33   10   830 270 .66 0      0 23    12    560 .0082 0      1 18     10     490   .62  .025 
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 1 34   10   800 270 .66 0      0 25    13    590 .0082 1.1    1 19     11     510   .62  0     
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 1 32   10   770 270 .66 0      0 21    11    570 .0082 .041  1 18     10     500   .66  0     
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 1 33   11   850 270 .66 0      0 26    13    590 .0082 0      1 20     11     520   .62  0     
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 1 32   10   850 260 .66 .57   0 23    12    570 .0082 .025  1 18     11     490   .62  0     
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 1 33   11   750 310 .66 0      0 23    12    560 .0082 0      1 17     9.9   500   .62  0     
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 1 31   10   830 260 .66 .025  0 24    12    570 .0082 0      1 17     10     520   .62  0     
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 1 32   11   840 270 .62 0      0 23    12    590 .0082 1.1    1 18     10     520   .62  0     
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 1 34   10   840 290 .66 0      0 22    12    580 .0082 0      1 19     11     510   .62  0     
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 1 32   10   780 290 .66 0      0 25    13    570 .0082 0      1 19     11     510   .62  .0041
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 1 33   11   860 270 .66 0      0 19    9.6  560 .0082 .82   1 21     12     520   .62  0     
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 1 34   10   780 280 .66 0      0 23    12    600 .0082 .025  1 17     10     500   .62  .48  
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 1 31   10   770 270 .66 0      0 20    10    570 .0082 1.1    1 19     11     510   .62  .025 
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 1 34   11   850 290 .66 0      0 21    11    600 .0082 0      1 18     10     520   .62  0     
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 1 33   11   840 260 .66 0      0 23    12    570 .0082 0      1 18     10     500   .62  0     
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 1 33   10   840 280 .66 0      0 21    11    580 .0082 0      1 18     10     520   .62  0     
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 1 32   10   770 290 .66 0      0 22    11    580 .0082 0      1 18     10     520   .62  0     
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 1 33   10   790 250 .66 0      0 20    10    580 .0082 0      1 18     10     490   .62  .52  
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 1 33   10   850 290 .66 0      0 20    10    580 .0082 .025  1 18     10     520   .62  0     
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 1 34   10   860 300 .66 0      0 25    13    550 .0082 0      1 17     10     520   .62  0     
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 1 33   10   830 280 .66 0      0 21    11    590 .0082 0      1 20     11     490   .62  .025 
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 1 33   10   840 270 .66 0      0 24    12    580 .0082 0      1 18     11     520   .62  0     
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 1 32   11   790 270 .66 0      0 26    13    560 .0082 1.1    1 18     11     500   .62  0     
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 1 35   10   830 270 .66 .88   0 23    12    590 .0082 0      1 20     11     500   .62  0     
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 1 33   10   850 270 .66 0      0 19    9.6  610 .0082 0      1 17     10     520   .62  0     
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 0 910   310   14000 6800 .63 0      0 .76 .47 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 0 910   290   14000 5700 .63 0      0 .59 .37 41 0      0      0 .023 .026 5.6 0     0     
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 0 910   310   14000 6200 .62 0      0 .60 .37 41 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 0 910   290   14000 5500 .63 0      0 .58 .36 40 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 0 910   290   14000 5700 .62 0      0 .62 .39 42 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 0 910   320   13000 7400 .63 0      0 .77 .47 41 0      0      0 .020 .020 5.6 0     0     
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 0 910   260   14000 5700 .63 0      0 .61 .38 40 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 0 910   280   14000 6000 .62 0      0 .78 .47 40 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 0 900   310   13000 6800 .63 0      0 .59 .37 40 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 0 910   300   14000 6200 .62 0      0 .62 .38 42 0      0      0 .022 .022 5.6 0     0     
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 0 910   310   14000 5500 .63 0      0 .61 .38 41 0      0      0 .021 .023 5.6 0     0     
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 0 900   320   13000 5800 .63 0      0 .74 .45 41 0      0      0 .023 .024 5.6 0     0     
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 0 910   310   13000 5900 .63 0      0 .58 .36 40 0      0      0 .020 .021 5.6 0     0     
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 0 910   300   14000 6100 .62 0      0 .75 .46 40 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 0 910   290   14000 6300 .62 0      0 .59 .38 41 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 0 900   300   13000 6100 .63 0      0 .76 .45 42 0      0      0 .020 .022 5.6 0     0     
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 0 900   320   14000 6000 .63 0      0 .60 .36 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 0 910   290   13000 6700 .63 0      0 .80 .49 41 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 0 910   310   13000 5600 .63 0      0 .62 .38 40 0      0      0 .022 .025 5.7 0     0     
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c 0 270   190   2100 3000 .62 0      0 .73 .44 40 0      0      0 .020 .020 5.6 0     0     
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c 0 250   180   2400 3100 .62 0      0 .68 .41 41 0      0      0 .023 .032 5.5 0     0     
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 0 250   180   2100 2700 .62 0      0 .73 .45 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c 0 270   190   2500 2900 .62 0      0 .64 .39 40 0      0      0 .021 .022 5.5 0     0     
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c 0 250   170   2400 2600 .62 0      0 .70 .43 41 0      0      0 .022 .023 5.7 0     0     
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c 0 250   170   2400 2600 .62 0      0 .59 .37 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c 0 280   210   1900 2900 .62 0      0 .76 .46 40 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c 0 260   180   2100 2800 .62 0      0 .83 .51 41 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 0 270   190   1900 3400 .62 0      0 .72 .44 40 0      0      0 .022 .024 5.6 0     0     
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c 0 270   190   2000 2900 .62 0      0 .78 .47 40 0      0      0 .022 .024 5.6 0     0     
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 0 290   210   2000 3200 .62 0      0 .82 .50 41 0      0      0 .020 .020 5.6 0     0     
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 0 270   190   2200 3200 .62 0      0 .75 .48 40 0      0      0 .020 .020 5.6 0     0     
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 0 270   200   2300 2800 .62 0      0 .79 .48 42 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 0 250   170   2200 3200 .62 0      0 .73 .45 40 0      0      0 .053 .055 5.5 0     0     
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 0 270   190   2000 3000 .62 0      0 .74 .46 40 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c 0 250   170   2800 2500 .62 0      0 .70 .43 40 0      0      0 .022 .022 5.6 0     0     
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c 0 260   170   2100 2900 .62 0      0 .75 .46 41 0      0      0 .021 .021 5.7 0     0     
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c 0 260   180   2000 2700 .62 0      0 .76 .46 41 0      0      0 .022 .026 5.6 0     0     
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 0 270   190   2300 2900 .62 0      0 .59 .37 41 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c 0 260   180   2300 3300 .62 0      0 .75 .46 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c 0 260   180   2400 3200 .62 0      0 .75 .46 40 0      0      0 .021 .021 5.6 0     0     
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c 0 250   170   2100 2500 .62 .033  0 .59 .36 41 0      0      0 .028 .030 5.6 0     0     
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 0 270   190   2100 2900 .62 0      0 .59 .35 42 0      0      0 .020 .021 5.6 0     0     
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c 0 250   170   2800 2600 .62 0      0 .60 .36 41 0      0      0 .020 .021 5.6 0     0     
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c 0 260   180   2100 3100 .62 0      0 .75 .46 40 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c 0 260   180   2100 2900 .62 0      0 .62 .39 41 0      0      0 .023 .024 5.6 0     0     
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c 0 260   180   2300 3300 .62 0      0 .78 .47 40 0      0      0 .021 .022 5.7 0     0     
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 0 270   190   2100 3000 .62 1.2    0 .72 .45 40 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 0 250   170   2100 3000 .62 1.2    0 .75 .47 42 0      0      0 .022 .024 5.6 0     0     
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 0 280   200   2300 3000 .62 0      0 .61 .37 43 0      0      0 .022 .024 5.6 0     0     
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c 0 280   200   2200 2900 .62 0      0 .64 .39 41 0      0      0 .024 .025 5.6 0     0     
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 0 250   180   2600 2900 .62 0      0 .68 .41 41 0      0      0 .022 .023 5.7 0     0     
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c 0 260   190   2200 2800 .62 0      0 .71 .43 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c 0 270   190   2000 2700 .62 1.1    0 .67 .42 40 0      0      0 .020 .020 5.6 0     0     
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 0 250   170   2200 3000 .62 0      0 .68 .41 40 0      0      0 .020 .022 5.8 0     0     
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c 0 270   190   2000 3600 .62 1.2    0 .80 .47 41 0      0      0 .048 .049 5.5 0     0     
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c 0 280   200   2300 3200 .62 0      0 .67 .42 42 0      0      0 .022 .023 5.7 0     0     
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 0 270   190   2200 3000 .62 .16   0 .58 .36 41 0      0      0 .021 .024 5.8 0     0     
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c 0 260   180   2100 3000 .62 0      0 .68 .44 41 0      0      0 .022 .024 5.6 0     0     
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 0 270   180   2200 2800 .62 1.3    0 .73 .46 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 0 260   180   1900 2800 .62 0      0 .77 .48 41 0      0      0 .023 .026 5.7 0     0     
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 0 270   200   2200 3200 .62 0      0 .76 .46 42 0      0      0 .050 .051 5.5 0     0     
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c 0 280   200   2400 3700 .62 0      0 .77 .46 41 0      0      0 .023 .024 5.7 0     0     
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 0 260   170   2200 2700 .62 0      0 .74 .46 41 0      0      0 .022 .024 5.6 0     0     
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 0 270   200   2100 2900 .62 0      0 .60 .36 41 0      0      0 .020 .020 5.6 0     0     
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c 0 280   200   2100 3000 .62 0      0 .58 .37 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c 0 250   170   2000 2700 .62 0      0 .59 .35 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c 0 250   170   2300 2900 .62 0      0 .76 .45 41 0      0      0 .023 .025 5.6 0     0     
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c 0 260   190   2200 3400 .62 0      0 .67 .41 41 0      0      0 .073 .075 5.5 0     0     
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c 0 270   190   2100 3000 .62 .12   0 .78 .46 41 0      0      0 .022 .022 5.6 0     0     
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c 0 260   180   2400 2700 .62 0      0 .66 .41 41 0      0      0 .023 .025 5.6 0     0     
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c 0 260   180   2000 3200 .62 0      0 .74 .44 41 0      0      0 .020 .020 5.6 0     0     
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 0 250   170   2200 3000 .62 0      0 .60 .38 41 0      0      0 .021 .023 5.7 0     0     
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c 0 270   190   2500 2900 .62 1.8    0 .62 .38 40 0      0      0 .021 .023 5.8 0     0     
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 0 250   180   2000 2800 .62 1.6    0 .75 .48 41 0      0      0 .022 .023 5.6 0     0     
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c 0 270   190   1900 3200 .62 0      0 .68 .42 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 0 270   190   2100 3100 .62 1.5    0 .62 .39 40 0      0      0 .022 .024 5.6 0     0     
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 0 260   180   2400 2700 .62 0      0 .62 .39 40 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 0 290   210   2100 3500 .62 .86   0 .76 .49 40 0      0      0 .022 .025 5.6 0     0     
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c 0 260   180   2000 3200 .62 0      0 .61 .38 41 0      0      0 .021 .022 5.6 0     0     
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 0 900   790   5700 11000 .63 0      0 .64 .40 41 0      0      0 .035 .037 5.6 0     0     
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c 0 17   5.1 610 120 .66 0      0 92    61    2100 .033  0      0 16     8.9   550   .62  0     
psyco/psyco_io_1_true-unreach-call_false-termination.c 1 8.2 2.9 350 62 .66 .012  1 16    8.5  420 .033  0      0 7.3   4.6   300   .66  0     
psyco/psyco_math_1_true-unreach-call_false-termination.c 1 9.8 3.5 390 87 .66 0      1 19    10    470 .033  0      0 7.6   4.4   310   .62  0     
psyco/psyco_net_1_false-unreach-call_false-termination.c 0 54   18   2000 440 .66 0      0 97    92    460 0      0      0 39     24     1800   .61  0     
psyco/psyco_security_true-unreach-call_false-termination.c 1 8.6 3.0 350 60 .66 0      1 18    9.2  570 .033  0      0 7.6   4.3   300   .62  0     
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i 2 7.4 2.8 360 64 .66 0      - -
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i 2 6.4 2.4 320 51 .66 0      - -
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i 2 6.8 2.5 330 55 .65 0      - -
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i 2 6.5 2.8 330 60 .66 0      - -
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i 2 7.5 2.5 370 64 .66 0      - -
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i 2 7.8 2.6 360 60 .66 0      - -
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i 2 7.4 2.5 370 56 .66 0      - -
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i 2 7.1 2.8 350 54 .66 0      - -
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i 2 7.4 2.5 360 54 .66 0      - -
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i 2 7.9 2.6 360 64 .66 0      - -
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i 2 7.2 2.4 350 55 .66 0      - -
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i 2 7.2 2.4 360 63 .65 0      - -
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i 2 7.6 2.6 360 55 .66 0      - -
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i 2 7.0 2.6 330 53 .66 0      - -
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i 2 7.5 2.6 360 51 .66 0      - -
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i 2 7.5 2.5 360 62 .66 0      - -
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i 2 6.9 2.5 340 54 .66 0      - -
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i 2 7.0 2.5 340 56 .66 0      - -
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i 2 6.6 2.4 320 50 .66 0      - -
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i 2 7.5 2.6 360 57 .66 0      - -
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i 2 7.7 2.6 350 54 .66 0      - -
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i 2 7.3 2.5 360 59 .66 0      - -
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i 2 7.3 2.4 350 60 .65 0      - -
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i 2 7.8 2.6 360 52 .66 0      - -
floats-cdfpl/sine_1_false-unreach-call_true-termination.i 2 7.3 2.5 330 59 .65 0      - -
floats-cdfpl/sine_2_false-unreach-call_true-termination.i 2 6.5 2.5 320 50 .65 0      - -
floats-cdfpl/sine_3_false-unreach-call_true-termination.i 2 7.4 2.8 360 57 .66 0      - -
floats-cdfpl/sine_4_true-unreach-call_true-termination.i 2 6.4 2.8 320 51 .66 .17   - -
floats-cdfpl/sine_5_true-unreach-call_true-termination.i 2 8.1 2.5 370 63 .66 0      - -
floats-cdfpl/sine_6_true-unreach-call_true-termination.i 2 7.3 3.0 340 52 .66 0      - -
floats-cdfpl/sine_7_true-unreach-call_true-termination.i 2 6.9 2.3 350 64 .65 0      - -
floats-cdfpl/sine_8_true-unreach-call_true-termination.i 2 7.3 2.8 360 63 .66 0      - -
floats-cdfpl/square_1_false-unreach-call_true-termination.i 2 6.8 2.4 320 52 .66 0      - -
floats-cdfpl/square_2_false-unreach-call_true-termination.i 2 6.8 2.5 340 55 .65 0      - -
floats-cdfpl/square_3_false-unreach-call_true-termination.i 2 7.2 2.4 370 62 .65 0      - -
floats-cdfpl/square_4_true-unreach-call_true-termination.i 2 7.4 2.5 360 54 .66 0      - -
floats-cdfpl/square_5_true-unreach-call_true-termination.i 2 7.2 2.6 340 58 .66 .12   - -
floats-cdfpl/square_6_true-unreach-call_true-termination.i 2 7.2 2.4 360 53 .66 0      - -
floats-cdfpl/square_7_true-unreach-call_true-termination.i 2 7.3 2.5 350 54 .66 0      - -
floats-cdfpl/square_8_true-unreach-call_true-termination.i 2 7.1 2.5 330 53 .66 0      - -
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i 2 6.5 2.4 330 54 .65 0      - -
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i 2 6.5 2.3 330 52 .65 0      - -
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i 2 7.4 2.5 340 56 .66 0      - -
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i 2 7.7 2.9 360 66 .66 0      - -
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i 2 7.2 2.4 370 64 .65 0      - -
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i 2 7.6 2.6 330 54 .66 0      - -
floats-cbmc-regression/float11_true-unreach-call_true-termination.i 2 8.0 2.9 370 55 .66 0      - -
floats-cbmc-regression/float12_true-unreach-call_true-termination.i 2 6.9 2.4 330 57 .65 0      - -
floats-cbmc-regression/float13_true-unreach-call_true-termination.i 2 7.5 2.5 360 60 .66 0      - -
floats-cbmc-regression/float1_true-unreach-call_true-termination.i 2 7.2 2.3 370 54 .65 0      - -
floats-cbmc-regression/float20_true-unreach-call_true-termination.i 2 7.5 2.6 350 64 .66 0      - -
floats-cbmc-regression/float22_true-unreach-call_true-termination.i 2 8.2 2.7 340 61 .66 0      - -
floats-cbmc-regression/float2_true-unreach-call_true-termination.i 2 7.4 2.5 330 55 .66 0      - -
floats-cbmc-regression/float3_true-unreach-call_true-termination.i 2 7.3 2.5 350 59 .65 0      - -
floats-cbmc-regression/float5_true-unreach-call_true-termination.i 2 7.8 2.9 360 56 .66 0      - -
floats-cbmc-regression/float6_true-unreach-call_true-termination.i 2 7.8 2.5 350 54 .66 0      - -
ldv-regression/1_3_true-termination.c_false-unreach-call.i 2 7.5 2.6 360 60 .66 0      - -
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 2 7.4 2.6 360 55 .66 0      - -
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 2 8.0 2.6 360 58 .66 0      - -
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 2 7.6 2.5 360 61 .66 0      - -
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 2 7.4 2.9 330 54 .66 0      - -
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 2 8.0 2.8 350 64 .66 0      - -
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 2 7.4 2.5 360 59 .66 0      - -
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 2 110   87   580 1400 .62 0      - -
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 2 8.2 2.6 360 67 .66 0      - -
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 2 7.2 2.4 350 59 .65 0      - -
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 2 7.8 2.9 360 59 .66 0      - -
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 2 6.9 2.8 330 57 .66 .0082 - -
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 2 7.4 2.9 360 57 .66 0      - -
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 2 6.4 2.8 330 60 .66 0      - -
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 2 7.8 3.1 370 62 .66 0      - -
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 2 6.6 2.8 330 51 .66 0      - -
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 2 7.9 2.5 360 61 .66 0      - -
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 2 7.2 2.5 360 67 .66 0      - -
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 2 7.6 2.4 370 59 .65 0      - -
ldv-regression/nested_structure_true-unreach-call_true-termination.i 2 6.9 2.5 340 60 .66 0      - -
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 2 8.0 2.6 350 64 .66 0      - -
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 2 6.9 2.4 350 60 .65 0      - -
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 2 7.2 2.5 340 59 .66 0      - -
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 2 7.4 2.6 350 63 .66 0      - -
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 2 7.7 2.7 350 65 .66 0      - -
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 2 9.0 2.8 370 71 .66 0      - -
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 2 8.3 3.1 350 65 .66 0      - -
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 2 8.8 2.7 360 63 .66 .0082 - -
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 2 9.0 2.8 360 65 .66 0      - -
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 2 7.4 2.6 340 58 .66 0      - -
ldv-regression/test_address_true-termination.c_true-unreach-call.i 2 9.0 2.8 360 62 .66 0      - -
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 2 7.4 2.4 350 59 .65 0      - -
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 2 8.7 2.8 360 63 .66 .0041 - -
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 2 8.7 2.7 370 62 .66 0      - -
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 2 9.0 2.8 360 70 .66 0      - -
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 2 6.9 2.5 330 50 .66 0      - -
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 2 7.2 2.6 340 55 .66 0      - -
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 2 7.3 2.5 340 54 .66 0      - -
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 2 7.4 2.9 360 51 .66 0      - -
ldv-regression/test_union_true-termination.c_true-unreach-call.i 2 8.1 3.0 370 61 .66 0      - -
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 2 7.5 2.5 370 56 .66 0      - -
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 2 8.6 3.2 350 75 .66 .95   - -
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 2 8.4 2.9 360 71 .66 0      - -
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 2 7.5 2.8 350 58 .66 0      - -
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 2 7.6 2.5 360 52 .66 0      - -
ldv-regression/stateful_check_false-unreach-call_false-termination.i 1 8.4 2.9 330 63 .66 0      1 9.0  4.9  340 .0082 1.1    1 7.9   4.9   310   .62  0     
ldv-regression/test01_true-unreach-call_true-termination.c 2 7.5 2.5 370 57 .66 0      - -
ldv-regression/test02_false-unreach-call_true-termination.c 2 7.3 2.5 360 59 .66 0      - -
ldv-regression/test03_true-unreach-call_true-termination.c 2 7.5 2.6 350 57 .66 0      - -
ldv-regression/test04_true-unreach-call_true-termination.c 2 8.0 2.6 360 59 .66 0      - -
ldv-regression/test05_true-unreach-call_true-termination.c 2 8.3 2.7 370 60 .66 0      - -
ldv-regression/test06_false-unreach-call_true-termination.c 2 7.9 2.6 370 63 .66 0      - -
ldv-regression/test07_true-unreach-call_true-termination.c 2 7.7 2.6 360 61 .66 0      - -
ldv-regression/test08_false-unreach-call_true-termination.c 2 8.2 2.6 360 68 .66 0      - -
ldv-regression/test09_true-unreach-call_true-termination.c 2 7.5 2.6 340 65 .66 0      - -
ldv-regression/test10_true-unreach-call_true-termination.c 2 8.1 3.0 360 61 .66 0      - -
ldv-regression/test11_true-unreach-call_true-termination.c 2 6.8 2.8 320 50 .66 0      - -
ldv-regression/test12_false-unreach-call_true-termination.c 2 7.5 2.5 360 59 .66 0      - -
ldv-regression/test13_true-unreach-call_true-termination.c 2 7.9 2.6 360 60 .66 0      - -
ldv-regression/test14_true-unreach-call_true-termination.c 2 7.6 2.6 360 63 .66 0      - -
ldv-regression/test15_true-unreach-call_true-termination.c 2 7.4 2.4 360 57 .65 .0041 - -
ldv-regression/test16_true-unreach-call_true-termination.c 2 7.7 2.6 370 58 .66 0      - -
ldv-regression/test17_true-unreach-call_true-termination.c 2 6.6 2.5 330 51 .66 0      - -
ldv-regression/test18_true-unreach-call_true-termination.c 2 7.7 2.6 360 68 .66 0      - -
ldv-regression/test19_true-unreach-call_true-termination.c 2 7.7 2.6 360 58 .66 0      - -
ldv-regression/test20_true-unreach-call_true-termination.c 2 7.9 3.0 360 61 .66 0      - -
ldv-regression/test21_false-unreach-call_true-termination.c 2 7.5 2.8 350 60 .66 0      - -
ldv-regression/test21_true-unreach-call_true-termination.c 2 8.2 2.7 360 59 .66 0      - -
ldv-regression/test24_true-unreach-call_true-termination.c 2 11   3.5 410 88 .66 0      - -
ldv-regression/test25_false-unreach-call_true-termination.c 0 900   890   560 11000 .63 0      - -
ldv-regression/test26_false-unreach-call_true-termination.c 2 7.6 2.5 350 62 .66 0      - -
ldv-regression/test26_true-unreach-call_true-termination.c 2 7.9 2.6 370 63 .66 0      - -
ldv-regression/test27_false-unreach-call_true-termination.c 0 900   890   680 9300 .63 0      - -
ldv-regression/test27_true-unreach-call_true-termination.c 0 900   890   710 8600 .63 0      - -
ldv-regression/test28_false-unreach-call_true-termination.c 2 7.5 2.4 360 64 .65 0      - -
ldv-regression/test28_true-unreach-call_true-termination.c 2 8.0 2.6 370 60 .66 0      - -
ldv-regression/test29_false-unreach-call_true-termination.c 2 6.6 2.5 320 52 .66 0      - -
ldv-regression/test29_true-unreach-call_true-termination.c 2 7.6 2.6 360 54 .66 0      - -
ldv-regression/test30_false-unreach-call_true-termination.c 2 8.1 2.6 370 63 .66 0      - -
ldv-regression/test30_true-unreach-call_true-termination.c 2 7.1 2.6 330 58 .66 0      - -
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i 2 14   5.2 520 120 .66 0      - -
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i 2 8.6 2.7 370 64 .66 .025  - -
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i 2 8.4 2.6 370 73 .66 0      - -
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i 2 8.2 2.7 360 59 .66 0      - -
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i 2 8.2 3.0 350 63 .66 0      - -
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 0 26   14   760 270 .66 0      - -
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 0 26   14   750 300 .66 0      - -
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i 1 12   4.0 520 110 .66 0      0 91    80    650 .033  .045  1 62     42     1000   .62  0     
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i 1 13   4.1 520 100 .66 0      0 92    67    1900 .033  .025  1 62     42     970   .62  0     
ldv-sets/test_add_false-unreach-call_true-termination.i 2 11   3.5 430 84 .66 .029  - -
ldv-sets/test_add_true-unreach-call_true-termination.i 2 11   3.5 430 95 .66 0      - -
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i 2 14   5.0 480 110 .66 0      - -
loops/for_infinite_loop_1_true-unreach-call_false-termination.i 1 8.8 3.0 370 68 .66 0      1 4.1  2.2  250 .033  0      1 9.6   5.5   320   .62  .36  
loops/for_infinite_loop_2_true-unreach-call_false-termination.i 1 8.9 3.1 380 72 .66 0      1 4.0  2.2  240 .033  0      1 9.9   5.6   320   .62  0     
loops/n.c11_true-unreach-call_false-termination.i 1 14   7.4 440 120 .66 0      0 92    69    1900 .0082 .016  1 12     8.0   350   .62  0     
loops/nec11_false-unreach-call_false-termination.i 1 9.8 3.3 400 81 .66 0      0 92    71    1900 .0082 0      1 9.1   5.2   320   .62  0     
loops/sum03_true-unreach-call_false-termination.i 0 79   59   1300 760 .62 0      0 .72 .46 41 0      0      0 .021 .023 5.6 0     0     
loops/trex04_true-unreach-call_false-termination.i 1 17   9.6 450 170 .66 0      1 7.8  4.2  280 .033  0      1 17     12     380   .62  0     
loops/while_infinite_loop_1_true-unreach-call_false-termination.i 1 6.8 2.6 340 59 .66 0      1 4.6  2.5  240 .033  0      1 7.2   4.5   300   .62  0     
loops/while_infinite_loop_2_true-unreach-call_false-termination.i 1 7.5 3.0 350 63 .66 .18   1 3.8  2.1  240 .033  0      1 6.9   4.0   300   .62  0     
loops/while_infinite_loop_3_true-unreach-call_false-termination.i 1 8.4 2.8 360 68 .66 0      1 5.8  3.2  260 .0082 0      1 7.3   4.1   320   .66  0     
loops/array_false-unreach-call_true-termination.i 2 19   5.3 770 160 .66 0      - -
loops/array_true-unreach-call_true-termination.i 2 20   5.4 790 140 .66 0      - -
loops/bubble_sort_true-unreach-call_true-termination.i 0 660   640   1100 9600 .62 0      - -
loops/count_up_down_false-unreach-call_true-termination.i 0 59   43   680 720 .62 .049  - -
loops/count_up_down_true-unreach-call_true-termination.i 0 57   44   630 690 .62 0      - -
loops/eureka_01_false-unreach-call_true-termination.i 0 900   840   1200 11000 .64 0      - -
loops/eureka_05_true-unreach-call_true-termination.i 0 900   890   960 11000 .63 0      - -
loops/for_bounded_loop1_false-unreach-call_true-termination.i 2 10   3.2 380 76 .66 0      - -
loops/insertion_sort_false-unreach-call_true-termination.i 2 20   6.8 710 170 .66 0      - -
loops/insertion_sort_true-unreach-call_true-termination.i 2 20   6.4 680 170 .66 0      - -
loops/invert_string_false-unreach-call_true-termination.i 0 17   6.0 650 140 .66 0      - -
loops/invert_string_true-unreach-call_true-termination.i 0 39   24   560 430 .62 0      - -
loops/matrix_false-unreach-call_true-termination.i 0 55   33   730 530 .62 0      - -
loops/matrix_true-unreach-call_true-termination.i 2 250   230   1300 3100 .62 0      - -
loops/n.c40_true-unreach-call_true-termination.i 2 8.5 2.8 370 72 .66 0      - -
loops/nec20_false-unreach-call_true-termination.i 2 8.6 3.1 370 73 .66 0      - -
loops/nec40_true-unreach-call_true-termination.i 2 8.5 2.9 350 63 .66 .0082 - -
loops/string_false-unreach-call_true-termination.i 2 56   33   920 710 .62 .82   - -
loops/string_true-unreach-call_true-termination.i 2 70   44   790 760 .62 0      - -
loops/sum01_bug02_false-unreach-call_true-termination.i 2 9.2 3.4 380 73 .66 0      - -
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 2 9.8 3.3 400 75 .66 0      - -
loops/sum01_false-unreach-call_true-termination.i 2 9.0 3.5 350 73 .66 0      - -
loops/sum01_true-unreach-call_true-termination.i 2 8.7 3.3 370 72 .66 0      - -
loops/sum03_false-unreach-call_true-termination.i 0 900   890   910 12000 .63 .35   - -
loops/sum04_false-unreach-call_true-termination.i 2 9.2 3.2 390 74 .66 0      - -
loops/sum04_true-unreach-call_true-termination.i 2 8.4 2.9 370 68 .66 0      - -
loops/terminator_01_false-unreach-call_true-termination.i 2 9.9 3.2 380 81 .66 0      - -
loops/terminator_02_false-unreach-call_true-termination.i 2 11   3.9 520 82 .66 0      - -
loops/terminator_02_true-unreach-call_true-termination.i 2 11   4.3 490 97 .66 0      - -
loops/terminator_03_false-unreach-call_true-termination.i 2 8.7 3.1 370 75 .66 0      - -
loops/terminator_03_true-unreach-call_true-termination.i 2 24   18   500 260 .66 0      - -
loops/trex01_false-unreach-call_true-termination.i 2 52   38   600 560 .62 0      - -
loops/trex01_true-unreach-call_true-termination.i 2 150   130   720 1600 .62 .13   - -
loops/trex02_false-unreach-call_true-termination.i 2 8.8 3.0 380 77 .66 0      - -
loops/trex02_true-unreach-call_true-termination.i 2 8.1 3.3 330 59 .66 0      - -
loops/trex03_false-unreach-call_true-termination.i 0 43   29   680 460 .66 0      - -
loops/trex03_true-unreach-call_true-termination.i 0 43   29   680 420 .66 0      - -
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i 2 10   3.5 460 79 .66 0      - -
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i 2 39   23   620 410 .66 0      - -
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i 0 20   5.1 770 160 .66 0      - -
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i 2 9.5 3.8 450 79 .66 0      - -
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i 2 20   7.5 700 180 .66 0      - -
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 2 7.9 2.7 370 62 .66 0      - -
loop-acceleration/array_false-unreach-call1_true-termination.i 2 9.3 3.1 380 69 .66 0      - -
loop-acceleration/array_false-unreach-call2_true-termination.i 2 10   3.7 380 79 .66 0      - -
loop-acceleration/array_false-unreach-call3_true-termination.i 0 900   870   970 11000 .63 .0041 - -
loop-acceleration/array_true-unreach-call1_true-termination.i 2 9.0 2.9 370 64 .66 0      - -
loop-acceleration/array_true-unreach-call2_true-termination.i 2 9.7 3.3 380 80 .66 0      - -
loop-acceleration/array_true-unreach-call3_true-termination.i 0 900   860   730 9700 .63 0      - -
loop-acceleration/array_true-unreach-call4_true-termination.i 0 900   870   780 12000 .64 0      - -
loop-acceleration/diamond_true-unreach-call1_true-termination.i 0 64   51   620 780 .62 0      - -
loop-acceleration/functions_false-unreach-call1_true-termination.i 0 72   57   1300 740 .62 0      - -
loop-acceleration/functions_true-unreach-call1_true-termination.i 0 73   57   1300 740 .62 0      - -
loop-acceleration/multivar_false-unreach-call1_true-termination.i 0 64   51   730 830 .62 0      - -
loop-acceleration/multivar_true-unreach-call1_true-termination.i 0 65   52   730 560 .62 0      - -
loop-acceleration/simple_false-unreach-call2_true-termination.i 0 43   33   610 490 .62 0      - -
loop-acceleration/simple_false-unreach-call3_true-termination.i 0 68   56   700 890 .62 0      - -
loop-acceleration/simple_true-unreach-call2_true-termination.i 0 46   35   580 520 .62 0      - -
loop-acceleration/simple_true-unreach-call3_true-termination.i 0 68   56   700 760 .62 0      - -
loop-acceleration/underapprox_false-unreach-call1_true-termination.i 0 75   59   880 900 .62 0      - -
loop-acceleration/underapprox_false-unreach-call2_true-termination.i 0 59   43   690 650 .62 0      - -
loop-acceleration/underapprox_true-unreach-call1_true-termination.i 0 77   59   890 910 .62 0      - -
loop-acceleration/underapprox_true-unreach-call2_true-termination.i 0 60   44   710 600 .62 .0041 - -
loop-acceleration/phases_false-unreach-call2_false-termination.i 1 8.3 3.2 370 68 .66 0      0 5.9  3.3  270 .033  0      1 7.8   4.7   310   .62  0     
loop-acceleration/phases_true-unreach-call2_false-termination.i 1 7.9 3.1 360 66 .66 0      0 5.0  2.9  270 .033  0      1 7.8   5.1   310   .62  0     
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i 1 8.5 2.9 380 66 .66 0      1 7.9  4.2  310 .033  .0041 -32 7.1   4.0   300   .66  0     
loop-invgen/string_concat-noarr_true-unreach-call_false-termination.i 0 310   220   850 3800 .62 0      0 91    79    3000 .016  0      0 97     82     4800   .64  0     
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i 2 8.2 3.4 360 65 .66 0      - -
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i 2 9.3 3.1 380 72 .66 .97   - -
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i 2 11   3.5 410 80 .66 0      - -
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i 2 9.6 3.3 360 84 .66 0      - -
loop-invgen/down_true-unreach-call_true-termination.i 2 9.8 3.3 410 82 .66 0      - -
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i 2 11   4.1 440 88 .66 0      - -
loop-invgen/half_2_true-unreach-call_true-termination.i 2 9.4 3.5 410 81 .66 .0041 - -
loop-invgen/heapsort_true-unreach-call_true-termination.i 2 22   9.4 720 220 .66 1.1    - -
loop-invgen/id_build_true-unreach-call_true-termination.i 0 900   890   2300 6300 .63 0      - -
loop-invgen/id_trans_false-unreach-call_true-termination.i 2 12   4.4 500 110 .66 0      - -
loop-invgen/large_const_true-unreach-call_true-termination.i 2 9.6 3.5 420 77 .66 0      - -
loop-invgen/nest-if3_true-unreach-call_true-termination.i 2 11   3.9 480 90 .66 0      - -
loop-invgen/nested6_true-unreach-call_true-termination.i 2 14   5.8 540 110 .66 0      - -
loop-invgen/nested9_true-unreach-call_true-termination.i 0 900   850   2100 8300 .63 .81   - -
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i 2 9.8 3.3 400 85 .66 0      - -
loop-invgen/seq_true-unreach-call_true-termination.i 2 11   5.5 390 93 .66 0      - -
loop-invgen/up_true-unreach-call_true-termination.i 2 9.4 3.9 410 84 .66 0      - -
loop-lit/afnp2014_true-unreach-call_true-termination.c.i 2 9.2 3.0 380 67 .66 0      - -
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i 2 8.4 3.1 360 68 .66 0      - -
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i 2 8.7 3.2 370 66 .66 0      - -
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i 2 8.8 2.9 390 66 .66 0      - -
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i 2 12   4.9 480 110 .66 0      - -
loop-lit/css2003_true-unreach-call_true-termination.c.i 2 8.2 2.9 360 69 .66 0      - -
loop-lit/gj2007_true-unreach-call_true-termination.c.i 2 9.2 3.2 370 65 .66 .0041 - -
loop-lit/gj2007b_true-unreach-call_true-termination.c.i 2 8.3 3.3 360 64 .66 0      - -
loop-lit/gr2006_true-unreach-call_true-termination.c.i 2 11   3.6 430 86 .66 0      - -
loop-lit/gsv2008_true-unreach-call_true-termination.c.i 2 9.2 3.9 350 78 .66 0      - -
loop-lit/hhk2008_true-unreach-call_true-termination.c.i 2 8.5 2.9 380 62 .66 0      - -
loop-lit/jm2006_true-unreach-call_true-termination.c.i 2 9.4 3.3 400 84 .66 0      - -
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i 2 12   5.5 430 110 .66 0      - -
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i 2 12   4.2 530 100 .66 0      - -
loop-lit/gcnr2008_false-unreach-call_false-termination.i 1 65   50   650 730 .62 0      0 91    61    2000 .0082 0      1 47     39     630   .62  .0041
loop-new/count_by_1_true-unreach-call_true-termination.i 2 7.8 2.8 360 62 .66 0      - -
loop-new/count_by_1_variant_true-unreach-call_true-termination.i 2 9.2 3.1 380 69 .66 0      - -
loop-new/count_by_2_true-unreach-call_true-termination.i 2 8.6 3.0 370 65 .66 0      - -
loop-new/count_by_k_true-unreach-call_true-termination.i 2 40   32   560 540 .62 0      - -
loop-new/count_by_nondet_true-unreach-call_true-termination.i 2 21   15   490 230 .66 0      - -
loop-new/gauss_sum_true-unreach-call_true-termination.i 2 7.8 2.9 340 67 .66 0      - -
loop-new/half_true-unreach-call_true-termination.i 2 8.8 3.1 350 65 .66 0      - -
loop-new/nested_true-unreach-call_true-termination.i 2 9.9 4.1 430 88 .66 0      - -
product-lines/elevator_spec14_product03_true-unreach-call_true-termination.cil.c 2 330   170   7600 2200 .62 0      - -
product-lines/elevator_spec14_product11_true-unreach-call_true-termination.cil.c 2 100   44   4600 830 .62 0      - -
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c 2 460   210   9100 2700 .62 0      - -
product-lines/elevator_spec14_product20_false-unreach-call_true-termination.cil.c 2 75   29   2900 660 .66 0      - -
product-lines/elevator_spec14_product23_true-unreach-call_true-termination.cil.c 2 160   81   5900 1200 .62 0      - -
product-lines/elevator_spec14_product24_false-unreach-call_true-termination.cil.c 2 91   49   3400 830 .62 0      - -
product-lines/elevator_spec14_product27_true-unreach-call_true-termination.cil.c 2 470   230   9000 2900 .62 0      - -
product-lines/elevator_spec14_product28_false-unreach-call_true-termination.cil.c 2 85   41   2900 810 .62 0      - -
product-lines/elevator_spec14_product31_true-unreach-call_true-termination.cil.c 0 900   410   12000 5400 .63 0      - -
product-lines/elevator_spec14_product32_false-unreach-call_true-termination.cil.c 2 110   49   3800 920 .62 0      - -
product-lines/elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c 2 330   200   7500 2700 .62 0      - -
product-lines/elevator_spec1_product01_true-unreach-call_true-termination.cil.c 0 910   310   13000 4800 .63 0      - -
product-lines/elevator_spec1_product03_true-unreach-call_true-termination.cil.c 2 39   12   1100 370 .66 0      - -
product-lines/elevator_spec1_product09_true-unreach-call_true-termination.cil.c 0 910   310   13000 4400 .63 0      - -
product-lines/elevator_spec1_product11_true-unreach-call_true-termination.cil.c 2 42   13   1300 390 .66 0      - -
product-lines/elevator_spec1_product17_true-unreach-call_true-termination.cil.c 0 900   350   12000 4600 .63 0      - -
product-lines/elevator_spec1_product18_false-unreach-call_true-termination.cil.c 2 32   10   930 280 .66 .31   - -
product-lines/elevator_spec1_product19_true-unreach-call_true-termination.cil.c 2 40   13   1300 350 .66 0      - -
product-lines/elevator_spec1_product20_false-unreach-call_true-termination.cil.c 2 43   22   930 410 .66 0      - -
product-lines/elevator_spec1_product21_true-unreach-call_true-termination.cil.c 0 900   240   14000 4300 .63 0      - -
product-lines/elevator_spec1_product22_false-unreach-call_true-termination.cil.c 2 49   23   1000 440 .66 0      - -
product-lines/elevator_spec1_product23_true-unreach-call_true-termination.cil.c 2 52   17   1600 430 .66 0      - -
product-lines/elevator_spec1_product24_false-unreach-call_true-termination.cil.c 2 46   23   1100 510 .66 .41   - -
product-lines/elevator_spec1_product25_true-unreach-call_true-termination.cil.c 0 910   310   14000 4500 .63 1.7    - -
product-lines/elevator_spec1_product26_false-unreach-call_true-termination.cil.c 2 30   10   830 250 .66 0      - -
product-lines/elevator_spec1_product27_true-unreach-call_true-termination.cil.c 2 41   14   1100 330 .66 0      - -
product-lines/elevator_spec1_product28_false-unreach-call_true-termination.cil.c 2 46   21   930 430 .66 0      - -
product-lines/elevator_spec1_product29_true-unreach-call_true-termination.cil.c 0 900   230   14000 5300 .63 0      - -
product-lines/elevator_spec1_product30_false-unreach-call_true-termination.cil.c 2 48   23   1000 430 .66 0      - -
product-lines/elevator_spec1_product31_true-unreach-call_true-termination.cil.c 0 900   330   13000 4700 .63 .95   - -
product-lines/elevator_spec1_product32_false-unreach-call_true-termination.cil.c 2 48   24   1100 520 .66 0      - -
product-lines/elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c 2 60   25   2100 480 .66 0      - -
product-lines/elevator_spec2_product01_true-unreach-call_true-termination.cil.c 0 900   350   12000 4500 .63 0      - -
product-lines/elevator_spec2_product03_true-unreach-call_true-termination.cil.c 2 39   12   1100 330 .66 0      - -
product-lines/elevator_spec2_product09_true-unreach-call_true-termination.cil.c 0 900   330   12000 4900 .63 .074  - -
product-lines/elevator_spec2_product11_true-unreach-call_true-termination.cil.c 2 43   12   1000 320 .66 0      - -
product-lines/elevator_spec2_product17_true-unreach-call_true-termination.cil.c 0 900   340   13000 5300 .63 0      - -
product-lines/elevator_spec2_product18_false-unreach-call_true-termination.cil.c 2 34   9.7 910 270 .66 0      - -
product-lines/elevator_spec2_product19_true-unreach-call_true-termination.cil.c 2 39   12   1100 330 .66 0      - -
product-lines/elevator_spec2_product20_false-unreach-call_true-termination.cil.c 2 31   9.4 840 270 .66 0      - -
product-lines/elevator_spec2_product21_true-unreach-call_true-termination.cil.c 0 910   240   13000 4400 .63 0      - -
product-lines/elevator_spec2_product22_false-unreach-call_true-termination.cil.c 2 46   23   1000 470 .66 0      - -
product-lines/elevator_spec2_product23_true-unreach-call_true-termination.cil.c 2 45   16   1200 360 .66 0      - -
product-lines/elevator_spec2_product24_false-unreach-call_true-termination.cil.c 2 35   12   1100 270 .66 0      - -
product-lines/elevator_spec2_product25_true-unreach-call_true-termination.cil.c 0 900   340   12000 4600 .63 0      - -
product-lines/elevator_spec2_product26_false-unreach-call_true-termination.cil.c 2 32   9.9 850 270 .66 0      - -
product-lines/elevator_spec2_product27_true-unreach-call_true-termination.cil.c 2 43   13   1000 390 .66 0      - -
product-lines/elevator_spec2_product28_false-unreach-call_true-termination.cil.c 2 33   9.9 930 300 .66 0      - -
product-lines/elevator_spec2_product29_true-unreach-call_true-termination.cil.c 0 910   240   14000 4300 .63 0      - -
product-lines/elevator_spec2_product30_false-unreach-call_true-termination.cil.c 2 47   23   1100 420 .66 0      - -
product-lines/elevator_spec2_product31_true-unreach-call_true-termination.cil.c 2 46   16   1500 400 .66 0      - -
product-lines/elevator_spec2_product32_false-unreach-call_true-termination.cil.c 2 46   21   1100 420 .66 0      - -
product-lines/elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c 2 60   22   2400 580 .66 0      - -
product-lines/elevator_spec3_product01_true-unreach-call_true-termination.cil.c 2 190   85   6700 1200 .62 0      - -
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c 2 73   34   2300 570 .62 0      - -
product-lines/elevator_spec3_product09_true-unreach-call_true-termination.cil.c 2 830   300   12000 4900 .62 0      - -
product-lines/elevator_spec3_product11_false-unreach-call_true-termination.cil.c 2 110   57   3700 840 .62 0      - -
product-lines/elevator_spec3_product17_true-unreach-call_true-termination.cil.c 2 130   64   5900 1000 .62 0      - -
product-lines/elevator_spec3_product18_true-unreach-call_true-termination.cil.c 2 54   19   1700 450 .66 0      - -
product-lines/elevator_spec3_product19_false-unreach-call_true-termination.cil.c 2 100   48   3400 730 .62 0      - -
product-lines/elevator_spec3_product20_false-unreach-call_true-termination.cil.c 2 54   18   1900 480 .66 0      - -
product-lines/elevator_spec3_product21_true-unreach-call_true-termination.cil.c 2 240   110   7000 1500 .62 .049  - -
product-lines/elevator_spec3_product22_true-unreach-call_true-termination.cil.c 2 61   23   2500 480 .66 0      - -
product-lines/elevator_spec3_product23_false-unreach-call_true-termination.cil.c 0 910   290   14000 4800 .63 0      - -
product-lines/elevator_spec3_product24_false-unreach-call_true-termination.cil.c 2 57   22   2300 560 .66 0      - -
product-lines/elevator_spec3_product25_true-unreach-call_true-termination.cil.c 2 170   70   7500 1200 .62 0      - -
product-lines/elevator_spec3_product26_true-unreach-call_true-termination.cil.c 2 69   30   1700 640 .66 0      - -
product-lines/elevator_spec3_product27_false-unreach-call_true-termination.cil.c 2 110   55   3700 900 .62 0      - -
product-lines/elevator_spec3_product28_false-unreach-call_true-termination.cil.c 2 67   31   2000 590 .62 0      - -
product-lines/elevator_spec3_product29_true-unreach-call_true-termination.cil.c 2 220   120   7000 1600 .62 .074  - -
product-lines/elevator_spec3_product30_true-unreach-call_true-termination.cil.c 2 64   26   2300 520 .66 0      - -
product-lines/elevator_spec3_product31_false-unreach-call_true-termination.cil.c 2 93   44   3200 770 .62 0      - -
product-lines/elevator_spec3_product32_false-unreach-call_true-termination.cil.c 2 59   23   2300 570 .66 0      - -
product-lines/elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c 2 140   58   5900 1100 .62 0      - -
product-lines/elevator_spec9_product09_true-unreach-call_true-termination.cil.c 2 54   21   1700 470 .66 0      - -
product-lines/elevator_spec9_product11_true-unreach-call_true-termination.cil.c 2 34   9.9 880 270 .66 0      - -
product-lines/elevator_spec9_product25_true-unreach-call_true-termination.cil.c 0 910   230   14000 4300 .63 0      - -
product-lines/elevator_spec9_product26_false-unreach-call_true-termination.cil.c 2 38   11   1000 290 .66 0      - -
product-lines/elevator_spec9_product27_true-unreach-call_true-termination.cil.c 2 130   62   5700 1100 .62 0      - -
product-lines/elevator_spec9_product28_false-unreach-call_true-termination.cil.c 2 50   23   1100 430 .66 0      - -
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c 0 910   240   14000 4100 .63 0      - -
product-lines/elevator_spec9_product30_false-unreach-call_true-termination.cil.c 2 53   25   1300 520 .62 0      - -
product-lines/elevator_spec9_product31_true-unreach-call_true-termination.cil.c 2 56   20   1600 520 .66 0      - -
product-lines/elevator_spec9_product32_false-unreach-call_true-termination.cil.c 2 42   14   1300 370 .66 0      - -
product-lines/elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c 2 71   29   2700 570 .62 .17   - -
product-lines/email_spec0_product05_true-unreach-call_true-termination.cil.c 2 18   5.7 570 140 .66 0      - -
product-lines/email_spec0_product09_true-unreach-call_true-termination.cil.c 2 19   5.3 590 140 .66 0      - -
product-lines/email_spec0_product10_true-unreach-call_true-termination.cil.c 2 16   4.6 520 130 .66 0      - -
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c 2 18   5.0 540 130 .66 0      - -
product-lines/email_spec0_product16_false-unreach-call_true-termination.cil.c 2 19   5.2 580 150 .66 0      - -
product-lines/email_spec0_product19_true-unreach-call_true-termination.cil.c 2 18   5.0 590 160 .66 .090  - -
product-lines/email_spec0_product21_false-unreach-call_true-termination.cil.c 2 20   5.6 550 160 .66 0      - -
product-lines/email_spec0_product22_false-unreach-call_true-termination.cil.c 2 16   4.6 520 130 .66 0      - -
product-lines/email_spec0_product24_true-unreach-call_true-termination.cil.c 2 17   4.7 600 150 .66 0      - -
product-lines/email_spec0_product25_true-unreach-call_true-termination.cil.c 2 20   5.5 710 170 .66 0      - -
product-lines/email_spec0_product26_false-unreach-call_true-termination.cil.c 2 18   5.5 600 140 .66 0      - -
product-lines/email_spec0_product27_true-unreach-call_true-termination.cil.c 2 18   5.6 590 130 .66 0      - -
product-lines/email_spec0_product31_false-unreach-call_true-termination.cil.c 2 18   5.1 550 150 .66 0      - -
product-lines/email_spec0_product33_false-unreach-call_true-termination.cil.c 2 18   5.0 600 130 .66 0      - -
product-lines/email_spec0_product34_false-unreach-call_true-termination.cil.c 2 22   6.1 620 190 .66 0      - -
product-lines/email_spec0_product35_false-unreach-call_true-termination.cil.c 2 21   5.8 730 170 .66 0      - -
product-lines/email_spec0_product36_true-unreach-call_true-termination.cil.c 2 18   5.2 540 150 .66 0      - -
product-lines/email_spec0_product37_true-unreach-call_true-termination.cil.c 2 17   5.2 580 130 .66 0      - -
product-lines/email_spec0_product38_true-unreach-call_true-termination.cil.c 2 20   5.3 590 170 .66 0      - -
product-lines/email_spec0_product40_true-unreach-call_true-termination.cil.c 2 16   4.8 590 120 .66 0      - -
product-lines/email_spec0_productSimulator_false-unreach-call_true-termination.cil.c 2 99   48   4200 740 .62 .12   - -
product-lines/email_spec11_product03_true-unreach-call_true-termination.cil.c 2 15   4.4 510 120 .66 .0041 - -
product-lines/email_spec11_product07_true-unreach-call_true-termination.cil.c 2 17   5.3 610 150 .66 0      - -
product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c 2 16   4.5 600 130 .66 0      - -
product-lines/email_spec11_product10_true-unreach-call_true-termination.cil.c 2 17   4.6 580 130 .66 0      - -
product-lines/email_spec11_product15_false-unreach-call_true-termination.cil.c 2 16   5.1 520 130 .66 0      - -
product-lines/email_spec11_product18_true-unreach-call_true-termination.cil.c 2 16   4.6 580 130 .66 0      - -
product-lines/email_spec11_product20_false-unreach-call_true-termination.cil.c 2 18   5.0 590 140 .66 0      - -
product-lines/email_spec11_product22_false-unreach-call_true-termination.cil.c 2 16   4.5 530 130 .66 0      - -
product-lines/email_spec11_product23_true-unreach-call_true-termination.cil.c 2 17   4.8 610 120 .66 0      - -
product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c 2 16   4.8 580 130 .66 0      - -
product-lines/email_spec11_product26_false-unreach-call_true-termination.cil.c 2 19   5.5 570 140 .66 0      - -
product-lines/email_spec11_product27_true-unreach-call_true-termination.cil.c 2 19   5.7 600 150 .66 .066  - -
product-lines/email_spec11_product30_false-unreach-call_true-termination.cil.c 2 17   4.9 600 130 .66 0      - -
product-lines/email_spec11_product32_false-unreach-call_true-termination.cil.c 2 18   5.2 550 140 .66 0      - -
product-lines/email_spec11_product33_false-unreach-call_true-termination.cil.c 2 18   5.5 620 150 .66 .77   - -
product-lines/email_spec11_product35_false-unreach-call_true-termination.cil.c 2 20   5.7 560 170 .66 0      - -
product-lines/email_spec11_product36_true-unreach-call_true-termination.cil.c 2 17   4.9 540 130 .66 0      - -
product-lines/email_spec11_product37_true-unreach-call_true-termination.cil.c 2 16   4.7 580 130 .66 0      - -
product-lines/email_spec11_product39_true-unreach-call_true-termination.cil.c 2 17   4.7 520 130 .66 0      - -
product-lines/email_spec11_product40_true-unreach-call_true-termination.cil.c 2 18   7.0 590 230 .66 0      - -
product-lines/email_spec11_productSimulator_false-unreach-call_true-termination.cil.c 2 100   48   4400 930 .62 0      - -
product-lines/email_spec1_product12_true-unreach-call_true-termination.cil.c 2 18   5.1 590 150 .66 0      - -
product-lines/email_spec1_product14_false-unreach-call_true-termination.cil.c 2 19   5.5 620 170 .66 0      - -
product-lines/email_spec1_product15_false-unreach-call_true-termination.cil.c 2 16   4.6 580 120 .66 0      - -
product-lines/email_spec1_product16_false-unreach-call_true-termination.cil.c 2 18   5.2 590 140 .66 0      - -
product-lines/email_spec1_product20_false-unreach-call_true-termination.cil.c 2 18   5.4 540 130 .66 0      - -
product-lines/email_spec1_product21_false-unreach-call_true-termination.cil.c 2 21   5.8 720 160 .66 0      - -
product-lines/email_spec1_product22_false-unreach-call_true-termination.cil.c 2 17   4.7 530 140 .66 0      - -
product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c 2 19   5.1 560 150 .66 0      - -
product-lines/email_spec1_product28_true-unreach-call_true-termination.cil.c 2 19   5.8 600 140 .66 0      - -
product-lines/email_spec1_product29_false-unreach-call_true-termination.cil.c 2 21   5.9 750 180 .66 0      - -
product-lines/email_spec1_product30_false-unreach-call_true-termination.cil.c 2 16   4.7 520 140 .66 0      - -
product-lines/email_spec1_product31_false-unreach-call_true-termination.cil.c 2 20   5.4 620 160 .66 0      - -
product-lines/email_spec1_product32_false-unreach-call_true-termination.cil.c 2 18   5.1 590 150 .66 0      - -
product-lines/email_spec1_product33_false-unreach-call_true-termination.cil.c 2 19   5.6 590 150 .66 0      - -
product-lines/email_spec1_product34_false-unreach-call_true-termination.cil.c 2 22   6.1 750 200 .66 0      - -
product-lines/email_spec1_product35_false-unreach-call_true-termination.cil.c 2 19   5.6 550 150 .66 0      - -
product-lines/email_spec1_productSimulator_false-unreach-call_true-termination.cil.c 2 110   47   4400 810 .62 0      - -
product-lines/email_spec27_product13_true-unreach-call_true-termination.cil.c 2 17   5.5 580 140 .66 47      - -
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c 2 19   5.5 600 180 .66 0      - -
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c 2 16   4.5 610 140 .66 0      - -
product-lines/email_spec27_product19_false-unreach-call_true-termination.cil.c 2 19   5.6 580 140 .66 0      - -
product-lines/email_spec27_product23_false-unreach-call_true-termination.cil.c 2 18   5.1 610 140 .66 .066  - -
product-lines/email_spec27_product24_false-unreach-call_true-termination.cil.c 2 18   4.8 610 140 .66 0      - -
product-lines/email_spec27_product25_false-unreach-call_true-termination.cil.c 2 20   5.8 550 180 .66 0      - -
product-lines/email_spec27_product27_false-unreach-call_true-termination.cil.c 2 18   5.1 610 150 .66 0      - -
product-lines/email_spec27_product28_true-unreach-call_true-termination.cil.c 2 19   5.7 590 150 .66 0      - -
product-lines/email_spec27_product29_false-unreach-call_true-termination.cil.c 2 21   5.8 590 180 .66 .86   - -
product-lines/email_spec27_product30_false-unreach-call_true-termination.cil.c 2 17   4.7 620 130 .66 0      - -
product-lines/email_spec27_product31_false-unreach-call_true-termination.cil.c 2 18   5.1 540 150 .66 0      - -
product-lines/email_spec27_product32_false-unreach-call_true-termination.cil.c 2 19   5.3 630 140 .66 0      - -
product-lines/email_spec27_product33_false-unreach-call_true-termination.cil.c 2 17   4.9 590 140 .66 0      - -
product-lines/email_spec27_product34_false-unreach-call_true-termination.cil.c 2 21   6.2 810 190 .66 0      - -
product-lines/email_spec27_product35_false-unreach-call_true-termination.cil.c 2 21   6.1 570 150 .66 0      - -
product-lines/email_spec27_productSimulator_false-unreach-call_true-termination.cil.c 2 110   57   5200 930 .62 1.2    - -
product-lines/email_spec3_product13_false-unreach-call_true-termination.cil.c 2 18   5.3 530 130 .66 0      - -
product-lines/email_spec3_product17_false-unreach-call_true-termination.cil.c 2 21   6.2 570 180 .66 .78   - -
product-lines/email_spec3_product18_false-unreach-call_true-termination.cil.c 2 17   5.1 580 130 .66 .54   - -
product-lines/email_spec3_product19_false-unreach-call_true-termination.cil.c 2 19   5.6 550 160 .66 0      - -
product-lines/email_spec3_product23_false-unreach-call_true-termination.cil.c 2 18   5.1 610 160 .66 0      - -
product-lines/email_spec3_product24_false-unreach-call_true-termination.cil.c 2 17   4.8 600 140 .66 0      - -
product-lines/email_spec3_product25_false-unreach-call_true-termination.cil.c 2 21   6.1 740 180 .66 0      - -
product-lines/email_spec3_product27_false-unreach-call_true-termination.cil.c 2 19   5.5 630 140 .66 0      - -
product-lines/email_spec3_product28_false-unreach-call_true-termination.cil.c 2 19   5.4 540 140 .66 0      - -
product-lines/email_spec3_product29_false-unreach-call_true-termination.cil.c 2 21   6.5 710 180 .66 0      - -
product-lines/email_spec3_product30_false-unreach-call_true-termination.cil.c 2 17   5.1 610 130 .66 0      - -
product-lines/email_spec3_product31_false-unreach-call_true-termination.cil.c 2 20   5.5 610 160 .66 0      - -
product-lines/email_spec3_product32_false-unreach-call_true-termination.cil.c 2 19   5.6 680 150 .66 0      - -
product-lines/email_spec3_product33_false-unreach-call_true-termination.cil.c 2 18   5.3 560 150 .66 .66   - -
product-lines/email_spec3_product34_false-unreach-call_true-termination.cil.c 2 24   6.6 770 180 .66 0      - -
product-lines/email_spec3_product35_false-unreach-call_true-termination.cil.c 2 20   5.6 550 160 .66 0      - -
product-lines/email_spec3_productSimulator_false-unreach-call_true-termination.cil.c 2 100   46   4500 730 .62 0      - -
product-lines/email_spec4_product13_true-unreach-call_true-termination.cil.c 2 17   5.0 530 150 .66 0      - -
product-lines/email_spec4_product17_true-unreach-call_true-termination.cil.c 2 19   5.2 570 160 .66 0      - -
product-lines/email_spec4_product18_false-unreach-call_true-termination.cil.c 2 16   4.5 600 120 .66 0      - -
product-lines/email_spec4_product19_false-unreach-call_true-termination.cil.c 2 18   5.7 570 140 .66 0      - -
product-lines/email_spec4_product23_false-unreach-call_true-termination.cil.c 2 18   5.0 610 140 .66 0      - -
product-lines/email_spec4_product24_false-unreach-call_true-termination.cil.c 2 17   4.7 530 130 .66 0      - -
product-lines/email_spec4_product25_false-unreach-call_true-termination.cil.c 2 22   5.7 580 170 .66 0      - -
product-lines/email_spec4_product27_false-unreach-call_true-termination.cil.c 2 19   5.2 550 140 .66 0      - -
product-lines/email_spec4_product28_true-unreach-call_true-termination.cil.c 2 19   5.6 600 150 .66 0      - -
product-lines/email_spec4_product29_true-unreach-call_true-termination.cil.c 2 21   5.8 710 150 .66 0      - -
product-lines/email_spec4_product30_false-unreach-call_true-termination.cil.c 2 17   5.1 580 120 .66 1.1    - -
product-lines/email_spec4_product31_false-unreach-call_true-termination.cil.c 2 19   5.3 550 140 .66 0      - -
product-lines/email_spec4_product32_false-unreach-call_true-termination.cil.c 2 19   5.5 570 150 .66 0      - -
product-lines/email_spec4_product33_false-unreach-call_true-termination.cil.c 2 16   4.8 520 120 .66 0      - -
product-lines/email_spec4_product34_false-unreach-call_true-termination.cil.c 2 21   6.0 640 180 .62 0      - -
product-lines/email_spec4_product35_false-unreach-call_true-termination.cil.c 2 20   6.0 570 160 .66 0      - -
product-lines/email_spec4_productSimulator_false-unreach-call_true-termination.cil.c 2 110   50   4200 760 .62 0      - -
product-lines/email_spec6_product12_false-unreach-call_true-termination.cil.c 2 17   5.5 580 130 .66 0      - -
product-lines/email_spec6_product14_false-unreach-call_true-termination.cil.c 2 20   5.6 710 160 .66 0      - -
product-lines/email_spec6_product15_false-unreach-call_true-termination.cil.c 2 17   5.0 540 130 .66 0      - -
product-lines/email_spec6_product16_false-unreach-call_true-termination.cil.c 2 19   5.3 610 150 .66 0      - -
product-lines/email_spec6_product20_false-unreach-call_true-termination.cil.c 2 19   5.8 560 150 .66 0      - -
product-lines/email_spec6_product21_false-unreach-call_true-termination.cil.c 2 20   6.0 570 170 .66 0      - -
product-lines/email_spec6_product22_false-unreach-call_true-termination.cil.c 2 16   4.6 500 130 .66 0      - -
product-lines/email_spec6_product26_false-unreach-call_true-termination.cil.c 2 19   5.3 620 140 .66 0      - -
product-lines/email_spec6_product28_false-unreach-call_true-termination.cil.c 2 20   5.4 580 160 .66 0      - -
product-lines/email_spec6_product29_false-unreach-call_true-termination.cil.c 2 21   5.9 750 190 .66 0      - -
product-lines/email_spec6_product30_false-unreach-call_true-termination.cil.c 2 17   4.7 620 150 .66 0      - -
product-lines/email_spec6_product31_false-unreach-call_true-termination.cil.c 2 19   5.3 580 170 .66 0      - -
product-lines/email_spec6_product32_false-unreach-call_true-termination.cil.c 2 19   5.8 580 170 .66 0      - -
product-lines/email_spec6_product33_false-unreach-call_true-termination.cil.c 2 18   5.1 540 120 .66 0      - -
product-lines/email_spec6_product34_false-unreach-call_true-termination.cil.c 2 23   6.3 810 210 .66 0      - -
product-lines/email_spec6_product35_false-unreach-call_true-termination.cil.c 2 21   5.8 750 170 .66 0      - -
product-lines/email_spec6_productSimulator_false-unreach-call_true-termination.cil.c 2 110   57   4300 740 .62 0      - -
product-lines/email_spec7_product13_true-unreach-call_true-termination.cil.c 2 18   5.0 620 150 .66 0      - -
product-lines/email_spec7_product17_true-unreach-call_true-termination.cil.c 2 20   5.4 560 170 .66 0      - -
product-lines/email_spec7_product18_true-unreach-call_true-termination.cil.c 2 16   4.9 520 120 .66 0      - -
product-lines/email_spec7_product19_true-unreach-call_true-termination.cil.c 2 17   5.0 570 150 .66 0      - -
product-lines/email_spec7_product23_true-unreach-call_true-termination.cil.c 2 18   5.1 610 130 .66 0      - -
product-lines/email_spec7_product24_true-unreach-call_true-termination.cil.c 2 17   4.8 510 120 .66 0      - -
product-lines/email_spec7_product25_true-unreach-call_true-termination.cil.c 2 20   5.4 700 160 .66 0      - -
product-lines/email_spec7_product27_true-unreach-call_true-termination.cil.c 2 19   5.2 620 150 .66 0      - -
product-lines/email_spec7_product28_false-unreach-call_true-termination.cil.c 2 18   5.0 560 150 .66 0      - -
product-lines/email_spec7_product29_false-unreach-call_true-termination.cil.c 2 21   5.7 580 170 .66 0      - -
product-lines/email_spec7_product30_false-unreach-call_true-termination.cil.c 2 16   5.2 590 130 .66 0      - -
product-lines/email_spec7_product31_false-unreach-call_true-termination.cil.c 2 20   5.6 610 170 .66 0      - -
product-lines/email_spec7_product32_false-unreach-call_true-termination.cil.c 2 19   5.2 610 150 .66 0      - -
product-lines/email_spec7_product33_false-unreach-call_true-termination.cil.c 2 17   5.2 510 130 .66 0      - -
product-lines/email_spec7_product34_false-unreach-call_true-termination.cil.c 2 24   6.8 760 180 .66 0      - -
product-lines/email_spec7_product35_false-unreach-call_true-termination.cil.c 2 20   5.5 740 170 .66 0      - -
product-lines/email_spec7_productSimulator_false-unreach-call_true-termination.cil.c 2 98   45   3900 930 .62 .25   - -
product-lines/email_spec8_product12_true-unreach-call_true-termination.cil.c 2 17   5.0 590 140 .66 0      - -
product-lines/email_spec8_product14_true-unreach-call_true-termination.cil.c 2 19   5.5 540 150 .62 0      - -
product-lines/email_spec8_product15_false-unreach-call_true-termination.cil.c 2 16   5.1 580 140 .66 .066  - -
product-lines/email_spec8_product16_false-unreach-call_true-termination.cil.c 2 19   5.8 580 130 .66 0      - -
product-lines/email_spec8_product20_false-unreach-call_true-termination.cil.c 2 18   5.3 540 150 .66 0      - -
product-lines/email_spec8_product21_false-unreach-call_true-termination.cil.c 2 22   5.9 730 180 .66 0      - -
product-lines/email_spec8_product22_false-unreach-call_true-termination.cil.c 2 16   5.2 600 120 .66 0      - -
product-lines/email_spec8_product26_false-unreach-call_true-termination.cil.c 2 20   5.9 620 150 .66 0      - -
product-lines/email_spec8_product28_true-unreach-call_true-termination.cil.c 2 19   5.6 550 150 .66 0      - -
product-lines/email_spec8_product29_true-unreach-call_true-termination.cil.c 2 22   6.5 710 170 .66 0      - -
product-lines/email_spec8_product30_false-unreach-call_true-termination.cil.c 2 17   4.8 620 150 .66 0      - -
product-lines/email_spec8_product31_false-unreach-call_true-termination.cil.c 2 19   5.3 610 150 .66 0      - -
product-lines/email_spec8_product32_false-unreach-call_true-termination.cil.c 2 19   5.7 640 140 .66 0      - -
product-lines/email_spec8_product33_false-unreach-call_true-termination.cil.c 2 16   4.7 530 130 .66 0      - -
product-lines/email_spec8_product34_false-unreach-call_true-termination.cil.c 2 23   6.7 750 190 .66 0      - -
product-lines/email_spec8_product35_false-unreach-call_true-termination.cil.c 2 21   5.7 570 160 .66 0      - -
product-lines/email_spec8_productSimulator_false-unreach-call_true-termination.cil.c 2 97   46   4200 730 .62 0      - -
product-lines/email_spec9_product12_true-unreach-call_true-termination.cil.c 2 18   5.1 560 140 .66 0      - -
product-lines/email_spec9_product14_true-unreach-call_true-termination.cil.c 2 20   5.8 560 160 .66 0      - -
product-lines/email_spec9_product15_false-unreach-call_true-termination.cil.c 2 17   5.2 580 130 .66 0      - -
product-lines/email_spec9_product16_false-unreach-call_true-termination.cil.c 2 18   5.1 560 140 .66 0      - -
product-lines/email_spec9_product20_false-unreach-call_true-termination.cil.c 2 20   5.1 560 170 .66 0      - -
product-lines/email_spec9_product21_false-unreach-call_true-termination.cil.c 2 21   6.2 570 180 .66 0      - -
product-lines/email_spec9_product22_false-unreach-call_true-termination.cil.c 2 17   4.8 600 130 .66 0      - -
product-lines/email_spec9_product26_false-unreach-call_true-termination.cil.c 2 18   5.2 610 160 .66 0      - -
product-lines/email_spec9_product28_true-unreach-call_true-termination.cil.c 2 18   5.6 550 150 .66 0      - -
product-lines/email_spec9_product29_true-unreach-call_true-termination.cil.c 2 22   6.0 770 160 .66 0      - -
product-lines/email_spec9_product30_false-unreach-call_true-termination.cil.c 2 17   5.1 510 130 .66 0      - -
product-lines/email_spec9_product31_false-unreach-call_true-termination.cil.c 2 19   5.7 600 140 .66 0      - -
product-lines/email_spec9_product32_false-unreach-call_true-termination.cil.c 2 18   5.4 600 130 .66 0      - -
product-lines/email_spec9_product33_false-unreach-call_true-termination.cil.c 2 17   4.8 540 150 .66 0      - -
product-lines/email_spec9_product34_false-unreach-call_true-termination.cil.c 2 23   6.4 650 180 .66 0      - -
product-lines/email_spec9_product35_false-unreach-call_true-termination.cil.c 2 21   5.8 550 180 .66 0      - -
product-lines/email_spec9_productSimulator_false-unreach-call_true-termination.cil.c 2 100   47   4200 790 .62 0      - -
product-lines/elevator_spec13_product21_true-unreach-call_false-termination.cil.c 0 900   290   14000 4500 .63 0      0 .75 .44 40 0      0      0 .020 .021 5.6 0     0     
product-lines/elevator_spec13_product22_true-unreach-call_false-termination.cil.c 0 910   320   14000 5400 .63 0      0 .77 .48 41 0      0      0 .036 .038 5.6 0     0     
product-lines/elevator_spec13_product23_true-unreach-call_false-termination.cil.c 0 900   280   14000 5300 .63 0      0 .72 .44 42 0      0      0 .047 .048 5.5 0     0     
product-lines/elevator_spec13_product24_true-unreach-call_false-termination.cil.c 0 910   290   14000 5400 .63 0      0 .61 .37 41 0      0      0 .022 .023 5.6 0     0     
product-lines/elevator_spec13_product29_true-unreach-call_false-termination.cil.c 0 910   260   13000 5300 .63 0      0 .69 .43 41 0      0      0 .022 .022 5.6 0     0     
product-lines/elevator_spec13_product30_true-unreach-call_false-termination.cil.c 0 900   320   13000 4800 .63 0      0 .59 .36 40 0      0      0 .022 .024 5.7 0     0     
product-lines/elevator_spec13_product31_true-unreach-call_false-termination.cil.c 0 910   300   13000 5100 .63 0      0 .77 .47 40 0      0      0 .024 .027 5.6 0     0     
product-lines/elevator_spec13_product32_true-unreach-call_false-termination.cil.c 0 910   230   14000 4700 .63 0      0 .68 .43 41 0      0      0 .022 .022 5.6 0     0     
product-lines/elevator_spec13_productSimulator_true-unreach-call_false-termination.cil.c 0 900   310   14000 5000 .63 0      0 .91 .56 42 0      0      0 .022 .022 5.6 0     0     
product-lines/minepump_spec1_product01_true-unreach-call_false-termination.cil.c 1 16   6.7 660 150 .66 0      1 14    7.2  440 .033  0      1 17     11     570   .62  0     
product-lines/minepump_spec1_product02_true-unreach-call_false-termination.cil.c 1 19   11   630 180 .66 0      1 13    6.9  430 .033  0      1 22     15     600   .62  0     
product-lines/minepump_spec1_product03_true-unreach-call_false-termination.cil.c 1 20   11   650 210 .66 0      1 17    8.6  440 .033  0      1 22     15     510   .62  0     
product-lines/minepump_spec1_product04_true-unreach-call_false-termination.cil.c 1 19   9.8 520 180 .66 0      1 18    9.3  450 .033  0      1 20     13     510   .62  0     
product-lines/minepump_spec1_product05_true-unreach-call_false-termination.cil.c 1 20   11   700 200 .66 0      1 21    11    540 .033  .020  1 22     16     600   .62  0     
product-lines/minepump_spec1_product06_true-unreach-call_false-termination.cil.c 1 19   9.9 540 190 .66 0      1 21    11    520 .033  0      1 22     16     580   .62  0     
product-lines/minepump_spec1_product07_true-unreach-call_false-termination.cil.c 1 20   11   530 220 .66 0      1 21    11    550 .033  0      1 21     15     500   .62  0     
product-lines/minepump_spec1_product08_true-unreach-call_false-termination.cil.c 1 17   8.4 670 160 .66 0      1 20    11    550 .033  0      1 18     13     580   .62  0     
product-lines/minepump_spec1_product09_true-unreach-call_false-termination.cil.c 1 19   11   680 220 .66 0      1 17    8.7  440 .033  1.1    1 21     15     500   .62  0     
product-lines/minepump_spec1_product10_true-unreach-call_false-termination.cil.c 1 19   11   660 190 .66 0      1 14    7.5  440 .033  .0082 1 20     14     610   .62  0     
product-lines/minepump_spec1_product11_true-unreach-call_false-termination.cil.c 1 21   11   550 200 .66 0      1 17    8.9  440 .033  0      1 21     15     610   .62  .0041
product-lines/minepump_spec1_product12_true-unreach-call_false-termination.cil.c 1 20   11   660 200 .66 0      1 20    10    440 .033  0      1 22     15     600   .62  0     
product-lines/minepump_spec1_product13_true-unreach-call_false-termination.cil.c 1 20   11   670 210 .66 0      1 20    10    550 .033  0      1 21     15     600   .62  0     
product-lines/minepump_spec1_product14_true-unreach-call_false-termination.cil.c 1 20   11   650 230 .66 0      1 19    10    540 .033  1.1    1 23     16     630   .62  .020 
product-lines/minepump_spec1_product15_true-unreach-call_false-termination.cil.c 1 21   11   710 210 .66 0      1 19    10    540 .033  0      1 21     15     500   .62  0     
product-lines/minepump_spec1_product16_true-unreach-call_false-termination.cil.c 1 18   9.4 530 170 .66 0      1 19    10    550 .033  0      1 20     14     600   .62  0     
product-lines/minepump_spec1_product17_true-unreach-call_false-termination.cil.c 1 18   8.6 650 170 .66 0      1 18    9.1  530 .033  0      1 22     15     600   .62  0     
product-lines/minepump_spec1_product18_true-unreach-call_false-termination.cil.c 1 15   6.7 530 140 .66 0      1 22    12    540 .033  1.1    1 18     12     590   .62  0     
product-lines/minepump_spec1_product19_true-unreach-call_false-termination.cil.c 1 18   9.6 530 190 .66 0      1 17    9.1  550 .033  0      1 19     13     610   .62  0     
product-lines/minepump_spec1_product20_true-unreach-call_false-termination.cil.c 1 18   9.7 530 190 .66 0      1 22    11    540 .033  0      1 21     14     500   .62  0     
product-lines/minepump_spec1_product21_true-unreach-call_false-termination.cil.c 1 18   8.6 680 170 .66 0      1 23    12    610 .033  0      1 19     13     590   .62  0     
product-lines/minepump_spec1_product22_true-unreach-call_false-termination.cil.c 1 19   9.9 650 190 .62 0      1 23    12    600 .033  .045  1 20     14     510   .62  0     
product-lines/minepump_spec1_product23_true-unreach-call_false-termination.cil.c 1 18   9.1 710 180 .66 0      1 29    15    630 .033  0      1 19     12     580   .62  0     
product-lines/minepump_spec1_product24_true-unreach-call_false-termination.cil.c 1 20   10   720 200 .66 0      1 23    12    630 .033  0      1 21     14     580   .62  0     
product-lines/minepump_spec1_product25_true-unreach-call_false-termination.cil.c 1 17   8.7 530 180 .66 0      1 17    9.0  550 .033  0      1 19     12     590   .62  0     
product-lines/minepump_spec1_product26_true-unreach-call_false-termination.cil.c 1 18   8.8 540 190 .62 0      1 20    10    550 .033  0      1 19     14     600   .62  0     
product-lines/minepump_spec1_product27_true-unreach-call_false-termination.cil.c 1 18   9.8 630 180 .66 0      1 20    11    550 .033  .016  1 21     15     500   .62  0     
product-lines/minepump_spec1_product28_true-unreach-call_false-termination.cil.c 1 17   8.4 550 180 .66 0      1 19    9.9  530 .033  0      1 19     13     590   .62  0     
product-lines/minepump_spec1_product29_true-unreach-call_false-termination.cil.c 1 20   12   630 230 .66 0      1 23    12    610 .033  .020  1 22     16     600   .62  0     
product-lines/minepump_spec1_product30_true-unreach-call_false-termination.cil.c 1 18   8.5 670 190 .66 0      1 23    12    580 .033  0      1 19     13     590   .62  0     
product-lines/minepump_spec1_product31_true-unreach-call_false-termination.cil.c 1 16   7.1 520 150 .66 0      1 24    13    590 .033  0      1 18     11     590   .62  0     
product-lines/minepump_spec1_product32_true-unreach-call_false-termination.cil.c 1 20   11   710 190 .66 0      1 25    13    600 .033  0      1 22     15     600   .62  0     
product-lines/minepump_spec1_product33_false-unreach-call_false-termination.cil.c 1 19   11   530 190 .66 0      1 26    14    670 .033  0      1 22     16     520   .62  .22  
product-lines/minepump_spec1_product34_false-unreach-call_false-termination.cil.c 1 21   12   550 230 .66 0      1 28    15    620 .033  0      1 21     15     510   .62  0     
product-lines/minepump_spec1_product35_false-unreach-call_false-termination.cil.c 1 18   10   520 190 .66 0      1 27    14    670 .033  0      1 21     14     630   .62  0     
product-lines/minepump_spec1_product36_false-unreach-call_false-termination.cil.c 1 20   9.8 650 170 .66 0      1 32    16    680 .033  0      1 20     14     520   .61  0     
product-lines/minepump_spec1_product37_false-unreach-call_false-termination.cil.c 1 21   11   640 230 .66 .020  1 33    18    790 .033  0      1 22     16     610   .66  0     
product-lines/minepump_spec1_product38_false-unreach-call_false-termination.cil.c 1 21   11   660 210 .66 0      1 41    21    810 .033  0      1 23     16     610   .62  0     
product-lines/minepump_spec1_product39_false-unreach-call_false-termination.cil.c 1 17   7.1 550 150 .66 0      1 40    21    800 .033  0      1 18     11     600   .62  0     
product-lines/minepump_spec1_product40_false-unreach-call_false-termination.cil.c 1 21   11   670 230 .66 .020  1 40    21    820 .033  0      1 23     17     600   .62  0     
product-lines/minepump_spec1_product41_false-unreach-call_false-termination.cil.c 1 18   8.7 700 180 .66 0      1 28    15    720 .033  .020  1 18     12     610   .62  .020 
product-lines/minepump_spec1_product42_false-unreach-call_false-termination.cil.c 1 18   8.6 650 200 .66 0      1 32    17    690 .033  0      1 19     12     610   .62  0     
product-lines/minepump_spec1_product43_false-unreach-call_false-termination.cil.c 1 21   11   540 210 .66 0      1 35    18    720 .033  0      1 21     15     510   .62  0     
product-lines/minepump_spec1_product44_false-unreach-call_false-termination.cil.c 1 18   8.6 660 190 .66 0      1 35    18    730 .033  0      1 18     12     620   .62  0     
product-lines/minepump_spec1_product45_true-unreach-call_false-termination.cil.c 1 21   11   660 200 .66 0      1 34    18    960 .033  0      1 22     15     610   .62  0     
product-lines/minepump_spec1_product46_true-unreach-call_false-termination.cil.c 1 21   11   550 200 .66 0      1 35    19    1000 .033  0      1 22     15     600   .62  0     
product-lines/minepump_spec1_product47_true-unreach-call_false-termination.cil.c 1 19   8.9 540 190 .66 0      1 36    20    1100 .033  .020  1 19     13     610   .62  0     
product-lines/minepump_spec1_product48_true-unreach-call_false-termination.cil.c 1 23   12   570 220 .66 0      1 39    20    1100 .033  .020  1 22     16     510   .62  0     
product-lines/minepump_spec1_product49_false-unreach-call_false-termination.cil.c 1 21   10   660 200 .66 0      1 34    18    790 .033  0      1 22     15     510   .62  0     
product-lines/minepump_spec1_product50_false-unreach-call_false-termination.cil.c 1 21   11   660 210 .66 0      1 38    20    890 .033  0      1 23     16     520   .62  0     
product-lines/minepump_spec1_product51_false-unreach-call_false-termination.cil.c 1 20   11   540 190 .66 0      1 35    19    830 .033  1.1    1 22     15     520   .62  0     
product-lines/minepump_spec1_product52_false-unreach-call_false-termination.cil.c 1 20   9.9 670 190 .66 0      1 44    23    960 .033  0      1 21     14     600   .62  0     
product-lines/minepump_spec1_product53_false-unreach-call_false-termination.cil.c 1 19   8.8 590 180 .66 0      1 49    27    1200 .033  0      1 21     14     520   .62  .0041
product-lines/minepump_spec1_product54_false-unreach-call_false-termination.cil.c 1 22   11   540 210 .66 0      1 51    27    1200 .033  0      1 23     16     510   .62  0     
product-lines/minepump_spec1_product55_false-unreach-call_false-termination.cil.c 1 20   9.9 540 200 .66 0      1 38    21    1200 .033  0      1 22     15     600   .62  0     
product-lines/minepump_spec1_product56_false-unreach-call_false-termination.cil.c 1 19   8.6 670 170 .66 0      1 48    26    1300 .033  0      1 21     14     520   .62  0     
product-lines/minepump_spec1_product57_true-unreach-call_false-termination.cil.c 1 19   8.8 690 170 .66 0      1 32    17    970 .033  0      1 19     13     610   .62  0     
product-lines/minepump_spec1_product58_true-unreach-call_false-termination.cil.c 1 20   10   670 190 .66 0      1 41    22    1100 .033  0      1 20     14     520   .62  0     
product-lines/minepump_spec1_product59_true-unreach-call_false-termination.cil.c 1 21   11   530 220 .66 0      1 32    18    1100 .033  1.1    1 22     15     610   .62  0     
product-lines/minepump_spec1_product60_true-unreach-call_false-termination.cil.c 1 18   9.0 530 170 .66 0      1 33    18    1100 .033  0      1 19     12     500   .62  0     
product-lines/minepump_spec1_product61_true-unreach-call_false-termination.cil.c 1 21   10   670 220 .66 0      1 43    25    1500 .033  0      1 21     14     610   .62  0     
product-lines/minepump_spec1_product62_true-unreach-call_false-termination.cil.c 1 21   11   690 240 .66 0      1 57    29    1500 .033  0      1 24     16     520   .62  0     
product-lines/minepump_spec1_product63_true-unreach-call_false-termination.cil.c 1 22   11   530 200 .66 0      1 47    27    1400 .033  0      1 22     16     520   .62  0     
product-lines/minepump_spec1_product64_true-unreach-call_false-termination.cil.c 1 21   10   550 220 .66 0      1 52    31    1400 .033  0      1 22     15     620   .62  .020 
product-lines/minepump_spec1_productSimulator_false-unreach-call_false-termination.cil.c 1 22   12   770 230 .66 0      1 59    34    2100 .033  0      1 26     17     720   .62  0     
product-lines/minepump_spec2_product01_true-unreach-call_false-termination.cil.c 1 18   9.9 550 180 .66 .0082 1 16    8.1  440 .033  0      1 20     14     610   .62  0     
product-lines/minepump_spec2_product02_true-unreach-call_false-termination.cil.c 1 16   6.8 670 130 .66 0      1 20    10    440 .033  0      1 17     11     600   .62  0     
product-lines/minepump_spec2_product03_true-unreach-call_false-termination.cil.c 1 20   11   530 200 .66 0      1 15    7.7  430 .033  0      1 22     16     590   .62  0     
product-lines/minepump_spec2_product04_true-unreach-call_false-termination.cil.c 1 18   10   610 180 .66 0      1 18    9.7  440 .033  .020  1 20     13     580   .62  0     
product-lines/minepump_spec2_product05_true-unreach-call_false-termination.cil.c 1 19   9.8 670 190 .66 0      1 19    10    540 .033  0      1 19     13     500   .62  0     
product-lines/minepump_spec2_product06_true-unreach-call_false-termination.cil.c 1 18   8.6 650 170 .66 0      1 21    11    550 .033  .020  1 19     13     580   .62  0     
product-lines/minepump_spec2_product07_true-unreach-call_false-termination.cil.c 1 20   9.9 680 200 .66 0      1 20    11    540 .033  0      1 19     13     590   .62  0     
product-lines/minepump_spec2_product08_true-unreach-call_false-termination.cil.c 1 18   8.6 670 160 .66 0      1 23    12    550 .033  0      1 19     13     600   .62  0     
product-lines/minepump_spec2_product09_true-unreach-call_false-termination.cil.c 1 18   11   520 230 .66 0      1 18    9.5  440 .033  0      1 22     15     600   .62  0     
product-lines/minepump_spec2_product10_true-unreach-call_false-termination.cil.c 1 15   6.6 540 140 .66 0      1 14    7.5  430 .033  0      1 18     11     610   .62  0     
product-lines/minepump_spec2_product11_true-unreach-call_false-termination.cil.c 1 19   9.7 530 190 .66 0      1 16    8.3  480 .033  0      1 23     16     510   .62  0     
product-lines/minepump_spec2_product12_true-unreach-call_false-termination.cil.c 1 17   8.5 540 150 .66 0      1 18    9.5  460 .033  0      1 20     13     590   .62  0     
product-lines/minepump_spec2_product13_true-unreach-call_false-termination.cil.c 1 20   11   550 180 .66 0      1 23    12    520 .033  0      1 22     15     600   .66  0     
product-lines/minepump_spec2_product14_true-unreach-call_false-termination.cil.c 1 20   11   520 200 .66 0      1 19    10    560 .033  0      1 22     15     600   .62  .020 
product-lines/minepump_spec2_product15_true-unreach-call_false-termination.cil.c 1 20   11   530 210 .66 0      1 27    14    560 .033  0      1 21     15     600   .62  .020 
product-lines/minepump_spec2_product16_true-unreach-call_false-termination.cil.c 1 18   9.7 530 160 .62 0      1 19    9.9  540 .033  0      1 20     14     580   .62  0     
product-lines/minepump_spec2_product17_true-unreach-call_false-termination.cil.c 1 17   7.1 680 140 .66 0      1 22    11    580 .033  .045  1 17     11     600   .62  0     
product-lines/minepump_spec2_product18_true-unreach-call_false-termination.cil.c 1 21   11   690 220 .66 0      1 24    13    570 .033  0      1 21     15     590   .62  0     
product-lines/minepump_spec2_product19_true-unreach-call_false-termination.cil.c 1 20   11   640 210 .66 0      1 25    13    560 .033  .049  1 22     16     500   .66  0     
product-lines/minepump_spec2_product20_true-unreach-call_false-termination.cil.c 1 20   11   670 210 .66 0      1 20    11    550 .033  0      1 22     15     500   .62  .0082
product-lines/minepump_spec2_product21_true-unreach-call_false-termination.cil.c 1 20   11   540 210 .62 .68   1 27    14    670 .033  0      1 22     15     510   .62  0     
product-lines/minepump_spec2_product22_true-unreach-call_false-termination.cil.c 1 20   11   530 220 .66 0      1 30    16    650 .033  0      1 21     15     600   .62  0     
product-lines/minepump_spec2_product23_true-unreach-call_false-termination.cil.c 1 20   11   520 210 .66 0      1 29    16    660 .033  0      1 21     15     580   .62  0     
product-lines/minepump_spec2_product24_true-unreach-call_false-termination.cil.c 1 19   9.8 550 200 .66 .025  1 29    15    760 .033  0      1 20     14     600   .62  0     
product-lines/minepump_spec2_product25_true-unreach-call_false-termination.cil.c 1 20   9.9 640 170 .66 0      1 22    12    550 .033  1.1    1 20     14     500   .62  0     
product-lines/minepump_spec2_product26_true-unreach-call_false-termination.cil.c 1 16   7.0 520 140 .66 0      1 20    10    550 .033  0      1 17     11     500   .62  0     
product-lines/minepump_spec2_product27_true-unreach-call_false-termination.cil.c 1 15   7.0 520 140 .66 0      1 23    12    590 .033  0      1 17     11     510   .62  0     
product-lines/minepump_spec2_product28_true-unreach-call_false-termination.cil.c 1 16   7.3 680 140 .66 0      1 21    11    570 .033  0      1 17     11     520   .62  0     
product-lines/minepump_spec2_product29_true-unreach-call_false-termination.cil.c 1 21   12   630 230 .66 0      1 31    16    740 .033  0      1 23     16     500   .62  0     
product-lines/minepump_spec2_product30_true-unreach-call_false-termination.cil.c 1 22   11   720 220 .66 0      1 25    13    690 .033  0      1 22     15     510   .62  0     
product-lines/minepump_spec2_product31_true-unreach-call_false-termination.cil.c 1 21   12   650 210 .66 0      1 24    13    700 .033  0      1 21     15     600   .62  .020 
product-lines/minepump_spec2_product32_true-unreach-call_false-termination.cil.c 1 21   11   680 200 .62 0      1 32    17    730 .033  0      1 22     15     510   .62  0     
product-lines/minepump_spec2_product33_false-unreach-call_false-termination.cil.c 1 20   10   550 190 .66 0      1 30    15    720 .033  0      1 25     16     510   .62  .0041
product-lines/minepump_spec2_product34_false-unreach-call_false-termination.cil.c 1 20   11   680 190 .66 0      1 32    16    660 .033  0      1 23     16     590   .62  0     
product-lines/minepump_spec2_product35_false-unreach-call_false-termination.cil.c 1 19   12   520 190 .66 .020  1 33    18    730 .033  .020  1 22     15     620   .62  .0041
product-lines/minepump_spec2_product36_false-unreach-call_false-termination.cil.c 1 18   10   540 170 .66 0      1 28    15    700 .033  .020  1 20     14     600   .62  0     
product-lines/minepump_spec2_product37_true-unreach-call_false-termination.cil.c 1 22   11   690 220 .62 0      1 33    18    960 .033  0      1 23     16     600   .62  0     
product-lines/minepump_spec2_product38_true-unreach-call_false-termination.cil.c 1 21   11   690 220 .66 0      1 36    19    1000 .033  0      1 22     16     500   .62  0     
product-lines/minepump_spec2_product39_true-unreach-call_false-termination.cil.c 1 20   12   540 210 .66 .020  1 42    23    1100 .033  0      1 23     16     520   .62  .22  
product-lines/minepump_spec2_product40_true-unreach-call_false-termination.cil.c 1 20   10   690 220 .66 0      1 37    20    1100 .033  .029  1 22     15     610   .62  0     
product-lines/minepump_spec2_product41_false-unreach-call_false-termination.cil.c 1 19   9.0 670 180 .62 0      1 30    16    840 .033  .020  1 19     13     610   .62  .020 
product-lines/minepump_spec2_product42_false-unreach-call_false-termination.cil.c 1 21   11   560 220 .66 0      1 30    16    810 .033  0      1 21     15     510   .62  0     
product-lines/minepump_spec2_product43_false-unreach-call_false-termination.cil.c 1 20   12   530 210 .66 0      1 32    17    800 .033  0      1 25     17     620   .62  0     
product-lines/minepump_spec2_product44_false-unreach-call_false-termination.cil.c 1 20   10   540 220 .66 .020  1 36    19    850 .033  0      1 20     14     630   .62  0     
product-lines/minepump_spec2_product45_true-unreach-call_false-termination.cil.c 1 21   11   670 240 .66 0      1 43    23    1100 .033  0      1 22     16     510   .62  .020 
product-lines/minepump_spec2_product46_true-unreach-call_false-termination.cil.c 1 19   8.6 660 180 .66 0      1 36    20    1100 .033  0      1 20     13     630   .62  0     
product-lines/minepump_spec2_product47_true-unreach-call_false-termination.cil.c 1 16   7.5 540 160 .66 0      1 39    22    950 .033  0      1 18     11     590   .62  0     
product-lines/minepump_spec2_product48_true-unreach-call_false-termination.cil.c 1 21   12   560 230 .66 0      1 46    24    1100 .033  0      1 22     16     520   .62  0     
product-lines/minepump_spec2_product49_true-unreach-call_false-termination.cil.c 1 18   8.8 530 200 .66 0      1 42    22    1000 .033  0      1 19     13     510   .62  0     
product-lines/minepump_spec2_product50_true-unreach-call_false-termination.cil.c 1 19   10   530 230 .66 0      1 37    20    1000 .033  .016  1 20     14     620   .62  0     
product-lines/minepump_spec2_product51_true-unreach-call_false-termination.cil.c 1 21   12   640 180 .66 0      1 43    23    1100 .033  0      1 21     15     510   .62  0     
product-lines/minepump_spec2_product52_true-unreach-call_false-termination.cil.c 1 19   8.8 550 170 .66 0      1 44    23    1000 .033  0      1 19     13     510   .62  0     
product-lines/minepump_spec2_product53_true-unreach-call_false-termination.cil.c 1 22   12   660 210 .66 0      1 50    27    1400 .033  0      1 24     17     520   .62  .0041
product-lines/minepump_spec2_product54_true-unreach-call_false-termination.cil.c 1 21   12   530 220 .66 0      1 56    30    1400 .033  0      1 25     17     620   .62  0     
product-lines/minepump_spec2_product55_true-unreach-call_false-termination.cil.c 1 20   8.9 660 180 .66 0      1 62    33    1300 .033  0      1 21     14     520   .62  0     
product-lines/minepump_spec2_product56_true-unreach-call_false-termination.cil.c 1 20   8.7 660 190 .66 0      1 58    32    1200 .033  .016  1 21     14     600   .62  0     
product-lines/minepump_spec2_product57_true-unreach-call_false-termination.cil.c 1 20   9.2 690 180 .66 0      1 44    24    1000 .033  0      1 19     13     640   .62  0     
product-lines/minepump_spec2_product58_true-unreach-call_false-termination.cil.c 1 21   10   690 200 .66 0      1 40    22    1100 .033  0      1 20     14     520   .62  0     
product-lines/minepump_spec2_product59_true-unreach-call_false-termination.cil.c 1 22   12   690 220 .66 0      1 39    22    1100 .033  0      1 22     16     510   .62  0     
product-lines/minepump_spec2_product60_true-unreach-call_false-termination.cil.c 1 21   10   550 230 .66 0      1 44    24    1100 .033  0      1 21     14     620   .62  0     
product-lines/minepump_spec2_product61_true-unreach-call_false-termination.cil.c 1 21   10   540 200 .66 0      1 58    32    1500 .033  0      1 24     16     610   .62  0     
product-lines/minepump_spec2_product62_true-unreach-call_false-termination.cil.c 1 23   12   570 230 .66 0      1 62    34    1500 .033  0      1 27     19     630   .62  0     
product-lines/minepump_spec2_product63_true-unreach-call_false-termination.cil.c 1 21   10   680 190 .66 0      1 44    26    1400 .033  0      1 21     14     620   .62  0     
product-lines/minepump_spec2_product64_true-unreach-call_false-termination.cil.c 1 22   10   540 220 .66 0      1 55    31    1600 .033  0      1 23     16     630   .62  0     
product-lines/minepump_spec2_productSimulator_false-unreach-call_false-termination.cil.c 1 25   12   750 200 .66 0      1 81    47    2100 .033  0      1 24     16     690   .62  0     
product-lines/minepump_spec3_product01_false-unreach-call_false-termination.cil.c 1 17   8.5 660 170 .66 0      1 20    10    440 .033  0      1 19     12     500   .62  0     
product-lines/minepump_spec3_product02_false-unreach-call_false-termination.cil.c 1 19   11   630 190 .66 0      1 19    9.8  460 .033  1.1    1 22     16     500   .62  0     
product-lines/minepump_spec3_product03_false-unreach-call_false-termination.cil.c 1 20   11   530 210 .66 0      1 20    10    470 .033  0      1 23     17     500   .62  0     
product-lines/minepump_spec3_product04_false-unreach-call_false-termination.cil.c 1 15   6.9 520 140 .66 0      1 16    8.5  500 .033  0      1 17     11     600   .62  0     
product-lines/minepump_spec3_product05_false-unreach-call_false-termination.cil.c 1 21   11   700 230 .66 0      1 20    10    550 .033  0      1 22     15     500   .62  0     
product-lines/minepump_spec3_product06_false-unreach-call_false-termination.cil.c 1 18   8.7 670 180 .66 0      1 22    11    560 .033  0      1 19     13     510   .62  0     
product-lines/minepump_spec3_product07_false-unreach-call_false-termination.cil.c 1 17   8.5 640 190 .66 0      1 25    13    560 .033  0      1 19     13     580   .62  .0041
product-lines/minepump_spec3_product08_false-unreach-call_false-termination.cil.c 1 20   12   530 210 .66 0      1 21    11    550 .033  0      1 22     16     500   .62  0     
product-lines/minepump_spec3_product09_false-unreach-call_false-termination.cil.c 1 17   8.1 540 160 .66 0      1 19    9.8  440 .033  1.1    1 18     13     500   .62  0     
product-lines/minepump_spec3_product10_false-unreach-call_false-termination.cil.c 1 20   11   550 210 .66 0      1 20    10    460 .033  0      1 21     15     500   .62  0     
product-lines/minepump_spec3_product11_false-unreach-call_false-termination.cil.c 1 18   8.6 680 170 .62 0      1 15    8.0  470 .033  0      1 19     13     590   .62  0     
product-lines/minepump_spec3_product12_false-unreach-call_false-termination.cil.c 1 21   12   670 200 .66 0      1 16    8.4  470 .033  0      1 21     15     500   .62  0     
product-lines/minepump_spec3_product13_false-unreach-call_false-termination.cil.c 1 19   10   660 200 .66 0      1 24    13    530 .033  0      1 19     13     600   .62  0     
product-lines/minepump_spec3_product14_false-unreach-call_false-termination.cil.c 1 16   7.4 730 150 .66 0      1 21    11    560 .033  .061  1 17     11     600   .62  0     
product-lines/minepump_spec3_product15_false-unreach-call_false-termination.cil.c 1 21   11   660 210 .62 0      1 20    10    560 .033  .020  1 22     14     610   .62  0     
product-lines/minepump_spec3_product16_false-unreach-call_false-termination.cil.c 1 18   8.5 560 210 .66 0      1 20    10    550 .033  0      1 19     13     510   .62  0     
product-lines/minepump_spec3_product17_false-unreach-call_false-termination.cil.c 1 17   8.4 530 160 .66 0      1 26    14    570 .033  .020  1 19     12     510   .62  0     
product-lines/minepump_spec3_product18_false-unreach-call_false-termination.cil.c 1 19   9.8 650 190 .66 0      1 27    14    580 .033  0      1 19     13     600   .62  0     
product-lines/minepump_spec3_product19_false-unreach-call_false-termination.cil.c 1 19   8.7 550 160 .66 0      1 25    13    560 .033  0      1 18     12     580   .62  0     
product-lines/minepump_spec3_product20_false-unreach-call_false-termination.cil.c 1 21   11   660 200 .66 0      1 24    13    590 .033  0      1 21     15     610   .62  0     
product-lines/minepump_spec3_product21_false-unreach-call_false-termination.cil.c 1 19   8.8 650 180 .66 0      1 32    17    740 .033  0      1 19     13     520   .62  0     
product-lines/minepump_spec3_product22_false-unreach-call_false-termination.cil.c 1 19   9.9 670 220 .62 .020  1 32    17    700 .033  0      1 21     14     590   .62  0     
product-lines/minepump_spec3_product23_false-unreach-call_false-termination.cil.c 1 19   8.9 690 180 .66 0      1 26    14    730 .033  .061  1 20     13     520   .62  .020 
product-lines/minepump_spec3_product24_false-unreach-call_false-termination.cil.c 1 21   11   560 190 .66 0      1 33    17    770 .033  0      1 22     15     620   .62  0     
product-lines/minepump_spec3_product25_false-unreach-call_false-termination.cil.c 1 20   11   660 210 .66 0      1 20    10    570 .033  0      1 21     15     580   .62  0     
product-lines/minepump_spec3_product26_false-unreach-call_false-termination.cil.c 1 20   10   700 190 .66 0      1 24    13    560 .033  1.1    1 20     14     510   .62  0     
product-lines/minepump_spec3_product27_false-unreach-call_false-termination.cil.c 1 17   7.1 660 150 .66 0      1 20    11    550 .033  0      1 18     11     510   .62  0     
product-lines/minepump_spec3_product28_false-unreach-call_false-termination.cil.c 1 20   9.9 680 200 .66 0      1 25    13    570 .033  0      1 20     14     590   .62  .15  
product-lines/minepump_spec3_product29_false-unreach-call_false-termination.cil.c 1 21   11   660 210 .66 .020  1 32    17    770 .033  .020  1 20     14     510   .62  0     
product-lines/minepump_spec3_product30_false-unreach-call_false-termination.cil.c 1 19   10   660 170 .66 0      1 31    16    750 .033  0      1 21     14     610   .62  .020 
product-lines/minepump_spec3_product31_false-unreach-call_false-termination.cil.c 1 20   9.9 760 180 .66 0      1 36    19    720 .033  0      1 20     14     610   .62  .0041
product-lines/minepump_spec3_product32_false-unreach-call_false-termination.cil.c 1 19   8.7 640 170 .66 0      1 30    16    740 .033  0      1 20     14     590   .62  0     
product-lines/minepump_spec3_product33_true-unreach-call_false-termination.cil.c 1 21   11   680 230 .66 0      1 30    16    740 .033  .020  1 22     15     620   .62  .0041
product-lines/minepump_spec3_product34_true-unreach-call_false-termination.cil.c 1 19   9.0 680 200 .66 .020  1 33    18    750 .033  0      1 19     12     520   .62  0     
product-lines/minepump_spec3_product35_false-unreach-call_false-termination.cil.c 1 22   12   720 230 .66 0      1 32    17    770 .033  .86   1 23     16     620   .62  0     
product-lines/minepump_spec3_product36_false-unreach-call_false-termination.cil.c 1 22   11   560 210 .66 0      1 33    18    710 .033  0      1 23     16     630   .62  0     
product-lines/minepump_spec3_product37_true-unreach-call_false-termination.cil.c 1 22   12   690 230 .62 0      1 39    21    1000 .033  0      1 23     16     630   .62  .020 
product-lines/minepump_spec3_product38_true-unreach-call_false-termination.cil.c 1 21   11   550 220 .66 0      1 39    20    1100 .033  0      1 22     15     620   .62  0     
product-lines/minepump_spec3_product39_false-unreach-call_false-termination.cil.c 1 21   10   560 210 .66 0      1 37    20    1000 .033  0      1 21     14     650   .62  0     
product-lines/minepump_spec3_product40_false-unreach-call_false-termination.cil.c 1 22   12   720 230 .66 0      1 46    25    1000 .033  .066  1 24     17     610   .62  .029 
product-lines/minepump_spec3_product41_true-unreach-call_false-termination.cil.c 1 19   9.3 560 170 .66 0      1 32    17    780 .033  .020  1 18     12     620   .62  0     
product-lines/minepump_spec3_product42_true-unreach-call_false-termination.cil.c 1 20   10   560 220 .66 0      1 33    18    780 .033  0      1 21     14     610   .62  0     
product-lines/minepump_spec3_product43_false-unreach-call_false-termination.cil.c 1 22   11   670 210 .66 0      1 39    21    860 .033  0      1 21     15     600   .62  .020 
product-lines/minepump_spec3_product44_false-unreach-call_false-termination.cil.c 1 19   8.9 690 180 .66 .020  1 37    20    770 .033  0      1 19     13     510   .62  0     
product-lines/minepump_spec3_product45_true-unreach-call_false-termination.cil.c 1 20   9.0 550 170 .66 0      1 48    26    1100 .033  1.1    1 24     15     590   .62  0     
product-lines/minepump_spec3_product46_true-unreach-call_false-termination.cil.c 1 18   7.4 560 150 .66 0      1 46    25    1100 .033  0      1 18     11     600   .62  0     
product-lines/minepump_spec3_product47_false-unreach-call_false-termination.cil.c 1 20   9.0 730 210 .66 0      1 41    23    1100 .033  0      1 20     13     600   .62  .020 
product-lines/minepump_spec3_product48_false-unreach-call_false-termination.cil.c 1 23   12   570 240 .66 0      1 39    21    1000 .033  0      1 23     16     520   .62  0     
product-lines/minepump_spec3_product49_true-unreach-call_false-termination.cil.c 1 19   8.9 650 180 .66 0      1 38    21    990 .033  0      1 20     13     640   .62  0     
product-lines/minepump_spec3_product50_true-unreach-call_false-termination.cil.c 1 22   11   670 230 .66 0      1 35    19    1000 .033  0      1 23     16     600   .62  0     
product-lines/minepump_spec3_product51_false-unreach-call_false-termination.cil.c 1 18   8.6 530 170 .66 0      1 42    23    1100 .033  0      1 19     13     640   .62  0     
product-lines/minepump_spec3_product52_false-unreach-call_false-termination.cil.c 1 23   12   730 210 .66 0      1 41    23    1100 .033  0      1 23     16     510   .62  0     
product-lines/minepump_spec3_product53_true-unreach-call_false-termination.cil.c 1 21   10   560 210 .66 0      1 47    26    1300 .033  0      1 22     15     620   .62  .020 
product-lines/minepump_spec3_product54_true-unreach-call_false-termination.cil.c 1 22   11   550 210 .66 0      1 56    30    1400 .033  0      1 24     16     520   .62  0     
product-lines/minepump_spec3_product55_false-unreach-call_false-termination.cil.c 1 23   12   680 210 .66 0      1 46    26    1300 .033  0      1 22     16     620   .62  0     
product-lines/minepump_spec3_product56_false-unreach-call_false-termination.cil.c 1 19   8.3 590 170 .66 0      1 43    24    1400 .033  0      1 20     13     520   .62  0     
product-lines/minepump_spec3_product57_true-unreach-call_false-termination.cil.c 1 23   12   720 250 .66 .20   1 39    21    1200 .033  0      1 22     16     630   .62  0     
product-lines/minepump_spec3_product58_true-unreach-call_false-termination.cil.c 1 22   11   710 250 .66 0      1 44    24    1100 .033  0      1 22     15     520   .62  0     
product-lines/minepump_spec3_product59_false-unreach-call_false-termination.cil.c 1 21   11   550 240 .66 0      1 43    25    1100 .033  .016  1 22     16     640   .62  0     
product-lines/minepump_spec3_product60_false-unreach-call_false-termination.cil.c 1 22   12   700 260 .66 0      1 42    23    1100 .033  .020  1 21     15     520   .62  0     
product-lines/minepump_spec3_product61_true-unreach-call_false-termination.cil.c 1 20   8.9 540 190 .66 0      1 46    28    1400 .033  0      1 21     14     520   .62  0     
product-lines/minepump_spec3_product62_true-unreach-call_false-termination.cil.c 1 23   12   570 230 .66 0      1 51    29    1400 .033  0      1 24     17     630   .62  0     
product-lines/minepump_spec3_product63_false-unreach-call_false-termination.cil.c 1 22   10   710 230 .66 0      1 51    29    1400 .033  0      1 22     15     620   .62  .025 
product-lines/minepump_spec3_product64_false-unreach-call_false-termination.cil.c 1 25   12   580 240 .66 0      1 51    30    1600 .033  0      1 25     18     600   .62  0     
product-lines/minepump_spec3_productSimulator_false-unreach-call_false-termination.cil.c 1 26   14   760 250 .62 0      1 67    40    2100 .033  0      1 26     19     740   .62  0     
product-lines/minepump_spec4_product01_true-unreach-call_false-termination.cil.c 1 19   11   530 220 .66 0      1 15    7.8  440 .033  0      1 21     15     500   .62  0     
product-lines/minepump_spec4_product02_true-unreach-call_false-termination.cil.c 1 18   9.7 660 180 .66 .0082 1 15    7.8  430 .033  0      1 20     14     590   .62  0     
product-lines/minepump_spec4_product03_true-unreach-call_false-termination.cil.c 1 18   9.0 540 170 .66 2.6    1 16    8.4  440 .033  0      1 19     13     600   .62  0     
product-lines/minepump_spec4_product04_true-unreach-call_false-termination.cil.c 1 19   9.9 680 200 .66 0      1 14    7.2  440 .033  .061  1 20     14     510   .62  0     
product-lines/minepump_spec4_product05_true-unreach-call_false-termination.cil.c 1 16   7.1 650 150 .66 0      1 21    11    550 .033  0      1 17     11     510   .62  0     
product-lines/minepump_spec4_product06_true-unreach-call_false-termination.cil.c 1 18   10   540 170 .62 0      1 21    11    530 .033  1.1    1 21     15     600   .62  0     
product-lines/minepump_spec4_product07_true-unreach-call_false-termination.cil.c 1 19   8.7 690 160 .66 0      1 19    9.9  520 .033  .016  1 19     13     580   .66  .0041
product-lines/minepump_spec4_product08_true-unreach-call_false-termination.cil.c 1 19   11   530 200 .66 0      1 19    10    530 .033  0      1 22     15     610   .62  .020 
product-lines/minepump_spec4_product09_true-unreach-call_false-termination.cil.c 1 19   11   530 190 .62 0      1 16    8.4  440 .033  0      1 21     16     600   .62  0     
product-lines/minepump_spec4_product10_true-unreach-call_false-termination.cil.c 1 19   11   520 200 .66 .020  1 13    6.9  430 .033  0      1 21     15     580   .62  0     
product-lines/minepump_spec4_product11_true-unreach-call_false-termination.cil.c 1 18   8.5 640 160 .66 0      1 17    8.6  430 .033  0      1 18     13     580   .62  0     
product-lines/minepump_spec4_product12_true-unreach-call_false-termination.cil.c 1 18   10   540 180 .66 0      1 15    7.8  450 .033  0      1 22     15     510   .62  0     
product-lines/minepump_spec4_product13_true-unreach-call_false-termination.cil.c 1 16   6.9 660 140 .66 .020  1 22    11    510 .033  .016  1 17     10     510   .62  0     
product-lines/minepump_spec4_product14_true-unreach-call_false-termination.cil.c 1 20   11   690 220 .66 0      1 21    11    550 .033  .87   1 21     15     500   .62  0     
product-lines/minepump_spec4_product15_true-unreach-call_false-termination.cil.c 1 20   11   660 190 .66 0      1 22    11    550 .033  0      1 21     15     500   .62  .025 
product-lines/minepump_spec4_product16_true-unreach-call_false-termination.cil.c 1 18   9.7 640 170 .66 0      1 17    8.9  520 .033  .037  1 18     13     510   .62  0     
product-lines/minepump_spec4_product17_true-unreach-call_false-termination.cil.c 1 19   10   650 170 .66 0      1 18    9.5  550 .033  1.1    1 21     15     500   .62  .020 
product-lines/minepump_spec4_product18_true-unreach-call_false-termination.cil.c 1 19   11   520 210 .66 0      1 20    11    520 .033  0      1 21     15     740   .62  .020 
product-lines/minepump_spec4_product19_true-unreach-call_false-termination.cil.c 1 21   12   650 210 .66 0      1 21    11    550 .033  .041  1 21     15     620   .62  0     
product-lines/minepump_spec4_product20_true-unreach-call_false-termination.cil.c 1 18   8.9 700 160 .66 0      1 23    12    550 .033  0      1 18     12     630   .62  .020 
product-lines/minepump_spec4_product21_true-unreach-call_false-termination.cil.c 1 20   9.7 550 210 .66 0      1 28    15    590 .033  0      1 21     14     610   .62  0     
product-lines/minepump_spec4_product22_true-unreach-call_false-termination.cil.c 1 19   10   650 210 .66 0      1 28    15    590 .033  0      1 19     14     590   .62  0     
product-lines/minepump_spec4_product23_true-unreach-call_false-termination.cil.c 1 21   11   670 220 .66 0      1 28    14    600 .033  0      1 22     16     510   .62  0     
product-lines/minepump_spec4_product24_true-unreach-call_false-termination.cil.c 1 18   8.7 550 190 .66 0      1 23    12    640 .033  0      1 21     14     610   .62  0     
product-lines/minepump_spec4_product25_true-unreach-call_false-termination.cil.c 1 21   11   700 200 .66 0      1 17    9.1  570 .033  0      1 21     15     500   .62  0     
product-lines/minepump_spec4_product26_true-unreach-call_false-termination.cil.c 1 20   11   670 190 .66 0      1 22    12    550 .033  0      1 21     15     600   .62  0     
product-lines/minepump_spec4_product27_true-unreach-call_false-termination.cil.c 1 18   8.7 660 140 .66 0      1 17    8.8  540 .033  0      1 18     12     570   .62  0     
product-lines/minepump_spec4_product28_true-unreach-call_false-termination.cil.c 1 20   11   540 190 .66 0      1 23    12    530 .033  0      1 23     17     500   .62  .020 
product-lines/minepump_spec4_product29_true-unreach-call_false-termination.cil.c 1 21   12   650 220 .66 .21   1 22    12    580 .033  0      1 21     15     500   .62  0     
product-lines/minepump_spec4_product30_true-unreach-call_false-termination.cil.c 1 17   8.2 670 160 .66 0      1 24    13    580 .033  0      1 20     13     630   .62  0     
product-lines/minepump_spec4_product31_true-unreach-call_false-termination.cil.c 1 16   6.9 530 150 .66 0      1 27    14    610 .033  1.1    1 18     11     520   .62  0     
product-lines/minepump_spec4_product32_true-unreach-call_false-termination.cil.c 1 20   11   660 220 .66 0      1 23    12    590 .033  0      1 22     15     600   .62  0     
product-lines/minepump_spec4_product33_false-unreach-call_false-termination.cil.c 1 20   10   650 190 .66 0      1 27    14    670 .033  0      1 21     14     510   .62  0     
product-lines/minepump_spec4_product34_false-unreach-call_false-termination.cil.c 1 19   10   510 180 .66 0      1 25    13    660 .033  0      1 21     15     500   .62  0     
product-lines/minepump_spec4_product35_false-unreach-call_false-termination.cil.c 1 21   10   650 240 .66 0      1 26    14    680 .033  .020  1 21     14     500   .62  0     
product-lines/minepump_spec4_product36_false-unreach-call_false-termination.cil.c 1 19   9.7 550 220 .66 0      1 27    14    700 .033  0      1 21     14     600   .62  0     
product-lines/minepump_spec4_product37_false-unreach-call_false-termination.cil.c 1 19   10   630 190 .66 0      1 31    17    850 .033  0      1 20     14     520   .62  .020 
product-lines/minepump_spec4_product38_false-unreach-call_false-termination.cil.c 1 20   11   540 190 .62 0      1 32    17    790 .033  .020  1 22     16     520   .62  .025 
product-lines/minepump_spec4_product39_false-unreach-call_false-termination.cil.c 1 18   8.7 540 190 .66 0      1 35    19    860 .033  0      1 20     13     640   .62  0     
product-lines/minepump_spec4_product40_false-unreach-call_false-termination.cil.c 1 18   8.7 540 180 .66 0      1 33    17    800 .033  .020  1 20     13     610   .62  0     
product-lines/minepump_spec4_product41_false-unreach-call_false-termination.cil.c 1 21   11   550 210 .66 0      1 26    14    720 .033  0      1 21     15     570   .62  .020 
product-lines/minepump_spec4_product42_false-unreach-call_false-termination.cil.c 1 20   11   660 200 .66 0      1 34    18    700 .033  0      1 21     16     600   .62  0     
product-lines/minepump_spec4_product43_false-unreach-call_false-termination.cil.c 1 19   9.9 520 210 .66 0      1 29    15    760 .033  0      1 19     13     590   .62  0     
product-lines/minepump_spec4_product44_false-unreach-call_false-termination.cil.c 1 18   8.7 650 190 .66 0      1 33    17    720 .033  0      1 19     13     580   .62  0     
product-lines/minepump_spec4_product45_false-unreach-call_false-termination.cil.c 1 21   11   640 210 .66 .086  1 39    21    940 .033  0      1 22     16     610   .62  0     
product-lines/minepump_spec4_product46_false-unreach-call_false-termination.cil.c 1 20   10   640 170 .62 0      1 41    22    1000 .033  0      1 21     15     610   .62  .0041
product-lines/minepump_spec4_product47_false-unreach-call_false-termination.cil.c 1 21   10   550 220 .66 0      1 41    22    860 .033  0      1 20     14     630   .086 0     
product-lines/minepump_spec4_product48_false-unreach-call_false-termination.cil.c 1 20   10   690 190 .66 0      1 39    21    1100 .033  .016  1 20     14     520   .62  0     
product-lines/minepump_spec4_product49_true-unreach-call_false-termination.cil.c 1 20   11   530 200 .66 0      1 37    20    840 .033  0      1 22     15     610   .62  0     
product-lines/minepump_spec4_product50_true-unreach-call_false-termination.cil.c 1 19   8.9 660 190 .66 0      1 42    22    790 .033  1.1    1 21     14     520   .62  0     
product-lines/minepump_spec4_product51_true-unreach-call_false-termination.cil.c 1 22   12   660 220 .66 0      1 30    16    870 .033  0      1 23     17     610   .62  0     
product-lines/minepump_spec4_product52_true-unreach-call_false-termination.cil.c 1 21   11   540 210 .66 0      1 38    21    790 .033  0      1 22     16     610   .62  0     
product-lines/minepump_spec4_product53_true-unreach-call_false-termination.cil.c 1 20   10   660 200 .66 0      1 52    28    1200 .033  0      1 23     15     600   .62  .020 
product-lines/minepump_spec4_product54_true-unreach-call_false-termination.cil.c 1 20   8.7 680 200 .66 0      1 49    27    1100 .033  .020  1 21     14     520   .62  0     
product-lines/minepump_spec4_product55_true-unreach-call_false-termination.cil.c 1 20   10   540 190 .66 .020  1 41    22    1200 .033  .020  1 22     15     520   .62  0     
product-lines/minepump_spec4_product56_true-unreach-call_false-termination.cil.c 1 22   11   750 210 .66 0      1 43    24    1300 .033  0      1 23     16     520   .62  0     
product-lines/minepump_spec4_product57_true-unreach-call_false-termination.cil.c 1 21   11   660 220 .66 0      1 43    23    1000 .033  .88   1 22     15     610   .62  0     
product-lines/minepump_spec4_product58_true-unreach-call_false-termination.cil.c 1 21   11   670 250 .66 0      1 42    23    990 .033  0      1 22     16     590   .62  0     
product-lines/minepump_spec4_product59_true-unreach-call_false-termination.cil.c 1 17   7.2 550 170 .66 0      1 38    20    870 .033  0      1 17     11     520   .62  0     
product-lines/minepump_spec4_product60_true-unreach-call_false-termination.cil.c 1 21   11   660 230 .66 0      1 37    20    970 .033  0      1 22     16     510   .62  0     
product-lines/minepump_spec4_product61_true-unreach-call_false-termination.cil.c 1 21   10   540 200 .66 0      1 42    24    1400 .033  0      1 21     14     610   .62  0     
product-lines/minepump_spec4_product62_true-unreach-call_false-termination.cil.c 1 22   11   680 220 .66 0      1 52    29    1300 .033  .020  1 22     15     640   .62  0     
product-lines/minepump_spec4_product63_true-unreach-call_false-termination.cil.c 1 21   12   690 200 .66 0      1 42    24    1400 .033  0      1 23     16     630   .62  .025 
product-lines/minepump_spec4_product64_true-unreach-call_false-termination.cil.c 1 20   8.7 660 190 .66 0      1 54    30    1400 .033  0      1 20     13     520   .14  0     
product-lines/minepump_spec4_productSimulator_false-unreach-call_false-termination.cil.c 1 23   12   740 210 .66 0      1 59    35    2100 .033  .041  1 25     17     720   .62  0     
product-lines/minepump_spec5_product01_true-unreach-call_false-termination.cil.c 1 19   10   530 200 .66 0      1 19    9.7  460 .033  0      1 20     14     500   .62  .020 
product-lines/minepump_spec5_product02_true-unreach-call_false-termination.cil.c 1 18   10   630 160 .66 0      1 17    8.8  460 .033  0      1 22     15     620   .62  .0041
product-lines/minepump_spec5_product03_true-unreach-call_false-termination.cil.c 1 19   9.8 670 200 .66 .086  1 18    9.5  460 .033  0      1 23     16     590   .62  0     
product-lines/minepump_spec5_product04_true-unreach-call_false-termination.cil.c 1 19   11   530 200 .66 0      1 17    8.8  530 .033  0      1 21     14     590   .62  .21  
product-lines/minepump_spec5_product05_true-unreach-call_false-termination.cil.c 1 21   11   670 240 .66 0      1 24    13    550 .033  0      1 21     15     510   .62  0     
product-lines/minepump_spec5_product06_true-unreach-call_false-termination.cil.c 1 17   8.4 520 150 .66 0      1 24    12    580 .033  1.1    1 20     14     630   .62  0     
product-lines/minepump_spec5_product07_true-unreach-call_false-termination.cil.c 1 22   12   560 220 .66 0      1 22    11    560 .033  0      1 22     16     610   .62  0     
product-lines/minepump_spec5_product08_true-unreach-call_false-termination.cil.c 1 18   8.9 540 180 .66 0      1 26    13    580 .033  0      1 19     12     620   .62  0     
product-lines/minepump_spec5_product09_true-unreach-call_false-termination.cil.c 1 19   9.9 650 180 .66 0      1 16    8.2  450 .033  0      1 19     14     580   .62  0     
product-lines/minepump_spec5_product10_true-unreach-call_false-termination.cil.c 1 20   12   530 190 .66 0      1 21    11    440 .033  0      1 22     16     590   .62  0     
product-lines/minepump_spec5_product11_true-unreach-call_false-termination.cil.c 1 18   9.6 670 200 .66 0      1 16    8.4  470 .033  0      1 20     14     600   .62  .020 
product-lines/minepump_spec5_product12_true-unreach-call_false-termination.cil.c 1 20   11   680 200 .66 0      1 19    10    500 .033  0      1 21     15     500   .62  .020 
product-lines/minepump_spec5_product13_true-unreach-call_false-termination.cil.c 1 17   7.3 650 140 .66 .020  1 23    12    520 .033  0      1 18     12     610   .62  0     
product-lines/minepump_spec5_product14_true-unreach-call_false-termination.cil.c 1 18   7.6 670 180 .66 0      1 23    12    530 .033  0      1 17     11     530   .62  0     
product-lines/minepump_spec5_product15_true-unreach-call_false-termination.cil.c 1 21   12   530 220 .66 0      1 22    12    550 .033  .020  1 22     15     600   .62  0     
product-lines/minepump_spec5_product16_true-unreach-call_false-termination.cil.c 1 22   11   660 210 .66 0      1 23    12    570 .033  0      1 23     16     590   .62  0     
product-lines/minepump_spec5_product17_true-unreach-call_false-termination.cil.c 1 18   9.3 540 170 .66 0      1 20    11    560 .033  0      1 19     13     610   .62  0     
product-lines/minepump_spec5_product18_true-unreach-call_false-termination.cil.c 1 19   9.2 550 200 .66 0      1 25    13    570 .033  .020  1 19     13     510   .62  0     
product-lines/minepump_spec5_product19_true-unreach-call_false-termination.cil.c 1 19   8.7 670 170 .66 0      1 24    13    570 .033  0      1 20     13     510   .62  .0041
product-lines/minepump_spec5_product20_true-unreach-call_false-termination.cil.c 1 20   11   680 200 .66 0      1 21    11    590 .033  0      1 22     15     520   .62  0     
product-lines/minepump_spec5_product21_true-unreach-call_false-termination.cil.c 1 22   12   660 230 .66 0      1 31    17    670 .033  .016  1 22     15     520   .62  0     
product-lines/minepump_spec5_product22_true-unreach-call_false-termination.cil.c 1 21   12   550 200 .66 0      1 26    14    690 .033  0      1 24     17     620   .62  0     
product-lines/minepump_spec5_product23_true-unreach-call_false-termination.cil.c 1 22   12   690 200 .66 0      1 34    18    680 .033  .020  1 21     15     510   .62  0     
product-lines/minepump_spec5_product24_true-unreach-call_false-termination.cil.c 1 20   11   660 230 .66 0      1 26    14    730 .033  0      1 20     14     510   .62  0     
product-lines/minepump_spec5_product25_true-unreach-call_false-termination.cil.c 1 22   12   650 230 .66 0      1 26    13    590 .033  0      1 21     16     590   .62  0     
product-lines/minepump_spec5_product26_true-unreach-call_false-termination.cil.c 1 20   10   550 180 .66 0      1 26    13    560 .033  0      1 20     14     620   .62  0     
product-lines/minepump_spec5_product27_true-unreach-call_false-termination.cil.c 1 18   9.0 540 180 .66 0      1 25    13    560 .033  1.1    1 20     13     600   .62  0     
product-lines/minepump_spec5_product28_true-unreach-call_false-termination.cil.c 1 17   8.5 540 180 .66 0      1 24    12    470 .033  0      1 17     12     640   .62  .020 
product-lines/minepump_spec5_product29_true-unreach-call_false-termination.cil.c 1 17   7.2 530 140 .66 0      1 37    19    740 .033  0      1 18     12     520   .62  .020 
product-lines/minepump_spec5_product30_true-unreach-call_false-termination.cil.c 1 18   8.7 530 190 .66 .020  1 29    16    760 .033  .020  1 19     13     510   .62  0     
product-lines/minepump_spec5_product31_true-unreach-call_false-termination.cil.c 1 21   10   680 210 .66 0      1 28    15    680 .033  .020  1 19     13     520   .62  0     
product-lines/minepump_spec5_product32_true-unreach-call_false-termination.cil.c 1 18   8.9 540 190 .66 0      1 31    16    710 .033  1.1    1 20     13     510   .62  .0041
product-lines/minepump_spec5_product33_true-unreach-call_false-termination.cil.c 1 21   12   640 200 .66 0      1 30    16    670 .033  0      1 22     16     610   .62  0     
product-lines/minepump_spec5_product34_true-unreach-call_false-termination.cil.c 1 21   11   550 200 .66 0      1 31    16    680 .033  0      1 22     16     520   .62  0     
product-lines/minepump_spec5_product35_true-unreach-call_false-termination.cil.c 1 22   11   680 220 .66 0      1 34    18    690 .033  0      1 23     16     640   .62  0     
product-lines/minepump_spec5_product36_true-unreach-call_false-termination.cil.c 1 22   11   560 220 .66 0      1 28    15    700 .033  0      1 23     16     630   .62  0     
product-lines/minepump_spec5_product37_true-unreach-call_false-termination.cil.c 1 22   12   650 200 .66 0      1 38    20    860 .033  1.1    1 23     16     630   .62  0     
product-lines/minepump_spec5_product38_true-unreach-call_false-termination.cil.c 1 20   10   550 200 .66 0      1 39    21    980 .033  1.2    1 23     16     530   .62  0     
product-lines/minepump_spec5_product39_true-unreach-call_false-termination.cil.c 1 22   12   720 240 .66 .020  1 35    19    890 .033  0      1 24     17     630   .62  0     
product-lines/minepump_spec5_product40_true-unreach-call_false-termination.cil.c 1 21   11   660 200 .66 .020  1 39    20    1000 .033  0      1 22     16     620   .62  0     
product-lines/minepump_spec5_product41_true-unreach-call_false-termination.cil.c 1 19   9.0 680 200 .66 0      1 30    16    730 .033  .061  1 20     13     510   .62  0     
product-lines/minepump_spec5_product42_true-unreach-call_false-termination.cil.c 1 20   10   660 220 .66 0      1 35    19    750 .033  0      1 21     14     620   .62  0     
product-lines/minepump_spec5_product43_true-unreach-call_false-termination.cil.c 1 21   11   530 240 .66 0      1 36    19    840 .033  1.1    1 24     16     600   .62  0     
product-lines/minepump_spec5_product44_true-unreach-call_false-termination.cil.c 1 21   11   670 230 .66 0      1 35    19    820 .033  .016  1 21     15     610   .62  0     
product-lines/minepump_spec5_product45_true-unreach-call_false-termination.cil.c 1 18   7.4 530 150 .66 0      1 43    24    1100 .033  1.1    1 18     11     780   .62  0     
product-lines/minepump_spec5_product46_true-unreach-call_false-termination.cil.c 1 22   12   550 230 .66 0      1 42    22    1100 .033  0      1 23     17     510   .62  0     
product-lines/minepump_spec5_product47_true-unreach-call_false-termination.cil.c 1 22   12   550 220 .66 0      1 46    24    1100 .033  0      1 23     16     530   .62  .0041
product-lines/minepump_spec5_product48_true-unreach-call_false-termination.cil.c 1 23   12   670 250 .66 0      1 41    22    1000 .033  0      1 23     16     620   .62  0     
product-lines/minepump_spec5_product49_true-unreach-call_false-termination.cil.c 1 20   9.3 730 190 .66 0      1 43    23    1000 .033  0      1 21     13     530   .62  0     
product-lines/minepump_spec5_product50_true-unreach-call_false-termination.cil.c 1 23   12   690 230 .66 0      1 39    20    910 .033  0      1 24     16     620   .086 .0041
product-lines/minepump_spec5_product51_true-unreach-call_false-termination.cil.c 1 22   12   690 250 .66 0      1 41    22    1000 .033  0      1 24     17     530   .62  0     
product-lines/minepump_spec5_product52_true-unreach-call_false-termination.cil.c 1 22   12   570 230 .66 0      1 33    18    1100 .033  0      1 25     17     630   .62  0     
product-lines/minepump_spec5_product53_true-unreach-call_false-termination.cil.c 1 22   12   550 210 .66 0      1 47    25    1200 .033  0      1 24     16     540   .62  0     
product-lines/minepump_spec5_product54_true-unreach-call_false-termination.cil.c 1 23   12   710 240 .66 0      1 51    28    1300 .033  1.2    1 27     19     560   .62  0     
product-lines/minepump_spec5_product55_true-unreach-call_false-termination.cil.c 1 21   11   560 210 .66 0      1 47    26    1400 .033  0      1 27     17     650   .62  0     
product-lines/minepump_spec5_product56_true-unreach-call_false-termination.cil.c 1 23   11   560 220 .62 .0082 1 46    25    1400 .033  0      1 23     16     680   .62  0     
product-lines/minepump_spec5_product57_true-unreach-call_false-termination.cil.c 1 22   12   540 210 .66 0      1 46    24    1000 .033  0      1 23     16     610   .62  0     
product-lines/minepump_spec5_product58_true-unreach-call_false-termination.cil.c 1 20   8.8 680 210 .66 0      1 42    23    1000 .033  0      1 21     14     610   .62  0     
product-lines/minepump_spec5_product59_true-unreach-call_false-termination.cil.c 1 21   11   700 210 .66 0      1 44    24    1000 .033  0      1 22     15     630   .62  .020 
product-lines/minepump_spec5_product60_true-unreach-call_false-termination.cil.c 1 19   9.5 710 170 .66 0      1 52    28    1000 .033  0      1 20     14     650   .62  0     
product-lines/minepump_spec5_product61_true-unreach-call_false-termination.cil.c 1 21   9.5 550 210 .66 0      1 67    36    1500 .033  0      1 20     14     540   .62  0     
product-lines/minepump_spec5_product62_true-unreach-call_false-termination.cil.c 1 23   12   740 240 .62 0      1 53    29    1500 .033  0      1 23     16     670   .62  0     
product-lines/minepump_spec5_product63_true-unreach-call_false-termination.cil.c 1 24   12   700 210 .66 0      1 42    24    1500 .033  .061  1 23     16     630   .62  0     
product-lines/minepump_spec5_product64_true-unreach-call_false-termination.cil.c 1 22   11   730 200 .66 0      1 59    33    1400 .033  .88   1 23     15     650   .62  0     
product-lines/minepump_spec5_productSimulator_true-unreach-call_false-termination.cil.c 1 28   14   660 270 .66 0      1 57    36    2100 .033  .041  1 27     19     740   .62  0     
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c 1 23   11   740 230 .66 0      0 4.3  2.3  250 .0082 0      1 28     19     510   .62  .0082
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c 2 37   18   990 380 .66 0      - -
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c 2 18   11   460 190 .66 0      - -
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c 2 18   11   450 190 .62 .19   - -
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c 2 19   13   480 190 .66 .34   - -
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c 2 14   4.2 590 120 .66 0      - -
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c 2 11   3.7 480 100 .66 0      - -
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c 2 11   3.9 460 100 .66 .057  - -
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c 2 23   10   560 200 .66 .0082 - -
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c 0 910   370   14000 6400 .64 0      - -
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c 0 900   670   8800 10000 .63 0      - -
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c 0 900   660   8800 7800 .65 0      - -
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c 2 53   44   700 600 .62 0      - -
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c 2 54   43   700 680 .62 0      - -
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c 2 12   4.6 520 110 .66 0      - -
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c 2 15   7.8 530 160 .66 0      - -
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c 2 54   42   830 650 .62 2.0    - -
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c 0 910   190   13000 4500 .64 .10   - -
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c 2 9.2 3.4 380 69 .66 0      - -
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c 2 9.2 3.3 390 77 .66 0      - -
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c 2 8.8 3.0 370 74 .66 0      - -
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c 2 9.3 3.2 380 70 .66 0      - -
recursive-simple/afterrec_false-unreach-call_true-termination.c 2 8.6 3.0 370 64 .66 0      - -
recursive-simple/afterrec_true-unreach-call_true-termination.c 2 8.9 3.0 380 71 .66 0      - -
recursive-simple/fibo_10_false-unreach-call_true-termination.c 2 39   22   770 390 .66 0      - -
recursive-simple/fibo_10_true-unreach-call_true-termination.c 2 39   22   780 390 .66 0      - -
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c 2 10   3.4 430 89 .66 1.0    - -
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c 2 11   3.6 460 86 .66 0      - -
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c 0 900   750   6400 12000 .65 0      - -
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c 0 900   750   6700 10000 .64 0      - -
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c 2 30   13   780 290 .66 0      - -
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c 2 29   13   620 290 .66 0      - -
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c 2 27   10   750 240 .66 0      - -
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c 2 27   10   760 230 .66 0      - -
recursive-simple/fibo_2calls_8_false-unreach-call_true-termination.c 2 24   10   750 240 .66 0      - -
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c 2 26   10   740 210 .66 .037  - -
recursive-simple/fibo_5_false-unreach-call_true-termination.c 2 17   6.8 640 160 .66 0      - -
recursive-simple/fibo_5_true-unreach-call_true-termination.c 2 16   6.5 670 140 .66 0      - -
recursive-simple/fibo_7_false-unreach-call_true-termination.c 2 27   14   560 250 .66 0      - -
recursive-simple/fibo_7_true-unreach-call_true-termination.c 2 27   14   730 300 .66 0      - -
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 0 84   64   660 860 .62 0      - -
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 0 85   64   780 970 .62 0      - -
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 0 84   64   840 890 .62 0      - -
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 0 84   64   760 870 .62 0      - -
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c 2 10   3.7 460 84 .66 0      - -
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c 2 11   3.8 480 90 .66 0      - -
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c 0 68   53   660 740 .62 0      - -
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c 0 71   55   770 830 .62 0      - -
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c 0 75   56   760 840 .62 0      - -
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c 0 73   55   780 850 .62 1.0    - -
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c 2 9.7 3.7 380 81 .66 0      - -
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c 2 10   3.8 420 68 .66 0      - -
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c 2 9.6 3.3 400 71 .66 0      - -
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c 2 9.8 3.6 400 79 .66 0      - -
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c 2 9.1 3.3 380 76 .66 0      - -
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c 2 9.7 3.8 390 73 .66 0      - -
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c 2 10   3.4 400 81 .66 0      - -
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c 2 10   3.3 420 78 .66 0      - -
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c 2 9.8 3.7 370 80 .66 .65   - -
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c 2 10   3.4 430 78 .66 0      - -
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c 0 67   53   610 750 .62 0      - -
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c 0 68   53   670 790 .62 0      - -
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c 0 66   53   640 740 .62 0      - -
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c 0 67   53   670 700 .62 0      - -
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c 0 65   53   590 740 .62 0      - -
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c 0 67   53   660 760 .62 0      - -
recursive-simple/sum_10x0_false-unreach-call_true-termination.c 2 8.8 2.9 390 72 .66 0      - -
recursive-simple/sum_10x0_true-unreach-call_true-termination.c 2 8.9 3.0 380 67 .66 .49   - -
recursive-simple/sum_15x0_false-unreach-call_true-termination.c 2 8.2 3.3 340 62 .66 0      - -
recursive-simple/sum_15x0_true-unreach-call_true-termination.c 2 8.5 3.0 360 77 .66 0      - -
recursive-simple/sum_20x0_false-unreach-call_true-termination.c 2 8.6 2.9 380 80 .66 0      - -
recursive-simple/sum_20x0_true-unreach-call_true-termination.c 2 8.8 3.3 370 77 .66 0      - -
recursive-simple/sum_25x0_false-unreach-call_true-termination.c 2 8.9 3.0 380 75 .66 0      - -
recursive-simple/sum_25x0_true-unreach-call_true-termination.c 2 7.6 3.2 340 63 .66 .16   - -
recursive-simple/sum_2x3_false-unreach-call_true-termination.c 2 9.8 3.1 380 82 .66 0      - -
recursive-simple/sum_2x3_true-unreach-call_true-termination.c 2 8.5 3.3 360 77 .66 0      - -
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c 0 63   46   600 730 .62 .049  - -
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c 0 62   46   600 760 .62 0      - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c 1 24   7.3 610 190 .66 0      1 36    19    910 .033  .041  1 12     7.4   460   .62  0     
systemc/kundu1_false-unreach-call_false-termination.cil.c 1 13   3.8 520 120 .66 0      0 92    49    2100 .033  0      1 11     6.2   350   .62  0     
systemc/kundu2_false-unreach-call_false-termination.cil.c 1 30   7.8 640 240 .66 0      0 92    56    2000 .033  0      1 12     6.9   410   .62  .20  
systemc/kundu_true-unreach-call_false-termination.cil.c 1 29   7.8 800 230 .66 0      0 92    55    2100 .033  0      1 11     7.0   410   .62  0     
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 1 20   5.6 750 160 .66 0      1 84    51    2100 .033  1.1    1 14     7.6   510   .62  0     
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 1 21   5.7 570 150 .66 0      1 90    53    2100 .033  .029  1 14     8.1   520   .62  0     
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 1 20   5.6 590 170 .66 0      1 75    47    2100 .033  0      1 13     8.0   500   .62  .0041
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 1 20   5.6 580 170 .66 0      1 82    52    2100 .033  0      1 14     8.1   470   .62  0     
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 1 21   5.8 610 180 .66 .63   0 93    56    2100 .033  0      1 14     7.8   480   .62  0     
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 1 22   6.4 730 160 .66 0      0 92    53    2100 .0082 0      1 11     6.9   390   .62  0     
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 1 10   3.6 410 82 .66 0      0 92    58    2000 .033  0      1 9.7   5.4   320   .66  0     
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 1 22   6.4 680 180 .66 0      0 92    51    2300 .0082 0      1 13     7.0   470   .62  0     
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 1 14   4.3 560 110 .66 0      0 92    50    2000 .033  0      1 12     6.9   410   .62  .0041
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 1 15   4.7 530 110 .66 0      0 93    50    1800 .033  .016  1 12     6.7   420   .62  0     
systemc/pipeline_false-unreach-call_false-termination.cil.c 1 420   190   9200 3400 .62 0      0 91    74    2200 .033  .041  1 41     24     870   .62  0     
systemc/pipeline_true-unreach-call_false-termination.cil.c 1 430   190   9000 3200 .62 .26   0 91    75    2200 .033  0      1 39     22     930   .62  0     
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 1 17   5.3 520 140 .66 0      1 60    33    1400 .033  0      1 12     7.3   390   .62  0     
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 1 19   6.1 660 150 .66 0      1 60    33    1400 .033  .0082 1 12     6.9   390   .62  0     
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 1 17   5.1 580 130 .62 0      0 92    60    2300 .033  .016  1 14     7.9   470   .62  0     
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 1 17   5.0 580 150 .66 0      0 92    60    2200 .033  0      1 13     7.7   470   .62  0     
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 1 24   6.6 650 200 .66 0      0 91    75    2200 .033  0      1 14     8.1   540   .62  0     
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 1 24   6.2 790 170 .66 0      0 92    75    2300 .033  0      1 15     8.7   470   .62  0     
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 1 26   7.1 810 190 .66 0      0 92    72    2200 .033  0      1 16     8.8   520   .62  0     
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 1 26   7.4 790 190 .66 0      0 92    73    2200 .033  0      1 17     9.6   480   .62  0     
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 1 36   9.4 1300 300 .66 0      0 92    72    2200 .033  0      1 16     9.5   500   .62  0     
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 1 29   9.2 1100 230 .66 0      0 92    72    2200 .033  0      1 17     10     510   .62  0     
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 1 210   68   8100 1200 .62 0      0 91    75    2300 .033  0      1 18     10     640   .62  0     
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 1 120   42   6800 750 .62 0      0 92    71    2100 .033  0      1 19     11     510   .62  0     
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 1 190   62   8500 1100 .62 0      0 91    74    2300 .033  0      1 19     11     640   .62  0     
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 1 160   57   7200 980 .62 0      0 91    75    2300 .033  0      1 19     11     650   .62  0     
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 0 910   250   14000 4600 .63 0      0 .81 .48 41 0      0      0 .026 .028 5.6 0     0     
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 910   260   14000 4500 .62 0      0 .73 .46 41 0      0      0 .020 .021 5.6 0     0     
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 0 910   200   14000 4300 .63 0      0 .66 .40 40 0      0      0 .022 .022 5.6 0     0     
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 910   200   14000 4100 .63 0      0 .77 .47 41 0      0      0 .023 .024 5.6 0     0     
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 0 910   240   14000 4700 .63 0      0 .79 .49 41 0      0      0 .046 .059 5.5 0     0     
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 910   230   14000 4400 .63 .16   0 .75 .46 40 0      0      0 .026 .027 5.8 0     0     
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 0 910   230   13000 4300 .63 0      0 .76 .47 40 0      0      0 .021 .023 5.6 0     0     
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 910   230   14000 4400 .63 0      0 .58 .36 41 0      0      0 .020 .020 5.6 0     0     
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 0 910   230   14000 4300 .62 0      0 .62 .39 40 0      0      0 .021 .022 5.7 0     0     
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 910   220   14000 4900 .63 0      0 .75 .46 42 0      0      0 .022 .023 5.7 0     0     
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 0 900   250   14000 4300 .63 0      0 .62 .38 40 0      0      0 .022 .023 5.7 0     0     
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 910   240   14000 4600 .63 0      0 .81 .49 43 0      0      0 .021 .034 5.7 0     0     
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 0 910   230   14000 4500 .63 0      0 .71 .44 40 0      0      0 .020 .020 5.6 0     0     
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 0 910   250   13000 4400 .62 0      0 .63 .39 42 0      0      0 .032 .037 5.6 0     0     
systemc/toy1_false-unreach-call_false-termination.cil.c 1 23   7.3 860 220 .66 .098  1 55    38    1700 .033  0      1 13     7.3   450   .62  0     
systemc/toy2_false-unreach-call_false-termination.cil.c 1 26   8.0 840 220 .66 0      1 61    43    1600 .033  .012  1 12     7.0   460   .62  0     
systemc/toy_true-unreach-call_false-termination.cil.c 1 25   7.5 770 210 .66 0      1 54    38    1600 .033  0      1 12     7.3   440   .62  0     
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 1 17   5.5 570 150 .66 0      1 64    35    1500 .033  0      1 11     6.2   350   .62  0     
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 1 23   7.0 770 200 .66 0      0 92    57    2000 .033  0      1 11     6.4   380   .62  0     
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 1 31   8.6 730 240 .66 0      0 95    72    2200 .033  0      1 14     8.4   510   .62  .012 
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 1 35   9.3 920 280 .66 0      0 92    73    2200 .033  0      1 15     8.7   480   .62  0     
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 1 35   10   1400 250 .66 0      0 92    73    2100 .033  0      1 17     10     500   .62  0     
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 1 43   14   2400 300 .66 0      0 91    75    2300 .033  0      1 19     11     500   .62  0     
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 1 110   34   5700 690 .62 0      0 91    75    2300 .033  0      1 22     13     660   .62  0     
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 1 380   130   11000 2100 .62 0      0 92    72    2100 .033  0      1 23     13     750   .62  0     
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 0 900   250   14000 4100 .62 0      0 .63 .40 41 0      0      0 .049 .050 5.5 0     0     
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 0 910   230   14000 4400 .63 0      0 .66 .40 42 0      0      0 .023 .024 5.7 0     0     
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 0 910   250   14000 4900 .63 0      0 .61 .37 42 0      0      0 .022 .022 5.6 0     0     
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 0 900   300   13000 4700 .63 0      0 .63 .39 40 0      0      0 .022 .022 5.6 0     0     
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 0 910   290   13000 4200 .62 .029  0 .60 .37 41 0      0      0 .021 .022 5.6 0     0     
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 0 910   310   13000 5700 .63 0      0 .74 .47 41 0      0      0 .024 .026 5.7 0     0     
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 0 900   280   13000 4800 .63 0      0 .61 .38 41 0      0      0 .022 .024 5.7 0     0     
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 2 160   110   1600 1800 .62 0      - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 2 430   330   1500 5500 .62 0      - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 300   220   1700 3300 .62 0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 2 14   5.0 500 110 .66 0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 2 15   4.8 590 110 .66 0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 2 14   5.0 580 110 .66 0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 2 14   4.6 520 120 .66 0      - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 14   4.9 550 120 .66 0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 2 16   5.8 550 140 .66 0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 2 17   5.8 690 140 .66 0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 2 17   5.5 660 140 .66 0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 2 17   5.5 670 150 .62 0      - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 2 17   5.9 670 130 .66 .049  - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 2 22   7.3 610 210 .66 1.1    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 2 22   7.2 610 180 .66 0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 2 22   7.2 790 200 .66 0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 2 23   7.3 790 210 .66 0      - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 23   7.3 800 200 .66 0      - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 2 13   4.5 500 110 .66 0      - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 2 13   4.6 520 110 .66 0      - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 13   4.4 520 100 .66 0      - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 2 14   5.0 530 120 .66 0      - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 2 13   4.9 560 120 .66 .0082 - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 2 14   5.0 560 120 .66 0      - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 2 15   5.7 650 130 .66 0      - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 2 14   5.2 580 120 .66 0      - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 15   5.4 650 130 .66 0      - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 2 16   6.2 630 150 .66 2.0    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 2 17   5.9 650 140 .66 0      - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 2 16   5.8 620 140 .66 0      - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 2 19   9.8 730 160 .66 0      - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 13   5.8 510 130 .66 0      - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 2 25   13   790 230 .66 0      - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 2 16   6.4 670 130 .66 0      - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 2 86   66   1100 1000 .62 0      - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 85   65   1100 960 .62 0      - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 2 30   17   740 310 .66 0      - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 2 100   79   1000 1300 .62 0      - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 0 910   230   13000 5000 .63 40      - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c 0 900   820   1600 13000 .63 0      - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c 0 910   240   13000 5700 .62 0      - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c 0 900   820   1900 14000 .63 0      - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 2 14   4.8 560 120 .66 .049  - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 2 15   4.9 520 120 .66 0      - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 2 15   4.8 530 120 .66 .25   - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 2 14   4.7 500 110 .66 0      - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 14   4.8 510 120 .66 .58   - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 2 17   5.5 660 150 .66 0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 2 18   5.8 560 140 .66 0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 2 16   6.0 510 130 .66 0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 2 17   5.6 670 150 .66 0      - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 2 17   5.6 530 140 .66 0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 2 22   7.3 630 180 .66 0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 2 23   7.9 630 190 .66 0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 2 23   7.4 760 200 .66 0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 2 22   7.8 650 180 .66 0      - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 23   7.3 800 180 .66 0      - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c 2 420   300   6600 2500 .62 0      - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c 0 900   670   8900 5400 .63 0      - -
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c 2 430   330   6800 2700 .62 0      - -
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c 2 480   360   6600 2800 .62 0      - -
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c 2 840   610   9200 5500 .62 0      - -
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c 0 670   470   10000 7300 .62 0      - -
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c 2 330   260   5800 2200 .62 0      - -
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c 2 500   400   6400 3100 .62 0      - -
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c 2 340   250   5700 2300 .62 .12   - -
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c 2 310   230   5400 2500 .62 0      - -
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c 2 550   430   6600 3200 .62 0      - -
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c 2 700   540   7200 4100 .62 0      - -
seq-pthread/cs_lazy_false-unreach-call_true-termination.i 0 900   880   740 13000 .63 0      - -
seq-pthread/cs_stateful_false-unreach-call_true-termination.i 0 900   890   780 12000 .63 0      - -
reducercommutativity/avg05_true-unreach-call_true-termination.i 2 250   220   2400 3400 .62 .78   - -
reducercommutativity/avg10_true-unreach-call_true-termination.i 2 530   490   2600 6200 .62 0      - -
reducercommutativity/avg_true-unreach-call_true-termination.i 2 100   80   2700 1400 .62 0      - -
reducercommutativity/max05_true-unreach-call_true-termination.i 2 23   9.0 740 190 .66 0      - -
reducercommutativity/max10_true-unreach-call_true-termination.i 2 58   37   830 670 .62 0      - -
reducercommutativity/max_true-unreach-call_true-termination.i 2 33   15   850 300 .66 0      - -
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 0 34   19   830 350 .66 0      - -
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 0 78   59   900 970 .62 0      - -
reducercommutativity/rangesum_false-unreach-call_true-termination.i 0 21   7.8 670 180 .66 0      - -
reducercommutativity/sep05_true-unreach-call_true-termination.i 2 40   22   1200 430 .66 0      - -
reducercommutativity/sep_true-unreach-call_true-termination.i 2 33   14   690 270 .66 0      - -
reducercommutativity/sum05_true-unreach-call_true-termination.i 2 37   22   620 380 .66 0      - -
reducercommutativity/sum10_true-unreach-call_true-termination.i 2 85   64   720 1200 .62 0      - -
reducercommutativity/sum_true-unreach-call_true-termination.i 2 35   22   790 390 .66 0      - -
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i 2 10   3.8 420 79 .66 0      - -
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i 2 14   4.6 500 120 .66 0      - -
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i 2 18   6.2 570 150 .66 0      - -
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i 2 17   5.3 620 150 .66 0      - -
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i 2 16   5.7 600 130 .66 0      - -
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i 2 17   5.4 580 150 .66 0      - -
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i 2 12   4.0 560 100 .66 0      - -
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i 2 12   4.1 500 99 .66 0      - -
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i 2 13   4.5 570 92 .66 0      - -
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i 2 12   4.1 500 90 .66 0      - -
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i 2 120   100   1200 1600 .62 .61   - -
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i 2 11   3.9 470 89 .66 0      - -
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i 2 12   4.1 590 110 .66 0      - -
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i 2 13   4.4 550 100 .66 .025  - -
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i 2 16   5.5 710 130 .66 0      - -
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i 2 32   13   970 290 .66 0      - -
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i 2 22   8.6 750 180 .66 0      - -
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i 2 21   7.0 750 190 .66 0      - -
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i 2 17   5.5 660 130 .66 0      - -
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i 2 17   5.8 660 160 .66 0      - -
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i 0 190   150   1500 1900 .62 0      - -
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i 2 28   18   610 310 .66 0      - -
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i 2 12   3.7 480 95 .66 0      - -
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i 2 11   3.8 490 88 .66 0      - -
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i 2 14   4.9 560 120 .66 0      - -
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i 2 11   3.9 490 84 .66 0      - -
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i 2 12   3.9 560 90 .66 0      - -
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i 2 20   11   530 190 .66 0      - -
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i 2 12   4.5 510 93 .66 0      - -
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i 2 12   4.1 580 91 .66 0      - -
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i 2 12   4.0 550 110 .66 0      - -
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i 0 35   11   1300 270 .66 0      - -
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i 2 16   5.6 710 130 .66 0      - -
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i 2 11   3.5 440 83 .66 0      - -
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i 2 12   4.5 560 97 .66 0      - -
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i 2 13   4.6 580 120 .66 0      - -
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i 2 16   5.8 520 150 .66 0      - -
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i 2 11   4.1 510 86 .66 0      - -
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i 2 34   23   560 370 .66 0      - -
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i 0 35   11   1500 270 .66 0      - -
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i 2 32   15   930 280 .66 0      - -
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i 2 11   3.4 440 92 .66 0      - -
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i 2 20   6.9 570 180 .66 0      - -
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i 2 10   3.4 400 78 .66 0      - -
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i 2 12   4.4 490 100 .66 0      - -
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i 2 12   4.2 500 100 .66 0      - -
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i 2 11   4.5 480 110 .66 0      - -
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i 2 20   7.6 590 180 .66 0      - -
memsafety/test-0019_false-valid-memtrack_true-termination.i 2 8.4 2.7 370 72 .66 0      - -
memsafety/test-0019_true-valid-memsafety_true-termination.i 2 7.7 3.0 340 67 .66 0      - -
memsafety/test-0158_false-valid-memtrack_true-termination.i 2 8.7 2.6 370 67 .66 0      - -
memsafety/test-0158_true-valid-memsafety_true-termination.i 2 7.1 2.6 320 54 .66 0      - -
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i 0 18   8.1 640 160 .62 .83   - -
memsafety/test-0214_true-valid-memsafety_false-termination.i 1 9.5 3.0 390 78 .66 0      0 91    77    1900 .0082 0      1 9.8   5.5   320   .62  0     
memsafety/test-0217_true-valid-memsafety_false-termination.i 1 9.2 3.2 370 82 .66 0      0 91    76    1900 .0082 .025  1 9.0   5.4   320   .62  0     
memsafety/test-0218_true-valid-memsafety_false-termination.i 1 10   3.8 380 75 .66 0      0 92    68    1900 .0082 0      1 9.7   5.4   320   .66  0     
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i 1 11   3.7 450 80 .66 .19   0 91    73    1900 .033  0      1 12     6.8   410   .62  0     
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i 1 11   3.7 480 88 .66 0      0 92    66    1900 .033  0      1 41     23     890   .62  0     
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i 1 11   4.0 450 100 .66 0      0 92    74    1900 .033  0      1 42     25     930   .62  0     
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i 1 11   3.8 480 91 .66 0      0 92    65    1900 .033  0      1 12     6.9   400   .62  0     
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c 0 900   830   4600 14000 .63 .80   - -
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c 0 900   830   4900 12000 .63 0      - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c 0 900   850   910 12000 .63 0      - -
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c 2 7.4 3.2 350 57 .66 0      - -
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c 2 7.8 2.9 350 66 .66 .020  - -
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c 2 7.9 3.4 350 61 .66 0      - -
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c 2 7.9 2.9 350 62 .66 0      - -
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c 2 8.1 3.0 350 76 .66 0      - -
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c 2 8.7 3.4 370 74 .66 0      - -
ldv-memsafety/memset_true-valid-memsafety_true-termination.c 2 7.3 2.9 330 62 .66 0      - -
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i 2 8.1 2.7 340 67 .66 0      - -
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i 2 8.1 2.8 350 64 .66 0      - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i 2 9.1 2.9 380 70 .66 0      - -
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i 2 9.4 2.9 380 72 .66 0      - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i 2 8.5 3.1 350 71 .66 0      - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i 0 7.5 2.3 350 69 .65 0      - -
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i 2 9.2 3.6 410 70 .66 37      - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i 2 7.5 2.7 330 60 .66 0      - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i 2 7.8 3.2 350 68 .66 0      - -
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i 2 9.1 3.4 370 61 .66 0      - -
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i 2 350   330   630 4600 .62 0      - -
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i 2 27   11   760 230 .66 0      - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i 2 15   5.2 520 140 .66 0      - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i 2 16   5.3 570 120 .66 0      - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i 2 12   4.3 560 99 .66 0      - -
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i 2 16   5.6 510 150 .66 0      - -
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i 2 8.1 2.8 350 62 .66 0      - -
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i 2 8.4 2.7 370 62 .66 .13   - -
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i 2 9.3 3.0 370 73 .66 0      - -
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i 2 8.2 2.8 350 61 .66 0      - -
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i 2 8.9 2.8 350 68 .66 0      - -
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i 2 9.1 2.9 370 67 .66 0      - -
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i 2 8.0 2.8 340 57 .66 0      - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i 2 13   4.3 500 97 .66 0      - -
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i 2 12   4.2 500 98 .66 0      - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i 2 12   4.0 590 100 .66 0      - -
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i 2 13   4.4 560 100 .66 0      - -
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i 2 14   4.4 570 110 .66 0      - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i 2 13   4.3 580 110 .66 0      - -
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i 2 8.5 2.8 370 73 .66 0      - -
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i 2 8.6 2.8 360 69 .66 0      - -
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i 2 7.9 2.8 340 61 .66 0      - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i 2 7.9 3.1 370 64 .66 0      - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i 2 8.8 3.5 350 75 .66 0      - -
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i 2 8.9 3.1 370 69 .66 .14   - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i 2 8.6 2.8 360 63 .66 0      - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i 2 8.6 2.8 380 68 .66 0      - -
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i 2 7.7 2.8 330 59 .66 0      - -
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i 2 8.0 2.8 350 56 .66 0      - -
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i 2 9.2 2.8 370 73 .66 0      - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i 2 8.5 2.8 360 70 .66 0      - -
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i 2 8.4 2.7 370 68 .66 0      - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i 2 8.8 2.8 380 65 .66 0      - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i 2 7.6 2.7 350 66 .66 0      - -
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i 2 8.4 2.7 370 68 .66 0      - -
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i 2 6.3 2.8 330 50 .66 0      - -
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i 2 12   4.6 520 94 .66 0      - -
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i 2 12   4.3 590 100 .66 0      - -
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i 2 9.8 3.7 480 91 .66 0      - -
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i 2 12   4.3 520 99 .66 0      - -
pthread-atomic/gcd_true-unreach-call_true-termination.i 0 8.5 2.6 370 71 .66 0      - -
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 1499 1967 200000 84000 3000000 1500000 970   180   663 367 19000 11000 470000 14 41 663 453 9900   6600   290000 300    4.6
    correct results 1228 1967 38000 19000 1000000 320000 800   120   367 367 12000 6400 300000 12 32 485 485 9700   6400   280000 300    4.6
        correct true 739 1478 25000 13000 640000 210000 480   110   0 0
        correct false 489 489 13000 5400 390000 110000 320   9.9 367 367 12000 6400 300000 12 32 485 485 9700   6400   280000 300    4.6
    correct-unconfimed results 3 0 380 240 3400 4300 1.9 0   0 0
        correct-unconfirmed true 0 0 0
        correct-unconfirmed false 3 0 380 240 3400 4300 1.9 0   0 0
    incorrect results 0 0 1 -32 7.1 4.0 300 .66 0  
        incorrect true 0 0 1 -32 7.1 4.0 300 .66 0  
        incorrect false 0 0 0
score (1499 tasks, max score: 2335) 1967 367 453
Run set uautomizer.sv-comp19_prop-termination.Termination-Other cpa-seq-validate-violation-witnesses-uautomizer.sv-comp19_prop-termination.Termination-Other uautomizer-validate-violation-witnesses-uautomizer.sv-comp19_prop-termination.Termination-Other