show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP243+1.p	sat	0.70
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP243-1.p	sat	0.91
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP244+1.p	sat	0.70
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP244-1.p	sat	0.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP245+1.p	sat	0.68
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP245-1.p	sat	0.32
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP246+1.p	sat	0.48
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP246-1.p	sat	0.33
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP247+1.p	sat	0.69
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP247-1.p	sat	0.71
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP248+1.p	sat	0.45
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP248-1.p	sat	0.40
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP249+1.p	sat	0.47
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP249-1.p	sat	0.41
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP250+1.p	unknown	0.23
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP250-1.p	unknown	0.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP251+1.p	unknown	0.22
/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/NLP252+1.p	unknown	0.24
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP252-1.p	unknown	0.26
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP253+1.p	unknown	0.21
/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.24
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP254-1.p	unknown	0.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP255+1.p	unknown	0.20

full results