default~

details

attribute	current value
name	default~
description	no description
owning solver	Yices 2 model validation for SMTCOMP 2023

contents

#!/bin/sh

ulimit -s 131072
./yices2 $1