show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV422-1.300.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV422-1.305.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV422-1.360.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV422-1.365.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV422-1.400.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV422-1.405.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV422-1.460.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV422-1.465.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV422-1.500.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV422-1.505.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV423-1.010.p	timeout	9.89
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV423-1.020.p	timeout	9.88
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV423-1.050.p	timeout	9.88
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV423-1.100.p	timeout	9.89
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV423-1.150.p	timeout	9.90
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV423-1.200.p	timeout	9.89
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV423-1.250.p	timeout	9.92
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV423-1.300.p	timeout	9.93
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV424-1.050.p	timeout	10.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV424-1.100.p	timeout	10.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV424-1.200.p	timeout	10.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV424-1.300.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV424-1.350.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV424-1.400.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV424-1.450.p	timeout	9.79

full results