detailed results (18 total)

proverfileresexpectedtime
zip-dev/home/simon/workspace/zipperposition/examples/ind/plist1.p(content)unknownunknown0.045s
zip-dev/home/simon/workspace/zipperposition/examples/ind/nat_check.p(content)unknownunknown0.717s
zip-dev/home/simon/workspace/zipperposition/examples/ind/list7_bis.p(content)unknownunknown0.086s
zip-dev/home/simon/workspace/zipperposition/examples/ind/list3.p(content)unknownunknown0.030s
zip-dev/home/simon/workspace/zipperposition/examples/ind/list1_false.p(content)unknownunknown0.117s
zip-dev/home/simon/workspace/zipperposition/examples/ind/list15_arith.p(content)unknownunknown0.124s
zip-dev/home/simon/workspace/zipperposition/examples/ind/list12.p(content)unknownunknown0.032s
zip-dev/home/simon/workspace/zipperposition/examples/ind/list10.p(content)unknownunknown0.030s
zip-dev/home/simon/workspace/zipperposition/examples/ho/SYO265^5.p(content)unknownunsat0.024s
zip-dev/home/simon/workspace/zipperposition/examples/by_case2_false.p(content)unknownunknown0.022s
zip-dev/home/simon/workspace/zipperposition/examples/by_case2.p(content)unknownunknown0.021s
zip-dev/home/simon/workspace/zipperposition/examples/SYO521=1.p(content)unknownsat0.049s
zip-dev/home/simon/workspace/zipperposition/examples/ARI579=1.p(content)unknownsat0.019s
zip-dev/home/simon/workspace/zipperposition/examples/ARI528=1.p(content)unknownunsat0.012s
zip-dev/home/simon/workspace/zipperposition/examples/ARI505=1.p(content)unknownunsat0.013s
zip-dev/home/simon/workspace/zipperposition/examples/ARI404=1.p(content)unknownunsat0.012s
zip-dev/home/simon/workspace/zipperposition/examples/ARI120=1.p(content)unknownunsat0.013s
zip-dev/home/simon/workspace/zipperposition/examples/ARI114false=1.p(content)unknownunknown0.012s