detailed results (6424 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU291+1.p (content) unsat unsat 0.638s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU290+1.p (content) unsat unsat 0.204s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU280+1.p (content) unsat unsat 0.109s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU275+1.p (content) unsat unsat 0.036s
zip-dev-check /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/SEU267+2.p (content) unsat unsat 6.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU267+1.p (content) unsat unsat 0.057s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU264+1.p (content) unsat unsat 0.076s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU263+1.p (content) unsat unsat 0.609s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU261+1.p (content) unsat unsat 0.079s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU257+1.p (content) unsat unsat 0.060s
zip-dev-check /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/SEU247+2.p (content) unsat unsat 3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU247+1.p (content) unsat unsat 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU245+1.p (content) unsat unsat 0.302s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU244+1.p (content) unsat unsat 0.074s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU243+1.p (content) unsat unsat 9.8s
zip-dev-check /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/SEU239+1.p (content) unsat unsat 0.245s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU234+3.p (content) unsat unsat 0.643s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU234+1.p (content) unsat unsat 0.643s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU230+3.p (content) unsat unsat 0.151s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU230+2.p (content) unsat unsat 1.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU230+1.p (content) unsat unsat 0.178s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU223+3.p (content) unsat unsat 0.082s