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