show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR078+1.p	error	0.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR078+2.p	error	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR078+3.p	error	1.36
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR078+4.p	error	0.11
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR078+5.p	error	0.20
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR078+6.p	error	0.72
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR079+1.p	error	0.15
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR079+2.p	error	0.33
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR079+3.p	error	1.22
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR079+4.p	error	0.11
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR079+5.p	error	0.19
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR079+6.p	error	0.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR079+7.p	error	0.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR080+1.p	error	0.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR080+2.p	error	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR080+3.p	error	1.36
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR080+4.p	error	0.11
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR080+5.p	error	0.20
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR080+6.p	error	0.87
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR081+1.p	error	0.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR081+2.p	error	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR081+3.p	error	1.23
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR081+4.p	error	0.11
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR081+5.p	error	0.21
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR081+6.p	error	0.78

full results