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-error-call.ReachSafety-Sequentialized cpa-tiger.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized esbmc-kind.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized esbmc-falsi.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized fairfuzz.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized klee.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized prtest.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized symbiotic.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized verifuzz.test-comp19_prop-coverage-error-call.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 1 29 1100 220 1 5.0 300 44 .13 29 1.7 .12 29 1.5 3.2 10 49 1 .16 21 2.2 900 31 14000 1 1.8 25 26 1 5.2 180 59
pals_STARTPALS_ActiveStandby.1.ufo.UNBOUNDED.pals.yml 1 25 870 190 1 4.9 310 44 .13 29 1.5 .12 29 1.7 3.2 11 41 1 .18 21 2.1 900 31 12000 1 1.8 26 23 1 5.3 170 57
pals_STARTPALS_ActiveStandby.4_1.ufo.BOUNDED-10.pals.yml 1 26 870 230 1 6.7 330 64 .20 29 4.5 .20 29 3.4 3.2 10 38 1 .18 22 2.5 900 31 14000 1 1.8 25 22 1 5.0 170 51
pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.yml 1 25 890 200 1 6.2 320 53 .21 29 2.8 .19 29 2.5 3.2 10 37 1 .30 23 3.3 900 31 12000 1 1.8 26 22 1 5.7 170 62
pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.yml 1 26 890 210 1 6.8 330 55 .20 29 2.8 .19 29 2.5 3.2 10 46 1 .23 25 2.5 900 30 13000 1 1.8 25 27 1 4.9 170 50
pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.yml 1 31 1100 230 1 6.6 330 62 .20 29 2.3 .20 29 2.3 3.2 10 45 1 .17 21 2.0 900 31 11000 1 1.8 26 22 1 5.1 170 49
pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.yml 1 130 2200 1500 1 89   550 1100 .51 29 6.3 .34 29 3.8 3.2 10 37 1 .84 41 9.3 900 31 14000 1 8.3 260 100 1 14   170 150
pals_STARTPALS_ActiveStandby.5.ufo.UNBOUNDED.pals.yml 1 42 1100 410 1 22   410 240 .48 29 6.1 .32 29 4.3 3.2 10 42 1 8.8  170 120   900 31 11000 1 8.1 250 110 1 14   170 210
pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.yml 1 39 1200 340 1 24   860 240 .47 29 5.3 .29 29 3.6 3.2 11 37 1 .37 40 4.3 900 31 13000 1 1.8 26 23 1 5.6 170 52
pals_STARTPALS_Triplicated.1.ufo.UNBOUNDED.pals.yml 1 39 1300 350 1 23   880 250 .44 29 5.0 .30 29 3.2 3.2 11 38 1 .37 39 4.6 900 30 12000 1 1.8 26 29 1 5.6 170 59
pals_STARTPALS_Triplicated.2.ufo.BOUNDED-10.pals.yml 1 43 1400 370 1 25   780 220 .40 29 5.3 .27 29 2.9 3.2 11 43 1 1.1  67 15   900 31 11000 1 2.0 26 26 1 15   170 180
pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.yml 1 40 1400 420 1 24   900 250 .40 29 4.9 .26 29 3.5 3.2 10 45 1 .54 48 6.7 900 31 13000 1 2.0 26 25 1 12   170 130
pals_floodmax.3.1.ufo.BOUNDED-6.pals.yml 1 27 1000 300 1 5.8 300 62 .51 30 5.6 .26 29 2.9 3.2 11 42 1 .89 38 11   900 30 12000 2.5 27 32 1 4.7 170 43
pals_floodmax.3.1.ufo.UNBOUNDED.pals.yml 1 26 1000 290 1 5.6 300 52 .51 30 7.1 .24 29 2.9 3.2 10 44 1 .87 38 10   900 31 12000 2.4 27 32 1 4.8 170 50
pals_floodmax.3.2.ufo.BOUNDED-6.pals.yml 1 25 810 240 1 4.5 280 44 .21 29 2.1 .17 29 2.1 3.2 10 44 1 .60 33 6.9 900 31 11000 4.6 22 59 1 4.9 170 53
pals_floodmax.3.2.ufo.UNBOUNDED.pals.yml 1 26 790 230 1 4.7 290 42 .20 29 2.1 .19 29 2.0 3.2 11 45 1 .35 28 3.8 900 31 14000 6.4 22 89 1 4.8 170 47
pals_floodmax.3.3.ufo.BOUNDED-6.pals.yml 1 27 1100 270 1 6.1 310 64 .54 30 8.0 .26 29 3.2 3.2 11 45 1 .61 33 9.1 900 31 13000 5.0 23 73 1 4.9 170 57
pals_floodmax.3.3.ufo.UNBOUNDED.pals.yml 1 27 1300 250 1 6.1 300 61 .52 30 6.1 .26 29 3.4 3.2 10 41 1 .36 29 4.1 900 30 13000 4.3 23 58 1 5.0 170 47
pals_floodmax.3.4.ufo.BOUNDED-6.pals.yml 1 28 920 300 1 7.7 320 81 .53 30 6.7 .26 29 4.3 3.2 10 42 1 .68 33 8.9 900 31 13000 29   27 390 1 5.2 170 48
pals_floodmax.3.4.ufo.UNBOUNDED.pals.yml 1 26 1100 290 1 6.5 300 71 .55 30 6.6 .26 29 3.8 3.2 11 41 1 1.1  34 15   900 31 13000 29   27 410 1 4.9 170 52
pals_floodmax.3_overflow.ufo.UNBOUNDED.pals.yml 900 1500 8800 900   800 6100 900    3600 9600   900    2700 9200   3.2 11 40 1 1.6  33 20   900 31 11000 200   110 3100 1 4.8 170 49
pals_floodmax.4.1.ufo.BOUNDED-8.pals.yml 1 62 890 550 1 40   430 290 1.5  49 18   .74 45 8.8 3.2 11 45 900    3100 8800   900 31 14000 79   1700 960 1 5.5 190 58
pals_floodmax.4.1.ufo.UNBOUNDED.pals.yml 1 32 900 380 1 10   380 88 1.5  50 18   .76 46 9.8 3.2 11 45 900    3300 8900   900 31 12000 90   1800 1100 1 5.6 190 52
pals_floodmax.4.2.ufo.BOUNDED-8.pals.yml 1 30 840 340 1 10   340 95 1.2  52 19   .58 47 7.9 3.2 12 47 900    3100 9300   900 31 12000 21   160 280 1 5.7 190 64
pals_floodmax.4.2.ufo.UNBOUNDED.pals.yml 1 30 910 330 1 9.0 370 85 1.3  53 17   .56 47 7.7 3.2 12 52 1 .27 30 3.1 900 31 11000 20   160 320 1 5.6 190 60
pals_floodmax.4.3.ufo.BOUNDED-8.pals.yml 1 36 860 360 1 15   390 120 1.6  53 22   .81 48 9.8 3.2 12 41 900    3100 8300   900 31 13000 35   280 440 1 5.5 190 54
pals_floodmax.4.3.ufo.UNBOUNDED.pals.yml 1 42 940 450 1 21   500 190 1.6  52 22   .81 49 13   3.2 12 42 1 .29 30 3.4 900 31 12000 34   270 450 1 5.6 190 58
pals_floodmax.4.4.ufo.BOUNDED-8.pals.yml 1 58 780 500 1 38   440 280 1.9  53 23   1.1  49 15   3.2 12 43 900    3100 11000   900 31 12000 91   650 1100 1 27   190 310
pals_floodmax.4.4.ufo.UNBOUNDED.pals.yml 1 85 850 700 1 63   530 460 2.0  53 29   1.1  49 14   3.3 12 42 1 .26 31 3.8 900 31 13000 120   700 1500 1 31   190 430
pals_floodmax.4_overflow.ufo.UNBOUNDED.pals.yml 900 1600 8700 900   1200 5800 900    780 13000   900    580 11000   3.2 12 42 900    3100 9700   900 31 12000 900   1300 11000 1 5.5 190 65
pals_floodmax.5.1.ufo.BOUNDED-10.pals.yml 1 160 1300 1100 1 130   710 1100 6.4  150 69   3.4  150 53   3.2 12 44 900    15000 5600   900 34 13000 290   15000 3700 1 8.7 210 110
pals_floodmax.5.1.ufo.UNBOUNDED.pals.yml 1 190 1200 1500 1 170   740 1100 6.4  150 66   3.4  150 49   3.2 12 49 1 19    940 180   900 34 13000 290   15000 3700 1 8.8 220 99
pals_floodmax.5.2.ufo.BOUNDED-10.pals.yml 1 41 880 440 1 20   440 180 5.6  160 77   2.8  160 31   3.4 21 41 900    15000 6300   900 35 12000 76   15000 1000 1 8.8 220 97
pals_floodmax.5.2.ufo.UNBOUNDED.pals.yml 1 39 1100 400 1 18   450 160 5.7  160 66   2.8  160 33   3.4 21 48 1 160    5700 1500   900 35 12000 77   15000 1100 1 8.9 230 87
pals_floodmax.5.3.ufo.BOUNDED-10.pals.yml 1 70 1100 620 1 50   560 480 7.0  160 87   3.6  160 52   3.4 21 43 1 180    6000 1300   900 35 13000 75   15000 900 1 8.8 230 96
pals_floodmax.5.3.ufo.UNBOUNDED.pals.yml 1 160 1200 1200 1 140   680 1300 7.1  160 89   3.6  160 47   3.4 21 48 1 160    5600 1300   900 34 11000 77   15000 980 1 8.9 220 97
pals_floodmax.5.4.ufo.BOUNDED-10.pals.yml 900 1500 5300 900   950 5700 7.0  160 76   3.6  160 43   3.4 20 44 900    15000 5400   900 35 10000 75   15000 950 1 300   230 4300
pals_floodmax.5.4.ufo.UNBOUNDED.pals.yml 900 1500 5700 900   1100 5900 7.2  160 81   3.7  160 44   3.4 21 44 900    15000 5300   900 35 12000 77   15000 980 1 420   220 5900
pals_floodmax.5_overflow.ufo.UNBOUNDED.pals.yml 900 1700 5800 900   1000 8200 900    220 12000   900    220 11000   3.4 21 49 900    15000 4200   900 35 11000 77   15000 1000 1 9.0 230 90
pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.yml 1 35 1100 330 1 15   340 150 .38 28 4.8 .25 28 3.0 3.2 11 43 1 .20 21 2.5 900 31 12000 1 1.6 20 24 1 4.5 170 44
pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.yml 1 30 850 250 1 9.7 380 110 .38 28 4.8 .27 28 4.1 3.2 11 41 1 .20 20 2.2 900 31 12000 1 1.6 20 22 1 27   160 380
pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.yml 900 2000 14000 900   1000 12000 .37 27 4.8 .27 27 2.6 3.2 10 43 1 .17 21 1.6 900 31 12000 1 1.4 20 20 1 4.3 170 44
pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.yml 1 41 1100 420 1 21   440 250 .41 27 5.3 .29 27 3.8 3.2 10 43 1 .17 21 1.8 900 30 14000 1 1.5 20 21 1 4.6 160 54
pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.yml 900 4800 11000 900   480 10000 .69 28 7.9 .45 28 6.1 3.2 11 44 1 .42 23 5.7 900 31 13000 1 2.4 22 29 1 6.8 170 75
pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.yml 900 2000 11000 900   970 13000 .70 28 10   .47 28 6.9 3.2 10 47 1 .50 23 6.1 900 31 11000 1 2.5 23 36 1 4.8 170 43
pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.yml 900 2100 9800 900   760 9400 .97 29 15   .73 28 8.9 3.2 10 42 1 .23 23 2.3 900 30 13000 1 1.9 21 29 1 4.6 170 49
pals_lcr-var-start-time.4.2.ufo.UNBOUNDED.pals.yml 900 2000 12000 900   860 13000 .76 28 10   .47 28 5.8 3.2 11 37 1 .37 23 4.4 900 31 12000 1 2.0 21 26 1 4.7 170 47
pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.yml 900 4900 11000 930   740 13000 1.5  32 18   1.1  31 16   3.2 11 47 1 .98 32 12   900 30 12000 1 4.6 28 63 1 5.0 170 49
pals_lcr-var-start-time.5.1.ufo.UNBOUNDED.pals.yml 900 3200 14000 900   500 13000 1.6  33 21   1.3  32 17   3.2 10 42 1 1.9  33 45   900 31 11000 1 4.8 29 61 1 4.9 170 47
pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.yml 900 4500 12000 900   710 14000 1.4  31 18   1.0  30 13   3.2 10 42 1 .46 29 8.5 900 31 13000 1 2.8 24 40 1 4.9 170 47
pals_lcr-var-start-time.5.2.ufo.UNBOUNDED.pals.yml 900 1600 14000 900   930 12000 1.5  32 19   1.2  31 14   3.2 10 40 1 .48 29 5.4 900 30 12000 1 2.9 24 47 1 4.7 180 54
pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.yml 900 1300 14000 900   1100 11000 3.8  40 57   3.2  38 47   3.2 10 50 1 4.1  70 65   900 31 10000 1 10   49 130 1 4.9 180 48
pals_lcr-var-start-time.6.1.ufo.UNBOUNDED.pals.yml 900 1200 12000 900   750 14000 3.3  41 49   2.6  38 34   3.2 10 46 1 11    76 130   900 31 12000 1 11   52 170 1 5.2 180 53
pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.yml 900 2900 11000 900   2400 12000 4.5  39 52   3.9  37 53   3.2 10 48 1 .65 47 8.0 900 31 13000 1 4.6 32 67 1 4.7 180 48
pals_lcr-var-start-time.6.2.ufo.UNBOUNDED.pals.yml 900 1400 12000 900   1000 12000 3.7  40 54   3.1  38 46   3.2 11 51 1 4.7  72 62   900 31 12000 1 4.7 32 69 1 5.0 180 47
pals_lcr.3.1.ufo.BOUNDED-6.pals.yml 1 26 850 230 1 6.2 300 55 .29 27 3.4 .18 27 2.3 3.2 11 49 1 .23 21 2.0 900 31 9300 1 1.5 20 21 1 4.2 160 40
pals_lcr.3.1.ufo.UNBOUNDED.pals.yml 1 230 4000 2800 1 170   750 2100 .30 27 3.4 .20 27 2.5 3.2 10 44 1 .18 21 2.4 900 31 12000 1 1.4 20 22 1 4.2 160 39
pals_lcr.3_overflow.ufo.UNBOUNDED.pals.yml 900 1800 12000 900   950 9300 900    1200 11000   900    820 11000   3.2 11 41 1 .48 21 6.1 900 31 12000 1 2.0 26 28 1 4.4 170 44
pals_lcr.4.1.ufo.BOUNDED-8.pals.yml 900 1800 9300 900   1000 9400 .54 28 7.2 .35 28 4.9 3.2 10 46 1 .37 21 4.3 900 31 12000 1 2.7 20 36 1 8.8 170 110
pals_lcr.4.1.ufo.UNBOUNDED.pals.yml 900 2000 12000 900   1300 13000 .52 28 6.7 .33 28 3.7 3.2 10 48 1 .51 21 5.6 900 31 12000 1 2.7 21 36 1 15   170 180
pals_lcr.4_overflow.ufo.UNBOUNDED.pals.yml 900 2900 6600 900   1000 6700 900    740 13000   900    520 11000   3.2 11 39 1 .91 21 11   900 31 12000 1 5.0 37 64 1 4.2 170 45
pals_lcr.5.1.ufo.BOUNDED-10.pals.yml 900 3600 11000 900   1900 12000 .93 29 13   .63 28 8.3 3.2 11 36 1 .90 23 12   900 31 12000 1 6.8 24 100 1 370   170 4700
pals_lcr.5.1.ufo.UNBOUNDED.pals.yml 900 3900 10000 900   990 8000 .91 30 12   .61 29 8.6 3.2 11 41 1 1.8  24 22   900 31 11000 1 6.5 24 97 1 27   170 350
pals_lcr.5_overflow.ufo.UNBOUNDED.pals.yml 900 4400 8500 900   870 9500 900    490 13000   900    340 11000   3.2 11 41 1 2.4  25 37   900 30 13000 1 16   64 220 1 4.5 170 44
pals_lcr.6.1.ufo.BOUNDED-12.pals.yml 900 2500 11000 900   600 11000 1.6  35 20   1.2  34 15   3.2 12 46 1 .95 26 13   900 31 13000 1 19   35 260 1 180   180 2400
pals_lcr.6.1.ufo.UNBOUNDED.pals.yml 900 1800 10000 900   600 11000 1.6  36 22   1.2  34 16   3.2 12 46 1 1.4  25 18   900 31 13000 1 20   35 260 1 5.4 180 66
pals_lcr.6_overflow.ufo.UNBOUNDED.pals.yml 900 2400 10000 900   540 12000 900    340 11000   900    260 11000   3.2 12 41 1 9.2  39 130   900 31 12000 1 49   130 650 1 4.9 180 48
pals_lcr.7.1.ufo.BOUNDED-14.pals.yml 900 1100 11000 900   610 14000 3.6  43 48   2.9  40 37   3.2 13 40 1 8.2  43 100   900 31 14000 1 55   74 710 1 110   180 1500
pals_lcr.7.1.ufo.UNBOUNDED.pals.yml 900 1200 13000 900   470 13000 3.5  44 42   2.9  41 39   3.2 12 38 1 7.4  41 100   900 31 13000 1 55   71 740 1 4.8 190 48
pals_lcr.7_overflow.ufo.UNBOUNDED.pals.yml 900 1800 12000 900   600 13000 900    250 12000   900    190 13000   3.2 12 49 1 39    96 480   900 31 14000 1 180   300 2700 1 4.6 180 42
pals_lcr.8.1.ufo.BOUNDED-16.pals.yml 900 1300 11000 900   600 12000 9.4  53 120   8.5  49 120   3.3 14 43 1 3.3  32 44   900 31 14000 1 160   190 2500 1 570   190 7200
pals_lcr.8.1.ufo.UNBOUNDED.pals.yml 900 1100 11000 900   720 13000 9.4  54 140   8.5  50 100   3.2 14 46 1 14    56 190   900 31 12000 1 170   190 2500 1 5.0 190 50
pals_lcr.8_overflow.ufo.UNBOUNDED.pals.yml 900 1100 14000 900   760 11000 900    200 13000   900    170 12000   3.2 13 49 1 190    340 2300   900 31 13000 1 670   790 11000 1 4.7 190 48
pals_opt-floodmax.3.1.ufo.BOUNDED-6.pals.yml 1 26 890 270 1 5.8 300 53 .54 30 7.0 .27 29 3.3 3.2 11 38 1 .63 64 7.9 900 31 13000 2.6 27 32 1 4.9 170 49
pals_opt-floodmax.3.1.ufo.UNBOUNDED.pals.yml 1 27 1000 280 1 5.9 300 55 .61 30 7.8 .28 29 3.1 3.2 10 41 1 20    170 250   900 31 12000 2.6 27 37 1 5.1 170 58
pals_opt-floodmax.3.2.ufo.BOUNDED-6.pals.yml 1 25 890 260 1 5.2 300 57 .21 29 2.1 .20 29 2.0 3.2 10 43 1 .60 60 7.5 900 30 11000 5.1 23 63 1 4.8 170 47
pals_opt-floodmax.3.2.ufo.UNBOUNDED.pals.yml 1 26 1300 260 1 4.8 290 42 .22 29 2.3 .18 29 2.2 3.2 11 43 1 .64 65 7.5 900 31 14000 5.0 23 69 1 4.8 170 48
pals_opt-floodmax.3.3.ufo.BOUNDED-6.pals.yml 1 27 1200 280 1 5.9 310 63 .55 30 7.4 .27 29 3.3 3.2 11 50 1 .61 60 7.3 900 30 13000 4.5 24 61 1 5.0 170 49
pals_opt-floodmax.3.3.ufo.UNBOUNDED.pals.yml 1 27 1100 290 1 6.3 310 56 .55 30 6.8 .27 29 3.6 3.2 10 45 1 .74 70 9.5 900 31 12000 3.7 23 56 1 4.6 180 48
pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.yml 1 29 1000 290 1 7.5 320 75 .56 30 8.2 .28 29 2.5 3.2 10 37 1 .66 62 8.4 900 31 11000 27   27 360 1 4.9 170 50
pals_opt-floodmax.3.4.ufo.UNBOUNDED.pals.yml 1 28 990 300 1 6.6 310 66 .56 30 7.9 .27 29 3.6 3.2 11 44 1 5.6  130 77   900 31 14000 26   27 350 1 5.0 180 48
pals_opt-floodmax.3_overflow.ufo.UNBOUNDED.pals.yml 900 2000 9200 900   1300 10000 900    3400 10000   900    2700 11000   3.2 10 47 1 9.6  130 110   900 31 14000 200   110 2900 1 4.7 180 52
pals_opt-floodmax.4.1.ufo.BOUNDED-8.pals.yml 1 33 810 350 1 12   500 120 1.6  53 20   .83 48 9.9 3.2 10 47 1 290    11000 1700   900 31 12000 87   1800 1400 1 5.6 180 63
pals_opt-floodmax.4.1.ufo.UNBOUNDED.pals.yml 1 44 810 480 1 24   420 180 1.6  51 20   .85 48 9.7 3.2 11 41 1 280    11000 1800   900 31 13000 97   1900 1400 1 5.7 190 51
pals_opt-floodmax.4.2.ufo.BOUNDED-8.pals.yml 1 30 740 320 1 10   360 98 1.3  55 16   .60 49 8.3 3.2 13 40 1 280    11000 1800   900 31 11000 22   170 290 1 5.7 200 53
pals_opt-floodmax.4.2.ufo.UNBOUNDED.pals.yml 1 32 870 330 1 12   350 100 1.3  55 18   .61 49 8.2 3.2 13 48 1 280    11000 1900   900 31 12000 24   170 310 1 5.9 200 61
pals_opt-floodmax.4.3.ufo.BOUNDED-8.pals.yml 1 40 970 440 1 18   410 170 1.8  55 20   .91 51 9.9 3.2 12 46 1 290    11000 1500   900 31 12000 34   270 430 1 5.7 190 64
pals_opt-floodmax.4.3.ufo.UNBOUNDED.pals.yml 1 32 950 370 1 12   490 120 1.7  55 25   .89 51 13   3.3 12 42 1 280    11000 2200   900 32 12000 32   270 410 1 5.6 190 58
pals_opt-floodmax.4.4.ufo.BOUNDED-8.pals.yml 1 99 970 730 1 76   580 710 1.8  55 21   .88 51 12   3.3 12 45 1 320    11000 1900   900 31 13000 98   670 1200 1 22   190 280
pals_opt-floodmax.4.4.ufo.UNBOUNDED.pals.yml 1 150 1100 1500 1 140   500 1100 1.7  54 24   .89 51 11   3.3 13 44 900    13000 5900   900 31 12000 120   710 1400 1 26   200 310
pals_opt-floodmax.4_overflow.ufo.UNBOUNDED.pals.yml 900 1600 7100 900   1100 7600 900    810 11000   900    640 11000   3.2 13 41 1 290    11000 1700   900 31 12000 900   1400 12000 1 5.6 190 57
pals_opt-floodmax.5.1.ufo.BOUNDED-10.pals.yml 1 620 1600 4600 1 610   1100 4000 7.0  150 83   3.6  150 42   3.2 12 46 900    15000 6200   900 34 14000 290   15000 3800 1 8.9 220 110
pals_opt-floodmax.5.1.ufo.UNBOUNDED.pals.yml 1 380 1600 3200 1 360   1000 2500 6.9  150 82   3.7  150 44   3.3 13 48 900    15000 6500   900 34 12000 290   15000 3500 1 9.2 220 100
pals_opt-floodmax.5.2.ufo.BOUNDED-10.pals.yml 1 82 1100 670 1 62   490 450 6.1  160 73   3.0  160 33   3.4 21 46 900    14000 5300   900 35 14000 76   15000 980 1 8.9 220 110
pals_opt-floodmax.5.2.ufo.UNBOUNDED.pals.yml 1 110 1100 930 1 92   530 680 6.0  160 73   3.0  160 41   3.4 21 53 900    14000 5500   900 35 10000 73   15000 940 1 9.4 230 100
pals_opt-floodmax.5.3.ufo.BOUNDED-10.pals.yml 1 71 1400 630 1 50   550 480 7.5  160 100   3.9  160 41   3.4 21 47 900    14000 5100   900 35 11000 73   15000 840 1 9.2 230 110
pals_opt-floodmax.5.3.ufo.UNBOUNDED.pals.yml 1 260 1500 2000 1 230   800 2100 7.6  160 110   3.9  160 45   3.4 21 44 900    14000 6200   900 35 11000 73   15000 860 1 9.2 250 98
pals_opt-floodmax.5.4.ufo.BOUNDED-10.pals.yml 900 1800 5800 900   1200 6100 7.9  160 95   4.3  160 53   3.4 21 40 900    14000 5800   900 35 12000 73   15000 880 1 380   230 4700
pals_opt-floodmax.5.4.ufo.UNBOUNDED.pals.yml 900 1500 5800 900   1000 5600 7.9  160 99   4.2  160 52   3.4 21 42 900    14000 5500   900 35 11000 73   15000 920 1 210   240 3000
pals_opt-floodmax.5_overflow.ufo.UNBOUNDED.pals.yml 900 1400 6000 900   970 4400 900    230 13000   900    220 11000   3.4 21 51 900    14000 6300   900 35 13000 73   15000 900 1 9.4 250 120
../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 100 61 39000 150000 440000 100 61 38000 65000 430000 100 11000 17000 150000 100 11000 14000 130000 100 320 1200 4400 100 79 22000 340000 160000 100 90000 3100 1200000 100 46 7100 290000 95000 100 100 3200 19000 42000
Run set coveritest.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized cpa-tiger.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized esbmc-kind.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized esbmc-falsi.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized fairfuzz.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized klee.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized prtest.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized symbiotic.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized