detailed results (12888 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU267+1.p (content) unsat unsat 0.054s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU264+1.p (content) unsat unsat 0.065s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU264+1.p (content) unsat unsat 0.070s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU263+1.p (content) unsat unsat 0.589s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU263+1.p (content) unsat unsat 0.598s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU261+1.p (content) unsat unsat 0.078s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU261+1.p (content) unsat unsat 0.076s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU257+1.p (content) unsat unsat 0.048s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU257+1.p (content) unsat unsat 0.062s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU250+1.p (content) unsat unsat 2.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU250+1.p (content) unsat unsat 2.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU247+2.p (content) unsat unsat 3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU247+2.p (content) unsat unsat 3.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU247+1.p (content) unsat unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU247+1.p (content) unsat unsat 0.034s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU245+1.p (content) unsat unsat 0.296s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU245+1.p (content) unsat unsat 0.348s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU244+1.p (content) unsat unsat 0.048s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU244+1.p (content) unsat unsat 0.081s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU243+1.p (content) unsat unsat 9.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU241+1.p (content) unsat unsat 8.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU241+1.p (content) unsat unsat 8.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU239+1.p (content) unsat unsat 0.270s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU239+1.p (content) unsat unsat 0.366s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU234+3.p (content) unsat unsat 0.597s