Tool 2LS 0.7.2-sv-comp19 CBMC CBMC Path 5.10 () CPAchecker 1.7-svn 29794 CPAchecker 1.7-svn 29852 DepthK 3.1 DIVINE ESBMC version 6.0.0 64-bit x86_64 linux PeSCo 1.7-svn b8d6131600+ SMACK 1.9.3 symbiotic 6.0.3-77d4af47 ULTIMATE Automizer 0.1.23-635dfa2a ULTIMATE Kojak 0.1.23-635dfa2a ULTIMATE Taipan 0.1.23-635dfa2a VeriAbs 1.3.10
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:44:17 CET 2018-12-04 22:48:40 CET 2018-12-04 22:45:10 CET 2018-12-04 22:41:10 CET 2018-12-05 05:46:16 CET 2018-12-05 09:36:33 CET 2018-12-10 10:00:20 CET 2018-12-06 11:06:04 CET 2018-12-06 11:03:31 CET 2018-12-06 12:44:04 CET 2018-12-07 19:13:55 CET 2018-12-07 21:42:05 CET 2018-12-08 07:42:40 CET 2018-12-08 11:04:44 CET 2018-12-08 14:19:36 CET 2018-12-10 16:50:17 CET
Run set 2ls.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows cbmc.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows cbmc-path.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows cpa-bam-bnb.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows cpa-seq.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows depthk.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows divine-explicit.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows divine-smt.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows esbmc-kind.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows pesco.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows smack.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows symbiotic.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows uautomizer.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows ukojak.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows utaipan.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows veriabs.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows
Options --graphml-witness witness.graphml --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp19-bam-bnb -disable-java-assertions -heap 10000m -svcomp19 -heap 10000M -benchmark -timelimit 900s --no-symbolic -s kinduction -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s -w error-witness.graphml --witness witness.graphml --full-output --full-output --full-output
../sv-benchmarks/c/busybox-1.22.0/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
chgrp-incomplete_false-no-overflow.i error (134) .30 37 3.2 0 error (134) .23 12 2.9 0 error (134) .20 18 2.2 0 error (1) .52 44 5.2 0 timeout 900   1700 7600 0 unknown 900 800 11000 0 unknown .033 4.6 .22 0 unknown .029 4.7 .19 0 unknown 3.0 140 45 0 timeout 900   1700 6200 0 disqualified 880 670 8000 0 timeout (verification) 900    140 8200   0 unknown 8.4 350 70 0 unknown 7.6 320 58 0 unknown 8.3 360 67 0 unknown .023 7.5 .16  0
chroot-incomplete_false-no-overflow.i error (134) .46 38 4.8 0 error (134) .28 14 3.6 0 error (134) .97 68 12   0 error (1) .50 42 5.0 0 timeout 900   1300 5900 0 unknown 900 1700 9200 0 unknown .037 4.8 .15 0 unknown .031 4.6 .20 0 unknown 3.0 150 46 0 timeout 900   1300 6800 0 disqualified 880 690 7100 0 timeout (verification) 900    59 11000   0 unknown 8.5 350 62 0 unknown 9.2 350 74 0 unknown 8.6 330 69 0 unknown .023 7.4 .14  0
cut_false-no-overflow.i error (134) 10    50 91   0 error (134) 5.8  76 69   0 error (134) .79 75 9.4 0 error (1) .49 43 5.1 0 timeout 900   6700 11000 0 out of memory 22 15000 270 0 unknown .046 4.6 .19 0 unknown .055 4.6 .20 0 out of memory 22   15000 270 0 timeout 910   6800 13000 0 disqualified 880 730 6600 0 error(unknown, slicing-finished) 1.7  81 17   0 unknown 8.6 350 66 0 unknown 9.1 330 65 0 unknown 9.2 350 77 0 unknown .022 7.5 .097 0
date_false-no-overflow.i error (6) .43 48 3.7 0 error (134) 2.4  120 28   0 error (134) .71 55 8.4 0 error (1) .53 42 7.8 0 timeout 900   3400 11000 0 out of memory 22 15000 340 0 unknown .031 4.6 .19 0 unknown .030 4.6 .18 0 out of memory 22   15000 250 0 timeout 900   3600 12000 0 disqualified 880 4000 11000 0 error(unknown, slicing-finished) 2.9  170 25   0 unknown 9.2 370 71 0 unknown 9.3 360 75 0 unknown 9.3 350 74 0 unknown .024 7.6 .087 0
du_false-no-overflow.i error (134) 5.8  46 54   0 error (134) 52    200 480   0 error (134) .48 39 5.7 0 error (1) .53 44 5.4 0 timeout 900   3300 11000 0 out of memory 23 15000 310 0 unknown .028 4.7 .18 0 unknown .029 4.6 .21 0 out of memory 22   15000 290 0 timeout 900   3500 11000 0 disqualified 880 3700 11000 0 error(unknown, slicing-finished) 3.1  120 20   0 unknown 8.8 320 67 0 unknown 9.4 360 76 0 unknown 8.8 350 72 0 unknown .022 7.9 .090 0
echo_false-no-overflow.i error (134) .41 38 5.3 0 error (42) 880    3100 5700   0 error (134) .66 86 7.9 0 error (1) .52 42 4.7 0 timeout 910   850 13000 0 unknown 900 1600 9700 0 unknown .028 4.7 .19 0 unknown .031 4.6 .21 0 unknown 4.2 240 66 0 timeout 910   870 7900 0 disqualified 880 570 6900 0 timeout (verification) 900    460 6600   0 unknown 8.1 340 64 0 unknown 8.4 330 67 0 unknown 8.5 360 73 0 unknown .021 7.5 .11  0
expand_false-no-overflow.i error (134) 24    71 190   0 error (134) 29    200 420   0 error (134) .38 33 4.4 0 error (1) .52 42 4.6 0 timeout 910   6400 12000 0 out of memory 22 15000 290 0 unknown .055 4.7 .16 0 unknown .028 4.5 .25 0 out of memory 22   15000 270 0 timeout 910   6600 12000 0 disqualified 880 840 6700 0 error(unknown, slicing-finished) 2.9  100 21   0 unknown 8.8 360 73 0 unknown 9.0 360 75 0 unknown 8.9 330 67 0 unknown .031 7.7 .13  0
fold_false-no-overflow.i error (134) 4.7  42 32   0 error (134) 2.9  45 37   0 error (134) .35 29 3.8 0 error (1) .51 44 4.9 0 timeout 900   810 10000 0 out of memory 22 15000 270 0 unknown .037 4.6 .26 0 unknown .032 4.6 .17 0 out of memory 22   15000 280 0 timeout 900   830 11000 0 disqualified 880 690 8900 0 error(unknown, slicing-finished) 1.1  60 13   0 unknown 9.1 350 75 0 unknown 8.9 350 68 0 unknown 9.1 370 71 0 unknown .021 7.1 .11  0
head_false-no-overflow.i error (6) .37 40 4.1 0 error (134) 2.9  48 37   0 error (134) .59 51 7.0 0 error (1) .51 42 5.2 0 timeout 900   1200 5800 0 out of memory 22 15000 270 0 unknown .036 4.6 .21 0 unknown .052 4.6 .17 0 out of memory 22   15000 290 0 timeout 900   1200 5700 0 disqualified 880 490 8700 0 error(unknown, slicing-finished) .63 54 7.1 0 unknown 9.2 350 67 0 unknown 8.7 330 73 0 unknown 8.1 320 61 0 unknown .024 7.7 .083 0
logname_false-no-overflow.i error (134) .28 37 2.8 0 error (134) .20 13 2.5 0 error (134) .21 18 2.3 0 error (1) .51 42 5.4 0 timeout 900   1400 6000 0 witness invalid (false(no-overflow)) 190 640 2500 0 unknown .028 4.6 .22 0 unknown .028 4.6 .19 0 unknown 3.0 150 39 0 timeout 900   1400 7500 0 disqualified 880 660 7200 0 timeout (verification) 900    51 13000   0 unknown 9.0 350 63 0 unknown 8.5 350 77 0 unknown 8.6 350 74 0 unknown .021 7.6 .16  0
ls-incomplete_false-no-overflow.i error (134) 190    180 1500   0 error (134) 2.6  45 38   0 error (134) 1.1  120 13   0 error (1) .49 43 5.2 0 timeout 910   3100 13000 0 out of memory 22 15000 260 0 unknown .042 4.7 .22 0 unknown .026 4.6 .20 0 out of memory 22   15000 310 0 timeout 900   3200 12000 0 disqualified 880 3900 10000 0 error(unknown, slicing-finished) 19    310 100   0 error (7) 9.9 340 88 0 error (7) 10   350 79 0 error (7) 10   370 92 0 unknown .018 7.5 .15  0
mkdir_false-no-overflow.i error (134) 2.2  44 19   0 error 880    1600 4800   0 error (134) .54 33 7.5 0 error (1) .53 43 5.3 0 timeout 910   6700 12000 0 out of memory 22 15000 270 0 unknown .032 4.6 .20 0 unknown .026 4.6 .25 0 out of memory 22   15000 250 0 timeout 900   6900 11000 0 disqualified 880 670 6400 0 error(unknown, slicing-finished) 1.2  81 16   0 unknown 8.9 350 82 0 unknown 9.0 340 74 0 unknown 9.4 360 78 0 unknown .024 7.7 .11  0
mkfifo-incomplete_false-no-overflow.i error (134) .31 36 2.0 0 error (134) .23 12 2.4 0 error (134) .20 16 2.0 0 error (1) .50 43 5.0 0 false(no-overflow) 68   720 660 0 unknown 900 2000 11000 0 unknown .046 4.6 .18 0 unknown .027 4.6 .27 0 unknown 3.0 140 39 0 false(no-overflow) 68   730 660 0 disqualified 880 680 7500 0 timeout (verification) 900    52 11000   0 unknown 7.9 350 64 0 unknown 8.6 360 74 0 unknown 8.5 360 63 0 unknown .025 7.6 .098 0
od_false-no-overflow.i error (134) 540    340 5500   0 error 880    740 4800   0 error (134) .79 61 8.2 0 error (1) .47 41 4.8 0 timeout 900   6600 13000 0 out of memory 22 15000 280 0 unknown .028 4.6 .25 0 unknown .031 4.6 .16 0 out of memory 22   15000 250 0 timeout 910   6900 11000 0 disqualified 880 1100 6100 0 error(unknown, slicing-finished) 13    350 68   0 unknown 8.9 330 77 0 unknown 10   360 89 0 unknown 10   350 76 0 unknown .027 7.6 .099 0
printf_false-no-overflow.i error (6) .48 43 5.1 0 error (134) 18    98 230   0 error (134) .25 24 2.8 0 error (1) .54 43 5.4 0 timeout 900   1200 6700 0 unknown 900 4000 7100 0 unknown .027 4.6 .27 0 unknown .054 4.6 .14 0 unknown 3.0 150 35 0 timeout 900   1200 5800 0 disqualified 880 490 8500 0 error(returned 1, before-instr) .27 17 3.4 0 unknown 8.2 330 65 0 unknown 9.2 360 71 0 unknown 8.8 360 76 0 unknown .023 7.5 .12  0
readlink_false-no-overflow.i error (134) 2.1  41 26   0 error (134) .64 24 7.5 0 error (134) .84 69 11   0 error (1) .49 42 5.0 0 timeout 910   7000 12000 0 out of memory 23 15000 270 0 unknown .030 4.6 .20 0 unknown .030 4.6 .20 0 out of memory 22   15000 280 0 timeout 910   6900 12000 0 disqualified 880 690 6800 0 error(unknown, slicing-finished) .95 54 9.1 0 unknown 8.1 320 73 0 unknown 8.5 330 76 0 unknown 8.6 360 70 0 unknown .022 7.6 .092 0
realpath_false-no-overflow.i error (134) .30 37 2.4 0 error (134) .23 13 2.9 0 error (134) .95 61 11   0 error (1) .50 42 5.2 0 timeout 900   1300 6800 0 unknown 900 2100 7800 0 unknown .035 4.6 .14 0 unknown .033 4.8 .27 0 unknown 3.0 140 38 0 timeout 900   1400 8500 0 disqualified 880 680 8100 0 timeout (verification) 900    72 13000   0 unknown 8.0 350 69 0 unknown 8.5 360 69 0 unknown 8.5 330 70 0 unknown .021 7.3 .12  0
rm_false-no-overflow.i error (134) 5.2  45 41   0 error (134) 880    310 10000   0 error (134) .71 70 9.1 0 error (1) .51 42 6.0 0 timeout 910   6600 12000 0 out of memory 22 15000 260 0 unknown .030 4.5 .17 0 unknown .026 4.7 .24 0 out of memory 22   15000 260 0 timeout 900   6600 13000 0 disqualified 880 690 7700 0 error(unknown, slicing-finished) 1.9  110 16   0 unknown 8.9 360 70 0 unknown 8.5 330 68 0 unknown 9.1 360 78 0 unknown .022 7.8 .17  0
seq_false-no-overflow.i error (134) 1.1  41 12   0 error (134) .52 16 7.3 0 error (134) .47 30 5.8 0 error (1) .51 43 5.2 0 timeout 900   7100 11000 0 out of memory 22 15000 280 0 unknown .029 4.6 .27 0 unknown .055 4.6 .18 0 out of memory 22   15000 280 0 timeout 900   6900 12000 0 disqualified 880 680 9900 0 error(returned 1, before-instr) .27 18 2.8 0 unknown 8.5 340 67 0 unknown 8.6 360 72 0 unknown 9.1 360 80 0 unknown .021 7.6 .099 0
sleep_false-no-overflow.i error (134) .73 38 8.2 0 error (134) .69 24 9.6 0 error (134) .71 85 9.8 0 error (1) .51 43 5.1 0 unknown 7.9 340 72 0 unknown 890 670 9900 0 unknown .029 4.6 .21 0 unknown .027 4.6 .17 0 unknown 3.5 170 52 0 unknown 8.1 340 77 0 disqualified 880 490 8000 0 error(returned 1, before-instr) .25 17 3.1 0 unknown 8.0 340 69 0 unknown 8.9 360 74 0 unknown 8.7 360 67 0 unknown .035 7.7 .12  0
stty_false-no-overflow.i error (134) 47    110 500   0 error (134) 57    160 640   0 error (134) 3.4  180 46   0 error (1) .54 44 5.0 0 timeout 900   2200 11000 0 out of memory 23 15000 260 0 unknown .031 4.6 .16 0 unknown .046 4.6 .15 0 out of memory 22   15000 260 0 timeout 900   2200 11000 0 disqualified 880 1400 5800 0 timeout (verification) 900    170 11000   0 unknown 9.4 360 79 0 unknown 9.3 340 78 0 unknown 10   380 83 0 unknown .024 7.8 .070 0
sync_false-no-overflow.i error (134) .27 35 2.5 0 error (134) .16 10 1.7 0 error (134) .27 16 2.8 0 error (1) .48 42 4.6 0 unknown 57   490 590 0 unknown 900 840 13000 0 unknown .031 4.6 .23 0 unknown .030 4.6 .28 0 unknown 3.0 140 41 0 unknown 55   610 580 0 disqualified 880 690 7000 0 timeout (verification) 900    130 7600   0 unknown 9.5 360 64 0 unknown 8.5 360 70 0 unknown 8.7 350 72 0 unknown .019 7.5 .14  0
tac_false-no-overflow.i error (134) 4.9  41 33   0 error (134) 2.1  39 24   0 error (134) .69 55 10   0 error (1) .49 43 4.8 0 timeout 910   6800 13000 0 out of memory 22 15000 260 0 unknown .031 4.6 .21 0 unknown .026 4.6 .26 0 out of memory 22   15000 330 0 timeout 900   6900 10000 0 disqualified 880 800 9300 0 error(unknown, slicing-finished) .80 46 9.5 0 unknown 8.4 330 68 0 unknown 8.9 340 73 0 unknown 9.3 350 76 0 unknown .016 7.2 .089 0
tee_false-no-overflow.i error (6) .33 41 3.1 0 error (134) .87 27 12   0 error (134) 1.3  110 17   0 error (1) .50 41 4.5 0 timeout 900   3500 9400 0 out of memory 22 15000 300 0 unknown .029 4.6 .21 0 unknown .034 4.6 .20 0 out of memory 22   15000 290 0 timeout 900   3700 12000 0 disqualified 880 3700 11000 0 error(unknown, slicing-finished) .78 48 9.4 0 unknown 7.7 330 67 0 unknown 8.7 360 69 0 unknown 8.6 340 70 0 unknown .023 7.8 .072 0
test-incomplete_false-no-overflow.i error (134) 23    68 220   0 error 880    670 6100   0 error (134) 2.8  170 37   0 error (1) .51 43 5.6 0 exception 33   590 360 0 unknown 900 15000 7800 0 unknown .038 4.6 .15 0 unknown .030 4.6 .21 0 unknown 3.3 170 41 0 exception 32   570 430 0 disqualified 880 580 8700 0 error(unknown, slicing-finished) .83 60 8.6 0 unknown 9.3 360 78 0 unknown 9.0 360 65 0 unknown 8.4 350 71 0 unknown .025 7.6 .11  0
touch_false-no-overflow.i error (134) 4.5  46 40   0 error (134) 2.2  110 28   0 error (134) .60 35 7.3 0 error (1) .53 44 5.5 0 timeout 910   6600 11000 0 out of memory 22 15000 320 0 unknown .029 4.6 .19 0 unknown .026 4.6 .37 0 out of memory 22   15000 240 0 timeout 910   6700 13000 0 disqualified 880 700 7400 0 error(unknown, slicing-finished) 1.6  120 19   0 unknown 9.2 370 79 0 unknown 8.3 340 67 0 unknown 9.2 350 82 0 unknown .022 7.6 .17  0
uname_false-no-overflow.i error (134) 1.1  42 14   0 error (134) .81 120 9.8 0 error (134) .52 32 7.7 0 error (1) .51 42 4.7 0 timeout 910   6500 12000 0 out of memory 22 15000 300 0 unknown .025 4.6 .23 0 unknown .048 4.6 .30 0 out of memory 22   15000 270 0 timeout 910   6800 13000 0 disqualified 880 630 8400 0 error(unknown, slicing-finished) .77 49 9.1 0 unknown 8.5 350 68 0 unknown 8.6 350 76 0 unknown 8.7 360 73 0 unknown .024 7.6 .092 0
uniq_false-no-overflow.i error (134) 4.4  42 37   0 error (134) 1.6  34 25   0 error (134) .71 77 9.3 0 error (1) .53 43 5.0 0 timeout 900   6900 11000 0 out of memory 22 15000 250 0 unknown .030 4.7 .17 0 unknown .033 4.7 .26 0 out of memory 22   15000 260 0 timeout 910   6900 14000 0 disqualified 880 710 7200 0 error(unknown, slicing-finished) 1.3  73 14   0 unknown 8.7 340 64 0 unknown 8.6 360 77 0 unknown 8.7 340 70 0 unknown .022 7.8 .13  0
usleep_false-no-overflow.i error (134) .41 37 4.1 0 error (134) .18 12 2.2 0 error (134) .58 39 7.9 0 error (1) .51 41 4.9 0 timeout 900   1400 6000 0 unknown 900 760 11000 0 unknown .029 4.6 .18 0 unknown .027 4.6 .26 0 unknown 3.4 180 50 0 timeout 900   1400 5200 0 disqualified 880 480 6400 0 timeout (verification) 900    140 8500   0 unknown 8.5 360 69 0 unknown 8.4 330 64 0 unknown 8.5 340 65 0 unknown .023 8.0 .092 0
uudecode_false-no-overflow.i error (134) 9.1  46 55   0 error (134) 5.0  77 80   0 error (134) 2.0  210 25   0 error (1) .51 42 5.3 0 error (parsing failed) 3.2 220 26 0 out of memory 22 15000 270 0 unknown .034 4.6 .21 0 unknown .033 4.6 .26 0 out of memory 22   15000 250 0 error (parsing failed) 3.3 230 29 0 disqualified 880 810 6400 0 error(unknown, slicing-finished) 1.9  100 20   0 unknown 9.4 360 72 0 unknown 9.2 370 79 0 unknown 8.8 370 67 0 unknown .046 7.4 .075 0
wc_false-no-overflow.i error (6) .34 42 3.4 0 error 880    620 7800   0 error (134) .28 23 4.3 0 error (1) .54 44 5.0 0 timeout 910   6300 11000 0 out of memory 22 15000 260 0 unknown .030 4.6 .25 0 unknown .027 4.6 .20 0 out of memory 22   15000 290 0 timeout 910   6200 12000 0 disqualified 880 1100 9400 0 error(unknown, slicing-finished) .89 58 9.9 0 unknown 9.1 350 63 0 unknown 8.6 320 65 0 unknown 8.3 350 78 0 unknown .021 7.2 .12  0
who_false-no-overflow.i error (134) 1.3  42 12   0 error (134) .57 22 7.1 0 error (134) .76 67 9.5 0 error (1) .52 43 5.5 0 timeout 910   6900 11000 0 out of memory 22 15000 300 0 unknown .059 4.5 .26 0 unknown .029 4.6 .19 0 out of memory 22   15000 280 0 timeout 910   7000 13000 0 disqualified 880 670 7900 0 error(unknown, slicing-finished) 1.0  58 12   0 unknown 8.2 350 72 0 unknown 8.6 320 66 0 unknown 9.2 340 76 0 unknown .020 7.8 .11  0
whoami-incomplete_false-no-overflow.i error (134) .30 37 3.2 0 error (134) .18 11 2.3 0 error (134) .28 27 3.1 0 error (1) .54 43 5.1 0 timeout 900   950 6100 0 unknown 900 1000 11000 0 unknown .040 4.6 .15 0 unknown .025 4.6 .21 0 unknown 3.0 140 39 0 timeout 900   1100 6700 0 disqualified 880 480 9800 0 timeout (verification) 900    130 7500   0 unknown 7.2 330 65 0 unknown 8.6 340 73 0 unknown 8.4 360 72 0 unknown .021 7.9 .10  0
yes_false-no-overflow.i error (134) .29 37 3.2 0 error (134) .18 12 2.3 0 error (134) .57 80 7.2 0 error (1) .53 42 4.3 0 timeout 900   1200 6700 0 witness invalid (false(no-overflow)) 190 860 2000 0 unknown .031 4.6 .26 0 unknown .032 4.8 .14 0 unknown 3.4 160 49 0 timeout 900   1200 6500 0 disqualified 880 560 8200 0 timeout (verification) 900    90 11000   0 unknown 8.0 330 63 0 unknown 8.9 360 70 0 unknown 8.3 360 65 0 unknown .022 7.3 .12  0
basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (134) .22 32 2.2 0 error (42) 880    6000 7300   0 error (134) 7.5  500 110   0 error (1) .48 41 4.5 0 timeout 900   1000 5500 0 unknown 900 660 10000 0 unknown .045 4.6 .18 0 unknown .054 4.6 .14 0 timeout 900   990 9300 0 timeout 900   1100 4600 0 disqualified 880 620 9800 0 timeout (verification) 900    380 8100   0 error (7) 180   2600 2000 0 timeout 900   890 11000 0 error (7) 180   920 1900 0 unknown .044 7.6 .097 0
chgrp-incomplete_true-no-overflow_false-valid-memtrack.i error (134) .31 37 2.7 0 error (134) .21 12 3.2 0 error (134) .19 18 2.6 0 error (1) .51 43 5.0 0 unknown 100   750 920 0 unknown 900 800 10000 0 unknown .035 4.7 .24 0 unknown .030 4.6 .21 0 unknown 3.0 140 37 0 unknown 110   740 1000 0 disqualified 880 680 7500 0 timeout (verification) 900    130 8300   0 unknown 8.2 350 75 0 unknown 8.2 340 65 0 unknown 8.2 340 62 0 unknown .024 7.4 .17  0
chroot-incomplete_true-no-overflow_true-valid-memsafety.i error (134) .46 38 4.7 0 error (134) .28 14 3.3 0 error (134) .96 68 14   0 error (1) .52 43 5.3 0 timeout 900   1400 6200 0 unknown 900 1600 10000 0 unknown .026 4.6 .19 0 unknown .032 4.6 .34 0 unknown 3.0 150 39 0 timeout 900   1200 6300 0 disqualified 880 690 6900 0 timeout (verification) 900    58 14000   0 unknown 8.3 360 62 0 unknown 8.3 320 67 0 unknown 8.4 330 70 0 unknown .020 7.2 .088 0
cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (134) 11    50 89   0 error (134) 5.8  76 68   0 error (134) .79 76 8.6 0 error (1) .50 43 6.0 0 timeout 910   6500 12000 0 out of memory 22 15000 280 0 unknown .031 4.6 .22 0 unknown .033 4.6 .18 0 out of memory 22   15000 290 0 timeout 910   6700 13000 0 disqualified 880 760 7000 0 error(unknown, slicing-finished) 1.7  80 16   0 unknown 8.1 350 75 0 unknown 9.1 350 69 0 unknown 9.1 360 72 0 unknown .023 7.7 .16  0
date_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (6) .41 47 4.2 0 error (134) 2.3  120 34   0 error (134) .72 55 7.9 0 error (1) .51 42 5.1 0 timeout 900   3500 10000 0 out of memory 22 15000 250 0 unknown .033 4.6 .25 0 unknown .033 4.6 .17 0 out of memory 22   15000 230 0 timeout 900   3500 10000 0 disqualified 880 3900 12000 0 error(unknown, slicing-finished) 2.9  150 24   0 unknown 9.4 360 68 0 unknown 9.5 350 72 0 unknown 8.7 370 76 0 unknown .022 7.8 .088 0
dirname_true-no-overflow_true-valid-memsafety.i error (134) .23 31 1.9 0 out of memory 620    13000 8100   0 error (134) .17 13 2.0 0 error (1) .50 42 5.4 0 timeout 900   5300 9900 0 unknown 900 1800 10000 0 unknown .045 4.6 .18 0 unknown .032 4.7 .12 0 timeout 900   11000 10000 0 timeout 910   5000 10000 0 disqualified 880 700 7100 0 timeout (verification) 900    980 12000   0 error (7) 140   2700 1400 0 timeout 900   1000 7500 0 error (7) 160   1100 1600 0 unknown .023 7.5 .12  0
du_true-no-overflow_true-valid-memsafety.i error (134) 5.8  45 53   0 error (134) 54    200 490   0 error (134) .46 38 5.9 0 error (1) .51 42 4.7 0 timeout 900   3300 11000 0 out of memory 22 15000 250 0 unknown .054 4.6 .12 0 unknown .028 4.6 .34 0 out of memory 22   15000 270 0 timeout 900   3400 10000 0 disqualified 880 3800 12000 0 error(unknown, slicing-finished) 3.1  120 21   0 unknown 9.8 360 81 0 unknown 9.4 360 79 0 unknown 8.4 330 68 0 unknown .023 7.5 .11  0
echo_true-no-overflow_true-valid-memsafety.i error (134) .41 38 4.8 0 error (42) 880    3100 7300   0 error (134) .65 86 8.6 0 error (1) .50 42 4.8 0 timeout 910   860 8200 0 unknown 900 1600 11000 0 unknown .029 4.6 .17 0 unknown .031 4.6 .18 0 unknown 4.2 240 46 0 timeout 910   860 8500 0 disqualified 880 560 7300 0 timeout (verification) 900    430 6800   0 unknown 8.4 340 64 0 unknown 8.7 340 69 0 unknown 8.4 360 77 0 unknown .023 7.7 .10  0
expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (134) 24    71 220   0 error (134) 29    190 400   0 error (134) .36 33 5.5 0 error (1) .51 43 4.9 0 timeout 910   6600 12000 0 out of memory 22 15000 270 0 unknown .031 4.8 .20 0 unknown .024 4.6 .20 0 out of memory 22   15000 280 0 timeout 900   6500 13000 0 disqualified 880 840 7600 0 error(unknown, slicing-finished) 3.1  100 23   0 unknown 9.2 350 82 0 unknown 9.2 330 71 0 unknown 8.2 350 62 0 unknown .021 7.9 .15  0
fold_true-no-overflow_true-valid-memsafety.i error (134) 4.8  42 33   0 error (134) 2.9  44 36   0 error (134) .36 30 4.2 0 error (1) .52 43 4.9 0 timeout 900   830 10000 0 out of memory 22 15000 260 0 unknown .055 4.5 .15 0 unknown .028 4.6 .19 0 out of memory 22   15000 320 0 timeout 900   670 10000 0 disqualified 880 730 6500 0 error(unknown, slicing-finished) 1.0  60 11   0 unknown 8.3 330 65 0 unknown 8.6 340 68 0 unknown 9.2 360 73 0 unknown .022 7.6 .13  0
head_true-no-overflow_true-valid-memsafety.i error (6) .37 40 3.3 0 error (134) 2.9  48 33   0 error (134) .59 50 7.8 0 error (1) .49 42 5.3 0 unknown 600   1000 4000 0 out of memory 23 15000 270 0 unknown .032 4.6 .31 0 unknown .029 4.7 .19 0 out of memory 22   15000 280 0 unknown 620   1100 4000 0 disqualified 880 490 7800 0 error(unknown, slicing-finished) .61 54 7.0 0 unknown 8.5 360 70 0 unknown 8.8 370 65 0 unknown 8.3 360 74 0 unknown .023 7.1 .096 0
hostid_true-no-overflow_true-valid-memsafety.i error (134) .22 34 2.0 0 out of memory 550    13000 6500   0 error (134) .16 15 1.6 0 error (1) .51 43 4.8 0 out of memory 540   15000 6600 0 unknown 900 1800 10000 0 unknown .028 4.6 .20 0 unknown .031 4.6 .13 0 timeout 900   14000 11000 0 out of memory 550   15000 7600 0 disqualified 880 910 7400 0 timeout (verification) 900    500 10000   0 true 18   550 150 2 true 33   750 290 2 true 19   520 160 2 unknown .020 7.9 .14  0
logname_true-no-overflow_true-valid-memsafety.i error (134) .31 37 2.4 0 error (134) .19 13 2.2 0 error (134) .20 18 2.5 0 error (1) .50 42 4.7 0 unknown 230   830 1900 0 false(no-overflow) 220 860 2200 -16 unknown .030 4.6 .19 0 unknown .052 4.6 .14 0 unknown 3.0 150 35 0 unknown 230   840 2300 0 disqualified 880 720 7600 0 timeout (verification) 900    52 13000   0 unknown 7.8 350 66 0 unknown 8.9 350 69 0 unknown 8.8 340 70 0 unknown .022 7.3 .14  0
ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (134) 180    180 2300   0 error (134) 2.6  45 40   0 error (134) 1.1  120 13   0 error (1) .51 43 4.7 0 timeout 900   3100 11000 0 out of memory 22 15000 310 0 unknown .031 4.8 .20 0 unknown .027 4.6 .28 0 out of memory 22   15000 240 0 timeout 910   3100 12000 0 disqualified 880 3900 11000 0 error(unknown, slicing-finished) 20    300 94   0 error (7) 9.4 330 83 0 error (7) 10   340 80 0 error (7) 10   360 91 0 unknown .022 7.4 .099 0
mkdir_true-no-overflow_true-valid-memsafety.i error (134) 2.0  43 19   0 error 880    1600 4800   0 error (134) .53 33 6.3 0 error (1) .50 42 4.5 0 timeout 910   6700 12000 0 out of memory 23 15000 260 0 unknown .032 4.5 .18 0 unknown .037 4.6 .23 0 out of memory 22   15000 300 0 timeout 900   6600 11000 0 disqualified 880 660 7300 0 error(unknown, slicing-finished) 1.1  81 16   0 unknown 8.5 340 68 0 unknown 8.8 360 82 0 unknown 8.8 360 65 0 unknown .023 7.6 .15  0
mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i error (134) .26 36 2.6 0 error (134) .21 12 2.4 0 error (134) .17 17 2.2 0 error (1) .52 42 5.0 0 unknown 170   800 1600 0 unknown 900 2000 9400 0 unknown .031 4.6 .21 0 unknown .029 4.6 .19 0 unknown 3.0 140 38 0 unknown 170   810 1700 0 disqualified 880 670 7100 0 timeout (verification) 900    54 11000   0 unknown 8.5 360 62 0 unknown 7.7 330 61 0 unknown 8.4 340 67 0 unknown .027 7.6 .078 0
od_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (134) 540    340 6200   0 error 880    670 4300   0 error (134) .78 61 9.4 0 error (1) .51 43 5.2 0 timeout 910   6800 12000 0 out of memory 23 15000 300 0 unknown .030 4.6 .15 0 unknown .028 4.6 .30 0 out of memory 22   15000 260 0 timeout 910   6700 12000 0 disqualified 880 1000 8200 0 error(unknown, slicing-finished) 13    340 65   0 unknown 8.9 340 74 0 unknown 9.6 370 80 0 unknown 9.6 350 79 0 unknown .025 7.6 .11  0
printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (6) .50 43 4.1 0 error (134) 18    98 220   0 error (134) .25 24 3.1 0 error (1) .55 42 5.7 0 out of memory 210   15000 2000 0 unknown 900 3500 7800 0 unknown .033 4.6 .19 0 unknown .027 4.6 .21 0 unknown 3.0 150 45 0 out of memory 210   15000 1900 0 disqualified 880 460 9800 0 error(returned 1, before-instr) .27 18 3.4 0 unknown 9.5 360 84 0 unknown 8.5 360 72 0 unknown 9.0 360 74 0 unknown .027 7.4 .15  0
readlink_true-no-overflow_true-valid-memsafety.i error (134) 2.1  41 25   0 error (134) .64 24 8.1 0 error (134) .87 69 10   0 error (1) .51 43 4.6 0 timeout 900   6900 12000 0 out of memory 22 15000 330 0 unknown .032 4.6 .18 0 unknown .052 4.6 .20 0 out of memory 22   15000 290 0 timeout 910   7100 11000 0 disqualified 880 670 7300 0 error(unknown, slicing-finished) .95 54 13   0 unknown 9.0 360 73 0 unknown 9.0 350 75 0 unknown 8.5 360 68 0 unknown .031 7.5 .12  0
realpath_true-no-overflow_true-valid-memsafety.i error (134) .31 37 3.8 0 error (134) .23 12 3.6 0 error (134) .95 61 14   0 error (1) .53 43 4.9 0 timeout 900   1400 7100 0 unknown 900 2100 7600 0 unknown .028 4.6 .17 0 unknown .029 4.7 .25 0 unknown 3.0 140 44 0 timeout 900   1400 8000 0 disqualified 880 670 6500 0 timeout (verification) 900    71 12000   0 unknown 8.6 360 71 0 unknown 8.2 360 63 0 unknown 7.8 340 68 0 unknown .021 7.8 .17  0
rm_true-no-overflow_true-valid-memsafety.i error (134) 5.0  45 41   0 error 880    300 11000   0 error (134) .71 71 9.8 0 error (1) .53 44 5.4 0 timeout 910   6400 11000 0 out of memory 23 15000 260 0 unknown .034 4.6 .23 0 unknown .030 4.8 .22 0 out of memory 22   15000 330 0 timeout 910   6400 11000 0 disqualified 880 750 8800 0 error(unknown, slicing-finished) 1.8  110 16   0 unknown 8.2 350 69 0 unknown 8.9 360 72 0 unknown 8.2 330 67 0 unknown .021 7.6 .11  0
seq_true-no-overflow_true-valid-memsafety.i error (134) 1.1  40 14   0 error (134) .50 16 6.2 0 error (134) .48 30 6.7 0 error (1) .54 43 5.0 0 timeout 910   6700 11000 0 out of memory 22 15000 290 0 unknown .046 4.6 .16 0 unknown .031 4.7 .29 0 out of memory 22   15000 270 0 timeout 900   7000 12000 0 disqualified 880 670 6500 0 error(returned 1, before-instr) .26 17 3.8 0 unknown 7.9 340 66 0 unknown 8.3 340 65 0 unknown 8.3 360 66 0 unknown .033 7.7 .15  0
sleep_true-no-overflow_true-valid-memsafety.i error (134) .72 39 9.0 0 error (134) .69 24 8.6 0 error (134) .72 85 9.8 0 error (1) .51 42 5.1 0 unknown 7.9 320 66 0 unknown 890 680 10000 0 unknown .037 4.6 .12 0 unknown .030 4.7 .24 0 unknown 3.5 170 55 0 unknown 7.8 330 76 0 disqualified 880 730 7300 0 error(returned 1, before-instr) .27 17 2.7 0 unknown 8.9 360 74 0 unknown 8.7 350 73 0 unknown 8.9 360 74 0 unknown .027 7.7 .12  0
stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (134) 48    110 450   0 error (134) 56    160 550   0 error (134) 3.4  180 47   0 error (1) .49 42 4.7 0 timeout 900   2200 10000 0 out of memory 23 15000 250 0 unknown .030 4.7 .18 0 unknown .028 4.7 .18 0 out of memory 22   15000 280 0 timeout 900   2200 11000 0 disqualified 880 1400 6700 0 timeout (verification) 900    170 13000   0 unknown 9.9 370 77 0 unknown 10   360 82 0 unknown 10   370 79 0 unknown .022 7.6 .12  0
sync_true-no-overflow_true-valid-memsafety.i error (134) .27 35 2.7 0 error (134) .17 10 1.8 0 error (134) .24 16 2.7 0 error (1) .54 43 4.7 0 unknown 40   620 460 0 unknown 900 870 11000 0 unknown .027 4.7 .19 0 unknown .046 4.6 .18 0 unknown 3.0 140 50 0 unknown 40   640 430 0 disqualified 880 680 6800 0 timeout (verification) 900    130 8200   0 unknown 8.2 360 65 0 unknown 7.9 340 61 0 unknown 8.3 340 69 0 unknown .025 7.2 .13  0
tac_true-no-overflow_true-valid-memsafety.i error (134) 4.5  41 38   0 error (134) 2.1  39 28   0 error (134) .68 55 8.0 0 error (1) .58 42 4.4 0 timeout 900   6800 12000 0 out of memory 23 15000 300 0 unknown .035 4.6 .29 0 unknown .032 4.8 .11 0 out of memory 22   15000 260 0 timeout 900   7000 11000 0 disqualified 880 680 7600 0 error(unknown, slicing-finished) .78 45 9.2 0 unknown 8.8 330 71 0 unknown 9.5 340 72 0 unknown 8.4 340 72 0 unknown .022 7.3 .092 0
tee_true-no-overflow_true-valid-memsafety.i error (6) .33 41 3.7 0 error (134) .87 28 12   0 error (134) 1.3  110 19   0 error (1) .52 42 5.6 0 timeout 900   3600 11000 0 out of memory 22 15000 280 0 unknown .031 4.6 .19 0 unknown .028 4.6 .14 0 out of memory 22   15000 250 0 timeout 900   3500 11000 0 disqualified 880 3700 13000 0 error(unknown, slicing-finished) .78 48 6.9 0 unknown 8.9 360 69 0 unknown 9.2 360 74 0 unknown 9.6 370 76 0 unknown .032 7.1 .10  0
test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (134) 23    68 250   0 error 880    670 5500   0 error (134) 2.7  170 40   0 error (1) .53 42 4.8 0 exception 30   570 310 0 unknown 900 15000 8000 0 unknown .031 4.6 .13 0 unknown .029 4.6 .21 0 unknown 3.3 170 50 0 exception 30   560 330 0 disqualified 880 420 6600 0 error(unknown, slicing-finished) .82 61 10   0 unknown 9.4 360 64 0 unknown 9.2 350 68 0 unknown 8.8 360 74 0 unknown .027 7.2 .082 0
touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (134) 4.1  47 46   0 error (134) 2.2  110 32   0 error (134) .59 35 8.8 0 error (1) .52 42 5.4 0 timeout 910   7500 11000 0 out of memory 23 15000 300 0 unknown .031 4.6 .23 0 unknown .034 4.6 .21 0 out of memory 22   15000 300 0 timeout 910   6900 9000 0 disqualified 880 720 7100 0 error(unknown, slicing-finished) 1.6  120 16   0 unknown 8.8 360 75 0 unknown 9.1 340 75 0 unknown 9.5 360 78 0 unknown .025 7.4 .13  0
uname_true-no-overflow_true-valid-memsafety.i error (134) 1.1  41 11   0 error (134) .85 120 11   0 error (134) .50 32 6.5 0 error (1) .50 43 4.5 0 timeout 900   6600 11000 0 out of memory 22 15000 270 0 unknown .029 4.6 .20 0 unknown .045 4.7 .16 0 out of memory 22   15000 270 0 timeout 900   6600 9900 0 disqualified 880 640 8100 0 error(unknown, slicing-finished) .77 54 8.6 0 unknown 7.8 340 69 0 unknown 8.5 360 68 0 unknown 8.5 360 66 0 unknown .021 7.5 .12  0
uniq_true-no-overflow_true-valid-memsafety.i error (134) 4.2  42 38   0 error (134) 1.6  34 23   0 error (134) .70 77 11   0 error (1) .52 43 5.4 0 timeout 900   6800 11000 0 out of memory 23 15000 330 0 unknown .031 4.8 .20 0 unknown .060 4.6 .21 0 out of memory 22   15000 280 0 timeout 900   6900 11000 0 disqualified 880 730 6400 0 error(unknown, slicing-finished) 1.2  72 13   0 unknown 9.1 360 79 0 unknown 8.6 360 70 0 unknown 8.4 350 69 0 unknown .023 7.3 .11  0
usleep_true-no-overflow_true-valid-memsafety.i error (134) .38 37 4.8 0 error (134) .18 12 2.3 0 error (134) .57 39 6.8 0 error (1) .51 43 5.4 0 unknown 140   800 1700 0 unknown 900 810 11000 0 unknown .038 4.6 .14 0 unknown .029 4.6 .26 0 unknown 3.4 180 44 0 unknown 140   790 1200 0 disqualified 880 510 8900 0 timeout (verification) 900    150 9300   0 unknown 8.6 350 69 0 unknown 8.0 320 59 0 unknown 7.9 340 60 0 unknown .018 7.5 .11  0
uudecode_true-no-overflow_true-valid-memsafety.i error (134) 8.7  46 100   0 error (134) 4.9  76 55   0 error (134) 2.0  210 23   0 error (1) .55 42 5.2 0 timeout 910   6500 12000 0 out of memory 22 15000 260 0 unknown .028 4.6 .22 0 unknown .042 4.7 .16 0 out of memory 22   15000 250 0 timeout 910   6600 13000 0 disqualified 880 780 7100 0 error(unknown, slicing-finished) 2.0  99 22   0 unknown 9.0 370 72 0 unknown 8.5 340 70 0 unknown 8.9 350 77 0 unknown .022 7.5 .18  0
wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (6) .38 42 3.4 0 error 880    610 7200   0 error (134) .29 23 3.7 0 error (1) .51 42 5.6 0 timeout 910   6200 11000 0 out of memory 22 15000 240 0 unknown .030 4.6 .15 0 unknown .045 4.6 .17 0 out of memory 22   15000 260 0 timeout 910   6300 13000 0 disqualified 880 1100 5100 0 error(unknown, slicing-finished) .90 58 12   0 unknown 8.9 350 73 0 unknown 8.5 350 72 0 unknown 8.6 350 74 0 unknown .022 7.7 .091 0
who_true-no-overflow_true-valid-memsafety.i error (134) 1.3  42 13   0 error (134) .56 22 7.3 0 error (134) .77 67 13   0 error (1) .53 44 5.1 0 timeout 910   7000 11000 0 out of memory 22 15000 260 0 unknown .035 4.8 .22 0 unknown .031 4.7 .17 0 out of memory 22   15000 310 0 timeout 910   7500 12000 0 disqualified 880 660 8400 0 error(unknown, slicing-finished) 1.0  58 11   0 unknown 8.7 350 76 0 unknown 9.0 350 79 0 unknown 8.7 360 77 0 unknown .021 7.2 .12  0
whoami-incomplete_true-no-overflow_true-valid-memsafety.i error (134) .29 37 3.0 0 error (134) .18 12 2.1 0 error (134) .27 27 4.3 0 error (1) .56 44 5.1 0 out of memory 300   15000 2300 0 unknown 900 920 12000 0 unknown .031 4.6 .14 0 unknown .029 4.6 .16 0 unknown 3.0 140 39 0 out of memory 310   15000 2700 0 disqualified 880 460 7900 0 timeout (verification) 900    130 7500   0 unknown 8.7 350 67 0 unknown 8.5 360 73 0 unknown 8.6 340 69 0 unknown .027 7.2 .10  0
yes_true-no-overflow_true-valid-memsafety.i error (134) .30 37 3.4 0 error (134) .18 12 2.0 0 error (134) .61 80 6.7 0 error (1) .50 42 4.5 0 timeout 900   1100 5700 0 false(no-overflow) 170 850 1800 -16 unknown .033 4.6 .16 0 unknown .062 4.7 .22 0 unknown 3.4 160 44 0 timeout 900   970 7000 0 disqualified 880 560 6600 0 timeout (verification) 900    93 11000   0 unknown 8.1 330 60 0 unknown 8.3 360 71 0 unknown 8.5 330 71 0 unknown .021 7.6 .14  0
../sv-benchmarks/c/busybox-1.22.0/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
total 71 1800 4000 18000 0 71 13000 50000 110000 0 71 61 4900 800 0 71 37 3000 360 0 71 52000 290000 580000 0 71 24000 700000 270000 -32 71 2.4 330 14 0 71 2.4 330 15 0 71 3700 660000 43000 0 71 52000 290000 590000 0 71 63000 75000 570000 0 71 23000 9100 250000 0 71 930 30000 8300 2 71 2400 26000 24000 2 71 950 26000 8500 2 71 1.7 540 8.3 0
    correct results 0 0 0 0 0 0 0 0 0 0 0 0 1 18 550 150 2 1 33 750 290 2 1 19 520 160 2 0
        correct true 0 0 0 0 0 0 0 0 0 0 0 0 1 18 550 150 2 1 33 750 290 2 1 19 520 160 2 0
        correct false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
    correct-unconfimed results 0 0 0 0 1 68 720 660 0 0 0 0 0 1 68 730 660 0 0 0 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        correct-unconfirmed false 0 0 0 0 1 68 720 660 0 0 0 0 0 1 68 730 660 0 0 0 0 0 0 0
    incorrect results 0 0 0 0 0 2 390 1700 4100 -32 0 0 0 0 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 0 0 0 0 0 2 390 1700 4100 -32 0 0 0 0 0 0 0 0 0 0
score (71 tasks, max score: 108) 0 0 0 0 0 -32 0 0 0 0 0 0 2 2 2 0
Run set 2ls.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows cbmc.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows cbmc-path.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows cpa-bam-bnb.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows cpa-seq.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows depthk.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows divine-explicit.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows divine-smt.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows esbmc-kind.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows pesco.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows smack.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows symbiotic.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows uautomizer.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows ukojak.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows utaipan.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows veriabs.sv-comp19_prop-nooverflow.Systems_BusyBox_NoOverflows