Benchmark VeriFuzz TBF Test-Suite Validator
Tool VeriFuzz 1.0.1 Tbf Test-suite Validator v1.2
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 10800 s, memlimit: 7000 MB, CPU core limit: 2
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-06 07:17:17 CET 2019-02-06 14:51:38 CET
Run set verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-Floats tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-Floats
Options --testcomp --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/verifuzz.2019-02-06_0717.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
floats-cdfpl/newton_1_4.yml done 1 prog tests 1 inspect 10   8.8 150 120 .56 0     true prog tests 1 inspect
50.0  90.9  .12  .12  16   .078 0  
floats-cdfpl/newton_1_5.yml done 1 prog tests 1 inspect 7.3 5.8 150 71 .56 0     true prog tests 1 inspect
50.0  90.9  .12  .12  16   .078 0  
floats-cdfpl/newton_1_6.yml done 1 prog tests 1 inspect 7.9 6.5 150 79 .56 0     true prog tests 1 inspect
50.0  90.9  .14  .14  16   .078 0  
floats-cdfpl/newton_1_7.yml done 1 prog tests 1 inspect 6.9 5.5 150 89 .56 0     true prog tests 1 inspect
50.0  90.9  .12  .12  16   .078 0  
floats-cdfpl/newton_1_8.yml done 1 prog tests 1 inspect 6.9 5.4 150 83 .56 0     true prog tests 1 inspect
50.0  90.9  .12  .12  16   .078 0  
floats-cdfpl/newton_2_6.yml done 1 prog tests 1 inspect 42   41   150 370 .56 0     true prog tests 1 inspect
50.0  91.7  .12  .12  16   .078 0  
floats-cdfpl/newton_2_7.yml done 1 prog tests 1 inspect 26   25   150 270 .56 0     true prog tests 1 inspect
50.0  91.7  .11  .11  16   .078 0  
floats-cdfpl/newton_2_8.yml done 1 prog tests 1 inspect 19   17   150 190 .56 0     true prog tests 1 inspect
50.0  91.7  .11  .11  16   .078 0  
floats-cdfpl/newton_3_6.yml done 1 prog tests 1 inspect 320   320   220 3900 .64 .033 true prog tests 1 inspect
50.0  92.3  .11  .11  16   .082 0  
floats-cdfpl/newton_3_7.yml done 1 prog tests 1 inspect 74   73   230 940 .56 .033 true prog tests 1 inspect
50.0  92.3  .11  .11  16   .082 0  
floats-cdfpl/newton_3_8.yml done 1 prog tests 1 inspect 36   35   200 360 .56 0     true prog tests 1 inspect
50.0  92.3  .13  .13  16   .082 0  
floats-cdfpl/sine_1.yml done 1 prog tests 1 inspect 5.2 3.8 150 51 .54 0     true prog tests 1 inspect
50.0  87.5  .12  .12  16   .078 0  
floats-cdfpl/sine_2.yml done 1 prog tests 1 inspect 4.6 3.2 150 59 .54 0     true prog tests 1 inspect
50.0  87.5  .11  .13  16   .078 0  
floats-cdfpl/sine_3.yml done 1 prog tests 1 inspect 5.6 4.3 150 63 .54 0     true prog tests 1 inspect
50.0  87.5  .12  .12  17   .078 0  
floats-cdfpl/square_1.yml done 1 prog tests 1 inspect 9.6 8.3 150 120 .54 0     true prog tests 1 inspect
50.0  88.9  .12  .12  16   .078 0  
floats-cdfpl/square_2.yml done 1 prog tests 1 inspect 22   21   150 250 .55 0     true prog tests 1 inspect
50.0  88.9  .13  .13  16   .078 0  
floats-cdfpl/square_3.yml done 1 prog tests 1 inspect 12   11   150 170 .54 0     true prog tests 1 inspect
50.0  88.9  .11  .11  16   .078 0  
float-benchs/cast_float_ptr.yml done 1 prog tests 1 inspect 3.8 2.4 150 43 .63 0     true prog tests 1 inspect
41.7  68.8  .17  .17  16   .078 0  
float-benchs/cast_union_loose.yml done 1 prog tests 1 inspect 3.7 2.3 150 39 .65 0     true prog tests 1 inspect
40.0  92.3  .13  .13  16   .078 0  
float-benchs/cast_union_tight.yml done 1 prog tests 1 inspect 3.6 2.0 150 30 .55 0     true prog tests 1 inspect
50.0  91.7  .11  .13  16   .078 0  
float-benchs/float_int_inv_square.yml done 1 prog tests 1 inspect 3.7 2.3 150 39 .61 0     true prog tests 1 inspect
50.0  75.0  .12  .12  16   .078 0  
float-benchs/inv_Newton-2.yml done 1 prog tests 1 inspect 5.0 3.7 150 55 .56 0     true prog tests 1 inspect
56.2  95.0  .12  .12  16   .082 0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml done 1 prog tests 1 inspect 4.5 3.2 150 47 .63 0     true prog tests 1 inspect
55.6  78.4  .12  .12  16   .078 0  
float-benchs/inv_square-1.yml timeout prog tests 0 inspect 900   920   150 11000 .95 0     error (0) prog tests 0 inspect
0    0    .063 .064 8.8 0     0  
float-benchs/nan_double.yml done 1 prog tests 1 inspect 3.4 2.4 150 36 .54 0     true prog tests 1 inspect
50.0  80.0  .14  .14  17   .078 0  
float-benchs/nan_float.yml done 1 prog tests 1 inspect 3.6 2.2 150 36 .61 0     true prog tests 1 inspect
50.0  80.0  .14  .14  16   .078 0  
float-benchs/sin_interpolated_index-1.yml done 1 prog tests 1 inspect 6.9 5.2 280 82 .72 0     true prog tests 1 inspect
50.0  73.9  .13  .13  17   .10  0  
float-benchs/sqrt_poly2.yml done 1 prog tests 1 inspect 4.0 2.6 150 44 .55 0     true prog tests 1 inspect
41.7  89.5  .11  .11  16   .082 0  
float-newlib/double_req_bl_0870a.yml done 1 prog tests 1 inspect 590   600   170 7600 .77 0     true prog tests 1 inspect
3.85 6.29 .16  .16  18   .14  0  
float-newlib/float_req_bl_0870a.yml done 1 prog tests 1 inspect 130   130   170 1700 .59 0     true prog tests 1 inspect
3.57 5.67 .15  .15  17   .14  0  
loop-floats-scientific-comp/loop1-2.yml done 1 prog tests 1 inspect 3.4 1.9 150 40 .54 0     true prog tests 1 inspect
75.0  92.9  .15  .15  17   .078 0  
loop-floats-scientific-comp/loop2-1.yml done prog tests 1 inspect 3.7 2.3 150 38 1.4  0     unknown prog tests 0 inspect
10.0  19.1  .12  .12  16   .078 0  
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 32 30 2300 2300 5200 28000 20 .066 32 1430 2480 4.0 4.0 520 2.6 0  
Run set verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-Floats tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-Floats