ffg-exp1.als

module abs/ffg_exp1
-- experiment1

open abs/ffg

run noAccountableSafety for 10 but 3 Block, 5 Checkpoint, 4 Signature, 5 FfgVote, 12 Vote, 5 int