20161105-Sturm-MGC Benchmarks

Family
NameSturm-MGC
Generation Date2016-11-05
First Occurrence2017-07-23
Benchmarks9

Benchmarks

QF_NRA • Charts • Solver Isomap
mgc_03.smt2
mgc_08.smt2
mgc_07.smt2
mgc_10.smt2
mgc_05.smt2
mgc_02.smt2
mgc_09.smt2
mgc_06.smt2
mgc_04.smt2