default

details

attribute	current value
name	default
description	no description
owning solver	Yices 2 incremental for SMTCOMP 2023

contents

#!/bin/sh
ulimit -s 131072 
./yices2 --incremental $1