solid-js/store: which one is faster? batch or produce? how produce can set at once?

[Grabber]

which one is faster? batch or produce?

import { createStore, produce } from 'solid-js/store';

Case 1

const [o, setO] = createStore({x: 1, y: 1, z: 1, t: [1, 2, 3]});

batch(() => {
  setO('x', 11);
  setO('y', 11);
  setO('z', 11);
  setO('t', [11, 22, 33]);
});

setO(produce((o) => {
  o.x = o.y = o.z = 11;
  o.t = [11, 22, 33];
}));

Case 2

const [o, setO] = createStore({x: 1, y: 1, z: 1, t: [1, 2, 3]});

batch(() => {
  setO(['x', 'y', 'z'], 11);
  setO('t', [11, 22, 33]);
});

setO(produce(o) => {
  o.x = o.y = o.z = 11;
  o.t = [11, 22, 33];
}));

Case 3

batch(() => {
  setO(['x', 'y', 'z'],
    produce((xyz) => {
      xyz = 11;
    })
  );

  setO('t',
    produce((t) => {
      t = [11, 22, 33];
    })
  );
});