detailed results (12847 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD030-4.p (content) unsat unsat 0.150s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD030-4.p (content) unsat unsat 0.178s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD030-3.p (content) unsat unsat 0.179s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD030-3.p (content) unsat unsat 0.199s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD030-2.p (content) unsat unsat 0.127s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD030-2.p (content) unsat unsat 0.136s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD030-1.p (content) unsat unsat 0.062s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD030-1.p (content) unsat unsat 0.068s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD029-3.p (content) unsat unsat 0.803s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD029-3.p (content) unsat unsat 0.801s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD028-3.p (content) unsat unsat 0.277s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD028-3.p (content) unsat unsat 0.280s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD027-3.p (content) unsat unsat 0.499s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD027-3.p (content) unsat unsat 0.574s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD025-5.p (content) unsat unsat 0.156s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD025-5.p (content) unsat unsat 0.160s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD025-4.p (content) unsat unsat 0.156s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD025-4.p (content) unsat unsat 0.159s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD025-3.p (content) unsat unsat 0.250s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD025-3.p (content) unsat unsat 0.465s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD024-3.p (content) unsat unsat 0.079s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD024-3.p (content) unsat unsat 0.080s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD023-3.p (content) unsat unsat 0.420s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD023-3.p (content) unsat unsat 0.406s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD023-1.p (content) unsat unsat 1.3s