Tool Ceagle Ceagle 1.3 @ 53cfa89
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-57-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-10 17:21:21 CET [[ 2017-01-14 18:00:17 CET ]] [[ 2017-01-14 19:52:12 CET ]] [[ 2017-01-14 18:07:02 CET ]] [[ 2017-01-14 19:59:19 CET ]]
Run set sv-comp17.ReachSafety-ControlFlow
Options --compiler clang-3.7 [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-10_1721.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-10_1721.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-10_1721.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-10_1721.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c aborted 0 wit inspect .20 .21 2.8 8.9 0   .36   error (invalid witness file) .51 .34 14   40 error (invalid witness file) 6.0 3.2 120 300 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c aborted 0 wit inspect .14 .14 1.7 8.4 0   .086  error (invalid witness file) .51 .32 12   40 error (invalid witness file) 6.5 3.4 99 300 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c aborted 0 wit inspect .24 .36 2.1 45   0   36      error (invalid witness file) .50 .32 12   40 error (invalid witness file) 5.6 3.0 110 300 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c aborted 0 wit inspect .14 .14 1.5 8.2 0   0      error (invalid witness file) .50 .33 9.7 41 error (invalid witness file) 7.9 4.1 86 300 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c aborted 0 wit inspect .20 .20 2.5 8.8 0   0      - - error (invalid witness file) .54 .36 9.8 39 error (invalid witness file) 6.2 3.3 120 310
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c aborted 0 wit inspect .15 .15 1.8 8.3 0   0      - - error (invalid witness file) .62 .41 7.8 39 error (invalid witness file) 6.6 3.5 100 300
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c aborted 0 wit inspect .14 .14 1.7 8.1 0   0      - - error (invalid witness file) .65 .42 7.4 42 error (invalid witness file) 6.5 3.5 130 300
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c aborted 0 wit inspect .16 .16 2.1 8.6 0   .11   - - error (invalid witness file) .49 .31 9.0 41 error (invalid witness file) 5.8 3.1 110 300
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c aborted 0 wit inspect .15 .15 1.1 8.1 0   0      - - error (invalid witness file) .51 .34 4.8 39 error (invalid witness file) 6.2 3.2 120 320
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c aborted 0 wit inspect .20 .31 1.8 45   0   36      - - error (invalid witness file) .50 .32 8.8 42 error (invalid witness file) 6.1 3.3 130 300
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 780    770    8800   600   0   .0082 false(unreach-call) 11    5.6  220   460 true 8.9 4.8 140 320 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(unreach-call) 1 wit inspect 790    780    7900   600   0   .053  false(unreach-call) 11    5.5  200   440 true 9.3 5.0 120 330 - -
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c aborted 0 wit inspect .17 .29 2.0 43   0   35      error (invalid witness file) .53 .34 5.2 41 error (invalid witness file) 7.3 3.9 75 310 - -
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 790    790    7700   580   0   .016  false(unreach-call) 11    6.0  260   460 true 7.9 4.2 110 310 - -
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c timeout 0 wit inspect 900    890    9500   1800   0   0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 7.1 3.8 70 300 - -
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c timeout 0 wit inspect 900    900    8700   720   0   0      error (invalid witness file) .50 .33 13   41 error (invalid witness file) 6.4 3.4 96 300 - -
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c timeout 0 wit inspect 900    890    9200   690   0   0      error (invalid witness file) .57 .36 11   40 error (invalid witness file) 8.4 4.3 130 310 - -
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c timeout 0 wit inspect 900    890    9900   710   0   0      error (invalid witness file) .50 .33 9.9 39 error (invalid witness file) 6.5 3.5 98 310 - -
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c timeout 0 wit inspect 900    900    11000   1600   0   0      error (invalid witness file) .54 .35 13   41 error (invalid witness file) 7.9 4.1 77 310 - -
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c timeout 0 wit inspect 900    900    9900   2100   0   .045  error (invalid witness file) .51 .33 12   39 error (invalid witness file) 7.5 3.9 82 290 - -
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c timeout 0 wit inspect 900    900    9900   2000   0   0      error (invalid witness file) .52 .34 9.7 42 error (invalid witness file) 7.5 3.9 81 310 - -
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c timeout 0 wit inspect 900    900    12000   1700   0   0      error (invalid witness file) .57 .37 12   43 error (invalid witness file) 8.0 4.2 91 310 - -
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c timeout 0 wit inspect 900    890    8400   690   0   .041  - - error (invalid witness file) .50 .32 6.0 41 error (invalid witness file) 6.8 3.6 130 310
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900    890    8600   700   0   0      - - error (invalid witness file) .57 .37 9.7 40 error (invalid witness file) 7.9 4.1 87 310
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c aborted 0 wit inspect .13 .13 1.3 8.0 0   0      - - error (invalid witness file) .48 .31 12   40 error (invalid witness file) 6.1 3.2 100 300
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c timeout 0 wit inspect 900    890    11000   700   0   .0041 - - error (invalid witness file) .62 .39 7.4 39 error (invalid witness file) 5.8 3.1 110 290
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c timeout 0 wit inspect 900    900    12000   2100   0   .0041 - - error (invalid witness file) .66 .42 8.6 40 error (invalid witness file) 6.3 3.3 140 300
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    890    8700   700   0   0      - - error (invalid witness file) .52 .34 7.2 41 error (invalid witness file) 5.7 3.0 100 300
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 2 wit inspect 110    110    1200   79   0   0      - - true 4.8  2.6  90   280 true 8.3 4.5 150 320
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c timeout 0 wit inspect 900    900    9000   2100   0   0      - - error (invalid witness file) .55 .36 9.2 43 error (invalid witness file) 6.3 3.3 120 300
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c timeout 0 wit inspect 900    890    9800   2000   0   0      - - error (invalid witness file) .62 .39 6.8 39 error (invalid witness file) 5.9 3.1 120 300
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c timeout 0 wit inspect 900    900    10000   2000   0   0      - - error (invalid witness file) .59 .38 11   43 error (invalid witness file) 6.1 3.2 99 290
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c timeout 0 wit inspect 900    890    12000   1800   0   0      - - error (invalid witness file) .53 .34 9.9 40 error (invalid witness file) 5.8 3.1 110 300
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c timeout 0 wit inspect 900    900    10000   1800   0   0      - - error (invalid witness file) .50 .31 12   39 error (invalid witness file) 5.8 3.1 130 290
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c timeout 0 wit inspect 900    890    9500   2100   0   36      - - error (invalid witness file) .64 .42 8.1 40 error (invalid witness file) 7.3 3.8 91 300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect .51 .51 6.1 8.0 0   0      false(unreach-call) 4.9  2.7  100   280 true 7.7 4.1 170 320 - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect .54 .54 6.2 7.9 0   0      false(unreach-call) 5.8  3.1  120   290 true 9.4 5.0 87 310 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900    890    8400   620   0   .020  - - error (invalid witness file) .54 .34 9.2 42 error (invalid witness file) 5.9 3.1 97 300
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900    890    9900   620   0   0      - - error (invalid witness file) .78 .48 8.4 43 error (invalid witness file) 6.5 3.4 95 290
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900    890    10000   600   0   0      - - error (invalid witness file) .59 .37 7.9 39 error (invalid witness file) 5.7 3.0 110 300
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900    890    8000   610   0   0      - - error (invalid witness file) .50 .32 8.2 40 error (invalid witness file) 5.6 3.0 110 300
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900    890    7700   620   0   .0041 - - error (invalid witness file) .64 .40 8.1 39 error (invalid witness file) 5.8 3.1 120 300
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900    890    8900   630   0   0      - - error (invalid witness file) .67 .42 6.2 40 error (invalid witness file) 6.0 3.1 120 300
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 540    530    5100   360   0   .0041 - - true 4.8  2.7  82   280 true 9.8 5.2 200 350
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900    890    10000   620   0   .0041 - - error (invalid witness file) .54 .35 13   41 error (invalid witness file) 5.9 3.1 120 300
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900    890    9500   620   0   .0041 - - error (invalid witness file) .58 .37 9.0 42 error (invalid witness file) 6.2 3.2 110 310
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900    890    9200   610   0   .0041 - - error (invalid witness file) .64 .40 7.7 39 error (invalid witness file) 5.6 3.0 110 290
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900    890    8400   610   0   0      - - error (invalid witness file) .69 .42 8.6 42 error (invalid witness file) 5.9 3.1 110 300
ntdrivers/cdaudio_false-unreach-call.i.cil.c aborted 0 wit inspect .43 .56 5.3 50   0   37      error (invalid witness file) .50 .32 9.1 40 error (invalid witness file) 8.6 4.5 110 310 - -
ntdrivers/diskperf_false-unreach-call.i.cil.c aborted 0 wit inspect .23 .23 2.3 10   0   .086  error (invalid witness file) .55 .34 14   41 error (invalid witness file) 7.8 4.1 97 310 - -
ntdrivers/floppy_false-unreach-call.i.cil.c aborted 0 wit inspect .36 .36 4.5 12   0   .11   error (invalid witness file) .58 .37 13   42 error (invalid witness file) 9.1 4.7 87 310 - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c aborted 0 wit inspect .17 .17 2.3 9.6 0   .24   error (invalid witness file) .51 .34 11   41 error (invalid witness file) 6.5 3.5 100 310 - -
ntdrivers/parport_false-unreach-call.i.cil.c aborted 0 wit inspect .47 .47 5.6 15   0   .11   error (invalid witness file) .50 .33 10   40 error (invalid witness file) 7.3 3.8 120 300 - -
ntdrivers/cdaudio_true-unreach-call.i.cil.c aborted 0 wit inspect .37 .37 5.1 13   0   0      - - error (invalid witness file) .51 .34 12   40 error (invalid witness file) 7.1 3.7 130 310
ntdrivers/diskperf_true-unreach-call.i.cil.c aborted 0 wit inspect .21 .21 2.4 10   0   .11   - - error (invalid witness file) .68 .43 8.3 41 error (invalid witness file) 7.4 3.9 100 300
ntdrivers/floppy2_true-unreach-call.i.cil.c aborted 0 wit inspect .49 .49 7.2 18   0   0      - - error (invalid witness file) .57 .36 8.6 40 error (invalid witness file) 7.7 4.0 140 320
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c aborted 0 wit inspect .40 .51 4.7 48   0   36      - - error (invalid witness file) .49 .31 10   40 error (invalid witness file) 7.8 4.1 120 300
ntdrivers/parport_true-unreach-call.i.cil.c aborted 0 wit inspect .50 .50 5.4 15   0   .11   - - error (invalid witness file) .65 .41 5.7 42 error (invalid witness file) 8.9 4.7 110 310
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c aborted 0 wit inspect .12 .12 1.4 8.8 0   0      error (invalid witness file) .52 .34 13   42 error (invalid witness file) 6.2 3.3 130 300 - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.4 8.7 0   0      error (invalid witness file) .49 .32 9.0 39 error (invalid witness file) 8.4 4.4 95 310 - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c aborted 0 wit inspect .17 .17 1.4 8.8 0   0      error (invalid witness file) .52 .34 13   40 error (invalid witness file) 6.4 3.4 120 310 - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c aborted 0 wit inspect .13 .13 1.5 8.8 0   0      error (invalid witness file) .51 .33 10   40 error (invalid witness file) 6.1 3.2 110 300 - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c aborted 0 wit inspect .13 .14 1.5 9.0 0   0      error (invalid witness file) .52 .34 13   41 error (invalid witness file) 6.1 3.2 120 300 - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c aborted 0 wit inspect .13 .13 1.6 8.8 0   0      error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.0 3.3 130 300 - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c aborted 0 wit inspect .13 .13 1.5 8.7 0   0      error (invalid witness file) .56 .35 15   41 error (invalid witness file) 7.1 3.7 95 300 - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c aborted 0 wit inspect .13 .13 1.5 8.6 0   0      error (invalid witness file) .59 .39 9.2 40 error (invalid witness file) 7.1 3.8 82 300 - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.5 8.8 0   0      error (invalid witness file) .54 .34 12   40 error (invalid witness file) 7.4 3.9 95 300 - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.5 9.0 0   0      error (invalid witness file) .53 .34 13   42 error (invalid witness file) 6.6 3.5 73 300 - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.4 8.7 0   0      error (invalid witness file) .52 .34 11   40 error (invalid witness file) 8.0 4.2 77 300 - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.5 8.7 0   0      error (invalid witness file) .47 .30 6.1 39 error (invalid witness file) 7.6 4.0 83 300 - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c aborted 0 wit inspect .15 .15 1.6 8.6 0   0      error (invalid witness file) .50 .32 13   39 error (invalid witness file) 6.4 3.4 72 280 - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c aborted 0 wit inspect .17 .17 1.4 8.6 0   0      error (invalid witness file) .52 .33 8.9 41 error (invalid witness file) 6.7 3.5 100 290 - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c aborted 0 wit inspect .16 .16 1.6 8.5 0   0      error (invalid witness file) .54 .34 13   40 error (invalid witness file) 5.9 3.2 100 290 - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c aborted 0 wit inspect .13 .13 1.9 8.8 0   0      error (invalid witness file) .50 .33 11   39 error (invalid witness file) 5.5 3.0 80 300 - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c aborted 0 wit inspect .17 .17 1.5 8.6 0   0      error (invalid witness file) .51 .33 10   41 error (invalid witness file) 7.8 4.1 75 300 - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c aborted 0 wit inspect .13 .13 1.4 8.7 0   0      error (invalid witness file) .55 .34 13   40 error (invalid witness file) 7.6 4.0 58 300 - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.8 8.8 0   0      error (invalid witness file) .53 .34 14   40 error (invalid witness file) 7.1 3.7 93 300 - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.6 8.7 0   0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.2 3.3 120 300
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c aborted 0 wit inspect .13 .13 1.7 8.6 0   0      - - error (invalid witness file) .56 .35 9.4 41 error (invalid witness file) 6.3 3.4 130 310
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.4 8.7 0   0      - - error (invalid witness file) .64 .41 8.5 41 error (invalid witness file) 6.3 3.4 120 300
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c aborted 0 wit inspect .13 .13 1.3 8.7 0   0      - - error (invalid witness file) .56 .36 11   42 error (invalid witness file) 7.5 3.9 130 330
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c aborted 0 wit inspect .13 .13 1.8 8.9 0   0      - - error (invalid witness file) .62 .40 9.8 39 error (invalid witness file) 7.6 4.0 140 330
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.6 8.7 0   0      - - error (invalid witness file) .63 .40 7.2 41 error (invalid witness file) 6.4 3.4 99 310
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c aborted 0 wit inspect .17 .17 1.5 8.9 0   0      - - error (invalid witness file) .49 .31 8.9 40 error (invalid witness file) 7.5 3.9 140 320
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c aborted 0 wit inspect .17 .17 1.5 8.9 0   0      - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.1 3.3 140 300
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c aborted 0 wit inspect .15 .15 1.5 8.9 0   .041  - - error (invalid witness file) .48 .32 9.1 40 error (invalid witness file) 6.2 3.3 120 300
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c aborted 0 wit inspect .17 .17 1.5 8.6 0   0      - - error (invalid witness file) .57 .38 7.7 39 error (invalid witness file) 6.5 3.4 130 300
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c aborted 0 wit inspect .13 .13 1.8 8.7 0   0      - - error (invalid witness file) .69 .45 9.0 42 error (invalid witness file) 5.7 3.1 110 290
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c aborted 0 wit inspect .15 .15 1.4 8.7 0   0      - - error (invalid witness file) .61 .40 6.4 40 error (invalid witness file) 5.9 3.2 120 290
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.5 8.8 0   0      - - error (invalid witness file) .62 .39 10   43 error (invalid witness file) 6.3 3.3 120 300
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.4 8.8 0   0      - - error (invalid witness file) .52 .34 11   42 error (invalid witness file) 6.2 3.3 120 290
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c aborted 0 wit inspect .14 .14 1.8 8.8 0   0      - - error (invalid witness file) .49 .31 11   40 error (invalid witness file) 6.1 3.2 120 300
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c aborted 0 wit inspect .13 .14 1.9 8.5 0   0      - - error (invalid witness file) .50 .31 11   43 error (invalid witness file) 7.3 3.9 97 300
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c aborted 0 wit inspect .17 .17 1.5 8.8 0   0      - - error (invalid witness file) .66 .40 7.4 39 error (invalid witness file) 7.9 4.1 110 310
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 94 9 29000 29000 310000 37000 0   220      94 63 35 1300 3400   94 310 160 4100 13000   94 38   24   620 2600   94 340 180   6200 16000  
    correct results 7 9 3000 3000 31000 2200 0   .082  5 43 23 900 1900   5 43 23 610 1600   2 9.6 5.3 170 570   2 18 9.7 350 670  
        correct true 2 4 640 640 6300 440 0   .0041 0 0 0 0 0   5 0 0 0 0   2 9.6 5.3 170 570   2 18 9.7 350 670  
        correct false 5 5 2400 2300 24000 1800 0   .078  5 43 23 900 1900   0 43 23 610 1600   0 0   0   0 0   0 0 0   0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (94 tasks, max score: 146) 9
Run set sv-comp17.ReachSafety-ControlFlow