show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI568=1.p	error	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI570=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI571=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI572=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI573=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI574=1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI575=1.p	unsat	0.07
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI575=2.p	unknown	0.26
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI575=3.p	error	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI576=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI577=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI578=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI579=1.p	unknown	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI579=2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI579=3.p	error	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI580=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI581=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI582=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI583=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI584=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI585=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI586=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI587=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI588=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI589=1.p	unsat	0.02

full results