detailed results (12847 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU275+1.p (content) unsat unsat 0.036s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU268+1.p (content) unsat unsat 1.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU268+1.p (content) unsat unsat 1.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU267+2.p (content) unsat unsat 6.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU267+2.p (content) unsat unsat 6.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU267+1.p (content) unsat unsat 0.054s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU267+1.p (content) unsat unsat 0.057s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU264+1.p (content) unsat unsat 0.100s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU264+1.p (content) unsat unsat 0.076s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU263+1.p (content) unsat unsat 0.694s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU263+1.p (content) unsat unsat 0.609s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU261+1.p (content) unsat unsat 0.072s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU261+1.p (content) unsat unsat 0.079s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU257+1.p (content) unsat unsat 0.054s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU257+1.p (content) unsat unsat 0.060s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU250+1.p (content) unsat unsat 2.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU250+1.p (content) unsat unsat 2.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU247+2.p (content) unsat unsat 3.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU247+2.p (content) unsat unsat 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.259s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU245+1.p (content) unsat unsat 0.302s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU244+1.p (content) unsat unsat 0.055s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU244+1.p (content) unsat unsat 0.074s