show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU514^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU515^1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU515^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU516^1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU516^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU517^1.p	timeout	10.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU517^2.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU518^1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU518^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU519^1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU519^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU520^1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU521^1.p	unsat	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU521^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU522^1.p	unsat	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU522^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU523^1.p	unsat	0.61
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU523^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU524^1.p	unsat	1.22
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU524^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU525^1.p	unsat	1.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU525^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU526^1.p	unsat	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU526^2.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU527^1.p	unsat	0.05

full results