| prover | file | res | expected | time |
|---|---|---|---|---|
| zip-dev | /home/simon/w/these/zipperposition/examples/why3_2_monomorph.p (content) | unsat | unknown | 2.5s |
| zip-dev | /home/simon/w/these/zipperposition/examples/why3_2.p (content) | unsat | unknown | 0.091s |
| zip-dev | /home/simon/w/these/zipperposition/examples/why3_1.p (content) | unsat | unknown | 0.224s |
| zip-dev | /home/simon/w/these/zipperposition/examples/regression/RNG108+1.p (content) | unsat | unsat | 2.1s |