show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET025-9.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET027+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET027+3.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET027+4.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET027-3.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET027-4.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET027-6.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET027-7.p	unsat	0.49
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET027^5.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET027^7.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET028-3.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET028-4.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET029-3.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET029-4.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET030-3.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET030-4.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET030-6.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET031-3.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET031-4.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET032-3.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET032-4.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET032-6.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET033-3.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET033-4.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET033-6.p	timeout	9.99

full results