detailed results (4484 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP001-4.p (content) unsat unsat 0.041s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP001-2.p (content) unsat unsat 0.036s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP001-2.p (content) unsat unsat 0.038s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP001-1.p (content) unsat unsat 0.244s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP001-1.p (content) unsat unsat 0.250s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA014+1.p (content) unsat unsat 0.069s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA014+1.p (content) unsat unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA010+2.p (content) unsat unsat 0.128s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA010+2.p (content) unsat unsat 0.133s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA010+1.p (content) unsat unsat 0.146s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA010+1.p (content) unsat unsat 0.152s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA005+1.p (content) unsat unsat 0.503s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA005+1.p (content) unsat unsat 0.551s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA003+1.p (content) unsat unsat 0.134s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA003+1.p (content) unsat unsat 0.142s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA002+4.p (content) unsat unsat 0.044s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA002+4.p (content) unsat unsat 0.051s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA001-1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA001-1.p (content) unsat unsat 0.032s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT104=1.p (content) unsat unsat 0.059s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT104=1.p (content) unsat unsat 0.106s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT103=1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT103=1.p (content) unsat unsat 0.026s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT102=1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT102=1.p (content) unsat unsat 0.029s