Tool ULTIMATE Taipan f7c3ed31
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-14 09:46:18 CET [[ 2017-01-15 02:18:39 CET ]] [[ 2017-01-15 04:12:25 CET ]] [[ 2017-01-15 02:37:40 CET ]] [[ 2017-01-15 04:38:18 CET ]]
Run set sv-comp17.ReachSafety-ControlFlow
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_0946.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) 1 wit inspect 58   15   430 1200 2.6 0      false(unreach-call) 8.2  4.3  97   310 false(unreach-call) 14   7.5 210 520 - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 32   8.1 230 910 2.7 0      error (invalid witness file) 4.4  2.4  77   220 false(unreach-call) 13   6.7 180 470 - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 44   11   350 1000 2.7 0      error (invalid witness file) 4.7  2.5  110   210 false(unreach-call) 13   6.9 180 520 - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 1 wit inspect 17   4.5 120 530 2.6 0      error (invalid witness file) 4.3  2.3  76   240 false(unreach-call) 11   5.9 110 440 - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   710   13000 3700 2.3 0      - - error (invalid witness file) .52 .32 12   39 error (invalid witness file) 6.5 3.4 110 300
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   710   12000 3900 2.3 0      - - error (invalid witness file) .66 .42 5.9 40 error (invalid witness file) 6.0 3.2 130 290
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   710   11000 4400 2.3 0      - - error (invalid witness file) .53 .35 12   39 error (invalid witness file) 6.1 3.2 88 300
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   710   11000 4400 2.3 0      - - error (invalid witness file) .54 .34 12   42 error (invalid witness file) 6.2 3.3 120 300
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 17   5.1 130 550 2.7 0      - - true 9.1  4.8  130   340 true 26   14   350 570
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 16   4.6 120 510 2.8 0      - - true 11    5.8  130   350 true 21   11   320 570
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 13   3.6 100 570 2.8 0      true 6.5  3.4  66   290 false(unreach-call) 12   6.1 200 470 - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(unreach-call) 1 wit inspect 15   3.8 120 600 2.8 0      true 7.4  3.9  84   320 false(unreach-call) 12   6.4 190 490 - -
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 16   4.1 100 600 2.8 0      true 8.0  4.2  140   320 false(unreach-call) 12   6.5 210 520 - -
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 14   3.9 120 540 2.8 0      true 6.8  3.6  120   290 false(unreach-call) 12   6.3 170 480 - -
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 10   3.0 81 480 3.0 0      true 8.7  4.6  78   290 false(unreach-call) 9.7 5.3 150 380 - -
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c timeout 0 wit inspect 900   720   11000 4500 2.3 0      error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.3 3.3 90 310 - -
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 26   6.8 210 830 2.8 0      true 14    7.5  150   450 false(unreach-call) 14   7.6 190 560 - -
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 20   5.3 170 620 3.0 0      true 10    5.3  130   440 false(unreach-call) 14   7.3 260 530 - -
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c timeout 0 wit inspect 900   720   13000 2300 2.3 0      error (invalid witness file) .55 .36 12   42 error (invalid witness file) 6.1 3.2 120 310 - -
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 15   4.1 120 580 2.8 0      true 8.6  4.5  79   320 false(unreach-call) 13   6.6 180 520 - -
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 16   4.3 120 560 2.8 0      true 8.4  4.4  110   310 false(unreach-call) 12   6.6 210 510 - -
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(unreach-call) 1 wit inspect 6.7 2.1 51 330 2.6 0      false(unreach-call) 6.9  3.8  76   290 false(unreach-call) 11   5.6 180 370 - -
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 2 wit inspect 160   110   1700 4900 2.7 0      - - true 16    9.1  270   540 true 51   28   860 1600
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 2 wit inspect 240   160   2700 5000 2.7 0      - - true 14    7.7  220   540 true 55   30   590 1600
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 2 wit inspect 290   210   3200 5200 2.7 0      - - true 17    9.6  270   560 true 56   30   660 1500
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 2 wit inspect 200   130   2000 5000 2.7 0      - - true 14    8.0  170   540 true 62   33   740 1600
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c timeout 0 wit inspect 900   720   12000 4500 2.3 0      - - error (invalid witness file) .66 .42 8.1 44 error (invalid witness file) 5.3 2.9 64 290
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c true 2 wit inspect 7.9 2.4 62 420 2.7 0      - - true 11    5.7  120   330 true 22   12   270 550
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 2 wit inspect 7.1 2.2 54 330 2.5 0      - - true 6.1  3.3  81   290 true 11   5.9 180 360
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c timeout 0 wit inspect 900   710   10000 4700 2.3 0      - - error (invalid witness file) .62 .39 8.2 40 error (invalid witness file) 6.2 3.2 110 300
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c timeout 0 wit inspect 900   720   12000 4500 2.3 0      - - error (invalid witness file) .70 .45 5.5 40 error (invalid witness file) 5.4 2.9 42 290
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c true 2 wit inspect 120   57   1200 4800 2.7 0      - - timeout 910    890    16000   5000 true 55   29   560 1100
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c timeout 0 wit inspect 900   720   14000 4600 2.3 0      - - error (invalid witness file) .61 .39 12   44 error (invalid witness file) 5.6 3.0 100 290
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c true 2 wit inspect 120   65   1500 4800 2.7 0      - - timeout 910    890    16000   4900 true 55   29   710 1100
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c timeout 0 wit inspect 900   720   14000 4500 2.3 0      - - error (invalid witness file) .60 .39 9.4 40 error (invalid witness file) 5.4 2.9 94 290
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect 7.6 2.2 63 370 2.6 0      true 4.5  2.5  65   280 false(unreach-call) 9.6 5.1 170 360 - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 1 wit inspect 7.1 2.3 55 350 2.6 0      true 4.4  2.4  52   290 false(unreach-call) 9.8 5.2 180 350 - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 20   5.5 170 950 2.6 0      - - true 7.0  3.8  110   300 true 24   12   300 800
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 26   8.8 210 1700 2.6 0      - - true 9.6  5.1  67   320 true 25   14   400 1200
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 35   15   280 2700 2.6 .0082 - - true 8.9  4.8  90   310 true 31   17   280 2000
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 58   27   480 5000 2.6 0      - - true 7.8  4.2  120   310 true 39   24   330 3600
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 140   60   1100 6700 2.9 0      - - true 6.7  3.6  130   300 true 77   49   1100 6000
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 310   130   2100 8200 2.6 0      - - true 9.4  5.0  97   310 out of memory 130   77   1500 7000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 8.3 2.2 64 400 2.6 0      - - true 6.5  3.5  70   290 true 9.7 5.3 160 350
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 8.2 2.4 66 450 2.6 0      - - true 5.9  3.2  86   290 true 13   6.7 160 400
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 9.6 2.7 82 520 2.6 0      - - true 5.9  3.2  110   290 true 14   7.3 200 490
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 12   3.4 86 540 2.6 0      - - true 6.6  3.6  87   290 true 16   8.2 230 590
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 15   3.9 100 600 2.6 0      - - true 7.4  3.9  83   300 true 19   9.9 320 620
ntdrivers/cdaudio_false-unreach-call.i.cil.c timeout 0 wit inspect 900   750   13000 5400 2.3 0      error (invalid witness file) .48 .31 9.1 41 error (invalid witness file) 7.0 3.7 140 310 - -
ntdrivers/diskperf_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 17   4.6 120 560 2.6 0      exception 5.0  2.6  37   220 false(unreach-call) 15   8.2 250 530 - -
ntdrivers/floppy_false-unreach-call.i.cil.c false(unreach-call) 0 wit inspect 140   97   1100 4800 2.6 0      exception 8.4  4.4  88   290 timeout 97   72   880 3500 - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c timeout 0 wit inspect 900   840   7400 1900 2.3 0      error (invalid witness file) .65 .42 5.3 41 error (invalid witness file) 6.0 3.2 120 290 - -
ntdrivers/parport_false-unreach-call.i.cil.c unknown 0 wit inspect 94   44   820 1100 2.6 0      error (invalid witness file) .49 .32 8.7 39 error (invalid witness file) 6.9 3.6 100 310 - -
ntdrivers/cdaudio_true-unreach-call.i.cil.c true 2 wit inspect 190   95   1800 3900 3.6 0      - - true 55    34    710   1000 true 150   95   1900 2500
ntdrivers/diskperf_true-unreach-call.i.cil.c true 2 wit inspect 110   48   1100 2700 3.0 0      - - out of memory 590    580    11000   7000 true 98   58   920 1400
ntdrivers/floppy2_true-unreach-call.i.cil.c true 1 wit inspect 360   220   3300 8200 9.2 0      - - out of memory 320    300    7900   7000 out of memory 220   140   3500 7000
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c true 1 wit inspect 320   180   3100 8600 3.8 0      - - out of memory 520    500    9800   7000 out of memory 160   100   2300 7000
ntdrivers/parport_true-unreach-call.i.cil.c true 2 wit inspect 240   150   2600 4700 5.1 0      - - out of memory 470    380    9300   7000 true 220   160   2900 4700
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c timeout 0 wit inspect 900   850   12000 2400 2.5 0      error (invalid witness file) .50 .33 8.1 41 error (invalid witness file) 6.5 3.4 110 300 - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 95   64   850 790 2.6 0      true 6.2  3.3  99   280 false(unreach-call) 34   20   500 590 - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 97   67   890 830 2.6 0      true 7.3  3.9  160   300 false(unreach-call) 32   19   330 560 - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 110   72   1000 830 2.8 0      true 6.4  3.4  110   280 false(unreach-call) 33   19   370 560 - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 30   11   260 540 3.0 0      error (invalid witness file) 4.6  2.4  79   220 false(unreach-call) 31   17   360 540 - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 27   9.4 220 560 2.7 0      true 8.0  4.2  100   300 false(unreach-call) 32   17   400 540 - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 27   9.4 230 580 2.7 0      true 9.5  5.0  110   290 false(unreach-call) 31   17   400 530 - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 28   9.7 240 570 2.7 0      true 8.7  4.6  120   310 false(unreach-call) 32   17   360 560 - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c timeout 0 wit inspect 900   760   10000 3300 2.5 0      error (invalid witness file) .51 .34 9.2 39 error (invalid witness file) 6.3 3.3 120 300 - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c timeout 0 wit inspect 900   810   10000 4700 2.5 0      error (invalid witness file) .50 .32 9.6 40 error (invalid witness file) 6.0 3.2 130 300 - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c timeout 0 wit inspect 900   750   12000 5300 2.3 0      error (invalid witness file) .55 .35 11   42 error (invalid witness file) 6.1 3.2 120 300 - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c timeout 0 wit inspect 900   810   12000 4800 2.5 0      error (invalid witness file) .49 .31 9.4 39 error (invalid witness file) 6.4 3.4 94 300 - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c timeout 0 wit inspect 900   750   12000 4100 2.3 0      error (invalid witness file) .52 .33 11   41 error (invalid witness file) 6.0 3.2 130 300 - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c false(unreach-call) 1 wit inspect 68   46   580 700 2.6 0      true 8.2  4.3  86   300 false(unreach-call) 53   39   450 670 - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c timeout 0 wit inspect 900   760   11000 3800 2.5 0      error (invalid witness file) .55 .36 10   40 error (invalid witness file) 6.4 3.4 120 310 - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c timeout 0 wit inspect 900   800   11000 4800 2.5 0      error (invalid witness file) .50 .33 11   39 error (invalid witness file) 5.8 3.2 110 290 - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c timeout 0 wit inspect 900   760   12000 3600 2.5 0      error (invalid witness file) .49 .32 9.4 39 error (invalid witness file) 6.3 3.3 120 300 - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c timeout 0 wit inspect 900   760   12000 5300 2.3 0      error (invalid witness file) .47 .31 6.2 39 error (invalid witness file) 6.4 3.4 130 290 - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c timeout 0 wit inspect 900   760   11000 3900 2.5 0      error (invalid witness file) .49 .33 11   39 error (invalid witness file) 6.2 3.3 110 290 - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c timeout 0 wit inspect 900   820   12000 2700 2.5 0      - - error (invalid witness file) .52 .33 9.5 39 error (invalid witness file) 6.8 3.6 98 300
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c timeout 0 wit inspect 900   830   11000 3800 2.5 0      - - error (invalid witness file) .51 .32 13   39 error (invalid witness file) 6.1 3.3 100 300
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c timeout 0 wit inspect 900   830   11000 2900 2.5 0      - - error (invalid witness file) .68 .43 7.8 39 error (invalid witness file) 6.3 3.3 93 300
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c timeout 0 wit inspect 900   820   11000 2800 2.5 0      - - error (invalid witness file) .57 .38 8.7 40 error (invalid witness file) 6.3 3.3 110 300
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c timeout 0 wit inspect 900   780   12000 5200 2.3 0      - - error (invalid witness file) .68 .42 8.7 40 error (invalid witness file) 7.1 3.7 120 310
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c timeout 0 wit inspect 900   780   11000 5200 2.3 0      - - error (invalid witness file) .63 .40 8.7 40 error (invalid witness file) 6.0 3.2 95 300
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c timeout 0 wit inspect 900   790   11000 5400 2.3 0      - - error (invalid witness file) .64 .40 8.1 39 error (invalid witness file) 6.0 3.2 72 300
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c timeout 0 wit inspect 900   780   11000 5100 2.3 0      - - error (invalid witness file) .69 .44 8.7 41 error (invalid witness file) 6.4 3.4 130 300
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c timeout 0 wit inspect 900   720   11000 7400 2.3 0      - - error (invalid witness file) .68 .43 7.2 40 error (invalid witness file) 6.1 3.2 97 300
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c timeout 0 wit inspect 900   810   11000 5100 2.3 0      - - error (invalid witness file) .65 .43 8.3 40 error (invalid witness file) 6.7 3.5 120 310
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c timeout 0 wit inspect 900   790   13000 5300 2.3 0      - - error (invalid witness file) .64 .40 9.6 40 error (invalid witness file) 6.4 3.4 110 310
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c timeout 0 wit inspect 900   780   12000 5400 2.3 0      - - error (invalid witness file) .62 .39 11   43 error (invalid witness file) 5.9 3.3 120 300
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c timeout 0 wit inspect 900   780   12000 5300 2.3 0      - - error (invalid witness file) .50 .33 10   40 error (invalid witness file) 6.3 3.3 98 300
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c timeout 0 wit inspect 900   780   13000 5300 2.3 0      - - error (invalid witness file) .71 .45 8.0 40 error (invalid witness file) 6.1 3.3 65 300
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c timeout 0 wit inspect 900   780   10000 5400 2.3 0      - - error (invalid witness file) .49 .33 12   40 error (invalid witness file) 6.5 3.4 110 300
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c timeout 0 wit inspect 900   770   12000 5400 2.3 0      - - error (invalid witness file) .51 .32 9.2 40 error (invalid witness file) 6.6 3.5 86 300
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c timeout 0 wit inspect 900   790   12000 5400 2.3 0      - - error (invalid witness file) .65 .41 9.2 43 error (invalid witness file) 6.2 3.3 96 300
../../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 75 41000 34000 510000 290000 250   .0082 94 200   110   2700 8300   94 680 400 9100 21000   94 4000 3700 74000 47000   94 1800 1100 24000 64000  
    correct results 49 73 3200 1700 30000 87000 140   .0082 20 180   96   2400 7400   25 490 270 6400 13000   20 3100 2900 56000 32000   23 1300 760 16000 42000  
        correct true 24 48 2400 1300 23000 71000 67   .0082 18 0   0   0 0   0 0 0 0 0   20 3100 2900 56000 32000   23 1300 760 16000 42000  
        correct false 25 25 810 380 6900 16000 68   0      2 180   96   2400 7400   25 490 270 6400 13000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 3 2 820 500 7400 22000 16   0      0 8.4 4.4 88 290   0 97 72 880 3500   0 840 790 18000 14000   0 380 250 5800 14000  
        correct-unconfirmed true 2 2 690 400 6400 17000 13   0      0 0   0   0 0   0 0 0 0 0   0 840 790 18000 14000   0 380 250 5800 14000  
        correct-unconfirmed false 1 0 140 97 1100 4800 2.6 0      0 8.4 4.4 88 290   0 97 72 880 3500   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) 75
Run set sv-comp17.ReachSafety-ControlFlow