show full table

problem	zip-dev	zip-dev.time
/home/simon/w/these/zipperposition/examples/regression/RNG108+1.p	unsat	2.12
/home/simon/w/these/zipperposition/examples/regression/SWW616=2.p	timeout	9.91
/home/simon/w/these/zipperposition/examples/regression/SYN994^1.p	sat	0.02
/home/simon/w/these/zipperposition/examples/regression/typing_app.p	sat	0.03
/home/simon/w/these/zipperposition/examples/sat/isabelle1.p	timeout	9.98
/home/simon/w/these/zipperposition/examples/sat/isabelle2.p	sat	0.04
/home/simon/w/these/zipperposition/examples/sledgehammer/prob_e_1.p	timeout	9.84
/home/simon/w/these/zipperposition/examples/why3_1.p	unsat	0.22
/home/simon/w/these/zipperposition/examples/why3_2.p	unsat	0.09
/home/simon/w/these/zipperposition/examples/why3_2_monomorph.p	unsat	2.55
/home/simon/w/these/zipperposition/tests/test_theory_detect.p	timeout	10.03