The pruned thin-product program at c = 21.2733, θ = 0.111731 solves the thin matrix product on all instances

Initializing...

The pruned thin-product program at c = 21.2733, θ = 0.111731 solves the thin matrix product on all instances · Prove2Me