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