#!/bin/bash

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