show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/examples/counter_ex_beagle.p	unsat	0.05
/home/simon/workspace/zipperposition/examples/diophantine.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/distinct.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/don_t_use_omega.p	unsat	0.46
/home/simon/workspace/zipperposition/examples/enum.p	timeout	9.81
/home/simon/workspace/zipperposition/examples/enum2.p	timeout	10.02
/home/simon/workspace/zipperposition/examples/enum3.p	sat	0.01
/home/simon/workspace/zipperposition/examples/enum4.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/frontpage.p	timeout	9.88
/home/simon/workspace/zipperposition/examples/functional.p	timeout	9.82
/home/simon/workspace/zipperposition/examples/ho/PUZ081^1.p	unsat	0.03
/home/simon/workspace/zipperposition/examples/ho/PUZ081^2.p	unsat	0.02
/home/simon/workspace/zipperposition/examples/ho/PUZ085^1.p	error	0.01
/home/simon/workspace/zipperposition/examples/ho/QUA011^1.p	error	0.01
/home/simon/workspace/zipperposition/examples/ho/SET014^4.p	timeout	10.02
/home/simon/workspace/zipperposition/examples/ho/SEU684^1.p	timeout	9.91
/home/simon/workspace/zipperposition/examples/ho/SYN000^1.p	error	0.01
/home/simon/workspace/zipperposition/examples/ho/SYO265^5.p	unknown	0.02
/home/simon/workspace/zipperposition/examples/ho/thf_syntax.p	sat	0.01
/home/simon/workspace/zipperposition/examples/ho/unif5.p	unsat	0.01
/home/simon/workspace/zipperposition/examples/ho/weird_ineq.p	timeout	9.77
/home/simon/workspace/zipperposition/examples/ho/weird_ineq2.p	timeout	9.77
/home/simon/workspace/zipperposition/examples/ind/list1.p	timeout	9.77
/home/simon/workspace/zipperposition/examples/ind/list10.p	unknown	0.03
/home/simon/workspace/zipperposition/examples/ind/list11.p	timeout	9.77

full results