show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM432+3.p	unsat	0.08
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM433+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM433+3.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM434+1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM434+3.p	unsat	0.10
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM435+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM435+3.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM436+1.p	unsat	9.75
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM436+3.p	unsat	0.12
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM437+1.p	timeout	9.84
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM437+5.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM438+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM438+5.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM439+1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM439+6.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM440+1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM440+6.p	timeout	9.96
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM441+1.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM441+6.p	timeout	9.79
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM442+1.p	timeout	9.78
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM442+6.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM443+1.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM443+4.p	timeout	9.80
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM444+1.p	timeout	9.83
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM444+6.p	timeout	9.83

full results