show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV040=4.p	timeout	9.82
/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.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV040_3.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV040_4.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041+1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041+2.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041-1.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041-2.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041=1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041=2.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041=3.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041=4.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041_1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041_2.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041_3.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV041_4.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV042+1.p	timeout	9.87
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV042+2.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV042-1.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV042-2.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV042=1.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV042=2.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV042=3.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV042=4.p	timeout	9.83

full results