details

attribute value name OSTRICH 1.2 description OSTRICH 1.2 for SMT COMP 2022 owner Philipp Ruemmer uploaded 2022-07-01 09:03:17.0 disk size 18.38 MB build status uploaded built

configurations

name	description
def	no description

actions

get anonymous link download