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