ResearchBenchmarksFeasible Certification on ElectricalFeasible Certification on ElectricalFollow100CertifiedPHACT9597.5100102.5Jun 29, 2026Evaluation resultsMethodMethodLinksCertifiedLoop FailuresWrong VerdictsTimeoutsPHACTModel=Gemini 2.5 Flash...Model=Gemini 2.5 Flash, Temperature=02026.06100000