show full table

problem	z3	mc2-nogc-dev	mc2-dev	z3.time	mc2-nogc-dev.time	mc2-dev.time
/home/simon/workspace/mc2/tests/unsat/uart-10.base.cvc.smt2	unsat	unsat	unsat	0.75	13.27	12.52
/home/simon/workspace/mc2/tests/unsat/uart-7.base.cvc.smt2	unsat	unsat	unsat	0.26	0.93	1.01