show full table

problem	zip-dev-check	zip-dev	zip-dev-check.time	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO120+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO120-1.p	timeout	timeout	9.86	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO121+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO121-1.p	timeout	timeout	9.80	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO122+1.p	timeout	timeout	9.79	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO122-1.p	timeout	timeout	9.79	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO123+1.p	timeout	timeout	9.80	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO123-1.p	timeout	timeout	9.81	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO124+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO124-1.p	timeout	timeout	9.79	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO125+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO125-1.p	timeout	timeout	9.83	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO126+1.p	timeout	timeout	9.79	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO126-1.p	timeout	timeout	9.81	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO127+1.p	timeout	timeout	9.78	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO127-1.p	unsat	unsat	1.47	1.49
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO128+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO128-1.p	timeout	timeout	9.81	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO129+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO129-1.p	timeout	timeout	9.79	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO130+1.p	timeout	timeout	9.79	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO130-1.p	timeout	timeout	9.79	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO131+1.p	timeout	timeout	9.79	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO131-1.p	timeout	timeout	9.80	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO132+1.p	timeout	timeout	9.78	9.79

full results