show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/workspace/sidekick/tests/unsat/uart-7.base.cvc.smt2	unsat	error	0.10	0.01
/home/simon/workspace/sidekick/tests/unsat/v1l50092.cvc.smt2	unsat	unsat	0.05	0.01
/home/simon/workspace/sidekick/tests/unsat/v1l90033.cvc.smt2	unsat	unsat	0.05	0.01