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.