Revision 1092: /branches/fx8/benchmarks

• ..
• 01_UF_SEQ004_size5.smt
• 01_UF_SEQ011_size2.smt
• 01_UF_SEQ015_size2.smt
• 01_UF_SEQ020_size2.smt
• 01_UF_SEQ032_size2.smt
• 01_UF_SEQ042_size2.smt
• 01_UF_SEQ050_size2.smt
• 01_uclid_27s.smt
• 01_uclid_32s.smt
• 01_uclid_44s.smt
• 01_uclid_46s.smt
• 01_uclid_49s.smt
• 01_uclid_elf.rf6.smt
• 01_uclid_elf.rf7.smt
• 01_uclid_ooo.rf6.smt
• 02_UF_SEQ004_size6.smt
• 02_UF_SEQ004_size7.smt
• 02_UF_SEQ011_size3.smt
• 02_UF_SEQ020_size3.smt
• 02_UF_SEQ050_size3.smt
• 02_pete2_c6_i.smt
• 02_pete2_c7_i.smt
• 02_pete2_c8_i.smt
• 02_pete2_c9_i.smt
• 02_uclid_22s.smt
• 02_uclid_25s.smt
• 02_uclid_37s.smt
• 02_uclid_dlx1c.rwmem.smt
• 02_uclid_dlx1c.rwmem1.smt
• 02_uclid_dlx1c.smt
• 02_uclid_ooo.rf7.smt
• 02_uclid_ooo.tag8.smt
• 03_UF_SEQ032_size3.smt
• 03_UF_SEQ042_size3.smt
• 03_UF_SEQ042_size4.smt
• 03_UF_SEQ050_size4.smt
• 03_pete2_c10_i.smt
• 03_pete2_c6b_i.smt
• 03_pete2_c6i_i.smt
• 03_pete2_c6n_i.smt
• 03_pete2_c7b_i.smt
• 03_pete2_c7n_i.smt
• 03_pete2_c8b_i.smt
• 03_pete2_c8n_i.smt
• 03_pete2_c9b_i.smt
• 03_pete2_c9n_i.smt
• 03_uclid2_bug2.smt
• 03_uclid_cache.inv8.smt
• 03_uclid_elf.rf8.smt
• 03_uclid_ooo.rf8.smt
• 03_uclid_q2.10.smt
• 04_pete2_c10b_i.smt
• 04_pete2_c6bi_i.smt
• 04_pete2_c6bid_i.smt
• 04_pete2_c6id_i.smt
• 04_pete2_c6idw_i.smt
• 04_pete2_c6ni_i.smt
• 04_pete2_c7idw_i.smt
• 04_uclid2_bug1.smt
• 04_uclid_cache.inv10.smt
• 04_uclid_elf.rf9.smt
• 04_uclid_ooo.rf9.smt
• 04_uclid_ooo.tag10.smt
• 04_uclid_q2.12.smt
• 05_pete2_c10i_i.smt
• 05_pete2_c6bidw_i.smt
• 05_pete2_c6nid_i.smt
• 05_pete2_c6nidw_i.smt
• 05_pete2_c7bidw_i.smt
• 05_pete2_c7nidw_i.smt
• 05_pete2_c8idw_i.smt
• 05_pete2_c9idw_i.smt
• 05_uclid_43s.smt
• 05_uclid_cache.inv12.smt
• 05_uclid_elf.rf10.smt
• 05_uclid_ooo.rf10.smt
• 05_uclid_q2.14.smt
• 06_pete2_c10bi_i.smt
• 06_pete2_c10bid_i.smt
• 06_pete2_c10bidw_i.smt
• 06_pete2_c10id_i.smt
• 06_pete2_c10idw_i.smt
• 06_pete2_c10ni_i.smt
• 06_pete2_c10nid_i.smt
• 06_pete2_c10nidw_i.smt
• 06_pete2_c8bidw_i.smt
• 06_pete2_c8nidw_i.smt
• 06_pete2_c9bidw_i.smt
• 06_pete2_c9nidw_i.smt
• 06_uclid2_cache.inv15.smt
• 06_uclid_cache.inv14.smt
• 06_uclid_ooo.tag12.smt
• 07_uclid2_cache.inv16.smt
• 07_uclid2_cache.inv17.smt
• 07_uclid2_cache.inv18.smt
• 07_uclid2_ooo.rf11.smt
• 09_uclid2_elf.rf12.smt
• 09_uclid2_ooo.rf12.smt
• 09_uclid2_ooo.rf13.smt
• 09_uclid2_ooo.tag15.smt
• 09_uclid2_ooo.tag17.smt
• 09_uclid2_ooo.tag19.smt
• 09_uclid_ooo.tag14.smt
• 09_uclid_q2.18.smt
• 09_uclid_q2.20.smt
• 09_uclid_q2.30.smt
• 09_uclid_q2.40.smt