show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET020+1.p	unsat	0.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET020-3.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET020-4.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET020-6.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET020-7.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET020^7.p	timeout	9.92
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET021-3.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET021-4.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET021-6.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET021-7.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET022-3.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET022-4.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET023-3.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET023-4.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET024+1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET024-3.p	unsat	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET024-4.p	unsat	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET024-6.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET024-7.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET025+1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET025-3.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET025-4.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET025-6.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET025-7.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET025-8.p	unsat	0.05

full results