vampire_smtcomp

details

attribute	current value
name	vampire_smtcomp
description	no description
owning solver	vampire_smt_4.6

contents

./vampire --ignore_missing on --mode smtcomp --experimental_schedule_number 4 $1

back to vampire_smt_4.6