detailed results (12888 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO234^5.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO234^5.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO233^5.p (content) unsat unsat 0.028s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO233^5.p (content) unsat unsat 0.028s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO232^5.p (content) unsat unsat 0.029s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO232^5.p (content) unsat unsat 0.029s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO231^5.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO231^5.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO230^5.p (content) unsat unsat 0.024s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO230^5.p (content) unsat unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO229^5.p (content) unsat unsat 0.026s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO229^5.p (content) unsat unsat 0.024s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO228^5.p (content) unsat unsat 0.078s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO228^5.p (content) unsat unsat 2.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO227^5.p (content) unsat unsat 0.050s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO227^5.p (content) unsat unsat 0.046s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO225^5.p (content) unsat unsat 0.081s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO225^5.p (content) unsat unsat 2.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO224^5.p (content) unsat unsat 0.057s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO224^5.p (content) unsat unsat 0.061s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO223^5.p (content) unsat unsat 0.053s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO223^5.p (content) unsat unsat 0.054s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO220^5.p (content) unsat unsat 0.024s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO220^5.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO218^5.p (content) unsat unsat 0.036s