detailed results (6433 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO057-3.p (content) unsat unsat 0.039s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO057-2.p (content) unsat unsat 0.036s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO056-3.p (content) unsat unsat 0.035s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO056-2.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO055-3.p (content) unsat unsat 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO055-2.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO054-3.p (content) unsat unsat 0.029s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO054-2.p (content) unsat unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO053-3.p (content) unsat unsat 0.920s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO048-3.p (content) unsat unsat 0.051s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO048-2.p (content) unsat unsat 0.052s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO047-3.p (content) unsat unsat 0.870s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO045-3.p (content) unsat unsat 0.816s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO043-3.p (content) unsat unsat 7.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO043-2.p (content) unsat unsat 0.102s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO042-3.p (content) unsat unsat 6.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO042-2.p (content) unsat unsat 0.057s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO041-3.p (content) unsat unsat 0.052s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO041-2.p (content) unsat unsat 0.113s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO040-3.p (content) unsat unsat 4.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO040-2.p (content) unsat unsat 0.049s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO039-3.p (content) unsat unsat 0.043s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO039-2.p (content) unsat unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO038-3.p (content) unsat unsat 0.041s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GEO/GEO038-2.p (content) unsat unsat 0.030s