Statistics for Threads and Or-Parallelism Unified