Fig. 3From: MATF: a multi-attribute trust framework for MANETsVerification time taken by the Z3 SolverBack to article page