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