details

attribute value name OSTRICH 1.3 SMT-COMP fixed description OSTRICH 1.3 fixed for SMT COMP 2023 owner Philipp Ruemmer uploaded 2023-06-21 09:41:34.0 disk size 19.69 MB build status uploaded built

configurations

name	description
def	no description

actions

get anonymous link download