details

attribute value name OSTRICH 1.2 description OSTRICH 1.2 for SMT COMP 2022 owner Philipp Ruemmer uploaded Jul 01 2022 disk size 18.38 MB build status uploaded built

configurations

name	description
def	no description

actions

get anonymous link download