These are example circuits from the ISCAS89 benchmark suite.  All designs
are created in the lib named "designs".  The cells are named:

s1196_bench
s1238_bench
s13207_bench
s1423_bench
s1488_bench
s1494_bench
s15850_bench
s208_1_bench
s27_bench
s298_bench
s344_bench
s349_bench
s35932_bench
s382_bench
s38417_bench
s38584_bench
s386_bench
s400_bench
s420_1_bench
s444_bench
s510_bench
s526_bench
s526n_bench
s5378_bench
s641_bench
s713_bench
s820_bench
s832_bench
s838_1_bench
s9234_1_bench
z10_test_bench

There are two views for each cell, "netlist" and "physical".

s953 was omitted as SIS removed all logic from the design as given in
the original BLIF.
