show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/examples/ind/tree3.p	timeout	9.78
/home/simon/workspace/zipperposition/examples/ind/tree4.p	timeout	9.82
/home/simon/workspace/zipperposition/examples/ind/tree5.p	timeout	9.79
/home/simon/workspace/zipperposition/examples/ind/tree_nat1.p	timeout	10.02
/home/simon/workspace/zipperposition/examples/int_nat4_arith.p	timeout	9.77
/home/simon/workspace/zipperposition/examples/loop.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/modulo1.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/modulo2.p	unsat	0.03
/home/simon/workspace/zipperposition/examples/modulo3.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/modulo4.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/modulo5.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/modulo5bis.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/modulo6.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/equivalence.p	unsat	0.10
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb1.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb10.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb11.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb12.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb13.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb14.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb15.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb16.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb17.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb18.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb19.p	unsat	0.01

full results