detailed results (12847 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ011-1.p (content) unsat unsat 0.040s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ010-1.p (content) unsat unsat 0.986s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ010-1.p (content) unsat unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ009-1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ009-1.p (content) unsat unsat 0.030s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ008-3.p (content) unsat unsat 0.159s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ008-3.p (content) unsat unsat 0.222s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ008-2.p (content) unsat unsat 0.044s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ008-2.p (content) unsat unsat 0.047s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ008-1.p (content) unsat unsat 0.038s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ008-1.p (content) unsat unsat 0.047s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ007-1.p (content) unsat unsat 0.041s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ007-1.p (content) unsat unsat 0.065s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ006-1.p (content) unsat unsat 0.043s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ006-1.p (content) unsat unsat 0.050s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ005-1.p (content) unsat unsat 0.096s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ005-1.p (content) unsat unsat 0.165s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ005+1.p (content) unsat unsat 0.374s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ005+1.p (content) unsat unsat 0.353s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ004-1.p (content) unsat unsat 0.029s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ004-1.p (content) unsat unsat 0.033s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ003-1.p (content) unsat unsat 0.039s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ003-1.p (content) unsat unsat 0.046s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ002-1.p (content) unsat unsat 0.032s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ002-1.p (content) unsat unsat 0.034s