show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC169+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC169-1.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC170+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC170-1.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC171+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC171-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC172+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC172-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC173+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC173-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC174+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC174-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC175+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC175-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC176+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC176-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC177+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC177-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC178+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC178-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC179+1.p	unsat	0.76
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC179-1.p	unsat	0.70
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC180+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC180-1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC181+1.p	unsat	9.72

full results