Tool VeriAbs
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-14 09:46:18 CET [[ 2017-01-15 04:55:34 CET ]] [[ 2017-01-15 05:46:09 CET ]] [[ 2017-01-15 05:17:25 CET ]] [[ 2017-01-15 05:48:02 CET ]]
Run set [sv-comp17.ReachSafety-Arrays; sv-comp17.ReachSafety-ControlFlow; sv-comp17.ReachSafety-ECA; sv-comp17.ReachSafety-Loops; sv-comp17.ReachSafety-ProductLines; sv-comp17.ReachSafety-Recursive; sv-comp17.ReachSafety-Sequentialized]
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/veriabs.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/veriabs.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/veriabs.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/veriabs.2017-01-14_0946.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 out of memory 43   40   530 15000 .037 0      error (invalid witness file) .56 .35 9.2 39 error (invalid witness file) 6.2 3.2 95 290 - -
array-examples/sorting_bubblesort_false-unreach-call2_ground.i out of memory 440   430   5700 15000 12     0      error (invalid witness file) .51 .32 6.9 39 error (invalid witness file) 5.8 3.1 110 300 - -
array-examples/sorting_bubblesort_false-unreach-call_ground.i out of memory 430   430   4900 15000 8.1   0      error (invalid witness file) .50 .33 3.8 42 error (invalid witness file) 6.0 3.2 120 310 - -
array-examples/sorting_selectionsort_false-unreach-call2_ground.i out of memory 110   110   1100 15000 .074 0      error (invalid witness file) .47 .30 9.9 39 error (invalid witness file) 6.0 3.2 120 300 - -
array-examples/sorting_selectionsort_false-unreach-call_ground.i out of memory 110   110   1200 15000 .074 0      error (invalid witness file) .48 .33 14   40 error (invalid witness file) 5.9 3.2 120 290 - -
array-examples/standard_allDiff2_false-unreach-call_ground.i out of memory 170   160   1900 15000 .090 0      error (invalid witness file) .48 .31 7.1 40 error (invalid witness file) 6.2 3.2 120 300 - -
array-examples/standard_copy1_false-unreach-call_ground.i false(unreach-call) 5.5 2.3 44 220 .045 0      error (invalid witness file) .53 .34 13   40 error (invalid witness file) 5.7 3.0 80 300 - -
array-examples/standard_copy2_false-unreach-call_ground.i false(unreach-call) 5.8 2.4 43 220 .045 0      error (invalid witness file) .53 .34 11   40 error (invalid witness file) 5.4 2.9 120 290 - -
array-examples/standard_copy3_false-unreach-call_ground.i false(unreach-call) 6.0 2.5 46 220 .045 0      error (invalid witness file) .50 .33 13   39 error (invalid witness file) 5.6 3.1 98 290 - -
array-examples/standard_copy4_false-unreach-call_ground.i false(unreach-call) 6.0 2.6 60 220 .045 0      error (invalid witness file) .53 .34 13   41 error (invalid witness file) 5.6 3.0 120 290 - -
array-examples/standard_copy5_false-unreach-call_ground.i false(unreach-call) 6.2 2.8 48 230 .045 .098  error (invalid witness file) .49 .33 4.9 42 error (invalid witness file) 6.0 3.2 110 300 - -
array-examples/standard_copy6_false-unreach-call_ground.i false(unreach-call) 6.3 3.0 49 220 .045 0      error (invalid witness file) .50 .33 10   41 error (invalid witness file) 6.0 3.1 110 300 - -
array-examples/standard_copy7_false-unreach-call_ground.i false(unreach-call) 6.9 3.2 50 220 .045 0      error (invalid witness file) .48 .32 11   39 error (invalid witness file) 6.2 3.3 120 300 - -
array-examples/standard_copy8_false-unreach-call_ground.i false(unreach-call) 7.1 3.3 59 220 .045 0      error (invalid witness file) .55 .36 9.7 44 error (invalid witness file) 6.1 3.2 110 300 - -
array-examples/standard_copy9_false-unreach-call_ground.i false(unreach-call) 7.1 3.6 60 220 .045 0      error (invalid witness file) .50 .33 8.8 43 error (invalid witness file) 6.7 3.6 130 310 - -
array-examples/standard_copyInitSum2_false-unreach-call_ground.i false(unreach-call) 6.0 2.5 46 220 .045 0      error (invalid witness file) .52 .33 9.2 39 error (invalid witness file) 6.1 3.2 110 300 - -
array-examples/standard_init1_false-unreach-call_ground.i false(unreach-call) 5.6 2.2 43 220 .045 0      error (invalid witness file) .54 .34 13   42 error (invalid witness file) 5.3 2.8 100 290 - -
array-examples/standard_init2_false-unreach-call_ground.i false(unreach-call) 5.6 2.3 49 220 .045 0      error (invalid witness file) .64 .43 7.6 41 error (invalid witness file) 6.2 3.3 120 300 - -
array-examples/standard_init3_false-unreach-call_ground.i false(unreach-call) 5.6 2.4 44 230 .045 0      error (invalid witness file) .49 .31 9.4 41 error (invalid witness file) 5.8 3.1 82 300 - -
array-examples/standard_init4_false-unreach-call_ground.i false(unreach-call) 6.1 2.7 43 220 .045 0      error (invalid witness file) .49 .31 11   39 error (invalid witness file) 5.7 3.0 110 290 - -
array-examples/standard_init5_false-unreach-call_ground.i false(unreach-call) 6.3 2.8 48 220 .045 0      error (invalid witness file) .48 .31 8.8 39 error (invalid witness file) 7.1 3.7 130 320 - -
array-examples/standard_init6_false-unreach-call_ground.i false(unreach-call) 6.4 2.9 47 220 .045 0      error (invalid witness file) .51 .33 8.5 41 error (invalid witness file) 5.7 3.0 110 300 - -
array-examples/standard_init7_false-unreach-call_ground.i false(unreach-call) 6.6 3.1 49 220 .045 0      error (invalid witness file) .52 .34 3.7 40 error (invalid witness file) 6.7 3.5 130 310 - -
array-examples/standard_init8_false-unreach-call_ground.i false(unreach-call) 6.9 3.2 52 220 .045 .59   error (invalid witness file) .48 .32 9.4 40 error (invalid witness file) 5.7 3.0 110 290 - -
array-examples/standard_init9_false-unreach-call_ground.i false(unreach-call) 6.8 3.3 61 220 .045 0      error (invalid witness file) .53 .33 12   40 error (invalid witness file) 6.1 3.2 130 300 - -
array-examples/standard_minInArray_false-unreach-call_ground.i unknown 270   260   2800 1100 41     .098  error (invalid witness file) .52 .34 10   42 error (invalid witness file) 6.0 3.2 130 300 - -
array-examples/standard_partition_false-unreach-call_ground.i out of memory 35   30   450 15000 .078 0      error (invalid witness file) .50 .33 12   41 error (invalid witness file) 5.9 3.1 120 300 - -
array-examples/standard_running_false-unreach-call.i out of memory 99   94   1000 15000 .082 0      error (invalid witness file) .50 .33 7.1 40 error (invalid witness file) 5.7 3.1 110 300 - -
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i out of memory 43   40   560 15000 .037 0      - - error (invalid witness file) .53 .34 11   40 error (invalid witness file) 5.5 2.9 100 290
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i out of memory 41   39   510 15000 .037 0      - - error (invalid witness file) .50 .32 9.8 40 error (invalid witness file) 6.0 3.2 130 300
array-examples/relax_true-unreach-call.i unknown 570   560   5300 13000 .37  0      - - error (invalid witness file) .49 .33 9.7 40 error (invalid witness file) 6.0 3.2 110 300
array-examples/sanfoundry_02_true-unreach-call_ground.i unknown 800   790   8200 6700 33     0      - - error (invalid witness file) .51 .35 8.0 40 error (invalid witness file) 6.9 3.7 140 320
array-examples/sanfoundry_10_true-unreach-call_ground.i true 650   310   7000 880 .17  0      - - out of memory 580    550    11000   7000 timeout 960   790   12000 3100
array-examples/sanfoundry_24_true-unreach-call.i true 650   300   6200 880 .17  0      - - error 3.8  2.1  66   280 true 10   5.6 160 340
array-examples/sanfoundry_27_true-unreach-call_ground.i true 650   310   6900 920 .17  0      - - error 3.9  2.2  84   280 timeout 960   820   16000 4100
array-examples/sanfoundry_43_true-unreach-call_ground.i true 6.4 2.2 43 280 .041 0      - - true 3.7  2.0  67   270 true 8.0 4.2 130 320
array-examples/sorting_bubblesort_true-unreach-call_ground.i out of memory 370   370   4400 15000 25     0      - - error (invalid witness file) .51 .33 9.3 41 error (invalid witness file) 6.1 3.2 120 310
array-examples/sorting_selectionsort_true-unreach-call_ground.i out of memory 110   110   1100 15000 .074 0      - - error (invalid witness file) .49 .33 5.2 40 error (invalid witness file) 6.1 3.3 130 300
array-examples/standard_compareModified_true-unreach-call_ground.i true 650   310   6900 900 .17  .090  - - error 3.7  2.1  83   270 timeout 960   820   11000 3800
array-examples/standard_compare_true-unreach-call_ground.i true 640   300   6600 860 .17  0      - - error 3.8  2.1  63   270 timeout 960   800   11000 4600
array-examples/standard_copy1_true-unreach-call_ground.i true 640   300   7000 850 .17  0      - - error 3.7  2.1  82   270 timeout 960   800   19000 4400
array-examples/standard_copy2_true-unreach-call_ground.i true 650   300   6900 880 .17  0      - - error 3.8  2.1  79   270 timeout 960   840   19000 4500
array-examples/standard_copy3_true-unreach-call_ground.i true 680   340   7700 880 .17  0      - - error 3.9  2.2  77   270 timeout 960   860   12000 4700
array-examples/standard_copy4_true-unreach-call_ground.i true 670   330   6800 900 .17  0      - - error 4.8  2.7  47   270 timeout 960   860   21000 4700
array-examples/standard_copy5_true-unreach-call_ground.i true 680   330   7000 940 .17  .19   - - error 3.8  2.1  60   270 timeout 960   860   19000 4700
array-examples/standard_copy6_true-unreach-call_ground.i true 840   490   8900 980 .17  .090  - - error 3.7  2.1  32   270 timeout 960   870   13000 4700
array-examples/standard_copy7_true-unreach-call_ground.i true 890   540   9200 1000 .098 .082  - - error 4.1  2.3  78   270 timeout 960   870   15000 5100
array-examples/standard_copy8_true-unreach-call_ground.i true 900   540   8800 990 .098 .082  - - error 3.9  2.1  52   270 timeout 960   870   13000 4700
array-examples/standard_copy9_true-unreach-call_ground.i out of memory 760   750   11000 15000 41     0      - - error (invalid witness file) .52 .32 7.3 42 error (invalid witness file) 5.8 3.1 99 300
array-examples/standard_copyInitSum2_true-unreach-call_ground.i true 670   330   8000 890 .17  0      - - error 3.9  2.1  81   270 timeout 960   860   20000 4900
array-examples/standard_copyInitSum3_true-unreach-call_ground.i true 660   310   6700 910 .17  .090  - - error 4.9  2.7  53   280 timeout 960   860   13000 4700
array-examples/standard_copyInitSum_true-unreach-call_ground.i true 650   310   7200 890 .17  .19   - - error 3.8  2.1  84   270 timeout 960   860   18000 4800
array-examples/standard_copyInit_true-unreach-call_ground.i true 650   310   6600 850 .17  0      - - error 3.9  2.1  82   280 timeout 960   840   20000 4200
array-examples/standard_find_true-unreach-call_ground.i true 650   300   6900 920 .17  .082  - - error 3.9  2.2  66   280 timeout 960   800   11000 4000
array-examples/standard_init1_true-unreach-call_ground.i true 640   300   7100 860 .17  .082  - - error 4.7  2.6  47   270 timeout 960   790   17000 4100
array-examples/standard_init2_true-unreach-call_ground.i true 640   300   6300 890 .17  0      - - error 3.7  2.1  70   270 timeout 960   830   11000 3800
array-examples/standard_init3_true-unreach-call_ground.i true 650   300   7500 870 .17  .090  - - error 3.9  2.2  76   280 timeout 960   850   15000 4200
array-examples/standard_init4_true-unreach-call_ground.i true 650   300   6500 890 .17  0      - - error 3.6  2.0  60   270 timeout 960   860   12000 4800
array-examples/standard_init5_true-unreach-call_ground.i true 650   300   7100 930 .17  0      - - error 4.4  2.4  47   270 timeout 960   860   24000 4700
array-examples/standard_init6_true-unreach-call_ground.i true 650   300   6100 960 .17  0      - - error 4.0  2.2  68   280 timeout 960   860   16000 4700
array-examples/standard_init7_true-unreach-call_ground.i true 660   310   6500 940 .17  0      - - error 4.1  2.2  74   280 timeout 960   870   19000 4700
array-examples/standard_init8_true-unreach-call_ground.i true 660   310   6800 1000 .17  .090  - - error 3.8  2.1  58   270 timeout 960   870   25000 4800
array-examples/standard_init9_true-unreach-call_ground.i true 660   310   6800 1000 .098 0      - - error 4.2  2.3  84   290 timeout 960   860   12000 4900
array-examples/standard_maxInArray_true-unreach-call_ground.i true 640   300   6800 900 .17  0      - - error 3.8  2.1  68   270 timeout 960   820   19000 3900
array-examples/standard_minInArray_true-unreach-call_ground.i true 640   300   5900 870 .17  0      - - error 4.2  2.3  77   290 timeout 960   820   11000 4100
array-examples/standard_palindrome_true-unreach-call_ground.i true 640   300   6000 840 .17  0      - - error 4.0  2.2  86   270 timeout 960   800   13000 4100
array-examples/standard_partial_init_true-unreach-call_ground.i true 650   300   6700 960 .17  0      - - error 3.8  2.1  64   270 timeout 960   830   19000 4000
array-examples/standard_partition_original_true-unreach-call_ground.i true 650   300   6700 900 .17  0      - - error 3.6  2.0  58   270 timeout 960   820   21000 3800
array-examples/standard_partition_true-unreach-call_ground.i true 650   300   6500 870 .17  0      - - error 4.0  2.3  67   270 timeout 960   860   12000 4800
array-examples/standard_password_true-unreach-call_ground.i true 640   300   6800 860 .17  0      - - error 4.1  2.3  95   280 timeout 960   800   11000 4700
array-examples/standard_reverse_true-unreach-call_ground.i true 640   300   7500 830 .17  .082  - - error 3.9  2.2  83   270 timeout 960   800   12000 4100
array-examples/standard_running_true-unreach-call.i true 640   300   6900 870 .17  0      - - error 4.0  2.2  82   280 timeout 960   850   20000 4700
array-examples/standard_sentinel_true-unreach-call_true-termination.i true 640   300   6600 770 .17  .082  - - error 3.6  2.0  61   270 true 13   7.0 260 400
array-examples/standard_seq_init_true-unreach-call_ground.i out of memory 250   240   2500 15000 12     0      - - error (invalid witness file) .60 .39 7.6 39 error (invalid witness file) 8.5 4.5 100 300
array-examples/standard_strcmp_true-unreach-call_ground.i true 640   300   6800 880 .17  .082  - - error 3.6  2.0  33   280 timeout 960   810   11000 5200
array-examples/standard_strcpy_original_true-unreach-call.i out of memory 240   240   1900 15000 23     0      - - error (invalid witness file) .54 .35 13   42 error (invalid witness file) 6.2 3.3 120 300
array-examples/standard_strcpy_true-unreach-call_ground.i true 650   300   6700 920 .17  0      - - error 3.7  2.1  63   270 timeout 960   790   14000 3800
array-examples/standard_two_index_01_true-unreach-call.i true 640   300   7100 860 .17  0      - - error 3.8  2.1  66   270 timeout 960   830   11000 2900
array-examples/standard_two_index_02_true-unreach-call.i true 640   300   6700 850 .17  0      - - error 3.8  2.1  68   280 timeout 960   820   12000 3000
array-examples/standard_two_index_03_true-unreach-call.i true 640   300   6500 850 .17  .19   - - error 3.8  2.1  74   270 timeout 960   810   12000 2700
array-examples/standard_two_index_04_true-unreach-call.i true 640   300   7200 850 .17  .082  - - error 3.8  2.1  75   270 timeout 960   830   17000 2800
array-examples/standard_two_index_05_true-unreach-call.i true 650   300   7200 850 .17  0      - - error 3.8  2.1  75   280 timeout 960   830   13000 2700
array-examples/standard_two_index_06_true-unreach-call.i true 640   300   6000 860 .17  .090  - - error 3.7  2.1  83   270 timeout 960   830   12000 2800
array-examples/standard_two_index_07_true-unreach-call.i true 640   300   6400 870 .17  0      - - error 3.7  2.1  64   270 timeout 960   830   12000 2700
array-examples/standard_two_index_08_true-unreach-call.i true 640   300   6400 840 .17  0      - - error 3.7  2.1  75   270 timeout 960   820   23000 2900
array-examples/standard_two_index_09_true-unreach-call.i true 640   300   6700 840 .17  0      - - error 4.2  2.3  69   280 timeout 960   830   12000 2900
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i true 640   310   6300 850 .17  0      - - error 3.9  2.2  87   270 timeout 960   820   19000 2600
array-examples/standard_vector_difference_true-unreach-call_ground.i true 640   300   7400 830 .17  0      - - error 3.6  2.0  65   270 timeout 960   790   13000 4000
array-industry-pattern/array_assert_loop_dep_false-unreach-call.i out of memory 250   240   2200 15000 12     0      error (invalid witness file) .51 .32 8.0 40 error (invalid witness file) 5.8 3.1 110 300 - -
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i timeout 900   900   8500 14000 .29  0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.0 3.1 120 300 - -
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call.i out of memory 36   33   440 15000 .037 0      error (invalid witness file) .52 .33 11   41 error (invalid witness file) 5.7 3.0 110 290 - -
array-industry-pattern/array_range_init_false-unreach-call.i false(unreach-call) 5.6 2.4 46 270 .045 0      error (invalid witness file) .50 .32 8.5 40 error (invalid witness file) 6.1 3.3 120 300 - -
array-industry-pattern/array_single_elem_init_false-unreach-call.i out of memory 36   33   470 15000 .037 0      error (invalid witness file) .55 .34 12   42 error (invalid witness file) 6.5 3.4 120 320 - -
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i out of memory 50   45   550 15000 .078 0      error (invalid witness file) .55 .36 11   42 error (invalid witness file) 7.2 3.7 140 330 - -
array-industry-pattern/array_monotonic_true-unreach-call.i true 640   300   6400 870 .17  0      - - error 4.3  2.4  43   270 timeout 960   850   15000 3100
array-industry-pattern/array_mul_init_true-unreach-call.i out of memory 35   32   460 15000 .037 .098  - - error (invalid witness file) .50 .34 4.8 40 error (invalid witness file) 5.7 3.0 120 300
array-industry-pattern/array_of_struct_break_true-unreach-call.i true 640   300   6400 880 .17  .090  - - timeout 900    890    9400   5500 timeout 960   940   17000 4900
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i true 650   300   6900 880 .18  0      - - timeout 900    890    10000   3400 timeout 960   940   8900 5200
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i true 650   300   6200 900 .18  .090  - - timeout 900    890    11000   5300 timeout 960   830   16000 4800
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i true 650   300   6500 870 .18  .090  - - timeout 900    890    6900   3400 timeout 960   940   14000 5300
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i out of memory 44   41   470 15000 .037 0      - - error (invalid witness file) .50 .32 9.0 40 error (invalid witness file) 5.9 3.1 110 300
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i true 650   310   6800 870 .17  0      - - timeout 910    890    8900   6300 error 11   5.7 220 320
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i true 640   300   6500 890 .18  .020  - - timeout 900    890    12000   4400 timeout 960   940   11000 5200
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i true 650   300   7100 910 .18  0      - - timeout 900    890    10000   3600 timeout 960   940   11000 5300
array-industry-pattern/array_shadowinit_true-unreach-call.i true 650   300   6800 890 .17  0      - - timeout 910    900    8500   6400 timeout 960   810   16000 2500
reducercommutativity/rangesum05_false-unreach-call.i false(unreach-call) 25   16   250 430 .11  .0041 false(unreach-call) 6.7  4.0  150   380 false(unreach-call) 17   11   340 480 - -
reducercommutativity/rangesum10_false-unreach-call.i false(unreach-call) 32   18   290 490 .11  0      false(unreach-call) 8.9  5.7  140   400 false(unreach-call) 17   9.4 300 580 - -
reducercommutativity/rangesum20_false-unreach-call.i false(unreach-call) 50   23   420 950 .20  .0041 false(unreach-call) 12    7.8  160   480 out of memory 88   55   1000 7000 - -
reducercommutativity/rangesum40_false-unreach-call.i false(unreach-call) 95   51   860 2200 .30  0      false(unreach-call) 14    8.3  220   670 out of memory 88   52   1100 7000 - -
reducercommutativity/rangesum60_false-unreach-call.i false(unreach-call) 190   140   2300 3700 .40  .10   false(unreach-call) 21    13    190   800 out of memory 67   42   560 7000 - -
reducercommutativity/rangesum_false-unreach-call.i false(unreach-call) 150   140   1800 460 .19  0      false(unreach-call) 7.3  4.3  110   380 false(unreach-call) 12   6.1 220 410 - -
reducercommutativity/avg05_true-unreach-call.i out of memory 670   660   7300 15000 .18  0      - - error (invalid witness file) .51 .33 13   40 error (invalid witness file) 7.1 3.7 120 320
reducercommutativity/avg10_true-unreach-call.i out of memory 420   420   6100 15000 .22  0      - - error (invalid witness file) .48 .31 7.6 39 error (invalid witness file) 6.1 3.2 120 300
reducercommutativity/avg20_true-unreach-call.i timeout 900   900   11000 500 .11  0      - - error (invalid witness file) .52 .36 12   41 error (invalid witness file) 6.1 3.2 120 300
reducercommutativity/avg40_true-unreach-call.i timeout 900   900   11000 500 .14  0      - - error (invalid witness file) .57 .37 11   40 error (invalid witness file) 5.6 3.0 100 300
reducercommutativity/avg60_true-unreach-call.i timeout 900   900   12000 500 .14  0      - - error (invalid witness file) .53 .34 11   41 error (invalid witness file) 6.2 3.3 130 300
reducercommutativity/avg_true-unreach-call.i out of memory 470   470   3300 15000 .21  0      - - error (invalid witness file) .55 .34 12   43 error (invalid witness file) 6.0 3.2 120 290
reducercommutativity/max05_true-unreach-call_true-termination.i true 680   320   7900 1100 .21  .19   - - true 90    81    1300   830 timeout 960   900   27000 1300
reducercommutativity/max10_true-unreach-call_true-termination.i true 790   440   8100 1000 .14  0      - - timeout 900    890    11000   1900 timeout 960   890   16000 2400
reducercommutativity/max20_true-unreach-call.i timeout 900   900   10000 520 .11  0      - - error (invalid witness file) .50 .32 9.0 39 error (invalid witness file) 6.1 3.2 100 300
reducercommutativity/max40_true-unreach-call.i timeout 900   900   13000 520 .14  .098  - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.3 3.3 120 300
reducercommutativity/max60_true-unreach-call.i timeout 900   900   11000 530 .14  0      - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.0 3.2 120 300
reducercommutativity/max_true-unreach-call.i out of memory 270   270   3300 15000 .27  0      - - error (invalid witness file) .51 .33 4.2 39 error (invalid witness file) 6.3 3.3 120 310
reducercommutativity/sep05_true-unreach-call.i true 680   320   7300 1100 .23  0      - - true 130    120    1300   970 true 210   150   2600 2800
reducercommutativity/sep10_true-unreach-call.i true 680   320   7800 1000 .16  0      - - timeout 900    890    12000   1300 out of memory 740   620   16000 7000
reducercommutativity/sep20_true-unreach-call.i true 670   320   7400 1000 .18  0      - - timeout 900    890    8700   1200 out of memory 340   230   5900 7000
reducercommutativity/sep40_true-unreach-call.i true 690   340   7600 1100 .19  0      - - timeout 900    890    7000   1900 out of memory 760   610   12000 7000
reducercommutativity/sep60_true-unreach-call.i true 770   410   8900 1100 .16  .090  - - timeout 900    890    8900   3200 timeout 960   820   13000 5600
reducercommutativity/sep_true-unreach-call.i out of memory 270   260   3100 15000 .30  .098  - - error (invalid witness file) .49 .32 7.3 40 error (invalid witness file) 6.1 3.2 130 300
reducercommutativity/sum05_true-unreach-call_true-termination.i true 710   360   7800 990 .14  .090  - - timeout 900    900    13000   1100 true 33   20   660 730
reducercommutativity/sum10_true-unreach-call.i out of memory 420   420   4700 15000 .22  0      - - error (invalid witness file) .50 .32 8.0 39 error (invalid witness file) 6.5 3.4 120 310
reducercommutativity/sum20_true-unreach-call.i timeout 900   900   9600 490 .11  0      - - error (invalid witness file) .54 .36 12   42 error (invalid witness file) 5.8 3.2 130 300
reducercommutativity/sum40_true-unreach-call.i timeout 900   900   11000 490 .14  0      - - error (invalid witness file) .49 .32 13   40 error (invalid witness file) 5.8 3.1 110 300
reducercommutativity/sum60_true-unreach-call.i timeout 900   900   12000 490 .14  0      - - error (invalid witness file) .57 .37 7.6 44 error (invalid witness file) 6.0 3.2 120 300
reducercommutativity/sum_true-unreach-call.i out of memory 420   420   3900 15000 .33  0      - - error (invalid witness file) .49 .33 6.3 40 error (invalid witness file) 5.6 3.0 120 290
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 270   250   2700 500 .54  .0041 false(unreach-call) 8.4  4.4  130   310 false(unreach-call) 17   8.8 240 530 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 270   250   2800 460 .24  0      false(unreach-call) 8.6  4.6  180   310 false(unreach-call) 14   7.3 240 460 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 270   250   2800 510 .31  0      false(unreach-call) 8.8  4.6  170   310 false(unreach-call) 15   8.1 300 510 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 260   250   3100 450 .22  .0041 false(unreach-call) 7.7  4.1  150   330 false(unreach-call) 13   7.0 250 440 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 260   250   3000 320 .10  0      - - true 16    8.5  190   660 true 95   52   1300 1100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 620   610   7200 310 1.9   0      - - error (invalid witness file) .50 .32 9.5 40 error (invalid witness file) 5.5 2.9 100 290
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 260   250   2900 280 .10  0      - - true 13    6.7  130   480 true 72   39   1100 910
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 260   250   2900 290 .10  0      - - true 13    6.7  210   500 true 74   40   730 990
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 260   250   2800 270 .10  .0082 - - true 6.9  3.7  140   310 true 24   12   520 570
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 260   250   2400 270 .10  0      - - true 7.6  4.0  120   320 true 21   11   380 580
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(unreach-call) 43   27   370 470 .26  0      false(unreach-call) 8.1  4.3  160   310 false(unreach-call) 14   7.1 200 530 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(unreach-call) 43   27   420 470 .26  .0041 false(unreach-call) 7.3  3.9  150   300 false(unreach-call) 12   6.1 210 500 - -
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(unreach-call) 47   31   440 480 .27  0      false(unreach-call) 8.9  4.7  120   350 false(unreach-call) 13   6.7 190 530 - -
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(unreach-call) 44   27   430 470 .26  0      false(unreach-call) 7.3  3.9  130   310 false(unreach-call) 12   6.1 230 490 - -
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(unreach-call) 59   47   540 460 .14  .0082 false(unreach-call) 6.5  3.5  150   290 false(unreach-call) 11   5.6 200 380 - -
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c witness invalid (false(unreach-call)) 410   360   4700 2200 2.0   0      error (invalid witness file) .53 .34 14   41 error (invalid witness file) 5.8 3.1 100 300 - -
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c timeout 900   890   6300 590 .11  0      error (invalid witness file) .47 .31 6.1 39 error (invalid witness file) 7.1 3.7 130 330 - -
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(unreach-call) 87   64   850 570 .27  0      false(unreach-call) 7.5  4.0  140   310 false(unreach-call) 14   7.2 270 530 - -
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(unreach-call) 72   56   760 520 .18  .0041 false(unreach-call) 6.9  3.7  130   290 false(unreach-call) 12   6.3 170 440 - -
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(unreach-call) 69   54   700 560 .23  0      false(unreach-call) 8.0  4.2  160   310 false(unreach-call) 12   6.4 210 500 - -
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(unreach-call) 68   54   670 510 .23  .0041 false(unreach-call) 7.9  4.1  150   320 false(unreach-call) 12   6.6 220 520 - -
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(unreach-call) 74   63   760 520 .10  0      false(unreach-call) 5.8  3.1  90   290 false(unreach-call) 9.7 5.2 130 340 - -
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 38   26   350 390 .10  0      - - true 13    7.1  100   530 true 55   30   1200 1500
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 37   26   360 400 .10  0      - - true 13    7.4  210   550 true 61   33   1100 1400
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 39   28   440 480 .10  0      - - true 17    9.4  170   560 true 56   30   1000 1600
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 37   26   350 400 .10  0      - - true 15    8.3  200   540 true 57   31   700 1500
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c timeout 900   890   6900 310 .12  0      - - error (invalid witness file) .54 .35 15   42 error (invalid witness file) 5.9 3.2 120 300
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c timeout 900   900   4000 220 .25  0      - - error (invalid witness file) .49 .33 3.7 39 error (invalid witness file) 5.9 3.2 120 300
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c unknown 560   550   3200 270 8.7   0      - - error (invalid witness file) .49 .32 9.2 40 error (invalid witness file) 6.0 3.2 120 300
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c timeout 900   890   5900 510 .11  0      - - error (invalid witness file) .50 .32 9.5 40 error (invalid witness file) 6.2 3.3 120 300
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c timeout 900   890   6100 510 .12  0      - - error (invalid witness file) .50 .33 11   41 error (invalid witness file) 5.9 3.1 120 300
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c timeout 900   890   5700 510 .11  0      - - error (invalid witness file) .51 .32 7.3 41 error (invalid witness file) 5.8 3.1 130 280
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c timeout 900   890   6600 520 .11  0      - - error (invalid witness file) .55 .34 11   40 error (invalid witness file) 8.6 4.5 130 300
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c timeout 900   890   6700 520 .12  0      - - error (invalid witness file) .51 .33 10   39 error (invalid witness file) 5.9 3.2 130 300
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c timeout 900   900   7200 510 .11  0      - - error (invalid witness file) .50 .35 8.1 39 error (invalid witness file) 6.2 3.2 110 300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 160   160   2200 310 .50  .0041 false(unreach-call) 5.7  3.1  110   290 false(unreach-call) 13   6.9 210 430 - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 900   890   7900 240 3.7   0      error (invalid witness file) .53 .34 10   42 error (invalid witness file) 6.2 3.3 110 300 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 23   5.8 170 850 .045 0      - - true 7.8  4.1  130   330 true 22   11   390 810
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 23   5.9 160 850 .045 0      - - true 7.4  4.0  150   310 true 27   14   440 1100
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 28   6.9 200 890 .045 0      - - true 7.6  4.0  110   330 true 33   18   640 2100
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 28   7.0 190 900 .045 0      - - true 8.4  4.4  130   320 true 47   28   880 3900
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 34   8.5 260 940 .045 0      - - true 8.3  4.4  100   340 true 74   47   800 6300
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 31   7.7 220 1000 .045 .0082 - - true 8.1  4.3  150   330 out of memory 100   62   1500 7000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 16   4.3 110 610 .045 .0082 - - true 5.8  3.2  97   290 true 9.7 5.2 180 360
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 19   4.7 140 680 .045 .0082 - - true 6.2  3.3  120   300 true 12   6.3 230 380
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 20   5.1 140 740 .045 0      - - true 7.1  3.8  140   320 true 15   7.8 270 430
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 20   5.2 140 790 .045 .0082 - - true 6.4  3.5  100   320 true 16   8.4 320 560
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 22   5.4 140 820 .045 0      - - true 7.6  4.1  130   330 true 26   13   260 600
ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 600   570   7800 3400 20     0      error (invalid witness file) .51 .33 9.6 40 error (invalid witness file) 7.2 3.8 140 310 - -
ntdrivers/diskperf_false-unreach-call.i.cil.c true 25   9.2 210 290 .11  0      unknown 56    45    880   2000 false(unreach-call) 26   14   400 610 - -
ntdrivers/floppy_false-unreach-call.i.cil.c false(unreach-call) 92   51   880 1200 .25  0      false(unreach-call) 21    12    360   1100 true 23   13   450 570 - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c false(unreach-call) 41   20   320 500 .59  .0041 true 26    14    410   620 true 14   7.3 170 440 - -
ntdrivers/parport_false-unreach-call.i.cil.c unknown 360   320   3100 390 1.2   0      error (invalid witness file) .54 .35 13   41 error (invalid witness file) 6.4 3.4 120 290 - -
ntdrivers/cdaudio_true-unreach-call.i.cil.c true 37   16   340 800 .11  0      - - true 42    27    930   1100 true 150   94   3400 2400
ntdrivers/diskperf_true-unreach-call.i.cil.c true 25   9.2 190 290 .11  0      - - out of memory 510    500    4600   7000 true 100   62   2500 1500
ntdrivers/floppy2_true-unreach-call.i.cil.c timeout 900   870   10000 2200 .92  .098  - - error (invalid witness file) .50 .32 12   41 error (invalid witness file) 7.6 4.0 160 310
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 820   790   11000 1600 1.0   0      - - error (invalid witness file) .51 .33 7.2 40 error (invalid witness file) 6.8 3.6 120 310
ntdrivers/parport_true-unreach-call.i.cil.c unknown 360   320   3200 390 1.2   0      - - error (invalid witness file) .70 .44 7.5 43 error (invalid witness file) 7.6 3.9 120 300
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c false(unreach-call) 53   34   510 710 .28  .10   true 5.7  3.1  98   280 true 19   10   310 530 - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c out of memory 47   42   630 15000 .045 0      error (invalid witness file) .49 .32 8.7 39 error (invalid witness file) 6.2 3.3 120 300 - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c out of memory 48   43   640 15000 .045 0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.2 3.3 130 300 - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c out of memory 47   42   520 15000 .045 0      error (invalid witness file) .48 .32 11   40 error (invalid witness file) 6.4 3.4 120 300 - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c out of memory 250   240   2700 15000 .090 0      error (invalid witness file) .51 .33 9.3 40 error (invalid witness file) 5.9 3.1 100 300 - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false(unreach-call) 320   300   3300 15000 .29  0      true 8.6  4.6  180   300 true 11   6.0 200 370 - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false(unreach-call) 320   300   3300 14000 .26  0      true 8.6  4.5  150   310 true 10   5.5 190 350 - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false(unreach-call) 320   300   3200 15000 .29  0      true 8.8  4.7  130   300 true 10   5.6 190 350 - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c false(unreach-call) 320   300   2700 9700 .17  0      true 7.9  4.2  110   300 true 11   5.9 200 370 - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c timeout 900   890   8900 800 .16  0      error (invalid witness file) .50 .32 12   39 error (invalid witness file) 5.7 3.0 110 290 - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c false(unreach-call) 310   300   3000 14000 .14  .0041 true 8.2  4.4  130   290 true 10   5.5 190 360 - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c timeout 900   890   6500 800 .16  .098  error (invalid witness file) .50 .31 12   40 error (invalid witness file) 6.2 3.3 130 300 - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c false(unreach-call) 310   300   2800 14000 .17  .0041 false(unreach-call) 7.1  3.8  150   300 true 10   5.4 180 340 - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c timeout 900   890   6500 800 .16  0      error (invalid witness file) .62 .39 6.0 39 error (invalid witness file) 6.3 3.3 130 300 - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c false(unreach-call) 310   300   2900 13000 .17  .10   false(unreach-call) 7.2  3.8  130   310 true 9.5 5.2 160 350 - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c false(unreach-call) 320   300   3100 800 .34  0      false(unreach-call) 9.9  5.2  190   330 true 11   5.8 200 370 - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c false(unreach-call) 320   300   3100 10000 .17  .10   true 8.0  4.3  130   300 true 10   5.4 180 360 - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c timeout 900   890   7000 14000 .16  0      error (invalid witness file) .53 .33 10   41 error (invalid witness file) 6.5 3.4 120 310 - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c false(unreach-call) 320   300   3400 10000 .17  .10   true 8.2  4.3  150   300 true 9.7 5.3 170 350 - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c true 44   32   420 690 .11  0      - - true 190    170    2400   2000 timeout 960   890   13000 2700
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c out of memory 47   42   630 15000 .045 0      - - error (invalid witness file) .52 .34 12   39 error (invalid witness file) 5.8 3.2 100 290
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c out of memory 47   42   570 15000 .045 0      - - error (invalid witness file) .52 .34 13   42 error (invalid witness file) 8.2 4.3 120 300
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c out of memory 47   42   620 15000 .045 0      - - error (invalid witness file) .53 .35 5.8 41 error (invalid witness file) 5.9 3.1 120 290
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c out of memory 130   120   1300 15000 .045 0      - - error (invalid witness file) .50 .32 10   39 error (invalid witness file) 6.2 3.3 140 300
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c timeout 900   890   6800 14000 .16  .098  - - error (invalid witness file) .50 .33 8.4 40 error (invalid witness file) 5.8 3.1 110 300
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c timeout 900   890   7200 7300 .16  0      - - error (invalid witness file) .52 .34 7.5 40 error (invalid witness file) 6.1 3.2 130 300
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c timeout 900   890   8100 800 .16  0      - - error (invalid witness file) .51 .33 9.7 40 error (invalid witness file) 6.7 3.5 140 310
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c timeout 900   890   6100 9700 .16  0      - - error (invalid witness file) .53 .34 6.7 39 error (invalid witness file) 6.1 3.2 120 290
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c timeout 900   890   6400 800 .16  0      - - error (invalid witness file) .51 .34 6.5 41 error (invalid witness file) 6.4 3.4 130 300
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c timeout 900   890   9000 11000 .16  0      - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 6.6 3.5 130 310
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c timeout 900   890   6400 800 .16  0      - - error (invalid witness file) .52 .32 9.7 42 error (invalid witness file) 6.9 3.6 130 310
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c timeout 900   890   7400 10000 .16  0      - - error (invalid witness file) .52 .32 12   40 error (invalid witness file) 7.1 3.7 140 320
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c timeout 900   890   6400 800 .16  0      - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.6 3.5 110 310
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c timeout 900   890   5900 12000 .16  0      - - error (invalid witness file) .48 .32 11   39 error (invalid witness file) 6.3 3.3 120 300
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c timeout 900   890   6500 12000 .16  0      - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 7.1 3.7 140 320
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c timeout 900   890   7800 11000 .16  0      - - error (invalid witness file) .53 .33 12   39 error (invalid witness file) 6.5 3.4 140 310
eca-rers2012/Problem01_label15_false-unreach-call.c false(unreach-call) 67   31   550 720 .91  0      false(unreach-call) 10    5.3  120   330 false(unreach-call) 24   12   360 1100 - -
eca-rers2012/Problem01_label20_false-unreach-call.c false(unreach-call) 130   85   1400 1800 1.3   0      false(unreach-call) 11    5.9  170   380 false(unreach-call) 23   12   330 1000 - -
eca-rers2012/Problem01_label21_false-unreach-call.c false(unreach-call) 81   46   760 640 1.0   0      false(unreach-call) 11    5.7  200   370 false(unreach-call) 24   12   370 1100 - -
eca-rers2012/Problem01_label32_false-unreach-call.c false(unreach-call) 75   34   660 1100 1.2   0      false(unreach-call) 12    6.4  190   370 false(unreach-call) 24   12   310 990 - -
eca-rers2012/Problem01_label33_false-unreach-call.c false(unreach-call) 80   40   680 1100 1.1   .0041 false(unreach-call) 11    5.8  200   340 false(unreach-call) 24   13   350 980 - -
eca-rers2012/Problem01_label35_false-unreach-call.c false(unreach-call) 70   35   590 730 .93  .0041 false(unreach-call) 11    5.8  160   350 false(unreach-call) 24   12   430 960 - -
eca-rers2012/Problem01_label37_false-unreach-call.c false(unreach-call) 64   29   610 910 1.0   0      false(unreach-call) 11    5.6  140   370 false(unreach-call) 25   13   340 970 - -
eca-rers2012/Problem01_label38_false-unreach-call.c false(unreach-call) 60   27   490 750 .92  0      false(unreach-call) 11    5.9  210   360 false(unreach-call) 26   13   370 1100 - -
eca-rers2012/Problem01_label44_false-unreach-call.c false(unreach-call) 47   17   410 560 .71  0      false(unreach-call) 10    5.3  160   310 false(unreach-call) 21   11   270 960 - -
eca-rers2012/Problem01_label47_false-unreach-call.c false(unreach-call) 160   120   1800 1400 1.4   .0082 false(unreach-call) 11    5.8  190   380 false(unreach-call) 24   12   410 1000 - -
eca-rers2012/Problem01_label50_false-unreach-call.c false(unreach-call) 69   32   590 720 .93  0      false(unreach-call) 12    6.5  120   330 false(unreach-call) 23   12   290 1000 - -
eca-rers2012/Problem01_label56_false-unreach-call.c false(unreach-call) 72   35   650 740 1.0   .0041 false(unreach-call) 11    5.8  180   350 false(unreach-call) 23   12   260 1000 - -
eca-rers2012/Problem01_label57_false-unreach-call.c false(unreach-call) 78   41   730 1500 1.0   0      false(unreach-call) 12    6.1  220   380 false(unreach-call) 25   13   450 1100 - -
eca-rers2012/Problem02_label13_false-unreach-call.c false(unreach-call) 42   17   300 400 .51  0      false(unreach-call) 9.7  5.1  160   300 false(unreach-call) 21   11   300 690 - -
eca-rers2012/Problem02_label16_false-unreach-call.c false(unreach-call) 42   16   360 490 .51  0      false(unreach-call) 9.2  4.8  180   320 false(unreach-call) 18   9.3 310 560 - -
eca-rers2012/Problem02_label43_false-unreach-call.c false(unreach-call) 42   17   370 490 .51  0      false(unreach-call) 9.2  4.8  180   300 false(unreach-call) 19   10   380 670 - -
eca-rers2012/Problem02_label44_false-unreach-call.c false(unreach-call) 44   18   370 400 .52  .10   false(unreach-call) 9.2  4.9  130   320 false(unreach-call) 22   11   290 780 - -
eca-rers2012/Problem02_label45_false-unreach-call.c false(unreach-call) 59   27   550 680 .70  .0041 false(unreach-call) 10    5.3  170   340 false(unreach-call) 24   12   260 1000 - -
eca-rers2012/Problem02_label50_false-unreach-call.c false(unreach-call) 58   26   510 600 .70  .10   false(unreach-call) 10    5.4  160   310 false(unreach-call) 23   12   180 1000 - -
eca-rers2012/Problem02_label59_false-unreach-call.c false(unreach-call) 50   20   440 500 .67  0      false(unreach-call) 11    5.8  190   350 false(unreach-call) 25   13   390 1100 - -
eca-rers2012/Problem03_label09_false-unreach-call.c witness invalid (false(unreach-call)) 400   350   4200 1700 .11  0      error (invalid witness file) .54 .35 13   40 error (invalid witness file) 6.5 3.4 120 300 - -
eca-rers2012/Problem03_label13_false-unreach-call.c false(unreach-call) 320   260   3400 1700 2.6   .0041 false(unreach-call) 22    11    380   560 false(unreach-call) 52   28   800 3100 - -
eca-rers2012/Problem03_label26_false-unreach-call.c false(unreach-call) 180   120   1900 1900 2.0   .0041 false(unreach-call) 17    8.9  270   520 false(unreach-call) 41   22   680 2700 - -
eca-rers2012/Problem03_label27_false-unreach-call.c false(unreach-call) 250   190   2400 1200 2.6   0      false(unreach-call) 18    9.3  180   540 false(unreach-call) 47   25   610 3000 - -
eca-rers2012/Problem03_label28_false-unreach-call.c false(unreach-call) 270   220   2900 1500 2.6   0      false(unreach-call) 19    9.9  200   610 false(unreach-call) 46   25   570 3100 - -
eca-rers2012/Problem03_label31_false-unreach-call.c false(unreach-call) 230   170   2400 1500 2.5   0      false(unreach-call) 20    10    230   590 false(unreach-call) 49   26   450 3200 - -
eca-rers2012/Problem03_label35_false-unreach-call.c witness invalid (false(unreach-call)) 400   350   5000 1200 .11  .082  error (invalid witness file) .55 .36 10   40 error (invalid witness file) 7.3 3.8 140 310 - -
eca-rers2012/Problem03_label37_false-unreach-call.c false(unreach-call) 220   160   2500 1700 2.5   .0041 false(unreach-call) 17    8.7  240   520 false(unreach-call) 37   20   560 2200 - -
eca-rers2012/Problem03_label39_false-unreach-call.c witness invalid (false(unreach-call)) 510   460   6400 1600 .22  0      error (invalid witness file) .54 .34 10   41 error (invalid witness file) 6.3 3.3 130 300 - -
eca-rers2012/Problem03_label43_false-unreach-call.c false(unreach-call) 290   230   3300 1700 2.6   .016  false(unreach-call) 18    9.2  260   520 false(unreach-call) 36   19   440 2100 - -
eca-rers2012/Problem03_label45_false-unreach-call.c witness invalid (false(unreach-call)) 400   350   5500 1600 .11  .082  error (invalid witness file) .47 .31 7.7 40 error (invalid witness file) 6.7 3.6 130 310 - -
eca-rers2012/Problem03_label50_false-unreach-call.c false(unreach-call) 220   160   2100 1600 2.6   0      false(unreach-call) 20    10    300   570 false(unreach-call) 48   26   650 3200 - -
eca-rers2012/Problem03_label52_false-unreach-call.c false(unreach-call) 340   270   3800 1800 3.1   0      false(unreach-call) 22    11    290   570 false(unreach-call) 56   30   760 3700 - -
eca-rers2012/Problem04_label04_false-unreach-call.c unknown 880   830   10000 1300 .53  0      error (invalid witness file) .53 .33 9.3 42 error (invalid witness file) 6.9 3.6 130 310 - -
eca-rers2012/Problem04_label06_false-unreach-call.c unknown 880   830   10000 1300 .53  0      error (invalid witness file) .58 .37 9.4 44 error (invalid witness file) 6.3 3.4 120 300 - -
eca-rers2012/Problem04_label09_false-unreach-call.c unknown 880   830   8800 1300 .53  0      error (invalid witness file) .52 .33 9.2 40 error (invalid witness file) 6.8 3.6 140 310 - -
eca-rers2012/Problem04_label11_false-unreach-call.c unknown 880   830   9700 1300 .53  0      error (invalid witness file) .51 .34 7.4 43 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem04_label12_false-unreach-call.c unknown 880   830   12000 1300 .53  0      error (invalid witness file) .49 .31 4.8 40 error (invalid witness file) 6.3 3.3 110 290 - -
eca-rers2012/Problem04_label13_false-unreach-call.c unknown 880   830   9500 1300 .53  9.9    error (invalid witness file) .49 .32 9.1 40 error (invalid witness file) 6.6 3.5 120 300 - -
eca-rers2012/Problem04_label14_false-unreach-call.c unknown 880   830   10000 1300 .53  0      error (invalid witness file) .60 .39 7.6 40 error (invalid witness file) 6.7 3.5 140 300 - -
eca-rers2012/Problem04_label15_false-unreach-call.c unknown 880   830   9200 1300 .53  0      error (invalid witness file) .56 .36 11   46 error (invalid witness file) 6.5 3.5 140 300 - -
eca-rers2012/Problem04_label17_false-unreach-call.c unknown 880   830   8100 1300 .53  0      error (invalid witness file) .52 .33 13   40 error (invalid witness file) 6.3 3.4 110 290 - -
eca-rers2012/Problem04_label18_false-unreach-call.c unknown 880   830   9000 1300 .53  0      error (invalid witness file) .50 .33 12   39 error (invalid witness file) 7.3 3.8 130 310 - -
eca-rers2012/Problem04_label19_false-unreach-call.c unknown 880   830   11000 1300 .53  .098  error (invalid witness file) .48 .33 9.6 41 error (invalid witness file) 6.7 3.5 130 290 - -
eca-rers2012/Problem04_label26_false-unreach-call.c unknown 880   830   9400 1300 .53  0      error (invalid witness file) .50 .33 12   40 error (invalid witness file) 7.1 3.7 130 310 - -
eca-rers2012/Problem04_label27_false-unreach-call.c unknown 880   830   11000 1300 .53  0      error (invalid witness file) .50 .34 4.1 40 error (invalid witness file) 6.9 3.6 130 300 - -
eca-rers2012/Problem04_label31_false-unreach-call.c unknown 880   830   9200 1300 .53  0      error (invalid witness file) .52 .34 4.2 43 error (invalid witness file) 6.7 3.5 140 290 - -
eca-rers2012/Problem04_label32_false-unreach-call.c unknown 880   830   11000 1300 .50  0      error (invalid witness file) .49 .31 6.1 40 error (invalid witness file) 6.9 3.6 140 300 - -
eca-rers2012/Problem04_label35_false-unreach-call.c unknown 880   830   8100 1300 .53  0      error (invalid witness file) .50 .32 8.6 40 error (invalid witness file) 6.3 3.4 130 290 - -
eca-rers2012/Problem04_label36_false-unreach-call.c unknown 880   830   9700 1300 .53  0      error (invalid witness file) .52 .34 11   42 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem04_label38_false-unreach-call.c unknown 880   830   10000 1300 .53  0      error (invalid witness file) .51 .34 9.6 40 error (invalid witness file) 6.8 3.6 130 310 - -
eca-rers2012/Problem04_label39_false-unreach-call.c unknown 880   830   8300 1300 .53  0      error (invalid witness file) .50 .32 13   41 error (invalid witness file) 6.4 3.3 110 300 - -
eca-rers2012/Problem04_label40_false-unreach-call.c unknown 880   830   9300 1300 .53  0      error (invalid witness file) .46 .30 4.2 40 error (invalid witness file) 7.3 3.8 120 300 - -
eca-rers2012/Problem04_label45_false-unreach-call.c unknown 880   830   10000 1300 .53  .098  error (invalid witness file) .54 .35 14   41 error (invalid witness file) 7.7 4.0 94 320 - -
eca-rers2012/Problem04_label52_false-unreach-call.c unknown 880   830   8800 1300 .53  0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.8 3.6 150 300 - -
eca-rers2012/Problem04_label55_false-unreach-call.c unknown 880   830   11000 1300 .53  0      error (invalid witness file) .48 .31 6.5 39 error (invalid witness file) 7.0 3.7 130 310 - -
eca-rers2012/Problem04_label58_false-unreach-call.c unknown 890   830   9700 1300 .50  .098  error (invalid witness file) .50 .32 12   39 error (invalid witness file) 6.6 3.5 140 300 - -
eca-rers2012/Problem05_label00_false-unreach-call.c timeout 900   840   8900 1300 .25  0      error (invalid witness file) .52 .35 9.4 40 error (invalid witness file) 7.0 3.7 140 290 - -
eca-rers2012/Problem05_label01_false-unreach-call.c timeout 900   840   12000 1300 .25  0      error (invalid witness file) .49 .32 8.4 39 error (invalid witness file) 7.2 3.8 130 300 - -
eca-rers2012/Problem05_label11_false-unreach-call.c timeout 900   850   9700 1300 .25  0      error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem05_label13_false-unreach-call.c timeout 900   840   9500 1300 .25  .098  error (invalid witness file) .51 .33 7.9 40 error (invalid witness file) 6.9 3.6 130 290 - -
eca-rers2012/Problem05_label15_false-unreach-call.c timeout 900   840   12000 1300 .24  0      error (invalid witness file) .51 .34 8.8 40 error (invalid witness file) 6.9 3.7 130 300 - -
eca-rers2012/Problem05_label18_false-unreach-call.c timeout 900   840   11000 1300 .25  0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.6 3.5 120 290 - -
eca-rers2012/Problem05_label24_false-unreach-call.c timeout 900   840   9700 1300 .25  0      error (invalid witness file) .52 .34 6.5 40 error (invalid witness file) 7.1 3.8 130 300 - -
eca-rers2012/Problem05_label26_false-unreach-call.c timeout 900   840   9900 1300 .25  .098  error (invalid witness file) .57 .37 15   45 error (invalid witness file) 7.1 3.7 130 300 - -
eca-rers2012/Problem05_label30_false-unreach-call.c timeout 900   840   10000 1300 .25  0      error (invalid witness file) .59 .37 15   45 error (invalid witness file) 7.0 3.7 130 300 - -
eca-rers2012/Problem05_label32_false-unreach-call.c timeout 900   840   8900 1300 .25  0      error (invalid witness file) .60 .39 8.5 41 error (invalid witness file) 6.9 3.7 130 310 - -
eca-rers2012/Problem05_label33_false-unreach-call.c timeout 900   840   12000 1400 .26  0      error (invalid witness file) .48 .31 9.9 39 error (invalid witness file) 7.1 3.7 140 300 - -
eca-rers2012/Problem05_label36_false-unreach-call.c timeout 900   840   10000 1300 .24  0      error (invalid witness file) .54 .34 13   42 error (invalid witness file) 7.1 3.8 150 310 - -
eca-rers2012/Problem05_label37_false-unreach-call.c timeout 900   850   9500 1300 .21  0      error (invalid witness file) .49 .31 11   40 error (invalid witness file) 6.9 3.6 150 300 - -
eca-rers2012/Problem05_label38_false-unreach-call.c timeout 900   840   10000 1300 .24  0      error (invalid witness file) .55 .35 14   43 error (invalid witness file) 7.0 3.7 130 300 - -
eca-rers2012/Problem05_label39_false-unreach-call.c timeout 900   840   9600 1300 .25  0      error (invalid witness file) .52 .35 6.6 39 error (invalid witness file) 7.2 3.8 120 310 - -
eca-rers2012/Problem05_label40_false-unreach-call.c timeout 900   850   9700 1300 .25  .098  error (invalid witness file) .48 .31 6.9 39 error (invalid witness file) 7.2 3.8 140 310 - -
eca-rers2012/Problem05_label41_false-unreach-call.c timeout 900   840   11000 1300 .24  0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 7.1 3.8 150 300 - -
eca-rers2012/Problem05_label44_false-unreach-call.c timeout 900   840   9600 1300 .18  0      error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.7 3.6 120 300 - -
eca-rers2012/Problem05_label47_false-unreach-call.c timeout 900   840   12000 1300 .25  0      error (invalid witness file) .51 .33 12   39 error (invalid witness file) 7.1 3.7 150 310 - -
eca-rers2012/Problem05_label48_false-unreach-call.c timeout 900   840   12000 1300 .25  0      error (invalid witness file) .49 .32 3.4 39 error (invalid witness file) 6.8 3.7 140 300 - -
eca-rers2012/Problem05_label51_false-unreach-call.c timeout 900   850   11000 1300 .25  0      error (invalid witness file) .47 .31 4.2 40 error (invalid witness file) 7.5 3.9 150 310 - -
eca-rers2012/Problem05_label55_false-unreach-call.c timeout 900   840   9800 1300 .24  0      error (invalid witness file) .49 .32 4.4 40 error (invalid witness file) 7.0 3.7 120 310 - -
eca-rers2012/Problem05_label57_false-unreach-call.c timeout 900   840   9600 1300 .24  0      error (invalid witness file) .47 .31 3.6 41 error (invalid witness file) 7.2 3.8 120 300 - -
eca-rers2012/Problem05_label58_false-unreach-call.c timeout 900   840   11000 1200 .24  0      error (invalid witness file) .54 .35 7.0 43 error (invalid witness file) 7.2 3.8 130 320 - -
eca-rers2012/Problem06_label00_false-unreach-call.c timeout 900   860   11000 910 .17  0      error (invalid witness file) .51 .33 13   39 error (invalid witness file) 7.1 3.7 130 300 - -
eca-rers2012/Problem06_label01_false-unreach-call.c timeout 900   860   9700 920 .17  .098  error (invalid witness file) .57 .35 13   43 error (invalid witness file) 6.9 3.6 140 300 - -
eca-rers2012/Problem06_label02_false-unreach-call.c timeout 900   860   11000 910 .12  0      error (invalid witness file) .48 .31 6.6 39 error (invalid witness file) 6.8 3.6 130 310 - -
eca-rers2012/Problem06_label04_false-unreach-call.c timeout 900   860   11000 920 .16  0      error (invalid witness file) .52 .35 7.1 40 error (invalid witness file) 7.0 3.7 130 300 - -
eca-rers2012/Problem06_label05_false-unreach-call.c timeout 900   860   12000 910 .17  0      error (invalid witness file) .48 .31 12   40 error (invalid witness file) 7.2 3.8 150 310 - -
eca-rers2012/Problem06_label09_false-unreach-call.c timeout 900   860   10000 910 .12  0      error (invalid witness file) .53 .34 13   40 error (invalid witness file) 6.7 3.5 110 300 - -
eca-rers2012/Problem06_label10_false-unreach-call.c timeout 900   860   10000 910 .12  0      error (invalid witness file) .53 .35 9.4 40 error (invalid witness file) 6.8 3.6 89 310 - -
eca-rers2012/Problem06_label11_false-unreach-call.c timeout 900   860   13000 910 .12  0      error (invalid witness file) .48 .31 4.0 41 error (invalid witness file) 8.1 4.2 160 320 - -
eca-rers2012/Problem06_label12_false-unreach-call.c timeout 900   860   9900 910 .12  0      error (invalid witness file) .50 .33 7.1 40 error (invalid witness file) 7.3 3.8 140 310 - -
eca-rers2012/Problem06_label15_false-unreach-call.c timeout 900   860   10000 920 .12  0      error (invalid witness file) .48 .32 6.9 39 error (invalid witness file) 6.9 3.6 120 300 - -
eca-rers2012/Problem06_label20_false-unreach-call.c timeout 900   860   9800 910 .12  0      error (invalid witness file) .51 .34 10   40 error (invalid witness file) 6.8 3.6 130 290 - -
eca-rers2012/Problem06_label21_false-unreach-call.c timeout 900   860   12000 910 .12  0      error (invalid witness file) .50 .33 7.5 40 error (invalid witness file) 6.8 3.6 110 300 - -
eca-rers2012/Problem06_label24_false-unreach-call.c timeout 900   860   11000 920 .12  0      error (invalid witness file) .50 .32 6.7 40 error (invalid witness file) 7.0 3.7 130 300 - -
eca-rers2012/Problem06_label27_false-unreach-call.c timeout 900   860   12000 920 .12  0      error (invalid witness file) .53 .33 11   42 error (invalid witness file) 6.6 3.5 120 290 - -
eca-rers2012/Problem06_label29_false-unreach-call.c timeout 900   860   9900 920 .12  0      error (invalid witness file) .48 .31 7.4 40 error (invalid witness file) 7.5 3.9 130 310 - -
eca-rers2012/Problem06_label33_false-unreach-call.c timeout 900   860   10000 910 .12  .098  error (invalid witness file) .49 .31 6.9 40 error (invalid witness file) 6.9 3.6 130 300 - -
eca-rers2012/Problem06_label36_false-unreach-call.c timeout 900   860   9900 920 .12  0      error (invalid witness file) .50 .32 8.0 40 error (invalid witness file) 7.2 3.8 130 300 - -
eca-rers2012/Problem06_label37_false-unreach-call.c timeout 900   860   11000 920 .12  0      error (invalid witness file) .59 .38 6.0 42 error (invalid witness file) 6.9 3.6 120 300 - -
eca-rers2012/Problem06_label38_false-unreach-call.c timeout 900   860   12000 920 .12  0      error (invalid witness file) .49 .33 13   40 error (invalid witness file) 6.8 3.6 120 310 - -
eca-rers2012/Problem06_label44_false-unreach-call.c timeout 900   860   9600 920 .12  0      error (invalid witness file) .54 .35 14   42 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem06_label47_false-unreach-call.c timeout 900   860   12000 910 .12  0      error (invalid witness file) .53 .34 13   39 error (invalid witness file) 6.9 3.6 130 310 - -
eca-rers2012/Problem06_label48_false-unreach-call.c timeout 900   860   10000 920 .12  0      error (invalid witness file) .50 .33 3.8 39 error (invalid witness file) 6.9 3.7 130 300 - -
eca-rers2012/Problem06_label56_false-unreach-call.c timeout 900   860   10000 920 .12  0      error (invalid witness file) .50 .33 12   39 error (invalid witness file) 6.9 3.6 130 300 - -
eca-rers2012/Problem06_label58_false-unreach-call.c timeout 900   860   12000 920 .12  0      error (invalid witness file) .57 .38 10   44 error (invalid witness file) 7.3 3.8 130 310 - -
eca-rers2012/Problem06_label59_false-unreach-call.c timeout 900   860   9900 920 .18  0      error (invalid witness file) .52 .33 10   41 error (invalid witness file) 6.9 3.7 130 310 - -
eca-rers2012/Problem07_label03_false-unreach-call.c timeout 900   810   7800 2100 .061 0      error (invalid witness file) .50 .33 12   40 error (invalid witness file) 7.3 4.0 170 430 - -
eca-rers2012/Problem07_label05_false-unreach-call.c timeout 900   810   8500 2100 .061 0      error (invalid witness file) .57 .37 13   44 error (invalid witness file) 8.5 4.5 150 450 - -
eca-rers2012/Problem07_label06_false-unreach-call.c timeout 900   810   7500 2100 .061 0      error (invalid witness file) .54 .35 10   44 error (invalid witness file) 9.1 4.8 190 450 - -
eca-rers2012/Problem07_label07_false-unreach-call.c timeout 900   810   7400 2100 .061 0      error (invalid witness file) .51 .34 4.8 42 error (invalid witness file) 8.9 4.7 170 440 - -
eca-rers2012/Problem07_label09_false-unreach-call.c timeout 900   810   7600 2100 .057 0      error (invalid witness file) .48 .30 10   40 error (invalid witness file) 8.1 4.3 160 430 - -
eca-rers2012/Problem07_label11_false-unreach-call.c timeout 900   810   8000 2100 .061 0      error (invalid witness file) .51 .33 9.0 40 error (invalid witness file) 7.5 4.0 130 420 - -
eca-rers2012/Problem07_label15_false-unreach-call.c timeout 900   810   7600 2000 .061 0      error (invalid witness file) .52 .33 13   40 error (invalid witness file) 7.9 4.2 170 430 - -
eca-rers2012/Problem07_label18_false-unreach-call.c timeout 900   810   8000 2100 .061 0      error (invalid witness file) .53 .34 14   41 error (invalid witness file) 8.1 4.4 150 430 - -
eca-rers2012/Problem07_label19_false-unreach-call.c timeout 900   810   7700 2100 .061 0      error (invalid witness file) .51 .32 7.5 40 error (invalid witness file) 8.3 4.5 170 430 - -
eca-rers2012/Problem07_label20_false-unreach-call.c timeout 900   810   6400 2100 .061 0      error (invalid witness file) .51 .35 6.7 39 error (invalid witness file) 7.8 4.2 140 420 - -
eca-rers2012/Problem07_label23_false-unreach-call.c timeout 900   810   8300 2100 .061 0      error (invalid witness file) .53 .34 13   40 error (invalid witness file) 7.9 4.2 170 430 - -
eca-rers2012/Problem07_label30_false-unreach-call.c timeout 900   810   8200 2000 .061 0      error (invalid witness file) .52 .34 9.9 42 error (invalid witness file) 8.4 4.4 170 440 - -
eca-rers2012/Problem07_label31_false-unreach-call.c timeout 900   810   8000 2000 .061 0      error (invalid witness file) .52 .33 13   39 error (invalid witness file) 8.6 4.5 150 440 - -
eca-rers2012/Problem07_label35_false-unreach-call.c timeout 900   810   7500 2000 .061 0      error (invalid witness file) .48 .31 9.1 40 error (invalid witness file) 8.0 4.3 140 440 - -
eca-rers2012/Problem07_label36_false-unreach-call.c timeout 900   810   8600 2000 .061 0      error (invalid witness file) .50 .32 6.2 41 error (invalid witness file) 7.7 4.1 130 430 - -
eca-rers2012/Problem07_label37_false-unreach-call.c timeout 900   810   8400 2000 .061 0      error (invalid witness file) .50 .33 8.8 39 error (invalid witness file) 7.5 4.1 140 420 - -
eca-rers2012/Problem07_label39_false-unreach-call.c timeout 900   810   7100 2100 .061 0      error (invalid witness file) .54 .35 12   40 error (invalid witness file) 8.4 4.5 150 430 - -
eca-rers2012/Problem07_label40_false-unreach-call.c timeout 900   810   8400 2100 .061 0      error (invalid witness file) .55 .36 9.6 42 error (invalid witness file) 8.1 4.3 170 430 - -
eca-rers2012/Problem07_label42_false-unreach-call.c timeout 900   810   8700 2100 .061 0      error (invalid witness file) .52 .33 9.8 39 error (invalid witness file) 7.2 3.9 140 430 - -
eca-rers2012/Problem07_label44_false-unreach-call.c timeout 900   810   7500 2100 .061 0      error (invalid witness file) .50 .33 6.6 41 error (invalid witness file) 9.1 4.8 180 450 - -
eca-rers2012/Problem07_label46_false-unreach-call.c timeout 900   810   8000 2000 .061 0      error (invalid witness file) .49 .31 12   39 error (invalid witness file) 7.8 4.2 140 420 - -
eca-rers2012/Problem07_label47_false-unreach-call.c timeout 900   810   7300 2100 .061 0      error (invalid witness file) .53 .35 7.1 41 error (invalid witness file) 8.2 4.4 170 440 - -
eca-rers2012/Problem07_label48_false-unreach-call.c timeout 900   810   8700 2100 .061 0      error (invalid witness file) .60 .38 15   45 error (invalid witness file) 7.8 4.2 140 430 - -
eca-rers2012/Problem07_label58_false-unreach-call.c timeout 900   810   7900 2000 .061 0      error (invalid witness file) .54 .35 4.0 43 error (invalid witness file) 8.2 4.4 150 430 - -
eca-rers2012/Problem08_label01_false-unreach-call.c timeout 900   750   8200 2700 .025 0      error (invalid witness file) .54 .36 5.3 40 error (invalid witness file) 8.9 4.8 170 520 - -
eca-rers2012/Problem08_label02_false-unreach-call.c timeout 900   750   8100 2700 .025 .098  error (invalid witness file) .49 .31 12   40 error (invalid witness file) 8.3 4.6 160 510 - -
eca-rers2012/Problem08_label04_false-unreach-call.c timeout 900   750   9300 2700 .025 0      error (invalid witness file) .50 .33 12   41 error (invalid witness file) 8.1 4.5 150 510 - -
eca-rers2012/Problem08_label05_false-unreach-call.c timeout 900   750   8600 2700 .025 0      error (invalid witness file) .51 .34 7.0 40 error (invalid witness file) 8.5 4.7 170 520 - -
eca-rers2012/Problem08_label06_false-unreach-call.c timeout 900   750   9000 2700 .025 0      error (invalid witness file) .49 .31 6.2 40 error (invalid witness file) 8.6 4.7 160 510 - -
eca-rers2012/Problem08_label07_false-unreach-call.c timeout 900   750   8900 2700 .025 0      error (invalid witness file) .53 .36 5.6 39 error (invalid witness file) 8.5 4.7 160 520 - -
eca-rers2012/Problem08_label10_false-unreach-call.c timeout 900   740   10000 2700 .025 0      error (invalid witness file) .51 .33 3.9 40 error (invalid witness file) 8.5 4.7 180 520 - -
eca-rers2012/Problem08_label13_false-unreach-call.c timeout 900   750   8900 2700 .025 0      error (invalid witness file) .48 .31 6.7 41 error (invalid witness file) 8.7 4.8 160 520 - -
eca-rers2012/Problem08_label15_false-unreach-call.c timeout 900   750   8000 2700 .025 0      error (invalid witness file) .53 .34 4.9 46 error (invalid witness file) 8.4 4.7 160 520 - -
eca-rers2012/Problem08_label24_false-unreach-call.c timeout 900   750   8800 2700 .025 0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 8.6 4.7 170 520 - -
eca-rers2012/Problem08_label25_false-unreach-call.c timeout 900   750   9800 2700 .025 0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 9.2 5.0 150 530 - -
eca-rers2012/Problem08_label26_false-unreach-call.c timeout 900   750   8400 2700 .025 0      error (invalid witness file) .51 .32 12   39 error (invalid witness file) 8.9 4.8 170 520 - -
eca-rers2012/Problem08_label28_false-unreach-call.c timeout 900   750   11000 2700 .025 0      error (invalid witness file) .50 .32 12   39 error (invalid witness file) 8.6 4.7 140 520 - -
eca-rers2012/Problem08_label29_false-unreach-call.c timeout 900   750   8900 2700 .025 0      error (invalid witness file) .50 .32 12   39 error (invalid witness file) 8.9 4.9 180 520 - -
eca-rers2012/Problem08_label34_false-unreach-call.c timeout 900   750   9300 2700 .025 .0041 error (invalid witness file) .52 .33 6.4 40 error (invalid witness file) 8.1 4.5 160 510 - -
eca-rers2012/Problem08_label37_false-unreach-call.c timeout 900   750   8100 2700 .025 0      error (invalid witness file) .51 .34 12   39 error (invalid witness file) 9.7 5.2 170 540 - -
eca-rers2012/Problem08_label43_false-unreach-call.c timeout 900   750   8600 2700 .025 .098  error (invalid witness file) .51 .34 7.8 43 error (invalid witness file) 8.7 4.8 160 520 - -
eca-rers2012/Problem08_label46_false-unreach-call.c timeout 900   760   8700 2700 .025 0      error (invalid witness file) .49 .31 4.3 39 error (invalid witness file) 8.6 4.7 150 510 - -
eca-rers2012/Problem08_label48_false-unreach-call.c timeout 900   750   8700 2700 .025 0      error (invalid witness file) .52 .34 6.1 41 error (invalid witness file) 8.7 4.7 180 520 - -
eca-rers2012/Problem08_label49_false-unreach-call.c timeout 900   750   8700 2700 .025 0      error (invalid witness file) .51 .34 12   40 error (invalid witness file) 9.0 4.9 170 530 - -
eca-rers2012/Problem08_label50_false-unreach-call.c timeout 900   750   8100 2700 .025 0      error (invalid witness file) .56 .36 14   41 error (invalid witness file) 8.6 4.8 180 520 - -
eca-rers2012/Problem08_label51_false-unreach-call.c timeout 900   750   8800 2700 .025 0      error (invalid witness file) .61 .40 7.4 40 error (invalid witness file) 9.0 4.9 180 520 - -
eca-rers2012/Problem08_label55_false-unreach-call.c timeout 900   750   8800 2700 .025 0      error (invalid witness file) .53 .33 13   41 error (invalid witness file) 8.6 4.7 150 520 - -
eca-rers2012/Problem08_label59_false-unreach-call.c timeout 900   750   9100 2700 .025 0      error (invalid witness file) .52 .36 5.5 41 error (invalid witness file) 8.4 4.7 180 510 - -
eca-rers2012/Problem09_label02_false-unreach-call.c timeout 900   800   8700 3000 .012 0      error (invalid witness file) .51 .31 6.2 40 error (invalid witness file) 8.4 4.7 120 530 - -
eca-rers2012/Problem09_label03_false-unreach-call.c timeout 900   800   11000 2900 .012 0      error (invalid witness file) .49 .33 9.3 41 error (invalid witness file) 8.6 4.7 140 520 - -
eca-rers2012/Problem09_label06_false-unreach-call.c timeout 900   800   8900 2900 .012 0      error (invalid witness file) .50 .33 6.5 40 error (invalid witness file) 8.9 4.9 170 530 - -
eca-rers2012/Problem09_label08_false-unreach-call.c timeout 900   800   8200 2900 .012 0      error (invalid witness file) .51 .32 10   39 error (invalid witness file) 8.9 4.9 180 530 - -
eca-rers2012/Problem09_label10_false-unreach-call.c timeout 900   800   9300 2900 .012 0      error (invalid witness file) .52 .33 11   42 error (invalid witness file) 8.2 4.5 160 520 - -
eca-rers2012/Problem09_label11_false-unreach-call.c timeout 900   800   9000 2900 .012 .098  error (invalid witness file) .51 .33 11   41 error (invalid witness file) 8.9 4.9 160 540 - -
eca-rers2012/Problem09_label15_false-unreach-call.c timeout 900   800   9000 3000 .012 0      error (invalid witness file) .62 .39 5.7 39 error (invalid witness file) 8.6 4.8 170 540 - -
eca-rers2012/Problem09_label19_false-unreach-call.c timeout 900   800   8900 2900 .012 0      error (invalid witness file) .52 .33 12   40 error (invalid witness file) 8.6 4.8 170 530 - -
eca-rers2012/Problem09_label20_false-unreach-call.c timeout 900   800   12000 2900 .012 .098  error (invalid witness file) .50 .33 11   39 error (invalid witness file) 8.7 4.8 180 530 - -
eca-rers2012/Problem09_label32_false-unreach-call.c timeout 900   800   9400 3000 .012 0      error (invalid witness file) .56 .35 13   42 error (invalid witness file) 8.3 4.6 150 530 - -
eca-rers2012/Problem09_label34_false-unreach-call.c timeout 900   800   9300 2900 .012 0      error (invalid witness file) .54 .34 12   40 error (invalid witness file) 8.5 4.6 150 520 - -
eca-rers2012/Problem09_label35_false-unreach-call.c timeout 900   800   10000 3000 .012 0      error (invalid witness file) .52 .33 13   40 error (invalid witness file) 8.4 4.7 140 530 - -
eca-rers2012/Problem09_label36_false-unreach-call.c timeout 900   800   9600 3000 .012 0      error (invalid witness file) .51 .32 12   40 error (invalid witness file) 9.2 5.0 120 530 - -
eca-rers2012/Problem09_label38_false-unreach-call.c timeout 900   810   9300 3000 .012 0      error (invalid witness file) .51 .33 9.2 42 error (invalid witness file) 8.8 4.9 200 520 - -
eca-rers2012/Problem09_label41_false-unreach-call.c timeout 900   800   8700 2900 .012 0      error (invalid witness file) .57 .37 8.6 43 error (invalid witness file) 9.1 5.0 160 530 - -
eca-rers2012/Problem09_label44_false-unreach-call.c timeout 900   800   9900 3000 .012 0      error (invalid witness file) .58 .37 13   44 error (invalid witness file) 8.2 4.6 160 510 - -
eca-rers2012/Problem09_label46_false-unreach-call.c timeout 900   800   12000 3000 .012 0      error (invalid witness file) .56 .35 14   42 error (invalid witness file) 8.4 4.7 150 530 - -
eca-rers2012/Problem09_label47_false-unreach-call.c timeout 900   800   9800 2900 .012 0      error (invalid witness file) .48 .31 7.9 39 error (invalid witness file) 8.7 4.8 180 530 - -
eca-rers2012/Problem09_label51_false-unreach-call.c timeout 900   810   11000 3000 .012 0      error (invalid witness file) .50 .33 8.9 41 error (invalid witness file) 8.0 4.5 140 530 - -
eca-rers2012/Problem09_label53_false-unreach-call.c timeout 900   800   12000 3000 .012 0      error (invalid witness file) .52 .33 12   40 error (invalid witness file) 9.4 5.1 160 550 - -
eca-rers2012/Problem09_label54_false-unreach-call.c timeout 900   800   9700 3000 .012 0      error (invalid witness file) .52 .34 7.9 40 error (invalid witness file) 8.4 4.6 170 530 - -
eca-rers2012/Problem09_label56_false-unreach-call.c timeout 900   800   11000 3000 .012 0      error (invalid witness file) .53 .34 13   41 error (invalid witness file) 8.3 4.6 180 530 - -
eca-rers2012/Problem09_label57_false-unreach-call.c timeout 900   800   9500 2900 .012 0      error (invalid witness file) .51 .33 12   39 error (invalid witness file) 8.6 4.7 160 520 - -
eca-rers2012/Problem09_label59_false-unreach-call.c timeout 900   800   8700 2900 .012 0      error (invalid witness file) .54 .34 13   39 error (invalid witness file) 8.5 4.7 160 520 - -
eca-rers2012/Problem10_label12_false-unreach-call.c false(unreach-call) 730   680   6700 3700 .63  0      false(unreach-call) 11    5.9  230   370 false(unreach-call) 21   11   200 750 - -
eca-rers2012/Problem10_label15_false-unreach-call.c unknown 790   770   5900 1100 .54  0      error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.0 3.2 120 300 - -
eca-rers2012/Problem10_label24_false-unreach-call.c unknown 760   740   5700 1100 .55  0      error (invalid witness file) .50 .31 13   40 error (invalid witness file) 6.7 3.5 120 310 - -
eca-rers2012/Problem10_label26_false-unreach-call.c unknown 860   840   6000 1100 .55  0      error (invalid witness file) .56 .35 13   44 error (invalid witness file) 6.4 3.4 120 310 - -
eca-rers2012/Problem10_label28_false-unreach-call.c false(unreach-call) 760   710   5700 3800 .64  0      false(unreach-call) 10    5.4  140   360 false(unreach-call) 18   9.7 250 690 - -
eca-rers2012/Problem10_label29_false-unreach-call.c unknown 790   770   6400 1100 .55  0      error (invalid witness file) .49 .33 7.5 40 error (invalid witness file) 6.2 3.3 120 290 - -
eca-rers2012/Problem10_label41_false-unreach-call.c unknown 760   740   5800 1100 .55  0      error (invalid witness file) .53 .34 14   43 error (invalid witness file) 6.3 3.4 120 290 - -
eca-rers2012/Problem10_label42_false-unreach-call.c unknown 750   730   6100 1100 .56  0      error (invalid witness file) .49 .32 13   40 error (invalid witness file) 6.4 3.4 110 300 - -
eca-rers2012/Problem10_label46_false-unreach-call.c unknown 780   770   5700 1100 .54  0      error (invalid witness file) .53 .34 3.9 40 error (invalid witness file) 6.4 3.4 130 300 - -
eca-rers2012/Problem10_label47_false-unreach-call.c unknown 780   760   6900 1100 .54  0      error (invalid witness file) .52 .33 9.2 40 error (invalid witness file) 6.1 3.3 130 290 - -
eca-rers2012/Problem10_label48_false-unreach-call.c unknown 790   770   6700 1100 .55  0      error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.4 3.4 130 300 - -
eca-rers2012/Problem10_label50_false-unreach-call.c unknown 760   740   5900 1100 .55  0      error (invalid witness file) .54 .34 12   42 error (invalid witness file) 6.3 3.3 110 310 - -
eca-rers2012/Problem10_label55_false-unreach-call.c unknown 690   680   7100 1100 .52  0      error (invalid witness file) .53 .34 13   39 error (invalid witness file) 6.2 3.3 100 290 - -
eca-rers2012/Problem10_label57_false-unreach-call.c unknown 880   860   6900 1100 .53  0      error (invalid witness file) .52 .33 9.5 41 error (invalid witness file) 6.3 3.3 130 300 - -
eca-rers2012/Problem10_label58_false-unreach-call.c unknown 860   840   7400 1100 .53  0      error (invalid witness file) .50 .33 12   39 error (invalid witness file) 6.0 3.2 120 290 - -
eca-rers2012/Problem11_label00_false-unreach-call.c unknown 890   860   6600 2900 .39  0      error (invalid witness file) .53 .34 4.4 43 error (invalid witness file) 6.4 3.4 110 300 - -
eca-rers2012/Problem11_label08_false-unreach-call.c timeout 900   870   7300 2900 .26  0      error (invalid witness file) .50 .33 3.9 41 error (invalid witness file) 6.1 3.3 110 300 - -
eca-rers2012/Problem11_label14_false-unreach-call.c unknown 850   820   8300 2900 .39  0      error (invalid witness file) .50 .33 7.8 42 error (invalid witness file) 6.8 3.6 92 310 - -
eca-rers2012/Problem11_label15_false-unreach-call.c timeout 900   870   7000 2900 .26  0      error (invalid witness file) .56 .36 10   39 error (invalid witness file) 5.8 3.1 110 290 - -
eca-rers2012/Problem11_label20_false-unreach-call.c unknown 840   810   8100 2900 .39  .098  error (invalid witness file) .49 .31 12   40 error (invalid witness file) 6.4 3.4 120 300 - -
eca-rers2012/Problem11_label29_false-unreach-call.c timeout 900   870   6500 2900 .26  .098  error (invalid witness file) .55 .37 9.3 42 error (invalid witness file) 7.1 3.7 94 300 - -
eca-rers2012/Problem11_label31_false-unreach-call.c unknown 870   840   6200 2900 .40  0      error (invalid witness file) .48 .30 6.6 39 error (invalid witness file) 6.2 3.3 130 300 - -
eca-rers2012/Problem11_label34_false-unreach-call.c unknown 880   850   6700 2900 .40  0      error (invalid witness file) .53 .35 9.6 42 error (invalid witness file) 6.5 3.5 120 310 - -
eca-rers2012/Problem11_label36_false-unreach-call.c unknown 850   820   7300 2900 .40  0      error (invalid witness file) .50 .31 6.5 42 error (invalid witness file) 6.4 3.4 120 300 - -
eca-rers2012/Problem11_label39_false-unreach-call.c unknown 880   850   6200 2900 .40  0      error (invalid witness file) .48 .32 6.8 40 error (invalid witness file) 6.0 3.2 120 290 - -
eca-rers2012/Problem11_label42_false-unreach-call.c timeout (false(unreach-call)) 900   840   7700 3900 .20  0      error (invalid witness file) .51 .32 12   39 error (invalid witness file) 6.2 3.3 120 290 - -
eca-rers2012/Problem11_label43_false-unreach-call.c unknown 880   850   6700 2900 .39  0      error (invalid witness file) .53 .34 6.5 40 error (invalid witness file) 6.1 3.2 130 290 - -
eca-rers2012/Problem11_label49_false-unreach-call.c timeout 900   870   6400 2900 .26  0      error (invalid witness file) .51 .34 11   40 error (invalid witness file) 6.3 3.3 130 300 - -
eca-rers2012/Problem11_label51_false-unreach-call.c unknown 870   840   7200 2900 .40  0      error (invalid witness file) .51 .33 14   40 error (invalid witness file) 7.1 3.8 140 320 - -
eca-rers2012/Problem11_label58_false-unreach-call.c unknown 880   850   6500 2900 .39  0      error (invalid witness file) .49 .31 6.3 39 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem12_label00_false-unreach-call.c timeout 900   850   9000 5300 .24  0      error (invalid witness file) .50 .32 12   41 error (invalid witness file) 7.6 3.9 140 320 - -
eca-rers2012/Problem12_label03_false-unreach-call.c timeout 900   850   9400 5300 .24  0      error (invalid witness file) .50 .32 6.0 40 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem12_label06_false-unreach-call.c timeout 900   850   8500 5300 .24  0      error (invalid witness file) .51 .34 5.7 39 error (invalid witness file) 7.2 3.7 130 310 - -
eca-rers2012/Problem12_label07_false-unreach-call.c timeout 900   850   9700 5300 .24  0      error (invalid witness file) .53 .34 5.4 39 error (invalid witness file) 6.7 3.5 130 320 - -
eca-rers2012/Problem12_label08_false-unreach-call.c timeout 900   860   8600 5300 .24  0      error (invalid witness file) .51 .33 9.8 40 error (invalid witness file) 6.9 3.6 130 310 - -
eca-rers2012/Problem12_label10_false-unreach-call.c timeout 900   860   11000 5300 .24  0      error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.4 3.4 140 300 - -
eca-rers2012/Problem12_label13_false-unreach-call.c timeout 900   860   8900 5300 .24  0      error (invalid witness file) .51 .33 9.4 41 error (invalid witness file) 6.5 3.5 120 300 - -
eca-rers2012/Problem12_label19_false-unreach-call.c timeout 900   860   8800 5300 .24  0      error (invalid witness file) .54 .36 3.8 42 error (invalid witness file) 6.5 3.5 110 300 - -
eca-rers2012/Problem12_label20_false-unreach-call.c timeout 900   850   8500 5300 .24  0      error (invalid witness file) .54 .34 11   41 error (invalid witness file) 6.9 3.7 120 310 - -
eca-rers2012/Problem12_label21_false-unreach-call.c timeout 900   860   9100 5300 .24  0      error (invalid witness file) .52 .32 10   42 error (invalid witness file) 6.4 3.4 120 290 - -
eca-rers2012/Problem12_label25_false-unreach-call.c timeout 900   850   9100 5300 .24  0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem12_label28_false-unreach-call.c timeout 900   860   8900 5300 .24  0      error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.9 3.7 130 300 - -
eca-rers2012/Problem12_label30_false-unreach-call.c timeout 900   860   11000 5300 .24  0      error (invalid witness file) .52 .34 13   41 error (invalid witness file) 6.6 3.5 130 300 - -
eca-rers2012/Problem12_label34_false-unreach-call.c timeout 900   860   9800 5300 .24  0      error (invalid witness file) .51 .33 9.0 40 error (invalid witness file) 6.7 3.5 130 300 - -
eca-rers2012/Problem12_label35_false-unreach-call.c timeout 900   850   8800 5300 .24  .098  error (invalid witness file) .56 .36 6.9 41 error (invalid witness file) 6.7 3.5 140 300 - -
eca-rers2012/Problem12_label37_false-unreach-call.c timeout 900   850   9800 5300 .24  0      error (invalid witness file) .50 .32 9.7 40 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem12_label38_false-unreach-call.c timeout 900   850   10000 5300 .24  0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.7 3.5 140 310 - -
eca-rers2012/Problem12_label39_false-unreach-call.c timeout 900   850   8100 5300 .24  0      error (invalid witness file) .52 .33 10   41 error (invalid witness file) 7.1 3.8 130 310 - -
eca-rers2012/Problem12_label40_false-unreach-call.c timeout 900   860   9100 5300 .24  0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.8 3.5 120 310 - -
eca-rers2012/Problem12_label42_false-unreach-call.c timeout 900   860   10000 5300 .24  0      error (invalid witness file) .50 .32 8.4 40 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem12_label48_false-unreach-call.c timeout 900   860   8500 5300 .25  0      error (invalid witness file) .52 .33 13   40 error (invalid witness file) 7.1 3.7 140 300 - -
eca-rers2012/Problem12_label50_false-unreach-call.c timeout 900   850   9900 5300 .21  0      error (invalid witness file) .53 .34 7.1 44 error (invalid witness file) 6.9 3.6 120 310 - -
eca-rers2012/Problem12_label51_false-unreach-call.c timeout 900   860   11000 5300 .24  0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.4 3.4 130 300 - -
eca-rers2012/Problem12_label52_false-unreach-call.c timeout 900   850   9200 5300 .24  0      error (invalid witness file) .50 .33 11   40 error (invalid witness file) 8.0 4.2 140 320 - -
eca-rers2012/Problem12_label55_false-unreach-call.c timeout 900   850   9000 5300 .24  0      error (invalid witness file) .48 .31 6.9 41 error (invalid witness file) 6.1 3.3 120 290 - -
eca-rers2012/Problem13_label04_false-unreach-call.c timeout 900   850   9100 8500 .25  0      error (invalid witness file) .52 .33 7.3 40 error (invalid witness file) 6.5 3.4 120 300 - -
eca-rers2012/Problem13_label06_false-unreach-call.c timeout 900   850   11000 8500 .25  0      error (invalid witness file) .49 .31 9.5 40 error (invalid witness file) 6.4 3.4 130 300 - -
eca-rers2012/Problem13_label07_false-unreach-call.c timeout 900   850   9300 8500 .24  0      error (invalid witness file) .49 .31 10   39 error (invalid witness file) 7.0 3.7 60 320 - -
eca-rers2012/Problem13_label11_false-unreach-call.c timeout 900   850   8900 8500 .25  0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 7.1 3.7 130 300 - -
eca-rers2012/Problem13_label12_false-unreach-call.c timeout 900   850   10000 8500 .25  0      error (invalid witness file) .52 .35 9.3 40 error (invalid witness file) 6.6 3.5 120 310 - -
eca-rers2012/Problem13_label16_false-unreach-call.c timeout 900   850   11000 8500 .25  0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem13_label19_false-unreach-call.c timeout 900   850   9900 8500 .25  0      error (invalid witness file) .56 .36 9.3 42 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem13_label21_false-unreach-call.c timeout 900   850   9100 8500 .25  0      error (invalid witness file) .51 .33 13   40 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem13_label23_false-unreach-call.c timeout 900   850   9500 8500 .26  0      error (invalid witness file) .55 .36 7.0 42 error (invalid witness file) 6.9 3.6 140 310 - -
eca-rers2012/Problem13_label24_false-unreach-call.c timeout 900   850   8800 8500 .25  0      error (invalid witness file) .50 .33 6.3 39 error (invalid witness file) 6.6 3.5 130 300 - -
eca-rers2012/Problem13_label25_false-unreach-call.c timeout 900   850   10000 8500 .25  0      error (invalid witness file) .50 .32 7.8 40 error (invalid witness file) 6.7 3.6 140 290 - -
eca-rers2012/Problem13_label28_false-unreach-call.c timeout 900   850   10000 8500 .25  0      error (invalid witness file) .69 .43 9.9 42 error (invalid witness file) 7.9 4.2 140 320 - -
eca-rers2012/Problem13_label29_false-unreach-call.c timeout 900   850   9700 8500 .25  0      error (invalid witness file) .52 .32 9.7 41 error (invalid witness file) 6.9 3.7 130 300 - -
eca-rers2012/Problem13_label30_false-unreach-call.c timeout 900   850   9200 8500 .22  0      error (invalid witness file) .52 .33 9.5 40 error (invalid witness file) 6.5 3.4 130 300 - -
eca-rers2012/Problem13_label32_false-unreach-call.c timeout 900   850   11000 8500 .25  0      error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem13_label35_false-unreach-call.c timeout 900   850   11000 8500 .25  0      error (invalid witness file) .47 .31 9.2 40 error (invalid witness file) 7.1 3.8 130 320 - -
eca-rers2012/Problem13_label36_false-unreach-call.c timeout 900   850   10000 8500 .25  0      error (invalid witness file) .49 .32 7.0 40 error (invalid witness file) 6.6 3.5 110 300 - -
eca-rers2012/Problem13_label40_false-unreach-call.c timeout 900   850   11000 8500 .25  0      error (invalid witness file) .48 .31 7.1 39 error (invalid witness file) 7.2 3.7 130 300 - -
eca-rers2012/Problem13_label43_false-unreach-call.c timeout 900   850   8800 8500 .25  0      error (invalid witness file) .55 .35 10   43 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem13_label44_false-unreach-call.c timeout 900   850   9400 8500 .25  0      error (invalid witness file) .54 .33 12   40 error (invalid witness file) 6.5 3.4 130 300 - -
eca-rers2012/Problem13_label45_false-unreach-call.c timeout 900   850   9400 8500 .25  0      error (invalid witness file) .55 .35 12   40 error (invalid witness file) 7.3 3.9 110 340 - -
eca-rers2012/Problem13_label48_false-unreach-call.c timeout 900   850   9500 8500 .25  0      error (invalid witness file) .46 .29 4.0 39 error (invalid witness file) 6.6 3.5 120 300 - -
eca-rers2012/Problem13_label51_false-unreach-call.c timeout 900   850   10000 8500 .25  0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.9 3.7 140 300 - -
eca-rers2012/Problem13_label54_false-unreach-call.c timeout 900   850   9400 8500 .25  0      error (invalid witness file) .51 .34 6.2 40 error (invalid witness file) 6.8 3.6 120 300 - -
eca-rers2012/Problem13_label58_false-unreach-call.c timeout 900   850   11000 8500 .25  0      error (invalid witness file) .49 .32 9.6 40 error (invalid witness file) 7.2 3.8 140 300 - -
eca-rers2012/Problem14_label02_false-unreach-call.c unknown 850   830   5600 1300 .61  0      error (invalid witness file) .53 .34 13   41 error (invalid witness file) 6.6 3.5 130 300 - -
eca-rers2012/Problem14_label08_false-unreach-call.c unknown 790   770   6000 1300 .59  0      error (invalid witness file) .47 .31 4.9 39 error (invalid witness file) 6.6 3.5 130 310 - -
eca-rers2012/Problem14_label10_false-unreach-call.c witness invalid (false(unreach-call)) 880   830   7700 4000 .23  .42   error (invalid witness file) .50 .31 12   39 error (invalid witness file) 6.7 3.5 140 310 - -
eca-rers2012/Problem14_label11_false-unreach-call.c unknown 760   740   5600 1300 .57  0      error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.3 3.3 110 300 - -
eca-rers2012/Problem14_label12_false-unreach-call.c unknown 840   810   6500 1300 .61  0      error (invalid witness file) .47 .32 7.3 40 error (invalid witness file) 6.5 3.4 130 300 - -
eca-rers2012/Problem14_label13_false-unreach-call.c timeout (false(unreach-call)) 900   850   8800 3600 .23  0      error (invalid witness file) .53 .33 13   39 error (invalid witness file) 6.4 3.4 130 300 - -
eca-rers2012/Problem14_label14_false-unreach-call.c unknown 790   770   5200 1300 .57  0      error (invalid witness file) .50 .34 4.0 40 error (invalid witness file) 6.2 3.3 110 300 - -
eca-rers2012/Problem14_label18_false-unreach-call.c unknown 880   860   5700 1300 .79  .098  error (invalid witness file) .54 .35 4.1 41 error (invalid witness file) 6.1 3.2 110 290 - -
eca-rers2012/Problem14_label22_false-unreach-call.c unknown 760   740   5600 1300 .57  0      error (invalid witness file) .47 .31 3.9 40 error (invalid witness file) 6.8 3.6 120 310 - -
eca-rers2012/Problem14_label27_false-unreach-call.c witness invalid (false(unreach-call)) 780   720   9000 3900 .19  0      error (invalid witness file) .52 .33 14   39 error (invalid witness file) 5.8 3.1 120 300 - -
eca-rers2012/Problem14_label28_false-unreach-call.c unknown 830   810   6000 1300 .61  .46   error (invalid witness file) .50 .32 5.4 40 error (invalid witness file) 6.4 3.4 110 300 - -
eca-rers2012/Problem14_label29_false-unreach-call.c unknown 880   860   7700 1300 .79  0      error (invalid witness file) .53 .35 6.6 42 error (invalid witness file) 6.6 3.4 110 300 - -
eca-rers2012/Problem14_label31_false-unreach-call.c unknown 730   710   6100 1300 .57  0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.6 3.5 120 300 - -
eca-rers2012/Problem14_label34_false-unreach-call.c unknown 780   760   6500 1300 .58  0      error (invalid witness file) .52 .33 7.8 42 error (invalid witness file) 6.0 3.2 100 290 - -
eca-rers2012/Problem14_label37_false-unreach-call.c unknown 800   770   5900 1300 .60  0      error (invalid witness file) .51 .33 9.0 44 error (invalid witness file) 6.9 3.6 150 310 - -
eca-rers2012/Problem14_label39_false-unreach-call.c unknown 710   690   5200 1300 .57  0      error (invalid witness file) .52 .33 12   39