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-Floats cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-Floats esbmc-kind.test-comp19_prop-coverage-branches.ReachSafety-Floats esbmc-falsi.test-comp19_prop-coverage-branches.ReachSafety-Floats fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-Floats klee.test-comp19_prop-coverage-branches.ReachSafety-Floats prtest.test-comp19_prop-coverage-branches.ReachSafety-Floats symbiotic.test-comp19_prop-coverage-branches.ReachSafety-Floats verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Floats
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/ 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)
floats-cdfpl/newton_1_1.yml timeout .833  900   640 6300 timeout .833  900   640 7500 unknown .0  .023 5.7 .051 unknown .0  .024 5.7 .073 timeout .833  900   11 13000 done .5     .14 21 1.3  timeout .833  900    31 11000   done .5     .35 18 4.0 error .5    880 150 12000
floats-cdfpl/newton_1_2.yml timeout .833  900   620 9600 timeout .833  900   620 6200 unknown .0  .023 5.7 .11  unknown .0  .021 5.7 .14  timeout .833  900   11 12000 done .5     .14 21 1.2  timeout .833  900    31 11000   done .5     .35 18 4.5 error .5    880 150 14000
floats-cdfpl/newton_1_3.yml timeout .833  900   630 7800 timeout .833  900   620 5900 unknown .0  .029 5.7 .12  unknown .0  .026 5.7 .10  timeout .833  900   11 12000 done .5     .11 20 1.2  timeout .833  900    31 13000   done .5     .36 18 5.0 error .5    880 150 13000
floats-cdfpl/newton_1_4.yml done 1.0    94   380 800 unknown 1.0    81   380 580 unknown .0  .030 5.6 .12  unknown .0  .028 5.7 .25  timeout .833  900   10 12000 done .5     .13 21 1.2  timeout 1.0    900    30 12000   done .5     .36 19 4.3 error .667  880 150 11000
floats-cdfpl/newton_1_5.yml done 1.0    77   390 570 unknown 1.0    63   370 470 unknown .0  .024 5.7 .14  unknown .0  .050 5.7 .075 timeout 1.0    900   11 11000 done .5     .13 21 1.0  timeout 1.0    900    31 12000   done .5     .38 18 4.3 error .667  880 150 11000
floats-cdfpl/newton_1_6.yml done 1.0    64   380 600 unknown 1.0    51   390 370 unknown .0  .023 5.7 .11  unknown .0  .025 5.8 .11  timeout .833  900   11 13000 done .5     .13 21 1.2  timeout 1.0    900    31 13000   done .5     .35 18 4.7 error .667  880 150 11000
floats-cdfpl/newton_1_7.yml done 1.0    42   380 320 unknown 1.0    28   370 230 unknown .0  .025 5.7 .095 unknown .0  .026 5.7 .13  timeout .833  900   11 12000 done .5     .14 21 1.2  timeout 1.0    900    31 14000   done .5     .36 18 4.8 error .667  880 150 12000
floats-cdfpl/newton_1_8.yml done 1.0    36   380 280 unknown 1.0    21   370 180 unknown .0  .023 5.7 .13  unknown .0  .024 5.7 .093 timeout 1.0    900   10 12000 done .5     .13 21 1.6  timeout 1.0    900    31 13000   done .5     .37 18 3.4 error .667  880 150 14000
floats-cdfpl/newton_2_1.yml timeout .833  900   570 7100 timeout .833  900   560 6900 unknown .0  .047 5.5 .088 unknown .0  .022 5.7 .14  timeout .833  900   10 11000 done .5     .12 21 1.2  timeout .833  900    31 11000   done .5     .36 19 4.4 error .5    880 160 11000
floats-cdfpl/newton_2_2.yml timeout .833  900   870 6500 timeout .833  900   870 6600 unknown .0  .047 5.8 .098 unknown .0  .025 5.7 .077 timeout .833  900   11 11000 done .5     .12 22 1.3  timeout .833  900    31 12000   done .5     .35 18 4.1 error .5    880 150 11000
floats-cdfpl/newton_2_3.yml timeout .833  900   570 6000 timeout .833  900   570 7400 unknown .0  .023 5.7 .11  unknown .0  .019 5.7 .32  timeout .833  900   11 14000 done .5     .11 21 1.3  timeout .833  900    30 8900   done .5     .36 19 4.4 error .5    880 150 13000
floats-cdfpl/newton_2_4.yml timeout .833  900   620 7700 timeout .833  900   630 5800 unknown .0  .026 5.7 .091 unknown .0  .023 5.7 .085 timeout .833  900   10 12000 done .5     .14 21 1.1  timeout .833  900    31 11000   done .5     .36 18 5.5 error .5    880 150 14000
floats-cdfpl/newton_2_5.yml timeout .833  900   630 7200 timeout .833  900   630 7500 unknown .0  .023 5.7 .062 unknown .0  .031 5.7 .13  timeout .833  900   10 12000 done .5     .14 21 1.3  timeout .833  900    31 11000   done .5     .36 19 4.1 error .5    880 150 10000
floats-cdfpl/newton_2_6.yml done 1.0    79   480 780 unknown 1.0    61   490 570 unknown .0  .023 5.7 .078 unknown .0  .049 5.7 .055 timeout .833  900   11 15000 done .5     .11 21 2.0  timeout 1.0    900    31 11000   done .5     .36 19 4.4 error .667  880 150 13000
floats-cdfpl/newton_2_7.yml done 1.0    130   500 1300 unknown 1.0    110   480 850 unknown .0  .018 5.6 .15  unknown .0  .025 5.7 .11  timeout .833  900   11 14000 done .5     .12 21 1.2  timeout 1.0    900    31 11000   done .5     .38 18 4.1 error .667  880 150 12000
floats-cdfpl/newton_2_8.yml done 1.0    63   500 410 unknown 1.0    51   480 400 unknown .0  .045 5.5 .082 unknown .0  .036 5.8 .10  timeout .833  900   11 12000 done .5     .12 21 1.1  timeout 1.0    900    30 11000   done .5     .35 18 5.0 error .667  880 150 10000
floats-cdfpl/newton_3_1.yml timeout .833  900   660 6100 timeout .5    900   630 6500 unknown .0  .028 5.7 .14  unknown .0  .029 5.8 .17  timeout .833  900   11 12000 done .5     .13 22 1.2  timeout .833  900    31 14000   done .5     .36 19 4.6 error .5    880 230 12000
floats-cdfpl/newton_3_2.yml timeout .833  900   620 6300 timeout .5    900   590 5800 unknown .0  .043 5.6 .081 unknown .0  .023 5.6 .11  timeout .833  900   10 13000 done .5     .11 21 1.1  timeout .833  900    31 13000   done .5     .38 18 3.9 error .5    880 230 12000
floats-cdfpl/newton_3_3.yml timeout .833  900   750 5700 timeout .5    900   730 6400 unknown .0  .026 5.6 .10  unknown .0  .030 5.7 .17  timeout .833  900   10 12000 done .5     .12 21 1.3  timeout .833  900    31 11000   done .5     .37 18 4.3 error .5    880 220 11000
floats-cdfpl/newton_3_4.yml timeout .833  900   730 5900 timeout .5    900   730 6800 unknown .0  .024 5.6 .13  unknown .0  .027 5.7 .11  timeout .833  900   11 12000 done .5     .14 21 1.1  timeout .833  900    31 12000   done .5     .36 18 4.8 error .5    880 240 11000
floats-cdfpl/newton_3_5.yml timeout .833  900   630 7200 timeout .5    900   600 6300 unknown .0  .031 5.9 .18  unknown .0  .024 5.7 .12  timeout .833  900   10 14000 done .5     .13 22 1.4  timeout .833  900    31 11000   done .5     .38 18 5.0 error .5    880 230 12000
floats-cdfpl/newton_3_6.yml done 1.0    320   610 2300 timeout .667  900   850 11000 unknown .0  .024 5.8 .11  unknown .0  .047 5.6 .088 timeout .833  900   11 15000 done .5     .13 21 1.3  timeout 1.0    900    31 12000   done .5     .37 18 5.0 error .667  880 220 11000
floats-cdfpl/newton_3_7.yml done 1.0    220   560 1700 unknown 1.0    280   620 1900 unknown .0  .029 5.7 .15  unknown .0  .025 5.7 .11  timeout .833  900   11 12000 done .5     .12 21 1.1  timeout 1.0    900    31 13000   done .5     .39 18 4.9 error .667  880 230 11000
floats-cdfpl/newton_3_8.yml done 1.0    68   650 740 unknown 1.0    49   590 410 unknown .0  .024 5.7 .13  unknown .0  .023 5.7 .092 timeout 1.0    900   10 12000 done .5     .13 21 1.4  timeout 1.0    900    31 12000   done .5     .38 19 4.0 error .667  880 200 11000
floats-cdfpl/sine_1.yml done 1.0    610   610 5300 unknown .75   890   830 7700 unknown .0  .032 5.6 .098 unknown .0  .025 5.7 .060 timeout .875  900   11 12000 done .5     .12 21 1.2  timeout 1.0    900    31 12000   done .5     .35 19 5.0 error .75   880 150 10000
floats-cdfpl/sine_2.yml timeout .875  900   500 7100 timeout .75   900   510 8400 unknown .0  .037 5.5 .089 unknown .0  .020 5.7 .078 timeout .875  900   11 13000 done .5     .12 21 1.0  timeout 1.0    900    31 12000   done .5     .34 18 4.5 error .75   880 150 11000
floats-cdfpl/sine_3.yml done 1.0    67   350 650 unknown 1.0    47   340 430 unknown .0  .023 5.7 .10  unknown .0  .048 5.7 .15  timeout .75   900   10 11000 done .5     .14 21 1.1  timeout 1.0    900    31 12000   done .5     .36 19 3.8 error .75   880 150 11000
floats-cdfpl/sine_4.yml timeout .75   900   590 6200 timeout .625  900   590 6800 unknown .0  .019 5.6 .21  unknown .0  .023 5.7 .10  timeout .75   900   10 13000 done .5     .11 21 1.2  timeout .75   900    31 11000   done .5     .35 18 4.1 error .625  880 150 12000
floats-cdfpl/sine_5.yml timeout .75   900   430 5700 timeout .625  900   420 6500 unknown .0  .024 5.7 .10  unknown .0  .022 5.7 .14  timeout .75   900   10 11000 done .5     .11 21 1.3  timeout .75   900    31 13000   done .5     .35 19 3.9 error .625  880 150 11000
floats-cdfpl/sine_6.yml timeout .75   900   650 7300 timeout .625  900   640 6000 unknown .0  .023 5.7 .064 unknown .0  .030 5.7 .14  timeout .75   900   10 11000 done .5     .14 21 1.0  timeout .75   900    31 11000   done .5     .34 19 4.0 error .625  880 150 12000
floats-cdfpl/sine_7.yml timeout .75   900   680 5900 timeout .625  900   680 8400 unknown .0  .046 5.7 .069 unknown .0  .032 5.6 .12  timeout .75   900   10 13000 done .5     .13 21 1.2  timeout .75   900    31 11000   done .5     .34 19 4.6 error .625  880 150 11000
floats-cdfpl/sine_8.yml timeout .75   900   590 7400 unknown .625  690   780 8400 unknown .0  .024 5.7 .12  unknown .0  .025 5.7 .077 timeout .75   900   10 12000 done .5     .12 21 1.6  timeout .75   900    31 9800   done .5     .34 19 3.8 error .625  880 150 11000
floats-cdfpl/square_1.yml done .875  29   360 390 unknown .875  38   350 410 unknown .0  .024 5.7 .098 unknown .0  .021 5.8 .14  timeout .625  900   11 14000 done .5     .13 21 1.2  timeout .875  900    31 14000   done .5     .37 18 4.0 error .75   880 150 11000
floats-cdfpl/square_2.yml done .875  130   1800 1400 unknown .875  94   360 900 unknown .0  .028 5.7 .17  unknown .0  .021 5.7 .11  timeout .75   900   10 12000 done .5     .12 21 1.2  timeout .875  900    31 11000   done .5     .33 18 4.0 error .75   880 150 13000
floats-cdfpl/square_3.yml done .875  200   1700 1700 unknown .875  110   370 880 unknown .0  .026 5.9 .10  unknown .0  .024 5.7 .11  timeout .75   900   11 11000 done .5     .12 21 1.1  timeout .875  900    30 11000   done .5     .33 19 4.3 error .625  880 150 11000
floats-cdfpl/square_4.yml done .75   370   470 3600 timeout .5    900   690 6400 unknown .0  .022 5.7 .11  unknown .0  .026 5.7 .17  timeout .75   900   10 11000 done .5     .13 21 1.1  timeout .75   900    31 12000   done .5     .34 18 4.4 error .625  880 150 11000
floats-cdfpl/square_5.yml timeout .75   900   600 6900 timeout .5    900   530 6300 unknown .0  .023 5.7 .083 unknown .0  .024 5.7 .12  timeout .75   900   11 13000 done .5     .12 21 1.2  timeout .75   900    31 11000   done .5     .34 18 3.9 error .625  880 150 12000
floats-cdfpl/square_6.yml done .75   650   630 3700 timeout .5    900   680 6800 unknown .0  .027 5.7 .17  unknown .0  .025 5.7 .12  timeout .625  900   10 14000 done .5     .13 21 1.1  timeout .75   900    31 10000   done .5     .33 18 4.1 error .625  880 150 11000
floats-cdfpl/square_7.yml done .75   260   460 1900 timeout .5    900   510 6700 unknown .0  .026 5.7 .11  unknown .0  .027 5.7 .17  timeout .75   900   10 12000 done .5     .13 21 1.2  timeout .75   900    31 10000   done .5     .33 18 4.2 error .625  880 150 10000
floats-cdfpl/square_8.yml done .75   40   360 510 unknown .75   44   370 420 unknown .0  .021 5.7 .097 unknown .0  .019 5.7 .23  timeout .75   900   10 13000 done .5     .12 21 1.3  timeout .75   900    31 10000   done .5     .34 19 4.2 error .625  880 150 12000
floats-cbmc-regression/float-no-simp2.yml done .5    30   400 360 true .5    11   320 120 unknown .0  .028 5.9 .090 unknown .0  .024 5.7 .090 done .5    150   17 2000 unknown .0     .11 21 1.2  timeout .5    900    31 14000   unknown .0     .39 16 5.1 error .5    890 180 12000
floats-cbmc-regression/float-to-double1.yml done .167  24   1700 290 unknown .167  4.4 280 42 unknown .0  .027 5.6 .20  unknown .0  .024 5.8 .15  done .667  9.0 16 29 done .167   .13 21 1.4  timeout .667  900    31 14000   done .167   .34 18 4.2 timeout .167  900 170 11000
floats-cbmc-regression/float12.yml done .75   23   1300 240 unknown .75   3.0 270 28 unknown .0  .026 5.7 .13  unknown .0  .021 5.7 .16  done .75   23   16 67 done .5     .11 21 2.2  timeout .0    900    31 15000   done .5     .36 18 4.8 timeout .75   900 150 11000
floats-cbmc-regression/float19.yml done .25   23   1500 270 true .25   4.3 280 38 unknown .0  .052 5.6 .12  unknown .0  .024 5.7 .12  done .75   7.3 17 57 done .25    .12 21 1.3  timeout .75   900    31 12000   done .25    .35 19 4.2 timeout .75   900 180 12000
floats-cbmc-regression/float20.yml done .5    5.8 290 63 true .5    4.3 300 43 unknown .0  .023 5.6 .086 unknown .0  .038 5.5 .089 couldn't run: all seeds time out or crash .0    3.1 10 41 done .0     .15 22 1.2  timeout .0    900    31 9500   done .0     .40 19 6.2 error .0    880 150 9700
floats-cbmc-regression/float3.yml done .875  3.7 260 36 unknown .875  3.5 290 36 unknown .0  .025 5.7 .11  unknown .0  .022 5.8 .082 done .5    27   17 86 done .875   .12 21 1.1  timeout .875  900    31 16000   done .5     .30 19 3.6 timeout .875  900 150 11000
floats-cbmc-regression/float4.yml done .5    40   380 430 true .5    31   330 390 unknown .0  .021 5.7 .16  unknown .0  .028 5.7 .19  done .5    150   16 2300 error (0) .5     .14 22 1.4  timeout .5    900    31 14000   done .5     .43 19 5.8 error .5    880 180 13000
floats-cbmc-regression/float5.yml exception .667  4.6 280 37 unknown .833  3.3 280 37 unknown .0  .026 5.7 .18  unknown .0  .023 5.7 .11  couldn't run: all seeds time out or crash .0    3.2 11 44 done .417   .11 21 1.2  timeout .583  900    31 13000   done .417   .34 18 4.1 timeout .583  900 150 10000
floats-cbmc-regression/float6.yml done .562  8.4 430 73 true .562  3.8 270 38 unknown .0  .030 5.7 .18  unknown .0  .023 5.6 .12  couldn't run: all seeds time out or crash .0    3.1 11 38 done .0313  .12 21 1.4  timeout .0313 900    31 11000   done .0313  .36 19 4.8 timeout .0313 900 150 11000
floats-cbmc-regression/float8.yml done .5    27   1500 310 true .5    5.1 280 55 unknown .0  .023 5.6 .12  unknown .0  .029 5.7 .15  done .5    120   17 1600 unknown .0     .15 21 1.0  timeout .5    900    31 12000   unknown .0     .38 16 4.7 error .5    890 180 13000
float-benchs/arctan_Pade.yml done .786  180   650 2200 unknown .643  700   790 7400 unknown .0  .018 5.7 .014 unknown .0  .027 5.7 .16  done .714  460   15 6100 done .5     .13 21 1.3  timeout .5    900    31 14000   done .5     .42 18 5.2 error .571  880 260 10000
float-benchs/bary_diverge.yml timeout .75   900   1200 11000 unknown .75   4.2 300 44 unknown .0  .027 5.6 .16  unknown .0  .026 5.9 .078 couldn't run: all seeds time out or crash .0    3.2 18 40 timeout .562   900    56 10000    timeout .75   900    31 11000   done .562   860    52 9400   timeout .75   900 150 11000
float-benchs/cast_float_ptr.yml done .167  5.0 280 49 unknown .167  3.5 270 31 unknown .0  .024 5.7 .087 unknown .0  .030 5.7 .16  false(unreach-call) .583  16   15 74 done .5     .15 21 1.1  done .0833 .27 31 3.2 done .167   .35 18 3.8 error .5    880 150 13000
float-benchs/cast_float_union.yml done .25   22   1500 290 true .25   3.2 280 28 unknown .0  .043 5.7 .16  unknown .0  .023 5.7 .096 done .25   29   17 81 done .5     .12 21 1.3  timeout .125  900    31 14000   done .25    .32 16 4.4 timeout .5    900 150 11000
float-benchs/cast_union_loose.yml done .7    6.0 290 60 unknown .7    3.7 280 40 unknown .0  .046 5.7 .089 unknown .0  .045 5.7 .099 timeout .8    900   10 14000 done .6     .13 21 1.1  done .7    3.4  31 45   done .5     .38 19 5.1 error .8    880 150 13000
float-benchs/cast_union_tight.yml done .5    4.2 270 42 unknown .5    3.3 280 34 unknown .0  .024 5.7 .14  unknown .0  .027 5.7 .12  false(unreach-call) 1.0    7.2 10 33 done .5     .13 21 1.3  done .0    .26 30 3.1 done .5     .32 18 4.9 error 1.0    890 150 11000
float-benchs/cos_polynomial.yml timeout .75   900   1000 5700 timeout .438  900   1100 8400 unknown .0  .037 5.5 .088 unknown .0  .025 5.7 .050 done .562  710   10 8600 done .438   .15 21 1.2  timeout .0625 900    31 13000   done .438   .38 18 6.0 error .688  880 150 10000
float-benchs/divmul_buf_diverge.yml timeout .5    900   1100 7300 unknown .5    3.5 280 34 unknown .0  .026 5.7 .14  unknown .0  .025 5.7 .13  couldn't run: all seeds time out or crash .0    3.1 16 44 timeout .357   900    9300 11000    timeout .357  900    31 10000   timeout (verification) .0     900    15000 12000   error .5    880 150 11000
float-benchs/divmul_diverge.yml timeout .5    900   1000 8800 unknown .5    3.6 280 38 unknown .0  .021 5.7 .17  unknown .0  .029 5.7 .16  couldn't run: all seeds time out or crash .0    3.1 17 42 timeout .357   900    9200 12000    timeout .357  900    30 12000   timeout (verification) .0     900    15000 10000   error .5    880 150 10000
float-benchs/exp_loop.yml timeout .792  900   4900 7900 unknown .792  4.3 290 39 unknown .0  .050 5.8 .081 unknown .0  .022 5.6 .14  couldn't run: all seeds time out or crash .0    3.2 10 41 done .0417  .13 21 1.6  timeout .833  900    31 13000   done .0417  .45 18 6.0 error .792  880 150 10000
float-benchs/feedback_diverge.yml timeout .5    900   1000 6800 unknown .5    3.3 270 33 unknown .0  .030 5.7 .10  unknown .0  .023 5.6 .11  couldn't run: all seeds time out or crash .0    3.1 17 39 timeout .357   900    8600 7800    timeout .357  900    30 11000   timeout (verification) .0     900    15000 12000   error .5    880 150 11000
float-benchs/filter1.c.p+cfa-reducer.yml timeout .75   900   1100 12000 unknown .75   5.7 310 68 unknown .0  .026 5.7 .21  unknown .0  .018 5.7 .14  timeout .75   900   89 12000 timeout .562   900    8200 8600    timeout .5    900    31 13000   timeout (verification) .0     900    11000 11000   timeout .75   900 150 13000
float-benchs/filter1.c.v+lhb-reducer.yml timeout .719  900   1400 12000 true .719  18   360 220 unknown .0  .031 5.7 .10  unknown .0  .024 5.7 .088 timeout .719  900   65 12000 timeout .562   930    4400 12000    timeout .0625 900    31 13000   timeout (verification) .0     900    12000 11000   error .656  880 160 10000
float-benchs/filter1.c.v+nlh-reducer.yml timeout .719  900   1300 11000 true .719  20   360 260 unknown .0  .019 5.7 .23  unknown .0  .047 5.5 .080 timeout .719  900   72 11000 timeout .562   900    9400 12000    timeout .0625 900    30 14000   timeout (verification) .0     900    12000 12000   error .688  880 160 11000
float-benchs/filter1.yml timeout .714  900   1000 12000 unknown .714  5.5 310 56 unknown .0  .024 5.7 .15  unknown .0  .021 5.7 .13  couldn't run: all seeds time out or crash .0    3.1 14 45 timeout .571   900    7200 13000    timeout .571  900    31 11000   done .571   880    8300 9900   error .714  880 150 11000
float-benchs/filter2.yml timeout .8    900   800 11000 unknown .8    31   410 410 unknown .0  .030 5.7 .14  unknown .0  .024 5.7 .094 couldn't run: all seeds time out or crash .0    3.2 15 37 timeout .5     900    52 11000    timeout .35   900    30 11000   done .5     860    57 11000   error .65   880 150 12000
float-benchs/filter2_alt.yml timeout .75   900   1100 10000 unknown .75   7.2 310 77 unknown .0  .025 5.7 .082 unknown .0  .022 5.7 .12  couldn't run: all seeds time out or crash .0    3.1 15 49 timeout .583   900    53 11000    timeout .75   900    31 13000   done .583   860    53 10000   timeout .75   900 160 14000
float-benchs/filter2_reinit.yml timeout .818  900   680 8100 unknown .818  47   410 400 unknown .0  .027 5.7 .12  unknown .0  .024 5.7 .11  couldn't run: all seeds time out or crash .0    3.1 14 44 timeout .545   900    8800 9000    timeout .318  900    31 13000   done .5     860    66 12000   error .682  880 150 11000
float-benchs/filter2_set.yml timeout .9    900   810 11000 unknown .9    160   680 2100 unknown .0  .032 5.7 .12  unknown .0  .024 5.7 .089 couldn't run: all seeds time out or crash .0    3.1 10 36 done .025   .12 21 1.3  timeout .025  900    30 12000   done .025   .40 19 5.0 error .1    880 150 10000
float-benchs/filter_iir.yml timeout .7    900   1200 13000 timeout .5    900   950 11000 unknown .0  .021 5.7 .10  unknown .0  .023 5.7 .098 couldn't run: all seeds time out or crash .0    3.1 19 42 timeout .5     900    52 11000    timeout .2    900    31 12000   done .5     860    56 8900   error .7    880 150 11000
float-benchs/float_int_inv_square.yml done 1.0    4.3 270 41 unknown 1.0    3.3 280 30 unknown .0  .028 5.6 .12  unknown .0  .053 5.7 .14  timeout .833  900   10 12000 done .667   .11 21 1.3  timeout .833  900    31 13000   done .667   .35 21 4.3 error 1.0    880 150 11000
float-benchs/image_filter.yml timeout .0    900   2900 11000 timeout .0    900   2900 10000 unknown .0  .022 5.7 .15  unknown .0  .031 5.6 .18  couldn't run: all seeds time out or crash .0    3.3 17 49 done .0326  .13 21 1.6  timeout .0217 900    31 12000   done .0326  1.1  20 15   error .0326 890 400 10000
float-benchs/interpolation.c.p+cfa-reducer.yml timeout .75   900   1200 8900 unknown .75   7.5 310 88 unknown .0  .027 5.7 .028 unknown .0  .023 5.7 .17  done .75   33   17 150 done .125   .12 21 .99 timeout .75   900    31 14000   done .125   .34 18 4.1 timeout .75   900 150 11000
float-benchs/interpolation.c.v+cfa-reducer.yml timeout .688  900   1600 8500 unknown .688  6.3 310 64 unknown .0  .022 5.7 .10  unknown .0  .023 5.6 .15  done .688  25   16 84 done .0625  .12 21 1.4  timeout .688  900    31 12000   done .0625  .33 18 4.1 timeout .688  900 150 12000
float-benchs/interpolation.c.v+nlh-reducer.yml timeout .714  900   1500 11000 true .714  7.7 310 75 unknown .0  .024 5.7 .077 unknown .0  .022 5.7 .15  done .714  26   17 110 done .0357  .12 21 1.3  timeout .714  900    31 11000   done .0357  .37 18 4.2 timeout .714  900 160 12000
float-benchs/interpolation.yml timeout .714  900   1500 9900 unknown .714  5.5 310 62 unknown .0  .023 5.7 .13  unknown .0  .025 5.7 .11  couldn't run: all seeds time out or crash .0    3.1 10 42 done .0714  .13 22 1.2  timeout .714  900    31 9500   done .0714  .35 18 4.6 timeout .714  900 150 11000
float-benchs/interpolation2.c.p+cfa-reducer.yml timeout .75   900   1300 12000 unknown .75   9.6 320 110 unknown .0  .025 5.6 .11  unknown .0  .025 5.7 .093 done .75   38   17 220 done .125   .12 21 1.4  timeout .75   900    31 12000   done .125   .37 19 4.3 timeout .75   900 150 14000
float-benchs/interpolation2.c.v+cfa-reducer.yml timeout .688  900   1400 7900 unknown .688  8.4 310 95 unknown .0  .024 5.7 .17  unknown .0  .027 5.9 .12  done .688  46   17 120 done .0625  .14 21 1.1  timeout .688  900    31 12000   done .0625  .34 18 5.2 error .688  880 150 11000
float-benchs/interpolation2.c.v+nlh-reducer.yml timeout .714  900   1300 8300 unknown .714  19   320 220 unknown .0  .019 5.8 .014 unknown .0  .027 5.7 .16  done .679  32   17 150 done .0357  .13 21 1.0  timeout .714  900    31 13000   done .0357  .36 19 4.0 error .714  880 160 12000
float-benchs/interpolation2.yml timeout .714  900   1200 8800 unknown .714  8.2 320 91 unknown .0  .024 5.7 .12  unknown .0  .019 5.7 .14  couldn't run: all seeds time out or crash .0    3.2 10 45 done .0714  .12 21 1.3  timeout .714  900    31 12000   done .0714  .40 19 4.3 error .714  880 150 11000
float-benchs/inv_Newton-1.yml timeout .812  900   1700 11000 unknown .812  21   370 260 unknown .0  .024 5.7 .13  unknown .0  .022 5.6 .17  couldn't run: all seeds time out or crash .0    3.1 10 42 done .0625  .13 21 1.1  timeout .0625 900    31 13000   done .0625  .38 18 4.5 error .812  880 160 13000
float-benchs/inv_Newton-2.yml timeout .688  900   1700 9800 unknown .688  29   370 370 unknown .0  .028 5.7 .19  unknown .0  .027 5.7 .094 couldn't run: all seeds time out or crash .0    3.2 10 39 done .0625  .11 21 1.3  done .0625 .26 31 3.1 done .0625  .39 18 3.6 error .625  880 150 13000
float-benchs/inv_Newton.c.p+cfa-reducer.yml timeout .722  900   1800 13000 unknown .722  24   370 270 unknown .0  .028 5.7 .11  unknown .0  .026 5.7 .13  done .222  15   14 66 done .111   .12 21 1.1  timeout .111  900    31 14000   done .111   .35 18 4.2 error .722  880 160 11000
float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml done .667  28   400 270 true .667  13   330 130 unknown .0  .024 5.7 .046 unknown .0  .021 5.7 .12  done .667  22   16 58 done .0833  .12 21 1.2  timeout .667  900    31 12000   done .0833  .32 18 4.5 error .583  880 150 13000
float-benchs/inv_sqrt_Quake.yml done .7    120   1400 1600 true .7    7.4 300 96 unknown .0  .025 5.7 .083 unknown .0  .047 5.5 .098 couldn't run: all seeds time out or crash .0    3.1 11 41 done .1     .12 21 1.1  timeout .7    900    31 10000   done .1     .36 18 4.5 error .7    880 150 11000
float-benchs/inv_square-1.yml done 1.0    4.5 280 46 unknown 1.0    3.3 280 33 unknown .0  .022 5.6 .14  unknown .0  .029 5.7 .12  false(unreach-call) .625  850   11 12000 done .375   .11 21 1.5  done .75   .25 31 3.3 done .375   .33 18 4.6 timeout .5    900 150 11000
float-benchs/inv_square-2.yml done .9    23   1500 250 unknown .9    3.5 280 34 unknown .0  .020 5.6 .16  unknown .0  .025 5.7 .10  done .9    740   10 9600 done .4     .13 21 1.1  timeout .9    900    31 10000   done .4     .34 19 3.7 timeout .7    900 150 13000
float-benchs/inv_square_int.yml done .833  23   1500 240 unknown .833  3.2 280 30 unknown .0  .029 5.6 .17  unknown .0  .032 5.9 .14  timeout .667  900   10 12000 done .667   .14 21 1.3  timeout .833  900    30 11000   done .5     .35 20 4.4 timeout .667  900 150 11000
float-benchs/nan_double.yml done .5    3.4 260 32 unknown .5    2.9 270 27 unknown .0  .022 5.7 .13  unknown .0  .017 5.7 .15  false(unreach-call) 1.0    27   17 82 done .5     .12 21 1.1  done .5    .27 31 3.0 done .5     .32 18 4.0 error 1.0    880 150 11000
float-benchs/nan_double_range.yml done .833  23   1700 270 unknown .833  3.1 270 27 unknown .0  .042 5.6 .11  unknown .0  .065 5.8 .11  done .667  7.0 16 27 done .5     .14 21 1.3  timeout .5    900    31 12000   done .5     .30 18 3.5 timeout .667  900 150 10000
float-benchs/nan_float.yml done .5    3.4 270 33 unknown .5    2.9 270 29 unknown .0  .025 5.7 .065 unknown .0  .038 5.7 .066 false(unreach-call) 1.0    29   16 76 done .5     .12 21 1.4  done .5    .26 30 3.0 done .5     .29 18 3.6 error 1.0    880 150 10000
float-benchs/nan_float_range.yml done .5    23   1400 270 unknown .5    3.2 280 26 unknown .0  .024 5.8 .11  unknown .0  .024 5.7 .13  done .667  7.5 14 35 done .5     .12 21 1.2  timeout .833  900    30 11000   done .5     .30 18 3.8 timeout .667  900 150 11000
float-benchs/rlim_exit.yml timeout .65   900   1100 14000 unknown .65   4.2 280 40 unknown .0  .022 5.6 .10  unknown .0  .041 5.7 .085 timeout .8    900   130 13000 timeout .3     900    55 9900    timeout .65   900    30 12000   done .3     860    56 11000   timeout .65   900 150 11000
float-benchs/rlim_invariant.c.p+cfa-reducer.yml timeout .667  900   2200 10000 unknown .667  5.3 290 55 unknown .0  .033 5.7 .13  unknown .0  .032 5.6 .12  timeout .875  900   110 12000 timeout .458   900    56 11000    timeout .833  900    31 14000   done .458   860    61 10000   timeout .833  900 150 13000
float-benchs/rlim_invariant.c.v+lhb-reducer.yml timeout .667  900   1800 10000 true .708  9.2 310 110 unknown .0  .023 5.8 .12  unknown .0  .030 5.7 .088 timeout .75   900   76 12000 timeout .458   900    52 9700    timeout .792  900    31 12000   done .458   860    62 13000   error .708  880 160 12000
float-benchs/rlim_invariant.c.v+nlh-reducer.yml timeout .667  900   2700 9300 true .708  9.7 310 120 unknown .0  .048 5.6 .081 unknown .0  .048 5.6 .088 timeout .771  900   90 12000 timeout .458   900    54 12000    timeout .792  900    31 12000   done .458   860    62 12000   error .708  880 170 11000
float-benchs/rlim_invariant.yml timeout .8    900   2200 9900 true .8    4.8 290 57 unknown .0  .021 5.7 .029 unknown .0  .025 5.8 .099 timeout .75   900   110 13000 timeout .45    900    56 12000    timeout .8    900    31 11000   done .45    860    57 9900   timeout .8    900 150 11000
float-benchs/sin_interpolated_bigrange_loose.yml timeout .812  900   1200 8200 timeout .688  900   830 9100 unknown .0  .024 5.7 .14  unknown .0  .022 5.6 .14  timeout .812  900   11 12000 done .5     .14 21 1.1  timeout .0625 900    30 13000   done .5     .41 19 4.8 error .688  890 280 12000
float-benchs/sin_interpolated_bigrange_tight.yml timeout .812  900   1000 8400 timeout .688  900   1000 7700 unknown .0  .027 5.7 .095 unknown .0  .028 5.7 .14  done .812  850   12 11000 done .5     .13 21 1.2  timeout .0625 900    30 11000   done .5     .42 19 5.7 error .688  890 290 14000
float-benchs/sin_interpolated_index-1.yml done .938  30   500 330 unknown .938  12   410 130 unknown .0  .021 5.8 .13  unknown .0  .036 5.7 .12  timeout .812  900   10 11000 done .5     .13 21 1.2  timeout .0625 900    31 11000   done .5     .41 18 5.9 error .812  880 280 13000
float-benchs/sin_interpolated_index-2.yml timeout .812  900   1700 7700 unknown .75   740   790 8900 unknown .0  .025 5.7 .14  unknown .0  .026 5.7 .10  timeout .812  900   14 12000 done .5     .13 21 1.1  timeout .0625 900    31 13000   done .5     .44 19 4.5 error .688  880 280 12000
float-benchs/sin_interpolated_negation.yml timeout .667  900   1700 12000 timeout .667  900   1500 8300 unknown .0  .024 5.7 .076 unknown .0  .023 5.7 .13  couldn't run: all seeds time out or crash .0    3.2 11 39 done .167   .13 21 1.1  timeout .167  900    31 11000   done .167   .47 18 4.9 error .167  880 500 11000
float-benchs/sin_interpolated_smallrange.yml timeout .611  900   1700 8500 unknown .611  47   660 520 unknown .0  .023 5.7 .067 unknown .0  .028 5.7 .17  couldn't run: all seeds time out or crash .0    3.2 11 37 done .167   .11 21 1.6  timeout .167  900    31 10000   done .167   .43 18 5.6 error .167  880 250 11000
float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml done .65   220   2900 2700 unknown .65   370   1300 4800 unknown .0  .026 5.7 .14  unknown .0  .027 5.7 .19  done .0    11   23 53 done .65    .12 21 1.4  timeout .65   900    31 12000   done .65    .30 16 4.1 timeout .65   900 150 12000
float-benchs/sqrt_Householder_interval.yml timeout .682  900   750 12000 timeout .636  900   1100 8500 unknown .0  .031 5.7 .073 unknown .0  .038 5.6 .094 couldn't run: all seeds time out or crash .0    3.1 10 52 done .0455  .14 21 1.2  timeout .0455 900    31 11000   done .0455  .40 19 4.7 error .636  880 170 11000
float-benchs/sqrt_Householder_pseudoconstant.yml timeout .625  900   910 9700 timeout .5    900   620 9600 unknown .0  .023 5.7 .17  unknown .0  .020 5.7 .11  couldn't run: all seeds time out or crash .0    3.1 11 44 done .0833  .12 21 1.2  timeout .0833 900    31 12000   done .0833  .39 18 4.2 error .125  880 170 12000
float-benchs/sqrt_Newton_pseudoconstant.yml timeout .625  900   870 12000 timeout .625  900   650 9200 unknown .0  .048 5.7 .080 unknown .0  .021 5.7 .097 couldn't run: all seeds time out or crash .0    3.1 10 47 done .0833  .12 21 1.3  timeout .0833 900    31 10000   done .0833  .39 18 4.2 error .125  880 160 11000
float-benchs/sqrt_biNewton_pseudoconstant.yml timeout .625  900   950 10000 timeout .542  900   650 8900 unknown .0  .041 5.8 .14  unknown .0  .026 5.5 .091 couldn't run: all seeds time out or crash .0    3.2 10 47 done .0833  .15 21 1.4  timeout .0833 900    31 11000   done .0833  .39 19 4.6 error .125  880 180 10000
float-benchs/sqrt_poly.yml done .75   130   1300 1400 unknown .75   41   500 360 unknown .0  .026 5.7 .097 unknown .0  .025 5.7 .24  couldn't run: all seeds time out or crash .0    3.2 11 39 done .0833  .15 21 .92 timeout .0833 900    31 11000   done .0833  .37 18 4.0 error .75   880 150 10000
float-benchs/sqrt_poly2.yml done .917  170   570 1600 true .917  87   490 1100 unknown .0  .029 5.6 .10  unknown .0  .026 5.7 .11  couldn't run: all seeds time out or crash .0    3.1 10 46 done .0833  .12 21 1.3  done .0833 .26 30 3.1 done .0833  .39 18 6.1 error .833  880 150 11000
float-benchs/zonotope_3.c.p+cfa-reducer.yml timeout .5    900   1000 9600 unknown .5    5.0 310 49 unknown .0  .050 5.5 .096 unknown .0  .030 5.5 .18  timeout .786  900   26 14000 timeout .286   900    54 12000    timeout .5    900    30 14000   done .286   860    62 9700   timeout .5    900 160 11000
float-benchs/zonotope_3.c.v+lhb-reducer.yml timeout .709  900   1300 14000 true .709  12   340 120 unknown .0  .042 5.7 .085 unknown .0  .024 5.8 .11  timeout .721  900   27 13000 timeout .465   900    52 11000    timeout .709  900    31 12000   done .465   860    63 10000   error .512  880 220 11000
float-benchs/zonotope_3.yml timeout .417  900   1300 8300 unknown .417  3.8 280 38 unknown .0  .026 5.7 .094 unknown .0  .025 5.6 .11  timeout .75   900   24 11000 timeout .25    900    54 9300    timeout .417  900    31 11000   done .25    860    57 11000   timeout .417  900 160 10000
float-benchs/zonotope_loose.c.v+cfa-reducer.yml done .714  24   480 270 true .714  9.4 340 110 unknown .0  .023 5.7 .13  unknown .0  .029 5.8 .12  done .571  18   16 79 done .5     .12 21 1.2  timeout .5    900    31 14000   done .5     .31 18 3.9 error .571  880 150 11000
float-benchs/zonotope_loose.yml done .75   120   1500 1500 true .75   9.8 340 120 unknown .0  .024 5.7 .068 unknown .0  .021 5.7 .16  done .667  810   11 11000 done .5     .13 21 1.3  timeout .0833 900    30 11000   done .5     .38 18 3.9 error .583  880 150 10000
float-benchs/zonotope_tight.yml done .75   120   1500 1600 true .75   9.9 340 100 unknown .0  .026 5.7 .14  unknown .0  .022 5.7 .13  done .667  680   10 8400 done .5     .13 21 1.2  timeout .0833 900    31 10000   done .5     .34 18 4.4 error .583  880 150 13000
float-newlib/double_req_bl_0281.yml done .0455 23   1500 260 true .0455 42   900 510 unknown .0  .029 5.7 .19  unknown .0  .027 5.6 .17  done .0455 8.0 14 35 done .0152  .13 21 1.3  timeout .0303 900    31 13000   done .0152  .64 19 7.9 error .0152 880 390 11000
float-newlib/double_req_bl_0320.yml done .0370 230   2000 2600 true .0370 38   1100 370 unknown .0  .024 5.7 .13  unknown .0  .024 5.7 .11  done .0370 14   21 76 done .0265  .17 22 1.8  timeout .0106 900    31 12000   done .0265  1.4  20 18   error .0370 880 770 11000
float-newlib/double_req_bl_0460.yml done .109  130   630 1500 true .109  56   1200 790 unknown .0  .028 5.5 .18  unknown .0  .029 5.7 .095 done .109  20   16 49 done .0313  .13 21 1.2  timeout .0625 900    31 12000   done .0313  .62 19 8.9 error .0938 880 460 11000
float-newlib/double_req_bl_0660a.yml done .108  120   3000 1500 true .108  58   1400 590 unknown .0  .022 5.7 .15  unknown .0  .037 5.6 .084 done .108  18   16 59 done .0135  .14 22 1.3  timeout .0135 900    31 13000   done .0135  .52 18 7.2 error .108  880 280 9800
float-newlib/double_req_bl_0660b.yml done .108  120   3100 1500 true .108  110   1400 1000 unknown .0  .025 5.6 .14  unknown .0  .039 5.7 .086 done .108  14   15 66 done .0135  .13 21 1.7  timeout .0135 900    31 11000   done .0135  .55 19 5.8 error .108  880 290 11000
float-newlib/double_req_bl_0661a.yml done .184  220   2700 2900 timeout .105  900   1600 12000 unknown .0  .025 5.7 .069 unknown .0  .023 5.7 .15  done .118  3.3 14 30 done .0132  .12 21 1.6  timeout .105  900    31 12000   done .0132  .54 19 6.3 error .118  880 280 13000
float-newlib/double_req_bl_0661b.yml done .184  220   2400 3200 true .184  84   1400 880 unknown .0  .033 5.7 .11  unknown .0  .020 5.7 .14  done .118  4.9 16 27 done .0132  .13 21 1.2  timeout .105  900    31 12000   done .0132  .53 19 6.7 error .118  880 250 13000
float-newlib/double_req_bl_0662a.yml done .122  120   2900 1800 true .122  61   1400 770 unknown .0  .025 5.7 .079 unknown .0  .019 5.7 .065 done .122  15   17 51 done .0135  .12 21 1.3  timeout .0135 900    31 11000   done .0135  .52 18 6.6 error .122  880 170 8700
float-newlib/double_req_bl_0662b.yml done .122  120   2700 1500 true .122  67   1400 690 unknown .0  .025 5.7 .070 unknown .0  .023 5.7 .11  done .122  12   14 52 done .0135  .15 21 1.4  timeout .0135 900    31 13000   done .0135  .53 19 6.1 error .122  880 160 11000
float-newlib/double_req_bl_0663a.yml done .122  120   2600 1500 true .122  63   1400 660 unknown .0  .019 5.8 .077 unknown .0  .049 5.8 .086 done .122  4.6 10 19 done .0135  .12 21 1.4  timeout .108  900    31 13000   done .0135  .51 18 6.3 error .122  880 170 11000
float-newlib/double_req_bl_0663b.yml done .122  120   3000 1700 true .122  62   1400 690 unknown .0  .023 5.6 .15  unknown .0  .029 5.7 .18  done .122  5.9 16 21 done .0135  .12 21 1.2  timeout .108  900    31 14000   done .0135  .50 18 7.2 error .122  880 160 11000
float-newlib/double_req_bl_0670.yml exception .0263 5.3 280 51 true .0263 22   1100 210 unknown .0  .023 5.7 .12  unknown .0  .038 5.7 .11  done .105  26   16 64 done .0263  .12 21 1.4  timeout .0263 900    31 14000   done .0263  .52 18 7.2 error .0789 880 540 11000
float-newlib/double_req_bl_0682a.yml done .167  120   2400 1600 true .167  68   1300 730 unknown .0  .026 5.7 .079 unknown .0  .027 5.7 .13  done .179  19   17 63 done .0513  .12 21 1.6  timeout .0385 900    31 13000   done .0385  .55 19 7.7 error .167  880 210 11000
float-newlib/double_req_bl_0682b.yml done .167  120   2400 1400 true .167  65   1300 770 unknown .0  .025 5.6 .14  unknown .0  .037 5.5 .080 done .179  13   16 62 done .0513  .15 21 1.5  timeout .154  900    31 13000   done .0385  .56 18 6.7 error .167  880 210 11000
float-newlib/double_req_bl_0683a.yml done .175  120   2500 1400 unknown .175  390   1500 3300 unknown .0  .024 5.5 .14  unknown .0  .025 5.7 .11  done .188  14   16 38 done .05    .14 21 1.6  timeout .0375 900    31 15000   done .0375  .56 18 6.6 error .175  880 210 11000
float-newlib/double_req_bl_0683b.yml done .175  130   2500 1700 true .175  120   1400 1300 unknown .0  .025 5.6 .15  unknown .0  .026 5.6 .16  done .188  13   15 40 done .05    .14 21 1.2  timeout .163  900    31 14000   done .0375  .58 19 7.4 error .175  880 210 13000
float-newlib/double_req_bl_0684a.yml done .25   220   2500 2700 true .25   49   1300 640 unknown .0  .026 5.6 .16  unknown .0  .025 5.7 .092 done .184  18   17 47 done .263   .12 21 1.6  timeout .145  900    31 12000   done .171   .60 20 7.7 error .184  890 170 11000
float-newlib/double_req_bl_0684b.yml done .25   230   2300 3500 true .25   51   1300 600 unknown .0  .026 5.7 .13  unknown .0  .024 5.7 .072 done .184  13   14 43 done .263   .16 21 1.5  timeout .145  900    31 13000   done .171   .59 20 6.9 error .184  890 170 11000
float-newlib/double_req_bl_0832.yml done .267  120   1200 1300 true .267  28   940 340 unknown .0  .024 5.7 .080 unknown .0  .041 5.7 .15  done .267  24   17 78 done .2     .16 21 1.1  timeout .0667 900    31 12000   done .2     .41 18 4.8 error .267  880 170 12000
float-newlib/double_req_bl_0870a.yml done .0549 25   1600 300 timeout .0495 900   3200 9100 unknown .0  .022 5.6 .074 unknown .0  .023 5.7 .13  done .0440 8.9 16 32 done .0385  .13 21 2.0  timeout .0385 900    31 12000   done .0385  1.1  19 14   error .0714 880 170 12000
float-newlib/double_req_bl_0870b.yml done .038  120   1100 1500 true .038  170   2000 2300 unknown .0  .027 5.7 .22  unknown .0  .022 5.7 .11  done .038  17   17 57 done .0054  .15 21 1.3  timeout .0326 900    31 12000   done .0054  1.1  19 14   timeout .038  900 170 11000
float-newlib/double_req_bl_0872a.yml done .0111 120   2900 1500 true .0111 42   1900 470 unknown .0  .047 5.6 .11  unknown .0  .024 5.7 .072 done .0111 20   16 98 done .0111  .14 21 1.4  timeout .0111 900    31 12000   done .0111  1.1  17 14   timeout .0111 900 170 10000
float-newlib/double_req_bl_0872b.yml done .0111 120   2900 1700 true .0111 42   1800 470 unknown .0  .024 5.9 .016 unknown .0  .052 5.7 .15  done .0111 25   16 87 done .0111  .14 21 1.4  timeout .0111 900    31 13000   done .0111  1.1  17 12   timeout .0111 900 170 13000
float-newlib/double_req_bl_0874.yml done .0934 120   1600 1400 true .0934 120   2000 1500 unknown .0  .038 5.5 .098 unknown .0  .021 5.7 .16  done .0934 13   15 42 done .0879  .14 21 1.4  timeout .0769 900    31 13000   done .0824  1.2  19 15   timeout .0934 900 170 13000
float-newlib/double_req_bl_0876.yml done .0978 120   1700 1600 true .087  72   1500 810 unknown .0  .021 5.7 .16  unknown .0  .021 5.7 .11  done .0978 22   16 62 done .0924  .15 21 1.7  timeout .0815 900    31 12000   done .087   1.2  20 15   timeout .0978 900 170 12000
float-newlib/double_req_bl_0882.yml done .125  130   2100 1500 true .125  210   2000 2600 unknown .0  .050 5.6 .12  unknown .0  .023 5.7 .077 done .114  13   16 52 done .0054  .15 22 1.6  timeout .0054 900    31 15000   done .0054  1.1  19 13   timeout .114  900 170 11000
float-newlib/double_req_bl_0883.yml done .143  230   1900 2800 true .143  220   1900 2500 unknown .0  .028 5.7 .093 unknown .0  .022 5.7 .13  done .0824 10   16 61 done .00550 .15 21 1.6  timeout .0769 900    31 14000   done .00550 1.1  19 14   timeout .176  900 180 10000
float-newlib/double_req_bl_0920a.yml done .25   120   1200 1400 timeout .25   900   1600 8100 unknown .0  .024 5.7 .14  unknown .0  .019 5.6 .26  done .25   12   15 45 done .0357  .12 21 1.3  timeout .214  900    31 13000   done .0357  .46 18 5.5 error .286  880 270 10000
float-newlib/double_req_bl_0970a.yml done .194  120   1100 1400 true .194  30   1500 320 unknown .0  .025 5.7 .11  unknown .0  .023 5.7 .14  done .0278 12   16 61 done .0278  .15 21 1.5  timeout .167  900    31 14000   done .0278  .49 19 6.9 error .222  880 300 11000
float-newlib/double_req_bl_1121a.yml done .0323 120   1400 1300 true .0323 6.8 430 68 unknown .0  .026 5.7 .12  unknown .0  .023 5.7 .13  done .0323 20   15 110 done .0323  .13 21 1.6  timeout .0323 900    31 12000   done .0323  .62 18 9.0 error .0323 880 160 13000
float-newlib/double_req_bl_1121b.yml done .0323 120   1400 1400 true .0323 6.9 440 64 unknown .0  .024 5.7 .064 unknown .0  .029 5.7 .081 done .0323 27   17 87 done .0323  .13 21 1.5  timeout .0323 900    30 16000   done .0323  .60 18 7.9 error .0323 880 160 12000
float-newlib/double_req_bl_1122a.yml exception .0645 4.2 270 44 true .0645 5.5 420 51 unknown .0  .028 5.8 .13  unknown .0  .020 5.7 .15  done .0645 8.0 15 40 done .0645  .14 21 1.1  timeout .0484 900    31 14000   done .0323  .60 18 7.4 error .0484 880 160 13000
float-newlib/double_req_bl_1122b.yml exception .0645 3.9 270 33 true .0645 5.6 420 55 unknown .0  .029 5.7 .16  unknown .0  .025 5.7 .069 done .0645 7.8 14 35 done .0645  .13 22 1.3  timeout .0484 900    31 13000   done .0323  .60 18 8.9 error .0484 880 160 10000
float-newlib/double_req_bl_1130a.yml done .191  120   1800 1600 true .191  7.5 450 87 unknown .0  .023 5.7 .12  unknown .0  .027 5.7 .098 done .147  5.1 10 14 done .0294  .13 21 1.4  timeout .132  900    31 14000   done .0294  .63 19 8.8 error .147  880 160 12000
float-newlib/double_req_bl_1131a.yml done .109  120   1700 1300 true .109  6.3 420 66 unknown .0  .026 5.8 .11  unknown .0  .048 5.7 .094 done .125  7.5 11 17 done .125   .13 21 1.5  timeout .109  900    31 12000   done .109   .65 19 8.2 error .125  890 170 10000
float-newlib/double_req_bl_1131b.yml done .109  120   1800 1400 true .109  5.9 440 58 unknown .0  .044 5.5 .086 unknown .0  .027 5.7 .22  done .125  6.0 13 18 done .125   .15 21 1.5  timeout .109  900    31 12000   done .109   .65 19 8.8 error .125  880 160 12000
float-newlib/double_req_bl_1211a.yml done .312  130   1500 1400 true .312  5.6 340 53 unknown .0  .026 5.7 .11  unknown .0  .029 5.7 .29  done .312  19   15 85 done .312   .15 21 1.0  timeout .312  900    31 13000   done .312   .42 16 5.1 timeout .312  900 160 11000
float-newlib/double_req_bl_1211b.yml done .312  120   1300 1500 true .312  5.6 350 66 unknown .0  .025 5.7 .052 unknown .0  .025 5.7 .071 done .312  20   16 100 done .312   .13 21 1.2  timeout .312  900    31 13000   done .312   .43 16 5.1 timeout .312  900 160 11000
float-newlib/double_req_bl_1231b.yml exception .625  4.7 270 47 true .65   4.5 290 46 unknown .0  .025 5.7 .082 unknown .0  .032 5.7 .092 done .525  29   17 120 done .425   .12 21 1.6  timeout .45   900    31 12000   done .425   .37 18 4.9 timeout .525  900 150 11000
float-newlib/double_req_bl_1251b.yml exception .625  4.9 280 44 true .65   4.4 290 43 unknown .0  .024 5.7 .094 unknown .0  .036 5.7 .14  done .525  29   17 91 done .425   .13 21 1.3  timeout .45   900    31 12000   done .425   .36 18 4.3 timeout .525  900 160 11000
float-newlib/double_req_bl_1300.yml done .5    23   1700 280 unknown .5    3.3 280 30 unknown .0  .047 5.5 .11  unknown .0  .023 5.6 .026 done .667  10   14 27 done .667   .11 21 1.3  timeout .5    900    31 14000   done .5     .35 19 4.2 timeout .667  900 150 10000
float-newlib/float_req_bl_0281.yml done .167  120   1500 1700 true .167  12   480 140 unknown .0  .030 5.6 .13  unknown .0  .025 5.7 .11  done .167  15   15 56 done .0476  .13 22 1.7  timeout .167  900    31 14000   done .0476  .52 18 6.8 error .143  880 160 12000
float-newlib/float_req_bl_0460.yml done .175  120   770 1500 true .175  8.8 490 120 unknown .0  .018 5.7 .12  unknown .0  .026 5.7 .20  done .175  22   16 66 done .05    .12 21 1.2  timeout .175  900    31 12000   done .05    .51 18 7.6 error .15   880 170 9700
float-newlib/float_req_bl_0660a.yml done .125  120   2000 1400 true .125  23   590 300 unknown .0  .025 5.7 .12  unknown .0  .028 5.7 .22  done .125  11   17 48 done .0139  .15 22 1.3  timeout .125  900    31 13000   done .0139  .48 19 6.3 error .125  880 160 13000
float-newlib/float_req_bl_0660b.yml done .114  120   2500 1400 true .114  21   570 240 unknown .0  .045 5.7 .097 unknown .0  .022 5.7 .087 done .114  18   16 50 done .0143  .13 21 1.5  timeout .114  900    31 14000   done .0143  .49 19 6.2 error .114  880 170 13000
float-newlib/float_req_bl_0661a.yml done .186  220   2200 2400 true .186  41   550 410 unknown .0  .032 5.7 .19  unknown .0  .025 5.7 .11  done .114  14   15 59 done .0143  .12 21 1.3  timeout .114  900    31 14000   done .0143  .50 18 8.4 error .186  880 160 11000
float-newlib/float_req_bl_0661b.yml done .186  220   2500 2400 true .186  13   540 150 unknown .0  .025 5.7 .083 unknown .0  .025 5.7 .10  done .186  18   15 100 done .0143  .12 21 1.5  timeout .114  900    31 14000   done .0143  .48 18 6.7 error .186  880 160 13000
float-newlib/float_req_bl_0662a.yml done .129  120   2900 1700 true .129  21   600 230 unknown .0  .026 5.6 .073 unknown .0  .044 5.7 .15  done .129  12   15 66 done .0143  .13 21 1.2  timeout .129  900    31 13000   done .0143  .48 18 6.8 error .129  880 160 11000
float-newlib/float_req_bl_0662b.yml done .129  120   3000 1600 true .129  21   580 220 unknown .0  .021 5.7 .13  unknown .0  .025 5.6 .11  done .129  16   16 54 done .0143  .12 21 1.3  timeout .129  900    31 14000   done .0143  .50 19 5.4 error .129  880 160 11000
float-newlib/float_req_bl_0663a.yml done .129  120   2900 1700 true .129  21   580 230 unknown .0  .022 5.7 .19  unknown .0  .025 5.7 .10  done .129  24   15 64 done .0143  .14 21 1.3  timeout .129  900    31 14000   done .0143  .51 18 5.5 error .129  880 170 12000
float-newlib/float_req_bl_0663b.yml done .129  120   3000 1500 true .129  21   610 260 unknown .0  .018 5.7 .024 unknown .0  .024 5.7 .11  done .129  16   17 70 done .0143  .11 21 1.4  timeout .129  900    30 12000   done .0143  .49 18 5.7 error .129  880 170 11000
float-newlib/float_req_bl_0670.yml done .0278 120   750 1400 true .0278 16   580 190 unknown .0  .039 5.7 .075 unknown .0  .027 5.7 .18  done .111  22   17 72 done .0278  .13 22 1.3  timeout .111  900    31 13000   done .0278  .50 18 7.1 error .111  880 180 11000
float-newlib/float_req_bl_0682a.yml done .167  120   2800 1600 true .167  52   560 480 unknown .0  .038 5.5 .11  unknown .0  .041 5.7 .15  done .181  13   17 47 done .0278  .13 21 1.2  timeout .181  900    31 12000   done .0278  .50 18 6.8 error .167  880 160 10000
float-newlib/float_req_bl_0682b.yml done .167  120   2900 1700 true .167  56   590 760 unknown .0  .025 5.7 .12  unknown .0  .036 5.8 .14  done .181  12   15 46 done .0278  .14 21 1.4  timeout .181  900    31 12000   done .0278  .51 18 6.0 error .167  880 160 11000
float-newlib/float_req_bl_0683a.yml done .176  120   2400 1400 true .176  70   610 720 unknown .0  .026 5.7 .082 unknown .0  .022 5.6 .16  done .189  8.7 15 39 done .0270  .14 22 1.3  timeout .189  900    30 14000   done .0270  .51 18 6.8 error .176  890 160 12000
float-newlib/float_req_bl_0683b.yml done .176  120   2900 1600 true .176  75   620 700 unknown .0  .025 5.7 .015 unknown .0  .022 5.6 .10  done .189  9.6 14 35 done .0270  .13 21 1.5  timeout .189  900    30 12000   done .0270  .53 19 5.8 error .176  880 160 12000
float-newlib/float_req_bl_0684a.yml done .229  220   2200 3200 true .229  21   570 260 unknown .0  .027 5.6 .19  unknown .0  .032 5.7 .11  done .186  13   16 36 done .171   .15 21 1.2  timeout .186  900    31 14000   done .171   .55 19 8.4 error .243  880 170 11000
float-newlib/float_req_bl_0684b.yml done .229  220   2600 2900 true .229  54   570 550 unknown .0  .029 5.7 .12  unknown .0  .038 5.7 .11  done .186  16   15 47 done .171   .13 22 1.3  timeout .186  900    31 13000   done .171   .56 19 8.0 error .243  880 160 12000
float-newlib/float_req_bl_0710.yml done .231  130   760 1600 true .231  4.1 300 44 unknown .0  .020 5.7 .13  unknown .0  .030 5.5 .098 done .231  11   15 35 done .0385  .13 21 1.2  timeout .231  900    31 12000   done .0385  .42 18 5.8 error .269  880 150 12000
float-newlib/float_req_bl_0870a.yml done .0536 23   1800 290 true .0536 37   790 440 unknown .0  .025 5.8 .22  unknown .0  .022 5.6 .15  done .0417 9.9 14 25 done .0357  .13 21 1.5  done .0417 350    31 5100   done .0357  1.1  19 13   error .0595 890 170 12000
float-newlib/float_req_bl_0870b.yml done .0357 120   2600 1500 true .0357 36   760 400 unknown .0  .029 5.8 .15  unknown .0  .022 5.9 .038 done .0357 18   16 60 done .006   .13 22 1.7  timeout .0357 900    31 14000   done .006   1.1  19 16   timeout .0357 900 170 14000
float-newlib/float_req_bl_0872a.yml done .012  4.9 280 49 true .012  9.7 570 84 unknown .0  .023 5.6 .13  unknown .0  .045 5.7 .13  done .012  29   19 99 done .012   .14 21 1.5  timeout .012  900    30 14000   done .012   1.0  16 15   timeout .012  900 170 10000
float-newlib/float_req_bl_0872b.yml done .012  5.0 280 46 true .012  10   580 100 unknown .0  .025 5.7 .17  unknown .0  .023 5.7 .083 done .012  20   15 120 done .012   .15 21 1.5  timeout .012  900    30 15000   done .012   1.1  17 15   timeout .012  900 170 13000
float-newlib/float_req_bl_0874.yml done .0655 120   1600 1900 true .0655 18   530 180 unknown .0  .027 5.7 .091 unknown .0  .029 5.7 .16  done .0774 18   15 60 done .0595  .17 21 1.5  timeout .0774 900    31 12000   done .0655  1.1  19 14   timeout .0774 900 170 11000
float-newlib/float_req_bl_0875.yml done .0824 120   1600 1400 true .0824 49   780 590 unknown .0  .044 5.6 .077 unknown .0  .028 5.9 .13  done .0824 20   15 67 done .0059  .14 22 1.7  timeout .0824 900    31 15000   done .0059  1.1  19 13   timeout .0765 900 170 10000
float-newlib/float_req_bl_0876.yml done .0706 120   1600 1500 true .0706 49   780 490 unknown .0  .022 5.8 .12  unknown .0  .023 5.7 .11  done .0824 17   16 65 done .0647  .13 21 1.4  timeout .0824 900    31 15000   done .0706  1.1  19 13   timeout .0824 900 180 11000
float-newlib/float_req_bl_0877.yml done .0774 120   1600 1700 true .0774 37   830 470 unknown .0  .021 5.7 .15  unknown .0  .019 5.7 .11  done .0774 21   16 62 done .006   .15 21 1.3  timeout .0774 900    31 14000   done .006   1.1  19 15   timeout .0714 900 170 11000
float-newlib/float_req_bl_0880.yml timeout .295  900   3100 9500 true .3    110   900 1200 unknown .0  .023 5.8 .14  unknown .0  .024 5.7 .14  done .305  100   19 410 done .0053  .15 21 1.4  timeout .305  900    31 11000   done .0053  1.1  19 14   timeout .310  900 170 12000
float-newlib/float_req_bl_0881.yml timeout .295  900   3100 9600 true .3    110   900 1200 unknown .0  .031 5.7 .16  unknown .0  .046 5.7 .096 done .310  60   19 270 done .0053  .15 21 1.5  timeout .310  900    30 11000   done .0053  1.1  20 16   timeout .310  900 170 13000
float-newlib/float_req_bl_0883.yml done .119  220   2200 3000 true .119  23   810 310 unknown .0  .024 5.8 .16  unknown .0  .022 5.6 .10  done .143  40   20 170 done .006   .15 21 1.7  timeout .107  900    31 11000   done .006   1.1  19 16   timeout .143  900 170 13000
float-newlib/float_req_bl_0920a.yml done .214  120   1500 1600 true .214  8.2 500 75 unknown .0  .027 5.7 .20  unknown .0  .020 5.6 .16  done .214  7.8 14 33 done .0357  .12 21 1.6  timeout .214  900    31 15000   done .0357  .45 18 5.6 error .25   880 160 14000
float-newlib/float_req_bl_0970a.yml done .167  120   1900 1600 true .167  5.7 320 58 unknown .0  .025 5.5 .20  unknown .0  .023 5.7 .14  done .167  11   15 33 done .0278  .12 21 1.9  timeout .167  900    31 14000   done .0278  .48 19 5.5 error .194  880 160 13000
float-newlib/float_req_bl_1121a.yml done .0526 120   1500 1400 true .0526 3.9 310 38 unknown .0  .025 5.7 .052 unknown .0  .045 5.6 .12  done .0526 20   15 71 done .0526  .11 21 1.7  timeout .0526 900    30 12000   done .0526  .48 18 6.5 timeout .0526 900 160 12000
float-newlib/float_req_bl_1121b.yml done .0526 120   1900 1400 true .0526 4.0 310 38 unknown .0  .023 5.7 .099 unknown .0  .048 5.7 .076 done .0526 20   17 110 done .0526  .12 21 1.3  timeout .0526 900    31 14000   done .0526  .48 18 5.6 timeout .0526 900 160 13000
float-newlib/float_req_bl_1122a.yml done .105  120   1500 1500 true .105  3.9 310 41 unknown .0  .028 5.5 .15  unknown .0  .024 5.7 .15  done .105  7.4 15 41 done .105   .12 21 1.3  timeout .105  900    31 12000   done .0526  .48 18 6.8 timeout .0789 900 160 13000
float-newlib/float_req_bl_1122b.yml done .105  120   1800 1400 true .105  4.0 310 38 unknown .0  .023 5.7 .081 unknown .0  .029 5.7 .097 done .105  8.9 16 36 done .105   .12 21 1.4  timeout .105  900    31 12000   done .0526  .48 18 5.8 timeout .0789 900 160 11000
float-newlib/float_req_bl_1130a.yml done .227  120   1700 1700 true .227  4.7 310 47 unknown .0  .019 5.6 .023 unknown .0  .032 5.7 .17  done .204  8.8 16 34 done .0455  .12 22 1.5  timeout .227  900    31 14000   done .0455  .52 18 7.5 error .204  880 160 12000
float-newlib/float_req_bl_1130b.yml done .227  120   1800 1600 true .227  4.7 310 42 unknown .0  .028 5.6 .12  unknown .0  .042 5.7 .10  done .204  8.5 15 29 done .0455  .12 21 1.6  timeout .227  900    31 15000   done .0455  .50 18 7.0 error .204  880 160 14000
float-newlib/float_req_bl_1131a.yml done .15   130   1400 1200 true .15   4.0 310 44 unknown .0  .026 5.7 .10  unknown .0  .024 5.7 .11  done .175  8.4 14 25 done .15    .14 22 1.3  timeout .175  900    30 14000   done .15    .51 18 6.7 timeout .175  900 160 11000
float-newlib/float_req_bl_1131b.yml done .15   130   1300 1100 true .15   4.1 310 45 unknown .0  .023 5.7 .054 unknown .0  .022 5.7 .10  done .175  7.8 11 25 done .15    .12 21 1.5  timeout .175  900    31 13000   done .15    .51 19 6.1 timeout .175  900 160 12000
float-newlib/float_req_bl_1211a.yml done .333  120   2400 1400 unknown .333  4.1 300 40 unknown .0  .030 5.7 .13  unknown .0  .021 5.7 .11  done .333  28   17 80 done .333   .13 21 1.0  timeout .333  900    31 14000   done .333   .37 16 4.0 timeout .333  900 150 12000
float-newlib/float_req_bl_1211b.yml done .333  120   2400 1400 unknown .333  4.0 300 38 unknown .0  .030 5.9 .13  unknown .0  .019 5.7 .16  done .333  30   17 88 done .333   .14 21 1.4  timeout .333  900    31 12000   done .333   .40 16 4.4 timeout .333  900 150 11000
float-newlib/float_req_bl_1231.yml exception .06   6.4 340 55 true .06   5.3 290 53 unknown .0  .028 5.8 .072 unknown .0  .029 5.7 .19  done .64   17   16 70 done .06    .12 21 1.4  timeout .76   900    31 13000   done .06    .39 18 5.2 timeout .66   900 150 12000
float-newlib/float_req_bl_1251.yml exception .06   6.6 290 57 true .06   5.1 300 42 unknown .0  .044 5.7 .081 unknown .0  .030 5.6 .11  done .64   31   16 98 done .06    .15 21 1.3  timeout .76   900    30 13000   done .06    .38 18 5.0 timeout .68   900 150 12000
float-newlib/float_req_bl_1270a.yml done .174  120   1500 1500 true .174  22   410 230 unknown .0  .024 5.8 .075 unknown .0  .022 5.7 .11  done .239  21   15 76 done .0652  .13 21 1.3  timeout .239  900    30 14000   done .0652  .60 19 8.3 error .239  880 160 12000
float-newlib/float_req_bl_1270b.yml done .174  120   1300 1400 true .174  22   410 260 unknown .0  .021 5.7 .11  unknown .0  .023 5.6 .093 done .239  22   16 95 done .0652  .12 21 1.5  timeout .239  900    31 14000   done .0652  .60 19 9.3 error .239  880 160 13000
float-newlib/float_req_bl_1270c.yml done .174  120   1700 1300 true .174  22   410 270 unknown .0  .022 5.7 .15  unknown .0  .049 5.7 .079 done .239  18   16 98 done .0652  .14 21 1.2  timeout .239  900    30 12000   done .0652  .61 20 7.3 error .239  890 160 12000
float-newlib/float_req_bl_1270d.yml done .174  120   1400 1400 true .174  22   410 310 unknown .0  .028 5.7 .19  unknown .0  .030 5.7 .16  done .239  20   17 61 done .0652  .12 21 1.3  timeout .239  900    30 16000   done .0652  .59 19 7.1 error .239  880 160 12000
float-newlib/float_req_bl_1271a.yml done .188  120   1800 1600 true .188  16   350 220 unknown .0  .028 5.6 .21  unknown .0  .025 5.6 .11  done .208  11   14 46 done .0833  .13 21 1.3  timeout .208  900    31 14000   done .0833  .62 20 8.6 error .208  880 160 11000
float-newlib/float_req_bl_1271b.yml done .188  120   2000 1600 true .188  17   350 230 unknown .0  .025 5.7 .073 unknown .0  .026 5.6 .12  done .208  16   16 50 done .0833  .14 21 1.3  timeout .208  900    31 11000   done .0833  .65 20 6.8 error .208  880 160 13000
float-newlib/float_req_bl_1381.yml done .5    23   1300 250 true .5    3.0 270 31 unknown .0  .023 5.6 .13  unknown .0  .027 5.7 .21  done .5    20   15 92 done .5     .12 21 1.3  timeout .5    900    31 12000   done .5     .32 18 4.0 timeout .5    900 150 13000
loop-floats-scientific-comp/loop1-1.yml timeout .75   900   670 12000 unknown .75   5.1 300 64 unknown .0  .023 5.6 .10  unknown .0  .025 5.7 .11  timeout .75   900   10 14000 timeout .75    900    74 8000    timeout .75   900    31 13000   done .75    840    60 9800   timeout .75   900 160 11000
loop-floats-scientific-comp/loop1-2.yml done 1.0    5.6 300 58 unknown 1.0    4.1 300 39 unknown .0  .026 5.7 .079 unknown .0  .023 5.8 .12  false(unreach-call) 1.0    110   18 290 timeout .75    900    76 8200    done .25   680    40 9600   done .75    840    60 9000   error 1.0    880 150 13000
loop-floats-scientific-comp/loop2-1.yml timeout .9    900   990 11000 unknown .9    5.3 310 56 unknown .0  .052 5.7 .13  unknown .0  .049 5.7 .098 couldn't run: all seeds time out or crash .0    3.1 10 43 done .1     .14 21 1.2  done .6    700    40 10000   done .1     .43 19 5.8 error .8    890 150 11000
loop-floats-scientific-comp/loop2-2.yml timeout .8    900   710 9300 unknown .8    7.0 350 86 unknown .0  .027 5.7 .13  unknown .0  .030 5.6 .16  couldn't run: all seeds time out or crash .0    3.1 10 45 done .1     .12 21 1.5  timeout .8    900    31 12000   done .1     .42 19 4.8 timeout .7    900 150 13000
loop-floats-scientific-comp/loop3.yml timeout .8    900   1200 11000 unknown .8    7.1 360 77 unknown .0  .018 5.7 .060 unknown .0  .031 5.8 .11  couldn't run: all seeds time out or crash .0    3.1 10 41 done .1     .13 21 1.1  timeout .8    900    32 15000   done .1     .41 18 5.3 timeout .3    900 150 11000
../sv-benchmarks/c/ 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 212 104 79000 290000 810000 212 99.1 41000 130000 380000 212 .0  5.8 1200 25 212 .0  5.9 1200 26 212 83.0  60000 3600 800000 212 54.4 20000 70000 230000 212 84.5 180000 6500 2500000 212 49.8 19000 93000 240000 212 90.2 190000 38000 2400000
Run set coveritest.test-comp19_prop-coverage-branches.ReachSafety-Floats cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-Floats esbmc-kind.test-comp19_prop-coverage-branches.ReachSafety-Floats esbmc-falsi.test-comp19_prop-coverage-branches.ReachSafety-Floats fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-Floats klee.test-comp19_prop-coverage-branches.ReachSafety-Floats prtest.test-comp19_prop-coverage-branches.ReachSafety-Floats symbiotic.test-comp19_prop-coverage-branches.ReachSafety-Floats verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Floats