show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET771+4.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET772+4.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET773+4.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET774+4.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET775+4.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET776+4.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET777-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET778-1.p	sat	3.40
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET779-1.p	sat	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET780-1.p	sat	0.49
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET781+3.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET781-1.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET781-2.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET781-3.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET782-1.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET783+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET784+1.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET785+1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET786+1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET786-1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET787-1.p	unsat	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET787-2.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET788+1.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET789+4.p	unsat	0.46
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET790+4.p	unsat	0.38

full results