Mutant voting chain 11 #61

Job	Run time
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)	25m 29s
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)	26m 36s
verify (verifyLegality.conf --rule legalVote)	26m 35s
verify (verifyLegality.conf --rule votedPowerIsImmutable method_reachability)	22m 33s
verify (verifyMisc.conf)	25m 50s
verify (verifyPower_summary.conf)	25m 7s
verify (verifyProposal_config.conf --rule createdProposalHasRoots)	23m 16s
verify (verifyProposal_config.conf --rule startedProposalHasConfig)	21m 6s
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration configIsImmutable newProposa...	23m 23s
verify (verifyProposal_states.conf --rule proposalImmutability)	18m 54s
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)	19m 54s
verify (verifyProposal_states.conf --rule startsBeforeEnds)	19m 13s
verify (verifyProposal_states.conf --rule startedProposalHasConfig)	17m 23s
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)	19m 4s
verify (verifyProposal_states.conf --rule proposalIdIsImmutable proposalHasNonzeroDuration propos...	18m 57s
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)	18m 52s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...	1s
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting onlyVoteCanChangeResult v...	1s
	5h 52m 14s

Provide feedback