rup vs naive checker verdicts agree: 18/18
('A10_u0_v3', 'orig', True, True)
('A10_u0_v3', 'flip@7343', False, False)
('A10_u0_v3', 'flip@8744', False, False)
('A10_u0_v3', 'flip@7371', False, False)
('A10_u0_v3', 'flip@8742', True, True)
('A10_u0_v3', 'flip@7427', True, True)
('A10_u0_v3', 'flip@7347', False, False)
('A10_u0_v3', 'flip@7358', False, False)
('A10_u0_v3', 'flip@8741', False, False)
('A10_u0_v4', 'orig', True, True)
('A10_u0_v4', 'flip@5702', False, False)
('A10_u0_v4', 'flip@5676', False, False)
('A10_u0_v4', 'flip@5972', False, False)
('A10_u0_v4', 'flip@8190', True, True)
('A10_u0_v4', 'flip@5651', False, False)
('A10_u0_v4', 'flip@8167', True, True)
('A10_u0_v4', 'flip@5899', False, False)
('A10_u0_v4', 'flip@5928', False, False)
