Tool ULTIMATE Automizer 0.1.23-3204b741 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
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.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-03 12:12:33 CET 2017-12-03 12:33:05 CET 2017-12-03 12:34:35 CET
Run set uautomizer.sv-comp18.Termination-Other cpa-seq-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.Termination-Other uautomizer-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.Termination-Other
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-03_1212.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -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 --full-output --validate ../../results-verified/uautomizer.2017-12-03_1212.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i true 2 wit inspect 8.6 480 73 - wit inspect - wit inspect
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 2 wit inspect 11   580 88 - wit inspect - wit inspect
array-examples/standard_sentinel_true-unreach-call_true-termination.i true 2 wit inspect 5.7 290 41 - wit inspect - wit inspect
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i true 2 wit inspect 6.7 310 57 - wit inspect - wit inspect
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i true 2 wit inspect 6.1 300 54 - wit inspect - wit inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i timeout 0 wit inspect 900   2100 11000 - wit inspect - wit inspect
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i timeout 0 wit inspect 900   4100 12000 - wit inspect - wit inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i true 2 wit inspect 6.5 310 54 - wit inspect - wit inspect
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i true 2 wit inspect 6.8 310 60 - wit inspect - wit inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i true 2 wit inspect 6.4 310 52 - wit inspect - wit inspect
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 4.3 260 39 false(termination) 1 wit inspect 3.2  270 false(termination) 1 wit inspect 5.4   260  
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 4.5 250 39 false(termination) 1 wit inspect 3.4  260 false(termination) 1 wit inspect 5.1   260  
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 4.5 260 42 false(termination) 1 wit inspect 3.3  270 false(termination) 1 wit inspect 5.6   260  
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 4.3 260 36 false(termination) 1 wit inspect 3.5  270 false(termination) 1 wit inspect 5.4   260  
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 4.8 260 37 false(termination) 1 wit inspect 3.6  260 false(termination) 1 wit inspect 5.5   260  
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect 700   1100 9700 - wit inspect - wit inspect
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect 51   860 500 - wit inspect - wit inspect
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect 97   940 1000 - wit inspect - wit inspect
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect 11   540 100 - wit inspect - wit inspect
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c false(termination) 1 wit inspect 11   530 90 unknown 0 wit inspect 3.6  210 false(termination) 1 wit inspect 15     620  
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c false(termination) 1 wit inspect 11   550 86 unknown 0 wit inspect 3.8  210 false(termination) 1 wit inspect 15     620  
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect 8.7 490 75 - wit inspect - wit inspect
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect 10   540 85 - wit inspect - wit inspect
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect 9.5 530 92 - wit inspect - wit inspect
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect 9.0 480 74 - wit inspect - wit inspect
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect 9.8 570 93 - wit inspect - wit inspect
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c true 2 wit inspect 4.0 240 29 - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c true 2 wit inspect 3.8 240 36 - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c true 2 wit inspect 4.0 230 30 - wit inspect - wit inspect
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c true 2 wit inspect 3.8 230 32 - wit inspect - wit inspect
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c true 2 wit inspect 4.0 240 34 - wit inspect - wit inspect
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c true 2 wit inspect 6.5 360 56 - wit inspect - wit inspect
bitvector-regression/signextension2_false-unreach-call_true-termination.c true 2 wit inspect 4.0 240 36 - wit inspect - wit inspect
bitvector-regression/signextension2_true-unreach-call_true-termination.c true 2 wit inspect 4.1 230 35 - wit inspect - wit inspect
bitvector-regression/signextension_false-unreach-call_true-termination.c true 2 wit inspect 3.8 230 30 - wit inspect - wit inspect
bitvector-regression/signextension_true-unreach-call_true-termination.c true 2 wit inspect 3.9 230 31 - wit inspect - wit inspect
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i true 2 wit inspect 26   640 250 - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 13   530 110 - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 14   550 110 - wit inspect - wit inspect
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 9.4 490 75 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 11   460 87 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 11   460 88 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 11   510 89 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 12   520 100 - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 5.2 290 43 - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 6.1 340 49 - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 6.1 340 52 - wit inspect - wit inspect
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 44   1300 330 unknown 0 wit inspect 4.4  220 false(termination) 1 wit inspect 21     850  
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 33   1200 320 unknown 0 wit inspect 4.3  220 false(termination) 1 wit inspect 21     860  
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 37   1200 320 unknown 0 wit inspect 4.3  220 false(termination) 1 wit inspect 23     890  
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 38   1300 320 unknown 0 wit inspect 4.3  220 false(termination) 1 wit inspect 21     900  
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 37   1200 300 unknown 0 wit inspect 4.5  220 false(termination) 1 wit inspect 23     850  
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 29   1100 210 unknown 0 wit inspect 4.1  220 false(termination) 1 wit inspect 19     880  
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 43   1900 350 unknown 0 wit inspect 4.2  220 false(termination) 1 wit inspect 20     850  
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 16   690 120 unknown 0 wit inspect 3.0  210 false(termination) 1 wit inspect 13     490  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 9.0 520 81 unknown 0 wit inspect 2.8  180 false(termination) 1 wit inspect 8.7   320  
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 32   1100 270 unknown 0 wit inspect 4.4  220 false(termination) 1 wit inspect 19     850  
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 33   1100 260 unknown 0 wit inspect 4.2  220 false(termination) 1 wit inspect 19     900  
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 29   1100 250 unknown 0 wit inspect 4.2  220 false(termination) 1 wit inspect 19     870  
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 30   1000 270 unknown 0 wit inspect 4.1  220 false(termination) 1 wit inspect 18     850  
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 38   1400 300 unknown 0 wit inspect 4.5  220 false(termination) 1 wit inspect 22     890  
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 31   1000 270 unknown 0 wit inspect 4.0  220 false(termination) 1 wit inspect 22     860  
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 29   980 230 unknown 0 wit inspect 4.5  220 false(termination) 1 wit inspect 21     890  
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 35   1100 320 unknown 0 wit inspect 4.5  220 false(termination) 1 wit inspect 22     860  
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c true 2 wit inspect 27   1100 220 - wit inspect - wit inspect
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c true 2 wit inspect 23   880 190 - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c true 2 wit inspect 26   1000 200 - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 2 wit inspect 27   1000 210 - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c true 2 wit inspect 25   950 210 - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c true 2 wit inspect 27   1100 220 - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c true 2 wit inspect 27   1000 220 - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c true 2 wit inspect 28   1100 220 - wit inspect - wit inspect
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 9.0 590 77 unknown 0 wit inspect 4.3  270 false(termination) 1 wit inspect 10     530  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 11   770 85 unknown 0 wit inspect 4.2  270 false(termination) 1 wit inspect 12     680  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 14   1000 97 unknown 0 wit inspect 4.3  270 false(termination) 1 wit inspect 17     990  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 20   1900 130 unknown 0 wit inspect 4.4  270 false(termination) 1 wit inspect 22     2300  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 16   1300 110 unknown 0 wit inspect 4.5  270 false(termination) 1 wit inspect 18     1200  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 40   3800 220 unknown 0 wit inspect 4.6  280 false(termination) 1 wit inspect 42     4000  
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 31   2500 190 unknown 0 wit inspect 4.7  280 false(termination) 1 wit inspect 23     2300  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 92   6500 440 unknown 0 wit inspect 4.7  270 false(termination) 1 wit inspect 78     6000  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 5.8 280 47 unknown 0 wit inspect 3.8  260 false(termination) 1 wit inspect 7.0   270  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 6.1 290 50 unknown 0 wit inspect 3.8  270 false(termination) 1 wit inspect 7.0   280  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 6.4 320 46 unknown 0 wit inspect 4.0  270 false(termination) 1 wit inspect 7.9   320  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 6.8 340 59 unknown 0 wit inspect 4.1  270 false(termination) 1 wit inspect 8.2   330  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 7.6 450 61 unknown 0 wit inspect 4.2  270 false(termination) 1 wit inspect 9.4   420  
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c true 2 wit inspect 28   990 240 - wit inspect - wit inspect
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c true 2 wit inspect 100   4500 910 - wit inspect - wit inspect
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c timeout 0 wit inspect 900   11000 7600 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .049 4.8
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4300 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .049 4.9
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 5300 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4800 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4200 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .049 4.9
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 5300 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4400 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4500 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .050 4.9
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 6100 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .040 4.9
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5600 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5900 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .044 4.9
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5700 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .046 4.9
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 5100 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .035 4.9
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5200 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .029 4.9
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5500 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .039 5.0
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5000 error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .050 4.8
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4600 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .025 4.8
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4300 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4400 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .049 4.9
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4700 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .043 4.8
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 5400 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .045 4.8
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4500 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5500 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .048 4.9
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4700 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .046 5.0
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 5300 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4500 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .037 4.9
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4500 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c timeout 0 wit inspect 900   12000 6200 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 5800 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .050 4.9
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4900 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .049 4.9
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5700 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4500 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .027 4.9
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5800 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9200 6500 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .044 4.9
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4900 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4500 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .051 4.9
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4700 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5500 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4700 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .043 4.9
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5300 error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .044 4.9
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 6200 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .048 4.9
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c timeout 0 wit inspect 910   12000 4400 error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .048 5.0
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4700 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .031 5.0
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4700 error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 6500 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 5500 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .051 5.0
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4600 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .045 4.9
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4800 error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4500 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .037 4.8
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 5800 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .045 5.0
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5800 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .028 4.8
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c timeout 0 wit inspect 900   7600 7300 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .024 5.0
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5400 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .043 4.9
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5800 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .035 4.9
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5000 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4600 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4400 error (invalid witness file) 0 wit inspect .61 46 error (2) 0 wit inspect .042 4.9
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c timeout 0 wit inspect 900   12000 4800 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .047 4.9
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5500 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 5000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 190 unknown 0 wit inspect 4.3  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 210 unknown 0 wit inspect 4.3  210 false(termination) 1 wit inspect 15     410  
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c false(termination) 1 wit inspect 27   820 220 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   810 230 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 230 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c false(termination) 1 wit inspect 27   780 220 unknown 0 wit inspect 4.1  220 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   830 220 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 9.3   410  
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c false(termination) 1 wit inspect 27   820 240 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 14     400  
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c false(termination) 1 wit inspect 27   830 240 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 13     400  
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c false(termination) 1 wit inspect 27   840 240 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 15     410  
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   830 240 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 13     400  
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   850 210 unknown 0 wit inspect 4.0  210 false(termination) 1 wit inspect 16     410  
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   830 200 unknown 0 wit inspect 4.2  220 false(termination) 1 wit inspect 13     410  
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false(termination) 1 wit inspect 26   830 200 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 13     400  
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   810 220 unknown 0 wit inspect 4.4  230 false(termination) 1 wit inspect 15     400  
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   810 220 unknown 0 wit inspect 3.9  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c false(termination) 1 wit inspect 27   810 230 unknown 0 wit inspect 4.0  220 false(termination) 1 wit inspect 11     430  
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   810 220 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 220 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 13     410  
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 220 unknown 0 wit inspect 4.3  210 false(termination) 1 wit inspect 14     400  
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 250 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 200 unknown 0 wit inspect 4.0  220 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   820 200 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 14     400  
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   800 210 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 14     420  
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   810 210 unknown 0 wit inspect 4.0  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   830 230 unknown 0 wit inspect 4.4  220 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   810 190 unknown 0 wit inspect 3.9  220 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c false(termination) 1 wit inspect 27   810 210 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 13     410  
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   840 210 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 220 unknown 0 wit inspect 4.1  220 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 210 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   810 230 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   830 240 unknown 0 wit inspect 4.0  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 220 unknown 0 wit inspect 4.3  210 false(termination) 1 wit inspect 14     420  
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c false(termination) 1 wit inspect 27   810 240 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 230 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 200 unknown 0 wit inspect 4.3  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   830 200 unknown 0 wit inspect 4.3  220 false(termination) 1 wit inspect 15     420  
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   850 250 unknown 0 wit inspect 4.2  220 false(termination) 1 wit inspect 15     410  
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   870 190 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   830 240 unknown 0 wit inspect 4.2  220 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   830 200 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 15     420  
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 240 unknown 0 wit inspect 4.1  220 false(termination) 1 wit inspect 15     410  
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false(termination) 1 wit inspect 25   820 210 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 15     400  
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false(termination) 1 wit inspect 26   810 240 unknown 0 wit inspect 4.0  210 false(termination) 1 wit inspect 14     400  
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 210 unknown 0 wit inspect 4.0  210 false(termination) 1 wit inspect 15     400  
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c false(termination) 1 wit inspect 27   810 210 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   850 210 unknown 0 wit inspect 4.2  220 false(termination) 1 wit inspect 15     410  
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   830 200 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 15     420  
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c false(termination) 1 wit inspect 25   810 200 unknown 0 wit inspect 4.2  220 false(termination) 1 wit inspect 15     410  
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 200 unknown 0 wit inspect 4.1  220 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 220 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 15     410  
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 210 unknown 0 wit inspect 4.2  220 false(termination) 1 wit inspect 15     410  
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 190 unknown 0 wit inspect 4.3  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c false(termination) 1 wit inspect 29   830 230 unknown 0 wit inspect 4.0  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   800 240 unknown 0 wit inspect 4.4  210 false(termination) 1 wit inspect 15     410  
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 190 unknown 0 wit inspect 4.2  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c false(termination) 1 wit inspect 24   800 210 unknown 0 wit inspect 4.1  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c false(termination) 1 wit inspect 26   840 240 unknown 0 wit inspect 4.3  210 false(termination) 1 wit inspect 14     410  
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false(termination) 1 wit inspect 26   820 200 unknown 0 wit inspect 4.0  210 false(termination) 1 wit inspect 14     420  
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 5500 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .049 4.8
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c timeout 0 wit inspect 900   14000 6000 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .048 4.9
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 4900 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 5100 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .050 4.8
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 4700 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 5000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c timeout 0 wit inspect 900   13000 5100 error (invalid witness file) 0 wit inspect .54 46 error (2) 0 wit inspect .048 4.9
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 5300 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 5000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 5.0
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 5300 error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .048 4.9
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 4900 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 5000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .031 5.0
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c timeout 0 wit inspect 900   14000 5000 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .044 4.9
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 5500 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .049 4.9
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4400 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 5500 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 4400 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .047 4.9
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c timeout 0 wit inspect 910   14000 5300 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c timeout 0 wit inspect 910   13000 4800 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .029 4.9
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 360 unknown 0 wit inspect 4.9  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c false(termination) 1 wit inspect 35   950 330 unknown 0 wit inspect 5.1  240 false(termination) 1 wit inspect 20     830  
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c false(termination) 1 wit inspect 38   1000 330 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 19     840  
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 320 unknown 0 wit inspect 5.1  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 330 unknown 0 wit inspect 4.5  230 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c false(termination) 1 wit inspect 38   990 320 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 19     840  
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 320 unknown 0 wit inspect 5.6  240 false(termination) 1 wit inspect 18     830  
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 320 unknown 0 wit inspect 5.4  240 false(termination) 1 wit inspect 18     830  
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c false(termination) 1 wit inspect 39   1000 320 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 18     830  
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c false(termination) 1 wit inspect 38   990 330 unknown 0 wit inspect 5.4  240 false(termination) 1 wit inspect 21     840  
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c false(termination) 1 wit inspect 35   990 320 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 18     800  
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c false(termination) 1 wit inspect 49   930 450 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 19     820  
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 350 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 20     810  
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 340 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 18     840  
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c false(termination) 1 wit inspect 35   1000 320 unknown 0 wit inspect 5.0  240 false(termination) 1 wit inspect 20     830  
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 320 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 18     830  
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c false(termination) 1 wit inspect 38   990 370 unknown 0 wit inspect 5.4  240 false(termination) 1 wit inspect 18     830  
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 330 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 330 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c false(termination) 1 wit inspect 37   960 290 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c false(termination) 1 wit inspect 39   1000 350 unknown 0 wit inspect 4.9  220 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c false(termination) 1 wit inspect 35   1000 320 unknown 0 wit inspect 5.1  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c false(termination) 1 wit inspect 38   1000 370 unknown 0 wit inspect 5.1  240 false(termination) 1 wit inspect 20     800  
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c false(termination) 1 wit inspect 38   1000 360 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 18     830  
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 320 unknown 0 wit inspect 5.3  220 false(termination) 1 wit inspect 20     830  
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 310 unknown 0 wit inspect 5.0  240 false(termination) 1 wit inspect 19     820  
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 360 unknown 0 wit inspect 5.2  220 false(termination) 1 wit inspect 20     820  
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 290 unknown 0 wit inspect 5.1  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c false(termination) 1 wit inspect 39   1000 340 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c false(termination) 1 wit inspect 35   1000 320 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 19     840  
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 310 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c false(termination) 1 wit inspect 39   1000 320 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c false(termination) 1 wit inspect 39   1100 350 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 20     830  
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c false(termination) 1 wit inspect 37   980 310 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 20     830  
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 380 unknown 0 wit inspect 5.1  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 350 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c false(termination) 1 wit inspect 35   1000 290 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 18     830  
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 320 unknown 0 wit inspect 5.1  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c false(termination) 1 wit inspect 35   1000 370 unknown 0 wit inspect 5.1  220 false(termination) 1 wit inspect 20     830  
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c false(termination) 1 wit inspect 39   1000 370 unknown 0 wit inspect 5.0  230 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 350 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c false(termination) 1 wit inspect 40   990 370 unknown 0 wit inspect 5.0  240 false(termination) 1 wit inspect 19     840  
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c false(termination) 1 wit inspect 38   1000 330 unknown 0 wit inspect 5.0  240 false(termination) 1 wit inspect 20     830  
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 330 unknown 0 wit inspect 5.0  240 false(termination) 1 wit inspect 20     830  
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 320 unknown 0 wit inspect 5.3  240 false(termination) 1 wit inspect 18     840  
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c false(termination) 1 wit inspect 38   1000 300 unknown 0 wit inspect 5.4  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 360 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 20     840  
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c false(termination) 1 wit inspect 38   1000 350 unknown 0 wit inspect 5.1  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c false(termination) 1 wit inspect 38   990 370 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 20     770  
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 340 unknown 0 wit inspect 5.4  240 false(termination) 1 wit inspect 20     830  
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 300 unknown 0 wit inspect 5.0  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 340 unknown 0 wit inspect 5.2  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c false(termination) 1 wit inspect 36   1000 320 unknown 0 wit inspect 5.2  220 false(termination) 1 wit inspect 19     840  
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c false(termination) 1 wit inspect 38   1000 340 unknown 0 wit inspect 5.0  230 false(termination) 1 wit inspect 19     840  
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c false(termination) 1 wit inspect 37   990 310 unknown 0 wit inspect 5.1  230 false(termination) 1 wit inspect 18     840  
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c false(termination) 1 wit inspect 38   980 370 unknown 0 wit inspect 5.1  230 false(termination) 1 wit inspect 18     830  
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c false(termination) 1 wit inspect 37   1000 350 unknown 0 wit inspect 5.1  240 false(termination) 1 wit inspect 19     830  
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c false(termination) 1 wit inspect 39   1000 330 unknown 0 wit inspect 5.1  240 false(termination) 1 wit