detailed results (41292 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP086-1.p (content) timeout unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP085-1.p (content) timeout unsat 9.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP085-1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP084-1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP084-1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP083-1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP083-1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP082-1.p (content) timeout unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP082-1.p (content) timeout unsat 9.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP081-1.p (content) timeout unsat 9.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP081-1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP080-1.p (content) unsat unsat 0.827s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP080-1.p (content) unsat unsat 0.887s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP079-1.p (content) unsat unsat 1.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP079-1.p (content) unsat unsat 1.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP078-1.p (content) unsat unsat 0.564s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP078-1.p (content) unsat unsat 0.591s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP077-1.p (content) unsat unsat 1.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP077-1.p (content) unsat unsat 1.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP076-1.p (content) unsat unsat 0.581s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP076-1.p (content) unsat unsat 0.533s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP075-1.p (content) unsat unsat 0.274s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP075-1.p (content) unsat unsat 0.282s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP074-1.p (content) timeout unsat 9.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP074-1.p (content) timeout unsat 10s