show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD075-1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD075-2.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD075-3.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD075-4.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD076-1.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD076-2.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD076-3.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD076-4.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD077-1.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD077-2.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD077-3.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD077-4.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD078-1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD078-2.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD078-3.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD078-4.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD079-1.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD079-2.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD079-3.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD079-4.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD080-1.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD080-2.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD080-3.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD080-4.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD081-1.p	timeout	9.79

full results