20161105-Sturm-MBO Benchmarks

Family
NameSturm-MBO
Generation Date2016-11-05
First Occurrence2017-07-23
Benchmarks405

Benchmarks

QF_NRA • Charts • Solver Isomap
mbo_E25.smt2
mbo_E28.smt2
mbo_E6E28.smt2
mbo_E17E22.smt2
mbo_E12E23.smt2
mbo_E9E13.smt2
mbo_E3E27.smt2
mbo_E24.smt2
mbo_E10.smt2
mbo_E5E27.smt2
mbo_E24E28.smt2
mbo_E18E25.smt2
mbo_E8E28.smt2
mbo_E12E27.smt2
mbo_E19.smt2
mbo_E20E27.smt2
mbo_E1E23.smt2
mbo_E11E12.smt2
mbo_E2E24.smt2
mbo_E3E23.smt2
mbo_E17E25.smt2
mbo_E4E8.smt2
mbo_E9E28.smt2
mbo_E1E13.smt2
mbo_E12E22.smt2
mbo_E3E20.smt2
mbo_E4E9.smt2
mbo_E18E22.smt2
mbo_E6E9.smt2
mbo_E12.smt2
mbo_E3E11.smt2
mbo_E20E28.smt2
mbo_E8E20.smt2
mbo_E6E27.smt2
mbo_E6E7.smt2
mbo_E12E14.smt2
mbo_E14E25.smt2
mbo_E16E22.smt2
mbo_E3E13.smt2
mbo_E19E20.smt2
mbo_E9E22.smt2
mbo_E10E16.smt2
mbo_E16E26.smt2
mbo_E18E23.smt2
mbo_E7E25.smt2
mbo_E3E26.smt2
mbo_E3E5.smt2
mbo_E26.smt2
mbo_E3E22.smt2
mbo_E16E25.smt2
mbo_E1E25.smt2
mbo_E8E18.smt2
mbo_E15E19.smt2
mbo_E8E9.smt2
mbo_E22E28.smt2
mbo_E21.smt2
mbo_E9E23.smt2
mbo_E1E7.smt2
mbo_E9E18.smt2
mbo_E1E16.smt2
mbo_E6E21.smt2
mbo_E7.smt2
mbo_E5E17.smt2
mbo_E11E23.smt2
mbo_E17E18.smt2
mbo_E5E9.smt2
mbo_E1E14.smt2
mbo_E2E17.smt2
mbo_E20E25.smt2
mbo_E16E24.smt2
mbo_E21E25.smt2
mbo_E8E19.smt2
mbo_E15E26.smt2
mbo_E9E26.smt2
mbo_E25E28.smt2
mbo_E6E23.smt2
mbo_E17E24.smt2
mbo_E14E19.smt2
mbo_E18E21.smt2
mbo_E11E13.smt2
mbo_E11E20.smt2
mbo_E4E12.smt2
mbo_E10E17.smt2
mbo_E19E28.smt2
mbo_E13E27.smt2
mbo_E4E15.smt2
mbo_E4E25.smt2
mbo_E8E16.smt2
mbo_E26E27.smt2
mbo_E1E4.smt2
mbo_E18E26.smt2
mbo_E5E11.smt2
mbo_E2E4.smt2
mbo_E10E11.smt2
mbo_E11E17.smt2
mbo_E17E23.smt2
mbo_E12E26.smt2
mbo_E5E25.smt2
mbo_E14E27.smt2
mbo_E7E15.smt2
mbo_E8E26.smt2
mbo_E5E15.smt2
mbo_E9.smt2
mbo_E14E15.smt2
mbo_E17E21.smt2
mbo_E13E22.smt2
mbo_E9E11.smt2
mbo_E13E24.smt2
mbo_E1E24.smt2
mbo_E10E23.smt2
mbo_E3E10.smt2
mbo_E7E16.smt2
mbo_E11E14.smt2
mbo_E4E27.smt2
mbo_E12E13.smt2
mbo_E5E21.smt2
mbo_E1E17.smt2
mbo_E15E21.smt2
mbo_E3E18.smt2
mbo_E7E20.smt2
mbo_E17E27.smt2
mbo_E6E24.smt2
mbo_E4E11.smt2
mbo_E11E16.smt2
mbo_E3E14.smt2
mbo_E1.smt2
mbo_E10E13.smt2
mbo_E7E14.smt2
mbo_E1E22.smt2
mbo_E1E8.smt2
mbo_E15E17.smt2
mbo_E14E24.smt2
mbo_E4E5.smt2
mbo_E23E27.smt2
mbo_E4E17.smt2
mbo_E12E24.smt2
mbo_E10E24.smt2
mbo_E5E12.smt2
mbo_E4E20.smt2
mbo_E4.smt2
mbo_E3.smt2
mbo_E6E20.smt2
mbo_E5E24.smt2
mbo_E19E26.smt2
mbo_E6E22.smt2
mbo_E13E28.smt2
mbo_E15E28.smt2
mbo_E22E26.smt2
mbo_E2.smt2
mbo_E7E28.smt2
mbo_E20E26.smt2
mbo_E23E26.smt2
mbo_E21E23.smt2
mbo_E4E7.smt2
mbo_E12E21.smt2
mbo_E1E27.smt2
mbo_E11E24.smt2
mbo_E16E17.smt2
mbo_E5E7.smt2
mbo_E5E18.smt2
mbo_E1E21.smt2
mbo_E16E27.smt2
mbo_E7E24.smt2
mbo_E5.smt2
mbo_E19E25.smt2
mbo_E22E25.smt2
mbo_E14.smt2
mbo_E7E12.smt2
mbo_E13E19.smt2
mbo_E12E16.smt2
mbo_E21E24.smt2
mbo_E6E25.smt2
mbo_E17.smt2
mbo_E2E8.smt2
mbo_E3E21.smt2
mbo_E8E27.smt2
mbo_E22E27.smt2
mbo_E8E15.smt2
mbo_E8E10.smt2
mbo_E24E25.smt2
mbo_E9E24.smt2
mbo_E13E18.smt2
mbo_E6E15.smt2
mbo_E7E10.smt2
mbo_E5E20.smt2
mbo_E10E14.smt2
mbo_E16.smt2
mbo_E3E17.smt2
mbo_E1E9.smt2
mbo_E11E28.smt2
mbo_E4E24.smt2
mbo_E11E22.smt2
mbo_E21E28.smt2
mbo_E3E9.smt2
mbo_E8E12.smt2
mbo_E18E28.smt2
mbo_E21E22.smt2
mbo_E12E25.smt2
mbo_E24E27.smt2
mbo_E2E20.smt2
mbo_E21E26.smt2
mbo_E6E18.smt2
mbo_E13.smt2
mbo_E6E16.smt2
mbo_E18E24.smt2
mbo_E10E27.smt2
mbo_E1E3.smt2
mbo_E2E22.smt2
mbo_E24E26.smt2
mbo_E3E7.smt2
mbo_E12E15.smt2
mbo_E15E27.smt2
mbo_E8E23.smt2
mbo_E2E27.smt2
mbo_E20.smt2
mbo_E9E27.smt2
mbo_E5E22.smt2
mbo_E14E18.smt2
mbo_E7E9.smt2
mbo_E13E16.smt2
mbo_E1E10.smt2
mbo_E15.smt2
mbo_E25E27.smt2
mbo_E7E11.smt2
mbo_E10E12.smt2
mbo_E10E20.smt2
mbo_E2E9.smt2
mbo_E9E10.smt2
mbo_E4E10.smt2
mbo_E4E16.smt2
mbo_E2E25.smt2
mbo_E21E27.smt2
mbo_E1E2.smt2
mbo_E4E13.smt2
mbo_E11E18.smt2
mbo_E23E28.smt2
mbo_E9E17.smt2
mbo_E13E26.smt2
mbo_E3E24.smt2
mbo_E1E11.smt2
mbo_E14E26.smt2
mbo_E8E22.smt2
mbo_E11E26.smt2
mbo_E14E21.smt2
mbo_E2E26.smt2
mbo_E1E28.smt2
mbo_E22E24.smt2
mbo_E9E20.smt2
mbo_E9E21.smt2
mbo_E20E21.smt2
mbo_E4E19.smt2
mbo_E3E19.smt2
mbo_E7E27.smt2
mbo_E10E21.smt2
mbo_E7E23.smt2
mbo_E2E23.smt2
mbo_E15E23.smt2
mbo_E6E8.smt2
mbo_E6E13.smt2
mbo_E17E19.smt2
mbo_E15E25.smt2
mbo_E13E17.smt2
mbo_E6E11.smt2
mbo_E5E10.smt2
mbo_E19E24.smt2
mbo_E2E19.smt2
mbo_E16E23.smt2
mbo_E6E10.smt2
mbo_E10E15.smt2
mbo_E18E20.smt2
mbo_E11E15.smt2
mbo_E2E28.smt2
mbo_E5E28.smt2
mbo_E12E19.smt2
mbo_E2E3.smt2
mbo_E16E18.smt2
mbo_E1E12.smt2
mbo_E2E16.smt2
mbo_E1E20.smt2
mbo_E4E14.smt2
mbo_E3E8.smt2
mbo_E5E8.smt2
mbo_E14E23.smt2
mbo_E1E19.smt2
mbo_E2E18.smt2
mbo_E13E21.smt2
mbo_E5E26.smt2
mbo_E5E19.smt2
mbo_E20E24.smt2
mbo_E14E20.smt2
mbo_E7E26.smt2
mbo_E4E26.smt2
mbo_E18E19.smt2
mbo_E3E25.smt2
mbo_E13E15.smt2
mbo_E6E17.smt2
mbo_E2E10.smt2
mbo_E17E28.smt2
mbo_E19E23.smt2
mbo_E3E28.smt2
mbo_E5E13.smt2
mbo_E9E16.smt2
mbo_E4E28.smt2
mbo_E20E22.smt2
mbo_E2E6.smt2
mbo_E15E20.smt2
mbo_E5E6.smt2
mbo_E4E22.smt2
mbo_E18.smt2
mbo_E2E15.smt2
mbo_E7E17.smt2
mbo_E7E8.smt2
mbo_E6.smt2
mbo_E22E23.smt2
mbo_E12E18.smt2
mbo_E2E11.smt2
mbo_E11.smt2
mbo_E3E16.smt2
mbo_E2E7.smt2
mbo_E8E13.smt2
mbo_E27E28.smt2
mbo_E9E12.smt2
mbo_E3E4.smt2
mbo_E4E23.smt2
mbo_E20E23.smt2
mbo_E8E17.smt2
mbo_E15E22.smt2
mbo_E4E6.smt2
mbo_E17E20.smt2
mbo_E9E25.smt2
mbo_E14E17.smt2
mbo_E3E15.smt2
mbo_E23E24.smt2
mbo_E2E21.smt2
mbo_E7E13.smt2
mbo_E2E5.smt2
mbo_E1E15.smt2
mbo_E10E18.smt2
mbo_E7E22.smt2
mbo_E16E21.smt2
mbo_E11E21.smt2
mbo_E7E18.smt2
mbo_E6E14.smt2
mbo_E19E22.smt2
mbo_E11E25.smt2
mbo_E6E12.smt2
mbo_E16E28.smt2
mbo_E14E16.smt2
mbo_E8E14.smt2
mbo_E18E27.smt2
mbo_E7E21.smt2
mbo_E27.smt2
mbo_E6E26.smt2
mbo_E10E28.smt2
mbo_E22.smt2
mbo_E1E18.smt2
mbo_E8E11.smt2
mbo_E9E19.smt2
mbo_E10E22.smt2
mbo_E13E23.smt2
mbo_E5E23.smt2
mbo_E12E17.smt2
mbo_E13E25.smt2
mbo_E12E20.smt2
mbo_E2E14.smt2
mbo_E1E6.smt2
mbo_E16E19.smt2
mbo_E26E28.smt2
mbo_E17E26.smt2
mbo_E9E15.smt2
mbo_E15E24.smt2
mbo_E8E21.smt2
mbo_E14E22.smt2
mbo_E1E5.smt2
mbo_E15E16.smt2
mbo_E19E21.smt2
mbo_E16E20.smt2
mbo_E1E26.smt2
mbo_E3E6.smt2
mbo_E23.smt2
mbo_E6E19.smt2
mbo_E5E16.smt2
mbo_E8.smt2
mbo_E14E28.smt2
mbo_E8E24.smt2
mbo_E7E19.smt2
mbo_E19E27.smt2
mbo_E13E14.smt2
mbo_E12E28.smt2
mbo_E11E27.smt2
mbo_E25E26.smt2
mbo_E23E25.smt2
mbo_E10E19.smt2
mbo_E13E20.smt2
mbo_E3E12.smt2
mbo_E10E25.smt2
mbo_E11E19.smt2
mbo_E4E21.smt2
mbo_E8E25.smt2
mbo_E10E26.smt2
mbo_E2E12.smt2
mbo_E15E18.smt2
mbo_E9E14.smt2
mbo_E2E13.smt2
mbo_E4E18.smt2