detailed results (41292 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO043-3.p (content) unsat unsat 8.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO043-2.p (content) unsat unsat 0.101s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO043-2.p (content) unsat unsat 0.109s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO042-3.p (content) unsat unsat 7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO042-3.p (content) unsat unsat 7.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO042-2.p (content) unsat unsat 0.048s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO042-2.p (content) unsat unsat 0.056s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO041-3.p (content) unsat unsat 0.043s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO041-3.p (content) unsat unsat 0.045s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO041-2.p (content) unsat unsat 0.098s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO041-2.p (content) unsat unsat 0.103s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO040-3.p (content) unsat unsat 5.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO040-3.p (content) unsat unsat 6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO040-2.p (content) unsat unsat 0.046s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO040-2.p (content) unsat unsat 0.051s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO039-3.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO039-3.p (content) unsat unsat 0.037s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO039-2.p (content) unsat unsat 0.024s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO039-2.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO038-3.p (content) unsat unsat 0.023s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO038-3.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO038-2.p (content) unsat unsat 0.021s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO038-2.p (content) unsat unsat 0.020s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO037-3.p (content) unsat unsat 0.524s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO037-3.p (content) unsat unsat 0.502s