| prover | file | res | expected | time |
|---|---|---|---|---|
| zip-dev | /home/simon/workspace/zipperposition/examples/regression/ALG269^4.p(content) | error | sat | 0.034s |
| zip-dev | /home/simon/workspace/zipperposition/examples/polymorph2.p(content) | error | unknown | 0.012s |
| zip-dev | /home/simon/workspace/zipperposition/examples/ho/SYN000^1.p(content) | error | unsat | 0.012s |
| zip-dev | /home/simon/workspace/zipperposition/examples/ho/QUA011^1.p(content) | error | unsat | 0.013s |
| zip-dev | /home/simon/workspace/zipperposition/examples/ho/PUZ085^1.p(content) | error | unsat | 0.014s |
| zip-dev | /home/simon/workspace/zipperposition/examples/RNG008-1.p(content) | error | unsat | 0.012s |
| zip-dev | /home/simon/workspace/zipperposition/examples/DAT013=1.p(content) | error | unsat | 0.011s |