show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb65.p	unsat	0.04
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb66.p	unsat	0.17
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb67.p	unsat	0.17
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb68.p	timeout	9.77
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb7.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb8.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb9.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/polymorph.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/polymorph2.p	error	0.01
/home/simon/workspace/zipperposition/examples/problems/pb1.p	timeout	11.01
/home/simon/workspace/zipperposition/examples/problems/pb2.p	unsat	0.88
/home/simon/workspace/zipperposition/examples/regression/ALG269^4.p	error	0.03
/home/simon/workspace/zipperposition/examples/regression/ANA088^1.p	unsat	0.46
/home/simon/workspace/zipperposition/examples/regression/DAT267^1.p	timeout	9.94
/home/simon/workspace/zipperposition/examples/regression/MGT011-1.p	unsat	0.06
/home/simon/workspace/zipperposition/examples/regression/NLP121-1.p	sat	0.04
/home/simon/workspace/zipperposition/examples/regression/RNG108+1.p	unsat	1.11
/home/simon/workspace/zipperposition/examples/regression/SWW616=2.p	timeout	10.05
/home/simon/workspace/zipperposition/examples/regression/SYN994^1.p	sat	0.04
/home/simon/workspace/zipperposition/examples/regression/typing_app.p	sat	0.04
/home/simon/workspace/zipperposition/examples/sat/isabelle1.p	timeout	9.97
/home/simon/workspace/zipperposition/examples/sat/isabelle2.p	sat	0.04
/home/simon/workspace/zipperposition/examples/sledgehammer/prob_e_1.p	timeout	9.78
/home/simon/workspace/zipperposition/examples/why3_1.p	unsat	0.20
/home/simon/workspace/zipperposition/examples/why3_2.p	unsat	0.05

full results