show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC156-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC157+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC157-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC158+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC158-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC159+1.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC159-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC160+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC160-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC161+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC161-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC162+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC162-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC163+1.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC163-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC164+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC164-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC165+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC165-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC166+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC166-1.p	timeout	9.96
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC167+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC167-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC168+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC168-1.p	timeout	9.79

full results