stp-portfolio-fixed

loading
details

attribute value
name stp-portfolio-fixed
description no description
owner Norbert Manthey
uploaded 2019-06-10 12:53:19.0
disk size 16.8 MB
build status uploaded built
configurations
name description
stp-portfolio STP, with external parallel SAT portfolio solver, for n available cores, all except 3 are assigned to CryptoMiniSat, and 1 to each MergeSAT, Riss and MiniSat

actions get anonymous link download