Tool DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 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-01 15:15:10 CET 2017-12-01 21:58:57 CET 2017-12-01 21:59:47 CET
Run set depthk.sv-comp18.Termination-Other cpa-seq-validate-violation-witnesses-depthk.sv-comp18-violation-witness.Termination-Other uautomizer-validate-violation-witnesses-depthk.sv-comp18-violation-witness.Termination-Other
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/depthk.2017-12-01_1515.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/depthk.2017-12-01_1515.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 unknown 0 wit inspect 890    1200 7100   - wit inspect - wit inspect
array-examples/sanfoundry_24_true-unreach-call_true-termination.i unknown 0 wit inspect 1.3  56 14   - wit inspect - wit inspect
array-examples/standard_sentinel_true-unreach-call_true-termination.i unknown 0 wit inspect 100    43 1300   - wit inspect - wit inspect
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i unknown 0 wit inspect 90    70 1100   - wit inspect - wit inspect
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i unknown 0 wit inspect 890    280 8900   - wit inspect - wit inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i unknown 0 wit inspect 890    290 8200   - wit inspect - wit inspect
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i unknown 0 wit inspect 890    350 12000   - wit inspect - wit inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i unknown 0 wit inspect 890    270 9300   - wit inspect - wit inspect
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i unknown 0 wit inspect 890    190 10000   - wit inspect - wit inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i unknown 0 wit inspect 890    240 10000   - wit inspect - wit inspect
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i unknown 0 wit inspect 300    290 3100   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i unknown 0 wit inspect 890    260 9800   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.9
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i unknown 0 wit inspect 900    270 8200   error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .022 4.8
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i unknown 0 wit inspect 890    330 6800   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 5.0
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i unknown 0 wit inspect 900    370 8500   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i unknown 0 wit inspect 4.3  56 49   - wit inspect - wit inspect
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i unknown 0 wit inspect 4.3  56 46   - wit inspect - wit inspect
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i unknown 0 wit inspect 2.2  56 25   - wit inspect - wit inspect
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i unknown 0 wit inspect 3.4  57 44   - wit inspect - wit inspect
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c unknown 0 wit inspect 890    330 14000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 5.0
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .018 4.9
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 0 wit inspect 2.7  57 35   - wit inspect - wit inspect
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 0 wit inspect 1.6  56 18   - wit inspect - wit inspect
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 0 wit inspect 21    56 280   - wit inspect - wit inspect
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 0 wit inspect 26    56 330   - wit inspect - wit inspect
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 0 wit inspect 1.6  56 18   - wit inspect - wit inspect
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c unknown 0 wit inspect .83 56 10   - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c unknown 0 wit inspect .85 56 9.5 - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c unknown 0 wit inspect 1.2  57 13   - wit inspect - wit inspect
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c unknown 0 wit inspect .85 57 8.5 - wit inspect - wit inspect
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c unknown 0 wit inspect 1.2  56 12   - wit inspect - wit inspect
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c unknown 0 wit inspect 1.3  58 16   - wit inspect - wit inspect
bitvector-regression/signextension2_false-unreach-call_true-termination.c unknown 0 wit inspect .83 55 8.2 - wit inspect - wit inspect
bitvector-regression/signextension2_true-unreach-call_true-termination.c unknown 0 wit inspect 1.2  56 12   - wit inspect - wit inspect
bitvector-regression/signextension_false-unreach-call_true-termination.c unknown 0 wit inspect .84 56 9.0 - wit inspect - wit inspect
bitvector-regression/signextension_true-unreach-call_true-termination.c unknown 0 wit inspect 1.2  57 12   - wit inspect - wit inspect
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i unknown 0 wit inspect 8.1  57 120   - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 2.1  61 25   - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 8.0  150 98   - wit inspect - wit inspect
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 3.4  58 43   - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 1.2  56 13   - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 2.8  56 35   - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 1.5  56 20   - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 4.0  66 48   - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 1.9  57 22   - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 1.1  56 13   - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 2.5  56 28   - wit inspect - wit inspect
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c unknown 0 wit inspect .94 57 9.4 error 0 wit inspect 3.0  210 true -32 wit inspect 6.9   280  
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 31    100 450   error 0 wit inspect 3.0  210 true -32 wit inspect 7.5   290  
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 25    96 310   error 0 wit inspect 3.4  210 true -32 wit inspect 7.5   300  
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 11    67 120   error 0 wit inspect 3.0  210 true -32 wit inspect 7.4   290  
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 3.0  56 36   error 0 wit inspect 3.0  210 true -32 wit inspect 6.4   290  
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 10    66 140   error 0 wit inspect 3.0  210 true -32 wit inspect 6.2   280  
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    410 11000   error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .020 4.9
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 500    110 7900   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 180    63 2300   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 5.0
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 9.8  61 150   error 0 wit inspect 3.0  210 true -32 wit inspect 6.1   280  
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    390 11000   error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .019 4.8
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    390 11000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 5.0
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    390 11000   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c unknown 0 wit inspect .94 56 9.1 error 0 wit inspect 2.8  210 true -32 wit inspect 6.3   290  
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    390 11000   error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .020 4.8
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    400 10000   error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.8
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    390 11000   error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .019 4.9
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 19    77 240   - wit inspect - wit inspect
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c unknown 0 wit inspect 120    470 1500   - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 19    77 250   - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c unknown 0 wit inspect 130    480 1800   - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 23    91 280   - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c unknown 0 wit inspect 150    600 2000   - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 19    77 230   - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c unknown 0 wit inspect 130    480 1400   - wit inspect - wit inspect
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 2.4  64 26   error (1) 0 wit inspect .73 48 false(termination) 1 wit inspect 12     470  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 2.6  73 29   error (1) 0 wit inspect .72 46 false(termination) 1 wit inspect 13     760  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 2.9  83 32   error (1) 0 wit inspect .80 49 false(termination) 1 wit inspect 17     1000  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 3.2  93 39   error (1) 0 wit inspect .77 48 false(termination) 1 wit inspect 26     1900  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .88 56 8.7 error 0 wit inspect 2.5  180 true -32 wit inspect 5.0   240  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 3.5  100 48   error (1) 0 wit inspect .91 51 false(termination) 1 wit inspect 43     4000  
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .91 56 9.6 error 0 wit inspect 2.9  180 true -32 wit inspect 5.2   240  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 3.9  120 44   error (1) 0 wit inspect .78 50 false(termination) 1 wit inspect 79     5800  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 1.6  56 18   error (1) 0 wit inspect .68 48 false(termination) 1 wit inspect 6.8   270  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 1.7  57 18   error (1) 0 wit inspect .51 46 false(termination) 1 wit inspect 5.0   270  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 1.8  56 23   error (1) 0 wit inspect .68 48 false(termination) 1 wit inspect 8.0   310  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 2.0  57 22   error (1) 0 wit inspect .69 46 false(termination) 1 wit inspect 8.6   320  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect 2.2  56 27   error (1) 0 wit inspect .83 49 false(termination) 1 wit inspect 8.8   420  
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c unknown 0 wit inspect 95    370 1500   - wit inspect - wit inspect
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 0 wit inspect 890    14000 11000   - wit inspect - wit inspect
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 12000   error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c unknown 0 wit inspect 900    330 12000   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 11000   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 12000   error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c unknown 0 wit inspect 900    330 12000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 11000   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 12000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c unknown 0 wit inspect 890    320 11000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c unknown 0 wit inspect 900    330 11000   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 11000   error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .025 4.8
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c unknown 0 wit inspect 900    340 13000   error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 12000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c unknown 0 wit inspect 16    66 200   error 0 wit inspect 3.4  210 true -32 wit inspect 7.2   340  
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 9900   error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 5.0
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 12000   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 10000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c unknown 0 wit inspect 28    83 350   error 0 wit inspect 3.4  210 true -32 wit inspect 11     350  
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c unknown 0 wit inspect 16    66 210   error 0 wit inspect 3.8  210 true -32 wit inspect 10     340  
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 11000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 11000   error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 12000   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c unknown 0 wit inspect 900    340 10000   error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .021 5.0
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 12000   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 12000   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 10000   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 12000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c unknown 0 wit inspect 27    83 410   error 0 wit inspect 2.4  210 true -32 wit inspect 10     340  
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c unknown 0 wit inspect 21    76 260   error 0 wit inspect 3.5  210 true -32 wit inspect 11     340  
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 10000   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c unknown 0 wit inspect 16    67 190   error 0 wit inspect 3.4  210 true -32 wit inspect 10     340  
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c unknown 0 wit inspect 900    330 12000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c unknown 0 wit inspect 21    76 270   error 0 wit inspect 3.5  210 true -32 wit inspect 7.3   340  
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c unknown 0 wit inspect 16    66 170   error 0 wit inspect 3.5  210 true -32 wit inspect 11     340  
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c unknown 0 wit inspect 890    320 12000   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c unknown 0 wit inspect 890    320 13000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c unknown 0 wit inspect 890    310 12000   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c unknown 0 wit inspect 890    320 10000   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 13000   error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c unknown 0 wit inspect 11    59 170   error 0 wit inspect 3.4  210 true -32 wit inspect 11     350  
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 10000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 13000   error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c unknown 0 wit inspect 27    84 400   error 0 wit inspect 3.6  210 true -32 wit inspect 10     340  
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c unknown 0 wit inspect 16    66 180   error 0 wit inspect 3.5  210 true -32 wit inspect 10     340  
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 11000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c unknown 0 wit inspect 900    320 10000   error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c unknown 0 wit inspect 890    320 12000   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 11000   error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c unknown 0 wit inspect 890    320 11000   error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c unknown 0 wit inspect 21    75 230   error 0 wit inspect 3.4  210 true -32 wit inspect 10     340  
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c unknown 0 wit inspect 21    76 320   error 0 wit inspect 3.6  210 true -32 wit inspect 12     340  
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c unknown 0 wit inspect 890    320 9900   error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c unknown 0 wit inspect 890    320 11000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 11000   error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c unknown 0 wit inspect 900    350 11000   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c unknown 0 wit inspect 900    350 11000   error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 11000   error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c unknown 0 wit inspect 890    360 9900   error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c unknown 0 wit inspect 900    340 11000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 12000   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c unknown 0 wit inspect 900    340 12000   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 11000   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 11000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c unknown 0 wit inspect 900    350 11000   error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c unknown 0 wit inspect 900    350 13000   error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c unknown 0 wit inspect 900    350 10000   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c unknown 0 wit inspect 6.3  57 76   error 0 wit inspect 3.2  210 true -32 wit inspect 10     340  
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 12000   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c unknown 0 wit inspect 900    350 13000   error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c unknown 0 wit inspect 6.4  57 89   error 0 wit inspect 3.4  210 true -32 wit inspect 6.8   340  
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 11000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 10000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 11000   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 12000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c unknown 0 wit inspect 900    350 11000   error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 12000   error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 13000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 10000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .021 5.0
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 12000   error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 13000   error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c unknown 0 wit inspect 900    340 11000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c unknown 0 wit inspect 900    350 10000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c unknown 0 wit inspect 900    350 12000   error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 10000   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .020 5.0
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 13000   error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 11000   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 10000   error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c unknown 0 wit inspect 890    360 12000   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c unknown 0 wit inspect 900    350 11000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c unknown 0 wit inspect 890    360 12000   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c unknown 0 wit inspect 890    360 8500   error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 10000   error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 13000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 11000   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 10000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c unknown 0 wit inspect 6.4  55 92   error 0 wit inspect 3.2  210 true -32 wit inspect 10     330  
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c unknown 0 wit inspect 6.4  56 78   error 0 wit inspect 3.9  210 true -32 wit inspect 10     330  
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c unknown 0 wit inspect 9.9  58 140   error 0 wit inspect 3.5  210 true -32 wit inspect 10     340  
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 10000   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c unknown 0 wit inspect 900    330 11000   error (invalid witness file) 0 wit inspect .60 45 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c unknown 0 wit inspect 10    58 130   error 0 wit inspect 3.8  210 true -32 wit inspect 10     340  
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 12000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c unknown 0 wit inspect 890    350 12000   error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c unknown 0 wit inspect 900    330 9800   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 10000   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 10000   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c unknown 0 wit inspect 900    330 13000   error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c unknown 0 wit inspect 890    330 10000   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c unknown 0 wit inspect 890    340 11000   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c unknown 0 wit inspect 10    58 130   error 0 wit inspect 3.4  210 true -32 wit inspect 10     330  
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 12000   error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 12000   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 12000   error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 8100   error (invalid witness file) 0 wit inspect .66 45 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 10000   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 11000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .021 5.0
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2600 10000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 11000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 11000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 10000   error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2600 12000   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 10000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c unknown 0 wit inspect 900    2600 10000   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2600 10000   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2600 10000   error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2600 10000   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2600 10000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 9900   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 11000   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2100 11000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .035 4.9
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 9700   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.9
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c unknown 0 wit inspect 670    1900 7300   error 0 wit inspect 3.8  210 true -32 wit inspect 12     360  
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1900 8700   error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1600 7900   error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2000 8500   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2200 8600   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .024 5.0
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c unknown 0 wit inspect 900    1500 7000   error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c unknown 0 wit inspect 580    1700 5700   error 0 wit inspect 3.6  210 true -32 wit inspect 11     370  
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1700 10000   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c unknown 0 wit inspect 450    1400 4100   error 0 wit inspect 3.6  210 true -32 wit inspect 10     360  
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c unknown 0 wit inspect 490    1500 4500   error 0 wit inspect 4.3  210 true -32 wit inspect 12     370  
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c unknown 0 wit inspect 850    1900 7100   error 0 wit inspect 3.6  210 true -32 wit inspect 10     370  
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c unknown 0 wit inspect 490    1500 4700   error 0 wit inspect 4.3  210 true -32 wit inspect 10     360  
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c unknown 0 wit inspect 390    1400 3600   error 0 wit inspect 3.6  210 true -32 wit inspect 10     360  
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1900 8300   error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2200 8800   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1500 7200   error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c unknown 0 wit inspect 810    1600 7000   error 0 wit inspect 3.7  210 true -32 wit inspect 11     360  
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1900 8900   error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2300 8700   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2200 9800   error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c unknown 0 wit inspect 550    1800 4700   error 0 wit inspect 3.6  210 true -32 wit inspect 11     370  
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1800 10000   error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1800 7900   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2200 8400   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2200 11000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c unknown 0 wit inspect 300    1400 3100   error 0 wit inspect 3.7  210 true -32 wit inspect 10     370  
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c unknown 0 wit inspect 720    1900 6900   error 0 wit inspect 3.7  210 true -32 wit inspect 11     360  
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c unknown 0 wit inspect 720    1700 6600   error 0 wit inspect 3.5  210 true -32 wit inspect 10     360  
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2200 8800   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c unknown 0 wit inspect 730    1500 5900   error 0 wit inspect 2.4  210 true -32 wit inspect 12     380  
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1800 7700   error (invalid witness file) 0 wit inspect .60 46 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1600 8300   error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c unknown 0 wit inspect 370    1300 3400   error 0 wit inspect 3.6  210 true -32 wit inspect 11     370  
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2400 7700   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2200 8600   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c unknown 0 wit inspect 490    1600 6400   error 0 wit inspect 2.5  210 true -32 wit inspect 11     370  
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1600 8000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c unknown 0 wit inspect 480    1500 4300   error 0 wit inspect 3.7  210 true -32 wit inspect 9.7   360  
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c unknown 0 wit inspect 710    1600 5200   error 0 wit inspect 3.6  210 true -32 wit inspect 9.8   360  
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c unknown 0 wit inspect 660    1900 6100   error 0 wit inspect 4.1  210 true -32 wit inspect 10     360  
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2200 8100   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c unknown 0 wit inspect 590    1800 5600   error 0 wit inspect 4.5  210 true -32 wit inspect 6.9   350  
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c unknown 0 wit inspect 710    1900 6500   error 0 wit inspect 4.2  210 true -32 wit inspect 11     380  
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1900 8000   error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1900 9200   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1900 8700   error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .020 5.0
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1900 7700   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1500 7600   error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c unknown 0 wit inspect 900    2200 10000   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1900 7700   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c unknown 0 wit inspect 490    1500 4400   error 0 wit inspect 3.5  210 true -32 wit inspect 10     360  
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1800 7800   error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c unknown 0 wit inspect 680    1900 8300   error 0 wit inspect 3.5  210 true -32 wit inspect 11     360  
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2000 8600   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c unknown 0 wit inspect 550    1600 6000   error 0 wit inspect 3.6  210 true -32 wit inspect 11     370  
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c unknown 0 wit inspect 310    1400 3100   error 0 wit inspect 3.6  210 true -32 wit inspect 12     360  
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c unknown 0 wit inspect 540    1800 5500   error 0 wit inspect 3.7  210 true -32 wit inspect 9.8   350  
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c unknown 0 wit inspect 890    2100 9100   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c unknown 0 wit inspect 320    2300 2700   error 0 wit inspect 4.0  220 true -32 wit inspect 16     480  
psyco/psyco_abp_1_false-unreach-call_false-termination.c - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .022 4.8
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c unknown 0 wit inspect 890    1100 12000   error (invalid witness file) 0 wit