detailed results (6396 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+3.p (content) unsat unsat 0.085s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+2.p (content) unsat unsat 0.242s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO174+1.p (content) unsat unsat 0.064s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+3.p (content) unsat unsat 3.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+2.p (content) unsat unsat 0.148s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO173+1.p (content) unsat unsat 0.077s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+3.p (content) unsat unsat 2.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+2.p (content) unsat unsat 0.144s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO172+1.p (content) unsat unsat 0.060s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO171+3.p (content) unsat unsat 0.052s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO171+2.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO171+1.p (content) unsat unsat 0.035s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO170+3.p (content) unsat unsat 0.353s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO170+2.p (content) unsat unsat 0.156s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO170+1.p (content) unsat unsat 0.057s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO147-1.p (content) unsat unsat 0.080s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO147+1.p (content) unsat unsat 0.066s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO146-1.p (content) unsat unsat 0.908s
zip-dev-check /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/GEO127-1.p (content) unsat unsat 0.754s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO118-1.p (content) unsat unsat 0.328s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO118+1.p (content) unsat unsat 0.296s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO117-1.p (content) unsat unsat 0.393s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO117+1.p (content) unsat unsat 0.283s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO087-1.p (content) unsat unsat 2s