| prover | file | res | expected | time |
|---|---|---|---|---|
| zip-dev | /home/simon/w/these/zipperposition/examples/regression/ALG269^4.p(content) | error | sat | 0.019s |
| zip-dev | /home/simon/w/these/zipperposition/examples/polymorph2.p(content) | error | unknown | 0.027s |
| zip-dev | /home/simon/w/these/zipperposition/examples/ho/SYN000^1.p(content) | error | unsat | 0.027s |
| zip-dev | /home/simon/w/these/zipperposition/examples/ho/QUA011^1.p(content) | error | unsat | 0.026s |
| zip-dev | /home/simon/w/these/zipperposition/examples/ho/PUZ085^1.p(content) | error | unsat | 0.025s |
| zip-dev | /home/simon/w/these/zipperposition/examples/RNG008-1.p(content) | error | unsat | 0.025s |
| zip-dev | /home/simon/w/these/zipperposition/examples/DAT013=1.p(content) | error | unsat | 0.026s |