detailed results (19 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/examples/regression/SWW616=2.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/regression/DAT267^1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/examples/regression/ALG269^4.p (content) error sat 0.034s
zip-dev /home/simon/workspace/zipperposition/examples/ho/SYO265^5.p (content) unknown unsat 0.021s
zip-dev /home/simon/workspace/zipperposition/examples/ho/SYN000^1.p (content) error unsat 0.012s
zip-dev /home/simon/workspace/zipperposition/examples/ho/SEU684^1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/examples/ho/SET014^4.p (content) timeout unsat 10s
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/SYO521=1.p (content) unknown sat 0.042s
zip-dev /home/simon/workspace/zipperposition/examples/SEV422=1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/SEU140+2.p (content) timeout unsat 9.8s
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.011s
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