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