20220222-strassen-matrix-multiplication Benchmarks

Family
Namestrassen-matrix-multiplication
Generation Date2022-02-22
First Occurrence2022-08-10
Benchmarks4

Benchmarks

NRA • Charts • Solver Isomap
strassen-trivial.smt2
strassen-linear.smt2
strassen-hard.smt2
strassen-impossible.smt2