detailed results (6424 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 3.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-2.p (content) unsat unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT019-1.p (content) unsat unsat 0.035s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-4.p (content) unsat unsat 0.447s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT018-3.p (content) unsat unsat 0.469s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-4.p (content) unsat unsat 0.349s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT017-3.p (content) unsat unsat 0.408s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-4.p (content) unsat unsat 0.253s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT016-3.p (content) unsat unsat 0.283s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-4.p (content) unsat unsat 0.298s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-3.p (content) unsat unsat 0.316s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-2.p (content) unsat unsat 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT014-1.p (content) unsat unsat 0.183s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-4.p (content) unsat unsat 0.330s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-3.p (content) unsat unsat 0.344s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT013-1.p (content) unsat unsat 0.141s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-4.p (content) unsat unsat 0.314s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-3.p (content) unsat unsat 0.338s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT012-1.p (content) unsat unsat 0.184s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-4.p (content) unsat unsat 0.268s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-3.p (content) unsat unsat 0.274s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-2.p (content) unsat unsat 0.043s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT011-1.p (content) unsat unsat 0.170s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT010-4.p (content) unsat unsat 0.456s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT007-3.p (content) unsat unsat 0.032s