detailed results (12888 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET077-7.p (content) unsat unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET077-7.p (content) unsat unsat 0.034s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET077-6.p (content) unsat unsat 0.032s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET077-6.p (content) unsat unsat 0.035s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET077+1.p (content) unsat unsat 0.032s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET077+1.p (content) unsat unsat 0.032s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET075-7.p (content) unsat unsat 0.302s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET075-7.p (content) unsat unsat 0.304s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET074-7.p (content) unsat unsat 0.103s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET074-7.p (content) unsat unsat 0.107s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET074+1.p (content) unsat unsat 0.072s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET074+1.p (content) unsat unsat 0.104s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET073-7.p (content) unsat unsat 0.100s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET073-7.p (content) unsat unsat 0.108s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET073+1.p (content) unsat unsat 0.070s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET073+1.p (content) unsat unsat 0.069s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET072-7.p (content) unsat unsat 0.611s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET072-7.p (content) unsat unsat 0.607s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET072-6.p (content) unsat unsat 0.061s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET072-6.p (content) unsat unsat 0.065s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET072+1.p (content) unsat unsat 0.440s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET072+1.p (content) unsat unsat 0.388s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET068-6.p (content) unsat unsat 0.511s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET068-6.p (content) unsat unsat 0.618s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET067-6.p (content) unsat unsat 0.582s