#!/bin/bash

rm ipc2023_opcount4sat_sat.sif
