show full table

problem	zip-dev-check	zip-dev	zip-dev-check.time	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL900+1.p	timeout	timeout	9.82	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL901+1.p	timeout	timeout	9.78	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL902+1.p	timeout	timeout	9.82	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL903+1.p	timeout	timeout	9.78	9.78