show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR125^2.p	unsat	0.34
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR126^1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR126^2.p	timeout	10.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR127^1.p	unknown	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR127^2.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR128^1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR128^2.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR129^1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR129^2.p	unsat	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR130^1.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR130^2.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR131^1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR131^2.p	timeout	10.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR132^1.p	timeout	9.86
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR132^2.p	timeout	10.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR133^1.p	unsat	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR133^2.p	unsat	0.12
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR134^1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR134^2.p	unsat	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR135^1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR135^2.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR136^1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR136^2.p	unsat	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR137^1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR137^2.p	unsat	0.17

full results