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.95
/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.96
/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.96
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU800^2.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU801^1.p	timeout	9.95
/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.96
/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.95
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU803^2.p	timeout	9.87
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU804^1.p	timeout	9.95
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU804^2.p	timeout	10.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU805^1.p	timeout	9.93
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU805^2.p	unsat	0.32
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU806^1.p	timeout	9.95
/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.97
/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	9.95
/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.33
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU809^2.p	unsat	0.02

full results