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