default

details

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

contents

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