results for zip-dev on /home/simon/w/these/zipperposition/examples/ho/PUZ085^1.p

problem.path
problem.expected_res
unsat
res
error
rtime
0.025s
stime
0.000s
utime
0.000s
errcode
1
full stdout
Error: in parse_tptp: could not find file `Axioms/LCL013^0.ax`
full stderr

prover config
prover.name
zip-dev
prover.cmd
<unknown>
prover.version
(git branch=master commit=67cf33a515979c663265fa15bb8178c333e63b27)
prover.sat
SZS status (CounterSatisfiable|Satisfiable)
prover.unsat
SZS status (Theorem|Unsatisfiable)
prover.unknown
<none>
prover.timeout
SZS status ResourceOut
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.tag.gaveup
SZS status GaveUp
prover.memory
<none>