show full table

problem	msat	minisat	msat.time	minisat.time
/home/simon/workspace/msat/tests/hanoi/hanoi5.cnf	timeout	sat	11.16	0.49
/home/simon/workspace/msat/tests/pigeon/hole10.cnf	timeout	unknown	10.99	10.06