details

attribute value name vampire-4.4-smtcomp description This is vampire in git version 82ff932670d944eac2fc4e01926500f781f14961 linked against z3 4.8.4 owner Martin Riener uploaded 2019-06-02 13:50:02.0 disk size 432.57 MB build status uploaded built

configurations

name	description
vampire_smtcomp	no description

actions

get anonymous link download