show full table

problem	zip-dev	zip-dev.time
/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/MGT007-1.p	unsat	0.12
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008+1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008-1.p	unsat	0.05
/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.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT010+1.p	unsat	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT010-1.p	unsat	0.27
/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.06
/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.09
/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/MGT018-1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT019+2.p	sat	0.03

full results