detailed results (12865 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-3.p (content) unsat unsat 0.123s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-3.p (content) unsat unsat 0.130s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-2.p (content) unsat unsat 0.112s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-2.p (content) unsat unsat 0.121s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-1.p (content) unsat unsat 1.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV018-1.p (content) unsat unsat 1.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV017-1.p (content) unsat unsat 9.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV016-1.p (content) unsat unsat 2.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV016-1.p (content) unsat unsat 2.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV015-2.p (content) unsat unsat 0.280s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV015-2.p (content) unsat unsat 0.276s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV015-1.p (content) unsat unsat 0.201s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV015-1.p (content) unsat unsat 0.191s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV014-2.p (content) unsat unsat 0.360s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV014-2.p (content) unsat unsat 0.359s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV014-1.p (content) unsat unsat 0.312s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV014-1.p (content) unsat unsat 0.271s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV013-2.p (content) unsat unsat 0.079s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV013-2.p (content) unsat unsat 0.081s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV013-1.p (content) unsat unsat 0.098s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV013-1.p (content) unsat unsat 0.110s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV012-1.p (content) unsat unsat 0.179s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV012-1.p (content) unsat unsat 0.159s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV011-3.p (content) unsat unsat 0.040s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV011-3.p (content) unsat unsat 0.041s