甲诉乙合同纠纷一案，法院判决甲胜诉。在执行过程中，甲和乙自愿达成和解协议：将判决中确定的乙向甲偿还100万元人民币减少为80万，协议生效之日起1个月内还清。乙按照和解协议的约定履行了相关义务。后甲以发现新证据为由向法院申请再审，法院对再审申请进行审查时，发现和解协议已履行完毕。法院的正确做法是：

2014年9月30日，吴某租赁王某建筑搭架设备，使用结束后，经双方结算下欠王某1000元。2016年5月29日，吴某为王某出具了一张1000元欠条，后经王某多次催要，吴某一直未还，王某诉至法院。法院决定适用小额诉讼程序审理，告知了双方小额诉讼程序的特点。被告要求书面答辩，法院确定了7天的答辩期，并指定了5天的举证期限。在答辩期内，被告提出了管辖权异议，法院告知其小额诉讼程序不能提管辖权异议。关于本案诉讼程序中，法院做法正确的有：

约翰雷欧是著名足球运动体育明星，提起足球运动，雷欧的名字无人不知。中国的A公司注册了“雷欧”商标，B公司用“雷欧”作为企业名称，并于产品上显著标明公司名称为“雷欧”，A公司向法院起诉B公司侵权，下列有关说法正确的是？

王某与胜达公司订立了商品房购房合同, 购买位于甲市的房屋, 后胜达公司拒绝交付房屋, 王某根据仲裁条款向设立在乙市的仲裁委申请仲裁要求交付房屋, 仲裁过程中, 王某提出案件法律关系清楚, 且自己结婚在即, 申请先予执行, 关于本案先予执行正确的是?

张三起诉李四要求离婚,法院适用简易程序审理本案,张三申请法院通知证人王某出庭作证,法官给王某发短信通知其出庭作证。经过审理,法院认为夫妻感情尚未破裂,遂判决维持婚姻关系。法院送达人员将张三和李四的判决书交由李四签收。一个月后,法院了解到张三尚未收到判决书,即向张三补发了判决书。下列关于本案表述正确的是?