Revision 1092: /branches/fx8/uf-benchmarks

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