details

attribute value name OSTRICH 1.3pre description OSTRICH 1.3 pre for SMT COMP 2023 owner Philipp Ruemmer uploaded 2023-05-11 02:04:53.0 disk size 19.44 MB build status uploaded built

configurations

name	description
def	no description

actions

get anonymous link download