Hypergraph,Type
ibm09,ISPD98
ibm10,ISPD98
ibm11,ISPD98
ibm12,ISPD98
ibm13,ISPD98
ibm14,ISPD98
ibm15,ISPD98
ibm16,ISPD98
ibm17,ISPD98
ibm18,ISPD98
sat14_6s133,SAT14
sat14_6s153,SAT14
sat14_6s184,SAT14
sat14_6s9,SAT14
sat14_aaai10-planning-ipc5-pathways-17-step21,SAT14
sat14_ACG-20-5p0,SAT14
sat14_ACG-20-5p1,SAT14
sat14_AProVE07-27,SAT14
sat14_atco_enc1_opt2_05_4,SAT14
sat14_atco_enc1_opt2_10_16,SAT14
sat14_atco_enc2_opt1_05_21,SAT14
sat14_atco_enc3_opt1_04_50,SAT14
sat14_atco_enc3_opt2_05_21,SAT14
sat14_atco_enc3_opt2_10_12,SAT14
sat14_atco_enc3_opt2_10_14,SAT14
sat14_countbitssrl032,SAT14
sat14_dated-10-11-u,SAT14
sat14_dated-10-17-u,SAT14
sat14_hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin,SAT14
sat14_itox_vc1130,SAT14
sat14_manol-pipe-c8nidw,SAT14
sat14_manol-pipe-g10bid_i,SAT14
sat14_MD5-28-4,SAT14
sat14_openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT,SAT14
sat14_SAT_dat.k85-24_1_rule_3,SAT14
sat14_SAT_dat.k90.debugged,SAT14
sat14_slp-synthesis-aes-top29,SAT14
sat14_UCG-15-10p1,SAT14
sat14_UR-15-10p1,SAT14
sat14_UR-20-5p0,SAT14
2cubes_sphere,SPM
2D_54019_highK,SPM
af_4_k101,SPM
af_shell1,SPM
Andrews,SPM
as-caida,SPM
av41092,SPM
BenElechi1,SPM
c-61,SPM
case39,SPM
cfd1,SPM
ckt11752_dc_1,SPM
cnr-2000,SPM
coupled,SPM
denormal,SPM
dielFilterV2clx,SPM
EternityII_A,SPM
ex19,SPM
gearbox,SPM
hvdc1,SPM
Ill_Stokes,SPM
IMDB,SPM
laminar_duct3D,SPM
lhr14,SPM
light_in_tissue,SPM
Lin,SPM
lp_pds_20,SPM
m14b,SPM
mc2depi,SPM
mixtank_new,SPM
mult_dcop_01,SPM
NotreDame_actors,SPM
opt1,SPM
para-4,SPM
pdb1HYS,SPM
Pd_rhs,SPM
pkustk11,SPM
poisson3Db,SPM
powersim,SPM
Pres_Poisson,SPM
psse2,SPM
RFdevice,SPM
rgg_n_2_18_s0,SPM
rim,SPM
rma10,SPM
s4dkt3m2,SPM
shock-9,SPM
shyy161,SPM
skirt,SPM
sme3Db,SPM
spmsrtls,SPM
Stanford,SPM
stokes128,SPM
TF16,SPM
thermomech_TC,SPM
torso3,SPM
vibrobox,SPM
water_tank,SPM
waveguide3D,SPM
webbase-1M,SPM