show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB095+1.p	timeout	10.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB096+1.p	timeout	10.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB097+1.p	timeout	10.15
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB098+1.p	timeout	10.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB099+1.p	timeout	10.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB100+1.p	timeout	10.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB101+1.p	timeout	10.10
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB102+1.p	timeout	10.16
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB103+1.p	timeout	10.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB104+1.p	timeout	10.15
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB105+1.p	timeout	10.16
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB106+1.p	timeout	10.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB107+1.p	timeout	10.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB108+1.p	timeout	10.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC001+1.p	unsat	2.32
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC001-1.p	unsat	0.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC002+1.p	unsat	0.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC002-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC003+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC003-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC004+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC004-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC005+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC005-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC006+1.p	timeout	9.81

full results