detailed results (12888 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP579-1.p (content) unsat unsat 2.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP578-1.p (content) unsat unsat 0.121s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP578-1.p (content) unsat unsat 0.121s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP577-1.p (content) unsat unsat 0.186s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP577-1.p (content) unsat unsat 0.196s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP576-1.p (content) unsat unsat 0.163s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP576-1.p (content) unsat unsat 0.193s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP575-1.p (content) unsat unsat 0.590s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP575-1.p (content) unsat unsat 0.620s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP574-1.p (content) unsat unsat 0.122s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP574-1.p (content) unsat unsat 0.122s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP573-1.p (content) unsat unsat 0.095s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP573-1.p (content) unsat unsat 0.072s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP572-1.p (content) unsat unsat 0.271s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP572-1.p (content) unsat unsat 0.283s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP571-1.p (content) unsat unsat 1.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP571-1.p (content) unsat unsat 1.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP570-1.p (content) unsat unsat 0.108s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP570-1.p (content) unsat unsat 0.106s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP569-1.p (content) unsat unsat 0.097s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP569-1.p (content) unsat unsat 0.100s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP568-1.p (content) unsat unsat 0.213s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP568-1.p (content) unsat unsat 0.135s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP567-1.p (content) unsat unsat 0.429s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP567-1.p (content) unsat unsat 0.458s