Tool DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017
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-11 11:24:16 CET [[ 2017-01-14 21:58:42 CET ]] [[ 2017-01-14 22:27:33 CET ]] [[ 2017-01-14 22:07:52 CET ]] [[ 2017-01-14 22:42:14 CET ]]
Run set sv-comp17.ReachSafety-ECA
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-11_1124.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness 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)
eca-rers2012/Problem01_label15_false-unreach-call.c false(unreach-call) 0 wit inspect 60 60 600 230 11   0      true 28    15    360   750 true 14   7.3 130 370 - -
eca-rers2012/Problem01_label20_false-unreach-call.c false(unreach-call) 0 wit inspect 74 74 770 220 16   0      true 30    17    460   930 true 12   6.3 220 370 - -
eca-rers2012/Problem01_label21_false-unreach-call.c false(unreach-call) 0 wit inspect 63 63 780 250 11   34      true 26    14    370   720 true 13   7.0 180 350 - -
eca-rers2012/Problem01_label32_false-unreach-call.c false(unreach-call) 0 wit inspect 75 75 1000 220 16   0      true 34    19    420   1000 true 11   6.0 220 360 - -
eca-rers2012/Problem01_label33_false-unreach-call.c false(unreach-call) 0 wit inspect 68 68 700 220 14   .40   true 27    15    520   810 true 17   9.0 160 370 - -
eca-rers2012/Problem01_label35_false-unreach-call.c false(unreach-call) 0 wit inspect 60 60 610 230 11   0      true 27    15    380   720 true 12   6.3 200 370 - -
eca-rers2012/Problem01_label37_false-unreach-call.c false(unreach-call) 0 wit inspect 66 66 780 220 14   .25   true 25    14    450   740 true 13   6.9 170 370 - -
eca-rers2012/Problem01_label38_false-unreach-call.c false(unreach-call) 0 wit inspect 58 58 810 220 11   0      true 31    16    320   730 true 15   7.7 150 360 - -
eca-rers2012/Problem01_label44_false-unreach-call.c false(unreach-call) 0 wit inspect 55 55 620 230 8.6 0      true 28    15    350   660 true 13   6.9 170 370 - -
eca-rers2012/Problem01_label47_false-unreach-call.c false(unreach-call) 0 wit inspect 73 73 920 220 16   0      true 33    19    580   1000 true 13   6.9 160 370 - -
eca-rers2012/Problem01_label50_false-unreach-call.c false(unreach-call) 0 wit inspect 59 59 800 230 11   0      true 31    17    320   750 true 11   6.0 160 340 - -
eca-rers2012/Problem01_label56_false-unreach-call.c false(unreach-call) 0 wit inspect 65 65 720 230 14   0      true 33    18    380   780 true 12   6.4 170 370 - -
eca-rers2012/Problem01_label57_false-unreach-call.c false(unreach-call) 0 wit inspect 67 67 870 220 14   0      true 32    18    360   1100 true 13   6.8 160 360 - -
eca-rers2012/Problem02_label13_false-unreach-call.c false(unreach-call) 0 wit inspect 21 21 230 210 6.1 .26   true 21    11    260   470 true 15   7.8 140 360 - -
eca-rers2012/Problem02_label16_false-unreach-call.c false(unreach-call) 0 wit inspect 21 21 220 210 6.1 0      true 16    8.4  290   480 true 11   6.1 200 350 - -
eca-rers2012/Problem02_label43_false-unreach-call.c false(unreach-call) 0 wit inspect 22 21 230 210 6.1 0      true 21    11    250   480 true 12   6.5 190 360 - -
eca-rers2012/Problem02_label44_false-unreach-call.c false(unreach-call) 0 wit inspect 22 22 230 210 6.1 0      true 20    10    230   480 true 13   6.7 140 360 - -
eca-rers2012/Problem02_label45_false-unreach-call.c false(unreach-call) 0 wit inspect 24 24 320 210 8.7 0      true 25    13    350   590 true 11   6.0 200 350 - -
eca-rers2012/Problem02_label50_false-unreach-call.c false(unreach-call) 0 wit inspect 24 24 260 210 8.7 0      true 22    12    460   600 true 17   8.9 140 370 - -
eca-rers2012/Problem02_label59_false-unreach-call.c false(unreach-call) 0 wit inspect 91 91 260 220 8.7 0      true 22    12    380   600 true 12   6.6 140 370 - -
eca-rers2012/Problem03_label09_false-unreach-call.c false(unreach-call) 0 wit inspect 350 350 3700 440 14   0      true 38    21    670   1100 true 15   7.9 280 490 - -
eca-rers2012/Problem03_label13_false-unreach-call.c false(unreach-call) 0 wit inspect 350 350 3100 450 12   0      true 32    17    480   930 true 16   8.6 230 490 - -
eca-rers2012/Problem03_label26_false-unreach-call.c false(unreach-call) 0 wit inspect 360 360 3000 450 8.9 0      true 48    27    530   1100 true 15   7.7 210 500 - -
eca-rers2012/Problem03_label27_false-unreach-call.c false(unreach-call) 0 wit inspect 370 370 3600 460 12   0      true 39    21    500   940 true 14   7.5 200 490 - -
eca-rers2012/Problem03_label28_false-unreach-call.c false(unreach-call) 0 wit inspect 330 330 2900 450 12   0      true 44    23    440   920 true 18   9.5 280 480 - -
eca-rers2012/Problem03_label31_false-unreach-call.c false(unreach-call) 0 wit inspect 350 350 3100 450 12   0      true 42    22    460   1000 true 15   7.9 260 480 - -
eca-rers2012/Problem03_label35_false-unreach-call.c false(unreach-call) 0 wit inspect 350 350 4100 460 14   0      true 38    21    680   1100 true 19   10   200 480 - -
eca-rers2012/Problem03_label37_false-unreach-call.c false(unreach-call) 0 wit inspect 320 320 3900 440 12   0      true 49    29    450   1100 true 16   8.4 340 500 - -
eca-rers2012/Problem03_label39_false-unreach-call.c false(unreach-call) 0 wit inspect 350 350 3400 440 14   0      true 40    22    560   1100 true 19   9.9 170 490 - -
eca-rers2012/Problem03_label43_false-unreach-call.c false(unreach-call) 0 wit inspect 320 320 2900 450 12   0      true 47    27    620   1200 true 18   9.5 260 490 - -
eca-rers2012/Problem03_label45_false-unreach-call.c false(unreach-call) 0 wit inspect 370 370 3300 460 14   0      true 40    22    720   1100 true 16   8.4 180 470 - -
eca-rers2012/Problem03_label50_false-unreach-call.c false(unreach-call) 0 wit inspect 340 340 4200 460 12   0      true 41    21    450   930 true 14   7.5 230 490 - -
eca-rers2012/Problem03_label52_false-unreach-call.c false(unreach-call) 0 wit inspect 390 390 3700 500 14   34      true 40    22    650   1100 true 18   9.2 220 490 - -
eca-rers2012/Problem04_label04_false-unreach-call.c unknown 0 wit inspect 900 900 7900 1900 16   0      error (invalid witness file) .68 .43 8.5 41 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem04_label06_false-unreach-call.c unknown 0 wit inspect 890 900 9500 1900 16   0      error (invalid witness file) .67 .43 8.0 41 error (invalid witness file) 6.4 3.4 98 300 - -
eca-rers2012/Problem04_label09_false-unreach-call.c unknown 0 wit inspect 890 900 7300 1900 16   0      error (invalid witness file) .69 .44 7.7 40 error (invalid witness file) 9.0 4.7 90 300 - -
eca-rers2012/Problem04_label11_false-unreach-call.c unknown 0 wit inspect 890 900 11000 1900 16   0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 7.2 3.8 150 300 - -
eca-rers2012/Problem04_label12_false-unreach-call.c unknown 0 wit inspect 890 900 9500 1900 17   0      error (invalid witness file) .74 .46 9.0 45 error (invalid witness file) 6.7 3.6 120 290 - -
eca-rers2012/Problem04_label13_false-unreach-call.c unknown 0 wit inspect 890 900 9000 1900 17   0      error (invalid witness file) .53 .34 9.6 39 error (invalid witness file) 6.5 3.5 88 310 - -
eca-rers2012/Problem04_label14_false-unreach-call.c unknown 0 wit inspect 890 900 8600 1900 17   0      error (invalid witness file) .68 .43 7.7 42 error (invalid witness file) 7.1 3.7 140 300 - -
eca-rers2012/Problem04_label15_false-unreach-call.c unknown 0 wit inspect 890 900 8700 1900 16   0      error (invalid witness file) .63 .39 7.4 39 error (invalid witness file) 7.3 3.8 100 320 - -
eca-rers2012/Problem04_label17_false-unreach-call.c unknown 0 wit inspect 890 900 9600 1900 16   0      error (invalid witness file) .60 .38 9.5 39 error (invalid witness file) 6.8 3.6 100 310 - -
eca-rers2012/Problem04_label18_false-unreach-call.c unknown 0 wit inspect 890 900 10000 1900 16   0      error (invalid witness file) .65 .41 7.6 39 error (invalid witness file) 7.2 3.7 140 310 - -
eca-rers2012/Problem04_label19_false-unreach-call.c unknown 0 wit inspect 890 900 8600 1900 17   0      error (invalid witness file) .56 .35 9.2 39 error (invalid witness file) 7.3 3.8 87 300 - -
eca-rers2012/Problem04_label26_false-unreach-call.c unknown 0 wit inspect 890 900 8700 1900 16   0      error (invalid witness file) .67 .42 8.7 40 error (invalid witness file) 7.5 4.0 99 300 - -
eca-rers2012/Problem04_label27_false-unreach-call.c unknown 0 wit inspect 890 900 7900 1900 17   0      error (invalid witness file) .49 .32 7.2 39 error (invalid witness file) 7.4 3.9 120 310 - -
eca-rers2012/Problem04_label31_false-unreach-call.c unknown 0 wit inspect 890 900 8900 1900 16   0      error (invalid witness file) .59 .38 9.9 42 error (invalid witness file) 6.8 3.6 130 310 - -
eca-rers2012/Problem04_label32_false-unreach-call.c unknown 0 wit inspect 890 900 9800 1900 16   0      error (invalid witness file) .61 .38 6.6 39 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem04_label35_false-unreach-call.c unknown 0 wit inspect 890 900 7400 1900 16   0      error (invalid witness file) .53 .34 12   40 error (invalid witness file) 9.5 5.0 70 310 - -
eca-rers2012/Problem04_label36_false-unreach-call.c unknown 0 wit inspect 890 900 8500 1900 17   0      error (invalid witness file) .49 .31 12   39 error (invalid witness file) 7.2 3.7 75 310 - -
eca-rers2012/Problem04_label38_false-unreach-call.c unknown 0 wit inspect 890 900 8700 1800 16   .11   error (invalid witness file) .49 .31 8.9 40 error (invalid witness file) 6.4 3.4 110 290 - -
eca-rers2012/Problem04_label39_false-unreach-call.c unknown 0 wit inspect 890 900 9900 1900 16   0      error (invalid witness file) .68 .42 8.8 40 error (invalid witness file) 6.6 3.5 120 300 - -
eca-rers2012/Problem04_label40_false-unreach-call.c unknown 0 wit inspect 890 900 8400 1900 17   0      error (invalid witness file) .50 .32 10   40 error (invalid witness file) 6.8 3.6 110 290 - -
eca-rers2012/Problem04_label45_false-unreach-call.c unknown 0 wit inspect 890 900 7000 1900 16   0      error (invalid witness file) .54 .33 11   42 error (invalid witness file) 6.9 3.7 140 300 - -
eca-rers2012/Problem04_label52_false-unreach-call.c unknown 0 wit inspect 890 900 7900 1900 16   0      error (invalid witness file) .63 .40 8.6 41 error (invalid witness file) 6.5 3.4 91 310 - -
eca-rers2012/Problem04_label55_false-unreach-call.c unknown 0 wit inspect 890 900 9600 1900 17   0      error (invalid witness file) .59 .37 11   41 error (invalid witness file) 8.4 4.4 87 300 - -
eca-rers2012/Problem04_label58_false-unreach-call.c unknown 0 wit inspect 890 900 7700 1800 16   0      error (invalid witness file) .72 .44 7.7 41 error (invalid witness file) 6.9 3.6 130 310 - -
eca-rers2012/Problem05_label00_false-unreach-call.c unknown 0 wit inspect 900 900 8300 4300 11   0      error (invalid witness file) .51 .32 9.5 39 error (invalid witness file) 6.9 3.6 140 310 - -
eca-rers2012/Problem05_label01_false-unreach-call.c unknown 0 wit inspect 890 900 9100 4300 12   0      error (invalid witness file) .55 .36 8.2 39 error (invalid witness file) 6.6 3.4 83 310 - -
eca-rers2012/Problem05_label11_false-unreach-call.c unknown 0 wit inspect 890 900 8100 4300 12   33      error (invalid witness file) .50 .32 9.9 40 error (invalid witness file) 7.5 4.0 110 290 - -
eca-rers2012/Problem05_label13_false-unreach-call.c unknown 0 wit inspect 890 900 9600 4300 11   0      error (invalid witness file) .53 .34 9.2 39 error (invalid witness file) 8.7 4.5 120 310 - -
eca-rers2012/Problem05_label15_false-unreach-call.c unknown 0 wit inspect 890 900 8300 4300 12   0      error (invalid witness file) .63 .41 6.7 40 error (invalid witness file) 8.3 4.4 86 310 - -
eca-rers2012/Problem05_label18_false-unreach-call.c unknown 0 wit inspect 890 900 10000 4300 12   0      error (invalid witness file) .63 .41 7.1 39 error (invalid witness file) 9.8 5.1 100 320 - -
eca-rers2012/Problem05_label24_false-unreach-call.c unknown 0 wit inspect 890 900 7100 4300 12   0      error (invalid witness file) .51 .33 11   43 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem05_label26_false-unreach-call.c unknown 0 wit inspect 890 900 11000 4300 12   .12   error (invalid witness file) .48 .31 9.3 40 error (invalid witness file) 8.1 4.2 160 310 - -
eca-rers2012/Problem05_label30_false-unreach-call.c unknown 0 wit inspect 890 900 8700 4300 12   0      error (invalid witness file) .50 .32 12   40 error (invalid witness file) 8.4 4.4 96 300 - -
eca-rers2012/Problem05_label32_false-unreach-call.c unknown 0 wit inspect 890 900 8300 4300 12   0      error (invalid witness file) .61 .38 8.8 42 error (invalid witness file) 7.7 4.0 150 310 - -
eca-rers2012/Problem05_label33_false-unreach-call.c unknown 0 wit inspect 890 900 9400 4300 11   0      error (invalid witness file) .56 .37 11   40 error (invalid witness file) 7.2 3.8 150 310 - -
eca-rers2012/Problem05_label36_false-unreach-call.c unknown 0 wit inspect 890 900 11000 4300 12   0      error (invalid witness file) .53 .33 13   41 error (invalid witness file) 7.3 3.8 130 310 - -
eca-rers2012/Problem05_label37_false-unreach-call.c unknown 0 wit inspect 890 900 9900 4300 12   0      error (invalid witness file) .55 .37 8.7 40 error (invalid witness file) 7.6 4.0 110 310 - -
eca-rers2012/Problem05_label38_false-unreach-call.c unknown 0 wit inspect 890 900 11000 4300 12   0      error (invalid witness file) .58 .38 12   44 error (invalid witness file) 6.8 3.6 100 300 - -
eca-rers2012/Problem05_label39_false-unreach-call.c unknown 0 wit inspect 890 900 8200 4300 12   0      error (invalid witness file) .63 .40 7.5 40 error (invalid witness file) 6.9 3.7 88 300 - -
eca-rers2012/Problem05_label40_false-unreach-call.c unknown 0 wit inspect 890 900 8500 4300 12   0      error (invalid witness file) .49 .31 10   39 error (invalid witness file) 7.2 3.8 140 310 - -
eca-rers2012/Problem05_label41_false-unreach-call.c unknown 0 wit inspect 890 900 3200 2900 7.3 0      error (invalid witness file) .63 .40 9.5 41 error (invalid witness file) 8.3 4.4 87 300 - -
eca-rers2012/Problem05_label44_false-unreach-call.c unknown 0 wit inspect 890 900 8900 4300 12   0      error (invalid witness file) .50 .32 9.8 39 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem05_label47_false-unreach-call.c unknown 0 wit inspect 890 900 8700 4300 12   0      error (invalid witness file) .48 .32 11   40 error (invalid witness file) 8.0 4.2 100 300 - -
eca-rers2012/Problem05_label48_false-unreach-call.c unknown 0 wit inspect 900 900 8300 4300 12   0      error (invalid witness file) .53 .33 12   40 error (invalid witness file) 8.0 4.2 94 300 - -
eca-rers2012/Problem05_label51_false-unreach-call.c unknown 0 wit inspect 900 900 7100 4300 11   0      error (invalid witness file) .63 .40 9.6 41 error (invalid witness file) 7.7 4.1 91 300 - -
eca-rers2012/Problem05_label55_false-unreach-call.c unknown 0 wit inspect 890 900 9500 4300 12   0      error (invalid witness file) .47 .31 11   39 error (invalid witness file) 7.9 4.1 87 300 - -
eca-rers2012/Problem05_label57_false-unreach-call.c unknown 0 wit inspect 890 900 9900 4300 12   0      error (invalid witness file) .64 .41 9.9 39 error (invalid witness file) 7.6 3.9 120 320 - -
eca-rers2012/Problem05_label58_false-unreach-call.c unknown 0 wit inspect 890 900 9200 4300 12   0      error (invalid witness file) .66 .41 8.1 39 error (invalid witness file) 7.9 4.1 83 300 - -
eca-rers2012/Problem06_label00_false-unreach-call.c unknown 0 wit inspect 890 900 7900 2800 11   0      error (invalid witness file) .54 .34 9.9 42 error (invalid witness file) 7.9 4.2 100 300 - -
eca-rers2012/Problem06_label01_false-unreach-call.c unknown 0 wit inspect 890 900 9200 2800 11   0      error (invalid witness file) .64 .41 10   44 error (invalid witness file) 9.4 4.9 110 320 - -
eca-rers2012/Problem06_label02_false-unreach-call.c unknown 0 wit inspect 890 900 8000 2800 11   0      error (invalid witness file) .54 .35 13   42 error (invalid witness file) 8.7 4.5 88 300 - -
eca-rers2012/Problem06_label04_false-unreach-call.c unknown 0 wit inspect 890 900 8000 2900 11   0      error (invalid witness file) .51 .33 12   39 error (invalid witness file) 7.1 3.7 140 300 - -
eca-rers2012/Problem06_label05_false-unreach-call.c unknown 0 wit inspect 890 900 10000 2800 11   0      error (invalid witness file) .61 .39 9.0 40 error (invalid witness file) 6.4 3.4 91 300 - -
eca-rers2012/Problem06_label09_false-unreach-call.c unknown 0 wit inspect 890 900 7900 2800 12   0      error (invalid witness file) .59 .36 9.5 41 error (invalid witness file) 8.1 4.2 81 310 - -
eca-rers2012/Problem06_label10_false-unreach-call.c unknown 0 wit inspect 890 900 9300 2800 11   0      error (invalid witness file) .50 .32 9.3 40 error (invalid witness file) 8.6 4.5 140 310 - -
eca-rers2012/Problem06_label11_false-unreach-call.c unknown 0 wit inspect 890 900 7000 2900 11   0      error (invalid witness file) .60 .38 8.4 39 error (invalid witness file) 7.5 3.9 120 300 - -
eca-rers2012/Problem06_label12_false-unreach-call.c unknown 0 wit inspect 890 900 7800 2800 11   0      error (invalid witness file) .62 .40 10   40 error (invalid witness file) 6.9 3.7 86 290 - -
eca-rers2012/Problem06_label15_false-unreach-call.c unknown 0 wit inspect 890 900 7900 2900 11   0      error (invalid witness file) .70 .43 7.5 41 error (invalid witness file) 7.5 3.9 120 310 - -
eca-rers2012/Problem06_label20_false-unreach-call.c unknown 0 wit inspect 890 900 8400 2800 11   .25   error (invalid witness file) .64 .41 9.7 41 error (invalid witness file) 9.0 4.7 110 300 - -
eca-rers2012/Problem06_label21_false-unreach-call.c unknown 0 wit inspect 890 900 7900 2800 11   0      error (invalid witness file) .66 .41 7.4 41 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem06_label24_false-unreach-call.c unknown 0 wit inspect 890 900 7800 2800 12   0      error (invalid witness file) .66 .43 7.4 40 error (invalid witness file) 6.7 3.5 120 310 - -
eca-rers2012/Problem06_label27_false-unreach-call.c unknown 0 wit inspect 890 900 8300 2900 11   0      error (invalid witness file) .59 .37 9.5 40 error (invalid witness file) 7.2 3.8 130 300 - -
eca-rers2012/Problem06_label29_false-unreach-call.c unknown 0 wit inspect 890 900 10000 2800 11   0      error (invalid witness file) .56 .36 11   43 error (invalid witness file) 8.1 4.2 120 300 - -
eca-rers2012/Problem06_label33_false-unreach-call.c unknown 0 wit inspect 890 900 6900 2900 11   0      error (invalid witness file) .53 .34 11   40 error (invalid witness file) 8.9 4.7 86 310 - -
eca-rers2012/Problem06_label36_false-unreach-call.c unknown 0 wit inspect 890 900 7200 2800 11   0      error (invalid witness file) .59 .38 10   43 error (invalid witness file) 7.6 4.0 130 300 - -
eca-rers2012/Problem06_label37_false-unreach-call.c unknown 0 wit inspect 890 900 8900 2800 11   .13   error (invalid witness file) .50 .32 12   39 error (invalid witness file) 8.8 4.6 96 300 - -
eca-rers2012/Problem06_label38_false-unreach-call.c unknown 0 wit inspect 890 900 8800 2800 11   0      error (invalid witness file) .66 .43 8.7 43 error (invalid witness file) 8.6 4.5 99 300 - -
eca-rers2012/Problem06_label44_false-unreach-call.c unknown 0 wit inspect 890 900 7300 2900 11   0      error (invalid witness file) .55 .35 13   42 error (invalid witness file) 7.4 3.9 120 320 - -
eca-rers2012/Problem06_label47_false-unreach-call.c unknown 0 wit inspect 890 900 8400 2800 11   0      error (invalid witness file) .65 .42 8.7 40 error (invalid witness file) 7.5 3.9 130 310 - -
eca-rers2012/Problem06_label48_false-unreach-call.c unknown 0 wit inspect 900 900 8300 2900 11   0      error (invalid witness file) .65 .42 8.5 40 error (invalid witness file) 7.4 3.9 120 320 - -
eca-rers2012/Problem06_label56_false-unreach-call.c unknown 0 wit inspect 890 900 8400 2900 11   0      error (invalid witness file) .59 .37 9.1 40 error (invalid witness file) 6.7 3.5 110 310 - -
eca-rers2012/Problem06_label58_false-unreach-call.c unknown 0 wit inspect 890 900 7800 2900 11   0      error (invalid witness file) .49 .32 10   39 error (invalid witness file) 8.7 4.5 100 300 - -
eca-rers2012/Problem06_label59_false-unreach-call.c unknown 0 wit inspect 890 900 7500 2800 11   0      error (invalid witness file) .60 .38 8.7 39 error (invalid witness file) 6.8 3.6 100 300 - -
eca-rers2012/Problem07_label03_false-unreach-call.c unknown 0 wit inspect 890 900 9800 15000 16   0      error (invalid witness file) .69 .43 8.3 41 error (invalid witness file) 10   5.6 100 430 - -
eca-rers2012/Problem07_label05_false-unreach-call.c unknown 0 wit inspect 890 900 9200 15000 16   0      error (invalid witness file) .58 .37 8.1 42 error (invalid witness file) 8.4 4.6 150 440 - -
eca-rers2012/Problem07_label06_false-unreach-call.c unknown 0 wit inspect 890 900 12000 15000 16   0      error (invalid witness file) .62 .39 8.3 40 error (invalid witness file) 7.7 4.1 120 430 - -
eca-rers2012/Problem07_label07_false-unreach-call.c unknown 0 wit inspect 890 900 10000 15000 16   0      error (invalid witness file) .49 .31 13   39 error (invalid witness file) 8.8 4.7 130 430 - -
eca-rers2012/Problem07_label09_false-unreach-call.c unknown 0 wit inspect 890 900 11000 15000 16   0      error (invalid witness file) .51 .32 12   40 error (invalid witness file) 9.4 4.9 90 430 - -
eca-rers2012/Problem07_label11_false-unreach-call.c unknown 0 wit inspect 890 900 12000 15000 16   0      error (invalid witness file) .55 .37 11   40 error (invalid witness file) 9.7 5.2 110 420 - -
eca-rers2012/Problem07_label15_false-unreach-call.c unknown 0 wit inspect 890 900 10000 15000 16   33      error (invalid witness file) .65 .40 8.1 39 error (invalid witness file) 8.1 4.3 150 440 - -
eca-rers2012/Problem07_label18_false-unreach-call.c unknown 0 wit inspect 890 900 11000 15000 16   0      error (invalid witness file) .60 .39 9.7 41 error (invalid witness file) 7.7 4.2 150 430 - -
eca-rers2012/Problem07_label19_false-unreach-call.c unknown 0 wit inspect 890 900 10000 15000 16   0      error (invalid witness file) .53 .34 10   39 error (invalid witness file) 7.4 4.0 130 420 - -
eca-rers2012/Problem07_label20_false-unreach-call.c unknown 0 wit inspect 890 900 11000 15000 16   0      error (invalid witness file) .65 .42 8.6 40 error (invalid witness file) 8.5 4.5 160 440 - -
eca-rers2012/Problem07_label23_false-unreach-call.c unknown 0 wit inspect 890 900 9800 15000 16   0      error (invalid witness file) .56 .36 7.9 40 error (invalid witness file) 7.9 4.3 150 430 - -
eca-rers2012/Problem07_label30_false-unreach-call.c unknown 0 wit inspect 890 900 12000 15000 16   0      error (invalid witness file) .49 .32 13   39 error (invalid witness file) 9.4 5.0 110 420 - -
eca-rers2012/Problem07_label31_false-unreach-call.c unknown 0 wit inspect 890 900 10000 15000 16   0      error (invalid witness file) .52 .33 11   39 error (invalid witness file) 8.1 4.3 160 430 - -
eca-rers2012/Problem07_label35_false-unreach-call.c unknown 0 wit inspect 890 900 12000 15000 16   0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 9.0 4.8 120 430 - -
eca-rers2012/Problem07_label36_false-unreach-call.c unknown 0 wit inspect 890 900 11000 15000 16   0      error (invalid witness file) .57 .36 13   43 error (invalid witness file) 8.8 4.7 110 430 - -
eca-rers2012/Problem07_label37_false-unreach-call.c unknown 0 wit inspect 890 900 10000 15000 16   0      error (invalid witness file) .68 .43 7.6 40 error (invalid witness file) 7.7 4.2 150 420 - -
eca-rers2012/Problem07_label39_false-unreach-call.c unknown 0 wit inspect 890 900 9900 15000 16   0      error (invalid witness file) .66 .41 7.8 39 error (invalid witness file) 8.0 4.2 160 430 - -
eca-rers2012/Problem07_label40_false-unreach-call.c unknown 0 wit inspect 890 900 10000 15000 16   0      error (invalid witness file) .55 .35 12   42 error (invalid witness file) 8.3 4.4 160 430 - -
eca-rers2012/Problem07_label42_false-unreach-call.c unknown 0 wit inspect 890 900 10000 15000 16   0      error (invalid witness file) .69 .42 6.9 40 error (invalid witness file) 9.5 5.0 180 440 - -
eca-rers2012/Problem07_label44_false-unreach-call.c unknown 0 wit inspect 890 900 10000 15000 16   0      error (invalid witness file) .66 .40 7.4 40 error (invalid witness file) 8.2 4.3 130 440 - -
eca-rers2012/Problem07_label46_false-unreach-call.c unknown 0 wit inspect 890 900 11000 15000 16   0      error (invalid witness file) .54 .35 9.8 42 error (invalid witness file) 10   5.4 160 450 - -
eca-rers2012/Problem07_label47_false-unreach-call.c unknown 0 wit inspect 890 900 12000 15000 16   0      error (invalid witness file) .54 .35 14   40 error (invalid witness file) 7.7 4.1 160 430 - -
eca-rers2012/Problem07_label48_false-unreach-call.c unknown 0 wit inspect 890 900 10000 15000 16   0      error (invalid witness file) .61 .40 8.8 39 error (invalid witness file) 9.4 5.1 110 430 - -
eca-rers2012/Problem07_label58_false-unreach-call.c unknown 0 wit inspect 890 900 9800 15000 16   0      error (invalid witness file) .63 .40 8.0 40 error (invalid witness file) 8.8 4.7 130 430 - -
eca-rers2012/Problem08_label01_false-unreach-call.c out of memory 0 wit inspect 240 240 2800 15000 22   0      error (invalid witness file) .52 .32 12   42 error (invalid witness file) 9.4 5.1 110 520 - -
eca-rers2012/Problem08_label02_false-unreach-call.c out of memory 0 wit inspect 230 230 3200 15000 22   0      error (invalid witness file) .67 .42 8.3 40 error (invalid witness file) 9.5 5.2 180 520 - -
eca-rers2012/Problem08_label04_false-unreach-call.c out of memory 0 wit inspect 230 230 3300 15000 22   0      error (invalid witness file) .66 .43 8.5 43 error (invalid witness file) 10   5.6 93 520 - -
eca-rers2012/Problem08_label05_false-unreach-call.c out of memory 0 wit inspect 240 240 2500 15000 22   0      error (invalid witness file) .64 .40 9.6 41 error (invalid witness file) 7.9 4.4 160 510 - -
eca-rers2012/Problem08_label06_false-unreach-call.c out of memory 0 wit inspect 240 240 3000 15000 22   0      error (invalid witness file) .64 .40 6.9 40 error (invalid witness file) 10   5.5 130 520 - -
eca-rers2012/Problem08_label07_false-unreach-call.c out of memory 0 wit inspect 240 240 2500 15000 22   0      error (invalid witness file) .53 .33 11   40 error (invalid witness file) 9.3 5.1 160 520 - -
eca-rers2012/Problem08_label10_false-unreach-call.c out of memory 0 wit inspect 240 240 2800 15000 22   0      error (invalid witness file) .63 .39 8.6 39 error (invalid witness file) 10   5.5 120 520 - -
eca-rers2012/Problem08_label13_false-unreach-call.c out of memory 0 wit inspect 240 240 2700 15000 22   0      error (invalid witness file) .66 .42 7.7 41 error (invalid witness file) 10   5.6 110 520 - -
eca-rers2012/Problem08_label15_false-unreach-call.c out of memory 0 wit inspect 240 240 2800 15000 24   0      error (invalid witness file) .62 .40 8.0 39 error (invalid witness file) 9.8 5.4 89 510 - -
eca-rers2012/Problem08_label24_false-unreach-call.c out of memory 0 wit inspect 240 240 3400 15000 22   0      error (invalid witness file) .66 .42 8.1 40 error (invalid witness file) 8.5 4.7 85 520 - -
eca-rers2012/Problem08_label25_false-unreach-call.c out of memory 0 wit inspect 240 240 2900 15000 22   0      error (invalid witness file) .66 .42 8.2 41 error (invalid witness file) 8.6 4.6 130 520 - -
eca-rers2012/Problem08_label26_false-unreach-call.c out of memory 0 wit inspect 240 240 2800 15000 22   0      error (invalid witness file) .71 .45 9.3 44 error (invalid witness file) 9.4 5.1 190 520 - -
eca-rers2012/Problem08_label28_false-unreach-call.c out of memory 0 wit inspect 230 230 3100 15000 22   0      error (invalid witness file) .65 .40 7.9 41 error (invalid witness file) 11   5.8 100 510 - -
eca-rers2012/Problem08_label29_false-unreach-call.c out of memory 0 wit inspect 240 240 3000 15000 22   0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 8.3 4.6 130 520 - -
eca-rers2012/Problem08_label34_false-unreach-call.c out of memory 0 wit inspect 240 240 2600 15000 22   0      error (invalid witness file) .64 .41 7.5 40 error (invalid witness file) 8.6 4.8 180 520 - -
eca-rers2012/Problem08_label37_false-unreach-call.c out of memory 0 wit inspect 240 240 2500 15000 22   0      error (invalid witness file) .50 .32 9.5 39 error (invalid witness file) 8.8 4.8 160 520 - -
eca-rers2012/Problem08_label43_false-unreach-call.c out of memory 0 wit inspect 240 240 2600 15000 22   0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 11   5.8 110 510 - -
eca-rers2012/Problem08_label46_false-unreach-call.c out of memory 0 wit inspect 230 230 3200 15000 22   0      error (invalid witness file) .60 .39 9.0 40 error (invalid witness file) 9.5 5.2 140 520 - -
eca-rers2012/Problem08_label48_false-unreach-call.c out of memory 0 wit inspect 250 250 2600 15000 22   0      error (invalid witness file) .68 .43 9.1 42 error (invalid witness file) 12   6.4 130 540 - -
eca-rers2012/Problem08_label49_false-unreach-call.c out of memory 0 wit inspect 240 240 2900 15000 22   0      error (invalid witness file) .59 .37 11   40 error (invalid witness file) 8.6 4.7 170 520 - -
eca-rers2012/Problem08_label50_false-unreach-call.c out of memory 0 wit inspect 240 240 2700 15000 22   0      error (invalid witness file) .68 .43 8.3 40 error (invalid witness file) 10   5.5 92 510 - -
eca-rers2012/Problem08_label51_false-unreach-call.c out of memory 0 wit inspect 240 240 2600 15000 22   0      error (invalid witness file) .67 .44 10   45 error (invalid witness file) 11   5.7 140 530 - -
eca-rers2012/Problem08_label55_false-unreach-call.c out of memory 0 wit inspect 240 240 2600 15000 22   0      error (invalid witness file) .49 .31 6.7 39 error (invalid witness file) 11   5.9 120 520 - -
eca-rers2012/Problem08_label59_false-unreach-call.c out of memory 0 wit inspect 240 240 2800 15000 22   0      error (invalid witness file) .55 .36 8.7 39 error (invalid witness file) 11   5.9 120 520 - -
eca-rers2012/Problem09_label02_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 25   33      error (invalid witness file) .62 .39 11   40 error (invalid witness file) 11   6.0 100 530 - -
eca-rers2012/Problem09_label03_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 25   0      error (invalid witness file) .51 .34 13   40 error (invalid witness file) 8.4 4.7 120 530 - -
eca-rers2012/Problem09_label06_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 25   0      error (invalid witness file) .52 .32 11   40 error (invalid witness file) 8.7 4.9 190 530 - -
eca-rers2012/Problem09_label08_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 25   0      error (invalid witness file) .53 .33 11   39 error (invalid witness file) 11   5.9 110 520 - -
eca-rers2012/Problem09_label10_false-unreach-call.c out of memory 0 wit inspect 220 220 3000 15000 25   0      error (invalid witness file) .61 .40 8.5 40 error (invalid witness file) 9.6 5.3 95 520 - -
eca-rers2012/Problem09_label11_false-unreach-call.c out of memory 0 wit inspect 220 210 2800 15000 25   0      error (invalid witness file) .55 .36 11   40 error (invalid witness file) 11   5.9 130 520 - -
eca-rers2012/Problem09_label15_false-unreach-call.c out of memory 0 wit inspect 220 220 2300 15000 25   0      error (invalid witness file) .62 .39 7.8 40 error (invalid witness file) 11   6.2 130 640 - -
eca-rers2012/Problem09_label19_false-unreach-call.c out of memory 0 wit inspect 220 220 2900 15000 25   0      error (invalid witness file) .54 .35 14   42 error (invalid witness file) 8.3 4.6 130 540 - -
eca-rers2012/Problem09_label20_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 25   0      error (invalid witness file) .51 .33 9.1 39 error (invalid witness file) 8.8 4.9 160 530 - -
eca-rers2012/Problem09_label32_false-unreach-call.c out of memory 0 wit inspect 220 220 2200 15000 25   0      error (invalid witness file) .57 .36 8.9 39 error (invalid witness file) 8.4 4.6 160 520 - -
eca-rers2012/Problem09_label34_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 25   0      error (invalid witness file) .65 .41 8.1 40 error (invalid witness file) 9.6 5.3 130 530 - -
eca-rers2012/Problem09_label35_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 25   0      error (invalid witness file) .52 .33 11   41 error (invalid witness file) 9.9 5.5 96 530 - -
eca-rers2012/Problem09_label36_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 25   0      error (invalid witness file) .69 .44 8.3 42 error (invalid witness file) 10   5.8 110 520 - -
eca-rers2012/Problem09_label38_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 26   0      error (invalid witness file) .52 .33 12   43 error (invalid witness file) 8.0 4.4 130 530 - -
eca-rers2012/Problem09_label41_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 25   0      error (invalid witness file) .54 .35 11   39 error (invalid witness file) 8.3 4.7 170 520 - -
eca-rers2012/Problem09_label44_false-unreach-call.c out of memory 0 wit inspect 220 220 2600 15000 25   0      error (invalid witness file) .62 .41 8.7 40 error (invalid witness file) 11   5.9 140 640 - -
eca-rers2012/Problem09_label46_false-unreach-call.c out of memory 0 wit inspect 220 220 2200 15000 25   0      error (invalid witness file) .62 .40 7.6 39 error (invalid witness file) 9.2 5.0 180 530 - -
eca-rers2012/Problem09_label47_false-unreach-call.c out of memory 0 wit inspect 220 220 2600 15000 25   0      error (invalid witness file) .49 .32 9.7 40 error (invalid witness file) 8.9 4.9 130 530 - -
eca-rers2012/Problem09_label51_false-unreach-call.c out of memory 0 wit inspect 220 220 2900 15000 25   0      error (invalid witness file) .61 .38 10   40 error (invalid witness file) 10   5.7 130 520 - -
eca-rers2012/Problem09_label53_false-unreach-call.c out of memory 0 wit inspect 220 220 2200 15000 25   0      error (invalid witness file) .66 .43 8.4 41 error (invalid witness file) 10   5.7 130 530 - -
eca-rers2012/Problem09_label54_false-unreach-call.c out of memory 0 wit inspect 210 210 2700 15000 25   0      error (invalid witness file) .53 .34 11   40 error (invalid witness file) 9.2 5.0 140 520 - -
eca-rers2012/Problem09_label56_false-unreach-call.c out of memory 0 wit inspect 220 220 2400 15000 25   0      error (invalid witness file) .55 .35 9.7 39 error (invalid witness file) 9.5 5.3 120 520 - -
eca-rers2012/Problem09_label57_false-unreach-call.c out of memory 0 wit inspect 220 220 2600 15000 25   0      error (invalid witness file) .53 .35 11   39 error (invalid witness file) 9.3 5.2 170 530 - -
eca-rers2012/Problem09_label59_false-unreach-call.c out of memory 0 wit inspect 220 220 2300 15000 25   33      error (invalid witness file) .65 .41 8.0 42 error (invalid witness file) 10   5.7 120 520 - -
eca-rers2012/Problem10_label12_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 5100 270 8.6 0      timeout 92    81    1900   1100 true 12   6.3 200 350 - -
eca-rers2012/Problem10_label15_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 6300 270 8.7 0      true 26    16    520   770 true 14   8.3 210 360 - -
eca-rers2012/Problem10_label24_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 6600 250 8.6 0      true 36    25    510   810 true 12   6.3 160 360 - -
eca-rers2012/Problem10_label26_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 6400 260 8.6 0      true 29    20    650   860 true 11   6.0 190 350 - -
eca-rers2012/Problem10_label28_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 6000 270 8.7 0      true 32    21    380   770 true 11   5.9 160 360 - -
eca-rers2012/Problem10_label29_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 5500 260 8.6 0      timeout 92    79    1100   1100 true 12   6.3 200 340 - -
eca-rers2012/Problem10_label41_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 5800 260 6.1 0      timeout 93    79    1600   1100 true 14   7.6 120 330 - -
eca-rers2012/Problem10_label42_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 5600 270 6.1 0      true 37    25    600   760 true 12   6.3 180 350 - -
eca-rers2012/Problem10_label46_false-unreach-call.c false(unreach-call) 1 wit inspect 480 480 6400 270 3.6 0      false(unreach-call) 9.0  4.7  130   310 true 12   6.4 170 360 - -
eca-rers2012/Problem10_label47_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 5400 270 6.1 0      true 33    22    580   760 true 11   5.9 210 350 - -
eca-rers2012/Problem10_label48_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 6400 270 8.6 0      true 31    21    710   870 true 11   6.0 180 350 - -
eca-rers2012/Problem10_label50_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 6500 270 8.6 0      timeout 93    82    1800   1400 true 13   7.0 190 340 - -
eca-rers2012/Problem10_label55_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 6600 280 6.1 .12   true 29    19    400   760 true 12   6.5 170 350 - -
eca-rers2012/Problem10_label57_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 5200 260 8.6 0      true 23    14    340   730 true 12   6.2 150 360 - -
eca-rers2012/Problem10_label58_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 6000 270 8.7 0      true 39    26    480   860 true 11   6.1 220 350 - -
eca-rers2012/Problem11_label00_false-unreach-call.c false(unreach-call) 0 wit inspect 520 520 6600 620 9.2 0      timeout 93    80    1500   1700 true 15   7.9 190 410 - -
eca-rers2012/Problem11_label08_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 5900 420 6.4 0      timeout 93    81    1600   1400 true 15   8.2 160 420 - -
eca-rers2012/Problem11_label14_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 6300 430 6.4 0      timeout 92    79    1700   1600 true 15   7.9 240 420 - -
eca-rers2012/Problem11_label15_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 6300 420 6.4 0      timeout 94    83    2200   1400 true 13   6.8 160 420 - -
eca-rers2012/Problem11_label20_false-unreach-call.c false(unreach-call) 0 wit inspect 510 510 5300 630 8.9 .13   timeout 94    79    1500   2000 true 13   7.0 150 420 - -
eca-rers2012/Problem11_label29_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 6100 430 6.4 0      timeout 94    81    1700   1800 true 16   8.2 210 410 - -
eca-rers2012/Problem11_label31_false-unreach-call.c false(unreach-call) 0 wit inspect 550 550 6400 640 8.9 0      timeout 94    82    1800   1700 true 16   8.5 160 420 - -
eca-rers2012/Problem11_label34_false-unreach-call.c false(unreach-call) 0 wit inspect 520 520 5400 640 8.9 0      timeout 94    79    1500   1600 true 16   8.6 200 410 - -
eca-rers2012/Problem11_label36_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 5400 410 6.4 0      timeout 95    81    1600   1700 true 13   6.7 140 410 - -
eca-rers2012/Problem11_label39_false-unreach-call.c false(unreach-call) 0 wit inspect 530 530 6500 650 8.9 0      timeout 93    79    1200   1400 true 17   9.2 170 410 - -
eca-rers2012/Problem11_label42_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 6100 420 6.4 0      timeout 95    83    1800   1300 true 17   8.7 170 410 - -
eca-rers2012/Problem11_label43_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 6600 460 6.4 34      timeout 93    80    1700   1800 true 15   8.1 200 420 - -
eca-rers2012/Problem11_label49_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 5200 430 6.4 0      timeout 94    80    1500   1300 true 14   7.6 230 410 - -
eca-rers2012/Problem11_label51_false-unreach-call.c false(unreach-call) 0 wit inspect 490 490 6200 420 6.4 0      timeout 93    77    1300   1400 true 16   8.7 180 410 - -
eca-rers2012/Problem11_label58_false-unreach-call.c false(unreach-call) 0 wit inspect 500 500 6200 420 6.4 0      timeout 94    81    2000   1600 true 13   7.2 170 410 - -
eca-rers2012/Problem12_label00_false-unreach-call.c unknown 0 wit inspect 890 900 9200 3900 12   .13   error (invalid witness file) .66 .42 8.8 41 error (invalid witness file) 7.0 3.7 120 310 - -
eca-rers2012/Problem12_label03_false-unreach-call.c unknown 0 wit inspect 890 900 9400 3200 10   0      error (invalid witness file) .50 .33 11   39 error (invalid witness file) 7.4 3.9 110 300 - -
eca-rers2012/Problem12_label06_false-unreach-call.c unknown 0 wit inspect 890 900 10000 3900 13   0      error (invalid witness file) .59 .38 9.7 40 error (invalid witness file) 6.6 3.5 120 300 - -
eca-rers2012/Problem12_label07_false-unreach-call.c false(unreach-call) 0 wit inspect 880 880 9900 4000 13   0      timeout 97    76    1200   4400 true 18   10   150 560 - -
eca-rers2012/Problem12_label08_false-unreach-call.c unknown 0 wit inspect 890 900 10000 4000 13   .082  error (invalid witness file) .61 .39 8.6 39 error (invalid witness file) 7.3 3.8 80 300 - -
eca-rers2012/Problem12_label10_false-unreach-call.c false(unreach-call) 0 wit inspect 850 850 10000 3900 13   0      timeout 97    76    1500   4000 true 19   10   220 560 - -
eca-rers2012/Problem12_label13_false-unreach-call.c unknown 0 wit inspect 890 900 11000 3900 12   0      error (invalid witness file) .71 .44 7.6 40 error (invalid witness file) 8.2 4.3 120 310 - -
eca-rers2012/Problem12_label19_false-unreach-call.c false(unreach-call) 0 wit inspect 880 880 10000 4000 13   0      timeout 96    79    2600   4100 true 22   12   280 550 - -
eca-rers2012/Problem12_label20_false-unreach-call.c false(unreach-call) 0 wit inspect 860 860 12000 3900 13   0      timeout 96    76    1400   2300 true 22   12   300 550 - -
eca-rers2012/Problem12_label21_false-unreach-call.c false(unreach-call) 0 wit inspect 840 840 10000 3900 13   0      timeout 95    78    1800   3600 true 23   13   250 580 - -
eca-rers2012/Problem12_label25_false-unreach-call.c unknown 0 wit inspect 890 900 9900 3900 12   0      error (invalid witness file) .61 .39 8.0 40 error (invalid witness file) 7.9 4.1 92 300 - -
eca-rers2012/Problem12_label28_false-unreach-call.c unknown 0 wit inspect 890 900 9800 3700 12   0      error (invalid witness file) .64 .40 7.9 41 error (invalid witness file) 8.1 4.3 82 300 - -
eca-rers2012/Problem12_label30_false-unreach-call.c unknown 0 wit inspect 890 900 9600 3100 12   0      error (invalid witness file) .55 .34 9.5 40 error (invalid witness file) 7.3 3.8 110 300 - -
eca-rers2012/Problem12_label34_false-unreach-call.c unknown 0 wit inspect 890 900 11000 3900 12   0      error (invalid witness file) .52 .34 12   40 error (invalid witness file) 7.0 3.7 120 310 - -
eca-rers2012/Problem12_label35_false-unreach-call.c unknown 0 wit inspect 890 900 9200 3900 12   0      error (invalid witness file) .64 .40 7.5 40 error (invalid witness file) 6.6 3.5 96 310 - -
eca-rers2012/Problem12_label37_false-unreach-call.c false(unreach-call) 0 wit inspect 810 810 9800 3900 13   0      timeout 97    75    1300   2400 true 24   13   290 570 - -
eca-rers2012/Problem12_label38_false-unreach-call.c false(unreach-call) 0 wit inspect 860 860 12000 4000 13   0      timeout 94    77    2200   4600 true 22   12   260 550 - -
eca-rers2012/Problem12_label39_false-unreach-call.c unknown 0 wit inspect 890 900 9700 4000 13   0      error (invalid witness file) .51 .32 9.6 40 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem12_label40_false-unreach-call.c unknown 0 wit inspect 890 900 9900 3900 12   0      error (invalid witness file) .63 .40 7.1 40 error (invalid witness file) 7.2 3.8 88 300 - -
eca-rers2012/Problem12_label42_false-unreach-call.c false(unreach-call) 0 wit inspect 860 860 9100 3900 13   0      timeout 98    76    1500   3600 true 19   11   300 550 - -
eca-rers2012/Problem12_label48_false-unreach-call.c unknown 0 wit inspect 890 900 8600 3900 12   0      error (invalid witness file) .63 .41 7.9 39 error (invalid witness file) 8.3 4.3 79 290 - -
eca-rers2012/Problem12_label50_false-unreach-call.c unknown 0 wit inspect 890 900 11000 4000 13   0      error (invalid witness file) .55 .37 11   39 error (invalid witness file) 6.3 3.3 130 290 - -
eca-rers2012/Problem12_label51_false-unreach-call.c unknown 0 wit inspect 890 900 9400 3900 12   0      error (invalid witness file) .63 .40 9.4 42 error (invalid witness file) 7.0 3.6 110 300 - -
eca-rers2012/Problem12_label52_false-unreach-call.c false(unreach-call) 0 wit inspect 820 820 10000 3900 13   0      timeout 97    80    2100   3600 true 23   13   270 580 - -
eca-rers2012/Problem12_label55_false-unreach-call.c unknown 0 wit inspect 890 900 9300 4000 13   0      error (invalid witness file) .51 .32 10   40 error (invalid witness file) 6.8 3.6 150 310 - -
eca-rers2012/Problem13_label04_false-unreach-call.c unknown 0 wit inspect 890 900 11000 4300 12   0      error (invalid witness file) .51 .33 11   39 error (invalid witness file) 9.4 4.8 78 320 - -
eca-rers2012/Problem13_label06_false-unreach-call.c unknown 0 wit inspect 890 900 8900 4300 12   0      error (invalid witness file) .55 .36 6.2 44 error (invalid witness file) 7.7 4.0 120 310 - -
eca-rers2012/Problem13_label07_false-unreach-call.c unknown 0 wit inspect 890 900 10000 3900 11   0      error (invalid witness file) .64 .42 7.6 40 error (invalid witness file) 7.1 3.7 150 300 - -
eca-rers2012/Problem13_label11_false-unreach-call.c unknown 0 wit inspect 890 900 9200 4200 11   0      error (invalid witness file) .49 .33 10   39 error (invalid witness file) 7.9 4.2 97 300 - -
eca-rers2012/Problem13_label12_false-unreach-call.c unknown 0 wit inspect 900 900 9400 4200 11   .082  error (invalid witness file) .64 .41 9.4 39 error (invalid witness file) 6.4 3.4 100 300 - -
eca-rers2012/Problem13_label16_false-unreach-call.c unknown 0 wit inspect 890 900 9300 4100 11   0      error (invalid witness file) .64 .40 7.7 39 error (invalid witness file) 7.0 3.7 120 300 - -
eca-rers2012/Problem13_label19_false-unreach-call.c unknown 0 wit inspect 890 900 9600 4300 11   34      error (invalid witness file) .61 .39 6.1 39 error (invalid witness file) 8.4 4.4 88 300 - -
eca-rers2012/Problem13_label21_false-unreach-call.c unknown 0 wit inspect 900 900 9700 4300 12   0      error (invalid witness file) .65 .42 8.2 40 error (invalid witness file) 8.4 4.4 100 310 - -
eca-rers2012/Problem13_label23_false-unreach-call.c unknown 0 wit inspect 890 900 11000 3100 9.6 0      error (invalid witness file) .75 .47 8.4 44 error (invalid witness file) 7.3 3.8 78 310 - -
eca-rers2012/Problem13_label24_false-unreach-call.c unknown 0 wit inspect 900 900 9800 4200 11   0      error (invalid witness file) .56 .36 9.9 40 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem13_label25_false-unreach-call.c unknown 0 wit inspect 890 900 8800 4400 12   0      error (invalid witness file) .63 .41 7.9 41 error (invalid witness file) 7.0 3.7 140 310 - -
eca-rers2012/Problem13_label28_false-unreach-call.c unknown 0 wit inspect 900 900 9000 4200 11   0      error (invalid witness file) .67 .42 9.1 41 error (invalid witness file) 6.7 3.6 140 300 - -
eca-rers2012/Problem13_label29_false-unreach-call.c unknown 0 wit inspect 890 900 9600 4100 11   0      error (invalid witness file) .52 .34 11   40 error (invalid witness file) 7.1 3.7 140 300 - -
eca-rers2012/Problem13_label30_false-unreach-call.c unknown 0 wit inspect 890 900 12000 4200 11   0      error (invalid witness file) .53 .33 8.8 41 error (invalid witness file) 7.1 3.8 110 290 - -
eca-rers2012/Problem13_label32_false-unreach-call.c unknown 0 wit inspect 890 900 8700 4200 11   0      error (invalid witness file) .53 .33 12   40 error (invalid witness file) 6.3 3.3 100 310 - -
eca-rers2012/Problem13_label35_false-unreach-call.c unknown 0 wit inspect 900 900 11000 4200 11   0      error (invalid witness file) .59 .39 6.5 41 error (invalid witness file) 7.6 4.0 100 300 - -
eca-rers2012/Problem13_label36_false-unreach-call.c unknown 0 wit inspect 900 900 9700 4300 11   0      error (invalid witness file) .52 .33 12   41 error (invalid witness file) 6.1 3.3 110 290 - -
eca-rers2012/Problem13_label40_false-unreach-call.c unknown 0 wit inspect 890 900 9600 4200 11   34      error (invalid witness file) .65 .42 8.3 41 error (invalid witness file) 6.5 3.4 110 300 - -
eca-rers2012/Problem13_label43_false-unreach-call.c unknown 0 wit inspect 890 900 10000 4300 12   0      error (invalid witness file) .49 .31 9.0 39 error (invalid witness file) 8.1 4.3 100 300 - -
eca-rers2012/Problem13_label44_false-unreach-call.c unknown 0 wit inspect 890 900 9300 4100 11   0      error (invalid witness file) .52 .32 11   42 error (invalid witness file) 6.7 3.6 100 290 - -
eca-rers2012/Problem13_label45_false-unreach-call.c unknown 0 wit inspect 890 900 11000 4300 12   0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.8 3.6 120 310 - -
eca-rers2012/Problem13_label48_false-unreach-call.c unknown 0 wit inspect 890 900 11000 4200 11   0      error (invalid witness file) .49 .33 12   42 error (invalid witness file) 6.8 3.6 120 290 - -
eca-rers2012/Problem13_label51_false-unreach-call.c unknown 0 wit inspect 890 900 11000 4100 11   0      error (invalid witness file) .68 .43 8.6 42 error (invalid witness file) 6.6 3.5 130 310 - -
eca-rers2012/Problem13_label54_false-unreach-call.c unknown 0 wit inspect 890 900 11000 4200 11   0      error (invalid witness file) .68 .42 8.2 40 error (invalid witness file) 7.2 3.8 140 300 - -
eca-rers2012/Problem13_label58_false-unreach-call.c unknown 0 wit inspect 890 900 12000 5000 12   0      error (invalid witness file) .57 .36 15   43 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem14_label02_false-unreach-call.c unknown 0 wit inspect 890 900 9900 1600 33   0      error (invalid witness file) .48 .31 11   39 error (invalid witness file) 6.8 3.6 110 300 - -
eca-rers2012/Problem14_label08_false-unreach-call.c unknown 0 wit inspect 900 900 10000 1500 32   0      error (invalid witness file) .64 .41 8.1 40 error (invalid witness file) 6.0 3.2 130 300 - -
eca-rers2012/Problem14_label10_false-unreach-call.c false(unreach-call) 0 wit inspect 890 890 9000 1400 29   0      true 62    49    1600   4800 true 13   6.7 170 360 - -
eca-rers2012/Problem14_label11_false-unreach-call.c unknown 0 wit inspect 890 900 9600 1200 26   0      error (invalid witness file) .53 .34 9.1 40 error (invalid witness file) 7.4 3.9 84 300 - -
eca-rers2012/Problem14_label12_false-unreach-call.c unknown 0 wit inspect 890 900 8500 1500 31   0      error (invalid witness file) .58 .37 7.9 40 error (invalid witness file) 6.4 3.4 130 290 - -
eca-rers2012/Problem14_label13_false-unreach-call.c unknown 0 wit inspect 890 900 10000 1300 31   0      error (invalid witness file) .69 .44 8.2 40 error (invalid witness file) 7.1 3.8 140 310 - -
eca-rers2012/Problem14_label14_false-unreach-call.c false(unreach-call) 0 wit inspect 780 780 9900 1400 29   0      true 70    55    850   4800 true 13   6.9 220 400 - -
eca-rers2012/Problem14_label18_false-unreach-call.c unknown 0 wit inspect 890 900 12000 1300 28   0      error (invalid witness file) .56 .36 10   39 error (invalid witness file) 6.5 3.4 120 290 - -
eca-rers2012/Problem14_label22_false-unreach-call.c unknown 0 wit inspect 890 900 9900 1500 33   0      error (invalid witness file) .56 .35 14   42 error (invalid witness file) 6.7 3.5 110 310 - -
eca-rers2012/Problem14_label27_false-unreach-call.c false(unreach-call) 0 wit inspect 880 880 10000 1300 29   0      true 74    58    1200   4800 true 12   6.4 180 370 - -
eca-rers2012/Problem14_label28_false-unreach-call.c unknown 0 wit inspect 890 900 9100 1500 33   33      error (invalid witness file) .56 .36 6.4 46 error (invalid witness file) 6.3 3.3 83 300 - -
eca-rers2012/Problem14_label29_false-unreach-call.c unknown 0 wit inspect 890 900 9200 1000 26   0      error (invalid witness file) .66 .41 8.7 40 error (invalid witness file) 7.2 3.8 67 290 - -
eca-rers2012/Problem14_label31_false-unreach-call.c unknown 0 wit inspect 890 900 9300 1200 27   0      error (invalid witness file) .63 .40 8.2 40 error (invalid witness file) 5.9 3.2 87 300 - -
eca-rers2012/Problem14_label34_false-unreach-call.c false(unreach-call) 0 wit inspect 850 850 9400 1300 29   0      true 73    56    1300   4800 true 11   6.2 210 380 - -
eca-rers2012/Problem14_label37_false-unreach-call.c unknown 0 wit inspect 890 900 13000 1600 33   0      error (invalid witness file) .56 .36 15   42 error (invalid witness file) 7.7 4.0 83 300 - -
eca-rers2012/Problem14_label39_false-unreach-call.c unknown 0 wit inspect 900 900 11000 1100 25   0      error (invalid witness file) .53 .32 13   42 error (invalid witness file) 6.4 3.4 120 300 - -
eca-rers2012/Problem14_label40_false-unreach-call.c unknown 0 wit inspect 890 900 10000 1500 32   0      error (invalid witness file) .52 .34 11   39 error (invalid witness file) 5.8 3.1 110 290 - -
eca-rers2012/Problem14_label41_false-unreach-call.c unknown 0 wit inspect 890 900 9500 1600 35   0      error (invalid witness file) .66 .42 8.9 40 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem14_label43_false-unreach-call.c unknown 0 wit inspect 890 900 9800 1600 34   .35   error (invalid witness file) .56 .36 11   40 error (invalid witness file) 6.5 3.4 87 290 - -
eca-rers2012/Problem14_label44_false-unreach-call.c unknown 0 wit inspect 890 900 9100 1600 33   0      error (invalid witness file) .60 .39 9.7 39 error (invalid witness file) 6.2 3.3 120 300 - -
eca-rers2012/Problem14_label52_false-unreach-call.c unknown 0 wit inspect 890 900 9300 1300 28   0      error (invalid witness file) .68 .43 5.9 41 error (invalid witness file) 7.4 3.9 77 300 - -
eca-rers2012/Problem14_label54_false-unreach-call.c unknown 0 wit inspect 890 900 10000 1600 34   0      error (invalid witness file) .52 .33 12   40 error (invalid witness file) 5.8 3.1 40 300 - -
eca-rers2012/Problem14_label56_false-unreach-call.c unknown 0 wit inspect 890 900 9500 1500 32   0      error (invalid witness file) .63 .42 8.3 40 error (invalid witness file) 5.7 3.1 100 290 - -
eca-rers2012/Problem14_label57_false-unreach-call.c false(unreach-call) 0 wit inspect 810 810 9100 1400 29   0      true 67    53    1600   2700 true 11   6.1 200 370 - -
eca-rers2012/Problem14_label58_false-unreach-call.c unknown 0 wit inspect 890 900 10000 1600 34   0      error (invalid witness file) .54 .34 13   43 error (invalid witness file) 7.1 3.7 100 310 - -
eca-rers2012/Problem15_label00_false-unreach-call.c false(unreach-call) 0 wit inspect 710 710 8400 2300 12   0      timeout 95    80    2100   2700 true 20   11   220 480 - -
eca-rers2012/Problem15_label02_false-unreach-call.c unknown 0 wit inspect 890 900 9700 2200 11   0      error (invalid witness file) .65 .41 8.6 40 error (invalid witness file) 7.7 4.0 93 300 - -
eca-rers2012/Problem15_label03_false-unreach-call.c false(unreach-call) 0 wit inspect 710 710 7400 2200 12   0      timeout 97    80    2200   3700 true 19   10   170 480 - -
eca-rers2012/Problem15_label07_false-unreach-call.c unknown 0 wit inspect 890 900 9600 1700 8.8 0      error (invalid witness file) .56 .36 9.9 41 error (invalid witness file) 6.7 3.5 110 310 - -
eca-rers2012/Problem15_label09_false-unreach-call.c false(unreach-call) 0 wit inspect 660 660 7000 2300 12   34      timeout 94    77    1800   2700 true 17   9.7 240 500 - -
eca-rers2012/Problem15_label14_false-unreach-call.c unknown 0 wit inspect 890 900 8700 2300 12   0      error (invalid witness file) .62 .40 8.0 39 error (invalid witness file) 6.0 3.2 130 290 - -
eca-rers2012/Problem15_label15_false-unreach-call.c unknown 0 wit inspect 890 900 9300 2300 11   0      error (invalid witness file) .49 .32 9.7 40 error (invalid witness file) 8.5 4.4 78 300 - -
eca-rers2012/Problem15_label18_false-unreach-call.c false(unreach-call) 0 wit inspect 630 630 7100 2200 12   0      timeout 95    78    2400   2700 true 20   11   190 480 - -
eca-rers2012/Problem15_label22_false-unreach-call.c unknown 0 wit inspect 890 900 10000 1600 8.8 0      error (invalid witness file) .62 .39 7.7 39 error (invalid witness file) 7.7 4.1 55 300 - -
eca-rers2012/Problem15_label23_false-unreach-call.c unknown 0 wit inspect 890 900 10000 2300 11   0      error (invalid witness file) .62 .39 7.1 39 error (invalid witness file) 6.9 3.6 150 310 - -
eca-rers2012/Problem15_label25_false-unreach-call.c unknown 0 wit inspect 890 900 8400 2200 11   0      error (invalid witness file) .53 .34 11   41 error (invalid witness file) 9.4 4.9 67 300 - -
eca-rers2012/Problem15_label29_false-unreach-call.c unknown 0 wit inspect 890 900 9200 2200 11   0      error (invalid witness file) .79 .48 7.5 44 error (invalid witness file) 6.5 3.5 130 300 - -
eca-rers2012/Problem15_label30_false-unreach-call.c unknown 0 wit inspect 890 900 8800 1800 11   0      error (invalid witness file) .65 .41 9.8 43 error (invalid witness file) 8.8 4.6 84 300 - -
eca-rers2012/Problem15_label33_false-unreach-call.c false(unreach-call) 0 wit inspect 850 850 8500 2300 12   0      timeout 95    80    2600   2600 true 16   8.8 340 490 - -
eca-rers2012/Problem15_label34_false-unreach-call.c unknown 0 wit inspect 890 900 8700 2200 11   0      error (invalid witness file) .55 .36 9.7 40 error (invalid witness file) 8.5 4.4 92 300 - -
eca-rers2012/Problem15_label37_false-unreach-call.c unknown 0 wit inspect 890 900 9900 2300 11   0      error (invalid witness file) .55 .35 8.5 40 error (invalid witness file) 8.7 4.5 89 300 - -
eca-rers2012/Problem15_label38_false-unreach-call.c false(unreach-call) 0 wit inspect 740 740 8900 2300 12   0      timeout 95    76    1600   3100 true 16   8.8 250 470 - -
eca-rers2012/Problem15_label39_false-unreach-call.c false(unreach-call) 0 wit inspect 740 740 7700 2200 12   0      timeout 96    78    1400   2800 true 19   10   180 480 - -
eca-rers2012/Problem15_label40_false-unreach-call.c false(unreach-call) 0 wit inspect 850 850 11000 2200 12   0      timeout 94    80    2400   3100 true 17   9.2 210 480 - -
eca-rers2012/Problem15_label41_false-unreach-call.c unknown 0 wit inspect 890 900 9200 2200 11   0      error (invalid witness file) .57 .37 14   44 error (invalid witness file) 5.9 3.1 94 290 - -
eca-rers2012/Problem15_label45_false-unreach-call.c unknown 0 wit inspect 890 900 9300 2300 11   0      error (invalid witness file) .56 .37 11   42 error (invalid witness file) 7.2 3.8 110 300 - -
eca-rers2012/Problem15_label47_false-unreach-call.c unknown 0 wit inspect 900 900 9000 2200 11   0      error (invalid witness file) .53 .34 9.8 39 error (invalid witness file) 6.5 3.5 130 300 - -
eca-rers2012/Problem15_label48_false-unreach-call.c false(unreach-call) 0 wit inspect 870 870 9000 2300 12   0      timeout 94    77    1500   2700 true 17   9.0 190 480 - -
eca-rers2012/Problem15_label50_false-unreach-call.c false(unreach-call) 0 wit inspect 860 860 11000 2300 12   0      timeout 97    77    1400   2600 true 19   10   200 480 - -
eca-rers2012/Problem15_label51_false-unreach-call.c unknown 0 wit inspect 890 900 9100 2300 11   0      error (invalid witness file) .53 .34 11   41 error (invalid witness file) 6.9 3.6 130 300 - -
eca-rers2012/Problem16_label00_false-unreach-call.c unknown 0 wit inspect 890 900 9300 960 8.2 0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 7.8 4.1 93 300 - -
eca-rers2012/Problem16_label01_false-unreach-call.c unknown 0 wit inspect 890 900 9300 1700 19   0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 7.9 4.2 72 290 - -
eca-rers2012/Problem16_label03_false-unreach-call.c unknown 0 wit inspect 900 900 10000 2000 23   0      error (invalid witness file) .64 .41 7.8 41 error (invalid witness file) 8.0 4.2 81 300 - -
eca-rers2012/Problem16_label04_false-unreach-call.c unknown 0 wit inspect 890 900 10000 2100 23   0      error (invalid witness file) .64 .41 8.5 39 error (invalid witness file) 7.1 3.7 140 300 - -
eca-rers2012/Problem16_label05_false-unreach-call.c unknown 0 wit inspect 890 900 11000 1900 21   0      error (invalid witness file) .54 .35 9.8 40 error (invalid witness file) 8.1 4.2 94 310 - -
eca-rers2012/Problem16_label06_false-unreach-call.c unknown 0 wit inspect 900 900 8400 2000 21   0      error (invalid witness file) .65 .41 6.6 40 error (invalid witness file) 7.8 4.1 90 300 - -
eca-rers2012/Problem16_label08_false-unreach-call.c unknown 0 wit inspect 890 900 11000 2000 22   0      error (invalid witness file) .51 .32 8.3 39 error (invalid witness file) 6.4 3.3 95 300 - -
eca-rers2012/Problem16_label14_false-unreach-call.c unknown 0 wit inspect 890 900 10000 2000 23   0      error (invalid witness file) .68 .42 8.9 40 error (invalid witness file) 6.3 3.3 110 290 - -
eca-rers2012/Problem16_label15_false-unreach-call.c unknown 0 wit inspect 890 900 10000 2100 23   0      error (invalid witness file) .63 .41 7.7 41 error (invalid witness file) 8.0 4.2 85 300 - -
eca-rers2012/Problem16_label18_false-unreach-call.c unknown 0 wit inspect 890 900 10000 2000 23   0      error (invalid witness file) .51 .32 9.0 39 error (invalid witness file) 7.0 3.7 140 310 - -
eca-rers2012/Problem16_label20_false-unreach-call.c unknown 0 wit inspect 890 900 12000 2000 22   0      error (invalid witness file) .62 .39 7.6 39 error (invalid witness file) 6.7 3.5 130 310 - -
eca-rers2012/Problem16_label22_false-unreach-call.c unknown 0 wit inspect 890 900 9800 2000 23   0      error (invalid witness file) .64 .42 8.7 41 error (invalid witness file) 6.6 3.5 98 310 - -
eca-rers2012/Problem16_label27_false-unreach-call.c unknown 0 wit inspect 890 900 10000 2000 22   0      error (invalid witness file) .67 .43 8.4 41 error (invalid witness file) 7.3 3.8 96 300 - -
eca-rers2012/Problem16_label30_false-unreach-call.c unknown 0 wit inspect 900 900 10000 2000 22   0      error (invalid witness file) .48 .31 9.0 39 error (invalid witness file) 8.5 4.4 79 300 - -
eca-rers2012/Problem16_label31_false-unreach-call.c unknown 0 wit inspect 890 900 10000 2000 22   .082  error (invalid witness file) .61 .39 9.1 41 error (invalid witness file) 6.3 3.4 120 310