「ラプラス 魔女」で見つからない図書館

兵庫県図書館横断検索サイトで「ラプラス　魔女」で検索して、ヒットしない図書館（すべて富士通製）：
　赤穂市、相生市、福崎町、市川町、新温泉町、淡路市、丹波篠山市
　（三菱電機製尼崎市も見つからないが横断検索側の問題かと思われる）

富士通製であるが見つかる図書館：
　豊岡市、養父市、神河町、稲美町、西脇市、三田市、猪名川町
　姫路市、伊丹市（この2市は大規模タイプのシステム）