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