Tool DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution [2017-01-11 11:24:16 CET [[ 2017-01-14 21:58:42 CET ]] [[ 2017-01-14 22:27:33 CET ]] [[ 2017-01-14 22:07:52 CET ]] [[ 2017-01-14 22:42:14 CET ]]; 2017-01-13 04:51:53 CET [[ 2017-01-15 00:05:22 CET ]] [[ 2017-01-15 00:31:32 CET ]] [[ 2017-01-15 00:11:25 CET ]] [[ 2017-01-15 00:39:18 CET ]]; 2017-01-13 06:18:40 CET; 2017-01-13 09:01:17 CET [[ 2017-01-15 01:00:51 CET ]] [[ 2017-01-15 01:12:27 CET ]] [[ 2017-01-15 01:06:42 CET ]] [[ 2017-01-15 01:18:39 CET ]]; 2017-01-13 10:06:48 CET]
Run set [sv-comp17.ReachSafety-Arrays; sv-comp17.ReachSafety-BitVectors; sv-comp17.ReachSafety-ControlFlow; sv-comp17.ReachSafety-ECA; sv-comp17.ReachSafety-Floats; sv-comp17.ReachSafety-Heap; sv-comp17.ReachSafety-Loops; sv-comp17.ReachSafety-ProductLines; sv-comp17.ReachSafety-Recursive; sv-comp17.ReachSafety-Sequentialized; sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other; sv-comp17; sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other; sv-comp17.Termination-MainControlFlow; sv-comp17.Termination-MainHeap; sv-comp17.Termination-Other; sv-comp17.Systems_BusyBox_MemSafety; sv-comp17.Systems_BusyBox_Overflows; sv-comp17.Systems_DeviceDriversLinux64_ReachSafety]
Options [ [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; ; [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-13_0901.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-13_0901.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-13_0901.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-13_0901.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]]
../../sv-benchmarks/c/ verifier status cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i unreach-call timeout 900    890    13000   750 180     0      error (invalid witness file) .59 .37 9.1 39 error (invalid witness file) 5.7 3.0 100 300 - -
array-examples/sorting_bubblesort_false-unreach-call2_ground.i unreach-call unknown 46    46    640   160 170     0      error (invalid witness file) .50 .33 11   41 error (invalid witness file) 7.2 3.8 86 300 - -
array-examples/sorting_bubblesort_false-unreach-call_ground.i unreach-call unknown 46    46    610   160 170     0      error (invalid witness file) .67 .41 7.9 41 error (invalid witness file) 5.9 3.1 95 300 - -
array-examples/sorting_selectionsort_false-unreach-call2_ground.i unreach-call unknown 890    900    10000   330 14     0      error (invalid witness file) .50 .31 12   39 error (invalid witness file) 7.3 3.8 72 300 - -
array-examples/sorting_selectionsort_false-unreach-call_ground.i unreach-call unknown 890    900    8200   330 14     0      error (invalid witness file) .64 .40 8.0 40 error (invalid witness file) 6.4 3.4 86 290 - -
array-examples/standard_allDiff2_false-unreach-call_ground.i unreach-call unknown 900    900    9300   1500 120     0      error (invalid witness file) .48 .32 12   39 error (invalid witness file) 7.0 3.7 75 290 - -
array-examples/standard_copy1_false-unreach-call_ground.i unreach-call unknown 79    78    1000   100 260     .13   error (invalid witness file) .56 .38 10   42 error (invalid witness file) 7.3 3.8 100 310 - -
array-examples/standard_copy2_false-unreach-call_ground.i unreach-call unknown 890    900    9700   190 100     0      error (invalid witness file) .56 .37 11   39 error (invalid witness file) 7.5 4.0 73 300 - -
array-examples/standard_copy3_false-unreach-call_ground.i unreach-call unknown 890    900    10000   200 100     0      error (invalid witness file) .65 .42 8.7 41 error (invalid witness file) 6.2 3.3 79 300 - -
array-examples/standard_copy4_false-unreach-call_ground.i unreach-call unknown 890    900    11000   190 98     .13   error (invalid witness file) .64 .42 7.2 41 error (invalid witness file) 6.2 3.3 120 310 - -
array-examples/standard_copy5_false-unreach-call_ground.i unreach-call unknown 900    900    11000   210 100     0      error (invalid witness file) .56 .36 8.9 39 error (invalid witness file) 7.1 3.7 80 300 - -
array-examples/standard_copy6_false-unreach-call_ground.i unreach-call unknown 890    900    9300   240 96     0      error (invalid witness file) .52 .33 10   39 error (invalid witness file) 5.7 3.1 120 300 - -
array-examples/standard_copy7_false-unreach-call_ground.i unreach-call unknown 900    900    9700   270 99     0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 5.8 3.1 110 300 - -
array-examples/standard_copy8_false-unreach-call_ground.i unreach-call unknown 900    900    9900   300 94     0      error (invalid witness file) .60 .38 5.8 40 error (invalid witness file) 6.4 3.4 110 290 - -
array-examples/standard_copy9_false-unreach-call_ground.i unreach-call unknown 900    900    9200   330 110     0      error (invalid witness file) .49 .32 12   40 error (invalid witness file) 6.3 3.3 120 300 - -
array-examples/standard_copyInitSum2_false-unreach-call_ground.i unreach-call unknown 890    900    9900   240 77     0      error (invalid witness file) .65 .41 8.3 41 error (invalid witness file) 6.6 3.5 89 310 - -
array-examples/standard_init1_false-unreach-call_ground.i unreach-call timeout 900    870    13000   770 4.2   33      error 3.8  2.1  80   280 timeout 97   59   1100 1200 - -
array-examples/standard_init2_false-unreach-call_ground.i unreach-call timeout 900    870    12000   800 4.2   0      error 4.8  2.7  56   270 timeout 97   61   1800 1500 - -
array-examples/standard_init3_false-unreach-call_ground.i unreach-call timeout 900    870    14000   710 4.2   0      error 3.8  2.1  78   280 timeout 97   63   1900 2200 - -
array-examples/standard_init4_false-unreach-call_ground.i unreach-call timeout 900    870    11000   750 4.2   34      error 3.9  2.2  72   270 timeout 96   58   980 2000 - -
array-examples/standard_init5_false-unreach-call_ground.i unreach-call unknown 900    900    9400   230 110     0      error (invalid witness file) .56 .35 10   40 error (invalid witness file) 5.7 3.0 120 300 - -
array-examples/standard_init6_false-unreach-call_ground.i unreach-call unknown 890    900    11000   240 95     0      error (invalid witness file) .52 .33 11   39 error (invalid witness file) 6.3 3.3 130 300 - -
array-examples/standard_init7_false-unreach-call_ground.i unreach-call unknown 890    900    11000   270 110     0      error (invalid witness file) .52 .34 10   39 error (invalid witness file) 8.0 4.2 96 310 - -
array-examples/standard_init8_false-unreach-call_ground.i unreach-call unknown 900    900    8200   290 110     0      error (invalid witness file) .49 .31 9.3 39 error (invalid witness file) 6.8 3.6 79 300 - -
array-examples/standard_init9_false-unreach-call_ground.i unreach-call unknown 900    900    8400   320 97     0      error (invalid witness file) .54 .33 10   39 error (invalid witness file) 7.3 3.8 75 300 - -
array-examples/standard_minInArray_false-unreach-call_ground.i unreach-call unknown 97    97    1400   120 260     0      error (invalid witness file) .53 .34 10   39 error (invalid witness file) 5.8 3.1 120 290 - -
array-examples/standard_partition_false-unreach-call_ground.i unreach-call timeout 900    860    11000   2200 4.2   0      error 4.5  2.4  68   280 timeout 97   63   1900 2000 - -
array-examples/standard_running_false-unreach-call.i unreach-call unknown 890    900    11000   310 82     0      error (invalid witness file) .62 .39 9.0 40 error (invalid witness file) 7.8 4.1 90 310 - -
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unreach-call unknown 900    900    12000   1200 28     0      - - error (invalid witness file) .51 .33 13   40 error (invalid witness file) 5.8 3.1 92 300
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unreach-call unknown 900    900    8300   260 59     0      - - error (invalid witness file) .55 .35 12   42 error (invalid witness file) 5.7 3.0 55 300
array-examples/relax_true-unreach-call.i unreach-call unknown 890    900    11000   190 24     0      - - error (invalid witness file) .61 .40 10   40 error (invalid witness file) 6.2 3.3 100 300
array-examples/sanfoundry_02_true-unreach-call_ground.i unreach-call unknown 310    310    3700   180 260     0      - - error (invalid witness file) .61 .39 9.5 40 error (invalid witness file) 5.5 2.9 98 300
array-examples/sanfoundry_10_true-unreach-call_ground.i unreach-call unknown 900    900    9800   180 87     0      - - error (invalid witness file) .55 .34 9.3 42 error (invalid witness file) 5.6 3.0 67 300
array-examples/sanfoundry_24_true-unreach-call.i unreach-call timeout 900    860    12000   3900 4.2   0      - - error 5.1  2.8  44   280 true 9.3 5.1 150 340
array-examples/sanfoundry_27_true-unreach-call_ground.i unreach-call unknown 120    110    1500   120 270     0      - - error (invalid witness file) .61 .38 8.3 40 error (invalid witness file) 5.8 3.1 82 290
array-examples/sanfoundry_43_true-unreach-call_ground.i unreach-call unknown 52    51    760   100 170     0      - - error (invalid witness file) .51 .31 13   39 error (invalid witness file) 5.7 3.0 89 290
array-examples/sorting_bubblesort_true-unreach-call_ground.i unreach-call unknown 46    46    630   160 170     0      - - error (invalid witness file) .63 .41 6.5 39 error (invalid witness file) 5.3 2.8 73 290
array-examples/sorting_selectionsort_true-unreach-call_ground.i unreach-call unknown 890    900    8900   380 14     34      - - error (invalid witness file) .57 .36 8.9 45 error (invalid witness file) 5.6 3.0 63 300
array-examples/standard_compareModified_true-unreach-call_ground.i unreach-call unknown 890    900    11000   220 100     0      - - error (invalid witness file) .49 .32 8.7 39 error (invalid witness file) 7.3 3.8 88 310
array-examples/standard_compare_true-unreach-call_ground.i unreach-call unknown 110    110    1300   170 260     .045  - - error (invalid witness file) .65 .40 9.2 40 error (invalid witness file) 5.5 2.9 98 300
array-examples/standard_copy1_true-unreach-call_ground.i unreach-call unknown 900    900    9200   200 110     0      - - error (invalid witness file) .66 .42 8.0 43 error (invalid witness file) 5.9 3.1 52 310
array-examples/standard_copy2_true-unreach-call_ground.i unreach-call unknown 900    900    8400   260 83     0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.5 3.4 110 310
array-examples/standard_copy3_true-unreach-call_ground.i unreach-call unknown 890    900    9300   300 73     0      - - error (invalid witness file) .64 .41 7.6 41 error (invalid witness file) 6.9 3.7 110 300
array-examples/standard_copy4_true-unreach-call_ground.i unreach-call unknown 890    900    10000   330 62     0      - - error (invalid witness file) .64 .41 7.0 39 error (invalid witness file) 5.9 3.1 76 290
array-examples/standard_copy5_true-unreach-call_ground.i unreach-call unknown 890    900    9700   270 54     0      - - error (invalid witness file) .54 .35 13   42 error (invalid witness file) 6.2 3.2 82 300
array-examples/standard_copy6_true-unreach-call_ground.i unreach-call unknown 890    900    8400   270 55     0      - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 5.7 3.1 67 300
array-examples/standard_copy7_true-unreach-call_ground.i unreach-call unknown 890    900    8900   310 49     0      - - error (invalid witness file) .52 .35 12   39 error (invalid witness file) 6.0 3.2 120 290
array-examples/standard_copy8_true-unreach-call_ground.i unreach-call unknown 890    900    12000   400 40     0      - - error (invalid witness file) .63 .40 8.6 43 error (invalid witness file) 5.4 3.0 96 290
array-examples/standard_copy9_true-unreach-call_ground.i unreach-call unknown 890    900    7600   340 39     0      - - error (invalid witness file) .68 .43 8.6 40 error (invalid witness file) 5.5 2.9 57 290
array-examples/standard_copyInitSum2_true-unreach-call_ground.i unreach-call unknown 900    900    10000   160 93     0      - - error (invalid witness file) .64 .41 8.7 42 error (invalid witness file) 7.0 3.6 110 320
array-examples/standard_copyInitSum3_true-unreach-call_ground.i unreach-call unknown 890    900    12000   220 70     0      - - error (invalid witness file) .66 .42 7.2 40 error (invalid witness file) 7.1 3.7 110 320
array-examples/standard_copyInitSum_true-unreach-call_ground.i unreach-call unknown 890    900    8100   180 80     0      - - error (invalid witness file) .58 .36 12   44 error (invalid witness file) 5.7 3.0 81 300
array-examples/standard_copyInit_true-unreach-call_ground.i unreach-call unknown 890    900    11000   220 78     .13   - - error (invalid witness file) .49 .33 9.3 41 error (invalid witness file) 7.1 3.7 63 300
array-examples/standard_find_true-unreach-call_ground.i unreach-call timeout 900    870    11000   2200 4.2   0      - - error 3.7  2.1  65   270 timeout 960   790   15000 3900
array-examples/standard_init1_true-unreach-call_ground.i unreach-call timeout 900    870    11000   730 4.2   0      - - error 3.9  2.2  62   270 timeout 960   790   15000 3600
array-examples/standard_init2_true-unreach-call_ground.i unreach-call timeout 900    870    11000   730 4.2   0      - - error 4.6  2.6  29   270 timeout 960   830   14000 4200
array-examples/standard_init3_true-unreach-call_ground.i unreach-call timeout 900    870    11000   790 4.2   0      - - error 3.9  2.2  90   270 timeout 960   850   18000 4400
array-examples/standard_init4_true-unreach-call_ground.i unreach-call timeout 900    870    12000   740 4.2   0      - - error 4.0  2.2  53   270 timeout 960   850   17000 4800
array-examples/standard_init5_true-unreach-call_ground.i unreach-call unknown 890    900    9600   210 98     0      - - error (invalid witness file) .51 .34 12   39 error (invalid witness file) 7.3 3.8 60 310
array-examples/standard_init6_true-unreach-call_ground.i unreach-call unknown 890    900    12000   240 100     0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 5.7 3.1 74 300
array-examples/standard_init7_true-unreach-call_ground.i unreach-call unknown 890    900    9200   270 110     0      - - error (invalid witness file) .66 .41 8.1 39 error (invalid witness file) 5.1 2.8 55 290
array-examples/standard_init8_true-unreach-call_ground.i unreach-call unknown 890    900    12000   290 99     0      - - error (invalid witness file) .56 .36 9.6 40 error (invalid witness file) 5.5 2.9 92 300
array-examples/standard_init9_true-unreach-call_ground.i unreach-call unknown 900    900    9700   320 100     0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 5.8 3.1 99 290
array-examples/standard_maxInArray_true-unreach-call_ground.i unreach-call unknown 120    120    1600   150 260     33      - - error (invalid witness file) .55 .36 9.8 40 error (invalid witness file) 5.4 2.9 110 300
array-examples/standard_minInArray_true-unreach-call_ground.i unreach-call unknown 100    99    1500   120 260     0      - - error (invalid witness file) .48 .30 11   39 error (invalid witness file) 5.9 3.1 82 300
array-examples/standard_palindrome_true-unreach-call_ground.i unreach-call unknown 890    900    9200   160 80     0      - - error (invalid witness file) .49 .30 12   40 error (invalid witness file) 5.2 2.8 80 290
array-examples/standard_partial_init_true-unreach-call_ground.i unreach-call timeout 900    860    11000   1400 4.2   0      - - error 4.4  2.4  49   270 timeout 960   820   21000 3800
array-examples/standard_partition_original_true-unreach-call_ground.i unreach-call timeout 900    860    12000   2300 4.2   0      - - error 4.0  2.2  80   280 timeout 960   830   17000 3700
array-examples/standard_partition_true-unreach-call_ground.i unreach-call unknown 890    900    9200   250 90     0      - - error (invalid witness file) .49 .31 8.4 40 error (invalid witness file) 5.6 3.0 80 300
array-examples/standard_password_true-unreach-call_ground.i unreach-call unknown 110    110    1400   170 260     0      - - error (invalid witness file) .58 .37 7.3 39 error (invalid witness file) 5.7 3.0 88 300
array-examples/standard_reverse_true-unreach-call_ground.i unreach-call unknown 890    900    9300   180 98     0      - - error (invalid witness file) .52 .34 9.2 41 error (invalid witness file) 5.9 3.2 76 300
array-examples/standard_running_true-unreach-call.i unreach-call unknown 890    900    9400   260 77     0      - - error (invalid witness file) .64 .41 7.9 40 error (invalid witness file) 6.0 3.2 110 290
array-examples/standard_sentinel_true-unreach-call_true-termination.i unreach-call unknown 100    100    1300   75 260     0      - - error (invalid witness file) .52 .33 13   39 error (invalid witness file) 6.2 3.3 52 320
array-examples/standard_seq_init_true-unreach-call_ground.i unreach-call timeout 900    870    12000   740 4.2   0      - - error 4.0  2.2  57   270 timeout 960   790   15000 4200
array-examples/standard_strcmp_true-unreach-call_ground.i unreach-call unknown 120    120    1400   130 260     .0041 - - error (invalid witness file) .51 .33 11   41 error (invalid witness file) 5.3 2.8 81 290
array-examples/standard_strcpy_original_true-unreach-call.i unreach-call timeout 900    860    12000   2200 4.2   0      - - error 4.3  2.4  62   270 timeout 960   780   18000 3500
array-examples/standard_strcpy_true-unreach-call_ground.i unreach-call unknown 890    900    9900   300 62     0      - - error (invalid witness file) .58 .36 11   39 error (invalid witness file) 5.2 2.8 48 300
array-examples/standard_two_index_01_true-unreach-call.i unreach-call unknown 890    900    12000   230 93     21      - - error (invalid witness file) .50 .33 11   41 error (invalid witness file) 6.0 3.2 100 290
array-examples/standard_two_index_02_true-unreach-call.i unreach-call unknown 890    900    8800   210 100     0      - - error (invalid witness file) .67 .43 7.9 41 error (invalid witness file) 5.7 3.0 77 300
array-examples/standard_two_index_03_true-unreach-call.i unreach-call unknown 890    900    9700   220 100     0      - - error (invalid witness file) .56 .36 12   42 error (invalid witness file) 5.6 3.0 86 300
array-examples/standard_two_index_04_true-unreach-call.i unreach-call unknown 890    900    9900   170 100     0      - - error (invalid witness file) .48 .31 10   39 error (invalid witness file) 5.3 2.9 69 310
array-examples/standard_two_index_05_true-unreach-call.i unreach-call unknown 890    900    8800   180 93     0      - - error (invalid witness file) .65 .41 9.5 41 error (invalid witness file) 5.9 3.1 99 300
array-examples/standard_two_index_06_true-unreach-call.i unreach-call unknown 900    900    9200   170 95     0      - - error (invalid witness file) .52 .33 11   41 error (invalid witness file) 5.3 2.8 79 290
array-examples/standard_two_index_07_true-unreach-call.i unreach-call unknown 900    900    8700   190 100     0      - - error (invalid witness file) .48 .31 8.3 42 error (invalid witness file) 5.6 3.0 74 300
array-examples/standard_two_index_08_true-unreach-call.i unreach-call unknown 890    900    9800   180 95     0      - - error (invalid witness file) .50 .32 10   39 error (invalid witness file) 6.4 3.4 87 300
array-examples/standard_two_index_09_true-unreach-call.i unreach-call unknown 890    900    9900   170 98     0      - - error (invalid witness file) .52 .34 12   40 error (invalid witness file) 5.5 3.0 98 280
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i unreach-call unknown 97    96    1400   100 260     0      - - error (invalid witness file) .53 .35 9.2 41 error (invalid witness file) 6.1 3.3 110 290
array-examples/standard_vector_difference_true-unreach-call_ground.i unreach-call timeout 900    860    12000   2200 4.2   0      - - error 5.1  2.8  47   280 timeout 960   790   14000 3800
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i unreach-call unknown 890    900    8900   320 130     0      error (invalid witness file) .65 .41 8.0 41 error (invalid witness file) 7.7 4.0 100 310 - -
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i unreach-call unknown 890    900    8300   310 130     0      error (invalid witness file) .58 .37 11   43 error (invalid witness file) 5.7 3.1 120 300 - -
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i unreach-call unknown 890    900    9600   230 67     0      error (invalid witness file) .61 .39 11   42 error (invalid witness file) 7.2 3.8 61 310 - -
array-industry-pattern/array_range_init_false-unreach-call.i unreach-call unknown 900    900    8500   190 81     0      error (invalid witness file) .66 .42 7.9 39 error (invalid witness file) 6.2 3.3 70 300 - -
array-industry-pattern/array_single_elem_init_false-unreach-call.i unreach-call unknown 890    900    11000   250 42     0      error (invalid witness file) .51 .33 10   40 error (invalid witness file) 6.1 3.2 56 300 - -
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unreach-call timeout 900    590    8700   6000 4.3   34      timeout 92    75    1400   3200 timeout 97   58   1200 1400 - -
array-industry-pattern/array_monotonic_true-unreach-call.i unreach-call unknown 890    900    12000   340 72     34      - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.9 3.6 81 310
array-industry-pattern/array_mul_init_true-unreach-call.i unreach-call unknown 890    900    10000   1700 48     0      - - error (invalid witness file) .60 .37 7.2 40 error (invalid witness file) 6.3 3.3 110 310
array-industry-pattern/array_of_struct_break_true-unreach-call.i unreach-call unknown 890    900    9400   210 85     0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.2 3.2 76 310
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i unreach-call timeout 900    600    10000   3800 4.2   0      - - timeout 900    890    15000   3100 timeout 960   940   11000 5200
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unreach-call unknown 530    530    4900   670 260     0      - - error (invalid witness file) .64 .41 8.7 41 error (invalid witness file) 6.8 3.5 50 300
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i unreach-call timeout 900    610    8200   4100 4.2   0      - - timeout 900    890    14000   3400 timeout 960   940   11000 5200
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i unreach-call unknown 890    900    9300   240 54     0      - - error (invalid witness file) .72 .45 9.2 44 error (invalid witness file) 5.7 3.0 96 300
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i unreach-call unknown 890    900    8600   360 77     0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 5.8 3.1 93 300
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i unreach-call unknown 890    900    7900   400 76     .13   - - error (invalid witness file) .66 .42 7.2 40 error (invalid witness file) 5.8 3.1 67 300
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i unreach-call unknown 890    900    8700   370 62     0      - - error (invalid witness file) .54 .35 11   40 error (invalid witness file) 7.7 4.1 60 300
array-industry-pattern/array_shadowinit_true-unreach-call.i unreach-call timeout 900    540    8100   3600 4.2   0      - - timeout 910    900    15000   5600 timeout 960   800   12000 2800
reducercommutativity/rangesum05_false-unreach-call.i unreach-call false(unreach-call) 490    490    5700   180 14     0      false(unreach-call) 6.2  3.8  110   380 false(unreach-call) 23   14   400 650 - -
reducercommutativity/rangesum10_false-unreach-call.i unreach-call false(unreach-call) 500    500    5800   180 26     0      false(unreach-call) 10    6.2  100   400 out of memory 79   52   700 7000 - -
reducercommutativity/rangesum20_false-unreach-call.i unreach-call false(unreach-call) 650    650    9000   180 61     0      false(unreach-call) 13    8.4  180   470 timeout 93   59   810 7000 - -
reducercommutativity/rangesum40_false-unreach-call.i unreach-call unknown 890    900    11000   180 64     .020  error (invalid witness file) .65 .42 8.0 40 error (invalid witness file) 7.0 3.7 69 300 - -
reducercommutativity/rangesum60_false-unreach-call.i unreach-call unknown 900    900    9100   180 64     .10   error (invalid witness file) .52 .33 10   41 error (invalid witness file) 5.5 2.9 76 290 - -
reducercommutativity/rangesum_false-unreach-call.i unreach-call false(unreach-call) 490    490    6000   180 10     0      false(unreach-call) 6.6  4.0  110   380 false(unreach-call) 17   9.6 220 450 - -
reducercommutativity/avg05_true-unreach-call.i unreach-call timeout 900    890    9100   2200 14     0      - - timeout 900    900    14000   1800 true 140   120   2400 1200
reducercommutativity/avg10_true-unreach-call.i unreach-call timeout 900    890    8800   3600 27     .65   - - timeout 900    890    20000   3500 timeout 960   920   15000 1500
reducercommutativity/avg20_true-unreach-call.i unreach-call unknown 900    900    7800   700 53     .54   - - timeout 900    890    15000   6500 timeout 960   860   19000 4100
reducercommutativity/avg40_true-unreach-call.i unreach-call unknown 890    900    7800   270 52     .10   - - error (invalid witness file) .66 .41 9.4 44 error (invalid witness file) 5.7 3.1 120 290
reducercommutativity/avg60_true-unreach-call.i unreach-call unknown 890    900    7900   270 54     .10   - - error (invalid witness file) .60 .37 10   40 error (invalid witness file) 6.5 3.4 120 300
reducercommutativity/avg_true-unreach-call.i unreach-call unknown 890    900    11000   180 11     .10   - - error (invalid witness file) .70 .45 8.7 41 error (invalid witness file) 5.8 3.1 71 300
reducercommutativity/max05_true-unreach-call_true-termination.i unreach-call timeout 900    890    9500   1600 14     .10   - - true 110    100    1400   810 timeout 960   910   15000 1300
reducercommutativity/max10_true-unreach-call_true-termination.i unreach-call timeout 900    880    9500   2500 27     .11   - - timeout 900    890    15000   1800 timeout 960   890   13000 2200
reducercommutativity/max20_true-unreach-call.i unreach-call unknown 890    900    12000   190 51     .10   - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 5.6 3.0 78 300
reducercommutativity/max40_true-unreach-call.i unreach-call unknown 890    900    9400   230 65     .10   - - error (invalid witness file) .51 .33 10   41 error (invalid witness file) 5.6 3.0 97 300
reducercommutativity/max60_true-unreach-call.i unreach-call unknown 890    900    8200   250 65     .57   - - error (invalid witness file) .58 .38 11   41 error (invalid witness file) 5.6 3.0 71 300
reducercommutativity/max_true-unreach-call.i unreach-call unknown 890    900    11000   260 4.2   .10   - - timeout 900    890    12000   3100 timeout 960   920   16000 4100
reducercommutativity/sep05_true-unreach-call.i unreach-call true 850    790    11000   1400 10     0      - - true 140    130    3100   1000 true 210   150   3100 2900
reducercommutativity/sep10_true-unreach-call.i unreach-call timeout 900    540    8400   4800 19     .10   - - timeout 900    890    13000   1300 out of memory 770   650   9400 7000
reducercommutativity/sep20_true-unreach-call.i unreach-call unknown 890    900    12000   190 36     0      - - timeout 900    890    11000   1300 out of memory 350   230   3100 7000
reducercommutativity/sep40_true-unreach-call.i unreach-call unknown 900    900    10000   190 69     .10   - - error (invalid witness file) .53 .34 11   42 error (invalid witness file) 5.5 2.9 84 290
reducercommutativity/sep60_true-unreach-call.i unreach-call unknown 900    900    11000   190 100     0      - - error (invalid witness file) .53 .34 11   39 error (invalid witness file) 5.3 2.8 78 290
reducercommutativity/sep_true-unreach-call.i unreach-call unknown 890    900    8400   190 4.2   0      - - timeout 900    890    15000   2700 out of memory 610   500   8000 7000
reducercommutativity/sum05_true-unreach-call_true-termination.i unreach-call timeout 900    890    11000   3900 14     0      - - timeout 900    890    16000   1000 true 35   22   740 740
reducercommutativity/sum10_true-unreach-call.i unreach-call timeout 900    890    11000   2400 27     0      - - timeout 900    890    31000   2100 true 110   71   1600 1200
reducercommutativity/sum20_true-unreach-call.i unreach-call unknown 900    900    7900   240 52     .020  - - timeout 910    890    12000   6700 timeout 960   910   12000 5100
reducercommutativity/sum40_true-unreach-call.i unreach-call unknown 890    900    7500   270 47     .10   - - error (invalid witness file) .59 .38 10   42 error (invalid witness file) 5.8 3.1 93 300
reducercommutativity/sum60_true-unreach-call.i unreach-call unknown 890    900    8700   200 52     .10   - - error (invalid witness file) .54 .34 11   42 error (invalid witness file) 6.1 3.2 96 300
reducercommutativity/sum_true-unreach-call.i unreach-call unknown 890    900    10000   240 4.2   .10   - - timeout 900    890    14000   3900 timeout 960   950   13000 4800
bitvector/byte_add_false-unreach-call_true-no-overflow.i unreach-call false(unreach-call) 2.2  2.2  28   110 6.8   0      true 24    12    210   640 false(unreach-call) 70   48   640 520 - -
bitvector/sum02_false-unreach-call_true-no-overflow.i unreach-call unknown 69    69    840   76 260     0      error (invalid witness file) .62 .39 8.3 40 error (invalid witness file) 7.4 3.9 95 310 - -
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i unreach-call true 74    64    870   1800 14     0      - - true 11    6.0  92   330 true 470   420   6100 1200
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i unreach-call true 28    20    300   840 14     0      - - true 10    5.7  110   330 true 450   400   9500 1200
bitvector/gcd_1_true-unreach-call_true-no-overflow.i unreach-call true 490    490    6000   280 3.4   0      - - true 10    8.0  130   310 timeout 960   950   13000 550
bitvector/gcd_2_true-unreach-call_true-no-overflow.i unreach-call true 240    240    2400   290 26     0      - - true 120    120    1600   480 timeout 960   950   17000 560
bitvector/gcd_3_true-unreach-call_true-no-overflow.i unreach-call true 460    450    5000   320 26     0      - - true 140    130    2100   470 timeout 960   950   23000 590
bitvector/gcd_4_true-unreach-call_true-no-overflow.i unreach-call true 490    480    6400   260 14     .0041 - - true 6.9  4.8  180   310 timeout 960   940   12000 890
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i unreach-call true 17    12    210   410 42     0      - - true 6.9  4.3  150   340 true 110   87   1300 630
bitvector/jain_1_true-unreach-call_true-no-overflow.i unreach-call unknown 300    300    3400   290 260     0      - - error (invalid witness file) .67 .42 7.2 40 error (invalid witness file) 5.8 3.1 64 300
bitvector/jain_2_true-unreach-call_true-no-overflow.i unreach-call unknown 900    900    7700   290 150     0      - - error (invalid witness file) .58 .37 9.8 42 error (invalid witness file) 6.0 3.2 90 310
bitvector/jain_4_true-unreach-call_true-no-overflow.i unreach-call unknown 890    900    7000   240 120     0      - - error (invalid witness file) .53 .33 11   40 error (invalid witness file) 6.7 3.5 110 320
bitvector/jain_5_true-unreach-call_true-no-overflow.i unreach-call unknown 59    58    680   75 260     0      - - error (invalid witness file) .71 .45 9.3 45 error (invalid witness file) 6.1 3.2 93 310
bitvector/jain_6_true-unreach-call_true-no-overflow.i unreach-call unknown 890    900    8400   270 130     0      - - error (invalid witness file) .56 .35 10   39 error (invalid witness file) 5.7 3.0 100 290
bitvector/jain_7_true-unreach-call_true-no-overflow.i unreach-call unknown 900    900    6700   290 230     0      - - error (invalid witness file) .51 .33 14   39 error (invalid witness file) 5.8 3.1 120 310
bitvector/modulus_true-unreach-call_true-no-overflow.i unreach-call unknown 890    900    7500   380 34     0      - - error (invalid witness file) .59 .37 12   44 error (invalid witness file) 6.1 3.2 68 310
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i unreach-call true 7.0  5.5  77   260 22     0      - - true 4.8  2.6  91   280 true 60   48   1000 490
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i unreach-call true 22    15    230   600 22     0      - - true 5.0  2.8  76   300 timeout 960   920   13000 1000
bitvector/parity_true-unreach-call_true-no-overflow.i unreach-call unknown 890    900    10000   150 73     0      - - error (invalid witness file) .59 .38 8.7 42 error (invalid witness file) 5.5 2.9 96 300
bitvector/sum02_true-unreach-call_true-no-overflow.i unreach-call unknown 170    170    1800   490 260     .020  - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.0 3.1 92 300
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c unreach-call false(unreach-call) 33    33    470   100 20     0      false(unreach-call) 8.0  4.3  160   330 true 9.6 5.1 130 340 - -
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c unreach-call false(unreach-call) 56    56    830   110 27     .10   false(unreach-call) 9.6  5.1  120   320 true 9.4 5.0 120 340 - -
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c unreach-call false(unreach-call) 18    18    210   85 14     0      false(unreach-call) 9.3  5.0  93   300 true 9.9 5.2 200 340 - -
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c unreach-call true 170    170    2100   1300 37     0      - - true 64    55    1000   970 true 44   24   530 770
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c unreach-call true 140    140    1800   1600 37     .21   - - true 20    12    230   580 true 59   32   760 870
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c unreach-call true 140    140    1800   2200 37     .10   - - true 15    8.8  280   560 true 40   21   460 900
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c unreach-call unknown 890    900    9900   390 4.3   0      - - timeout 900    890    12000   1400 timeout 960   930   13000 1300
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c unreach-call true 46    38    520   2300 4.3   0      - - timeout 910    900    16000   4900 true 50   27   740 1100
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow.BV.c.cil.c unreach-call unknown 890    900    11000   370 62     0      - - error (invalid witness file) .59 .38 8.3 42 error (invalid witness file) 5.6 3.0 100 300
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow.BV.c.cil.c unreach-call unknown 890    900    11000   380 61     0      - - error (invalid witness file) .63 .40 9.4 44 error (invalid witness file) 5.7 3.0 43 310
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c unreach-call unknown 890    900    13000   310 62     0      - - error (invalid witness file) .63 .42 9.5 40 error (invalid witness file) 6.7 3.5 110 300
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c unreach-call unknown 890    900    12000   300 62     0      - - error (invalid witness file) .56 .37 11   39 error (invalid witness file) 5.5 2.9 66 290
bitvector/soft_float_1_true-unreach-call_true-no-overflow.c.cil.c unreach-call true 15    8.9  140   400 4.3   .025  - - timeout 900    860    21000   6100 true 120   100   2000 860
bitvector/soft_float_2_true-unreach-call_true-no-overflow.c.cil.c unreach-call true 120    100    1300   1200 3.5   .21   - - out of memory 830    760    11000   7000 true 83   68   830 830
bitvector/soft_float_3_true-unreach-call_true-no-overflow.c.cil.c unreach-call true 120    110    1500   1400 60     0      - - out of memory 790    710    18000   7000 timeout 960   930   17000 1900
bitvector/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c unreach-call true 230    220    2600   360 4.3   0      - - true 380    370    4900   780 true 300   270   3600 980
bitvector/soft_float_5_true-unreach-call_true-no-overflow.c.cil.c unreach-call true 110    99    1500   1200 3.5   .049  - - out of memory 870    790    14000   7000 true 20   11   230 520
bitvector-regression/implicitfloatconversion_false-unreach-call.c unreach-call false(unreach-call) .38 .37 3.8 48 .85  0      false(unreach-call) 4.1  2.3  51   280 false(unreach-call) 10   5.6 230 290 - -
bitvector-regression/implicitunsignedconversion_false-unreach-call.c unreach-call false(unreach-call) .37 .37 3.9 48 .85  .10   false(unreach-call) 4.2  2.3  51   270 false(unreach-call) 6.6 3.6 140 300 - -
bitvector-regression/integerpromotion_false-unreach-call.c unreach-call false(unreach-call) .35 .34 4.1 48 .85  0      false(unreach-call) 3.7  2.1  86   280 false(unreach-call) 12   6.3 210 320 - -
bitvector-regression/recHanoi03_false-unreach-call.c unreach-call unknown 4.6  2.5  49   300 4.3   0      error (recursion) 3.3  1.9  63   250 timeout 97   74   1400 1100 - -
bitvector-regression/signextension2_false-unreach-call.c unreach-call false(unreach-call) 480    480    6200   70 .85  0      false(unreach-call) 4.0  2.2  74   270 false(unreach-call) 7.2 3.8 130 320 - -
bitvector-regression/signextension_false-unreach-call.c unreach-call false(unreach-call) .37 .37 4.1 48 .85  0      false(unreach-call) 3.6  2.0  68   270 false(unreach-call) 8.5 4.5 100 310 - -
bitvector-regression/implicitunsignedconversion_true-unreach-call.c unreach-call true 3.2  1.7  29   260 3.4   0      - - true 3.8  2.1  54   250 true 7.0 3.8 120 320
bitvector-regression/integerpromotion_true-unreach-call.c unreach-call true 3.2  1.7  28   260 3.4   0      - - true 4.4  2.5  44   260 true 12   6.2 150 310
bitvector-regression/signextension2_true-unreach-call.c unreach-call true 480    480    5800   270 3.4   0      - - true 3.6  2.0  66   260 true 7.6 4.0 130 320
bitvector-regression/signextension_true-unreach-call.c unreach-call true 3.1  1.7  29   260 3.4   0      - - true 3.5  2.0  65   260 true 7.6 4.0 89 320
bitvector-loops/diamond_false-unreach-call2.i unreach-call false(unreach-call) 1.2  1.2  17   78 4.2   0      false(unreach-call) 4.4  2.4  71   280 false(unreach-call) 7.3 4.0 92 350 - -
bitvector-loops/overflow_false-unreach-call1.i unreach-call unknown 54    54    780   75 260     0      error (invalid witness file) .53 .34 11   39 error (invalid witness file) 6.4 3.4 100 310 - -
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i unreach-call false(unreach-call) 7.9  7.8  97   100 30     0      false(unreach-call) 6.5  3.6  100   310 false(unreach-call) 28   15   430 730 - -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unreach-call false(unreach-call) 3.3  3.3  40   88 1.9   .020  true 13    7.0  200   460 true 15   8.2 160 470 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unreach-call false(unreach-call) 1.6  1.6  19   95 .94  .10   true 9.0  4.8  150   420 true 13   6.9 130 380 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unreach-call false(unreach-call) 2.3  2.3  26   100 .98  .10   true 9.6  5.1  170   450 true 12   6.7 140 430 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unreach-call false(unreach-call) 1.2  1.2  14   64 1.8   .21   true 8.9  4.8  95   290 true 13   6.8 150 370 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unreach-call true 18    12    200   340 5.4   .0041 - - true 20    11    200   630 true 90   50   1100 1100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unreach-call unknown 140    140    1700   100 170     0      - - error (invalid witness file) .55 .35 11   40 error (invalid witness file) 6.0 3.2 95 300
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unreach-call true 10    5.2  87   350 3.5   .29   - - true 11    5.9  210   470 true 71   38   840 900
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unreach-call true 13    7.1  120   380 3.5   .11   - - true 16    8.4  140   500 true 72   39   560 1000
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unreach-call true 5.2  3.0  53   260 4.4   0      - - true 7.7  4.1  95   320 true 23   12   260 590
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unreach-call true 7.6  4.4  73   280 4.5   0      - - true 9.1  4.7  150   360 true 21   11   290 570
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c unreach-call false(unreach-call) 20    20    220   93 14     .098  false(unreach-call) 7.2  3.9  150   300 true 12   6.2 130 330 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c unreach-call false(unreach-call) 20    20    280   85 14     0      false(unreach-call) 7.1  3.8  150   300 true 11   6.1 120 340 - -
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c unreach-call false(unreach-call) 24    24    270   95 14     0      false(unreach-call) 7.3  3.8  150   300 true 13   7.0 130 370 - -
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c unreach-call false(unreach-call) 20    20    300   85 14     0      false(unreach-call) 9.8  5.2  94   310 true 9.3 5.0 160 350 - -
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c unreach-call false(unreach-call) 4.9  4.9  61   86 1.8   0      false(unreach-call) 5.9  3.2  92   290 false(unreach-call) 9.9 5.3 200 360 - -
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c unreach-call false(unreach-call) 24    24    300   88 11     .090  false(unreach-call) 7.6  4.0  110   320 true 9.5 5.1 150 330 - -
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c unreach-call false(unreach-call) 41    41    480   94 9.5   0      false(unreach-call) 9.0  4.8  120   310 true 12   6.5 130 340 - -
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c unreach-call false(unreach-call) 16    16    190   97 9.4   0      false(unreach-call) 9.9  5.2  93   300 true 9.2 4.9 170 340 - -
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c unreach-call false(unreach-call) 14    14    190   88 2.7   0      false(unreach-call) 8.0  4.2  94   300 true 11   5.8 130 330 - -
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c unreach-call false(unreach-call) 21    21    260   320 4.3   0      false(unreach-call) 7.5  4.0  140   300 true 8.7 4.7 170 330 - -
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c unreach-call false(unreach-call) 9.9  9.9  120   93 6.0   0      false(unreach-call) 8.9  4.7  100   300 true 10   5.4 170 340 - -
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c unreach-call false(unreach-call) 14    14    200   91 1.8   0      false(unreach-call) 5.8  3.1  120   290 false(unreach-call) 11   5.7 210 350 - -
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c unreach-call true 150    140    1600   1300 37     0      - - true 15    8.5  220   540 true 47   26   400 1400
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c unreach-call true 150    150    2000   1300 37     0      - - true 16    9.2  200   540 true 54   29   390 1500
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c unreach-call true 180    170    2200   1300 37     0      - - true 14    8.0  230   560 true 57   31   630 1400
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c unreach-call true 150    150    1600   1300 37     0      - - true 17    9.6  180   540 true 52   28   390 1500
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c unreach-call unknown 900    900    11000   480 73     0      - - error (invalid witness file) .55 .34 12   40 error (invalid witness file) 6.5 3.4 99 310
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c unreach-call unknown 370    370    5700   110 170     0      - - error (invalid witness file) .55 .36 10   40 error (invalid witness file) 5.9 3.1 83 290
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c unreach-call unknown 120    120    1600   77 170     0      - - error (invalid witness file) .56 .37 8.8 39 error (invalid witness file) 5.5 3.0 68 300
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c unreach-call true 44    36    540   2300 4.4   0      - - timeout 910    890    12000   5000 true 51   27   420 1400
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c unreach-call unknown 900    900    11000   460 70     0      - - error (invalid witness file) .50 .32 9.8 40 error (invalid witness file) 6.1 3.2 48 320
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c unreach-call unknown 890    900    12000   460 70     0      - - error (invalid witness file) .59 .38 7.7 40 error (invalid witness file) 6.1 3.2 80 300
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c unreach-call unknown 890    900    11000   450 67     0      - - error (invalid witness file) .54 .35 13   42 error (invalid witness file) 5.3 2.8 69 300
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c unreach-call unknown 890    900    10000   470 69     0      - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.9 3.6 94 300
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c unreach-call true 48    41    480   2300 4.3   34      - - timeout 910    900    21000   5400 true 50   27   440 1300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unreach-call false(unreach-call) .48 .48 5.5 79 .85  0      false(unreach-call) 6.4  3.5  72   290 true 8.2 4.4 140 310 - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unreach-call false(unreach-call) .52 .52 6.2 79 .85  0      false(unreach-call) 5.1  2.8  90   280 true 7.8 4.2 130 320 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 30    21    310   2200 3.4   0      - - true 7.3  3.9  85   290 true 22   12   270 820
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 89    80    1200   1300 3.4   0      - - true 5.9  3.2  110   300 true 30   16   380 1200
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 160    150    2100   1400 3.4   .0041 - - true 6.3  3.4  110   300 true 31   18   220 2200
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 160    150    1800   2300 3.5   0      - - true 6.4  3.5  110   300 true 39   24   320 3800
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 160    150    2100   1500 3.4   0      - - true 7.7  4.2  92   300 true 92   58   760 6400
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 160    150    1800   1500 3.4   .0041 - - true 8.8  4.8  92   300 out of memory 130   79   1400 7000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 4.1  2.2  40   260 3.4   0      - - true 5.7  3.1  68   290 true 9.3 5.0 140 350
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 4.9  2.5  42   270 3.4   0      - - true 5.6  3.1  80   280 true 11   5.9 160 410
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 6.4  2.9  51   300 3.4   0      - - true 6.7  3.6  77   290 true 13   7.0 120 520
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 8.8  3.9  77   450 3.4   0      - - true 5.8  3.2  99   290 true 16   8.2 220 520
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unreach-call true 13    7.8  140   750 3.4   33      - - true 6.8  3.7  85   300 true 17   9.0 110 740
ntdrivers/cdaudio_false-unreach-call.i.cil.c unreach-call unknown 890    900    11000   350 48     .10   error (invalid witness file) .61 .39 7.9 40 error (invalid witness file) 8.9 4.6 75 310 - -
ntdrivers/diskperf_false-unreach-call.i.cil.c unreach-call false(unreach-call) 480    480    6000   170 1.3   .23   timeout 96    82    2500   3600 true 14   7.5 240 480 - -
ntdrivers/floppy_false-unreach-call.i.cil.c unreach-call false(unreach-call) 600    600    7300   830 2.1   0      true 39    24    670   1200 true 22   12   410 570 - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c unreach-call unknown 890    900    13000   540 4.6   0      error (invalid witness file) .64 .41 8.1 40 error (invalid witness file) 6.0 3.2 80 300 - -
ntdrivers/parport_false-unreach-call.i.cil.c unreach-call false(unreach-call) 590    590    6500   950 2.1   0      timeout 97    69    2000   4400 true 31   17   310 560 - -
ntdrivers/cdaudio_true-unreach-call.i.cil.c unreach-call unknown 890    900    11000   350 56     .10   - - error (invalid witness file) .50 .32 8.5 41 error (invalid witness file) 7.1 3.7 120 310
ntdrivers/diskperf_true-unreach-call.i.cil.c unreach-call unknown 900    900    13000   180 99     .36   - - error (invalid witness file) .55 .35 9.4 40 error (invalid witness file) 6.8 3.6 150 310
ntdrivers/floppy2_true-unreach-call.i.cil.c unreach-call unknown 890    900    11000   14000 3.8   0      - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 7.8 4.1 150 320
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unreach-call unknown 890    900    8400   1300 2.9   .10   - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 5.7 3.1 47 290
ntdrivers/parport_true-unreach-call.i.cil.c unreach-call unknown 890    900    9100   1500 2.9   .23   - - error (invalid witness file) .55 .35 14   40 error (invalid witness file) 6.8 3.5 46 300
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unreach-call unknown 890    900    8400   1600 15     0      error (invalid witness file) .65 .41 9.0 41 error (invalid witness file) 6.3 3.3 120 300 - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c unreach-call unknown 890    900    8000   1600 15     0      error (invalid witness file) .57 .37 7.4 39 error (invalid witness file) 7.3 3.9 99 300 - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c unreach-call unknown 890    900    12000   1600 15     0      error (invalid witness file) .54 .35 12   40 error (invalid witness file) 7.5 4.0 76 290 - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c unreach-call unknown 890    900    9800   1600 15     0      error (invalid witness file) .58 .38 9.4 40 error (invalid witness file) 7.5 4.0 83 320 - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c unreach-call false(unreach-call) 350    350    3300   1000 9.7   0      false(unreach-call) 11    6.0  150   390 true 9.9 5.3 180 340 - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c unreach-call false(unreach-call) 430    430    3700   1000 6.3   0      false(unreach-call) 9.4  5.0  190   400 true 12   6.3 180 370 - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c unreach-call false(unreach-call) 450    450    4200   1000 9.7   0      false(unreach-call) 12    6.3  130   400 true 13   6.7 99 360 - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c unreach-call false(unreach-call) 350    350    3200   1000 9.7   0      false(unreach-call) 11    6.2  170   400 true 12   6.2 150 350 - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c unreach-call unknown 890    900    9200   1200 8.7   .094  error (invalid witness file) .57 .37 10   41 error (invalid witness file) 5.3 2.9 110 290 - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c unreach-call unknown 890    900    8300   1700 9.6   0      error (invalid witness file) .51 .33 11   41 error (invalid witness file) 7.0 3.7 100 310 - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c unreach-call unknown 890    900    8300   1300 8.7   0      error (invalid witness file) .65 .42 9.0 40 error (invalid witness file) 7.9 4.1 70 300 - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c unreach-call unknown 890    900    7600   1700 9.7   0      error (invalid witness file) .56 .36 11   40 error (invalid witness file) 7.0 3.7 96 300 - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c unreach-call unknown 890    900    7600   1700 9.6   0      error (invalid witness file) .67 .42 7.7 40 error (invalid witness file) 7.4 3.9 75 300 - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c unreach-call false(unreach-call) 680    680    6600   1300 8.0   0      false(unreach-call) 11    6.0  180   460 true 12   6.3 81 360 - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c unreach-call unknown 890    900    7800   1500 8.7   0      error (invalid witness file) .63 .39 6.2 40 error (invalid witness file) 6.1 3.2 110 300 - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c unreach-call false(unreach-call) 800    800    8800   1600 9.7   0      false(unreach-call) 11    6.2  190   460 true 10   5.6 82 350 - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c unreach-call unknown 890    900    7800   1300 8.7   0      error (invalid witness file) .59 .37 11   40 error (invalid witness file) 5.9 3.2 95 290 - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c unreach-call unknown 890    900    8800   1500 8.8   0      error (invalid witness file) .73 .45 9.3 43 error (invalid witness file) 6.4 3.4 130 300 - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c unreach-call unknown 890    900    8500   1200 8.7   0      error (invalid witness file) .67 .43 7.1 40 error (invalid witness file) 6.0 3.2 100 290 - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c unreach-call unknown 890    900    8100   1600 15     0      - - error (invalid witness file) .63 .41 7.3 40 error (invalid witness file) 5.8 3.1 90 290
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c unreach-call unknown 890    900    9600   1500 13     35      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.3 3.4 110 320
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c unreach-call unknown 890    900    9200   1600 15     34      - - error (invalid witness file) .70 .45 7.4 41 error (invalid witness file) 5.5 2.9 48 300
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c unreach-call unknown 890    900    9200   1600 15     0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.1 3.2 110 310
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c unreach-call unknown 890    900    8800   1700 15     0      - - error (invalid witness file) .62 .41 7.8 40 error (invalid witness file) 6.3 3.4 89 300
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c unreach-call unknown 890    900    8100   1700 15     0      - - error (invalid witness file) .47 .31 10   40 error (invalid witness file) 5.8 3.1 74 290
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c unreach-call unknown 890    900    10000   1500 8.7   35      - - error (invalid witness file) .56 .35 9.3 39 error (invalid witness file) 6.0 3.2 93 300
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c unreach-call unknown 890    900    8200   1600 10     0      - - error (invalid witness file) .52 .32 13   40 error (invalid witness file) 5.8 3.1 120 300
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c unreach-call unknown 890    900    8600   1700 10     0      - - error (invalid witness file) .56 .36 9.9 41 error (invalid witness file) 5.7 3.0 70 300
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c unreach-call unknown 890    900    12000   1700 10     0      - - error (invalid witness file) .54 .34 12   40 error (invalid witness file) 6.9 3.7 90 320
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c unreach-call unknown 890    900    8500   1600 10     0      - - error (invalid witness file) .56 .37 12   41 error (invalid witness file) 5.6 2.9 45 300
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c unreach-call unknown 890    900    7900   1700 11     0      - - error (invalid witness file) .57 .37 10   39 error (invalid witness file) 6.4 3.4 93 300
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c unreach-call unknown 890    900    8000   1600 10     0      - - error (invalid witness file) .70 .43 7.4 40 error (invalid witness file) 7.4 3.9 61 300
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c unreach-call unknown 890    900    8700   1700 10     0      - - error (invalid witness file) .54 .35 8.8 39 error (invalid witness file) 6.9 3.6 89 300
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c unreach-call unknown 890    900    8600   1700 9.6   0      - - error (invalid witness file) .68 .42 8.9 40 error (invalid witness file) 6.0 3.2 92 300
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c unreach-call unknown 890    900    9200   1700 9.6   0      - - error (invalid witness file) .53 .34 15   39 error (invalid witness file) 5.5 2.9 66 290
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c unreach-call unknown 890    900    8700   1500 8.7   0      - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 5.9 3.1 70 300
eca-rers2012/Problem01_label15_false-unreach-call.c unreach-call false(unreach-call) 60    60    600   230 11     0      true 28    15    360   750 true 14   7.3 130 370 - -
eca-rers2012/Problem01_label20_false-unreach-call.c unreach-call false(unreach-call) 74    74    770   220 16     0      true 30    17    460   930 true 12   6.3 220 370 - -
eca-rers2012/Problem01_label21_false-unreach-call.c unreach-call false(unreach-call) 63    63    780   250 11     34      true 26    14    370   720 true 13   7.0 180 350 - -
eca-rers2012/Problem01_label32_false-unreach-call.c unreach-call false(unreach-call) 75    75    1000   220 16     0      true 34    19    420   1000 true 11   6.0 220 360 - -
eca-rers2012/Problem01_label33_false-unreach-call.c unreach-call false(unreach-call) 68    68    700   220 14     .40   true 27    15    520   810 true 17   9.0 160 370 - -
eca-rers2012/Problem01_label35_false-unreach-call.c unreach-call false(unreach-call) 60    60    610   230 11     0      true 27    15    380   720 true 12   6.3 200 370 - -
eca-rers2012/Problem01_label37_false-unreach-call.c unreach-call false(unreach-call) 66    66    780   220 14     .25   true 25    14    450   740 true 13   6.9 170 370 - -
eca-rers2012/Problem01_label38_false-unreach-call.c unreach-call false(unreach-call) 58    58    810   220 11     0      true 31    16    320   730 true 15   7.7 150 360 - -
eca-rers2012/Problem01_label44_false-unreach-call.c unreach-call false(unreach-call) 55    55    620   230 8.6   0      true 28    15    350   660 true 13   6.9 170 370 - -
eca-rers2012/Problem01_label47_false-unreach-call.c unreach-call false(unreach-call) 73    73    920   220 16     0      true 33    19    580   1000 true 13   6.9 160 370 - -
eca-rers2012/Problem01_label50_false-unreach-call.c unreach-call false(unreach-call) 59    59    800   230 11     0      true 31    17    320   750 true 11   6.0 160 340 - -
eca-rers2012/Problem01_label56_false-unreach-call.c unreach-call false(unreach-call) 65    65    720   230 14     0      true 33    18    380   780 true 12   6.4 170 370 - -
eca-rers2012/Problem01_label57_false-unreach-call.c unreach-call false(unreach-call) 67    67    870   220 14     0      true 32    18    360   1100 true 13   6.8 160 360 - -
eca-rers2012/Problem02_label13_false-unreach-call.c unreach-call false(unreach-call) 21    21    230   210 6.1   .26   true 21    11    260   470 true 15   7.8 140 360 - -
eca-rers2012/Problem02_label16_false-unreach-call.c unreach-call false(unreach-call) 21    21    220   210 6.1   0      true 16    8.4  290   480 true 11   6.1 200 350 - -
eca-rers2012/Problem02_label43_false-unreach-call.c unreach-call false(unreach-call) 22    21    230   210 6.1   0      true 21    11    250   480 true 12   6.5 190 360 - -
eca-rers2012/Problem02_label44_false-unreach-call.c unreach-call false(unreach-call) 22    22    230   210 6.1   0      true 20    10    230   480 true 13   6.7 140 360 - -
eca-rers2012/Problem02_label45_false-unreach-call.c unreach-call false(unreach-call) 24    24    320   210 8.7   0      true 25    13    350   590 true 11   6.0 200 350 - -
eca-rers2012/Problem02_label50_false-unreach-call.c unreach-call false(unreach-call) 24    24    260   210 8.7   0      true 22    12    460   600 true 17   8.9 140 370 - -
eca-rers2012/Problem02_label59_false-unreach-call.c unreach-call false(unreach-call) 91    91    260   220 8.7   0      true 22    12    380   600 true 12   6.6 140 370 - -
eca-rers2012/Problem03_label09_false-unreach-call.c unreach-call false(unreach-call) 350    350    3700   440 14     0      true 38    21    670   1100 true 15   7.9 280 490 - -
eca-rers2012/Problem03_label13_false-unreach-call.c unreach-call false(unreach-call) 350    350    3100   450 12     0      true 32    17    480   930 true 16   8.6 230 490 - -
eca-rers2012/Problem03_label26_false-unreach-call.c unreach-call false(unreach-call) 360    360    3000   450 8.9   0      true 48    27    530   1100 true 15   7.7 210 500 - -
eca-rers2012/Problem03_label27_false-unreach-call.c unreach-call false(unreach-call) 370    370    3600   460 12     0      true 39    21    500   940 true 14   7.5 200 490 - -
eca-rers2012/Problem03_label28_false-unreach-call.c unreach-call false(unreach-call) 330    330    2900   450 12     0      true 44    23    440   920 true 18   9.5 280 480 - -
eca-rers2012/Problem03_label31_false-unreach-call.c unreach-call false(unreach-call) 350    350    3100   450 12     0      true 42    22    460   1000 true 15   7.9 260 480 - -
eca-rers2012/Problem03_label35_false-unreach-call.c unreach-call false(unreach-call) 350    350    4100   460 14     0      true 38    21    680   1100 true 19   10   200 480 - -
eca-rers2012/Problem03_label37_false-unreach-call.c unreach-call false(unreach-call) 320    320    3900   440 12     0      true 49    29    450   1100 true 16   8.4 340 500 - -
eca-rers2012/Problem03_label39_false-unreach-call.c unreach-call false(unreach-call) 350    350    3400   440 14     0      true 40    22    560   1100 true 19   9.9 170 490 - -
eca-rers2012/Problem03_label43_false-unreach-call.c unreach-call false(unreach-call) 320    320    2900   450 12     0      true 47    27    620   1200 true 18   9.5 260 490 - -
eca-rers2012/Problem03_label45_false-unreach-call.c unreach-call false(unreach-call) 370    370    3300   460 14     0      true 40    22    720   1100 true 16   8.4 180 470 - -
eca-rers2012/Problem03_label50_false-unreach-call.c unreach-call false(unreach-call) 340    340    4200   460 12     0      true 41    21    450   930 true 14   7.5 230 490 - -
eca-rers2012/Problem03_label52_false-unreach-call.c unreach-call false(unreach-call) 390    390    3700   500 14     34      true 40    22    650   1100 true 18   9.2 220 490 - -
eca-rers2012/Problem04_label04_false-unreach-call.c unreach-call unknown 900    900    7900   1900 16     0      error (invalid witness file) .68 .43 8.5 41 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem04_label06_false-unreach-call.c unreach-call unknown 890    900    9500   1900 16     0      error (invalid witness file) .67 .43 8.0 41 error (invalid witness file) 6.4 3.4 98 300 - -
eca-rers2012/Problem04_label09_false-unreach-call.c unreach-call unknown 890    900    7300   1900 16     0      error (invalid witness file) .69 .44 7.7 40 error (invalid witness file) 9.0 4.7 90 300 - -
eca-rers2012/Problem04_label11_false-unreach-call.c unreach-call unknown 890    900    11000   1900 16     0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 7.2 3.8 150 300 - -
eca-rers2012/Problem04_label12_false-unreach-call.c unreach-call unknown 890    900    9500   1900 17     0      error (invalid witness file) .74 .46 9.0 45 error (invalid witness file) 6.7 3.6 120 290 - -
eca-rers2012/Problem04_label13_false-unreach-call.c unreach-call unknown 890    900    9000   1900 17     0      error (invalid witness file) .53 .34 9.6 39 error (invalid witness file) 6.5 3.5 88 310 - -
eca-rers2012/Problem04_label14_false-unreach-call.c unreach-call unknown 890    900    8600   1900 17     0      error (invalid witness file) .68 .43 7.7 42 error (invalid witness file) 7.1 3.7 140 300 - -
eca-rers2012/Problem04_label15_false-unreach-call.c unreach-call unknown 890    900    8700   1900 16     0      error (invalid witness file) .63 .39 7.4 39 error (invalid witness file) 7.3 3.8 100 320 - -
eca-rers2012/Problem04_label17_false-unreach-call.c unreach-call unknown 890    900    9600   1900 16     0      error (invalid witness file) .60 .38 9.5 39 error (invalid witness file) 6.8 3.6 100 310 - -
eca-rers2012/Problem04_label18_false-unreach-call.c unreach-call unknown 890    900    10000   1900 16     0      error (invalid witness file) .65 .41 7.6 39 error (invalid witness file) 7.2 3.7 140 310 - -
eca-rers2012/Problem04_label19_false-unreach-call.c unreach-call unknown 890    900    8600   1900 17     0      error (invalid witness file) .56 .35 9.2 39 error (invalid witness file) 7.3 3.8 87 300 - -
eca-rers2012/Problem04_label26_false-unreach-call.c unreach-call unknown 890    900    8700   1900 16     0      error (invalid witness file) .67 .42 8.7 40 error (invalid witness file) 7.5 4.0 99 300 - -
eca-rers2012/Problem04_label27_false-unreach-call.c unreach-call unknown 890    900    7900   1900 17     0      error (invalid witness file) .49 .32 7.2 39 error (invalid witness file) 7.4 3.9 120 310 - -
eca-rers2012/Problem04_label31_false-unreach-call.c unreach-call unknown 890    900    8900   1900 16     0      error (invalid witness file) .59 .38 9.9 42 error (invalid witness file) 6.8 3.6 130 310 - -
eca-rers2012/Problem04_label32_false-unreach-call.c unreach-call unknown 890    900    9800   1900 16     0      error (invalid witness file) .61 .38 6.6 39 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem04_label35_false-unreach-call.c unreach-call unknown 890    900    7400   1900 16     0      error (invalid witness file) .53 .34 12   40 error (invalid witness file) 9.5 5.0 70 310 - -
eca-rers2012/Problem04_label36_false-unreach-call.c unreach-call unknown 890    900    8500   1900 17     0      error (invalid witness file) .49 .31 12   39 error (invalid witness file) 7.2 3.7 75 310 - -
eca-rers2012/Problem04_label38_false-unreach-call.c unreach-call unknown 890    900    8700   1800 16     .11   error (invalid witness file) .49 .31 8.9 40 error (invalid witness file) 6.4 3.4 110 290 - -
eca-rers2012/Problem04_label39_false-unreach-call.c unreach-call unknown 890    900    9900   1900 16     0      error (invalid witness file) .68 .42 8.8 40 error (invalid witness file) 6.6 3.5 120 300 - -
eca-rers2012/Problem04_label40_false-unreach-call.c unreach-call unknown 890    900    8400   1900 17     0      error (invalid witness file) .50 .32 10   40 error (invalid witness file) 6.8 3.6 110 290 - -
eca-rers2012/Problem04_label45_false-unreach-call.c unreach-call unknown 890    900    7000   1900 16     0      error (invalid witness file) .54 .33 11   42 error (invalid witness file) 6.9 3.7 140 300 - -
eca-rers2012/Problem04_label52_false-unreach-call.c unreach-call unknown 890    900    7900   1900 16     0      error (invalid witness file) .63 .40 8.6 41 error (invalid witness file) 6.5 3.4 91 310 - -
eca-rers2012/Problem04_label55_false-unreach-call.c unreach-call unknown 890    900    9600   1900 17     0      error (invalid witness file) .59 .37 11   41 error (invalid witness file) 8.4 4.4 87 300 - -
eca-rers2012/Problem04_label58_false-unreach-call.c unreach-call unknown 890    900    7700   1800 16     0      error (invalid witness file) .72 .44 7.7 41 error (invalid witness file) 6.9 3.6 130 310 - -
eca-rers2012/Problem05_label00_false-unreach-call.c unreach-call unknown 900    900    8300   4300 11     0      error (invalid witness file) .51 .32 9.5 39 error (invalid witness file) 6.9 3.6 140 310 - -
eca-rers2012/Problem05_label01_false-unreach-call.c unreach-call unknown 890    900    9100   4300 12     0      error (invalid witness file) .55 .36 8.2 39 error (invalid witness file) 6.6 3.4 83 310 - -
eca-rers2012/Problem05_label11_false-unreach-call.c unreach-call unknown 890    900    8100   4300 12     33      error (invalid witness file) .50 .32 9.9 40 error (invalid witness file) 7.5 4.0 110 290 - -
eca-rers2012/Problem05_label13_false-unreach-call.c unreach-call unknown 890    900    9600   4300 11     0      error (invalid witness file) .53 .34 9.2 39 error (invalid witness file) 8.7 4.5 120 310 - -
eca-rers2012/Problem05_label15_false-unreach-call.c unreach-call unknown 890    900    8300   4300 12     0      error (invalid witness file) .63 .41 6.7 40 error (invalid witness file) 8.3 4.4 86 310 - -
eca-rers2012/Problem05_label18_false-unreach-call.c unreach-call unknown 890    900    10000   4300 12     0      error (invalid witness file) .63 .41 7.1 39 error (invalid witness file) 9.8 5.1 100 320 - -
eca-rers2012/Problem05_label24_false-unreach-call.c unreach-call unknown 890    900    7100   4300 12     0      error (invalid witness file) .51 .33 11   43 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem05_label26_false-unreach-call.c unreach-call unknown 890    900    11000   4300 12     .12   error (invalid witness file) .48 .31 9.3 40 error (invalid witness file) 8.1 4.2 160 310 - -
eca-rers2012/Problem05_label30_false-unreach-call.c unreach-call unknown 890    900    8700   4300 12     0      error (invalid witness file) .50 .32 12   40 error (invalid witness file) 8.4 4.4 96 300 - -
eca-rers2012/Problem05_label32_false-unreach-call.c unreach-call unknown 890    900    8300   4300 12     0      error (invalid witness file) .61 .38 8.8 42 error (invalid witness file) 7.7 4.0 150 310 - -
eca-rers2012/Problem05_label33_false-unreach-call.c unreach-call unknown 890    900    9400   4300 11     0      error (invalid witness file) .56 .37 11   40 error (invalid witness file) 7.2 3.8 150 310 - -
eca-rers2012/Problem05_label36_false-unreach-call.c unreach-call unknown 890    900    11000   4300 12     0      error (invalid witness file) .53 .33 13   41 error (invalid witness file) 7.3 3.8 130 310 - -
eca-rers2012/Problem05_label37_false-unreach-call.c unreach-call unknown 890    900    9900   4300 12     0      error (invalid witness file) .55 .37 8.7 40 error (invalid witness file) 7.6 4.0 110 310 - -
eca-rers2012/Problem05_label38_false-unreach-call.c unreach-call unknown 890    900    11000   4300 12     0      error (invalid witness file) .58 .38 12   44 error (invalid witness file) 6.8 3.6 100 300 - -
eca-rers2012/Problem05_label39_false-unreach-call.c unreach-call unknown 890    900    8200   4300 12     0      error (invalid witness file) .63 .40 7.5 40 error (invalid witness file) 6.9 3.7 88 300 - -
eca-rers2012/Problem05_label40_false-unreach-call.c unreach-call unknown 890    900    8500   4300 12     0      error (invalid witness file) .49 .31 10   39 error (invalid witness file) 7.2 3.8 140 310 - -
eca-rers2012/Problem05_label41_false-unreach-call.c unreach-call unknown 890    900    3200   2900 7.3   0      error (invalid witness file) .63 .40 9.5 41 error (invalid witness file) 8.3 4.4 87 300 - -
eca-rers2012/Problem05_label44_false-unreach-call.c unreach-call unknown 890    900    8900   4300 12     0      error (invalid witness file) .50 .32 9.8 39 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem05_label47_false-unreach-call.c unreach-call unknown 890    900    8700   4300 12     0      error (invalid witness file) .48 .32 11   40 error (invalid witness file) 8.0 4.2 100 300 - -
eca-rers2012/Problem05_label48_false-unreach-call.c unreach-call unknown 900    900    8300   4300 12     0      error (invalid witness file) .53 .33 12   40 error (invalid witness file) 8.0 4.2 94 300 - -
eca-rers2012/Problem05_label51_false-unreach-call.c unreach-call unknown 900    900    7100   4300 11     0      error (invalid witness file) .63 .40 9.6 41 error (invalid witness file) 7.7 4.1 91 300 - -
eca-rers2012/Problem05_label55_false-unreach-call.c unreach-call unknown 890    900    9500   4300 12     0      error (invalid witness file) .47 .31 11   39 error (invalid witness file) 7.9 4.1 87 300 - -
eca-rers2012/Problem05_label57_false-unreach-call.c unreach-call unknown 890    900    9900   4300 12     0      error (invalid witness file) .64 .41 9.9 39 error (invalid witness file) 7.6 3.9 120 320 - -
eca-rers2012/Problem05_label58_false-unreach-call.c unreach-call unknown 890    900    9200   4300 12     0      error (invalid witness file) .66 .41 8.1 39 error (invalid witness file) 7.9 4.1 83 300 - -
eca-rers2012/Problem06_label00_false-unreach-call.c unreach-call unknown 890    900    7900   2800 11     0      error (invalid witness file) .54 .34 9.9 42 error (invalid witness file) 7.9 4.2 100 300 - -
eca-rers2012/Problem06_label01_false-unreach-call.c unreach-call unknown 890    900    9200   2800 11     0      error (invalid witness file) .64 .41 10   44 error (invalid witness file) 9.4 4.9 110 320 - -
eca-rers2012/Problem06_label02_false-unreach-call.c unreach-call unknown 890    900    8000   2800 11     0      error (invalid witness file) .54 .35 13   42 error (invalid witness file) 8.7 4.5 88 300 - -
eca-rers2012/Problem06_label04_false-unreach-call.c unreach-call unknown 890    900    8000   2900 11     0      error (invalid witness file) .51 .33 12   39 error (invalid witness file) 7.1 3.7 140 300 - -
eca-rers2012/Problem06_label05_false-unreach-call.c unreach-call unknown 890    900    10000   2800 11     0      error (invalid witness file) .61 .39 9.0 40 error (invalid witness file) 6.4 3.4 91 300 - -
eca-rers2012/Problem06_label09_false-unreach-call.c unreach-call unknown 890    900    7900   2800 12     0      error (invalid witness file) .59 .36 9.5 41 error (invalid witness file) 8.1 4.2 81 310 - -
eca-rers2012/Problem06_label10_false-unreach-call.c unreach-call unknown 890    900    9300   2800 11     0      error (invalid witness file) .50 .32 9.3 40 error (invalid witness file) 8.6 4.5 140 310 - -
eca-rers2012/Problem06_label11_false-unreach-call.c unreach-call unknown 890    900    7000   2900 11     0      error (invalid witness file) .60 .38 8.4 39 error (invalid witness file) 7.5 3.9 120 300 - -
eca-rers2012/Problem06_label12_false-unreach-call.c unreach-call unknown 890    900    7800   2800 11     0      error (invalid witness file) .62 .40 10   40 error (invalid witness file) 6.9 3.7 86 290 - -
eca-rers2012/Problem06_label15_false-unreach-call.c unreach-call unknown 890    900    7900   2900 11     0      error (invalid witness file) .70 .43 7.5 41 error (invalid witness file) 7.5 3.9 120 310 - -
eca-rers2012/Problem06_label20_false-unreach-call.c unreach-call unknown 890    900    8400   2800 11     .25   error (invalid witness file) .64 .41 9.7 41 error (invalid witness file) 9.0 4.7 110 300 - -
eca-rers2012/Problem06_label21_false-unreach-call.c unreach-call unknown 890    900    7900   2800 11     0      error (invalid witness file) .66 .41 7.4 41 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem06_label24_false-unreach-call.c unreach-call unknown 890    900    7800   2800 12     0      error (invalid witness file) .66 .43 7.4 40 error (invalid witness file) 6.7 3.5 120 310 - -
eca-rers2012/Problem06_label27_false-unreach-call.c unreach-call unknown 890    900    8300   2900 11     0      error (invalid witness file) .59 .37 9.5 40 error (invalid witness file) 7.2 3.8 130 300 - -
eca-rers2012/Problem06_label29_false-unreach-call.c unreach-call unknown 890    900    10000   2800 11     0      error (invalid witness file) .56 .36 11   43 error (invalid witness file) 8.1 4.2 120 300 - -
eca-rers2012/Problem06_label33_false-unreach-call.c unreach-call unknown 890    900    6900   2900 11     0      error (invalid witness file) .53 .34 11   40 error (invalid witness file) 8.9 4.7 86 310 - -
eca-rers2012/Problem06_label36_false-unreach-call.c unreach-call unknown 890    900    7200   2800 11     0      error (invalid witness file) .59 .38 10   43 error (invalid witness file) 7.6 4.0 130 300 - -
eca-rers2012/Problem06_label37_false-unreach-call.c unreach-call unknown 890    900    8900   2800 11     .13   error (invalid witness file) .50 .32 12   39 error (invalid witness file) 8.8 4.6 96 300 - -
eca-rers2012/Problem06_label38_false-unreach-call.c unreach-call unknown 890    900    8800   2800 11     0      error (invalid witness file) .66 .43 8.7 43 error (invalid witness file) 8.6 4.5 99 300 - -
eca-rers2012/Problem06_label44_false-unreach-call.c unreach-call unknown 890    900    7300   2900 11     0      error (invalid witness file) .55 .35 13   42 error (invalid witness file) 7.4 3.9 120 320 - -
eca-rers2012/Problem06_label47_false-unreach-call.c unreach-call unknown 890    900    8400   2800 11     0      error (invalid witness file) .65 .42 8.7 40 error (invalid witness file) 7.5 3.9 130 310 - -
eca-rers2012/Problem06_label48_false-unreach-call.c unreach-call unknown 900    900    8300   2900 11     0      error (invalid witness file) .65 .42 8.5 40 error (invalid witness file) 7.4 3.9 120 320 - -
eca-rers2012/Problem06_label56_false-unreach-call.c unreach-call unknown 890    900    8400   2900 11     0      error (invalid witness file) .59 .37 9.1 40 error (invalid witness file) 6.7 3.5 110 310 - -
eca-rers2012/Problem06_label58_false-unreach-call.c unreach-call unknown 890    900    7800   2900 11     0      error (invalid witness file) .49 .32 10   39 error (invalid witness file) 8.7 4.5 100 300 - -
eca-rers2012/Problem06_label59_false-unreach-call.c unreach-call unknown 890    900    7500   2800 11     0      error (invalid witness file) .60 .38 8.7 39 error (invalid witness file) 6.8 3.6 100 300 - -
eca-rers2012/Problem07_label03_false-unreach-call.c unreach-call unknown 890    900    9800   15000 16     0      error (invalid witness file) .69 .43 8.3 41 error (invalid witness file) 10   5.6 100 430 - -
eca-rers2012/Problem07_label05_false-unreach-call.c unreach-call unknown 890    900    9200   15000 16     0      error (invalid witness file) .58 .37 8.1 42 error (invalid witness file) 8.4 4.6 150 440 - -
eca-rers2012/Problem07_label06_false-unreach-call.c unreach-call unknown 890    900    12000   15000 16     0      error (invalid witness file) .62 .39 8.3 40 error (invalid witness file) 7.7 4.1 120 430 - -
eca-rers2012/Problem07_label07_false-unreach-call.c unreach-call unknown 890    900    10000   15000 16     0      error (invalid witness file) .49 .31 13   39 error (invalid witness file) 8.8 4.7 130 430 - -
eca-rers2012/Problem07_label09_false-unreach-call.c unreach-call unknown 890    900    11000   15000 16     0      error (invalid witness file) .51 .32 12   40 error (invalid witness file) 9.4 4.9 90 430 - -
eca-rers2012/Problem07_label11_false-unreach-call.c unreach-call unknown 890    900    12000   15000 16     0      error (invalid witness file) .55 .37 11   40 error (invalid witness file) 9.7 5.2 110 420 - -
eca-rers2012/Problem07_label15_false-unreach-call.c unreach-call unknown 890    900    10000   15000 16     33      error (invalid witness file) .65 .40 8.1 39 error (invalid witness file) 8.1 4.3 150 440 - -
eca-rers2012/Problem07_label18_false-unreach-call.c unreach-call unknown 890    900    11000   15000 16     0      error (invalid witness file) .60 .39 9.7 41 error (invalid witness file) 7.7 4.2 150 430 - -
eca-rers2012/Problem07_label19_false-unreach-call.c unreach-call unknown 890    900    10000   15000 16     0      error (invalid witness file) .53 .34 10   39 error (invalid witness file) 7.4 4.0 130 420 - -
eca-rers2012/Problem07_label20_false-unreach-call.c unreach-call unknown 890    900    11000   15000 16     0      error (invalid witness file) .65 .42 8.6 40 error (invalid witness file) 8.5 4.5 160 440 - -
eca-rers2012/Problem07_label23_false-unreach-call.c unreach-call unknown 890    900    9800   15000 16     0      error (invalid witness file) .56 .36 7.9 40 error (invalid witness file) 7.9 4.3 150 430 - -
eca-rers2012/Problem07_label30_false-unreach-call.c unreach-call unknown 890    900    12000   15000 16     0      error (invalid witness file) .49 .32 13   39 error (invalid witness file) 9.4 5.0 110 420 - -
eca-rers2012/Problem07_label31_false-unreach-call.c unreach-call unknown 890    900    10000   15000 16     0      error (invalid witness file) .52 .33 11   39 error (invalid witness file) 8.1 4.3 160 430 - -
eca-rers2012/Problem07_label35_false-unreach-call.c unreach-call unknown 890    900    12000   15000 16     0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 9.0 4.8 120 430 - -
eca-rers2012/Problem07_label36_false-unreach-call.c unreach-call unknown 890    900    11000   15000 16     0      error (invalid witness file) .57 .36 13   43 error (invalid witness file) 8.8 4.7 110 430 - -
eca-rers2012/Problem07_label37_false-unreach-call.c unreach-call unknown 890    900    10000   15000 16     0      error (invalid witness file) .68 .43 7.6 40 error (invalid witness file) 7.7 4.2 150 420 - -
eca-rers2012/Problem07_label39_false-unreach-call.c unreach-call unknown 890    900    9900   15000 16     0      error (invalid witness file) .66 .41 7.8 39 error (invalid witness file) 8.0 4.2 160 430 - -
eca-rers2012/Problem07_label40_false-unreach-call.c unreach-call unknown 890    900    10000   15000 16     0      error (invalid witness file) .55 .35 12   42 error (invalid witness file) 8.3 4.4 160 430 - -
eca-rers2012/Problem07_label42_false-unreach-call.c unreach-call unknown 890    900    10000   15000 16     0      error (invalid witness file) .69 .42 6.9 40 error (invalid witness file) 9.5 5.0 180 440 - -
eca-rers2012/Problem07_label44_false-unreach-call.c unreach-call unknown 890    900    10000   15000 16     0      error (invalid witness file) .66 .40 7.4 40 error (invalid witness file) 8.2 4.3 130 440 - -
eca-rers2012/Problem07_label46_false-unreach-call.c unreach-call unknown 890    900    11000   15000 16     0      error (invalid witness file) .54 .35 9.8 42 error (invalid witness file) 10   5.4 160 450 - -
eca-rers2012/Problem07_label47_false-unreach-call.c unreach-call unknown 890    900    12000   15000 16     0      error (invalid witness file) .54 .35 14   40 error (invalid witness file) 7.7 4.1 160 430 - -
eca-rers2012/Problem07_label48_false-unreach-call.c unreach-call unknown 890    900    10000   15000 16     0      error (invalid witness file) .61 .40 8.8 39 error (invalid witness file) 9.4 5.1 110 430 - -
eca-rers2012/Problem07_label58_false-unreach-call.c unreach-call unknown 890    900    9800   15000 16     0      error (invalid witness file) .63 .40 8.0 40 error (invalid witness file) 8.8 4.7 130 430 - -
eca-rers2012/Problem08_label01_false-unreach-call.c unreach-call out of memory 240    240    2800   15000 22     0      error (invalid witness file) .52 .32 12   42 error (invalid witness file) 9.4 5.1 110 520 - -
eca-rers2012/Problem08_label02_false-unreach-call.c unreach-call out of memory 230    230    3200   15000 22     0      error (invalid witness file) .67 .42 8.3 40 error (invalid witness file) 9.5 5.2 180 520 - -
eca-rers2012/Problem08_label04_false-unreach-call.c unreach-call out of memory 230    230    3300   15000 22     0      error (invalid witness file) .66 .43 8.5 43 error (invalid witness file) 10   5.6 93 520 - -
eca-rers2012/Problem08_label05_false-unreach-call.c unreach-call out of memory 240    240    2500   15000 22     0      error (invalid witness file) .64 .40 9.6 41 error (invalid witness file) 7.9 4.4 160 510 - -
eca-rers2012/Problem08_label06_false-unreach-call.c unreach-call out of memory 240    240    3000   15000 22     0      error (invalid witness file) .64 .40 6.9 40 error (invalid witness file) 10   5.5 130 520 - -
eca-rers2012/Problem08_label07_false-unreach-call.c unreach-call out of memory 240    240    2500   15000 22     0      error (invalid witness file) .53 .33 11   40 error (invalid witness file) 9.3 5.1 160 520 - -
eca-rers2012/Problem08_label10_false-unreach-call.c unreach-call out of memory 240    240    2800   15000 22     0      error (invalid witness file) .63 .39 8.6 39 error (invalid witness file) 10   5.5 120 520 - -
eca-rers2012/Problem08_label13_false-unreach-call.c unreach-call out of memory 240    240    2700   15000 22     0      error (invalid witness file) .66 .42 7.7 41 error (invalid witness file) 10   5.6 110 520 - -
eca-rers2012/Problem08_label15_false-unreach-call.c unreach-call out of memory 240    240    2800   15000 24     0      error (invalid witness file) .62 .40 8.0 39 error (invalid witness file) 9.8 5.4 89 510 - -
eca-rers2012/Problem08_label24_false-unreach-call.c unreach-call out of memory 240    240    3400   15000 22     0      error (invalid witness file) .66 .42 8.1 40 error (invalid witness file) 8.5 4.7 85 520 - -
eca-rers2012/Problem08_label25_false-unreach-call.c unreach-call out of memory 240    240    2900   15000 22     0      error (invalid witness file) .66 .42 8.2 41 error (invalid witness file) 8.6 4.6 130 520 - -
eca-rers2012/Problem08_label26_false-unreach-call.c unreach-call out of memory 240    240    2800   15000 22     0      error (invalid witness file) .71 .45 9.3 44 error (invalid witness file) 9.4 5.1 190 520 - -
eca-rers2012/Problem08_label28_false-unreach-call.c unreach-call out of memory 230    230    3100   15000 22     0      error (invalid witness file) .65 .40 7.9 41 error (invalid witness file) 11   5.8 100 510 - -
eca-rers2012/Problem08_label29_false-unreach-call.c unreach-call out of memory 240    240    3000   15000 22     0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 8.3 4.6 130 520 - -
eca-rers2012/Problem08_label34_false-unreach-call.c unreach-call out of memory 240    240    2600   15000 22     0      error (invalid witness file) .64 .41 7.5 40 error (invalid witness file) 8.6 4.8 180 520 - -
eca-rers2012/Problem08_label37_false-unreach-call.c unreach-call out of memory 240    240    2500   15000 22     0      error (invalid witness file) .50 .32 9.5 39 error (invalid witness file) 8.8 4.8 160 520 - -
eca-rers2012/Problem08_label43_false-unreach-call.c unreach-call out of memory 240    240    2600   15000 22     0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 11   5.8 110 510 - -
eca-rers2012/Problem08_label46_false-unreach-call.c unreach-call out of memory 230    230    3200   15000 22     0      error (invalid witness file) .60 .39 9.0 40 error (invalid witness file) 9.5 5.2 140 520 - -
eca-rers2012/Problem08_label48_false-unreach-call.c unreach-call out of memory 250    250    2600   15000 22     0      error (invalid witness file) .68 .43 9.1 42 error (invalid witness file) 12   6.4 130 540 - -
eca-rers2012/Problem08_label49_false-unreach-call.c unreach-call out of memory 240    240    2900   15000 22     0      error (invalid witness file) .59 .37 11   40 error (invalid witness file) 8.6 4.7 170 520 - -
eca-rers2012/Problem08_label50_false-unreach-call.c unreach-call out of memory 240    240    2700   15000 22     0      error (invalid witness file) .68 .43 8.3 40 error (invalid witness file) 10   5.5 92 510 - -
eca-rers2012/Problem08_label51_false-unreach-call.c unreach-call out of memory 240    240    2600   15000 22     0      error (invalid witness file) .67 .44 10   45 error (invalid witness file) 11   5.7 140 530 - -
eca-rers2012/Problem08_label55_false-unreach-call.c unreach-call out of memory 240    240    2600   15000 22     0      error (invalid witness file) .49 .31 6.7 39 error (invalid witness file) 11   5.9 120 520 - -
eca-rers2012/Problem08_label59_false-unreach-call.c unreach-call out of memory 240    240    2800   15000 22     0      error (invalid witness file) .55 .36 8.7 39 error (invalid witness file) 11   5.9 120 520 - -
eca-rers2012/Problem09_label02_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 25     33      error (invalid witness file) .62 .39 11   40 error (invalid witness file) 11   6.0 100 530 - -
eca-rers2012/Problem09_label03_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 25     0      error (invalid witness file) .51 .34 13   40 error (invalid witness file) 8.4 4.7 120 530 - -
eca-rers2012/Problem09_label06_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 25     0      error (invalid witness file) .52 .32 11   40 error (invalid witness file) 8.7 4.9 190 530 - -
eca-rers2012/Problem09_label08_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 25     0      error (invalid witness file) .53 .33 11   39 error (invalid witness file) 11   5.9 110 520 - -
eca-rers2012/Problem09_label10_false-unreach-call.c unreach-call out of memory 220    220    3000   15000 25     0      error (invalid witness file) .61 .40 8.5 40 error (invalid witness file) 9.6 5.3 95 520 - -
eca-rers2012/Problem09_label11_false-unreach-call.c unreach-call out of memory 220    210    2800   15000 25     0      error (invalid witness file) .55 .36 11   40 error (invalid witness file) 11   5.9 130 520 - -
eca-rers2012/Problem09_label15_false-unreach-call.c unreach-call out of memory 220    220    2300   15000 25     0      error (invalid witness file) .62 .39 7.8 40 error (invalid witness file) 11   6.2 130 640 - -
eca-rers2012/Problem09_label19_false-unreach-call.c unreach-call out of memory 220    220    2900   15000 25     0      error (invalid witness file) .54 .35 14   42 error (invalid witness file) 8.3 4.6 130 540 - -
eca-rers2012/Problem09_label20_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 25     0      error (invalid witness file) .51 .33 9.1 39 error (invalid witness file) 8.8 4.9 160 530 - -
eca-rers2012/Problem09_label32_false-unreach-call.c unreach-call out of memory 220    220    2200   15000 25     0      error (invalid witness file) .57 .36 8.9 39 error (invalid witness file) 8.4 4.6 160 520 - -
eca-rers2012/Problem09_label34_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 25     0      error (invalid witness file) .65 .41 8.1 40 error (invalid witness file) 9.6 5.3 130 530 - -
eca-rers2012/Problem09_label35_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 25     0      error (invalid witness file) .52 .33 11   41 error (invalid witness file) 9.9 5.5 96 530 - -
eca-rers2012/Problem09_label36_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 25     0      error (invalid witness file) .69 .44 8.3 42 error (invalid witness file) 10   5.8 110 520 - -
eca-rers2012/Problem09_label38_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 26     0      error (invalid witness file) .52 .33 12   43 error (invalid witness file) 8.0 4.4 130 530 - -
eca-rers2012/Problem09_label41_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 25     0      error (invalid witness file) .54 .35 11   39 error (invalid witness file) 8.3 4.7 170 520 - -
eca-rers2012/Problem09_label44_false-unreach-call.c unreach-call out of memory 220    220    2600   15000 25     0      error (invalid witness file) .62 .41 8.7 40 error (invalid witness file) 11   5.9 140 640 - -
eca-rers2012/Problem09_label46_false-unreach-call.c unreach-call out of memory 220    220    2200   15000 25     0      error (invalid witness file) .62 .40 7.6 39 error (invalid witness file) 9.2 5.0 180 530 - -
eca-rers2012/Problem09_label47_false-unreach-call.c unreach-call out of memory 220    220    2600   15000 25     0      error (invalid witness file) .49 .32 9.7 40 error (invalid witness file) 8.9 4.9 130 530 - -
eca-rers2012/Problem09_label51_false-unreach-call.c unreach-call out of memory 220    220    2900   15000 25     0      error (invalid witness file) .61 .38 10   40 error (invalid witness file) 10   5.7 130 520 - -
eca-rers2012/Problem09_label53_false-unreach-call.c unreach-call out of memory 220    220    2200   15000 25     0      error (invalid witness file) .66 .43 8.4 41 error (invalid witness file) 10   5.7 130 530 - -
eca-rers2012/Problem09_label54_false-unreach-call.c unreach-call out of memory 210    210    2700   15000 25     0      error (invalid witness file) .53 .34 11   40 error (invalid witness file) 9.2 5.0 140 520 - -
eca-rers2012/Problem09_label56_false-unreach-call.c unreach-call out of memory 220    220    2400   15000 25     0      error (invalid witness file) .55 .35 9.7 39 error (invalid witness file) 9.5 5.3 120 520 - -
eca-rers2012/Problem09_label57_false-unreach-call.c unreach-call out of memory 220    220    2600   15000 25     0      error (invalid witness file) .53 .35 11   39 error (invalid witness file) 9.3 5.2 170 530 - -
eca-rers2012/Problem09_label59_false-unreach-call.c unreach-call out of memory 220    220    2300   15000 25     33      error (invalid witness file) .65 .41 8.0 42 error (invalid witness file) 10   5.7 120 520 - -
eca-rers2012/Problem10_label12_false-unreach-call.c unreach-call false(unreach-call) 490    490    5100   270 8.6   0      timeout 92    81    1900   1100 true 12   6.3 200 350 - -
eca-rers2012/Problem10_label15_false-unreach-call.c unreach-call false(unreach-call) 490    490    6300   270 8.7   0      true 26    16    520   770 true 14   8.3 210 360 - -
eca-rers2012/Problem10_label24_false-unreach-call.c unreach-call false(unreach-call) 500    500    6600   250 8.6   0      true 36    25    510   810 true 12   6.3 160 360 - -
eca-rers2012/Problem10_label26_false-unreach-call.c unreach-call false(unreach-call) 490    490    6400   260 8.6   0      true 29    20    650   860 true 11   6.0 190 350 - -
eca-rers2012/Problem10_label28_false-unreach-call.c unreach-call false(unreach-call) 490    490    6000   270 8.7   0      true 32    21    380   770 true 11   5.9 160 360 - -
eca-rers2012/Problem10_label29_false-unreach-call.c unreach-call false(unreach-call) 490    490    5500   260 8.6   0      timeout 92    79    1100   1100 true 12   6.3 200 340 - -
eca-rers2012/Problem10_label41_false-unreach-call.c unreach-call false(unreach-call) 490    490    5800   260 6.1   0      timeout 93    79    1600   1100 true 14   7.6 120 330 - -
eca-rers2012/Problem10_label42_false-unreach-call.c unreach-call false(unreach-call) 490    490    5600   270 6.1   0      true 37    25    600   760 true 12   6.3 180 350 - -
eca-rers2012/Problem10_label46_false-unreach-call.c unreach-call false(unreach-call) 480    480    6400   270 3.6   0      false(unreach-call) 9.0  4.7  130   310 true 12   6.4 170 360 - -
eca-rers2012/Problem10_label47_false-unreach-call.c unreach-call false(unreach-call) 490    490    5400   270 6.1   0      true 33    22    580   760 true 11   5.9 210 350 - -
eca-rers2012/Problem10_label48_false-unreach-call.c unreach-call false(unreach-call) 490    490    6400   270 8.6   0      true 31    21    710   870 true 11   6.0 180 350 - -
eca-rers2012/Problem10_label50_false-unreach-call.c unreach-call false(unreach-call) 500    500    6500   270 8.6   0      timeout 93    82    1800   1400 true 13   7.0 190 340 - -
eca-rers2012/Problem10_label55_false-unreach-call.c unreach-call false(unreach-call) 490    490    6600   280 6.1   .12   true 29    19    400   760 true 12   6.5 170 350 - -
eca-rers2012/Problem10_label57_false-unreach-call.c unreach-call false(unreach-call) 490    490    5200   260 8.6   0      true 23    14    340   730 true 12   6.2 150 360 - -
eca-rers2012/Problem10_label58_false-unreach-call.c unreach-call false(unreach-call) 490    490    6000   270 8.7   0      true 39    26