2cubes_sphere.mtx.hgr 2D_54019_highK.mtx.hgr af_4_k101.mtx.hgr af_shell1.mtx.hgr Andrews.mtx.hgr as-caida.mtx.hgr av41092.mtx.hgr BenElechi1.mtx.hgr c-61.mtx.hgr case39.mtx.hgr cfd1.mtx.hgr ckt11752_dc_1.mtx.hgr cnr-2000.mtx.hgr coupled.mtx.hgr dac2012_superblue14.hgr dac2012_superblue16.hgr dac2012_superblue19.hgr dac2012_superblue3.hgr dac2012_superblue9.hgr denormal.mtx.hgr dielFilterV2clx.mtx.hgr EternityII_A.mtx.hgr ex19.mtx.hgr gearbox.mtx.hgr hvdc1.mtx.hgr Ill_Stokes.mtx.hgr IMDB.mtx.hgr ISPD98_ibm09.hgr ISPD98_ibm10.hgr ISPD98_ibm11.hgr ISPD98_ibm12.hgr ISPD98_ibm13.hgr ISPD98_ibm14.hgr ISPD98_ibm15.hgr ISPD98_ibm16.hgr ISPD98_ibm17.hgr ISPD98_ibm18.hgr laminar_duct3D.mtx.hgr lhr14.mtx.hgr light_in_tissue.mtx.hgr Lin.mtx.hgr lp_pds_20.mtx.hgr m14b.mtx.hgr mc2depi.mtx.hgr mixtank_new.mtx.hgr mult_dcop_01.mtx.hgr NotreDame_actors.mtx.hgr opt1.mtx.hgr para-4.mtx.hgr pdb1HYS.mtx.hgr Pd_rhs.mtx.hgr pkustk11.mtx.hgr poisson3Db.mtx.hgr powersim.mtx.hgr Pres_Poisson.mtx.hgr psse2.mtx.hgr RFdevice.mtx.hgr rgg_n_2_18_s0.mtx.hgr rim.mtx.hgr rma10.mtx.hgr s4dkt3m2.mtx.hgr sat14_6s133.cnf.dual.hgr sat14_6s133.cnf.hgr sat14_6s133.cnf.primal.hgr sat14_6s153.cnf.dual.hgr sat14_6s153.cnf.hgr sat14_6s153.cnf.primal.hgr sat14_6s184.cnf.dual.hgr sat14_6s184.cnf.hgr sat14_6s184.cnf.primal.hgr sat14_6s9.cnf.dual.hgr sat14_6s9.cnf.hgr sat14_6s9.cnf.primal.hgr sat14_aaai10-planning-ipc5-pathways-17-step21.cnf.dual.hgr sat14_aaai10-planning-ipc5-pathways-17-step21.cnf.hgr sat14_aaai10-planning-ipc5-pathways-17-step21.cnf.primal.hgr sat14_ACG-20-5p0.cnf.dual.hgr sat14_ACG-20-5p0.cnf.hgr sat14_ACG-20-5p0.cnf.primal.hgr sat14_ACG-20-5p1.cnf.dual.hgr sat14_ACG-20-5p1.cnf.hgr sat14_ACG-20-5p1.cnf.primal.hgr sat14_AProVE07-27.cnf.dual.hgr sat14_AProVE07-27.cnf.hgr sat14_AProVE07-27.cnf.primal.hgr sat14_atco_enc1_opt2_05_4.cnf.dual.hgr sat14_atco_enc1_opt2_05_4.cnf.hgr sat14_atco_enc1_opt2_05_4.cnf.primal.hgr sat14_atco_enc1_opt2_10_16.cnf.dual.hgr sat14_atco_enc1_opt2_10_16.cnf.hgr sat14_atco_enc1_opt2_10_16.cnf.primal.hgr sat14_atco_enc2_opt1_05_21.cnf.dual.hgr sat14_atco_enc2_opt1_05_21.cnf.hgr sat14_atco_enc2_opt1_05_21.cnf.primal.hgr sat14_atco_enc3_opt1_04_50.cnf.dual.hgr sat14_atco_enc3_opt1_04_50.cnf.hgr sat14_atco_enc3_opt1_04_50.cnf.primal.hgr sat14_atco_enc3_opt2_05_21.cnf.dual.hgr sat14_atco_enc3_opt2_05_21.cnf.hgr sat14_atco_enc3_opt2_05_21.cnf.primal.hgr sat14_atco_enc3_opt2_10_12.cnf.dual.hgr sat14_atco_enc3_opt2_10_12.cnf.hgr sat14_atco_enc3_opt2_10_12.cnf.primal.hgr sat14_atco_enc3_opt2_10_14.cnf.dual.hgr sat14_atco_enc3_opt2_10_14.cnf.hgr sat14_atco_enc3_opt2_10_14.cnf.primal.hgr sat14_countbitssrl032.cnf.dual.hgr sat14_countbitssrl032.cnf.hgr sat14_countbitssrl032.cnf.primal.hgr sat14_dated-10-11-u.cnf.dual.hgr sat14_dated-10-11-u.cnf.hgr sat14_dated-10-11-u.cnf.primal.hgr sat14_dated-10-17-u.cnf.dual.hgr sat14_dated-10-17-u.cnf.hgr sat14_dated-10-17-u.cnf.primal.hgr sat14_hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf.dual.hgr sat14_hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf.hgr sat14_hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf.primal.hgr sat14_itox_vc1130.cnf.dual.hgr sat14_itox_vc1130.cnf.hgr sat14_itox_vc1130.cnf.primal.hgr sat14_manol-pipe-c8nidw.cnf.dual.hgr sat14_manol-pipe-c8nidw.cnf.hgr sat14_manol-pipe-c8nidw.cnf.primal.hgr sat14_manol-pipe-g10bid_i.cnf.dual.hgr sat14_manol-pipe-g10bid_i.cnf.hgr sat14_manol-pipe-g10bid_i.cnf.primal.hgr sat14_MD5-28-4.cnf.dual.hgr sat14_MD5-28-4.cnf.hgr sat14_MD5-28-4.cnf.primal.hgr sat14_openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.dual.hgr sat14_openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.hgr sat14_openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.primal.hgr sat14_SAT_dat.k85-24_1_rule_3.cnf.dual.hgr sat14_SAT_dat.k85-24_1_rule_3.cnf.hgr sat14_SAT_dat.k85-24_1_rule_3.cnf.primal.hgr sat14_SAT_dat.k90.debugged.cnf.dual.hgr sat14_SAT_dat.k90.debugged.cnf.hgr sat14_SAT_dat.k90.debugged.cnf.primal.hgr sat14_slp-synthesis-aes-top29.cnf.dual.hgr sat14_slp-synthesis-aes-top29.cnf.hgr sat14_slp-synthesis-aes-top29.cnf.primal.hgr sat14_UCG-15-10p1.cnf.dual.hgr sat14_UCG-15-10p1.cnf.hgr sat14_UCG-15-10p1.cnf.primal.hgr sat14_UR-15-10p1.cnf.dual.hgr sat14_UR-15-10p1.cnf.hgr sat14_UR-15-10p1.cnf.primal.hgr sat14_UR-20-5p0.cnf.dual.hgr sat14_UR-20-5p0.cnf.hgr sat14_UR-20-5p0.cnf.primal.hgr shock-9.mtx.hgr shyy161.mtx.hgr skirt.mtx.hgr sme3Db.mtx.hgr spmsrtls.mtx.hgr Stanford.mtx.hgr stokes128.mtx.hgr TF16.mtx.hgr thermomech_TC.mtx.hgr torso3.mtx.hgr vibrobox.mtx.hgr water_tank.mtx.hgr waveguide3D.mtx.hgr webbase-1M.mtx.hgr