20230224-grsbits-truby Benchmarks

Family
Namegrsbits-truby
Generation Date2023-02-24
First Occurrence2023-07-06
Benchmarks20

Benchmarks

QF_BV • Charts • Solver Isomap
grs-32-16.smt2
grs-128-16.smt2
grs-64-16.smt2
grs-64-32.smt2
grs-96-16.smt2
grs-64-96.smt2
grs-96-32.smt2
grs-96-128.smt2
grs-128-32.smt2
grs-128-128.smt2
grs-32-96.smt2
grs-64-64.smt2
grs-32-32.smt2
grs-96-64.smt2
grs-128-64.smt2
grs-64-128.smt2
grs-128-96.smt2
grs-32-64.smt2
grs-32-128.smt2
grs-96-96.smt2