master_4329_smtcomp

details

attribute	current value
name	master_4329_smtcomp
description	no description
owning solver	master4329smtcomp

contents

./vampire_z3_Release_static_master_4329 --ignore_missing on --mode smtcomp $1

back to master4329smtcomp