show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP243+1.p	sat	0.68
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP243-1.p	sat	0.86
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP244+1.p	sat	0.67
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP244-1.p	sat	0.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP245+1.p	sat	0.52
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP245-1.p	sat	0.37
/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.38
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP247+1.p	sat	0.87
/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/NLP248+1.p	sat	0.53
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP248-1.p	sat	0.42
/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.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.20
/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.23
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP252-1.p	unknown	0.15
/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.36
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP254-1.p	unknown	0.16
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP255+1.p	unknown	0.20

full results