show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI017=1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI018=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI019=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI020=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI021=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI022=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI023=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI024=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI025=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI026=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI027=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI028=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI029=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI030=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI031=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI032=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI033=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI034=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI035=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI036=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI037=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI038=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI039=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI040=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI041=1.p	unsat	0.02

full results