show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC144+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC144-1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC145+1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC145-1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC146+1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC146-1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC147+1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC147-1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC148+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC148-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC149+1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC149-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC150+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC150-1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC151+1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC151-1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC152+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC152-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC153+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC153-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC154+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC154-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC155+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC155-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC156+1.p	timeout	9.79

full results