Tool AProVE 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* [apollon077; apollon078; apollon084; apollon161] [apollon077; apollon078; apollon084; apollon124]
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: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 33553 MB]
Date of execution 2017-11-30 11:20:26 CET 2017-11-30 15:55:47 CET 2017-11-30 15:57:34 CET
Run set aprove.sv-comp18.Termination-Other cpa-seq-validate-violation-witnesses-aprove.sv-comp18-violation-witness.Termination-Other uautomizer-validate-violation-witnesses-aprove.sv-comp18-violation-witness.Termination-Other
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/aprove.2017-11-30_1120.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/aprove.2017-11-30_1120.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 16   1300 120 - wit inspect - wit inspect
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 2 wit inspect 140   7000 980 - wit inspect - wit inspect
array-examples/standard_sentinel_true-unreach-call_true-termination.i error (1) 0 wit inspect 33   1400 280 - wit inspect - wit inspect
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i error (1) 0 wit inspect 30   2000 280 - wit inspect - wit inspect
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i true 2 wit inspect 7.5 590 67 - wit inspect - wit inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i true 2 wit inspect 100   5700 790 - wit inspect - wit inspect
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i error (1) 0 wit inspect 41   5100 410 - wit inspect - wit inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i timeout 0 wit inspect 910   11000 7500 - wit inspect - wit inspect
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i true 2 wit inspect 23   2700 220 - wit inspect - wit inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i timeout 0 wit inspect 910   11000 7700 - wit inspect - wit inspect
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i false(termination) 1 wit inspect 6.4 420 53 error (invalid witness file) 0 wit inspect 1.4  150 false(termination) 1 wit inspect 5.9   270  
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i false(termination) 0 wit inspect 17   810 120 error (invalid witness file) 0 wit inspect 1.4  150 timeout 0 wit inspect 97     310  
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i error (1) 0 wit inspect 3.6 260 29 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .039 4.8
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i error (1) 0 wit inspect 3.3 290 28 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .038 4.9
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i error (1) 0 wit inspect 31   2400 250 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .026 4.9
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i error (1) 0 wit inspect 3.6 270 30 - wit inspect - wit inspect
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i error (1) 0 wit inspect 3.7 270 32 - wit inspect - wit inspect
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i error (1) 0 wit inspect 3.6 270 29 - wit inspect - wit inspect
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i error (1) 0 wit inspect 25   2300 200 - wit inspect - wit inspect
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c error (1) 0 wit inspect 14   730 110 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .019 4.9
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c error (1) 0 wit inspect 14   730 120 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .047 4.9
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c timeout 0 wit inspect 900   200 9200 - wit inspect - wit inspect
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c timeout 0 wit inspect 900   200 11000 - wit inspect - wit inspect
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c timeout 0 wit inspect 900   200 10000 - wit inspect - wit inspect
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c timeout 0 wit inspect 900   200 9200 - wit inspect - wit inspect
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c timeout 0 wit inspect 900   200 8900 - wit inspect - wit inspect
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c error (1) 0 wit inspect 2.1 230 22 - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c error (1) 0 wit inspect 2.1 230 18 - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c error (1) 0 wit inspect 2.1 230 20 - wit inspect - wit inspect
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c error (1) 0 wit inspect 1.9 220 19 - wit inspect - wit inspect
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c error (1) 0 wit inspect 2.0 220 15 - wit inspect - wit inspect
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c error (1) 0 wit inspect 3.9 310 35 - wit inspect - wit inspect
bitvector-regression/signextension2_false-unreach-call_true-termination.c true 2 wit inspect 2.7 240 28 - wit inspect - wit inspect
bitvector-regression/signextension2_true-unreach-call_true-termination.c true 2 wit inspect 2.6 240 26 - wit inspect - wit inspect
bitvector-regression/signextension_false-unreach-call_true-termination.c true 2 wit inspect 3.1 270 26 - wit inspect - wit inspect
bitvector-regression/signextension_true-unreach-call_true-termination.c true 2 wit inspect 3.2 270 26 - wit inspect - wit inspect
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i error (1) 0 wit inspect 55   3700 430 - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   5200 9800 - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   5200 12000 - wit inspect - wit inspect
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   5200 11000 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   4300 12000 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   4000 13000 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   5200 11000 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   4800 12000 - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   3700 10000 - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   4500 11000 - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   4600 9800 - wit inspect - wit inspect
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c error (1) 0 wit inspect 19   1200 150 error (invalid witness file) 0 wit inspect .44 42 error (2) 0 wit inspect .034 4.9
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c error (1) 0 wit inspect 17   990 150 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c error (1) 0 wit inspect 19   1300 140 error (invalid witness file) 0 wit inspect .43 45 error (2) 0 wit inspect .018 5.0
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c error (1) 0 wit inspect 15   990 130 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .048 4.8
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c error (1) 0 wit inspect 20   1200 160 error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .018 4.9
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c error (1) 0 wit inspect 17   940 130 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c error (1) 0 wit inspect 13   980 100 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .034 4.9
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 70   5400 500 error (invalid witness file) 0 wit inspect 2.2  150 false(termination) 1 wit inspect 20     630  
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 9.1 500 63 error (invalid witness file) 0 wit inspect 1.4  150 false(termination) 1 wit inspect 6.1   330  
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c error (1) 0 wit inspect 19   1300 170 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .047 4.8
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c error (1) 0 wit inspect 18   980 150 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.9
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c error (1) 0 wit inspect 19   970 170 error (invalid witness file) 0 wit inspect .43 42 error (2) 0 wit inspect .047 4.9
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c error (1) 0 wit inspect 16   1200 140 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.9
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c error (1) 0 wit inspect 17   980 130 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .045 5.0
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c error (1) 0 wit inspect 16   1200 120 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .026 4.8
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c error (1) 0 wit inspect 16   1000 130 error (invalid witness file) 0 wit inspect .41 40 error (2) 0 wit inspect .018 4.8
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c error (1) 0 wit inspect 15   990 120 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .021 5.0
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 910   14000 4900 - wit inspect - wit inspect
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 910   14000 5100 - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 910   12000 5100 - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 910   12000 4600 - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 910   13000 5700 - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 910   13000 4600 - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 910   13000 5200 - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 910   13000 4900 - wit inspect - wit inspect
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   3900 11000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   3900 11000 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   3900 11000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   5200 12000 error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .018 5.0
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   3800 11000 error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .047 4.9
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   3800 12000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   3800 10000 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .025 4.8
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   5200 10000 error (invalid witness file) 0 wit inspect .45 41 error (2) 0 wit inspect .045 4.8
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 110   6000 650 error (invalid witness file) 0 wit inspect 2.0  140 false(termination) 1 wit inspect 6.8   280  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 260   5900 1800 error (invalid witness file) 0 wit inspect 2.0  140 false(termination) 1 wit inspect 7.3   280  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 630   7100 4400 error (invalid witness file) 0 wit inspect 2.1  140 false(termination) 1 wit inspect 7.5   300  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 910   8600 8100 error (invalid witness file) 0 wit inspect .44 41 error (2) 0 wit inspect .022 4.9
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   3900 11000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .017 5.0
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c timeout 0 wit inspect 910   11000 5000 - wit inspect - wit inspect
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c timeout 0 wit inspect 3.0 200 910 - wit inspect - wit inspect
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8300 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8400 8500 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7700 error (invalid witness file) 0 wit inspect .53 46 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8200 7900 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8000 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8000 7400 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7400 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8000 7600 error (invalid witness file) 0 wit inspect .42 42 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7700 error (invalid witness file) 0 wit inspect .64 46 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7200 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .036 4.9
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8000 8400 error (invalid witness file) 0 wit inspect .40 45 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 6600 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .033 4.8
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8000 error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8300 6800 error (invalid witness file) 0 wit inspect .43 42 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7600 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .038 4.9
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8000 7500 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8600 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8400 error (invalid witness file) 0 wit inspect .52 45 error (2) 0 wit inspect .032 4.9
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8500 error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8000 8600 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8600 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .040 4.8
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 6800 error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8900 error (invalid witness file) 0 wit inspect .44 42 error (2) 0 wit inspect .021 4.9
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c timeout 0 wit inspect 910   8600 7600 error (invalid witness file) 0 wit inspect .49 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8200 error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8000 7200 error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8700 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .021 4.9
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8000 6900 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8500 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .022 5.0
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7600 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8400 6600 error (invalid witness file) 0 wit inspect .41 45 error (2) 0 wit inspect .025 5.0
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7700 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .021 4.9
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 6900 error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8500 error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7500 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8000 error (invalid witness file) 0 wit inspect .40 45 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7500 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8000 8000 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7600 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8000 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7200 error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .034 4.9
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7800 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .045 4.8
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8300 8600 error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8000 8600 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .050 4.8
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8200 7200 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7300 error (invalid witness file) 0 wit inspect .50 42 error (2) 0 wit inspect .047 4.9
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7200 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .045 4.8
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7900 error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8200 8800 error (invalid witness file) 0 wit inspect .61 45 error (2) 0 wit inspect .047 4.9
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8300 error (invalid witness file) 0 wit inspect .43 45 error (2) 0 wit inspect .024 5.0
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7900 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7400 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c timeout 0 wit inspect 900   7900 7400 error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .034 4.8
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 8000 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8400 7600 error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .029 5.0
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7800 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .022 5.0
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7600 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 7900 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .041 4.9
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c timeout 0 wit inspect 900   8100 6600 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .017 4.9
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9600 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .027 4.8
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .027 4.8
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 8900 error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .52 46 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9300 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .044 5.0
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .017 5.0
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .036 4.8
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .050 4.8
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9400 error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9500 error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9500 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9200 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9400 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9500 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .039 4.9
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 8800 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9600 error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .044 4.9
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .045 4.9
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .041 4.8
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9800 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9300 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9600 error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .038 4.9
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .049 4.8
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9500 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9900 error (invalid witness file) 0 wit inspect .40 42 error (2) 0 wit inspect .029 4.8
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9500 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .034 4.9
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9900 error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .041 4.9
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .021 5.0
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .031 4.9
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9400 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .046 4.8
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .036 4.8
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6200 11000 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .49 41 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .049 4.8
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 9600 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c out of memory 0 wit inspect 670   15000 4100 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c out of memory 0 wit inspect 720   15000 3900 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c out of memory 0 wit inspect 630   15000 5400 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c out of memory 0 wit inspect 750   15000 4200 error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .025 4.9
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c out of memory 0 wit inspect 700   15000 4500 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c out of memory 0 wit inspect 710   15000 4500 error (invalid witness file) 0 wit inspect .42 42 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c out of memory 0 wit inspect 630   15000 4300 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c out of memory 0 wit inspect 710   15000 4400 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c out of memory 0 wit inspect 670   15000 4000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c out of memory 0 wit inspect 690   15000 3800 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c out of memory 0 wit inspect 660   15000 4400 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c out of memory 0 wit inspect 730   15000 4100 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c out of memory 0 wit inspect 750   15000 4800 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c out of memory 0 wit inspect 670   15000 4100 error (invalid witness file) 0 wit inspect .46 41 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c out of memory 0 wit inspect 730   15000 4300 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .025 4.9
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c out of memory 0 wit inspect 700   15000 4100 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c out of memory 0 wit inspect 700   15000 4400 error (invalid witness file) 0 wit inspect .43 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c out of memory 0 wit inspect 720   15000 4200 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .038 4.8
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c out of memory 0 wit inspect 700   15000 4300 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 6700 error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .025 4.8
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7500 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .017 5.0
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7300 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7500 error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .050 4.9
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7500 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 6900 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 6900 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 8000 error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .048 4.9
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9300 6400 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 6800 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 8100 error (invalid witness file) 0 wit inspect .41 42 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9300 7500 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .028 4.8
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 7300 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .050 4.8
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9300 6900 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7500 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .041 4.8
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7100 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7500 error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 6900 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9400 7600 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .045 4.8
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 8500 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .046 5.0
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7400 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 8000 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9500 7100 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7300 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .051 4.8
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c timeout 0 wit inspect 910   9700 7800 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c timeout 0 wit inspect 910   9800 7200 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .036 4.9
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9400 7000 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 7900 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9200 6900 error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7200 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7900 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 7100 error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .049 4.8
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 6800 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .017 5.0
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 7500 error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 7100 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7000 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9300 6900 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7900 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .039 4.8
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 7900 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .022 5.0
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 8100 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .049 4.8
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7100 error (invalid witness file) 0 wit inspect .52 45 error (2) 0 wit inspect .048 4.9
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9300 6300 error (invalid witness file) 0 wit inspect .44 45 error (2) 0 wit inspect .048 4.9
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9100 8100 error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .041 4.9
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9300 7000 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c timeout 0 wit inspect 910   9700 7400 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 7300 error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 6600 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9200 6900 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .031 4.8
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 6900 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7300 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .017 4.9
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7300 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9800 7600 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .035 4.9
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7600 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .037 4.9
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9400 7900 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .045 5.0
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9300 7300 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9600 7800 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 6600 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9700 7000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .025 4.9
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c timeout 0 wit inspect 900   9300 7000 error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c timeout 0 wit inspect 900   15000 7100 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .047 4.8
psyco/psyco_abp_1_false-unreach-call_false-termination.c - wit inspect error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .019 4.9
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c error (1) 0 wit inspect 58   4700 440 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .021 5.0
psyco/psyco_io_1_true-unreach-call_false-termination.c timeout 0 wit inspect 900   5500 10000 error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .025 4.8
psyco/psyco_math_1_true-unreach-call_false-termination.c timeout 0 wit inspect 900   3800 13000 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .037 4.8
psyco/psyco_net_1_false-unreach-call_false-termination.c timeout 0 wit inspect 3.4 230 880 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.8
psyco/psyco_security_true-unreach-call_false-termination.c timeout 0 wit inspect 900   5300 9100 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .047 4.9
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i true 2 wit inspect 3.9 380 34 - wit inspect - wit inspect
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i true 2 wit inspect 3.8 390 31 - wit inspect - wit inspect
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i true 2 wit inspect 4.5 390 40 - wit inspect - wit inspect
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i true 2 wit inspect 4.1 400 29 - wit inspect