Simulation runs

3,201 runs in 33 simulations

Checks passed

79.6% - 327/411

Invariants holding

100.0% - 10/10

Runs gaining on the index

63.4% - 2,030/3,201

Runs struck by a shock

91.7% - 2,934/3,201

33 simulations, 3,201 runs