topWitnessSet(...,Verbose=>Boolean)
Use Verbose=>true for additional output which includes the input and solution file names used by phc -c.
The output file of phc contains information about the application of the blackbox solver to the embedded system.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/PHCpack/PHCpackDoc.m2:1305:0.