default

details

attribute	current value
name	default
description	no description
owning solver	Alt-Ergo-SMTComp-2020

contents

./alt-ergo --no-locs-in-answers --threads-number=4 --global-timelimit=1200 $1

back to Alt-Ergo-SMTComp-2020