factorWitnessSet(...,Verbose=>Boolean)
Use Verbose=>true for additional output which includes the input and solution file names used by phc -f.
The source of this document is in PHCpack/PHCpackDoc.m2:412:0.