detailed results (7 total)

proverfileresexpectedtime
zip-dev/home/simon/workspace/zipperposition/examples/regression/ALG269^4.p(content)errorsat0.032s
zip-dev/home/simon/workspace/zipperposition/examples/polymorph2.p(content)errorunknown0.012s
zip-dev/home/simon/workspace/zipperposition/examples/ho/SYN000^1.p(content)errorunsat0.013s
zip-dev/home/simon/workspace/zipperposition/examples/ho/QUA011^1.p(content)errorunsat0.013s
zip-dev/home/simon/workspace/zipperposition/examples/ho/PUZ085^1.p(content)errorunsat0.014s
zip-dev/home/simon/workspace/zipperposition/examples/RNG008-1.p(content)errorunsat0.012s
zip-dev/home/simon/workspace/zipperposition/examples/DAT013=1.p(content)errorunsat0.013s