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 unknown 0 --- inspect 3.3 1.4 270 29 0   0   - --- inspect - --- inspect
array-examples/sanfoundry_24_true-unreach-call_true-termination.i unknown 0 --- inspect 3.3 1.4 270 32 0   0   - --- inspect - --- inspect
array-examples/standard_sentinel_true-unreach-call_true-termination.i unknown 0 --- inspect 3.3 1.4 270 31 0   0   - --- inspect - --- inspect
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i unknown 0 --- inspect 3.3 1.4 270 31 0   0   - --- inspect - --- inspect
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i unknown 0 --- inspect 3.1 1.4 270 32 0   0   - --- inspect - --- inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i unknown 0 --- inspect 3.2 1.4 270 32 0   0   - --- inspect - --- inspect
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i unknown 0 --- inspect 3.4 1.4 270 29 0   0   - --- inspect - --- inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i unknown 0 --- inspect 3.4 1.4 270 30 0   0   - --- inspect - --- inspect
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i timeout 0 --- inspect 900   850   4300 11000 0   0   - --- inspect - --- inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i unknown 0 --- inspect 3.3 1.5 270 32 0   0   - --- inspect - --- inspect
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 4.0 1.7 280 35 0   0   false(termination) 1 --- inspect 3.7  2.1  250 .033 0   false(termination) 1 --- inspect 7.6   4.8   310   .66  0  
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 4.1 1.7 280 37 0   0   false(termination) 1 --- inspect 3.8  2.1  240 .029 0   false(termination) 1 --- inspect 80     77     340   .62  0  
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 4.1 1.7 280 38 0   0   false(termination) 1 --- inspect 5.4  3.0  250 .033 0   false(termination) 1 --- inspect 33     29     340   .62  0  
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 4.1 1.8 280 38 0   0   false(termination) 1 --- inspect 4.7  2.6  250 .033 0   false(termination) 1 --- inspect 21     17     320   .62  0  
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 4.1 1.8 280 39 0   0   false(termination) 1 --- inspect 5.1  2.8  250 .033 0   timeout 0 --- inspect 97     93     330   .79  0  
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i timeout 0 --- inspect 900   650   8700 12000 0   0   - --- inspect - --- inspect
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i timeout 0 --- inspect 920   640   8800 11000 0   0   - --- inspect - --- inspect
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i timeout 0 --- inspect 900   870   4000 11000 0   0   - --- inspect - --- inspect
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 2 --- inspect 77   71   530 870 0   0   - --- inspect - --- inspect
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c false(termination) 1 wit inspect 57   18   2200 540 0   0   false(termination) 1 --- inspect 6.6  3.5  270 .033 0   false(termination) 1 --- inspect 14     8.3   490   .62  0  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c false(termination) 1 wit inspect 35   9.8 1100 320 0   0   false(termination) 1 --- inspect 6.5  3.4  270 .033 0   false(termination) 1 --- inspect 14     8.1   550   .62  0  
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 --- inspect 9.1 2.9 450 81 0   0   - --- inspect - --- inspect
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c exception 0 --- inspect 8.2 2.7 460 73 0   0   - --- inspect - --- inspect
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c exception 0 --- inspect 8.8 2.8 360 66 0   0   - --- inspect - --- inspect
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 --- inspect 9.0 2.8 470 75 0   0   - --- inspect - --- inspect
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c exception 0 --- inspect 8.2 2.7 340 75 0   0   - --- inspect - --- inspect
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c true 2 --- inspect 3.2 1.4 270 35 0   0   - --- inspect - --- inspect
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c true 2 --- inspect 3.3 1.4 280 30 0   0   - --- inspect - --- inspect
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c true 2 --- inspect 3.4 1.4 270 30 0   0   - --- inspect - --- inspect
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c true 2 --- inspect 3.3 1.5 270 28 0   0   - --- inspect - --- inspect
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c true 2 --- inspect 3.3 1.5 270 30 0   0   - --- inspect - --- inspect
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c true 2 --- inspect 4.4 1.8 290 40 0   0   - --- inspect - --- inspect
bitvector-regression/signextension2_false-unreach-call_true-termination.c true 2 --- inspect 3.3 1.4 270 32 0   0   - --- inspect - --- inspect
bitvector-regression/signextension2_true-unreach-call_true-termination.c true 2 --- inspect 3.1 1.4 270 28 0   0   - --- inspect - --- inspect
bitvector-regression/signextension_false-unreach-call_true-termination.c true 2 --- inspect 3.2 1.4 270 29 0   0   - --- inspect - --- inspect
bitvector-regression/signextension_true-unreach-call_true-termination.c true 2 --- inspect 3.3 1.4 270 27 0   0   - --- inspect - --- inspect
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i timeout 0 --- inspect 910   820   4400 12000 0   0   - --- inspect - --- inspect
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 --- inspect 7.0 2.3 300 70 0   0   - --- inspect - --- inspect
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 --- inspect 6.7 2.3 300 60 0   0   - --- inspect - --- inspect
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 --- inspect 18   4.9 650 140 0   0   - --- inspect - --- inspect
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 --- inspect 5.5 2.0 300 49 0   0   - --- inspect - --- inspect
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 --- inspect 5.8 2.1 310 47 0   0   - --- inspect - --- inspect
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 --- inspect 5.8 2.0 310 51 0   0   - --- inspect - --- inspect
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 --- inspect 6.1 2.1 320 52 0   0   - --- inspect - --- inspect
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 --- inspect 3.8 1.6 260 34 0   0   - --- inspect - --- inspect
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 --- inspect 4.3 1.7 260 37 0   0   - --- inspect - --- inspect
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 --- inspect 4.4 1.7 260 46 0   0   - --- inspect - --- inspect
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   860   4200 10000 0   0   error (invalid witness file) 0 --- inspect .74 .45 40 0     0   error (2) 0 --- inspect .021 .022 5.5 0     0  
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   860   4400 12000 0   0   error (invalid witness file) 0 --- inspect .64 .39 41 0     0   error (2) 0 --- inspect .021 .023 5.6 0     0  
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   840   4600 8700 0   0   error (invalid witness file) 0 --- inspect .76 .48 41 0     0   error (2) 0 --- inspect .021 .022 5.7 0     0  
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   800   5400 11000 0   0   error (invalid witness file) 0 --- inspect .63 .38 41 0     0   error (2) 0 --- inspect .022 .023 5.6 0     0  
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 700   660   4200 7700 0   0   false(termination) 1 --- inspect 10    5.2  410 .033 0   timeout 0 --- inspect 97     59     3600   1.6   0  
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   860   4200 10000 0   0   error (invalid witness file) 0 --- inspect .78 .48 41 0     0   error (2) 0 --- inspect .054 .058 5.5 0     0  
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   860   4000 11000 0   0   error (invalid witness file) 0 --- inspect .60 .36 41 0     0   error (2) 0 --- inspect .023 .024 5.6 0     0  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 22   6.2 700 190 0   0   false(termination) 1 --- inspect 6.4  3.4  270 .033 0   false(termination) 1 --- inspect 36     21     810   .62  0  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 9.2 2.9 370 78 0   0   false(termination) 1 --- inspect 5.1  2.8  260 .033 0   false(termination) 1 --- inspect 17     9.8   510   .62  0  
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   860   4100 11000 0   0   error (invalid witness file) 0 --- inspect .77 .46 41 0     0   error (2) 0 --- inspect .021 .037 5.6 0     0  
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 740   700   4500 9300 0   0   false(termination) 1 --- inspect 10    5.4  410 .033 0   timeout (false(termination)) 0 --- inspect 93     56     2900   .62  0  
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   860   4600 11000 0   0   error (invalid witness file) 0 --- inspect .64 .40 42 0     0   error (2) 0 --- inspect .022 .023 5.6 0     0  
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   860   4800 10000 0   0   error (invalid witness file) 0 --- inspect .60 .36 41 0     0   error (2) 0 --- inspect .022 .022 5.6 0     0  
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   850   4600 11000 0   0   error (invalid witness file) 0 --- inspect .61 .39 40 0     0   error (2) 0 --- inspect .023 .024 5.6 0     0  
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   860   3300 11000 0   0   error (invalid witness file) 0 --- inspect .73 .46 40 0     0   error (2) 0 --- inspect .021 .022 5.7 0     0  
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   860   5000 9400 0   0   error (invalid witness file) 0 --- inspect .59 .37 41 0     0   error (2) 0 --- inspect .022 .023 5.6 0     0  
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 160   120   4200 1900 0   0   false(termination) 1 --- inspect 9.5  5.0  410 .033 0   timeout 0 --- inspect 96     67     2700   1.6   0  
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c timeout 0 --- inspect 900   840   4700 9900 0   0   - --- inspect - --- inspect
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c timeout 0 --- inspect 900   850   4700 12000 0   0   - --- inspect - --- inspect
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c timeout 0 --- inspect 900   850   4300 11000 0   0   - --- inspect - --- inspect
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c timeout 0 --- inspect 900   850   4400 11000 0   0   - --- inspect - --- inspect
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c timeout 0 --- inspect 900   850   4300 13000 0   0   - --- inspect - --- inspect
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c timeout 0 --- inspect 900   850   4300 13000 0   0   - --- inspect - --- inspect
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c timeout 0 --- inspect 900   830   4900 11000 0   0   - --- inspect - --- inspect
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c timeout 0 --- inspect 900   850   4000 13000 0   0   - --- inspect - --- inspect
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 12   3.7 490 110 0   0   false(termination) 1 --- inspect 5.4  2.9  250 .033 0   false(termination) 1 --- inspect 18     11     570   .66  0  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 18   5.5 1000 140 0   0   false(termination) 1 --- inspect 7.1  3.7  260 .033 0   false(termination) 1 --- inspect 19     11     500   .62  0  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 22   8.1 1400 200 0   0   false(termination) 1 --- inspect 5.5  3.0  260 .033 0   false(termination) 1 --- inspect 20     11     490   .62  0  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 32   14   2100 340 0   0   false(termination) 1 --- inspect 6.6  3.5  260 .033 0   false(termination) 1 --- inspect 21     13     540   .62  0  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 6.2 2.2 310 55 0   0   false(termination) 1 --- inspect 7.1  3.8  260 .033 0   false(termination) 1 --- inspect 33     19     2300   .62  0  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 55   28   3300 550 0   0   false(termination) 1 --- inspect 5.9  3.2  260 .033 0   false(termination) 1 --- inspect 26     15     700   .62  0  
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 31   15   1900 320 0   0   false(termination) 1 --- inspect 6.8  3.7  260 .033 0   false(termination) 1 --- inspect 24     13     560   .62  0  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 110   58   4900 940 0   0   false(termination) 1 --- inspect 6.9  3.7  260 .033 0   false(termination) 1 --- inspect 28     16     720   .62  0  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 5.0 1.9 290 42 0   0   false(termination) 1 --- inspect 5.5  3.0  250 .033 0   false(termination) 1 --- inspect 12     6.8   420   .62  0  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 5.4 2.0 320 54 0   0   false(termination) 1 --- inspect 6.1  3.3  260 .033 0   false(termination) 1 --- inspect 12     7.0   470   .66  0  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 6.4 2.2 420 59 0   0   false(termination) 1 --- inspect 5.9  3.2  250 .033 0   false(termination) 1 --- inspect 14     8.2   470   .62  0  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 7.5 2.6 330 66 0   0   false(termination) 1 --- inspect 5.0  2.7  260 .033 0   false(termination) 1 --- inspect 16     9.0   510   .62  0  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 9.7 3.0 480 85 0   0   false(termination) 1 --- inspect 6.6  3.6  260 .033 0   false(termination) 1 --- inspect 17     10     490   .62  0  
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c true 2 --- inspect 130   84   4000 1100 0   0   - --- inspect - --- inspect
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c timeout 0 --- inspect 900   820   4600 11000 0   0   - --- inspect - --- inspect
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.8 740 230 0   0   false(termination) 1 wit inspect 18    9.3  520 .033 0   false(termination) 1 --- inspect 50     29     990   .62  0  
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   8.0 950 240 0   0   false(termination) 1 wit inspect 18    9.3  520 .033 0   false(termination) 1 --- inspect 46     27     960   .62  0  
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.1 800 260 0   0   false(termination) 1 wit inspect 21    11    500 .033 0   false(termination) 1 --- inspect 49     29     1000   .62  0  
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   7.9 770 250 0   0   false(termination) 1 wit inspect 17    9.0  520 .033 0   false(termination) 1 --- inspect 47     28     1000   .62  0  
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c false(termination) 1 wit inspect 28   7.8 870 230 0   0   false(termination) 1 wit inspect 18    9.4  510 .033 0   false(termination) 1 --- inspect 48     28     950   .62  0  
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.1 780 230 0   0   false(termination) 1 wit inspect 19    9.6  530 .033 0   false(termination) 1 --- inspect 49     28     970   .62  0  
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.9 970 240 0   0   false(termination) 1 wit inspect 22    11    520 .033 0   false(termination) 1 --- inspect 47     28     970   .62  0  
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.1 760 250 0   0   false(termination) 1 wit inspect 19    9.8  520 .033 0   false(termination) 1 --- inspect 53     30     970   .62  0  
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.0 770 260 0   0   false(termination) 1 wit inspect 18    9.0  530 .033 0   false(termination) 1 --- inspect 48     28     1000   .62  0  
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.0 770 250 0   0   false(termination) 1 wit inspect 18    9.4  530 .033 0   false(termination) 1 --- inspect 49     29     1000   .62  0  
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   7.9 770 250 0   0   false(termination) 1 wit inspect 17    8.8  510 .033 0   false(termination) 1 --- inspect 49     28     1000   .62  0  
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.9 760 260 0   0   false(termination) 1 wit inspect 20    11    520 .033 0   false(termination) 1 --- inspect 46     27     1000   .62  0  
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c false(termination) 1 wit inspect 31   8.3 740 280 0   0   false(termination) 1 wit inspect 21    11    510 .033 0   false(termination) 1 --- inspect 50     29     970   .62  0  
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c false(termination) 1 wit inspect 32   8.3 910 240 0   0   false(termination) 1 wit inspect 21    11    510 .033 0   false(termination) 1 --- inspect 44     26     980   .62  0  
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.6 780 230 0   0   false(termination) 1 wit inspect 21    11    520 .033 0   false(termination) 1 --- inspect 49     29     990   .62  0  
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.1 910 240 0   0   false(termination) 1 wit inspect 18    9.4  520 .033 0   false(termination) 1 --- inspect 49     29     970   .62  0  
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.9 760 250 0   0   false(termination) 1 wit inspect 21    11    520 .033 0   false(termination) 1 --- inspect 50     29     960   .62  0  
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.9 740 230 0   0   false(termination) 1 wit inspect 20    10    510 .033 0   false(termination) 1 --- inspect 49     29     990   .62  0  
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.8 790 270 0   0   false(termination) 1 wit inspect 18    9.1  510 .033 0   false(termination) 1 --- inspect 48     28     990   .62  0  
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   7.9 750 250 0   0   false(termination) 1 wit inspect 19    9.5  530 .033 0   false(termination) 1 --- inspect 46     27     970   .62  0  
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.1 760 260 0   0   false(termination) 1 wit inspect 17    8.7  510 .033 0   false(termination) 1 --- inspect 50     29     1000   .62  0  
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false(termination) 1 wit inspect 28   8.0 760 240 0   0   false(termination) 1 wit inspect 21    11    520 .033 0   false(termination) 1 --- inspect 52     30     1000   .62  0  
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   8.0 920 270 0   0   false(termination) 1 wit inspect 17    9.0  520 .033 0   false(termination) 1 --- inspect 51     30     1000   .62  0  
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   7.9 750 260 0   0   false(termination) 1 wit inspect 18    9.1  510 .033 0   false(termination) 1 --- inspect 49     29     950   .62  0  
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.1 940 250 0   0   false(termination) 1 wit inspect 17    9.0  510 .033 0   false(termination) 1 --- inspect 50     29     1000   .62  0  
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.1 890 270 0   0   false(termination) 1 wit inspect 18    9.1  530 .033 0   false(termination) 1 --- inspect 45     27     1000   .62  0  
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c false(termination) 1 wit inspect 31   8.2 920 280 0   0   false(termination) 1 wit inspect 18    9.4  530 .033 0   false(termination) 1 --- inspect 47     28     1000   .62  0  
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.1 940 280 0   0   false(termination) 1 wit inspect 22    11    520 .033 0   false(termination) 1 --- inspect 49     29     1000   .62  0  
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c false(termination) 1 wit inspect 31   8.0 750 260 0   0   false(termination) 1 wit inspect 18    9.1  520 .033 0   false(termination) 1 --- inspect 47     28     940   .62  0  
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.2 920 250 0   0   false(termination) 1 wit inspect 19    10    520 .033 0   false(termination) 1 --- inspect 50     29     950   .62  0  
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.0 750 260 0   0   false(termination) 1 wit inspect 18    9.5  520 .033 0   false(termination) 1 --- inspect 45     27     990   .62  0  
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c false(termination) 1 wit inspect 31   8.0 750 270 0   0   false(termination) 1 wit inspect 19    9.8  520 .033 0   false(termination) 1 --- inspect 47     27     990   .62  0  
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.9 770 270 0   0   false(termination) 1 wit inspect 18    9.4  530 .033 0   false(termination) 1 --- inspect 49     29     1000   .62  0  
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false(termination) 1 wit inspect 31   8.2 760 250 0   0   false(termination) 1 wit inspect 18    9.5  510 .033 0   false(termination) 1 --- inspect 55     31     990   .62  0  
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c false(termination) 1 wit inspect 28   7.7 740 270 0   0   false(termination) 1 wit inspect 19    10    520 .033 0   false(termination) 1 --- inspect 53     31     990   .62  0  
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.8 760 250 0   0   false(termination) 1 wit inspect 22    11    530 .033 0   false(termination) 1 --- inspect 50     29     1000   .62  0  
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   8.0 740 240 0   0   false(termination) 1 wit inspect 19    9.8  520 .033 0   false(termination) 1 --- inspect 46     27     960   .62  0  
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false(termination) 1 wit inspect 32   8.2 920 250 0   0   false(termination) 1 wit inspect 18    9.2  520 .033 0   false(termination) 1 --- inspect 53     31     1000   .62  0  
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.9 760 230 0   0   false(termination) 1 wit inspect 17    8.9  510 .033 0   false(termination) 1 --- inspect 48     28     980   .62  0  
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.0 760 250 0   0   false(termination) 1 wit inspect 18    9.3  520 .033 0   false(termination) 1 --- inspect 52     31     1000   .62  0  
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.0 740 240 0   0   false(termination) 1 wit inspect 21    11    520 .033 0   false(termination) 1 --- inspect 54     31     1000   .62  0  
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c false(termination) 1 wit inspect 28   7.8 740 230 0   0   false(termination) 1 wit inspect 20    10    520 .033 0   false(termination) 1 --- inspect 53     30     970   .62  0  
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.0 730 260 0   0   false(termination) 1 wit inspect 17    8.9  510 .033 0   false(termination) 1 --- inspect 51     30     1000   .62  0  
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.0 770 240 0   0   false(termination) 1 wit inspect 22    11    510 .033 0   false(termination) 1 --- inspect 47     27     950   .62  0  
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false(termination) 1 wit inspect 28   7.9 920 270 0   0   false(termination) 1 wit inspect 20    10    510 .033 0   false(termination) 1 --- inspect 47     28     1000   .66  0  
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c false(termination) 1 wit inspect 31   8.1 920 250 0   0   false(termination) 1 wit inspect 19    9.5  500 .033 0   false(termination) 1 --- inspect 49     29     1000   .62  0  
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.1 760 250 0   0   false(termination) 1 wit inspect 22    11    520 .033 0   false(termination) 1 --- inspect 50     30     1000   .62  0  
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.0 770 260 0   0   false(termination) 1 wit inspect 21    11    530 .033 0   false(termination) 1 --- inspect 46     27     1000   .62  0  
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c false(termination) 1 wit inspect 31   8.1 760 250 0   0   false(termination) 1 wit inspect 23    12    540 .033 0   false(termination) 1 --- inspect 47     27     990   .62  0  
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   7.9 770 250 0   0   false(termination) 1 wit inspect 18    9.4  520 .033 0   false(termination) 1 --- inspect 49     29     960   .62  0  
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.2 800 260 0   0   false(termination) 1 wit inspect 18    9.1  510 .033 0   false(termination) 1 --- inspect 51     30     990   .62  0  
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c false(termination) 1 wit inspect 31   8.1 900 280 0   0   false(termination) 1 wit inspect 19    9.6  420 .033 0   false(termination) 1 --- inspect 52     30     980   .62  0  
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   7.8 770 280 0   0   false(termination) 1 wit inspect 17    8.8  520 .033 0   false(termination) 1 --- inspect 48     29     990   .62  0  
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   7.9 760 250 0   0   false(termination) 1 wit inspect 17    8.9  520 .033 0   false(termination) 1 --- inspect 47     28     970   .41  0  
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.1 930 240 0   0   false(termination) 1 wit inspect 21    11    520 .033 0   false(termination) 1 --- inspect 48     28     980   .62  0  
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   8.0 760 240 0   0   false(termination) 1 wit inspect 18    9.5  520 .033 0   false(termination) 1 --- inspect 47     28     990   .62  0  
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false(termination) 1 wit inspect 31   8.0 760 240 0   0   false(termination) 1 wit inspect 17    8.9  520 .033 0   false(termination) 1 --- inspect 47     28     960   .62  0  
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.0 750 270 0   0   false(termination) 1 wit inspect 17    8.8  530 .033 0   false(termination) 1 --- inspect 47     28     1000   .62  0  
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   8.2 880 250 0   0   false(termination) 1 wit inspect 20    10    510 .033 0   false(termination) 1 --- inspect 51     30     990   .62  0  
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c false(termination) 1 wit inspect 30   7.9 780 270 0   0   false(termination) 1 wit inspect 18    9.3  520 .033 0   false(termination) 1 --- inspect 49     28     990   .62  0  
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.6 670 210 0   0   false(termination) 1 wit inspect 17    8.6  520 .033 0   false(termination) 1 --- inspect 45     25     890   .62  0  
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.5 710 220 0   0   false(termination) 1 wit inspect 20    10    520 .033 0   false(termination) 1 --- inspect 41     23     890   .62  0  
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 700 220 0   0   false(termination) 1 wit inspect 18    9.4  510 .033 0   false(termination) 1 --- inspect 44     25     920   .62  0  
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.6 740 190 0   0   false(termination) 1 wit inspect 17    8.9  520 .033 0   false(termination) 1 --- inspect 42     24     890   .62  0  
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.8 710 240 0   0   false(termination) 1 wit inspect 18    9.0  520 .033 0   false(termination) 1 --- inspect 41     24     900   .62  0  
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.6 730 200 0   0   false(termination) 1 wit inspect 19    9.7  530 .033 0   false(termination) 1 --- inspect 42     24     940   .66  0  
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.9 730 240 0   0   false(termination) 1 wit inspect 22    11    530 .033 0   false(termination) 1 --- inspect 46     26     900   .62  0  
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.6 720 200 0   0   false(termination) 1 wit inspect 17    8.7  520 .033 0   false(termination) 1 --- inspect 42     24     890   .62  0  
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.8 700 200 0   0   false(termination) 1 wit inspect 16    8.3  530 .033 0   false(termination) 1 --- inspect 40     23     940   .62  0  
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 710 210 0   0   false(termination) 1 wit inspect 17    8.7  510 .029 0   false(termination) 1 --- inspect 43     25     950   .62  0  
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.8 730 200 0   0   false(termination) 1 wit inspect 16    8.4  520 .033 0   false(termination) 1 --- inspect 43     25     930   .62  0  
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c false(termination) 1 wit inspect 23   6.4 700 200 0   0   false(termination) 1 wit inspect 17    8.7  530 .033 0   false(termination) 1 --- inspect 40     23     920   .62  0  
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c false(termination) 1 wit inspect 23   6.3 660 210 0   0   false(termination) 1 wit inspect 20    10    520 .033 0   false(termination) 1 --- inspect 43     25     950   .62  0  
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.8 720 220 0   0   false(termination) 1 wit inspect 17    8.7  510 .033 0   false(termination) 1 --- inspect 42     24     880   .62  0  
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 740 200 0   0   false(termination) 1 wit inspect 19    9.9  510 .033 0   false(termination) 1 --- inspect 43     25     920   .62  0  
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.7 710 190 0   0   false(termination) 1 wit inspect 20    10    520 .033 0   false(termination) 1 --- inspect 44     25     940   .62  0  
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.9 680 190 0   0   false(termination) 1 wit inspect 20    10    520 .033 0   false(termination) 1 --- inspect 51     28     920   .66  0  
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.6 700 200 0   0   false(termination) 1 wit inspect 17    8.6  520 .033 0   false(termination) 1 --- inspect 51     28     940   .62  0  
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.4 680 210 0   0   false(termination) 1 wit inspect 18    9.1  540 .033 0   false(termination) 1 --- inspect 46     26     920   .62  0  
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.7 710 210 0   0   false(termination) 1 wit inspect 16    8.5  510 .033 0   false(termination) 1 --- inspect 46     26     930   .66  0  
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 730 200 0   0   false(termination) 1 wit inspect 17    8.9  520 .033 0   false(termination) 1 --- inspect 42     24     920   .62  0  
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.8 700 220 0   0   false(termination) 1 wit inspect 18    9.4  530 .033 0   false(termination) 1 --- inspect 39     23     940   .62  0  
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.9 700 220 0   0   false(termination) 1 wit inspect 17    8.6  510 .033 0   false(termination) 1 --- inspect 38     22     920   .62  0  
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.7 720 200 0   0   false(termination) 1 wit inspect 17    8.6  520 .033 0   false(termination) 1 --- inspect 48     27     940   .62  0  
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.5 730 190 0   0   false(termination) 1 wit inspect 17    8.7  530 .033 0   false(termination) 1 --- inspect 41     24     890   .62  0  
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c false(termination) 1 wit inspect 27   7.0 720 220 0   0   false(termination) 1 wit inspect 17    8.7  520 .033 0   false(termination) 1 --- inspect 42     24     900   .62  0  
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.6 690 210 0   0   false(termination) 1 wit inspect 18    9.3  520 .033 0   false(termination) 1 --- inspect 38     22     910   .62  0  
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 730 220 0   0   false(termination) 1 wit inspect 17    8.7  510 .033 0   false(termination) 1 --- inspect 43     24     930   .62  0  
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.5 720 210 0   0   false(termination) 1 wit inspect 17    9.0  510 .033 0   false(termination) 1 --- inspect 43     25     890   .62  0  
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.7 700 210 0   0   false(termination) 1 wit inspect 17    8.5  510 .033 0   false(termination) 1 --- inspect 43     25     890   .62  0  
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.6 710 200 0   0   false(termination) 1 wit inspect 18    9.6  520 .033 0   false(termination) 1 --- inspect 44     26     950   .62  0  
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.6 700 200 0   0   false(termination) 1 wit inspect 17    8.8  520 .033 0   false(termination) 1 --- inspect 47     27     930   .62  0  
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.6 710 200 0   0   false(termination) 1 wit inspect 17    8.6  520 .033 0   false(termination) 1 --- inspect 42     24     880   .62  0  
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.5 690 200 0   0   false(termination) 1 wit inspect 17    8.6  510 .033 0   false(termination) 1 --- inspect 41     23     950   .62  0  
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.8 720 190 0   0   false(termination) 1 wit inspect 17    9.0  520 .033 0   false(termination) 1 --- inspect 45     25     950   .62  0  
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c false(termination) 1 wit inspect 23   6.4 680 190 0   0   false(termination) 1 wit inspect 17    8.8  520 .033 0   false(termination) 1 --- inspect 41     24     930   .62  0  
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.8 720 220 0   0   false(termination) 1 wit inspect 17    9.0  510 .033 0   false(termination) 1 --- inspect 42     24     920   .62  0  
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.6 710 210 0   0   false(termination) 1 wit inspect 16    8.5  510 .033 0   false(termination) 1 --- inspect 39     23     880   .62  0  
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.5 730 220 0   0   false(termination) 1 wit inspect 18    9.1  520 .033 0   false(termination) 1 --- inspect 43     25     910   .62  0  
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.6 680 200 0   0   false(termination) 1 wit inspect 21    11    520 .033 0   false(termination) 1 --- inspect 40     23     910   .62  0  
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 680 230 0   0   false(termination) 1 wit inspect 19    9.6  520 .033 0   false(termination) 1 --- inspect 46     26     930   .62  0  
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 730 220 0   0   false(termination) 1 wit inspect 20    10    510 .033 0   false(termination) 1 --- inspect 38     22     890   .62  0  
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.5 710 210 0   0   false(termination) 1 wit inspect 18    9.3  520 .033 0   false(termination) 1 --- inspect 46     26     890   .62  0  
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 700 240 0   0   false(termination) 1 wit inspect 20    10    530 .033 0   false(termination) 1 --- inspect 40     23     920   .62  0  
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 710 200 0   0   false(termination) 1 wit inspect 20    10    530 .033 0   false(termination) 1 --- inspect 43     24     940   .62  0  
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.7 730 220 0   0   false(termination) 1 wit inspect 18    9.3  520 .033 0   false(termination) 1 --- inspect 43     24     920   .62  0  
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.9 710 240 0   0   false(termination) 1 wit inspect 16    8.3  510 .033 0   false(termination) 1 --- inspect 43     25     880   .62  0  
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.8 670 230 0   0   false(termination) 1 wit inspect 20    10    520 .033 0   false(termination) 1 --- inspect 43     25     940   .62  0  
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.8 710 200 0   0   false(termination) 1 wit inspect 17    8.6  520 .033 0   false(termination) 1 --- inspect 41     24     940   .62  0  
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 710 190 0   0   false(termination) 1 wit inspect 17    8.7  520 .033 0   false(termination) 1 --- inspect 44     25     930   .62  0  
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.8 700 230 0   0   false(termination) 1 wit inspect 19    9.9  520 .033 0   false(termination) 1 --- inspect 41     24     880   .62  0  
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.9 730 230 0   0   false(termination) 1 wit inspect 16    8.2  520 .033 0   false(termination) 1 --- inspect 45     26     890   .62  0  
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.9 730 210 0   0   false(termination) 1 wit inspect 17    8.8  520 .033 0   false(termination) 1 --- inspect 44     26     900   .62  0  
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   6.8 740 210 0   0   false(termination) 1 wit inspect 19    9.8  510 .033 0   false(termination) 1 --- inspect 41     24     940   .62  0  
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 720 210 0   0   false(termination) 1 wit inspect 19    9.7  510 .033 0   false(termination) 1 --- inspect 44     25     930   .62  0  
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.7 690 230 0   0   false(termination) 1 wit inspect 19    9.6  510 .033 0   false(termination) 1 --- inspect 42     24     870   .62  0  
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c false(termination) 1 wit inspect 27   7.0 760 200 0   0   false(termination) 1 wit inspect 19    9.8  530 .033 0   false(termination) 1 --- inspect 42     25     930   .62  0  
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   6.7 690 220 0   0   false(termination) 1 wit inspect 20    10    520 .033 0   false(termination) 1 --- inspect 42     25     870   .62  0  
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   6.5 700 220 0   0   false(termination) 1 wit inspect 18    9.5  530 .033 0   false(termination) 1 --- inspect 43     25     920   .62  0  
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false(termination) 1 wit inspect 23   6.3 700 210 0   0   false(termination) 1 wit inspect 16    8.4  510 .033 0   false(termination) 1 --- inspect 44     25     860   .62  0  
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c false(termination) 0 wit inspect 140   87   3400 1600 0   0   timeout (false(termination)) 0 wit inspect 92    50    2000 .033 0   timeout 0 --- inspect 97     57     3800   .99  0  
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c false(termination) 0 wit inspect 140   87   3600 1600 0   0   timeout 0 --- inspect 94    50    2100 .033 0   timeout 0 --- inspect 96     61     4000   1.5   0  
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c false(termination) 0 wit inspect 140   87   3600 1500 0   0   timeout 0 --- inspect 93    51    1900 .033 0   timeout 0 --- inspect 97     59     3600   .70  0  
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c false(termination) 0 wit inspect 140   86   3300 1400 0   0   timeout (false(termination)) 0 wit inspect 94    50    2000 .033 0   timeout 0 --- inspect 97     60     3600   1.7   0  
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c false(termination) 1 wit inspect 140   87   3600 1500 0   0   false(termination) 1 wit inspect 87    47    2100 .033 0   timeout 0 --- inspect 97     59     4000   .63  0  
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c false(termination) 0 wit inspect 140   87   3600 1400 0   0   timeout (false(termination)) 0 wit inspect 96    52    2100 .033 0   timeout 0 --- inspect 97     59     4100   .98  0  
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c false(termination) 0 wit inspect 150   87   3600 1500 0   0   timeout (false(termination)) 0 wit inspect 91    48    2100 .033 0   timeout 0 --- inspect 97     58     3600   .79  0  
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c false(termination) 0 wit inspect 140   86   3300 1400 0   0   timeout (false(termination)) 0 wit inspect 93    50    1900 .033 0   timeout 0 --- inspect 96     59     3400   .77  0  
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c false(termination) 0 wit inspect 140   87   3500 1400 0   0   timeout 0 --- inspect 92    49    2100 .033 0   timeout 0 --- inspect 97     59     3600   .63  0  
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c false(termination) 0 wit inspect 140   85   2900 1500 0   0   timeout 0 --- inspect 93    49    1900 .033 0   timeout 0 --- inspect 97     58     3800   .69  0  
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c false(termination) 0 wit inspect 140   86   3300 1600 0   0   timeout (false(termination)) 0 wit inspect 96    52    2000 .033 0   timeout 0 --- inspect 97     58     4200   .69  0  
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c false(termination) 0 wit inspect 140   86   3500 1600 0   0   timeout (false(termination)) 0 wit inspect 97    52    2100 .033 0   timeout 0 --- inspect 98     59     4000   1.7   0  
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c false(termination) 1 wit inspect 150   87   3400 1500 0   0   false(termination) 1 wit inspect 88    48    2100 .029 0   timeout 0 --- inspect 98     59     3900   1.5   0  
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c false(termination) 0 wit inspect 140   86   3600 1400 0   0   timeout 0 --- inspect 93    51    1900 .033 0   timeout 0 --- inspect 96     59     4100   1.4   0  
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c false(termination) 0 wit inspect 140   87   3500 1500 0   0   timeout (false(termination)) 0 wit inspect 98    51    2000 .033 0   timeout 0 --- inspect 96     59     3900   1.7   0  
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c false(termination) 0 wit inspect 140   86   3500 1400 0   0   timeout 0 --- inspect 94    49    2000 .033 0   timeout 0 --- inspect 97     58     3900   .72  0  
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c false(termination) 0 wit inspect 140   87   3500 1500 0   0   timeout (false(termination)) 0 wit inspect 97    52    2100 .033 0   timeout 0 --- inspect 98     59     3600   1.6   0  
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c false(termination) 0 wit inspect 140   86   3300 1600 0   0   timeout 0 --- inspect 93    48    1900 .033 0   timeout 0 --- inspect 97     60     3800   .83  0  
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c false(termination) 1 wit inspect 150   87   3100 1300 0   0   false(termination) 1 wit inspect 85    47    2100 .033 0   timeout 0 --- inspect 96     59     4000   .66  0  
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2400 13000 0   0   error (invalid witness file) 0 --- inspect .60 .37 43 0     0   error (2) 0 --- inspect .032 .033 5.6 0     0  
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2300 11000 0   0   error (invalid witness file) 0 --- inspect .58 .36 41 0     0   error (2) 0 --- inspect .021 .022 5.6 0     0  
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2900 12000 0   0   error (invalid witness file) 0 --- inspect .57 .36 41 0     0   error (2) 0 --- inspect .021 .023 5.6 0     0  
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2200 10000 0   0   error (invalid witness file) 0 --- inspect .68 .42 41 0     0   error (2) 0 --- inspect .027 .028 5.5 0     0  
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2400 11000 0   0   error (invalid witness file) 0 --- inspect .67 .42 40 0     0   error (2) 0 --- inspect .022 .025 5.6 0     0  
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2300 12000 0   0   error (invalid witness file) 0 --- inspect .60 .38 41 0     0   error (2) 0 --- inspect .023 .026 5.6 0     0  
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   3100 13000 0   0   error (invalid witness file) 0 --- inspect .71 .45 41 0     0   error (2) 0 --- inspect .022 .022 5.6 0     0  
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2300 12000 0   0   error (invalid witness file) 0 --- inspect .64 .39 41 0     0   error (2) 0 --- inspect .021 .022 5.6 0     0  
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2700 11000 0   0   error (invalid witness file) 0 --- inspect .63 .38 40 0     0   error (2) 0 --- inspect .021 .022 5.6 0     0  
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2200 10000 0   0   error (invalid witness file) 0 --- inspect .62 .39 41 0     0   error (2) 0 --- inspect .025 .026 5.6 0     0  
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2300 10000 0   0   error (invalid witness file) 0 --- inspect .60 .38 42 0     0   error (2) 0 --- inspect .022 .024 5.7 0     0  
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2900 9900 0   0   error (invalid witness file) 0 --- inspect .58 .35 40 0     0   error (2) 0 --- inspect .022 .024 5.6 0     0  
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2300 11000 0   0   error (invalid witness file) 0 --- inspect .77 .47 42 0     0   error (2) 0 --- inspect .022 .023 5.6 0     0  
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2300 11000 0   0   error (invalid witness file) 0 --- inspect .71 .42 42 0     0   error (2) 0 --- inspect .021 .021 5.6 0     0  
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2300 11000 0   0   error (invalid witness file) 0 --- inspect .62 .37 41 0     0   error (2) 0 --- inspect .022 .023 5.6 0     0  
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   3000 13000 0   0   error (invalid witness file) 0 --- inspect .62 .39 41 0     0   error (2) 0 --- inspect .026 .027 5.6 0     0  
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2400 11000 0   0   error (invalid witness file) 0 --- inspect .60 .37 41 0     0   error (2) 0 --- inspect .023 .024 5.6 0     0  
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c timeout 0 --- inspect 900   860   2300 12000 0   0   error (invalid witness file) 0 --- inspect .67 .41 40 0     0   error (2) 0 ---