testing results for Psi*Psi, KillingPath