show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT007+1.p	unsat	0.13
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT007-1.p	unsat	0.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008-1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT009+1.p	unsat	0.07
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT009-1.p	unsat	0.07
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT010+1.p	unsat	0.36
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT010-1.p	unsat	0.24
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT011+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT011-1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT012+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT012-1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT013+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT013-1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT014+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT014-1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT015+1.p	unsat	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT015-1.p	unsat	0.09
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT016+1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT016-1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT017+1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT017-1.p	unsat	0.10
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT018+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT018-1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT019+2.p	sat	0.02

full results