#!/bin/bash

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