problem.path | |
problem.expected_res | unsat |
res | timeout |
rtime | 9.8s |
stime | 0.000s |
utime | 0.000s |
errcode | 0 |
done 7523 iterations in 9.811s SZS status ResourceOut for '/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/AGT/AGT012+2.p'
prover.name | zip-dev |
prover.cmd | <unknown> |
prover.version | (git branch=master commit=54e9ff8227d729f1602cd80d863511fe158cadde) |
prover.sat | SZS status (CounterSatisfiable|Satisfiable) |
prover.unsat | SZS status (Theorem|Unsatisfiable) |
prover.unknown | <none> |
prover.timeout | SZS status ResourceOut |
prover.memory | <none> |