detailed results (227 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree3.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree2_easy.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree2.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/tree1.p (content) timeout unknown 10s
zip-dev /home/simon/workspace/zipperposition/examples/ind/plist1.p (content) unknown unknown 0.038s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat_false3.p (content) sat unknown 0.018s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat_false2.p (content) sat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat_false1.p (content) sat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat_check.p (content) unknown unknown 0.697s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat9.p (content) sat unknown 0.017s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat8.p (content) sat unknown 0.019s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat7_hard.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat7.p (content) timeout unknown 10s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat6.p (content) sat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat5.p (content) sat unknown 0.018s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat4_easy.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat4_bis.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat4.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat3.p (content) sat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat2_easy.p (content) sat unknown 0.020s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat20.p (content) sat unknown 0.015s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat2.p (content) sat unknown 0.017s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat1_easy.p (content) timeout unknown 9.9s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat19.p (content) sat unknown 0.015s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat18.p (content) sat unknown 0.020s