#!/bin/bash

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