show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV196+1.p	unsat	0.37
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV197+1.p	unsat	0.35
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV198+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV199+1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV200+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV201+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV202+1.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV203+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV204+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV205+1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV206+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV207+1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV208+1.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV209+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV210+1.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV211+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV212+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV213+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV214+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV215+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV216+1.p	unsat	0.04
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV217+1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV218+1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV219+1.p	unsat	0.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV220+1.p	unsat	0.03

full results