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