show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT082=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT083=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT084=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT085=1.p	unsat	1.69
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT086=1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT087=1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT088=1.p	unsat	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT089=1.p	unsat	0.10
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT090=1.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT091=1.p	unsat	0.10
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT092=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT093=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT094=1.p	unsat	0.93
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT095=1.p	unsat	0.12
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT097=1.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT098=1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT099=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT100=1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT101=1.p	unsat	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT102=1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT103=1.p	unsat	0.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT104=1.p	unsat	0.07
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT105=1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT106=1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD001-3.p	timeout	9.79

full results