| prover | file | res | expected | time |
|---|---|---|---|---|
| zip-dev | /home/simon/workspace/zipperposition/examples/sat/isabelle2.p (content) | sat | unknown | 0.036s |
| zip-dev | /home/simon/workspace/zipperposition/examples/regression/typing_app.p (content) | sat | unknown | 0.039s |
| zip-dev | /home/simon/workspace/zipperposition/examples/regression/SYN994^1.p (content) | sat | sat | 0.041s |
| zip-dev | /home/simon/workspace/zipperposition/examples/regression/NLP121-1.p (content) | sat | sat | 0.042s |
| zip-dev | /home/simon/workspace/zipperposition/examples/pelletier_problems/pb62.p (content) | sat | unknown | 0.049s |
| zip-dev | /home/simon/workspace/zipperposition/examples/pelletier_problems/pb28.p (content) | sat | unknown | 0.018s |
| zip-dev | /home/simon/workspace/zipperposition/examples/ind/nat_false3.p (content) | sat | unknown | 0.017s |