detailed results (6433 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT014-1.p (content) unsat unsat 0.031s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT008-1.p (content) unsat unsat 0.218s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS265+1.p (content) unsat unsat 2.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS257+1.p (content) unsat unsat 1.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS256+1.p (content) unsat unsat 2.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS255+1.p (content) unsat unsat 0.318s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS254+1.p (content) unsat unsat 1.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS181+1.p (content) unsat unsat 0.770s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS180+1.p (content) unsat unsat 0.189s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS179+1.p (content) unsat unsat 1.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS178+1.p (content) unsat unsat 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS175+1.p (content) unsat unsat 0.047s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS174+1.p (content) unsat unsat 0.049s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS172+1.p (content) unsat unsat 0.044s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS171+1.p (content) unsat unsat 0.044s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS170+1.p (content) unsat unsat 0.043s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS169+1.p (content) unsat unsat 0.029s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS168+1.p (content) unsat unsat 0.040s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS167+1.p (content) unsat unsat 0.101s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS166+1.p (content) unsat unsat 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS165+1.p (content) unsat unsat 0.043s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS164+1.p (content) unsat unsat 0.032s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS163+1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS162+1.p (content) unsat unsat 10s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS161+1.p (content) unsat unsat 1s