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