details

attribute	current value
name	fp
description	no description
owning solver	AProVE certified

contents

#!/bin/bash
./run.sh $1 hs

back to AProVE certified