| prover | file | res | expected | time |
|---|---|---|---|---|
| zip-dev | /home/simon/w/these/zipperposition/examples/sat/isabelle2.p (content) | sat | unknown | 0.038s |
| zip-dev | /home/simon/w/these/zipperposition/examples/regression/typing_app.p (content) | sat | unknown | 0.029s |
| zip-dev | /home/simon/w/these/zipperposition/examples/regression/SYN994^1.p (content) | sat | sat | 0.026s |
| zip-dev | /home/simon/w/these/zipperposition/examples/regression/NLP121-1.p (content) | sat | sat | 0.058s |
| zip-dev | /home/simon/w/these/zipperposition/examples/pelletier_problems/pb62.p (content) | sat | unknown | 0.076s |
| zip-dev | /home/simon/w/these/zipperposition/examples/pelletier_problems/pb28.p (content) | sat | unknown | 0.025s |
| zip-dev | /home/simon/w/these/zipperposition/examples/ind/nat_false3.p (content) | sat | unknown | 0.033s |