{"sensitivity":1.0,"specificity":1.0,"cases":20,"tp":10,"fn":0,"tn":10,"fp":0,"results":[{"id":"phi-leak-001","expected_leak":true,"decision":"BLOCK","ifs":0.558505,"correct":true},{"id":"phi-leak-002","expected_leak":true,"decision":"BLOCK","ifs":0.684713,"correct":true},{"id":"phi-leak-003","expected_leak":true,"decision":"BLOCK","ifs":0.676231,"correct":true},{"id":"phi-leak-004","expected_leak":true,"decision":"BLOCK","ifs":0.343273,"correct":true},{"id":"phi-leak-005","expected_leak":true,"decision":"BLOCK","ifs":0.781208,"correct":true},{"id":"phi-leak-006","expected_leak":true,"decision":"BLOCK","ifs":0.882618,"correct":true},{"id":"phi-leak-007","expected_leak":true,"decision":"BLOCK","ifs":0.38188,"correct":true},{"id":"phi-leak-008","expected_leak":true,"decision":"BLOCK","ifs":0.613989,"correct":true},{"id":"phi-leak-009","expected_leak":true,"decision":"BLOCK","ifs":0.60655,"correct":true},{"id":"phi-leak-010","expected_leak":true,"decision":"BLOCK","ifs":0.754222,"correct":true},{"id":"clean-001","expected_leak":false,"decision":"PASS","ifs":-0.237739,"correct":true},{"id":"clean-002","expected_leak":false,"decision":"PASS","ifs":-0.260394,"correct":true},{"id":"clean-003","expected_leak":false,"decision":"PASS","ifs":-0.155651,"correct":true},{"id":"clean-004","expected_leak":false,"decision":"PASS","ifs":-0.079957,"correct":true},{"id":"clean-005","expected_leak":false,"decision":"PASS","ifs":-0.337938,"correct":true},{"id":"clean-006","expected_leak":false,"decision":"PASS","ifs":-0.241242,"correct":true},{"id":"clean-007","expected_leak":false,"decision":"PASS","ifs":-0.090079,"correct":true},{"id":"clean-008","expected_leak":false,"decision":"PASS","ifs":-0.207435,"correct":true},{"id":"clean-009","expected_leak":false,"decision":"PASS","ifs":0.0,"correct":true},{"id":"clean-010","expected_leak":false,"decision":"PASS","ifs":-0.090088,"correct":true}]}