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