Mutant voting chain 7 #64

Job	Run time
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)	38m 40s
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)	1h 19m 57s
verify (verifyLegality.conf --rule legalVote)	59m 46s
verify (verifyLegality.conf --rule votedPowerIsImmutable method_reachability)	29m 0s
verify (verifyMisc.conf)	41m 48s
verify (verifyPower_summary.conf)	1h 40m 17s
verify (verifyProposal_config.conf --rule createdProposalHasRoots)	1h 13m 22s
verify (verifyProposal_config.conf --rule startedProposalHasConfig)	1h 0m 38s
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration configIsImmutable newProposa...	27m 28s
verify (verifyProposal_states.conf --rule proposalImmutability)	21m 43s
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)	53m 22s
verify (verifyProposal_states.conf --rule startsBeforeEnds)	35m 18s
verify (verifyProposal_states.conf --rule startedProposalHasConfig)	20m 54s
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)	26m 10s
verify (verifyProposal_states.conf --rule proposalIdIsImmutable proposalHasNonzeroDuration propos...	30m 2s
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)	24m 5s
verify (verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresen...	22m 41s
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting onlyVoteCanChangeResult v...	1h 6m 36s
	13h 31m 47s

Provide feedback