details

attribute value name OSTRICH 1.3 SMT-COMP description OSTRICH 1.3 for SMT COMP 2023 owner Philipp Ruemmer uploaded 2023-05-30 04:15:46.0 disk size 19.68 MB build status uploaded built

configurations

name	description
def	no description

actions

get anonymous link download