Mutant voting chain 9 #59

Job	Run time
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)	26m 0s
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)	26m 3s
verify (verifyLegality.conf --rule legalVote)	26m 6s
verify (verifyLegality.conf --rule votedPowerIsImmutable method_reachability)	18m 35s
verify (verifyMisc.conf)	26m 1s
verify (verifyPower_summary.conf)	26m 0s
verify (verifyProposal_config.conf --rule createdProposalHasRoots)	25m 13s
verify (verifyProposal_config.conf --rule startedProposalHasConfig)	26m 1s
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration configIsImmutable newProposa...	25m 49s
verify (verifyProposal_states.conf --rule proposalImmutability)	22m 11s
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)	23m 34s
verify (verifyProposal_states.conf --rule startsBeforeEnds)	23m 28s
verify (verifyProposal_states.conf --rule startedProposalHasConfig)	22m 33s
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)	23m 22s
verify (verifyProposal_states.conf --rule proposalIdIsImmutable proposalHasNonzeroDuration propos...	23m 3s
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)	21m 30s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...	7m 21s
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting onlyVoteCanChangeResult v...	1s
	6h 32m 51s

Provide feedback