detailed results (12888 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT034-1.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT034-1.p (content) unsat unsat 0.026s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT033-1.p (content) unsat unsat 0.131s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT033-1.p (content) unsat unsat 0.030s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT029-1.p (content) unsat unsat 1.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT029-1.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT014-1.p (content) unsat unsat 0.110s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT014-1.p (content) unsat unsat 0.033s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT008-1.p (content) unsat unsat 0.182s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT008-1.p (content) unsat unsat 0.211s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS265+1.p (content) unsat unsat 2.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS265+1.p (content) unsat unsat 2.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS257+1.p (content) unsat unsat 2.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS257+1.p (content) unsat unsat 2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS256+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.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS255+1.p (content) unsat unsat 0.302s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS255+1.p (content) unsat unsat 0.320s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS254+1.p (content) unsat unsat 1.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS254+1.p (content) unsat unsat 1.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS181+1.p (content) unsat unsat 0.741s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS181+1.p (content) unsat unsat 0.862s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS180+1.p (content) unsat unsat 0.180s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS180+1.p (content) unsat unsat 0.185s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS179+1.p (content) unsat unsat 1.2s