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/SYN/SYN988^1.p	sat	sat	0.03	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN988^2.p	unsat	unsat	0.02	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN989^1.p	unsat	unsat	0.02	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN989^2.p	sat	sat	0.02	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN989^3.p	unsat	unsat	0.03	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN990^1.p	timeout	timeout	9.99	9.98
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN991^1.p	unknown	unknown	0.02	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN992^1.p	unknown	unknown	0.03	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN993^1.p	sat	sat	0.03	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN994^1.p	sat	sat	0.03	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN995^1.p	timeout	timeout	9.92	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN996^1.p	unsat	unsat	0.02	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN997^1.p	unknown	unknown	0.02	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN998^1.p	timeout	timeout	9.78	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN999^1.p	unknown	unknown	2.66	2.67