detailed results (227 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/examples/ind/list12.p (content) unknown unknown 0.032s
zip-dev /home/simon/workspace/zipperposition/examples/ind/list11.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ind/list10.p (content) unknown unknown 0.030s
zip-dev /home/simon/workspace/zipperposition/examples/ind/list1.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ho/weird_ineq2.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ho/weird_ineq.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/ho/unif5.p (content) unsat unknown 0.014s
zip-dev /home/simon/workspace/zipperposition/examples/ho/thf_syntax.p (content) sat unknown 0.013s
zip-dev /home/simon/workspace/zipperposition/examples/ho/SYO265^5.p (content) unknown unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/examples/ho/SYN000^1.p (content) error unsat 0.013s
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/ho/PUZ081^2.p (content) unsat unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/examples/ho/PUZ081^1.p (content) unsat unsat 0.034s
zip-dev /home/simon/workspace/zipperposition/examples/functional.p (content) timeout unknown 9.9s
zip-dev /home/simon/workspace/zipperposition/examples/frontpage.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/enum4.p (content) unsat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/enum3.p (content) sat unknown 0.014s
zip-dev /home/simon/workspace/zipperposition/examples/enum2.p (content) timeout unknown 10s
zip-dev /home/simon/workspace/zipperposition/examples/enum.p (content) timeout unknown 9.0s
zip-dev /home/simon/workspace/zipperposition/examples/don_t_use_omega.p (content) unsat unknown 0.483s
zip-dev /home/simon/workspace/zipperposition/examples/distinct.p (content) unsat unknown 0.012s
zip-dev /home/simon/workspace/zipperposition/examples/diophantine.p (content) unsat unknown 0.013s