show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV046_3.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV046_4.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047+1.p	timeout	9.86
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047+2.p	timeout	9.88
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047-1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047-2.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047=1.p	timeout	9.86
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047=2.p	timeout	9.86
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047=3.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047=4.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047_1.p	timeout	9.86
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047_2.p	timeout	9.87
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047_3.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV047_4.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048+1.p	timeout	9.86
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048+2.p	timeout	9.86
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048-1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048-2.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048=1.p	timeout	9.87
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048=2.p	timeout	9.94
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048=3.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048=4.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048_1.p	timeout	9.91
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048_2.p	timeout	9.88
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV048_3.p	timeout	9.84

full results