details

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

configurations

name	description
default	no description

actions

get anonymous link download