run general/db/basic1.sim
run general/db/basic2.sim
run general/db/basic3.sim
run general/db/basic4.sim
run general/db/basic5.sim
#run general//db/tables.sim
#run general//db/basic.sim
#run general//db/len.sim
#run general//db/delete_reuse1.sim
#run general//db/delete_reuse2.sim
#run general//db/delete_writing1.sim
#run general//db/delete_writing2.sim
