ntdrivers-simplified/cdaudio_simpl1.cil-1.yml done 1 prog tests 1 inspect 7.6 2.4 330 69 .049 0   true prog tests 1 inspect
9.12 14.5 .28 .28 20 .29 0  
ntdrivers-simplified/floppy_simpl3.cil-1.yml done 1 prog tests 1 inspect 7.2 2.4 290 64 .049 0   true prog tests 1 inspect
19.1  32.4 .19 .19 18 .19 0  
ntdrivers-simplified/floppy_simpl4.cil-1.yml done 1 prog tests 1 inspect 8.4 2.6 320 71 .053 0   true prog tests 1 inspect
14.1  23.6 .23 .26 20 .24 0  
ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml done 1 prog tests 1 inspect 6.4 2.2 290 57 .041 0   true prog tests 1 inspect
12.5  26.9 .20 .20 17 .17 0  
ssh-simplified/s3_clnt_1.cil-2.yml done 1 prog tests 1 inspect 7.1 2.4 330 68 .061 0   true prog tests 1 inspect
24.1  38.8 .26 .26 17 .12 0  
ssh-simplified/s3_clnt_2.cil-1.yml done 1 prog tests 1 inspect 7.2 2.4 340 66 .061 0   true prog tests 1 inspect
24.1  39.0 .28 .28 17 .12 0  
ssh-simplified/s3_clnt_3.cil-2.yml done 1 prog tests 1 inspect 7.1 2.4 290 68 .066 0   true prog tests 1 inspect
24.1  40.2 .27 .27 17 .12 0  
ssh-simplified/s3_clnt_4.cil-2.yml done 1 prog tests 1 inspect 6.9 2.4 330 64 .061 0   true prog tests 1 inspect
24.1  39.3 .26 .26 17 .12 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 8 8 58 19 2500 530 .44 0   8 151 255 2.0 2.0 140 1.4 0  
Run set coveritest.test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow