detailed results (6396 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO057-2.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO056-3.p (content) unsat unsat 0.023s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO056-2.p (content) unsat unsat 0.027s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO055-3.p (content) unsat unsat 0.028s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO055-2.p (content) unsat unsat 0.028s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO054-3.p (content) unsat unsat 0.023s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO054-2.p (content) unsat unsat 0.024s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO053-3.p (content) unsat unsat 0.959s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO048-3.p (content) unsat unsat 0.059s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO048-2.p (content) unsat unsat 0.050s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO047-3.p (content) unsat unsat 0.873s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO045-3.p (content) unsat unsat 0.991s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO043-3.p (content) unsat unsat 8.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO043-2.p (content) unsat unsat 0.109s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO042-3.p (content) unsat unsat 7.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO042-2.p (content) unsat unsat 0.056s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO041-3.p (content) unsat unsat 0.045s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO041-2.p (content) unsat unsat 0.103s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO040-3.p (content) unsat unsat 6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO040-2.p (content) unsat unsat 0.051s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO039-3.p (content) unsat unsat 0.037s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO039-2.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO038-3.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO038-2.p (content) unsat unsat 0.020s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO037-3.p (content) unsat unsat 0.502s