Use Verbose=>true for additional output which includes the input and solution file names used by phc.
The output file of phc contains timings for the path tracker and additional diagnostics for each path.