details

attribute value name veriT-s1 description First submission of veriT to SMTCOMP 21 owner Hans-Joerg Schurr uploaded May 30 2021 disk size 949.06 KB build status uploaded built

configurations

name	description
default	no description

actions

get anonymous link download