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