SAF: SAT-based Attractor Finder

Step1: Give your instance.

Select your network type.

Write your network in the textbox
Or you can upload a file
Uploaded file will overwrite the textbox.
Step2: Run SAF (Timeout 20 sec.).
less than or equal to

Reference