show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP030-1.p	timeout	9.77
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP031+1.p	timeout	9.86
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP031-1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP032+1.p	timeout	9.82
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP032-1.p	timeout	9.89
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP033+1.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP033-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP034+1.p	timeout	9.87
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP034-1.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP035+1.p	timeout	9.85
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP035-1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP036+1.p	unknown	0.20
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP036-1.p	timeout	9.81
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP037+1.p	sat	0.18
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP037-1.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP038+1.p	sat	0.17
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP038-1.p	sat	0.13
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP039+1.p	sat	0.23
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP039-1.p	sat	0.13
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP040+1.p	sat	0.17
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP040-1.p	timeout	10.03
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP041+1.p	sat	0.26
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP041-1.p	sat	0.12
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP042+1.p	sat	0.06
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP042-1.p	sat	0.06

full results