show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI042=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI043=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI044=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI045=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI046=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI047=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI048=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI049=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI050=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI051=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI052=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI053=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI054=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI055=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI056=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI057=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI058=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI059=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI060=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI061=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI062=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI063=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI064=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI065=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ARI/ARI066=1.p	unsat	0.02

full results