show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP243+1.p	sat	0.62
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP243-1.p	sat	0.90
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP244+1.p	sat	0.62
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP244-1.p	sat	0.76
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP245+1.p	sat	0.55
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP245-1.p	sat	0.49
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP246+1.p	sat	0.46
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP246-1.p	sat	0.36
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP247+1.p	sat	0.70
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP247-1.p	sat	0.68
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP248+1.p	sat	0.48
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP248-1.p	sat	0.36
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP249+1.p	sat	0.52
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP249-1.p	sat	0.36
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP250+1.p	unknown	0.22
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP250-1.p	unknown	0.16
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP251+1.p	unknown	0.28
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP251-1.p	unknown	0.15
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP252+1.p	unknown	0.20
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP252-1.p	unknown	0.16
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP253+1.p	unknown	0.22
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP253-1.p	unknown	0.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP254+1.p	unknown	0.20
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP254-1.p	unknown	0.15
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP255+1.p	unknown	0.20

full results