SEQ Benchmarks

Family
NameSEQ
Generation DateNone
First Occurrence2005-07-12
Benchmarks56

Benchmarks

QF_UF • Charts • Solver Isomap
SEQ013_size6.smt2
SEQ010_size8.smt2
SEQ050_size2.smt2
SEQ020_size2.smt2
SEQ015_size2.smt2
SEQ038_size6.smt2
SEQ011_size4.smt2
SEQ009_size8.smt2
SEQ020_size3.smt2
SEQ019_size5.smt2
SEQ032_size2.smt2
SEQ004_size5.smt2
SEQ020_size4.smt2
SEQ032_size4.smt2
SEQ038_size8.smt2
SEQ035_size5.smt2
SEQ017_size4.smt2
SEQ018_size6.smt2
SEQ019_size6.smt2
SEQ004_size7.smt2
SEQ035_size4.smt2
SEQ042_size3.smt2
SEQ032_size3.smt2
SEQ026_size5.smt2
SEQ026_size6.smt2
SEQ005_size6.smt2
SEQ010_size7.smt2
SEQ009_size9.smt2
SEQ015_size4.smt2
SEQ009_size7.smt2
SEQ011_size3.smt2
SEQ018_size8.smt2
SEQ050_size3.smt2
SEQ013_size5.smt2
SEQ009_size10.smt2
SEQ035_size6.smt2
SEQ015_size3.smt2
SEQ017_size6.smt2
SEQ004_size6.smt2
SEQ042_size2.smt2
SEQ019_size4.smt2
SEQ018_size7.smt2
SEQ042_size4.smt2
SEQ050_size4.smt2
SEQ010_size9.smt2
SEQ005_size9.smt2
SEQ038_size9.smt2
SEQ013_size4.smt2
SEQ011_size2.smt2
SEQ010_size6.smt2
SEQ026_size4.smt2
SEQ005_size7.smt2
SEQ017_size5.smt2
SEQ026_size7.smt2
SEQ038_size7.smt2
SEQ005_size8.smt2