Share your thoughts, 1 month free Claude Pro on usSee more

Information Flow Verification on FP_ADD

15.4Runtime (seconds)

S+g-Maxl

Updated 1mo ago

Evaluation Results

Method	Links
S+g-Maxl 2026.06		15.4
g-Hyb 2026.06		16.6
S+g-StSpl 2026.06		20.6
g-Maxm 2026.06		28.1
g-AoN 2026.06		30.8
g-Maxl 2026.06		33.6
SecIC3 Best 2026.06		43.1
g-StSpl 2026.06		88.3
Base rIC3 2026.06		201.9