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