Print explored theory when not using --bottom
Show results from theorem prover invocations