detailed results (12865 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/COL/COL001-2.p (content) unsat unsat 2.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-2.p (content) unsat unsat 0.031s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-2.p (content) unsat unsat 0.037s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-1.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-1.p (content) unsat unsat 0.031s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-4.p (content) unsat unsat 0.380s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-4.p (content) unsat unsat 0.390s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-3.p (content) unsat unsat 0.414s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-3.p (content) unsat unsat 0.458s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-4.p (content) unsat unsat 0.351s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-4.p (content) unsat unsat 0.401s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-3.p (content) unsat unsat 0.357s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-3.p (content) unsat unsat 0.362s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-4.p (content) unsat unsat 0.282s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-4.p (content) unsat unsat 0.331s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-3.p (content) unsat unsat 0.299s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-3.p (content) unsat unsat 0.296s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-4.p (content) unsat unsat 0.325s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-4.p (content) unsat unsat 0.293s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-3.p (content) unsat unsat 0.350s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-3.p (content) unsat unsat 0.370s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-2.p (content) unsat unsat 0.031s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-2.p (content) unsat unsat 0.031s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-1.p (content) unsat unsat 0.178s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-1.p (content) unsat unsat 0.199s