Name Date Size #Lines LOC

..--

predicate01.outH A D25-Apr-202551 22

predicate02.outH A D25-Apr-202551 22

predicate03.outH A D25-Apr-202551 22

predicate04.outH A D25-Apr-202551 22

predicate05.outH A D25-Apr-202551 22

predicate06.outH A D25-Apr-202565 44

predicate07.outH A D25-Apr-202554 22

predicate08.outH A D25-Apr-202554 22

predicate09.outH A D25-Apr-202553 22

predicate10.outH A D25-Apr-202554 22

predicate11.outH A D25-Apr-202565 44

predicate12.outH A D25-Apr-202566 44

predicate13.outH A D25-Apr-202551 22

predicate14.outH A D25-Apr-202554 22

predicate15.outH A D25-Apr-202552 22

predicate16.outH A D25-Apr-202554 22

predicate17.outH A D25-Apr-202566 44

predicate18.outH A D25-Apr-202551 22

predicate19.outH A D25-Apr-202555 22

predicate20.outH A D25-Apr-202565 44

predicate21.outH A D25-Apr-202557 22

predicate22.outH A D25-Apr-202557 22

predicate23.outH A D25-Apr-202553 22

predicate24.outH A D25-Apr-202553 22

predicate25.outH A D25-Apr-202553 22

predicate26.outH A D25-Apr-202552 22

predicate27.outH A D25-Apr-202552 22

predicate28.outH A D25-Apr-202552 22

predicate29.outH A D25-Apr-202551 22

predicate30.outH A D25-Apr-202552 22

predicate31.outH A D25-Apr-202553 22

predicate32.outH A D25-Apr-202551 22

predicate33.outH A D25-Apr-202553 22

predicate34.outH A D25-Apr-202553 22

predicate35.outH A D25-Apr-202552 22

predicate36.outH A D25-Apr-202554 22

predicate37.outH A D25-Apr-202565 22

predicate38.outH A D25-Apr-2025129 65

predicate39.outH A D25-Apr-202566 22

predicate40.outH A D25-Apr-2025104 22

predicate41.outH A D25-Apr-2025104 22

predicate42.outH A D25-Apr-2025104 22

predicate43.outH A D25-Apr-202598 33

predicate44.outH A D25-Apr-202576 22

predicate45.outH A D25-Apr-202576 22

predicate46.outH A D25-Apr-202576 22

predicate47.outH A D25-Apr-202576 22

predicate48.outH A D25-Apr-2025117 22

predicate49.outH A D25-Apr-2025128 22

predicate50.outH A D25-Apr-2025128 22

predicate51.outH A D25-Apr-2025134 22

predicate52.outH A D25-Apr-2025138 22

predicate53.outH A D25-Apr-2025147 22

predicate54.outH A D25-Apr-2025141 22

predicate55.outH A D25-Apr-2025145 22

predicate56.outH A D25-Apr-2025141 22

predicate57.outH A D25-Apr-2025141 55

predicate58.outH A D25-Apr-2025258 1111