show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP230-1.p	unknown	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP231+1.p	unknown	1.28
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP231-1.p	unknown	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP232+1.p	unknown	1.02
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP232-1.p	unknown	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP233+1.p	unknown	0.87
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP233-1.p	unknown	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP234+1.p	unknown	0.90
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP234-1.p	unknown	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP235+1.p	unknown	0.90
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP235-1.p	unknown	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP236+1.p	unknown	0.97
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP236-1.p	unknown	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP237+1.p	unknown	0.90
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP237-1.p	unknown	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP238+1.p	unknown	0.99
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP238-1.p	unknown	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP239+1.p	unknown	0.89
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP239-1.p	unknown	0.05
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP240+1.p	sat	0.74
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP240-1.p	sat	0.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP241+1.p	sat	3.17
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP241-1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP242+1.p	sat	0.64
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP242-1.p	sat	0.76

full results