prover | file | res | expected | time |
---|---|---|---|---|
zip-dev | /home/simon/w/these/zipperposition/examples/sat/isabelle2.p (content) | sat | unknown | 0.043s |
zip-dev | /home/simon/w/these/zipperposition/examples/regression/typing_app.p (content) | sat | unknown | 0.027s |
zip-dev | /home/simon/w/these/zipperposition/examples/regression/SYN994^1.p (content) | sat | sat | 0.022s |
zip-dev | /home/simon/w/these/zipperposition/examples/regression/NLP121-1.p (content) | sat | sat | 0.061s |
zip-dev | /home/simon/w/these/zipperposition/examples/pelletier_problems/pb62.p (content) | sat | unknown | 0.075s |
zip-dev | /home/simon/w/these/zipperposition/examples/pelletier_problems/pb28.p (content) | sat | unknown | 0.030s |
zip-dev | /home/simon/w/these/zipperposition/examples/ind/nat_false3.p (content) | sat | unknown | 0.038s |