show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT033=1.p	unsat	0.09
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT034=1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT035=1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT036=1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT037=1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT038=1.p	unsat	0.24
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT039=1.p	unsat	0.32
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT040=1.p	unsat	0.33
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT041=1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT042=1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT043=1.p	unsat	1.07
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT044=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT045=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT046=1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT047=1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT048=1.p	unsat	0.19
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT049=1.p	unsat	0.13
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT050=1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT051=1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT052=1.p	unsat	0.13
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT053=1.p	unsat	0.17
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT054=1.p	unknown	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT055=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT056^1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT056^2.p	timeout	9.79

full results