[VeriSO]: tables.json in ilimodelname directory