detailed results (12847 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU430+1.p (content) unsat unsat 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU429+1.p (content) unsat unsat 0.173s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU429+1.p (content) unsat unsat 0.114s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU424+1.p (content) unsat unsat 0.072s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU424+1.p (content) unsat unsat 0.076s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU413+1.p (content) unsat unsat 0.543s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU413+1.p (content) unsat unsat 0.542s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU408+1.p (content) unsat unsat 1.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU408+1.p (content) unsat unsat 1.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU406+1.p (content) unsat unsat 3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU406+1.p (content) unsat unsat 2.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU388+1.p (content) unsat unsat 2.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU388+1.p (content) unsat unsat 2.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU387+1.p (content) unsat unsat 0.262s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU387+1.p (content) unsat unsat 0.271s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU386+1.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU386+1.p (content) unsat unsat 1.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU382+2.p (content) unsat unsat 0.793s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU382+2.p (content) unsat unsat 0.715s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU375+1.p (content) unsat unsat 6.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU375+1.p (content) unsat unsat 5.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU374+1.p (content) unsat unsat 2.8s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU374+1.p (content) unsat unsat 2.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU373+1.p (content) unsat unsat 0.113s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU373+1.p (content) unsat unsat 0.117s