20211213-GrandProduct-Ozdemir Benchmarks

Family
NameGrandProduct-Ozdemir
Generation Date2021-12-13
First Occurrence2022-08-10
Benchmarks36

Benchmarks

QF_ANIA • Charts • Solver Isomap
sound/same/3.smt2
sound/same/7.smt2
sound/same/4.smt2
sound/same/5.smt2
sound/same/10.smt2
sound/same/8.smt2
sound/same/11.smt2
sound/same/9.smt2
sound/same/6.smt2
sound/diff/4.smt2
sound/diff/5.smt2
sound/diff/6.smt2
sound/diff/8.smt2
sound/diff/3.smt2
sound/diff/9.smt2
sound/diff/10.smt2
sound/diff/11.smt2
sound/diff/7.smt2
unsound/same/5.smt2
unsound/same/8.smt2
unsound/same/4.smt2
unsound/same/6.smt2
unsound/same/3.smt2
unsound/same/10.smt2
unsound/same/9.smt2
unsound/same/11.smt2
unsound/same/7.smt2
unsound/diff/4.smt2
unsound/diff/5.smt2
unsound/diff/8.smt2
unsound/diff/6.smt2
unsound/diff/3.smt2
unsound/diff/9.smt2
unsound/diff/11.smt2
unsound/diff/10.smt2
unsound/diff/7.smt2