2019-Gonzalvez Benchmarks
Family
Name
Gonzalvez
Generation Date
2019-01-01
First Occurrence
2020-07-06
Benchmarks
9
Benchmarks
QF_AUFBV
•
Charts
•
Solver Isomap
opStructure_C_16_32_2_2.smt2
opStructure_NPT_2.smt2
opStructure_NPT_1.smt2
opStructure_O_16_24_2_2.smt2
opStructure_O_32_16_2_2.smt2
opStructure_O_16_32_2_2.smt2
opStructure_O_32_32_2_2.smt2
opStructure_MBA_6.smt2
opStructure_MBA_7.smt2