Tool SymDIVINE
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-13 11:13:29 CET [[ 2017-01-15 02:06:46 CET ]] [[ 2017-01-15 03:46:01 CET ]] [[ 2017-01-15 02:24:39 CET ]] [[ 2017-01-15 04:02:29 CET ]]; 2017-01-14 05:49:34 CET]
Run set [sv-comp17.ReachSafety-ControlFlow; sv-comp17.ReachSafety-ECA; sv-comp17.ReachSafety-Loops; sv-comp17.ReachSafety-ProductLines; sv-comp17.ReachSafety-Recursive; sv-comp17.ReachSafety-Sequentialized; sv-comp17; sv-comp17.Systems_DeviceDriversLinux64_ReachSafety]
Options [--fix_volatile --fix_inline --silent -Os [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; --fix_volatile --fix_inline --silent -Os]
../../sv-benchmarks/c/ verifier status cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 4.6   4.6   54    150   .074  .090  false(unreach-call) 18    9.9  150   540 true 12   6.7 170 400 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 3.1   3.2   39    190   .053  11      false(unreach-call) 14    7.6  140   480 true 11   5.7 89 330 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 22     22     290    790   .070  9.8    false(unreach-call) 14    7.9  290   500 true 11   6.2 210 370 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1.2   1.2   16    75   .041  0      false(unreach-call) 9.4  5.0  110   380 true 12   6.1 120 330 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 4.8   4.8   57    170   .074  0      - - true 15    8.1  290   680 true 92   51   760 1100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13     13     160    480   .053  0      - - out of memory 520    500    7400   7000 true 91   49   1200 970
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 5.6   5.6   60    360   .053  0      - - true 11    5.7  72   480 true 70   38   620 920
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 25     25     350    1500   .070  .098  - - true 14    7.6  160   500 true 79   43   1000 980
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .46  .49  4.7  41   .029  9.4    - - true 6.6  3.5  130   300 true 23   12   380 580
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 1.4   1.4   18    130   .041  0      - - true 8.3  4.4  170   340 true 21   11   210 570
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(unreach-call) 120     120     1700    410   .025  0      false(unreach-call) 12    6.2  160   450 true 9.8 5.2 97 310 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(unreach-call) 120     120     1600    440   .025  0      false(unreach-call) 13    6.9  100   460 true 8.0 4.3 140 320 - -
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(unreach-call) 280     280     3700    1000   .025  0      false(unreach-call) 11    6.0  220   450 true 8.2 4.4 170 320 - -
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(unreach-call) 280     270     3300    960   .025  16      false(unreach-call) 10    5.4  190   450 true 10   5.5 130 320 - -
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(unreach-call) 1.1   1.1   16    10   .020  0      false(unreach-call) 10    5.4  110   360 true 8.9 4.8 150 320 - -
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c timeout 900     890     10000    4200   .029  0      error (invalid witness file) .59 .37 9.9 40 error (invalid witness file) 6.3 3.3 120 300 - -
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c timeout 900     890     12000    3100   .033  0      error (invalid witness file) .54 .34 10   39 error (invalid witness file) 7.9 4.2 76 300 - -
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(unreach-call) 290     280     3900    2000   .029  0      false(unreach-call) 13    6.6  130   470 true 11   5.8 140 330 - -
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(unreach-call) 670     670     8300    3400   .025  0      false(unreach-call) 10    5.4  110   310 true 8.1 4.5 160 320 - -
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(unreach-call) 420     420     5000    1800   .025  0      false(unreach-call) 9.0  4.8  120   320 true 10   5.5 120 320 - -
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(unreach-call) 410     410     5900    2000   .025  0      false(unreach-call) 8.4  4.5  78   310 true 8.9 4.7 150 330 - -
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(unreach-call) 340     340     4400    1000   .029  0      false(unreach-call) 5.3  2.9  110   290 true 8.2 4.4 140 310 - -
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 160     160     2100    540   .025  0      - - true 14    7.8  220   530 true 50   27   720 1400
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 160     160     2300    860   .025  0      - - true 16    9.1  190   540 true 60   32   670 1500
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 160     160     2000    860   .025  .098  - - true 17    9.6  230   560 true 54   29   530 1400
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 160     160     2200    550   .025  0      - - true 15    8.4  220   550 true 61   33   610 1400
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c timeout 900     900     11000    4200   .025  4.0    - - error (invalid witness file) .71 .44 9.3 44 error (invalid witness file) 5.7 3.0 110 310
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c true .57  .57  7.3  15   .012  0      - - true 7.8  4.1  120   320 true 12   6.5 170 380
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true .090 .090 .62 9.7 .0082 0      - - true 4.9  2.7  87   300 true 8.4 4.5 130 330
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c timeout 900     900     13000    4500   .025  0      - - error (invalid witness file) .50 .31 4.1 39 error (invalid witness file) 5.9 3.2 100 300
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c timeout 900     900     12000    4500   .025  0      - - error (invalid witness file) .46 .30 5.7 39 error (invalid witness file) 6.2 3.3 110 300
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c timeout 900     900     13000    4500   .025  0      - - error (invalid witness file) .61 .39 11   43 error (invalid witness file) 6.2 3.2 120 300
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c timeout 900     900     13000    5000   .029  .061  - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.1 3.2 86 310
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c timeout 900     900     12000    4500   .025  4.5    - - error (invalid witness file) .65 .42 8.4 41 error (invalid witness file) 6.4 3.3 92 300
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c timeout 900     900     13000    4500   .025  0      - - error (invalid witness file) .49 .32 9.1 40 error (invalid witness file) 7.0 3.7 83 300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) .088 .087 .72 9.9 .0082 0      false(unreach-call) 6.0  3.2  64   280 true 7.2 3.8 130 310 - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) .099 .099 .76 10   .0082 0      false(unreach-call) 5.4  2.9  91   290 true 7.8 4.2 150 330 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true .059 .059 .55 10   .0082 0      - - true 5.8  3.1  99   290 true 22   12   290 760
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true .081 .081 .57 9.8 .0082 0      - - true 7.6  4.1  84   300 true 27   14   460 1300
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true .072 .072 .60 9.9 .0082 0      - - true 7.8  4.2  89   300 true 34   19   760 2500
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true .096 .097 .52 9.8 .0082 0      - - true 7.6  4.1  92   300 true 39   24   640 3600
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true .093 .093 .55 10   .0082 0      - - true 7.0  3.8  120   300 true 77   49   610 6300
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true .088 .087 .52 9.9 .0082 0      - - true 8.1  4.4  73   300 out of memory 100   65   1100 7000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true .076 .076 .50 9.6 .0082 0      - - true 5.9  3.3  65   290 true 9.4 5.1 180 350
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true .061 .061 .62 10   .0082 0      - - true 5.9  3.2  76   290 true 12   6.5 190 440
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true .059 .058 .58 9.9 .0082 0      - - true 4.9  2.7  65   280 true 14   7.4 240 490
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true .060 .060 .54 9.6 .0082 0      - - true 5.5  3.0  60   290 true 16   8.5 260 490
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true .074 .11  .80 17   .0082 11      - - true 7.4  4.0  72   290 true 18   9.4 250 590
ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown .17  .17  1.5  16   .26   0      error (invalid witness file) .66 .43 7.2 41 error (invalid witness file) 6.8 3.6 120 300 - -
ntdrivers/diskperf_false-unreach-call.i.cil.c error (1) 1.0   1.0   14    64   .18   .41   error (invalid witness file) .50 .32 8.6 39 error (invalid witness file) 7.3 3.8 110 300 - -
ntdrivers/floppy_false-unreach-call.i.cil.c unknown .32  .32  3.6  26   .34   0      error (invalid witness file) .56 .37 9.0 39 error (invalid witness file) 8.3 4.4 63 300 - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c error (1) .093 .094 1.0  12   .11   .41   error (invalid witness file) .51 .34 9.1 40 error (invalid witness file) 6.5 3.4 120 300 - -
ntdrivers/parport_false-unreach-call.i.cil.c error (1) .66  .67  6.7  41   .41   .64   error (invalid witness file) .57 .37 9.2 39 error (invalid witness file) 7.4 3.8 120 310 - -
ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown .14  .14  1.5  16   .26   0      - - error (invalid witness file) .52 .35 9.3 40 error (invalid witness file) 7.2 3.8 110 320
ntdrivers/diskperf_true-unreach-call.i.cil.c error (1) 1.1   1.1   15    65   .18   .41   - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.4 3.4 110 300
ntdrivers/floppy2_true-unreach-call.i.cil.c unknown .31  .31  3.4  22   .52   0      - - error (invalid witness file) .53 .34 10   42 error (invalid witness file) 7.7 4.1 120 310
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown .27  .27  2.4  14   .34   0      - - error (invalid witness file) .58 .37 5.4 42 error (invalid witness file) 6.7 3.5 100 300
ntdrivers/parport_true-unreach-call.i.cil.c error (1) .64  .66  8.1  46   .41   4.7    - - error (invalid witness file) .54 .35 11   41 error (invalid witness file) 7.4 3.9 150 310
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unknown .071 .071 .67 11   .049  0      error (invalid witness file) .56 .35 9.9 40 error (invalid witness file) 6.6 3.5 140 300 - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c unknown .064 .064 .66 11   .049  0      error (invalid witness file) .51 .33 11   39 error (invalid witness file) 6.2 3.3 130 310 - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c unknown .063 .062 .79 11   .049  0      error (invalid witness file) .63 .41 8.1 40 error (invalid witness file) 5.7 3.1 120 300 - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c unknown .069 .069 .62 11   .049  0      error (invalid witness file) .59 .37 10   41 error (invalid witness file) 6.6 3.4 96 300 - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c unknown .066 .067 .76 11   .053  0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 5.6 3.0 120 290 - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c unknown .087 .087 .61 11   .057  0      error (invalid witness file) .50 .31 8.2 39 error (invalid witness file) 7.6 4.0 78 300 - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c unknown .073 .073 .73 11   .057  0      error (invalid witness file) .60 .39 9.3 40 error (invalid witness file) 6.1 3.3 120 310 - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c unknown .089 .089 .68 11   .057  0      error (invalid witness file) .49 .31 6.6 39 error (invalid witness file) 5.8 3.1 93 300 - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c unknown .081 .095 .74 12   .057  5.1    error (invalid witness file) .51 .33 10   40 error (invalid witness file) 5.6 3.0 110 290 - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c unknown .075 .075 .70 11   .057  0      error (invalid witness file) .64 .40 5.6 40 error (invalid witness file) 6.6 3.5 95 310 - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c unknown .066 .066 .87 11   .057  0      error (invalid witness file) .56 .37 10   39 error (invalid witness file) 6.5 3.4 100 300 - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c unknown .093 .093 .66 11   .057  0      error (invalid witness file) .50 .32 7.7 41 error (invalid witness file) 5.8 3.1 120 290 - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c unknown .070 .070 .66 11   .057  0      error (invalid witness file) .52 .33 9.2 40 error (invalid witness file) 7.0 3.7 89 310 - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c unknown .071 .072 .61 11   .057  0      error (invalid witness file) .57 .37 11   42 error (invalid witness file) 7.5 3.9 82 300 - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c unknown .10  .10  .60 11   .057  0      error (invalid witness file) .60 .37 7.8 39 error (invalid witness file) 6.1 3.2 120 300 - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c unknown .10  .10  .56 11   .057  0      error (invalid witness file) .50 .33 6.7 40 error (invalid witness file) 6.1 3.2 120 300 - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c unknown .10  .10  .56 11   .057  0      error (invalid witness file) .51 .34 10   41 error (invalid witness file) 6.2 3.3 120 300 - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c unknown .066 .067 .72 11   .057  0      error (invalid witness file) .65 .41 7.4 39 error (invalid witness file) 7.7 4.0 90 290 - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c unknown .084 .084 .73 11   .057  0      error (invalid witness file) .53 .35 11   40 error (invalid witness file) 6.5 3.4 90 300 - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c unknown .064 .064 .73 11   .049  0      - - error (invalid witness file) .50 .31 14   40 error (invalid witness file) 6.6 3.5 120 300
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c unknown .070 .070 .60 11   .049  .13   - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 6.3 3.3 120 300
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c unknown .073 .073 .69 11   .049  0      - - error (invalid witness file) .51 .32 9.1 39 error (invalid witness file) 6.4 3.4 120 300
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c unknown .065 .065 .76 11   .049  0      - - error (invalid witness file) .57 .37 11   41 error (invalid witness file) 7.2 3.8 120 310
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c unknown .085 .085 .63 11   .057  0      - - error (invalid witness file) .50 .33 13   40 error (invalid witness file) 6.7 3.5 140 300
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c unknown .094 .094 .64 11   .057  0      - - error (invalid witness file) .62 .40 8.8 41 error (invalid witness file) 6.9 3.6 120 320
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c unknown .083 .083 .77 11   .057  0      - - error (invalid witness file) .56 .36 9.8 39 error (invalid witness file) 6.4 3.4 130 300
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c unknown .069 .069 .71 11   .057  0      - - error (invalid witness file) .62 .39 9.5 40 error (invalid witness file) 6.1 3.3 130 290
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c unknown .088 .088 .64 11   .057  0      - - error (invalid witness file) .58 .36 11   40 error (invalid witness file) 6.2 3.2 100 300
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c unknown .067 .067 .69 11   .057  0      - - error (invalid witness file) .62 .40 7.0 39 error (invalid witness file) 6.9 3.6 100 320
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c unknown .087 .087 .70 11   .057  0      - - error (invalid witness file) .66 .40 9.0 41 error (invalid witness file) 6.1 3.3 100 310
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c unknown .067 .067 .60 11   .057  0      - - error (invalid witness file) .64 .41 7.8 40 error (invalid witness file) 6.2 3.3 95 310
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c unknown .091 .093 .67 11   .057  0      - - error (invalid witness file) .63 .40 7.7 42 error (invalid witness file) 6.5 3.5 100 310
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c unknown .087 .088 .66 11   .057  0      - - error (invalid witness file) .55 .35 5.7 41 error (invalid witness file) 7.7 4.0 120 310
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c unknown .081 .081 .56 11   .057  0      - - error (invalid witness file) .61 .40 9.1 40 error (invalid witness file) 5.6 3.1 110 300
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c unknown .076 .090 .80 12   .057  4.4    - - error (invalid witness file) .51 .34 7.1 40 error (invalid witness file) 6.3 3.3 120 300
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c unknown .067 .067 .87 11   .057  0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.8 3.6 99 300
eca-rers2012/Problem01_label15_false-unreach-call.c out of memory 120     120     1400    15000   .25   0      error (invalid witness file) .49 .32 11   39 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem01_label20_false-unreach-call.c out of memory 120     110     1600    15000   .25   0      error (invalid witness file) .63 .41 8.7 42 error (invalid witness file) 6.8 3.6 88 300 - -
eca-rers2012/Problem01_label21_false-unreach-call.c out of memory 110     110     1400    15000   .25   0      error (invalid witness file) .63 .40 10   45 error (invalid witness file) 6.3 3.3 100 300 - -
eca-rers2012/Problem01_label32_false-unreach-call.c out of memory 120     120     1300    15000   .25   14      error (invalid witness file) .67 .42 7.9 41 error (invalid witness file) 7.0 3.7 140 310 - -
eca-rers2012/Problem01_label33_false-unreach-call.c out of memory 120     120     1400    15000   .25   .13   error (invalid witness file) .52 .33 9.6 39 error (invalid witness file) 6.6 3.5 110 300 - -
eca-rers2012/Problem01_label35_false-unreach-call.c out of memory 120     120     1600    15000   .25   4.0    error (invalid witness file) .68 .42 8.8 42 error (invalid witness file) 7.4 3.9 94 300 - -
eca-rers2012/Problem01_label37_false-unreach-call.c out of memory 120     120     1300    15000   .25   0      error (invalid witness file) .54 .35 11   40 error (invalid witness file) 7.7 4.0 100 300 - -
eca-rers2012/Problem01_label38_false-unreach-call.c out of memory 120     110     1300    15000   .25   0      error (invalid witness file) .54 .36 11   42 error (invalid witness file) 7.0 3.7 110 300 - -
eca-rers2012/Problem01_label44_false-unreach-call.c out of memory 120     120     1700    15000   .25   .090  error (invalid witness file) .52 .34 11   40 error (invalid witness file) 7.4 3.9 76 300 - -
eca-rers2012/Problem01_label47_false-unreach-call.c out of memory 120     120     1300    15000   .25   0      error (invalid witness file) .51 .32 7.6 40 error (invalid witness file) 5.7 3.0 110 290 - -
eca-rers2012/Problem01_label50_false-unreach-call.c out of memory 120     120     1600    15000   .25   0      error (invalid witness file) .53 .36 13   40 error (invalid witness file) 6.4 3.3 89 300 - -
eca-rers2012/Problem01_label56_false-unreach-call.c out of memory 120     120     1500    15000   .25   15      error (invalid witness file) .52 .35 8.7 39 error (invalid witness file) 7.9 4.2 110 310 - -
eca-rers2012/Problem01_label57_false-unreach-call.c out of memory 120     120     1300    15000   .25   4.3    error (invalid witness file) .49 .32 11   41 error (invalid witness file) 7.9 4.2 76 290 - -
eca-rers2012/Problem02_label13_false-unreach-call.c true 27     27     350    1900   .23   0      unknown 30    16    240   630 false(unreach-call) 38   21   580 750 - -
eca-rers2012/Problem02_label16_false-unreach-call.c false(unreach-call) 11     11     120    910   .23   0      false(unreach-call) 12    6.2  180   440 true 11   6.2 170 370 - -
eca-rers2012/Problem02_label43_false-unreach-call.c true 27     27     350    1900   .23   0      unknown 24    13    250   620 false(unreach-call) 31   18   440 730 - -
eca-rers2012/Problem02_label44_false-unreach-call.c true 27     27     330    1900   .23   0      unknown 23    12    410   610 false(unreach-call) 35   19   530 680 - -
eca-rers2012/Problem02_label45_false-unreach-call.c true 27     27     290    1900   .23   0      unknown 31    17    320   790 false(unreach-call) 54   30   1100 870 - -
eca-rers2012/Problem02_label50_false-unreach-call.c true 27     27     380    1900   .23   0      unknown 27    15    360   760 false(unreach-call) 39   22   790 740 - -
eca-rers2012/Problem02_label59_false-unreach-call.c true 27     27     280    1900   .23   9.7    unknown 32    17    290   720 false(unreach-call) 44   25   720 830 - -
eca-rers2012/Problem03_label09_false-unreach-call.c out of memory 150     150     1600    15000   .70   0      error (invalid witness file) .66 .41 7.9 40 error (invalid witness file) 7.3 3.8 110 300 - -
eca-rers2012/Problem03_label13_false-unreach-call.c out of memory 150     150     1700    15000   .70   4.0    error (invalid witness file) .52 .33 13   41 error (invalid witness file) 6.3 3.3 120 300 - -
eca-rers2012/Problem03_label26_false-unreach-call.c out of memory 150     150     1500    15000   .70   4.0    error (invalid witness file) .54 .35 10   40 error (invalid witness file) 6.8 3.5 140 310 - -
eca-rers2012/Problem03_label27_false-unreach-call.c out of memory 150     150     2000    15000   .70   15      error (invalid witness file) .53 .34 8.9 40 error (invalid witness file) 7.2 3.7 84 310 - -
eca-rers2012/Problem03_label28_false-unreach-call.c out of memory 150     150     1800    15000   .70   0      error (invalid witness file) .54 .35 11   39 error (invalid witness file) 6.3 3.3 140 300 - -
eca-rers2012/Problem03_label31_false-unreach-call.c out of memory 150     150     1800    15000   .70   0      error (invalid witness file) .49 .31 10   40 error (invalid witness file) 8.5 4.4 79 300 - -
eca-rers2012/Problem03_label35_false-unreach-call.c out of memory 150     150     1700    15000   .70   4.0    error (invalid witness file) .56 .35 14   43 error (invalid witness file) 8.2 4.3 99 300 - -
eca-rers2012/Problem03_label37_false-unreach-call.c out of memory 150     150     1900    15000   .70   0      error (invalid witness file) .76 .46 7.0 40 error (invalid witness file) 8.2 4.3 69 300 - -
eca-rers2012/Problem03_label39_false-unreach-call.c out of memory 150     150     1800    15000   .70   .070  error (invalid witness file) .57 .37 9.6 40 error (invalid witness file) 6.8 3.6 140 310 - -
eca-rers2012/Problem03_label43_false-unreach-call.c out of memory 150     150     1900    15000   .70   3.9    error (invalid witness file) .60 .38 7.8 42 error (invalid witness file) 7.0 3.7 120 300 - -
eca-rers2012/Problem03_label45_false-unreach-call.c out of memory 150     150     1800    15000   .70   14      error (invalid witness file) .55 .34 11   42 error (invalid witness file) 6.7 3.5 80 300 - -
eca-rers2012/Problem03_label50_false-unreach-call.c out of memory 150     150     1800    15000   .70   0      error (invalid witness file) .49 .32 11   39 error (invalid witness file) 6.5 3.4 100 300 - -
eca-rers2012/Problem03_label52_false-unreach-call.c out of memory 150     140     1900    15000   .70   0      error (invalid witness file) .64 .41 7.9 40 error (invalid witness file) 8.8 4.6 84 300 - -
eca-rers2012/Problem04_label04_false-unreach-call.c out of memory 120     120     1500    15000   2.0    3.9    error (invalid witness file) .67 .42 8.9 43 error (invalid witness file) 7.2 3.8 130 300 - -
eca-rers2012/Problem04_label06_false-unreach-call.c out of memory 120     120     1300    15000   2.0    4.0    error (invalid witness file) .48 .31 10   39 error (invalid witness file) 8.0 4.2 70 300 - -
eca-rers2012/Problem04_label09_false-unreach-call.c out of memory 120     120     1300    15000   2.0    4.0    error (invalid witness file) .49 .31 6.9 39 error (invalid witness file) 6.6 3.6 120 290 - -
eca-rers2012/Problem04_label11_false-unreach-call.c out of memory 120     120     1300    15000   2.0    0      error (invalid witness file) .49 .32 9.1 40 error (invalid witness file) 7.7 4.0 120 310 - -
eca-rers2012/Problem04_label12_false-unreach-call.c out of memory 120     120     1300    15000   2.0    .098  error (invalid witness file) .60 .37 8.8 39 error (invalid witness file) 6.6 3.5 130 300 - -
eca-rers2012/Problem04_label13_false-unreach-call.c out of memory 120     120     1400    15000   2.0    14      error (invalid witness file) .57 .37 12   44 error (invalid witness file) 8.2 4.3 81 310 - -
eca-rers2012/Problem04_label14_false-unreach-call.c out of memory 120     120     1500    15000   2.0    15      error (invalid witness file) .66 .42 8.2 42 error (invalid witness file) 8.5 4.4 83 300 - -
eca-rers2012/Problem04_label15_false-unreach-call.c out of memory 120     120     1300    15000   2.0    4.0    error (invalid witness file) .51 .32 7.4 40 error (invalid witness file) 8.5 4.5 90 300 - -
eca-rers2012/Problem04_label17_false-unreach-call.c out of memory 120     120     1300    15000   2.0    4.0    error (invalid witness file) .54 .34 7.9 39 error (invalid witness file) 7.9 4.1 87 300 - -
eca-rers2012/Problem04_label18_false-unreach-call.c out of memory 120     110     1400    15000   2.0    0      error (invalid witness file) .53 .35 13   39 error (invalid witness file) 6.5 3.5 110 300 - -
eca-rers2012/Problem04_label19_false-unreach-call.c out of memory 120     120     1700    15000   2.0    9.7    error (invalid witness file) .48 .30 9.2 39 error (invalid witness file) 7.5 4.0 100 300 - -
eca-rers2012/Problem04_label26_false-unreach-call.c out of memory 120     120     1400    15000   2.0    9.8    error (invalid witness file) .59 .38 9.2 42 error (invalid witness file) 7.7 4.1 76 300 - -
eca-rers2012/Problem04_label27_false-unreach-call.c out of memory 120     120     1400    15000   2.0    0      error (invalid witness file) .59 .37 10   40 error (invalid witness file) 6.3 3.4 120 300 - -
eca-rers2012/Problem04_label31_false-unreach-call.c out of memory 120     120     1600    15000   2.0    0      error (invalid witness file) .50 .33 11   40 error (invalid witness file) 7.8 4.1 91 300 - -
eca-rers2012/Problem04_label32_false-unreach-call.c out of memory 120     120     1700    15000   2.0    0      error (invalid witness file) .47 .31 9.6 40 error (invalid witness file) 7.3 3.8 96 300 - -
eca-rers2012/Problem04_label35_false-unreach-call.c out of memory 120     120     1300    15000   2.0    9.7    error (invalid witness file) .52 .33 12   39 error (invalid witness file) 7.0 3.6 140 310 - -
eca-rers2012/Problem04_label36_false-unreach-call.c out of memory 120     120     1300    15000   2.0    0      error (invalid witness file) .61 .39 9.8 41 error (invalid witness file) 7.8 4.1 140 330 - -
eca-rers2012/Problem04_label38_false-unreach-call.c out of memory 120     120     1600    15000   2.0    0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.6 3.4 86 300 - -
eca-rers2012/Problem04_label39_false-unreach-call.c out of memory 120     120     1300    15000   2.0    4.1    error (invalid witness file) .57 .36 10   40 error (invalid witness file) 8.0 4.2 100 310 - -
eca-rers2012/Problem04_label40_false-unreach-call.c out of memory 120     120     1400    15000   2.0    0      error (invalid witness file) .52 .34 10   43 error (invalid witness file) 9.7 5.0 98 330 - -
eca-rers2012/Problem04_label45_false-unreach-call.c out of memory 120     120     1400    15000   2.0    0      error (invalid witness file) .55 .34 11   39 error (invalid witness file) 6.7 3.5 130 290 - -
eca-rers2012/Problem04_label52_false-unreach-call.c out of memory 120     120     1300    15000   2.0    0      error (invalid witness file) .59 .38 5.6 40 error (invalid witness file) 6.7 3.6 130 300 - -
eca-rers2012/Problem04_label55_false-unreach-call.c out of memory 120     120     1400    15000   2.0    0      error (invalid witness file) .65 .43 8.6 40 error (invalid witness file) 8.2 4.3 93 310 - -
eca-rers2012/Problem04_label58_false-unreach-call.c out of memory 120     120     1600    15000   2.0    0      error (invalid witness file) .61 .39 6.3 45 error (invalid witness file) 9.4 4.9 110 310 - -
eca-rers2012/Problem05_label00_false-unreach-call.c out of memory 130     130     1600    15000   4.0    0      error (invalid witness file) .52 .33 11   39 error (invalid witness file) 7.2 3.8 110 290 - -
eca-rers2012/Problem05_label01_false-unreach-call.c out of memory 130     130     1600    15000   4.0    0      error (invalid witness file) .62 .40 7.5 39 error (invalid witness file) 7.8 4.1 100 310 - -
eca-rers2012/Problem05_label11_false-unreach-call.c out of memory 130     130     1600    15000   4.0    0      error (invalid witness file) .47 .30 8.4 39 error (invalid witness file) 7.7 4.0 150 300 - -
eca-rers2012/Problem05_label13_false-unreach-call.c out of memory 130     130     1500    15000   4.0    0      error (invalid witness file) .52 .33 10   39 error (invalid witness file) 7.1 3.7 140 310 - -
eca-rers2012/Problem05_label15_false-unreach-call.c out of memory 130     130     1800    15000   4.0    0      error (invalid witness file) .60 .39 8.5 39 error (invalid witness file) 7.7 4.0 110 310 - -
eca-rers2012/Problem05_label18_false-unreach-call.c out of memory 130     130     1900    15000   4.0    3.9    error (invalid witness file) .53 .35 6.8 42 error (invalid witness file) 6.1 3.3 140 290 - -
eca-rers2012/Problem05_label24_false-unreach-call.c out of memory 130     130     1800    15000   4.0    4.0    error (invalid witness file) .67 .42 7.7 40 error (invalid witness file) 7.1 3.7 140 310 - -
eca-rers2012/Problem05_label26_false-unreach-call.c out of memory 130     130     1700    15000   4.0    4.1    error (invalid witness file) .62 .40 7.9 42 error (invalid witness file) 11   5.5 80 310 - -
eca-rers2012/Problem05_label30_false-unreach-call.c out of memory 130     130     1500    15000   4.0    .098  error (invalid witness file) .68 .42 8.1 41 error (invalid witness file) 6.9 3.6 140 300 - -
eca-rers2012/Problem05_label32_false-unreach-call.c out of memory 130     130     1500    15000   4.0    0      error (invalid witness file) .53 .33 13   43 error (invalid witness file) 7.7 4.1 99 290 - -
eca-rers2012/Problem05_label33_false-unreach-call.c out of memory 130     130     1600    15000   4.0    4.0    error (invalid witness file) .68 .43 8.4 42 error (invalid witness file) 6.7 3.5 140 300 - -
eca-rers2012/Problem05_label36_false-unreach-call.c out of memory 130     130     1500    15000   4.0    0      error (invalid witness file) .55 .36 7.9 42 error (invalid witness file) 7.0 3.7 120 300 - -
eca-rers2012/Problem05_label37_false-unreach-call.c out of memory 130     130     1500    15000   4.0    0      error (invalid witness file) .56 .36 11   42 error (invalid witness file) 6.8 3.5 120 290 - -
eca-rers2012/Problem05_label38_false-unreach-call.c out of memory 130     130     1500    15000   4.0    0      error (invalid witness file) .52 .32 10   40 error (invalid witness file) 7.8 4.0 130 320 - -
eca-rers2012/Problem05_label39_false-unreach-call.c out of memory 130     130     1500    15000   4.0    4.0    error (invalid witness file) .59 .38 11   40 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem05_label40_false-unreach-call.c out of memory 130     130     1700    15000   4.0    0      error (invalid witness file) .52 .33 10   43 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem05_label41_false-unreach-call.c out of memory 130     130     1300    15000   4.0    0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 8.4 4.4 81 300 - -
eca-rers2012/Problem05_label44_false-unreach-call.c out of memory 130     130     1900    15000   4.0    9.8    error (invalid witness file) .54 .36 10   40 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem05_label47_false-unreach-call.c out of memory 130     130     1900    15000   4.0    0      error (invalid witness file) .49 .31 12   39 error (invalid witness file) 7.2 3.8 110 310 - -
eca-rers2012/Problem05_label48_false-unreach-call.c out of memory 130     130     1800    15000   4.0    9.9    error (invalid witness file) .59 .38 8.8 40 error (invalid witness file) 7.3 3.9 110 300 - -
eca-rers2012/Problem05_label51_false-unreach-call.c out of memory 130     130     1900    15000   4.0    10      error (invalid witness file) .50 .31 11   40 error (invalid witness file) 11   5.8 95 300 - -
eca-rers2012/Problem05_label55_false-unreach-call.c out of memory 130     130     1600    15000   4.0    0      error (invalid witness file) .57 .36 14   44 error (invalid witness file) 9.1 4.8 84 300 - -
eca-rers2012/Problem05_label57_false-unreach-call.c out of memory 130     130     1600    15000   4.0    0      error (invalid witness file) .69 .44 7.4 42 error (invalid witness file) 7.7 4.0 130 310 - -
eca-rers2012/Problem05_label58_false-unreach-call.c out of memory 130     130     1600    15000   4.0    0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 8.4 4.4 74 310 - -
eca-rers2012/Problem06_label00_false-unreach-call.c out of memory 120     120     1400    15000   3.7    3.9    error (invalid witness file) .50 .33 8.8 39 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem06_label01_false-unreach-call.c out of memory 120     140     1600    15000   3.7    3200      error (invalid witness file) .65 .42 8.4 42 error (invalid witness file) 8.0 4.2 100 300 - -
eca-rers2012/Problem06_label02_false-unreach-call.c out of memory 120     120     1400    15000   3.7    4.1    error (invalid witness file) .53 .35 7.8 40 error (invalid witness file) 8.6 4.5 100 300 - -
eca-rers2012/Problem06_label04_false-unreach-call.c out of memory 120     120     1700    15000   3.7    0      error (invalid witness file) .54 .33 11   40 error (invalid witness file) 8.8 4.6 86 310 - -
eca-rers2012/Problem06_label05_false-unreach-call.c out of memory 120     120     1500    15000   3.7    0      error (invalid witness file) .63 .40 9.6 45 error (invalid witness file) 8.1 4.2 96 300 - -
eca-rers2012/Problem06_label09_false-unreach-call.c out of memory 120     120     1600    15000   3.7    0      error (invalid witness file) .65 .40 8.7 41 error (invalid witness file) 7.9 4.1 110 330 - -
eca-rers2012/Problem06_label10_false-unreach-call.c out of memory 120     120     1400    15000   3.7    0      error (invalid witness file) .52 .34 9.3 40 error (invalid witness file) 7.2 3.8 120 300 - -
eca-rers2012/Problem06_label11_false-unreach-call.c out of memory 160     240     1800    15000   3.7    24000      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.5 3.5 110 300 - -
eca-rers2012/Problem06_label12_false-unreach-call.c out of memory 120     120     1400    15000   3.7    240      error (invalid witness file) .51 .32 12   39 error (invalid witness file) 8.1 4.3 100 300 - -
eca-rers2012/Problem06_label15_false-unreach-call.c out of memory 120     120     1700    15000   3.7    250      error (invalid witness file) .56 .36 8.9 39 error (invalid witness file) 7.3 3.9 130 300 - -
eca-rers2012/Problem06_label20_false-unreach-call.c out of memory 120     120     1300    15000   3.7    0      error (invalid witness file) .52 .33 11   39 error (invalid witness file) 7.2 3.8 140 300 - -
eca-rers2012/Problem06_label21_false-unreach-call.c out of memory 120     130     1500    15000   3.7    2300      error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.6 3.5 130 290 - -
eca-rers2012/Problem06_label24_false-unreach-call.c out of memory 120     150     1900    15000   3.7    6500      error (invalid witness file) .57 .36 8.8 40 error (invalid witness file) 9.1 4.7 79 300 - -
eca-rers2012/Problem06_label27_false-unreach-call.c out of memory 120     120     1400    15000   3.7    3.9    error (invalid witness file) .50 .33 9.0 40 error (invalid witness file) 6.7 3.5 110 300 - -
eca-rers2012/Problem06_label29_false-unreach-call.c out of memory 120     120     1300    15000   3.7    0      error (invalid witness file) .53 .33 9.8 41 error (invalid witness file) 6.5 3.5 120 300 - -
eca-rers2012/Problem06_label33_false-unreach-call.c out of memory 120     120     1600    15000   3.7    0      error (invalid witness file) .54 .35 8.1 44 error (invalid witness file) 8.8 4.6 94 300 - -
eca-rers2012/Problem06_label36_false-unreach-call.c out of memory 120     120     1600    15000   3.7    0      error (invalid witness file) .53 .35 6.9 40 error (invalid witness file) 6.7 3.5 120 310 - -
eca-rers2012/Problem06_label37_false-unreach-call.c out of memory 120     120     1500    15000   3.7    4.0    error (invalid witness file) .47 .31 11   39 error (invalid witness file) 7.0 3.7 160 300 - -
eca-rers2012/Problem06_label38_false-unreach-call.c out of memory 120     120     1400    15000   3.7    0      error (invalid witness file) .52 .33 9.2 39 error (invalid witness file) 7.6 3.9 100 300 - -
eca-rers2012/Problem06_label44_false-unreach-call.c out of memory 120     120     1300    15000   3.7    0      error (invalid witness file) .59 .38 8.7 41 error (invalid witness file) 6.6 3.6 130 290 - -
eca-rers2012/Problem06_label47_false-unreach-call.c out of memory 120     120     1400    15000   3.7    4.5    error (invalid witness file) .52 .33 14   40 error (invalid witness file) 7.8 4.1 150 330 - -
eca-rers2012/Problem06_label48_false-unreach-call.c out of memory 120     120     1400    15000   3.7    0      error (invalid witness file) .50 .32 9.2 39 error (invalid witness file) 6.9 3.6 110 300 - -
eca-rers2012/Problem06_label56_false-unreach-call.c out of memory 120     120     1600    15000   3.7    0      error (invalid witness file) .50 .33 10   40 error (invalid witness file) 7.4 3.9 76 310 - -
eca-rers2012/Problem06_label58_false-unreach-call.c out of memory 120     120     1500    15000   3.7    4.4    error (invalid witness file) .66 .42 7.3 40 error (invalid witness file) 6.7 3.5 110 300 - -
eca-rers2012/Problem06_label59_false-unreach-call.c out of memory 120     120     1400    15000   3.7    0      error (invalid witness file) .68 .42 8.3 39 error (invalid witness file) 7.4 3.9 140 300 - -
eca-rers2012/Problem07_label03_false-unreach-call.c out of memory 190     180     2100    15000   31      3.9    error (invalid witness file) .53 .35 10   42 error (invalid witness file) 7.3 3.9 150 420 - -
eca-rers2012/Problem07_label05_false-unreach-call.c out of memory 180     180     2200    15000   31      0      error (invalid witness file) .50 .33 13   41 error (invalid witness file) 6.9 3.7 110 420 - -
eca-rers2012/Problem07_label06_false-unreach-call.c out of memory 190     190     2200    15000   31      0      error (invalid witness file) .64 .41 8.2 39 error (invalid witness file) 9.9 5.3 110 440 - -
eca-rers2012/Problem07_label07_false-unreach-call.c out of memory 190     190     2200    15000   31      0      error (invalid witness file) .61 .39 11   43 error (invalid witness file) 8.0 4.3 120 430 - -
eca-rers2012/Problem07_label09_false-unreach-call.c out of memory 190     190     2300    15000   31      0      error (invalid witness file) .54 .34 7.2 39 error (invalid witness file) 9.4 5.0 100 430 - -
eca-rers2012/Problem07_label11_false-unreach-call.c out of memory 180     180     2300    15000   31      0      error (invalid witness file) .55 .36 12   42 error (invalid witness file) 8.2 4.4 150 440 - -
eca-rers2012/Problem07_label15_false-unreach-call.c out of memory 190     190     2600    15000   31      0      error (invalid witness file) .51 .33 5.9 40 error (invalid witness file) 7.4 4.0 140 430 - -
eca-rers2012/Problem07_label18_false-unreach-call.c out of memory 190     190     2300    15000   31      0      error (invalid witness file) .61 .38 8.0 44 error (invalid witness file) 8.0 4.3 130 430 - -
eca-rers2012/Problem07_label19_false-unreach-call.c out of memory 190     190     2400    15000   31      430      error (invalid witness file) .52 .34 11   40 error (invalid witness file) 9.2 4.9 130 420 - -
eca-rers2012/Problem07_label20_false-unreach-call.c out of memory 190     190     2100    15000   31      4.3    error (invalid witness file) .51 .32 9.1 40 error (invalid witness file) 8.8 4.7 140 440 - -
eca-rers2012/Problem07_label23_false-unreach-call.c out of memory 190     190     2400    15000   31      0      error (invalid witness file) .54 .36 11   41 error (invalid witness file) 8.7 4.7 130 430 - -
eca-rers2012/Problem07_label30_false-unreach-call.c out of memory 190     190     2400    15000   31      0      error (invalid witness file) .68 .43 7.4 41 error (invalid witness file) 8.4 4.5 160 430 - -
eca-rers2012/Problem07_label31_false-unreach-call.c out of memory 190     190     2600    15000   31      4.0    error (invalid witness file) .51 .33 8.4 40 error (invalid witness file) 7.6 4.1 120 430 - -
eca-rers2012/Problem07_label35_false-unreach-call.c out of memory 190     190     2700    15000   31      3.9    error (invalid witness file) .62 .40 6.0 39 error (invalid witness file) 9.2 4.9 120 420 - -
eca-rers2012/Problem07_label36_false-unreach-call.c out of memory 190     190     2300    15000   31      4.0    error (invalid witness file) .53 .33 8.9 44 error (invalid witness file) 8.2 4.4 170 450 - -
eca-rers2012/Problem07_label37_false-unreach-call.c out of memory 190     190     1900    15000   31      4.0    error (invalid witness file) .48 .32 11   40 error (invalid witness file) 7.7 4.2 140 420 - -
eca-rers2012/Problem07_label39_false-unreach-call.c out of memory 190     190     2300    15000   31      0      error (invalid witness file) .66 .42 7.4 39 error (invalid witness file) 7.6 4.1 140 420 - -
eca-rers2012/Problem07_label40_false-unreach-call.c out of memory 190     190     2100    15000   31      0      error (invalid witness file) .62 .39 8.1 40 error (invalid witness file) 8.9 4.7 91 430 - -
eca-rers2012/Problem07_label42_false-unreach-call.c out of memory 190     190     2200    15000   31      1400      error (invalid witness file) .61 .39 6.8 40 error (invalid witness file) 8.8 4.7 130 420 - -
eca-rers2012/Problem07_label44_false-unreach-call.c out of memory 190     190     2200    15000   31      3.9    error (invalid witness file) .48 .32 10   39 error (invalid witness file) 8.0 4.3 100 420 - -
eca-rers2012/Problem07_label46_false-unreach-call.c out of memory 190     190     2400    15000   31      0      error (invalid witness file) .52 .34 10   40 error (invalid witness file) 7.8 4.2 110 430 - -
eca-rers2012/Problem07_label47_false-unreach-call.c out of memory 180     180     2700    15000   31      0      error (invalid witness file) .48 .32 8.6 40 error (invalid witness file) 9.4 5.1 100 430 - -
eca-rers2012/Problem07_label48_false-unreach-call.c out of memory 190     190     2300    15000   31      0      error (invalid witness file) .48 .30 7.3 39 error (invalid witness file) 7.7 4.1 160 430 - -
eca-rers2012/Problem07_label58_false-unreach-call.c out of memory 190     190     2000    15000   31      4.4    error (invalid witness file) .61 .38 6.7 40 error (invalid witness file) 8.4 4.5 110 430 - -
eca-rers2012/Problem08_label01_false-unreach-call.c out of memory 150     150     1800    15000   61      4.3    error (invalid witness file) .51 .33 6.8 39 error (invalid witness file) 8.1 4.5 130 520 - -
eca-rers2012/Problem08_label02_false-unreach-call.c out of memory 150     150     1800    15000   61      0      error (invalid witness file) .66 .41 7.9 39 error (invalid witness file) 9.0 4.9 200 520 - -
eca-rers2012/Problem08_label04_false-unreach-call.c out of memory 150     150     1600    15000   61      9.9    error (invalid witness file) .64 .41 9.4 43 error (invalid witness file) 8.7 4.7 160 510 - -
eca-rers2012/Problem08_label05_false-unreach-call.c out of memory 150     150     1800    15000   61      9.8    error (invalid witness file) .48 .30 9.8 40 error (invalid witness file) 8.6 4.7 180 520 - -
eca-rers2012/Problem08_label06_false-unreach-call.c out of memory 150     150     1900    15000   61      4.6    error (invalid witness file) .54 .34 7.8 39 error (invalid witness file) 8.7 4.8 140 520 - -
eca-rers2012/Problem08_label07_false-unreach-call.c out of memory 150     140     1600    15000   61      9.7    error (invalid witness file) .65 .40 8.6 44 error (invalid witness file) 9.7 5.2 150 520 - -
eca-rers2012/Problem08_label10_false-unreach-call.c out of memory 150     150     2000    15000   61      0      error (invalid witness file) .64 .40 6.1 40 error (invalid witness file) 8.6 4.7 160 520 - -
eca-rers2012/Problem08_label13_false-unreach-call.c out of memory 150     150     1900    15000   61      0      error (invalid witness file) .62 .40 6.8 40 error (invalid witness file) 8.6 4.7 160 520 - -
eca-rers2012/Problem08_label15_false-unreach-call.c out of memory 150     150     2000    15000   61      0      error (invalid witness file) .51 .33 9.3 40 error (invalid witness file) 9.0 4.9 180 520 - -
eca-rers2012/Problem08_label24_false-unreach-call.c out of memory 140     140     1600    15000   61      15      error (invalid witness file) .49 .32 7.9 40 error (invalid witness file) 8.7 4.7 140 530 - -
eca-rers2012/Problem08_label25_false-unreach-call.c out of memory 150     150     1800    15000   61      .057  error (invalid witness file) .53 .35 12   40 error (invalid witness file) 8.5 4.7 160 520 - -
eca-rers2012/Problem08_label26_false-unreach-call.c out of memory 150     150     1500    15000   61      0      error (invalid witness file) .66 .41 5.4 43 error (invalid witness file) 8.6 4.7 160 510 - -
eca-rers2012/Problem08_label28_false-unreach-call.c out of memory 150     150     1700    15000   61      4.4    error (invalid witness file) .52 .34 8.9 41 error (invalid witness file) 9.5 5.2 120 520 - -
eca-rers2012/Problem08_label29_false-unreach-call.c out of memory 150     150     1600    15000   61      0      error (invalid witness file) .63 .39 6.9 39 error (invalid witness file) 9.4 5.2 120 520 - -
eca-rers2012/Problem08_label34_false-unreach-call.c out of memory 150     150     1600    15000   61      0      error (invalid witness file) .54 .36 11   42 error (invalid witness file) 8.3 4.5 130 520 - -
eca-rers2012/Problem08_label37_false-unreach-call.c out of memory 150     150     1900    15000   61      3.9    error (invalid witness file) .57 .35 9.5 39 error (invalid witness file) 9.4 5.1 140 520 - -
eca-rers2012/Problem08_label43_false-unreach-call.c out of memory 150     140     2000    15000   61      0      error (invalid witness file) .49 .31 9.2 40 error (invalid witness file) 9.0 4.8 160 530 - -
eca-rers2012/Problem08_label46_false-unreach-call.c out of memory 150     150     1800    15000   61      9.6    error (invalid witness file) .55 .37 13   41 error (invalid witness file) 9.2 5.0 130 510 - -
eca-rers2012/Problem08_label48_false-unreach-call.c out of memory 150     150     1600    15000   61      0      error (invalid witness file) .60 .38 8.8 41 error (invalid witness file) 9.6 5.1 170 550 - -
eca-rers2012/Problem08_label49_false-unreach-call.c out of memory 150     150     2000    15000   61      0      error (invalid witness file) .52 .33 9.0 40 error (invalid witness file) 9.6 5.2 110 510 - -
eca-rers2012/Problem08_label50_false-unreach-call.c out of memory 150     150     1800    15000   61      0      error (invalid witness file) .48 .31 11   39 error (invalid witness file) 10   5.6 120 510 - -
eca-rers2012/Problem08_label51_false-unreach-call.c out of memory 150     150     1800    15000   61      0      error (invalid witness file) .52 .33 13   40 error (invalid witness file) 9.2 5.0 170 520 - -
eca-rers2012/Problem08_label55_false-unreach-call.c out of memory 150     150     1700    15000   61      0      error (invalid witness file) .55 .36 9.4 40 error (invalid witness file) 12   6.4 99 510 - -
eca-rers2012/Problem08_label59_false-unreach-call.c out of memory 150     150     1600    15000   61      0      error (invalid witness file) .49 .32 13   40 error (invalid witness file) 8.7 4.7 180 520 - -
eca-rers2012/Problem09_label02_false-unreach-call.c out of memory 230     230     2600    15000   68      0      error (invalid witness file) .60 .39 9.2 40 error (invalid witness file) 8.3 4.7 170 520 - -
eca-rers2012/Problem09_label03_false-unreach-call.c out of memory 230     230     2700    15000   68      3.8    error (invalid witness file) .58 .37 10   42 error (invalid witness file) 8.4 4.6 160 520 - -
eca-rers2012/Problem09_label06_false-unreach-call.c out of memory 230     230     2700    15000   68      0      error (invalid witness file) .53 .35 11   39 error (invalid witness file) 8.5 4.7 120 520 - -
eca-rers2012/Problem09_label08_false-unreach-call.c out of memory 230     230     2600    15000   68      0      error (invalid witness file) .57 .38 4.2 39 error (invalid witness file) 10   5.7 87 530 - -
eca-rers2012/Problem09_label10_false-unreach-call.c out of memory 230     230     2900    15000   68      4.2    error (invalid witness file) .54 .33 9.4 41 error (invalid witness file) 8.3 4.7 180 530 - -
eca-rers2012/Problem09_label11_false-unreach-call.c out of memory 230     230     3000    15000   68      15      error (invalid witness file) .51 .34 9.5 42 error (invalid witness file) 12   6.6 120 540 - -
eca-rers2012/Problem09_label15_false-unreach-call.c out of memory 240     240     2400    15000   68      0      error (invalid witness file) .53 .35 9.2 39 error (invalid witness file) 9.0 5.0 140 520 - -
eca-rers2012/Problem09_label19_false-unreach-call.c out of memory 230     230     2700    15000   68      0      error (invalid witness file) .47 .30 8.1 39 error (invalid witness file) 8.1 4.5 130 530 - -
eca-rers2012/Problem09_label20_false-unreach-call.c out of memory 230     230     2900    15000   68      15      error (invalid witness file) .59 .38 8.9 41 error (invalid witness file) 9.6 5.3 150 530 - -
eca-rers2012/Problem09_label32_false-unreach-call.c out of memory 220     220     2800    15000   68      0      error (invalid witness file) .58 .36 9.6 41 error (invalid witness file) 8.6 4.7 150 530 - -
eca-rers2012/Problem09_label34_false-unreach-call.c out of memory 230     230     2900    15000   68      3.9    error (invalid witness file) .63 .41 8.5 41 error (invalid witness file) 8.6 4.7 160 530 - -
eca-rers2012/Problem09_label35_false-unreach-call.c out of memory 230     230     2800    15000   68      0      error (invalid witness file) .67 .42 7.3 43 error (invalid witness file) 8.6 4.7 170 540 - -
eca-rers2012/Problem09_label36_false-unreach-call.c out of memory 230     230     2700    15000   68      0      error (invalid witness file) .51 .34 7.4 40 error (invalid witness file) 8.1 4.6 120 520 - -
eca-rers2012/Problem09_label38_false-unreach-call.c out of memory 230     230     2700    15000   68      3.9    error (invalid witness file) .52 .34 8.9 40 error (invalid witness file) 8.7 4.8 160 520 - -
eca-rers2012/Problem09_label41_false-unreach-call.c out of memory 230     230     2800    15000   69      4.0    error (invalid witness file) .63 .40 7.3 41 error (invalid witness file) 9.4 5.3 120 540 - -
eca-rers2012/Problem09_label44_false-unreach-call.c out of memory 230     230     2900    15000   68      0      error (invalid witness file) .66 .42 7.8 42 error (invalid witness file) 9.0 4.9 150 530 - -
eca-rers2012/Problem09_label46_false-unreach-call.c out of memory 230     230     2500    15000   68      0      error (invalid witness file) .53 .34 12   40 error (invalid witness file) 9.8 5.4 130 520 - -
eca-rers2012/Problem09_label47_false-unreach-call.c out of memory 230     230     3300    15000   68      4.3    error (invalid witness file) .57 .36 9.0 39 error (invalid witness file) 8.8 4.9 160 530 - -
eca-rers2012/Problem09_label51_false-unreach-call.c out of memory 230     230     2600    15000   68      4.3    error (invalid witness file) .49 .34 9.9 40 error (invalid witness file) 9.1 5.0 110 540 - -
eca-rers2012/Problem09_label53_false-unreach-call.c out of memory 230     230     2800    15000   68      0      error (invalid witness file) .51 .33 10   39 error (invalid witness file) 8.4 4.7 120 530 - -
eca-rers2012/Problem09_label54_false-unreach-call.c out of memory 230     230     2800    15000   68      9.7    error (invalid witness file) .51 .32 8.8 42 error (invalid witness file) 8.3 4.6 180 520 - -
eca-rers2012/Problem09_label56_false-unreach-call.c out of memory 230     230     2900    15000   68      0      error (invalid witness file) .50 .32 9.8 40 error (invalid witness file) 9.2 5.1 150 520 - -
eca-rers2012/Problem09_label57_false-unreach-call.c out of memory 230     230     3300    15000   68      .0041 error (invalid witness file) .47 .30 6.9 39 error (invalid witness file) 10   5.7 84 530 - -
eca-rers2012/Problem09_label59_false-unreach-call.c out of memory 230     230     2600    15000   68      0      error (invalid witness file) .50 .33 9.9 40 error (invalid witness file) 8.5 4.7 150 530 - -
eca-rers2012/Problem10_label12_false-unreach-call.c false(unreach-call) 190     190     2400    13000   .23   9.8    false(unreach-call) 51    38    630   930 true 13   6.8 180 340 - -
eca-rers2012/Problem10_label15_false-unreach-call.c false(unreach-call) 180     180     2100    13000   .23   49      false(unreach-call) 41    32    540   940 true 13   7.8 230 340 - -
eca-rers2012/Problem10_label24_false-unreach-call.c false(unreach-call) 110     110     1500    6000   .23   0      false(unreach-call) 50    38    400   920 true 11   5.7 210 320 - -
eca-rers2012/Problem10_label26_false-unreach-call.c false(unreach-call) 240     240     3400    13000   .23   0      false(unreach-call) 49    37    430   960 true 12   6.7 200 350 - -
eca-rers2012/Problem10_label28_false-unreach-call.c false(unreach-call) 180     180     2200    13000   .23   0      false(unreach-call) 40    31    300   910 true 11   5.9 190 350 - -
eca-rers2012/Problem10_label29_false-unreach-call.c out of memory 310     310     3700    15000   .23   17      error (invalid witness file) .50 .33 9.5 40 error (invalid witness file) 7.0 3.6 120 300 - -
eca-rers2012/Problem10_label41_false-unreach-call.c false(unreach-call) 88     88     1100    6000   .23   4.0    false(unreach-call) 20    13    130   700 true 12   6.5 260 370 - -
eca-rers2012/Problem10_label42_false-unreach-call.c out of memory 310     310     3700    15000   .23   0      error (invalid witness file) .59 .37 6.9 39 error (invalid witness file) 7.1 3.7 93 300 - -
eca-rers2012/Problem10_label46_false-unreach-call.c false(unreach-call) 2.0   2.0   27    180   .23   .098  false(unreach-call) 12    6.4  130   330 true 14   7.4 170 350 - -
eca-rers2012/Problem10_label47_false-unreach-call.c false(unreach-call) 170     170     2000    13000   .23   4.4    false(unreach-call) 21    14    240   720 true 11   5.8 200 360 - -
eca-rers2012/Problem10_label48_false-unreach-call.c false(unreach-call) 190     190     2700    13000   .23   16      timeout 93    83    1100   800 true 13   7.0 100 350 - -
eca-rers2012/Problem10_label50_false-unreach-call.c out of memory 310     310     3800    15000   .23   15      error (invalid witness file) .62 .40 7.3 39 error (invalid witness file) 6.0 3.2 130 290 - -
eca-rers2012/Problem10_label55_false-unreach-call.c false(unreach-call) 120     120     1500    6000   .23   4.0    false(unreach-call) 20    13    200   700 true 12   6.5 160 340 - -
eca-rers2012/Problem10_label57_false-unreach-call.c false(unreach-call) 140     140     1500    7100   .23   3.9    false(unreach-call) 62    53    1700   960 true 14   7.5 180 360 - -
eca-rers2012/Problem10_label58_false-unreach-call.c false(unreach-call) 130     130     1800    6200   .23   4.1    false(unreach-call) 69    58    770   1100 true 12   6.5 180 350 - -
eca-rers2012/Problem11_label00_false-unreach-call.c out of memory 130     130     1900    15000   .41   0      error (invalid witness file) .68 .43 8.6 40 error (invalid witness file) 6.4 3.3 99 300 - -
eca-rers2012/Problem11_label08_false-unreach-call.c false(unreach-call) 110     110     1500    8600   .41   0      false(unreach-call) 50    40    970   1100 true 14   7.3 210 410 - -
eca-rers2012/Problem11_label14_false-unreach-call.c out of memory 130     130     1600    15000   .41   0      error (invalid witness file) .51 .34 9.9 40 error (invalid witness file) 5.8 3.1 130 300 - -
eca-rers2012/Problem11_label15_false-unreach-call.c false(unreach-call) 47     47     570    3700   .41   0      false(unreach-call) 43    36    390   1100 true 14   7.4 200 420 - -
eca-rers2012/Problem11_label20_false-unreach-call.c out of memory 130     130     1800    15000   .41   .029  error (invalid witness file) .52 .34 9.5 39 error (invalid witness file) 6.8 3.6 110 300 - -
eca-rers2012/Problem11_label29_false-unreach-call.c out of memory 130     130     1500    15000   .41   0      error (invalid witness file) .49 .32 9.3 41 error (invalid witness file) 7.3 3.8 130 300 - -
eca-rers2012/Problem11_label31_false-unreach-call.c out of memory 130     130     1600    15000   .41   0      error (invalid witness file) .62 .40 7.2 39 error (invalid witness file) 6.2 3.3 120 300 - -
eca-rers2012/Problem11_label34_false-unreach-call.c out of memory 130     130     1700    15000   .41   15      error (invalid witness file) .64 .41 8.1 43 error (invalid witness file) 7.6 4.0 83 290 - -
eca-rers2012/Problem11_label36_false-unreach-call.c false(unreach-call) 36     36     450    3700   .41   0      false(unreach-call) 46    38    650   1100 true 14   7.3 220 410 - -
eca-rers2012/Problem11_label39_false-unreach-call.c out of memory 130     130     2000    15000   .41   .090  error (invalid witness file) .49 .33 9.8 40 error (invalid witness file) 6.3 3.4 130 300 - -
eca-rers2012/Problem11_label42_false-unreach-call.c out of memory 130     130     1700    15000   .41   0      error (invalid witness file) .51 .33 11   42 error (invalid witness file) 6.3 3.3 120 300 - -
eca-rers2012/Problem11_label43_false-unreach-call.c out of memory 130     130     2000    15000   .41   0      error (invalid witness file) .48 .32 7.4 41 error (invalid witness file) 5.9 3.2 120 300 - -
eca-rers2012/Problem11_label49_false-unreach-call.c false(unreach-call) 71     71     1000    7600   .41   0      false(unreach-call) 41    33    460   1100 true 14   7.4 200 400 - -
eca-rers2012/Problem11_label51_false-unreach-call.c out of memory 130     130     1600    15000   .41   .070  error (invalid witness file) .64 .41 7.8 40 error (invalid witness file) 6.7 3.5 130 310 - -
eca-rers2012/Problem11_label58_false-unreach-call.c false(unreach-call) 74     74     830    7600   .41   4.4    false(unreach-call) 45    37    930   1100 true 15   7.8 140 410 - -
eca-rers2012/Problem12_label00_false-unreach-call.c out of memory 150     150     2100    15000   1.7    0      error (invalid witness file) .65 .40 7.6 41 error (invalid witness file) 6.9 3.7 150 300 - -
eca-rers2012/Problem12_label03_false-unreach-call.c out of memory 150     150     1600    15000   1.7    0      error (invalid witness file) .61 .39 9.1 39 error (invalid witness file) 6.3 3.3 120 300 - -
eca-rers2012/Problem12_label06_false-unreach-call.c out of memory 150     150     1900    15000   1.7    0      error (invalid witness file) .52 .34 9.1 41 error (invalid witness file) 8.0 4.2 110 310 - -
eca-rers2012/Problem12_label07_false-unreach-call.c out of memory 150     150     2200    15000   1.7    0      error (invalid witness file) .47 .32 7.7 40 error (invalid witness file) 7.8 4.1 73 300 - -
eca-rers2012/Problem12_label08_false-unreach-call.c out of memory 150     150     1600    15000   1.7    0      error (invalid witness file) .63 .39 6.3 40 error (invalid witness file) 7.2 3.8 100 300 - -
eca-rers2012/Problem12_label10_false-unreach-call.c out of memory 150     150     2000    15000   1.7    4.0    error (invalid witness file) .48 .31 10   40 error (invalid witness file) 8.9 4.6 93 300 - -
eca-rers2012/Problem12_label13_false-unreach-call.c out of memory 150     150     1900    15000   1.7    0      error (invalid witness file) .57 .36 11   44 error (invalid witness file) 9.2 4.8 61 330 - -
eca-rers2012/Problem12_label19_false-unreach-call.c out of memory 150     150     2100    15000   1.7    0      error (invalid witness file) .51 .32 7.9 40 error (invalid witness file) 6.5 3.4 140 300 - -
eca-rers2012/Problem12_label20_false-unreach-call.c out of memory 150     150     1800    15000   1.7    4.1    error (invalid witness file) .64 .40 7.9 40 error (invalid witness file) 6.6 3.5 110 300 - -
eca-rers2012/Problem12_label21_false-unreach-call.c out of memory 160     160     1700    15000   1.7    0      error (invalid witness file) .56 .35 11   42 error (invalid witness file) 7.8 4.1 95 300 - -
eca-rers2012/Problem12_label25_false-unreach-call.c out of memory 150     150     2100    15000   1.7    0      error (invalid witness file) .48 .32 11   40 error (invalid witness file) 6.4 3.4 130 300 - -
eca-rers2012/Problem12_label28_false-unreach-call.c out of memory 150     150     1800    15000   1.7    0      error (invalid witness file) .63 .39 7.5 40 error (invalid witness file) 7.1 3.7 110 300 - -
eca-rers2012/Problem12_label30_false-unreach-call.c out of memory 150     150     1800    15000   1.7    0      error (invalid witness file) .53 .34 9.8 40 error (invalid witness file) 7.6 4.0 95 300 - -
eca-rers2012/Problem12_label34_false-unreach-call.c out of memory 150     150     1800    15000   1.7    0      error (invalid witness file) .53 .34 11   41 error (invalid witness file) 8.6 4.5 82 320 - -
eca-rers2012/Problem12_label35_false-unreach-call.c out of memory 150     150     1700    15000   1.7    4.3    error (invalid witness file) .50 .31 6.2 40 error (invalid witness file) 6.7 3.6 120 310 - -
eca-rers2012/Problem12_label37_false-unreach-call.c out of memory 150     150     2000    15000   1.7    0      error (invalid witness file) .52 .34 9.2 40 error (invalid witness file) 7.5 3.9 140 310 - -
eca-rers2012/Problem12_label38_false-unreach-call.c out of memory 150     150     1900    15000   1.7    4.0    error (invalid witness file) .52 .33 8.9 42 error (invalid witness file) 8.2 4.3 88 300 - -
eca-rers2012/Problem12_label39_false-unreach-call.c out of memory 150     150     1900    15000   1.7    .098  error (invalid witness file) .50 .32 8.4 41 error (invalid witness file) 6.5 3.4 100 300 - -
eca-rers2012/Problem12_label40_false-unreach-call.c out of memory 150     150     1700    15000   1.7    4.0    error (invalid witness file) .50 .32 13   39 error (invalid witness file) 6.8 3.5 110 310 - -
eca-rers2012/Problem12_label42_false-unreach-call.c out of memory 150     150     2000    15000   1.7    9.5    error (invalid witness file) .61 .38 8.3 40 error (invalid witness file) 6.9 3.6 110 300 - -
eca-rers2012/Problem12_label48_false-unreach-call.c out of memory 150     150     1800    15000   1.8    4.0    error (invalid witness file) .50 .33 8.8 39 error (invalid witness file) 7.1 3.7 120 300 - -
eca-rers2012/Problem12_label50_false-unreach-call.c out of memory 150     150     1800    15000   2.0    0      error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.7 3.5 92 310 - -
eca-rers2012/Problem12_label51_false-unreach-call.c out of memory 150     150     1900    15000   1.7    0      error (invalid witness file) .48 .33 11   40 error (invalid witness file) 8.0 4.2 87 290 - -
eca-rers2012/Problem12_label52_false-unreach-call.c out of memory 150     150     1700    15000   1.7    4.0    error (invalid witness file) .66 .40 7.5 40 error (invalid witness file) 8.4 4.4 99 300 - -
eca-rers2012/Problem12_label55_false-unreach-call.c out of memory 150     150     1600    15000   1.7    0      error (invalid witness file) .53 .34 9.3 40 error (invalid witness file) 7.9 4.1 90 300 - -
eca-rers2012/Problem13_label04_false-unreach-call.c out of memory 140     140     1800    15000   2.0    0      error (invalid witness file) .63 .39 8.8 41 error (invalid witness file) 8.0 4.2 91 300 - -
eca-rers2012/Problem13_label06_false-unreach-call.c out of memory 140     140     1500    15000   2.0    4.1    error (invalid witness file) .48 .31 8.7 42 error (invalid witness file) 7.9 4.2 160 320 - -
eca-rers2012/Problem13_label07_false-unreach-call.c out of memory 140     140     2000    15000   2.0    .12   error (invalid witness file) .52 .33 10   41 error (invalid witness file) 8.0 4.1 130 310 - -
eca-rers2012/Problem13_label11_false-unreach-call.c out of memory 140     140     2000    15000   2.0    0      error (invalid witness file) .50 .32 10   39 error (invalid witness file) 9.2 4.8 76 300 - -
eca-rers2012/Problem13_label12_false-unreach-call.c out of memory 140     150     1700    15000   2.0    2200      error (invalid witness file) .64 .41 8.5 40 error (invalid witness file) 7.6 4.0 68 300 - -
eca-rers2012/Problem13_label16_false-unreach-call.c out of memory 140     140     2000    15000   2.0    0      error (invalid witness file) .49 .31 10   40 error (invalid witness file) 7.7 4.1 100 300 - -
eca-rers2012/Problem13_label19_false-unreach-call.c out of memory 150     170     1700    15000   2.0    4900      error (invalid witness file) .56 .37 8.2 42 error (invalid witness file) 6.5 3.4 110 310 - -
eca-rers2012/Problem13_label21_false-unreach-call.c out of memory 140     140     1800    15000   2.0    0      error (invalid witness file) .52 .35 12   39 error (invalid witness file) 8.0 4.2 87 300 - -
eca-rers2012/Problem13_label23_false-unreach-call.c out of memory 140     140     1700    15000   2.0    0      error (invalid witness file) .55 .34 10   40 error (invalid witness file) 7.0 3.7 130 310 - -
eca-rers2012/Problem13_label24_false-unreach-call.c out of memory 140     140     1900    15000   2.0    0      error (invalid witness file) .58 .36 14   44 error (invalid witness file) 6.8 3.5 120 310 - -
eca-rers2012/Problem13_label25_false-unreach-call.c out of memory 140     140     2000    15000   2.0    0      error (invalid witness file) .49 .31 8.2 39 error (invalid witness file) 6.9 3.6 110 310 - -
eca-rers2012/Problem13_label28_false-unreach-call.c out of memory 140     140     1700    15000   2.0    0      error (invalid witness file) .57 .36 10   40 error (invalid witness file) 7.0 3.6 120 310 - -
eca-rers2012/Problem13_label29_false-unreach-call.c out of memory 140     140     1600    15000   2.0    410      error (invalid witness file) .63 .40 7.6 39 error (invalid witness file) 7.5 3.9 100 300 - -
eca-rers2012/Problem13_label30_false-unreach-call.c out of memory 140     140     1800    15000   2.0    0      error (invalid witness file) .52 .32 11   40 error (invalid witness file) 6.6 3.5 100 310 - -
eca-rers2012/Problem13_label32_false-unreach-call.c out of memory 150     190     2100    15000   2.0    11000      error (invalid witness file) .53 .34 12   39 error (invalid witness file) 8.2 4.3 87 300 - -
eca-rers2012/Problem13_label35_false-unreach-call.c out of memory 140     140     1900    15000   2.0    0      error (invalid witness file) .62 .38 9.0 41 error (invalid witness file) 7.4 3.9 100 300 - -
eca-rers2012/Problem13_label36_false-unreach-call.c out of memory 140     140     1700    15000   2.0    .29   error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.9 3.6 140 300 - -
eca-rers2012/Problem13_label40_false-unreach-call.c out of memory 150     160     1700    15000   2.0    3900      error (invalid witness file) .60 .38 10   43 error (invalid witness file) 6.8 3.6 120 300 - -
eca-rers2012/Problem13_label43_false-unreach-call.c out of memory 140     140     1900    15000   2.0    0      error (invalid witness file) .51 .32 10   40 error (invalid witness file) 7.7 4.0 110 300 - -
eca-rers2012/Problem13_label44_false-unreach-call.c out of memory 140     140     1800    15000   2.0    0      error (invalid witness file) .72 .47 8.2 47 error (invalid witness file) 8.1 4.2 90 300 - -
eca-rers2012/Problem13_label45_false-unreach-call.c out of memory 140     140     1700    15000   2.0    0      error (invalid witness file) .70 .43 7.3 40 error (invalid witness file) 6.7 3.5 100 300 - -
eca-rers2012/Problem13_label48_false-unreach-call.c out of memory 140     140     1700    15000   2.0    0      error (invalid witness file) .53 .33 11   42 error (invalid witness file) 9.5 4.9 85 320 - -
eca-rers2012/Problem13_label51_false-unreach-call.c out of memory 150     190     1900    15000   2.0    8700      error (invalid witness file) .48 .31 11   40 error (invalid witness file) 6.7 3.5 140 310 - -
eca-rers2012/Problem13_label54_false-unreach-call.c out of memory 140     140     2100    15000   2.0    0      error (invalid witness file) .51 .34 13   41 error (invalid witness file) 8.0 4.2 110 310 - -
eca-rers2012/Problem13_label58_false-unreach-call.c out of memory 140     140     1400    15000   2.0    4.4    error (invalid witness file) .66 .41 7.3 39 error (invalid witness file) 5.9 3.2 92 290 - -
eca-rers2012/Problem14_label02_false-unreach-call.c out of memory 140     140     1600    15000   .27   0      error (invalid witness file) .67 .43 7.7 39 error (invalid witness file) 6.0 3.2 130 300 - -
eca-rers2012/Problem14_label08_false-unreach-call.c out of memory 140     140     1600    15000   .27   0      error (invalid witness file) .64 .41 7.6 39 error (invalid witness file) 5.7 3.0 120 290 - -
eca-rers2012/Problem14_label10_false-unreach-call.c out of memory 140     140     1500    15000   .27   0      error (invalid witness file) .60 .37 7.7 40 error (invalid witness file) 7.5 3.9 120 310 - -
eca-rers2012/Problem14_label11_false-unreach-call.c out of memory 130     130     1600    15000   .27   0      error (invalid witness file) .60 .38 5.6 40 error (invalid witness file) 7.4 3.9 76 300 - -
eca-rers2012/Problem14_label12_false-unreach-call.c out of memory 140     140     1700    15000   .27   4.4    error (invalid witness file) .49 .32 9.4 40 error (invalid witness file) 5.9 3.2 100 300 - -
eca-rers2012/Problem14_label13_false-unreach-call.c out of memory 130     130     1900    15000   .27   0      error (invalid witness file) .51 .33 13   40 error (invalid witness file) 6.0 3.2 110 300 - -
eca-rers2012/Problem14_label14_false-unreach-call.c false(unreach-call) 67     67     760    6900   .27   0      timeout 93    81    1400   1800 true 12   6.7 170 360 - -
eca-rers2012/Problem14_label18_false-unreach-call.c out of memory 140     130     1400    15000   .27   4.1    error (invalid witness file) .64 .41 8.5 44 error (invalid witness file) 7.0 3.8 69 280 - -
eca-rers2012/Problem14_label22_false-unreach-call.c out of memory 130     130     1600    15000   .27   0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 5.8 3.1 99 300 - -
eca-rers2012/Problem14_label27_false-unreach-call.c out of memory 140     140     1400    15000   .27   9.7    error (invalid witness file) .48 .32 9.1 41 error (invalid witness file) 6.4 3.4 82 300 - -
eca-rers2012/Problem14_label28_false-unreach-call.c out of memory 140     140     1600    15000   .27   9.8    error (invalid witness file) .48 .31 9.5 40 error (invalid witness file) 7.4 3.9 84 300 - -
eca-rers2012/Problem14_label29_false-unreach-call.c out of memory 130     130     1600    15000   .27   0      error (invalid witness file) .48 .31 10   40 error (invalid witness file) 6.1 3.2 91 300 - -
eca-rers2012/Problem14_label31_false-unreach-call.c out of memory 140     140     1600    15000   .27   0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 7.8 4.1 79 300 - -
eca-rers2012/Problem14_label34_false-unreach-call.c out of memory 140     140     1600    15000   .27   0      error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.7 3.5 130 320 - -
eca-rers2012/Problem14_label37_false-unreach-call.c out of memory 130     130     1600    15000   .27   .029  error (invalid witness file) .49 .31 11   40 error (invalid witness file) 7.6 4.0 97 300 - -
eca-rers2012/Problem14_label39_false-unreach-call.c out of memory 140     130     1800    15000   .27   0      error (invalid witness file) .62 .40 8.4 43 error (invalid witness file) 6.1 3.3 120 290 - -
eca-rers2012/Problem14_label40_false-unreach-call.c out of memory 140     140     1600    15000   .27   4.0    error (invalid witness file) .55 .36 8.3 39 error (invalid witness file) 5.9 3.1 110 290 - -
eca-rers2012/Problem14_label41_false-unreach-call.c out of memory 130     130     1400    15000   .27   0      error (invalid witness file) .55 .36 9.3 40 error (invalid witness file) 7.3 3.8 89 300 - -
eca-rers2012/Problem14_label43_false-unreach-call.c out of memory 140     140     1700    15000   .27   3.9    error (invalid witness file) .74 .46 7.7 43 error (invalid witness file) 6.2 3.3 110 300 - -
eca-rers2012/Problem14_label44_false-unreach-call.c out of memory 140     140     1700    15000   .27   9.8    error (invalid witness file) .57 .37 4.9 39 error (invalid witness file) 6.6 3.4 79 300 - -
eca-rers2012/Problem14_label52_false-unreach-call.c out of memory 140     140     1600    15000   .27   15      error (invalid witness file) .56 .36 7.8 39 error (invalid witness file) 6.4 3.4 110 300 - -
eca-rers2012/Problem14_label54_false-unreach-call.c out of memory 140     140     1500    15000   .27   0      error (invalid witness file) .65 .42 7.2 40 error (invalid witness file) 6.2 3.3 120 300 - -
eca-rers2012/Problem14_label56_false-unreach-call.c out of memory 140     130     1500    15000   .27   0      error (invalid witness file) .49 .32 7.3 41 error (invalid witness file) 5.9 3.2 110 300 - -
eca-rers2012/Problem14_label57_false-unreach-call.c out of memory 130     130     1700    15000   .27   0      error (invalid witness file) .55 .36 9.4 39 error (invalid witness file) 5.9 3.1 93 300 - -
eca-rers2012/Problem14_label58_false-unreach-call.c out of memory 140     140     1800    15000   .27   9.9    error (invalid witness file) .65 .42 7.7 41 error (invalid witness file) 6.7 3.5 110 300 - -
eca-rers2012/Problem15_label00_false-unreach-call.c out of memory 120     120     1500    15000   .65   0      error (invalid witness file) .56 .35 10   40 error (invalid witness file) 7.1 3.7 110 300 - -
eca-rers2012/Problem15_label02_false-unreach-call.c false(unreach-call) 46     46     600    5500   .65   0      timeout 94    80    1700   2500 true 17   9.3 190 480 - -
eca-rers2012/Problem15_label03_false-unreach-call.c out of memory 120     120     1200    15000   .65   0      error (invalid witness file) .55 .34 11   41 error (invalid witness file) 7.5 4.0 79 290 - -
eca-rers2012/Problem15_label07_false-unreach-call.c out of memory 120     120     1400    15000   .65   .029  error (invalid witness file) .51 .35 12   40 error (invalid witness file) 7.0 3.7 110 300 - -
eca-rers2012/Problem15_label09_false-unreach-call.c out of memory 120     120     1400    15000   .65   10      error (invalid witness file) .67 .43 7.0 39 error (invalid witness file) 6.2 3.3 96 300 - -
eca-rers2012/Problem15_label14_false-unreach-call.c out of memory 120     120     1300    15000   .65   0      error (invalid witness file) .68 .42 7.7 40 error (invalid witness file) 7.4 3.9 88 310 - -
eca-rers2012/Problem15_label15_false-unreach-call.c out of memory 120     110     1600    15000   .65   0      error (invalid witness file) .51 .33 9.8 40 error (invalid witness file) 6.1 3.2 120 300 - -
eca-rers2012/Problem15_label18_false-unreach-call.c out of memory 120     120     1600    15000   .65   0      error (invalid witness file) .59 .39 9.9 41 error (invalid witness file) 6.4 3.4 120 300 - -
eca-rers2012/Problem15_label22_false-unreach-call.c out of memory 120     120     1500    15000   .65   0      error (invalid witness file) .52 .35 11   40 error (invalid witness file) 7.2 3.8 140 300 - -
eca-rers2012/Problem15_label23_false-unreach-call.c out of memory 120     120     1500    15000   .65   0      error (invalid witness file) .49 .33 10   40 error (invalid witness file) 7.5 4.0 69 300 - -
eca-rers2012/Problem15_label25_false-unreach-call.c out of memory 120     120     1400    15000   .65   .098  error (invalid witness file) .48 .32 12   39 error (invalid witness file) 6.2 3.3 130 300 - -
eca-rers2012/Problem15_label29_false-unreach-call.c out of memory 120     120     1400    15000   .65   47      error (invalid witness file) .66 .41 11   42 error (invalid witness file) 7.7 4.0 95 300 - -
eca-rers2012/Problem15_label30_false-unreach-call.c out of memory 120     120     1700    15000   .65   .025  error (invalid witness file) .48 .31 9.3 40 error (invalid witness file) 6.3 3.3 110 300 - -
eca-rers2012/Problem15_label33_false-unreach-call.c out of memory 120     120     1700    15000   .65   4.1    error (invalid witness file) .52 .33 10   39 error (invalid witness file) 5.9 3.1 110 290 - -
eca-rers2012/Problem15_label34_false-unreach-call.c out of memory 120     120     1500    15000   .65   0      error (invalid witness file) .60 .38 7.4 39 error (invalid witness file) 7.0 3.7 120 300 - -
eca-rers2012/Problem15_label37_false-unreach-call.c out of memory 120     120     1600    15000   .65   0      error (invalid witness file) .64 .39 6.5 40 error (invalid witness file) 6.5 3.4 120 300 - -
eca-rers2012/Problem15_label38_false-unreach-call.c out of memory 120     120     1400    15000   .65   .13   error (invalid witness file) .50 .32 10   40 error (invalid witness file) 7.1 3.7 110 290 - -
eca-rers2012/Problem15_label39_false-unreach-call.c out of memory 120     120     1300    15000   .65   10      error (invalid witness file) .53 .34 8.4 40 error (invalid witness file) 7.6 3.9 70 310 - -
eca-rers2012/Problem15_label40_false-unreach-call.c out of memory 120     120     1600    15000   .65   9.8    error (invalid witness file) .71 .46 8.2 40 error (invalid witness file) 6.9 3.6 110 290 - -
eca-rers2012/Problem15_label41_false-unreach-call.c out of memory 120     120     1500    15000   .65   4.4    error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem15_label45_false-unreach-call.c out of memory 120     120     1400    15000   .65   9.9    error (invalid witness file) .53 .34 8.3 42 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem15_label47_false-unreach-call.c out of memory 120     120     1400    15000   .65   0      error (invalid witness file) .51 .33 7.1 42 error (invalid witness file) 6.0 3.2 120 290 - -
eca-rers2012/Problem15_label48_false-unreach-call.c out of memory 120     120     1200    15000   .65   0      error (invalid witness file) .51 .35 8.1 39 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem15_label50_false-unreach-call.c out of memory 120     120     1300    15000   .65   14      error (invalid witness file) .67 .42 7.9 42 error (invalid witness file) 6.4 3.4 140 300 - -
eca-rers2012/Problem15_label51_false-unreach-call.c out of memory 120     120     1400    15000   .65   .098  error (invalid witness file) .65 .42 7.6 39 error (invalid witness file) 8.0 4.2 89 300 - -
eca-rers2012/Problem16_label00_false-unreach-call.c out of memory 100     100     1300    15000   .56   14      error (invalid witness file) .53 .34 13   41 error (invalid witness file) 6.8 3.6 100 300 - -
eca-rers2012/Problem16_label01_false-unreach-call.c false(unreach-call) 97     97     1300    9900   .56   9.9    timeout 93    81    800   1600 true 15   8.0 220 480 - -
eca-rers2012/Problem16_label03_false-unreach-call.c out of memory 100     100     1400    15000   .56   0      error (invalid witness file) .62 .40 9.1 42 error (invalid witness file) 7.4 3.8 120 300 - -
eca-rers2012/Problem16_label04_false-unreach-call.c out of memory 100     100     1100    15000   .56   0      error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.5 3.4 120 300 - -
eca-rers2012/Problem16_label05_false-unreach-call.c out of memory 100     100     1300    15000   .56   0      error (invalid witness file) .62 .38 7.7 41 error (invalid witness file) 7.9 4.2 87 300 - -
eca-rers2012/Problem16_label06_false-unreach-call.c out of memory 100     100     1200    15000   .56   0      error (invalid witness file) .53 .33 13   42 error (invalid witness file) 6.9 3.6 110 300 - -
eca-rers2012/Problem16_label08_false-unreach-call.c out of memory 100     100     1300    15000   .56   4.0    error (invalid witness file) .57 .37 12   44 error (invalid witness file) 7.7 4.0 88 300 - -
eca-rers2012/Problem16_label14_false-unreach-call.c out of memory 100     100     1400    15000   .56   0      error (invalid witness file) .64 .41 7.3 40 error (invalid witness file) 6.3 3.4 120 300 - -
eca-rers2012/Problem16_label15_false-unreach-call.c out of memory 100     100     1200    15000   .56   0      error (invalid witness file) .57 .36 14   43 error (invalid witness file) 6.8 3.5 120 320 - -
eca-rers2012/Problem16_label18_false-unreach-call.c out of memory 100     100     1200    15000   .56   0      error (invalid witness file) .51 .34 10   39 error (invalid witness file) 6.9 3.6 110 300 - -
eca-rers2012/Problem16_label20_false-unreach-call.c out of memory 100     100     1600    15000   .56   0      error (invalid witness file) .52 .33 9.5 40 error (invalid witness file) 6.5 3.4 120 290 - -
eca-rers2012/Problem16_label22_false-unreach-call.c out of memory 100     100     1300    15000   .56   0      error (invalid witness file) .62 .40 8.9 40 error (invalid witness file) 7.1 3.7 110 310 - -
eca-rers2012/Problem16_label27_false-unreach-call.c out of memory 100     100     1100    15000   .56   4.0    error (invalid witness file) .50 .32 11   39 error (invalid witness file) 7.3 3.9 97 300 - -
eca-rers2012/Problem16_label30_false-unreach-call.c out of memory 100     100     1100    15000   .56   0      error (invalid witness file) .55 .35 9.7 40 error (invalid witness file) 6.3 3.3 140 300 - -
eca-rers2012/Problem16_label31_false-unreach-call.c out of memory 100     100     1300    15000   .56   3.9    error (invalid witness file) .48 .31 8.6 39 error (invalid witness file) 7.2 3.8 97 300 - -
eca-rers2012/Problem16_label33_false-unreach-call.c out of memory 100     100     1100    15000   .56   0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 7.4 3.8 110 300 - -
eca-rers2012/Problem16_label37_false-unreach-call.c out of memory 100     100     1400    15000   .56   0      error (invalid witness file) .57 .36 12   44 error (invalid witness file) 6.2 3.2 120 300 - -
eca-rers2012/Problem16_label38_false-unreach-call.c out of memory 100     100     1400    15000   .56   0      error (invalid witness file) .49 .31 8.2 39 error (invalid witness file) 6.5 3.4 110 300 - -
eca-rers2012/Problem16_label41_false-unreach-call.c out of memory 100     100     1200    15000   .56   0      error (invalid witness file) .54 .34 11   40 error (invalid witness file) 7.2 3.8 97 300 - -
eca-rers2012/Problem16_label43_false-unreach-call.c out of memory 100     100     1300    15000   .56   0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem16_label44_false-unreach-call.c out of memory 100     100     1200    15000   .56   .098  error (invalid witness file) .54 .35 11   41 error (invalid witness file) 6.5 3.5 120 300 - -
eca-rers2012/Problem16_label46_false-unreach-call.c out of memory 100     100     1300    15000   .56   0      error (invalid witness file) .65 .41 8.1 41 error (invalid witness file) 8.0 4.2 84 300 - -
eca-rers2012/Problem16_label51_false-unreach-call.c out of memory 100     100     1200    15000   .56   0      error (invalid witness file) .64 .41 8.1 40 error (invalid witness file) 6.7 3.5 120 310 - -
eca-rers2012/Problem16_label52_false-unreach-call.c out of memory 100     100     1400    15000   .56   0      error (invalid witness file) .58 .38 9.5 43 error (invalid witness file) 7.5 3.9 110 310 - -
eca-rers2012/Problem16_label54_false-unreach-call.c out of memory 100     100     1200    15000   .56   9.9    error (invalid witness file) .52 .33 12   40 error (invalid witness file) 8.9 4.7 96 320 - -
eca-rers2012/Problem17_label04_false-unreach-call.c out of memory 160     160     1800    15000   1.0    0      error (invalid witness file) .64 .41 8.3 41 error (invalid witness file) 7.9 4.1 81 290 - -
eca-rers2012/Problem17_label07_false-unreach-call.c out of memory 160     160     1900    15000   1.0    16      error (invalid witness file) .54 .35 13   43 error (invalid witness file) 6.6 3.5 140 300 - -
eca-rers2012/Problem17_label09_false-unreach-call.c out of memory 160     160     1800    15000   1.0    0      error (invalid witness file) .51 .32 12   40 error (invalid witness file) 7.6 4.0 86 300 - -
eca-rers2012/Problem17_label13_false-unreach-call.c out of memory 160     160     1900    15000   1.0    0      error (invalid witness file) .50 .32 11   39 error (invalid witness file) 9.0 4.7 88 310 - -
eca-rers2012/Problem17_label16_false-unreach-call.c out of memory 160     160     1900    15000   1.0    0      error (invalid witness file) .51 .33 9.8 40 error (invalid witness file) 8.3 4.4 83 300 - -
eca-rers2012/Problem17_label20_false-unreach-call.c out of memory 160     160     1900    15000   1.0    17      error (invalid witness file) .55 .35 9.2 39 error (invalid witness file) 7.7 4.0 97 300 - -
eca-rers2012/Problem17_label23_false-unreach-call.c out of memory 160     160     2300    15000   1.0    15      error (invalid witness file) .80 .51 8.5 44 error (invalid witness file) 7.5 3.9 94 300 - -
eca-rers2012/Problem17_label25_false-unreach-call.c out of memory 160     160     2100    15000   1.0    0      error (invalid witness file) .58 .38 8.1 41 error (invalid witness file) 6.9 3.6 130 300 - -
eca-rers2012/Problem17_label26_false-unreach-call.c out of memory 160     160     2100    15000   1.0    0      error (invalid witness file) .71 .47 6.8 39 error (invalid witness file) 8.6 4.5 84 310 - -
eca-rers2012/Problem17_label30_false-unreach-call.c out of memory 160     160     1900    15000   1.0    .029  error (invalid witness file) .53 .35 10   40 error (invalid witness file) 8.9 4.6 100 310 - -
eca-rers2012/Problem17_label31_false-unreach-call.c out of memory 160     160     2200    15000   1.0    4.0    error (invalid witness file) .69 .44 7.5 42 error (invalid witness file) 7.6 4.0 100 300 - -
eca-rers2012/Problem17_label33_false-unreach-call.c out of memory 160     160     2200    15000   1.0    0      error (invalid witness file) .55 .36 9.1 41 error (invalid witness file) 7.4 3.8 140 300 - -
eca-rers2012/Problem17_label34_false-unreach-call.c out of memory 160     160     2100    15000   1.0    0      error (invalid witness file) .64 .40 4.9 39 error (invalid witness file) 7.0 3.7 100 300 - -
eca-rers2012/Problem17_label35_false-unreach-call.c out of memory 160     160     2000    15000   1.0    12      error (invalid witness file) .50 .33 12   40 error (invalid witness file) 8.1 4.3 100 310 - -
eca-rers2012/Problem17_label37_false-unreach-call.c out of memory 160     160     1700    15000   1.0    0      error (invalid witness file) .62 .40 6.3 39 error (invalid witness file) 8.6 4.5 110 310 - -
eca-rers2012/Problem17_label40_false-unreach-call.c out of memory 160     160     1900    15000   1.0    0      error (invalid witness file) .62 .40 7.9 40 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem17_label46_false-unreach-call.c out of memory 160     160     1900    15000   1.0    0      error (invalid witness file) .60 .39 7.2 41 error (invalid witness file) 6.8 3.6 130 310 - -
eca-rers2012/Problem17_label49_false-unreach-call.c out of memory 160     160     1900    15000   1.0    .061  error (invalid witness file) .50 .32 9.8 39 error (invalid witness file) 8.1 4.3 90 290 - -
eca-rers2012/Problem17_label50_false-unreach-call.c false(unreach-call) 1.4   1.4   16    290   1.0    0      timeout 95    84    770   3500 true 22   13   290 490 - -
eca-rers2012/Problem17_label52_false-unreach-call.c out of memory 160     160     2000    15000   1.0    16      error (invalid witness file) .63 .41 7.1 44 error (invalid witness file) 7.4 3.9 130 320 - -
eca-rers2012/Problem17_label53_false-unreach-call.c out of memory 160     160     1900    15000   1.0    4.0    error (invalid witness file) .67 .41 7.4 41 error (invalid witness file) 6.4 3.4 110 300 - -
eca-rers2012/Problem17_label54_false-unreach-call.c out of memory 160     160     2100    15000   1.0    23      error (invalid witness file) .53 .36 8.5 41 error (invalid witness file) 8.1 4.2 70 300 - -
eca-rers2012/Problem17_label55_false-unreach-call.c out of memory 160     160     1900    15000   1.0    0      error (invalid witness file) .56 .36 5.5 40 error (invalid witness file) 7.9 4.2 83 300 - -
eca-rers2012/Problem17_label57_false-unreach-call.c out of memory 160     160     2200    15000   1.0    0      error (invalid witness file) .48 .32 12   40 error (invalid witness file) 8.5 4.4 84 300 - -
eca-rers2012/Problem18_label00_false-unreach-call.c out of memory 170     170     1800    15000   1.2    .033  error (invalid witness file) .67 .42 8.3 40 error (invalid witness file) 7.6 4.0 99 310 - -
eca-rers2012/Problem18_label01_false-unreach-call.c out of memory 170     170     1800    15000   1.2    4.4    error (invalid witness file) .55 .37 11   41 error (invalid witness file) 6.0 3.2 120 290 - -
eca-rers2012/Problem18_label03_false-unreach-call.c out of memory 170     170     2000    15000   1.2    0      error (invalid witness file) .53 .33 9.7 41 error (invalid witness file) 7.5 4.0 77 310 - -
eca-rers2012/Problem18_label06_false-unreach-call.c out of memory 170     170     2100    15000   1.2    0      error (invalid witness file) .54 .35 11   39 error (invalid witness file) 6.6 3.5 130 290 - -
eca-rers2012/Problem18_label08_false-unreach-call.c out of memory 170     170     1900    15000   1.2    4.0    error (invalid witness file) .63 .40 7.8 40 error (invalid witness file) 6.2 3.3 91 300 - -
eca-rers2012/Problem18_label09_false-unreach-call.c out of memory 170     170     1900    15000   1.2    3.9    error (invalid witness file) .54 .36 8.5 41 error (invalid witness file) 6.7 3.5 130 300 - -
eca-rers2012/Problem18_label10_false-unreach-call.c out of memory 170     170     2300    15000   1.2    0      error (invalid witness file) .50 .34 8.7 40 error (invalid witness file) 7.3 3.8 120 320 - -
eca-rers2012/Problem18_label12_false-unreach-call.c out of memory 170     170     2000    15000   1.2    9.8    error (invalid witness file) .54 .35 11   43 error (invalid witness file) 6.5 3.4 110 300 - -
eca-rers2012/Problem18_label19_false-unreach-call.c out of memory 170     170     2200    15000   1.2    0      error (invalid witness file) .57 .37 8.0 39 error (invalid witness file) 7.5 4.0 96 300 - -
eca-rers2012/Problem18_label20_false-unreach-call.c out of memory 170     170     2100    15000   1.2    10      error (invalid witness file) .46 .31 10   39 error (invalid witness file) 7.7 4.0 150 320 - -
eca-rers2012/Problem18_label25_false-unreach-call.c out of memory 170     170     2000    15000   1.2    4.6    error (invalid witness file) .55 .36 11   41 error (invalid witness file) 7.9 4.2 84 290 - -
eca-rers2012/Problem18_label27_false-unreach-call.c out of memory 170     170     2200    15000   1.2    0      error (invalid witness file) .55 .35 13   43 error (invalid witness file) 7.0 3.7 140 320 - -
eca-rers2012/Problem18_label31_false-unreach-call.c out of memory 170     170     2000    15000   1.2    15      error (invalid witness file) .48 .30 8.8 40 error (invalid witness file) 6.3 3.4 98 290 - -
eca-rers2012/Problem18_label32_false-unreach-call.c out of memory 170     170     2000    15000   1.2    .098  error (invalid witness file) .63 .41 4.8 42 error (invalid witness file) 6.6 3.5 130 290 - -
eca-rers2012/Problem18_label33_false-unreach-call.c out of memory 170     170     2300    15000   1.2    4.1    error (invalid witness file) .65 .42 8.8 41 error (invalid witness file) 6.5 3.4 110 310 - -
eca-rers2012/Problem18_label34_false-unreach-call.c out of memory 170     170     2000    15000   1.2    0      error (invalid witness file) .53 .33 11   42 error (invalid witness file) 7.0 3.7 110 300 - -
eca-rers2012/Problem18_label35_false-unreach-call.c out of memory 170     170     1900    15000   1.2    4.1    error (invalid witness file) .50 .33 11   39 error (invalid witness file) 6.6 3.5 110 300 - -
eca-rers2012/Problem18_label36_false-unreach-call.c out of memory 170     170     2200    15000   1.2    0      error (invalid witness file) .55 .36 11   40 error (invalid witness file) 7.1 3.7 110 300 - -
eca-rers2012/Problem18_label38_false-unreach-call.c out of memory 170     170     1900    15000   1.2    0      error (invalid witness file) .57 .37 8.6 39 error (invalid witness file) 6.8 3.6 110 300 - -
eca-rers2012/Problem18_label39_false-unreach-call.c out of memory 170     170     2300    15000   1.2    0      error (invalid witness file) .48 .31 10   40 error (invalid witness file) 6.7 3.5 97 300 - -
eca-rers2012/Problem18_label45_false-unreach-call.c out of memory 170     170     2000    15000   1.2    0      error (invalid witness file) .61 .40 5.7 39 error (invalid witness file) 7.9 4.2 81 300 - -
eca-rers2012/Problem18_label49_false-unreach-call.c out of memory 170     170     2100    15000   1.5    .098  error (invalid witness file) .52 .34 10   41 error (invalid witness file) 7.2 3.8 110 310 - -
eca-rers2012/Problem18_label52_false-unreach-call.c out of memory 170     170     2100    15000   1.2    0      error (invalid witness file) .58 .37 9.9 42 error (invalid witness file) 7.0 3.7 120 300 - -
eca-rers2012/Problem18_label55_false-unreach-call.c out of memory 170     170     2100    15000   1.2    0      error (invalid witness file) .51 .32 6.5 39 error (invalid witness file) 6.9 3.6 170 300 - -
eca-rers2012/Problem18_label57_false-unreach-call.c out of memory 170     170     1900    15000   1.2    9.7    error (invalid witness file) .54 .36 7.5 40 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem19_label10_false-unreach-call.c out of memory 170     170     2100    15000   3.1    0      error (invalid witness file) .64 .40 6.3 39 error (invalid witness file) 6.9 3.6 140 300 - -
eca-rers2012/Problem19_label11_false-unreach-call.c out of memory 170     170     2000    15000   3.1    0      error (invalid witness file) .63 .39 8.1 39 error (invalid witness file) 8.2 4.3 120 300 - -
eca-rers2012/Problem19_label14_false-unreach-call.c out of memory 170     170     2100    15000   3.1    0      error (invalid witness file) .54 .34 9.7 41 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem19_label17_false-unreach-call.c out of memory 170     170     2200    15000   3.1    3.9    error (invalid witness file) .49 .33 11   40 error (invalid witness file) 7.2 3.7 100 310 - -
eca-rers2012/Problem19_label18_false-unreach-call.c out of memory 170     170     1800    15000   3.1    9.9    error (invalid witness file) .62 .39 7.5 39 error (invalid witness file) 7.7 4.1 120 310 - -
eca-rers2012/Problem19_label19_false-unreach-call.c out of memory 170     170     2100    15000   3.1    4.1    error (invalid witness file) .67 .42 8.8 40 error (invalid witness file) 7.7 4.0 100 310 - -
eca-rers2012/Problem19_label21_false-unreach-call.c out of memory 170     170     2100    15000   3.1    0      error (invalid witness file) .71 .43 8.9 44 error (invalid witness file) 7.4 3.9 140 300 - -
eca-rers2012/Problem19_label22_false-unreach-call.c out of memory 170     170     2200    15000   3.1    15      error (invalid witness file) .57 .37 9.6 43 error (invalid witness file) 6.6 3.4 140 300 - -
eca-rers2012/Problem19_label26_false-unreach-call.c out of memory 170     170     2000    15000   3.1    4.1    error (invalid witness file) .48 .31 9.4 40 error (invalid witness file) 6.8 3.6 140 290 - -
eca-rers2012/Problem19_label27_false-unreach-call.c out of memory 170     170     2000    15000   3.1    0      error (invalid witness file) .53 .34 10   39 error (invalid witness file) 7.1 3.7 120 300 - -
eca-rers2012/Problem19_label28_false-unreach-call.c out of memory 170     170     2000    15000   3.1    4.3    error (invalid witness file) .49 .31 11   40 error (invalid witness file) 6.8 3.6 91 290 - -
eca-rers2012/Problem19_label29_false-unreach-call.c out of memory 170     170     2000    15000   3.1    4.0    error (invalid witness file) .53 .34 12   39 error (invalid witness file) 8.5 4.5 66 300 - -
eca-rers2012/Problem19_label31_false-unreach-call.c out of memory 170     170     1900    15000   3.1    0      error (invalid witness file) .51 .32 7.2 39 error (invalid witness file) 7.8 4.1 110 310 - -
eca-rers2012/Problem19_label32_false-unreach-call.c out of memory 170     170     1900    15000   3.1    4.3    error (invalid witness file) .52