diamonds Benchmarks

Family
Namediamonds
Generation DateNone
First Occurrence2005-07-12
Benchmarks36

Benchmarks

QF_IDL • Charts • Solver Isomap
diamonds.10.3.i.a.u.smt2
diamonds.15.3.i.a.u.smt2
diamonds.16.5.i.a.u.smt2
diamonds.11.2.i.a.u.smt2
diamonds.17.3.i.a.u.smt2
diamonds.13.5.i.a.u.smt2
diamonds.16.2.i.a.u.smt2
diamonds.18.5.i.a.u.smt2
diamonds.17.2.i.a.u.smt2
diamonds.18.10.i.a.u.smt2
diamonds.17.10.i.a.u.smt2
diamonds.14.3.i.a.u.smt2
diamonds.11.3.i.a.u.smt2
diamonds.11.5.i.a.u.smt2
diamonds.11.10.i.a.u.smt2
diamonds.17.5.i.a.u.smt2
diamonds.14.10.i.a.u.smt2
diamonds.13.2.i.a.u.smt2
diamonds.12.3.i.a.u.smt2
diamonds.13.3.i.a.u.smt2
diamonds.15.5.i.a.u.smt2
diamonds.12.2.i.a.u.smt2
diamonds.18.2.i.a.u.smt2
diamonds.14.5.i.a.u.smt2
diamonds.14.2.i.a.u.smt2
diamonds.13.10.i.a.u.smt2
diamonds.16.3.i.a.u.smt2
diamonds.18.3.i.a.u.smt2
diamonds.12.10.i.a.u.smt2
diamonds.10.10.i.a.u.smt2
diamonds.16.10.i.a.u.smt2
diamonds.10.5.i.a.u.smt2
diamonds.15.2.i.a.u.smt2
diamonds.15.10.i.a.u.smt2
diamonds.10.2.i.a.u.smt2
diamonds.12.5.i.a.u.smt2