show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV035-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV035-2.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV036-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV036-2.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV037-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV038-1.p	timeout	10.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039+1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039+2.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039-1.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039-2.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039=1.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039=2.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039=3.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039=4.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039_1.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039_2.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039_3.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV039_4.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV040+1.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV040+2.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV040-1.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV040-2.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV040=1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV040=2.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV040=3.p	timeout	9.83

full results