detailed results (6471 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN003-1.p (content) unsat unsat 0.723s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN002-5.p (content) unsat unsat 0.016s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN002-4.p (content) unsat unsat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN002-3.p (content) unsat unsat 0.021s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN002-2.p (content) unsat unsat 0.035s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN002-1.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN001-5.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN001-3.p (content) unsat unsat 0.021s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HEN/HEN001-1.p (content) unsat unsat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP711+1.p (content) unsat unsat 0.282s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP710+1.p (content) unsat unsat 6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP709-1.p (content) unsat unsat 0.444s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP700+1.p (content) unsat unsat 3.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP679-1.p (content) unsat unsat 0.182s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP665+1.p (content) unsat unsat 0.138s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP658+1.p (content) unsat unsat 2.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP657+1.p (content) unsat unsat 0.086s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP656+1.p (content) unsat unsat 0.189s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP620+1.p (content) unsat unsat 7.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP616-1.p (content) unsat unsat 0.354s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP614-1.p (content) unsat unsat 0.394s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP612-1.p (content) unsat unsat 0.203s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP610-1.p (content) unsat unsat 0.245s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP608-1.p (content) unsat unsat 1.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP606-1.p (content) unsat unsat 1.2s