Tool 2LS 0.7.2-sv-comp19 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-04 22:44:17 CET 2018-12-06 09:36:46 CET 2018-12-06 10:26:50 CET
Run set 2ls.sv-comp19_prop-termination.Termination-Other cpa-seq-validate-violation-witnesses-2ls.sv-comp19_prop-termination.Termination-Other uautomizer-validate-violation-witnesses-2ls.sv-comp19_prop-termination.Termination-Other
Options --graphml-witness witness.graphml -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/2ls.2018-12-04_2244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/2ls.2018-12-04_2244.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 .093 .089 24 .80 0      0      - -
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 0 .12  .11  24 .73 0      0      - -
array-examples/standard_sentinel_true-unreach-call_true-termination.i 0 .097 .093 24 .69 0      0      - -
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 0 .088 .086 23 .79 0      0      - -
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 0 .086 .082 24 .91 0      0      - -
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 0 .12  .11  24 .75 0      0      - -
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 0 .091 .090 24 .86 0      0      - -
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 0 .086 .084 24 .79 0      0      - -
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 2 .33  .21  49 3.0  0      0      - -
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 0 .12  .11  23 .74 0      0      - -
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 1 .15  .13  24 .90 0      0      0 5.2  2.9  260 .016  0   1 7.6   4.3   310   .62 0  
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 1 .16  .14  24 1.1  0      0      0 6.2  3.4  260 .016  0   1 7.6   4.8   310   .66 0  
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 1 .17  .14  24 1.0  0      .14   0 6.6  3.5  270 .016  0   1 8.0   4.9   310   .62 0  
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 1 .14  .11  24 1.0  0      .14   0 5.8  3.1  260 .016  0   1 8.4   5.2   300   .62 0  
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 1 .14  .11  23 1.0  0      .14   0 7.3  4.0  270 .016  0   1 20     17     310   .62 0  
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 0 1.7   .87  170 16    0      .27   - -
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 0 1.8   .96  160 15    0      0      - -
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 0 1.8   .97  160 16    0      0      - -
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 2 .30  .19  31 3.5  0      0      - -
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 1 .71  .41  90 6.4  0      0      1 83    43    2000 .0082 0   1 19     12     550   .62 0  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 1 .68  .39  91 5.8  0      0      1 40    21    1400 .0082 0   1 19     12     540   .62 0  
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 2 .91  .50  100 8.4  0      0      - -
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 2 1.4   .72  150 16    0      0      - -
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 2 1.3   .71  150 14    0      0      - -
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 2 .89  .49  97 8.1  0      0      - -
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 2 1.2   .65  130 11    0      0      - -
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 2 .10  .099 24 .82 0      0      - -
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 2 .11  .10  24 .75 0      0      - -
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2 .11  .10  24 .63 .0082 0      - -
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 2 .10  .099 24 .81 0      0      - -
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 2 .10  .095 24 .98 .0082 0      - -
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 0 .098 .095 24 .79 0      0      - -
bitvector-regression/signextension2_false-unreach-call_true-termination.c 2 .11  .098 24 .79 0      0      - -
bitvector-regression/signextension2_true-unreach-call_true-termination.c 2 .097 .091 24 1.1  .0082 0      - -
bitvector-regression/signextension_false-unreach-call_true-termination.c 2 .14  .13  24 .89 0      0      - -
bitvector-regression/signextension_true-unreach-call_true-termination.c 2 .10  .098 24 1.0  .012  .14   - -
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 0 640     640     15000 6800    .020  0      - -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 2 2.8   1.5   810 25    0      0      - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 2.7   1.4   810 24    0      0      - -
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 1.1   .59  230 9.7  0      0      - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 2 .73  .43  160 6.4  0      0      - -
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 .69  .40  150 7.3  0      0      - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 2 1.1   .61  280 9.6  0      0      - -
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 1.1   .60  280 11    0      0      - -
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 .23  .17  36 2.0  .025  0      - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 2 .38  .24  88 3.8  .50   0      - -
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 2 .39  .25  87 3.9  .025  0      - -
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 0 3.2   1.7   290 20    0      0      0 92    51    1700 .0082 0   -32 23     13     760   .62 0  
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 0 3.0   1.6   290 20    0      0      0 91    47    2000 .0082 0   -32 21     12     610   .62 0  
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 0 4.9   2.5   320 37    0      0      0 92    50    2100 .0082 0   -32 25     14     730   .62 0  
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 0 3.2   1.7   300 20    0      0      0 92    50    2000 0      0   -32 9.6   5.3   420   .62 0  
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 0 2.8   1.5   270 21    0      0      0 93    47    1900 0      0   -32 9.3   5.6   440   .62 0  
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 0 3.3   1.7   300 22    0      .14   0 92    50    2000 .0082 0   -32 22     13     680   .62 0  
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 0 3.1   1.6   290 19    0      .14   0 92    52    2000 .0082 0   -32 22     13     690   .62 0  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 1 .28  .19  27 2.5  0      0      1 31    16    870 .0082 0   -32 13     7.7   470   .62 0  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 1 .17  .13  23 2.0  0      0      1 11    5.9  430 .0082 0   -32 11     6.9   370   .66 0  
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 0 2.8   1.5   270 17    0      .14   0 92    49    2000 0      0   -32 9.9   5.9   400   .62 0  
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 0 2.8   1.4   270 18    0      0      0 92    53    2000 .0082 0   -32 24     13     640   .62 0  
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 0 2.8   1.5   270 17    0      0      0 92    50    2000 0      0   -32 9.6   5.4   400   .62 0  
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 0 2.9   1.5   270 20    0      .27   0 92    53    2000 .0082 0   -32 21     13     690   .62 0  
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 0 3.1   1.6   280 20    0      .13   0 92    46    2000 .0082 0   -32 23     13     690   .62 0  
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 0 3.2   1.7   280 21    0      .14   0 92    47    2100 .0082 0   -32 22     13     670   .62 0  
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 0 2.9   1.5   270 20    0      0      0 92    50    2000 .0082 0   -32 20     12     600   .62 0  
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 0 2.8   1.5   270 16    0      0      0 91    55    1700 .0082 0   -32 24     13     670   .62 0  
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 0 130     64     15000 870    .016  0      - -
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 0 330     160     15000 1500    .016  0      - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 0 110     55     15000 700    .025  0      - -
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 0 120     62     15000 830    .025  0      - -
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 0 110     53     15000 720    .025  0      - -
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 0 110     53     15000 670    .025  0      - -
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 0 110     54     15000 900    .025  0      - -
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 0 110     54     15000 980    .020  0      - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 0 .18  .14  24 1.6  0      0      -32 18    9.3  490 0      0   -32 7.3   4.1   310   .62 0  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 1 .18  .14  25 1.5  0      0      1 37    19    1500 0      0   -32 7.4   4.2   300   .62 0  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 0 .19  .14  25 1.4  0      0      -32 25    13    650 0      0   -32 7.3   4.6   300   .62 0  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 1 .20  .15  25 1.5  0      0      1 67    44    2500 0      0   -32 7.3   4.6   300   .62 0  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 0 .21  .15  25 1.6  0      0      -32 31    16    800 0      0   -32 7.5   4.2   300   .66 0  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 0 .19  .14  25 1.8  0      0      -32 33    17    800 0      0   -32 7.6   4.7   300   .62 0  
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 0 .24  .19  25 2.1  0      0      0 92    69    2000 0      0   -32 7.3   4.2   300   .62 0  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 0 .25  .19  25 1.6  0      0      0 92    67    2000 0      0   -32 8.3   4.8   310   .62 0  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 1 .15  .12  24 1.4  0      0      1 11    6.0  440 0      0   -32 7.0   4.3   300   .62 0  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 0 .15  .12  24 2.2  0      0      -32 9.9  5.4  440 0      0   -32 7.3   4.5   300   .62 0  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 1 .17  .13  24 1.4  0      0      1 15    7.7  480 0      0   -32 7.5   4.2   310   .62 0  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 0 .18  .14  24 1.1  0      0      -32 15    7.9  450 0      0   -32 7.3   4.1   300   .66 0  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 1 .17  .13  24 1.3  0      0      1 23    12    840 0      0   -32 7.5   4.7   310   .66 0  
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c 0 110     54     15000 1000    .016  0      - -
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 0 18     9.7   1400 90    .66   0      - -
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c 1 .86  .51  88 6.7  .016  0      0 96    62    2300 .020  0   1 21     11     540   .62 0  
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c 1 .80  .47  88 7.4  .016  0      0 92    60    2300 .020  0   1 19     11     550   .62 0  
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c 1 .78  .46  88 8.3  .016  0      0 92    57    2200 .020  0   1 20     11     530   .62 0  
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c 1 .81  .47  88 7.2  .016  0      0 92    58    2200 .020  0   1 20     11     550   .62 0  
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c 1 .81  .47  88 6.9  .016  0      0 92    60    2400 .020  0   1 20     11     540   .62 0  
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c 1 .81  .47  88 7.4  .016  0      0 92    57    2200 .020  0   1 20     12     530   .62 0  
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c 1 .80  .46  87 7.3  .016  0      0 92    57    2200 .020  0   1 19     11     560   .62 0  
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c 1 .85  .51  88 6.7  .016  0      0 92    60    2300 .020  0   1 21     12     550   .62 0  
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c 1 .78  .45  88 9.1  .016  0      0 92    56    2100 .020  0   1 21     12     510   .62 0  
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c 1 .84  .49  88 6.7  .016  0      0 92    55    2300 .020  0   1 19     11     520   .62 0  
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c 1 .88  .53  88 6.8  .016  0      0 92    58    2200 .020  0   1 18     11     520   .62 0  
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c 1 .88  .52  88 6.5  .016  0      0 92    54    2200 .020  0   1 20     12     530   .62 0  
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c 1 .82  .48  88 6.9  .016  0      0 92    55    2200 .020  0   1 21     12     550   .62 0  
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c 1 .80  .47  88 7.4  .016  0      0 92    60    2300 .020  0   1 19     11     520   .62 0  
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c 1 .87  .51  88 6.2  .016  0      0 92    57    2200 .020  0   1 20     11     540   .62 0  
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 1 .82  .48  88 7.0  .016  0      0 92    58    2200 .020  0   1 21     12     540   .66 0  
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c 1 .80  .47  88 8.0  .016  0      0 92    60    2200 .020  0   1 19     11     530   .62 0  
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c 1 .82  .48  88 8.5  .016  .18   0 92    58    2200 .020  0   1 19     11     520   .62 0  
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c 1 .82  .49  88 6.9  .016  0      0 92    61    2300 .020  0   1 19     10     550   .62 0  
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c 1 .83  .49  88 7.3  .016  0      0 92    58    2300 .020  0   1 20     11     550   .62 0  
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 1 .80  .47  88 7.2  .016  0      0 92    54    2100 .020  0   1 20     11     530   .62 0  
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 1 .80  .47  88 8.3  .016  0      0 92    56    2200 .020  0   1 20     11     550   .62 0  
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c 1 .79  .46  88 8.8  .016  0      0 91    61    2200 .020  0   1 19     11     510   .62 0  
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c 1 .85  .50  88 6.6  .016  0      0 92    61    2300 .020  0   1 19     11     530   .62 0  
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c 1 .86  .51  88 6.2  .016  0      0 92    57    2200 .020  0   1 20     11     560   .62 0  
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c 1 .79  .46  88 7.1  .016  0      0 92    61    2200 .020  0   1 20     11     560   .62 0  
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c 1 .83  .49  88 6.7  .016  0      0 94    57    2200 .020  0   1 20     11     550   .62 0  
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c 1 .82  .48  88 6.8  .016  0      0 92    57    2200 .020  0   1 21     12     560   .62 0  
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c 1 .82  .48  88 7.5  .016  0      0 92    59    2300 .020  0   1 21     12     540   .62 0  
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c 1 .80  .47  88 9.4  .016  0      0 92    60    2300 .020  0   1 20     11     530   .62 0  
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c 1 .85  .51  88 7.0  .016  0      0 92    56    2200 .020  0   1 20     11     550   .62 0  
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c 1 .85  .50  88 7.1  .016  .14   0 92    58    2200 .020  0   1 20     12     540   .62 0  
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 1 .82  .48  88 7.1  .016  .14   0 92    61    2300 .020  0   1 18     11     530   .62 0  
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 1 .82  .48  88 6.9  .016  0      0 92    60    2200 .020  0   1 19     11     540   .62 0  
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c 1 .85  .50  88 6.9  .016  0      0 92    62    2200 .020  0   1 20     12     560   .62 0  
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 1 .81  .47  88 7.0  .016  0      0 92    55    2200 .020  0   1 20     11     560   .62 0  
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c 1 .77  .45  88 8.3  .016  0      0 92    61    2300 .020  0   1 20     11     540   .62 0  
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 1 .83  .48  88 7.0  .016  0      0 92    59    2300 .020  0   1 21     12     560   .62 0  
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 1 .86  .51  88 6.6  .016  .14   0 92    60    2300 .020  0   1 22     12     560   .62 0  
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c 1 .83  .49  88 8.2  .016  0      0 92    57    2100 .020  0   1 20     11     530   .62 0  
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c 1 .79  .46  88 8.0  .016  0      0 92    62    2300 .020  0   1 19     11     530   .62 0  
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c 1 .80  .47  88 7.2  .016  0      0 92    57    2200 .020  0   1 19     11     520   .62 0  
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c 1 .80  .46  88 7.1  .016  0      0 92    61    2200 .020  0   1 20     11     540   .62 0  
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c 1 .80  .47  88 7.0  .016  .14   0 92    57    2300 .020  0   1 20     11     550   .62 0  
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 1 .84  .49  88 7.4  .016  0      0 92    61    2300 .020  0   1 19     10     520   .62 0  
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c 1 .78  .46  88 8.6  .016  0      0 92    58    2200 .020  0   1 20     11     520   .62 0  
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c 1 .81  .47  88 7.4  .016  0      0 92    62    2400 .020  0   1 19     11     530   .62 0  
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 1 .81  .47  88 7.7  .016  0      0 92    60    2300 .020  0   1 19     10     520   .62 0  
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c 1 .77  .45  88 7.0  .016  0      0 92    55    2200 .020  0   1 20     11     560   .62 0  
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c 1 .81  .48  88 7.6  .016  0      0 92    62    2300 .020  0   1 19     11     520   .62 0  
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 1 .80  .47  88 9.1  .016  0      0 91    62    2300 .020  0   1 19     11     560   .62 0  
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c 1 .82  .47  88 7.4  .016  0      0 92    62    2300 .020  0   1 19     11     550   .62 0  
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c 1 .81  .48  88 7.2  .016  0      0 92    57    2200 .020  0   1 19     11     520   .66 0  
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c 1 .83  .48  87 7.4  .016  0      0 92    59    2300 .020  0   1 19     11     520   .62 0  
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c 1 .83  .48  88 7.9  .016  0      0 92    54    2200 .020  0   1 20     11     520   .62 0  
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c 1 .80  .46  88 8.2  .016  0      0 94    55    2200 .020  0   1 19     11     520   .62 0  
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 1 .84  .49  88 6.7  .016  0      0 92    62    2300 .020  0   1 21     11     550   .62 0  
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 1 .80  .47  88 7.3  .016  0      0 92    58    2300 .020  0   1 23     13     540   .62 0  
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c 1 .80  .47  88 7.0  .016  0      0 92    59    2200 .020  0   1 19     11     530   .62 0  
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c 1 .78  .45  88 7.5  .016  0      0 92    60    2300 .020  0   1 20     11     570   .62 0  
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c 0 .83  .49  88 7.8  .016  0      0 92    56    2200 .020  0   -32 33     18     680   .62 0  
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c 0 .85  .49  88 6.9  .016  0      0 80    50    2100 .020  0   -32 33     18     680   .62 0  
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c 0 .81  .47  88 8.1  .016  0      0 79    49    2200 .020  0   -32 31     17     620   .62 0  
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c 0 .83  .48  88 6.9  .016  0      0 81    50    2200 .020  0   -32 33     18     700   .62 0  
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c 0 .85  .49  87 6.8  .016  0      0 87    55    2200 .020  0   -32 29     17     700   .62 0  
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c 0 .83  .48  87 7.4  .016  0      0 69    45    2200 .020  0   -32 28     16     620   .62 0  
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c 0 .89  .52  88 7.3  .016  0      0 92    56    2100 .020  0   -32 40     22     690   .62 0  
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c 0 .85  .50  87 8.5  .016  0      0 93    55    2200 .020  0   -32 33     19     620   .62 0  
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c 0 .85  .49  88 7.3  .016  0      0 89    57    2200 .020  0   -32 30     17     680   .62 0  
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c 0 .83  .48  88 7.2  .016  0      0 92    57    2200 .020  0   -32 30     17     620   .62 0  
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c 0 .82  .47  88 7.3  .016  0      0 92    57    2200 .020  0   -32 28     16     680   .62 0  
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c 0 .83  .48  88 7.5  .016  .14   0 84    52    2200 .020  0   -32 30     17     700   .62 0  
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c 0 .86  .50  88 7.4  .016  0      0 89    55    2200 .020  0   -32 26     15     600   .62 0  
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 0 .89  .53  87 7.9  .016  0      0 83    52    2200 .020  0   -32 32     18     710   .62 0  
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c 0 .81  .47  88 7.5  .016  .27   0 88    56    2200 .020  0   -32 30     16     610   .62 0  
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c 0 .80  .46  88 8.2  .016  0      0 74    47    2200 .020  0   -32 40     22     680   .62 0  
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 0 .80  .46  88 7.8  .016  0      0 89    54    2200 .020  0   -32 32     18     690   .62 0  
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c 0 .83  .48  87 8.0  .016  0      0 89    56    2200 .020  0   -32 33     18     610   .62 0  
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c 0 .80  .46  88 7.9  .016  0      0 92    58    2200 .020  0   -32 32     18     700   .62 0  
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c 0 .83  .48  88 7.4  .016  0      0 91    58    2300 .020  0   -32 29     16     700   .62 0  
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c 0 .84  .50  87 8.1  .016  0      0 92    59    2200 .020  0   -32 31     18     670   .62 0  
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c 0 .82  .47  88 7.4  .016  0      0 78    48    2200 .020  0   -32 30     17     710   .62 0  
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c 0 .80  .46  88 8.6  .016  0      0 92    57    2200 .020  0   -32 28     16     610   .62 0  
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c 0 .81  .47  88 8.7  .016  0      0 91    57    2200 .020  0   -32 33     19     700   .62 0  
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c 0 .81  .47  88 7.2  .016  0      0 73    46    2200 .020  0   -32 30     17     620   .62 0  
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c 0 .85  .50  87 6.5  .016  .14   0 92    56    2200 .020  0   -32 32     18     690   .62 0  
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c 0 .86  .50  88 7.3  .016  0      0 85    54    2200 .020  0   -32 34     19     670   .62 0  
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c 0 .82  .48  87 7.0  .016  0      0 92    56    2200 .020  0   -32 28     16     690   .62 0  
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c 0 .85  .51  87 7.1  .016  0      0 78    49    2200 .020  0   -32 28     16     610   .62 0  
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c 0 .81  .47  88 7.6  .016  0      0 77    49    2200 .020  0   -32 33     18     720   .62 0  
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c 0 .80  .46  87 8.6  .016  .14   0 81    52    2200 .020  0   -32 28     16     620   .62 0  
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c 0 .81  .47  88 8.0  .016  0      0 75    48    2100 .020  0   -32 30     17     620   .62 0  
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c 0 .83  .48  87 8.0  .016  0      0 81    50    2200 .020  0   -32 28     16     610   .62 0  
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c 0 .86  .50  87 6.8  .016  0      0 92    54    2100 .020  0   -32 30     17     700   .62 0  
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c 0 .84  .49  88 7.9  .016  0      0 79    50    2200 .020  0   -32 30     17     720   .62 0  
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c 0 .83  .49  88 7.9  .016  0      0 92    57    2200 .020  0   -32 32     18     610   .62 0  
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c 0 .83  .48  88 7.5  .016  0      0 75    47    2200 .020  0   -32 30     17     680   .62 0  
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c 0 .90  .54  88 7.3  .016  0      0 92    56    2100 .020  0   -32 31     18     690   .62 0  
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c 0 .85  .49  88 7.6  .016  0      0 84    53    2200 .020  0   -32 28     16     630   .62 0  
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c 0 .81  .47  88 7.7  .016  0      0 92    57    2200 .020  0   -32 31     17     690   .62 0  
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c 0 .82  .48  87 8.0  .016  0      0 92    57    2200 .020  0   -32 31     17     700   .62 0  
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c 0 .85  .49  88 7.2  .016  0      0 80    50    2200 .020  0   -32 31     18     760   .62 0  
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c 0 .88  .53  88 6.9  .016  0      0 85    54    2200 .020  0   -32 33     18     620   .62 0  
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 0 .85  .49  88 7.2  .016  0      0 92    56    2200 .020  0   -32 29     16     710   .62 0  
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 0 .88  .51  87 7.0  .016  0      0 76    48    2200 .020  0   -32 28     16     690   .62 0  
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 0 .85  .49  88 6.4  .016  0      0 92    57    2200 .020  0   -32 32     18     690   .62 0  
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c 0 .83  .48  88 6.9  .016  0      0 92    57    2200 .020  0   -32 31     18     690   .62 0  
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c 0 .87  .51  87 8.1  .016  0      0 78    49    2200 .020  0   -32 34     19     690   .62 0  
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c 0 .81  .47  88 8.0  .016  0      0 85    53    2200 .020  0   -32 30     17     710   .62 0  
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c 0 .92  .53  88 6.9  .016  0      0 75    48    2200 .020  0   -32 30     17     730   .62 0  
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 0 .87  .50  87 7.2  .016  0      0 83    52    2200 .020  0   -32 30     17     700   .62 0  
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c 0 .89  .53  88 6.8  .016  0      0 86    54    2200 .020  0   -32 34     19     620   .62 0  
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c 0 .86  .51  87 7.2  .016  0      0 84    54    2200 .020  0   -32 30     17     690   .62 0  
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c 0 .85  .50  87 8.1  .016  0      0 93    55    2200 .020  0   -32 31     17     700   .62 0  
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c 0 .82  .47  88 8.4  .016  0      0 92    56    2200 .020  0   -32 29     16     620   .62 0  
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c 0 .87  .52  87 6.9  .016  0      0 74    47    2200 .020  0   -32 34     19     610   .62 0  
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c 0 .83  .48  87 7.4  .016  0      0 81    50    2300 .020  0   -32 27     15     620   .62 0  
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c 0 .83  .48  87 8.6  .016  0      0 92    54    2100 .020  0   -32 29     17     710   .62 0  
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c 0 .86  .50  88 7.4  .016  0      0 83    53    2200 .020  0   -32 31     17     680   .62 0  
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 0 .83  .48  87 7.3  .016  0      0 75    48    2200 .020  0   -32 29     16     740   .62 0  
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 0 57     29     1000 300    .016  0      0 97    59    2500 0      0   -32 27     15     850   .62 0  
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 0 55     28     1000 320    .016  0      0 93    61    2200 0      0   -32 29     16     850   .62 0  
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 0 55     28     1000 360    .016  0      0 78    53    2200 0      0   -32 27     15     750   .62 0  
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 0 58     29     1000 310    .016  0      0 86    59    2200 0      0   -32 30     16     860   .62 0  
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c 0 54     27     1000 340    .016  0      0 92    54    2200 0      0   -32 30     16     870   .62 0  
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c 0 57     29     1000 300    .016  0      0 88    60    2200 0      0   -32 35     19     740   .66 0  
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c 0 57     29     1000 290    .016  0      0 93    60    2600 0      0   -32 30     17     760   .62 0  
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 0 54     27     1000 380    .016  0      0 93    61    2400 0      0   -32 29     16     890   .62 0  
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c 0 59     30     1000 300    .016  0      0 80    54    2300 0      0   -32 29     16     860   .62 0  
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 0 56     29     1000 300    .016  0      0 90    60    2400 0      0   -32 30     16     750   .62 0  
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c 0 55     28     1000 330    .016  0      0 92    61    2300 0      0   -32 30     16     750   .62 0  
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 0 56     28     1000 300    .016  0      0 92    60    2600 0      0   -32 29     16     870   .62 0  
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c 0 56     28     1100 320    .016  0      0 93    65    2600 0      0   -32 29     16     750   .62 0  
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c 0 56     29     1000 300    .016  0      0 85    55    2400 0      0   -32 28     15     870   .62 0  
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c 0 56     28     1000 330    .016  0      0 98    66    2600 0      0   -32 29     16     860   .62 0  
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c 0 57     29     1000 310    .016  0      0 92    61    2400 0      0   -32 29     16     850   .62 0  
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c 0 56     28     1000 310    .016  0      0 97    62    2600 0      0   -32 27     15     850   .62 0  
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c 0 57     29     1100 300    .016  0      0 92    58    2300 0      0   -32 31     17     750   .62 0  
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 0 56     28     1000 300    .016  0      0 93    62    2200 0      0   -32 31     17     860   .62 0  
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c 0 120     110     780 970    .016  0      0 96    74    2900 .0082 0   0 97     70     3500   1.0  0  
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c 0 120     110     780 800    .016  0      0 92    72    2600 .0082 0   0 97     70     3800   .65 0  
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 0 120     110     780 790    .016  0      0 95    75    2900 .0082 0   0 97     71     4300   .63 0  
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c 0 120     110     780 820    .016  0      0 93    73    2900 .0082 0   0 97     70     3600   .63 0  
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c 0 120     100     780 810    .016  0      0 92    73    2800 .0082 0   0 97     70     3700   .66 0  
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c 0 120     110     780 850    .016  0      0 92    72    2800 .0082 0   0 97     70     4000   .63 0  
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c 0 120     100     780 790    .016  0      0 92    72    2700 .0082 0   0 97     69     3700   .65 0  
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c 0 130     110     780 750    .016  0      0 98    78    2900 .0082 0   0 97     70     3400   .63 0  
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 0 120     110     780 730    .016  0      0 92    73    2800 .0082 0   0 97     71     4000   1.1  0  
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c 0 120     110     780 980    .016  0      0 98    77    2800 .0082 0   0 97     69     3300   .71 0  
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 0 120     100     780 920    .016  0      0 98    76    3000 .0082 0   0 97     67     3700   .69 0  
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 0 120     100     780 810    .016  0      0 93    73    2900 .0082 0   0 97     70     3600   .70 0  
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 0 120     110     780 770    .016  0      0 92    75    2800 .0082 0   0 97     70     3800   1.0  0  
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 0 120     110     780 770    .016  0      0 92    72    2800 .0082 0   0 97     71     4000   .63 0  
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 0 120     110     780 760    .016  0      0 93    69    2900 .0082 0   0 97     67     3500   .63 0  
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c 0 120     110     780 860    .016  0      0 92    73    2800 .0082 0   0 97     68     3400   1.0  0  
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c 0 120     110     780 910    .016