detailed results (12865 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO223+1.p (content) unsat unsat 3.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO222+3.p (content) unsat unsat 0.693s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO222+3.p (content) unsat unsat 0.724s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO222+2.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO222+2.p (content) unsat unsat 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO222+1.p (content) unsat unsat 2.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO222+1.p (content) unsat unsat 2.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO221+3.p (content) unsat unsat 0.645s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO221+3.p (content) unsat unsat 0.694s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO221+2.p (content) unsat unsat 0.825s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO221+2.p (content) unsat unsat 0.831s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO221+1.p (content) unsat unsat 0.450s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO221+1.p (content) unsat unsat 0.460s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO220+3.p (content) unsat unsat 0.510s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO220+3.p (content) unsat unsat 0.523s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO220+2.p (content) unsat unsat 0.057s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO220+2.p (content) unsat unsat 0.053s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO220+1.p (content) unsat unsat 0.046s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO220+1.p (content) unsat unsat 0.044s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO219+3.p (content) unsat unsat 0.454s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO219+3.p (content) unsat unsat 0.510s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO219+2.p (content) unsat unsat 0.141s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO219+2.p (content) unsat unsat 0.149s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO219+1.p (content) unsat unsat 0.131s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO219+1.p (content) unsat unsat 0.117s