detailed results (7 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/examples/regression/ALG269^4.p (content) error sat 0.032s
zip-dev /home/simon/workspace/zipperposition/examples/polymorph2.p (content) error unknown 0.012s
zip-dev /home/simon/workspace/zipperposition/examples/ho/SYN000^1.p (content) error unsat 0.013s
zip-dev /home/simon/workspace/zipperposition/examples/ho/QUA011^1.p (content) error unsat 0.013s
zip-dev /home/simon/workspace/zipperposition/examples/ho/PUZ085^1.p (content) error unsat 0.014s
zip-dev /home/simon/workspace/zipperposition/examples/RNG008-1.p (content) error unsat 0.012s
zip-dev /home/simon/workspace/zipperposition/examples/DAT013=1.p (content) error unsat 0.013s