show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/examples/why3_2_monomorph.p	unsat	1.73
/home/simon/workspace/zipperposition/tests/test_theory_detect.p	timeout	10.01