#!/bin/bash

singularity run -e $(dirname $0)/ipc2023_hapori_mip2_sat.sif $@
