detailed results (18 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/examples/ind/plist1.p (content) unknown unknown 0.038s
zip-dev /home/simon/workspace/zipperposition/examples/ind/nat_check.p (content) unknown unknown 0.697s
zip-dev /home/simon/workspace/zipperposition/examples/ind/list7_bis.p (content) unknown unknown 0.050s
zip-dev /home/simon/workspace/zipperposition/examples/ind/list3.p (content) unknown unknown 0.035s
zip-dev /home/simon/workspace/zipperposition/examples/ind/list1_false.p (content) unknown unknown 0.115s
zip-dev /home/simon/workspace/zipperposition/examples/ind/list15_arith.p (content) unknown unknown 0.121s
zip-dev /home/simon/workspace/zipperposition/examples/ind/list12.p (content) unknown unknown 0.031s
zip-dev /home/simon/workspace/zipperposition/examples/ind/list10.p (content) unknown unknown 0.031s
zip-dev /home/simon/workspace/zipperposition/examples/ho/SYO265^5.p (content) unknown unsat 0.021s
zip-dev /home/simon/workspace/zipperposition/examples/by_case2_false.p (content) unknown unknown 0.021s
zip-dev /home/simon/workspace/zipperposition/examples/by_case2.p (content) unknown unknown 0.022s
zip-dev /home/simon/workspace/zipperposition/examples/SYO521=1.p (content) unknown sat 0.042s
zip-dev /home/simon/workspace/zipperposition/examples/ARI579=1.p (content) unknown sat 0.017s
zip-dev /home/simon/workspace/zipperposition/examples/ARI528=1.p (content) unknown unsat 0.014s
zip-dev /home/simon/workspace/zipperposition/examples/ARI505=1.p (content) unknown unsat 0.013s
zip-dev /home/simon/workspace/zipperposition/examples/ARI404=1.p (content) unknown unsat 0.013s
zip-dev /home/simon/workspace/zipperposition/examples/ARI120=1.p (content) unknown unsat 0.012s
zip-dev /home/simon/workspace/zipperposition/examples/ARI114false=1.p (content) unknown unknown 0.013s