show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP205-1.p	sat	0.20
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP206+1.p	sat	0.22
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP206-1.p	sat	0.22
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP207+1.p	sat	0.24
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP207-1.p	sat	0.22
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP208+1.p	unsat	0.15
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP208-1.p	unsat	0.15
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP209+1.p	sat	0.24
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP209-1.p	sat	0.19
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP210+1.p	unknown	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP210-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP211+1.p	unknown	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP211-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP212+1.p	unknown	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP212-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP213+1.p	unknown	0.29
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP213-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP214+1.p	unknown	0.26
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP214-1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP215+1.p	unknown	0.26
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP215-1.p	timeout	10.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP216+1.p	unknown	0.40
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP216-1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP217+1.p	unknown	0.28
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP217-1.p	timeout	10.04

full results