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