| prover | file | res | expected | time |
|---|---|---|---|---|
| zip-dev | /home/simon/w/these/zipperposition/examples/why3_2_monomorph.p (content) | unsat | unknown | 1.8s |
| zip-dev | /home/simon/w/these/zipperposition/examples/why3_2.p (content) | unsat | unknown | 0.086s |
| zip-dev | /home/simon/w/these/zipperposition/examples/why3_1.p (content) | unsat | unknown | 0.319s |
| zip-dev | /home/simon/w/these/zipperposition/examples/regression/RNG108+1.p (content) | unsat | unsat | 1.3s |