stp-portfolio-fixed

loading
details

attribute value
name stp-portfolio-fixed
description no description
owner Norbert Manthey
uploaded Jun 10 2019
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

Compute nodes for all.q are being upgraded. Use new.q for now.More Information