show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC069+1.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC069-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC070+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC070-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC071+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC071-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC072+1.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC072-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC073+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC073-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC074+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC074-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC075+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC075-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC076+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC076-1.p	unsat	2.86
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC077+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC077-1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC078+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC078-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC079+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC079-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC080+1.p	unsat	1.94
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC080-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC081+1.p	timeout	9.79

full results