The procedure allInstancesP solves the thin matrix product on all instances (pruned data structure, $c=22$, $\theta=29/250$)

Initializing...

The procedure allInstancesP solves the thin matrix product on all instances (pruned data structure, $c=22$, $\theta=29/250$) · Prove2Me