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