show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP243+1.p	sat	0.67
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP243-1.p	sat	0.87
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP244+1.p	sat	0.73
/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.64
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP245-1.p	sat	0.35
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP246+1.p	sat	0.55
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP246-1.p	sat	0.49
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP247+1.p	sat	0.67
/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/NLP248+1.p	sat	0.70
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP248-1.p	sat	0.53
/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.40
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP250+1.p	unknown	0.20
/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.18
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP252+1.p	unknown	0.22
/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.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.22
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP254-1.p	unknown	0.22
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP255+1.p	unknown	0.23

full results