#!/usr/bin/env bash

# ./benchmark chained-var_states
# ./benchmark chained-var_chains
./benchmark var_states
./benchmark var_layers
./benchmark sap
./benchmark wetfloor
