show full table

problem	zip-dev-check	zip-dev	zip-dev-check.time	zip-dev.time
/home/simon/workspace/zipperposition/tests/unknown/nat15.p	sat	sat	0.02	0.02
/home/simon/workspace/zipperposition/tests/unknown/nat19.p	sat	sat	0.02	0.02