Benchmark CPA/CoVeriTest CPA/Tiger-MGP ESBMC-bkind ESBMC-falsif FairFuzz KLEE PRtest Symbiotic VeriFuzz
Tool CPAchecker 1.8-svn 30375 CPAchecker 1.8-svn 30541M ESBMC version 6.0.0 64-bit x86_64 linux FairFuzz TC-0.0.2 KLEE 2.0.0-pre-test-comp tbf v0.3.0-testcomp19 symbiotic 6.0.3-dev-fd3f777b VeriFuzz 1.0.1
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-45-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 2019-02-05 21:05:56 CET 2019-02-05 21:13:54 CET 2019-02-05 21:13:25 CET 2019-02-05 21:11:17 CET 2019-02-08 09:39:09 CET 2019-02-05 21:09:47 CET 2019-02-06 06:02:44 CET 2019-02-06 07:07:32 CET 2019-02-06 07:17:17 CET
Run set coveritest.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized esbmc-kind.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized esbmc-falsi.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized klee.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized prtest.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized symbiotic.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized
Options -benchmark -heap 10000M -testcomp19 -benchmark -heap 10000M -tigertestcomp19 -s kinduction -s falsi --stats -i random --write-xml --svcomp-nondets --test-comp --verifier klee-testcomp --testcomp
../sv-benchmarks/c/seq-mthreaded/ status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J)
pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.yml done .819 680 6400 6900 timeout .681 900 540 11000 unknown .0  .028 5.7 .17  unknown .0  .039 5.7 .10  couldn't run: all seeds time out or crash .0  3.2 11 41 timeout (false(unreach-call)) .753 900    5200 9000   timeout .00550 900 31 12000 out of memory (killed (signal 9, verification)) .0   710    15000 7300 error .819 880 170 10000
pals_STARTPALS_ActiveStandby.4_1.ufo.BOUNDED-10.pals.yml done .820 270 4600 3300 unknown .792 560 900 6500 unknown .0  .048 5.7 .075 unknown .0  .024 5.8 .089 couldn't run: all seeds time out or crash .0  3.2 10 39 timeout (false(unreach-call)) .758 900    2600 11000   timeout .00560 900 31 12000 timeout (verification) .0   900    15000 7900 error .815 880 170 10000
pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.yml done .813 570 5200 7800 true .813 140 950 1800 unknown .0  .030 5.7 .12  unknown .0  .027 5.7 .15  couldn't run: all seeds time out or crash .0  3.2 10 39 timeout (false(unreach-call)) .753 900    3400 7800   timeout .00550 900 31 10000 timeout (verification) .0   900    11000 8800 error .813 880 170 9700
pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.yml timeout .822 900 6800 11000 unknown .744 800 630 9400 unknown .0  .031 5.6 .17  unknown .0  .031 5.6 .060 couldn't run: all seeds time out or crash .0  3.2 10 44 timeout (false(unreach-call)) .767 900    4900 6800   timeout .00560 900 31 13000 out of memory (killed (signal 9, verification)) .0   780    15000 5400 error .828 880 170 12000
pals_STARTPALS_ActiveStandby.ufo.BOUNDED-10.pals.yml done .808 280 3900 3400 unknown .802 420 580 5600 unknown .0  .029 5.7 .15  unknown .0  .025 5.7 .13  couldn't run: all seeds time out or crash .0  3.2 11 42 timeout .742 900    5100 8200   timeout .00550 900 31 12000 out of memory (killed (signal 9, verification)) .0   760    15000 6100 error .808 880 170 13000
pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.yml done .838 490 5200 4900 timeout .156 900 550 12000 unknown .0  .024 5.7 .054 unknown .0  .024 5.7 .13  couldn't run: all seeds time out or crash .0  3.2 11 42 timeout (false(unreach-call)) .838 900    3400 10000   timeout .0375  900 31 12000 out of memory (killed (signal 9, verification)) .0   760    15000 6900 error .838 890 170 10000
pals_STARTPALS_Triplicated.2.ufo.BOUNDED-10.pals.yml done .823 380 4800 4400 unknown .760 900 600 12000 unknown .0  .023 5.7 .11  unknown .0  .025 5.7 .078 couldn't run: all seeds time out or crash .0  3.2 11 50 timeout (false(unreach-call)) .797 900    4700 9600   timeout .038   900 30 14000 out of memory (killed (signal 9, verification)) .0   660    15000 8400 error .823 890 170 12000
pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.yml done .821 510 5600 5500 unknown .747 780 650 9200 unknown .0  .028 5.7 .10  unknown .0  .023 5.7 .21  couldn't run: all seeds time out or crash .0  3.2 10 46 timeout .821 900    4900 10000   timeout .0370  900 31 12000 out of memory (killed (signal 9, verification)) .0   740    15000 6000 error .821 890 170 13000
pals_floodmax.3.1.ufo.BOUNDED-6.pals.yml timeout .9   900 1600 7000 timeout .853 900 960 8500 unknown .0  .030 5.7 .089 unknown .0  .022 5.7 .075 couldn't run: all seeds time out or crash .0  3.2 10 44 false(unreach-call) .847 1.8  39 18   timeout .132   900 31 12000 done .758 68    39 990 error .816 880 170 11000
pals_floodmax.3.2.ufo.BOUNDED-6.pals.yml done .817 36 940 320 true .817 19 480 200 unknown .0  .053 5.7 .15  unknown .0  .029 5.7 .16  couldn't run: all seeds time out or crash .0  3.2 10 44 false(unreach-call) .748 .73 34 8.9 timeout .153   900 31 13000 done .490 7.8  22 120 error .738 880 170 9700
pals_floodmax.3.3.ufo.BOUNDED-6.pals.yml timeout .861 900 1200 7200 timeout .772 900 830 6300 unknown .0  .047 5.7 .070 unknown .0  .023 5.7 .13  couldn't run: all seeds time out or crash .0  3.2 10 46 false(unreach-call) .792 .98 34 12   timeout .153   900 31 13000 done .520 36    27 500 error .782 880 180 13000
pals_floodmax.3.4.ufo.BOUNDED-6.pals.yml timeout .896 900 1600 11000 timeout .807 900 1400 14000 unknown .0  .027 5.8 .15  unknown .0  .029 5.7 .21  couldn't run: all seeds time out or crash .0  3.2 10 37 false(unreach-call) .827 1.0  33 13   timeout .153   900 31 13000 done .748 43    29 680 error .822 880 170 10000
pals_floodmax.3.ufo.BOUNDED-6.pals.yml timeout .886 900 1500 10000 timeout .797 900 680 12000 unknown .0  .030 5.6 .12  unknown .0  .021 5.7 .16  couldn't run: all seeds time out or crash .0  3.2 10 40 done .817 1.1  34 14   timeout .153   900 30 12000 done .738 43    29 570 error .802 880 180 12000
pals_floodmax.4.1.ufo.BOUNDED-8.pals.yml timeout .934 900 1200 10000 unknown .89  790 840 9400 unknown .0  .030 5.7 .15  unknown .0  .027 5.7 .20  couldn't run: all seeds time out or crash .0  3.2 10 41 timeout .820 900    3100 8600   timeout .131   900 31 12000 timeout (verification) .0   900    3000 13000 error .896 880 180 12000
pals_floodmax.4.2.ufo.BOUNDED-8.pals.yml done .887 320 1300 3200 true .887 88 660 1000 unknown .0  .023 5.8 .12  unknown .0  .041 5.6 .093 couldn't run: all seeds time out or crash .0  3.2 12 50 timeout .763 900    3100 8400   timeout .124   900 31 12000 done .342 850    1100 10000 error .848 880 190 13000
pals_floodmax.4.3.ufo.BOUNDED-8.pals.yml timeout .909 900 1500 9000 timeout .828 900 1300 7000 unknown .0  .035 5.7 .091 unknown .0  .040 5.8 .076 couldn't run: all seeds time out or crash .0  3.2 12 41 timeout .761 900    3100 11000   timeout .124   900 31 11000 done .539 850    1200 14000 error .875 890 190 12000
pals_floodmax.4.4.ufo.BOUNDED-8.pals.yml timeout .925 900 1600 10000 timeout .870 900 1200 12000 unknown .0  .029 5.7 .12  unknown .0  .026 5.7 .11  couldn't run: all seeds time out or crash .0  3.3 12 38 timeout .779 900    3100 11000   timeout .124   900 31 13000 done .648 850    1200 10000 error .887 890 190 12000
pals_floodmax.4.ufo.BOUNDED-8.pals.yml timeout .921 900 1300 8500 timeout .862 900 1300 7800 unknown .0  .051 5.7 .092 unknown .0  .029 5.7 .077 couldn't run: all seeds time out or crash .0  3.2 12 47 timeout .787 900    3100 8800   timeout .124   900 31 12000 done .640 850    1200 11000 error .883 890 190 9600
pals_floodmax.5.1.ufo.BOUNDED-10.pals.yml timeout .957 900 1200 12000 timeout .900 900 1100 14000 unknown .0  .023 5.6 .13  unknown .0  .048 5.6 .10  couldn't run: all seeds time out or crash .0  3.2 12 43 timeout .883 930    15000 5800   timeout .110   900 34 12000 out of memory (killed (signal 9, verification)) .0   270    15000 4000 error .942 890 220 12000
pals_floodmax.5.2.ufo.BOUNDED-10.pals.yml timeout .930 900 1300 11000 unknown .907 780 960 9700 unknown .0  .027 5.7 .18  unknown .0  .023 5.8 .070 couldn't run: all seeds time out or crash .0  3.4 21 48 timeout .833 900    15000 5100   timeout .106   900 34 12000 out of memory (killed (signal 9, verification)) .0   66    15000 770 error .913 890 230 13000
pals_floodmax.5.3.ufo.BOUNDED-10.pals.yml timeout .939 900 1400 12000 timeout .911 900 1500 6700 unknown .0  .021 5.7 .13  unknown .0  .052 5.5 .13  couldn't run: all seeds time out or crash .0  3.4 20 43 timeout .864 900    15000 5200   timeout .106   900 34 11000 out of memory (killed (signal 9, verification)) .0   65    15000 780 error .921 890 220 12000
pals_floodmax.5.4.ufo.BOUNDED-10.pals.yml timeout .949 900 1300 12000 timeout .917 900 1300 10000 unknown .0  .022 5.7 .10  unknown .0  .024 5.7 .068 couldn't run: all seeds time out or crash .0  3.4 20 45 timeout .855 900    15000 7200   timeout .106   900 34 12000 out of memory (killed (signal 9, verification)) .0   65    15000 790 error .933 890 230 11000
pals_floodmax.5.ufo.BOUNDED-10.pals.yml timeout .947 900 1600 11000 timeout .916 900 1100 10000 unknown .0  .023 5.7 .13  unknown .0  .052 5.6 .15  couldn't run: all seeds time out or crash .0  3.4 20 42 timeout .874 900    15000 6200   timeout .106   900 34 11000 out of memory (killed (signal 9, verification)) .0   65    15000 910 error .931 890 220 13000
pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.yml timeout .882 900 1800 10000 timeout .836 900 1200 11000 unknown .0  .031 5.7 .12  unknown .0  .023 5.7 .13  couldn't run: all seeds time out or crash .0  3.2 11 48 false(unreach-call) .855 .22 22 2.7 timeout .0909  900 31 12000 done .736 1.1  20 18 error .736 880 170 13000
pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.yml timeout .894 900 1800 11000 true .894 140 750 1800 unknown .0  .023 5.7 .13  unknown .0  .037 5.7 .094 couldn't run: all seeds time out or crash .0  3.2 10 41 false(unreach-call) .817 .23 21 2.8 timeout .0962  900 31 11000 done .740 1.1  20 16 error .740 880 160 11000
pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.yml timeout .864 900 3100 12000 timeout .8   900 1500 11000 unknown .0  .024 5.8 .28  unknown .0  .023 5.5 .087 couldn't run: all seeds time out or crash .0  3.2 10 39 done .836 .22 21 2.7 timeout .0909  900 30 12000 done .718 1.1  20 14 error .718 880 160 11000
pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.yml timeout .884 900 4200 11000 timeout .774 900 900 11000 unknown .0  .025 5.7 .18  unknown .0  .035 5.7 .11  couldn't run: all seeds time out or crash .0  3.2 10 46 false(unreach-call) .747 .75 24 9.7 timeout .0548  900 31 11000 done .726 2.0  23 30 error .726 880 170 11000
pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.yml timeout .886 900 2600 10000 timeout .779 900 800 12000 unknown .0  .024 5.7 .10  unknown .0  .027 5.7 .24  couldn't run: all seeds time out or crash .0  3.2 10 45 false(unreach-call) .786 .60 24 6.8 timeout .0571  900 30 11000 done .729 2.0  22 30 error .729 880 170 10000
pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.yml timeout .870 900 4000 11000 timeout .760 900 470 12000 unknown .0  .023 5.7 .093 unknown .0  .037 5.7 .11  couldn't run: all seeds time out or crash .0  3.2 10 42 done .733 .70 24 8.1 timeout .0548  900 31 12000 done .712 2.0  23 25 error .719 880 170 11000
pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.yml timeout .886 900 4500 13000 timeout .755 900 780 12000 unknown .0  .025 5.7 .10  unknown .0  .023 5.7 .094 couldn't run: all seeds time out or crash .0  3.2 10 47 false(unreach-call) .788 3.5  34 44   timeout .0543  900 31 13000 done .717 6.0  35 77 error .717 880 170 10000
pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.yml timeout .882 900 4400 11000 timeout .770 900 1000 12000 unknown .0  .023 5.7 .084 unknown .0  .033 5.7 .18  couldn't run: all seeds time out or crash .0  3.2 11 38 false(unreach-call) .753 3.0  34 34   timeout .0562  900 31 13000 done .713 5.7  33 85 error .719 880 170 11000
pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.yml timeout .875 900 2900 12000 timeout .75  900 510 13000 unknown .0  .023 5.7 .13  unknown .0  .025 5.8 .13  couldn't run: all seeds time out or crash .0  3.2 10 43 done .793 2.9  35 44   timeout .0543  900 31 14000 done .707 5.8  33 85 error .707 880 170 11000
pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.yml timeout .888 900 4600 12000 timeout .737 900 760 13000 unknown .0  .026 5.7 .21  unknown .0  .024 5.7 .11  couldn't run: all seeds time out or crash .0  3.2 10 37 false(unreach-call) .759 27    80 360   timeout .0446  900 31 11000 done .710 31    100 420 error .710 880 180 13000
pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.yml timeout .881 900 4500 11000 timeout .734 900 510 12000 unknown .0  .031 5.7 .18  unknown .0  .046 5.6 .083 couldn't run: all seeds time out or crash .0  3.2 11 37 false(unreach-call) .766 21    76 250   timeout .0459  900 31 12000 done .711 27    87 350 error .711 880 170 12000
pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.yml timeout .880 900 4800 12000 timeout .755 900 780 12000 unknown .0  .023 5.8 .13  unknown .0  .026 5.7 .14  couldn't run: all seeds time out or crash .0  3.2 11 39 done .728 23    77 280   timeout .0446  900 31 12000 done .701 27    93 410 error .701 880 170 11000
pals_lcr.3.1.ufo.BOUNDED-6.pals.yml done .866 41 1100 380 true .866 20 480 200 unknown .0  .023 5.7 .14  unknown .0  .053 5.7 .14  couldn't run: all seeds time out or crash .0  3.2 10 44 false(unreach-call) .854 .20 21 2.8 timeout .110   900 31 13000 done .683 1.0  20 13 error .683 880 160 12000
pals_lcr.3.ufo.BOUNDED-6.pals.yml done .842 310 3300 3700 true .842 34 600 450 unknown .0  .030 5.7 .11  unknown .0  .022 5.7 .15  couldn't run: all seeds time out or crash .0  3.2 10 41 done .829 .21 20 2.0 timeout .110   900 30 13000 done .658 .98 20 15 error .658 880 160 13000
pals_lcr.4.1.ufo.BOUNDED-8.pals.yml timeout .870 900 4700 8300 timeout .732 900 1100 11000 unknown .0  .022 5.7 .14  unknown .0  .024 5.7 .050 couldn't run: all seeds time out or crash .0  3.2 10 51 false(unreach-call) .852 .59 22 7.2 timeout .0833  900 31 10000 done .667 2.4  21 26 error .667 880 170 11000
pals_lcr.4.ufo.BOUNDED-8.pals.yml timeout .852 900 4600 12000 timeout .787 900 1100 13000 unknown .0  .023 5.6 .15  unknown .0  .026 5.7 .059 couldn't run: all seeds time out or crash .0  3.2 11 44 done .824 .46 21 5.5 timeout .0833  900 31 11000 done .648 1.9  20 27 error .648 880 170 10000
pals_lcr.5.1.ufo.BOUNDED-10.pals.yml timeout .875 900 4700 11000 timeout .662 900 840 9500 unknown .0  .026 5.7 .14  unknown .0  .027 5.6 .088 couldn't run: all seeds time out or crash .0  3.2 11 43 false(unreach-call) .823 2.5  26 30   timeout .0515  900 31 15000 done .654 8.3  25 110 error .654 880 170 13000
pals_lcr.5.ufo.BOUNDED-10.pals.yml timeout .860 900 4700 13000 timeout .698 900 2200 11000 unknown .0  .026 5.6 .14  unknown .0  .023 5.6 .16  couldn't run: all seeds time out or crash .0  3.2 11 41 done .809 1.8  24 27   timeout .0515  900 30 11000 done .640 6.1  24 91 error .640 880 170 12000
pals_lcr.6.1.ufo.BOUNDED-12.pals.yml timeout .880 900 4600 12000 timeout .711 900 520 11000 unknown .0  .037 5.5 .096 unknown .0  .024 5.7 .12  couldn't run: all seeds time out or crash .0  3.2 12 38 false(unreach-call) .837 14    48 170   timeout .0542  900 31 13000 done .645 37    43 410 error .645 880 180 10000
pals_lcr.6.ufo.BOUNDED-12.pals.yml timeout .868 900 4700 12000 timeout .705 900 820 12000 unknown .0  .045 5.7 .088 unknown .0  .023 5.7 .078 couldn't run: all seeds time out or crash .0  3.2 12 41 done .819 9.2  40 130   timeout .0542  900 31 10000 done .632 24    38 340 error .632 880 170 11000
pals_lcr.7.1.ufo.BOUNDED-14.pals.yml timeout .864 900 4300 11000 timeout .712 900 620 13000 unknown .0  .029 5.7 .14  unknown .0  .024 5.7 .23  couldn't run: all seeds time out or crash .0  3.2 13 43 false(unreach-call) .813 79    160 970   timeout .0455  900 31 12000 done .636 170    140 2600 error .636 880 180 11000
pals_lcr.7.ufo.BOUNDED-14.pals.yml timeout .874 900 4400 13000 timeout .702 900 680 7000 unknown .0  .049 5.7 .094 unknown .0  .025 5.7 .11  couldn't run: all seeds time out or crash .0  3.3 13 49 done .803 49    110 680   timeout .0455  900 31 12000 done .626 110    100 1400 error .626 880 180 11000
pals_lcr.8.1.ufo.BOUNDED-16.pals.yml timeout .871 900 4700 14000 timeout .681 900 690 11000 unknown .0  .027 5.6 .19  unknown .0  .047 5.7 .083 couldn't run: all seeds time out or crash .0  3.3 14 43 false(unreach-call) .802 500    690 6000   timeout .0388  900 31 12000 done .629 840    560 9200 error .629 890 190 9600
pals_lcr.8.ufo.BOUNDED-16.pals.yml timeout .871 900 4200 12000 timeout .694 900 510 11000 unknown .0  .048 5.7 .11  unknown .0  .024 5.7 .16  couldn't run: all seeds time out or crash .0  3.3 14 50 done .806 280    430 3500   timeout .0388  900 31 14000 done .621 510    370 5900 error .625 880 190 12000
pals_opt-floodmax.3.1.ufo.BOUNDED-6.pals.yml timeout .909 900 1600 11000 timeout .880 900 1000 10000 unknown .0  .021 5.7 .17  unknown .0  .041 5.6 .20  couldn't run: all seeds time out or crash .0  3.2 10 43 false(unreach-call) .788 23    160 260   timeout .120   900 31 11000 done .774 60    38 820 error .808 880 170 11000
pals_opt-floodmax.3.2.ufo.BOUNDED-6.pals.yml done .804 37 1000 320 true .804 18 500 190 unknown .0  .023 5.7 .14  unknown .0  .029 5.6 .12  couldn't run: all seeds time out or crash .0  3.2 10 46 false(unreach-call) .691 7.8  120 110   timeout .141   900 31 12000 done .482 7.1  23 92 error .714 880 180 12000
pals_opt-floodmax.3.3.ufo.BOUNDED-6.pals.yml timeout .873 900 1500 11000 timeout .773 900 920 11000 unknown .0  .021 5.7 .077 unknown .0  .025 5.7 .099 couldn't run: all seeds time out or crash .0  3.2 11 39 false(unreach-call) .759 8.0  130 95   timeout .141   900 31 15000 done .523 37    27 490 error .791 880 170 11000
pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.yml timeout .895 900 2100 11000 timeout .795 900 1000 9700 unknown .0  .024 5.7 .066 unknown .0  .022 5.7 .074 couldn't run: all seeds time out or crash .0  3.2 10 40 false(unreach-call) .782 9.5  130 110   timeout .141   900 31 12000 done .745 45    31 590 error .804 880 180 13000
pals_opt-floodmax.3.ufo.BOUNDED-6.pals.yml timeout .895 900 1600 7700 timeout .795 900 1100 9600 unknown .0  .030 5.7 .10  unknown .0  .043 5.7 .22  couldn't run: all seeds time out or crash .0  3.2 10 42 done .782 9.7  130 110   timeout .141   900 30 11000 done .745 45    30 580 error .809 880 180 12000
pals_opt-floodmax.4.1.ufo.BOUNDED-8.pals.yml timeout .938 900 1300 12000 timeout .872 900 660 11000 unknown .0  .024 5.7 .068 unknown .0  .023 5.7 .063 couldn't run: all seeds time out or crash .0  3.2 11 37 timeout (false(unreach-call)) .903 900    13000 5700   timeout .107   900 31 13000 done .720 890    3200 11000 error .895 890 190 10000
pals_opt-floodmax.4.2.ufo.BOUNDED-8.pals.yml done .894 780 1300 11000 true .894 380 570 4800 unknown .0  .023 5.7 .084 unknown .0  .041 5.7 .068 couldn't run: all seeds time out or crash .0  3.2 12 42 timeout (false(unreach-call)) .820 900    13000 5500   timeout .102   900 31 14000 done .422 850    1200 12000 error .849 890 190 11000
pals_opt-floodmax.4.3.ufo.BOUNDED-8.pals.yml timeout .914 900 1700 12000 timeout .840 900 800 12000 unknown .0  .049 5.8 .18  unknown .0  .023 5.7 .10  couldn't run: all seeds time out or crash .0  3.2 13 43 timeout (false(unreach-call)) .833 900    13000 6400   timeout .102   900 31 13000 done .446 850    1200 11000 error .870 890 200 13000
pals_opt-floodmax.4.4.ufo.BOUNDED-8.pals.yml timeout .929 900 1300 12000 timeout .857 900 1300 11000 unknown .0  .030 5.7 .089 unknown .0  .027 5.7 .11  couldn't run: all seeds time out or crash .0  3.2 13 44 timeout (false(unreach-call)) .849 900    13000 5700   timeout .102   900 31 11000 done .718 850    1300 11000 error .887 890 190 11000
pals_opt-floodmax.4.ufo.BOUNDED-8.pals.yml timeout .926 900 1600 13000 timeout .855 900 610 9900 unknown .0  .025 5.7 .13  unknown .0  .022 5.8 .058 couldn't run: all seeds time out or crash .0  3.2 13 38 timeout .855 900    13000 5500   timeout .102   900 31 12000 done .660 850    1300 12000 error .881 890 200 8700
pals_opt-floodmax.5.1.ufo.BOUNDED-10.pals.yml timeout .958 900 1300 12000 timeout .903 900 1100 9100 unknown .0  .025 5.8 .11  unknown .0  .027 5.7 .12  couldn't run: all seeds time out or crash .0  3.3 13 49 timeout .789 900    15000 5800   timeout .0958  900 34 12000 out of memory (killed (signal 9, verification)) .0   270    15000 3900 error .941 890 220 13000
pals_opt-floodmax.5.2.ufo.BOUNDED-10.pals.yml timeout .933 900 1300 12000 timeout .891 900 1000 10000 unknown .0  .023 5.7 .094 unknown .0  .023 5.7 .069 couldn't run: all seeds time out or crash .0  3.4 21 47 timeout .664 900    14000 6000   timeout .0928  900 35 13000 out of memory (killed (signal 9, verification)) .0   63    15000 730 error .914 890 230 11000
pals_opt-floodmax.5.3.ufo.BOUNDED-10.pals.yml timeout .942 900 1400 12000 timeout .902 900 1300 7000 unknown .0  .035 5.7 .17  unknown .0  .027 5.7 .24  couldn't run: all seeds time out or crash .0  3.4 21 43 timeout .661 900    14000 5400   timeout .0928  900 35 11000 out of memory (killed (signal 9, verification)) .0   63    15000 900 error .917 890 230 11000
pals_opt-floodmax.5.4.ufo.BOUNDED-10.pals.yml timeout .951 900 1600 12000 timeout .909 900 1000 11000 unknown .0  .022 5.6 .16  unknown .0  .026 5.7 .12  couldn't run: all seeds time out or crash .0  3.4 21 43 timeout .668 900    14000 5000   timeout .0928  900 35 11000 out of memory (killed (signal 9, verification)) .0   63    15000 780 error .927 890 250 11000
pals_opt-floodmax.5.ufo.BOUNDED-10.pals.yml timeout .949 900 1400 11000 timeout .907 900 1300 8200 unknown .0  .025 5.7 .12  unknown .0  .019 5.6 .022 couldn't run: all seeds time out or crash .0  3.4 21 43 timeout .666 900    14000 7500   timeout .0928  900 35 11000 out of memory (killed (signal 9, verification)) .0   62    15000 790 error .927 890 230 11000
../sv-benchmarks/c/seq-mthreaded/ status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J)
total 62 54.9 49000 180000 600000 62 49.4  48000 55000 570000 62 .0  1.8 350 7.8 62 .0  1.8 350 7.4 62 .0  200 770 2700 62 49.2 26000 260000 220000 62 5.23 56000 1900 750000 62 28.0 18000 280000 210000 62 48.9 55000 11000 710000
Run set coveritest.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized esbmc-kind.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized esbmc-falsi.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized klee.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized prtest.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized symbiotic.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized