detailed results (12865 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO170+2.p (content) unsat unsat 0.146s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO170+1.p (content) unsat unsat 0.068s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO170+1.p (content) unsat unsat 0.096s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO147-1.p (content) unsat unsat 0.069s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO147-1.p (content) unsat unsat 0.100s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO147+1.p (content) unsat unsat 0.073s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO147+1.p (content) unsat unsat 0.080s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO146-1.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO146-1.p (content) unsat unsat 0.912s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO146+1.p (content) unsat unsat 0.983s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO146+1.p (content) unsat unsat 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO127-1.p (content) unsat unsat 0.698s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO127-1.p (content) unsat unsat 0.776s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO118-1.p (content) unsat unsat 0.339s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO118-1.p (content) unsat unsat 0.331s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO118+1.p (content) unsat unsat 0.265s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO118+1.p (content) unsat unsat 0.317s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO117-1.p (content) unsat unsat 0.378s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO117-1.p (content) unsat unsat 0.423s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO117+1.p (content) unsat unsat 0.271s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO117+1.p (content) unsat unsat 0.353s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO087-1.p (content) unsat unsat 1.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO087-1.p (content) unsat unsat 1.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO086-1.p (content) unsat unsat 0.050s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO086-1.p (content) unsat unsat 0.065s