show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU797^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU798^1.p	timeout	9.97
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU798^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU799^1.p	timeout	9.98
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU799^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU800^1.p	timeout	9.97
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU800^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU801^1.p	timeout	9.97
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU801^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU802^1.p	timeout	9.98
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU802^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU803^1.p	timeout	9.97
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU803^2.p	timeout	9.92
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU804^1.p	timeout	9.96
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU804^2.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU805^1.p	timeout	9.94
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU805^2.p	unsat	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU806^1.p	timeout	9.98
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU806^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU807^1.p	timeout	9.94
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU807^2.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU808^1.p	timeout	10.17
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU808^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU809^1.p	unsat	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU809^2.p	unsat	0.02

full results