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