show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU567^1.p	unsat	3.91
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU567^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU568^1.p	unsat	0.07
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU568^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU569^1.p	unsat	4.07
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU569^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU570^1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU570^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU571^1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU571^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU572^1.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU572^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU573^1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU573^2.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU574^1.p	timeout	9.87
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU574^2.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU575^1.p	unsat	4.01
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU575^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU576^1.p	unsat	3.38
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU576^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU577^1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU577^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU578^1.p	unsat	0.07
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU578^2.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU579^1.p	timeout	9.91

full results