Tool symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a
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:10:58 CET [[ 2017-01-15 02:01:54 CET ]] [[ 2017-01-15 02:34:25 CET ]] [[ 2017-01-15 02:04:28 CET ]] [[ 2017-01-15 03:02:21 CET ]]
Run set sv-comp17.ReachSafety-ControlFlow
Options --witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-13_1110.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 false(unreach-call) 0 wit inspect .39 .38 4.5 23   .21  0    true 14    8.0  230   570 true 11   5.7 130 410 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect .28 .28 3.6 14   .098 0    false(unreach-call) 7.8  4.2  130   330 true 10   5.4 140 330 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect .39 .38 4.8 20   .15  0    false(unreach-call) 7.8  4.2  110   330 true 13   7.1 150 380 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 0 wit inspect .25 .25 2.6 13   .098 0    true 7.4  4.0  140   350 true 11   6.1 150 330 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .42 .42 5.3 23   .21  0    - - true 16    8.6  250   650 true 95   52   1400 1100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .37 .37 4.7 17   .086 0    - - out of memory 430    410    8700   7000 true 72   40   1100 1000
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .27 .27 3.2 15   .098 0    - - true 12    6.3  190   470 true 75   40   580 930
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .41 .40 4.1 19   .15  0    - - true 12    6.6  190   500 true 100   54   1100 930
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .21 .21 2.1 9.9 .061 0    - - true 6.5  3.4  120   290 true 22   12   390 590
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .25 .25 2.6 12   .098 0    - - true 8.0  4.3  120   320 true 26   14   360 590
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(unreach-call) 0 wit inspect .27 .27 2.8 11   .11  0    true 7.7  4.1  99   290 true 9.5 5.1 130 310 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(unreach-call) 0 wit inspect .25 .25 2.9 10   .11  0    true 6.3  3.4  120   290 true 9.6 5.2 130 320 - -
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(unreach-call) 0 wit inspect .29 .28 3.8 11   .12  0    true 6.3  3.4  110   290 true 8.6 4.6 180 320 - -
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(unreach-call) 0 wit inspect .29 .29 3.4 11   .11  0    true 7.5  4.0  93   290 true 10   5.6 100 320 - -
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(unreach-call) 0 wit inspect .23 .23 2.7 11   .14  0    timeout 93    79    1700   860 true 8.6 4.6 110 310 - -
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(unreach-call) 0 wit inspect .39 .39 5.3 12   .14  0    true 8.8  4.7  130   420 true 12   6.2 120 330 - -
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(unreach-call) 0 wit inspect .80 .79 10   19   .16  0    timeout 91    81    2900   630 true 9.5 5.1 130 340 - -
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(unreach-call) 1 wit inspect .33 .33 3.3 11   .14  0    false(unreach-call) 8.5  4.5  140   350 true 11   5.6 130 340 - -
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(unreach-call) 1 wit inspect .25 .25 2.9 10   .14  0    false(unreach-call) 6.8  3.7  140   290 true 9.2 4.9 160 320 - -
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(unreach-call) 0 wit inspect .24 .24 2.5 10   .14  0    true 8.4  4.4  170   400 true 8.4 4.5 130 310 - -
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(unreach-call) 1 wit inspect .26 .26 2.6 10   .14  0    false(unreach-call) 6.6  3.5  140   300 true 11   5.8 120 330 - -
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(unreach-call) 1 wit inspect .29 .41 2.8 19   .15  8.8  false(unreach-call) 5.0  2.7  100   280 false(unreach-call) 11   5.8 120 320 - -
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 2 wit inspect .51 .51 5.9 12   .11  0    - - true 15    8.7  150   540 true 69   37   730 1800
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 2 wit inspect .51 .51 6.0 11   .11  0    - - true 13    7.2  150   530 true 57   31   1100 1700
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 2 wit inspect .50 .50 6.4 12   .12  0    - - true 14    8.1  260   550 true 54   29   690 1500
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 2 wit inspect .52 .52 6.1 12   .11  0    - - true 14    7.4  180   540 true 57   31   1200 1200
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c timeout (timeout) 0 wit inspect 900    900    11000   460   .14  0    - - error (invalid witness file) .56 .36 8.6 41 error (invalid witness file) 6.2 3.3 130 290
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    900    11000   91   .049 0    - - error (invalid witness file) .53 .33 13   42 error (invalid witness file) 5.4 2.9 120 290
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c timeout (timeout) 0 wit inspect 900    900    11000   56   .025 0    - - error (invalid witness file) .52 .34 10   40 error (invalid witness file) 6.3 3.3 110 300
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c timeout (timeout) 0 wit inspect 900    900    8400   280   .14  0    - - error (invalid witness file) .53 .34 13   40 error (invalid witness file) 6.0 3.2 100 310
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c timeout (timeout) 0 wit inspect 900    900    8800   290   .14  0    - - error (invalid witness file) .60 .38 8.5 41 error (invalid witness file) 7.3 3.9 82 300
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c timeout (timeout) 0 wit inspect 900    900    11000   300   .14  0    - - error (invalid witness file) .51 .33 10   44 error (invalid witness file) 7.1 3.7 85 290
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c timeout (timeout) 0 wit inspect 900    900    10000   300   .15  0    - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 7.5 3.9 72 290
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c timeout (timeout) 0 wit inspect 900    900    12000   290   .14  0    - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 5.8 3.1 110 300
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c timeout (timeout) 0 wit inspect 900    900    8300   290   .14  0    - - error (invalid witness file) .59 .38 14   44 error (invalid witness file) 7.4 3.9 88 300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect .18 .18 1.7 9.4 .025 0    false(unreach-call) 4.7  2.6  84   270 true 8.0 4.2 150 330 - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect .20 .20 1.8 9.5 .025 0    false(unreach-call) 5.4  3.0  87   280 true 7.0 3.8 140 320 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .17 .17 1.6 9.3 .012 0    - - true 5.9  3.2  120   290 true 26   13   330 800
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .17 .17 1.6 9.4 .016 0    - - true 5.9  3.2  92   290 true 28   15   410 1400
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .14 .14 1.9 9.3 .025 0    - - true 6.0  3.2  49   300 true 34   19   450 2300
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .15 .14 1.7 9.3 .025 0    - - true 6.5  3.5  77   300 true 49   30   580 3900
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .17 .16 1.5 9.3 .025 0    - - true 6.3  3.4  140   300 true 91   57   920 6300
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .15 .15 1.9 9.4 .025 0    - - true 6.4  3.4  74   300 out of memory 110   71   1000 7000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .17 .17 1.6 9.2 .012 0    - - true 5.3  2.9  76   290 true 11   5.7 190 350
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .14 .14 1.6 9.2 .012 0    - - true 5.0  2.7  68   280 true 12   6.5 220 430
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .18 .18 1.7 9.4 .012 .32 - - true 5.3  2.9  96   290 true 17   8.9 140 530
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .17 .16 1.6 9.4 .012 0    - - true 5.3  2.9  93   290 true 17   8.8 310 560
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect .16 .16 1.9 9.6 .012 0    - - true 5.8  3.1  83   290 true 20   10   410 610
ntdrivers/cdaudio_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 1.0  1.0  12   39   1.0   0    true 29    15    270   650 true 23   12   350 500 - -
ntdrivers/diskperf_false-unreach-call.i.cil.c error 0 wit inspect .63 .62 8.3 31   .48  0    error (invalid witness file) .50 .33 11   39 error (invalid witness file) 6.7 3.5 140 310 - -
ntdrivers/floppy_false-unreach-call.i.cil.c error 0 wit inspect 1.0  1.0  15   56   .86  .13 error (invalid witness file) .58 .37 12   43 error (invalid witness file) 9.6 5.0 110 320 - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect .51 .50 5.8 35   .40  0    true 9.4  5.0  150   320 true 13   7.2 250 430 - -
ntdrivers/parport_false-unreach-call.i.cil.c error 0 wit inspect 1.7  1.7  21   140   1.0   0    error (invalid witness file) .58 .37 10   41 error (invalid witness file) 6.6 3.5 110 300 - -
ntdrivers/cdaudio_true-unreach-call.i.cil.c true 2 wit inspect .97 .96 13   38   1.0   0    - - true 49    31    850   1100 true 180   110   2800 2400
ntdrivers/diskperf_true-unreach-call.i.cil.c error 0 wit inspect .62 .62 7.8 31   .48  0    - - error (invalid witness file) .58 .37 13   41 error (invalid witness file) 6.8 3.5 130 300
ntdrivers/floppy2_true-unreach-call.i.cil.c error 0 wit inspect 2.2  2.2  31   79   2.3   0    - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 9.7 5.1 89 310
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c error 0 wit inspect 1.1  1.0  15   58   .86  0    - - error (invalid witness file) .58 .37 10   44 error (invalid witness file) 6.8 3.6 140 310
ntdrivers/parport_true-unreach-call.i.cil.c error 0 wit inspect 1.7  1.7  19   140   1.0   0    - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 7.4 3.9 130 310
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c error 0 wit inspect .33 .32 4.0 12   .20  0    error (invalid witness file) .57 .38 10   44 error (invalid witness file) 7.2 3.8 84 290 - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c error 0 wit inspect .36 .36 4.1 12   .20  0    error (invalid witness file) .51 .33 11   42 error (invalid witness file) 6.9 3.6 89 290 - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c error 0 wit inspect .37 .37 4.4 12   .20  0    error (invalid witness file) .53 .33 11   41 error (invalid witness file) 7.3 3.9 78 290 - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c error 0 wit inspect .37 .37 4.0 12   .20  0    error (invalid witness file) .50 .32 8.8 40 error (invalid witness file) 5.9 3.1 94 300 - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c error 0 wit inspect .48 .48 5.2 13   .22  0    error (invalid witness file) .59 .37 11   44 error (invalid witness file) 8.4 4.4 93 320 - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c error 0 wit inspect .54 .54 5.8 13   .22  0    error (invalid witness file) .50 .33 11   40 error (invalid witness file) 7.0 3.6 120 300 - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c error 0 wit inspect .49 .48 6.3 13   .22  0    error (invalid witness file) .53 .34 12   40 error (invalid witness file) 7.1 3.7 86 300 - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c error 0 wit inspect .50 .50 6.7 13   .22  0    error (invalid witness file) .55 .34 12   40 error (invalid witness file) 6.2 3.3 97 290 - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c error 0 wit inspect .52 .51 6.6 13   .25  0    error (invalid witness file) .50 .33 12   40 error (invalid witness file) 8.2 4.3 82 310 - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c error 0 wit inspect .49 .48 6.1 13   .23  0    error (invalid witness file) .52 .34 12   41 error (invalid witness file) 7.2 3.8 110 310 - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c error 0 wit inspect .50 .50 5.7 13   .23  0    error (invalid witness file) .57 .37 11   44 error (invalid witness file) 6.2 3.3 120 310 - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c error 0 wit inspect .48 .48 5.8 13   .23  0    error (invalid witness file) .58 .37 9.1 39 error (invalid witness file) 6.5 3.4 110 300 - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c error 0 wit inspect .51 .51 5.5 13   .22  0    error (invalid witness file) .54 .34 12   42 error (invalid witness file) 8.2 4.3 87 300 - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c error 0 wit inspect .51 .51 5.1 13   .23  0    error (invalid witness file) .50 .31 10   40 error (invalid witness file) 6.2 3.3 120 300 - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c error 0 wit inspect .50 .50 5.9 13   .23  0    error (invalid witness file) .53 .34 13   40 error (invalid witness file) 6.5 3.5 95 300 - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c error 0 wit inspect .50 .50 7.5 13   .23  0    error (invalid witness file) .54 .35 11   39 error (invalid witness file) 7.6 3.9 78 300 - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c error 0 wit inspect .51 .51 6.6 13   .23  0    error (invalid witness file) .55 .34 14   41 error (invalid witness file) 8.1 4.3 83 310 - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c error 0 wit inspect .51 .50 6.9 13   .23  0    error (invalid witness file) .57 .37 9.7 39 error (invalid witness file) 7.8 4.1 83 320 - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c error 0 wit inspect .51 .51 5.4 13   .23  0    error (invalid witness file) .50 .32 8.2 40 error (invalid witness file) 7.0 3.7 83 320 - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c error 0 wit inspect .35 .35 3.9 12   .20  0    - - error (invalid witness file) .66 .43 5.7 40 error (invalid witness file) 6.3 3.3 88 290
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c error 0 wit inspect .35 .34 3.8 12   .20  0    - - error (invalid witness file) .52 .35 9.3 40 error (invalid witness file) 6.2 3.3 110 290
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c error 0 wit inspect .39 .52 4.7 21   .20  9.4  - - error (invalid witness file) .51 .33 9.7 43 error (invalid witness file) 6.3 3.3 120 300
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c error 0 wit inspect .35 .35 4.6 12   .20  0    - - error (invalid witness file) .50 .33 10   44 error (invalid witness file) 6.3 3.3 100 300
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c error 0 wit inspect .49 .48 6.1 13   .22  0    - - error (invalid witness file) .52 .35 10   39 error (invalid witness file) 6.9 3.7 120 300
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c error 0 wit inspect .48 .48 6.0 13   .22  0    - - error (invalid witness file) .53 .34 12   41 error (invalid witness file) 6.9 3.6 94 300
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c error 0 wit inspect .49 .49 7.1 13   .25  0    - - error (invalid witness file) .54 .35 10   41 error (invalid witness file) 7.6 4.0 84 310
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c error 0 wit inspect .49 .48 5.6 13   .23  0    - - error (invalid witness file) .54 .35 10   41 error (invalid witness file) 5.3 2.9 120 290
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c error 0 wit inspect .51 .51 6.0 13   .23  0    - - error (invalid witness file) .61 .38 6.8 40 error (invalid witness file) 5.9 3.1 120 300
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c error 0 wit inspect .50 .50 6.5 13   .23  0    - - error (invalid witness file) .58 .38 9.9 42 error (invalid witness file) 6.1 3.2 120 300
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c error 0 wit inspect .53 .53 6.0 13   .22  0    - - error (invalid witness file) .50 .32 8.6 40 error (invalid witness file) 7.3 3.8 87 300
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c error 0 wit inspect .49 .48 5.1 13   .23  .13 - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 7.3 3.9 77 310
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c error 0 wit inspect .51 .50 5.8 13   .23  0    - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 7.4 3.9 91 300
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c error 0 wit inspect .48 .47 6.4 13   .23  0    - - error (invalid witness file) .53 .33 11   39 error (invalid witness file) 6.4 3.4 100 300
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c error 0 wit inspect .51 .50 6.8 13   .23  0    - - error (invalid witness file) .53 .34 14   42 error (invalid witness file) 6.5 3.4 84 300
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c error 0 wit inspect .51 .50 5.0 13   .23  0    - - error (invalid witness file) .46 .30 8.3 40 error (invalid witness file) 6.3 3.3 120 300
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c error 0 wit inspect .52 .51 6.8 13   .23  0    - - error (invalid witness file) .49 .32 8.2 41 error (invalid witness file) 6.1 3.2 63 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 52 8100   8100   92000 4000 22    19    94 350 250 7300 8700   94 370 200 5200 14000   94 670 550 12000 17000   94 1400 800 20000 47000  
    correct results 30 52 8.9 8.9 100 390 3.2  9.1  8 53 28 920 2400   8 80 43 1100 2700   21 650 540 12000 16000   21 1200 690 16000 38000  
        correct true 22 44 6.7 6.6 78 280 2.4  .32 0 0 0 0 0   7 0 0 0 0   21 650 540 12000 16000   21 1200 690 16000 38000  
        correct false 8 8 2.2 2.3 23 100 .85 8.8  8 53 28 920 2400   1 80 43 1100 2700   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 12 0 4.9 4.9 59 200 2.8  0    10 290 220 6100 5300   12 130 72 1900 4200   0 0 0 0 0   0 0 0 0 0  
        correct-unconfirmed true 0
        correct-unconfirmed false 12 0 4.9 4.9 59 200 2.8  0    0 290 220 6100 5300   0 130 72 1900 4200   0 0 0 0 0   0 0 0 0 0  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (94 tasks, max score: 146) 52
Run set sv-comp17.ReachSafety-ControlFlow